Vous êtes sur la page 1sur 4

Les théorèmes de Riesz et de Lax-Milgram

mis en situation
Ivan Nourdin
22 février 2001

Mots-clés: méthode hilbertienne, forme linéaire.

Tout d’abord, énonçons les :

Théorème de Riesz
Soit :
(i) V un espace de Hilbert (réel) de produit scalaire noté < ., . >,
(ii) L une forme linéaire continue sur V .
Le problème abstrait :
(∗) Trouver u ∈ V tel que : ∀v ∈ V, < u, v >= L(v)
a une unique solution u ∈ V .

Théorème de Lax-Milgram
Soit :
(i) V un espace de Hilbert (réel) de produit scalaire noté < ., . >,
(ii) a : V × V → R une forme bilinéaire continue elliptique (i.e. telle qu’il
existe α > 0 vérifiant a(v, v) ≥ α kvk2 pour tout v ∈ V ),
(iii) L une forme linéaire continue sur V .
Le problème abstrait :
(∗) Trouver u ∈ V tel que : ∀v ∈ V, a(u, v) = L(v)
a une unique solution u ∈ V .

Premier exemple. Soit Ω un ouvert borné de Rn et de frontière suffisam-


ment régulière.

Proposition Si f ∈ L2 (Ω), le problème :



u(x, t) − ∆u(x, t) = f (x), ∀(x, t) ∈ Ω × [0, +∞[
(∗)
u(x, t) = 0, ∀(x, t) ∈ ∂Ω × [0, +∞[

1
admet une solution unique u ∈ H 2 (Ω).

Preuve. Supposons que u ∈ H 2 (Ω) vérifie (*). On a alors u − ∆u = f


dans D 0 (Ω) et, pour tout ϕ ∈ D(Ω) :

< u − ∆u, ϕ >D0 (Ω),D(Ω) =< f, ϕ >D0 (Ω),D(Ω)

ou encore :

< u, ϕ >D0 (Ω),D(Ω) + < ∇u, ∇ϕ >D0 (Ω),D(Ω) =< f, ϕ >D0 (Ω),D(Ω)

c’est-à-dire (puisque f ∈ L2 (Ω) et u ∈ H 2 (Ω) ⊂ H 1 (Ω)) :


Z Z Z
uϕ + ∇u∇ϕ = f ϕ.
Ω Ω Ω

Comme
R D(Ω) Rest dense dans H01 (Ω)R (par définition même) et que ϕ 7→

uϕ, ϕ 7→ Ω ∇u∇ϕ et ϕ 7→ Ω f ϕ sont continues sur H01 (Ω), il
vient :
Z Z Z
uϕ + ∇u∇ϕ = f ϕ , mbox∀ϕ ∈ H01 (Ω).
Ω Ω Ω

Il est donc naturel de chercher u comme solution du problème ”abstrait” :



(∗∗) Trouver u ∈ H01 (Ω) vérifiant :
∀v ∈ H01 (Ω), < u, v >= L(v)
R
avec L : H01 (Ω) → R, v 7→ Ω f v. Il est clair que L est une forme linéaire
continue (pensez à l’inégalité de Cauchy-Schwarz!). Donc le théorème de
Riesz s’applique et donne l’existence d’un unique u ∈ H01 (Ω) vérifiant
(∗∗). Reste à revenir au problème initial et à montrer que u ∈ H 2 (Ω). Si
u ∈ H01 (Ω) vérifie :
Z Z Z
uv + ∇u∇v = f v, ∀v ∈ H01 (Ω)
Ω Ω Ω

alors on a :

< u, ϕ >D0 (Ω),D(Ω) + < ∇u, ∇ϕ >D0 (Ω),D(Ω) =< f, ϕ >D0 (Ω),D(Ω) ∀ϕ ∈ D(Ω)

ou encore :

< u − ∆u, ϕ >D0 (Ω),D(Ω) =< f, ϕ >D0 (Ω),D(Ω) ∀ϕ ∈ D(Ω)

c’est-à-dire :
u − ∆u = f

2
dans D 0 (Ω). Vu que l’on a supposé Ω de frontière suffisamment régulière,
on en déduit que u ∈ H 2 (Ω) et que l’égalité a lieu dans L2 (Ω).

Deuxième exemple. Soit Ω un ouvert borné de Rn et de frontière suffisam-


ment régulière.

Proposition Si f ∈ L2 (Ω), le problème :



−∆u(x, t) = f (x), ∀(x, t) ∈ Ω × [0, +∞[
(∗)
u(x, t) = 0, ∀(x, t) ∈ ∂Ω × [0, +∞[

admet une solution unique u ∈ H 2 (Ω).

Preuve. Supposons que u ∈ H 2 (Ω) vérifie (*). On a alors −∆u = f


dans D 0 (Ω) et, pour tout ϕ ∈ D(Ω) :

< −∆u, ϕ >D0 (Ω),D(Ω) =< f, ϕ >D0 (Ω),D(Ω)

ou encore :

< ∇u, ∇ϕ >D0 (Ω),D(Ω) =< f, ϕ >D0 (Ω),D(Ω)

c’est-à-dire (puisque f ∈ L2 (Ω) et u ∈ H 2 (Ω) ⊂ H 1 (Ω)) :


Z Z
∇u∇ϕ = f ϕ.
Ω Ω

Comme
R D(Ω) est dense
R dans H01 (Ω) (par définition même) et que ϕ 7→

∇u∇ϕ et ϕ 7→ Ω f ϕ sont continues sur H01 (Ω), il vient :
Z Z
∇u∇ϕ = f ϕ ∀ϕ ∈ H01 (Ω), ∀ϕ ∈ H01 (Ω).
Ω Ω

Il est donc naturel de chercher u comme solution du problème ”abstrait” :



(∗∗) Trouver u ∈ H01 (Ω) vérifiant :
∀v ∈ H01 (Ω), a(u, v) = L(v)
R
avec a : RH01 (Ω) × H01 (Ω) → R, (u, v) 7→ Ω ∇u∇v et L : H01 (Ω) →
R, v 7→ Ω f v. Il est clair que a est une forme bilinéaire, continue (pensez à
l’inégalité de Cauchy-Schwarz!) et coercive (penser à l’inégalité de Poincaré!)
et que L est une forme linéaire continue. Donc le théorème de Lax-Milgram
s’applique et donne l’existence d’un unique u ∈ H01 (Ω) vérifiant (∗∗).
Reste à revenir au problème initial et à montrer que u ∈ H 2 (Ω). Si u ∈
H01 (Ω) vérifie :
Z Z
∇u∇v = f v, ∀v ∈ H01 (Ω)
Ω Ω

3
alors on a :

< ∇u, ∇ϕ >D0 (Ω),D(Ω) =< f, ϕ >D0 (Ω),D(Ω) ∀ϕ ∈ D(Ω)

ou encore :

< −∆u, ϕ >D0 (Ω),D(Ω) =< f, ϕ >D0 (Ω),D(Ω) ∀ϕ ∈ D(Ω)

c’est-à-dire :
−∆u = f
dans D 0 (Ω). Vu que l’on a supposé Ω de frontière suffisamment régulière,
on en déduit que u ∈ H 2 (Ω) et que l’égalité a lieu dans L2 (Ω).

Vous aimerez peut-être aussi