Fonction hypergéométrique confluente
La fonction hypergéométrique confluente (ou fonction de Kummer) est : où désigne le symbole de Pochhammer.
Elle est solution de l'équation différentielle d'ordre deux :
Les fonctions de Bessel, la fonction gamma incomplète, les fonctions cylindre parabolique (en) ou encore les polynômes d'Hermite et les polynômes de Laguerre peuvent être représentés à l'aide de fonctions hypergéométriques confluentes (cf. Slater). Whittaker a introduit des fonctions et qui sont également liées aux fonctions hypergéométriques confluentes.
Résolution de l'équation différentielle
L'équation peut être résolue à l'aide de la méthode de Frobenius, on choisit l'ansatz :
Il vient l’équation :
qui devient
- .
Comme le coefficient devant ne peut pas être annulé par un membre de la somme, il doit être nul, ainsi on trouve que . On peut donc trouver une relation de récurrence entre les coefficients :
- .
On choisit et on trouve par exemple,:
- ,
et finalement qui est bien la fonction hypergéométrique.
Bibliographie
- Edmund Taylor Whittaker, An expression of certain known functions as generalized hypergeometric functions, Bull. Amer. Math. Soc. Volume 10, Number 3 (1903), 125-134.
- Lucy Joan Slater, Confluent hypergeometric functions in Handbook of Mathematical Functions, M. Abramowitz and I. Stegun (eds.) p. 503 (U.S. Government Printing Office, Washington, 1964)
- Francesco Giacomo Tricomi (en), Fonctions hypergéométriques confluentes, Mémorial des sciences mathématiques, n° 140 (Gauthier-Villars, 1960)