# Théorie des fonctions analytiques/Partie II/Chapitre 12
### CHAPITRE XII.

61. Si le maximum ou minimum, au lieu d’être une fonction donnée de $x,y,y',y'',\ldots ,$ 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 $y,y',y'',\ldots$ 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 $f(x,y,y',y'',\ldots ),$ dans laquelle $y$ est supposé une fonction de $x\,;$ 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 $y$ en $x.$ Mais on peut chercher quelle devrait être cette valeur, pour que la fonction primitive de $f(x,y,y',y'',\ldots )$ fût un maximum ou un minimum, en supposant que cette fonction soit nulle lorsque $x$ aura une valeur donnée $a,$ et qu’elle devienne un maximum ou un minimum lorsque $x$ aura une autre valeur donnée $b.$ Il est évident que, en prenant $y$ pour la valeur cherchée, il faudra, par la nature du maximum ou minimum, que la fonction primitive de la fonction
$f(x,y+\omega ,y'+\omega ',y''+\omega '',\ldots ),$
$y+\omega$
$y,$
$x,$
$f(x,y,y',y'',\ldots ),$
$\omega ,$
$x,$
La fonction
$f(x,y+\omega ,y'+\omega ',y''+\omega '',\ldots ),$
étant développée suivant les puissances et les produits de $\omega ,\omega ',\omega '',\ldots ,$ d’une manière semblable à celle du n$^o$ 78 (Ire Partie), deviendra
$f(x,y,y',y'',\ldots )+\omega f'(y)+\omega 'f'(y')+\omega ''f'(y'')+\ldots$
$+{\frac {1}{2}}\omega ^{2}f''(y)+\omega \omega 'f''(y,y')+{\frac {1}{2}}\omega ^{'2}f''(y')+\ldots ,$
où les quantités $f'(y),f'(y'),f'(y''),\ldots$ dénotent les fonctions primes de $f'(x,y,y',y'',\ldots )$ prises suivant $y,y',y'',\ldots ,$ et les quantités $f''(y),f''(y,y'),f''(y'),\ldots$ dénotent les fonctions secondes de la fonction $f(x,y+\lambda \omega ,y'+\lambda \omega ',y''+\lambda \omega '',\ldots )$ prises relativement à $y$ seul, à $y$ et $y',$ à $y'$ 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 $0$ et $1.$
Donc il faudra que la fonction primitive de la quantité
${\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}}$
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 $x=a$ et y faisant ensuite $x=b.$
Or, sans connaître la quantité $\omega ,$ 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 $\omega ,\omega ',\omega '',\ldots$ ait une valeur plus grande, positive ou négative, que la fonction primitive de l’autre partie. Car, en substituant $i\alpha$ à la place de $\omega ,$ $\alpha$ étant une quantité variable quelconque et $i$ un coefficient constant, la première partie se trouvera toute multipliée par $i$ et la seconde le sera par $i^{2},$ et leurs fonctions primitives seront aussi multipliées par $i$ et par $i^{2}\,;$ et il est visible qu’on pourra toujours donner à $i$ 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é $\omega .$ Donc il sera impossible que la fonction totale soit constamment positive ou négative, indépendamment de la valeur de $\omega ,$ à moins que la fonction primitive de la partie qui ne contient que les premières dimensions de $\omega ,\omega ',\omega '',\ldots$ ne soit nulle, quelle que soit la valeur de $\omega .$ Donc le maximum ou minimum ne pourra avoir lieu, a moins que la fonction primitive de la fonction
$\omega f'(y)+\omega 'f'(y')+\omega ''f'(y'')+\ldots$
ne soit nulle, quelle que soit la valeur de $\omega .$
Cette fonction étant nulle, il faudra alors que la fonction primitive de l’autre partie
${\frac {1}{2}}\omega ^{2}f''(y)+\omega \omega 'f''(y,y')+{\frac {1}{2}}\omega ^{'2}f''(y')+\ldots$
soit positive pour le minimum et négative pour le maximum, en donnant à $\omega$ 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
$\omega f'(y)+\omega 'f'(y')+\omega ''f'(y'')+\ldots$
$\alpha +\omega \beta +\omega '\gamma +\omega ''\delta +\ldots ,$
où la plus haute des fonctions dérivées $\omega ',\omega '',\ldots$ 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 $\alpha ,\beta ,\gamma ,\ldots$ comme des fonctions de $x$ $y$ étant supposé aussi fonction de $x,$ on aura
$\alpha '+\omega \beta '+\omega '(\beta +\gamma ')+\omega ''(\gamma +\delta ')+\ldots ,$
et, comparant avec la fonction proposée, on aura
$\alpha '=0,\quad \beta '=f'(y),\quad \beta +\gamma '=f'(y'),\quad \gamma +\delta '=f'(y''),\quad \ldots .$
La première équation donne $\alpha$ égal à une constante arbitraire ; les autres équations serviront à déterminer $\beta ,\gamma ,\delta ,\ldots ,$ 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
$\beta '=f'(y),\quad \beta '+\gamma ''=\left[f'(y')\right]',\quad \gamma ''+\delta '''=\left[f'(y'')\right]'',\quad \ldots ,$
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
$f'(y)-\left[f'(y')\right]'+\left[f'(y'')\right]''-\left[f'(y''')\right]'''+\ldots =0,$
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 $y$ en fonction de $x\,;$ elle sera, comme il est aisé de le voir, d’un ordre double de celui de la fonction $f(x,y,y',y'',\ldots ).$
63. Les mêmes équations
$\beta +\gamma '=f'(y'),\quad \gamma +\delta '=f'(y''),\quad \ldots ,$
donneront, par un procédé semblable,
${\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}}$
Soit, pour abréger,
$\Omega =\omega \beta +\omega '\gamma +\omega ''\delta +\ldots \,;$
la fonction primitive de la quantité $\omega f'(y)+\omega 'f'(y')+\ldots$ sera $\alpha +\Omega ,$ et, comme cette fonction doit être nulle lorsque $x=a,$ si l’on dénote par $\mathrm {A}$ la valeur de $\Omega$ qui répondra à $x=a,$ on aura, puisque $\alpha$ est une constante arbitraire, $\alpha +\mathrm {A} =0,$ et par conséquent $\alpha =-\mathrm {A} .$ On aura donc $\Omega -\mathrm {A}$ pour la fonction primitive, qui doit être nulle, en vertu du maximum ou minimum, lorsque $x=b.$ Si donc on dénote encore par $\mathrm {B}$ la valeur de $\Omega$ qui répondra à $x=b,$ on aura l’équation
$\mathrm {B-A} =0,$
à laquelle il faudra satisfaire par le moyen des constantes arbitraires qui entreront dans l’expression de $y$ 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 $y$ est donnée pour les valeurs $a,b$ de $x,$ alors la valeur de $\omega$ sera nulle dans les deux quantités $\mathrm {A}$ et $\mathrm {B} \,;$ si, de plus, la valeur de $y'$ était aussi donnée pour les mêmes valeurs de $x,$ les valeurs de $\omega '$ seraient aussi nulles dans $\mathrm {A}$ et $\mathrm {B} \,;$ et ainsi de suite.
Les quantités $\omega ,\omega ',\omega '',\ldots$ étant réduites au plus petit nombre possible tant dans l’expression de $\mathrm {A}$ que dans celle de $\mathrm {B} ,$ on égalera à zéro le coefficient de chacune de celles qui resteront pour satisfaire à l’équation $\mathrm {B-A} =0,$ 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é
${\frac {1}{2}}\omega ^{2}f''(y)+\omega \omega 'f''(y,y')+{\frac {1}{2}}\omega ^{'2}f''(y')+\ldots$
doit être, entre les mêmes limites $a$ et $b$ de $x,$ toujours positive pour le minimum et négative pour le maximum, en supposant que la valeur de $\omega$ soit quelconque et aussi petite qu’on voudra.
Je remarquerai d’abord ici que, quoique les fonctions $f''(y),f''(y,y'),\ldots$ renferment essentiellement les quantités $\omega ,\omega ',\ldots$ (n$^o$ 61), on peut prouver, par un raisonnement semblable à celui du n$^o$ 55, qu’il suffira, pour le maximum ou minimum, que la condition dont il s’agit soit remplie en supposant le coefficient $\lambda$ é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 $f'(x,y,y',y'',\ldots ),$ prises relativement à $y$ seul, à $y$ et $y',$ à $y'$ seul, etc., et auront, par conséquent, des valeurs déterminées en $x,y,y',\ldots .$
Cela posé, si l’on rappelle ici le théorème que nous avons démontré dans la première Partie (n$^o$ 38), on en conclura que la condition dont il s’agit serait satisfaite si la proposée
${\frac {1}{2}}\omega ^{2}f''(y)+\omega \omega 'f''(y,y')+\ldots$
était telle qu’elle fût constamment positive ou négative pour toutes les valeurs de $x,$ depuis $x=a$ jusqu’à $x=b,$ indépendamment des quantités $\omega ,\omega ',\omega '',\ldots ,$ et, comme nous avons donné plus haut (n$^o$ 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 $\omega ,\omega ',\omega '',\ldots .$
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 $\omega ,\omega '\,;$ on verra aisément que la même méthode s’étend aux cas plus compliqués, et nous représenterons par cette formule
$\omega ^{2}\mathrm {M} +\omega \omega '\mathrm {N} +\omega '^{2}\mathrm {P}$
la partie de la même quantité qui est toujours positive ou négative entre les limites $x=a,$ $x=b,;$ l’autre partie sera
$\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],$
dont il faudra chercher la fonction primitive, et il est facile de s’assurer d’avance que, pour que la quantité $\omega$ demeure indéterminée, cette fonction ne pourra être que de la forme $\mu +\omega ^{2}\nu \,;$ prenant donc sa fonction prime et comparant terme à terme avec la précédente, on aura
$\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} .$
La première de ces équations donne $\mu$ égale à une constante arbitraire, et les trois autres serviront à déterminer les valeurs de$\mathrm {M,N,P} ,$ qui seront
$\mathrm {M} ={\frac {1}{2}}f''(y)-\nu ',\quad \mathrm {N} =f''(y,y')-2\nu ,\quad \mathrm {P} ={\frac {1}{2}}f''(y'),$
et il faudra que ces valeurs satisfassent aux conditions qui résultent des formules du n$^o$ 56. Or, en prenant les quantités $\omega '$ et $\omega$ à la place des quantités $p$ et $q,$ et par conséquent $\mathrm {P,N,M}$ à la place de $\mathrm {A,B,C} ,$ et faisant $\mathrm {T=M-{\frac {N^{2}}{4P}}} ,$ on aura pour le minimum les deux conditions $\mathrm {P} >0$ et $\mathrm {T} >0,$ et pour le maximum les conditions opposées $\mathrm {P} <0$ et $\mathrm {T} <0,$ ou bien l’une des deux quantités $\mathrm {P,T}$ égale à zéro, tant pour le minimum que pour le maximum, et ces conditions devront avoir lieu pour toutes les valeurs de $x,$ depuis $x=a$ jusqu’à $x=b,$ pour que la quantité $\omega '^{2}\mathrm {P} +\omega \omega '\mathrm {N} +\omega ^{2}\mathrm {M}$ soit constamment positive dans le premier cas et négative dans le second entre ces mêmes limites. Comme la quantité $\mathrm {P}$ est donnée, elle indiquera tout de suite le maxi-
$\mathrm {T} >$
$<0,$
$=0$
66. De plus, et c’est ici une condition bien essentiellè, il faudra que les quantités $\mathrm {M,N,P}$ 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 n$^o$ 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 n$^o$ 30 (Ire Partie) et n$^o$ 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 $x$ répondant à ce passage, le développement de la fonction de $x+i$ aura son premier terme de la forme $\mathrm {A} i^{m},$ $m$ é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 ${\frac {x}{1-x}},$ qui est $=1$ lorsque $x={\frac {1}{2}}$ et $=-2$ lorsque $x=2\,;$ cependant sa fonction prime ${\frac {1}{(1-x)^{2}}}$ est toujours positive tant que $x$ a une valeur réelle. Ici la fonction primitive et toutes ses dérivées deviennent inilnies lorsque $x=1.$
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 n$^o$ 39.
67. Ayant satisfait à ces conditions, on aura la fonction primitive
$\mu +\omega ^{2}\nu ,$
$\mu$
$x=a.$
$\omega ^{2}\nu =(\Omega ),$
$(\mathrm {A} )$
$(\Omega )$
$x=a\,;$
$\mu =-(\mathrm {A} ).$
$(\Omega )-(\mathrm {A} ),$
laquelle devra être nulle ou positive pour le minimum et négative pour le maximum, en faisant $x=b.$ Soit donc $(\mathrm {B} )$ la valeur de $(\Omega )$ lorsque $x=b\,;$ il faudra que l’on ait $\mathrm {(B)-(A)} >$ ou $<0$ pour le minimum ou le maximum, ou $=0$ pour les deux cas, indépendamment de la valeur de $\omega ,$ qui doit demeurer indéterminée.
Si la valeur de $y$ est donnée pour les valeurs $a$ et $b$ de $x,$ la valeur correspondante de $\omega$ étant alors nulle, on aura $(\mathrm {A} )=0,$ $(\mathrm {B} )=0,$ et la condition précédente sera remplie tant pour le maximum que pour le minimum. Mais si les valeurs de $y$ ne sont pas données, alors il faudra que l’on ait, pour le minimum, $\nu =$ ou $>0$ lorsque $x=b$ et $\nu =$ ou $<0$ lorsque $x=a\,;$ et, pour le maximum, $\nu =$ ou $<0$ dans le premier cas et $\nu =$ ou $>0$ dans le second.
À l’égard de la valeur de la quantité $\nu ,$ elle dépend simplement de la condition $\mathrm {T}$ ou $\mathrm {M-{\frac {N^{2}}{4P}}} >0$ pour le minimum et $<0$ pour le maximum. Cette condition sera donc, en substituant les valeurs de $\mathrm {M,N,P} ,$
${\frac {1}{2}}f''(y)-\nu '-{\frac {\left[f''(y,y')-2\nu \right]^{2}}{2f''(y')}}>$
$<0,$
et l’on pourra prendre pour $\nu$ une fonction quelconque de $x$ qui y satisfasse.
Ce qu’il y aurait de plus simple, ce serait de supposer la quantité $\mathrm {T}$ nulle (n$^o$ 65), ce qui donnerait l’équation
$\mathrm {4MP-N^{2}} =0,$
savoir
$f''(y')\left[f''(y)-2\nu '\right]-\left[f''(y,y')-2\nu \right]^{2}=0,$
par laquelle on pourrait déterminer la valeur de $\nu ,$ et le maximum ou minimum dépendrait simplement du signe de la quantité $\mathrm {P}$ ou ${\frac {1}{2}}f''(y').$
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 $\nu$ ne deviendra point infinie pour une valeur de $x$ comprise entre les valeurs données $a$ et $b,$ ce qui sera le plus souvent impossible, par la difficulté de trouver l’équation primitive en $\nu$ et $x.$ Sans cette condition, quoique la quantité
$\omega ^{2}\mathrm {M} +\omega \omega '\mathrm {N} +\omega '^{2}\mathrm {P}$
devienne alors de la forme
$\mathrm {P\left(\omega '+{\frac {\omega N}{2P}}\right)^{2}} ,$
et qu’elle soit, par conséquent, toujours positive ou négative, suivant que la valeur de $\mathrm {P}$ 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 $f(x,y,y',\ldots ),$ dont la fonction primitive doit être un maximum ou minimum, soit
$y'^{2}+2my'y+ny^{2}\,;$
en prenant les fonctions primes et secondes, on aura
$f'(y)=2(my'+ny),\qquad f'(y')=2(y'+my),$
$f''(y)=2n,\quad f''(y,y')=2m,\quad f''(y')=2\,;$
substituant ces valeurs dans l’équation générale du n$^o$ 62, qui, dans ce cas, se réduit à
$f''(y)-\left[f'(y')\right]'=0,$
on aura
$2(my'+ny)-2(y''-my')=0,$
savoir
$y''-ny=0$
$y=ge^{x{\sqrt {-1}}}+he^{-x{\sqrt {-1}}},$
$g$ et $h$ étant deux constantes arbitraires ; si $n$ était une quantité négative $=-k^{2},$ alors on aurait, en prenant d’autres constantes arbitraires $g$ et $h,$
$y=g\sin(kx+h).$
Supposons, pour plus de simplicité, que les valeurs de $y$ soient données pour les deux valeurs extrêmes $a$ et $b$ de $x\,;$ les quantités $\mathrm {A}$ et $\mathrm {B}$ seront nulles d’elles-mêmes, et l’équation $\mathrm {B=A}$ sera satisfaite (n$^o$ 63) ; on déterminera donc les constantes $a$ et $b$ de manière que $y$ ait les valeurs données lorsque $x=a$ et $x=b.$
Maintenant, nous aurons, par les formules du n$^o$ 65,
$\mathrm {M} =n-\nu ',\quad \mathrm {N} =2(m-\nu ),\quad \mathrm {P} =1,$
d’où l’on voit que, puisque $\mathrm {P}$ est $>0,$ 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
$\mathrm {M-{\frac {N^{2}}{4P}}} >0\quad {\text{ou}}\quad =0.$
Soit : 1$^o$ $\mathrm {M-{\frac {N^{2}}{4P}}} >0\,;$ on aura
$n-\nu '-(m-\nu )^{2}>0,$
en prenant pour $\nu$ une quantité qui ne devienne point infinie entre les limites $a$ et $b$ de $x.$ Si la valeur de $n$ est positive, il est clair qu’on peut satisfaire à cette condition en faisant $\nu =m\,;$ ainsi on sera assuré, dans ce cas, de l’existence du minimum, puisque les deux quantités $(\mathrm {A} )$ et $(\mathrm {B} )$ sont d’ailleurs nulles par l’hypothèse que les valeurs de $y$ sont données pour $x=a$ et $=b$ (n$^o$ 67). Mais, si $n$ est négative et $=-k^{2},$ on aura alors la condition
$-\nu '>k^{2}+(m-\nu )^{2},$
$\nu ,$
Soit : 2$^o$ $\mathrm {M-{\frac {N^{2}}{4P}}} =0\,;$ on aura
$-\nu '=k^{2}+(m-\nu )^{2}.$
Je suppose
$m-\nu =kp\,;$
j’aurai
${\frac {\rho '}{k}}=1+\rho ^{2},$
ce qui donne
${\frac {\rho '}{1+\rho ^{2}}}=k,$
et, prenant les fonctions primitives des deux membres,
$\operatorname {angle} \ \operatorname {tang} \rho =kx+d,$
savoir
$\rho =\operatorname {tang} (kx+d),$
$d$ étant une constante arbitraire. Cette valeur devient infinie lorsque $kx+d=$ à l’angle droit, ou à trois angles droits, ou etc. Donc on ne sera pas assuré de l’existence du minimum si la quantité $(b-a)k$ est plus grande que la valeur de deux angles droits.
En effet, pour que le minimum ait lieu en général, il faut (n$^o$ 64) que la fonction primitive de la quantité
$n\omega ^{2}+2m\omega \omega '+\omega '^{2}$
soit positive, quelle que puisse être la valeur de $\omega .$ Supposons $\omega =i\sin x\,;$ cette quantité deviendra
$i^{2}\left(n\sin ^{2}x+2m\sin x\cos x+\cos ^{2}x\right)=$
$i^{2}\left({\frac {1+n}{2}}+{\frac {1-n}{2}}\cos 2x+m\sin 2x\right).$
dont la fonction primitive est
$i^{2}\left({\frac {1+n}{2}}x+{\frac {1-n}{4}}\sin 2x-{\frac {m}{2}}\cos 2x\right)+c,$
$c$ étant la constante arbitraire qu’on déterminera de manière que la
$x=a\,;$
$x=b.$
$a=0$
$b$
$\omega$
$x=a$
$=b$
$c={\frac {i^{2}m}{2}},$
$i^{2}(1+n)\mathrm {D} ,$
$\mathrm {D}$ représentant l’angle droit ; et il est visible que cette valeur pourra devenir négative lorsque $n=-k^{2},$ en prenant $k>1.$
69. Supposons maintenant que la quantité qui renferme les secondes dimensions de $\omega ,\omega ',\ldots$ contienne aussi $\omega '',$ en sorte qu’elle soit de la forme (n$^o$ 61)
${\frac {1}{2}}\omega ^{2}f''(y)+\omega \omega 'f''(y,y')+{\frac {1}{2}}\omega ^{'2}f''(y')+\omega \omega ''f''(y,y'')$
$+\omega '\omega ''f''(y',y'')+{\frac {1}{2}}\omega ^{''2}f''(y'')\,;$
nous prendrons
$\mathrm {\omega ^{2}M+\omega \omega 'N+\omega '^{2}P+\omega \omega ''Q+\omega '\omega ''R+\omega ''^{2}S}$
pour la partie de cette quantité qui doit être assujettie aux conditions de la formule du n$^o$ 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
$\mu +\omega ^{2}\nu +\omega \omega '\varpi +\omega '^{2}\rho ,$
et l’on trouvera, par la comparaison des termes, les équations
${\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}}$
$\mu$
${\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}}$
où les trois quantités $\nu ,\varpi ,\rho$ demeurent indéterminées ; mais il faudra les prendre telles qu’elles satisfassent aux conditions auxquelles doivent être assujetties les quantités $\mathrm {M,N,P} ,\ldots$ et qu’on peut déduire du n$^o$ 56, en prenant les quantités $\omega '',\omega ',\omega$ à la place des quantités $p,q,r.$ Ainsi, si l’on fait
${\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}}$
les conditions pour le minimum seront $\mathrm {S} >0,\mathrm {T} >0$ et $\mathrm {Y} >0,$ et, pour le maximum, $\mathrm {S} <0,\mathrm {T} <0,\mathrm {Y} <0\,;$ et ces conditions devront avoir lieu pour toutes les valeurs de $x,$ depuis $x=a$ jusqu’à $x=b.$ La valeur de $\mathrm {S}$ 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 $\mathrm {M,N,P} ,$ $\mathrm {Q,R,S}$ ne deviennent jamais infinies entre les mêmes limites, par les raisons exposées plus haut (n$^o$ 66).
Enfin il faudra que, en supposant
$(\Omega )=\omega ^{2}\nu +\omega \omega '\varpi +\omega '^{2}\rho ,$
et prenant $(\mathrm {A} )$ et $(\mathrm {B} )$ pour les valeurs de $(\Omega )$ qui répondent à $x=a$ et $x=b,$ la quantité $\mathrm {(B)-(A)}$ soit positive pour le minimum et négative pour le maximum, indépendamment des valeurs de $\omega$ et de $\omega '$ (n$^o$ 67).
On suivra les mêmes procédés pour les fonctions plus compliquées.
70. Si les valeurs de $y,y',\ldots$ n’étaient pas données pour les valeurs $a$ et $b$ de $x,$ 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
$\varphi (x,y,y',\ldots )=0,$
alors, suivant les principes du n$^o$ 58, il n’y aurait qu’à ajouter à la fonction, qui doit être positive pour le minimum et négative pour le maximum, la quantité
$\omega \varphi '(y)+\omega '\varphi '(y')+\omega ''\varphi '(y'')+\ldots$
$+{\frac {1}{2}}\omega ^{2}\varphi ''(y)+\omega \omega '\varphi ''(y,y')+{\frac {1}{2}}\omega '^{2}\varphi ''(y')+\ldots ,$
multipliée par un coefficient indéterminé $\Gamma ,$ et traiter ensuite les quantités $\omega ,\omega '$ comme indépendantes. Ainsi, si la condition dont il s’agit doit avoir lieu pour la valeur de $x=a,$ on ajoutera aux deux quantités $\mathrm {A}$ et $(\mathrm {A} )$ (n$^{os}$ 63, 67) les quantités
$\Gamma \left[\omega \varphi '(y)+\omega '\varphi '(y')+\ldots \right]$
et
$\Gamma \left[{\frac {1}{2}}\omega ^{2}\varphi ''(y)+\omega \omega '\varphi ''(y,y')+\ldots \right],$
rapportées à la même valeur de $x\,;$ et, si cette condition devait avoir lieu pour la valeur $x=b,$ on ajouterait aux valeurs de $\mathrm {B}$ et de $(\mathrm {B} )$ les mêmes quantités rapportées à $x=b.$
On suivrait le même procédé pour chacune des conditions données, s’il y en avait plusieurs.