LIVRE SECOND. - DÉVELOPPEMENTS EN SÉRIE

Seconde démonstration de la formule de Lagrange.

314-. La démonstration de la formule de Lagrange que nous venons de donner, est celle de Laplace. Quoique directe et élégante, elle exige des tranformations successives qui la rendent moins simple que celle que nous allons faire connaître et qui est due à Jacobi.

Lorsqu'une fonction 9 (x) devient infinie pour x=o, elle n'est pas développable parla formule de Maclaurin, mais elle peut, en général, être développée en série ordonnée suivant les puissances positives et négatives de la variable et de la forme

A 4- A, X ■+- Ajsc- -t- . . . + A„ jc" -f- . . .

Lorsque cela a lieu, la dérivée 9' (a?) est représentée par la dérivée de la série précédente, c'est-à-dire par

A, -h 2Â,a7-|-. . .-}-/iA„a:"^' H-. . . B, 2B, /iB„

et ce développement n'a pas de terme en -•

Ainsi donc : Si une fonction est développable en série ordonnée suivant les puissances positives ou négatives de la variable, la dérivée de cette fonction est développable

en série de même forme dans laquelle manque le terme en -■

Cela posé, considérons l'équation

Soit

(2) . /(z) z=/(rf)4- A,^-(- Ajjc- -i-. . -^-SnX" -\-. . . ,

A, , Aj,... A,,, étant des fonctions de a indépendantes de .r; prenons les dérivées des deux membres par rapport à z, en considérant a comme une constante, et divisons par oc" les deux membres de l'équation obtenue, nous aurons

f ( z) A| dx 1 A2 dx n A„ dx , . . dx

X" X" dz x"~^ dz X dz az

ou, en remplaçant dans le premier membre j? par sa valeur 'déduite de l'équation (i),

,, f'{z)rs,{z)" A, dx 7. Ai dx nA„dx , ,. dx

[z — a)" X" dz X" ' dz x dz az

Développons actuellement les deux membres en séries ordonnées suivant les puissances positives ou négatives de z — a, et égalons les coefficients de — ^ — dans les

deux développements. Si l'on pose

f'{z)^[zY = Y{z.), on a

FYz)=F(a + 3 — «} = F(rO + (z — a)F(a)+^-^^'lVF"(«) + ....

Pour obtenir le développement du premier membre de l'équation (3), il faut diviser

chaque terme de cette série par (z — «)", le coefficient du terme en — ^ — est donc

Si l'on développe les divers termes du second membre de l'équation (3), on voit, d'après ce qui précède, qu'un seul d'entre eux, ^^' -^^ donnera un terme en '

X dz z — a

Considérons en effet le terme général

dx

ij. — n

où a désigne un nombre entier quelconque différent de n. a;''"" est en général développable suivant les puissances positives ou négatives de z — a, car si p. surpasse n, cette expression est nulle pour z = a, et si p. — zr est négatif, le produit

^/'-" ( z — af-P = (^—^\

a pour 5 = « une limite finie égale, en vertu de l'équation (i), h (p {af '\ et ce produit est en général développable suivant les puissances de {z — a). En divisant tous les termes par {z — a)"~^, on aura le développement deœ'''", qui renfermera des puissances positives et négatives de {z — a): la dérivée par rapport à z ne contiendra donc aucun terme en

z — a Quant au terme

. dx

nAn-j-

dz

. dx

dz , d \ . X

=/iA„ —