La función escalonada de Heaviside , o función escalón unitaria , generalmente denotada por H o θ (pero a veces u , 1 o 𝟙 ), es una función escalonada que lleva el nombre de Oliver Heaviside , cuyo valor es cero para argumentos negativos y uno para argumentos positivos. . [1] Es un ejemplo de la clase general de funciones escalonadas, todas las cuales pueden representarse como combinaciones lineales de traslaciones de ésta.
La función se desarrolló originalmente en cálculo operacional 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 operacional como herramienta en el análisis de las comunicaciones telegráficas, representó la función como 1 .
En cálculo operativo, las respuestas útiles rara vez dependen de qué valor se usa para H (0) , ya que H se usa 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 las aproximaciones logísticas de funciones escalonadas (como las ecuaciones de Hill y Michaelis-Menten ) pueden usarse para aproximar interruptores celulares binarios en respuesta a señales químicas.
Aproximaciones analíticas
Para una aproximación suave a la función escalonada, se puede utilizar la función logística
donde una k mayor corresponde a una transición más pronunciada en x = 0 . Si tomamos H (0) =1/2, la igualdad se cumple en el límite:
Estos límites se mantienen puntualmente y en el sentido de distribuciones . Sin embargo, en general, la convergencia puntual no tiene por qué implicar convergencia distributiva, y viceversa, la convergencia distributiva no tiene por qué implicar convergencia puntual. (Sin embargo, si todos los miembros de una secuencia de funciones convergentes puntualmente están uniformemente acotados por alguna función "agradable", entonces la convergencia también se cumple en el sentido de las distribuciones ).
A menudo resulta útil una representación integral de la función escalonada de Heaviside:
donde la segunda representación es fácil de deducir de la primera, dado que la función escalonada es real y, por tanto, es su propio conjugado complejo.
Argumento cero
Dado que H se usa generalmente en integración y el valor de una función en un solo punto no afecta su integral, rara vez importa qué valor particular se elija de H (0) . De hecho, cuando H se considera una distribución o un elemento de L ∞ (ver espacio L p ), ni siquiera tiene sentido hablar de un valor en cero, ya que tales objetos sólo se definen en casi todas partes . Si se utiliza alguna aproximación analítica (como en los ejemplos anteriores), a menudo se utiliza el límite relevante en cero.
Existen varias razones para elegir un valor particular.
H (0) =1/2se usa a menudo ya que el gráfico tiene simetría rotacional; dicho de otra manera, H −1/2es entonces una función impar . En este caso, la siguiente relación con la función de signo se cumple para todo x :
H (0) = 0 se usa cuando H necesita ser continuo a la izquierda . En este caso H es una función indicadora de unintervalo semiinfinito abierto :
En contextos de análisis funcional de optimización y teoría de juegos, a menudo es útil definir la función de Heaviside como una función de valores establecidos para preservar la continuidad de las funciones limitantes y asegurar la existencia de ciertas soluciones. En estos casos, la función de Heaviside devuelve un intervalo completo de posibles soluciones, H (0) = [0,1] .
forma discreta
Una forma alternativa del paso unitario, definida en cambio como una función (es decir, tomando una variable discreta n ), es:
o usando la convención de mitad del máximo: [3]
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 escalonada" exhibe un comportamiento similar a una rampa en el dominio de [−1, 1] y no puede ser auténticamente una función escalonada, utilizando la convención de 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
La transformada de Fourier de la función escalonada de Heaviside es una distribución. Usando una elección de constantes para la definición de la transformada de Fourier tenemos
aqui pv1/ses la distribución que lleva una función de prueba φ al valor principal de Cauchy de . El límite que aparece en la integral también se toma en el sentido de distribuciones (atenuadas).
^ Zhang, Weihong; Zhou, Ying (2021). "Funciones de conjunto de niveles y funciones paramétricas". El método basado en características para la optimización estructural . Elsevier. págs. 9–46. doi :10.1016/b978-0-12-821330-8.00002-x. La función de Heaviside, también llamada función escalonada de Heaviside, es una función discontinua. Como se ilustra en la figura 2.13, valora cero para entradas negativas y uno para entradas no negativas.
^ Bracewell, Ronald Newbold (2000). La transformada de Fourier y sus aplicaciones (3ª ed.). Nueva York: McGraw-Hill. pag. 61.ISBN _0-07-303938-1.
enlaces externos
Wikimedia Commons tiene medios relacionados con la función de Heaviside .
Biblioteca digital de funciones matemáticas, NIST, [1].
Berg, Ernst Julius (1936). "Función unitaria". El cálculo operacional de Heaviside, aplicado a la ingeniería y la física . Educación McGraw-Hill . pag. 5.
Calvert, James B. (2002). "Heaviside, Laplace y la inversión integral". Universidad de Denver .
Davies, Brian (2002). "Función de paso Heaviside". Transformaciones integrales y sus aplicaciones (3ª ed.). Saltador. pag. 28.
Duff, George FD ; Naylor, D. (1966). "Función de unidad Heaviside". Ecuaciones Diferenciales de Matemática Aplicada . John Wiley e hijos . pag. 42.