Equaes Diferenciais (GMA00112)

Resoluo de Equaes Diferenciais

por Sries e Transformada de Laplace
Roberto Toscano Couto
toscano@im.uff.br
Departamento de Matemtica Aplicada
Universidade Federal Fluminense
Niteri, RJ

29 de julho de 2013

Sumrio
1 Sequncias e Sries
1.1 Sequncias . . . . . . . . . . . . . . . .
1.2 Sries de nmeros reais . . . . . . . . .
1.3 Critrios de convergncia e divergncia
1.4 Sries de potncias . . . . . . . . . . .
1.5 Sries de Taylor e MacLaurin . . . . .
1.6 Apndice: prova dos teoremas. . . . .
1.7 Exerccios . . . . . . . . . . . . . . . .
1.8 Solues dos Exerccios . . . . . . . . .

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

2 Resoluo de equao diferencial ordinria linear por srie de potncias

2.1 Resoluo em torno de um ponto ordinrio . . . . . . . . . . . . . . . . . . . . . . . .
2.1.1 Denies . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.1.2 Teorema da existncia de solues em srie de potncias . . . . . . . . . . . . .
2.1.3 Exemplos de resoluo de EDOs lineares por sries de potncias em torno de
ponto ordinrio . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.2 Resoluo em torno de ponto singular . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.2.1 Denies . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.2.2 O Mtodo de Frobenius Parte 1 . . . . . . . . . . . . . . . . . . . . . . . . . .
2.2.3 O Mtodo de Frobenius Parte 2 . . . . . . . . . . . . . . . . . . . . . . . . . .
2.3 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

.
.
.
.
.
.
.
.

3
3
4
6
9
11
12
17
20

27
. 29
. 29
. 31
.
.
.
.
.
.

31
33
33
34
39
46

3 Transformada de Laplace
3.1 Denio . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.2 L linear: . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.3 Condies sucientes para a existncia de L{f (t)}: . . . . .
3.4 Clculo de L de eat , tn , sen at, cos at, senhat, cosh at . .
3.5 Propriedades especiais . . . . . . . . . . . . . . . . . . . . .
3.6 Transformada de Laplace inversa . . . . . . . . . . . . . . .
3.7 Funo degrau unitrio . . . . . . . . . . . . . . . . . . . . .
3.8 Tabela de transformadas de Laplace de funes especcas .
3.9 Clculo de L de f (at), eat f (t), tn f (t), U(ta)f (ta), f (t)/t
3.10 Transformada de Laplace de derivadas . . . . . . . . . . . .
3.11 Transformada de Laplace de integrais . . . . . . . . . . . .
3.12 Clculo de L1 {f(s)
g (s)} por convoluo . . . . . . . . . .
3.13 Transformada de Laplace de funo peridica . . . . . . . .
3.14 Tabela de transformadas de Laplace com funes genricas
3.15 Uma aplicao: clculo de integrais denidas . . . . . . . .
3.16 Outra aplicao: resoluo de EDOs . . . . . . . . . . . . .
3.17 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.18 Solues dos Exerccios . . . . . . . . . . . . . . . . . . . . .

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

48
48
48
48
49
50
50
51
52
52
54
54
55
56
56
57
57
58
61

4 Sistemas de EDOs Lineares de Coecientes

4.1 Resoluo pelo mtodo dos operadores . . .
4.1.1 Por eliminao . . . . . . . . . . . .
4.1.2 Por determinantes . . . . . . . . . .
4.2 Resoluo pela transformada de Laplace . .
4.3 Resoluo pelo mtodo matricial . . . . . .

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

65
65
65
66
67
68

Constantes
. . . . . . . .
. . . . . . . .
. . . . . . . .
. . . . . . . .
. . . . . . . .

.
.
.
.
.

4.4
4.5

4.3.1 1o Caso: autovalores reais e distintos

4.3.2 2o Caso: autovalores imaginrios . .
4.3.3 3o Caso: autovalores repetidos . . .
Sistemas no-homogneos . . . . . . . . . .
Exerccios . . . . . . . . . . . . . . . . . . .

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

Referncias Bibliogrcas

.
.
.
.
.

69
70
71
74
77
79

Este texto didtico, que se baseia consideravelmente nas referncias bibliogrcas, contm exatamente o que se apresenta nas aulas, evitando que o aluno as copie, assim obtendo mais a sua ateno e economizando tempo, bem como denindo com clareza o que se
deve estudar. Para o seu aprendizado so imprescindveis as explicaes dadas nas aulas,
quando, ento, se detalham muitas das passagens matemticas.

Deus disse "faa-se a luz" e ...

!"D # 4 !

!"B # 0

!$H #

4
1 D
J %
c
c t

!$E %

... a luz foi feita!

1 B
#0
c t

Captulo 1

Sequncias e Sries
1.1

Sequncias

Se a cada inteiro positivo n associarmos um nmero an , dizemos que esses nmeros formam
uma sequncia, que ordenada segundo seus ndices:
a1 ,

a2 ,

a3 , ,

an ,

a3 = 1/8,

an+1 ,

Exemplos:
i) an = 1/2n :
ii) an =

( n+1 )2
n

a1 = 1/2,
:

a1 = 4,

a2 = 1/4,
a2 = 94 ,

a3 =

16
9 ,

Chamamos an de termo geral da sequncia, o qual usado tambm para indicar a prpria sequncia,
isto , dizemos simplesmente, por exemplo, "que a sequncia an = n2 formada pelos quadrados dos
naturais."
Se o que denominamos limite da sequncia, dado por
lim an = a

for nito, isto , se para qualquer > 0 possvel achar N N tal que
|an a| < para n > N ,
dizemos que a sequncia an converge para a. Se aquele limite no existe, dizemos que a sequncia an
divergente.
Observe que uma sequncia an pode ser vista como uma funo a(n) da varivel natural n. Com
isso, a denio do limite acima formalmente a mesma que aquela adotada no caso de uma funo
f (x) da varivel real x.
Sejam m e n naturais quaisquer, com m < n. Dizemos que uma sequncia an
crescente se am an [Ex: 2, 5, 5, 6, 7, 7, 11, ]
decrescente se am an [Ex: 6, 6, 3, 2, 2, 1, ]
montona se for crescente ou decrescente
limitada superiormente se R tal que an n N
limitada inferiormente se R tal que an n N
limitada se existem 1 e 2 tais que 1 an 2 n N
Note que, na denio de sequncias crescente e decrescente, permite-se a igualdade entre termos, o
que possibilita considerar a sequncia constante (aquela cujo termo geral constante; por exemplo: 3,
3, 3, ) tanto como uma sequncia crescente quanto decrescente e, por conseguinte, tambm como
montona.

Teorema 1
convergente uma sequncia que
crescente e limitada superiormente
decrescente e limitada inferiormente
divergente uma sequncia que
crescente e que no limitada superiormente (ela diverge para )
decrescente e que no limitada inferiormente (ela diverge para )

1.2

Sries de nmeros reais

Dada uma sequncia ak , a sequncia de termo geral

sn =

ak (n = m, m + 1, )

k=m

[ou seja,
= am (1o termo)
= am + am+1
..
.
= am + am+1 + + an

sm
sm+1

sn

(termo geral)]

denominada de srie associada sequncia an . Os nmeros an so chamados de termos da srie, e

os nmeros sn , de somas parciais da srie.
O limite da srie o limite da sequncia das somas parciais sn :
n

lim sn = lim

ak =

k=m

ak = am + am+1 + ,

k=m

o qual, quando existe, denomina-se soma da srie, caso em que a srie dita convergente. Se o somatrio

ak no existir [limite inexistente, isto , no-nico ou innito ()], a srie dita divergente.
k=m

O smbolo

ak usado para indicar a soma da srie usado tambm para indicar a prpria srie.

k=m

Por exemplo, a soma da srie geomtrica ,

q k , igual a 1/(1 q) se |q| < 1:

k=0

qk = 1 + q + q2 + =

k=0

De fato:
sn
q sn

=
=

k=0
n

= 1 + q + q2 + + qn

qk
q

k+1

= q + q + + q
2

n+1

k=0

sn =

k=0

1 q n+1
qk =
1q

() Convencionalmente,

x0

1
se |q| < 1
1q

k=0

()

()

== sn q sn = (1 q) sn = 1 q n+1


*0
n+1

1

q
1

q k = lim
=
n
1q
1q

]
lim q n+1 = 0 se |q| < 1 .

1 x R , isto , x0 denota a funo constante f (x) = 1.

Vejamos duas aplicaes da frmula acima:

)k
(

k=0

1
2k

k=0

1 1 1
1
1
2
( 1) =
+ + =
=
,
2 4 8
3/2
3
1 2
( )k

1 1 1
1
1
1
= 1 + + + + =
=
1 = 1/2 = 2 .
2 4 8
2
1

2
k=0
= 1

Observe que trabalhar com a srie

ak = am + am+1 + ,

k=m

que comea com o ndice m, equivalente a trabalhar com a srie de termo geral am+k ,

am+k = am + am+1 + ,

k=0

que comea com o ndice 0. Por isso, de agora em diante, todos os resultados sero estabelecidos para

sries que comeam com o ndice 0:

ak .
k=0

Teorema 2
Se um real dado e as sries
a)
b)

k=0

ak =

k=0

k=0

ak e

bk convergem, ento:

k=0

ak converge

k=0

(ak + bk ) =

k=0

ak +

bk converge

k=0

Teorema 3
Para que a srie

ak convirja, necessrio que o termo geral tenda a zero, isto , lim ak = 0.

k

k=0

Segue desse teorema o critrio do termo geral para a divergncia: se lim ak difere de zero ou no
k

existe ento a srie

ak divergente.
k=0

Exemplos:

k2
k2
k2
diverge, pois lim 2
= 1 = 0. Em vista disso e do fato de sn =
ser
2
k k + 3
+3
k=0
k=0 k + 3

k2
uma sequncia crescente (por ser formada de termos positivos), temos que
= .
2
k=0 k + 3
[
]

ii)
1 + (1)k diverge, pois
k=0
{
2 se k for par
ak = 1 + (1)k =
0 se k for mpar

i)

k2

mostra que lim ak no existe. Alm disso, vemos que

k

s1 = 0 ,

s2 = 0 + 2 ,

s3 = 0 + 2 + 0 ,

isto , a sequncia das somas parciais crescente; logo,

iii) A srie

s4 = 0 + 2 + 0 + 2 = 4 , ,
[
]

1 + (1)k = .
k=0

1/k satisfaz a condio necessria de o seu termo geral tender a zero

k=1

entretanto, ela diverge para , como veremos adiante.

)
lim 1/k = 0 ;

iv)

1/k 3 satisfaz a condio necessria de o seu termo geral tender a zero

k=1

)
lim 1/k 3 = 0 e

convergente, como veremos adiante.

Uma srie do tipo

(1)k ak = a0 a1 + a2 a3 + ,

k=0

na qual ak > 0, dita alternada. Exemplos:

i) 2 3 + 4 5 + =

(1)k k

k=2

1 1 1
1
1
ii) 1 + + =
(1)k1 =
(1)k
2 3 4
k
k+1
k=1

k=0

Teorema 4: Critrio de convergncia para srie alternada

A srie alternada

(1)k ak [ak > 0] convergente se a sequncia (de termos positivos) ak

k=0

decrescente e lim ak = 0 .
k

1
Exemplo: A srie
(1)k
converge, pois satisfaz as condies do Teorema 4: alternada, e a
ln k
k=2

sequncia ak = ln1k k2 positiva, decrescente e tende a zero.

1.3

Critrios de convergncia e divergncia

Teorema 5: Critrio da integral

Considere uma srie

ak tal que ak > 0 para k m. Se, para algum natural l m, existir

k=0

uma funo f contnua, positiva, decrescente e tal que f (k)

= ak para k l, ento aquela srie ser
convergente ou divergente conforme a integral imprpria l f (x) dx seja convergente ou divergente,
respectivamente.
Exemplos:

1
1
. A funo f (x) =
contnua, positiva, decrescente em
k ln k
x ln x
k=2
[2, ) e tal que f (k) = ak para k 2 . Como


b
1

f (x) dx = lim
dx = lim ln(ln x) = lim ln(ln b) ln(ln 2) = ,
b
b
b
x
ln
x
2
2
2
i) A srie

ak , com ak =

temos que a srie dada divergente.

ii) A chamada srie harmnica de ordem p ,

1
1
1
= 1 + p + p + ,
p
n
2
3
n=1

converge se p > 1 e diverge se p 1 . De fato:

1
Se p 0, o termo geral p no tende a zero quando n ; portanto, segundo o Teorema 3, a
n
srie diverge.
Se p > 0, o critrio da integral, com f (x) =

1
, fornece:
xp

para p = 1 :
1

1
dx = lim
b
x

b
1

dx = lim ln x = lim ln b ln 1 = ,
b
b
x
1
| {z }

mostrando que a srie diverge.

para p (0, 1) (1, ) :

1
dx = lim
b
xp

b
(
) {
1
1
xp+1 

=
lim

1
=
dx = lim
1

p1
b p + 1 1
1 p b b
p1

p (0, 1)
,
p (1, )

se
se

mostrando que a srie diverge se p (0, 1) e converge se p > 1 .

Teorema 6: Critrio da comparao
Se 0 ak bk para k maior ou igual a algum natural l, ento:
a)
b)

k=0

bk converge
ak diverge

ak converge

k=0

bk diverge

k=0

k=0

Exemplos:
i) A srie

1
1
sen .
k
k

k=1

A gura direita ilustra o fato de que sen < se > 0 . Assim,

sen k1 < k1 , o que nos permite escrever
0

1
1
1
sen 2 .
k
k
k

em
radianos

Logo, como a srie

converge (por ser a srie harmnica de ordem
2
k=1 k
2), a srie dada tambm converge.

ii) A srie

k=1

k
.
k 2 + 2k + 5

Temos, para k 1, que:

k2
Logo, como a srie

k
1/k
1/k
1
=

=
.
2
+ 2k + 5
1 + 2/k + 5/k
1+2+5
8k

1
1

1
=
diverge (por ser a srie harmnica de ordem 1), a srie dada
8 k=1 k
k=1 8k

tambm diverge.
iii) A srie

1
converge, pois
n 2n
n=1

0
e a srie

1
1
n para n 1 ,
n 2n
2

(geomtrica) convergente:
n
n=1 2
( )n

1
1
1
=
1=
1=1
n
2
2
1

1/2
n=0
n=1

Dizemos que uma srie

ak absolutamente convergente se

k=0

|ak | for convergente. Uma srie

k=0

convergente que no absolutamente convergente dita condicionalmente convergente.

Teorema 7
convergente a srie que converge absolutamente.
sen k

convergente, pois, pelo critrio da comparao, vemos que ela converge

2
k=0 k
1

sen k
1
absolutamente: 0 | 2 | 2 , e a srie
convergente.
2
k
k
k=0 k

Exemplo: A srie

Teorema 8: Critrio da razo

Considere a srie

ak , com ak = 0 , e seja L = lim |ak+1 /ak | . Temos que:

k

k=0

a) Se L < 1 , a srie dada converge absolutamente

b) Se L > 1 ou L = , a srie diverge
c) Se L = 1 , o critrio nada revela
Exemplos:
i) A srie

ak , com ak = 2k /k! , converge, pois

k=0



k+1
 ak+1 
2k+1
k!
2
/ (k + 1)!

 = lim 2
lim 
=
lim
= lim
= 0<1 .

k
k 2k (k + 1)!
k k + 1
k
ak
2k / k!

ii) A srie

ak , com ak = k k /k! , diverge, pois

k=1



k+1
 ak+1 
(k + 1)k+1
k!
/ (k + 1)!

 = lim (k + 1)
lim 
=
lim
k
k
ak  k
k k / k!
kk
(k + 1)!
(
)k
(
)k

(k + 1)k 
(k
+
1) 1
k+1
1
= lim
=
lim
=
lim
1
+
= e > 1


k
k
kk
k+
1 k
k
k


iii) Clculo de x de modo que a srie

an , com an = n xn , seja convergente.

n=1

Se x = 0 ento an = 0, e a soma da srie zero (srie convergente).

Se x =
0, pelo critrio da razo, temos que
a

 (n + 1) xn+1 
n+1
 n+1 


lim 
= |x| 1 = |x| ,
 = lim 
 = |x| lim
n
n
n
an
n xn
n
mostrando que a srie convergente para |x| < 1 . Mas, para |x| = 1, o critrio da razo nada revela,
e uma anlise separada necessria:



Para x = 1, temos que
n xn 
=
n = (srie divergente).
x=1
n=1
n=1



Para x = 1, temos que
n xn 
=
n (1)n , que uma srie divergente, de acordo com
n=1

x=1

o Teorema 3, pois lim n (1)n no existe.

n=1

Resposta: a srie dada convergente para |x| < 1.

Teorema 9: Critrio da raiz
Considere a srie

k=0

ak , e seja L = lim

k
|ak | . Temos que:

a) Se L < 1 , a srie dada converge absolutamente

8

b) Se L > 1 , a srie diverge

c) Se L = 1 , o critrio nada revela
Exemplo: A srie

ak , com ak = k 3 /3k , convergente, pois

k=0

lim

1.4

|ak | = lim

(
)
k3
1
1
1 3 k
1
1
lim lnkk
3( lnkk )
3/k
=
lim k
=
lim e
= e
= e0 = < 1 . ()
3k
3 k
3 k
3
3
3

Sries de potncias

Por srie de potncias de x entende-se uma srie da forma

an xn = a0 + a1 x + a2 x2 + ,

n=0

onde a0 , a1 , so constantes. Por srie de potncias de x x0 entende-se uma srie da forma

an (x x0 )n = a0 + a1 (x x0 ) + a2 (x x0 )2 +

n=0

(a constante x0 denominada ponto de expanso da srie). Diz-se tambm que essa uma srie de
potncias relativa a x0 (ou em torno de x0 , ou ainda centrada em x0 ) . Assim, a primeira srie acima
uma srie de potncias relativa origem (x0 = 0).
Uma srie de potncias pode apresentar "potncias negativas":

an x n

= + a2 x2 + a1 x1 + a0 + a1 x + a2 x2 +

n=

= +

a1
a2
++
+ a0 + a1 x + a2 x2 + .
x2
x

Teorema 10
Toda srie de potncias

an (x x0 )n tem um raio de convergncia R tal que a srie converge

n=0

absolutamente se |x x0 | < R e diverge se |x x0 | > R .

O nmero R pode ser 0 (caso em que a srie converge somente para x = x0 ), um nmero real
positivo, ou (caso em que a srie converge para todo x), podendo ser calculado pela frmula


 an 
 ou R = lim 1
convergncia
R = lim 
,
n an+1 
n n |a |
n
desde que o limite fornea um nico resultado, nito ou innito.

Observe que o teorema nada diz se |x x0 | = R .

O conjunto dos valores reais de x para os quais a srie convergente chamado de intervalo de
convergncia. Este, segundo o teorema, pode consistir apenas no ponto x0 , se R = 0, ou, se R > 0,
nos intervalos (x0 R, x0 + R) , [x0 R, x0 + R) , (x0 R, x0 + R] ou [x0 R, x0 + R], conforme a
srie seja convergente, ou no, em x0 R.
Por exemplo, calculemos o intervalo de convergncia
i) da srie

nn xn :

n=0

 a 
( n )n 1
1
1
1
nn
 n 
)n
R = lim 
=
lim
= lim (
= 0=0 ;
 = lim
1
n an+1
n n + 1
n
n (n + 1)n+1
n+1
e
1+ n n+1
()

Usando a regra de lHopital, vemos que

lim

ln k
1/k
= lim
=0 .
k 1
k

portanto,

nn xn s converge em x = 0 .

n=0

ii) da srie

xn
:
n=0 n + 2

1
 a 
 n 
n
+
2 =1
R = lim 
 = lim
1
n an+1
n
n+3

xn
converge x (1, 1) .
n+2
n=0

1
(1)n
,
n
+
2
n=0
[
]

1
1
=
.
que, segundo o Teorema 4, convergente. Se x = 1 , temos a srie divergente
n
+
2
n=2 n
n=0
n

x
Resposta:
converge no intervalo [1, 1) .
n=0 n + 2
Analisemos a convergncia nos ponto x = 1. Se x = 1, temos a srie alternada

iii) da srie

xn

:
n=0 n!

 a 
 n 
R = lim 
 = lim
n an+1
n

iv) da srie

(n + 1)!
xn
n!
= lim
= lim (n+1) =
converge x R .
1
n
n
n!
n!
n=0
(n + 1)!

(1)n (x 3)n

:
2n n
n=0

 a 
2n+1 (n + 1)
 n 
=2
R = lim 
 = lim
n
n an+1
2n n

xn
converge x (3 2, 3 + 2) = (1, 5) .
n+2
n=0

Analisemos a convergncia nos pontos extremos desse intervalo. Se x = 1, temos a srie divergente
1
(1)n

. Se x = 5 , temos a srie alternada

, que, segundo o Teorema 4, convergente.
n
n=0 n
n=0
(1)n (x 3)n

Resposta:
converge no intervalo (1, 5] .
2n n
n=0
Teorema 11
Uma srie de potncias

an (x x0 )n com raio de convergncia R > 0 apresenta as seguintes

n=0

propriedades no intervalo (x0 R , x0 + R):

an (x x0 )n = f (x) uma funo contnua;

a) sua soma
n=0

nan (x x0 )n1 = f (x) ;

an
n+1
c) ela pode ser integrada termo a termo para se obter
(x x0 )
= f (x) dx .
n=0 n + 1
b) ela pode ser diferenciada termo a termo para se obter

n=1

Observe que, de acordo com esse mesmo teorema, a srie de potncias produzida por diferenciao
pode ser novamente diferenciada para se obter uma nova srie de potncias que converge para f (x)
no mesmo intervalo (x0 R , x0 + R). Ou seja, diferenciaes sucessivas produzem as derivadas
f (n) (x) [n = 1, 2, ], todas denidas no mesmo intervalo. Isso signica que a soma de uma srie de
potncias centrada em x0 com raio de convergncia R > 0 , no intervalo (x0 R , x0 + R), uma funo
innitamente diferencivel, isto , uma funo que admite ser diferenciada um nmero qualquer de
vezes.

10

1.5

Sries de Taylor e MacLaurin

Para estabelecer o teorema abaixo, fundamental o fato de a soma f (x) de uma srie de potncias
com raio de convergncia no-nulo ser, como garante o Teorema 11, uma funo innitamente diferencivel no intervalo de convergncia:
Teorema 12
Os coecientes de uma srie de potncias

an (x x0 )n com raio de convergncia R > 0 so

n=0

dados por an = f (n) (x0 )/n! , onde f (x) a funo para a qual aquela srie converge no seu intervalo
de convergncia.
Esse teorema admite uma recproca, incorporada no prximo teorema:
Teorema 13
Qualquer funo f (x) innitamente diferencivel num ponto x = x0 pode ser desenvolvida numa
srie de potncias como segue:
f (x) =

f (n) (x0 )
f (0) 2 f (0) 3
(x x0 )n = f (0) + f (0) x +
x +
x + .
n!
2
3!
n=0

Essa a chamada srie de Taylor relativa a x0 , vlida no seu intervalo de convergncia. A srie de
Taylor relativa origem (x0 = 0) denominada srie de MacLaurin.
Os seguintes exemplos sero desenvolvidos em sala de aula:
a) ex =

b)

xn
x2
x3
x4
=1+x+
+
+
+
n!
2
3!
4!
n=0

senx =

(1)n

n=0

c) cos x =

(1)n

n=0

d) ln x =

x3
x5
x7
x2n+1
=x
+

+
(2n + 1)!
3!
5!
7!

x2n
x2
x4
x6
=1
+

+
(2n)!
2!
4!
6!

(1)n1

n=1

(x R) .
(x R) .

(x R) .

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

+
n
2
3
4

(0 < x 2) ,

ou, em funo da varivel u = x 1 ,

ln(1 + u) =

(1)n1

n=1

e)

un
u2
u3
u4
=u
+

+
n
2
3
4

(1 < u 1) .

1
x2
+ .
=1
2
1 + x2

A srie geomtrica

xn = 1 + x + x2 + , que converge para 1/ (1 x) se |x| < 1, pode ser

n=0

empregada para se obter mais facilmente a srie de Taylor de algumas funes.

f)

g)

1
1
2 n
=
=
(x
)
=
(1)n x2n = 1 x2 + x4 x6 + se |(x2 )| = x2 < 1,
1 + x2
1 (x2 ) n=0
n=0
i.e., 1 < x < 1 .

x2
x2
1
x2
x2
4x3
4x4
4x5
4n xn+2
n
=

=
=
+
+
+
+
(4x/3) =
3 4x
3 1 (4x/3)
3 n=0
3n+1
3
32
33
34
n=0
se |4x/3| < 1 , i.e., 3/4 < x < 3/4 .

De grande auxlio no desenvolvimento de certas funes em srie de Taylor o Teorema 11. Nos
dois exemplos que seguem, para se obter o desenvolvimento em srie da funo f (x), primeiramente
desenvolvemos f (x) em srie, por ser mais fcil, e depois integramos essa srie termo a termo :
11

h)

f (x) = arctan x

f (x) =

1
=
(1)n x2n (srie j obtida acima, vlida para
1 + x2
n=0

(1)n x2n+1
+ c. Como essa srie convergente para x = 1
2n + 1
n=0
(segundo o critrio para sries alternadas), e c = 0 [ pois f (0) = 0 ], temos, nalmente, que

(1)n x2n+1
x3
x5
x7
f (x) = arctan x =
=x
+

+ (1 x 1) .
2n + 1
3
5
7
n=0

1 < x < 1) f (x) =

1+x
1
x2n+1
2 n
f (x) =
=
(x
)
se

1
<
x
<
1

f
(x)
=
+ c.
2
1x
1x
2n + 1
n=0
n=0
Como
divergente para x = 1, e c = 0 [ pois f (0) = 0 ], obtemos nalmente f (x) =
essa srie

x3
x5
x7
1 + x x2n+1
ln
=
=x+
+
+
+ (1 < x < 1) .
1 x n=0 2n + 1
3
5
7

i)

f (x) = ln

Uma aplicao das sries de Taylor o clculo da integral de uma funo cuja primitiva no
conhecida como um expresso fechada (isto , em termos das funes elementares. Por exemplo,
1 2
2
calculemos 0 ex dx (no conhecemos a integral indenida de ex ):

ex dx =
0

(x2 )n ]
1 1 2n
1 [ x2n+1 ]1
dx =
x dx =
n!
n! 0
n! 2n + 1 0
n=0
n=0
n=0

1/ (2n + 1)
1/3 1/5 1/7 1/9
=
=1+
+
+
+
+ .
n!
1!
2!
3!
4!
n=0

1.6

Apndice: prova dos teoremas.

Teorema 1: V. prova in referncia [2], vol. 4, se. 1.2, p.11.

Teorema 2: V. referncia [2], vol. 4, se. 2.1, pp. 17 e 18.
Teorema 3

Se
ak converge ento, denotando sn
ak e usando o fato que lim sn = nmero nito s,
k=0

k=0

temos necessariamente o seguinte resultado:

)
( n
( s
)
n1

s
lim an = lim
ak
ak = lim
sn sn1 = 0 . CQD.
n

Teorema 4
s0

= a0

s1

= s0 a1 < s0

s2

z }| {
= s1 + a2 = s0 (a1 a2 )
| {z }
|
{z
}

>0

>s1

s1 < s2 < s0

s1 < s3 < s2

s3 < s4 < s2

<s0
>0

s3

z }| {
= s2 a3 = s1 + (a2 a3 )
| {z }
|
{z
}
<s2

>s1
>0

s4

z }| {
= s3 + a4 = s2 (a3 a4 )
| {z }
|
{z
}
>s3

<s2

..
.
Raciocinando desse modo, podemos desenhar o seguinte:
Assim, conclumos que
s1 < s3 < < s2n+1 < < s2n < < s4 < s2 < s0 ;
12

limite
das duas
sequncias

sequncia crescente

sequncia decrescente

isto , que as somas parciais mpares formam uma sequncia crescente, e as somas parciais pares formam
uma sequncia decrescente, que so limitadas superiormente e inferiormente, respectivamente, o que,
de acordo com Teorema 1, nos diz que ambas convergem:
lim s2n+1 = s ,

lim s2n = s .

Mas a2n+1 = s2n s2n+1 e, portanto,

0 = lim a2n+1 = lim (s2n s2n1 ) = s s
n

s = s = s : que o limite da srie alternada considerada (veja-o na gura acima).

Teorema 5
nito

z }| {
l

ak +
Como
ak =
ak , a srie
ak ser convergente ou divergente conforme a srie
k=0

k=l+1

k=0

k=0

ak seja convergente ou divergente, respectivamente.

k=l+1

a) No caso de l f (x) dx convergir, considere, para essa integral, a soma de Riemann inferior representada na gura abaixo, no grco esquerda, pela rea hachurada de uma innidade de retngulos
situados desde x = l at x . Note que

rea hachurada = al+1 + al+2 + + an + =

ak
f (x) dx = valor nito ,
l

k=l+1

ou seja, a srie

ak convergente.

k=l+1

de l

b) No caso
f (x) dx = , considere, para a integral l f (x) dx (que divergente tambm),
a soma de Riemann superior representada na gura abaixo, no grco direita, pela rea hachurada
de uma innidade de retngulos. Temos que

rea hachurada = al + al+1 + + an1 + =

ak
f (x) dx = ,
k=l

ou seja, a srie

k=l+1

ak =

ak al = (divergente).

k=l

| {z }

O teorema est provado.

13

x
Teorema 6
Prova do item (a): A sequncia sn =
(pois sn =

ak

k=l

k=l

Teorema 1. Isto , lim sn =

n

ak crescente (pois ak 0) e limitada superiormente

k=l

bk <

bk = valor nito), sendo, portanto, convergente, de acordo com o

k=0

k=l

k=0

ak = valor nito, o que acarreta na convergncia da srie

Prova do item (b): Se a srie

bk fosse convergente, ento, pelo item (a), a srie

k=0

seria convergente, o que contraria a hiptese. Logo,

ak .

ak tambm

k=0

bk no pode ser convergente.

k=0

O teorema est provado.

Teorema 7
A srie

ak convergente, pois

k=0

k=0

ak =

]
)
|ak | + ak |ak |

(1)

k=0

(
k=0

|ak | + ak
{z

convergente(2 )

)
}

|ak |

k=0

| {z }
convergente
p/ hiptese

Seguem as duas notas indicadas nesse desenvolvimento:

(1)

Nesta passagem usado o Teorema 2(b).

(2)

Para vericar a convergncia da srie

)
|ak | + ak , usamos o critrio da comparao: temos,

k=0

por um lado, que 0 |ak | + ak 2 |ak | e, por outro, que

k=0

da hiptese combinada com o Teorema 2(a).

14

2|ak | convergente, como consequncia

Teorema 8
a) Caso L < 1
k

Seja q um real qualquer entre L e 1. Como bk |ak+1 /ak | L , existe N tal que bk < q
para k N . Logo,

|ak | =

k=0

N
1

|ak | +

k=0

|ak | = + |aN | + |aN +1 | + |aN +2 | + |aN +3 | +

k=N

| {z }
(
)
|aN +1 | |aN +2 | |aN +1 | |aN +3 | |aN +2 | |aN +1 |
+ |aN | 1 +
+
+
+
|aN |
|aN +1 | |aN |
|aN +2 | |aN +1 | |aN |
+ |aN | (1 + bN + bN +1 bN + bN +2 bN +1 bN + )
+ |aN | (1 + q + q 2 + q 3 + ) = valor nito . CQD.
|
{z
}
srie convergente, por
ser de razo q < 1
valor nito

=
=
<

b) Caso L > 1
Seja q um real qualquer entre 1 e L . Como lim |ak+1 /ak | = L, existe N tal que, para k N ,
k

|ak+1 /ak | > q (> 1) , ou |ak+1 | > |ak | . Isso signica que |aN | < |aN +1 | < |aN +2 | < , ou, em palavras, que |ak | uma sequncia crescente que no limitada superiormente, sendo impossvel, portanto,

k
que |ak | 0. Logo, pelo Teorema 3, a srie
|ak | divergente.
k=0

c) Caso L = 1
A srie pode convergir ou divergir. Por exemplo, no caso da srie harmnica de ordem p ,
temos que

1/k p ,

k=1



)p
(
 1/(k + 1)p 
k


= 1p = 1 .
= lim
lim |ak+1 /ak | = lim 
k
k
1/k p  k k + 1

No entanto, j vimos que tal srie converge se p > 1 e diverge se p 1.

Teorema 9
a) Caso L < 1

Seja q um real qualquer entre L e 1. Como lim k |ak | = L , existe N tal que, para k N ,
k

k
k
q k (convergente, pois
|ak | < q , ou |ak | < q . Logo, por comparao com a srie geomtrica
q < 1), vemos que a srie

k=0

|ak | convergente.

k=0

b) Caso L > 1

Seja q um real qualquer entre 1 e L . Existe N tal que, para k N , k |ak | > q (> 1) , ou |ak | > 1,

mostrando que o termo geral da srie

ak no pode convergir para zero, signicando, pelo Teorema
k=0

3, que a prpria srie divergente.

c) Caso L = 1
O critrio falha, como novamente mostra a srie harmnica de ordem p . Vejamos: para ak = 1/k p
(que converge se p < 1 e diverge se p > 1), temos:

1
1
1
1
1
k
k
) = 0 =1 ,
= lim p/k = lim
L = lim
|ak | = lim
= (
ln k
n k
n
n
n p( lnkk )
kp
e
p
lim
e
e k k
onde foi usado o resultado obtido no rodap da p. 9.

15

Teorema 10
Calculemos o parmetro L denido no Teorema 8, que o critrio da razo:




 an+1(xx0 )n+1 
 an+1 


 = |x  x0 |  = |x x0 | ,

L = lim 
= |x x0 | lim 


n an (x x0 )n 
n
an 
R
lim  an 

(I)

n an+1



 n 
onde R lim  aan+1
 . Assim, a srie divergir se
n

L=
ou
L=

|x x0 |
> 1 , i.e., |x x0 | > R
R

|x x0 |
= , i.e., x = x0 e R = 0 ;
R

convergir absolutamente se

|x x0 |
< 1 , i.e., |x x0 | < R
R
e, obviamente, para x = 0, independentemente de R.
Calculemos o parmetro L denido no Teorema 9 (critrio da raiz):
L=

L = lim

n
|an (x x0 )n | = |x x0 | lim n |an | =
n

|x x0 |
1
lim
n

n
1
onde R lim
n
n

|an |

|an |

|x x0 |
,
R

(II)

. Como a equao (II) semelhante equao (I), seguem as mesmas concluses

acima, mas agora com uma nova frmula de clculo do raio de convergncia, que acabamos de deduzir.
CQD.
Teorema 11: V. referncia [2], vol. 4, se. 8.3.
Teorema 12

f (x) =
f (x) =
f (x) =

k=0

k=1

ak (x x0 )k = a0 +

ak (x x0 )k

k ak (x x0 )k1 = a1 +

k ak (x x0 )k1

f (x0 ) = a0 = 0! a0

f (x0 ) = a1 = 1! a1

k=2

k (k 1) ak (x x0 )k2 = a2 +

k=2

f (x) =

k=1

k (k 1) ak (x x0 )k2

k=3

f (x0 ) = 2 1 a3 = 2! a2

k (k 1) (k 2) ak (x x0 )k2 = a3 +
k (k 1) (k 2) ak (x x0 )k3
k=3

k=4

f (x0 ) = 3 2 1 a3 = 3! a3
..
.
f (n) (x0 ) = n! an

an = f (n) (x0 )/ n! . CQD .

Teorema 13: V. referncia [2], vol. 1.

16

1.7

Exerccios

1. Calcule lim an , caso exista, sendo:

n

n3 + 3n + 1
a) an =
4n3 + 2

b) an = n + 1 n

(
c) an =

2
1+
n

)n
d) an =

n
n

2. Usando o critrio do termo geral, mostre a divergncia de:

2k

k2
k+5
sen
b)
k ln
a)
c)
3
2
k
k
+2
k=1
k=1
k=1
3. Usando o critrio da integral, determine a convergncia de:

1
1
a)
b)
2
2
k
+
1
k
ln
k
k=1
k=2
4. Usando o critrio da integral, determine a divergncia de:

k
1
1

a)
b)
c)
2
k=1 k + 1
k=2 k ln k
k=2 k ln k
5. Usando o critrio da comparao, mostre a convergncia de:

k1
1
1

a)
b)
c)

3
2 ln k
3
2k
+
1
k
n(1 + n )
k=2
k=1
k=2

d)

d)

1
k=2 (k ln k)(ln ln k)

ln k

3 k
k=1 k

6. Usando o critrio da comparao, mostre a divergncia de:

2k + 1
2k + 1
2k + 1
a)
b)
c)
2
2
2 3k + 4
k

3k

4
k
+
3k
+
4
k
k=0
k=0
k=0

1
1
1

f)
e)
g)
2
ln k
k=2
k=2 ln k
k=2 ln k

e)

d)

ln k

2
k=1 k

k
ln k
k=2

7. Usando o critrio da comparao, determine se convergente ou divergente:

2k 6 4k 5 + 3k 6

k+1
2k 1
a)
b)
c)
3
9
2
2 3k 4
2k

1
3k
+
2k

2k
+
1
k
k=1
k=0
k=0
8. Estabelea que

1
a)
convergente se p > 1 e divergente se p 1
p
k=3 k(ln k)

1
b)
convergente se p > 1 e divergente se p 1
p
k=2 k ln k
9. Usando o critrio da razo, determine a convergncia ou divergncia de:
3k + k
k!2k
(4 )k
(1)k

b)
c)
d)
a)
k
k
3
k!
k=0 2 + 1
k=1 k
k=1 k + 4
k=1
10. Usando o critrio para srie alternada, mostre a convergncia de:

(1)k k 3

1
ln k
b)
(1)k sen
c)
a)
(1)k+1
4
k
k
k=1
k=2 k + 3
k=1
11. Usando o critrio da raiz, mostre a convergncia de:
(
)k2

k
b)
a)
k
k=1 k + 1
k=1 k

17

d)

(1)k 2k k
k+1
k=2 (k + 1) e

12. Mostre que a srie

k!ak

convergente para 0 a < e e divergente para a e.

k
k=1 k

Nota: Para a = e, o problema mais complicado, sendo necessrio mostrar antes a

desigualdade
ek
ek
(k 1)!
k k k!
,
e
e
o que se consegue a partir da desigualdade

ln 1 + ln 2 + + ln(k 1)

ln x dx ln 2 + ln 3 + + ln k ,
1

obtida por meio das somas de Riemann inferior e superior.

13. Classique, justicando, se so absolutamente convergentes, condicionalmente convergentes ou
divergentes:

(1)k
k2
1

a)
b)
(1)k k
c)
k sen
4
k
k(k + 2)
k=1
k=0
k=1
14. Determinar se so convergentes ou divergentes:

3k 5

k4

b)
a)
k
6
2k 3k 5
k=1 k 2
k=1
(1)k ln k

k=1 2k + 3
(
)k

k+1
i)
2k
k=1

e)

1 + ln2 k

2
k=2 k ln k

5 + cos k 3

j)
k+1
k=0

g)

f)

15. Determine x para que a srie seja convergente:

(x 3)n

nxn
a)
b)
3
n
n=1
n=1 n + 1

1
xn
e)
f)
n
n+1
n=1 (x + 6) ln(n + 1)
n=1 (1 x)
16. Calcule a soma da srie:
( )k

1
a)
b)
ek
k=2 3
k=0

c)

c)

(1)k 2k

ek
k=1 k + 1

d)

cos k

k=1 k + 2

c)

h)

k=0

2k/2

ln k
k
+
ln k
k=1

d)

e)

k=0

k2
k=1 k! + 1

(2n + 1)xn

n!
n=1

d)

k=1

xn+1

n1
n=2 3

(1)k

22k1
7k

17. (Sries telescpicas) Seja ak uma sequncia convergente e denote lim ak a. Mostre que
k

a)

(ak ak+1 ) = aj a

b)

k=j

(ak1 ak+1 ) = aj + aj1 2a

k=j

1
1
3
2k + 1
1
=1
d)
=
e)
=
k(k + 1)
k2 1
4
k 2 (k + 1)2
9
k=1
k=2
k=3
)
[
(
( k + )
( k )] 3 1

1
1
1
sen

=
g)
sen
=
f)
4k + 1 4k + 5
25
3k + 6
3k + 3
2
k=1
k=6
)
(

(
)
k+4
k+4
k+3
k
k+1
k ln
ln
= 4 ln 7 6
i)
h)
k ln
k
k+1 = 21
k3
k2
k2

c)

k=2

k=4

j)

k=2

4k
5
=
(k 2 1)2
4

k)

k=1

1
1
=
k(k + 1)(k + 2)
4

18

l)

k=0

1
1
=
(5k 3)(5k + 2)
15

18. Considere a srie

bk /k p . Mostre que, se lim bk > 0, ento a srie convergente para p > 1

k

k=0

e divergente para p 1.
19. Usando o problema 18, determine se convergente ou divergente a srie:
a) do problema 7a

b) do problema 7b

c) do problema 7c

d)

k=0

e)
k
k=0 k k

k2 3
k9 + k2 + 1

f)
4
k k2
k=2

20. Determine o intervalo de convergncia das seguintes sries de potncias:

(1)n

(2x)n
n + 3 (x 7)n
n
x
b)
c)
a)
2
n
(n + 5)2
n=1
n=1 (n + 1) + 2
n=1
n
n
n
n

5 (x 1)
n (x 2)
d)
e)
n!
2n
n=0
n=0
21. Calcule a soma das seguintes sries:

(1)n1 22n
(1)n 2n+1
a)
b)
n
22n+1 (2n + 1)!
n=1
n=1

c)

(1)n
2n + 1
n=0

22. Se f (x) = sen x3 , calcule f 15 (0).

23. Desenvolva as seguintes funes numa srie de MacLaurin, fornecendo o intervalo de convergncia:
x
x
x
cos t 1
sen t2
c)
a)
b)
ln(1 + 125t3 ) dt
t
t2
0
0
0
24. No intervalo (1, 1), desenvolva as seguintes funes numa srie de MacLaurin:
a)

x
(1 x)2

b)

x2
(1 x)3

c)

25. Identique as seguintes funes:

a) f (x) =
(n + 1)xn
b) g(x) =
(n 1)xn
n=0

n=2

19

x+1
3x + 2

c) h(x) =

n=1

nx2n+1

1.8

Solues dos Exerccios

Prob. 1

1 + n32 + n13
n3 + 3n + 1
= lim
= 14
3
n
n
n
4n + 2
4 + n23

n+1+ n
1
b) lim an = lim n + 1 n = lim ( n + 1 n )
= lim
=0
n
n
n
n + 1 + n n n + 1 + n
(
(
x )n
2 )n
c) Como lim 1 +
= ex , temos que lim an = lim 1 +
= e2
n
n
n
n
n
(
)
(
)
1/n
(l H)
lim lnnn
lim 1
ln n
1/n
n
n
n
d) lim an = lim n
= lim e
=e
= e
= e0 = 1
a) lim an = lim

Prob. 2
Neste problema, basta mostrar que lim ak no exite ou, existindo, que lim ak = 0 .
k

k2
no existe (ak oscila nos valores 0 e 1)
a) lim ak = lim sen
n
k
2
2k
n k 3

b) lim ak = lim
n

(l H)

2k ln 2
n 3k 2
lim

(l H)

k+5

ln k+2
k+5
c) lim ak = lim k ln
= lim
n k 1
n
n
k+2

2k ln2 2
n
6k
lim

(l H)

(l H)

2k ln3 2
= (no existe)
n
6
lim

3
(k+2)(k+5)
lim
n
k 2

3k 2
= 3 = 0
n k 2 + 7k + 10

= lim

Prob. 3

Observe que, em cada integral K f (x) dx usada, a funo f (x) contnua, positiva, decrescente e
tal que f (k) = ak (o termo geral da srie) para k K, assim satisfazendo as condies do critrio da
integral. Neste problema, basta mostrar que essa integral imprpria existe.


1


a)
dx
=
arctan
x
 = arctan arctan 1 = =
2
x +1
2
4
4
1
1

b)
2


1
1
1 
dx
=

ln
x
+ ln 2 = 0 + ln 2 = ln 2
 =
2
ln
2
x ln x

Prob. 4
Devemos mostrar que a integral imprpria que satisfaz as condies do critrio da integral (v. o
incio da resoluo do Prob. 3) no existe.


1
x
1

2
dx
=
ln(x
+
1)
ln 2) =
a)
 = (ln
2+1
x
2
2 | {z}
1
1

b)
dx = 2 ln x  = 2 (| ln
} ln 2) =
{z
2
x ln x
2


1

dx = ln | ln x|  = ln
c)
| ln
{z } ln ln 2 =
x ln x
2
2


1

dx = ln ln ln x  = ln
d)
| ln{zln } ln ln ln 3 = (note que ln ln x > 0 se x 3)
(x ln x) ln ln x
3
3

Prob. 5
Pelo critrio da comparao entre sries de termos gerais positivos, para mostrar que uma srie
convergente, basta mostrar que, assintoticamente (i.e., para k maior que algum natural, ou k ), o
seu t.g. (termo geral) menor ou igual que o t.g. de alguma sr. conv. (srie convergente).
k1+1
1
k1
3
= 2 : t.g. de uma sr. conv.
2k 3 + 1
2k + 1 1
2k
1
1
1

b)

= 2 : t.g. de uma sr. conv.

3
3
n
n (1 + n )
n (1 1 + n )

a)

20

1
1
2 : t.g. de uma sr. conv.
k 2 ln k
k
ln k
k
1
d) = 2,5 : t.g. de uma sr. conv.
k
k3 k
k3 k

ln k
k
1
e) 2 2 = 1,5 : t.g. de uma sr. conv.
k
k
k
c)

Prob. 6
Pelo critrio da comparao entre sries de termos gerais positivos, para mostrar que uma srie
divergente, basta mostrar que, assintoticamente (i.e., para k maior que algum inteiro positivo), o seu
t.g. maior ou igual que o t.g. de alguma sr. div. (srie divergente).
2k + 1
2k + 1 1
2
2
= : t.g. de uma sr. div.
3k 4
k 3k 4 + 3k + 4
k
2k + 1
2k + 1 1
1
b) 2
2
: t.g. de uma sr. div.
=
k + 3k + 4
k + 3k 2 + 4k 2
4k
2k + 1 1
2k + 1
2
2
: t.g. de uma sr. div.
c) 2
=
2
k 3k + 4
k 3k + 3k + 4k
5k
1
1
1
d)
= : t.g. de uma sr. div.
k
k ln k
k k
1
1
1
e) Para k 3:

: t.g. de uma sr. div.

ln
k
k
ln k

Nota: Se x 1 ento x x, donde 1/ x 1/x . Assim, com x = ln k, obtemos 1/ ln k 1/ ln k

se ln k 1, i.e., k e, ou k 3 .
1
1
1
f)

= : t.g. de uma sr. div.
(ln k)2
k
( k)2

a)

k2

Prob. 7
k+1
k+k
2
a) Conv., pois
3
= 2 o t.g. de uma sr. conv.
3
3
2k 1
2k k
k
2k 6 4k 5 + 3k 6
2k 6 4k 5 + 4k 5 + 3k 2 6 + 6
5

= 3 o t.g. de uma sr. conv.

9
2
9
2
2
9
3k + 2k 2k + 1
3k + 2k 2k 2k + 1 1
k
2k 1
2k k
1
c) Div., pois 2
2
= o t.g. de uma sr. div.
k 3k 4
k 3k + 3k 4 + 4
k

b) Conv., pois

Prob. 9
Seja L lim |ak+1 /ak |, onde ak o termo geral da srie dada. Abaixo, os resultados L < 1 e
k

L > 1 indicam sries convergentes e divergentes, respectivamente. (O smbolo de mdulo ser omitido
no caso de termo geral positivo.)


 (1)k+1 /(k + 1)! 
1
k!
k!
 = lim
= lim
a) L = lim 
lim
=0<1
 k (k + 1)! = k
k
(1)k /k!
k! (k + 1) k k + 1
0

3k+1 + k + 1 2k + 1
k +
1
1

3+ k
1 +
k
k
k
3k+1 + k + 1 2k + 1
3
2
3
2

= 3 >1
k
= lim
b) L = lim
k
= lim

0
0
k+1
k+1
k
k
2
+1
3 + k k 2
2
+1
3 +k






1
k


2k
3k


2+ k
1+ k

2

3
(
)k
k+1
k

(k +
1)! 2
(k + 1)! 2
k
k
1
1
c) L = lim

= lim
=2 <1
= 2 lim



k (k + 1)k+1
k k + 1
k (1 + 1/k)k
k! 2k
k!
e
k+
1

(4 )k+1
k3 + 4
k3 + 4

= (4 ) lim
= (4 ) 1 < 1
3
k
k (k + 1) + 4 (4 )
k (k + 1)3 + 4

d) L = lim

Prob. 10

Aplicamos o critrio de convergncia para uma srie alternada k=0 (1)k ak [ak > 0], que consiste
21

em vericar se a sequncia ak decrescente e com limite igual a zero. Abaixo, cada sequncia ak
dada claramente decrescente (o que, caso se duvide, pode ser conrmado constatando que a derivada
da funo f (k) = ak negativa). Assim, mostraremos a convergncia vericando to-somente que
limk ak = 0.
1/k
=0X
1
(
1
1)
b) lim ak = lim sen = sen lim
= sen 0 = 0 X
k
k
k k
k

a) lim ak = lim
k

ln k
k

lH

lim

k3
1
= lim
0= 0 X
:
3
+ 3 k k + 

(3/k
)

c) lim ak = lim

k k 4

1
k
2k k
=
lim (2/e)k
=0X
k+1
k (k + 1) e
e k | {z } k + 1
|
{z
}
0

d) lim

Prob. 11
Seja L lim

|ak | , onde ak o termo geral da srie dada. Abaixo, os resultados L < 1 e L > 1

indicam sries convergentes e divergentes, respectivamente. (O smbolo de mdulo ser omitido no

caso de termo geral positivo.)

k
a) L = lim k 1/k k = lim 1/ k k = lim 1/k = 0 < 1
k

b) L = lim

(
k

k
k+1

Prob. 13
a) Vejamos a srie

)k2

 (1)k 
=

k(k+2)

k=1
1
k2 +2k

( k )k
1
1
= lim
= lim
= <1
k k + 1
k (1 + 1/k)k
e

1
k2 +2k2

k 3

k=1

1
k2 +2k

; vemos, por comparao, que essa srie divergente,

(1)

no converge
[
absolutamente; mas essa srie convergente, o que se deduz do critrio para srie alternada 1

k(k+2)
]
uma sequncia positiva, decrescente e tal que lim 1
= 0 . Logo, a srie dada condicionalmente
pois

, que o t.g. de uma sr. div. Assim,

k=1

k(k+2)

k(k+2)

convergente.


k 2 

 (1)k k  = kk2 ; ela convergente segundo o critrio da razo: lim

b) Vejamos a srie
4
4
k
k=1
k=1
( k+1 )2
(k+1)2 /4k+1
1
1
= 4 lim
= 4 < 1 . Ou seja, a srie dada absolutamente convergente.
k
k2 /4k
k

c) A srie divergente segundo o critrio do termo geral: lim k sen 1k = lim ( sen )/ = 1 = 0,
k
0

onde zemos a mudana de ndice 1/ k ( 0 quando k ).

Prob. 15

Segundo o critrio da razo, os valores de x que tornam a srie

n (x) convergente so os que
n=0

satisfazem a inequao (x) < 1, onde (x) lim |n+1 (x)/n (x)|. Uma investigao separada
n
necessria para vericar se a convergncia da srie tambm ocorre com os valores de x que satisfazem
a equao (x) = 1.
1

z }| {
 (x 3)n+1 /(n + 1) 
n


a) lim 
= |x3|1 < 1 1 < x3 < 1 x > 2 e x < 4
=
|x3|
lim

n
n n + 1
(x 3)n /n
(1)n
(x 3)n 


, que uma srie alternada convergente.
=

n
n
x=2
n=1
n=1
(x 3)n 
1


, que divergente.
Resposta: x [2, 4)
=

n
x=4
n=1
n=1 n

22

1
}|
{
z }| { z
 (n + 1)xn+1
n 
nx 
n+1
n3 + 1

b) lim 
3

= |x| < 1
 = |x| lim
n (n + 1)3 + 1
n
n +1
n
(n + 1)3 + 1

n

nx 

n
=
(1)n 3
, que uma srie alternada convergente.
3 + 1 x=1
n
n
+1
n=1
n=1
| {z }
[ 0

n ]

nxn 
n
=

convergente.

3
3
3
n=1 n + 1 x=1
n=1 n + 1
n=1 n
1

1
n+1

Resposta: x [1, 1]

z }| { z }| {
 [2(n + 1) + 1]xn+1
(2n + 1)xn 
2n + 3
n!

c) lim 

= 0 x.
 = |x| lim
n
n 2n + 1 (n + 1)!
(n + 1)!
n!

Resposta: x R

 xn+2 /3n  |x|



d) lim  n+1 n1  =
< 1 |x| < 3
n x
/3
3

xn+1 


=
9
(1)n1 , que uma srie divergente.

n1 x=3
n=2
n=2 3
xn+1 


=
9, que uma srie divergente.
Resposta: x (3, 3)

n1 x=3
n=2 3
n=2
Outro modo, que consiste em usar o fato de que a srie dada geomtrica, o seguinte:
( )n1
x
xn+1

x
 
2
=
3
,
que

convergente
se
  < 1 , isto , se |x| < 3 .
n1
3
3
3
n=2
n=2
z

=1 (lH)

}|
{
 (x + 6)n ln(n + 1) 
1
ln(n + 1)


e) lim 
lim
< 1 |x + 6| > 1 x < 7 ou x > 5
=
n (x + 6)n+1 ln(n + 2)
|x + 6| n ln(n + 2)


1
1

, que uma srie alternada convergente.
=
(1)n

n
ln(n + 1)
n=1 (x + 6) ln(n + 1) x=7
n=1
| {z }
0

[

1]

1
1

=

div. Resposta: x (, 7 ] (5, )


n
n=1 (x + 6) ln(n + 1) x=5
n=1 ln(n + 1)
n=1 n
 x 
( x )n
1
xn


=
.
Essa
srie
geomtrica

convergente
se
 < 1, ou

n+1
(1

x)
1

x
1

x
1

x
n=2
n=2
|x 1| > |x| . Como os modulandos mudam de sinal em x = 0 e x = 1, convm resolver a inequao
nos intervalos separados por esses valores de x.
No intervalo x < 0 : x + 1 > x, ou 1 > 0, que verdico x < 0 .
No intervalo (0, 1) : x + 1 > x, ou x < 1/2; logo, x (0, 1/2) .
No intervalo x > 1 : x 1 > x, ou 1 > 0, um absurdo; logo, no existe soluo no intervalo (1, ).
 x 

x 

Alm disso,  1x
= 0 < 1 , e 1x
no existe.
x=0
x=1
A unio dos valores de x que satisfazem a inequao fornece a resposta: x < 1/2 .

f)

Prob. 16

Neste problema fazemos uso da frmula da soma da srie geomtrica

qk =
k=0

( 1 )0 ( 1 )1
( 1 )k
( 1 )k

1
1
3 4
1
a)
=

=
1 = =
3
3
3
3
1

1/3
3
2
3
6
k=2
k=2

)k

1
e
=
1
1e
e1
k=0
k=0
(
)

1
1
2
c)
(1)k 2k =
=
=
2
1

(1/2)
3
k=0
k=0
b)

d)

k=0

ek =

k/2

e1

k=0

)
1/2 k

1
se |q| < 1.
1q

2
2+1
2+ 2
1
1

=
=
2
+
=
=
2
21
1 21/2
1 1/ 2
21
2+1

23

e)

] 1[ 7
] 1 [ 4 ]

22k1
1
1[
1
2
2
k
=
(2
/7)
=

1
=

1
=
=
k
2
7
2 k=1
2 1 (2 /7)
2 7+4
2 11
11

(1)k

k=1

Prob. 17
(
)

n
n
(

+
+
+ +



a)
(ak ak+1 ) = lim
ak
ak+1 = lim aj + 
aj+1
aj+2
aj+3
a
n
n
n
k=j
k=j
k=j
)


 




aj+1
aj+2
aj+3
a
= aj lim an+1 = aj a
n an+1
n
| {z }
(
) a

n
n
(


+
+ +



b)
(ak1 ak+1 ) = lim
ak1
ak+1 = lim aj1 + aj + 
aj+1
aj+2
an1
n
n
k=j
k=j
k=j
)
 an an+1

 




aj+1
aj+2
an1
= aj1 + aj lim an lim an+1 = aj + aj1 2a
n
n
| {z } | {z }
a

( 1

(
)

1 )
1
=
=
(ak ak+1 ) = a1 lim ak = 1 0 = 1
c)

k
k
k+1
k=1 |{z}
k=1
k=1 k(k + 1)
| {z }

ak

d)

ak+1

1
1
=
=
2
k=2 k 1
k=2 (k + 1)(k 1)
k=2

1/2
1/2
+
k+1 k1

ak1

ak+1

(ak1 ak+1 ) = (1/2) a1 + a2 2 lim ak = (1/2) (1 + 1/2 0) = 3/4

k

[ 1

2k + 1
1
1
(ak ak+1 ) = a3 lim ak =
=
=

2
2
2
2
k
k
(k + 1)
k=3
k=3 k (k + 1)
k=3 |{z}
| {z } 9
| {z }

ak

f)

(
1
1
1 )

2 k=2 k 1 k + 1
| {z } | {z }

k=2

e)

= (1/2)

k=6

g)

k=1

1
1

4k + 1 4k + 5
| {z } | {z }
ak

)
=

ak+1

k=6

ak+1

1
(ak ak+1 ) = a6 lim ak =
k
25
| {z }
0

( k

31
sen
(ak+1 ak ) = lim ak a1 = sen sen =
sen
=
k
3k + 6
3k + 3
3
6
2
k=1
|
{z
} |
{z
}
)]

( k + )
ak+1

ak
ak

ak+1

}|
{]
(
[ z }| { z
)

k+3
k+3
k+4
k+4
k+4
h)
k ln
k ln
(ak ak+1 ) =
k ln
ln
=
(k + 1) ln
=
k3
k2
k2
k3
k2
k=4
k=4
k=4
k+3
6
ln
2
2
k 3 lH
k 3 = 4 ln 7 lim 6k
a4 lim ak = 4 ln 7 lim
=
4
ln
7

lim
= 4 ln 7 6
k
k
k k 2
k k 2 3
k 1
Prob. 20
a

n
 a 


z }| {

(1)n /n
 n 


a)
[ (1)n /n ] xn R = lim 
= 1 x0 R = 1 ou 1
 = lim 
n+1 /(n + 1) 
n
n
a
(1)
n+1
n=1



[ (1)n /n ] xn 
=
[1/n] divergente

x=1

n=1


[ (1)n /n ] xn 

x=1

n=1

n=1

[(1)n /n] uma sr. altern. convergente

Resposta: (1, 1]

n=1

 a 
n+3
n + 3 ( n + 6 )2
 n 
n
b)
(x 7) R = lim 
= 1 x0 R = 6 ou 8
 = lim
2
n an+1
n
n+4 n+5
n=1 (n + 5)
|
{z
}
|
{z
}
| {z }

an

24

n+3
n+3
n
n
(x 7)
=
(1)
conv., segundo o critrio p/ sries alternadas
2
(n + 2)2
n=1 (n + 5)
n=1
x=6
| {z }
0

[
]
[
]

n+3
n
+
3
n + 3n
2
n
(x 7)
=
=

conv.
Resposta: [6, 8]
2
2
1,5
n2
n=1 (n + 5)
n=1 (n + 5)
n=1
n=1 n
x=8

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

R
=
lim
=
lim
x0 R =



=
2
n an+1
n (n + 1)2 + 2
(2)n+1
2
2
n=1 (n + 1) + 2
|
{z
}
an
[
]
[
]

(2x)n
1
=

convergente
2
2
2
n=1 (n + 1) + 2 x=1/2
n=1 (n + 1) + 2
n=1 n
[
]
[ 1 1]

(2x)n
1
=
uma sr. alt. conv.
Resposta: ,
(1)n
2
2
(n + 1) + 2
2 2
n=1 (n + 1) + 2 x=1/2
n=1
|
{z
}
c)

d)

 a 
5n

5n (n + 1)!
n+1
 n 
=
(x 1)n R = lim 
= lim
 = lim
n+1
n
n
n
n!
a
n!
5
5
n+1
n=1 |{z}

e)

 a 
nn
2n+1
nn
2 ( n )n
 n 
(x 2)n R = lim 
= lim
 = lim n
n
n+1
n an+1
n 2
n n + 1 n + 1
2
(n + 1)
n=1 |{z}

Resposta: x R

an

an

= lim

1
2
=0
n + 1 (1 + 1/n)n
| {z } |
{z
}
0

Resposta: x = 2

1/e

Prob. 21


(1)n1 22n
(1)n1 (22 )n
(1)n1 xn 



a)
=
=
=
ln(1
+
x)
= ln(5/4) .

 2
n
n
n
x=1/4
n=1
n=1
n=1
x=2
Obs.: 1/4 (1, 1], que o intervalo de convergncia da srie de MacLaurin de ln(1 + x) que foi usada.

[
]
(1)n x2n+1 

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

x
= 1 /2
b)

2n+1 (2n + 1)!
x=/2
n=1 (2n + 1)!
n=1 2
x=/2

c)



(1)n x2n+1 
(1)n




=
=
arctan
x
=


2n
+
1
2n
+
1
4
n=0
n=0
x=1
x=1

Prob. 22
f (x) = f (0) + f (0) x +
1
f (15) (0)
=
15!
5!

f (0) 2
f (15) (0) 15
x ++
x + =
2!
15!
15!
f (15) (0) =
5!

senx3 = x3

(x3 )3 (x3 )5
+

3!
5!

Prob. 23
x
x
x
(1)n
(1)n x2n
(1)n t2n

cos t 1
1
a)
dt =
dt
=
t2n1 dt =
[x R]
t
t n=1 (2n)!
n=1 (2n)!
n=1 (2n)! 2n
0
0
0

b)
0

sent2
dt =
t2

dt
0

(1)n (t2 )2n+1

1
(1)n
=
t2 n=1 (2n + 1)!
n=1 (2n + 1)!

dt t4n =
0

(1)n x2n

[x R]
n=1 (2n)! 2n

x
(1)n1 [(5t)3 ]n
(1)n1 53n
(1)n1 53n x3n+1

=
t3n dt =
.
n
n
n(3n + 1)
n=1
n=1
n=1
0
0
0
Nesse caso, a mxima variao de t dada por (5t)3 (1, 1], ou t (1/5, 1/5 ]; esse o intervalo
c)

ln[1+(5t)3 ] dt =

dt

25

de integrao mximo possvel. Vemos ento que x pode variar no intervalo (1/5, 1/5] .
Prob. 24

d ( 1 )
x
d
n
n1
=
x
=
x
x
=
x
nx
=
nxn
a)
(1 x)2
dx 1 x
dx n=0
n=1
n=1

x2 d d ( 1 ) x2 d2
x2
x2
x2 d
2
n
(1

x)
=
x
=
n(n 1)xn2
=
=
3
2
(1 x)
2 dx
2 dx dx 1 x
2 dx n=0
2 n=2
n(n 1)

=
xn
2
n=2

x+1
x+1
1
x + 1 ( 3x )n (3)n xn+1 { (3)n xn }
c)
=
=
=
+
3x + 2
2 1 (3x/2)
2 n=0
2
2n+1
2n+1
n=0
n=0
]

1} 1
(1)n 3n1
(1)n 3n n
(3)n1 xn { (3)n xn
=
+
+
=
+

+
x
2n
2n+1
2
2 n=1
2n
2n+1
n=1
n=1


1
(1)n 3n1
(1)n 3n
(1)n 3n1

=
an xn , onde a0 =
e an 
=
+
=
n
n+1
2
2
2
2n+1
n1
n=0

b)

Prob. 25
a) f (x) =

(n + 1)xn =

n=0

b) g(x) =

n=2

c) h(x) =

n=1

d (
1 ) 1 x x(1)
1
d
xn+1 =
x
=
=
dx n=0
dx
1x
(1 x)2
(1 x)2

d
d
xn1 = x2
xn
dx n=2
dx n=1
n=2
)
d ( 1
1
x2
= x2
1 = x2
=
2
dx 1 x
(1 x)
(1 x)2

(n 1)xn = x2

nx2n+1 = x3

(n 1)xn2 = x2

n(x2 )n1

x2 =y

x3

n=1

n=1

1
x3
= x3
=
(1 y)2
(1 x2 )2

26

ny n1 = x3

d
d( 1
y n = x3
1
dy n=1
dy 1 y

Captulo 2

Resoluo de equao diferencial

ordinria linear por srie de potncias
Sabemos que a soluo geral da EDO linear de 1a ordem
y 2x y(x) = 0

y(x) = c1 e

x2

(x2 )n
= c1
n!
n=0

(2.1)

x R .

(2.2)

Isso sugere que tambm possamos resolver a EDO em (2.1) tentando uma srie de potncias
y(x) =

an xn ,

(2.3)

nan xn1 .

(2.4)

n=0

donde

y (x) =

n=1

Substituindo (2.3) e (2.4) em (2.1), obtemos

0

=
=
=

n=1

n=1

nan xn1 2x

an xn

n=0

nan xn1
nan xn1

n=1

n=0

2an xn+1
2an2 xn1

n=2

= a1 +

(nan 2an2 )xn1 ,

n=2

uma equao que s pode ser vlida para todos os valores de x se os coecientes das potncias se
anularem, isto :

a1 = 0
e
(nan 2an2 ) n 2 = 0 .
Desta segunda equao, deduzimos que
an =

2
an2 para n 2 .
n

Essa equao chamada de relao de recorrncia. Por meio dela, determinamos os coecientes an .

27

Fazendo n igual a naturais pares, obtemos

n=2:
n=4:
n=6:
n=8:

a2 = a0
2
1
a4 =
a2 = a0
4
2
2
1 1
a6 =
a4 =
a0
6
3 2
2
1 1 1
a8 =
a6 =
a0
8
4 3 2
..
.
1
a0 (n 0) .
a2n =
n!

Agora, com n igual a mpares, temos

2
a1 = 0
3
2
=
a3 = 0
5
..
.
= 0 (n 0) .

n=3:

a3 =

n=5:

a5

a2n+1

Finalmente, substituindo essas expresses dos coecientes em (2.3), obtemos

y(x) =

an x n =

n=0

a2n x2n =

n=0

2
(x2 )n
a0 2n
x = a0
= a0 ex ,
n!
n!
n=0
n=0

que a soluo dada em (2.2), pois o coeciente a0 permanece como uma constante arbitrria.
Vejamos mais um exemplo. Considere a seguinte EDO e a sua soluo geral (conhecida):
4y + y(x) = 0

soluo geral y(x) = c1 cos(x/2) + c2 sen (x/2) .

(2.5)

Vamos recalcular essa soluo geral pelo mtodo das sries de potncias() . Os passos so os seguintes:
Passo 1 - Escrevemos a srie de potncias que se admite como soluo e as derivadas dessas sries
que sero usadas:

y =

n an xn1

n
n=1
y(x) =
an x

y =
n (n 1) an xn2
n=0
n=2

Passo 2) Na EDO, substitumos y, y e y pelas respectivas sries para deduzir a relao de recorrncia:
0 =

n=2

n(n 1)an xn2 +

an xn =

n=0

n=2

[4n(n 1)an + an2 ] xn = 0

n=2

4n(n 1)an xn2 +

an2 xn2

n=2

an2
an =
(n 2)
4n(n 1)

Passo 3) Usamos a relao de recorrncia para calcular os coecientes em termos dos coecientes
() bvio que esse poderoso mtodo servir para obter solues de EDOs que no sabemos resolver analiticamente,
mas os exemplos ora apresentados so educativos: ilustram o mtodo e as manipulaes matemticas costumeiras.

28

que permanecem arbitrrios (a0 e a1 ):

a0
4 2 (1)
a1

4 3 (2)
a2

4 4 (3)
a3

4 5 (4)
a4

4 6 (5)
a5

4 7 (6)

a2 =
a3 =
a4 =
a5 =
a6 =
a7 =

a0
a0
=
42 4 3 2
4! 24
a1
2a1
= 2
=
4 5432
5! 25
a0
a0
= 3
=
4 65432
6! 26
a1
2a1
= 3
=
4 765432
7! 27
=

..
.

Passo 4) Deduzimos uma expresso genrica para os coecientes em termos de a0 e a1 . Do passo

3, conclumos que,
para n 0 :

a2n =

(1)n a0
(2n)! 22n

a2n+1 =

(1)n 2a1
.
(2n + 1)! 22n+1

Passo 5) Substitumos a expresso genrica dos coecientes na srie de y(x) para deduzir uma
expresso fechada para a soluo:
y(x) =

n=0

= a0

an xn =

a2n x2n +

n=0

n(

(1)
(2n)!
n=0

x )2n
2

a2n+1 x2n+1 =

n=0

+ 2a1
|{z}
a1

(1)n 2a1
(1)n a0 2n
x
+
x2n+1
2n
2n+1
(2n)!
2
(2n
+
1)!
2
n=0
n=0

x
x
(1)n ( x )2n+1
= a0 cos + a1 sen ,
(2n
+
1)!
2
2
2
n=0

que a soluo geral apresentada em (2.5).

Ressalte-se que o passo 4 frequentemente difcil, e o passo 5 raramente possvel. Por isso,
nas resolues por srie de potncias que seguem, no nos preocuparemos, ordinariamente, com a
implementao do passo 4 (o que seria at elegante, mas este passo, embora de certa importncia, est
fora dos nossos propsitos aqui, que o entendimento do mtodo) e do passo 5.

2.1

Resoluo em torno de um ponto ordinrio

2.1.1

Denies

a) Uma funo f (x) dita analtica no ponto x = x0 se ela pode ser desenvolvida numa srie de Taylor
relativa a esse ponto que tenha raio de convergncia positivo.
b) Considere a EDO linear de 2a ordem
a2 (x)y + a1 (x)y + a0 (x)y(x) = 0 ,

(2.6)

y + P (x) y + Q(x) y(x) = 0 ,

(2.7)

que pode ser escrita na forma

com P (x) a1 (x)/a2 (x) e Q(x) a0 (x)/a2 (x). Dizemos que x = x0 um ponto ordinrio, ou
no-singular, dessa EDO se, nesse ponto, P (x) e Q(x) ou suas extenses contnuas() so funes
() Recordao:

Uma funo f (x) denida num ponto x = x0 dita contnua nesse ponto se lim f (x) = f (x0 ).
xx0

A extenso contnua de uma funo f (x) num ponto x = x0 em que ela no denida, mas tem limite nito, a funo
g(x) que igual a f (x) se x = x0 e, naquele ponto, dada por g(x0 ) = lim f (x). Por exemplo, a extenso contnua da
xx0

funo ( sen x)/x em x = 0 a funo g(x) igual a ( sen x)/x se x = 0 e com g(0) = lim ( sen x)/x = 1.
x0

29

analticas. Um ponto que no ordinrio dito um ponto singular, ou uma singularidade, da

EDO.
Exemplos:
i) y + (ln x) y(x) = 0 : x = 0 ponto singular, pois f (x) = ln x no analtica nesse ponto (no
existindo f (0), f (0), etc, f (x) no pode ser desenvolvida numa srie de Taylor em torno de x = 0).
ii) y + (x 1)5/3 y + y = 0 : x = 1 ponto singular, pois (x 1)5/3 no pode ser expandida
em potncias de (x1) [a segunda derivada de (x1)5/3 , igual a (10/9)(x1)1/3 , innita em x = 1].
iii) xy + ( sen x) y + (1 cos x) y(x) = 0

y +

sen x 1 cos x
y +
y(x) = 0.
x }
x }
| {z
| {z
P (x)

Q(x)

Assim, essa EDO no tem ponto singular, isto , todos pontos de R so ordinrios, inclusive x = 0.
De fato, como
)
1
1(
x5
x7
x2
x4
x6
x3
sen x =
+

+ = 1
+

+
x
x
x
3!
5!
7!
3!
5!
7!
e

)
1
1 ( x2
x4
x6
x8
x
x3
x5
x7
(1 cos x) =

+ =

+
x
x 2!
4!
6!
8!
2!
4!
6!
8!
so as sries de Taylor relativa a x = 0 das extenses contnuas de P (x) e Q(x) nesse ponto, a analiticidade destas naquele ponto est vericada.
x
1
y 2
y(x) = 0 .
x2 + 1
x +1
2
Os pontos singulares dessa EDO so as razes de x + 1 = 0, a saber, x = i, nos quais x/(x2 + 1)
e 1/(x2 + 1) no admitem extenso contnua, pois apresentam limites innitos nesses pontos. Esse
exemplo ilustra que pontos singulares no so necessariamente reais.
iv) (x2 + 1)y + xy y(x) = 0

y +

Percebe-se que a caracterizao de pontos ordinrios e singulares com base no conceito de analiticidade pode complicar, s vezes, a determinao deles. Ora, o conceito de funo analtica pormenorizadamente estudado num curso de funes complexas, e exatamente a falta desse estudo que nos
traz diculdades aqui. Mas no precisamos de muita teoria para prosseguir. Na verdade, estaremos
na maioria das vezes preocupados apenas com EDOs cujos coecientes so polinmios. Nesse caso,
fornecemos a seguinte receita:
A EDO (2.6) no caso em que a2 (x), a1 (x) e a0 (x) so polinmios sem fator comum tem,
em x = x0 (real ou imaginrio), um ponto
ordinrio se a2 (x0 ) = 0
singular se a2 (x0 ) = 0
Por exemplo:
i) (x2 1)y + 2xy + 6y(x) = 0 : os pontos singulares so as razes de x2 1 = 0, isto , x = 1.
Todos os outros pontos so ordinrios.
ii) (x 1)2 y + (x2 1)y + (x 1)2 y(x) = 0
singular em x = 1.

iii) (x 1)y + (x2 1)y + (x 1)2 y(x) = 0

ponto singular (todos pontos de R so ordinrios).
iv) x2 y + x2 y + x(x 1)y(x) = 0

(x 1)y + (x + 1)y + (x 1)y(x) = 0 : ponto

y + (x + 1)y + (x 1)y(x) = 0 : no tem

xy + xy + (x 1)y(x) = 0 : ponto singular em x = 0.

v) (x2 + 1)y + y(x) = 0 : pontos singulares em x = i .

30

2.1.2

Teorema da existncia de solues em srie de potncias

Se x = x0 for um ponto ordinrio da EDO (2.6), podemos sempre encontrar duas solues line

armente independentes na forma da srie de potncias

an (x x0 )n , convergindo cada srie, pelo
n

menos, no intervalo (x0 R, x0 + R), em que R a distncia do ponto x0 ao ponto singular (real ou
no) mais prximo.

Por exemplo, a soluo da EDO (x 1)y + xy + y = 0 na forma

an (x 4)n , isto , na forma de
n

uma srie de potncias em torno do ponto ordinrio x = 4, convergente para (4 3, 4 + 3) = (1, 7),
pois, nesse caso, a distncia R do ponto x = 4 ao ponto singular mais prximo, que o ponto x = 1,
R = |4 1| = 3.
Outro exemplo: a soluo da EDO (x2 + 9)y + xy + y = 0 na

y
forma
an (x 4)n , isto , na forma de uma srie de potncias em torno
n

do ponto ordinrio x = 4, convergente para (4 5, 4 + 5) = (1, 9),

pois, nesse caso, a distncia R do ponto x = 4 (do eixo das abscissas,
que tambm o ponto z1 = 4 do plano complexo) ao ponto singular

mais prximo, que so os pontos z

2 = 3i do plano complexo, R =

|z1 z2 | = |4 3i| = |4 + 3i| = 42 + 32 = 5() . A gura direita

mostra que o intervalo (1, 9) a parte do eixo real que jaz no interior
da circunferncia de raio R = 5 centrada no ponto x = 4 desse eixo.

2.1.3

intervalo de
convergncia

9 x

Exemplos de resoluo de EDOs lineares por sries de potncias em

torno de ponto ordinrio

Nota: Aqui, por questo de simplicidade, supomos que a origem x = 0 seja sempre o ponto
ordinrio em torno do qual se deseja obter a soluo da EDO na forma de uma srie de

potncias,
an xn no caso. Isso no signica perda de generalidade, pois, mediante a
n=0

mudana para a varivel t = x x0 , sempre podemos transformar uma EDO com ponto
ordinrio em x = x0 noutra com ponto ordinrio em t = 0.
Exemplo 1: y 2xy = 0
Como no h pontos singulares, a soluo em srie obtida abaixo convergente para todo x real.

0=

n(n 1)an x

n2

2x

n=2

n=2

an x =

n=0

n(n 1)an xn2

n=3

n(n 1)an x

n2

n=2

2an3 xn2 = 2a2 +

|{z}
0

2an xn+1

n=0

[n(n 1)an 2an3 ] xn2

{z
}
|
n=3


2an3

a2 = 0 e an 
=
n(n 1)
n3


Como a2 = 0, temos que a5 = a8 = = a3k+2 
= 0.

k0


O coeciente a0 permanece arbitrrio, dele dependendo os coecientes a3k 

k1

a3

a6

a9

a0
2a0
=
(3)(2)
3
2a3
1 a0
a0
=
=
(6)(5)
15 3
45
2a6
1 a0
a0
=
=
(9)(8)
36 45
1620

..
.
() Recorde-se de que a distncia entre dois pontos z e z do plano complexo dada por |z z |, e que o mdulo
1
2
1
2

de um nmero complexo z =
a + bi |z| = a2 + b2 . Por exemplo, a distncia entre os pontos 6 + 13i e 1 + i
|6 + 13i (1 + i)| = |5 + 12i| = 52 + 122 = 169 = 13.

31



O coeciente a1 tambm permanece arbitrrio, dele dependendo os coecientes a3k+1 

k1

a4

a7

a10

2a1
a1
=
(4)(3)
6
2a4
1 a6
a1
=
=
(7)(6)
21 6
126
2a7
1 a1
a1
=
=
(10)(9)
45 126
5670

..
.
Logo,
y(x) = a0 + a1 x +
a2 x2 + a3 x3 + a4 x4 + a5 x5 + a6 x6 + a7 x7 + a8 x8 + a9 x9 + a10 x10 +
|{z}
|{z}
|{z}
|{z}
|{z}
|{z}
|{z}
|{z}
|{z}
a0
3

a1
6

a0
45

a1
126

a0
1620

a1
5670

)
(
)
(
x3
x6
x9
x4
x7
x10
= a0 1 +
+
+
+ + a1 1 +
+
+
+
3
45 1620
6
126 5670
a soluo desejada, sendo as sries entre parnteses duas solues linearmente independentes da EDO.
Exemplo 2: (x2 + 1)y + xy y = 0
Os pontos singulares so x = i. A distncia entre esses pontos e o ponto de expanso x = 0
R = |0 i| = |i| = 1. Logo, a soluo em srie obtida abaixo convergente para x (0 R, 0 + R) =
(1, 1).

0 = (x2 + 1)
n(n 1)an xn2 + x
nan xn1
an xn
n=2

n=1

n(n 1)an xn +

n=2

n(n 1)an xn2 +

n=2

(n 2)(n 3)an2 xn2 +

n=4

2a2 a0 + 6a3 x

n(n 1)an xn2 +

an x n

n=0

(n 2)an2 xn2

n=3

n=4

nan xn

n=1

n=2

= 2a2 + 6a3 x + 
a
x a0 
a1
x+
{z1
}
|

n=0

an2 xn2

n=2

}
[
]
n(n 1)an + (n 2)(n 3) + n 2 1 an2 xn2
{z
}
|
(n1)(n3)



an 

(n 3) an2
n


O coeciente a0 permanece arbitrrio, dele dependendo os coecientes a2k 
:

2a2 a0 = 0 ,

a3 = 0

n4

k1

a2
a4
a6

a0
2
a0 /2
a0
a2
=
= =
4
4
8
3a4
a0 /8
a0
=
=
=
6
2
16
..
.
=

O coeciente a1 tambm permanece arbitrrio, e, como a3 = 0, vemos, pela relao de recorrncia, que
a5 = a7 = a9 = = 0. Logo,
y(x) = a0 + a1 x + a2 x2 + a3 x3 + a4 x4 + a5 x5 + a6 x6 + a7 x7 +
|{z}
|{z}
|{z}
|{z}
|{z}
|{z}
a0
2

a0
8

32

a0
16

(
)
x2
x4
x6
= a1 x + a0 1 +

+
+ .
2
8
16
Exemplo 3: y (1 + x)y = 0
No existem pontos singulares, convergindo, para todo x real, a srie que se obtm a seguir.
0=

n(n 1)an x

n2

(1 + x)

n=2

an x =

n=0

= 2a2 a0 +

n(n 1)an x

n2

n=2

an2 x

n2

n=2

an3 xn2

n=3

[
]
n(n 1)an an2 an3 xn2 ,
n=3

donde a2 = a0 /2 e



an 

an3 + an2
n(n 1)
a relao de recorrncia. Como a0 e a1 permanecem arbitrrios, em termos deles escrevemos todos
os demais coecientes:
a0
a2 =
2
a0 + a1
a3 =
6
a1 + a2
1(
a0 ) a0
a1
a4 =
=
a1 +
=
+
12
12
2
24 12
a2 + a3
1 ( a0
a0 + a1 ) a0
a1
a5 =
=
+
=
+
20
20 2
6
30 120
..
.
=

n 3

Finalmente,
y(x) = a0 + a1 x + a2 x2 + a3 x3 + a4 x4 + a5 x5 +
|{z}
|{z}
|{z}
|{z}
a0
2

a0
6

a1
6

a0
24

+ 121

a0
30

1
+ 120

(
)
(
)
x2
x3
x4
x5
x3
x4
x5
= a0 1 +
+
+
+
+ + a1 x +
+
+
+ .
2
6
24 30
6
12 120

2.2
2.2.1

Resoluo em torno de ponto singular

Denies

Os pontos singulares, j denidos na seo 2.1.1, so, por sua vez, classicados em regulares e
irregulares como segue.
Dizemos que um ponto singular da EDO (2.6) um ponto singular regular (ou uma singularidade
regular) se, ao reescrevermos essa EDO na forma dada por (2.7), constatamos que (x x0 )P (x) e
(x x0 )2 Q(x) ou suas extenses contnuas so funes analticas em x0 .
O ponto singular que no regular chamado de ponto singular irregular (ou singularidade
irregular).
Novamente, para evitar a anlise de analiticidade de funes, fornece-se a seguinte receita vlida
no caso de EDO cujos coecientes so polinmios:
Considere (2.6) com coecientes polinomiais, e escreva essa EDO como em (2.7), mas com
P (x) e Q(x) na forma de um quociente irredutvel de polinmios completamente fatorados em
monmios. Se o fator (x x0 ) aparece nos denominadores de P (x) e Q(x) com multiplicidades
mP e mQ , respectivamente, ento x = x0 um ponto singular
regular se mP 1 e mQ 2
irregular se mP > 1 ou mQ > 2

33

Assim, por exemplo:

i) Os pontos x = 1 e x = 2 so pontos singulares da EDO (x1)(x2 4)2 y +(x1)(x2)y +y = 0
(sem fator comum nos coecientes polinomiais). Reescrevendo essa equao na forma
y +

1
1
y=0 ,
y +
(x + 2)2 (x 2)
(x 1)(x + 2)2 (x 2)2

vericamos, de acordo com a receita acima, que x = 2 um ponto singular irregular ; j x = 1 e x = 2

so pontos singulares regulares.
ii) A EDO x2 (x + 1)2 y + (x2 1)y + 2y(x) = 0, ou
x1
2
y + 2
y=0 ,
x2 (x + 1)
x (x + 1)2

y +

tem, em x = 0, um ponto singular irregular e, em x = 1, um ponto singular regular.

iii) (1 x2 ) y 2xy + 30y = 0
| {z }

x = 1 so pontos singulares regulares.

(x+1)(x1)

iv) x3 y 2xy + 5y = 0

2
5
y + 3y=0
x2
x

x = 0 ponto singular irregular.

v) 8xy 2x2 y + 5xy = 0, ou (cancelando o fator comum x) 8y 2xy + 5y = 0

no tem ponto singular (somente pontos ordinrios).
vi) (x2 + 9)y 3xy + (1 x)y = 0

x = 3i so pontos singulares regulares.

a EDO

3xy
1x
y +
y=0
(x 3i)(x + 3i)
(x 3i)(x + 3i)

A seguir estudamos o chamado mtodo de Frobenius, usado para se obter soluo em srie de EDO
linear em torno de ponto singular regular. Antes de explicar esse mtodo, convm apresentar dois fatos
que motivam esse mtodo:
y1 = x2 e y2 = x2 ln x so solues de x2 y 3xy + 4y = 0 para x (0, ). Essa EDO tem
um
singular regular em x = 0, em torno do qual, se intentssemos uma srie de potncias
ponto
an xn como soluo, s obteramos y1 = x2 , pois o fator ln x na soluo y2 no tem srie de
Taylor em torno de x = 0.
A EDO 6x2 y + 5xy + (x2 1)y = 0 tem um ponto singular regular em x = 0, mas no possui
soluo alguma em srie de potncias em torno desse ponto. Pelo mtodo de Frobenius, podemos

obter duas solues em srie com as formas y1 =

an xn+1/2 e y2 =
bn xn+1/3 .
n=0

2.2.2

n=0

O Mtodo de Frobenius Parte 1

Considere o problema de resolver a EDO (2.6), isto ,

a2 (x)y + a1 (x)y + a0 (x)y = 0 ,
em torno de um ponto singular regular x = x0 . Aqui, pela mesma razo dada no incio da seo 2.1.3,
supomos, por simplicidade, mas sem perda de generalidade, que x0 = 0. Pelo chamado mtodo de
Frobenius, sempre possvel encontrar uma soluo na forma da srie (relativa a x0 = 0)
y = xr

n=0

an xn =

an xn+r = a0 xr + a1 xr+1 + a2 xr+2 + , com a0 = 0 .

(2.8)

n=0

No permitindo que a0 se anule, impomos que esse coeciente seja o primeiro da srie. Faz parte da
resoluo determinar:
1. Os valores de r para os quais a EDO tem soluo na forma da srie em (2.8). Esses valores
surgem da resoluo de uma equao algbrica do 2o grau, denominada equao indicial, cujas
solues r1 e r2 so as chamadas razes indiciais.
34

2. A relao de recorrncia para os coecientes an .

3. O intervalo de convergncia da soluo em srie obtida.
Os detalhes do mtodo() sero apresentados atravs de exemplos, nos quais x = 0 o ponto singular
regular em torno do qual se deseja a soluo. Conforme as razes indiciais, trs casos importantes devem
ser considerados:
2.2.2.1

Caso de razes indiciais que no diferem por um inteiro: r1 r2

/Z

Neste caso, o mtodo de Frobenius sempre fornece duas solues linearmente independentes.
Exemplo 1: 3xy + y y = 0
y=

an xn+r

y =

n=0

(n + r)an xn+r1

y =

n=0

3x

(n + r 1)(n + r)an xn+r2 +

(n + r)an xn+r1

n=0

3(n + r 1)(n + r)an xn+r1 +

n=0

(3r 2)ra0 xr1 +

n=1

an xn+r = 0

n=0

(n + r)an xn+r1

n=0
{

(n + r 1)(n + r)an xn+r2

n=0

n=0

an1 xn+r1 = 0

n=1

}
[
]
3(n + r 1)(n + r) + (n + r) an an1 xn+r1 = 0
{z
}
|
(3n+3r2)(n+r)

[
]
r(3r 2) a0 xr1 +
(3n + 3r 2)(n + r)an an1 xn+r1 = 0
| {z }
{z
}
|
n=1
0

r(3r 2) = 0 (equao indicial)

r = 0 ou 2/3 (razes indiciais)

(3n + 3r 2)(n + r)an an1 = 0 (relao de recorrncia dependente da raiz indicial)

As relaes de recorrncia especcas para cada raiz indicial

an1

r = 0 an =

n(3n 2)

ou

r = 2 an = an1

3
n(3n + 2)

so dadas por









n 1

A essas duas relaes de recorrncia correspondem duas sries distintas, nas quais a0 permanece arbitrrio:
A srie correspondente a r = 0:
a1

a2

a3

a4

a0
= a0
(1)(1)
a1
a0
=
(2)(4)
8
a2
a0 /8
a0
=
=
(3)(7)
21
168
a0 /168
a0
a3
=
=
(4)(10)
40
6720

..
.
() Consulte

as sees 4.3 a 4.6 da referncia [3]

35

(
)
x2 x3
x4
y1 (x) = x0 (a0 + a1 x+ a2 x2 + a3 x3 + a4 x4 + ) = a0 1+x+ +
+
+ .
|{z}
|{z}
|{z}
|{z}
8 168 6720
a0
8

a0

a0
168

a0
6720

A srie correspondente a r = 2/3:

a1

a2

a3

a4

a0
a0
=
(1)(5)
5
a1
a0 /5
a0
=
=
(2)(8)
16
80
a2
a0 /80
a0
=
=
(3)(11)
33
2640
a3
a0 /2640
a0
=
=
(4)(14)
56
147840

..
.
y2 (x) = x2/3 (a0 + a1 x + a2 x2 + a3 x3 + a4 x4 + )
|{z}
|{z}
|{z}
|{z}
a0
5

a0
80

a0
2640

= a0 x2/3 1 +

a0
147840

)
x x
x
x
+
+
+
+ .
5
80 2640 147840
2

Assim, obtemos duas solues, cuja combinao linear a soluo geral: y(x) = y1 (x) + y2 (x).
2.2.2.2

Caso de razes indiciais iguais

Neste caso s se consegue uma nica soluo na forma da srie em (2.8), na qual r igual ao nico
valor da raiz indicial.
Exemplo 2: xy + y 4y = 0

(n + r 1)(n + r)an xn+r1 +

n=0

(n + r)an xn+r1 4

n=0

(n + r 1)(n + r)an xn+r1 +

n=0

[(r 1)r + r]a0 xr1 +

n=1

(n + r)an xn+r1 4

an1 xn+r1 = 0

n=1

}
]
(n + r 1)(n + r) + (n + r) an 4an1 xn+r1 = 0
{z
}
|
(n+r)2

r2 a0 xr1 +
|{z}
0

an xn+r = 0

n=0

n=0
{

[
]
(n + r)2 an 4an1 xn+r1 = 0 .
{z
}
|
n=1
0

Vemos que r = 0 o nico valor da raiz indicial e que

an =

4an1
para n 1 .
(r + n)2

Essa equao, com r = 0, torna-se an = 4an1 /n2 (n 1), donde

a1

a2

a3

4a0
12
42 a0
4a1
=
22
(1 2)2
43 a0
4a2
=
32
(1 2 3)2

..
.
an

4n a0
(n!)2
36

(2.9)

Logo, temos a nica soluo




(
)

4n n
16
n+r 
y(x) =
an x
= a0
x = a0 1 + 4x + 4x2 + x3 + .

2

(n!)
9
n=0
n=0

(2.10)

r= 0

2.2.2.3

Caso de razes indiciais que diferem por um inteiro positivo: r1 r2 N

Nesse caso, a srie em (2.8),

1. Com r1 (a maior raiz indicial), sempre fornece uma nica soluo.
2. Com r = r2 (a menor raiz indicial), leva a uma das duas ocorrncias:
(a) Ela no fornece nenhuma soluo.
(b) Ela fornece a soluo geral (permanecendo arbitrrios dois coecientes), que inclui, portanto,
a soluo correspondente maior raiz (r1 ).
Disso conclumos que convm tentar obter primeiramente a soluo correspondente menor raiz
indicial, pois, ocorrendo 2(b), a resoluo estar concluda.
Exemplo 3 ocorrncia de 2(a): xy + 3y y = 0

(n + r 1)(n + r)an xn+r1 +

n=0

3(n + r)an xn+r1

n=0

(n + r 1)(n + r)an xn+r1 +

n=0

an xn+r = 0

n=0

3(n + r)an xn+r1

n=0

an1 xn+r1 = 0

n=1

}
[
]
(n + r 1)(n + r) + 3(n + r) an an1 xn+r1 = 0
[(r 1)r + 3r] a0 xr1 +
{z
}
|
|
{z
}
n=1
r(r+2)

(n+r+2)(n+r)

[
]
r(r + 2) a0 xr1 +
(n + r + 2)(n + r)an an1 xn+r1 = 0
| {z }
{z
}
|
n=1
0

Vemos que r = 2 e r = 0 so as razes indiciais; alm disso, a relao de recorrncia dependente

de r dada por
(n + r + 2)(n + r)an an1 = 0 (n 1) .
(2.11)
Se r = 2:
A relao de recorrncia especca para r = 2,
n(n 2)an = an1

(n 1) ,

fornece
com n = 1 :
com n = 2 :

1(1)a1 = a0
2(0)a2 = a1 = a0

a1 = a0
a0 = 0

Mas a0 = 0 contrrio nossa hiptese estipulada em (2.8). Logo, no existe srie associada
raiz indicial r = 2. Passemos, ento, ao clculo da nica soluo linearmente independente associada
maior raiz indicial, que, conforme o item 1 acima, sempre existe:
Se r = 0:
A relao de recorrncia especca para r = 0,
(n + 2)nan an1 = 0

37

an =

an1
n(n + 2)

(n 1) ,

fornece
a1

a2

a3

a4

a0
(3)(1)
a1
(4)(2)
a2
(5)(3)
a3
(6)(4)

a0
3
a0 /3
a0
=
=
8
24
a0 /24
a0
=
=
15
360
a0 /360
a0
=
=
24
8640
=

..
.
Temos, portanto, a nica soluo linearmente independente:
)
(
x4
x x2 x3
y(x) = x0 (a0 + a1 x+ a2 x2 + a3 x3 + a4 x4 + ) = a0 1+ + +
+
+ . (2.12)
|{z}
|{z}
|{z}
|{z}
3 24 360 8640
a0
3

a0
24

a0
360

a0
8640

Exemplo 4 ocorrncia de 2(b): x2 y + (x2 + x)y y = 0

(n + r 1)(n + r)an xn+r +

n=0

(n + r)an xn+r+1 +

n=0

(n + r 1)(n + r)an xn+r +

n=0

(n + r)an xn+r

n=0

(n + r 1)an1 xn+r +

n=1

an xn+r = 0

n=0

(n + r)an xn+r

n=0

an xn+r = 0

n=0

}
[
]
[
]
(n + r 1)(n + r) + n + r 1 an + (n + r 1)an1 xn+r = 0
(r 1)r + r 1 a0 xr +
{z
}
{z
}
|
|
n=1
{

(r1)(r+1) = r 2 1

(n+r1)(n+r+1)

{
}

(r2 1) a0 xr +
(n + r 1)(n + r + 1)an + (n + r 1)an1 xn+r = 0
| {z }
{z
}
n=1 |
0

donde obtemos as razes indiciais r = r1 = 1 e r = r2 = 1 e tambm que

[
]
(n + r 1) (n + r + 1)an + an1 = 0 ,

para n 1 .

Se r = 1:
A relao de recorrncia (n 2)[nan + an1 ] = 0 (k 1), donde:
Com n = 1, obtemos [a1 + a0 ] = 0

a1 = a0 .

Com n = 2, obtemos 0=0, signicando que a2 permanece arbitrrio.

Para n 3, temos que an = an1 /n , ou seja:
a3
a4
a5

an

a2
3
a3
a2
2a2
= =
=
4
34
234
2a2
a4
= =
5
2345
..
.
(1)n a2
=
n!
=

38

Logo,
y(x)

n=0

= a0




an xn+r 


r=1

= a0 x1 + a1 +a2 x + a3 x2 + a4 x3 + a5 x4 +
|{z}
|{z}
|{z}
|{z}
a1

(1

2a2
3!

( x x2
)
)
x3
x4
1 +2a2

+ ,
3!
4!
| x {z }
|2
{z 5!
}
u1 (x)

2a2
4!

2a2
5!

u2 (x)

que a soluo geral da EDO, pois a combinao linear das duas funes linearmente independentes
u1 (x) e u2 (x) formada com as constantes arbitrrias a0 e 2a2 . Note que
2

u2 (x) =

x
x
x x

+ =
2
3!
4!
5!

x2
x3
x4
x5

+
ex 1 + x
2!
3!
4!
5!
=
.
x
x

Fica como exerccio mostrar que, se zssemos os clculos com a maior raiz indicial, r = 1, obteramos apenas a soluo y2 (x).

2.2.3

O Mtodo de Frobenius Parte 2

Descrevemos aqui alguns procedimentos para o clculo de uma segunda soluo linearmente independente y2 (x) quando apenas uma soluo y1 (x) a0 u1 (x) de (2.6) na forma da srie em (2.8)
obtida; a saber, quando as razes indiciais r1 e r2 se enquadram numa das circunstncias:
1a circunstncia: r1 = r2
2a circunstncia: r1 r2 = K N e no existe soluo na forma de (2.8) com r = r2 (a menor
raiz)
Procedimento 1: Fazemos uso da frmula
[
][
y2 (x) = Cu1 (x) e P (x)dx

1 ]
dx ,
u21 (x)

(2.13)

obtida pela tcnica da reduo de ordem (cf. referncia [5], onde essa frmula deduzida e apresentada
como a equao (4) da seo 4.2). Acima, P (x) o coeciente de y na EDO escrita na forma dada
por (2.7), e C uma constante arbitrria.
Procedimento 2: Usamos o seguinte resultado (cf. seo 4.5 da referncia [3]):
y2 (x) = a0 u1 (x) ln x +

bn xn+r2 ,

(2.14)

n=0

onde
na

1a

circunstncia : = 1
[

aK (r)
na 2a circunstncia : = (r r2 )
a0



d
bn =
an (r)
dr
r = r2


]
d[
bn =
(r r2 )an (r) 
dr
r = r2

]
r=r2

(2.15)

sendo an (r) a expresso que se obtm para o coeciente an em termos de r e a0 por meio do uso
reiterado da relao de recorrncia dependente da raiz indicial (e no do uso reiterado da relao de
recorrncia especca para a raiz indicial r2 , ou seja, o valor r2 no substitudo no lugar de r antes de
se usar a relao de recorrncia reiteradamente na deduo dos coecientes an em termos do primeiro
coeciente, a0 , permanecendo, portanto, a presena de r nas expresses desses coecientes).
Procedimento 3: Usamos (2.14) com = 1 e sendo r2 o nico ou o maior valor da raiz indicial,
conforme a circunstncia. Mas, em vez de calcular os coecientes bn empregando (2.15) [ignoramos
essa frmula], substitumos (2.14) na EDO para determin-los.
Para exemplicar esses procedimentos, usemo-los para completar a resoluo das EDOs dos exemplos 2 e 3, obtendo uma segunda soluo linearmente independente.
39

Uma segunda soluo no Exemplo 2: xy + y 4y = 0

Clculo com o procedimento 1
Tendo em vista o uso de (2.13), expliquemos os passos necessrios:
1) Para calcular u21 (x), usamos a frmula (a + b + c + )2 = a2 + b2 + c2 + + 2ab + 2ac + 2bc +
(que a soma de dois somatrios: dos quadrados de cada termo e dos dobros de cada produto de dois
termos distintos); no explicitaremos as potncias com grau maior que 3. Assim, usando (2.10), que
a expresso de u1 (x) obtida no exemplo 2, temos que
(
)2
16
32
320 3
u21 (x) = 1+4x+4x2 + x3 + = 1+16x2 +8x+8x2 + x3 +32x3 + = 1+8x+24x2 +
x + .
9
9
9
2) Para calcular 1/u21 (x)

cn xn , reescrevemos essa equao, tendo j substitudo a expresso

n=0

de u21 (x) deduzida acima, na forma

(

1 + 8x + 24x2 +

)(
)
320 3
x + c0 + c1 x + c2 x2 + c3 x3 + = 1 ,
9

donde, mantendo explcitas apenas as potncias com grau at 3, obtemos

(
320 ) 3
c0 + (c1 + 8c0 ) x + (c2 + 8c1 + 24c0 ) x2 + c3 + 8c2 + 24c1 +
c0 x + = 1 .
|{z} | {z }
|
{z
}
9
|
{z
}
1
0
0
0

Logo, calculando iteradamente os valores de cn a partir das equaes indicadas pelas chaves acima,
obtemos:
c0 = 1 c1 = 8 c2 = 8c1 24c0 = 40 c3 = 8c2 24c1

320
1472
c0 =
.
9
9

Assim,
1
u21 (x)

= 1 8x + 40x2

1472 3
x + .
9

3) A EDO na forma apresentada em (2.7), isto , y + (1/x)y (4/x)y = 0, mostra que P (x) = 1/x
e, portanto, que

e P (x)dx = e (1/x) dx = e ln x = 1/x .

4) Logo, usando (2.13), obtemos, nalmente.
[
(
][ 1 ]
)
1
1472 3
y2 (x) = Cu1 (x) e P (x)dx
dx
=
Cu
(x)
1 8x + 40x2
x + dx
1
2
u1 (x)
x
9
(
)
1472 2
1
8 + 40x
x + dx
= Cu1 (x)
x
9
(
)
1472 3
= Cu1 (x) ln x 8x + 20x2
x +
[u1 (x) dado por (2.10)] 
(2.16)
27
Clculo com o procedimento 2
Na resoluo apresentada no exemplo 2, obtivemos: (a) as razes indiciais r1 = r2 = 0, mostrando
que devemos usar (2.14) e (2.15), com a formulao referente 1a circunstncia, e (b) a relao de
recorrncia dependente da raiz indicial, na equao (2.9),
an (r) =

4an1 (r)
para n 1 .
(r + n)2

40

Uma vez que a0 (r) = a0 = const., temos que

a1 (r)

a2 (r)

4a0
(r + 1)2
42 a0
(r + 1)2 (r + 2)2

..
.
an (r)

4n a0
[(r + 1)(r + 2) (r + n)]2

Para calcular a derivada an (r), convm empregar a derivao logartmica:

an (r) 

an (r) r=0

ln an (r) = ln(4n a0 ) 2[ln(r + 1) + ln(r + 2) + + ln(r + n)]

[
[
]
]
1
1
1
an (0)
1
1
= 2
+
+ +

= 2 1 + + +
,
r+1 r+2
r + n r=0
an (0)
2
n

onde, substituindo an (0) =

4n a0
4n a0
=
, obtemos
2
(1 2 n)
(n!)2
(
)
4n a0
1
1
an (0) =
1
+
+

+
.
(n!)2
2
n

Logo,
a0

0 (a0 constante)

a1 (0)

a2 (0)

a3 (0)

2a0 4(1) = 8a0

(
)
2a0 42
1
1
+
= 12a0
22
2
(
)
2a0 43
1 1
176
1
+
+
=
a0
62
2 3
27

e, assim, nalmente,
y2 (x) = u1 (x) ln x +

an (0)xn+0

n=0

176 3
x +
8x 12x
27
2

= u1 (x) ln x + a0

)
[u1 (x) dado por (2.10)]

Clculo com o procedimento 3

= xy + y 4y = 0 com a forma
Impondo uma segunda soluo para a EDO Ly

y2 (x) = a0 u1 (x) ln x +
bn xn+r2
| {z } n=0
f (x)
|
{z
}

[r2 = 0] ,

g(x)

sendo u1 (x) dado por (2.10), isto ,

u1 (x) = 1 + 4x + 4x2 +

16 3
x + ,
9

obtemos
2 = L(a
0 f + g) = a0 Lf
+ Lg
=0
Ly
Mas

Lf

(I)

(
1
1 ) (
1)
= xf + f 4f = x u1 ln x + 2u1 + u1 2 + u1 ln x + u1
4u1 ln x
x
x
x
(
)
16
= (ln x) (xu1 + u1 4u1 ) +2u1 = 2 4 + 8x + x2 +
|
{z
}
3
0

a0 Lf

= a0 Lf
.
Lg

= 8a0 16a0 x

32a0 2
x +
3
41

(II)

(2.17)

Lg

= xg + g 4g = x

n(n 1)bn x

n2

n=2

n(n 1)bn xn1 +

n=2

nbn x

n1

n=1

nbn xn1

n=1

bn xn

n=0

4bn1 xn1 = b1 4b0 +

n=1

[n2 bn 4bn1 ]xn1

n=2

(b1 4b0 ) + (4b2 4b1 )x + (9b3 4b2 )x2 + .

(III)

Logo, em vista dos resultados em (II) e (III), a equao (I) fornece

b1 4b0 = 8a0

b1

4b0 8a0

4b2 4b1 = 16a0

32a0
9b3 4b2 =
3

b2

b3

b1 4a0 = 4b0 12a0

) 32
4
32
4(
16
176
b2 a0 =
b0
a0
4b0 12a0 a0 =
9
27
9
27
9
27

Finalmente,
y2 (x) =
=

a0 u1 (x) ln x + b0 + b1 x + b2 x2 + b3 x3 +
a0 u1 (x) ln x
+ b0 + (4b0 8a0 )x + (4b0 12a0 )x2 +

( 16
9

b0

176 ) 3
a0 x +
27

(IV)

)
(
(
)
176 3
16
b0 1 + 4x + 4x2 + x3 + + a0 u1 (x) ln x 8x 12x2
x +
27
{z 9
}
|

)
176 3
b0 u1 (x) + a0 u1 (x) ln x 8x 12x2
x +
27
{z
}
|

u1 (x)

(2.18)

u2 (x)

que , na verdade, a soluo geral, haja vista as duas constantes arbitrrias a0 e b0 , bem com as duas
solues linearmente independentes u1 (x), j deduzida, e u2 (x), aqui obtida.
Equivalncia das solues
Se tomarmos a segunda soluo obtida com o procedimento 1, dada por (2.16), zermos C = 1,
destacarmos o termo com ln x, substituindo, no outro, a expresso de u1 (x) e, ento, multiplicarmos
as sries para obter

(
)
1472 3

y2 (x)
= u1 (x) ln x + u1 (x) 8x + 20x2
x +
27
P1
(
)(
)
16
1472 3
= u1 (x) ln x + 1 + 4x + 4x2 + x3 +
8x + 20x2
x +
9
27
176
x3 + ,
= u1 (x) ln x 8x 12x2
27
observamos que esse resultado exatamente a segunda soluo obtida com os procedimentos 2 e 3,
dada por (2.17) e (2.18).
Uma segunda soluo no Exemplo 3: xy + 3y y = 0
Clculo com o procedimento 1
xy + 3y y = 0

y +

3 1
y y=0
x
x
|{z}

P (x)

42

P (x)dx

= e

(3/x) dx

= e3 ln x = 1/x3 .

Usando (2.12), que a expresso de u1 (x) obtida no exemplo 3, temos que

u21 (x)

(
)2
x x2
x3
1+ +
+
+
3
24 360
( x )2
( x )( x2 )
x
x2
x3
2
= 1 +
+2
+ 2(1) + 2(1) + 2(1)
+
3
3
24
3360
3 24
2
7
x3
= 1 + x + x2 +
+
3
36
30

(
)(
1
7 2 x3
2
n
2
3

c
x

c
+
c
x
+
c
x
+
c
x
+

1
+
x
+
x
+
+

=1
n
0
1
2
3
u21 (x) n=0
3
36
30
(
(
2c0 )
2c1
2c2
7c0 ) 2 (
7c1
c0 ) 3

c0 + c1 +
x + c2 +
x + c3 +
x + = 1
+
+
+
|{z}
3 }
3{z
36 }
3 {z 36
30 }
{z
|
|
|
1
0

2
2c1
7c0
1
2c2
7c1
c0
19
c0 = 1 c1 =
c2 =

=
c3 =

=
3
3
36
4
3
36
30
270
1
2
x2
19 3

=1 x+

x + .
2
u1 (x)
3
4
270

y2 (x) =
=
=
=

[
)
][ 1 ]
1(
2
x2
19 3
dx
=
Cu
(x)
Cu1 (x) e P (x)dx
1 x+

x + dx
1
2
3
u1 (x)
x
3
4
270
(
)
2
1
2x
x
19x
Cu1 (x)
x3
+

+ dx
3
4
270
( x2
)
2x1
1
19x
Cu1 (x)
+
+ ln x
+ dx
2
3
4
270
(1
)
1
2
19x
Cu1 (x)
ln x 2 +

+
[u1 (x) dado por (2.12)] 
(2.19)
4
2x
3x 270

Clculo com o procedimento 2

No exemplo 3 vimos que: (a) as razes indiciais r1 = 0 e r2 = 2, mostrando que devemos usar
(2.14) e (2.15), com a formulao referente 2a circunstncia, e (b) a relao de recorrncia dependente
da raiz indicial, na equao (2.11),
an (r) =

an1 (r)
para n 1 .
(r + n + 2)(r + n)

43

Temos que
b0



]
[
]
d[
(r r2 )a0 (r) 
= a0 (r) +(r r2 ) a0 (r) 
= a0
| {z }
| {z } r = 2
dr
r = r2
a0

b1

b2



]
]
a0
d[
d[


=
(r + 2)a1 (r) 
=
(r + 2)
dr
dr
(r + 1)(r + 3) r = 2
r = 2

(r + 1)(r + 3) (r + 2)(r + 3 + r + 1) 
(1)(1) 0
= a0
= a0
= a0

2
[(r + 1)(r + 3)]
[(1)(1)]2
r = 2


]
d[
a0




(r
+
2)


dr
(r + 1)(r + 3)
(r 
+
2)(r + 4) r = 2
r = 2

(r + 3)(r + 4) + (r + 1)(r + 4) + (r + 1)(r + 3) 
= a0

[(r + 1)(r + 3)(r + 4)]2
r = 2


]
d[
(r + 2)a2 (r) 
dr

(1)(2) + (1)(2) + (1)(1)

221
a0
= a0
=
[(1)(1)(2)]2
4
4


]
]
d[
d[
a0


(r + 2)a3 (r) 
=
(r 
+
2)


dr
dr
(r + 1)(r + 3)2
(r 
+
2)(r + 4)(r + 5) r = 2
r = 2

= a0
b3

= a0

(1)2 (2)(3) + 2(1)(1)(2)(3) + (1)(1)2 (3) + (1)(1)2 (2)

6 12 3 2
11a0
= a0
=
[(1)(1)2 (2)(3)]2
364
36

Precisamos tambm calcular o fator presente na formulao, que, no caso, como K = r1 r2 =

0 (2) = 2, dado por
[
]
[
]
[
]
aK (r)
a2 (r)
1
1
= (r r2 )
= (r + 2)
=
= .
a0 r=r2
a0 r=2
(r + 1)(r + 3)(r + 4) r=2
2
Por m,

1
bn (x)xn2 = a0 u1 (x) ln x + b0 x2 + b1 x1 + b2 + b3 x +
2
n=0
(
)
1
1
1 1 11x
= a0 u1 (x) ln x + 2 + +
+
[u1 (x) dado por (2.12)] 
(2.20)
2
x
x 4
36

y2 (x) =

a0 u1 (x) ln x +

Clculo com o procedimento 3

= xy + 3y y = 0 com a forma
Impondo uma segunda soluo para a EDO Ly

y2 (x) = a0 u1 (x) ln x +
bn xn+r2 [r2 = 2] ,
| {z } n=0
f (x)
|
{z
}
g(x)

com u1 (x) dado por (2.12), isto ,

u1 (x) = 1 +

x x2
x3
+
+
+ ,
3
24 360

obtemos
2 = L(a
0 f + g) = a0 Lf
+ Lg
=0
Ly
Mas

Lf

= a0 Lf
.
Lg

(I)

(
(
1
1 )
1)
= xf + 3f f = x u1 ln x + 2u1 + u1 2 + 3 u1 ln x + u1
u1 ln x
x
x
x
u1
3u1
2
+
= 2u1 + u1
= (ln x) (xu1 + 3u1 u1 ) +2u1
|
{z
}
x
x
x
0

a0 Lf

(1
) 2(
)
x
x2
x x2
x3
= 2
+
+
+ +
1+ +
+
+
3 12 120
x
3
24 360
2a0
4a0
a0 x a0 x2
=

+
(II)
x
3
4
45
44

Lg

= xg + 3g g = x

(n 2)(n 3)bn x

n3

n=0

(n 2)(n 3)bn xn2 +

n=0

+3

(n 2)bn x

n=0

3(n 2)bn xn3

n=0

n3

bn xn2

n=0





3
3
bn1 xn3 = 
6b

6b
0x
0x

n=1

{
{
}
}

[
]
(n 2)(n 3) + 3(n 2) bn bn1 xn3 =
+
n(n 2)bn bn1 xn3
|
{z
}
n=1
n=1
n(n2)

b1 + b0
b1

+ (3b3 b2 ) + (8b4 b3 )x + .
x2
x

(III)

Logo, em vista dos resultados em (II) e (III), a equao (I) fornece

}
b0 = 2a0
b1 + b0 = 0

b1 = 2a0

b1 = 2a0

3b3 b2 =
8b4 b3 =

4a0
3

a0
4

permanece arbitrrio

b2

b3

4a0
b2
+
9
3

b4

a0
b3
a0
a0
b2
25a0
b2
+
=
+
=
+
32
8
32 18 24
288
24

Finalmente,
y2 (x) =

a0 u1 (x) ln x +

b0
b1
+
+ b2 + b3 x + b4 x2 +
2
x
x

= a0 u1 (x) ln x
( 4a
( 25a
2a0
2a0
b2 )
b2 ) 2
0
0
2 +
+ b2 +
+
x+
+
x +
x
x
9
3
288
24

(2.21)

)
(
)
(
x3
176 3
x x2
+
+ + a0 u1 (x) ln x 8x 12x2
x +
= b2 1 + +
24{z 360
27
| 3
}
u1 (x)

(
)
2
2 4x 25x2
= b2 u1 (x) + a0 u1 (x) ln x 2 +

+
x
x
9
288

(2.22)

que a soluo geral, com as duas constantes arbitrrias a0 e b0 .

Equivalncia das solues
Note que (2.20) com a0 = 1 igual segunda soluo em (2.21) com a0 = 1/2 e b2 = 1/4.
Alm disso, se tomarmos a segunda soluo obtida com o procedimento 1, dada por (2.19), zermos C = 1, destacarmos o termo com ln x, substituindo, no outro, a expresso de u1 (x) e, ento,
multiplicarmos as sries para obter

(
)
1
2
19x
1

u1 (x) ln x + u1 (x) 2 +

+
y2 (x)
=
4
2x
3x 270
P1
(
)(
)
1
x x2
x3
1
2
19x
=
u1 (x) ln x + 1 + +
+
+
2+

+
4
3
24 360
2x
3x 270
1
1
1
29
19x
=
u1 (x) ln x 2 +
+

+ ,
4
2x
2x 144 432
vemos que esse o mesmo resultado que se obtm da segunda soluo em (2.21) com a0 = 1/4 e
b2 = 29/144.

45

2.3

Exerccios

1. Calcule a soluo em srie centrada no ponto ordinrio x = 0 de cada uma das EDOs abaixo:
(a) y = xy

(b) y 2xy + y = 0

(c) y + x2 y + xy = 0

(d) (x2 + 2)y + 3xy y = 0

2. Determine os pontos singulares de cada EDO e classique-os como regular ou irregular:

(a) x3 + 4x2 + 3y = 0
(b) (x2 9)y + (x + 3)y + 2y = 0
(c) (x3 + 4x)y 2xy + 6y = 0
(d) (x2 + x 6)y + (x + 3)y + (x 2)y = 0
(e) x2 (1 x)2 y + 2xy + 4y = 0
(f) x3 (x2 25)(x 2)2 y + 3x(x 2)y + 7(x + 5)y = 0
(g) x2 (1 x)y + (x 2)y 3xy = 0
(h) x2 (1 x2 )y + (2/x)y + 4y = 0
(i) (1 x2 )2 y + x(1 x)y + (1 + x)y = 0
(j) x(1 x2 )3 y + (1 x2 )2 y + 2(1 + x)y = 0
(k) (x + 2)2 (x 1)y + 3(x 1)y 2(x + 2)y = 0
3. Calcule a soluo geral na forma de uma srie centrada no ponto singular regular x = 0 de cada
uma das seguintes EDOs (cujas razes indiciais correspondentes, informa-se, no difere por um
nmero inteiro):
(a) 9x2 y + 9x2 y + 2y = 0

(b) 2x2 y x(x 1)y y = 0

(c) 2x2 y + 3xy + (2x2 1)y = 0

4. Calcule a soluo geral na forma de uma srie centrada no ponto singular regular x = 0 de cada
uma das seguintes EDOs (que so tais que as razes indiciais diferem por um nmero inteiro,
correspondendo menor delas a soluo geral):
(a) xy + 2y xy = 0

(b) x(x 1)y + 3y 2y = 0

(c) xy + (x 6)y 3y = 0

5. Calcule a soluo geral na forma de uma srie centrada no ponto singular regular x = 0 de cada
uma das seguintes EDOs (que so tais que as razes indiciais diferem por um nmero inteiro, sendo
necessrio calcular uma segunda soluo linearmente independente por um dos trs procedimentos
abordados na seo 2.2.3):
(a) x2 y + x(x 1)y + y = 0

(b) x(x 1)y + 6x2 y + 3y = 0

Respostas

(c) x2 y + (x2 + 1/4)y = 0

(
)
(
)
1 3
1
1
1 4
1
1
1. (a) y(x) = a0 1+ 23
x + 2356
x6 + 235689
x9 + + a1 x+ 34
x + 3467
x7 + 3467910
x10 +
(
)
(
)
1 2
3 4
1 3
5 5
45 7
6
(b) y(x) = a0 1 2!
x 4!
x 21
x

+
a
x
+
x

x
+
x
+

1
6!
(
)
( 3! 2 5! 2 2 7!
)
2 2 2
1 3
42 6
42 72 9
5 8
(c) y(x) = a0 1 3! x + 6! x 9! x + + a1 x 24! x4 + 2 7!5 x7 2 10!
x10 +
)
(
)
(
1 3
14 5
1434 7
6
(d) y(x) = a0 1 + 14 x2 4!74 x4 + 723
6! 8 x + a1 x 3! x + 5! 2 x 7! 4 x

2. (a) irregular: x = 0.
(b) regular: x = 3; irregular: x = 3.
(c) regulares: x = 0, 2i.
(d) regulares: x = 3, 2.
(e) regular: x = 0; irregular: x = 1.
(f) regulares: x = 5, 2; irregular: x = 0.
(g) regular: x = 1; irregular: x = 0.
(h) regulares: x = 1; irregular: x = 0.
(i) regular: x = 1; irregular: x = 1.
(j) regulares: x = 0, 1; irregular: x = 1.
(k) regular: x = 1; irregular: x = 2.

46

(
)
(
)
5 2
1 3
7
3. (a) y(x) = c1 x2/3 1 21 x + 28
x 21
x + + c2 x1/3 1 12 x + 51 x2 120
x3 +
(
)
(
)
1 3
1
1 2
1
(b) y(x) = c1 x 1 + 15 x + 57
x + 579
x3 + + c2 x1/2 1 + 21 x + 24
x + 246
x3 +
(
)
(
)
1
1
(c) y(x) = c1 x1/2 1 71 x2 + 2! 711
x4 3! 71115
x6 + + c2 x1 1 x2 + 2!15 x4 2! 159 x6 +
(
)
(
)
1 2
1 4
1 6
1 3
1 5
1 7
4. (a) y(x) = c1 x1 1 + 2!
x + 4!
x + 6!
x + + c2 x1 x + 3!
x + 5!
x + 7!
x +
(
)
(
)
(b) y(x) = c1 1 + 23 x + 13 x2 + c2 x4 + 2x5 + 3x6 + 4x7 +
(
)
(
)
1 2
1
5 9
1 10
(c) y(x) = c1 1 12 x + 10
x 120
x3 + c2 x7 12 x8 + 36
x 36
x +
(
)
5. (a) y(x) = c1 u1 (x) + c2 u2 (x), onde u1 (x) = x ex e u2 (x) = u1 (x) ln x + x + 14 x2 + 3!13 x3 +
(
)
(
)
51 4
19 3
2
(b) y(x) = c1 x + 32 x2 + 94 x3 + 164
x + + c2 3u1 (x) ln x + 1 21
4 x 4 x +
(
)
(c) y(x) = c1 u1 (x) + c2 u2 (x),
onde u1 (x) = x1/2 1 (1! 211 )2 x2 + (2! 212 )2 x4 (3! 213 )2 x6 +
(
)
3
11
e u2 (x) = u1 (x) ln x + x1/2 41 x2 128
x4 + 13824
x6 +

47

Captulo 3

Transformada de Laplace
3.1

Denio

A transformada de Laplace de uma funo f (t) denida para t 0 , denotada por L{f (t)}, a
funo f(s) resultante da seguinte integral:

L{f (t)} =
est f (t) dt = f(s) ,
(3.1)
0

para os valores de s que tornem a integral convergente. Por exemplo, se f (t) = c (constante) ento


) c
est 
c(
st
0
L{c} =
e c dt = c
e|s
+
e
=
,
=

{z }
s t=0
s
s
0
0

para s > 0 (excluem-se s = 0, por implicar em diviso por zero, e s > 0, porque o termo indicado
acima como nulo seria innito).
{
0 (t < 3)
Outro exemplo: se f (t) =
, temos que
2 (t 3)

L{f (t)} =

est f (t) dt =

3.2

est 0 dt +

est 2 dt =


2e3s
2est 
=
.

s t=3
s

L linear:

L{af (t)+bg(t)} =

st

[af (t)+bg(t)] dt = a

3.3

st

f (t) dt+b

est g(t) dt = aL{f (t)}+bL{g(t)} .

Condies sucientes para a existncia de L{f (t)}:

Garante-se a existncia da transformada de Laplace de uma funo f (t) denida para t 0 que
seja
contnua por partes, isto , que exiba, em qualquer intervalo nito do seu domnio, um nmero
nito (zero inclusive) de descontinuidades, nunca sendo innita.
de ordem exponencial, isto , que, em valor absoluto, seja menor que alguma exponencial M et
para t maior que algum T .
De fato:

L{f (t)} =
0

est f (t) dt =

|0

est f (t) dt +
est f (t) dt ,
T
{z
} |
{z
}
I1

48

I2

sendo que I1 existe, porque a soma de integrais em intervalos nos quais o integrando est f (t)
contnuo (e, portanto, integrvel), e I2 tambm nito, pois

|I2 |

|e

st

f (t)| dt =

st

|f (t)| , dt M
| {z }

M et


Me
M e(s) M e(s)T

=
+
.

(s ) t=T
s
s
|
{z
} |
{z
}
(s)t 

0 para s>

3.4

e(s)t dt

nito

Clculo de L de eat , tn , senat, cos at, senhat, cosh at

Nesta seo considere a R() .

1) Se s > a, ento:

L{e } =
at

st at

e dt =

(sa)t

e
0


e(sa)
e0
1
e(sa)t 
=

+
=
dt =
(s a) t=0
sa
sa
sa
| {z }

0 para s>a

2) Se s > 0, temos, integrando por partes, para n = 1, 2, 3, , que

L{t } =
n

e
0

(
)
n
est n 
n
1
t dt =
t 
+
est tn1 dt = lim est tn + 0 + L{tn1 }
t
s
s
s
s
t=0
{z
}
|

st n

0 (lHpital)

n=1
n=2
n=3

1
1 1
1
L{1} =
= 2
s
s s
s
2
2 1
21
2
L{t } = L{t} =
= 3
2
s
s s
s
3
3 21
321
3
2
L{t } = L{t } =
=
3
s
s s
s3
L{t} =

L{tn } =

n!
sn+1

3) Se s > 0, ento:



est
a st
1 a
L{cos at} =
est cos at dt =
cos at

e
sen at dt = L{ sen at}
s
s
s
s
0
0
t=0

st

a
e
a
sen at
est cos at dt = 0 + L{cos at}
L{ sen at} =
est sen at dt =
+
s
s
s
0
0
t=0
]
1 a [a
s
(ii) em (i) L{cos at} =
L{cos at}
L{cos at} = 2

s
s s
s + a2
a
s
a
(iii) em (ii) L{ sen at} =
= 2

2
2
s s +a
s + a2

(i)
(ii)
(iii)

4) Se s > |a| (por causa da necessidade de que exista a tranformada de Laplace de eat ), ento:
{ at
}
[
]
] 1
e + eat
1[
1
1
s
at
at
L{cosh at} = L
=
+
= 2

L{e } + L{e } =
2
2
2 sa s+a
s a2
{ at
}
[
]
] 1
e eat
1[
1
1
a
L{ senh at} = L
=

= 2

L{eat } L{eat } =
2
2
2 sa s+a
s a2
Com as frmulas deduzidas at o momento, podemos calcular uma variedade de transformadas de
Laplace sem recorrer denio, isto , sem efetuar a integral em (3.1). Observe, em particular, o uso
a = 0, as transformadas de Laplace calculadas nesta seo fornecem os resultados esperados: L{1} = 1/s ou
L{0} = 0.
() Se

49

da linearidade de L. Por exemplo:

7s2 + 12
i) L{3t 5 sen 2t} = 3 L{t} 5 L{ sen2t} = 2 2
| {z }
| {z } s (s + 4)
1/s2
2/(s2 +4)
{
}
1 cos 2t
2
ii) L{ sen 2 t} = L
= 21 L{1} 12 L{cos 2t} =
| {z }
| {z } s(s2 + 4)
2
s/(s2 +4)

1/s

3.5

Propriedades especiais

Se

es0 t f (t) dt existe ento se demonstra que:

1)
0

est f (t) dt existe para s s0

2) lim

sc

est f (t) dt =

]
lim est f (t) dt =

sc

ect dt para c s0

d
(est )
est f (t) dt =
f (t) dt para s s0
ds 0
s
0
]
]
s2 [
[
4)
est f (t) dt ds =
est ds f (t) dt para s0 s1 s2 <

3)

s1

3.6

Transformada de Laplace inversa

Se a transformada de Laplace da funo f (t) a funo f(s), isto ,

L{f (t)} =
est f (t) dt = f(s) ,
0

ento, a transformada de Laplace inversa da funo f(s) , por denio, a funo f (t), isto ,
L1 {f(s)} = f (t) .
Para determinar a transformada de Laplace inversa de uma funo f(s) dada, necessrio resolver a
equao integral em (i) acima. Em textos mais avanados, demonstra-se que, se tal equao tem uma
soluo, ento ela nica. Esse resultado conhecido como teorema de Lerch.
Exemplos:
{ }
1
1
1

L
=t.
s2
s2
{
}
ii) L1 af(s) + b
g (s) = a L1 {f(s)} + b L1 {
g (s)} = a f (t) + b g(t) . [L1 linear]
{
}
s
iii) L1
= cos 2t .
s2 + 4
{
}
1
iv) L1
= e3t .
s+3
{ }
{ }
1 1 4!
1 4
1
1
=
L
=
t .
v) L
5
5
s
4!
s
4!
}
{
}
{
}
{
}
{
3s
5
1
s
5
2
4
1

+
= 4
3
+
vi) L
s 2 s2 + 16 s2 + 4
s2
s2 + 16
2 s2 + 4
5
= 4e2t 3 cos 4t + sen 2t .
2
i) L{t} =

Nos exemplos seguintes, fraes parciais so empregadas:

50

}
}
{
1
1/3
1/3
1
1
1
vii) L
=L
+
= e2t + e5t .
(s 2)(s 5)
s2
s5
3
3
{
}
{
}
1
s
1
viii) L1
= L1

= 1 cos t .
s(s2 + 1)
s s2 + 1
{
}
{
}
{
}
3s + 7
4
3s + 7
1
1
1
1
=L
=L
= 4e3t et .
ix) L
+
s2 2s 3
(s 3)(s + 1)
s3 s+1
1

Esse ltimo exemplo tambm pode ser resolvido completando o quadrado no denominador:
{
}
{
}
[
]
3s + 7
s1
2
1
L1
=
L
3

+
5

= et 3 cosh 2t + 5 senh 2t
2
2
2
s 2s 3
(s 1) 4)
(s 1) 4)
[
]
2t
2t
2t
e +e
e e2t
= et 3
+5
= 4e3t et .
2
2

3.7

Funo degrau unitrio

A funo degrau unitrio U(x) denida na gura abaixo, esquerda. Na mesma gura, direita,
mostra-se que U(x a) representa uma translao do degrau. O valor dessa funo em x = a aqui
ignorado, por ser geralmente irrelevante nos problemas em que ela se aplica.

Vejamos dois exemplos de emprego dessa funo. Considere a funo f (x) na gura abaixo,
esquerda.

2
2

1
1

1
a

x
2

Sua expresso em termos da funo degrau

f (x) = 2 [ U(x a) U(x b) ] .
Outro exemplo um pouco mais complicado a funo g(x) na gura acima, direita; ela dada por
g(x)

1 + (2 1) U(x + 1) + [2 (2)] U(x 1) + (1 2) U(x 3)

= 1 3 U(x + 1) + 4 U(x 1) 3 U(x 3) .

No estudo da transformada de Laplace, a varivel t no tem valores negativos. Assim, U(t) = 1, e
as funes f (t) e g(t) nos dois exemplos acima so, para t 0, dadas por
f (t) = 2 2U(t b)

g(t) = 2 + 4 U(t 1) 3 U(t 3) .

Consideremos agora funes descontnuas mais genricas.

Por exemplo, a funo h(t) ao lado dada por
h(t) = (t) + [(t) (t)] U(t 1) +
[0 (t)] U(t 3) + [(t) 0] U(t 4) +
[(t) (t)] U(t 6) + [3 (t)] U(t 8) .

4
1

51

Observe que, em t = 6, no h descontinuidade, mas uma

mudana de (t) para (t) na expresso da funo. Testando
a equao acima com t = 2, obtemos o resultado esperado:
(2) + [(2) (2)] U(1) + [0 (2)] U(1) +[(2) 0] U(2) +
|{z}
| {z }
| {z }

f (2) =

[(2) (2)] U(4) +[3 (2)] U(6) =

| {z }
| {z }
0

 + (2) 
 = (2) X
(2)
(2)


Encerremos esta seo com o clculo da transformada de Laplace de U(t a), com a > 0 :



est 
eas
est U(t a) dt =
est dt =
L{U(t a)} =
=
(s > 0) 

s t=a
s
0
a

3.8

Tabela de transformadas de Laplace de funes especcas

Na tabela abaixo, listamos as transformadas de Laplace de algumas funes especcas, j calculadas

nas sees anteriores:
f (t)

f(s) = L{f (t)}

1
s

eat

1
sa

(s > a R)

n!

tn

(n = 1, 2, 3, )

sn+1

cos at
sen at

3.9

(s > 0)

s
s2 + a2

(a R, s > 0)

a
+ a2

(a R, s > 0)

s2

cosh at

s
s2 a2

(s > |a| R)

senhat

a
s2 a2

(s > |a| R)

U(t a)

eas
s

(a > 0, s > 0)

Clculo de L de f (at), eat f (t), tn f (t), U(ta)f (ta), f (t)/t

Seguem os clculos dessas quatro transformadas de Laplace:

u at
1 (s/a)u
1 (s)
1) L {f (at)} =
est f (at)dt
=
e
f (u) du = f
a 0
a
a
0

2)

{
}
L eat f (t) =

[
]
est eat f (t) dt =

e(sa)t dt = f(s a)

ou, equivalentemente, L1 {f(s a)} = eat L1 {f(s)}

3)

L {tn f (t)} =

est tn f (t)dt =

= (1)n f(n) (s)

n
n (est )
n d
(1)n
f
(t)dt
=
(1)
sn
dsn

52

f(s)

}|

est f (t)dt

4)

{
}
L t2 f (t) = f (s) ,

L {tf (t)} = f (s) ,

L {U(t a)f (t a)} =

{
}
L t3 f (t) = f (s) ,

est U(t a)f (t a)dt =
est f (t a)dt
0
a


ta
=
es(a+ ) f ( )d = eas
es f ( )d = eas f(s)

{
5)

f (t)
t

]
st

dt f (t)
t

=
f() d

dt f (t)
0

d e

f()

d
s

}|

dt f (t)e

{
t

Exemplos:
i) Como L{cos t} = s/(s2 + 1) , ento
1
(s/7)
s
= 2
7 (s/7)2 + 1
s + 49
s3
L{e3t cos t} =
(s 3)2 + 1
{
}
{
}
s3
s
3t 1
Problema inverso: L1
=
e
L
= e3t cos t ,
(s 3)2 + 1
s2 + 1
pois L1 {f(s a)} = eat L1 {f(s)} .
L{cos 7t} =

ii) Como L{e5t } = 1/(s 5) , ento

(

)
1
1
=
,
s5
(s 5)2
) [
(
]
2
1
2 5t
= (s 5)2 = 2(s 5)3 =
.
L{t e } =
s5
(s 5)3
L{t e5t } =

Observe que esses dois resultados podem ser obtidos diretamente (evitando derivadas) por meio da
propriedade L {eat f (t)} = f(s a), com f (t) = t e f (t) = t2 , respectivamente.
d
d( s )
s2 + 1 s(2s)
s2 1
L{cos t} =
=

=
.
ds
ds s2 + 1
(s2 + 1)2
(s2 + 1)2

iii) L{t cos t} =

iv)

5s2 15s 11
f(s) =
(s + 1)(s 2)3

fraes
parciais

=
{
}
L1 f(s) =
{
v) L
{
vi) L

sen t
t

et e3t
t

1/3
1/3
4
7
+
+
+
2
s+1
s2
(s 2)
(s 2)3
( 1 )
1 1
1 1
7 ( 1 )

+
4

3 s+1
3 s2
s2
2 s2
1 2t
7 2 2t
1 t
2t
+
e
+
4t e

t e
e
3
3
2


d
=
arctan

arctan s
 =
2
+1
2
s

=
s

1
1

+1 +3

)
d = ln

53

+ 1 
s+3
s+1
= ln
 = ln 1 ln
+3 s
s+3
s+1

{
vii) Clculo da transformada de Laplace de f (t) =

t2
(0 t < 2)
1 + t (t 2)

Primeiro modo: Usando a terceira frmula acima:

t2 + (1 + t t2 ) U(t 2) = t2 U(t 2) + t U(t 2) t2 U(t 2)
( 2s ) ( 2s )
2
e2s
e
e
L{f (t)} =

s3
s
s
s
(
) (
)
2s
2
e
2s 1
2s 1
2s 1
2s 1
2s 1
=

2e

4e
+
2e

+
2e
s3
s
s
s2
s
s2
s3
(
)
2
3
3
2
=
+ e2s 2 3 
s3
s s
s
f (t) =

Segundo modo: Usando a quarta frmula acima:

f (t) = t2 + (1 + t t2 ) U(t 2) = t2 + P (t 2)U(t 2)
|
{z
}
P (t2)

P (t 2) = 1 + t t2

P (t) = 1 + (t + 2) (t + 2)2 = 3 3t t2
(
)
2
2
3
3
2
2
2s
2s
L{f (t)} = L{t } + L{P (t2)U(t2)} = 3 + e P (s) = 3 + e
2 3
s
s
s s
s

3.10

Transformada de Laplace de derivadas

L{f (t)}

=
0

t=0

= sf(s) f (0)

L{f (t)}

0f (0)

}|  {
z


st
st

+s
e f (t) dt = e f (t)
z

}|

st

f (t) dt = s L{f (t)} f (0)

L{f (t)}

= s [L{f (t)}] f (0) = s [sf(s) f (0)] f (0)

= s2 f(s) sf (0) f (0) 

L{f (t)}

= sL{f (t)} f (0) = s[s2 f(s) sf (0) f (0)] f (0)

= s3 f(s) s2 f (0) sf (0) f (0) 

..
.
L{f (n) (t)}

= sn f(s) sn1 f (0) f (n1) (0)

Essa ltima frmula, para a derivada de ordem n, vlida se

f (n) (t) for contnua por partes


f (k) (t)
forem contnuas
k=0,1, ,n1

f (t), f (t), , f (n) (t) forem de ordem exponencial

3.11

Transformada de Laplace de integrais

fcil deduzir que

L
0

}
f(s)
f (u)du =
s

54

(s > 0) .

(3.2)

Eis a deduo:
{
L

}
f (u)du =

f (u)du dt =

t
dt est
du f (u)
0
0
0
0
0
[ st ]



e
=
du f (u)
dt est =
du f (u)
s t=u
0
u
0


s
su
e
e
1
1
du f (u)
du esu f (u) = f(s) 
=
=
s
s
s
0
0
t

est

Mais genericamente, temos que

}
{ t
}
{ a
}
{ t
}
{ t
a
f (u)du = L
f (u)du L
f (u)du
L
f (u)du
= L
f (u)du
0
0
0
a
0

f(s) 1 a

f (u) du 
=
s
s 0
Vejamos um exemplo:
{
L

sen2u du
0

1
1
2
2
L { sen2t} =
=
;
s
s s2 + 4
s(s2 + 4)

de fato, obtemos o mesmo resultado se primeiramente efetuamos a integral e ento calculamos a

transformada de Laplace:
{
t }
{ t
}
}
{
cos 2u 
1
1
cos 2t + 1
L
sen 2u du
= L
= L{cos 2t} + L{1}
=
L

2
2
2
2
0
0
=

1
s
1 1
1 s2 + 4 s2
2
+
=
=
.
2
2 s +4 2 s
2 s(s2 + 4)
s(s2 + 4)

Outro exemplo:

{ t
}
} 1
1 { 2t
s 
s+2
2u
L
e
cos 3u du = L e
cos 3t =
.
=
2 + 9
s
s
s
s
[(s
+
2)2 + 9)]
0
s =s+2
A equao (3.2) pode ser escrita na seguinte forma:
{ } t
f (s)
L1
=
f (u) du .
s
0

(3.3)

Essa frmula pode ser til em vrios clculos da transformada de Laplace inversa. De fato, por meio
dela, o exemplo (viii) na p. 51 torna-se mais fcil; o clculo das fraes parciais (omitido naquele
exemplo) mais trabalhoso do que o seguinte:
{
}
{
} t
{
}
t
2
1
1
1 1/ (s + 1)
1
L1
=
L
=
L
du
=
sen u du = 1 cos t .
s(s2 + 1)
s
s2 + 1
0
0

3.12

Clculo de L1 {f(s)
g (s)} por convoluo

A operao denida abaixo entre duas funes f (t) e g(t),

t
f (t) g(t)
f (u) g(t u) du ,
0

chamada de convoluo ou produto convolutivo dessas funes. uma operao comutativa:

f (t) g(t) =

f (u) g(t u) du

v tu

g(v) f (t v) dv = g(t) f (t) .

O chamado teorema da convoluo diz que a transformada de Laplace inversa do produto aritmtico
f(s)
g (s) o produto convolutivo f (t) g(t), isto ,
L1 {f(s)
g (s)} = f (t) g(t) .
55

A prova desse teorema como segue:

{ t
}
L{f (t) g(t)} = L
f (u) g(t u) du =
0

dt e

st

st

dt e

du esu f (u)
{z
} |0

du f (u) g(t u)

du f (u)
0

g(t u)

v tu

du f (u)
0

dv es(u+v) g(v)

dv esv g(v) = f(s)

g (s)
{z
}

f(s)

g
(s)

Exempliquemos seu uso:

{
}
{
}
{ }
t
1
1
1
1
1
1
t
L
L
= (t e ) |{z}
t =
u
eu} (t u) du
= L
{z
|
| {z }
| {z }
(s + 1)2 s2
(s + 1)2
s2
0
|
{z
} | {z }
g(t)
f (u) g(tu)
f (t)
t et

= t

u eu du

u2 eu du = = t et + 2et + t 2 .

1
2
1
2
1
+
+ 2 = 2
X
2
(s + 1)
s+1 s
s
s (s + 1)2

Conferindo: L{t et + 2et + t 2} =

3.13

Transformada de Laplace de funo peridica

Se a funo f (t) tem perodo T , isto , f (t) = f (t + T ) t 0, ento:

L {f (t)} =

est f (t)dt =

est f (t)dt +

est f (t)dt .

(i)

Mas

est f (t)dt

tT

es(T + ) f ( + T ) d = esT
| {z }

es f ( )d = esT L {f (t)} .

(ii)

f ( )

Logo, substituindo (ii) em (i), obtemos

L {f (t)} =

est f (t)dt + esT L {f (t)} ,

donde
L{f (t)} =

1
1 esT

est f (t)dt

Por exemplo, calculemos, usando essa frmula, a transformada de Laplace da funo de perodo
unitrio dada por f (t) = t para 0 t < 1 e f (t + 1) = f (t) para todo t 0:

e
L{f (t)} =

3.14

st

f (t)dt

es

es
1 es
e t dt

+
s
s2
0
=
s
s
1e
1e
1

st

]
=

1 (1 + s)es
.
s2 (1 es )

Tabela de transformadas de Laplace com funes genricas

Na tabela abaixo, listamos as frmulas envolvendo transformadas de Laplace de funes genricas

que j foram deduzidas nas sees anteriores:
1) L{af (t) + bg(t)} = af(s) + b
g (s)
2) L{f (t)} = sf(s) f (0)
3) L{f } = s2 f(s) sf (0) f (0)
56

4) L{f (t)} = s3 f(s) s2 f (0) sf (0) f (0)

5) L{f (n) (t)} = sn f(s) sn1 f (0) f (n1) (0)
{ t
}
f(s)
6) L
f (u)du =
s
0
7) L{tf (t)} = f (s)
8) L{t2 f (t)} = f (s)
9) L{t3 f (t)} = f (s)
10) L{tn f (t)} = (1)n f(n) (s)
1 (s)
11) L{f (at)} = f
a
a
at
12) L{e f (t)} = f(s a)
13) L1 {eas f(s)} = U(t a)f (t a)
14) L1 {f(s)
g (s)} = f (t) g(t)
T
1
15) L{f (t)} =
est f (t)dt
1 esT 0
{
}
f (t)
=
f()d
16) L
t
s

3.15

para uma funo f (t) de perodo T

Uma aplicao: clculo de integrais denidas

Observe alguns exemplos de como a transformada de Laplace auxilia no clculo de integrais denidas:





3
s2 1 

i)
t e2t cos t dt =
est t cos t dt
=
,
= L{t cos t}
= 2
2 s=2
(s
+
1)
25
s=2
0
0
s=2
onde usamos o resultado obtido no exemplo (iii) da seo 3.9.


( sen t ) 

sen t

=
dt =
dt
arctan s 
,
est
=
t
t
2
2
0
0
s=0
s=0
onde usamos o resultado obtido no exemplo (v) da seo 3.9.

ii)

( t e3t ) 
et e3t
s+3
st e
iii)
dt =
e
dt
= ln
t
t
s+1
0
0
s=0
onde usamos o resultado obtido no exemplo (vi) da seo 3.9.

3.16

= ln 3 ,

s=0

Outra aplicao: resoluo de EDOs

Observe alguns exemplos de como a transformada de Laplace auxilia na resoluo de equaes diferenciais ordinrias:
i) y 3y = e2t

y(s) =

L{y 3y} = L{e2t }

y(0)
1
+
s 3 (s 2)(s 3)

fraes
parciais

s
y (s) y(0) 3
y (s) = 1/(s 2)

1
y(0) + 1
+
s2
s3

L1

[
]
y(t) = e2t + y(0) + 1 e3t ,
| {z }
c

que a soluo geral, haja vista a presena da constante arbitrria c y(0) + 1 [no h restrio no
valor de y(0)]. Note que, na soluo geral obtida, se zermos t = 0, obtemos a identidade y(0) = y(0).
57

ii) Resoluo do problema de valor inicial y 6y + 9y = t2 e3t , y(0) = 2 , y (0) = 6 :

y 6y + 9y = t2 e3t

s2 y(s) s y(0) y (0) 6 [s

y (s) y(0)] + 9
y (s) = 2/(s 3)3
|{z} | {z }
|{z}
2

2
(s2 6s + 9) y(s) = 2(s 3) +
|
{z
}
(s 3)3
(s3)2

y(t) = 2L1

1
s3

+ 2e3t L1
|

y(s) =

2
2
+
s 3 (s 3)5

}
1
1
= 2e3t + t4 e3t
5
(s 3)
12
{z
}

t4 /4!

iii) Resoluo do problema de valor inicial

0 (0 t < 1)

1
(1 t < 2)
y + 2y + y = f (t)
1
(2
t < 3)

0 (t 3)

sob as condies y(0) = 0 e y (0) = 0 :

f (t)

}|
{}
{z
L {y + 2y + y} = L U(t 1) 2U(t 2) + U(t 3)
es
e2s
e3s
s2 y(s) s y(0) y (0) + 2 [s
y (s) y(0)] + y(s) = (s + 1)2 y(s) =
2
+
|{z} | {z }
|{z}
s
s
s
0
0
0
{
}
{
}
es
e2s
e3s
y(t) = L1

2
+
= L1 es g(s) 2e2s g(s) + e3s g(s)
2
2
2
s(s + 1)
s(s + 1)
s(s + 1)
onde
1
s(s + 1)2

g(s)

fraes
parciais

1
1
1

s s + 1 (s + 1)2

g(t) = 1 et t et

y(t) = U(t 1)g(t 1) 2U(t 2)g(t 2) + U(t 3)g(t 3)

ou

3.17

y(t) =

[
]
U(t 1) 1 e(t1) (t 1) e(t1)
[
]
2 U(t 2) 1 e(t2) (t 2) e(t2)
[
]
+ U(t 3) 1 e(t3) (t 3) e(t3) .

Exerccios

Calcule L{f (t)} ou L1 {f(s)} , pelo modo indicado, se solicitado:

1. f (t) = t2 sen3t
2. f (t) = cos 3t senh8t
3. f (t) = t et senh2t
4. f (t) = t e3t cos 6t
1 et
t
1 cos t
6. f (t) =
t
5. f (t) =

58

{
7. f (t) =

1 (0 t < 1)
1 (t 1)

0 (0 t < 2)
5 (2 t < 4)
8. f (t) =
3 (4 t < 6)

0 (t 6)
9. f(s) =
10. f(s) =

4s2

7s
24s + 61

1
3s(2s 5)

s3
11. f(s) = ln
s+1

s
12. f(s) = arctan
2
2
2

s +1
13. f(s) = ln 2
s +4
1
4
14. f(s) = arccot
s
s
{
0 (0 t < 1)
15. f (t) =
2t 3 (t 1)
{
t 1 (0 t < 2)
16. f (t) =
0 (t 2)
17. f (t) = U(t a) sen t
18. f (t) = t3 e2t U(t 5)
t
senu
19. f (t) =
du
u
0
t au
e ebu
20. f (t) =
du
u
0
e5s
21. f(s) = 3
s
e5s
22. f(s) =
s3
23. f(s) =

e5s
(s 3)4

e5s
24. f(s) = 2
s +9
s + s
25. f(s) = 2
e
s + 2

26. f (t) = f (t + 2) t > 0 e f (t) =

1 (0 t < 1)
1 (1 t < 2)

27. f (t) = f (t + 2) t > 0 e f (t) = t (0 t < 2)

28. f (t) = f (t + 2) t > 0 e

f (t) = sen t (0 t < 2)

[ou seja, f (t) = sen t]

29. as funes peridicas f (t), g(t), h(t) e u(t) denidas pelos grcos na gura abaixo.
30. a funo f(s) do exemplo (vii) da seo 3.6, pelo teorema da convoluo

59

31. f(s) =

1
, pelo teorema da convoluo
(s2 + 1)2

32. f(s) =

1
, pelo teorema da convoluo
(s2 + 4s + 5)2

onda triangular

g(t )

f (t )
1

onda senoidal semirretificada

onda senoidal retificada

1

h(t )

u(t )

Use a transformada de Laplace para mostrar que:

33.

t3 et sen t dt = 0

34.
0

35.

et sen t

dt =
t
4
t3 e3t sen t dt =

3
50

Resolva por meio da transformada de Laplace:

{
36. y 5y(t) = f (t) =

2 (0 t < 4)
sob a condio y(0) = 0
3 (t 4)

37. y + 3y 4y(t) = 0 sob as condies:

a) y(0) = y (0) = 1
b) y(0) = 1, y (1) = 4e4

60

c) y(1) = e + e4 , y (1) = e 4e4

3.18

Solues dos Exerccios

Prob. 1

d2
f(s) = 2
ds

f (t) = t2 sen3t

3
2
s +9

)
=

Prob. 2

e8t e8t
f (t) = senh8t cos 3t =
cos
| {z3t}
2

[
]
1
s8
s+8

f (s) =

2 (s 8)2 + 9 (s + 8)2 + 9

s
s2 +9

Prob. 3
t

f (t) = te |senh2t
{z }

2
s2 4

ou

2t
te

f (t) = te

[
]
d
2

f (s) =
=
ds (s 1)2 4

)
1 ( 3t
e2t
=
e et t
2
2
L

1/s2

Prob. 4
L{te3t cos
| {z6t} } =
L

[
]
1
1
1

f (s) =

2 (s 3)2
(s + 1)2

[
]
d
s+3
=
ds (s + 3)2 + 36

s
s2 +36

Prob.
5 }
{
(
]
1 et
1
1 ) [
L
=

ds = ln s ln(s + 1)

t
s
s +(
1
s
s
)
s
s
s+1
s 
ln
= ln
= ln
 = ln lim
s s + 1
s +1 s
s+1
s
|
{z
}
=1

Prob.
6
{
} (

]
1 cos t
s ) [
1
s
1

L
=

ds = ln s ln(s2 + 1)
= ln


2 + 1 s
t
s
s
+
1
2
s
s
s
)
(

s2 + 1
s
1

=
ln

ln
= ln
lim
s
s
s2 + 1
1 + s12
|
{z
}
=1

Prob. {
7
1 (0 t < 1)
f (t) =
1 (t 1)
Prob.
8
0

5
f (t) =
3

(0 t < 2)
(2 t < 4)
(4 t < 6)
(t 6)

= 1 + 2U(t 1)

1
e
f(s) = + 2
s
s

= 5U(t 2) 8U(t 4) + 3U(t 6)

e
f(s) = 5

2s

e4s
e6s
+3
s
s

Prob. 9

[
]
[
]
7s
7
s
7
s3
6
5/2
=
=
+
4s2 24s
4 (s ]3)2 + (5/2)2
4 (s 3)2 + (5/2)2
5 (s 3)2 + (5/2)2
[ + 61
5t 6
5t
7 3t
f (t) = e cos + sen
4
2
5
2

f(s) =

Prob. 10

)
1 1 { 1/ (s 5/2) } 1 t 5u/2
1 ( 5u/2
= L
=
e
du =
modo: L
e
1
6
s
6 0
15
{
{
{
}
}
}
1
2/15
1/15
1
1 5t/2
1
1 1/5
1 1/15
o
2 modo: L
=L
+
=L
+
=
+
e
3s(2s 5)
3s
2s 5
s
s 5/2
15
15
1o

1
3s(2s 5)

61

Prob. 11
s3
f(s) = ln
= ln(s 3) ln(s + 1)
s+1
L1

t f (t) = e3t et

Prob. 12

s
f(s) = arctan
2
2
L1

t f (t) = sen2t

f (t) =

L1

t f (t) = 2 cos t 2 cos 2t

Prob. 14
1
4
f(s) = arccot
s
s

e3t et
t

1/2
2
= 2
2
1 + (s/2)
s +4
sen2t
f (t) =
t

f (s) =

f (t) =

2s
2s

s2 + 1 s2 + 4

2
(cos 2t cos t)
t

1
4/s2
1
4
f (s) = 2 +
= 2 2
2
s
1 + (4/s)
s
s + 16
sen4t
t f (t) = t sen4t f (t) = 1 +
t

L1

Prob. {
15
f (t) =

1
1

s3 s+1

f (s) =

Prob. 13
s2 + 1
f(s) = ln 2
= ln(s2 + 1) ln(s2 + 4)
s +4

f (s) =

(0 t < 1)
= (2t 3) U(t 1)
(t 1)

0
2t 3

1
2
1o modo: Se p(t 1) 2t 3 ento p(t) = 2(t + 1) 3 = 2t 1, donde p(s) = 2
s
s
(
)
2
1 s
s

f (t) = p(t 1) U(t 1) f (s) = p(s) e =

e
s2
s
2o modo (pode levar a mais contas): f (t) = (2t 3) U(t 1) = 2t U(t (1) 3)U(t 1)
es
es s es
es
2
1 s
d ( es )
3
= 2

= =

e
f(s) = 2
ds s
s
s2
s
s2
s
Prob. {
16
t 1 (0 t < 2)
f (t) =
0 (t 2)

t 1 (t 1) U(t 2)
| {z }

f(s) = L{t 1} p(s) e2s

p (t2)

p (t 2) = t 1

p(t) = t + 2 1 = t + 1
(
)
1
1
1
1 2s

f (s) = 2
+
e
s
s
s2
s

Prob. 17
f (t) = U(t a) |sent
{z } = U(t a) q(t a)

p(s) =

1
1
+
s2
s

f(s) = eas q(s)

q(ta)

q (t a) = sen t
q(s) = ( sena)

s2

q (t) = sen(t + a) = sen a cos t + cos a sent

s
1
s sen a + cos a
+ (cos a) 2
=
+1
s +1
s2 + 1

eas
f(s) = 2
(s sena + cos a)
s +1

Prob. 18

L{f (t)} = L{ |{z}

t e
3

2t

es
U(t 5)} = L{e p(t 5)U(t 5)} = p(s )
s
2t

p(t5)

Por outro lado, p(t) = (t + 5)3 = t3 + 15t2 + 75t + 125

Logo, L{f (t)} =

p(s) =

30
75
125 ] e(s2)
6
+
+
+
.
(s 2)4
(s 2)3
(s 2)2
s2 s2
62

]
s =s2

= p (s 2)

6
30 75 125
+ 3 + 2 +
s4
s
s
s

e(s2)
.
s2
.

Prob. 19

sen u
L{f (t)} = L
du
u
0
exemplo (vi) da seo 3.9.
Prob. 20

1
= L
s

sen t
t

(
)
1
=
arctan s , onde se aproveitou o resultado do
s 2

}
{ at
}
[
]

eau ebu
1
e ebt
1 ( 1
1 )
1
s a
du = L
=

ds
=
ln
u
s
t
s s
s a s b
s
s b s
0
[
]
1
sa
1 sb
=
ln 1 ln
= ln
s
sb
s sa

L{f (t)} = L

Prob. 21
L

{
1

{f (s)} = L
e5s

1
3
s
|{z}

}
= U(t 5)

(t 2)2
2

L1

t2 /2

Prob. 22

{
L1 {f(s)} = L1 e5s

1
s3
| {z }

}
= U(t 5) e3(t5)

L1

e3t

Prob. 23

{
L1 {f(s)} = L1 e5s

1
(s 3)4
| {z }

}
= U(t 5) e3(t5)

(t 5)3
6

L1

e3t t3 /3!

Prob. 24
L

{
1

{f (s)} = L
e5s

1
s2 + 9
| {z }

1
= U(t 5) sen 3(t 5)
3

L1

( sen 3t)/3

Prob. 25
L

{
}
{
[
]}
s

1
s s +
1
s

{f (s)} = L
e
=L
e
+
s2 + 2
s2 + 2 s2 + 2
| {z } | {z }
L1

cos t

L1

sen t

]
[
= U(t 1) cos (t 1) + sen (t 1) = (cos t + sent) U(t 1)
{z
} |
{z
}
|
cos t

sen t

Prob. 30
t
t
{
{ 1 }
{ 1 }
}
1
2u 5(tu)
5t
1
1
1
2t
5t
e3u du
e e
du = e
L
=L
L
=e e =
(s 2) (s 5)
s2
s5
0
0
t
e3t 
e5t e2t
e3t 1
= e5t
=
= e5t

3 0
3
3
Prob. 31
t
{ 1 }
{ 1 }
{
}
1
1
1
=
L

L
=
sent

sen
t
=
sen(t u) sen u du
L1
(s2 + 1)2
s2 + 1
s2 + 1
0
t
t
t
=
[ sen t cos u sen u cos t] sen u du = ( sen t)
sen u cos u du (cos t)
sen 2 u du
0
0
0
[
]t
[
]t
(
)
sen 2 u
u
sen 2 u
1
t
sen 2 t
3
= ( sen t)
(cos t)

= sen t

cos t
2
2
4
2
2
4
0
0
Prob. 32

63

}
{
}
{
}
{
}
1
1
1
1
1
1
1
=
L
=
L

L
(s2 + 4s + 5)2
[(s + 2)2 + 1]2
(s + 2)2 + 1
(s + 2)2 + 1
t
= (e2t sen t) (e2t sen t) =
e2u sen u e2(tu) sen(t u) du
0
[
(
)
]
t
1
t
sen 2 t
= e2t
sen u sen(t u) du = e2t
sen 3 t

cos t
2
2
4
|0
{z
}

L1

j calculada no Prob. 31

64

Captulo 4

Sistemas de EDOs Lineares de

Coecientes Constantes
4.1

Resoluo pelo mtodo dos operadores

Esse mtodo consiste em escrever um sistema como, por exemplo,

{
x + 2x + y = x(t) + 3y(t) + sen t
x + y
= 4x(t) + 2y(t) + et
= d/dt ,
na seguinte forma, usando o operador D
{
2 + 2D
1) x(t) + (D
2 3) y(t) =
(D
+ 4) x(t) + (D
2) y(t) =
(D

sen t
et

e resolv-lo, por eliminao ou determinantes, conforme mostramos abaixo, considerando sistemas mais
simples para facilitar a exposio:

4.1.1

Por eliminao
{

Exemplo 1:

x
y

=
=

Eliminando y :
{
(Dx
3y)
D
(+)

3 (2x Dy)

3y(t)
2x(t)

3y
Dx

2x Dy

= 0
= 0

6t

=
=

0
0

2 6) x(t) = 0
(D

x(t) = c1 e

Eliminando x :
{
3y) =
2 (Dx
(+)

D (2x Dy)
=

0
0

2 6) y(t) = 0
(D

y(t) = c3 e

6t

+ c2 e

6t

+ c4 e

6t

As quatro constantes no so arbitrrias, pois o sistema as relaciona:

0 = x 3y = 6 c1 e 6 t 6 c2 e 6 t 3c3 e 6 t 3 c4 e 6 t

6 t

c3 =
6 c1 /3
6t
= ( 6 c1 3c3 ) 6 e
+ ( 6 c2 3c4 ) e

c4 = 6 c2 /3
|
{z
}
|
{z
}
0

Por m,

x(t) = c1 e 6 t+ c2 e 6 t

y(t) = 36 c1 e 6 t + 3 6 c2 e 6 t

ou

x(t)
y(t)

65

[
= c1

1
6/3

]
e

6t

[
+ c2

1
6/3

6t

{
Exemplo 2:

x + y
x

=
2y(t)
= 3x(t) + 2y(t)

Eliminando y :
[
]
{
+ (D
+ 2) y = 0
2 [Dx
]
(+)
+ 2) (D
3) x 2y = 0
(D

Eliminando x :
[
]
{

3) Dx
(D
[ + (D + 2) y ]
(+)
(D
3) x 2y
D

= 0
= 0

Dx

(D 3) x

+ 2) y
(D
2y

= 0
= 0

+ (D
+ 2)(D
3) ] x = (D
2 + D
6) x(t) = 0
[ 2D

3)(D
+ 2) + 2D
] y = (D
2 + D
6) y(t) = 0
[(D

x(t) = c1 e2t + c2 e3t

y(t) = c3 e2t + c4 e3t

Mas x 3x 2y = 0 ; logo,
0

2 c1 e2t 3 c2 e3t 3 c1 e2t 3 c2 e3t 2 c3 e2t 2 c4 e3t

= (c1 2c3 ) e2t + (6c2 2c4 ) e3t

|
|
{z
}
{z
}
0

4.1.2

c3 = c1 /2

e c4 = 3c2

x(t) = c1 e2t + c2 e3t

y(t) = (1/2)c1 e2t 3c2 e3t

ou

x(t)
y(t)

[
= c1

1
1/2

[
2t

e + c2

1
3

e3t

Por determinantes

Pelo uso formal da regra de Cramer, temos que



 L1 L2

{
L3 L
1 x(t) + L
2 y(t) = g1 (t)
L

3 x(t) + L
4 y(t) = g2 (t)


2
 L

4
L3 L





 x =  g1

 g2


2 
L

4  .................... EDO p/ x(t)
L





 y =  L1

 L
3


g1 
.................... EDO p/ y(t)
g2 

Vejamos exemplos:
{
Exemplo 3:

x + y
x + y

=
=

EDO p/ x(t) e soluo:

 2


4 D
2 
2

 D

 x(t) =  t D
 0 D
 D
+1 D


| {z
|
{z
}
2t
2
2 4D
D
3 


D
D


4x(t) + t2
x(t)

4) x
(D

(D + 1) x

2y
+ D

+ Dy

= t2
= 0



t2
D
2 + 4) x(t) = 2t ()
 D(
x(t) = c0 + c1 cos 2t + c2 sen2t

4
}

EDO p/ y(t) e soluo:



2 

t3
t2 t
D
2 + 4)y = t2 + 2t ()
D
2 + 4) y =  D 4 t  D(
y(t) = c3 + c4 cos 2t + c5 sen 2t +
+

D(
 D
+1 0 
12 14 8
{z
}
|
(2t+t2 )

Uso de uma das EDOs do sistema para vincular as constantes:

x + y + x(t) = ( sent)(2c1 2c4 + c2 ) + (cos 2t)(2c2 + 2c5 + c1 ) + (c0 1/8) = 0
|
|
{z
}
{z
}
| {z }
0

c0 =

1
8

{
e

2c1 + c2
c1 + 2c2

= 2c4
= 2c5
66

c1 = 4c4 /5 2c5 /5
c2 = 2c4 /5 4c5 /5

Finalmente,
x(t)

y(t)

2
2
t2
1
(2c4 + c5 ) cos 2t + (c4 2c5 ) sen 2t +
5
5
4
8
t3
t2
t
c4 cos 2t + c5 sen2t +
+ + c3 
12
4
8

NOTA: Acima, na passagem () , omitida a resoluo da EDO linear de coecientes constantes (a

soluo particular pode ser obtida pelo mtodo dos coecientes a determinar, por exemplo).
{

x
y

Exemplo 4:

3
 D
1

 1

D1

 1

 4et

= 3x(t) y(t) 1
= x(t) + y(t) + 4et

3) x
(D
x

+
y

+ (D 1)y

= 1
= 4et



3)(D
1) + 1 = D
2 4D
+ 4 = (D
2)2
 = (D




1
1)(1) 4et = 1 4et
 = (D

D1 


 D
3 1

 1
4et



3)(4et ) 1 = 4et 12et 1 = 1 8et
 = (D

1
4et
4
1
y(t) = c1 3e2t + c4 te2t 8et
4

2)2 x(t) = 1 4et

(D

x(t) = c1 e2t + c2 te2t +

2)2 y(t) = 1 8et

(D

x 3x(t) + y(t) + 1 = e2t (c3 c1 + c4 ) + t e2t (c4 c2 ) = 0

|
{z
}
| {z }
0

c4 = c2

c3 = c1 c2

1
x(t) = c1 e2t + c2 t e2t + 4et
4

e y(t) = (c1 c2 )e2t + c2 t e2t

1
8et
4

Dz

+ 1) z
(D

Exemplo 5: dado o sistema de EDOs

x + z
y

2x + z

=
t2
= 2x(t) + et
= 2y(t) z(t)

ou

Dx
2x

2Dx

2y
+ D

2y

= t2
= et
= et

Vamos obter a EDO para y(t):



 D

 2

 2D

t2
et
0

D
0
+1
D




 y(t)



[
]
D
3 + D
2 ) + D(4

3 ) y(t)
D(
+ 2D

D
3 + D
2 4) y(t)
D(3


 D
0
D


 2

2
D
0


 2D
2 D
+1 
 t
 



  2


0
0
 e
 2

+D
D
 0 D
 2D
+ 1   2D
D
+1 

D
+ 1)et (D
+ 1)(2)t2 + D(2
D)e
t
D(

= 2et 2(2t + t2 ) + 2et

Resposta:

4.2

D
3 + D
2 4) y(t) = 4et 2t2 4t
D(3

Resoluo pela transformada de Laplace

{

Exemplo 1:

2x + y y(t) = t
sob as condies x(0) = 1 e y(0) = 0 .
x + y = t2

67


et 
0 

A transformada de Laplace dessas equaes so

]
[
2 s
x(s) x(0) + s
y (s) y(0)
y (s) = 1/s2

|{z}
|{z}

s
x(s) x(0) +s
y (s) y(0) = 2/s

|{z}
|{z}
1

2s
x + (s 1)
y = 2 + 1/s2
s
x(s) + s
y = 1 + 2/s3

Eliminando x
, obtemos
(s + 1)
y=

1
4
3
s2
s

y =

4
1
4s

= 3
.
s3 (s + 1) s2 (s + 1)
s (s + 1)

4s
A
B
C
D
= + 2+ 3+
A = B = D = 5 e C = 4 .
s3 (s + 1)
s
s
s
(s + 1)
}
{
5
4
5
5
2+ 3
= 5 5t + 2t2 5et 
y(t) = L1
s s
s
s+1

Fraes parciais:

Podemos calcular x(t) de modo anlogo (obtendo primeiramente x

(s) e, depois, calculando a transformada de Laplace inversa), mas, no caso, podemos usar a segunda EDO do sistema:
x = t2 y = t2 (5 + 4t + 5et )
x(0) = c1 + 5 = 1
{
Exemplo 2:

c1 = 4

x + s2 y s y(0) y (0) +4
y=0
4

|{z} | {z }

4.3

x(t) =

t3
+ 5t 2t2 + 5et + c1
3

t3
+ 5t 2t2 + 5et 4
3

x + 10x 4y = 0
sob as condies x(0) = y(0) = 0 e x (0) = y (0) = 1 .
4x + y + 4y = 0

2
x 4
y=0
s x
s x(0) x (0) +10

|{z} | {z }

x
(s) =

x(t) =

(s2 + 10)
x 4
y=1
4
x + (s2 + 4)
y = 1

s2
As + B
Cs + D
= 2
+ 2
A = C = 0, B = 1/5, D = 6/5
+ 2)(s2 + 12)
s +2
s + 12
{
}

6
1/5
6/5
1
x(t) = L1
+
= sen t 2 + sen t 12 
2
2
s + 2 s + 12
5 2
5 12

2
3
y(t) = [x (t) + 10x(t)]/4 = = sen t 2 sen t 12 
5 2
5 12

(s2

Resoluo pelo mtodo matricial

Trataremos, primeiramente, de

x1 (t)
x1 (t)
d . .
.. = ..
dt
xn (t)
xn (t)
| {z } | {z
X(t)

X (t)

sistemas homogneos de EDOs lineares de 1a ordem,

x1 (t)
a11 a1n
..
.. .. ou d X = AX ,
= .
. .
dt
xn (t)
an1 ann
} |
{z
} | {z }
A

X(t)

onde a matriz A constante; ao nal desta seo, mostraremos como resolver sistemas no-homogneos
dX/dt = AX(t) + F (t).
Admitindo uma soluo da forma X = V et , onde V = col [v1 , , vn ] um vetor (coluna) constante, obtemos, substituindo,
t
t
V 
e
= AV 
e

AV = V , ou (A I)V = 0 ,

que um problema de autovalor, no qual procuramos as solues no-nulas (V = 0) associadas aos

valores de que satisfazem a equao de autovalor, ou equao caracterstica, det(A I) = 0.
Dividiremos nosso estudo em trs casos: 1) autovalores reais e distintos, 2) autovalores imaginrios
e 3) autovalores repetidos. Isso no signica que um sistema de EDOs lineares se enquadre num desses
trs casos. Na verdade, os trs casos podem ocorrer num mesmo problema, existindo autovalores reais,
imaginrios e repetidos.
68

4.3.1

1o Caso: autovalores reais e distintos

A soluo do sistema X = AX, sendo A uma matriz n n, dada por

X(t) =

ck Vk ek t ,

k=1

onde Vk um vetor linearmente independente associado ao autovalor k .

{
][
]
[
] [
d x
x = 2x + 3y
2 3
x
Exemplo 1:
ou
=
y = 2x + y
2 1
y
dt y
| {z } | {z } | {z }
X
A
X


 2
3 
2

= ( 1)( 2) 6 = 3 4 = 0
det(A I) = 
2
1 
Clculo do autovetor V1 e da soluo X1 (t)
[
]
[
3 3
3
escalonamento
A 1 I =

2 2
0
[
][
] [
3 3

0
(A1 I)V = 0
=
0 0

0
[
]
1
X1 (t) = V1 e1 t =
et
1

1 = 1
2 = 4

associados ao autovalor 1 = 1:
]
3
0
]
{
{
[
]
3 + 3 = 0
= = 1
1

V1 =
0 = 0
qq
1

Clculo do autovetor V2 e da soluo X2 (t) associados ao autovalor 2 = 4:

[
]
[
]
2 3
2
3
escalonamento

A 2 I =
0 0
2 3
[
][
] [ ]
{
{
[ ]
2 3

0
2 + 3 = 0
= 3/2 = 2
3
A1 I = 0
=

V2 =
0 0

0
0 = 0
qq
2
[ ]
3
X2 (t) = V2 e2 t =
e4t
2
Soluo geral: X(t) = c1 X1 (t) + c2 X2 (t) , ou
x(t) = c1 et + 3c2 e4t

x = 4x + y + z
y = x + 5y z
Exemplo 2:

z = y 3z

det(A I) =


 4


1


0

ou

d
dt
|

y(t) = c1 et + 2c2 e4t

x
4 1
1
y = 1 5 1
z
0 1 3
{z } |
{z
}|

x
y
z
{z }



1
1

5
1  = ( + 4)[ ( 5)( + 3) + 1] + (1 + + 3)
1
3 

1 = 3
2 = 4
( + 4)[1 ( 5)( + 3) 1] = ( + 3)( + 4)( 5) = 0

3 = 5

Clculo do autovetor V1 associado ao autovalor 1 = 3:

1 1
1
1 1 1
escalonamento
9
0
A 1 I = 1 8 1 0
0 1
0
0
0
0

1 1 1

0
1
= 0
=
=1
9
0 = 0 9 = 0
A1 I = 0 0
= 0 V1 = 0

0
0
0

0
0 = 0
qq
1
69

Clculo dos autovetores V2 e V3 associados aos autovalores 2 e 3 , respectivamente (abaixo, na

E
passagem denotada por
, a matriz escalonada):

0 1
1 9
0 1

A 2 I =

A 3 I =

9 1
1 0
0 1

1
E
1

1
E
1

9 1
1
1
0
0

0 1
1 8
0
0

1
0
0

1
0
0

0
10
= 10
=1
0 = V2 = 1

0
qq
1

0
1
=
=1
0 = 8 V3 = 8

0
qq
1

1
10
1
X = c1 0 e3t + c2 1 e4t + c3 8 e5t
1
1
1

Soluo geral:

2o Caso: autovalores imaginrios

4.3.2

Os elementos da matriz A e, por conseguinte, os coecientes da equao caracterstica so reais.

Logo, se imaginrio for autovalor, (complexo conjugado) tambm ser. Alm disso, se ao autovalor
corresponde o autovetor V , isto AV = V , ento (AV ) = (V ) , ou AV = V , signicando
que ao autovalor corresponde o autovetor V . Isso facilita os clculos que seguem.
{
Exemplo 3:

x = 6x y
y = 5x + 4y

d
dt

ou

] [
][
]
x
6 1
x
=
y
5 4
y
| {z } |
{z
} | {z }
X


 6
1
det(A I) = 
5
4



 = 2 10 + 29 = 0


= 5 2i

Autovetor V associado ao autovalor = 5 + 2i:

[
][ ] [ ]
[
]
[
]

= 12i
12i 1

0
12i
1
1
E
=

A I =
12i V = 12i
0
0

0
5
12i

qq
[
]
[
]

1
1
X(t) = c1 V et + c2 V e t = c1
e(5+2i)t + c2
e(52i)t .
1 2i
1 + 2i
Para escrever X(t) como uma funo real, usamos a seguinte frmula:


c1 V et + c2 V e t  V P +Qi = (k1 P + k2 Q) eat cos bt + (k1 Q + k2 P ) eat sen bt

(4.1)

a+bi

[
No caso:

= |{z}
5 + |{z}
2 i
a

(
X(t) =

V =

1
1

0
2

1
1 2i

])

] [
]
0
1
=
+
i .
1
2
| {z } | {z }
[

0
2

+ k2
e cos 2t + k1
[
]
[
]
k1
k2
5t
=
e cos 2t +
e5t sen 2t
k1 2k2
2k1 + k2
k1

5t

[
+ k2

1
1

])
e5t sen2t

A deduo da frmula em (4.1) como segue:

X(t)

= c1 V et + c2 V e t = c1 (P + Qi)e(a+bi)t + c2 (P Qi)e(abi)t
= c1 (P + Qi)eat (cos bt + i sen bt) + c2 (P Qi)eat (cos bt i sen bt)
[
]
[
]
= c1 (P + Qi) + c2 (P Qi) eat cos bt + i c1 (P + Qi) c2 (P Qi) eat sen bt
]
[
]
[
=
(c1 + c2 ) P + i(c1 c2 ) Q eat cos bt + i(c1 c2 ) P (c1 + c2 ) Q eat sen bt .
| {z }
| {z }
| {z }
| {z }
k1

k2

k2

70

k1

CQD.

1
2 0
Exemplo 4: X = 1/2 1 0 X
0
0 1
|
{z
}
A


 1
2
0

0
det(A I) =  1/2 1
 0
0
1




 = (2 2 + 2)(1 ) = 0



i
2
0
i 2 0
E
A 1 I = 1/2 i 0
0 0 0
0
0 i
0 0 i

2
= 2i
=i
qq

V1 = i

=0
0

1 = 1 + i
2 = 1 i

3 = 1

0
i + 2 = 0
= 0
0 = 0

0
i = 0


2
0
= 0 + 1 i
0
0

1/2 0 0

0
0
2 0
E
2 0 = 0
A 3 I = 1/2 0 0
0
0
0 0

0
0
0 0

0
= 0
=1

=
0

V3 = 0

1
qq

/2 = 0
2 = 0

0 = 0

X(t)

2
2
0
c1 i e(1+i)t + c2 i e(1i)t + c3 0 et
0
0
1
|
{z
}
z

}|
{

2k1
2k2
0
k2 et cos t + k1 et sen2t + c3 0 et
0
0
1

onde usamos (4.1) para reescrever como uma funo real os dois primeiros termos (indicados por
chaves), que correspondem ao par de autovalores complexos conjugados.

4.3.3

3o Caso: autovalores repetidos

A soluo do sistema X = AX, sendo A uma matriz m n constante, dada por

X=

k
max

Xk

(kmax = no de autovalores distintos) ,

k=1

onde Xk a parcela da soluo associada ao k-simo autovalor distinto k . A expresso de Xk depende

da multiplicidade de k e dos autovetores associados a esse autovalor; vejamos:
Se a multiplicidade de k for igual a 1 , ento, sendo Vk o autovetor associado, temos que:
Xk = ck Vk ek t .

(4.2)

Se a multiplicidade de k for igual a m > 1 , a expresso de Xk depende do nmero de autovetores

linearmente independentes associados a esse autovalor, havendo duas possibilidades:
Se existirem m autovetores Vk1 , Vk2 , , Vkm :
Xk = (ck1 Vk1 + + ckm Vkm ) ek t .

71

(4.3)

 Se existir apenas um autovetor Vk :

{
( t2
)
Xk = ck1 Vk + ck2 (U1 t + U2 ) + ck3 U1 + U2 t + U3 +
2!
[
]}
m1
m2
t
t
+ ckm U1
+ U2
+ + Um1 t + Um
ek t ,
(m 1)!
(m 2)!

(4.4)

onde (A k I) Uj = Uj1 (j = 2, , m) , com U1 = Vk .

Se o nmero de autovetores associados ao autovalor de multiplicidade m maior que 1 e
menor que m, o problema torna-se complicado e no ser tratado aqui.
Essas frmulas so provadas aps os trs exemplos que seguem:

1 2
2
1 2
Exemplo 5: A = 2
2 2
1


 1
{
2
2 

1 = 5 (mult. 1)
2


1
2  = ( 5)( + 1) = 0
det(A I) =  2

2 = 1 (mult. 2)
 2
2
1 

4 2
2
1 0 1

0
1
=
E
1 = 0 = V1 = 1
A 1 I = 2 4 2
0 1

2 2 4
0 0
0

0
qq
1

1
X1 = c1 V1 e1 t = c1 1 e5t a parcela da soluo associada ao autovalor 1 = 5, conforme (4.2).
1

1 1 1
2 2
2
=
+ = 0
E
0 0 = 0 0 = 0
2 2
qq
0
A2 I = 2

qq
0 = 0
0

0
0 0
2 2
2

1
1
1
1
(
) 2 t
V2 = = 1 + 0 X2 = c21 V21 + c22 V22 e = c21 1 + c22 0 et

0
1
0
1
| {z }
| {z }
V21

V22

a parcela da soluo associada ao autovalor 2 = 1, conforme (4.3). A soluo geral X = X1 + X2 ,

ou,

1
1
1
X = c1 1 e5t + c21 1 + c22 0 et .
1
0
1

5 4 0
0 2
Exemplo 6: A = 1
0
2 5


 5
{
4
0 

1 = 0 (mult. 1)
0
2  = (5 )[ ( 5) ] = 0
det(A I) =  1
2 = 5 (mult. 2)
 0
2
5 

5 4 0
1 0 2

0
4
= 2
= 2
E
0 2
A 1 I = 1
0 2 5 = 0 = 5/(2) V1 = 5

0
2 5
0 0 0

0
qq
2

72

4
X1 = c1 V1 e1 t = c1 5 a parcela da soluo associada ao autovalor 1 = 0, conforme (4.2).
2

0 4 0
1 5 2

0
2
= 2
=1
E
1 0 = 0 = 0
A 2 I = 1 5 2
0
V2 = 0

0
2 0
0
0 0

0
qq
1
{
}
X2 = c21 V2 + c22 (U1 t + U2 ) e2 t a parcela da soluo associada ao autovalor 2 = 5, na qual,
conforme (4.4), U1 = V2 , e U2 uma soluo do sistema algbrico (A 2 I)U2 = U1 (= V2 ), ou, em
componentes:

0 4 0

2
1 5 2 = 0 .
0
2 0

1
Este sistema mais facilmente resolvido a partir da sua forma com uma matriz aumentada escalonada:

1 5 2
0 4 0
2
0
1/2
= 5/2 2
= 1
E
1 5 2
0
2 0 1
= 1/2
0
U2 = 1/2 .

0
2 0 1
0
0 0
0
qq
1
Logo, a soluo geral X = X1 + X2 , ou,

4
2
2
1/2

X = c1 5 + c21 0 + c22 0 t + 1/2 e5t .

1
1
1
2

1 0
0
Exemplo 7: A = 2 2 1
0 1
0

 1
0

2
det(A I) =  2
 0
1

0 0
A 1 I = 2 1
0 1

0
2
E
1
0
1
0

1
1
0

0
1




 = ( 1)3 = 0



1 = 1 (mult. 3)

0
1

0
= 0
= 1
1 = 0 = V1 = 1

qq
1
0

{
}
X1 = c11 V1 + c12 (V1 t + U2 ) + c13 (V1 t2 /2 + U2 t + U3 ) e1 t a parcela da soluo associada ao
autovalor 1 = 1, de acordo com (4.4), sendo U2 e U3 , respectivamente, solues dos sistemas algbricos
resolvidos a seguir:

2 1 1 1
0 0
0 0
0
= 0
=0
E
= + 1 U2 = 1
0 1 1 1
(A 1 I)U2 = V1 2 1 1 1

0 1 1 1
0 0
0 0
qq
0

2 1 1 1
0 0
0 0
1/2
= 1/2
=0
E
=
0 1 1 0
(A1 I)U3 = U2 2 1 1 1
U3 = 0

0 1 1 0
0 0
0 0
qq
0
Logo, a soluo geral

0
0
0
0
0
1/2

2
t
X = X1 = c11 1 + c12 1 t + 1 + c13 1 + 1 t + 0 et .

2
1
1
0
1
0
0

73

Prova das frmulas (4.2), (4.3) e (4.4):

Devemos provar que Xk dado por cada uma dessas frmulas soluo do sistema linear, isto , que
AXk k Xk = 0.
Prova da frmula em (4.2). Se Xk = ck Vk ek t , onde AVk = k Vk , ento
AXk Xk = A(ck Vk ek t ) (k ck Vk ek t ) = (AVk k Vk ) ck ek t = 0 t . CQD.
|
{z
}
0

(
Prova da frmula em (4.3). Se Xk =

)
ckl Vkl ek t , onde AVkl = k Vkl , ento

l=1

AXk Xk

m
(

)
ckl AVkl e

k t

l=1

(
m

)
ckl Vkl e

k t

[
m

l=1

l=1

]
ckl (AVkl k Vkl ) ek t = 0 t . CQD.
{z
}
|
0

Prova da frmula em (4.4). Esta frmula pode ser escrita na forma

Xk =

k t

ckl Xkl , com Xkl = e

j=1

l=1

Mas
AXk Xk =

j=1

Uj

tlj
.
(l j)!

ckl (AXkl Xkl

)=0 .
{z
}
|
0

De fato, o termo entre parnteses se anula:

AXkl Xkl

= e k t

l
l
l1

tlj
tlj
tlj1
AUj k ek t
Uj ek t
Uj
(l j)!
(l j)!
(l j 1)!
j=1
j=1
j=1
|
{z
}
l

j=2

tlj
(lj)!

Uj1

tl1 [
lj [

]
]
t
= 0 .
= e k t
AU1 k U1 +
(A k I)Uj Uj1
{z
}
(l 1)! |
(l j)! |
{z
}
j=2
0

4.4

Sistemas no-homogneos

Nesta seo, aprenderemos a resolver o sistema linear no-homogneo X AX(t) = F (t), sendo A
uma matriz n n constante, pelo mtodo da variao das constantes (ou parmetros).

A soluo geral do sistema homogneo associado XH

AXH (t) = 0 da forma XH (t) = (t)C, onde
(t) (a denominada matriz fundamental) formada por n colunas que so solues X1 (t), , Xn (t)
linearmente independentes do sistema homogneo, e C uma matriz coluna com n constante arbitrrias.
Substituindo a segunda dessas equaes na primeira, obtemos [ (t) A(t)] C = 0, a qual, por ser
vlida com C arbitrrio, conclumos que (t) A(t) = 0, que utilizado no cancelamento de termos
abaixo ao se deduzir uma soluo particular XP (t) do sistema no-homogneo.
Admitindo que XP (t) = (t)U (t), obtemos, substituindo essa expresso no sistema no-homogneo,
a seguinte equao que permite a determinao de U (t) [e, portanto, de XP (t)]:



0 = XP (t) AXP (t) F (t) = 

(t)U
(t) + (t)U (t) 
A(t)U
(t) F (t)

U (t) = 1 (t)F (t) .

A soluo geral do sistema no-homogneo X(t) = XH (t) + XP (t), isto , a soma da soluo
geral do sistema homogneo XH (t) (calculada pelos mtodos j explicados) com a soluo particular

XP (t) = (t)U (t) = (t) 1 (t)F (t)dt .

74

Exemplo 1: Resoluo do sistema X =

|

3
2

{z

1
4

]
3t
X+
(t > 0) :
et
}
| {z }

F (t)

A resoluo do sistema homogneo associado XH

= AXH (t) fornece a soluo geral
[
]
[
]
[ 2t
][
]
1
c1
1
e
e5t
XH (t) = c1
e2t + c2
e5t =
.
1
2
e2t 2e5t
c2
|
{z
}
(t)

Aps o clculo() de 1 (t), temos que

2 2t

1 2t
]
[
2te2t + 31 et
3e
3e
3t

=
U (t) = 1 (t)F (t) =
et
1 5t
1 4t
1 5t
5t
te

e
e
3
| 3
{z 3
}

1 (t)

1 ]

2te2t + et dt + k1
te2t 21 e2t + 31 et

,
U (t) =
=
[
]

1 5t
1 5t
1 4t
1
te

e
5
25
12
te5t e4t dt + k2
3
onde zemos k1 = k2 = 0, pois queremos uma soluo particular. Logo,

6t 27 1 t
[ 2t
]
te2t 12 e2t + 31 et
5t
5 50 + 4 e
e
e

,
XP (t) = (t)U (t) =
=
e2t 2e5t
1 5t
1 4t
21
1 t
1 5t
3t
te

+
e
5
25
12
5
50
2
e a soluo geral , nalmente,
[
X(t) = c1

1
1

e2t + c2

1
2

e5t +

Exemplo 2: Resoluo completa do sistema X =

|

 3
1
det(A I) = 
9
3
[
A 1 I =

3 1
9 3
[

(A 1 I)V = 0

27
50

+ 41 et

3t
5

21
50

1 t
2e

[
escalonamento

3
0

1
0

]
[
]
1
t2
(t > 0) :
X(t) +
3
t4
{z
}
| {z }
A

1
0

F (t)



 = ( 3)( + 3) + 9 = 2 = 0


3
0

3
9

6t
5

1 = 0 (multip. 2)

{
] [ ]
{
[
]
0

3 = 0
= /3 = 3
1
=

V1 =
0

0 = 0
qq
3
| {z }

][

X1 (t) = c11 V1 e0t + c12 (V1 t + U2 )e0t

[
(A 1 I)U2 = V1


]
[
1  1
3 1
E

3  3
0
0
| {z } |{z}
3
9

[
frmula til: Se A =

a
c

b
d

[
]
1/3
3 = 1 = 0
U2 =
qq
0

V1

A1 I

() Uma

1
0

, com det A = ad bc = 0, ento A1 =

75

[
1
det A

d
c

b
a

]
.

[
X1 (t) = XH (t) = c11

1
3

([
+ c12

1
3

[
t+

1/3

])

][
]
1 t+ 1/3
c11
=
3
3t
c12
|
{z
}
(t)

(t) =

U (t) =

3t
3
t 1/3
1

dt 1 (t)F (t) =

1
=
3t (3t + 1)

3t
3
t+ 1/3 1

[
][
]
[
]

3t1 3t4
3t
3
t2
=
dt
dt
t4
t+ 1/3 1
t1 + 31 t2 + t4
]

3 ln t + t3
ln t 13 t1 13 t3
[

XP (t) = (t)U (t) =

[
XP (t) =

1
3

t+ 1/3
3t

][

3 ln t + t3
ln t 13 t1 13 t3

3
83 ln t + t ln t 80
13 t2 19 13 t
9 t
9 ln t + 3t ln t + 3t3 t2 t

A soluo geral X(t) = XH (t) + XP (t), ou seja,

[
X(t) =

3
13 t2 91 13 t
c11 + c12 (t + 13 ) 83 ln t + t ln t 80
9 t
3
3c11 + 3c12 t 9 ln t + 3t ln t + 3t t2 t

76

]
.

4.5

Exerccios

1. Resolva os sistemas de EDOs por eliminao sistemtica ou por determinantes:

dx
2

+ z = et

dx dy
d
x
dy

t
dt

+
=
e
+
=
5x

dt2
dt

dt
dt
(a)
(b)
(c) dx + dy + dz x = 0

dt
dt
dt

dx + dy = x + 4y
d x + dx + x + y = 0

dz

2
x + 2y +
dt
dt
dt
dt
= et
dt
2. Resolva pelo mtodo da transformada de Laplace:

d3 y
dx dy
dx

2x
=
1
4x + 3 = 6 sen t
2

dt
dt
dt
dt

dx dy
dx
d3 y
+
3x 3y = 2
(b)
(a)
+ 2x 2 3 = 0
dt
dt

dt
dt

x(0) = 0
x(0) = 0

y(0) = 0
y(0) = y (0) = y (0) = 0

2
d x dx dy

+
+
=0

dt2
dt
dt

2
d y dy
dx
(c)
+
4
=0
2

dt
dt
dt

x(0) = x (0) = 0

y(0) = 1, y (0) = 5

3. Escrever como um sistema de EDOs na chamada forma normal, isto , na forma dX/dt =
A(t)X(t) + F (t):
(a) y 3y + 4y = sen3t
(c) 2y (4) + y 8y = 10

(b) y 3y + 6y 10y = t2 + 1
(d) t2 y + ty + (t2 4)y = 0

Abaixo, os problemas 4 a 6 consistem em resolver sistemas de EDOs homogneos da forma dX/dt =

A X(t). Os sistemas encontram-se agrupados, num mesmo problema, conforme os autovalores da matriz A, seguindo os trs casos estudados.
4. Matrizes cujos autovalores so todos reais e

[
]
1
1
1
(a) A =
(b) A = 1
4 2
2

distintos:

1 2
2 1
1 1

5. Matrizes que apresentam autovalores imaginrios:

[
(a) A =

2 5
1 2

[
(b) A =

3
4

2
1

1 0
(c) A = 2 1
3 2

0
2
1

6. Matrizes que apresentam autovalores reais repetidos:

[
(a) A =

3 4
1 1

0 1 1
(b) A = 1 0 1
1 1 0

1
1
1
1 1
(c) A = 2
0 1
1

1 1
1
(d) A = 2 1 1
3 2
4

(ao autovalor 1, duplo, associa-se um nico autovetor)

(ao autovalor 1, duplo, associam-se dois autovetores)

(ao autovalor 2, duplo, associa-se um nico autovetor)

(ao autovalor 2, triplo, associa-se um nico autovalor)

77

7. Agora pede-se que sejam revolvidos os seguintes sistemas de EDOs no-homogneos:

[
]
[ ]
1 1 0
e
dX
dX
1
8
12t
=
= 1 1 0 X(t) + e2t
(a)
X(t) +
(b)
1 1
12t
dt
dt
0 0 3
t e3t

Respostas
{
x = 2e3t + 52 e2t 12
2. (a)
y = 83 e3t 52 e2t 16

{
2 3
x = 8 + 3!
t +
(b)
4
2 3
y = 3! t + t4!

{
x1 = x2
3. (a)
x2 = 4x1 + 3x2 + sen3t
[
4. (a) X = c1

]
[ ]
1 3t
1 2t
e
+ c2
e
4
1

t4
4!

x1 = x2
(b) x2 = x3

x3 = 10x1 6x2 + 3x3 + t2 + 1



1
1
1
(b) X = c1 1 e4t + c2 2 et + c3 0 et
1
1
1

5.

6.

]
[
]
5 cos t
5 sen t
+ c2
2 cos t + sen t
cos t + 2 sen t
[
]
[
]
cos 2t
sen 2t
(b) X = c1
et + c2
et
cos 2t + sent
cos 2t + sen 2t

0
0
2
(c) X = c1 3 et + c2 cos 2t et + c3 sen 2t et
cos 2t
sen2t
2
(a) X = c1

[ ]
([ ]
[ ] )
2 t
2
1 t
e + c2
tet +
e
1
1
0



0
1
1
(b) X = c1 1 e2t + c2 0 et + c3 1 et
1
1
1




1
0
0
3
(c) X = c1 4 et + c2 1 e2t + c3 1 te2t + 0 e2t
1
1
1
2






0
0
1
0
1
1
(d) X = c1 1 e2t + c2 1 te2t + 0 e2t + c3 1 t2 e2t + 2 0 te2t + 2 0 e2t
1
1
1
1
1
2
(a) X = c1

[ ]
[ ]
[
]
4 3t
2 3t
12t 4/3
7. (a) X = c1
e + c2
e
+
1
1
4/3

14 e2t + 21 te2t
1
1
0
(b) X = c1 1 + c2 1 e2t + c3 0 e3t + et + 41 te2t + 21 te2t
1 2 3t
0
0
1
2t e

78

Referncias Bibliogrcas
[1] Boyce, W. E. e DiPrima, R. C. Equaes Diferenciais Elementares e Problemas de Valores de
Contorno, Sexta Edio, LTC Editora, Rio de Janeiro, 1998.
[2] Guidorizzi, H. L. Um Curso de Clculo, Segunda Edio, LTC Editora, Rio de Janeiro, 1997.
[3] Hildebrant, F. B. Advanced Calculus for Applications, Prentice-Hall, Englewood Glis, New Jersey,
1976.
[4] Kaplan, W. Clculo Avanado, Edgard Blcher Ltda, 1972.
[5] Zill, D. G. e Cullen, M. R. Equaes Diferenciais, Pearson Makron Books, So Paulo, 2001.

79