Utilisateur:Mhon/Démonstration Stampacchia

Énoncé

modifier

Soient :

  •   un espace de Hilbert muni de son produit scalaire noté  
  •   une partie convexe fermée non-vide de  
  •   une forme bilinéaire qui est
    • continue sur   :   
    • coercive sur   :   
  •   une forme linéaire continue sur  .

Sous ces conditions, il existe un unique   de   tel que :

 .

Si de plus la forme bilinéaire   est symétrique, alors il existe un unique   de   qui minimise la fonctionnelle   définie par   pour tout   de  , c'est-à-dire :

 

Démonstration

modifier

Cas général

modifier

Par application du théorème de Riesz sur les formes linéaires, il existe un unique   tel que   pour tout  .

Pour tout  , l'application   est une forme linéaire continue sur   et donc de la même manière, il existe un unique élément   tel que   pour tout  . On montre facilement que l'opérateur   ainsi défini est un endomorphisme linéaire sur  .

Par la continuité de  , il existe une constante   telle que  , d'où

 .

Avec ces éléments, la relation   s'écrit de manière équivalente :

 

Pour tout réel   strictement positif, c'est également équivalent à :

 

En utilisant le projection sur un convexe fermé, on a de manière équivalente :

 

  est l'opérateur de projection sur  . Ainsi, pour prouver le théorème, il suffit de montrer qu'il existe un unique   qui vérifie l'équation de point fixe   où l'application   est définie par  .

Pour cela, montrons que   est une application contractante. Soient   et   deux éléments de  . Comme l'opérateur de projection   est 1-lipschitzienne, on a

 

D'où

 

Comme la forme bilinéaire   est coervice, on a  . Par ailleurs, en utilisant la relation  , on a l'inégalité  . Par conséquent

 

L'application   est contractante si et seulement si  , c'est-à-dire si on a  . En choisissant un tel   et en utilisant le théorème de point fixe de Picard, on montre qu'il existe effectivement un unique   tel que  , ce qui conclut la démonstration.

Cas symétrique

modifier

Si la forme bilinéaire   symétrique, on montre facilement qu'elle définit un produit scalaire sur  . La coercivité implique que   est définie et positive. On note par   ce produit scalaire qui est défini par :

 

Par application du théorème de Riesz sur les formes linéaires, il existe un unique   tel que   pour tout  .

La relation   s'écrit alors de manière équivalente :

 

En utilisant le projection sur un convexe fermé, on a de manière équivalente :

 

  est l'opérateur de projection sur   utilisant le produit scalaire défini par  . La relation   est donc équivalente à :

 

soit encore

 

ou bien

 , ce qui conclut la démonstration.

Applications

modifier