Approximant de Padé de la fonction exponentielle — Wikipédia

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[modifier | modifier le code]

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 h_p,q et k_p,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 h_p,q/k_p,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 e^txf(x) où t est un paramètre, x la variable et $f$ un polynôme dont le degré est noté n :

\int \exp(tx)f(x){\rm {d}}x=\exp(tx)\sum _{i=0}^{n}(-1)^{i}{\frac {f^{(i)}(x)}{t^{i+1}}}.

Il en déduit les expressions suivantes :

h_{p,q}(t)=\sum _{i=0}^{p}{\frac {p!/(p-i)!}{(p+q)!/(p+q-i)!}}{\frac {t^{i}}{i!}}\quad {\text{et}}\quad k_{p,q}(t)=\sum _{j=0}^{q}(-1)^{j}{\frac {q!/(q-j)!}{(p+q)!/(p+q-j)!}}{\frac {t^{j}}{j!}}.

La configuration présente de nombreuses analogies avec les fractions continues, ce qui justifie la définition suivante :

La fraction rationnelle h_p,q/k_p,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 h_p,qk_{r, s} – h_{r, s}k_p,q est un monôme (non nul) de degré p + q + 1 ;
les deux polynômes h_p,q et k_p,q sont uniques (à normalisation près) et premiers entre eux.

Démonstrations

Soit n l'entier p + q.

Pour tout polynôme $f$ de degré n : $\int \exp(tx)f(x){\rm {d}}x=\exp(tx)\sum _{k=0}^{n}(-1)^{k}{\frac {f^{(k)}(x)}{t^{k+1}}}.$ La vérification est immédiate, en dérivant par rapport à $x$ le membre de droite.
Soient a et b deux réels et f, α et β les polynômes définis par $f(x)=(x-a)^{q}(x-b)^{p},\quad \alpha (t)=\sum _{i=0}^{p}(-1)^{i}f^{(n-i)}(a)t^{i},\quad \beta (t)=\sum _{j=0}^{q}(-1)^{j}f^{(n-j)}(b)t^{j}.$
- L'égalité suivante est vérifiée : $\beta (t)\exp(bt)-\alpha (t)\exp(at)=(-1)^{n}t^{n+1}\int _{a}^{b}\exp(tx)f(x){\rm {d}}x.$ En effet, puisqu'ici f^(k)(a) est nul si k est strictement inférieur à q et f^(k)(b) est nul si k est strictement inférieur à p, l'expression précédente, appliquée entre a et b, montre que ${\begin{aligned}t^{n+1}\int _{a}^{b}\exp(tx)f(x){\rm {d}}x&=\exp(tb)\sum _{k=p}^{n}(-1)^{k}f^{(k)}(b)t^{n-k}-\exp(ta)\sum _{k=q}^{n}(-1)^{k}f^{(k)}(a)t^{n-k}\\&=(-1)^{n}{\Big (}\exp(tb)\beta (t)-\exp(ta)\alpha (t){\Big )}.\end{aligned}}$
- « Les expressions explicites des coefficients de α et β se déduisent aisément des développements de $f$ suivant les puissances, soit de x – a, soit de x – b^[3]. »
  Par exemple pour α : $f(x)=(x-a)^{q}\left((x-a)+(a-b)\right)^{p}=(x-a)^{q}\sum _{i=0}^{p}{p \choose i}(x-a)^{p-i}(a-b)^{i},$ si bien que $f^{(n-i)}(a)=(n-i)!{p \choose i}(a-b)^{i}\quad {\rm {et}}\quad \alpha (t)=\sum _{i=0}^{p}(n-i)!{p \choose i}(b-a)^{i}t^{i}.$
Si h_p,q et k_p,q sont les deux fonctions polynomiales suivantes alors le premier monôme non nul de la fonction entière k_p,qe^t – h_p,q est de degré p + q + 1 : $h_{p,q}(t)=\sum _{i=0}^{p}{\frac {(p+q-i)!p!}{(p+q)!(p-i)!i!}}t^{i}\quad {\text{et}}\quad k_{p,q}(t)=\sum _{j=0}^{q}(-1)^{j}{\frac {(p+q-j)!q!}{(p+q)!(q-j)!j!}}t^{j}.$ En effet, h_p,q et k_p,q sont les quotients par n! des expressions ci-dessus des polynômes α et β, pour a = 0 et b = 1. Pour ces valeurs de a et b, l'égalité précédente devient donc : $k_{p,q}(t)\exp(t)-h_{p,q}(t)={\frac {(-1)^{n}}{n!}}t^{n+1}\int _{0}^{1}\exp(tx)f(x){\rm {d}}x$ or la fonction entière qui à t associe l'intégrale de 0 à 1 de $x \mapsto exp(tx) f (x)$ est non nulle en t = 0.

Une fois prouvée l'existence de la fraction réduite et déterminée son expression, il reste à démontrer son unicité. On le fait grâce à un lemme dont la démonstration est de même nature que celle montrant que le numérateur et dénominateur d'une fraction réduite sont premiers entre eux.

Si (r, s) est égal à (p + 1, q) ou (p, q + 1) ou (p + 1, q + 1), alors h_p,qk_{r, s} – h_{r, s}k_p,q est un monôme (non nul) de degré p + q + 1 :
En effet, d'une part ce polynôme est de degré inférieur ou égal à p + q + 1 et d'autre part, d'après l'égalité $h_{p,q}k_{r,s}-h_{r,s}k_{p,q}=k_{p,q}{\Big (}k_{r,s}\exp -h_{r,s}{\Big )}-k_{r,s}{\Big (}k_{p,q}\exp -h_{p,q}{\Big )},$ son premier monôme non nul est de degré p + q + 1.

Les polynômes h_p,q et k_p,q sont premiers entre eux :
En effet, d'après la propriété précédente, tout polynôme divisant à la fois h_p,q et k_p,q divise un monôme ; on en déduit que les seuls facteurs communs aux deux polynômes sont des puissances de t. Comme ces deux polynômes ne sont pas divisibles par t, ils sont bien premiers entre eux.
Les polynômes h_p,q et k_p,q sont uniques :
Soient h et k deux polynômes, de degrés respectivement majorés par p et q, tels que le développement en série entière en 0 de la fraction h/k coïncide jusqu'au degré n avec celui la fonction exponentielle. Par le même raisonnement que ci-dessus, h_p,qk – hk_p,q est un polynôme de degré inférieur ou égal à n sans monômes de degrés inférieurs ou égaux à n. Cette différence est donc nulle. Comme les polynômes h_p,q et k_p,q sont premiers entre eux et de degrés respectifs p et q, le couple (h, k) est proportionnel au couple (h_p,q, k_p,q).

Table de Padé[modifier | modifier le code]

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\;$	$1+x\;$	$1+x+{\frac {x^{2}}{2}}\;$	$1+x+{\frac {x^{2}}{2}}+{\frac {x^{3}}{6}}\;$	…
1	${\frac {1}{1-x}}$	${\frac {1+{\frac {1}{2}}x}{1-{\frac {1}{2}}x}}$	${\frac {1+{\frac {2}{3}}x+{\frac {1}{6}}x^{2}}{1-{\frac {1}{3}}x}}$	${\frac {1+{\frac {3}{4}}x+{\frac {1}{4}}x^{2}+{\frac {1}{24}}x^{3}}{1-{\frac {1}{4}}x}}$	…
2	${\frac {1}{1-x+{\frac {x^{2}}{2}}}}$	${\frac {1+{\frac {1}{3}}x}{1-{\frac {2}{3}}x+{\frac {1}{6}}x^{2}}}$	${\frac {1+{\frac {1}{2}}x+{\frac {1}{12}}x^{2}}{1-{\frac {1}{2}}x+{\frac {1}{12}}x^{2}}}$	${\frac {1+{\frac {3}{5}}x+{\frac {3}{20}}x^{2}+{\frac {1}{60}}x^{3}}{1-{\frac {2}{5}}x+{\frac {1}{20}}x^{2}}}$	…
3	${\frac {1}{1-x+{\frac {1}{2}}x^{2}-{\frac {1}{6}}x^{3}}}$	${\frac {1+{\frac {1}{4}}x}{1-{\frac {3}{4}}x+{\frac {1}{4}}x^{2}-{\frac {1}{24}}x^{3}}}$	${\frac {1+{\frac {2}{5}}x+{\frac {1}{20}}x^{2}}{1-{\frac {3}{5}}x+{\frac {3}{20}}x^{2}-{\frac {1}{60}}x^{3}}}$	${\frac {1+{\frac {1}{2}}x+{\frac {1}{10}}x^{2}+{\frac {1}{120}}x^{3}}{1-{\frac {1}{2}}x+{\frac {1}{10}}x^{2}-{\frac {1}{120}}x^{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[modifier | modifier le code]

Padé cherche ensuite à obtenir des suites à partir de sa table. Si (p_n) et (q_n) 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 (p_n, q_n), 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 f_n(x) désigne le n-ième terme de la suite, on a :

f_{0}(x)=\exp _{[0,0]}=1,\quad f_{1}(x)=\exp _{[1,0]}=1+x,\quad f_{2}(x)=\exp _{[1,1]}={\frac {1+{\frac {1}{2}}x}{1-{\frac {1}{2}}x}}=1+{\frac {x}{1-{\frac {1}{2}}x}}

puis :

f_{3}(x)=\exp _{[2,1]}={\frac {1+{\frac {2}{3}}x+{\frac {1}{6}}x^{2}}{1-{\frac {1}{3}}x}}=1+{\frac {x}{1-{\cfrac {{\frac {1}{2}}x}{1+{\frac {1}{6}}x}}}},\quad {\text{etc.}}

Padé n'étudie l'incrémentation des indices (p_n+1 – p_n, q_n+1 – q_n) 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 (f_n) une suite de réduites dont le couple de la différence des indices entre f_n+1 et f_n correspond toujours à l'un des trois cas (1,0), (0,1) ou (1,1), alors il existe une relation de récurrence de type :

h_{(p_{n+2},q_{n+2})}=\alpha _{n+2}h_{(p_{n},q_{n})}+\beta _{n+2}h_{(p_{n+1},q_{n+1})}\quad {\text{et}}\quad k_{(p_{n+2},q_{n+2})}=\alpha _{n+2}k_{(p_{n},q_{n})}+\beta _{n+2}k_{(p_{n+1},q_{n+1})}

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 f_n(x) à f_n+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 f_n+1 à f_n+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ù f_n(x), f_n+1(x) et f_n+2(x) se trouvent sur la diagonale principale, d'indice un couple (p, p).

Démonstration

Pour un n fixé, on notera pour simplifier (p, q), (r, s) et (u, v) les couples correspondant aux indices n, n + 1 et n +2.

Il existe deux polynômes α et β tels que les égalités suivantes soient vérifiées. Les degrés de ces polynômes sont donnés par la figure du paragraphe : ${\begin{cases}\alpha h_{p,q}+\beta h_{r,s}&=h_{u,v},\\\alpha k_{p,q}+\beta k_{r,s}&=k_{u,v}.\end{cases}}$ Ce système de Cramer a pour déterminant Δ = h_p,qk_{r, s} – h_{r, s}k_p,q et sa solution est : $\alpha ={\frac {h_{u,v}k_{r,s}-h_{r,s}k_{u,v}}{\Delta }},\quad \beta ={\frac {h_{p,q}k_{u,v}-h_{u,v}k_{p,q}}{\Delta }}.$ D'après la section précédente, Δ est un monôme de degré p + q + 1. Il en résulte — par le même argument pour son numérateur — que α est un monôme de degré 1 pour les configurations 1 et 2 et de degré 2 pour la configuration 3. De même, β est un monôme de degré 0 dans la configuration 1 et un polynôme de degré inférieur ou égal à 1 dans les configurations 2 et 3 (de degré 1 en général, mais 0 si les trois couples d'indices sont sur la diagonale principale).
Le coefficient constant de β vaut 1 :
Immédiat, par identification des termes constants dans l'égalité $\alpha k_{p,q}+\beta k_{r,s}=k_{u,v}.$

Fraction continue[modifier | modifier le code]

Article détaillé : § « Réduites » de l'article sur les fractions continues généralisées.

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 :

{\begin{matrix}{\text{si }}q_{0}=0:&f_{n}=\beta _{0}+{\frac {\alpha _{1}\mid }{\mid \beta _{1}}}+{\frac {\alpha _{2}\mid }{\mid \beta _{2}}}+\cdots +{\frac {\alpha _{n}\mid }{\mid \beta _{n}}},\\{\text{si }}p_{0}=0:&f_{n}={\frac {1\mid }{\mid \beta _{0}}}+{\frac {\alpha _{1}\mid }{\mid \beta _{1}}}+\cdots +{\frac {\alpha _{n}\mid }{\mid \beta _{n}}},\end{matrix}}

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 :

{\begin{matrix}{\text{si }}q_{0}=0:&\beta _{0}=h_{p_{0},0},&\alpha _{1}=h_{p_{1},q_{1}}-h_{p_{0},0}k_{p_{1},q_{1}},&\beta _{1}=k_{p_{1},q_{1}}~;\\{\text{si }}p_{0}=0:&\beta _{0}=k_{0,q_{0}},&\alpha _{1}=k_{p_{1},q_{1}}-k_{0,q_{0}}h_{p_{1},q_{1}},&\beta _{1}=h_{p_{1},q_{1}}.\end{matrix}}

(Si p₀ et q₀ 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[modifier | modifier le code]

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 β₀ = h_0,0 = 1 et suivie des couples rouges sur la figure, obtenant :

1+{\frac {x\mid }{\mid 1}}-{\frac {{\frac {1}{2}}x\mid }{\mid 1}}+{\frac {{\frac {1}{6}}x\mid }{\mid 1}}-{\frac {{\frac {1}{6}}x\mid }{\mid 1}}+{\frac {{\frac {1}{10}}x\mid }{\mid 1}}-{\frac {{\frac {1}{10}}x\mid }{\mid 1}}+{\frac {{\frac {1}{14}}x\mid }{\mid 1}}-{\frac {{\frac {1}{14}}x\mid }{\mid 1}}+\cdots

En remarquant que $e x = 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 :

{\frac {1\mid }{\mid 1}}-{\frac {x\mid }{\mid 1}}+{\frac {{\frac {1}{2}}x\mid }{\mid 1}}-{\frac {{\frac {1}{6}}x\mid }{\mid 1}}+{\frac {{\frac {1}{6}}x\mid }{\mid 1}}-{\frac {{\frac {1}{10}}x\mid }{\mid 1}}+{\frac {{\frac {1}{10}}x\mid }{\mid 1}}-{\frac {{\frac {1}{14}}x\mid }{\mid 1}}+\cdots .

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[modifier | modifier le code]

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] :

{\frac {1\mid }{\mid 1}}-{\frac {x\mid }{\mid 1+x}}-{\frac {{\frac {1}{2}}x\mid }{\mid 1+{\frac {1}{2}}x}}-{\frac {{\frac {1}{3}}x\mid }{\mid 1+{\frac {1}{3}}x}}-{\frac {{\frac {1}{4}}x\mid }{\mid 1+{\frac {1}{4}}x}}-\cdots

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[modifier | modifier le code]

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 :

1+x+{\frac {{\frac {1}{2}}x^{2}\mid }{\mid 1-{\frac {1}{3}}x}}+{\frac {{\frac {1}{36}}x^{2}\mid }{\mid 1-{\frac {1}{15}}x}}+{\frac {{\frac {1}{100}}x^{2}\mid }{\mid 1-{\frac {1}{35}}x}}+\cdots

Les formules exactes sont :

\forall n\geq 2\quad \alpha _{n}(x)={\frac {x^{2}}{4(2n-3)^{2}}}\quad {\text{et}}\quad \beta _{n}(x)=1-{\frac {x}{(2n-1)(2n-3)}}.

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.

1+{\frac {x\mid }{\mid 1-{\frac {1}{2}}x}}+{\frac {{\frac {1}{12}}x^{2}\mid }{\mid 1}}+{\frac {{\frac {1}{60}}x^{2}\mid }{\mid 1}}+{\frac {{\frac {1}{140}}x^{2}\mid }{\mid 1}}\cdots \quad {\text{avec}}\quad \forall n\geq 2\quad \alpha _{n}(x)={\frac {x^{2}}{4(2n-1)(2n-3)}}.

Démonstration

Calcul pour la première fraction continue :

Le monôme α_n est de la forme a_nx² et le polynôme β_n, de la forme 1 + b_nx. La relation de récurrence montre que pour tout entier naturel n, on a pour les numérateurs :

h_{n+2,n+1}=a_{n+2}x^{2}h_{n,n-1}+(1+b_{n+2}x)h_{n+1,n}

et de même pour les dénominateurs.

Par identification des coefficients dominants, au numérateur et dénominateur,

{\begin{cases}{\frac {(n+1)!}{(2n+3)!}}&=b_{n+2}{\frac {n!}{(2n+1)!}}+a_{n+2}{\frac {(n-1)!}{(2n-1)!}},\\{\frac {(n+2)!}{(2n+3)!}}&=-b_{n+2}{\frac {(n+1)!}{(2n+1)!}}+a_{n+2}{\frac {n!}{(2n-1)!}}.\end{cases}}

En résolvant le système, on trouve

a_{n+2}={\frac {1}{4(2n+1)^{2}}}\quad {\text{et}}\quad b_{n+2}={\frac {-1}{(2n+1)(2n+3)}}.

Calcul pour la deuxième fraction continue :

Avec les mêmes notations que pour le calcul précédent mais compte tenu du fait qu'ici, β_n+2 = 1, on a

h_{n+2,n+2}=a_{n+2}x^{2}h_{n,n}+h_{n+1,n+1}.

Par identification des coefficients dominants, on trouve

a_{n+2}={\frac {1}{4(2n+1)(2n+3)}}.

Convergence des réduites[modifier | modifier le code]

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 (p_n) et (q_n) deux suites d'entiers positifs dont l'une au moins tend vers l'infini. Si le rapport p_n/q_n tend vers une limite, finie ou infinie, la suite de fractions rationnelles h_{(p_n, q_n)}/k_{(p_n, q_n)} 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 p_n/q_n a pour limite ω, alors :

\lim _{n\to \infty }h_{(p_{n},q_{n})}(x)=\exp \left({\frac {\omega x}{1+\omega }}\right)\quad {\text{et}}\quad \lim _{n\to \infty }k_{(p_{n},q_{n})}(x)=\exp \left({\frac {-x}{1+\omega }}\right),

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.

Démonstration

Si la limite ω de la suite (ω_n) = (p_n/q_n) est infinie, on se ramène au cas où elle est nulle en remplaçant x par –x et en intervertissant les lettres p et q ainsi que h et k. Supposons désormais que ω est finie. La suite (q_n) tend alors vers l'infini.

Si a_k,n et b_k,n désignent les coefficients des termes du k-ième degré des polynômes h_{(p_n, q_n)} et k_{(p_n, q_n)}, alors : $\lim _{n\to \infty }a_{k,n}={\frac {1}{k!}}\left({\frac {\omega }{1+\omega }}\right)^{k}\quad {\text{et}}\quad \lim _{n\to \infty }b_{k,n}={\frac {1}{k!}}\left({\frac {-1}{1+\omega }}\right)^{k}.$ En effet, par définition, $a_{k,n}={\begin{Bmatrix}{\frac {p_{n}!(p_{n}+q_{n}-k)!}{(p_{n}-k)!(p_{n}+q_{n})!k!}}&{\text{ si }}p_{n}\geq k\\0&{\text{ sinon}}\end{Bmatrix}}={\frac {1}{k!}}\prod _{i=0}^{k-1}{\frac {p_{n}-i}{p_{n}+q_{n}-i}}$ et $b_{k,n}={\begin{Bmatrix}{\frac {(-1)^{k}q_{n}!(p_{n}+q_{n}-k)!}{(q_{n}-k)!(p_{n}+q_{n})!k!}}&{\text{ si }}q_{n}\geq k\\0&{\text{ sinon}}\end{Bmatrix}}={\frac {(-1)^{k}}{k!}}\prod _{i=0}^{k-1}{\frac {q_{n}-i}{p_{n}+q_{n}-i}}.$ On conclut en remarquant que pour chacune des k valeurs de i considérées, ${\frac {p_{n}-i}{p_{n}+q_{n}-i}}={\frac {\omega _{n}-i/q_{n}}{\omega _{n}+1-i/q_{n}}}\to {\frac {\omega }{\omega +1}}\quad {\text{et}}\quad {\frac {q_{n}-i}{p_{n}+q_{n}-i}}={\frac {1-i/q_{n}}{\omega _{n}+1-i/q_{n}}}\to {\frac {1}{\omega +1}}.$

Soit E un ensemble borné, A un majorant de la borne de E et ε un réel strictement positif.

Les deux suites (h_{(p_n, q_n)}(x)) et (k_{(p_n, q_n)}(x)) convergent uniformément sur E ainsi que leur rapport^[3] :
Fixons un entier naturel m tel que $\sum _{k=m}^{\infty }{\frac {A^{k}}{k!}}\leq {\frac {\varepsilon }{3}}.$ Alors, pour tout entier naturel n (en utilisant que a_k,n ≤ 1/k! et ω/(1+ ω) ≤ 1), $\forall x\in E\quad \left|h_{(p_{n},q_{n})}(x)-\exp \left({\frac {\omega x}{1+\omega }}\right)\right|\leq \sum _{k=0}^{\infty }A^{k}\left|a_{k,n}-{\frac {1}{k!}}\left({\frac {\omega }{1+\omega }}\right)^{k}\right|\leq R_{n}+{\frac {2\varepsilon }{3}}$ avec $R_{n}=\sum _{0\leq k<m}A^{k}\left|a_{k,n}-{\frac {1}{k!}}\left({\frac {\omega }{1+\omega }}\right)^{k}\right|.$ La proposition précédente montre qu'il existe N tel que pour tout n ≥ N, R_n ≤ ε/3. On en déduit : $\forall n\geq N\quad \forall x\in E\quad \left|h_{(p_{n},q_{n})}(x)-\exp \left({\frac {\omega x}{1+\omega }}\right)\right|\leq \varepsilon .$ On a donc prouvé la première des trois convergences annoncées, uniformément sur E. La deuxième se montre de manière analogue et la troisième s'en déduit, puisque |exp(–x/(1+ ω))| est minorée sur E par exp(–A/(1+ ω)) > 0.

Notes et références[modifier | modifier le code]

↑ 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,‎ 1813, p. 16 (lire en ligne).
↑ ^{a b et c} H. Padé, « Mémoire sur les développements en fractions continues de la fonction exponentielle », ASENS, 3^e série,‎ 1899, p. 395-426 (lire en ligne).
↑ Henri Padé, « Sur la représentation approchée d'une fonction par des fractions rationnelles », ASENS, 3^e série, vol. 9,‎ 1892, 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, 3^e série, vol. 9,‎ 1892, 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[modifier | modifier le code]

Lien externe[modifier | modifier le code]

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[modifier | modifier le code]

(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, 2^e éd. [lire en ligne] (ISBN 978-0-521-45007-2)

Portail de l'analyse

[1] 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).

[2] (la) C. F. Gauss, « Disquisitiones generales circa seriem infinitam… : Sectio secunda — Fractiones continuae », Commentationes Societatis Regiae Scientiarum Gottingensis recentiores,‎ 1813, p. 16 (lire en ligne).

[Pade1899-3] {a b et c} H. Padé, « Mémoire sur les développements en fractions continues de la fonction exponentielle », ASENS, 3^e série,‎ 1899, p. 395-426 (lire en ligne).

[4] Henri Padé, « Sur la représentation approchée d'une fonction par des fractions rationnelles », ASENS, 3^e série, vol. 9,‎ 1892, p. 3-93 (lire en ligne) (thèse).

[5] Cette table est extraite de Padé 1892, p. 16.

[6] (la) L. Euler, Introductio in analysin infinitorum, t. 1, 1748, par. 368-373.

[7] 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, 3^e série, vol. 9,‎ 1892, 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 ».

[1]

[2]

[3]

[4]

[5]

[6]

[7]