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 notamment de fondement à la méthode des éléments finis.

Énoncé

Soient :

$\mathcal{H}$ un espace de Hilbert réel muni de son produit scalaire noté $\langle.,.\rangle$ , de norme associée notée $\|.\|$
une forme bilinéaire 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 unique $f\in\mathcal{H}$ tel que $Lv=\langle f,v\rangle$ pour tout $v\in\mathcal{H}$ .

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:u\mapsto A_u$ ainsi défini est un endomorphisme linéaire continu sur $\mathcal{H}$ . La relation $(1)$ s'écrit donc de manière équivalente :

$\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 $(\varphi_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_{ij}=a(\varphi_j,\varphi_i)$ et $b_i=L\varphi_i$

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

Articles de mathématiques en rapport avec l'analyse fonctionnelle
Fonctionnelle • Calcul des variations • Dérivée fonctionnelle • Espace de Banach • Algèbre de Banach • Espace de Hilbert • Espace de Fréchet • Variété banachique • Espace de fonctions • Noyau reproduisant • Série de Fourier • Transformée de Fourier • Distribution • Topologie faible

Portail des mathématiques

Ce document provient de « Th%C3%A9or%C3%A8me de Lax-Milgram ».

Catégories : Théorème d'analyse | Espace de Hilbert

Wikimedia Foundation. 2010.

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

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

Regardez d'autres dictionnaires:

Lemme de Baire — Théorème de Baire Le théorème de Baire, dit aussi lemme de Baire, est un théorème de topologie dû au mathématicien René Baire. Un espace topologique est dit de Baire si toute intersection dénombrable d ouverts denses est dense. De façon… … Wikipédia en Français
Liste Des Théorèmes — par ordre alphabétique. Pour l établissement de l ordre alphabétique, il a été convenu ce qui suit : Si le nom du théorème comprend des noms de mathématiciens ou de physiciens, on se base sur le premier nom propre cité. Si le nom du théorème … Wikipédia en Français
Liste des theoremes — Liste des théorèmes Liste des théorèmes par ordre alphabétique. Pour l établissement de l ordre alphabétique, il a été convenu ce qui suit : Si le nom du théorème comprend des noms de mathématiciens ou de physiciens, on se base sur le… … Wikipédia en Français
Liste des théorèmes — par ordre alphabétique. Pour l établissement de l ordre alphabétique, il a été convenu ce qui suit : Si le nom du théorème comprend des noms de mathématiciens ou de physiciens, on se base sur le premier nom propre cité. Si le nom du théorème … Wikipédia en Français
Liste de lemmes (mathématiques) — Liste de lemmes mathématiques par ordre alphabétique. En mathématiques, un lemme est un énoncé prouvé, mais jugé moins important que ce qu on appelle un théorème, qu il sert généralement à établir au cours d une démonstration. Néanmoins cette… … Wikipédia en Français
Liste des lemmes (mathematiques) — Liste des lemmes (mathématiques) Liste des lemmes mathématiques par ordre alphabétique. Pour l établissement de l ordre alphabétique, il a été convenu ce qui suit : Si le nom des lemmes comprend des noms de scientifiques, on se base sur le… … Wikipédia en Français
Liste des lemmes (mathématiques) — Liste des lemmes mathématiques par ordre alphabétique. Pour l établissement de l ordre alphabétique, il a été convenu ce qui suit : Si le nom des lemmes comprend des noms de scientifiques, on se base sur le premier nom propre cité. Si le nom … Wikipédia en Français
Liste des articles de mathematiques — Projet:Mathématiques/Liste des articles de mathématiques Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou probabilités et statistiques via l un des trois bandeaux suivants … Wikipédia en Français
Projet:Mathématiques/Liste des articles de mathématiques — Cette page n est plus mise à jour depuis l arrêt de DumZiBoT. Pour demander sa remise en service, faire une requête sur WP:RBOT Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou… … 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

Dictionnaires et Encyclopédies sur 'Academic'

Lemme de Lax-Milgram

Théorème de Lax-Milgram

Sommaire

Énoncé