Escolar Documentos
Profissional Documentos
Cultura Documentos
23 de novembro de 2015
Prefcio
Trata-se de um texto didtico para a disciplina "EQUAES DIFERENCIAIS"(ministrada pelo
Departamento de Matemtica Aplicada da UFF), cujo objetivo a resoluo de equaes diferenciais
ordinrias por srie de potncias (incluindo o mtodo de Frobenius) e da transformada de Laplace,
bem como sistemas simples de equaes diferenciais ordinrias. Nesse sentido, faz-se preliminarmente
um estudo bsico das sries e da transformada de Laplace.
Este texto baseia-se consideravelmente nas referncias bibliogrcas e 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.
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 . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
4
4
5
7
11
14
16
21
24
33
. 35
. 35
. 37
3 Transformada de Laplace
3.1 Denio . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.2 A linearidade da transformada de Laplace . . . . . . . . . . . . . . . .
3.3 Condies sucientes para a existncia da transformada de Laplace e o
assinttico sob essas condies . . . . . . . . . . . . . . . . . . . . . .
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 Transformada de Laplace de funo peridica . . . . . . . . . . . . . .
3.13 Clculo de L1 {f(s)
g (s)} por convoluo . . . . . . . . . . . . . . . .
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 . . . . . . . . . . . . . . . . . . . . . . . . . . .
58
. 58
. 58
. . . . . . . . .
. . . . . . . . .
comportamento
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
37
39
41
41
42
46
54
58
59
60
60
61
63
63
65
65
66
67
67
68
69
70
72
Constantes
. . . . . . . .
. . . . . . . .
. . . . . . . .
. . . . . . . .
. . . . . . . .
. . . . . . . .
. . . . . . . .
. . . . . . . .
. . . . . . . .
. . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
78
78
78
79
80
81
82
83
85
88
91
93
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
ak (n = m, m + 1, )
k=m
[ ou seja,
sm
sm+1
sn
am (1o termo)
am + am+1
=
=
..
.
=
am + am+1 + + an
(termo geral) ]
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
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 .
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
Uma frmula da soma da srie geomtrica com o termo inicial mais genrico q i (i N), em vez do
termo inicial q 0 = 1, a seguinte, deduzida a partir dos resultados j obtidos acima:
i1
i
i
1
1
q
q
qk =
qk
qk =
se |q| < 1 .
=
1q
1q
1q
k=i
k=0
k=0
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
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
k=0
Segue desse teorema o critrio do termo geral para a divergncia: se lim ak difere de zero ou no
k
Exemplos:
i)
[
]
{
ak = 1 + (1)k =
2 se k for par
0 se k for mpar ,
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
[
]
k
lim
ak =
1 + (1) = , de acordo com o Teorema 1.
n k=0
k=0
k2
k2
k2
diverge,
pois
lim
=
1
=
0.
Em
vista
disso
e
do
fato
de
s
=
ser
n
2
2
k k 2 + 3
k=0 k + 3
k=0 k + 3
k2
uma sequncia crescente (por ser formada de termos positivos), temos que
= .
2
k=0 k + 3
(
)
iii) A srie
1/k satisfaz a condio necessria de o seu termo geral tender a zero lim 1/k = 0 ;
ii)
k=1
k=1
)
lim 1/k 3 = 0 e
(1)k ak = a0 a1 + a2 a3 +
k=0
(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
k=0
decrescente e lim ak = 0 .
k
1
(1)k
Exemplo: A srie
converge, pois satisfaz as condies do Teorema 4: alternada, e a
ln
k
k=2
1
sequncia ak =
positiva, decrescente e tende a zero.
ln k k2
1.3
k=0
funo f contnua, positiva, decrescente satisfazendo f (ak ) = ak para k l ento aquela srie ser
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
b
1
f (x) dx = lim
dx = lim ln(ln x) = lim ln(ln b) ln(ln 2) = ,
b 2 x ln x
b
b
2
2
i) A srie
ak , com ak =
(!" , 1] : diverge
1
1
1
= 1 + p + p + ,
p
n
2
3
n=1
1
7
1
dx = lim
b
xp
b
xp+1
b p + 1 1
xp dx = lim
)
(
1
1p
1
= se p (0, 1)
lim
b
1 p b
| {z }
)
(
=
1
1
1
1
=
se p (1, ) ,
lim
p1
b
p
b
p
| {z }
ak converge
bk converge
a)
b)
k=0
k=0
ak diverge
k=0
bk diverge
k=0
Exemplos:
i) A srie
1
1
sen .
k
k
sen
k=1
1
1
1
sen 2 .
k
k
k
em
radianos
k=1
k=1
k
.
k 2 + 2k + 5
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
1
1
n para n 1 ,
n
n2
2
8
e a srie
(geomtrica) convergente:
n
n=3 2
( )n
1
1
(1/2)3
1
=
=
=
.
n
2
2
1 1/2
4
n=3
n=3
ak absolutamente convergente se
k=0
k=0
sen k
sen k
1
| 2 . Logo, ela prpria convergente.
k2
k
ak , com ak = 0, tal que L = lim |ak+1 /ak | exista ou seja innito. Podemos
k
k=0
armar que
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
k=0
L = lim |
k
ii) A srie
ak+1
2k+1 / (k + 1)!
2k+1
k!
2
| = lim
= lim
= lim
= 0<1 .
k
k
k 2k (k + 1)!
k k + 1
ak
2 / k!
k=1
ak+1
(k + 1)k+1 / (k + 1)!
(k + 1)k+1
k!
| = lim
= lim
k
k
k
k
ak
k / k!
kk
(k + 1)!
(
)k
)k
(
(k + 1)k
(k
+
1) 1
1
k+1
= lim
= lim 1 +
= e > 1
= lim
k
k
kk
k
k
k+
1 k
L = lim |
n=1
an+1
(n + 1) xn+1
n+1
| = lim |
| = |x| lim
= |x| 1 = |x| ,
n
n
n
an
nx
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).
n=1
x=1
n=1
n=1
n
n xn
x=1
n=1
iv) A srie
5 + (1)k
k=0
2k
=1+
1
1
1
1 1
+ +
+
+
+ ,
3 4 12 16 48
formada por duas sries geomtricas de razo 1/4 (uma constituda pelos termos pares e a outra, pelos
termos mpares), tal que
lim |
ak+1
| =
ak
lim |
5 + (1)k+1
5 + (1)k+1
6 2k
1
lim
|
=
6 2k+1
5 + (1)k
2 k 5 + (1)k
1
1 51
1 5+1
3
=
se k tomando valores mpares ;
2 51
4
logo, esse limite no existe, o que inviabiliza a aplicao do critrio da razo enunciado acima() .
Teorema 9: Critrio da raiz
k=0
k
|ak | exista ou seja innito. Podemos armar que
k=0
)
(
1
k3
1
1
1 3 k
1
lim lnkk
3( lnkk )
3/k
= e0 = < 1 . ()
=
lim k
=
lim e
= e
3k
3 k
3 k
3
3
3
Outro exemplo: vimos, no Exemplo (iv) logo acima, que o critrio da razo (teorema 8) falha com
5 + (1)k
a srie
. Vamos, entretanto, empregar o critrio da raiz; uma vez que
6 2k
k=0
1
1
k 5 + 1
= k k =
se k for par
62
2
2
5 + (1)k
k
k
| =
|ak | =
|
6 2k
1k 4
1
k 5 1
() Foi
ln a
lim ln a
10
1.4
Sries de potncias
Seja x uma varivel real e considere um valor x0 xo dessa varivel. Entendemos por srie de
potncias uma srie cujo termo geral o da sequncia an (xx0 )En (uma potncia de xx0 multiplicada
an (x x0 )n = a0 + a1 (x x0 ) + a2 (x x0 )2 +
n=0
n=0
A srie
n=0
n=0
an
1
| ou R = lim
,
n n |a |
an+1
n
convergncia
x 0 "R
x0
x 0 !R
Observe que o teorema nada diz se |x x0 | = R : nos pontos x = x0 R, a srie pode ser
absolutamente convergente, condicionalmente convergente ou divergente. Alm disso, se an se anula
uma innidade de vezes, o raio de convergncia R no pode ser calculado com as frmulas acima; nesse
caso, exemplicaremos como R pode ser determinado por meio dos critrios da razo e da raiz.
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, vamos calcular o raio de convergncia R e o intervalo de convergncia
i) da srie
nn x n :
n=0
( n )n
nn
1
1
1
1
an
| = lim
= lim
(
= lim
lim |
)n = 0 = 0
n+1
1
n
n
n
n
a
(n
+
1)
n
+
1
n
+
1
n
+
1
e
n+1
1+
n
R = ou
1
1
1
=0
= lim
= lim
lim
n n |a |
n n nn
n n
n
e, portanto, a srie
nn xn s converge em x = 0 .
n=0
11
xn
:
n=0 n + 2
ii) da srie
an
1/(n + 2)
lim |
| = lim
=1
n an+1
n 1/(n + 3)
ou
R=
1
1
lim
= lim
= lim n n + 2 = 1
n
n
n
1
|an |
n+2
xn
converge x (1, 1) .
n=0 n + 2
1 [
Analisemos a convergncia nos ponto x = 1. Se x = 1, temos a srie divergente
=
n=0 n + 2
1]
1
. Se x = 1, temos a srie alternada
, que, segundo o Teorema 4, convergente
(1)n
n
n
+
2
n=2
n=0
(condicionalmente convergente, obviamente).
xn
Resposta: A srie
converge no intervalo [1, 1), sendo R = 1 .
n=0 n + 2
iii) da srie
xn
:
n=0 n!
an
1/n!
lim |
| = lim
= lim (n + 1) =
n 1/(n + 1)!
n
n an+1
R = ou
1
1
= lim
= lim n n! = =
lim
n
n
n
|an | n 1/n! n
iv) da srie
xn
converge x R .
n=0 n!
(1)n (x 3)n
:
2n n
n=1
2n+1 (n + 1)
an
|
=
lim
=
2
lim
|
2n n
n an+1
(1)n (x3)n
R = ou
converge x (32, 3+2) = (1, 5) .
1
n=1
2n n
n
nn = 2
lim
2
=
lim
n n |an | n | {z
n
2
Analisemos a convergncia nos pontos extremos desse intervalo. Se x = 1, temos a srie divergente
1
(1)n
(1)n (x 3)n
v) da srie
5 + (1)n
xn :
n
6
2
n=1
5 + (1)n
an
4
so tais que lim |
| = 3 ou
, conforme n tomando
n
n an+1
62
3
valores pares ou mpares, respectivamente (isso j foi vericado na pg. 10); assim, por no existir esse
limite, calculemos o raio de convergncia usando a frmula de R envolvendo a raiz n-sima:
Os coecientes an =
1
1
R = lim
= lim
n n |a |
n
5 + (1)n
n
n
|
|
6 2n
6 2n
lim
n 5 + 1 = 2
z }| {
n 6
lim n
= 2 lim
=2
n
n
51
4
12
isto , R = 2, convergindo a srie no intervalo (2, 2). Uma vez que, nos extremos desse intervalo, a
srie toma as formas
n
n
5 + (1)n n
5
+
(1)
5
+
(1)
5 + (1)n
n
n
x
=
(1)
e
x
=
,
6 2n
6
6 2n
6
n=1
n=1
n=1
n=1
x=2
x=2
que so sries divergentes (pois o termo geral no tende a zero), temos, como resposta, que a srie dada
converge no intervalo (2, 2).
vi) da srie
(1)n (x 5)2n
:
64n n2
n=1
(1)n/2
na forma
an (x 5)n , com an = 0 se n = 1, 3, 5, e an =
se
n
=
2,
4,
6,
.
64n/2 (n/2)2
n=1
Nesse caso, empregamos o critrio da razo ou o da raiz para determinar os valores de x que tornam
(1)n (x 5)2n
convergente a srie
cn , onde cn =
.
64n n2
n=0
Para x = 5 (ponto no qual a srie obviamente convergente), o critrio da razo fornece
cn+1
(x 5)
64 n
| = lim | n+1
|=
n 64
cn
(n + 1)2 (x 5)2n
(x 5)2
O mesmo resultado obtido com o critrio da
(1)n (x5)2n
(x5)2
n
n
lim
|cn | = lim
|
|
=
n
n
64n n2
64
2(n+1)
lim |
}|
{
( n )2
(x 5)
lim
<1
n n + 1
64
< 64 8 < x 5 < 8
raiz:
n 2
1
lim
3 < x < 13 .
2 lim ln n
ln n2
n
uma vez que lim
n2 = lim (n2 )1/n = lim e n = e n n = e2(0) = e0 = 1 .
n
(1)n (x 5)2n
Por outro lado,
64n n2
n=1
x=3 ou 13
(1) (x 5)
64n n2
n=1
n
Resposta:
vii) da srie
(1)n
absolutamente convergente.
n2
n=1
2n
(1)n (x 5)3n
:
64n n
n=1
Nesta srie nota-se a ausncia de toda potncia (x 5)k em que k no seja mltiplo de 3, motivo
pelo qual novamente convm empregar os critrios da razo ou da raiz.
(1)n (x 5)3n
Com cn =
, e para x = 5, obtemos, pelo critrio da razo,
64n n
n
{
(x 5)
64 n
|x 5|
cn+1
n
| = lim | n+1
|=
lim
<1
lim |
n 64
n
cn
64 n n + 1
n + 1 (x 5)3n
3
|x 5|3 < 64 |x 5| < 64 = 4 4 < x 5 < 4
3(n+1)
}|
1<x<9.
(1)n (x 5)3n
1
|x5|3
n
lim
|cn | = lim n |
< 1 |x 5|3 < 64 1 < x < 9
|=
n
n
n
n
64
64 n
lim
n
n
1
ln n
ln
n
lim
pois lim n n = lim ( n )1/n = lim e n = e 2 n n = e0 = 1 .
n
Alm disso,
1
(1)n (x 5)3n
13
(1)n (x 5)3n
(1)n
=
uma srie alternada convergente.
64n n
n
n=1
n=1
x=9
Resposta:
(1)n (x 5)3n
Teorema 11
Uma srie de potncias
n=0
a) sua soma
an (x x0 )n = f (x) uma funo contnua;
n=0
an
(x x0 )n+1 = f (x) dx .
c) ela pode ser integrada termo a termo para se obter
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 pode ser diferenciada um nmero qualquer de vezes.
1.5
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
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 (x0 )
f (x0 )
f (n) (x0 )
(x x0 )n = f (x0 ) + f (x0 ) (x x0 ) +
(x x0 )2 +
(x x0 )3 + .
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. (Esse teorema nada diz sobre o
intervalo de convergncia, que pode se determinado por meio do Teorema 10.)
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 =
n=0
(1)n
(x R) .
x3
x5
x7
x2n+1
=x
+
+
(2n + 1)!
3!
5!
7!
x2n
x2
x4
x6
=1
+
+
(2n)!
2!
4!
6!
14
(x R) .
(x R) .
d) ln x =
(1)n1
n=1
(x 1)n
(x 1)2
(x 1)3
(x 1)4
= (x 1)
+
+
n
2
3
4
(0 < x 2) ,
ln(1 + u) =
(1)n1
n=1
4 3x
e) x e
f)
=x
un
n!
n=0
un
u2
u3
u4
=u
+
+
n
2
3
4
(1 < u 1) .
(3x)n
(1)n 3n x4+n
9x6 27x7
=x
=
= x4 3x5 +
+ .
n!
n!
4
6
u=3x
n=0
n=0
4
1
x2
+ .
=1
2
1 + x2
A srie geomtrica
n=0
h)
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
4x3
4n xn+2
x2
4x4
4x5
=
=
+
(4x/3)n =
=
+
+
+
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 e depois integramos essa srie termo a termo. Esse mtodo funciona
bem, obviamente, quando mais fcil expandir f (x) em srie do que f (x).
i) f (x) = arctan x f (x) =
f (x) =
1
=
(1)n x2n (srie j obtida acima, vlida para 1 < x < 1)
1 + x2
n=0
(1)n x2n+1
+ c. Como essa srie convergente para x = 1 (segundo o critrio
2n + 1
n=0
para sries alternadas), e c = 0 [ pois f (0) = 0 ], temos, nalmente, que f (x) = arctan x =
x3
x5
x7
(1)n x2n+1
=x
+
+
2n + 1
3
5
7
n=0
j)
f (x) = ln
(1 x 1) .
1+x
1
x2n+1
2 n
f (x) =
=
+ c.
(x
)
se
1
<
x
<
1
f
(x)
=
2
1x
1x
2n + 1
n=0
n=0
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, no
2
conhecemos a integral indenida de ex ; contudo,
x2
e dx =
0
1 1 2n
1 [ x2n+1 ]1
(x2 )n ]
dx =
x dx =
n!
n! 0
n! 2n + 1 0
n=0
n=0
n=0
15
1.6
Se
ak converge ento, fazendo sn
ak e usando o fato que lim sn = nmero nito s, temos
k=0
k=0
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:
a1
!a2
a3
!a 4
a2n !1
"
"
"
"
s3 $ s
2n!1 $ s
!!!!"!!!!#
s1
%
"
"
s4
$ s2n $
!!!!!!"!!!!!!
#
"
s2
!!!"!!
!#
s0
%
a 0 a1 !a2 a 3
a0 a1
"
limite
das duas
sequncias
sequncia crescente
&
a0
sequncia decrescente
lim s2n = s .
s =s
Teorema 5
Como
nito
z }| {
k=0
k=0
k=l+1
k=0
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
k=l+1
ak convergente.
k=l+1
k=l
>
ou seja,
ak = ak al = (divergente).
k=l+1
k=l
y
rea
al 1
al
al
rea
al 2
al
al
rea
al
rea
al 1
!
y # f (x )
y # f (x )
rea
an "1
rea
an
an !
an !
!
l
!
l
!
1
!
n "1
!
n
!
l
!
l
!
n
!
n "1
Teorema 6
Prova do item (a): A sequncia sn =
(pois sn =
k=l
ak
bk <
k=l
k=l
k=0
k=l
k=0
k=0
k=0
17
k=0
ak .
ak tambm
Teorema 7
A srie
ak convergente, pois
k=0
ak =
]
)
|ak | + ak |ak |
(1)
|ak | + ak
k=0
k=0
k=0
{z
convergente(2 )
|ak |
k=0
| {z }
convergente
p/ hiptese
(2)
)
|ak | + ak , usamos o critrio da comparao: temos,
k=0
k=0
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
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
}
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 ,
1/k p ,
k=1
temos que
1/(k + 1)p
lim |ak+1 /ak | = lim |
| = lim
k
k
k
1/k p
k
k+1
)p
= 1p = 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 k . Logo, por comparao com a srie geomtrica
q k (convergente, pois
k=0
18
|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,
1
1
1
1
1
k
k
) = 0 =1 ,
L = lim
|ak | = lim
= lim p/k = lim
= (
ln k
n
n
n k
n p( lnkk )
kp
e
p
lim
e
e k k
onde foi usado o resultado obtido no rodap da p. 10.
Teorema 10
Calculemos o parmetro L denido no Teorema 8, que o critrio da razo:
L = lim |
n
onde R lim |
n
an+1 (x x0 )n+1
an+1
|x x0 |
|x x0 |
| = |x x0 | lim |
|=
=
,
a
n
n
n
an (x x0 )
an
R
lim |
|
n an+1
(I)
an
| . Assim, a srie divergir se
an+1
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)
acima, mas agora com uma nova frmula de clculo do raio de convergncia, que acabamos de deduzir.
CQD.
Teorema 11: V. referncia [3], vol. 4, se. 8.3.
Teorema 12
19
f (x)
ak (x x0 ) = a0 +
k
k=0
f (x)
f (x)
k ak (x x0 )k1 = a1 +
f (x0 ) = a1 = 1! a1
k=2
k (k 1) ak (x x0 )k2 = 2a2 +
k (k 1) ak (x x0 )k2
k=3
f (x0 ) = a0 = 0! a0
k ak (x x0 )k1
k=2
f (x)
k=1
k=1
ak (x x0 )k
f (x0 ) = 2 1 a3 = 2! a2
k (k 1) (k 2) ak (x x0 )k2 = 3 2 a3 +
k=3
k (k 1) (k 2) ak (x x0 )k3
k=4
f (x0 ) = 3 2 1 a3 = 3! a3
..
.
f (n) (x0 ) = n! an an = f (n) (x0 )/ n! . CQD .
20
1.7
Exerccios
n3 + 3n + 1
a) an =
4n3 + 2
b) an = n + 1 n
1
a)
b)
ek
k=2 3
k=0
c)
(1)k 2k
c) an =
d)
k=0
2
1+
n
2k/2
)n
e)
k=0
d) an =
(1)k
k=1
n
n
22k1
7k
2k
k2
k+5
a)
sen
b)
c)
k ln
3
2
k
k
+2
k=1
k=1
k=1
4. Usando o critrio da integral, determine a convergncia de:
1
1
b)
a)
2
2
k=2 k ln k
k=1 k + 1
5. 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
6. Usando o critrio da comparao, mostre a convergncia de:
k1
1
1
a)
c)
b)
3
2 ln k
3
2k
+
1
k
k
(1+
k
)
k=2
k=2
k=1
f)
d)
d)
1
k=2 (k ln k)(ln ln k)
ln k
3 k
k=1 k
e)
ln k
2
k=1 k
ln k
3/2
k=1 k
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
g)
e)
f)
2
ln
k
ln
k
k ln k
k=2
k=2
k=2
2k 9
2 3k + 4
k
k=0
h)
ln k
k=2
d)
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
9. Usando o critrio da razo, determine a convergncia ou divergncia de:
(1)k
3k + k
k!2k
(4 )k
a)
b)
c)
d)
k
k
3
k!
k=1
k=0 2 + 1
k=1 k
k=1 k + 4
10. Usando o critrio da raiz, mostre a convergncia de:
(
)k2
1
k
a)
b)
k
k=1 k
k=1 k + 1
11. 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)
21
c)
(2n + 1)xn
n!
n=1
d)
xn+1
n1
n=2 3
(1)k k 3
ln k
1
(1)k+1
(1)k sen
a)
b)
c)
4
k
k
k=1
k=1
k=2 k + 3
d)
(1)k 2k k
k+1
k=2 (k + 1) e
(1)k
k2
1
a)
b)
(1)k k
c)
k sen
4
k
k(k + 2)
k=1
k=0
k=1
14. (Sries telescpicas) Seja ak uma sequncia convergente e denote lim ak a. Mostre que
k
a)
(ak ak+1 ) = aj a
b)
k=j
h)
k=6
k=0
d)
k=1
1
1
=
(3k 2)(3k + 4)
12
(
k
k)
k
2k + 1
3
1
1
=
e)
=
2
2
2
k 1
4
k (k + 1)
9
k=2
k=3
[
]
( k + )
( k )
31
g)
sen
=
sen
3k + 6
3k + 3
2
1
=1
k(k + 1)
k=1
)
(
1
1
1
=
f)
4k + 1 4k + 5
25
c)
k=j
1
1
4k
5
=
j)
=
k(k + 1)(k + 2)
4
(k 2 1)2
4
k=1
k=2
)
(
k+4
k+4
k+3
l)
k ln
ln
= 4 ln 7 6
k ln
k3
k2
k2
i)
)
k+1 = 21
k+1
k=2
k=4
3k 1000
k4
a)
b)
k 2k
k 6 3k 5
k=1
k=1
(1)k ln k
k=1 2k + 3
5 + cos k 3
i)
k+1
k=0
e)
f)
ln2 k 1
2
k=2 k + ln k
j)
cos k
k=1 k + 2
c)
ek
k=1 k + 1
g)
ln k 1
2
k=1 k ln k
k9
2
k=1 k! k
(
)k
k+1
h)
2k
k=1
d)
(1)n
n + 3 (x 7)n
(2x)n
a)
xn
b)
c)
2
2
n
(n + 5)
n=1
n=1
n=1 (n + 1) + 2
d)
5n (x 1)n
n!
n=0
e)
nn (x 2)n
2n
n=0
f)
(x + 2)3n
n
n=0 8 ln(n + 2)
17. No intervalo (1, 1), desenvolva as seguintes funes numa srie de MacLaurin:
a)
x
(1 x)2
b)
x2
(1 x)3
c)
a) f (x) =
(n + 1)xn
b) g(x) =
(n 1)xn
d) u(x) =
n=0
n=2
nx2n+1
n=1
22
x+1
3x + 2
c) h(x) =
n=3
x2n+1
19. Desenvolva as seguintes funes numa srie de MacLaurin, fornecendo o intervalo de convergncia:
x
x
x
cos t 1
sen t2
a)
dt
b)
dt
c)
ln(1 + 125t3 ) dt
t
t2
0
0
0
20. Calcule a soma das seguintes sries:
(1)n1 22n
(1)n 2n+1
a)
b)
2n+1
n
2
(2n + 1)!
n=1
n=1
c)
(1)n
2n + 1
n=0
1
divergente
a)
(ln
k)q
k=2
1
b)
convergente somente se q > 1
q
k=2 k(ln k)
1
c)
convergente somente se p > 1
p
k=2 k ln k
1
d)
convergente somente se p > 1 ou p = 1 e q > 1
p
q
k=2 k (ln k)
23. Mostre que a srie
k!ak
ln 1 + ln 2 + + ln(k 1)
ln x dx ln 2 + ln 3 + + ln k ,
1
k=0
b) do problema 8b
c) do problema 8c
d)
k=0
e)
k
k=0 k k
f)
4
k k2
k=2
23
k2 3
k9 + k2 + 1
1.8
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
a)
( 1 )k
k=2
1
se |q| < 1.
1q
(1/3)
1
=
1 1/3
6
)k
1
e
=
1
1e
e1
k=0
k=0
(
)
1
1
2
(1)k 2k =
c)
=
=
2
1
(1/2)
3
k=0
k=0
b)
d)
ek =
k/2
k=0
e)
)
1/2 k
k=0
(1)k
k=1
e1
1
2
2+1
2+ 2
1
=
=
=
=2+ 2
=
2
1
1 21/2
1 1/ 2
21
2+1
22k1
1
1
(22 /7)1
2
2
2
k
(2
/7)
=
=
=
=
7k
2 k=1
2 1 (22 /7)
7+4
11
Prob. 3
Neste problema, basta mostrar que lim ak no exite ou, existindo, que lim ak = 0 .
k
k2
a) lim ak = lim sen
no existe (ak oscila nos valores 0 e 1)
k
k
2
2k
k k 3
b) lim ak = lim
k
(l H)
2k ln 2
k 3k 2
lim
(l H)
k+5
ln k+2
k+5
c) lim ak = lim k ln
= lim
k
k
k k 1
k+2
2k ln2 2
k
6k
lim
(l H)
(l H)
2k ln3 2
= (no existe)
k
6
lim
3
(k+2)(k+5)
lim
k
k 2
3k 2
= 3 = 0
k k 2 + 7k + 10
= lim
Prob. 4
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
1
1
1
dx
=
ln
x
+
=0+
=
=
2
ln ln 2
ln 2
ln 2
2
x ln x
Prob. 5
Devemos mostrar que a integral imprpria que satisfaz as condies do critrio da integral (v. o
incio da resoluo do Prob. 4 no existe.
1
1
x
2
a)
dx
=
ln(x
+
1)
ln 2) =
= (ln
2+1
x
2
2 | {z}
1
1
24
dx = 2 ln x = 2 (| ln
} ln 2) =
{z
2
x ln x
1
dx = ln | ln x| = ln
| ln
{z } ln ln 2 =
x ln x
2
b)
2
c)
2
d)
3
1
dx = ln ln ln x = ln
| ln{zln } ln ln ln 3 = (note que ln ln x > 0 se x 3)
(x ln x) ln ln x
3
Prob. 6
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
3
= 2 : t.g. de uma sr. conv.
3
2k + 1
2k + 1 1
2k
1
1
1
a)
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
k
1
ln k
e) 2 2 = 1,5 : t.g. de uma sr. conv.
k
k
k
c)
Prob. 7
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
2k k
1
c) 2
2
=
: t.g. de uma sr. div.
2
k 3k + 4
k 3k + 3k + 4k
5k
2k 9
2k k
1
d) 2
2
=
(k 9) : t.g. de uma sr. div.
k 3k + 4
k 3k + 3k + 4k 2
5k
1
1
e)
: t.g. de uma sr. div.
ln k
k
1
1
1
f)
= : t.g. de uma sr. div.
(ln k)2
k
( k)2
1
1
1
g)
= : t.g. de uma sr. div.
k
k ln k
k k
1
1
1
h)
= 1/4 : t.g. de uma sr. div.
k
ln k
k
a)
k2
Prob. 8
a) Conv., pois
k+1
k+k
2
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 6 6 + 6
5
b) Conv., pois
25
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.)
a) L = lim |
k
3k+1 + k + 1 2k + 1
k +
1
1
3
+
1 + k
k
k+1
k
k
k
3
+k+1 2 +1
3
2
3
2
= 3 >1
b) L = lim
k
= lim
k
= lim
0
0
k
k
2k+1 + 1
3 + k k 2k+1 + 1
2
3 +k
1
k
k
k
2
3
2 + k
1 + k
2
3
(
)k
k+1
k
2
1
(k + 1)! 2
k
k
(k +
1)!
1
= 2 lim
c) L = lim
= lim
=2 <1
k (1 + 1/k)k
k (k + 1)k+1
k k + 1
k! 2k
k!
k+
1
e
k3 + 4
(4 )k+1
k3 + 4
= (4 ) 1 < 1
= (4 ) lim
3
k
k (k + 1) + 4 (4 )
k (k + 1)3 + 4
d) L = lim
Prob. 10
Seja L lim
|ak | , onde ak o termo geral da srie dada. Abaixo, os resultados L < 1 e L > 1
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
)k2
( k )k
1
1
= lim
= lim
= <1
k
k k + 1
k (1 + 1/k)
e
Prob. 11
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 }| {
n
(x 3)n+1 /(n + 1)
a) lim |
| = |x3| lim
= |x3|1 < 1 1 < x3 < 1 x > 2 e x < 4 .
n
n
n
(x 3) /n
n+1
n
n
(x 3)
(1)
=
, 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
1
1
}|
{
z }| { z
(n + 1)x
nx
n+1
n3 + 1
b) lim |
3
| = |x| lim
= |x| < 1
n (n + 1)3 + 1
n
n +1
n
(n + 1)3 + 1
n
nx
n
, que uma srie alternada convergente.
=
(1)n 3
3
n +1
n=1 n + 1 x=1
n=1
| {z }
[ 0
n ]
nxn
n
convergente.
=
3
3
3
n=1 n
n=1 n + 1 x=1
n=1 n + 1
n+1
c) lim |
n
[2(n + 1) + 1]xn+1
(n + 1)!
d) lim |
n
1
n+1
z }| { z }| {
(2n + 1)xn
2n + 3
n!
| = |x| lim
= 0 x.
n 2n + 1 (n + 1)!
n!
xn+2 /3n
|x|
|=
< 1 |x| < 3
n+1
n1
x
/3
3
26
Resposta: x [1, 1]
Resposta: x R
xn+1
=9
(1)n1 , que uma srie divergente.
n1
x=3
n=2 3
n=2
xn+1
=
9, que uma srie divergente.
n1
x=3
n=2 3
n=2
Resposta: x (3, 3)
Outro modo, baseado no fato de que a srie dada a uma srie geomtrica, o seguinte:
( )n1
xn+1
x
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
=
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, |
|
|
=0<1, e|
no existe.
1 x x=0
1 x x=1
A unio dos valores de x que satisfazem a inequao fornece a resposta: x < 1/2 .
f)
Prob. 12
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
k
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
c) lim ak = lim
k
lH
lim
k3
1
= lim
0= 0 X
:
3
+ 3 k k +
(3/k
)
k k 4
1
2k k
k
=
lim (2/e)k
=0X
k+1
k (k + 1) e
e k | {z } k + 1
|
{z
}
0
d) lim
Prob. 13
a) Vejamos a srie
| (1)
k(k+2)
k=1
pois
1
k2 +2k
1
k2 +2k2
|=
k=1
1
k2 +2k
k 3
(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
=
k=1
k(k+2)
convergente.
27
k(k+2)
k 2
k
k2
b) Vejamos a srie
| (1)
| =
; ela convergente segundo o critrio da razo: lim
4k
4k
k
k=1
k=1
(
)
2
k+1
(k+1) /4
k+1 2
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,
0
k
n
n
(((
((
a)
(ak ak+1 ) = lim
ak
ak+1 = lim
aj + ( aj+1
+
a(
+(
+ an )
j+2
(
(
(
n k=j
n
(
k=j
k=j
(
[
]}
((
(
(
(
(+ + an ) + an+1
( aj+1
+
= aj lim an+1 = aj a
j+2
(a(
n
(((
| {z }
a
{[
(]
(((
((
(ak ak+2 ) = lim
ak
ak+2 = lim
aj + aj+1 + ( aj+2
+
a(
+(
+ an )
j+3
(
(
n k=j
n
((
k=j
k=j
(
(
[
]}
(
(
(
((
( aj+2
+ a(
+ + an ) + an+1 + an+2 ,
= aj +aj+1 lim an+1 lim an+2 = aj +aj+1 2a
j+3
n
n
((((
| {z } | {z }
b)
{
n
( 1
1
1 )
c)
=
=
(ak ak+1 ) = a1 lim ak = 1 0 = 1
k
k
k+1
k=1 k(k + 1)
k=1 |{z}
k=1
| {z }
ak
ak+1
1
1
d)
=
=
2
k=2 k 1
k=2 (k + 1)(k 1)
k=2
= (1/2)
1/2
1/2
+
k+1 k1
f)
k=1
1
1
4k + 1 4k + 5
| {z } | {z }
ak
ak+1
)
=
1
(ak ak+1 ) = a6 lim ak =
k
25
k=6
| {z }
ak+1
( k + )
( k
31
sen
sen
=
(ak+1 ak ) = lim ak a1 = sen sen =
k
3k + 6
3k + 3
3
6
2
k=1
{z
} |
{z
}
|
)]
ak+1
h)
ak+1
k 2 (k
k=6
g)
ak1
ak
(
1
1
1 )
2 k=2 k 1 k + 1
| {z } | {z }
]
[ 1
2k + 1
1
1
=
=
(ak ak+1 ) = a3 lim ak =
2
2
2
k
+ 1)
k
(k
+
1)
k=3 |{z}
k=3
| {z } 9
| {z }
k=3
=
)
k=2
e)
ak
( 1/6
1/6 )
1/6
1
1/6 1/6
1
= a0 + a1 2 lim
=
=
+
20 =
k
(3k
2)(3k
+
4)
3k
2
3k
+
4
3k
2
2
1
12
k=0
k=0 | {z }
| {z }
ak
1
i)
=
k(k
+
1)(k
+ 2) k=1
k=1
ak+2
]
[ (
1
1/2 )
1
1 ) 1( 1
1 )
1
+
+
=
k
k+1 k+2
k
k+1
2 k+1 k+2
k=1 2 |{z}
| {z }
| {z } | {z }
( 1/2
ak
ak+1
k
) 1 1
1(
1) 1(
1 ) 1
1(1
1
=
a1 lim
b1 lim
= (1 0)
0 = =
k k
k k + 1
2
2
2
2 2
2 4
4
]
[
1
4k
1
1
5
1
= a2 + a3 lim
j)
=
=1+ 0=
2
2
2
2
2
k (k 1)
(k + 1)
4
4
k=2 (k 1)
k=2 (k 1)
| {z } | {z }
ak
ak+2
k
k+1
k)
k
k + 1 = a2 lim k k = 2 1
|{z}
| {z }
k
k=2
ak
ak+1
28
bk+1
ak+1
ak
}|
{]
(
)
[ z }| { z
k+3
k+4
k+4
k+3
k+4
l)
k ln
k ln
ln
=
k ln
(k + 1) ln
=
(ak ak+1 )
k3
k2
k2
k3
k2
k=4
k=4
k=4
ln
= a4 lim ak = 4 ln 7 lim
k
= 4 ln 7 lim
k+3
k3
k 1
lH
= 4 ln 7 lim
6
k2 3
k 2
6k
= 4 ln 7 6
3
k6
2
k k 2
Prob. 15
3k 5
2
k4
k4
k
a) Temos que
=
= 2 ,
6
6
6
6
k
k 3k 5
k (3k 5)
k (k /2)
que o termo geral de uma srie convergente. Logo, por comparao, a
srie dada convergente.
Note que a desigualdade acima vlida se 3k 5 k 6 /2, isto , para
k maior que o valor k0 indicado na gura direita.
k0
b) A srie convergente, pois, para ela, o parmetro L no teste da razo menor que 1:
3(k + 1) 1000
k 2k
1
3k 997
k
1
L = lim |
|=
lim
= <1.
k
(k + 1)2k+1
3k 1000
2 k 3k 1000 k + 1
2
| {z } | {z }
1
ek+1 k + 1
k |=e>1.
k+2
e
d) A srie convergente segundo o teste da comparao, uma vez que se consegue mostrar que, para
k maior ou igual que algum natural l, seu termo geral maior que o termo geral bk de uma srie
convergente. De fato, temos que
k9
k9
2k 9
=
bk
k! k 2
k! k!/2
k!
e) A srie convergente consoante o critrio para sries alternadas, pois a sequncia ak = (ln k)/(2k+3)
positiva, decrescente e tende a zero quando k .
f e g) Por comparao, constatamos que as sries so divergentes, pois, para k maior que algum natural
l, temos que
ln2 k 1
ln2 k (ln2 k)/2
(ln2 k)/2
1/2
ln k (ln k)/2
(ln k)/2
1/2
ln k 1
=
=
: t.g. de srie div. [v. Exemplo (i) na pg. 7] .
2
2
2
k ln k
k ln k
k ln k
k ln k
(
)k
h) Pelo critrio da raiz, com ak = k+1
, vericamos que a srie convergente:
2k
(
1
k + 1 )k
k+1
k
lim k |ak | = lim
= <1.
= lim
k
k
k 2k
2k
2
i) Por comparao verica-se que a srie divergente:
5 + cos k 3
51
2
z }| {
(1)n /n
an
| = lim |
| = 1 x0 R = 1 ou 1
a)
[ (1)n /n ] xn R = lim |
n (1)n+1 /(n + 1)
n an+1
n=1
29
[ (1)n /n ] xn
x=1
n=1
[ (1)n /n ] xn
x=1
n=1
=
=
[1/n] divergente
n=1
Resposta: (1, 1]
n=1
a
n+3
n + 3 ( n + 6 )2
n
n
b)
(x
7)
R
=
lim
=
lim
= 1 x0 R = 6 ou 8
2
n an+1
n
n+4 n+5
n=1 (n + 5)
|
{z
}
|
{z
}
| {z }
an
n+3
n+3
n
n
conv., segundo o critrio p/ sries alternadas
(x
7)
=
(1)
2
(n + 5)2
n=1 (n + 5)
n=1
x=6
| {z }
0
[
]
[
]
n+3
n
+
3
n + 3n
2
n
=
Resposta: [6, 8]
(x 7)
=
conv.
2
2
1,5
n2
n=1 (n + 5)
n=1 (n + 5)
n=1
n=1 n
x=8
(2)n
1
an
(n + 2)2 + 2
1
(2)n
| = lim |
x0 R =
xn R = lim |
|=
2
2
n an+1
n (n + 1) + 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]
1
(2x)n
=
(1)n
uma sr. alt. conv.
Resposta: ,
2
2
(n + 1) + 2
2 2
n=1
n=1 (n + 1) + 2 x=1/2
|
{z
}
c)
d)
5n
an
5n (n + 1)!
n+1
(x 1)n R = lim |
| = lim
= lim
=
n+1
n
n
n
n!
a
n!
5
5
n+1
n=1 |{z}
e)
nn
an
2n+1
nn
2 ( n )n
n
(x
2)
R
=
lim
|
|
=
lim
=
lim
n an+1
n 2n (n + 1)n+1
n n + 1 n + 1
2n
n=1 |{z}
Resposta: x R
an
an
= lim
1
2
=0
n + 1 (1 + 1/n)n
| {z } |
{z
}
0
f ) Para a srie
1/e
(x + 2)
(x + 2)3(n+1) 8n ln(n + 2)
,
o
critrio
da
razo
fornece
L
=
lim
|
|=
n
n 8n+1 ln(n + 3)
(x + 2)3n
n=0 8 ln(n + 2)
3n
ln(n + 2)
|x + 2|3
<1
lim
n ln(n + 3)
8
{z
}
|
[
Resposta: x = 2
|x + 2| < 2
2 < x + 2 < 2
4 < x < 0 .
(1)n
: srie alternada condicionalmente convergente
ln(n + 2)
x=4
n=0
]
[
]
[
1
1
1
(x + 2)3n
=
=
: divergente
Resposta: [4, 0)
8n ln(n + 2) x=0 n=0 ln(n + 2)
ln n n=2 n
n=2
n=0
3n
(x + 2)
n ln(n + 2)
8
n=0
Prob. 17
d ( 1 )
d
x
=x
=x
a)
xn = x
nxn1 =
nxn
2
(1 x)
dx 1 x
dx n=0
n=1
n=1
b)
x2
x2 d
x2 d d ( 1 ) x2 d2
x2
2
n
=
(1
x)
=
=
x
=
n(n 1)xn2
(1 x)3
2 dx
2 dx dx 1 x
2 dx2 n=0
2 n=2
n(n 1)
xn
=
2
n=2
30
x+1
x+1
1
x + 1 ( 3x )n (3)n xn+1 { (3)n xn }
=
=
=
+
3x + 2
2 1 (3x/2)
2 n=0
2
2n+1
2n+1
n=0
n=0
]
(3)n1 xn { (3)n xn
1} 1
(1)n 3n1
(1)n 3n n
=
+
+
+
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
c)
Prob. 18
a) f (x) =
d
d (
1 ) 1 x x(1)
1
xn+1 =
x
=
=
dx n=0
dx
1x
(1 x)2
(1 x)2
(n + 1)xn =
n=0
b) g(x) =
d
d
xn1 = x2
xn
dx n=2
dx n=1
n=2
1
d ( x )
x2
= x2
= x2
=
2
dx 1 x
(1 x)
(1 x)2
(n 1)xn = x2
n=2
c) h(x) =
n=3
d) u(x) =
x2n+1 = x
(n 1)xn2 = x2
(x2 )n = x
n=3
nx2n+1 = x3
n=1
n(x2 )n1
(x2 )3
x7
=
2
1x
1 x2
x2 =y
x3
n=1
ny n1 = x3
n=0
d
d( 1 )
y n = x3
dy n=0
dy 1 y
1
x3
= x3
=
(1 y)2
(1 x2 )2
Prob. 19
a)
0
b)
0
cos x
[ z }| n 2n{
]
]
]
x [
x[
(1)n t2n1
cos t 1
1
(1) t
1 (1)n t2n
dt =
1 dt =
dt =
dt
t
(2n)!
(2n)!
(2n)!
n=1
0 t n=0
0 t n=1
0
[
]
x
(1)n
(1)n t2n x
(1)n x2n
=
t2n1 dt =
=
[x R]
2n 0
n=1 (2n)!
n=1 (2n)!
n=1 (2n)! 2n
0
[
]
]
x[
x
(1)n t4n
1
(1)n (t2 )2n+1
(1)n
dt
=
dt
=
t4n dt
2
(2n + 1)!
n=0
n=0 (2n + 1)!
n=0 (2n + 1)!
0 t
0
0
[ 4n+1 ]x
(1)n
t
(1)n x4n+1
=
=
[x R]
n=0 (2n + 1)! 4n + 1 0
n=0 (2n + 1)!(4n + 1)
sent2
dt =
t2
x
(1)n1 53n
(1)n1 53n x3n+1
(1)n1 [(5t)3 ]n
dt =
t3n dt =
.
n
n
n(3n + 1)
n=1
n=1
0
0 n=1
0
Nesse caso, a mxima variao de t dada por (5t)3 (1, 1], ou t (1/5, 1/5 ]; esse o intervalo
de integrao mximo possvel. Vemos ento que x pode variar no intervalo (1/5, 1/5] .
c)
ln[1+(5t)3 ] dt =
Prob. 20
(1)n1 (22 )n
(1)n1 xn
(1)n1 22n
5
=
=
a)
=
ln(1
+
x)
= ln .
2
n
n
n
4
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 2n+1
b)
=
2n+1 (2n + 1)!
n=1 2
(1)n x2n+1
x=
2
]
(1)n x2n+1
=
=1
x
(2n
+
1)!
2
n=0
x=
2
|
{z
}
sen x
c)
(1)
(1)n
(1)n x2n+1
(1)
=
=
arctan
x
=
2n
+
1
2n
+
1
4
n=0
n=0
x=1
x=1
De acordo com o resultado obtido no Exemplo (i) da seo 1.5, pgina 15 .
31
Prob. 21
f (x) = f (0) + f (0) x +
f (15) (0)
1
=
15!
5!
f (0) 2
f (15) (0) 15
x ++
x + =
2!
15!
15!
f (15) (0) =
.
5!
32
senx3 = x3
(x3 )3 (x3 )5
+
3!
5!
Captulo 2
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
=
=
=
n=1
n=1
nan xn1 2x
an x n
n=0
nan xn1
nan xn1
n=1
= a1 +
n=0
2an xn+1
2an2 xn1
n=2
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 .
33
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!
n=3:
a3 =
n=5:
a5
a2n+1
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
(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
4y + y = 4
n=2
an xn =
n=0
n=2
n=2
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
() Estamos comeando a estudar um poderoso mtodo que servir, naturalmente, 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.
34
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
=
..
.
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
2.1
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
A(x)y + B(x)y + C(x)y(x) = 0 ,
(2.6)
(2.7)
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
35
y +
sen x 1 cos x
y +
y(x) = 0.
x }
x }
| {z
| {z
p(x)
q(x)
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 =
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 analiticidade em x = 0 est vericada.
x
1
y 2
y(x) = 0 .
x2 + 1
x +1
Os pontos singulares dessa EDO so as razes de x2 + 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, uma vez que 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 A(x), B(x) e C(x) so polinmios sem fator comum tem, em
x = x0 (real ou imaginrio), um ponto
ordinrio se A(x0 ) = 0
singular se A(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.
36
2.1.2
Se x = x0 for um ponto ordinrio da EDO (2.6), podemos sempre encontrar duas solues line
menos, no intervalo (x0 R, x0 + R), em que R a distncia do ponto x0 ao ponto singular (real ou
no) mais prximo.
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
3i R " 5 intervalo de
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
2.1.3
convergncia
9 x
3i
4 5
4!5
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=3
n(n 1)an x
n2
n=2
2an xn+1
n=0
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.
37
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 x +
+
+
+
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=2
n=4
2a2 a0 + 6a3 x
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
38
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=2
an xn =
n=0
= 2a2 a0 +
n=2
an2 xn2
n=2
an3 xn2
n=3
[
]
n(n 1)an an2 an3 xn2 ,
n=3
donde a2 = a0 /2 e
an
n 3
an3 + an2
n(n 1)
a3
a4
a5
a0
2
a0 + a1
6
a1 + a2
1(
a0 ) a0
=
a1 +
=
+
12
12
2
24
(
)
a2 + a3
1 a0
a0 + a1
=
+
=
20
20 2
6
a1
12
a0
a1
+
30 120
..
.
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.1.4
Considere os dois PVIs seguintes, formados com a EDO j resolvida no Exemplo 1 acima e diferindo
apenas quanto ao ponto do domnio no qual as condies iniciais so denidas:
y 2xy = 0 , y(0) = 2 , y (0) = 5
y 2xy = 0 , y(3) = 2 , y (3) = 5
Como j temos a soluo geral da EDO, dada por
(
)
(
)
x3
x6
x9
x4
x7
x10
y(x) = a0 1 +
+
+
+ + a1 x +
+
+
+ ,
3
45 1620
6
126 5670
falta, para completar a resoluo dos PVIs, determinar as constantes a0 e a1 a partir das condies
iniciais, o que exigir a expresso da derivada de y(x):
(
)
(
)
6x5
9x8
4x3
7x6
10x9
y (x) = a0 x2 +
+
+ + a1 1 +
+
+
+ .
45
1620
6
126 5670
39
S2
(
)
(
)
6 35
9 38
4 33
7 36
10 39
y (3) = a0 32 +
+
+
+ a1 1 +
+
+
+ = 5 .
45 {z 1620
6
126
5670
|
}
|
{z
}
S3
S4
Essas duas equaes formam um sistema algbrico com as duas incgnitas a0 e a1 , o qual, para ser
resolvido, necessrio, antes, executar a difcil tarefar de calcular as somas S1 , S2 , S3 e S4 .
V-se, assim, que a determinao das constantes arbitrrias na soluo geral y(x) torna-se complicada quando y(x) no uma srie centrada no mesmo ponto do domnio no qual so denidas as
condies iniciais. Assim, conclumos o seguinte:
Ao se revolver por srie o problema de valor inicial formado por uma EDO A(x)y + B(x)y +
C(x)y(x) = 0 e condies iniciais dadas pelos valores conhecidos de y(x0 ) e y (x0 ), se x0 for um
ponto ordinrio da EDO, vantagem obter a soluo geral como uma srie centrada nesse ponto,
isto , y(x) =
an (x x0 )n , pois as constantes arbitrrias a0 e a1 podem ser determinadas com
n=0
a0 + a1 (x x0 ) +
an (x x0 )n
y(x0 ) = a0 ,
n=2
y (x) =
a1 +
n an (x x0 )n1
y (x0 ) = a1 .
n=2
Vamos, ento, resolver o segundo PVI acima. Segundo a concluso acima, convm primeiramente
obter a soluo como uma srie centrada em x = 3. Isso ser menos trabalhoso se zermos a mudana
de varivel t = x 3. As transformaes correspondentes das derivadas de y so obtidas pela regra da
cadeia:
dy
dy
dy dt
d ( dy )
d ( dy ) dt
y (x) =
=
= y (t) .
=
= y (t) e, portanto, y (x) =
=
dx
dt |{z}
dx
dt
dx dx
dt |{z}
dx |{z}
dx
y (t)
Com esses resultados, e tendo em conta que y(x) = y(x(t)) = y(t)() , a EDO y 2x y(x) = 0 toma
n=2
n(n1)an tn2
n=2
2an tn+1 +6
n=0
= 2a2 + 6a0 +
| {z }
0
n=0
an tn
n=0
an tn =
n(n1)an tn2
n=2
n=3
a2 = 3a0
2an3 tn2 +6
an
an2 tn2
n=2
n3
2an3 6an2
=
.
n(n 1)
a2
a3
a4
a5
3a0
2a0 6a1
a0
=
a1
3(2)
3
2a1 6a2
a1
6(3a0 )
3a0
a1
=
=
+
4(3)
6
12
2
6
) (
2a2 6a3
2
6 ( a0
3
1)
6
2a0
3a1
=
(3a0 )
a1 =
a0 + a1 =
+
5(4)
20
20 3
10 10
20
5
10
..
.
() na
40
y(t) = a0 + a1 t + a2 t2 + a3 t3 + a4 t4 +
|{z}
|{z}
|{z}
3a0
a0
3
a1
3a0
2
a1
6
t5 +
a5
|{z}
2a0
5
3a1
10
(
)
(
)
t3
3t4
2t5
t4
3t5
= a0 1 3t2 + +
+ + a 1 t t3 + +
+ .
3
2
5
6
10
Com a substituio de t = x 3 , a0 = 2 e a1 = 5, obtemos, nalmente, soluo do segundo
PVI:
[
]
(x 3)3
3(x 3)4
2(x 3)5
2
y(x) = 2 1 3(x 3) +
+
+
3
2
5
[
]
(x 3)4
3(x 3)5
+5 (x 3) (x 3)3 +
+
+ .
6
10
2.2
2.2.1
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
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 +
y=0 ,
(x + 2)2 (x 2)
(x 1)(x + 2)2 (x 2)2
y +
x2 (x
(x+1)(x1)
iv) x3 y 2xy + 5y = 0
2
5
y + 3y=0
x2
x
41
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
2.2.2
n=0
an xn =
n=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 (do 3o grau se a EDO fosse de 3a ordem e assim
por diante), denominada equao indicial, cujas solues r1 e r2 so as chamadas razes indiciais.
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
Neste caso, o mtodo de Frobenius sempre fornece duas solues linearmente independentes.
Exemplo 1: 3xy + y y = 0
y=
an xn+r
n=0
y =
n=0
3x
n=0
y =
n=0
n=0
() Consulte
(n + r)an xn+r1
(n + r)an xn+r1
n=0
(n + r)an xn+r1
n=0
42
an xn+r = 0
n=0
n=1
an1 xn+r1 = 0
{
}
[
]
3(n + r 1)(n + r) + (n + r) an an1 xn+r1 = 0
|
{z
}
n=1
(3n+3r2)(n+r)
[
]
(3n + 3r 2)(n + r)an an1 xn+r1 = 0
r(3r 2) a0 xr1 +
| {z }
|
{z
}
n=1
0
an1
r = 0 an =
n(3n 2)
ou
2
an1
r=
an =
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
a3
a0 /168
a0
=
=
(4)(10)
40
6720
..
.
(
)
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
a2
a3
a4
a0
a0
=
(1)(5)
5
a0 /5
a0
a1
=
=
(2)(8)
16
80
a0 /80
a0
a2
=
=
(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 x2/3 1 +
a0
5
a0
80
a0
2640
a0
147840
)
x x2
x3
x4
+
+
+
+ .
5
80 2640 147840
Assim, obtemos duas solues, cuja combinao linear a soluo geral: y(x) = y1 (x) + y2 (x).
43
2.2.2.2
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=0
(n + r)an xn+r1 4
n=0
n=0
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
4an1
para n 1 .
(r + n)2
(2.9)
a2
a3
4a0
12
4a1
42 a0
=
2
2
(1 2)2
4a2
43 a0
=
32
(1 2 3)2
..
.
an
4n a0
(n!)2
(
)
16 3
4n n
n+r
2
y(x) =
x
=
a
1
+
4x
+
4x
+
x
+
.
an x
= a0
0
(n!)2
9
n=0
n=0
(2.10)
r= 0
2.2.2.3
(n + r 1)(n + r)an x
n=0
n+r1
3(n + r)an x
n=0
44
n+r1
n=0
an xn+r = 0
n=0
n=0
an1 xn+r1 = 0
n=1
}
[
]
[(r 1)r + 3r] a0 xr1 +
(n + r 1)(n + r) + 3(n + r) an an1 xn+r1 = 0
|
{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
(n 1) ,
fornece
com n = 1 :
com n = 2 :
1(1)a1 = a0 a1 = a0
2(0)a2 = a1 0 = a1 = a0
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
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:
(
)
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
3
a0
24
a0
360
a0
8640
n=0
(n + r 1)(n + r)an x
n+r
n+r+1
(n + r)an x
n=0
n=0
45
n+r
(n + r)an x
n=0
an xn+r = 0
n=0
(n + r 1)an1 xn+r +
n=1
(n + r)an xn+r
n=0
an xn+r = 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
}
|
{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
para n 1 .
Se r = 1:
A relao de recorrncia (n 2)[nan + an1 ] = 0 (n 1), donde:
Com n = 1, obtemos [a1 + a0 ] = 0
a1 = a0 .
an
a2
2a2
=
3
23
a3
a2
2a2
= =
=
4
34
234
a4
2a2
= =
5
2345
..
.
(1)n 2a2
=
n!
=
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}
a0
(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 u2 (x).
2.2.3
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
46
1 ]
dx ,
u21 (x)
(2.13)
obtida pela tcnica da reduo de ordem (cf. referncia [6], 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 [4]):
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
bn =
]
d[
bn =
(r r2 )an (r)
dr
r = r2
]
r=r2
d
an (r)
dr
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 menor 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.
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
320 3
32
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)
n=0
(
)(
)
320 3
cn xn = 1 + 8x + 24x2 +
x + c0 + c1 x + c2 x2 + c3 x3 + = 1 ,
9
n=0
47
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
1472 3
= c0 + c1 x + c2 x2 + c3 x3 + = 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
4an1 (r)
para n 1 .
(r + n)2
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
= 2 1 + + +
,
= 2
r+1 r+2
r + n r=0
an (0)
2
n
4n a0
4n a0
=
, obtemos
2
(1 2 n)
(n!)2
(
)
1
1
4n a0
1 + + +
.
an (0) =
(n!)2
2
n
48
Logo,
a0
0 (a0 constante)
a1 (0)
a2 (0)
a3 (0)
e, assim, nalmente,
y2 (x) = u1 (x) ln x +
an (0)xn+0
n=0
)
(
176 3
= u1 (x) ln x + a0 8x 12x2
x + [u1 (x) dado por (2.10)]
27
(2.17)
bn xn+r2
y2 (x) = a0 u1 (x) ln x +
| {z } n=0
f (x)
|
{z
}
[r2 = 0] ,
g(x)
16 3
x + ,
9
obtemos
2 = L(a
0 f + g) = a0 Lf
+ Lg
=0
Ly
= a0 Lf
.
Lg
(I)
Mas
Lf
(
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
= 8a0 16a0 x
32a0 2
x +
3
(II)
Lg
= xg + g 4g = x
n=2
n(n 1)bn x
n1
n=2
nbn xn1 4
n=1
nbn x
n1
n=1
4bn1 x
n=1
4b2 )x2 +
bn xn
n=0
n1
= b1 4b0 +
n=2
(III)
b1
4b0 8a0
b2
b3
49
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)
(
)
(
)
16
176 3
b0 1 + 4x + 4x2 + x3 + + a0 u1 (x) ln x 8x 12x2
x +
27
|
{z 9
}
u1 (x)
)
176 3
x +
b0 u1 (x) + a0 u1 (x) ln x 8x 12x2
27
|
{z
}
(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)
x +
= u1 (x) ln x + u1 (x) 8x + 20x2
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)dx
= e
(3/x) dx
= e3 ln x = 1/x3 .
p(x)
(
)2
x x2
x3
1+ +
+
+
3
24 360
( x )( x2 )
( x )2
x
x2
x3
2
+ 2(1) + 2(1) + 2(1)
+2
+
= 1 +
3
3
24
3360
3 24
2
7
x3
= 1 + x + x2 +
+
3
36
30
(
)(
2
7 2 x3
1
n
2
3
1
+
x
+
x
+
+
=1
c
x
c
+
c
x
+
c
x
+
c
x
+
n
0
1
2
3
u21 (x) n=0
3
36
30
(
(
2c0 )
7c0 ) 2 (
7c1
c0 ) 3
2c1
2c2
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
x2
19 3
1
2
x + .
=1 x+
u21 (x)
3
4
270
50
][ 1 ]
)
1(
2
x2
19 3
Cu1 (x) e p(x)dx
dx
=
Cu
(x)
1
x
+
x
+
dx
1
u21 (x)
x3
3
4
270
(
)
2x2
x1
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
y2 (x) =
an1 (r)
para n 1 .
(r + n + 2)(r + n)
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
]
]
d[
a0
d[
=
(r + 2)a1 (r)
(r + 2)
=
dr
dr
(r + 1)(r + 3) r = 2
r = 2
(1)(1) 0
(r + 1)(r + 3) (r + 2)(r + 3 + r + 1)
= a0
= a0
= a0
2
[(r + 1)(r + 3)]
[(1)(1)]2
r = 2
]
a0
d[
(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
]
d[
(r + 2)a2 (r)
dr
r = 2
221
a0
(1)(2) + (1)(2) + (1)(1)
= a0
=
2
[(1)(1)(2)]
4
4
]
]
d[
a0
d[
(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
6 12 3 2
11a0
(1)2 (2)(3) + 2(1)(1)(2)(3) + (1)(1)2 (3) + (1)(1)2 (2)
= a0
=
[(1)(1)2 (2)(3)]2
364
36
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 +
51
y2 (x) = a0 u1 (x) ln x +
bn xn+r2 [r2 = 2] ,
| {z } n=0
f (x)
|
{z
}
g(x)
x x2
x3
+
+
+ ,
3
24 360
obtemos
2 = L(a
0 f + g) = a0 Lf
+ Lg
=0
Ly
= a0 Lf
.
Lg
(I)
Mas
Lf
(
(
1
1 )
1)
= xf + 3f f = x u1 ln x + 2u1 + u1 2 + 3 u1 ln x + u1
u1 ln x
x
x
x
3u1
2
u1
+
= 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
Lg
= xg + 3g g = x
n=0
n=0
(n 2)bn xn3
n=0
n=0
bn xn2
n=0
3
3
6b
6b
bn1 xn3 =
0x
0x
n=1
{
{
}
}
[
]
n(n 2)bn bn1 xn3
+
(n 2)(n 3) + 3(n 2) bn bn1 xn3 =
{z
}
|
n=1
n=1
n(n2)
b1 + b0
b1
+ (3b3 b2 ) + (8b4 b3 )x + .
x2
x
(III)
}
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
52
Finalmente,
y2 (x) =
a0 u1 (x) ln x +
b0
b1
+ b2 + b3 x + b4 x2 +
+
x2
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)
(
)
(
)
x x2
x3
176 3
= b2 1 + +
+
+ + a0 u1 (x) ln x 8x 12x2
x +
24{z 360
27
| 3
}
u1 (x)
= b2 u1 (x) + a0 u1 (x) ln x
)
2
2 4x 25x2
+
x2
x
9
288
(2.22)
+
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
29
19x
1
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.
53
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
4. Calcule a soluo geral na forma de uma srie centrada no ponto singular regular x = 0, e com
x > 0, de cada uma das seguintes EDOs (que so tais que as razes indiciais so duplas, 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
(d) 4x2 y + (1 + 4x)y = 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
no-nulo, correspondendo menor delas a soluo geral):
(a) xy + 2y xy = 0
(d) x2 y + 5xy 5y = 0
(c) xy + (x 6)y 3y = 0
6. Calcule a soluo geral na forma de uma srie centrada no ponto singular regular x = 0, e
com x > 0, de cada uma das seguintes EDOs (que so tais que as razes indiciais diferem por um
nmero inteiro no-nulo, sendo necessrio calcular uma segunda soluo linearmente independente
por um dos trs procedimentos abordados na seo 2.2.3):
(a) x(x 1)y + 6x2 y + 3y = 0
(c) 16x2 y 40xy + (32x + 13)y = 0
7. Uma EDO linear de 2a ordem com coecientes polinomiais que tem um ponto singular em x = 0
da forma
x(A0 + A1 x + A2 x2 + )y + (B0 + B1 x + B2 x2 + )y + (C0 + C1 x + C2 x2 + )y = 0 .
Mostre que, considerando sries de potncias centradas em x = 0 nos casos em que o mtodo de
Frobenius se aplica (quando x = 0 um ponto singular regular), obtemos a equao indicial
(a) A0 r2 + (B0 A0 )r = 0 se A0 = 0
(b) A1 r2 + (B1 A1 )r + C0 = 0 se A0 = B0 = 0 e A1 = 0
(c) A2 r2 + (B2 A2 )r + C1 = 0 se A0 = A1 = B0 = B1 = C0 = 0 e A2 = 0
(d) A3 r2 + (B3 A3 )r + C2 = 0 se A0 = A1 = A2 = B0 = B1 = B2 = C0 = C1 = 0 e A3 = 0
..
.
54
+
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.
)
(
)
(
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 +
(
)
(
)
2 3
4
(d) y(x) = c1 1 + 2x + 45 x2 + 15
x + + c2 x1/3 1 + x + 72 x2 + 105
x3 +
(
)
4. (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 u1 (x) + c2 u2 (x) , onde u1 (x) = x1/2 1 x 34 x2 45 x3 +
(
)
e u2 (x) = u1 (x) ln x + 2x + 94 x2 + 3x3 +
)
(
(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 +
(
)
(
)
5
3
e u2 (x) = u1 (x) ln x + 14 x2 + 128
x4 + = u1 (x) ln x + x1/2 41 x2 128
x4 +
(d) Soluo:
y(x) =
an xn+r = xr (a0 + a1 x + a2 x2 + )
y =
n=0
0 = 4x y + (1 + 4x)y =
n+r
n=0
n=0
an x
n=0
{z
4an1 xn+r
n=1
n+r
=0.
a1
a0
a2 = =
4
4
y2 (x) = C u1 (x)
a2
a0
a3 = =
9
36
const.
55
1/2
y1 (x) = a0 x
1
1
p(x) dx
e| {z
dx
=
Cu
(x)
dx .
1
2
} u2 (x)
u1 (x)
1
z}|{
0
an =
an1
(n 1) .
n2
u1 (x)
z
a1 = a0 ,
4an xn+r+1 .
n=0
[ 4r(r 1) + 1 ] a0 +
[4(n + r)(n + r 1) + 1] an + 4an1 x
|
{z
}
{z
}
n=1 |
(2r1)2 =0
n+r
}|
{
)
x2
x3
1x+
+ .
4
36
(
)2
(
)
(
)
x2 x3
x2 x3 x3
3x2
5x3
u21 (x) = x 1x+ + = x 1+x2 2x+ + = x 1 2x +
+ .
4 36
2 18 2
2{z
9
|
}
P (x)
1
3x
5x
=
cn xn P (x)
cn xn = 1 2x +
+ (c0 + c1 x + c2 x2 + c3 x3 + ) = 1 .
P (x) n=0
2
9
(
)
( n=0
(
3c0 )
3c1
5c0 )
2
+ x3 c3 2c2 +
+ .
c0 + x c1 2c0 + x c2 2c1 +
|{z}
| {z }
2}
2
9}
{z
{z
|
|
1
0
0
3c0
5
c2 = 2c1
= ,
2
2
3c1
5c0
23
c0 = 1 , c1 = 2c0 = 2 ,
c3 = 2c2
+
=
, .
2
9
9
1
1
1
1
1
5x 23x2
=
= (c0 + c1 x + c2 x2 + c3 x3 + ) = + 2 +
+
+ .
2
u1 (x)
x P (x)
x
x
2
9
(
)
1
1
5x 23x2
y2 (x) = Cu1 (x) 2
dx = Cu1 (x)
+2+
+
+ dx .
u1 (x)
x
2
9
)
(
x3
x2
+
Resposta: y(x) = c1 u1 (x) + c2 u2 (x) , onde u1 (x) = x1/2 1 x +
4
36
(
)
5x2
23x3
e u2 (x) = u1 (x) ln x + 2x +
+
+ .
4
27
(
)
(
)
1 2
1 4
1 6
1 2
1 4
1 6
1
5. (a) y(x) = c1 x
1 + 2! x + 4! x + 6! x + + c2 1 + 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 +
(d) Soluo:
y
=
(n + r)an xn+r1
n+r
r
2
n=0
y(x) =
an x
= x (a0 + a1 x + a2 x + )
n=0
y =
(n + r)(n + r 1)an xn+r2 .
2
0 = x y + 5xy 5y =
(n + r)(n + r 1)an x
n+r
n=0
n=0
n=0
5an xn+r .
n=0
[
]
(n + r 1)(n + r) + 5(n + r) 5 an xn+r = 0 .
[ (r 1)r + 5r 5 ] a0 +
{z
}
|
{z
}
n=1 |
r 2 +4r5 = 0
n=6
Como duas constantes (a0 e a6 ) permanecem arbitrrias, a soluo que se obtm a geral.
Resposta: y(x) = x5 (a0 + a6 x6 ) = a0 x5 + a6 x .
Acabamos de resolver uma EDO de Euler-Cauchy; naturalmente, ela pode ser resolvida mais simplesmente pelos mtodos analticos que o aluno j aprendeu.
)
(
)
(
51 4
19 3
2
x + + c2 3u1 (x) ln x + 1 21
x
x
+
n=1
32an1 xn+r
{
}
[ 16r(r 1) 40r + 13 ] a0 +
[16(n + r)(n + r 1) 40(n + r) + 13] an + 32an1 xn+r = 0 .
|
{z
}
{z
}
n=1 |
16r 2 56r+13 = 0
56
+ .
2 {z10 90
|
}
Calculemos uma segunda soluo l.i. usando a equao (2.13): y2 (x) = C u1 (x) e p(x)dx
u1 (x)
1
dx :
u21 (x)
p(x)
z}|{
5 32x + 13
2
5dx
5 ln x
p(x)dx =
=
e p(x)dx = e(5 ln x)/2 = x5/2 .
2x
2
[
]
(
) 2
(
)
x x2
x3
x2
x2
x3
x3
u21 (x) = x13/4 1 +
+
= x13/2 1 +
x+
+
2
10 90
4
5
45 10
(
)
9x2
11x3
13/2
=x
1x+
+ .
20 {z 90
|
}
1
=
cn xn
P (x) n=0
P (x)
)(
(
)
9x2 11x3
+ = 1 .
|{z}
| {z }
20
90 }
|
{z 20}
|
{z
P (x)
c0 = 1 ,
y2 (x) = C u1 (x)
e
(
= Cu1 (x)
p(x)dx
3c1
5c0
23
+
=
, .
2
9
9
)
2x3
1 (
11x2
+
+ .
(c0 + c1 x + c2 x2 + c3 x3 + ) = 13/2 1 + x +
20
9
x
c1 = 2c0 = 2 ,
1
1
1
1
= 13/2
= 13/2
u21 (x)
P (x)
x
x
c2 = 2c1
1
2
dx = Cu1 (x)
u1 (x)
3c0
5
= ,
2
2
c3 = 2c2
)
11x2
2x3
1 (
+
+ dx
x5/2 13/2 1 + x +
20
9
|
{zx }
1/x4
x4 + x3 +
11x
20
2x
9
+ dx .
(
)
x x2
x3
Resposta: y(x) = c1 u1 (x) + c2 u2 (x) , onde u1 (x) = x13/4 1 +
+
)
( x23 10x2 90 11x1
2
+ ln x + .
e u2 (x) = u1 (x)
3
2
20
9
57
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{af (t)+bg(t)} =
e
0
3.3
st
[af (t)+bg(t)] dt = a
st
f (t) dt+b
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 .
Alm disso, sob essas condies, f(s) = L{f (t)} deve necessariamente tender a zero quando s .()
() Assim, funes de s tais como s2 e s/(s+2) no so transformadas de Laplace de nenhuma funo f (t) [t 0] que
seja contnua por partes e de ordem exponencial.
58
De fato:
|L{f (t)}| = |
est f (t) dt | = |
st
f (t) dt | + |
est f (t) dt +
est f (t) dt |
st
f (t) dt |
st
|f (t)| dt +
| {z }
|f |max
est |f (t)| dt
| {z }
M et
T
T
est
e(s)t
st
(s)t
|f |max
e dt + M
e
dt = |f |max
+M
s t=0
(s ) t=T
0
T
[ (s)
]
(s)T
sT
e
e
e
1
+M
+
= |f |max
,
s
(s )
s
| {z }
0 para s>
isto ,
|L{f (t)}| |f |max
(1
1 )
M
+
,
sT
se
(s ) e(s)T
um resultado que, alm de ser nito, comprovando a existncia da transformada de Laplace, tende a
zero quando s .
3.4
L{e } =
at
st at
e dt =
(sa)t
e
0
e0
e(sa)t
1
e(sa)
+
dt =
=
=
(s a) t=0
sa
sa
sa
| {z }
0 para s>a
L{t } =
n
e
0
(
)
est n
n
1
n
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
L{t2 } = L{t} =
= 3
s
s s2
s
3
3 21
321
3
2
L{t } = L{t } =
=
3
s
s s
s4
L{t} =
L{tn } =
n!
sn+1
3) Se s > 0, ento:
a st
1 a
est
st
cos at
e
sen at dt = L{ sen at}
L{cos at} =
e
cos at dt =
s
s
s
s
0
0
t=0
st
e
a
a
L{ sen at} =
est sen at dt =
+
sen at
est cos at dt = 0 + L{cos at}
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
() Se
(i)
(ii)
(iii)
a = 0, as transformadas de Laplace calculadas nesta seo fornecem, consistentemente, L{1} = 1/s e L{0} = 0.
59
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
=
L{e } + L{e } =
+
= 2
2
2
2 sa s+a
s a2
{ at
}
[
]
] 1
e eat
1[
1
1
a
L{ senh at} = L
=
L{eat } L{eat } =
= 2
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
da linearidade de L. Por exemplo:
7s2 + 12
i) L{3t 5 sen 2t} = 3 L{t} 5 L{ sen2t} = 2 2
| {z } s (s + 4)
| {z }
1/s2
2/(s2 +4)
}
{
2
1 cos 2t
= 21 L{1} 12 L{cos 2t} =
ii) L{ sen 2 t} = L
| {z }
| {z } s(s2 + 4)
2
1/s
3.5
s/(s2 +4)
Propriedades especiais
Se
1)
0
2) lim
sc
st
f (t) dt =
[
lim e
st
sc
f (t) dt =
ect dt para c s0
d
(est )
f (t) dt para s s0
est f (t) dt =
ds 0
s
0
]
]
s2 [
[
4)
est f (t) dt ds =
est ds f (t) dt para s0 s1 s2 <
3)
s1
3.6
Se a transformada de Laplace da funo f (t) a funo f(s), denida por (3.1), 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 (3.1). Em textos mais avanados, demonstra-se que, se tal equao tem uma
soluo f (t), 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!
i) L{t} =
60
vi) L
4
3s
5
2
+ 2
s 2 s + 16 s + 4
}
= 4L
1
s2
}
3L
= 4 e2t 3 cos 4t +
s
2
s + 16
5
+ L1
2
2
2
s +4
5
sen 2t .
2
= 1 cos t .
s(s2 + 1)
s s2 + 1
}
{
}
{
}
{
3s + 7
4
1
3s + 7
1
1
+
=
L
=
L
= 4e3t et .
ix) L1
s2 2s 3
(s 3)(s + 1)
s3 s+1
3.7
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 (veja-se, entretanto, ao
nal desta seo, outras verses da funo degrau que so denidas no ponto de descontinuidade).
Alm disso, num ponto xi de descontinuidade de uma funo f (x), no seremos rigorosos em mostrar
o valor f (xi ).
" 0 (x ! a )
U(x ' a ) # "
$
"
1 (x % a )
"
&
" 0 (x ! 0)
U(x ) # "$
""1 (x % 0)
&
Vejamos dois exemplos de uso dessa funo. Considere a funo f (x) na gura abaixo, esquerda.
g(x )
f (x )
1
1
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)
61
Grfico de h(t )
"(t )
#(t )
(t )
!(t )
f (5) = (5) + [(5) (5)] U(4) + [0 (5)] U(2) +[(5) 0] U(1) + [(5) (5)] U(1)
|{z}
|{z}
|{z}
| {z }
1
+ [3 (5)] U(3)
| {z }
(5)
+ (5)
(5)
(5)
+ (5) = (5) X
Note que esse clculo envolve (5), (5) e (5), os quais, embora no sejam fornecidos na denio
grca de h(t), no afetam o resultado, pois se cancelam ou so multiplicados por zero. Podemos,
obviamente, completar a denio das funes (t), (t), (t) e (t) acrescentando que elas se anulam
fora dos intervalos em que so denidas gracamente.
!# 0 (x ) 0)
U( (x ) $ %1 (x * 0)
##'
#! 0 (x " 0)
U (x ) $ %1 (x & 0)
##'
1
0
Grfico de f (x )
!(x )
"(x )
(x )
Para quem no quer deixar indenidos os valores de funes nos seus pontos de descontinuidade,
basta denir duas verses da funo degrau unitrio, denotadas por U+ (x) e U (x) e mostradas na
gura acima, que s diferem da funo U(x) no ponto de descontinuidade, em x = 0, onde so assim
denidas: U+ (0) = lim+ U(x) = 1 e U (0) = lim U(x) = 0. Por meio delas, a funo f (x) denida
x0
x0
gracamente pela terceira gura acima, por exemplo, pode ser assim expressa:
f (x) = (x) + [(x) (x)] U (x a) + [(x) (x)] U+ (x b) .
Essa expresso fornece os valores corretos nos pontos de descontinuidade:
f (a) = (a) + [(a) (a)] U (0) +[(a) (a)] U+ (a b) = (a) ;
| {z }
| {z }
0
0
+
Encerremos esta seo com o clculo da transformada de Laplace de U(t a), com a > 0 :
L{U(t a)} =
0
st
U(t a) dt =
e
a
st
est
eas
dt =
=
(s > 0)
s t=a
s
62
3.8
1
s
eat
1
sa
(s > a R)
tn
n!
sn+1
(n = 1, 2, 3, )
cos at
sen at
cosh at
senhat
(s > 0)
s2
s
+ a2
(a R, s > 0)
s2
a
+ a2
(a R, s > 0)
s
s2 a2
(s > |a| R)
a
a2
(s > |a| R)
s2
eas
s
U(t a)
(a > 0, s > 0)
3.9
u at
1 (s/a)u
1 (s)
1) L {f (at)} =
est f (at)dt
=
e
f (u) du = f
para a > 0
a 0
a
a
0
2)
{
}
L eat f (t) =
st
[ at
]
e f (t) dt =
3)
{
}
L tn f (t) =
st n
t f (t)dt =
(1)
4)
{
}
L U(t a)f (t a) =
(est )
dn
f (t)dt = (1)n n
n
s
ds
{
}
L t2 f (t) = f (s) ,
5)
f (t)
t
=
0
f (t)
f(s)
}|
st
f (t)dt
{
}
L t3 f (t) = f (s) ,
est U(t a)f (t a)dt =
est f (t a)dt
0
a
ta
s(a+ )
es f ( )d = eas f(s)
=
e
f ( )d = eas
]
st
t
f() d
dt =
f (t)
0
e
s
63
f()
}|
f (t)e
d dt =
s
{
t
dt d
Exemplos:
i) Como L{cos t} = s/(s2 + 1) , ento
1
(s/7)
s
= 2
2
7 (s/7) + 1
s + 49
s
3
L{e3t cos t} =
(s 3)2 + 1
{
}
{
}
s3
s
3t 1
1
Problema inverso: L
= e L
= e3t cos t ,
(s 3)2 + 1
s2 + 1
pois L1 {f(s a)} = eat L1 {f(s)} .
L{cos 7t} =
5s2 15s 11
(s + 1)(s 2)3
fraes
parciais
v) L
{
vi) L
sen t
t
et e3t
t
1/3
1/3
4
7
+
+
+
s+1
s 2 (s 2)2
(s 2)3
1 t
1
7 2 2t
e + e2t + 4t e2t
t e
3
3
2
1
d
=
arctan
arctan s (s > 0)
=
2 + 1
2
s
=
=
s
1
1
+1 +3
)
d = ln
+ 1
s+1
s+3
= ln
= ln 1 ln
+3 s
s+3
s+1
{
t2
(0 t < 2)
vii) Clculo da transformada de Laplace de f (t) =
1 + t (t 2)
{
}
Primeiro modo: Usando a frmula L tn f (t) = (1)n f(n) (s) (a terceira deduzida 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)} =
3
s
s
s
s
(
) (
)
e2s
1
2
2s
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
3
s
s s
s
{
}
Segundo modo: Usando a frmula L f (t a)U(t a) = eas f(s) (a quarta deduzida acima):
f (t) =
P (t 2) = 1 + t t2
P (t) = 1 + (t + 2) (t + 2)2 = 3 3t t2
(
)
3
2
2
3
2
L{f (t)} = L{t2 } + L{P (t2)U(t2)} = 3 + e2s P (s) = 3 + e2s 2 3
s
s
s s
s
No prximo exemplo, resolvemos novamente o Exemplo (ix) da seo 3.6, mas, agora, completando
o quadrado no denominador (em vez de usar fraes parciais):
64
viii) L
3s + 7
2
s 2s 3
}
[
]
2
s1
=L
+5
= et 3 cosh 2t + 5 senh 2t
2
2
(s 1) 4
(s 1) 4
[
]
2t
2t
2t
e
+
e
e
e2t
t
+5
= 4e3t et .
= e 3
2
2
1
{
3
Modicando um pouco esse exemplo, obtemos o seguinte, que, no admitindo soluo por fraes
parciais (pois o denominador no , em R, fatorvel em monmios), resolvido pela tcnica de completar
o quadrado:
{
}
{
}
[
]
3s + 7
2
s1
1
1
ix) L
+5
=L
3
= et 3 cos 2t + 5 sen 2t .
s2 2s + 5
(s 1)2 + 4
(s 1)2 + 4
3.10
=
0
L{f (t)}
0f (0)
}| {
z
est f (t) dt = est f (t)
+s
z
}|
t=0
= sf(s) f (0)
L{f (t)}
L{f (t)}
..
.
L{f (n) (t)}
3.11
L
0
Eis a deduo:
{ t
}
L
f (u)du =
0
st
f (u)
0
0
s
f (u)
0
1
esu
du =
s
s
(3.2)
(s > 0) .
f (u)du dt =
}
f(s)
f (u)du =
s
st
dt du =
esu f (u) du =
1
f (s)
s
est
f (u)
s
]
du
t=u
f(s) 1 a
=
f (u) du
s
s 0
65
Vejamos um exemplo:
{
L
sen2u du
1
1
2
2
L { sen2t} =
=
;
2
2
s
s s +4
s(s + 4)
de fato, obtemos esse mesmo resultado efetuando a integral e ento calculando a transformada de
Laplace:
{
t }
{ t
}
{
}
cos 2u
cos 2t + 1
1
1
L
sen 2u du
= L
=
L
= L{cos 2t} + L{1}
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
s+2
s
1 {
=
L
e2u cos 3u du = L e2t 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)
1
L
=
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. 61 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 1/ (s + 1)
1
L
=L
=
L
du =
sen u du = 1 cos t .
s(s2 + 1)
s
s2 + 1
0
0
3.12
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 ( )
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)} =
st
f (t)dt
es
es
1 es
e t dt
+
s
s2
0
=
s
s
1e
1e
1
st
66
]
=
1 (1 + s)es
.
s2 (1 es )
3.13
Clculo de L1 {f(s)
g (s)} por convoluo
f (t) g(t) =
v tu
f (u) g(t u) du
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) .
A prova desse teorema como segue:
{ t
}
L{f (t) g(t)} = L
f (u) g(t u) du =
dt e
st
du f (u) g(t u)
0
v tu
dt est g(t u)
=
du f (u)
dv es(u+v) g(v)
u
0
0
0
sv
su
dv e g(v) = f(s)
=
du e
f (u)
g (s)
0
0
|
{z
}|
{z
}
du f (u)
f(s)
g
(s)
L
L1
=
(t
e
)
t
=
u
eu} (t u) du
=
L
| {z
| {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
X
(s + 1)2
s + 1 s2
s
s (s + 1)2
Como exemplo adicional, recalculemos a transformada de Laplace inversa j obtida, usando fraes
parciais, no Exemplo (viii) da seo 3.6 (pgina 60):
{
}
{
}
{ }
t
1
1
1
1
1
1
L
=
L
L
=
sent
1
=
1 du
| {z } |{z}
|senu
{z } |{z}
(s2 + 1) s
s2 + 1
s
0
|
{z
} | {z }
f (t)
g(t)
f (u) g(tu)
sen t
t
sen u du = cos u = cos t + 1 .
0
3.14
6) L
f (u)du
f(s)
s
3.15
Eis alguns exemplos de como a transformada de Laplace auxilia no clculo de integrais denidas:
3
s2 1
2t
st
i)
te
cos t dt =
e t cos t dt
=
,
= L{t cos t}
= 2
2
(s + 1) s=2
25
s=2
0
0
s=2
onde usamos o resultado obtido no exemplo (iii) da seo 3.9.
( sen t )
sen t
dt =
est
dt
arctan s
,
=
=
t
t
2
2
+
+
0
0
s0
s0
onde usamos o resultado obtido no exemplo (v) da seo 3.9.
ii)
( et e3t )
et e3t
s+3
dt =
est
dt
= ln
t
t
s+1
0
0
s=0
onde usamos o resultado obtido no exemplo (vi) da seo 3.9.
iii)
= ln 3 ,
s=0
A aplicao dessa tcnica requer ateno com o valor de s a ser substitudo, como mostra o clculo
errneo seguinte:
9!
9!
2t 9
st 9
9
e t dt =
e t dt
= L{t }
= 10
= 10 .
s s=2
2
0
0
s=2
s=2
Esse resultado no pode ser correto, pois a integral claramente divergente: o integrando e2t t9 no
tende a zero quando t , no satisfazendo uma condio necessria para a convergncia da integral.
O erro est no uso da frmula L{tn } = n!/sn+1 com s = 2, violando a restrio s > 0 (cf. seo 3.4,
item 2).
68
3.16
Observe alguns exemplos de como a transformada de Laplace auxilia na resoluo de equaes diferenciais ordinrias:
i) y 3y = e2t
y(s) =
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
[
]
y(t) = e2t + y(0) + 1 e3t ,
| {z }
L1
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).
ii) Resoluo do problema de valor inicial y 6y + 9y = t2 e3t , y(0) = 2 , y (0) = 6 :
y 6y + 9y = t2 e3t
y (s) y(0)] + 9
y (s) = 2/(s 3)3
s2 y(s) s y(0) y (0) 6 [s
|{z} | {z }
|{z}
2
2
(s2 6s + 9) y(s) = 2(s 3) +
|
{z
}
(s 3)3
(s3)2
y(t) = 2L1
1
s3
y(s) =
2
2
+
s 3 (s 3)5
{ }
1
1
+ 2e3t L1
= 2e3t + t4 e3t
s5
12
| {z }
t4 /4!
2 (0 t < 4)
, y(0) = 0 :
3 (t 4)
2
s
y (s) y(0) 5
y (s) = 5
|{z}
s
e4s
y(s) =
y(s) =
(
)
1
2 5e4s
s(s 5)
| {z }
1/5 1/5
s + s5
(1
2/5
1 ) 4s
2/5
+
+
e
s
s5
s s5
| {z }
y(t) =
[
]
2 5t
(e 1) + 1 e5(t4) U(t 4) .
5
L1
1e5t
Essa soluo tambm pode ser escrita, sem uso da funo degrau, na forma
y(t) =
2
5t
5 (e 1)
(0 t 4)
2 (e5t 1) + 1 e5(t4)
5
(t 4) .
Note que y(4 ) = y(4+ ) = 2(e20 1)/5 . A soluo obtida , de fato, contnua em t = 4, o que teria
cado mais evidente se tivssemos empregado a funo degrau U+ (t 4).
69
3.17
Exerccios
1 et
t
1 cos t
t
{
1 (0 t < 1)
8. f (t) =
1 (t 1)
0 (0 t < 2)
5 (2 t < 4)
9. f (t) =
3
(4 t < 6)
0 (t 6)
7. f (t) =
10. f(s) =
7s
4s2 24s + 61
11. f(s) =
1
3s(2s 5)
s3
12. f(s) = ln
s+1
s
13. f(s) = arctan
2
2
2
s +1
14. f(s) = ln 2
s +4
e3s
4
15. f(s) =
+ arccot
s
s
{
0 (0 t < 1)
16. f (t) =
2t 3 (t 1)
{
t 1 (0 t < 2)
17. f (t) =
0 (t 2)
18. f (t) = U(t a) sen t
e5s
19. f(s) = 3
s
e5s
20. f(s) =
s2
21. f(s) =
e5s
(s 2)4
e5s
22. f(s) = 2
s +9
70
s + s
23. f(s) = 2
e
s + 2
24. f (t) = t3 e2t U(t 5)
t
senu
25. f (t) =
du
u
0
t au
e ebu
26. f (t) =
du
u
0
1 (0 t < 1)
1 (1 t < 2)
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
h(t )
u(t )
33. Calcule
34. Calcule
et sent
dt .
t
e2t t9 dt .
0 (0 t < 1)
1 (1 t < 2)
35. y + 2y + y = f (t)
sob as condies y(0) = 0 e y (0) = 0
1
(2 t < 3)
0 (t 3)
36. y + 3y 4y(t) = 0 sob as condies:
a) y(0) = y (0) = 1
b) y(0) = 1, y (1) = 4e4
71
3.18
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
[
]
d
2
f (s) =
=
ds (s 1)2 4
f (t) = te |senh2t
{z }
L
2
s2 4
ou
2t
te
f (t) = te
)
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
}
{ ( 3t
} 1 {
}
1 {
5!
5!
e + e3t )
= L e3t t5 + L e3t t5 =
+
L{t5 cosh 3t} = L t5
2
2
2
2(s 3)6
2(s + 3)6
Prob.
6 }
{
(
]
1 et
1
1 ) [
L
=
ds
=
ln
s
ln(s
+
1)
t
s
s + 1(
s
s
)
s
s
s
s+1
ln
= ln
= ln
= ln lim
s
s +1 s
s +1
s+1
s
|
{z
}
=1
Prob.
7
{
} (
]
1 cos t
s ) [
1
s
1
L
=
ds
=
ln
s
ln(s
+
1)
=
ln
+1
2
t
s
s
2
s
s +1 s
s(
)
s
s2 + 1
1
ln
=
ln
= ln
lim
s
s
s2 + 1
1 + s12
|
{z
}
=1
Prob. {
8
1 (0 t < 1)
f (t) =
1 (t 1)
= 1 + 2U(t 1)
1
e
f(s) = + 2
,
s
s
f(s) =
e
0
st
f (t)dt =
st
(1)dt +
st
e
1
: 0 s
es
e
1
es
es 1
= +2
.
=
s
s
s
s
Prob. 9
5
f (t) =
3
(0 t < 2)
(2 t < 4)
(4 t < 6)
(t 6)
72
1
est
est
(1)dt =
s 0
s 1
e
f(s) = 5
2s
e4s
e6s
+3
s
s
Prob. 10
[
]
[
]
7s
7
s
7
s3
6
5/2
=
=
+
4s2 24s + 61
4 (s 3)2 + (5/2)2
4 (s 3)2 + (5/2)2
5 (s 3)2 + (5/2)2
[
]
5t 6
5t
7
f (t) = e3t cos + sen
4
2
5
2
f(s) =
Prob. 11
)
1 1 { 1/ (s 5/2) } 1 t 5u/2
1 ( 5t/2
L
=
e
du =
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
{
}
{
}
{
}
{
}
1
1
1
1
1
1
1
1
3o modo: L1
= L1
= L1
L1
= 1 e5t/2
3s(2s 5)
6
s s 5/2
6
s
s 5/2
6
)
1 t 5u/2
1 ( 5t/2
=
e
e
du =
1
6 0
15
Prob. 12
s3
1
1
f(s) = ln
= ln(s 3) ln(s + 1) f (s) =
s+1
s3 s+1
e3t et
L1
t f (t) = e3t et f (t) =
t
1o
modo: L
1
3s(2s 5)
Prob. 13
s
f(s) = arctan
2
2
L1
t f (t) = sen2t
1/2
2
= 2
1 + (s/2)2
s +4
sen2t
f (t) =
t
f (s) =
Prob. 14
s2 + 1
= ln(s2 + 1) ln(s2 + 4)
f(s) = ln 2
s +4
L1
f (s) =
f (t) =
2s
2s
2
+1 s +4
s2
2
(cos 2t cos t)
t
Prob. 15
{
3s
e
f (t) = L1
s
{z
|
U(t3)
g
(s)
{ z }| { }
4
sen 4t
1
+ L
arccot
= U(t 3)
,
s
t
}
{z
}
|
g(t)
4/s2
4
L1
pois g (s) =
= 2
2
1 + (4/s)
s + 16
Prob. {
16
f (t) =
0
2t 3
t g(t) = sen 4t
g(t) =
sen 4t
.
t
(0 t < 1)
= (2t 3) U(t 1)
(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
)
(
1 s
2
s
e
f (t) = p(t 1) U(t 1) f (s) = p(s) 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 )
s
s
s
s
d
e
e
s
e
e
2
1
f(s) = 2
3
= 2
3
= =
es
ds s
s
s2
s
s2
s
Prob. {
17
t 1 (0 t < 2)
f (t) =
0 (t 2)
t 1 (t 1) U(t 2)
| {z }
p (t2)
p (t 2) = t 1
p(t) = t + 2 1 = t + 1
73
p(s) =
1
1
+
s2
s
1
1
f(s) = 2
s
s
1
1
+
2
s
s
)
e2s
Prob. 18
f (t) = U(t a) |sent
{z } = U(t a) q(t a)
(I)
q(ta)
q (t a) = sen t
{
1
{f (s)} = L
e5s
1
s3
|{z}
}
= U(t 5)
(t 5)2
2
L1
t2 /2
Prob. 20
L
{
1
{f (s)} = L
e5s
1
s2
| {z }
}
= U(t 5) e2(t5)
L1
e2t
Prob. 21
L
{
1
{f (s)} = L
e5s
1
(s 2)4
| {z }
}
= U(t 5) e2(t5)
(t 5)3
6
L1
e2t t3 /3!
Prob. 22
L
{
1
{f (s)} = L
e5s
1
2
s +9
| {z }
1
= U(t 5) sen 3(t 5)
3
L1
( sen 3t)/3
Prob. 23
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. 24
2t
p(t5)
5s
]
s =s2
= p (s 2) e5(s2) .
6
30 75 125
Por outro lado, p(t) = (t + 5)3 = t3 + 15t2 + 75t + 125 p(s) = 4 + 3 + 2 +
s
s
s
s
[
30
75
125 ] 5(s2)
6
Logo, L{f (t)} =
+
+
+
e
.
(s 2)4
(s 2)3
(s 2)2
s2
Prob. 25
L{f (t)} = L
0
Prob. 26
L{f (t)} = L
0
sen u
du
u
}
=
eau ebu
du
u
1
L
s
sen t
t
}
=
1
s
(
)
1
1
1
ds
=
arctan
s
=
arctan
s
s2 + 1
s
s 2
s
{ at
}
[
]
1
e ebt
1 ( 1
1 )
1
s a
= L
=
ds =
ln
s
t
s s
s a s b
s
s b s
74
1[
s a] 1 s b
ln 1 ln
= ln
s
sb
s sa
=
Prob. 27
f(s)
est (1) dt +
est (1) dt
1
2
1
1
est
+ est
s
t=0
t=1
= s
1 e2s
1
1
est f (t) dt = 0
1 e2s 0
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. 28
f(s) =
2
1 2 st
t
2 2s
1 st 2
+
est
e dt
e
e
1 (1 + 2s)e2s
s
s 0
t=0
s2
t=0
=
= s
=
.
2s
2s
1e
1e
1 e2s
est t dt
1 e2s
Prob. 29
2
2
1
1
1
est 2
st
e
f
(t)
dt
=
est dt =
2s
2s
2s
1e
1e
1e
s t=1
0
1
2s
s
s
s
s
e
e
e
(1
e )
e
=
=
.
=
s(1 e2s )
s(1 + es )
(1
es
)
s(1 + es )
f(s) =
{
2
1
t (0 t < 1)
g(t) = g(t + 2) e g(t) =
g(s) =
est g(t) dt
2 t (1 t < 2)
1 e2s 0
1
2
st
e t dt +
est (2 t)dt
1 2es (1 + s) e2s
0
1
g(s) =
=
=
.
1 e2s
s2 (1 e2s )
h(s)
=
u
(s) =
1
1 es
1
1 e2s
st
1
h(t) dt =
1 es
est u(t) dt =
est sen t dt = =
1
1 e2s
1
1 + es
.
1 es
s2 + 1
est sen t dt = =
1
1 + es
2
.
2s
1e
s +1
Prob. 30
t
t
{
}
{ 1 }
{ 1 }
1
1
1
1
2t
5t
2u 5(tu)
5t
L
=L
L
=e e =
e e
du = e
e3u du
(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
1
L
=L
L
= sent sen t =
sen(t u) sen u du
(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
(
)
[
[
sen2u
t
sen 2t
u
1
sen 2 u
3
cos t
(cos t)
= sen t
= ( sen t)
2
2
4
2
2
4
0
0
Prob. 32
{
{
{
{
}
}
}
}
1
1
1
1
1
1
1
L1
=
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
t
sen2t
3
2t 1
2t
sen
t
cos
t
sen u sen(t u) du = e
=e
2
2
4
|0
{z
}
j calculada no Prob. 31
75
Prob. 33
{
}
t
sen t
e sent
1
dt = L
=
ds
=
arctan
s
=
=
2
t
t
s +1
2
4
4
1
0
s
s=1
s=1
Prob. 34
e2t t9 dt =
0
est t9 dt
s=2
Prob. 35
= L{t9 }
s=2
0
1
y + 2y + y = f (t)
1
9!
9!
= 10
s10 s=2
2
(0 t < 1)
(1 t < 2)
(2 t < 3)
(t 3)
}|
{}
{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
g(s)
1
s(s + 1)2
fraes
parciais
1
1
1
s s + 1 (s + 1)2
g(t) = 1 et t et .
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) .
Prob. 36
y + 3y 4y(t) = 0
y(s) =
(s1)(s+4)
L1
y(t) = et .
y(s) =
1
s+4
=
(s 1)(s + 4)
s1
s + 3 + y (0)
=
(s 1)(s 4)
c1
1c1
}|
]{ z[ }|
]{
y (0) + 4
y (0) 1
c1
1 c1
5
5
+
=
+
s1
s+4
s1 s+4
Acima, mudamos da constante arbitrria y (0) para a constante c1 , tambm arbitrria, pois a
determinao de c1 envolve menos contas que a de y (0). Agora usamos a outra condio, y (1) =
4e4 , para determinar c1 :
y (t) = c1 et 4(1 c1 ) e4t y (1) = c1 e 4(1 c1 ) e4 = 4e4
c1 (e + 4 e4 ) = 0 c1 = 0 y(t) = e4t .
76
Item (c):
y(s) =
y(0)s + 3 + y (0)
=
(s 1)(s 4)
c1
c2
}|
}|
z[
]{
]{
4y(0) + y (0)
y(0) + y (0)
5
5
+
y(t) = c1 et + c2 e4t .
s1
s+4
Aqui tambm mudamos das constantes arbitrrias y(0) e y (0) para as constante arbitrrias c1 e c2 ,
assim simplicando as contas. Usando as duas condies iniciais, obtemos um sistema algbrico com
as incgnitas c1 e c2 ; resolvendo-o, acabamos a resoluo:
{
y(1) = c1 e + c2 e4 = e + e4
c1 = c2 = 1 y(t) = et + e4t .
y (1) = c1 e 4c2 e4 = e 4e4
77
Captulo 4
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
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)
78
[
= 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
Mas x 3x 2y = 0 ; logo,
0
4.1.2
c3 = c1 /2
e c4 = 3c2
ou
x(t)
y(t)
[
= c1
1
1/2
[
2t
e + c2
1
3
e3t
Por determinantes
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
=
=
| {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
}
c0 =
1
8
{
e
2c1 + c2
c1 + 2c2
= 2c4
= 2c5
79
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
D1
1
4et
x
y
= 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
2)2 x(t) = 1 4et
(D
1
4et
4
1
y(t) = c3 e2t + c4 te2t 8et
4
x(t) = c1 e2t + c2 te2t +
c4 = c2
c3 = c1 c2
1
x(t) = c1 e2t + c2 t e2t + 4et
4
1
8et
4
Dz
+ 1) z
(D
x + z
y
2x + z
=
t2
= 2x(t) + et
= 2y(t) z(t)
ou
Dx
2x
2Dx
2y
+ D
2y
= t2
= et
= 0
D
2
2D
0
2
D
2
D
0
D+1
y(t) =
]
D
3 + D
2 ) + D(4
3 ) y(t) =
D(
+ 2D
D
3 + D
2 4) y(t) =
D(3
=
Resposta:
4.2
D
t2
D
2
et
0
2D
0 D
+1
t
2
2
0
0
e
2
t + 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
D
3 + D
2 4) y(t) = 4et 2t2 4t
D(3
Exemplo 1:
2x + y y(t) = t
sob as condies x(0) = 1 e y(0) = 0 .
x + y = t2
80
et
0
|{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 =
1
4s
4
= 3
.
s3 (s + 1) s2 (s + 1)
s (s + 1)
4s
A
B
C
D
= + 2+ 3+
A = B = D = 5 e C = 4 .
+ 1)
s
s
s
(s + 1)
{
}
5
5
4
5
1
y(t) = L
+ 3
= 5 5t + 2t2 5et
s s2
s
s+1
Fraes parciais:
s3 (s
c1 = 4
4
x + s y s y(0) y (0) +4
y=0
|{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
(s2 + 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
Trataremos, primeiramente, de
x1 (t)
x1 (t)
d . .
.. = ..
dt
xn (t)
xn (t)
| {z } | {z
X(t)
X (t)
a11 a1n
x1 (t)
..
.. .. ou d X = AX ,
= .
. .
dt
an1 ann
xn (t)
} |
{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).
Note que, no caso em que n = 1 (quando A uma matriz 1 1, isto , um nmero), a soluo
de dX/dt = AX X(t) = CeAt . Pois bem, prova-se que essa tambm a soluo quando n 2,
desde que se dena a exponencial de uma matriz. No apresentaremos esse mtodo; ele descrito nos
captulos 29 e 31 da referncia [2].
81
O mtodo estudado aqui comea por admitir-se uma soluo da forma X = V et , onde V =
col [v1 , , vn ] um vetor (coluna) constante; substituindo, obtemos
t
t
V
e
= AV
e
AV = V , ou (A I)V = 0 ,
4.3.1
ck Vk ek t ,
k=1
1 = 1
2 = 4
A 1 I =
0 0
2 2
[
][ ] [ ]
{
{
[ ]
3 3
0
3 + 3 = 0
= = 1
1
(A 1 I)V1 = 0
=
V1 =
0 0
0
0 = 0
qq
1
|{z}
V1
[
]
1
X1 (t) = V1 e1 t =
et
1
Clculo do autovetor V2 e da soluo X2 (t) associados ao autovalor 2 = 4:
[
]
[
]
2
3
2 3
escalonamento
A 2 I =
2 3
0 0
[
][ ] [ ]
{
{
[ ]
2 3
0
2 + 3 = 0
= 3/2 = 2
3
A 2 I = 0
=
V2 =
0 0
0
0 = 0
qq
2
[ ]
3 4t
X2 (t) = V2 e2 t =
e
2
Soluo geral: X(t) = c1 X1 (t) + c2 X2 (t) , ou
x(t) = c1 et + 3c2 e4t
82
x = 4x + y + z
y = x + 5y z
Exemplo 2:
z = y 3z
det(A I) =
x
4 1
1
d
y = 1 5 1
dt
z
0 1 3
| {z } |
{z
}|
ou
4
1
0
x
y
z
{z }
X
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
1 1
1
1 1 1
escalonamento
A 1 I = 1 8 1 0 1 0
0 1
0
0 0 0
1 1 1
0
1
+ + = 0
=
=1
= 0 V1 = 0
(A 1 I)V1 = 0 0 1 0 = 0 = 0
0 0 0
0
0 = 0
qq
1
| {z }
V1
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
10
0
= 10
=1
0 = V2 = 1
1
qq
0
1
0
=
=1
0 = 8 V3 = 8
qq
1
0
Soluo geral:
4.3.2
1
10
1
X = c1 0 e3t + c2 1 e4t + c3 8 e5t
1
1
1
x = 6x y
y = 5x + 4y
ou
d
dt
] [
][
]
x
6 1
x
=
y
5 4
y
{z
} | {z }
| {z } |
X
6
1
det(A I) =
5
4
12i
1
5
12i
[
E
= 5 2i
[
][ ] [ ]
]
= 12i
1
0
=
=
12i V = 12i
qq
[
]
[
]
1
1
= c1
e(5+2i)t + c2
e(52i)t .
1 2i
1 + 2i
12i 1
0
0
X(t) = c1 V et + c2 V e
= 2 10 + 29 = 0
83
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
V =
k1
1
1
]
] [
0
1
=
+
i .
1
2
| {z } | {z }
])
]
[
])
0
0
1
+ k2
e5t cos 2t + k1
+ k2
e5t sen2t
2
2
1
[
]
[
]
k1
k2
5t
=
e cos 2t +
e5t sen 2t
k1 2k2
2k1 + k2
X(t) =
1
1 2i
c1 V et + c2 V e
= c1 (P + Qi)e(a+bi)t + c2 (P Qi)e(abi)t
k1
k2
k2
CQD.
k1
1
2 0
Exemplo 4: X = 1/2 1 0 X
0
0 1
|
{z
}
A
1
2
0
[
]
0 = (1 ) (1 )2 + 1 = 0
det(A I) = 1/2 1
0
0
1
i
2
0
i 2 0
0
E
A 1 I = 1/2 i 0
0 0 0 = 0
0
0 i
0 0 i
0
2
2
= 2i
=i
qq
V1 = i = 0 + 1
0
=0
0
0
| {z } | {z }
P
1 = 1 + i
2 = 1 i
3 = 1
i + 2 = 0
0 = 0
i = 0
i
0
2 0
1/2 0 0
0
E
2 0 = 0
A 3 I = 1/2 0 0
0
0
0 0
0
0 0
0
= 0
=1
= 0 V3 = 0
qq
1
/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
| {z }
| {z }
k1 P +k2 Q
k1 Q+k2 P
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.
84
4.3.3
k
max
Xk
k=1
(4.2)
(4.3)
(4.4)
onde (A k I) Uj = Uj1 (j = 2, , m) .
O nmero de autovetores associados ao autovalor de multiplicidade m maior que 1 e menor
que m; neste caso, o problema torna-se complicado e no ser estudado aqui.
Essas frmulas so provadas no nal desta seo. Vale a pena escrev-las em correspondncia com
a estrutura de autovalores e autovetores de uma matriz A33 . Fazemos isso a seguir, onde cada seta
que se inicia num autovalor k indica um conjunto possvel de autovetores associados a k :
Trs autovalores distintos:
1 V1 ,
2 V2 e 3 V3
X = c1 V1 e1 t + c2 V2 e2 t + c3 V3 e3 t
[
]
X = c1 V1 e1 t + c21 V21 + c22 V22 e2 t
V21 e V22
1 (mult. 1) V1
e 2 (mult. 2)
Um autovalor distinto:
V11 , V12 e V13
U1
[
]
X = c1 V1 e1 t + c21 U1 + c22 (U1 t + U2 ) e2 t
U1
(
)
X = c11 V11 + c12 V12 + c13 V13 e1 t
no estudado aqui
[
]
X = c11 U1 + c12 (U1 t + U2 ) + c13 (U1 t2 /2 + U2 t + U3 ) e1 t
onde (A1 I)U2 = U1 e (A1 I)U3 = U2
Enfatize-se, na notao adotada, que, se o autovalor k mltiplo e existe um nico autovetor associado, este denotado por U1 (ao invs de Vk ). Vejamos algumas aplicaes dessas frmulas:
85
1 2
2
1 2
Exemplo 5: A = 2
2 2
1
1
{
2
2
1 = 5 (mult. 1)
2
2
1
2
det(A I) =
= ( 5)( + 1) = 0
= 1 (mult. 2)
2
2
2
1
4 2
2
2 1 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
2 2
2
1 1 1
0
+ = 0
=
E
2 2
0 0 = 0 0 = 0
A2 I = 2
0
qq
2 2
2
0
0 0
0
0 = 0
qq
1
1
1
1
(
) 2 t
V2 = = 1 + 0 X2 = c21 V21 + c22 V22 e = c21 1 + c22 0 et
1
0
1
0
| {z }
| {z }
V21
V22
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
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
U1 = 0
0
2 0
0
0 0
0
qq
1
{
} t
X2 = c21 U1 + c22 (U1 t + U2 ) e 2 a parcela da soluo associada ao autovalor 2 = 5, e U2
uma soluo do sistema algbrico (A 2 I)U2 = U1 , ou, em componentes:
0 4 0
2
1 5 2 = 0 .
0
2 0
1
Este sistema mais facilmente
e escalonada:
0 4 0
2
E
1 5 2
0
0
2 0 1
resolvido a partir da sua forma que dada por uma matriz aumentada
1
0
0
5 2
0
5/2
= 5/2 2
=0
2 0 1
= 1/2
U2 = 1/2 .
0 0
0
qq
0
86
4
2
2
5/2
2
1
1
0
1 0
0
Exemplo 7: A = 2 2 1
0 1
0
1
0
0
2 1 = ( 1)3 = 0 1 = 1 (mult. 3)
det(A I) = 2
0
1
2 1 1
0
0 0
0
0
= 0
= 1
E
0 1 1 = 0 = U1 = 1
A 1 I = 2 1 1
0 1 1
0 0
0
0
qq
1
{
}
X1 = c11 U1 + c12 (U1 t + U2 ) + c13 (U1 t2 /2 + U2 t + U3 ) e1 t a parcela da soluo associada ao
autovalor 1 = 1, sendo U2 e U3 , respectivamente, solues dos sistemas algbricos resolvidos a seguir:
0 0
0 0
2 1 1 1
0
= 0
=0
E
= + 1 U2 = 1
0 1 1 1
(A 1 I)U2 = U1 2 1 1 1
0
0 1 1 1
0 0
0 0
qq
0 0
0 0
2 1 1 1
1/2
= 1/2
=0
E
=
(A1 I)U3 = U2 2 1 1 1
0 1 1 0
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
(
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
l=1
k t
[
m
l=1
]
ckl (AVkl k Vkl ) ek t = 0 t . CQD.
{z
}
|
0
j=1
l=1
87
Uj
tlj
.
(l j)!
AXk Xk =
ckl (AXkl Xkl
)=0 ,
|
{z
}
j=1
restando, para completar a demonstrao, mostrar que o termo entre parnteses se anula:
AXkl Xkl
= ek 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
{
= e
k t
}
l
]
]
tl1 [
tlj [
AU1 k U1 +
(A k I)Uj Uj1
= 0 .
{z
}
(l 1)! |
(l j)! |
{z
}
j=2
0
4.4
tlj
(lj)!
Uj1
CQD.
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).
1
(t)U
(t) + (t)U (t)
A(t)U
0 = XP (t) AXP (t) F (t) =
(t) F (t) U (t) = (t)F (t) .
Em resumo, temos que a soluo geral do sistema no-homogneo X(t) = XH (t) + XP (t), isto , a
soma da soluo geral do sistema homogneo XH (t) = (t)C (calculada pelos mtodos j explicados)
com a soluo particular XP (t) = (t)U (t), onde U (t) = 1 (t)F (t) .
[
Exemplo 1: Resoluo do sistema X =
|
3
2
{z
1
4
[
X+
]
3t
(t > 0) :
et
| {z }
F (t)
2 2t
1 2t
[
]
2te2t + 31 et
3e
3e
3t
1 (t)
1 ]
2te2t + et dt + k1
U (t) =
=
[
1 4t ]
5t
te e dt + k2
3
[
() Uma
frmula til: Se A =
a
c
b
d
te2t 21 e2t + 31 et
1 5t
5 te
1 5t
25 e
88
1 4t
12 e
[
1
det A
d
c
b
a
]
.
[ 2t
]
te2t 12 e2t + 31 et
5t
e
e
=
XP (t) = (t)U (t) =
e2t 2e5t
1 5t
1 5t
1 4t
te
e
5
25
12
6t
5
27
50
+ 41 et
3t
5
21
50
+ 21 et
1
1
X(t) = c1
e2t + c2
[
t
e + c2
2
1
e5t +
5 2
2
0
1
2
1
2
6t
5
27
50
+ 41 et
3t
5
21
50
1 t
2e
12e5t
0
X(t) +
[
e
4t
=
|
et
2et
]
(t > 0) . Temos que
][
]
c1
2e4t
c2
e4t
{z
}
(t)
1
= 5t
U = F = 5t
=
.
0
et
24e6t
8et
e 4e5t 2et
3e
|
{z
}|
{z
}
1 (t)
[
XP = U =
et
2et
2e4t
e4t
F (t)
][
e4t
8et
[
=
[
Exemplo 3: Resoluo completa do sistema X =
|
A 1 I =
3 1
9 3
[
(A 1 I)V = 0
[
escalonamento
1
0
[
=
1
0
3
0
15e5t
6e5t
]
.
]
[
]
1
t2
X(t) +
(t > 0) :
3
t4
{z
}
| {z }
3
9
F (t)
= ( 3)( + 3) + 9 = 2 = 0
3
0
3
1
det(A I) =
9
3
[
e5t 16e5t
2e5t 8e5t
1 = 0 (multip. 2)
][
] [ ]
{
{
[
]
0
3 = 0
= /3 = 3
1
=
|{z}
V =
0
0 = 0
qq
3
U1
| {z }
V
[
X1 (t) = XH (t) = c11
]
[
1 1
3 1
E
3 3
0
0
| {z } |{z}
3
9
A1 I
V1
([
1
3
+ c12
1
3
[
t+
1/3
1
0
])
=
|
1
3
]
][
c11
t+ 1/3
c12
3t
{z
}
(t)
89
[
]
1/3
3 = 1 = 0
U2 =
qq
0
3t t 1/3
3
1
(t) =
U (t) =
1
=
3t (3t + 1)
[
(t)F (t) dt =
3 ln t + 12 t2 + 19 t3
3t1
[
3t
3
]
t+ 1/3
1
3t t+ 1/3
3
1
][
t2
t4
1 t+ 1/3
3
3t
[
][
[
dt =
3 ln t + 12 t2 + 19 t3
3t1
1 3
3 t
1
3 ln t + 16 t2 t
9 ln t + 13 t3 + 12 t2 9
X(t) =
1 3
3 t
= XP (t) =
c11 + c12 (t + 31 ) 3 ln t + 16 t2 t1 3
3c11 + 3c12 t 9 ln t + 31 t3 + 12 t2 9
90
]
]
3t1 t3 31 t4
3t2 + t4
]
dt
4.5
Exerccios
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
[
]
1
1
1
(a) A =
(b) A = 1
4 2
2
distintos:
1 2
2 1
1 1
2 5
1 2
[
(b) A =
3
4
2
1
1 0
(c) A = 2 1
3 2
0
2
1
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
91
[
]
[ ]
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 sen2t et + c3 cos 2t et
sen2t
cos 2t
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 2
1
1
t
(d) X = c1 1 e2t + c2 1 te2t + 0 e2t + c3 1 e2t + 0 te2t + 0 e2t
2
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
41 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
92
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] Bronson, R. Moderna Introduo s Equaes Diferenciais, Coleo Schaum, McGraw-Hill do Brasil, 1977.
[3] Guidorizzi, H. L. Um Curso de Clculo, Segunda Edio, LTC Editora, Rio de Janeiro, 1997.
[4] Hildebrant, F. B. Advanced Calculus for Applications, Prentice-Hall, Englewood Glis, New Jersey,
1976.
[5] Kaplan, W. Clculo Avanado, Edgard Blcher Ltda, 1972.
[6] Zill, D. G. e Cullen, M. R. Equaes Diferenciais, Pearson Makron Books, So Paulo, 2001.
93