Série hypergéométrique

En mathématiques, une série hypergéométrique est la somme d'une suite de termes tels que le quotient du terme d'indice k+1 par le terme d'indice k est une fonction rationnelle de k.

La série, lorsqu'elle converge, définit une fonction hypergéométrique qui peut ensuite être étendue à un domaine plus grand par prolongement analytique. On écrit généralement la série hypergéométrique comme suit :

$\,_pF_q(a_1,\ldots,a_p;b_1,\ldots,b_q;x)=\sum_{k=0}^\infty c_k x^k$

où $c 0$ =1 et

$\frac{c_{k+1}}{c_k}=\frac{(k+a_1)(k+a_2)\cdots(k+a_p)}{(k+b_1)(k+b_2)\cdots(k+b_q)}\,\frac{1}{k+1}$ .

On peut aussi l'écrire :

$\,_pF_q(a_1, \ldots, a_p ; b_1, \ldots ,b_q ; x) = \sum_{k = 0}^\infty \frac{ (a_1)_k (a_2)_k \ldots (a_p)_k }{ (b_1)_k (b_2)_k \ldots (b_q)_k } \, \frac{x^k}{k!}$

où $(a)_k = a(a+1) \ldots (a+k-1) = \frac{ (a+k-1)! }{ (a - 1)! }$ est la « factorielle croissante » ou symbole de Pochhammer.

Introduction

Une serie hypergéométrique est une série formelle dans laquelle le quotient des coefficients successifs $\alpha_n/\alpha_{n-1}\,$ est une fraction rationnelle de n : il existe des polynômes $\tilde P(n)$ et $\tilde Q(n)$ tels que

$\frac{\alpha_n}{\alpha_{n-1}} = \frac{\tilde P(n)}{\tilde Q(n)}$

Ainsi, par exemple, dans le cas d'une série géométrique, ce quotient est une constante. Un autre exemple est la série de Taylor de la fonction exponentielle où

$\alpha_n/\alpha_{n-1}=z/n\,.$

En pratique, la série est écrite comme une série génératrice exponentielle, en modifiant les coefficients pour que le terme général de la série soit de la forme

$\alpha_n = \beta_n z^n /n!\,$

et $β 0 = 1$ . Ici la variable z correspond à une constante dans le quotient $\tilde P/\tilde Q$ . On va se servir de la fonction exponentielle comme modèle pour la suite.

De nombreuses suites intéressantes en mathématiques ont la propriété que le quotient de deux termes successifs est une fraction rationnelle. Cependant, lorsqu'on les encode dans une série génératrice exponentielle, celle-ci a un rayon de convergence non nul seulement sous certaines conditions. Par convention, le terme de série hypergéométrique est d'ordinaire réservé au cas où la série définit une vraie fonction analytique avec un rayon de convergence strictement positif. Une telle fonction et son prolongement analytique éventuel est appelée une fonction hypergéométrique.

Des conditions de convergence ont été données par Carl Friedrich Gauss, dans le cas de

$\frac{\beta_n}{\beta_{n-1}} = \frac{(n+a)(n+b)}{(n+c)}$ ,

qui correspond à la série hypergéométrique standard classique

$\,_2F_1(a,b;c;z).$

Notation

La notation standard pour la série hypergéométrique générale est

$\,_mF_p$ ,

où les entiers m et p sont les degrés des polynômes P et Q dans le quotient

$\frac{\beta_n}{\beta_{n-1}} = \frac{P(n)}{Q(n)}.$

Si m>p+1, le rayon de convergence est nul et il n'y a pas de fonction analytique associée. La série se termine au bout d'un nombre fini de termes si jamais P(n) s'annule en un entier naturel n. Si Q(n) est nul, les termes de la suite ne sont pas définis.

La notation complète pour F suppose que P et Q sont unitaires et factorisés, de telle sorte qu'elle comprend un m-uplet qui est la liste des zéros de P et un p-uplet pour ceux de Q. Par le théorême fondamental de l'algèbre, ceci n'est pas vraiment une restriction. Par ailleurs, on peut aussi absorber les coefficients dominants de P ou Q en changeant z. Sous cette forme, le terme général de la suite est un produit de quotients de symboles de Pochhammer. Comme la notation de Pochhammer pour les factorielles ascendantes est traditionnelle, il est plus commode d'indexer F par les listes des opposés des zéros de P et Q. Ainsi, on a

$\,_2F_1 (a,b;c;z) = \sum_{n=0}^\infty \frac{(a)_n(b)_n}{(c)_n} \, \frac {z^n} {n!}$

où $(a)_n=a(a+1)(a+2)...(a+n-1)\,$ est la « factorielle croissante » ou symbole de Pochhammer. Dans cet exemple, les zéros de P sont −a et −b, et le zéro de Q est −c.

Cas particuliers et applications

Les polynômes orthogonaux classiques s'expriment tous comme des cas particuliers de $2 F 1$ avec au moins un des paramètres a et b entier négatif. De même, les fonctions de Legendre (en) sont aussi des cas particuliers.

Les applications des séries hypergéométriques comprennent aussi l'inversion des intégrales elliptiques.

La fonction de Kummer ₁F₁(a,b;x) est une fonction hypergéométrique confluente.

La fonction $2 F 1$ a plusieurs representations intégrales, dont celle donnée par Euler en 1748 : $Β$ désignant la fonction bêta, si $\operatorname{Re}(c) > \operatorname{Re}(b) > 0$ alors

$\Beta(b,c-b)\,_2F_1(a,b;c;z) = \int_0^1 x^{b-1} (1-x)^{c-b-1}(1-zx)^{-a}~\mathrm dx,$

pour tout z tel que |z| < 1, ou tel que |z| = 1 et que les deux membres convergent. Elle peut se démontrer en développant (1 − zx)^−a par la formule du binôme généralisée puis en intégrant terme à terme.

Histoire et généralisations

Les travaux du XIX^e siècle comprennent ceux de Ernst Kummer et la caractérisation fondamentale par Bernhard Riemann de la fonction F par le biais de l'équation différentielle qu'elle vérifie. Riemann a démontré que l'équation différentielle du second ordre (en la variable z) pour F, considérée dans le plan complexe, pouvait être caractérisée (sur la sphère de Riemann) par ses trois singularités régulières (en) : que toute la partie algorithmique de la théorie était une conséquence de résultats de base et de l'usage des transformations de Möbius comme groupe de symétrie.

Par la suite, les séries hypergéométriques ont été généralisées au cas de plusieurs variables complexes, par exemple par Paul Appell, mais une théorie générale comparable a mis du temps à apparaître. De nombreuses identités ont été découvertes, dont quelques unes remarquables. Des analogues avec un paramètre q ont été trouvées. Durant le XX^e siècle, les fonctions hypergéométriques ont formé une partie active des mathématiques combinatoires, avec de nombreuses interactions avec les autres domaines. Il y a plusieurs définitions nouvelles de généralisations des fonctions hypergéométriques, notamment par Kazuhiko Aomoto et Israel Gelfand. Il y a des applications à la combinatoire des arrangements d'hyperplans.

On peut définir des séries hypergéométriques sur des espaces symétriques riemanniens et sur des groupes de Lie semi-simples. Leur importance transparait dans l'exemple suivant : la série hypergéométrique ₂F₁ est très proche des polynômes de Legendre et exprime, vue comme harmonique sphérique, les propriétés de symétrie de la sphère de Riemann.

Bibliographie

Édouard Goursat, « Mémoire sur les fonctions hypergéométriques d'ordre supérieur », dans Annales scientifiques de l'École Normale Supérieure, Sér. 2, vol. 12, 1883,
- p. 261-286
- (seconde partie), p. 395-430
A. Pringsheim et G. Faber Séries hypergéométriques dans Encyclopédie des sciences mathématiques pures et appliquées. Jules Molk (éd.) Tome II. Deuxième volume, Fonctions de variables complexes pp. 91-93 (Gauthier-Villars, 1911)
É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)
Joseph Kampé de Fériet, La fonction hypergéométrique, coll. Mémorial des sciences mathématiques, n° 85 (Gauthier-Villars, 1937)

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Hypergeometric function » (voir la liste des auteurs)

Voir aussi

Regardez d'autres dictionnaires:

Serie hypergeometrique — Série hypergéométrique En mathématiques, une série hypergéométrique est la somme d une suite de termes tels que le quotient du terme d indice k+1 par le terme d indice k est une fonction rationnelle de k. La série, lorsqu elle converge, définit… … Wikipédia en Français
Série hypergéometrique — Série hypergéométrique En mathématiques, une série hypergéométrique est la somme d une suite de termes tels que le quotient du terme d indice k+1 par le terme d indice k est une fonction rationnelle de k. La série, lorsqu elle converge, définit… … Wikipédia en Français
série hypergéométrique — hipergeometrinė eilutė statusas T sritis fizika atitikmenys: angl. hypergeometric series vok. hypergeometrische Reihe, f rus. гипергеометрический ряд, m pranc. série hypergéométrique, f … Fizikos terminų žodynas
hypergéométrique — (entrée créée par le supplément) (i pèr jé o mé tri k ) adj. Terme de mathématique. Série hypergéométrique, série dont les termes se déduisent les uns des autres suivant une loi plus compliquée que celle qui donne naissance à la progression… … Dictionnaire de la Langue Française d'Émile Littré
Fonction hypergéométrique — Série hypergéométrique En mathématiques, une série hypergéométrique est la somme d une suite de termes tels que le quotient du terme d indice k+1 par le terme d indice k est une fonction rationnelle de k. La série, lorsqu elle converge, définit… … Wikipédia en Français
Identité hypergéométrique — Une identité hypergéométrique est un résultat sur des sommes de termes d une série hypergéométrique. De telles identités apparaissent fréquemment dans des problèmes de combinatoire et d analyse d algorithme. Les premières identités ont été… … Wikipédia en Français
Projet:Mathématiques/Liste des articles de mathématiques — Cette page n est plus mise à jour depuis l arrêt de DumZiBoT. Pour demander sa remise en service, faire une requête sur WP:RBOT Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou… … Wikipédia en Français
hyper- — ♦ Élément, du gr. huper « au dessus, au delà », qui exprime l exagération, l excès, le plus haut degré, soit dans des composés empruntés au grec ou au latin, soit dans des formations françaises, savantes ou familières. ⇒ super . REM. Hyper sert à … Encyclopédie Universelle
Liste des articles de mathematiques — Projet:Mathématiques/Liste des articles de mathématiques Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou probabilités et statistiques via l un des trois bandeaux suivants … Wikipédia en Français
Identite de Vandermonde — Identité de Vandermonde En mathématiques combinatoires, l identité de Vandermonde, nommée d après Alexandre Théophile Vandermonde, affirme que Sommaire 1 Preuve 1.1 Algébrique … Wikipédia en Français

Dictionnaires et Encyclopédies sur 'Academic'

Série hypergéométrique

Sommaire

Introduction

Notation

Cas particuliers et applications

Histoire et généralisations

Bibliographie

Voir aussi

Article connexe

Regardez d'autres dictionnaires:

Share the article and excerpts

Dictionnaires et Encyclopédies sur 'Academic'

Wikipédia en Français

Série hypergéométrique

Sommaire

Introduction

Notation

Cas particuliers et applications

Histoire et généralisations

Bibliographie

Voir aussi

Article connexe

Regardez d'autres dictionnaires:

Share the article and excerpts

Direct link