Approximant de Padé de la fonction exponentielle
En mathématiques, un approximant de Padé de la fonction exponentielle est une fraction rationnelle h(x)/k(x), où h(x) désigne un polynôme de degré p et k(x) de degré q, telle que le développement limité de la fraction à l'ordre p + q soit identique à celui de l'exponentielle. L'étude de cette question est l'exemple introductif choisi par Henri Padé pour la théorie des approximants portant son nom.
L'existence de suites de fractions rationnelles ayant pour limite l'exponentielle est une question déjà abordée avant les travaux de Padé. Leonhard Euler ouvre le bal avec deux expressions dont l'une fournit le développement en fraction continue infinie de e, prouvant ainsi son irrationalité ; Jean-Henri Lambert démontre plus rigoureusement ce développement, Joseph-Louis Lagrange en trouve deux autres[1] et Carl Friedrich Gauss encore un[2].
Le travail de Padé consiste à généraliser ces travaux précédents en vue d'illustrer par un exemple une théorie générale s'appliquant à toute fonction analytique. Il traite cette question sous quatre aspects : il montre l'existence d'un approximant de Padé d'indice (p, q), établit les relations de récurrence permettant de déterminer un approximant d'ordre supérieur, en déduit les différentes expressions sous forme de fractions continues (généralisées) de l'exponentielle et montre la convergence uniforme de certaines suites d'approximants.
La présentation ici correspond à une reformulation[3] de 1899 et un enrichissement d'une partie de son travail de thèse[4].
Réduite de la fonction exponentielle
Dans la suite de l'article, p et q désignent deux entiers positifs. Le premier résultat établit l'existence et l'unicité, à un facteur multiplicatif près, de deux polynômes hp,q et kp,q de degrés respectifs p et q, tels que :
- Les développements en séries entières au point 0 de la fraction rationnelle hp,q/kp,q et de la fonction exponentielle coïncident sur les p + q + 1 premiers termes.
Une telle fraction rationnelle est appelée « approximant de Padé ». Pour établir ce résultat, le mathématicien se fonde sur l'expression suivante d'une primitive de etxf(x) où t est un paramètre, x la variable et f un polynôme dont le degré est noté n :
Il en déduit les expressions suivantes :
La configuration présente de nombreuses analogies avec les fractions continues, ce qui justifie la définition suivante :
- La fraction rationnelle hp,q/kp,q est appelée réduite d'ordre ou d'indice (p, q) de la fonction exponentielle.
On dispose de propriétés comme :
- si (r, s) est égal à (p + 1, q), (p, q + 1) ou (p + 1, q + 1), alors hp,qkr, s – hr, skp,q est un monôme (non nul) de degré p + q + 1 ;
- les deux polynômes hp,q et kp,q sont uniques (à normalisation près) et premiers entre eux.
Table de Padé
Ainsi, la fonction exponentielle s'approxime par des fractions rationnelles, de manière un peu analogue à l'approximation par des polynômes avec les séries entières. Si les polynômes forment une suite, les approximants de Padé définissent un tableau à double entrée appelé table de Padé (en), dans lequel l'approximant d'indice (p, q) figure dans la colonne p et la ligne q. Les premiers termes sont les suivants[5] :
Table de Padé | 0 | 1 | 2 | 3 | … |
---|---|---|---|---|---|
0 | … | ||||
1 | … | ||||
2 | … | ||||
3 | … | ||||
… | … | … | … | … | … |
La première ligne horizontale correspond au développement en série entière. Les lignes diagonales définies par l'égalité p + q = C, où C est une constante positive donnée, correspondent à un ensemble de fractions rationnelles dite droite d'égale approximation. On y trouve par exemple, si C est égal à 2, les couples (2,0), (1,1) et (0,2). Une fraction rationnelle de la table est dite plus avancée qu'une autre lorsque son coefficient C est plus élevé.
Le graphique suivant illustre la convergence de différentes suites extraites de la table de Padé. Ici la notation Exp[p,q]
désigne l'approximant d'indice (p, q). La fonction exponentielle, notée Exp
, est illustrée en rouge. La première ligne du tableau correspond à la suite des polynômes de la série entière. Elle est illustrée en bleu et correspond à la suite Exp[1,0]
, Exp[2,0]
, Exp[3,0]
, etc. En vert et pointillé est illustrée la suite correspondant à la deuxième ligne de la table, elle est formée des approximants Exp[0,1]
, Exp[1,1]
, Exp[2,1]
, Exp[3,1]
, etc. En violet, on trouve les fractions de la diagonale : Exp[1,1]
, Exp[2,2]
, Exp[3,3]
, etc.
Formule de récurrence
Padé cherche ensuite à obtenir des suites à partir de sa table. Si (pn) et (qn) sont deux suites croissantes de couples d'indices, l'objectif est d'exprimer par récurrence la suite des « réduites » — déjà calculées — d'indice (pn, qn), pour comprendre le cas général. Cette récurrence est aussi une étape pour exprimer la fonction exponentielle sous forme de fractions continues généralisées, justifiant ainsi le nom de « réduites » pour ces approximants. L'exemple illustré par la figure de droite est utilisé par Lagrange pour obtenir un résultat de cette nature. Dans cet exemple, si fn(x) désigne le n-ième terme de la suite, on a :
puis :
Padé n'étudie l'incrémentation des indices (pn+1 – pn, qn+1 – qn) que dans les trois cas les plus simples : (1,0), (0,1) et (1,1). Le premier cas correspond à un déplacement horizontal d'une case, le deuxième à un déplacement vertical d'une case et le troisième à la conjonction des deux. Cette restriction lui permet d'obtenir des relations de récurrence :
- Soit (fn) une suite de réduites dont le couple de la différence des indices entre fn+1 et fn correspond toujours à l'un des trois cas (1,0), (0,1) ou (1,1), alors il existe une relation de récurrence de type :
- où αn+2 désigne un monôme (non nul) de degré 1 ou 2, et βn+2 un polynôme de degré 0 ou 1 et de terme constant égal à 1.
Le tableau suivant résume les trois configurations possibles :
Les flèches rouges indiquent les incréments utilisés pour passer de fn(x) à fn+1(x). Pour les deux premières configurations, ils correspondent à (1,0) ou (0,1), c'est-à-dire que soit le degré du numérateur, soit celui du dénominateur est incrémenté de 1 ; pour la dernière, ils sont tous deux incrémentés de 1. Les flèches vertes indiquent les incréments utilisés pour passer de fn+1 à fn+2. L'illustration précédente indique le degré des deux polynômes αn+2(x) et βn+2(x) utilisés pour exprimer la formule de récurrence. Pour la configuration 3, le seul cas où βn(x) est une constante est celui où fn(x), fn+1(x) et fn+2(x) se trouvent sur la diagonale principale, d'indice un couple (p, p).
Fraction continue
La relation de récurrence permet d'écrire un approximant de Padé sous forme de fraction continue, en partant d'un bord du tableau. Plus précisément :
où les polynômes αn et βn sont définis pour n ≥ 2 par les relations du paragraphe précédent et pour n égal à 0 ou 1, par les choix suivants :
(Si p0 et q0 sont tous les deux nuls, on fait le choix menant à l'expression la plus simple : cf. exemples ci-dessous.)
La fraction continue est dite régulière si les polynômes αj pour j > 1 sont tous de même degré, ainsi que les polynômes βj. Les tableaux du paragraphe précédent montrent qu'il en existe de trois types différents.
Fraction continue du premier type
Les fractions continues du premier type s'obtiennent avec des polynômes β égaux à 1 et des monômes α du premier degré. L'étude des relations de récurrence montrent qu'elles s'obtiennent nécessairement à l'aide d'une suite de réduites correspondant à la première configuration du paragraphe précédent. Quitte à remonter cette suite jusqu'au bord du tableau, on remarque qu'il en existe une pour chaque case à la frontière du tableau (ou deux, pour la case (0, 0)). Lagrange a développé celle de case initiale (0, 0) avec pour première réduite β0 = h0,0 = 1 et suivie des couples rouges sur la figure, obtenant :
En remarquant que ex = 1/e–x, elle équivaut à sa symétrique par rapport à la diagonale principale, démontrée par Gauss comme exemple de ses fractions continues pour les fonctions hypergéométriques :
Il est possible d'en construire d'autres de cette nature, par exemple à l'aide de la série bleue illustrée sur la figure, éventuellement précédée (pour une expression plus simple) du couple (0, 2).
Fraction continue du deuxième type
Les fractions continues de la deuxième catégorie correspondent à la configuration 2. Elles s'obtiennent à l'aide d'un déplacement continu soit vers le bas, soit vers la droite. Les numérateurs α sont des monômes du premier degré et les dénominateurs β, des polynômes du premier degré de terme constant égal à 1. Trois exemples sont illustrés sur la figure de gauche. Le plus simple, qui correspond à suite illustrée en vert, a pour réduite d'indice n la somme partielle de la série exp(x), selon une formule générale d'Euler[6] :
Padé montre que l'exemple d'Euler ne correspond qu'à un cas particulier de fraction continue de cette nature. Il en existe en fait une infinité, exactement une par case de la frontière de la table de Padé (ou deux, pour la case (0, 0)).
Fraction continue du troisième type
Le dernier type de configuration correspond à la troisième décrite dans le paragraphe sur les relations de récurrence. Ici, le passage d'une réduite à une autre s'obtient par un déplacement diagonale. Les monômes α sont toujours du second degré. Les polynômes β sont du premier degré, à l'exception de la fraction continue associée à la diagonale principale, en rouge sur la figure (dans ce cas, β = 1).
Lagrange découvre celle associée à la série bleue sur la figure. Elle fournit l'expression suivante :
Les formules exactes sont :
Celle correspondant à la diagonale principale[7] a été découverte par Euler, à partir de son développement de la fonction tangente hyperbolique (que Lambert démontrera en toute rigueur en 1761, puis qui deviendra un autre exemple de fraction continue de Gauss). Elle n'est pas à proprement parler du troisième type car les dénominateurs sont des constantes à partir de la valeur 2 de l'indice ; c'est l'unique exception.
Convergence des réduites
Les fractions continues des trois types précédents sont toutes uniformément convergentes sur toute partie bornée du plan complexe. Plus précisément :
- Soient (pn) et (qn) deux suites d'entiers positifs dont l'une au moins tend vers l'infini. Si le rapport pn/qn tend vers une limite, finie ou infinie, la suite de fractions rationnelles h(pn, qn)/k(pn, qn) converge uniformément sur tout ensemble borné.
Le numérateur et le dénominateur tendent tous les deux vers des séries entières. Si pn/qn a pour limite ω, alors :
ces deux formules signifiant, dans le cas où ω est infinie, que le numérateur tend vers la fonction exponentielle et le dénominateur vers la fonction constante 1.
Notes et références
- J.-L. Lagrange, Sur l’usage des fractions continues dans le Calcul intégral, Nouveaux Mémoires de l’Académie Royale des Sciences et Belles-Lettres, t. 4, p. 301 (1779).
- (la) C. F. Gauss, « Disquisitiones generales circa seriem infinitam… : Sectio secunda — Fractiones continuae », Commentationes Societatis Regiae Scientiarum Gottingensis recentiores, , p. 16 (lire en ligne).
- H. Padé, « Mémoire sur les développements en fractions continues de la fonction exponentielle », ASENS, 3e série, , p. 395-426 (lire en ligne).
- Henri Padé, « Sur la représentation approchée d'une fonction par des fractions rationnelles », ASENS, 3e série, vol. 9, , p. 3-93 (lire en ligne) (thèse).
- Cette table est extraite de Padé 1892, p. 16.
- (la) L. Euler, Introductio in analysin infinitorum, t. 1, 1748, par. 368-373.
- Padé 1899, p. 416, l'attribue à Lagrange et ne mentionne même plus Lambert. Dans les p. 38-39 de H. Padé, « Sur les fractions approchées d'une fonction par des fractions rationnelles », ASENS, 3e série, vol. 9, , p. 3-93 (lire en ligne), il citait seulement ce précurseur « comme ayant donné un développement en fraction continue de quelques fonctions », retrouvées par Lagrange « sous la forme la plus convenable pour nous ».
Voir aussi
Lien externe
S. Khémira, Approximants de Hermite-Padé, déterminants d’interpolation et approximation diophantienne, thèse de doctorat de l'université Paris 6, 2005
Bibliographie
- (en) Claude Brezinski et Michela Redivo-Zaglia, Extrapolation Methods: Theory and Practice, North-Holland, 1991 (ISBN 978-0-44488814-3)
- (en) George A. Baker et Peter Graves-Morris, Padé Approximants, coll. « Encyclopedia of Mathematics and its Applications » (n° 59), 1996, 2e éd. [lire en ligne] (ISBN 978-0-521-45007-2)
- Portail de l'analyse