Documente Academic
Documente Profesional
Documente Cultură
Agradecimentos
Agradecemos as sugestes dos colegas do MAT-UnB e dos estudantes do Clculo 2 que utilizaram alguma das verses desse livro, o que permitiu uma considervel melhoria no contedo e na apresentao do texto.
S UMRIO
Sumrio
Introduo
Sequncias e sries
2.1 Limite de Sequncias . . . . . . . . . . . . .
Propriedades do limite . . . . . . . . . . . .
Sequncias e funes . . . . . . . . . . . . .
Sequncia de Fibonacci . . . . . . . . . . . .
Sequncias montonas . . . . . . . . . . . .
2.2 Sries . . . . . . . . . . . . . . . . . . . . . .
Teste da divergncia . . . . . . . . . . . . . .
Srie harmnica . . . . . . . . . . . . . . . .
Sries telescpicas . . . . . . . . . . . . . . .
Sries geomtricas . . . . . . . . . . . . . . .
Operaes com sries . . . . . . . . . . . . .
Sries de potncias . . . . . . . . . . . . . .
Operaes com sries de potncias
2.3 Testes de convergncia . . . . . . . . . . . .
Teste da cauda . . . . . . . . . . . . . . . . .
Teste da comparao . . . . . . . . . . . . .
Teste da convergncia absoluta . . . . . . .
Teste da srie alternada . . . . . . . . . . . .
Teste da raiz . . . . . . . . . . . . . . . . . . .
Teste da razo . . . . . . . . . . . . . . . . .
Teste da integral . . . . . . . . . . . . . . . .
Sries de potncias
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
15
15
21
23
27
29
31
38
39
42
44
49
53
56
59
59
61
64
68
71
75
79
85
Sumrio
3.1
3.2
Equaes diferenciais
4.1 Equao diferencial ordinria . . .
Sistemas de EDOs . . . . . . . . . .
4.2 EDO separvel . . . . . . . . . . . .
Catenria . . . . . . . . . . . . . . .
4.3 EDO linear de 1 ordem . . . . . . .
4.4 EDO linear de 2 ordem . . . . . . .
Soluo geral . . . . . . . . . . . . .
Soluo da homognea . . . . . . .
Soluo da no-homognea . . . .
4.5 Coeficientes constantes . . . . . . .
Equao caracterstica . . . . . . .
Razes reais distintas . . . .
Raiz real nica . . . . . . . .
Razes complexas . . . . . .
4.6 Coeficientes variveis . . . . . . . .
Mecnica quntica . . . . . . . . . .
Oscilador harmnico . . . .
tomo de hidrogneo . . .
Existncia e unicidade de solues
Solues por sries de potncias .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
85
94
98
104
106
111
114
121
122
124
125
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
127
127
134
139
143
148
155
159
161
169
174
174
175
176
178
180
180
181
183
185
189
Transformada de Laplace
197
5.1 Propriedades da transformada . . . . . . . . . . . . . . . . . . . . 197
Linearidade da transformada . . . . . . . . . . . . . . . . . . . . 198
Transformada da derivada . . . . . . . . . . . . . . . . . . . . . . 200
Sumrio
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
205
208
212
215
218
219
233
241
A Apndice
A.1 Sequncia montonas . . . . . . . .
A.2 Integral imprpria . . . . . . . . . . .
A.3 Exponencial complexa . . . . . . . .
Funes com valores complexos . .
A.4 Continuidade de sries de potncias
A.5 Derivada de sries de potncias . . .
A.6 Solues por sries de potncias . .
A.7 Regra de Cramer . . . . . . . . . . . .
A.8 EDO linear de ordem superior . . . .
Soluo da homognea . . . . . . . .
Soluo da no-homognea . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
245
245
247
249
251
256
260
263
270
272
273
283
5.2
5.3
5.4
Deslocamento . . . . . . . . .
Mudana de escala . . . . . .
Derivada da transformada . .
Injetividade da transformada
Transformada inversa . . . . .
Funes racionais . . . . . . .
Funes definidas por partes
Transformada de sistemas . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
CAPTULO
I NTRODUO
O Clculo o estudo do movimento: a quantidades que se movem so dadas
por funes, os limites de funes fornecem as tendncias dessas quantidades, e as derivadas de funes fornecem as taxas de variao dessas quantidades. J a integral a antiderivada: dada a taxa de variao de uma quantidade,
quem a quantidade? No Clculo 1 vimos diversos exemplos e aplicaes
de limites, derivada e integral de funes polinomiais, trigonomtricas, exponenciais e suas combinaes.
Derivar e calcular os limites de uma dada funo fcil, uma vez que se
conhea as regras bsicas. No entanto, integrar nem sempre fcil! Ainda
assim, para estudar o movimento, a integral a ferramenta mais importante:
pense na situao em que voc est pilotando um veculo, seja um carro ou
um foguete de posicionamento de um satlite. Voc quer chegar em algum
lugar, portanto est interessado na posio do veculo, no entanto voc no
controla a posio do veculo diretamente: voc tem controle da velocidade
(freios) e da acelerao do veculo. Ou seja, voc tem controle das taxas de
variao da quantidade, e com isso quer encontrar a quantidade: voc quer
integrar!
Nesse curso de Clculo 2 vamos, num certo sentido, melhorar a integral. O
primeiro passo para isso ser aumentar o nosso repertrio de funes: quanto
mais funes tivermos, mais funes conseguiremos integrar e mais movi-
Captulo 1. Introduo
e x
c1 x
c0 x + c1
x2
2
c2 x 2
+ c2
x3
3
+ + cn x n
+ + cn
x n+1
n +1
)dx =
+C
( cos(x))00 = cos(x)
( sen(x))00 = sen(x)
o que mostra que nenhuma das funes e x , cos(x), sen(x) dada por um
polinmio.
Mas e se considerarmos polinmios infinitos"?
Exemplos
1) A soma de todos os termos da progresso geomtrica de razo x
1 + x + x2 + + xn +
1
+x
+x 2
0
um polinmio infinito.
Se x um nmero entre 0 e 1, a potncia x n fica cada vez menor
medida que n cresce. Podemos obter o valor dessa soma infinita
partir da semelhana dos seguintes tringulos retngulos
Captulo 1. Introduo
1
+x
+x 2
B
A
x2
x
x x2
1
1x
C
Observe que a hipotenusa do primeiro e do segundo tringulo
verde tm a mesma inclinao pois
1 x x x2
=
1
x
e, como elas tm um ponto em comum, essas duas hipotenusas
formam uma reta. Repetindo esse raciocnio obtemos uma reta de
C at B e, portanto, um tringulo retngulo ABC tal que AC = 1 e
AB = 1 + x + x 2 + + x n +
Como o tringulo ABC semelhante ao primeiro tringulo verde,
segue que AB est para AC assim como 1 est para 1 x, de modo
que
1
1 + x + x2 + + xn + =
1x
Mais adiante veremos que essa igualdade vale para qualquer x
(1, 1). Por exemplo, para x = 21 temos
n
1
1 1
1
1+ + ++
+ =
=2
2 4
2
1 21
1
+
1
2
1
4
2)
1
dado por um polinmio infinito? Temos que
1+x
1
1+x
1
1 (x)
= 1 + (x) + (x)2 + (x)3 + (x)4 + + (x)n +
=
= 1 x + x 2 x 3 + x 4 x 5 + + (1)n x n +
para x (1, 1).
1
dado por um polinmio infinito? Temos que
1 + x2
1
1 + x2
1
1 (x 2 )
= 1 + (x 2 ) + (x 2 )2 + (x 2 )3 + (x 2 )4 + (x 2 )n +
=
= 1 x 2 + x 4 x 6 + x 8 + + (1)n x 2n +
para x 2 (1, 1), ou seja, para x (1, 1).
3) Vimos que e x no um polinmio finito, pois (e x )0 = e x . Ser que
um polinmio infinito? Fazendo
ex
= c0 + c1 x + c2 x 2 + c3 x 3 + c4 x 4 +
10
Captulo 1. Introduo
1 = c0
de modo que c 0 = 1 o coeficiente da potncia de grau 0. Derivando termo a termo temos que
(e x )0 =
c 1 + c 2 2x + c 3 3x 2 + c 4 4x 3 +
e x = c0 + c1 x + c2 x 2 + c3 x 3 +
e igualando os coeficientes das potncias de mesmo grau, temos
que
c 1 = c 0 = 1 = c 1 = 1
c2 2 = c1 = 1
1
2
1
c4 4 = c3 =
3!
Segue que, em geral
c3 3 = c2 =
cn =
=
=
=
1
2
1
c3 =
3!
1
c4 =
4!
c2 =
1
n!
de modo que
ex
= 1 + x +
1 2
x +
2!
1 3
x +
3!
1 4
x +
4!
11
Veremos mais adiante que isso pode ser feito rigorosamente e que
a igualdade acima vale para todo x R. Observe que
(e x )0 = ( 1 + x +
1 2
x
2!
1
2x +
2!
1 +
1 + x
1 3
x
3!
1 4
x
4!
+ )0
1 2
3x +
3!
1 3
4x +
4!
1 2
x
2!
1 3
x
3!
= ex
4) J comentamos que a rea abaixo da conhecida curva de sino de
Gauss, dada por
Z b
2
e x d x
a
1
(x 2 )2 +
2!
1 4
x
2!
= 1 + (x 2 ) +
= 1 x2
1
(x 2 )3 +
3!
1 6
x
+
3!
x 2
dx = x
x3
3
1 x5
2! 5
1 x7
3! 7
+ +C
para todo x R.
5) Vimos que sen(x) no um polinmio finito, pois ( sen(x))00 =
sen(x). Ser que um polinmio infinito? Fazendo
sen(x) = c 0 + c 1 x + c 2 x 2 + c 3 x 3 +
12
Captulo 1. Introduo
temos que
sen0 (x) = c 1 + c 2 2x
+ c 3 3x 2
+ c 4 4x 3
+
00
2
sen (x) = c 2 2 + c 3 3 2x + c 4 4 3x + c 5 5 4x 3 +
Fazendo x = 0, temos
sen(0)
+ c 2 02
= c0 + c1 0
+ c 3 03
= c0
sen(x) = c 0 c 1 x
c2 x 2
c3 x 3
+
e igualando os coeficientes das potncias de mesmo grau, temos
que
c 2 2 = c 0 = 0
= c 2 = 0
c 3 3 2 = c 1 = 1
= c 3 =
c 4 4 3 = c 2 = 0
= c 4 = 0
c 5 5 4 = c 3 =
1
3!
= c 5 =
1
3!
1
5!
Segue que
sen(x) = x
1 3
x +
3!
1 5
x
5!
1 7
x +
7!
1 9
x +
9!
Veremos mais adiante que isso pode ser feito rigorosamente e que
a igualdade acima vale para todo x R.
13
1 3
x
3!
1 5
x
5!
1 7
x
7!
+ )0
= 1
1 2
3x +
3!
1 4
5x
5!
1 6
7x +
7!
= 1
1 2
x
2!
1 4
x
4!
1 6
x
6!
para todo x R.
Sabemos que cos(x) uma funo par e sen(x) uma funo
mpar, isto
cos(x) = cos(x)
sen(x) = sen(x)
CAPTULO
S EQUNCIAS E SRIES
2.1
L IMITE DE S EQUNCIAS
Mais geralmente, uma sequncia uma lista ordenada e infinita de nmeros reais
a0 , a1 , a2 , a3 , . . . , an , . . .
Denominamos a 0 de 0-simo termo da sequncia, a 1 de 1-simo termo da
sequncia, a 2 de 2-simo termo da sequncia e assim por diante. Numa po-
16
a3
a2
a0
a1
an
...
...
2
0
4
5
...
n1
n+1
...
17
Exemplos
1) Considere uma corda de um instrumento musical vibrando presa
a duas extremidades. No primeiro harmnico dessa corda, o primeiro n ocorre apenas na outra extremidade. No segundo harmnico dessa uma corda, o primeiro n ocorre na metade da corda.
No terceiro harmnico dessa uma corda, o primeiro n ocorre em
um tero da corda, e assim em diante.
1
1/2
1/3
1/4
1/5
1/6
1/7
Isso d origem sequncia harmnica
an =
Claramente, temos
1
n
1
=0
n n
pois um limite do tipo limitado sobre infinito.
lim
18
1
Observe que
a 2n = 1
a 2n+1 = 1
Temos que limn a n no existe, uma vez que a sequncia alternada no se aproxima de nenhum valor medida que n cresce para
o infinito.
4) Seja a n a rea do polgono regular de n lados inscrito na circunferncia de raio 1, n 3. Podemos calcular a rea a n se notarmos
que ela consiste de n tringulos com lados iguais de comprimento
1 e ngulo 2/n entre eles.
19
2
n
sen(2/n)
2
sen(2/n)
2
20
p
2
1
Vamos tentar aproximar sucessivamente o comprimento dessa hipotenusa com o comprimento c n de escadas que vo do comeo
ao fim da hipotenusa, com cada vez mais degraus
c0
c1
c2
c3
c4
21
Observe que, para o limite de uma sequncia, no importa onde a sequncia comea mas sim onde a sequncia termina: os valores de a n quando n
tende ao infinito. Em particular, se lim a n = a ento
lim a n+1 = a
lim a n1 = a
P ROPRIEDADES DO LIMITE
Todas as propriedades vlidas para limite no infinito de funes reais tambm
so vlidas para limite de sequncias. Em particular, valem as regras do limite
da soma, produto e quociente.
Proposio 2.1
Sejam lim a n e lim b n existem , ento
(S)
(P)
(Q)
lim
an
bn
lim a n
,
lim b n
se lim b n 6= 0
22
direita da origem seu limite infinito, e se uma sequncia se afasta indefinidamente para a esquerda da origem seu limite menos infinito. Temos as
sequintes propriedades.
Proposio 2.3
Temos que
(A) Se a n limitada e lim b n = , ento lim
(B) Se lim a n = 0 e a n > 0, ento lim
an
= 0.
bn
1
= .
an
Exemplo
10n
e perceber que, para obter
Vamos considerar a sequncia a n =
n!
seu limite, s importa o que acontece para n grande. Temos que
a 0 = 1 < a 1 = 10 < a 2 =
1000
100
= 50 < a 3 =
= 166, 6 . . .
2!
3!
10n 10
10
10 1010 10
1010 10 1010
=
11
=
n!
n |n 1{z 11} 10!
n
10!
n 10!
cada fator 1
10 1010
n 10!
23
S EQUNCIAS E FUNES
Vimos que que podemos considerar uma sequncia a n como uma funo definida nos naturais n = 0, 1, 2, 3, . . .. No Clculo 1 estudamos funes f (x) definidas para x num intervalo. Veremos que em algumas situaes podemos
usar limite de funes do Clculo 1 para calcular limite de sequncias.
Dizemos que L o limite de f (x) quando x tende para a e denotamos
lim f (x) = L
xa
f
f (x 1 )
x1
f (x 2 )
x2
x3
24
Prova:
O item (A) consequncia da definio de limite de funes.
Para o item (B), se f contnua em a, temos que
lim f (x) = f (a).
xa
Proposio 2.5
(A) Se a n = f (n) ento
lim a n = lim f (x)
x
f (x)
f 0 (x)
an
= lim
= lim 0
b n x g (x) x g (x)
ou
lim a n = lim b n =
25
Prova:
O item (A) consequncia da definio de limite de funes, uma vez que
n uma sequncia que tende ao infinito.
O item (B) consequncia do item (A) e da Regra de LHospital.
(a n )0
an
= lim
bn
(b n )0
lim a n = lim b n =
ou
Exemplos
1) Considere a sequncia a n = cos(2n). Sabemos que
a n = cos(2n) = 1
para todo n, de modo que essa sequncia constante e
lim a n = 1
Ser que podemos afirmar que
?
No, pois o limite direita no existe! S podemos usar uma funo real f (x) para calcular o limite de uma sequncia a n quando o
limite da funo real existe: se o limite da funo real no existe,
nada podemos dizer sobre a sequncia.
26
2) Vimos que a rea do polgono regular de n lados inscrito na circunferncia de raio 1 dada por
an = n
sen(2/n)
2
Temos que
lim a n =
=
=
=
=
sen(2/n)
n
2
sen(2/n)
fazendo x = 2/n 0
lim
n
2/n
sen(x)
lim
indeterminao 0/0, LHospital
x0
x
cos(x)
lim
x0
1
cos(0) =
lim n
p
1
1
n
lim e = lim exp
= exp lim
= exp(0) = 1
n
n
onde podemos passamos o limite para dentro de exp(x) pois essa
uma funo contnua.
4) Temos que
lim
n
(n)0
1
=
lim
=
lim
= 0,
en
(e n )0
en
27
5) Temos que
lim log
n
= log lim
= log (1) = 0
n +1
n +1
onde passamos o limite para dentro de log(x) pois essa uma funo contnua e usamos que
lim
n
(n)0
1
= lim
= lim = 1.
0
n +1
(n + 1)
1
pois
lim n = = lim n + 1.
S EQUNCIA DE F IBONACCI
Agora consideramos um exemplo bastante curioso, a denominada sequncia
de Fibonacci dada por a n da seguinte maneira: seus dois primeiros passos so
iguais a um, ou seja, a 1 = a 2 = 1. Para obtermos os demais passos, utilizamos
a seguinte frmula
a n+2 = a n+1 + a n
Os 10 primeiros passos dessa sequncia so apresentados na seguinte lista
1, 1, 2, 3, 5, 8, 13, 21, 34, 55, . . .
Essa sequncia claramente possui limite infinito. Entretanto possvel mostrar que a sequncia das razes de Fibonacci
1 2 3 5 8 13 21 34 55
, , , , , , , , ,...
1 1 2 3 5 8 13 21 34
dada pelas razes
rn =
a n+1
an
28
a n+2
a n+1
a n+1 + a n
a n+1
an
= 1+
a n+1
1
= 1+ a
n+1
an
1
= 1+ ,
rn
lim r n+1 = 1 +
1
lim r n
2 1 = 0
cuja nica soluo positiva
p
1+ 5
=
2
denominada razo urea. Esse nmero mgico, conhecido desde a antiguidade, obtido geometricamente dividindo-se um dado segmento em dois pedaos, de modo que a proporo do todo sobre a maior das partes 1 coincida
com a proporo entre a maior das partes 1 e a menor das partes 1, como
ilustrado na figura abaixo.
29
A razo urea ento qualquer uma destas duas propores idnticas e satisfaz
1
=
1 1
S EQUNCIAS MONTONAS
Intuitivamente um a sequncia montona se ela vai sempre para a direita
ou sempre para a esquerda. Mais precisamente, a n montona quando
crescente
a 1 a 2 a 3 a n a n+1
a1
a2
a3
an
ou quando decrescente
a n+1 a n a 3 a 2 a 1
an
a3
a2
Exemplos
1) As sequncias a n = n1 e b n = n so montonas.
2) A sequncia c n = (1)n no montona.
a1
30
Quando uma sequncia montona e limitada, existe uma constante positiva R que limita todos os valores da sequncia por cima
a1 a2 a3 R
a1
a2
a3
an
an
a3
a2
a1
Exemplos
1) A sequncia a n = n1 montona e limitada.
2) A sequncia b n = n montona porm no limitada.
A seguinte proposio, demonstrada no apndice, nos d um critrio indireto para saber se uma sequncia montona tem ou no limite.
Proposio 2.6
Seja a n uma sequncia montona. Ento
(A) Se a n limitada, ento lim a n = a, para algum a R, e
(B) Se a n no limitada, ento lim a n = .
2.2. Sries
2.2
31
S RIES
As sries expressam a ideia de somas com infinitas parcelas, que uma das
ideias fundamentais do Clculo 2. Por exemplo, uma maneira de aproximar
a rea de uma circunferncia de raio 1 usando apenas a rea de tringulos
comear com a rea a 0 do tringulo inscrito, a essa rea somar a rea a 1 de trs
tringulos apoiados nos lados do tringulo anterior, a essas duas reas somar
a rea a 2 de seis tringulos apoiados nos lados dos tringulos anteriores, e
assim em diante.
a0
a1
a2
a0
a0 + a1
a0 + a1 + a2
32
denominada agora sequncia das parcelas da srie de a n , consideramos a seguinte lista vertical
s0 = a0
s1 = a0 + a1
s2 = a0 + a1 + a2
..
.
sm = a0 + a1 + a2 + + am
..
.
denominada sequncia das somas parciais da srie de a n , cujo termo geral s m
denominado m-sima soma parcial de a n .
a0
+a 1
s0
+a 2
s1
s2
+a m
s m1 s m
Observe que fazemos essa soma infinita de modo seriado: somando primeiro
a 0 , depois somando a 1 , depois somando a 2 e assim em diante, por isso damos
a essa soma infinita o nome de srie. Muitas vezes, ser conveniente utilizarmos a seguinte notao de somatrio.
Notao
1) A m-sima soma parcial de a n denotada por
sm =
m
X
n=0
an = a0 + a1 + a2 + + am
2.2. Sries
33
X
n=0
a n = lim
m
X
an = a0 + a1 + a2 + + an +
n=0
an = s
n=0
a n =
n=0
Exemplos
1) A srie
1
X
1 1
1
= 1+ + ++ n +
n
2 4
2
n=0 2
34
1
a soma de todos os termos da progresso geomtrica de razo .
2
1
1
+
1
2
+
4
0
A sequncia das suas parcelas dada por
1 1
1
1, , , , n ,
2 4
2
enquanto a sequncia das suas somas parciais dada por
s0 = 1
1
2
1 1
= 1+ +
2 4
..
.
1
1 1
= 1+ + ++ m
2 4
2
..
.
s1 = 1 +
s2
sm
1
2m
1
2
1
4
1
4
2.2. Sries
35
converge.
2) Considere a srie
1 = 1+1+1++1+
n=1
X
n=1
diverge para .
1 = 1 + 1 + 1 + + 1 + = .
36
3) Considere a srie
(1)n = 1 1 + 1 1 + + (1)n +
n=0
=
=
=
=
..
.
1
11 = 0
11+1 = 1
11+11 = 0
sm =
1,
0,
m par
m mpar
..
.
Segue que lim s m no existe, de modo que a srie
(1)n = 1 1 + 1 1 + + (1)n +
n=0
apenas diverge.
P
Uma maneira de visualizar uma srie
n=0 a n visualizar a sequncia das
parcelas a n como uma funo de n, e observar que o valor de cada parcela a n
pode ser visualizado como a rea de um retngulo de altura a n e base 1. Assim,
a srie pode ser visualizada como a soma da rea de todos esses retngulos.
2.2. Sries
37
a0
a1
2
0
a5
a4
3
4
a2
...
6
...
an
n
...
n+1 ...
a3
P
Se a srie
n=0 a n converge, intuitivo que as parcelas a n da soma se tornam cada vez menores. De fato, temos o seguinte resultado.
Proposio 2.7
a n converge
lim a n = 0
n=0
Prova:
Como a srie converge, temos que lim s m = s R. Temos que as somas
parciais so dadas por
s n1 = a 0 + a 1 + a 2 + + a n1
sn
= a 0 + a 1 + a 2 + + a n1 + a n
Subtraindo, obtemos que
a n = s n s n1
de modo que
lim a n = lim s n lim s n1 = 0.
38
T ESTE DA DIVERGNCIA
Lendo o resultado anterior anterior de uma outra maneira temos o seguinte
critrio para divergncia de uma srie numrica.
Proposio 2.8: Teste da divergncia
lim a n
6= 0
=0
a n diverge
n=0
inconclusivo
Prova:
Se a srie convergisse, pelo resultado anterior, deveramos ter lim a n = 0.
Logo, se lim a n 6= 0, a srie no pode convergir e portanto a srie diverge.
Quando lim a n = 0, tanto a srie pode convergir, como no caso da srie
geomtrica de razo 12 , quanto a srie pode divergir, como no caso da srie
harmnica, que ser analisada na prxima seo.
Exemplos
1)
X
n=1
1 = 1+1+1+1+
2.2. Sries
39
2)
(1)n = 1 1 + 1 1 +
n=0
S RIE HARMNICA
A srie harmnica dada pela soma dos termos da sequncia harmnica
1
X
1 1 1 1
1
= 1+ + + + ++ +
2 3 4 5
n
n=1 n
...
1
...
40
1
2
1 1
= 1+ +
2 3
..
.
1
1 1
= 1+ + ++
2 3
m
..
.
s2 = 1 +
s3
sm
Proposio 2.9
A srie harmnica diverge, mais precisamente
1
X
=
n=1 n
Prova:
Vamos dar uma idia da demonstrao: uma maneira mais rigorosa de
provar isso ser vista mais adiante. A idia organizar os termos da soma
2.2. Sries
41
12
1
2
12
1 1
+ +
3 4
41 + 41 = 12
1 1 1 1
+ + + +
5 6 7 8
18 + 81 + 18 + 81 = 12
1 1
1
1
+ +
+
++
9 10 11
16
1
1
1
1
+ 16
+ 16
+ + 16
= 12
16
+
de modo que, somando um nmero suficiente de termos, as somas parciais da srie crescem de meio em meio e assim tendem ao infinito. Segue
que a srie harmnica diverge para o infinito.
1
2
1
2
1
4
1
1
4
4
1
8
5
1
8
6
1
8
7
1
8
8
...
...
42
S RIES TELESCPICAS
Uma srie
n=0
a n = r n r n+1
A sequncia das suas parcelas dada por
r0 r1,
r1 r2,
r 2 r 3 , , r n r n+1 ,
a n = r 0 lim r m+1
n=0
quando esse limite existe. As sries telescpicas so um dos raros casos onde
conseguimos determinar o valor da srie, quando ela converge.
Exemplos
1) A srie
1
1
1
1
1
=
+
+
+
+
21 32 43 54
n=2 n(n 1)
converge ou diverge?
Temos que
lim
1
=0
n(n 1)
2.2. Sries
43
1 1
1
+ ++
2 6
m(m 1)
n(n 1) n 1 n
segue que em cada soma parcial
sm
!
!
1
1 1
1
1
1
1
= 1 + +
+
m 1
m 1 m
2
2 3
3
= 1
1
m
1
=1
m
1
=1
n=2 n(n 1)
2) A srie
n
1
2
3
4
= log
log
+ log
+ log
+ log
+
n +1
2
3
4
5
n=1
converge ou diverge?
Temos que
n
=0
n +1
de modo que o Teste da Divergncia inconclusivo. Suas m-sima
lim log
44
n
= log(n) log(n + 1)
n +1
+
+
log(1)
log(2)
log(2)
log(3)
log(3)
+
log(m + 1)
log(m)
log(m)
= log(m + 1)
sobra apenas a segunda parte do ltimo termo. Segue que
lim s m = lim log(m + 1) =
de modo que
X
n=1
log
n
=
n +1
S RIES GEOMTRICAS
A soma de todos os termos da progresso geomtrica de razo x fornece a srie
xn = 1 + x + x2 + + xn +
n=0
2.2. Sries
45
= lim x n = 0
|x| 1
= lim x n 6= 0
Prova:
Se x = 0 ento x n = 0 para todo n e ento lim x n = 0. Logo, podemos supor
que x 6= 0. Temos que
|x n | = |x|n
= e log |x|
= e n log |x|
Segue que
0, |x| < 1
n
n log |x|
1, |x| = 1
lim |x | = lim e
=
n
n
, |x| > 1
46
se e s se
lim x n = 0
X
n=0
|x| 1
xn =
1
1x
x n diverge
n=0
Prova:
P
n
Se |x| 1, temos que lim x n 6= 0, de modo que
n=0 x diverge, pelo Teste
da Divergncia.
Se |x| < 1, temos que lim x n = 0, de modo que o Teste da Divergncia
inconclusivo. Consideramos ento as somas parciais
sm = 1 + x + x 2 + + x m
2.2. Sries
47
e observamos que
xs m = x + x 2 + x 3 + + x m+1
se parece muito com s m . De fato, subtraindo um do outro,
(1 x)s m = 1 x m+1
Como 1 x 6= 0, podemos isolar s m e obter
sm =
1 x m+1
1x
1
.
1x
X
n=0
xn =
1
1x
As sries geomtricas so mais um dos raros casos onde conseguimos determinar o valor da srie, quando ela converge.
Exemplos
1) Temos que
1
X
1 1 1
1
= 1+ + + ++ n +
n
2 4 8
2
n=0 2
48
1
+
1
2
1
4
2) Temos que
(1)n
X
1 1 1
(1)n
=
1
+
+
n
3 9 27
3n
n=0 3
1
9
3
4
1
3
2.2. Sries
49
3) Temos que
2n = 1 + 2 + 4 + 8 + + 2n +
n=0
(1)n = 1 1 + 1 1 + + (1)n +
n=0
Se
an e
n=0
(S)
b n convergem, ento
n=0
(a n b n ) converge e
n=0
X
n=0
(a n b n ) =
X
n=0
an
X
n=0
bn
50
(C)
c a n converge e
n=0
c an = c
n=0
an
n=0
Prova:
Como
an e
n=0
n=0
lim
lim
m
X
an =
n=0
m
X
an
n=0
bn =
n=0
bn
n=0
so nmeros reais.
(S) Temos que
m
X
(a n + b n ) = (a 0 + b 0 ) + (a 1 + b 1 ) + (a 2 + b 2 ) + + (a m + b m )
n=0
= (a 0 + a 1 + a 2 + + a m ) + (b 0 + b 1 + b 2 + + b m )
m
m
X
X
=
an +
bn
n=0
n=0
(a n + b n ) =
n=0
=
=
lim
lim
X
n=0
m
X
(a n + b n )
n=0
m
X
a n + lim
n=0
an +
X
n=0
bn
m
X
n=0
bn
2.2. Sries
Para
51
(a n b n ), a prova a mesma.
n=0
c an = c a0 + c a1 + c a2 + + c am
n=0
= c(a 0 + a 1 + a 2 + + a m )
m
X
= c
an
n=0
c an =
n=0
m
X
lim
c an
n=0
m
X
= c lim
= c
an
n=0
an
n=0
Exemplos
1) Combinando duas sries geomtricas que convergem temos
X
n=0
1 (1)n
n
2n
3
1 n
1 n
X
X
3
n=0 2
n=0
(S)
3 5
=
4 4
52
n=0
2n+1
1
2
1 1 1
+ + +
2 4 8
1
1 1
1+ + +
2
2 4
1
2=1
2
(C )
n=0 2
n+1
1 1
X
n
n=0 2 2
1 X
1
=
2 n=0 2n
1
2=1
2
(C )
1 1
1
+
+
+
9 27 81
1 1
1
1+ + +
9
3 9
13 1
=
92 6
(C )
2.2. Sries
53
n=0
3n+2
1 1
X
2 n
n=0 3 3
1 X
1
=
32 n=0 3n
13 1
=
92 6
(C )
S RIES DE POTNCIAS
Agora podemos definir rigorosamente um polinmio infinito como a srie de
potncias
c0 + c1 x + c2 x 2 + + cn x n +
Mais precisamente, fixando um valor para x, consideramos as parcelas
c 0 , c 1 x, c 2 x 2 , . . . , c n x n , . . .
e as somas parciais
s0 = c0
s1 = c0 + c1 x
s2 = c0 + c1 x + c2 x 2
..
.
sm = c0 + c1 x + c2 x 2 + + cm x m
..
.
Assim, uma srie de potncias o somatrio infinito de potncias
X
n=0
cn x n = c0 + c1 x + c2 x 2 + + cn x n +
54
c n 0n = c 0 + c 1 0 + c 2 02 + + c n 0n + = c 0
n=0
a 1 = 1,
a 2 = 0,
a 3 = 7 e a n = 0 para n > 3.
a1 = b1 ,
...,
ak = bk
n=0 a n x
, com coeficientes
e a n = 0 para n > k.
X
xn = 1 + x + x2 + + xn +
n=0
com coeficientes
1, 1, 1, . . . , 1, . . .
2.2. Sries
55
com coeficientes
1 1
1
0, 1, , , . . . , , . . .
2 3
n
Note que o termo constante nulo e por isso c 0 = 0. Para que valores de x ela converge?
Por exemplo, para x = 1 obtemos a srie harmnica
1
X
1 1
1
= 1+ + ++ +
2 3
n
n=1 n
que diverge.
4) Na introduo vimos a seguinte srie de potncias
1
X
1
1
1
xn = 1 + x + x2 + x3 + + xn +
2
6
n!
n=0 n!
com coeficientes
1 1
1
1, 1, , , . . . , , . . .
2 6
n!
Para que valores de x ela converge?
Por exemplo, para x = 1 obtemos a srie numrica
1
X
1 1
1
= 1+1+ + ++ +
2 6
n!
n=0 n!
ela converge?
56
n=0
(S)
cn x n e
d n x n convergem, ento
n=0
cn x n +
n=0
dn x n =
n=0
(P)
xk
cn x n =
(c n + d n )x n
n=0
c n x n+k
n=0
n=0
Prova:
Temos que
cn x n +
n=0
dn x n =
n=0
(c n x n + d n x n ) =
n=0
(c n + d n )x n
n=0
e tambm que
xk
X
n=0
cn x n =
X
n=0
x k cn x n =
c n x n+k
n=0
importante observar que, para escrever a soma de duas sries de potncias como uma nica srie de potncias, devemos observar se os limites dos
2.2. Sries
57
1
1
X
X
xn +
xn
n!
n
n=0
n=1
1
X
1 n
n+3
x
+ x
n
n=0 n!
(2.1)
de modo que o fator x n+3 seja substituido pelo o fator x n . Isso pode ser feito
atravs de uma substituio no ndice do somatrio. Definimos m = n + 3, de
modo n = m 3. Quando n = 0, temos que m = 3, e quando n , temos que
m . Efetuando essa substituio na srie acima obtemos que
1
X
X
1
n+3
x
=
xm
m=3 (m 3)!
n=0 n!
(2.2)
1
X
1
xm +
xn
m=3 (m 3)!
n=1 n
Se tentarmos somar as duas sries de potncias, encontramos agora dois obstculos. Primeiro as letras usadas como ndices dos somatrio so diferentes.
58
Como a letra usada para o ndice do somatrio indiferente, podemos trocar uma delas, de modo que as duas letras voltem a coincidir. Como estamos
acostumados com a letra n, vamos volar a utilizar essa letra no primeiro somatrio, de modo que a expresso acima se torna igual a
1
X
1
xn +
xn
(n
3)!
n
n=3
n=1
1
X
1
1
xn + x + x2 +
xn
2
n=3 (n 3)!
n=3 n
1 2 X
1
1 n
x+ x +
x
+
2
n
n=3 (n 3)!
cujos coeficientes so
c 0 = 0,
c 1 = 1,
1
c2 = ,
2
cn =
1
1
+
(n 3)! n
para n 3.
Exemplo
Temos que
x3
1
X
x3xn
n!
n=0
1
X
=
x n+3
n!
n=0
X
1
=
xm
(m
3)!
m=3
X
1
=
xn
n=3 (n 3)!
1
X
xn =
n!
n=0
59
1
1
1 2 1 3
3
x 1 + x + x + x + = x3 + x4 + x5 + x6 +
2
3!
2
3!
2.3
T ESTES DE CONVERGNCIA
Vamos desenvolver critrios indiretos que, em algumas situaes, vo nos permitir decidir se uma dada srie numrica converge ou diverge sem precisarmos manipular suas somas parciais. O lado ruim desses critrios indiretos
que no vamos saber o valor para o qual srie converge ou diverge, mas apenas se ela converge ou diverge.
T ESTE DA CAUDA
Temos que
an = a0 + a1 + + an +
n=0
= (a 0 + a 1 + + a k1 ) + (a k + a k+1 + + a n + )
X
= (a 0 + a 1 + + a k1 ) +
an
n=k
onde a primeira soma finita e a segunda soma infinita. Essa segunda soma
X
a k-sima cauda da srie
a n , dada por
n=0
X
n=k
a n = a k + a k+1 + + a n +
60
a1
...
a k1
0
1
...
k1
a k+1
ak
k
...
k+1
an
n
...
...
...
a0
A cauda
a n converge
a srie
a n converge
n=0
n=k
A cauda
a n diverge
a srie
a n diverge
n=0
n=k
Prova:
Para m k, temos que a soma parcial da srie
a n fica
n=0
m
X
an = a0 + a1 + a2 + + am
n=0
= (a 0 + a 1 + a 2 + + a k1 ) + (a k + a k+1 + + a m )
k1
m
X
X
an +
an
=
n=0
n=k
61
a n = a 0 + a 1 + a 2 + + a k1
n=0
T ESTE DA COMPARAO
n=0
sequncia crescente
s 0 = |a 0 |
s 1 = |a 0 | + |a 1 |
s 2 = |a 0 | + |a 1 | + |a 2 |
..
.
s m = |a 0 | + |a 1 | + |a 2 | + + |a m |
s m+1 = |a 0 | + |a 1 | + |a 2 | + + |a m | + |a m+1 |
..
.
Neste caso, o limite lim s m sempre existe e temos ento apenas duas possibilidades
Propriedades
1) Converge: se o limite lim s m finito e, nesse caso, escrevemos
|a n | <
n=0
X
|a n | =
n=0
62
A mesma anlise acima tambm vale para as caudas, de modo que sempre
podemos escrever
|a n | .
n=k
X
n=k
de modo que
|a n |
|b n |
n=k
|a n | =
n=k
X
n=k
para n k
|b n | =
n=k
|b n | <
X
n=k
|a n | <
63
|b 0 |
|b 1 |
|b 2 |
|a 0 |
|a 2 |
|a 1 |
|b n |
...
|a n |
0
...
...
n+1 ...
Prova:
Se
0 |a n | |b n |
ento
m
X
|a n |
para n k
m
X
|b n |
n=k
n=k
X
n=k
Se
X
n=k
para que
|a n |
|b n |
n=k
|b n | = .
n=k
Se
n=k
para que
n=k
|a n | < .
64
Exemplo
A srie 2-harmnica a srie dada por
1
X
1 1 1
1
1
= 1+ + +
+
+ 2 +
2
4 9 16 25
n
n=1 n
X
X
1
=1<
2
2
n=2 n
n=2 n n
1
X
converge.
2
n=1 n
1
X
Assim, enquanto a srie harmnica
diverge, a srie 2n=1 n
1
X
harmnica
converge.
2
n=1 n
65
Proposio 2.16
Se
|a n | = |a 0 | + |a 1 | + |a 2 | + <
n=0
ento
an = a0 + a1 + a2 +
n=0
converge.
a0
a1
|a 2 |
a2
|a 3 |
|a 4 |
a3
a4
a5
...
...
Prova:
Separamos as partes positiva e negativa de a n , escrevendo
an = bn + cn
onde
bn =
an , an 0
0, a n < 0
66
b0
b1
b5
cn =
c2
0, a n 0
an , an < 0
c4
c3
Temos que
0 b n = |b n | |a n |
e tambm que
0 c n = |c n | |a n |.
Pelo teste da comparao, segue que
bn
n=0
e tambm que
X
n=0
...
c n
|a n | <
n=0
X
n=0
|a n | < .
...
67
c n =
n=0
cn
n=0
X
n=0
bn +
cn =
n=0
X
n=0
bn + cn
an
n=0
converge.
Quando a srie dos valores absolutos converge, dizemos que a srie original converge absolutamente. O resultado acima mostra que toda srie que
converge absolutamente de fato converge. Mas existem sries que convergem, mas no convergem absolutamente.
Exemplos
1) Temos que
(1)n
X
2
n=1 n
(1)n
X
X 1
< .
n2 =
2
n=1
n=1 n
2) Vamos ver a seguir que a srie harmnica alternada
(1)n
X
n
n=1
68
que
(1)n
X
X 1
= .
n =
n=1
n=1 n
(1)n a n = a 0 a 1 + a 2 a 3 +
n=0
converge.
Prova:
Considere
s 2k = a 0 a 1 + a 2 a 3 + a 2k3 + a 2k2 a 2k1 + a 2k
Como a n > 0 e a n a n+1 > 0 para todo n, temos que s 2k > 0. Temos tambm que
s 2k = s 2k2 a 2k1 + a 2k < s 2k2
69
de modo que
0 < s 2k < s 2k2 < < s 2 < s 0
Segue que s 2k uma sequncia decrescente e limitada, de modo que
existe s tal que
lim s 2k = s.
Alm disso, temos que
s 2k+1 = s 2k a 2k+1
de modo que
lim s 2k+1 = lim s 2k lim a 2k+1 = s
uma vez que, pelo teorema do sanduche, lim a 2k+1 = 0, j que 0 < a 2k+1 <
a k . Como a sequncia dos s m com m par e com m mpar convergem para
o mesmo s, no difcil mostrar que a lim s m = s, mostrando que a srie
converge.
Exemplos
1) Temos que a srie harmnica alternada
X
n=1
(1)n
1
n
1
n
(1) = 1
n n
decresce para zero. Mas no converge absolutamente, uma vez que
X
X 1
1
n
(1) =
=
n n=1 n
n=1
2) O que aconteceria se na srie harmnica alternada tentssemos
70
1
2
1
1 1
1
1X
+ ++
+ =
=
2 4
2n
2 n=1 n
pois apareceu 12 vezes a srie harmnica, que diverge para o infinito. Por que isso aconteceu? Porque, apesar da srie harmnica
alternada convergir, ela no converge absolutamente. Sua convergncia depende da ordem que somamos os termos. Se somarmos
alternadamente as parcelas positivas e negativas, a srie converge
pois h cancelamentos. Se somarmos primeiro as parcelas positivas e depois as parcelas negativas, a srie diverge. por essa razo
que, nesse caso, dizemos que a serie converge condicionalmente,
pois a convergncia depende da ordem que as parcelas so somadas.
3) Temos que
X
n=2
(1)n
1
n log(n)
1
1
n
(1)
=
n log(n)
n log(n)
decresce para zero. Mas no converge absolutamente, uma vez que
X
X
1
1
n
(1)
=
=
n log(n)
n=2
n=2 n log(n)
4) Temos que
71
X
n=1
(1)n
n +1
n
(1)n n + 1 = n + 1
n
n
ser decrescente, este no decresce pra zero, portanto o Teste da srie alternada no se aplica. Porm, como o termo geral no tende a
zero, a srie diverge pelo Teste da divergncia.
T ESTE DA RAIZ
Se tomamos o termo geral x n de uma srie geomtrica com razo x e extramos a raiz n-sima do seu mdulo, obtemos de volta o mdulo da razo
p
n
|x n | = |x|
Como a convergncia de uma srie de uma srie geomtrica depende do mdulo de sua razo ser menor ou maior que um, definimos para uma srie numrica qualquer o mdulo de sua razo no infinito pelo seguinte limite
p
lim n |a n |
n
72
Temos que
lim
p
n
|a n |
<1
a n converge
n=0
>1
=1
a n diverge
n=0
= inconclusivo
Prova:
A idia comparar a srie dos mdulos com uma srie geomtrica.
p
p
1) Se lim n |a n | < 1, ento n |a n | fica abaixo de 1 para n grande e, portanto, abaixo de algum x < 1 positivo para n maior que algum k, isto
p
n
|a n | < x < 1
para n k
Elevando ambos os lados a n-sima potncia temos
|a n | < x n
para n k
|a n | <
n=k
X
n=k
X
n=0
xn
xn =
1
<
1x
73
onde a srie geomtrica converge pois sua razo satisfaz 0 < x < 1. Pelo
X
Teste da cauda, segue que
|a n | < . Pelo Teste da convergncia
absoluta, segue que
n=0
a n converge.
n=0
2) Se lim
p
n
para n k
X
a n diverge.
divergncia, segue que
n=0
p
3) Para mostrar que o caso lim n |a n | = 1 inconclusivo, vamos dar um
exemplo em que essa conta satisfeita mas a srie diverge e dar um
outro exemplo em que essa conta satisfeita mas a srie converge.
1
X
diverge e tal que
A srie harmnica
n=1 n
s
1
1
n
lim = lim p
=1
n
n
n
A srie 2-harmnica
1
X
converge e tal que
2
n=1 n
s
1
1
n
lim 2 = lim p
=1
n
( n n)2
74
Exemplos
1)
n2
X
converge?
n
n=0 2
Pelo Teste da raiz
s
p
2 (lim n n)2 1
n n
lim n =
= <1
2
2
2
segue ento que a srie converge.
2)
(3)n
X
converge?
3
n=1 n
Pelo Teste da raiz
s
3
n (3)
lim 3 =
=3>1
p
n
(lim n n)3
|x|
n 1 n
lim x = p
= |x|
n
n
n
segue ento que a srie converge se |x| < 1, e diverge se |x| > 1. Para
|x| = 1, isto , para x = 1 ou x = 1 o teste da raiz no se aplica e temos que substituir esses valores diretamente na srie de potncias.
Para x = 1 a srie de potncias fica
1
1
X
X
(1)n =
n=1 n
n=1 n
75
T ESTE DA RAZO
Se tomamos o termo geral x n de uma srie geomtrica com razo x e extramos a raiz n-sima do seu mdulo, obtemos de volta o mdulo da razo
n+1
x
x n = |x|
Como a convergncia de uma srie de uma srie geomtrica depende do mdulo de sua razo ser menor ou maior que um, definimos para uma srie numrica qualquer o mdulo de sua razo no infinito pelo seguinte limite
a n+1
lim
n a n
e obtemos o seguinte resultado.
Proposio 2.19: Teste da razo
76
Temos que
a n+1
lim
an
<1
>1
=1
a n converge
n=0
a n diverge
n=0
= inconclusivo
Prova:
A idia , novamente, comparar a srie dos mdulos com uma srie geomtrica.
a n+1
a n+1
a n+1
para n k
a <x <1
n
Segue que
a k+1 a k+2
,
,
a a
k
k+1
a n1 a n
,
<x
a
n2
n1
77
Escrevendo
a k+1 a k+2 a n1 a n
|a n | = |a k |
a k a k+1 a n2 a n1
<x
<x
<x
<x
z }| { z }| { z }| { z }| {
a k+1 a k+2 a n1 a n
= |a k |
a k a k+1 a n2 a n1
|
{z
}
nk fatores
< |a k |x nk
para n k
Logo
|a n | < |a k |
x nk
n=k
n=k
= |a k | 1 + x + x 2 + x 3 +
1
<
= |a k |
1x
onde a srie geomtrica converge pois sua razo satisfaz 0 < x < 1. Pelo
X
Teste da cauda, segue que
|a n | < . Pelo Teste da convergncia
n=0
a n converge.
n=0
a n+1
a n+1
para n k
a >1
n
de modo que
|a n+1 | > |a n |
para n k
X
que
a n diverge.
n=0
78
a n+1
lim n+1
=1
= lim
1
n +1
n
A srie 2-harmnica
1
X
converge tal que
2
n=1 n
n2
(n+1)2
=1
lim 1 = lim
2
(n + 1)2
n
Exemplos
1) Considere a srie de potncias
1
X
x2 x3 x4
xn = 1 + x +
+
+
+
2
3! 4!
n=0 n!
n+1
n!
1
(n+1)! x
lim
|x| = lim
|x| = 0 < 1
= lim
1 n
(n + 1)!
n +1
x
n!
para qualquer x fixado. Pelo Teste da razo segue que a srie converge para todo x fixado.
79
n+1
n
n+1 x
lim 1
|x| = |x|
= lim
n
n +1
x
n
para qualquer x fixado. Pelo Teste da razo segue que a srie converge, quando |x| < 1 e diverge quando |x| > 1. O Teste da razo no
nos diz nada quando |x| = 1. Para saber da convergncia da srie
nesse caso, temos que substituir diretamente x = 1, obtendo
1
1
X
X
(1)n =
=
n=1 n
n=1 n
que converge, pelo Teste da srie alternada. Segue que a srie converge se e s se x [1, 1). Se utilizarmos o teste da raiz, chegaremos aos mesmos resultados, uma vez que
s
1
n 1 n
lim x = lim p
|x| = |x|
n
n
n
T ESTE DA INTEGRAL
A integral imprpria pode ser usada para determinar a convergncia ou a divergncia de algumas sries com termos no negativos e decrescentes.
80
Proposio 2.20
Se a x = a(x) positiva, decrescente e definida para x real com x k,
ento
Z
X
a n d n < =
an <
k
n=k
Z
k
a n d n = =
an =
n=k
Prova:
Como a(x) decrescente e como a n = a(n), considerando retngulos de
base 1 que vo de k a k + 1,..., de n a n + 1,..., temos que
ak
a k+1
...
...
an
k1
k+1
...
n1
n+1
...
n+1
a(x) d x
k
81
ak
...
a k+1
...
an
k1
k+1
n1
...
n+1
...
Z
a k + a k+1 + . . . + a n
a(x) d x
k1
n+1
Z
a(x) d x a k + a k+1 + . . . + a n
a(x) d x
k1
Z
k
a(x) d x
X
n=k
Z
an
a(x) d x
k1
R
Se a integral imprpria k a(x) d x diverge segue da ltima desigualP
dade acima que a srie de termos
R sem sinal n=k a n diverge.
R
Se a integral imprpria k a(x) d x converge, ento k1 a(x) d x tambm converge, uma vez que
Z
k1
Z
a(x) d x =
k1
Z
a(x) d x +
a(x) d x
k
P
a uma srie de termos
Segue da ltima desigualdade acima que
n=k n
sem sinal limitada que, portanto, converge.
82
de modo que
1
X
= .
n=1 n
2) Temos que
Z
1
de modo que
Observe que
1
d n = log(n) 1 = ,
n
1
1
= 1 < ,
dn =
n2
n 1
1
X
< .
2
n=1 n
1
X
1
= 1 + + > 1.
2
4
n=1 n
1p 1
Z
1
n
se p > 1
=
dn =
1p
p
1p 1
1 n
se p < 1
de modo que
quando p > 1 e
quando p < 1.
1
X
< ,
p
n=1 n
1
X
= ,
p
n=1 n
83
< se p > 1
= se p 1
1
(n+1)p
1
np
= lim
n p
=1
n +1
e que
r
lim
1 p
1
= lim p
= 1.
n
np
n
4) Temos que
Z
2
de modo que
1
d n = log(log(n)) 2 = ,
n log(n)
1
= .
n=2 n log(n)
CAPTULO
S RIES DE POTNCIAS
3.1
Nessa seo, vamos retomar o conceito de sries de potncias, que agora sero vistas como uma funo de x. Nesse ponto, conveniente fazermos uma
analogia com o conceito de funo derivada, abordado no incio do curso de
Clculo 1.
A derivada de uma funo f (x) no ponto x defnida pelo limite do quociente de Newton de f (x) entre x e x + h quando h tende a zero, dado por
lim
h0
f (x + h) f (x)
h
A partir da definio de derivada num dado ponto, podemos construir a denominada funo derivada de f (x), denotada por f 0 (x), que dada por
f 0 (x) = lim
h0
f (x + h) f (x)
h
Quando o quociente de Newton pode ser desenvolvido e simplificado, o limite que define a funo derivada pode ser determinado como uma funo
conhecida de x. Por exemplo, considerando f (x) = x 2 , temos que
(x + h)2 x 2
h0
h
f 0 (x) = lim
86
Como
(x + h)2 x 2 x 2 + 2xh + h 2 x 2
=
= 2x + h
h
h
temos que
f 0 (x) = lim 2x + h = 2x
h0
m
X
cn x n
n=0
A partir da definio de srie de potncias num dado ponto, podemos construir a denominada funo srie de potncias, denotada por f (x), que dada
por
m
X
f (x) = lim
cn x n
m
n=0
Como
m
X
m
X
xn
n=0
xn = 1 + x + x2 + xm =
n=0
1 x m+1
1x
temos que
1 x m+1
1
f (x) = lim
=
m 1 x
1x
para todo x tal que |x| < 1. Quando x tal que |x| 1, esse limite infinito ou
no existe.
O domnio da funo
f (x) = c 0 + c 1 x + c 2 x 2 + + c n x n +
X
=
cn x n
n=0
87
x R:
a srie numrica
cn x
converge
n=0
Observe que 0 sempre est no domnio de uma seri de potncias, uma vez
que para x = 0 temos a srie
f (0) = c 0 + c 1 0 + c 2 02 + + c n 0n +
= c0
converge.
Exemplos
1) A srie geomtrica de razo x uma srie de potncias
f (x) = 1 + x + x 2 + x 3 +
X
=
xn
n=0
com domnio
X
x R:
xn
converge = {x R :
n=1
uma vez que a srie geomtrica converge apenas para esses valores
de x.
J vimos que
X
1
f (x) =
xn =
1x
n=0
para todo x (1, 1).
88
1
X
n
x
converge = (, )
x R:
n=0 n!
0
Mais frente, veremos que
f (x) =
1
X
xn = ex
n!
n=0
para todo x.
3) A srie de potncias
1
1
1
f (x) = x x 2 + x 3 x 4 +
2
3
4
(1)n1
X
=
xn
n
n=1
tem qual domnio?
Vejamos para quais valores de x a srie converge. Fixado x, temos uma srie com parcelas
(1) n1 n
x
n
89
n1
n (1)
n
x =
lim
n
n
=
r
lim
1 n
|x|
n
|x|
lim p
n
n
= |x|
de modo que
|x| < 1 =
(1) n1
X
xn
n
n=1
converge absolutamente
|x| > 1 =
(1) n1
X
xn
n
n=1
diverge
(1) n1
X
n=1 n
1
n
converge
decresce para 0.
(1) n1
X
(1)n =
n
n=1
1
X
(1)2n1
n
n=1
X
n=1
1
n
diverge
90
x R:
(1) n1
X
xn
n
n=1
converge = (1, 1]
(1)n1
X
x n = log(1 + x)
n
n=1
X
=
n!x n
n=0
91
(n + 1)!x n+1
=
lim
n
n!x n
=
(n + 1)!|x|n+1
n
n!|x|n
lim
lim (n + 1)|x|
=
que maior que 1, para qualquer x 6= 0.
Assim, o domnio dessa srie de potncias
x R:
n!x
converge
= [0, 0] = {0}
n=0
O domnio das series de potncias dos exemplos acima sempre um intervalo centrado na origem com raio R:
Exemplo 1) domnio o intervalo
(1, 1)
o raio R = 1 e o intervalo aberto em ambos lados.
Exemplo 2) domnio o intervalo
(1, 1]
o raio R = 1 e o intervalo aberto na esquerda e fechado na
direita.
Exemplo 3) domnio o intervalo
(, )
o raio R = e o intervalo aberto em ambos lados.
92
lim
p
n
|c n | |x|
ou
c n+1
|x|
lim
n c n
< 1 =
c n x n converge
n=0
X
>
1
=
c n x n diverge
n=0
= 1 = inconclusivo
Prova:
Fixado x, temos uma srie numrica com termo geral
cn x n
onde
|c n x n | = |c n ||x|n
de modo que
lim
p
p
n
|c n x n | = lim n |c n ||x| = lim n |c n | |x|
n
c n+1
c n+1
|c n+1 x n+1 |
|x| = lim
|x|
lim
= lim
n
n c n
n c n
|c n x n |
93
Proposio 3.2
O domnio de uma srie de potncias dado por um dos seguintes intervalos
(R, R) ou [R, R] ou (R, R] ou [R, R)
para algum 0 R , denominado raio de convergncia da srie.
Prova:
Para simplificar a prova vamos supor que existe o limite
p
lim n |c n | = L
n
c n x n converge absolutamente
n=0
L|x| > 1
c n x n diverge
n=0
logo
|x| <
1
L
1
= a srie de potncias diverge
L
Segue que o domnio da srie de potncias um intervalo centrado na
origem com raio R = 1/L (veja Figura ?).
|x| >
94
[R, R)
(R, R]
[R, R]
0
X
0
n
cn x
= c0 + c1 x + c2 x 2 + + cn x n +
n=0
= 0 + c 1 + c 2 2x + + c n nx n1 +
Proposio 3.3
Seja
n=0
cn x
0
=
n=0
X
n=1
c n nx n1
c n+1 (n + 1)x n
n=0
95
Prova:
Primeiro vamos provar que
f (x) =
cn x n
g (x) =
n=0
c n+1 (n + 1)x n
n=0
c n x n , denotando
n=0
c n+1
L f = lim
n c n
temos que
|x| <
|x| >
1
Lf
1
Lf
cn x n
converge
cn x n
diverge
n=0
X
n=0
n=0
so
c n+1 (n + 1)
denotando
c n+2 (n + 2)
L g = lim
n c n+1 (n + 1)
temos que
|x| <
|x| >
1
Lg
1
Lg
c n+1 (n + 1)x n
converge
c n+1 (n + 1)x n
diverge
n=0
X
n=0
96
c n+2 (n + 2)
=
L g = lim
n c n+1 (n + 1)
c n+2
lim n + 2
lim
n c n+1 n n + 1
c n+1
1 = Lf
= lim
n c n
Agora vamos mostrar que f 0 (x) = g (x). Para isso, usamos a definio
de derivada
f (x + h) f (x)
h0
h
X
1 X
n
n
c n (x + h)
= lim
cn x
h0 h n=0
n=1
f 0 (x) = lim
= lim
h0 n=0
= lim
h0 n=0
cn
(x + h)n x n
h
c n n(x + c n )n1
h0 n=1
c n n(x + c n )n1 =
X
n=1
c n nx n1
de modo que
f 0 (x) =
=
97
c n nx n1
n=1
c n+1 (n + 1)x n
n=0
= g (x)
Exemplo
Vimos que
1
X
x2 x3 x4
xn = 1 + x +
+
+
+
2! 3! 4!
n=0 n!
1
X
xn
n!
n=0
0
=
X
n=0
1 n
x
n!
1
X
nx n1
n!
n=1
1
x n1
(n
1)!
n=1
1
X
xn
n!
n=0
98
x
x2
x3
x2 x3 x4
+
+
+
= 1+2 +3 +4 +
1+x +
2! 3! 4!
2!
3!
4!
= 1+x +
Mais adiante veremos que
x2 x3
+
+
2! 3!
1
X
x n = e x para x (, ).
n=0 n!
cn x n d x =
c0 + c1 x + c2 x 2 + + cn x n + d x
n=0
= c0 x + c1
x3
x n+1
x2
+ c2 + + cn
+ +C
2
3
n +1
Proposio 3.4
Seja
n=0
Z X
cn x
dx =
n=0
=
vale para x (R, R).
cn
x n+1
n +1
n=0
c
X
n1
n=1
xn
99
Prova:
Primeiro vamos provar que
f (x) =
cn x n
F (x) =
n=0
c
X
n1 n
x
n=1 n
c n x n , denotando
n=0
c n+1
L f = lim
n c n
temos que
|x| <
|x| >
1
Lf
1
Lf
cn x n
converge
cn x n
diverge
n=0
X
n=0
c
X
n1 n
x , cujos coeficientes so
n=1 n
c n1
n
denotando
c
n
L F = lim cn+1
n n1
n
100
temos que
|x| <
1
LF
c
X
n1 n
x
n=1 n
converge
|x| >
1
LF
c
X
n1 n
x
n=1 n
diverge
L F = lim cn+1
=
n1
n
cn
lim
n c
n1
lim n
n n + 1
c n+1
1 = Lf
= lim
n c n
Temos ento que
c
X
n1 n
x
n=0 n
F (x) =
c
X
n1
n=0
xn
c
X
n1
nx n1
n
n=1
c n1 x n1
n=1
cn x n
n=0
vale para (R, R). Isso mostra que F (x) uma primitiva para
X
n=0
n=0
cn x
d x = F (x) +C
c n x n em
101
vale para (R, R), onde F (x) dada pela srie de potncias que queramos.
Exemplos
1) Vimos que
1
1
=
1 + x 1 (x)
(x)n
n=0
(1)n x n
n=0
1
dx =
1+x
=
Z X
(1) x
dx
n=0
x n+1
n +1
(1)n1
X
xn
n
n=1
(1)n
n=0
n n
= x
x2 x3 x4
+
+ +C
2
3
4
102
(1)n1
X
xn
n
n=1
= x
x2 x3 x4
+
+
2
3
4
(1)n1
X
n
n=1
= 1
1 1 1
+ +
2 3 4
(x 2 )n
n=0
X
n=0
(1)n x 2n
103
1
dx =
1 + x2
=
Z X
n 2n
(1) x
dx
n=0
(1)n
n=0
= x
x 2n+1
2n + 1
x3 x5 x7
+
+ +C
3
5
7
(1)n
X
x 2n+1
2n
+
1
n=0
= x
x3 x5 x7
+
+
3
5
7
= atg(1)
(1)n
X
n=1 2n + 1
= 1
1 1 1
+ +
3 5 7
104
cn x n
n=0
f (n) (0)
n!
para todo n.
Prova:
Temos que
f (x) = c 0 + c 1 x + c 2 x 2 + c 3 x 3 + c 4 x 4 + ,
de modo que f (0) = c 0 e
f (0) (0)
0!
Calculando a derivada primeira, temos que
c0 =
f 0 (x) = c 1 + c 2 2x + c 3 3x 2 + c 4 4x 3 + ,
de modo que f 0 (0) = c 1 e
c1 =
f (1) (0)
1!
105
f (2) (0)
2!
Calculando a derivada terceira, temos que
c2 =
f (3) (0)
3!
A unicidade dos coeficientes das sries de potncias ento uma consequncia imediata.
Corolrio 3.6
Se
X
n=0
cn x n =
X
n=0
bn x n
106
Prova:
Definindo
f (x) =
cn x =
n=0
bn x n
n=0
segue que
cn =
f (n) (0)
= bn
n!
para todo n.
3.2
S RIE DE TAYLOR
Quando f (x) tal que f (n) (0) existe para todo n, podemos considerar
f (n) (0)
X
f 00 (0) 2
x n = f (0) + f 0 (0)x +
x +
n!
2
n=0
f (x) =
0,
x 0
e x1 , x > 0
107
0
Podemos mostrar que
(n)
(x) =
x <0
0,
e x1 p 1 , x > 0
n x
onde p n (y) um polinmio. Por exemplo, no caso da derivada primeira, fcil ver que p 1 (y) = y 2 . Para determinar o valor da derivada na origem, vamos calcular suas derivadas laterais. A derivada
lateral esquerda dada por
f (n) (0 ) = lim f (n) (x) = 0
x0
= lim e x p n
x0
=
=
lim e
lim
p n (y)
p n (y)
ey
= 0
onde o ltimo limite calculado pela regra de LHospital. Temos
ento que
f (n) (0) = 0
108
0x n
n=0
= 0 + 0x + 0x 2 + 0x 3 +
= 0
f (x)
6=
1
X
xn
n=0 n!
= 1+x +
x2 x3
+
+
2
3!
= ex
restando mostrar que e x igual sua srie de Taylor.
3) Considere a funo f (x) = sen(x). As primeiras derivadas pares
109
so dadas por
f (0) (x) =
sen(x)
(2)
(x) = sen(x)
(4)
(x) =
(6)
(x) = sen(x)
sen(x)
de modo que
f (2k) (x) = (1)k sen(x)
para todo k 0. Por outro lado, as primeiras derivadas mpares so
dadas por
f (1) (x) =
cos(x)
(3)
(x) = cos(x)
(5)
(x) =
(7)
(x) = cos(x)
cos(x)
de modo que
f (2k+1) (x) = (1)k cos(x)
para todo k 0. Segue ento que
f
(n)
(0)
=
n!
0,
n = 2k
(1)k
, n = 2k + 1
(2k + 1)!
(1)k
X
x 2k+1
k=0 (2k + 1)!
= x
?
x3 x5 x7
+
+
3! 5! 7!
sen(x)
110
cos(x)
(2)
(x) = cos(x)
(4)
(x) =
(6)
(x) = cos(x)
cos(x)
de modo que
f (2k) (x) = (1)k cos(x)
para todo k 0. Por outro lado, as primeiras derivadas mpares so
dadas por
f (1) (x) = sen(x)
f (3) (x) =
f
(5)
sen(x)
(x) = sen(x)
f (7) (x) =
sen(x)
de modo que
f (2k+1) (x) = (1)k+1 sen(x)
para todo k 0. Segue ento que
(1)k
f (n) (0)
,
n = 2k
=
(2k)!
n!
0,
n = 2k + 1
para todo k 0. Logo
f (n) (0)
X
xn =
n!
n=0
(1)k
X
x 2k
k=0 (2k)!
= 1
?
x2 x4 x6
+
+
2! 4! 6!
cos(x)
111
S RIE BINOMIAL
Nessa seo, vamos determinar a srie de Taylor da funo binomial f (x) =
(1+ x)a . Quando a um nmero natural, essa srie se transforma numa soma
e obtemos a famosa frmula do binmio de Newton. Alis, foi assim que o
prprio Newton procedeu a mais de trs sculos atrs.
Exemplos
1) As primeiras derivadas de f (x) = (1 + x)a so dadas por
f (0) (x) = (1 + x)a
f (1) (x) = a(1 + x)a1
f (2) (x) = a(a 1)(1 + x)a2
f (3) (x) = a(a 1)(a 2)(1 + x)a3
de modo que
f (n) (x) = a(a 1)(a 2) (a (n 1))(1 + x)an
para todo n 0. Segue ento que
f (n) (0) a(a 1)(a 2) (a (n 1))
=
n!
n!
para todo n 0. Logo
f (n) (0)
X
xn =
n!
n=0
= (1 + x)a
112
restando mostrar que (1+x)a igual sua srie de Taylor, o que ser
feito apenas no prximo captulo. Denotando
!
a
a(a 1)(a 2) (a (n 1))
=
n!
n
denominado n-coeficiente binomial, obtemos
!
a
X
(1 + x)a =
xn
n
n=0
que generaliza a frmula binomial. Vamos agora determinar o raio
de convergncia da srie binomial. Uma vez que
! !
a
a a n
=
n +1
n n +1
temos que
a
n+1
a
lim n+1
=
n
xn
n
a n
lim
x
n n + 1
a n
= lim
|x|
n n + 1
= | 1||x|
= |x|
113
L0
Se a rgua possui comprimento L 0 e o relgio possui perodo T0
quando esto parados, o comprimento e o perodo em movimento
so dados por
s
L = L0
v2
c2
T=s
T0
v2
c2
114
v2
<1
c2
1
v2 2
L = L0 1 2
c
!
1 v 2 n
X
2
2
= L0
n
c
n=0
1 v2 1 v4
= L0 1
+
2 c2 8 c4
e tambm que
T
1
v2 2
= T0 1 2
c
!
n
1
X
v2
2
= T0
2
c
n=0 n
2
1v
3 v4
= T0 1 +
+
+
2 c2 8 c4
P OLINMIO DE TAYLOR
Para investigarmos melhor em que condies uma dada f igual sua srie
de Taylor, consideramos
f 00 (0) 2
f (m) (0) m
x ++
x
2
m!
115
f (n) (0)
X
xn
n!
n=0
Para que f seja igua sua srie de Taylor em x, basta ento mostrarmos que
lim p m (x) = f (x),
p1
p5
x
f
116
+
3! 5! 7!
k=0 (2k + 1)!
x3 x5 x7
xm
+
+
3! 5! 7!
m!
+
2! 4! 6!
k=0 (2k)!
de modo que seu m-simo polinmio de Taylor dado por
p m (x) = 1
x2 x4 x6
xm
+
+
2! 4! 6!
m!
117
f (x) p n1 (x) M n c
n!
Prova:
Vamos considerar apenas o caso em x [0, c], sendo que o caso em que
x [c, 0] anlogo. Temos que
M n f (n) (x) M n ,
para todo x [0, c].
Integrando a desigualdade acima de 0 at t [0, c], obtemos
t
Z
0
Z
M n d x
f
0
(n)
Z
(x) d x
M n d x,
de modo que
M n t f (n1) (t ) f (n1) (0) M n t .
Trocando t por x, segue que
M n x f (n1) (x) f (n1) (0) M n x,
para todo x [0, c].
Integrando a desigualdade acima de 0 at t [0, c], obtemos
Z
0
Z
M n x d x
Z
0
M n x d x,
de modo que
M n
t2
t2
f (n2) (t ) f (n2) (0) f (n1) (0)t M n .
2
2
118
x2
x2
f (n2) (x) f (n2) (0) f (n1) (0)x M n ,
2
2
Z
0
x2
M n d x
2
(n2)
(x) f
(n2)
(0) f
(n1)
Z
(0)x d x
Mn
x2
d x,
2
de modo que
M n
t3
t2
t3
f (n3) (t ) f (n3) (0) f (n2) (0)t f (n1) (0) M n .
3!
2
3!
x3
x2
x3
f (n3) (x) f (n3) (0) f (n2) (0)x f (n1) (0) M n .
3!
2
3!
x2
x n1
xn
xn
f (x) f (0) f 0 (0)x f 00 (0) f (n1) (0)
Mn .
n!
2
(n 1)!
n!
xn
x2
x n1
xn
0
00
(n1)
M n
f (x) f (0) + f (0)x + f (0) + + f
(0)
Mn .
n!
2
(n 1)!
n!
de modo que
M n
para todo x [0, c].
cn
cn
f (x) p n1 (x) M n .
n!
n!
119
cn
=0
n!
ento
f (x) =
f (n) (0)
X
xn
n!
n=0
Prova:
Basta utilizar o Teorema do Sanduche na estimativa para o erro da aproximao polinomial.
Exemplos
120
cn
cn
= e c lim
=0
n!
n!
segue que
ex =
1
X
xn
n=0 n!
para todo x [c, c]. Como c arbitrrio, segue que e x igual sua
srie de Taylor para todo x R.
2) No caso da funo f (x) = sen(x), temos que
f (n) (x) = sen(x) ou cos(x)
de modo que
(n)
f (x) 1
para todo x [c, c]. Uma vez que
lim 1
cn
cn
= lim
=0
n!
n!
segue que
sen(x) =
(1)k
X
x 2k+1
(2k
+
1)!
k=0
para todo x [c, c]. Como c arbitrrio, segue que sen(x) igual
sua srie de Taylor para todo x R.
3)
121
cn
cn
= lim
=0
n!
n!
segue que
cos(x) =
(1)k
X
x 2k
k=0 (2k)!
para todo x [c, c]. Como c arbitrrio, segue que cos(x) igual
sua srie de Taylor para todo x R.
C ALCULADORA CIENTFICA
Nessa seo, vamos entender como funciona sua calculadora cientfica. Vamos mostrar que todas as funes que ela apresenta, podem ser calculadas
atravs da combinao das operaes de soma, produto e quociente. Nosso
procedimento ser o seguinte:
Passos
122
1
X
xn
n=0 n!
123
log(1 + y) =
para todo 1 < y 1. Para todo x > 0 e todo l natural, temos que
2
2l
x
= log l l + log 2l
2
x
= log 1 + l 1 + l log (1 + 1)
2
log(x) = log
x
2l
x
2l
<2
1 < 1
x
(1)n
X
X
2l
l
log(x) =
n
n
n=1
n=1
Segue ento que log(x) pode ser calculado pela calculadora.
Com relao a 10x e a log10 (x), temos que
10x = e x log(10)
para todo x R, e tambm que
log10 (x) =
log(x)
log(10)
124
para todo x > 0. Segue ento que essas funes podem ser calculadas pela
calculadora.
p
Com relao a x y e a y x, temos que
x y = e y log(x)
para todo x > 0 e todo y R, e tambm que
p
y
x =ey
log(x)
para todo x > 0 e todo y R. Segue ento que essas funes e tambm as
p
funes x 2 e x podem ser calculadas pela calculadora.
T RIGONOMTRICAS HIPERBLICAS E SUAS INVERSAS
Por definio, as funes trigonomtricas hiperblicas so dadas por
x = cosh(t ) =
e t + e t
2
y = senh(t ) =
e t e t
2
z =
senh(t )
cosh(t )
tgh(t ) =
para todo t R, de modo que essas funes podem ser calculadas pela calculadora.
Em relao as inversas trigonomtricas hiperblicas, temos que
x + y = et
de modo que
t = log(x + y)
Utilizando a identidade trigonomtrica hiperblica fundamental
x2 y 2 = 1
125
p
= log x + x 2 1
asenh(y) = t
= log
y2 + 1 + y
1+z
= log p
1 z2
atgh(z) = t
Segue ento que essas funes podem ser calculadas pela calculadora.
T RIGONOMTRICAS E SUAS INVERSAS
J sabemos que
x =
cos(t ) =
(1)k
X
x 2k
(2k)!
k=0
y =
sen(t ) =
(1)k
X
x 2k+1
k=0 (2k + 1)!
para todo t R, de modo que cos(x) e sen(x) podem ser calculadas pela
calculadora. Temos tambm que
z = tg(t ) =
sen(t )
cos(t )
para todo t 6= 2 + l , de modo que ela tambm pode ser calculada pela calculadora.
Em relao as inversas trigonomtricas, temos que
1
p
1 y2
1
= 1 y2 2
asen0 (y) =
126
!
1
X
2 y 2 n
=
n=0 n
!
1
X
2 (1)n y 2n
=
n
n=0
para todo 1 < y < 1. Integrando essa equao, segue que
!
!
Z X
1
n 2n
2
asen(y) =
(1) y
dy
n=0 n
!
2n+1
1
X
2 (1)n y
=
+C
2n + 1
n=0 n
Substituindo y = 0, segue que
0 = asen(0) = 0 +C
de modo que C = 0 e que
asen(y) =
!
1 (1)k
X
2
k=0
2k + 1
y 2k+1
Segue ento que essas funo pode ser calculada pela calculadora. Pela Figura ??, temos que
s = asen(x),
t = acos(x),
s+t =
2
de modo que
acos(x) = asen(x)
2
Segue ento que essas funo tambm pode ser calculada pela calculadora.
Finalmente, utilizando a identidade trigonomtrica fundamental
x2 + y 2 = 1
podemos escrever z = y/x como funo de y, de modo que
z
atg(z) = t = asen p
1 + z2
Segue ento que essas funo tambm pode ser calculada pela calculadora.
CAPTULO
E QUAES DIFERENCIAIS
4.1
Os exemplos clssicos de equaes diferenciais ordinrias tem origem na famosa 2 Lei de Newton
F
= ma
= mv 0
= mx 00
128
massa m.
F
129
dada por
1
x2
onde x a distncia entre a Terra e o meteoro, G a constante de
gravitao universal, m a massa do meteoro e M a massa da
Terra.
F
M
m
F = G M m
0
Nesse caso a 2 Lei de Newton dada por
mx 00 (t ) = G M m
1
x(t )2
Definies
1) Equao diferencial ordinria (EDO): uma equao cuja incgnita uma funo real y(x), na qual podem aparecer suas derivadas ordinrias y 0 (x), y 00 (x), . . . , y (n) (x) e tambm a prpria varivel
real x, que varia num intervalo (a, b), com a < b .
2) Ordem da EDO: A maior ordem das derivadas que aparecem na
funo incgnita.
3) Soluo da EDO: Qualquer funo y(x) que satisfaa a EDO, para
todo x (a, b).
130
131
Se m = k = 1, a EDO fica
x 00 (t ) + x(t ) = 0
Temos que x 1 (t ) = sen(t ) e x 2 (t ) = cos(t ) so solues dessa EDO,
uma vez que
x 100 (t ) + x 1 (t ) = sen(t ) + sen(t ) = 0
e que
x 200 (t ) + x 2 (t ) = cos(t ) + cos(t ) = 0
Mais adiante vamos mostrar que a soluo geral dessa EDO
x(t ) = c 1 x 1 (t ) + c 2 x 2 (t )
= c 1 sen(t ) + c 2 cos(t )
onde c 1 , c 2 R.
2) Velocidade do trem-bala freiando com o atrito com o ar:
mv 0 (t ) = bv(t )
uma EDO linear de 1-ordem, pois pode ser colocada na forma
mv 0 (t ) + bv(t ) = 0
Se m = b = 1, a EDO fica
v 0 (t ) + v(t ) = 0
Temos que v 1 (t ) = e t soluo dessa EDO, uma vez que
v 10 (t ) + v 1 (t ) = e t + e t = 0
Mais adiante vamos mostrar que a soluo geral dessa EDO
v(t ) = c 1 v 1 (t )
132
= c 1 e t
onde c 1 R.
3) Posio de um meteoro em rota de coliso com a Terra:
mx 00 (t ) = G M m
1
x(t )2
1
x(t )2
Temos que
3
x(t ) = p t + 1
2
2
3
=
=
=
2 !00
3
3
p t +1
2
!0
1
3 3
2 3
p t +1
p
3
2
2
!
1 0
p
3
3
2 p t +1
2
!
p
3 3
1 3
2 p t +1
p
3
2
2
4
3
3
p t +1
2
133
e que
1
=
x(t )2
1
p3 t
2
+1
3
=
t +1
p
2
2
2
3
1
y(t )2
1
y2
importante lembrar que, nessa notao, tanto y quanto y 00 so, na verdade, funes incgnitas de t .
134
S ISTEMAS DE EDO S
Muitas vezes uma quantidade desconhecida x(t ) varia de acordo com outra
quantidade desconhecida y(t ) e vice-versa, por exemplo:
as coordenadas de um planeta orbitando ao redor do sol,
a quantidade de duas populaes de animais, uma de presas e a outra
de predadores, competindo por recursos num ecossistema fechado,
o decaimento da massa uma substncia radioativa em diversas substncias nuclearmente instveis at chegar numa substncia nuclearmente
estvel.
Nesses casos as quantidades desconhecidas so modeladas por duas ou mais
funes incgnitas relacionadas por duas ou mais equaes que envolvem
suas derivadas e a varivel t : isso que se chama de sistema de EDOs.
Exemplos
1) Um planeta de massa m se movimenta sob a fora central de uma
estrela de massa M num plano coordenado em que a estrela fica na
origem e o planeta na posio (x, y).
Fy
M
0
Fx
Se d a distncia entre a estrela e o planeta, Pela Lei da Gravitao Universal, a fora F que a estrela exerce sobre o planeta tem
135
mdulo
1
d2
e, portanto, componentes x e y dados por
GMm
F x = G M m
1
cos()
d2
F y = G M m
1
sen()
d2
mx 00 = F x
m y 00 = F y
Usando que
cos() =
x
d
sen() =
y
d
d = (x 2 + y 2 )1/2
mx 00 = G M m 2
(x + y 2 )3/2
m y 00 = G M m
y
(x 2 + y 2 )3/2
Observe que esse sistema no-linear e est acoplado: para conhecer a posio x(t ) devemos primeiro conhecer y(t ) e vice-versa, no
h como isolar uma ou outra funo incgnita.
Com um pouco de conhecimento de Mecnica Clssica esse sistema pode ser resolvido explicitamente e dele se deduzir matematicamente as Leis de Kepler. Por exemplo, uma das solues desse
sistema uma trajetria circular de raio R ao redor da estrela, dada
por
x(t ) = R cos(t )
y(t ) = R sen(t )
136
GM
R3
GM
x 00 = 3 x
y 00 = G M y
R3
ou seja, duas EDOs desacopladas do tipo massa-mola das quais
fcil verificar que os x(t ) e y(t ) dados acima so solues. Uma vez
que a frequncia angular dessa trajetria , o perodo da trajetria
T = 2/. O quadrado desse perodo
T2 =
42 42 3
=
R
2
GM
137
2) O decaimento uma substncia radioativa numa substncia nuclearmente estvel costuma se dar no de uma vez, mas por meio
de uma cadeia de istopos: os tomos da substncia radioativa decaem num primeiro istopo instvel, que por sua vez decaem num
segundo istopo instvel e assim por diante, at decairem num istopo estvel. Por exemplo, a cadeia de decaimento natural do urnio tem 20 istopos como, por exemplo
U-238 Th-234 Pb-206
cujo ltimo membro um istopo estvel do chumbo. A meia vida
dos diversos istopos dessa cadeia varia de 4,5 bilhes de anos para
o U-238, 24,6 dias para o Th-234 a uma frao de segundos para alguns outros istopos. Desse modo, uma amostra da substncia radioativa costuma ter diversas propores de istopos e possvel,
partir dessas propores, descobrir quando a substncia comeou
a decair. Esse mtodo de datao especialmente adequado para
substncias inorgnicas como rochas, portanto, para dataes geolgicas.
Como modelar uma cadeia de decaimento? Suponha uma cadeia de decaimento com trs istopos
X Y
Z
onde Z o istopo estvel e e so as constantes de decaimento
dos istopos instveis X e Y . Denotando por X (t ), Y (t ), Z (t ) as
quantidades de cada istopo, o decaimento de X dado por
X 0 = X
138
X = X
Y 0 = X Y
Z 0 = Y
Observe que esse um sistema linear e que Y est acoplado com
X e Y e Z est acoplado com Y . Porm o sistema est escalonado:
na primeira equao X no est acoplado com nenhuma outra incgnita, assim podemos resolver a primeira equao para X (linear
homognea). Conhecendo X podemos resolver a segunda equao para Y (linear no-homognea). Resolvendo a terceira equao, obtemos Z integrando Y .
4.2
139
EDO SEPARVEL
Uma EDO separvel quando ela de 1-ordem e pode ser escrita na seguinte
forma
y 0 (x) = f (x)g (y(x))
1
y(x) + x
x
140
y 0 (x)
dx =
g (y(x))
Z
f (x) d x
Z
1
dy
= f (x) d x
g (y)
y=y(x)
3) Isolar: Aps resolver as integrais no passo anterior, isolar y(x) na
equao equao acima.
141
Vamos aplicar os passos acima para obter a soluo geral das EDOs separveis vistas acima.
Exemplos
1) Vimos que a EDO
y 0 (x) x 3 y(x)2 = 0
separvel.
Separar: Pelo que vimos acima, essa EDO pode ser colocada na
forma separada
1
y 0 (x) = x 3
2
y(x)
Integrar: Integrando a equao acima
Z
Z
1
0
y (x) d x = x 3 d x
y(x)2
temos, pela substituio y = y(x), que ela equivalente a
Z
Z
1
dy
= x3 d x
y2
y=y(x)
onde
1
1
dy = + A
2
y
y
x4
x dx =
+B
4
1
x4
=
+C
y(x)
4
142
4
x 4 + 4C
Z
1
dy
= x3 d x
1 + y2
y=y(x)
onde
1
d y = atg(y) + A
1 + y2
e
Z
x4
+B
x dx =
4
3
143
x4
+C
4
4
x
+C
y(x) = tg
4
A soluo geral da EDO dada pela expresso acima, uma vez que
no existem solues constantes.
C ATENRIA
Considere um cabo suspenso preso a duas extremidades, como por exemplo
um cabo de energia preso a duas torres de transmisso ou um colar apoiado
em duas extremidades.
144
e t + e t
2
e t e t
2
de modo que
cosh0 (t ) = senh(t )
Tambm no difcil verificar que o seno e cosseno hiperblicos satisfazem a
equao da hiprbole unitria, de modo que
cosh2 (t ) senh2 (t ) = 1
Para determinar o formato do cabo suspenso, vamos proceder a uma anlise do equilbrio esttico de alguns dos seus pedaos. Para isso, denote por
O o ponto mais baixo do cabo suspenso e coloque a origem do nosso sistema
de coordenadas sobre o ponto O. Dado um ponto A qualquer sobre o cabo
suspenso, vamos analisar o equilbrio esttico do trecho O A.
T
y(x)
A
H
O
x
P
145
P = g L
onde g o mdulo da acelerao da gravidade e L o comprimento do trecho
O A. Se o formato do cabo descrito pelo grfico de uma funo y e se x a
coordenada horizontal do ponto A, temos que sua coordenada vertical dada
por y(x), que
tg() = y 0 (x)
e que
Z
L=
xq
1 + y 0 (t )2 d t
146
Passos
1 + z(x)2
z 0 (x) =
g
H
Z
g
1
=
dx
dz
p
2
H
1+z
z=z(x)
onde
g
g
dx =
x+A
H
H
A determinao da integral
Z
1
dz
p
1 + z2
147
g
x+A
H
g
x
H
g
x
H
g
H
cosh
x +C
g
H
H
cosh (0) +C
g
de modo que
C =
H
g
148
g
H
x 1
cosh
g
H
4.3
a 0 (x)
a 1 (x)
f (x)
a 1 (x)
so funes contnuas, para todo x tal que a 1 (x) 6= 0. A soluo geral das EDOs
lineares de 1 ordem dada pelo seguinte resultado.
149
Proposio 4.1
A soluo geral da EDO linear
y 0 (x) + p(x)y(x) = g (x)
dada por
y(x) = c(x)e P (x)
onde
Z
c(x) =
g (x)e P (x) d x
e
Z
p(x) d x = P (x) +C
Prova:
Multiplicando a EDO no-homognea por e P (x) , obtemos que
e P (x) y 0 (x) + p(x)e P (x) y(x) = g (x)e P (x)
Utilizando a regra da cadeia, a regra da derivada do produto e a equao
acima, fcil verificar que
P (x)
0
e
y(x) = g (x)e P (x)
Integrando a equao, obtemos que
Z
P (x)
e
y(x) = g (x)e P (x) d x
150
g (x)e
P (x)
d x e P (x)
de modo que
y(x) = c(x)e P (x)
onde
Z
c(x) =
g (x)e P (x) d x
Prova:
Basta aplicar a soluo geral da no-homognea, observando que g (x) =
0, de modo que c(x) = c uma constante.
151
Exemplos
1) A EDO
y 0 (x) 2x y(x) = 0
linear homognea, sendo igual sua homognea associada. Temos que p(x) = 2x, de modo que
Z
Z
p(x) d x = 2x d x = x 2 +C
Segue que P (x) = x 2 , de modo que a soluo geral dessa EDO
dada por
2
y(x) = ce P (x) = ce x
onde c R.
2) A EDO
x y 0 (x) y(x) = x 2
linear no-homognea e sua homognea associada dada por
x y 0 (x) y(x) = 0
Para x > 0, essa EDO no-homognea pode ser escrita como
y 0 (x)
1
y(x) = x
x
1
y(x) = 0
x
Z
p(x) d x =
1
d x = log(x) +C
x
152
Segue que P (x) = log(x), de modo que a soluo geral da homognea dada por
y(x) = ce P (x) = ce log(x) = c x
onde c R. Como g (x) = x, segue que
Z
c(x) =
g (x)e P (x) d x
Z
1
=
xe log(x ) d x
Z
=
xx 1 d x
Z
=
1dx
= x +c
de modo que a soluo geral da no-homognea dada por
y(x) = c(x)e P (x)
= (x + c)e log(x)
= (x + c)x
onde c R.
3) A velocidade do trem-bala freiando com o atrito com o ar satisfaz
a seguinte EDO
mv 0 (t ) = bv(t )
linear homognea, sendo igual sua homognea associada. Essa
EDO pode ser escrita como
v 0 (t ) +
b
v(t ) = 0
m
b
Temos que p(t ) = m
, de modo que
Z
p(t ) d t =
b
b
d t = t +C
m
m
Segue que P (t ) =
dada por
153
b
m t,
v(t ) = ce m t
onde c R.
4) A EDO
(1 + x)y 0 (x) a y(x) = 0
linear homognea, sendo igual sua homognea associada. Para
x > 1, essa EDO pode ser escrita como
y 0 (x)
a
y(x) = 0
1+x
a
Temos que p(x) = 1+x
, de modo que
a
dx
1+x
= a log(1 + x) +C
Z
p(x) d x =
= log(1 + x)a +C
Segue que P (x) = log(1 + x)a , de modo que a soluo geral dessa
EDO dada por
y(x) = ce P (x)
= ce log(1+x)
= c(1 + x)a
onde c R.
Vamos verificar que a srie binomial
!
a
X
y(x) =
xn
n=0 n
onde
!
a
a(a 1)(a 2) (a (n 1))
=
n!
n
154
uma soluo dessa EDO separvel para todo x (1, 1). J sabemos que o raio de convergncia da srie binomial R = 1, de modo
que a derivada dessa srie em x (1, 1) dada por
!
a
X
y 0 (x) =
nx n1
n
n=0
X
a
=
(n + 1)x n
n=0 n + 1
Temos ento que
(1 + x)y 0 (x) = y 0 (x) + x y 0 (x)
!
!
a
X
X
a
=
(n + 1)x n + x
nx n1
n
+
1
n
n=0
n=0
!
!
X a
X a
=
(a n)x n +
nx n
n=0 n
n=0 n
!
X
a n
x
=
a
n
n=0
= a y(x)
onde usamos que
! !
a
a a n
=
n +1
n n +1
4.4
155
a 1 (x)
a 2 (x)
p(x) =
a 0 (x)
a 2 (x)
g (x) =
f (x)
a 2 (x)
156
2 0
2
y (x) 2 y(x) = x 3
x
x
y 00 (x) +
2 0
2
y (x) 2 y(x) = 0
x
x
de modo que
q(x) =
2
x
p(x) =
2
x2
g (x) = x 3
so contnuas para x > 0.
As equaes lineares de 2 ordem so muito relevantes, pois aparecem associada a modelos de diversas reas de aplicao, como ilustrado pelos seguintes exemplos.
Exemplos
1) Posio no sistema Massa-Mola-Amortecimento (MMA): Considere o deslocamento x(t ) partir da posio de equilbrio de um
bloco de massa m acoplado a uma mola, a um amortecedor e a um
foramento externo.
157
158
L
q(t )
C
159
S OLUO GERAL
A proposio seguinte mostra que a soluo geral de uma EDO linear de 2
ordem no-homognea
y 00 (x) + q(x)y 0 (x) + p(x)y(x) = g (x)
a dada pela soma de uma soluo particular com as solues da homognea
associada.
Proposio 4.3
A soluo geral da EDO no-homognea dada por
y(x) = y p (x) + y h (x)
onde y p (x) uma soluo particular da EDO no-homognea e y h (x)
a soluo geral da homognea associada.
160
Prova:
Primeiro vamos mostrar que, se z(x) soluo da homognea associada,
ento y(x) = y p (x) + z(x) soluo da no-homognea. De fato, temos
que
y 00 (x) + q(x)y 0 (x) + p(x)y(x)
00
= y p00 (x) + q(x)y p0 (x) + p(x)y p (x) + z 00 (x) + q(x)z 0 (x) + p(x)z(x)
= g (x) + 0
= g (x)
onde usamos que y p (x) uma soluo particular da EDO nohomognea.
Agora vamos mostrar que toda soluo da no-homognea dada por
essa forma. Seja y(x) uma soluo qualquer da EDO linear de 2 ordem
no-homognea. Temos ento que
y 00 (x) + q(x)y 0 (x) + p(x)y(x) = g (x)
y p00 (x) + q(x)y p0 (x) + p(x)y p (x) = g (x)
Subtraindo as equaes, obtemos que
00
161
S OLUO DA HOMOGNEA
Vamos mostrar que a soluo geral de uma EDO linear de 2 ordem homognea
y 00 (x) + q(x)y 0 (x) + p(x)y(x) = 0
dada pela combinao linear
y(x) = c 1 y 1 (x) + c 2 y 2 (x)
onde c 1 , c 2 R, sempre que y 1 (x) e y 2 (x) forem solues no-proporcionais da
EDO, denominadas solues fundamentais.
Exemplo
Temos que
y 1 (x) = x
y 2 (x) = x 2
162
onde
W (y 1 (x), y 2 (x)) = y 20 (x)y 1 (x) y 10 (x)y 2 (x)
denominado o Wronskiano de y 1 (x) e y 2 (x). Note que o Wronskiano dado
pelo seguinte determinante
y 1 (x) y 2 (x)
W (y 1 (x), y 2 (x)) = 0
y 1 (x) y 20 (x)
Exemplo
y 2 (x) = x 2
da Equao de Euler
x 2 y 00 (x) + 2x y 0 (x) 2y(x) = 0
dado por
W (x, x
) =
x
x 2
(x)0 (x 2 )0
x
x 2
1 2x 3
= x(2x 3 ) x 2 (1)
= 3x 2
163
Z
q(x) d x = Q(x) +C
Prova:
Por simplicidade, vamos denotar W (y 1 (x), y 2 (x)) por
W (x) = y 20 (x)y 1 (x) y 10 (x)y 2 (x)
de modo que
W 0 (x) = (y 20 (x)y 1 (x) y 10 (x)y 2 (x))0
=
164
Z
q(x) d x = Q(x) +C
Prova:
Vamos mostrar que (A) equivalente a (B) e, depois, que (B) equivalente
a (C).
165
y 2 (x)
y 1 (x)
0
=
W (y 1 (x), y 2 (x))
y 1 (x)2
y 2 (x)
y 1 (x)
0
6= 0
para todo x, que, por sua vez, equivalente a y 1 (x) e y 2 (x) no serem
proporcionais, que, por sua vez, equivalente a
y 1 (x) e y 2 (x) serem fundamentais
166
Proposio 4.6
Sejam y 1 (x) e y 2 (x) solues fundamentais da EDO
y 00 (x) + q(x)y 0 (x) + p(x)y(x) = 0
Ento y 1 (x) e y 2 (x) no se anulam simultaneamente e a soluo geral da
EDO dada por
y(x) = c 1 y 1 (x) + c 2 y 2 (x)
onde c 1 , c 2 R.
Prova:
Como y 1 (x) e y 2 (x) so solues fundamentais, temos que
W (y 1 (x), y 2 (x)) = y 20 (x)y 1 (x) y 10 (x)y 2 (x) 6= 0
para todo x, de modo que y 1 (x) e y 2 (x) no podem se anular simultaneamente.
Agora seja z(x) uma soluo qualquer da EDO e suponha, sem perda
de generalidade, que y 1 (x) 6= 0. Comparando z(x) com y 1 (x), temos que
z(x)
y 1 (x)
0
=
y 2 (x)
y 1 (x)
z(x)
y 1 (x)
a be Q(x) a y 2 (x) 0
=
=
b y 1 (x)2
b y 1 (x)
167
y 2 (x) = x 2
168
ler
x 2 y 00 (x) + 2x y 0 (x) 2y(x) = 0
que equivalente EDO
y 00 (x) +
2
2 0
y (x) 2 y(x) = 0
x
x
para x > 0. Temos ento a soluo geral dessas duas EDO para x > 0
dada por
y(x) = c 1 x + c 2 x 2
onde c 1 , c 2 R.
2) Sistema massa-mola sem amortecimento:
mx 00 (t ) = kx(t )
Essa uma EDO linear homogna
x 00 (t ) +
k
x(t ) = 0
m
k
tal que p(t ) = m
e q(t ) = 0. Temos que
x 1 (t ) = cos
k
t
m
x 2 (t ) = sen
k
t
m
169
S OLUO DA NO - HOMOGNEA
A soluo geral de uma EDO linear de 2 ordem no-homognea
y 00 (x) + q(x)y 0 (x) + p(x)y(x) = g (x)
ser dada a partir da soluo geral da sua homogna associada atravs do
mtodo denominado de Variao dos Parmetros.
Passos
1) Variar os parmetros: Procurar uma soluo da EDO nohomogna da forma y(x) = c 1 (x)y 1 (x) + c 2 (x)y 2 (x), substituindo os
parmetros c 1 e c 2 da soluo geral c 1 y 1 (x) + c 2 y 2 da homogna associada por funes c 1 (x) e c 2 (x), que so as novas incgnitas.
2) Determinar os parmetros variveis: Determinar quais so as
funes c 1 (x) e c 2 (x), utilizando a EDO no-homognea. Uma vez
que
y(x) = y 1 (x)c 1 (x) + y 2 (x)c 2 (x)
segue que
y 0 (x) = y 10 (x)c 1 (x) + y 20 (x)c 2 (x) +
+ c 10 (x)y 1 (x) + c 20 (x)y 2 (x)
Impondo que
c 10 (x)y 1 (x) + c 20 (x)y 2 (x) = 0
obtemos que
y 0 (x) = y 10 (x)c 1 (x) + y 20 (x)c 2 (x)
de modo que
y 00 (x) = y 100 (x)c 1 (x) + y 200 (x)c 2 (x) +
+ c 10 (x)y 10 (x) + c 20 (x)y 20 (x)
170
0
0
y 1 (x)c 1 (x) + y 2 (x)c 2 (x) = 0
y 1 (x) y 2 (x)
W (x) = 0
y 1 (x) y 20 (x)
6= 0
que no nulo, uma vez que y 1 (x) e y 2 (x) so solues fundamentais. Pela regra de Cramer, apresentada no Apndice, segue que
c 10 (x) =
0
y 2 (x)
g (x) y 0 (x)
2
W (x)
g (x)y 2 (x)
W (x)
e que
c 20 (x) =
y 1 (x)
0
y 0 (x) g (x)
1
W (x)
g (x)y 1 (x)
W (x)
171
de modo que
Z
c 1 (x) =
g (x)y 2 (x)
dx
W (x)
e que
Z
c 2 (x) =
g (x)y 1 (x)
dx
W (x)
c 2 (x) =
g (x)y 2 (x)
dx
W (x)
g (x)y 1 (x)
dx
W (x)
enquanto y 1 (x) e y 2 (x) so solues fundamentais da homognea associada e W (x) o seu Wronskiano.
172
Prova:
Basta notar que c 1 (x) = C 1 (x) + c 1 e tambm que c 2 (x) = C 2 (x) + c 2 , onde
c 1 , c 2 R. A soluo dada pelo mtodo da Variao dos Parmetros pode
ento ser escrita como
y(x) = (C 1 (x) + c 1 ) y 1 (x) + (C 2 (x) + c 2 ) y 2 (x)
Vimos que
y 1 (x) = x
y 2 (x) = x 2
2 0
2
y (x) 2 y(x) = 0
x
x
2 0
2
y (x) 2 y(x) = x 3
x
x
173
Vimos tambm que o Wronskiano dessas duas solues fundamentais dado por
W (x) = 3x 2
Temos ento que
y(x) = c 1 (x)y 1 (x) + c 2 (x)y 2 (x)
a soluo geral da EDO no-homognea, onde
Z
g (x)y 2 (x)
dx
c 1 (x) =
W (x)
Z
x 3 x 2
=
dx
3x 2
Z 3
x
=
dx
3
x4
+ c1
=
12
e
g (x)y 1 (x)
dx
W (x)
Z
x3x
dx
=
3x 2
Z
x6
=
dx
3
x7
= + c2
21
Z
c 2 (x) =
x4
x
+ c 1 x + + c 2 x 2
12
21
5
5
x
x
+ c 1 x + c 2 x 2
12 21
x5
+ c 1 x + c 2 x 2
28
y(x) =
=
=
174
Observe que
x5
28
uma soluo particular da EDO no-homognea, enquanto
y p (x) =
y h (x) = c 1 x + c 2 x 2
a soluo geral da homognea associada, de modo que
y(x) = y p (x) + y h (x)
a soluo geral da EDO no-homognea.
Como os mtodos para se encontrar a soluo geral de equaes lineares dependem da determinao de solues fundamentais, vamos analisar,
nas prximas sees, alguns mtodos para se obter solues fundamentais.
Vamos primeiro analisar EDOs lineares com coeficientes constantes e depois
analisar o caso geral, das EDOs lineares com coeficientes variveis.
4.5
C OEFICIENTES CONSTANTES
Uma EDO linear com coeficientes constantes pode ser colocada na forma
a 2 y 00 (x) + a 1 y 0 (x) + a 0 y(x) = f (x)
onde a 0 , a 1 , a 2 R so constantes. Pelo que vimos na Seo anterior, para
resolv-la temos que encontrar solues fundamentais da homognea associada
a 2 y 00 (x) + a 1 y 0 (x) + a 0 y(x) = 0
E QUAO CARACTERSTICA
Vamos procurar solues da forma y(x) = e r x , de modo que
00
0
a 2 y 00 (x) + a 1 y 0 (x) + a 0 y(x) = a 2 e r x + a 1 e r x + a 0 e r x
175
= a2 r 2 e r x + a1 r e r x + a0 e r x
= a2 r 2 + a1 r + a0 e r x
= 0
o que ocorre se e s se
a2 r 2 + a1 r + a0 = 0
que denominada equao caracterstica da homognea. O tipo de soluo
depende ento do tipo de razes dessa equao, denominadas razes caractersticas da homognea. Vamos analisar o que ocorre dependendo do sinal do
discriminante da equao caracterstica.
R AZES REAIS DISTINTAS
Quando > 0, existem duas razes caractersticas, dadas por
p
a 1 +
,
r1 =
2a 2
p
a 1
r2 =
2a 2
e r1 x
e r2 x
0
176
r 1 6= r 2
e r2 x
r2 = 2
e 2x
a 1
2a 2
que real, de modo que e r x uma soluo, mas temos que encontrar outra
soluo no-proprcional. Se y(x) uma soluo qualquer da homognea, te-
177
mos que
y(x)
er x
0
=
W (x)
(e r x )2
onde
W (x) = c 1 e Q(x)
com
Q 0 (x) = q(x) =
a1
= 2r
a2
y(x)
er x
0
=
c 1 e Q(x) c 1 e 2r x
= 2r x = c 1
e 2r x
e
xe r x
er x
0
178
er x
e x
R AZES COMPLEXAS
Quando < 0, existem duas razes caractersticas, dadas por
b
a
p
z}|{ zp}| {
a 1 a 1
||
r1, r2 =
=
i
= a ib
2a 2
2a 2
2a 2
179
que so complexas e conjugadas. Nesse caso, em que sentido podemos afirmar que e r 1 x , e r 2 x so solues da homognea? Como apresentado no Apndice, podemos definir a exponecial complexa por
e (a+i b)x = e ax cos(bx) + i e ax sen(bx)
e podemos mostrar que
0
e (a+i b)x = (a + i b)e (a+i b)x
e que
e (a+i b)x
00
e ax cos(bx)
e ax sen(bx)
e ax sen(bx)
180
e x sen(2x)
4.6
C OEFICIENTES VARIVEIS
M ECNICA QUNTICA
Agora vamos apresentar algumas equaes diferenciais lineares com coeficientes variveis que surgem na Mecnica Quntica e vamos ter uma ideia de
como, de suas solues, surgem os orbitais atmicos dos quais ouvimos falar
no ensino mdio.
A descrio quntica dos fenmenos subatmicos probabilstica. Por
exemplo, ao invs de descrevermos a posio de uma partcula subatmica,
descrevemos qual a probabilidade de encontr-la em uma certa regio. Essa
probabilidade dada pela equao de Schroedinger, que o anlogo quntico da Segunda Lei de Newton. Vamos ver como essa descrio em algumas
situaes e perceber que as EDOs lineares de coeficientes variveis tm fundamental importncia.
181
O SCILADOR HARMNICO
Considere primeiro um oscilador harmnico quntico unidimensional com
energia E , onde uma partcula subatmica de massa m se movimenta no eixo
x
x1
x2
m2 2
2 00
X (x) +
x X (x) = E X (x)
2m
2
2E
x 2 X (x) = 0.
X 00 (x) +
2
X 00 (x) = e x /2 y 00 (x) 2x y 0 (x) + (x 2 1)y(x) .
Substituindo a expresso acima na equao e lembrando que a funo exponencial nunca se anula, conclumos que a funo y(x) deve satisfazer a denominada equao de Hermite
y 00 (x) 2x y 0 (x) + 2y(x) = 0
182
E
1
.
2
y
y1
y2
x1
x2
m2 2
(x + y 2 + z 2 )
2
y1
z1
onde cada uma das funes X , Y e Z satisfaz uma equao do oscilador unidimensional dada por
kx 2
2 00
X (x) +
X (x) = E x X (x)
2m
2
2 00
k y2
Y (y) +
Y (y) = E y Y (y)
2m
2
2 00
kz 2
Z (z) +
Z (z) = E z Z (z)
2m
2
com E x + E y + E z = E .
183
TOMO DE HIDROGNEO
No caso do tomo de hidrogneo, o eltron se movimenta no espao ao redor
do ncleo que consiste de um s prton, sob a ao de um potencial Coulombiano da forma
e2 1
V (r ) =
40 r
onde r a distncia do eltron ao prton, e a carga eltrica do prton e 0
a permissividade no vcuo. Em coordenadas esfricas, a posio do eltron
dada por (r, , ), onde o ngulo polar e o ngulo azimutal.
z
r
y
x
A probabilidade do eltron estar na regio de coordenadas (r, , ) com r
(r 1 , r 2 ), (1 , 2 ) e (1 , 2 ), proporcional
Z
r2
R(r ) d r
r1
() d
2
1
()2 d
e2 1
1 2 0 0 2mr 2
r R (r )
E = ( + 1)
R(r )
2
40 r
enquanto () satisfaz a equao
0
1
sen sen 0 () + ( + 1) sen2 = 2
()
184
40 2
um exerccio da nossa Lista mostrar que z(x) satisfaz a denominada equao
de Laguerre associada
xz 00 (x) 2( x + 1)z 0 (x) + 2( 1)z(x) = 0
que uma EDO linear de coeficientes variveis. Escrevendo z(x) =
y (2+1) (2x), tambm um exerccio da nossa Lista mostrar que y(x) satisfaz
a denominada equao de Laguerre
x y 00 (x) + (1 x)y 0 (x) + ( + )y(x) = 0
que uma EDO linear de coeficientes variveis. possvel mostrar que a
constante tambm um nmero inteiro. Os nmeros , e so denominados nmeros qunticos, respectivamente, principal, orbital e magntico.
Por outro lado, escrevendo () = z(x), onde x = cos , um exerccio
da nossa Lista mostrar que z(x) satisfaz a denominada equao de Legendre
associada
2
z(x) = 0
(1 x )z (x) 2xz (x) + ( + 1)
1 x2
2
00
185
(PVI)
00
0
y (x) + q(x)y (x) + p(x)y(x) = 0
y(0) = y 0 ,
y 0 (0) = y 1
p(x) = 2
186
X
y(x) =
an x n
n=0
que converge em (, ).
2) A equao de Legendre
(1 x 2 )y 00 (x) 2x y 0 (x) + ( + 1)y(x) = 0
onde N, equivalente EDO
y 00 (x)
2x
( + 1)
y 0 (x) +
y(x) = 0
2
1x
1 x2
X
X
1
2 n
=
(x
)
=
x 2n
1 x 2 n=0
n=0
1
1 x2
p(x) = ( + 1)
1
1 x2
an x n
n=0
187
1x 0
+
y (x) +
y(x) = 0
x
x
1x
x
p(x) =
+
x
2 0
2
y (x) 2 y(x) = 0
x
x
2
x
p(x) =
2
x2
188
y 1 (0) = 1
y 10 (0) = 0
y 2 (0) = 0
y 20 (0) = 1
Prova:
Para a primeira parte, basta mostrarmos que o Wronskiano de y 1 (x) e
y 2 (x) diferente de zero em algum ponto x 0 , o que verdade, uma vez
que
y 1 (0) y 2 (0) 1 0
= 1 6= 0
W (y 1 (0), y 2 (0)) = 0
=
y 1 (0) y 20 (0) 0 1
Como a soluo geral dada por
y(x) = c 1 y 1 (x) + c 2 y 2 (x)
189
segue que
y 0 (x) = c 1 y 10 (x) + c 2 y 20 (x)
Logo
y(0) = c 1 = y 0
y 0 (0) = c 2 = y 1
a0 +
a1 x +
a2 x 2 +
a3 x 3 +
y 0 (x) =
a1 +
a 2 2x +
a 3 3x 2 +
a 4 4x 3 +
y 00 (x) = a 2 2 + a 3 3 2x + a 4 4 3x 2 + a 5 5 4x 3 +
de modo que
y(x) =
an x n
n=0
y 0 (x) =
a n+1 (n + 1)x n
n=0
y 00 (x) =
n=0
y(0) = a 0 = y 0
y 0 (0) = a 1 = y 1
190
p(x) = 1
an x n
n=0
y (x) =
n=0
n=0
an x n = 0
n=0
(a n+2 (n + 2)(n + 1) + a n ) x n = 0
n=0
191
1
an
(n + 2)(n + 1)
que denominada Equao de Recorrncia dos coeficientes. A partir do coeficiente a 0 , obtemos os coeficientes pares, uma vez que
a2 =
1
a0 =
(0 + 2)(0 + 1)
1
a0
2!
a4 =
1
a2 =
(2 + 2)(2 + 1)
1 1
a0
4 3 2!
(1)2
a0
4!
a6 =
1
a2 =
(4 + 2)(4 + 1)
1 (1)2
a0 =
6 5 4!
(1)3
a0
6!
..
.
..
.
a 2k
(1)k
a0
(2k)!
1
a1 =
(1 + 2)(1 + 1)
1
a1
3!
a5 =
1
a3 =
(3 + 2)(3 + 1)
1 1
a1
5 4 3!
(1)2
a1
5!
a7 =
1
a5 =
(5 + 2)(5 + 1)
1 (1)2
a1 =
7 6 5!
(1)3
a1
7!
..
.
a 2k+1 =
..
.
(1)k
a1
(2k + 1)!
192
(1)k
a1 ,
(2k + 1)!
n = 2k
n = 2k + 1
y 1 (0) = 1 = a 0
y 10 (0) = 0 = a 1
de modo que
(1)k
,
an =
(2k)!
0,
n = 2k
n = 2k + 1
y 1 (x) =
an x n
n=0
(1)k
X
k=0 (2k)!
= cos(x)
x 2k
y 2 (0) = 0 = a 0
y 20 (0) = 1 = a 1
de modo que
an =
0,
n = 2k
(1)
,
(2k + 1)!
n = 2k + 1
193
an x n
n=0
(1)k 2k+1
x
k=0 (2k + 1)!
= sen(x)
=
y(x) =
an x n
n=0
(n + 1)a n+1 x n =
n=0
X
n=1
2na n x n =
n=0
X
n=0
2na n x n
194
n=0
n=0
2na n x n + 2
n=0
an x n = 0
n=0
de modo que
n=0
2(n )
an ,
(n + 2)(n + 1)
a0 = 1
a2 =
2(0 )
2(0 )
a0 =
21
2!
a4 =
2(2 )
4(2 )(0 )
a2 =
43
4!
a6 =
195
..
.
. = ..
Uma vez que os coeficientes da equao de Hermite tm raio
de convergncia infinito, sabemos que essa soluo converge para
todo x R. Vamos contudo mostrar que, a partir da frmula de
recorrncia, podemos calcular o raio de convergncia da soluo.
De fato, basta notar que
a
2(k+1)
a 2k+2
2(k+1) x
2
=0
lim
= |x| lim
k
k a 2k
a 2k x 2k
uma vez que, usando a equao de recorrncia, segue que
a 2k+2
2(2k )
=0
= lim
k a 2k
k (2k + 2)(2k + 1)
lim
2( )
= 0.
( + 4)( + 3)
196
convergncia infinito. Novamente, se for um nmero mpar, vamos obter um polinmio formado somente por potncias mpares.
Como y 1 (x) e y 2 (x) so no-proporcionais, elas formam um par de
solues fundamentais.
y 1 (x)
y 2 (x)
CAPTULO
T RANSFORMADA DE L APLACE
5.1
P ROPRIEDADES DA TRANSFORMADA
A transformada de Laplace de uma dada funo y(x) uma nova funo com
varivel independente dada por s e definida pela seguinte integral imprpria
Z
L y(x) (s) =
e sx y(x) d x
0
O domnio da transformada o conjunto dos s R tais que a integral imprpria existe e finita. Quando for conveniente, suprimiremos algumas das
respectivas variveis independentes,
de modo que
a transformada da
funo
y(x) poder ser denotada por L y(x) ou por L y (s) ou ainda por L y .
Exemplo
A transformada da funo e ax dada por
Z
L e ax (s) =
e sx e ax d x
Z0
=
e (as)x d x
0
198
e (as)x
as
0
(as)x
e
x a s
1
sa
=
=
lim
e (as)0
as
para todo s > a, que o domnio dessa transformada, uma vez que
a integral imprpria infinita para todo s 0.
L INEARIDADE DA TRANSFORMADA
Uma das propriedade mais simples da transformada que a transformada da
combinao linear de duas funes a combinao linear das transformadas
dessas duas funes.
Proposio 5.1
Para quaisquer a, b R, temos que
L a y + bz = aL y + bL [z]
199
Prova:
Temos que
L a y + bz
Z
=
Z0
e sx (a y(x) + bz(x)) d x
ae sx y(x) + be sx z(x) d x
Z
Z
sx
= a
e
y(x) d x + b
e sx z(x) d x
0
0
= aL y + bL [z]
=
Exemplos
1) Temos que
L 3e 2x 2e 3x = 3L e 2x 2L e 3x
1
1
= 3
2
s 2
s +3
2) Temos que
e ax e ax
L
2
1
1
1
2 sa s+a
1
2a
2 (s a)(s + a)
a
2
s a2
L [senh(ax)] =
=
=
=
200
T RANSFORMADA DA DERIVADA
A mais importante propriedade da transformada que ela tranforma derivar
em relao varivel x em multiplicar pela varivel s. Essa a propriedade
que a torna til na resoluo de PVIs como veremos mais adiante.
Proposio 5.2
Temos que
L y 0 = sL y y(0)
Prova:
A demonstrao se baseia na regra da integrao por partes e no fato de
que
sx 0
e
= se sx
Segue ento que
L y0 =
e sx y 0 (x) d x
0
Z
sx
= e
y(x) 0
se sx y(x) d x
0
Z
= y(0) + s
e sx y(x) d x
0
= sL y y(0)
Exemplos
1) Pela regra da transformada da derivada, temos que
h
0 i
L e ax = sL e ax e 0 = sL e ax 1
Por outro lado, usando a linearidade, temos que
h
0 i
L e ax = L ae ax = aL e ax
de modo que
sL e ax 1 = aL e ax
Segue ento que
(s a)L e ax = 1
de modo que
1
sa
Observe que, quando a = 0, obtemos que
L e ax =
L [1] = L e 0
1
=
s 0
1
=
s
2) Pela regra da transformada da derivada, temos que
h i
0
L x n = sL x n 0n = sL x n
Por outro lado, usando a linearidade, temos que
h i
0
L x n = L nx n1 = nL x n1
de modo que
sL x n = nL x n1
201
202
L x n = L x n1
s
de modo que
=
1
L [1]
s
1!
s2
L x2 =
2
L [x]
s
2!
s3
L x3 =
3 2
L x
=
s
3!
s4
4 3
L x
=
L x4 =
s
..
..
.
.
n!
L [x n ] = n+1
s
4!
s5
L [x]
Prova:
Temos que
L y 00 = L (y 0 )0
203
= sL y 0 y 0 (0)
= s sL y y(0) y 0 (0)
= s 2 L y s y(0) y 0 (0)
1
s2 + 1
204
s
s2 + 1
Considere o PVI
00
0
y + 3y + 2y = 0
y(0) = 1,
y 0 (0) = 2
L y 00 + 3y 0 + 2y = L [0] = 0
Podemos ento utilizar a linearidade da transformada
L y 00 + 3L y 0 + 2L y = 0
as regras da transformada das derivadas
0
s 2 L y s y(0)
y (0) +
+3 sL y y(0) +
+2L y = 0
205
e as condies iniciais
s 2 L y (s 2) +
+3sL y 3+
+2L y = 0
Colocando a transformada da soluo do PVI em evidncia
s 2 + 3s + 2 L y = (s 2) + 3 = s + 1
obtemos que
L y =
s +1
s 2 + 3s + 2
1
= L e 2x
s +2
Vamos ver mais adiante que isso de fato implica que
L y =
y(x) = e 2x
D ESLOCAMENTO
O efeito sobre a transformada de multiplicarmos uma funo y(x) pela funo
e ax deslocarmos a varivel s para a varivel s a.
Proposio 5.4
Temos que
206
Prova:
Temos que
L y(x)e
ax
Z
(s) =
=
Z0
e sx y(x)e ax d x
e (as)x y(x) d x
e (sa)x y(x) d x
0
= L y(x) (s a)
=
Exemplo
L x n e ax (s) = L x n (s a)
n!
=
(s a)n+1
Por exemplo
L xe x =
1
(s + 1)2
207
Considere o PVI
00
0
y + 2y + y = 0
y(0) = 0,
y 0 (0) = 1
L y 00 + 2y 0 + y = L [0] = 0
Podemos ento utilizar a linearidade da transformada
L y 00 + 2L y 0 + L y = 0
as regras da transformada das derivadas
0
s 2 L y s y(0)
y
(0)
+
+2 sL y y(0) +
+L y = 0
e as condies iniciais
s 2 L y 1+
+2sL y +
+L y = 0
Colocando a transformada da soluo do PVI em evidncia
s 2 + 2s + 1 L y = 1
obtemos que
L y =
1
s 2 + 2s + 1
208
segue que
L y =
1
= L xe x
2
(s + 1)
M UDANA DE ESCALA
O efeito sobre a transformada de multiplicamos a varivel x por uma constante positiva b dividirmos tanto a transformada quanto a varivel s por b.
Proposio 5.5
Temos que
s
1
L y(bx) (s) = L y(x)
b
b
Prova:
Temos que
L y(bx) (s) =
e sx y(bx) d x
t
dt
L y(bx) (s) =
e s b y(t )
b
0
Z
1 s t
=
e b y(t ) d t
b 0
209
1 s x
e b y(x) d x
L y(bx) (s) =
b 0
s
1
L y(x)
=
b
b
Exemplos
1) Uma vez que
1
s2 + 1
pela regra da mudana de escala, segue que
L [ sen(x)] (s) =
L [ sen(bx)] (s) =
=
s
1
L [ sen(x)]
b
b
1
1
b s 2 +1
b
=
=
1
b2
b
s2
b2
+1
b
s2 + b2
L e x sen(2x) =
2
(s + 1)2 + 4
210
s
s2 + 1
s
1
L [ cos(x)]
b
b
s
1
b
b s 2 +1
b
=
=
1
b2
s
s2
b2
+1
s
s2 + b2
L e x cos(2x) =
s +1
(s + 1)2 + 4
Considere o PVI
00
0
y + 2y + 5y = 0
y(0) = 0,
y 0 (0) = 2
211
L y 00 + 2y 0 + 5y = L [0] = 0
Podemos ento utilizar a linearidade da transformada
L y 00 + 2L y 0 + 5L y = 0
as regras da transformada das derivadas
0
s 2 L y s y(0)
y (0) +
+2 sL y y(0) +
+5L y = 0
e as condies iniciais
s 2 L y 2+
+2sL y +
+5L y = 0
Colocando a transformada da soluo do PVI em evidncia
s 2 + 2s + 5 L y = 2
obtemos que
L y =
2
s 2 + 2s + 5
2
= L e x sen(2x)
2
(s + 1) + 4
212
D ERIVADA DA TRANSFORMADA
Enquanto a transformada da derivada est relacionada com multiplicar L y
pela varivel s, a derivada da transformada est relacionada com multiplicar
y
pela varivel x. Primeiro vamos mostrar que a transformada L y (s) uma
funo contnua em relao varivel s.
Proposio 5.6
Temos que
lim L y (s + h) = L y (s)
h0
Prova:
Temos que
L y (s + h) L y (s) =
(s+h)x
Z
=
Z0
0
Z
y(x) d x
e sx y(x) d x
e (s+h)x e sx y(x) d x
(s+c)x
L y (s + h) L y (s) = |h|
e
x y(x) d x
213
Z
|h|
Z0
e (s+c)x x y(x) d x
e (s1)x x y(x) d x
0
= |h|L x y (s 1)
|h|
onde utilizamos que e (s+c)x < e (s1)x . Por sanduche, segue que
lim L y (s + h) = L y (s)
h0
Agora vamos determinar a derivada de L y (s) em relao varivel s.
Proposio 5.7
Temos que
0
L y (s) = L x y (s)
Prova:
Temos que
0
L y (s + h) L y (s)
L y (s) = lim
h0
h
Z (s+h)x
e
e sx
= lim
y(x) d x
h0 0
h
Z
= lim
xe (s+c)x y(x) d x
h0 0
214
funo e sx , onde c tal que |c| < |h|. Segue ento que
Z
0
e (s+c)x x y(x) d x
L y (s) = lim
h0 0
= lim L x y (s + c)
h0
= L x y (s)
onde utilizamos a continuidade da transformada, uma vez que c 0,
quando h 0.
Exemplos
1) Temos que
L xe ax = L xe ax
0
= L e ax
1 0
=
sa
1
=
(s a)2
2) Temos que
L [x sen(bx)] = L [x sen(bx)]
= L [ sen(bx)]0
0
b
= 2
s + b2
1 0
= b s 2 + b 2
2
= b s2 + b2
2s
2bs
=
2
s2 + b2
215
I NJETIVIDADE DA TRANSFORMADA
Quando obtemos que a tranformada da soluo de um PVI igual transformada de uma dada funo, precisamos saber se isso implica que a soluo do
PVI igual a essa dada funo. Primeiro precisamos do seguinte lema.
Lema 5.8
Se
y(x) =
cn x n
n=0
ento
X
L y =
cn L x n
n=0
Prova:
Usando a linearidade da transformada, obtemos que
#
"
X
X
k1
n
L y =
cn L x + L
cn x n
n=0
n=k
de modo que
"
#
X
X
k1
n
n
L y
cn L x = L
cn x
n=0
n=k
para todo k. Usando a definio de transformada, que o mdulo da integral menor ou igual integral do mdulo e que o mdulo da srie
216
!
k1
X
X
cn L x n =
e sx
cn x n d x
L y
0
n=0
n=k
!
Z
e sx
|c n |x n d x
0
n=k
!
Z t
k1
X
X
n
cn L x
e sx
|c n |x n d x
L y
0
n=0
n=k
!
Z
X
+
e sx
|c n |x n d x
t
n=k
|c n |t n
n=k
Z
+
Fazendo k , obtemos que
Z
X
n
L y
c n L x
n=0
e
t
e sx d x
|c n |x
dx
n=0
e
t
sx
!Z
sx
|c n |x
dx
n=0
X
n
L y
c n L x = 0
n=0
de modo que
X
cn L x n
L y =
n=0
217
Proposio 5.9
Se
L [w] = L [z]
ento
w =z
Prova:
Se
L [w] = L [z]
pela linearidade da transformada, temos que
L [w z] = L [w] L [z] = 0
Definindo
y = w z
basta ento mostrarmos que
y =0
Vamos supor que
y(x) =
cn x n
n=0
X
=
cn L x n
=
=
n=0
X
n=0
X
n=0
cn
n!
s n+1
c n n!t n+1
218
onde t = 1/s (0, R), para algum R > 0. Segue ento que c n n! = 0, para
todo n 0, de modo que c n = 0, para todo n 0, mostrando que y = 0.
5.2
T RANSFORMADA INVERSA
Aplicando a transformada
L 1 [Y (s)] = y(x)
se
Y (s) = L y(x)
que est bem definida, uma vez que y(x) nica pela injetividade da transformada. As transformadas das funes j consideradas at aqui, denominadas
funes elementares, so apresentadas na tabela abaixo.
y(x)
L y(x)
xner x
n!
(s r )n+1
e ax sen(bx)
b
(s a)2 + b 2
e ax cos(bx)
sa
(s a)2 + b 2
219
suas colunas.
Y (s)
L 1 [Y (s)]
n!
(s r )n+1
xner x
b
(s a)2 + b 2
e ax sen(bx)
sa
(s a)2 + b 2
e ax cos(bx)
F UNES RACIONAIS
Nos PVIs considerados por ns at agora, a transformada da soluo em geral o que denominado de funo racional em s, dada por
Y (s) =
P (s)
Q(s)
onde P (s) e Q(s) so polinmios tais que o grau de P (s) menor do que o grau
de Q(s). Nesse caso, podemos escrever a transformada inversa de Y (s) como
uma combinao linear de funes elementares.
Proposio 5.10
Considere P (s) e Q(s) polinmios tais que o grau de P (s) menor do que
o grau de Q(s) e suponha que Q(s) possui razes reais r com multiplicidade m e razes complexas conjugadas simples a i b. Segue ento que
1 P (s)
= + A 1 e r x + A 2 xe r x + A 3 x 2 e r x + + A m x m1 e r x +
L
Q(s)
+ Ae ax sen(bx) + B e ax cos(bx) +
onde . . . , A 1 , . . . , A m , . . . , A, B, . . . so contantes reais.
220
Prova:
Temos que
Q(s) = a n s n + + a 1 s + a 0
e que
P (s) = b n1 s n1 + + b 1 s + b 0
onde a n 6= 0. Considere agora o PVI
(n)
0
an y + + a1 y + a0 y = 0
y(0) = y 0 ,
y 0 (0) = y 1 , . . . ,
y (n1) (0) = y n1
an y 0
a n1 y 0 + a n y 1
..
.
a y + + a n1 y n3 + a n y n2
2 0
a 1 y 0 + + a n2 y n3 + a n1 y n2 + a n y n1
=
=
..
.
b n1
b n2
..
.
= b1
= b0
221
P (s)
= y(x)
Q(s)
Passos
222
3) Combinao de fraes parciais: Aplicar a transformada em ambos os lados, escrevendo Y (s) como uma fraes parciais:
P (s)
(s r )m ((s a)2 + b 2 )
1
1
+ A2
+
s r
(s r )2
2
(m 1)!
+ + Am
+
+A 3
3
(s r )
(s r )m
b
+ A
+
(s a)2 + b 2
sa
+B
+
(s a)2 + b 2
= + A1
223
1) Considere o PVI
00
0
3x
y + 6y + 9y = e
y(0) = 1,
y 0 (0) = 2
L y 00 + 6y 0 + 9y = L e 3x =
1
s +3
1
s +3
0
s 2 L y s y(0)
y
(0)
+
+6 sL y y(0) +
+9L y =
1
s +3
e as condies iniciais
s 2 L y (s + 2) +
+6sL y 6+
+9L y =
1
s +3
(s + 8)(s + 3) + 1
1
=
s 2 + 6s + 9 L y = s + 8 +
s +3
s +3
obtemos que
(s + 8)(s + 3) + 1
s 2 + 11s + 25
=
L y =
(s + 3)(s 2 + 6s + 9) (s + 3)(s 2 + 6s + 9)
Razes do denominador: Temos que r = 3 raiz simples de
s + 3 e tambm raiz dupla de s 2 + 6s + 9. Logo r = 3 raiz do
224
denominador com multiplicidade m = 3, de modo que o denominador pode ser escrito como
(s + 3)(s 2 + 6s + 9) = (s + 3)3
Combinao de funes elementares: Podemos ento escrever
a soluo como
y(x) = Ae 3x + B xe 3x +C x 2 e 3x
onde A, B,C so contantes a serem determinadas.
Combinao de fraes parciais: Aplicando a transformada em
ambos os lados, obtemos que
1
1
2
s 2 + 11s + 25
=
A
+
B
+C
(s + 3)3
s +3
(s + 3)2
(s + 3)3
Igualdade de polinmios: Multiplicando a equao por (s +3)3 ,
obtemos que
s 2 + 11s + 25 = A(s + 3)2 + B (s + 3) + 2C
= A(s 2 + 6s + 9) + B (s + 3) + 2C
= As 2 + (6A + B )s + 9A + 3B + 2C
Igualdade dos coeficientes: Igualando os coeficientes dos polinmios, segue que
A = 1
6A + B = 11
9A + 3B + 2C = 25
Sistema linear: Resolvendo esse sistema, obtemos que
A = 1,
B = 5,
C=
1
2
225
y(0) = 0,
y 0 (0) = 0
L y 00 4y 0 + 4y = L e x =
1
s 1
0
s 2 L y s y(0)
y
(0)
+
4 sL y y(0) +
+4L y =
1
s 1
e as condies iniciais
s 2L y +
4sL y +
+4L y =
1
s 1
s 2 4s + 4 L y =
1
s 1
226
obtemos que
L y =
1
(s 1)(s 2 4s + 4)
A +B
4A 3B +C
4A + 2B C
= 0
= 0
= 1
B = 1,
C =1
227
y(0) = 2,
y 0 (0) = 0
L y 00 5y 0 + 6y = L [0] = 0
Podemos ento utilizar a linearidade da transformada
L y 00 5L y 0 + 6L y = 0
as regras da transformada das derivadas
0
s 2 L y s y(0)
y
(0)
+
5 sL y y(0) +
+6L y = 0
e as condies iniciais
s 2 L y 2s+
5sL y + 10+
+6L y = 0
Colocando a transformada da soluo do PVI em evidncia
s 2 5s + 6 L y = 2s 10
obtemos que
2s 10
L y = 2
s 5s + 6
228
A +B
3A 2B
= 2
= 10
B = 4
229
4) Considere o PVI
00
0
y + 4y + 13y = 2
y(0) = 0,
y 0 (0) = 0
2
L y 00 + 4y 0 + 13y = L [2] =
s
Podemos ento utilizar a linearidade da transformada
2
L y 00 + 4L y 0 + 13L y =
s
as regras da transformada das derivadas
0
s 2 L y s y(0)
y
(0)
+
+4 sL y y(0) +
+13L y =
2
s
e as condies iniciais
s 2L y +
+4sL y +
+13L y =
2
s
2
s 2 + 4s + 13 L y =
s
obtemos que
L y =
2
s(s 2 + 4s + 13)
230
A +C = 0
4A + 3B + 2C = 0
13A = 2
Sistema linear: Resolvendo esse sistema, obtemos que
A=
2
,
13
B =
4
,
39
C =
2
13
231
2
4
2
e 2x sen(3x) e 2x cos(3x)
13 39
13
a soluo do PVI.
5) Considere o PVI
00
0
y 2y + 2y = cos(x)
y(0) = 1,
y 0 (0) = 0
L y 00 2y 0 + 2y = L [ cos(x)] =
s
s2 + 1
s
s2 + 1
0
s 2 L y s y(0)
y
(0)
+
2 sL y y(0) +
+2L y =
s
s2 + 1
e as condies iniciais
s 2 L y
s+
2sL y + 2
+2L y =
s
s2 + 1
s 2 2s + 2 L y = s 2 +
s
(s 2)(s 2 + 1) + s
=
s2 + 1
s2 + 1
232
obtemos que
L y =
s 3 2s 2 + 2s 2
(s 2 + 1)(s 2 2s + 2)
Razes do denominador: Temos que ab = 0i so razes complexas conjugadas simples de s 2 + 1 e que a b = 1 i so razes
complexas conjugadas simples de s 2 2s + 2, de modo que o denominador pode ser escrito como
(s 2 + 1)(s 2 2s + 2) = (s 2 + 1)((s 1)2 + 1)
Combinao de funes elementares: Podemos ento escrever
a soluo como
y(x) = A sen(x) + B cos(x) +C e x sen(x) + De x cos(x)
onde A, B,C , D so contantes a serem determinadas.
Combinao de fraes parciais: Aplicando a transformada em
ambos os lados, obtemos que
s 3 2s 2 + 2s 2
1
s
1
s 1
=
A
+B
+C
+D
(s 2 + 1)((s 1)2 + 1)
s2 + 1
s2 + 1
(s 1)2 + 1
(s 1)2 + 1
Igualdade de polinmios: Multiplicando a equao por (s 2 +
1)((s 1)2 + 1), obtemos que
s 3 2s 2 + 2s 2 =
= A((s 1)2 + 1) + B s((s 1)2 + 1) +C (s 2 + 1) + D(s 1)(s 2 + 1)
= A(s 2 2s + 2) + B (s 3 2s 2 + 2s) +C (s 2 + 1) + D(s 3 s 2 + s 1)
= (B + D)s 3 + (A 2B +C D)s 2 + (2A + 2B + D)s + 2A +C D
Igualdade dos coeficientes: Igualando os coeficientes dos polinmios, segue que
B +D
A 2B +C D
2A + 2B + D
2A +C D
=
=
=
=
1
2
2
2
233
1
B= ,
5
2
C = ,
5
D=
4
5
5.3
Definida por
u c (x) =
0 se x < c
1 se x c
234
1 u c (x) =
1 se x < c
0 se x c
235
0 se x < c
u c (x) u d (x) = 1 se c x < d
0 se x d
y 1 (x)
y 2 (x)
.
y(x) = ..
y (x)
n
y n+1 (x)
se x < c 1
se c 1 x < c 2
se c n1 x < c n
se x c n
y2
y n+1
yn
y1
c1
c2
c n1
cn
Ento
236
Exemplo
Num circuito RLC, uma bateria de 12 volts ligada no instante t = 5
e desligada no intante t = 7. A carga q(t ) no capacitor satisfaz o
seguinte PVI
00
0
q + 4q + 3q = 12 (u 5 (t ) u 7 (t ))
q(0) = 2
0
q (0) = 2
Pela linearidade da transformada, basta agora determinarmos a transformada de funes da forma u c (x)y(x).
Proposio 5.12
Temos que
L u c (x)y(x) = e cs L y(x + c)
Prova:
Pela definio
L u c (x)y(x) =
Z
0
Z
=
e sx u c (x)y(x)d x
(5.1)
e sx y(x)d x
(5.2)
Na passagem de (5.1) para (5.2) usamos apenas a definio de funo degrau. Note que, com exceo de comear em c ao invs de zero, a expresso acima se parece com uma Transformada de Laplace. Corrigimos este
237
L u c (x)y(x) =
e sx y(x)d x
Zc
=
e s(t +c) y(t + c)d t
0
Z
=
e sc e st y(t + c)d t
0
Z
= e sc
e sx y(x + c)d x
0
= e cs L y(x + c) .
1
s
Observe que se y(x) uma funo elementar, ento y(x + c) pode ser escrita como uma combinao de funes elementares.
Exemplos
1) Se y(x) = x n e r x , ento
y(x + c) = (x + c)n e r (x+c)
= (x + c)n e r x+r c
= e r c e r x (x + c)n
238
L 1 [Y (s)]
e cs L y(x) u c (x)y(x c)
239
Prova:
O resultado segue da proposio anterior, uma vez que
240
Exemplo
Num circuito RLC, uma bateria de 12 volts ligada no instante t = 5
e desligada no intante t = 7. A carga q(t ) no capacitor satisfaz o
seguinte PVI
00
0
q + 4q + 3q = 12 (u 5 (t ) u 7 (t ))
q(0) = 2
0
q (0) = 2
Observe que, nesse problema, a varivel indendente o tempo t .
Aplicando a transformada em ambos os lados da EDO e usando a
linearidade
L q 00 + 4L q 0 + 3L q = 12L [u 5 (t )] 12L [u 7 (t )]
usando as regras da transformada e as condies iniciais
s 2 L q 2s + 2 +
+4 sL q 2 +
12
12
+3L q = e 5s
e 7s
s
s
12
12
s 2 + 4s + 3 L q = 2s + 6 + e 5s
e 7s
s
s
obtemos que
L q =
2s + 6
s 2 + 4s + 3
+ e 5s
12
s(s 2 + 4s + 3)
e 7s
12
s(s 2 + 4s + 3)
2s + 6
s 2 + 4s + 3
Y2 (s) =
12
s(s 2 + 4s + 3)
241
2
s +1
Y2 (s) =
4
6
2
+
s s +1 s +3
y 2 (t ) = 4 6e t + 2e 3t
De L q = Y1 (s) + e 5s Y2 (s) e 7s Y2 (s) segue ento que
q(t ) = y 1 (t ) + u 5 (t )y 2 (t 5) u 7 (t )y 2 (t 7)
= 2e t +
+u 5 (t ) 4 6e (t 5) + 2e 3(t 5) +
u 7 (t ) 4 6e (t 7) + 2e 3(t 7)
a soluo do PVI.
5.4
T RANSFORMADA DE SISTEMAS
242
As transformadas L[y], L[z], . . . ainda esto acopladas no Sistema linear Algbrico, porm como no h mais derivadas, elas so facilmente descopladas
resolvendo o sistema linear... algebricamente! Uma vez obtidas L[y], L[z], . . .,
pode-se proceder como de costume na Transformada de Laplace de EDOs
para se obter as funes incgnitas y, z, . . .
Exemplo
Num circuito RC submetido a uma fora eletromotriz nula, a resistncia consome toda a carga do capacitor, portanto a corrente do
circuito tende a zero exponencialmente. O mesmo acontece com a
corrente de um circuito RL submetido a fora eletromotriz nula.
Considere agora as correntes num circuito RC acoplado a um
circuito LR com a resistncia em comum, ambos submetidos
fora eletromotriz nula. Vamos ver que esses correntes tambm
tendem a zero, mas podem oscilar.
i1
i2
i3
C
Ri 3 +C q 1 = 0
Li 20 + Ri 3 = 0
Derivando a primeira equao desse sistema e utilizando que q 10 =
243
Ri 10 + Ri 20 +C i 1 = 0
Li 20 + Ri 1 + Ri 2 = 0
(5.3)
A ttulo de ilustrao, vamos considerar o caso em que a resistncia R = 1, a indutncia L = 1, a capacitncia C = 2 e vamos considerar correntes iniciais i 1 (0) = 1 e i 2 (0) = 1, iguais em ambos circuitos. Aplicando a transformada no sistema (5.3), obtemos
de modo que
(s + 2)L[i 1 ] +
sL [[] i 2 ] = 2
L[i 1 ] + (s + 1)L[i 2 ] = 1
2
s
1 (s + 1)
L[i 1 ] =
(s + 2)
s
1
(s + 1)
(s + 2) 2
1
1
L[i 2 ] =
(s + 2)
s
1
(s + 1)
2s + 2 s
s +2
= 2
=
(s + 2)(s + 1) s s + 2s + 2
s
(s + 2) 2
= 2
=
(s + 2)(s + 1) s s + 2s + 2
244
2 2i
= 1 i .
2
L[i 1 ] =
APNDICE
A PNDICE
A.1
S EQUNCIA MONTONAS
Prova:
Para o item A, vamos supor que a n no-crescente. Definimos o conjunto
C = {a n : n N}
246
Apndice A. Apndice
e o conjunto
B = {b : b a n para todo n N},
ilustrados pela Figura ??.
R < am an
mostrando que a n . O caso em que a n no-crescente pode ser reduzido ao caso demonstrado acima, o que deixado como exerccio.
A.2
247
I NTEGRAL IMPRPRIA
Z
f (x) d x = lim
t a
f (x) d x
e pode ser interpretada como a rea da regio ilimitada ilustrada pela Figura
??. Se a integral indefinida de f dada por
Z
f (x) d x = F (x) +C
segue que
Para funes positivas, esse limite sempre existe, podendo ser finito ou infinito.
Exemplos
1) Temos que
cos(x) d x
0
no existe.
2) Temos que
Z
1
1
d x = ,
x
248
Apndice A. Apndice
1
d x = log |x| +C
x
e que o limite
3) Temos que
Z
1
1
d x = 1,
x2
1
1
d
x
=
+C
x2
x
1
1 1
= lim +
= 1.
t
x 1
t 1
g 0 (x) f (x) d x
e tambm que
Z
1
f (bx) d x =
b
f (x) d x
ab
249
Prova:
Temos que
Z
g 0 (x) f (x) d x
Z
a
t
f (x)g (x) d x = f (x)g (x) a
0
Z
a
g 0 (x) f (x) d x.
g 0 (x) f (x) d x.
1
f (bx) d x =
b
f (t ) d t ,
ab
A.3
1
f (bx) d x =
b
f (x) d x.
ab
E XPONENCIAL COMPLEXA
Queremos definir a exponecial complexa e (a+i b)x , onde a, b, x R. Vamos primeiro considerar o caso particular puramanente imaginrio. A partir da srie
de potncias de e x , dada por
ex = 1 + x +
x2 x3 x4 x5
+
+
+
+
2! 3! 4! 5!
250
Apndice A. Apndice
ix
i 2x2 i 4x4
i 2x3 i 4x5
= 1+
+
+ +i x +
+
+
2!
4!
3!
5!
de modo que
e
ix
x2 x4
x3 x5
= 1
+
+ +i x
+
+
2! 4!
3! 5!
x2 x4
+
+
2! 4!
sen(x) = x
x3 x5
+
+
3! 5!
e por
segue que
e i x = cos(x) + i sen(x)
Podemos ento definir a exponencial complexa por
e (a+i b)x = e ax e i bx
de modo que
e (a+i b)x = e ax cos(bx) + i e ax sen(bx)
Exemplos
251
1) Temos que
e (2+0i )x
= e 2x cos(0x) + i e 2x sen(0x)
= e 2x
2) Temos que
e (0+3i )x
= e 0x cos(3x) + i e 0x sen(3x)
=
cos(3x) + i sen(3x)
3) Temos que
e (2+3i )x
= e 2x cos(3x) + i e 2x sen(3x)
= e 2x e 3i x
252
Apndice A. Apndice
Temos que
ei x
= ( cos(x) + i sen(x))0
= sen(x) + i cos(x)
= i ( cos(x) + i sen(x))
= i ei x
(y(x))0 = y 0 (x)
Prova:
(1) Por comodidade, vamos suprimir a varivel independente da notao.
Considere
y = f +ig,
z = u +iv
de modo que
y 0 = f 0 + i g 0,
z0 = u0 + i v 0
253
de modo que
(y z)0 = f 0 u + u 0 f (g 0 v + v 0 g ) + i ( f 0 v + v 0 f + g 0 u + u 0 g )
Por outro lado, temos que
y 0 z = f 0 u g 0 v + i ( f 0 v + g 0 u)
e que
y z 0 = f u0 g v 0 + i ( f v 0 + g u0)
Somando essas duas equaes, obtemos que
y 0 z + y z 0 = (y z)0
(2) Utilizando o item anterior e que a derivada de constante nula,
obtemos que
(y(x))0 = ()0 y(x) + y 0 (x) = y 0 (x)
Exemplo
Temos que
ei x
00
0
i ei x
0
= i ei x
=
= i (i e i x )
= e i x
de modo que y(x) = e i x uma soluo complexa da EDO
y 00 (x) + y(x) = 0
254
Apndice A. Apndice
0
e (a+i b)x = (a + i b)e (a+i b)x
Prova:
Uma vez que
e (a+i b)x = e ax e i bx
pela regra da derivada do produto, obtemos que
0
0
e (a+i b)x = e ax e i bx + e i bx e ax
ax 0
e
= ae ax
e que
e i bx
= ( cos(bx) + i sen(bx))0
= b sen(bx) + i b cos(bx)
= i b ( cos(bx) + i sen(bx))
= i be i bx
de modo que
e (a+i b)x
= ae ax e i bx + i be i bx e ax
= (a + i b)e ax e i bx
= (a + i b)e (a+i b)x
255
Finalmente, vamos mostrar que a parte real e a parte imaginria de solues com valores complexos so solues com valores reais.
Proposio A.5
Se
y(x) = f (x) + i g (x)
uma soluo da homognea
a 2 y 00 (x) + a 1 y 0 (x) + a 0 y(x) = 0
onde a 0 , a 1 , a 2 R, ento sua parte real e sua parte imaginria
f (x)
g (x)
Prova:
Temos que
y(x) =
y 0 (x) =
y 00 (x) =
f (x) + i g (x)
f 0 (x) + i g 0 (x)
f 00 (x) + i g 00 (x)
256
Apndice A. Apndice
temos que
a 0 f (x)
a 0 g (x)
0 = +a 1 f 0 (x) + i +a 1 g 0 (x)
+a 2 f 00 (x)
+a 2 g 00 (x)
Comos a parte real e a parte imaginria tem que ser nulas, segue f (x) e
g (x) tambm so solues dessa homognea.
A.4
2
X 2 X
X
2
an
bn
an bn
n=0
n=0
n=0
Prova:
P
Como |a n b n | a n2 + b n2 , por comparao, segue que
n=0 a n b n converge
absolutamente. Dado x R, considere a seguinte desigualdade
0
(a n x + b n ) =
n=0
a n2
x + 2
n=0
an bn x +
n=0
n=0
Denotando
a=
X
n=0
a n2 ,
b=2
X
n=0
an bn ,
c=
X
n=0
b n2
b n2
257
X
X 2 X
2
4
an bn 4
an
bn
n=0
n=0
n=0
x1 n=0
an x n =
an
n=0
Prova:
P
n
Como s n s, temos que s n limitada e portanto
n=0 s n x converge para
|x| < 1. Logo
X
X
X
n
n+1
x
sn x =
sn x
=
s n1 x n
n=0
n=0
n=1
de modo que
(1 x)
sn x n = a0 +
n=0
(s n s n1 )x n
n=1
an x n
n=0
X
n=0
sx n = (1 x)s
X
n=0
xn
258
Apndice A. Apndice
= (1 x)s
= s
de modo que
s
a n x n = (1 x)
n=0
1
1x
(s s n )x n
n=0
an x
2
= (1 x)
n=0
(1 x)
= (1 x)
n=0
n=0
(s s n )x
(s s n )
2n
n=0
(s s n )
n=0
(s s n )
n=0
1
1 x2
1x
1+x
onde aplicamos o lema anterior para obter a desigualdade acima. O resultado segue ento por sanduche, uma vez que
1x
=0
x1 1 + x
lim
x1 n=0
(1)n a n x n =
X
n=0
(1)n a n
259
Prova:
Temos que a srie alternada
n=0 (1)
a n converge e que (s s n )2 a n2 .
Exemplos
1) A seguinte srie de potncias
1
(1)n x n
n
n=0
possui raio R = 1 e
1
X
<
2
n=0 n
X
1
1
(1)n
(1)n x n =
x1 n=0
n
n
n=0
lim
1
(1)n x n = lim log(1 + x) = log(2)
x1
x1 n=0
n
lim
X
n=0
(1)n
1
n
X
n=0
(1)n
1
x 2n+1
2n + 1
260
Apndice A. Apndice
possui raio R = 1 e
1
<
2
n=0 (2n + 1)
Segue ento que
lim
x1 n=0
(1)n
X
1
1
x 2n+1 =
(1)n
2n + 1
2n + 1
n=0
x1 n=0
(1)n
X
1
=
(1)n
4 n=0
2n + 1
de modo que
=4
X
n=0
A.5
(1)n
1
2n + 1
Nessa seo, vamos completar a prova de que a derivada de uma srie de potncias a srie das derivadas. Para isso, precisamos do seguinte resultado.
Lema A.9
Se |s|, |t | r , temos que
|s m t m | |s t |nr m1
261
Prova:
fcil verificar que
s m t m = (s t )(s m1 + s m2 t + + st m2 + t m1 )
Agora, utilizando a desigualdade triangular, temos que
|s m t m | = |s t ||s m1 + s m2 t + + st m2 + t m1 |
|s t |(|s m1 | + |s m2 t | + + |st m2 | + |t m1 |)
Para cada parcela no lado direito, temos que
|s mk t k1 | = |s|mk |t |k1
r mk r k1
= r m1
uma vez que |s|, |t | r . Segue ento que
|s m t m | |s t |(|s m1 | + |s m2 t | + + |st m2 | + |t m1 |)
|s t |(r m1 + r m1 + + r m1 + r m1 )
= |s t |mr m1
como desejavamos.
n=0 a n x
h0 n=1
a n n(x + c n )n1 =
X
n=1
a n nx n1
262
Apndice A. Apndice
Prova:
Temos que
X
X
n1
n1
n1
n1
a n n(x + c n )
a n nx
a n n((x + c n )
x
)
=
n=1
n=1
n=1
|a n |n (x + c n )n1 x n1
n=0
Como x (R, R), temos que |x| < r , para algum r < R. Para h suficientemente pequeno, temos que |x + c n | < r , uma vez que |c n | < |h|. Usando o
lema, com s = x + c n , com t = x e com m = n 1, segue que
X
X
n1
n1
a n n(x + c n )
a n nx
n=1
n=0
X
X
n1
n1
a n n(x + c n )
a n nx
n=1
n=0
n=1
|a n |n|h|(n 1)r n2
n=1
= |h|
|a n |n(n 1)r n2
n=1
Logo
X
X
n1
n1
a
n(x
+
c
)
a
nx
n
n
n
|h|L
n=1
n=0
P
n2
onde L =
no depende de h. O resultado segue enn=1 |a n |n(n 1)r
to por sanduche.
A.6
263
Nessa seo, vamos mostrar que todo PVI linear cujos coeficientes so sries
de potncias tem soluo por sries de potncias. Primeiro precisamos mostrar que o produto de duas sries de potncias uma srie de potncias.
Proposio A.11
Sejam
to
n=0 a n
n=0 b n
an
n=0
bn =
n=0
onde
cn =
n
X
cn
n=0
a nk b k .
k=0
Prova:
Vamos primeiro mostrar que
|a n |
n=0
|b n | =
n=0
onde
dn =
n
X
dn ,
n=0
|a nk ||b k |
k=0
!
!
m
m
[m/2]
[m/2]
m
X
X
X
X
X
|a n |
dn
|a n |
|b n | ,
|b n |
n=0
n=0
n=0
n=0
n=0
onde [x] denota a parte inteira de x. Essa desigualdade pode ser visualizada atravs da seguite matriz. O primeiro termo da desigualdade a
soma das entradas da submatriz [m/2] por [m/2]. O termo intermedirio
a soma das entradas do tringulo de vrtices |a 0 ||b 0 |, |a 0 ||b m | e |a m ||b 0 |.
J o terceiro termo da desigualdade a soma de todas as entradas da ma-
264
Apndice A. Apndice
triz m por m.
|a 0 ||b 0 |
..
|a [m/2] ||b 0 |
..
.
|a m ||b 0 |
|a 0 ||b m |
..
..
..
.
|a m ||b [m/2] |
|a m ||b m |
|a 0 ||b [m/2] |
..
.
Tomando o limite de m tendendo para na desiguladade acima e utilizando a regra do limite do produto e a regra do sanduche, obtemos o
resultado desejado, uma vez que [m/2] tambm tende para a .
Considerando a diferena entre a soma dos elementos da matriz m
por m e o tringulo, obtemos que
m
X
|a n |
n=0
m
X
|b n |
n=0
m
X
dn =
n=0
m
X
m
X
|a n ||b k |,
n=1 k=mn+1
a0 b0
..
a [m/2] b 0
..
.
am b0
a 0 b [m/2]
..
.
a [m/2] b [m/2]
..
.
a m b [m/2]
a0 bm
..
a [m/2] b m
..
am bm
m
X
n=0
an
m
X
n=0
bn
m
X
n=0
cn =
m
X
m
X
an bk ,
n=1 k=mn+1
X
X
m
m
m
m
X
X
an bk
|a ||b |
n=1 k=mn+1
n=1 k=mn+1 n k
265
de modo que
m
m
m
m
m
m
X
X
X
X
X
X
a
b
|a
|
|b
|
dn
n
n
n
n
n
n=0
n=0
n=0
n=0
n=0
n=0
X
X
X
an x n
bn x n =
cn x n
n=0
n=0
onde
cn =
n=0
n
X
a nk b k
k=0
Prova:
Segue da proposio anterior e do fato de que
!
n
n
X
X
a nk b k x n
a nk x nk b k x k =
k=0
k=0
y(0) = y 0 ,
y 0 (0) = y 1
266
Apndice A. Apndice
Proposio A.13
Se p(x) e q(x) so sries de potncias convergindo absolutamente em
x = 1, ento o PVI possui soluo por srie de potncias que converge
pelo menos para |x| < 1.
Prova:
Escrevendo
p(x) =
pn xn
q(x) =
n=0
qn x n
n=0
|p n | <
n=0
|q n | <
n=0
X
y(x) =
an x n
n=0
y(x)p(x) =
an x n
n=0
pn xn
n=0
n
X
!
a k p nk x n
n=0 k=0
e que
y (x)q(x) =
a n+1 (n + 1)x
n=0
X
n
X
n=0 k=0
qn x
n=0
!
a k+1 (k + 1)q nk x n
267
n=0
para que y(x) seja soluo do PVI, somando as equaes acimas, obtemos
que
n
X
X
0=
a n+2 (n + 2)(n + 1) +
a k+1 (k + 1)q nk + a k p nk x n
n=0
k=0
n
X
a k+1 (k + 1)q nk + a k p nk
k=0
a 1 = y 0 (0) = y 1
|a n x n |
n=0
|A n x n | <
n=0
A 1 = |a 1 |
n
X
A k+1 (k + 1) + A k
A n+2 (n + 2)(n + 1) = M A n+1 +
k=0
268
Apndice A. Apndice
n
X
k=0
n
X
k=0
A n+2 (n + 2)(n + 1)
onde utilizamos a desigualdade triangular e que |p n |, |q n | M para todo
n 0. Cancelando o fator (n +2)(n +1) no primeiro e ltimo termo das desigualdades acima, obtemos que |a n+2 | A n+2 , completando a induo.
Segue ento que
X
X
|A n x n |
|a n x n |
n=0
n=0
A n+1
=1
An
!
n1
X
A n+1 (n + 1)n = M A n +
A k+1 (k + 1) + A k
k=0
= M A n + A n n + A n1 +
n2
X
!
A k+1 (k + 1) + A k
k=0
= M A n (n + 1) + M A n1 +
n2
X
k=0
= M A n (n + 1) + A n n(n 1)
= A n (M (n + 1) + n(n 1))
!
A k+1 (k + 1) + A k
269
M n 1
A n+1
= lim
+
=1
An
n n +1
como queramos.
Prova:
Considere 0 < r < R arbitrrio. Temos que y(x) soluo do PVI
00
0
y (x) + q(x)y (x) + p(x)y(x) = 0
y(0) = y 0 ,
y 0 (0) = y 1
z(0) = y 0 ,
z 0 (0) = y 1
onde r q(r t ) e r 2 p(r t ) so sries de potncias que convergem absolutamente em t = 1. Pela proposio anterior, z(t ) uma srie de potncias
que converge pelo menos para |t | < 1. Portanto y(x) = z(x/r ) uma srie
de potncias que converge pelo menos para |x/r | < 1. Como 0 < r < R
arbitrrio, segue que y(x) uma srie de potncias que converge pelo
menos para |x| < R.
270
A.7
Apndice A. Apndice
R EGRA DE C RAMER
Nessa seo, vamos apresentar a Regra de Cramer, que um mtodo para resolver sistemas lineares. Primeiro consideramos o caso dois por dois.
Proposio A.15
Se
a b
c d
6= 0
ax + b y = e
cx + d y =
x=
b
d
a b
c d
e
f
y=
e
f
a b
c d
a
c
Prova:
Para obtermos x, primeiro multiplicamos a primeira linha do sistema por
d e a segunda linha do sistema por b, de modo que
ad x + bd y = ed
bc x + bd y =
fb
271
ed f b
x=
=
ad bc
b
d
a b
c d
e
f
ac x +
bc y = ce
ac x + ad y = a f
a f ce
=
y=
ad bc
e
f
a b
c d
a
c
272
Apndice A. Apndice
Se
a 11 a 12
a 21 a 22
..
..
.
.
a
a
n1
n2
ento o sistema linear
a 11 x 1 + a 12 x 2
a 21 x 1 + a 22 x 2
..
.
..
.
a 1n
a 2n
..
.
a nn
6= 0
+ + a 1n x n
= b1
+ + a 2n x n
= b2
+ +
..
.
.
= ..
a n1 x 1 + a n2 x 2 + + a nn x n = b n
b 1 a 12
b 2 a 22
..
..
.
.
b
n a n2
x1 =
a 11 a 12
a 21 a 22
..
..
.
.
a
n1 a n2
A.8
a nn
a 1n
a 2n
..
.
a nn
a 1n
a 2n
..
...
a 11
a 21
..
.
a
n1
xn =
a 11
a 21
..
.
a
n1
a 12
a 22
..
.
a n2
a 12
a 22
..
.
a n2
b 1
b 2
.
..
bn
a 1n
a 2n
..
.
a nn
273
a k (x)
a n (x)
g (x)
f (x)
a n (x)
S OLUO DA HOMOGNEA
Vamos mostrar que, assim como no caso de uma EDO linear homognea de
2 ordem, a soluo geral de uma EDO linear homognea de ordem superior
dada pela combinao linear
y(x) = c 1 y 1 (x) + c 2 y 2 (x) + + c n y n (x)
onde c 1 , c 2 , . . . , c n R, sempre que y 1 (x), y 2 (x), . . . , y n (x) forem solues fundamentais. No caso de EDOs de 2 ordem, temos que y 1 (x) e y 2 (x) so solues
fundamentais quando elas no so proporcionais, o que o mesmo que
c 1 y 1 (x) + c 2 y 2 (x) = 0
implicar que c 1 = c 2 = 0. No caso de EDOs de ordem superior, as solues so
fundamentais quando elas so linearmente independentes, ou seja, quando
c 1 y 1 (x) + c 2 y 2 (x) + + c n y n (x) = 0
implicar que todos os c k so todos nulos.
No caso de EDOs de 2 ordem, podemos utilizar o Wronskiano
y 1 (x) y 2 (x)
W (y 1 (x), y 2 (x)) = 0
y 1 (x) y 20 (x)
274
Apndice A. Apndice
y 1 (x)
y
(x)
y
(x)
2
n
y 0 (x)
0
0
y 2 (x)
y n (x)
..
..
..
(n2)
y1
(x) y 2(n2) (x) y n(n2) (x)
(n1)
y
(x) y 2(n1) (x) y n(n1) (x)
1
para determinar se y 1 (x), y 2 (x), . . . , y n (x) so solues fundamentais.
A proposio a seguir generaliza um resultado do caso de EDOs de 2 ordem e estabelece um fato de fundamental importncia sobre o Wronskiano.
Proposio A.17: Frmula de Abel
Sejam y 1 (x), y 2 (x), . . . , y n (x) solues da EDO
y (n) (x) + p n1 (x)y (n1) (x) + + p 1 (x)y 0 (x) + p 0 (x)y(x) = 0
Ento
W (y 1 (x), y 2 (x), . . . , y n (x)) = ce P n1 (x)
onde c R e
Z
p n1 (x) d x = P n1 (x) +C
Prova:
Por comodidade, vamos denotar o Wronskiano W (y 1 (x), y 2 (x), . . . , y n (x))
apenas por W (x). Basta ento provarmos que o Wronskianos satisfaz a
seguinte EDO
W 0 (x) + p n1W (x) = 0
Vamos ento calcular a derivada do Wronskiano
W (x + h) W (x)
h0
h
W 0 (x) = lim
275
..
=
y (n2).(x+h)
1
y (n1) (x+h)
1
y 2 (x+h)
y 20 (x+h)
..
.
y 2(n2) (x+h)
y 2(n1) (x+h)
y 1 (x)
0
y 1 (x)
..
..
.
.
(n2) (x)
y n(n2) (x+h) y 1
y (n1) (x)
y (n1) (x+h)
y 2 (x)
y 20 (x)
y n (x+h)
y n0 (x+h)
..
.
y 2(n2) (x)
y 2(n1) (x)
y n (x)
y n0 (x)
..
.
y n(n2) (x)
y (n1) (x)
n
..
=
y (n2).(x+h)
1
y (n1) (x+h)
1
y 1 (x)
0
y 1 (x+h)
..
+
y (n2).(x+h)
1
y (n1) (x+h)
1
y 2 (x+h)
y 20 (x+h)
..
.
y 2(n2) (x+h)
y 2(n1) (x+h)
y 2 (x)
y 20 (x+h)
..
.
y 2(n2) (x+h)
y 2(n1) (x+h)
y 2 (x+h)
y 20 (x+h)
y 1 (x)
0
y 1 (x+h)
..
..
.
(n2).(x+h)
y n(n2) (x+h) y 1
y (n1) (x+h)
y (n1) (x+h)
y 2 (x)
y 20 (x+h)
y n (x+h)
y n0 (x+h)
y 1 (x)
y 10 (x)
..
..
.
.
(n2)
(n2)
yn
(x+h) y 1
(x+h)
(n1)
(n1)
y
(x+h)
y
(x+h)
..
.
y 2(n2) (x+h)
y 2(n1) (x+h)
y n (x)
y n0 (x+h)
y 2 (x)
y 20 (x)
y 2(n2) (x+h)
y 2(n1) (x+h)
..
.
y n (x)
y n0 (x+h)
..
+
.
y n(n2) (x+h)
(n1)
y
(x+h)
n
y n (x)
y n0 (x)
..
+
.
(n2)
yn
(x+h)
y (n1) (x+h)
n
..
.
y (x+h)
10
y 1 (x+h)
..
+
.
y (n2)
1 (x)
y (n1) (x+h)
1
..
.
y 2(n2) (x)
y 2(n1) (x+h)
y 1 (x)
0
y 1 (x)
..
..
.
.
(n2) (x)
(n2)
yn
(x) y 1
y (n1) (x)
y (n1) (x+h)
y n (x+h)
y n0 (x+h)
y 2 (x)
y 20 (x)
y 2(n2) (x)
y 2(n1) (x)
..
.
y n (x)
y n0 (x)
..
.
y n(n2) (x)
y (n1) (x)
n
Para analisar essas diferenas vamos utilizar o fato de que se dois determinates diferem apenas numa nica linha, sua diferena o determinante
onde as linha coincidentes so repetidas e na linha que difere aparece a
diferena das linhas originais. Temos ento que
276
Apndice A. Apndice
W (x + h) W (x) =
y (x+h)y (x)
1
1 0
y 1 (x+h)
..
=
y (n2).(x+h)
1
y (n1) (x+h)
y n0 (x+h)
y 20 (x+h)
0 y 1 (x) 0
y 1 (x+h)y 1 (x)
..
+
y (n2).(x+h)
1
y (n1) (x+h)
y 2 (x)
y n (x)
..
.
y 2(n2) (x+h)
y 2(n1) (x+h)
..
.
y n(n2) (x+h)
y n(n1) (x+h)
..
.
y 2(n2) (x+h)
y 2(n1) (x+h)
..
.
y n(n2) (x+h)
y n(n1) (x+h)
..
.
y 1 (x+h)
y 10 (x+h)
..
+
.
y 1(n2) (x)
y 2 (x+h)
y 20 (x+h)
y 2(n2) (x)
(n1)
y2
(x+h)y 1(n1) (x)
..
.
y n (x+h)
y n0 (x+h)
..
.
y n(n2) (x)
(n1)
yn
(x+h)
y (n1) (x)
n
W (x + h) W (x)
=
h
y (x+h)y (x) y (x+h)y (x)
2
2
1 h 1
h
0
0
y 1 (x+h)
y 2 (x+h)
.
..
=
..
.
y (n2) (x+h) y (n2) (x+h)
1
2
y (n1) (x+h) y (n1) (x+h)
1
277
y n (x+h)y n (x)
h
y n0 (x+h)
..
.
y n(n2) (x+h)
y n(n1) (x+h)
y (x)
0 1 0
y1 (x+h)y1 (x)
h
..
+
y (n2).(x+h)
1
y (n1) (x+h)
1
y 2 (x)
y 0 (x+h)y 0 (x)
2
2
h
..
.
y 2(n2) (x+h)
y 2(n1) (x+h)
y n (x)
0 (x+h)y 0 (x)
yn
n
h
..
.
y n(n2) (x+h)
y n(n1) (x+h)
..
.
y 1 (x+h)
y 10 (x+h)
..
.
+
(n2)
y1
(x)
y 2 (x+h)
y 20 (x+h)
y 2(n2) (x)
(n1)
(n1)
y
(x+h)y
(x)
2
1
h
..
.
y n (x+h)
y n0 (x+h)
..
(n2)
yn
(x)
(n1)
(n1)
yn
(x+h)y n
(x)
h
00
y 200
y 20 y n0 y 1
..
..
.. + ..
.
.
.
. (n2)
(n2)
y2
y 2(n2) y n(n2) y 1
y (n1) y (n1)
y (n1) y n(n1)
1
2
W 0 (x) = lim
0
y1
0
y1
= ...
y (n2)
1
y (n1)
1
yn
y n00
y1
y1
..
.
. + + ..
y (n2)
(n2)
yn
y (n)
y (n1)
n
y2
y 20
y 2(n2)
y 2(n)
..
.
yn
y n0
..
.
y n(n2)
y (n)
n
onde suprimimos as varivel independente x por comodidade. Como todos os primeiros determinates possuem linhas repetidas, eles so nulos,
sobrando apenas o ltimo determinante, de modo que
y1
y 2 y n
0
y1
y 20 y n0
..
..
.
W 0 (x) = ..
.
.
y (n2) y (n2) y (n2)
n
1
2
y (n) y (n) y (n)
1
278
Apndice A. Apndice
0
W (x) =
y1
y 10
yn
y n0
y n(n2)
p n1 y n(n1) p 1 y n0 p 0 y n
..
.
..
.
y 1(n2)
(n1)
p 1 y 10 p 0 y 1
n1 y 1
y1
y 10
..
W 0 (x) =
.
y (n2)
1
p y (n1)
n1 1
yn
y n0
..
+
.
y n(n2)
(n1)
p
y
n1 n
y1
y 10
yn
y n0
..
.
y 1(n2)
(n2)
p 1 y 10 p 0 y 1
n2 y 1
..
.
y n(n2)
(n2)
p n2 y n
p 1 y n0 p 0 y n
O segundo determinante acima nulo, pois sua ltima linha e combinao linear das linhas anteriores, de modo que
y1
yn
y 10
y n0
.
.
..
..
W 0 (x) =
y (n2) y (n2)
n
1
p y (n1) p y (n1)
n1 1
n1 n
y 1 y n0
..
.
W 0 (x) = p n1 ..
. = p n1W (x)
y (n2) y (n2)
n
1
y (n1) y (n1)
1
279
Vamos mostrar agora que a mesma relao entre as solues serem fundamentais e seu Wronskiano no se anular, vlida no caso de EDOs de 2 ordem,
tambm vlida no caso de EDOs de ordem superior.
Proposio A.18
Sejam y 1 (x), y 2 (x), . . . , y n (x) solues da EDO
y (n) (x) + p n1 (x)y (n1) (x) + + p 1 (x)y 0 (x) + p 0 (x)y(x) = 0
Ento as seguintes condies so equivalentes:
(A) W (y 1 (x 0 ), y 2 (x 0 ), . . . , y n (x 0 )) 6= 0 para algum x 0
(B) W (y 1 (x), y 2 (x), . . . , y n (x)) 6= 0 para todo x
(C) y 1 (x), y 2 (x), . . . , y n (x) so fundamentais
Prova:
Vamos mostrar que (A) equivalente a (B) e, depois, que (B) equivalente
a (C).
Para mostrar que (A) e (B) so equivalentes, primeiro lembramos que
W (y 1 (x), y 2 (x), . . . , y n (x)) = ce P n1 (x)
onde c R. Segue ento que
W (y 1 (x 0 ), y 2 (x 0 ), . . . , y n (x 0 )) 6= 0
para algum x 0 , equivalente a
c 6= 0
280
Apndice A. Apndice
Finalmente vamos mostrar que a soluo geral de uma EDO linear de ordem n dada pela combinao linear de solues fundamentais.
Proposio A.19
Sejam y 1 (x), y 2 (x), . . . , y n (x) solues fundamentais da EDO
y (n) (x) + p n1 (x)y (n1) (x) + + p 1 (x)y 0 (x) + p 0 (x)y(x) = 0
Ento a soluo geral da EDO dada por
y(x) = c 1 y 1 (x) + c 2 y 2 (x) + + c n y n (x)
onde c 1 , c 2 , . . . , c n R.
Prova:
Seja z(x) uma soluo qualquer da EDO. Temos que
W (z(x), y 2 (x), . . . , y n (x)) = ae P n1 (x)
para algum a R, e que
W (y 1 (x), y 2 (x), . . . , y n (x)) = be P n1 (x) 6= 0
281
a P n1 (x)
be
= c 1W (y 1 (x), y 2 (x), . . . , y n (x))
b
= ..
.
z (n1) (x)
y 2 (x)
y 20 (x)
..
.
y 2(n1) (x)
y n (x)
y n0 (x)
y 1 (x)
y 1 (x)
.. c 1 ..
.
.
y (n1) (x)
y (n1) (x)
n
y 2 (x)
y 20 (x)
y 2(n1) (x)
..
.
y n (x)
y n0 (x)
.. = 0
.
y (n1) (x)
n
z(x) c 1 y 1 (x)
y 2 (x)
y n (x)
z 0 (x) c 1 y 10 (x)
y 20 (x)
y n0 (x)
=0
..
..
..
.
.
.
282
Apndice A. Apndice
c 2 (x)y 2 (x) + +
c n (x)y n (x)
z 0 (x) c 1 y 10 (x) =
c 2 (x)y 20 (x) + +
c n (x)y n0 (x)
..
.
..
.
..
.
z (n2) (x) c 1 y 1(n2) (x) = c 2 (x)y 2(n2) (x) + + c n (x)y n(n2) (x)
z (n1) (x) c 1 y 1(n1) (x) = c 2 (x)y 2(n1) (x) + + c n (x)y n(n1) (x)
onde c 2 (x), . . . , c n (x) so funes de x. Considerando as n 1 primeiras
equaes, temos que o determinante da matriz dos coeficientes justamente o Wronskiano W (y 2 (x), . . . , y n (x)) que supusemos acima ser diferente de zero. Pela regra de Cramer, essas n 1 equaes determinam
c 2 (x), . . . , c n (x) como o quociente de determinantes. Como cada determinante um produto de funes derivveis, pelas regras das derivadas do
produto e do quociente, segue que c 2 (x), . . . , c n (x) tambm so derivveis.
Derivando-se as n 1 primeiras equaes e comparando-se com as n 1
ltimas equaes sem derivar, obtemos as seguintes equaes
c 20 (x)y 2 (x) + +
c n0 (x)y n (x) = 0
c 20 (x)y 20 (x) + +
c n0 (x)y n0 (x) = 0
..
.
..
.
..
.
283
S OLUO DA NO - HOMOGNEA
Assim como no caso de EDOs de 2 ordem, a soluo geral de uma EDO linear de ordem superior no-homognea ser dada a partir da soluo geral
da sua homogna associada atravs do mtodo denominado de Variao dos
Parmetros.
Passos
1) Variar os parmetros: Tentar uma soluo da EDO nohomogna da forma y(x) = c 1 (x)y 1 (x) + + c n (x)y n (x), substituindo os parmetros c 1 , . . . , c n da soluo geral c 1 y 1 (x) + +
c n y n (x) da homogna associada por funes c 1 (x), . . . , c n (x), que
so as novas incgnitas.
2) Determinar os parmetros variveis: Determinar quais so as
funes c 1 (x), . . . , c n (x), utilizando a EDO no-homognea. Uma
vez que
y(x) = y 1 (x)c 1 (x) + + y n (x)c n (x)
derivando essa combinao, segue que
y 0 (x) = y 10 (x)c 1 (x) + + y n0 (x)c n (x)
+ y 1 (x)c 10 (x) + + y n (x)c n0 (x)
Impondo que
y 1 (x)c 10 (x) + + y n (x)c n0 (x) = 0
obtemos que
y 0 (x) = y 10 (x)c 1 (x) + + y n0 (x)c n (x)
284
Apndice A. Apndice
y n (x)c n0 (x) = 0
y 10 (x)c 10 (x) + +
y n0 (x)c n0 (x) = 0
..
.
..
.
..
.
y 1 (x)c 1 (x) + +
y n (x)c n (x)
y 0 (x) =
y 10 (x)c 1 (x) + +
y n0 (x)c n (x)
y 00 (x) =
..
.
..
.
..
.
285
Multiplicando essas equaes pelos respectivos coeficientes, somando as equaes, colocando c 1 (x), . . . , c n (x) em evidncia, e
usando que y 1 (x), . . . , y n (x) so solues da homognea e que y(x)
soluo da no-homognea, obtemos que
g (x) = y 1(n1) (x)c 10 (x) + + y n(n1) (x)c n0 (x)
Obtemos ento o seguinte sistema
y 1 (x)c 10 (x) + +
y n (x)c n0 (x) =
y 10 (x)c 10 (x) + +
y n0 (x)c n0 (x) =
..
.
..
.
..
.
0
y 1 (x)
y 2 (x)
y n (x)
y 0 (x)
y 20 (x)
y n0 (x)
..
..
..
6= 0
.
.
.
(n2)
y1
(x) y 2(n2) (x) y n(n2) (x)
(n1)
(n1)
(n1)
y
(x)
y
(x)
y
(x)
n
1
2
que no nulo, uma vez que y 1 (x), y 2 (x), . . . , y n (x) so solues fundamentais. Utilizando a regra de Cramer, determinamos
c 10 (x), . . . , c n0 (x) e, integrando, obtemos c 1 (x), . . . , c n (x).
286
Apndice A. Apndice