title: Théorème du col
text: # 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 :
  
  * $I$ est une fonctionnelle d'un espace de Hilbert H vers ℝ ;
  * $I\in C^{1}(H,\mathbb {R} )$ et $I'$ est lipschitzienne sur les sous-ensembles bornés de H ;
  * $I$ satisfait la condition de Palais-Smale ;
  * $I[0]=0$ ;
  * il existe des constantes strictement positives r et a telles que $I[u]\geq a$ si $\Vert u\Vert =r$ ;
  * il existe $v\in H$ tel que $\Vert v\Vert >r$ et $I[v]\leq 0$.
  
  Conclusion :
  
  posons
  
      $\Gamma =\{\mathbf {g} \in C([0,1];H)\mid \mathbf {g} (0)=0,\mathbf {g} (1)=v\}$
  
  et
  
      $c=\inf _{\mathbf {g} \in \Gamma }\max _{0\leq t\leq 1}I[\mathbf {g} (t)]$.
  
  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 $I[0]=0$, et un autre point v où $I[v]\leq 0$. Entre ces deux points se situe une chaîne de montagnes (à distance $\Vert u\Vert =r$ 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 $X$ un espace de Banach. Supposons que les hypothèses suivantes sont satisfaites :
  
  * $\Phi \in C(X,\mathbb {R} )$ et possède une dérivée de Gateaux $\Phi '\colon X\to X^{*}$, qui est continue lorsqu'on munit $X$ de la topologie forte et $X^{*}$ de la topologie faible-* ;
  * il existe $r>0$ pour lequel on peut trouver $\|x'\|>r$ tel que
  
      $\max \,(\Phi (0),\Phi (x'))<\inf \limits _{\|x\|=r}\Phi (x)=:m(r)$ ;
  * $\Phi$ satisfait la condition faible de Palais-Smale sur $\{x\in X\mid m(r)\leq \Phi (x)\}$.
  
  Alors il existe un point critique ${\overline {x}}\in X$ de $\Phi$ pour lequel $m(r)\leq \Phi ({\overline {x}})$. De plus, en posant
  
      $\Gamma =\{c\in C([0,1],X)\mid c\,(0)=0,\,c\,(1)=x'\}$,
  
  on a :
  
      $\Phi ({\overline {x}})=\inf _{c\,\in \,\Gamma }\max _{0\leq t\leq 1}\Phi (c\,(t))$.
  
  Pour une démonstration, voir Aubin et Ekeland 2006, section 5.5.
  
  