VI

Remarque V.

20. 11 esl encore bon de reinarquer que l'on peut toujours siniplitier une série récurrente et la rabaisser à un ordre intérieur, en y détruisant quelques-unes des séries partielles dont elle est composée, pourvu qu'on connaisse seulement l'échelle de relation de ces séries, c'est-à-dire, le dénominateur de leur fraction génératrice; car, comme ce dénominateur doit être un facteur de celui de la fraction génératrice de la série totale, il s'ensuit que, si l'on multiplie cette série par le même facteur, la série résultante deviendra nécessairement plus simple, puisque sa fraction génératrice n'aura plus pour dénominateur que l'autre facteur, en sorte que les séries partielles dépendant du premier facteur se trouveront entièrement éteintes.

Il faut seulement observer que, dans ce cas, la nouvelle série contiendra, au commencement, autant de termes irréguliers qu'il y a d'unités dans le degré du multiplicateur; de sorte qu'il faudra retrancher ces termes et diviser ensuite les autres par la plus haute puissance de a-, dont l'exposant sera le nombre des termes retranchés.

Soit, par exemple, la série de l'ordre n

dont la fraction génératrice soit ^? P étant un polynôme du degré n — \ ,

et Q un polynôme du degré n, dont les n facteurs soient

r — px, I — qx, I — rx, I — SX, ... ;

on aura, pour l'expression du terme général de la série,

ï("') — K/y" -h L(f -r iM /•"' -4- ^ s"' +

Maintenant, si l'on suppos(; (ju'on connaisse les deux quantités/; et</, on pourra simplifier la série proposée et la rabaisser à l'ordre n — i, en y détruisant la [)artie qui répond aux termes K//", L^'"; car pour cela il

D'APKKS LES OBSERVATIONS. 547

n'y aura (ju'à la imilliplicr par le polynôme formé dos facteurs i —px, I — qr, c'est-à-dire, par

I — { p -^ q Jc -{- pq x\ cl, désignant par

la série résultant de celte multiplication, il est clair que cette série aura

pour fraction génératrice ^? en supposant

en sorte que Q' sera un polynôme du degré n — 2, formé par le produit des autres facteurs simples i — rx, i — sx, Qu'on retranche maintenant de part et d'autre les deux premiers termes l -\- t' x de la série, on aura

t"x' -4- /"V H- V\V' + fx' +...=: ^ (/ + /'^.) ^ V—{t-^^t'x)Q:

Or, P étant un polynôme du degré n — \ et Q' un polynôme du degré

n — 2, il es! clair que

sera aussi un polynôme du degré n — i\ et, comme toute la série est divisible para?^, il s'ensuit que ce dernier polynôme devra l'être aussi, et qu'il manquera par conséquent de ses deux premiers termes, en sorte qu'il sera de la forme x"^ P', P' étant un polynôme du degré /i — 3 ; donc, divisant de côte et d'autre par a:^ on aura la série

t" -I- t"'x -h l'^x- -^ rx^-\-. . .,

dont la fraction génératrice sera r^-, en sorte qu(! le terme général de

cette nouvelle série sera de la forme

de manière qu'elle sera récurrente de l'ordre n — 2.

Or, si l'on traite cette série par notre méthode et qu'on en détermine

la fraction génératrice ^77? on pourra retrouver la fraction primitive ^

de la série proposée; car on a d'un côté

Q = {i-px){i~qx)Q\

et de l'autre on a

et, par conséquent,

En général, soit R le l'acteur connu de Q, lequel soit du degré />, en sorte que Q = RQ', Q' étant un polynôme du degré n — p; on multipliera la série proposée par R, ensuite on en retranchera les p premiers termes que je désignerai par S, et le reste, étant divisé par x^, sera une série récurrente de l'ordre n — p; en sorte que la recherche de la fraction génératrice sera beaucoup plus simple que celle de la fraction de la série

. P' primitive. Or soit rrj la fraction génératrice de cette nouvelle série; on

fera

Q = RQ' et P^SQ'+^i'P',

et la fraction ^ sera celle de la série proposée

T -{- Tx 4- Ta:' 4-