You are on page 1of 7
Université Paris-Dauphine 2020/2021 L3 Maths Topologie et Analyse Fonctionnelle Feuille 2: Espaces 1” Sauf précision contraire, 9 désigne un borélien de RY, on travaille avec la mesure de Lebesgue sur RY, et la tribu considérée est celle des boréliens Exercice 1. Soient f et g : $1 —+ deux fonctions mesurables. On considére les fonctions f+, f~ définies par f(x) = max(0, f(x), f(x) = max(0, —f(z)). 1. Montrer que f+, f~ sont mesurables, et que pour tout x de ®, f*(x)f~(x) =0 et f(x) = f(x) — f(@) (les for 1s f+ et f~ sont appelées respectivement partie positive et partie négative de f). Exprimer |f| en fonction de f* et f~ 2. Montrer que les définitions de f* et f~ sont légitimes et que les mémes propriétés restent vraies presque partout si f est une classe d’équivalence de fonctions (disons f € L'()). Exercice 2. [Mars 2013] 1. (a) Pour quelles valeurs de p € [1, 00] les fonctions suivantes sont-elles dans l'espace L?(R)? fire lg(e) frie fai arr tllioa(a) 1 1 Sei 2r> Migooi(t) fait SAyrooi(2) (b) Dans chaque cas, calculer les valeurs des normes L? pour tout p € [1,00]. 2. On pose pour tout n € N et tout x ER, ioe Sal (a) Etudier la convergence simple de (f,)nen (ie. dire si la suite de fonctions converge simplement et si oui, identifier la limite). {b) Montrer que Jn —+ 0 dans Vespace L*(R). (0) Calculer ||fall2 pour n € N, et montrer que la suite (fn)new m'a pas de limite dans "espace PQ). Exercice 3. [Inclusion des espaces L?(Q) oi 9 est de mesure finie) 1. Montrer que si 2 est borné alors || := Jp, 1dz < oo. Donner un exemple de 2 non borné tel que || < +00. Et © un ouvert non borné tel que || < 00? On suppose désormais que || < +00. Soit (p,q) € R? tel que 1< p< q< +00. 2. Montrer les inclusions L™(Q) c LYQ) c L9(9) c L'(0). (On pourra donner une solution qui m'utilise pas Vinégalité de Holder). 3. Montrer que si u € £4(M), alors u € LP(Q) et [lullp < (ODF ula En dédnire que injection de L%(9) dans £”(M) est continue (et done que la convergence dans L4(92) implique la convergence dans L7()) 4, Soit u € L°°(M), montrer que lity +20 ||1l|p = {leo 5. On ne suppose plus que 9 est de mesure finie, Montrer que pour tout 1

en) a (Bnew Montrer que T' est bien défini et linéaire continu (on munit naturellement les espaces £"(N) et 2(N) ddes normes ||: jr ct ||» llz respectivement). Calculer |[T'|eea,c1¢s) Bxercice 5. [Inégalité de Hilder généralisée] On considere des véels p, q et rtels que p> 1, g > Let LaL44 Soient f€ L(A) et 9 € LM). Montrer que fg € L"() et que {Valle < Ils llpllglle Exercice 6. Soit p € (1,00|, (fa)nen tne suite d’éléments de L?(M), et f € LM) 1. Bstil vrai que si |[fallp > [fly alots fa converge vers f dans 1?(9)? Et la réciproque ? 2. Bst-il vrai que si fy» f pp. alors fy converge vers f dans L?(9)? 3, Montrer que si on suppose (fn)new bornée dans L°(Q) et fn > J pp. alors f € L°(2). 4. On suppose ici p= 1, fu + f pp. et (full: > [if quand m + oo. Montrer que fn 3 f dans L}(Q). (On pourra introduire gn = \fn\ + fl — \fn~ FL). Exercice 7. /Mars 2012] Soient p €]1, +001, (fn)ncn une suite d’éléments de L?(M) et (gn)nen une suite d'éléments de L* (2). On suppose qu'il existe f € L?(M) et g € L?(M) tels que In, =, f dans LQ) et gn + 9 dans La), a 1. Montrer que la fonction fg, ainsi que les fonctions fgn avec n € N, sont dans L*(9), 2. Montrer que la suite (fngn)nen Converge vers la fonction fg dans L1(0). 3. On suppose dans cette question que 2 est borné. Montrez que pour tout n €N, fy € £'(9), et que Jn converge vers f dans L1(). 4. Soit q €Jl, cof avec q # p. On suppose, en plus de (1), que pour tout n, fy € L4(9) et que la suite (fn)nen est de Cauchy dans £%(0). Montrer que f est dans 1#(11) et que fy converge vers f dans 19(0). Exercice 8. [Mars 2012] On pose, Vx €R, Yn €N*, an (2) = golly) 1. Montrer que pour tout 1 €N, dm € LMR) NM L(R), et que an —s 0 dans 17(R) 2. Montrer que la suite (on)nen n'a pas de limite dans L'(R). 3. Soit f € L'(R)M L°(R). On pose Yn EN, Vx ER, fax) = f(x) — Tam(x) 08 T = fy f(y)dy. Montrer que fa —> f dans L?(R) ‘ 4. On pose = 7 A nr = a= {rer @orm) [oe a: Montrer que A est dense dans L?(R). Montrer que A n’est pas dense dans L*(R) Exercice 9. Soit p € (1, +00 1, Montrer que L1(2) 9. £°(9) © L?(M) et que pour tout f € LM) L*(9) (fll < (LFII8) fll)!“ 2. Soit f € L?(M). Montrer quill existe une suite (gn)ncw qui converge vers f dans LP(M) et telle que pour tout 1 © N, gn € £°°(2) et gn est A support compact. (Ici on demande de répondre & la question sans utiliser le résultat de densité de C2() dans L?(2)) 3. Bn déduire que L'(1) 9 L*(Q) est dense dans L?(0) et que L1(9) 9 L2(Q) est dense dans L2(0). Exercice 10. [Mai 2012] Soit 1 < p < +00. Etant donné f € LP(J0, +00[), on pose Ve €]0,+00f, F(2) =[ (tae I 1. Montrer que F est bien définie et continue sur JO, +00, 2. Dans le cas p= +00, montrer que F est lipschitzienne, 3. Dans le cas 1 < p< +00, montrez. que F est »-hélderienne pour un certain exposant y €]0, 1[ qu’on donnera explicitement en fonction de p. (Btant donné y €]0, 1], on dit qu'une fonction g :]0, +00[-+ R est y-hélderienne s'il existe M €R tel que |9(2) - 9(y)| < Mix yl” Ve,y €)0, +00 Siy=1, on retrouve la définition d'une fonction lipschitzienne.) 4. Dans le cas p = 1, montrer que F est continue. Exercice 11. /Loi des grands nombres L4) Soient X1,X2..., Xn)... des v.a.ri.id, centrées admettant un moment d'ordre 4. On note Sy = Xi +...+ Xq 1. Calculer 2(S%) en fonction des moments d'ordre 2 et 4 des X;. 2. Bn déduire que S,/n converge vers 0 dans L4 et dans L! 3. Montrer que e(s (2)) ow ne et en déduire que S,/n converge p.s. vers 0 4. Montrer que si les v.a. (Xp)new ne sont plus équidistribuées, mais toujours centrées et telles que (E(X4))nen est bornée uniformément en n (on dit que (X;,)new est bornée dans 4), le résultat reste vrai Exercice 12. (Lemme de Riemann-Lebesgue] Soit f € L'(0,2n). Pour tout n € N on pose n= [operat Montrer que In + 0 quand n + 00. Exercice 13. /Inégalité de Hardy, Mai 2013] Soit p €|1,+o0[. Pour f :J0, +00[-> B, on définit Lye Ye elontooh mine) =+ [soa 1. On suppose dans cette question que f est une fonction continue A support compact dans ]0, +00], On pose F = H(J) (a) Montrer que F est bien définie, et appartient 4 L?(J0, +00) (b) Montrer que F est dérivable sur ]0, +90[ et satisfait We €)0, tool, 2F'(x) + Ft (c) En déduire Pégalite (a) On suppose, en plus des hypothéses précédentes, que f est positive. Montrer Poi fll Fp < Mlle s = (c) Généraliser Vinégalité précédente dans le cas of on ne suppose plus f > 0. 2. Montrer que l'application IZ : (C20, +00)), | - lp) + (Z?()0, +901), | lp) est linéaire continue. 3. Montrer que Hse prolonge de maniére unique en un endomorphisme continu de L?(J0, +00) et satisfait alors (en notant encore H ce prolongement) YF 19(0,400), |H(Dlle $ Poli lp Exercice 14. [Mars 2016] On travaille dans ‘ouvert J0,1{ muni de la tribu des boréliens, et de la mesure de Lebesgue. Soit p €]1, o0[ 1. Montrer que si f € L?(0,1), alors | f\?-! € L*’(0,1). 2, Montrer que si (fn)ncn est une suite d’éléments de L?(0, 1) qui converge vers f € L°(0, 1) en norme LP, et sig € L? (0,1), alors 1 In(ayo(e)de ——> J(a)p(a)de On définit, pour n € N* nt 2k 2k+1 1 os ee UJ] [ U Tn Qk+1 2k+2 see URS 3. Dessiner gs, 4, Soit ¢ € ©%((0,1)). (a) Montrer que (b) En déduire que 5. (a) Montrer que pour tout y € L?’(0, 1), f an(z)e(z)de —— 0. noe (b) Montrer que la suite (gn)nen ne converge pas dans L?(0,1) (on pourra commencer par montrer que si (gn) avait une limite dans L?(0,1), alors celle-ci serait nulle presque partout) Exercice 15. Soit (a,b) € R? tels que a 0 quand x > £00? Exercice 18. /Mars 2015] Soit p €]1, col, f € L'(R) et g € L?(R). On pose pour « ER ot0) = [ \s00ate ~ ola 1. En notant p/ Vexposant conjugné de p, montrer que pour tout x € R, ews(f inoue)” (f irate ara)” Ilelly < I fllallale 3. En déduire que f + g(x) est bien définie pour presque tout L*(R), définie par Aj(a) = taf pour tout a € R. On suppose que f € C2(R), montrer alors que Ay est uniformément continue. 4, En déduire que lorsque f € £°(R), Ay est uniformément continue. Exercice 20. /Construction d'une identité approchée C* @ support compact] 1. On définit g sur R par Vt R, g(t) = e~'/*Ilps9. Démontrer que g est C® sur R. 2. Bn déduire que la fonction h définie sur RY par h(x) = g(1— |x|), o8 |-|| est la norme Euctidienne, est C%, 3. Soit une suite de nombres (¢,,) strictement positifs convergeant vers 0. Montrer qu’en posant C = Jan h(x)dar, la suite de fonctions définies par Pale) = (Cen) hes 2) est une identité approchée. 4. Soit f € L° (RN). On suppose que f est continue en un point 29 € RN. Montrer que lim pn * f(20) = f(0). Exercice 21. Soit A et B deux borélien de R, de mesures (de Lebesgue) finies non mules. 1. Donner un exemple de borélien de R de mesure finie non nulle, et d'intérieur vide. 2. Montrer que la fonction 114 * lly est bien définie, continue, intégrable, et caleuler son intégrale sur R. 3. On définit A+B = {a+b,a € A, b € B}. Déduire de ce qui précide que A+B est d’intérieur non vide. Exercice 22. /Non densité de C2 dans L™] 1. Montrer que C2(R) n'est pas dense dans L*°(R). 2, Identifier Padhérence de C2(R) pour la norme | - lac (qui est done un espace de Banach) Exercice 23. /Différentiabilité de la norme || |p, Mai 2016] Soit p €]1, 00, et (u,v) € L°(0). 1. On pose Vt ER*, g(t) prolongée, encore dénotée g, est dérivable sur R et que YeER, g(t) =plt}?-signe(t), |*\?. Montrer que g est prolongeable par continuité en 0, et que la fonction 1 sit>0 oa signe(t)= 4 0 sit=0 -1 sit 0, lim pn(a)dx = 0. wiite Jai (On pourra montrer et utiliser la majoration Yn €N, oy

You might also like