Espaces de Hilbert
Phytem - Outils Mathematiques - TD 7
2002-2003
1 Bases Hilbertiennes: les polyn^omes de Legendre
1. Montrer que l'espaceR des polyn^omes est dense dans L2(a b]) ( pour la
norme 2 ( jjf jj22 = ab f 2 (x)dx)). (on admettra que l'espace des fonc-
tions continues est dense, toujours pour la norme 2) dans L2 (a b])).
Qu'en d
eduit-on sur la famille (1 x x2 x3 )?
2. On considere les polyn^omes suivants
k
k = ck dxk f(x ; a)k (x ; b)k g
d
P
avec ck > 0.
Montrer que Pk est de degr
e exactement k et en d
eduire que la famille
des (Pk )k est un systeme total dans L2 (a b]):
3. Montrer que les Pk sont mutuellement orthogonaux.
4. D
eterminer les ck pour que la famille des Pk soit une base hilbertienne
de L2 (a b]):
2 Theorie spectrale: les valeurs propres du lapla-
cien
On considere l'op
erateur Laplacien sur un ouvert de Rn avec les
conditions aux bords dites de Dirichlet (nullit
e sur le bord de ).
1. En dimension 1: On considere l'ouvert =]0 de R, et on cherche a
trouver les valeurs propres et les fonctions propres u associ
ees tels
que:
u = u sur (1)
u = 0 sur : (2)
{ Montrer que les = ;k2 k 2 N sont des valeurs propres pos-
sibles et donner des fonctions propres associ
es.
1
Phytem, Outils mathematiques, TD 7 2
{ Il s'agit de montrer que les valeurs propres donn
ees pr
ec
edem-
ment sont les seules, et pour cela, on va utiliser la th
eorie des
s
eries de Fourier sur les fonctions 2 -p
eriodique. Consid
eront u
une fonction propre associ
ee a une valeur propre . D
enir une
fonction u~ sur R, 2 -p
eriodique, impaire et
egale a u sur ]0 .La
d
evelopper en s
erie de Fourier et en d
eduire toutes les valeurs
propres possibles et les fonctions propres associ
ees.
2. En dimension 2: m^eme question qu'en 1. mais avec =]0 ]0 .
Montrer que les fonctions propres forment une base hilbertienne de
L ().
2
3 Espaces L2 a poids: l'exemple des polyn^omes de
Hermite
3.1 L'espace L2(!dx)
Soit ! une fonction strictement positive. On appelle L2 (!dx) l'espace
des fonctions d
enies presque partout sur RN telles que:
Z
( )2 ( )
jf x j ! x dx < +1:
Si f et g sont dans L2(!dx), on note
Z
(f jg ) = ( ) ( ) ( )
f x g x ! x dx:
1. Montrer que (f jg ) est un produit hermitien sur L2 (!dx).
2. Montrer que l'application f ! f ! est une isom
etrie de L2 (!dx) sur
p
2 N
L (R ). En d
eduire que L2 (!dx) muni du produit hermitien ci-dessus
est un espace de Hilbert.
3.2 Base hilbertienne de L2(e;x dx): les polyn^omes de Her-
2
mite
(On admettra que la suite des polyn^omes 1 x x2 x3 est un systeme
;x
total de L (e dx) pour sa norme associ
ee vu ci-dessus).
2 2
On d
enit les polyn^omes de Hermite par:
n
n (x) = dn (;1)n ex dxn (e;x )
2 d 2
H
1. Montrer que les Hn sont des polyn^omes de degr
e exactement n.
2. Montrer que la famille (Hn ) est orthogonale dans L2 (e;x2 dx)
3. Calculer les dn an que la famille des (Hn ) soit une base hilbertienne
de L2 (e;x2 dx).
