Soluções em Séries para Eq Dif de 2a Ordem

Departamento de Engenharia Mecnica - VEM
Universidade Federal Fluminense - UFF

Prof. Dr. Ivaldo Leo Ferreira
Captulo 5: Solues em Srie para
Equaes Lineares de 2 Ordem
( )
=

1
0
n
n
n
x x a
Captulo 5: Solues em Serie para Equaes Lineares de Segunda Ordem
5.1 Reviso de Sries de Potncias
Reviso:
1. Uma srie de potncias

Converge em torno de um ponto x se

existe para esse x. A srie converge para x = x
0
, pode
convergir em todo x, ou converge para alguns x e outros no.

( )
=

0
0
n
n
n
x x a
Justificativa: Para tratar uma classe maior de equaes
com coeficientes variveis, faz-se necessrio estender a
procura de solues para equaes diferencias de 2 ordem
alm das funes elementares do clculo, pelo emprego de
sries de Potncia

( )
n
m
n
n
x
x x a
0
0
lim
=

2. A srie

converge absolutamente num ponto x se

converge. Pode-se mostrar que se a srie converge
absolutamente, ento ela converge, no entanto a recproca
no necessariamente verdadeira.
( )
=

0
0
n
n
n
x x a
( ) ( )

=
=
=
0
0
0
0
n
n
n
n
n
n
x x a x x a
3. Um dos testes mais teis para a convergncia absoluta de
uma srie de potncias o teste da razo. Se a
n
0 e se para
um valor fixo de x,
( )
( )
L x x
a
a
x x
x x a
x x a
n
n
n
n
n
n
n
n
0
1
0
0
1
0 1
lim lim = =
+

+
+

ento a srie de potncias, converge absolutamente em x se
1
0
< L x x
e caso , o teste no conclusivo.
1
0
> L x x
e diverge se
1
0
= L x x
Ex.1: Para quais valores de x a sria abaixo converge?
( ) ( )
=
+

0
1
2 1
n
n n
x n
Soluo: Ao aplica-se o teste da razo, obtm-se:

( ) ( )( )
( ) ( )
2
1
lim 2
2 1
2 1 1
lim
1
1 2
=
+
=

+

+
+ +

x
n
n
x
x n
x n
n
n n
n n
n
De acordo com o teste de convergncia, a srie converge
absolutamente para , o que implica,

1 2 < x
1 2 < x
e o que fornece

1 2 < + x 3 1 < < x
A srie diverge para x = 1 e x = 3, j que o n-simo termo da
srie no tende a zero quando n tendo ao infinito.

4. Se a srie de potncias,

Converge em x = x
1
, ento converge absolutamente para

Se ela diverge em x = x
1
, ento diverge para .

( )
=

0
0
n
n
n
x x a
0 1 0
x x x x <
0 1 0
x x x x >
5. Existe um nmero no-negativo , chamado raio de
convergncia, tal que

converge absolutamente para e diverge para a
condio . Para uma srie que converge apenas em
x = x
0
, define-se como zero.

<
0
x x
( )
=

0
0
n
n
n
x x a
>
0
x x
Se , o intervalo chamado de intervalo de
convergncia e indicado pelo trecho hachurado,

0 > <
0
x x
A srie
diverge
A srie
diverge
converge
absolutamente

0
x +
0
x
0
x
pode convergir
ou divergir
Ex.2: Determine o raio e convergncia da sries de
potncias
Soluo: Ao aplica-se o teste da razo, obtm-se:

A srie converge absolutamente para, o que faz com
que . O raio de convergncia da srie de potncia
ser , pois .

( )
=
+
1
2
1
n
n
n
n
x
( )
( )
( )
2
1
1
lim
2
1
1
2
2 1
1
lim
1
1
+
=
+
+
=
+
+
+

+
+

x
n
n
x
x
n
n
x
n
n
n
n
n
n
2 1 < + x
1 3 < < x
2 = 2
0
< x x
Verifica-se por ltimo os extremos do intervalo de
convergncia.

Para x = 1, a srie a srie harmnica que diverge.

Para x = -3, tem-se,

que converge mas no absolutamente. Diz-se que converge
condicionalmente em x = -3.

=1
1
n
n
( ) ( ) ( )

=
=
+
1 1 1
1
2
2 1
2
1 3
n
n
n
n
n
n
n
n
n
n n n
Resumindo a anlise, a srie converge para ,
divergindo do contrrio. Ela converge absolutamente para o
intervalo e apresenta raio de convergncia 2.

1 3 < s x
1 3 < < x
Suponha que e convergem para

f(x) e g(x), respectivamente, para sendo .

( )
=

0
0
n
n
n
x x a
( )
=

0
0
n
n
n
x x b
<
0
x x
0 >
6. As sries podem ser somadas ou subtradas termo a termo

e a srie resultante converge para , pelo menos.

( ) ( ) ( )( )
=
=
0
0
n
n
n n
x x b a x g x f
<
0
x x
7. As sries podem ser multiplicadas formalmente, isto ,

( ) ( ) ( ) ( ) ( )

=
=
=
(
=
0
0 1
0
0 1
0
0 1
n
n
n
n
n
n
n
n
n
x x c x x b x x a x g x f
onde,

A srie resultante converge para , pelo menos.

n n n
b a b a b a c + + + =
1 1 0 0
<
0
x x
Alm disso, se g(x
0
) 0, as sries podem ser formalmente
divididas e,

( )
( )
( )
=
=
0
0 1
n
n
n
x x d
x g
x f
Na maioria dos casos, os coeficientes d
n
podem ser obtidos
mais facilmente igualando-se os coeficientes
correspondentes na equao equivalente.

Desta forma,

No caso da diviso, o raio de convergncia da srie de
potncias resultante pode ser menor que .

( ) ( ) ( )
( )

= =

=
|
.
|
\
|
=
(
=
0
0 1
0
0
0 1
0
0 1
0
0 1
n
n
n
k
k n k
n
n
n
n
n
n
n
n
n
x x b d
x x b x x d x x a
8. A funo f contnua e tem derivadas de todas as ordens
para . Alm disso, f, f,...,f
(n)
podem ser calculadas
derivando-se srie termo a termo, isto ,

e,

( ) ( ) ( )
=

= + + + + =
'
1
1
0
1
0 0 2 1
2
n
n
n
n
n
x x na x x na x x a a f
<
0
x x
( ) ( ) ( ) ( ) ( )
=

= + + + + =
' '
1
2
0
2
0 0 3 2
1 1 6 2
n
n
n
n
n
x x a n n x x a n n x x a a f
e assim por diante. Cada uma dessas sries diferenciadas
convergem absolutamente no intervalo

<
0
x x
9. O valor de a
n
dado por,

A srie resultante chamada de Srie de Taylor para a
funo f em torno de x = x
0
.

( )
!
0
) (
n
x f
a
n
n
=
10. Se para todo x em algum

Intervalo aberto centrado em x
0
, ento a
n
= b
n
para n = 1, 2, 3,

4, ..., k. Em particular, se para todo x, ento

tem-se que .
( ) ( )

=
=
=
0
0
0
0
n
n
n
n
n
n
x x b x x a
( ) 0
0
0
=
= n
n
n
x x a
0
1 0
= = = = =
n
a a a
Uma funo f tem expanso em Srie de Taylor em torno de x
= x
0
,
Com raio de convergncia dita analtica em x = x
0
.
Todas as funes familiares do clculo so analticas,
exceto, talvez em alguns pontos facilmente reconhecveis. A
ttulo de exemplo, sen(x), x e e
x
so analticas em toda a
parte, j 1/x analtica em todo o intervalo exceto em x = 0.

( )
( )
( )
( )
=
=
0
0
0
!
n
n
n
x x
n
x f
x f
0 >
Observao: O contexto natural para o uso de sries de
potncias o plano complexo, aplicadas a equaes
diferenciais nas quais as variveis independentes e
dependentes assumam valores complexos.
Deslocamento do ndice do Somatrio: O ndice do
somatrio, da mesma forma que a varivel de integrao
uma varivel muda. Isto , no importa a letra usada para o
ndice do somatrio.
A mudana de ndice se torna conveniente ao se calcular
solues em srie para equaes diferenciais.

=
=
=
0 0
!
2
!
2
j
j j
n
n n
j
x
n
x
Ex.
3
: Escreva a srie abaixo como uma srie cujo primeiro
termo, corresponde a n = 0 ao invs de n = 2, dada a srie
Soluo: Seja m = n-2, como n = m + 2 e n = 2 corresponde a
m = 0, ento substituindo-se os ndices,

Afim de confirmar a validade da substituio, expande ambas
as sries e comparam-se os termos. Por ltimo, permuta-se
m por n,

=2 n
n
n
x a

=
+
+
=
=
0
2
2
2 m
m
m
n
n
n
x a x a

=
+
+
=
=
0
2
2
2 n
n
n
n
n
n
x a x a
Ex.
4
: Reescreva a srie
como uma srie cujo termo geral envolve ao invs do
termo

( )( ) ( )
+ +
2
2
0
1 2
n
n
n
x x a n n
( )
n
x x
0
( )
2
0

n
x x
Soluo: Novamente deslocando o ndice do somatrio por 2,
de modo que n substitudo por n + 2 e inicia-se a contagem
de 2 unidades abaixo, logo

e retornando ao ndice n,

( )( ) ( ) ( )( ) ( )

=
+
+ + = + +
0
0 2
2
2
0
3 4 1 2
n
n
n
n
n
n
x x a n n x x a n n
( )( ) ( ) ( )( ) ( )

=
+
+ + = + +
0
0 2
2
2
0
3 4 1 2
m
m
m
n
n
n
x x a m m x x a n n
Ex.
5
: Escreva a expresso
Soluo: inicie a soluo adicionando x
2
ao somatrio

Fazendo k=n+1,

( )
=
+
+
0
1 2
n
n r
n
x a n r x
Como uma srie cujo termo geral envolve x
r+n
.

( ) ( )

=
+ +
=
+
+ = +
0
1
0
1 2
n
n r
n
n
n r
n
x a n r x a n r x
( ) ( )

=
+
=
+ +
+ = +
1
1
0
1
1
k
k r
k
n
n r
n
x a k r x a n r
( ) ( )

=
+
=
+
+ = +
1
1
0
1
1
n
n r
n
n
k r
n
x a n r x a k r
Retornando do ndice k para o ndice n, tem-se finalmente,

Ex.
6
: Suponha que
Soluo: Para anlise das conseqncias da afirmao acima
sobre os coeficiente pode-se usar o corolrio 10 que afirma

para todo x. Determine a implicao desta afirmao sobre
os coeficiente a
n
.

Se e somente se, para todo x em algum intervalo aberto
centrado em x
0
. Todavia, para a utilizao deste corolrio
necessrios que os ndices dos somatrios e os expoentes
das potncias sejam os mesmos.

=
=
0 1
1
n
n
n
n
n
n
x a x na
( ) ( )

=
=
=
0
0
0
0
n
n
n
n
n
n
x x b x x a
O que permite concluir,

Desta forma,

Escolhendo valores sucessivos para a
n
tem-se,

( ) ( )

=
=
+
=
+
= + = + =
0 0
1
0
1
1
1
1 1
n
n
n
n
n
n
m
m
m
n
n
n
x a x a n x a m x na
( )
n n
a a n = +
+1
1
Para n = 0, 1, 2, 3,.... Logo,

( ) 1
1
+
=
+
n
a
a
n
n
0 1
a a =
2 2
0 1
2
a a
a = =
1 . 2 . 3 2 . 3 3
0 1 2
3
a a a
a = = =
ou de outra forma,

Desta forma,

Empregando os coeficientes encontrados na srie,

para n = 0, 1, 2, 3,....

! 4 1 . 2 . 3 . 4 2 . 3 . 4 3 . 4 4
0 0 1 2 3
4
a a a a a
a = = = = =
!
0
n
a
a
n
=
( ) 1
! !
0
0
0
0
0
0
= = =

=
=
x
n
n
n
n
n
n
n
e a
n
x
a x
n
a
x a
5.2 Solues em Srie Prximas a um Ponto
Considere agora um mtodo para resolver equaes lineares
de segunda ordem quando os coeficientes so funes da
varivel independente. Basta considerar a equao
homognea.

Uma vez que o procedimento para equao no-homognea
semelhante. Inmeros problemas da Fsica-Matemtica
levam a equaes desta forma com coeficientes polinomiais
como a equao de Bessel e a de Legendre
Respectivamente.

( ) ( ) ( ) 0
2
2
= + + y x R
dx
dy
x Q
dx
y d
x P
( ) 0
2 2
2
2
2
= + + y v x
dx
dy
x
dx
y d
x ( ) ( ) 0 1 2 1
2
2
2
= + + y
dx
dy
x
dx
y d
x o o
Bessel Legendre

Considere inicialmente o caso em que P, Q e R so
polinmios. Este mtodo de soluo tambm aplicvel
quando estas funes so funes analticas genricas.
Ento, deseja-se resolver a equao abaixo na vizinhana de
um ponto x = x
0
.

Um ponto x
0
no qual P(x
0
) 0 denominado de ponto
ordinrio. Como P contnuo, segue que existe um intervalo
em torno do x
0
no qual P(x) nunca se anula. Neste intervalo
pode-se dividir a equao acima por P(x).

( ) ( ) 0 = +
'
+
' '
y x q y x p y
( ) ( ) ( ) 0
2
2
= + + y x R
dx
dy
x Q
dx
y d
x P
Sendo,
( )
( )
( ) x P
x Q
x p =
e funes contnuas. ( )
( )
( ) x P
x R
x q =
Logo, pelo Teorema II.I de existncia e unicidade, existe uma
nica soluo desta equao neste intervalo e que tambm
satisfaz as condies iniciais,

Por outro lado, P(x
0
) = 0 denominado de ponto singular da
equao. Neste caso, pelo menos um entre Q(x
0
) e R(x
0
)
diferente de zero. Assim, procura-se uma soluo da forma,

Supondo que a srie converge no intervalo para
algum . Dentro de um intervalo de convergncia, as
sries se comportam como polinmios e so fceis de
manipular.
( )
0 0
y t y =
e ( )
0 0
y t y
'
=
'
( ) ( ) ( )
n
n
n
n
n
x x a x x a x x a a y
0
0
0 0 1 0
= + + + + =

=

<
0
x x
0 >
O modo mais prtico de determinar os coeficientes a
n

substituir a srie e suas derivadas na equao diferencial. As
derivadas so justificveis desde que permaneam dentro de
intervalo de convergncia.

Ex.
1
: Encontre a soluo em forma de srie para a equao
Soluo: Sabe-se que as solues desta equao so sen x e
cos x, todavia ilustrativo na aplicao de sries de
potncias como soluo da equao diferencial de 2 ordem.
Neste caso especfico, P(x) = 1, Q(x) = 0 e R(x) = 1, logo todo
ponto um ponto ordinrio. A forma da soluo

0 = +
' '
y y
,
< < x
=
= + + + + + =
0
2
2 1 0
...
n
n
n
n
n
x a x a x a x a a y
Supondo que a srie converge em algum intervalo .

< x
e

Substituindo y e y na equao diferencial, tem-se

Diferenciando a suposta soluo,

=

= + + + + =
'
1
1 1
2 1
... 2
n
n
n
n
n
x na x na x a a y
( ) ( )
=

= + + + + =
' '
2
2 2
3 2
1 1 ... 6 2
n
n
n
n
n
x a n n x a n n x a a y
( ) 0 1
0 2
2
= +

=
n
n
n
n
n
n
x a x a n n
Para continuar a anlise das sries faz-se necessrio que
ambas apresentem o mesmo termo geral,
( )( ) 0 1 2
0 0
2
= + + +

=
=
+
n
n
n
n
n
n
x a x a n n
Agrupando as sries numa nica srie,

Para essa equao ser satisfeita, pelo corolrio 10,
( )( ) | | 0 1 2
0
2
= + + +
=
+
n
n
n n
x a a n n
( )( ) 0 1 2
2
= + + +
+ n n
a a n n
A equao acima denominada de equao de recorrncia,
( )( ) 1 2
2
+ +
=
+
n n
a
a
n
n
1 . 2
0
2
a
a =
1 . 2 . 3
1
3
a
a =
1 . 2 . 3 . 4 3 . 4
0 2
4
a a
a = =
1 . 2 . 3 . 4 . 5 4 . 5
1 3
5
a a
a = =
! 6
0
6
a
a =
! 7
1
7
a
a =
( )
0 2
! 2
) 1 (
a
k
a
k
k

=
Pares
( )
1 1 2
! 1 2
) 1 (
a
k
a
k
k
+
=
+
mpares
Agrupando as sries numa nica,

Substituindo estes coeficientes na proposta de soluo,
Coeficientes pares para k = 1, 2, ...
( )
0 2
! 2
) 1 (
a
k
a
k
k

=
( )
1 1 2
! 1 2
) 1 (
a
k
a
k
k
+
=
+
Coeficientes mpares para k = 1, 2, ...
=
= + + + + + + + =
0
4
4
3
3
2
2 1 0
n
n
n
n
n
x a x a x a x a x a x a a y
( ) ( )
1 2
1
2
0
5
1
4
0
3
1
2
0
1 0
! 1 2
) 1 (
! 2
) 1 (
! 5 ! 4 ! 3 ! 2
+
+
+ + + + + =
n
n
n
n
x a
n
x a
n
x
a
x
a
x
a
x
a
x a a y
Manipulando a expresso

Escrevendo em termos de somatrio,
( )
( )
(
+ + +
+
(

+ + + =
+1 2
1
5
1
3
1
1
2
0
4
0
2
0
0
! 1 2
) 1 (
! 5 ! 3
! 2
) 1 (
! 4 ! 2
1
n
n
n
n
x a
n
x
a
x
a
x a
x a
n
x
a
x
a
a y
( )
( )
( )
( )

=
+
=
+
=
0
1 2
1
0
2
0
! 1 2
1
! 2
1
n
n
n
n
n
n
x
n
a x
n
a y
Ex.
2
: Encontre a soluo em forma de sries de potncias
de x para equao de Airy,
Soluo: Para essa equao, P(x) = 1, Q(x) = 0 e R(x) = -x,
logo todo x ponto um ponto ordinrio. Supondo que a
soluo da forma,

,
supondo que a srie converge em algum intervalo . O
termo y dado por

=
= + + + + + =
0
2
2 1 0
...
n
n
n
n
n
x a x a x a x a a y
0 =
' '
xy y
< < x
< x
( ) ( )
=

= + + + + =
' '
2
2 2
3 2
1 1 ... 6 2
n
n
n
n
n
Substituindo y e y na equao diferencial, tem-se

Reescrevendo a segunda derivada para n = 0,

Deve-se alterar o ndice da ltima srie direita na equao
anterior substituindo n por n-1, e reiniciando o somatrio a
partir de 1 ao invs de zero, tem-se,
( ) ( )( )

=
+
+ + = =
' '
0
2
2
2
1 2 1
n
n
n
n
n
n
x a n n x a n n y
( )( )

=
+
=
+
= = + +
0
1
0 0
2
1 2
n
n
n
n
n
n
n
n
n
x a x a x x a n n
( )( )

=

=
+
= + + +
1
1
1
2 2
1 2 . 1 . 2
n
n
n
n
n
n
x a x a n n a
Para a equao abaixo ser satisfeita para todo x,

necessrio que os coeficientes das potncias iguais de x
sejam iguais, portanto, o termo a
2
= 0 a opo mais lgica e
a equao de recorrncia torna-se,
( )( )

=

=
+
= + + +
1
1
1
2 2
1 2 . 1 . 2
n
n
n
n
n
n
x a x a n n a
( )( )
1 2
1 2
+
= + +
n n
a a n n para n = 1, 2, 3, ...
Como a
n+2
dados em funo de a
n-1
os coeficientes so
determinados de trs a trs, isto , a
0
determina a
3
, etc. Como
a
2
= 0, conclui-se que, a
5
= a
8
= a
11
= a
14
= ... = 0;
( )( ) 1 2
1
2
+ +
=

+
n n
a
a
n
n
Determinando alguns coeficientes a
0
, a
3
, a
6
e a
9
,

para n = 1, 4, 7, 10, .... Este resultado sugere frmula geral,
2 . 3
0
3
a
a =
6 . 5 . 3 . 2 6 . 5
0 3
6
a a
a = =
9 . 8 . 6 . 5 . 3 . 2 8 . 9
0 6
9
a a
a = =
( )( ) 1 3 3 ... 6 . 5 . 3 . 2
0
3
=
n n
a
a
n
3 . 4
1
4
a
a =
para n 4
Determinando alguns coeficientes a
1
, a
4
, a
7
e a
10
, fazendo n =
2, 5, 8, 11, ....

7 . 6 . 4 . 3 6 . 7
1 4
7
a a
a = =
10 . 9 . 7 . 6 . 4 . 3 9 . 10
1 7
10
a a
a = =
Sugerindo frmula geral,
( )( ) 1 3 3 ... 10 . 9 . 7 . 6 . 4 . 3
1
1 3
+
=
+
n n
a
a
n
para n 4
Substituindo na equao de Airy,

Supondo por um instante que a srie converge para todo x,
sejam y
1
e y
2
as funes definidas pelas expresses no
primeiro e segundo termos do par de colchetes,
respectivamente. Ento, escolhendo a
0
= 1 e a
1
= 0 e
posteriormente, a
0
= 0 e a
1
= 1, segue que y
1
e y
2
so
solues da equao diferencial original. Logo,

( )( )
( )( )
(
+
+ + + +
+
(
+ + + + =
+1 3 7 4
1
3 6 3
0
3 1 3 . 4 . 3
1
7 . 6 . 4 . 3
1
4 . 3
1
3 1 3 . 3 . 2
1
6 . 5 . 3 . 2
1
3 . 2
1
1
n
n
x
n n
x x x a
x
n n
x x a y
y
1
satisfaz, e

( ) 1 0
1
= y ( ) 0 0
1
=
'
y y
2
satisfaz, e

( ) 1 0
2
=
'
y ( ) 0 0
2
= y
Logo y
1
e y
2
so linearmente independentes e a soluo geral
de Airy ser,
,
( ) ( ) x y a x y a y
2 1 1 0
+ =
< < x
Sendo y
1
e y
2
, respectivamente,
( )
( )( )
(
+ + + + =
n
x
n n
x x x y
3 6 3
1
3 1 3 . 3 . 2
1
6 . 5 . 3 . 2
1
3 . 2
1
1
( )
( )( )
(
+
+ + + + =
+1 3 7 4
2
3 1 3 . 4 . 3
1
7 . 6 . 4 . 3
1
4 . 3
1
n
x
n n
x x x x y

Ex.
3
: Encontre uma soluo da equao de Airy em
potncias de x 1.
Soluo: Supe-se que a srie de potncia converge para |x-
1| < , procura-se soluo da forma,

,
Ento a derivada de 2 ordem,

0 =
' '
xy y
< < x
( ) ( ) ( ) ( )
=
= + + + + + =
0
2
2 1 0
1 1 ... 1 1
n
n
n
n
n
x a x a x a x a a y
( ) ( ) ( ) ( ) ( )
=

= + + + + =
' '
2
2 2
3 2
1 1 1 1 ... 1 6 2
n
n
n
n
n
Para igualar os coeficientes das potncias iguais de (x-1),
necessita-se escrever x, o coeficiente de y na equao
diferencial em potncias de x-1, ou seja, x = 1 + (x-1), de
forma que obtm-se a srie de Taylor de x em torno de x-1,
ento

Substituindo as equaes anteriores na equao diferencial,

( )( ) ( ) ( )

=
=
+
= + +
0 0
2
1 1 1 2
n
n
n
n
n
n
x a x x a n n
( )( ) ( ) ( ) | | ( )

=
=
+
+ = + +
0 0
2
1 1 1 1 1 2
n
n
n
n
n
n
x a x x a n n
O que fornece,

( )( ) ( ) ( ) ( )

=
+
=
+
+ = + +
0
1
0 0
2
1 1 1 1 2
n
n
n
n
n
n
n
n
n
x a x a x a n n
Igualando os coeficientes das potncias iguais de x-1, tem-se
Re-escalonando os ndices das potncias da ltima srie,
tem-se

logo,

( )( ) ( ) ( ) ( )

=

=
+
+ = + +
1
1
0 0
2
1 1 1 1 2
n
n
n
n
n
n
n
n
n
x a x a x a n n
( )( )
1 2
1 2
+
+ = + +
n n n
a a a n n
0 2
. 1 . 2 a a =
0 1 3
. 2 . 3 a a a + =
1 2 4
. 3 . 4 a a a + =
2 3 5
. 4 . 5 a a a + =
Com frmula de recorrncia,

( )( )
1 2
1 2
+
+ = + +
n n n
a a a n n para n 1
Resolvendo para os primeiros coeficientes a
0
e a
1
, tem-se

Portanto,

2
0
2
a
a =
6 6
0 1
3
a a
a + =
12 24 12 12
1 0 1 2
4
a a a a
a + = + =
120 30 20 20
1 0 2 3
5
a a a a
a + = + =
( ) ( ) ( ) ( )
( )
( ) ( ) ( )
( ) ( ) x y a x y a
x x x
x a
x x x x
a y
2 1 1 0
5 4 3
1
5 4 3 2
0
120
1
12
1
6
1
1
30
1
24
1
6
1
2
1
1
+ =
(
+
+
(
+ =
, < < x ( ) ( ) ( ) x y a x y a x y
2 1 1 0
+ =
Soluo geral da equao de Airy segundo o intervalo
abaixo,

5.3 Solues em Srie na Viz. Pt. Ordinrio II
Considere o problema de encontrar solues da equao
onde P, Q e R so polinmios na vizinhana de um ponto
ordinrio x
0
. Supondo que esta equao apresente uma
soluo y = (x) e que (x) tem uma srie de Taylor

e que converge para onde .

( ) ( ) ( ) 0
2
2
= + + y x R
dx
dy
x Q
dx
y d
x P
( ) ( )
=
= =
0
0
n
n
n
x x a x y |
<
0
x x 0 >
Sabe-se que o coeficiente a
n
pode ser determinado
diretamente substituindo y e suas derivadas pela srie e sua
derivadas. Deve-se ento considerar a questo do raio de
convergncia desta srie.
Suponha que existe soluo em forma de srie, derivando-se
a srie m vezes e fazendo x = x
0
, ento
Para calcular a
n
na srie anterior, deve-se mostrar que
possvel determinar para n = 1, 2, 3, ... A partir da
equao diferencial original. Ento, suponha que y = (x)
uma soluo da equao satisfazendo as condies iniciais

Ento,
( )
( )
0
! x a m
m
m
| =
( )
( )
0
x
n
|
( )
0 0
y x y = ( )
0 0
y x y
'
=
'
0 0
y a =
0 1
y a
'
=
Em outras palavras, se houver interesse apenas em
encontrar uma soluo para a equao diferencial anterior
sem especificar as condies iniciais, ento a
0
e a
1

permanecem arbitrrios.
Para determinar e os coeficientes correspondentes a
a
n
para n = 2, 3, 4, ... retorna-se a equao diferencial original,
No intervalo em torno de x
0
onde P nunca se anula, pode-se
escrever a equao acima da seguinte forma,

sendo,
Fazendo x = x
0
, tem-se,
( )
( )
0
x
n
|
( ) ( ) ( ) 0 = +
'
+
' '
| | x R x Q x P
( ) ( ) ( ) ( ) ( ) x x q x x p x | |
'
=
' '
( )
( )
( ) x P
x Q
x p =
e
( )
( )
( ) x P
x R
x q =
( ) ( ) ( ) ( ) ( )
0 0 0 0 0
x x q x x p x | |
'
=
' '
Portanto a
2
dado por
( ) ( ) ( )
0 0 1 0 0 2
! 2 a x q a x p x a =
' '
=
fornecendo,

A substituio de a
2
na expresso acima, fornece a
3
em
funo de a
0
e a
1
. Como P, Q e R so polinmios e P(x
0
) 0
todas as derivadas de p e q existem em x
0
. Logo, pode-se
derivar indefinidamente, determinando aps cada derivao,
os coeficientes sucessivos, a
4
, a
5
, ... fazendo x = x
0
.
Pode ser razovel achar que a hiptese de as funes p e q
serem quocientes de polinmios, e simplesmente supor que
so infinitamente diferenciveis numa vizinhana de x
0
.
Para determinar a
3
derivamos a equao em funo de uma
vez, fazendo x = x
0
, logo
( ) ( ) ( ) ( ) ( ) | | ( ) ( ) ( ) { }
0
3
! 3
x x
x x q x x q x p x x p x a
=
'
+
'
+
'
+
' '
=
' ' '
= | | |
( ) ( ) ( ) | | ( )
0 0 1 0 0 2 0 3
2 ! 3 a x q a x q x p a x p a
'
+
'
=
necessrio supor que as funes p e q so analticas em
x
0
, isto , que elas tm expanso em srie de Taylor que
convergem em algum intervalo em torno de x
0
.

e
Infelizmente essa hiptese muito fraca para garantir a prova
da convergncia da expanso em srie resultante para ( ) x y | =
( ) ( ) ( ) ( )
=
= + + + + =
0
0 0 0 1 0
n
n
n
n
n
x x p x x p x x p p x p
( ) ( ) ( ) ( )
=
= + + + + =
0
0 0 0 1 0
n
n
n
n
n
x x q x x q x x q q x q
Assim, pode-se desta forma, generalizar as definies de
ponto ordinrio e ponto singular da equao diferencial, da
seguinte forma:

Se as funes p = Q/P e q = R/P forem analticas em x
0
, ento
x
0
dito um ponto ordinrio da equao diferencial, caso
contrrio, um ponto singular.
Considere o problema do intervalo de convergncia da
soluo em srie. Uma possibilidade calcular,
explicitamente, a soluo em srie para cada problema e
empregar um dos testes de convergncia de uma srie
infinita para determinar seu raio de convergncia. No
entanto, essa questo pode ser respondida imediatamente
para uma ampla classe de problemas pelo teorema a seguir.

isto , p = Q/P e q = R/P so analticas em x
0
. Ento, a soluo
geral da equao diferencial ser,

onde, a
0
e a
1
so arbitrrios, e y
1
e y
2
so solues em sries
linearmente independentes que so analticas em x
0
. Alm
disso, os raios de convergncia das solues em srie y
1
e y
2

so, pelo menos, to grande quanto o menor entre os raios
de convergncia das sries para p e q.
Teorema III.I: Seja x
0
um ponto ordinrio da equao
diferencial,
( ) ( ) ( ) 0 = +
'
+
' '
y x R y x Q y x P
( ) ( ) ( ) x y a x y a x x a y
n
n
n 2 1 1 0
0
0
+ = =
=
Ex.
1
: Qual o raio de convergncia da srie de Taylor para
(x
2
+1)
-1
em torno de x = 0?
Soluo: Um modo de proceder determinar a serie de
Taylor correspondente, ou seja,

Aplicando-se o teste da razo,

( ) + + + + =
+
n
n
x x x x
x
2 6 4 2
2
1 ... 1
1
1
( )
( )
( )
1
1
1
1
lim
1
1
1
lim
1 2
1
2
< =

+
+

x x
x
x
n
n
n
n
n
n
Logo,

1 =
Soluo: Outra forma analisar, determinar os zeros da
equao,

Cuja distncia no plano complexo de 0 a i ou de 0 a i 1,

i x x = = + 0 1
2
( ) 1 0
2
2
= + = i
ou seja, o raio de convergncia da srie de potncias em
torno de 0 1.

Ex.
2
: Qual o raio de convergncia da srie de Taylor para
(x
2
-2x+2)
-1
em torno de x = 1?
Soluo: Um modo de proceder determinar a serie de
Taylor correspondente, ou seja,

Apresentando solues,

Logo, o raio de convergncia e da expanso de Taylor,
em torno de x = 0

0 2 2
2
= + x x
2
4 2
= x
i x + =1
1
i x =1
2
e

=0 n
n
n
x a
( ) 2 1
2
2
= + = i
Logo, o raio de convergncia e da expanso de Taylor,
em torno de x = 1 1, logo o raio de convergncia da
expanso em srie de Taylor em torno de x = 1 1.

( ) ( ) 1 0 1 1
2 2
= + = i
Nota: De acordo com o Teorema III.I, as solues de srie da
Equao de Airy convergem para todos os valores de x, pois
P(x) = 1, e portanto, nunca se anula. Uma soluo em srie
pode convergir para outros valores de x, alm dos indicados
no Teorema III.I, de fato, apenas para uma cota inferior do
raio de convergncia da soluo em srie.

_ <
Ex.
3
: Determine uma cota inferior para o raio de
convergncia das solues em torno de x = 0 da equao de
Lagendre,
Soluo: Observe inicialmente que,

so polinmios e que os zeros de P, x = 1, distam 1 de x = 0.
Logo, uma soluo em forma de srie

converge, pelo menos, para , e, possivelmente para
valores menores que x.

( ) ( ) 0 1 2 1
2
= + +
'
' '
y y x y x o o
onde um coeficiente constante.
( )
2
1 x x P =
( ) x x Q 2 = ( ) ( ) 1 + = o o x R
=0 n
n
n
x a
1 < x
Ex.
4
: Determine uma cota inferior para o raio de
convergncia da equao diferencial,
Soluo: Novamente, P, Q e R so polinmios e P apresenta
zeros de P, x = i, distam 1 de x = 0.
no ponto x = 0 e em torno do ponto x = -1/2.
( ) 0 4 2 1
2 2
= +
'
+
' '
+ y x y x y x
A distncia no plano complexo de 0 a i 1 e a distncia no
segundo caso .
2 5
Assim, no primeiro caso, a srie, converge para .
=0 n
n
n
x a 1 < x
Para o segundo caso, a srie converge para .
2 5
2
1
< + x
Ex.
5
: possvel determinar uma soluo em srie em torno
de x = 0 para a equao diferencial,
Soluo: Para esta equao diferencial, p(x) = sen x, e q(x)=
1+x
2
. Lembrando que sen x tem expanso em srie de Taylor
em torno de x = 0 e que converge para todo x.
e, se este for o caso, qual o raio de convergncia?
A funo q(x) apresenta expanso em srie de Taylor em
torno do x = 0, que o mesmo que afirmar que analtica
para todo x, e que, portanto, converge para todo x.
Desta forma, a equao tem uma soluo em srie e
converge para todo x.
( ) ( ) 0 1 sin
2
= + +
'
+
' '
y x y x y
Considere a equao diferencial
5.4 Pontos Singulares Regulares
Na vizinhana de ponto singular x
0
. As funes P, Q e R so
polinmios sem fatores comuns, os pontos singulares da
equao diferencial so os pontos nos quais P(x) = 0.
Se tentar empregar os mtodos estudados anteriormente
para resolver esta equao, eles todos falharo. Este fato
causado freqentemente devido as solues da equao
diferencial no serem analticas em x
0
, e portanto, no podem
ser representados por uma srie de Taylor em potncias de
x-x
0
. Em vez disso, emprega-se uma expanso em srie mais
geral.
( ) ( ) ( ) 0 = +
'
+
' '
y x R y x Q y x P
Mesmo uma equao diferencial apresentado, em geral,
poucos pontos singulares estes no devem ser desprezados,
pois os mesmos determinam as caractersticas principais da
solues de forma muito mais profunda. Na vizinhana de
um ponto singular, a soluo torna-se muito grande em
mdulo ou experimenta mudanas rpidas em seu mdulo.
Desta forma, o comportamento de um sistema fsico
modelado por uma equao diferencial, com freqncia
mais importante em uma vizinhana de ponto singular. Por
esta razo, torna-se muito importante o estudo das
vizinhanas de uma singularidade de uma equao
diferencial.
Nota: Mtodos puramente numricos no so vantajosos
nesta abordagem, e devem, portanto ser combinados com
tratamentos analticos.

Sem qualquer informao adicional sobre o comportamento
de Q/P e R/P na vizinhana do ponto singular, impossvel
descrever o comportamento das solues da equao
diferencial nas proximidades de x
0
.

O objetivo ento nesta estudo estender o mtodo j
desenvolvido para resolver a equao diferencial nas
proximidades de um ponto ordinrio de forma que este
tambm possa ser aplicado na vizinhana de um ponto
singular x
0
. As singularidades das funes Q/P e R/P no
devem ser muito severas, ou sejam, so do tipo denominado
de Singularidades Fracas. O que distinguem
singularidades fracas so
( )
( )
( ) x P
x Q
x x
x x
0
0
lim
( )
( )
( ) x P
x Q
x x
x x
2
0
0
lim
finito finito
O significado disto que a singularidade de Q/P no pode
ser pior que (x-x
0
)
-1
e que a singularidade de R/P no pode
ser pior que (x-x
0
)
-2
. Tal ponto chamado de ponto singular
regular. Para funes mais gerais que polinmios, x
0
um
ponto singular regular da equao diferencial, se for um
ponto singular e se ambas as funes,
e
( )
( )
( ) x P
x Q
x x
0
( )
( )
( ) x P
x R
x x
2
0
apresentam srie de Taylor convergente em torno de x

0
, isto
se as funes acima so analticas em x = x
0
. As quatro
equaes anteriores que ser este o caso quando P, Q e R
forem polinmios. Qualquer ponto singular que no seja
regular chamado de ponto singular irregular, e estes
ltimos so mais difceis de serem tratados.
Ex
1
: Determine os ponto singulares e os ordinrios da
equao de Bessel de ordem v
Soluo: O ponto x = 0 um ponto singular, uma vez que P(x)
= x
2
se anula a. Todos os outros pontos so pontos
ordinrios da equao diferencial.
( ) 0
2 2 2
= +
'
+
' '
y v x y x y x
Ex
2
: Determine os ponto singulares e os ordinrios da
equao de Legendre
Soluo: Os pontos singulares de P(x)=1-x
2
, a saber, os
pontos x = 1. Todos os outros pontos so pontos
ordinrios.
( ) ( ) 0 1 2 1
2
= + +
'
' '
y y x y x o o
Ex
3
: A equao diferencial
Soluo: Pode-se verificar facilmente por substituio direta,
que y
1
(x)=x
2
e y
2
(x)=1/x so solues linearmente
independentes desta equao, para x > 0 e x < 0. Logo, em
qualquer intervalo que no contenha a origem, a soluo
geral da equao diferencial ser
0 2
2
=
' '
y y x
apresenta um ponto singular em x = 0. Analise a equao.
1
2
2
1

+ = x c x c y
A nica soluo que permanece limitada quando x tende a
zero y
1
= c
1
x
2
. Esta soluo analtica em x = 0. Por outro
lado a expresso y
2
= c
2
x
-1
no apresenta expanso de
Taylor em torno da origem, e portanto, falharia neste caso.
Ex
4
: Determine se os pontos singulares da equao de
Legendre so regulares ou irregulares
Soluo: Considere inicialmente o ponto x = 1, observe que
ao dividir por (1 x
2
), os coeficientes de y e de y se tornam
( ) ( ) 0 1 2 1
2
= + +
'
' '
y y x y x o o
( )
2
1
2
x
x
( )
( )
2
1
1
x
+ o o
e
Calculando os limites
( )
( )
( )
( )( )
1
1 1
2
1 lim
1
2
1 lim
1
2
1
=
+
=

x x
x
x
x
x
x
x x
e,
( )
( )
( )
( ) ( )
( )
0
1
1 1
lim
1
1
1 lim
1
2
2
1
=
+
+
=

x
x
x
x
x x
o o o o
Como esses limites so finitos em torno de x = 1, ento este
ponto uma ponto singular regular.
5.5 Equaes de Euler
Uma equao diferencial relativamente simples que tem um
ponto singular regular a equao de Euler,
| | 0
2
= +
'
+
' '
= y y x y x y L | o
onde e so constantes reais. fcil mostrar que x = 0
um ponto singular regular. Como a soluo da equao de
Euler tpica das solues de todas as equaes diferenciais
que apresentam um ponto singular regular, esta ser
analisada em detalhe.
Em qualquer intervalo que no contenha a origem, a equao
apresenta uma soluo geral da forma,
( ) ( ) x y c x y c y
2 2 1 1
+ =
onde y
1
e y
2
so linearmente independentes.
5.5 Equaes de Euler
Por convenincia considere o intervalo x > 0, que ser
facilmente estendido para x < 0. Supondo que a soluo da
forma,
obtm-se,
ento, L[x
r
] zero e y = x
r
soluo. As razes da equao
so,
r
x y =
| | ( ) ( ) ( ) | | | o | o + + = +
'
+
= r r r x x x x x x y L
r r r r
1
2
se r a raiz da equao diferencial,
( ) 0 1
2
= + + | o r r
( ) ( )
2
4 1 1
,
2
2 1
| o o
= r r
5.5 Equaes de Euler
Como, para equaes diferenciais lineares de segunda
ordem com coeficientes constantes, necessrio separar os
casos nos quais as razes so reais e distintas, conjugados
complexos e reais e iguais. Ser analisado caso a caso.
5.5 Equaes de Euler Reais e Distintas
Se F(r) = 0 apresentar razes reais r
1
e r
2
com r
1
r
2
, ento
( )
1
1
r
x x y =
e ( )
2
2
r
x x y =
so solues da equao. Como wronskiano,
( ) ( )
1
1 2 2 1
2 1
,
+
=
r r
x r r y y W
no se anula para r
1
r
2
e x > 0, a soluo geral da equao
diferencial ,
2 1
2 1
r r
x c x c y + = Para x > 0
Observe que, se r no for racional, se x
r
definida por,
x r r
e x
ln
=
5.5 Equaes de Euler Reais e Distintas
Ex
1
: Resolva
Soluo: Substitui-se na equao diferencial y = x
r
ento,
Desta forma,
para x > 0
0 3 2
2
=
'
+
' '
y y x y x
( ) | | ( ) 0 1 2 1 3 1 2
2
= + = + r r x r r r x
r r
( )
1
2
1
4
1 . 2 . 4 1 1
2 1
2
= =

= r r r
Logo, a soluo ser,
( )
1
2
2 1
1

+ = x c x c x y
para x > 0
5.5 Equaes de Euler Reais e iguais
Se as razes reais r
1
e r
2
so iguais, ento obtm-se apenas
uma soluo y
1
(x) = x
r1
da forma proposta. Pode-se obter
uma segunda soluo pelo mtodo da reduo de ordem.
Como r
1
= r
2
, F(r) = (r-r
1
)
2
. Ento neste caso, alm de F(r
1
) = 0,
tem-se tambm, F(r
1
) = 0. Ento,
Substituindo-se F(r), trocando-se a ordem de integrao em
relao a x, e observando-se,
| | ( ) | | r F x
r
x L
r
r r
c
c
=
c
c
( ) x x r x
r r
ln = c c
Desta forma,
| | ( ) ( )
r r r
x r r x x r r x x L
1
2
1
2 ln ln + =
5.5 Equaes de Euler Reais e iguais
A expresso a direita do sinal de igualdade igual a zero
para r = r
1
, portanto, o que fornece,
e, portanto,
Sendo a segunda soluo da equao diferencial. Importante
verificar que,
| | 0 ln = x x L
r
( ) 0 , ln
1
2
> = x x x x y
r
( )
1 2
1 1 1
ln ,

=
r r r
x x x x W
Logo estas solues so linearmente independentes.
Finalmente, a soluo pode ser escrita da seguinte forma,
( ) ( ) 0 , ln
1
2 1
> + = x x x c c x y
r
5.5 Equaes de Euler Reais e Iguais
Ex
2
: Resolva
r
ento,
Desta forma,
para x > 0
Logo, a soluo ser,
0 4 5
2
= +
'
+
' '
y y x y x
( ) | | ( ) 0 4 4 4 5 1 2
2
= + + = + + r r x r r r x
r r
2
2
4 . 1 . 4 4 4
2 1
2
= =

= r r r
( ) ( ) 0 , ln
2
2 1
> + =

x x x c c x y
5.5 Equaes de Euler Complexas
Se as razes r
1
e r
2
so complexas conjugadas, por exemplo,
r
1
= i com 0. O significado de x
r
quando r complexo
ser,
quando x > 0, e r for real, pode-se usar esta equao para
definir quando r for complexo,
Com essa definio de x
r
para valores complexos de r, pode-
se verificar que as regras usuais de lgebra e do clculo
diferencial continuam vlidas, logo, x
r1
e x
r2
so, de fato,
solues da equao diferencial. Assim,
x e x
r r
ln =
( )
( ) ( ) | | x i x e e e e x
x x i x x i i
ln sin ln cos .
ln ln ln ln

+ = = =
+ +
i i
x c x c y
+
+ =
2 1
5.5 Equaes de Euler Conj. Complexos
A desvantagem desta expresso que as funes tomam
valores complexos. Novamente aqui, neste caso, omite-se o i
complexo da expresso pois o wronskiano das funes,
diferente de zero e, portanto, so linearmente
independentes para x > 0, e a soluo geral ser,
( ) ( ) ( )
1 2 ln ln
ln sin , ln cos

=

x x e x e W
x x
( ) ( ) 0 , ln sin ln cos
2 1
> + = x x x c x x c y

5.5 Equaes de Euler Complexas
Ex
3
: Resolva
r
ento,
Desta forma,
para x > 0
Logo, a soluo ser,
0
2
= +
'
+
' '
y y x y x
( ) | | ( ) 0 1 1 1
2
= + = + + r x r r r x
r r
i r r =

=
2
4
( ) ( ) 0 , ln sin ln cos
2 1
> + = x x c x c y
A extenso das solues para o intervalo x < 0, pode ser feita
de modo relativamente direto. A dificuldade que advm em
compreender o significado de x
r
quando r negativo e no-
inteiro, o que faz com que o ln x no seja definido para x < 0.
Assim no exemplo 1, a soluo x
1/2
imaginria para x < 0.
Desta forma, sempre ser possvel obter solues reais da
equao de Euler no intervalo x < 0, fazendo uma mudana
de varivel. Ento, se x = - onde >0 e seja y = u(), ento
d
du
dx
d
d
du
dx
dy
= =
2
2
2
2
d
u d
dx
d
d
du
d
d
dx
y d
=
|
|
.
|
\
|
=
Assim, para x < 0, tem-se
0 , 0
2
2
2
> = + + |
u
d
du
d
u d
Mas esse exatamente o problema que acabou de ser
resolvido, ou seja,
O que depender naturalmente dos zeros da equao,
serem reais e distintos, reais e iguais e conjugados
complexos. Pode-se ainda combinar os resultados para x > 0
e x < 0, lembrando que |x| = x quando x > 0 e |x| = -x quando x
< 0, e substituir nas equaes encontradas anteriormente.
Estes resultados encontram-se resumidos no teorema a
seguir.
( ) ( )
( ) ( )
+
+
+
=

ln sin ln cos
ln
2 1
2 1
2 1
2 1
c c
c c c
c c
u
r r
( ) ( ) | o + + = r r r r F 1
Teorema V.I : A soluo geral da equao de Euler,
em qualquer intervalo que no contenha a origem
determinado pelas razes r
1
e r
2
da equao
Se as razes forem reais e distintas,
0
2
= +
'
+
' '
y y x y x | o
( ) ( ) | o + + = r r r r F 1
2 1
2 1
r r
x c x c y + =
Se as razes forem reais e iguais,
( ) ( )
1
ln
2 1
r
x x c c x y + =
Se as razes forem conjugados complexos,
( ) ( ) x x c x x c y ln sin ln cos
2 1

+ =
5.6 Solues em Srie em um PSR - Parte I
Considere o problema de se resolver a equao linear de
segunda ordem,
na vizinhana de um ponto singular regular x = x
0
. Suponha
por convenincia, que x
0
= 0. Se x
0
0 pode-se transformar a
equao para um ponto no qual o ponto singular regular est
na origem tomando-se x x
0
igual a t.
O fato de que x = 0 um ponto singular regular da equao
diferencial significa que,
apresentam limites finitos quando x0 e so analticas em x
= 0. Logo tem expanso em sries de potncia e converge da
forma,
( ) ( ) ( ) 0 = +
'
+
' '
y x R y x Q y x P
( ) ( ) ( ) x p x x P x xQ = e ( ) ( ) ( ) x q x x P x R x
2 2
=
em algum intervalo |x|< em torno da origem, onde x > 0.
Para fazer com que as funes x p(x) e x
2
q(x), apaream na
equao diferencial conveniente dividi-la por P(x) e depois
multiplic-la por x
2
, obtendo-se,
e
( )
n
n
n
x p x p x

=
=
0
( )
n
n
n
x q x q x

=
=
0
2
( ) | | ( ) | | 0
2 2
= +
'
+
' '
y x q x y x xp x y x
ou
| |
| | 0
1 0
1 0
2
= + + + + +
'
+ + + + +
' '
y x q x q q
y x p x p p x y x
n
n
n
n

Se todos os coeficientes p
n
e q
n
so com a exceo de
( )
( ) x P
x xQ
p
x 0
0
lim
=
e
( )
( ) x P
x R x
q
x
2
0
0
lim
=
Ento a equao diferencial original se reduz a equao de
Euler,
e
somente aumenta a complexidade dos clculos.
0
0 0
2
= +
'
+
' '
y q y x p y x
discutida anteriormente. Em geral, alguns p
n
e q
n
, para n1
no so nulos. Entretanto isto no altera o carter essencial
das solues da equao de Euler. A presena dos termos,
+ + + +
n
n
x p x p p
1 0
+ + + +
n
n
x q x q q
1 0
Como os coeficientes desta equao so coeficientes de
Euler vezes srie de potncias, supe-se ento que,
( )

=
+
=
= = + + + + =
0 0
1 0
n
r n
n
n
n
n
r n
n
r
x a x a x x a x a a x y
onde a
0
0. Em outras palavras, r o expoente do primeiro
termo da srie e a
0
o seu coeficiente. Desta forma, como
parte da soluo necessrio determinar,
1. Os valores de r para os quais a equao diferencial tem
uma soluo na forma,
( )

=
+
=
= = + + + + =
0 0
1 0
n
r n
n
n
n
n
r n
n
r
2. A relao de recorrncia para os coeficientes a
n
.
3. O raio de convergncia da srie para .
=0 n
n
n
x a
Ex
3
: Resolva a equao diferencial
Soluo: O ponto x = 0 e um PSR da equao diferencial,
ento
Ento os coeficientes p
0
= -1/2, q
0
= 1/2 e q
1
= 1/2 e todos os
outros ps e qs so nulos. Ento a equao de Euler
correspondente a equao acima ser,
( ) 0 1 2
2
= + +
'
' '
y x y x y x
( ) 2 1 = x xp
e
( ) ( ) 2 1
2
x x q x + =
0 2
2
= +
'
' '
y y x y x
Para resolver esta equao vamos supor que existe soluo
da forma,
( )

=
+
=
= = + + + + =
0 0
1 0
n
r n
n
n
n
n
r n
n
r
A primeira e segunda derivadas da soluo proposta so,
Aplicando a equao diferencial original,
e
Reescrevendo o ltimo termo da sria em potncia iguais,
( )
=
+
+ =
'
0
1
n
r n
n
x a r n y
( )( )
=
+
+ + =
' '
0
2
1
n
r n
n
x a r n r n y
( )( ) ( ) ( ) 0 1 1 2
0 0
1
0
2 2
= + + + + +

=
+
=
+
=
+
n
r n
n
n
r n
n
n
r n
n
x a x x a r n x x a r n r n x
Manipulando a expresso,
( )( ) ( ) 0 1 2
0
1
0 0 0
= + + + + +

=
+ +
=
+
=
+
=
+
n
r n
n
n
r n
n
n
r n
n
n
r n
n
x a x a x a r n x a r n r n
( )( ) ( ) 0 1 2
1
1
0 0 0
= + + + + +

=
+
=
+
=
+
=
+
n
r n
n
n
r n
n
n
r n
n
n
r n
n
Combinando os termos da srie,
Como a equao acima precisa ser satisfeita para todos os
valores de x, o coeficiente de cada potncia de x tem que ser
nulo. Do coeficiente de x
r
como a
0
0, tem-se
( )( ) ( )
( ) | | ( )( ) ( ) | | { }
=
+
=
+
=
+
=
+
=
+
+ + + + + + + + =
+ + + + +
1
1 0
1
1
0 0 0
1 1 1 1 2
1 2
n
r n
n n
r
n
r n
n
n
r n
n
n
r n
n
n
r n
n
x a a r n r n r n x a r r r
( ) 0 1 3 2 1 1 2
2
= + = + r r r r r
Esta equao chamada de equao indicial. Ela
exatamente a equao polinomial que seria obtida a partir da
equao de Euler associada. As razes da equao indicial
so:
1
1
= r
e
2 1
2
= r
Estes valores de r so chamado de expoentes da
singularidade para um ponto singular regular x = 0. Eles
regulam o comportamento qualitativo da soluo na
vizinhana de ponto singular.
Igualando os coeficientes de x
r+n
a zero, fornece a relao,
ou,
( )( ) ( ) | | 0 1 1
1
= + + + + + +
n n
a a r n r n r n
( )( ) ( ) | |
( ) ( ) | | 1 3 2
1 1 2
2
1 1
+ + +
=
+ + + +
=

r n r n
a
r n r n r n
a
a
n n
n
As razes da equao de recorrncia correspondem as
possibilidades de cada conjunto de coeficientes a
n
.
Aplicando r
1
= 1,
Logo,
O termo geral seria,
( ) ( ) | |
( )
1 ,
1 2
1 1 3 1 2
1
2
1
>
+
=
+ + +
=

n
n n
a
n n
a
a
n n
n
1 . 3
0
1
a
a =
( )( ) 1 . 2 3 . 5 2 . 5
0 1
2
a a
a = =
( )( ) 3 . 2 . 1 7 . 5 . 3 3 . 7
0 2
3
a a
a = =
( )
( ) | |
1 ,
! 1 2 . 7 . 5 . 3
1
0
>
+
= n a
n n
a
n
n
Multiplicando o numerador e o denominador da frao por

2.4.6.8...2n = (2n)!! = 2
n
.n!, pode-se escrever a
n
da forma,
( )
( )
1 ,
! 1 2
2 1
0
>
+
= n a
n
a
n
n
n
Se a constante a
0
for omitida, uma possvel soluo ser,
Para determinar o raio de convergncia, usa-se o teste da
razo. Assim,
Para todo x, logo a srie converge.
( )
( )
( )
0 ,
! 1 2
2 1
1
1
1
>
(
+ =

=
x x
n
x x y
n
n
n
n
( )( )
0
3 2 2 2
2
lim lim
1
1
=
+ +
=

+
+

n n
x
x a
x a
n
n
n
n
n
n
Procedendo de modo semelhante para r = r
2
= 1/2, obtm-se,
Portanto,
Logo, o termo geral ser,
( )
1 ,
1 2
1
>
=

n
n n
a
a
n
n
1 . 1
0
1
a
a =
( )( ) 3 . 1 2 . 1 3 . 2
0 1
2
a a
a = =
( )( ) 5 . 3 . 1 3 . 2 . 1 5 . 3
0 2
3
a a
a = =
( )
( ) | |
4 ,
1 2 5 . 3 . 1 !
1
0
>
= n a
n n
a
n
n
Se multiplicar por 2.4.6...2

n
= (2n)!! = 2
n
.n!, a frao, tem-se,
( )
( )
1 ,
! 2
2 1
0
>
= n a
n
a
n
n
n
Omitindo-se a
0
, obtm-se,
Pode-se mostrar que a srie converge para todo x. Como os
termos iniciais nas solues de y
1
e y
2
so x e x
1/2
, as
solues so linearmente independentes. Ento a soluo
geral ser da forma,
( )
( )
( )
0 ,
! 2
2 1
1
1
2 1
2
>
(

+ =

=
x x
n
x x y
n
n
n
n
( ) ( ) ( ) 0 ,
2 2 1 1
> + = x x y c x y c x y
5.7 Solues em Srie em um PSR - Parte II
Considere o problema geral de determinar uma soluo da
equao,
onde,
E ambas as sries convergem no intervalo |x| < , para algum
> 0. O ponto x = 0 um ponto singular regular e a equao
de Euler correspondente ,
| | ( ) | | ( ) | | 0
2 2
= +
'
+
' '
= y x q x y x p x x y x y L
e
( )
n
n
n
x p x p x

=
=
0
( )
n
n
n
x q x q x

=
=
0
2
0
0 0
2
= +
'
+
' '
y q y x p y x
Deseja-se obter uma soluo para x > 0 supondo que ela tem
a forma,
( )

=
+
= =
0
,
n
r n
n
x a x r y |
onde a
0
0, e escrevendo y = (r,x) para enfatizar que
depende tanto de r quanto de x, segue-se ento que,
e
( )
=
+
+ =
'
0
1
n
r n
n
x a r n y ( )( )
=
+
+ + =
' '
0
2
1
n
r n
n
x a r n r n y
Substituindo nas equaes anteriores, tem-se
( ) ( ) ( )( )
( ) ( ) ( ) ( )
( )( ) 0 .
1 .
1 1 1
1
1 0 1 0
1
1 0 1 0
1
1 0
= + + + + + + + + +
+ + + + + + + + + + +
+ + + + + + +
+ +
+ +
+ +

n r
n
r r n
n
n r
n
r r n
n
n r
n
r r
x a x a x a x q x q q
x n r a x r a rx a x p x p p
x n r n r a rx r a x r r a
Multiplica-se as sries infinitas e depois junta-se os termos
semelhantes,
| | ( ) ( ) ( ) | | 0
0
1
0
0
=
)
`
+ + + + + =
+
=

n r
n
n
k
k n k n k n
r
x q p k r a a n r F x r F a y L
onde,
Para que essa equao seja satisfeita o coeficiente de cada
potncia de x tem que ser nulo.
Como a
0
0, o termo envolvendo x
r
conduz equao F(r) = 0.
Essa equao denominada de equao indicial, semelhante
a solues x
r
da equao de Euler. As razes da equao
indicial r
1
e r
2
so chamadas de expoentes na singularidade,
e determinam a natureza qualitativa das solues nas
vizinhanas de um ponto singular.
Igualando-se a zero o coeficiente de x
r+n
, obtm-se a equao
de recorrncia,
( ) ( )
0 0
1 q r p r r r F + + =
( ) ( ) | | 0 , 0
1
0
> = + + + +

=

x q p k r a a n r F
n
k
k n k n k n
A equao mostra que a
n
depende dos valores de r e todos
os coeficiente a
0
, a
1
,..., a
n-1
, e mostra tambm que os valores
de a
1
a a
n
podem ser calculados sucessivamente em funo
de a
0
e dos coeficientes das sries para x p(x) e x
2
q(x), desde
que F(r+1), F(r+2),...,F(r+n) no sejam nulos. Os nicos
valores de r para os quais F(r) = 0, so r = r
1
e r = r
2
. Como
r
1
r
2
segue que r + n no igual a r
1
nem a r
2
se n 1. Em
outras palavras, sempre se pode determinar uma soluo
para a equao diferencial da forma,
( ) ( ) 0 , 1
0
1 1
1
>
(
+ =

=
x x r a x x y
n
n
n
r
Introduzimos a
n
(r
1
) para indicar que a
n
foi determinado pela
relao de recorrncia com r = r
1
.
Se r
2
no for igual a r
1
e se r
1
-r
2
no for um inteiro positivo,
ento r
2
+ n diferente de r
1
para todo n 1. Portanto,
F(r
2
+n)0, e sempre pode-se obter uma soluo da forma,
Estas sries convergem pelo menos para |x| < . Onde ambas
as sries,
( ) ( ) 0 , 1
0
2 2
2
>
(
+ =

=
x x r a x x y
n
n
n
r
e
( )
n
n
n
x p x p x

=
=
0
( )
n
n
n
x q x q x

=
=
0
2
convergem.
Ex1: Discuta a soluo
Soluo: Esta equao apresenta P(x) = 2x(1+x) e Q(x) = 3+x
e R(x) = -x, sendo da forma,
nas vizinhanas dos pontos singulares.
( ) ( ) 0 3 1 2 =
'
+ +
' '
+ xy y x y x x
( ) ( ) ( ) 0 = +
'
+
' '
y x R y x Q y x P
Os nicos pontos singulares so x = 0 e x = -1, j que,
( )
( ) ( ) 2
3
1 2
3
lim lim
0 0
=
+
+
=

x x
x
x
x P
x Q
x
x x
e
( )
( ) ( )
0
1 2
lim lim
2
0
2
0
=
+
=

x x
x
x
x P
x R
x
x x
Uma vez que,
( ) 0 1
0 0
= +
'
+ y q y p r r
,
( )
( ) x P
x Q
x p
x 0
0
lim
=
e
( )
( ) x P
x R
x q
x
2
0
0
lim
=
Alm disso, p
0
= 3/2 e q
0
= 0. Fica fcil entender que
As razes desta equao so r
1
= 0 e r
2
= -1/2. Como essas
razes no so iguais e no diferem por um inteiro, existem
duas solues linearmente independentes da forma,
e
( ) 0
2
3
1 = + r r r
( ) ( )
=
+ =
1
1
0 1
n
n
n
x a x y ( ) ( )
(
+ =

1
2 1
2
2 1 1
n
n
n
x a x x y
Para 0 < |x| < . Uma cota inferior para o raio de
convergncia de cada srie 1, a distncia de x = 0 a x = -1, o
outro zero de P(x). Observe que a soluo y
1
(x) permanece
limitada quando x0, , de fato, analtica neste ponto, e que
y
2
(x) torna-se ilimitada quando x0.
O ponto , x = -1 tambm um ponto singular regular, pois
e
( )
( )
( )( )
( )
1
1 2
3 1
lim ) 1 ( lim
1 1
=
+
+ +
= +

x x
x x
x P
x Q
x
x x
( )
( )
( )
( ) ( )
( )
0
1 2
1
lim 1 lim
2
1
2
1
=
+
+
= +

x x
x x
x P
x R
x
x x
Alm disso, p
0
= -1 e q
0
= 0, de modo que a equao indicial
( ) 0 1 = + r r r
As razes da equao indicial so r
1
= 2 e r
2
= 0.
Correspondendo a maior raiz tem-se uma soluo da forma,
( ) ( ) ( )( )
(
+ + + =

=1
2
1
1 2 1 1
n
n
n
x a x x y
A srie converge pelo menos para |x+1| < 1, y
1
uma funo
analtica neste ponto. Como as duas razes diferem por um
inteiro positivo, poder ou no existir uma segunda soluo
da forma,
No se pode afirmar nada sem uma anlise mais profunda.
( ) ( )( )
=
+ + =
1
2
1 0 1
n
n
n
x a x y

Soluções em Séries para Eq Dif de 2a Ordem

Hochgeladen von

Dokumentinformationen

Copyright

Verfügbare Formate

Dieses Dokument teilen

Dokument teilen oder einbetten

Freigabeoptionen

Stufen Sie dieses Dokument als nützlich ein?

Sind diese Inhalte unangemessen?

Copyright:

Verfügbare Formate

Soluções em Séries para Eq Dif de 2a Ordem

Hochgeladen von

Copyright:

Verfügbare Formate

Departamento de Engenharia Mecnica - VEM

Universidade Federal Fluminense - UFF

Captulo 5: Solues em Serie para Equaes Lineares de Segunda Ordem

apresentam srie de Taylor convergente em torno de x

Multiplicando o numerador e o denominador da frao por

Se multiplicar por 2.4.6...2

Das könnte Ihnen auch gefallen