Analyse hilbertienne et de Fourier, s eance 5

Espaces de Hilbert, suite ` Rappel (Pythagore). Si u1 , . . . un sont des vecteurs dun espace de Hilbert H, deux a deux orthogonaux, on a
n

uj
j =1

=
j =1

uj

Cons equence : des vecteurs (uk ), k = 1, . . . , n, orthogonaux et non nuls sont libres. n En eet, si k=1 ck uk = 0, on aura
n

ck uk
k=1

=
k=1

|ck |2 uk

=0

donc |ck | uk = 0 pour tout k , et ck = 0 puisque uk = 0 pour k = 1, . . . , n. Ainsi, la seule combinaison lin eaire de ces vecteurs qui soit nulle est celle dont tous les coecients eme de vecteurs est libre. ck sont nuls : le syst` Si les e1 , . . . , en sont orthonorm es, on a
n n

ck ek
k=1

=
k=1

|ck |2 .

De plus, si F = Vect(e1 , . . . , en ) et si z est un vecteur de F, les coordonn ees de z dans la ees par les produits scalaires z, ek , k = 1, . . . , n base (e1 , . . . , en ) de F sont donn
n

z=
k=1

z, ek ek ,

=
k=1

| z, ek |2 .
n k=1 ck ek

En eet, si z F, il existe des coecients ck tels que z = j = 1, . . . , n on a

n

; pour tout indice

z, ej =
k=1

ck ek , ej = cj .

Projection orthogonale, premi` ere approche e par Projection orthogonale sur un sous-espace vectoriel F = Vect(e1 , . . . , en ) engendr une suite orthonorm ee nie e1 , . . . , en : pour tout vecteur x H on pose
n

PF x =
k=1

x, ek ek .

Le point PF x est dans F et x PF x est orthogonal a ` F. Le point PF x est le point de F a-dire que le plus proche de x. De plus PF x x , cest-`
n k=1

| x, ek |2 x 2 . 1

Preuve. Posons y = y, ej =

n k=1 n

x, ek ek ; pour tout j = 1, . . . , n on a
n

x, ek ek , ej =
k=1 k=1

x, ek

ek , ej = x, ej .

earit e du produit scalaire On voit ainsi que ej , x y = 0 pour tout j = 1, . . . , n ; par lin n par rapport au premier vecteur, on obtient j =1 cj ej , x y = 0, ce qui montre que que x y est orthogonal a ` F : on a bien que y F et x y F. Si z est un vecteur de F quelconque, la di erence y z est encore dans F, donc orthogonale a ` x y et par Pythagore xz
2

= (x y ) + (y z )

= xy

+ yz

x y 2.

En reprenant la ligne pr ec edente avec z = 0, x

2

= (x y ) + y

= xy

+ y

y 2.

S eries de vecteurs dans un espace vectoriel norm e e E, on peut d enir les sommes Si (uk )k0 est une suite de vecteurs dun espace norm partielles
n

Un =
k=0

uk E ;

par d enition, la s erie de vecteurs uk est convergente dans E sil existe un vecteur s E tel que lim s Un E = 0.
n

On pose alors

uk = s = lim Un .
k=0 n

` deux orthogonaux dans un Proposition. Soit (uk )k0 une suite de vecteurs deux a uk 2 < +, espace de Hilbert H ; la s erie uk converge dans H si et seulement si et dans ce cas
+

uk
k=0

=
k=0

uk

Preuve. Posons pour tout entier n 0 U n = u0 + + u n , Vn = Un

2

= u0

+ + un 2 .

Puisque H est complet, la s erie de vecteurs uk converge dans H si et seulement si la suite des sommes partielles (Un ) est de Cauchy dans H. Pour m < n on a Un Um = um+1 + + un , donc Un Um
2 n

=
k=m+1

uk 2

= Vn Vm .

Il en r esulte que la suite de vecteurs (Un ) est de Cauchy si et seulement la suite num erique 2 a-dire si et seulement si uk < +. Dans le cas o` u la (Vn ) est de Cauchy, cest-` s erie converge,
+

uk
k=0

= lim Un
n

= lim
n k=0

uk

=
k=0

uk

ee innie dans un espace de Hilbert H, Proposition. Si (ek )k0 est une suite orthonorm tout vecteur x du sous-espace vectoriel ferm e engendr e par cette suite peut s ecrire
+

x=
k=0

x, ek ek .

esignons par Pn la Preuve. Pour tout n 0, posons Fn = Vect(e0 , . . . , en ) et d projection orthogonale sur Fn . Pour tout > 0 il existe un vecteur z de Vect(ek , k 0) tel que x z < ; il existe un entier N tel que z Vect(e0 , . . . , eN ) ; pour tout n N, on sait que Pn x est plus proche de x que le vecteur z Fn , donc
n

x
k=0

x, ek ek x z < .

Exemple : les fonctions en (t) = e i nt , n Z , sont une suite orthonorm ee dans lespace H = L2 ([0, 2 ], dt/(2 )). D enition. Une base hilbertienne dun espace de Hilbert H est une famille de vecteurs ee par un ensemble ni ou d enombrable I, et telle que (ei )iI index les vecteurs sont de norme un, et deux a ` deux orthogonaux ; lespace vectoriel engendr e Vect(ei , i I) est dense dans H. enum eration quelconque des vecteurs Si I est inni d enombrable et si (in )n0 est une (ei )iI , on a pour tout x H
+

x=
n=0

x, ein ein ,

=
n=0

| x, ein |2 .

Exemple de base hilbertienne : le syst` eme de Haar Pour chaque intervalle born e I = [a, b[ posons m = (a + b)/2, puis I = [a, m[ et ecrit une famille innie dintervalles par r ecurrence : la famille G0 est I+ = [m, b[ ; on d enie, la famille Gn+1 est form ee de tous les form ee du seul intervalle [0, 1[ ; si Gn est d intervalles I , I+ lorsque I varie dans Gn . On voit que Gn est form ee de 2n intervalles disjoints qui recouvrent [0, 1[. On consid` ere la famille de fonctions form ee de h = 1, puis de toutes les fonctions hI = |I|1/2 1I 1I+ 3

o` u I varie dans toutes les familles Gn , n 0. Cette famille est une base hilbertienne de lespace de Hilbert L2 (0, 1). enies par en (t) = e i nt forment une base hilbertienne Th eor` eme. Les fonctions (en )nZ d 2 de lespace de Hilbert L ([0, 2 ]). La preuve un peu longue sera nie la prochaine fois. On sait d ej` a quil sagit dune suite orthonorm ee, il reste ` a prouver quelle engendre un sous-espace vectoriel qui est dense dans L2 . Comme on sait que les fonctions continues nulles en 0 et en 2 sont denses etre dans L2 ([0, 2 ]), il sut de voir que toute fonction continue nulle en 0 et 2 peut approch ee par un polyn ome trigonom etrique
N

P=
k=N

ck ek .

Comme la mesure est nie, il sut de montrer une approximation uniforme ; comme toute fonction continue nulle aux deux bouts peut etre etendue en fonction 2 -p eriodique continue sur R , il sut de prouver le th eor` eme qui suit. 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. Pour la preuve on va se servir du noyau de Poisson : pour 0 < r < 1 on pose Pr ( ) =
nZ

r |n| e i n =

1 r2 . 1 + r 2 2r cos( )

La s erie converge normalement, ce qui permet par exemple de voir que

P r ( t)

dt = 2

r |n|
nZ

e i n

d = 1. 2

a lorigine. Elle est paire, d ecroissante sur [0, ] ce Cette fonction continue Pr pique ` qui implique quand 0 < <

1{|t|} Pr (t)

dt =2 2

P r ( t)

dt 2Pr ( ) 2

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

qui tend vers 0 quand r 1.