Se riscontri problemi nella visualizzazione dei caratteri, clicca qui

Funzioni di Airy

Da Wikipedia, l'enciclopedia libera.

In matematica le funzioni di Airy sono due funzioni speciali indicate rispettivamente con e che traggono il nome da quello dell'astronomo inglese George Biddell Airy (1801-1892). Esse costituiscono le soluzioni dell'equazione differenziale ordinaria, detta "di Airy",

.

Questa è la più semplice equazione differenziale lineare del secondo ordine dotata di un punto in cui il carattere delle soluzioni passa da oscillatorio a esponenziale. Spesso con il nome di "funzione di Airy" si intende la sola . Tale funzione può sorgere per esempio dall'equazione di Helmholtz in una sola dimensione (ordinaria):

,

nel caso in cui la componente del vettore d'onda dipenda dalla radice della direzione:

.

Cenni storici[modifica | modifica wikitesto]

La funzione di Airy prende il nome dall'astronomo inglese George Biddell Airy, che la incontrò nei suoi studi di ottica (Airy 1838). La notazione fu introdotta da Harold Jeffreys. Airy è diventato l'astronomo reale inglese nel 1835, e tenne il posto fino al suo pensionamento nel 1881.

Definizioni[modifica | modifica wikitesto]

Grafico di in rosso e di in verde

Per valori reali della , la funzione di Airy viene definita dal seguente integrale improprio:

.

L'integrale quando converge anche se l'integrando non si annulla a causa delle rapide oscillazioni, per il Lemma di Riemann-Lebesgue (la loro presenza può essere verificata effettuando una integrazione per parti).

Derivando sotto il simbolo di integrale, si ottiene che soddisfa l'equazione differenziale di Airy:

.

Questa equazione ha due soluzioni linearmente indipendenti. A meno di una costante moltiplicativa, è la soluzione soggetta alla condizione se . La scelta standard per l'altra soluzione è la funzione di Airy del secondo tipo, indicata con . Questa soluzione ha la stessa ampiezza di oscillazione di per , ma sfasata di .

Proprietà[modifica | modifica wikitesto]

I valori di e e delle loro derivate per sono dati da

Qui denota la funzione Gamma. Segue che il Wronskiano di e per vale .

Quando è positivo, è positiva, concava e decrescente esponenzialmente a zero, mentre è positiva, convessa e crescente esponenzialmente. Quando è negativo, e oscillano intorno a zero con frequenza crescente e ampiezza decrescente. Questo è ottenibile dalle sottostanti formule asintotiche delle funzioni di Airy.

Le funzioni di Airy sono ortogonali,[1] nel senso che

.

Argomenti complessi[modifica | modifica wikitesto]

Si può estendere la definizione di funzione di Airy al piano complesso definendo

dove l'integrale è definito su un percorso che inizia in un punto all'infinito con argomento -π/3 e finisce in un punto all'infinito con argomento π/3. Alternativamente, possiamo usare l'equazione differenziale per estendere e a funzioni intere sul piano complesso.

Grafici[modifica | modifica wikitesto]

AiryAi Real Surface.png AiryAi Imag Surface.png AiryAi Abs Surface.png AiryAi Arg Surface.png
AiryAi Real Contour.svg AiryAi Imag Contour.svg AiryAi Abs Contour.svg AiryAi Arg Contour.svg
AiryBi Real Surface.png AiryBi Imag Surface.png AiryBi Abs Surface.png AiryBi Arg Surface.png
AiryBi Real Contour.svg AiryBi Imag Contour.svg AiryBi Abs Contour.svg AiryBi Arg Contour.svg

Formule asintotiche[modifica | modifica wikitesto]

(in blu) e la forma asintotica sinusoidale/esponenziale di (in violetto)
(in blu) e la forma asintotica sinusoidale/esponenziale di (in violetto)

Il comportamento asintotico delle funzioni di Airy con tendente all'infinito mantenendo costante il valore di dipende da quest'ultimo: questo è chiamato il fenomeno di Stokes. Per si ha la seguente stima asintotica per :[2]

ed si ha una uguale per , ma applicabile solo quando :

Delle formule più accurate per e per quando o, equivalentemente, per e quando ma non zero, sono:[3]

Segue dal loro comportamento asintotico che sia e hanno un'infinità di zeri nell'asse reale negativo. La funzione non ha altri zeri nel piano complesso, mentre la funzione ha anche un'infinità di zeri nel settore .

Quando , cioè per i numeri reali, queste sono buoni approssimazioni ma non sono asintotiche poiché il rapporto fra o e l'approssimazione sovrastante tende ad infinito ogni volta che il seno o il coseno si annullano. Stime asintotiche per questi limite sono comunque disponibili e sono elencate in (Abramowitz and Stegun, 1954) e (Olver, 1974).

Relazioni con altre funzioni speciali[modifica | modifica wikitesto]

Per argomenti positivi, le funzioni di Airy sono collegate alle funzioni di Bessel modificate:

Dove, e sono soluzioni di

.

La derivata prima della funzione di Airy è

Per argomenti negativi, le funzioni di Airy sono collegate alle funzioni di Bessel:

Dove, sono soluzioni di

.

Le funzioni di Scorer, che risolvono l'equazione , possono anche essere espresse in termini delle funzioni di Airy:

,

Trasformata di Fourier[modifica | modifica wikitesto]

Usando al definizione di funzione di Airy Ai(x), è semplice mostrare che la sua trasformata di Fourier è data da

Applicazioni[modifica | modifica wikitesto]

La funzione di Airy è la soluzione dell'equazione di Schrödinger per una particella confinata in una buca di potenziale triangolare e per una particella in un campo unidimensionale uniforme di forze. Per lo stesso motivo, questa funzione serve a fornire un'approssimazione uniforme vicino ad un punto di svolta nell'approssimazione WKB, dove il potenziale può essere approssimato localmente da una funzione lineare della posizione. La soluzione della buca di potenziale triangolare è direttamente rilevante per la comprensione di molti dispositivi a semiconduttore.

La funzione di Airy inoltre sottolinea la forma dell'intensità vicino a una caustica ottica direzionale, come quella dell'arcobaleno. Storicamente, fu questo problema matematico che portò Airy a sviluppare questa funzione speciale.

Funzione Zeta di Airy[modifica | modifica wikitesto]

La Funzione Zeta di Airy, studiata da Crandall (1996), è una funzione analoga alla funzione zeta di Riemann e relativa agli zeri della funzione .

Detta , , ... la successione degli in cui , ordinati in base al loro valore assoluto, la funzione Zeta di Airy è definita dalla serie

Questa serie converge quando la parte reale di è maggiore di e può essere estesa per prolungamento analitico ad altri valori di . Come la funzione Zeta di Riemann, il cui valore è la soluzione al problema di Basilea, la funzione Zeta può essere valutata esattamente in :

dove è la funzione Gamma, una variante continua del fattoriale. Valutazioni simili sono anche possibili per valori di più grandi. È stato congetturato che il prolungamento analitico della funzione Zeta di Airy valutato in valga

Note[modifica | modifica wikitesto]

  1. ^ David E. Aspnes, Physical Review, 147, 554 (1966)
  2. ^ Abramowitz & Stegun (1970, pag. 448), Equaz 10.4.59 e 10.4.63
  3. ^ Abramowitz & Stegun (1970, pag. 448), Equaz 10.4.60 e 10.4.64

Bibliografia[modifica | modifica wikitesto]

Voci correlate[modifica | modifica wikitesto]

Altri progetti[modifica | modifica wikitesto]

Collegamenti esterni[modifica | modifica wikitesto]

Matematica Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica