Académique Documents
Professionnel Documents
Culture Documents
mis en situation
Ivan Nourdin
22 février 2001
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 .
1
admet une solution unique u ∈ H 2 (Ω).
ou encore :
< u, ϕ >D0 (Ω),D(Ω) + < ∇u, ∇ϕ >D0 (Ω),D(Ω) =< f, ϕ >D0 (Ω),D(Ω)
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 (Ω).
Ω Ω Ω
alors on a :
< u, ϕ >D0 (Ω),D(Ω) + < ∇u, ∇ϕ >D0 (Ω),D(Ω) =< f, ϕ >D0 (Ω),D(Ω) ∀ϕ ∈ D(Ω)
ou encore :
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 (Ω).
ou encore :
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 (Ω).
Ω Ω
3
alors on a :
ou encore :
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 (Ω).