Théorème de Lax-Milgram

Le théorème de Lax-Milgram – des noms de Peter Lax et Arthur Milgram (en) – est un théorème de mathématiques s'appliquant à certains problèmes aux dérivées partielles exprimés sous une formulation faible (appelée également formulation variationnelle). Il est notamment l'un des fondements de la méthode des éléments finis.

Énoncé

Soient :

$\mathcal{H}$ un espace de Hilbert réel ou complexe muni de son produit scalaire noté $\langle.,.\rangle$ , de norme associée notée $\|.\|$
une forme bilinéaire (ou une forme sesquilinéaire si est complexe) qui est
- continue sur $\mathcal{H}\times\mathcal{H}$ : $\exists\,c>0, \forall (u,v)\in \mathcal{H}^2\,,\ |a(u,v)|\leq c\|u\|\|v\|$
- coercive sur $\mathcal{H}$ (certains auteurs disent plutôt $\mathcal{H}$ -elliptique) : $\exists\,\alpha>0, \forall u\in\mathcal{H}\,,\ a(u,u) \geq \alpha\|u\|^2$
$L$ une forme linéaire continue sur $\mathcal{H}$ .

Sous ces hypothèses il existe un unique $u$ de $\mathcal{H}$ tel que l'équation $a (u, v) = L v$ soit vérifiée pour tout $v$ de $\mathcal{H}$ :

$(1) \quad \exists!\ u \in \mathcal{H},\ \forall v\in\mathcal{H},\quad a(u,v)=Lv$

Si de plus la forme bilinéaire $a$ est symétrique, alors $u$ est l'unique élément de $\mathcal{H}$ qui minimise la fonctionnelle $J:\mathcal{H}\rightarrow\R$ définie par $J(v) = \tfrac{1}{2}a(v,v)-Lv$ pour tout $v$ de $\mathcal{H}$ , c'est-à-dire :

$(2) \quad \exists!\ u \in \mathcal{H},\quad J(u) = \min_{v\in\mathcal{H}}\ J(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.$

La proposition $(1)$ se réécrit alors :

$\exists!\ u \in \mathcal{H},\ Au=f.$

Pour prouver cette proposition, il suffit donc de montrer que $A$ est une bijection de $\mathcal{H}$ sur $\mathcal{H}$ . On montre dans un premier temps que l'opérateur est injectif, puis qu'il est surjectif.

Par la coercivité de $a$ et en appliquant l'inégalité de Cauchy-Schwarz, on a pour tout $v\in\mathcal{H}$

$\alpha\|v\|^2 \leq a(v,v) = \langle Av,v\rangle \leq \|Av\|\|v\|$

d'où $\|Av\| \geq \alpha\|v\|$ pour tout $v$ de $\mathcal{H}$ (*), ce qui montre que $A$ est injectif.

Pour la surjectivité, considérons $\mathcal{Z}$ l'image de l'opérateur $A$ dans $\mathcal{H}$ .

L'inégalité (*) implique que, si $A u n$ est une suite de Cauchy, alors $u n$ est une suite de Cauchy, dans $\mathcal{H}$ complet donc converge vers $u \in \mathcal{H}$ . Et $A$ est continue, donc $A u n$ converge vers $A u$ .

$\mathcal{Z}$ est donc un sous-espace fermé de $\mathcal{H}$ et par le théorème du supplémentaire orthogonal d'un fermé on sait que $\mathcal{H}= \mathcal{Z} \oplus \mathcal{Z}^{\perp}$ .

Soit ensuite un élément $w$ de $\mathcal{Z}^{\perp}$ , on a par définition $\langle Aw,w\rangle = 0$ et donc :

$\alpha\|w\|^2 \leq a(w,w) = \langle Aw,w\rangle = 0$

d'où $w = 0$ . Ainsi, $\mathcal{Z}^{\perp}$ est réduit à ${0}$ , ce qui montre que $A$ est surjectif.

L'endomorphisme $A$ est bijectif, il existe donc un unique $u$ de $\mathcal{H}$ tel que $A u = f$ et il est donné par $u = A - 1 f$ .

Remarque

Sans calculer $u$ on a l'inégalité

$\|u\| \leq \frac{\|L\|'}{\alpha}$

où $\|\cdot\|'$ désigne la norme de l'espace dual $\mathcal{H}'$ .

Cas symétrique

Si la forme bilinéaire $a$ est symétrique, on a pour tout $w$ de $\mathcal{H}$ :

$J(u+w) = J(u)+\Big(a(u,w)-Lw\Big)+\frac{1}{2}a(w,w)$

Comme $u$ est l'unique solution de la proposition (1), cela donne

$J(u+w) = J(u)+\frac{1}{2}a(w,w)$

Et comme $a$ est coercive, on a :

$J(u+w) \geq J(u) + \frac{\alpha}{2}\|w\|^2$

On a donc $J(u) \leq J(v)$ pour tout $v\in\mathcal{H}$ , d'où le résultat $(2)$ .

Applications

Ce théorème est à la base des méthodes aux éléments finis, on peut en effet montrer que si au lieu de chercher u dans l'on cherche u_n dans , un sous espace de de dimension finie n, alors d'une part :
- Dans le cas où $a$ est symétrique $u n$ est le projeté de $u$ au sens du produit scalaire définit par $a$
- Si l'on se donne $(φ i)$ une base de $\mathcal{H}_n$ , le problème se ramène alors à la résolution d'un système linéaire :

$\underline{\underline{A}} \underline{u_n} = \underline{b}$ avec

A i j = a (φ j,φ i)

b i = L φ i

Bibliographie

Haïm Brezis, Analyse fonctionnelle : théorie et applications [détail des éditions]

v · 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 positive · Matrice 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 Lax-Milgram · Théorème de représentation de Riesz

v · Analyse fonctionnelle
Théorèmes	Ascoli · Baire · Banach-Alaoglu · Banach-Mazur · Banach-Schauder · Banach-Steinhaus · Graphe fermé · Hahn-Banach · Lax-Milgram
Divers	Fonctionnelle · Calcul des variations · Dérivée fonctionnelle · Espace de Banach · Algèbre de Banach · C*-algèbre · Espace de Hilbert · Espace de Fréchet · Variété banachique · Espace fonctionnel · Noyau reproduisant · Série de Fourier · Transformée de Fourier · Distribution · Topologie faible

Portail de l'analyse

Catégories :

Équations différentielles numériques
Théorème d'analyse
Espace de Hilbert

Wikimedia Foundation. 2010.

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

Игры ⚽ Нужно сделать НИР?

Regardez d'autres dictionnaires:

Theoreme de Lax-Milgram — Théorème de Lax Milgram Le théorème de Lax Milgram – des noms de Peter Lax et Arthur Milgram – est un théorème de mathématiques. Il est utilisé pour résoudre des équations différentielles partielles via la formulation faible et sert ainsi… … Wikipédia en Français
Théorème de lax-milgram — Le théorème de Lax Milgram – des noms de Peter Lax et Arthur Milgram – est un théorème de mathématiques. Il est utilisé pour résoudre des équations différentielles partielles via la formulation faible et sert ainsi notamment de fondement à la… … Wikipédia en Français
Lemme de Lax-Milgram — Théorème de Lax Milgram Le théorème de Lax Milgram – des noms de Peter Lax et Arthur Milgram – est un théorème de mathématiques. Il est utilisé pour résoudre des équations différentielles partielles via la formulation faible et sert ainsi… … Wikipédia en Français
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. Sommaire 1 Énoncé 2 Démonstration 2.1 Cas général 2.2 Cas symétrique … Wikipédia en Français
Theoreme de Hille-Yosida — Théorème de Hille Yosida En théorie des semi groupes, le théorème de Hille Yosida est un outil puissant et fondamental reliant les propriétés de dissipation de l énergie d un opérateur non borné à l existence unicité et la régularité des… … 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 de Hahn-Banach — Théorème de Hahn Banach Ce théorème, auquel a été donné le nom des deux mathématiciens Hans Hahn et Stefan Banach, garantit l existence d une forme linéaire vérifiant certaines conditions (valeurs imposées sur une partie de l espace, mais… … Wikipédia en Français
Théorème de hahn-banach — Ce théorème, auquel a été donné le nom des deux mathématiciens Hans Hahn et Stefan Banach, garantit l existence d une forme linéaire vérifiant certaines conditions (valeurs imposées sur une partie de l espace, mais limitées partout). En… … Wikipédia en Français

Dictionnaires et Encyclopédies sur 'Academic'

Théorème de Lax-Milgram

Sommaire

Énoncé