Annales de mathématiques pures et appliquées/Tome 05/Analise transcendante, article 1
# Annales de mathématiques pures et appliquées/Tome 05/Analise transcendante, article 1

## ANALISE TRANSCENDANTE.

1. Je commence par fixer quelques notations et par donner quelques définitions.

J’exprime

Par f⁡z, fz, Fz, ϕz, … des fonctions quelconques de la quanttité quelconque z : je les appelle Fonctions monômes simples.

Par f⁡fz, f⁡fFz, … des fonctions de fonctions de z: ce sont des Fonctions monômes composées.

Par f⁡z, f²⁡z, f³⁡z, …fⁿ⁡z, la fonction marquée par f, prise successivement 1 fois, 2 fois, 3 fois …, de la quantité z : ce sont des Fonctions monômes du 1.ᵉʳ, du 2.ᵉ du 3.ᵉ… du n.ᵐᵉ ordre : n est l’exposant de l’ordre de la fonction.

Par f⁻¹⁡z, f⁻²⁡z, …f⁻ⁿ⁡z, des fonctions de z dont la définition complète est donnée par l’équation générale

fⁿ⁡zf⁻ⁿ⁡z=f⁻ⁿ⁡zfⁿ⁡z=z:

ce sont des Fonctions inverses ou d’Ordre négatif.

Si la quantité sous le signe fonctionnaire, c’est-à-dire, le sujet de la fonction, est polynôme, on le met entre parenthèses. Ainsi, f⁡(a+z) désigne la fonction f du binôme a+z. Lorsque le sujet de la fonction est regardé comme complexe, on emploie, avec les parenthèses, des virgules interposées entre les sujets partiels. Ainsi f⁡[x, (b+y), z, …]

exprime la fonction f des quantités x, (b+y), z, …].

Si f⁡z=z ; c’est-à-dire, si le sujet n’est pris qu’une fois, la fonction f est le facteur 1. Si f⁡z=az, ou si le sujet est pris a fois, la fonction f est le facteur a.

En supposant que le sujet z soit complexe, par exemple, z=φ(x, y, …), x, y, … étant des quantités variables, arbitraires ou indépendantes qui reçoivent respectivement les accroissemens invariables ou constans quelconques α, β, …, si on a

f⁡z=φ(x+α, y+β, …,

la fonction f est ce qu’on appelle l’état varié de z. Je propose, avec Arbogast (Calculs des dérivations, n.° 442) de désigner cette fonction particulière par la lettre E ; et j’adopte les définitions suivantes

E⁡z=φ(x+α, y+β, …), E⁻¹⁡z=φ(x−α, y−β, …), Eⁿ⁡z=φ(x+nα, y+nβ, …).}(2)

Si f⁡z=E⁡z−z, la fonction f est ce qu’on appelle la différence de z, à laquelle est consacrée, depuis long-temps, la lettre Δ. Ainsi ; on a les definitions

Δz=E⁡z−z=φ(x+α, y+β, …)−φ(x, y, …).

On conclut de là, sur-le-champ, cette autre expression de l’état varié

E⁡z=z+Δz.

Quand le sujet z est complexe, on a souvent besoin d’exprimer que la fonction, n’est prise que par rapport à un seul sujet partiel. Si donc l’on veut exprimer que la fonction f n’est prise que par rapport à x, on écrira f/x z; si la fonction ne doit atteindre que y, ocx on écrira f/y z, et ainsi de suite. f/x z, f/y z, … sont donc les fonctions f partielles de z. Ainsi, a étant un facteur, on aura la définition suivante du facteur a partiel

a/x z=φ(ax, y, …).

De même, d’après (2), (3), on aura les définitions suivantes des états partiels partiels et des différences partielles

Eⁿ/x z=φ(x+nα, y, …); Eⁿ/y z=φ(x, y+nβ, …); Δ/x z=φ(x+α, y, …)−φ(x, y, …)=E/x z−z; Δ/y z=φ(x, y+β, …)−φ(x, y, …)=E/y z−z.}

f⁰⁡z est toujours égal à z; car, l’expression, elle-même indique qu’on ne prend pas la fonction f de z, et par conséquent qu’à cet égard z ne subit aucune modification. Ainsi

z=a⁰z=E⁰⁡z=Δ⁰z=E⁰/x z=E⁰/y z=…

Toute fonction inverse admet un complément arbitraire, lorsque la fonction directe du 1.ᵉʳ ordre a la propriété d’annuler dans son sujet certains termes, ou d’y rendre égaux à l’unité certains facteurs. Ainsi, par exemple, la différence Δ annulant, entre autres, les termes constans, la fonction inverse Δ⁻¹z prend, à cet égard, pour complément additionnel, la constante arbitraire A.

On a coutume de désigner par Σz, Σ²z, …Σⁿz, des fonctions de z qu’on appelle intégrales, et dont la définition est dans l’équation

ΔⁿΣⁿz=ΣⁿΔⁿz=z;

et, comme on a aussi (1)

ΔⁿΔ⁻ⁿz=Δ⁻ⁿΔⁿz=z;

il s’ensuit que

Σⁿz=Δ⁻ⁿz.

Par la même raison, L étant la notation du logarithme naturel et e celle de la base du système, on aura

LL⁻¹⁡z=z=L⁡e^{ζ};L²L⁻²⁡z=z=L²⁡e^{eζ};…

Donc aussi

e^{ζ}=L⁻¹⁡z;e^{eζ}=L⁻²⁡z;…

On trouvera de même

Sin.⁻¹z=Arc.(Sin.=z);Tang.⁻¹z=Arc.(Tang.=z);…

car on a

z=Sin.Sin.⁻¹z=Sin.Arc.(Sin.=z)

=Tang.Tang.⁻¹z=Tang.Arc.(Tang.=z).

Pour prévenir toute méprise, le produit de f⁡x par fy sera représenté par f⁡x.fy. L’expression f⁡xfy signifierait la fonction f du produit de x par fy. La puissance n de f⁡x sera indiquée par (f⁡x)ⁿ.

L’expression f⁡xⁿ il désignant la fonction f de la puissance n de x.

2. Soit

F⁡z=f⁡z+fz+φz+…;

c’est-à-dire, supposons que la fonction F de z est telle que, pour la former, il faut, à la fonction f de z, ajouter (algébriquement) une seconde fonction f de la même lettre, puis une troisième marquée par φ, et ainsi de suite. La fonction F est alors de la classe des fonctions polynômes. On peut indiquer cette signification de la fonction F par une notation très-expressive, qui a le grand avantage de permettre de traiter les fonctions polynômes comme des fonctions monômes, sans perdre de vue de quelle manière elles sont composées. On écrit pour cela

F⁡z=(f+f+φ+…)z

il en résulte qu’on a aussi

Fⁿ⁡z=(f+f+φ+…)ⁿz.

Si F′ est une autre fonction polynôme de z, donnée par l’équation

F′⁡z=(f′+f′+φ′+…)(f+f+φ+…)z;

on pourra aussi exprimer qu’on prend la fonction F′ de F⁡z, en écrivant

F′⁡F⁡z=(f′+f′+φ′+…)(f+f+φ+…)z;

et ainsi de suite.

Rien n’empêche qu’une, plusieurs ou toutes les fonctions monômes composantes ne soient des facteurs. Dans le dernier cas, après en avoir averti, on saura, sans équivoque (11), (12), que F⁡z, F′⁡F⁡z, … sont les produits de z multiplié par le polynôme f+f+φ+…,

ou par le produit (f′+f′+φ′+…)(f+f+φ+…).

3. Soit

φ(x+y+…)=φx+φy+…

Les fonctions qui, comme φ, sont telles que la fonction de somme (algébrique) d’un nombre quelconque de quantités est à la somme des fonctions pareilles de chacune de ces quantités seront appelées distributives.

Ainsi, parce que

a(x+y+…)=ax+ay+…;E⁡(x+y+…)=E⁡x+E⁡y+…;…

le facteur a, l’état varié E, … sont des fonctions distributives ; mais, comme on n’a pas

Sin.(x+y+…)=Sin.x+Sin.y+…;

L⁡(x+y+…)=L⁡x+L⁡y+…;…

les sinus, les logarithmes naturels,… ne sont point des fonctions distributives.

4. Soit

f⁡fz=ff⁡z.

Les fonctions qui, comme f et f, sont telles qu’elles donnent des résultats identiques, quel que soit l’ordre dans lequel on les applique au sujet, seront appelées commutatives entre elles.

Ainsi ; parce qu’on a

abz=baz;aE⁡z=E⁡az;…

les facteurs constans, a, b, le facteur constant a et l’état varié E sont des fonctions commutatives entre elles ; mais comme, a étant toujours constant et x variable, on n’a pas

Sin.az=aSin.z;E⁡xz=xE⁡z;Δxz=xΔz;…;

il s’ensuit que le sinus avec le facteur constant, l’état varié ou la différence avec le facteur variable, … n’appartiennent point à la classe des fonctions commutatives entre elles.

5. On recueille de ces simples notions plusieurs théorèmes importans.

Si deux fonctions simples φ, ψ sont distributives, la fonction monôme composée sera aussi distributive ; car puisque, par hypothèse

ψ(x+y)=ψx+ψy, φ(t+u)=φt+φu,

on aura évidemment

φψ(x+y)=φ(ψx+ψy)=φ(t+u)=φt+φu=φψt+φψu.

Il suit de là immédiatement que les différens ordres d’une fonction distributive sont aussi des fonctions distributives.

6. Si les fonctions monômes f, f, φ, … composantes de la fonction polynôme F sont distributives, la fonction polynôme F aura aussi la même propriété ; car, d’après la définition (10) on aura

F⁡(x+y)=f⁡(x+y)+f(x+y)+φ(x+y)+…;

mais, parce que f, f, φ, sont distributives, cette équation deviendra

F⁡(x+y)=f⁡x+fx+φx+…+f⁡y+fy+φy+…=F⁡x+F⁡y.

On dira la même chose (n.ᵒ 5) des différens ordres Fⁿ de la même fonction.

7. Si les fonctions f, f, φ, … sont commutatives entre elles deux à deux, de manière qu’on ait

f⁡fz=ff⁡z, fφz=φfz, …;

et si ensuite, ayant pris un certain nombre n de ces fonctions, on en forme toutes les fonctions monômes composées que peut fournir la permutation entre eux des n signes fonctionnaires, toutes les fonctions monômes composées résultantes seront équivalentes.

Ainsi, par exemple, si l’on prend les trois premières f, f, φ, on aura

f⁡fφz=ff⁡φz=f⁡φfz=φf⁡fz=fφf⁡z=φff⁡z.

Pour le démontrer généralement, considérons la fonction monôme

f…f⁡φψF⁡…z

on pourra, sans en changer la valeur, permuter entre elles deux lettres fonctionnaires consécutives quelconques φ, ψ, par exemple. Car, soit

F⁡…z=t,

on aura

φψF⁡…z=φψt;

or, par hypothèse,

φψt=ψφt;

donc

φψF⁡…z=ψφF⁡…z;

et, en prenant, de part et d’autre, la fonction composée,

f…f⁡φψF⁡…z=f…f⁡ψφF⁡…z.

Il suit de là que chaque lettre fonctionnaire peut être amenée à quelle place on veut de la combinaison première, et partant qu’on peut faire subir aux lettres fonctionnaires toutes les permutations possibles, sans altérer la valeur de la fonction composée.

On conclut évidemment de ce théorème que si, avec les lettres fonctionnaires cornmutatives entre elles deux à deux f, f, φ, … on forme, à volonté, de nouvelles fonctions, composées de deux, de trois,… lettres, telles que f⁡fz, φψF⁡z, …, toutes celles-ci seront aussi commutatives entre elles et avec la première.

8. Si f et f sont commutatives entre elles, elles le seront avecr leurs inverses qui seront aussi commutatives entre elles, c’est-à-dire, que, si l’on a

f⁡fz=ff⁡z,

on aura aussi

f⁡f⁻¹z=f⁻¹f⁡z;ff⁻¹⁡z=f⁻¹⁡fz;f⁻¹⁡f⁻¹z=f⁻¹f⁻¹⁡z;(16)

En effet, on a (1)

ff⁡f⁻¹⁡z=f⁡f⁻¹⁡fz;

or, (15)

ff⁡f⁻¹⁡z=f⁡ff⁻¹⁡z;

donc

f⁡ff⁻¹⁡z=f⁡f⁻¹⁡f⁡z;

et, en prenant de part et d’autre la fonction f⁻¹,

ff⁻¹⁡z=f⁻¹⁡fz.

C’est le premier des théorèmes (16), et le deuxième se démontrerait de la même manière. Quant au troisième on a (1)

f⁻¹ff⁻¹⁡z=f⁻¹⁡f⁻¹fz;

et, d’après le premier des théorèmes (16),

f⁻¹f⁻¹⁡fz=f⁻¹⁡f⁻¹fz;

laquelle devient le troisième théorème (16), en y changeant fz en z.

9. Des théorèmes (n.ᵒˢ 7, 8) on conclut, sans discussion, les formules qui suivent.

Quand f, f, φ, … étant commutatives entre elles, k, m, n, sont des nombres entiers positifs, on a

fⁿ⁡fᵐz=fᵐfⁿ⁡z;

puis, en désignant f.fz par φz,

φⁿz=fⁿ⁡fⁿz=fⁿfⁿ⁡z;

enfin, en désignant fⁿ⁡fᵐz par ψz,

ψᵏz=fᵏⁿ⁡fᵏᵐz=fᵏᵐfᵏⁿ⁡z.

10. Si les fonctions monômes d’une fonction polynôme sont à la fois distributives et commutatives entre elles, tous les ordres de la fonction polynôme seront des fonctions distributives (on le sait déjà d’après le n.ᵒ 6) et commutatives, non seulement avec les différens ordres des composantes, mais aussi avec tous les ordres des fonctions distributives qui sont commutatives avec ces dernières.

Soit

Fz=f⁡z+fz+…;

et supposons que les distributives f, f, …. soient commutatives tant entre elles qu’avec une distributive quelconque ϕ. On aura (n.ᵒ 6)

f⁡Fz=f²⁡z+f⁡fz+…=f²⁡z+ff⁡z+…=Ff⁡z.

On trouvera de même

fFz=Ffz, …, ϕFz=Fϕz.

Ajoutant à cela la considération fournie par la formule (17), la proposition se trouvera complètement démontrée.

11. Si les fonctions monômes de deux fonctions polynômes sont distributives et commutatives entre elles, les deux fonctions polynômes seront distributives (n.ᵒ 6) et commutatives entre elles. Soient, en effet,

Fz=f⁡z+fz+…;F′z=f′⁡z+f′z+…;

on aura évidemment

FF′z=f⁡f′⁡z+f⁡f′z+…+ff′⁡z+ff′z+…F′Fz=f′⁡f⁡z+f′⁡fz+…+f′f⁡z+f′fz+…}

or, d’après l’hypothèse, ces deux développemens sont composés de termes identiques deux à deux ; on a donc

FF′z=F′Fz.

Si l’on fait ensuite

F″z=f″⁡z+f″z+…,

en supposant f″, f″, … distributives et commutatives entre elles et avec f, f′, …, f′, f′, …; F″ sera commutative avec F, F′;

et par conséquent on aura (n.ᵒ 7)

FF′F″z=FF″F′z=F′FF″z=F′F″Fz=F″FF′z=F″F′Fz;

et ainsi du reste.

12. Le développement des fonctions monômes composées, telles que FF′⁡z, FF′F″⁡z, … (n.ᵒ 11) dont les fonctions simples sont des fonctions polynômes, lorsque d’ailleurs les fonctions monômes qui composent ces dernières sont distributives et commutatives entre elles, ne présente aucune difficulté. On a, dans les équations {20), le type de celui de FF′⁡z; on passe, par le même procédé, de celui-ci à celui de FF′F″⁡z, et ainsi de suite ; on sait donc développer les fonctions comprises dans la formule

FF′⁡…z=(f+f+…)(f′+f″+…)….

Le développement général d’un ordre quelconque Fⁿ⁡z d’une fonction polynôme F⁡z, aux fonctions monômes distributives et commutatives, ressortit à la théorie générale du développement des fonctions en séries, dont nous allons exposer les principes.

13. Je suppose qu’on ait respectivement

x=α, x=β, x=γ, x=δ, …, lorsqueφx=0, φ′x=0, φ″x=0, φ‴x=0, …, }

J’écris la suite indéfinie d’équations

F⁡ x=F⁡α+φx.F′⁡x, F′x=F′⁡β+φ′x.F″⁡x, F″⁡x=F″⁡γ+φ″x.F‴⁡x, ……………………;}

équations que je rends identiques, en supposan,

F′⁡x=F⁡x−F⁡α/φx, F″⁡x=F′⁡x−F′⁡α/φ′x, F‴⁡x=F″⁡x−F″⁡α/φ″x, …

Je prends la somme des produits respectifs des équations (23) par 1, φx, φx.φ′x, φx.φ′x.φ″x, …, et j’obtiens, en réduisant,

F⁡x=F⁡α+φx.F′⁡β+φx.φ′x.F″⁡γ+φx.φ′x.φ″x.F‴⁡δ+…

Les équations (24) donnent ensuite, sur-le-champ,

F′⁡β=F⁡β−F⁡α/φβ, F′⁡γ=F⁡γ−F⁡α/φγ, F′⁡δ=F⁡δ−F⁡α/φδ, …, F″⁡γ=F′⁡γ−F′⁡β/φ′γ, F″⁡δ=F′⁡δ−F′⁡β/φ′δ, F″⁡ε=F′⁡ε−F′⁡β/φ′ε …, F‴⁡δ=F″⁡δ−F″⁡γ/φ″δ, F‴⁡ε=F″⁡ε−F″⁡γ/φ″ε, F‴⁡ζ=F″⁡ζ−F″⁡γ/φζ, …, ……, ……, ……, …, }

Or, de celles-ci (26) on tire facilement les coefficens F′⁡β, F″⁡γ, F‴⁡δ, …, de l’équation (25), exprimés par les seules fonctions F, φ, φ′, φ″, … des constantes α, β, γ, …. On a, en effet,

F′⁡β=(F⁡β−F⁡α)/φβ, F″⁡γ=(F⁡γ−F⁡α)/φγ.φ′γ−(F⁡β−F⁡α/φβ.φ′γ, F‴⁡δ=(F⁡δ−F⁡α)/φδ.φ′δ.φ″δ−(F⁡γ−F⁡α)/φγ.φ′γ.φ″δ+(F⁡β−F⁡α)(φ′δ−φ′γ)/φβ.φ′γ.φ′δ.φ″δ, …………………………}

Voilà la série (25), de forme très-générale, établie analitiquement, par un procédé fort naturel et qui a l’apparence de la plus grande simplicité ; de sorte qu’il semble qu’il n’y ait plus qu’à descendre de là aux différens cas particuliers. Mais on a bientôt remarqué que ce procédé présente aussi de graves inconvéniens. Le premier est de conduire péniblement, même dans les cas les plus simples, à la loi qui règne entre les coefficiens F′⁡β, F″⁡γ, …; le deuxième, et il est majeur, est de ne rien donner dans le cas peut-être le plus utile, celui de l’égalité, en tout ou en partie, entre les constantes α, β, …; car, alors les coefficiens prennent, tous ou partie, la forme indéterminée 0/0. C’est ce qui a lieu, en particulier, quand toutes les fonctions φx, φ′x, … sont égales, et par conséquent lorsqu’il s’agit de développer F⁡x suivant les puissances d’une autre fonction φx, ou bien encore, quand les fonctions φx, φ′x, … étant différentes les unes des autres, sont toutes de la forme xⁿψx. Cependant, après un examen réfléchi, on reconnaît que ces inconvéniens ne sont pas insurmontables, et qu’ils disparaissent quand on modifie un peu le procédé ; et, en particulier, quand on n’attaque pas d’abord le problème général. Voici ce que j’ai trouvé de plus simple à cet égard.

14. Dans F⁡(x+y) je considère y seule comme variable, ayant α pour accroissement arbitraire et constant. J’écris l’équation identique

F⁡(x+y)=F⁡x+y{(F⁡(x+y)−F⁡x)/y};

laquelle, en faisant

(F⁡(x+y)−F⁡x)/y=fy,

devient

F⁡(x+y)=F⁡x+yfy.

Je prends les différences successives de l’équation (29), par rapport à y seule ; et pour cela je fais observer qu’en général (3)

Δ(φy.ψy)=φ(y+α).ψ(y+α)−φy.ψy;

ou bien

Δ(φy.ψy)=φy.Δψy+Δφy.ψ(y+α);

après quoi j’ai successivement

ΔF⁡(x+y)= αfy+(y+α)Δfy, Δ²F⁡(x+y)=2αΔfy+(y+2α)Δ²fy, Δ³F⁡(x+y)=3αΔ²fy+(y+3α)Δ³fy, ………………………………;

d’où, je tire, par transposition,

fy= (ΔF⁡(x+y))/α−((y+α))/α Δfy, 2Δfy= (Δ²F⁡(x+y))/α−((y+2α))/α Δ²fy, 3Δfy= (Δ³F⁡(x+y))/α−((y+3α))/α Δ³fy, ………………;}

prenant enfin la somme des produits respectifs de ces équations (31) par

y, −(y(y+α))/1.2.α, +(y(y+α)(y+2α))/1.2.3.α², …,

il vient en réduisant, et ayant égard à l’équation (29),

F⁡(x+y)=F⁡x+y/α ΔF⁡(x+y)−(y(y+α))/1.2.α² Δ²F⁡(x+y)+…;

ou bien, en transposant,

F⁡x=F⁡(x+y)−y/α ΔF⁡(x+y)+(y(y+α))/1.2.α² Δ²F⁡(x+y)

−(y(y+α)(y+2α))/1.2..3.α³ Δ³F⁡(x+y)+….

On peut donner à ce développement plusieurs autres formes, très-remarquables.

D’abord je fais x+y=p; relation qui donne, parce que x est constante,

Δ(x+y)=Δy=Δp=α;

par conséquent l’expression ΔⁿF⁡(x+y)

devient évidemment ΔⁿF⁡p,

les différences étant prises par rapport à p qui varie de α; on a ainsi

F⁡x=F⁡p+(x−p)/α ΔF⁡p+(x−p)(x−p−α)/1.2.α² Δ²F⁡p

+(x−p)(x−p−α)(x−p−2α)/1.2.3.α³ Δ³F⁡p+…

Dans ce nouveau développement, je change x en x+nα; alors le premier membre devient (2)

F⁡(x+nα)=EⁿF⁡x;

dans le second, x−p devient x−p+nα. Après cela je change p en x; alors Δp devient Δx, et ΔⁿFp devient ΔⁿF⁡x; les différences étant prises par rapport à x qui varie de α; il vient ainsi

EⁿF⁡x=F⁡(x+nα)=F⁡x+nΔF⁡x+n/1.n−1/2 Δ²F⁡x

+n/1.n−1/2.n−2/3 Δ³F⁡x+…

Ici je fais nα=m; d’où n=m/α ; et j’ai

F⁡(x+m)=F⁡x+m/α ΔF⁡x+m(m−α)/1.2.α² Δ²F⁡x

+m(m−α)(m−2α)/1.2.3.α³ Δ³F⁡x+…

Dans l’équation (35), je fais x=0; ce que j’exprimerai, relativement aux fonctions F⁡x, …ΔⁿF⁡x, en écrivant F⁡x₀, …ΔⁿF⁡x₀;

puis je change m en x, et j’ai

F⁡(x)=F⁡x₀+x/α ΔF⁡x₀+x(x−α)/1.2.α² Δ²F⁡x₀

+x(x−α)(x−2α)/1.2.3.α³ Δ³F⁡x₀+…

15. La série (33) est aussi donnée par le procédé du n.ᵒ 13, quand on fait

φx=x−p;φ′x=x−p−α;φ″x=x−p−2α;…;

mais il est bien plus difficile d’arriver à la forme générale et bien simple ΔᵐF⁡p

qui comprend tous les coefficiens. On conclut sur-lechamp de cette série la possibilité du développement de F⁡x suivant les puissances entières et positives de x−p/α ; bien que le procédé du n.ᵒ 13 ne donne rien à cet égard. En effet, les produits

x−p/α, (x−p)(x−p−α)/α², (x−p)(x−p−α)(x−p−2α)/α³, …,

étant développés, sont tous de la forme

A(x−p/α)+B(x−p/α)²+C(x−p/α)³+…;

de sorte qu’après ce développement, il s’agirait simplement d’ordonner par rapport aux puissances (x−p/α), (x−p/α)², …; et, sans calcul, on aperçoit déjà que le coefficient de la première puissance x−p/α serait la série

ΔF⁡p−1/2 Δ²F⁡p+1/3 Δ³F⁡p−…

Il ne serait même pas difficile de les déterminer tous d’après cette seule considération ; mais il sera, plus court d’en faire la recherche par un procédé analogue à celui qui vient d’être employé (n.ᵒ 14).

D’abord je prends la somme des produits respectifs des équations (31) par +1, −1/2, +1/3, −1/4+…,

ce qui donne, en réduisant et multipliant par α,

αfy=ΔF⁡(x+y)−1/2 Δ²F⁡(x+y)+1/3 Δ³F⁡(x+y)−…

−y{Δfy−1/2 Δ²fy+1/3 Δ³fy−…}

Ici je fais

ΔF⁡(x+y)−1/2 Δ²F⁡(x+y)+1/3 Δ³F⁡(x+y)−…=d⁡F⁡(x+y);

notation d’après laquelle on aura

Δfy−1/2 Δ²fy+1/3 Δ³fy−…=d⁡fy;

et, en général

Δz−1/2 Δ²z+1/3 Δ³z−…=d⁡z.

C’est la définition complète d’une nouvelle fonction de z, polynôme et même infinitinôme, en général, que j’appelle la différentielle de z.

Il s’ensuit, sur-le-champ, que

Δd⁡z−1/2 Δ²d⁡z+1/3 Δ³d⁡z−…=d²⁡z;

et, en général

Δdⁿ⁡z−1/2 Δ²dⁿ⁡z+1/3 Δ³dⁿ⁡z−…=dⁿ⁺¹⁡z.

d²⁡z, d³⁡z, …dⁿ⁡z, sont les différentielles de différens ordres de z.

Cela étant, l’équation (38) devient

αfy=d⁡F⁡(x+y)−yd⁡fy.

Je prends les différences successives de celle-ci, et j’ai, eu égard à la formule (30),

αΔ fy=Δd⁡F⁡(x+y)−αd⁡fy−(y+α)Δd⁡fy, αΔ²fy=Δ²d⁡F⁡(x+y)−2αΔd⁡fy−(y+2α)Δ²d⁡fy, αΔ³fy=Δ³d⁡F⁡(x+y)−3αΔ²d⁡fy−(y+3α)Δ³d⁡fy, ………………………………;

Je prends la somme des produits respectifs de ces équations par +1, −1/2, +1/3, −…

et j’ai, en réduisant

α(Δfy−1/2 Δ²fy+1/3 Δ³fy−…)=

Δd⁡F⁡(x+y)−1/2 Δ²d⁡F⁡(x+y)+1/3 Δ³d⁡F⁡(x+y)−…

−αd⁡fy−y(Δd⁡fy−1/2 Δ²d⁡fy+1/3 Δ³d⁡fy−…)

équation qui, d’après les notations fixées (39), (40), devient

αd⁡fy=d²⁡F⁡(x+y)−αd⁡fy−d²⁡fy,

ou bien

2αd⁡fy=d²⁡F⁡(x+y)−yd²⁡fy.

Je fais sur celle-ci les mêmes opérations que sur l’équation (41) ; c’est-à-dire, que je prends la somme des produits respectifs de ses différences successives par +1, −1/2, +1/3, −…

ce qui me donne, en réduisant, et ayant toujours égard aux notations (39), (40),

3αd⁡fy=d³⁡F⁡(x+y)−yd³⁡fy.

Le procédé détaillé pour passer de l’équation (41) à l’équation (42) sert évidemment de formule pour passer de celle-ci à l’équation (43), puis de cette dernière à une nouvelle, et ainsi de suite ; de sorte que c’est par une induction rigoureuse qu’on obtient la suite indéfinie d’équations

αfy=d⁡F⁡(x+y)−yd⁡fy, 2αd⁡ fy=d²⁡F⁡(x+y)−yd²⁡fy, 3αd²⁡fy=d³⁡F⁡(x+y)−yd³⁡fy, 4αd³⁡fy=d⁴⁡F⁡(x+y)−yd⁴⁡fy;……………………

En prenant la somme de leurs produits respectifs par

y/α, −y²/1.2.α², +y³/1.2.3.α³, −y⁴/1.2.3.4.α⁴, …,

il vient, en ayant égard à l’équation primitive (29),

F⁡(x+y)=F⁡x+y/α d⁡F⁡(x+y)−y²/1.2.α² d²⁡F⁡(x+y)

+y³/1.2.3.α³ d³⁡F⁡(x+y)−…;

d’où en transposant,

F⁡x=F⁡(x+y)−y/α d⁡F⁡(x+y)+y²/1.2.α² d²⁡F⁡(x+y)

−y³/1.2.3.α³ d³⁡F⁡(x+y)+…

Série bien analogue avec la série (32) et qui, comme cette dernière, prend, d’après les mêmes procédés, plusieurs formes différentes, savoir ;

F⁡x=F⁡p+(x−p)/α d⁡F⁡p+(x−p)²/1.2.α² d²⁡F⁡p

+(x−p)³/1.2.3.α³ d³⁡F⁡p+…;

EⁿF⁡x=F⁡(x+nα)=F⁡x+n/1 d⁡F⁡x+n²/1.2 d²⁡F⁡x

+n³/1.2.3 d³⁡F⁡x+…;

F⁡(x+m)=F⁡x+m/α d⁡F⁡x+m²/1.2.α² d²⁡F⁡x+m³/1.2.3.α³ d³⁡F⁡x+…

F⁡x=F⁡x₀+x/α d⁡F⁡x₀+x²/1.2.α² d²⁡F⁡x₀+x³/1.2.3.α³ d³⁡F⁡x₀+…

16. Je m’empresse d’appliquer ces formules au développement des différent ordres d’une même fonction.

Soit

F⁡x=φˣz;

la différence constante de x étant α, on aura (3)

ΔF⁡x=φˣ⁺ᵅz−φˣz.

Si la fonction φ est distribuiive, cette expression se changera en

ΔF⁡x=φˣ(φᵅz−z).

Admettons l’hypothèse, et faisons un moment

φᵅz−z=fz.

D’après les théorèmes (n.ᵒˢ 5, 6), φᵅ et f seront des fonctions distributives ; et, au lieu de (49), nous aurons

ΔF⁡x=φˣfz,

puis ; en prenant la différence de celle-ci,

Δ²F⁡x=φˣ⁺ᵅfz−φˣfz=φˣ(φᵅfz−fz)

Si la fonction φ est commutative avec les facteurs constans, elle le sera aussi, en vertu du théorème (n.ᵒ 10), avec la fonction binôme f, (50) c’est-à-dire, qu’on aura

φᵅfz=fφᵅz.

Admettons encore l’hypothèse ; parce que f est distributive, nous aurons, d’après (50),

φᵅfz−fz=fφᵅz−fz=f(φᵅz−z)=f²z;

ainsi, l’équation (51) devient

Δ²F⁡x=φˣf²z.

On trouverait de même

Δ³F⁡x=φˣf³z, Δ⁴F⁡x=φˣf⁴z, …;

et, par une induction manifeste

ΔᵐF⁡x=φˣfᵐz;

expression qui, si l’on veut faire usage de la notation proposée (n.ᵒ 2), devient

ΔᵐF⁡x=φˣ(φᵅ−1)ᵐz.

Or, on a (6)

F⁡x₀=φ⁰z=z, ΔᵐF⁡x₀=(φᵅ−1)ᵐz;

donc, par la formule (36), on aura

φˣz=z+x/α (φᵅ−1)z+x(x−α)/1.2.α² (φᵅ−1)²z

+x(x−α)(x−2α)/1.2.3.α³ (φᵅ−1)³z+…

Actuellement, d’après la définition (39) et la formule (52), on trouve

d⁡F⁡x=ΔF⁡x−1/2 Δ²F⁡x+…

=φˣ[(φᵅ−1)z−1/2 (φᵅ−1)²z+1/3 (φᵅ−1)³z−…]

Je désignerai, en général, la fonction polynôme, qui est ici entre parenthèses, par L⁡φᵅz; L sera ainsi la notation d’une fonction déterminée de φᵅz, dont la définition complète sera donnée par l’équation

L⁡φᵅz=(φᵅ−1)z−1/2 (φᵅ−1)²z+1/3 (φᵅ−1)³z−…

La fonction L s’appellera logarithme et L⁡φᵅz sera une fonction monôme composée qui s’énoncera : logarithme de φᵅ de z. Il est clair (n.ᵒ 10) que la fonction L⁡φᵅ est non seulement distributive, mais commutative avec la fonction φ et le facteur constant. Il n’en est pas de même de la fonction simple L.

Ainsi, l’équation (54) devient

d⁡F⁡x=φˣL⁡φᵅz.

De celle-ci on conclut sur-le-champ

d²⁡F⁡x=φˣ(L⁡φᵅ)²z, d³⁡F⁡x=φˣ(L⁡φᵅ)³z, …dᵐ⁡F⁡x=φˣ(L⁡φᵅ)ᵐz, ;

par conséquent, en faisant x=0 dans F⁡x, d⁡F⁡x, …dᵐ⁡F⁡x, on a, d’après la formule (48), cet autre développement de φˣz :

φˣz=z+x/α L⁡φᵅz+x²/1.2.α² (L⁡φᵅ)²z+x³/1.2.3.α³ (L⁡φᵅ)³z+…

Tirons quelques conséquences importantes. Dans (57) l’accroissement α étant arbitraire, je le fais égal à l’unité, et j’ai

φˣz=z+x/1 L⁡φz+x²/1.2 (L⁡φ)²z+x³/1.2.3 (L⁡φ)³z+…

Je compare cette expression, terme à terme, avec celle de l’équation (57) et, parce que x est absolument indéterminé, j’obtiens la relation

αL⁡φz=L⁡φᵅz.

Soit f une fonction distributive et commutative avec φ et les facteurs constats ; prenons de part et d’autre de l’équation (58) la fonction fˣ, nous aurons, eu égard à la formule (18, n.ᵒ 9),

fˣφˣz=(fφ)ˣz=fˣz+x/1 fˣL⁡φz+x²/1.2 fˣ(L⁡φ)²z+…

Développons chaque terme du second membre de celle-ci, par la même formule (58), et nous aurons visiblement

(fφ)ˣz=z+xL⁡fz+x²/1.2 (L⁡f)²z+…+xL⁡φz+2 x²/1.2 (L⁡f)(L⁡φ)z+…+x²/1.2 (L⁡φ)²z+…+…}

d’ailleurs., toujours, d’après, (58), on a cette autre expression

(f)ˣz=z+x(L⁡fφ)z+x²/1.2 (L⁡fφ)²z+…;

donc, en comparant terme à terme avec (60) ; nous aurons à cause de l’indéterminée x, la relation

L⁡fφz=L⁡fz+L⁡φx.

Supposons

L⁡φz=ψz:

prenons, de part et d’autre, la fonction inverse L⁻¹, et nous aurons (1)

φz=L⁻¹⁡ψz;φˣz=(L⁻¹⁡ψ)ˣz;

et par conséquent, d’après la formule (58),

(L⁻¹⁡ψ)ˣz=z+x/1 ψz+x²/1.2 ψ²z+x³/1.2.3 ψ³z+…

Soient encore f et φ deux fonctions dîstributives et commutatives tant entre elles, qu’avec les facteurs constans ; u et x étant des exposans arbitraires, on a sur-le-champ (1)

fᵘφˣz=L⁻¹⁡L⁡fᵘφˣz;

mais (61), (59) on a aussi

L⁡fᵘφˣz=L⁡fᵘz+L⁡φˣz=uL⁡fz+xL⁡φz;

donc (63) on aura, en employant la notation (n.ᵒ 2)

fᵘφˣz=L⁻¹⁡(uL⁡f+xL⁡φ)z;

et, d’après (62)

fᵘφˣz=z+(uL⁡f+xL⁡φ)z+1/1.2 (uL⁡f+xL⁡φ)²z

+1/1.2.3 (uL⁡f+xL⁡φ)³z+…

Faisons quelques hypothèses particulières, sur la forme de la fonction φ; et d’abord soit

φz=z+fz=(1+f)z;

en supposant α=1, on aura sur-le-champ, d’après (53), (58), (55)

(1+f)ˣz=z+x/1 fz+x/1 x−1/2 f²z+x/1 x−1/2 x−2/3 f³z+…(1+f)ˣz=z+x/1 L⁡(1+f)z+x²/1.2 [L⁡(1+f)]²z+…L⁡(1+f)z=fz−1/2 f²z+1/3 f³z−1/4 f⁴z+…}

Soit

φz=fz+f⁡z.

Je prends, de part et d’autre, la fonction inverse f⁻¹, et j’ai

f⁻¹φz=z+f⁻¹f⁡z,

laquelle, en faisant,

f⁻¹φz=ψz, f⁻¹f⁡z=F⁡z,

devient

ψz=z+L⁡z;

et d’après la formule (66), j’obtiendrai

ψˣz=z+x/1 F⁡z+x/1 x−1/2 F²⁡z+x/1 x−1/2 x−2/3 F³⁡z+…ψˣz=z+x/1 L⁡(1+F)z+x²/1.2 [L⁡(1+F)]²z+…L⁡(1+F)ζ=F⁡ζ−1/2 F²⁡ζ+1/3 F³⁡ζ−1/4 F⁴⁡ζ+…

Dans celles-ci, je mets pour ψζ et F⁡ζ leurs expressions d’hypothèse puis je prends, dans la première et la seconde, de part et d’autre la fonction f et j’ai

φˣ=(f+f)ˣζ=fˣζ+x/1 fˣ⁻¹f⁡ζ+x/1 x−1/2 fˣ⁻²f²⁡ζ+…φˣ=(f+f)ˣζ=fˣζ+x/1 L⁡(1+f⁡f⁻¹)fˣζ+x²/1.2 [L⁡(1+f⁡f⁻¹)]²fˣζ+…L⁡(1+f⁡f⁻¹)ζ=f⁡f⁻¹ζ−1/2 f²⁡f⁻²ζ+1/3 f³⁡f⁻³ζ−…}

Soit

φζ=fζ+f⁡ζ+ψζ.

On fera f⁡ζ+ψζ=F⁡ζ, et on aura (67) les développemens relatifs à

φˣζ=(f+F)ˣζ.

Dans ceux-ci, au lieu des différens ordres F²⁡ζ, F³⁡ζ, … on mettra leurs déveioppemens donnés par les mêmes équations (67) ; d’après

Fˣ⁡ζ=(f+ψ)ˣζ.

On voit, sans qu’il soit besoin d’insister, comment on arriverait aux deux développemens de l’ordre x de la fonction polynôme quelconque, aux fonctions distributives et commutatives ; c’est-à-dire, qu’on sait développer la fonction

φˣζ=(f+f+F+ψ+…)ˣζ.

17. Je vais appliquer ces généralités aux fonctions données par la considération des différences des quantités variables, fonctions que j’appellerai fonctions différentielles.

En considérant ζ comme fonction des deux seules variables x, y (ce que nous dirons pourra s’appliquer sans peine aux fonctions d’un plus grand nombre), ses fonctions différentielles, totales ou partielles, sont (n.ᵒ 1)

E⁡ζ, E/x ζ, E/y ζ ;Δζ, Δ/x ζ, Δ/y ζ ;d⁡ζ, d/x ζ, d/y ζ.

On voit que, d’après la notation proposée (n.ᵒ 1), pour les fonctions partielles, en général, nous exprimons les différentielles partielles par d/x ζ, d/y ζ, …

Les définitions des fonctions différentielles totales (3), (4), (39), exprimées d’après la notation proposée (n.ᵒ 2) pour les fonctions polynômes, seront

Eⁿ⁡ζ=(1+Δ)ⁿζ, Δⁿζ=(E−1)ⁿζ;dⁿ⁡ζ=(Δ−1/2 Δ²+1/3 Δ³−…)ⁿζ=[(E−1)−1/2 (E−1)²+…]ⁿζ}

Elles serviront de formules pour exprimer les fonctions différentielles partielles, en y changeant simplement E, Δ, d en E/x, Δ/x, d/x ou en E/y, Δ/y, d/y respectivement.

Ajoutons la formule qui établit la communication entre les fonctions totales et les fonctions partielles : c’est

F⁡ζ=E/x E/y ζ.

Elle est évidemment vraie ; car, pour avoir φ(x+α, y+β)=F⁡ζ, il suffit de changer d’abord y en y+β, c’est-à-dire, de prendre d’abord E/y ζ; ensuite, dans le résultat, de changer x en x+α c’est-à-dire, de prendre l’état varié E/x, selon x, de E/y ζ.

Cela posé, il est facile de voir d’abord que toutes les fonctions différentielles sont distributives. En effet, les états variés E, E/x, E/y le sont évidemment, ainsi que les facteurs constans. Or, d’après leurs définitions (69), les différences et différentielles totales ou partielles sont des fonctions polynômes dont les composantes sont des ordres d’états variés et des facteurs constans ; donc, en vertu du théorème (n.ᵒ 6), elles sont elles-mêmes distributives.

En second lieu, tous les états variés sont commutatifs avec le facteur constant ; il est même très-remarquable que tout état varié est commutatif avec toute fonction d’ordre constant ; c’est-à-dire ; qu’on a

E⁡φζ=φE⁡ζ, E/x φζ=φ E/x ζ, E/y φζ=φ E/y ζ.

Il est fort indifférent, en effet, de changer d’abord x en x+α, par exemple, dans la fonction ζ puis de prendre la fonction φ ou bien de prendre d’abord la fonction φ de ζ, pour y changer ensuite x en x+α. Il suit de là que les états variés sont commutatifs, tant entre eux qu’avec toutes les différences et différentielles.

En troisième lieu, les différences et différentielles, étant commutatives avec les états variés, et étant des fonctions polynômes composées d’états variés qui sont commutatifs avec les facteurs constans, seront, en vertu du théorème (n.ᵒ 10), commutatives avec Les facteurs constans.

En quatrième lieu, d’après la définition de la différence partielle Δ/x ζ, celle-ci sera commutative avec Δ/y ζ, et d/y ζ, (n.ᵒ 10), puisque ces dernières sont commutatives avec E/x ζ, et les facteurs constans.

En cinquième lieu, d’après la définition de la différentielle partielle d/x ζ, celle-ci sera commutative avec d/y ζ, (n.ᵒ 10), puisque cette dernière l’est avec les différens ordres de Δ/x ζ, et avec les facteurs constans.

De toutes ces observations réunies, il résulte que toutes les fonctions différentielles et leurs différens ordres, positifs ou négatifs, sont des fonctions commutatives, tant entre elles qu’avec les facteurs constans, On pourra y ajouter les fonctions intégrales

Σ, Σ/x, Σ/y ;∫, ∫/x, ∫/y,

ainsi que leurs differens ordres ; puisque ces fonctions ne sont que des différences et différentielles d’ordres négatifs (n.ᵒ 1).

Ainsi, toutes les formules données dans l’article précédent sont immédiatement applicables à toutes ces fonctions. On en recueille sur-le-champ plusieurs expressions abrégées dont voici les plus remarquables.

Dans la formule (46), je mets ζ au lieu de F⁡x; je compare avec l’équation (62), et j’ai

Eⁿ⁡ζ=(L⁻¹⁡d)ⁿζ;

et par conséquent aussi

Eⁿ/x ζ=(L⁻¹⁡ d/x )ⁿζ; Eⁿ/y ζ=(L⁻¹⁡ d/y )ⁿζ.

D’après les expressions précédentes et la définition Δⁿζ=(E−1)ⁿζ (69), on a sur-le-champ

Δⁿζ=(L⁻¹⁡d−1)ⁿζ; Δⁿ/x ζ=(L⁻¹⁡ d/x−1)ⁿζ;

Δⁿ/y ζ=(L⁻¹⁡ d/y−1)ⁿζ.

En comparant les définitions (69) de la différentielle avec la formule (55) on obtient

dⁿ⁡ζ=[L⁡(1+Δ)]ⁿζ=(LE)ⁿζ; dⁿ/x ζ=[L⁡(1+Δ/x )]ⁿζ=(L⁡ E/x )ⁿζ;

dⁿ/y ζ=[L⁡(1+Δ/y )]ⁿζ=(L⁡ E/y )ⁿζ.

Si, dans la formule Δⁿζ=(E−1)ⁿζ, on met, au lieu de E⁡ζ, l’expression équivalente E/x E/y ζ, qui elle-même (69) est équivalente à (1+Δ/x )(1+Δ/y )ζ, on aura

Δⁿζ=[(1+Δ/x )(1+Δ/y )−1]ⁿζ=[ E/y (1+Δ/x )−1]ⁿζ

=[ E/x (1+Δ/y )−1]ⁿζ.

Si, dans dⁿ⁡ζ=(LE)ⁿζ, on met, au lieu de E⁡ζ, l’expression (70), on aura

dⁿ⁡ζ=(L⁡ E/x E/y)ⁿζ;

or, d’après la formule (61) et les expressions (72), on a

L⁡ E/x E/y ζ=L⁡ E/x ζ+L⁡ E/y ζ=d/x ζ+d/y ζ=( d/x+d/y )ζ;

donc, au lieu de(76), on aura

dⁿ⁡ζ=( d/x+d/y )ⁿζ.

Si, dansl’équation (64), on change u, f, x, φ en m, E/x, n, E/y, respectivement, on aura

Eᵐ/x Eⁿ/y ζ=φ(x+mα, y+nβ)=L⁻¹⁡(mL⁡ E/x+nL⁡ E/y )ζ;

équation qui, d’après (62), deviendra

Eᵐ/x Eⁿ/y ζ=φ(x+mα, y+nβ)=L⁻¹⁡(m d/x+n d/y )ζ.

On sait (n.ᵒˢ 11, 18) développer toutes ces expressions abrégées.

C’est ici le lieu de faire observer qu’on peut former, en combinant les fonctions différentielles entre elles et avec les facteurs eonstans, une infinité de fonctions différentielles nouvelles qui toutes, d’après nos théorèmes généraux (n.ᵒˢ 5 … 10) seraient distributives et commutatives, tant entre elles qu’avec les facteurs constans. Ainsi, en affectant des notations particulières à des fonctions polynômes, telles, par exemple, que

az+bE⁡z, az+bE⁡z+cE²⁡z, d⁡z+ad²⁡z+bd³⁡z+…;

on formerait de nouveaux algorithmes qui auraient toutes leurs lois théoriques et pratiques dans les formules (n.ᵒ 16). Le Calcul des variations, en particulier, est le résultat d’une considération de cette espèce.

Les facteurs, étant des fonctions éminemment distributives et commutatives entre elles, sont visiblement compris comme cas particuliers dans nos formules. Alors l’expression L⁡φᵅ z est le logarithme naturel du facteur φᵅ qui multiplie z; l’autre expression L⁻¹⁡ψz est la même chose que l’expression vulgaire εψz, (n.ᵒ 1). Il n’est pas même nécessaire d’aller chercher ailleurs une théorie des logarithmes ; elle est toute entière dans la définition (55) et les formules (59), (61), (62). Par la même raison, les moyens de développement fournis par les élémens, pour élever un polynôme quelconque à une puissance quelconque, sont tous des cas particuliers de ceux qui conduisent au développement de la formule (68).

18. Nous avons, dans ce qui précède, esquissé l’ensemble des lois qui rapprochent et mettent en communication toutes les fonctions différentielles, c’est-à-dire, la théorie la plus générale du calcul différentiel. La pratique de ce calcul, laquelle, est autre chose que l’exécution des opérations indiquées dans les définitions, ne formerait pas une branche séparée, si on n’avait pas remarqué que, pour certaines classes de fonctions variables, les fonctions différentielles réduites se présentent sous des formes beaucoup plus simples qu’on n’aurait pu le préjuger. D’ailleurs les fonctions, variables en général, eu égard à l’état actuel de l’analise, se composent d’un assez petit nombre d’autres fonctions qu’on appelle élémentaires, et dont il suffit de connaître les fonctions différentielles pour être en état, d’après les règles du calcul ordinaire, de trouver celles des premières. Il serait déplacé d’entrer ici dans aucun détail concernant les états variés et les différences des fonctions élémentaires ; je me borne à la recherche de leurs différentielles.

Les fonctions élémentaires simples d’une seule variable x sont les fonctions monômes

xᵐ, aˣ, L⁡x, Sin.x, Cos.x,

dans lesquelles on attribue à x une différence constante. Les fonctions élémentaires composées sont

φx.ψx, (φx)ᵐ, aᵠˣ, L⁡φx, Sin.φx, Cos.φx.

Il y a, pour faire dépendre les différentielles de celles-ci, et, en général, des fonctions composées, de celles des fonctions simples, un théorème important qu’il faut préliminairement établir.

Soient y=φx, et F⁡y=F⁡φx; φ, F sont des fonctions quelconques. En supposant que la différence de y est la constante β, on a, par la formule (47)

F⁡(y+m)=F⁡y+m/β d⁡F⁡y+m²/1.2.β² d²⁡F⁡y+m³/1.2.3.β³ d³⁡F⁡y+…

Ici m est arbitraire ; partant, je puis faire

m=nd⁡φx+n²/1.2 d²⁡φx+n³/1.2.3 d³⁡φx+…

et j’aurai

F⁡(y+m)=F⁡y+n/β d⁡F⁡y.d⁡φx+n²/1.2.β d⁡F⁡y.d²⁡φx+…+n²/1.2.β² d²⁡F⁡y(d⁡φx)²+…+…}

mais, d’après la formule (46), eu égard à l’hypothèse (79), on a

φ(x+nα)=φx+n/1 d⁡φx+n²/1.2 d²⁡φx+…=y+m;

donc

F⁡(y+m)=F⁡φ(x+nα)

Je développe le second membre de celle-ci, par la même formule (46), et j’ai pour F⁡(y+m) cette autre expression

F⁡(y+m)=F⁡φx+n/1 d⁡F⁡φx+n²/1.2 d²⁡F⁡φx+…;

laquelle, comparée avec la première (80), donne sur-le-champ, à cause de l’indéterminée n,

d⁡F⁡φx=d⁡F⁡y/β.d⁡φx.

Si on avait x=ψt, en donnant à x la différence constante α, il est clair qu’on aurait, par la formule (81)

d⁡F⁡φψt=d⁡F⁡y/β.d⁡φx/α.d⁡ψt;

et ainsi de suite.

Cela posé, d’après la formule (56), en y supposant que la fonction φ devienne le facteur a, et que z soit égal à l’unité, nous avons

d⁡aˣ=aˣL⁡aᵅ;

α étant la variation constante de x. Dans cette hypothèse, on a α=Δx, 0=Δ²x=Δ³x=…; par conséquent, d’après la définition (39)

d⁡x=Δx=α.

D’ailleurs, d’après (59) on a

L⁡aᵅ=αL⁡a;

donc, au lieu de (82), on aura

d⁡aˣ=aˣd⁡x.L⁡a.

Supposons ensuite

F⁡φx=F⁡y=aᵠˣ=aʸ.

Nous aurons, d’après le théorème (81)

d⁡aᵠˣ=d⁡aʸ/β.d⁡φx.

Mais, d’après (83), puisque d⁡y=β par hypothèse, on a

d⁡aʸ=aʸL⁡a=aᵠˣL⁡a;

donc, on aura

d⁡aᵠˣ=aᵠˣd⁡φx.L⁡a;

c’est-à-dire, la formule pour différencier les exponentiels.

Si on fait attention que L⁡aᵠˣ=φxL⁡a, et par conséquent que d⁡φx.L⁡a=dL⁡aᵠˣ, la formule (84) deviendra

d⁡aᵠˣ=aᵠˣ.dL⁡aᵠˣ;

dans laquelle, si on fait F⁡x=aᵠˣ, ce qui est permis, on aura

dF⁡x=F⁡x.dLF⁡x;

c’est l’expression de ce théorème : la différentielle d’une variable est toujours égale à cette fonction multipliée par la différentielle de son logarithme.

On en conclut sur-le-champ

dLF⁡x=dF⁡x/F⁡x :

c’est la formule pour différencier les logarithmes naturels, en faisant attention que LF⁡x)ᵐ=mLF⁡x; d’après les formules (85), (86), on aura

d⁡(F⁡x)ᵐ=(F⁡x)ᵐ.dL⁡(F⁡x)ᵐ=m(F⁡x)ᵐ.dLF⁡x

=m(F⁡x)ᵐ⁻¹.dF⁡x:

c’est la formule de différentiation des puissances.

Puisque L⁡(φx.F⁡x)=L⁡φx+LF⁡x,

d⁡(φx.F⁡x)=φx.F⁡x.dL⁡(φx.F⁡x)=φx.F⁡x(dL⁡φx+dLF⁡x);

donc, d’après (86)

d⁡(φx.F⁡x)=F⁡x.d⁡φx+φx.dF⁡x:

c’est la formule de différentiation des produits.

Soit

F⁡x=(Cos.αx+√(−1)Sin.αx)/Cos.ˣα.

α est une constante, x est variable, et sa différence constante est 1. On a

ΔF⁡(x+1)=(Cos.α(x+1)+√(−1)Sin.α(x+1))/(Cos.ˣ⁺¹α)

−(Cos.αx+√(−1)Sin.αx)/Cos.ˣα ;

puis, en développant, par les formules trigonométriques connues les cosinus et sinus de αx+α, et en réduisant

ΔF⁡x=F⁡x.(√(−1).Tang.α);

par conséquent, en général

ΔᵐF⁡x=F⁡x(√(−1).Tang.α)ᵐ;

donc, d’après la définition (39), on aura

dF⁡x=F⁡x.[(√(−1).Tang.α)−1/2 (√(−1).Tang.α)²+…]

et, en comparant avec la formule (55),

dF⁡x=F⁡x.L⁡(1+√(−1).Tang.α).

D’ailleurs (88)

dF⁡x=(1/Cos.α)ˣ.d⁡(Cos.αx+√(−1).Sin.αx)

+(Cos.αx+√(−1).Sin.αx).d⁡(1/Cos.α)ˣ.

Mais d’une part, en différenciant la formule connue

Cos.²αx+Sin.²αx=1,

d’après (87), on trouve

dCos.αx=−Sin.αx/Cos.αx.dSin.αx;

et par conséquent

d⁡(Cos.αx+√(−1).Sin.αx)

=d.Sin.αx.√(−1)/Cos.αx (Cos.αx+√(−1).Sin.αx);

D’autre part, en se rappelant que d⁡x=1, on a, par la formule (83)

d⁡(1/Cos.αx)ˣ=−(1/Cos.αx)ˣL⁡Cos.α;

donc, en substituant cette expression et celle (93) dans (91), et comparant avec (90), on aura

d.Sin.αx.√(−1)/Cos.αx−L⁡Cos.α=L⁡(1+√(−1).Tang.α);

et de là en faisant

A√(−1)=L⁡(Cos.α+√(−1).Tang.α),

on tire

dSin.αx=ACos.αx;

puis, en mettant cette expression dans (92),

dCos.αx=−ASin.αx.

Si on changeait ici αx en x, on aurait ces formules

dSin.x=A/α Cos.x, dCos.x=−A/α Sin.x.

Ici la différente de x est 1 ; si x était fonction d’une autre variable, on aurait, en vertu du théorème (81)

dSin.x=A/α d⁡xCos.x, dCos.x=−A/α d⁡xSin.x.

Dans ces formules ; la quantité α est un arc arbitraire.

La constante A, quoique impliquée d’imaginaires, est facilement ramenée à une forme toute réelle. En effet, à cause de la formule connue

Cos.²α=1/(1+Tang.²α)=1/((1+√(−1).Tang.α)(1−√(−1).Tang.α)),

on a

A√(−1)=1/2 L⁡[Cos.²α.(1+√(−1).Tang.α)²]

=1/2 L⁡(((1+√(−1).Tang.α))/(1−√(−1).Tang.α));

et, en développant la dernière expression d’après une formule logarithmique connue, puis en divisant par √(−1),

A=Tang.α−1/3 Tang.³α+1/5 Tang.⁵α−…

Ainsi, quand on ne saurait pas d’ailleurs que cette expression de A est égale à α, on aurait toujours le moyen, d’après les équations (96), et (97), de différencier les fonctions trigonométriques. Au surplus, par les seuls élémens, on démontre que A/α=1 (voyez, Théorie des fonctions analitiques, n.ᵒ 28 de la 1.ʳᵉ édition, et n.ᵒ 23 de la seconde).

19. Nous avons vu naître le calcul différentiel du simple développement des fonctions d’une variable suivant les puissances de cette variable : ce calcul va nous servir maintenant à nous élever à quelque chose de plus général.

Supposons qu’on donne, entre les variables x, y, l’équatïônr V=0 et l’équation z=F⁡x. On peut du moins imaginer qu’on ait tiré de la première celle-ci y=φx, et qu’entre cette dernière et la seconde, on ait éliminé x, pour avoir z=fy ; de manière que l’hypothèse revient à donner les trois équations

y=φx, z=F⁡x, z=fy.

Alors, d’après la formule (45), on aura

F⁡x=fy=fp+(y−p)/1.d⁡fp/β+(y−p)²/1.2.d²⁡fp/β²+…

Dans celle-ci, p est une arbitraire qui a pour différence constante β. Je différencie l’équation (99), par rapport à x seul, et j’ai

dF⁡x=d⁡y.d⁡fp/β+(y−p)/1 d⁡y.d²⁡fp/β²+…

puis je suppose qu’en faisant y=p dans V=0, on trouve entre autres x=θ, et réciproquement ; on aura (98)

p=φθ, d⁡p=d⁡φθ, fp=fφθ=F⁡θ.

Ensuite, je fais y=p dans (100), et cette équation devient

dF⁡θ=d⁡φθ.d⁡fp/β ;

d’où

d⁡fp/β=dF⁡θ/d⁡φθ.

L’équation (101) est la même que (81), trouvée d’une autre manière. Je divise l’équation (100) par d⁡y, je différencie par rapport à x, et j’ai

d⁡(dF⁡x/d⁡y)=d⁡y.d²⁡fp/β²+(y−p)/1 d⁡y.d³⁡fp/β³+…

dans celle-ci, je fais y=p, et j’ai

d²⁡fp/β²=1/d⁡φθ d⁡(dF⁡θ/d⁡φθ).

J’opère sur l’équation (102) comme j’ai fait sur (99) et (100), c’est-à-dire, je divise par d⁡y, je différencie, je fais y=p, et j’ai

d³⁡fp/β³=1/d⁡φθ d⁡[ 1/d⁡φθ d⁡(dF⁡θ/d⁡φθ)].

L’induction est manifeste, et l’on voit que j’aurai, en général,

dⁿ⁡fp/βⁿ=1/d⁡φθ d⁡{ 1/d⁡φθ d⁡{ 1/d⁡φθ d⁡{… 1/d⁡φθ d⁡{dF⁡θ/d⁡φθ}}}…}.

Il y a, dans cette expression, un nombre n−1 de différentielles subordonnées. Elle est fort simple, mais on en découvre une autre qui se prête mieux aux développemens que la pratique exige, en employant un procédé qui n’est pas dépourvu d’élégance.

Je fais, pour abréger,

d⁡fp/β=A, d²⁡fp/β²=B, … dⁿ⁡fp/βⁿ=N.

Je multiplie successivement l’équation (99) par x−θ/y−p, (x−θ/y−p)², …; je fais d’ailleurs attention qu’en général

d⁡y/(y−p)ᵐ=−1/m−1 d⁡(y−p)⁻⁽ᵐ⁻¹⁾

relation qui se vérifie aisément, d’après la formule (87) ; et j’ai

(x−θ/y−p)dF⁡x=A(x−θ).d⁡y/y−p +B(x−θ).d⁡y+C/1.2 (x−θ).d⁡y+…(x−θ/y−p)²dF⁡x=−A(x−θ).d⁡(x−θ)⁻¹+B(x−θ).d⁡y/y−p+C/1.2 (x−θ)²d⁡y+…(x−θ/y−p)³dF⁡x=−A/2 (x−θ).d⁡(y−p)⁻²−B(x−θ).(y−p)⁻¹+C/1.2 (x−θ)³ d⁡y/y−p+…………………}

Or, d’après la formule (45), on a

y−p=(x−θ)d⁡φθ+(x−θ)²/1.2 d²⁡φθ+…;

puis, en différenciant par rapport à x

d⁡y=d⁡φθ+(x−θ)d²⁡φθ+…

Il suit d’abord de (106) que (y−p)⁻ᵐ et d⁡(y−p)⁻ᵐ seront respectivement des formes

(y−p)⁻ᵐ=A(x−θ)⁻ᵐ+B(x−θ)⁻ᵐ⁻¹+…

+G(x−θ)⁻¹+H+K(x−θ)+L(x−θ)²…

d⁡(y−p)⁻ᵐ=A′(x−θ)⁻ᵐ⁻¹+B′(x−θ)⁻ᵐ+…

+G′(x−θ)⁻²+0+K′+L′(x−θ)…

de cette dernière on conclut que, m étant un nombre entier plus grand que 0, il manque, dans le développement de d⁡(y−p)⁻ᵐ suivant les puissances ascendantes de (x−θ), le terme multiplié par (x−θ)⁻¹; puis ultérieurement que, n étant aussi un nombre plus grand que 0, il manquera, dans le développement de (x−θ)ⁿ⁺¹. d⁡(y−p)⁻ᵐ, le terme multiplié par (x−θ)ⁿ. D’ailleurs, il est évident (107) que, tantque n sera égal à m ou plus grand, ce développement ne renfermera point des puissances négatives de (x−θ). Mais, d’après la formule (87), q étant positif, d⁡(x−θ)𐞥 est nul, quand n>q; et dⁿ⁡(x−θ)𐞥 est de la forme R(x−θ)ʳ, r étant plus grand que zéro, quand n<q. Donc, en prenant la différence dⁿ de l’expression (x−θ)ⁿ⁺¹d⁡(y−p)⁻ᵐ, tous les termes où (x−θ) a un exposant moindre que n seront détruits, tous les autres prendront la forme R(x−θ)ʳ, puisque, le terme en (x−θ)ⁿ manquant, dans tous les autres, l’exposant de (x−θ) est plus grand que n; par conséquent, lorsqu’on fera x=0, on aura toujours

dⁿ⁡[(x−θ)ⁿ⁺¹.d⁡(y−p)⁻ᵐ]=0.

Il suit, en second lieu, de l’équation (106), que l’expression (x−θ)ⁿ⁺¹.d⁡y/y−p est toujours de la forme

(x−θ)ⁿ⁺¹.d⁡y/y−p=(x−θ)ⁿ+P(x−θ)ⁿ⁺¹+…;

mais (87) dⁿ⁡(x−θ)ⁿ=1.2.3.…n; donc, quand on fera x=θ, on aura toujours

dⁿ[(x−θ)ⁿ⁺¹.d⁡y/y−p ]=1.2.3.…n.

Je fais à présent l’application de ces deux observations importantes à la suite d’équations (104).

Je fais x=0 dans la première ; le premier terme, à cause de (109), devient A et les suivans s’anéantissent, donc

A={ x−θ/y−p dF⁡x}₀.

J’indiquerai par le 0, placé en flanc d’une expression, qu’il faut faire, dans son développement, x−θ=0.

Je différencie une fois la seconde équation (104), puis je fais x=0; le premier terme −Ad⁡[(x−θ)²d⁡(y−p)⁻¹] est nul (108) ; le second Bd⁡[(x−θ)² d⁡y/y−p ] devient B (109) ; tous les suivans s’évanouissent ; donc

B=d⁡{(x−θ/y−p)²dF⁡x}₀.

Je différencie deux fois de suite la troisième équation (104), puis je fais x=0; les deux premiers termes du second membre, étant dans le cas de (108), sont nuls ; le troisième se réduit à C d’après (109) ; les suivans sont visiblement nuls ; donc

C=d²⁡{(x−θ/y−p)³dF⁡x}₀.

Il n’est pas nécessaire d’aller plus loin pour conclure en toute rigueur qu’en général

N=dⁿ⁡fp/βⁿ=dⁿ⁻¹⁡{(x−θ/y−p)ⁿdF⁡x}₀

ainsi l’équation (99) devient

F⁡x=F⁡θ+(y−p)/1 {(x−θ/y−p)dF⁡x}₀+(y−p)²/1.2 d⁡{(x−θ/y−p)²dF⁡x}₀

+(y−p)³/1.2.3 d²⁡{(x−θ/y−p)³dF⁡x}₀+…

ou bien, si l’on veut mettre, pour y et p, les expressions correspondantes φx et φθ,

+(φx−φθ)³/1.2.3 {(x−θ)³dF⁡x/(φx−φθ)³}₀+…

C’est la formule du professeur Burman (voyez Mémoires de l’Institut, 1.ʳᵉ classe, tome II, page 16) ; dans le second des deux mémoires dont ceci est l’extrait, je l’avais déduite de la célèbre formule de Lagrange pour le retour des suites.

Dans l’expression (110) du terme général des coefficiens de la formule (111), on pourra mettre, avant les différentiations, au lieu de y−p, son expression en x, si la forme de l’équation V=0 le permet ; sinon, après les différentiations, il faudra substituer pour x−θ/y−p, d⁡y, d²⁡y, …

ce que deviennent ces fonctions, quand x−θ et y−p s’anéantissent à la fois ; ce qui sera possible, en général, d’après l’équation V=0.

Si l’équation donnée entre x et y est simplement y=φx, on aura d’après (105)

(x−θ/y−p)₀=1/d⁡φθ

en supposant toutefois que l’équation φx=0 ne donne pour x qu’une seule valeur égale à θ. C’est ce qu’il faudra substituer au lieu de x−θ/y−p après les développemens.

Si l’équation donnée entre x et y est par exemple

x−θ=(y−p)ψx,

qui donne en effet x=0 quand y=p et réciproquement ; l’équation (111) devient

F⁡x=F⁡θ+(y−p)^{ψθ}.dF⁡θ+(y−p)²/1.2 d⁡[(ψθ)².dF⁡θ]

+(y−p)³/1.2.3 d²⁡[(ψθ)³.dF⁡θ]+…

Celle-ci, quand on fait p=0, est la formule de Lagrange que nous venons de rappeler.

Soit, entre les variables x et y, la relation

x−θ=(y−λ)ψ(x, y),

qui donne x=θ quand y=λ, et réciproquement.

Dans la fonction donnée F⁡(x, y) et dans (114), je regarde x seul comme variable et j’ai, d’après la formule (113).

F⁡(x, y)=F⁡(θ, y)+(y−λ) d/θ F⁡(θ, y).ψ(θ, y)+…

+(y−λ)ⁿ/1.2.…n dⁿ/θ { d/θ F⁡(θ, y).[ψ(θ, y)]ⁿ}+…

F⁡(θ, y) et les coefficiens de (y−λ) sont des fonctions de y que je développe suivant les puissances de (y−λ), par le moyen de la formule (45) et j’ai, en faisant d’ailleurs pour abréger u=F⁡(θ−λ), v=ψ(θ−λ)

F⁡(θ, y)=u+(y−λ) d/λ u+(y−λ)²/1.2 d²/λ u.+(y−λ)³/1.2.3 d³/λ u+…;

dⁿ⁻¹/θ { d/θ F⁡(θ, y).[ψ(θ, y)]ⁿ}=

dⁿ⁻¹/θ ( d/θ u.vⁿ)+(y−λ) d/λ dⁿ⁻¹/θ ( d/θ u.vⁿ)+…

Je substitue ces résultats dans (115), j’ordonne suivant les puissances de (y−λ), et j’ai

F⁡(x, y)=u+A(y−λ)+B (y−λ)²/1.2+…+N (y−λ)ⁿ/1.2…n+…;

équation dans laquelle le terme général des coefficiens est

N=dⁿ/λ u+n dⁿ⁻¹/λ ( d/θ u.v)+n/1 n−1/2 dⁿ⁻²/λ d/θ ( d/θ u.v²)+…

+d/λ dⁿ⁻²/θ ( d/θ u.vⁿ⁻¹)+dⁿ⁻¹/θ ( d/θ u.vⁿ).

Telle est (116) une formule très-étendue, dont j’ai fait, dans mes deux mémoires, de nombreuses applications. J’y étais parvenu immédiatement, et par une méthode bien différente : celle de l’élimination des fonctions arbitraires, par les différentiations partielles ; méthode qui, maniée par les Laplace, les Lagrange, etc., a fourni les plus brillans résultats ; et qui, dans la matière dont nous nous occupons, permet d’aborder avec succès ce problème très-genéral : Une équation étant donnée entre plusieurs variables, développer une fonction proposée d’une ou de plusieurs de ces variables en série ordonnée suivant les puissances de l’une d’entr’elles, ou suivant les puissances et produits de plusieurs d’entr’elles. Je ne puis donner ici qu’une idée de la manière de procéder, en en faisant l’application à un cas peu compliqué.

Soit donnée l’équation.

ft=uφ(x+t)+vψ(x+t).

Il s’agit de développer F⁡(x+t) suivant les puissances et produits de u, v?

La résolution de l’équation (118) donnerait pour t une expression de la forme t=f(u, v, x):u, v, x n’ayant d’ailleurs entr’elles aucune équation de condition ; ainsi, on peut considérer t comme fonction des trois variables indépendantes u, v, x, dont les différences sont constantes et égales à l’unité, Cela étant, on sait, et il serait d’ailleurs facile de le conclure de la formule (78, n.ᵒ 17), qu’on a, en désignant, pour plus de simplicité, x+t par p,

F⁡p=F⁡p₀+u d/u F⁡p₀+u²/1.2 d²/u F⁡p₀+…+v d/v F⁡p₀+2 uv/1.2 d/u d/v F⁡p₀+…+v²/1.2 d²/v F⁡p₀+…+…}

Le zéro, en flanc de F⁡p, d/u F⁡p, d/v F⁡p, … signifie qu’il faut faire égales à zéro les variables u, v, après les développemens.

Je différencie successivement F⁡p par rapport à u, v, x, et j’ai, en faisant attention au théorème (81),

d/u F⁡p=d⁡F⁡p.d/u t; d/v F⁡p=d⁡F⁡p.d/v t; d/x F⁡p=d⁡F⁡p(1+d/x t).

J’élimine entre celles-ci d⁡F⁡p, et j’ai

d/u F⁡p=d/x F⁡p. d/u t/((1+d/x t)) ; d/v F⁡p=d/x F⁡p. d/v t/(1+d/x t).

Je différencie successivement l’équation (118) suivant u, v, x et j’écris les résultats comme il suit

d/u t(d⁡ft−ud⁡φp−vd⁡ψp)=φp, (121) d/v t(d⁡ft−ud⁡φp−vd⁡ψp)=ψp, (122)(1+d/x t)(d⁡ft−ud⁡φp−vd⁡ψp)=d⁡ft.(123)

J’élimine entre ces trois dernières le facteur polynôme commun à leurs premiers membres ; et j’ai

d/u t=φp/d⁡ft (1+d/x t), d/v t=ψp/d⁡ft (1+d/x t).

Je mets ces expressions (124) dans les équations (120), et j’ai

d/u F⁡p=d/x F⁡p.φp/d⁡ft ; d/v F⁡p=d/x F⁡p.ψp/d⁡ft.

Comme la fonction F est arbitraire, celles-ci donnent

d/u φp=d/x φp.φp/d⁡ft, d/v φp=d/x φp.ψp/d⁡ft, d/u ψp=d/x ψp.φp/d⁡ft, d/v ψp=d/x ψp.ψp/d⁡ft, }

Quand on fait, dans (118), u=v=0, il vient ft=0. Supposons que cette équation donne t=θ ; on aura F⁡p₀=F⁡(x+θ); et, d’après les équations (125),

d/u F⁡p₀=d/x F⁡(x+θ).(φ(x+θ))/d⁡fθ ; d/v F⁡p₀=d/x F⁡(x+θ).(ψ(x+θ))/d⁡fθ.

Voilà déjà les trois premiers termes du développement (119) entièrement déterminés. Pour passer outre, on différencie les équations (125), la première suivant u et v, la seconde suivant v et on a, pour d²/u F⁡p, d/u d/v F⁡p, d²/v F⁡p, des expressions qui contiennent linéaîrement les différentielles, selon u, v, x, de F⁡p, φp, ψp et t. On élimine Les différentielles suivant u et v, par le moyen des équations (124), (125), (126) ; et, réductions faites, il vient

d²/u F⁡p= d/x [ d/x F⁡p.(φp)²]/(d⁡ft)²−(d/x F⁡p.(φp)².d²⁡ft.(1+2 d/x t))/(d⁡ft)³, d/u d/v F= d/x [ d/x F⁡p.φp.ψp]/(d⁡ft)²−(d/x F⁡p.(φp).(ψp).d²⁡ft.(1+2 d/x t))/(d⁡ft)³, d²/v F⁡p= d/x [ d/x F⁡p.(ψp)²]/(d⁡ft)²−(d/x F⁡p.(ψp)².d²⁡ft.(1+2 d/x t))/(d⁡ft)³.}

Dans celles-ci, on satisfait à l’hypothèse u=v=0, qui donne t=θ, p=x+θ, et, d’après (123) d/x t=0; et on a les trois coefficiens différentiels d²/u F⁡p₀, d/u d/v F⁡p₀, d²/v F⁡p₀.

On continue de la même manière ; c’est-à-dire, on différencie les équations (127), suivant u et v, pour avoir d³/u F⁡p, d²/u d/v F⁡p, d/u d²/v F⁡p, d³/v F⁡p. Dans les résultats, les différentielles selon u et v de F⁡p, φp, ψp sont éliminées par les équations (125), (126) ; d/u t, d/v t, le sont d’après (124) ; on élimine les deux autres d/u d/x t, d/v d/x t, qui sont la même chose que d/x d/u t, d/x d/v t, respectivement, après avoir différencié suivant x les équations (124). Ensuite on satisfait à l’hypothèse u=v=0, qui donne 0=d/x t=d²/x t;

et, ce qu’il faut bien remarquer, en général dⁿ/x t=0; comme il est aisé de le conclure de l’équation (123) ; et on a les quatre coefficiens

d³/u F⁡p₀, d²/u d/v F⁡p₀, d/u d²/v F⁡p₀, d³/v F⁡p₀.

La route à suivre pour continuer indéfiniment est suffisamment reconnue ; et il est visible que tout se réduit à des différentiations, suivant u et v, des derniers résultats obtenus, et à l’élimination des différentielles, suivant u et v, de F⁡p, φp, ψp, d’après (125), et des différentielles de la forme dⁿ/x d/u t, dⁿ/x d/v t, d’après les équations (124) différenciées, suivant x, autant de fois qu’il est nécessaire.

Supposons actuellement, en particulier ft=t, et partant d⁡ft=1; en faisant cette hypothèse dans (125) et (126), on aura d’abord

d/u { d/x F⁡p.(φp)ᵐ}=(φp)ᵐ.d/x d/u F⁡p+d/x F⁡p.d/u (φp)ᵐ;

et comme, d’après (125), (126),

d/x d/u F⁡p=φp.d²/x F⁡p+d/x F⁡p.d/x φp;

d/u (φp)ᵐ=m(φp)ᵐ⁻¹.d/u φp=m(φp)ᵐ.d/x φp;

Il viendra, en réduisant,

d/u { d/x F⁡p.(φp)ᵐ}=d/x { d/x F⁡p.(φp)ᵐ⁺¹}.

On trouvera, de la même manière

d/v { d/x F⁡p.(φp)ᵐ.(ψp)ⁿ}=d/x { d/x F⁡p.(φp)ᵐ(ψp)ⁿ⁺¹}.

Cela étant, en différenciant successivement, par rapport à u, la première (125), on aura, eu égard à (128),

d²/u F⁡p=d/u ( d/x F⁡p.φp)=d/x { d/x F⁡p.(φp)²},

d³/u F⁡p=d/x d/u [ d/x F⁡p.(φp)²]=d²/x { d/x F⁡p.(φp)³};

et, en général

dᵐ/u F⁡p=dᵐ⁻¹/x { d/x F⁡p.(φp)ⁿ}.

On différenciera ensuite l’équation (130) successivement par rapport à v; et, en faisant attention à (129), on trouvera

d/v dᵐ/u F⁡p=dᵐ/u d/v F⁡p=dᵐ⁻¹/x d/v { d/x F⁡p.(φp)ᵐ}=dᵐ/x { d/x F⁡p.(φp)ᵐψp},

dᵐ/u d²/v F⁡p=(dᵐ⁺¹)/x { d/x F⁡p.(φp)ᵐ.(ψp)²};

et, en général

dᵐ/u dⁿ/v F⁡p=(dᵐ⁺ⁿ⁻¹)/x { d/x F⁡p.(φp)ᵐ.(ψp)ⁿ}.

C’est le terme général des coefficiens de développement cherché, où il n’y a plus qu’à satisfaire à la condition u=v=0, qui (118) donne t=0. Alors, dans notre terme général (131), p se change en x; les différentielles partielles suivant x deviennent totales ; il est alors

dᵐ/u dⁿ/v F⁡p₀=dᵐ⁺ⁿ⁻¹⁡{dF⁡x.(φx)ᵐ.(ψx)ⁿ};

on a enfin (119)

F⁡(x+t)=F⁡x+udF⁡x.φx+u²/1.2 d⁡{dF⁡x.(φx)²}+…+vdF⁡x.ψx+2 uv/1.2 d⁡{dF⁡x.φx.ψx}+…+v²/1.2 d⁡{dF⁡x.(ψx)²}+…+…}

Je m’abstiendrai de faire des applications des formules de développement qu’on vient de lire, pour ne pas excéder les limites que je me suis prescrites. En effet, mon projet a été uniquement d’offrir un aperçu un peu détaillé de la manière dont j’ai traité les principes du calcul différentiel, dans la 1.ʳᵉ partie du travail que j’ai eu l’honneur de présenter à la 1.ʳᵉ classe de l’institut ; les applications des formules de développement des fonctions en séries sont l’objet d’une seconde partie. J’y suis parvenu à déduire de ces formules, sans avoir besoin de recourir à aucune notation nouvelle, les formules principales fondées jusqu’ici sur l’analise combinatoire ou sur le calcul des dérivations. MM. les Commissaires de la classe ont bien voulu dire, à cet égard, dans leur rapport : « En rappelant ainsi au calcul différentiel des méthodes variées, et dont quelques-unes ne paraissent pas très-convenables à l’état actuel de l’analise, (l’auteur) a fait une chose très-utile pour la science. Il faut bien que tous les faits nouveaux, dès qu’ils composent un ensemble, quoiqu’ils ne semblent point avoir en eux-mêmes une très-grande importance, soient ramenés aux théories qui forment le corps de la science, et dont il est le plus à propos d’encourager la culture. »

Il serait encore plus étranger à mon dessein d’entrer dans aucun détail concernant la 3.ᵐᵉ partie, dans laquelle je m’occupe de la recherche des moyens pratiques les plus simples de développer ultérieurement, et jusqu’à ce qu’on ait mis en évidence les différences constantes, les différentielles des fonctions composées, dont l’ensemble est donné immédiatement par un premier développement, c’est-à-dire, par les formules de la seconde partie.

Mais il pourra n’être pas inutile maintenant de jeter un coup-d’œil général sur les divers systèmes qui, jusqu’ici, ont été suivis dans l’exposition des principes du calcul différentiel ; les réflexions que cet examen fera naître seront tout à fait propres à faire ressortir les avantages de la théorie qui vient d’être exposée, à prévenir de fausses interprétations, et enfin à réfuter les objections auxquelles cette théorie a pu et pourrait encore donner naissance.

* ↑ Ce qu’on va lire est, en substance, extrait de deux mémoires, sur le développement des fonctions en séries, par la méthode différentielle, présentés à la première classe de l’institut, le 1.ᵉʳ, vers la fin de 1805, le 2.ᵐᵉ, en 1809, et qui ont reçu l’approbation de la classe, sur un rapport de MM. Legendre et Lacroix, en date du 5 d’octobre 1812.
