stringtranslate.com

Función aireada

En las ciencias físicas, la función de Airy (o función de Airy de primer tipo ) Ai( x ) es una función especial que lleva el nombre del astrónomo británico George Biddell Airy (1801-1892). La función Ai( x ) y la función relacionada Bi( x ) son soluciones linealmente independientes de la ecuación diferencial

ecuación de Airyecuación de Stokes

Porque la solución de la ecuación diferencial lineal

k <0k >0x <0x >0ecuación diferencial lineal de
Gráfico de la función Airy Ai(z) en el plano complejo de -2 - 2i a 2 + 2i con colores creados con la función ComplexPlot3D de Mathematica 13.1
Gráfico de la función de Airy Ai( z ) en el plano complejo de -2 - 2 i a 2 + 2 i con colores creados con la función ComplexPlot3D de Mathematica 13.1
Gráfica de la derivada de la función de Airy Ai'(z) en el plano complejo de -2 - 2i a 2 + 2i con colores creados con la función ComplexPlot3D de Mathematica 13.1
Gráfica de la derivada de la función de Airy Ai'( z ) en el plano complejo de -2 - 2 i a 2 + 2 i con colores creados con la función ComplexPlot3D de Mathematica 13.1

Definiciones

Gráfica de Ai( x ) en rojo y Bi( x ) en azul

Para valores reales de x , la función de Airy de primer tipo puede definirse mediante la integral de Riemann impropia :

la prueba de Dirichletnúmero real xM

y = Ai( x ) satisface la ecuación de Airy

linealmente independientesAi( x )y → 0x → ∞xAi( x )x → −∞π /2
Gráfico de la función de Airy Bi(z) en el plano complejo de -2-2i a 2+2i con colores creados con la función ComplexPlot3D de Mathematica 13.1
Gráfico de la función de Airy Bi( z ) en el plano complejo de -2 - 2 i a 2 + 2 i con colores creados con la función ComplexPlot3D de Mathematica 13.1

Gráfica de la derivada de la función de Airy Bi'(z) en el plano complejo de -2-2i a 2+2i con colores creados con la función ComplexPlot3D de Mathematica 13.1
Gráfica de la derivada de la función de Airy Bi'( z ) en el plano complejo de -2 - 2 i a 2 + 2 i con colores creados con la función ComplexPlot3D de Mathematica 13.1

Propiedades

Los valores de Ai( x ) y Bi( x ) y sus derivadas en x = 0 están dados por

Γfunción GammaWronskianoAi( x )Bi( x )1/ π

Cuando x es positivo, Ai( x ) es positivo, convexo y disminuye exponencialmente hasta cero, mientras que Bi( x ) es positivo, convexo y aumenta exponencialmente. Cuando x es negativo, Ai( x ) y Bi( x ) oscilan alrededor de cero con una frecuencia cada vez mayor y una amplitud cada vez menor. Esto está respaldado por las fórmulas asintóticas siguientes para las funciones de Airy.

Las funciones de Airy son ortogonales [1] en el sentido de que

Ceros reales de Ai( x ) y su derivada Ai'( x )

Ni Ai( x ) ni su derivada Ai( x ) tienen ceros reales positivos. Los "primeros" ceros reales (es decir, los más cercanos a x=0) son: [2]

Fórmulas asintóticas

Ai (azul) y forma asintótica sinusoidal/exponencial de Ai (magenta)
Bi (azul) y forma asintótica sinusoidal/exponencial de Bi (magenta)

Como se explica a continuación, las funciones de Airy se pueden extender al plano complejo, dando funciones completas . El comportamiento asintótico de Airy funciona como | z | va al infinito con un valor constante de arg ( z ) depende de arg( z ) : esto se llama fenómeno de Stokes . Para | arg( z ) | < π tenemos la siguiente fórmula asintótica para Ai( z ) : [3]

[4]
Bi( z )| arg( z ) | < π /3

Ai( z )Bi( z )π /3 < | arg( z ) | < πAi(− z )Bi(− z )| arg( z ) | < 2 π /3[3] [5]

Cuando | arg( z ) | = 0 estas son buenas aproximaciones pero no son asintóticas porque la relación entre Ai(− z ) o Bi(− z ) y la aproximación anterior llega al infinito siempre que el seno o el coseno llega a cero. También están disponibles expansiones asintóticas para estos límites. Estos se enumeran en (Abramowitz y Stegun, 1983) y (Olver, 1974).

También se pueden obtener expresiones asintóticas para las derivadas Ai'(z) y Bi'(z) . Al igual que antes, cuando | arg( z ) | < π : [5]

Cuando | arg( z ) | < π /3 tenemos: [5]

De manera similar, una expresión para Ai'(− z ) y Bi'(− z ) cuando | arg( z ) | < 2 π /3 pero no cero, son [5]

Argumentos complejos

Podemos extender la definición de la función de Airy al plano complejo mediante

Cπ /3y “ − xy = 0Ai( x )Bi( x )funciones completas

La fórmula asintótica para Ai( x ) sigue siendo válida en el plano complejo si se toma el valor principal de x 2/3 y x se acota lejos del eje real negativo. La fórmula para Bi( x ) es válida siempre que x esté en el sector para algún δ positivo. Finalmente, las fórmulas para Ai(− x ) y Bi(− x ) son válidas si x está en el sector

Del comportamiento asintótico de las funciones de Airy se deduce que tanto Ai( x ) como Bi( x ) tienen una infinidad de ceros en el eje real negativo. La función Ai( x ) no tiene otros ceros en el plano complejo, mientras que la función Bi( x ) también tiene infinitos ceros en el sector

Parcelas

Relación con otras funciones especiales

Para argumentos positivos, las funciones de Airy están relacionadas con las funciones de Bessel modificadas :

I ±1/3K 1/3

La primera derivada de la función de Airy es

Las funciones K 1/3 y K 2/3 se pueden representar en términos de integrales rápidamente convergentes [6] (ver también funciones de Bessel modificadas )

Para argumentos negativos, la función de Airy está relacionada con las funciones de Bessel :

J ±1/3

Las funciones del Anotador Hi( x ) y -Gi( x ) resuelven la ecuación y “ − xy = 1/π . También se pueden expresar en términos de funciones de Airy:

Transformada de Fourier

Usando la definición de la función de Airy Ai( x ), es sencillo demostrar que su transformada de Fourier viene dada por

que yBi

Aplicaciones

Mecánica cuántica

La función de Airy es la solución a la ecuación de Schrödinger independiente del tiempo para una partícula confinada dentro de un pozo de potencial triangular y para una partícula en un campo de fuerza constante unidimensional. Por la misma razón, también sirve para proporcionar aproximaciones semiclásicas uniformes cerca de un punto de inflexión en la aproximación WKB , cuando el potencial puede aproximarse localmente mediante una función lineal de posición. La solución del pozo de potencial triangular es directamente relevante para la comprensión de los electrones atrapados en heterouniones de semiconductores .

Óptica

Un haz óptico transversalmente asimétrico, donde el perfil del campo eléctrico viene dado por la función de Airy, tiene la interesante propiedad de que su intensidad máxima acelera hacia un lado en lugar de propagarse en línea recta como es el caso de los haces simétricos. Esto se produce a expensas de que la cola de baja intensidad se extienda en la dirección opuesta, por lo que, por supuesto, se conserva el momento general del haz.

Cáusticos

La función Airy subyace a la forma de la intensidad cerca de una cáustica óptica direccional , como la del arco iris (llamado arco iris supernumerario). Históricamente, este fue el problema matemático que llevó a Airy a desarrollar esta función especial. En 1841, William Hallowes Miller midió experimentalmente el arco iris análogo al supernumerario haciendo brillar luz a través de un delgado cilindro de agua y luego observando a través de un telescopio. Observó hasta 30 bandas. [7]

Probabilidad

A mediados de la década de 1980, se descubrió que la función de Airy estaba íntimamente relacionada con la distribución de Chernoff . [8]

La función de Airy también aparece en la definición de distribución de Tracy-Widom que describe la ley de los valores propios más grandes en una matriz aleatoria . Debido a la íntima conexión de la teoría de matrices aleatorias con la ecuación de Kardar-Parisi-Zhang , existen procesos centrales construidos en KPZ como el proceso de Airy. [9]

Historia

La función de Airy lleva el nombre del astrónomo y físico británico George Biddell Airy (1801-1892), quien la encontró en sus primeros estudios de la óptica en física (Airy 1838). La notación Ai( x ) fue introducida por Harold Jeffreys . Airy se había convertido en Astrónomo Real Británico en 1835, cargo que ocupó hasta su jubilación en 1881.

Ver también

Notas

  1. ^ David E. Aspnes, Revisión física, 147 , 554 (1966)
  2. ^ "Airy y funciones relacionadas". dlmf.nist.gov . Consultado el 9 de octubre de 2022 .
  3. ^ ab Abramowitz y Stegun (1983, p. 448), Ecuaciones 10.4.59, 10.4.61
  4. ^ "DLMF: §9.7 Expansiones asintóticas ‣ Funciones de Airy ‣ Capítulo 9 Funciones de Airy y relacionadas". dlmf.nist.gov . Consultado el 11 de mayo de 2023 .
  5. ^ abcd Abramowitz & Stegun (1983, p.448), Ecuaciones 10.4.60 y 10.4.64
  6. ^ M.Kh.Khokonov. Procesos en cascada de pérdida de energía por emisión de fotones duros // JETP, V.99, No.4, págs. 690-707 \ (2004).
  7. ^ Molinero, William Hallowes. "Sobre arcoíris espurios". Transacciones de la Sociedad Filosófica de Cambridge 7 (1848): 277.
  8. ^ Groeneboom, Piet; Lalley, Steven; Temmé, Nico (2015). "Distribución de Chernoff y ecuaciones diferenciales de tipo parabólico y Airy". Revista de Análisis y Aplicaciones Matemáticas . 423 (2): 1804–1824. arXiv : 1305.6053 . doi : 10.1016/j.jmaa.2014.10.051 . S2CID  119173815.
  9. ^ Quastel, Jeremy; Remenik, Daniel (2014). "Procesos aéreos y problemas variacionales". Temas de sistemas percolativos y desordenados . Actas de Springer en Matemáticas y Estadística. vol. 69, págs. 121-171. arXiv : 1301.0750 . doi :10.1007/978-1-4939-0339-9_5. ISBN 978-1-4939-0338-2. S2CID  118241762.

Referencias

enlaces externos