En matemáticas , una función hipergeométrica confluente es una solución de una ecuación hipergeométrica confluente , que es una forma degenerada de una ecuación diferencial hipergeométrica donde dos de las tres singularidades regulares se fusionan en una singularidad irregular . El término confluente se refiere a la fusión de puntos singulares de familias de ecuaciones diferenciales; confluere es latín para "fluir juntos". Hay varias formas estándar comunes de funciones hipergeométricas confluentes:
- La función de Kummer (hipergeométrica confluente) M ( a , b , z ) , introducida por Kummer ( 1837 ), es una solución a la ecuación diferencial de Kummer . Esto también se conoce como función hipergeométrica confluente del primer tipo. Hay una función de Kummer diferente y no relacionada que lleva el mismo nombre.
- La función de Tricomi (hipergeométrica confluente) U ( a , b , z ) introducida por Francesco Tricomi ( 1947 ), a veces denotada por Ψ ( a ; b ; z ) , es otra solución a la ecuación de Kummer. Esto también se conoce como función hipergeométrica confluente del segundo tipo.
- Las funciones de Whittaker (para Edmund Taylor Whittaker ) son soluciones a la ecuación de Whittaker .
- Las funciones de onda de Coulomb son soluciones a la ecuación de onda de Coulomb .
Las funciones de Kummer, las funciones de Whittaker y las funciones de onda de Coulomb son esencialmente las mismas y se diferencian entre sí solo por las funciones elementales y el cambio de variables.
Ecuación de Kummer
La ecuación de Kummer se puede escribir como:
con un punto singular regular en z = 0 y un punto singular irregular en z = ∞ . Tiene dos (generalmente) soluciones linealmente independientes M ( a , b , z ) y U ( a , b , z ) .
La función de Kummer del primer tipo M es una serie hipergeométrica generalizada introducida en ( Kummer 1837 ), dada por:
dónde:
es el factorial ascendente . Otra notación común para esta solución es Φ ( a , b , z ) . Considerado como una función de un , b , o z con la otra constante de dos retenida, esto define una función entera de una o z , excepto cuando b = 0, -1, -2, ... En función de b es analítico excepto para los polos en los enteros no positivos.
Algunos valores de una y b soluciones de rendimiento que se pueden expresar en términos de otras funciones conocidas. Ver # Casos especiales . Cuando a es un número entero no positivo, entonces la función de Kummer (si está definida) es un polinomio de Laguerre generalizado .
Así como la ecuación diferencial confluente es un límite de la ecuación diferencial hipergeométrica cuando el punto singular en 1 se mueve hacia el punto singular en ∞, la función hipergeométrica confluente se puede dar como un límite de la función hipergeométrica
y muchas de las propiedades de la función hipergeométrica confluente son casos limitantes de propiedades de la función hipergeométrica.
Dado que la ecuación de Kummer es de segundo orden, debe haber otra solución independiente. La ecuación indicial del método de Frobenius nos dice que la potencia más baja de una solución en serie de potencia a la ecuación de Kummer es 0 o 1 - b . Si dejamos que w ( z ) sea
entonces la ecuación diferencial da
que, al dividir z 1− b y simplificar, se convierte en
Esto significa que z 1− b M ( a + 1 - b , 2 - b , z ) es una solución siempre que b no sea un número entero mayor que 1, al igual que M ( a , b , z ) es una solución entonces siempre que b no sea un número entero menor que 1. También podemos usar la función hipergeométrica confluente de Tricomi U ( a , b , z ) introducida por Francesco Tricomi ( 1947 ), y a veces denotada por Ψ ( a ; b ; z ) . Es una combinación de las dos soluciones anteriores, definida por
Aunque esta expresión no está definida para el entero b , tiene la ventaja de que puede extenderse a cualquier entero b por continuidad. A diferencia de la función de Kummer, que es una función completa de z , U ( z ) generalmente tiene una singularidad en cero. Por ejemplo, si b = 0 y a ≠ 0 entonces Γ ( a +1) U ( a , b , z ) - 1 es asintótico a az ln z cuando z va a cero. Pero consulte # Casos especiales para ver algunos ejemplos en los que es una función completa (polinomio).
Tenga en cuenta que la solución z 1− b M ( a + 1 - b , 2 - b , z ) de la ecuación de Kummer es la misma que la solución U ( a , b , z ) , consulte la # transformación de Kummer .
Para la mayoría de combinaciones de real o complejo una y b , las funciones M ( a , b , z ) y U ( un , b , z ) son independientes, y si b es un número entero no positivo, de modo M ( un , b , z ) no existe, entonces podemos usar z 1− b M ( a + 1− b , 2− b , z ) como una segunda solución. Pero si a es un número entero no positivo y b no es un número entero no positivo, entonces U ( z ) es un múltiplo de M ( z ) . En ese caso también, z 1− b M ( a + 1− b , 2− b , z ) se puede usar como una segunda solución si existe y es diferente. Pero cuando b es un número entero mayor que 1, esta solución no existe, y si b = 1 entonces existe pero es un múltiplo de U ( a , b , z ) y de M ( a , b , z ) En esos En los casos en que existe una segunda solución de la siguiente forma y es válida para cualquier real o complejo a y cualquier entero positivo b, excepto cuando a es un entero positivo menor que b :
Cuando a = 0 podemos usar alternativamente:
Cuando b = 1, esta es la integral exponencial E 1 ( −z ) .
Un problema similar ocurre cuando a - b es un número entero negativo y b es un número entero menor que 1. En este caso M ( a , b , z ) no existe, y U ( a , b , z ) es un múltiplo de z 1− b M ( a + 1− b , 2− b , z ). Entonces, una segunda solución tiene la forma:
Otras ecuaciones
Las funciones hipergeométricas confluentes se pueden utilizar para resolver la ecuación hipergeométrica confluente extendida cuya forma general se da como:
Tenga en cuenta que para M = 0 o cuando la suma implica solo un término, se reduce a la ecuación hipergeométrica confluente convencional.
Por lo tanto, las funciones hipergeométricas confluentes se pueden utilizar para resolver "la mayoría" de las ecuaciones diferenciales ordinarias de segundo orden cuyos coeficientes variables son todas funciones lineales de z , porque pueden transformarse a la ecuación hipergeométrica confluente extendida. Considere la ecuación:
Primero, movemos el punto singular regular a 0 usando la sustitución de A + Bz ↦ z , que convierte la ecuación a:
con nuevos valores de C, D, E , y F . A continuación usamos la sustitución:
y multiplicar la ecuación por el mismo factor, obteniendo:
cuya solución es
donde w ( z ) es una solución a la ecuación de Kummer con
Tenga en cuenta que la raíz cuadrada puede dar un número imaginario o complejo. Si es cero, se debe utilizar otra solución, a saber
donde w ( z ) es una función límite hipergeométrica confluente que satisface
Como se indica a continuación, incluso la ecuación de Bessel se puede resolver utilizando funciones hipergeométricas confluentes.
Representaciones integrales
Si Re b > Re a > 0 , M ( a , b , z ) se puede representar como una integral
por tanto, M ( a , a + b , it ) es la función característica de la distribución beta . Para a con parte real positiva, U se puede obtener mediante la integral de Laplace
La integral define una solución en el semiplano derecho 0
También se pueden representar como integrales de Barnes.
donde el contorno pasa a un lado de los polos de Γ (- s ) y al otro lado de los polos de Γ ( a + s ) .
Comportamiento asintótico
Si una solución de la ecuación de Kummer es asintótica a una potencia de z cuando z → ∞ , entonces la potencia debe ser - a . Este es de hecho el caso de la solución de Tricomi U ( a , b , z ) . Su comportamiento asintótico como z → ∞ se puede deducir de las representaciones integrales. Si z = x ∈ R , entonces hacer un cambio de variables en la integral seguido de expandir la serie binomial e integrarla formalmente término por término da lugar a una expansión de serie asintótica , válida como x → ∞ : [2]
dónde es una serie hipergeométrica generalizada con 1 como término principal, que generalmente no converge en ninguna parte, pero existe como una serie de potencias formales en 1 / x . Esta expansión asintótica también es válida para z complejo en lugar de x real , con | arg z | <3 π / 2.
El comportamiento asintótico de la solución de Kummer para grandes | z | es:
Las potencias de z se toman usando −3 π / 2
Siempre hay alguna solución para la ecuación de Kummer asintótica en e z z a - b cuando z → −∞ . Por lo general, será una combinación de M ( a , b , z ) y U ( a , b , z ), pero también se puede expresar como e z (−1) a - b U ( b - a , b , - z ) .
Relaciones
Hay muchas relaciones entre las funciones de Kummer para varios argumentos y sus derivadas. Esta sección ofrece algunos ejemplos típicos.
Relaciones contiguas
Dado M ( a , b , z ) , las cuatro funciones M ( a ± 1, b , z ), M ( a , b ± 1, z ) se llaman contiguas a M ( a , b , z ) . La función M ( a , b , z ) puede ser escrita como una combinación lineal de dos cualquiera de sus funciones contiguas, con coeficientes racionales en términos de a, b , y z . Esto da (4
2) = 6 relaciones, dadas al identificar dos líneas cualesquiera en el lado derecho de
En la notación anterior, M = M ( a , b , z ) , M ( a +) = M ( a + 1, b , z ) , y así sucesivamente.
La aplicación repetida de estas relaciones da una relación lineal entre tres funciones cualesquiera de la forma M ( a + m , b + n , z ) (y sus derivadas superiores), donde m , n son números enteros.
Existen relaciones similares para T .
La transformación de Kummer
Las funciones de Kummer también están relacionadas por las transformaciones de Kummer:
- .
Teorema de multiplicación
Los siguientes teoremas de la multiplicación son ciertos:
Conexión con polinomios de Laguerre y representaciones similares
En términos de polinomios de Laguerre , las funciones de Kummer tienen varias expansiones, por ejemplo
- ( Erdélyi et al. 1953 , 6.12).
Casos especiales
Las funciones que se pueden expresar como casos especiales de la función hipergeométrica confluente incluyen:
- Algunas funciones elementales donde el lado izquierdo no está definido cuando b es un número entero no positivo, pero el lado derecho sigue siendo una solución de la ecuación de Kummer correspondiente:
- (un polinomio si a es un número entero no positivo)
- para el entero no positivo n es un polinomio de Laguerre generalizado .
- para un entero no positivo n es un múltiplo de un polinomio de Laguerre generalizado, igual a cuando este último existe.
- cuando n es un entero positivo es una forma cerrada con potencias de z , igual a cuando este último existe.
- para el entero no negativo n es un polinomio de Bessel (ver más abajo).
- etc.
- Usando la relación contigua obtenemos, por ejemplo,
- Función de Bateman
- Funciones de Bessel y muchas funciones relacionadas, como funciones de Airy , funciones de Kelvin , funciones de Hankel . Por ejemplo, en el caso especial b = 2 a, la función se reduce a una función de Bessel :
- Esta identidad a veces también se conoce como la segunda transformación de Kummer . similar
- Cuando a es un número entero no positivo, esto es igual a 2 - a θ - a ( x / 2) donde θ es un polinomio de Bessel .
- La función de error se puede expresar como
- Función de onda de Coulomb
- Funciones de Cunningham
- Integral exponencial y funciones relacionadas como la integral de seno , integral logarítmica
- Polinomios de Hermite
- Función gamma incompleta
- Polinomios de Laguerre
- Función de cilindro parabólico (o función de Weber)
- Función de Poisson-Charlier
- Funciones de Toronto
- Las funciones de Whittaker M κ, μ ( z ), W κ, μ ( z ) son soluciones de la ecuación de Whittaker que se pueden expresar en términos de funciones de Kummer M y U por
- El p -ésimo momento bruto general ( p no necesariamente un número entero) se puede expresar como [4]
- En la segunda fórmula, el corte de la segunda rama de la función se puede elegir multiplicando con (−1) p .
Aplicación a fracciones continuas
Al aplicar un argumento limitante a la fracción continua de Gauss, se puede demostrar que
y que esta fracción continua converge uniformemente a una función meromórfica de z en cada dominio acotado que no incluye un polo.
Notas
- ^ Campos, LMBC (2001). "Sobre algunas soluciones de la ecuación diferencial hipergeométrica confluente extendida" . Revista de Matemática Computacional y Aplicada . Elsevier. 137 : 177-200. doi : 10.1016 / s0377-0427 (00) 00706-8 .
- ^ Andrews, GE; Askey, R .; Roy, R. (2001). Funciones especiales . Prensa de la Universidad de Cambridge. ISBN 978-0521789882..
- ↑ Esto se deriva de Abramowitz y Stegun (ver la referencia más abajo), página 508 , donde se da una serie asintótica completa. Cambian el signo del exponente en exp ( iπa ) en el semiplano derecho, pero esto no tiene importancia, ya que el término es insignificante allí o, de lo contrario, a es un número entero y el signo no importa.
- ^ "Aspectos de la teoría estadística multivariante | Wiley" . Wiley.com . Consultado el 23 de enero de 2021 .
Referencias
- Abramowitz, Milton ; Stegun, Irene Ann , eds. (1983) [junio de 1964]. "Capítulo 13" . Manual de funciones matemáticas con fórmulas, gráficos y tablas matemáticas . Serie de Matemáticas Aplicadas. 55 (Novena reimpresión con correcciones adicionales de la décima impresión original con correcciones (diciembre de 1972); primera ed.). Washington DC; Nueva York: Departamento de Comercio de los Estados Unidos, Oficina Nacional de Normas; Publicaciones de Dover. pag. 504. ISBN 978-0-486-61272-0. LCCN 64-60036 . Señor 0167642 . LCCN 65-12253 .
- Chistova, EA (2001) [1994], "Función hipergeométrica confluente" , Enciclopedia de las matemáticas , EMS Press
- Daalhuis, Adri B. Olde (2010), "Función hipergeométrica confluente" , en Olver, Frank WJ ; Lozier, Daniel M .; Boisvert, Ronald F .; Clark, Charles W. (eds.), Manual de funciones matemáticas del NIST , Cambridge University Press, ISBN 978-0-521-19225-5, MR 2723248
- Erdélyi, Arthur ; Magnus, Wilhelm ; Oberhettinger, Fritz y Tricomi, Francesco G. (1953). Funciones trascendentales superiores. Vol. Yo . Nueva York – Toronto – Londres: McGraw – Hill Book Company, Inc. MR 0058756 .
- Kummer, Ernst Eduard (1837). "De integralibus quibusdam definitis et seriebus infinitis" . Journal für die reine und angewandte Mathematik (en latín). 1837 (17): 228–242. doi : 10.1515 / crll.1837.17.228 . ISSN 0075-4102 . S2CID 121351583 .
- Slater, Lucy Joan (1960). Funciones hipergeométricas confluentes . Cambridge, Reino Unido: Cambridge University Press. Señor 0107026 .
- Tricomi, Francesco G. (1947). "Sulle funzioni ipergeometriche confluenti". Annali di Matematica Pura ed Applicata . Serie 4 (en italiano). 26 : 141-175. doi : 10.1007 / bf02415375 . ISSN 0003-4622 . Señor 0029451 . S2CID 119860549 .
- Tricomi, Francesco G. (1954). Funzioni ipergeometriche confluenti . Consiglio Nazionale Delle Ricerche Monografie Matematiche (en italiano). 1 . Roma: Edizioni cremonese. ISBN 978-88-7083-449-9. Señor 0076936 .
- Oldham, KB; Myland, J .; Spanier, J. (2010). Atlas de funciones: con Equator, la calculadora de funciones Atlas . Atlas de funciones. Springer Nueva York. ISBN 978-0-387-48807-3. Consultado el 23 de agosto de 2017 .
enlaces externos
- Funciones hipergeométricas confluentes en la biblioteca digital de funciones matemáticas del NIST
- Función hipergeométrica de Kummer en el sitio de Wolfram Functions
- Función hipergeométrica Tricomi en el sitio de Wolfram Functions