1

Las funciones de Airy

Recordamos que la ecuaci6n de Bessel se puede escribir como

1 − n2
wll + (k 2 + )w = 0,
z2
que tiene la forma
wll + g(z)w = 0. (1)
Si z → ∞, vemos que g(z) > 0y por lo tanto wll oscila. Por otra parte si
1 − n2
z es pequeñ0, de manera que k 2 + < 0, la soluci6nw(z) decae expo-
z2
n2 − 1
nencialmente. Es claro que cuando z 2 = = z02 , habrá un cambio de
k2
comportamiento. De aquı́ que resulta interesante estudiar lo que sucede a las
soluciones de (1) cuando g(z) cambia de signo en un cierto punto z0 .
La funci6n más sencilla que tenga un cambio de signo es la lineal, y tomare-
mos z0 = 0. Tenemos pues que el problema tı́pico de transici6n es

w00 (z) − zw(z) = 0. (2)

El comportamiento esperado para w(z) es entonces exponencial si z > 0y os-

cilatorio si z < 0. La ecuaci6n(2) es la ecuaci6n de Airyl. Es de esperarse
que aparezca en todos los problemas que presenten una transici6n no degener-
ada en el comportamiento oscilatorio-exponencial. El caso para una transici6n
arbitraria será
wll + z q w = 0,
donde q es el orden del cero.
Mencionamos además que en la presente secci6n trabajaremos siempre con
las funciones de Airy de variable real, por lo que se considerará que z ∈ R
en todo momento. Es posible mostrar que la ecuaci6n admite soluciones del
2
estilo w(z) = z 1/2 Z1/3 (i z 3/2 ) donde Z(z) es una funci6n cilı́ndrica; es decir,
3
una soluci6n a la ecuaci6n de Bessel. Sin embargo, la ecuaci6n nos presenta
un excelente ejemplo para resolverse con el método de integrales complejas.
Este método se debe a Laplace y surge de la siguiente manera. Cuando uno
resulve ecuaciones diferenciales ordinarias con coeficientes constantes, i.e. algo
del tipo wll + awl + bw = 0, se propone una soluci6n del estilo w = eζz , la
constante ζ (que puede ser compleja) se determina resolviendo un polinomio y
finalmente la soluci6n se compone de la suma de las exponenciales con los dos2
posibles valores de ζ.i Que’ podemos hacer si tenemos ahora una ecuaci6n del
estilo wll + a(z)wl + b(z)w = 0? Laplace not6 que si las funciones a(z)yb(z)
varı́an poco, entonces para intervalos pequeños, la soluci6n a la última ecuación
debe también ser del tipo w = eζz . Sin embargo, para intervalos arbitrarios ζ
no puede ahora ser solamente una constante, de manera que el método debe
modificarse. Laplace tuvo la idea de permitir que ζ tome un número infinito de
valores complejos y propuso una soluci6n del estilo
Z
1
w(z) = ezζ W (ζ)dζ,
2πi C

1
de manera que la soluci6n se compone de la superposici6n de exponenciales ezζ ,
con ζ compleja. El problema tiene ahora otra perspectiva ya que el contorno de
integraci6n C es desconocido y la funci6nW (ζ) también lo es. Si resulta que el
integrando posee singularidades, la integral pordrı́a calcularse sobre
lAdvertimos al lector que en muchos textos se escribe esta ecuación con el
signo distinto, w00 + zw = 0, debe tenerse cuidado con la definición que use cada
autor.
2Siempre que las raı́ces del polinomio no coincidan.