Existencia de Solu c oes de Equa c oes

Diferenciais em Serie de Potencias

Reginaldo J. Santos
Departamento de Matem atica-ICEx
Universidade Federal de Minas Gerais
http://www.mat.ufmg.br/~regi
3 de maio de 2006
2 1 RESULTADO PRELIMINAR DE VARI

AVEIS COMPLEXAS
1 Resultado Preliminar de Variaveis Complexas
Lema 1. Sejam f(x) e g(x) polin omios tais que g(0) = 0. Ent ao f(x)/g(x) tem uma
representa c ao em serie de potencias de x,
f(x)
g(x)
=

n=0
a
n
x
n
,
que converge para |x| < r, sendo r o raio do maior crculo no plano complexo com centro
na origem tal que g(z) = 0, para todo z C com |z| < r.
Demonstra c ao. Sejam a
1
, . . . , a
k
C as razes de g(x). Ent ao g(x) se fatora como
g(x) = a
0
(x a
1
)
n
1
(x a
k
)
n
k
.
Podemos supor que o grau de f(x) e menor do que o grau de g(x) (por que?). Ent ao
decompondo f(x)/g(x) em fra c oes parciais obtemos
f(x)
g(x)
=
k

i=1
n
i

j=1

ij
(x a
i
)
j
Para a C, usando a serie geometrica, temos que
1
z a
=
1
a z
=
1
a
1
1
z
a
=
1
a

n=0
_
z
a
_
n
=

n=0
_
1
a
n+1
_
z
n
que converge para

z
a

< 1, ou seja, para |z| < |a|. Alem disso, usando a derivada da serie
anterior obtemos que
1
(z a)
2
=
d
dz
_
1
z a
_
=

n=1
_
n
a
n+1
_
z
n1
=

n=0
_
n 1
a
n+2
_
z
n
que tambem converge para |z| < |a|. Como
1
(z a)
j
= (1)
j1
(j 1)!
d
j1
dz
j1
_
1
z a
_
ent ao
1
(z a)
j
tem uma representa c ao em serie de potencias de z para j = 1, 2, . . . que
converge para |z| < |a|.
Logo f(z)/g(z) tem uma representa c ao em serie de potencias de z que converge para
todo z C com |z| < r, em que r = min{|a
1
|, . . . , |a
k
|}. Donde segue-se o resultado.
3
2 Teorema Principal
Teorema 2. Considere a equa c ao
P(x)
d
2
y
dx
2
+ Q(x)
dy
dx
+ R(x)y = 0.
em que P(x), Q(x) e R(x) s ao polin omios sem fatores comuns. Se P(0) = 0, ent ao a
equa c ao tem solu c ao geral em serie de potencias
y(x) =

n=0
a
n
x
n
= a
0
y
1
(x) + a
1
y
2
(x),
em que y
1
(x) e y
2
(x) s ao solu c oes fundamentais da equa c ao em serie de potencias que
convergem para |x| < r, sendo r o raio do maior crculo no plano complexo com centro
na origem tal que P(z) = 0, para todo z C com |z| < r.
Demonstra c ao. Dividindo-se a equa c ao por P(x) obtemos uma equa c ao da forma
y

+ p(x)y

+ q(x)y = 0.
Pelo Lema 1 os coecientes podem ser escritos em serie de potencias de x
p(x) =
Q(x)
P(x)
=

n=0
p
n
x
n
, q(x) =
R(x)
P(x)
=

n=0
q
n
x
n
,
que convergem para |x| < r, sendo r o raio do maior crculo no plano complexo com centro
na origem tal que P(z) = 0, para todo z C com |z| < r. Suponhamos que a solu c ao da
equa c ao possa ser escrita em serie de potencias de x como
y(x) =

n=0
a
n
x
n
.
Vamos mostrar que os coecientes satisfazem uma rela c ao de recorrencia de tal forma
que a serie converge para |x| < r. As derivadas, y

(x) e y

(x), s ao representadas em serie

de potencias como
y

(x) =

n=0
(n + 1)a
n+1
x
n
, y

(x) =

n=0
(n + 1)(n + 2)a
n+2
x
n
.
4 2 TEOREMA PRINCIPAL
Substituindo-se na equa c ao obtemos

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

k=0
[p
nk
(k + 1)a
k+1
+ q
nk
a
k
]
_
x
n
= 0.
Esta e a serie nula, o que implica que todos os coecientes s ao iguais a zero. Assim
(n + 1)(n + 2)a
n+2
=
n

k=0
[p
nk
(k + 1)a
k+1
+ q
nk
a
k
] . (1)
Por outro lado, da convergencia das series de p(x) e q(x) segue-se que existe M > 0 tal
que |p
n
|t
n
< M e |q
n
|t
n
< M, para 0 < t < r e n = 0, 1, 2 . . . Usando isso
(n + 1)(n + 2)|a
n+2
|
M
t
n
n

k=0
[(k + 1)|a
k+1
| +|a
k
|] t
k

M
t
n
n

k=0
[(k + 1)|a
k+1
| +|a
k
|] t
k
+ M|a
n+1
|t.
Vamos considerar a serie

n=0
A
n
x
n
, com os coecientes denidos por
A
0
= |a
0
|, A
1
= |a
1
|
(n + 2)(n + 1)A
n+2
=
M
t
n
n

k=0
[(k + 1)A
k+1
+ A
k
] t
k
+ MA
n+1
t. (2)

E f acil ver (por indu c ao) que |a

n
| A
n
, para n = 0, 1, 2, . . . Vamos mostrar que a serie

n=0
A
n
x
n
e convergente para |x| < r, o que implica que a serie de y(x) tambem e
convergente. Usando (2) temos que
(n + 1)nA
n+1
=
M
t
n1
n1

k=0
[(k + 1)A
k+1
+ A
k
] t
k
+ MA
n
t
n(n 1)A
n
=
M
t
n2
n2

k=0
[(k + 1)A
k+1
+ A
k
] t
k
+ MA
n1
t.
Assim
(n + 1)nA
n+1
=
1
t
_
M
t
n2
n2

k=0
[(k + 1)A
k+1
+ A
k
] t
k
+ M [nA
n
+ A
n1
] t
_
+ MA
n
t
=
1
t
{n(n 1)A
n
MA
n1
t + M [nA
n
+ A
n1
] t} + MA
n
t
=
A
n
t
_
n(n 1) + Mnt + Mt
2
_
REFER

ENCIAS 5
Ent ao

A
n+1
x
n+1
A
n
x
n

=
n(n 1) + Mnt + Mt
2
t(n + 1)n
|x|
|x|
t
, quando n .
Assim a serie

n=0
A
n
x
n
converge |x| < t, para todo t < r. Logo a serie

n=0
A
n
x
n
converge para |x| < r. Como |a
n
| A
n
, para n = 0, 1, 2, . . ., ent ao tambem converge para
|x| < r a serie
y(x) =

n=0
a
n
x
n
.
Agora, fazendo n = 0 em (1), obtemos a
2
como combina c ao linear de a
0
e a
1
.
Substituindo-se este resultado em (1) para n = 1 obtemos tambem a
3
como combina c ao
linear de a
0
e a
1
. Continuando desta forma obtemos
a
n
= b
n
a
0
+ c
n
a
1
, para n = 2, 3, . . ..
Assim,
y(x) = a
0
_
1 +

n=2
b
n
x
n
_
+ a
1
_
x +

n=2
c
n
x
n
_
.

E f acil ver que y

1
(x) = 1+

n=0
b
n
x
n
e y
2
(x) = x+

n=2
c
n
x
n
s ao solu c oes fundamentais
Referencias
[1] F. Brauer and J. A. Nohel. Ordinary Dierential Equations: A First Course. W. A.
Benjamin, Inc., New York, 1967.
[2] Ruel V. Churchil. Vari aveis Complexas e suas Aplica c oes. McGraw-Hill, Rio de
Janeiro, 1975.
[3] E. A. Coddington. Introduction to Ordinary Dierential Equations. Prentice-Hall,
New York, 1961.