Théorème de lax-milgram

Théorème 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.

Sommaire

Énoncé

Soient :

Sous ces hypothèses il existe un unique u de \mathcal{H} tel que l'équation a(u,v) = Lv 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 Aun est une suite de Cauchy, alors un est une suite de Cauchy, dans \mathcal{H} complet donc converge vers u \in \mathcal{H}. Et A est continue, donc Aun converge vers Au.

\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 Au = f et il est donné par u = A − 1f.

Remarque

Sans calculer u on a l'inégalité

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

\|\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 \mathcal{H} l'on cherche un dans \mathcal{H}_n, un sous espace de \mathcal{H} de dimension finie n, alors d'une part :
    • Dans le cas où a est symétrique un 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
  • Portail des mathématiques Portail des mathématiques
Ce document provient de « Th%C3%A9or%C3%A8me de Lax-Milgram ».

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 (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… …   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

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”