Le funzioni di Airy

Le funzioni di Airy, introdotte da George Biddell Airy nel 1838 studiando la caustica luminosa dell'arcobaleno, sono le due soluzioni linearmente indipendenti dell'equazione differenziale di Airy:

y''(x) - x * y(x) = 0

Sono fondamentali in meccanica quantistica (punti di svolta classici), ottica (caustiche di Bremsstrahlung), elaborazione di segnali e teoria del colore. Le due soluzioni standard Ai(x) e Bi(x) sono la base canonica per lo spazio di soluzioni.

Due funzioni: Ai e Bi

• Ai(x): prima funzione di Airy, decadente esponenziale per x > 0, oscillante per x < 0. Ai(0) = 1 / (3^(2/3) * Gamma(2/3)) ~= 0.3550.
• Bi(x): seconda funzione di Airy, crescente esponenziale per x > 0, oscillante per x < 0. Bi(0) = 1 / (3^(1/6) * Gamma(2/3)) ~= 0.6149.

Relazione: ogni soluzione generale dell'equazione di Airy e' c_1 * Ai(x) + c_2 * Bi(x). La coppia (Ai, Bi) gioca per Airy lo stesso ruolo che (J_n, Y_n) gioca per Bessel: Ai e' la soluzione regolare al decadimento, Bi la complementare.

Rappresentazione in serie

Le funzioni Airy ammettono sviluppi in serie convergenti intorno a x = 0:

Ai(x) = c_1 * f(x) - c_2 * g(x)

Bi(x) = sqrt(3) * (c_1 * f(x) + c_2 * g(x))

dove c_1 = 1/(3^(2/3) * Gamma(2/3)) = 0.3550..., c_2 = 1/(3^(1/3) * Gamma(1/3)) = 0.2588..., e:

f(x) = Sigma_{k=0}^{inf} (1/(3k)!!) * x^(3k) (non convenzionale - 'doppio fattoriale')

f(x) = 1 + x^3/(2*3) + x^6/(2*3*5*6) + x^9/(2*3*5*6*8*9) + ...

g(x) = x + x^4/(3*4) + x^7/(3*4*6*7) + x^10/(3*4*6*7*9*10) + ...

Le serie convergono per ogni x reale ma diventano inefficienti per |x| > 8, dove si usano formule asintotiche.

Asintotica WKB

Per x -> infinito positivo:

Ai(x) ~ exp(-zeta) / (2 * sqrt(pi) * x^(1/4))

Bi(x) ~ exp(zeta) / (sqrt(pi) * x^(1/4))

dove zeta = (2/3) * x^(3/2). Queste formule derivano dal metodo WKB (Wentzel-Kramers-Brillouin) per risolvere equazioni differenziali in regime asintotico.

Per x -> -infinito:

Ai(x) ~ sin(zeta + pi/4) / (sqrt(pi) * |x|^(1/4))

Bi(x) ~ cos(zeta + pi/4) / (sqrt(pi) * |x|^(1/4))

dove zeta = (2/3) * |x|^(3/2). Oscillazioni smorzate con frequenza che cresce come sqrt(|x|).

Zeri e Wronskiano

Ai(x) e Bi(x) hanno infinite radici negative, tutte reali distinte. Prime radici:

• Ai: a_1 = -2.338, a_2 = -4.088, a_3 = -5.521, a_4 = -6.787, a_5 = -7.944
• Bi: b_1 = -1.174, b_2 = -3.271, b_3 = -4.831, b_4 = -6.170, b_5 = -7.376
• Asintotico: a_k ~ -[(3 pi (4k-1))/8]^(2/3) per k grande

Wronskiano: W[Ai, Bi](x) = Ai(x) * Bi'(x) - Ai'(x) * Bi(x) = 1/pi. Questa costante indica che Ai e Bi sono linearmente indipendenti per ogni x.

Le cinque modalita' del calcolatore

1. Ai(x): prima soluzione, valutazione in serie o asintotica.
2. Bi(x): seconda soluzione, analoga con decadimento opposto.
3. Derivate Ai'(x), Bi'(x): calcolo tramite derivata termine a termine.
4. Zeri: radici di Ai, Bi, Ai', Bi' tabulate.
5. Asintotica WKB: confronto serie esatta vs asintotica per x grande.

Meccanica quantistica: punti di svolta

L'equazione di Schrodinger unidimensionale con potenziale lineare V(x) = F*x diventa:

-hbar^2/2m * psi''(x) + F*x * psi(x) = E * psi(x)

Sostituendo xi = (2mF/hbar^2)^(1/3) * (x - E/F), si riduce a psi''(xi) = xi * psi(xi), equazione di Airy. Soluzione: psi = Ai(xi), rappresenta una particella in un campo elettrico costante o gravitazionale lineare. Lo stato legato di un neutrone sopra una piastra gravitazionale usa zeri di Ai: E_n = sqrt[3](m g^2 hbar^2 / 2) * |a_n|.

Ottica: caustica dell'arcobaleno

Airy studio' (1838) la distribuzione di intensità' vicino al bordo dell'arcobaleno. Il calcolo rigoroso da' un pattern di intensità' proporzionale a Ai^2, mostrando oscillazioni 'deboli' (sovratornanti) all'interno dell'arcobaleno primario, separate dal 'buio di Alexander' tra arcobaleno primario e secondario.

Applicazioni

• Meccanica quantistica: effetto tunnel attraverso barriere, oscillatore lineare, atomo in campo elettrico.
• Ottica: caustiche (bordi di fronti d'onda), diffrazione da prisma, effetto mirage.
• Acustica: propagazione in mezzi con gradiente di indice di rifrazione.
• Geofisica: propagazione di onde sismiche in lithosfera a densità' variabile.
• Ingegneria: analisi di stabilità' aerodinamica, flussi a Reynolds variabile.
• Matematica applicata: soluzione di EDO singolari tramite trasformazioni WKB.

Storia delle funzioni di Airy

Le funzioni prendono il nome dall'astronomo e matematico inglese George Biddell Airy, che le introdusse nel 1838 studiando l'intensità della luce nei pressi di una caustica, cioè la curva luminosa che si forma quando i raggi di luce si concentrano, come nell'arcobaleno. Airy, che fu a lungo Astronomo Reale di Gran Bretagna, cercava di spiegare la struttura fine delle bande luminose dell'arcobaleno, che la teoria geometrica non riusciva a descrivere. La sua analisi ondulatoria condusse a un integrale, oggi noto come integrale di Airy, che definisce la funzione Ai(x). Da questo problema ottico ottocentesco è nata una delle funzioni speciali più importanti della fisica matematica, oggi centrale in meccanica quantistica, ottica e teoria delle onde.

Le funzioni di Airy nella fisica moderna

Le funzioni di Airy sono onnipresenti nei problemi in cui una grandezza fisica passa da un comportamento oscillatorio a uno esponenziale. In meccanica quantistica descrivono la funzione d'onda di una particella vicino a un punto di svolta classico, dove l'energia eguaglia il potenziale: sono la chiave del metodo WKB e delle sue formule di connessione, e governano il fenomeno del tunneling. La funzione Ai(x) risolve esattamente il problema di una particella in un campo di forza costante, come un elettrone in un campo elettrico uniforme. In ottica, oltre alla caustica dell'arcobaleno, le funzioni di Airy descrivono i fasci di Airy, particolari raggi di luce che si propagano curvandosi senza diffondersi, scoperti sperimentalmente nel 2007. Compaiono inoltre nella teoria delle onde dispersive e nella fisica dei semiconduttori.

Aggiornato a luglio 2026