1) On recherche des solutions sous la forme u(t;x)=f (t)g(x)
Alors
f 00(t)g(x)¡c2f (t)g 00(x)=0
On recherche des solutions non nulles :
f (t)g(x)=
/0
Pour (t;x) admissibles, on divise par f (t)g(x) :
f 00(t) g 00(x) 2
= c ; constant par rapport à (t;x)
f (t) g(x)
On a
u(t;0)=f (t)g(0)=0 8t ) g(0)=0
Et
u(t;1)=f (t)g(1)=0 ) g(1)=0
De plus
g 00(x)
=¡,¡g 00(x)=g(x); g(0)=g(1)
g(x)
Donc
g 00+g=0; g(0)=g(1)=0
=0 ) g(x)=0 impossible
/ 0 tq
On recherche et g
g 00+g=0; g(0)=g(1)=0
Ainsi 0 n'est pas valeur propre.
On suppose <0:
=¡r2 ) g 00¡r2g=0
g(x)=aerx+be¡rx= ch(rx)+ sh(rx)
g(0)=0= ch(0)+ sh(0)=
g(1)= sh(r)=0 ) = =0 ) g0
De nouveau c'est impossible. Donc, nécessairement, >0:
=k 2 ) g 00(x)+k 2g(x)=0
g(x)=aeikx+b ¡ikx= cos(kx)+ sin(kx)
g(0)=0= ; g(1)= sin(k)=0
1
/0 )
Si sin(k)= =0 ) g0 impossible.
Si sin(k)=0 ) sin(kx) convient. On pose donc k=l; l2Z:
Pour tout l2Z, l2 2= est une valeur propre (vp) de ¡@x2 avec les conditions de Dirichlet au bord
associée à la fonction propre sin(lx)=wl(x). Ainsi
¡@x2wl=l2 2wl ; wl(0)=wl(1)=0
On a donc, avec g=wl:
f 00(t)
=¡c 2l2 2
f (t)
f 00+c2l2 2f =0
Donc
f (t)= cos(clt)+ sin(clt)
ET
8l2N; [ cos(clt)+ sin(clt)]sin(lx)
est une solution de
@t2u¡c2@x2u=0; u(t;0)=u(t;1)=0
On prolonge u par imparité puis par 2-périodicité.
X
u(t;x)= bl(t)sin(lx)
l>1
X
u0(x)= Bl(u0)sin(lx)
l>1
X
v0(x)= Bl(v0)sin(lx)
l>1
Formellement
X
@t2u¡c 2@x2u=0 , [bl00(t)+c 2l2 2bl(t)]sin(lx)=0
l>1
On a bien u(t;0)=u(t;1)=0 par construction
Puis
X X
u(0;x)= bl(0)sin(lx)=u0(x)= Bl(u0)sin(lx)
l>1 l>1
X X
@tu(0;x)= bl0(0)sin(lx)=v0(x)= Bl(v0)sin(lx)
l>1 l>1
Par unicité des coeff de Fourier
8l2N; bl00+c2 2l2bl = 0
bl(0) = Bl(u0)
bl0(0) = Bl(v0)
2
Donc
bl(t) = cos(clt)+ sin(clt)
bl(0) = =Bl(u0)
bl0(0) = cl =Bl(v0)
B (v )
bl(t) = Bl(u0)cos(clt)+ l 0 sin(clt)
cl
Finalement
X Bl(v0)
u(t;x)= Bl(u0)cos(clt)+ sin(clt) sin(lx)
cl
l>1