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).