LIVRE PREMIER

Théorèmes sur le développement en séries des fonctions de plusieurs variables.

18. Si l'on applique aux fonctions de plusieurs variables la méthode du n° 11, on aura sur le développement de ces fonctions en séries des théorèmes analogues à ceux du n*' 10. Considérons la fonction génératrice u i -7-^ 1 j , et donnons-lui cette forme

u étant supposé une fonction de t, t\ t", ..., dans le développement de laquelle j^^ a;', x",... est le coefficient de t^t'^'f^" Ce coefficient

dans le développement de ui—f-f, — — i) sera [^"'yx,x',x",...> ^> ^'»

x" , ... étant supposés varier de l'unité dans y^ «c'a;",.... Ce même coefficient, dans le développement de la fonction génératrice

sera

les caractéristiques 'A, "A, '"A, ... se rapportant respectivement aux variables x, x', x", ... ; on aura donc, en repassant des fonctions génératrices à leurs coefficients,

A«Jx,x',a:",...

= [( I + 'A jx.x'.x", . . , ) ( I -+- "Ar^,x'.x', ...)(• + '"^r^.x'.x", ...]■■• — 1]«,

pourvu que, dans le développement du second membre de cette équation, on applique aux caractéristiques 'A, "A, ... les exposants des puissances de 'Aya:,x',x"....> "^yx,x',x"...., • • • •

En changeant /i dans — n, la même équation subsiste encore, pourvu que l'on change, comme dans les n*'* 10 et 11, les caractéristiques A, 'A, "A, . . . , lorsqu'elles ont un exposant négatif, en intégrales finies

correspondantes, les signes 1, '1, "1, . . . étant les caractéristiques des intégrales, correspondantes aux caractéristiques A, 'A, "A, . . . dés différences.

Il est clair que u (7,777^7/7^ ' ) est la fonction génératrice de la

différence finie /i'""^ de j^,^',^;",... , a? variant de i, x' variant de «', x" variant de i' y Or on a

en désignant donc par A la caractéristique des différences, lorsque x varie de i, x' de i' , x" de i'\ ..., et par 2 la caractéristique intégrale correspondante, on aura

l"Xu

[(l-+-'Ajx,x',x'....)'('-+-"^rA-r',x'.. ..)'■'. ..-']«

pourvu que, dans le développement du second membre de ces équations, on applique aux caractéristiques 'A, "A, ... les exposants des puissances de '^yx.x',x",...j "^yx,x',x\...t •••» et que l'on change les différences négatives en intégrales. On peut ainsi se dispenser d'indiquer les arbitraires que l'intégrale finie 2" doit introduire, parce qu'elles sont censées renfermées dans les intégrales que donne le développement de son expression.

Les deux équations précédentes ont encore lieu en supposant que dans les différences 'l^yx,x\x",... » "^yx,x',x\...'> ..., oc, x\ x", . . ., au lieu de varier de l'unité, varient d'une quantité quelconque tr, pourvu que, dans la différence ^.yx.x.x",...'» oc varie de m, x' de i'vs, x" de i'rjs, — Maintenant, si l'on supposera infiniment petit, les différences 'Ay^,^>;...,

"^yx.x',x\...'> ••• se changeront, la première dans dx-^'i'^""-» la seconde dans dx'^-^'^j'^';", — De plus, si l'on fait «, i\ i'\ ... infiniment grands, et tels que l'on ait

i dx = a, i' dx' := cf! , . . . ,