Captulo 3 Polinmios e Funes de Laguerre

3.1 - Polinmios de Laguerre: Definio e Propriedades

Definio 3.1.1 Chama-se polinmio de Laguerre de grau m ao polinmio L m definido por , m = 0,1,2, .... L m (t ) = ( 1) r r! r =0
m r m t r

Propriedade 3.1.1 (Funo geradora) = L m ( t)w m . 1 w m= 0 Propriedade 3.1.2 (Frmula de Rodrigues) L m (t ) = e t d m m t t e , m = 0,1,2, .... m ! dt m
tw e 1 w

Propriedade 3.1.3 (Ortonormalidade) Os polinmios de Laguerre so ortonormais em [0,+[ para a funo peso e t :
+ 0 L m ( t ) L n ( t )e t dt = m,n .

Propriedade 3.1.4 (Frmulas de recorrncia) ( m + 1) L m+1 ( t ) = ( 2 m + 1 t ) L m ( t ) mL m1 ( t ); m 1 L 0 = 1 L1 = 1 t t d (L ( t )) = mL m ( t ) mL m1 ( t ) ; m 1 dt m

d d (L m ( t )) = dt (L m1( t )) L m1( t) ; m 1 dt

Propriedade 3.1.5 (Equao diferencial) Os polinmios de Laguerre y = L m ( t ) , m = 0,1,2, ... verificam a equao diferencial ty ' '+(1 t ) y'+ my = 0.

Propriedade 3.1.6 (Transformada de Laplace) t r m (p 1) m r m 1 . /{L m (t )} = ( 1) r / = ( 1) r r +1 = p r ! r=0 p m+1 r=0

m r m

3.2 - Funes de Laguerre: Definio e Propriedades

Definio 3.2.1 Chama-se funo de Laguerre de ordem m a funo O m ( t ) assim definida: O m ( t ) = 2 e t L m ( 2t ) , IR +.

Propriedade 3.2.1 As funes de Laguerre formam um sistema ortonormal total em L2 ]0,+[ .

Propriedade 3.2.2 /{O m (t )} =

(p ) m 2 p: Re(p) > , (p + ) m+1

consequncia imediata das Propriedades 2.3.1, 2.3.2 e 2.3.3.

12