Analyse hilbertienne et de Fourier, s eance 6

Espaces de Hilbert, suite 2 Il nous reste ` a nir la preuve de deux r esultats enonc es dans la s eance pr ec edente. Th eor` eme. Les fonctions (en )nZ d enies par en (t) = e i nt forment une base hilbertienne de lespace de Hilbert L2 ([0, 2 ], dx/(2 )). Comme on sait que les fonctions continues qui sont nulles en 0 et en 2 sont denses( a ) dans lespace L2 ([0, 2 ]), on a dit quil sut de voir que toute fonction continue nulle en 0 et 2 peut etre approch ee uniform ement par un polyn ome trigonom etrique
N

P=
k=N

ck ek .

Cest le th eor` eme qui suit qui donne cette information. Th eor` eme (Weierstrass p eriodique). Si f est une fonction continue 2 -p eriodique sur R , on peut lapprocher uniform ement par des polyn omes trigonom etriques. Avant de se lancer dans la preuve, on va faire quelques rappels et introduire de nouveaux el ements utiles. Rappel : norme uniforme, convergence uniforme. Si C([a, b]) d esigne lespace vectoriel des fonctions continues sur lintervalle ferm e born e sur [a, b], on le munit de la norme enie pour toute fonction continue f par uniforme f u d f
u

= max{|f (t)| : t [a, b]}

(on pourrait aussi noter cette norme f , la norme induite par lespace L ([a, b]), o` u [a, b] est muni de la mesure de Lebesgue). Dire quune suite (fn ) de fonctions continues converge uniform ement sur [a, b] vers une fonction f peut sexprimer au moyen de la norme uniforme, lim fn f u = 0.
n

Quand f est une fonction continue 2 -p eriodique sur R , son maximum sur R est identique a son maximum sur un intervalle de longueur 2 , par exemple [a, b] = [0, 2 ]. ` Int egrale sur une p eriode. Si f est continue 2 -p eriodique, la d eriv ee en x de x
x+2

f (t) dt
x

est nulle, puisquelle vaut f (x + 2 ) f (x) = 0, ce qui montre que lint egrale sur une p eriode ne d epend pas de lintervalle de longueur 2 choisi. Le m eme r esultat est vrai aussi pour une fonction 2 -p eriodique int egrable sur [0, 2 ], en d ecoupant lint egrale : si 0 < x < 2 on peut ecrire
x+2 2 x+2 2 x 2

f (t) dt =
x x

f (t) dt +
2

f (t) dt =
x

f (t) dt +
0

f (t) dt =
0

f (t) dt.

La convolution p eriodique de f, g , fonctions 2 -p eriodiques int egrables sur [0, 2 ], sera d enie par a+2 dt f ( x t) g ( t) , x R , (f per g )(x) = 2 a o` u la valeur de lint egrale ne d epend pas de a, dapr` es la remarque pr ec edente. Preuve du th eor` eme. Pour montrer le th eor` eme de Weierstrass p eriodique on va se servir du noyau de Poisson d ej` a introduit dans la s eance pr ec edente : pour 0 < r < 1 on a pos e 1 r2 1 r2 . r |n| e i n = = Pr ( ) = |1 r e i |2 1 + r 2 2r cos( )
nZ

La s erie converge normalement, ce qui permet par exemple dintervertir int egrale et s erie, et de voir ainsi que

Pr ( )

d = 2

r |n|
nZ

e i n

d = 1, 2

car les int egrales sont nulles, sauf si n = 0. Cette fonction continue Pr pique ` a lorigine ; elle est paire, d ecroissante sur [0, ] ce qui implique quand 0 < < dt 1{|t|} Pr (t) =2 2

dt P r ( t) 2Pr ( ) 2

dt 1 r2 Pr ( ) = 2 1 + r 2 2r cos( )

qui tend vers 0 quand r 1, avec x e. Autrement dit, la masse de Pr (limit ee ` lintervalle [, ]) se concentre ` a a lorigine quand r 1 ; cest un cas particulier du ph enom` ene dapproximation de lunit e. On montre alors que ement vers f quand r 1. a . La convol ee f per Pr tend uniform erie trigonom etrique, limite uniforme de polyn omes b . La convol ee f per Pr est une s trigonom etriques. ement Pour le point a, on se donne > 0 et on trouve, parce que f est ( b ) uniform continue sur R , un r eel > 0 tel que |f (x) f (y )| < /2 d` es que |x y | < ; on choisit ensuite r susamment proche de 1 pour que

P r ( t)

dt < 2 1+8 f

;
u

on ecrit f (x) (f Pr )(x) =

(f (x) f (x t)) Pr (t)

dt ; 2

on d ecoupe lint egrale selon que |t| < ou bien |t| ; dans le premier cas, on a |f (x) f (x t)| < /2 par le choix de , et dans le deuxi` eme cas on majore la di erence eel par 2 f u ; on obtient ainsi, pour tout x r |f (x) (f Pr )(x)| 2

P r ( t)

dt +2 f 2

|t|

P r ( t)

dt < , 2

donc f f Pr

< . Pour le point b, on trouve par le changement de variable s = x t

x+ x

(f Pr )(x) =

f (s)Pr (x s)

ds = 2

f (s)Pr (x s)

ds 2

( ) o` u

=
nZ

r |n|

f (s) e i n(xs)

ds = 2

r |n| cn (f ) e i nx ,
nZ

cn (f ) =

f (s) e i ns

ds 2

est le n i` eme coecient de Fourier complexe de la fonction f . Il est clair que |cn (f )| erie dans l equation () est normalement convergente ; ceci f u pour tout n, donc la s implique que la fonction somme f per Pr est limite uniforme des sommes partielles
N

x
n=N

r |n| cn (f ) e i nx ,

comme on voulait le montrer. Ceci termine la d emonstration du th eor` eme de Weierstrass p eriodique. Il r esulte de tout ceci que le syst` eme trigonom etrique est une base hilbertienne : 2 pour toute fonction f L ([0, 2 ]), on a dans lespace L2 f=
nZ

f, en en

o` u f, en =
0

f (t) e i nt

dt = cn (f ). 2

Ce r esultat nindique pas sil y a egalit e pour des valeurs de x, ni m eme si la s erie es le th eor` eme num erique nZ cn (f ) e i nx converge pour des valeurs de x. Cest vrai dapr` suivant, qui est un r esultat tr` es dicile datant du milieu des ann ees 1960 (larticle du math ematicien su edois Lennart Carleson est paru en 1966). Th eor` eme de Carleson : pour toute fonction f L2 ([0, 2 ]) et pour presque tout x, la s erie de Fourier
+

ck (f ) e i kx

k=

converge et sa somme est egale ` a f (x). Dire que la s erie converge signie que les deux s eries
1

et

+ 0

convergent.

Exemple : d eveloppement en s erie de Fourier de la fonction p eriodique f d enie par f (x) = 1 |x|/ lorsque |x| . Pour n = 0, on voit en utilisant la parit e de f que

cn (f ) = =

f (x) e i nx

dx = 2

f (x) cos(nx)

1 dx = 2

(1 x/ ) cos(nx) dx

1 1 1 1 cos(n ) , (1 x/ ) sin(nx) + sin(nx) dx = n n 0 2 n2 0 qui est egal a ` 0 pour n pair non nul, et a ` 2/( 2 n2 ) pour n impair. On voit aussi que erie de Fourier de f est donc c0 (f ) = 1/2. La s

1 + 2

nZ

1 cos(n ) i nx 1 4 e = + 2 2 2 n 2

+ k=0

cos((2k + 1)x) . (2k + 1)2

La s erie pr ec edente est normalement convergente, et sa somme g (x) d enit donc une fonction continue ; comme f et g sont continues et doivent etre egales presque partout esulte( c ) que f (x) = g (x) pour (puisquelles repr esentent la m eme classe dans L2 ) il en r tout x. La valeur en x = 0 ou x = donne les egalit es classiques
+ k=0

1 2 , = (2k + 1)2 8

1 2 . = 2 n 6 n=1

Gram-Schmidt et bases hilbertiennes Proposition. Si on a une suite (vn )n0 de vecteurs lin eairement ind ependants dans un espace de Hilbert H, il existe une suite orthonorm ee (fn )n0 telle que Vect(fk : 0 k n) = Vect(vk : 0 k n) pour tout n 0. eme libre ; on introduit Preuve. Le vecteur v0 est non nul, puisquil fait partie dun syst` pour commencer le vecteur de norme 1 f0 = v0
1

v0 ,

et on a bien que Vect(f0 ) = Vect(v0 ). Supposons que f0 , . . . , fn aient et e d etermin es et que Vect(v0 , . . . , vn ) = Fn = Vect(f0 , . . . , fn ) ; la projection orthogonale Pn sur Fn est donn ee pour tout vecteur x H par
n

Pn x =
k=0

x, fk fk .

Puisque les vecteurs (vj ) sont ind ependants, on sait que vn+1 / Vect(v0 , . . . , vn ) = Fn , donc yn+1 = Pn vn+1 = vn+1 ; posons fn+1 = vn+1 yn+1
1

(vn+1 yn+1 ).

Ce vecteur de norme 1 est orthogonal a ` Fn , donc a ` f0 , . . . , fn ce qui montre que les es. Par ailleurs, fn+1 Fn+1 = Vect(v0 , . . . , vn+1 ) ; vecteurs f0 , . . . , fn+1 sont orthonorm les n + 2 vecteurs f0 , . . . , fn+1 sont libres, et ils sont tous dans lespace Fn+1 , qui est de equent dimension n + 2. Ils forment donc une base de Fn+1 ) et par cons Vect(v0 , . . . , vn+1 ) = Vect(f0 , . . . , fn+1 ). 4

D enition : espaces s eparables. Un espace m etrique (X, d) est s eparable sil existe une suite (xn )n0 de points de X qui est dense dans X. Il est clair que R , C , Rn sont s eparables. On peut montrer que lespace L2 ([a, b]) est s eparable. Corollaire. Si H est un espace de Hilbert de dimension innie et s eparable, il existe une ee par lensemble N des entiers 0. base hilbertienne (en )n0 pour H, index Preuve. Par d enition il existe une suite dense (xk ) dans H ; on peut ( d ) construire ee de vecteurs ind ependants et telle que par r ecurrence une sous-suite vn = xkn form es Gram-Schmidt, il existe une suite xj Vect(v0 , . . . , vn ) pour tout j kn . Dapr` orthonorm ee (ej )j 0 telle que Vect(ej , j 0) contienne tous les Vect(v0 , . . . , vn ) et en particulier tous les vecteurs (xk )k0 . Il en r esulte que Vect(ej , j 0) est dense dans H, enition. donc (ej )j 0 est une base hilbertienne, par d Projection orthogonale Lemme. Soient H un espace de Hilbert sur K , F un K-sous-espace vectoriel de H, x H et y F ; alors x y est orthogonal a ` F si et seulement si y est le point de F le plus proche de x, x y = d(x, F) = min{ x z : z F}. Preuve. Supposons dabord que x y F ; pour tout vecteur z F, on voit que y z F, donc y z est orthogonal a ` x y et xz
2

= (x y ) + (y z )

= xy

+ yz

x y 2,

donc y est le point de F le plus proche de x. Supposons inversement que y soit le point de F le plus proche de x ; si v est un vecteur de F, le vecteur y + tv est dans F pour tout r eel t, donc x (y + tv ) 2 x y 2 pour tout t ; la fonction t x (y + tv )
2

= xy

2t Re x y, v + t2 v

atteint son minimum en t = 0, donc sa d eriv ee en t = 0 est nulle, ce qui donne Re x y, v = 0 pour tout vecteur v F ; ceci est susant quand K = R , mais quand K = C il faut faire un pas de plus : comme F est alors un C-sous-espace vectoriel de H, on peut choisir ere r eel de fa con que si v1 = e i v , on ait x y, v1 R . On a encore v1 F : la premi` partie du raisonnement montre que x y, v1 = 0, donc x y, v = 0, pour tout vecteur v F, ce qui signie que x y est orthogonal a ` F. Notes ( a ) Pour chaque entier n 1 soit n la fonction qui vaut 0 en x = 0 et en x = 2 , qui vaut 1 sur lintervalle [1/n, 2 1/n], et qui est ane sur les deux intervalles [0, 1/n] et [2 1/n, 2 ]. Cette suite de fonctions positives tend simplement vers lindicatrice de lintervalle ouvert ]0, 2 [, en restant major ee par 1. Si f est une fonction continue sur 2 ee par la fonction [0, 2 ], la suite |f f n | tend presque partout vers 0 en restant major 2 egrable sur [0, 2 ] ; il en r esulte par convergence domin ee que f est limite |f | , qui est int dans L2 de la suite des fonctions continues f n , qui sont nulles en 0 et en 2 . 5

( b ) Consid erons la fonction f sur un intervalle de deux p eriodes, par exemple [0, 4 ] ; sur ce compact, on sait que la fonction f est uniform ement continue, donc il existe > 0 tel que tel que |f (x) f (y )| < /2 d` es que x, y [0, 4 ] v erient |x y | < ; on peut choisir < 2 ; si x1 , y1 sont deux points quelconques de R tels que |x1 y1 | < < 2 , on peut toujours trouver un entier k tel que x = x1 2k et y = y1 2k soient tous les deux dans [0, 4 ] : si x1 y1 par exemple, on choisit k tel que x = x1 2k [0, 2 [ ; alors si y = y1 2k , on a 0 y x = y1 x1 < 2 donc 0 x y x + 2 < 4. eriodicit e. On aura |x y | = |x1 y1 | < , et |f (x1 ) f (y1 )| = |f (x) f (y )| < /2 par p ( c ) Il sagit de voir quune fonction continue h nulle presque partout sur [0, 2 ] est en fait nulle partout. Si h nest pas identiquement nulle, lensemble {x : h(x) = 0} est un ouvert non vide, donc il contient un intervalle non vide ]a, b[, avec 0 a < b 2 . Mais cet intervalle est de mesure (b a)/(2 ) > 0 : la fonction h est non nulle sur un ensemble de mesure > 0, ce qui contredit lhypoth` ese. Par le m eme type dargument on montre que la norme uniforme h u dune fonction h continue sur [0, 2 ] est egale ` a sa norme h dans lespace L ([0, 2 ]) (la mesure etant la mesure de Lebesgue, ou un multiple non nul de la mesure de Lebesgue). ( d ) Puisque H est de dimension innie, il existe au moins un vecteur w = 0 dans H, et w , ce qui implique puisque (xk ) est dense, il existe un entier k tel que w xk < 1 2 enit k0 comme le plus petit entier k tel que xk = 0 et on que xk nest pas nul. On d pose v0 = xk0 . et e d enis et si on a pos e vj = xkj pour 0 j < n, on dit que H, Si k0 , . . . , kn1 ont qui est de dimension innie, ne peut etre egal a ` F = Vect(v0 , . . . , vn1 ) ; le sous-espace F est complet (` a cause de sa dimension nie), donc ferm e dans H. Si w est un vecteur de H qui nest pas dans le ferm e F, on peut trouver une boule ouverte B qui contient w et ne rencontre pas F ; comme (xk ) est dense, il existe des vecteurs xk qui sont dans B, / F et donc pas dans F. On peut alors d enir kn comme le plus petit entier k tel que xk on pose vn = xkn . Pour tous les entiers j < kn on a xj F Vect(v0 , . . . , vn ), et pour j = kn on a ependants puisque v0 = 0 aussi xkn = vn Vect(v0 , . . . , vn ). Les vecteurs (vn ) sont ind / Vect(v0 , . . . , vn1 ), pour tout n 1. et vn