Universalis
Abonnez-vous à Universalis pour 1 euro

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 δ2J[f ]de J en f : on dira que δ2J[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 δ2J[f ]soit une forme quadratique positive, c'est-à-dire telle que δ2J[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)2 − 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 x0 de ]a, b[. On peut trouver un intervalle[c, d]contenant x0 sur lequel R reste négative. On peut supposer qu'il existe une solution de l'équation différentielle (Q + w)2 − R(P + w′) = 0 sur cet intervalle.

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

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

a une solution sur[a, b], la condition R > 0 entraîne δ2J[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)2 − 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)2 − 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

Carte mentale
Élargissez votre recherche dans Universalis

Classification

Pour citer cet article

Claude GODBILLON. VARIATIONS CALCUL DES [en ligne]. In Encyclopædia Universalis. Disponible sur : (consulté le )

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 Universalis
    • 1 238 mots
    • 1 média
    Jean Bernoulli - crédits : AKG-images
    ...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
    Dérivées et intégrales - crédits : Planeta Actimedia S.A.© Encyclopædia Universalis France pour la version française.
    ...étudiés par l'école de Leibniz, à la fin du xviie 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, 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

Voir aussi

Abonnez-vous à Universalis pour 1 euro

Rejoignez-nous

Inscrivez-vous à notre newsletter