Você está na página 1de 120

C.

L.
ius
Vi
nic

BASICO DE EDO

01
4

Vinicius Cif Lopes

Pr

eli
mi
na

r
c2

Verso Preliminar

c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

C.
L.
ius

Sumrio

Vi
nic

Apresentao

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

1
3
6
10
14

1 Primeira ordem
1.1 Separao de variveis . . . . . . . .
1.2 Dinmica populacional . . . . . . . .
1.3 Equaes lineares . . . . . . . . . . .
1.4 Equaes exatas e fatores integrantes
1.5 Substituies . . . . . . . . . . . . .
1.6 Modelagem . . . . . . . . . . . . . .
1.7 Estudo terico da forma normal . . .

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

23
23
30
38
41
47
52
56

2 Ordens superiores
2.1 Formas geral, normal e linear . . . .
2.2 Independncia linear de funes . . .
2.3 Wronskiano . . . . . . . . . . . . . .
2.4 Espao de solues da equao linear
2.5 Coeficientes constantes . . . . . . . .
2.6 Osciladores harmnicos . . . . . . .
2.7 Gravitao universal . . . . . . . . .
2.8 Coeficientes variveis . . . . . . . . .
2.9 Equaes e mtodos especiais . . . .

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

61
. 61
. 63
. 67
. 71
. 74
. 87
. 97
. 103
. 109

.
.
.
.

Pr

eli
mi
na

r
c2

01
4

0 Qual o assunto
0.1 O que so as equaes diferenciais
0.2 De onde elas vm . . . . . . . . . .
0.3 O que so PVIs e TEUs . . . . . .
0.4 Coisas que j sabemos fazer . . . .

Algumas respostas e indicaes

115

iii
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

C.
L.
Vi
nic

Qual o assunto

ius

Captulo 0

r
c2

01
4

Comeamos por estabelecer o que so as Equaes Diferenciais Ordinrias e por que devemos estud-las. Apresentaremos tambm conceitos e
definies teis por todo o curso.
No s neste captulo, observaremos passagens que podem parecer esdy
tranhas ou errneas, por exemplo, reescrever dx
= y 0 como dy = y 0 dx. H
muitos outros deslizes que podem e devem ser notados. Recorremos ao
bom senso e boa vontade do estudante (que aprender muito mais ao tentar
justificar cada passagem) ou, onde se aplica, a esta observao em [FiNe]:

eli
mi
na

O rigor que a Anlise ganhava no decorrer do sculo XIX


comeou a pr em dvida certos mtodos. . . Os teoremas de
existncia e unicidade de soluo surgem nessa fase. . . . sua
busca atravs de processos informais se torna justificvel e promissora, uma vez que a soluo assim obtida pode ser verificada a posteriori.

Pr

com esse esprito que algumas tcnicas que estudaremos so relaxadas,


porque a corretude de suas concluses pode ser estabelecida depois. Isso
no significa que deveremos abandonar o rigor matemtico totalmente! Os
deslizes devero sempre ser justificveis ou formalizveis, ficando todo o
raciocnio sob controle.
Em resumo, usaremos nossos conhecimentos de Clculo para descobrir
coisas e, depois, prov-las.
A ttulo de exemplo, visitaremos uma passagem da Histria da Matemtica (veja [BoMe]) sem relao direta com EDOs:
Certos testes de convergncia, aqueles usando integrais imprprias em

1
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

1
1
1
1
+ 2 + 2 + ... + 2 + ...
2
1
2
3
n

C.
L.

particular, mostram que a srie

01
4

Vi
nic

ius

converge a algum nmero real, mas esses testes no dizem qual esse limite.
Gente grada como Leibniz e Jacques Bernoulli no soube determin-lo.
Ento Leonhard Euler encontrou um caminho: Queremos somar inversos de quadrados ou, afinal, somar inversos. Naquela poca, eram muito
populares as relaes de Girard para polinmios de grau arbitrrio e algumas de suas conseqncias; Euler pensou na soma dos inversos das razes de
um polinmio, que igual ao oposto (menos) do coeficiente do termo linear
dividido pelo coeficiente do termo constante. (Cheque isso para ax2 +bx+c:
aprendemos que as razes x1 , x2 satisfazem x1 + x2 = b/a e x1 x2 = c/a;
dividindo uma relao pela outra, vem (x1 + x2 )/x1 x2 = (b/a)/(c/a);
simplificando, obtemos (x2 )1 + (x1 )1 = b/c, como enunciado.)
No nosso caso, Euler precisava determinar um polinmio com razes
12 , 22 , 32 , . . . , n2 , . . ., de modo que a soma de seus inversos (precisamente
a srie procurada) seria obtida pela relao de Girard. Claro, nenhum
polinmio tem um nmero infinito de razes, ento deveremos operar com
um polinmio de grau infinito. Por outro lado, funes trigonomtricas
tm razes que se distanciam regularmente; por exemplo, as razes do seno
so
0, , 2, . . . , n, . . .

eli
mi
na

r
c2

No queremos 0 em nossa lista de razes, porque no sabemos tomar seu


inverso; ento podemos considerar a funo (sen )/, cujas razes so as
mesmas excetuando-se 0.
Euler foi um grande manipulador de sries de potncias e provavelmente
lhe era mais natural lidar com a srie em vez da prpria funo. Neste caso,
podemos obt-la dividindo-se a srie de sen pelo prprio :
sen
2
4
=1
+
...

3!
5!

Eis um polinmio de grau infinito, mas no exatamente aquele que procuramos. Mais interessante do que as razes a intervalos de comprimento
seriam os seus quadrados
()2 , (2)2 , . . . , (n)2 , . . . ,

Pr

mais parecidos com os nmeros originais. Substituindo 2 = x, temos


1

x2
x
+
...
3!
5!
2

c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

 1/3!  1
1
1
1
= ,
+
+
.
.
.
+
+
.
.
.
=

2
(2)2
(n)2
1
6
1
1
1
1
2
+ 2 + 2 + ... + 2 + ... =
.
2
1
2
3
n
6

ius

o que leva a

C.
L.

cujas razes so tais quadrados; esse outro polinmio de grau infinito. A


soma dos inversos de suas razes , portanto,

0.1

Vi
nic

Nesse raciocnio, Euler aplicou regras de polinmios de grau finito a


sries, sem qualquer justificativa. Contudo, havendo um candidato ( 2 /6)
a ser o limite da srie, provar que a srie converge a esse mesmo valor
uma tarefa mais simples.

O que so as equaes diferenciais

O conceito de equao diferencial melhor explicado por partes:

r
c2

01
4

1: Uma equao envolve coeficientes e funes conhecidos e uma ou mais


incgnitas cujos valores devemos determinar. Por exemplo, 2x + 3 = 5
uma equao, e x = 1 sua nica soluo ou raiz no conjunto lR. Outros
exemplos so t2 + 6 = 5t e x3 sen(x4 ) = 1, enquanto podemos construir
inmeras equaes fceis ou difceis de resolver, com muitas, poucas, uma
nica ou nenhuma soluo.

eli
mi
na

2: Diferencial denota um conceito matemtico muito prximo ao de derivada; portanto, espera-se que em uma equao diferencial constem derivadas. (As expresses dy e dx so exemplos de diferenciais; [Suv] introduz
o Clculo por meio delas.) Como derivada de constante zero, as equaes diferenciais s teriam valor prtico se, de algum modo, funes fossem
derivadas e, mais propriamente, essas funes no estivessem pr-fixadas.
Assim, trabalharemos com incgnitas que so funes.

Pr

3: Em cursos introdutrios de Clculo, j trabalhamos com problemas assim, quando procuramos responder pergunta: Qual a funo cuja derivada f (x) ? Desenvolvem-se mesmo diversas tcnicas de primitivizao
para solucionar esse problema.
Outra questo familiar , em Fsica, determinar leis de movimento de
corpos submetidos a configuraes variadas de foras, e tais leis so funes,
geralmente de uma varivel real (tempo) a variveis reais (coordenadas no
espao).

3
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

C.
L.

4: Por exemplo, y 0 = 2y uma equao diferencial. Uma soluo possvel


y(x) = e2x : de fato, y 0 (x) = e2x 2 = 2y(x), ou seja, satisfizemos a equao
ao substituir y por e2x .

ius

5: As equaes diferenciais ordinrias, conhecidas por EDOs, so aquelas


em que no ocorrem derivadas parciais, ou seja, buscam-se funes de apenas uma varivel como razes das equaes. Muitas vezes, porm, operar
com derivadas parciais parte central da resoluo de uma equao. Quanto
ao co-domnio, h equaes ordinrias (ou ainda, sistemas de EDOs) que
se referem a funes vetoriais em vez de funes de valores reais.
Desse modo, as seguintes equaes so diferenciais ordinrias: yy 0 = 0,
y + y 00 = 3x, sen y 0 = x2 + 2, y 00 = ln |y + x|, onde se buscam solues
da forma y(x), e o sistema
Y = 31 52 Y , em que a incgnita tem a forma
y1 (t) 
vetorial Y (t) = y2 (t) .

Vi
nic

r
c2

01
4

6 Notaes para derivadas: Dada uma funo suficientemente diferencivel f , escrevemos f 0 , f 00 , f 000 para indicar as funes que so sua primeira,
segunda e terceira derivadas. Para uma derivada de ordem superior, digamos n, escrevemos
f (n) ; quando a derivada feita em relao varivel x,
dnf
(n)
temos f
= dxn . (Note que f (0) a prpria f .) Freqentemente, quando
a varivel t usada como tempo, usamos pontos em vez de linhas: y,
y;
cuidado para enxerg-los! Enfim, comum encontrarmos equaes diferenciais na forma a dx + b dy = 0, que significa a + by 0 = 0 aps a diviso por
dx.
Alguns textos antigos usam y VIII em vez de y (8) . H autores que adotam
y
a conveno de indicar x
por yx ou yx0 (sendo preciso tomar cuidado com
o que se l), especialmente quando so muitas as variveis envolvidas.

eli
mi
na

Ainda com respeito a notao, explicamos que exp(x) e ex so a mesma


coisa, a funo exponencial com base e = 2,71828 . . . A notao exp
vantajosa quando o argumento envolve fraes e integrais, o que acontecer
bastante em nosso estudo.
Determine se as funes indicadas so solues das equaes dadas:

Pr

7: y 0 + y tg x = 0, y = cos x.
Soluo: A funo dada y = cos x e sua derivada y 0 = sen x. Para
tal y, portanto, temos
y 0 + y tg x = sen x + cos x tg x = 0.

Assim, a funo proposta satisfaz a equao dada, ou seja, uma soluo


sua.

4
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

C.
L.

8: (y 0 )2 = 5x2 y, y = x3 .
Soluo: Dada y = x3 , temos y 0 = 3x2 . Substituindo-se, o lado esquerdo da equao fica 9x4 e o direito iguala 5x5 . Esssa expresses no so
iguais e conclumos que tal funo no soluo da equao dada.
Detalhe: Poderamos obter expresses diferentes em cada lado, mas
ainda assim elas serem equivalentes e a funo ser realmente soluo da
equao. Para certificar-se, mostre que 9x4 e 5x5 so iguais apenas para
um nmero finito de valores de x e, portanto, no so equivalentes.
12: 2xy 0 = 6y, y = x2 .

10: y 00 y = 0, y = xex .

13: (2x + y) dx + x dy = 0, y = x.

11: 2xy 0 = 6y, y = 7x3 .

14: x
= 2 x, x = A cos(t + 0 ).

Vi
nic

ius

9: y 00 y = 0, y = 5ex .

Trabalharemos preferencialmente com solues y(x) : I lR, onde o


domnio I um intervalo aberto. Contudo, considerar equaes e solues
complexas, ou de outras formas, vlido e importante campo de estudos.
Vamos formalizar as definies, a ttulo de fixao?

01
4

15 Definio: Por uma equao diferencial ordinria de ordem n, entendemos uma relao na forma geral

F x, y, y 0 , . . . , y (n) = 0,

r
c2

que envolve uma funo F de n + 2 variveis definida em um conjunto D,


uma varivel independente x, uma funo incgnita y = y(x) e as primeiras
n derivadas de y. (F pode estar disfarada como uma simples adio ou
no depender de algumas derivadas!) Muitas vezes usaremos t no lugar de
x e, por sua vez, x no lugar de y.

eli
mi
na

16: Resolver essa equao significa encontrar um intervalo aberto I no eixo


Ox e uma funo : I lR tal que:

Pr

(i) (x), 0 (x), . . . , (n) (x) existam para cada x I, isto , seja n vezes
derivvel em todo o seu domnio;

(ii) x, (x), 0 (x), . . . , (n) (x) D para cada x I, de modo que possamos calcular F nessa (n + 2)-upla;

(iii) F x, (x), 0 (x), . . . , (n) (x) = 0 tambm para cada x I.

Uma tal funo chamada soluo da equao, ou ainda curva integral,


e geralmente indicada apenas y.

5
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

C.
L.

17: Equaes da forma apresentada so bastante difceis de serem estudadas, como observaremos na Seo 0.4 (funes implcitas). Portanto, no
que segue, estudaremos equaes

y (n) = f x, y, y 0 , . . . , y (n1) ,

ditas na forma normal (de ordem n). Em geral, suporemos que f contnua
em uma regio U , isto , um subconjunto aberto e conexo de lRn+1 .

y 0 = f (x, y),

ius

18: Assim, uma equao de primeira ordem na forma normal

Vi
nic

onde f : U lR e U uma regio em lR2 .


A mais simples de todas quando f depende somente de x:
y 0 (x) = f (x) para todo x em um certo intervalo.
Suas solues so as primitivas de f !

De onde elas vm

01
4

0.2

r
c2

Devemos nos perguntar qual o significado ou a razo de ser do conceito


de derivada que, afinal, constitui o material das equaes diferenciais.
Para isso, reveremos vrios exemplos tradicionais de problemas que podem ser expressos em termos de equaes diferenciais. Para escrev-las,
no so necessrias tcnicas sofisticadas e, por isso mesmo, eles figuram em
textos de introduo ao Clculo. (Veremos na Seo 1.1, detalhadamente,
o mtodo de resoluo utilizado.)

eli
mi
na

19: Por definio,


y 0 (a) =

y(em a)
y(a + h) y(a)
dy
(a) = lim
= lim
.
xa x(em a)
h0
dx
h

Pr

Isso um nmero, enquanto y 0 ou y 0 (x) a funo que associa a cada a o


valor y 0 (a).
Mostra-se que a funo
L(x) = y(a) + y 0 (a) (x a)

a melhor aproximao linear funo y(x) em torno de a e seu grfico


a reta tangente ao grfico de y pelo ponto (a, y(a)).

6
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

Vi
nic

ius

C.
L.

20 Aspecto geomtrico: ([Suv]) Considere esta propriedade: Cada ponto


de uma certa curva no plano Oxy o ponto mdio do segmento tangente
curva por esse mesmo ponto e limitado pelos eixos cartesianos.
Neste momento, pode ser difcil esquematizar essa propriedade em um
grfico. (Tente!) Experimentaremos conhecer essas curvas abstratamente:
Seja (x, y) um ponto de uma dessas curvas e suponha que a tangente
curva traada por ele intersecte os eixos nos pontos A = (a, 0) e B = (0, b).
Da hiptese de (x, y) ser o ponto mdio entre A e B, deduzimos que A =
(2x, 0) e B = (0, 2y). Para que A e B estejam ambos bem determinados,
sempre devemos ter x, y 6= 0.
02y
O coeficiente angular da tangente AB 2x0
ou, simplesmente, y/x.
Lembramos, agora: A derivada da funo em um ponto o coeficiente
angular da tangente ao grfico por aquele ponto. Em nosso caso, isso
significa que y 0 = y/x, ou seja,
xy 0 + y = 0;

essa a equao diferencial ordinria que descreve as curvas com a propriedade enunciada.

01
4

21: Vamos j resolver essa equao, retornando-a forma


dy
y
= .
dx
x

r
c2

Separamos as variveis e integramos:


Z
Z
dy
dx
dy
dx
=

=
ln |y| + C1 = ln |x| + C2 .
y
x
y
x

eli
mi
na

Podemos chamar C2 C1 de uma nova constante C:


ln |xy| = C,

ou seja, |xy| = eC e ento xy = eC . Novamente, eC um nmero


no-nulo arbitrrio, que chamamos de K, e a soluo
y = K/x.

Pr

Portanto, as curvas com a propriedade descrita so hiprboles cujas


assntotas so os prprios eixos cartesianos. Agora, sabendo disso, esquematize a propriedade enunciada.
Ateno: Note que K pode ser negativa; isso resultado das primitivas
calculadas e ocorrer com freqncia em nossos estudos.

7
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

C.
L.

22: Mostramos que as curvas com a propriedade enunciada so todas hiprboles de uma certa forma. Devemos mostrar que, reciprocamente, todas
essas hiprboles tm aquela propriedade? Como faz-lo?

Nos prximos exerccios (2325), forme as equaes diferenciais que descrevem as curvas planas em Oxy com as propriedades descritas. Basta
obter as equaes, no preciso resolv-las.

ius

23: Em cada ponto, a reta tangente passa pela origem. (Em outras palavras:
a melhor aproximao linear em cada ponto sempre vale zero no zero.)

24: Em cada ponto, a distncia ao longo da tangente at o eixo das abscissas


constante 1.

Vi
nic

25: Em cada ponto, a distncia ao longo da tangente at o eixo das abscissas


igual distncia do ponto origem.

eli
mi
na

r
c2

01
4

26 Aspecto dinmico: Descobriu-se, laboratorialmente, que a velocidade


de desintegrao radioativa proporcional quantidade (em uma medida
adequada) da substncia radioativa existente.
Suponhamos que nos instantes t e t + t a quantidade de material
radioativo era Q e Q+Q, respectivamente. O quociente Q
t a velocidade
mdia de desintegrao da substncia, durante o intervalo de tempo t, e
seu limite dQ
dt a velocidade instantnea de desintegrao no instante t. Por
hiptese, Q diminui quando t aumenta e, ento, dQ
dt negativa; tambm por
hiptese, essa derivada proporcional a Q. Representando-se o coeficiente
de proporcionalidade por > 0, sendo essa a escolha de sinal comum em
Fsica, temos
dQ
= Q
dt
ou, simplesmente, Q + Q = 0, que a equao diferencial do decaimento.
Note bem que foi preciso considerar a velocidade instantnea de desintegrao, dada pela derivada, e no a velocidade mdia entre o comeo e o
fim do processo.

Pr

27: A quantidade de uma substncia especfica enquanto se desintegra, em


funo do tempo, ser soluo da equao diferencial obtida. Essa lei
de desintegrao dever ter como parmetros a quantidade inicial Q0 da
amostra e a meia-vida, ou seja, o perodo durante o qual se desintegra a
metade da quantidade inicial do material.
Separamos e integramos, simplificando como com a equao anterior
anterior:
dQ
= dt ln Q = t + C Q = eCt .
Q

8
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

Q0 = eC0 C = ln Q0 Q = Q0 et .

C.
L.

(Como Q > 0, no tomamos seu mdulo em ln Q, nem pomos Q = eCt .)


Partindo do valor inicial Q0 para t = 0, determinamos C por substituio:

Q = Q0 et(ln 2)/ .

ius

Indicando a durao da meia-vida por e substituindo na lei determinada, temos Q0 /2 = Q0 e , donde = (ln 2)/; isso requer o conhecimento de . Em geral, quem conhecido o prprio , ento isolamos
= (ln 2)/ e finalmente

Vi
nic

28: Uma amostra contendo 0,500 mol de csio 137 o mesmo elemento
do acidente radiolgico de Goinia em 1987 mantida selada por dois
anos, verificando-se ento que ela ainda contm 0,478 mol desses tomos. A
partir desses dados, estime a meia-vida do csio 137.

eli
mi
na

r
c2

01
4

29: Um piscicultor deseja baixar a concentrao de sal, inicialmente 36 g/L,


de um dique de criao de 5.000 m3 . Ele abrir uma comporta que escoa
100 L/s do dique e, simultaneamente, abastecer o dique com gua doce (de
concentrao salina desprezvel) a partir de uma fonte com a mesma vazo.
Forme a equao diferencial que descreve a concentrao x de sal no dique
ao longo do tempo, assumindo homogeneizao imediata da gua.
Indicao: O volume de gua no dique permanece constante. Durante
um intervalo de tempo t, se supusermos a concentrao x constante, perdem-se 100xt gramas de sal, de modo que x 100xt/5.106 em
gramas por litro. Essa variao aproximada porque x varia durante t:
a gua salobra e a gua doce so trocadas simultaneamente, enquanto que
a variao calculada corresponde a primeiro escoar toda a gua salobra e
ento repor o volume com gua doce. Tomando t 0, a aproximao
torna-se precisa, mas a equao fica diferencial.
30: Com a mesma tcnica usada nos exemplos desta seo, resolva a equao
obtida no exerccio anterior e determine quanto tempo a operao tomar
para a concentrao baixar a um tero da original.
Nos prximos problemas (3132), no preciso resolver as equaes
diferenciais, apenas obt-las:

Pr

31: Um ponto material move-se ao longo de uma reta sob ao exclusiva da


atrao gravitacional exercida por outro ponto material, fixado na origem.
Determine a equao diferencial que rege seu movimento. Ela vlida para
descrever o movimento na origem? Por qu?

9
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

C.
L.

Indicao: Sendo x a posio do ponto mvel, a segunda lei de Newton


escreve-se F = m
x e a lei gravitacional diz |F | = GM m/x2 . Por que esse
mdulo importante? Como podemos elimin-lo?

ius

32: Um poo fino perfurado ao longo do dimetro de um planeta esfrico e


slido de raio R e densidade uniforme , sem rotao. Determine a equao
diferencial que rege o movimento de uma sonda ao longo do eixo Ox do
poo, com origem no centro do planeta. O que acontece se a sonda passar
pelo centro do planeta ou pela superfcie?
Lembrete: Se a sonda estiver no poo, sofre ao gravitacional da parte
esfrica do planeta mais prxima do centro, no da casca esfrica exterior.

Vi
nic

33: Como em outras reas do Clculo e da Matemtica, alguns problemas


sugeridos (sejam geomtricos ou mecnicos) aparentemente so esdrxulos
e sem interesse. Isso apenas aparncia! Enunciados muito surreais podem
ser oriundos de diversas situaes de engenharia e projeto, mas estar apresentados em forma fechada. Nosso objetivo formar, resolver ou estudar
equaes diferenciais, independentemente de motivao, embora freqentemente o problema possa ser esclarecido por sua prpria origem.

O que so PVIs e TEUs

01
4

0.3

r
c2

Em algumas aplicaes do estudo de Equaes Diferenciais, no estamos


preocupados em encontrar todas as solues de uma dada equao, mas em
determinar qual delas se ajusta aos nossos dados experimentais, como vimos
nos problemas 27 e 30.
Consideremos esse assunto mais detalhadamente, comeando por recordar este problema de Fsica colegial:

Pr

eli
mi
na

34: Determine a lei do Movimento Retilnio Uniformemente Variado de


um ponto material com acelerao escalar constante, conhecendo-se sua
posio e sua velocidade iniciais.
Soluo: Utilizemos as funes s(t), V (t) para designar a posio e a
velocidade no tempo. Como
a velocidade a derivada da posio, s = V ,
R
desejamos escrever s = V (t) dt.
Mas a integral indefinida uma famlia de funes, enquanto s uma
nica funo. Um modo correto de expressar aquela idia atravs do ajuste
da constante de integrao, fixando-se uma primitiva qualquer. Porm, qual
primitiva escolher? (Veja que (x 1)1 e (x 1)1 x so diferentes, mas
tm a mesma derivada.) Usamos, para isso, uma integral definida:
Z t
s(t) =
V (u) du + A
0

10
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

ius

C.
L.

para alguma constante A lR. A escolha do limite inferior da integral


arbitrria e feita para facilitar os clculos seguintes; o limite superior a
varivel independente estudada; a varivel de integrao deve ser uma nova
letra muda. Lembre que, de fato, essa integral definida uma funo de
t com derivada V e dever diferir de s, que tem a mesma derivada, apenas
por uma constante (o valor A).
Do mesmo modo, a acelerao a derivada da velocidade: V = , de
modo que
Z t
V (t) =
du + B = t + B
0

Vi
nic

com B lR. Ento tambm


Z t
t2
s(t) =
(u + B) du + A = + Bt + A.
2
0

01
4

Resta determinar A e B. Costuma-se, porm, fixar que s(0) = s0 e


V (0) = V0 , para facilitar a incluso de valores experimentais ou a interpretao da frmula. Das expresses acima para s e V , substituindo-se t = 0,
obtemos A = s0 e B = V0 e podemos reescrever
s(t) =

t2
+ V0 t + s0 .
2

r
c2

35: Determine A e B quando s(t0 ) = s0 e V (t0 ) = V0 para um instante t0


arbitrrio.
O problema que pede s(t) de modo que s = , s(t0 ) = s0 , s(t
0 ) = V0
um exemplo de PVI:

Pr

eli
mi
na

36: Em geral, para uma equao de ordem n, preciso informar valores para
as derivadas de ordens 0 a n 1 da soluo, de modo a fixar uma funo
especfica (em vez de uma famlia de funes) como soluo da equao.
Quando esses n valores so informados no mesmo ponto, isto , sob o
mesmo valor da varivel independente, ento se trata de um problema de
valor inicial, ou simplesmente PVI. Nos termos da definio em 1516, o
PVI dado por um vetor a0 lRn e um ponto inicialx0 I; a soluo
deve satisfazer tambm (x0 ), 0 (x0 ), . . . , (n1) (x0 ) = a0 .
Quando se especifica, para uma equao de ordem n, os valores da soluo em n pontos distintos, trata-se de um problema de valores de contorno,
ou de fronteira. Isso usual para equaes de segunda ordem com valores
especificados nas duas extremidades de um intervalo de definio.

11
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

Y =

"

0
1

#
1
0

 s(x) 
c(x)

Y e Y (0) =

" #
0
1

seja soluo do PVI


.

C.
L.

37: ([Gui]) Determine as funes s, c tais que

ius

Soluo: Multiplicando as matrizes do sistema, obtemos as equaes


s0 (x) = c(x) e c0 (x) = s(x), assim como as condies iniciais s(0) = 0 e
c(0) = 1. Em algumas situaes, fazer isso explicitamente pode no ajudar
em nada, mas aqui no temos outras opes.
Para comear, observamos que

Vi
nic

(s2 + c2 )0 = 2ss0 + 2cc0 = 2sc + 2c(s) 0,

01
4

de modo que s2 + c2 constante. Para determinar o valor dessa constante,


calculamos a nova funo onde temos informao: s(0)2 + c(0)2 = 1, de
modo que s2 + c2 1. De onde veio essa funo s2 + c2 , ou melhor,
como determinar uma funo semelhante para um novo problema em mos,
somente muita prtica e inmeras tentativas frustradas podero explicar.
Agora, tentemos determinar essas funes desconhecidas comparando-as
com outras que tenham as mesmas propriedades. Aqui, pensa-se em seno e
cosseno por causa de s2 + c2 = 1 e as derivadas de s, c serem o que so! Mas
como mostraremos que devem necessariamente ser seno e cosseno? Tome

obtemos

r
c2

h(x) = (s(x) sen x)2 + (c(x) cos x)2 ;

h0 (x) = 2(s(x) sen x)(c(x) cos x) + 2(c(x) cos x)(s(x) + sen x) 0.

eli
mi
na

Ento h constante e calculamos h(x) h(0) = 0. Por h ser real e ser


uma soma de quadrados, cada termo dever ser zero: s(x) sen x 0 e
c(x) cos x 0, ento s(x) sen x e c(x) cos x.

38: Identifique ou formule um PVI para cada um dos problemas 2632.


Quais so as interpretaes das condies iniciais?

39: D o significado de um PVI que fosse formulado para os problemas


estudados em 20??. A respeito de 20, fixe condies literais e resolva-o de
acordo com a soluo apresentada para a equao diferencial.

Pr

40: Uma cultura de bactrias continha inicialmente um milho de germes.


Aps uma hora, a populao chegou a oito milhes. Se a taxa de crescimento da cultura for proporcional ao nmero de germes, determine em
quanto tempo a populao j havia dobrado.

12
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

Sugesto: Releia 26 e 27.

C.
L.

41: Via de regra, a soluo geral de uma equao diferencial ordinria tem
tantas constantes arbitrrias quanto a ordem da equao. Derivando-se
essa soluo geral o quanto for necessrio e substituindo-se os dados do PVI,
obtm-se um sistema algbrico que determina os valores dessas constantes
univocamente.

ius

Supondo j obtida a soluo geral, como indicada, obtenha os valores dos


parmetros a partir das condies iniciais e encontre a soluo especfica:
43: y = A sen x, y() = 4.

44: y = (C x2 )/2x, y(x0 ) = y0 .

Vi
nic

42: y = A cos x, y() = 3.

45: y = A sen(x 0 ), y() = 1, y 0 () = 0.


46: y = A sen(x 0 ), y(0) = 0, y 0 (0) = 2.

47: y = Ae2x + Bxex + cos x, y(0) = 0, y 0 (0) = 1.

01
4

Este um bom momento para esclarecer o que sero os TEUs de que


tanto falaremos:

eli
mi
na

r
c2

48: Um Teorema de Existncia e Unicidade, ou simplesmente TEU, enuncia sob quais hipteses um PVI tem soluo (da o termo existncia) e
essa soluo nica. (Para uma equao algbrica ax2 + bx + c = 0, um
enunciado anlogo este: Se b2 = 4ac, ento existe uma nica soluo
real.)
Nesse caso, a varivel dependente regida pela equao diferencial tem
seu comportamento totalmente determinado pelas condies iniciais. Costuma-se dizer que o futuro totalmente previsvel e o passado totalmente
conhecido, especialmente quando a varivel independente mede tempo.
Provaremos tais teoremas em vrias situaes.

49 Curvas no se cruzam: Suponha que valha um TEU para uma equao y 0 = f (x, y) com certa f : lR2 lR. Chame os grficos das solues
dessa equao de curvas. Mostre e lembre sempre que:
(i) por cada ponto do plano, passa alguma curva;

Pr

(ii) duas curvas jamais se cruzam, juntam ou separam; portanto,

(iii) as curvas so paralelas (no necessariamente equidistantes) e formam


uma foliao (partio) do plano.

13
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

C.
L.

Esquematize isso em um diagrama. Adapte essa descrio a equaes de


graus mais altos.
50: Na hiptese somente de existncia, sem unicidade, as curvas podem
apenas se tangenciar.

Coisas que j sabemos fazer

ius

0.4

Vi
nic

Conhecendo o Clculo bsico e usando a manipulao algbrica escolar,


j podemos resolver ou estudar algumas equaes diferenciais e, tambm,
aprender raciocnios e detalhes que sero teis posteriormente. Esta seo
explora essas aplicaes e tcnicas.
Na Seo ??, apresentaremos engenhos que resolvem equaes diferenciais ordinrias. O leitor com interesse em mquinas e mecanismos j pode
estudar essa seo e interpretar visualmente como relacionam-se os termos
de uma equao diferencial.

r
c2

01
4

51 TFC: Dada f : ]a, b[ lR contnua e um ponto (x0 , y0 ) ]a, b[ lR,


existe uma nica y : ]a, b[ lR derivvel tal que y 0 (x) = f (x) para todo
x ]a, b[ e y(x0 ) = y0 .
Soluo: Primeiramente, note que esse enunciado um TEU; o PVI
em questo y 0 = f , y(x0 ) = y0 .
Pelo Teorema Fundamental do Clculo,
y(x) = y0 +

f (s) ds

x0

eli
mi
na

soluo tanto da equao y 0 = f como da condio y(x0 ) = y0 . Para saber


porque escrevemos tal integral assim, reveja a resoluo do problema 34.
Essa soluo ao PVI nica: suponha w : ]a, b[ lR tal que tambm
w0 = f . Ento (w y)0 = w0 f = 0, ou seja, w y = k constante real. Se
ainda w(x0 ) = y0 , temos k = (w y)(x0 ) = 0, donde w = y.

Pr

52: O mesmo raciocnio j prova mais: Se, analogamente, z satisfaz z 0 (x) =


f (x) e z(x0 ) = z0 , novamente temos: (y z)0 = 0, ento y z constante,
donde y z = y(x0 ) z(x0 ) = y0 z0 . Assim, se as condies iniciais y0 , z0
esto prximas, as solues y, z esto uniformemente prximas e, melhor
ainda, diferem por uma constante ou seja, as solues para diferentes
valores iniciais so todas translaes verticais umas das outras:

14
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

C.
L.

y0
y

z0

Vi
nic

a x0

ius

01
4

53 TVM: Se f : lR lR for contnua em [a, b] e derivvel em ]a, b[, ento


existe c ]a, b[ tal que f (b)f (a) = f 0 (c)(ba). Esse o Teorema do Valor
Mdio. Convena-se disso por uma ilustrao e estude a demonstrao em
seu texto favorito de Clculo.
Ele j usado em 51, formalmente, na demonstrao da unicidade.

r
c2

54: O mesmo problema de existncia e unicidade proposto em 51, considerando-se a equao y 0 = ky com k lR.
Soluo: Verifique que ekx uma soluo de y 0 = ky. (Na Seo 1.1,
veremos como encontrar essa primeira soluo.) Se y soluo,
(yekx )0 = y 0 ekx + yekx (k) = kyekx kyekx = 0,

eli
mi
na

isto , yekx = C para alguma constante C. Logo, y(x) = Cekx . Impondo


y(x0 ) = y0 , vemos que C = y0 ekx0 e ento y(x) = y0 ek(xx0 ) , unicamente
determinada. Se existir x tal que y(x) = 0, ento y0 = 0 e portanto y 0.
Grficos: Trace os grficos correspondentes a alguns (x0 , y0 ), em cada
caso k > 0, k = 0 e k < 0 separadamente. Observe que, pela existncia
demonstrada, uma curva passa por cada ponto de ]a, b[ lR; pela unicidade,
essas curvas no se intersectam.
Vejamos mais alguns usos do ferramental de Clculo:

Pr

55: Seja f : lR2 lR contnua. Prove que se a equao y 00 = f (y, y 0 ) no


tem solues constantes, ento ela tambm no tem solues peridicas.
Soluo: J que y 00 = f e f contnua, deduzimos que y deve ser
diferencivel duas vezes e y 00 deve ser contnua, ou seja, qualquer soluo
da equao de classe C 2 . Como a equao no admite soluo constante,

15
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

Vi
nic

ius

C.
L.

ento qualquer que seja o nmero c temos f (c, c0 ) 6= c00 , isto , f (c, 0) 6= 0.
Porque f contnua e f (, 0) nunca se anula, ento f (y(x), 0), como funo
de x, tambm contnua e sempre positiva ou sempre negativa. Assuma
f (y(x), 0) > 0; o outro caso pode ser tratado analogamente.
Suponha que y(x) uma soluo peridica, isto , existe T > 0 tal que
y(x + T ) = y(x) para qualquer x. Em [0, T ], por ser contnua, a funo
y tem um ponto de mximo x1 ; ento, y 0 (x1 ) = 0. (Caso x1 seja um dos
extremos do intervalo, periodicidade de y ainda garante y 0 (x1 ) = 0.) Agora,
substitumos x1 na prpria equao para determinar que y 00 (x1 ) > 0.
Pelo teste da segunda derivada, x1 tambm ponto de mnimo local
de y. Assim, y constante em [0, T ]. Como y peridica, conclumos que
ela deve ser constante em todo lR, contrariando a hiptese inicial.
56 Continuidade: Vimos em 55 que a soluo da equao diferencial deve
ser de classe C 2 e fizemos uso fundamental desse fato. Vamos, ento, rever
o raciocnio:

01
4

(i) A equao diferencial dada de segunda ordem, ento qualquer soluo y(x) dessa equao, para realmente ser soluo (por substituio),
dever ser derivvel duas vezes.
(ii) Isso requer que y 0 seja derivvel e, portanto, contnua; analogamete,
y deve ser derivvel e contnua.

r
c2

(iii) Como f, y, y 0 so todas funes contnuas, ento tambm a composio


f (y(x), y 0 (x)) contnua como funo de x. Mas, de acordo com a
equao dada, essa funo y 00 (x). Conclumos que y 00 tambm
contnua, ou seja, que y de classe C 2 .

eli
mi
na

Concluso: Os detalhes variam de equao para equao, assim como


os domnios das funes envolvidas, mas, geralmente, uma soluo de uma
equao diferencial ordinria dever ser derivvel em algum domnio e,
assim, contnua nele.
Algumas solues de equaes diferenciais so descritas por expresses
diferentes em subconjuntos de seus domnios. Os parmetros que surgem
nessas descries podem ser conhecidos atravs do valor inicial dado e impondo-se continuidade. Determine-os a seguir:

Pr

57: Considere

x + A se x 6 0,
y(x) = Bx2
se 0 < x 6 2,

C/x
se x > 2,
16

c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

58: Considere

com y(0) = 6.
59: Considere

y(x) =
com y(1) = 3.

Vi
nic

ius

se x 6 1,
A x
y(x) = B(x + 2) se 1 < x 6 1,

Kx
e
se x > 1,

C.
L.

com y(1) = 3.
Soluo: A condio y(1) = 3 aplica-se expresso y(x) = Bx2 , donde
3 = B 12 e obtemos B = 3. Para que y seja contnua em x = 0, devemos
ter 0 + A = B 02 , donde A = 0. Em x = 2, devemos ter B 22 = C/2,
donde C = 24.

A cos(x) se x 6 1,
Bx + B/x se x > 1,

01
4

Na resoluo em 21, transformamos as constantes de integrao a fim


de simplificar as expresses resultantes. Mesmo no Clculo bsico, quando
do clculo de primitivas, operamos assim algumas vezes: a chamada absoro de constantes. Mostre que estas substituies so vlidas:

r
c2

60: K/3, com K lR, equivale a C, com C lR.


Soluo: De fato, C = K/3 e K = 3C definem funes lR lR
inversas uma da outra.
61: eK , com K lR, equivale a C, com C > 0.
62: ln K, com K > 0, equivale a C, com C lR.
(A+BC)4
C 2 +D 2 ,

com A, B, C, D lR, equivale a k, com k > 0. E

eli
mi
na

63:

(A+BC)4 +1
C 2 +D 2

64: A cos + B sen , com A, B lR, equivale a k cos( 0 ), com k > 0 e


0 6 0 < 2.
Sugesto: Teste seu raciocnio com cos = cos( ).
H simplificaes anlogas que dependem da continuidade de funes:

Pr

65: |f (x, y)| = K, com K > 0, equivale a f (x, y) = C, com C lR, desde
que f seja contnua. D um contra-exemplo com f descontnua.
66: |f | = eK g, com K lR, equivale a f = Cg, com C lR, desde que f e
g sejam contnuas e no se anulem.

17
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

Note: Isso significa que f no pode saltar entre Cg e Cg, exceto


onde f e g tiverem razes.

g ou f = g, desde que f ou g sejam

C.
L.

67: (f )2 = g equivale a f =
contnuas e no se anulem.

ius

68: Uma funo contnua que satisfaz uma equao algbrica quadrtica
igual a uma das duas expresses dadas pela frmula da Bhaskara, onde
estas no se anularem.

Vi
nic

Aplicaremos estas ltimas anlises, ou outras similares, s solues de


equaes diferenciais que devem ser contnuas, como discutimos acima. Elas
tambm valem para o estudo de funes e solues implcitas, que veremos
a seguir. Por exemplo:

01
4

69 Soluo singular: Considere x(y 0 )2 + 2xy 0 y = 0.


Essa equao quadrtica em y 0 ; isolando esta derivada, obtemos (por
continuidade):
r
y
0
y = 1 1 +
x

Pr

eli
mi
na

r
c2

que requer x 6= 0 e 1 + y/x > 0. Essas so duas equaes homogneas (na


nomenclatura da Seo 1.5) que estudaremos em 204 e 206. Porm, h mais
a ser discutido aqui:
Em x = 0, qualquer soluo dever satisfazer y = 0, como se deduz por
substituio na equao original.
Quando 1 + y/x < 0, o discriminante da equao quadrtica negativo
e no h valor real de y 0 possvel para tais valores de x e y, de modo que
no h funo real derivvel que possa satisfazer a equao diferencial dada.
Isso prova que esse caso realmente no admite solues.
Se 1 + y/x = 0, ou seja, y = x, ento as duas equaes homogneas
acima so a mesma equao y 0 = 1, de que a mesma funo y = x
soluo; essa chamada soluo singular da equao original. Note
que

ela no dada,com nenhum valor de C, pelas solues C 2 Cx (se


x > 0) e C 2 Cx (se x < 0) das equaes homogneas, coletivamente
chamadas soluo geral da equao dada.
Sabemos ainda que no podemos usar a frmula de Bhaskara onde se
anular. Aqui, isso ocorre quando y = 0 e outras informaes devero ser
utilizadas se um PVI especificar y(x0 ) = 0. Note que a soluo constante
0 dada por C = 0 na soluo geral e que, para qualquer valor de C, a
soluo geral anula-se somente quando x 0, permitindo a troca de uma
expresso por outra.

18
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

C.
L.

70 Verificao: Na Seo 0.1, verificamos se algumas funes eram, ou no,


solues das equaes dadas. Fazamos uma checagem similar quando calculvamos primitivas, derivando o resultado de nossa conta e comparando-o
com a funo original.
Esse procedimento importante e deve ser sempre feito, no apenas por
si, mas porque pode consistir em um passo adicional na resoluo de uma
equao.

Vi
nic

ius

71 Exemplo: Os mtodos que estudaremos nap


Seo 1.5 permitiro encontrar a seguinte soluo para a equao y 0 +1 = 1 + y/x, de que j falamos
acima:

y(x) = K 2 2K x

01
4

para x > 0 (veremos isso em 204, juntamente com o caso x < 0).
Substituindo na equao, assumindo x > 0, vem:
r

1
x + K 2 2K x
2K + 1 =

x
2 x
p

xK
(K x)2

x
x

x K = |K x|.

eli
mi
na

r
c2

Essa ltima identidade e, portanto, o fato da funo proposta ser real


mente soluo da equao dada somente pode ser verdadeiro se K 6 x.
Para tanto, ou K 6 0 e essa condio vale para todo x > 0, ou K > 0
e essa condio somente vale para x > K 2 . Assim, o domnio de validade
da soluo depende da constante envolvida, ou seja, do valor inicial em um
PVI.

No primeiro
caso, podemos escrever K = C com C > 0 e escrever
y(x) = C + 2 Cx para x > 0, o que altera
significativamente a forma

da
soluo. No segundo, escrevemos K = C com C > 0 e y(x) = C 2 Cx
apenas para x > C.
Essa concluso chama a ateno para outro assunto:

Pr

72 Intervalo de definio: Dado o PVI y 0 = y 2 , y(0) = y0 , descubramos


o maior domnio conexo (intervalo) que uma soluo pode ter.
Para resolver essa equao, podemos proceder como na Seo 0.2: integramos y 2 dy = dx, obtendo y 1 = x + C, donde
y(x) =

1
.
x+C

19
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

y(x) =

y0
,
1 y0 x

C.
L.

Substituindo-se o valor inicial dado, temos y0 = 1/C ou C = 1/y0 .


Se y0 6= 0, isso resolve o problema; se y0 = 0, observamos que a soluo
singular constante 0 obtida tomando-se y0 0 e C . Ambos os
casos so contemplados na frmula final

Vi
nic

ius

obtida multiplicando-se numerador e denominador por y0 .


Para y0 = 0, essa funo est definida em todo o eixo Ox. Para y0 6= 0,
seu maior domnio lR {1/y0 }. Procuremos agora o maior intervalo I que
possa ser usado como domnio de y. Note que, para o PVI fazer sentido,
precisamos que I contenha o ponto inicial 0. Conclumos assim:

se y0 > 0 ento I = ], 1/y0 [;

se y0 < 0 ento I = ]1/y0 , [;

se y0 = 0 ento I = lR.

01
4

73: Dado o PVI y 0 = 2xy 2 , y(0) = y0 , determine o maior intervalo sobre o


qual uma soluo pode estar definida.

r
c2

H um exerccio variante da verificao de solues: Forme equaes


diferenciais, eliminando os parmetros constantes, cujas solues sejam as
funes y(x) indicadas a seguir.

74: y = C x.
Soluo: Temos

C
x
y
C
,
y0 = = =
2x
2 x
2 x
x

eli
mi
na

de onde obtemos 2xy 0 = y com o parmetro C eliminado.

Pr

75: y = Cx.
Ateno: Derivando os dois lados, temos y 0 = C; essa uma equao
diferencial, mas h dois inconvenientes: (i) produziu-se uma equao para
cada valor do parmetro C, em vez de uma nica equao, enquanto C
continua a aparecer; (ii) as funes y = Cx + D tambm satisfazem essa
equao, assim como y 00 = 0.

20
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

79: y = Cx2 .

77: y = ax + b.

80: y = Ce3x .

78: y = ax2 + bx + c.

81: y = A sen(5x ).

C.
L.

76: y = 8x + C.

82: x2 + y 2 = R2 (onde a funo y dada implicitamente, veja a seguir).

Vi
nic

ius

Finalmente, abordamos o assunto de funes implcitas prometido:


Mostre que, para cada equao diferencial abaixo, a relao indicada
integral, isto , se a segunda igualdade define implicitamente uma funo
y(x), ento essa funo soluo da primeira equao. J fizemos algo
parecido em Clculo bsico: a chamada derivao implcita, quando basta
derivar os dois lados de uma igualdade.
83: (3x 2y)y 0 = 2x 3y, x2 3xy + y 2 = C.
Soluo: Derivando a segunda igualdade com respeito a x, obtemos
2x 3(y + xy 0 ) + 2yy 0 = 0, ou seja, 2x 3y = 3xy 0 2yy 0 = (3x 2y)y 0 ,
como desejado.

85: x = yy 0 , x2 y 2 = C.

01
4

84: (5x 3y 2 )y 0 = 3x2 5y, x3 + y 3 = 5xy.


86: x2 y 00 + 3xy 0 + y = 0, x = 2exy .

r
c2

87: Chamamos ateno para esses problemas porque, em geral, expressar


a soluo de uma equao diferencial explicitamente, embora desejvel,
impraticvel. Por exemplo, expressar y como funo de x em sen(xy) =
cos(x/y) ou em x = y 3 ey tarefa complexa, que no temos como estudar
enquanto nos preocupamos com as equaes diferenciais em si.

eli
mi
na

Veja os pontos 118 e 173 como exemplos de solues dadas nessa forma.
Alguns textos, como [Dem], [BoDi] e [ZiCu], fornecem vrias respostas em
forma implcita.
88: Entretanto, os Teoremas da Funo Implcita e da Funo Inversa permitem-nos, respectivamente, estudar o comportamento local das solues
dadas por essas expresses. Na Seo 1.4, por exemplo, ao provarmos um
TEU no item 183, faremos uso desses teoremas.

Pr

Enunciaremos verses univariveis desses resultados tradicionalmente


expostos em cursos finais de Clculo (como [Rud]), mas importantes no s
em Anlise, como tambm em outras disciplinas, como Mecnica e Geometria Diferencial.

21
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

C.
L.

89 Funo Inversa: Sejam intervalo aberto e f : lR de classe C k .


Se x0 tal que f 0 (x0 ) 6= 0, ento existem intervalos abertos U, V de
modo que x0 U , f (x0 ) V , f |U : U V uma bijeo e sua inversa
de classe C k .

ius

90 Funo Implcita: Sejam regio de lR2 e f : lR de classe C k . Se


(x0 , y0 ) tal que f (x0 , y0 ) = 0 e f
y (x0 , y0 ) 6= 0, ento existem regio
2
W lR e intervalo aberto U de modo que (x0 , y0 ) W , x0 U e, para todo
x U existe nico g(x) lR tal que (x, g(x)) W e f (x, g(x)) = 0; a funo
f
g : U lR assim definida de classe C k e g 0 (y0 ) = f
x (x0 , y0 )/ y (x0 , y0 ).

Vi
nic

91: D contra-exemplos de funes cujas derivadas no respeitem as condies de cada teorema.

Pr

eli
mi
na

r
c2

01
4

92: D contra-exemplos para enunciados globais de ambos os teoremas.

22
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

C.
L.
Vi
nic

Primeira ordem

ius

Captulo 1

Separao de variveis

r
c2

1.1

01
4

As equaes de primeira ordem so aquelas que envolvem apenas a varivel independente, a funo incgnita e sua primeira derivada. Estudaremos
diversos tipos dessas equaes cujas solues podem ser escritas explicitamente, comeando pelas de variveis separveis, que j utilizamos no zersimo captulo. Cada forma especfica comporta uma demonstrao particularizada de um TEU, mas apresentaremos tambm um estudo qualitativo
geral e abstrato para a forma normal das EDOs de primeira ordem.

93: Uma equao de variveis separveis tem a forma


dy
= f (x) g(y), y(x0 ) = y0 ,
dx
onde j inclumos um PVI.

eli
mi
na

(VS)

So casos particulares as equaes autnomas (que veremos em 127,


ainda nesta seo, com f 1) e o clculo de primitivas (com g 1).

94: Para resolv-la, basta desmembrar as diferenciais e passar todas as


ocorrncias de cada varivel (x, y) para cada lado da igualdade:
dy
= f (x) dx.
g(y)

Pr

Desse modo, podemos integrar ambos os lados usando tcnicas de Clculo


bsico e, ento, isolar y em termos de x. A constante de integrao ter
seu valor determinado pelo PVI.

23
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

C.
L.

Esse desmembramento das diferenciais pode parecer misterioso ao esdy


tudante de Clculo, para quem foi sempre dito que dx
deveria ser tratado
como um nico bloco e no como uma frao. Ao demonstrar o TEU,
veremos como esse procedimento se justifica.

ius

95: Para integrarmos, fundamental que cada lado da equao contenha


apenas uma varivel. Assim, nem toda equao tem variveis separveis e,
caso tenha, isso pode no ser aparente: Procure sempre fatorar a expresso
dada para verificar a possibilidade de separar as variveis!

Vi
nic

(Nota: No conhecemos a referncia bibliogrfica para o prximo exemplo, mas preferimos adot-lo por sua simplicidade e pela discusso lgica e
grfica que permite.)
96 Exemplo: x(1 + y 2 ) dx y(1 + x2 ) dy = 0, y(x0 ) = y0 .
Rearranjando a equao dada, obtemos
dy
x
1 + y2
=

dx
1 + x2
y

r
c2

01
4

de variveis separveis, mas essa operao requer que a soluo y(x) no se


anule. Suponha, ento, que y(x) = 0 para algum valor de x: substituindo
na equao original, vem x(1+02 )0(1+x2 )y 0 = 0, ou simplesmente x = 0.
Assim, toda soluo que se anula s poder faz-lo na origem e doravante,
portanto, assumimos y0 6= 0 e que y no se anula.
Agora, isolamos e integramos:
Z
Z
y
x
dy
=
dx
2
1+y
1 + x2
12 ln(1 + y 2 ) = 12 ln(1 + x2 ) + C

eli
mi
na

1 + y 2 = k(1 + x2 ) onde k > 0.

Substituindo a condio inicial y(x0 ) = y0 , obtemos k =


y=

1+y02
,
1+x20

ou seja,

1 + y02
(1 + x2 ) 1;
1 + x20

Pr

tambm conclumos que o sinal a tomar dever ser o mesmo de y0 .


Anlise grfica: fcil rearranjar a identidade obtida na forma tradi2
cional da equao de hiprbole: y 2 kx
= k 1.
Se k > 1, podemos calcular y(x) = kx2 + k 1; cada sinal especifica
uma funo que descreve um ramo inteiro e est definida em todo o lR.

24
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

<
<k

eli
mi
na

k>

1
=

r
c2

01
4

k<

Vi
nic

k>

0<

ius

C.
L.

Quando 0 < k < 1, h um intervalo onde kx2 +k1 negativo, de modo


que os ramos correspondem somente a funes definidas em semi-retas.
Como devem ser funes, cada uma descreve apenas metade de um ramo.
No h soluo nos vrtices dos ramos, de acordo com nossa discusso
inicial.
Para k = 1, temos y = x e podemos distinguir entre essas possibilidades usando a condio inicial, j que assumimos y0 6= 0: se y0 = x0 ento
y(x) = x; se y0 = x0 ento y(x) = x. Como essas retas passam pela
origem, podemos tom-las como solues definidas em todo o lR.
Conclumos com o seguinte esquema:

Ateno: As solues com k = 1 so retas, ou seja, so hiprboles


degeneradas. Contudo, no so as assntotas das demais hiprboles que
particionam o plano. Mostre, com as frmulas bsicas de Geometria Analtica, que as assntotas da hiprbole 1 + y 2= k(1 + x2 ) so retas passando
pela origem e com coeficiente angular k. Desse modo, as hiprboles
no tm as mesmas assntotas e fecham-se progressivamente conforme
so mais afastadas da origem.

Pr

97: Faa o mesmo estudo algbrico e grfico para o PVI x dx + y dy = 0,


y(x0 ) = y0 .
Resolva estas equaes por separao de variveis:

25
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

104: x2 y 0 y = 1 xy 0 .

99: x dy + y dx = 0.

105: xy 0 = y 2 + 1.

100: xyy 0 = 1 x2 .

106: y 0 = (1 + sen x)y.

C.
L.

98: y 0 tg x = y.

101: y 0 = exy .

0
2
102: (xy 2 + x) dx + (x2 y + y) dy = 0. 107: y = (1 sen x)y .

108: y 0 = y 1 (sen x 1).

109: x dy + y dx = 0, y(2) = 4.

112: x2 dy y 2 dx = 0, y(1) = 1.

113: y 0 = 2 y ln x, y(1) = 1.
p
114: (x2 +1)y 0 = 1 y 2 , y(1) = 1.

ius

103: y 0 ey + 1 = 0.

110: x dy + y dx = 0, y(0) = 0.
111: x2 y 0 y = 1 xy 0 , y(1) = 3.

Vi
nic

Resolva os problemas de valor inicial:

01
4

Discutiremos a existncia e a unicidade de solues de (VS) em dois


casos: (i) assumindo que g no se anula e, depois, (ii) assumindo que as
razes de g so isoladas e trabalhando nelas.

r
c2

115 TEU: Sejam f : ]a, b[ lR contnua e g : ]c, d[ lR contnua que no


se anula. Ento, para cada ponto (x0 , y0 ) do retngulo R = ]a, b[ ]c, d[,
(VS) tem uma nica soluo y : I ]c, d[, onde I um intervalo aberto
contido em ]a, b[ e contendo x0 .

(x0 , y0 )

eli
mi
na

I
a

Pr

Observe, em 96, os grficos e os domnios das solues com 0 < k < 1:


elas no esto definidas em todo lR e so um exemplo de que, aqui, no
podemos pretender que I seja todo o intervalo ]a, b[.
A demonstrao desse TEU ser feita em dois pontos:

116 Existncia: Sejam F, G primitivas de f, g1 , respectivamente; isso


garantido pela continuidade destas duas funes. A funo G estritamente

26
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

donde y 0 = f (g y), como desejado.

1
y0 ,
gy

Vi
nic

f = F 0 = (G y)0 = (G0 y) y 0 =

ius

C.
L.

montona pois sua derivada g1 no se anula e ento, por continuidade, tem


sempre o mesmo sinal. Assim, sua imagem um intervalo aberto J e existe
a funo inversa G1 : J ]c, d[.
Como derivada de constante zero, podemos transladar F verticamente
de modo que F (x0 ) = G(y0 ). Porque F contnua, existe ento um intervalo aberto I tal que x0 I ]a, b[ e ainda F [I] J.
Assim, podemos definir y : I ]c, d[ simplesmente como a composio
y = G1 F . Note que obtemos y(x0 ) = y0 .
Para verificar a soluo, derivamos a identidade F = G y utilizando a
Regra da Cadeia:

01
4

117 Unicidade: Continuemos trabalhando com as mesmas primitivas F, G


acima, mas agora suponhamos que temos uma soluo y qualquer. Mostraremos que, em I, essa funo y igual mesma soluo G1 F que j
calculamos.
Nesse intervalo, podemos calcular (G y) F e deriv-la. Vem
1
y0 f = 0
gy

r
c2

(G y)0 F 0 =

porque y soluo de (VS). Desse modo, (G y) F constante e seu valor


, por substituio, G(y(x0 )) F (x0 ) = 0. Conclumos que G y = F e
basta calcular G1 em ambos os lados dessa igualdade.

eli
mi
na

Destacamos o seguinte esclio, que explica a abundncia de solues


dadas implicitamente:
Rx
118: Se G0 = 1/g, obtemos a soluo implcita G(y) = x0 f (t) dt + G(y0 ).
119: Agora, consideramos o caso em que g tem razes e, portanto, no se
pode calcular 1/g; assumiremos ainda que essas razes so todas isoladas.
(A maioria das questes prticas satisfaz essa condio.)
Pode-se aplicar o TEU anterior nestas restries do domnio de g:

Pr

(i) em um intervalo aberto entre quaisquer duas razes consecutivas de g;

(ii) se g(y0 ) 6= 0, em um intervalo aberto contendo y0 onde g no se anule.


27
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

C.
L.

120: Se g(y0 ) = 0, ento a funo constante y0 soluo do PVI (VS);


note que sua derivada zero em x0 (e sempre). Qualquer outra soluo y
tambm ter y 0 (x0 ) = 0 em vista da equao:
y 0 (x0 ) = f (x0 ) g(y(x0 )) = f (x0 ) g(y0 ) = f (x0 ) 0 = 0.

Vi
nic

ius

Assim, como veremos nos exemplos-exerccio abaixo, nas razes de g pode


ocorrer (ou no) o seguinte fenmeno: h solues cujos grficos tangenciam
a reta horizontal y = y0 e, desse modo, so tangentes tambm entre si. (No
h solues que se cruzam.)
J que vale o TEU entre as razes de g, so nicas as solues entre as
retas horizontais definidas por essas razes, e so obtidas pelo mtodo que
discutimos acima. Assim, caso alguma soluo conflua com, ou bifurque de,
uma das solues constantes, dever assumir a forma dada pelo mtodo.
Concluso: Para g com razes isoladas, (VS) sempre tem ao menos
uma soluo e as nicas solues possveis da equao dada so
(i) as funes constantes que so razes de g (so as solues singulares,
tambm chamadas equilbrios da equao) e

01
4

(ii) aquelas dadas pelo mtodo de separao de variveis (so as regulares),

r
c2

embora (VS), como um PVI especfico, possa ter no apenas uma soluo.
Conhecendo-se as solues regulares, devemos inspecion-las para verificar se incluem, em sua forma, as singulares, mas isso diferente da possibilidade de aquelas tangenciarem estas. Se isto no acontecer, conclui-se
por um TEU irrestrito.
Resolva cada uma das equaes abaixo com a condio y(x0 ) = y0 e
identifique qual das situaes descritas acima ocorre.
124: y 0 = 1 + y 2 .

122: y 0 = 2xy 2 .

125: y 0 = 3y 2/3 .

123: y 0 = x1 y.

126: y 0 = x2 .

eli
mi
na

121: y 0 = xy 1 .

No restante desta seo, concentraremos nossa ateno em um caso particular muito til da forma (VS) e em uma modalidade tpica de aplicaes
desse tipo de equaes.

Pr

127: Uma equao autnoma aquela em que a varivel independente no


consta explicitamente e tem a forma y 0 = g(y). Note que essa equao tem
variveis separveis!

28
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

129: Mostre que podemos assumir x0 = 0.

C.
L.

128: Suponha que g : I lR contnua e no se anula, sendo I um intervalo


aberto. De acordo com o TEU para (VS), fixado (x0 , y0 ) lR I, o PVI
y 0 = g(y), y(x0 ) = y0 tem uma nica soluo definida em um intervalo
aberto contendo x0 .

01
4

Vi
nic

ius

130: As equaes autnomas surgem especialmente na descrio de fenmenos naturais que descrevem a evoluo de alguma quantidade ao longo
do tempo, mas em que a marcao do tempo, em si, irrelevante.
Por exemplo, nos pontos 26 e 27, conhecemos a equao de decaimento
radioativo
ln 2
Q =
Q

em termos da meia-vida da substncia em estudo. Evidentemente, tanto


a condio de valor inicial Q(0) = Q0 como a soluo Q = Q0 et(ln 2)/
envolvem a varivel t que mede o tempo, mas a equao diferencial indica
a taxa de variao de Q apenas em termos de condies contemporneas
(no caso, o prprio valor de Q). Em outras palavras, o fenmeno estudado
e a equao obtida no dependem de um calendrio especfico.
O ponto anterior sugere que, nesse caso, no h perda de generalidade
em supor-se sempre o instante inicial sendo 0.

r
c2

Como exemplos, na prxima seo, daremos destaque a modelos populacionais e epidemiolgicos, mas voltaremos a encontrar equaes autnomas
em outras aplicaes.

eli
mi
na

131: A ttulo explanatrio, digamos que g est definida em toda a reta


real e tem trs razes reais y1 , y2 , y3 . Sabemos que as funes constantes
correspondentes so solues de y 0 = g(y) e j as chamamos de equilbrios
dessa equao. Outras solues podem ou no tangenciar com, confluir
com, ou birfucar-se de cada equilbrio.
132: Em caso negativo. quando nenhuma soluo corta as retas y = y1 ,
y = y2 e y = y3 , a situao descrita pelo diagrama abaixo. Ele assume
que as solues esto definidas e so contnuas em toda a reta real e ilustra
estes fatos:
j que y 0 = g(y), a soluo crescente ou decrescente conforme g
positiva ou negativa;

Pr

j que y 00 = g 0 (y) y 0 , os pontos de mximo e mnimo de g indicam


alguns dos valores de inflexo das solues.

29
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

y1

y2

y3

y2

C.
L.

y3

y1

ius

133: Essa anlise sugere a seguinte classificao dos equilbrios:

estvel se g > 0 antes ( esquerda, ou abaixo) do equilbrio e g < 0


depois ( direita, ou acima) dele;

instvel se g < 0 antes e g > 0 depois;

semiestvel em outros casos.

Vi
nic

01
4

Ou seja, o equilbrio estvel (y2 no exemplo) ou instvel (y1 , y3 no exemplo) quando as solues em seu entorno aproximam-se ou afastam-se, respectivamente.
A terceira possibilidade no contemplada no exemplo
e ocorre quando as solues em um lado do equilbrio aproximam-se dele,
enquanto as do outro lado afastam-se.
Identifique e classifique os equilbrios destas equaes:
136: x = ln(x 2).

r
c2

134: y 0 = 2y(1 y).

135: y 0 = 3y(y 1)(y + 2)2 .

137: x = sen(2x) cos x.

eli
mi
na

138: Mostre que todas as solues entre os mesmos dois equilbrios consecutivos (ou abaixo do menor equilbrio, ou acima do maior equilbrio) so
todas translaes horizontais umas das outras.

1.2

Dinmica populacional

Pr

Os modelos de dinmica populacional so excelentes exemplos de equaes autnomas justamente por no dependerem de calendrios. Aqui, estudaremos a formulao de alguns desses modelos e ilustraremos o estudo de
equaes autnomas atravs desses casos especficos. Qual modelo usar ou
montar depende, afinal, de diversas hipteses particulares de cada estudo e
cada cincia.
139: Embora populaes sejam intuitivamente medidas por variveis discretas (cujos valores so nmeros naturais), elas podem ser representadas

30
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

ius

C.
L.

por variveis contnuas x(t) que, na perspectiva deste assunto, so mais


suscetveis s ferramentas do Clculo. Partes fracionrias, especialmente
de nmeros grandes, podem ser simplesmente ignoradas.
Outras quantidades frequentemente representadas assim so: propores de indivduos com certas caractersticas, dentre toda a populao;
probabilidades de eventos; concentraes ou densidades populacionais; biomassa (soma das massas, ou outra medida qualquer, de todos os indivduos
da populao); totais de capital e montante; at massas dgua ou tamanhos
de ambientes ou corpos isolados.

Vi
nic

Trabalharemos sempre com a condio inicial x(0) = x0 ; para outros


valores do instante inicial, procede-se por translao horizontal da soluo,
como vimos em 129, ou adota-se uma conveno manual como 1990 o
ano base, de modo que 2015 corresponde a t = 25.
140 Malthus: A velocidade de crescimento proporcional prpria populao o postulado mais simples desse estudo. Ele corresponde equao
x = ax

01
4

com uma constante de proporo a > 0. A soluo


x(t) = x0 eat

r
c2

descreve o famoso modelo de crescimento exponencial.


A mesma expresso vlida quando a < 0, hiptese de interesse em
casos como o decaimento radioativo ou a autofagia.
Experimentaremos algumas variaes desse postulado e do modelo:

eli
mi
na

141: Se, em uma populao de x indivduos, h sempre x/2 machos e x/2


fmeas, podemos supor que a taxa de crescimento x seja proporcional ao
nmero de encontros entre machos e fmeas que resultam em acasalamento.
Esse nmero, por sua vez, proporcional aos nmeros de machos e fmeas,
ento x deve ser proporcional a (x/2)(x/2), ou simplesmente
x = ax2

para a > 0. (Resolva essa equao.)

Pr

142: Um modelo cuidadoso incorporar no somente o aumento populacional por nascimentos, mas tambm as perdas por falecimentos e at os fluxos
migratrios. Diversas expresses podem ser usadas para represent-los, de
acordo com as hipteses feitas e a cincia estudada.

31
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

x = ax bx = (a b)x,

x = ax2 bx.

C.
L.

Por exemplo, se a taxa de mortalidade (proporcionalmente populao)


for constante, ento o termo bx (onde b > 0) somado ao termo de
crescimento, assim: os dois modelos anteriores ficam

Vi
nic

x = ax bx2 ,

ius

Outro caso so as situaes de grande violncia, como guerras civis ou


criminalidade. O mesmo raciocnio do ponto anterior pode ser usado para
justificar o termo bx2 para as perdas por morte, proporcionalmente aos
encontros entre dois indivduos da populao. Obtemos

x = ax2 bx2 = (a b)x2 .

Resolva essas quatro equaes e identifique se h mudanas estruturais


em suas solues, com relao s anteriores. Estude ainda a conseqncia
das hipteses a > b e a < b.

r
c2

01
4

143 Verhulst: Populaes muito grandes enfrentam escassez de alimentos


e espao e tm seu crescimento dificultado e freado. Um modo de incorporar
esse fato ao modelo malthusiano impor um redutor M x que diminuir
a taxa de crescimento quando x est muito prximo de um limitante M ,
embora seja menor:
x = a(M x)x.

eli
mi
na

Essa a chamada equao do crescimento logstico ou, simplesmente,


equao logstica.
Ela aplicada com sucesso em diversos estudos demogrficos e tambm
na modelagem de epidemias, em que x mede a proporo de infectados e a
disseminao cresce proporcionalmente ao nmero (100%x)x de encontros
entre no-infectados e j infectados. Pode ainda ser interpretada segundo
nossa experimentao anterior, quando posta na forma
x = aM x ax2 = x x2

(tomando-se a = e M = /) que representa crescimento malthusiano


com mortalidade por violncia.

Pr

144: Resolva a equao de Verhulst por separao de variveis, obtendo


x(t) =

M
.
1 C exp(M at)
32

c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

x(t) =

M x0
.
x0 + (M x0 ) exp(M at)

C.
L.

Use a condio inicial x(0) = x0 para determinar C e reformule x como

Essa forma da soluo inclui ambos os equilbrios 0 e M ; mostre que, para


outros valores de x0 , ela nunca iguala nem 0 nem M , provando existncia
e unicidade sempre.

ius

Assumiremos doravante a, M > 0.

(a) x est definida para todo t lR;


(c)

lim

x(t) = 0,

lim

x(t) = M.

t()
t(+)

01
4

(b) sempre 0 < x < M ;

Vi
nic

145: Podemos estudar o comportamento dessa funo e esboar seu grfico


utilizando as tcnicas de Clculo elementar. Por exemplo, assumindo 0 <
x0 < M , mostre que:

r
c2

Entretanto, como veremos no prximo ponto, no preciso manipular


a frmula explcita e complicada de x para efetuar a anlise das primeira e
segunda derivadas.
146: J conhecemos a primeira derivada x,
dada pela prpria equao:
x = a(M x)x > 0 x estritamente crescente

eli
mi
na

(para a, M > 0). De modo anlogo, calculamos


x
=

dt x

d
dt [a(M

x)x] =

= a(0 x)x
+ a(M x)x =

= a[a(M x)x] + a(M x)[a(M x)x] =

= a2 (M x)(M 2x)x.

(Os colchetes indicam as substituies de x por a(M x)x, para a derivao


e para eliminar as duas ocorrncias aps a derivao.) Ento temos
x
= 0 quando x = M/2 (e nos casos x = 0, M que descartamos);

x
> 0 quando 0 < x < M/2;

Pr

33
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

x
< 0 quando M/2 < x < M .

C.
L.

Observe que no determinamos os pontos t onde as primeira e segunda


derivadas anulam-se, mas os valores x nesses pontos. Assim, contrariamente
ao hbito dos cursos de Clculo, marcamos esses valores de interesse no eixo
das ordenadas, no no das abscissas.

Vi
nic

ius

147: O valor M/2 pode ser interpretado assim, no contexto de contgio


epidmico mencionado na introduo equao: ao atingir mais de 50% da
populao suscetvel, o contgio deve desacelerar.
Inicialmente, h poucos portadores da doena e a disseminao lenta,
embora se acelere com o aumento dos portadores, porque h mais e mais
portadores contaminando indivduos sos. Quando 50% da populao est
contaminada, a disseminao tem velocidade mxima, mas deve iniciar sua
desacelerao porque, com a diminuio da parcela s, encontros entre portadores e no-portadores tornam-se progressivamente menos frequentes.

01
4

148: A anlise acima fez uso fundamental da hiptese 0 < x0 < M , que implicou que 0 < x(t) < M para todo instante t. Ela foi o que, em particular,
garantiu valor sempre positivo para o denominador de x(t) e a continuidade
dessa soluo em toda a reta real.
Em geral, devemos considerar quando o denominador anula-se:
x0 + (M x0 ) exp(M at) = 0.

r
c2

Resolvendo em t, obtemos

T =

1  x0 
ln
,
Ma
x0 M

eli
mi
na

chamado ponto de turbulncia. Sua existncia requer x0 /(x0 M ) > 0 e,


por sua vez, isso equivale s opes x0 > M ou x0 < 0 (porque assumimos
M > 0).

Pr

149: O grfico da soluo x(t), quando h turbulncia, tem dois ramos,


maneira das hiprboles: um para t < T e outro para t > T ; um est abaixo
do equilbrio 0 e outro acima do equilbrio M . (A correspondncia entre as
duas dicotomias depende do sinal de x0 .)
A soluo somente est continuamente definida no intervalo que contiver
o instante inicial 0, seja ], T [ ou ]T, [. Distinguem-se, portanto, duas
situaes:
(a) x0 > M , donde x0 /(x0 M ) > 1 e T < 0; a soluo est definida continuamente em ]T, [ e tem o grfico superior no diagrama a seguir;
34
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

lim x(t) = ,

tT +

lim

x(t) = M.

Vi
nic

ius

t(+)

C.
L.

mostre que

01
4

(b) x0 < 0, donde x0 /(x0 M ) < 1 e T > 0; a soluo est definida


continuamente em ], T [ e tem o grfico inferior no diagrama a
seguir; mostre que

lim

x(t) = 0,

r
c2

t()

lim x(t) = .

eli
mi
na

tT

(Ao cruzar T , a soluo salta para um ramo do outro lado da faixa [0, M ].)

Pr

150: A anlise restante similar anterior, notando-se que x < 0 e calculando-se o sinal de x
. Conclumos que o equilbrio 0 instvel e o equilbrio
M estvel. Este diagrama resume nossos resultados:

35
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

x0

C.
L.

t=T

ius

x=M

Vi
nic

x = M/2
x0

r
c2

01
4

x=0
t

eli
mi
na

Lembre que, especificamente nesta equao, os grficos curvos das solues no-constantes no interceptam as retas dos equilbrios. Isso acontece
no diagrama em vista de arredondamentos nos clculos feitos pelo programa
gerador da imagem e, mais notoriamente, porque as linhas impressas tm
uma largura no-nula.

151: O que muda se tomarmos a < 0 e/ou M < 0 ? Mostre que, ento, o
equilbrio M identifica um limiar a partir do qual uma populao pode
prosperar ou extinguir-se.
Em muitos casos, se o nmero de indivduos estiver abaixo de um limiar
inferior ainda positivo, ento a reproduo e o crescimento so inviabilizados e a populao extingue-se. Vejamos:

Pr

152: Suponha M > L > 0, onde L o limiar. Mostre que o modelo


x = a(M x)(x L),
36
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

com equilbrios L, M , reduz-se equao de Verhulst.

C.
L.

153 Volterra: Se acrescentarmos o redutor x L, que corresponde dificuldade de crescimento quando x (maior que, mas) muito prximo de L,
obtemos
x = a(M x)(x L)x.

ius

Determine e classifique os equilbrios dessa equao e verifique o que


ocorre quando x0 < L. Resolva-a explicitamente e analise sua soluo com
as mesmas tcnicas que usamos no estudo da equao de Verhulst.

Vi
nic

H duas variaes do modelo de Verhulst que incorporam caa predatria ou extrao sustentvel de recursos renovveis. Lembramos que essa
equao j tem uma taxa de mortalidade intrnseca (x2 , acima), ento
identificamos explicitamente um termo adicional:
154: Se a extrao ocorrer a um nmero fixo de indivduos por unidade de
tempo, vem
x = a(M x)x b

01
4

para alguma constante b > 0.


Determine e classifique os equilbrios dessa equao. Mostre que um dos
equilbrios est entre 0 e M e, para esse valor x
b, determine b em termos dos
coeficientes intrnsecos a, M . O que necessrio para que a extrao seja
sustentvel a essa taxa?

r
c2

155 Schaefer: Se a extrao ocorrer com facilidade proporcional ao tamanho da populao, ou seja, quanto mais houver, mais fcil caar, obtemos
x = a(M x)x bx

eli
mi
na

onde novamente b > 0.


Determine e classifique seus equilbrios. Qual valor de b permite caa
renovvel, sem alterao da populao?
Finalizamos esta seo com diversos problemas que tm o mesmo esprito do estudo de dinmica populacional:

Pr

156: Um cometa esfrico e homogneo vaporizado pelo calor solar. Ele


perde massa proporcionalmente a sua exposio radiao solar, ou seja,
seu volume decresce em uma velocidade proporcional rea de sua superfcie. Escreva e resolva a equao diferencial que rege o raio do cometa em
funo do tempo, com o PVI que associa R0 ao raio na origem dos tempos.
157: Mostre que o mesmo modelo descreve a evaporao da gua contida
em uma taa cnica a uma temperatura constante.

37
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

Equaes lineares

158: Uma equao de primeira ordem da forma


y 0 = p(x) y + q(x)

C.
L.

1.3

chamada linear. Quando q 0, trata-se de uma equao linear homognea que tem variveis separveis.

Vi
nic

ius

Comecemos imediatamente por um TEU. Sua demonstrao construtvel, isto , apresenta uma frmula para a funo procurada. Porm, no h
necessidade de memoriz-la: aprecie o mtodo da variao das constantes
utilizado para deduzi-la e reproduza-o nos exerccios propostos.

01
4

159 TEU: Suponha que p, q : I lR so contnuas sobre um intervalo


aberto I. Dados x0 I e y0 lR, existe nica y : I lR de classe C 1 tal
que y 0 = py + q e y(x0 ) = y0 .
Soluo: Inicialmente, considere a parte homognea y 0 = py, cuja soluo por separao de variveis

Rx
y(x) = y0 exp x0 p(s) ds .

r
c2

Aqui e abaixo, usamos o TEU para (VS) com a hiptese de p contnua; essa
expresso inclui a soluo constante 0 (pondo-se y0 = 0) e nenhuma outra
soluo se anula.
Neste momento, substitumos y0 pelo smbolo C: agora, procuraremos
solues da equao completa, na forma

Rx
y(x) = C(x) exp x0 p(s) ds ;

eli
mi
na

este o chamado mtodo da variao das constantes em que supomos C funo de x, isto , C varia com x. (Pospomos para o Captulo 2, ponto 357,
uma motivao e um contexto para essa idia.)
Calculamos a derivada do produto:


Rx
Rx
y 0 (x) = C 0 (x) exp x0 p(s) ds + C(x) exp x0 p(s) ds p(x).

Tambm temos, por substituio,

p(x)y(x) + q(x) = p(x)C(x) exp

Rx

x0


p(s) ds + q(x).

Pr

Assim, conhecemos os dois lados da equao y 0 = py + q. Cancelando-se os


termos com p, sobra

Rx
q(x) = C 0 (x) exp x0 p(s) ds ,
38
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

C.
L.

cuja soluo, isolando-se C 0 e integrando-se,



Rx
Rr
C(x) = C(x0 ) + x0 q(r) exp x0 p(s) ds dr.

Retornando C(x0 ) = C = y0 , obtemos a soluo procurada


 Rx

Rx
Rx
y(x) = y0 exp x0 p(s) ds + x0 q(r) exp r p(s) ds dr,

Vi
nic

ius

como se pode verificar por substituio.


Para provarmos a unicidade, suponha que tenhamos solues y1 , y2 para
o mesmo PVI. Observe que yR = y1 y2 satisfaz y(x0 ) = 0 e y 0 = py. Como
x
no incio, y(x) = y(x0 ) exp x0 p(s) ds e substituindo y(x0 ) = 0 informa
y = 0, ou seja, y1 = y2 .
160 Exemplo: (y 0 + 5)x = 2y.
Ao isolarmos y 0 , obtemos a equao linear y 0 = 2x1 y 5. (Lembre que,
porque dividimos por x, a expresso para a soluo quebra-se na origem.)
1o passo: A parte homognea y 0 = 2x1 y, que pode ser resolvida por
separao de variveis:

01
4

dy
dx
=2
ln |y| = 2 ln |x| + C1 y = Cx2 .
y
x

r
c2

2o passo: Fazemos a variao da constante, ou seja, tomamos a funo


y(x) = C(x) x2 . Substituindo-a em y 0 = 2x1 y 5, obtemos
C 0 (x) x2 + C(x) 2x = 2x1 [C(x) x2 ] 5.
Note que o somando 2xC(x) aparece em ambos os lados dessa igualdade.
Aps elimin-lo, determinamos C(x):

eli
mi
na

C 0 (x) x2 = 5 C 0 (x) = 5x2 C(x) = 5x1 + K.

3o passo: Finalmente, conclumos que


y(x) = C(x) x2 = 5x + Kx2 .

Verifique diretamente que y = 5x + Kx2 soluo de (y 0 + 5)x = 2y.


(No temos referncia para o prximo exemplo.)

Pr

161 Exemplo: y 0 = (1 + sen x)y + cos x, y() = e.


1o passo: Resolva primeiro apenas a parte homognea y 0 = (1+sen x)y,
de variveis separveis, obtendo y(x) = C exp(x cos x).
39
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

y 0 (x)

C.
L.

2o passo: Escreva y(x) = C(x) exp(x cos x) e derive, substituindo na


equao original:
z
}|
{
C 0 (x) exp(x cos x) + C(x) exp(x cos x)(1 + sen x) =
|
{z
}
compare isto. . .

y(x)

p(x)

q(x)

ius

}|
{ z }| {
z }| { z
= (1 + sen x) [C(x) exp(x cos x)] + [cos x] .
|
{z
}

Cancelando, obtemos

Vi
nic

. . . e isto

C 0 (x) exp(x cos x) = cos x


e ento

C(x) =

cos s exp(cos s s) ds + K.

01
4

Essa uma integral mais difcil que no , agora, nossa preocupao; deixemo-la indicada. Note que utilizamos o ponto inicial como limite inferior
de integrao, o que facilitar o ltimo clculo da resoluo.
3o passo: Substitua C(x):

r
c2

y(x) = C(x) exp(x cos x) =

= K exp(x cos x) + exp(x cos x)

cos s exp(cos s s) ds.

Agora y() = e implica e = Ke+1 + e+1 0, donde K = e e obtemos


Z x
y(x) = exp(x cos x) + exp(x cos x)
cos s exp(cos s s) ds.

eli
mi
na

Resolva estas equaes lineares:

162: y 0 = y tg x + 4 sen x.

164: y 0 = x1 y + x.

163: y 0 = 2y + e3x .

165: s sen t + s cos t = 1.

Pr

166: ([Dem]) Dadas trs solues particulares y1 , y2 , y3 de uma equao


y1
constante e d um significado
linear de primeira ordem, prove que yy23 y
1
geomtrico para isso.
H outro mtodo de resoluo, que aprenderemos detalhadamente na
prxima seo, mas que j se pode utilizar aqui:

40
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

168: Desse modo, podemos resolver y 0 = py + q assim:


(1) resolva 0 = p por separao de variveis;

C.
L.

167 Fator integrante: Dada a equao y 0 = py + q, suponha que uma


funo satisfaa 0 = p no mesmo intervalo de definio de p, q. Mostre
que, ento, vale (y)0 = q.

ius

(2) escolha a soluo no-nula mais simples (chamada fator integrante);


(3) determine y como o quociente por de alguma primitiva de q.

1.4

Vi
nic

Mostre que esse mtodo produz a mesma frmula para a soluo geral que
obtivemos no TEU e utilize-o para resolver novamente os exemplos e os
exerccios.

Equaes exatas e fatores integrantes

169: Uma equao

01
4

p(x, y) dx + q(x, y) dy = 0
(ou p + qy = 0), com p, q definidas em uma regio U lR2 , chamada
exata se existir f : U lR diferencivel tal que

r
c2

f
=p e
x

f
=q
y

em todo U .

eli
mi
na

170 Note bem: Em alguns momentos, y a varivel com respeito qual


se toma uma derivada parcial; em outros, y uma funo de uma nica
varivel x e tem sua derivada usual. Quando derivamos f quanto a x,
tratamos apenas da derivada parcial quanto a essa varivel, no quanto
parte implcita em y, exceto em 173, onde calcularemos a derivada total.
171: Suponha que p, q so de classe C 1 em U . Se p dx + q dy = 0 exata
com f como acima, ento
p
2f
q
=
=
.
y
xy
x

Pr

Se U simplesmente conexo (como lR2 e qualquer retngulo ou disco), ento


p
q
a identidade y
= x
suficiente para exatido, como se mostra no Clculo
de vrias variveis.

41
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

172: Portanto, caso verifiquemos que

C.
L.

p
q
=
y
x

ius

para uma equao qualquer, vale a pena procurarmos a funo f (que pode
existir ou no). Como
R veremos nosR prximos exemplos, para determin-la, calculamos f = q dx ou f = p dy, tratando a outra varivel como
constante.

173: A equao f (x, y) = K define solues implcitas da equao exata,


sendo f como acima, porque, pela Regra da Cadeia,
f
x

f
y

dy
dx

d
dx f (x, y(x))

Vi
nic

p + qy 0 =

= 0.

Note que, dada a condio inicial y(x0 ) = y0 , temos K = f (x0 , y0 ).


p
y

q
x

01
4

174 Exemplo: (3x2 + 4xy) dx + (2y + 2x2 ) dy = 0, y(1) = 2.


Identificamos p = 3x2 + 4xy e q = 2y + 2x2 e verificamos que
so iguais (ambos valem 4x), ento tentaremos encontrar f .
J que f
x = p, integramos
Z
f = p dx = x3 + 2x2 y + A(y).

eli
mi
na

r
c2

Note que integramos p com respeito a x, ento aparece uma constante de


integrao A, mas A constante apenas com relao a x, podendo depender
de y, de Rmodo que escrevemos A = A(y). Tambm poderamos experimentar f = q dy + B(x).
Agora utilizamos a outra condio: f
y = q reescreve-se
2x2 + A0 (y) = 2y + 2x2 ,

donde A0 (y) = 2y e ento A(y) = y 2 + C. Assim, obtemos


f (x, y) = x3 + 2x2 y + A(y) = x3 + 2x2 y + y 2 + C.

Pr

f
Verificamos que, realmente, f
x = p e y = q; afinal, fizemo-lo para que
funcionasse!
Fazendo f = K, obtemos x3 + 2x2 y + y 2 = D, onde absorvemos as
constantes. Com o ponto inicial (1, 2), calculamos D = 1, de modo que

x3 + 2x2 y + y 2 = 1

42
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

C.
L.

e tem-se y = x2 x4 x3 + 1 pela frmula quadrtica. Para determinar


o sinal, conferimos novamente com o valor inicial y(1) = 2, satisfeito
apenas por
p
y = x2 x4 x3 + 1.

impomos

iguais (so

= q 2x4 + x3 + A0 (y) = 2x4 + 2x3 y

Vi
nic

f
y

q
x

ius

175 Exemplo: (8x3 y + 3x2 y 2 ) dx + (2x4 + 2x3 y) dy = 0.


p
Temos p = 8x3 y + 3x2 y 2 e q = 2x4 + 2x3 y, com y
e
8x3 + 6x2 y). Integramos
Z
f = p dx = 2x4 y + x3 y + A(y);

A0 (y) = 2x3 y x3

f (x, y) = 2x4 y + x3 y + A(y) = 2x4 y + x3 y 2 + C;

escrevemos f = K, ou seja,

01
4

obtemos

A(y) = x3 y 2 x3 y + C;

2x4 y + x3 y 2 = D,

de onde resolvemos y = x x2 x6 Dx.

r
c2

No prximo exemplo, fazemos a integral de q quanto a y. Em geral,


pode-se escolher qual integral mais simples para trabalhar.
176 Exemplo: (x2 + 1)y 0 = x2 2xy.
Temos p = 2xy x2 e q = x2 + 1 com
achar f , fazemos
Z

eli
mi
na

f=

j que p =

f
x ,

p
y

q
x

iguais (so 2x). Para

q dy = (x2 + 1)y + B(x);

obtemos

2xy x2 = 2xy + B 0 (x),

donde B 0 (x) = x2 e B(x) = x3 /3 + C. Ento

f (x, y) = (x2 + 1)y x3 /3 + C

Pr

e a soluo y = (D + x3 )/3(x2 + 1).

Verifique a condio necessria para exatido e resolva pelo mtodo


exposto acima:

43
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

180: 2xy 2 dx + 2x2 y dy = 0.

178: y cos x dx + sen x dy = 0.

181: y 0 = 3x1 y.

179: 3e3x y dx + e3x dy = 0.

182: y 0 = (y + 1)/(x + 1).

C.
L.

177: y dx + x dy = 0.

O mtodo dos exemplos e exerccios pode ser aplicado sempre; demonstraremos um TEU de modo a ver como a soluo dada diretamente pelo
Teorema da Funo Implcita:

r
c2

01
4

Vi
nic

ius

183 TEU: Sejam p, q : R lR de classe C 1 , onde R o retngulo dado por


p
q
a < x < b e c < y < d, tais que y
= x
. Suponha ainda que q nunca se
anule em R. Ento por cada ponto (x0 , y0 ) R passa uma nica soluo
de p dx + q dy = 0.
Soluo: Como R simplesmente conexo, ento a equao exata em
f
R, ou seja, existe f : R lR de classe C 2 tal que f
x = p e y = q. Veja
f
que y (x0 , y0 ) = q(x0 , y0 ) 6= 0: pelo Teorema da Funo Implcita, existe
um intervalo I contendo x0 e uma funo y : I lR tal que f (x, y(x)) =
f (x0 , y0 ) para todo x I.
J vimos que essa funo deve ser soluo de p + qy 0 = 0. Quanto ao
valor inicial, temos f (x0 , y(x0 )) = f (x0 , y0 ); como f
y = q, contnua sem
zeros, a funo f (x0 , ) estritamente montona em y0 e ento y(x0 ) = y0 .
Para demonstrar a unicidade, suponha que y1 , y2 sejam solues do
mesmo PVI. Subtraindo as equaes, obtemos q(y1 y2 )0 = 0. Porque q
no se anula, conclumos que y1 y2 constante, ao longo de um intervalo,
e igual a y1 (x0 ) y2 (x0 ) = 0.
Agora, passamos ao segundo tpico desta seo:
184: Diz-se que : U lR6=0 fator integrante de p dx + q dy = 0 se

eli
mi
na

(p) dx + (q) dy = 0 for exata em U .

Qualquer soluo dessa equao exata ser soluo da original.


185: Se fator integrante, ento
(p)
(q)
=
.
y
x

O que se basta saber sobre U, , p, q para isso e para a recproca?

Pr

186: Mostre que se

p
y

q
x

44
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

C.
L.

s depende de x, ento a equao admite um fator integrante que s


depende de x e tem-se tambm que d
dx = .
Sugesto: Aplique a regra de derivao do produto equao em 185
e imponha /y = 0.

ius

187: No caso de e, portanto, dependerem apenas de x, resolvemos a


equao de variveis separveis 0 = obtendo uma frmula explcita
para o fator de integrao:

R
(x) = exp (x) dx .

188: Analogamente, se
=

p
y

Vi
nic

Escolha a primitiva (ou a constante de integrao) mais simples; por


que qualquer uma serve?

q
x

01
4

depende apenas de y, um fator integrante pode ser obtido como soluo


de d
dy = , assim:

R
(y) = exp (y) dy .

r
c2

189 Exemplo: (8xy + 3y 2 ) dx + (2x2 + 2xy) dy = 0, y(2) = 1.


p
Temos p = 8xy + 3y 2 , donde y
= 8x + 6y, e q = 2x2 + 2xy, donde
q
x = 4x + 2y; ento a equao no exata. Porm,
p
y

q
x

8x + 6y 4x 2y
2
=
2x2 + 2xy
x

eli
mi
na

e a equao tem um fator de integrao que s depende de x. Para


encontr-lo, pomos
d
2
= ,
dx
x
donde (x) = Cx2 por separao de variveis; escolhamos C = 1.
A nova equao
(8x3 y + 3x2 y 2 ) dx + (2x4 + 2x3 y) dy = 0

Pr

e exata: ns a resolvemos em 175. L, determinamos f (x, y) = 2x4 y+x3 y 2


f
com f
x = p e y = q. J que, no ponto inicial, f (2, 1) = 40 (ponto
inicial), a soluo dada implicitamente por
2x4 y + x3 y 2 = 40;

45
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

C.
L.

resolvendo em y
e escolhendo a soluo que satisfaa y(2) = 1, obtemos
y(x) = x + x3 x8 + 40x3 .
190 Exemplo: (x2 + y 2 ) dx + (x3 + 3xy 2 + 2xy) dy = 0.
Com p, q correspondentes, vemos que essa equao no exata, que

q
x

x3

3x2 3y 2
+ 3xy 2 + 2xy

depende de ambos x, y, mas que


q
x

p
y

=3

Vi
nic

ius

p
y

e isso independe de x, ou seja, apesar de constante, depende apenas de y.


Assim, tomamos o fator integrante = e3y e a equao
e3y (x2 + y 2 ) dx + e3y (x3 + 3xy 2 + 2xy) dy = 0

01
4

exata. Sua soluo deve ser indicada implicitamente:


e3y (x3 + 3xy 2 ) = C.

r
c2

Determine um fator integrante e resolva:


191: (3y 3 x) dx + 3xy 2 dy = 0.

195: x = (x2 1)/tx.

192: (3xy 4y) + (2x2 4x)y 0 = 0.

196: (xy 2 + 5) dx + 3x2 y dy = 0.

193: y sec x dx + sen x dy = 0.

197: (x + y + 4) + (3x + 1)y 0 = 0.

3y 2 x2
2xy .

198: y 0 =

eli
mi
na

194: y 0 =

x+y+2
x+1 .

199: Revisite o ponto 167 sob a tica desta seo: Obtenha a soluo geral
da equao linear
y 0 = p(x) y + q(x)

Pr

usando fatores integrantes; compare-os com os obtidos naquele ponto.


Sugesto: Reescreva-a como
[p(x) y + q(x)] dx + (1) dy = 0

e mostre que ela tem um fator integrante dependente apenas de x.

46
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

1.5

Substituies

C.
L.

Estudaremos, nesta seo, outras formas de equaes que podem ser


transformadas em, ou estudadas com, equaes das formas bsicas que j
conhecemos. Note que mudaremos o significado de algumas letras.
Comeamos com as equaes homogneas e apresentamos, a ttulo de
exemplo para as demais substituies, um estudo terico de reduo aos
resultados obtidos para equaes de variveis separveis.

Vi
nic

ius

200 Homogeneidade: Uma equao y 0 = g(x, y) homognea se vale


g(ax, ay) = g(x, y) para qualquer a 6= 0.
Ateno: Conhecemos na Seo 1.3 as equaes lineares homogneas,
que so bem diferentes. De fato, o adjetivo homogneo costuma-se referir
mais a elas do que a estas que vemos agora.
201: Mostre que toda equao homognea pode ser reescrita na forma y 0 =
f (y/x) e reciprocamente.
Cuidado: O que acontece com x = 0 ?

01
4

202: Mostre que a substituio intuitiva z = y/x transforma a equao


y 0 = f (y/x) na de variveis separveis z 0 = x1 (f (z) z), onde z(x) ser a
funo incgnita.

r
c2

203 Exemplo: xyy 0 = x2 y 2 .


Se x = 0 ou y = 0, vemos que ento ambos x, y = 0; com isso em mente,
isolamos y 0 .
Veja que
x2 y 2
1 (y/x)2
y0 =
=
:
xy
(y/x)

eli
mi
na

o primeiro quociente mostra que a equao dada homognea pela definio


e o segundo, que coloca y 0 em funo de y/x, pode ser obtido dividindo-se
ambos numerador e denominador por x2 .
Efetuamos a substituio indicada, seja y = xz no primeiro quociente
ou y/x = z no segundo, e separamos as variveis:
z + xz 0 =

1 2z 2
z dz
dx
1 z2
xz 0 =

=
.
z
z
1 2z 2
x

Pr

Integramos e obtemos z:
41

ln |1 2z | = ln |x| + C 1 2z = Dx

z=

1 + Kx4
.
2

47
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

No nos esquecemos de determinar y:


x2 + Kx2
.
2

C.
L.

y = xz =

dz
dx
=
.
x
1 + z (1 + z)

Vi
nic

ius

p
204 Exemplo: y 0 + 1 = 1 + y/x.
Essa equao quase j est na forma y 0 = f (y/x) e requer x 6= 0, isto ,
x < 0 ou x > 0.

Pondo z = y/x, obtemos z + xz 0 + 1 = 1 + z, ou seja,

Isso pode ser integrado com a substituio u =


resultando em

1 + z (ou z = u2 1),

2 ln |1 u| = ln |x| + C0 ,

01
4

donde

K
u=1 p ,
|x|

r
c2

K2
2K
p
|x|
|x|
(

K 2 2K x
se x > 0,
ey=

K 2 + 2K x se x < 0.
z=

eli
mi
na

Relembre no ponto 71 como concluir essa resoluo


quando x > 0. No

caso x < 0, vem analogamente y(x) = C 2 Cx para x < 0 ou


y(x) = C + 2 Cx para x 6 C.
Mostre que estas equaes so homogneas e resolva-as:
p
206: y 0 + 1 = 1 + y/x.

205: xyy 0 = x2 + y 2 .

Pr

207: Suponhamos f definida em ]a, b[. Ento a funo f (y/x) est definida
entre as retas y = ax e y = bx. Esse domnio G dever conter o grfico de
qualquer soluo de y 0 = f (y/x):

48
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

G
y = ax

Vi
nic

ius

(x0 , y0 )

C.
L.

y=b
x
y

208: Deduza um TEU especfico a partir daquele de separao de variveis:


Suponha que (x0 , y0 ) G e que f contnua com f (u) 6= u para todo
u ]a, b[; ento existe uma nica soluo de y 0 = f (y/x) com grfico em G
passando por esse ponto.
Eis outras substituies interessantes:

01
4

209 Combinao linear: Considere a equao y 0 = f (ax + by) com a, b


constantes reais. Mostre que a substituio intuitiva z = ax+by transforma
essa equao na autnoma z 0 = a + bf (z).

r
c2

Resolva estas equaes por esse mtodo:


210: y 0 = (sen(4x 2y))1 + 2.
Soluo: Com z = 4x 2y temos

z 0 = 4 2y 0 = 4 2[(sen z)1 + 2] = (sen z)1 ,

eli
mi
na

donde sen z dz = 2 dx. Ento cos z = 2x + C e conclumos que


y=

4x z
= 2x
2

1
2

arccos(2x C).

211: y 0 = 2 + (3x 5y)2 .

212 Bernoulli: Dada a equao


y 0 = f (x)y + g(x)y k ,

Pr

onde k 6= 1 e as funes f, g so contnuas, mostre que a substituio


z = y 1k transforma-a na equao linear
z 0 = (1 k)f (x)z + (1 k)g(x).
49
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

Isso foi observado por Leibniz.

C.
L.

Resolva as seguintes equaes, servindo-se da observao de Leibniz:

213: y 0 = ay by 2 (essa uma forma da equao de Verhulst que j


resolvemos por separao de variveis).
Indicao: Temos k = 2 e obtemos z 0 = az + b, que linear (mas,
como a, b so constantes, tambm autnoma). Aps os clculos devidos
para sua soluo, obtemos

214: y 0 = x1 y + y 3 .

a
.
b Ceax
215: y 0 = xy + 2y .

ius

y = z 1 =

Vi
nic

216 Riccati: Suponha que yp uma soluo particular j conhecida de


y 0 = f (x) + g(x)y + h(x)y 2 ,

por exemplo, se f = 0 ento yp = 0. Mostre que a substituio y = yp +z 1


transforma-a na equao linear

01
4

z 0 = [g(x) 2yp (x)h(x)]z h(x).

217 Ortogonalidade: Suponha dada uma equao de primeira ordem na


forma geral
F (x, y, y 0 ) = 0.

r
c2

Cada soluo dessa equao descreve, com seu grfico, uma curva no plano;
assumindo um TEU, essas curvas so todas paralelas e particionam o plano.
Forme agora a equao
F (x, y, 1/y 0 ) = 0

eli
mi
na

(para a mesma F ), ou seja, simplesmente substitua cada ocorrncia de y 0


literalmente por 1/y 0 . As curvas descritas por essa equao, sob certas
condies, tambm foliam o plano.
Mostre que essas duas famlias de curvas so ortogonais, isto , qualquer curva da primeira famlia e qualquer curva da segunda famlia, nos
pontos onde se encontrarem, tm tangentes perpendiculares. Por exemplo,
as linhas de fora de um campo eltrico e as linhas equipotenciais, em um
plano contendo cargas dispersas, devem ser ortogonais.
O procedimento de substituir y 0 por 1/y 0 chamado determinao das
trajetrias ortogonais.

Pr

Finalmente, apresentamos um mtodo de substituio intuitivamente


bvio quando um problema pode ser melhor formulado, entendido ou resolvido em outro sistema de coordenadas:

50
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

compute

x = r cos , y = r sen ,
p
= arctg(y/x), r = x2 + y 2 ,

C.
L.

218 Mudana de coordenadas: Dadas as frmulas usuais para coordenadas polares versus retangulares,

ius

dx = cos dr r sen d, dy = sen dr + r cos d


x dy y dx
x dx + y dy
, dr = p
.
d = p
2
2
x +y
x2 + y 2
x
r

Vi
nic

Indicao: Pela Regra da Cadeia, por exemplo, dx =

dr +

d.

219: Converter a equao y 0 = f (x, y), de que se buscam solues y(x),


para coordenadas polares significa escrever
sen dr + r cos d
= f (r cos , r sen )
cos dr r sen d

01
4

por substituio, em que se buscam solues r(). (Podemos sempre simplificar |r| = r: por qu?)
220 Exemplo: ([Dem]) (x2 + y 2 ) dx xy dy = 0.
Por substuio, temos

r
c2

r2 [cos dr r sen d] r2 sen cos [sen dr + r cos d] = 0.


Isso se simplifica como

r2 cos3 dr r3 sen (1 + cos2 ) d = 0,

que de varives separveis:

eli
mi
na

 1
1 
dr
= sen
+
d.
r
cos3 cos

Sua soluo r() = C exp(1/2 cos2 )/| cos | com C > 0. Para voltar s
coordenadas retangulares, substitumos algumas expresses:
 r
r = C exp 12 (tg2 + 1)
,
|x|
donde

Pr


y2
1  y2
+ 1 = K2 + 2 .
ln |x| = K1 +
2
2 x
2x
p
2
Assim, a soluo y = 2x (ln |x| + K).
51
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

1.6

Modelagem

ius

C.
L.

Nesta seo, damos destaque a aplicaes, problemas e exerccios que


envolvem equaes de primeira ordem; aqui os agrupamos por assunto, sem
os dispersar nas diversas sees de mtodos de resoluo.
Relembramos que, em Fsica, as constantes de proporo (como a de
Avogrado ou a de Planck, sejam adimensionais ou no) so sempre positivas
e a multiplicao por 1, quando ocorre, sempre indicada explicitamente
com o sinal negativo.

Vi
nic

221 Esfriamento: Newton formulou a seguinte lei sobre o esfriamento


natural de um corpo previamente aquecido: A variao da temperatura do
corpo proporcional diferena entre essa temperatura e a do ambiente;
seja o valor absoluto dessa constante de proporcionalidade.
Com ateno aos sinais, determine a equao diferencial que rege a
temperatura T do corpo, em funo do tempo t, sendo a temperatura do
ambiente igual a A(t).

01
4

222: Suponha que a situao descrita tenha incio em t = 0, com T (0) = T0 .


Note que, portanto, a equao e suas solues somente so vlidas para
t > 0. O corpo, no passado t < 0, no esquenta indefinidamente porque
nem a equao tem validade, nem a situao era a mesma, nem a lei de
esfriamento aplica-se.

eli
mi
na

r
c2

223: Suponha agora que o corpo originalmente mais frio que o ambiente
e, ento, que ele se aquece gradualmente; assuma uma lei anloga do
esfriamento, com a mesma constante de proporcionalidade. Mostre que
a mesma equao vale tambm para esta segunda situao, estudando os
sinais de ambos os lados.
Desse modo, a equao vlida qualquer que seja a comparao entre
T e A ou mesmo caso seus grficos se cruzem.
224: Identifique a forma dessa equao e resolva o PVI com T (0) = T0 .

225: Simplifique a soluo sob a hiptese de A ser constante (por exemplo,


em um frigorfico) e observe que a convergncia T (t) A exponencialmente rpida, mas somente se d com t , isto , o equilbrio trmico
nunca atingido em tempo finito ou, aproximadamente, s ocorre aps
certo tempo.

Pr

226: A lei de Newton geralmente formulada apenas para A constante. Anteriormente, extrapolamos sua validade usando a equao diferencial para
representar somente uma fotografia da dinmica envolvida: a derivada

52
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

C.
L.

uma velocidade instantnea, no mdia. Porm, a adequao dessa extrapolao realidade, ou seja, a confirmao dessa teoria, requer experimentao em ambientes de temperatura varivel!

ius

227: Suponha que dois corpos, com temperaturas T1 (t), T2 (t), so colocados
em contato, formando um sistema termicamente isolado, no instante t = 0;
sejam T10 , T20 os valores iniciais. Podemos prosseguir com a extrapolao,
assim, supondo que cada corpo atua como ambiente para o outro. Escreva
as duas equaes diferenciais que regem T1 e T2 , assuma o mesmo valor de
para ambas as equaes e mostre que
(a) a soma T1 + T2 constante com valor T10 + T20 ;

Vi
nic

(b) no h mudana de temperatura (ou seja, as variaes so zero) precisamente quando T1 = T2 ;


(c) essa temperatura de equilbrio vale 21 (T10 + T20 ).

01
4

228: Refaa o ponto anterior usando constantes diferentes 1 , 2 para as


equaes e mostrando que 2 T1 + 1 T2 constante. Qual a temperatura
de equilbrio?
Mostre ainda que se m1 , c1 so a massa e o calor especfico do corpo
de temperatura T1 e, analogamente, m2 , c2 referem-se a T2 , ento devemos
tomar 2 = m1 c1 e 1 = m2 c2 .

eli
mi
na

r
c2

229 Permeabilidade: Assumiremos esta lei: A quantidade de radiao


absorvida ao passar por uma lmina fina de chumbo proporcional quantidade de radiao incidente e espessura da lmina.
As razes que levam a essa formulao so as seguintes: Se cada partcula radioativa tiver uma probabilidade independente de ser absorvida,
ento a absorvio proporcional incidncia. Porm, muito pequena
para uma lmina fina, porque as partculas tm grande energia. Se supusermos uma segunda lmina idntica atrs da primeira, a proporo das
partculas que incidem sobre essa segunda lmina 1 e a daquelas que
a atravessam , novamente, 1 desse nmero, ou seja,
(1 )(1 ) = 1 2 + 2

Pr

das partculas originais. Como 2 muitssimo pequeno, podemos desprez-lo: ao dobrar a espessura da lmina fina, simplesmente dobramos a
probabilidade de absoro.
A mesma lei descreve diversos fenmenos de permeabilidade, como a
intensidade da luz solar em diferentes profundidades do mar.

53
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

C.
L.

230: Em termos formais, a quantidade de radiao absorvida Ih, onde


uma constante positiva de proporo, I mede a incidncia radioativa e
h a espessura fina da lmina de chumbo.

Vi
nic

ius

231: Se metade das partculas radioativas incidentes so absorvidas por


uma certa chapa padronizada, quanto de radiao atravessar uma barreira
com trs vezes sua espessura?
Veja: No faa uma simples regra de trs, porque as chapas consideradas no so lminas finas! De fato, a barreira no poder absorver 150%
das partculas incidentes. . .
Sugesto: Divida a barreira em trs chapas idnticas padronizada e
use a frao que atravessa cada chapa como total incidente para a prxima
chapa.
232: Esse mtodo sugerido permite responder a mesma pergunta para uma
barreira de espessura qualquer?

r
c2

01
4

233: Para uma barreira de chumbo de espessura arbitrria, seja I(x) a


quantidade de radiao que atravessa essa chapa at a profundidade x.
(Pomos I(0) = I0 , que o total incidente.) Ento, para h pequeno, a
quantidade que chega a x + h aquela I(x) menos a quantidade absorvida
na regio entre x e x + h, que corresponde a uma lmina fina.
Deduza a equao diferencial da permeabilidade e resolva-a; verifique
sua concordncia com o clculo em 231.

eli
mi
na

Nos prximos pontos, estudaremos alguns circuitos eltricos simples,


formando e resolvendo equaes diferenciais que regem a corrente eltrica
nesses circuitos. Embora tentemos motivar algumas dessas equaes, no
daremos nfase nem s leis fsicas subjacentes, nem anlise fsica posterior
como o clculo da potncia desenvolvida ou da energia dissipada pelo
efeito Joule, ambos muito curiosos , porque esses estudos cabem melhor
em um texto especializado como [Tip].

Pr

234 RC: Este circuito liga, em srie, uma chave interruptora, um resistor
com resistncia R e um capacitor de capacitncia C, ambas R, C constantes
positivas. Quando o circuito fechar, a corrente eltrica sempre satisfar
I = U/R = Q/RC: a carga Q armazenada no capacitor (Q em cada
lado) que gera a diferena de potencial U no circuito. Suponha que, no
instante t = 0, tenhamos Q(0) = Q0 e ento a chave seja fechada: a corrente
inicial I0 = Q0 /RC e, conforme t aumenta, o capacitor descarrega-se e
Q diminui. Como corrente significa carga deslocada por unidade de tempo,
onde o sinal indica a diminuio de Q.
temos I = Q,
54
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

Assim,

Q = Q/RC, Q(0) = Q0 .

C.
L.

Resolva esse PVI, obtendo a carga e (por derivao) a corrente como funes
do tempo. Graficamente, como se comporta a descarga do capacitor?

Q = E/R Q/RC.

ius

235: Suponha agora que o capacitor esteja descarregado (Q0 = 0) e que se


insira nesse circuito, em srie, uma fonte de fora eletromotriz, que origina
uma diferena de potencial constante E. Assim, o circuito formado de
corrente contnua quando se fecha a chave em t = 0 e inicia-se a carga do
capacitor. Agora, I = Q e E = UR + UC = RI + Q/C, de modo que

Vi
nic

Resolva o PVI dessa equao com Q(0) = 0, determinando a carga e a


corrente como funes do tempo e traando seus grficos. Qual a corrente
inicial?

01
4

236: Suponha que o capacitor esteja carregado, ou seja, Q0 6= 0: o sinal de


Q0 depende da polaridade da conexo; conforme for positivo ou negativo,
a carga aumentar sempre ou primeiro diminuir (em valor absoluto), para
anular-se, e ento crescer com polaridade oposta.
Resolva esse novo PVI e determine graficamente o comportamento das
solues dependendo do sinal de Q0 .

r
c2

237: Qual ser a carga completa do capacitor? Em quanto tempo obteremos


90% dessa carga?
238: Estude o circuito RC com uma fonte de fora eletromotriz alternada,
isto , que origina a diferena de potencial E(t) = E0 cos(0 t):
RQ + Q/C = E0 cos(0 t).

Pr

eli
mi
na

239 LR: Ligamos, tambm em srie, uma chave interruptora, uma fonte
de fora eletromotriz E, um resistor com resistncia R e um indutor de
indutncia L, todas E, R, L constantes positivas.
O indutor uma espira ou solenide que, sob a passagem de corrente
eltrica, gera um campo magntico. Se a corrente variar, a variao correspondente do campo ope-se variao da corrente, gerando uma fora
(Se I cresce, ento o indutor atua como um resistor
contra-eletromotriz LI.
e a queda de potencial LI > 0; se I diminui, ento o indutor atua como
um gerador e a queda LI < 0.)
Resolva o PVI
Ento E = UR + UL = RI + LI.
LI + RI = E, I(0) = 0,

55
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

determinando a corrente em funo do tempo.

C.
L.

240: Determine o valor de equilbrio Ifinal da corrente no circuito, quando


a fora contra-eletromotriz nula. Essa a corrente final do circuito.
241: Estude o circuito LR com fonte de fora eletromotriz alternada:
LI + RI = E0 cos(0 t).

ius

Retornaremos a esse tpico na Seo 2.6, a respeito dos circuitos LC e


LCR, quando pudermos estudar as equaes de segunda ordem pertinentes.

Estudo terico da forma normal

Vi
nic

1.7

r
c2

01
4

Chegamos ao ponto mximo de generalizao desta parte do estudo. A


partir dos resultados apresentados aqui, poderemos aprofundar os conhecimentos sobre diversas formas especiais de equaes de primeira ordem, com
a ajuda especial de um Teorema de Existncia e Unicidade geral. Tambm
veremos o quanto uma soluo pode ser estendida e como ela depende continuamente da equao e da condio inicial.
O elemento central nesse TEU ser o ponto 244.
Estudar as equaes de primeira ordem em sua forma geral impraticvel. Em situaes concretas, porm, freqentemente podemos usar o
Teorema da Funo Implcita para normalizar a equao dada, ao menos
localmente:
242: A forma normal da equao de primeira ordem
(FN) y 0 = f (x, y), y(x0 ) = y0 ,

eli
mi
na

em que especificamos um PVI, para f : U lR e uma regio U lR2 . Uma


soluo de (FN) uma funo derivvel y : I lR, sendo I intervalo aberto,
tal que x0 I, y(x0 ) = y0 e para todo x I tenhamos (x, y(x)) U e
y 0 (x) = f (x, y(x)).
243: Suponha que f contnua. Se y uma soluo de (FN) sobre o
intervalo I, ento ela satisfaz a equao integral
Z x
y(x) = y0 +
f (s, y(s)) ds
x0

Pr

sobre I. Reciprocamente, se y uma soluo contnua desta equao sobre


algum intervalo J contendo x0 , ento y(x) satisfaz (FN) sobre J. (Assume-se que sempre (s, y(s)) U .)
56
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

C.
L.

Nota: A equao apresentada no uma frmula para a soluo, j


que y aparece tambm em seu lado direito.
Soluo: Assuma que y 0 (x) = f (x, y(x)) para todo x R I. Sendo
x 0
0
y,
R xf contnuas, temos y contnua. Logo, y(x) y(x0 ) = x0 y (s) ds =
f (s, y(s)) ds e basta impor y(x0 ) = y0 . Reciprocamente, suponha que
x0
y soluo contnua da equao integral do enunciado. Ento f (s, y(s))
contnua sobre J. Podemos aplicar a verso integral do TVM para derivar:
y 0 (x) = f (x, y(x)) e, obviamente, y(x0 ) = y0 .

Vi
nic

ius

244 Picard: Construiremos uma soluo para o PVI por aproximaes


sucessivas, com base em 243. Defina indutivamente
Z x
y0 (x) y0 e yk+1 (x) = y0 +
f (s, yk (s)) ds para k lN.
x0

245 Peano: Assumiremos a continuidade de f para mostrar que (FN) tem


pelo menos uma soluo, recorrendo a essa formulao integral.
O enunciado completo do TEU requer mais detalhes:

01
4

246 Lipschitz: Na (FN) escrita acima, f chamada localmente lipschitziana em relao a y se


(P U )(r, L > 0)[(x, y1 ), (x, y2 ) Br (P )]

r
c2

|f (x, y1 ) f (x, y2 )| 6 L|y1 y2 |.

eli
mi
na

Reescreva essa definio em portugus, isto , usando palavras por extenso


e acompanhando-a de uma figura (para um x fixado): em qualquer ponto,
o grfico de f (x, ) est sempre dentro de um cone duplo horizontal.
Notao: Br (P ) o conjunto dos pontos distantes de P menos que
r, chamado de bola de centro P e raio r. Um trao sobre B indica a
bola fechada, que inclui tambm os pontos distantes de P exatamente r.
Sugerimos [Rud] como introduo para esses conceitos mtricos.
247: Use o TVM, mantendo a varivel x fixa, para mostrar que se f e f
y
so contnuas, ento f localmente lipschitziana com relao a y.
Veja tambm que |y| obedece a definio em 246, mas |y|
y no contnua. Quando

f
y

contnua limitada, obtm-se lipschitzianidade global.

Pr

248 TEU: Suponha que f contnua e localmente lipschitziana em relao


a y. Ento, qualquer que seja (x0 , y0 ) U , (FN) tem soluo e, se y : I lR
e y : J lR so solues sobre intervalos abertos I, J 3 x0 , ento y = y
em I J.
57
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

C.
L.

Notas: Essa uma formulao precisa de unicidade: duas solues


coincidem sempre que puderem ser comparadas, isto , coincidem na interseco de seus domnios e no se distinguem funes que so restries
umas das outras. O teorema de Peano j garante a existncia da soluo
sob a condio mais simples de continuidade.

ius

Para provar esse teorema incluindo o enunciado de Peano , deveremos desenvolver diversos conceitos bsicos de Anlise, o que faremos nos
prximos pontos.

(i) d(x, y) = 0 x = y;
(ii) d(x, y) = d(y, x);
(iii) d(x, z) 6 d(x, y) + d(y, z).

Vi
nic

249: Um espao mtrico um conjunto M 6= acompanhado de uma funo


d : M 2 [0, [, dita distncia, satisfazendo estas propriedades para todos
x, y, z M :

r
c2

01
4

Com a funo distncia d(x, y) em lugar da distncia natural kxyk que


medimos na reta real ou nos espaos euclideanos, podemos definir limites,
continuidade e convergncias simples e uniforme para funes entre espaos
mtricos analogamente ao que fazemos em Clculo.
O espao dito completo se toda seqncia de Cauchy, em que os elementos esto cada vez mais prximos entre si, tem um limite.
250: Um modo de medir distncias entre funes , : I lR, sendo I um
intervalo limitado e fechado, tomar
d(, ) = sup |(x) (x)|,

eli
mi
na

xI

com a qual C(I) um espao mtrico completo. (H uma variedade de


distncias diferentes.)

Pr

251: Sendo M, N espaos mtricos, com ambas as funes distncia denominadas d, uma funo : M N uma contrao se existe k [0, 1[ tal
que, para todos x, y M , vale d((x), (y)) 6 k d(x, y). O nmero k
chamado constante de contrao de . Note que, nesse caso, uniformemente contnua.
252: Se X um conjunto qualquer no-vazio e : X X, diz-se que x X
um ponto fixo de se (x) = x.

58
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

C.
L.

253 Banach: Toda contrao em um espao mtrico completo tem um


nico ponto fixo, para o qual converge toda seqncia da forma (n (x))nlN ,
onde x um ponto qualquer desse espao e n = . . . composio
de n cpias de .
Indicao: Fixe x0 arbitrrio no espao e tome xn = n (x0 ). Ento a
seqncia (xn )nlN de Cauchy porque
d(xn , xm ) 6 d(xn , xn+1 ) + d(xn+1 , xn+2 ) + . . . + d(xm1 , xm ) 6

ius

6 k n1 d(x1 , x2 ) + k n d(x1 , x2 ) + . . . + k m2 d(x1 , x2 ) =

k n1
d(x1 , x2 )
1k

Vi
nic

= k n1 (1 + k + k 2 + . . . + k mn1 ) d(x1 , x2 ) 6

e tem um limite X no espao completo.


Usando a continuidade de , calculamos


(X) = lim xn = lim (xn ) = lim xn+1 = X,
n

01
4

o que mostra que X um ponto fixo.


Para mostrar que X o nico ponto fixo de , usaremos que a constante
de contrao k de deve ser menor que 1: se Y fosse outro ponto fixo,
obteramos a inequao invlida

r
c2

d(X, Y ) > k d(X, Y ) > d((X), (Y )) = d(X, Y ).


Enfim, tomando-se x qualquer no lugar de x0 , o limite da seqncia
como no enunciado um ponto fixo de : deve ser, em vista da unicidade,
o mesmo X.

eli
mi
na

Agora enunciamos o TEU que demonstraremos, nos prximos pontos,


usando o Teorema de Banach:
254 TEU Cauchy, Picard: Suponha x0 , y0 lR, a, b > 0 e f : [x0 a, x0 +
a] [y0 b, y0 + b] lR contnua de modo que
(K > 0)(x [x0 a, x0 + a])(y1 , y2 [y0 b, y0 + b])

|f (x, y1 ) f (x, y2 )| 6 K|y1 y2 |.

Pr

Ento existem a1 ]0, a[ e uma nica u : [x0 a1 , x0 + a1 ] [y0 b, y0 + b]


soluo de y 0 = f (x, y).
Compare a condio de lipschitzianidade global sobre f com a definio
de localmente lipschitziana em relao a y; compare tambm com a primeira
abordagem que fizemos.

59
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

C.
L.

255: Nas condies do enunciado, como f contnua e o retngulo fechado e limitado, tambm f limitada: tome M > 0 maior que seu valor mximo e a1 > 0 menor que a, b/M e 1/K. Considere o conjunto
F das funes contnuas [x0 a1 , x0 + a1 ] [y0 = b, y0 + b]: ento
d(, ) = supx[x0 a1 ,x0 +a1 ] |(x) (x)| satisfaz as condies de funo
distncia e F um espao mtrico completo.

ius

256: RDada F , defina () : [x0 a1 , x0 + a1 ] lR assim: ()(x) =


x
y0 + x0 f (s, (s)) ds. Mostre que () F .

257: Obtivemos uma funo : F F , cujos pontos fixos so precisamente


as solues de (FN).

x0

Pr

eli
mi
na

r
c2

01
4

x[x0 a1 ,x0 +a1 ]

Vi
nic

258: Note que no necessariamente uma contrao; se o fosse, concluiramos a prova do TEU com o Teorema do Ponto Fixo de Banach. O que
temos

Z x



f (s, (s)) f (s, (s)) ds 6 a1 Kd(, ).
d((), ()) =
sup

60
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

C.
L.
ius

Captulo 2

Vi
nic

Ordens superiores

2.1

01
4

Uma mesma teoria dar conta das equaes de segunda, terceira e outras
ordens, embora seja um pouco distinta do corpo de conhecimento que j
desenvolvemos para a primeira ordem e refira-se a uma forma mais restrita
de equaes. Poderemos, tambm, esclarecer alguns dos mtodos que j
vimos e que podiam parecer mgicos, como a variao de constantes.

Formas geral, normal e linear

r
c2

Relembramos de nosso captulo introdutrio que uma equao diferencial ordinria de ordem n, em que a incgnita uma funo y(x), pode ser
estudada abstratamente na forma geral

F x, y, y 0 , . . . , y (n) = 0.

eli
mi
na

Tambm recordamos que, mais comumente, estudamos a forma normal



y (n) = f x, y, y 0 , . . . , y (n1) ,

de interesse prprio, aplicabilidade freqente e, em ltimo caso, obtida da


forma geral pelo Teorema da Funo Implcita para um estudo local.
Sabemos, ainda, que a qualquer equao de ordem n podemos impor
condies
y(x0 ) = a0 , y 0 (x0 ) = a1 , . . . , y (n1) (x0 ) = an1 ,

Pr

especificando os valores da funo incgnita e de suas derivadas, at ordem


n1, em um mesmo ponto. Dar a equao juntamente com essas condies
propor um problema de valor inicial (PVI).

61
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

f
f
,...,
y0
yn1

C.
L.

259 TEU: Suponha dados uma funo f (x, y0 , y1 . . . , yn1 ) e um vetor


(x0 , a0 , a1 , . . . , an1 ). Assuma que tanto f como suas derivadas

ius

sejam funes contnuas em uma vizinhana desse vetor. Ento existe > 0
e existe uma nica funo y : ]x0 , x0 + [ lR que soluo do PVI na
forma normal

y (n) = f x, y, y 0 , . . . , y (n1) ,

Vi
nic

y(x0 ) = a0 , y 0 (x0 ) = a1 , . . . , y (n1) (x0 ) = an1 .

Contudo, devemos reforar as diferenas de interpretao em relao


teoria de primeira ordem:
260: Nas condies do TEU, os grficos de solues da mesma equao de
segunda ordem podem cruzar-se, mas no podem ser tangentes. Por qu?

01
4

As equaes com que mais nos ocuparemos, neste captulo, tm uma


forma ainda mais especial:

r
c2

261: Uma equao da forma

pn (x)y (n) + pn1 (x)y (n1) + . . . + p1 (x)y 0 + p0 (x)y = R(x)

eli
mi
na

chamada linear. Assumiremos que as funes-coeficiente p0 , . . . , pn e a


funo R so contnuas em um intervalo aberto; onde pn se anular preciso
interromper a soluo, conforme a Seo 2.4.
Quando tratarmos de segunda ordem, escreveremos py 00 + qy 0 + ry = R.
Essas equaes merecem tanto destaque por sua ampla variedade de
aplicaes e pela completude da teoria que trata de sua soluo. Alm
disso, como exemplificaremos em 422 e na Seo ??, auxiliam o estudo
qualitativo de equaes mais complexas via linearizao.

Pr

262 Superposio: Suponha que a, b lR e que yR e yS so solues,


respectivamente, das equaes lineares
Pn
Pn
(i)
(i)
=R e
= S.
i=0 pi y
i=0 pi y
Pn
Mostre que ayR byS soluo de i=0 pi y (i) = aR bS.
62
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

2.2

Independncia linear de funes

ius

C.
L.

Faremos bom uso dos conceitos de dependncia e independncia linear


de funes, de modo que j os apresentamos aqui. A linguagem terica
adequada para a formulao do que aprenderemos aquela bsica de lgebra Linear sobre espaos de funes, como em [CoLo]; no h necessidade,
porm, de aprend-la antecipadamente.
Suponha que f1 , . . . , fn so funes sobre o mesmo domnio X e com
valores reais:

Vi
nic

263: Diz-se que f1 , . . . , fn so linearmente dependentes (LD) caso


n

o
Pn
(c1 , . . . , cn lR) algum ci 6= 0 e (x X) i=1 ci fi (x) = 0 ,
isto , existe um modo no-trivial de termos c1 f1 + . . . + cn fn 0.

01
4

264: As funes f1 , . . . , fn so linearmente dependentes se e somente se pelo


menos uma delas escreve-se como combinao linear das demais, no sentido
dado em 279. (Esta a operao tradicional de dividir pelo coeficiente
no-nulo e passar para o outro lado.)

r
c2

265: Diz-se que f1 , . . . , fn so linearmente independentes (LI) caso


n
o

Pn
(c1 , . . . , cn lR) (x X) i=1 ci fi (x) = 0 c1 = . . . = cn = 0 ,
isto , a nica possibilidade de termos c1 f1 + . . . + cn fn 0 a trivial.

eli
mi
na

266 Exemplo: As funes 5 (constante), 6 sen2 x e 2 cos2 x so linearmente


dependentes.
Para tanto, devemos procurar escalares c1 , c2 , c3 , no todos nulos, tais
que
c1 (5) + c2 (6 sen2 x) + c3 (2 cos2 x) = 0

para qualquer valor de x. Tomando sequencialmente x = 0, x =


obtemos o sistema

5c1 + 2c3 = 0
5c1 + 6c2 = 0

5c1 + 3c2 + c3 = 0

ex=

4,

Pr

que indeterminado; uma possvel soluo dada por c1 = 6, c2 = 5 e


c3 = 15. Agora, verificamos que realmente
6(5) 5(6 sen2 x) 15(2 cos2 x) = 0
63
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

C.
L.

para qualquer x, o que conclui o raciocnio. Tambm podemos, a partir


dessa equao, determinar uma funo como combinao linear das demais,
por exemplo,
(6 sen2 x) = 65 (5) 3(2 cos2 x).
267 Exemplo: As funes x e cos x so linearmente independentes.
Para mostr-lo, suponhamos que c1 , c2 lR so tais que

ius

c1 (x) + c2 (cos x) = 0

Vi
nic

para qualquer valor de x. Em particular, com x = 0 ou x = /2 obtemos,


respectivamente,
0c1 + 1c2 = 0, (/2)c1 + 0c2 = 0.

r
c2

01
4

Esse um sistema de equaes com incgnitas c1 , c2 cuja nica soluo


(0, 0). Portanto, pela definio, {x, cos x} um conjunto linearmente
independente.
Note: Foi preciso encontrar valores de x, em nmero igual ao das funes apresentadas, de modo que se obtivesse um sistema com nica soluo
(0, 0), nesse caso em que as funes so linearmente independentes. No
h receita para encontrar tais valores, alm de explorar os zeros das funes. Caso as funes fossem linearmente dependentes, o sistema teria uma
soluo no-trivial, mas seria preciso verificar que a combinao linear correspondente sempre se anula para qualquer valor de x. (Quando tratarmos
do wronskiano, apresentaremos um clculo simples para decidir sobre a
dependncia linear de funes, que merece ser ensinado nos cursos elementares de lgebra Linear.)

eli
mi
na

Decida se cada conjunto de funes linearmente dependente ou no:


273: x e ex .

269: 2 sen(x2 1) e 3 sen(x2 1).

274: ex e e2x .

270: x 4 e x + 5.

275: sen x e cos x.

271: x 4, x e x + 5.

276: x e sen x.

272: x e x2 .

277: x, ex e sen x.

Pr

268: 0, 5x e 2x3 .

O resultado a seguir o mais importante em nosso estudo. Muito mais


que saber demonstr-lo, importante entend-lo:

64
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

e1 x , xe1 x , . . . , xk1 e1 x ,
..
.
em x , xem x , . . . , xkm em x ,

C.
L.

278: Considere estas funes:

e1 x cos(1 x), xe1 x cos(1 x), . . . , xl1 e1 x cos(1 x),

ius

e1 x sen(1 x), xe1 x sen(1 x), . . . , xl1 e1 x sen(1 x),


..
.

Vi
nic

en x cos(n x), xen x cos(n x), . . . , xln en x cos(n x),

en x sen(n x), xen x sen(n x), . . . , xln en x sen(n x).


Assuma que k1 , . . . , km , l1 , . . . , ln so nmeros naturais, que 1 , . . . , m so
reais distintos e que 1 + 1 i, . . . , n + n i so complexos distintos e no
conjugados, sendo 1 , 1 , . . . , n , n lR. Sob tais condies, o conjunto
dessas funes linearmente independente.

01
4

Precisaremos de mais estas definies, para as quais suponha fixadas as


funes f1 , . . . , fn : X lR:

r
c2

279: Se c1 , . . . , cn so nmeros reais, ento podemos formar a funo


g = c1 f1 + . . . + cn fn ;

diz-se que as funes originais geram (linearmente) g ou que g combinao


linear delas. (Note que c1 , . . . , cn so constantes, embora arbitrrios.)

eli
mi
na

280: O conjunto V de todas as funes geradas por f1 , . . . , fn , para quaisquer escolhas dos valores reais de c1 , . . . , cn , tambm dito gerado por
elas. Ele pode ser gerado por vrios outros conjuntos de funes. Note que
sempre:
(i) a funo constante nula pertence a V ;

(ii) f1 , . . . , fn V ;

(iii) somas e mltiplos de funes em V tambm pertencem a V ;

Pr

(iv) ou seja, V fechado sob combinaes lineares.

Assim, V um exemplo de espao vetorial.

65
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

C.
L.

281: Caso f1 , . . . , fn sejam linearmente independentes, diz-se que o conjunto {f1 , . . . , fn } uma base de V . Seu nmero n chamado dimenso
de V e denotado dim V . (Para isso, mostra-se que n independe da escolha
das funes geradoras, enquanto independentes.)

282: Suponha que f1 , . . . , fn constituam uma base do espao V e que


f : X lR seja uma outra funo (pertencente, ou no, a V ). Ento o
conjunto das funes

ius

g = c1 f1 + . . . + cn fn + f,

Vi
nic

para quaisquer escolhas dos valores reais de c1 , . . . , cn , simplesmente indicado V + f . Esse um exemplo de espao afim e uma translao de V ,
com a mesma dimenso. (Se f
/ V , ele no um espao vetorial.)
283: Mostre que, nessas condies, toda funo g V + f pode ser escrita
de maneira nica como g = c1 f1 + . . . + cn fn + f , ou seja, se supusermos
tambm g = k1 f1 + . . . + kn fn + f ento deveremos ter cada ki = ci .

c1 f1 + c2 f2 + f

r
c2

01
4

Essas definies e a teoria de espaos vetoriais so inspiradas pelos conjuntos de vetores geomtricos. Utilizamos essa interpretao para resumilas, com dimenso n = 2, neste diagrama:

V +f

f2

eli
mi
na

c1 f1 + c2 f2

f1

No restante desta seo, teceremos alguns comentrios sobre espaos


de funes para o estudante que j teve contato bsico com a linguagem
necessria, a ttulo de firmar sua interpretao.

Pr

284: Em lgebra Linear, trabalha-se com somas finitas; no h sries infinitas porque no h noo de convergncia. Assim, toda combinao linear
tem um nmero finito de termos.
285: Um conjunto de vetores S linearmente independente se, para quaisquer n > 1 e v1 , . . . , vn S distintos, os nicos escalares c1 , . . . , cn que
66
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

C.
L.

Pn
satisfazem i=1 ci vi = 0 so c1 = . . . = cn = 0. Observe que n finito,
mas arbitrariamente grande.
286: Mostre que um conjunto de vetores linearmente independente se e
somente se todo subconjunto finito seu linearmente independente.
287: Mostre que, no caso de S ser finito, basta verificarmos a condio para
n igual ao nmero de elementos de S.

2.3

Wronskiano

01
4

Vi
nic

ius

288: O conjunto das funes X lR um espao vetorial sobre lR, porque


sabemos somar essas funes e multiplic-las por escalares (nmeros reais);
essas operaes so feitas ponto a ponto e resultam em funes tambm da
forma X lR. Esse espao indicado lRX .
Se X um subconjunto aberto de lR, ento cada conjunto C n (X), das
funes de classe C n com domnio X, um subespao vetorial de lRX ,
porque as combinaes lineares de funes contnuas ou n vezes derivveis
so tambm contnuas ou n vezes derivveis.
Pelo mesmo motivo, a operao de derivao uma transformao linear
C n+1 (X) C n (X).

Trabalharemos sobre um intervalo aberto I lR.

eli
mi
na

r
c2

289: Define-se, para f1 , . . . , fn : I lR de


ordem n

f1 (x)


f10 (x)


..
W (f1 , . . . , fn )(x) =
.

(n2)
(x)
f1
(n1)
f
(x)
1

classe C n1 , o wronskiano de

..
.


fn (x)

fn0 (x)


..
.
.


(n2)
fn
(x)

(n1)
fn
(x)

Note que W (f1 , . . . , fn ) uma funo contnua I lR.

290: Mostre que se {f1 , . . . , fn } um conjunto linearmente dependente ento W (f1 , . . . , fn ) identicamente nulo. Equivalentemente, se existe x I
tal que W (f1 , . . . , fn )(x) 6= 0, ento {f1 , . . . , fn } um conjunto linearmente
independente.

Pr

Veremos em 291 que a recproca no verdadeira. Porm, para um


conjunto de solues de uma certa equao diferencial, mostraremos que
vale a equivalncia LD W 0.
67
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

291: Sejam f1 (x) = x2 e f2 (x) = x |x|. Mostre que:

C.
L.

(a) f1 e f2 so linearmente dependentes no intervalo ]0, 1[;

(b) f1 e f2 so linearmente independentes no intervalo ]1, 1[;

(c) o wronskiano de f1 e f2 identicamente nulo, calculando-o separadamente para x > 0 e x < 0;

ius

(d) f1 e f2 no podem ser ambas solues de py 00 + qy 0 + ry = 0 em ]1, 1[


se p, q, r forem funes contnuas nesse intervalo.
292: Assuma que y1 , . . . , yn : I lR sejam solues de

Vi
nic

pn (x)y (n) + pn1 (x)y (n1) + . . . + p0 (x)y = 0,

r
c2

01
4

com p0 , . . . , pn : I lR contnuas e pn sem zeros. Mostre que, se essas


solues so linearmente independentes, ento W (y1 , . . . , yn )(x) 6= 0 para
todo x I.
Soluo: Suponhamos W (y1 , . . . , yn )(x0 ) = 0 para algum x0 I. Consideremos este sistema linear algbrico, com incgnitas c1 , . . . , cn :

c1 y1 (x0 ) + . . . + cn yn (x0 ) = 0

c1 y10 (x0 ) + . . . + cn yn0 (x0 ) = 0


..

(n1)
(n1)
(x0 ) = 0
c1 y 1
(x0 ) + . . . + cn yn

Seu determinante W (y1 , . . . , yn )(x0 ) = 0; logo, ele tem pelo menos uma
soluo c1 , . . . , cn no-trivial. Com esses valores, definimos
y = c1 y1 + . . . + cn yn .

eli
mi
na

Por superposio (262), y uma soluo da equao do enunciado. Tambm


temos
(i)
y (i) (x0 ) = c1 y1 (x0 ) + . . . + cn yn(i) (x0 ) = 0
para todo 1 6 i 6 n 1. Pelo TEU, y 0, de modo que {y1 , . . . , yn }
linearmente dependente.

Pr

293: Conclua que, com a hiptese em 292 e o fato em 290, se o wronskiano


anula-se em um ponto ento ele se anula em todo o intervalo de definio e
as funes so linearmente dependentes.
294: Novamente na situao de 292, mostre que o wronskiano das solues
por sua vez soluo de pn w0 + pn1 w = 0.

68
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

C.
L.

Para 2a ordem: Temos n = 2, a equao py 00 + qy 0 + ry = 0 e as


solues y1 , y2 . Escrevemos


y y
2
1
W = W (y1 , y2 ) = 0
= y1 y20 y10 y2 ,
y1 y20

de modo que

e ento

Vi
nic

pW 0 = y1 (py200 ) y2 (py100 ) =

ius

W 0 = y10 y20 + y1 y200 y100 y2 y10 y20 = y1 y200 y100 y2

= y1 (qy20 ry2 ) y2 (qy10 ry1 ) =

= q(y1 y20 y10 y2 ] = qW.

Em geral: Mostraremos esse fato nos prximos pontos.

01
4

295 Derivao de determinantes: Seja (fij ) uma matriz quadrada de


ordem n, onde as entradas fij so funes derivveis em algum intervalo.
Seja D(x) = det(fij (x)). Ento D derivvel e

r
c2

D0 (x) = D1 (x) + . . . + Dn (x),

eli
mi
na

onde Di o determinante da matriz obtida de (fij ) derivando-se a i-sima


linha.
Soluo: O determinante uma certa soma de produtos, cada qual,
quando derivado, torna-se outra soma de produtos, bastando ento reorganizar os termos. Simbolicamente, isso pode ser feito a partir da definio de
determinante e deixamos a cargo do estudante de lgebra verific-lo. Eis
uma alternativa:
Consideraremos as entradas fijPtambm como variveis. Seja Vij o
n
cofator da entrada fij : ento D = j=1 fij Vij quando se desenvolve pela
linha i. Note que Vij no depende de fij , donde D/fij = Vij . Agora,
usamos a Regra da Cadeia:
 X
n X
n
n
X
X
X D dfij
0
0

=
Vij fij =
fij Vij =
Di .
D =
fij dx
i,j
i=1 j=1
i=1
i,j

Pr

296 Derivao do wronskiano: Dado W = W (f1 , . . . , fn ), calculamos

69
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

W 0 pelo ponto anterior:

..
.



f1
fn0



f10
fn0


..
..
+.
.
.+
.

.

(n1)

(n2)
fn
f1

(n1)

(n1)
f
fn
1

..
.


fn f1

fn0 f10

.. ..
. + .
(n1) (n2)
fn
f1
(n)
(n1)
f
fn


fn

fn0

..
.
(n2)
fn


(n)
fn

C.
L.

..
.

ius


f0
1

f10

..
.

(n2)
f1
(n1)
f

Vi
nic

Todos esses determinantes, exceto o ltimo, so nulos porque tm linhas


repetidas. Ento a derivada do wronskiano obtida derivando-se apenas e
simplesmente a ltima linha:

..
.

01
4


f1


f10

.
W 0 = ..

(n2)
f1
(n)
f
1


fn

fn0

..
. .
(n2)
fn


(n)
fn

297: Verifique que o anlogo no vale para derivadas de ordens mais altas.

eli
mi
na

r
c2

298: Para concluir, retomando-se a situao de 292, temos:





y

...
yn
y1
...
yn
1

.



..
..
..
..
..
.

.
.
.

.
.
.
0
pn W =
=

=
(n2)
(n2)
y (n2) y (n2)

yn
y1
n
1



Pn1
Pn1
(n)
(n)
(i)
(i)
pn y1


. . . pn yn
. . . i=0 pi yn
i=0 pi y1




y
y
...
yn
...
yn
1
1
.
.
..
..
..
..
.
.
.
.
.
.
.
.
= pn1
pn2 (n2)
...
(n2)
y (n2) y (n2)
y
yn
n
1

1

(n1)
(n2)
(n1)
(n2)
y1

y1

. . . yn
. . . yn

Pr

O segundo termo e os seguintes so todos nulos porque tm repetio de


linhas. Logo, pn W 0 + pn1 W = 0.
Resolvamos essa equao explicitamente:

70
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

C.
L.

299 AbelLiouville: Fixe x0 I. Por separao de variveis, a soluo


de pn w0 + pn1 w = 0 que passa pelo ponto (x0 , w(x0 )) dada por
 Z xp

n1 (s)
w(x) = w(x0 ) exp
ds .
x0 pn (s)

Vi
nic

ius

Utilizando diretamente o TEU de equaes de variveis separveis, vemos


que essa a nica soluo possvel no caso de pn , pn1 contnuas e pn sem
razes. Assim, sem recorrer a sua definio por determinante, podemos
calcular
 Z xp

n1 (s)
W (y1 , . . . , yn )(x) = W (y1 , . . . , yn )(x0 ) exp
ds
x0 pn (s)
quaisquer que sejam as solues y1 , . . . , yn da equao linear dada.
300: Isso fornece outra demonstrao de que o wronskiano das solues da
equao em 292 ou zero em todo I ou nunca se anula em I.

Espao de solues da equao linear

01
4

2.4

r
c2

Esta seo apresenta a equao diferencial linear de ordem superior e


caracteriza o conjunto de suas solues como um espao afim ou seja,
uma translao de um espao vetorial cuja dimenso igual ordem da
equao. Tal resultado terico essencial para, posteriormente, podermos
resolver ou mesmo compreender a resoluo dessas equaes.
301: Uma equao da forma

eli
mi
na

pn (x)y (n) + pn1 (x)y (n1) + . . . + p1 (x)y 0 + p0 (x)y = R(x)


chamada linear. Assumiremos que as funes-coeficiente p0 , . . . , pn e a
funo-resto R so contnuas em um intervalo aberto I lR e tambm que
pn nunca se anula em I, caso em que preciso interromper a soluo.

Pr

302 TEU: Sob essas condio, fixados x0 I e a0 , . . . , an1 lR, existe


uma nica soluo y do PVI
n
X

pj y (j) = R, y(x0 ) = a0 , . . . , y (n1) (x0 ) = an1

j=0

definida em I.

71
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

304: Defina Ln : C n (I) C(I) assim:


Ln (f ) =

n
X

pj f (j) .

j=0

ius

Pesquisaremos esses dois tipos em sequncia:

C.
L.

303: Quando R 0, dizemos que a equao linear homognea. Caso


contrrio, a equao no-homognea. A parte homognea da equao
obtida substituindo-se R por 0.

Vi
nic

Mostre que Ln preserva combinaes lineares, ou seja, uma transformao linear. Mostre que sua imagem est contida, de fato, em C(I).
305: O ncleo de Ln

Nuc(Ln ) = { f C n (I) | Ln (f ) = 0 },

01
4

precisamente o conjunto das solues (definidas em todo I) da parte homognea da equao linear. A superposio, nesse caso, expressa o fato de
Nuc(Ln ) ser subespao vetorial de C n (I) (isto , ser fechado sob combinaes lineares). No prximo ponto, mostraremos que dim Nuc(Ln ) = n.

r
c2

306: A equao diferencial Ln (y) = 0 tem n solues linearmente independentes y1 , . . . , yn sobre I. Mais ainda, se y uma soluo de Ln (y) = 0
sobre I, ento existem constantes C1 , . . . , Cn univocamente determinadas
tais que y = C1 y1 + . . . + Cn yn .
Soluo: Fixe x0 I. Para cada 1 6 j 6 n, consideremos o PVI

Pr

eli
mi
na

Ln (y) = 0 e y (k) (x0 ) = j(k+1) para 0 6 k 6 n 1,



u = v,
onde uv = 10 se
se u 6= v, o usual delta de Kronecker. Pelo TEU, existe uma
nica soluo yj : I lR desse PVI.
Use o wronskiano calculado em x0 para mostrar que {y1 , . . . , yn } linearmente independente. Explicitamente, suponhamos que c1 y1 +. . .+cn yn 0
(k)
(k)
em todo I; derivando repetidamente, temos c1 y1 + . . . + cn yn = 0 para
qualquer k e ento, avaliando a k-sima igualdade em x0 , obtemos ck = 0.
Dada a soluo y : I lR de Ln (y) = 0, tome Cj = y (j1) (x0 ) para
1 6 j 6 n e defina z = C1 y1 + . . . + Cn yn . Por superposio, z uma
soluo de Ln (y) = 0. Pelo modo como definimos cada yj , temos
z (k) (x0 ) =

n
X
j=1

(k)

Cj yj (x0 ) =

n
X

y (j1) (x0 )j(k+1) = y (k) (x0 )

j=1

72
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

C.
L.

para 0 6 k 6 nP
1. Logo, y e z so solues do mesmo PVI e o TEU
implica y = z = j Cj yj .
Porque a base {y1 , . . . , yn } linearmente independente, as constantes
Cj so nicas para cada soluo y.

ius

307: Em resumo, Nuc(Ln ) tem dimenso n. Mostre ento que, se conhecermos uma base qualquer para Nuc(Ln ), a soluo geral de Ln (y) = 0
escrita como combinao linear dessa base. (Esse cuidado necessrio porque as funes bsicas que realmente encontraremos no so as utilizadas
na demonstrao acima.)

01
4

Vi
nic

308: Os coeficientes C1 , . . . , Cn tm o mesmo papel, aqui, que a constante


de integrao nas equaes de primeira ordem.
Por exemplo, digamos que uma base de solues seja {1, x, cos x} e que
se queira satisfazer os valores iniciais y() = 0, y 0 () = 2, y 00 () = 1.
Ento escrevemos y(x) = C1 1 + C2 x + C3 cos x, donde y 0 (x) = C2 C3 sen x
e y 00 (x) = C3 cos x. Por substituio, temos o sistema:

1C1 + C2 1C3 = 0
C2 + 0C3 = 2

1C3 = 1

r
c2

Sua soluo consiste de C1 = 1 2, C2 = 2, C3 = 1 e obtemos a


soluo especfica y(x) = (1 2) + 2x cos x.
Finalmente, voltamo-nos a equaes no-homogneas:

eli
mi
na

309: Se yp uma soluo particular (ou especfica, ou sem coeficientes a


determinar) da equao linear Ln (y) = R, ento a soluo geral tem a
forma
y = C1 y1 + . . . + Cn yn + yp ,

Pr

onde C1 , . . . , Cn so constantes a determinar e {y1 , . . . , yn } um base do


espao de solues de Ln (y) = 0.
De fato, se y tambm soluo de Ln (y) = R, ento a diferena y yp
soluo da parte homognea (ou seja, Ln (y yp ) = 0) e pode ser escrita
como a combinao linear C1 y1 + . . . + Cn yn .
Desse modo, o conjunto das solues de Ln (y) = R o espao afim
Nuc(Ln ) + yp ,

com dimenso n.

73
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

ius

C.
L.

310 Resumo: Para resolver a equao linear Ln (y) = R de ordem n, devemos resolver a parte homognea Ln (y) = 0, cuja soluo geral yh admite
n constantes a determinar, e encontrar alguma soluo particular yp da
equao original. A soluo geral ser yh + yp .
O termo yh pode ser escrito como combinao linear (nas constantes
a determinar) de n solues da parte homognea que sejam linearmente
independentes.
Caso se especifique tambm um PVI, devemos determinar os valores das
n constantes substituindo os valores iniciais em yh + yp e suas derivadas,
no apenas em yh (a no ser que a equao original seja homognea, quando
obviamente podemos tomar yp = 0).

Vi
nic

Resolver essas equaes, para obter yh e yp , o que faremos nas prximas


sees.

2.5

Coeficientes constantes

01
4

Nesta seo, trataremos das equaes lineares com coeficientes constantes, para as quais podemos encontrar todas as solues explicitamente.
Lembramos que devemos encontrar (i) uma base de solues da parte
homognea e (ii) uma soluo particular da equao original, para ento
(iii) escrever a soluo geral.

r
c2

311: Recorde que as solues da equao de primeira ordem y 0 + ky = 0


so da forma y(x) = Cekx .

eli
mi
na

312: A equao de segunda ordem ay 00 + by 0 + cy = 0, onde a, b, c so


constantes reais e a 6= 0, tem solues exponenciais?
Soluo: Escrevendo y(x) = ex , temos y 0 (x) = ex e y 00 (x) = 2 ex .
Substituindo na equao, obtemos a2 ex + bex + cex = 0, ou seja,
(a2 + b + c)ex = 0. Como a exponencial nunca se anula, conclumos que
y(x) = ex soluo da equao se e somente se for uma raiz do chamado
polinmio caracterstico P (t) = at2 + bt + c.

Pr

Note que os coeficientes de P (t) = at2 + bt1 + ct0 so os mesmos da


equao ay (2) + by (1) + cy (0) = 0.
As razes desse polinmio podem ser encontradas pelo mtodo de Bhaskara, que nos permite saber se elas so reais, distintas, ou complexas. Digamos que sejam 1 e 2 :
313: Se 1 , 2 so reais e distintas, obtemos duas solues da equao: e1 x
e e2 x . Elas so linearmente independentes, porque uma no mltipla

74
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

C.
L.

da outra. Portanto, {e1 x , e2 x } uma base para as solues da equao


proposta.
Ateno: Isso s vale quando podemos aplicar nosso estudo anterior.
Aqui, precisamos ter 1 , 2 razes reais para que e1 x , e2 x sejam funes
reais.

ius

314 Exemplo: 3y 00 13y 0 + 12y = 0.


O polinmio caracterstico P (t) = 3t2 13t + 12, cujas razes so 3 e
4/3, distintas. Ento uma base do espao de solues dada por {e3x , e4x/3 }
e a soluo geral y(x) = C1 e3x + C2 e4x/3 .

Vi
nic

315 Exemplo: y 00 5y 0 = 0.
As razes do polinmio caracterstico P (t) = t2 5t so 0 e 5. Ento as
solues bsicas so e0x e e5x , ou seja, uma das solues bsicas a funo
constante 1; de fato, qualquer constante soluo dessa equao e a soluo
geral y(x) = C1 + C2 e5x .

r
c2

01
4

316: Se 1 , 2 so razes reais, mas idnticas, diz-se que = 1 = 2


uma raiz dupla do polinmio caracterstico. Como antes, sabemos que ex
soluo da equao.
Como raiz dupla do polinmio, ento no somente a2 + b + c = 0,
mas tambm 2a + b = 0, como mostra o mtodo de Bhaskara quando o
discriminante nulo.
Use isso para verificar, por substituio direta, que tambm xex
soluo (depois veja 465).
Novamente, as duas solues so linearmente independentes porque no
so mltiplas entre si (por um fator constante). Ento {ex , xex } uma
base para as solues da equao dada.

eli
mi
na

317 Exemplo: 2y 0 = 5y + y 00 /5.


Na forma em que estamos trabalhando e multiplicada por 5, essa equao fica y 00 10y 0 + 25y = 0. Seu polinmio caracterstico P (t) =
t2 10t + 25, cuja nica raiz dupla e vale 5. Ento uma base {e5x , xe5x }
e a soluo geral y(x) = C1 e5x + C2 xe5x .
Para lidar com as razes complexas, precisamos considerar tambm funes e equaes com valores complexos; faamo-lo brevemente neste ponto:

Pr

318: Suponha R, S, u, v funes reais definidas em um mesmo intervalo. Se


u + vi uma soluo complexa de ay 00 + by 0 + cy = R + Si, ento u e v so
solues reais de ay 00 + by 0 + cy = R e ay 00 + by 0 + cy = S, respectivamente.
Indicao: A funo complexa u + vi pode ser vista como uma funo
lR lR2 , ou seja, uma curva no plano qual se aplica o Clculo geomtrico,
com derivao linear e feita componente a componente.

75
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

Voltamos s razes do polinmio caracterstico:

C.
L.

Note: Vale tambm o resultado mais geral, anlogo, a respeito de uma


equao linear qualquer.

319: Se 1 , 2 so razes complexas, elas so conjugadas e podemos escrever


1 = + i e 2 = i com , lR e > 0.

ius

320: Sabemos, por substituio, que e(+i)x uma soluo complexa de


ay 00 + by 0 + cy = 0. Porm, essa exponencial igual a
ex eix = ex [cos(x) + i sen(x)] = [ex cos(x)] + [ex sen(x)]i.

Vi
nic

Ento, pelo que vimos, ex cos(x) e ex sen(x) so solues reais dessa


equao. Usamos o wronskiano para determinar que elas so linearmente
independentes:




ex cos(x)
ex sen(x)


x
= e2x 6= 0.
e cos(x) ex sen(x) ex sen(x) + ex cos(x)

01
4

Logo, {ex cos(x), ex sen(x)} uma base para o espao das solues
reais da equao.

r
c2

321: Prove as identidades 2a + b = 0 e a(2 2 ) + b + c = 0 e use-as


para verificar diretamente por substituio que ex cos(x) e ex sen(x)
so solues de ay 00 + by 0 + cy = 0.

eli
mi
na

322 Exemplo: y 00 + 2y = 0.
2
Aqui,
o polinmio caracterstico P (t) = t + 2 com razes complexas i 2, cuja
nula. As solues bsicas
parte0xreal, incidentalmente,

so e0x cos(x
2)
e
e
sen(x
2),
de
modo
que
a soluo geral y(x) =

C1 cos(x 2) + C2 sen(x 2).

Pr

323 Concluso: Para resolver a equao ay 00 + by 0 + cy = 0, primeiro


encontramos as razes do polinmio caracterstico P (t) = at2 + bt + c. A
soluo da equao ento dada em termos delas, assim:
razes

soluo geral

reais distintas 1 , 2

C1 e1 x + C2 e2 x

real dupla

C1 ex + C2 xex

complexas i

C1 ex cos(x) + C2 ex sen(x)

76
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

C.
L.

No demonstraremos a concluso anloga para ordens maiores que 2,


mas convm entend-la bem:
324: Analogamente, dada

an y (n) + . . . + a1 y 0 + a0 y = 0 com a0 , . . . , an lR e an 6= 0,

ius

formamos o polinmio caracterstico P (t) = an tn + . . . + a1 t + a0 . Liste as


razes reais de P como 1 , . . . , p , com multiplicidades k1 , . . . , kp , respectivamente, e as razes complexas em pares conjugados 1 , 1 , . . . , q , q , com
multiplicidades l1 , . . . , lq , respectivamente. Ento

Vi
nic

P (t) = an (t 1 )k1 . . . (t p )kp (t 1 )l1 (t 1 )l1 . . . (t q )lq (t q )lq .


Escreva j = j + j i com j , j lR e j > 0. Uma base para o espao
de solues da equao dada constitui-se das funes
e1 x , xe1 x , . . . , xk1 1 e1 x ,
..
.

01
4

ep x , xep x , . . . , xkp 1 ep x ,
e1 x cos(1 x), xe1 x cos(1 x), . . . , xl1 1 e1 x cos(1 x),

r
c2

e1 x sen(1 x), xe1 x sen(1 x), . . . , xl1 1 e1 x sen(1 x),


..
.
eq x cos(q x), xeq x cos(q x), . . . , xlq 1 eq x cos(q x),
eq x sen(q x), xeq x sen(q x), . . . , xlq 1 eq x sen(q x).

eli
mi
na

Indicao: preciso verificar que (i) todas essas funes so solues


da equao dada, que (ii) elas so linearmente independentes entre si e que
(iii) h precisamente n delas.
325: Em outras palavras, tome cada soluo primria ex ou ex cos(x)
ou ex sen(x), como fizemos para ordem 2, e multiplique por 1, x, . . . , xk1 ,
onde k a multiplicidade da raiz correspondente no polinmio caracterstico, gerando k solues bsicas.

Pr

326 Exemplo: y (4) 4y 000 + 13y 00 = 0.


O polinmio caracterstico
P (t) = t4 4t3 + 13t2 = t2 (t2 4t + 13),
77
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

{1, x, e2x cos 3x, e2x sen 3x}


uma base do espao de solues e a soluo geral

C.
L.

cujas razes so 0 (dupla) e 2 + 3i, 2 3i (simples). Ento

y(x) = C1 + C2 x + C3 e2x cos 3x + C4 e2x sen 3x.

ius

327 Exemplo: y (5) + 8y 000 + 16y 0 = 0.


O polinmio caracterstico

P (t) = t5 + 8t3 + 16t = t(t4 + 8t2 + 16) = t(t2 + 4)2 .

Vi
nic

Suas razes so 0 (simples) e 2i, 2i (duplas), de modo que


{1, cos 2x, x cos 2x, sen 2x, x sen 2x}
uma base do espao de solues. A soluo geral

y(x) = C1 + C2 cos 2x + C3 sen 2x + C4 x cos 2x + C5 x sen 2x.

328: y 00 5y 0 + 6y = 0.
329: y 00 4y 0 + 4y = 0.

338: y 000 + y 00 6y 0 = 0.
339: y 000 + 2y 00 y 0 2y = 0.
340: y 000 + y = 0.

r
c2

330: y 00 9y = 0.

01
4

Determine a soluo geral destas equaes:

341: y 000 3y 00 + 3y 0 y = 0.

332: y 00 4y 0 + 5y = 0.

342: y (4) 6y 00 + 9y = 0.

333: y 00 3y 0 + 2y = 0.

343: y (4) + 6y 00 + 9y = 0.

334: y 00 + 2y 0 + y = 0.

344: y (4) = 0.

335: y 00 2y 0 + 5y = 0.

345: y (4) 2y 00 = 0.

336: 2y 00 4y 0 + 8y = 0.

346: y (5) + 2y 000 + y 0 = 0.



Pn
347: j=0 nj y (j) = 0.

eli
mi
na

331: y 00 + 9y = 0.

337: y 000 y 0 = 0.

Resolva os problemas de valor inicial:

Pr

348: 3y 00 13y 0 + 12y = 0, y(0) = 1, y 0 (0) = 2.


Soluo: Conforme 314, a soluo geral y(x) = C1 e3x + C2 e4x/3 ,
de modo que y 0 (x) = 3C1 e3x + 34 C2 e4x/3 . Substituindo, encontramos as

78
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

C.
L.

equaes 1C1 + 1C2 = 1 e 3C1 + 43 C2 = 2, que so resolvidas simultaneamente por C1 = 2/5 e C2 = 3/5. Assim, a soluo especfica do PVI
y(x) = 52 e3x + 53 e4x/3 .
349: y 00 6y 0 + 8y = 0, y(0) = 1, y 0 (0) = 2.
350: y 00 4y 0 + 4y = 0, y(0) = 5, y 0 (0) = 0.
352: y 00 4y = 0, y(0) = 0, y 0 (0) = 0.
353: y 00 4y 0 + 5y = 0, y(/2) = 0, y 0 (/2) = e .

ius

351: y 00 + 4y = 0, y(0) = 3, y 0 (0) = 0.

Vi
nic

354: y 000 3y 00 + 3y 0 y = 0, y(1) = 2, y 0 (1) = 1, y 00 (1) = 0.

Agora, continuando a considerar equaes lineares com coeficientes constantes, aprenderemos a determinar uma soluo particular da equao no-homognea. Lembramos a forma em considerao:
ay 00 + by 0 + cy = R(x), ou em geral an y (n) + . . . + a0 y (0) = R(x)

01
4

onde os coeficientes so constantes.

r
c2

355: Pelo princpio da superposio (262), se R uma soma algbrica de


vrias funes Rj , ento podemos quebrar a questo em vrios subproblemas, procurando uma soluo de cada equao ay 00 + by + cy = Rj
e tomando a soma algbrica dessas solues como soluo particular de
ay 00 + by + cy = R.
356: Note que se R constante e se c 6= 0 (ou a0 6= 0) ento a funo
constante y = R/c (ou y = R/a0 , respectivamente) resolve a equao.

eli
mi
na

Estudaremos dois mtodos diferentes para encontrar a soluo particular: A variao das constantes, de Lagrange, sempre conduz a uma soluo
mas requer integraes que, freqentemente, podem ser complicadas. J
utilizar os coeficientes indeterminados requer, s vezes, estimativas iniciais
ou chute para ser menos trabalhoso. Veremos tambm um procedimento
relacionado com anuladores.

Pr

357 Lagrange: Dada ay 00 + by 0 + cy = R, seja {y1 , y2 } uma base do espao


de solues de sua parte homognea; ento escrevemos yh = C1 y1 +C2 y2 . O
mtodo da variao das constantes, ou dos parmetros, prope determinar
uma soluo da equao original com a forma
yp (x) = C1 (x)y1 (x) + C2 (x)y2 (x)

79
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

C.
L.

onde substitumos as constantes C1 , C2 por funes, assim como na Seo 1.3. Em termos tcnicos, procuramos uma soluo no apenas no subespao vetorial gerado por y1 , y2 , mas em todo o ideal que elas geram no
anel C 2 (I).
Lagrange observou que impor a condio adicional C10 y1 + C20 y2 = 0
simplifica enormemente os clculos:
yp0 = C10 y1 + C1 y10 + C20 y2 + C2 y20 = C1 y10 + C2 y20

ius

e ento

yp00 = C10 y10 + C20 y20 + C1 y100 + C2 y200 .

Como desejamos ayp00 + byp0 + cyp = R, substitumos:

Vi
nic

a(C10 y10 + C20 y20 + C1 y100 + C2 y200 ) + b(C1 y10 + C2 y20 ) + c(C1 y1 + C2 y2 ) = R.

01
4

J que Ci (ayi00 + byi0 + cyi ) = 0 para ambos i = 1, 2, simplificamos para


obter a(C10 y10 + C20 y20 ) = R.
Assim,
#
"
#" # "
y1 y2 C10
0
.
=
R/a
y10 y20
C20

r
c2

Esse sistema linear funcional tem determinante W = W (y1 , y2 ), que nunca


se anula. Sua soluo, portanto, dada por




y2
0 y1 R
1 0
y2 R
1 y1
0
0
C1 =
e C2 =
.
=

=

W R/a y20
aW
W y10 R/a
aW

eli
mi
na

(Ou seja, calculando as funes em cada x, temos um sistema determinado


cujas solues, pelo mtodo de Cramer, tambm dependem de x.) Desse
modo, obtemos C1 , C2 integrando-se tais expresses: quaisquer primitivas
bastaro, de modo que convir tomar as mais simples (e sem constantes de
integrao).

358 Exemplo: y 00 3y 0 + 2y = sen x.


J sabemos determinar bases para as solues da parte homognea: a
mais simples {ex , e2x }, cujo wronskiano


ex e2x


W = x
= e3x .
2x
e
2e

Pr

De acordo com Lagrange, temos


C10 =

ex
e2x sen x
x
=
e
sen
x

C
=
(sen x + cos x),
1
1e3x
2
80

c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

onde integramos por partes (duas vezes), por exemplo. Analogamente,


ex sen x
e2x
2x
=
e
sen
x

C
=
(2 sen x + cos x),
2
1e3x
5

C.
L.

C20 =

de modo que uma soluo particular para a equao dada

e a soluo geral
y(x) = D1 ex + D2 e2x +

1
10

sen x +

1
10

sen x +

3
10

cos x

ius

e2x
ex
(sen x + cos x) ex +
(2 sen x + cos x) e2x =
2
5

3
10

cos x

Vi
nic

onde os parmetros D1 , D2 so constantes arbitrrias.

(n1)

(x)

(n1)

yn

(x)

R/a

r
c2

y1

01
4

359: Para generalizar o mtodo de Lagrange para equaes de ordem arbitrria, forme

0
y1 (x)

yn (x)


0
0
y1 (x)

yn0 (x) C10

.. ..

..
..
..
. = . .

.
.
.

(n2)
(n2)
(x) Cn0
(x) yn
0
y1

eli
mi
na

360 Exemplo: y 000 + y 0 = x2 .


A equao homognea associada tem base {1, cos x, sen x} com wronskiano




cos x
sen x
1


W = 0 sen x
cos x = 1.


0 cos x sen x

Procuramos uma soluo particular

yp (x) = C1 (x) + C2 (x) cos x + C3 (x) sen x.

Lagrange impe

C10 (x)1 + C20 (x) cos x + C30 (x) sen x = 0,

Pr

donde yp0 (x) = C2 (x) sen x + C3 (x) cos x, e impe tambm


C10 (x)0 + C20 (x)( sen x) + C30 (x) cos x = 0,

81
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

donde yp00 (x) = C2 (x) cos x C3 (x) sen x e


Para que yp000 + yp = x2 , portanto, devemos ter
C20 (x) cos x C30 (x) sen x = x2 .

C.
L.

yp000 (x) = C20 (x) cos x + C2 (x) sen x C30 (x) sen x C30 (x) cos x.

Vi
nic

ius

Obtemos o sistema

C0
1
cos x
sen x
0
1

0 = .

0 sen x
cos x C2 0

0 cos x sen x
x2
C30

01
4

Como W = 1, vem




cos x
sen x
0


x3
C10 (x) = 0 sen x
,
cos x = x2 C1 (x) =
3

2
x cos x sen x




sen x
1 0


C20 (x) = 0 0
cos x = x2 cos x


0 x2 sen x

C2 (x) = x2 sen x 2x cos x + 2 sen x,




0

0 = x2 sen x

x2

r
c2
cos x

sen x
cos x

eli
mi
na



1

0
C3 (x) = 0

0

Ento

yp (x) =

C3 (x) = x2 cos x 2x sen x 2 cos x.

x3
1 + (x2 sen x 2x cos x + 2 sen x) cos x +
3
+ (x2 cos x 2x sen x 2 cos x) sen x =
x3
2x
3

Pr

e a soluo geral

y(x) = D1 + D2 cos x + D3 sen x +

x3
2x
3

82
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

Determine a soluo geral de cada equao:

C.
L.

com D1 , D2 , D3 constantes arbitrrias.

367: y 00 4y 0 + 4y = x2 .

362: y 00 + y 0 6y = sen x.

368: y 00 y = xex .

363: y 00 + y 0 6y = 5e2x .

369: y 00 + y 0 2y = 8 sen 2x.

364: y 00 5y 0 + 6y = 12.

370: y 00 + 9y = cos 2x.

365: y 00 + 2y 0 + y = 8ex .

371: y 00 + y = 4x sen x.

366: y 00 2y 0 + y + 6 sen x = 0.

372: y 000 8y = e2x .

Vi
nic

ius

361: y 00 3y 0 + 2y = e5x .

373: y 00 3y 0 + 2y = 70(e5x + sen x).

374: y 00 + y 0 6y = 100(e2x + sen x + 3).


Resolva os problemas de valor inicial:

01
4

375: y 00 4y = x2 e2x , y(0) = 1, y 0 (0) = 1.

376: y 00 3y 0 = x + cos x, y(/2) = 0, y 0 (/2) = .

r
c2

377 Coeficientes indeterminados: Este mtodo afirma que, caso R tenha uma das formas
R(x) = (ck xk + . . . + c1 x + c0 )ex cos(x) ou
R(x) = (ck xk + . . . + c1 x + c0 )ex sen(x),

eli
mi
na

que so bastante frequentes em aplicaes, ento uma soluo particular da


equao linear tem a forma semelhante
yp (x) = xl (bk xk + . . . + b0 )ex cos(x) + xl (dk xk + . . . + d0 )ex sen(x).
Encontram-se l, b0 , . . . , bk , d0 , . . . , dk assim:

(i) se k = 0, mantenha b0 , d0 , que se tornam constantes multiplicativas;

Pr

(ii) l ser a multiplicidade (possivelmente 0) de + i como raiz do polinmio caracterstico;

(iii) b0 , . . . , bk , d0 , . . . , dk sero os mais simples que satisfaam o sistema


induzido por substituio de yp .

83
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

C.
L.

Referncia: Uma discusso aprofundada, com argumentao formal e


abstrata, feita em [BoDi], Seo 3.5.

378 Exemplo: y 00 + y = 4x sen x.


O polinmio caracterstico t2 + 1. Temos

ius

Este mtodo, ao contrrio do de Lagrange, no requer integrao, mas


aplica-se apenas a algumas formas da funo R. Pode-se, caso se intua uma
forma mais restrita para yp , eliminar diversos coeficientes imediatamente e
aliviar o trabalho, embora isso torne o mtodo mais artesanal.

R(x) = 4x sen x = (4x1 + 0)e0x sen(1x)

Vi
nic

e 0 + 1i tem multiplicidade 1 como raiz do polinmio. Ento procuramos


yp (x) = x1 (b1 x + b0 )e0x cos(1x) + x1 (d1 x + d0 )e0x sen(1x) =
= (b1 x2 + b0 x) cos x + (d1 x2 + d0 x) sen x.
Com essa expresso, calculamos

01
4

yp00 + yp = (2b1 + 4d1 x + 2d0 ) cos x + (4b1 x 2b0 + 2d1 ) sen x

r
c2

(verifique!), que desejamos que valha 4x sen x. Para tanto, comparamos os


coeficientes de cada termo:
(
2b1 + 4d1 x + 2d0 = 0
4b1 x 2b0 + 2d1 = 4x

eli
mi
na

Novamente, agora comparamos o coeficiente de cada potncia de x:

2b1 + 2d0 = 0

4d = 0

4b1 = 4

2b0 + 2d1 = 0

Assim, obtemos b1 = 1, b0 = 0, d1 = 0, d0 = 1 e
yp (x) = x2 cos x + x sen x

Pr

e a soluo geral

y(x) = D1 cos x + D2 sen x x2 cos x + x sen x.

379 Exemplo: y 00 y = x2 ex .
84
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

R(x) = x2 ex = (1x2 + 0x + 0)e1x cos(0x)

C.
L.

O polinmio caracterstico t2 1. Temos

e 1 + 0i tem multiplicidade 1 como raiz do polinmio. Ento procuramos


yp (x) = x1 (b2 x2 + b1 x + b0 )e1x cos(0x) = (b2 x3 + b1 x2 + b0 x)ex ,

ius

onde no escrevemos um termo com sen(0x) porque este fator o anularia.


Substituindo-se, calculamos
yp00 (x) yp (x) = ex [6b2 x2 + (6b2 + 4b1 )x + (2b1 + 2b0 )],

Vi
nic

que devemos igualar a x2 ex . Isso feito comparando-se o coeficiente de


cada termo:
6b2 = 1, 6b2 + 4b1 = 0, 2b1 + 2b0 = 0.
Esse sistema resolvido por b0 = 1/4, b1 = 1/4 e b2 = 1/6, de modo que

e a soluo geral

01
4

yp (x) = ( 16 x3 14 x2 + 14 x)ex

y(x) = D1 ex + D2 ex + ex (2x3 3x2 + 3x)/12.

r
c2

380: Resolva os exerccios anteriores utilizando, agora, o mtodo dos coeficientes indeterminados.

eli
mi
na

Finalmente, nos prximos pontos, apresentamos o mtodo dos operadores ou dos anuladores, que pode ser considerado uma variante daquele
de coeficientes indeterminados. Ele requer vermos a derivao como uma
operao sobre funes:

Pr

d
381 Operadores: Daremos o nome D expresso dx
, de modo que D(f ) =
dk
0
k
f e, em geral, D = dxk . Desse modo, podemos reescrever expresses como
L2 (y) = y 00 5y 0 + 6y assim: L2 = D2 5D + 6.
Tecnicamente, tomamos um espao vetorial V de funes suficientemente derivveis para a equao em questo. Ento D, suas potncias
e as combinaes lineares delas so as transformaes lineares Ln : V V ,
que chamaremos de operadores.

382: Podemos comp-los como usual para funes, ou seja, definir (T


R)(f ) = T (R(f )). Trabalharemos com essa composio como se fosse o

85
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

C.
L.

produto dos operadores e, freqentemente, omitiremos o smbolo de composio . Porque os operadores so lineares, o produto distribui-se sobre
a soma.
Todo operador T tem potncias T n = T . . . T , em que so compostas
n cpias de T . Por definio, T 0 a identidade.
383: Os operadores comutam, isto , podem ser compostos em qualquer
ordem, por exemplo

ius

(T S R)(f ) (R S T )(f )

01
4

Vi
nic

qualquer que seja f . Isso acontece porque os operadores so combinaes


lineares de potncias do operador derivao D e, ao distribuir o produto,
os coeficientes constantes podem ser passados para fora da derivao.
Desse modo,T = ck Dk + . . . + c1 D1 + c0 D0 pode ser escrito como T =
ck (D r1 ) . . . (D rk ), em que r1 , . . . , rk so as razes do polinmio ck tk +
. . . + c1 t + c0 .
possvel estudar tambm operadores com coeficientes no constantes,
correspondendo s equaes da Seo 2.8, mas seu produto no comutativo. Por exemplo,
(xD + 1)Dy = (xD + 1)y 0 = xDy 0 + y 0 = xy 00 + y 0 ,
D(xD + 1)y = D(xDy + y) = D(xy 0 + y) = y 0 + xy 00 + y 0 .

r
c2

384 Anuladores: Dizemos que um operador T anula uma funo f se


T (f ) 0. Mostre que, se cada Ti anula fi e se o produto T1 . . . Tn comuta,
ento esse produto anula qualquer combinao linear de f1 , . . . , fn .
385: Mostre que:

eli
mi
na

(a) Dp+1 anula qualquer polinmio de grau p ou menor;


(b) (D )p+1 anula todos ex , xex , . . . ,xp ex ;
(c) (D2 2D + 2 + 2 )p+1 anula todos ex cos(x), xex cos(x), . . . ,
xp ex cos(x) e tambm ex sen(x), xex sen(x), . . . , xp ex sen(x).

Desse modo, se R(x) combinao linear dessas funes, pode ser anulada
pelo produto dos operadores correspondentes.

Pr

386: Para resolver a equao Ln (y) = R, primeiramente encontramos um


anulador AR servindo-nos do ponto anterior. Veja que
AR (Ln (y)) = AR (R) = 0.

86
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

C.
L.

Como AR tambm pode ser escrito como combinao linear de potncias


de D, a equao (AR Ln )(y) = 0 uma equao homognea com soluo
z, digamos. Tambm obtemos uma soluo yh de Ln (y) = 0 e tomamos
yp a parte de z que no ocorre em yh . Os coeficientes de yp ainda devem
ser determinados, porque z combinao linear de funes bsicas, o que
podemos fazer impondo Ln (yp ) = R.

ius

387 Exemplo: y 00 2y 0 + 5y = ex sen x.


Temos L2 = D2 2D+5 e AR = D2 2D+2, de modo que AR L2 (y) = 0
tem polinmio caracterstico (t2 2t + 5)(t2 2t + 2), cujas razes so 1 2i,
1 i. Desse modo,

Vi
nic

z = Aex cos 2x + Bex sen 2x + Cex cos x + Kex sen x,


enquanto yh = A1 ex cos 2x + B1 ex sen 2x. Sobra

yp = Cex cos x + Kex sen x

que, substituindo-se na equao original, impe C = 0 e 3K = 1, donde


yp = 13 ex sen x.

r
c2

01
4

388 Exemplo: y 00 + 4y = cos2 x.


Aqui devemos reescrever cos2 x = 12 cos 2x+ 12 , de modo que L2 = D2 +4
e AR = (D2 + 4)D; note o D extra para anular o somando 21 . O polinmio
caracterstico de AR L2 ento (t2 + 4)2 t com razes 2i duplas e 0 simples.
Obtemos
z = C1 cos 2x + C2 sen 2x + C3 x cos 2x + C4 x sen 2x + C5 ,
mas yh = K1 cos 2x + K2 sen 2x, ento

yp = Ax cos 2x + Bx sen 2x + C.

eli
mi
na

Substituindo-se na equao original, obtemos A = 0, B = 1/8 e C = 1/8.


Assim, yp = x8 cos 2x + 18 .

2.6

Osciladores harmnicos

Pr

Osciladores harmnicos correspondem a classes especiais de equaes


lineares de 2a ordem com coeficientes constantes, que descrevem diversos
fenmenos fsicos de interesse.
Primeiramente, apresentaremos a teoria geral dos osciladores harmnicos, para depois contextualizar alguns exemplos. Convencionaremos que
x(t) a funo modelada pela equao em termos do tempo.

87
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

C.
L.

389: O oscilador harmnico simples a famlia de fenmenos descritos pela


equao
a
x + cx = 0,
sendo as constantes a, c estritamente positivas.

390: Tambm se estuda o oscilador amortecido com equao


a
x + bx + cx = 0,

ius

onde b outra constante positiva.

Vi
nic

Em estudos aplicados, o termo bx pode ter outra forma, mais complexa, dependendo da modelagem feita. Veremos em 422, porm, que a
linearizao (que consiste em substituir o termo real pelo linear) simplifica
enormemente sistemas complexos, a um certo preo.
391: O oscilador forado se houver parte no-homognea em sua equao,
geralmente uma expresso senoidal, chamada fora excitadora:
a
x + bx + cx = F (t).

01
4

Vamos estudar todas essas classes, uma por vez:

r
c2

392: A equao a
x + cx = 0 com a, c >p0 tem polinmio caracterstico
P (u) = au2 + c com razes complexas i c/a, de modo que sua soluo
geral
p 
p 
x(t) = C1 cos t c/a + C2 sen t c/a =
= A cos(t + ),

eli
mi
na

p
onde = c/a e devem-se determinar as constantes A, , com A > 0. Chamam-se A de amplitude, de fase e de frequncia angular do oscilador.
Vemos tambm que x
= 2 x, sendo esse um modo comum de apresentar-se o oscilador.
393: Mostre que x peridica com perodo T = 2/, ou seja, = 2f
onde f = T 1 a frequncia do oscilador harmnico.

Pr

394: Por simples derivao, obtm-se estas expresses para a velocidade


e a acelerao do oscilador:
x(t)

= A sen(t + ) = A cos(t + + 2 ),

x
(t) = 2 A cos(t + ) = A 2 cos(t + + ).

88
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

C.
L.

Desse modo, x tem fase atrasada /2 em relao a x e amplitude A,


enquanto x
tem fase atrasada em relao a x e amplitude A 2 .
395: Os valores iniciais tradicionais so x(0) = x0 e x(0)

= v0 . Ento
x0 = A cos(0 + )

A cos ,

v0 = A cos(0 + + 2 ) = A sen ,

x(t) = x0 cos(t) +

v0
sen(t)

Vi
nic

(caso = 0 ento x = x0 ).

ius

o que permite determinar A e , ou mostrar diretamente que

396: A energia do oscilador harmnico definida assim:


E = 12 a(x)
2 + 12 cx2 .

r
c2

01
4

Os termos EC = a(x)
2 /2 e EP = cx2 /2 so chamados energias cintica e
potencial, respectivamente.
No caso de alguns fenmenos mecnicos, como em 410, essa definio
motiva-se somando-se a energia cintica usual e uma energia potencial igual,
em valor absoluto, ao trabalho efetuado sobre a massa a da origem 0 at o
valor atual de x:
Z x
Z x
Z x
T=
fora ds =
(a
s) ds =
(cs) ds = 21 cx2
0

j que a
s + cs = 0. Em geral, seja qual for o fenmeno estudado, podemos
definir E e suas componentes cintica e potencial como acima.

eli
mi
na

397: Temos

x + 12 c 2xx = x(a
x + cx) = 0,
E = 21 a 2x

Pr

de modo que E constante. Calculando-a em t = /, por exemplo,


obtemos
cA2
E = 12 a(x)
2 + 12 cx2 = 12 a(0)2 + 12 c(A)2 =
,
2
ou seja, a energia proporcional ao quadrado da amplitude.
398: Resolver a equao a
x + bx + cx = 0, com b > 0, requer conhecer o
sinal de b2 4ac para que se determinem as razes de P (u) = au2 + bu + c.
89
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

C.
L.

Frequentemente, suporemos que b muito pequeno, correspondente a


um amortecimento ligeiro. Desse modo, b2 4ac < 0 e as razes de P (u)
so complexas com parte real b/2a. A soluo geral ento
r

4ac b2
c
b2
bt/2a
x(t) = Ae
cos(t + ), onde =
=
2,
2a
a 4a
ou seja, agora depende tambm de b, mas ainda constante.

ius

399: Faa o grfico de x(t) para t > 0, encapsulando-o entre os grficos de


Aebt/2a e Aebt/2a . Note, agora, que A a amplitude mxima vlida
apenas para t = 0 e realizada se = 0.

Vi
nic

400: Se b2 4ac > 0, mostre que x converge ao equilbrio (valor 0) conforme


t e que x troca de sinal no mximo uma vez para t > 0.
401: Novamente se define a energia

E = 12 a(x)
2 + 12 cx2 .

01
4

Agora temos

E = (a
x + cx)x = (bx)
x = b(x)
2 6 0,
de modo que E decrescente.

r
c2

402: Tambm para o oscilador amortecido, define-se a quantidade


p
nat = c/a,

chamada frequncia angular natural do oscilador e obtida desprezando-se o


amortecimento.

eli
mi
na

403: A oscilao forada quando uma fora excitadora senoidal com perodo prprio aplicada ao oscilador:
a
x + cx = F0 cos(0 t),

com F0 , 0 constantes positivas. (Isso assume que a fora excitadora tem


valor mximo justamente em t = 0; em uma situao prtica, basta transladar horizontalmente a soluo.)

Pr

404: Caso se deseje estudar uma fora excitadora constante, basta pr


0 = 0, de modo que a soluo particular xp = F0 /c constante.
Doravante, assumiremos 0 > 0:

90
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

xp (t) =

F0
cos(0 t)
2 )

a(02

C.
L.

405: Suponha que 0 6= , isto , as frequncias da fora excitadora e do


oscilador so distintas. Verifique por substituio que

uma soluo particular dessa equao, conhecida como soluo de estado


permanente.

Vi
nic

ius

406 Ressonncia: Quando 0 = , isto , a frequncia da fora excitadora


igual frequncia do oscilador, diz-se que ocorre ressonncia.
Obtenha para esse caso, pelo mtodo dos coeficientes indeterminados, a
soluo particular
F0
xp (t) =
t sen(t),
2c
cujo comportamento leva a amplitudes cada vez maiores.
Mostre que a energia desse oscilador , a partir de certo valor para t,
sempre crescente e ilimitada. (Um mecanismo ou estrutura que esteja submetido a um tal oscilador no aguentar estresses crescentes e colapsar.)

01
4

407: Devemos ainda estudar o oscilador amortecido forado:


a
x + bx + cx = F0 cos(0 t)

r
c2

com as mesmas convenes anteriores. Defina os seguintes valores:


(
2 2 F20 2 2 2 se 0 6= nat ;
a (0 nat ) +b 0
A0 =
F0
se 0 = nat ;
b0

], 2 [ se 0 > nat ;
b0

0 = arctg
se 0 = nat ;
2 ) { 2 }
a(02 nat

] 2 , 0[
se 0 < nat .

eli
mi
na

Verifique, ento, que

xp (t) = A0 cos(0 t + 0 )

uma soluo particular dessa equao, novamentechamada soluo de estado permanente.

Pr

408: J a soluo xh (t) = Aebt/2a cos(t + ) da parte homognea chamada transiente, porque seu valor desprezvel aps um intervalo de tempo,
amortecida que pelo fator b. Assim, a soluo completa
x(t) = xh (t) + xp (t) xp (t)
91
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

inicialmente complicada, mas seu comportamento converge ao de xp (t);


em particular, sua frequncia converge mesma da fora excitadora.

F0
cos(0 t 2 ).
b0

ius

xp (t) =

C.
L.

409 Ressonncia: Quando 0 = nat , isto , a frequncia da fora excitadora igual frequncia natural do oscilador, novamente ocorre ressonncia.
Temos, por substituio e simplificao,

01
4

Vi
nic

Nesse caso, a amplitude A0 = F0 /b0 a mxima possvel. A fase do


oscilador est atrasada /2 em relao a da fora excitadora F0 cos(0 t);
porm,
F0
F0
cos(0 t),
x p (t) = sen(0 t 2 ) =
b
b
de modo que a velocidade do oscilador est em fase com a fora excitadora,
ou seja, o movimento nunca se ope fora, possibilitando a absoro
mxima de energia.
Mais uma vez, os estresses sero crescentes, mas de modo diferente:
um valor muito pequeno de b faz a soluo evoluir rapidamente para uma
amplitude muito alta.

r
c2

J resolvemos a equao de Binet (434) por uma mudana de variveis


que a torna um oscilador harmnico simples. Os seguintes exemplos apresentam diversas outras manifestaes dos osciladores harmnicos. Complete
os detalhes da formulao, se necessrio:

eli
mi
na

410: Suponha que um bloco de massa m desloca-se sobre um trilho horizontal, atado a uma mola com constante elstica k. Fixe como origem a
posio do bloco quando a mola tem seu comprimento natural e assuma
que o bloco apenas se desloca em um intervalo pequeno, de modo a sempre
valer a lei de Hooke e nunca torcer ou inverter a mola, ou colidir com o
ponto fixo da outra extremidade.
Se o bloco mover-se exclusivamente sob ao da fora elstica, temos,
pela 2a lei de Newton e porque a fora elstica ope-se ao movimento,
m
x = kx, donde m
x + kx = 0,

que um oscilador harmnico simples. A discusso sobre energia, acima,


vale literalmente.

Pr

411: Se o movimento do bloco sofrer atrito do trilho, suporemos que esse


atrito seja proporcional velocidade do bloco, mas oposto: ento
m
x = kx bx,
logo, m
x + bx + kx = 0,
92
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

C.
L.

que um oscilador harmnico amortecido.


Descreva um sistema massa-mola, como este, mas em que haja fora
excitadora.
Note: Se o atrito for muito grande, torna-se esttico e a equao no se
aplica, de modo que a soluo no tem sentido, ou seja, o bloco permanece
em repouso e no se dirige posio de equilbrio.

Vi
nic

m
x = kx mg.

ius

412: Suponha, agora, que o bloco esteja suspenso pela mola e que se mova
verticalmente. Assuma que a mola no tenha massa. Sendo g a acelerao
gravitacional e supondo que o eixo esteja orientado para cima, temos

Determine a mudana de varivel que transforma essa equao em uma de


oscilador harmnico simples, sem amortecimento nem excitao.

01
4

413 MCU: Suponha que um pino fixado borda de um toca-discos ou


roda de ceramista e iluminado por uma fonte de luz de raios paralelos.
Mostre que o movimento de sua sombra reta em uma parede um oscilador
harmnico simples.
414: Na situao descrita no ponto 32, assuma que a sonda permanece
sempre no interior do tnel, ou seja, no interior do planeta. Identifique o
oscilador harmnico associado.

r
c2

Na Seo 1.6, estudamos os circuitos eltricos RC e LR. Podemos completar esse estudo, agora, com os circuitos LC e LCR, que so regidos por
osciladores harmnicos. Relembre o funcionamento de capacitores e indutores, respectivamente, em 234 e 239.

eli
mi
na

415 LC: Ligamos, em srie, uma chave interruptora, um indutor de indutncia L e um capacitor de capacitncia C, ambas L, C constantes positivas.
Ento, sendo Q a carga armazenada no capacitor e I a corrente no circuito,
temos I = Q e LI + Q/C = 0, isto , a diferena de potencial no indutor
neutraliza aquela no capacitor, donde
+ Q/C = 0.
LQ

Pr

O PVI usual dado por Q(0) = Q0 , carga armazenada inicialmente no


capacitor, e I(0) = 0, quando a chave fechada no instante t = 0.
Assim, Q um oscilador harmnico com frequncia angular = 1/ LC
e I sua velocidade. Como I senoidal, trata-se de um circuito de corrente
alternada: o indutor facilita tanto a descarga do capacitor que termina

93
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

C.
L.

por transferir a carga inteira para a outra folha do capacitor, espelhando


a situao inicial; o capacitor carrega-se e descarrega-se, sempre oscilando
entre +Q0 e Q0 .
As energias eltrica e magntica do circuito interpretam as energias
potencial e cintica que discutimos acima.

Vi
nic

+ RQ + Q = 0.
LQ
C

ius

416 LCR: Este circuito conecta, tambm em srie, um resistor de resistncia R ao circuito LC acima, sendo ainda R constante positiva. Ento as
quedas de potencial no resistor, no capacitor e no indutor so, respectiva donde
mente RI, Q/C e LI,

um oscilador harmnico amortecido com


r
1
R2
1

e nat =
=
2
LC
4L
LC

01
4

e I sua velocidade. Trata-se de um circuito de corrente enfraquecendo-se,


alternada para valores usuais de R e contnua quando R muito grande.

r
c2

417: Agora, suponha que se insira nesse circuito, ainda em srie, uma fonte
de fora eletromotriz alternada, isto , que origina a diferena de potencial
E(t) = E0 cos(0 t). Ento RI + Q/C + LI = E, donde
+ RQ +
LQ

Q
= E0 cos(0 t)
C

eli
mi
na

um oscilador harmnico amortecido e forado e, mais uma vez, I sua


velocidade. (Lembramos que uma fora eletromotriz contnua pode ser
estudada com 0 = 0.)
Finalmente, estudaremos o oscilador harmnico associado ao movimento
pendular. Trabalharemos sempre com um pndulo de haste rgida com comprimento R e toda a sua massa m concentrada pontualmente na extremidade livre; pndulos reais so conhecidos em [Tip].
Deduziremos a equao do movimento de um pndulo pela anlise das
energias envolvidas no processo, sendo desnecessrio o estudo de configuraes de foras.

Pr

418 Pndulo simples: Aqui, supomos que a haste revolve sem qualquer
atrito. Postulamos que o pndulo move-se em um plano e que pode ficar em
repouso em duas posies: a estvel (em termos prticos) a do pndulo

94
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

ius

C.
L.

pendurado, e a instvel, em que a haste sustenta a massa, impossvel no


caso de um pndulo de fio esticado.
Note: No vocabulrio das Sees 1.1 e ??, esses pontos no so singularidades atratoras ou repulsoras, mas do tipo elptico: a massa do pndulo
oscila em torno da posio estvel, ou no complemento de um entorno da
instvel. O pndulo no s pode oscilar comumente, como tambm partir
de perto da posio instvel e quase dar a volta, em grande amplitude, ou
girar sem inverter o sentido de rotao, com velocidade mxima no ponto
do equilbrio estvel e mnima no outro.

Vi
nic

419: Seja o ngulo da haste com a vertical (0 na posio estvel), considerando-se tambm alguma orientao para positivo ou negativo. Ento
a velocidade angular do pndulo e a velocidade linear da massa m
V = R.

Consideremos as energias cintica EC = mV 2 /2 e potencial EP da


massa m: se E a energia mecnica total do sistema, portanto constante,
temos E = EC + EP . (Estas no so as energias associadas ao oscilador
harmnico como definimos acima.)

1
2 R2
2 m()

r
c2

421: Ento

01
4

420: Adotamos a conveno de que EP = 0 para o ponto mais baixo da


trajetria do pndulo. Verifique, assim, que EP = mgR(1 cos ). As possibilidades que descrevemos ocorrem conforme E = 0 (equilbrio estvel),
E = 2mgR (equilbrio instvel), 0 < E < 2mgR (oscilaes) ou E > 2mgR
(giros completos).
+ mgR(1 cos ) = E.

Derivando quanto ao tempo e simplificando, obtemos


R
+ g sen = 0.

Essa no uma equao de oscilador harmnico, porque no linear.

eli
mi
na

422: Para pequenas amplitudes , substituiremos sen por sua melhor


aproximao linear:
L() = sen 0 + [sen0 0] ( 0) =

( isso que embasa a expresso sen ). Desse modo, equao do


pndulo simples corresponde o oscilador harmnico, ou equao linearizada,
R
+ g = 0

Pr

que descreve o fenmeno fsico aproximadamente. Sua soluo


(t) = A cos(t + )

95
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

C.
L.

p
p
com = g/R, ou seja, o perodo T = 2 R/g, como aprendemos em
Fsica.
Note: Nessa soluo, um ngulo descrito em termos trigonomtricos, cujos argumentos que esperaramos que fossem ngulos. Se quisermos
considerar, portanto, a posio vertical ou horizontal da extremidade com
massa m, deveremos manipular

cos = cos A cos(t + ) .

ius

Por mais estranho que seja, no h nada errado nisso.

Vi
nic

Embora a equao linear seja muito mais simples de resolver e estudar,


enquanto sua soluo seja uma aproximao muito boa ao que efetivamente
ocorre, importante lembrar que o sistema original no linear e tem um
comportamento muito diferente. Isso relevante no apenas em Fsica e nas
mais diversas engenharias, mas tambm em diversos estudos econmicos,
demogrficos e situacionais, onde a tomada de deciso governamental ou
corporativa deve estar atenta a fatores de caos.

01
4

423: Podemos tambm considerar a equao original, sem linearizao:


r
2g
= K +
cos ,
R

r
c2

onde K = (2E/mR2 ) (2g/R) constante. Essa uma equao de 1a ordem; com qual mtodo podemos resolv-la?

eli
mi
na

424 Pndulo amortecido: No pndulo simples, a energia total se mantinha constante. Passemos a supor que o pndulo sofre algum atrito ou
amortecimento e que isso implica em uma perda de energia, at o instante
t, de EA (t) > 0 (sendo EA (0) = 0). Temos, portanto, EC + EP + EA = E0 ,
onde E0 constante igual energia inicial do sistema.

425: Suponha, por exemplo, que a fora resistiva seja proporcional velocidade da extremidade do pndulo: |F | = kV com k > 0. Ento a energia
perdida igual ao trabalho que essa fora realiza do instante inicial at o
instante considerado, digamos t1 :
Z t1
Z t1
Z
Z t1
EA (t1 ) =
|F | ds =
|F | ds
dt
=
|F
|V
dt
=
kV 2 dt,
dt

Pr

trajetria

donde

E A = kV 2 = k()
2 R2 .

96
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

2.7

kR
+ g = 0.
m

Gravitao universal

ius

R
+

C.
L.

Como anteriormente, derivamos EC + EP + EA = E0 e simplificamos para


obter
kR
R
+
+ g sen = 0,
m
cuja linearizao o oscilador amortecido

01
4

Vi
nic

Aqui, nosso objetivo descrever a rbita de um planeta, cometa ou outro corpo qualquer em torno de um sol ou grande massa central situada na
origem de um sistema de coordenadas, rbita essa regida exclusivamente
pela fora gravitacional newtoniana. Tambm deduziremos a equao diferencial de todas as rbitas de um corpo em um campo de foras central ou
radial, de modo geral.
Usaremos as letras m, M para designar tanto as massas desses corpos,
como eles prprios, e consideraremos M grande o suficiente para que a fora
exercida por m seja desprezvel e no o mova da origem.

r
c2

426: Em um espao tridimensional, o movimento de uma partcula sujeita


a uma fora central plano, isto , a trajetria e o centro da fora esto
contidos em um nico plano. Veja [FiNe], p. 156.
427: Desse modo, podemos limitar-nos a um plano de trabalho descrito em
coordenadas retangulares (x, y) ou nas polares associadas via x = r cos ,
y = r sen ; suporemos sempre que r > 0 porque M ocupa a origem.

eli
mi
na

O que procuramos so funes vetoriais (x(t), y(t)) ou (r(t), (t)) que


descrevem a posio de m em um instante t.
428: Derivando quanto a t, obtemos
x = r cos r sen ,
y = r sen + r cos

Pr

e ento

2 cos ,
x
= r cos 2r sen r sen r()
2 sen ,
y = r sen + 2r cos + r cos r()

97
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

2,
x
cos + y sen = r r()

x
sen y cos = 2r r.
429 2a lei de Newton: Temos sempre
2

acelerao

ius

d
F = m dt
x, m
y ).
2 (x, y) = (m
| {z }

C.
L.

ou seja,

Vi
nic

430: Quando o campo centrfugo, isto , a fora atua no mesmo sentido


do raio vetor, vale F = |F |(cos , sen ); quando o campo centrpeto, vale
F = |F |(cos , sen ).
|
|
Ento x
= |F
= |F
m cos e y
m sen em que o sinal positivo quando
o campo centrfugo e negativo no caso centrpeto: substituindo, obtemos
2 = |F |/m,
r r()
2r + r = 0.

01
4

Desse sistema, derivamos a conservao do momento angular e a equao


de Binet, que sero as nicas a serem utilizadas no restante do raciocnio.
431 Conservao angular: O momento angular de m

r
c2

L = mrV = mr2

(onde V sua velocidade linear). Vemos que


L =

2
d
dt (mr )

= 0,
= 2mrr + mr2 = mr(2r + r)

eli
mi
na

de modo que L constante.

432: H, portanto, duas possibilidades:


Se L = 0, ento = 0 e m move-se em linha reta radial, afastando-se
ou caindo em M .
Se L 6= 0, ento ou > 0 ou < 0 (j que mr2 > 0), fazendo com que
seja sempre estritamente crescente ou decrescente. Assim, um corpo em
rbita no inverte o sentido de sua translao.

Pr

433 2a lei de Kepler: A rea varrida pelo raio vetor de m entre os instantes
t0 e t
Z (t)
[r()]2
A(t) =
d,
2
(t0 )
98
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

[r(t)]2

A(t)
=
(t) = L/2m
2

C.
L.

onde integramos em coordenadas polares. (Cuidamos que a rea coberta


uma nica vez porque tem sempre o mesmo sinal.) Ento

ius

e conclumos pela constncia da velocidade areolar. Isso implica que m


tem velocidade menor no ponto da rbita mais afastado de M e velocidade
maior no ponto mais prximo.
434 Binet: Note que

logo,

2
dr
d
= r2 d
= r2 dr
r/
= mr/L;

dt / dt = r

1
d2
)
d 2 (r

d (mr/L)

Substituindo do sistema, vem


1
d2
)
d 2 (r

Vi
nic

1
d
)
d (r

= (m/L)( ddtr / d
r/L.
dt ) = m

2 |F |/m]/L = 1/r |F |/L.

= m[r()

01
4

Ento, para r em funo de , temos

d2  1  1
m|F |r2
,
+ =
2
d r
r
L2

r
c2

em que o sinal negativo no caso de campos centrfugos.

eli
mi
na

At aqui, trabalhamos com qualquer campo central: a equao de Binet


e a 2a lei de Kepler so gerais.
Agora, veremos como a lei da gravitao universal de Newton mantm
os corpos em rbitas, que so seces cnicas, descritas pelas trs leis de
Kepler.
435: No caso particular da fora gravitacional F exercida por M sobre m
em (x, y), seu valor absoluto |F | = GM m/r2 e o campo centrpeto.
Assim,
GM m
F = |F |(cos , sen ) = 2
(x, y).
(x + y 2 )3/2

Pr

436 1a lei de Kepler: Com z = 1/r e |F | = GM m/r2 , obtemos da


equao de Binet esta equao linear de 2a ordem:
d2 z
GM m2
+
z
=
.
d2
L2

99
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

1
= k cos( 0 ) + GM m2 /L2 ,
r()

r() =

E/k
1 E cos( 0 )

ius

ou seja,

C.
L.

A parte homognea tem soluo geral zh = C1 cos + C2 sen , que pode


ser reescrita como zh = k cos( 0 ) com k > 0; a escolha desse sinal ser
justificada a seguir. Por outro lado, uma soluo particular da equao
original a constante zp = GM m2 /L2 . Logo,

Vi
nic

se definirmos E = kL2 /GM m2 > 0.


Escreva uma soluo anloga para um campo centrfugo.

eli
mi
na

r
c2

01
4

437 Cnicas: Mostre que isso a equao de uma cnica de excentricidade


E > 0 com um foco em M e sendo 0 o ngulo entre seu eixo principal e
o das abscissas. (A cnica uma parbola se E = 1, elipse se E < 1, ou
hiprbole se E > 1.) Conclua que planetas no caem em espiral.
Indicao: Consideremos o caso da elipse, quando E < 1. Uma aplicao bruta das transformaes de coordenadas, ou uma espiada apressada
em um formulrio, pode induzir-nos a trabalhar com a origem no centro
da elipse (a tradicional frmula x2 /a2 + y 2 /b2 = 1), mas em nosso caso
a origem est no foco onde se encontra M . Outra dificuldade que uma
mudana de coordenadas envolve um clculo que, comeado do jeito errado,
pode ser muito trabalhoso.
Suponhamos, porm, que a elipse tenha
semi-eixo maior a e semi-eixo
menor b. Ento
sua
excentricidade

E
=
a2 b2 /a, a distncia entre

2
2
seus focos 2 a b , e a soma das distncias de um ponto na curva aos
focos 2a. Uma delas r, de modo que a outra (no lado oposto ao foco em
M ) 2a r. O ngulo entre o raio vetor de medida r e o eixo principal,
dependendo das posies relativas, 0 ou 0 ou 2 + 0 , todos
com mesmo cosseno. Do tringulo formado pelos dois focos e o ponto da
curva, obtemos
2
 p

 p
(2a r)2 = 2 a2 b2 + (r)2 2 2 a2 b2 (r) cos( 0 ).

Pr

Simplifique e resolva em r para determinar


r=

b2 /a
E/k
=
,
1 E cos( 0 )
1 E cos( 0 )

em que definimos k = E/[a(1 E 2 )].


100
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

C.
L.

438: Quais so as possveis trajetrias de um eltron defletido por uma


carga negativa?

ius

439 Periodicidade: Quando E < 1 e a rbita elptica, mostre que r


peridico em funo de t. (Abaixo, chamaremos T a esse perodo.)
Soluo: Quando a rbita uma elipse (E < 1), a funo r() est
definida para todos os ngulos (seu denominador nunca se anula) e explicitamente peridica quanto a , com perodo 2. Porque a velocidade
areolar constante, o tempo necessrio para o raio vetor varrer toda a elipse
sempre o mesmo independentemente do ngulo inicial. Isso corresponde
a uma translao completa, ao longo da qual aumenta ou diminui 2 e,
assim, r peridico tambm quanto a t.

Vi
nic

440 3a lei de Kepler: Mostremos que a razo T 2 /a3 a mesma para


qualquer corpo em torno de M , sendo T o perodo de translao e a o
raio mdio de uma rbita elptica (ou seja, seu semi-eixo maior). (Sejam
tambm, como acima, b seu semi-eixo menor e E sua excentricidade.)
Vimos que a velocidade areolar constante L/2m, de modo que ab/T =
L/2m. Ento T = 2abm/L e

r
c2

01
4

T2
4 2 m2 b2
4 2 m2
=
=
a(1 E 2 ) =
a3
L2 a
L2
4 2 m2
4 2 m2
L2
4 2
=
(E/k)
=

=
L2
L2
GM m2
GM
constante e independe de m e a.

Reciprocamente, a lei da gravitao de Newton uma conseqncia da


astronomia de Kepler; tal fato tem grande valor cientfico e histrico, porque
se deduz uma lei geral e terica a partir de leis experimentais especficas:

eli
mi
na

441 Deduo da gravitao universal: Postula-se que a fora gravitacional atratora, ao longo da reta entre os dois corpos, ou seja, o campo
gravitacional (central) centrpeto. Calculamos A = L/2m e, assim, a
2a lei de Kepler afirma que L constante.
A 1a lei informa que elipses
r() =

E/k
onde E < 1
1 E cos( 0 )

Pr

satisfazem a equao de Binet para campos centrpetos. Porm,


d2  1  1
+ = (k/E)(E cos( 0 )) + (k/E)(1 E cos( 0 )) = k/E,
d2 r
r
101
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

C.
L.

donde k/E = m|F |r2 /L2 .


Enquanto mostrvamos a 3a lei de Kepler, calculamos
T2
4 2 m2
4 2 m2
=
a(1 E 2 ) =
(E/k)
3
2
a
L
L2

exclusivamente a partir da velocidade areolar. Agora, assumindo essa lei,


escrevamos T 2 /a3 = CM constante: obtemos
4 2 m2
L2
4 2 m

=
.
L2
m|F |r2
|F |r2

ius

CM =

Vi
nic

Pelo princpio da ao e reao de Newton, m tambm atrai M gravitacionalmente com uma fora de mesmo mdulo |F |. Por simetria, ento,
4 2 M
4 2 m
2 = |F | =

CM r
Cm r2

em que Cm outra constante. Note que cada constante depende apenas


do corpo correspondente. Portanto, tomando m = 1, deduzimos que CM =
C1 /M ; definindo G = 4 2 /C1 e retomando m arbitrrio, obtemos
4 2
m
GM m
2 =
.
C1 /M r
r2

01
4

|F | =

Encerramos nossos clculos com duas extenses da teoria desenvolvida:

eli
mi
na

r
c2

442 Movimento de M : Supusemos sempre que M no se movia e permanecia como centro de nosso sistema de coordenadas. Contudo, pode-se
requerer o estudo de rbitas quando m comparvel com M : por exemplo,
nos casos TerraLua, SolJpiter, estrelas binrias, etc. O que se pode
supor, nesses casos, que o centro de massa de M e m tem movimento
inercial, isto , retilneo e uniforme.
Alteraes: Qualquer referencial inercial, agora, igualmente adequado. Deve-se descrever o movimento de m, M por vetores Vm , VM , respectivamente; as velocidades e aceleraes pertinentes so V m , V M e Vm , VM .
Desse modo, pode-se escrever a segunda lei de Newton para m e M , com as
foras GM m(VM Vm )/|VM Vm |3 e GM m(Vm VM )/|Vm VM |3 , respectivamente. Subtraia essas equaes e conclua que as duas primeiras leis
de Kepler no sofrem modificao, enquanto que a terceira transforma-se
em T 2 /a3 = 4 2 /G(M + m).

Pr

443 Relatividade: Considerando-se efeitos relativsticos, a equao de


Binet transforma-se na equao de Schwarzschild que no linear: sua resoluo complica-se, mas pode-se fazer uma boa aproximao para explicar

102
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

2.8

C.
L.

a discrepncia da rbita de Mercrio. Veja [FiNe], p. 174176, e [ONe],


p. 372380. Nessa teoria, tambm, corpos que transladam dispendem energia mecnica na forma de ondas gravitacionais e, portanto, planetas caem
em espiral, embora seu tempo de queda seja muito superior durao do
Universo.

Coeficientes variveis

ius

Agora, trataremos das equaes lineares em geral, cujos coeficientes


podem ser funes da varivel independente:

Vi
nic

pn (x)y (n) + . . . + p1 (x)y 0 + p0 (x)y = R(x),


em particular as equaes de segunda ordem

p(x)y 00 + q(x)y 0 + r(x)y = R(x).

444: O paradigma de resoluo original ganhar novos detalhes:

01
4

(i) Para encontrar n solues linearmente independentes y1 , . . . , yn da


parte homognea, deveremos:

r
c2

(a) obter uma soluo (no-nula), assunto da prxima seo;


(b) calcular as demais, o que faremos na reduo de ordem a seguir.

eli
mi
na

(ii) Para determinar uma soluo particular yp da equao original, se


no for homognea, o mtodo de Lagrange funcionar exatamente
como j o conhecemos, mas o dos coeficientes indeterminados exigir
adaptaes.
(iii) Ento escreveremos a soluo geral y = C1 y1 + . . . + Cn yn + yp .

Pr

Em vista desse roteiro, comeamos por assumir que dada uma soluo
no-trivial da parte homognea: nos exerccios, ela vem indicada, ou pode
ser encontrada por inspeo visual (talvez usando a tcnica logo a seguir),
ou ainda pelos mtodos especiais estudados na prxima seo.
Notemos, porm, o cuidado preciso com as razes de um polinmio
caracterstico que no serve como para coeficientes constantes:
445: Mostre que x raiz do polinmio t2 (x + 3)t + 3x, mas que nem ex
nem exx = exp(x2 ) so solues de y 00 (x + 3)y 0 + 3xy = 0.
103
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

xy 00 + (x sen x)y 0 y sen x = 0.

C.
L.

446: No ponto anterior, 3 raiz do polinmio: explique por que e3x


soluo da equao e obtenha uma soluo no-nula de

ius

Contudo, comum que a equao homognea tenha, de fato, solues


exponenciais e trigonomtricas, mas precisamos de outros caminhos para
encontr-las exatamente. Nossa abordagem ser via reduo de ordem para
estender uma soluo dada a uma base de solues da equao homognea.
Estudaremos dois meios de faz-la, nos pontos 447 e 450:

Vi
nic

447 Reduo de ordem: Suponhamos j conhecida uma soluo y1 da


equao linear homognea, com o propsito de determinar outra soluo
y2 , linearmente independente de y1 . Ento as substituies y = Cy1 e
z = C 0 , em que se faz variao da constante reduzem a ordem da equao,
preservando linearidade e homogeneidade.
Soluo: Por induo, mostra-se que
k
X

k
j

01
4

y (k) = (Cy1 )(k) =

j=0

(kj)

C (j) y1

r
c2

para cada 0 6 k 6 n. Substituindo todos y (0) , . . . , y (n) na equao original,


obtemos uma equao da forma
qn (x)C (n) + . . . + q1 (x)C 0 + q0 (x)C = 0.

J que y1 soluo da equao original, ento 1 soluo dessa equao,


de modo que q0 deve ser nulo. Logo, pondo z = C 0 , obtemos

eli
mi
na

qn (x)z (n1) + . . . + q1 (x)z = 0,

como desejado.
Obtendo-se z no-nula,
a segunda soluo poder ser explicitamente
R
calculada como y2 = y1 z dx, que no ser mltipla de y1 .

448: Explicitamente para a equao py 00 + qy 0 + ry = 0, do caso n = 2,


temos
y 0 = C 0 y1 + Cy10 e y 00 = C 00 y1 + 2C 0 y1 + Cy100 .

Pr

Substituindo-se, vem

p(C 00 y1 + 2C 0 y1 + Cy100 ) + q(C 0 y1 + Cy10 ) + r(Cy1 ) = 0,

104
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

ou seja,

C.
L.

[py1 ]C 00 + [2py10 + qy1 ]C 0 + [py100 + qy10 + ry1 ]C = 0,

onde o terceiro coeficiente nulo porque y1 soluo da equao original.


Assim, com z = C 0 ,

que uma equao linear homognea de ordem 1.

ius

[py1 ]z 0 + [2py10 + qy1 ]z = 0,

Vi
nic

449: A equao [py1 ]z 0 +[2py10 + qy1 ]z = 0 tambm de variveis separveis


e podemos resolv-la simbolicamente. Temos
2py10 + qy1
dz
=
dx,
z
py1
de modo que
y10
dx
y1

e ento

q
dx = 2 ln |y1 |
p

01
4

ln |z| = 2

y2 = y1

Z  exp R

y12


dx

q
dx
p

dx.

r
c2

Como n = 2, obtivemos a base {y1 , y2 }.

q
p

eli
mi
na

450: Vimos em 294 que o wronskiano W = W (y1 , y2 ) deve satisfazer a


equao pw0 + qw = 0 e, ento, ser dado pela soluo de AbelLiouville
(299). Explicitamente, temos


y (x) y (x)
 Z x q(s) 
2
1

ds .
= W (x) = W (x0 ) exp
0
y1 (x) y20 (x)
x0 p(s)

Pr

Expandindo o determinante e substituindo expresses em x para y1 , y10


e a integral, obtemos uma equao de primeira ordem cuja incgnita y2 .
Basta, portanto, resolv-la segundo os mtodos do Captulo 1.
Para que y2 seja independente de y1 , devemos ter W (y1 , y2 ) 6= 0. Para
isso, impomos W (x0 ) = 1 ou outra constante no-nula que simplifique
os clculos, assim como um valor simples para x0 , desde que no domnio
correspondente.
451 Exemplo: (x + 1)y 00 (x + 2)y 0 + y = 0, conhecendo y1 (x) = ex .
105
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

ius

C.
L.

Substituindo, verificamos que y1 realmente soluo dessa equao.


Note que p(x) = x + 1 anula-se em x = 1, de modo que devemos
estudar a equao separadamente em ], 1[ e ]1, [. Trabalhemos
primeiro com ]1, [:
Fixamos x0 = 0 ]1, [ e W (x0 ) = 1, de modo a anular a primitiva
abaixo e facilitar os clculos. A formulao acima torna-se


ex y (x)
 Z x (s + 2) 
Z x 
1  
2


=
1
exp

ds
=
exp
1
+
ds .

x
e
s+1
s+1
y20 (x)
0
0
Portanto,

Vi
nic

ou seja,


x 
ex y20 ex y2 = exp s + ln |s + 1| 0 = exp(x + ln |x + 1|),
y20 y2 = eln |x+1| = x + 1

j que trabalhamos com x > 1. Essa uma equao de primeira ordem:


como aprendemos na Seo 1.3, sua soluo

01
4

y2 (x) = (x + 2) + Cex .

Podemos tomar C = 0, porque precisamos de uma nica expresso para y2 ,


e obtemos a soluo geral

r
c2

y(x) = C1 ex + C2 (x + 2)
da equao dada, onde absorvemos o sinal em C2 .
Para resolver no domnio ], 1[, note (pelo Teorema do Valor Intermedirio) que existe x0 < 1 tal que x0 + ln |x0 + 1| = 0; no preciso
explicit-lo para conduzir clculos como os acima e obter a equao

eli
mi
na

y20 y2 = x 1, com soluo y2 (x) = x + 2 + Cex .

Novamente, a soluo geral y(x) = C1 ex + C2 (x + 2).


452 Exemplo: y 00 + 4xy 0 + (4x2 + 2)y = 0, com y1 (x) = exp(x2 ).
Verifique que y1 soluo da equao dada. Desta vez, temos


ex2
 Z x 4s 
y2 (x)
2

=
1
exp

ds = e2x ,


2
x
0
2xe
1
y2 (x)
0
2

Pr

ou seja, ex y20 + 2xex y2 = e2x , donde

y20 + 2xy2 = ex .

106
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

y(x) = C1 ex + C2 xex .

C.
L.

Uma soluo dessa equao, tambm pela Seo 1.3, y2 (x) = xex , de
modo que a soluo geral da equao dada

453: Mostre que tal mtodo conduz mesma expresso de 449.

ius

454: Em geral, com respeito a uma equao linear homognea de ordem n,


para o clculo do wronskiano e o uso da soluo de AbelLiouville como
acima, preciso conhecer n1 solues linearmente independentes e a equao linear de ordem n 1 obtida para a n-sima soluo no-homognea.

Vi
nic

Dada uma soluo das partes homogneas, determine a soluo geral


destas equaes:
455: xy 00 (x + 2)y 0 + 2y = 0, y1 = ex .

456: xy 00 + (x 1)y 0 y = 0, y1 = x 1.
457: xy 00 + 3y 0 = 0, y1 = 1.

01
4

458: (x 1)y 00 xy 0 + y = 0, y1 = x.
459: x2 y 00 + xy 0 4y = 0, y1 = x2 .

460: xy 00 y 0 + 4x3 y = 0, y1 = sen(x2 ).

r
c2

461: (x2 + x)y 00 (x2 2)y 0 (x + 2)y = x(x + 1)2 , y1 = ex .


462: x2 y 00 + xy 0 4y = 10x3 , y1 = x2 .
463: x2 y 00 2y = 2x, y1 = x1 .
464: x2 y 00 xy 0 + y = x, y1 = x.

eli
mi
na

465: Quando a, b, c so constantes reais, sendo a 6= 0, e raiz dupla do


polinmio P (t) = at2 + bt + c, aprendemos que ex soluo da equao
ay 00 + by 0 + cy = 0 e verificamos que xex tambm soluo. Como poderamos, inicialmente, encontrar esta soluo, conhecendo apenas ex ? Mostre
os detalhes do clculo.
Finalmente, para determinar a soluo particular, fazemos as seguintes
observaes, vlidas tambm para ordens superiores:

Pr

466: Novamente, quando R uma soma algbrica de vrias funes Rj ,


procuramos uma soluo de cada equao py 00 + qy + ry = Rj : sua soma
algbrica ser soluo particular de py 00 + qy + ry = R.

107
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

C.
L.

467: Se o parmetro r no se anular e a razo R/r for constante, ento a


prpria funo constante y = R/r soluo de py 00 + qy 0 + ry = R.
468: O mtodo da variao das constantes de Lagrange (descrito em 357 e
seguintes) aplica-se tambm s equaes de coeficientes variveis, bastando
novamente que se conhea uma base de solues da parte homognea. A
demonstrao idntica do caso de coeficientes constantes.

Vi
nic

ius

469: Especificamente para uma equao de segunda ordem com a base


{y1 , y2 } e W = W (y1 , y2 ), temos




y R
0

y
y
0
y
R
1
1
2
1




1
2
0
C10 =
=

e
C
=
,
=



2
W R/p y20
pW
W y10 R/p
pW

onde agora tambm p depende de x.

01
4

470: Tambm o mtodo dos coeficientes indeterminados (377) aplica-se ao


novo caso, embora os coeficientes da equao devam ser considerados na
proposta de uma forma para a soluo particular, porque no h receita
especfica a seguir, apenas prtica.

eli
mi
na

r
c2

471 Exemplo: (x2 + x)y 00 (x2 2)y 0 (x + 2)y = x(x + 1)2 , conhecendo
a base {ex , x1 } para a parte homognea.
Deve-se verificar que realmente y1 (x) = ex e y2 (x) = x1 so solues de
2
(x + x)y 00 (x2 2)y 0 (x + 2)y = 0, o que podemos fazer por substituio.
Tambm se verifica, usando-se por exemplo o wronskiano, que y1 , y2 so
linearmente independentes. De fato, temos


ex x1


W (x) = W (y1 , y2 )(x) = x
= ex (x1 + x2 ) 6= 0.
e
x2

Pr

Cabe uma nota: p(x) = x2 +x anula-se em x = 1 e x = 0, de modo que


devemos estudar a equao separadamente em ], 1[, ]1, 0[ e ]0, [.
(Isso posto, poderamos dividir toda a equao por p(x).) Observe que,
nesses intervalos, y1 , y2 esto definidas, de classe C , e W realmente no
se anula.
Ento, pelo mtodo de Lagrange de variao das constantes, procuramos
uma soluo particular da equao original tendo a forma yp (x) = C1 (x)ex +
C2 (x)x1 , para o que devemos ter
C10 (x) =

(x2

x1 x(x + 1)2
= xex ,
+ x) [ex (x1 + x2 )]
108

c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

donde C1 (x) = (x + 1)ex (integrando-se por partes), e


ex x(x + 1)2
= x2 ,
(x2 + x) [ex (x1 + x2 )]

C.
L.

C20 (x) =

donde C2 (x) = x3 /3. (Aqui, ignoramos as constantes de integrao.)


Ento a soluo geral
= D1 ex + D2 x1 (1 + x + x2 /3),

ius

y(x) = D1 ex + D2 x1 + [(x + 1)ex ]ex + [x3 /3]x1 =


onde agora D1 , D2 so parmetros arbitrrios, mas constantes.

Vi
nic

472: Para usar o mtodo dos coeficientes indeterminados, digamos que


j suspeitssemos de um polinmio de grau 2 como soluo da equao:
escrevemos
yp (x) = ax2 + bx + c
onde a, b, c so constantes a determinar. Como ento yp0 (x) = 2ax + b e
yp00 (x) = 2a, substituindo na equao devemos ter

01
4

(x2 + x)(2a) (x2 2)(2ax + b) (x + 2)(ax2 + bx + c) = x(x + 1)2 ,


ou seja,

r
c2

(3a)x3 + (2b)x2 + (6a 2b c)x + (2b 2c) = x3 + 2x2 + x.


Comparando-se esses polinmios, temos 3a = 1, 2b = 2, 6a 2b c = 1
e 2b 2c = 0, de modo que a = 1/3, b = 1 e c = 1, tal qual deduzimos
acima.

eli
mi
na

Resta o problema de determinar y1 , isto , uma primeira soluo explcita (e no-nula) da parte homognea da equao linear:
473: Em alguns casos, isso pode ser feito com o prprio mtodo dos coeficientes indeterminados, aplicado parte homognea. (O mtodo de Lagrange
produz apenas a soluo trivial.) Tambm se podem tentar outros mtodos,
como a determinao de srie de potncias, que estudaremos na prxima
seo.

Equaes e mtodos especiais

Pr

2.9

Esta seo considera equaes de diversas formas. Em particular, para


algumas equaes lineares homogneas de coeficientes variveis, apresenta

109
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

C.
L.

ao menos uma soluo, cumprindo com uma pendncia da seo anterior.


Ainda, apresentamos outros mtodos de resoluo que tambm podem ser
aplicados a equaes de primeira ordem.

474 CauchyEuler: Sejam a, b, c constantes quaisquer, para as quais consideramos a equao linear homognea
ax2 y 00 + bxy 0 + cy = 0.

ius

Forme o polinmio Q(t) = at2 + (b a)t + c (que no se chama polinmio


caracterstico) e verifique, por substituio, que x soluo dessa equao
se e somente se raiz de Q.

Vi
nic

475: Suponha que (b a)2 = 4ac e a raiz dupla de Q. Determine,


por reduo de ordem, uma segunda soluo da equao e verifique-a por
substituio.
476: Se as razes de Q so complexas i, com , reais, calculamos
x+i = x exp(i ln x) = [x cos( ln x)] + [x sen( ln x)]i,

r
c2

01
4

de modo que x cos( ln |x|) e x sen( ln |x|) devem ser solues reais da
equao.
Verifique essas solues por substituio, mostrando que os mdulos
podem ser includos nos logaritmos, e calcule seu wronskiano para mostrar
que so linearmente independentes.
477 Concluso: Para resolver ax2 y 00 + bxy 0 + cy = 0, calculamos as razes
de Q(t) = at2 + (b a)t + c e obtemos:
soluo geral

reais distintas 1 , 2

C1 x1 + C2 x2

real dupla

C1 x + C2 x ln |x|

eli
mi
na

razes

complexas i

C1 x cos( ln |x|) + C2 x sen( ln |x|)

Pr

478 Exemplo: x2 y 00 6xy 0 + 12y = 0.


Formamos o polinmio 1t2 + (6 1)t + 12 = t2 7t + 12, cujas razes
so 3 e 4. Assim, as funes linearmente independentes x3 e x4 formam
uma base para as solues dessa equao.
H dois casos em que se pode reduzir a ordem de uma equao diferencial
com a forma propcia. Lembre que a forma geral da equao de segunda

110
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

C.
L.

ordem F (x, y, y 0 , y 00 ) = 0, para a qual se procuram solues y(x). com


essas letras que rotulamos os casos abaixo:
479 Ausncia de y: Suponha que y no conste na equao: diz-se que a
varivel dependente est ausente e escreve-se F (x, y 0 , y 00 ) = 0.
Substitua z = y 0 e z 0 = y 00 , obtendo a equao F (x, z, z 0 ) = 0, que de
primeira ordem. A soluo procurada y ser uma primitiva de z.

Vi
nic

ius

480 Ausncia de x: Este o caso de equaes autnomas que correspondem a fenmenos independentes de calendrio. Se a varivel independente (x) estiver ausente, temos F (y, y 0 , y 00 ) = 0 e fazemos z = y 0 e
notamos que
dz
dz dy
dz
y 00 = z 0 =
=

=
z.
dx
dy dx
dy

01
4

dz
Assim, a nova equao F (y, z, z dy
) = 0, onde a varivel independente
agora y, de primeira ordem.
Ateno: No se trata de achar z como funo de x. Pelo mtodo
proposto, aps determinarmos z(y), devemos resolver a equao autnoma
y 0 = z(y), ou seja, separar as variveis assim:

dy
= dx
z(y)

r
c2

e integrar ambos os lados quanto a x. (Enfim, vemos que h duas equaes


de primeira ordem a resolver.)
O motivo de no considerarmos F (y, z, z 0 ) = 0 que essa apenas uma
equao com duas incgnitas, as funes y(x) e z(x).

eli
mi
na

Determinar sries de potncias por substituio na equao dada um


procedimento similar ao mtodo dos coeficientes indeterminados. Eis o
exemplo clssico:

Pr

481 Potncias: y 00 = y, y(0) = 1, y 0 (0) = 0.


Soluo: Escrevemos uma
Psrie de potncias com centro no ponto inicial dado: neste caso, y = n=0 an (x 0)n . Derivamos a srie termo a
termo, formalmente e sem
com convergncia,
Pcompromisso
P como se fosse um

polinmio gigante: y 0 = n=1 nan xn1 e ento y 00 = n=2 n(n1)an xn2 .


Substitumos as sries na equao e reindexamos as sries de modo que todas tenham as potncias na mesma
forma; como nossa equao envolve
P
apenas y 00 e y, re-escrevemos y = n=2 an2 xn2 . (Caso houvessem coeficientes funes na equao envolvendo x, tambm desenvolveramos em
111
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

sries e multiplicaramos dentro das somas.) Temos

n=2

n(n 1)an xn2 =

n=2

an2 xn2

(n(n 1)an + an2 )xn2 = 0.

C.
L.

n=2

y=

(1)k a0 x2k /(2k)! +

(1)k a1 x2k+1 /(2k + 1)! =

k=0

k=0

= a0 cos x + a1 sen x,

Vi
nic

n=0

an xn =

ius

J que a srie obtida nula, anulamos cada coeficiente seu, formalmente


e sem considerar convergncia: n(n 1)an + an2 = 0 para cada n > 2.
Vemos que an = an2 /(n(n 1)), de modo que se n par ento an =
(1)n/2 a0 /n! e se n mpar ento an = (1)(n1)/2 a1 /n!. Assim,

01
4

em que rearranjamos a srie sem preocupao com convergncia. Obtivemos


uma famlia de funes candidatas a soluo da equao dada; verificamos
que o que de fato ocorre, e procedemos normalmente para determinar
solues restantes; tambm podemos estudar o raio de convergncia da
srie obtida na soluo. Quanto ao PVI, substitumos os valores iniciais na
srie obtida e suas derivadas, obtendo1 = a0 00 + a1 0 e 0 = a0 0 + a1 00 ; logo,
a0 = 1 e a1 = 0, com y = cos x.

r
c2

Frequentemente, uma srie de potncias tem um nmero finito de coeficientes no-nulos, ou seja, simplesmente um polinmio. Aqui esto alguns
exemplos relacionados a equaes diferenciais:
482 Legendre: Considere, para cada N lN, a equao
(1 x2 )y 00 2xy 0 + N (N + 1)y = 0 :

eli
mi
na

(a) Prove, por substituio abstrata de uma srie de potncias, que essa
equao possui uma soluo polinomial de grau N . Mostre que esse
polinmio fica determinado com a condio y(1) = 1, chamado polinmio de Legendre.

(b) Determine os polinmios de Legendre de graus 0 at 4 usando o mtodo dos coeficientes indeterminados.
(c) Determine, para cada N de 0 at 4, uma soluo da equao dada
linearmente independente do polinmio de Legendre.

Pr

(d) Mostre, por induo, que o polinmio de Legendre de grau n dado


pela frmula de Rodrigues

dN 
1
N (x2 1)N .
(2N )! dx
112
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

483 Hermite: Mostre que, se N lN, a equao


y 00 2xy 0 + 2N y = 0

C.
L.

(e) Pesquise aplicaes dessa equao e desses polinmios, assim como


diversas propriedades interessantes, na Internet.

484 Laguerre: Mostre que, se N lN, a equao


xy 00 + (1 x)y 0 + N y = 0

ius

possui uma soluo polinomial de grau N , o polinmio de Hermite.

Pr

eli
mi
na

r
c2

01
4

Vi
nic

possui uma soluo polinomial de grau N , o polinmio de Laguerre.

113
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

C.
L.

Vi
nic

ius

Algumas respostas e
indicaes

Apresentamos as respostas para uma parcela representativa dos exerccios. Em geral, abreviamos as demonstraes e as solues finais.

Pr

eli
mi
na

r
c2

01
4

9: Sim. 10: No. 11: Sim. 12: No. 13: Sim. 14: Sim. 23: xy 0 = y.
24: y 2 (1+(y 0 )2 ) = 1. 25: (y 0 )2 x2 = y 2 . 28: 30,8 anos. (Medies precisas
5
do 30,17 0,03 anos.) 29: x = 2.105 x. 30: Separe: dx
dt.
x = 2.10
5
5
Integre: ln x = 2.10 t + C, donde x(t) = K exp(2.10 t) com K > 0.
(Note x > 0.) Determine K com x(0) = 36 e resolva x(t) = 12. 31: Sendo
s(x) = 1 o sinal de x, temos m
x = s(x)GM m/x2 . (Se x > 0 ou
x < 0 ento F < 0 ou F > 0, resp., porque a fora gravitacional atratora.) Simplificando: x
x|x| igual a uma constante estrit. negativa. No
vale no centro porque se assumiu x 6= 0 para escrev-la; a fora atratora
a ser infinita. 32: x
x|x| = GR3 4/3 para x > R ou x < R e
x
= xG4/3 para R 6 x 6 R. (Usamos x|x| em vez de x2 (s(x))1 .)
Ao passar pelo centro ou pela superfcie, a sonda continuar seu movimento
sem perturbao. No centro, a equao permanecer vlida porque a fora
atratora ser contnua e nula. Na superfcie, a lei do movimento (soluo
da equao) mudar porque a equao mudar. 35: A = s0 + t20 /2 V0 t0
e B = V0 t0 ; fatorando-se, s(t) = (t t0 )2 /2 + V0 (t t0 ) + s0 .
39: Trata-se de fixar um ponto pelo qual a curva passa. Sol. para 20:
y = x0 y0 /x. 40: Vinte minutos: Seja x(t) o tamanho da populao em
funo do tempo. O enunciado informa x = x com cte. > 0. Ento
x(t) = ket com cte. k > 0 (porque x > 0). Dados numricos implicam
1 = ke0 e 8 = ke1 ; determine k, e resolva 2 = ket para obter t.
Note tambm: a populao dobra trs vezes em 1 h, ento dobra uma vez
a cada 31 h; no h proporo direta. 42: y = 3 cos x. 43: No existe
funo. 44: y = (2x0 y0 + x20 x2 )/2x. 45: y = sen(x /2) = cos x.
115
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

1/2

definida em todo lR se y0 6 0; em y0

1/2

, y0

C.
L.

46: y = 2 sen x. 47: y = e2x + 2xex . 50: Porque tero a mesma


derivada, dada por f , no ponto comum. 58: A = 4, B = 3, K = 2 ln 3.
59: A = 3, B = 3/2. 73: Caso y0 6= 0, a soluo y = (x2 y01 )1 ;
2 1
se y0 = 0 ento y 0 soluo. Assim,
i temos em geral
h y = y0 (1 y0 x )

(que contm o ponto

Pr

eli
mi
na

r
c2

01
4

Vi
nic

ius

inicial) se y0 > 0. 75: y = y 0 x: substitua y 0 = C. 76: y 0 = 8. 77: y 00 = 0.


78: y 000 = 0. 79: y 0 = 2y/x: multiplique y 0 = 2Cx por x e substitua y.
80: y 0 = 3y. 81: y 00 = 25y. 82: y 0 = x/y. 86: Derive uma vez,
substitua 2exy por x e derive novamente. 91: Para o Teorema da Inversa,
tome f (x) = x2p
: vem f 0 (0) = 0; por menor que seja U , no h bijeo.
2
2
2
97:
p C/x. 100: y =
p Sol.: y = x0 + y0 x . 98: xy = C sen x. 99: y =
2
2 ln |x| x + C. 101: y = ln |e + C|. 102: y = C/(x2 + 1) 1.
103: y = ln |1 C/ex |. 104: y = (Cx 1)/(x + 1). 105: y = tg(ln |x| + C).
1
106:
p y = C exp(x cos x). 107: y = (x + cos x + C) . 108: y =
C 2(x + cos x). 109: y = 8/x. 110: y = 0. 111: y = (7x1)/(x+1).
112: y = x. 113: y = (x ln x x + 2)2 . (Na resoluo aparecem dois valores possveis para a constante de integrao, mas y = (x ln x x)2 no
soluo porque x ln x x negativa em torno de x = 1 e no iguala

y.) 114: y = (x + 1)/ 2 + 2x2 . 121: g(y) = y 1 definida em ], 0[


e ]0, [, onde
p nunca se anula; ento o TEU aplica-se em cada intervalo.
Sol.: y = x22 + y02 x2 . 122: g(y) = y 2 definida em lR; no se anula em
], 0[ e ]0, [, onde se aplica o TEU; sol. regulares y = (x2 x20 y01 )1
no incluem sol. singular y = y0 = 0 e nunca a interceptam (porque nunca
se anulam). Isso prova um TEU geral. (Note: a forma y = y0 /(1 y0 x2 )
inclui todas as solues.) 123: g(y) = y definida em lR; no se anula
em ], 0[ e ]0, [, onde se aplica o TEU; solues regulares y = xy0 /x0
incluem sol. singular y = y0 = 0 e nunca a interceptam quando y0 6= 0
(porque x 6= 0). Isso prova um TEU geral (mas para x < 0 ou x > 0).
124: g(y) = 1 + y 2 definida em lR e nunca se anula; o TEU aplica-se sempre. Sol. y = (y0 + tg(x x0 ))/(1 y0 tg(x x0 )). 125: g(y) = y 2/3
definida em lR; no se anula em ], 0[ e ]0, [, onde se aplica o TEU; sol.
1/3
regulares y = y0 + (x x0 )3 no incluem sol. singular y = y0 = 0, mas
a interceptam em x = x0 , de modo que no h um TEU geral. Note
0
se x 6 1,
ainda: as sol. podem bifurcar, como y = 0 e y = (x1)3 se x > 1, ou
confluir. 126: g(y) = 1 definida em lR e nunca se anula; o TEU apli1
ca-se sempre (mas para x < 0 ou x > 0). Sol. y = y0 + x1
.
0 x
0
129: Se y1 satisfaz y = g(y) e y(0) = y0 , ento y2 (x) = y1 (x x0 ) satisfaz
y 0 = g(y) e y(x0 ) = y0 . 134: 0 instvel; 1 estvel. 135: 2 semiestvel; 0 instvel; 1 estvel. 136: 2 semiestvel. 138: Use o TEU e 129.

116
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

Pr

eli
mi
na

r
c2

01
4

Vi
nic

ius

C.
L.

1
141: x = (x1
. 144: Dica: obtenha (x M )x1 = 1 M x1 e
0 at)
isole esse x. 145: Dica: como exp(M at) > 0, o denominador sempre
> x0 > 0, donde 0 < x < M . 152: Basta estudar o saldo viabilizante
y = xL, donde y = a(M Ly)y. 154: preciso, primeiramente, trazer
a populao a x
b, aguardando seu crescimento sem extrao caso x0 < x
b.
155: Imponha x = 0. 156: r(t) = R0 kt. 162: y = (K cos 2x)/ cos x.
163: y = e3x + Ke2x . 164: y = Kx + x2 . 165: s = (t + K)/ sen t.
166: Basta derivar o quociente; substituindo yi0 = pyi + q anula o numerador. As distncias verticais entre os grficos das solues guardam entre
si uma relao constante, ento as solues aproximam-se ou afastam-se
simultaneamente. 178: y = k/ sen x. 180: y = kx. 181: y = Cx3 .
4
3 1/3
182: y = (C x)/(x + 1). 191: Fator x2 ; sol.:
] .
y = [(x K)/4x 1/2
1/2
192: Fator K|4 2x|
: simplifique compK = 2 e escreva-o |x 2|
.
Integre f /y = q novo. Sol.: y = C/x |x

2|.
193:
Fator
sec
x;
sol.:

. 195: Fator t3 ;
y = C/ tg x. 194: Fator x4 ; sol.: y = x2 Cx3
4/3
sol.: x = 1 2Ct2 . 196: Fator x
; sol.: y = Cx2/3 + 10x1 .
197: Fator (3x + 1)2/3 ; sol.: y = C(3x + 1)1/2 (x + 15)/4. 198: Fator (x + 1)2 ; sol.: y = (x + 1)(ln |x + 1| C) 1. 201: Dada g, tome
f (s) = g(1, s) e use a = x1 ; dada f , tome
g(x, y) = f (y/x). 202: Derive
y = xz e iguale
a
f
(z).
205:
y
=
x
2 ln x + C.

206: Analog. a 204,


y = C 2 Cx para
0
<
x
<
C
e
y
=
C
+
2
Cx se C < x < 0.

211: y = 3x/5 7 tg(x 35 + C)/5 5. 212: Multiplique a equao


por y k e calcule z 0 em separado. 214: y = (C/x2 2x/3)1/2 . 215: y =
[C exp(x(1 )) 2x 2/(1 )]1/(1) . 221: T = (T A). 224: LiRt
near: por variao da constante, T (t) = et T0 + et 0 es A(s) ds.
225: T (t) = A + et (T0 A). 228: A energia trmica do sistema
m1 c1 T1 + m2 c2 T2 constante. 231: Um oitavo. 233: Temos I(x +
h) = I(x) I(x)h. Divida por h e tome h 0: I 0 = I. Soluo:
I(x) = I0 ex . Assumindo I(1) = I0 /2, vem = ln 2 e I(3) = I0 /8.
234: Q(t) = Q0 exp(t/RC) e I(t) = I0 exp(t/RC). 235: Q(t) =
EC(1 exp(t/RC)) e I(t) = E exp(t/RC)/R. 236: Q(t) = EC
(EC Q0 ) exp(t/RC) e I(t) = (EC Q0 ) exp(t/RC)/RC. 239: I(t) =
E(1 exp(Rt/L))/R. 240: Ifinal = E/R. 260: O PVI de segunda
ordem especifica os valores da soluo e de sua derivada em um ponto.
Se duas solues tm o mesmo valor em um ponto, devero ter derivadas distintas a. 268: LD: 1(0) + 0(5x) + 0(2x3 ) = 0. 269: LD:
3(2 sen(x2 1)) + 2(3 sen(x2 1)) = 0. 270: LI. 271: LD: x =
5
4
9 (x + 5) + 9 (x 4). 272: LI. 273: LI. 274: LI. 275: LI. 276: LI.
277: LI. 290: Suponha LD: uma das funes escreve-se como combinao
linear das demais. Ento tambm uma coluna da matriz combinao linear

117
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

Pr

eli
mi
na

r
c2

01
4

Vi
nic

ius

C.
L.

das demais e o determinante anula-se. 307: Digamos base {z1 , . . . , zn }: escreva cada yj em termo das zk , ento uma comb. linear das yj tambm das
zk . 321: Para a primeira, ( + i) + ( i) = b/a; para a segunda, use
a primeira e a( i)2 + b( i) + c = 0. 328: y = C1 e2x + C2 e3x .
329: y = C1 e2x + C2 xe2x . 330: y = C1 e3x + C2 e3x . 331: y =
C1 cos 3x + C2 sen 3x. 332: y = C1 e2x cos x + C2 e2x sen x. 333: y = C1 ex +
x
C2 e2x . 334: y = C
+ C2 xex . 335: y = C1 ex cos 2x + c2 ex sen 2x.
1e
x
336: y = C1 e cos 3x + C2 ex sen 3x. 337: y = C1 + C2 ex + C3 ex .
338: y = C1 + C2 e2x + C3 e3x . 339: Note P (1) = 0 e fatore. Sol.:
y = C1 ex + C2 ex + C3
e2x . 340: Note 1raiz simples: fatore. Sol.
x
x/2
y = C1 e + C2 e cos( 3x/2) +
C ex/2 sen(
3x/2). 341:
y = C1 ex +
3

x
2 x
3x
3x
3x
3x
C2 xe + C3 x e
. 342: y =
C1 e
+ C2 xe + C3 e
.
+ C4 xe
343: y = C1 cos 3x + C2 sen 3x + C3 x cos 3x + C4 x sen 3x. 344: y =
C1 + C2 x + C3 x2 + C4 x3 . 345: y = C1 + C2 x + C3 e 2x + C4 e 2x .
346: y = C1 + C2 cos x P
+ C3 sen x + C4 x cos x + C5 x sen x. 347: Mostre
n1
P (t) = (t+1)n . Sol. y = j=0 Cj+1 xj ex . 349: y = 3e2x 2e4x . 350: y =
5e2x 10xe2x . 351: y = 3 cos 2x. 352: y = 0. 353: y = e2x cos x.
354: y = ex1 + 5xex1 4x2 ex1 . 361: y = D1 ex + D2 e2x + e5x /42.
362: y = D1 e2x +D2 e3x (7 sen x+cos x)/50. 363: y = D1 e2x +D2 e3x +
xe2x . (A sol. particular pode conter e2x /5; absorva-o em D1 .) 364: y =
D1 e2x + D2 e3x + 2. 365: y = D1 ex + D2 xex + 2ex . 366: y = D1 ex +
D2 xex 3 cos x. 367: y = D1 e2x + D2 xe2x + (2x2 + 4x + 3)/8. 368: y =
D1 ex +D2 ex +(x2 x)ex /4. 369: y = D1 ex +D2 e2x 52 (3 sen 2x+cos 2x).
370: y = D1 cos 3x + D2 sen 3x + 15 cos 2x. 371: y = D1 cos x + D2 sen x +
x sen x x2 cos x. (A sol. particular
pode conter
cos x/2; absorva-o em D1 .)

372: y = D1 e2x + D2 ex cos 3x + D3 ex sen 3x + xe2x /12. 373: y =


D1 ex + D2 e2x + 7 sen x + 21 cos x + 5e5x /3. 374: y = D1 e2x + D2 e3x +
20xe2x 14 sen x 2 cos x 50. (A sol. particular pode conter 4e2x ; ab31 2x
97 2x
sorva-o em D1 .) 375: y = 128
e + 128
e
+ e2x (x3 /12 x2 /16 + x/32).
1
2
376: y = ( /24 /3 + 8/27) + (7/18 + 1/270)e3x3/2 10
(cos x +
2
3 sen x) x /6 x/9. 393: Faa (t + T ) + = (t + ) + 2. 400: Dois casos: b2 = 4ac (amortecimento crtico) tem sol. x = (C1 + C2 t) exp(bt/2a),
que s troca sinal em t > 0 seC1 /C2 > 0, e b2 >
4ac (superamortecimento) tem sol. x = [C1 exp(t /2a) + C2 exp(t /2a)] exp(bt/2a),
que s troca sinal em t > 0 se C2 /C1 > 1. 412: Dica: Translade x para
que a origem seja onde o bloco permanece em equilbrio, isto , a mola
esticada apenas pelo peso do bloco. 446: A raiz 3 constante, donde
(e3x )(k) = 3k e3x , ento e3x fatora-se totalmente na equao. Sol.: ex .
455: y = C1 ex + C2 (x2 + 2x + 2). 456: y = C1 (x 1) + C2 ex . (Use
x0 = 1; para integrar xex /(x1)2 , faa ex /(x1)+ex /(x1)2 e integre

118
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014

Pr

eli
mi
na

r
c2

01
4

Vi
nic

ius

C.
L.

o 2o termo por partes, cancelando o 1o .) 461: Confira 471. Para encontrar


y2 = x1 , a reduo de ordem requer: para integrar (x2 2)/(x2 + x), escreva-a 1 (2/x) + 1/(x + 1); exponencie a primitivaR obtendo ex (x + 1)x2 ;
na eq. 1a ordem, integre ex (x2 + x1 ) fazendo ex x1 dx por partes
que j indica toda a primitiva. 462: y = C1 x2 + C2 x2 + 2x3 . 463: y =
C1 x2 + C2 x1 + x. 464: y = C1 x + C2 x ln x + (ln x)2 /2. 475: x ln |x|.
482: 1, x, 3x2 /2 1/2, 5x3 /2 3/2, 35x4 /8 15x2 /4 + 3/8.

119
c
B. EDO 2014
Vinicius Cif Lopes. Verso preliminar: UFABC, 1o quad. 2014