# Théorie des fonctions analytiques/Partie II/Chapitre 13
### CHAPITRE XIII.

71. La fonction proposée, dont la fonction primitive doit être un maximum ou un minimum, pourrait contenir, outre les variables $x$ et $y,$ une troisième variable $z,$ indépendante des deux autres ; on opérerait alors, relativement à cette variable, comme on a fait relativement à $y.$ Ainsi, en désignant la fonction proposée par
$f(x,y,y',y'',\ldots ,z,z',z'',\ldots ),$
on y substituera à la fois les quantités $y+\omega ,$ et $z+\zeta$ à la place de $y$ et $z,$ et il faudra, après le développement, que la fonction primitive de la partie qui ne contiendra que les premières dimensions de $\omega ,\omega ',\omega '',\ldots ,$ $\zeta ,\zeta ',\zeta '',\ldots$ 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 $\omega$ et $\zeta .$
De là, par une analyse semblable à celle du n$^o$ 62 et en conservant aussi pour les fonctions primes relatives à $z,z',z'',\ldots$ une notation semblable à celle que nous avons employée relativement à $y,y',y'',\ldots ,$ on aura ces deux équations,
${\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}}$
$y$
$z$
$x.$
$z$
$\zeta ,$
$y$
$\omega \,;$
On voit par là que, s’il y avait une quatrième variable $u,$ on aurait, relativement à cette variable, une équation semblable à celles qui répondent aux variables $y$ et $z\,;$ et ainsi de suite.
72. Mais si, dans la fonction $f(x,y,y',\ldots ,z,z',\ldots ),$ la quantité $z$ dépendait des quantités $x$ et $y$ d’une manière quelconque donnée par l’équation
$\varphi (x,y,y',\ldots ,z,z',\ldots )=0,$
alors, suivant les mêmes principes du n$^o$ 58, on ajouterait simplement la fonction $\varphi (x,y,y',\ldots ,z,z',\ldots ),$ multipliée par un coefficient indéterminé et variable $\Delta ,$ à la fonction proposée $f(x,y,y',\ldots ,z,z',\ldots ),$ 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 $y$ et $z$ comme indépendantes. Ainsi, on trouvera d’abord, pour le maximum ou minimum, les deux équations
${\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}}$
d’où, éliminant la quantité $\Delta ,$ on aura une équation qui, combinée avec l’équation donnée $\varphi (x,y,y',\ldots ,z,z',\ldots )=0,$ servira à déterminer les valeurs de $y$ et $z$ en fonction de $x.$
Enfin, si la fonction primitive de la fonction $f(x,y,y',\ldots )$ ne devait être un maximum ou un minimum qu’autant que la fonction primitive d’une autre fonction $\varphi (x,y,y',\ldots )$ serait donnée entre les mêmes valeurs $a$ et $b$ de $x,$ 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 $x,$ c’est-à-dire le maximum ou minimum de la fonction primitive de
$f(x,y,y',\ldots )+\Delta \varphi (x,y,y',\ldots ),$
en regardant $\Delta$ comme une quantité constante. De cette manière, on aura d’abord l’équation
$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,$
et l’on déterminera la constante $\Delta$ de manière que la fonction primitive de $\varphi (x,y,y',\ldots ),$ prise depuis $x=a$ jusqu’à $x=b,$ 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 (n$^{os}$ 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 $x,y,z$ la courbe décrite par le corps, et qu’on prenne les abscisses $x$ verticales, la vitesse sera proportionnelle à ${\sqrt {h+x}}$ et ${\sqrt {1+y'^{2}+z'^{2}}}$ sera la fonction prime de l’arc de la courbe (n$^o$ 37) ; ainsi ${\frac {\sqrt {1+y'^{2}+z'^{2}}}{\sqrt {h+x}}}$ sera proportionnelle à la fonction prime du temps, dont la fonction primitive devra être un minimum. On aura donc
$f(x,y,y',\ldots ,z,z',\ldots )={\frac {\sqrt {1+y'^{2}+z'^{2}}}{\sqrt {h+x}}}\,;$
donc, prenant les fonctions primes, on aura
${\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}}$
et l’on aura (n$^o$ 70) Les deux équations
${\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}}$
lesquelles donnent d’abord ces deux-ci du premier ordre,
${\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}}$
$m$ et $n$ étant deux constantes arbitraires.
En divisant ces deux équations l’une par l’autre, on a ${\frac {y'}{z'}}={\frac {m}{n}}\,;$ donc $z'={\frac {ny'}{m}},$ et, prenant l’équation primitive, on aura
$z={\frac {ny}{m}}+l,$
$l$
$x$
$y$
$z=0,$
$l$
$n=0,$
$x$
$y,$
${\frac {y'}{{\sqrt {h+x}}{\sqrt {1+y'^{2}}}}}=m,$
d’où l’on tire
$y'={\frac {m{\sqrt {h+x}}}{\sqrt {1-m^{2}(h+x)}}},$
équation à la cycloïde, les abscisses $x$ étant prises sur le diamètre du cercle générateur et les ordonnées $y$ perpendiculairement à ce diamètre.
Puisqu’on suppose que les deux points extrêmes de la courbe sont donnés, les quantités $\omega$ et $\zeta$ répondant à ces points seront nulles, et les valeurs des quantités $\mathrm {A}$ et $\mathrm {B}$ seront nulles aussi en prenant $a$ et $b$ pour les valeurs de $x$ qui répondent à ces points ; ainsi la condition $\mathrm {B-A} =0$ 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 $\omega$ et $\zeta$ monteront à la seconde dimension et dont la fonction primitive doit être positive pour que le minimum ait effectivement lieu.
Comme la fonction prohosée $f(x,y,y',\ldots ,z,z',\ldots )$ ne contient point, dans le cas présent, les variables $y$ et $z,$ mais seulement leurs fonctions primes $y'$ et $z',$ il est facile de voir que les termes dont il s’agit seront simplement de la forme
${\frac {1}{2}}\omega '^{2}f''(y')+\omega '\zeta 'f''(y',z')+{\frac {1}{2}}\zeta '^{2}f''(z'),$
et l’on trouve, en prenant les fonctions primes des quantités $f'(y')$ et
$f'(z')$
$y'$
$z',$
${\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}}$
de sorte que la quantité dont il s’agit deviendra
${\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}}}},$
laquelle peut se mettre sous cette forme,
${\frac {\omega '^{2}+\zeta '^{2}+(\omega 'z'-\zeta 'y')^{2}}{2{\sqrt {h+x}}\left(1+y'^{2}+z'^{2}\right)^{\frac {3}{2}}}},$
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 $\omega$ et $\zeta \,;$ et, comme d’ailleurs elle ne saurait jamais devenir infinie tant que $y'$ et $z'$ 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.
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é (n$^o$ 62) que, pour que la quantité
$\omega f'(y)+\omega 'f'(y')+\omega ''f''(y'')+\ldots$
ait une fonction primitive, quelle que soit la valeur de $\omega ,$ il faut satisfaire à l’équation
$f'(y)-\left[f'(y')\right]'+\left[f'(y'')\right]''-\ldots =0.$
Donc, si cette quantité était d’elle-même la fonction prime d’une fonction de $x,y,y',\ldots ,\omega ,\omega ',\ldots ,$ l’équation précédente aurait aussi lieu d’elle-même et serait par conséquent identique.
Or on voit, par le n$^o$ 61, que la quantité dont il s’agit n’est autre chose que la partie du développement de la fonction
$f(x,y+\omega ,y'+\omega ',y''+\omega '',\ldots )$
qui ne contient que les premières dimensions de $\omega ,\omega ',\omega '',\ldots ,$ et je vais prouver que cette quantité sera nécessairement une fonction prime si $f(x,y,y',y'',\ldots )$ est elle-même une fonction prime d’une fonction de $x,y,y',\ldots .$
En effet, si cette fonction est une fonction prime, quelle que soit la valeur de $y$ en $x,$ elle le sera encore en mettant $y+\omega$ au lieu de $y,$ quelle que soit la quantité $\omega \,:$ donc la fonction
$f(x,y+\omega ,y'+\omega ',\ldots )$
sera aussi nécessairement une fonction prime, en prenant pour $\omega$ une fonction quelconque de $x.$ Supposons que cette fonction soit développée suivant les puissances et les produits de $\omega ,\omega ',\omega '',\ldots ,$ et dénotons respectivement par $\mathrm {P,Q,R} ,\ldots$ 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
$f(x,y+\omega ,y'+\omega ',y''+\omega '',\ldots )=f(x,y,y',y'',\ldots )+\mathrm {P+Q+R} +\ldots .$
Ainsi, il faudra que la quantité $\mathrm {P+Q+R} +\ldots$ soit la fonction prime d’une fonction de $x,y,y',\ldots$ et de $\omega ,\omega ',\omega '',\ldots ,$ et il est facile de
$\mathrm {P,Q,R} ,\ldots$
$\omega$
$\omega ',\omega '',\ldots ,$
$\mathrm {P,Q,R} ,\ldots$
$\mathrm {P} =\omega f'(y)+\omega 'f'(y')+\omega ''f''(y'')+\ldots \,;$
donc cette quantité sera d’elle-même une fonction prime. Donc enfin, si la fonction $f(x,y,y',y'',\ldots )$ est une fonction prime, l’équation
$f'(y)-\left[f'(y')\right]'+\left[f'(y'')\right]''-\left[f'(y''')\right]'''+\ldots =0$
sera nécessairement identique.
Réciproquement, on peut démontrer que, si cette équation est identique, la fonction $f(x,y,y',y'',\ldots )$ sera nécessairement une fonction prime, car nous avons vu que, si cette équation est vraie, la quantité $\mathrm {P}$ est une fonction prime, quelles que soient les valeurs de $y$ et de $\omega \,;$ donc elle sera encore une fonction prime si à la place de $y$ on met $y+\omega .$ Supposons que, par cette substitution et par le développementsuivant les dimensions de $\omega ,\omega ',\omega '',\ldots ,$ la quantité $\mathrm {P}$ devienne $\mathrm {P} +p+\ldots \,;$ la quantité $p$ contenant les premiers termes du développement dans lesquels $\omega ,\omega ',\omega '',\ldots ,$ ne formeront que deux dimensions, on en conclura, comme plus haut, que la quantité $p$ sera en particulier la fonction prime d’une fonction de $x,y,y',\ldots ,\omega ,\omega ',\ldots \,;$ mais, par les formules générales que nous avons données dans le n$^o$ 76 de la première Partie, il est facile de voir qu’on a $p=2\mathrm {Q} \,:$ donc la quantité $\mathrm {Q}$ sera une fonction prime, $y$ et $\omega$ étant quelconques donc elle sera encore une fonction prime en y substituant $y+\omega$ pour $y.$ Et, si l’on suppose que, par cette substitution et par le développementsuivant les puissances et les produits de $\omega ,\omega ',\ldots ,$ cette fonction devienne $\mathrm {Q} +q+\ldots ,$ la quantité $q$ renfermant les premiers termes du développement où les $\omega ,\omega ',\omega '',\ldots$ ne formeront que trois dimensions, on en conclura aussi, comme ci-dessus, que la quantité $q$ sera elle-même une fonction prime ; mais par les formules du même numéro on trouve $q=3\mathrm {R} \,:$ donc la quantité $\mathrm {R}$ sera elle-même aussi une fonction prime, et ainsi de suite. En effet, si $r,s,\ldots$ sont les premiers termes du développementdes quantités $\mathrm {R,S} ,\ldots ,$ on aura (numéro cité), après la substitution de $y+\omega$ à la place de $\omega ,$ $r=4\mathrm {S} ,\ s=5\mathrm {T} ,\ldots ,$ d’où l’on conclura, en suivant le même raisonnement, que les quantités $\mathrm {S,T} ,\ldots$ seront aussi, chacune en particulier, des fonctions primes.
Donc toute la série $\mathrm {P+Q+R} +\ldots$ sera nécessairement la fonction prime d’une fonction de $x,y,y',\ldots ,\omega ,\omega ',\ldots ,$ quelles que soient les valeurs de $y$ et $\omega$ en $x.$ Donc la quantité
$f(x,y+\omega ,y'+\omega ',\ldots )-f(x,y,y',\ldots ),$
qui est égale à cette série, sera une fonction prime en donnant à $\omega$ une valeur quelconque, et, par conséquent aussi, en faisant $\omega =y\,;$ or, dans ce cas, la fonction $f(x,y+\omega ,y'+\omega ',\ldots )$ ne sera plus qu’une simple fonction de $x$ sans $y$ ni $\omega ,$ qui pourra être censée la fonction prime d’une fonction de $x.$ Donc la fonction $f(x,y,y',y'',\ldots )$ sera elle-même nécessairement la fonction prime d’une fonction de $x,y,y',\ldots .$
75. Il suit de là que l’équation
$f'(y)-\left[f'(y')\right]'+\left[f'(y'')\right]''-\ldots =0$
contient le caractère par lequel on peut reconnaitre si la fonction $f(x,y,y',y'',\ldots )$ est ou non une fonction prime.
On trouvera de la même manière que les deux équations
${\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}}$
renferment le caractère par lequel on pourra reconnaître si la fonction $f(x,y,y',\ldots ,z,z',\ldots )$ est ou non une fonction prime, les quantités $y$ et $z$ étant indépendantes.
$z$
$\varphi (x,y,y',\ldots ,z,z',\ldots )=0,$
on aurait, comme au n$^o$ 71,
${\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}}$
et l’équation résultante de l’élimination de l’indéterminée $\mathrm {A}$ contiendrait le caractère qui ferait reconnaître si la fonction $f(x,y,y',\ldots ,z,z',\ldots )$ est d’elle-même, ou non, une fonction prime.
Puisque la fonction primitive de la quantité
$\omega f'(y)+\omega 'f'(\eta ')+\omega ''f'(y'')+\ldots$
est représentée (n$^o$ 62) par
$\omega \beta +\omega '\gamma +\omega ''\delta +\ldots ,$
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
$\beta -\gamma '+\delta ''-\ldots =0.$
laquelle, en substituant pour $\beta ,\gamma ,\delta ,\ldots$ leurs valeurs (n$^o$ 63), devient
$f'(y')-2\left[f'(y'')\right]'+3\left[f'(y''')\right]''=0.$
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 $f(x,y,y',y'',\ldots )$ est d’elle-même, ou non, la fonction seconde d’une fonction de $x,y,y',y'',\ldots \,;$ 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, 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.
* ↑ Œuvres de Lagrange, t. X.
* ↑ Œuvres de Lagrange, t. X.