CHAPITRE XII.
Des questions de maximis et minimis qui se rapportent à la méthode des variations. De l’équation commune au maximum et au minimum, et des caractères propres à distinguer les maxima des minima.
61. Si le maximum ou minimum, au lieu d’être une fonction donnée de
devait être la fonction primitive de celle-ci, regardée comme une fonction prime, alors il ne serait plus permis de traiter les quantités
comme indépendantes et isolées, parce que la fonction primitive d’une fonction de ces quantités dépend elle-même de la relation qu’elles peuvent avoir entre elles. Les problèmes de ce genre sont ceux qui se rapportent au calcul connu sous le nom de calcul des variations ; ils ne demandent pas une analyse nouvelle, mais une application spéciale de l’analyse des fonctions que nous croyons devoir exposer ici, à cause de l’importance de la matière.
Soit donnée la fonction
dans laquelle
est supposé une fonction de
il est évident qu’on ne peut, généralement parlant, avoir la fonction primitive de cette fonction donnée, sans connaître la valeur de
en
Mais on peut chercher quelle devrait être cette valeur, pour que la fonction primitive de
fût un maximum ou un minimum, en supposant que cette fonction soit nulle lorsque
aura une valeur donnée
et qu’elle devienne un maximum ou un minimum lorsque
aura une autre valeur donnée
Il est évident que, en prenant
pour la valeur cherchée, il faudra, par la nature du maximum ou minimum, que la fonction primitive de la fonction
![{\displaystyle f(x,y+\omega ,y'+\omega ',y''+\omega '',\ldots ),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7a91bdd97d6f6b7deb42e0c5b0023b0ea9834ef7)
qui résulte de la fonction donnée, en mettant
![{\displaystyle y+\omega }](https://wikimedia.org/api/rest_v1/media/math/render/svg/2996eb16c51bec6489a216a0e5ebe95aedad3a87)
à la place de
![{\displaystyle y,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/99bd9829c9ef4adcb0f9f5d53b27463a873a8e88)
soit toujours, entre les mêmes limites de
![{\displaystyle x,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/feff4d40084c7351bf57b11ba2427f6331f5bdbe)
moindre dans le cas du maximum et plus grande dans le cas du minimum que la fonction primitive de
![{\displaystyle f(x,y,y',y'',\ldots ),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e62179da4c2ab5546161ad82fa2bd9cf4ed0b26d)
quelle que soit la valeur de
![{\displaystyle \omega ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9b0d8eba2c8829fecf9414b15b1d02c24db3a553)
qu’on pourra regarder comme une fonction quelconque de
![{\displaystyle x,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/feff4d40084c7351bf57b11ba2427f6331f5bdbe)
et quelque petite que cette valeur puisse être.
La fonction
![{\displaystyle f(x,y+\omega ,y'+\omega ',y''+\omega '',\ldots ),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7a91bdd97d6f6b7deb42e0c5b0023b0ea9834ef7)
étant développée suivant les puissances et les produits de
d’une manière semblable à celle du no 78 (Ire Partie), deviendra
![{\displaystyle f(x,y,y',y'',\ldots )+\omega f'(y)+\omega 'f'(y')+\omega ''f'(y'')+\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/ad47e4fc94578594778f5fcda9ea10e80c46e43b)
![{\displaystyle +{\frac {1}{2}}\omega ^{2}f''(y)+\omega \omega 'f''(y,y')+{\frac {1}{2}}\omega ^{'2}f''(y')+\ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b13ac585b29b0360d6c6ec5c355bd5ea51e281a5)
où les quantités
dénotent les fonctions primes de
prises suivant
et les quantités
dénotent les fonctions secondes de la fonction
prises relativement à
seul, à
et
à
seul, et ainsi de suite ; le nombre est indéterminé ou plutôt inconnu, et peut être différent dans les différentes fonctions ; mais il doit être le même dans la même fonction, et il doit toujours être renfermé entre les limites
et ![{\displaystyle 1.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/af8c4e445819b13a052647aa3eb2be990b0a4b24)
Donc il faudra que la fonction primitive de la quantité
![{\displaystyle {\begin{aligned}\omega &f'(y)+\omega 'f'(y')+\omega ''f'(y'')+\ldots \\&+{\frac {\omega ^{2}}{2}}f''(y)+\omega \omega 'f''(y,y')+{\frac {\omega ^{'2}}{2}}f''(y')+\ldots \end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/eaaa0e3441f9c76ba82cd62026f3c790420456f0)
ait toujours une valeur négative pour le maximum et une valeur positive pour le minimum, quelque valeur qu’on donne à la fonction et aussi petite que cette valeur puisse être, en prenant cette fonction primitive de manière qu’elle soit nulle lorsque
et y faisant ensuite ![{\displaystyle x=b.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/48ec1eb0ca109258cd5d8ec5c725906802c4a09b)
Or, sans connaître la quantité
on peut prouver qu’il est toujours possible de la prendre assez petite pour que la fonction primitive de la partie qui ne contient que les premières dimensions de
ait une valeur plus grande, positive ou négative, que la fonction primitive de l’autre partie. Car, en substituant
à la place de
étant une quantité variable quelconque et
un coefficient constant, la première partie se trouvera toute multipliée par
et la seconde le sera par
et leurs fonctions primitives seront aussi multipliées par
et par
et il est visible qu’on pourra toujours donner à
une valeur assez petite pour que la première de ces fonctions surpasse la seconde, du moins tant qu’elle ne sera pas nulle. D’où l’on conclura qu’on pourra toujours prendre la quantité assez petite pour que la valeur totale de la fonction primitive dont il s’agit soit nécessairement positive ou négative, suivant que celle de la première partie de cette fonction le sera. Mais il est visible que celle-ci doit changer de signe en changeant le signe de la quantité
Donc il sera impossible que la fonction totale soit constamment positive ou négative, indépendamment de la valeur de
à moins que la fonction primitive de la partie qui ne contient que les premières dimensions de
ne soit nulle, quelle que soit la valeur de
Donc le maximum ou minimum ne pourra avoir lieu, a moins que la fonction primitive de la fonction
![{\displaystyle \omega f'(y)+\omega 'f'(y')+\omega ''f'(y'')+\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/fb6065ec6f540d0a4e05602697c952c9ca8db52c)
ne soit nulle, quelle que soit la valeur de ![{\displaystyle \omega .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2243e2ce8b3865a78e46f7e554deb7b3aaa09490)
Cette fonction étant nulle, il faudra alors que la fonction primitive de l’autre partie
![{\displaystyle {\frac {1}{2}}\omega ^{2}f''(y)+\omega \omega 'f''(y,y')+{\frac {1}{2}}\omega ^{'2}f''(y')+\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/ee49bd63e7ee3d7500ac161e761d3660ac2cef59)
soit positive pour le minimum et négative pour le maximum, en donnant à
une valeur quelconque aussi petite qu’on voudra.
62. Pour satisfaire à la première de ces conditions de la manière la plus générale, nous remarquerons que, puisque la quantité doit demeurer indéterminée, la fonction primitive de la fonction
![{\displaystyle \omega f'(y)+\omega 'f'(y')+\omega ''f'(y'')+\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/fb6065ec6f540d0a4e05602697c952c9ca8db52c)
ne peut être que de la forme
![{\displaystyle \alpha +\omega \beta +\omega '\gamma +\omega ''\delta +\ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9d4c906bda048158522b531c7f2011fb39f1c606)
où la plus haute des fonctions dérivées
sera d’un ordre moindre que dans la fonction proposée ; c’est de quoi il est facile de se convaincre avec un peu de réflexion sur la forme des fonctions dérivées. Prenant donc la fonction prime de cette quantité, en regardant
comme des fonctions de
étant supposé aussi fonction de
on aura
![{\displaystyle \alpha '+\omega \beta '+\omega '(\beta +\gamma ')+\omega ''(\gamma +\delta ')+\ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9b980020d1432197a98238849eb137f9e55794e3)
et, comparant avec la fonction proposée, on aura
![{\displaystyle \alpha '=0,\quad \beta '=f'(y),\quad \beta +\gamma '=f'(y'),\quad \gamma +\delta '=f'(y''),\quad \ldots .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c56f9bf9d8e7028f79b65d9cb7d8d479010f5e5d)
La première équation donne
égal à une constante arbitraire ; les autres équations serviront à déterminer
et, comme il est facile de voir que le nombre de ces quantités est nécessairement moindre d’une unité que celui des équations, il en résultera une équation de condition qui devra être satisfaite pour que le maximum ou minimum ait lieu.
Pour cela, il n’y a qu’à mettre ces équations sous cette forme
![{\displaystyle \beta '=f'(y),\quad \beta '+\gamma ''=\left[f'(y')\right]',\quad \gamma ''+\delta '''=\left[f'(y'')\right]'',\quad \ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4a80feec3234473fd45ce76725014db09c6a0469)
en prenant les fonctions primes de la seconde, les fonctions deuxièmes de la troisième, et ainsi de suite ; retranchant ensuite alternativement l’une de l’autre, on aura
![{\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/3b9888ed78b7cebd1d09100c5bffae1d2b3cb0c5)
où les traits appliqués aux parenthèses dénotent les fonctions primes, secondes, etc. des quantités renfermées entre ces parenthèses.
Cette équation sera donc commune au maximum et au minimum, et servira à déterminer la valeur de
en fonction de
elle sera, comme il est aisé de le voir, d’un ordre double de celui de la fonction
63. Les mêmes équations
![{\displaystyle \beta +\gamma '=f'(y'),\quad \gamma +\delta '=f'(y''),\quad \ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5f681a9d04401c1bb19caa9bec59f38674949ed1)
donneront, par un procédé semblable,
![{\displaystyle {\begin{aligned}&\beta =f'(y'\ )-\left[f'(y''\ )\right]'+\left[f'(y''')\right]''-\ldots ,\\&\gamma =f'(y''\,)-\left[f'(y''')\right]'+\ldots ,\\&\delta =f'(y''')-\ldots ,\\&\ldots \ldots \ldots \ldots \ldots .\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a61f602002a7eb3353b92766d1cf0c1f41327173)
Soit, pour abréger,
![{\displaystyle \Omega =\omega \beta +\omega '\gamma +\omega ''\delta +\ldots \,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/961a842cc2b7191166d319ceae41927c809a4063)
la fonction primitive de la quantité
sera
et, comme cette fonction doit être nulle lorsque
si l’on dénote par
la valeur de
qui répondra à
on aura, puisque
est une constante arbitraire,
et par conséquent
On aura donc
pour la fonction primitive, qui doit être nulle, en vertu du maximum ou minimum, lorsque
Si donc on dénote encore par
la valeur de
qui répondra à
on aura l’équation
![{\displaystyle \mathrm {B-A} =0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ad51308a0445f6366fef80a9a78c19c700a2db46)
à laquelle il faudra satisfaire par le moyen des constantes arbitraires qui entreront dans l’expression de
qu’on déduira de l’équation trouvée ci-dessus, en ayant égard d’ailleurs aux conditions spéciales du problème.
Ainsi, par exemple, si la valeur de
est donnée pour les valeurs
de
alors la valeur de
sera nulle dans les deux quantités
et
si, de plus, la valeur de
était aussi donnée pour les mêmes valeurs de
les valeurs de
seraient aussi nulles dans
et
et ainsi de suite.
Les quantités
étant réduites au plus petit nombre possible tant dans l’expression de
que dans celle de
on égalera à zéro le coefficient de chacune de celles qui resteront pour satisfaire à l’équation
indépendamment de ces quantités.
64. Ayant ainsi satisfait à la première condition, il ne restera plus qu’à remplir l’autre condition, qui consiste en ce que la fonction primitive de la quantité
![{\displaystyle {\frac {1}{2}}\omega ^{2}f''(y)+\omega \omega 'f''(y,y')+{\frac {1}{2}}\omega ^{'2}f''(y')+\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/ee49bd63e7ee3d7500ac161e761d3660ac2cef59)
doit être, entre les mêmes limites
et
de
toujours positive pour le minimum et négative pour le maximum, en supposant que la valeur de
soit quelconque et aussi petite qu’on voudra.
Je remarquerai d’abord ici que, quoique les fonctions
renferment essentiellement les quantités
(no 61), on peut prouver, par un raisonnement semblable à celui du no 55, qu’il suffira, pour le maximum ou minimum, que la condition dont il s’agit soit remplie en supposant le coefficient
égal à zéro, ce qui fait disparaître ces quantités des fonctions dont il s’agit, en sorte que ces fonctions ne seront plus alors que les fonctions secondes de la fonction
prises relativement à
seul, à
et
à
seul, etc., et auront, par conséquent, des valeurs déterminées en
Cela posé, si l’on rappelle ici le théorème que nous avons démontré dans la première Partie (no 38), on en conclura que la condition dont il s’agit serait satisfaite si la proposée
![{\displaystyle {\frac {1}{2}}\omega ^{2}f''(y)+\omega \omega 'f''(y,y')+\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/c7578788ce6c574604a0e7a69bea0244c76fe25e)
était telle qu’elle fût constamment positive ou négative pour toutes les valeurs de
depuis
jusqu’à
indépendamment des quantités
et, comme nous avons donné plus haut (no 56) les conditions les plus générales pour qu’une quantité de la forme dont il s’agit soit nécessairement positive ou négative, il n’y aura qu’à examiner si ces conditions ont lieu dans la quantité dont il s’agit. Si elles n’avaient pas lieu ou si elles n’avaient lieu que dans une partie de cette quantité, il faudrait alors chercher la fonction primitive de l’autre partie et la rendre nulle, ou au moins positive pour le minimum et négative pour le maximum, indépendamment des quantités ![{\displaystyle \omega ,\omega ',\omega '',\ldots .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c6e100763a7b0eac4958ebeb9a2f440c29df93a4)
65. Pour simplifier la solution de cette question, nous supposerons d’abord que la quantité proposée ne renferme que les carrés et les produits des deux-quantités
on verra aisément que la même méthode s’étend aux cas plus compliqués, et nous représenterons par cette formule
![{\displaystyle \omega ^{2}\mathrm {M} +\omega \omega '\mathrm {N} +\omega '^{2}\mathrm {P} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/0cef00a9f7e639771fbf98e1223b7e348e6accb1)
la partie de la même quantité qui est toujours positive ou négative entre les limites
l’autre partie sera
![{\displaystyle \omega ^{2}\left[{\frac {1}{2}}f''(y)-\mathrm {M} \right]+\omega \omega '\left[f''(y,y')-\mathrm {N} \right]+\omega '^{2}\left[{\frac {1}{2}}f''(y')-\mathrm {P} \right],}](https://wikimedia.org/api/rest_v1/media/math/render/svg/db30956ffc26d72d20d005c9a8c1559131abbb3b)
dont il faudra chercher la fonction primitive, et il est facile de s’assurer d’avance que, pour que la quantité
demeure indéterminée, cette fonction ne pourra être que de la forme
prenant donc sa fonction prime et comparant terme à terme avec la précédente, on aura
![{\displaystyle \mu '=0,\quad \nu '={\frac {1}{2}}f''(y)-\mathrm {M} ,\quad 2\nu =f''(y,y')-\mathrm {N} ,\quad 0={\frac {1}{2}}f''(y')-\mathrm {P} .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5d7a3793b46e62f7051022def9f14d7dfc3ed392)
La première de ces équations donne
égale à une constante arbitraire, et les trois autres serviront à déterminer les valeurs de
qui seront
![{\displaystyle \mathrm {M} ={\frac {1}{2}}f''(y)-\nu ',\quad \mathrm {N} =f''(y,y')-2\nu ,\quad \mathrm {P} ={\frac {1}{2}}f''(y'),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ca67f0c7a681de0de36c97b2a4abae12dcf57ade)
et il faudra que ces valeurs satisfassent aux conditions qui résultent des formules du no 56. Or, en prenant les quantités
et
à la place des quantités
et
et par conséquent
à la place de
et faisant
on aura pour le minimum les deux conditions
et
et pour le maximum les conditions opposées
et
ou bien l’une des deux quantités
égale à zéro, tant pour le minimum que pour le maximum, et ces conditions devront avoir lieu pour toutes les valeurs de
depuis
jusqu’à
pour que la quantité
soit constamment positive dans le premier cas et négative dans le second entre ces mêmes limites. Comme la quantité
est donnée, elle indiquera tout de suite le maxi-
mum ou minimum ; mais on n’en sera assuré que par l’autre condition
![{\displaystyle \mathrm {T} >}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d09c8618cf9f4daac97fb7a8e1cd63c32913797a)
ou
![{\displaystyle <0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/99b62261d3fe64ab21a86d0f95731001db2a4d68)
ou bien
![{\displaystyle =0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6dc9e66de468806365c20e32e83456cc526ce29e)
pour les deux cas.
66. De plus, et c’est ici une condition bien essentiellè, il faudra que les quantités
ne deviennent point infinies entre les mêmes limites, pour qu’on puisse être assuré que la fonction primitive de la quantité dont il s’agit sera nécessairement positive ou négative, d’après le théorème du no 38 de la première Partie ; car ce théorème, étant fondé sur la nature du développement des fonctions en séries des puissances positives de la quantité ajoutée à la variable, est nécessairement sujet aux exceptions attachées à la forme de ce développement, que nous avons examinées no 30 (Ire Partie) et no 13 ci dessus ; il pourra donc être en défaut si les fonctions dérivées de la fonction primitive deviennent infinies, parce qu’alors le développement n’aura plus la même forme ; c’est ce qui arrivera nécessairement lorsque la fonction primitive passera du positif au négatif par l’infini, comme les tangentes des angles ; alors, pour la valeur de
répondant à ce passage, le développement de la fonction de
aura son premier terme de la forme
étant un nombre impair négatif, et la fonction prime ainsi que toutes les suivantes seront infinies. Dans ce cas, la fonction primitive pourra changer de signe, quoique sa fonction prime conserve toujours le même signe.
Pour en voir un exemple bien simple, il n’y a qu’à considérer la fonction
qui est
lorsque
et
lorsque
cependant sa fonction prime
est toujours positive tant que
a une valeur réelle. Ici la fonction primitive et toutes ses dérivées deviennent inilnies lorsque
C’est une modification à apporter au théorème dont il s’agit, mais qui n’influe point sur la conclusion qu’on en a tirée dans le no 39.
67. Ayant satisfait à ces conditions, on aura la fonction primitive
![{\displaystyle \mu +\omega ^{2}\nu ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dc0b82d8e98bbcf3c83e6116f9d6fd8a16c4f5c8)
dans laquelle
![{\displaystyle \mu }](https://wikimedia.org/api/rest_v1/media/math/render/svg/9fd47b2a39f7a7856952afec1f1db72c67af6161)
est une constante arbitraire qu’on déterminera en sorte que la fonction soit nulle lorsque
![{\displaystyle x=a.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e917ab4f4e8b2fa913a9ec28880e3ee4a5a00765)
Supposons
![{\displaystyle \omega ^{2}\nu =(\Omega ),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3d384b5e7f37b443245144c3ca67a37ce06c9051)
et soit
![{\displaystyle (\mathrm {A} )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6c50f95fd1e790ea0fba7876fcb861bea2adba4b)
la valeur de
![{\displaystyle (\Omega )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c095077aff447bdb83ea903f21cc3e633f3f739e)
lorsque
![{\displaystyle x=a\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a1ac189a25fe0942735245216b59bf2adccd8a0d)
on aura
![{\displaystyle \mu =-(\mathrm {A} ).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/34a41e7fa649bc7118812f8e7f87a219c81bbeb0)
Ainsi la fonction primitive dont il s’agit sera
![{\displaystyle (\Omega )-(\mathrm {A} ),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a03f4c47cca49345994ee33b63f7780ef291ba81)
laquelle devra être nulle ou positive pour le minimum et négative pour le maximum, en faisant
Soit donc
la valeur de
lorsque
il faudra que l’on ait
ou
pour le minimum ou le maximum, ou
pour les deux cas, indépendamment de la valeur de
qui doit demeurer indéterminée.
Si la valeur de
est donnée pour les valeurs
et
de
la valeur correspondante de
étant alors nulle, on aura
et la condition précédente sera remplie tant pour le maximum que pour le minimum. Mais si les valeurs de
ne sont pas données, alors il faudra que l’on ait, pour le minimum,
ou
lorsque
et
ou
lorsque
et, pour le maximum,
ou
dans le premier cas et
ou
dans le second.
À l’égard de la valeur de la quantité
elle dépend simplement de la condition
ou
pour le minimum et
pour le maximum. Cette condition sera donc, en substituant les valeurs de
![{\displaystyle {\frac {1}{2}}f''(y)-\nu '-{\frac {\left[f''(y,y')-2\nu \right]^{2}}{2f''(y')}}>}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8021169769ce538c9054977e0044ca73caa7d419)
ou
![{\displaystyle <0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/99b62261d3fe64ab21a86d0f95731001db2a4d68)
et l’on pourra prendre pour
une fonction quelconque de
qui y satisfasse.
Ce qu’il y aurait de plus simple, ce serait de supposer la quantité
nulle (no 65), ce qui donnerait l’équation
![{\displaystyle \mathrm {4MP-N^{2}} =0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cd624b17b514d3685dac59d2cb94e73bfc542201)
savoir
![{\displaystyle f''(y')\left[f''(y)-2\nu '\right]-\left[f''(y,y')-2\nu \right]^{2}=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/912f78920fcaa5b4dad6fc9cad6f253b7f2a3245)
par laquelle on pourrait déterminer la valeur de
et le maximum ou minimum dépendrait simplement du signe de la quantité
ou ![{\displaystyle {\frac {1}{2}}f''(y').}](https://wikimedia.org/api/rest_v1/media/math/render/svg/96d4066544fd36f554b7f84ffa05986c90d4b67c)
On aurait de cette manière le même résultat que donne la méthode proposée, dans les Mémoires de l’Académie des Sciences de 1786, pour distinguer les maxima des minima dans le Calcul des variations. Mais, d’après ce que nous avons dit ci-dessus, il faudrait, pour l’exactitude de ce résultat, qu’on pût s’assurer que la valeur de
ne deviendra point infinie pour une valeur de
comprise entre les valeurs données
et
ce qui sera le plus souvent impossible, par la difficulté de trouver l’équation primitive en
et
Sans cette condition, quoique la quantité
![{\displaystyle \omega ^{2}\mathrm {M} +\omega \omega '\mathrm {N} +\omega '^{2}\mathrm {P} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/0cef00a9f7e639771fbf98e1223b7e348e6accb1)
devienne alors de la forme
![{\displaystyle \mathrm {P\left(\omega '+{\frac {\omega N}{2P}}\right)^{2}} ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/494ae6f917310bdb0eb21aa1804530b96ca15773)
et qu’elle soit, par conséquent, toujours positive ou négative, suivant que la valeur de
le sera, on ne sera jamais certain de l’état positif ou négatif de sa fonction primitive.
68. Pour en donner un exemple qui pourra servir en même temps d’application de la méthode que nous venons d’exposer, supposons que la fonction
dont la fonction primitive doit être un maximum ou minimum, soit
![{\displaystyle y'^{2}+2my'y+ny^{2}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1c6423ee499a3665412314defdb3bde4063a76f1)
en prenant les fonctions primes et secondes, on aura
![{\displaystyle f'(y)=2(my'+ny),\qquad f'(y')=2(y'+my),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c43c6fe0d6b5781793e38ca4ada9e550b609760a)
![{\displaystyle f''(y)=2n,\quad f''(y,y')=2m,\quad f''(y')=2\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7bc4417c8e6dfd91e1aa0bf9418308a23f990ee6)
substituant ces valeurs dans l’équation générale du no 62, qui, dans ce cas, se réduit à
![{\displaystyle f''(y)-\left[f'(y')\right]'=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dd2f2b2107739e34200b005792e2d2ef6f2c5665)
on aura
![{\displaystyle 2(my'+ny)-2(y''-my')=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fb483d04bfe84badff25c9669c141a0a284550d7)
savoir
![{\displaystyle y''-ny=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d3404c256be84dd23171957f8cf56c8e0b80e717)
pour l’équation du maximum ou minimum. Cette équation est susceptible de la méthode du
no 55 (I
re Partie) et donne sur-le-champ
![{\displaystyle y=ge^{x{\sqrt {-1}}}+he^{-x{\sqrt {-1}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c43e3f713f0319c2f6bb0c60008816e33aae9dd6)
et
étant deux constantes arbitraires ; si
était une quantité négative
alors on aurait, en prenant d’autres constantes arbitraires
et ![{\displaystyle h,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b8c92993ef69282ac39ddc98b7150dabfae40c14)
![{\displaystyle y=g\sin(kx+h).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6d81c75c86111c76a5fd08a4647c23005d124d6f)
Supposons, pour plus de simplicité, que les valeurs de
soient données pour les deux valeurs extrêmes
et
de
les quantités
et
seront nulles d’elles-mêmes, et l’équation
sera satisfaite (no 63) ; on déterminera donc les constantes
et
de manière que
ait les valeurs données lorsque
et ![{\displaystyle x=b.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/48ec1eb0ca109258cd5d8ec5c725906802c4a09b)
Maintenant, nous aurons, par les formules du no 65,
![{\displaystyle \mathrm {M} =n-\nu ',\quad \mathrm {N} =2(m-\nu ),\quad \mathrm {P} =1,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b65037c395b89e5ac25a7c992d87cff3157e0801)
d’où l’on voit que, puisque
est
il n’y a que le minimum qui puisse avoir lieu. Mais cette condition ne suffit pas pour assurer l’existence du minimum ; il faudra de plus que l’on ait
![{\displaystyle \mathrm {M-{\frac {N^{2}}{4P}}} >0\quad {\text{ou}}\quad =0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b52268ad54bec45ccd7a701a3c27f72a25e2f97f)
Soit : 1o
on aura
![{\displaystyle n-\nu '-(m-\nu )^{2}>0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/78c531b058f411b1b1a96124954d30d0c47bb5fc)
en prenant pour
une quantité qui ne devienne point infinie entre les limites
et
de
Si la valeur de
est positive, il est clair qu’on peut satisfaire à cette condition en faisant
ainsi on sera assuré, dans ce cas, de l’existence du minimum, puisque les deux quantités
et
sont d’ailleurs nulles par l’hypothèse que les valeurs de
sont données pour
et
(no 67). Mais, si
est négative et
on aura alors la condition
![{\displaystyle -\nu '>k^{2}+(m-\nu )^{2},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f9f94d8a2a0d463733e1717f985fb1127d217c08)
et il n’est pas aisé de trouver une valeur satisfaisante de
![{\displaystyle \nu ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a58da52de5fc23d5cc67b6a94171abb4420956f2)
ni même de s’assurer qu’on pourra la trouver.
Soit : 2o
on aura
![{\displaystyle -\nu '=k^{2}+(m-\nu )^{2}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5a8833277f68a726f03e3754d180aa4a1c8e0ee6)
Je suppose
![{\displaystyle m-\nu =kp\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6803294790e2750ed4a791fdaa8a9900a60ec65c)
j’aurai
![{\displaystyle {\frac {\rho '}{k}}=1+\rho ^{2},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/514f4e0f1ee1832aae5c35055c517a823d910b76)
ce qui donne
![{\displaystyle {\frac {\rho '}{1+\rho ^{2}}}=k,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c72a1aefaebdb27c062c7b6fec78d15dd7b792d8)
et, prenant les fonctions primitives des deux membres,
![{\displaystyle \operatorname {angle} \ \operatorname {tang} \rho =kx+d,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/758660223d9a168aa3bf982e97779fb15160ce20)
savoir
![{\displaystyle \rho =\operatorname {tang} (kx+d),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1e64bd7cfb2cecf898ba2cf7e5c440d1abd125f7)
étant une constante arbitraire. Cette valeur devient infinie lorsque
à l’angle droit, ou à trois angles droits, ou etc. Donc on ne sera pas assuré de l’existence du minimum si la quantité
est plus grande que la valeur de deux angles droits.
En effet, pour que le minimum ait lieu en général, il faut (no 64) que la fonction primitive de la quantité
![{\displaystyle n\omega ^{2}+2m\omega \omega '+\omega '^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ad8850b7feb3461e989bef4b726085fc9ac63449)
soit positive, quelle que puisse être la valeur de
Supposons
cette quantité deviendra
![{\displaystyle i^{2}\left(n\sin ^{2}x+2m\sin x\cos x+\cos ^{2}x\right)=}](https://wikimedia.org/api/rest_v1/media/math/render/svg/06e535ceebdf50a9bf32c4192ed637b997182021)
![{\displaystyle i^{2}\left({\frac {1+n}{2}}+{\frac {1-n}{2}}\cos 2x+m\sin 2x\right).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/83c2a0c905a8c8ab2bf5da266d93bc1e2a28a62f)
dont la fonction primitive est
![{\displaystyle i^{2}\left({\frac {1+n}{2}}x+{\frac {1-n}{4}}\sin 2x-{\frac {m}{2}}\cos 2x\right)+c,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0102e94db41be397327c4529ecbedf660dc2e5d6)
étant la constante arbitraire qu’on déterminera de manière que la
fonction primitive soit nulle lorsque
![{\displaystyle x=a\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a1ac189a25fe0942735245216b59bf2adccd8a0d)
ensuite on fera
![{\displaystyle x=b.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/48ec1eb0ca109258cd5d8ec5c725906802c4a09b)
Donc, si l’on suppose
![{\displaystyle a=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/90d476e5e765a5d77bbcff32e4584579207ec7d8)
et
![{\displaystyle b}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f11423fbb2e967f986e36804a8ae4271734917c3)
égal à deux angles droits, afin que la valeur de
![{\displaystyle \omega }](https://wikimedia.org/api/rest_v1/media/math/render/svg/48eff443f9de7a985bb94ca3bde20813ea737be8)
soit nulle lorsque
![{\displaystyle x=a}](https://wikimedia.org/api/rest_v1/media/math/render/svg/aaae23950e96a955ab5b07015a168fd931d4d82b)
et
![{\displaystyle =b}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d8e6afd95f04172d7315d697ab79068108220e91)
suivant l’hypothèse, on aura
![{\displaystyle c={\frac {i^{2}m}{2}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/79c0c790b7239cc7003ff685592dd7eb5b4918b2)
et la valeur complète de la fonction primitive dont il s’agit sera
![{\displaystyle i^{2}(1+n)\mathrm {D} ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9c79d55dc8c12464c1300bfc4099ab67cecea8f7)
représentant l’angle droit ; et il est visible que cette valeur pourra devenir négative lorsque
en prenant ![{\displaystyle k>1.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bfd00bc5bddda614f914a4944f185ebd29e813f9)
69. Supposons maintenant que la quantité qui renferme les secondes dimensions de
contienne aussi
en sorte qu’elle soit de la forme (no 61)
![{\displaystyle {\frac {1}{2}}\omega ^{2}f''(y)+\omega \omega 'f''(y,y')+{\frac {1}{2}}\omega ^{'2}f''(y')+\omega \omega ''f''(y,y'')}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e1aa8224e25aa339f0f66b0894c8722d641b4c12)
![{\displaystyle +\omega '\omega ''f''(y',y'')+{\frac {1}{2}}\omega ^{''2}f''(y'')\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9d10264a58ccf597bcadfd3d72f3ef85115a2aa8)
nous prendrons
![{\displaystyle \mathrm {\omega ^{2}M+\omega \omega 'N+\omega '^{2}P+\omega \omega ''Q+\omega '\omega ''R+\omega ''^{2}S} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/098504d59c4fa964aabecd9d37ce736e31325e04)
pour la partie de cette quantité qui doit être assujettie aux conditions de la formule du no 56, et il faudra que la différence de ces deux quantités soit susceptible d’une fonction primitive indépendamment de la quantité. Cette fonction ne pourra donc être que de la forme
![{\displaystyle \mu +\omega ^{2}\nu +\omega \omega '\varpi +\omega '^{2}\rho ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/05a70b7425ee39370c6213707239cde31caff77e)
et l’on trouvera, par la comparaison des termes, les équations
![{\displaystyle {\begin{aligned}\mu '=&0,\\\nu '=&{\frac {1}{2}}f''(y)\ \ -\mathrm {M} ,\\2\nu +\varpi '=&f''(y,y')\,-\mathrm {N} ,\\\varpi +\rho '\,=&{\frac {1}{2}}f''(y')\ -\mathrm {P} ,\\\varpi \ =&f''(y,y'')-\mathrm {Q} ,\\2\rho =&f''(y,y'')-\mathrm {R} ,\\0=&{\frac {1}{2}}f''(y'')\,-\mathrm {S} ,\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/95d08a3772c0747631abc45a9087039ba4ff76e1)
lesquelles donnent
![{\displaystyle \mu }](https://wikimedia.org/api/rest_v1/media/math/render/svg/9fd47b2a39f7a7856952afec1f1db72c67af6161)
égale à une constante arbitraire, ensuite
![{\displaystyle {\begin{alignedat}{2}\mathrm {M} =&{\frac {1}{2}}f''(y)&-&\nu ',\\\mathrm {N} =&f''(y,y')&-&2\nu -\varpi ',\\\mathrm {P} =&{\frac {1}{2}}f''(y')&-&\varpi \ -\rho ',\\\mathrm {Q} =&f''(y,y'')&-&\varpi ,\\\mathrm {R} =&f''(y',y'')&-&2\rho ,\\\mathrm {S} =&{\frac {1}{2}}f''(y''),\end{alignedat}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/490d2bf8c7a6a714b1c6c498bf065ecb23d199d7)
où les trois quantités
demeurent indéterminées ; mais il faudra les prendre telles qu’elles satisfassent aux conditions auxquelles doivent être assujetties les quantités
et qu’on peut déduire du no 56, en prenant les quantités
à la place des quantités
Ainsi, si l’on fait
![{\displaystyle {\begin{alignedat}{2}\mathrm {T} =&\mathrm {P-{\frac {R^{2}}{4S}}} ,\qquad &\mathrm {V} =&\mathrm {N-{\frac {QR}{2S}}} ,\\\mathrm {X} =&\mathrm {M-{\frac {Q^{2}}{4S}}} ,&\mathrm {Y} =&\mathrm {X-{\frac {V^{2}}{2T}}} ,\end{alignedat}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1c5bc438ff3d5bfef4b77a47c9a5b83733f3495e)
les conditions pour le minimum seront
et
et, pour le maximum,
et ces conditions devront avoir lieu pour toutes les valeurs de
depuis
jusqu’à
La valeur de
indiquera le maximum ou minimum ; mais on n’en pourra être assuré que par le concours des deux autres conditions. De plus, il faudra que les quantités
ne deviennent jamais infinies entre les mêmes limites, par les raisons exposées plus haut (no 66).
Enfin il faudra que, en supposant
![{\displaystyle (\Omega )=\omega ^{2}\nu +\omega \omega '\varpi +\omega '^{2}\rho ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7144910e824c04c45e96bfd525f9daeb64951fe3)
et prenant
et
pour les valeurs de
qui répondent à
et
la quantité
soit positive pour le minimum et négative pour le maximum, indépendamment des valeurs de
et de
(no 67).
On suivra les mêmes procédés pour les fonctions plus compliquées.
70. Si les valeurs de
n’étaient pas données pour les valeurs
et
de
mais qu’il y eût seulement, par la nature du problème, une relation entre ces quantités, représentée par l’équation
![{\displaystyle \varphi (x,y,y',\ldots )=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dcae1c5cf0e5cf2a1f0aa84256d563a114ae073f)
alors, suivant les principes du no 58, il n’y aurait qu’à ajouter à la fonction, qui doit être positive pour le minimum et négative pour le maximum, la quantité
![{\displaystyle \omega \varphi '(y)+\omega '\varphi '(y')+\omega ''\varphi '(y'')+\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/93abb8f5782459fa2da40215260a1601be364715)
![{\displaystyle +{\frac {1}{2}}\omega ^{2}\varphi ''(y)+\omega \omega '\varphi ''(y,y')+{\frac {1}{2}}\omega '^{2}\varphi ''(y')+\ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ea4c27983de75a8f329b80c641552a7275ee95b9)
multipliée par un coefficient indéterminé
et traiter ensuite les quantités
comme indépendantes. Ainsi, si la condition dont il s’agit doit avoir lieu pour la valeur de
on ajoutera aux deux quantités
et
(nos 63, 67) les quantités
![{\displaystyle \Gamma \left[\omega \varphi '(y)+\omega '\varphi '(y')+\ldots \right]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4e6e24d5323bdec6e554566288aa0aba8ca4421b)
et
![{\displaystyle \Gamma \left[{\frac {1}{2}}\omega ^{2}\varphi ''(y)+\omega \omega '\varphi ''(y,y')+\ldots \right],}](https://wikimedia.org/api/rest_v1/media/math/render/svg/56190ee308cfa5b687f8e6d6fc93697ce292a8cf)
rapportées à la même valeur de
et, si cette condition devait avoir lieu pour la valeur
on ajouterait aux valeurs de
et de
les mêmes quantités rapportées à ![{\displaystyle x=b.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/48ec1eb0ca109258cd5d8ec5c725906802c4a09b)
On suivrait le même procédé pour chacune des conditions données, s’il y en avait plusieurs.