Академический Документы
Профессиональный Документы
Культура Документы
22 de fevereiro de 2014
Sumrio
1 Sequncias e Sries 3
1.1 Sequncias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.2 Sries de nmeros reais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.3 Critrios de convergncia e divergncia . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.4 Sries de potncias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.5 Sries de Taylor e MacLaurin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.6 Apndice: prova dos teoremas. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.7 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
1.8 Solues dos Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
3 Transformada de Laplace 48
3.1 Denio . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
3.2 L linear: . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
3.3 Condies sucientes para a existncia de L{f (t)}: . . . . . . . . . . . . . . . . . . . . . 48
3.4 Clculo de L de eat , tn , sen at, cos at, senhat, cosh at . . . . . . . . . . . . . . . . . . 49
3.5 Propriedades especiais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
3.6 Transformada de Laplace inversa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
3.7 Funo degrau unitrio . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
3.8 Tabela de transformadas de Laplace de funes especcas . . . . . . . . . . . . . . . . . 52
3.9 Clculo de L de f (at), eat f (t), tn f (t), U(ta)f (ta), f (t)/t . . . . . . . . . . . . . . . . 52
3.10 Transformada de Laplace de derivadas . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
3.11 Transformada de Laplace de integrais . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
3.12 Transformada de Laplace de funo peridica . . . . . . . . . . . . . . . . . . . . . . . . 55
3.13 Clculo de L1 {f(s)g(s)} por convoluo . . . . . . . . . . . . . . . . . . . . . . . . . . 56
3.14 Tabela de transformadas de Laplace com funes genricas . . . . . . . . . . . . . . . . 56
3.15 Uma aplicao: clculo de integrais denidas . . . . . . . . . . . . . . . . . . . . . . . . 57
3.16 Outra aplicao: resoluo de EDOs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
3.17 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
3.18 Solues dos Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
1
4.3.1 1o Caso: autovalores reais e distintos . . . . . . . . . . . . . . . . . . . . . . . . . 70
4.3.2 2o Caso: autovalores imaginrios . . . . . . . . . . . . . . . . . . . . . . . . . . . 71
4.3.3 3o Caso: autovalores repetidos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72
4.4 Sistemas no-homogneos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
4.5 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 78
Referncias Bibliogrcas 80
Este texto didtico, que se baseia consideravelmente nas referncias bibliogrcas, con-
tm exatamente o que se apresenta nas aulas, evitando que o aluno as copie, assim ob-
tendo 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.
4 1 D
!"D # 4 ! !$H # J %
c c t
1 B
!"B # 0 !$E % #0
c t
2
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 , an+1 , .
Exemplos:
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
n
for nito, isto , se para qualquer > 0 possvel achar N N tal que
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.
3
Teorema 1
[ou seja,
sm = am (1o termo)
sm+1 = am + am+1
..
.
sn = am + am+1 + + an (termo geral)]
n
lim sn = lim ak = ak = am + am+1 + ,
n n
k=m 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
1
qk = 1 + q + q2 + = se |q| < 1 ()
.
1q
k=0
De fato:
= 1 + q + q2 + + qn
n
sn = qk
()
k=0
n == sn q sn = (1 q) sn = 1 q n+1
k+1
= q + q + + q
2 n+1
q sn = q
k=0
n
*0 [ ]
1 q n+1 1 q
n+1
1
sn = qk = q k = lim = lim q n+1 = 0 se |q| < 1 .
1q n 1q 1q n
k=0 k=0
4
Vejamos duas aplicaes da frmula acima:
( )k
1 1 1 1 1 1 2
= 1 + + = ( 1) = = ,
k=0
2 2 4 8 1 2
3/2 3
( )k
1 1 1 1 1 1 1
= 1 + + + + = = = =2 .
k=0
2k 2 4 8
k=0
2 1 21 1/2
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 ak e bk convergem, ento:
k=0 k=0
a) ak = ak converge
k=0 k=0
b) (ak + bk ) = ak + bk converge
k=0 k=0 k=0
Teorema 3
Para que a srie ak convirja, necessrio que o termo geral tenda a zero, isto , lim ak = 0.
k=0 k
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 n k2
i) 2
diverge, pois lim = 1
= 0. Em vista disso e do fato de sn = ser
k=0 k + 3 k k 2 + 3 2
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 os termos dessa srie so os da sequncia
k=0
{
k 2 se k for par
ak = 1 + (1) =
0 se k for mpar ,
cujo limite lim ak no existe. Alm disso, vemos que
k
s1 = 0 , s2 = 0 + 2 , s3 = 0 + 2 + 0 , s4 = 0 + 2 + 0 + 2 = 4 , ,
isto , a sequncia sn das somas parciais crescente e no limitada superiormente; logo, lim sn =
n
n [ ]
lim ak = 1 + (1) = , de acordo com o Teorema 1.
k
n k=0 k=0
( )
iii) A srie 1/k satisfaz a condio necessria de o seu termo geral tender a zero lim 1/k = 0 ;
k=1 k
entretanto, ela diverge para , como veremos adiante.
5
( )
iv) 1/k 3 satisfaz a condio necessria de o seu termo geral tender a zero lim 1/k 3 = 0 e
k=1 k
convergente, como veremos adiante.
Exemplos:
1 1
i) A srie ak , com ak = . A funo f (x) = contnua, positiva, decrescente em
k=2 k ln k x ln x
[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) = ,
2 b 2 x ln x b 2 b
1 1 1
p
= 1 + p + p + ,
n=1
n 2 3 p
6
b b
1 1
para p = 1 : dx = lim dx = lim ln x = lim ln b ln 1 = ,
1 x b 1 x b 1 b
| {z }
mostrando que a srie diverge.
Exemplos:
1 1
i) A srie sen .
k k
k=1
1
iii) A srie converge, pois
n=1
n 2n
1 1
0 n para n 1 ,
n 2n 2
1
e a srie n
(geomtrica) convergente:
n=1 2
( )n
1 1 1
= 1= 1=1
n=1
2n
n=0
2 1 1/2
Dizemos que uma srie ak absolutamente convergente se |ak | for convergente. Uma srie
k=0 k=0
convergente que no absolutamente convergente dita condicionalmente convergente.
7
Teorema 7
convergente a srie que converge absolutamente.
sen k
Exemplo: A srie 2
convergente, pois, pelo critrio da comparao, vemos que ela converge
k=0 k
sen k 1
1
absolutamente: 0 | 2 | 2 , e a srie 2
convergente.
k k k=0 k
Exemplos:
i) A srie ak , com ak = 2k /k! , converge, pois
k=0
ak+1 k+1
2k+1
lim = lim 2 / (k + 1)!
= lim
k!
= lim
2
= 0<1 .
k ak k 2k / k! k 2k (k + 1)! k k + 1
ii) A srie ak , com ak = k k /k! , diverge, pois
k=1
ak+1 k+1
(k + 1)k+1
lim = lim (k + 1) / (k + 1)!
= lim
k!
k ak k 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 kk
k+ 1 k k k k
iii) Clculo de x de modo que a srie an , com an = n xn , seja convergente.
n=1
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
( )
k3 1 1 3( lnkk ) 1 3 k
lim lnkk 1 1
|ak | = lim
k 3/k
lim k
= lim k = lim e = e = e0 = < 1 . ()
k k 3k 3 k 3 k 3 3 3
(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=
a2 a1
= + ++ + 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
R = lim ou R = lim 1 , convergncia
n an+1 n n |a |
n
9
portanto, nn xn s converge em x = 0 .
n=0
xn
ii) da srie :
n=0 n + 2
1
a
xn
n n + 2 =1
R = lim = lim converge x (1, 1) .
n an+1 n 1 n+2
n=0
n+3
1
Analisemos a convergncia nos ponto x = 1. Se x = 1, temos a srie alternada (1)n ,
n + 2
1
n=0
[ 1
]
que, segundo o Teorema 4, convergente. Se x = 1 , temos a srie divergente = .
n=0 n + 2 n=2 n
x
n
Resposta: converge no intervalo [1, 1) .
n=0 n + 2
xn
iii) da srie :
n=0 n!
1
a
xn
n n! (n + 1)!
R = lim = lim = lim = lim (n+1) = converge x R .
n an+1 n 1 n n! n n!
n=0
(n + 1)!
(1)n (x 3)n
iv) da srie :
n=0 2n n
a 2n+1 (n + 1)
xn
n
R = lim = lim =2 converge x (3 2, 3 + 2) = (1, 5) .
n an+1 n 2n n n=0
n+2
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=0 n n=0 n
(1)n (x 3)n
Resposta: converge no intervalo (1, 5] .
n=0 2n n
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):
a) sua soma an (x x0 )n = f (x) uma funo contnua;
n=0
b) ela pode ser diferenciada termo a termo para se obter nan (x x0 )n1 = f (x) ;
n=1
an
c) ela pode ser integrada termo a termo para se obter (x x0 ) n+1
= f (x) dx .
n=0 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 diferen-
civel 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.
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.
1 x2
e) =1 + .
1 + x2 2
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.
1 1
f) = = (x 2 n
) = (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 4n xn+2 x2 4x3 4x4 4x5
g) = = n
(4x/3) = = + + + +
3 4x 3 1 (4x/3) 3 n=0 n=0
3n+1 3 32 33 34
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
1
h) f (x) = arctan x f (x) = = (1)n x2n (srie j obtida acima, vlida para
1 + x2 n=0
(1)n x2n+1
1 < x < 1) f (x) = + c. Como essa srie convergente para x = 1
n=0
2n + 1
(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) .
n=0
2n + 1 3 5 7
1+x 1 x2n+1
i) f (x) = ln f (x) = = (x 2 n
) se 1 < x < 1 f (x) = + c.
1x 1x 2
n=0 n=0
2n + 1
Como
essa srie divergente para x = 1, e c = 0 [ pois f (0) = 0 ], obtemos nalmente f (x) =
1 + x x2n+1 x3 x5 x7
ln = =x+ + + + (1 < x < 1) .
1 x n=0 2n + 1 3 5 7
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 ):
[
(x2 )n ] 1 [ x2n+1 ]1
1 1
2 1 1 2n
ex dx = dx = x dx =
0 0 n=0
n! n=0
n! 0 n=0
n! 2n + 1 0
1/ (2n + 1) 1/3 1/5 1/7 1/9
= =1+ + + + + .
n=0
n! 1! 2! 3! 4!
Teorema 3
n
Se ak converge ento, denotando sn ak e usando o fato que lim sn = nmero nito s,
k=0 k=0 n
temos necessariamente o seguinte resultado:
( n ) ( s )
n1 s
lim an = lim ak ak = lim sn sn1 = 0 . CQD.
n n k k n
Teorema 4
s0 = a0
s1 = s0 a1 < s0
>0
z }| {
s2 = s1 + a2 = s0 (a1 a2 ) s1 < s2 < s0
| {z } | {z }
>s1 <s0
>0
z }| {
s3 = s2 a3 = s1 + (a2 a3 ) s1 < s3 < s2
| {z } | {z }
<s2 >s1
>0
z }| {
s4 = s3 + a4 = s2 (a3 a4 ) s3 < s4 < s2
| {z } | {z }
>s3 <s2
..
.
Raciocinando desse modo, podemos desenhar o seguinte:
Assim, conclumos que
s1 < s3 < < s2n+1 < < s2n < < s4 < s2 < s0 ;
12
limite
sequncia crescente das duas sequncia decrescente
sequncias
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 .
n n
Teorema 5
nito
z }| {
l
Como ak = ak + ak , a srie ak ser convergente ou divergente conforme a srie
k=0 k=0 k=l+1 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 re-
presentada 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 ,
k=l+1 l
ou seja, a srie ak convergente.
k=l+1
b) No caso f (x) dx = , considere, para a integral l f (x) dx (que divergente tambm),
de l
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 l
ou seja, a srie ak = ak al = (divergente).
k=l+1 k=l
| {z }
O teorema est provado.
13
y y
x x
Teorema 6
n
Prova do item (a): A sequncia sn = ak crescente (pois ak 0) e limitada superiormente
k=l
n
n
(pois sn = ak bk < bk = valor nito), sendo, portanto, convergente, de acordo com o
k=l k=l k=0
Teorema 1. Isto , lim sn = ak = valor nito, o que acarreta na convergncia da srie ak .
n k=l k=0
Prova do item (b): Se a srie bk fosse convergente, ento, pelo item (a), a srie ak tambm
k=0 k=0
seria convergente, o que contraria a hiptese. Logo, bk no pode ser convergente.
k=0
Teorema 7
A srie ak convergente, pois
k=0
[
]
( ) (1) ( )
ak = |ak | + ak |ak | = |ak | + ak |ak | .
k=0 k=0 k=0 k=0
| {z } | {z }
convergente(2 ) convergente
p/ hiptese
(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 2|ak | convergente, como consequncia
k=0
da hiptese combinada com o Teorema 2(a).
14
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,
N 1
|ak | = |ak | + |ak | = + |aN | + |aN +1 | + |aN +2 | + |aN +3 | +
k=0 k=0 k=N
| {z }
valor nito
( )
|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
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 pala-
vras, 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 , 1/k p ,
k=1
temos que ( )p
1/(k + 1)p k
lim |ak+1 /ak | = lim = lim = 1p = 1 .
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
|ak | < q , ou |ak | < q . Logo, por comparao com a srie geomtrica
k
q k (convergente, pois
k=0
q < 1), vemos que a srie |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
|ak | = lim = ( ) = 0 =1 ,
k k
L = lim = lim p/k = lim
n n kp n k n p( lnkk )
e p lim ln k e
e k k
onde foi usado o resultado obtido no rodap da p. 9.
15
Teorema 10
|x x0 |
L= > 1 , i.e., |x x0 | > R
R
ou
|x x0 |
L= = , i.e., x = x0 e R = 0 ;
R
convergir absolutamente se
|x x0 |
L= < 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):
|x x0 | |x x0 |
L = lim n
|an (x x0 )n | = |x x0 | lim n |an | = = , (II)
n n lim 1 R
n n
|an |
onde R lim 1
. Como a equao (II) semelhante equao (I), seguem as mesmas concluses
n
n |an |
acima, mas agora com uma nova frmula de clculo do raio de convergncia, que acabamos de deduzir.
CQD.
Teorema 12
f (x) = ak (x x0 )k = a0 + ak (x x0 )k f (x0 ) = a0 = 0! a0
k=0 k=1
f (x) = k ak (x x0 )k1 = a1 + k ak (x x0 )k1 f (x0 ) = a1 = 1! a1
k=1 k=2
f (x) = k (k 1) ak (x x0 )k2 = a2 + k (k 1) ak (x x0 )k2
k=2 k=3
f (x0 ) = 2 1 a3 = 2! a2
f (x) = 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 .
16
1.7 Exerccios
1. Calcule lim an , caso exista, sendo:
n
( )n
n3 + 3n + 1 2
a) an = b) an = n + 1 n c) an = 1+ d) an = n
n
4n3 + 2 n
8. Estabelea que
1
a) p
convergente se p > 1 e divergente se p 1
k=3 k(ln k)
1
b) p
convergente se p > 1 e divergente se p 1
k=2 k ln k
17
k!ak
12. Mostre que a srie k
convergente para 0 a < e e divergente para a e.
k=1 k
(1)k ln k 1 + ln2 k cos k
ln k
e) f) 2 g) h)
k=1 2k + 3 k=2 k ln k k=1 k + 2 k=1 k + ln k
( )k
k+1 5 + cos k 3
i) j)
k=1 2k k=0 k+1
17. (Sries telescpicas) Seja ak uma sequncia convergente e denote lim ak a. Mostre que
k
a) (ak ak+1 ) = aj a b) (ak1 ak+1 ) = aj + aj1 2a
k=j k=j
1 1 3 2k + 1 1
c) =1 d) = e) =
k(k + 1) k2 1 4 k 2 (k + 1)2 9
k=1 k=2 k=3
(
1 1
)
1 [ ( k + ) ( k )] 3 1
f) = g) sen sen =
4k + 1 4k + 5 25 3k + 6 3k + 3 2
k=6 k=1
( )
k+3 k+4 k+4 ( )
k ln ln = 4 ln 7 6 k k+1 = 21
k k+1
h) k ln i)
k3 k2 k2
k=4 k=2
4k 5 1 1 1 1
j) = k) = l) =
(k 2 1)2 4 k(k + 1)(k + 2) 4 (5k 3)(5k + 2) 15
k=2 k=1 k=0
18
18. Considere a srie bk /k p . Mostre que, se lim bk > 0, ento a srie convergente para p > 1
k=0 k
e divergente para p 1.
23. Desenvolva as seguintes funes numa srie de MacLaurin, fornecendo o intervalo de convergncia:
x x x
cos t 1 sen t2
a) b) c) ln(1 + 125t3 ) dt
0 t 0 t2 0
24. No intervalo (1, 1), desenvolva as seguintes funes numa srie de MacLaurin:
x x2 x+1
a) b) c)
(1 x)2 (1 x)3 3x + 2
19
1.8 Solues dos Exerccios
Prob. 1
n3 + 3n + 1 1 + n32 + n13
a) lim an = lim = lim = 14
n n 3
4n + 2 n 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
)
1/n ln n lim lnnn (l H) lim 1
d) lim an = lim n = lim e n =e n = e n = e0 = 1
n n n
Prob. 2
Neste problema, basta mostrar que lim ak no exite ou, existindo, que lim ak = 0 .
k k
k2
a) lim ak = lim sen no existe (ak oscila nos valores 0 e 1)
k k 2
2k (l H) 2k ln 2 (l H) 2k ln2 2 (l H) 2k ln3 2
b) lim ak = lim = lim = lim = lim = (no existe)
k k k 3 k 3k 2 k 6k k 6
k+5 3
k+5 ln k+2 (l H) (k+2)(k+5) 3k 2
c) lim ak = lim k ln = lim = lim = lim = 3 = 0
k k k+2 k k 1 k k 2 k k 2 + 7k + 10
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) 2
dx = arctan x = arctan arctan 1 = =
1 x +1 1 2 4 4
1 1 1
b) dx = ln x = + ln 2 = 0 + ln 2 = ln 2
2
2
x ln x 2 ln
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.
x 1 1
a) dx = ln(x 2
+ 1) = (ln ln 2) =
1 x 2+1 2 1 2 | {z}
1
b) dx = 2 ln x = 2 (| ln ln 2) =
2 x ln x 2 {z }
1
c) dx = ln | ln x| = ln {z } ln ln 2 =
| ln
2 x ln x 2
1
d)
3 (x ln x) ln ln x
dx = ln ln ln x = ln
3 | ln{zln } ln ln ln 3 = (note que ln ln x > 0 se x 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 k1+1 1
a) 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.
n (1 + n )3 n (1 1 + n )
3 n
20
1 1
c) 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.
k3 k k3 k k
ln k k 1
e) 2 2 = 1,5 : t.g. de uma sr. conv.
k k k
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
a) 2 = : t.g. de uma sr. div.
k2 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 2k + 1 1 2
c) 2 2 = : t.g. de uma sr. div.
k 3k + 4 k 3k + 3k + 4k 2 5k
1 1
d) : t.g. de uma sr. div.
ln k k
1 1 1
e) 2
= : t.g. de uma sr. div.
(ln k) ( k) 2 k
1 1 1
f) = : t.g. de uma sr. div.
k ln k k k k
1 1 1
g) Para k sucientemente grande [i.e., k 3 () ]: : t.g. de uma sr. div.
ln k k
ln k
()
De fato: 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 .
Prob. 7
k+1 k+k 2
a) Conv., pois 3 = 2 o t.g. de uma sr. conv.
2k 3 1 2k k 3 k
2k 6 4k 5 + 3k 6 2k 6 4k 5 + 4k 5 + 3k 2 6 + 6 5
b) Conv., pois = 3 o t.g. de uma sr. conv.
3k 9 + 2k 2 2k + 1 3k 9 + 2k 2 2k 2 2k 9 + 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
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)! k! k! 1
a) L = lim = lim = lim = lim =0<1
k k
(1) /k! k (k + 1)! k k! (k + 1) k k+1
0 0
3k+1 + k + 1 2k + 1 k + 1 1
3k+1
+k+1 2 +1 k 3+ k 1 + k
k 3k
k2
k 3 2 = 3 > 1
b) L = lim
2k+1 + 1
= lim
3 + k k 2k+1 + 1
= lim 0 0 2
k 3 +k k
1
k
2k 3k
2 + k 1 + k
2 3
( )k
(k + 1)! 2 k+1
k k
k (k + 2
1)! 1 1
c) L = lim = lim = 2 lim =2 <1
k (k + 1) k+1 k! 2 k k k + 1 k!
k+1 k (1 + 1/k) k e
(4 )k+1 k3 + 4 k3 + 4
d) L = lim = (4 ) lim = (4 ) 1 < 1
k (k + 1)3 + 4 (4 )k k (k + 1)3 + 4
21
Prob. 10
Aplicamos o critrio de convergncia para uma srie alternada k=0 (1)k ak [ak > 0], que consiste
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.
ln k 1/k lH
a) lim ak = lim =0X
= lim
k k k k 1
1 ( 1)
b) lim ak = lim sen = sen lim = sen 0 = 0 X
k k k k k
k3 1
c) lim ak = lim = lim
3
: 0= 0 X
k 4
k k + 3 k
k +
(3/k )
2k k 1 k
d) lim = lim (2/e)k =0X
k (k + 1) ek+1 e k | {z } k + 1
0
| {z }
1
Prob. 11
Seja L lim k
|ak | , onde ak o termo geral da srie dada. Abaixo, os resultados L < 1 e L > 1
k
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 k k
( )k2 ( k )k
k k 1 1
b) L = lim = lim = lim k
= <1
k k+1 k k + 1 k (1 + 1/k) e
Prob. 13
(1)k
a) Vejamos a srie = 1
k2 +2k
; vemos, por comparao, que essa srie divergente,
k=1 k(k+2) k=1
k
pois 1 1 = 1
, que o t.g. de uma sr. div. Assim, (1)
no converge
k2 +2k k2 +2k2 k 3 k(k+2)
[
k=1
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
k 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=1 k=1 k
2
(k+1) /4 k+1
1
( k+1
) 2 1
k2 /4k
= 4 lim k = 4 < 1 . Ou seja, a srie dada absolutamente convergente.
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
(x 3)n+1 /(n + 1) z }| {
n
a) lim = |x3| lim = |x3|1 < 1 1 < x3 < 1 x > 2 e x < 4
n (x 3) /n
n n n+1
(x 3) n (1) n
= , que uma srie alternada convergente.
n=1 n x=2 n=1 n
22
(x 3)n 1
= , que divergente. Resposta: x [2, 4)
n=1 n x=4 n=1 n
1 1
(n + 1)xn+1 z }| { z }| {
n
nx n+1 n3 + 1
b) lim 3 = |x| lim = |x| < 1
n (n + 1)3 + 1 n +1 n n (n + 1)3 + 1
nx
n
n
3 + 1 x=1
= (1)n 3 , que uma srie alternada convergente.
n n +1
n=1 n=1 | {z }
nxn
n [ 0 n ]
3 = 3
3
convergente. Resposta: x [1, 1]
n=1 n + 1 x=1 n=1 n + 1 n=1 n
1 = 1
n+1 0
[2(n + 1) + 1]xn+1 z }| { z }| {
(2n + 1)xn 2n + 3 n!
c) lim = |x| lim = 0 x. Resposta: x R
n (n + 1)! n! n 2n + 1 (n + 1)!
xn 1 ( x )n x
f) = . Essa srie geomtrica convergente se < 1, ou
n=2 (1 x)n+1 1 x n=2 1 x 1 x
|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
Alm disso, 1x
x=0
x
= 0 < 1 , e 1x x=1
no existe.
A unio dos valores de x que satisfazem a inequao fornece a resposta: x < 1/2 .
Prob. 16
1
Neste problema fazemos uso da frmula da soma da srie geomtrica qk = se |q| < 1.
k=0 1q
( 1 )k
( 1 )k ( 1 )0 ( 1 )1 1 1 3 4 1
a) = = 1 = =
k=2 3 k=2 3 3 3 1 1/3 3 2 3 6
(
1 )k e
b) ek = e1 1
= =
k=0 k=0 1e e1
1
( ) k 1 2
c) (1)k 2k = = =
k=0 k=0 2 1 (1/2) 3
k/2
(
)
1/2 k 1 1 2 2+1 2+ 2
d) 2 = 2 = = = = =2+ 2
k=0 k=0 121/2
1 1/ 2 21 2+1 2 1
23
22k1 1 1[ 1 ] 1[ 7 ] 1 [ 4 ] 2
e) (1)k = (22
/7) k
= 1 = 1 = =
k=1 7k 2 k=1 2 1 (2 /7)
2 2 7+4 2 11 11
Prob. 17
( n n ) (
a) (ak ak+1 ) = lim ak ak+1 = lim aj + +
aj+1 +
aj+2 + +
aj+3 an
n n
k=j k=j
)
k=j
aj+1
aj+2
aj+3 n an+1
a = aj lim an+1 = aj a
n
| {z }
( n n ) a (
b) (ak1 ak+1 ) = lim ak1 ak+1 = lim aj1 + aj + +
aj+1 + +
aj+2
an1
n n
k=j k=j
) k=j
aj+1
aj+2 an an+1
an1 = aj1 + aj lim an lim an+1 = aj + aj1 2a
n n
| {z } | {z }
a a
1 ( 1 1 ) ( )
c) = = (ak ak+1 ) = a1 lim ak = 1 0 = 1
k=1 k(k + 1) k
k=1 |{z} k+1
| {z } k=1 k
ak ak+1
( ) (
1 1 1/2 1/2 1 1 1 )
d) = = + =
k=2 k 1 k=2 (k + 1)(k 1) k+1 k1 2 k=2 k 1 k + 1
2
k=2 | {z } | {z }
ak1 ak+1
( )
= (1/2) (ak1 ak+1 ) = (1/2) a1 + a2 2 lim ak = (1/2) (1 + 1/2 0) = 3/4
k=2 k
2k + 1 [ 1 1 ] 1
e) 2 2
= 2
2
= (ak ak+1 ) = a3 lim ak =
k=3 k (k + 1) k
k=3 |{z} (k + 1) | {z } 9
k
| {z } k=3
ak ak+1 0
(
1 1 )
1
f) = (ak ak+1 ) = a6 lim ak =
4k + 1 4k + 5 k
| {z } 25
k=6 | {z } | {z } k=6
ak ak+1 0
[ ( k + ) ( k )]
31
g) sen sen = (ak+1 ak ) = lim ak a1 = sen sen =
3k + 6 3k + 3 k 3 6 2
k=1 | {z } | {z } k=1
ak+1 ak
ak ak+1
( ) [ z }| { z }| {]
k+3 k+4 k+4
k+3 k+4
h) k ln k ln ln = k ln (k + 1) ln = (ak ak+1 ) =
k=4 k3 k2 k2 k=4 k3 k2 k=4
k+3 6
ln 2
a4 lim ak = 4 ln 7 lim k 3 lH
= 4 ln 7 lim k 3 = 4 ln 7 lim 6k
2
= 4 ln 7 6
k k k 1 k k 2 k k 2 3
Prob. 20
a
z }| {
n
a (1)n /n
n
a) [ (1)n /n ] xn R = lim = lim n+1 /(n + 1)
= 1 x0 R = 1 ou 1
n a n (1)
n=1
n+1
[ (1)n /n ] xn = [1/n] divergente
n=1 x=1 n=1
[ (1)n /n ] xn = [(1)n /n] uma sr. altern. convergente Resposta: (1, 1]
n=1 x=1 n=1
a
n+3 n n + 3 ( n + 6 )2
b) 2
(x 7) R = lim
n
= lim = 1 x0 R = 6 ou 8
n=1 (n + 5) n an+1 n n+4 n+5
| {z }
| {z } | {z }
an 1 1
24
[ ]
n+3 n+3
2
(x 7)n
= (1) n
conv., segundo o critrio p/ sries alternadas
n=1 (n + 5) n=1 (n + 2)2
x=6
| {z }
0
[ ] [ ]
n+3 n + 3 n + 3n 2
2
(x 7)n
= 2
= conv. Resposta: [6, 8]
n=1 (n + 5) x=8 n=1 (n + 5) n=1 n2 n=1 n
1,5
(2)n a (2)n (n + 2)2 + 2 1
n 1
c) 2
xn
R = lim = lim = x0 R =
n=1 (n + 1) + 2 n an+1 n (n + 1)2 + 2 (2)n+1 2 2
| {z }
[ an ] [ ]
(2x)n 1 1
2
= 2
2
convergente
n=1 (n + 1) + 2 x=1/2 n=1 (n + 1) + 2 n=1 n
[ ] [ 1 1]
(2x)n
1
2
= (1)n 2
uma sr. alt. conv. Resposta: ,
n=1 (n + 1) + 2 x=1/2 n=1 (n + 1) + 2 2 2
| {z }
0
5n a 5n (n + 1)!
n n+1
d) (x 1)n R = lim = lim n+1
= lim = Resposta: x R
n!
n=1 |{z} n an+1 n n! 5 n 5
an
nn a nn 2n+1 2 ( n )n
n
e) n
(x 2)n R = lim = lim n n+1
= lim
2
n=1 |{z} n an+1 n 2 (n + 1) n n + 1 n + 1
an
2 1
= lim =0 Resposta: x = 2
n n + 1 (1 + 1/n)n
| {z } | {z }
0 1/e
Prob. 21
(1)n1 22n (1)n1 (22 )n (1)n1 xn
a) = = 2 = ln(1 + x) = ln(5/4) .
n=1 n n=1 n n=1 n x=2 x=1/4
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
b) 2n+1 (2n + 1)!
= = sen x x = 1 /2
n=1 2 n=1 (2n + 1)! x=/2 x=/2
(1)n x2n+1
(1)n
c) = = arctan x =
2n + 1 2n + 1 4
n=0 n=0 x=1 x=1
Prob. 22
f (0) 2 f (15) (0) 15 (x3 )3 (x3 )5
f (x) = f (0) + f (0) x + x ++ x + = senx3 = x3 +
2! 15! 3! 5!
f (15) (0) 1 15!
= f (15) (0) =
15! 5! 5!
Prob. 23
x x x
cos t 1 1 (1)n t2n (1)n (1)n x2n
a) dt = dt = t2n1 dt = [x R]
0 t 0 t n=1 (2n)! n=1 (2n)! 0 n=1 (2n)! 2n
x
sent2 x
1 (1)n (t2 )2n+1 (1)n x
(1)n x2n
b) dt = dt = dt t4n = [x R]
0 t2 0 t2 n=1 (2n + 1)! n=1 (2n + 1)! 0 n=1 (2n)! 2n
x
x
(1)n1 [(5t)3 ]n x
(1)n1 53n (1)n1 53n x3n+1
c) ln[1+(5t)3 ] dt = = dt t3n dt = .
0 0 n=1 n n=1 n 0 n=1 n(3n + 1)
Nesse caso, a mxima variao de t dada por (5t)3 (1, 1], ou t (1/5, 1/5 ]; esse o intervalo
25
de integrao mximo possvel. Vemos ento que x pode variar no intervalo (1/5, 1/5] .
Prob. 24
x d ( 1 ) d
n
n1
a) = x = x x = x nx = nxn
(1 x)2 dx 1 x dx n=0 n=1 n=1
x2 x2 d 2 x2 d d ( 1 ) x2 d2 x2
b) = (1 x) = = xn
= n(n 1)xn2
(1 x) 3 2 dx 2 dx dx 1 x 2
2 dx n=0 2 n=2
n(n 1)
= xn
n=2 2
x + 1 ( 3x )n (3)n xn+1 { (3)n xn }
x+1 x+1 1
c) = = = +
3x + 2 2 1 (3x/2) 2 n=0 2 n=0
2n+1 n=0
2n+1
[ ]
(3)n1 xn { (3)n xn 1} 1
(1)n 3n1 (1)n 3n n
= + + = + + x
n=1
2n n=1
2n+1 2 2 n=1 2n 2n+1
(1)n 3n1 (1)n 3n (1)n 3n1
1
= an xn , onde a0 = e an = n
+ n+1
=
n=0 2 n1 2 2 2n+1
Prob. 25
d d ( 1 ) 1 x x(1) 1
a) f (x) = (n + 1)xn = xn+1 = x = =
n=0 dx n=0 dx 1x (1 x)2 (1 x)2
d d
b) g(x) = (n 1)xn = x2 (n 1)xn2 = x2 xn1 = x2 xn
n=2 n=2 dx n=2 dx n=1
d ( 1 ) 1 x2
= x2 1 = x2 =
dx 1 x (1 x)2 (1 x)2
x2 =y
d d( 1 )
c) h(x) = nx2n+1 = x3 n(x2 )n1 = x3 ny n1 = x3 y n = x3 1
n=1 n=1 n=1 dy n=1 dy 1 y
1 x3
= x3 =
(1 y)2 (1 x2 )2
26
Captulo 2
y 2x y(x) = 0 (2.1)
x2 (x2 )n
y(x) = c1 e = c1 x R . (2.2)
n=0
n!
Isso sugere que tambm possamos resolver a EDO em (2.1) tentando uma srie de potncias
y(x) = an xn , (2.3)
n=0
donde
y (x) = nan xn1 . (2.4)
n=1
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
2
an = 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: a2 = a0
2 1
n=4: a4 = a2 = a0
4 2
2 1 1
n=6: a6 = a4 = a0
6 3 2
2 1 1 1
n=8: a8 = a6 = a0
8 4 3 2
..
.
1
a2n = a0 (n 0) .
n!
Agora, com n igual a mpares, temos
2
n=3: a3 = a1 = 0
3
2
n=5: a5 = a3 = 0
5
..
.
a2n+1 = 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):
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
y(x) = an x n
n=1
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 recor-
rncia:
0 = 4 n(n 1)an xn2 + an xn = 4n(n 1)an xn2 + an2 xn2
n=2 n=0 n=2 n=2
an2
= [4n(n 1)an + an2 ] xn = 0 an = (n 2)
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
a2 =
4 2 (1)
a1
a3 =
4 3 (2)
a2 a0 a0
a4 = = =
4 4 (3) 42 4 3 2 4! 24
a3 a1 2a1
a5 = = 2 =
4 5 (4) 4 5432 5! 25
a4 a0 a0
a6 = = 3 =
4 6 (5) 4 65432 6! 26
a5 a1 2a1
a7 = = 3 =
4 7 (6) 4 765432 7! 27
..
.
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.
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).
1 1( x3 x5 x7 ) x2 x4 x6
sen x = x + + = 1 + +
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 analiti-
cidade destas naquele ponto est vericada.
x 1
iv) (x2 + 1)y + xy y(x) = 0 y +
y 2 y(x) = 0 .
x2 + 1 x +1
Os pontos singulares dessa EDO so as razes de x + 1 = 0, a saber, x = i, nos quais x/(x2 + 1)
2
e 1/(x2 + 1) no admitem extenso contnua, pois apresentam limites innitos nesses pontos. Esse
exemplo ilustra que pontos singulares no so necessariamente reais.
Percebe-se que a caracterizao de pontos ordinrios e singulares com base no conceito de analiti-
cidade pode complicar, s vezes, a determinao deles. Ora, o conceito de funo analtica porme-
norizadamente 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:
ii) (x 1)2 y + (x2 1)y + (x 1)2 y(x) = 0 (x 1)y + (x + 1)y + (x 1)y(x) = 0 : ponto
singular em x = 1.
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
forma an (x 4)n , isto , na forma de uma srie de potncias em torno y
n
do ponto ordinrio x = 4, convergente para (4 5, 4 + 5) = (1, 9), intervalo de
pois, nesse caso, a distncia R do ponto x = 4 (do eixo das abscissas, convergncia
que tambm o ponto z1 = 4 do plano complexo) ao ponto singular
1 9 x
2 = 3i do plano complexo, R =
mais prximo, que so os pontos z 4
|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.
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
an x = n(n 1)an xn2
2an xn+1
n=2 n=0 n=2 n=0
= n(n 1)an xn2 2an3 xn2 = 2a2 + [n(n 1)an 2an3 ] xn2
|{z} | {z }
n=2 n=3 0 n=3
0
2an3
a2 = 0 e an =
n3 n(n 1)
Como a2 = 0, temos que a5 = a8 = = a3k+2 = 0.
k0
O coeciente a0 permanece arbitrrio, dele dependendo os coecientes a3k :
k1
2a0 a0
a3 = =
(3)(2) 3
2a3 1 a0 a0
a6 = = =
(6)(5) 15 3 45
2a6 1 a0 a0
a9 = = =
(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
2a1 a1
a4 = =
(4)(3) 6
2a4 1 a6 a1
a7 = = =
(7)(6) 21 6 126
2a7 1 a1 a1
a10 = = =
(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}
0 a0 a1 0 a0 a1 0 a0 a1
3 6 45 126 1620 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.
(n 3) an2
2a2 a0 = 0 , a3 = 0 e an =
n n4
O coeciente a0 permanece arbitrrio, dele dependendo os coecientes a2k :
k1
a0
a2 =
2
a2 a0 /2 a0
a4 = = =
4 4 8
3a4 a0 /8 a0
a6 = = =
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 a0 a0
2
0 8
0
16
0
32
( 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) an x = n
n(n 1)an x n2
an2 x n2
an3 xn2
n=2 n=0 n=2 n=2 n=3
[ ]
= 2a2 a0 + n(n 1)an an2 an3 xn2 ,
n=3
donde a2 = a0 /2 e
an3 + an2
an =
n(n 1)
n 3
y(x) = a0 + a1 x + a2 x2 + a3 x3 + a4 x4 + a5 x5 +
|{z} |{z} |{z} |{z}
a0 a0 a1 a0 a a0 a
2 6 + 6 24 + 121 30
1
+ 120
( x2 x3 x4 x5 ) ( x3 x4 x5 )
= a0 1 + + + + + + a1 x + + + + .
2 6 24 30 6 12 120
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:
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
ponto singular regular em x = 0, em torno do qual, se intentssemos uma srie de potncias
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 n=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 an xn = an xn+r = a0 xr + a1 xr+1 + a2 xr+2 + , com a0 = 0 . (2.8)
n=0 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 .
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:
Exemplo 1: 3xy + y y = 0
y= an xn+r y = (n + r)an xn+r1 y = (n + r 1)(n + r)an xn+r2
n=0 n=0 n=0
3x (n + r 1)(n + r)an xn+r2 + (n + r)an xn+r1 an xn+r = 0
n=0 n=0 n=0
3(n + r 1)(n + r)an xn+r1 + (n + r)an xn+r1 an1 xn+r1 = 0
n=0 n=0 n=1
{
}
[ ]
(3r 2)ra0 xr1 + 3(n + r 1)(n + r) + (n + r) an an1 xn+r1 = 0
n=1
| {z }
(3n+3r2)(n+r)
[ ]
r(3r 2) a0 xr1 + (3n + 3r 2)(n + r)an an1 xn+r1 = 0
| {z } n=1
| {z }
0 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)
A essas duas relaes de recorrncia correspondem duas sries distintas, nas quais a0 permanece arbi-
trrio:
A srie correspondente a r = 0:
a0
a1 = = a0
(1)(1)
a1 a0
a2 = =
(2)(4) 8
a2 a0 /8 a0
a3 = = =
(3)(7) 21 168
a3 a0 /168 a0
a4 = = =
(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 a0 a0 a0
8 168 6720
Exemplo 2: xy + y 4y = 0
(n + r 1)(n + r)an xn+r1 + (n + r)an xn+r1 4 an xn+r = 0
n=0 n=0 n=0
(n + r 1)(n + r)an xn+r1 + (n + r)an xn+r1 4 an1 xn+r1 = 0
n=0 n=0 n=1
{
}
[ ]
[(r 1)r + r]a0 xr1 + (n + r 1)(n + r) + (n + r) an 4an1 xn+r1 = 0
n=1
| {z }
(n+r)2
[ ]
r2 a0 xr1 +
|{z} (n + r)2 an 4an1 xn+r1 = 0 .
n=1
| {z }
0
0
36
Logo, temos a nica soluo
4n n ( )
n+r 16
y(x) = an x = a0 x = a0 1 + 4x + 4x2 + x3 + . (2.10)
(n!) 2 9
n=0 r= 0n=0
Disso conclumos que convm tentar obter primeiramente a soluo correspondente menor raiz
indicial, pois, ocorrendo 2(b), a resoluo estar concluda.
(n + r 1)(n + r)an xn+r1 + 3(n + r)an xn+r1 an1 xn+r1 = 0
n=0 n=0 n=1
{
}
[ ]
[(r 1)r + 3r] a0 xr1 + (n + r 1)(n + r) + 3(n + r) an an1 xn+r1 = 0
| {z } n=1
| {z }
r(r+2) (n+r+2)(n+r)
[ ]
r(r + 2) a0 xr1 + (n + r + 2)(n + r)an an1 xn+r1 = 0
| {z } n=1
| {z }
0 0
fornece
com n = 1 : 1(1)a1 = a0 a1 = a0
com n = 2 : 2(0)a2 = 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:
37
fornece
a0 a0
a1 = =
(3)(1) 3
a1 a0 /3 a0
a2 = = =
(4)(2) 8 24
a2 a0 /24 a0
a3 = = =
(5)(3) 15 360
a3 a0 /360 a0
a4 = = =
(6)(4) 24 8640
..
.
( x x2 x3 x4 )
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 a0 a0 a0
3 24 360 8640
(n + r 1)(n + r)an xn+r + (n + r 1)an1 xn+r + (n + r)an xn+r an xn+r = 0
n=0 n=1 n=0 n=0
{
}
[ ] [ ]
(r 1)r + r 1 a0 xr + (n + r 1)(n + r) + n + r 1 an + (n + r 1)an1 xn+r = 0
| {z } n=1
| {z }
(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 } n=1 | {z }
0
0
38
Logo,
y(x) = an xn+r = a0 x1 + a1 +a2 x + a3 x2 + a4 x3 + a5 x4 +
|{z} |{z} |{z} |{z}
n=0 r=1 a1 2a2 2a2 2a2
3! 4! 5!
(1 ) ( x x2 x3 x4 )
= a0 1 +2a2 + + ,
| x {z } |2 3! 4!
{z 5! }
u1 (x) 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
x2 x3 x4 x5
x x 2
x x3 4 + + ex 1 + x
u2 (x) = + + = 2! 3! 4! 5! = .
2 3! 4! 5! x x
Fica como exerccio mostrar que, se zssemos os clculos com a maior raiz indicial, r = 1, obte-
ramos apenas a soluo y2 (x).
1a circunstncia: r1 = r2
onde
d
na 1a circunstncia : = 1 e bn = an (r)
dr r = r2
[ ] (2.15)
d[ ]
aK (r)
na 2a circunstncia : = (r r2 ) e bn = (r r2 )an (r)
a0 r=r2 dr r = r2
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 exem-
plos 2 e 3, obtendo uma segunda soluo linearmente independente.
39
Uma segunda soluo no Exemplo 2: xy + y 4y = 0
Logo, calculando iteradamente os valores de cn a partir das equaes indicadas pelas chaves acima,
obtemos:
320 1472
c0 = 1 c1 = 8 c2 = 8c1 24c0 = 40 c3 = 8c2 24c1 c0 = .
9 9
Assim,
1 1472 3
= 1 8x + 40x2 x + .
u21 (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 2 dx = Cu 1 (x) 1 8x + 40x2 x + dx
u1 (x) x 9
( )
1 1472 2
= Cu1 (x) 8 + 40x x + dx
x 9
( 1472 3 )
= Cu1 (x) ln x 8x + 20x2 x + [u1 (x) dado por (2.10)] (2.16)
27
4an1 (r)
an (r) = para n 1 .
(r + n)2
40
Uma vez que a0 (r) = a0 = const., temos que
4a0
a1 (r) =
(r + 1)2
42 a0
a2 (r) =
(r + 1)2 (r + 2)2
..
.
4n a0
an (r) =
[(r + 1)(r + 2) (r + n)]2
Para calcular a derivada an (r), convm empregar a derivao logartmica:
ln an (r) = ln(4n a0 ) 2[ln(r + 1) + ln(r + 2) + + ln(r + n)]
[ ] [ ]
an (r) 1 1 1 an (0) 1 1
= 2 + + + = 2 1 + + + ,
an (r) r=0 r+1 r+2 r + n r=0 an (0) 2 n
4n a0 4n a0
onde, substituindo an (0) = = , obtemos
(1 2 n) 2 (n!)2
( )
4n a0 1 1
an (0) = 1 + + + .
(n!)2 2 n
Logo,
a0 = 0 (a0 constante)
a1 (0) = 2a0 4(1) = 8a0
( )
2a0 42 1
a2 (0) = 1 + = 12a0
22 2
( )
2a0 43 1 1 176
a3 (0) = 1 + + = a0
62 2 3 27
e, assim, nalmente,
y2 (x) = u1 (x) ln x + an (0)xn+0
n=0
( )
176 3
= u1 (x) ln x + a0 8x 12x 2
x + [u1 (x) dado por (2.10)] (2.17)
27
41
e
Lg = xg + g 4g = x n(n 1)bn x n2
+ nbn x n1
4 bn xn
n=2 n=1 n=0
= n(n 1)bn xn1 + nbn xn1 4bn1 xn1 = b1 4b0 + [n2 bn 4bn1 ]xn1
n=2 n=1 n=1 n=2
= (b1 4b0 ) + (4b2 4b1 )x + (9b3 4b2 )x2 + . (III)
y2 (x) = a0 u1 (x) ln x + b0 + b1 x + b2 x2 + b3 x3 +
= a0 u1 (x) ln x
( 16 176 ) 3
+ b0 + (4b0 8a0 )x + (4b0 12a0 )x2 + b0 a0 x + (IV)
9 27
( 16 ) ( 176 3 )
= b0 1 + 4x + 4x2 + x3 + + a0 u1 (x) ln x 8x 12x2 x +
| {z 9 } 27
u1 (x)
( 176 3 )
= b0 u1 (x) + a0 u1 (x) ln x 8x 12x2 x + (2.18)
| {z 27 }
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.
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 +
P1 27
( 16 )( 1472 3 )
= u1 (x) ln x + 1 + 4x + 4x2 + x3 + 8x + 20x2 x +
9 27
176
= u1 (x) ln x 8x 12x2 x3 + ,
27
observamos que esse resultado exatamente a segunda soluo obtida com os procedimentos 2 e 3,
dada por (2.17) e (2.18).
42
Usando (2.12), que a expresso de u1 (x) obtida no exemplo 3, temos que
( x x2 x3 )2
u21 (x) = 1+ + + +
3 24 360
( x )2 x x2 x3 ( x )( x2 )
2
= 1 + + 2(1) + 2(1) + 2(1) +2 +
3 3 24 3360 3 24
2 7 x3
= 1 + x + x2 + +
3 36 30
1
( )( 2 7 2 x3 )
cn xn
c0 + c 1 x + c2 x2
+ c3 x3
+ 1 + x + x + + =1
u21 (x) n=0 3 36 30
( 2c0 ) ( 2c1 7c0 ) 2 ( 2c2 7c1 c0 ) 3
c0 + c1 + x + c2 + + x + c3 + + + x + = 1
|{z} 3 } 3{z 36 } 3 {z 36 30 }
1
| {z | |
0 0 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
2 =1 x+ x + .
u1 (x) 3 4 270
[ ][ 1 ]
1( 2 x2 19 3 )
y2 (x) = Cu1 (x) e P (x)dx 2 dx = Cu 1 (x) 3
1 x+ x + dx
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
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),
an1 (r)
an (r) = para n 1 .
(r + n + 2)(r + n)
43
Temos que
d[ ] [ ]
b0 = (r r2 )a0 (r) = a0 (r) +(r r2 ) a0 (r) = a0
dr r = r2 | {z } | {z } r = 2
a0 0
d[ ] d[ a0 ]
b1 =
(r + 2)a1 (r) = (r + 2)
dr r = 2 dr (r + 1)(r + 3) r = 2
(r + 1)(r + 3) (r + 2)(r + 3 + r + 1) (1)(1) 0
= a0 2 = a0 = a0
[(r + 1)(r + 3)] r = 2 [(1)(1)]2
d[ ] d[
a0 ]
b2 = (r + 2)a2 (r) =
(r
+ 2)
dr r = 2 dr (r
(r + 1)(r + 3) +2)(r + 4) r = 2
(r + 3)(r + 4) + (r + 1)(r + 4) + (r + 1)(r + 3)
= a0
[(r + 1)(r + 3)(r + 4)]2 r = 2
44
e
Lg = xg + 3g g = x (n 2)(n 3)bn x n3
+3 (n 2)bn x n3
bn xn2
n=0 n=0 n=0
= (n 2)(n 3)bn xn2 + 3(n 2)bn xn3 6b
bn1 xn3 = 0x
3
6b
0x
3
b2 : permanece arbitrrio
4a0 4a0 b2
3b3 b2 = b3 = +
3 9 3
a0 a0 b3 a0 a0 b2 25a0 b2
8b4 b3 = b4 = + = + = +
4 32 8 32 18 24 288 24
Finalmente,
b0 b1
y2 (x) = a0 u1 (x) ln x + 2
+ + b2 + b3 x + b4 x2 +
x x
= a0 u1 (x) ln x
2a0 2a0 ( 4a b2 ) ( 25a b2 ) 2
0 0
2 + + b2 + + x+ + x + (2.21)
x x 9 3 288 24
( x x2 x3 ) ( 176 3 )
= b2 1 + + + + + a0 u1 (x) ln x 8x 12x2 x +
| 3 24{z 360 } 27
u1 (x)
( 2 2 4x 25x2 )
= b2 u1 (x) + a0 u1 (x) ln x 2 + + (2.22)
x x 9 288
que a soluo geral, com as duas constantes arbitrrias a0 e b0 .
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), zer-
mos C = 1, destacarmos o termo com ln x, substituindo, no outro, a expresso de u1 (x) e, ento,
multiplicarmos as sries para obter
( )
1 1 2 19x
y2 (x) = u1 (x) ln x + u1 (x) 2 + +
P1 4 2x 3x 270
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
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 (c) x2 y + (x2 + 1/4)y = 0
Respostas
( ) ( )
1 3
1. (a) y(x) = a0 1+ 23 1
x + 2356 1
x6 + 235689 x9 + + a1 x+ 34 1 4 1
x + 3467 1
x7 + 3467910 x10 +
( ) ( )
(b) y(x) = a0 1 2! x 4!
1 2 3 4
x 21 x 6
+ a 1 x + 1 3
x 5 5
x + 45 7
x +
( 6!
) ( 3! 2 5! 2 2 7! )
42 6 42 72 9 2 2 2
(c) y(x) = a0 1 3! x + 6! x 9! x + + a1 x 24! x4 + 2 7!5 x7 2 10!
1 3 5 8
x10 +
( ) ( )
(d) y(x) = a0 1 + 14 x2 4!74 x4 + 723
6! 8 x + a1 x 3! x + 5! 2 x 7! 4 x
6 1 3 14 5 1434 7
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
( ) ( )
3. (a) y(x) = c1 x2/3 1 21 x + 28 x 21
5 2
x + + c2 x1/3 1 12 x + 51 x2 120
1 3 7
x3 +
( ) ( )
(b) y(x) = c1 x 1 + 15 x + 57
1 3
x + 5791
x3 + + c2 x1/2 1 + 21 x + 24 1 2
x + 2461
x3 +
( ) ( )
(c) y(x) = c1 x1/2 1 71 x2 + 2! 711
1
x4 3! 71115
1
x6 + + c2 x1 1 x2 + 2!15 x4 2! 159 x6 +
( ) ( )
4. (a) y(x) = c1 x1 1 + 2!1 2
x + 4! 1 4
x + 6! x + + c2 x1 x + 3!
1 6 1 3 1 5
x + 5! x +
1 7
x + 7!
( ) ( )
(b) y(x) = c1 1 + 23 x + 13 x2 + c2 x4 + 2x5 + 3x6 + 4x7 +
( ) ( )
(c) y(x) = c1 1 12 x + 10
1 2
x 120
1
x3 + c2 x7 12 x8 + 36 x 36
5 9
x +
1 10
( )
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 +
( ) ( )
(b) y(x) = c1 x + 32 x2 + 94 x3 + 164 x + + c2 3u1 (x) ln x + 1 21
51 4
4 x 4 x +
2 19 3
( )
(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 +
( )
e u2 (x) = u1 (x) ln x + x1/2 41 x2 128 3 11
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
st est c( ) c
L{c} = e c dt = c = e|s
{z } + e 0
= ,
0 s t=0 s s
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)
3
2est 2e3s
L{f (t)} = est f (t) dt = est 0 dt + est 2 dt = = .
0 0 3 s t=3 s
3.2 L linear:
st st
L{af (t)+bg(t)} = e [af (t)+bg(t)] dt = a e f (t) dt+b est g(t) dt = aL{f (t)}+bL{g(t)} .
0 0 0
48
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
st st
|I2 | |e f (t)| dt = e |f (t)| , dt M e(s)t dt
| {z }
T T M et T
(s)t
Me M e(s) M e(s)T
= = + .
(s ) t=T s s
| {z } | {z }
0 para s> nito
1 1 1 1
n=1 L{t} = L{1} = = 2
s s s s
2 2 1 21
n=2 L{t } = L{t} =
2
2
= 3
s s s s
3 3 21 321
n=3 L{t } = L{t } =
3 2
3
=
s s s s3
n!
L{tn } =
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} (i)
s s s s
0
t=0
0
e st a a
L{ sen at} = est sen at dt = sen at + est cos at dt = 0 + L{cos at} (ii)
0 s t=0 s 0 s
1 a [a ] s
(ii) em (i) L{cos at} = L{cos at} L{cos at} = 2 (iii)
s s s s + a2
a s a
(iii) em (ii) L{ sen at} = 2 2
= 2
s s +a s + a2
4) Se s > |a| (por causa da necessidade de que exista a tranformada de Laplace de eat ), ento:
{ at } [ ]
e + eat 1[ at
] 1 1 1 s
L{cosh at} = L = L{e } + L{e } =
at
+ = 2
2 2 2 sa s+a s a2
{ at } [ ]
e eat 1[ ] 1 1 1 a
L{ senh at} = L = L{eat } L{eat } = = 2
2 2 2 sa s+a s a2
L{0} = 0.
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} =
2 | {z } | {z } s(s2 + 4)
1/s s/(s2 +4)
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
i) L{t} = L =t.
s2 s2
{ }
ii) L1 af(s) + bg(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 1 1 4! 1 4
v) L 5
= L 5
= t .
s 4! s 4!
{ } { } { } { }
1 4 3s 5 1 s 5 2
vi) L + = 4 3 +
s 2 s2 + 16 s2 + 4 s2 s2 + 16 2 s2 + 4
5
= 4e2t 3 cos 4t + sen 2t .
2
Nos exemplos seguintes, fraes parciais so empregadas:
50
{ } { }
1 1 1 1/3 1/3 1 1
vii) L =L + = e2t + e5t .
(s 2)(s 5) s2 s5 3 3
{ } { }
1 1 s
viii) L1 = L1 = 1 cos t .
s(s2 + 1) s s2 + 1
{ } { } { }
1 3s + 7 1 3s + 7 1 4 1
ix) L =L =L + = 4e3t et .
s2 2s 3 (s 3)(s + 1) s3 s+1
Esse ltimo exemplo tambm pode ser resolvido completando o quadrado no denominador:
{ } { }
3s + 7 s1 2 [ ]
L1 = L 1
3 + 5 = et 3 cosh 2t + 5 senh 2t
s 2s 3
2 (s 1) 4)
2 (s 1) 4)
2
[ 2t
]
2t
e +e e e2t
2t
= et 3 +5 = 4e3t et .
2 2
1 1
0 x 0 a x
Vejamos dois exemplos de uso dessa funo. Considere a funo f (x) na gura abaixo, esquerda.
2
2 1
1 1 3 x
1
a b x
2
Sua expresso em termos da funo degrau
Outro exemplo um pouco mais complicado a funo g(x) na gura acima, direita; ela dada por
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:
Encerremos esta seo com o clculo da transformada de Laplace de U(t a), com a > 0 :
st st est eas
L{U(t a)} = e U(t a) dt = e dt = = (s > 0)
0 a s t=a s
1
1 (s > 0)
s
1
eat (s > a R)
sa
n!
tn (n = 1, 2, 3, )
sn+1
s
cos at (a R, s > 0)
s2 + a2
a
sen at (a R, s > 0)
s2 + a2
s
cosh at (s > |a| R)
s2 a2
a
senhat (s > |a| R)
s2 a2
eas
U(t a) (a > 0, s > 0)
s
{ } st
[ at ]
2) L eat f (t) = e e f (t) dt = e(sa)t dt = f(s a)
0 0
f(s)
z
}| {
n (est ) n d
n
3) L {tn f (t)} = est tn f (t)dt = (1)n f (t)dt = (1) est f (t)dt
0 0 sn dsn 0
52
{ } { }
Em particular: L {tf (t)} = f (s) , L t2 f (t) = f (s) , L t3 f (t) = f (s) ,
4) L {U(t a)f (t a)} = est U(t a)f (t a)dt = est f (t a)dt
0 a
ta
s(a+ )
= e f ( )d = eas es f ( )d = eas f(s)
0 0
f()
{ } [ ] [ ] z
}| {
st
f (t) e
5) L = dt f (t) = dt f (t) d et = d dt f (t)et
t 0 t 0 s s 0
= f() d
s
Exemplos:
1 (s/7) s
L{cos 7t} = 2
= 2
7 (s/7) + 1 s + 49
s 3
L{e3t cos t} =
(s 3)2 + 1
{ } { }
s3 s
Problema inverso: L1 = e 3t 1
L = e3t cos t ,
(s 3)2 + 1 s2 + 1
pois L1 {f(s a)} = eat L1 {f(s)} .
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
iii) L{t cos t} = L{cos t} = = = .
ds ds s2 + 1 (s2 + 1)2 (s2 + 1)2
53
{
t2 (0 t < 2)
vii) Clculo da transformada de Laplace de f (t) =
1 + t (t 2)
Primeiro modo: Usando a terceira frmula acima:
P (t 2) = 1 + t t2
P (t) = 1 + (t + 2) (t + 2)2 = 3 3t t2
( )
2 2s 2 2s 3 3 2
L{f (t)} = L{t } + L{P (t2)U(t2)} = 3 + e P (s) = 3 + e
2
2 3
s s s s s
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)
54
Eis a deduo:
{ t } [ t t ]
L f (u)du = est dt est
f (u)du dt =
du f (u)
0 0 0 0 0
[ st ]
e
= du f (u) dt est = du f (u)
0 u 0 s t=u
s su
e e 1 1
= du f (u) = du esu f (u) = f(s)
0 s s 0 s
Mais genericamente, temos que
{ t } { t a } { t } { a }
L f (u)du = L f (u)du f (u)du = L f (u)du L f (u)du
a 0 0 0 0
f(s) 1 a
= f (u) du
s s 0
Vejamos um exemplo:
{ t }
1 1 2 2
L sen2u du = L { sen2t} = = ;
0 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 cos 2t + 1 1 1
L sen 2u du = L =L = L{cos 2t} + L{1}
0 2 0 2 2 2
1 s 1 1 1 s2 + 4 s2 2
= 2
+ = 2
= 2
.
2 s +4 2 s 2 s(s + 4) s(s + 4)
Outro exemplo:
{ t }
2u 1 { 2t } 1 s s+2
L e cos 3u du = L e cos 3t = 2 = .
0 s s s + 9 s =s+2 s [(s + 2)2 + 9)]
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:
{ } { 2
} t { } t
1 1 1 1/ (s + 1) 1 1
L =L = L du = sen u du = 1 cos t .
s(s2 + 1) s 0 s2 + 1 0
Mas
tT
st s(T + ) sT
e f (t)dt = = e f ( + T ) d = e es f ( )d = esT L {f (t)} . (ii)
T T | {z } 0
f ( )
55
donde T
1
L{f (t)} = est f (t)dt
1 esT 0
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:
1 [ 1 ] [ s ]
st st e 1 es
e f (t)dt e t dt +
s s2 1 (1 + s)es
L{f (t)} = 0 = 0
= = .
1 es 1 es 1 es s2 (1 es )
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 ,
1 2 1 2 1
Conferindo: L{t et + 2et + t 2} = + + = 2 X
(s + 1)2 s + 1 s2 s s (s + 1)2
56
5) L{f (n) (t)} = sn f(s) sn1 f (0) f (n1) (0)
{ t }
f(s)
6) L f (u)du =
0 s
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
12) L{e f (t)} = f (s a)
at
sen t
( )
st sen t
ii) dt = e dt = arctan s = ,
0 t 0 t s=0 2 s=0 2
onde usamos o resultado obtido no exemplo (v) da seo 3.9.
et e3t
( t e3t )
st e s+3
iii) dt = e dt = ln
= ln 3 ,
0 t 0 t s=0 s+1 s=0
onde usamos o resultado obtido no exemplo (vi) da seo 3.9.
y(0) 1 fraes
1 y(0) + 1 L1 [ ]
y(t) = e2t + y(0) + 1 e3t ,
parciais
y(s) = + = +
s 3 (s 2)(s 3) s2 s3 | {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 :
L
y 6y + 9y = t2 e3t s2 y(s) s y(0) y (0) 6 [sy(s) y(0)] + 9y(s) = 2/(s 3)3
|{z} | {z } |{z}
2 6 2
2 2 2
(s2 6s + 9) y(s) = 2(s 3) + y(s) = +
| {z } (s 3)3 s 3 (s 3)5
(s3)2
{ } { }
1 1 1
y(t) = 2L1 + 2e3t L1 = 2e3t + t4 e3t
s3 (s 3)5 12
| {z }
t4 /4!
onde
fraes
1 1 1 1
g(s) g(t) = 1 et t et
parciais
=
s(s + 1)2 s s + 1 (s + 1)2
58
3.17 Exerccios
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
5. f (t) =
t
1 cos t
6. f (t) =
t
{
1 (0 t < 1)
7. f (t) =
1 (t 1)
0 (0 t < 2)
5 (2 t < 4)
8. f (t) =
3 (4 t < 6)
0 (t 6)
7s
9. f(s) =
4s2 24s + 61
1
10. f(s) =
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)
59
e5s
23. f(s) =
(s 3)4
e5s
24. f(s) = 2
s +9
s + s
25. f(s) = 2 e
s + 2
{
1 (0 t < 1)
26. f (t) = f (t + 2) t > 0 e f (t) =
1 (1 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
1
31. f(s) = , pelo teorema da convoluo
(s2 + 1)2
1
32. f(s) = , pelo teorema da convoluo
(s2 + 4s + 5)2
1 onda triangular
1
f (t ) g(t )
1 2 3 4 5 t 1 2 3 4 5 t
33. t3 et sen t dt = 0
0
et sen t
34. dt =
0 t 4
3
35. t3 e3t sen t dt =
0 50
{
2 (0 t < 4)
36. y 5y(t) = f (t) = sob a condio y(0) = 0
3 (t 4)
60
3.18 Solues dos Exerccios
Prob. 1 ( )
d2 3
f (t) = t2 sen3t f(s) = 2 2
=
ds s +9
Prob. 2 [ ]
e8t e8t 1 s8 s+8
f (t) = senh8t cos 3t = cos
| {z3t} f (s) =
2 2 (s 8)2 + 9 (s + 8)2 + 9
L
s
s2 +9
Prob. 3 [ ]
d 2
t
f (t) = te |senh2t
{z } f (s) = =
ds (s 1)2 4
L
2
s2 4
[ ]
te
2t
e2t 1 ( 3t ) 1 1 1
ou f (t) = te = e et t
f (s) =
2 2 L 2 (s 3)2 (s + 1)2
1/s2
Prob. 4 [ ]
d s+3
L{te3t cos
| {z6t} } = =
ds (s + 3)2 + 36
L
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 s+1
= ln = ln lim ln = ln
s +1 s s s + 1 s+1 s
| {z }
=1
Prob.
{ 6 } (
1 cos t s ) [ ] s
1 1
L =
ds = ln s ln(s2 + 1) = ln
t s s + 1 2 s2 + 1 s
(
s )
s
1 s s2 + 1
= ln lim ln = ln
s s2 + 1 s
1 + s12
| {z }
=1
Prob. { 7
s
1 (0 t < 1) 1 e
f (t) = = 1 + 2U(t 1) f(s) = + 2
1 (t 1) s s
Prob. 8
0 (0 t < 2)
2s
e4s e6s
5 (2 t < 4) e
f (t) = = 5U(t 2) 8U(t 4) + 3U(t 6) f(s) = 5 8 +3
3 (4 t < 6) s s s
0 (t 6)
Prob. 9 [ ] [ ]
7s 7 s 7 s3 6 5/2
f(s) = = = +
4s2 24s
[ + 61 4 (s ]3)2 + (5/2)2 4 (s 3)2 + (5/2)2 5 (s 3)2 + (5/2)2
7 3t 5t 6 5t
f (t) = e cos + sen
4 2 5 2
Prob. 10
{ }
1 1 1 { 1/ (s 5/2) } 1 t 5u/2
1 1 ( 5u/2 )
1omodo: L = L = e du = e 1
3s(2s 5)
6 s 6 0 15
{ } { } { }
1 1 1 1/5 2/15 1 1/15 1/15 1 1 5t/2
2 modo: L
o
=L + =L + = + e
3s(2s 5) 3s 2s 5 s s 5/2 15 15
61
Prob. 11
s3 1 1
f(s) = ln = ln(s 3) ln(s + 1) f (s) =
s+1 s3 s+1
L1 e3t et
t f (t) = e3t et f (t) =
t
Prob. 12
s 1/2 2
f(s) = arctan f (s) = 2
= 2
2 2 1 + (s/2) s +4
L1 sen2t
t f (t) = sen2t f (t) =
t
Prob. 13
s2 + 1 2s 2s
f(s) = ln 2 = ln(s2 + 1) ln(s2 + 4) f (s) =
s +4 s2 + 1 s2 + 4
L1 2
t f (t) = 2 cos t 2 cos 2t f (t) = (cos 2t cos t)
t
Prob. 14
1 4 1 4/s2 1 4
f(s) = arccot f (s) = 2 +
2
= 2 2
s s s 1 + (4/s) s s + 16
L1 sen4t
t f (t) = t sen4t f (t) = 1 +
t
Prob. {
15
0 (0 t < 1)
f (t) = = (2t 3) U(t 1)
2t 3 (t 1)
2 1
1o modo: Se p(t 1) 2t 3 ento p(t) = 2(t + 1) 3 = 2t 1, donde p(s) = 2
( ) s s
s 2 1 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)
d ( es ) es es s es es 2 1 s
f(s) = 2 3 = 2 3 = = e
ds s s s2 s s2 s
Prob. { 16
t 1 (0 t < 2)
f (t) = = t 1 (t 1) U(t 2) f(s) = L{t 1} p(s) e2s
0 (t 2) | {z }
p (t2)
1 1
p (t 2) = t 1
p(t) = t + 2 1 = t + 1 p(s) = +
( ) s2 s
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) f(s) = eas q(s)
q(ta)
Prob. 18
[ ]
es e(s2)
L{f (t)} = L{ |{z}
t e 3 2t
U(t 5)} = L{e p(t 5)U(t 5)} = p(s )
2t
= p (s 2) .
s s =s2 s2
p(t5)
6 30 75 125
Por outro lado, p(t) = (t + 5)3 = t3 + 15t2 + 75t + 125 p(s) = + 3 + 2 + .
s4 s s s
[ 6 30 75 125 ] e(s2)
Logo, L{f (t)} = + + + .
(s 2)4 (s 2)3 (s 2)2 s2 s2
62
Prob. 19
{ t } { } ( )
sen u 1 sen t 1
L{f (t)} = L du = L = arctan s , onde se aproveitou o resultado do
0 u s t s 2
exemplo (vi) da seo 3.9.
Prob. 20
{ } { at } [ ]
eau ebu
t
1 e ebt 1 ( 1 1 ) 1 s a
L{f (t)} = L du = L = ds = ln
u s t s s s a s b s s b s
1 [ 0
sa ] 1 sb
= ln 1 ln = ln
s sb s sa
Prob. 21 { }
1 1 1 (t 2)2
L
{f (s)} = L e5s 3
= U(t 5)
s
|{z} 2
L1
t2 /2
Prob. 22 { }
1
L1 {f(s)} = L1 e5s = U(t 5) e3(t5)
s3
| {z }
L1
e3t
Prob. 23 { }
1 (t 5)3
L1 {f(s)} = L1 e5s = U(t 5) e3(t5)
(s 3)4 6
| {z }
L1
e3t t3 /3!
Prob. 24 { }
1 1 1 1
L
{f (s)} = L e5s = U(t 5) sen 3(t 5)
s2 + 9 3
| {z }
L1
( sen 3t)/3
Prob. 25 { } { [ ]}
1 1 s s + 1 s s
L {f (s)} = L e =L e +
s2 + 2 s2 + 2 s2 + 2
| {z } | {z }
L1 L1
cos t sen t
[ ]
= U(t 1) cos (t 1) + sen (t 1) = (cos t + sent) U(t 1)
| {z } | {z }
cos t sen t
Prob. 26
1 2 1 2
est (1) dt + est (1) dt 1 1
1 2 est + est
f(s) = est f (t) dt = 0 1
= s t=0 s t=1
1 e2s 0 1 e2s 1 e2s
( )
es + 1 + e2s es 1 2es + e2s (1 es )2 1 es
= = = = .
s(1 e2s ) s(1 e2s ) s(1 + es )(1 es ) s(1 + es )
Prob. 29
2 2
1 st 1 st 1 est 2
f(s) = e f (t) dt = e dt =
1 e2s 0 1 e2s 1 1 e2s s t=1
e2s es es (1es ) es
= 2s
= =
s .
s(1 e ) s(1 + e )s (1e ) s(1 + es )
{ 2
t (0 t < 1) 1
g(t) = g(t + 2) e g(t) = g(s) = est g(t) dt
2 t (1 t < 2) 1 e2s 0
63
1 2
est t dt + est (2 t)dt
1 2es (1 + s) e2s
g(s) = 0 1
= = .
1 e2s s2 (1 e2s )
1
1
1 1 + es
h(s) = est h(t) dt = est sen t dt = = .
1 es 0 1 es 0 1 es s2 + 1
1 2
st 1
1 1 + es
u(s) = e u(t) dt = est sen t dt = = .
1 e2s 0 1 e2s 0 1 e2s s2 + 1
Prob. 30
{ } { 1 } { 1 } t t
1
L1 = L1 L1 = e2t e5t = e2u e5(tu) du = e5t e3u du
(s 2) (s 5) s2 s5
3t t 3t
0 0
5t e = e5t e 1 e5t e2t
=e =
3 3 0 3
Prob. 31
{ } { 1 } { 1 } t
1
L1 = L 1
L 1
= sent sen t = sen(t u) sen u du
(s2 + 1)2 s2 + 1 s2 + 1
t t 0 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 [ ]t [ ]t 0 ( ) 0
sen 2 u u sen 2 u 1 t sen 2 t
= ( sen t) (cos t) = sen 3 t cos t
2 0 2 4 0 2 2 4
Prob. 32
{ 1 } { 1 } { 1 } { 1 }
L1 = L 1
= L 1
L 1
(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
t 0 [ ( ) ]
1 t sen 2 t
= e2t sen u sen(t u) du = e2t sen 3 t cos t
2 2 4
|0 {z }
j calculada no Prob. 31
Prob. 33
d2 [ 2s ]
t e sen t dt = 3 t
t e = 2 3 st
sen t dt
0 0 s=1 ds (s2 + 1)2 s=1
d [ (s2 + 1)2 2s(s2 + 1)2s ] d [ 3s4 2s2 + 1s ]
= 2 = 2
ds (s2 + 1)4 s=1 ds (s2 + 1)4 s=1
(12s3 + 4s)(s2 + 1)4 + (3s4 + 2s2 1)8s(s2 + 1)3 16 16 + 32 8
=2 2 8 = = 0 .
(s + 1) s=1 27
Prob. 36
{
2 (0 t < 4)
y 5y(t) = f (t) = com y(0) = 0
3 (t 4)
e4s ( )
L 2 1
sy(s) y(0) 5y(s) = 5 y(s) = 2 5e4s
|{z} s s s(s 5)
0 | {z }
1/5 1/5
s + s5
2/5 2/5 (1 1 ) 4s 2 5t [ ]
y(s) = + + e y(t) = (e 1) + 1 e5(t4) U(t 4) .
s s5 s s5 5
| {z }
L1
1e5t
64
Prob. 37
L
y + 3y 4y(t) = 0 s2 y(s) sy(0) y (0) + 3 [sy(s) y(0)] 4y(s) = 0
y(0)s + 3y(0) + y (0)
( s2 + 3s 4 ) y(s) = y(0)s + 3y(0) + y (0) y(s) = 1
| {z } (s 1)(s 4)
(s1)(s+4)
y(0)s + 4 1 L1
y(s) = = y(t) = et .
(s 1)(s 4) s1
65
Captulo 4
e resolv-lo, por eliminao ou determinantes, conforme mostramos abaixo, considerando sistemas mais
simples para facilitar a exposio:
Eliminando x :
{
2 (Dx 3y) = 0
(+) (D2 6) y(t) = 0 y(t) = c3 e 6t
+ c4 e 6t
D (2x Dy) = 0
Por m,
[ ] [ ]
[ ]
x(t) = c1 e 6 t+ c2 e 6 t x(t) 1 1
ou = c1 e 6t
+ c2 e 6t
y(t) = 36 c1 e 6 t + 3 6 c2 e 6 t y(t) 6/3 6/3
66
{ {
x + y = 2y(t) Dx + (D + 2) y = 0
Exemplo 2:
x = 3x(t) + 2y(t) (D 3) x 2y = 0
Eliminando y :
{ [ ]
2 [Dx + (D + 2) y ] = 0
(+) [ 2D + (D + 2)(D 3) ] x = (D2 + D 6) x(t) = 0
(D + 2) (D 3) x 2y = 0
Eliminando x :
{ [ ]
(D 3) [Dx + (D + 2) y ] = 0
(+) [(D 3)(D + 2) + 2D ] y = (D2 + D 6) y(t) = 0
D (D 3) x 2y = 0
Vejamos exemplos:
{ {
x + y = 4x(t) + t2 (D 4) x + D2 y = t2
Exemplo 3:
x + y = x(t) (D + 1) x + Dy = 0
67
Finalmente,
2 2 t2 1
x(t) = (2c4 + c5 ) cos 2t + (c4 2c5 ) sen 2t +
5 5 4 8
t3 t2 t
y(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 = 3x(t) y(t) 1 (D 3) x + y = 1
Exemplo 4:
y = x(t) + y(t) + 4et x + (D 1)y = 4et
D 3 1
= (D 3)(D 1) + 1 = D2 4D + 4 = (D 2)2
1 D 1
1 1
= (D 1)(1) 4et = 1 4et
4et D 1
D 3 1
= (D 3)(4et ) 1 = 4et 12et 1 = 1 8et
1 4et
1
(D 2)2 x(t) = 1 4et x(t) = c1 e2t + c2 te2t + 4et
4
1
(D 2)2 y(t) = 1 8et y(t) = c1 3e2t + c4 te2t 8et
4
x 3x(t) + y(t) + 1 = e2t (c3 c1 + c4 ) + t e2t (c4 c2 ) = 0 c4 = c2 e c3 = c1 c2
| {z } | {z }
0 0
1 1
x(t) = c1 e2t + c2 t e2t + 4et e y(t) = (c1 c2 )e2t + c2 t e2t 8et
4 4
68
A transformada de Laplace dessas equaes so
[ ]
2 sx(s) x(0) + sy(s) y(0) y(s) = 1/s2
|{z} |{z} {
2sx + (s 1)y = 2 + 1/s2
1 0
sx(s) x(0) +sy(s) y(0) = 2/s 3
sx(s) + sy = 1 + 2/s3
|{z} |{z}
1 0
Eliminando x, obtemos
1 4 4 1 4s
(s + 1)y = 3 y = = 3 .
s2 s s3 (s + 1) s2 (s + 1) s (s + 1)
4s A B C D
Fraes parciais: = + 2+ 3+ A = B = D = 5 e C = 4 .
s3 (s + 1) s s s (s + 1)
{ }
5 5 4 5
y(t) = L1 2+ 3 = 5 5t + 2t2 5et
s s s s+1
Podemos calcular x(t) de modo anlogo (obtendo primeiramente x(s) e, depois, calculando a trans-
formada de Laplace inversa), mas, no caso, podemos usar a segunda EDO do sistema:
t3
x = t2 y = t2 (5 + 4t + 5et ) x(t) = + 5t 2t2 + 5et + c1
3
t3
x(0) = c1 + 5 = 1 c1 = 4 x(t) = + 5t 2t2 + 5et 4
3
{
x + 10x 4y = 0
Exemplo 2: sob as condies x(0) = y(0) = 0 e x (0) = y (0) = 1 .
4x + y + 4y = 0
2
s x s x(0) x (0) +10x 4y = 0
|{z} | {z } {
(s2 + 10)x 4y = 1
0 1
4x + s2 y s y(0) y (0) +4y = 0
4x + (s2 + 4)y = 1
|{z} | {z }
0 1
s2 As + B Cs + D
x(s) = = 2 + 2 A = C = 0, B = 1/5, D = 6/5
(s2+ 2)(s2 + 12) s +2 s + 12
{ }
1/5 6/5 1 6
x(t) = L1 2
+ 2
= sen t 2 + sen t 12
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
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) cons-
tante, obtemos, substituindo,
e
V t
e
= AV t
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.
69
4.3.1 1o Caso: autovalores reais e distintos
A soluo do sistema X = AX, sendo A uma matriz n n, dada por
n
X(t) = ck Vk ek t ,
k=1
x = 4x + y + z d
x 4 1 1 x
Exemplo 2: y = x + 5y z ou y = 1 5 1 y
dt
z = y 3z z 0 1 3 z
| {z } | {z }| {z }
X A X
4 1 1
det(A I) = 1 5 1 = ( + 4)[ ( 5)( + 3) + 1] + (1 + + 3)
0 1 3
1 = 3
= ( + 4)[1 ( 5)( + 3) 1] = ( + 3)( + 4)( 5) = 0 2 = 4
3 = 5
Clculo do autovetor V1 associado ao autovalor 1 = 3:
1 1 1 1 1 1
A 1 I = 1 8 1 0 0
escalonamento
9
0 1 0 0 0 0
1 1 1 0 = 0 = 1
A1 I = 0 0 0 = 0 9 = 0 = 0 V1 = 0
=1
9
0 0 0 0 0 = 0 qq 1
70
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 1 9 1 0 = 10 10
A 2 I = 1 0 1 = 0 = V2 = 1
E =1
1 9 1
0 1 1 0 0 0 0 qq 1
9 1 1 1 0 1 0 = 1
A 3 I = 1 0 1 8 = 0 = 8 V3 = 8
E =1
1 0
0 1 8 0 0 0 0 qq 1
1 10 1
Soluo geral: X = c1 0 e3t + c2 1 e4t + c3 8 e5t
1 1 1
{ [ ] [ ][ ]
x = 6x y d x 6 1 x
Exemplo 3: ou =
y = 5x + 4y dt y 5 4 y
| {z } | {z } | {z }
X A X
6 1
det(A I) = = 2 10 + 29 = 0
= 5 2i
5 4
Autovetor V associado ao autovalor = 5 + 2i:
[ ] [ ][ ] [ ] [ ]
12i 1 E 12i 1 0 = = 12i 1
A I = = 12i V = 12i
5 12i 0 0 0 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
[ ] [ ] [ ]
1 1 0
No caso: = |{z}
5 + |{z}
2 i e V = = + i .
1 2i 1 2
a b | {z } | {z }
P Q
( [ ] [ ]) ( [ ] [ ])
1 0 0 1
X(t) = k1 + k2 e cos 2t + k1 5t
+ k2 e5t sen2t
1 2 2 1
[ ] [ ]
k1 5t k2
= e cos 2t + e5t sen 2t
k1 2k2 2k1 + k2
71
1 2 0
Exemplo 4: X = 1/2 1 0 X
0 0 1
| {z }
A
1 2 0 1 = 1 + i
det(A I) = 1/2 1 0 = (2 2 + 2)(1 ) = 0
2 = 1 i
0
0 1 3 = 1
i 2 0 i 2 0 0 i + 2 = 0
A 1 I = 1/2 i 0 0 0 0 = 0
E
0 = 0
0 0 i 0 0 i 0 i = 0
= 2i 2 2 0
V1 = i = 0 + 1 i
=i
qq
=0 0 0 0
0 2 0 1/2 0 0 0 /2 = 0
A 3 I = 1/2 0 0
0 2 0 = 0
E
2 = 0
0 0 0 0 0 0 0 0 = 0
= 0 0
V3 = 0
=1
= 0
qq 1
2 2 0
X(t) = 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.
Xk = ck Vk ek t . (4.2)
72
Se existir apenas um autovetor Vk :
{ ( t2 )
Xk = ck1 Vk + ck2 (U1 t + U2 ) + ck3 U1 + U2 t + U3 +
2!
[ t m1
t m2 ]}
+ ckm U1 + U2 + + Um1 t + Um ek t , (4.4)
(m 1)! (m 2)!
1 2 2
Exemplo 5: A = 2 1 2
2 2 1
1 2 2 {
1 = 5 (mult. 1)
det(A I) = 2 1
2 = ( 5)( + 1) = 0
2
2 2 = 1 (mult. 2)
2 1
4 2 2 1 0 1 0 = 1
A 1 I = 2 4 2 0 1 1 = 0 = V1 = 1
E
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
2 2 2 1 1 1 0 + = 0 =
A2 I = 2 2 2 0 0 0 = 0 0 = 0
E
qq
2 2 2 0 0 0 0 0 = 0 qq
1 1 ( ) 2 t 1 1
V2 = = 1 + 0 X2 = c21 V21 + c22 V22 e = c21 1 + c22 0 et
0 1 0 1
| {z } | {z }
V21 V22
5 4 0
Exemplo 6: A = 1 0 2
0 2 5
5 4 0 {
1 = 0 (mult. 1)
det(A I) = 1 0 2 = (5 )[ ( 5) ] = 0
0 2 = 5 (mult. 2)
2 5
5 4 0 1 0 2 0 = 2 4
= 2
A 1 I = 1 0 2 0 2 5 = 0 = 5/(2) V1 = 5
E
0 2 5 0 0 0 0 qq 2
73
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
A 2 I = 1 5 2 0 1 0 = 0 = 0 V2 = 0
E =1
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:
0 4 0 2 1 5 2 0 = 5/2 2 1/2
= 1
1 5 2 0 0
E
2 0 1 = 1/2 U2 = 1/2 .
0 2 0 1 0 0 0 0 qq 1
1 0 0
Exemplo 7: A = 2 2 1
0 1 0
1 0 0
det(A I) = 2 2 1 = ( 1)3 = 0
1 = 1 (mult. 3)
0 1
0 0 0 2 1 1 0 = 0 0
= 1
A 1 I = 2 1 1
0 1 = 0 = V1 = 1
E
1
0 1 1 0 0 0 0 qq 1
{ }
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:
0 0 0 0 2 1 1 1 = 0 0
(A 1 I)U2 = V1 2 1 1 1 0 1 1 1 = + 1 U2 = 1
E =0
0 1 1 1 0 0 0 0 qq 0
0 0 0 0 2 1 1 1 = 1/2 1/2
(A1 I)U3 = U2 2 1 1 1 0 1 1 0 U3 = 0
E =0
=
0 1 1 0 0 0 0 0 qq 0
74
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
( )
m
Prova da frmula em (4.3). Se Xk = ckl Vkl ek t , onde AVkl = k Vkl , ento
l=1
(
m ) (
m ) [
m ]
AXk Xk = ckl AVkl e k t
k ckl Vkl e k t
= ckl (AVkl k Vkl ) ek t = 0 t . CQD.
| {z }
l=1 l=1 l=1
0
m
l
tlj
k t
Xk = ckl Xkl , com Xkl = e Uj .
j=1
(l j)!
l=1
Mas
l
AXk Xk =
ckl (AXkl Xkl )=0 .
| {z }
j=1
0
l
tlj l
tlj
l1
tlj1
AXkl Xkl = e k t AUj k ek t Uj ek t Uj
j=1
(l j)! j=1
(l j)! j=1
(l j 1)!
| {z }
l
tlj
(lj)!
Uj1
j=2
tl1 [ ] l
t lj [ ]
= e k t AU1 k U1 + (A k I)Uj Uj1 = 0 .
(l 1)! | {z } (l j)! | {z }
j=2
0 0
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 .
75
[ ] ][
3 1 3t
Exemplo 1: Resoluo do sistema X = X+ (t > 0) :
2 4 et
| {z } | {z }
A F (t)
A resoluo do sistema homogneo associado XH = AXH (t) fornece a soluo geral
[ ] [ ] [ 2t ][ ]
1 1 e e5t c1
XH (t) = c1 e2t + c2 e5t = .
1 2 e2t 2e5t c2
| {z }
(t)
1 (t)
[
1 ]
2te2t + et dt + k1
3 te2t 21 e2t + 31 et
,
U (t) = =
[ ]
1 1 5t
te 1 5t
e 1 4t
e
te5t e4t dt + k2 5 25 12
3
onde zemos k1 = k2 = 0, pois queremos uma soluo particular. Logo,
6t 27 1 t
[ 2t ] te2t 12 e2t + 31 et
e e 5t 5 50 + 4 e
XP (t) = (t)U (t) = = ,
e2t 2e5t 1 t
1 5t
5 te 1 5t
25 e 1 4t
12 e 3t
5 21
50 + 2 e
e a soluo geral , nalmente,
[ ] [ ] 6t
27
+ 41 et
1 1 5 50
X(t) = c1 e2t + c2 e5t + .
1 2 1 t
3t
5 21
50 + 2e
[ ] [ ]
3 1 t2
Exemplo 2: Resoluo completa do sistema X = X(t) + (t > 0) :
9 3 t4
| {z } | {z }
A F (t)
3 1
det(A I) = = ( 3)( + 3) + 9 = 2 = 0
1 = 0 (multip. 2)
9 3
[ ] [ ]
3 1 escalonamento 3 1
A 1 I =
9 3 0 0
[ ][ ] [ ] { { [ ]
3 1 0 3 = 0 = /3 = 3 1
(A 1 I)V = 0 = V1 =
0 0 0 0 = 0 qq 3
| {z }
V
[ ] [ ] { [ ]
3 1 1 E 3 1 1 3 = 1 = 0 1/3
(A 1 I)U2 = V1
U2 =
9 3 3 0 0 0 qq 0
| {z } |{z}
A1 I V1
[ ] [ ]
a b d b
() Uma frmula til: Se A = , com det A = ad bc = 0, ento A1 = 1
.
c d det A c a
76
[ ] ([ ] [ ]) [ ][ ]
1 1 1/3 1 t+ 1/3 c11
X1 (t) = XH (t) = c11 + c12 t+ =
3 3 0 3 3t c12
| {z }
(t)
[ ] [ ]
1 3t 3 1 3t 3
(t) = =
t 1/3 1 3t (3t + 1) t+ 1/3 1
[ ][ ] [ ]
3t 3 t2 3t1 3t4
U (t) = dt 1 (t)F (t) = dt = dt
t+ 1/3 1 t4 t1 + 31 t2 + t4
[ ]
3 ln t + t3
=
ln t 13 t1 13 t3
[ ][ ]
1 t+ 1/3 3 ln t + t3
XP (t) = (t)U (t) =
3 3t ln t 13 t1 13 t3
[ 3
]
83 ln t + t ln t 80
9 t 13 t2 19 13 t
XP (t) =
9 ln t + 3t ln t + 3t3 t2 t
[ 3
]
c11 + c12 (t + 13 ) 83 ln t + t ln t 80
9 t 13 t2 91 13 t
X(t) = .
3c11 + 3c12 t 9 ln t + 3t ln t + 3t t2 t
3
77
4.5 Exerccios
1. Resolva os sistemas de EDOs por eliminao sistemtica ou por determinantes:
2
dx
d x dy dx dy
+ z = et
+ = 5x
+ = e t
dt
dt2 dt dt dt
(a) (b) (c) dx + dy + dz x = 0
2
dx + dy = x + 4y
d x + dx + x + y = 0
dt dt dt
dz
dt dt dt 2 dt x + 2y + = et
dt
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 (b) y 3y + 6y 10y = t2 + 1
(c) 2y (4) + y 8y = 10 (d) t2 y + ty + (t2 4)y = 0
78
7. Agora pede-se que sejam revolvidos os seguintes sistemas de EDOs no-homogneos:
t
[ ] [ ] 1 1 0 e
dX 1 8 12t dX
(a) = X(t) + (b) = 1 1 0 X(t) + e2t
dt 1 1 12t dt
0 0 3 t e3t
Respostas
{ {
t4
x = 2e3t + 52 e2t 12 x = 8 + 3!2 3
t + 4!
2. (a) (b)
y = 83 e3t 52 e2t 16
4
y = 3! t + t4!
2 3
{ x1 = x2
x1 = x2
3. (a) (b) x2 = x3
x2 = 4x1 + 3x2 + sen3t
x3 = 10x1 6x2 + 3x3 + t2 + 1
[ ] [ ] 1 1 1
1 3t 1 2t
4. (a) X = c1 e + c2 e (b) X = c1 1 e4t + c2 2 et + c3 0 et
4 1
1 1 1
[ ] [ ]
5 cos t 5 sen t
5. (a) X = c1 + 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
2 0 0
(c) X = c1 3 et + c2 cos 2t et + c3 sen 2t et
2 sen2t cos 2t
[ ] ([ ] [ ] )
2 t 2 1 t
6. (a) X = c1 e + c2 tet + e
1 1 0
1 1 0
(b) X = c1 1 e2t + c2 0 et + c3 1 et
1 1 1
3 0 0 1
(c) X = c1 4 et + c2 1 e2t + c3 1 te2t + 0 e2t
2 1 1 1
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
[ ] [ ] [ ]
4 3t 2 3t 12t 4/3
7. (a) X = c1 e + c2 e +
1 1 4/3
1 1 0 14 e2t + 21 te2t
(b) X = c1 1 + c2 1 e2t + c3 0 e3t + et + 41 te2t + 21 te2t
1 2 3t
0 0 1 2t e
79
Referncias Bibliogrcas
[3] Hildebrant, F. B. Advanced Calculus for Applications, Prentice-Hall, Englewood Glis, New Jersey,
1976.
80