Théorème de stampacchia

Théorème de Stampacchia

Le théorème de Stampacchia est un théorème d'analyse fonctionnelle.

Sommaire

1 Énoncé
2 Démonstration
- 2.1 Cas général
- 2.2 Cas symétrique
3 Applications

Énoncé

Soient

$\mathcal{H}$ un espace de Hilbert muni de son produit scalaire noté $\langle.,.\rangle$
$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\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, il existe un unique $f\in\mathcal{H}$ tel que pour tout $v\in\mathcal{H}$ , $L(v)=\langle f,v\rangle$ .

Pour tout $u\in\mathcal{H}$ , l'application $v\mapsto a(u,v)$ est une forme linéaire continue sur $\mathcal{H}$ et donc de la même manière, il existe un unique élément $A(u)\in\mathcal{H}$ tel que $a(u,v)=\langle A(u),v\rangle$ pour tout $v\in\mathcal{H}$ . On montre facilement que l'opérateur $A$ ainsi défini est un endomorphisme linéaire sur $\mathcal{H}$ .

Par la continuité de $a$ , il existe une constante $c > 0$ telle que $\|A(u)\|^2=\langle A(u),A(u)\rangle=a(u,A(u))\leq c\|A(u)\|\|u\|$ , 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 \forall r>0 \quad \langle rf-rA(u)+u-u,v-u\rangle \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 \forall r>0 \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 qu'il existe un unique $u\in K$ qui vérifie l'équation de point fixe $u = P (u)$ où l'application $P:K\rightarrow K$ est définie par $P(v)=p_K\big(rf-rA(v)+v\big)$ .

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

$\|P(x)-P(y)\| \leq \|x-y-rA(x-y)\|$

D'où

$\|P(x)-P(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(x)-P(y)\|^2 \leq \big(1+r^2c^2-2r\alpha\big)\|x-y\|^2$

L'application $P$ est contractante si et seulement si $1 + r 2 c 2 - 2 r α < 1$ , c'est-à-dire si on a $0 < r < \tfrac{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\big(rf-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 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^a_K(f)$

où $p^a_K$ 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 solutions faibles à des formulations variationnelles d'équations aux dérivées partielles elliptiques.
Le théorème de Stampacchia permet aussi de déduire simplement le Théorème de Lax-Milgram.
Voir un exemple d'application au problème de l'obstacle

Articles de mathématiques en rapport avec l'algèbre bilinéaire

Espace euclidien • Espace hermitien • Forme bilinéaire • Forme quadratique • Forme sesquilinéaire • Orthogonalité • Base orthonormale • Projection orthogonale • Inégalité de Cauchy-Schwarz • Inégalité de Minkowski • Matrice définie positive • Matrice semi-définie positive • Décomposition QR • Déterminant de Gram • Espace de Hilbert • Base de Hilbert • Théorème spectral • Théorème de Stampacchia • Théorème de Riesz • Théorème de Lax-Milgram • Théorème de représentation de Riesz

modifier

Théorèmes de l'analyse fonctionnelle

Théorème d'Ascoli • Théorème de Baire • Théorème de Banach-Alaoglu • Théorème de Banach-Mazur • Théorème de Banach-Schauder • Théorème de Banach-Steinhaus • Théorème du graphe fermé • Théorème de Hahn-Banach • Théorème de Lax-Milgram

modifier

Portail des mathématiques

Ce document provient de « Th%C3%A9or%C3%A8me de Stampacchia ».

Catégories : Théorème de mathématiques | Espace de Hilbert

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Théorème de stampacchia de Wikipédia en français (auteurs)

Игры ⚽ Нужно решить контрольную?

Regardez d'autres dictionnaires:

Theoreme de Stampacchia — Théorème de Stampacchia Le théorème de Stampacchia est un théorème d analyse fonctionnelle. Sommaire 1 Énoncé 2 Démonstration 2.1 Cas général 2.2 Cas symétrique … Wikipédia en Français
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. Sommaire 1 Énoncé 2 Démonstration 2.1 Cas général 2.2 … Wikipédia en Français
Theoreme de projection sur un convexe ferme — Théorème de projection sur un convexe fermé En mathématiques, le théorème de projection orthogonale sur un convexe est un résultat de minimisation de la distance qui généralise la projection orthogonale sur un espace vectoriel. Il remplace… … Wikipédia en Français
Théorème de projection orthogonale sur un convexe — Théorème de projection sur un convexe fermé En mathématiques, le théorème de projection orthogonale sur un convexe est un résultat de minimisation de la distance qui généralise la projection orthogonale sur un espace vectoriel. Il remplace… … Wikipédia en Français
Theoreme spectral — Théorème spectral Un ellipsoïde en trois possède autant d axes de symétrie que l espace de dimensions. Ils sont notés ici x, y et z … Wikipédia en Français
Theoreme de representation de Riesz — Théorème de représentation de Riesz Il existe en analyse fonctionnelle plusieurs théorèmes nommés théorème de représentation de Riesz, en l honneur du mathématicien Frigyes Riesz. Sommaire 1 Le théorème de représentation de Riesz dans les espaces … Wikipédia en Français
Théorème de Fréchet-Riesz — Théorème de représentation de Riesz Il existe en analyse fonctionnelle plusieurs théorèmes nommés théorème de représentation de Riesz, en l honneur du mathématicien Frigyes Riesz. Sommaire 1 Le théorème de représentation de Riesz dans les espaces … Wikipédia en Français
Théorème de représentation de riesz — Il existe en analyse fonctionnelle plusieurs théorèmes nommés théorème de représentation de Riesz, en l honneur du mathématicien Frigyes Riesz. Sommaire 1 Le théorème de représentation de Riesz dans les espaces de Hilbert 1.1 Énoncé 1.2 … Wikipédia en Français
Theoreme de Riesz — Théorème de Riesz En mathématiques, et plus particulièrement en théorie des espaces vectoriels normés réels ou complexes, le théorème de Riesz établit un lien entre la notion de compacité, une propriété topologique, et celle de dimension, une… … Wikipédia en Français
Théorème de riesz — En mathématiques, et plus particulièrement en théorie des espaces vectoriels normés réels ou complexes, le théorème de Riesz établit un lien entre la notion de compacité, une propriété topologique, et celle de dimension, une notion algébrique. Il … Wikipédia en Français

Dictionnaires et Encyclopédies sur 'Academic'

Théorème de stampacchia