AULA DE MTODOS MATEMTICOS 13/05/2015

- PROF. Jos Higino Dias Filho

4 - Soluo de equaes diferenciais ordinrias de segunda ordem por sries de potncia.

4.1 Reviso de sries de potncias
A ttulo de reviso, vamos apresentar, bem resumidamente, alguns resultados importantes sobre sries de
potncias:

1 uma srie de potncias

an x x0 n convergente num ponto x se lim

an x x0 n

n0

n0

existe para

todo x. A srie certamente converge para x = x0; ela pode convergir para todos os valores de x ou, ainda,
pode convergir para alguns valores de x e no convergir para outros.

2 Uma srie

an x x0 n

converge absolutamente num ponto x se a srie

n0

n0

n0

an x x0 n an x x0 n
converge. Pode-se mostrar que, se uma srie converge absolutamente, ento ela tambm converge. A
recproca no , necessariamente, verdadeira.
3 Um dos testes mais teis para que se verifique a convergncia absoluta de uma srie o teste da
razo. Se an 0 e se, para um valor fixo de x

an 1 x x0 n 1
a
x x0 lim n 1 L x x0
n
n a x x
n a
n
n
0
lim

ento a srie de potncias converge para o valor de x se x x0 1 L e diverge se x x0 1 L . Se

x x0 1 L , o teste inconclusivo.

4 Se a srie de potncias

an x x0 n

converge em x = x1, ela converge absolutamente para

n0

x x0 x1 x0 . Se ela diverge em x = x1, ela diverge para x x0 x1 x0 .

5 Existe um nmero no negativo , chamado de raio de convergncia, tal que

an x x0 n

converge

n0

absolutamente para x x0 e diverge para x x0 . Para uma srie que converge apenas em x0,
definimos que = 0; para uma srie que converge para todo x, definimos que infinito. Se > 0, ento
o intervalo x x0 chamado de intervalo de convergncia. A srie pode tanto convergir ou divergir
para x x0 .

Fig. 4.1.1 - intervalo de convergncia de uma srie de potncias

6 Duas sries podem ser adicionadas ou subtradas termo a termo

7 Duas sries podem ser formalmente multiplicadas

com cn a0bn a1bn 1 ... anb0 . Alm disso, se g ( x0 ) 0 , as sries podem ser formalmente divididas

Em muitos casos, os coeficientes d n podem ser facilmente obtidos atravs da relao

No caso de diviso, o raio de convergncia da srie resultante deve ser menor que .
8 A funo f contnua e possui derivada de todas as ordens para x x0 . Alm disso, f, f, ...
podem ser obtidas diferenciando-se a srie termo a termo, ou seja,

e assim por diante. Cada srie converge absolutamente para x x0 .

9 Se o valor de a n dado por

a srie chamada srie de Taylor para a funo f em torno de x = x0.

10 Se

n 0

n0

an x x0 n bn x x0 n

para cada x, ento a n = bn para n = 0, 1, 2, 3, ... Em particular, se

an x x0 n 0 para cada x, ento a0 a1 ... an 0

n0

Uma funo que tem uma expanso em srie de Taylor em torno de x = x0 dita analtica em x = x0. De
acordo com os enunciados 6 e 7, se f e g so analticas em x = x0, ento f g , f g e f g [sendo
g ( x0 ) 0 ] so analticas em x = x0.
O ndice do somatrio mudo, assim como as variveis de integrao (no importa que letra seja
usada).

4.2 Soluo em srie em torno de um ponto ordinrio parte I

Consideremos a eq. homognea (para uma eq. no-homognea, o procedimento similar)

(4.2.1)
Muitas equaes estudadas na Fsica Matemtica esto na forma da eq. (4.2.1), tendo, como coeficientes,
polinmios. Por exemplo:
(eq. de Bessel)

uma constante.
(eq. de Legendre)
uma constante.
Por enquanto, consideraremos P(x), Q(x) e R(x) como sendo polinmios, mas o mtodo que estudaremos
geral e P, Q, R podem ser quaisquer funes analticas.
Um ponto x0 no qual P( x0 ) 0 chamado de ponto ordinrio. Como P(x) contnua, existe um intervalo
em torno de x0 no qual P(x) nunca se anula. Nesse intervalo, podemos dividir a eq. (4.2.1) por P(x),
obtendo

onde p(x) = Q(x)/P(x) e q(x) = R(x)/P(x) so funes contnuas. Desse modo, pelo teorema de existncia
e unicidade, existe nesse intervalo uma nica soluo da eq. (4.2.1) que tambm satisfaz as condies de
contorno y(x0) = y0 e y(x0) = y0 para valores arbitrrios de y0 e y0 .
De outro modo, se P( x0 ) 0 , ento x0 um ponto singular da eq. (4.2.1). Considerando que pelo menos
uma dentre Q(x0) e R(x0) seja diferente de zero, teremos que pelo menos um dos coeficientes p(x) e q(x)
se torne infinito quando x x0 . Nesse caso, o teorema de existncia e unicidade no se aplica.
Trataremos, inicialmente, do problema de resolver a eq. (4.2.1) na vizinhana de um ponto ordinrio.
Procuraremos por solues da forma

Consideraremos que a srie converge no intervalo x x0 , com 0 .

Exemplo 1 Encontre uma soluo em srie de potncias para a eq. dif.

Soluo: Essa eq. dif. j conhecida e sabemos que as solues LI so sen(x) e cos(x). Nesse caso, temos
que P(x) = 1, Q(x) = 0 e R(x) = 1, sendo todo x um ponto ordinrio. Buscamos uma soluo, em torno de
x0 = 0, na forma

consideramos que a srie converge para todo x no intervalo x .

Vamos encontrar as derivadas y e y e substituir na eq. dif.

y y 0 ,

n2

n0

n(n 1)an x n 2 an x n 0 ,

n0

n0

fazendo n = n+2 no primeiro somatrio:

(n 2)(n 1)an 2 x n an x n 0 . Agora, nos dois somatrios, o ndice n varia de zero a infinito e o
expoente de x igual a n. Desse modo, podemos juntar os dois num nico somatrio, o que leva a

(n 2)(n 1)an 2 an x n 0 .

Para que essa ltima expresso seja verdadeira para qualquer valor de

n0

x, todos os coeficientes de x devem ser nulos. Ento

an
(n 2)(n 1)an 2 an 0 e an 2
, com n = 0,1,2,3,... (relao de recorrncia)
(n 2)(n 1)
vamos escrever alguns coeficientes:
a0 a0
a
a1
a
, para n = 1, temos a3 1
a0 0 e a1 0 , para n = 0, temos a2

1,
2 1
2!
3 2 3 2 1
3!
a2
a0
a0
a3
a1
a1
para n = 2, temos a4
, para n = 3, temos a5

, para n = 4,
4 3 4 3 2! 4!
5 4 5 4 3! 5!
a4
a0
a0
temos a6

, ...
6 5 6 5 4!
6!
importante observar que podemos separar termos pares e mpares e generalizar as expresses para esses
termos, o que leva a
(termos pares)
(termos mpares)
Substituindo os coeficientes na expresso para y(x), temos

As duas sries que aparecem na ltima expresso so, exatamente, as sries de Taylor, em torno de x0 = 0,
para cos(x) e sen(x), respectivamente. Como era esperado, obtivemos a soluo y = a0 cos(x) + a1 sen(x).

Fig. 4.2.1 aproximaes polinomiais para cos(x)

Exemplo 2 Encontre uma soluo em srie de potncias para a eq. dif.

(equao de Airy)
Soluo: Nesse caso, temos que P(x) = 1, Q(x) = 0 e R(x) = x, sendo todo x um ponto ordinrio.

Buscamos uma soluo, em torno de x0 = 0, na forma y( x) an x n . consideramos que a srie converge

n0

para todo x no intervalo x . Vamos encontrar a derivadas y e substituir na eq. dif.

y n (n 1) an x n 2

y xy 0,

n2

n2

n0

n (n 1) an x n 2 x an x n 0

substituindo n por n+2 no primeiro somatrio e multiplicando o segundo por x, temos:

n0

n0

(n 2) (n 1) an 2 x n an x n 1 0 ,
vamos substituir agora n por n-1 no segundo somatrio

n0

n 1

(n 2) (n 1) an 2 x n an 1 x n 0 .
Agora vamos calcular o termo para n = 0 no primeiro somatrio, de modo que a parte restante dele
comece com n = 1

n 1

n 1

2 1 a2 (n 2) (n 1) an 2 x n an 1 x n 0
Para os dois somatrios n comea de um e o expoente de x o mesmo. Ento, podemos escrever

2 a2 (n 2) (n 1) an 2 an 1 x n 0
n 1

para que a igualdade se verifique, devemos ter a2 0 e ( n 2) ( n 1) an 2 an 1 0 , o que leva relao

de recorrncia
an 1
, n = 1,2 3,..., (os coeficientes que dependerem de a2 sero nulos).
an 2
(n 2) (n 1)
Os coeficientes sero a0 0 , a1 0 e

(dependem de a0)

(dependem de a1)
A soluo geral para a equao de Airy

que escreveremos como

, y1 e y2 so solues LI.

Atravs dos grficos, observamos que y1 e y2 so montonas para x > 0 e oscilatrias para x < 0.

Fig. 4.2.2 soluo y1(x) da equao de Airy

Fig. 4.2.3 soluo y2(x) da equao de Airy

Exemplo 3 Encontre uma soluo em srie de potncias para a eq. dif. de Airy em torno de x0 = 1.

Soluo: Buscamos uma soluo, em torno de x0 = 1, na forma y( x) an x 1 n . Consideramos que a

n0

srie converge para todo x no intervalo x 1 . Vamos encontrar as derivadas y , y e substituir na

eq. dif.

y n an x 1n 1 ,

y n (n 1) an x 1n 2 ,

n 1

n2

n2

n0

n (n 1) an x 1n 2 x an x 1n 0

y xy 0,

Vamos fazer x = 1 + (x1) e substituir no ltimo termo da expresso

n (n 1) an x 1n 2 an x 1n x 1 an x 1n 0
n2

n0

n0

n 2

n0

n0

n (n 1) an x 1n 2 an x 1n an x 1n 1 0
Trocando n por n+2 por no primeiro somatrio e n por n1 no ltimo somatrio:

n 0

n0

n 1

n 2(n 1) an 2 x 1n an x 1n an 1 x 1n 0
Agora vamos calcular o termo para n = 0 nos dois primeiros somatrios, de modo que a parte restante
deles comece com n = 1

n 1

n 1

n 1

2a2 a0 n 2 (n 1) an 2 x 1n an x 1n an 1 x 1n 0
Para os trs somatrios, n comea de um e o expoente de x o mesmo. Ento, podemos escrever

2a2 a0 n 2 (n 1) an 2 an an 1 x 1n 0 ,
n 1

donde 2a2 a0

n 2(n 1) an 2 an an 1 0 ,

ou an 2

an an 1
n 2(n 1)

resolvendo para alguns coeficientes:

Finalmente, podemos escrever a soluo:

Quando a relao de recorrncia possui mais de dois termos (caso da ltima que obtivemos), obter uma
frmula em termos de a0 e a1 torna-se muito complicado, seno impossvel.