ANA201 Analyse fonctionnelle
ENSTA 2e année cycle ingénieur
TD 2 : espaces de Sobolev
Exercice 1
Dans cet exercice on se place dans Rd avec d ≥ 3.
u |x|−2 ∇u⊤ x dx}
2
R
Question 1 Calculez div(x/|x| ). Déduisez-en une expression de ℜe{ Rd
en fonction de Rd |u(x)| |x| dx pour tout u ∈ C (R ) à support borné.
−2 ∞
R 2 d
R
Question 2 Avec α := (d − 2)/2, exprimez l’intégrale I(u) := Rd |αu x/|x|2 + ∇u|2 dx
en fonction de ∥∇u∥2L2 (Rd ) et Rd |u(x)|2 |x|−2 dx pour tout u ∈ C ∞ (Rd ) à support borné.
R
Question 3 En utilisant que I(u) ≥ 0, démontrez l’inégalité suivante pour tout u ∈
C ∞ (Rd ) à support borné,
|u(x)|2
Z 2 2 Z
2
dx ≤ |∇u|2 dx.
R d |x| d − 2 Rd
Question 4 Démontrez que l’inégalité ci-dessus reste vraie pour tout u ∈ H1 (Rd ).
Question 5 Démontrez que
∥∇u∥2L2 (Rd ) ∥∇u∥2L2 (Rd )
inf = 0 et inf R > 0.
u∈H1 (Rd )\{0} ∥u∥2L2 (Rd ) u∈H1 (Rd )\{0}
Rd
|u(x)|2 |x|−2 dx
Exercice 2
On suppose établis les résultats de l’Exercice 1. On considère un ouvert lipschtzien connexe
Ω ⊂ R3 dont le complémentaire R3 \Ω est supposé borné. Le domaine Ω est donc non-borné.
On note H1loc (Ω) l’ensemble des fonctions mesurables v : Ω → C telles que φv ∈ H1 (Ω)
pour tout φ ∈ C ∞ (Rd ) à support supp(φ) borné. On considère l’espace
W (Ω) := {v ∈ H1loc (Ω), ∥v∥W (Ω) < +∞}
|v(x)|2
Z
2
avec ∥v∥W (Ω) := |∇v(x)|2 + dx.
Ω 1 + |x|2
Question 1 Démontrez que (W (Ω), ∥ · ∥W (Ω) ) est un espace de Hilbert.
1
Question 2 Démontrez que Cc∞ (Ω) := {φ|Ω , φ ∈ C ∞ (R3 ), supp(φ) borné} est dense
dans W (Ω) pour ∥ · ∥W (Ω) .
Question 3 Démontrez que l’application trace v 7→ v|∂Ω induit une application linéaire
continue de (W (Ω), ∥ · ∥W (Ω) ) dans (L2 (∂Ω), ∥ · ∥L2 (∂Ω) ).
Question 4 On note Bρ := B(0, ρ) ⊂ R3 la boule ouverte de centre 0 de rayon ρ > 0,
et on suppose ρ suffisamment grand pour que R3 \ Ω ⊂ Bρ . Soit χ ∈ C ∞ (R3 ) telle que
χ(x) = 0 pour x ∈ Bρ et χ(x) = 1 pour x ∈ Rd \ B2ρ . Démontrez l’existence d’une
constante C > 0 telle que
|v(x)|2
Z
2
dx ≤ C( ∥∇v∥2L2 (Ω) + ∥v∥2L2 (∂Ω) + ∥v∇χ∥2L2 (Ω) ) ∀v ∈ W (Ω).
Ω 1 + |x|
Question 5 Démontrez qu’il existe une constante C > 0 telle que l’inégalité de Poincaré
à poids suivante est vérifiée :
|v(x)|2
Z
2
dx ≤ C(∥∇v∥2L2 (Ω) + ∥v∥2L2 (∂Ω) ) ∀v ∈ W (Ω).
Ω 1 + |x|
Question 6 On note W0 (Ω) := {v ∈ W (Ω), v|∂Ω = 0}. Démontrez que |v|H1 (Ω) :=
∥∇v∥L2 (Ω) est une norme sur W0 (Ω) et que (W0 (Ω), | · |H1 (Ω) ) est un espace de Hilbert.
Question 7 Démontrez que, pour tout f ∈ L2 (Ω) à support borné, le problème aux
limites suivant admet une unique solution : u ∈ W (Ω), −∆u = f dans Ω, u = 0 sur ∂Ω.
Exercice 3
On suppose établis les résultats de l’Exercice 1. On suppose d ≥ 3 et on se place dans
Ω ⊂ Rd ouvert lipschitzien borné et on suppose que 0 ∈ Ω, quitte à translater le système
de coordonnées. On considère une fonction χ ∈ C ∞ (Rd ) telle que χ(x) = 0 pour |x| ≤ 1
et χ(x) = 1 pour |x| ≥ 2, et on pose χn (x) := χ(nx).
Question
R 12 Montrez qu’il existe une constante C > 0 telle que, pour tout u ∈ H1 (Ω),
−2
on ait Ω |u| |x| dx ≤ C∥u∥2H1 (Ω) .
Question 2 Montrez l’existence d’une constante C > 0 indépendante de n telle que
|∇(u − uχn )|2 ≤ C(|∇u|2 + |u|2 /|x|2 ) pour tout u ∈ H1 (Ω).
Question 3 Montrez que, pour tout u ∈ H1 (Ω) on a limn→∞ ∥u − uχn ∥H1 (Ω) = 0.
Question 4 Démontrez que l’ensemble des fonctions de classe C ∞ s’annulant en x = 0
est dense dans H1 (Ω).
