Chapitre XII

DES SÉRIES RÉCURRENTES.

Une série

ordonnée suivant les puissances ascendantes et entières de la variable x, est appelée récurrente, lorsque dans cette série, considérée à partir d’un terme donné, le coefficient d’une puissance quelconque de la variable s’exprime en fonction linéaire des coefficients des puissances inférieures pris en nombre fixe, en sorte qu’il suffise de recourir aux valeurs de ces derniers coefficients pour en déduire celui que l’on cherche. Ainsi, par exemple, la série

est récurrente, attendu que, si l’on fait

an=n+1,

on aura constamment, pour des valeurs de n supérieures à l’unité,

En général, la série (1) sera récurrente, si, pour toutes les valeurs de n supérieures à une certaine limite, les coefficients

an,an−1,an−2,…,an−m

de plusieurs puissances consécutives de x se trouvent liés entre eux par une équation du premier degré. Soit

l’équation dont il s’agit, k,l,…,p,q désignant des constantes déterminées. La suite de ces constantes formera ce qu’on appelle l’échelle de relation de la série, échelle dont les constantes elles-mêmes seront les différents termes.

Dans la série (1), supposée récurrente, la variable x et les coefficients a0,a1,a2,…,an, peuvent être ou des quantités réelles, ou des expressions imaginaires. Cela posé, représentons par ρn le module de l’expression an, et par conséquent la valeur numérique de cette expression, lorsqu’elle est réelle. On conclura immédiatement des principes établis dans les Chapitres VI et LX que la série (1) sera tantôt convergente, tantôt divergente, suivant que le module ou la valeur numérique de x sera inférieur ou supérieur à la plus petite des limites vers lesquelles converge, tandis que n croît indéfiniment, l’expression (ρn)−1n.

§ II. — Développement des fractions rationnelles en séries récurrentes.

Toutes les fois qu’une fraction rationnelle peut se développer en série convergente ordonnée suivant les puissances ascendantes et entières de la variable, cette série est en même temps récurrente, ainsi qu’on va le faire voir.

Considérons d’abord la fraction rationnelle

dans laquelle a,A désignent deux constantes réelles ou imaginaires, et m un nombre entier. Elle pourra se mettre sous la forme

(−1)mAam(1−xa)−m,

et sera développable, aussi bien que l’expression

(1−xa)−m,

en série convergente ordonnée suivant les puissances ascendantes et entières de la variable x, si la valeur numérique du rapport xa supposé réel, ou le module du même rapport supposé imaginaire, est une quantité comprise entre les limites 0 et 1. Cette condition sera remplie, si le module de la variable x, module qui se réduit à la valeur numérique de la même variable quand celle-ci devient imaginaire, est inférieur au module de la constante a ; et l’on aura, dans cette hypothèse,

On trouvera par suite

et si l’on fait, pour abréger,

on obtiendra l’équation

Concevons maintenant que l’on multiplie les deux membres de l’équation précédente par (a−x)m; on en tirera

ou, ce qui revient au même,

Cette dernière formule devant subsister toutes les fois que le module de la variable x est inférieur au module de la constante a, par conséquent toutes les fois que l’on attribue à x une valeur réelle peu différente de zéro, on en conclura, par des raisonnements semblables à ceux que nous avons employés pour démontrer le théorème VI du Chapitre VI (§ IV),

et généralement

Il est essentiel de remarquer que l’équation (9) a lieu seulement pour des valeurs entières de n égales ou supérieures à m, et qu’elle doit être remplacée, lorsqu’on suppose n<m, par l’une des formules (8). De plus, comme l’équation (9), étant linéaire par rapport aux constantes

an,an−1,an−2,…,an−m,

donnera pour la première de ces constantes une fonction linéaire de toutes les autres, il en résulte que, dans la série

considérée à partir du terme amxm, le coefficient d’une puissance quelconque de x s’exprimera en fonction linéaire des coefficients des puissances inférieures pris consécutivement et en nombre égal à m. Cette série sera donc l’une de celles que nous avons nommées récurrentes.

Parmi les diverses formules particulières qu’on peut déduire de l’équation (3), il est bon de remarquer celles qui correspondent aux deux suppositions m=1, m=2. On trouve, dans la première hypothèse.

et, dans la seconde,

Les deux formules précédentes, dont la première détermine la somme d’une progression géométrique, subsistent, ainsi que l’équation (3), toutes les fois que le module de x est inférieur au module de a.

Lorsque dans l’équation (12) on fait en même temps

A=1,a=1,

on obtient la suivante

qui a pour second membre la somme de la série (2) (§ 1), et suppose le module de x inférieur à l’unité.

Considérons maintenant une fraction rationnelle quelconque

f(x),F⁡(x) étant deux fonctions entières de la variable x. Représentons par a,b,c,… les diverses racines de l’équation

par m′ le nombre des racines égales à a, par m″ le nombre des racines égales à b, par m‴ le nombre des racines égales à c,…, et par k le coefficient de la plus haute puissance de x dans le polynôme F⁡(x), en sorte qu’on ait

La méthode exposée dans le Chapitre précédent fournira, pour la décomposition de la fraction rationnelle f(x)F⁡(x) en fractions simples, une équation de la forme

A,A1,…,B,B1,…,C,C1,…, etc., désignant des constantes déterminées, et R une fonction entière de x qui s’évanouira lorsque le degré du polynôme f(x) sera inférieur à celui du polynôme F⁡(x). Cela posé, concevons que le module de la variable x soit inférieur aux modules des diverses racines a,b,c,…, et par conséquent au plus petit de ces modules. On pourra développer chacune des fractions simples que renferme le second membre de l’équation (17) en une série convergente ordonnée suivant les puissances ascendantes de la variable x; puis, en ajoutant les développements ainsi formés au polynôme R, on obtiendra une nouvelle série convergente toujours ordonnée suivant les puissances ascendantes de x, et dont la somme sera équivalente à la fraction rationnelle f(x)F⁡(x). Soit

la nouvelle série dont il est ici question. La formule

subsistera toutes les fois que cette nouvelle série sera convergente, c’est-à-dire toutes les fois que le module de la variable x sera inférieur au plus petit des nombres qui servent de modules aux racines de l’équation (15). J’ajoute que la série (18) sera toujours une série récurrente. C’est ce que l’on prouvera aisément ainsi qu’il suit.

Désignons par m la somme des nombres entiers m′,m″,m‴,…, ou, ce qui revient au même, le degré du polynôme F⁡(x), et faisons, en conséquence,

k,l,ldots,p,q représentant des constantes réelles ou imaginaires. L’équation (19) deviendra

Après l’avoir mise sous la forme

on en tirera, en développant le second membre comme on l’a fait pour l’équation (6),

Cette dernière formule devant subsister tant que le module de la variable x est inférieur aux modules des constantes a,b,c,…, on démontrera, par des raisonnements semblables à ceux dont nous avons fait usage pour établir le théorème VI du Chapitre VI (§ IV), que les coefficients des puissances semblables de x dans les deux membres sont nécessairement égaux entre eux. Il en résulte : 1 que les coefficients des diverses puissances de x dans les différents termes du polynôme f(x) sont respectivement égaux aux coefficients des mêmes puissances dans la série dont la somme constitue le second membre de l’équation (23) ; 2 que dans cette série les coefficients des puissances dont l’exposant surpasse le degré du polynôme f(x) se réduisent à zéro. D’ailleurs, si l’on considère un terme de la série dans lequel l’exposant n de la variable x surpasse le degré du polynôme f(x), et soit en même temps égal ou supérieur à m, ce terme sera de la forme

(qan+pan−1+…+lan−m+1+kan−m)xn,

Donc, toutes les fois que la valeur de n, étant supérieure au degré du polynôme f(x), sera de plus égale ou supérieure au degré m du polynôme F⁡(x), les coefficients

an,an−1,…,an−m+1,an−m

se trouveront assujettis à l’équation linéaire

et par suite, pour une semblable valeur de n, le coefficient an de la puissance xn s’exprimera en fonction linéaire de ceux des puissances inférieures prises consécutivement au nombre de m. La série (18) sera donc l’une de celles que l’on nomme récurrentes. Son échelle de relation se composera des constantes

k,l,…,p,q,

respectivement égales aux coefficients des diverses puissances de x dans le polynôme F⁡(x).

Parmi les séries qui représentent les développements des fractions renfermées dans le second membre de la formule (17), et qui sont toutes convergentes dans le cas où le module de la variable x reste inférieur aux modules des diverses racines de l’équation (15), l’une au moins deviendrait divergente si le module de la variable venait à surpasser celui de quelque racine. Par suite, la série (18), toujours convergente dans le premier cas, sera divergente dans le second. D’autre part, si l’on fait croître indéfiniment le nombre entier n, et si l’on désigne par ρn le module du coefficient an dans la série (18), cette série sera convergente ou divergente (voir le § I) suivant que le module de x sera inférieur ou supérieur à la plus petite des limites de (ρn)−1n. Comme les deux règles de convergence que nous venons d’énoncer doivent nécessairement s’accorder entre elles, on peut conclure que le plus petit des modules qui correspondent aux racines de l’équation (15) est précisément égal à la plus petite des limites de l’expression (ρn)−1n.

Lorsque les deux fonctions f(x),F⁡(x) sont réelles, le coefficient an l’est aussi, et son module ρn ne diffère pas de sa valeur numérique. Si dans la même hypothèse l’équation F⁡(x)=0 n’a que des racines réelles, la racine qui aura la plus petite valeur numérique sera, d’après ce qu’on vient de dire, égale (au signe près) à la plus petite des limites de (ρn)−1n. Enfin, si le rapport ρnρn+1 converge vers une limite fixe, on pourra la substituer (Chap. II, § III, théorème II) à la limite cherchée de l’expression (ρ)−1n. Cette remarque conduit à la règle qu’a donnée Daniel Bernoulli pour déterminer numériquement la plus petite (abstraction faite du signe) de toutes les quantités qui représentent les racines supposées réelles d’une équation algébrique.

§ III. — Sommation des séries récurrentes, et fixation
de leurs termes généraux.

Lorsqu’une série ordonnée suivant les puissances ascendantes de la variable x est à la fois convergente et récurrente, elle a toujours pour somme une fraction rationnelle. En effet, soit

une semblable série, et supposons que, pour des valeurs de n supérieures à une certaine limite, le coefficient an de la puissance xn soit déterminé, en fonction linéaire des coefficients des puissances inférieures pris en nombre égal à n, par une équation de la forme

en sorte que les constantes

k,l,…,p,q

forment l’échelle de relation de la série. Si l’on multiplie la somme de cette série, savoir

a0+a1x+a2x2+…

par le polynome

kxm+lxm−1+…+px+q,

le produit obtenu sera la somme d’une nouvelle série dans laquelle le coefficient de xn, calculé comme dans le Chapitre VI (§ IV, théorème V), s’évanouira pour des valeurs de n supérieures à la limite assignée. En d’autres termes, le produit dont il est question sera un nouveau polynòme d’un degré marqué par cette limite. Si l’on désigne ce nouveau polynome par f(x), on aura

et, par suite,

Donc toute série qui, ordonnée suivant les puissances ascendantes et entières de la variable x, est à la fois convergente et récurrente, a pour somme une fraction rationnelle, dont le dénominateur est un polynome dans lequel les puissances successives de x ont pour coefficients les différents termes de l’échelle de relation de la série.

Lorsque pour faire connaître une série récurrente on donne seulement ses premiers termes et l’échelle de relation qui sert à déduire des premiers termes tous ceux qui les suivent, on détermine sans peine, à l’aide de la méthode que nous venons d’indiquer, la fraction rationnelle qui représente la somme de la série dans le cas où elle demeure convergente. Cette fraction rationnelle étant calculée, on pourra lui substituer une somme de fractions simples augmentée, s’il y a lieu, d’une fonction entière de la variable x; et, si l’on cherche ensuite les séries récurrentes qui, pour des valeurs de x convenablement choisies, expriment les développements des fractions simples dont il s’agit, on obtiendra, en ajoutant les termes généraux de ces mêmes séries, le terme général de la série proposée.