title: Théorème de Stampacchia
text: # Théorème de Stampacchia
  
  Le théorème de Stampacchia est un théorème d'analyse fonctionnelle. C'est un raffinement du théorème de Lax-Milgram.
  
  ## Énoncé
  
  Soient
  
  * ${\mathcal {H}}$ un espace de Hilbert réel muni de son produit scalaire noté $\langle .,.\rangle$ (la norme induite étant notée $\|u\|=\langle u,u\rangle ^{1/2}$).
  * $K~$ une partie convexe fermée non vide de ${\mathcal {H}}$
  * $a(.\ ,.)~$ une forme bilinéaire qui soit
     * continue sur ${\mathcal {H}}\times {\mathcal {H}}$ : $\exists \,c>0\quad \forall u,v\in {\mathcal {H}}\quad \|a(u,v)\|\leq c\|u\|\|v\|\quad$
     * coercive sur ${\mathcal {H}}$ : $\exists \,\alpha >0\quad \forall u\in {\mathcal {H}}\quad \ a(u,u)\geq \alpha \|u\|^{2}\quad$
  * $L(.)~$ une forme linéaire continue sur ${\mathcal {H}}$
  
  Sous ces conditions, il existe un unique $u$ de $K$ tel que
  
      $(1)\quad \forall \ v\in K\quad a(u,v-u)\geq L(v-u)\quad$
  
  Si de plus la forme bilinéaire $a$ est symétrique, alors ce même $u$ est l'unique élément de $K$ qui minimise la fonctionnelle $I:{\mathcal {H}}\rightarrow \mathbb {R}$ définie par $I(v)={\tfrac {1}{2}}a(v,v)-L(v)$ pour tout $v~$ de $K~$, en particulier :
  
      $(2)\quad \exists !\ u\in K\quad I(u)=\min _{v\in K}I(v)$
  
  ## Démonstration
  
  ### Cas général
  
  Par application du théorème de Riesz sur les formes linéaires continues, il existe un vecteur $f\in {\mathcal {H}}$ tel que
  
      $\forall v\in {\mathcal {H}},\quad Lv=\langle f,v\rangle .$
  
  Par application de ce même théorème aux formes bilinéaires continues, il existe un endomorphisme linéaire continu $A\in {\mathcal {L}}({\mathcal {H}})$ tel que
  
      $\forall u,v\in {\mathcal {H}},\quad a(u,v)=\langle Au,v\rangle .$
  
  De plus, la norme de A est égale à celle de a, d'où
  
      $\qquad (3)\quad \forall \ u\in {\mathcal {H}}\quad \|A(u)\|\leq c\|u\|$
  
  Avec ces éléments, la relation (1) s'écrit de manière équivalente
  
      $\exists !\,u\in K\quad \forall v\in K\quad \langle f-A(u),v-u\rangle \leq 0$
  
  Pour tout réel $r$ strictement positif, c'est également équivalent à
  
      $\exists !\,u\in K\quad \forall v\in K\quad \langle rf-rA(u)+u-u,v-u\rangle \leq 0$
  
  Ce qui, en utilisant le théorème de projection sur un convexe fermé, se réécrit
  
      $\exists !\,u\in K\quad u=p_{K}(rf-rA(u)+u)$
  
  où $p_{K}$ est l'opérateur de projection sur $K$. Ainsi, pour prouver le théorème, il suffit de montrer que pour un certain $r>0$, il existe un unique $u\in K$ qui vérifie l'équation de point fixe $u=P_{r}(u)$ où l'application $P_{r}:K\rightarrow K$ est définie par $P_{r}(v)=p_{K}{\bigrf-rA(v)+v{\big )}$.
  
  Pour cela, choisissons $r$ de telle façon que $P_{r}$ soit une application contractante. Soient $x$ et $y$ deux éléments de $K$. Comme l'opérateur de projection $p_{K}$ est 1-lipschitzien, on a
  
      $\|P_{r}(x)-P_{r}(y)\|\leq \|x-y-rA(x-y)\|$
  
  D'où
  
      $\|P_{r}(x)-P_{r}(y)\|^{2}\leq \|x-y\|^{2}+r^{2}\|A(x-y)\|^{2}-2r\langle x-y,A(x-y)\rangle$
  
  Comme la forme bilinéaire $a$ est coercive, on a $\langle A(x-y),x-y\rangle =a(x-y,x-y)\geq \alpha \|x-y\|^{2}$. Par ailleurs, en utilisant la relation (3), on a l'inégalité $\|A(x-y)\|\leq c\|x-y\|$. Par conséquent,
  
      $\|P_{r}(x)-P_{r}(y)\|^{2}\leq {\big1+r^{2}c^{2}-2r\alpha {\big )}\|x-y\|^{2}$
  
  L'application $P_{r}$ est contractante dès que $1+r^{2}c^{2}-2r\alpha <1$, c'est-à-dire si on a $0<r<2\alpha /c^{2}$. En choisissant un tel $r$ et en utilisant le théorème de point fixe de Picard, on montre qu'il existe effectivement un unique $u\in K$ tel que $u=p_{K}{\bigrf-rA(u)+u{\big )}$, ce qui conclut la démonstration.
  
  ### Cas symétrique
  
  Si la forme bilinéaire $a$ est symétrique, on montre facilement qu'elle définit un produit scalaire sur ${\mathcal {H}}$. La coercivité implique que $a$ est définie et positive. On note par $\langle .,.\rangle _{a}$ ce produit scalaire qui est défini par :
  
      $\forall x,y\in {\mathcal {H}}\quad \langle x,y\rangle _{a}=a(x,y)$
  
  Par application du théorème de Riesz (Attention, pour utiliser le théorème de Riesz, il faut vérifier que l'espace muni du nouveau produit scalaire est bien de Hilbert : procéder par équivalence des normes) sur les formes linéaires, il existe un unique $f\in {\mathcal {H}}$ tel que $L(v)=\langle f,v\rangle _{a}$ pour tout $v\in {\mathcal {H}}$.
  
  La relation (1) s'écrit alors de manière équivalente :
  
      $\exists !\,u\in K\quad \forall v\in K\quad \langle f-u,v-u\rangle _{a}\leq 0$
  
  En utilisant le théorème de projection sur un convexe fermé, on a de manière équivalente :
  
      $\exists !\,u\in K\quad u=p_{K}^{a}(f)$
  
  où $p_{K}^{a}$ est l'opérateur de projection sur $K$ utilisant le produit scalaire défini par $a$. La relation (1) est donc équivalente à :
  
      $\langle f-u,f-u\rangle _{a}=\min _{v\in K}\ \langle f-v,f-v\rangle _{a}$
  
  soit encore
  
      $\langle u,u\rangle _{a}-2\langle f,u\rangle _{a}=\min _{v\in K}\left(\langle v,v\rangle _{a}-2\langle f,v\rangle _{a}\right)$
  
  ou bien
  
      ${\frac {1}{2}}a(u,u)-L(u)=\min _{v\in K}\left({\frac {1}{2}}a(v,v)-L(v)\right)$,
  
  ce qui conclut la démonstration.
  
  ## Applications
  
  * Ce théorème sert notamment en mécanique où $I$ est alors l'énergie potentielle ou complémentaire. C'est ce théorème qui donne les théorèmes énergétiques de mécanique.
  * Il permet également de démontrer l'existence et l'unicité de formulations faibles à des formulations variationnelles d'équations aux dérivées partielles elliptiques.
  * Voir un exemple d'application au problème de l'obstacle
  