ANALISE TRANSCENDANTE.
Essai sur un nouveau mode d’exposition des principes
du calcul différentiel ;
Par M.
Servois, professeur aux écoles d’artillerie.
[1]
≈≈≈≈≈≈≈≈≈
« À mesure que (l’analise) s’étend et s’enrichit de
nouvelles méthodes, elle devient plus compliquée,
et l’on ne peut la simplifier qu’en généralisant
et en réduisant, tout à la fois, les méthodes qui
peuvent être susceptibles de ces avantages. »
(Mécanique analitique, page 338.)
1. Je commence par fixer quelques notations et par donner quelques définitions.
J’exprime
Par
des fonctions quelconques de la quanttité quelconque
: je les appelle Fonctions monômes simples.
Par
des fonctions de fonctions de
ce sont des Fonctions monômes composées.
Par
la fonction marquée par
prise successivement 1 fois, 2 fois, 3 fois …, de la quantité
: ce sont des Fonctions monômes du 1.er, du 2.e du 3.e… du
ordre :
est l’exposant de l’ordre de la fonction.
Par
des fonctions de
dont la définition complète est donnée par l’équation générale
![{\displaystyle \operatorname {f} ^{n}z\operatorname {f} ^{-n}z=\operatorname {f} ^{-n}z\operatorname {f} ^{n}z=z\,:\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/a07f5cdfb481d830b7128c0064802e5530b6f32c)
(1)
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,
désigne la fonction
du binôme
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
exprime la fonction
des quantités
Si
; c’est-à-dire, si le sujet n’est pris qu’une fois, la fonction
est le facteur 1. Si
ou si le sujet est pris
fois, la fonction
est le facteur
En supposant que le sujet
soit complexe, par exemple,
étant des quantités variables, arbitraires ou indépendantes qui reçoivent respectivement les accroissemens invariables ou constans quelconques
si on a
![{\displaystyle \operatorname {f} z=\varphi (x+\alpha ,y+\beta ,\ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/16f832e0e8da8e5507deb609b9c00334479245df)
)
la fonction
est ce qu’on appelle l’état varié de
Je propose, avec Arbogast (Calculs des dérivations, n.° 442) de désigner cette fonction particulière par la lettre
; et j’adopte les définitions suivantes
![{\displaystyle \left.{\begin{aligned}\operatorname {E} z&=\varphi (x+\alpha ,y+\beta ,\ldots ),\\\operatorname {E} ^{-1}z&=\varphi (x-\alpha ,y-\beta ,\ldots ),\\\operatorname {E} ^{n}z&=\varphi (x+n\alpha ,y+n\beta ,\ldots ).\\\end{aligned}}\right\}(2)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cb6006cdd20ce16d164f5f8d9f5455a5a2a0774f)
Si
la fonction
est ce qu’on appelle la différence de
à laquelle est consacrée, depuis long-temps, la lettre
Ainsi ; on a les definitions
![{\displaystyle \Delta z=\operatorname {E} z-z=\varphi (x+\alpha ,y+\beta ,\ldots )-\varphi (x,y,\ldots ).\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/09d3939f2eebc0b19445ab5a10f5c35113324580)
(3)
On conclut de là, sur-le-champ, cette autre expression de l’état varié
![{\displaystyle \operatorname {E} z=z+\Delta z.\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/3a62a23d035efb7e979fda5a292df375c017f81b)
(4)
Quand le sujet
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
n’est prise que par rapport à
on écrira
si la fonction ne doit atteindre que
ocx on écrira
et ainsi de suite.
sont donc les fonctions
partielles de
Ainsi,
étant un facteur, on aura la définition suivante du facteur
partiel
![{\displaystyle {\frac {a}{x}}z=\varphi (ax,y,\ldots ).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e4ae29b1bd70a0e076e659218f17aa2d9320718d)
De même, d’après (2), (3), on aura les définitions suivantes des états partiels partiels et des différences partielles
![{\displaystyle \left.{\begin{aligned}{\frac {\operatorname {E} ^{n}}{x}}z&=\varphi (x+n\alpha ,y,\ldots );{\frac {\operatorname {E} ^{n}}{y}}z=\varphi (x,y+n\beta ,\ldots )\,;\\{\frac {\Delta }{x}}z&=\varphi (x+\alpha ,y,\ldots )-\varphi (x,y,\ldots )={\frac {\operatorname {E} }{x}}z-z\,;\\{\frac {\Delta }{y}}z&=\varphi (x,y+\beta ,\ldots )-\varphi (x,y,\ldots )={\frac {\operatorname {E} }{y}}z-z.\\\end{aligned}}\right\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2587edcc7a02ac4b63b267c78263cf838d48f6ad)
(5)
est toujours égal à
car, l’expression, elle-même indique qu’on ne prend pas la fonction
de
et par conséquent qu’à cet égard
ne subit aucune modification. Ainsi
![{\displaystyle z=a^{0}z=\operatorname {E} ^{0}z=\Delta ^{0}z={\frac {\operatorname {E} ^{0}}{x}}z={\frac {\operatorname {E} ^{0}}{y}}z=\ldots \qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/61a25328a6eac3528de4b584ce29588b71b14a25)
(6)
Toute fonction inverse admet un complément arbitraire, lorsque la fonction directe du 1.er 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
prend, à cet égard, pour complément additionnel, la constante arbitraire
On a coutume de désigner par
des fonctions de
qu’on appelle intégrales, et dont la définition est dans l’équation
![{\displaystyle \Delta ^{n}\Sigma ^{n}z=\Sigma ^{n}\Delta ^{n}z=z\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/279d9c3bbc16b6681d0807222b2ed4d84cd74556)
et, comme on a aussi (1)
![{\displaystyle \Delta ^{n}\Delta ^{-n}z=\Delta ^{-n}\Delta ^{n}z=z\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2478a4f20f5fcaadb9a4bebd084653f1448a0e89)
il s’ensuit que
![{\displaystyle \Sigma ^{n}z=\Delta ^{-n}z.\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/41d3a91d16207964093bcfad9f37339892f8558d)
(7)
Par la même raison,
étant la notation du logarithme naturel et
celle de la base du système, on aura
![{\displaystyle \operatorname {LL^{-1}} z=z=\operatorname {L} e^{\zeta }\,;\qquad \operatorname {L^{2}L^{-2}} z=z=\operatorname {L^{2}} e^{e^{\zeta }}\,;\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/4fe9bfc6a589ea8d56302beeea1386eb86911b91)
Donc aussi
![{\displaystyle e^{\zeta }=\operatorname {L^{-1}} z\,;\qquad e^{e^{\zeta }}=\operatorname {L^{-2}} z\,;\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/b7630cd869d02c274ea5082e6a8f33dd2b4b36bf)
(8)
On trouvera de même
![{\displaystyle \operatorname {Sin} .^{-1}z=\operatorname {Arc} .(\operatorname {Sin} .=z)\,;\quad \operatorname {Tang} .^{-1}z=\operatorname {Arc} .(\operatorname {Tang} .=z)\,;\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/d4ee9ff82280264931ae4902ee5fcc924cb6f5b7)
(9)
car on a
![{\displaystyle z=\operatorname {Sin} .\operatorname {Sin} .^{-1}z=\operatorname {Sin} .\operatorname {Arc} .(\operatorname {Sin} .=z)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/720c73c227058fdbd5e6a31ddc77cb4cc8901b60)
![{\displaystyle =\operatorname {Tang} .\operatorname {Tang} .^{-1}z=\operatorname {Tang} .\operatorname {Arc} .(\operatorname {Tang} .=z).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1591da90e08dcb5e6ec0de8e0b26f71fb0ee48be)
Pour prévenir toute méprise, le produit de
par
sera représenté par
L’expression
signifierait la fonction
du produit de
par
La puissance
de
sera indiquée par
L’expression
il désignant la fonction
de la puissance
de
2. Soit
![{\displaystyle \operatorname {F} z=\operatorname {f} z+{\mathcal {f}}z+\varphi z+\ldots \,;\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/993bc1a38faf2d44ea3524e782c5d7c8840bff8d)
(10)
c’est-à-dire, supposons que la fonction
de
est telle que, pour la former, il faut, à la fonction
de
ajouter (algébriquement) une seconde fonction
de la même lettre, puis une troisième marquée par
et ainsi de suite. La fonction
est alors de la classe des fonctions polynômes. On peut indiquer cette signification de la fonction
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
![{\displaystyle \operatorname {F} z=(\operatorname {f} +{\mathcal {f}}+\varphi +\ldots )z}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e8aa941d2283eb9c8c48e4908fad0b76763170ec)
il en résulte qu’on a aussi
![{\displaystyle \operatorname {F} ^{n}z=(\operatorname {f} +{\mathcal {f}}+\varphi +\ldots )^{n}z.\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/063c2647390743d645b6226288412593dc5fb6dd)
(11)
Si
est une autre fonction polynôme de
donnée par l’équation
![{\displaystyle \operatorname {F} 'z=(\operatorname {f} '+{\mathcal {f}}'+\varphi '+\ldots )(\operatorname {f} +{\mathcal {f}}+\varphi +\ldots )z\,;\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/a51ed3df62ec25a22a5fcb56b0b10a37361a69bb)
on pourra aussi exprimer qu’on prend la fonction
de
en écrivant
![{\displaystyle \operatorname {F} '\operatorname {F} z=(\operatorname {f} '+{\mathcal {f}}'+\varphi '+\ldots )(\operatorname {f} +{\mathcal {f}}+\varphi +\ldots )z\,;\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/efc6bf0abee15a49b2601b0afa205eaa191e78d7)
(12)
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
sont les produits de
multiplié par le polynôme
ou par le produit
3. Soit
![{\displaystyle \varphi (x+y+\ldots )=\varphi x+\varphi y+\ldots \qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/0f2f904cf63a1f8596e47f33bb3e2ffa2843ccb5)
(13)
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
![{\displaystyle a(x+y+\ldots )=ax+ay+\ldots \,;\qquad \operatorname {E} (x+y+\ldots )=\operatorname {E} x+\operatorname {E} y+\ldots \,;\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/04f64063dc77cd36f627cb3b95905c59ec0ca769)
le facteur
l’état varié
sont des fonctions distributives ; mais, comme on n’a pas
![{\displaystyle \operatorname {Sin} .(x+y+\ldots )=\operatorname {Sin} .x+\operatorname {Sin} .y+\ldots \,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/33185e95ed3e1411c850be644ccbbc314326f929)
![{\displaystyle \ \operatorname {L} (x+y+\ldots )=\operatorname {L} x+\operatorname {L} y+\ldots \,;\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/68279d99f6e90886ee37ff4edd628c5751701163)
les sinus, les logarithmes naturels,… ne sont point des fonctions distributives.
4. Soit
![{\displaystyle \operatorname {f} {\mathcal {f}}z={\mathcal {f}}\operatorname {f} z.\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/c5ed309d2cac15a2f34253dc997b04c522d68467)
(14)
Les fonctions qui, comme
et
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
![{\displaystyle abz=baz\,;\qquad a\operatorname {E} z=\operatorname {E} az\,;\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/26048aca90fc51ffac4f5d7cee53c0224e5b1f9b)
les facteurs constans,
le facteur constant
et l’état varié
sont des fonctions commutatives entre elles ; mais comme,
étant toujours constant et
variable, on n’a pas
![{\displaystyle \operatorname {Sin} .az=a\operatorname {Sin} .z\,;\qquad \operatorname {E} xz=x\operatorname {E} z\,;\qquad \Delta xz=x\Delta z\,;\ldots \,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b02e6e2b9190200f65bd033bf5502f8f9a3baa8c)
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
![{\displaystyle \psi (x+y)=\psi x+\psi y,\qquad \varphi (t+u)=\varphi t+\varphi u,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cd99ab0351cc2b47ff51a0e86b739cf707eb4f70)
on aura évidemment
![{\displaystyle \varphi \psi (x+y)=\varphi (\psi x+\psi y)=\varphi (t+u)=\varphi t+\varphi u=\varphi \psi t+\varphi \psi u.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/931924b1b41f6df12c7ae24cfc93f72be95daa96)
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
composantes de la fonction polynôme
sont distributives, la fonction polynôme
aura aussi la même propriété ; car, d’après la définition (10) on aura
![{\displaystyle \operatorname {F} (x+y)=\operatorname {f} (x+y)+{\mathcal {f}}(x+y)+\varphi (x+y)+\ldots \,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d44097c595127b533b1ee0b6cd368b28d230c2fc)
mais, parce que
sont distributives, cette équation deviendra
![{\displaystyle \operatorname {F} (x+y)=\operatorname {f} x+{\mathcal {f}}x+\varphi x+\ldots +\operatorname {f} y+{\mathcal {f}}y+\varphi y+\ldots =\operatorname {F} x+\operatorname {F} y.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b5085365bd466b985853188c85dfcce0bc8975c7)
On dira la même chose (n.o 5) des différens ordres
de la même fonction.
7. Si les fonctions
sont commutatives entre elles deux à deux, de manière qu’on ait
![{\displaystyle \operatorname {f} {\mathcal {f}}z={\mathcal {f}}\operatorname {f} z,\qquad {\mathcal {f}}\varphi z=\varphi {\mathcal {f}}z,\ldots \qquad \,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8a79556c357195ca00425c818e7b7706d690faee)
et si ensuite, ayant pris un certain nombre
de ces fonctions, on en forme toutes les fonctions monômes composées que peut fournir la permutation entre eux des
signes fonctionnaires, toutes les fonctions monômes composées résultantes seront équivalentes.
Ainsi, par exemple, si l’on prend les trois premières
on aura
![{\displaystyle \operatorname {f} {\mathcal {f}}\varphi z={\mathcal {f}}\operatorname {f} \varphi z=\operatorname {f} \varphi {\mathcal {f}}z=\varphi \operatorname {f} {\mathcal {f}}z={\mathcal {f}}\varphi \operatorname {f} z=\varphi {\mathcal {f}}\operatorname {f} z.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/34a0d796baaa796f0b69e07634f91f1a996bdba3)
Pour le démontrer généralement, considérons la fonction monôme
![{\displaystyle {\mathcal {f}}\ldots \operatorname {f} \varphi \psi \operatorname {F} \ldots z}](https://wikimedia.org/api/rest_v1/media/math/render/svg/63211430fee7176cd25c0f49d09099cb3c8fdd95)
on pourra, sans en changer la valeur, permuter entre elles deux lettres fonctionnaires consécutives quelconques
par exemple. Car, soit
![{\displaystyle \operatorname {F} \ldots z=t,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e2f5146458afc3df3a51731e099ca199d91ecbfa)
on aura
![{\displaystyle \varphi \psi \operatorname {F} \ldots z=\varphi \psi t\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/481496fd4656a3f5d306401a74b4f791c06bc997)
or, par hypothèse,
![{\displaystyle \varphi \psi t=\psi \varphi t\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4e8647fd4aeefd06b0414039decbf9bdb2f4d92e)
donc
![{\displaystyle \varphi \psi \operatorname {F} \ldots z=\psi \varphi \operatorname {F} \ldots z\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0dd2b294c7ae4fbdc73681963d6a5465f85a3a25)
et, en prenant, de part et d’autre, la fonction composée,
![{\displaystyle {\mathcal {f}}\ldots \operatorname {f} \varphi \psi \operatorname {F} \ldots z={\mathcal {f}}\ldots \operatorname {f} \psi \varphi \operatorname {F} \ldots z.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8cc0b4929d6279acf7328735934b1a6c3cfe0e59)
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
on forme, à volonté, de nouvelles fonctions, composées de deux, de trois,… lettres, telles que
toutes celles-ci seront aussi commutatives entre elles et avec la première.
8. Si
et
sont commutatives entre elles, elles le seront avecr leurs inverses qui seront aussi commutatives entre elles, c’est-à-dire, que, si l’on a
![{\displaystyle \operatorname {f} {\mathcal {f}}z={\mathcal {f}}\operatorname {f} z,\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/eb45676575deeb73c0489335aeab4d70cd4e9994)
(15)
on aura aussi
![{\displaystyle \operatorname {f} {\mathcal {f}}^{-1}z={\mathcal {f}}^{-1}\operatorname {f} z\,;\quad {\mathcal {f}}\operatorname {f} ^{-1}z=\operatorname {f} ^{-1}{\mathcal {f}}z\,;\quad \operatorname {f} ^{-1}{\mathcal {f}}^{-1}z={\mathcal {f}}^{-1}\operatorname {f} ^{-1}z\,;\quad (16)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fe3c64ab9014111c48bff1f8f68acd3ae22ce56f)
En effet, on a (1)
![{\displaystyle {\mathcal {f}}\operatorname {f} \operatorname {f} ^{-1}z=\operatorname {f} \operatorname {f} ^{-1}{\mathcal {f}}z\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/70f51433e2f57af1b745a2c192c3f1d1bfc565b0)
or, (15)
![{\displaystyle {\mathcal {f}}\operatorname {f} \operatorname {f} ^{-1}z=\operatorname {f} {\mathcal {f}}\operatorname {f} ^{-1}z\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/28671ad150b864b08ce4c320ed3a3b10c8844446)
donc
![{\displaystyle \operatorname {f} {\mathcal {f}}\operatorname {f} ^{-1}z=\operatorname {f} \operatorname {f} ^{-1}\operatorname {f} z\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fec37ef5e6ce6c88d89ad00b5a4ba26a9dc9f9d1)
et, en prenant de part et d’autre la fonction
,
![{\displaystyle {\mathcal {f}}\operatorname {f} ^{-1}z=\operatorname {f} ^{-1}{\mathcal {f}}z.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/07942f2dbd82fbb2da5c231497fb97d0c0c2adfa)
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)
![{\displaystyle {\mathcal {f}}^{-1}{\mathcal {f}}\operatorname {f} ^{-1}z=\operatorname {f} ^{-1}{\mathcal {f}}^{-1}{\mathcal {f}}z\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4058f55791ea1017f7fb4842bc7102c7d496869c)
et, d’après le premier des théorèmes (16),
![{\displaystyle {\mathcal {f}}^{-1}\operatorname {f} ^{-1}{\mathcal {f}}z=\operatorname {f} ^{-1}{\mathcal {f}}^{-1}{\mathcal {f}}z\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6eda2264ad45d40d849f5353fd56a5499f063e9e)
laquelle devient le troisième théorème (16), en y changeant
en ![{\displaystyle z.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fd7f273b229260c8fe9aa42378b0471336394cc2)
9. Des théorèmes (n.os 7, 8) on conclut, sans discussion, les formules qui suivent.
Quand
étant commutatives entre elles,
sont des nombres entiers positifs, on a
![{\displaystyle \operatorname {f} ^{n}{\mathcal {f}}^{m}z={\mathcal {f}}^{m}\operatorname {f} ^{n}z\,;\qquad \qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/7ae61bd60b402f1e184b8328f28a0c7827e92842)
(17)
puis, en désignant
par ![{\displaystyle \varphi z,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f8256a9d2f6de74647c72f5fc596734c83562587)
![{\displaystyle \varphi ^{n}z=\operatorname {f} ^{n}{\mathcal {f}}^{n}z={\mathcal {f}}^{n}\operatorname {f} ^{n}z\,;\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/7ce9ac07170df31561664694c77ee48b4d2206df)
(18)
enfin, en désignant
par ![{\displaystyle \psi z,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2bb84aa6467d487368ca3e4dcb75479605e44db4)
![{\displaystyle \psi ^{k}z=\operatorname {f} ^{kn}{\mathcal {f}}^{km}z={\mathcal {f}}^{km}\operatorname {f} ^{kn}z.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e2e16475f13c7dfd22c1309d9a093e3ffe5c9d25)
(19)
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.o 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
![{\displaystyle \mathbf {F} z=\operatorname {f} z+{\mathcal {f}}z+\ldots \,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ec792151aeb19ad79c3939b080b060ef0bc87334)
et supposons que les distributives
. soient commutatives tant
entre elles qu’avec une distributive quelconque
On aura (n.o 6)
![{\displaystyle \operatorname {f} \mathbf {F} z=\operatorname {f} ^{2}z+\operatorname {f} {\mathcal {f}}z+\ldots =\operatorname {f} ^{2}z+{\mathcal {f}}\operatorname {f} z+\ldots =\mathbf {F} \operatorname {f} z.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/59065bdc8e9f979c61e73710bceeaeb6bdf3ef4f)
On trouvera de même
![{\displaystyle {\mathcal {f}}\mathbf {F} z=\mathbf {F} {\mathcal {f}}z,\ldots ,\phi \mathbf {F} z=\mathbf {F} \phi z.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a778b147f586a872a3625656257993c942f059f2)
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.o 6) et commutatives entre elles.
Soient, en effet,
![{\displaystyle \mathbf {F} z=\operatorname {f} z+{\mathcal {f}}z+\ldots \,;\qquad \mathbf {F} 'z=\operatorname {f} 'z+{\mathcal {f}}'z+\ldots \,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/65fea12c6d5d2ef5ff23872222dcf722f421feea)
on aura évidemment
![{\displaystyle \left.{\begin{aligned}\mathbf {F} \mathbf {F} 'z&=\operatorname {f} \operatorname {f} 'z+\operatorname {f} {\mathcal {f}}'z+\ldots +{\mathcal {f}}\operatorname {f} 'z+{\mathcal {f}}{\mathcal {f}}'z+\ldots \\\mathbf {F} '\mathbf {F} z&=\operatorname {f} '\operatorname {f} z+\operatorname {f} '{\mathcal {f}}z+\ldots +{\mathcal {f}}'\operatorname {f} z+{\mathcal {f}}'{\mathcal {f}}z+\ldots \\\end{aligned}}\right\}\quad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/77a219cb5239483d645b7ec224eeb90f3d100d70)
(20)
or, d’après l’hypothèse, ces deux développemens sont composés de termes identiques deux à deux ; on a donc
![{\displaystyle \mathbf {F} \mathbf {F} 'z=\mathbf {F} '\mathbf {F} z.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8dcdd0c7d65a3858d9d1dfad7ceb06cafa0a090e)
Si l’on fait ensuite
![{\displaystyle \mathbf {F} ''z=\operatorname {f} ''z+{\mathcal {f}}''z+\ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cdb33d63f9e019db49ec44834b99c448ee2c83c0)
en supposant
distributives et commutatives entre elles et avec
sera commutative avec
et par conséquent on aura (n.o 7)
![{\displaystyle \mathbf {F} \mathbf {F} '\mathbf {F} ''z=\mathbf {F} \mathbf {F} ''\mathbf {F} 'z=\mathbf {F} '\mathbf {F} \mathbf {F} ''z=\mathbf {F} '\mathbf {F} ''\mathbf {F} z=\mathbf {F} ''\mathbf {F} \mathbf {F} 'z=\mathbf {F} ''\mathbf {F} '\mathbf {F} z\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fc25a969d9787165ed7459a27f21d0d197d54ba4)
et ainsi du reste.
12. Le développement des fonctions monômes composées, telles que
(n.o 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
on passe, par le même procédé, de celui-ci à celui de
et ainsi de suite ; on sait donc développer les fonctions comprises dans la formule
![{\displaystyle \operatorname {FF} '\ldots z=(\operatorname {f} +{\mathcal {f}}+\ldots )(\operatorname {f} '+{\mathcal {f}}''+\ldots )\ldots .\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/c5e6ffb8f11ecfbb1e380fa4124300d4185325dc)
(21)
Le développement général d’un ordre quelconque
d’une fonction polynôme
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
![{\displaystyle \left.{\begin{array}{rrrrr}x=\alpha ,&x=\beta ,&x=\gamma ,&x=\delta ,&\ldots ,\\{\text{lorsque}}\qquad \varphi x=0,&\varphi 'x=0,&\varphi ''x=0,&\varphi '''x=0,&\ldots ,\\\end{array}}\right\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f8d671a47101a504a83d29ade2cfe17ee23b77fa)
(22)
J’écris la suite indéfinie d’équations
![{\displaystyle \left.{\begin{aligned}\operatorname {F} \ \,x&=\operatorname {F} \alpha +\varphi x.\operatorname {F} 'x,\\\operatorname {F} '\,x&=\operatorname {F} '\beta +\varphi 'x.\operatorname {F} ''x,\\\operatorname {F} ''x&=\operatorname {F} ''\gamma +\varphi ''x.\operatorname {F} '''x,\\\ldots \ldots &\ldots \ldots \ldots \ldots \ldots \ldots \,;\\\end{aligned}}\right\}\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/aa2bc9bcfd6093783942c6c6e0e951a0de3f93a7)
(23)
équations que je rends identiques, en supposan,
![{\displaystyle \operatorname {F} 'x={\frac {\operatorname {F} x-\operatorname {F} \alpha }{\varphi x}},\ \operatorname {F} ''x={\frac {\operatorname {F} 'x-\operatorname {F} '\alpha }{\varphi 'x}},\ \operatorname {F} '''x={\frac {\operatorname {F} ''x-\operatorname {F} ''\alpha }{\varphi ''x}},\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/fb7712501f1e31140a29ec85d1e5a5964b16f5ca)
(24)
Je prends la somme des produits respectifs des équations (23)
par
et j’obtiens, en réduisant,
![{\displaystyle \operatorname {F} x=\operatorname {F} \alpha +\varphi x.\operatorname {F} '\beta +\varphi x.\varphi 'x.\operatorname {F} ''\gamma +\varphi x.\varphi 'x.\varphi ''x.\operatorname {F} '''\delta +\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/e7e368915cad365cbec1bae338261ac369982b2a)
(25)
Les équations (24) donnent ensuite, sur-le-champ,
![{\displaystyle \left.{\begin{array}{lll}\operatorname {F} '\beta ={\frac {\operatorname {F} \beta -\operatorname {F} \alpha }{\varphi \beta }},&\operatorname {F} '\gamma ={\frac {\operatorname {F} \gamma -\operatorname {F} \alpha }{\varphi \gamma }},&\operatorname {F} '\delta ={\frac {\operatorname {F} \delta -\operatorname {F} \alpha }{\varphi \delta }},\ldots ,\\\operatorname {F} ''\gamma ={\frac {\operatorname {F} '\gamma -\operatorname {F} '\beta }{\varphi '\gamma }},&\operatorname {F} ''\delta ={\frac {\operatorname {F} '\delta -\operatorname {F} '\beta }{\varphi '\delta }},&\operatorname {F} ''\varepsilon ={\frac {\operatorname {F} '\varepsilon -\operatorname {F} '\beta }{\varphi '\varepsilon }}\ldots ,\\\operatorname {F} '''\delta ={\frac {\operatorname {F} ''\delta -\operatorname {F} ''\gamma }{\varphi ''\delta }},&\operatorname {F} '''\varepsilon ={\frac {\operatorname {F} ''\varepsilon -\operatorname {F} ''\gamma }{\varphi ''\varepsilon }},&\operatorname {F} '''\zeta ={\frac {\operatorname {F} ''\zeta -\operatorname {F} ''\gamma }{\varphi \zeta }},\ldots ,\\\ldots \ldots ,&\ldots \ldots ,&\ldots \ldots ,\ldots ,\\\end{array}}\right\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6f64b35291159bd972b5cb2ee73a04fc57a8c0d3)
(26)
Or, de celles-ci (26) on tire facilement les coefficens
de l’équation (25), exprimés par les seules fonctions
des constantes
On a, en effet,
![{\displaystyle \left.{\begin{aligned}\operatorname {F} '\beta &={\frac {(\operatorname {F} \beta -\operatorname {F} \alpha )}{\varphi \beta }},\\\operatorname {F} ''\gamma &={\frac {(\operatorname {F} \gamma -\operatorname {F} \alpha )}{\varphi \gamma .\varphi '\gamma }}-{\frac {(\operatorname {F} \beta -\operatorname {F} \alpha }{\varphi \beta .\varphi '\gamma }},\\\operatorname {F} '''\delta &={\frac {(\operatorname {F} \delta -\operatorname {F} \alpha )}{\varphi \delta .\varphi '\delta .\varphi ''\delta }}-{\frac {(\operatorname {F} \gamma -\operatorname {F} \alpha )}{\varphi \gamma .\varphi '\gamma .\varphi ''\delta }}+{\frac {(\operatorname {F} \beta -\operatorname {F} \alpha )(\varphi '\delta -\varphi '\gamma )}{\varphi \beta .\varphi '\gamma .\varphi '\delta .\varphi ''\delta }},\\\ldots &\ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \\\end{aligned}}\right\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9639baf6d4ecbf67a3dd282073facf7751c40edb)
(27)
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
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
C’est ce qui a lieu, en particulier, quand toutes les fonctions
sont égales, et par conséquent lorsqu’il s’agit de développer
suivant les puissances d’une autre fonction
ou bien encore, quand les fonctions
étant différentes les unes des autres, sont toutes de la forme
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
je considère
seule comme variable, ayant
pour accroissement arbitraire et constant. J’écris l’équation identique
![{\displaystyle \operatorname {F} (x+y)=\operatorname {F} x+y\left\{{\frac {\operatorname {F} (x+y)-\operatorname {F} x}{y}}\right\}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4c05ee5a68fdc8b33ea0756c7606cf961680f660)
laquelle, en faisant
![{\displaystyle {\frac {\operatorname {F} (x+y)-\operatorname {F} x}{y}}={\mathcal {f}}y,\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/b8b7dce6c4478cd94289046c02cdeac7241d890b)
(28)
devient
![{\displaystyle \operatorname {F} (x+y)=\operatorname {F} x+y{\mathcal {f}}y.\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/7b9038eb75d5a3c481f1017c34b9a41241d68b07)
(29)
Je prends les différences successives de l’équation (29), par rapport à
seule ; et pour cela je fais observer qu’en général (3)
![{\displaystyle \Delta (\varphi y.\psi y)=\varphi (y+\alpha ).\psi (y+\alpha )-\varphi y.\psi y\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dafe8b78ebd79b7375b8bcc0f5fbb606762b9a21)
ou bien
![{\displaystyle \Delta (\varphi y.\psi y)=\varphi y.\Delta \psi y+\Delta \varphi y.\psi (y+\alpha )\,;\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/562e1116d3335030ce82a7ee50a478333e8001b9)
(30)
après quoi j’ai successivement
![{\displaystyle {\begin{array}{rll}\Delta \operatorname {F} (x+y)=&\ \alpha {\mathcal {f}}y&+(y+\alpha )\Delta {\mathcal {f}}y,\\\Delta ^{2}\operatorname {F} (x+y)=&2\alpha \Delta {\mathcal {f}}y&+(y+2\alpha )\Delta ^{2}{\mathcal {f}}y,\\\Delta ^{3}\operatorname {F} (x+y)=&3\alpha \Delta ^{2}{\mathcal {f}}y&+(y+3\alpha )\Delta ^{3}{\mathcal {f}}y,\\\ldots \ldots \ldots \ldots &\ldots \ldots \ldots \ldots &\ldots \ldots \ldots \ldots \,;\\\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/40d562ea46a1eee2003098a0cc869598cc230b58)
d’où, je tire, par transposition,
![{\displaystyle \left.{\begin{array}{rl}{\mathcal {f}}y=&{\frac {\Delta \operatorname {F} (x+y)}{\alpha }}-{\frac {(y+\alpha )}{\alpha }}\Delta {\mathcal {f}}y,\\2\Delta {\mathcal {f}}y=&{\frac {\Delta ^{2}\operatorname {F} (x+y)}{\alpha }}-{\frac {(y+2\alpha )}{\alpha }}\Delta ^{2}{\mathcal {f}}y,\\3\Delta {\mathcal {f}}y=&{\frac {\Delta ^{3}\operatorname {F} (x+y)}{\alpha }}-{\frac {(y+3\alpha )}{\alpha }}\Delta ^{3}{\mathcal {f}}y,\\\ldots \ldots &\ldots \ldots \ldots \ldots \,;\end{array}}\right\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/78cc9bd6eebb8d253449a30c2ceb51da996b3919)
(31)
prenant enfin la somme des produits respectifs de ces équations (31) par
![{\displaystyle y,\qquad -{\frac {y(y+\alpha )}{1.2.\alpha }},\qquad +{\frac {y(y+\alpha )(y+2\alpha )}{1.2.3.\alpha ^{2}}},\ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f794d29514fc5cd29adff92d910e6d6aaecd5ae1)
il vient en réduisant, et ayant égard à l’équation (29),
![{\displaystyle \operatorname {F} (x+y)=\operatorname {F} x+{\frac {y}{\alpha }}\Delta \operatorname {F} (x+y)-{\frac {y(y+\alpha )}{1.2.\alpha ^{2}}}\Delta ^{2}\operatorname {F} (x+y)+\ldots \,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/110b4a254fd49c68741e32e7ce5c0404c762111c)
ou bien, en transposant,
![{\displaystyle \operatorname {F} x=\operatorname {F} (x+y)-{\frac {y}{\alpha }}\Delta \operatorname {F} (x+y)+{\frac {y(y+\alpha )}{1.2.\alpha ^{2}}}\Delta ^{2}\operatorname {F} (x+y)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8ce5b0c7ef0ab1735e9575c8fb084cd908bfff25)
![{\displaystyle -{\frac {y(y+\alpha )(y+2\alpha )}{1.2..3.\alpha ^{3}}}\Delta ^{3}\operatorname {F} (x+y)+\ldots .\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/5f4ff6538de57b0759269f505cfe43c57ad030df)
(32)
On peut donner à ce développement plusieurs autres formes, très-remarquables.
D’abord je fais
relation qui donne, parce que
est constante,
![{\displaystyle \Delta (x+y)=\Delta y=\Delta p=\alpha \,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d327bf70e66ebacafc43937deffcaad37bbeef2c)
par conséquent l’expression
devient évidemment
les différences étant prises par rapport à
qui varie de
on a ainsi
![{\displaystyle \operatorname {F} x=\operatorname {F} p+{\frac {(x-p)}{\alpha }}\Delta \operatorname {F} p+{\frac {(x-p)(x-p-\alpha )}{1.2.\alpha ^{2}}}\Delta ^{2}\operatorname {F} p}](https://wikimedia.org/api/rest_v1/media/math/render/svg/305f9ea840dd620be5fea86dbeb2f343b694498d)
![{\displaystyle +{\frac {(x-p)(x-p-\alpha )(x-p-2\alpha )}{1.2.3.\alpha ^{3}}}\Delta ^{3}\operatorname {F} p+\ldots \qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/8ac3c5848a759b05aa9cc8cf81b2ceb3cdb9b6fd)
(33)
Dans ce nouveau développement, je change
en
alors le premier membre devient (2)
![{\displaystyle \operatorname {F} (x+n\alpha )=\operatorname {E^{n}F} x\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8a2e22f7db7390e13b0e0ffdde5cdf14921146f0)
dans le second,
devient
Après cela je change
en
alors
devient
et
devient
les différences étant prises par rapport à
qui varie de
il vient ainsi
![{\displaystyle \operatorname {E^{n}F} x=\operatorname {F} (x+n\alpha )=\operatorname {F} x+n\Delta \operatorname {F} x+{\frac {n}{1}}.{\frac {n-1}{2}}\Delta ^{2}\operatorname {F} x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/37eb312fa69a1b68527c51b029c2cc9e48418cf5)
![{\displaystyle +{\frac {n}{1}}.{\frac {n-1}{2}}.{\frac {n-2}{3}}\Delta ^{3}\operatorname {F} x+\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/c6a3646d7c89a7a6730ed42738daf73033d690bb)
(34)
Ici je fais
d’où
et j’ai
![{\displaystyle \operatorname {F} (x+m)=\operatorname {F} x+{\frac {m}{\alpha }}\Delta \operatorname {F} x+{\frac {m(m-\alpha )}{1.2.\alpha ^{2}}}\Delta ^{2}\operatorname {F} x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/325b0c59a67af44d7ace02f13a21a51ccb9d8ab6)
![{\displaystyle +{\frac {m(m-\alpha )(m-2\alpha )}{1.2.3.\alpha ^{3}}}\Delta ^{3}\operatorname {F} x+\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/95fed00775c9c7f87cf5ccb23a9d91ade63fa528)
(35)
Dans l’équation (35), je fais
ce que j’exprimerai, relativement aux fonctions
en écrivant
puis je change
en
et j’ai
![{\displaystyle \operatorname {F} (x)=\operatorname {F} x_{0}+{\frac {x}{\alpha }}\Delta \operatorname {F} x_{0}+{\frac {x(x-\alpha )}{1.2.\alpha ^{2}}}\Delta ^{2}\operatorname {F} x_{0}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8016133b94626b311e8e70569c7fa231afb89992)
![{\displaystyle +{\frac {x(x-\alpha )(x-2\alpha )}{1.2.3.\alpha ^{3}}}\Delta ^{3}\operatorname {F} x_{0}+\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/ac23894ac36ffe4f689d840907123993f95a3974)
(36)
15. La série (33) est aussi donnée par le procédé du n.o 13, quand on fait
![{\displaystyle \varphi x=x-p\,;\qquad \varphi 'x=x-p-\alpha \,;\qquad \varphi ''x=x-p-2\alpha \,;\ldots \,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/98bacabd1655828fdda8fb9fd457d1d9cd4793da)
mais il est bien plus difficile d’arriver à la forme générale et bien simple
qui comprend tous les coefficiens. On conclut sur-lechamp de cette série la possibilité du développement de
suivant les puissances entières et positives de
bien que le procédé du n.o 13 ne donne rien à cet égard. En effet, les produits
![{\displaystyle {\frac {x-p}{\alpha }},\quad {\frac {(x-p)(x-p-\alpha )}{\alpha ^{2}}},\quad {\frac {(x-p)(x-p-\alpha )(x-p-2\alpha )}{\alpha ^{3}}},\ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/87b8616ea036d65a30658dc70c45ba69233e4b0a)
étant développés, sont tous de la forme
![{\displaystyle {\mathcal {A}}\left({\frac {x-p}{\alpha }}\right)+B\left({\frac {x-p}{\alpha }}\right)^{2}+C\left({\frac {x-p}{\alpha }}\right)^{3}+\ldots \,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8829b5445cc6c5d8dafe2fab0f95ed8a05578ccd)
de sorte qu’après ce développement, il s’agirait simplement d’ordonner par rapport aux puissances
et, sans calcul, on aperçoit déjà que le coefficient de la première puissance
serait la série
![{\displaystyle \Delta \operatorname {F} p-{\tfrac {1}{2}}\Delta ^{2}\operatorname {F} p+{\tfrac {1}{3}}\Delta ^{3}\operatorname {F} p-\ldots \qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/3b43164f965ee0f45575336b91cacd742665ab03)
(37)
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.o 14).
D’abord je prends la somme des produits respectifs des équations (31) par
ce qui donne, en réduisant et multipliant par
![{\displaystyle \alpha {\mathcal {f}}y=\Delta \operatorname {F} (x+y)-{\tfrac {1}{2}}\Delta ^{2}\operatorname {F} (x+y)+{\tfrac {1}{3}}\Delta ^{3}\operatorname {F} (x+y)-\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/28bf66744fd2158ce24c4ed69fe5b3a05d127b1e)
![{\displaystyle -y\left\{\Delta {\mathcal {f}}y-{\tfrac {1}{2}}\Delta ^{2}{\mathcal {f}}y+{\tfrac {1}{3}}\Delta ^{3}{\mathcal {f}}y-\ldots \right\}\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/d9d65d6a66de295d35b09c380232d61ab2d7d2cf)
(38)
Ici je fais
![{\displaystyle \Delta \operatorname {F} (x+y)-{\tfrac {1}{2}}\Delta ^{2}\operatorname {F} (x+y)+{\tfrac {1}{3}}\Delta ^{3}\operatorname {F} (x+y)-\ldots =\operatorname {d} \operatorname {F} (x+y)\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ed411a02fb5fd363f7e1115033a0e6567a202262)
notation d’après laquelle on aura
![{\displaystyle \Delta {\mathcal {f}}y-{\tfrac {1}{2}}\Delta ^{2}{\mathcal {f}}y+{\tfrac {1}{3}}\Delta ^{3}{\mathcal {f}}y-\ldots =\operatorname {d} {\mathcal {f}}y\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/721a3ce9ffd280b696501fb9714158e78f614686)
et, en général
![{\displaystyle \Delta z-{\tfrac {1}{2}}\Delta ^{2}z+{\tfrac {1}{3}}\Delta ^{3}z-\ldots =\operatorname {d} z.\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/4f99ef4b6689d333050b3936170336a7338b02f0)
(39)
C’est la définition complète d’une nouvelle fonction de
polynôme et même infinitinôme, en général, que j’appelle la différentielle de ![{\displaystyle z.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fd7f273b229260c8fe9aa42378b0471336394cc2)
Il s’ensuit, sur-le-champ, que
![{\displaystyle \Delta \operatorname {d} z-{\tfrac {1}{2}}\Delta ^{2}\operatorname {d} z+{\tfrac {1}{3}}\Delta ^{3}\operatorname {d} z-\ldots =\operatorname {d} ^{2}z\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f37c5bd117977fa64a8eb94b3862d1329cf3a5f0)
et, en général
![{\displaystyle \Delta \operatorname {d} ^{n}z-{\tfrac {1}{2}}\Delta ^{2}\operatorname {d} ^{n}z+{\tfrac {1}{3}}\Delta ^{3}\operatorname {d} ^{n}z-\ldots =\operatorname {d} ^{n+1}z.\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/50c82457ae988930d4f96835e1a76d4e778b8d43)
(40)
sont les différentielles de différens ordres de ![{\displaystyle z.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fd7f273b229260c8fe9aa42378b0471336394cc2)
Cela étant, l’équation (38) devient
![{\displaystyle \alpha fy=\operatorname {d} \operatorname {F} (x+y)-y\operatorname {d} fy.\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/52b96b7f632ba21012666559f83645f67c6480d7)
(41)
Je prends les différences successives de celle-ci, et j’ai, eu égard à la formule (30),
![{\displaystyle {\begin{array}{rl}\alpha \Delta \ \ fy&=\Delta \operatorname {d} \operatorname {F} (x+y)-\alpha \operatorname {d} fy-(y+\alpha )\Delta \operatorname {d} fy,\\\alpha \Delta ^{2}fy&=\Delta ^{2}\operatorname {d} \operatorname {F} (x+y)-2\alpha \Delta \operatorname {d} fy-(y+2\alpha )\Delta ^{2}\operatorname {d} fy,\\\alpha \Delta ^{3}fy&=\Delta ^{3}\operatorname {d} \operatorname {F} (x+y)-3\alpha \Delta ^{2}\operatorname {d} fy-(y+3\alpha )\Delta ^{3}\operatorname {d} fy,\\\ldots \ldots \ldots \ldots &\ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \,;\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b2c7630fb137dc30daf2443f59cec661ae5d5cdb)
Je prends la somme des produits respectifs de ces équations par
et j’ai, en réduisant
![{\displaystyle \alpha \left(\Delta fy-{\tfrac {1}{2}}\Delta ^{2}fy+{\tfrac {1}{3}}\Delta ^{3}fy-\ldots \right)=}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7ca6db111f151dc28a28bc72e0ac84b888a6d595)
![{\displaystyle \Delta \operatorname {d} \operatorname {F} (x+y)-{\tfrac {1}{2}}\Delta ^{2}\operatorname {d} \operatorname {F} (x+y)+{\tfrac {1}{3}}\Delta ^{3}\operatorname {d} \operatorname {F} (x+y)-\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/6350a64bb9ae1687bfe4468cf00b77fe49e99266)
![{\displaystyle -\alpha \operatorname {d} fy-y\left(\Delta \operatorname {d} fy-{\tfrac {1}{2}}\Delta ^{2}\operatorname {d} fy+{\tfrac {1}{3}}\Delta ^{3}\operatorname {d} fy-\ldots \right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/32a347cdd99d1ace0f14ce863304b2d8060be3ea)
équation qui, d’après les notations fixées (39), (40), devient
![{\displaystyle \alpha \operatorname {d} fy=\operatorname {d} ^{2}\operatorname {F} (x+y)-\alpha \operatorname {d} fy-\operatorname {d} ^{2}fy,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/27e45cb35ae620e9fadf29416a127a79cf11f658)
ou bien
![{\displaystyle 2\alpha \operatorname {d} fy=\operatorname {d} ^{2}\operatorname {F} (x+y)-y\operatorname {d} ^{2}fy.\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/ac904a4d96071614804860b1d32cccf0f0ba6a9d)
(42)
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
ce qui me donne, en réduisant, et ayant toujours égard aux notations (39), (40),
![{\displaystyle 3\alpha \operatorname {d} fy=\operatorname {d} ^{3}\operatorname {F} (x+y)-y\operatorname {d} ^{3}fy.\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/5dde345cd75457c29bef5e16ff8343ba290a6b3e)
(43)
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
![{\displaystyle {\begin{aligned}\alpha \quad fy&=\operatorname {d} \operatorname {F} (x+y)-y\operatorname {d} fy,\\2\alpha \operatorname {d} \ \ fy&=\operatorname {d} ^{2}\operatorname {F} (x+y)-y\operatorname {d} ^{2}fy,\\3\alpha \operatorname {d} ^{2}fy&=\operatorname {d} ^{3}\operatorname {F} (x+y)-y\operatorname {d} ^{3}fy,\\4\alpha \operatorname {d} ^{3}fy&=\operatorname {d} ^{4}\operatorname {F} (x+y)-y\operatorname {d} ^{4}fy\,;\\\ldots \ldots &\ldots \ldots \ldots \ldots \ldots \ldots \\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8e2b10985c1b19dcf0ef878760ebb3692d2973ef)
En prenant la somme de leurs produits respectifs par
![{\displaystyle {\frac {y}{\alpha }},-{\frac {y^{2}}{1.2.\alpha ^{2}}},+{\frac {y^{3}}{1.2.3.\alpha ^{3}}},-{\frac {y^{4}}{1.2.3.4.\alpha ^{4}}},\ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/087c90077a01698bb5d176f16a24f494a9073bcc)
il vient, en ayant égard à l’équation primitive (29),
![{\displaystyle \operatorname {F} (x+y)=\operatorname {F} x+{\frac {y}{\alpha }}\operatorname {d} \operatorname {F} (x+y)-{\frac {y^{2}}{1.2.\alpha ^{2}}}\operatorname {d} ^{2}\operatorname {F} (x+y)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/72227f9e1229d6015908cc406e363c01eb7ad780)
![{\displaystyle +{\frac {y^{3}}{1.2.3.\alpha ^{3}}}\operatorname {d} ^{3}\operatorname {F} (x+y)-\ldots \,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2d717b80731ba78cb4c0c53276fee04608eb8aa6)
d’où en transposant,
![{\displaystyle \operatorname {F} x=\operatorname {F} (x+y)-{\frac {y}{\alpha }}\operatorname {d} \operatorname {F} (x+y)+{\frac {y^{2}}{1.2.\alpha ^{2}}}\operatorname {d} ^{2}\operatorname {F} (x+y)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d96e317ac80d55b9596b9c1ee2527956d53eceb7)
![{\displaystyle -{\frac {y^{3}}{1.2.3.\alpha ^{3}}}\operatorname {d} ^{3}\operatorname {F} (x+y)+\ldots \qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/99bd7d6215069372bbe97d2ac165491fafd1b7ed)
(44)
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 ;
![{\displaystyle \operatorname {F} x=\operatorname {F} p+{\frac {(x-p)}{\alpha }}\operatorname {d} \operatorname {F} p+{\frac {(x-p)^{2}}{1.2.\alpha ^{2}}}\operatorname {d} ^{2}\operatorname {F} p}](https://wikimedia.org/api/rest_v1/media/math/render/svg/069f249f7f75041758d67d3afe80b59d06132143)
![{\displaystyle +{\frac {(x-p)^{3}}{1.2.3.\alpha ^{3}}}\operatorname {d} ^{3}\operatorname {F} p+\ldots \,;\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/fdf80dc43078366b476301a566aef01f7e104008)
(45)
![{\displaystyle \operatorname {E^{n}F} x=\operatorname {F} (x+n\alpha )=\operatorname {F} x+{\frac {n}{1}}\operatorname {d} \operatorname {F} x+{\frac {n^{2}}{1.2}}\operatorname {d} ^{2}\operatorname {F} x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/61569e2f1459b8179c5934eafef4d5a75cf076ff)
![{\displaystyle +{\frac {n^{3}}{1.2.3}}\operatorname {d} ^{3}\operatorname {F} x+\ldots \,;\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/7233b9d47241311132d5aa5f64998b34dd9ae511)
(46)
![{\displaystyle \operatorname {F} (x+m)=\operatorname {F} x+{\frac {m}{\alpha }}\operatorname {d} \operatorname {F} x+{\frac {m^{2}}{1.2.\alpha ^{2}}}\operatorname {d} ^{2}\operatorname {F} x+{\frac {m^{3}}{1.2.3.\alpha ^{3}}}\operatorname {d} ^{3}\operatorname {F} x+\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/2e5abd90f3dc40d66bd92a1d9a3cc4e7c050ea36)
(47)
![{\displaystyle \operatorname {F} x=\operatorname {F} x_{0}+{\frac {x}{\alpha }}\operatorname {d} \operatorname {F} x_{0}+{\frac {x^{2}}{1.2.\alpha ^{2}}}\operatorname {d} ^{2}\operatorname {F} x_{0}+{\frac {x^{3}}{1.2.3.\alpha ^{3}}}\operatorname {d} ^{3}\operatorname {F} x_{0}+\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/36e4eb0c1ea4b8cd1c2c944dc04c5cf6117b80d8)
(48)
16. Je m’empresse d’appliquer ces formules au développement des différent ordres d’une même fonction.
Soit
![{\displaystyle \operatorname {F} x=\varphi ^{x}z\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fd94a6f650eb27ff13d0266bee1f9f895891d039)
la différence constante de
étant
on aura (3)
![{\displaystyle \Delta \operatorname {F} x=\varphi ^{x+\alpha }z-\varphi ^{x}z.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4f008701e741a5d5f8bed825980586c30155acfe)
Si la fonction
est distribuiive, cette expression se changera en
![{\displaystyle \Delta \operatorname {F} x=\varphi ^{x}\left(\varphi ^{\alpha }z-z\right).\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/3fef472b57c17a6579a91f2c539607d83fcd9fc5)
(49)
Admettons l’hypothèse, et faisons un moment
![{\displaystyle \varphi ^{\alpha }z-z=fz.\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/9cd345d0cac124183dc4a58ebba39e6838033a4d)
(50)
D’après les théorèmes (n.os 5, 6),
et
seront des fonctions distributives ; et, au lieu de (49), nous aurons
![{\displaystyle \Delta \operatorname {F} x=\varphi ^{x}fz,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dc6d75a4b32a19fdcc7eb7388d16793b83de1366)
puis ; en prenant la différence de celle-ci,
![{\displaystyle \Delta ^{2}\operatorname {F} x=\varphi ^{x+\alpha }fz-\varphi ^{x}fz=\varphi ^{x}\left(\varphi ^{\alpha }fz-fz\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4b3e47c302bb48e4c95fd826c99d2f2fdbdf9540)
Si la fonction
est commutative avec les facteurs constans, elle le sera aussi, en vertu du théorème (n.o 10), avec la fonction binôme
(50) c’est-à-dire, qu’on aura
![{\displaystyle \varphi ^{\alpha }fz=f\varphi ^{\alpha }z.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0edc9b20f96c3e7950323fd3d35a2082ba326545)
Admettons encore l’hypothèse ; parce que
est distributive, nous aurons, d’après (50),
![{\displaystyle \varphi ^{\alpha }fz-fz=f\varphi ^{\alpha }z-fz=f\left(\varphi ^{\alpha }z-z\right)=f^{2}z\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/62a2fba1e759b77cdaff3f5ac1eebadbcf1a99e6)
ainsi, l’équation (51) devient
![{\displaystyle \Delta ^{2}\operatorname {F} x=\varphi ^{x}f^{2}z.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3d50fe82d9dfe547bbdd2a3044e0eac683a8f29d)
On trouverait de même
![{\displaystyle \Delta ^{3}\operatorname {F} x=\varphi ^{x}f^{3}z,\qquad \Delta ^{4}\operatorname {F} x=\varphi ^{x}f^{4}z,\ldots \,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c00fc2f5543799b494d34669bc1195fb6c0c85bb)
et, par une induction manifeste
![{\displaystyle \Delta ^{m}\operatorname {F} x=\varphi ^{x}f^{m}z\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1253beb560832d0955b3c029cd8fb4f06f05c773)
expression qui, si l’on veut faire usage de la notation proposée (n.o 2), devient
![{\displaystyle \Delta ^{m}\operatorname {F} x=\varphi ^{x}\left(\varphi ^{\alpha }-1\right)^{m}z.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c8b6339be12a640da62c792e73ea03d4aec3bdc9)
Or, on a (6)
![{\displaystyle \operatorname {F} x_{0}=\varphi ^{0}z=z,\qquad \Delta ^{m}\operatorname {F} x_{0}=\left(\varphi ^{\alpha }-1\right)^{m}z\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ca4c44349a3a9931cb6bd74aabaf5c10fa3288aa)
donc, par la formule (36), on aura
![{\displaystyle \varphi ^{x}z=z+{\frac {x}{\alpha }}\left(\varphi ^{\alpha }-1\right)z+{\frac {x(x-\alpha )}{1.2.\alpha ^{2}}}\left(\varphi ^{\alpha }-1\right)^{2}z}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6b7e89c8e15c9a0d5551c44cb964622b406fdd19)
![{\displaystyle +{\frac {x(x-\alpha )(x-2\alpha )}{1.2.3.\alpha ^{3}}}\left(\varphi ^{\alpha }-1\right)^{3}z+\ldots \qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/dddeb04936fd5d7b4a887259f91733f1ba4ba807)
(53)
Actuellement, d’après la définition (39) et la formule (52), on trouve
![{\displaystyle =\varphi ^{x}\left[\left(\varphi ^{\alpha }-1\right)z-{\tfrac {1}{2}}\left(\varphi ^{\alpha }-1\right)^{2}z+{\tfrac {1}{3}}\left(\varphi ^{\alpha }-1\right)^{3}z-\ldots \right]\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/921bd94ea8a5742599199cb5c45b4db3ea68d8e9)
(54)
Je désignerai, en général, la fonction polynôme, qui est ici entre parenthèses, par
sera ainsi la notation d’une fonction déterminée de
dont la définition complète sera donnée par l’équation
![{\displaystyle \operatorname {L} \varphi ^{\alpha }z=\left(\varphi ^{\alpha }-1\right)z-{\tfrac {1}{2}}\left(\varphi ^{\alpha }-1\right)^{2}z+{\tfrac {1}{3}}\left(\varphi ^{\alpha }-1\right)^{3}z-\ldots \qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/a78f5e26a9b7b58546b0071dcfa919ccb7e6e308)
(55)
La fonction
s’appellera logarithme et
sera une fonction monôme composée qui s’énoncera : logarithme de
de
Il est clair (n.o 10) que la fonction
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 ![{\displaystyle \operatorname {L} .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d00f9e9f186cbae47ae4bb741e5fadf6990ba7d8)
Ainsi, l’équation (54) devient
![{\displaystyle \operatorname {d} \operatorname {F} x=\varphi ^{x}\operatorname {L} \varphi ^{\alpha }z.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9d26aee68cac57aff71fa4b0758f0b3c2c9c21ee)
De celle-ci on conclut sur-le-champ
![{\displaystyle \operatorname {d} ^{2}\operatorname {F} x=\varphi ^{x}\left(\operatorname {L} \varphi ^{\alpha }\right)^{2}z,\ \operatorname {d} ^{3}\operatorname {F} x=\varphi ^{x}\left(\operatorname {L} \varphi ^{\alpha }\right)^{3}z,\ldots \operatorname {d} ^{m}\operatorname {F} x=\varphi ^{x}\left(\operatorname {L} \varphi ^{\alpha }\right)^{m}z,\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a9531867a9edb1b9a1b94438f7ea0da197df55da)
(56)
par conséquent, en faisant
dans
on a, d’après la formule (48), cet autre développement de
:
![{\displaystyle \varphi ^{x}z=z+{\frac {x}{\alpha }}\operatorname {L} \varphi ^{\alpha }z+{\frac {x^{2}}{1.2.\alpha ^{2}}}\left(\operatorname {L} \varphi ^{\alpha }\right)^{2}z+{\frac {x^{3}}{1.2.3.\alpha ^{3}}}\left(\operatorname {L} \varphi ^{\alpha }\right)^{3}z+\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/5f2140a41a18adbb7112f9c58ab563399bbc4eca)
(57)
Tirons quelques conséquences importantes. Dans (57) l’accroissement
étant arbitraire, je le fais égal à l’unité, et j’ai
![{\displaystyle \varphi ^{x}z=z+{\frac {x}{1}}\operatorname {L} \varphi z+{\frac {x^{2}}{1.2}}\left(\operatorname {L} \varphi \right)^{2}z+{\frac {x^{3}}{1.2.3}}\left(\operatorname {L} \varphi \right)^{3}z+\ldots \quad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/351b1d2e79516e37b42f69b7558dd18b966d3fb4)
(58)
Je compare cette expression, terme à terme, avec celle de l’équation (57) et, parce que
est absolument indéterminé, j’obtiens la relation
![{\displaystyle \alpha \operatorname {L} \varphi z=\operatorname {L} \varphi ^{\alpha }z.\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/e36ed8360859459ca2411e5017d0cb4b4b00fc46)
(59)
Soit
une fonction distributive et commutative avec
et les facteurs constats ; prenons de part et d’autre de l’équation (58) la fonction
nous aurons, eu égard à la formule (18, n.o 9),
![{\displaystyle f^{x}\varphi ^{x}z=\left(f\varphi \right)^{x}z=f^{x}z+{\frac {x}{1}}f^{x}\operatorname {L} \varphi z+{\frac {x^{2}}{1.2}}f^{x}\left(\operatorname {L} \varphi \right)^{2}z+\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/8a1c9821a50158b4b0bc828dacdfc10060b7cc28)
Développons chaque terme du second membre de celle-ci, par la même formule (58), et nous aurons visiblement
![{\displaystyle \left.{\begin{array}{rlll}(f\varphi )^{x}z=z&+x\operatorname {L} fz&+{\frac {x^{2}}{1.2}}(\operatorname {L} f)^{2}z&+\ldots \\&+x\operatorname {L} \varphi z&+2{\frac {x^{2}}{1.2}}(\operatorname {L} f)(\operatorname {L} \varphi )z&+\ldots \\&&+{\frac {x^{2}}{1.2}}(\operatorname {L} \varphi )^{2}z&+\ldots \\&&&+\ldots \\\end{array}}\right\}\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/f41dc25f17ffc402353bcab16c6d29d44dfb4a79)
(60)
d’ailleurs., toujours, d’après, (58), on a cette autre expression
![{\displaystyle (f)^{x}z=z+x\left(\operatorname {L} f\varphi \right)z+{\frac {x^{2}}{1.2}}\left(\operatorname {L} f\varphi \right)^{2}z+\ldots \,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/aa5df846da348bb1816b62ad822f45b63c85db62)
donc, en comparant terme à terme avec (60) ; nous aurons à cause de l’indéterminée
, la relation
![{\displaystyle \operatorname {L} f\varphi z=\operatorname {L} fz+\operatorname {L} \varphi x.\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/adfef67b99c8776c24f092dc27205d693eb73bee)
(61)
Supposons
![{\displaystyle \operatorname {L} \varphi z=\psi z\,:}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e0e483217df08295767f05439c20e134d281b610)
prenons, de part et d’autre, la fonction inverse
et nous aurons (1)
![{\displaystyle \varphi z=\operatorname {L} ^{-1}\psi z\,;\qquad \varphi ^{x}z=\left(\operatorname {L} ^{-1}\psi \right)^{x}z\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e0d1ce94ebbb7420ec2233d40c1c2e13ef7b3472)
et par conséquent, d’après la formule (58),
![{\displaystyle \left(\operatorname {L} ^{-1}\psi \right)^{x}z=z+{\frac {x}{1}}\psi z+{\frac {x^{2}}{1.2}}\psi ^{2}z+{\frac {x^{3}}{1.2.3}}\psi ^{3}z+\ldots \qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/af7344b81cc7443375ac01ec245bb660c784fe1e)
(62)
Soient encore
et
deux fonctions dîstributives et commutatives
tant entre elles, qu’avec les facteurs constans ;
et
étant des exposans arbitraires, on a sur-le-champ (1)
![{\displaystyle f^{u}\varphi ^{x}z=\operatorname {L} ^{-1}\operatorname {L} f^{u}\varphi ^{x}z\,;\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/9f61c213363d38f5bae37fd867d4aa2eac20922a)
(63)
mais (61), (59) on a aussi
![{\displaystyle \operatorname {L} f^{u}\varphi ^{x}z=\operatorname {L} f^{u}z+\operatorname {L} \varphi ^{x}z=u\operatorname {L} fz+x\operatorname {L} \varphi z\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/48b95aa50f47fbb0d3276a69fec5fc736011ceb4)
donc (63) on aura, en employant la notation (n.o 2)
![{\displaystyle f^{u}\varphi ^{x}z=\operatorname {L} ^{-1}\left(u\operatorname {L} f+x\operatorname {L} \varphi \right)z\,;\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/51cc585978066314120983ed2b520e9887d689d7)
(64)
et, d’après (62)
![{\displaystyle f^{u}\varphi ^{x}z=z+\left(u\operatorname {L} f+x\operatorname {L} \varphi \right)z+{\frac {1}{1.2}}\left(u\operatorname {L} f+x\operatorname {L} \varphi \right)^{2}z}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6486c1beb9f5b9f9c3c238a09791d44cdd339601)
![{\displaystyle +{\frac {1}{1.2.3}}\left(u\operatorname {L} f+x\operatorname {L} \varphi \right)^{3}z+\ldots \qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/e3329aaeaa0efa4ffdf971df484caeaf7770ebef)
(65)
Faisons quelques hypothèses particulières, sur la forme de la fonction
et d’abord soit
![{\displaystyle \varphi z=z+fz=(1+f)z\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2ba60d3338fca0a0e0481a174931d8423d890c92)
en supposant
on aura sur-le-champ, d’après (53), (58), (55)
![{\displaystyle \left.{\begin{aligned}(1+f)^{x}z&=z+{\frac {x}{1}}fz+{\frac {x}{1}}{\frac {x-1}{2}}f^{2}z+{\tfrac {x}{1}}{\tfrac {x-1}{2}}{\tfrac {x-2}{3}}f^{3}z+\ldots \\(1+f)^{x}z&=z+{\frac {x}{1}}\operatorname {L} (1+f)z+{\frac {x^{2}}{1.2}}\left[\operatorname {L} (1+f)\right]^{2}z+\ldots \\\operatorname {L} (1+f)z&=fz-{\tfrac {1}{2}}f^{2}z+{\tfrac {1}{3}}f^{3}z-{\tfrac {1}{4}}f^{4}z+\ldots \\\end{aligned}}\right\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/80c20a8252774fd7a792511637b805df5f4a01a3)
(66)
Soit
![{\displaystyle \varphi z=fz+\operatorname {f} z.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/024a7d52d0b6bb1858fec12468976263d0382a10)
Je prends, de part et d’autre, la fonction inverse
et j’ai
![{\displaystyle f^{-1}\varphi z=z+f^{-1}\operatorname {f} z,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/583ce8d33539dbcfa666b527ce947062913f640d)
laquelle, en faisant,
![{\displaystyle f^{-1}\varphi z=\psi z,\qquad f^{-1}\operatorname {f} z=\operatorname {F} z,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3b617f0e81ce745ebb61c7e2a1c7aabb021a3c19)
devient
![{\displaystyle \psi z=z+\operatorname {L} z\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3c86bda954a60244f800fddd4aee2ec07914f293)
et d’après la formule (66), j’obtiendrai
![{\displaystyle {\begin{aligned}\psi ^{x}z&=z+{\frac {x}{1}}\operatorname {F} z+{\frac {x}{1}}{\frac {x-1}{2}}\operatorname {F} ^{2}z+{\frac {x}{1}}{\frac {x-1}{2}}{\frac {x-2}{3}}\operatorname {F} ^{3}z+\ldots \\\psi ^{x}z&=z+{\frac {x}{1}}\operatorname {L} (1+\operatorname {F} )z+{\frac {x^{2}}{1.2}}\left[\operatorname {L} (1+\operatorname {F} )\right]^{2}z+\ldots \\\operatorname {L} (1+\operatorname {F} )\zeta &=\operatorname {F} \zeta -{\tfrac {1}{2}}\operatorname {F} ^{2}\zeta +{\tfrac {1}{3}}\operatorname {F} ^{3}\zeta -{\tfrac {1}{4}}\operatorname {F} ^{4}\zeta +\ldots \\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/651b4d35cb68c420549a225580e39562da18101b)
Dans celles-ci, je mets pour
et
leurs expressions d’hypothèse puis je prends, dans la première et la seconde, de part et d’autre la fonction
et j’ai
![{\displaystyle \left.{\begin{aligned}\varphi ^{x}=(f+\operatorname {f} )^{x}\zeta &=f^{x}\zeta +{\frac {x}{1}}f^{x-1}\operatorname {f} \zeta +{\frac {x}{1}}{\frac {x-1}{2}}f^{x-2}\operatorname {f} ^{2}\zeta +\ldots \\\varphi ^{x}=(f+\operatorname {f} )^{x}\zeta &=f^{x}\zeta +{\frac {x}{1}}\operatorname {L} \left(1+\operatorname {f} f^{-1}\right)f^{x}\zeta \\&+{\frac {x^{2}}{1.2}}\left[\operatorname {L} \left(1+\operatorname {f} f^{-1}\right)\right]^{2}f^{x}\zeta +\ldots \\\operatorname {L} \left(1+\operatorname {f} f^{-1}\right)\zeta &=\operatorname {f} f^{-1}\zeta -{\tfrac {1}{2}}\operatorname {f} ^{2}f^{-2}\zeta +{\tfrac {1}{3}}\operatorname {f} ^{3}f^{-3}\zeta -\ldots \\\end{aligned}}\right\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/444ce5a32a00a8dd9616a5dfe38e1190a838ee9e)
(67)
Soit
![{\displaystyle \varphi \zeta =f\zeta +\operatorname {f} \zeta +\psi \zeta .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4110a4f98b97b2ceb2d74d2a98310f8fa67dc217)
On fera
et on aura (67) les développemens relatifs à
![{\displaystyle \varphi ^{x}\zeta =(f+\operatorname {F} )^{x}\zeta .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/74ef9051c7eb892a619790cd41bb4098f18914cd)
Dans ceux-ci, au lieu des différens ordres
on mettra leurs déveioppemens donnés par les mêmes équations (67) ; d’après
![{\displaystyle \operatorname {F} ^{x}\zeta =(\operatorname {f} +\psi )^{x}\zeta .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d44c9cc69a46e333a38f33edce035f3c677e727d)
On voit, sans qu’il soit besoin d’insister, comment on arriverait aux deux développemens de l’ordre
de la fonction polynôme quelconque, aux fonctions distributives et commutatives ; c’est-à-dire, qu’on sait développer la fonction
![{\displaystyle \varphi ^{x}\zeta =(f+\operatorname {f} +\operatorname {F} +\psi +\ldots )^{x}\zeta .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3d4a67d97625e33a27aecc6da99f6abd7b463635)
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
(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.o 1)
![{\displaystyle \operatorname {E} \zeta ,\ {\frac {\operatorname {E} }{x}}\zeta ,\ {\frac {\operatorname {E} }{y}}\zeta \,\ ;\quad \Delta \zeta ,\ {\frac {\Delta }{x}}\zeta ,\ {\frac {\Delta }{y}}\zeta \,\ ;\quad \operatorname {d} \zeta ,\ {\frac {\operatorname {d} }{x}}\zeta ,\ {\frac {\operatorname {d} }{y}}\zeta .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a9de4d765ebf826f9c267af93a9562bedfc4ceab)
On voit que, d’après la notation proposée (n.o 1), pour les fonctions partielles, en général, nous exprimons les différentielles partielles par
![{\displaystyle {\frac {\operatorname {d} }{x}}\zeta ,\ {\frac {\operatorname {d} }{y}}\zeta ,\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/2807ff4eb2aa3d8d69974531eb8c721b7f03ac67)
Les définitions des fonctions différentielles totales (3), (4), (39), exprimées d’après la notation proposée (n.o 2) pour les fonctions polynômes, seront
![{\displaystyle \left.{\begin{aligned}\operatorname {E} ^{n}\zeta =(1+\Delta )^{n}\zeta ,&\qquad \Delta ^{n}\zeta =(\operatorname {E} -1)^{n}\zeta \,;\\\operatorname {d} ^{n}\zeta &=\left(\Delta -{\tfrac {1}{2}}\Delta ^{2}+{\tfrac {1}{3}}\Delta ^{3}-\ldots \right)^{n}\zeta \\&=\left[(\operatorname {E} -1)-{\tfrac {1}{2}}(\operatorname {E} -1)^{2}+\ldots \right]^{n}\zeta \\\end{aligned}}\right\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7ecaf01b6472dd5dd3c887fdf1def5e13b2c1a9d)
(69)
Elles serviront de formules pour exprimer les fonctions différentielles partielles, en y changeant simplement
en
ou en
respectivement.
Ajoutons la formule qui établit la communication entre les fonctions totales et les fonctions partielles : c’est
![{\displaystyle \operatorname {F} \zeta ={\frac {\operatorname {E} }{x}}\ {\frac {\operatorname {E} }{y}}\zeta .\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/ed0912e150523251f9b631409b2c01ee9cd7f029)
(70)
Elle est évidemment vraie ; car, pour avoir
il suffit de changer d’abord
en
c’est-à-dire, de prendre
d’abord
ensuite, dans le résultat, de changer
en
c’est-à-dire, de prendre l’état varié
selon
de ![{\displaystyle {\frac {\operatorname {E} }{y}}\zeta .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6954e00b2700ec768e21051015fbea4e5ccae180)
Cela posé, il est facile de voir d’abord que toutes les fonctions différentielles sont distributives. En effet, les états variés
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.o 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
![{\displaystyle \operatorname {E} \varphi \zeta =\varphi \operatorname {E} \zeta ,\qquad {\frac {\operatorname {E} }{x}}\varphi \zeta =\varphi {\frac {\operatorname {E} }{x}}\zeta ,\qquad {\frac {\operatorname {E} }{y}}\varphi \zeta =\varphi {\frac {\operatorname {E} }{y}}\zeta .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c2d6f63cda72e8447cf879ecfe9e566adde4db1a)
Il est fort indifférent, en effet, de changer d’abord
en
par exemple, dans la fonction
puis de prendre la fonction
ou bien de prendre d’abord la fonction
de
pour y changer ensuite
en
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.o 10), commutatives avec Les facteurs constans.
En quatrième lieu, d’après la définition de la différence partielle
celle-ci sera commutative avec
et
(n.o 10), puisque ces dernières sont commutatives avec
et les facteurs constans.
En cinquième lieu, d’après la définition de la différentielle partielle
celle-ci sera commutative avec
(n.o 10), puisque cette dernière l’est avec les différens ordres de
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
![{\displaystyle \Sigma ,\ {\frac {\Sigma }{x}},\ {\frac {\Sigma }{y}}\,\ ;\quad \int ,\ {\frac {\int }{x}},\ {\frac {\int }{y}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4413bf8d719741a9013e75e93da31773cd2f1d98)
ainsi que leurs differens ordres ; puisque ces fonctions ne sont que des différences et différentielles d’ordres négatifs (n.o 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
je compare avec l’équation (62), et j’ai
![{\displaystyle \operatorname {E} ^{n}\zeta =\left(\operatorname {L} ^{-1}\operatorname {d} \right)^{n}\zeta \,;\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/c5f36e88cbe0192e1965144ee3aac2c44949da7e)
(71)
et par conséquent aussi
![{\displaystyle {\frac {\operatorname {E} ^{n}}{x}}\zeta =\left(\operatorname {L} ^{-1}{\frac {\operatorname {d} }{x}}\right)^{n}\zeta \,;\qquad {\frac {\operatorname {E} ^{n}}{y}}\zeta =\left(\operatorname {L} ^{-1}{\frac {\operatorname {d} }{y}}\right)^{n}\zeta .\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/2dafc231afcad408a4d95d986566514a8e492a51)
(72)
D’après les expressions précédentes et la définition
(69), on a sur-le-champ
![{\displaystyle \Delta ^{n}\zeta =\left(\operatorname {L} ^{-1}\operatorname {d} -1\right)^{n}\zeta \,;\qquad {\frac {\Delta ^{n}}{x}}\zeta =\left(\operatorname {L} ^{-1}{\frac {\operatorname {d} }{x}}-1\right)^{n}\zeta \,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4f5583b64221bcc23f792d2e779c2e0df9b4a528)
![{\displaystyle {\frac {\Delta ^{n}}{y}}\zeta =\left(\operatorname {L} ^{-1}{\frac {\operatorname {d} }{y}}-1\right)^{n}\zeta .\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/bef8fc63789eff1c4ad2c34699f447a252757f89)
(73)
En comparant les définitions (69) de la différentielle avec la formule (55) on obtient
![{\displaystyle \operatorname {d} ^{n}\zeta =\left[\operatorname {L} (1+\Delta )\right]^{n}\zeta =(\operatorname {LE} )^{n}\zeta \,;\ {\frac {\operatorname {d} ^{n}}{x}}\zeta =\left[\operatorname {L} \left(1+{\frac {\Delta }{x}}\right)\right]^{n}\zeta =\left(\operatorname {L} {\frac {\operatorname {E} }{x}}\right)^{n}\zeta \,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1c2d491fbda8c6530d97a10bcb2aa05a144944b6)
![{\displaystyle {\frac {\operatorname {d} ^{n}}{y}}\zeta =\left[\operatorname {L} \left(1+{\frac {\Delta }{y}}\right)\right]^{n}\zeta =\left(\operatorname {L} {\frac {\operatorname {E} }{y}}\right)^{n}\zeta .\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/da87efc691b88f52b49d220efb06760e09f2dae0)
74)
Si, dans la formule
on met, au lieu de
l’expression équivalente
qui elle-même (69) est équivalente à
on aura
![{\displaystyle \Delta ^{n}\zeta =\left[\left(1+{\tfrac {\Delta }{x}}\right)\left(1+{\tfrac {\Delta }{y}}\right)-1\right]^{n}\zeta =\left[{\frac {\operatorname {E} }{y}}\left(1+{\tfrac {\Delta }{x}}\right)-1\right]^{n}\zeta }](https://wikimedia.org/api/rest_v1/media/math/render/svg/87ab47c27f458bcf45e8a6d4a33b6471f9d6f141)
![{\displaystyle =\left[{\frac {\operatorname {E} }{x}}\left(1+{\tfrac {\Delta }{y}}\right)-1\right]^{n}\zeta .\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/02ad245a17c697a600763e6b85bdf54dbc587589)
(75)
Si, dans
on met, au lieu de
l’expression (70), on aura
![{\displaystyle \operatorname {d} ^{n}\zeta =(\operatorname {L} {\frac {\operatorname {E} }{x}}\ {\frac {\operatorname {E} }{y}})^{n}\zeta \,;\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/7d0e2c240423a84144f3652335fcc437ad9e5d82)
(76)
or, d’après la formule (61) et les expressions (72), on a
![{\displaystyle \operatorname {L} {\frac {\operatorname {E} }{x}}\ {\frac {\operatorname {E} }{y}}\zeta =\operatorname {L} {\frac {\operatorname {E} }{x}}\zeta +\operatorname {L} {\frac {\operatorname {E} }{y}}\zeta ={\frac {\operatorname {d} }{x}}\zeta +{\frac {\operatorname {d} }{y}}\zeta =\left({\frac {\operatorname {d} }{x}}+{\frac {\operatorname {d} }{y}}\right)\zeta \,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2acd48c5f88878912ad340f96a6c9be73adc4a83)
donc, au lieu de(76), on aura
![{\displaystyle \operatorname {d} ^{n}\zeta =\left({\frac {\operatorname {d} }{x}}+{\frac {\operatorname {d} }{y}}\right)^{n}\zeta .\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/b5b648ee0fec62d8bea400ac047b89d965ceebc5)
(77)
Si, dansl’équation (64), on change
en
respectivement, on aura
![{\displaystyle {\frac {\operatorname {E} ^{m}}{x}}\ {\frac {\operatorname {E} ^{n}}{y}}\zeta =\varphi (x+m\alpha ,y+n\beta )=\operatorname {L} ^{-1}\left(m\operatorname {L} {\frac {\operatorname {E} }{x}}+n\operatorname {L} {\frac {\operatorname {E} }{y}}\right)\zeta \,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e015b98e075cc8ffb14fb02ba400d3e53dbbd6fa)
équation qui, d’après (62), deviendra
![{\displaystyle {\frac {\operatorname {E} ^{m}}{x}}\ {\frac {\operatorname {E} ^{n}}{y}}\zeta =\varphi (x+m\alpha ,y+n\beta )=\operatorname {L} ^{-1}\left(m{\frac {\operatorname {\operatorname {d} } }{x}}+n{\frac {\operatorname {\operatorname {d} } }{y}}\right)\zeta .\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/7fda96687f4d7e9dec8dc3422fcc1401acb33c53)
(78)
On sait (n.os 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.os 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
![{\displaystyle az+b\operatorname {E} z,\qquad az+b\operatorname {E} z+c\operatorname {E} ^{2}z,\qquad \operatorname {d} z+a\operatorname {d} ^{2}z+b\operatorname {d} ^{3}z+\ldots \,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/81fd66466cfd87205b6c31fc48a77cc875de3d17)
on formerait de nouveaux algorithmes qui auraient toutes leurs lois théoriques et pratiques dans les formules (n.o 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
z est le logarithme naturel du facteur
qui multiplie
l’autre expression
est la même chose que l’expression vulgaire
(n.o 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
sont les fonctions monômes
![{\displaystyle x^{m},\qquad a^{x},\qquad \operatorname {L} x,\qquad \operatorname {Sin} .x,\qquad \operatorname {Cos} .x,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8eb52837d870b0ea28542243538d988be12281a3)
dans lesquelles on attribue à
une différence constante. Les fonctions élémentaires composées sont
![{\displaystyle \varphi x.\psi x,\qquad (\varphi x)^{m},\qquad a^{\varphi x},\qquad \operatorname {L} \varphi x,\qquad \operatorname {Sin} .\varphi x,\qquad \operatorname {Cos} .\varphi x.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bc4f373412903efd016218b7d22ad56e33270bdc)
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
, et
sont des fonctions quelconques. En supposant que la différence de
est la constante
on a, par la formule (47)
![{\displaystyle \operatorname {F} (y+m)=\operatorname {F} y+{\frac {m}{\beta }}\operatorname {d} \operatorname {F} y+{\frac {m^{2}}{1.2.\beta ^{2}}}\operatorname {d} ^{2}\operatorname {F} y+{\frac {m^{3}}{1.2.3.\beta ^{3}}}\operatorname {d} ^{3}\operatorname {F} y+\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/def0f96ff6a83c62d7a7b2fc80269bf4eeaab691)
Ici
est arbitraire ; partant, je puis faire
![{\displaystyle m=n\operatorname {d} \varphi x+{\frac {n^{2}}{1.2}}\operatorname {d} ^{2}\varphi x+{\frac {n^{3}}{1.2.3}}\operatorname {d} ^{3}\varphi x+\ldots \qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/2ed60b9ba2804ba3500b1b4946c88f9907b17d97)
(79)
et j’aurai
![{\displaystyle \left.{\begin{array}{rll}\operatorname {F} (y+m)=\operatorname {F} y+{\frac {n}{\beta }}\operatorname {d} \operatorname {F} y.\operatorname {d} \varphi x&+{\frac {n^{2}}{1.2.\beta }}\operatorname {d} \operatorname {F} y.\operatorname {d} ^{2}\varphi x&+\ldots \\&+{\frac {n^{2}}{1.2.\beta ^{2}}}\operatorname {d} ^{2}\operatorname {F} y(\operatorname {d} \varphi x)^{2}&+\ldots \\&&+\ldots \\\end{array}}\right\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e857296050fdeef70655caf47c40f65904aa8e15)
(80)
mais, d’après la formule (46), eu égard à l’hypothèse (79), on a
![{\displaystyle \varphi (x+n\alpha )=\varphi x+{\frac {n}{1}}\operatorname {d} \varphi x+{\frac {n^{2}}{1.2}}\operatorname {d} ^{2}\varphi x+\ldots =y+m\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3c359cb0df879f050d0422c3c498c23c747815c3)
donc
![{\displaystyle \operatorname {F} (y+m)=\operatorname {F} \varphi (x+n\alpha )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8f344fad6211e5200cf9095f071b8fb1ee7b2bd1)
Je développe le second membre de celle-ci, par la même formule (46), et j’ai pour
cette autre expression
![{\displaystyle \operatorname {F} (y+m)=\operatorname {F} \varphi x+{\frac {n}{1}}\operatorname {d} \operatorname {F} \varphi x+{\frac {n^{2}}{1.2}}\operatorname {d} ^{2}\operatorname {F} \varphi x+\ldots \,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6180ce100b37ed904f495aa87e2b59287dc278cc)
laquelle, comparée avec la première (80), donne sur-le-champ, à cause de l’indéterminée ![{\displaystyle n,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/397bfafc701afdf14c2743278a097f6f2957eabb)
![{\displaystyle \operatorname {d} \operatorname {F} \varphi x={\frac {\operatorname {d} \operatorname {F} y}{\beta }}.\operatorname {d} \varphi x.\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/9aff185be2a6e4aa0ed64990c699b37e42d8fbb0)
(81)
Si on avait
en donnant à
la différence constante
il est clair qu’on aurait, par la formule (81)
![{\displaystyle \operatorname {d} \operatorname {F} \varphi \psi t={\frac {\operatorname {d} \operatorname {F} y}{\beta }}.{\frac {\operatorname {d} \varphi x}{\alpha }}.\operatorname {d} \psi t\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d32e9c00a8bd6b4b508e9bda45ebd9ae6a49f243)
et ainsi de suite.
Cela posé, d’après la formule (56), en y supposant que la fonction
devienne le facteur
et que
soit égal à l’unité, nous avons
![{\displaystyle \operatorname {d} a^{x}=a^{x}\operatorname {L} a^{\alpha }\,;\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/dc87b15f03ba8937d9a91a625e6ae07430b62dd2)
(82)
étant la variation constante de
Dans cette hypothèse, on a
par conséquent, d’après la définition (39)
![{\displaystyle \operatorname {d} x=\Delta x=\alpha .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/82cf4e444067cdf60c30bf9f9a2699d7cca87028)
D’ailleurs, d’après (59) on a
![{\displaystyle \operatorname {L} a^{\alpha }=\alpha \operatorname {L} a\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5ad25e24eee56d9df3cad1829f8f58f8dc4f7892)
donc, au lieu de (82), on aura
![{\displaystyle \operatorname {d} a^{x}=a^{x}\operatorname {d} x.\operatorname {L} a.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/465a337f2332f4d7a839a27a44c61d30d34c0301)
(83)
Supposons ensuite
![{\displaystyle \operatorname {F} \varphi x=\operatorname {F} y=a^{\varphi x}=a^{y}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b5382d57e493438d11758084f1454c8dc4dbc7b1)
Nous aurons, d’après le théorème (81)
![{\displaystyle \operatorname {d} a^{\varphi x}={\frac {\operatorname {d} a^{y}}{\beta }}.\operatorname {d} \varphi x.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7f57c4d8a51965d49189a50457545c062c9f04e6)
Mais, d’après (83), puisque
par hypothèse, on a
![{\displaystyle \operatorname {d} a^{y}=a^{y}\operatorname {L} a=a^{\varphi x}\operatorname {L} a\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4603f8c335bcc6e17eb60edef8bc6a6166b6c13c)
donc, on aura
![{\displaystyle \operatorname {d} a^{\varphi x}=a^{\varphi x}\operatorname {d} \varphi x.\operatorname {L} a\,;\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/14c18924dca8ef02a1b72ada7295c473dc96afca)
(84)
c’est-à-dire, la formule pour différencier les exponentiels.
Si on fait attention que
et par conséquent que
la formule (84) deviendra
![{\displaystyle \operatorname {d} a^{\varphi x}=a^{\varphi x}.\operatorname {dL} a^{\varphi x}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dc409b911fc7261003ea31fb9d63f94593b24d71)
dans laquelle, si on fait
ce qui est permis, on aura
![{\displaystyle \operatorname {dF} x=\operatorname {F} x.\operatorname {dLF} x\,;\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/531597f7063bab54540994f5904700af7c2199dd)
(85)
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
![{\displaystyle \operatorname {dLF} x={\frac {\operatorname {dF} x}{\operatorname {F} x}}\,:\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/210c08787b0cc670d6840d1b8011f64448f3e4da)
(86)
c’est la formule pour différencier les logarithmes naturels, en faisant attention que
d’après les formules (85), (86), on aura
![{\displaystyle \operatorname {d} (\operatorname {F} x)^{m}=(\operatorname {F} x)^{m}.\operatorname {dL} (\operatorname {F} x)^{m}=m(\operatorname {F} x)^{m}.\operatorname {dLF} x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4e55f8e5df95848f67f69c5330ab82ee84345761)
![{\displaystyle =m(\operatorname {F} x)^{m-1}.\operatorname {dF} x\,:\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/f17123380879c71b9e44d56d739c451cfd880c2b)
(87)
c’est la formule de différentiation des puissances.
Puisque
on aura (85)
![{\displaystyle \operatorname {d} (\varphi x.\operatorname {F} x)=\varphi x.\operatorname {F} x.\operatorname {dL} (\varphi x.\operatorname {F} x)=\varphi x.\operatorname {F} x(\operatorname {dL} \varphi x+\operatorname {dLF} x)\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/65336a71134d319b5e54c293ca3678000f99fb33)
donc, d’après (86)
![{\displaystyle \operatorname {d} (\varphi x.\operatorname {F} x)=\operatorname {F} x.\operatorname {d} \varphi x+\varphi x.\operatorname {dF} x\,:\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/e4f002f0a3a348cfda53d93451500fd795414221)
(88)
c’est la formule de différentiation des produits.
Soit
![{\displaystyle \operatorname {F} x={\frac {\operatorname {Cos} .\alpha x+{\sqrt {-1}}\operatorname {Sin} .\alpha x}{\operatorname {Cos} .^{x}\alpha }}.\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/3d8ca7a46d0c56e53a379d13fdc3cd48b37145e2)
(89)
est une constante,
est variable, et sa différence constante est 1. On a
![{\displaystyle \Delta \operatorname {F} (x+1)={\frac {\operatorname {Cos} .\alpha (x+1)+{\sqrt {-1}}\operatorname {Sin} .\alpha (x+1)}{\operatorname {Cos} .^{x+1}\alpha }}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e0748f90eb3b9406163ff355bfcf5b93beab76d2)
![{\displaystyle -{\frac {\operatorname {Cos} .\alpha x+{\sqrt {-1}}\operatorname {Sin} .\alpha x}{\operatorname {Cos} .^{x}\alpha }}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/01b6852192cd9391d1f11e16ab929e614f57b68b)
puis, en développant, par les formules trigonométriques connues les cosinus et sinus de
et en réduisant
![{\displaystyle \Delta \operatorname {F} x=\operatorname {F} x.\left({\sqrt {-1}}.\operatorname {Tang} .\alpha \right)\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fb6a581fcf9bc43970fe06c0baf41c061c51b7d4)
par conséquent, en général
![{\displaystyle \Delta ^{m}\operatorname {F} x=\operatorname {F} x\left({\sqrt {-1}}.\operatorname {Tang} .\alpha \right)^{m}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ddaed76cdd41ecb9f57bf3bca2c613ebe9094b54)
donc, d’après la définition (39), on aura
![{\displaystyle \operatorname {dF} x=\operatorname {F} x.\left[\left({\sqrt {-1}}.\operatorname {Tang} .\alpha \right)-{\tfrac {1}{2}}\left({\sqrt {-1}}.\operatorname {Tang} .\alpha \right)^{2}+\ldots \right]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6362d7124ba2d8e37870285e402ec861b0e8d52b)
et, en comparant avec la formule (55),
![{\displaystyle \operatorname {dF} x=\operatorname {F} x.\operatorname {L} \left(1+{\sqrt {-1}}.\operatorname {Tang} .\alpha \right).\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/e99a8019ca067bf418a1dcb0ead0f66c5d02bc17)
(90)
D’ailleurs (88)
![{\displaystyle \operatorname {dF} x=\left({\frac {1}{\operatorname {Cos} .\alpha }}\right)^{x}.\operatorname {d} \left(\operatorname {Cos} .\alpha x+{\sqrt {-1}}.\operatorname {Sin} .\alpha x\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a9ede9c35f52752454c655d4d56de6cd96cd6650)
![{\displaystyle +\left(\operatorname {Cos} .\alpha x+{\sqrt {-1}}.\operatorname {Sin} .\alpha x\right).\operatorname {d} \left({\frac {1}{\operatorname {Cos} .\alpha }}\right)^{x}.\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/aafec477a475df7ef6a13fb4736003ecbb839000)
(91)
Mais d’une part, en différenciant la formule connue
![{\displaystyle \operatorname {Cos} .^{2}\alpha x+\operatorname {Sin} .^{2}\alpha x=1,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4cf40ef22b37ea53f6e6c541745f63ffc78d1e23)
d’après (87), on trouve
![{\displaystyle \operatorname {dCos} .\alpha x=-{\frac {\operatorname {Sin} .\alpha x}{\operatorname {Cos} .\alpha x}}.\operatorname {dSin} .\alpha x\,;\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/b5598d66b298c0ed2ebffa76a47318826dd6817e)
(92)
et par conséquent
![{\displaystyle \operatorname {d} \left(\operatorname {Cos} .\alpha x+{\sqrt {-1}}.\operatorname {Sin} .\alpha x\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6014e769cfa013bf02741c9c0adc415c51b71621)
![{\displaystyle =\operatorname {d} .\operatorname {Sin} .\alpha x.{\frac {\sqrt {-1}}{\operatorname {Cos} .\alpha x}}\left(\operatorname {Cos} .\alpha x+{\sqrt {-1}}.\operatorname {Sin} .\alpha x\right)\,;\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/e8a85fcd05d5b8f51580f9b6041606f624f1db09)
(93)
D’autre part, en se rappelant que
on a, par la formule (83)
![{\displaystyle \operatorname {d} \left({\frac {1}{\operatorname {Cos} .\alpha x}}\right)^{x}=-\left({\frac {1}{\operatorname {Cos} .\alpha x}}\right)^{x}\operatorname {L} \operatorname {Cos} .\alpha \,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/89a0e4d1005a113f721bf3614436b5fd739a4fb6)
donc, en substituant cette expression et celle (93) dans (91), et comparant avec (90), on aura
![{\displaystyle \operatorname {d} .\operatorname {Sin} .\alpha x.{\frac {\sqrt {-1}}{\operatorname {Cos} .\alpha x}}-\operatorname {L} \operatorname {Cos} .\alpha =\operatorname {L} \left(1+{\sqrt {-1}}.\operatorname {Tang} .\alpha \right)\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cc61114a040d0375a8c6b34c3533001108b8e2c1)
et de là en faisant
![{\displaystyle A{\sqrt {-1}}=\operatorname {L} \left(\operatorname {Cos} .\alpha +{\sqrt {-1}}.\operatorname {Tang} .\alpha \right),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bc67daafe29d98cd2acd9776e19203e9170f1bbc)
on tire
![{\displaystyle \operatorname {dSin} .\alpha x=A\operatorname {Cos} .\alpha x\,;\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/a0c2f7532da165d1fa5ff388f2850e308f3d77b6)
(94)
puis, en mettant cette expression dans (92),
![{\displaystyle \operatorname {dCos} .\alpha x=-A\operatorname {Sin} .\alpha x.\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/11399ae40d3e4d1d9ab489d4f6dc49e2b4abf886)
(95)
Si on changeait ici
en
, on aurait ces formules
![{\displaystyle \operatorname {dSin} .x={\frac {A}{\alpha }}\operatorname {Cos} .x,\qquad \operatorname {dCos} .x=-{\frac {A}{\alpha }}\operatorname {Sin} .x.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/93c0cc8c3be1572a45452e235e492ab9b0d4b0a1)
Ici la différente de
est 1 ; si
était fonction d’une autre variable, on aurait, en vertu du théorème (81)
![{\displaystyle \operatorname {dSin} .x={\frac {A}{\alpha }}\operatorname {d} x\operatorname {Cos} .x,\qquad \operatorname {dCos} .x=-{\frac {A}{\alpha }}\operatorname {d} x\operatorname {Sin} .x.\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/6f045d0ce630939cedb9adbd32fb4b44b8a6a301)
(96)
Dans ces formules ; la quantité
est un arc arbitraire.
La constante
quoique impliquée d’imaginaires, est facilement ramenée à une forme toute réelle. En effet, à cause de la formule connue
![{\displaystyle \operatorname {Cos} .^{2}\alpha ={\frac {1}{1+\operatorname {Tang} .^{2}\alpha }}={\frac {1}{\left(1+{\sqrt {-1}}.\operatorname {Tang} .\alpha \right)\left(1-{\sqrt {-1}}.\operatorname {Tang} .\alpha \right)}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/01f49040b853ec6e8fa79b9f4662af50af18b95a)
on a
![{\displaystyle A{\sqrt {-1}}={\tfrac {1}{2}}\operatorname {L} \left[\operatorname {Cos} .^{2}\alpha .\left(1+{\sqrt {-1}}.\operatorname {Tang} .\alpha \right)^{2}\right]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7f143c60dcbfbde89878d9936f2ec58e5537f833)
![{\displaystyle ={\tfrac {1}{2}}\operatorname {L} \left({\frac {\left(1+{\sqrt {-1}}.\operatorname {Tang} .\alpha \right)}{\left(1-{\sqrt {-1}}.\operatorname {Tang} .\alpha \right)}}\right)\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/af8474c8815c35804b6ef2298290d7e37d426a3b)
et, en développant la dernière expression d’après une formule logarithmique connue, puis en divisant par ![{\displaystyle {\sqrt {-1}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4a1e88605a956a9f2417503119963491d404c05f)
![{\displaystyle A=\operatorname {Tang} .\alpha -{\tfrac {1}{3}}\operatorname {Tang} .^{3}\alpha +{\tfrac {1}{5}}\operatorname {Tang} .^{5}\alpha -\ldots \qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/1f04d8386c2d02a0828ca662e26e3f1a72f0e66f)
(97)
Ainsi, quand on ne saurait pas d’ailleurs que cette expression de
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
(voyez, Théorie des fonctions analitiques, n.o 28 de la 1.re édition, et n.o 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
l’équatïônr
et l’équation
On peut du moins imaginer qu’on ait tiré de la première celle-ci
et qu’entre cette dernière et la seconde, on ait éliminé
, pour avoir
; de manière que l’hypothèse revient à donner les trois équations
![{\displaystyle y=\varphi x,\qquad z=\operatorname {F} x,\qquad z=fy.\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/600cd2be7f67a73fa55bba8ece3641b2222fb989)
(98)
Alors, d’après la formule (45), on aura
![{\displaystyle \operatorname {F} x=fy=fp+{\frac {(y-p)}{1}}.{\frac {\operatorname {d} fp}{\beta }}+{\frac {(y-p)^{2}}{1.2}}.{\frac {\operatorname {d} ^{2}fp}{\beta ^{2}}}+\ldots \qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/399200a0f72027a98d030989d5ee9cd203c30aef)
(99)
Dans celle-ci,
est une arbitraire qui a pour différence constante
Je différencie l’équation (99), par rapport à
seul, et j’ai
![{\displaystyle \operatorname {dF} x=\operatorname {d} y.{\frac {\operatorname {d} fp}{\beta }}+{\frac {(y-p)}{1}}\operatorname {d} y.{\frac {\operatorname {d} ^{2}fp}{\beta ^{2}}}+\ldots \qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/77c2efef10344c514fef3d20e8f3347121795d1b)
(100)
puis je suppose qu’en faisant
dans
on trouve entre autres
et réciproquement ; on aura (98)
![{\displaystyle p=\varphi \theta ,\qquad \operatorname {d} p=\operatorname {d} \varphi \theta ,\qquad fp=f\varphi \theta =\operatorname {F} \theta .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a76919babe4d2c656e0757f5736d130453fa59ad)
Ensuite, je fais
dans (100), et cette équation devient
![{\displaystyle \operatorname {dF} \theta =\operatorname {d} \varphi \theta .{\frac {\operatorname {d} fp}{\beta }}\,;\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/c5765f4efaa59ee4731f0d05d084a77205a92a90)
(101)
d’où
![{\displaystyle {\frac {\operatorname {d} fp}{\beta }}={\frac {\operatorname {dF} \theta }{\operatorname {d} \varphi \theta }}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5f654fe0dd9bd9471601c4340d54243ed9fe880f)
L’équation (101) est la même que (81), trouvée d’une autre manière. Je divise l’équation (100) par
je différencie par rapport à
et j’ai
![{\displaystyle \operatorname {d} \left({\frac {\operatorname {dF} x}{\operatorname {d} y}}\right)=\operatorname {d} y.{\frac {\operatorname {d} ^{2}fp}{\beta ^{2}}}+{\frac {(y-p)}{1}}\operatorname {d} y.{\frac {\operatorname {d} ^{3}fp}{\beta ^{3}}}+\ldots \qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/defae88b3f663773b6df106faaaf882487634880)
(102)
dans celle-ci, je fais
et j’ai
![{\displaystyle {\frac {\operatorname {d} ^{2}fp}{\beta ^{2}}}={\frac {1}{\operatorname {d} \varphi \theta }}\operatorname {d} \left({\frac {\operatorname {dF} \theta }{\operatorname {d} \varphi \theta }}\right).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5008b81c55d5964c8aa154380f1a11ab3b684408)
J’opère sur l’équation (102) comme j’ai fait sur (99) et (100), c’est-à-dire, je divise par
je différencie, je fais
et j’ai
![{\displaystyle {\frac {\operatorname {d} ^{3}fp}{\beta ^{3}}}={\frac {1}{\operatorname {d} \varphi \theta }}\operatorname {d} \left[{\frac {1}{\operatorname {d} \varphi \theta }}\operatorname {d} \left({\frac {\operatorname {dF} \theta }{\operatorname {d} \varphi \theta }}\right)\right].}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0f8f2feccd90617db7c9ce33eb5e1039a42f2097)
L’induction est manifeste, et l’on voit que j’aurai, en général,
![{\displaystyle {\frac {\operatorname {d} ^{n}fp}{\beta ^{n}}}={\frac {1}{\operatorname {d} \varphi \theta }}\operatorname {d} \left\{{\frac {1}{\operatorname {d} \varphi \theta }}\operatorname {d} \left\{{\frac {1}{\operatorname {d} \varphi \theta }}\operatorname {d} \left\{\ldots {\frac {1}{\operatorname {d} \varphi \theta }}\operatorname {d} \left\{{\frac {\operatorname {dF} \theta }{\operatorname {d} \varphi \theta }}\right\}\right\}\right\}\ldots \right\}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/accead01a7b519a449a061a492393d2c5b0d11b0)
(103)
Il y a, dans cette expression, un nombre
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,
![{\displaystyle {\frac {\operatorname {d} fp}{\beta }}=A,\qquad {\frac {\operatorname {d} ^{2}fp}{\beta ^{2}}}=B,\ldots {\frac {\operatorname {d} ^{n}fp}{\beta ^{n}}}=N.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4621b0f2fa288b2f027cd403adb6ddcf71ffb3ad)
Je multiplie successivement l’équation (99) par
je fais d’ailleurs attention qu’en général
![{\displaystyle {\frac {\operatorname {d} y}{(y-p)^{m}}}=-{\frac {1}{m-1}}\operatorname {d} (y-p)^{-(m-1)}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/51fe7791c8df1fdd1f29cd2430aacc297a68c40d)
relation qui se vérifie aisément, d’après la formule (87) ; et j’ai
![{\displaystyle \left.{\begin{array}{rl}\left({\frac {x-\theta }{y-p}}\right)\operatorname {dF} x&=A(x-\theta ).{\frac {\operatorname {d} y}{y-p}}\\&+B(x-\theta ).\operatorname {d} y+{\frac {C}{1.2}}(x-\theta ).\operatorname {d} y+\ldots \\\left({\frac {x-\theta }{y-p}}\right)^{2}\operatorname {dF} x&=-A(x-\theta ).\operatorname {d} (x-\theta )^{-1}\\&+B(x-\theta ).{\frac {\operatorname {d} y}{y-p}}+{\frac {C}{1.2}}(x-\theta )^{2}\operatorname {d} y+\ldots \\\left({\frac {x-\theta }{y-p}}\right)^{3}\operatorname {dF} x&=-{\frac {A}{2}}(x-\theta ).\operatorname {d} (y-p)^{-2}\\&-B(x-\theta ).(y-p)^{-1}+{\frac {C}{1.2}}(x-\theta )^{3}{\frac {\operatorname {d} y}{y-p}}+\ldots \\\ldots \ldots &\ldots \ldots \ldots \ldots \\\end{array}}\right\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9417e2c698217e535c98d25a5ada57b1056f2667)
(104)
Or, d’après la formule (45), on a
![{\displaystyle y-p=(x-\theta )\operatorname {d} \varphi \theta +{\frac {(x-\theta )^{2}}{1.2}}\operatorname {d} ^{2}\varphi \theta +\ldots \,;\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/5310c5fb9487622c1734baa8574a4e0500b3bdcd)
(105)
puis, en différenciant par rapport à ![{\displaystyle x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/87f9e315fd7e2ba406057a97300593c4802b53e4)
![{\displaystyle \operatorname {d} y=\operatorname {d} \varphi \theta +(x-\theta )\operatorname {d} ^{2}\varphi \theta +\ldots \qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/09f57ca96e0dc3239ee63eb3ef51546ef7b1c07d)
(106)
Il suit d’abord de (106) que
et
seront respectivement des formes
![{\displaystyle (y-p)^{-m}=A(x-\theta )^{-m}+B(x-\theta )^{-m-1}+\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/c77779140d0d60df892f326798317cad7b19b39e)
![{\displaystyle +G(x-\theta )^{-1}+H+K(x-\theta )+L(x-\theta )^{2}\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/10d4be93d2acdbed6b6c6a66aefee4fb198e38e1)
![{\displaystyle \operatorname {d} (y-p)^{-m}=A'(x-\theta )^{-m-1}+B'(x-\theta )^{-m}+\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/74fc5f92d2973dcbf6a6b427924f18819d96c9c4)
![{\displaystyle +G'(x-\theta )^{-2}+0+K'+L'(x-\theta )\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/adb1890cde1a8d15d54328775161203e9eb06a29)
(107)
de cette dernière on conclut que,
étant un nombre entier plus grand que 0, il manque, dans le développement de
suivant les puissances ascendantes de
le terme multiplié par
puis ultérieurement que,
étant aussi un nombre plus grand que 0, il manquera, dans le développement de
le terme multiplié par
D’ailleurs, il est évident (107) que, tantque
sera égal à
ou plus grand, ce développement ne renfermera point des puissances négatives de
Mais, d’après la formule (87),
étant positif,
est nul, quand
et
est de la forme
étant plus grand que zéro, quand
Donc, en prenant la différence
de l’expression
tous les termes où
a un exposant moindre que
seront détruits, tous les autres prendront la forme
puisque, le terme en
manquant, dans tous les autres, l’exposant de
est plus grand que
par conséquent, lorsqu’on fera
on aura toujours
![{\displaystyle \operatorname {d} ^{n}\left[(x-\theta )^{n+1}.\operatorname {d} (y-p)^{-m}\right]=0.\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/3859c6ea4ea849b4e368400f19048fd7e99c0258)
(108)
Il suit, en second lieu, de l’équation (106), que l’expression
est toujours de la forme
![{\displaystyle (x-\theta )^{n+1}.{\frac {\operatorname {d} y}{y-p}}=(x-\theta )^{n}+P(x-\theta )^{n+1}+\ldots \,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1bdbdc48e2d12f73de0baed60a74b694a042aca2)
mais (87)
donc, quand on fera
on aura toujours
![{\displaystyle d^{n}\left[(x-\theta )^{n+1}.{\frac {\operatorname {d} y}{y-p}}\right]=1.2.3.\ldots n.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d98a6bfd04d08b424343f1f7de1769738395552b)
Je fais à présent l’application de ces deux observations importantes à la suite d’équations (104).
Je fais
dans la première ; le premier terme, à cause de (109), devient
et les suivans s’anéantissent, donc
![{\displaystyle A=\left\{{\frac {x-\theta }{y-p}}\operatorname {dF} x\right\}_{0}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8dd8c182f482eada3bf7185a53fb18d9b30e25fd)
J’indiquerai par le 0, placé en flanc d’une expression, qu’il faut faire, dans son développement, ![{\displaystyle x-\theta =0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4efb131a039dcbfff639d4cb65db6ce325390207)
Je différencie une fois la seconde équation (104), puis je fais
le premier terme
est nul (108) ; le second
devient
(109) ; tous les suivans s’évanouissent ; donc
![{\displaystyle B=\operatorname {d} \left\{\left({\frac {x-\theta }{y-p}}\right)^{2}\operatorname {dF} x\right\}_{0}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/60755a054ed6b6f083a60730ae95e9a6a474794c)
Je différencie deux fois de suite la troisième équation (104), puis je fais
les deux premiers termes du second membre, étant dans le cas de (108), sont nuls ; le troisième se réduit à
d’après (109) ; les suivans sont visiblement nuls ; donc
![{\displaystyle C=\operatorname {d} ^{2}\left\{\left({\frac {x-\theta }{y-p}}\right)^{3}\operatorname {dF} x\right\}_{0}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0827242a2d72414ffb4238475495f7593c7f266a)
Il n’est pas nécessaire d’aller plus loin pour conclure en toute rigueur qu’en général
![{\displaystyle N={\frac {\operatorname {d} ^{n}fp}{\beta ^{n}}}=\operatorname {d} ^{n-1}\left\{\left({\frac {x-\theta }{y-p}}\right)^{n}\operatorname {dF} x\right\}_{0}\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/1ca9f5f67daa80f9a49b0a207faf786381f0eba4)
(110)
ainsi l’équation (99) devient
![{\displaystyle \operatorname {F} x=\operatorname {F} \theta +{\frac {(y-p)}{1}}\left\{\left({\frac {x-\theta }{y-p}}\right)\operatorname {dF} x\right\}_{0}+{\frac {(y-p)^{2}}{1.2}}\operatorname {d} \left\{\left({\frac {x-\theta }{y-p}}\right)^{2}\operatorname {dF} x\right\}_{0}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3dc71c9568ae9e3f27869bdc64aa477af900bedc)
![{\displaystyle +{\frac {(y-p)^{3}}{1.2.3}}\operatorname {d} ^{2}\left\{\left({\frac {x-\theta }{y-p}}\right)^{3}\operatorname {dF} x\right\}_{0}+\ldots \qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/ab5c5798ef8fbee561f11ebe4ff35dafb93b6a46)
(111)
ou bien, si l’on veut mettre, pour
et
les expressions correspondantes
et ![{\displaystyle \varphi \theta ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/58fbf70856039414a8dce2b6042708956d19c1fc)
![{\displaystyle +{\frac {(\varphi x-\varphi \theta )^{3}}{1.2.3}}\left\{{\frac {(x-\theta )^{3}\operatorname {dF} x}{(\varphi x-\varphi \theta )^{3}}}\right\}_{0}+\ldots \qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/74a70bb81f623304c8828445c5e7392e7f0d1661)
(112)
C’est la formule du professeur Burman (voyez Mémoires de l’Institut, 1.re 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
son expression en
si la forme de l’équation
le permet ; sinon, après les différentiations, il faudra substituer pour
ce que deviennent ces fonctions, quand
et
s’anéantissent à la fois ; ce qui sera possible, en général, d’après l’équation
Si l’équation donnée entre
et
est simplement
on aura d’après (105)
![{\displaystyle \left({\frac {x-\theta }{y-p}}\right)_{0}={\frac {1}{\operatorname {d} \varphi \theta }}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ea605e80236a2f6cb08a6621aae7fcf682b99cdc)
en supposant toutefois que l’équation
ne donne pour
qu’une seule valeur égale à
C’est ce qu’il faudra substituer au lieu de
après les développemens.
Si l’équation donnée entre
et
est par exemple
![{\displaystyle x-\theta =(y-p)\psi x,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ff464e9f1d861cfe3b0eb83efc0a9abc1946b2ea)
qui donne en effet
quand
et réciproquement ; l’équation (111) devient
![{\displaystyle \operatorname {F} x=\operatorname {F} \theta +(y-p)^{\psi \theta }.\operatorname {dF} \theta +{\frac {(y-p)^{2}}{1.2}}\operatorname {d} \left[(\psi \theta )^{2}.\operatorname {dF} \theta \right]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e55febc966084a987b9549384ef1079c9790a286)
![{\displaystyle +{\frac {(y-p)^{3}}{1.2.3}}\operatorname {d} ^{2}\left[(\psi \theta )^{3}.\operatorname {dF} \theta \right]+\ldots \qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/68ff2c29e480a49e162b2842786bd6ab70cda23e)
(113)
Celle-ci, quand on fait
est la formule de Lagrange que nous venons de rappeler.
Soit, entre les variables
et
la relation
![{\displaystyle x-\theta =(y-\lambda )\psi (x,y),\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/c142da9b52a49ed760f2c125baa491802086c9f1)
(114)
qui donne
quand
et réciproquement.
Dans la fonction donnée
et dans (114), je regarde
seul comme variable et j’ai, d’après la formule (113).
![{\displaystyle \operatorname {F} (x,y)=\operatorname {F} (\theta ,y)+(y-\lambda ){\frac {\operatorname {d} }{\theta }}\operatorname {F} (\theta ,y).\psi (\theta ,y)+\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/ab696cf6c60dfd72d5d0458645ec3aeb99e889b1)
![{\displaystyle +{\frac {(y-\lambda )^{n}}{1.2.\ldots n}}{\frac {\operatorname {d} ^{n}}{\theta }}\left\{{\frac {\operatorname {d} }{\theta }}\operatorname {F} (\theta ,y).\left[\psi (\theta ,y)\right]^{n}\right\}+\ldots \qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/4f87ad61f88710ec16e06bfb6b420657275d3073)
(115)
et les coefficiens de
sont des fonctions de
que je développe suivant les puissances de
par le moyen de la formule (45) et j’ai, en faisant d’ailleurs pour abréger
![{\displaystyle \operatorname {F} (\theta ,y)=u+(y-\lambda ){\frac {\operatorname {d} }{\lambda }}u+{\frac {(y-\lambda )^{2}}{1.2}}{\frac {\operatorname {d} ^{2}}{\lambda }}u.+{\frac {(y-\lambda )^{3}}{1.2.3}}{\frac {\operatorname {d} ^{3}}{\lambda }}u+\ldots \,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d0cdf0a4462c5905b4ccd7bc8f84207693631a56)
![{\displaystyle {\frac {\operatorname {d} ^{n-1}}{\theta }}\left\{{\frac {\operatorname {d} }{\theta }}\operatorname {F} (\theta ,y).\left[\psi (\theta ,y)\right]^{n}\right\}=}](https://wikimedia.org/api/rest_v1/media/math/render/svg/58f99109da1a8c9b01a8484814e53d283f90a2da)
![{\displaystyle {\frac {\operatorname {d} ^{n-1}}{\theta }}\left({\frac {\operatorname {d} }{\theta }}u.v^{n}\right)+(y-\lambda ){\frac {\operatorname {d} }{\lambda }}{\frac {\operatorname {d} ^{n-1}}{\theta }}\left({\frac {\operatorname {d} }{\theta }}u.v^{n}\right)+\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/0cc24a3e77c85249716c0c4947925fb4892e11de)
Je substitue ces résultats dans (115), j’ordonne suivant les puissances de
et j’ai
![{\displaystyle \operatorname {F} (x,y)=u+A(y-\lambda )+B{\frac {(y-\lambda )^{2}}{1.2}}+\ldots +N{\frac {(y-\lambda )^{n}}{1.2\ldots n}}+\ldots \,;\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/f4650887c326b3172555ff034191c28bb6fccdb3)
(116)
équation dans laquelle le terme général des coefficiens est
![{\displaystyle N={\frac {\operatorname {d} ^{n}}{\lambda }}u+n{\frac {\operatorname {d} ^{n-1}}{\lambda }}\left({\frac {\operatorname {d} }{\theta }}u.v\right)+{\frac {n}{1}}{\frac {n-1}{2}}{\frac {\operatorname {d} ^{n-2}}{\lambda }}{\frac {\operatorname {d} }{\theta }}\left({\frac {\operatorname {d} }{\theta }}u.v^{2}\right)+\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/06727bf53eed355e30c967ca6caed2f1685cc85b)
![{\displaystyle +{\frac {\operatorname {d} }{\lambda }}{\frac {\operatorname {d} ^{n-2}}{\theta }}\left({\frac {\operatorname {d} }{\theta }}u.v^{n-1}\right)+{\frac {\operatorname {d} ^{n-1}}{\theta }}\left({\frac {\operatorname {d} }{\theta }}u.v^{n}\right).\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/1dfaa31278554b266d48625615164ff725e31163)
(117)
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.
![{\displaystyle ft=u\varphi (x+t)+v\psi (x+t).\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/6d245f6e6dc857be502970d2aba25d3eca3a5790)
(118)
Il s’agit de développer
suivant les puissances et produits de ![{\displaystyle u,v\,?}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bc20e8f5727ab264d8c10991be04134367f7ce58)
La résolution de l’équation (118) donnerait pour
une expression de la forme
n’ayant d’ailleurs entr’elles aucune équation de condition ; ainsi, on peut considérer
comme fonction des trois variables indépendantes
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.o 17), qu’on a, en désignant, pour plus de simplicité,
par
![{\displaystyle \left.{\begin{array}{rll}\operatorname {F} p=\operatorname {F} p_{0}+u{\frac {\operatorname {d} }{u}}\operatorname {F} p_{0}&+{\frac {u^{2}}{1.2}}{\frac {\operatorname {d} ^{2}}{u}}\operatorname {F} p_{0}&+\ldots \\+v{\frac {\operatorname {d} }{v}}\operatorname {F} p_{0}&+2{\frac {uv}{1.2}}{\frac {\operatorname {d} }{u}}{\frac {\operatorname {d} }{v}}\operatorname {F} p_{0}&+\ldots \\&+{\frac {v^{2}}{1.2}}{\frac {\operatorname {d} ^{2}}{v}}\operatorname {F} p_{0}&+\ldots \\&&+\ldots \\\end{array}}\right\}\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/dd53c7b964807c9a059865bb81974ea04a5bd5ed)
(119)
Le zéro, en flanc de
signifie qu’il faut faire égales à zéro les variables
après les développemens.
Je différencie successivement
par rapport à
et j’ai, en faisant attention au théorème (81),
![{\displaystyle {\frac {\operatorname {d} }{u}}\operatorname {F} p=\operatorname {d} \operatorname {F} p.{\frac {\operatorname {d} }{u}}t\,;\qquad {\frac {\operatorname {d} }{v}}\operatorname {F} p=\operatorname {d} \operatorname {F} p.{\frac {\operatorname {d} }{v}}t\,;\qquad {\frac {\operatorname {d} }{x}}\operatorname {F} p=\operatorname {d} \operatorname {F} p\left(1+{\frac {\operatorname {d} }{x}}t\right).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9eee8313fb407263e12dfa8dd93db94564b1e8bd)
J’élimine entre celles-ci
et j’ai
![{\displaystyle {\frac {\operatorname {d} }{u}}\operatorname {F} p={\frac {\operatorname {d} }{x}}\operatorname {F} p.{\frac {{\frac {\operatorname {d} }{u}}t}{\left(1+{\frac {\operatorname {d} }{x}}t\right)}}\,;\qquad {\frac {\operatorname {d} }{v}}\operatorname {F} p={\frac {\operatorname {d} }{x}}\operatorname {F} p.{\frac {{\frac {\operatorname {d} }{v}}t}{1+{\frac {\operatorname {d} }{x}}t}}.\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/0a825259de8ab087f22c93c37b1e3213ec17f364)
(120)
Je différencie successivement l’équation (118) suivant
et j’écris les résultats comme il suit
![{\displaystyle {\begin{aligned}{\frac {\operatorname {d} }{u}}t(\operatorname {d} ft-u\operatorname {d} \varphi p-v\operatorname {d} \psi p)&=\varphi p,\qquad \ \,{\text{(121)}}\\{\frac {\operatorname {d} }{v}}t(\operatorname {d} ft-u\operatorname {d} \varphi p-v\operatorname {d} \psi p)&=\psi p,\qquad \ \,{\text{(122)}}\\\left(1+{\frac {\operatorname {d} }{x}}t\right)(\operatorname {d} ft-u\operatorname {d} \varphi p-v\operatorname {d} \psi p)&=\operatorname {d} ft.\qquad {\text{(123)}}\\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e192d0b0832662a11e689a2afd2c4c0d41183b85)
J’élimine entre ces trois dernières le facteur polynôme commun à leurs premiers membres ; et j’ai
![{\displaystyle {\frac {\operatorname {d} }{u}}t={\frac {\varphi p}{\operatorname {d} ft}}\left(1+{\frac {\operatorname {d} }{x}}t\right),\qquad {\frac {\operatorname {d} }{v}}t={\frac {\psi p}{\operatorname {d} ft}}\left(1+{\frac {\operatorname {d} }{x}}t\right).\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/336e29650642e3e1f740bb5f31038b0d90912bb8)
(124)
Je mets ces expressions (124) dans les équations (120), et j’ai
![{\displaystyle {\frac {\operatorname {d} }{u}}\operatorname {F} p={\frac {\operatorname {d} }{x}}\operatorname {F} p.{\frac {\varphi p}{\operatorname {d} ft}}\,;\qquad {\frac {\operatorname {d} }{v}}\operatorname {F} p={\frac {\operatorname {d} }{x}}\operatorname {F} p.{\frac {\psi p}{\operatorname {d} ft}}.\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/88dc79c173b99d9e25f763b98a61d9feb0580c83)
(125)
Comme la fonction
est arbitraire, celles-ci donnent
![{\displaystyle \left.{\begin{aligned}{\frac {\operatorname {d} }{u}}\varphi p={\frac {\operatorname {d} }{x}}\varphi p.{\frac {\varphi p}{\operatorname {d} ft}},\qquad &{\frac {\operatorname {d} }{v}}\varphi p={\frac {\operatorname {d} }{x}}\varphi p.{\frac {\psi p}{\operatorname {d} ft}},\\{\frac {\operatorname {d} }{u}}\psi p={\frac {\operatorname {d} }{x}}\psi p.{\frac {\varphi p}{\operatorname {d} ft}},\qquad &{\frac {\operatorname {d} }{v}}\psi p={\frac {\operatorname {d} }{x}}\psi p.{\frac {\psi p}{\operatorname {d} ft}},\\\end{aligned}}\right\}\quad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/2730457060e0fcef924858ecca58643ac77933cc)
(126)
Quand on fait, dans (118),
il vient
Supposons que cette équation donne
; on aura
et, d’après les équations (125),
![{\displaystyle {\frac {\operatorname {d} }{u}}\operatorname {F} p_{0}={\frac {\operatorname {d} }{x}}\operatorname {F} (x+\theta ).{\frac {\varphi (x+\theta )}{\operatorname {d} f\theta }}\,;\qquad {\frac {\operatorname {d} }{v}}\operatorname {F} p_{0}={\frac {\operatorname {d} }{x}}\operatorname {F} (x+\theta ).{\frac {\psi (x+\theta )}{\operatorname {d} f\theta }}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b010ee3f7a3aa0e3d7ecd7cdf1d94d86ed8182e4)
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
et
la seconde suivant
et on a, pour
des expressions qui contiennent linéaîrement les différentielles, selon
de
et
On élimine Les différentielles suivant
et
par le moyen des équations (124), (125), (126) ; et, réductions faites, il vient
![{\displaystyle \left.{\begin{aligned}{\frac {\operatorname {d} ^{2}}{u}}\operatorname {F} p=&{\frac {{\frac {\operatorname {d} }{x}}\left[{\frac {\operatorname {d} }{x}}\operatorname {F} p.(\varphi p)^{2}\right]}{(\operatorname {d} ft)^{2}}}-{\frac {{\frac {\operatorname {d} }{x}}\operatorname {F} p.(\varphi p)^{2}.\operatorname {d} ^{2}ft.\left(1+2{\frac {\operatorname {d} }{x}}t\right)}{(\operatorname {d} ft)^{3}}},\\{\frac {\operatorname {d} }{u}}{\frac {\operatorname {d} }{v}}\operatorname {F} =&{\frac {{\frac {\operatorname {d} }{x}}\left[{\frac {\operatorname {d} }{x}}\operatorname {F} p.\varphi p.\psi p\right]}{(\operatorname {d} ft)^{2}}}-{\frac {{\frac {\operatorname {d} }{x}}\operatorname {F} p.(\varphi p).(\psi p).\operatorname {d} ^{2}ft.\left(1+2{\frac {\operatorname {d} }{x}}t\right)}{(\operatorname {d} ft)^{3}}},\\{\frac {\operatorname {d} ^{2}}{v}}\operatorname {F} p=&{\frac {{\frac {\operatorname {d} }{x}}\left[{\frac {\operatorname {d} }{x}}\operatorname {F} p.(\psi p)^{2}\right]}{(\operatorname {d} ft)^{2}}}-{\frac {{\frac {\operatorname {d} }{x}}\operatorname {F} p.(\psi p)^{2}.\operatorname {d} ^{2}ft.\left(1+2{\frac {\operatorname {d} }{x}}t\right)}{(\operatorname {d} ft)^{3}}}.\\\end{aligned}}\right\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dc16391345858be29577a1d8b094f49832ba8a7a)
(127)
Dans celles-ci, on satisfait à l’hypothèse
qui donne
et, d’après (123)
et on a les trois coefficiens différentiels
![{\displaystyle {\frac {\operatorname {d} ^{2}}{u}}\operatorname {F} p_{0},\ {\frac {\operatorname {d} }{u}}{\frac {\operatorname {d} }{v}}\operatorname {F} p_{0},\ {\frac {\operatorname {d} ^{2}}{v}}\operatorname {F} p_{0}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f4029cd6f9d94e7804f153ae47973eec69d5f6e5)
On continue de la même manière ; c’est-à-dire, on différencie les équations (127), suivant
et
pour avoir
Dans les résultats, les différentielles selon
et
de
sont éliminées par les équations (125), (126) ;
le sont d’après (124) ; on élimine les deux autres
qui sont la même chose que
respectivement, après avoir différencié suivant
les équations (124).
Ensuite on satisfait à l’hypothèse
qui donne
et, ce qu’il faut bien remarquer, en général
comme il est aisé de le conclure de l’équation (123) ; et on a les quatre coefficiens
![{\displaystyle {\frac {\operatorname {d} ^{3}}{u}}\operatorname {F} p_{0},\ {\frac {\operatorname {d} ^{2}}{u}}{\frac {\operatorname {d} }{v}}\operatorname {F} p_{0},\ {\frac {\operatorname {d} }{u}}{\frac {\operatorname {d} ^{2}}{v}}\operatorname {F} p_{0},\ {\frac {\operatorname {d} ^{3}}{v}}\operatorname {F} p_{0}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/21ef67bcbd17c5f6ebdfa653d945bba5efe079db)
La route à suivre pour continuer indéfiniment est suffisamment reconnue ; et il est visible que tout se réduit à des différentiations, suivant
et
des derniers résultats obtenus, et à l’élimination des différentielles, suivant
et
de
d’après (125), et des différentielles de la forme
d’après les équations (124) différenciées, suivant
autant de fois qu’il est nécessaire.
Supposons actuellement, en particulier
et partant
en faisant cette hypothèse dans (125) et (126), on aura d’abord
![{\displaystyle {\frac {\operatorname {d} }{u}}\left\{{\frac {\operatorname {d} }{x}}\operatorname {F} p.(\varphi p)^{m}\right\}=(\varphi p)^{m}.{\frac {\operatorname {d} }{x}}{\frac {\operatorname {d} }{u}}\operatorname {F} p+{\frac {\operatorname {d} }{x}}\operatorname {F} p.{\frac {\operatorname {d} }{u}}(\varphi p)^{m}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8a23512e9880140ec5bbc050182d40b56eeba955)
et comme, d’après (125), (126),
![{\displaystyle {\frac {\operatorname {d} }{x}}{\frac {\operatorname {d} }{u}}\operatorname {F} p=\varphi p.{\frac {\operatorname {d} ^{2}}{x}}\operatorname {F} p+{\frac {\operatorname {d} }{x}}\operatorname {F} p.{\frac {\operatorname {d} }{x}}\varphi p\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/951a58219e34cf993b29001dd3f6303810496ed9)
![{\displaystyle {\frac {\operatorname {d} }{u}}(\varphi p)^{m}=m(\varphi p)^{m-1}.{\frac {\operatorname {d} }{u}}\varphi p=m(\varphi p)^{m}.{\frac {\operatorname {d} }{x}}\varphi p\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e1a8be36fa0c98b14b45b66d58ba6dbf0645b345)
Il viendra, en réduisant,
![{\displaystyle {\frac {\operatorname {d} }{u}}\left\{{\frac {\operatorname {d} }{x}}\operatorname {F} p.(\varphi p)^{m}\right\}={\frac {\operatorname {d} }{x}}\left\{{\frac {\operatorname {d} }{x}}\operatorname {F} p.(\varphi p)^{m+1}\right\}.\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/3ffc6ed88cecc1762e73d3e42ce2944fae0d78f8)
(128)
On trouvera, de la même manière
![{\displaystyle {\frac {\operatorname {d} }{v}}\left\{{\frac {\operatorname {d} }{x}}\operatorname {F} p.(\varphi p)^{m}.(\psi p)^{n}\right\}={\frac {\operatorname {d} }{x}}\left\{{\frac {\operatorname {d} }{x}}\operatorname {F} p.(\varphi p)^{m}(\psi p)^{n+1}\right\}.\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/1b46f8991f755dfcab683ff3c0b8284fe65e90ba)
(129)
Cela étant, en différenciant successivement, par rapport à
la première (125), on aura, eu égard à (128),
![{\displaystyle {\frac {\operatorname {d} ^{2}}{u}}\operatorname {F} p={\frac {\operatorname {d} }{u}}\left({\frac {\operatorname {d} }{x}}\operatorname {F} p.\varphi p\right)={\frac {\operatorname {d} }{x}}\left\{{\frac {\operatorname {d} }{x}}\operatorname {F} p.(\varphi p)^{2}\right\},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/44da317657d6b25b132a0d63211f53d2d5aa3762)
![{\displaystyle {\frac {\operatorname {d} ^{3}}{u}}\operatorname {F} p={\frac {\operatorname {d} }{x}}{\frac {\operatorname {d} }{u}}\left[{\frac {\operatorname {d} }{x}}\operatorname {F} p.(\varphi p)^{2}\right]={\frac {\operatorname {d} ^{2}}{x}}\left\{{\frac {\operatorname {d} }{x}}\operatorname {F} p.(\varphi p)^{3}\right\}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b8a21a624148b4fc0d1323b89a0584075d3faae7)
et, en général
![{\displaystyle {\frac {\operatorname {d} ^{m}}{u}}\operatorname {F} p={\frac {\operatorname {d} ^{m-1}}{x}}\left\{{\frac {\operatorname {d} }{x}}\operatorname {F} p.(\varphi p)^{n}\right\}.\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/50c66cdeee166d587c644ef5f2bf94a24b5a9b14)
(130)
On différenciera ensuite l’équation (130) successivement par rapport à
et, en faisant attention à (129), on trouvera
![{\displaystyle {\frac {\operatorname {d} }{v}}{\frac {\operatorname {d} ^{m}}{u}}\operatorname {F} p={\frac {\operatorname {d} ^{m}}{u}}{\frac {\operatorname {d} }{v}}\operatorname {F} p={\frac {\operatorname {d} ^{m-1}}{x}}{\frac {\operatorname {d} }{v}}\left\{{\frac {\operatorname {d} }{x}}\operatorname {F} p.(\varphi p)^{m}\right\}={\frac {\operatorname {d} ^{m}}{x}}\left\{{\frac {\operatorname {d} }{x}}\operatorname {F} p.(\varphi p)^{m}\psi p\right\},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e44ba371ae5fe245cb3430bc0549e88caf2fbc5c)
![{\displaystyle {\frac {\operatorname {d} ^{m}}{u}}{\frac {\operatorname {d} ^{2}}{v}}\operatorname {F} p={\frac {\operatorname {d} ^{m+1}}{x}}\left\{{\frac {\operatorname {d} }{x}}\operatorname {F} p.(\varphi p)^{m}.(\psi p)^{2}\right\}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5c4605684cc43585681267101f7dd63a2ea6cc05)
et, en général
![{\displaystyle {\frac {\operatorname {d} ^{m}}{u}}{\frac {\operatorname {d} ^{n}}{v}}\operatorname {F} p={\frac {\operatorname {d} ^{m+n-1}}{x}}\left\{{\frac {\operatorname {d} }{x}}\operatorname {F} p.(\varphi p)^{m}.(\psi p)^{n}\right\}.\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/a8b5b680121512e33f3b039119edd72e72dd3b2a)
(131)
C’est le terme général des coefficiens de développement cherché, où il n’y a plus qu’à satisfaire à la condition
qui (118) donne
Alors, dans notre terme général (131),
se change en
les différentielles partielles suivant
deviennent totales ; il est alors
![{\displaystyle {\frac {\operatorname {d} ^{m}}{u}}{\frac {\operatorname {d} ^{n}}{v}}\operatorname {F} p_{0}=\operatorname {d} ^{m+n-1}\left\{\operatorname {dF} x.(\varphi x)^{m}.(\psi x)^{n}\right\}\,;\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/cfd9fe0c94f8cb996c52d79746c2f6851ac23b30)
(132)
on a enfin (119)
![{\displaystyle \left.{\begin{array}{rll}\operatorname {F} (x+t)=\operatorname {F} x+u\operatorname {dF} x.\varphi x&+{\frac {u^{2}}{1.2}}\operatorname {d} \left\{\operatorname {dF} x.(\varphi x)^{2}\right\}&+\ldots \\+v\operatorname {dF} x.\psi x&+2{\frac {uv}{1.2}}\operatorname {d} \left\{\operatorname {dF} x.\varphi x.\psi x\right\}&+\ldots \\&+{\frac {v^{2}}{1.2}}\operatorname {d} \left\{\operatorname {dF} x.(\psi x)^{2}\right\}&+\ldots \\&&+\ldots \\\end{array}}\right\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/98ad2205b167050bef44195f89975ed55ac01bd7)
(133)
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.re partie du travail que j’ai eu l’honneur de présenter à la 1.re 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.me 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.