Exerccio 11, pg.

271

Soluo:
Os pontos x 1 so singulares regulares, ou seja, a srie converge neles e pode ser expandida em torno deles.
Vamos expandir a srie em torno do ponto x = 1. claro que a soluo encontrada valer para x 1 0 , ou
seja, para x 1 (o que pedido no exerccio). Seja a E. D. de Legendre:
(1)
(1 x 2 ) y 2 xy ( 1) y 0
Considerando as expresses, em srie de potncias, para y(x), dy/dx e d 2 y/dx2
y( x) ( x x0 ) k (a 0 a1 ( x x0 ) a 2 ( x x0 ) 2 a3 ( x x0 ) 3 ...)

a ( x x0 ) k

(2)

d2y

a ( k ) ( k 1)( x x0 ) k 2

2
dx
0

dy
a ( k )( x x0 ) k 1 ,
dx 0
Substituindo na equao de Legendre

1 x a
2

0
2

k 2
2 x a k ( x 1) k 1 1 a ( x 1) k
k k 1 ( x 1)

0
2

(3)

0 (4)

Fazendo: (1 x ) (1 x) (1 x) (1 x) ( x 1) 2 ( x 1) ( x 1) 2( x 1) ( x 1) .
Fazendo tambm: x 1 x 1 e x 1 t , t>0, podemos escrever: (1 x 2 ) 2t t 2 e x 1 t .
Reescrevendo a expresso (4):

2t t 2

k 2
2 (1 t ) a k t k 1 1 a t k
k k 1 t

(5)

Temos agora sries de potncia em t. No final, podemos retornar varivel x.

2 a k k 1 t k 1 a k k 1 t k 2 a k t k 1
0

2 a k t

1 a t

(6)

Fazendo a troca de por 1 no segundo, quarto e quinto somatrios da expresso acima:

2 a k k 1 t k 1 a 1 k 1k 2 t k 1 2 a k t k 1
2 a 1 k 1 t

k 1

1 a 1 t

k 1

(7)

Desenvolvendo o primeiro e terceiro somatrios para 0 e reunindo os somatrios num nico:

2k (k 1)a0 2a0 k t k 1 1a 1 2a k k 1 a 1 k 1k 2
1

2 a k 2 a 1 k 1t k 1 0

(8)

Igualando a zero os coeficientes de todas as potncias de t, chegamos s expresses:

2 k (k 1) 2 k 2k 2 0 (equao indicial ); a 0 0

1 k 1k 2 2k 1a 1 2k k 1 k a
1 k 1 (k ) a 1 2 k 2 a 0
As razes da equao indicial so k=0 (raiz dupla) e a relao de recorrncia :
1 k 1 (k )
a
a 1
2
2k
Usando o valor k=0, temos
1 1
a
a 1 ; 1, 2, 3,... (Relao de recorrncia para k=0)
2 2
1
Para 1
a1
a0
2 12
1 1 1 2
1 1 1 2
1 2
Para 2
a2
a

a0
1
0
2
2 22
2 2 2 2 12
22 2!
Para 3

a3

1 1 1 2 1 2 3
1 3 2
a1
a0
2
2 3
32 23 2 2 12
1 1 1 2 1 2 3
a3
a0
2
23 3!

1 1 1 2 1 2 3 1 ( n 1) n
a0
2 n ( n !) 2
y(t ) t k (a0 a1t a2t 2 ant n ) , como k=0, temos:

Para n

an

y(t ) a0 (1

( 1) ( 1) ( 1) 1 2 2
t
t )
2 12
2 2 (2!) 2

( 1) ( 1) 1 2 ( 1) ( 1)
a0 1
t
2 ( !) 2
1

mudando a varivel de t para x (t = x1):

( 1) ( 1) 1 2 ( 1) ( 1)
( x 1)

2
2

!)
0

y ( x)

(9)

(10)