Vous êtes sur la page 1sur 71

Les Mathmatiques pour lAgrgation

C. Antonini J.-F. Quint P. Borgnat J. Brard E. Lebeau E. Souche A. Chateau O. Teytaud 29 mai 2002

Table des matires


1 Intgration 1.1 -algbre, mesure . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.1.1 Dnitions, gnralits . . . . . . . . . . . . . . . . . . . . . 1.1.2 -algbre engendre . . . . . . . . . . . . . . . . . . . . . . 1.1.3 Mesures . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.2 -systmes, d-systmes, et thorme de Carathodory . . . . . . . . 1.3 Parties non mesurables . . . . . . . . . . . . . . . . . . . . . . . . . 1.4 Exercices sur les -algbre et les mesures . . . . . . . . . . . . . . . 1.5 Fonctions mesurables . . . . . . . . . . . . . . . . . . . . . . . . . . 1.6 Suites de fonctions mesurables . . . . . . . . . . . . . . . . . . . . . 1.7 Intgration - thorme de convergence domine de Lebesgue . . . . . 1.7.1 Fonctions tages et fonctions simples . . . . . . . . . . . . . 1.7.2 Fonctions positives . . . . . . . . . . . . . . . . . . . . . . . 1.7.3 Le cas gnral . . . . . . . . . . . . . . . . . . . . . . . . . 1.7.4 Fonctions vectorielles . . . . . . . . . . . . . . . . . . . . . 1.7.5 Thorme de la convergence domine de Lebesgue. Corollaires 1.8 Intgration dans les espaces produits. Changement de variable . . . . 1.9 Mesurabilit et mesurabilit au sens de Lebesgue . . . . . . . . . . . 1.10 Fonctions dnies par des intgrales . . . . . . . . . . . . . . . . . . 1.10.1 Continuit, drivabilit sous le signe . . . . . . . . . . . . 1.10.2 Fonctions holomorphes sous le signe . . . . . . . . . . . . 1.10.3 Primitives . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.11 Zoologie de la mesure . . . . . . . . . . . . . . . . . . . . . . . . . . 1.11.1 Approfondissements sur les mesures complexes . . . . . . . . 1.11.2 Presque recouvrement dun ouvert de Rn par des petites boules Produit de convolution 2.1 Dnitions et gnralits . . . . . . . . . . . . . . . . . . . . 2.2 Zoologie de la convolution . . . . . . . . . . . . . . . . . . . 2.2.1 Convolue dun polynme . . . . . . . . . . . . . . . 2.2.2 Une fonction FONDAMENTALE pour la convolution Espaces Lp et espaces Lp 3.1 Quelques rsultats utiles 3.2 Espaces Lp et Lp . . . . 3.3 Thormes sur les Lp . . 3.4 Zoologie des espaces Lp 3.4.1 Espace lp . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 3 3 5 7 10 11 12 12 13 15 15 16 18 21 21 24 28 28 30 31 32 32 32 33 35 35 37 37 38 39 39 41 42 45 45

www.L es-M athematiques.net

3.4.2 4

Espace L2 . . . . . . . . . . . . . . . . . . . . . . . . . . . .

45 47 47 47 48 50 50 51 52 55 56 56 57 57 57 58 59 59 60 61 61 62 62 63 66 68 68 69

Approximation de fonctions 4.1 Topologie et approximation de fonctions caractristiques . . . . . . . 4.1.1 Intercalation douverts relativement compacts entre un ouvert et un compact . . . . . . . . . . . . . . . . . . . . . . . . . . 4.1.2 Sparation dun compact et dun ferm . . . . . . . . . . . . 4.1.3 Approximation dun ensemble mesurable par une fonction C 4.1.4 Lemme dUrysohn . . . . . . . . . . . . . . . . . . . . . . . 4.1.5 Partition C de lunit . . . . . . . . . . . . . . . . . . . . . 4.2 Approximation de fonctions continues . . . . . . . . . . . . . . . . . 4.3 Approximation de fonctions mesurables . . . . . . . . . . . . . . . . 4.4 Approximation de fonctions mesurables bornes . . . . . . . . . . . . 4.5 Dans les espaces C k ou Lp . . . . . . . . . . . . . . . . . . . . . . . 4.5.1 Densit des fonctions C k support compact dans C k (Rn ) . . 4.5.2 Densit de lensemble des fonctions continues support compact dans Lp (Rn ) . . . . . . . . . . . . . . . . . . . . . . . . 4.5.3 Densit de lensemble des fonctions C support compact dans C k (Rn ) . . . . . . . . . . . . . . . . . . . . . . . . . . 4.5.4 Densit de lensemble des fonctions C support compact dans Lp (Rn ) . . . . . . . . . . . . . . . . . . . . . . . . . . 4.6 Autre approche, dans les espaces Lp . . . . . . . . . . . . . . . . . . 4.6.1 Approximation dans L1 par des fonctions semi-continues . . . 4.6.2 Approximation dans Lp pour p < par des fonctions en escalier support compact . . . . . . . . . . . . . . . . . . . . 4.6.3 Approximation dans Lp pour p < par des fonctions C support compact . . . . . . . . . . . . . . . . . . . . . . . . 4.6.4 Approximation de fonctions tendant vers 0 en dans L par des fonctions C support compact . . . . . . . . . . . Fourier 5.1 Sries trigonomtriques . . . . . . . . . . . . . . . . . . . . . . . . . 5.2 Sries de Fourier dune fonction priodique . . . . . . . . . . . . . . 5.3 Transformation de Fourier . . . . . . . . . . . . . . . . . . . . . . . 5.4 Applications des sries de Fourier . . . . . . . . . . . . . . . . . . . 1 5.4.1 Calcul de n=0 n 2 . . . . . . . . . . . . . . . . . . . . . . . 5.4.2 Exemple de dveloppement en srie de Fourier : fonction crneau, fonction identit par morceaux . . . . . . . . . . . . . .

Chapitre 1

Intgration
1.1 -algbre, mesure
1.1.1 Dnitions, gnralits
Soit X un ensemble, A P (x). Dnition 1 (Algbre) A est une algbre (on dit aussi parfois clan) si elle vrie : X A Stabilit par union nie Stabilit par passage au complmentaire Proprits : A Stabilit par intersection nie Stabilit par diffrence Une intersection quelconque dalgbres est une algbre. En fait une algbre est stable par nimporte quelle suite nie doprations sur les ensembles. Exemples : a) {, X } b) P (X ) c) {A X |A ni ou coni } d) {A X |A ou Ac au plus dnombrable} e) X, E X ; {A/A E X E A} f) X, E X ; {E A A E = }

Dnition 2 ( -algbre) A est une -algbre (ou tribu) si elle vrie : X A stabilit par union dnombrable stabilit par passage au complmentaire Proprit : A stabilit par intersection dnombrable. Une -algbre est une algbre. stabilit par diffrence. Limage rciproque dune tribu par une application est une tribu. Etant donne une tribu A sur X , et une application f de X dans Y , alors lensemble des U Y tels que f 1 (U ) appartient A est une tribu sur Y . Une intersection quelconque de tribus est une tribu. En fait une -algbre est stable par nimporte quelle suite dnombrable doprations sur les ensembles. Notez que lensemble des parties mesurables au sens de Riemann dun segment [a, b] au sens de Riemann est un clan, mais pas une tribu ; puisque certaines parties dnombrables ne sont pas mesurables.

Dnition 3 (Espace mesurable) (X, A) est un espace mesurable si A est une tribu sur X Une partie de X est dite A-mesurable si elle appartient A. Dans les exemples plus haut, tous sont des -algbres, sauf c), moins que X soit ni.

1.1.2

-algbre engendre

An de pouvoir dnir la notion de -algbre engendre, nous avons besoin dun petit lemme (vident !) : Lemme 4 X ensemble, (A ) famille dalgbres (resp. de algbres), alors A est une algbre (resp. une -algbre.

Dnition 5 X un ensemble, M P (X ) famille de parties de X , lalgbre engendre par M (resp. la -algbre engendre par M) est lintersection de toute les algbres (resp. -algbre ) contenant M. X un ensemble, la -algbre engendre par une famille de fonctions de X vers des espaces mesurables est la -algbre engendre par les images rciproques densembles mesurables par ces fonctions. Cest bien une algbre (resp. -algbre ) et cest la plus petite qui contienne M. la -algbre engendr par limage rciproque dune famille F de sousensembles de F par une application f : E F est limage rciproque de la -algbre engendre par F . Exemple fondamental :

Dnition 6 X muni dune topologie T ; la -algbre engendre par T sappelle la -algbre borlienne. Ses lments sont appels les borliens.

Dans R ou Rn , cest la plus petite -algbre contenant les boules ouvertes. Cest aussi la plus petite -algbre contenant les boules fermes.

Proposition 7 La -algbre engendre par une base douverts est la algbre engendre par la topologie ; donc lorsquun ensemble engendre une topologie, il engendre aussi les borliens. Les ensembles suivants engendrent les borliens de R : les ouverts les ferms les intervalles ouverts les intervalles ferms les intervalles ferms borns Les intervalles ouverts borns Les [a, b[ avec (a, b) R2 Les ]a, +[ Les [a, +[ Les ensembles suivants engendrent les borliens de R : Les [a, +] Les ]a, +] Les [, a[ Les [, a] Les ensembles suivants engendrent les borliens de Rn : Les ouverts Les pavs ouverts Les boules ouvertes Les bandes ouvertes : {Ri1 ]a, b[Rni } Les pavs compacts Les bandes fermes : {Ri1 [a, b] Rni } Les bandes comme suit : {Ri1 ]a, b] Rni } Ou les ensembles de la forme suivante : {Ri1 ]a, +[Rni } Disposer de parties gnratrices petites est pratique pour certaines proprits des borliens. Exemple : on munit R dune distance comme suit : d(x, y ) = |arctanx arctany | avec arctan() = /2 et arctan() = /2. Les borliens pour cette distance sont engendrs par les {]a, +], a R]. Toute suite monotone dans R admet une limite, et toute suite dans R admet une valeur dadhrence.

1.1.3

Mesures

Dnition 8 (Mesure) Etant donn (X, A) mesurable, on appelle mesure une application : A [0, +] telle que : () = 0 Si les Ai sont disjoints, au plus dnombrables, alors (Ai ) = (Ai ) ( additivit) (X, A, ) est appel espace mesur. Etant donn (X, A) mesurable, on appelle mesure complexe une application : A C telle que : () = 0 Si les Ai sont disjoints, au plus dnombrables, alors (Ai ) = (Ai ) ( additivit) quel que soit lordre de la sommation - cest dire que la somme est absolument convergente. On notera bien quune mesure peut prendre + pour valeur, et pas une mesure complexe. Une mesure complexe nest pas un cas particulier de mesure, et une mesure nest pas un cas particulier de mesure complexe. On note aussi que dans le cas des mesures complexes, le deuxime de la dnition suft imposer le premier (pas dans le cas rel, cause de la possibilit +). Dnition 9 (Proprit vraie presque partout) Une proprit P est dite vraie presque partout si lensemble des lments pour lesquels elle est fausse est inclus dans un ensemble de mesure nulle. Une partie est dite ngligeable si elle est incluse dans une partie de mesure nulle, cest dire si sa fonction caractristique est nulle presque partout. Un espace mesur est dit complet si tout ensemble ngligeable est mesurable (et donc de mesure 0). Un ensemble ngligeable nest pas ncssairement mesurable ! Une runion dnombrable densembles ngligeables est ngligeable. Proposition 10 est niment additive (outre quelle est -additive) est croissante (R muni de lordre usuel, les ensembles mesurables munis de linclusion) La mesure dune union dnombrable est infrieure ou gale la somme des mesures. Avec A et B A-mesurables, (A B ) (A) + (B ) (Uin Fi ) 1in (Fi ), avec Fi A-mesurable. Si (X ) est nie, alors (A B ) = (A) + (B ) (A B ) Formule dinclusion exclusion ; avec Fi A, on a (in Fi ) = in (Fi ) 1i<j n (Fi Fj ) + 1i<j<kn (Fi Fj Fk )... + (1)n1 (1in Fi )

Exemples :

Dnition 11 Considrons lespace mesurable (X, P (X )). On considre sur X la mesure de dnombrement dnie pourtout A X par (A) = card(A) si A ni (A) = + sinon (X, P (X )), soit a X , on appelle mesure de dirac en a la fonction a telle que pour toute partie A inclue dans X , a (A) = 1 si a A et 0 sinon.

Thorme 12 Toute espace mesur (X, A, ) peut tre remplac par un espace mesur (X, A, ) complet, avec A A et |A = . On peut mme garantir que tout ensemble C contenant A et inclus dans B avec (A, B ) A2 et B A ngligeable appartient A.

Dmonstration : On considre lensemble des parties C dcrites dans le thorme ; on vrie facilement quil sagit bien dune -algbre . Ensuite on montre que lon peut dnir la mesure de C comme gale la mesure de A, et que la dnition est bien correcte.

Dnition 13 (Lebesguiens) La tribu obtenue partir de la tribu des borliens en appliquant le thorme 12 sappelle tribu des lebesguiens. Les lments de cette tribu sont appels les lebesguiens. Donc lorsque lon travaille avec des borliens, certains ensembles ngligeables ne sont pas mesurables, alors quavec les lebesguiens, tous les ensembles ngligeables sont mesurables.

Thorme 14 (Thorme fondamental) Il existe une unique mesure sur R muni des borliens classique telle que ([a, b]) = b a pour b > a. sappelle mesure de Lebesgue sur R. Il existe une unique mesure sur Rn muni des borliens classiques telle que (i [ai , bi ]) = i (bi ai ) pour bi > ai . sappelle mesure de Lebesgue sur Rn . La mesure de Lebesgue vrie en outre les proprits suivantes : une constante de proportionnalit prs, cest la seule mesure sur les borliens invariante par translations et nie sur les intervalles borns. Tout ensemble au plus dnombrable est de mesure nulle. Etant donne E une partie mesurable, la mesure de E est gale linf des mesures des parties ouvertes contenant E . Etant donne E une partie mesurable, la mesure de E est gale au sup des mesures des parties compacts inclues dans E .

Dmonstration : Admise.

Proposition 15 (X, A, ) espace mesur, i N Ai A. i) Si Ai Ai+1 , alors (iN Ai ) = limi+ (Ai ) ii) Si Ai+1 Ai et si (A0 ) < + alors (Ai ) = limi+ (Ai ) NB : ne pas oublier la seconde condition pour la deuxime assertion ; contreexemple avec Ai = [i, +[. Dmonstration : i) B0 = A0 , Bi = Ai Ai1 , suite facile. ii) (D C ) = (D) (C ) si C D et (D) < + Bi = Ai1 Ai Ai = A0 Bk (Ai ) = (A0 ) (Bk ) = (A0 ) [(Ak1 ) (Ak )]

Dnition 16 (mesure nie ou -nie) (X, A, ) mesur, est nie si (X ) < +. (X, A, ) mesur, est -nie si (Xk A)/ k Xk = X (Xk ) < Si (X ) = 1 alors est appele une mesure de probabilit.

Donc (R, B (R), ) avec la mesure de Lebesgue est -nie car R = kN ] k, k [

1.2 -systmes, d-systmes, et thorme de Carathodory


Dnition 17 (-systmes) Un -systme sur X est un sous-ensemble de P (X ) stable par intersections nies.

Dnition 18 (d-systme, alias classe monotone) D est un d-systme (on dit aussi une classe monotone si S D D est stable par soustraction (A D, B D, alors A B c D). Pour toute suite An croissante, An D, alors An D

Proposition 19 Une intersection de d-systmes est un d-systme.

Dnition 20 (d-systme engendr) On appelle d-systme engendr par un ensemble de parties de X lintersection de tous les d-systmes contenant X .

Proposition 21 Un ensemble inclus dans P (X ) est une -algbre si et seulement si cest un -systme et un d-systme.

Lemme 22 (Lemme de Dynkin) Soit I un -systme, alors la -algbre engendre par I , note (I ), est gale au d-systme engendr par I . Dmonstration : Pour le prouver il suft de montrer que d(I ) est un systme, vu la proposition 21. Pour cela on montre tout dabord que le sous-ensemble D1 de d(I ) constitu des lments de d(I ) dont lintersection avec tout lment de I appartient d(I ), est gal d(I ). Le raisonnement est le suivant : d(I ) D1 car : - I D1 - D1 est un -systme D1 d(I ) trivialement On montre ensuite que le sous-ensemble D2 de d(I ) constitu des lments de d(I ) dont lintersection avec tout lment de d(I ) appartient d(I ), est gal d(I ) ; en effet : d(I ) D2 car - I D2 car D1 = d(I ) - D2 est un d-systme D2 d(I ) trivialement Or d(I ) = D2 est exactement lnonc du fait que d(I ) est un -systme.

10

Lemme 23 Soit 1 et 2 deux mesures sur (X, A) concidant sur un systme engendrant A et telles que 1 (X ) < + et 2 (X ) < +. Alors 1 et 2 sont gales. La mme proprit est vraie si X est de mesure -nie pour 1 et 2 . Dmonstration : On considre le d-systme des F tels que 1 (F ) = 2 (F ). Il contient un -systme, donc il ne reste qu conclure via le lemme 22.

Thorme 24 (Thorme de Carathodory) Soit A la -algbre engendre par B une algbre, et -additive de B dans [0, +]. alors il existe une mesure sur A dont la restriction B est . Si (X ) < +, alors cette extension est unique. Dmonstration : Lexistence est ici admise. Lunicit rsulte simplement de 23.

Proposition 25 Soit une mesure sur un espace mesurable X , et f une fonction mesurable de X dans Y un autre espace mesurable ; alors lapplication qui une partie mesurable E de Y associe (f 1 (E )) est une mesure sur Y . On note f cette mesure. Dmonstration : Facile. Si Y = Rn muni des borliens, alors si est positive on a f df =
Rd X

f d

Si Y = Rn et si f est valeurs quelconques, alors est L1 pour f si et seulement si f est L1 pour , et on a alors lgalit f df =
Rd X

f d

1.3

Parties non mesurables


Thorme 26 (Banach et Tarski) Il existe un ensemble F inclus dans la sphre unit S2 de R3 tel que pour tout k 3 (ventuellement k = ), S2 est la runion disjointe de k images de F par des rotations. Faon amusante de constater quon ne peut pas mesurer nimporte quoi... Cette preuve ncessite laxiome du choix. On peut mme aller plus loin et tant donns A et B dintrieurs non vides de R3 , on peut dcomposer A en une runion de Ai nie, et B en une runion de Bi de mme cardinal, avec Ai et Bi gaux via une rotation et une translation.

11

Si lon nutilise pas laxiome du choix, alors on peut utiliser sa place un autre axiome, qui afrme que toute partie de R est mesurable.

1.4

Exercices sur les -algbre et les mesures

Soit A P (E ). - Supposons E A et A stable par soustraction. Montrer que A est une algbre. Dmonstration : Il suft de vrier que E et sont dans A, que lon a bien stabilit par passage au complmentaire, et stabilit par union de deux lments car E (E A B ) = A B . - Supposons E A, A stable par passage au complmentaire, et stable par union disjointe. Montrer que A nest pas ncessairement une -algbre . Considrer lensemble des parties de cardinal pair de {a, b, c, d}. Montrer que la runion dune suite croissante dalgbres est une algbre. Montrer que la runion dune suite croissante de -algbres nest pas ncessairement une -algbre . Dmonstration : Considrer les -algbre sur N engendres respectivement par {{1}}, {{1}, {2}}, {{1}, {2}, {3}} ; la runion nest pas une -algbre car par exemple lensemble des entiers pairs nen fait pas partie.

1.5

Fonctions mesurables
Dnition 27 (Fonction mesurable) Etant donns (X, A) et (X, B ) des espaces mesurables, f : X Y est dite mesurable si B B f 1 (B ) A On dnit parfois aussi la notion de fonction mesurable dun espace mesurable vers un espace topologique ; la condition est alors le fait que limage rciproque dun ouvert soit une partie mesurable.

Une fonction caractristique dun ensemble est mesurable si et seulement si lensemble est mesurable. Si Y est topologique et quon na rien prcis, la tribu B est celle des borliens. Proposition 28 Avec les conditions de la dnitions, si B est la -algbre engendre par M, alors f est mesurable si et seulement B M f 1 (B ) A Dmonstration : Le sens est trivial. Pour le sens , considrons lensemble des B B tels que f 1 (B ) A, cest une -algbre de Y ; do le rsultat.

12

Corollaire 29 Si f : (X, A) Y avec Y topologique, f mesurable si et seulement si U ouvert , f 1 (U ) A fk : (X, A) R ou [0, +] mesurable alors la fonction f qui x associe supk fk (x) est mesurable.

Dmonstration : Le premier point est clair. Pour le second on considre f 1 (]a, +]) = {x/sup{fk (x)} > a} = {x/k Nfk (x) > a} = kN {x/fk (x) > a} 1 = fk (]a, +[) qui appartient A car fk mesurable et A -algbre . Proposition 30 La composition de deux fonctions mesurables est mesurable. f mesurable et g continue alors g f est mesurable.

Corollaire 31 Si f est mesurable de X dans C ou R, alors Re(f ), Im(f ), |f | sont mesurables.

Proposition 32 f mesurable de X dans Y avec Y topologique, g mesurable de X dans Z avec Z topologique, Y et Z bases dnombrables douverts. alors (f, g ) : X Y Z est mesurable pour la topologie produit.

Corollaire 33 f et g mesurables de (X, A) dans R ou C, alors f + g , f g , f g , f /g (g ne sannulant pas), sont mesurables. f de (X, A) dans C est mesurable si et seulement si sa partie relle et sa partie imaginaire sont mesurables. f de (X, A) dans C est mesurable si et seulement si la fonction |f | et la fonction x arg (f (x)) sont mesurables f de (X, A) dans R ou R est mesurable si et seulement si f + et f sont mesurables.

1.6

Suites de fonctions mesurables


Thorme 34 (X, A) mesurable, fk de X quelconque dans Y mtrique, telle que pour tout x fk (x) f (x). Alors f est mesurable.

Dmonstration : Soit U un ouvert de Y , et Un lensemble des u tels que d(x, Y \ U ) > 1/n, et soit Fn lensemble des u tels que d(x, Y \ U ) 1/n. On montre facilement que Un est ouvert et que Fn est ferm. Lunion des Un est U car U est ouvert.

13

Lunion des Fn est donc U aussi. (voir gure 1.1) f 1 (U ) = n f 1 (Un ) = n {u/limk+ fk (u) Un } n {u/K/k K fk (u) Un } car Un est un ouvert.
1 n K kK fk (Un ) A

Considrons maintenant
1 n K kK fk (Un ) 1 n K kK fk (Fn ) 1 or u K kK fk (Fn ) si et seulement si

K/k K, fk (u) Fn donc n f 1 (Fn ) = f 1 (Fn ) = f 1 (Fn ) = f 1 (U ) donc f 1 (U ) A, donc f est mesurable.

U Un U1
F IG . 1.1 Illustration de la preuve de la mesurabilit de la limite simple dune suite de fonctions mesurables. Corollaire 35 fk suite de fonctions mesurables de (X, A) dans [0, +] ou R, alors limn+ supkn fk et limn+ infkn fk existent et sont mesurables. Dmonstration : Rappelons simplement quune fonction monotone a ncssairement une limite dans R. 14

Proposition 36 Si pour tout n N fn est mesurable de X dans R, alors supnN fn est mesurable. Dmonstration : Il suft de considrer les images rciproques densembles de la 1 forme ]a, +] par les fn . Plus prcisment, xons a, et considrons En = fn (]a, +[). 1 Avec f = sup fn , E = f (]a, [) est gal En , et donc est mesurable. Les borliens sont engendrs par les intervalles ]a, +[ ; donc f est bien mesurable.

1.7

Intgration - thorme de convergence domine de Lebesgue

(X, A, ) un espace mesur.

1.7.1

Fonctions tages et fonctions simples

Dnitions et gnralits Dnition 37 Une fonction est dite tage si elle ne prend quun nombre ni de valeurs. Une fonction simple est une application s de X dans [0, [ mesurable et tage. Si s est simple, 1 ,...,n ses valeurs, Ai = {x/s(x) = i } = s1 ({i }), alors s = i i 1|Ai . Notons que les Ai sont des borliens, en tant quimage inverse de borlien, pour peu que la fonction s soit mesurable. Lcriture de s est unique si on a : i = j si i = j Ai = Ai Aj = si i = j i Ai = X Proposition 38 Si f est une fonction mesurable de X dans [0, +[, alors il existe une suite croissante sn de fonctions simples qui converge simplement vers f . Dmonstration : +1 Etant donn n N, on considre les segments Si = [ 2in , i2 n [, pour i variant de i n 0 n2 . Il suft alors de considrer la somme fn des 2n f 1 (Si ) pour i dans [0, n2n ].

15

Pour la suite de notre propos, on devra utiliser une multiplication dans [0, +[, prolongeant la multiplication usuelle, et vriant 0. = 0. Attention, ce produit nest pas continu.

Intgration des fonctions simples Dnition 39 s = i 1|Ai avec la condition dunicit donne ci-dessus, alors on appelle intgrale sur E A de s pour la mesure s.d =
E

i (Ai E )

Lemme 40 Supposons s et t deux fonctions simples vriant les conditions dunicit. Alors : Si s t, alors E sd E td additivit : E (s + t)d = E sd + E td E sd = E sd c < + c.sd = c sd La fonction de A dans [0, +] qui E associe lintgrale de s sur E pour la mesure est une mesure.

1.7.2

Fonctions positives

Dnition 41 f : (X, A) [0, +] mesurable On appelle intgrale de f sur E de f pour f d = supsf


E E

s.d

o s f dsigne lensemble des fonctions simples plus petites ( ou gale ) que f. Rmq : Si f est simple, alors cette dnition concide avec la prcdente. La notation
E

f d dsigne

f.E .d.

Proprits, avec f et g positives mesurables : f +g = f + g f g f g |a|.f = |a| f

16

Thorme 42 (Thorme de convergence monotone, dit aussi thorme de Beppo-Levi) Soit fn une suite croissante de fonctions mesurables positives. Alors f = supfn est mesurable et f = lim fn .

Dmonstration : On procde par tapes comme suit : On montre tout dabord que f est mesurable (considrer f 1 (]a, +)). On montre que fn est croisante ; notons F sa limite (ventuellement innie). F f par passage la limite. Lautre ingalit est un peu plus difcile et est illustre par la gure 1.2. On considre une fonction simple f , note s, et un rel a < 1. On considre En lensemble des x tels que a.s(x) fn (x). En a.u En fn X fn F . La runion des En est X , et la runion est dnombrable ; donc En u X u. Par passage au sup on a f F . On trouvera de multiples applications ce thormes, citons le lemme de Fatou 44, le thorme justiant la dnition des mesures images 45, le thorme importantissime de la convergence domine de Lebesgue 53, pour le thorme de Fubini 65. Cela servira aussi en probabilit, avec la proposition ??, la proposition ??, les resultats sur les variables alatoires indpendantes ?? ; on trouvera aussi une application au thorme ?? sur lextinction dun processus de branchement. Par ailleurs, on utilisera ce rsultat aussi pour montrer que les espaces Lp sont des Banach, voir corollaire 91. On prendra garde ne pas utiliser des arguments plus lourds (notamment la convergence domine de Lebesgue) quand un rsultat plus simple comme celui-ci suft. Corollaire 43 (Permutation des signes somme - intgrales) Avec fn pour n N mesurable positive, fn = fn

Lemme 44 (Lemme de Fatou) Avec fn de X vers [0, +] mesurable, on a liminf fn liminf fn Dmonstration : Il suft de dnir gk = infnk fn ; gk est croissante ; donc par le thorme de convergence monotone liminf fn = lim gn = liminf gn liminf fn . Thorme 45 Pour toute fonction f mesurable de X dans [0, +], la fonction qui un borlien E associe E f (x).d est une mesure sur X . En outre pour toute fonction g mesurable de X dans [0, +], g.d = f.g.d.

Dmonstration : Il est facile de voir que est une mesure avec les outils que lon

17

f f n

a.s

F IG . 1.2 Les ensembles sur lesquels fn dpasse la fonction simple multiplie par a < 1 ont pour runion X et sont en nombre dnombrable. sest donns plus haut. La suite est un peu plus laborieuse, mais se rsoud en utilisant le thorme de convergence monotone.

1.7.3

Le cas gnral

Dnition 46 (Fonction intgrable) Une fonction f de X dans C est dite intgrable si elle est mesurable et si |f | est nie. On note L1 (X, C) lensemble des fonctions intgrables de X dans C, et L1 (X, R) lensemble des fonctions intgrables de X dans R. L1 (X ) tout court dsigne gnralement L1 (X, R) (voir selon le contexte). L1 (X ) est un C-espace vectoriel (on le munit de laddition et de la multiplication par un scalaire). Lapplication qui une fonction associe son intgrale est une forme linaire sur cet espace vectoriel. L1 (X ) est un R-espace vectoriel (on le munit de laddition et de la multiplication par un scalaire). Lapplication qui une fonction associe son intgrale est une forme linaire sur cet espace vectoriel. Notez que lintgrabilit dpend de la mesure, alors que la mesurabilit ne dpend que de lespace mesurable.

18

Dnition 47 (Intgrale (au sens de Lebesgue) dune fonction intgrable) Etant donne f une fonction intgrable de X dans R, on appelle intgrale de f et on note f le rel f + f . Etant donne f = g + i.h une fonction intgrable de X dans C, on appelle intgrale de f et on note f le complexe g + i. h.

On notera bien que cette dnition ne permet de dnir dintgrale que lorsque |f | est nie. Ainsi lintgrale dune fonction mesurable valeurs dans [0, +] est toujours dnie mais la fonction nest pas ncssairement intgrable (lorsque lintgrale est innie). Et dans le cas dune fonction Riemann-intgrable on doit rsister la tentation dutiliser une intgrale dune fonction pas intgrable, puisque lintgrale de Lebesgue nest dnie que dans le cadre de fonctions intgrables. Proprits : Si f est intgrable alors |f | est intgrable et | f | |f |. Une fonction infrieure en module une fonction g intgrable, est intgrable. Si deux fonctions f et g sont intgrables et valeurs dans R et si f g alors f g. Dnition 48 (Intgrale sur une partie mesurable) Soit E une partie mesurable de X , et f de X dans R ou C, alors f est dite intgrable sur E si f.E est intgrable, avec E la fonction caractristique de E . On dnit alors f = f.E . E On peut vrier que E f = f|E . Exemple important : les sommes de sries. Lensemble des parties de N est une -algbre sur N. On peut munir lespace mesurable ainsi dni dune mesure telle que (A) = card(A) si A est ni et (A) = + sinon. On se donne alors une fonction f de N dans [0, +[, cest dire une suite de rels positifs. Cette fonction est videmment mesurable. On peut alors considrer les fonctions f.[ 0, n] ; la suite de ces fonctions converge vers f , donc par le thorme de convergence monotone, lintgrale de f sur N est la limite pour N tendant vers + de lintgrale de f.[ 0, n]. f.[ 0, n] tant une fonction tage, son intgrale est facile calculer ; il sagit de la somme des fi pour i [0, n]. On peut retrouver ainsi divers rsultats classiques du calcul de sries, par exemple le changement dordre des termes dans une srie absolument convergente. On peut aussi considrer le cas des sries complexes.

19

Par contre, on ne peut rien faire au niveau des sries non-absolument convergentes. Proposition 49 Une fonction mesurable de X dans [0, +] est dintgrale nulle si et seulement si elle est nulle presque partout. Si une fonction mesurable de X dans [0, +] est dintgrale nie alors elle est nie presque partout. f mesurable de X dans C ; alors | f | |f |, et si | f | = |f |, alors il existe a tel que f = a.|f | presque partout. Dmonstration : le premier point est facile, il suft de considrer les ensembles sur lesquels f est suprieure 1/n, et leur runion dnombrable. Considrer lensemble des x tels que f (x) = + et sa mesure. Considrer largument de lintgrale de f , et la fonction a.f avec a un complexe de module 1 tel que a.f R+ . La suite est facile... On peut considrer diffrentes structures lintrieur de lespace vectoriel F des fonctions de X dans R : Le sous-espace vectoriel des fonctions mesurables Le sous-espace vectoriel des fonctions intgrables Le sous-espace vectoriel des fonctions nulles presque partout La dernire proprit permet notamment de dnir un espace quotient de lespace des fonctions, par la relation dquivalence R dnie par f Rg f (x) = g (x) presque partout . On considre alors lespace constitu par les classes contenant au moins une fonction intgrable. La forme linaire qui f associe son intgrale induit une forme linaire sur cet espace quotient (notez que deux fonctions intgrables appartenant la mme classe ont mme intgrale). On peut normer cet espace par la norme suivante : f
1=

|f |

La forme linaire qui f associe son intgrale est continue pour cette norme, et de norme 1, cest dire que | f | f 1 = |f |. Dans la plupart des cas, cest dire ds quil existe une partie de mesure nie non nulle, cette norme est 1 (on pourra sen convaincre en considrant la fonction caractristique dune telle partie).

Dnition 50 On note L1 le sous-espace des classes contenant au moins une fonction intgrable ainsi norm (ne pas confondre avec L1 ). Cette notation est dpendante du contexte ; formellement il faudrait prciser lespace de dpart et lespace darrive (ce dernier tant gnralement C, quelquefois R). Thoriquement il nest pas possible dcrire f 1 pour une fonction de X dans [0, +], + inclus ; nanmoins on verra souvent cette notation pour |f |. On se permettra ainsi de parler de la classe dune fonction dont lintgrale est nie, mme sil sagit par exemple dune fonction valeurs dans [0, +]. On assimilera souvent une fonction et sa classe, lintgrale dune fonction et lintgrale

20

dune fonction intgrable de sa classe, etc.

1.7.4

Fonctions vectorielles

Une fonction vectorielle est une fonction de X dans Rn .

Dnition 51 Une fonction vectorielle est dite intgrable si toutes ses composantes sont intgrables. Son intgrale est alors le vecteur dont chaque coordonne est lintgrale de la coordonne correspondante de f .

Proposition 52 Une fonction vectorielle est intgrable si et seulement si elle est intgrable et si sa norme est intgrable (indpendamment du choix de cette norme). Dmonstration : On majore chaque composante par la norme multiplie par une certaine constante, et rciproquement ; le rsultat est ensuite facile.

1.7.5

Thorme de la convergence domine de Lebesgue. Corollaires

Thorme 53 (Thorme de la convergence domine de Lebesgue) Soit fn de X dans C pour tout n N. Hypothses : fn mesurable Pour presque tout x, fn (x) converge Il existe une fonction g intgrable de X dans [0, +] majorant toutes les fonctions fn . Alors : une certaine fonction f est limite simple des fn ; cette fonction est intgrable. |f fn | 0 (convergence L1 ). fn f pour n + Dmonstration : On passe par les tapes suivantes : Tout dabord le cas dune suite de fonctions tendant monotonement vers la fonction nulle (dmonstration en utilisant le thorme de convergence monotone). Ensuite suite de fonctions tendant vers la fonction nulle (on se ramne au cas prcdent en considrant gn (x) = supkn fk (x). Ensuite le cas gnral se traite en considrant f fn , majore par 2.g . Lassertion fn f pour n + dcoule simplement du fait que | a b| |a b|.

21

On utilisera ce rsultat trs souvent, citons par exemple le corollaire ci-dessous, le thorme 56 de continuit sous le signe intgral, le thorme 57 de drivation sous le signe intgral, le lemme de Scheff 58, le rsultat de densit 111, le contre-exemple du paragraphe ??, le thorme de Doob ??. Corollaire 54 Soit une suite de fonctions fn intgrables de X dans C, telle que f 1 converge. Alors pour presque tout x on a n fn (x) convergente vers un certain f (x). En outre f est intgrable et f = n fn . n La suite i=0 fn converge vers f pour L1 . Dmonstration : On considre g (x) = n |fn (x)|. Par le thorme de convergence monotone, g = |fn |. On peut donc dnir h(x) comme limite des fonctions hn (x) = sumn f ( x ) . On a |h(x)| g (x) ; par le thorme de convergence i=0 n domine, lintgrale de f est gale la limite de lintgrale des hn , donc la limite de la somme des fi pour i [0, n] et la dernire assertion dcoule de la convergence pour L1 dans le thorme de convergence domine. Corollaire 55 Les espaces vectoriels norms L1 et L1 (C) sont complets. Dmonstration : Un espace vectoriel norm est complet si et seulement si toute srie normalement convergente est convergente ; donc daprs le corollaire prcdent, L1 et L1 (C) sont complets. Corollaire 56 Soit Y un espace mtrique et f : X Y C une application telle que : pour tout y lapplication qui x associe f (x, y ) est intgrable pour tout x appartenant X N avec N ngligeable lapplication qui y associe f (x, y ) est continue il existe g intgrale de X dans R+ telle que pour tous x et y |f (x, y )| g (x). Alors lapplication qui y associe f (x, y ).dx est continue.

Dmonstration : On considre une suite yn tendant vers y , la continuit squentielle impliquant la continuit dans un espace mtrique. Il suft dappliquer le thorme de convergence domine la suite de fonctions de la forme x f (x, yn ).

22

Corollaire 57 Soit Y un intervalle ouvert de R et f : X Y C une application telle que : pour tout y lapplication qui x associe f (x, y ) est intgrable pour x X N , avec N ngligeable, lapplication qui y associe f (x, y ) est drivable de drive f2 (x, y ) Pour une certain fonction g positive L1 , pour tout y , |f2 (x, y )| g (x) Alors pour tout y x f2 (x, y ) est intgrable et lapplication qui y associe f (x, y ).dx est drivable, de drive f2 (x, y ).dx. Dmonstration : On considre yn une suite tendant vers y . n )f (x,y ) On dnit kn (x) = f (x,yy . Pour tout n, kn est intgrable. n y Daprs lingalit des accroissements nis, |kn (x)| est major par le sup de |f2 (x, .)| son tour major par g (x). On peut donc appliquer le thorme de convergence domine, et dduire le rsultat.

Lemme 58 (Lemme de Scheff) Supposons que fn soit une suite de fonctions L1 de (S, ) dans R, et supposons que pour presque tout x fn (x) f (x) quand n +. Alors |fn |.d si et seulement si |fn f |.d 0 |f |.d

Dmonstration : La partie "si" est triviale ; voyons maintenant la partie "et seulement si". On montre dabord le rsultat pour des fonctions positives. + On suppose donc que fn (x).d(x) f (x).d(x). Notons gn = fn f , et gn et gn les parties positives et ngatives de gn . Alors : + gn (x) 0 et gn (x) 0 presque partout gn f , donc par le thorme de convergence domine gn (x).d(x) 0. + Par ailleurs gn (x) = fn (x).d(x) f (x).d(x) g (x).d(x) qui tend donc vers 0. On peut donc dduire par les deux points prcdents que gn .d(x) 0. On a donc prouv le rsultat pour des fonctions positives. On passe au cas gnral. |fn (x)|.d(x) |f (x)|.d(x) signie que
+ fn (x).d(x) + fn (x).d(x)

f + (x).d(x) +

f (x).d(x).

Le lemme de Fatou implique que


+ liminf fn .d liminf + fn d

23

et liminf fn .d liminf et donc pour n assez grand + fn (x).d(x) +

fn d

fn (x).d(x)

f + (x).d(x) +

f (x).d(x).

Les rsultats des deux points prcdents permettent de conclure que


+ fn (x).d(x)

f + (x).d(x)

et
fn (x).d(x)

f (x).d(x)

Il ne reste plus qu appliquer le rsultat dans le cas des fonctions positives.

1.8

Intgration dans les espaces produits. Changement de variable

On rappelle quune tribu ou -algbre sur E est un sous-ensemble de P (E ), contenant E , stable par passage au complmentaire et par union dnombrable (et du mme coup par intersection dnombrable). On rappelle aussi quun clan ou algbre sur E est un sous-ensemble de P (E ) stable par passage au complmentaire et par union nie (et du mme coup par intersection nie).

24

Dnition 59 On se donne X et Y deux espaces mesurables, munis respectivement de la tribu X et de la tribu Y . Un ensemble A B est dit rectangle mesurable de X Y si A X et B Y . On appelle tribu produit ou -algbre produit de X et Y et on note X Y la tribu engendr par les rectangles mesurables. Ce sera la -algbre par dfaut par la suite ; un ensemble mesurable de X Y est en particulier un lment de cette -algbre . Un sous-ensemble de X Y est dit ensemble lmentaire si il est runion nie de rectangles mesurables. Etant donn E inclus dans X Y et x X , on appelle premire coupe suivant x de E lensemble des y dans Y tels que (x, y ) E . Etant donn E inclus dans X Y et y Y , on appelle deuxime coupe suivant y de E lensemble des x dans X tels que (x, y ) E . Etant donnes X et Y des mesures sur (X, X ) et (Y, Y ) respectivement on appelle mesure produit de X et Y une mesure sur (X Y, X Y ) telle que la mesure dun rectangle mesurable A B soit X (A).Y (B ).

Proposition 60 Lensemble des ensembles lmentaires est un clan. Un ensemble lmentaire peut scrire comme runion disjointe dun nombre ni de rectangles mesurables. La premire coupe suivant x dun ensemble mesurable de X Y est mesurable. La deuxime coupe suivant y dun ensemble mesurable de X Y est mesurable. Pour E mesurable de X Y , si on se donne deux mesures sur X et Y qui soient -nies, lapplication de X dans R qui x associe la mesure de la premire coupe suivant x de E est mesurable

Dmonstration : Les deux premiers sont faciles. Le troisime est plus dlicat : - Soit E dans X Y et x dans X . - Si E est un rectangle mesurable le rsultat est clair. - Il suft donc de montrer que lensembles des F dans X Y tels que la coupe suivant x de F est mesurable est une tribu, ce qui est facile. Ce est videmment quivalent au prcdent. Le cinquime est admis. Thorme 61 Etant donns (X, X , X ) et (Y, Y , Y ) deux espaces mesurs de mesures -nies, il existe une et une seule mesure produit de X et Y . Cette mesure produit est en outre -nie. On la note X Y . Dmonstration : On dnit (E ) = vant y de E .

(Ey ) avec Ey la deuxime coupe sui-

25

On montre facilement quil sagit bien dune mesure, en utilisant le cinquime de la proposition prcdente. Il est clair quelle vrie lhypothse sur la mesure des rectangles lmentaires. Si deux mesures vrient les proprits demandes, alors elles concident sur le -systme des rectangles mesurables, en outre les rectangles mesurables engendrent la tribu produit, et cette tribu produit est de mesure -nie (facile). On peut alors appliquer le lemme 23 (en ltendant, ce qui est ais, au cas des mesures -nies).

Corollaire 62 Soit la mesure produit ainsi dnie ; alors (E ) =


y

(Ey ) =
x

(Ex )

Dmonstration : La premire galit est directement issue de la preuve ci-dessus ; la seconde est due lunicit de la solution et la symtrie du problme.

Corollaire 63 Pour quun ensemble E de (X Y ) soit ngligeable pour X Y , il suft que presque toutes les coupes premires de E soient ngligeables (pareil avec les coupes secondes). Dmonstration : Un tel ensemble est ngligeable si et seulement si sa fonction caractristique est dintgrale nulle, cest dire si sa coupe est dintgrale nulle presque partout. Corollaire 64 La tribu des borliens sur Rp+q est la tribu produit des deux tribus de borliens de Rp et de Rq (produit au sens des -algbres et pas produit cartsien). La mesure de Lebesgue sur Rp+q est le produit de la mesure de Lebesgue sur Rp et de la mesure de Lebesgue sur Rq . Dmonstration : On procde par double inclusion. - tout dabord soit un pav ouvert de Rp+q ; il appartient bien la tribu produit de Rp par Rq car cest un rectangle mesurable. Or un ouvert de Rp+q est une runion dnombrable de pavs ouverts (par exemple les pavs ouvert de coordonnes rationnelles inclus dans ce pav). Donc les ouverts de Rp+q sont bien des mesurables pour la tribu produit, et donc les borliens tant engendrs par les ouverts, ils sont eux-mmes inclus dans la tribu produit. - Soit un rectangle mesurable de Rp Rq ; il scrit X Y , et donc (X Rq ) (Rp Y ), avec X et Y mesurables. X mesurable implique X Rq mesurable, car X appartient la -algbre engendre par les ouverts, et donc X Rq appartient la -algbre engendre par les ouverts de Rp+q . Il suft de considrer lunicit de la mesure sur Rn vriant le fait que la mesure dun pav soit bien le produit des longueurs.

26

Cette proprit est valable pour les borliens MAIS pas pour les lebesguiens. Le thorme qui suit est un thorme fondamental en thorie de lintgration. Thorme 65 (Fubini) On suppose (X, X , X ) et (Y, Y , Y ) des espaces mesurs de mesures -nies. Soit f mesurable de (X Y, X Y , X Y ) dans R. Alors : pour tout x X lapplication f2,x : y f (x, y ) est mesurable sur (X, X ). pour tout y Y lapplication f1,y : x f (x, y ) est mesurable sur (X, X ). si f est positive, alors y X f1,y (x).dx est mesurable positive, et (
Y X Y

f1,y (x).dx).dy =
X Y

f.dz

si f est positive, alors x (


X Y

f2,x (y ).dy est mesurable positive. et f.dz


X Y

f2,x (y ).dy ).dx =

si f est intgrable, alors pour presque tout x, f2,x est intgrable, et x f (y ).dy est dnie presque partout et intgrable, et on a Y 2,x (
X Y

f1,x (y ).dy ).dx =


X Y

f.dz

si f est intgrable, alors pour presque tout y , f1,y est intgrable, et y f (x).dx est dnie presque partout et intgrable, et on a X 1,y (
Y X

f1,y (x).dx).dy =
X Y

f.dz

On remarque bien sr quun sur deux est quivalent au prcdent. 1 Dmonstration : (pareil pour le second ) : Soit U un ouvert ; f2 ,x (U ) est gal 1 la seconde section de f (U ) en y , qui est mesurable daprs lune des proprits vues ci-dessus. (pareil pour le quatrime ) : on le montre tout dabord pour une fonction caractristique dune partie mesurable de (X Y, X Y ), puis pour une fonction simple, par combinaison linaire,puis pour une fonction mesurable positive, en utilisant le thorme de convergence monotone et le fait que toute fonction mesurable positive est limite de fonctions simples. (pareil pour le sixime ) : Il suft dappliquer le cas positif la partie positive et la partie ngative dune fonction donne. Ce thorme sert dans beaucoup beaucoup de situations. Citons : - le lemme ??, utile pour le thorme de Runge. - de nombreuses choses sur le produit de convolution, voir le thorme 76, dans la partie 2. - quelques proprits de la transforme de Fourier, voir par exemple la proposition 27

127. - le thorme 111, dapproximation de fonctions Lp par des fonctions C support compact. Corollaire 66 Si f de X Y dans R est intgrable ou mesurable positive, alors f (x, y ).dx.dy = f (x, y ).dy.dx
Y X X Y

Bien noter quil nest pas sufsant que lune de ces deux expressions soit bien dnie pour que le rsultat soit vrai, ni mme que les deux expressions soient bien dnies ! Je donne ci-dessous, sans dmonstration (voir [3] pour une preuve complte) la formule du changement de variable dans Rn : Thorme 67 (Changement de variable) Si K est un compact inclus dans U ouvert de Rn , si est un C 1 -diffomorphisme de U sur U ouvert de Rn , si f est continue, alors f=
(K ) K

f J

avec J le jacobien de . Par exemple, cela servira montrer la commutativit du produit de convolution.

1.9

Mesurabilit et mesurabilit au sens de Lebesgue

On a vu que la tribu des borliens sur Rn pouvait tre complte en une autre tribu telle que toute partie comprise (au sens de linclusion) entre deux borliens de mme mesure soit mesurable ; cette tribu tant appele la tribu des lebesguiens. En utilisant cette nouvelle tribu, on a une nouvelle notion de mesurabilit. Quelques proprits : Une fonction f est mesurable au sens de Lebesgue si et seulement si il existe une fonction g mesurable (au sens des Borliens) gale f presque partout Alors que la tribu des borliens sur Rn+p est gale au produit (au sens des tribus) de la tribu des borliens sur Rn par celle des borliens sur Rp , la mme proprit nest plus vraie pour les lebesguiens.

1.10

Fonctions dnies par des intgrales

Les fonctions dnies par des intgrales seront capitales pour les applications suivantes :

28

- Le produit de convolution (voir la partie 2) (avec pour consquence de nombreux rsultats de densit) - Lanalyse de Fourier (voir partie 5) - Les indices de chemins (voir dnition ??), et donc toute la construction menant au thorme de Cauchy ?? - Le thorme de Brouwer ??, lorsquon le prouve en utilisant la formule de Stokes (ce qui nest pas le cas dans cet ouvrage), voir par exemple le livre "Calcul diffrentiel et gomtrie", de D. Leborgne, Presses universitaires de France, 1982. - La fonction gamma x 0 tx1 et dt (permettant dailleurs le calcul de laire de la sphre unit en dimension n), que lon trouvera par exemple dans le livre [22]. On peut citer comme autre rsultat que ceux qui suivent sur les fonctions de ce type le thorme de Fubini, 65.

29

1.10.1

Continuit, drivabilit sous le signe

Les rsultats ci-dessous sont rappels ici par souci encyclopdique, an de regrouper les rsultats sappliquant aux fonctions dnies par une intgrale. Thorme 68 Soit X un espace muni dune mesure sur une tribu T de X . Soit (E, d) un espace mtrique. On se donne f une application de E X C, et on dnit F (t) = X f (t, x)dx (intgrale pour la mesure , note souvent aussi f (t, x)d(x). X Hypothses Conclusion Pour tout t lapplication x f (t, x) est mesurable Pour presque tout x la fonction t f (t, x) F est continue en T . est continue en T Il existe g L1 telle que pour tout t et presque tout x |f (t, x)| g (x) Pour tout t lapplication x f (t, x) est mesurable Pour presque tout x la fonction t f (t, x) F est continue sur E . est continue sur E 1 Pour tout compact K de E il existe g L telle que pour tout t dans K et presque tout x |f (t, x)| g (x). E est un ouvert de R ou de C a Pour presque tout t x f (t, x) est L1 Il existe N ngligeable tel que pour tout x N la fonction t f (t, x) est drivable (resp. C 1 ) b . Pour tout t la fonction x Pour tout compact K de E il existe une fonc- f (t, x) est L1 x 1 tion g L telle que pour tout t dans K et tout F est drivable (resp. C 1 ), f x N | t (t, x)| g (x). f de drive (t, x)dx.
X t

facile retenir ; il sagit de pouvoir dnir une drive au sens le plus commun, ie drive dune fonction dune variable relle ou complexe ! b Attention ! Dans le cas dun ouvert de C on parle de drivabilit au sens complexe, et pas de diffrentiabilit en voyant C comme un R-espace vectoriel !

a Hypothse

E est un ouvert de R ou un ouvert de C. Pour presque tout t x f (t, x) est L1 Il existe N ngligeable tel que pour tout x N la fonction t f (t, x) est C k . Pour tout compact K de E et tout j [1, k ] il existe une fonction g L1 telle que pour tout j f t dans K et tout x N | tj (t, x)| g (x).

Pour tout t la fonction x j f 1 tj (t, x) est L k F est C , et pour j [0, k ] j f j F tj = X tj (t, x)dx.

Le thorme 69 est un exemple dapplication. Dmonstration : Le premier thorme de continuit a t prouv plus haut ; voir thorme 56. Le second dcoule du fait que pour montrer la continuit en un point, il suft de 30

montrer la continuit squentielle en ce point ; on se donne alors une suite tendant vers ce point, et on considre lensemble K des points de cette suite, plus la limite en question. K est spar parce quinclus dans un mtrique. K est compact, car tant donn un recouvrement ouvert de ce compact, on extrait un ouvert contenant la limite, il y a un nombre ni de points en dehors de cet ouvert, et ainsi on extrait un recouvrement ni. On peut donc appliquer le thorme prcdent K , et on a le rsultat souhait. Les thormes sur la drivabilit dcoulent du corollaire 57.

1.10.2

Fonctions holomorphes sous le signe

Thorme 69 Soit un ouvert de C et f de X dans C, avec X espace muni dune -algbre T et une mesure sur (X, T ). On dnit la fonction F (z ) = X f (z, x)dx. Hypothses requises : Pour tout z x f (z, x) est L1 . Il existe N ngligeable tel que pour tout x N la fonction z f (z, x) appartient H (). Pour tout compact K de , il existe g L1 sur K telle que pour tout z dans K et pour tout x N , |f (z, x))| g (x). Alors : F (z ) est dnie pour tout z F est holomorphe F (z ) = X f z (z, x)dx Dmonstration : Montrons tout dabord que : pour tout compact K de , il existe h L1 sur K telle que pour tout z dans K et pour tout x N , | f z (z, x))| h(x). Pour montrer ce rsultat : Soit K un compact de . Soit K lensemble des z dans C tels que la distance de z K soit 1 . Lapplication qui z associe la distance de z K est continue. K est born, et ferm comme image rciproque dun ferm par une fonction continue ; K est donc compact. Pour tout z dans K le cercle S (z, ) de centre z et de rayon est inclus dans K . On choisit sufsamment petit pour que K soit inclus dans ( cest possible car sinon on construit une suite dans K1/n C \ , on se plonge dans le compact K1 , on considre une limite de suite extraite, elle nest pas dans mais elle est dans K , do contradiction) Daprs le thorme ??, pour z dans le disque de centre z et de rayon , f (z , x) =
1 Il

1 2i

1 0

f (z + e2iu , x) du e2iu z

ne sagit pas dun voisinage, on a pris et non <.

31

Les hypothses du thorme de drivation sous le signe intgral 68 tant vries, on en dduit : 1 1 f f (z + e2iu , x) (z, x) = du z 2i 0 (e2iu z )2 Et donc supK f (., x) f (z, x) z 2 | 1 f (z, x)| g (x) z

Donc par hypothse

La fonction h gale 12 g convient donc pour le rsultat que lon voulait montrer, savoir : pour tout compact K de , il existe h L1 sur K telle que pour tout z dans K et pour tout x N , | f z (z, x))| h(x). Alors, on peut conclure en appliquant le thorme de drivation sous le signe intgral 68 prcdent que : F (z ) est dnie pour tout z F est holomorphe F (z ) = X f z (z, x)dx

1.10.3

Primitives

On pourra consulter le thorme ?? pour voir ce quil advient de la primitive de xf (x) f lorsque f f converge, et le thorme ?? pour voir ce quil advient lorsque f (x) converge.

1.11
1.11.1

Zoologie de la mesure
Approfondissements sur les mesures complexes

Dnition 70 Etant donne une mesure complexe sur X , on appelle variation totale de ou mesure de la variation totale de et on note || lapplication de lensemble des parties mesurables de X dans [0, +] qui E mesurable associe sup i |(Ei )|, le sup tant pris sur lensemble des partitions de X .

Proposition 71 || est une mesure. Dmonstration : Il est clair que ||() = 0. Soit maintenant (Ei )iI avec I dnombrable une partition de E . On va chercher montrer que ||(E ) = i ||(Ei ). - Montrons tout dabord que ||(E ) > i ||(Ei ). Pour cela on se donne 0, et on considre, pour tout i dans I , une partition Fi,j de Ei avec i |(Fi,j )| (1 ).||(Ei ) (on peut trouver une telle partition, par dnition de ||). On a alors

32

i (1 )||(Ei ) i,j ||(Fi,j ) i ||(Ei ). En faisant tendre vers 0 on obtient lingalit attendue. - Montrons maintenant que ||(E ) i ||(Ei ). Considrons une partition Fj de E . Si on russit montrer que la somme des |(Fj )| est infrieur ou gal la somme des ||(Ei ) on aura gagn. On considre alors Gi,j = Ei Fj . Les Gi,j forment une nouvelle partition de E . Par dnition de || on sait que ||(Ei ) j |(Gi,j )|. En sommant sur I on obtient

||(Ei )
i i,j

|(Gi,j )|
j i

|(Gi,j )|
j

|(Fj )|

Le rsultat est ainsi prouv. Notons que pour prouver ce rsultat on utilise allgrement les permutations de sommes innies lorsque la convergence est absolue.

1.11.2

Presque recouvrement dun ouvert de Rn par des petites boules

Proposition 72 Soit (xi , ri )iBoules , avec les xi dans Rn , et les ri tels que 0 < ri < < +. Alors il existe Boules un sous-ensemble dnombrable de Boules tel que iBoules B (xi , ri ) iBoules B (xi , 5ri ) ET (i, j ) Boules 2 i = j B (xi , ri ) B (xj , rj ) = (cest dire que les boules de Boules sont disjointes, et que si on multiplie leurs rayons par 5 on recouvre tout ce que lon recouvrait avec Boules. Par commodit, on identiera le couple (x, r) et la boule ferme B (x, r). Dmonstration : On dnit Boulesk pour k 1 lensemble des i Boules tels que ri D D [2 k , 2k1 ]. Cest dire que lon regroupe les boules par taille, les plus grosses dabord. On dnit BellesBoules1 comme un ensemble maximal de boules disjointes dans Boules1 . Cela peut se faire grce au lemme de Zorn (voir lemme ??). On dnit ensuite BellesBoulesk et Genantesk par rcurrence. Genantesk est le sous-ensemble de Boulesk des boules qui intersectent la runion des boules de la runion des BellesBoulesi pour 1 i < n. BellesBoulesk est la runion de BellesBoulesk1 et dun ensemble maximal de boules disjointes parmi Boulesk \ Genantesk . Il est clair que BellesBoulesk est un ensemble de boules de diamtre minor par une constante > 0. On montre maintenant que BellesBoulesk est un ensemble dnombrable de boules : - Le nombre de boules de BellesBoulesk incluses dans [i, i]n est ni, puisque le volume dune boule est minor par une constante > 0 et quil y a un volume ni dans [i, i]n (rappelons que les boules sont disjointes). - Donc BellesBoulesk est dnombrable.

33

On dnit maintenant BellesBoules (tout court, sans indice !) comme la runion des BellesBoulesk . Il sagit dune famille de boules disjointes (facile, on prend deux boules, soit elles appartiennent un mme BellesBoulesk (auquel cas elles sont disjointes), soit lune appartient BellesBoulesk et lautre ). BellesBoules est une runion dnombrable densembles dnombrables, et est donc dnombrable. Il reste maintenant prouver ce que lon cherchait prouver, cest dire que la famille BellesBoules convient, cest dire que si lon multiplie leurs rayons par 5, les boules de BellesBoules remplissent au moins tout lespace rempli par Boules. Soit x appartenant une boule de Boules. Soit B une boule de Boules laquelle appartient x. Soit n tel que B Boulesk . Par dnition de BellesBoulesk , la famille {B } BellesBoulesk BellesBoulesk1 BellesBoulesk2 ... BellesBoules1 nest pas une famille de boules disjointes. Il existe donc une boule B dans un des BellesBoulesi pour i n qui intersecte B. En multipliant le rayon de B par 5, on recouvre donc B ... Corollaire 73 Soit U un ouvert de Rn , et un rel > 0. Alors il existe une famille dnombrable de boules fermes disjointes de diamtre < , toutes incluses dans U , qui recouvrent U part sur un ensemble de mesure de Lebesgue nulle. Dmonstration : On considre les intersections de U avec les couronnes ouvertes de centre 0 et comprises entre les sphres de rayon n et n + 1. Il est clair que les intersections en question sont ouvertes, bornes. Il est donc clair que si lon rsoud la question dans le cas dun ouvert born, par runion dnombrable, on aura rsolu la question. Soit donc un tel U , ouvert born. On considre lensemble des boules fermes de diamtre < incluses dans U . On considre maintenant la famille ChouettesBoules1 dnombrable construite suivant la proposition prcdente ; cest dire quen multipliant le rayon des boules par 5 on recouvre tout U . Le volume de ChouettesBoules1 est au moins 51 n fois le volume de U . On ritre sur le complmentaire de ChouettesBoules1 dans U ; on construit ainsi ChouettesBoules2 . On continue sur le complmentaire de ChouettesBoules1 ChouettesBoules2 ... ChouettesBoulesk pour construire ChouettesBoulesk+1 . On considre maintenant ChouettesBoules la runions des ChouettesBoulesk ; cette famille est dnombrable, et son complmentaire dans U est de volume infrieur (1 1/5n )i pour tout i, et donc de volume nul...

34

Chapitre 2

Produit de convolution
Cette partie sera trs enrichie par la lecture de la partie ??, consacre la convolution en probabilits, et de la partie 4, consacre lapproximation de fonctions, et faisant un large usage du produit de convolution.

2.1

Dnitions et gnralits
Dnition 74 Soient f et g deux applications de Rn dans R mesurables. Alors on appelle produit de convolution de f et g et on note f g la fonction x Rn f (x y )g (y )d(y ).

La convolution servira beaucoup, beaucoup, beaucoup, pour les rsultats dapproximation de la partie 4 (notamment une version utile du lemme dUrysohn 100) et de la partie ??, consacre la convolution en probabilits. Proposition 75 f g =gf

Dmonstration : Rsulte simplement du changement de variable u = x y . Thorme 76 (Domaine de dnition de f g ) Si f et g sont L1 alors f g est L1 et dni presque partout, et f g 1 f 1 g 1 . Si f est L et g L1 alors f g est L et dni presque partout. Si f est borne sur tout compact et si g est L1 support compact alors f g est dni partout. Ce rsultat est utilis par exemple dans la proposition 99. Dmonstration : Simple application de Fubini (thorme 65). Facile, Rn |f (x y )g (y )|d(y ) M Rn |g (y )|d(y ) avec M un majorant essentiel de |f |. 35

Facile aussi, f (x .) admet un majorant sur le compact en dehors du quel g (.) est nul. Thorme 77 Si f est L1 et si g est Lp , pour p [1, ], alors f g est dnie presque partout et appartient Lp ; en outre f g p f 1 g . Dmonstration : Si p = , cest clair, si p = 1, cest le thorme prcdent. Considrons donc maitenant 1 < p < . y g (y )p est L1 . |f (x y )| |g (y )|p dy est ni, par le cas p = 1. 1 Posons q tel que p +1 q = 1. 1/p (|f (x y )| |g (y )|)p dy est ni Puisque (|f (x y )|1/q )q dy est ni aussi, et par lingalit de Hlder 85, |f (x y )| |g (y )| dy est ni aussi et ( (|f (x y )|1/p |g (y )|)p dy )1/p ( ( (|f (x y )| |g (y )|p )dy )1/p ( par le cas p = 1 f (x .)
1/p 1

|f (x y )|)1/q |f (x y )|)1/q

g (.)p

1/p 1

f (x .)

1/q 1

f Do le rsultat.

Dnition 78 Soit f une application dnie sur un espace topologique X et valeur dans C. On appelle support de f ladhrence de lensemble {x X ; f (x) = 0}. On dit que f est support compact si son suppport est compact.

Thorme 79 (Proprit fondamentale du produit de convolution) Si f est C k et si g est L1 support compact, alors f g est C k . En outre pour tout tel que | | k D (f g ) = (D f ) g . On a le mme rsultat si f est C k support compact et g L1 . Ce thorme a pour consquence la propositon 80, ou le rsultat dapproximation 99. Il servira aussi pour le thorme 110 : la densit de lensemble des fonctions C support compact dans C k (Rn ).

36

Dmonstration : On dmontre simplement le premier , le second tant similaire. On montre le rsultat sur toute boule B = B (0, R) ; cest clairement sufsant pour avoir le rsultat dsir. On se donne R tel que le support de G soit inclus dans la boule B (0, R ). Pour tout x dans B et tout y tel que g (y ) est non nul, x + y est dans B (0, R + R ). Il existe M tel que la somme des |D f | pour | | k soit infrieure M sur B (0, R + R ). On procde alors par rcurrence. Linitialisation de la rcurrence, le cas k = 0, est simplement une continuit sous le signe intgral (voir thorme 68). Ensuite on suppose le rsultat vrai jusquau rang k , et on se donne tel que | | = k + 1 ; alors pour un certain i D = x D pour un certain . i Les trois points suivants sont clairement vris : y D f (x y )g (y ) est intgrable x D f (x y )g (y ) est C 1 |D f (x y )| |g (y )| M |g (y )| Alors : D
Rn

f (x y )g (y )d(y ) f (x y )g (y )d(y )
Rn

= =

D xi
Rn

xi (par hypothse de rcurrence) =


Rn

D f (x y )g (y )d(y )

D f (x y )g (y )d(y ) xi

(grce aux rsultats afrms dans le prcdent et grce au thorme 68) =


Rn

D f (x y )g (y )d(y )

Do le rsultat.

2.2
2.2.1

Zoologie de la convolution
Convolue dun polynme

Proposition 80 Si f est un polynme et si g est L1 support compact, alors f g est un polynme. Dmonstration : Il sagit dune application directe du thorme 79... Il suft de se rappeler quune application dont une drive est nulle est un polynme. 37

2.2.2

Une fonction FONDAMENTALE pour la convolution

Proposition 81 Il existe une certaine fonction C de Rn dans R, positive, dintgrale 1, de support inclus dans B (0, 1). Dmonstration : On peut par exemple considrer (x) = K exp( 1 1x 2 ), pour K convenablement choisi. On trouvera au lemme ?? une preuve du fait que cette fonction est convenable. Voir lemme ?? pour une liste dapplications. Corollaire 82 Pour tout , il existe une fonction C , de support inclus dans B (0, ), et dintgrale 1. Dmonstration : On utilise simplement la fonction dnie en 81, avec (x) = L(x/ ), avec L convenablement choisi. On a des applications aux rsultats dapproximation suivantes : - Approximation densembles mesurables par des fonctions C , voir proposition 99. - Approximations de fonctions C k par des fonctions C support compact ; voir le thorme 110. - Approximations de fonctions Lp par des fonctions C support compact : voir le thorme 111.

38

Chapitre 3

Espaces Lp et espaces Lp
3.1 Quelques rsultats utiles
Dnition 83 (Nombres conjugus) On dit que deux rels p et q sont conjugus si ils sont tous les deux > 0 et si 1 1 + =1 p q

Lemme 84 Pour ]0, 1[ et (u, v ) (R+ )2 on a u .v 1 .u + (1 ).v

Dmonstration : On passe au ln et le rsultat est vident par concavit de ln.

Thorme 85 (Ingalits de Hlder) Soient f et g deux fonctions mesurables de X dans R+ , et soient p et q deux rels conjugus, alors f.g ( f p ) p .(
1

gq ) q

Dmonstration : Posons F = ( f p ) p et G = ( g q ) q . On peut supposer sans perte de gnralit F et G nis et non nuls. (x) p x) q 1 1 Posons u = ( f F ) , v = ( g( G ) , = p , on a 1 = q , et donc en appliquant le lemme 84 on obtient f (x).g (x) 1 f (x)p 1 g (x)q + FG p Fp q Gq En intgrant on obtient 1 FG fg 1 1 + =1 p q

39

Ce qui achve la preuve.

Corollaire 86 (Ingalit de Schwartz) Soient f et g deux fonctions mesurables de X dans R, alors |f.g | f 2. g2

Dmonstration : Spcialisation du thorme 85 dans le cas p = q = 2.

Thorme 87 (Ingalit de Minkowski) Soit p ]1, +[, et soient f et g des fonctions mesurables de X dans [0, +]. Alors 1 1 1 ( (f + g )p ) p ( f p ) p + ( g p ) p

Dmonstration : Si ( (f + g )p ) p est innie, alors par convexit de x xp , on g p f p +g p peut crire ( f + , et donc dduire que lingalit annonce est vraie. 2 ) 2 1 On suppose maintenant que ( (f + g )p ) p est nie. On considre q conjugu p. Alors par le thorme 85, on peut crire les deux ingalits suivantes : f.(f + g )p1 ( g.(f + g )p1 ( f p ) p .( (f + g )(p1).q ) q g p ) p .( (f + g )(p1).q ) q
1 1 1 1

On additionne et on obtient lingalit annonce.

40

3.2

Espaces Lp et Lp

On se donne p [1, +]. On note bien que p peut tre +. Dnition 88 (Normes Np ) Si p [1, +[ alors on note Np lapplication 1 qui une fonction f de X dans R ou de X dans C associe ( |f |p ) p . On appelle majorant essentiel dune fonction f tout M tel que |f (x)| M pour presque tout x. Si p = + alors on note N lapplication qui une fonction f de X dans R ou de X dans C associe la borne inf des majorants essentiels de f . N (f ) est appele borne suprieure essentielle de f . On dit quune fonction est essentiellement borne si N (f ) est ni. On note Lp (X, ) ou Lp (X ) lorsquil ny a pas ambiguit lensemble des fonctions f mesurables de (X, ) dans R telles que N p (f ) est ni. Pour la relation R dnie par f Rg f (x) = g (x) presque partout on note Lp (X, ) ou Lp (X ) lensemble des classes dquivalence de lensemble des applications de X dans R contenant au moins une fonction de Lp (X, ). p p p On dnit de mme Lp C (X, ), LC (X, ), LC (X ) et LC (X ), en considrant des fonctions valeur dans C. On note p (X ) lespace LC (X, ) = LC (X, ) avec la mesure du dnombrement (il y a identit entre L(N) et L(N) car pour tout P partie de N (P ) est gal au nombre dlments de P , ventuellement +, et donc le seul ensemble ngligeable est lensemble vide). p p p On note p lespace Lp C (N, ) = LC (N, ) = LC (N) = LC (N ), avec la mesure du dnombrement. Une famille (xi )iI de nombres complexes est sommable de somme x si pour tout il existe J I nie telle que pour tout K ni telle que J K I on ait |x iK | . On note que la borne suprieure essentielle dune fonction est le plus petit majorant essentiel de cette fonction. Np est une semi-norme sur Lp (X ) et une norme sur Lp (X ). lp (X ) est lensemble des applications des f de X dans C telles que la famille (|f (x)|p )xX soit sommable.

41

3.3

Thormes sur les Lp


Thorme 89 (Convergence domine de Lebesgue dans Lp ) On ici p = +. Soit une suite (fn ) de fonctions mesurables, telle que fn (x) f (x) pour presque tout x g Lp /(x, n)|fn (x)| g (x) alors la classe de f appartient Lp et fn tend vers f pour N p . suppose

p Dmonstration : Il suft dappliquer le thorme de convergence domine fn , p avec g et f .

Remarque 90 (Contre-exemple avec p = +) Il suft de considrer fn = [ n, +[, pour avoir toutes les hypothses vries, sans que la conclusion soit juste. Corollaire 91 Les espaces Lp sont des espaces de Banach, pour p [1, +].

Dmonstration : Tout dabord on considre le cas p = . On se donne une srie fn normalement convergente pour la norme innie ; on peut clairement considrer une limite simple f par compltude de R ou C. Quitte remplacer f par une autre fonction de la mme classe que f , on peut considrer M ni un majorant de f (et pas seulement un majorant essentiel). On peut alors simplement considrer le reste i=n+1..+ N (x) pour avoir la convergence pour la norme innie. On traite maintenant le cas p = . Supposons donne une srie fn de fonctions mesurables normalement convergente (il est ncssaire et sufsant pour quun espace norm soit complet que toute srie normalement convergente soit convergente). On note g (x) = |fn (x)|. Par le thorme de convergence monotone g = lim i[1,n] |fi (x)| et cette quantit est nie par hypothse. Par le thorme 89 applique i=1..n fi majore par g appartenant Lp , fn tend vers f pour Np . Bien noter que le rsultat de compltude vaut aussi pour L .

Proposition 92 Pour p [1, +], si X est de mesure nie, alors Lp (X ) Lp (X ) pour tout p p (ventuellement p inni).

42

Dmonstration : Pas dur, en sparant X en lensemble des points o |f | > 1 et en lensemble des points o |f | 1.

Remarque importante ! Comme le signale la remarque qui suit le thorme 109, lespace Lp (Rn ) sexprime en fait comme le complt pour la distance associe la norme . p , si p < . Ce rsultat nest pas valable pour p = ; ici ladhrence serait simplement lensemble des applications qui, pour tout > 0, sont infrieures 1 en dehors dun certain compact K . La dmonstration suivante, difcile, est directement extraite (et simplie, quitte renforcer lgrement les hypothses - le rsultat gnral inclut en fait X union dnombrable de parties de mesure nie) du livre de W. Rudin, Analyse relle et complexe.

Thorme 93 Soit p [1, [, mesure positive nie sur X , forme linaire 1 borne ( valeurs dans C) sur Lp (X ). Soit q tel que p +1 q = 1. Alors il existe a q un unique g (presque partout) L , tel que (f ) =
X

f gd

(3.1) (3.2)

et on a alors = g
q

|g |q

a Lunicit presque partout signie que si deux fonctions vrient cette proprit, alors elles sont ncssairement gales presque partout.

Ce thorme nonce exactement un isomorphisme entre Lq et Lp . Il faut bien noter que Lp signie Lp () et Lq signie Lq (). Dmonstration : Lunicit dcoule facilement du fait que si g et g sont deux fonctions vriant la proprit 3.1, alors pour tout E mesurable, lintgrale sur E de g g est nulle ; donc en particulier pour E gal lensemble des x pour lesquels (respectivement) Re(g (x)) > Re(g (x)), Re(g (x)) < Re(g (x)), Im(g (x)) > Im(g (x)), Im(g (x)) < Im(g (x)). Lexistence est beaucoup plus laborieuse prouver : Tout dabord, lingalit de Hlder 85 et lquation 3.1 impliquent immdiatement g q . Il est donc sufsant de montrer lexistence de g et le fait que g q. Le cas = 0 est trivial. Par la suite nous supposerons donc non nulle. Montrons tout dabord lexistence dune certaine fonction g telle que (f ) = f g pour toute f L (). Cela se fait comme suit : Dnissons L(E ) = (E ) pour E fonction caractristique de E mesurable de (X, ). L est additive, au sens o si A et B sont disjoints, L(A B ) = L(A) + L(B ).
1 En

module !

43

Elle est dnombrablement additive. Pour le voir considrons les Ei pour i entier > 0 mesurables, disjoints, Ak gal lunion des Ai pour i gal 1, 2, ..., k , et E lunion des Ei . p tant suppos infrieur , E Ak p = ((E \Ak ))1/p 0 comme k . Par continuit de , ceci implique que L(Ak ) L(E ). L est donc une mesure complexe. (E ) = 0 implique que L(E ) = 0 car alors E p = 0. Donc, daprs le thorme de Radon-Nikodyn il existe g L1 telle que pour tout E mesurable inclus dans X , (E ) =
E

gd =
X

E gd

Ce rsultat se gnralise par linarit aux fonctions tages mesurables. On peut ensuite le gnraliser aux fonctions dans L () car toute fonction f borne (presque partout) est limite uniforme de fonctions fi tages mesurables ; et fi f p 0 ; donc (fi ) (f ). Il reste donc maintenant montrer que g est Lq et que g q ; par densit de L dans Lp on pourra alors conclure que lquation 3.1 est bien vrie. On traite tout dabord le cas p = 1. On se donne E mesurable ; alors |
E

gd| E = (E )

Donc par le lemme 94 ci-dessous, g . On a donc dune pierre deux rsultats : g est L , et g . Il reste donc traiter le cas p > 1. Cela se fait en considrant telle que g = |g | et de module constant gal 1. Ceci est un exercice classique et peu difcile. Ensuite : On dnit En lensemble des x tels que |g (x)| n. On dnit f = En |g q1 | . On constate facilement que |f |p = |g |q sur En . On sait dj que (f ) = f g ; donc |g |q =
En q

f g = (f ) (
En

|g |q )1/p

donc En |g |q . Par le thorme de convergence monotone 42, on peut alors dire que g q ; do le rsultat. Lemme 94 Supposons X de mesure (X ) ni, g appartenant L1 (), S ferm de C. Alors si pour tout E mesurable de mesure > 0 la moyenne sur E de g (ie (1 E ) E g (x)) appartient S , alors g appartient S presque partout. Dmonstration : Considrons D un disque ferm dans le complmentaire de . Il suft de montrer que (E ) = 0 avec E = g 1 (D) ; en effet, le complmentaire de S tant (comme tout ouvert) union dnombrable de disques ferms, on aura alors g 1 (D) union dnombrables densembles de mesure nulle, donc g 1 (D) de mesure nulle. 44

Montrons donc (E ) = 0. Pour cela supposons, pour arriver une contradiction, (E ) > 0. Alors, en posant le centre de D et r son rayon, | 1 (E ) g | = |
E

1 (E )

(g )|
E

1 (E )

(g )
E

r Or
1 (E ) E

g est cens appartenir S , do contradiction.

3.4
3.4.1

Zoologie des espaces Lp


Espace lp

p p Proposition 95 On note lp lespace Lp C (N, ) = LC (N, ) = LC (N) = p LC (N ), avec la mesure du dnombrement. Il sagit donc de lespace des suites (xi ) telles que |xi |p est ni. La norme Np , est la norme suivante :

Np (x) = x = ( Pour cette norme, lp est complet. Dmonstration : Lingalit de Hlder se traduit par

|xi |p )1/p

N1 (z ) Np (x).Nq (y ) si p et q sont conjugus et si zi = xi .yi .

3.4.2

Espace L2

Gnralits 2 est conjugu lui-mme, do le cas particulier. Voici une liste de proprits, dcoulant immdiatement des proprits de Lp : Le produit de deux fonctions de L2 est intgrable (par lingalit de Hlder)

45

Espaces prhilbertiens L2 et L2 C Dnition 96 Le produit scalaire euclidien usuel sur L2 (X ) est gal (f, g ) < f |g >= f.gd. Ce produit scalaire euclidien fait de L2 (X ) un espace hilbertien rel. Le produit scalaire hermitien usuel sur L2 C (X ) est gal (f, g ) < f |g >= f .gd. Ce produit scalaire hermitien fait de L2 C (X ) un espace hilbertien complexe.

Espace de Hilbert L2 et L2 C L2 et L2 C sont prhilbertiens et complets, donc ce sont des espaces de Hilbert. Ceci sera abondamment utilis dans la partie 5 sur les sries de Fourier.

46

Chapitre 4

Approximation de fonctions
4.1 Topologie et approximation de fonctions caractristiques

On trouvera ici des lemmes qui seront des outils utiles pour les dmonstrations ultrieures. On peut se rfrer au livre "analyse relle et complexe" de Rudin.

4.1.1

Intercalation douverts relativement compacts entre un ouvert et un compact

Lemme 97 Soit X un espace spar localement compact, U un ouvert de X , et K un ensemble compact inclus dans U . Alors il existe un ouvert V de X relativement compact a tel que K V V U .
a Cest--dire

dadhrence dans X compacte.

Le lemme dUrysohn 98 se prouve facilement en utilisant ce rsultat. Dmonstration : Construisons tout dabord V ouvert contenant K , avec V compact - Soit Kx un voisinage compact de x, pour x K - Soit Vx lintrieur de Kx - Les Vx recouvrent K , on peut donc en extraire un recouvrement ni xI Vx - la runion V des Vx , pour x dans I , convient. Si U = X , V convient. Sinon, soit F le complmentaire de U . Bien entendu il est ferm. Pour x dans F dnissons Tx ouvert contenant K avec x Tx . Un tel ouvert existe, par le thorme ??. Dnissons alors Kx = T x F V (voir gure 4.1. Lintersection des Kx pour x dans F est vide, car chaque x de F nappartient pas Tx , donc pas y Ty . Les Kx sont ferms dans un compact V . Donc par la proprit ??, on peut en extraire une sous-famille (Kx )xJ nie telle que lintersection soit vide. Alors xJ Tx V convient (rappelons quun ferm dun compact est compact, voir corollaire ??). 47

V Kx

x Tx

F IG . 4.1 Construction de Kx pour x F .

4.1.2

Sparation dun compact et dun ferm

Lemme 98 (Lemme dUrysohn) Soit X un espace topologique spar localement compact, U un ouvert de X , K un compact de X inclus dans U . Alors il existe une fonction f continue de X dans [0, 1] telle que x K f (x) = 1 x U f (x) = 0

Ne pas utiliser un thorme difcile dans un cas simple : dans le cas dun d(x,X \U ) espace mtrique, la fonction qui x associe d(x,X \U )+d(x,K ) convient. Dans le cas de Rn , on trouvera une preuve plus simple avec le thorme 100 (utilisant la convolution). En outre, la fonction construite sera C .
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                         

Cela revient avoir un compact, un ferm disjoint du compact, et dnir une fonction continue gale 1 sur le compact et 0 sur le ferm. Dmonstration : Par le lemme 97 (appliqu deux fois), construisons V0 et V1 deux ouverts relativement compacts 1 tels que K V 0 V 0 V1 V 1 U Soit q0 , ..., qn , ... une bijection de N sur Q [0, 1], avec q0 = 0 et q1 = 1. Supposons construits (Vqi ) pour i {0, 1, ...n} des ouverts relativement compacts tels que qi < qj implique V qi Vqj pour i et j dans {0, 1, ...n}. Alors le lemme 97 permet de construire Vqn+1 . On construit ainsi une famille de ferms indexs par les lments de Ratio = Q [0, 1], avec q < p V q Vp .
1 D

adhrences compactes.

48

Dnissons alors, pour q Ratio, fq = (1 q )Vq , et gq = qV q + (1 q ) (voir gure 4.2). Puis f = supqRatio fq , et g = infqRatio gq . Nous avons donc, par la proposition ??, f semi-continue infrieurement et g semi-continue suprieurement.

1 1-p 1-p

Vp

Vp

F IG . 4.2 Graphe de fq ( gauche) et gq ( droite). Il est clair que K g et U f . Il suft de montrer (par la proposition ??) que f = g ; ainsi f , semi-continue la fois suprieurement et infrieurement, sera continue. Supposons que f (x) > g (x). - Alors p, q Ratio tels que fp (x) > gq (x) - Donc x Vq , x Vp , et donc q < p - Par contre (voir gure 4.2) 1 p > 1 q ; ce qui est contradictoire avec q < p. Supposons maintenant que f (x) < g (x). - Alors on peut trouver (p, q ) Ratio2 tels que f (x) < 1 p < 1 q < g (x) - Alors par dnition du sup et de linf : fp (x) < 1 p < 1 q < gq (x) - On en dduit alors x Vp et x Vq , ce qui implique p < q , et contredit 1 p < 1 q. On trouvera par exemple une application dans la partie ?? sur le cube de Hilbert. Les autres versions de lemmes dUrysohn (voir lemme 100) auront dautres applications. 49

4.1.3

Approximation dun ensemble mesurable par une fonction C

Proposition 99 Soit E un ensemble mesurable de mesure nie de Rn , et soit > 0. Alors il existe une fonction f C telle que E f V2
(E )

avec Vt (E ) lensemble des lments distance < t de E . Dmonstration : Soit E un tel ensemble. Dnissons fn = V1/n (E ) 1/n , avec 1/n la fonction dnie par le corollaire 82 (de support inclus dans B (0, 1/n) et dintgrale 1, tant en outre de classe C ). fn est bien dnie et L1 , car 1/n et V1/n (E ) sont L1 (voir proprit 76 du produit de convolution). fn est C , par la proprit 79. Tout dabord on remarque que E fn En effet, si x E , alors fn (x) est lintgrale de 1/n sur une boule de rayon (sur cette boule en effet V1/n (E ) vaut 1 - lintgrale de fn y est donc gale lintgrale de 1/n , donc 1). Ensuite fn V2 (E ) pour n assez grand. - on le montre tout dabord pour V2 (E ) (x) = 0. Pour cela, si V2 (E ) (x) = 0, on note que d(x, E ) > 3 /2, alors si 1/n , fn (x) = =
y 1/n

V1/n (E ) (x y )(y )d(y ) V1/n (x y )1/n (y )d(y ) =0

- f est par ailleurs toujours infrieure 1. Do le rsultat, en choisissant f = fn pour n assez grand.

4.1.4

Lemme dUrysohn

Il ne sagit ici dune version dans Rn du lemme dUrysohn. On trouvera une version beaucoup plus gnrale (espace localement compact spar) avec le lemme 98. Mais pour des applications de la vie de tous les jours, ce thorme suft, et peut mme savrer plus puissant, puisquil fournit une fonction C et non simplement une fonction continue. Thorme 100 (Lemme dUrysohn, deuxime version) Soit K un compact de Rn , un ouvert de Rn contenant K , alors il existe une fonction f C support compact telle que K f .

50

Il est plus lgant de se passer dinvoquer un tel thorme lorsque lon peut construire manuellement une solution lgante. Notamment on peut construire manuellement une fonction C de RN dans R comprise entre B (0,n) et B (0,n+1) . En effet, dnissons 1 f|B (0,1) (x) = e 1 x 2 f|B (0,1)c (x) = 0 Cette fonction est C , comme expliqu en ??, et > 0 sur B (0, 1). On dnit alors Fn (x) = B( x,n) f (t)d(t). Fn est C , comme on sen convainc en drivant sous le signe lexpression suivante (quivalente par un simple changement de variable) Fn (x) = B (0,n) f (x + t)d(t) (voir thorme 68). Attention, pour appliquer le thorme de drivation sous le signe somme, il faut bien voir que chaque drive D f est majore par une fonction L1 , ce qui nest pas difcile en loccurence, puisque toutes les drives D f sont continues support compact. Il est ensuite vident que Fn est strictement > 0 sur B (0, n), nulle sur B (0, n +1)c , et comprise entre 0 et 1 partout. On construit de mme, pour ouvert contenant la boule unit ferme, en considrant Fn (x/n) pour n assez grand, une fonction gale 1 sur B (0, 1), et nulle en dehors de . Voir par exemple 4.6.3 ou les thormes 108, 101 et 109. Dmonstration : Il faut tout dabord se rappeler que la distance entre un compact et un ferm disjoints est toujours > 0 (en effet la distance au ferm est continue, par la proposition ??, et donc son minimum est atteint sur le compact). Ensuite on applique le lemme 99.

4.1.5

Partition C de lunit

Thorme 101 (Partition C de lunit) Soit K un compact inclus dans Rn , inclus dans la runion des i pour i [1, p], avec i ouvert. Alors il existe f1 , ..., fp des applications C telles que le support de fi soit inclus dans i pour tout i [1, p], avec K
i[1,p]

fi 1

Dmonstration : On considre la famille (Bi )iI des boules B telles quil existe i [1, p] tel que B i 2 . Etant donn i dans I on note N um(i) un entier tel que Bi N um(i) . Puisque K est compact, et puisque K est (clairement !) runion des (Bi )iI , on se restreint une runion nie (Bi )iJ , recouvrant K . Commenons par prouver le thorme, sans se proccuper de la contrainte i fi 1.
2 i

[1, p] tel que B i et pas B i[1,p] i !

51

Pour cela, dnissons U ryi , pour i J , une fonction C gale 1 sur Bi et nulle en dehors de N um(i) . Cela se fait par le lemme dUrysohn, version 100, ou ventuellement par la remarque qui suit le dit lemme, qui montre que dans ce cas particulier on peut se passer du rsultat gnral. On dnit maintenant M etaU ryi , pour i [1, p], la somme des U ryj , pour j J et N um(j ) = i. Il est clair, comme annonc plus haut, que la famille (M etaU ryi )i , vrie le thorme nonc, ceci prs que la somme nest pas ncssairement infrieure ou gale 1. On se donne maintenant une fonction f C comprise entre K et V (K ) 3 , avec infrieur au double de la distance du compact au ferm F dni par son complmentaire : F c = {x/ M etaU ryi (x) > 0}
i[1,p] (x)f (x) On dnit alors fi pour i [1, p] par fi (x) = gin si x F c , et fi = 0 j =1 gj (x) sinon. On vrie facilement que la famille ainsi construire convient.

4.2

Approximation de fonctions continues


Thorme 102 (Thorme de Stone) On se donne K un compact, et A une sous-algbre unitaire de lalgbre C 0 (K, R) des fonctions continues valeurs relles sur K, munie de la norme f f = supxK |f (x)|. On suppose que A spare les points de K , cest dire qutant donn x et y dans K il existe f dans A tel que f (x) = f (y ). Alors A est dense dans C 0 (K, R).

Dmonstration : On montre tout dabord que x x dnie sur [0, 1] est dans ladhrence de lensemble des polynmes, pour la norme . . Pour cela on considre le dveloppement de x 1 x ; qui est bien dni sur [0, 1[. Le problme est le dveloppement en 1. On observe alors que : - On a 1 t = 1 ai .ti , avec les ai positifs, pour t [0, 1[ - Et i[0,n] ai ti est major par 1 1 t, donc par 1, pour tout t ; en prolongeant par continuit, i[0,n] ai est major par 1. En passant la limite pour n +, i[0,n] ai est major par 1. Le reste in ai .ti est alors major par in ai , qui tend vers 0 quand n , indpendamment de t, donc... Il ne reste plus qu composer par t 1 t pour avoir le rsultat dsir : x x est approchable uniformment par des polynmes sur [0, 1]. Montrons maintenant que si f est dans A, alors |f | est dans A. On se donne racinen (t) le n-ime polynme dune suite de polynmes tendant vers t sur [0, 1]. On suppose f comprise entre 1 et 1 (on peut se ramener ce cas-l en divisant f
3V

(K ), dit -voisinage de K , est lensemble des points situs une distance < de K .

52

par une constante sufsamment grande - on utilise ici le fait que A est unitaire (et donc contient les constantes)). Alors on constate que racinen (f.f ) |f |uniformment On montre maintenant que si n fonctions f1 , ..., fn sont dans A, alors max{f1 , f2 , ..., fn } (resp. min{f1 , f2 , ..., fn }) est dans ladhrence de A ; en effet on peut toujours exprimer le max (resp. le min) dun ensemble ni de fonctions fi par des sommes et diffrences nies des fi et de |fi | (or |fi | est dans ladhrence de A par le point ci-dessus). On montre maintenant qutant donns deux points x et y distincts de [0, 1] et deux rels X et Y , il existe une application f dans A telle que f (x) = X et f (y ) = Y ... Cela est facile en rappelant que A contient les constantes (puisquelle est unitaire) et que A spare les points. On se donne maintenant une fonction f dans C 0 (K, R), > 0 et x dans K . On cherche montrer quil existe g dans A telle que g (x) = f (x) et g (t) < f (t) + pour tout t dans K. Pour cela on considre, en utilisant le dmontr ci-dessus, pour tout t dans K une fonction ft de A gale f en x et infrieure x + /2 en t. On considre alors pout tout t dans K louvert Ut surlequel ft est infrieure f + ; les Ut recouvrent K et on peut donc en extraire un recouvrement ni U = tE Ut , avec E ni. Il ne reste alors qu considrer la fonction min des fonctions ft pour t E , et on a bien une fonction comme souhaite. Maintenant on se donne une fonction f dans C 0 (K, R), et on cherche montrer que lon peut approcher f uniformment par des fonctions de A ; on aura ainsi conclu le thorme. Pour cela, on se donne , et on associe tout t dans K une fonction gt gale f en t, infrieure f + (grce au ci-dessus). On peut alors associer tout t un ouvert Vt tel que gt > f sur Vt . On peut alors prendre pour fonction g le max des gt pour t F , avec F ni tel que lunion des Vt pour t F , et on a bien f g < . Un corollaire important est la densit de lensemble des polynmes trigonomtriques dans lensembles des fonctions 2-priodiques continues. Un autre corollaire est le suivant : Corollaire 103 (Thorme de Weierstrass) Lensemble des polynmes sur un compact K de R et coefcients dans R est dense dans lensemble des fonctions continues de K dans R, pour la norme uniforme . . Dmonstration : Cest un corollaire immdiat du thorme de Stone ci-dessus. Il existe une autre preuve du thorme de Weierstrass, base sur des arguments de probabilit. En fait prcisment, ce corollaire est aussi un corollaire du thorme ci-dessous. Thorme 104 Soit f une application continue de [0, 1] dans R. n k k )xk (1 x)nk , n-ime polynme de BernOn dnit Bn (x) = k=0 Cn f(n stein associ f . Alors la suite Bn converge uniformment vers f . Dmonstration : On remarque que Bn (x) est prcisment lesprance de f ( X n ), avec X suivant une loi binomiale B (n, x). 53

On utilise alors le module de continuit w(f, ) par w(f, ) = sup|xy|< |f (x) f (y )| il est bien valeurs dans R car f est continue sur un compact. Notons M = sup|f |. Alors |f (x) Bn (x)| w(f, )P (| X X X x| ) + M P ( x ) + M P ( x ) n n n w(f, ) + 2M (grce lingalit de Tchebytchev ??) w(f, ) + M 2n 2 1 n2 2 V ar(X )

0 quand n Do le rsultat. Attention ! Le thorme nest valable que dans le cas des fonctions continues de K R dans R ; par exemple si lon considre lensemble des fonctions continues de K C dans C, on constate que lon ne peut pas approcher z z du disque unit ferm dans le disque unit ferm, car
2

f (ei ).ei d = 2
0

et donc si on suppose que la suite de polynmes Pn tend uniformment vers z z , la suite dintgrales ci-dessous tend vers 2 :
2

Pn (ei ).ei d
0

Or toutes les intgrales de cette suite sont nulles (considrer lintgrale monme par monme pour sen convaincre !). Pour que tout sarrange, il faudrait des polynmes en z ET z . Thorme 105 (Stone, version complexe) On se donne A une sous-algbre unitaire de lensemble des fonctions continues de K un compact valeurs dans C, stable par passage au conjugu et sparant les points de K . Alors A est dense dans C (K, C) pour la norme . .

Dmonstration : Re f = (f +f )/2 et Im f = (f f )/2i ; or A est stable par passage au conjugu, donc les parties relles et imaginaires de fonctions de A sont dans A. la sous-algbre des fonctions relles de A spare les points. En effet, soit x et y distincts, il existe une fonction f qui spare x et y ; soit la partie relle de f les spare, soit la partie imaginaire de f les spare. Dans le premier cas on a bien ce quon veut

54

(une fonction relle de A qui les spare), dans le deuxime cas on multiplie par i (on considre i Im f ) et cette fonction les spare. en appliquant le thorme dans le cas rel, on peut donc conclure en approchant sparment la partie relle et la partie imaginaire. Lhypothse sur la stabilit de A par passage au conjugu est indispensable ! En effet, on considre lalgbre C[x], et lapplication du disque unit ferm dans luimme, dnie par z z nest pas holomorphe, et donc ne peut tre dans ladhrence de C[x] (rappel : une limite uniforme de fonctions holomorphes est holomorphe). FLEMMARD Elebeau ny croit pas moi je crois que cest ok

4.3

Approximation de fonctions mesurables


Thorme 106 (Lusin) Soit f une application mesurable de Rn dans C, dont le support est inclus dans E de mesure nie. Alors pour tout il existe g continue de Rn dans C telle que : ({x/f (x) = g (x)}) < sup|g (x)| sup|f (x)|

Lhypothse "support inclus dans E de mesure nie" peut tre oublie. En effet, en rsum, on peut considrer les gi = f|Ui pour i dans N, avec Ui boule de centre 0 et de rayon i ; alors on peut "approcher" gi par hi gale gi sauf sur un ensemble de mesure < 2i+1 , et avec sup hi sup gi . En "recollant" les hi on arrive une fonction proche de f . Dmonstration : On laisse de ct la fonction nulle. Premier cas : 0 f 1 et E compact, sup f = 1. - Donnons nous > 0 - f est limite croissante dune srie croissante de fonctions simples (sn ), gales des fonctions caractristiques densembles mesurables (En ), comme expliqu pendant la preuve de la proposition 38. - On considre R sufsamment grand pour que E B (0, R). - Pour tout n on se donne Kn un compact et n un ouvert inclus dans B (0, R) avec Kn En n B (0, R), et (n Kn ) < .2n (possible grce au thorme 14). - Grce au lemme dUrysohn 98 ou 100, on se donne une fonction fn telle que Kn fn n . fn - Il ne reste plus qu sommer g (x) = nN 2 n. - g est continue, comme somme convergeant normalement dune srie de fonctions continues (proposition ??). - Sur le complmentaire de la runion des n \ Kn , f = g . Cette runion est de mesure - On a bien |g | sup f , puisque chaque fn est majore par 1. Do le rsultat dans le cadre quon stait donn, ie 0 f < 1 et E compact. Passons au cas dune fonction f telle que 0 f 1, sans hypothse de compacit sur E .

55

- Donnons nous > 0 - Il existe un compact K tel que la mesure de E \ K soit infrieur . - On peut donc travailler sur la restriction de f K pour construire g , et on a encore le rsultat dsir. Passons maintenant au cas dune fonction f borne. - En considrant f + et f 4 , et en multipliant par une constante pertinente pour se ramener des fonctions valeurs dans [0, 1], on a aussi le rsultat dsir. On peut maintenant considrer le cas le plus gnral. - Considrons Am = {x Rn /|f (x)| > m}. A0 est de mesure nie ; on peut donc appliquer la proposition 15 pour conclure que la mesure des Am tend vers 0 quand m . - On se donne donc m tel que (Am ) < . (fonction - On peut donc appliquer le rsultat partiel ci-dessus la fonction f.Ac m produit de f par la fonction caractristique du complmentaire de Am , cest dire fonction gale f sur le complmentaire de Am et 0 partout ailleurs). Do le rsultat.

4.4

Approximation de fonctions mesurables bornes


Corollaire 107 Soit f une application mesurable borne de Rn dans C, dont le support est inclus dans E de mesure nie. Alors f est limite simple presque partout dune suite de fonctions gn continues et bornes (par la mme borne).

FLEMMARD intrt de lhypothse f borne ? Dmonstration : Corollaire immdiat du thorme 106. Dtaillons toutefois un peu : On peut se donner une suite (gm ) de fonctions continues telles que gm soit bornes par la mme borne que f et telles que gm soit gale f sauf sur un ensemble Em de mesure au plus 2m , par le thorme 106. m0 pm Ep est de mesure nulle (rsultat facile prouver directement, ou dcoulant facilement du premier lemme de Borel-Cantelli, voir partie ??). On vient prcisment dcrire le rsultat (si, si, regardez bien).

4.5

Dans les espaces C k ou Lp


= max(f (x), 0), f (x) = max(f (x), 0)

Pour connaitre la topologie usuelle sur C k (Rn ), on consultera la partie ??.


4 f + ( x)

56

4.5.1

Densit des fonctions C k support compact dans C k (Rn )

Thorme 108 Lensemble des fonctions C k (Rn , R) support compact est dense dans C k (Rn , R). Dmonstration : On se donne une fonction bulbe C telle que B (0,1) B (0,2) , grce au lemme 100. On dnit bulben (x) = bulbe(x/n) Il est clair que quelle que soit la fonction f dans C k (Rn ), f.bulben+1 est gale f sur la boule de rayon n et de centre 0. Tout compact tant inclus dans une telle boule, la convergence est clairement uniforme sur tout compact de f.bulben+1 vers f , et pareil avec toutes les drives.

4.5.2

Densit de lensemble des fonctions continues support compact dans Lp (Rn )

Thorme 109 Lensemble des fonctions continues support compact de Lp (Rn ) est dense dans Lp (Rn ), pour p = . Dmonstration : Donnons-nous f dans Lp (Rn ). On va chercher une fonction continue g support compact telle que f g Cest facile, il suft dappliquer le thorme 106.
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          

< .

Dune part Lp est complet, dautre part lensemble des fonctions continues support compact est dense dans Lp . On en dduit donc que Lp (Rn ) est le complt de lensemble des fonctions continues support compact pour la norme distance associe la distance Lp .

4.5.3

Densit de lensemble des fonctions C support compact dans C k (Rn )

Thorme 110 Pour tout k dans N, Cc (Rn )a est dense dans C k (Rn ).
a Ensemble

des fonctions C support compact de Rn dans R.

Dmonstration : k Grce au thorme 108, il suft de montrer que Cc (Rn ) est dense dans Cc (Rn )5 . k n Pour cela on xe n N, k N, f dans Cc (R ). On va utiliser les fonctions et dnies dans le corollaire 82 et la proposition 81. On dnit alors (fm ) lapplication f 1/n . On va montrer que la suite fm converge uniformment sur tout compact vers f , et quil en est de mme des drives6 .
5 Ensembles 6 Ce

des fonctions C k support compact. qui est caractristique de la convergence pour la topologie usuelle de C k , voir ??.

57

Calculons : (fm f )(x) = =


n

(f (x y ) f (x))1/n (y )d(y ) y ( )(f (x y ) f (x))dy

(z )(f (x .z ) f (x))dz

(4.1)

(avec le changement de variable z = y/ ) f tant continue support compact, elle est uniformment continue (voir thorme ??). Donc la quantit 4.1 tend vers 0, lintgrale de tant borne, uniformment en x. On en dduit que fm f uniformment. Pour gnraliser au cas des drives de fm et de f , et pour justier que fm est bien C , il suft dappliquer le thorme 79.

4.5.4

Densit de lensemble des fonctions C support compact dans Lp (Rn )

Thorme 111 Lensemble des fonctions C support compact de Rn est dense dans Lp (Rn ), pour p < . Dmonstration : En vertu du thorme 109, il suft de montrer que lensemble des fonctions C n 7 0 n support compact de Rn dans R est dense dans Lp c (R ) C (R , R), pour p < . p n On se donne donc une fonction f dans Lc (R ), pour p < . On va utiliser les fonctions et dnies dans le corollaire 82 et la proposition 81. On dnit alors (fm ) lapplication f 1/n . On pose maintenant q tel que 1/p + 1/q = 1, le conjugu de p. Il ne reste plus qu calculer : |(fm f )(x)| (z )|f (x z/n) f (x)|d(z )

(z )1/q (z )1/p |f (x z/n) f (x)|d(z )

( ((z )1/q )q )d(z ))1/q ( ((z )1/p )|f (x z/n) f (x)|)p d(z ))1/p par lingalit de Hlder (thorme 85) (
7 Ensemble

(z )d(z ))1/q (

(z )|f (x z/n) f (x)|p d(z ))1/p

des fonctions de Lp support compact.

58

On dduit du calcul prcdent, puisque N p (fm f )p (z ) (

= 1 par la proposition 81 :

(z )|f (x z/n) f (x)|p d(z ))d(x) |f (x z/n) f (x)|p d(x)d(z )

(par le thorme de Fubini 65)


p

(z ) f (. z/n) f (.)
0

d(z )

(justi ci-dessous) 0

par le thorme de convergence domine de Lebesgue 89, puisquon a convergence simple vers 0, et convergence domine par z (z )2p f p qui est bien une fonction L1 . Le fait qutant donn z , f (. z/n) f (.) p 0 est clair dans le cas o f est continue, puisqualors f est uniformment continue, et quon intgre f (. z/n) f (.) sur un domaine born ( z donn). Sinon f sexprime de toute faon comme limite dans Lp de fonctions continues support compact (par le thorme 109) ; donc il suft dappliquer lingalit triangulaire.

4.6

Autre approche, dans les espaces Lp

On donne ici des rsultats de densit dans les espaces Lp . Comme signal dans le chapitre Fourier, L1 L2 est dense dans L2 , ce qui a de grandes applications (prolongement de la transforme de Fourier).

4.6.1

Approximation dans L1 par des fonctions semi-continues

Thorme 112 (Vitali-Carathodory) Soit f appartenant L1 (Rn ). Alors pour tout il existe s semi-continue suprieurement et i semi-continue infrieurement, avec s majore et i minore, telles que sf i et (i s)d <

Dmonstration : On se ramne f positive en considrant f = f + f , avec f et f des applications positives. Ensuite on crit f comme limite dune suite sn de fonctions simples On crit alors f comme limite dune srie de fonctions fn = sn sn1 fn tant une combinaison linaire de fonctions caractristiques, on peut crire f (x) =
+

59

iI i Ei (x) f tant dans L1 , on a f d = iI i (Ei ). De par les proprits de la mesure de Lebesgue, Ei est compris entre Ki et Ui , avec (Ui \ Ki ) /2i . Il ne reste plus qu sommer les i .Ui pour dterminer i, et un nombre ni sufsamment grand de i .Ki pour dterminer s.

4.6.2

Approximation dans Lp pour p < par des fonctions en escalier support compact

Dnition 113 Une application valeurs dans R est dite en escalier si cest une combinaison linaire (nie) de fonctions caractristiques dintervalles de R. Une application valeurs dans un espace vectoriel F est dite en escalier si cest une combinaison linaire nie dapplications f. x avec f fonction ca ractristique et x un lment de F .

Thorme 114 Les classes des fonctions en escalier support compact constituent un sous-espace vectoriel dense de Lp (Rn ) pour p [1, +[.

Dmonstration : Il est clair quil sagit bien dun sous-espace vectoriel . Ladhrence de ce sous-espace vectoriel contient les fonctions caractristiques douverts de mesure nie. En effet soit U un ouvert de mesure nie, U = iJ Ii avec J au plus dnombrable (par exemple U = iN U B (0, i)), avec les Ii des ouverts borns, et donc fn = supi[1,n] Ii est majore par U , converge simplement vers U , et donc converge vers U pour la norme de Lp par le thorme 89. Ladhrence de ce sous-espace vectoriel contient aussi les fonctions caractristiques densembles mesurables de mesure nie, comme on sen convaincra aisment en consultant le thorme 14, montrant que la fonction caractristique dun ensemble mesurable est limite de fonctions caractristiques douverts. Ladhrence de ce sous-espace vectoriel contient aussi les fonctions simples. En effet ces fonctions sont des combinaisons linaires des fonctions prcdentes. Ladhrence de ce sous-espace vectoriel contient enn toutes les fonctions intgrables positives, puisque celles-ci sont limites de suites de fonctions simples (voir la proposition 38) et que le thorme 89 garantit la convergence dans Lp , et donc toutes les fonctions intgrables ngatives, et donc toutes les fonctions intgrables.

60

4.6.3

Approximation dans Lp pour p < par des fonctions C support compact

Thorme 115 Pour 1 p < + (p = +), les classes des fonctions indniment drivables support compact constituent un sous-espace vectoriel dense de Lp (Rn ). Dmonstration : Par le thorme prcdent, il suft dapprocher la fonction caractristique dun ouvert born par des fonctions C support compact. Pour cela on utilise une proprit fondamentale de la mesure de Lebesgue, qui est le fait quun ensemble mesurable est compris, pour tout > 0, entre un compact K et un ouvert U tels que (U \ K ) < . Il ne reste plus qu trouver une fonction C , telle que K U Construire une telle fonction est prcisment lobjet dune variante du lemme dUrysohn, voir lemme 100.

4.6.4

Approximation de fonctions tendant vers 0 en dans L par des fonctions C support compact

Thorme 116 Lespace vectoriel des fonctions C support compact est dense dans le sous-espace vectoriel de L des fonctions bornes tendant vers 0 en .

Dmonstration : Laisse au lecteur.

61

Chapitre 5

Fourier
Il est ncssaire pour bien faire davoir lu la partie?? et la partie3.

5.1

Sries trigonomtriques
Dnition 117 Une fonction f est dite T -priodique si pour tout x f (x + T ) = f (x). a Pour p ni on note Lp lespace LP pour la mesure de LeC ([, ]) besgue, mais avec une norme divise par 2 , cest dire que f = 1 p p ( 21 |f (x)| .dx) . On note L lespace L C ([, ]) pour la mesure de Lebesgue. On appelle polynme trigonomtrique une application de la forme t N a0 + i=1 ai .cos(i.t) + bi .sin(i.t), pour N N, ai C, bi C. Le produit scalaire hermitien usuel sur L2 est lapplication (f, g ) 1 2 f (t).g (t).dt. Il sagit bien dun produit scalaire hermitien. On note un lapplication t eint , pour n Z. Nous verrons plus loin quil sagit dune base hilbertienne de L2 .

a attention, ne pas confondre Lp et Lp , ce dernier dsignant lensemble des fonctions dont la puissance p-ime est intgrable, AVANT de quotienter pour la relation dgalit presque partout - par passage au quotient on obtient Lp , et en spcialisant aux fonctions dnies sur [, ] on obtient Lp .

Remarques 118 On identiera par la suite (sans pravis !) une fonction dnie sur [, ] une fonction priodique de priode 2 . A part dans les cas o la continuit est importante, on se proccupera peu du problme de dnition en , puisque lon travaillera gnralement sur des proprits vraies presque partout pour la mesure de Lebesgue. Il y a une renormalisation (la division par 2 pour la mesure de Lebesgue) pour p ni et pas pour p inni ; cela ne serait pas le cas si lon raisonnait sur [0, 1] au lieu de [, ].

62

On peut rcrire un polynne trigonomtrique sous la forme t i=N cn .eint , avec N N et ci C (et rciproquement, une telle fonction est toujours un polynme trigonomtrique). Un polynne trigonomtrique est 2 -priodique. Thorme 119 La famille (un )nZ est une base hilbertienne de L2 .

Dmonstration : Il est clair quil sagit dune famille orthonormale. Il suft dappliquer 4.6.3 et de montrer que lensemble des polynmes trigonomtriques est dense dans lensemble des fonctions continues de [, ] dans C (on utilise la densit de C 0 ([, ], C) dans L2 ). Pour cela, on procde comme suit : - on considre f une fonction continue de [, ] dans C - on dnit Pn (t) = On constate (grce la linarisation) que Pn est un polynme trigonomtrique positif, dintgrale 1, convergeant uniformment vers 0 sur [, ] [, + ] pour tout ]0, [. Intuitivement, Pn tend vers une fonction comportant une pointe en 0 et nulle partout ailleurs. - on dnit fn (x) = f (t)P (x t).dx. En remarquant que le translat dun polynme trigonomtrique est un polynme trigonomtrique, on montre que fn est un polynme trigonomtrique. - on montre alors que la norme innie de fn f tend vers 0, et donc la norme 2 aussi puisque [, ] est de mesure nie (oui, je passe sous silence le calcul, dsol...).
1+cos(t) n ( ) 2 1+cos(t) n ( ) .dt 2

5.2

Sries de Fourier dune fonction priodique

Pour tudier une fonction priodique, on se ramne au cas dune priode 2 , et on la considre dnie sur [, ].

63

Dnition 120 Soit f dans L1 . Alors on dnit les coefcients de Fourier de f pour n Z par (n) = 1 f ei.n.t .f (t).dt 2 On appelle noyau de Dirichlet dordre n lapplication x On le note Dn . On appelle noyau de Fjer dordre n lapplication x i = 0n1 Di n
n i=n

ui (x).

On le note Kn . On note sn (f ) et on appelle somme de Fourier dordre n la somme n i=n f (n)un . On note n (f ) et on appelle somme de Fjer dordre n la somme On appelle srie de Fourier associe f la srie
+
n1 i=0

si

(n).ei.n.t f
n=

on a

1 2 Dn

un = 1 si n = 0 et 0 sinon, ce qui implique que pour tout n 0 = 1 et pour tout n 1 on a 21 Kn = 1 .

1 2

1 On a sn (f ) = 21 Dn f et n (f ) = 2 Kn f (avec par dnition (g f )(x) = g (t)f (x t)dt, produit de convolution) ce qui justie le terme de noyau.

Bien noter le signe "-" dans lexponentielle de la formule. (n) = (un , f ). On remarque que si f L2 , alors f L1 , et f Proposition 121 On a isomorphisme isomtrique entre L2 et l2 (Z), donn par . f f Dmonstration : Cest simplement une reformulation du thorme ??.

Proposition 122 Toute fonction f dans L2 est somme de sa srie de Fourier pour L2 (cest dire que la srie de Fourier de f tend vers f pour la norme 2 et pour f dans L2 ). Dmonstration : Cest simplement une reformulation de la relation de Parseval (thorme ??).

64

Il ny a pas convergence simple de la srie de Fourier vers f , mme si f est continue ! Un problme majeur va tre de montrer des rsultats similaires dans L1 . Proposition 123 Dn (x) = sin((n + 1/2)x) sin(x/2) 1 n sin(nx/2) sin(x/2)
2

Kn (x) =

Dmonstration : Si x nest pas multiple de 2 , alors


2n

Dn (x) = un (x)
k=0

uk (x)

= un (x) =

(eix )2n+1 1 eix 1

eix(n+1/2) eix(n+1/2) eixn+1/2 eix/2 eix/2 eix/2 = sin((n + 1/2)x) sin(x/2)

Do le rsultat sur Dn (si x est multiple de 2 , Dn (x) = 2n + 1, qui est lunique sin(n+ 1 x) prolongement par continuit de sin(x/2 2) ). Toujours pour x non multiple de 2 , Kn (x) = 1 n
n1 k=0

sin((k + 1/2)x) sin(x/2)


n1

1 Im nsin(x/2)

ei(k+1/2)x
k=0

1 einx 1 Im eix/2 ix nsin(x/2) e 1 = sin(nx/2)2 nsin(x/2)2

Do le rsultat.

65

Deux rsultats distincts, prouvs de manires similaires : Thorme 124 (Thorme de Fejer) Soit f priodique continue de priode 2 . Alors pour tout n n (f ) f et n (f )f 0 pour n . Soit f Lp , avec p [1, [a . Alors pour tout n n (f ) p f p et n (f ) f p 0 pour n .
a Bien

noter que est exclus !

Dmonstration : Cette preuve est dtaille dans le livre [22, p81]. Elle utilise la fois lingalit de Hlder et le thorme de Fubini, et le dernier rsultat donn sur le noyau de Fjer. Un autre rsultat, de convergence ponctuelle ce coup-ci : Thorme 125 (Thorme de Dirichlet) Si f est L1 et si f admet une pseudo-drive droite et gauche en x, alors n (f )(x) 1 (limtx,t<x f (t) + limtx,t>x f (t)) 2

Il ne sagit pas ncssairement de drives gauche ou droite, on peut se contenter davoir f dans L1 , et admettant en x une limite gauche et droite f (x) et f+ (x) ; alors les "pseudo-drives" gauche et droite sont fg (x) = limtx,t<x fd (x) = limtx,t>x f (t) f (x) tx f (t) f+ (x) tx

Dmonstration : On renvoie [15] pour une preuve trs claire.

5.3

Transformation de Fourier
Dnition 126 On se donne f dans L1 C (R), et on note pour x dans R (t) = 1 f 2
+

f (x).ei.x.t .dt

est appele transforme de Fourier de f (plus prcisment il sagit de la f transforme de Fourier L1 de f ). On note C lensemble des x C tels que |x| = 1.

66

est continue et tend vers 0 en . Si f est dans L1 , alors f Proposition 127 (Quelques proprits de la transforme de Fourier) Soit f L1 (R). (t ). Avec g : x f (x)eix , pour R, g (t) = f (t)eit . Avec g : x f (x ), pour R, g (t) = f (t) = f (t) Si g est L1 et si h = f g , alors h g (t). Dmonstration : Les deux premiers sont clairs. Le troisime dcoule immdiatement du thorme de Fubini 65. Les deux thormes suivants, fondamentaux, ne seront pas prouvs ici. Ils sont ardus, et prouvs rigoureusement dans [16]. appartiennent tous deux Thorme 128 (Thorme dinversion) Si f et f 1 L , alors + 1 (t)eixt dt g:x f 2 est continue, tend vers 0 en + ou et est gale f presque partout

Thorme 129 (Thorme de Plancherel) La transformation de Fourier stend en une transformation de Fourier L2 , dnie comme lunique ap de L2 dans L2 telle que : plication f f elle concide avec la transforme de Fourier L1 sur L1 L2 cest une isomtrie de L2 dans L2 Elle vrie en outre : cest un isomorphisme despaces de Hilbert entre L2 et L2 Thorme dinversion L2 : limM fA f avec 1 fM (t) = 2 et limM f M f avec 1 f M (x) = 2
M 2 M 2

=0

f (x)eixt dx
M

=0

f (t)eixt dt
M

on peut aussi crire que lapplication de L1 L2 dans L1 L2 qui f associe avec f (x) = 1 f (x)exp(ixt)dt stend en une isomtrie de L2 dans f 2 est linverse de f f au sens o pour toute f L2 f = f = f L2 , et f f presque partout.

67

5.4
5.4.1

Applications des sries de Fourier


Calcul de
1 n=0 n2

Proposition 130

1/n2 = 2 /6
n=1

Dmonstration : On applique simplement la formule de Parseval (thorme ??) la transforme de Fourier de lapplication identit de [, [ dans lui-mme. Pour tout k Z, dnissons (k ) ck = 2 f

ck =

xeikx dx

(0) = 0 c0 = 0cest diref k = 0 ck = [ = (k ) = (1)k /(ik ). donc pour k = 0 f Donc par la formule de Parseval : (
kZ +

xeikx ] ik 2 (1)k ik

eikx dx

(k )|2 = |f
k<0

1/k 2 +
k>0

1/k 2

=
k=1

2/k 2 =

1 2

x2 dx = 2 /3

Et

k=1

1/k = /6. Exemple Maple

> Sum(1/k 2, k = 1..inf inity )


k=1

1 k2

> value(%) 1 2 6

68

5.4.2

Exemple de dveloppement en srie de Fourier : fonction crneau, fonction identit par morceaux
Exemple Maple

> restart; f ourierc := (f, n) > (int(f (t) cos(n t), t = P i..P i)); f ouriers := (f, n) > (int(f (t) sin(n t), t = P i..P i));

f ourierc := (f, n)

f (t) cos(n t) dt f (t) sin(n t) dt

f ouriers := (f, n)

> serie_f ourier := (f, n) > sum(f ouriers(f, k ) sin(k t), k = 1..n) + sum(f ourierc(f, k ) cos(k t), k = 1..n) + f ourierc(f, 0)/2; serie_f ourier :=
n n

(f, n) (
k=1

fouriers(f, k ) sin(k t)) + (


k=1

fourierc(f, k ) cos(k t))

> p := array (0..5); f or i f rom 1 by 2 to 9 do p[(i 1)/2] := serie_f ourier(Heaviside, i)od; p[5] := Heaviside(t); > plot(p, t = P i..P i, title = Approximations d une f onction creneau par seriesde F ourier); > q := array (0..5); f or i f rom 1 by 2 to 9 do q [(i 1)/2] := serie_f ourier(x > x, i)od; > plot(q, t = P i..P i, title = Approximations d une f onction lineaire par morceaux par series de F ourier); Il faut bien noter que les coefcients de Fourier tant calcule simplement en fonction de la priode [, ], on ne se proccupe que de la valeur de la fonction sur ces valeurs, do la simple dnition x > x ou Heaviside, o je ne me proccupe pas de priodiciser la fonction.

69

Bibliographie
[1] P. BARBE , M. L EDOUX , Probabilit, B ELIN , 1998. [2] H. B RZIS , Analyse fonctionnelle, M ASSON , 1983. [3] H. C ARTAN , Calcul diffrentiel, FLEMMARD. [4] A. C HAMBERT-L OIR , S. F ERMIGIER , V. M AILLOT , Exercices de mathmatiques pour lagrgation, Analyse 1, M ASSON , 1997. [5] A. C HAMBERT-L OIR , S. F ERMIGIER , Exercices de mathmatiques pour lagrgation, Analyse 2, M ASSON , 1995. [6] A. C HAMBERT-L OIR , S. F ERMIGIER , Exercices de mathmatiques pour lagrgation, Analyse 3, M ASSON , 1996. [7] P.G. C IARLET, Introduction lanalyse numrique matricielle et loptimisation, D UNOD , 1998. [8] F. C OMBES Algbre et gomtrie, B RAL , 1998. < [9] J.-P. D EMAILLY, Analyse numrique et quations diffrentielles, P RESSES U NIVERSITAIRES DE G RENOBLE , 1996. [10] W. G IORGI , Thmes mathmatiques pour lagrgation, M ASSON , 1998. [11] A. G RAMAIN , Intgration, H ERMANN 1988, PARIS . [12] J.-L. K RIVINE , Introduction to axiomatic set theory, D. R EIDEL P UBLISHING C OMPANY, D ORDRECHT-H OLLAND . [13] S. L ANG , Real analysis, A DDISON -W ESLEY P UBLISHING COMPANY, 1969. [14] D. P ERRIN , Cours dalgbre, E LLIPSES 1996. [15] A. P OMMELLET , Cours danalyse, E LLIPSES 1994. [16] W. RUDIN , Analyse relle et complexe, M ASSON 1992. [17] R. S MULLYAN , Thorie de la rcursion pour la mtamathmatique, FLEMMARD. [18] Y.G. S INAI Probability theory - An introduction course, S PRINGER T EXTBOOK , 1992. [19] P. TAUVEL , Mathmatiques gnrales pour lagrgation, M ASSON , 1997. [20] J. VAUTHIER , J.J. P RAT , Cours danalyse mathmatiques de lintgration, M ASSON , 1994. [21] D. W ILLIAMS , Probability with martingales, C AMBRIDGE U NIVERSITY P RESS , 1991. [22] C. Z UILY, H. Q UEFFLEC , Elments danalyse pour lintgration, M ASSON , 1995.

70