Armoniche cilindriche

funzione matematica
(Reindirizzamento da Funzione di Bessel)

In analisi matematica le armoniche cilindriche, definite per la prima volta da Daniel Bernoulli e successivamente rinominate da Bessel di cui talvolta prendono il nome (in modo erroneo nell'insieme, sono in realtà una loro sottoclasse), sono le soluzioni canoniche delle equazioni di Bessel:

Venti armoniche cilindriche naturali, le prime cinque di ciascun tipo: J (blu), Y (rosso), I (verde), K (viola)

per un numero arbitrario (che rappresenta l'ordine della funzione). Poiché contengono la gamma di Eulero, il più comune e importante caso particolare è quello in cui è un numero intero , in cui la situazione si semplifica notevolmente col fattoriale e le armoniche acquisiscono altre proprietà particolari. Si può notare innanzitutto (per la parità della funzione in ) che e hanno la stessa soluzione, per cui si usa definire convenzionalmente due differenti funzioni di Bessel per questi due ordini. Uno dei settori nel quale vengono usate è la teoria dei segnali, in particolare nel settore della modulazione dei segnali per le trasmissioni. Nello specifico le armoniche cilindriche compaiono nello sviluppo in Serie di Fourier di un segnale modulato in frequenza (FM) o di un segnale modulato in fase (PM), quando il segnale di ingresso è una sinusoide.

Funzioni di Bessel

modifica
  Lo stesso argomento in dettaglio: Funzioni di Bourget-Giuliani.

La soluzione dell'equazione ordinaria può essere cercata nella forma generale di serie di potenze crescente in  :

 

dove per rendere unica la rappresentazione, non è restrittivo esigere che  . Le derivate saranno allora:

 
 

Sostituendo nell'equazione e raccogliendo i termini con le stesse potenze di  , si ottiene:

 

perché l'eguaglianza si verifichi è necessario che ogni coefficiente delle potenze di   sia nullo: si ha quindi il sistema infinito:

 

Il sistema infinito può essere smembrato in due parti in base al criterio di parità di  :

 
 

Poiché si era supposto  , la prima equazione è determinante in quanto implica che  , e quindi dà accesso alla soluzione ricorsiva del sistema pari:

 

dove compare la funzione gamma di Eulero, mentre quello dispari è a questo punto soddisfatto solo se tutti gli  . Quindi le soluzioni particolari valgono:

 
 

Solitamente, alle costanti   si attribuiscono i valori:

 
 
 
Grafico delle prime tre funzioni di Bessel ordinarie naturali.

si ottiene quindi che la soluzione generale può essere espressa nella sola funzione di Bessel ordinaria (talvolta detta del primo tipo, per distinguerla da quelle di Neumann ed Hankel), che si definisce come:

 

Si può facilmente dimostrare che la serie ottenuta è convergente assolutamente e uniformemente in ogni dominio limitato di   e sull'intero piano complesso di   eccetto che per   (dove se   ha una singolarità del tipo  ). Ciò segue dal criterio di Weierstrass: per   e   il valore assoluto tra termini successivi è minore di  :

 

se  , sarebbe a dire poiché   è naturale se  , che non dipende da   e  : perciò la funzione   è analitica per tutti i valori di   e per   diverso da  . La soluzione generale diventa:

 

In generale   e   sono linearmente indipendenti in  , ma se   è naturale ciò non è più vero. Infatti  , ed i primi   termini della serie di   svaniscono in quanto divisi per la gamma di argomenti negativi che è notoriamente infinita. Quindi ripartendo dal termine  -esimo si ottiene:

 

Funzioni di Neumann

modifica
 
Grafico delle prime tre funzioni di Neumann ordinarie naturali

Proprio a causa della ridondanza delle due opposte funzioni di Bessel di ordine naturale si rende necessario introdurre una seconda funzione a sostituire una delle due. Vengono allora introdotte le funzioni di Neumann   (talvolta dette impropriamente sul piano storico di Bessel del secondo tipo) che in quanto combinazione lineare delle due funzioni opposte di Bessel, precisamente:

 
 

costituiscono un'alternativa ad una delle due, convenzionalmente alla seconda. Una combinazione lineare della funzione di Bessel e della corrispondente di Neumann formano quindi una soluzione generale per qualunque  , sia per le equazioni ordinarie che per le modificate.

 

Infatti per la regola di de l'Hôpital il limite per α tendente ad un intero vale:

 

che sviluppando in serie la funzione di Bessel corrispondente diventa:

 
 

dove   è la Costante di Eulero-Mascheroni.

Funzioni di Hankel

modifica

Un'ulteriore riformulazione di due soluzioni linearmente indipendenti dell'equazione di Bessel sono le funzioni di Hankel in due classi (conosciute anche come Funzioni di Bessel di terzo tipo)   e  , definite da:

 
 

La loro importanza è più di carattere teorico che di utilità pratica: soddisfano numerose proprietà, sia nelle forme asintotiche sia nelle rappresentazioni integrali, nel senso che appare un fattore  , per via della formula di Eulero. Sono perciò usate per esprimere soluzioni propagantisi rispettivamente verso l'esterno e verso l'interno (o viceversa, a seconda della convenzione dei segni per la frequenza).

Possono infatti essere riscritte secondo la definizione delle funzioni di Neumann:

 
 

se   è intero, si deve passare al limite. Le seguenti sono invece valide, indipendentemente che   sia o non sia intero:[1]

 
 

Ammettono le seguenti rappresentazioni integrali per  :[2]

 
 

dove il limite di integrazione indica l'integrazione lungo una frontiera che può essere scelta col seguente criterio: da   a   lungo l'asse reale negativo, da   a   lungo l'asse immaginario, e da   a   lungo una frontiera parallela all'asse reale.[3]

Armoniche modificate

modifica

Sono due soluzioni linearmente indipendenti delle Equazioni di Bessel modificate: sono valide per   complessi, ma per   immaginari acquisiscono proprietà notevoli come quelle ordinarie fanno per argomenti naturali. Le funzioni di Bessel modificate sono:

 

mentre le funzioni di Neumann modificate sono:

 

Diversamente dalle funzioni ordinarie che sono oscillanti, le   e   divergono esponenzialmente e decadono esponenzialmente. Così come le funzioni di Bessel ordinarie  , quelle modificate   vanno a zero in   per   e sono finite in   per  . Analogamente,   divergono in  .

Forme asintotiche

modifica

Poiché le armoniche sono definite tramite serie divergenti, risulta utile andarne a studiare l'andamento asintotico. Per piccoli argomenti  , si ottiene:

 
 

dove   denota la funzione gamma di Eulero.

Per grandi argomenti,  , le armoniche ordinarie diventano:

 
 

Per   le armoniche modificate diventano:

 
 

Relazione con i polinomi di Laguerre

modifica

In termini di polinomi di Laguerre generalizzati   e paramentro arbitrario  , le funzioni di Bessel possono essere espresse come:[4]

 

Equazione ipergeometrica confluente

modifica

La funzione di Bessel si può facilmente ricavare dalla forma di Whittaker dell'equazione ipergeometrica confluente nel caso particolare in cui   sia posto pari a  . Avremmo così   e la forma di Whittaker sarà:

 

facendo quindi la sostituzione:   si ottiene l'equazione di Bessel; le sue soluzioni sono per costruzione legate alle soluzioni dell'equazione ipergeometrica confluente dalla relazione:

 

con   generica soluzione della ipergeometrica confluente in cui si ha  

Si noti che nel caso particolare in cui sia   l'equazione di Bessel è di soluzione immediata e dà:

 

da questo si può subito intuire che almeno certe soluzioni dell'equazione di Bessel avranno andamento oscillante.

  1. ^ Abramowitz and Stegun, p. 358, 9.1.6.
  2. ^ Abramowitz and Stegun, p. 360, 9.1.25.
  3. ^ (EN) G. N. Watson, A Treatise on the Theory of Bessel Functions, Cambridge University Press, 25 agosto 1995, ISBN 978-0-521-48391-9. URL consultato il 10 febbraio 2022.
  4. ^ Szegö, G. Orthogonal Polynomials, 4th ed. Providence, RI: Amer. Math. Soc., 1975.

Bibliografia

modifica

Voci correlate

modifica

Altri progetti

modifica

Collegamenti esterni

modifica
Controllo di autoritàThesaurus BNCF 33534 · LCCN (ENsh85013431 · BNF (FRcb119819398 (data) · J9U (ENHE987007284768905171 · NDL (ENJA00560629
  Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica