In matematica, la trasformata di Hankel è una trasformata integrale, per la prima volta sviluppata dal matematico Hermann Hankel, che esprime una data funzione come una somma pesata di un numero infinito di funzioni di Bessel del primo tipo . È anche conosciuta come la trasformata di Fourier-Bessel. Le funzioni di Bessel del nucleo integrale sono tutte dello stesso ordine , ma differiscono nel fattore di scala lungo l'asse . Il coefficiente di ogni funzione di Bessel, visto come una funzione del fattore di scala , costituisce la trasformata di Hankel. La trasformata di Hankel è strettamente collegata con la serie di Fourier-Bessel, nello stesso modo in cui la trasformata di Fourier per un intervallo infinito è in relazione con la serie di Fourier su un intervallo finito.

Definizione La trasformata di Hankel di ordine di una funzione è data da

dove è la funzione di Bessel del primo tipo di ordine , con . La trasformata di Hankel inversa di è definita come

che può essere verificata sfruttando la relazione di ortogonalità fra le funzioni di Bessel.

Dominio di definizione L'inversione della trasformata di Hankel di una funzione è valida in tutti i punti in cui è continua, a patto che sia definita e continua a tratti in , a variazione limitata in ogni sottointervallo finito di e

Tuttavia, in analogia con la trasformata di Fourier, si può estendere il dominio tramite un ragionamento sulla densità, includendo alcune funzioni per cui l'integrale precedente non è finito, come .

Definizione alternativa Una definizione alternativa afferma che la trasformata di Hankel di è

Le due definizioni sono collegate: Se , allora Questo significa che, come per la precedente definizione, la trasformata di Hankel definita in questo modo è la sua stessa inversa:

Il dominio ora ha la condizione

ma può essere esteso. Secondo de Branges, si può prendere l'integrale come il limite con l'estremo superiore che tende all'infinito (un integrale improprio invece di un integrale di Lebesgue), e in questo modo la trasformata di Hankel e la sua inversa sono definite per ogni funzione in L2(0, ∞).

Ortogonalità Le funzioni di Bessel formano una base ortogonale se pesate con la funzione :

Il teorema di Plancherel e di Parseval Se le funzioni e possiedono trasformate di Hankel e ben definite, allora il teorema di Plancherel afferma che

Il teorema di Parseval, che afferma

è un caso speciale del teorema di Plancherel. Questi teoremi si possono dimostrare utilizzando la proprietà di ortogonalità.

Relazioni con altre trasformate

Relazione con la trasformata di Fourier (simmetria circolare) La trasformata di Hankel di ordine zero è essenzialmente la trasformata di Fourier in 2 dimensioni di una funzione a simmetria circolare.

Si consideri una funzione bidimensionale del raggio vettore . La sua trasformata di Fourier è

Senza perdita di generalità, si può scegliere un sistema di coordinate polari in modo che il vettore giaccia sull'asse (nel K-spazio). La trasformata di Fourier si scrive ora in queste coordinate come

dove è l'angolo tra i vettori e . Se la funzione è a simmetria circolare, non ha nessuna dipendenza dalla variabile angolare e può essere scritta come . Si può così portare fuori dall'integrazione su , e in questo caso la trasformata di Fourier diventa

che è esattamente la trasformata di Hankel di ordine zero di . Analogamente per la trasformata inversa,

quindi è la trasformata di Hankel di ordine zero di .

Relazione con la trasformata di Fourier (simmetria radiale in n dimensioni)

Per una trasformata Fourier n-dimensionale,

Se la funzione è a simmetria radiale, allora

Relazione con la trasformata di Fourier (caso generale in due dimensioni)

Per generalizzare, se può essere espansa in una serie di multipoli,

e se è l'angolo tra la direzione di e l'asse , allora

dove è la trasformata di Hankel di ordine di .

Funzioni all'interno di un raggio limitato

Inoltre, se è sufficientemente liscia vicino all'origine e è zero fuori da una palla di raggio , allora può essere espansa nella serie di Čebyšëv:

Sostituendola nell'ultima equazione della sezione precedente si ottiene

dove l'ultima uguaglianza segue da §6.567.1 di. Questo è un caso molto più generale di quello trattato nella precedente sezione. L'aspetto numerico importante è che i coefficienti si possono ricavare con le tecniche della trasformata di Fourier discreta.

Questo è un assaggio della trasformata di Hankel veloce.

Relazione con le trasformate di Fourier e di Abel In due dimensioni, se si definisce come l'operatore della trasformata di Abel, come l'operatore della trasformata di Fourier, e come la trasformata di Hankel di ordine zero, allora il caso particolare del teorema di proiezione-taglio per le funzioni a simmetria circolare afferma che

In altre parole, applicare la trasformata di Abel a una funzione in una dimensione e farne successivamente la trasformata di Fourier è equivalente a applicare la trasformata di Hankel alla funzione. Questo concetto si può estendere a tutte le dimensioni.

Trasformata di alcune funzioni particolari

esprimibile in termine degli integrali ellittici.

è la funzione di Bessel modificata del secondo tipo. è l'integrale ellittico completo del primo tipo.

L'espressione

coincide con l'espressione dell'operatore di Laplace in coordinate polari applicato alla funzione a simmetria sferica .

La trasformata di Hankel dei polinomi di Zernike sono essenzialmente delle funzioni di Bessel (Noll 1976):

per pari.

Note

Bibliografia

Voci correlate

Trasformata di Fourier Trasformata integrale Armoniche cilindriche

Categoria:Trasformate integrali