Trasformata di Hankel
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 è [1]
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 :[2]
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[3]
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 [4]. 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
[5]
esprimibile in termine degli integrali ellittici.[6] | |
è 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
- ^ Louis de Branges, Hilbert spaces of entire functions, London, Prentice-Hall, 1968, p. 189, ISBN 978-0-13-388900-0.
- ^ J. Ponce de Leon, Revisiting the orthogonality of Bessel functions of the first kind on an infinite interval, in European Journal of Physics, vol. 36, n. 1, 2015, DOI:10.1088/0143-0807/36/1/015016.
- ^ William G. Faris, Radial functions and the Fourier transform: Notes for Math 583A, Fall 2008 (PDF), su University of Arizona, Department of Mathematics, 6 dicembre 2008. URL consultato il 16 settembre 2019.
- ^ I. S. Gradshteyn e I. M. Ryzhik, Table of Integrals, Series, and Products, Eighth, Academic Press, 2015, p. 687, ISBN 978-0-12-384933-5.
- ^ Athanasios Papoulis, Systems and Transforms with Applications to Optics, Florida USA, Krieger Publishing Company, 1981, pp. 140–175, ISBN 978-0-89874-358-6.
- ^ E. Kausel e M. M. Irfan Baig, Laplace transform of products of Bessel functions: A visitation of earlier formulas, in Quarterly of Applied Mathematics, vol. 70, 2012, pp. 77–97, DOI:10.1090/s0033-569x-2011-01239-2.
Bibliografia
- Jack D. Gaskill, Linear Systems, Fourier Transforms, and Optics, New York, John Wiley & Sons, 1978, ISBN 978-0-471-29288-3.
- A. D. Polyanin e A. V. Manzhirov, Handbook of Integral Equations, Boca Raton, CRC Press, 1998, ISBN 978-0-8493-2876-3.
- William R. Smythe, Static and Dynamic Electricity, 3rd, New York, McGraw-Hill, 1968, pp. 179–223.
- A. C. Offord, On Hankel transforms, in Proceedings of the London Mathematical Society, vol. 39, n. 2, 1935, pp. 49–67, DOI:10.1112/plms/s2-39.1.49.
- G. Eason, B. Noble e I. N. Sneddon, On certain integrals of Lipschitz-Hankel type involving products of Bessel Functions, in Philosophical Transactions of the Royal Society A, vol. 247, n. 935, 1955, pp. 529–551, Bibcode:1955RSPTA.247..529E, DOI:10.1098/rsta.1955.0005, JSTOR 91565.
- J. E. Kilpatrick, Shigetoshi Katsura e Yuji Inoue, Calculation of integrals of products of Bessel functions, in Mathematics of Computation, vol. 21, n. 99, 1967, pp. 407–412, DOI:10.1090/S0025-5718-67-99149-1.
- Robert F. MacKinnon, The asymptotic expansions of Hankel transforms and related integrals, in Mathematics of Computation, vol. 26, n. 118, 1972, pp. 515–527, DOI:10.1090/S0025-5718-1972-0308695-9, JSTOR 2003243.
- Peter Linz e T. E. Kropp, A note on the computation of integrals involving products of trigonometric and Bessel functions, in Mathematics of Computation, vol. 27, n. 124, 1973, pp. 871–872, DOI:10.2307/2005522, JSTOR 2005522.
- Robert J Noll, Zernike polynomials and atmospheric turbulence, in Journal of the Optical Society of America, vol. 66, n. 3, 1976, pp. 207–211, Bibcode:1976JOSA...66..207N, DOI:10.1364/JOSA.66.000207.
- A. E. Siegman, Quasi-fast Hankel transform, in Opt. Lett., vol. 1, n. 1, 1977, pp. 13–15, Bibcode:1977OptL....1...13S, DOI:10.1364/OL.1.000013.
- Vittorio Magni, Giulio Cerullo e Sandro De Silverstri, High-accuracy fast Hankel transform for optical beam propagation, in J. Opt. Soc. Am. A, vol. 9, n. 11, 1992, pp. 2031–2033, Bibcode:1992JOSAA...9.2031M, DOI:10.1364/JOSAA.9.002031.
- A. Agnesi, Giancarlo C. Reali, G. Patrini e A. Tomaselli, Numerical evaluation of the Hankel transform: remarks, in Journal of the Optical Society of America A, vol. 10, n. 9, 1993, p. 1872, Bibcode:1993JOSAA..10.1872A, DOI:10.1364/JOSAA.10.001872.
- Richard Barakat, Numerical evaluation of the zero-order Hankel transform using Filon quadrature philosophy, in Applied Mathematics Letters, vol. 9, n. 5, 1996, pp. 21–26, DOI:10.1016/0893-9659(96)00067-5.
- José A. Ferrari, Daniel Perciante e Alfredo Dubra, Fast Hankel transform of nth order, in J. Opt. Soc. Am. A, vol. 16, n. 10, 1999, pp. 2581–2582, Bibcode:1999JOSAA..16.2581F, DOI:10.1364/JOSAA.16.002581.
- José D. Secada, Numerical evaluation of the Hankel transform, in Comp. Phys. Comm., vol. 116, 2–3, 1999, pp. 278–294, Bibcode:1999CoPhC.116..278S, DOI:10.1016/S0010-4655(98)00108-8.
- Thomas Wieder, Algorithm 794: Numerical Hankel transform by the Fortran program HANKEL, in ACM Trans. Math. Softw., vol. 25, n. 2, 1999, pp. 240–250, DOI:10.1145/317275.317284.
- Luc Knockaert, Fast Hankel transform by fast sine and cosine transforms: the Mellin connection (PDF) [collegamento interrotto], in IEEE Trans. Signal Process., vol. 48, n. 6, 2000, pp. 1695–1701, Bibcode:2000ITSP...48.1695K, DOI:10.1109/78.845927.
- D. W. Zhang, X.-C. Yuan, N. Q. Ngo e P. Shum, Fast Hankel transform and its application for studying the propagation of cylindrical electromagnetic fields, in Opt. Express, vol. 10, n. 12, 2002, pp. 521–525, Bibcode:2002OExpr..10..521Z, DOI:10.1364/oe.10.000521.
- Joanne Markham e Jose-Angel Conchello, Numerical evaluation of Hankel transforms for oscillating functions, in J. Opt. Soc. Am. A, vol. 20, n. 4, 2003, pp. 621–630, Bibcode:2003JOSAA..20..621M, DOI:10.1364/JOSAA.20.000621.
- César D. Perciante e José A. Ferrari, Fast Hankel transform of nth order with improved performance, in J. Opt. Soc. Am. A, vol. 21, n. 9, 2004, p. 1811, Bibcode:2004JOSAA..21.1811P, DOI:10.1364/JOSAA.21.001811.
- Manuel Gizar-Sicairos e Julio C. Guitierrez-Vega, Computation of quasi-discrete Hankel transform of integer order for propagating optical wave fields, in J. Opt. Soc. Am. A, vol. 21, n. 1, 2004, pp. 53–58, Bibcode:2004JOSAA..21...53G, DOI:10.1364/JOSAA.21.000053.
- Charles Cerjan, The Zernike-Bessel representation and its application to Hankel transforms, in J. Opt. Soc. Am. A, vol. 24, n. 6, 2007, pp. 1609–1616, Bibcode:2007JOSAA..24.1609C, DOI:10.1364/JOSAA.24.001609.
Voci correlate
Controllo di autorità | GND (DE) 4159081-8 |
---|
![](http://upload.wikimedia.org/wikipedia/commons/thumb/a/af/Crystal128-kmplot.svg/25px-Crystal128-kmplot.svg.png)