Soient for fi, fa, ..., fn des fonctions données des variables x, y, y', analytiques et régulières pour chaque système de valeurs de ces variables que nous aurons à considérer. Nous allons envisager le problème de trouver l'extremum de l'intégrale

dans un champ comprenant toutes les lignes joignant deux points fixes et donnant aux intégrales

des valeurs déterminées.

Soient an, ag, ..., dn des nombres fixes, d'ailleurs quelconques, c une extrémale relative à la fonction

f=fo + de fi + de fat + antri

Po un point fixe de c, P le foyer conjugué de Po sur c relatif à notre problème, et P1, P2, ..., Pnt les n + 1 premiers foyers conjugués de P, sur c relatifs au problème de

+1 l'extremum libre de l'intégrale

.

0

Nous supposerons vérifiées les hypothèses suivantes :

1) La courbe c n'est extrémale par rapport à aucune combinaison linéaire des fonctions fi, f2, ..., for 2) Les foyers Pi, P2, .

existent tous. 3) La condition de Legendre relative à la fonction f est remplie au sens strict depuis Po jusqu'à P. limites comprises.

Dans ces conditions nous montrerons que le foyer P existe toujours et ne peut jamais se trouver au delà du point Pn+1

n+11

Dans notre Mémoire , Sur les maxima et minima d'une fonction de deux intégrales définies *) nous avons déjà démontré ce théorème pour le cas n=1; la théorie de la variation seconde va nous conduire très facilement au théorème général. Désignons par x;, y; les coordonnées du point P., et soit y=y(x, y) l'équation de

XYPi l'extrémale relative à la fonction f qui passe par le point P, et dont la tangente a en ce point u pour coefficient angulaire. Soit encore mo la valeur de u qui correspond à la courbe c, et posons

(x, Mo).

ду

dre

correspondant à la variation dy = 2 de y; choisissons enfin des nombres kj, ka, ne soient pas tous nuls, de telle manière qu'on ait

kn+1 qui

pour r=1, 2,..., n, ce qui est évidemment toujours possible. Nous appellerons ; la fonction de x qui, dans chaque intervalle X:-1 <x< x;, coïncide avec la fonction k, z. D'après la manière même dont nous avons déterminé les nombres ka, ka,

k

'n +10 il est évident que, si la variation dy de y est égale à z, les variations premières des inté. grales I., I., ..., In prises entre les limites Xo et m +1 seront toutes nulles. En vertu de

x

. notre hypothèse 1) on peut donc trouver une famille de courbes à un paramètre

joignant les points P, et Pn+1 et comprenant la courbe e, telle que, a, étant la valeur de a ,

c, d qui correspond à la courbe c, on ait

ду

(x, a.) = z, da

et que les intégrales 11, 12,... , 1, prises suivant ces courbes entre les limites Xo et 2+1,

On, gardent des valeurs constantes.

Considérons la variation seconde 821 de l'intégrale 1 prise suivant la courbe y=ý (x, a) entre les limites X et xn+1Malgré les discontinuités que peut présenter la w,

' dérivée de dy =2) pour x= x,, 22, ..., xv, on voit facilement que la variation 821 est donnée par l'intégrale

et, puisque la fonction à intégrer est identiquement nulle, il en résulte donc

n+1

0

Or, en vertu de notre hypothèse 3), l'existence d'une famille de courbes ayant les propriétés précédentes serait impossible s'il n'y avait pas de foyer P ou si ce foyer se trouvait au delà du point Pr+1: Le théorème que nous avons énoncé est donc démontré.

On peut donner à ce théorème une autre forme.

Considérons le problème de l'extremum libre de l'intégrale I., et soient c une extré. male relative à la fonction fo, P, un point fixe de c et Pa, P2, ..., Pat, les n + 1 premiers

, foyers conjugués de P, sur c. Supposons enfin la condition de Legendre remplie au sens strict sur c entre P, et Pn+1, limites comprises.

Po Soit P' un point mobile de c. Pour que l'arc P, P' de c fournisse un extremum, il faut que P' se trouve à gauche de P, (ou en ce point). Mais si l'on restreint le champ des lignes variées par des conditions convenables, l'intervalle dans lequel doit rester P' pour que l'extremum ait lieu peut devenir plus large. Le théorème que nous venons de démontrer est équivalent à l'énoncé suivant: Quelles que soient les fonctions f:, f2,...,,, à la seule condition que c ne soit pas une

fus extrémale par rapport à une combinaison linéaire de ces fonctions, si l'on impose aux courbes variées la condition de donner aux intégrales

les mêmes valeurs que l'arc P, P' de l'extrémale c, le segment de c sur lequel peut varier P' sans que l'extremum cesse d'avoir lieu ne s'étend jamais au delà du point Pm