VARIATIONS CALCUL DES

Conditions de Legendre et Jacobi

Soit f un minimum relatif faible de J dans D. Utilisant à nouveau la formule de Taylor, on peut écrire, toujours à des termes d'ordres supérieurs près, la variation de J correspondant à une variation ω de f sous la forme :

où l'on a posé :

La fonctionnelle :

est une forme quadratique sur l'espace E que l'on peut interpréter comme la dérivée seconde δ²J[f ]de J en f : on dira que δ²J[f ]est la « variation seconde » de J en f. On a ainsi le résultat suivant : Une condition nécessaire pour que f soit un minimum relatif faible de J est que δ²J[f ]soit une forme quadratique positive, c'est-à-dire telle que δ²J[f ] (ω) ≥ 0 pour tout ω ∈ E.

On va, suivant Legendre, transformer l'expression de cette variation seconde en remarquant que, si w est une fonction continûment dérivable sur[a, b], on a :

pour toute fonction ω ∈ E. On peut donc écrire :

soit encore :

si le discriminant (Q + w)² − R(P + w′) est nul. Cette égalité nous conduit à une seconde condition, énoncée par Legendre en 1786 :

Théorème 2. Une condition nécessaire pour que f soit un minimum relatif faible de J est que l'on ait sur[a, b]l'inégalité :

Démonstration. Supposons R négative en un point x₀ de ]a, b[. On peut trouver un intervalle[c, d]contenant x₀ sur lequel R reste négative. On peut supposer qu'il existe une solution de l'équation différentielle (Q + w)² − R(P + w′) = 0 sur cet intervalle.

On a alors l'inégalité δ²J[f ](ω) < 0 pour la fonction ω qui intervient dans la preuve du lemme 1, ce qui est absurde.

L'expression précédente de δ²J[f ]montre que, si l'équation :

a une solution sur[a, b], la condition R > 0 entraîne δ²J[f ](ω) > 0 pour toute variation ω non nulle. C'est en partant de cette remarque que Weierstrass montra, en 1879, que les conditions suivantes sont suffisantes pour qu'une fonction f de D soit un minimum relatif faible de J :

a) La fonction f est une solution de l'équation d'Euler-Lagrange ;

b) On a F″_y_′_y_′(x, f (x), f ′(x)) > 0 sur[a, b] ;

c) Il existe une solution sur[a, b]de l'équation (Q + w)² − R(P + w′) = 0.

Jacobi introduisit en 1837 le changement de variable w = − Q − Ru′/u qui lui permit de transformer l'équation différentielle (Q + w)² − R(P + w′) = 0 en l'équation différentielle linéaire du second ordre, dite équation de Jacobi :

et l'existence d'une solution de la première sur[a, b]est équivalente à l'existence d'une solution sans zéro sur[a, b]de la seconde.

Soit alors u(x) une solution non nulle de l'équation de Jacobi telle que u(a) = 0. On dira qu'un point c ≥ a est un point conjugué de a si l'on a u(c) = 0. Le théorème de Sturm permet de montrer que, si l'intervalle[a, b]ne contient aucun point conjugué de a, il existe une solution de l'équation de Jacobi sans zéro sur cet intervalle, donc une solution du discriminant sur[a, b](cf. supra).

En 1877, Weierstrass donna la condition suivante, appelée condition de Jacobi :

Théorème 3. Une condition nécessaire pour qu'une fonction f de D vérifiant F″_y_′_y_′(x, f (x), f ′(x)) > 0 sur[a, b]soit un minimum relatif faible de J est que l'intervalle[a, b]ne contienne aucun point conjugué du point a.

On remarquera que, contrairement aux théorèmes 1 et 2 qui expriment des conditions locales, la condition de Jacobi est globale.

Remarque 3. Dans son important mémoire de 1837, Jacobi mit aussi en évidence la propriété importante suivante de l'équation qui porte son nom :

Soit f (x, λ) une famille différentiable à un paramètre de solutions de l'équation d'Euler-Lagrange telle que [...]

La suite de cet article est accessible aux abonnés

Des contenus variés, complets et fiables
Accessible sur tous les écrans
Pas de publicité

Découvrez nos offres

Déjà abonné ? Se connecter

Écrit par

Claude GODBILLON : professeur à l'université Louis-Pasteur, Strasbourg

Carte mentale
Élargissez votre recherche dans Universalis

Classification

Média

Condition de Weierstrass - crédits : Encyclopædia Universalis France — Condition de Weierstrass

Encyclopædia Universalis France

Autres références

BERNOULLI LES
- Écrit par Encyclopædia Universalis
- 1 238 mots
- 1 média
...la fonction exponentielle et ses rapports avec le logarithme. On lui doit également la résolution de l'équation différentielle dite de Bernoulli. – Calculs des variations.Avec l'étude et la résolution du problème de l'isopérimètre, qui est la recherche parmi toutes les courbes de longueur donnée...
CALCUL INFINITÉSIMAL - Histoire
- Écrit par René TATON
- 11 465 mots
- 3 médias
...étudiés par l'école de Leibniz, à la fin du xvii^e siècle, Euler sentit la nécessité d'introduire dans ce domaine des méthodes plus générales. Après avoir repris l'étude du célèbre problème des isopérimètres, il exposa, en 1744, la première méthode générale pour résoudre les problèmes d'extrémums,...
ÉCONOMÉTRIE
- Écrit par Jean-Pierre FLORENS
- 7 279 mots
- 2 médias
...macroéconomiques ou financières sont généralement des séries chronologiques, c'est-à-dire des grandeurs observées à des périodes de temps différentes. L'objectif est d'analyser la dynamique des variables considérées, plus précisément, leur évolution, la propagation de la variation de l'une d'entre elles...
EULER LEONHARD (1707-1783)
- Écrit par Christian HOUZEL et Jean ITARD
- 2 759 mots
- 1 média
Son traité de 1744, Methodus inveniendi lineas curvas maximi minimive proprietate gaudens, fonde le calcul des variations, dans la lignée des travaux de Jacques et Jean Bernoulli (l'ouvrage aura sur Lagrange une influence considérable). Un important appendice sur la détermination, par ce type...
Afficher les 13 références

VARIATIONS CALCUL DES

Conditions de Legendre et Jacobi

BERNOULLI LES

CALCUL INFINITÉSIMAL - Histoire

ÉCONOMÉTRIE

EULER LEONHARD (1707-1783)