Operación matemática
En matemáticas , la transformada de Hankel expresa cualquier función dada f ( r ) como la suma ponderada de un número infinito de funciones de Bessel de primera especie J ν ( kr ) . Las funciones de Bessel en la suma son todas del mismo orden ν, pero difieren en un factor de escala k a lo largo del eje r . El coeficiente necesario F ν de cada función de Bessel en la suma, como una función del factor de escala k constituye la función transformada. La transformada de Hankel es una transformada integral y fue desarrollada por primera vez por el matemático Hermann Hankel . También se conoce como transformada de Fourier-Bessel. Así como la transformada de Fourier para un intervalo infinito está relacionada con la serie de Fourier sobre un intervalo finito, la transformada de Hankel sobre un intervalo infinito está relacionada con la serie de Fourier-Bessel sobre un intervalo finito.
Definición
La transformada de Hankel del orden de una función f ( r ) está dada por
donde es la función de Bessel de primer orden con . La transformada inversa de Hankel de F ν ( k ) se define como
lo cual puede verificarse fácilmente utilizando la relación de ortogonalidad que se describe a continuación.
Dominio de definición
La inversión de una transformada de Hankel de una función f ( r ) es válida en cada punto en el que f ( r ) sea continua, siempre que la función esté definida en (0, ∞), sea continua por partes y de variación acotada en cada subintervalo finito en (0, ∞), y
Sin embargo, al igual que la transformada de Fourier, el dominio puede extenderse mediante un argumento de densidad para incluir algunas funciones cuya integral anterior no es finita, por ejemplo .
Definición alternativa
Una definición alternativa dice que la transformada de Hankel de g ( r ) es [1]
Las dos definiciones están relacionadas:
- Si , entonces
Esto significa que, al igual que en la definición anterior, la transformada de Hankel definida de esta manera es también su propia inversa:
El dominio obvio ahora tiene la condición
pero esto se puede extender. De acuerdo con la referencia dada anteriormente, podemos tomar la integral como el límite ya que el límite superior tiende a infinito (una integral impropia en lugar de una integral de Lebesgue ), y de esta manera la transformada de Hankel y su trabajo inverso para todas las funciones en L 2 (0, ∞).
Transformando la ecuación de Laplace
La transformada de Hankel se puede utilizar para transformar y resolver la ecuación de Laplace expresada en coordenadas cilíndricas. Bajo la transformada de Hankel, el operador de Bessel se convierte en una multiplicación por . [2] En el caso axisimétrico, la ecuación diferencial parcial se transforma como
donde . Por lo tanto, el laplaciano en coordenadas cilíndricas se convierte en una ecuación diferencial ordinaria en la función transformada .
Ortogonalidad
Las funciones de Bessel forman una base ortogonal con respecto al factor de ponderación r : [3]
El teorema de Plancherel y el teorema de Parseval
Si f ( r ) y g ( r ) son tales que sus transformadas de Hankel F ν ( k ) y G ν ( k ) están bien definidas, entonces el teorema de Plancherel establece
El teorema de Parseval , que establece
es un caso especial del teorema de Plancherel. Estos teoremas se pueden demostrar utilizando la propiedad de ortogonalidad.
Relación con la transformada de Fourier multidimensional
La transformada de Hankel aparece cuando se escribe la transformada de Fourier multidimensional en coordenadas hiperesféricas , razón por la cual la transformada de Hankel aparece a menudo en problemas físicos con simetría cilíndrica o esférica.
Consideremos una función de un vector -dimensional r . Su transformada de Fourier -dimensional se define como Para reescribirla en coordenadas hiperesféricas, podemos usar la descomposición de una onda plana en armónicos hiperesféricos -dimensionales : [4] donde y son los conjuntos de todos los ángulos hiperesféricos en el -espacio y el -espacio. Esto da la siguiente expresión para la transformada de Fourier -dimensional en coordenadas hiperesféricas: Si expandimos y en armónicos hiperesféricos: la transformada de Fourier en coordenadas hiperesféricas se simplifica a Esto significa que las funciones con dependencia angular en forma de un armónico hiperesférico la retienen en la transformada de Fourier multidimensional, mientras que la parte radial sufre la transformada de Hankel (hasta algunos factores adicionales como ).
Casos especiales
Si una función bidimensional f ( r ) se desarrolla en una serie multipolar ,
entonces su transformada de Fourier bidimensional está dada por donde es la transformada de Hankel de orden -ésimo de (en este caso juega el papel del momento angular, que fue denotado por en la sección anterior).
Si una función tridimensional f ( r ) se expande en una serie multipolar sobre armónicos esféricos ,
entonces su transformada de Fourier tridimensional está dada por donde es la transformada de Hankel de orden .
Este tipo de transformada de Hankel de orden semientero también se conoce como transformada esférica de Bessel.
Si una función d -dimensional f ( r ) no depende de coordenadas angulares, entonces su transformada de Fourier d -dimensional F ( k ) tampoco depende de coordenadas angulares y está dada por [5] que es la transformada de Hankel de orden hasta un factor de .
Funciones 2D dentro de un radio limitado
Si una función bidimensional f ( r ) se expande en una serie multipolar y los coeficientes de expansión f m son suficientemente suaves cerca del origen y cero fuera de un radio R , la parte radial f ( r )/ r m puede expandirse en una serie de potencias de 1 − ( r / R )^2 :
de modo que la transformada de Fourier bidimensional de f ( r ) se convierte en
donde la última igualdad se sigue de §6.567.1 de. [6] Los coeficientes de expansión f m,t son accesibles con técnicas de transformada de Fourier discreta : [7] si la distancia radial se escala con
Los coeficientes de la serie de Fourier-Chebyshev g surgen como
Usando la reexpansión
los rendimientos f m,t se expresan como sumas de g m,j .
Éste es un ejemplo de las técnicas de transformación rápida de Hankel.
Relación con las transformadas de Fourier y Abel
La transformada de Hankel es un miembro del ciclo FHA de operadores integrales. En dos dimensiones, si definimos A como el operador de la transformada de Abel , F como el operador de la transformada de Fourier y H como el operador de la transformada de Hankel de orden cero, entonces el caso especial del teorema de proyección-segmentación para funciones circularmente simétricas establece que
En otras palabras, aplicar la transformada de Abel a una función unidimensional y luego aplicar la transformada de Fourier a ese resultado es lo mismo que aplicar la transformada de Hankel a esa función. Este concepto se puede extender a dimensiones superiores.
Evaluación numérica
Un enfoque simple y eficiente para la evaluación numérica de la transformada de Hankel se basa en la observación de que se puede expresar en forma de convolución mediante un cambio logarítmico de variables [8].
En estas nuevas variables, la transformada de Hankel se lee
donde
Ahora la integral se puede calcular numéricamente con complejidad utilizando la transformada rápida de Fourier . El algoritmo se puede simplificar aún más utilizando una expresión analítica conocida para la transformada de Fourier de : [9]
La elección óptima de parámetros depende de las propiedades de en particular su comportamiento asintótico en y
Este algoritmo se conoce como "transformada de Hankel cuasi-rápida" o simplemente "transformada de Hankel rápida".
Dado que se basa en la transformada rápida de Fourier en variables logarítmicas, debe definirse en una cuadrícula logarítmica. Para las funciones definidas en una cuadrícula uniforme, existen otros algoritmos, entre ellos la cuadratura simple , los métodos basados en el teorema de proyección-segmento y los métodos que utilizan la expansión asintótica de las funciones de Bessel. [10]
Algunos pares de transformadas de Hankel
[11]
K n ( z ) es una función de Bessel modificada de segundo tipo . K ( z ) es la integral elíptica completa de primer tipo .
La expresión
coincide con la expresión para el operador de Laplace en coordenadas polares ( k , θ ) aplicado a una función esféricamente simétrica F 0 ( k ) .
Las transformadas de Hankel de los polinomios de Zernike son esencialmente funciones de Bessel (Noll 1976):
para n − m ≥ 0 .
Véase también
Referencias
- ^ Louis de Branges (1968). Espacios de Hilbert de funciones enteras . Londres: Prentice-Hall. p. 189. ISBN. 978-0133889000.
- ^ Poularikas, Alexander D. (1996). Manual de transformaciones y aplicaciones . Boca Raton Fla.: CRC Press. ISBN 0-8493-8342-0.OCLC 32237017 .
- ^ Ponce de León, J. (2015). "Revisitando la ortogonalidad de funciones de Bessel de primera clase en un intervalo infinito". Revista Europea de Física . 36 (1): 015016. Bibcode :2015EJPh...36a5016P. doi :10.1088/0143-0807/36/1/015016.
- ^ Avery, James Emil. Armónicos hiperesféricos y sus aplicaciones físicas . ISBN 978-981-322-930-3.OCLC 1013827621 .
- ^ Faris, William G. (6 de diciembre de 2008). "Funciones radiales y la transformada de Fourier: notas para Matemáticas 583A, otoño de 2008" (PDF) . Universidad de Arizona, Departamento de Matemáticas . Consultado el 25 de abril de 2015 .
- ^ Gradshteyn, IS; Ryzhik, IM (2015). Zwillinger, Daniel (ed.). Tabla de integrales, series y productos (octava edición). Academic Press. pág. 687. ISBN 978-0-12-384933-5.
- ^ Secada, José D. (1999). "Evaluación numérica de la transformada de Hankel". Computadora. Física. Comunitario . 116 (2–3): 278–294. Código Bib : 1999CoPhC.116..278S. doi :10.1016/S0010-4655(98)00108-8.
- ^ Siegman, AE (1 de julio de 1977). "Transformación de Hankel casi rápida". Letras de Óptica . 1 (1): 13. Código bibliográfico : 1977OptL....1...13S. doi :10.1364/ol.1.000013. ISSN 0146-9592. PMID 19680315.
- ^ Talman, James D. (octubre de 1978). "Transformadas numéricas de Fourier y Bessel en variables logarítmicas". Journal of Computational Physics . 29 (1): 35–48. Bibcode :1978JCoPh..29...35T. doi :10.1016/0021-9991(78)90107-9. ISSN 0021-9991.
- ^ Cree, MJ; Bones, PJ (julio de 1993). "Algoritmos para evaluar numéricamente la transformada de Hankel". Computers & Mathematics with Applications . 26 (1): 1–12. doi : 10.1016/0898-1221(93)90081-6 . ISSN 0898-1221.
- ^ Papoulis, Athanasios (1981). Sistemas y transformadas con aplicaciones en óptica . Florida, EE. UU.: Krieger Publishing Company. Págs. 140-175. ISBN. 978-0898743586.
- ^ Kausel, E.; Irfan Baig, MM (2012). "Transformada de Laplace de productos de funciones de Bessel: una revisión de fórmulas anteriores" (PDF) . Quarterly of Applied Mathematics . 70 : 77–97. doi : 10.1090/s0033-569x-2011-01239-2 . hdl :1721.1/78923.
- Gaskill, Jack D. (1978). Sistemas lineales, transformadas de Fourier y óptica . Nueva York: John Wiley & Sons. ISBN 978-0-471-29288-3.
- Polyanin, AD; Manzhirov, AV (1998). Manual de ecuaciones integrales . Boca Raton: CRC Press. ISBN 978-0-8493-2876-3.
- Smythe, William R. (1968). Electricidad estática y dinámica (3.ª ed.). Nueva York: McGraw-Hill. págs. 179–223.
- Offord, AC (1935). "Sobre las transformadas de Hankel". Actas de la London Mathematical Society . 39 (2): 49–67. doi :10.1112/plms/s2-39.1.49.
- Eason, G.; Noble, B.; Sneddon, IN (1955). "Sobre ciertas integrales del tipo Lipschitz-Hankel que involucran productos de funciones de Bessel". Philosophical Transactions of the Royal Society A . 247 (935): 529–551. Bibcode :1955RSPTA.247..529E. doi :10.1098/rsta.1955.0005. JSTOR 91565.
- Kilpatrick, JE; Katsura, Shigetoshi; Inoue, Yuji (1967). "Cálculo de integrales de productos de funciones de Bessel". Matemáticas de la computación . 21 (99): 407–412. doi : 10.1090/S0025-5718-67-99149-1 .
- MacKinnon, Robert F. (1972). "Las expansiones asintóticas de las transformadas de Hankel y las integrales relacionadas". Matemáticas de la computación . 26 (118): 515–527. doi : 10.1090/S0025-5718-1972-0308695-9 . JSTOR 2003243.
- Linz, Peter; Kropp, TE (1973). "Una nota sobre el cálculo de integrales que involucran productos de funciones trigonométricas y de Bessel". Matemáticas de la computación . 27 (124): 871–872. doi : 10.2307/2005522 . JSTOR 2005522.
- Noll, Robert J (1976). "Polinomios de Zernike y turbulencia atmosférica". Revista de la Sociedad Óptica de América . 66 (3): 207–211. Código Bibliográfico :1976JOSA...66..207N. doi :10.1364/JOSA.66.000207.
- Siegman, AE (1977). "Transformación de Hankel cuasi rápida". Optar. Lett . 1 (1): 13-15. Código Bib :1977OptL....1...13S. doi :10.1364/OL.1.000013. PMID 19680315.
- Magni, Vittorio; Cerullo, Giulio; De Silverstri, Sandro (1992). "Transformada de Hankel rápida de alta precisión para la propagación del haz óptico". J. Optar. Soc. Soy. A . 9 (11): 2031-2033. Código bibliográfico : 1992JOSAA...9.2031M. doi :10.1364/JOSAA.9.002031.
- Agnesi, A.; Reali, Giancarlo C.; Patrini, G.; Tomaselli, A. (1993). "Evaluación numérica de la transformada de Hankel: comentarios". Revista de la Sociedad Óptica de América A. 10 (9): 1872. Código bibliográfico : 1993JOSAA..10.1872A. doi :10.1364/JOSAA.10.001872.
- Barakat, Richard (1996). "Evaluación numérica de la transformada de Hankel de orden cero usando la filosofía de cuadratura de Filon". Applied Mathematics Letters . 9 (5): 21–26. doi : 10.1016/0893-9659(96)00067-5 . MR 1415467.
- Ferrari, José A.; Perciante, Daniel; Dubra, Alfredo (1999). "Transformada rápida de Hankel de enésimo orden". J. Optar. Soc. Soy. A . 16 (10): 2581–2582. Código bibliográfico : 1999JOSAA..16.2581F. doi :10.1364/JOSAA.16.002581.
- Wieder, Thomas (1999). "Algoritmo 794: Transformada numérica de Hankel mediante el programa Fortran HANKEL". ACM Trans. Math. Softw . 25 (2): 240–250. doi : 10.1145/317275.317284 .
- Knockaert, Luc (2000). "Transformada rápida de Hankel mediante transformadas rápidas de seno y coseno: la conexión de Mellin". IEEE Trans. Signal Process . 48 (6): 1695–1701. Bibcode :2000ITSP...48.1695K. CiteSeerX 10.1.1.721.1633 . doi :10.1109/78.845927. hdl :20.500.12860/4476.
- Zhang, DW; Yuan, X.-C.; Ngo, NQ; Shum, P. (2002). "Transformada rápida de Hankel y su aplicación para estudiar la propagación de campos electromagnéticos cilíndricos". Opt. Express . 10 (12): 521–525. Bibcode :2002OExpr..10..521Z. doi : 10.1364/oe.10.000521 . PMID 19436390.
- Markham, Joanne; Conchello, Jose-Angel (2003). "Evaluación numérica de transformadas de Hankel para funciones oscilantes". J. Opt. Soc. Am. A . 20 (4): 621–630. Bibcode :2003JOSAA..20..621M. doi :10.1364/JOSAA.20.000621. PMID 12683487.
- Perciante, César D.; Ferrari, José A. (2004). "Transformada rápida de Hankel de orden n con rendimiento mejorado". J. Opt. Soc. Am. A . 21 (9): 1811–2. Bibcode :2004JOSAA..21.1811P. doi :10.1364/JOSAA.21.001811. PMID 15384449.
- Gizar-Sicairos, Manuel; Guitierrez-Vega, Julio C. (2004). "Cálculo de la transformada de Hankel cuasi-discreta de orden entero para la propagación de campos de ondas ópticas". J. Opt. Soc. Am. A . 21 (1): 53–58. Bibcode :2004JOSAA..21...53G. doi :10.1364/JOSAA.21.000053. PMID 14725397.
- Cerján, Charles (2007). "La representación de Zernike-Bessel y su aplicación a las transformaciones de Hankel". J. Optar. Soc. Soy. A . 24 (6): 1609-1616. Código Bib : 2007JOSAA..24.1609C. doi :10.1364/JOSAA.24.001609. PMID 17491628.