Cálculo lambda
Lambda calculus es un sistema formal en lógica matemática para expresar el cálculo basado en la abstracción y aplicación de funciones. utilizando unión... (leer más)
La función de paso de Heaviside, o la función de paso de unidad, generalmente denotada por H o θ (pero a veces u, 1 o ?), es una función de paso, llamada después de Oliver Heaviside (1850-1925), cuyo valor es cero para argumentos negativos y uno para argumentos positivos. Es un ejemplo de la clase general de funciones escalonadas, todas las cuales pueden representarse como combinaciones lineales de traslaciones de esta.
La función se desarrolló originalmente en cálculo operativo para la solución de ecuaciones diferenciales, donde representa una señal que se enciende en un momento específico y permanece encendida indefinidamente. Oliver Heaviside, quien desarrolló el cálculo operativo como herramienta en el análisis de las comunicaciones telegráficas, representó la función como 1.
La función de Heaviside se puede definir como:
La función delta de Dirac es la derivada de la función de Heaviside
Por lo tanto, la función de Heaviside puede considerarse la integral de la función delta de Dirac. Esto a veces se escribe como
aunque esta expansión puede no ser válida (o incluso no tener sentido) para x = 0, según el formalismo que se use para dar significado a las integrales involucrando δ. En este contexto, la función de Heaviside es la función de distribución acumulativa de una variable aleatoria que casi seguramente es 0. (Ver variable aleatoria constante).
En cálculo operativo, las respuestas útiles rara vez dependen del valor que se use para H(0), ya que H se utiliza principalmente como distribución. Sin embargo, la elección puede tener algunas consecuencias importantes en el análisis funcional y la teoría de juegos, donde se consideran formas más generales de continuidad. Algunas opciones comunes se pueden ver a continuación.
Las aproximaciones a la función escalonada de Heaviside son útiles en bioquímica y neurociencia, donde se pueden usar aproximaciones logísticas de funciones escalonadas (como las ecuaciones de Hill y Michaelis-Menten) para aproximar los interruptores celulares binarios en respuesta a señales químicas.
Para una aproximación suave a la función de paso, se puede usar la función logística
donde una k más grande corresponde a una transición más nítida en x = 0. Si tomamos H(0) = 1 /2, la igualdad se mantiene en el límite:
Existen muchas otras aproximaciones analíticas suaves a la función escalonada. Entre las posibilidades están:
Estos límites se cumplen puntualmente y en el sentido de las distribuciones. En general, sin embargo, la convergencia puntual no necesita implicar convergencia distribucional, y viceversa, la convergencia distributiva no necesita implicar convergencia puntual. (Sin embargo, si todos los miembros de una secuencia de funciones convergente puntualmente están uniformemente acotadas por alguna función 'agradable', entonces la convergencia también se cumple en el sentido de las distribuciones).
En general, cualquier función de distribución acumulativa de una distribución de probabilidad continua que tenga un pico alrededor de cero y tenga un parámetro que controle la varianza puede servir como una aproximación, en el límite cuando la varianza se acerca a cero. Por ejemplo, las tres aproximaciones anteriores son funciones de distribución acumulativa de distribuciones de probabilidad comunes: las distribuciones logística, de Cauchy y normal, respectivamente.
A menudo es útil una representación integral de la función escalón de Heaviside:
donde la segunda representación es fácil de deducir de la primera, dado que la función escalón es real y, por lo tanto, es su propio conjugado complejo.
Dado que H se suele utilizar en la integración, y el valor de una función en un único punto no afecta a su integral, rara vez importa qué valor particular se elige de H(0). De hecho, cuando H se considera una distribución o un elemento de L∞ (ver espacio Lp) ni siquiera tiene sentido hablar de un valor en cero, ya que tales objetos solo se definen en casi todas partes. Si se usa alguna aproximación analítica (como en los ejemplos anteriores), a menudo se usa el límite relevante en cero.
Existen varias razones para elegir un valor en particular.
Una forma alternativa del escalón unitario, definida en cambio como una función H: ℤ → ℝ (es decir, tomando una variable discreta n), es:
o usando la convención de la mitad del máximo:
donde n es un número entero. Si n es un número entero, entonces n < 0 debe implicar que n ≤ −1, mientras que n > 0 debe implicar que la función alcanza la unidad en n = 1. Por lo tanto, la "función de paso" exhibe un comportamiento similar a una rampa sobre el dominio de [−1, 1], y no puede ser auténticamente una función de paso, usando la convención de la mitad del máximo.
A diferencia del caso continuo, la definición de H[0] es significativa.
El impulso unitario de tiempo discreto es la primera diferencia del paso de tiempo discreto
Esta función es la suma acumulada del delta de Kronecker:
dónde
es la función de impulso unitario discreto.
La función rampa es una antiderivada de la función escalón de Heaviside:
La derivada distribucional de la función escalón de Heaviside es la función delta de Dirac:
La transformada de Fourier de la función escalón de Heaviside es una distribución. Usando una elección de constantes para la definición de la transformada de Fourier, tenemos
Aquí. p.v.1/s es la distribución que toma una función de prueba φ al valor principal de Cauchy ∫ ∫ − − JUEGO JUEGO JUEGO JUEGO φ φ ()s)sds{displaystyle textstyle int ¿Qué?. El límite que aparece en la integral también se toma en el sentido de las distribuciones (temperadas).
La transformada de Laplace de la función escalón de Heaviside es una función meromórfica. Usando la transformada unilateral de Laplace tenemos:
Cuando se usa la transformada bilateral, la integral se puede dividir en dos partes y el resultado será el mismo.
La función escalón de Heaviside se puede representar como una hiperfunción como
También se puede expresar para x ≠ 0 en términos de la función de valor absoluto como
Lambda calculus es un sistema formal en lógica matemática para expresar el cálculo basado en la abstracción y aplicación de funciones. utilizando unión... (leer más)
Un orden de magnitud es una aproximación del logaritmo de un valor relativo a algún valor de referencia entendido contextualmente, generalmente 10... (leer más)
En cálculo integral, una integral elíptica es una de varias funciones relacionadas definidas como el valor de ciertas integrales, que fueron estudiadas por... (leer más)