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 :
Elle est aussi définie par :
Les fonctions de Bessel, la fonction gamma incomplète, les f.g.m. des distributions Bêta et Bêta prime , 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.
Deuxième solution
L'équation différentielle de Kummer étant du second degré, elle admet deux solutions (et toutes leurs combinaisons linéaires). La deuxième solution est
Tricomi (en) a calculé une combinaison linéaire indépendante de qu'il a notée
.
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)