Université Pierre et Marie Curie Master de Mathématiques, M1 Analyse réelle, MM003 Année universitaire 2010-2011 Ayman Moussa TD no 5 – Intégration. On désigne par (X, A , µ) un espace mesuré. Pour tout p ∈ [1, ∞] on confondra par la suite un élément de L p (µ) avec sa classe d’équivalence pour la relation « être égal presque partout » , cette deuxième étant donc un élément de Lp (µ) (voir le cours pour le détail de ce qui précède). 1 Théorèmes de convergence Exercice 1.1: 1. Soit E une partie de X et E c son complémentaire. Vérifier que l’inégalité de Fatou peut-être stricte grâce à la suite suivante : fn := 1E si n pair, fn := 1E c si n impair. 2. Justifier que la domination est indispensable dans le théorème de convergence dominée. 3. Exhiber un contre-exemple justifiant qu’une hypothèse de “monotonie” serait insuffisante dans le théorème de convergence monotone. 4. Énoncer (et démontrer) un théorème de “convergence décroissante” valable. Exercice 1.2: Le cas des séries Soit (fn )n≥1 une suite de L1 (µ). On suppose que ∞ Z X n=1 |fn |dµ < ∞. X 1. Montrer que la série ∞ X fn (x) n=1 converge presque partout et, à un ensemble négligeable près, définit un élément de L1 (µ) : f , vérifiant : Z ∞ Z X fn dµ. f dµ = X n=1 X 2. Calculer : Z 0 1 ln(x) dx. 1−x Exercice 1.3: 1. Calculer les limites suivantes, pour n → +∞ (ou bien donner un équivalent) : Z 1 Z n ∞ X x n ne−x n 1− dx, Bn := dx, Cn := . An := n nk 2 + k + 1 0 nx + 1 0 k=1 2. Montrer que Z 0 +∞ X 1 sin(x) dx = . ex − 1 n2 + 1 n≥1 1 2 Outils de calculs Exercice 2.1: Intégrale à paramètre Calculer l’intégrale : ∞ arctan(πx) − arctan(x) dx. x 0 Z 1 Indication : On utilisera l’expression arctan(z) = z arctan′ (sz)ds et l’égalité, valable pour tout z > 0 : Z 0 π 1 arctan(z) + arctan( ) = . z 2 Exercice 2.2: Fubini Soit f : (X, A ) → R+ mesurable. Montrer que : Z f dµ = X Z ∞ µ(f > t) dt. 0 Exercice 2.3: Changement de variable et ζ(2) (a) Montrer que (b) Z [0,1]2 X 1 dxdy . = 1 − xy n2 n≥1 (i) Appliquer le changement de variable u = (x + y)/2, v = (y − x)/2 à l’intégrale précédente pour obtenir : Z 1 Z 1/2 Z u Z 1−u dudv dudv ζ(2) + . = 2 + v2 4 1 − u 1 − u2 + v 2 u=1/2 v=0 u=0 v=0 (ii) Retrouver la valeur de ζ(2). Espaces Lp 3 3.1 Propriétés générales Exercice 3.1: Inégalité d’interpolation Soit 1 ≤ p < q < ∞ et f ∈ Lp (µ) ∩ Lq (µ). 1. Montrer que, pour tout r ∈]p, q[ f ∈ Lr (µ) et kf kr ≤ kf kθp kf k1−θ q 1 θ 1−θ = + . r p q 2. Soit f : R → R mesurable. Que peut-on dire de la nature géométrique et topologique de l’ensemble : {p ∈ [1, ∞[; f ∈ Lp (R)} ? Où θ ∈]0, 1[ est défini par Exercice 3.2: Riesz-Fischer Le but de cet exercice est de démontrer le théorème de Riesz-Fischer. 1. Traiter le cas p = ∞. 2. Soit 1 ≤ p < ∞ et (fn )n∈N une suite de Cauchy de Lp (µ). (a) Justifier l’existence d’une sous-suite (fnk )k∈N telle que pour tout k ∈ N : kfnk+1 − fnk kp ≤ 2 1 2k (b) On pose gk (x) := k X |fni+1 (x) − fni (x)|. Montrer que (gk (x))k∈N∗ converge presque sûrement i=1 vers une limite finie g(x) et montrer que la fonction g ainsi définie presque partout appartient à Lp (µ). (c) En déduire que (fnk (x))n converge presque sûrement vers une limite f (x), que celle-ci définit un élément de Lp (µ), limite de (fn )n dans cet espace. Remarque : Au cours de la preuve on a obtenu le résultat suivant : si (fn )n∈N converge vers f dans Lp (µ), on peut extraire une sous-suite (fnk )k∈N convergeant presque partout vers f . Exercice 3.3: La convergence presque partout n’est pas « topologisable » 1. Construire une suite (fn )n∈N de L1 (]0, 1[) qui converge dans cet espace, mais pas presque partout. 2. En déduire qu’il n’existe pas de topologie sur l’espace des fonctions telle que la convergence au sens de cette topologie coïncide avec la convergence presque partout. 3.2 Liens entre les Lp Exercice 3.4: Inclusions 1. Démontrer que si µ(X) < ∞ alors les espaces Lp (µ) s’injectent continûment par ordre décroissant d’exposant. 2. Pour p 6= q ∈ [1, ∞], démontrer que Lp (R) ⊂ Lq (R) n’est jamais vrai. Que dire dans le cas des ℓp (N) ? Exercice 3.5: Topologies Constuire une suite de de L1 (R) ∩ L2 (R) convergente dans L1 (R) et pas dans L2 (R), une autre convergente dans L2 (R) et pas dans L1 (R). Remarque : De manière plus générale, pour p < q, les deux normes k · kp et k · kq ne définissent jamais la même topologie sur Lp (R) ∩ Lq (R). 3.3 Sous-espaces denses et séparabilité On se limite ici au cas d’un ouvert Ω de Rn muni de la tribu des boréliens et de la mesure de lebesgue, notée µ par la suite. On rappelle (voir le cours) que les ensembles de fonctions étagées, de fonctions en « escaliers » (au sens des pavés) et des fonctions continues à support compact dans Ω sont tous les trois denses dans Lp (Ω) pour tout p ∈ [1, ∞[. Exercice 3.6: Séparabilité 1. Vérifier la séparabilité de Lp (µ, Ω) (p ∈ [1, ∞[). 2. (a) Soit E un espace vectoriel topologique, on suppose qu’il existe une famille (Oi )i∈I telle que : (i) ∀i, Oi est un ouvert non vide de E, (ii) Si i 6= j, alors Oi ∩ Oj = ∅, (iii) I n’est pas dénombrable. Montrer que E n’est pas séparable. (b) Pour tout a ∈ Ω, on fixe ra > 0 tel que B(a, ra ) ⊂ Ω. En utilisant la question précédente et les ensembles Oa := {f ∈ L∞ (µ, Ω); kf − 1B(a,ra ) k∞ < 1/2}, vérifier que L∞ (µ, Ω) n’est pas séparable. 3 Exercice 3.7: Continuité des translations et Riemann-Lebesgue 1. Soit f ∈ Lp fixée. Montrer que kτy f − f kp −→ 0, où τy f (x) = f (x − y). y→0 2. Soit f ∈ L (R), et fˆ sa transformée de Fourier. Montrer que : 1 lim fˆ(ξ) = 0. |ξ|→∞ 3.4 Dualité et topologies faibles Exercice 3.8: 1. Soit p ∈]1, ∞]. Quel résultat du cours implique que, pour une suite (fn )n∈N bornée de Lp (R), il ′ existe une sous-suite (fnk )k∈N vérifiant pour tout g ∈ Lp (R) (exposant conjugué) : Z Z fnk (x)g(x)dx −→ f (x)g(x)dx. (1) k→+∞ R R 2. On peut donner un contre-exemple à la question précédente dans le cas où p = 1. (a) Considérer f (x) := 1[−1,1] (1 − |x|) et les « concentrations » fn (x) := nf (nx) (faire un dessin). Montrer que la suite (fn )n∈N est à valeurs dans la sphère unité de L1 (R). (b) Soit f ∈ L1 (R) vérifiant (1) pour p = 1 et une certaine extraction (fnk )k∈N . Soit ε > 0 et g ∈ L∞ (R) dont le support est inclus dans {|x| ≥ ε}. Montrer que Z f (x)g(x)dx = 0, R et en déduire que f est nulle presque partout. (c) Conclure. 3. Soit f ∈ Cc0 (R) (continue à support compact). Vérifier que la suite (f (x − n))n∈N converge faiblement vers 0 dans tous les Lp (R) pour p ∈]1, ∞[. Vérifier que ce n’est pas le cas pour p = 1 et que pour p = ∞ il y a convergence faible−⋆ vers 0. Indication : Pour la première partie de la question, on pensera à la décomposition 1R = 1]−n,n[ + 1|x|≥n , ′ ′ et au fait que pour g ∈ Lp (R), g1|x|≥n tend vers 0 dans Lp (R). Remarque : Dans le cas p ∈]1, ∞[, convergence faible et convergence faible−⋆ se confondent : les Lp sont alors réflexifs. 4. Vérifier que la suite (x 7→ einx )n∈N est faiblement−⋆ convergente vers 0 dans L∞ (R). Exercice 3.9: Le dual topologique de L∞ est plus gros que L1 En utilisant le théorème de prolongement d’Hahn-Banach, démontrer que le dual topologique de L (R) contient strictement L1 (R). Plus précisément, on montrera que : ∞ L1 (R) f −→ F (L∞ (R), R) Z fg 7−→ g 7→ R 1 définit une application injective non surjective de L (R) dans le dual topologique de L∞ (R). Remarque : On le savait déjà ! En effet, on a vu que si le dual topologique d’un espace E est séparable, alors il est en de même de E, ce qui n’est pas le cas de L∞ . Exercice 3.10: Un critère d’unicité pour les limites faibles Soit p ∈]1, +∞[ et Ω un ouvert de Rn . Soit (fn )n∈N une suite de Lp (Ω) et f ∈ Lp (Ω) tels que fn ⇀ f . On suppose par ailleurs que (fn )n∈N converge presque partout : fn −→ g p.p. 1. Montrer que (fn )n∈N est bornée dans Lp (Ω) et que g ∈ Lp (Ω). 4 2. On veut prouver que g = f presque partout. (a) Remarquer qu’il suffit de montrer que pour toute suite (hn )n∈N bornée de Lp (Ω), et h ∈ Lp (Ω) tels que : hn ⇀ 0 −→ h p.p. hn on a h nul presque partout. ′ (b) Soit ϕ ∈ Lp (Ω) et soit ε un élément fixé de Lp (Ω) strictement positif presque partout. En découpant : Z ϕ(x)hn (x)dx, Ω selon que |hn | ≤ |h| + ε ou non, montrer que Z ϕ(x)h(x)dx = 0. Ω (c) Conclure. 5