4M005 : Bases d'analyse fonctionnelle
M1 Mathématiques Année universitaire 2023-2024
TD no 5 Espaces Lp .
Exercice 1. Soit Ω un ouvert non vide de RN . Montrer que Lp (Ω) n'est pas un espace de Hilbert si p ̸= 2, en
véri ant que sa norme ne véri e pas la relation de la médiane.
Indication. On pourra considérer des fonctions à supports disjoints.
Exercice 2. Soit f, fn ∈ Lp (X, µ) avec 1 ≤ p ≤ +∞.
µ
(a) On dit que fn converge vers f en mesure et on écrit fn → f si
∀ε > 0, µ({x ∈ X : |fn (x) − f (x)| ≥ ε}) → 0 lorsque n → +∞
Montrer que
Lp µ
fn → f ⇒ fn → f.
unif. Lp
(b) Montrer que si fn → f et µ(X) < +∞ alors fn → f . Montrer par un contre-exemple que l'hypothèse
µ(X) < ∞ est essentielle.
simp. Lp
(c) Trouver un exemple où µ(X) < +∞, fn → f mais fn ̸→ f .
Exercice 3. (Inégalité d'interpolation) Soient 1 ≤ p, q ≤ +∞.
(a) Montrer que si f ∈ Lp (X, µ) ∩ Lq (X, µ), alors f ∈ Lr (X, µ) pour tout r ∈ [p, q] et
Lp ∥f ∥Lq ,
∥f ∥Lr ≤ ∥f ∥α 1−α
où α ∈ [0, 1] est dé ni par 1r = αp + 1−α
q .
(b) Montrer que si µ(X) < +∞ et f ∈ Lp (X, µ), alors f ∈ Lr (X, µ) pour tout r ∈ [1, p] et il existe une constante
C > 0 indépendante de f telle que
∥f ∥Lr ≤ C∥f ∥Lp .
Exercice 4. (Inégalité d'Hölder généralisée ) Soient f1 ∈ Lp1 (X, µ), · · · , fk ∈ Lpk (X, µ) tels que
1 1 1
+ ··· + =: ≤ 1.
p1 pk r
Alors, le produit f1 · f2 · · · fk appartient à Lr (X, µ) et
∥f1 · · · fk ∥Lr ≤ ∥f1 ∥Lp1 · · · ∥fk ∥Lpk .
Exercice 5. Soit 1 ≤ p0 < +∞.
(a) Soit f ∈ Lp0 (X, µ) ∩ L∞ (X, µ). Montrer que
lim ∥f ∥Lp = ∥f ∥L∞ .
p→∞
(b) Soit f ∈ Lp (X, µ) pour tout p ∈ [p0 , +∞[ tel que limp→+∞ ∥f ∥Lp = ∞. Montrer que f ∈
/ L∞ (X, µ).
(c) Soit f ∈ L (X, µ) pour tout p ∈ [p0 , +∞[ tel que f ∈
p
/ L (X, µ). Montrer que limp→+∞ ∥f ∥Lp = ∞.
∞
1
Exercice 6. [Convergence ⋆−faible dans Lp (R)] Étudier la convergence ⋆−faible des suites suivantes :
(a) (e )n≥0 dans L∞ (R).
inx
(b) n1/p f (nx) dans Lp (R), 1 < p < ∞, f ∈ Lp , non nulle.
(c) nf (nx), f ∈ L1 agissant sur les fonctions continues bornées, c'est à dire déterminer la limite (si elle existe)
∫
lim nf (nx)g(x)dx, g ∈ Cb (R).
n→∞ R
(d) n−1/p f (x/n) dans Lp (R), 1 < p < ∞.
(e) f (x/n) dans L∞ , f continue.
(f) f (x − n) dans Lp , p > 1.
Exercice 7. Soit µ la mesure de Lebesgue sur Rn . Soit 1 ≤ p < +∞. Pour h ∈ Rn et f ∈ Lp (Rn , µ), on dé nit
la fonction
τh f : x 7→ (τh f )(x) = f (x − h) .
(a) Montrer que ∀f ∈ L (R ), lim||h||→0 ∥τh f − f ∥Lp (Rn ) = 0.
p n
1
(b) En considérant la fonction 1B(0, ||h|| ) , montrer que ||τh − IdLp (Rn ) ||L(Lp (Rn ),Lp (Rn )) ≥ 2 p .
2
(c) Que peut-on dire lorsque p = +∞ ?
Exercice 8. Montrer que si p−1 + q −1 = 1, p, q ≥ 1 et si (f, g) ∈ Lp (Rn ) × Lq (Rn ) alors f ⋆ g est bornée
uniformément continue. Montrer que si 1 < p, q < +∞, f ⋆ g tend vers 0 en l'in ni.
Exercice 9. Soit f ∈ Lp et g ∈ L1 . Montrer que f ⋆ g ∈ Lp et ||f ⋆ g||Lp ≤ ||f ||Lp ||g||L1 .
Exercice 10. Soit f ∈ Lp (Rn ) et (hn ) une approximation de l'unité. Soit B un ensemble mesurable. Montrer
||f − f ⋆ hn ||Lp (B) ≤ sup ||τy f − f ||Lp (B) .
1
y∈B(0, n )
Exercice 11. Soit ω un ouvert borné de Rn . Soit 1 ≤ p < ∞ et A ⊂ Lp (Rn ) une famille telle que
sup ∥f ∥Lp (Rn ) < ∞ et sup ∥τh f − f ∥Lp (ω̄) → 0 lorsque δ → 0.
f ∈A h∈B(0,δ),f ∈A
Montrer que A|ω̄ est d'adhérence compacte dans Lp (ω̄).
Indication. Soit (ρn )n∈N une suite régularisante. Montrer que An := {(f ⋆ ρn )|ω : f ∈ A} ⊂ C (ω̄) véri e le
0
critère d'Ascoli.
Exercice 12. (Théorème de Riesz-Fréchet-Kolmogorov) Soit Ω ⊂ Rn un ouvert, soit µ la mesure de
Lebesgue sur R et soit 1 ≤ p < +∞. On se donne un sous-ensemble E ⊂ Lp (Ω, µ) satisfaisant les trois
n
propriétés suivantes :
(i) Il existe C > 0 tel que ∥f ∥Lp (Ω) ≤ C pour tout f ∈ E .
(ii) Pour tout ω b Ω (ω borné et ω ⊂ Ω) et tout ε > 0, il existe δ > 0 tel que ∥τh f − f ∥Lp (ω) ≤ ε pour tout
f ∈ E et pour tout |h| < δ .
(iii) Pour tout ε > 0, il existe ωε b Ω tel que ∥f ∥Lp (Ω\ωε ) ≤ ε pour tout f ∈ E .
Montrer que l'adhérence de E est un compact de Lp (Ω, µ).
Exercice 13. Soit [a, b] un intervalle borné de R et soit µ la mesure de Lebesgue sur R. Soit 1 ≤ p < ∞ et
E =: {fˆ : f ∈ Lp ([a, b]), µ), ∥f ∥Lp (]a,b[) ≤ 1},
où ∫ x
∀x ∈ [a, b], fˆ(x) := f (t) dt.
a
(a) Montrer que E ⊂ C 0 ([a, , b]) et que si 1 < p < +∞, E est relativement compact dans C 0 ([a, b], µ) mais que
ce résultat est faux pour p = 1.
(b) Montrer que E ⊂ Lp ([a, b]) et que E est d'adhérence compacte dans Lp ([a, b]).