vignette|Graphe d'une fonction hypergéométrique dans le plan complexe. En mathématiques, le terme de fonction hypergéométrique, parfois sous le nom « fonction hypergéométrique de Gauss », désigne généralement une fonction spéciale particulière, dépendant de trois paramètres , , , notée , parfois notée sans indice quand il n'y a pas d'ambigüité, et qui s'exprime sous la forme de la série hypergéométrique (lorsque celle-ci converge). Selon les valeurs prises par les paramètres, cette fonction correspond à de nombreuses fonctions usuelles ou spéciales, notamment des polynômes orthogonaux. La fonction hypergéométrique est en fait un cas particulier de la fonction hypergéométrique généralisée .
La fonction hypergéométrique est également solution d'une équation différentielle complexe linéaire du second ordre, dite hypergéométrique, comprenant trois points singuliers réguliers. Toute équation différentielle linéaire du second ordre comprenant également trois points singuliers réguliers peut se ramener à cette équation, chap. 15, ..
Aspects historiques Le premier usage du terme « série hypergéométrique » est dû à John Wallis dans son ouvrage publié en 1656. Ce terme apparaît dans la scholie à la proposition 190 de son livreD'après citant , eux-mêmes citant un commentaire de Carl Boehm sur E47., où il considère des séries du type :
dans lesquelles chaque terme, au lieu d'être multiplié par une « raison » constante comme dans la série géométrique usuelle, l'est par une valeur variant avec le terme considéré, d'où le qualificatif de « hypergéométrique », le préfixe d'origine grecque hyper- signifiant « supérieur à ».
Leonhard Euler a poursuivi l'étude de ce type de série, toutefois c'est à Gauss que l'on doit le premier traitement systématique de ce qui est appelée aujourd'hui la série hypergéométrique, et l'introduction de la notation pour désigner la fonction correspondante, dite hypergéométrique..
Au cours du , les études sur la fonction hypergéométrique se poursuivent, avec notamment les travaux de Ernst Kummer. et de Bernhard Riemann, qui introduit et étudie l'équation différentielle qu'elle satisfait.. Riemann montre notamment que l'équation différentielle dont est solution , étudiée dans le plan complexe, peut être caractérisée par ses trois singularités régulières en , et .
Définitions et propriétés générales Classiquement, il est possible de définir de deux façons, soit à partir de développement en série entière, qui constitue une série particulière dite hypergéométrique, soit à partir de l'équation différentielle linéaire d'ordre 2 qu'elle vérifie.
Définition à partir de la série hypergéométrique La fonction hypergéométrique peut être définie pour tout par la série, dite hypergéométrique : .
La notation représentant la factorielle croissante ou symbole de Pochhammer, donné par :
Les paramètres sont en général complexes. Si est un entier négatif ou nul, soit avec il est clair que devient nul dès que , donc la série est divergentePlus précisément, son rayon de convergence est nul..
Par ailleurs, de la même façon, la série ne comprend qu'un nombre fini de termes si ou est un entier négatif. Dans ce cas, la fonction se réduit à un polynôme. Par exemple, si : .
L'équation différentielle hypergéométrique La fonction hypergéométrique est solution de l'équation différentielle linéaire homogène du second ordre : .
Celle-ci comporte trois points singuliers réguliers en , et Pour ce dernier point, il faut effectuer le changement de variable dans l'équation différentielle, et considérer la limite quand ., et toute équation différentielle linéaire du second ordre ayant trois points singuliers réguliers peut être ramenée à cette équation.
La recherche d'une solution sous forme de série entières (méthode de Frobenius) de la forme conduit à la relation de récurrence : , pour tout . En fixant , on obtient la série hypergéométrique ci-dessus.
Formule intégrale La fonction a plusieurs représentations intégrales, dont celle donnée par Euler en 1748 : désignant la fonction bêta, si alors
,
pour tout tel que , ou tel que et que les deux membres convergent. Elle peut se démontrer en développant par la formule du binôme généralisée puis en intégrant terme à terme.
Si de plus , on en déduit (cas ) le théorème hypergéométrique de Gauss. :
,
dont l'identité de Chu-Vandermonde est elle-même un cas particulier.
Cas particuliers De nombreuses fonctions usuelles peuvent s'exprimer à partir de la fonction hypergéométrique, par exemple :
.
La fonction hypergéométrique confluente (ou fonction de Kummer) correspond à un cas limite (dégénéré) de la fonction hypergéométrique : .
Plus précisément, cela revient à effectuer d'abord dans l'équation différentielle le changement de variable . L'équation différentielle devient alors : , laquelle admet toujours trois points singuliers réguliers en , et : le point singulier régulier en est en fait « déplacé » en . Si l'on prend ensuite la limite quand , il y a « confluence » des deux points singuliers réguliers en et , en un point singulier irrégulier en , l'équation différentielle devenant à la limite : , dont la fonction hypergéométrique confluente est une solution.
Les fonctions de Legendre sont solutions d'une équation différentielle linéaire du second ordre ayant 3 points singuliers réguliers ; par suite, elles peuvent s'exprimer en fonction de de multiples façons, par exemple : .
Certains polynômes orthogonaux, dont les polynômes de Jacobi et leurs cas particuliers les polynômes de Legendre, de Tchebychev et de Gegenbauer, peuvent s'écrire en termes de fonctions hypergéométriques en utilisant que
.
D'autres polynômes qui sont des cas particuliers incluent les , de Meixner et .
Les fonctions modulaires elliptiques peuvent parfois s'exprimer comme fonctions réciproques d'un quotient de deux fonctions hypergéométriques dont les arguments sont 1, 1/2, 1/3… ou 0. Par exemple, si
alors
est une fonction modulaire elliptique de .
Les fonctions bêta incomplètes sont reliées par
.
Les intégrales elliptiques complètes et sont données par .
Notes et références
Notes
Références
Voir aussi Fonction hypergéometrique d'un argument matriciel Identité hypergéométrique
Bibliographie Paul Appell et Joseph Kampé de Fériet, Fonctions hypergéométriques et hypersphériques, Gauthier-Villars, Paris, 1926 Daniel Duverney, Introduction aux fonctions hypergéométriques, Ellipses, 2020 Édouard Goursat, Leçons sur les séries hypergéométriques et sur quelques fonctions qui s'y rattachent, coll. « Actualités scientifiques et industrielles » (n° 333), Hermann, 1936 R. Groux et P. Soulat, Les fonctions spéciales vues par les problèmes, Éditions Cépaduès, 2009 Joseph Kampé de Fériet, La fonction hypergéométrique, coll. « Mémorial des sciences mathématiques » (n° 85), Gauthier-Villars, 1937 Pascal Maroni, Fonctions hypergéométriques - Fonctions de Bessel, Techniques de l'ingénieur, Document A160, 1997 Alfred Pringsheim et Georg Faber, « Séries hypergéométriques », dans Jules Molk (éd.), Encyclopédie des sciences mathématiques pures et appliquées, , vol. 2, Gauthier-Villars, 1911 (Fonctions de variables complexes, ) James B. Seaborn, Hypergeometric Functions and Their Applications, Texts in Applied Mathematics, vol. 8, Springer, 1991
* Hypergeometrique Catégorie:Carl Friedrich Gauss