CHAPITRE XIII.
Extension de la méthode précédente aux fonctions d’un nombre quelconque de variables. Problème de la brachistochrone. Caractères pour distinguer si une fonction proposée est ou non une fonction prime, ou en général une fonction dérivée d’un certain ordre.
71. La fonction proposée, dont la fonction primitive doit être un maximum ou un minimum, pourrait contenir, outre les variables
et
une troisième variable
indépendante des deux autres ; on opérerait alors, relativement à cette variable, comme on a fait relativement à
Ainsi, en désignant la fonction proposée par
![{\displaystyle f(x,y,y',y'',\ldots ,z,z',z'',\ldots ),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/048fb4fbea45cafc3fd32d7efe48c5f6595836e4)
on y substituera à la fois les quantités
et
à la place de
et
et il faudra, après le développement, que la fonction primitive de la partie qui ne contiendra que les premières dimensions de
soit nulle, et que la fonction primitive de la partie qui contiendra les secondes dimensions de ces mêmes quantités soit positive pour le minimum et négative pour le maximum, indépendamment des quantités
et ![{\displaystyle \zeta .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8843b83e5b60116bafbba232629752394ad08e56)
De là, par une analyse semblable à celle du no 62 et en conservant aussi pour les fonctions primes relatives à
une notation semblable à celle que nous avons employée relativement à
on aura ces deux équations,
![{\displaystyle {\begin{aligned}f'(y)-\left[f'(y')\right]'+\left[f'(y'')\right]''-\ldots =&0,\\f'(z)-\left[f'(z')\right]'+\left[f'(z'')\right]''-\ldots =&0,\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c1791fb3100a75a82cbbb000232f1de5c09031f5)
qui serviront à déterminer les quantités
![{\displaystyle y}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b8a6208ec717213d4317e666f1ae872e00620a0d)
et
![{\displaystyle z}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bf368e72c009decd9b6686ee84a375632e11de98)
en fonction de
![{\displaystyle x.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d07e9f568a88785ae48006ac3c4b951020f1699a)
Ensuite il faudra, relativement aux quantités
![{\displaystyle z}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bf368e72c009decd9b6686ee84a375632e11de98)
et
![{\displaystyle \zeta ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2579c0a35d39cc67c4fab7a644b786cf6d22ec16)
satisfaire à des conditions semblables à celles qu’on a trouvées par rapport à
![{\displaystyle y}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b8a6208ec717213d4317e666f1ae872e00620a0d)
et
![{\displaystyle \omega \,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/21c05e8eebfa2aa9139266ef8dc06f4c1b8f2f32)
c’est un détail qui nous mènerait trop loin et que le lecteur peut suppléer.
On voit par là que, s’il y avait une quatrième variable
on aurait, relativement à cette variable, une équation semblable à celles qui répondent aux variables
et
et ainsi de suite.
72. Mais si, dans la fonction
la quantité
dépendait des quantités
et
d’une manière quelconque donnée par l’équation
![{\displaystyle \varphi (x,y,y',\ldots ,z,z',\ldots )=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d00798dbde9914a368ef6daf62a86f3c74705d61)
alors, suivant les mêmes principes du no 58, on ajouterait simplement la fonction
multipliée par un coefficient indéterminé et variable
à la fonction proposée
et l’on chercherait, par les méthodes exposées, le maximum ou minimum de la fonction primitive de cette fonction composée, en regardant les quantités
et
comme indépendantes. Ainsi, on trouvera d’abord, pour le maximum ou minimum, les deux équations
![{\displaystyle {\begin{aligned}f'(y)-\left[f'(y')\right]'+\left[f'(y'')\right]''-\ldots &+\Delta \varphi '(y)-\left[\Delta \varphi '(y')\right]'+\left[\Delta \varphi '(y'')\right]''-\ldots =0,\\f'(z)-\left[f'(z')\right]'+\left[f'(z'')\right]''-\ldots &+\Delta \varphi '(z)\,-\left[\Delta \varphi '(z')\right]'+\left[\Delta \varphi '(z'')\right]''-\ldots =0,\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9a32f452cce0107d74cc551ed52ec91c9d275681)
d’où, éliminant la quantité
on aura une équation qui, combinée avec l’équation donnée
servira à déterminer les valeurs de
et
en fonction de ![{\displaystyle x.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d07e9f568a88785ae48006ac3c4b951020f1699a)
Enfin, si la fonction primitive de la fonction
ne devait être un maximum ou un minimum qu’autant que la fonction primitive d’une autre fonction
serait donnée entre les mêmes valeurs
et
de
il n’y aurait qu’à chercher le maximum ou minimum de la somme des deux fonctions primitives, après avoir multiplié la seconde par un coefficient indéterminé indépendant de
c’est-à-dire le maximum ou minimum de la fonction primitive de
![{\displaystyle f(x,y,y',\ldots )+\Delta \varphi (x,y,y',\ldots ),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a8cd7f91b367a00cb88b317589e91d03aa941d6b)
en regardant
comme une quantité constante. De cette manière, on aura d’abord l’équation
![{\displaystyle f'(y)-\left[f'(y')\right]'+\left[f'(y'')\right]''-\ldots +\Delta \varphi '(y)-\Delta \left[\varphi '(y')\right]'+\Delta \left[\varphi '(y'')\right]''-\ldots =0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/68b78102b457f2a660108fc15fb51d92feccfe2e)
et l’on déterminera la constante
de manière que la fonction primitive de
prise depuis
jusqu’à
soit donnée ; et ainsi du reste.
73. Les problèmes de la brachistochrone et des isopérimèlres, proposés et résolus d’abord par les deux frères Bernoulli, ont ouvert la route pour traiter ce nouveau genre de questions de maximis et minimis. On a trouvé ensuite successivement des méthodes plus générales et plus simples, et l’on est parvenu enfin au Calcul des variations, qui paraît ne rien laisser à désirer sur ce sujet. Comme les équations trouvées plus haut (nos 62, 70) sont les mêmes, à la notation près, que celles qui résultent de ce Calcul, nous pourrions nous dispenser de les appliquer à des exemples ; mais il ne sera pas inutile de montrer encore, par un exemple connu, l’usage des règles pour distinguer les maxima et minima, et s’assurer de leur existence.
Nous reprendrons pour cela le problème de la brachistochrone, ou ligne de la plus vite descente, à cause de sa célébrité ; il consiste, comme l’on sait, à trouver la courbe le long de laquelle un corps pesant descendrait dans le moindre temps d’un point donné à un autre point donné et placé dans une verticale différente. Comme, par les principe de la Mécanique, la fonction prime du temps est égale à la fonction prime de l’espace divisée par la vitesse, et que, dans les corps qui tombent par la pesanteur, la vitesse est toujours proportionnelle à la racine carrée de la hauteur d’où ils sont censés être descendus, si l’on rapporte aux trois coordonnées rectangulaires
la courbe décrite par le corps, et qu’on prenne les abscisses
verticales, la vitesse sera proportionnelle à
et
sera la fonction prime de l’arc de la courbe (no 37) ; ainsi
sera proportionnelle à la fonction prime du temps, dont la fonction primitive devra être un minimum. On aura donc
![{\displaystyle f(x,y,y',\ldots ,z,z',\ldots )={\frac {\sqrt {1+y'^{2}+z'^{2}}}{\sqrt {h+x}}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/df648050304b239f0ee1b6227edf0d51d1b374d9)
donc, prenant les fonctions primes, on aura
![{\displaystyle {\begin{alignedat}{2}f'(y)=&0,\qquad &f'(y')=&{\frac {y'}{{\sqrt {h+x}}{\sqrt {1+y'^{2}+z'^{2}}}}},\\f'(z)=&0,&f'(z')=&{\frac {z'}{{\sqrt {h+x}}{\sqrt {1+y'^{2}+z'^{2}}}}},\end{alignedat}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0b9efb7ade2757df5c51b35adca24f306372187d)
et l’on aura (no 70) Les deux équations
![{\displaystyle {\begin{aligned}\left({\frac {y'}{{\sqrt {h+x}}{\sqrt {1+y'^{2}+z'^{2}}}}}\right)'=0,\\\left({\frac {z'}{{\sqrt {h+x}}{\sqrt {1+y'^{2}+z'^{2}}}}}\right)'=0.\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/07a0ac15dc643941a08ed92e8b7a55ef60809314)
lesquelles donnent d’abord ces deux-ci du premier ordre,
![{\displaystyle {\begin{aligned}{\frac {y'}{{\sqrt {h+x}}{\sqrt {1+y'^{2}+z'^{2}}}}}=m,\\{\frac {z'}{{\sqrt {h+x}}{\sqrt {1+y'^{2}+z'^{2}}}}}=n,\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a1dbd0f709d0cb1ccff2536f0621132d51717cde)
et
étant deux constantes arbitraires.
En divisant ces deux équations l’une par l’autre, on a
donc
et, prenant l’équation primitive, on aura
![{\displaystyle z={\frac {ny}{m}}+l,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cebba27a66c0bb425d206ec291bb7e9237c79951)
![{\displaystyle l}](https://wikimedia.org/api/rest_v1/media/math/render/svg/829091f745070b9eb97a80244129025440a1cfac)
étant une nouvelle constante arbitraire. Cette équation étant à un plan vertical, puisque l’abscisse verticale
![{\displaystyle x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/87f9e315fd7e2ba406057a97300593c4802b53e4)
ne s’y trouve pas, fait voir que la courbe cherchée est toute dans ce plan ; ainsi, en prenant l’axe des
![{\displaystyle y}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b8a6208ec717213d4317e666f1ae872e00620a0d)
dans ce même plan, on pourra supposer
![{\displaystyle z=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/463359fa7c7563dc29f2079e63195b0035f1ab5a)
en faisant
![{\displaystyle l}](https://wikimedia.org/api/rest_v1/media/math/render/svg/829091f745070b9eb97a80244129025440a1cfac)
et
![{\displaystyle n=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7fc0580398ffab28930cd887b66e36dcdcc5b66e)
et l’on aura pour la courbe cette équation unique entre les coordonnées
![{\displaystyle x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/87f9e315fd7e2ba406057a97300593c4802b53e4)
et
![{\displaystyle {\frac {y'}{{\sqrt {h+x}}{\sqrt {1+y'^{2}}}}}=m,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8046c9f8503e8b5ea381c8e1d615ef529f0ca3be)
d’où l’on tire
![{\displaystyle y'={\frac {m{\sqrt {h+x}}}{\sqrt {1-m^{2}(h+x)}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d65c441a27a3fef89290fe7d5eee6aa2a8a00f8e)
équation à la cycloïde, les abscisses
étant prises sur le diamètre du cercle générateur et les ordonnées
perpendiculairement à ce diamètre.
Puisqu’on suppose que les deux points extrêmes de la courbe sont donnés, les quantités
et
répondant à ces points seront nulles, et les valeurs des quantités
et
seront nulles aussi en prenant
et
pour les valeurs de
qui répondent à ces points ; ainsi la condition
sera remplie. Si l’on faisait d’autres hypothèses relativement à ces points, on trouverait d’autres résultats ; nous ne nous y arrêterons pas, parce que ces différentes questions ont été déjà discutées et résolues par les principes du Calcul des variations. Mais il faut voir ce que donnent les termes où les quantités
et
monteront à la seconde dimension et dont la fonction primitive doit être positive pour que le minimum ait effectivement lieu.
Comme la fonction prohosée
ne contient point, dans le cas présent, les variables
et
mais seulement leurs fonctions primes
et
il est facile de voir que les termes dont il s’agit seront simplement de la forme
![{\displaystyle {\frac {1}{2}}\omega '^{2}f''(y')+\omega '\zeta 'f''(y',z')+{\frac {1}{2}}\zeta '^{2}f''(z'),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/128025752cfb91dc006a11e658d49b08ca717b8e)
et l’on trouve, en prenant les fonctions primes des quantités
et
![{\displaystyle f'(z')}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e1347ab86d732daa4eaa65fdce95f957d1baab7c)
relativement à
![{\displaystyle y'}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3a535de94a2183d7130731eab8a83531d7c35c6b)
et
![{\displaystyle {\begin{aligned}f''(y')=&{\frac {1+z'^{2}}{{\sqrt {h+x}}\left(1+y'^{2}+z'^{2}\right)^{\frac {3}{2}}}},\\f''(y',z')=&{\frac {y'z'}{{\sqrt {h+x}}\left(1+y'^{2}+z'^{2}\right)^{\frac {3}{2}}}},\\f''(z')=&{\frac {1+y'^{2}}{{\sqrt {h+x}}\left(1+y'^{2}+z'^{2}\right)^{\frac {3}{2}}}},\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/77d25c5b856b9e9202b740691c69ea3a762082d5)
de sorte que la quantité dont il s’agit deviendra
![{\displaystyle {\frac {\omega '^{2}\left(1+z'^{2}\right)-2\omega '\zeta 'y'z'+\zeta '^{2}\left(1+y'^{2}\right)}{2{\sqrt {h+x}}\left(1+y'^{2}+z'^{2}\right)^{\frac {3}{2}}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3aebe6c3474e6ab0fb8c3b9867024fabe6fd0c81)
laquelle peut se mettre sous cette forme,
![{\displaystyle {\frac {\omega '^{2}+\zeta '^{2}+(\omega 'z'-\zeta 'y')^{2}}{2{\sqrt {h+x}}\left(1+y'^{2}+z'^{2}\right)^{\frac {3}{2}}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9c0baffbd93f32d01f7a688dfe5c6737105c95c2)
où l’on voit que cette quantité a d’elle-même la propriété d’être toujours nécessairement positive, quelles que soient les valeurs de
et
et, comme d’ailleurs elle ne saurait jamais devenir infinie tant que
et
ne seront pas infinies, il s’ensuit que le minimum aura nécessairement lieu dans la cycloïde.
Nous n’entrerons pas dans d’autres détails sur ce problème, qui offre différentes cas à examiner, suivant les conditions qu’on peut demander relativement au premier et au dernier point de la courbe, et par rapport à la courbe même, qu’on peut supposer devoir être tracée sur une surface donnée. La solution de tous ces cas peut se tirer aisément des principes établis ci-dessus. Voir la fin de la Leçon XXII du Calcul des fonctions[1].
74. L’analyse que nous avons employée pour trouver les maxima et minima des fonctions primitives donne lieu à une observation importante. Nous avons trouvé (no 62) que, pour que la quantité
![{\displaystyle \omega f'(y)+\omega 'f'(y')+\omega ''f''(y'')+\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/d66f4821152fcc034e6609ced3d6080de276f50d)
ait une fonction primitive, quelle que soit la valeur de
il faut satisfaire à l’équation
![{\displaystyle f'(y)-\left[f'(y')\right]'+\left[f'(y'')\right]''-\ldots =0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2fc49f8f8df17e66fa611cbb3f978d771e625e06)
Donc, si cette quantité était d’elle-même la fonction prime d’une fonction de
l’équation précédente aurait aussi lieu d’elle-même et serait par conséquent identique.
Or on voit, par le no 61, que la quantité dont il s’agit n’est autre chose que la partie du développement de la fonction
![{\displaystyle f(x,y+\omega ,y'+\omega ',y''+\omega '',\ldots )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d1ae77e6037f8e2eae0fac26123bbd30cdfd0081)
qui ne contient que les premières dimensions de
et je vais prouver que cette quantité sera nécessairement une fonction prime si
est elle-même une fonction prime d’une fonction de ![{\displaystyle x,y,y',\ldots .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/992acb2c8983b07c8a59b60f3f59cde2e49b002c)
En effet, si cette fonction est une fonction prime, quelle que soit la valeur de
en
elle le sera encore en mettant
au lieu de
quelle que soit la quantité
donc la fonction
![{\displaystyle f(x,y+\omega ,y'+\omega ',\ldots )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a109e2a4847aa586e1ba58db700cc7080a1e1a05)
sera aussi nécessairement une fonction prime, en prenant pour
une fonction quelconque de
Supposons que cette fonction soit développée suivant les puissances et les produits de
et dénotons respectivement par
les parties de ce développement qui contiendront les premières dimensions, les deuxièmes dimensions, les troisièmes, etc. des mêmes quantités ; on aura
![{\displaystyle f(x,y+\omega ,y'+\omega ',y''+\omega '',\ldots )=f(x,y,y',y'',\ldots )+\mathrm {P+Q+R} +\ldots .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/68f5381b53b305dab55c828b1afffec99f180593)
Ainsi, il faudra que la quantité
soit la fonction prime d’une fonction de
et de
et il est facile de
voir que chacune des quantités
![{\displaystyle \mathrm {P,Q,R} ,\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/3c5218413306ec165b9d432dabd69b0f532c4769)
devra être en particulier une fonction prime, puisque, ces quantités renfermant des dimensions différentes de l’indéterminée
![{\displaystyle \omega }](https://wikimedia.org/api/rest_v1/media/math/render/svg/48eff443f9de7a985bb94ca3bde20813ea737be8)
et de ses fonctions dérivées
![{\displaystyle \omega ',\omega '',\ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/41c6860c26fb449a228a78d3aa93936ffa24c563)
il est impossible, par la nature des fonctions dérivées, que les fonctions primitives de
![{\displaystyle \mathrm {P,Q,R} ,\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/3c5218413306ec165b9d432dabd69b0f532c4769)
dépendent les unes des autres. Or on a, dans le numéro cité,
![{\displaystyle \mathrm {P} =\omega f'(y)+\omega 'f'(y')+\omega ''f''(y'')+\ldots \,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/aaf4f78220ccfe389f4e184eda18bfb3415858c0)
donc cette quantité sera d’elle-même une fonction prime. Donc enfin, si la fonction
est une fonction prime, l’équation
![{\displaystyle f'(y)-\left[f'(y')\right]'+\left[f'(y'')\right]''-\left[f'(y''')\right]'''+\ldots =0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2f8a72949c84c97e3825f4b9985280540c02ab22)
sera nécessairement identique.
Réciproquement, on peut démontrer que, si cette équation est identique, la fonction
sera nécessairement une fonction prime, car nous avons vu que, si cette équation est vraie, la quantité
est une fonction prime, quelles que soient les valeurs de
et de
donc elle sera encore une fonction prime si à la place de
on met
Supposons que, par cette substitution et par le développementsuivant les dimensions de
la quantité
devienne
la quantité
contenant les premiers termes du développement dans lesquels
ne formeront que deux dimensions, on en conclura, comme plus haut, que la quantité
sera en particulier la fonction prime d’une fonction de
mais, par les formules générales que nous avons données dans le no 76 de la première Partie, il est facile de voir qu’on a
donc la quantité
sera une fonction prime,
et
étant quelconques donc elle sera encore une fonction prime en y substituant
pour
Et, si l’on suppose que, par cette substitution et par le développementsuivant les puissances et les produits de
cette fonction devienne
la quantité
renfermant les premiers termes du développement où les
ne formeront que trois dimensions, on en conclura aussi, comme ci-dessus, que la quantité
sera elle-même une fonction prime ; mais par les formules du même numéro on trouve
donc la quantité
sera elle-même aussi une fonction prime, et ainsi de suite. En effet, si
sont les premiers termes du développementdes quantités
on aura (numéro cité), après la substitution de
à la place de
d’où l’on conclura, en suivant le même raisonnement, que les quantités
seront aussi, chacune en particulier, des fonctions primes.
Donc toute la série
sera nécessairement la fonction prime d’une fonction de
quelles que soient les valeurs de
et
en
Donc la quantité
![{\displaystyle f(x,y+\omega ,y'+\omega ',\ldots )-f(x,y,y',\ldots ),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0f0363e442ddf48198c0760b119b3bdaeb370762)
qui est égale à cette série, sera une fonction prime en donnant à
une valeur quelconque, et, par conséquent aussi, en faisant
or, dans ce cas, la fonction
ne sera plus qu’une simple fonction de
sans
ni
qui pourra être censée la fonction prime d’une fonction de
Donc la fonction
sera elle-même nécessairement la fonction prime d’une fonction de ![{\displaystyle x,y,y',\ldots .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/992acb2c8983b07c8a59b60f3f59cde2e49b002c)
75. Il suit de là que l’équation
![{\displaystyle f'(y)-\left[f'(y')\right]'+\left[f'(y'')\right]''-\ldots =0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7bc6e135b6ba3d3ab86c984a1aae848dd046eda1)
contient le caractère par lequel on peut reconnaitre si la fonction
est ou non une fonction prime.
On trouvera de la même manière que les deux équations
![{\displaystyle {\begin{aligned}f'(y)-\left[f'(y')\right]'&+\left[f'(y'')\right]''-\ldots =0,\\f'(z)-\left[f'(z')\right]'&+\left[f'(z'')\right]''-\ldots =0\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d3a08feee3bef80944d51497fd9214b4cf2b670e)
renferment le caractère par lequel on pourra reconnaître si la fonction
est ou non une fonction prime, les quantités
et
étant indépendantes.
Mais, si la quantité
![{\displaystyle z}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bf368e72c009decd9b6686ee84a375632e11de98)
dépendait de l’équation
![{\displaystyle \varphi (x,y,y',\ldots ,z,z',\ldots )=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d00798dbde9914a368ef6daf62a86f3c74705d61)
on aurait, comme au no 71,
![{\displaystyle {\begin{aligned}f'(y)-\left[f'(y')\right]'+\left[f'(y'')\right]''-\ldots &+\Delta \varphi '(y)-\left[\Delta \varphi '(y')\right]'+\left[\Delta \varphi '(y'')\right]''-\ldots =0,\\f'(z)-\left[f'(z')\right]'+\left[f'(z'')\right]''-\ldots &+\Delta \varphi '(z)\,-\left[\Delta \varphi '(z')\right]'+\left[\Delta \varphi '(z'')\right]''-\ldots =0,\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9a32f452cce0107d74cc551ed52ec91c9d275681)
et l’équation résultante de l’élimination de l’indéterminée
contiendrait le caractère qui ferait reconnaître si la fonction
est d’elle-même, ou non, une fonction prime.
Puisque la fonction primitive de la quantité
![{\displaystyle \omega f'(y)+\omega 'f'(\eta ')+\omega ''f'(y'')+\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/32b335fb5ee44d23e583dc107a970e3e75832406)
est représentée (no 62) par
![{\displaystyle \omega \beta +\omega '\gamma +\omega ''\delta +\ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c774a742f310d4193bf1dd492efc06a8aac4645a)
en omettant, ce qui est permis, la constante arbitraire, on trouvera, de la même manière, que le caractère par lequel on pourra reconnaître si cette fonction primitive est elle-même une fonction prime sera renfermé dans l’équation
![{\displaystyle \beta -\gamma '+\delta ''-\ldots =0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cf41af67b9dce9fc462cc79fa55af89927e720e4)
laquelle, en substituant pour
leurs valeurs (no 63), devient
![{\displaystyle f'(y')-2\left[f'(y'')\right]'+3\left[f'(y''')\right]''=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f34044cf8f06729760ac5e5a2482428d7b8edef6)
Ainsi, le système de cette équation et de l’équation trouvée ci-dessus renfermera le caractère par lequel on pourra juger si la fonction
est d’elle-même, ou non, la fonction seconde d’une fonction de
et ainsi de suite.
76. Ces différentes équations répondent à celles que, dans le Calcul différentiel, on nomme conditions d’intégrabilité, et dont on s’est beaucoup occupé dans ces derniers temps. Nous nous contenterons ici d’avoir établi, d’une manière directe et rigoureuse, le principe de la correspondance de ces équations avec celles du maximum et minimum des fonctions primitives, et nous renverrons, pour ce qui concerne l’usage de ces équations de condition, aux différents Ouvrages qui en traitent, et surtout à la Leçon XXI du Calcul des fonctions[2], où cette matière est traitée avec plus de détail et de généralité. On y trouvera aussi un précis historique sur le problème des isopérimètres, dont la solution générale, par la méthode des variations, fait l’objet de la Leçon XXII du même Calcul, à laquelle nous renvoyons pour compléter la théorie des variations exposée ci-dessus.