Soient fo, fi, f2, f 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

Io = Sfodx

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

Soient A1, A2, ..., des nombres fixes, d'ailleurs quelconques, c une extrémale relative à la fonction

P1 un point fixe de c, P le foyer conjugué de P sur c relatif à notre problème, et P1, P2, ..., P les n+1 premiers foyers conjugués de P, sur c relatifs au problème de l'extremum libre de l'intégrale

n+1

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

1) La courbe e n'est extrémale par rapport à aucune combinaison linéaire des fonctions

2) Les foyers P1, P2, ..., P+1 existent tous.

3) La condition de Legendre relative à la fonction f est remplie au sens strict depuis

Po jusqu'à P+1' limites comprises.

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

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, μ) l'équation de l'extrémale relative à la fonction f qui passe par le point P, et dont la tangente a en ce point pour coefficient angulaire. Soit encore o la valeur de μ qui correspond à la courbe c, et posons

dy
2== (x, μo).
дре

correspondant à la variation dyz de y; choisissons enfin des nombres k1, k2, ne soient pas tous nuls, de telle manière qu'on ait

n+1

=

i=1

K+1 qui

pour = 1, 2, ..., n, ce qui est évidemment toujours possible. Nous appellerons la fonction r= de x qui, dans chaque intervalle x, xx,, coïncide avec la fonction k, z.

i- 1

D'après la manière même dont nous avons déterminé les nombres k1, k2,

k
n + 1,

il est évident que, si la variation dy de y est égale à, les variations premières des intégrales I1, I2, ..., I, prises entre les limites x, et +1 seront toutes nulles. En vertu de notre hypothèse 1) on peut donc trouver une famille de courbes à un paramètre

y= ÿ (x, α),

x

joignant les points P, et P+1 et comprenant la courbe c, telle que, a, étant la valeur de a qui correspond à la courbe c, on ait

et que les intégrales I1, I2, ..., I, prises suivant ces courbes entre les limites x et x2+1, gardent des valeurs constantes.

Considérons la variation seconde 82I de l'intégrale I prise suivant la courbe y=ÿ (x, a) entre les limites x et x+1. Malgré les discontinuités que peut présenter la dérivée de dy (2) pour x = x1, x2, ..., X2, 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

021 = 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 P+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 Io, et soient c une extré male relative à la fonction fo, Po un point fixe de c et P1, P2, ···, P+1 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 P limites comprises.

n 11

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 P1 (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, f, à la seule condition que c ne soit pas une 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 PP' 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 P