Accueil🇫🇷Chercher

Théorème du col

Le théorème du col est un théorème d'existence du calcul des variations. Il établit l'existence d'un point col pour une fonction moyennant certaines conditions. L'originalité de ce théorème vient de ce qu'il existe beaucoup de théorèmes concernant l'existence d'extrema, mais peu sur les points col.

Énoncé du théorème

Hypothèses :

  • est une fonctionnelle d'un espace de Hilbert H vers ;
  • et est lipschitzienne sur les sous-ensembles bornés de H ;
  • satisfait la condition de Palais-Smale ;
  • ;
  • il existe des constantes strictement positives r et a telles que si ;
  • il existe tel que et .

Conclusion :

posons

et

.

Alors, c est une valeur critique de I.

Approche heuristique

L'intuition qui sous-tend ce théorème se trouve dans le mot « col » lui-même. Supposons que I désigne l'altitude. Il existe alors deux points bas : l'origine, car , et un autre point v. Entre ces deux points se situe une chaîne de montagnes (à distance de l'origine) où l'altitude est élevée (plus grande que a > 0). Pour aller de l'origine à v en suivant un chemin g, il faut traverser les montagnes, c'est-à-dire d’abord monter, puis redescendre. Comme I est plus ou moins régulière, elle doit atteindre un point critique quelque part entre les deux. L'intuition suggère que si un tel point se situe sur un chemin qui traverse les montagnes à l'altitude la plus basse, ce sera presque toujours un point col.

Pour une démonstration, voir Evans 1998, section 8.5.

Formulation plus faible

Soit un espace de Banach. Supposons que les hypothèses suivantes sont satisfaites :

  • et possède une dérivée de Gateaux , qui est continue lorsqu'on munit de la topologie forte et de la topologie faible-* ;
  • il existe pour lequel on peut trouver tel que
    ;
  • satisfait la condition faible de Palais-Smale sur .

Alors il existe un point critique de pour lequel . De plus, en posant

,

on a :

.

Pour une démonstration, voir Aubin et Ekeland 2006, section 5.5.

Références

Cet article est issu de wikipedia. Text licence: CC BY-SA 4.0, Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.