Académique Documents
Professionnel Documents
Culture Documents
OMAR CHADAD
2015
Exercice 15 :
1 L ' existence :
Pour n 0
suffit de prendre H 0 1
Pour n 1
suffit de prendre H1 2 X
d n 1 x
Soit n 1 supposons que H n 1 , H n X , x : n 1 e (1) n 1 H n 1 ( x)e x et
dx
n
n 1
n
d x
d
d d x d n
n
x
x
e (1) H n ( x)e . On a
e n e n 2 xe x par formule de Leibniz
n
n 1
dx
dx
dx dx
dx
k
nk x
0
n x
1
n 1 x
n
dn
e
e
d n x
d n 1 x
x
k d x d
0 d x d e
1 d x d
on a
xe
x
e
n
e
n
n
n
dx n
dx k dx n k
dx 0 dx n
dx1 dx n 1
dx n
dx n 1
k 0
D ' o
d n 1 x
d n x
d n 1 x
e
2
x
e
2
n
e 2(1) n xH n ( x)e x 2(1) n 1 nH n 1 ( x)e x
n 1
n
n 1
dx
dx
dx
n 1
(1) 2 xH n ( x) 2nH n 1 ( x) e x
H n 1 2 XH n 2nH n 1 . Rcurrence tabli
d n 1 x
Soit n on suppose que K n X , x : n 1 e (1) n K n ( x)e x
dx
n
x
n
x
alors x
: (1) K n ( x)e (1) H n ( x)e
d ' o x
: K n ( x) H n ( x) i.e K H
2 Soit p
et x : on a ( 1) p H p ( x)e ( x )
d p ( x ) d p x
e
p e (1) p H p ( x)e x
p
dx
dx
Pour n 0 on a H 0 1
donc deg H1 1 et Cd H1 2 21
Pour n 1 on a H1 2 X
deg H n n
deg H n 1 n 1
Soit n 1 on suppose que
et
n
n 1
Cd H n 2
Cd H n 1 2
On a d ' aprs 1 H n 1 2 XH n 2nH n 1 alors deg H n 1 deg 2 XH n n 1 et Cd H n 1 Cd 2 XH n
2Cd X Cd H n 2 2n 2n 1 car deg 2nH n 1 n 1 n 1 deg 2 XH n
deg H n 1 n 1
ainsi
n 1
Cd H n 1 2
3 Pour n 0 le rsultat est claire ,sinon :
Soit n
et P
t
n X
P (t ) H n (t )e dt ( 1)
et
a, b
on a : t a, b H n (t )e t (1) n
d n t
e donc
dx n
d n t
P(t ) n e dt par une intgration par partie gnralise
dx
Polynmes dHermite
OMAR CHADAD
2015
on a
b
n 1
d n 1 k t
k
(k )
P (t ) H n (t )e dt ( 1) ( 1) P (t ) n 1 k e P ( n ) (t )e t dt
dx
k 0
a a
t
b
n 1
(1) (1) k P ( k ) (t )( 1) n 1 k H n 1 k (t )e t P ( n ) (t )e t dt
k 0
a a
n
b
n 1
P ( k ) (t ) H n 1 k (t )e t P ( n ) (t )e t dt
k 0
a a
en faisant tendre a
et b
on aura
Hn , P
P (t ) H n (t )e t dt
Soit n, m
d ' o la famille H n n
Hn
on a H n
Hn , Hn
d ' o H n
P ( n ) (t )e t dt
Hn , Hm
4 Soit n
n !2n
5 Etabli dans 1
est orthogonale
on a :
H n ( n ) (t )e t dt or deg H n n et Cd H n 2n donc H n ( n ) n !2 n
e t dt n !2n