03 CalculoIII

CLCULO III
1a Edio - 2.007
SOMESB
S OCIEDADE M ANTENEDORA DE E DUCAO S UPERIOR DA B AHIA S/C LTDA .
G ERVSIO M ENESES
DE O LIVEIRA P RESIDENTE
W ILLIAM O LIVEIRA
V ICE -P RESIDENTE
S AMUEL S OARES
S UPERINTENDENTE A DMINISTRATIVO E F INANCEIRO
G ERMANO TABACOF S UPERINTENDENTE DE E NSINO, P ESQUISA E E XTENSO P EDRO DALTRO G USMO DA S ILVA S UPERINTENDENTE DE D ESENVOLVIMENTO E P LANEJAMENTO ACADMICO
FACULDADE DE T ECNOLOGIA E C INCIAS E NSINO A D ISTNCIA

R EINALDO DE O LIVEIRA B ORBA
D IRETOR G ERAL
FTC-E A D
R OBERTO F REDERICO M ERHY

D IRETOR ACADMICO
J EAN C ARLO N ERONE

D IRETOR
DE
T ECNOLOGIA
E
A NDR P ORTNOI
D IRETOR A DMINISTRATIVO F INANCEIRO
R ONALDO C OSTA
G ERENTE ACADMICO
J ANE F REIRE G ERENTE DE E NSINO

L US C ARLOS N OGUEIRA A BBEHUSEN
G ERENTE DE S UPORTE T ECNOLGICO
R OMULO AUGUSTO M ERHY C OORD. DE S OFTWARES E S ISTEMAS O SMANE C HAVES C OORD. DE T ELECOMUNICAES E H ARDWARE J OO J ACOMEL C OORD. DE P RODUO DE M ATERIAL D IDTICO
M ATERIAL D IDTICO
P RODUO ACADMICA
J ANE F REIRE G ERENTE DE E NSINO A NA PAULA A MORIM
S UPERVISO
P RODUO T CNICA
J OO J ACOMEL C OORDENAO C ARLOS M AGNO B RITO A LMEIDA S ANTOS
R EVISO
DE
T EXTO
G ECIARA
DA S ILVA C ARVALHO C OORDENADOR DE C URSO
M AURCIO P ORTO S ILVA J ONES G ARCIA DA M ATA

R EVISO DE C ONTEDO
FBIO S ANTOS R ODRIGUES PAULO H ENRIQUE R IBEIRO DO N ASCIMENTO

AUTOR ( A )
A DRIANO P EDREIRA C ATTAI PAULO H ENRIQUE R IBEIRO DO N ASCIMENTO

E DIO
EM
LATEX 2
E QUIPE A LEXANDRE R IBEIRO, A NGLICA J ORGE , C EFAS G OMES , C LAUDER F ILHO, D ELMARA B RITO, D IEGO D ORIA A RAGO, FBIO G ONALVES , F RANCISCO F RANA J NIOR , H ERMNIO F ILHO, I SRAEL DANTAS , L UCAS DO VALE , M ARCIO S ERAFIM , M ARIUCHA P ONTE , RUBERVAL F ONSECA E TATIANA C OUTINHO.
Copyright c 2.007 FTC-E A D Todos os direitos reservados e protegidos pela lei 9.610 de 19/02/98. proibida a reproduo total ou parcial, por quaisquer meios, sem autorizao prvia, por escrito, da FTC-E A D - Faculdade de Tecnologia e Cincias - Ensino a distncia. www.ead.ftc.br
Sumrio
Bloco 1: Seqncias e Sries Numricas
Tema 1: Seqncias Numricas
1.1 1.2 1.3 1.4 1.5 1.6 1.7 Seqncias Numricas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Convergncia de Seqncias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Seqncias Limitadas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
6
6
6 7 8
Seqncias Montonas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10 Subseqncias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 Alguns Resultados Importantes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12 Outras Seqncias Numricas, Notveis e Importantes para o Ensino Mdio . . . . . . . . . . . . . . . . . . 14 1.7.1 1.7.2 1.7.3 1.7.4 1.7.5 1.7.6 1.7.7 1.7.8 1.7.9 A Progresso Aritmtica. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14 Propriedades de uma PA . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16 Frmula do Termo Geral de Uma Progresso Aritmtica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16 Soma dos Finitos Termos de uma Progresso Aritmtica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17 Progresso Geomtrica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19 Frmula do Termo Geral de uma Progresso Geomtrica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21 Interpolao Geomtrica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21 Soma dos Finitos Termos de uma PG . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22 Soma dos Innitos Termos de uma PG Decrescente . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
Interpolao Aritmtica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
Tema 2: Sries Numricas e de Funes

2.1 2.2
24
Sries Numricas e a Seqncia das Somas Parciais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25 Convergncia das Sries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28 2.2.1 2.2.2 2.2.3 2.2.4 2.2.5 2.2.6 2.2.7 2.2.8 2.2.9 A Srie Geomtrica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29 O Teste da Divergncia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30 O Teste da Comparao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31 O Teste da Comparao por Limite . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32 O Teste da Integral . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33 As p -Sries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33 A Convergncia de uma p -Srie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34 Sries Absolutamente Convergentes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34 O Teste da Raiz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
2.2.10 O Teste da Razo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36 2.2.11 O Teste de Leibnitz e a Convergncia das Sries Alternadas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37 2.3 2.4 2.5 Srie de Funes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38 2.3.1 2.4.1 2.5.1 O Critrio de Weierstrass . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39 A convergncia de uma Srie de Potncias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39 Uma Pequena Biograa de Brook Taylor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
CLCULO III
Sries de Potncias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39 Sries de Taylor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
Bloco 2: EDO e Aplicaes

Tema 3: Equaes Diferenciais Ordinrias de Primeira Ordem
3.1 3.2 3.3 3.4 Introduo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Equaes Diferenciais Ordinrias a Variveis Separveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Equaes Diferenciais Ordinrias Homogneas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3.3.1 Resoluo de uma EDO Homognea de Primeira Ordem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
47
47
47 51 52 53 53 55 56 56 58 59 59 61
Equaes Diferenciais Exatas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3.4.1 Mtodo de Resoluo para uma EDO Exata . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3.5 Fator Integrante . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3.5.1 Determinao do Fator Integrante . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3.6 Trajetrias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3.7 Equaes Diferenciais Ordinrias Lineares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3.7.1 Mtodo do Fator Integrante . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3.8 Um Pouco da Histria e da Filosoa Desenvolvida Paralelamente s EDO . . . . . . . . . . . . . . . . . . . . .
Tema 4: EDO de Segunda Ordem e algumas aplicaes s diversas reas

4.1 Introduo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4.1.1 Funo de Duas Variveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4.1.2 Dependncia Linear de Funes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4.2 EDO Homognea com Coecientes Variveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4.3 EDO Homognea com Coecientes Constantes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4.4 EDO No-Homognea com Coecientes Variveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Referncias Bibliogrcas Atividade Orientada 5.1 Etapa 1. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5.2 Etapa 2. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5.3 Etapa 3. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
63
63 63 63 63 64 67 79 1 1 2 4
FTC EaD | LICENCIATURA EM MATEMTICA
A PRESENTAO
DA
D ISCIPLINA
Caro aluno,
Dois grandes aspectos sero tratados aqui. O estudo das sries e o das equaes diferenciais ordinrias. Depois de termos j estudado uma boa parte das disciplinas vistas no seu curso de licenciatura, em especial a de Clculo I e a de Clculo II, temos condies, mais do que sucientes, de enveredarmos nesses tpicos. A cincia e o mundo moderno nada seriam sem os avanos tericos no estudo das sries e das equaes diferenciais os quais esta se fundamentou. Como exemplo, cito: as engenharias, a biologia, a qumica e a fsica. Tais aplicaes sero aqui abordas. No tema 1, estudaremos as seqncias numricas e a convergncia, em especial as progresses aritmticas e geomtricas, to importantes no ensino mdio. No tema 2, estudaremos as sries de potncias e a de funes, chamando a ateno para o aspecto de maior relevncia: a convergncia destas. No tema 3, antes de apresentaremos as principais equaes diferenciais ordinrias de primeira ordem e os mtodos de resoluo destas, veremos um dos principais resultados os quais se baseiam aqueles que utilizam a matemtica aplicada: o teorema da existncia e unicidade de solues. Finalizando, as equaes diferenciais ordinrias de segunda ordem, os processos de obteno das suas solues e algumas aplicaes em reas especicas da cincia. O estudo a distncia feito com base no estudante. Aqui o material apresenta a teoria de modo didtico. Faa uma leitura de efeito, ou seja, com ateno e muita pacincia, de modo que, todo conceito aqui escrito possa ser compreendido e assimilado. Agradecemos a ajuda de todos os professores que, exerceram, de algum modo, inuncia na construo desse material e, tambm, aos alunos leitores que nos ajudaro, continuamente, a aprimor-lo. Desejamos uma boa leitura, e que Deus nos abenoe nesta caminhada.
Prof. Fbio Santos Rodrigues. Prof. Paulo Henrique Ribeiro do Nascimento.
BLOCO 01
Seqncias e Sries Numricas Seqncias Numricas
TEMA 01
Apresentao
Deniremos seqncias de nmeros reais, e uma analogia entre o limite de uma funo e a convergncia de uma seqncia ser feita. Alm disso, alguns dos resultados obtidos para limites sero, tambm, tratados no estudo das seqncias. Por exemplo, a regra de LHospital.
Introduo
Pensemos no seguinte problema: De posse de uma frmula que calcula a rea An , n 3 de um polgono regular de n lados, inscrito numa circunferncia de raio r , o que acontece com sua rea, medida que o nmero de lados crescem indenidamente? O que voc pode observar na gura a seguir?
A3
A4
A5
A6
A12
Observa-se que, medida que aumentamos o valor de n, ca evidente que a rea An do polgono inscrito car cada vez mais prxima da rea do crculo, ou seja, como n representa o nmero de lados do polgono, A3 , A4 , A5 , A6 , . . . , representam uma sucesso de valores que tendem ao valor da rea do crculo A0 . Duas idias, aqui, foram apresentadas: a de sucesso de innitos valores e a de aproximao destes valores de um outro. Vamos entender algebricamente, como o processo de aproximao funciona. Porm, antes, formalizemos o nosso objeto de estudo.
1.1
Seqncias Numricas
Uma seqncia numrica , informalmente, uma sucesso innita de nmeros chamados termos. Entendese que os termos tm uma ordem denida. Portanto, o primeiro termo pode ser representado por a1 ; o segundo por a2 , e assim por diante. As reticncias (. . . ) sero usadas para indicar que a seqncia possui quantidade indenida de termos. Veja, a seguir, esta denio escrita de maneira formal. 1.1 Denio. Uma seqncia numrica real uma funo que associa um nmero natural n 1 a um nmero real an . Em smbolos:
a:N n
6
R an
Utilizaremos, para representar uma seqncia numrica a, a notao (an ) , ou, simplesmente, (an ), em n=1 que o nmero n chamado de ndice da seqncia, e an o n-simo termo ou termo geral. Exemplo 1.1. A seqncia dos nmeros 1. pares: (an ) = (2n 2) = (0, 2, 4, . . . , 2n, . . .); 2. mpares: (an ) = (2n 1) = (1, 3, 5, . . . , 2n 1, . . .); 3. primos: (an ) = (2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, . . .); 4. naturais: (an ) = (n), n N; 5. inversos dos naturais: (an ) = 6. (an ) = 7. (an ) = (1)n+1 n 1 n 1 1 = 1, , , . . . ; 2 3
1 1 1 1 = 1, , , , , . . . 2 3 4 5 1 2 3 4 , , , ,... 2 3 4 5
n n+1
8. (an ) = (1 + (1)n ) = (0, 2, 0, 2, 0, 2, . . .) 9. (an ) = 2n n! 4 2 4 = 2, 2, , , , . . . 3 3 15
Nota 1. Com os exemplos vistos anteriormente, podemos observar que: 1. Dada uma seqncia, nem sempre podemos determin-la por uma lei de formao (veja o exemplo da seqncia dos nmeros primos), ou seja, nem sempre podemos determinar o termo geral; 2. Existem seqncias que, a partir de um certo elemento, os demais se aproximam de um determi1 nado nmero real, medida que os valores de n crescem. o caso da seqncia (an ) = , n onde, medida que os valores de n crescem, os valores de an se aproximam do valor 0.
1.2
Convergncia de Seqncias
Lembra-se da idia de que os valores das reas dos polgonos inscritos numa circunferncia se aproximam 1 da rea do crculo, medida que os valores de n crescem? E da seqncia (an ) = , cujos valores de an se n aproximam do valor 0? Vemos, nestes exemplos, que as seqncias possuem termos que se aproximam de um determinado valor. Como vericar se uma outra seqncia (an ) qualquer possuem termos que se aproximam de um valor a0 ? Os casos exemplicados motivam a formalizar a idia de seqncia convergente. 1.2 Denio. Seja (an ) uma seqncia numrica. Dizemos que (an ) converge para um nmero real L quando, dado > 0, existe n0 N tal que n n0 = |an L| < . Notao: an L ou lim an = L.
n
Nota 2. A proximidade entre dois nmeros reais, no conceito de convergncia aqui inserido, dado pelo mdulo da diferena entre eles, isto : a, b R; d (a, b ) = |b a|.
CLCULO III
A idia, portanto, de uma seqncia convergente que, partindo-se de um certo ndice n0 , os termos an esto bem prximos de uma determinada constante a. Nota 3. importante observar que, dado > 0, o ndice n0 ser determinado a partir dele, ou seja, o ndice ser interpretado como uma funo de . ER 1.1. Prove que
n 1. n+1
Soluo: Dado > 0, teremos que |an 1| < Assim, dado > 0, existe n0 >
1 n 1 1 < 1 = < n > 1. n + 1 n+1 n+1
1 1 tal que n n0 |an 1| < . Para, realmente, vermos que n0 depende de , vamos tomar valores para este ltimo e observar como 1 1 car o ndice. Por exemplo, tome = e teremos que n0 = 9, enquanto que para = teremos que 10 100 n0 = 99.
1.3
Seqncias Limitadas
Um dos principais resultados da teoria de seqncias ser abordado nesta seo. Porm, necessitaremos, antes, da denio de seqncia limitada. 1.3 Denio. Uma seqncia (an ) limitada quando existe um nmero real M > 0 tal que |an | M , para todo n inteiro positivo. Em outras palavras, o conjunto dos termos da seqncia um conjunto limitado se existe um valor M tal que todos os seus elementos esto no intervalo [M , M ]. Podemos, ainda, dizer que uma seqncia limitada quando existem nmeros reais A e B , tais que A an B , para n inteiro positivo. O nmero A chamado de limite inferior, caso ele seja o maior nmero tal que A < an , para todo n; e B chamado de limite superior, caso ele seja o menor nmero tal que an < B , n. 1 1 1 1 1 = 1, , , , , . . . limitada. De fato, se zermos M = 1, n 2 3 4 5 observa-se, claramente, que os seus termos estaro sempre no intervalo [1, 1]. Exemplo 1.2. A seqncia (an ) =
11 1 54 3
1 2
Podemos observar, neste exemplo, atravs da gura, que os seus limites inferior e superior so, respectivamente, os nmeros 0 e 1. O resultado a seguir um dos grandes para o estudo da convergncia de seqncias. Ele bastante utilizado nas demonstraes de outros teoremas consagrados. 1.4 Proposio. Toda seqncia convergente limitada. Prova: Seja (an ) uma seqncia tal que an L. Assim, pela prpria denio, dado > 0, n0 N tal que n n0 |an L| < L < an < L + . 8
Tome A = {a1 , . . . , an0 , L , L + } e considere 1 = min A, 2 = max A. Logo, 1 an 2 . Portanto, a seqncia limitada. 2 Uma das aplicaes da proposio 1.4 o fato de que seqncias ilimitadas no podem ser convergentes. Por exemplo, a seqncia (an ) = (n), n N. Nota 4. A recproca do lema 1.4 no verdadeira. Para vericar este fato, basta considerarmos a seqncia alternada (0, 1, 0, 1, 0, 1, 0, 1, . . .), a qual divergente e limitada. Porm, temos um resultado que garante a convergncia de um determinado tipo de seqncia limitada. Para isto, deniremos que uma seqncia montona.
Propriedades
Sejam (an ) e (bn ) seqncias numricas, tais que an L1 e bn L2 . Ento: 1. an + bn L1 + L2 ; 2. can cL1 , c R; 3. an bn L1 L2 ; 4. Se L2 = 0 teremos que 5. |an | |L1 |; 6. Se f uma funo contnua real, ento f (an ) f (L1 ). Prova: (1) Como an L1 e bn L2 , temos que > 0, n1 , n2 N, tais que: n n1 , n n2 |an L1 | < Tome n0 = max{n1 , n2 } e, claramente, obtemos: n n0 |(an + bn ) (L1 + L2 )| = < < Portanto, an + bn L1 + L2 . (2) Deixamos a cargo do leitor. (3) Como (bn ) uma seqncia convergente, temos que ela limitada, e, desta maneira, existe um nmero real M > 0 tal que |bn | M , n N. Como an L1 e bn L2 , temos que > 0, n1 , n2 N, tais que e |bn L2 | < . (M + |L1 |) (M + |L1 |) |(an + L1 ) + (bn L2 )| |an L1 | + |bn L2 | + = . 2 2 e |bn L2 | < . 2 2
L1 an ; bn L2
n n1 , n n2 |an L1 | <
Tome n0 = max{n1 , n2 }. Da, |an bn L1 L2 | = |an bn bn L1 + bn L1 L1 L2 | = |(an L1 )bn + (bn L2 )L1 | < |an L1 ||bn | + |bn L2 ||L1 | < M+ |L1 | = . (M + |L1 |) (M + |L1 |) (4) Deixamos a cargo do leitor.
CLCULO III
(5) Basta observar que ||x | |y || |x y |. (6) Seja > 0. Como f contnua, segue, por denio, que para cada a R, existe > 0 tal que |x a| < |f (x ) f (a)| < . Por outro lado, como an L1 , temos que existe n0 tal que n n0 |an L1 | < . Dos fatos supracitados, conclumos que n0 tal que n n0 |an L1 | < |f (an ) f (L1 )| < . 2
1.4
Seqncias Montonas
Faamos uma pequena observao antes de falarmos sobre a monotonicidade das seqncias numricas. Nota 5. Dada uma seqncia numrica (an ) temos que: o termo sucessor ao termo geral an o termo an+1 ; o termo antecessor ao termo geral an o termo an1 . Observe, aqui, as relaes existentes entre sub-ndices dos termos! Agora, observe o comportamento das seqncias: (a) 1 1 n 1 2 3 4 = 0, , , , , . . . 2 3 4 5 (b) 1 n2 1 1 1 = 1, , , , . . . 4 9 16 (c) (1, 1, 1, 1, 1, . . .)
Na primeira destas, dizemos que a seqncia crescente ou estritamente crescente, pois podemos observar que os seus termos esto cada vez maiores: 2 1 3 2 4 3 1 > 0, > , > , > . . . . 2 3 2 4 3 5 4 Conra, isto, utilizando uma mquina, caso necessrio! Em outras palavras, uma seqncia crescente quando qualquer termo selecionado menor que o seu sucessor. Simbolicamente, temos an < an+1 . Na segunda, dizemos que a seqncia decrescente ou estritamente decrescente, pois observamos que os seus termos esto cada vez menores, medida que os termos avanam. De fato, os denominadores das respectivas fraes aumentam. Sendo assim, 1 1 1 1 1 < 1, < , < ,.... 4 9 4 16 9 Se necessrio, utilize uma mquina para vericar essas desigualdades! Em outras palavras, uma seqncia decrescente quando qualquer termo selecionado maior que o seu sucessor. Simbolicamente, temos an > an+1 . J na terceira, os termos da seqncia so sempre os mesmos e a chamamos de seqncia constante. Simbolicamente, podemos escrever an = an+1 . Outros comportamentos so constatados para os termos de uma seqncia. Dizemos que uma seqncia : no-decrescente: se seus termos crescem ou permanecem constantes; no-crescente: se seus termos decrescem ou permanecem constantes. 10
Nota 6. O conjunto das seqncias: crescentes est contido no conjunto das no-decrescentes; decrescentes est contido no conjunto das no-crescentes; constantes est contido tanto no conjunto das no-decrescentes quanto das no-crescentes. J temos, agora, condies de entender o conceito de seqncia montona. 1.5 Denio. Dizemos que uma seqncia montona quando ela no-crescente ou no-decrescente. Simbolicamente, (an ) montona quando an an+1 ou an an+1 . Exemplo 1.3. As seqncias (an ) = (n), n N e (an ) = 1 n 1 1 = 1, , , . . . so exemplos de montonas. 2 3
Nota 7. As seqncias no montonas so chamadas oscilantes. Em outras palavras, so aquelas que no apresentam comportamento somente no-crescente, no-decrescente ou constante. Exemplo 1.4. A seqncia (an ) = ((1)n n), n N, um exemplo de oscilante. Nota 8. Numa seqncia crescente, o primeiro termo o seu limite inferior, enquanto que, numa seqncia decrescente, ele ser o limite superior. Outro importante resultado visto a seguir, onde, a condio da seqncia ser montona e limitada suciente, mas no necessria, para ser convergente. 1.6 Proposio. Toda seqncia montona e limitada convergente. Prova: Seja (an ) uma seqncia crescente e limitada. Assim, a seqncia (an ) possui um supremo S e, conseqentemente, teremos que: (i) an S , para todo n. (ii) > 0, n0 ; S an0 . Como a seqncia crescente temos que n n0 S an S < S + |an S | < . Portanto, an S . Nota 9. Uma seqncia convergente pode no ser montona. Um exemplo interessante a seqncia (1)n+1 . (an ) = n Nota 10. Uma seqncia montona pode ser divergente, por exemplo (an ) = (n!). Nota 11. Uma seqncia limitada pode ser divergente. Por exemplo, (an ) = (1)n , pois, claramente, os pontos dela esto alternando, o que impede que a seqncia tenha um limite.
1.5
Subseqncias
Depois de denirmos o que uma subseqncia, faremos analogias a dois teoremas vistos para o limite de funes e fecharemos com mais alguns critrios de convergncia.
CLCULO III
11
1.7 Denio. Seja S = {n0 , n1 , . . . , nk , . . .}, k N e (an ) uma seqncia. Uma subseqncia de (an ) uma seqncia dada por (ank ). Notao: (ank ). Uma subseqncia , portanto, uma nova seqncia que provem de outra pela eliminao, de maneira ordenada, de alguns termos desta. Exemplo 1.5. As seqncias (an ) = (2n 2) = (0, 2, 4, . . . , 2n, . . .) e (an ) = (2n 1) = (1, 3, 5, . . . , 2n 1, . . .) so exemplos de subseqncias da seqncia (an ) = (n). 1.8 Proposio. Se an L, ento ank L. Prova: Como an L temos que > 0, existe n0 tal que n n0 |an L| < . Observemos que nk k e, portanto, k n0 |ank L| < . Nota 12. Uma importante conseqncia deste lema que o limite de uma seqncia nico. Alm disso, quando uma seqncia admite duas subseqncias convergindo para pontos distintos teremos que essa seqncia divergente.
n+1 , n {2, 4, 6, . . .} n . Observe que as Exemplo 1.6. Considere a seqncia (an ) tal que an = n1 , n {1, 3, 5, . . .} n n1 n+1 subseqncias e convergem para 1 e, alm disso, (an ) converge, tambm, para 1. n n
1.6
Alguns Resultados Importantes
1.9 Proposio. Sejam (an ) e (bn ) seqncias tais que an 0 e (bn ) limitada. Ento, an bn 0. Exemplo 1.7. A seqncia 1 1 cos(n2 + 1) converge para 0, pois | cos(n2 + 1)| 1 e 0. n n
Como uma seqncia um tipo especial de funo, natural questionar a sua diferenciabilidade. Dessa forma, vamos considerar que existe uma funo f tal que f (n) = an e segue, imediatamente, que
x
lim f (x ) = L an L.
1.10 Proposio. Sejam (an ) e (bn ) seqncias tais que an = f (n) e bn = g (n), com f e g funes derivveis, an (an ) L. Ento, L. tais que an ou 0, bn ou 0, e (bn ) bn Nota 13. O lema anterior uma verso da regra de LHospital para seqncias. Exemplo 1.8. Considere a seqncia 1 n 1 e = n , temos que . Como n = 1, [ln(n)] = 1 ln(n) n n
n ln(n)
Uma verso para seqncias do Teorema do Confronto feita pelo teorema a seguir: 1.11 Teorema. Sejam (an ), (bn ) e (cn ) seqncias tais que an cn bn . Se an , bn L, ento cn L. 12
Um Fato Bastante Interessante!

Um das maneiras de denir o nmero de Euler (e ) atravs de seqncias. Por isso, vemos que a 1 n convergente pelo lema 1.2 e denimos que esse limite , justamente, o seqncia an = 1 + n nmero e . De fato, 1 ln 1 + n = lim 1 n n 1 n
n
lim ln 1 +
1 n
= lim n ln 1 +
n
1 n
1 2 1 n 1+ n = lim 1 n 2 n
=1
Logo,
n
lim
1+
=e
O prximo resultado pode ser interpretado como sendo a mdia aritmtica de uma seqncia que converge para o mesmo limite da seqncia analisada. 1.12 Teorema. Se a seqncia (an ) converge para L, ento
a1 + a2 + . . . + an n
L.
Prova: Como lim an = L temos, pela denio, que para qualquer > 0, existe n0 tal que n n0 n |an L| < . Logo, 2 + ...+ an +1 + . . . + an 2 = n n0 < . 0 < 2 n n n 2 2 Por outro lado, a1 , . . . , an0 uma quantidade nita de nmeros reais e, segue, imediatamente, que a1 + . . . + an a1 + . . . + an 0 0 = 0. Assim, existe n1 tal que n n1 lim < . n n n 2 a1 + . . . + an a + . . . + an an0 +1 + . . . + an 0 = 1 < Tomemos n2 = max{n0 , n1 }. Segue que + n n n a1 + . . . + an an +1 + . . . + an a1 + a2 + . . . + an 0 < + = . Portanto, bn = L. + 0 n n 2 2 n ER 1.2. Prove que n n 1. Soluo: Observemos que lim an = lim n n = 1 que se trata de uma indeterminao. Ento, vamos n n 1 procurar uma funo contnua e aplicar a propriedade 6, com o objetivo de abaixar o expoente . Sendo n assim, o leitor perceber que a funo que se encaixa melhor a logartmica natural. Seja f (x ) = ln(x ) e segue que lim ln(an ) = ln
n n
1
lim an . Logo,
lim ln n
1 n
1 ln(n) = lim n = 0. = lim n 1 n n

n n
Contudo, a funo logartmica natural bijetora, ou seja, lim ln(an ) = 0 = ln ER 1.3. Estude o comportamento das seqncias abaixo: 1 1 1 (a) (an ) = 1, , 3, , 5, , . . . (b) (an ) = 2 4 6
lim an lim an = 1.
n
3n 3 + 1 2n 3 + 2
Soluo: (a) A seqncia admite uma subseqncia convergindo para zero, porm, existe uma outra subseqncia divergente. Portanto, (an ) divergente. 1 lim 3 + n3 3 + 3 3n 3 + 1 n n = lim (b) lim = 1 n 3 n 2n3 + 1 n 2+ 3 lim 2 + n n 1 n3 1 n3
3 . 2
CLCULO III
13
ER 1.4. Mostre que
6+
6+
6 + = 3.
Soluo: A idia, aqui, a de construir uma seqncia para depois vericar a sua convergncia. Tomemos a0 = 6 e an = 6 + an1 . Vamos supor que an L e, logo, an1 L por se tratar de uma subseqncia. Assim,
L = lim an = lim
n
6 + an1 =
lim (6 + an1 ) =
6 + L.
Segue que, L2 = 6 + L L = 3 ou L = 2. Como an uma seqncia de termos positivos teremos que L = 3.
Exerccios Propostos
EP 1.5. Estude a convergncia das seqncias abaixo:
n+1 (b) (an ) = 3n 1 3 + 5n 2 (c) (an ) = n + n2 n (d) (an ) = 1+ n
(a) (an ) = n(n 1)
2n 3n+1 n (f) (an ) = 1+ n (e) (an ) = (g) (an ) = 2 + cos (n) (h) (2, 7, 12, 17, . . .)
EP 1.6. Determine se as seqncias dadas so crescentes ou decrescentes. (a) (an ) = 1 ; 5n (b) (an ) = 1 ; 2n + 3 (c) (an ) = 2n 3 . 3n + 4
EP 1.7. Considere a seqncia (an ) tal que an L. Mostre que:
cn =
EP 1.8. Calcule o limite da seqncia: 3,
n a 1 a 2 . . . a n L.
3 3,
3 3, . . . .
1.7
Outras Seqncias Numricas, Notveis e Importantes para o Ensino Mdio
1.7.1
A Progresso Aritmtica
Consideremos a seqncia (2, 4, 6, 8, 10, 12, 14, . . .). Observamos que, a partir do segundo termo, a diferena entre qualquer termo e seu antecessor sempre a mesma: 4 2 = 6 4 = 10 8 = 14 12 = 16 14 = 2. Seqncias como esta so denominadas progresses aritmticas (PA). A diferena constante chamada de razo da progresso e costuma ser representada por r . Na P.A. dada, temos r = 2. Podemos, ento, dizer que: 14
1.13 Denio. Uma progresso aritmtica uma seqncia numrica (an ) em que cada termo, a partir do segundo, igual soma do termo anterior com uma constante r , ou seja, an = an1 + r . O nmero r chamado de razo da progresso aritmtica. Vejamos alguns exemplos de progresses aritmticas: Exemplo 1.9. (5, 9, 13, 17, 21, 25, . . .) uma PA em que a1 = 5, r = 4 e an = a1 + (n 1) r ;
Progresso Aritmtica Crescente Uma progresso aritmtica crescente toda progresso aritmtica em que cada termo, a partir do segundo, maior que o termo que o antecede, sendo que, para isso, a razo r tem que ser sempre positiva e diferente de zero. Exemplo 1.10. So progresses aritmticas crescentes: (2, 4, 6, 8, 10, 12, 14, . . .) - razo r = 2; (3, 6, 9, 12, 15, 18, 21, . . .) - razo r = 3;
Progresso Aritmtica Decrescente Uma progresso aritmtica decrescente toda progresso aritmtica em que cada termo, a partir do segundo, menor que o termo que o antecede, sendo que para isso a razo r tem que ser sempre negativa e diferente de zero. Exemplo 1.11. So progresses aritmticas decrescentes: (8, 6, 4, 2, 0, 2, 4, 6, 8, . . .) - razo r = 2; (9, 6, 3, 0, 3, 6, 9, 12, . . .) - razo r = 3;
Progresso Aritmtica Constante Uma progresso aritmtica constante toda progresso aritmtica em que todos os termos so iguais, sendo que, para isso, a razo r tem que ser sempre igual a zero. Exemplo 1.12. So progresses aritmticas constantes: (1, 1, 1, 1, 1, 1, . . .) - razo r = 0; (0, 0, 0, 0, 0, 0, . . .) - razo r = 0; Resumindo, podemos constatar que uma progresso aritmtica
CLCULO III
15
crescente, se r > 0; decrescente, se r < 0; constante, se r = 0.
1.7.2
Propriedades de uma PA
1.14 Proposio. Numa PA, qualquer termo, a partir do segundo, a mdia aritmtica do seu antecessor e do seu sucessor. Exemplo 1.13. Consideremos a PA (4, 8, 12, 16, 20, 24, 28) e escolhamos trs termos consecutivos quaisquer. Por exemplo: 8, 12 e 16 ou 20, 24 e 28. Observe que o termo mdio sempre a mdia aritmtica dos outros dois termos. De fato, 8 + 16 20 + 28 = 12 e = 24. 2 2 1.15 Proposio. Ao selecionarmos uma quantidade mpar e sucessiva de termos de uma PA, o termo do meio (mdio) a mdia aritmtica do primeiro termo e do ltimo termo. Exemplo 1.14. Consideremos os termos (3, 6, 9, 12, 15, 18, 21) de uma PA, observamos que o termo mdio 3 + 21 . 12 e que 12 = 2 1.16 Proposio. Ao selecionarmos uma determinada quantidade sucessiva de termos de uma PA, a soma de dois termos eqidistantes dos extremos desta seleo igual soma dos extremos. Exemplo 1.15. Consideremos os termos (3, 7, 11, 15, 19, 23, 27, 31) de uma PA e observe que: 7 11 15 e, ainda, que 7 + 27 11 + 23 15 + 19 = 34 = 34 = 34 e e e 3 23 19 so os termos eqidistantes dos extremos 3 e 31
1.7.3
Frmula do Termo Geral de Uma Progresso Aritmtica
1.17 Proposio. A frmula do termo geral de uma progresso aritmtica expressa por:
an = a1 + (n 1) r .
Prova: Sabemos que o valor de qualquer termo igual ao anterior mais a constante, ou seja,
an = an1 + r , n 2.
16
Sendo assim,
a2 a3 a4
= a1 + r = a2 + r = (a1 + r ) + r = a1 + 2 r = a3 + r = (a1 + 2 r ) + r = a1 + 3 r . . . = a1 + (n 1) r
an
ER 1.9. Determine o trigsimo quarto termo da PA (3, 9, 15, . . .) Soluo: Temos que a1 = 3 e a2 = 9. Logo, r = a2 a1 = 9 3 = 6. Portanto,
a34 = a1 + 33 r = 3 + 33 6 = 201.
ER 1.10. Determine o dcimo oitavo termo da PA, na qual a3 = 8 e r = 2. Soluo: Temos que an = ak + (n k ) r . Portanto,
a18 = a3 + (18 3) (2) = 8 + 15 (2) = 22.
Interpolao Aritmtica a ao de inserir ou interpolar uma quantidade de meios aritmticos entre extremos de uma progresso aritmtica. A frmula utilizada :
an = ak + (n k ) r .
ER 1.11. Interpole 3 meios aritmticos entre 2 e 18. Soluo: Devemos formar (2, , , , 18), em que: a1 = 2, a5 = 18. Para interpolarmos os trs
termos, devemos determinar primeiramente a razo da PA. Como an = ak + (n k ) r , podemos escrever:
r=
Assim, temos que r =
an ak nk
18 2 = 4. Logo, temos (2, 6, 10, 14, 18) 51
1.7.4
Soma dos Finitos Termos de uma Progresso Aritmtica
1.18 Proposio. A soma dos n primeiros termos de uma progresso aritmtica calculada pela seguinte frmula:
Sn =
e a soma dos termos entre ap e aq :
n (a1 + an ) 2
S(p,q) =
(q p + 1) (ap + aq ) 2
CLCULO III
17
Prova: Temos que
Sn Sn
= =
a1 + (a1 + r ) + (a1 + 2r ) + . . . + (a1 + (n 2)r ) + (a1 + (n 1)r )

(an (n 1)r ) + (an (n 2)r ) + . . . + (an 2r ) + (an r ) + an
Adicionando-se estas equaes, camos com: 2Sn = n(a1 + an ) Dividindo-se ambos os membros por 2
Sn =
Como an = ak + (n k ) r , temos:
n (a1 + an ). 2
ap = a1 + (p 1) r aq = an + (q n) r
Segue que ap + aq = a1 + an + (p + q n 1) r . Para p + q = n + 1, temos que ap + aq = a1 + an . Portanto,
n p+q1 (a1 + an ) = (ap + aq ) = S(p,q) . 2 2

Observe, aqui, que utilizada uma propriedade das progresses aritmticas: a soma dos termos dos extremos igual soma dos termos eqidistantes deles. ER 1.12. Calcule a soma dos 50 primeiros termos da PA (2, 6, 10, . . .). Soluo: Em primeiro lugar, devemos sempre identicar qual o primeiro termo da PA, que no exemplo em questo a1 = 2 a razo obtida pela diferena r = a2 a1 = 6 2 = 4. Para encontrar a soma devemos determinar o a50 ). Assim,
a50 = a1 + 49 r = 2 + 49 4 = 2 + 196 = 198.

Aplicando a frmula da soma dos elementos de uma PA, temos:
S50 = (a1 + a50 )
50 50 = (2 + 198) = 200 25 = 5.000 2 2
Logo, a soma dos 50 primeiros nmeros 5.000. ER 1.13. Um ciclista percorre 20km na primeira hora; 17km na segunda hora, e, assim por diante, em progresso aritmtica. Quantos quilmetros percorrer em 5 horas? Soluo: Neste exemplo, a progresso aritmtica (20, 17, 14, . . .) e, desta forma, o primeiro elemento a1 = 20. Subtraindo elementos consecutivos, encontramos a razo da PA, que, neste caso, :
r = a2 a1 = 17 20 = 3
Para podemos achar quantos quilmetros ele percorrer em 5 horas, devemos somar os 5 primeiros termos da PA e, para isto, precisamos do elemento a5 . Dessa forma:
a5 = a1 + 4r = 20 + 4 (3) = 20 12 = 8 n 5 = (20 + 8) = 14 5 = 70, conclumos que o valor procurado 70km. 2 2 Logo, ele percorreu em 5 horas 70km.
Aplicando a frmula Sn = (a1 + an ) 18
1.7.5
Progresso Geomtrica
Veja a sucesso de nmeros abaixo: (5, 10, 20, 40, 80, 160, 320, . . .) Observe que cada nmero o dobro do nmero que vem antes. Veja: 10 20 40 80 160 o dobro de o dobro de o dobro de o dobro de o dobro de . . . 5 10 20 40 80
Se pegarmos qualquer um dos nmeros desta sucesso e dividi-lo pelo nmero que o antecede, obteremos sempre o mesmo quociente. O que podemos dizer a respeito da armao? (a) Nada se pode dizer a respeito. (b) Trata-se de uma Progresso Aritmtica. (c) falsa. (d) verdadeira. Claro que a resposta a opo (d ). Uma progresso geomtrica (PG) uma seqncia numrica (an ) em que cada termo, a partir do segundo, igual ao produto do termo anterior por uma constante q . O nmero q chamado de razo da progresso geomtrica. Portanto, a razo de uma PG obtida pelo quociente entre um de seus termos por seu antecessor, ou seja,
a3 a4 an a2 = = = ... = = . . . = q. a1 a2 a3 an1
Quanto ao aspecto de monotonia, uma PG pode ser: oscilante, crescente, decrescente, constante e quase nula.
Progresso Geomtrica Crescente Uma progresso geomtrica crescente toda progresso geomtrica em que cada termo, a partir do segundo, maior que o termo que o antecede, sendo que, para isso, a razo q tem que ser sempre positiva e diferente de zero. Exemplo 1.16. So progresses geomtricas crescentes: (1, 2, 4, 8, 16, 32, 64, 128, 256, 512, 1024, 2048, 4096, . . .) - razo q = 2; (2, 6, 18, 54, 162, 486, 1458, 4374, 13122, . . .) - razo q = 3; (5, 25, 125, 625, . . .) - razo q = 5.
CLCULO III
19
Progresso Geomtrica Decrescente Uma progresso geomtrica decrescente toda progresso geomtrica em que cada termo, a partir do segundo, menor que o termo que o antecede, sendo que, para isso, a razo q tem que ser sempre positiva e diferente de zero. Exemplo 1.17. So progresses geomtricas decrescentes:
(1, 2, 4, 8, 16, 32, 64, 128, 256, 512, 1024, 2048, 4096, . . .) - razo q = 2; (8, 4, 2, 1, 1/2, 1/4, 1/8, 1/16, 1/32, 1/64, 1/128, . . .) - razo q = (2, 4, 8, 16, . . .) - razo q = 2. 1 ; 2
Progresso Geomtrica Constante Uma progresso geomtrica constante toda progresso geomtrica em que todos os termos so iguais, sendo que para isso a razo q tem que, caso a1 diferente de 0 (zero), ser sempre 1 ou 0. Exemplo 1.18. So progresses geomtricas constantes: (1, 1, 1, 1, 1, 1, 1, 1, 1, . . .) - razo q = 1; (0, 0, 0, 0, 0, 0, 0, 0, 0, . . .) - razo q nula ou indeterminada (3, 3, 3, 3, . . .) - razo q = 1.
Progresso Geomtrica Oscilante Uma progresso geomtrica oscilante (ou alternante) toda progresso geomtrica em que todos os termos so diferentes de zero e dois termos consecutivos tm sempre sinais opostos, sendo que, para isso, a razo q tem que ser sempre negativa e diferente de zero. Exemplo 1.19. So progresses geomtricas oscilantes: (3, 6, 12, 24, 48, 96, 192, 384, 768, . . .) - razo q = 2; (1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, . . .) - razo q = 1. Resumindo, podemos constatar que uma progresso aritmtica crescente, se para todo n > 1: q > 1 e an < an+1 . decrescente, se para todo n > 1: 0 < q < 1 e an > an+1 . constante, se para todo n > 1: q = 1 e an = an+1 . alternada, se para todo n > 1: q < 0. 20
1.7.6
Frmula do Termo Geral de uma Progresso Geomtrica
E se quisssemos obter o oitavo termo da PG (5, 10, 20, 40, 80, 160, 320, . . .)? Certamente, faramos 320 2 = 640. Mas como faramos se tivssemos que calcular o termo a21 ? Teramos que multiplicar por 2 o termo 640 e o resultado deste produto, multiplicaramos, novamente, por dois, num processo recursivo que s cessaria quando chegssemos a a2 0 2? Certamente no, isso muito trabalhoso e deve existir algo mais simples. Vejamos:
a2 = a1 q a3 = a2 q = a1 q q = a1 q 2 a4 = a3 q = a1 q 2 q = a1 q 3 an = an1 q = a1 q n2 q = a1 q n1
. . .
Sendo assim, a frmula do termo geral de uma progresso geomtrica (an ) expressa por:
an = a1 q n1 ,
onde a1 o primeiro termo; q a razo, e n o nmero de termos. De modo geral, o n-simo termo pode ser calculado a partir do m-simo termo, simplesmente, por:
an = am q n m .
Voltando ao problema de calcular o termo a21 da PG (5, 10, 20, 40, 80, 160, 320, . . .). Veja que ele reduziu-se utilizao de uma simples frmula. De fato,
a21 = a1 q 20 = 5 220 .
Nota 14. A semelhana entre as progresses aritmticas e as geomtricas , aparentemente, grande. Porm, encontramos a primeira diferena substancial no momento de sua denio. Enquanto as progresses aritmticas formam-se adicionando-se uma mesma quantidade de forma repetida; nas progresses geomtricas, os termos so gerados pela multiplicao, tambm repetida, por um mesmo nmero. As diferenas no param a. A velocidade com que as progresses crescem ou diminuem conseqncia direta do valor absoluto das suas razes.
1.7.7
Interpolao Geomtrica
Interpolar n 2 meios geomtricos entre dois nmeros dados a1 e an , signica obter uma PG com n termos de uma PG, cujos extremos so a1 e an , sendo que a1 o primeiro termo da PG e an o n-simo termo da PG. Para realizar a interpolao geomtrica, basta determinar a razo da PG. ER 1.14. Interpolar cinco meios geomtricos entre 3 e 192. Soluo: Basta fazermos a1 = 3, an = 48. Como so 5 meios geomtricos, temos que n = 7 e, para obter a razo da PG, temos que a7 = a1 q 6 . Logo, 192 = 3q 4 . Segue que q 6 = 64. Assim, q = 2. Temos, ento, que os 7 termos da PG so: (3, 6, 12, 24, 48, 96, 192).
CLCULO III
21
1.7.8
Soma dos Finitos Termos de uma PG
1.19 Proposio. A soma dos n primeiros termos de uma PG (an ) dada por:
Sn =
a1 (q n 1) . q1
Prova: Seja Sn = a1 + a2 + a3 + . . . + an . Assim,
Sn = a1 + a2 + a3 + . . . + an = a1 + a1 q + a1 q 2 + . . . + a1 q n1
Multiplicando-se esta ltima equao por q , temos:
q Sn = a1 q + a1 q 2 + a1 q 3 + . . . + a1 q n
Segue que,
q Sn Sn
(q 1) Sn
= = =
Sn
a1 (q n 1) (q n 1) a1 q1
(a1 q + a1 q 2 + a1 q 3 + . . . + a1 q n ) (a1 + a1 q + a1 q 2 + . . . + a1 q n1 )
ER 1.15. Calcule a soma dos 12 primeiros termos da PG (1, 2, 4, 8, . . .). 2 = 2. Portanto, 1
Soluo: Observe que neste caso que a1 = 1 e a razo q =
S12 = a1
(q 12 1) (212 1) =1 = 4.096 1 = 4.095 (q 1) 21
1.7.9
Soma dos Innitos Termos de uma PG Decrescente
1.20 Proposio. Se uma PG possui razo 1 < q < 1, a soma de seus innitos termos dada por:
S =
ER 1.16. Resolva a equao: x +
a1 . 1q
x x x x + + + + . . . = 100. 2 4 8 16
1 . Logo, 2
Soluo: Observe que o primeiro membro da equao uma PG, onde a1 = x e q =
x
1 Dessa equao, encontramos x = 50. 1 2
= 100
Exerccios Propostos
EP 1.17. A soma dos innitos termos da PG 22
x x2 x3 , , ,... 2 4 8
igual a
1 . Qual o valor de x ? 10
EP 1.18. Determine o valor de n de modo a tornar a seqncia (2+3n; 5n; 14n) uma progresso aritmtica. EP 1.19. As medidas dos lados de um tringulo retngulo esto em PA de razo 3. Calcule essas medidas. EP 1.20. Determine a condio para que trs nmeros a, b e c estejam, simultaneamente, em progresso aritmtica e em progresso geomtrica. EP 1.21. Determine a soma dos elementos da seqncia numrica innita (3; 0, 9; 0, 09; 0, 009; . . .). EP 1.22. Uma progresso aritmtica e uma progresso geomtrica tm, ambas, o primeiro termo igual a 4, sendo que os seus terceiros termos so estritamente positivos e coincidem. Sabe-se ainda que o segundo termo da progresso aritmtica excede o segundo termo da progresso geomtrica em 2. Ento, determine o terceiro termo das progresses. EP 1.23. A soma dos vinte primeiros termos de uma progresso aritmtica 15. Determine a soma do sexto termo dessa PA, com o dcimo quinto termo. EP 1.24. Um operador de mquina chegou 30 minutos atrasado no seu posto de trabalho, mas como a mquina que ele monitora automtica, comeou a trabalhar na hora programada. (a) Sabendo-se que a mquina produz 10n peas por minuto, em que n o nmeros de minutos, quantas peas a mquina produziu at a chegada do operador? (b) Sabendo-se que depois de uma hora, a mquina produz a mesma quantidade de peas, quantas peas ter feito a mquina ao nal do expediente de quatro horas? EP 1.25. Determine o sexto termo de uma PG, na qual dois meios geomtricos esto inseridos entre 3 e 24, tomados nessa ordem. EP 1.26. Os termos da seqncia (10, 8, 11, 9, 12, 10, 13, . . .) obedecem a uma lei de formao. Se an , em que
n pertence a N, o termo de ordem n dessa seqncia. Determine a30 + a55 .

EP 1.27. Sendo Sn a soma dos termos de uma PA de razo 4, em que a1 = 6, determine n tal que Sn igual a 1.456. EP 1.28. Seja S a soma dos nmeros inteiros positivos menores que 100 e que no so divisveis por 9. 1 Determine o valor de S. 396
Gabarito
1 ; (c) 5; (d) 1; (e) 0; (f) Diverge; (g) Diverge; (h) Diverge. 1.6 (a) Decrescente; (b) Decrescente; (c) Crescente. 1.7 1.8 3 1 10 1031 4(10 1061) 2 . 1.18 . 1.19 9, 12 e 15. 1.20 a = b = c . 1.21 4. 1.22 16. 1.23 1, 5. 1.24 (a) , (b) . 1.25 3. 1.17 11 3 9 9 96. 1.26 59. 1.27 26. 1.28 11. 1.5 (a) Diverge; (b)
CLCULO III
23
TEMA 02
Sries Numricas e de Funes
Sries Numricas
Apresentao
Construiremos, somando-se os termos de uma seqncia numrica, uma outra seqncia, e a sua soma innita daremos o nome de srie numrica. Abordaremos, neste captulo, mais alguns critrios de convergncia, mas agora ser para sries. Assim sendo, o estudante dever tomar cuidado e no usar esses critrios para seqncias.
Breve Histrico
O problema de se somar innitos nmeros surgiu h sculos. Arquimedes (250 a.C.), a m de obter a rea de um segmento parablico, necessitou calcular a soma dos inversos dos quadrados dos naturais, a progresso: 1+ 1 1 1 1 4 + + + + ... = . 4 16 64 256 3
Embora seu clculo no tenha sido feito por processos innitos, que eram mal vistos em seu tempo, este foi um dos primeiros clculos de somas innitas. Por volta de 1.350, utilizando processos innitos, R. Suiseth (mais conhecido como Calculator) resolveu um problema sobre latitude de formas utilizando uma longa prova verbal (desconhecia representao grca) equivalente, matematicamente, ao clculo da soma
n 1 2 3 + + + . . . + n + . . . = 2. 2 4 8 2
Nesta mesma poca, N. Oresme deu a primeira prova que a j conhecida srie harmnica, soma dos inversos dos innitos nmeros naturais no-nulos, era divergente, ou seja, 1 1 1 1 + + + . . . + = +. 2 3 4 n Agrupando os seus termos do seguinte modo = 1 + 2 1 1 + 3 4 + 1 1 1 1 + + + 5 6 7 8 + 1 1 1 + + ...+ 9 10 16 + ...
1 e observando que cada parcela entre parnteses maior ou igual do que , a soma de todas as parcelas 2 1 poderia ser majorada por uma innidade de parcelas iguais a , ou seja, 2 1 + 2 1 1 + 3 4 + 1 1 1 1 + + + 5 6 7 8 + 1 1 1 + + ...+ 9 10 16 + ... 1 1 1 1 + + + + . . . = +. 2 2 2 2
Outros avanos relacionados sries foram obtidos, em 1.668, por J. Gregory e N. Mercator. Eles trabalharam nas chamadas sries de potncias de x . Estas, foram usadas para exprimir funes conhecidas, tais como sen(x ), cos(x ) e tg(x ), dentre outras. 24
1 Gregory utilizou que a rea sob a curva y = obtida atravs da funo arctg(x ). Desse fato, concluiu 1 + x2 que x5 x7 x3 + + ... arctg(x ) = x 3 5 7 Este resultado foi batizado como srie de Gregory. Mercator utilizou que o valor da medida da rea sob a hiprbole y = seguinte expresso ln(1 + x ) = x chamada hoje de srie de Mercator. Em 1.748, L. Euler publicou o texto Introductio in analysin innitorum, em dois volumes. O primeiro deles versava sobre processos innitos, entre os quais sries innitas. Euler era pouco cuidadoso no uso de tais z5 z3 + . . . e de artifcios sries, e as manipulava arriscadamente. Usando a srie da funo sen(z ) = z 3! 5! engenhosos, Euler conseguiu resolver uma difcil questo que J. Bernoulli no tivera sucesso: obteve a soma dos recprocos dos quadrados perfeitos. Aps alguns clculos, Euler obteve que 1 1 1 1 1 + + + + ... = , 2 (2)2 (3)2 (4)2 6 e da concluiu que 1 1 1 2 1 + 2+ 2+ 2 = . 2 1 2 3 4 6 Outros nomes ilustres, no Sculo X I X , compem o cenrio que trata da convergncia das sries numricas e das sries de funes, como Lagrange, Laplace, Dirichlet, Fourier, Cauchy, Bolzano e Weierstrass. 1 , entre 0 e x , ln(1 + x ) e chegou 1+x
x3 x4 x2 + + ... 2 3 4
Introduo
Nos deparamos, diversas vezes, em que um determinado nmero obtido da adio de innitas parcelas. Por exemplo, quando encontramos a frao geratriz de uma dizima peridica ou, ainda, a soma dos innitos termos de uma progresso geomtrica. A questo : quando saberemos que, partindo-se da adio de innitos termos, obteremos uma soma? Veremos, neste tema, quando isso ocorre!
2.1
Sries Numricas e a Seqncia das Somas Parciais
2.1 Denio. [Srie Numrica] A adio dos innitos termos de uma seqncia numrica (an ) chamaremos de srie numrica ou, simplesmente, srie. Em smbolos, temos:
a1 + a2 + . . . + an + . . . =
n=1
an =
n1
an =
an ,
em que an o n-simo termo ou parcela da srie. Portanto, uma srie uma adio de innitos termos de uma seqncia previamente estipulada. Nota 15. Em certos casos podemos tratar de sries em que a primeira parcela parte do a0 . Assim, 1 . denotaremos essa srie por an = an . Por exemplo, a srie numrica n+1 n=0 n0 n0
CLCULO III
25
Exemplo 2.1. (a) (an ) = (n) = 1, 2, 3, 4, . . . 1 2 3 n ) = , , ,... n+1 2 3 4 4 2 4 2n ... (c) (an ) = ( ) = 2, 2, , , n! 3 3 15 (b) (an ) = ( (d) (an ) = ( (1)n+1 1 1 1 ) = 1, , , . . . n 2 3 4 1 1 1 (e) (an ) = ( ) = 1, , , . . . n 2 3
(f) (an ) = (1 + (1)n ) = 0, 2, 0, 2, . . .
2.2 Denio. [Seqncia das Somas Parciais] Dado uma srie numrica
n1
an , formaremos uma seqncia
(sn ), da seguinte forma:
s1 s2 s3
= = = . . . =
a1 a1 + a2 a1 + a2 + a3
= =
s 1 + a2 s 2 + a3
n
sn
a1 + a2 . . . + an
Sn1 + an =
j =1
aj
(sn ) , portanto, a seqncia das somas parciais das parcelas da srie

n1
an .
Observe que o n-simo termo

j =1
aj da seqncia das somas parciais (sn ), representa a soma parcial nos n
primeiros termos da seqncia numrica (an ).
Para Entendermos Melhor!

Exemplo 2.2. Considere a srie
n1
1 . Assim, n(n + 1) 1 2 1 1 + 2 6 1 1 1 + + 2 6 12 1 1 1 1 + + + 2 6 12 20
s1 s2 s3 s3
= = = = . . . =
= = = . . .
2 3 3 4 4 5
Sn
1 1 1 1 + + + ... + 2 6 12 n(n + 1) 1 . n(n + 1)
A seqncia
1 2 3 , , , . . . a das somas parciais da srie 2 3 4
n1
ER 2.1. Encontre a soma da srie numrica

n1
1 . (2n 1) (2n + 1)
26
Soluo: A sua seqncia de somas parciais ser dada por:
s1 s2 s3
= = = . . .
1 3 1 1 + 3 35 2 1 + 5 57 = = . . . 2 5 3 7
Sn
1 2 3 n + + + ... + 3 5 7 2n + 1 1 2 3 , , , . . . ser representada por 3 5 7
Dessa forma, a seqncia de somas parciais de
n1
n . 2n + 1
ER 2.2. Dada a srie numrica

n1
(1 + (1)n ), encontre sua srie de somas parciais.
Soluo: A sua seqncia de somas parciais ser dada por:
s1 s2 s3
= = = . . .
0 0+2 0+2+0 = 2 = 2 . . .
Sn
n 1, se n mpar n,
se n par
Dessa forma, a seqncia de somas parciais de (0, 2, 2, 4 . . .) ser representada por:
Sn =
n 1, se n mpar n,
se n par.
Um Fato Bastante Interessante!

2.3 Proposio. A soma parcial dos n primeiros termos da srie
n1
1 n . n(n + 1) n + 1
Prova: Faremos, por induo nita. Como a seqncia das somas parciais 1 2 3 4 , , , ... , 2 3 4 5 vamos supor que seu n-simo termo
n . Assim, o prximo termo desta : n+1 n 1 n+1 + = . n + 1 (n + 1)(n + 2) n+2
CLCULO III
27
ER 2.3. Atravs da seqncia das somas parciais analise a convergncia da srie: 1 . (n + 1)(n + 2)
n1
Soluo: Observe que

n0
1 = (n + 1)(n + 2)
n1
n 1 = n(n + 1) n+1
1 . (n + 1)(n + 2)
e, para n = 0, temos:
n0
1 1 = + (n + 1)(n + 2) 2
n1
Segue que: 1 1 n + = , 2 n1 (n + 1)(n + 2) n+1 ou seja,

n1
n 1 1 = . (n + 1)(n + 2) n+1 2 n1 1 = . (n + 1)(n + 2) 2(n + 1)
Assim,
n1
Portanto, a srie converge para
n1 . 2(n + 1)
2.2
Convergncia das Sries
Vamos, inicialmente, apresentar uma motivao para o que queremos denir. Considere o seguinte problema: Qual a frao geratriz da dzima 0, 4444444 . . .? Esse problema de fcil soluo: igualamos 0, 4444444 . . . a uma letra x e ao subtrairmos os nmeros 10x e x , nesta ordem, obteremos o que desejamos. De fato, 10x x = 4, 444444 . . . 0, 44444 . . . 9x = 4 x = 4 . 9
Mas, veja s: 0, 444444 . . . pode ser visto como a soma de innitos termos; a saber: 0, 4444444 . . . = 0, 4 + 0, 04 + 0, 004 + . . . e a adio destes innitos termos nos d o valor 4 ! Este fato no o impressiona? 9
2.4 Denio. Considere a seqncia (sn ) das somas parciais de (an ). Diremos que a srie
n1
an converge
para a sua soma S R, se lim sn = S . Neste caso, escreveremos

n
an = S .
n1
Uma srie
n1
an , portanto, convergente, quando os termos da seqncia das somas parciais se aproxi-
mam de um determinado valor S R, medida que os valores de n crescem indenidamente. Assim, a seqncia (0, 4; 0, 4 + 0, 04; 0, 4 + 0, 04 + 0, 004; . . .) convergente e 0, 4 + 0, 04 + 0, 004 + . . . = Exemplo 2.3. A srie do exemplo 2.1 convergente. De fato,
n
4 . 9
lim
n = 1. n+1
28
Nota 16.
1. Diremos que uma srie divergente, caso ela no seja convergente.
2. Utilizaremos, tambm, o smbolo para denotar a convergncia de uma srie.
Propriedades da Convergncia das Sries

1. Seja k R e a srie 2. Sejam
an . Ento,
k an converge
an converge.
Para vericar isso, bastar notar que ka1 + . . . + kan = k (a1 + . . . + an ).
an e
n1
bn sries convergentes. Ento,

n1
(an + bn ) converge.
Neste caso, basta lembrar que

n1
an + bn =
n1
an +
n1
bn .
Observemos que, para as sries divergentes, nada podemos armar. Em outras palavras, podemos somar duas sries divergentes e obter como resultado uma srie convergente. Veja o seguinte exemplo: Exemplo 2.4. Por exemplo, as sries converge. Soluo: A srie
n1 n1
ne
n1
n so ambas divergentes; contudo a soma das duas ser
n realmente divergente, pois: lim n = . Lembrando que isto uma condio

n
necessria mas no suciente, ou seja, caso o limite do termo geral da srie fosse igual a zero no poderamos armar nada sobre a convergncia da srie. Observe, agora, que: lim n = lim n =
n
signicando, portanto, que a srie

n1
n diverge. Somando as duas sries temos:
n+
n1 n1
n =
n1
(n n) =
0
n1
dessa forma, conclumos que

n1
(n n) =
0 convergente, porque uma srie constante. Assim a soma

n1
de sries divergentes poder proporcionar como resultado, uma srie convergente.
Exerccios Propostos
EP 2.4. Encontre a soma parcial das seguintes sries: 1 ; (b) (a) n(n + 1)
1 . (2n 1)(2n + 1)
2.2.1
A Srie Geomtrica
q n1 . A soma parcial dada por Sn =
n1
Seja q um nmero real, diferente de 1, e considere a srie
1 q n+1 1 + q + q2 + q3 + . . . + qn = , pois, a srie se trata da soma dos innitos termos de uma progresso 1q geomtrica de razo q . Supondo que |q | < 1, temos que
n
lim sn =
1 , 1q
CLCULO III
29
e, assim,
n1
q n1 =
1 . 1q
Notemos que para |q | 1 a srie diverge. ER 2.5. Encontre, se possvel, a soma das sries: (a)
n1
3 5
(b)
n1
5 3
(c)
n1
(2)n2 3n
Soluo: 3 (a) 5
n1
=
n1
3 5
3 5
n1
3 5
n1
3 5 =
n1
. Portanto, 3 5 1 3 1 5
3 5
< 1. Assim,
n1
3 5
converge e:
n1 n n1
3 5 5 3
3 3 5 = . 5 2 2
5 3
(b)
n1
5 3
=
n1
5 3
5 3
(2)n2 = 3n n1 converge e: (c)
n1
(2)1 (2) 3 3n1
n1 n1
5 3
n1
. Portanto, 2 3
1. Logo,
(2)1 3
n1
. Portanto,
n1
n1 2 3
5 3
diverge. (2)n2 3n
< 1. Assim,
n1
n1
(2)n2 (2)1 = 3n 3
(2)1 3 1 1 = = . (2) 3 5 10 1 3
Exerccios Propostos
EP 2.6. Encontre, se possvel, a soma das sries abaixo: (a)
n1
(2)n+1 ; 5n1
(b)
n1
(10)n1 ; 4n1
(c)
n1
(3)n1 ; 4n
(d)
n1
(1)n+1 (3)n+3 . 4n+2
Nem sempre ser possvel analisar a convergncia de uma srie com os resultados at agora citados. Por isso, veremos outros critrios.
2.2.2
O Teste da Divergncia
an converge, ento an 0.
2.5 Teorema. Se a srie

n1
Prova: Observe que an = Sn Sn1 . Logo,

n
lim an = lim (Sn Sn1 ) = 0.

n
Nota 17. Uma outra forma equivalente de enunciarmos o teorema anterior : Se lim an = 0, ento a srie
n n1
an diverge. Assim, a partir desse resultado, analisaremos, primeiramente,
a convergncia da srie e, no caso em que o limite do termo geral no nulo, concluiremos que a srie diverge. Este teste dito: o teste da divergncia. 30
Nota 18. O fato do limite ser nulo, no garante a convergncia da srie. Isto signica que tal condio necessria, mas no suciente. Vejamos os exemplos que seguem. ER 2.7. Verique se as sries a seguir so convergentes: n n+1 . (b) ; (a) ln(n + 1) 3n + 4 n1
n1
1 n+1 = . Logo, pelo teste da divergncia, temos que a srie diverge. 3n + 4 3 n 1 = +. Novamente, pelo teste da divergncia, podemos concluir que a (b) lim = lim 1 n ln(n + 1) n n+1 srie acima diverge. Soluo: (a) lim
n
Exerccios Propostos
EP 2.8. Usando o teste da divergncia, mostre que as sries abaixo divergem: n 1 3n 2 + 5 (d) (c) cos( ) (b) (a) n 2+1 3 n 5n n1 n1 n1
n1
( n + 1 n)
2.2.3
O Teste da Comparao
an e
n1 n1
2.6 Teorema. [teste da comparao] Considere as sries
bn de termos positivos, tais que an
bn , n .
(i) Se
n1
bn converge, ento
n1
an tambm converge. bn tambm diverge.
(ii) Se
n1
an diverge, ento
n1
Prova: (i) Vamos supor que

n1
bn converge. Considerando que Sn e Tn so as somas parciais das
sries
n1
an e
n1
bn , respectivamente, temos que existe um nmero real T tal que lim Tn = T . Como
an bn , segue, imediatamente, que Sn Tn < T , pois, T um limite superior para a seqncia (Tn ). Alm
disso, observa-se que S1 = a1 a1 + a2 = S2 , . . . , Sn Sn + 1, ou seja, Sn limitada e crescente. Portanto,
an converge.
n1
(ii) Basta supor que

n1
bn convergente e aplicar o item anterior.

3 5n + 1
ER 2.9. Analise o comportamento da srie

n1
Soluo: Veja que, 3 3 < n. 5n + 1 5 3 3 uma srie geomtrica convergente. Logo, converge. 5n 5n + 1 5n + 1 > 5n
n1
Ora, mas,
n1
CLCULO III
31
ER 2.10. Analise o comportamento da srie

n1
1 . 3n 2
Soluo: Veja que, 3n 2 < 3n Ora, mas, 1 3 1 uma srie divergente. Logo, n 1 1 > . 3n 2 3n 1 diverge. 3n 2
n1
n1
2.2.4
O Teste da Comparao por Limite
Alm do teste da comparao, teremos, tambm, um outro teste chamado de teste da comparao por limite. Sendo este mais adequado para algumas sries as quais no podemos, facilmente, comparar. 2.7 Teorema. [Teste da Comparao por Limite] Sejam as sries
n1
an e
n1
bn ambas de termos positivos.
(i) Se lim
an = k > 0, ento ambas as sries tem o mesmo comportamento. bn an bn converge, ento a srie an converge. =0e (ii) Se lim bn an (iii) Se lim =e bn diverge, ento a srie an diverge. bn
Prova: (i) Como lim
3k k bn < an < bn . 2 2 Agora, vamos analisar todos os possveis casos: (a) Se

n1
an k 3k k an = k > 0 e dado = temos que existe n0 tal que n n0 < < bn 2 2 bn 2
bn converge e an <
3k bn , segue que 2
an converge.
n1
(b) Se
n1
an diverge e an <
3k bn , segue que 2
bn diverge.
n1
(c) Se
n1
bn diverge e
k bn < an , segue que 2
an diverge.
n1
(d) Se
n1
an converge e
k bn < an , segue que 2
bn converge.
n1
Os tens (ii) e (iii) prova-se de maneira anloga ao anterior e, por isso, deixamos a cargo do leitor. 2n + 3 convergente utilizando o teste da comparao por limites. ER 2.11. Verique se a srie n+5
n1
Soluo: Para usar o teste da comparao por limites, precisamos encontrar uma srie a qual j con1 . Logo, hecemos a sua convergncia e, uma candidata a srie divergente n+5 n1 2n + 3 lim n + 5 = lim 2n + 3 = , 1 n+5 ou seja, a srie inicial diverge. 32
Para utilizarmos os testes da comparao e da comparao por limites, ser necessrio conhecer algumas sries em especiais, as quais duas se destacam: a srie harmnica e as p -sries. Entretanto, para o estudo das p -sries, introduziremos mais um critrio de convergncia.
2.2.5
O Teste da Integral
an uma srie de termos positivos. Se existe uma funo f contnua,
n1
2.8 Teorema. [Teste da Integral] Seja
positiva e decrescente, para x 1, tal que f (n) = an , ento, a srie tem o mesmo comportamento que
f (x ) dx .
1
Prova: Considere sn a soma parcial da srie

n1 i +1
an . Uma das propriedades de integral que para funes
decrescente teremos ai +1
f (x ) dx ai . Logo,
2
n+1
a2 + . . . + an+1
f (x ) dx + . . . +
1 1
f (x )dx
n
n+1
f (x )dx
a1 + . . . + an equivalentemente, podemos escrever,

n+1
sn+1 a1
f (x ) dx Sn .
( 2.1)
Se
1
f (x ) dx converge ou diverge. Por ( 2.1) e pelo teorema 2.6 temos que a srie, tambm, ter o
mesmo comportamento. ER 2.12. Utilize o teste da integral para estudar o comportamento da srie
n1
1 n4
1 positiva, contnua e decrescente (f (x ) < 0), para todo x 1. Logo, x4 podemos aplicar o teste da integral. Da, Soluo: Veja que, f (x ) =
+ 1
dx x4
= =
dx 1 lim = lim a+ 1 x 4 a+ 3x 3 1 1 1 1 + = lim a+ 3a3 3 3
Logo,
n1
1 converge. n4
2.2.6
As p-Sries
1 , com p N. np
CLCULO III
2.9 Denio. toda srie dada por

n1
33
2.2.7
A Convergncia de uma p-Srie

1 , com p N. Se p > 1, a srie converge. Caso p = 0 ou np
2.10 Teorema. Considere a srie dada por

n1
p = 1, diverge.
Prova: Vamos aplicar o teste da integral para essa srie. 1 Considere a funo f (x ) = p que , claramente, positiva, contnua e decrescente, para x 1. Assim, x
1
1 dx = lim n xp
n
1
1 n1p 1 x p+1 = lim dx = lim . p n 1 p n p + 1 x 1
Como p > 1,
np+1 1 1 = . n p + 1 p1
lim
Segue, imediatamente, que a srie converge. A prova para o caso p = 0 e para o caso p = 1 deixada para o leitor. 1 , converge quando p > 1 e diverge quando 0 < p 1. np
Nota 19. Em resumo, temos que a p -srie

n1
A p -srie uma ferramenta bastante utilizada no estudo de sries.
Exerccios Propostos
EP 2.13. Use o teste da comparao ou comparao por limites para analisar o comportamento das sries abaixo: (a)
n0
1 . 2 + 5n
(b)
n2
1 . n1
(c)
n1
1 sen( ). n
(d)
n2
1 . ln(n)
(e)
n0
n5
n . + 3n 2 + 1
EP 2.14. Utilize o teste da integral para estudar o comportamento das seguintes sries: (a)
n1
1 . 3n + 1
(b)
n1
ln(n) . n
(c)
n0
xe x .
2.2.8
Sries Absolutamente Convergentes
Os testes estudados at esse momento so especcos, isto , eles servem para analisar alguns tipos de sries. Por essa razo, necessitaremos de testes mais prticos incluindo as sries de termos negativos e alternados. Porm, antes de enunci-los, daremos a denio de convergncia absoluta. 2.11 Denio. Uma srie
n1
an dita absolutamente convergente quando a srie

n1
|an | convergir.
Exemplo 2.5. A srie

n1
cos(n) converge absolutamente, pois, n2
n1
| cos(n)| n2
n1
1 devido ao fato que n2
| cos(n)| 1. O prximo resultado no ser demonstrado pelo fato de ser preciso o conceito de seqncia de Cauchy, no qual no foi dado neste curso. Contudo, no livro de Elon h uma elegante prova. 2.12 Teorema. Toda srie absolutamente convergente convergente. 34
Nota 20. Uma conseqncia imediata que sries convergentes no so, necessariamente, absoluta(1)n+1 que veremos que converge utilizando o teste de mente convergente. Por exemplo, a srie n n1 Leibnitz.
2.2.9
O Teste da Raiz
an e A = lim
n1
n
2.13 Teorema. Considere a srie
|an |. Ento:
(i) Se 0 A < 1, ento a srie converge absolutamente; (ii) Se A > 1, ento a srie diverge; (iii) Para o caso A = 1, nada podemos armar. 1 e n 1 . Para ambas teremos n2
Prova: Primeiro provaremos o item (iii). Para tal, tomemos as sries

n1
n1
que A = 1, mas uma diverge enquanto que a outra converge. Suponhamos que 0 A < 1 e, assim, existe
r R tal que 0 A < 1.

Como A = lim
n
|an | temos que existe n0 N tal que n n0

n1
0 < r < 1. Portanto, temos que a srie que a

n1
r n converge e pelo teste da comparao. Segue, imediatamente,
|an | A < r < 1 |an | < r n . Mas,
an converge absolutamente.
Para o caso A > 1, deixamos a cargo do leitor. ER 2.15. Estude a convergncia das sries abaixo, utilizando-se do teste da raiz. 1 1 n ( n n + 1)n . (c) (a) ; (b) 1+ ; nn n n1 n1
n1
Soluo: (a)
n1
1 . Logo, nn lim
n
1 nn
= lim
1 1 = lim = 0. nn n
Portanto, a srie converge e absolutamente convergente. 1 n (2) 1+ . Assim, n

n1

lim
1 1+ n
= lim
1+
1 n
= lim 1 +
1 = 1. n
Para este caso, nada poderemos armar. J pelo teste da divergncia, garantimos que a srie diverge. ( n n + 1)n . Logo, (3)
n1
( n n
lim Assim, a srie divergente.
+ 1)n = lim
( n n + 1)n = lim n n + 1 = 2.
CLCULO III
35
2.2.10
O Teste da Razo
A demonstrao do resultado a seguir obedece o mesmo princpio do teste da raiz, onde se busca uma srie majorante. Dessa forma omitiremos alguns detalhes de forma a simplicar o entendimento. 2.14 Teorema. Considere a srie
n1
an e L = lim
|an+1 | . Ento, |an |
(i) Se 0 L < 1, ento a srie converge absolutamente; (ii) Se L > 1, ento a srie diverge; (iii) Para o caso L = 1, nada podemos armar. Prova: Para provar o item (iii), basta tomar, novamente, as sries harmnica e uma p -srie convergente. Suponhamos que 0 L < 1 e, assim, temos garantido a existncia de um r R tal que 0 L < r < 1. |an+1 | Logo, existe n0 N tal que n n0 L < r < 1 |an+p | < r p |an0 |. Como 0 < r < 1, temos |an | r p |an0 | e, pelo teste da convergncia, segue, imediatamente, que a srie inicial converge que a srie
n n0
absolutamente. Para o caso L > 1, deixamos a cargo do leitor. ER 2.16. Estudar o comportamento das sries, utilizando o teste da razo: 2n en 1 (c) (a) (b) 2 ln(n) n! n n2 n1 n1 Soluo: (a) Calculemos, inicialmente, o limite imposto pelo teste da razo:
2n+1 (n + 1)! 2n n!
(d)
n1
ln(n)
lim
|an+1 | = lim |an |
2n+1 2 (n + 1)! = 0 < 1. = lim = lim 2n n+1 n!
Conclumos, portanto, que a srie converge e absolutamente convergente. (b) O limite imposto pelo teste da razo :
e n+1 (n + 1)2 en 2
lim
|an+1 | = lim |an |
e n+1 (n + 1)2 = lim = lim e en n2
n n+1
=e>1
e, pelo teste da razo, temos que a srie diverge. (c) O limite imposto pelo teste da razo :
1 1 ln(n) |an+1 | ln(n + 1) ln(n + 1) = lim lim = lim = lim =1 1 1 |an | ln(n + 1) ln(n) ln(n)
e, pelo teste da razo, nada podemos concluir. Porm, usando o teste da comparao por limite, vericamos que essa srie diverge. (d)
n1
ln(n) | ln(n + 1)| ln(n + 1) |an+1 | = lim = lim = 1. |an | | ln(n)| ln(n)
Temos que: lim 36
Pelo teste da razo, nada podemos concluir; todavia, pelo teste da divergncia, temos a garantia de que essa srie diverge.
Exerccios Propostos
EP 2.17. Estudar o comportamento das sries, utilizando o teste da raiz ou razo: (a)
n1
1 ; n
(b)
n1
1 ; n!
(c)
n0
2 + cos(n) n2
(d)
n1
n! . (n + 1)5
2.2.11
O Teste de Leibnitz e a Convergncia das Sries Alternadas
2.15 Teorema. Seja (an ) uma seqncia decrescente de termos positivos convergindo para zero. Ento, a srie
n1
(1)n+1 an converge.
Prova: Consideremos as somas parciais sn desta srie. Nosso objetivo ser dividir sn em duas partes: ndices pares e mpares. Primeiro, observemos que, pelo fato da seqncia an ser decrescente, teremos que s2n crescente, tal que 0 < s2n < a1 . Segue que s2n S . Por outro lado, S2n+1 = S2n + a2n+1 S2n+1 S . Portanto, a srie convergente. Em outras palavras, o teste de Leibnitz diz que dada a srie alternada
n1
(1)
n+1
an ou
n1
(1) an se
an > 0, an > an+1 , para todo n, e lim an = 0, ento esta srie convergente.
n+
ER 2.18. Pelo teste de Leibnitz verica-se que a srie alternada

n1
(1)n+1
1 converge. n
Soluo: Observe que an =
1 1 1 . Assim, an = > 0, lim = 0 e n n n 1 1 > an > an+1 n n+1
Desta forma, a srie decrescente. Logo

n1
(1)n+1
1 converge. n
Exerccios Propostos
EP 2.19. Use o teste de Leibnitz nas sries alternadas abaixo: (a)
n0
(1)n (n + 3) . n(n + 1)
(b)
n1
(1)n+1
n . en
CLCULO III
37
Sries de Funes: Uma Pequena Introduo

Seqncias de Funes
Vimos, anteriormente, o conceito de seqncias numricas. Vamos considerar, agora, sequncias (fn ) cujos elementos so funes reais que possuem um domnio em comum. Para cada x pertencente a esse domnio, podemos construir uma outra seqncia numrica (fn (x )) cujos termos correspondem aos valores de fn associados a x . Considere uma seqncia de funes (fn ). A seqncia numrica gerada por um determinado valor x0 Domfn , ou seja, (fn (x0 )), daremos o nome de seqncia pontual de (fn ) em x = x0 . Vamos entender melhor o que signica uma seqncia pontual de funes. Considere a seqncia fn (x ) = x n , n N, denida em [0, 1] e observe a seguinte tabela:
x
0 0, 1 0, 9 1
x2
0 0, 01 0, 81 1
x3
0 0, 001 0, 729 1
x4
0 0, 0001 0, 6561 1
x 10
0 1010 1
0.34867844
Observe que, para cada x [0, 1], temos uma seqncia numrica diferente.
2.3
Srie de Funes
2.16 Denio. Seja (fn ) uma seqncia de funes denidas em D R. A adio dos innitos termos desta dita uma srie de funes, ou seja, f1 + f2 + . . . + fn + . . . =
n1
fn .
Evidentemente que, para cada x D xado, a srie de funes torna-se uma srie numrica e, por isso, to importante um estudo anterior e aprofundado de sries numricas. Alm disso, a funo limite f da srie tem o mesmo domnio da seqncia (fn ). Exemplo 2.6. Seja a srie 1 2
n n0
x n . Observemos que, para x = 0, 5 teremos uma srie geomtrica convergente
, enquanto que, para x = 3, teremos uma srie numrica divergente (verique isto utilizando mtodos
n0
j estudados).
natural questionarmos para que elementos de D se garante a convergncia da srie

n1
fn . Para resolver
esta questo, vamos denir uma regio do domnio a qual a srie de funes converge para uma funo real f , e esta regio conhecida como domnio de convergncia. 38
2.3.1
O Critrio de Weierstrass
fn uma srie de funes e considere a srie numrica
n1 n1
2.17 Teorema. Seja
Mn tal que |fn (x )| Mn ,
para todo x D e n 0. Se a srie
Mn converge, ento a srie

n1 n1
fn converge.
Prova: A convergncia da srie numrica

n1 n

Mn garante que, dado > 0, existe n0 tal que n > n0
|f (x )
j =1
fj (x )| = |
j =n+1
fj (x )|
j =n+1
Mj < e isto independe de x D . fn convergente.

n1
Pelo teste da comparao, a srie
Nota 21. Se
n1
fn uma srie de funes contnuas (ou derivveis ou integrveis) convergente, sua
soma contnua (ou derivvel ou integrvel).
2.4
Sries de Potncias
an (x a)n chamada srie de potncias de centro a, em que (an )
2.18 Denio. A srie de funes

n1
uma seqncia numrica.
2.4.1
A convergncia de uma Srie de Potncias

an (x a)n converge para x = b , ento a srie converge, para todo x em D tal que
2.19 Lema. Se
n1
|x a| < |b a| = r . Prova: Como

n1
an (x a)n converge, temos que lim an (x a)n = 0. Assim, xando = 1, temos que
n
existe n0 , tal que n n0 |an (x a)n | < 1. Por outro lado, para todo x em D tal que |x a| < r , temos:

( 2.2)
|an (b a)n | = |an (x a)n | Tomemos q =
(b a) (x a)
( 2.3)
(b a) . Por ( 2.2 e ( 2.3) conclumos que |an (x a)n | < q n < 1. (x a) an (x a)n converge para todo x (a r , a + r ). Pelo critrio de Weirsstres, temos que a srie
n1
2.20 Corolrio. Se
n1
an (x a)n diverge, para x = b , ento a srie diverge, para todo x em D tal que
|x a| > |b a| = r . Os prximos teoremas caracterizaro o nosso domnio de convergncia. 2.21 Teorema. Considere a srie de potncias
n1
an (x a)n . Ento, existem somente trs possibilidades:

CLCULO III
39
(i) A srie converge apenas em x = a; (ii) A srie converge para todo em R; (iii) Existe r > 0, tal que a srie converge, absolutamente, para todo x (a r , a + r ). O nmero r chamado de raio de convergncia da srie. A demonstrao deste ltimo resultado feita aplicando-se o lema anterior. Nota 22. Para a primeira possibilidade, temos, na realidade, que o raio de convergncia nulo; enquanto que para a segunda, o raio innito. No terceiro caso, temos que I = (a r , a + r ) uma regio de convergncia da srie de potncias. Partindo-se de I , podemos determinar o domnio de convergncia da srie (conjunto de todos pontos os quais a srie convergente), vericando se a srie de potncias converge, pontualmente, para os extremos do intervalo I . 2.22 Teorema. Seja a srie de potncia
n1
an (x a)n . Ento o raio de convergncia r da srie dado por r = lim

|an | . n |an+1 |
Prova: Apliquemos o teste da razo para sries quaisquer. Assim,

an+1 (x lim n an (x
a)n+1 |an+1 | = |x a| lim . n |an | a)n
Tomemos L = lim
|an+1 | . Temos, somente, trs possibilidades: |an |
1. (1) L = 0 e a srie converge para todo x em R, isto , r = . 2. (2) L 1 e a srie diverge para todo x = a, isto , r = 0. 3. (3) 0 < L < 1 e a srie converge para todo x (a 1/L, a + 1/L), isto , r = lim ER 2.20. Determine o raio de convergncia das sries: 2n x n (1)n (x 1)n ; a b ; (2n)! (n + 1)2n n0
n0 n
|an | . |an+1 |
c
n0
(n + 1)!(x 5)n . 10n
2n |an | (2n + 2)(2n + 1) 2n (2n + 2)! (2n)! r = lim = lim = lim = . Portanto, o domnio = lim n+1 n |an+1 | n n n 2n+1 (2n)! 2 2 (2[n + 1])! de convergncia R. 1 (n + 2)2n+1 |an | n+2 (n + 1)2n = lim (b) r = lim = 2 lim = lim = 2. 1 |an+1 | (n + 1)2n n+1 (n + 2)2n+1 Portanto, (1, 3) um intervalo de convergncia. Porm, at este momento, no estudamos o comportamento da srie nos extremos do intervalo de convergncia, mas esta anlise to importante para o resultado nal. 1. Para x = 1, temos a srie 1 , que divergente. n+1
Soluo: (a)
n0
40
2. Para x = 3, temos a srie

n0
(1)n , que convergente. n+1
Portanto, o domnio de convergncia (1, 3]. (n + 1)! |an | (n + 1)!10n+1 10 n (c) r = lim = lim = lim = lim 10 = 0. (n + 2)! |an+1 | (n + 2)!10n (n + 2) 10n+1 Portanto, o domnio de convergncia {5} e, neste caso, diremos que a srie divergente.
Exerccio Proposto
EP 2.21. Determine o raio e intervalo de convergncia das sries abaixo: (a)
n1
x n;
(b)
n1
(5x )n ;
(c)
n1
3n (x + 1)n . n 4n
2.5
Sries de Taylor
Dada uma funo f (x ), n vezes continuamente derivvel num ponto a e numa vizinhana de a, com raio r>0, desejamos encontrar uma srie de potncias de (x-a) para representar esta funo. Ou seja:
f (x ) = a0 + a1 (x a) + a2 (x a)2 + a3 (x a)3 + . . . + an (x a)n + . . .

Est claro que a srie de potncias estar determinada to logo saibamos os seus coecientes an , n = an (x a)n contnua e derivvel em x = a. Assim, 0, 1, 2, 3, . . .. Da, seja f (x ) =
n0
f (x ) f (x ) f (x ) f (x )
= = = =
a0 + a1 (x a) + a2 (x a)2 + a1 + 2a2 (x a) + . . . 2a2 + 6a3 (x a) + . . . 6a3 + 24a4 (x a) . . .

f (n) (a) . n!
f (a) = a0 f (a) = a1 f (a) = 2a2 f (a) = 6a3
Por recorrncia, obtemos que f (n) (a) = n!an . Logo,
an =
Dessa forma, dada uma funo f de classe C , desejamos encontrar uma srie de potncia para representla na vizinhana de um ponto de R. 2.23 Denio. Seja funo f de classe C , a srie
n0
f (n) (a) (x a)n dita srie de Taylor da funo f (x ) n!
no ponto a. 2.24 Denio. Se a = 0, a srie

n0
f (n) (0) n x chamada de srie de Maclaurin da funo f (x ). n!
ER 2.22. Encontre a srie de Taylor, em torno da origem, para cada uma das funes a seguir: (a) f (x ) = e x ; (b) f (x ) = 1 . 1x
Soluo: (a) Em torno da origem a = 0 (srie de Maclaurin).
f (x ) = e x , f (x ) = e x , f (x ) = e x , . . . , f (n) (x ) = e x f (n) (0) = 1.

CLCULO III
41
Logo, e x em srie de Taylor, para a = 0, :
f (x ) = e x =
n0
f (n) (0) n 1 n x = x . n! n! n0
(b)
f (x ) = (1 x )2 , f (x ) = 2(1 x )3 , f (x ) = 6(1 x )4 , . . . , f (n) (x ) =

Logo, 1 em srie de Taylor, para a = 0, : 1x
n! f (n) (0) = n! (1 x )n+1
f (x ) =
1 = 1x
n0
f (n) (0) n x = n!
n0
n! n x = n!
x n.
n0
ER 2.23. Utilize os resultados dos exerccios anteriores para encontrar a srie de Taylor das funes abaixo, no ponto a indicado: 1 , a = 0. (1 + x )2
(a) f (x ) =
(b) f (x ) = e 2x , a = 1.
Soluo: (a) Observe que vimos anteriormente que teremos: 1 = (1 + x )2 Logo, 1 = (1 + x )2 (b) Note que e x =
n0
1 = 1+x
(1)n x n . Derivando ambos os lados,

n0
(1)n nx n1
n0
(1)n+1 nx n1 .
n0
1 n x , para a = 0. Para a = 1, camos com a srie na forma, n!
e (x +1) =
n0
1 (x + 1)n . n!
Substituindo-se a varivel x por 2x 3 e usando algebra elementar, teremos:
e (2x 3)+1) e 2x 2 e
2x
=
n0
=
n0
=
n0
1 [(2x 3) + 1)]n n! 1 (2x 2)n n! 1 [2(x + 1)]n n! (2)n e 2 (x + 1)n n!
e 2x
=
n0
Observe que podemos calcular limites atravs da utilizao de sries de funes.
ER 2.24. Sabendo que cos(x ) =

x 0
(1)n
x 2n 1 cos(x ) 1 = utilizando sries de Taylor. mostre que lim x 0 (2n)! x2 2
42
Soluo: 1 cos(x ) 1 cos(x ) 1 cos(x ) x2 Dessa forma temos que: lim = 1 (1)n
x 0
x 2n (2n)! x 2n (2n)!
= 11+ =
x 1
(1)n+1
x 1
(1)n+1
1 x2 x4 x 2n2 = + ... (2n)! 2! 4 6 = 1 2
x 0
1 cos(x ) 1 = = lim 2 x 2 x 0
1 x2 x4 + ... 2! 4 6
ER 2.25. Calcule as derivadas f 40 (0) e f 51 (0) da funo f (x ) = x 2 sen(x ) Utilizando sries de Taylor. Dica: x 2n+1 sen(x ) = . (1)n (2n + 1)! x 0
Soluo: Observe que sen(x ) =

x 0
(1)n
x 2n+1 possui apenas potncias mpares, dessa forma, toda (2n + 1)!
derivada cuja potncia seja par, ser nula. Assim f 40 (0) = 0. Os coecientes das potncias mpares no ponto zero so dados por:
f 2n+3 (0) (1)n = (2n + 3)! (2n + 1)!

Como estamos interessados em calcular a derivada de ordem 51 signica dizer que 2n + 3 = 51 e dessa forma
n = 24. Substituindo este valor na equao anterior camos com:

(1)24 f 51 (0) = f 51 (0) = 50 51 51! 49!
2.5.1
Uma Pequena Biograa de Brook Taylor
Brook Taylor, nascido em Edmonton, Middlesex, Inglaterra, a 18 de Agosto de 1.685 e falecido em Londres, Inglaterra, a 29 de dezembro de 1.731. Era lho de John Taylor, da Casa de Bifrons e de Olivia, lha de Nicholas Tempest. Sua famlia era, moderadamente, rica e estava ligada baixa nobreza. Seu av, Nathaniel, tinha apoiado Oliver Cromwell. John Taylor era um pai severo e rigoroso, o expulsou de casa em 1.721, quando Taylor decidiu se casar com uma mulher que, embora pertencesse a uma boa famlia, no era muito rica. Em 1.723, Brook voltou sua casa aps a morte de sua esposa durante o parto. Ele se casou novamente em 1.725, desta vez com a aprovao e beno de seu pai, mas, infelizmente, sua segunda mulher tambm morreu durante o parto em 1.730. Sua lha, entretanto, conseguiu sobreviver. A vida pessoal de Taylor parece ter inuenciado seu trabalho em diversas formas. Duas das suas maiores contribuies cientcas lidam com vibraes e desenho em perspectiva. Seu pai era muito interessado em msica e artes, sua casa estava sempre cheia de artistas. Os arquivos da famlia contm pinturas de Taylor e tambm um manuscrito no publicado chamado On Musick, que foi encontrado entre seus papis no Saint Johns College em Cambridge. Taylor teve aulas particulares, em casa, antes de entrar para o Saint Johns College em 1.701, onde os catedrticos em matemtica eram John Machin e John Keill. Taylor recebeu seu diploma de Bacharelado em 1.709, foi eleito para a Royal Society de Londres em 1.712 e recebeu o diploma de Doutorado em 1.714. Ele foi eleito secretrio da Royal Society em janeiro de 1.714, mas se demitiu em outubro de 1.718 em virtude de sua sade e, talvez, tambm, pela perda de interesse nesta tarefa cansativa e extenuante. As cabeas pensantes, na Europa desta poca, inspiram-se no esprito de Descartes: o sculo X V I I I cartesiano e prossegue a grande revoluo intelectual originada por ele. O sculo X V I I I conserva a dvida metdica, a recusa a acreditar, a necessidade de evidncia, a preocupao em s admitir verdades claras e
CLCULO III
43
distintas, alcanadas aps o exame de grande nmero de fatos. O sculo X V I I I conservou a matemtica como principal utenslio e como melhor exerccio intelectual. a matemtica que fornece o tipo das idias claras, no h linha reta nem crculo na natureza. Mas, a matemtica representa corpos e pode aplicar-se sua medida, ela pode servir para inventariar o mundo. Os matemticos do sculo X V I I I executaram trabalhos essencialmente prticos: processos para resolver os problemas apresentados pela mecnica e pela astronomia, para explicar os fatos revelados pela observao do cu ou dos corpos terrestres. Forma de vela retangular inada pelo vento, linha de queda mais rpida entre duas verticais sucessivas, traado de um raio luminoso atravs de meios com diferentes densidades, causas dos ventos, movimentos dos uidos, cordas vibratrias: so esses alguns dos problemas que eram estudados. Aperfeioaram, tambm, de maneira espantosa, a aparelhagem matemtica. Euler, em 1.735, resolveu em trs dias atravs de seus mtodos um problema de astronomia que levara alguns meses para ser resolvido pelos mtodos mais antigos. (Gauss, no sculo X I X , o solucionou em uma hora). No ltimo tero do sculo X V I I , os grandes matemticos haviam sido os ingleses, como Newton, ou alemes, como Leibnitz. No sculo X V I I I , passam a ser suos (famlia Bernoulli e Euler) ou franceses (Clairaut, DAlembert, Lagrange, Laplace). A relativa decadncia dos ingleses justica-se, talvez, pelo fato de Newton ter deixado o seu mtodo de clculo ainda mais imperfeito do que o de Leibnitz e, por outro lado, pela controvrsia entre ingleses, suos e alemes sobre uma questo to grande quanto intil: quem era realmente o criador do clculo innitesimal, Leibnitz ou Newton? Enquanto que, em 1.717, Brook Taylor aplicara o clculo das diferenas nitas aos movimentos das cordas vibratrias; MacLaurin, em 1.731, utilizou as demonstraes geomtricas para dar maior rigor sua teoria, segundo a qual uma massa liquida, girando em torno de um eixo, sob a inuncia da gravitao, toma a forma de um elipside de revoluo. Taylor e MacLaurin chamavam, ento, a ateno dos seus compatriotas para a geometria, levando-os a desprezarem a anlise. Sendo membro da Royal Society, Taylor participou, em 1.712, do comit formado para o julgamento da questo da prioridade na inveno do Clculo entre Newton e Leibnitz. Ele visitou a Frana, diversas vezes, por razes de sade e sociais. Durante estas visitas, ele manteve uma constante correspondncia com Pierre Rmond de Montmort sobre as sries innitas e sobre o trabalho de Montmort em probabilidade. Taylor serviu como um tipo de intermedirio entre Montmort e Abraham De Moivre. Taylor publicou o seu primeiro artigo importante na Philosophical Transactions da Royal Society em, 1.714, que, na verdade, j havia sido escrito em 1.708, de acordo com sua correspondncia com Keill. O artigo tratava da determinao do centro de oscilao de um corpo. Como era costume de Taylor e de outros matemticos da poca, ele utilizou a notao de pontos ao resolver um problema em mecnica, dando incio a uma disputa com Johann I Bernoulli. O perodo entre 1.714 e 1.719 foi, para Taylor, o mais produtivo matematicamente. A primeira edio de seus dois livros matemticos Methodus incrementorum directa et inversa e Linear Perspective saiu em 1.715. Suas segundas edies foram publicadas em 1.717 e 1.719, respectivamente. Taylor tambm publicou treze artigos, alguns como cartas na Philosophical Transactions durante os anos de 1.712 a 1.724. Nestes artigos esto includos experimentos com a capilaridade, o magnetismo e o termmetro. Durante os ltimos anos de sua vida Taylor se voltou para escritos religiosos e loscos. Seu terceiro livro Comtemplatio philosophica foi impresso postumamente pelo seu neto em 1.793. Taylor conhecido pelo teorema ou processo de se expandir funes em sries innitas. Existe uma grande discusso sobre o crdito que deve ser dado a Taylor pela formulao deste teorema. Seu primeiro relatrio do teorema foi escrito em uma carta para John Machin, no dia 26 de julho de 1.712, e reescrito por H. Bateman. Nele, Taylor conta que a sua descoberta surgiu aps uma dica de Machin durante uma palestra no Childs Coffeehouse sobre a utilizao da srie de Sir Isaac Newton para a resoluo do problema de Kepler e sobre o mtodo do Dr. Halley para se achar as razes de equaes polinomiais 44
que fora publicado na Philosophical Transactions em 1.694. Isto demonstra sua honestidade e cuidado em relao publicao de artigos matemticos. Ele usou sua frmula para expandir funes em sries e para resolver equaes diferenciais, mas, no conseguiu prever o seu papel, sua funo mais importante, que s foi descoberto, mais tarde, por Lagrange. Taylor no se preocupou com a falta de rigor em sua derivao. Colin Maclaurin notou um caso especial da srie de Taylor agora conhecido como srie ou teorema dE Maclaurin, que j havia sido citado por Taylor na pgina 27 na edio de 1.717 do Methodus. O termo srie de Taylor foi, provavelmente, utilizado pela primeira vez por LHuillier em 1.786, entretanto Condorcet usou os nomes de Taylor e dAlembert em 1.784. Mesmo que as sries innitas j fossem algo conhecido, Taylor desenvolveu a sua frmula sozinho e foi o primeiro a enunci-la e explicit-la de uma forma geral. Pringsheim demonstrou que possvel se chegar ao teorema de Taylor atravs da frmula de Bernoulli por meio de algumas mudanas de variveis. No entanto, no existem indcios que Taylor fez isso e nem de que Bernoulli se sentira plagiado. A preposio X I do teorema I V , por outro lado, diretamente equivalente frmula de integrao de Bernoulli. Mas, a derivao de Taylor mais complexa, tanto que lhe dado o crdito da prioridade do processo de integrao por partes. Taylor foi um dos poucos matemticos ingleses que conseguiu se manter na disputa com seus rivais do Continente, embora nem sempre conseguisse se sair vitorioso. Bernoulli citou que um problema de integrao publicado por Taylor como um desao aos matemticos no ingleses j havia sido proposto e resolvido anteriormente por Leibnitz em Acta eruditurium. Suas disputas em jornais quase sempre continham frases mais rudes e, at mesmo, uma vez, foi feita uma aposta entre eles no valor de cinqenta guinus. Quando Bernoulli sugeriu, numa carta pessoal, que suas discusses tomassem um rumo mais cavalheiresco, Taylor respondeu que ele tinha tido a inteno de ser grosseiro e mostrar indignao. O livro Methodus continha vrios pontos adicionais, cuja importncia no podia ser notada ou percebida em um primeiro estudo. Inclui-se o reconhecimento e a determinao de uma soluo singular de uma equao diferencial, uma frmula que envolve uma mudana de variveis e relaciona as derivadas de uma funo com as derivadas de sua inversa, a determinao de centros de oscilao e percusso, curvatura e o problema de vibraes em molas. Os ltimos trs problemas j tinham sido publicados anteriormente em Philosophical Transactions, dando continuao ao clculo de logaritmos. Newton abordava o problema da curvatura pelo meio da determinao do seu centro como o ponto de interseco entre duas normais. Mesmo que este mtodo no tivesse sido publicado at 1.736, Taylor tinha conhecimento deste trabalho de Newton e, aps aplicar a sua prpria frmula para a resoluo do mesmo problema, disse que seus resultados coincidiam com os obtidos por Newton. Taylor, entretanto, imaginava o raio de curvatura como sendo o raio do crculo limitante entre trs pontos de uma curva e associava a curvatura com o problema do ngulo de contato, citado por Euclides. Ele ento usou a curvatura e o ngulo de curvatura para dar a primeira soluo para vibraes normais e o caso de molas. Nas preposies X X I I e X X I I I , ele demonstrou que, sob suas condies, cada ponto vibra como um pndulo cicloidal e determinou o seu perodo em termos do comprimento e peso da mola e do peso suportado pela mola. Seus trabalhos inuenciaram outros matemticos, Bernoulli, por exemplo, citou Taylor em cartas escritas para seu lho Daniel, escrevendo sobre este tpico. Methodus qualica Taylor como um dos fundadores do clculo de diferenas nitas e como um dos primeiros a utiliz-lo em interpolao e somatria de sries. Taylor contribuiu para a histria do barmetro ao explicar a variao da presso atmosfrica como uma funo da altitude e tambm contribuiu para o estudo da refrao da luz. Como todas as suas publicaes, seu livro sobre perspectiva linear era to conciso que Bernoulli caracterizou-o como incompreensvel para todos e inteligvel para os artistas, para quem ele foi especialmente escrito. At mesmo a sua segunda edio, que continha quase o dobro das quarenta e duas pginas da edio inicial, no mostrava uma melhora neste aspecto. Methodus teve quatro edies normais, trs tradues e outras vinte e duas edies de doze diferentes autores, que continham comentrios adicionais sobre seus conceitos mais importantes. Ele desenvolveu uma
CLCULO III
45
teoria sobre perspectiva de maneira formal, usando uma seqncia de teoremas e as suas respectivas demonstraes. A sua mais notvel e impressionante idia nesta rea foi a denio de pontos e linhas de fuga para todos os planos e linhas e o desenvolvimento de uma teoria e prtica para o problema inverso de perspectiva que, mais tarde, serviu de base para o trabalho de Lambert e o desenvolvimento da fotogrametria. Taylor tambm se utilizou da idia de associar pontos de interseco innitamente distantes com linhas paralelas e procurou mtodos para se realizar construes geomtricas diretamente em perspectiva. Um estudo mais detalhado e profundo sobre a vida e o trabalho de Brook Taylor revela que a sua contribuio para o desenvolvimento da matemtica foi, substancialmente, maior do que a simples ligao do seu nome a um teorema. Seu trabalho era conciso, difcil de ser seguido e estudado. O surpreendente nmero de conceitos importantes que ele citou e tentou desenvolver, mas, infelizmente, no pode nalizar, mostra que a sade, problemas e preocupaes familiares e outros fatores, como riqueza e represso dos pais, conseguiram restringir o perodo produtivo de sua relativamente curta vida.
Exerccios Propostos
EP 2.26. Encontre a srie de Taylor, no ponto a = 0, para as funes: (a) f (x ) = 1 ; 1+x (b) f (x ) = sen(x ); (c) f (x ) = cos(x ).
EP 2.27. Utilize os resultados
ex =
n0
1 n 1 x , = n! 1x
x n,
n0
1 = 1+x
(1)n x n , sen(x ) =
n0 n0
(1)n
x 2n+1 e cos(x ) = (2n + 1)!
(1)n
n0
x 2n (2n)!
para encontrar a srie de Taylor das funes abaixo, no ponto a indicado: (a) f (x ) = ln(1 + x ), a = 0; (b) f (x ) = e 2 , a = 2;
x
(c) f (x ) = x cos(x ), a = 0; (d) f (x ) =
1 , a = 2. (1 x )2
Gabarito
20 n n 1 81 ; (b) (sn ) = . 2.6 (a) ; (b) Diverge; (c) ; (d) . 2.8 2.13 (a) Converge; (b) Diverge; (c) Diverge; n+1 2n + 1 3 7 112 (d) Diverge; (e) Converge. 2.14 (a) Diverge; (b) Diverge; (c) Converge. 2.17 (a) Nada podemos armar sobre o comportamento da srie; (b) 2.4 (a) (sn ) = absolutamente convergente; (c) absolutamente convergente; (d) divergente. 2.19 (a) Converge; (b) Converge. 2.21 (a) r = 1 e Ic = (1, 1); 1 1 4 7 1 x 2n+1 x 2n 1 e Ic = , e Ic = , ; (c) . 2.27 (a) ; (c) r = . 2.26 (a) (1)n x n ; (b) (1)n (1)n (b) r = 5 5 5 3 3 3 (2n + 1)! (2n)!
n0 n0 n0 n1
(1)
n0
x n+1 ; (b) n+1

n0
(1)
e n (x + 2) ; (c) 2n n !
n0
(1)
x 2n+1 ; (d) (2n)!

n0
(1)
n+1
n(x 2)
46
BLOCO 02
EDO e Aplicaes Equaes Diferenciais Ordinrias de
TEMA 03
Primeira Ordem
Apresentao
Uma equao da forma F (x , y , y , . . . , y (n) ) = 0, que relaciona a varivel x , a funo y (x ) e suas derivadas y (x ), y (x ), . . . ,y (n) , chama-se equao diferencial ordinria. Muitas leis gerais da Fsica, Biologia e Economia encontram sua expresso natural nestas equaes. Por outro lado, inmeras questes na prpria matemtica (por exemplo, em Topologia e Geometria Diferenciais e no Clculo de Variaes) so formuladas por equaes diferenciais ordinrias ou se reduzem a elas. Vejamos, como motivao ao nosso estudo, o seguinte problema: Problema 1. Uma colnia de bactrias aumenta a uma taxa proporcional ao nmero de bactrias presentes, se o nmero duplica em 24h. Quantas horas sero necessrias para que o nmero de bactrias aumentem de 100 vezes ao nmero de bactrias original. Este um problema que envolve equaes diferenciais e que aprenderemos a resolver logo mais adiante.
Breve Histrico
O estudo das equaes diferenciais comeou com os mtodos do Clculo Diferencial e Integral, descobertos por Newton e Leibnitz, e elaborados no ltimo quarto do sculo X V I I para resolver problemas motivados por consideraes fsicas e geomtricas. Estes mtodos e sua evoluo, conduziram, gradualmente, consolidao das Equaes Diferenciais como um novo ramo da Matemtica que, em meados do sculo X V I I I , se transformou numa disciplina indepedente. Neste estgio, a procura e anlise de solues tornou-se uma nalidade prpria. Tambm nesta poca caram conhecidos os mtodos elementares de resoluo (integrao) de vrios tipos especiais de equaes diferenciais (tais como variveis separveis, homogneas, lineares, etc.), estudados, tradicionalmente, at nossos dias, em muitos cursos de introdutrios de Clculo. Talvez, a aplicao mais importante do clculo sejam as equaes diferenciais. Quando os fsicos ou cientistas sociais usam o clculo, em geral, o fazem para analisar uma equao diferencial surgida no processo de modelagem de algum fenmeno que eles esto estudando.
3.1
Introduo
Com o intuito de preparar nosso ambiente de trabalho, enunciaremos algumas denies:

CLCULO III
47
3.1 Denio. Numa lei que relaciona a varivel x , a funo y e as derivadas sucessivas y , y , . . . , y (n) , a equao F (x , y , y , y , . . . , y (n) ) = 0 chamada de equao diferencial ordinria de ordem n. Exemplo 3.1. So exemplos de diferenciais as equaes: 1. x 2 y + y x 3y = 0; 2. 3x 4 y + 2y x = x 3 . 3.2 Denio. A ordem de uma EDO a ordem da mais alta derivada contida na equao. 3.3 Denio. O grau de uma EDO dado pela potncia da mais alta derivada contida na EDO. Exemplo 3.2. (y )4 + (y )6 + x = 1 tem ordem 3 e grau 4. 3.4 Denio. Se uma funo f (x , y ) = 0 satisfaz F (x , y , y (x ), y (x ), . . . , y (n) ) = 0, ento dizemos que
f (x , y ) = 0 uma soluo desta EDO.

2 6 1 2 x x + 5x + C uma soluo geral da equao diferencial y 4x 5 = 5 x , uma 3 2 vez que y (x ) = 4x 5 x + 5 e, substituindo-se na equao diferencial, temos que: Por exemplo, y (x ) = (4x 5 x + 5) 4x 5 = 4x 5 x + 5 4x 5 = 5 x . 2 1 Note que, para vericarmos que y (x ) = x 6 x 2 + 5x + C era uma soluo, derivamos a funo y (x ) 3 2 e substitumos y (x ) e y (x ) na EDO, obtendo, assim, uma identidade. Outrossim, a soluo geral e, se 2 atribuirmos um valor a constante C , obteremos uma soluo particular da EDO. Por exemplo, y (x ) = x 6 3 1 2 x + 5x + 7 uma soluo particular e, neste caso, atribumos o valor 7 a constante C . 2 ER 3.1. Verique que a soluo geral da equao diferencial y (x )9y = 0 da forma y (x ) = C1 e 3x + C2 e 3x . ER 3.2. Verique que y = sen(x ) uma soluo para a EDO y + y = 0. Soluo: Derivando-se, sucessivamente, y = sen(x ), at segunda ordem, obtemos y = cos(x ) e y = sen(x ). Substituindo-se, na equao diferencial, temos: sen(x ) + sen(x ) = 0. Logo, y = sen(x ) uma soluo da EDO. 3.5 Denio. Uma soluo de uma EDO F (x , y , y , . . . , y (n) ) = 0, na qual guram n constantes arbitrrias, chamada de soluo geral desta EDO. E indicamos por f (x , y , C1 , C2 , . . . , Cn ) = 0. Nota 23. O nmero de constantes arbitrrias na soluo geral igual a ordem da EDO. 3.6 Denio. Uma soluo particular de uma equao diferencial obtida da soluo geral atribuindo-se valores as constantes arbitrrias C1 , C2 , . . . , Cn .
Exerccios Propostos
EP 3.3. Analise as armaes: 48
I. y (x ) = e x uma soluo particular da equao y + y = 0. II. y (x ) = C e x a soluo geral da equao y + y = 0. III. y (x ) = sen(x ) uma soluo particular da equao y + y = 0. IV. y (x ) = C1 sen(x ) + C2 cos(x ) a soluo geral da equao y + y = 0. V. y (x ) = 7x uma soluo particular da equao y + 3y y = 0.
Existncia e Unicidade de Soluo para uma EDO

Para encontrarmos a soluo de uma equao, geralmente, aplicamos mtodos algbricos ou numricos. Porm, antes de aplicarmos um destes, bom que saibamos se no o estamos fazendo em vo, pois, em alguns casos, se feitos manualmente, so processos demorados ou exaustivos. Devemos, portanto, antes de aplicarmos, requerer algum resultado que nos garanta a existncia de soluo. Alm disso, alguns processos so feitos, partindo-se do pr-suposto que temos nica soluo num determinado subconjunto. No caso das equaes diferenciais ordinrias veremos que, quando existe soluo, os mtodos encontram um soluo geral (geralmente, uma famlia de funes) e a soluo s ser nica se tivermos, associados a esta equao, certas condies adicionais. Alertamos que, descobrir uma soluo para uma equao diferencial algo similar ao clculo de uma integral e ns sabemos que existem integrais que no possuem primitivas, como o caso das integrais elpticas. Dessa forma, no de se esperar que todas as equaes diferenciais possuam solues. Portanto, trs perguntas so importantes a se fazer, antes de tentarmos encontrar solues para uma EDO: 1. Dada uma equao diferencial, ser que ela tem soluo? 2. Se tiver soluo, ser que esta soluo nica? 3. Existe uma soluo que satisfaz a alguma condio especial?
Problema de Valor Inicial

Como podemos ver, uma equao diferencial no possui soluo nica. Porm, se impusermos certas condies, poderemos encontrar nica soluo. Geralmente, uma equao diferencial de ordem m requer m 1 condies, a m de se obter nica soluo. Estas, podem ser de qualquer tipo. Por exemplo: y (0) = 2,
1
y (3) = 4 ou
cos(x )dx = 0.
0
Temos um Problema de Valor Inicial (PVI) se as m 1 condies adicionais associadas a uma equao diferencial de ordem m estiverem avaliadas num mesmo ponto. Por exemplo, Exemplo 3.3. (a)
y (x ) = y (1) =
y
0
(b)
y (x ) + cos(x )y = x 2 y (1) = 0, y (1) = 2
Para responder as perguntas feitas, enunciaremos um importante resultado: o Teorema de Existncia e Unicidade de Soluo. Ele nos d a resposta para as questes feitas, desde que a equao tenha algumas caractersticas.
CLCULO III
49
Teorema de Existncia e Unicidade de Soluo de um PVI

3.7 Lema. Seja f (x , y ) contnua num aberto R2 . Ento, y = (x ) uma soluo para intervalo real se, e somente se, contnua e satisfaz
x
dy = f (x , y ) num dx
(x ) = y0 +
x0
f (s , (s ))ds
( 3.4)
dy = f (x , y ). Segue que, (x ) = f (x , (x )) dx e integrando obtemos, facilmente, ( 3.4) e como se trata de uma integral de uma funo contnua segue,
Prova: Suponhamos que y = (x ) uma soluo para claramente, que contnua. Reciprocamente, suponhamos que contnua e vale ( 3.4). Pelo teorema dy = f (x , y ). 2 fundamental do clculo, segue que y = (x ) uma soluo para dx f (x , y ) so contnuas num aberto R2 , ento, para todo (x0 , y0 ) o PVI y tem uma nica soluo denida em um intervalo aberto contendo x0 . 3.8 Teorema. Se f (x , y ) e A demonstrao feita atravs de aproximaes sucessivas ou mtodo de Picard e encontrada em bons livros . Nota 24. O teorema de existncia e unicidade de soluo garante que a equao diferencial de primeira ordem com uma condio adicional,
a0 (x )y + a1 (x )y = d (x ), y (x0 ) = y0
possui uma nica soluo se, as funes a0 = a0 (x ), a1 = a1 (x ) e d = d (x ) so contnuas e a0 = a0 (x ) no identicamente nula em um intervalo aberto real contendo o ponto x0 . ER 3.4. Encontrar a EDO que corresponde a soluo geral y = K x 2 , K R. Soluo: Derivamos, implicitamente, a funo para obtermos a EDO: y = 2K x . Ainda, com base y na equao da funo, isolemos a constante arbitrria K . Assim, da funo principal temos que K = 2 . x Observe que neste exerccio temos uma constante arbitrria K , o que signica que a EDO ter ordem 1. Substituindo-se o valor de K encontrado na EDO temos:
y = 2K x y = 2
2y y x y = . x2 x
Exerccio Proposto
EP 3.5. Encontre a EDO correspondente famlia y = K x 2 , K R. (a) y = ax + b , a, b R . (b) x = y 1 + K e y , K R .
Estudaremos, agora, alguns tipos especiais de equaes diferenciais. 50

3.2
Equaes Diferenciais Ordinrias a Variveis Separveis
3.9 Denio. Uma equao separvel aquela diferencial de primeira ordem na qual a expresso dada por dy pode ser escrita como o produto de uma funo de x (g (x )), por outra funo de y (h(y )). dx
dy = g (x ) h(y ). dx
O nome separvel vem do fato de que a expresso do lado direito pode ser separada em uma funo de x e do lado esquerdo em uma funo de y , ou seja,
dy = g (x )dx . f (y )
Assim, basta integrar ambos os lados da equao para obter a soluo, uma integral em funo de y e a outra em funo de x , como mostrado a seguir.
dy = f (y )
g (x )dx .
Retornemos ao problema 1, o qual perguntava a quantidade de horas necessrias para que o nmero de bactrias aumentasse em 100 vezes em relao ao nmero de bactrias original, se este nmero duplica em 24h, uma vez que o nmero de bactrias aumentava a uma taxa proporcional ao nmero de bactrias presentes. Soluo: Chamemos B (t ) a quantidade de bactrias presentes para um tempo t . Portanto,
dB (t ) dB (t ) B (t ) = = K B (t ), dt dt
onde K constante
dB (t ) = B (t )
Portanto,
K dt = ln(B (t )) = K t + c = e ln(B (t )) = e K t +c
B (t ) = e K T e c = B (t ) = A e K T .
Assim, para t = 0 B (t0 ) = A e 0 = A. Para t = 24, temos 2B (t0 ) = B (t0 ) e K 24 . Logo, ln(2) = 24K . Assim, ln(2) . K = 24 Quando aumentando em 100 vezes, o nmero de bactrias temos t igual a: 100B (t0 ) = B (t0 ) e
ln(2) 24 t
= ln(100) =
ln(2) 48 ln(10) t = t = . 24 ln(2)
ER 3.6. Resolva a equao diferencial
dy x2 = 2. dx y
Soluo: A equao Assim,
x2 dy = 2 , pode ser reescrita, de forma equivalente, na equao y 2 dy = x 2 dx . dx y y 2 dy = x 2 dx y3 x3 = + C, 3 3
em que C uma constante formada pelas constantes decorrentes das integraes em ambos os membros. Podemos dizer, ainda, que a soluo desta EDO dada por: y 3 x 3 = K , onde K = 3C . ER 3.7. Resolva a equao diferencial: xy y = 1 x 2 .
CLCULO III
51
Soluo: A equao xy desta, obtemos:
dy 1 x2 = 1 x 2 equivale a y dy = dx . Integrando-se ambos os membros dx x y dy = y2 1 x2 dx = x 2

1 dx x
x dx
Assim,
y2 x2 = ln |x | + c y 2 ln |x | + x 2 = K . 2 2
Exerccios Propostos
EP 3.8. Encontre a soluo para as equaes: (a)
y dy sen(x 2 )dx = 0; x
2
(b)
dy = e x +y . dx
EP 3.9. Dada a equao diferencial y (x ) = 2xe x + 3. (a) Encontrar a soluo geral da equao. (b) Encontrar uma soluo particular que satisfaa a condio y (0) = 1, ou seja, se x = 0, ento y = 1.
3.3
Equaes Diferenciais Ordinrias Homogneas
3.10 Denio. Uma funo f (x , y ) chamada de homognea de grau n se, para todo t R, vale a relao
f (tx , ty ) = t n f (x , y ).
Nota 25. A funo f (x , y ) homognea de grau 0 se, para todo t R, vale a relao
f (tx , ty ) = f (x , y ).
ER 3.10. Mostre que a funo f (x , y ) = x 2 + y 2 homognea de grau 2. Utilizando-se a denio, temos que:
f (tx , ty ) = t 2 x 2 + t 2 y 2 = t 2 (x 2 + y 2 ) = t 2 f (x , y ).
3.11 Denio. Uma equao diferencial de primeira ordem na forma y = f (x , y ) dita homognea, se
f = f (x , y ) uma funo homognea de grau zero.

ER 3.11. Mostre que a funo y =
x2 + y2 homognea de grau zero. xy
Utilizando-se a denio, temos que:
f (tx , ty ) =
t 2 (x 2 + y 2 ) t 2x 2 + t 2y 2 = = f (x , y ). txty t 2 xy
52
3.3.1
Resoluo de uma EDO Homognea de Primeira Ordem
Considere a EDO homognea,
dy = f (x , y ) = f (tx , ty ) dx
Faa t = 1 , x = 0. Portanto, x
y dy = f 1, dx x
em que, u =
= f (1, u ),
y . Assim, x y = ux dy du =x +u1 dx dx
Transformamos uma EDO homognea numa EDO separvel, cuja equao :
x
em que, g (x ) =
du 1 du du + u = f (1, u ) = [f (1, u ) u ] = g (x ) h(u ), dx dx x dx
1 e h(u ) = f (1, u ) u . x
ER 3.12. Resolva a equao diferencial y =
x2 + y2 . xy
Soluo: Vimos no exerccio 3.11 que esta equao uma EDO homognea. Assim, temos,
y =
Aplicando a frmula x
x2 + y2 x2 y2 x y 1 = + = + = + u = f (1, u ) xy xy xy y x u
du + u = f (1, u ), temos, dx x
1 du 1 du +u = +u x = dx u dx u
dx . Vamos integrar ambos o membros desta e utilizar de lgebra elementar para encontrar x a soluo geral. Observe:
Segue que, udu =
udu =
dx u2 y2 = ln |x | + K u 2 = 2 ln |x | + C 2 = 2 ln |x | + C y 2 = x 2 (2 ln |x | + C ) x 2 x
Exerccio Proposto
EP 3.13. Resolva as equaes diferenciais: (a) y =
x +y ; x y
dy y+ (b) = dx
x2 + y2 . x
3.4
Equaes Diferenciais Exatas
3.12 Denio. Uma funo F (x , y ) chamada de diferencial total ou exata se,
dF =
F F dx + dy . x y
CLCULO III
53
Nota 26. Com o intuito de termos expresses menos carregadas para as EDO, pode-se utilizar a notao
Mx para representar a derivada parcial da funo M em relao varivel x , ou seja, Mx =

M . x
3.13 Denio. Uma equao na forma diferencial M (x , y )dx + N (x , y )dy = 0 chamada de Exata, se existir uma funo F = F (x , y ) cuja diferencial exata dF = Fx dx + Fy dy coincide com M (x , y )dx + N (x , y )dy = 0, isto :
dF = M (x , y )dx + N (x , y )dy = 0.
Sob certas condies de diferenciabilidade das funes M e N , temos um outro critrio para determinarmos quando uma EDO exata: Dizemos que M (x , y )dx + N (x , y )dy = 0 exata se My = Nx . De maneira formal, enunciaremos este resultado atravs do seguinte teorema: 3.14 Teorema. Suponha que M (x , y ) e N (x , y ) sejam contnuas e tenham derivadas parciais contnuas em relao as variveis x e y em regies limitadas. Ento, existe uma funo F (x , y ) tal que F x F y
M (x , y ) = N (x , y ) =
se, e somente se, a equao exata. Prova: Suponhamos que F (x , y ) uma funo tal que
( 3.5)
M (x , y ) = N (x , y ) =
Integrando-se M (x , y ) = F obtemos: x
F x F y
F (x , y ) =
onde h(y ) uma funo arbitrria de y .
M (x , y )dx + h(y ),
Derivando-se esta equao, em relao a varivel y , teremos que: F (x , y ) = y M (x , y )dx + h (y ) h (y ) = N (x , y ) y M (x , y )dt . y
Observe que no primeiro membro temos uma funo de uma nica varivel e, segue que, o outro membro, necessariamente, tambm uma funo denida em y . Assim, dh N (x , y ) =0 dx x Portanto, a equao exata. Reciprocamente, suponhamos que a equao exata e considere

N M M (x , y )dt = 0 = 0. y x y
F (x , y ) =
M (x , y )dx +
N (x , y )
M (x , y )dx dy . y
Logo, as equaes em ( 3.5) so, claramente, satisfeitas. 54

ER 3.14. Verique se as seguintes EDO so exatas. (a) 3x 2 y 2 dx + 2x 3 y dy = 0; Soluo: (a) 3x 2 y 2 dx + 2x 3 y dy = 0 exata, pois My = 6x 2 y = Nx . (b) x dx + y dy = 0 exata, pois My = 0 = Nx . (c) y dx xdy = 0 no exata, pois My = 1 = 1 = Nx . (b) x dx + y dy = 0; (c) y dx xdy = 0.
3.4.1
Mtodo de Resoluo para uma EDO Exata
Uma vez que j constatamos que a EDO da forma M (x , y )dx + N (x , y )dy = 0 exata (geralmente isto feito utilizando-se as equaes em ( 3.5)) devemos seguir o seguinte mtodo: 1. Nomear a soluo da EDO exata. Por exemplo, F = F (x , y ). Assim, F = M (x , y ) x F = N (x , y ) y 2. Tomar a relao Fx = M (x , y ) e integrar em relao varivel x para obter:
F (x , y ) =
M (x , y )dx + g (y ).
Observe, aqui, que a constante de integrao uma funo de y . 3. Derivar, parcialmente, esta ltima funo (F = F (x , y )) em relao varivel y . Assim, obtemos: F = y y
M (x , y )dx + g (y )
Observe, aqui, que esta derivada uma funo N = N (x , y ) e, deste fato, obtemos a expresso para g (y ). 4. A soluo da EDO exata ser dada por
F (x , y ) = C
De uma forma mais simples, identicamos a soluo geral de uma EDO exata por:
M (x , y )dx +
em que, F (x , y ) =
N (x , y )
F y
dy = C ,
M (x , y )dx .
ER 3.15. Verique se a EDO (2x + y )dx + (2y + x )dy = 0 exata, caso armativo, ache a soluo geral. Soluo: Veja que My = 1 = Nx . Logo, exata. Assim, sigamos o mtodo proposto.
F (x , y ) =
Sendo assim,
M (x , y )dx =
(2x + y )dx = x 2 + y x
F =x y
CLCULO III
55
Portanto,
N (x , y )
F y
dy =
[(2y + x ) x ] dy = y 2 .
Logo, a soluo geral da equao (2x + y )dx + (2y + x )dy = 0 x 2 + y x + y 2 = C . ER 3.16. Resolva a equao (3x 2 + 2y )dx + (2x + 2y )dy = 0. Soluo: Veja que My = 2 = Nx . Logo, exata. Assim,
F (x , y ) =
Segue que
M (x , y )dx =
(3x 2 + 2y )dx = x 3 + 2y x
F = 2x . y
N (x , y )
F y
dy =
((2x + 2y ) 2x ) dy = y 2
Logo, a soluo geral da equao (3x 2 + 2y )dx + (2x + 2y )dy = 0 x 3 + 2xy + y 2 = C .
Exerccio Proposto
EP 3.17. Encontre a soluo para as seguintes equaes (a) (x + 3y 4)dx + (3x 2y + 1)dy = 0; (b) (x + y )dx + (x y )dy = 0, y (0) = 2.
3.5
Fator Integrante
3.15 Denio. Uma funo I (x , y ) chamada de Fator Integrante da equao diferencial M (x , y )dx + N M = , se N (x , y )dy = 0, com y x
I (x , y )M (x , y )dx + I (x , y )N (x , y )dy = 0
for exata, ou seja, (I N ) (I M ) = y x
3.5.1
Determinao do Fator Integrante
Considere que a equao M (x , y )dx + N (x , y )dy = 0 no exata. Nosso problema aqui ser o de determinar, se possvel, uma funo I (x , y ) que ao multiplicar ambos os membros, a transforme numa equao diferencial exata. Como a nova equao obtida equivalente a primeira, a soluo obtida ser a mesma. Para encontrarmos a funo I (x , y ) multipliquemos ambos os membros da equao M (x , y )dx + N (x , y )dy = 0 por ela. Assim, obtemos I (x , y ) M (x , y )dx + I (x , y ) N (x , y )dy = 0. Para que esta seja exata temos que (I N ) (I M ) (x , y ) = (x , y ). y x Pela regra de derivao do produto de funes, temos
I
56
M I N I +M =I +N y y x x
ou, ainda,
M
O quociente desta por I resulta em:
I I N =I y x
M N x y
I I 1 M N I y x ou seja,
N M . x y
1 I 1 I N M N = . I y I x x y Lembrando-se da regra de derivao composta, temos que:
ln(I ) x ln(I ) y Assim, podemos escrever
= =
1 I 1 I
I x I y
ln(I ) ln(I ) N M N = . y x x y
evidente que qualquer I (x , y ) que satisfaz esta equao um fator integrante. Observamos que a obteno de I no uma tarefa to simples quando ela depende das duas variveis. Quando I depende somente de uma varivel existe um mtodo para a obter. Suponha que I depende, somente, da varivel y . Portanto, temos: ln(I ) = 0. x E temos, portanto, a seguinte EDO: ln(I ) N M ln(I ) 1 = = = y x y y M N M x y 1 M M N x y
Integrando-se esta equao com respeito a y , obtemos: ln(I ) dy = y Portanto, 1 M 1 M N M x y
dy ln(I ) =
1 M
N M x y
dy
dy I (y ) = e
N M x y
depende somente de y . 1 N M N y x
O raciocnio para encontrar um fator integrante que dependa somente da varivel x anlogo e depende, somente, da varivel x .
Nota 27. Caso no se consiga obter I em funo de x , tenta-se encontrar I em funo de y , ou seja, N M N M y x x y uma funo que depende de x ou se uma funo que depende vericamos se N M de y . ER 3.18. Resolva a EDO (3x 2 y 2 )dx + (2xy )dy = 0. Soluo: Observe que a equao no exata. De fato, N M = 2y = 2y = y x Vamos, ento, se possvel, determinar o fator integrante I que dependa somente da varivel y .
I (2y 2y ) = (3x 2 y 2 )
dI dI I (4y ) = (3x 2 y 2 ) dy dy
CLCULO III
57
Como constatamos a presena da varivel x , no existe I (y ). Tentemos, portanto, obter um fator integrante I que dependa, somente, da varivel x .
I (2y 2y ) = 2xy
dI dI dx dI 1 dI I (4y ) = 2xy 2I = x 2 = 2 ln(x ) = ln(I ) I = 2 . dx dx dx x I x
Multiplicamos I na equao original transformando-a em exata. Observe: (3x 2 y 2 )dx + (2xy )dy = 0 Note, agora, que 1 y2 2y 1 ((3x 2 y 2 )dx + (2xy )dy ) = 2 0 (3 2 )dx + dy = 0. 2 x x x x
M N 2y = 2 = . Assim, y x x
F (x , y ) =
Segue que 2y F = y x
M (x , y )dx =
y2 x2
dx = 3x +
y2 x
N (x , y )
F y
dy =
2y 2y x x
dy = 0.
Logo, a soluo geral da equao (3x 2 y 2 )dx + (2xy )dy = 0 3x +
y2 = C. x
Exerccio Proposto
EP 3.19. Resolva as equaes diferenciais: (a) (xy 2 + y )dx xdy = 0; (b) x ln(x )dy = y dx , y(3)=4.
3.6
Trajetrias
3.16 Denio. Duas famlias de curvas F e T so chamadas de trajetrias sob o ngulo , 0 < < , se cada curva da famlia F intercepta todas as curvas da famlia T sob o ngulo . Se = Se = , as trajetrias so chamadas de ortogonais. 2
2,
as trajetrias so chamadas de isogonais.
No caso em que duas famlias F e T so ortogonais, as retas tangentes em cada ponto (x , y ) s curvas yF e yT so perpendiculares. Assim, determinamos a famlia de trajetrias ortogonais por: 1 dyF = dyT dx dx ER 3.20. Encontre a trajetria ortogonal famlia y = cx , c R.
y y Soluo: Temos que y = c e, da equao original, temos que c = . Segue que, y = . Chamemos, x x y ento, yT = . Assim, x 1 x yF = y = . y x
58
Segue que,
x y2 x2 dy = y dy = xdx + = A. dx y 2 2
Logo, a trajetria ortogonal famlia y = cx x 2 + y 2 = K , K R.
Exerccio Proposto
EP 3.21. Encontre as trajetrias ortogonais s famlias: (a) Circunferncias de centro na origem e raio qualquer; (b) y = K x 2 , K R; (c) y = ln(x 3 + b ), b R; (d) y = b e x , b R.
3.7
Equaes Diferenciais Ordinrias Lineares
3.17 Denio. Uma equao diferencial de primeira ordem dita linear quando ela tem a seguinte forma geral:
dy + p (x )y = q (x ) dx
em que, p (x ) e q (x ) so funes contnuas denidas em x .
( 3.6)
Quando q a funo identicamente nula, dizemos que a equao homognea. Caso contrrio, ela dita no homognea. Exemplo 3.4. A equao
dy dy + y = 3x no homognea, enquanto, e x y = 0 homognea. dx dx
Nota 28. Em algumas literaturas a equao ( 3.6) equivalente a seguinte equao
M (x , y )dx + N (x , y )dy = 0
3.7.1
Mtodo do Fator Integrante
Um bom mtodo para se encontrar a soluo de uma equao da forma,
y + p (x )y = q (x )
multiplicar todos os membros da equao por um Fator Integrante, que uma funo I = I (x ). Sendo assim, temos que I (x )y (x ) + I (x )p (x )y (x ) = I (x )q (x ). Impondo que o primeiro membro desta, seja, exatamente, a derivada da funo I (x ) y (x ), isto :
d [I (x ) y (x )] = I (x ) y (x ) + I (x ) p (x ) y (x ), dx
mas, para que isto ocorra, devemos exigir que I = I (x ) satisfaa a
I (x )y (x ) + I (x )y (x ) = I (x )y (x ) + I (x )p (x )y (x )
Sendo assim, basta tomar
I (x )y (x ) = I (x )p (x )y (x )
CLCULO III
59
Admitindo que y = y (x ) no seja identicamente nula, temos que:
I (x ) = I (x )p (x )
Desse modo, devemos, primeiramente, resolver esta ltima equao diferencial,
d I (x ) ln(I (x )) = = p (x ) dx I (x )
ln(I (x )) = Da, obtemos uma soluo como
d ln(I (x )) = dx p (x )dx .
p (x )dx
I (x ) = e
p (x )dx
Para simplicar um pouco a notao para deduo da expresso, tomaremos
P (x ) =
p (x )dx ,
para podermos escrever o fator integrante I = I (x ), como
I (x ) = e P (x )
Multiplicando-se os membros desta equao por I (x ) = e P (x ) , obteremos:
e P (x ) y + p (x )e P (x ) y (x ) = q (x )e P (x )
O primeiro membro a derivada da funo y (x ) e P (x ) em relao varivel x e, portanto, poderemos escrever
d (y (x ) e P (x ) ) = q (x )e P (x ) dx
e, integrando-se ambos os lados da igualdade, obteremos
y (x ) e P (x ) =
q (x ) e P (x ) dx + C
Dessa forma, temos uma expresso para y = y (x ) que nos da a soluo da EDO, dada por:
y (x ) = e
p (x )dx
q (x ) e
p (x )dx
dx + C
ER 3.22. Resolva a equao y + 2xy = x . Soluo: Veja que p (x ) = 2x e q (x ) = x . Assim,

y (x ) = e
p (x )dx
q (x ) e
p (x )dx
dx + C
=e
2xdx
x e
2xdx
dx + C
Segue que
y (x ) = e
x 2
x e dx + C
x2
=e
x 2
ex +C 2
2 1 + C e x 2
Exerccio Proposto
EP 3.23. Resolva as equaes diferenciais: (a) y + 60 5 = 3x 3 ; x (b) y y = e x ; (c) xy + 2y = e x .
2
3.8
Um Pouco da Histria e da Filosoa Desenvolvida Paralelamente s EDO
Em geral, podemos dizer que as equaes diferenciais so o corao da anlise e do clculo, dois dos mais importantes ramos da matemtica nos ltimos 300 anos. Como uma ferramenta matemtica importante para as cincias fsicas, a equao diferencial no tem igual. Assim, amplamente aceito que equaes diferenciais so importantes para a matemtica pura quanto para a aplicada. Os seus fundamentos parecem estar dominados pelas contribuies de um homem, Leonhard Euler. Naturalmente, isto seria uma simplicao grosseira do seu desenvolvimento. Existem vrios contribuintes importantes e, aqueles que vieram antes de Euler, foram necessrios para que ele pudesse entender o clculo e a anlise necessrios para desenvolver muitas das idias fundamentais. A histria comea a partir do momento em que Fermat, Newton, e Leibniz tiveram o entendimento suciente e a notao para a derivada. Esta, ento, logo apareceu em equaes. Nasce esta teoria. Contudo, descobriram que as solues para estas equaes no eram to fceis. A integral (antiderivada) e seu papel terico no Teorema Fundamental do Clculo ofereciam ajuda direta apenas quando as variveis eram separadas, em circunstncias muito especiais. O mtodo de separao de variveis foi desenvolvido por Jakob Bernoulli e generalizado por Leibniz, iniciando, assim, no sculo X V I I , este ramo da matemtica. Por volta do incio do sculo X V I I I , surge uma nova onda de pesquisadores que comearam a aplicar equaes diferenciais a problemas em astronomia e cincias fsicas. Jakob Bernoulli estudou, cuidadosamente, e escreveu equaes diferenciais que modelavam o movimento planetrio, usando os princpios de gravidade e momento, desenvolvidos por Newton. O trabalho de Bernoulli incluiu o desenvolvimento da catenria e o uso de coordenadas polares. Nesta poca, as equaes diferenciais estavam interagindo com outros tipos de matemtica e cincias para resolver signicativos problemas aplicados. O irmo de Jakob, Johann Bernoulli, foi, provavelmente, o primeiro matemtico a entender o clculo de Leibniz e os princpios de mecnica para modelar, matematicamente, fenmenos fsicos usando equaes diferenciais e a encontrar suas solues. Ricatti (1.676 1.754) comeou um estudo srio de uma equao em particular, mas foi limitado pelas teorias do seu tempo para casos especiais da equao que leva hoje seu nome. Os Bernoulli, Jakob, Johann, e Daniel, todos, tambm, estudaram os casos da equao de Ricatti. Na poca, Taylor usou sries para resolver equaes diferenciais. Outros desenvolveram e usaram estas sries para vrios propsitos. Contudo, o desenvolvimento de Taylor de diferenas nitas comeou um novo ramo da matemtica intimamente relacionado ao desenvolvimento das equaes diferenciais. O desenvolvimento das equaes diferenciais precisava de um mestre para consolidar e generalizar os mtodos existentes e criar novas e mais poderosas tcnicas para atacar grandes famlias de equaes. Muitas equaes pareciam amigveis, mas, tornaram-se decepcionantemente difceis. Em muitos casos, tcnicas de solues iludiram perseguidores por cerca de 50 anos, quando Leonhard Euler chegou cena das equaes diferenciais. Euler entendeu o papel e a estrutura de funes, estudou suas propriedades e denies. Rapidamente chegou a concluso que a teoria de funes eram a chave para entender as equaes diferenciais e desenvolver mtodos para encontrar suas solues. Usando seu conhecimento sobre funes, desenvolveu procedimentos para encontrar solues de vrios tipos de equaes. Foi o primeiro a entender as propriedades e os papis das funes exponenciais, logartmicas, trigonomtricas e muitas outras funes elementares. Euler tambm desenvolveu vrias funes baseadas em solues em sries de tipos especiais de equaes diferenciais. Suas tcnicas de conjecturar e encontrar os coecientes indeterminados foram etapas fundamentais para desenvolver este assunto. Em 1.739, desenvolveu o mtodo de variao de parmetros. Seu trabalho tambm incluiu o uso de aproximaes numricas e o desenvolvimento de mtodos numricos, os quais proveram solues aproximadas para quase todas as equaes. Euler ento continuou aplicando o trabalho em mecnica
CLCULO III
61
que levou a modelos de equaes diferenciais e solues. Ele era um mestre que esta teoria necessitava para se desenvolver alm de seu incio primitivo, tornando-se coesa e central ao desenvolvimento da matemtica aplicada moderna. Temos que lembrar que os avances em equaes diferencias aconteceram paralelamente ao desenvolvimento da losoa que seriam fundamentais para o que hoje conhecido como losoa matemtica. Vejamos algum aspectos destas correntes do pensamento humano. As principais fontes especulativas do idealismo clssico alemo so, em primeiro lugar, Kant e depois Spinoza. De Kant deriva o conceito de sntese a priori, criatividade e autonomia do esprito, que se desenvolve, logicamente, no monismo imanentista. Depois, Spinoza impele, decididamente, o idealismo alemo para o caminho do monismo, imanentista, para o qual j fora orientado por Kant. Correspondente ao movimento losco do idealismo pode ser considerado o romantismo; este um fenmeno artstico e literrio, e tambm especialmente alemo; pois, tambm o romantismo dominado pelo conceito de criatividade e libertao do esprito, como o idealismo. Os maiores lsofos do idealismo so: Fichte, Schelling, Schleiermacher e Hegel. Os maiores crticos desse sistema so: Herbart e Schopenhauer. No obstante, o seu conceito de criatividade do esprito, de sntese a priori, Kant deixara ainda certos dados, perante os quais o esprito passivo: o mundo dos noumenons, que o esprito no conhece, isto , uma matria misteriosa, donde derivariam as sensaes, e um mundo inteligvel, donde derivaria a atividade criadora do esprito. Ora, o idealismo clssico nega o transcendente mundo noumnico kantiano, resolvendo a matria em uma produo inconsciente do esprito, e resolvendo o inteligvel transcendente no transcendental criador da experincia. Jorge Guilherme Frederico Hegel nasceu em Stuttgart, em 1.770. Estudou teologia e losoa, simpatizou com o iluminismo e o criticismo, mas voltou-se, em seguida, para o historicismo romntico, aproximando-se de Fichte e Schelling. Lecionou em vrias universidades alems, especialmente na de Berlim, onde granjeou muita fama e exerceu notvel inuncia. Faleceu em Berlim, em 1.831. As suas obras loscas principais so: Fenomenologia do Esprito; Lgica; Enciclopdia das Cincias Filoscas. Com Hegel, o idealismo alemo e o pensamento contemporneo, em geral, atingem o seu vrtice imanentista em um poderoso sistema dialtico. Para poder erigir a realidade da experincia em realidade absoluta, divina, Hegel obrigado a inventar uma nova lgica e com esta racionalizar absolutamente o elemento potencial e negativo da mesma experincia (o mal metafsico, moral e fsico). Assim, podemos dizer que enquanto os matemticos desenvolviam a teoria de equaes diferencias, grande lsofos da humanidade tambm desenvolviam o que conhecido como idealismo, que abriu o caminho para o que logo seria a losoa matemtica.
Gabarito
cos(x 2 ) y2 + = C ; (b) e x + e y = C . 3.9 3.13 (a) 3.3 I. (V); II. (V); III. (V); IV. (V) e V. (F). 3.5 (a) y = 0; (b) 1 = y (y x ). 3.8 (a) 2 2 2 y x2 x x 2 arctg( ) = ln(x 2 + y 2 )C ; (b) y + + 3xy 4x + y = C ; (b) y 2 x 2 2xy = 4. 3.19 (a) + = C; x 2 + y 2 = x 2 C . 3.17 (a) x 2 2 y 9 1 x 4 ln(x ). 3.21 (a) y = C x ; (b) 2y 2 + x 2 = C ; (c) e y + = C ; (d) y 2 2x = C . 3.23 (a) x 5 y + = C ; (b) y = e x (x + C ); (c) (b) ln(3) 3x 3
y = x 2
ex +C 2
62
EDO de Segunda Ordem e algumas

TEMA 04
aplicaes s diversas reas
EDO Linear de Segunda Ordem

4.1
4.1.1
Introduo
Funo de Duas Variveis
4.1 Denio. Uma funo real a duas variveis uma relao que transforma em um nico nmero real z cada par ordenado (x , y ) de nmeros reais de um certo conjunto D R2 , chamado de domnio da funo, e escrevemos z = f (x , y ). Em outras palavras,
f : D R2
(x , y ) z = f (x , y ) Nota 29. Na equao z = f (x , y ), dizemos que z a varivel dependente e que x e y so as variveis independentes; O conjunto de todos os valores possveis de z , que pode ser obtido aplicado a relao f aos pares ordenados (x , y ) D , denominado Imagem de f .
4.1.2
Dependncia Linear de Funes
4.2 Denio. Chamamos de Wronskiano das funes y1 e y2 ao determinante,
W (y1 , y2 ) =
Exemplo 4.1.

y1
y1
y2
y2
W (x , 3x ) =
x
1
3x 3
=0
4.3 Denio. Duas funes y1 e y2 so linearmente independentes num intervalo [a, b ] se W (y1 , y2 ) = 0, x [a, b ], caso contrrio, so linearmente dependentes. Vamos estudar, em particular, as equaes diferenciais homogneas de segunda ordem, ressaltando que os resultados encontrados podem ser generalizados para uma equao de ordem n.
4.2
EDO Homognea com Coecientes Variveis
Tome a equao linear homognea de ordem 2 com coecientes variveis,
y + a1 (x )y + a2 (x )y = 0
( 4.7)
CLCULO III
63
4.4 Teorema. Sejam y1 e y2 duas solues linearmente independentes da equao ( 4.7). Ento 1. K y1 , K R uma soluo de ( 4.7). 2. (y1 + y2 ), uma soluo de ( 4.7). 4.5 Teorema. Sejam y1 (x ) e y2 (x ) duas solues linearmente independentes da equao ( 4.7), com a1 (x ) e
a2 (x ) contnuas num intervalo I . Se y (x ) qualquer soluo de ( 4.7), ento c1 , c2 R tais que y (x ) escrito
como combinao linear de y1 (x ), y2 (x ), ou seja,
y (x ) = c1 y1 (x ) + c2 y2 (x ), x I
4.6 Denio. Se y1 (x ) e y2 (x ) so duas solues linearmente independentes da equao ( 4.7), a soluo geral de ( 4.7) dada por:
y (x ) = c1 y1 (x ) + c2 y2 (x ), c1 , c2 R.
4.7 Teorema. Seja y1 (x ) uma soluo de ( 4.7). Ento, a outra soluo de ( 4.7) linearmente independente com y1 (x ) dada por:
y2 (x ) = y1 (x )
ER 4.1. Encontre a soluo geral da equao y + 1 . Assim, x
a1 (x )dx
(y1 (x ))2
dx .
1 1 y 2 y = 0, sendo que y1 = x uma soluo. x x
Soluo: Veja que a1 (x ) =
y2 (x ) = y1 (x )
e
(y1
a1 (x )dx
(x ))2
dx = x
1 dx x
x2
dx
= =
x x
e ln(x ) dx x2 x 1 dx = x x2
x 3 dx =
1 2x
Logo, a soluo geral ,
y (x ) = c1 x c2
1 1 = A x + B , A, B R 2x x
Exerccio Proposto
EP 4.2. Encontre a soluo geral das equaes seguintes, sendo que y1 uma soluo. (a) y + 2 sen(x ) y + y = 0, y1 = x x (b) x 2 y 6y = 0, y1 = x 3
4.3
EDO Homognea com Coecientes Constantes
As equaes diferenciais lineares a coecientes constantes so sob muitos aspectos as mais simples das equaes diferenciais. Estas EDO formam a nica classe numerosa de equaes diferenciais de ordem maior que um que podem ser explicitamente resolvidas. Alm disso, tais equaes surgem em uma variedade surpreendente de problemas fsicos. 64
Tome a equao linear homognea de ordem 2, com coecientes constantes,
y + a1 y + a2 y = 0
Vamos procurar, para estas equaes, solues do tipo y (x ) = e kx . Ora, se y (x ) = e kx soluo de ( 4.8), ento, (e kx ) + a1 (e kx ) + a2 (e kx ) = 0 k 2 e kx + a1 ke kx + a2 e kx = e kx (k 2 + a1 k + a2 ) = 0 k 2 + a1 k + a2 = 0. Resultando no seguinte teorema.
( 4.8)
raiz da equao K 2 + a1 K + a2 = 0.
4.8 Teorema. A funo y (x ) = e k1 x , onde k1 R uma soluo da equao ( 4.8) se, e somente se, k1 uma
4.9 Denio. A equao K 2 + a1 K + a2 = 0 chamada de equao caracterstica, ou equao discriminante, da equao diferencial ( 4.8) e suas razes so chamadas de razes caractersticas. ER 4.3. Determine a soluo geral da equao y 3y + 2y = 0 Soluo: Resolvendo a equao caracterstica K 2 3K + 2 = 0 temos, k1 = 1 e k2 = 2. Assim y1 = e 1x Temos 3 casos a considerar: 1. Caso: As razes de K 2 + a1 K + a2 = 0 so reais e distintas. Sejam k 1 = k 2 razes de K 2 + a1 K + a2 = 0. Ento y1 = e k1 x e y2 = e k2 x so solues linearmente independentes de ( 4.8). De fato:
k2 e k2 x
e y2 = e 2x so solues de y 3y + 2y = 0. Logo a soluo geral y = Ae x + Be 2x .
W (e k1 x , e k2 x ) =

e k1 x k1 e
k1 x
e k2 x
= k2 e (k1 +k2 )x k1 e (k1 +k2 )x = (k2 k1 )e (k1 +k2 )x = 0, pois k1 = k2 .
O conjunto
e k1 x , e k2 x
uma base para o espao soluo da equao diferencial e , tambm,
chamado de sistema fundamental de solues. As solues so combinaes lineares da base. A soluo geral , portanto, y = Ae k1 x + Be k2 x . 2. Caso: As razes de K 2 + a1 K + a2 = 0 so reais e iguais. Sejam k1 = k2 = k razes de K 2 + a1 K + a2 = 0. Uma soluo da equao y1 = e kx . Outra soluo, linearmente independente, pode ser obtida pela frmula
y2 (x ) = y1 (x )
Assim,
a1 (x )dx
(y1 (x ))2
dx .
y2 (x ) = y1 (x )
a1 dx dx = e
kx
a1 dx dx = e kx
(y1 (x ))2
(e kx )2
e a 1 x dx = e kx e 2kx
e (2k +a1 )x dx
Temos que 2k + a1 = 0, pois k1 + k2 = 2k = a1 . Assim,
y2 (x ) = e kx
dx = xe kx
CLCULO III
65
O conjunto e kx , xe kx uma base para o espao soluo da equao diferencial e tambm chamado de sistema fundamental de solues. As solues so combinaes lineares da base. A soluo geral , portanto, y = Ae kx + Bxe kx . 3. Caso: As razes de K 2 + a1 K + a2 = 0 so complexas. Sejam k1 = a + ib e k2 = a ib as razes complexas conjugadas de K 2 + a1 K + a2 = 0. Ento, y1 = e (a+i b)x e y2 = e (ai b)x so solues da equao. Usando a frmula de Moivre e i = cos() + i sen(). As solues acima cam y1 = e ax (cos(bx ) + i sen(bx )) e y2 = e ax (cos(bx ) i sen(bx )). A partir destas funes, vamos procurar solues reais que satisfaam a equao ( 4.8). Vamos mostrar, inicialmente, que se y = u (x ) + iv (x ) soluo de ( 4.8) ento u (x ) e v (x ) tambm so solues. De fato: (u + iv ) + a1 (u + iv ) + a2 (u + iv ) = 0 u + a1 u + a2 u + i (v + a1 v + a2 v ) = 0 Como,
u + a1 u + a2 u = 0 e v + a1 v + a2 v = 0
y1 = e (a+i b)x = e ax (cos(bx ) + i sen(bx )) = e ax cos(bx ) + ie ax sen(bx )).

Temos que u (x ) = e ax cos(bx ) e v (x ) = e ax sen(bx ) so solues da equao. Alm disso, elas so L.I., pois, W (u (x ), v (x )) = be 2ax = 0. O conjunto {e ax cos(bx ), e ax sen(bx )} uma base para o espao soluo da equao diferencial e tambm chamado de sistema fundamental de solues. As solues so combinaes lineares da base. A soluo geral da equao , portanto, y = Ae ax cos(bx ) + Be ax sen(bx ).
Nota 30. Os trs caso anteriores se estendem para equaes com ordens maiores que dois.
ER 4.4. D a soluo geral das seguintes equaes: (a) y 5y + 6y = 0; (b) y 4y + 4y = 0; (c) y 2y + 10y = 0.
A soluo geral da equao y = Ae 2x + Be 3x . geral da equao y = Ae 2x + Bxe 2x .
Soluo: (a) A equao caracterstica k 2 5k + 6 = 0, cujas razes reais e distintas so k1 = 2 e k2 = 3. (b) A equao caracterstica k 2 4k + 4 = 0, cujas razes reais e iguais so k1 = 2 = k2 . A soluo (c) A equao caracterstica k 2 2k + 10 = 0. A soluo desta equao k1 = 1 + 3i e k2 = 1 3i .
As solues particulares linearmente independentes da equao diferencial so y1 = e x cos(3x ) e y2 =
e x sen(3x ). A soluo geral da equao y = Ae x cos(3x ) + Be x sen(3x ).
ER 4.5. Seja L10 (y ) = 0 uma EDO de ordem 10 com razes caractersticas 0, 1, 1, 2, 2 + i , 2 i , 2 + i , 2
i , 3 + 4i , 3 4i . Escreva a soluo geral.

66
Soluo:
= +
A + Be x + C xe x + De 2x + E e 2x cos(x ) + F e 2x sen(x ) G xe 2x cos(x ) + Hxe 2x sen(x ) + I e 3x cos(4x ) + Je 3x sen(4x )
Exerccio Proposto
EP 4.6. Encontre a soluo geral das seguintes equaes: (a) y 3y = 2y (b) y + y = 2y (c) y = y (d) y + 4y = 3y
4.4
EDO No-Homognea com Coecientes Variveis
Tome a equao linear no homognea de ordem 2 com coecientes variveis,
y + a1 (x )y + a2 (x )y = f (x ).
( 4.9)
4.10 Denio. A EDO y + a1 (x )y + a2 (x )y = 0 chamada de equao homognea associada a equao ( 4.9). 4.11 Denio. A soluo geral da equao ( 4.9) dada por:
y = yH + yP ,
onde, yH a soluo geral da EDO homognea associada a ( 4.9) e yP a soluo particular da EDO dada.
Mtodo de Lagrange
Seja {y1 , y2 } o sistema fundamental da EDO homognea y + a1 (x )y + a2 (x )y = 0 associada a ( 4.9). As solues yH e yP so determinadas da seguinte forma: 1. yH : yH = Ay1 + By2 , A, B R; 2. yP : yP = C1 (x)y1 + C2 (x)y2 , onde,

C1 (x ) =
0 y2 f (x ) y2
y1 y1
y2 y2
= C1 (x ) =
C1 (x )dx e C2 (x ) =
y1 y1 y1 y1
0 f (x )
y2 y2
= C2 (x ) =
C2 (x )dx
ER 4.7. Encontre a soluo geral da equao y + y = sec(x ). Soluo: 1. yH : y + y = 0. Resolvendo a equao caracterstica K 2 + 1 = 0, temos k1 = i e k2 = i . Assim,
yH = A cos(x ) + B sen(x )
CLCULO III
67
2. yP : y + y = sec(x). Como y1 = cos(x ), y2 = sen(x ) e f (x ) = sec(x ), calculemos C1 (x ) e C2 (x ).

0 sec(x ) cos(x )
sen(x ) cos(x )
C1 (x ) =
sen(x ) cos(x )
sen(x ) sec(x ) sen(x ) = = tg(x ) 2 (x ) + sen2 (x ) cos cos(x )
sen(x )
Segue que C1 (x ) =
tg(x ) dx = ln | cos(x )|.

cos(x )
C2 (x ) =
sen(x ) sec(x ) cos(x ) sen(x ) sen(x ) cos(x )
cos(x ) sec(x ) 1 = =1 cos2 (x ) + sen2 (x ) 1
Segue que C2 (x ) =
dx = x . Portanto, yP = C1 (x ) cos(x ) + C2 (x ) sen(x ) = ln | cos(x )| cos(x ) + x sen(x ).
Logo, a soluo geral
y = yH + yP = A cos(x ) + B sen(x ) + ln | cos(x )| cos(x ) + x sen(x ).
Exerccio Proposto
EP 4.8. Encontre a soluo geral das seguintes equaes: (a) y y = e 2x (b) y + 4y = sec(2x ) (c) y 6y + 9y =
e 3x x2
Aplicaes das Equaes Diferenciais Ordinrias

Decaimento Radioativo
Fatos experimentais mostram que materiais radioativos desintegram a uma taxa proporcional quantidade presente do material. Se Q = Q (t ) a quantidade presente de um certo material radioativo no instante t , ento dQ , dada por: a taxa de variao de Q (t ) com respeito ao tempo t , aqui denotada por dt
dQ = k Q (t ), dt
onde k uma constante negativa bem denida do ponto de vista fsico. Para o Carbono 14 a constante k = 1, 244E 4 e para o caso do Rdio a constante k = 1, 4E 11. Normalmente, consideramos Q (0) = Q0 a quantidade inicial do material radioativo considerado. Quando no conhecemos o material radioativo, devemos determinar o valor da constante k , o que pode ser feito atravs da caracterstica de "meia-vida"do material. 68
A meia-vida o tempo necessrio para desintegrar a metade do material. Portanto, se ns conhecemos a meia-vida do material, podemos obter a constante k e vice-versa. Em livros de Qumica, podemos obter as "meias-vidas de vrios materiais radioativos. Por exemplo, a meia-vida do Carbono-14 est na faixa entre 5538 anos e 5598 anos, numa mdia de 5568 anos com um erro para mais ou para menos de 30 anos. O Carbono-14 uma importante ferramenta em Pesquisa Arqueolgica conhecida como teste do radiocarbono. Exemplo 4.2. Um istopo radioativo tem uma meia-vida de 16 dias. Voc deseja ter 30g no nal de 30 dias. Com quanto radioistopo voc deve comear? Soluo: Desde que a "meia-vida est dada em dias, ns mediremos o tempo em dias. Seja Q = Q (t ) a quantidade presente no instante t , e Q (0) = Q0 a quantidade inicial. Sabemos que r uma constante e usaremos a "meia-vida 16 dias para obter a constante k . Como
Q (t ) = Q0 e kt
ento, para t = 16, teremos Q (16) = 1 Q0 . Logo 2 1 1 Q0 = Q0 e 16k = e 16k . 2 2 Aplicando o logaritmo natural em ambos os membros da igualdade, obtemos:
k =
ln(2) = 0, 043321698785 16
e, dessa forma, temos a funo que determina a quantidade de material radioativo a qualquer momento:
Q (t ) = Q0 e 0,043321698785t .
Lei do Resfriamento de Newton

Sobre a conduo do calor, um modelo real simples que trata sobre a troca de calor de um corpo com o meio ambiente em que o mesmo est colocado, aceita trs hipteses bsicas: 1. A temperatura T = T (t ) depende do tempo t e a mesma em todos os pontos do corpo. 2. A temperatura Tm do meio ambiente permanece constante ao longo da experincia. 3. A taxa de variao da temperatura com relao ao tempo t proporcional diferena entre a temperatura do corpo e a temperatura do meio ambiente. A montagem e resoluo da equao diferencial, assume verdadeiras as hipteses e dessa forma
dT = k (T Tm ) dt
onde, T = T (t ) a temperatura do corpo no instante t , Tm a temperatura constante do meio ambiente e k uma constante que depende do material com que o corpo foi construdo, sendo que o sinal negativo indica que a temperatura do corpo est diminuindo com o passar do tempo, em relao temperatura do meio ambiente. Esta equao diferencial separvel, que pode ser transformada em:
dT = kdt T Tm
CLCULO III
69
Integrando ambos os membros em relao varivel tempo, teremos: ln(T Tm ) = kt + k0 Aplicando a funo exponencial a ambos os membros e tomando as constantes embutidas em uma s, obteremos:
T (t ) Tm = C e kt
e a soluo da equao diferencial ser,
T (t ) = Tm + C e kt
Se sabemos que a temperatura inicial do corpo T (0) = T0 , ento, substituindo t = 0 na soluo da equao, podemos obter a constante C que aparece na soluo, pois
T0 = Tm + C
A soluo do PVI
dT = k (T Tm ), T (0) = T0 dt
ser, ento, dada por
T (t ) = Tm + (T0 Tm )e kt
ER 4.9. Um corpo com temperatura de 100 C posto numa sala, onde a temperatura do ambiente se mantm constante em 25 C . Aps 5 minutos, sua temperatura cai para 90 C . Quanto tempo decorrer at o corpo atingir 50 C , sabendo-se que o uxo de calor, atravs das paredes do corpo proporcional diferena entre a temperatura do corpo e a do ambiente. Soluo:
t = 5min N = 90 C t =? N = 50 C
t = 0 N = 100C
dN = k (N 25), assim, devemos resolver tal equao diferdt encial, utilizando os dados anteriores, para encontrar cada um das constantes envolvidas.
Como dado da questo, foi revelado que
dN = k dt (N 25)
equao anterior, temos que:
dN =k (N 25)
dt N (t ) = e k t +c + 25
Observe que se t = 0 ento N = 100 C isto signica dizer que N (0) = 100. Dessa forma, substituindo na
N (0) = 100 100 = e k 0+c + 25 e c = 75

Como N (t ) = e k t +c + 25 = e k t e c + 25 e dessa forma N (t ) = 75 e k t + 25. Falta apenas encontrar a constante de proporcionalidade k e isto ser feito usando a condio (N (5) = 90). Dessa forma, temos que: 65 90 25 = e k 5 5k = ln 75 75 ln k= 13 15 5
N (5) = 90 90 = 75 e k 5 + 25
70
ln(13/15) 5 Dessa forma, a equao completa ser dada por N (t ) = 75 e
+ 25. O objetivo agora ser
encontrar o tempo t quando a temperatura N = 50 C , os clculos so descritos a seguir: ln(13/15) 5 50 = 75 e

t
50 25 + 25 =e 75
ln(13/15) 5
ln
25 75
ln(13/15) t 5 5 ln(1/3) ln(13/15) minutos, ou
Dessa forma o tempo necessrio para que o corpo se resfrie at 50 C de t =
t 30, 38 minutos.
Elementos de Eletricidade
Sem a preocupao de aprofundamento nos detalhes relacionados com a Eletricidade, iremos apresentar alguns poucos conceitos necessrios ao presente trabalho de Equaes Diferenciais. 1. Se VA e VB so, respectivamente, os potenciais eltricos nos pontos A e B de um circuito eltrico, a Diferena de potencial entre os pontos A e B , denotada por VAB ou V (t ), pode ser denida como a integral de linha sobre o segmento de reta ligando oas pontos A a B no campo eltrico E = E (t ). Normalmente, esta diferena de potencial V (t ) ser indicada com o sinal negativo, isto :
t
VAB =
E (u )du = V (t )
2. A Intensidade da corrente eltrica ser a taxa de variao da carga eltrica Q em relao ao tempo t que atravessa uma seo transversal de um condutor. Em smbolos:
I (t ) =
dQ dt
3. A capacitncia C de um capacitor submetido a uma carga eltrica Q , com uma diferena de potencial entre as placas indicada por V , ser dada por:
C (t ) =
Q (t ) V (t )
4. A lei de Ohm, estabelece que a diferena de potencial V nos terminais de um resistor de resistncia R submetido a uma intensidade da corrente I , dada por:
V (t ) = RI (t )
5. A indutncia L de um indutor uma constante relacionada com a diferena de potncial V e com a taxa de dI variao da intensidade da corrente eltrica em relao ao tempo , atravs da expresso matemtica: dt
V (t ) = L
6. Existem duas leis clssicas de Kirchhoff:
dI dt
(a) Lei das correntes: A soma algbrica das intensidades de corrente eltrica que chegam em um n de um circuito eltrico igual soma algbrica das intensidades de corrente eltrica que saem do mesmo n neste circuito eltrico. (b) Lei das tenses: A soma algbrica das diferenas de potencial em uma malha fechada zero.
CLCULO III
71
Circuitos Eltricos RLC

Circuitos eltricos mais complexos (redes) so basicamente formados por resistores de resistncia R , indutores de indutncia L, capacitores de capacitncia C , carregado com uma diferena de potencial VC e uma fonte eltrica cuja diferena de potencial indicada E (t ).
R E L C VC
Se E = E (t ) a diferena de potencial da fonte de alimentao e I = I (t ) a intensidade da corrente eltrica, ento 1. VL a diferena de potencial nos terminais do indutor:
VL (t ) = L
2. VR a diferena de potencial nos terminais do resistor:
dI dt
VR (t ) = RI (t )
3. VC a diferena de potencial nos terminais do capacitor:
VC (t ) =
1 C
I (u )du
0
Usando as leis de Kirchhoff, quando for fechado o interruptor, obteremos,
VL (t ) + VR (t ) + VC (t ) = E (t ),
ou seja,
1 dI + RI (t ) + dt C
I (u )du = E (t )
0
Se E (t ) constante e derivarmos em relao varivel t , teremos:
LI (t ) + RI (t ) +
e temos uma EDO linear homognea.
1 I (t ) = 0 C
Se E = E (t ) uma funo diferencivel da varivel t , ento
LI (t ) + RI (t ) +
1 I (t ) = E (t ). C
Existem alguns casos particulares interessantes, sendo alguns deles apenas tericos, mas com algum fundamento matemtico. 1. Circuito RC: Vamos considerar um circuito eltrico que possui um resistor de resistncia R , um capacitor de capacitncia C , uma fonte de alimentao com voltagem E constante e I = I (t ) ser a intensidade da corrente eltrica.
R E C
A diferena de potencial nos terminais do resistor dada por VR = RI (t ) e a diferena de potencial nos terminais do capacitor dada por 1 t VC (t ) = I (u )du C 0 72
Pela lei de Kirchhoff das tenses, segue que:
VR (t ) + VC (t ) = E
e a EDO linear homognea que rege o fenmeno
RI (t ) +
1 C
I (u )du = E
0
Derivando esta equao em relao varivel t , obtemos
RI (t ) +
A soluo desta equao
1 I (t ) = 0. C
t t
I (t ) = K e RC = I (0)e RC .
Se o capacitor estava descarregado no instante t = 0 e continua descarregado em um tomo aps t = 0, ento Q (0) = 0 e, desse modo, 1 0 I (u )du = 0. VC (0) = C 0 Logo, VR (0) + VC (0) = E , o que garante que RI (0) = E . Assim,
I (0) =
Substituindo I (0) na soluo da equao, obtemos
E R
I (t ) =
Aplicando esta funo, podemos obter
E t e RC R
VC (t ) =
1 C
I (u )du =
0
1 C
t
0
E u e RC du R
Assim, a diferena de potencial entre os terminais do capacitor ao longo do tempo t , ser dada por:
VC (t ) = E 1 e RC
2. Circuito RL: Seja o circuito eltrico possuindo um resistor de resistncia R , um indutor de indutncia L e uma fonte de alimentao constante E . dI , assim usando a lei de Kirchhoff Sabemos que VR (t ) = RI (t ) e VL (t ) = L dt das tenses ao circuito podemos escrever,
R E L
LI (t ) + RI (t ) = E
que uma EDO linear no homognea de primeira ordem. A soluo da equao homognea associada
Ih (t ) = K e L
Rt
Como a parte no homognea da EDO uma funo constante, usamos o mtodo dos coecientes a determinar para procurar uma soluo particular Ip = Ip (t ) que seja constante, assim Ip (t ) 0 e, ento, RIp (t ) = E o que garante que E Ip (t ) = . R A soluo da EDO a soma da soluo da homognea associada com a soluo particular. Logo,
I (t ) = K e L +
Rt
E . R
CLCULO III
73
Se considerarmos que I (0) = 0, ento 0=K+
E . R
E Logo, K = . Assim, R I (t ) =
E Rt 1 e L R
Esta funo tem a mesma forma que a funo VC = VC (t ) do circuito RC, apenas que a funo horizontal E limite deve ser traada para I = . R 3. Circuito RC: Se o circuito eltrico possui um resistor de resistncia R , um capacitor de capacitncia C e a fonte de alimentao tem diferena de potencial E = E (t ), a EDO linear que rege o fenmeno :
RI (t ) +
1 I (t ) = 0. C
4. Circuito LC: Se o circuito eltrico possui um indutor de indutncia L, um capacitor de capacitncia C e a diferena de potencial VAB = V (t ), a EDO linear no homognea que rege o fenmeno
LQ (t ) +
1 Q (t ) = V (t ). C
Exerccio Proposto
dI + RI = E sen(w t ), onde L, R , E e w so constantes e I uma funo de dt t . (Esta funo d a corrente em um circuito de resistncia R e indutncia L impulsionada por um gerador de w e voltagem mxima E ). corrente alternada de freqncia 2
EP 4.10. Resolva a equao L
Crescimento Populacional: Malthus

Problemas populacionais nos levam, fatalmente, s perguntas: 1. Qual ser a populao de um certo local ou meio ambiente em alguns anos? 2. Como poderemos proteger os recursos deste local ou deste meio ambiente para que no ocorra a extino de uma ou de vrias espcies? Para apresentar uma aplicao de equaes diferenciais relacionado com este problema, consideraremos o modelo matemtico mais simples para tratar sobre o crescimento populacional de algumas espcies. Ele chamado o Modelo de Crescimento Exponencial, isto , a taxa de variao da populao em relao ao dP tempo, aqui denotada por , proporcional populao presente. Em outras palavras, se P = P (t ) mede a dt populao, ns temos dP = kP , dt onde, a taxa k uma constante. simples vericar que se k > 0, ns teremos crescimento e se k < 0, ns teremos decaimento. Esta uma EDO linear que quando resolvida nos d:
P (t ) = P0 e kt ,
onde, P0 a populao inicial, isto P (0) = P0 . Portanto, conclumos o seguinte: 1. Se k > 0, a populao cresce e continua a expandir para o innito positivo. 74
2. Se k < 0, a populao se reduzir e tender a 0. Em outras palavras, a populao ser extinta. O primeiro caso, k > 0, no adequado e o modelo pode no funcionar bem a longo prazo. O argumento principal para isto vem das limitaes do ambiente. A complicao que o crescimento populacional eventualmente limitado por algum fator, usualmente dentre aqueles recursos essenciais. Quando uma populao est muito distante de seu limite de crescimento ela pode crescer de forma exponencial, mas quando est prxima de seu limite o tamanho da populao pode variar. ER 4.11. Sabe-se que uma certa populao descrita pelo modelo de crescimento exponencial de Malthus e que a quantidade de indivduos presentes em 20 anos exatamente o dobro da populao inicial. Quanto tempo levar at que o nmero de indivduos triplique? Soluo: O modelo de crescimento exponencial de Malthus, garante que a quantidade de indivduos presentes num determinado tempo t representado pela equao N (t ) = N0 e k t . Se em 20 anos a populao o dobro da inicial, ento N (20) = 2 N0 . Dessa forma, temos: 2 N0 = N0 e k 20 2 = e k 20 k = ln(2) 20
De posse do valor da constante k , podemos a equao anterior ser representada por: ln(2) N (t ) = N0 e 20
t
Assim, estamos interessados em encontrar o valor de t , tal que N (t ) = 3 N0 . Utilizando a equao anterior temos: ln(2) 3 N0 = N0 e 20
t
ln(2) 3 = e 20
ln(3) =
ln(2) 20
t t =
20 ln(3) 31, 7anos. ln(2)
Crescimento Populacional: Verhulst

Existe um outro modelo proposto para remediar este problema do modelo exponencial. Ele chamado o Modelo Logstico ou modelo de Verhulst-Pearl. A EDO para este modelo
P dP = kP (1 ), dt L
onde, L o limite mximo para a populao (tambm chamado a capacidade do ambiente). Se P = P (t ) pequeno quando comparado com L, a EDO se reduz equao exponencial. Este um exemplo de uma EDO no linear separvel. As solues constantes so P = 0 e P = L. As solues no constantes podem ser obtidas pela separao das variveis, seguido do uso de integrao com o uso da tcnica das fraes parciais. Com algumas manipulaes algbricas, teremos:
P (t ) =
onde C uma constante e L o limite do ambiente.
LC e kt , L + C e kt
Considerando P (0) = P0 e assumindo que P0 no igual a zero nem igual a L, obteremos:
P (t ) =
LP0 P0 + (L P0 )e kt
CLCULO III
75
Com clculos simples de limites, podemos mostrar que, quando t cresce indenidamente, ento:
t +
lim P (t ) = L.
Esta soluo j diz muito mais que a outra, entretanto, este modelo ainda satisfatrio pois no nos diz quando uma populao estar extinta. Mesmo comeando com uma populao pequena, a populao sempre tender para a capacidade L do ambiente. Embora este modelo ainda possua falhas, ele bastante apropriado para a anlise de crescimento populacional de cidades, assim como como de populaes de lactobacilos e outros.
Misturas
Considere um tanque com uma soluo (soluto + solvente) de volume inicial V0 e com vazo de entrada ve e vazo de sada vs obtendo-se essa soluo uniformemente misturada, desejamos determinar a quantidade q (t ) de soluto no tanque no instante t . A variao mdia da quantidade de soluto no tanque q (t ) dada pela diferena entre as quantidades de soluto que entram e que saem do tanque, ou seja,
q (t ) = ve ce vs cs , t
( 4.10)
onde ce concentrao de soluto na entrada do tanque e cs a concentrao de soluto na sada do tanque. Lembro que a concentrao de soluto em uma soluo dada pela massa do soluto dividida pelo volume do massa quilo Kg solvente. Logo, sua unidade de medida dada por: , por exemplo, = . volume litro L Notamos que a concentrao cs e o volume V do tanque pode variar com o tempo t , a depender da concentrao de entrada e da vazo de entrada e sada do tanque. Logo, temos que:
cs (t ) =
q (t ) , V (t )
onde cs (t ) , justamente, a concentrao no tanque no instante t . O volume no tanque V (t ) varia se ve = vs . Logo, temos que:
V (t ) = V0 + t (ve vs ).
Portanto, de ( 4.10) temos que a variao da quantidade de soluto no tanque no instante t (variao instantnea) dada por: dq (t ) q (t ) q (t ) dq (t ) = ve ce vs + vs = ve ce ( 4.11) dt V (t ) dt V (t ) Logo, temos que a equao ( 4.11) uma equao diferencial linear de primeira ordem, onde:
p (t ) =
vs e q (t ) = ve ce . V (t )
Como V (t ) = V 0 + t (ve vs ), temos substituindo em ( 4.11) a equao:
q (t ) dq (t ) + vs = ve ce dt V0 + t (ve vs )
( 4.12)
ER 4.12. No instante t = 0, um tanque contm 25g de sal dissolvido em 50L de gua. gua salgada contendo 4g de sal por litro acrescentada ao tanque a uma vazo de 2L/min e a soluo misturada drenada do mesma vazo. (a) Quanto de sal haver no tanque no instante t ? 76
(b) Quanto de sal haver no tanque no instante t = 0, 5h? Soluo: (a) Temos, neste caso, que V0 = 50L, ve = vs = 2L/min e ce = 4g /L. Logo, substituindo em ( 4.12) temos:
q (t ) dq (t ) +2 = 8. dt 50
Logo, a soluo dessa equao :

q (t ) = e
dt 25
8e
dt 25 dt
dt + C
= e 25 200 e 25 + C q (t ) = 200 + e 25 C
t
Como q (0) = 25, temos: q (0) = 200 + C = 25 C = 175. Logo, q (t ) = 200 175e 25 . (b) Para t = 0, 5h = 30min, temos:
q (30) = 200 175e 25 q (30) 147, 29g de sal.
30
Cinemtica e Resultante de Foras

ER 4.13. Um corpo de massa m cai em queda livre. No instante inicial t0 temos sua velocidade inicial v0 . Ache a equao horria da velocidade e da posio do corpo no instante t segundos. (a) Considere a resistncia do ar nula. (b) Considere que a fora de resistncia do ar exerce uma fora sobre o corpo que diretamente proporcional a sua velocidade. Soluo: (a) Sabemos da fsica que a derivada da equao horria da posio de um
m v0 ; s0
corpo nos d a equao horria da velocidade do corpo (s (t ) = v (t )) e a derivada da velocidade nos d a equao horria da acelerao (v (t ) = a(t )). Seja g a acelerao
da gravidade, ento temos da segunda lei de Newton que: F = m a; m a massa do corpo e a a acelerao do corpo, como neste caso temos F = P . Logo: ma = mg m v (t ) = mg
integrando ambos os lados temos: F = P
m v (t ); s (t )
dv = g dt dt
dv =
Como v (0) = C = v0 temos ento a equao horria do corpo:
g dt v (t ) = v0 + g t .
v (t ) = v0 + g t
que , justamente, a equao horria de um corpo em queda livre sem resistncia do ar que se ensina no ensino mdio. Para acharmos a equao da posio fazemos na equao acima s (t ) = v (t ). Logo, temos:
s (t ) = v0 + g t
ds = v0 + g t ds = v0 dt + g tdt dt t2 +C s (t ) = v0 t + g 2
t2 +C 2
ds = v0
+g
tdt
Como s (0) = C = s0 , ento temos:
s (t ) = s0 + v0 t + g
CLCULO III
77
que , justamente, a equao horria de um corpo em queda livre sem resistncia do ar, visto no ensino mdio.
m v0 ; s0
(b) A fora de resistncia do ar (Fr a ) presente no movimento diretamente proporcional velocidade e possui sentido oposto ao movimento do corpo, ou seja, amortece o movimento de queda funcionando como uma espcie de freio Fr a = kv (t ),
m v (t ); s (t )
onde, k uma constante positiva de proporcionalidade. Logo, temos que a fora F , que atuante no corpo dada por: F = P F r a F = mg kv (t ).
F = P Como F = ma, temos:
ma = mg kv (t ) mv (t ) = mg kv (t ) v (t ) = g
dv k k v (t ) + vt = g . m dt m
k dv + vt = g linear e possui ordem 1. Dessa forma, podemos utilizar Observe que a equao diferencial dt m o mtodo do fator integrante para resolv-la. O fator integrante I neste caso, ser dado pela expresso:
I =e
k m dt
= em
dt
= e m t
Multiplicando ambos os lados da equao pelo fator integrante, temos:
e m t
k k k k dv k d + e m t vt = e m t g = v (t ) e m t = e m t g . dt m dt
Integrando-se ambos os lados desta equao, camos com:
d k v (t ) e m t dt = dt
e m t g dt v (t ) e m t = g
k m m k = e m t + C v (t ) = g + C e m t . k k
Como v (0) = C = v0 temos, nalmente, que a equao da velocidade do corpo para o movimento com amortecimento dado por:
v (t ) = g
k m m m k t +g e m = g 1 + e m t k k k
que , justamente, a equao horria de um corpo em queda livre sem resistncia do ar que se ensina no ensino mdio. Para acharmos a equao da posio fazemos na equao acima s (t ) = v (t ). Logo, como s (0) = C = s0 , ento, temos que: t2 s (t ) = s0 + v0 t + g 2 que , justamente, a equao horria de um corpo em queda livre sem resistncia do ar, visto no ensino mdio.
Gabarito
cos(x ) 1 sen(x ) +B (b) y (x ) = A x 3 + B 2 4.6 (a) y = Ae x + Be 2x ; (b) y = Ae x + Bxe x ; (c) y = A cos(x ) + B sen(x ) x x x cos(2x ) x e 2x ; (b) y = A cos(2x ) + B sen(2x ) + ln | cos(2x )| + sen(2x ); (c) e (d) y = Ae x + Be 2x + C xe 2x . 4.8 (a) y = Ae x + Be x + 3 4 2 R E (R sen(w t ) w Lcos (w t )) y = Ae 3x + Bxe 3x e 3x ln |x | e 3x . 4.10 I = + C e L t . R 2 + w 2 L2 4.2 (a) y (x ) = A
78
Referncias Bibliogrficas
[1] ABUNAHMAN, Srgio A.; Equaes Diferenciais. Rio de Janeiro: LTC, 1.979. [2] PISKOUNOV, N.; Calculo Diferencial e Integral - V. II. 9a edio. Porto: Lopes da Silva, 1.982. [3] BRAUN, Martin; Equaes Diferenciais e suas aplicaes. Rio de Janeiro: Editora Campus Ltda, 1.979. [4] CAPUTO, H. P.; Iniciao ao Estudo das Equaes Diferenciais e suas aplicaes. Rio de Janeiro: LTC, 1.973. [5] LEITHOLD, L.; O Clculo com Geometria Analtica. 3a edio. So Paulo: Harbra, 1.994. [6] STEWART, James; Clculo - Vol. II. 5a edio. So Paulo: Thomson, 2.006. [7] AYRES, Frank; Coleo Schawn - Equaes Diferenciais. 1a edio. Rio de Janeiro: McGraw-Hill do Brasil, 1.978. [8] SVEC, Maria; Tpicos: Sries e equaes diferenciais. 2a edio. Salvador: EdUFBA, 2.002. [9] SWOKOWSKI, Earl W.; Clculo com Geometria Analtica - Vol. 2. 2a edio. So Paulo: Makron Books do Brasil Ltda., 1.995. [10] ANTON, Howard; Clculo: Um Novo Horizonte - Vol. 2. 6a edio. Porto Alegre: Bookman, 2.000.
CLCULO III
79

03 CalculoIII

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

03 CalculoIII

Uploaded by

Copyright:

Available Formats

CLCULO III

FACULDADE DE T ECNOLOGIA E C INCIAS E NSINO A D ISTNCIA

R OBERTO F REDERICO M ERHY

J EAN C ARLO N ERONE

J ANE F REIRE G ERENTE DE E NSINO

DA S ILVA C ARVALHO C OORDENADOR DE C URSO

M AURCIO P ORTO S ILVA J ONES G ARCIA DA M ATA

FBIO S ANTOS R ODRIGUES PAULO H ENRIQUE R IBEIRO DO N ASCIMENTO

A DRIANO P EDREIRA C ATTAI PAULO H ENRIQUE R IBEIRO DO N ASCIMENTO

Tema 2: Sries Numricas e de Funes

Bloco 2: EDO e Aplicaes

Tema 4: EDO de Segunda Ordem e algumas aplicaes s diversas reas

FTC EaD | LICENCIATURA EM MATEMTICA

Prof. Fbio Santos Rodrigues. Prof. Paulo Henrique Ribeiro do Nascimento.

Seqncias e Sries Numricas Seqncias Numricas

8. (an ) = (1 + (1)n ) = (0, 2, 0, 2, 0, 2, . . .) 9. (an ) = 2n n! 4 2 4 = 2, 2, , , , . . . 3 3 15

Alguns Resultados Importantes

Um Fato Bastante Interessante!

1 ln(n) = lim n = 0. = lim n 1 n n

ER 1.4. Mostre que

Segue que, L2 = 6 + L L = 3 ou L = 2. Como an uma seqncia de termos positivos teremos que L = 3.

n+1 (b) (an ) = 3n 1 3 + 5n 2 (c) (an ) = n + n2 n (d) (an ) = 1+ n

(a) (an ) = n(n 1)

EP 1.7. Considere a seqncia (an ) tal que an L. Mostre que:

Outras Seqncias Numricas, Notveis e Importantes para o Ensino Mdio

crescente, se r > 0; decrescente, se r < 0; constante, se r = 0.

Frmula do Termo Geral de Uma Progresso Aritmtica

a18 = a3 + (18 3) (2) = 8 + 15 (2) = 22.

termos, devemos determinar primeiramente a razo da PA. Como an = ak + (n k ) r , podemos escrever:

18 2 = 4. Logo, temos (2, 6, 10, 14, 18) 51

Soma dos Finitos Termos de uma Progresso Aritmtica

Prova: Temos que

a1 + (a1 + r ) + (a1 + 2r ) + . . . + (a1 + (n 2)r ) + (a1 + (n 1)r )

Segue que ap + aq = a1 + an + (p + q n 1) r . Para p + q = n + 1, temos que ap + aq = a1 + an . Portanto,

n p+q1 (a1 + an ) = (ap + aq ) = S(p,q) . 2 2

a50 = a1 + 49 r = 2 + 49 4 = 2 + 196 = 198.

S50 = (a1 + a50 )

50 50 = (2 + 198) = 200 25 = 5.000 2 2

Frmula do Termo Geral de uma Progresso Geomtrica

Soma dos Finitos Termos de uma PG

Prova: Seja Sn = a1 + a2 + a3 + . . . + an . Assim,

ER 1.15. Calcule a soma dos 12 primeiros termos da PG (1, 2, 4, 8, . . .). 2 = 2. Portanto, 1

Soluo: Observe que neste caso que a1 = 1 e a razo q =

(q 12 1) (212 1) =1 = 4.096 1 = 4.095 (q 1) 21

Soma dos Innitos Termos de uma PG Decrescente

Soluo: Observe que o primeiro membro da equao uma PG, onde a1 = x e q =

n pertence a N, o termo de ordem n dessa seqncia. Determine a30 + a55 .

Sries Numricas e de Funes

Sries Numricas e a Seqncia das Somas Parciais

(f) (an ) = (1 + (1)n ) = 0, 2, 0, 2, . . .

an , formaremos uma seqncia

(sn ), da seguinte forma:

(sn ) , portanto, a seqncia das somas parciais das parcelas da srie

Observe que o n-simo termo

aj da seqncia das somas parciais (sn ), representa a soma parcial nos n

primeiros termos da seqncia numrica (an ).

Para Entendermos Melhor!

1 1 1 1 + + + ... + 2 6 12 n(n + 1) 1 . n(n + 1)

1 2 3 , , , . . . a das somas parciais da srie 2 3 4

ER 2.1. Encontre a soma da srie numrica

FTC EaD | LICENCIATURA EM MATEMTICA

Soluo: A sua seqncia de somas parciais ser dada por:

1 2 3 n + + + ... + 3 5 7 2n + 1 1 2 3 , , , . . . ser representada por 3 5 7