Equa C Oes Diferenciais Ordin Arias. Uma Introdu C Ao

Captulo 11
Equaco
es Diferenciais Ordin
arias. Uma Introdu
c
ao
Conte
udo
11.1 Definic
ao e Alguns Exemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 480
11.1.1 Equacoes Diferenciais Ordinarias Lineares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 483
11.1.2 Equacoes Ordinarias de Segunda Ordem. Exemplos de Interesse . . . . . . . . . . . . . . . . . 486
11.2 Sistemas de Equa coes Diferenciais Ordin arias . . . . . . . . . . . . . . . . . . . . . . . . . . 488
11.3 Discussao sobre Problemas de Valor Inicial . . . . . . . . . . . . . . . . . . . . . . . . . . . 493
11.3.1 Problemas de Valor Inicial. Patologias e Exemplos a se Ter em Mente . . . . . . . . . . . . . . 494
11.3.2 Teoremas de Existencia e Unicidade de Soluc oes . . . . . . . . . . . . . . . . . . . . . . . . . . 497
11.3.3 Soluc
oes Globais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 499
11.3.4 Dependencia Contnua de Condic oes Iniciais e de Par ametros . . . . . . . . . . . . . . . . . . 501
N este captulo apresentaremos uma breve introducao à teoria das equacoes diferenciais ordinarias, abordando
varios assuntos que serao aprofundados em outros captulos. Na Fsica, equacoes diferenciais sao representacoes
matematicas diretas ou indiretas de leis naturais e n
ao e de surpreender, portanto, o papel central que as mesmas
nela desempenham. Pode-se, sem medo de exagero, afirmar que o desenvolvimento da Fsica moderna p
Newtoniana so se tornou possvel quando se compreendeu a import
as equacoes diferenciais tornaram-se n

ancia de se expressar as leis b
asicas da natureza em
termos de equacoes diferenciais e quando se desenvolveram metodos de resolucao das mesmas. Desde o seculo XVIII
ao apenas um dos principais instrumentos teoricos de trabalho dos fsicos, mas a
os-
linguagem mesma pela qual as leis da Fsica se expressam.

Um exemplo b asico e a segunda lei de Newton da Mecanica Classica, que popularmente consiste na afirmacao que
para uma partcula de massa m (movendo-se em, digamos, uma dimensao, do ponto de vista de um referencial inercial)
o produto de sua massa por sua aceleracao e igual à forca que age sobre ela. Se y(t) e a posicao da partcula (em um
sistema de referencia inercial) e a forca F que age sobre ela em um instante de tempo t depender apenas do tempo t, da
posicao y(t) no instante t e da velocidade y(t)
no mesmo instante t, ent ao a segunda lei de Newton assume a forma da
equacao diferencial ordinaria de segunda ordem

my (t) = F t, y(t), y(t)
.
A Fsica apresenta outros exemplos de leis que se expressam em termos de equacoes diferenciais (parciais), tais como as
leis do Eletromagnetismo (equacoes de Maxwell), da Mecanica dos Fluidos (equacoes de Euler e de Navier-Stokes), da
Mec anica Quantica (equacoes de Schrodinger, de Klein-Gordon e de Dirac), da Teoria da Relatividade Geral (equacao
de Einstein) etc.
Atualmente, o estudo das equacoes diferenciais e suas aplicacoes estende-se a outras sub-areas da Fsica, tais como a
qumica, a biologia, a economia, financas etc. , Para excelentes introducoes, legveis, profundas e abrangentes, à teoria
das equacoes diferenciais ordin
arias, recomendamos [11] e [111].
11.1 Definic
ao e Alguns Exemplos
Vamos iniciar nossa discuss
ao tentando, de um modo geral e abstrato, definir o que se entende por uma equacao diferencial
ordin
aria (que, seguindo a praxe, abreviaremos freq
uentemente por EDO).
Defini
c
ao geral de EDOs
Em termos simples, uma equacao diferencial ordinaria e uma relacao a ser satisfeita em um determinado domnio por
uma funcao de uma variavel e um conjunto finito de suas derivadas. Vamos tentar formalizar essa ideia.
480
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 11 481/2103
Seja n 1 um n umero natural e seja G(x1 , . . . , xn+2 ) uma funcao (real ou complexa) de n + 2 variaveis (reais ou
complexas). Entende-se por uma equac ao diferencial ordin aria de ordem n de uma funcao (incognita) y de uma variavel
t associada à funcao G a equacao
G t, y(t), y (t), . . . , y (n) (t) = 0 . (11.1)
Assim sendo, o n umero n e dito ser a ordem da equac ao. Como dissemos, apenas as derivadas de uma funcao inc ognita em
relacao a uma das variaveis da qual eventualmente depende ocorrem em uma equac ao diferencial ordin aria. Se ocorrerem
derivadas em relacao a varias variaves, a equacao e dita ser uma equac
ao diferencial parcial. Equacoes diferenciais parciais
serao discutidas em outros captulos, adiante.
Um exemplo (escolhido arbitrariamente, sem aplicacao pratica conhecida) seria o caso da funcao de tres variaveis
G(x1 , x2 , x3 ) = x21 + sen (x2 ) 3x1 cos(x3 ) . (11.2)
A equacao diferencial ordin

aria de primeira ordem associada a essa funcao seria

t2 + sen y(t) 3t cos y (t) = 0 . (11.3)
evidente que so faz sentido associar uma equacao diferencial a uma funcao G de n + 2 variaveis, como acima,
E
se a mesma possuir zeros, ou seja, se a equacao algebrica G(x1 , . . . , xn+2 ) = 0 possuir solucoes (reais ou complexas,
dependendo do interesse). Por exemplo, se G(x1 , x2 , x3 ) e uma funcao de tres variaveis reais ou complexas da forma
G(x1 , x2 , x3 ) = |x1 |2 + |x2 |2 + |x3 |2 + 1 ent
ao n
ao h
a nenhuma equacao diferencial associada à mesma, ja que n
ao h
a
2
2 2
n
umeros reais ou complexos tais que G(x1 , x2 , x3 ) = 0 e, portanto, a equacao |t| + y(t) + y (t) + 1 = 0, ainda que

possa ser escrita, trivialmente n ao possui qualquer solucao.
Em muitos casos a equacao algebrica G(x1 , . . . , xn+2 ) = 0 permite escrever de modo u
nico (ao menos em uma regiao
finita) a variavel xn+2 em termos das demais:

xn+2 = F x1 , . . . , xn+1 , (11.4)
onde F e alguma funcao de n + 1 variaveis. Condicoes para isso sao garantidas pelo importante Teorema da Func ao
Implcita (vide Secao 26.5, pagina 1275, ou qualquer bom livro-texto sobre funcoes de varias variaveis). Nesses casos
felizes, a equacao diferencial para G equivale (ao menos localmente) à equacao

y (n) (t) = F t, y(t), . . . , y (n1) (t) . (11.5)
Nos casos em que G e tal que n

ao permite a separacao global da dependencia de xn+2 como em (11.4) a equacao diferencial
e dita ser uma equac
ao diferencial implcita. Equacoes implcitas sao por vezes difceis de lidar. Trataremos da solucao
de algumas delas no Captulo 12, p agina 503. Um exemplo de uma equacao implcita foi apresentado em (11.2)-(11.3).
Outro exemplo e a equacao diferencial (associada à conservacao de energia mecanica de uma partcula de massa m se
movendo em uma dimensao sob a acao de um potencial U ):
m 2
y(t)
+ U y(t) = E ,
2
onde E e uma constante.
Daqui por diante estaremos mais freq uentemente interessados em equacoes diferenciais de ordem n da forma (11.5)
para alguma funcao de n + 1 variaveis F . Para ilustrar equacoes do tipo (11.5), apresentemos mais alguns exemplos.
Exemplo 11.1 Sejam m, e k constantes positivas e f uma funcao de uma variavel. Seja G a funcao de quatro variaveis
G(x1 , x2 , x3 , x4 ) = mx4 + kx2 + x3 f (x1 ) .

evidente que para a equacao algebrica G(x1 , x2 , x3 , x4 ) = 0 podemos escrever
E
x4 = F (x1 , x2 , x3 ) ,
onde
1
F (x1 , x2 , x3 ) = kx2 + x3 f (x1 ) .
m
atica Vers

A equacao diferencial (de segunda ordem) associada a essa funcao F e y(t) = F t, y(t) y(t)
, ou seja
m
y(t) + y(t)
+ ky(t) = f (t) .
O estudante pode imediatamente reconhecer que se trata da equacao do oscilador harmonico amortecido submetido a
uma forca dependente do tempo f (t).
Vamos a outros exemplos escritos diretamente em termos da funcao F .
Exemplo 11.2 Sejam g e l duas constantes positivas e seja F a funcao

g
F (x1 , x2 , x3 ) = sen (x2 ) .
l
A equacao diferencial (de segunda ordem) associada a essa funcao F e
g
y(t) = sen (y(t)) .
l
O estudante pode imediatamente reconhecer que se trata da equacao do pendulo simples.
Exemplo 11.3 (Equacao de van der Pol) Sejam e k constantes e

F (x1 , x2 , x3 ) = x3 x22 1 kx2 .
A equacao diferencial (de segunda ordem) associada a essa funcao F e

y (t) + y (t) y(t)2 1 + ky(t) = 0 .
ao de van der Pol1 , em honra ao engenheiro que a prop

Esta equacao e conhecida como equac os como a equacao b
asica
para o triodo (uma especie de avo do transistor).
Exemplo 11.4 Sejam e constantes e
F (x1 , x2 ) = x2 + x22 .
A equacao diferencial (de primeira ordem) associada a essa funcao F e
y (t) = y(t) + y(t)2 .
Essa equacao aparece em varios problemas, por exemplo no estudo da evolucao de populacoes.
V
arios outros exemplos serao apresentados adiante.
A no
c
ao de solu
c
ao cl
assica de uma EDO
Algumas palavras devem ser ditas sobre a nocao de solucao de uma equacao diferencial ordinaria. Uma soluc ao
cl
assica de uma equacao diferencial ordin aria de ordem m em um domnio R ou C (suposto conexo e de interior
n
ao-vazio) e uma funcao m-vezes diferenci avel que satisfaz a equacao em todos os pontos do interior de . Existem
tambem outras nocoes de solucao, como a de solucao fraca, de solucao distribucional etc. Discutiremos por ora apenas
as solucoes classicas e, por isso, abusando um pouco da linguagem, nos referiremos a elas simplesmente como solucoes,
sem pender o qualificativo cl assicas.
1 Balthazar van der Pol (18891959). Os trabalhos originais de van der Pol sobre a equa ca
o que leva seu nome sao: B. van der Pol, Radio
Rev. 1, 704754, (1920) e B. van der Pol, Forced oscillations in a circuit with non-linear resistance (reception with reactive triode), Phil.
Mag. 3, 6580, (1927).
atica Vers
11.1.1 Equac
oes Diferenciais Ordin
arias Lineares
No estudo das equacoes diferenciais e muito u til classificar equacoes que possuam certas propriedades comuns. Uma
classificacao muito importante e aquela que separa as equacoes diferenciais em lineares e n
ao-lineares e as primeiras em
homogeneas e n ao-homogeneas.
Equa
co
es diferenciais ordin
arias lineares
Seja a equacao diferencial ordin
aria de ordem n

y (n) (t) = F t, y(t), . . . , y (n1) (t) . (11.6)
Se a funcao F (x1 , . . . xn+1 ) for uma funcao linear das variaveis x2 , . . . xn+1 , ent
ao (11.6) e dita ser linear. Em um tal
caso, F (x1 , . . . xn+1 ) e da forma
F (x1 , . . . xn+1 ) = f1 (x1 ) + f2 (x1 )x2 + + fn+1 (x1 )xn+1 ,
para certas funcoes de uma variavel f1 , . . . , fn+1 .

facil constatar que toda equacao diferencial ordinaria e linear de ordem n e da forma
E
y (n) (t) + an1 (t)y (n1) (t) + + a1 (t)y (t) + a0 (t)y(t) = f (t) , (11.7)
para funcoes reais ou complexas a0 , . . . , an1 e f . Veremos in

umeros exemplos adiante (vide Secao 11.1.2).
Equacoes que n
ao sao lineares sao (obviamente) ditas ser n
ao-lineares. Exemplos sao a equacao do pendulo simples

x
(t) + sen x(t) = 0
e a de van der Pol

y(t) + y(t)
y(t)2 1 + ky(t) = 0 .
Equacoes n
ao-lineares sao em muitos sentidos mais complexas que equacoes lineares e tem sido objeto de intenso
estudo nas ultimas decadas, especialmente no que concerne ao comportamento ca otico observado em muitas delas. Nos
captulos que seguem, nossa enfase sera o desenvolvimento de metodos de resolucao de equacoes lineares, mas trataremos
de metodos de resolucao de algumas equacoes n
ao-lineares no Captulo 12, p
agina 503, e tambem no Captulo 26 quando
desenvolvermos metodos recursivos no tratamento das equacoes integrais de Fredholm e de Volterra.
Equa
co
arias lineares a coeficientes constantes
Caso as funcoes a0 , . . . , an1 em (11.7) sejam constantes, a equacao (11.7) e dita ser a equac ao a coeficientes
constantes. Como discutiremos, h a um metodo geral para obter solucoes de equacoes diferenciais ordinarias lineares a
coeficientes constantes (para qualquer ordem n).
Equa
co
es lineares homog
eneas e n
ao-homog
eneas
Caso a funcao f seja identicamente nula, a equacao (11.7) e dita ser uma equac
ao diferencial homogenea. De outra
forma, se f n
ao for identicamente nula, equacao (11.7) e dita ser uma equac
ao diferencial n
ao-homogenea.
Equacoes lineares e homogeneas tem uma propriedade de grande import
ancia, o chamado princpio de sobreposic
ao,
do qual trataremos agora.
O princpio de sobreposi
c
ao para equa
co
es lineares homog
eneas
Seja uma equacao diferencial ordin
aria linear e homogenea de ordem n
y (n) (t) + an1 (t)y (n1) (t) + + a1 (t)y (t) + a0 (t)y(t) = 0 . (11.8)
O chamado princpio de sobreposicao e a afirmativa que se ya e yb sao duas solucoes de (11.8) ent
ao combinacoes lineares
arbitrarias ya + yb sao tambem solucoes de (11.8). Aqui e sao numeros reais ou complexos arbitrarios. A prova e
atica Vers
(k) (k)
simples. A k-esima derivada de ya + yb e ya + yb . Assim, substituindo-se y por ya + yb no lado esquerdo de
(11.8), teremos
(ya + yb )(n) + an1 (t)(ya + yb )(n1) + + a1 (t)(ya + yb ) + a0 (t)(ya + yb ) =
(n) (n1)
(ya(n) + yb ) + an1 (t)(ya(n1) + yb ) + + a1 (t)(ya + yb ) + a0 (t)(ya + yb ) =

ya(n) + an1 (t)ya(n1) + + a1 (t)ya + a0 (t)ya

| {z }
=0

(n) (n1)
+ yb + an1 (t)yb + + a1 (t)yb + a0 (t)yb = 0 .
| {z }
=0
Uma conclusao importante que se extrai do princpio de sobreposicao e que o conjunto de todas as solucoes de uma
aria linear e homogenea e um espaco vetorial, real ou complexo, dependendo do caso.
equacao diferencial ordin
Como o estudante facilmente percebe, o princpio de sobreposicao vale tambem para sistemas de equacoes diferenciais
ordinarias lineares e homogeneas, assim como para equacoes diferenciais parciais lineares e homogeneas, tais como as
equacoes de difusao, de onda, de Laplace, as equacoes de Maxwell no vacuo, a equacao de Schrodinger e muitas outras
equacoes da Fsica. Nelas o princpio de sobreposicao e amplamente empregado.
Historicamente, o princpio de sobreposicao era conhecido desde os primeiros estudos sobre equacoes diferenciais no
seculo XVIII, mas foi atraves dos trabalhos de Helmholtz2 sobre ac ustica que sua import ancia foi inteiramente percebida
na resolucao de equacoes diferenciais (ordinarias e parciais) lineares de interesse fsico. A influencia de Helmholtz n ao
pode ser subestimada, mesmo no que concerne a aplicacoes praticas: a leitura de Helmholtz, que tambem inventara
um dispositivo eletromec anico para a producao artificial do som de vogais, inspirou Bell3 a realizar experiencias de
transmissao simultanea de m odigo Morse4 em uma u
ultiplos sinais de c nica linha telegrafica, empregando freq uencias
distintas para cada mensagem. Tais experiencias conduziram Bell em 1876 à invencao do telefone.
O caso de equa
co
es lineares n
ao-homog
eneas
Vamos colocar a seguinte questao. Vale o princpio de sobreposicao para equacoes diferenciais ordinarias lineares
n
ao-homogeneas? Para tentar responder isso, considere-se a equacao n
ao-homogenea
y (n) (t) + an1 (t)y (n1) (t) + + a1 (t)y (t) + a0 (t)y(t) = f (t) (11.9)
e sejam ya e yb duas solucoes. Como acima, consideremos uma combinacao linear ya + yb e tentemos repetir o que
fizemos no caso homogeneo. Assim, substituindo-se y por ya + yb no lado esquerdo de (11.9), teremos
(ya + yb )(n) + an1 (t)(ya + yb )(n1) + + a1 (t)(ya + yb ) + a0 (t)(ya + yb ) =
(n) (n1)
(ya(n) + yb ) + an1 (t)(ya(n1) + yb ) + + a1 (t)(ya + yb ) + a0 (t)(ya + yb ) =

ya(n) + an1 (t)ya(n1) + + a1 (t)ya + a0 (t)ya

| {z }
= f (t)

(n) (n1)
+ + a1 (t)yb + a0 (t)yb = ( + )f (t) .

+ yb + an1 (t)yb
| {z }
= f (t)
2 Hermann Ludwig Ferdinand von Helmholtz (18211894).
3 Alexander Graham Bell (18471922).
4 Samuel Finley Breese Morse (17911872).
atica Vers
O que conclumos e que ya + yb somente e uma nova solucao de (11.9) se + = 1. Portanto, se ya e yb sao solucoes
de (11.9) ent
ao ya + (1 )yb e tambem solucao de (11.9) para qualquer .
Vimos que o princpio de sobreposicao para equacoes n
ao-homogeneas n
ao se d
a para e arbitrarios. N
ao se pode
mais, portanto, dizer que o conjunto de solucoes de uma equacao n
ao-homogenea como (11.9) e um espaco vetorial, mas
sim um espaco convexo.
H a ainda uma outra propriedade importante satisfeita pelas solucoes de equacoes n ao-homogeneas. Seja ynh uma
solucao particular da equacao n
ao-homogenea (11.9) e yh solucao particular da equacao homogenea (11.8), a qual difere
de (11.9) apenas pelo fato de ter-se f (t) = 0. Entao, tem-se que
y = yh + ynh (11.10)
e tambem solucao da equacao n

ao-homogenea (11.9) para qualquer constante . Para ver isso, inserimos y = yh + ynh
no lado esquerdo de (11.9) e teremos
(n) (n1)
yh + ynh + an1 (t) yh + ynh + + a1 (t) yh + ynh + a0 (t) yh + ynh =

(n) (n) (n1) (n1)
yh + ynh + an1 (t) yh + ynh + + a1 (t) yh + ynh

+ a0 (t) yh + ynh =

(n) (n1)
yh + an1 (t)yh + + a1 (t)yh + a0 (t)yh
| {z }
=0

(n) (n1)
+ ynh + an1 (t)ynh + + a1 (t)ynh + a0 (t)ynh = f (t) .
| {z }
= f (t)
O que aprendemos com isso e que se tivermos uma solucao particular de uma equacao linear n ao-homogenea obtemos
uma outra solucao mais geral adicionando a esta uma solucao da equacao linear homogenea associada. Essa propriedade
e muito u
til na solucao de equacoes n
ao-homogeneas, especialmente se forem tambem envolvidas condicoes iniciais ou de
contorno.
Equa
co
arias com retardo
Apenas por curiosidade informamos que n ao apenas equacoes diferenciais do tipo (11.1) ou (11.5) sao objeto de
interesse e de pesquisa. Um outro tipo sao as chamadas equac oes com retardo, as quais existem em diversas formas. Uma
dessas formas e a seguinte. Sejam T0 , . . . , Tn1 constantes positivas. Uma equacao com retardo (fixo) e uma equacao da
forma
y (n) (t) = F t, y(t T0 ), . . . , y (n1) (t Tn1 ) . (11.11)
A diferenca com relacao a (11.5) e que aqui y (n) no instante t n

ao depende de y, . . . , y n1 no mesmo instante t, mas
em instantes anteriores.
Um exemplo interessante e o seguinte. Suponha que y(t) designe a populacao de uma especie de seres vivos vivendo
em um certo habitat. O n umero de falecimentos por causas naturais (como doencas) no intervalo t e t + dt e tipicamente
proporcional a y(t) (justifique!). Assim, se a especie nao se reproduz, a variacao dy da populacao no intervalo t e t + dt
sera dy = y(t)dt para uma certa constante , ou seja, y satisfara a equacao diferencial y (t) = y(t), que e uma
equacao de primeira ordem sem retardo. Agora, admitamos que a especie se reproduz. O n umero de cruzamentos entre
elementos da especie no intervalo t e t + dt e tipicamente proporcional a y(t)2 (justifique!). Se admitirmos que o n umero
de nascimentos no intervalo entre t e t + dt e proporcional ao de cruzamentos ocorridos em t T0 (descontando assim o
tempo de gestacao T0 ) a equacao diferencial para y ter
a que ser modificada para
2
y (t) = y(t) + y(t T0 ) ,
com uma nova constante . Esta e uma equacao de primeira ordem com retardo.
atica Vers
Ha varios outros tipos de equacoes com retardo, por exemplo, aquelas onde os tempos de retardo Ti n
ao sao fixos,
mas dependem de t ou mesmo de y, como por exemplo, a equacao de primeira ordem

y(t)
= F t, y t T t, y(t) ,

onde T t, y e uma funcao dada. Tais equacoes aparecem no Eletromagnetismo, onde o retardo e devido à finitude da
velocidade da luz.
O estudo de equacoes com retardo requer outros metodos que nao aqueles que discutiremos aqui e e assunto ativo
de pesquisa atualmente, encontrando aplicacoes mesmo fora da Fsica, em areas tais como a Epidemiologia - como o
exemplo acima ilustra - onde os retardos sao tipicamente consequencia quer de tempos de gestacao quer de tempos de
latencia (de doencas).
11.1.2 Equac
oes Ordin
arias de Segunda Ordem. Exemplos de Interesse
Para futura referencia vamos aqui listar uma serie de equacoes diferenciais lineares de segunda ordem de particular
interesse.
1. A Equac
ao linear de segunda ordem e homogenea (forma geral):
a(t)
y + b(t)y + c(t)y = 0 ,
com a(t) n
ao-identicamente nula.
2. Equac
ao linear de segunda ordem n
ao-homogenea (forma geral):
a(t)
y (t) + b(t)y(t)
+ c(t)y(t) = f (t) ,
com a(t) e f (t) n

ao-identicamente nulas.
3. Equac
ao do oscilador harm
onico forcado amortecido:
m
x(t) + x(t)
+ kx(t) = f (t) ,
com m > 0, > 0 e k > 0.

4. Equac
ao do oscilador anarm
onico amortecido:
3
m
x(t) + x(t)
+ kx(t) + x(t) = 0 ,
com m > 0, > 0 e k > 0.

ao de Duffing5 :
5. Equac
3
m
x(t) + x(t)
+ kx(t) + x(t) = cos(t + ) ,
com m > 0, > 0 e k > 0.
ao de Langevin6
6. Equac
m
x(t) + x(t)
= f (t) ,
com m > 0 e > 0.
ao de Euler7 :
7. A Equac
t2 y(t) + at y(t)
+ by(t) = 0 ,
onde a e b sao constantes.
5 Georg Duffing (18611944). A refer encia onde a equaca
o de Duffing foi originalmente apresentada e estudada
e [60]. A equaca
o de Duffing
adquiririu alguma popularidade nos anos 70 do s eculo XX com a emerg encia do estudo de sistemas que exibem comportamento ca otico. Para
uma referencia geral sobre essa equaca
o, vide [145].
6 Paul Langevin (18721946). A equa ca
o de Langevin surgiu como equaca o estoc
astica em P. Langevin, On the Theory of Brownian
Motion. C. R. Acad. Sci. (Paris) 146, 530533 (1908).
7 Leonhard Euler (17071783).
atica Vers
ao de Hill8 :
8. A Equac
y(t) + + P (t) y(t) = 0 ,
onde P (t) e uma funcao periodica e constante. Um caso particular importante e o da equacao de Mathieu:
ao de Mathieu9 :
9. A Equac
y(t) + a + b cos(t) y(t) = 0 ,
com a, b e constantes.
ao de Bessel10 :
10. A Equac
x2 y (x) + xy (x) + x2 2 y(x) = 0 ,
R.
ao de Legendre11 :
11. A Equac
(1 x2 )y (x) 2xy (x) + ( + 1)y(x) = 0 ,
R, e a equac
ao de Legendre associada
2
(1 x2 )y (x) 2xy (x) + ( + 1)y(x) y(x) = 0 ,
1 x2
, R.
ao de Hermite12 :
12. A Equac
y (x) 2xy (x) + y(x) = 0 ,
R.
ao de Airy13 :
13. A Equac
y (x) xy(x) = 0 .
ao de Laguerre14 :
14. A Equac
xy (x) + (1 x)y (x) + y(x) = 0 ,
R, e a Equac
ao de Laguerre associada:
xy + (m + 1 x)y + (n m)y = 0 ,
m, n constantes.
ao de Tchebychev15 :
15. A Equac
(1 x2 )y (x) xy (x) + 2 y(x) = 0 ,
R.
ao Hipergeometrica16 , ou Equac
16. A Equac ao de Gauss17 :

z(1 z)y (z) + c (1 + a + b)z y (z) aby(z) = 0 ,
a, b, c constantes.
8 George William Hill (18381914).
9 Emile-L
eonard Mathieu (18351890).
10 Friedrich Wilhelm Bessel (17841846).
11 Adrien-Marie Legendre (17521833).
12 Charles Hermite (18221901).
13 George Biddell Airy (18011892).
14 Edmond Nicolas Laguerre (18341886).
15 Pafnuty Lvovich Tchebychev (18211894).
16 Assim denominada pois uma de suas solu ca
o envolve uma generalizaca
o da s
erie geom
etrica.
17 Johann Carl Friedrich Gau (17771855).
atica Vers
17. A Equac ao de Kummer18 :

ao Hipergeometrica Confluente, ou Equac
zy (z) + [c z]y (z) ay(z) = 0 ,
a, c constantes.
ao de Heun19 :
18. A Equac

z(z 1)(z a)y (z) + (z 1)(z a) + z(z a) + z(z 1) y (z) + z q y(z) = 0 ,
onde , , , q e a sao constantes.
O leitor interessado poder

a encontrar no Captulo 20, p
agina 872, problemas fsicos dos quais emergem algumas das
equacoes listadas acima.
11.2 Sistemas de Equaco

es Diferenciais Ordin
arias
Um sistema de equacoes diferenciais ordin
arias envolvendo m funcoes desconhecidas y1 , . . . , ym de uma variavel e um
conjunto de equacoes do tipo

(n1 ) (n 1) (n 1)
y1 (t) =
F1 t; y1 , y1 , . . . , y1 1 ; . . . ; ym , ym , . . . , ym m ,

(n2 ) (n 1) (n 1)
y2 (t) = F2 t; y1 , y1 , . . . , y1 1 ; . . . ; ym , ym

, . . . , ym m ,
(11.12)
..
.

(n ) (n 1) (n 1)
ym m (t) =
Fm t; y1 , y1 , . . . , y1 1 ; . . . ; ym , ym , . . . , ym m ,
onde cada Fi e uma funcao de um certo n

umero de variaveis e nk sao n
umeros inteiros maiores ou iguais a 1. Para cada
yj tem-se, portanto, uma equacao de ordem nj , na qual comparecem tambem as demais funcoes yk e suas derivadas de
ordem ate nk 1.
Sistemas de equacoes diferenciais ordin arias sao muito frequentes em Fsica. Considere-se, por exemplo, um sistema
isolado de m partculas de massas Mi e coordenadas x~i , i = 1, . . . , m, interagindo de forma que a partcula j exerce
sobre a partcula i uma forca F~ij x~i x~j . A segunda lei de Newton fica
X
Mi x~i (t) = F~ij x~i (t) x~j (t) ,
j6=i
i = 1, . . . , m, que e um sistema de equacoes diferenciais ordinarias.
O sistema de Lotka-Volterra
Um outro exemplo de sistema de equacoes diferenciais e o chamado sistema de caca-presa de Lotka20 e Volterra21 ,
empregado no estudo de evolucao de populacoes22 . Esse sistema e da forma
p1 (t) = 1 p1 (t) + 1 p1 (t)p2 (t)

, (11.13)
p2 (t) = +2 p2 (t) 2 p1 (t)p2 (t)
18 Ernst Eduard Kummer (18101893).
19 Karl Heun (18591929).
20 Alfred James Lotka (18801949).
21 Vito Volterra (18601940).
22 O modelo foi proposto em 1920 por Lotka para o estudo de certas rea co
es qumicas e em 1926 por Volterra, em uma tentativa de modelar
a evoluca
o de populaco
es de peixes e tubar
oes do mar Adri atico. Para uma refer encia hist
orica, vide V. Volterra Lecons sur la Th
eorie
Math ematique de la Lutte pour la Vie. Gauthier-Villars et Cie., Paris, 1931. Os trabalhos originais de Volterra nesse campo s ao: V.
Volterra. Variazioni e fluttuazioni del numero dindividui in specie animali conviventi. Mem. R. Accad. Naz. dei Lincei 2, 31113 (1926).
V. Volterra. Fluctuations in the abundance of a species considered mathematically. Nature 118, 558560 (1926).
atica Vers
onde i e i , i = 1, 2 sao constantes positivas. O sistema de Lotka-Volterra descreve a evolucao de duas populacoes de
acordo com um modelo de interacao entre caca (a populacao p1 ) e presa (a populacao p2 ).
A ideia do modelo e a seguinte: p1 representa uma populacao que se alimenta da populacao p2 . Esta, alimenta-se
de recursos do habitat. Tenha-se em mente, por exemplo, a situacao onde p1 representa uma populacao de raposas que
se alimentam de coelhos, representados por p2 . Estes, sendo herbvoros, alimentam-se de plantas de seu habitat. Se as
duas populacoes est
ao isoladas, p1 tende a desaparecer (por falta de alimento) exponencialmente com uma taxa 1 . Ja
p2 cresce exponencialmente com uma taxa 2 , por n ao ter inimigos naturais. Assim, quando as duas populacoes est
ao
isoladas, suas evolucoes sao descritas pelo sistema
p 1 (t) = 1 p1 (t)
. (11.14)
p 2 (t) = +2 p2 (t)
Postas em contacto, as populacoes comecam a interagir, e de modo que p1 tem uma chance de sobrevivencia por se
alimentar de p2 , que ganha agora um predador. As chances de sobrevivencia de p1 sao proporcionais ao n umero de
encontros entre elementos de p1 e de p2 no habitat, pois em um encontro um elemento de p1 pode eventualmente matar
um elemento de p2 e, assim, alimentar-se. Esse numero de encontros e grosseiramente proporcional ao produto das duas
populacoes p1 p2 (por que?). Assim, a taxa de sobrevivencia de p1 deve ser acrescida de um termo como 1 p1 (t)p2 (t),
enquanto que a taxa de sobrevivencia de p2 deve ser subtrada de um termo como 2 p1 (t)p2 (t). Esses termos levam ao
sistema de Lotka-Volterra acima. O resultado da evolucao de um tal sistema e ilustrado na Figura 11.1.
Figura 11.1: A evolucao do sistema de Lotka-Volterra para tres condicoes iniciais distintas. O eixo horizontal e a
populacao p1 e o vertical p2 . Note que a evolucao se d
a em ciclos periodicos fechados, uma caracterstica especial do
sistema de Lotka-Volterra.
Tambem estudado em modelos de ecologia e o modelo de competic

ao de Lotka-Volterra, descrito pelo sistema
p 1 (t) = 1 p1 (t) 1 p1 (t)2 1 p1 (t)p2 (t)

. (11.15)
p 2 (t) = 2 p2 (t) 2 p2 (t)2 2 p1 (t)p2 (t)
Acima i e i sao positivos, mas i podem ser positivos ou negativos. Na primeira equacao, o termo +1 p1 (t) descreve
o crescimento (ou decrescimento) da populacao p1 por consumir recursos de seu habitat (supostamente ilimitados), se
reproduzir e morrer. O termo 1 p1 (t)2 descreve, por exemplo, a taxa de propagacao de doencas fatais entre elementos
atica Vers
da populacao p1 , que e proporcional ao n

umero de encontros de elementos da especie p1 com elementos da especie p1 .
Esse numero e grosseiramente proporcional a p21 (por que?). O termo 1 p1 (t)p2 (t) descreve a competicao entre as duas
especies cujas populacoes sao p1 e p2 .
Tambem muito estudados23 sao os modelos do tipo Lotka-Volterra com n especies, caracterizados pelo sistema de
equacoes
n
X
pj (t) = j pj (t) + jk pj (t) pk (t) , j = 1, . . . , n .
k=1
Mais generalidades sobre o modelo de Lotka-Volterra e sobre outras aplicacoes de equacoes diferenciais em modelos
ecologicos e epidemiol
ogicos podem ser encontradas, por exemplo, em [35] e [5]. Para outra referencia sobre o modelo de
Lotka-Volterra e assuntos correlatos, vide [115].
Comparados à realidade dos sistemas biologicos os modelos apresentados acima sao bastante simplificados, deixando
de lado varios efeitos possivelmente relevantes, tais como reproducao sexuada (machos so se reproduzem com femeas, n ao
com outros machos, femeas idem), imunidade ou n ao a doencas por parte das populacoes, tempos de gestacao, ausencia
de reproducao durante a gestacao, tempos de latencia de doencas, limitacao dos recursos do habitat, surgimento aleat
orio
de mutacoes e varios outros fatores. H
a toda uma area de pesquisa voltada à modelagem realista de sistemas biologicos
e eco-sistemas. Alguns modelos estudados chegam a ser extremamente complexos, envolvendo dezenas de equacoes e de
inc
ognitas. Para referencias atualizadas sobre modelagem de sistemas biologicos, vide , [35], [115] ou [135].
Sistemas de primeira ordem

O sistema de equacoes diferenciais ordin
arias mais b
asico e o de primeira ordem:
y1 (t) = F1 (t, y1 , . . . , ym ) ,
y2 (t) = F2 (t, y1 , . . . , ym ) ,
(11.16)
..
.
ym (t) = Fm (t, y1 , . . . , ym ) ,
conveniente simplificarmos um pouco a expressao (11.16). Introduzindo

onde cada Fi e uma funcao de m + 1 variaveis. E
os vetores de m componentes
y1

. m
Y = .
. R

ym
e as funcoes F : Rm+1 Rm

F1 (t, y1 , . . . , ym ) F1 (t, Y )

.. ..
F (t, Y ) =
.
=
.

Fm (t, y1 , . . . , ym ) Fm (t, Y )
a expressao (11.16) fica

Y (t) = F t, Y (t) . (11.17)
Como veremos logo adiante, todo sistema de equacoes diferenciais ordinarias pode ser escrito como um sistema de
equacoes diferenciais ordin
arias de primeira ordem, escrito quer na forma (11.16), quer na forma (11.17), para algum m
e para alguma funcao F : Rm+1 Rm .
23 Para um trabalho recente, vide P. Duarte R. L. Fernandez e W. M. Oliva Dynamics on the attractor of the Lotka-Volterra equations.
J. Diff. Equations 149, 143189 (1998) e refer

encias l
a citadas.
atica Vers
Sistemas lineares de primeira ordem

Muito importantes sao os sistemas de m equacoes diferenciais ordinarias lineares de primeira ordem, os quais tem a
forma
y 1 (t) = a11 (t)y1 (t) + + a1m (t)ym (t) + b1 (t) ,
y 2 (t) = a21 (t)y1 (t) + + a2m (t)ym (t) + b2 (t) ,

(11.18)
..
.
y m (t) = am1 (t)y1 (t) + + amm (t)ym (t) + bm (t) ,
para certas funcoes aij e bj de t.

No casos em que as funcoes bj acima sao identicamente nulas o sistema e dito ser homogeneo. Caso contrario, e dito
ser n
ao-homogeneo.
Representa
c
ao matricial de sistemas lineares
Como veremos, e muito conveniente escrever o sistema linear (11.18) acima em notac
ao matricial. De fato, definindo,

y1 (t) a11 (t) a1m (t) b1 (t)

. . .. .. .
Y (t) = .. , A(t) := . .. ,
. . . , B(t) =

ym (t) am1 (t) amm (t) bm (t)
podemos escrever o sistema (11.18) como

Y (t) = A(t)Y (t) + B(t) ,
como facilmente se ve. Sistemas lineares de primeira ordem serao estudados em detalhe no Captulo 13 onde, em
particular, faremos uso abundante da notacao matricial acima.
Equival
encia entre equa
co
es de ordem n e sistemas de EDOs
Provaremos agora um fato simples, mas de grande relevancia, tanto teorica quanto em aplicacoes (analticas ou
numericas), a saber, que toda equacao diferencial ordinaria de ordem n e equivalente a um sistema de n equacoes de
primeira ordem.
Seja a equacao diferencial ordin
aria de ordem n

y (n) (t) = F t, y(t), . . . , y (n1) (t) . (11.19)
Definindo yk (t) := y (k1) (t), para todo k = 1, . . . , n, teremos y1 (t) = y(t) e
y 1 (t) = y2 (t) ,
y 2 (t) = y3 (t) ,
..
. (11.20)
y n1 (t) = yn (t) ,

y n (t) = F t, y1 (t), . . . , yn (t) .
E. 11.1 Exerccio. Verifique! 6

atica Vers
Este e um sistema como (11.16), onde, aqui,
F1 (t, y1 , . . . , yn ) = y2 ,
F2 (t, y1 , . . . , yn ) = y3 ,
..
.
Fn1 (t, y1 , . . . , yn ) = yn ,

Fn (t, y1 , . . . , yn ) = F t, y1 (t), . . . , yn (t) .
Isso mostra que toda equacao diferencial ordin

aria de ordem n, como (11.19), equivale a um sistema de n equacoes de
primeira ordem, como (11.20).
E. 11.2 Exerccio importante. Seja a equacao diferencial ordinaria linear de ordem n
y (n) (t) + an1 (t)y (n1) (t) + + a1 (t)y (t) + a0 (t)y(t) = f (t) .
Determine o sistema linear de n equacoes de primeira ordem equivalente e mostre que o mesmo pode ser escrito na forma
matricial
Y (t) = A(t)Y (t) + B(t) ,
onde
y(t) 0

y (t) 0

.. ..
Y (t) :=
. ,
B(t) :=
.

y (n2) (t) 0

y (n1) (t) f (t)
e A(t) e a matriz n n

0 1 0 0 0

0 0 1 0 0

.. .. .. .. .. ..

. . . . . .

A(t) :=

.

..

0 0 0 . 1 0

0 0 0 0 1

a0 (t) a1 (t) a2 (t) an2 (t) an1 (t)
atica Vers
Equacao matriciais como a de acima serao estudadas com mais detalhe no Captulo 13. 6
E. 11.3 Exerccio. Mostre que todo sistema de equacoes diferenciais ordinarias como (11.12) equivale a um sistema de
(n )
ao: use a mesma ideia de acima, dando nomes às derivadas yi j que aparecem no lado
equacoes de primeira ordem. Sugest
direito de (11.12). 6
11.3 Discuss
ao sobre Problemas de Valor Inicial
Problemas de valor inicial

Como e bem sabido, a solucao da equacao diferencial y(t)
= y(t) e dada por y(t) = cet , onde c e uma constante, a
qual pode ser fixada, por exemplo, prescrevendo-se o valor da funcao y em t = 0: y(0). H a outros exemplos simples em
que a necessidade de fixacao de certos valores para a funcao y pode ser vista de modo explcito. Considere-se a equacao
do oscilador harmonico simples x + 02 x = 0. A solucao geral dessa equacao e x(t) = A cos(0 t) + B sen (0 t), onde A
e B sao duas constantes arbitrarias. Para determina-las e preciso fornecer duas informacoes extras sobre a funcao, por
exemplo, sua posicao e sua velocidade em um instante de tempo. Se x0 e v0 forem a posicao e velocidade no instante
t = 0, ent
ao e facil constatar que A = x0 e B = v0 /0 . Outro par de informacoes e tambem eventualmente possvel.
Por exemplo, podemos fornecer posicao e velocidade em outro instante de tempo que n ao t = 0, ou em dois instantes
de tempo distintos, um para a posicao, outro para a velocidade. Em muitos casos e possvel fixar a solucao desejada
informando apenas a posicao em dois instantes de tempo distintos ou as velocidades em dois instantes de tempo distintos.
De modo geral, para a determinacao completa da solucao de uma equacao diferencial ordinaria de ordem n e preciso
fornecer n informacoes sobre o valor da funcao e/ou suas derivadas em certos instantes24 .
O tipo de situacao mais comum para a determinacao completa da solucao de uma equacao diferencial ordinaria de
ordem n, especialmente em problemas da Mec anica, e aquele na qual sao fornecidas informacoes sobre a funcao e suas
n 1 primeiras derivadas em um u nico instante de tempo, digamos t = 0. Tais problemas sao conhecidos como problemas
de valor inicial, ou problemas de Cauchy25 . O exemplo do oscilador harmonico acima e um tpico problema de valor
+ 02 x = 0 e satisfaz x(0) = x0 e v(0) = v0 , para certos
inicial: qual e a funcao que satisfaz a equacao diferencial x
numeros x0 e v0 dados? Resposta: x(t) = x0 cos(0 t) + (v0 /0 ) sen (0 t).
Assim, o problema de valor inicial associado `
a equacao de ordem n

y (n) (t) = F t, y(t), . . . , y (n1) (t) .
consiste em determinar a solucao dessa equacao que satisfaca
y(0) = y1 , y(0)
= y2 , y(0) = y3 , . . . , y (n1) (0) = yn ,
para certos n
umeros dados y1 , . . . , yn , os quais sao denominados condic
oes iniciais ou dados iniciais.
Apos definirmos o que se entende por problema de valor inicial, uma serie de quest oes se coloca. 1. Todo problema
de valor inicial tem solucao? 2. Se tiver, e unica? 3. H a condicoes suficientes para garantir que uma solucao exista? 4.
E para que seja u nica? 5. E se existir solucao, sera ela valida para todo t? 6. H a condicoes suficientes para garantir
que uma solucao exista para todo t? 7. H a condicoes suficientes para garantir continuidade da solucao em relacao às
condicoes iniciais? 8. H a condicoes suficientes para garantir continuidade da solucao em relacao aos par ametros que
ocorrem na equacao?
Por varias razoes as questoes acima sao muito importantes. Naturalmente, a melhor maneira de mostrar que um
problema de valor inicial tem solucao e exibindo a solucao. Isso, porem, nem sempre e factvel, pois muitas equacoes
sao difceis, ou mesmo impossveis, de se resolver de modo explcito. Por exemplo, a equacao do pendulo simples
+ gl sen () = 0 tem solucao para quaisquer condicoes iniciais, mas essa solucao n
ao pode ser apresentada de forma
fechada em termos de funcoes elementares conhecidas, apenas em termos de expansoes ou das chamadas funcoes elpticas.
24 Uma exceca
o not
avel
e a equaca
o de Clairaut, discutida na Seca
o 12.8, p
agina 515, que possui uma soluca
o, dita soluca
o singular, n
ao
dependente de nenhum par ametro livre.
25 Augustin Louis Cauchy (17891857).
atica Vers
Vide, por exemplo, [149]. (Para um tratamento da equacao do pendulo em termos de equacoes integrais, vide Secao 26.3,
p
agina 1260, destas Notas). Da a import
ancia da quest ao 3: e muitas vezes necessario saber a priori se uma solucao
existe antes de tentar encontr
a-la.
Saber a priori se um problema de valor inicial tem solucao e se essa solucao e u
nica pode ser importante para justificar
metodos de solucao. Muitas vezes, ao encontrarmos a solucao de um problema de valor inicial perguntamo-nos se a solucao
encontrada e unica. Por exemplo, pode-se facilmente constatar que as funcoes x(t) = x0 cos(0 t) + (v0 /0 ) sen (0 t) sao
solucoes da equacao do oscilador harm onico simples x + 02 x = 0 com as condicoes iniciais x(0) = x0 e v(0) = v0 . O
que, porem, garante que n ao ha outras funcoes que tambem sejam solucao dessa equacao para essas condicoes iniciais?
Nisso reside a import ancia da quest ao 4: em se sabendo a priori que a solucao e u nica (esse e o caso para a equacao do
oscilador harmonico simples) n ao e necessario procurar outras solucoes.
Equacoes diferenciais de interesse em Fsica tipicamente dependem de certos par ametros. Por exemplo, a equacao
do oscilador harmonico simples, acima, depende do par ametro 0 , a equacao do pendulo simples depende de g/l. Saber
se uma solucao depende continuamente de condicoes iniciais ou de par ametros e importante em aplicacoes, por exemplo
em Fsica, pois em problemas reais tais dados sao freq uentemente fornecidos com imprecis oes e e, portanto, importante
poder garantir que erros pequenos no conhecimento dessas grandezas tem efeitos igualmente pequenos nas solucoes (ao
menos para tempos n ao muito afastados do instante inicial).
Comecemos por dizer que a resposta ` as questoes 1 e 2 e negativa. Veremos exemplos logo adiante. Uma resposta
`s quest
a oes 3 e 4 sera apresentada na forma de dois teoremas importantes, o de Peano (Teorema 11.1, p agina 498), que
fornece condicoes suficientes para garantir existencia de solucoes, e o de Picard-Lindelof (Teorema 11.2, pagina 498. Vide
tambem sua generalizacao para espacos de Banach, Teorema 26.4, p agina 1268), que fornece condicoes suficientes para
garantir existencia e unicidade de solucoes. Mostraremos em exemplos que a resposta à quest ao 5 e tambem negativa.
Uma resposta parcial ` a quest
ao 6 (que e chamado de problema da existencia de solucoes globais) sera discutida na Secao
11.3.3, pagina 499, e as demonstracoes dos resultados la apresentados encontram-se na Secao 26.4.2, p agina 1271. As
questoes 7 e 8 sao discutidas `
a p
agina 501 e, com mais detalhe, na Secao 26.4.3, p agina 1272. Vide Teorema 26.7, p agina
1272, sua demonstracao e os coment arios que se lhe seguem. Referencias para varias dessas quest oes sao [3], [73], [46],
[25] e [107].
Problemas bem-postos
Um coment ario sobre nomenclatura. Na literatura sobre a teoria das equacoes diferenciais (ordin arias ou parciais),
um problema no qual se possa garantir existencia, unicidade e continuidade de solucoes em relacao a condicoes iniciais e
de contorno em alguma topologia (estabilidade) e dito ser um problema bem-posto26 .
Outros problemas que n

ao de valor inicial
Como ja mencionamos acima, h a outros problemas que n ao o de valor inicial. Pode-se querer fixar a funcao em
dois pontos, por exemplo. Problemas desse tipo sao muito comuns em equacoes ordinarias obtidas pelo metodo de
separacao de variaveis em problemas de equacoes diferenciais parciais com certas condicoes de contorno. Trataremos
abundantemente desse tipo de problema quando discutirmos o Problema de Sturm-Liouville no Captulo 17, p agina 798.
Outros problemas envolvem outros tipos de exigencia sobre a solucao. Por exemplo, que ela seja finita em certos
pontos, ou de quadrado integravel. Esse u
ltimo caso e comummente encontrado na Mecanica Quantica.
11.3.1 Problemas de Valor Inicial. Patologias e Exemplos a se Ter em

Mente
Nesta secao listaremos alguns exemplos instrutivos de problemas de valor inicial que exibem comportamento patologico,
como inexistencia ou n ao-unicidade de solucao ou inexistencia de solucao global, ou seja, inexistencia de solucao valida
em toda a reta real. E instrutivo ter alguns desses exemplos em mente. Na Secao 11.3.2, p agina 497, e na Secao 11.3.3,
p
agina 499, apresentaremos condicoes suficientes para evitar essas patologias.
Inexist
encia de solu
c
ao
26 A noca
o de prolema bem-posto foi introduzida por Jacques Salomon Hadamard (18651963) ao listar propriedades que modelos ma-
tematicos de sistemas fsicos devem idealmente possuir. Jaques Hadamard: Sur les probl`
emes aux d
eriv
ees partielles et leur signification
physique. Princeton University Bulletin, 4952 (1902).
atica Vers
Exemplo 11.5 (Inexistencia de solucao) Considere-se o problema de valor inicial no qual procura-se a solucao da equacao
1
y(t)
=
t
que satisfaca a condicao inicial y(0) = 0. Esse problema n
ao possui nenhuma solucao.
E. 11.4 Exerccio. Mostre isso. 6
1
y(t)
=
y(t)

ao possui nenhuma solucao que seja real para t > 0.
p
y(t)
= 1 y(t)2

ao possui nenhuma solucao real.
Exemplo 11.8 (Inexistencia de solucao) (De [111]) Considere-se o problema de valor inicial no qual procura-se a solucao
da equacao
y(t)
= H y(t) ,
onde

1, y < 0
H(y) := ,

1, y 0
com a condicao inicial y(0) = 0. Esse problema n ao possui nenhuma solucao. Para entender por que, observe que se
ao, pela equacao diferencial, y (0) = 1, o que implica y(t) e decrescente para t proximo de 0, tornando-se
y(0) = 0 ent
negativa para t positivo proximo de 0. Mas para y negativo y(t) vale 1 e y e crescente, uma contradicao.
E. 11.7 Exerccio. Certo? 6
N
ao-unicidade de solu
co
es
Exemplo 11.9 (Nao-unicidade de solucoes) Considere-se o problema de valor inicial no qual procura-se a solucao da
equacao
2/3
y(t)
= 3 y(t)
ao tem solucao u
nica. Por exemplo, as funcoes
y1 (t) 0 e y2 (t) = t3
ambas satisfazem a equacao diferencial e y1 (0) = y2 (0) = 0.

atica Vers
E. 11.8 Exerccio. Verifique! 6
O Exemplo 11.9, acima, foi encontrado por Peano em 1890. H

a varias outras solucoes, como vemos na seguinte
generalizacao.
Exemplo 11.10 (Nao-unicidade de solucoes) Seja 0 < < 1. Considere-se o problema de valor inicial no qual procura-se
a solucao da equacao
1
y(t)
= y(t)
1
que satisfaca a condicao inicial y(0) = 0. Esse problema n ao tem solucao u
nica: a funcao y(t) 0, t R, assim como,
para todos c1 0, c2 0, as funcoes

1

(c1 t) 1 , t c1 ,

yc1 , c2 (t) = 0, c1 < t < c2 , (11.21)

1
(t c2 ) 1 , t c2 ,

1

(c1 t) 1 , t c1 , 0, t < c2 ,
yc1 (t) = yc2 (t) = (11.22)

1
0, t > c1 , (t c2 ) 1 , t c2 ,
satisfazem a equacao diferencial e anulam-se em t = 0.
E. 11.9 Exerccio. Verifique! Desenhe graficos de varias funcoes yc1 , c2 (t), yc1 (t) e yc2 (t) para varios valores de c1
0, c2 0. 6
Inexist
encia de solu
co
es globais
Exemplo 11.11 (Solucao que so existe em um intervalo finito) A equacao diferencial e aquela apresentada no Exemplo
11.8, acima, com condicao inicial y(0) = y0 > 0. Para < t < y0 a solucao e y(t) = y0 t mas para t y0 surge a
contradicao discutida no Exemplo 11.8 e a equacao diferencial n
ao mais possui solucao.
Exemplo 11.12 (Solucao que diverge em tempo finito) Considere-se o problema de valor inicial no qual procura-se a
solucao real da equacao
y(t)
= y(t)2 ,
t R, que satisfaca a condicao inicial y(0) = y0 R, y0 > 0. A solucao e
1
y(t) = 1 , (11.23)
y0 t
a qual diverge para t = 1/y0 .
Exemplo 11.13 (Solucao que diverge em tempo finito) Considere-se a equacao diferencial
y(t)
= 1 + y(t)2 ,
t R. Sua solucao e y(t) = tan(t + k), onde k e fixada por uma condicao inicial. Se, por exemplo, tomarmos y(0) = y0 ,
ao k = arctan(y0 ). Essa solucao, porem, existe apenas no intervalo aberto (k 2 , k + 2 ), pois tan(t + k) diverge
ent
nos extremos.
atica Vers
Exemplo 11.14 (Solucao que diverge em tempo finito) Os exemplos de acima podem ser generalizados de uma forma
importante. Considere-se a equacao diferencial

y(t)
= F t, y(t) ,
para t e y reais, onde a funcao F satisfaz a desigualdade F (a, b) b2 para todos a, b R (uma situacao como essa
2
ocorre na equacao diferencial y(t)
= y(t) f t, y(t) caso f seja uma funcao n ao-negativa). Vale, portanto, a
2 2
inequacao diferencial y(t)
y(t) , e como y(t) 0 (pois y e uma funcao real), podemos escrever y(t)
2 1,
y(t)

d 1
o que implica, como facilmente se ve, dt y(t) 1. Integrando-se ambos os lados entre 0 e t, obtemos
1 1
t+ . (11.24)
y(t) y(0)
Agora vejamos, se a condicao inicial y(0) for tal que y(0) < 0 ent ao 1/y(t) comecara negativa mas, de acordo com
1
(11.24), passara a ser positiva o mais tardar no instante t0 = y(0) > 0. Conseq uentemente, devido à continuidade
de y(t), podemos afirmar que existe um instante t (0, t0 ] tal que 1/y(t ) = 0. Provamos, portanto, que sob as
circunst
ancias de acima, a solucao y(t) existe apenas no intervalo [0, t ), divergindo em t .
Precisamente a situacao acima descrita ocorre em um problema de suma import ancia na Teoria da Relatividade
Geral, a saber, na demonstracao de um celebre teorema, devido a Hawking27 , Penrose28 e outros, da existencia de
singularidades espaco-temporais em modelos que satisfacam uma condicao denominada condic ao forte de exergia. A
demonstracao daquele teorema utiliza uma equacao diferencial, denominada equacao de Raychaudhuri29 , a qual tem
2
a forma y(t)
+ y(t) + f t, y(t) = 0 com f n ao-negativa. A divergencia da solucao y, em um tempo finito esta
naquele caso relacionada à impossibidade de prolongar curvas geodesicas tipo-tempo alem de um instante passado, fato
diretamente interpretado como a presenca do chamado big bang em certos modelos cosmol ogicos.
Exemplo 11.15 (Solucao que diverge em tempo finito) Considere-se uma partcula de massa m que se move em uma
dimensao sob a acao de um potencial repulsivo U (x) = k4 x4 , com k > 0, com condicao inicial x(0) = 0, x(0)
= v0 > 0.
Sua equacao de movimento (a segunda lei de Newton) e
(t) k x(t)3 = 0 ,
x
onde k = k/m. Qual o tempo que essa partcula leva para, partindo de x(0) = 0, chegar ao infinito? A resposta e
Z
dx
T0 = q ,
0 2 k 4
m E + 4 x
mv02
onde E = 2 > 0 e a energia mecanica da partcula.
E. 11.10 Exerccio. Justifique a expressao dada acima para T0 . 6
Para E > 0 a integral acima e finita (justifique!). Logo, a partcula leva um tempo finito para chegar ao infinito, ou
seja, x(t) diverge em tempo finito. Isso mostra que a solucao da equacao diferencial x(t) k x(t)3 = 0, com k > 0 e
v0 > 0, existe apenas em um intervalo finito de valores de t.
(t) k x(t)d = 0, para todo d > 1,

E. 11.11 Exerccio. Mostre que o mesmo se passa com as equacoes diferenciais x

desde que k > 0. O que acontece se k < 0? O que acontece se k > 0 mas d 1? 6
11.3.2 Teoremas de Exist

encia e Unicidade de Soluc
oes
Os varios exemplos dados acima n
ao devem causar uma impressao negativa sobre problemas de valor inicial pois, em
verdade, os mesmos refletem patologias nem sempre encontradas na pr atica (entenda-se, na Fsica). No caso da
27 StephenWilliam Hawking (1942).
28 Sir
Roger Penrose (1931).
29 Amal Kumar Raychaudhuri (19232005).
atica Vers
Mecanica, por exemplo, assim como em outras areas da Fsica, pode-se garantir existencia e unicidade de solucao
da maioria dos problemas de valor inicial. Os exemplos de acima advertem-nos, porem, da necessidade de alguns
teoremas gerais que fornecam pelo menos condicoes suficientes para garantir existencia e/ou unicidade de problemas de
valor inicial. Na teoria das equacoes diferenciais ordinarias os mais importantes desses teoremas sao os de Peano30 e de
Picard31 -Lindelof32 , os quais enunciaremos agora.
Teorema 11.1 Teorema de Peano (Exist
encia de Solu
co
es). Seja a equac
ao diferencial ordin
aria real de primeira
ordem
y(t)
= F t, y(t) (11.25)
(F : R2 R sendo n
ao-identicamente nula) com a condic
ao inicial
y(t0 ) = y0 , (11.26)
sendo y0 R. Seja F : R2 R contnua no ret

angulo fechado
n o
R = (t, y) : |t t0 | a, |y y0 | b , (11.27)
com a, b > 0, sendo, portanto, limitada em R. Seja
M := max |F (t, y)| . (11.28)

(t, y)R
Entao, o problema de valor inicial descrito pelas relac

oes (11.25) e (11.26) apresenta pelo menos uma soluc
ao. Alem
disso, essa soluc
ao existe pelo menos no intervalo fechado [t0 , t0 + ], onde

b
:= min a, . (11.29)
M
2
Em essencia, o que esse teorema afirma e que se pode garantir a existencia de solucoes do problema de valor inicial
descrito pelas relacoes (11.25) e (11.26) se pelo menos a funcao F for contnua em um retangulo centrado na condicao
inicial.
A prova do Teorema de Peano e baseada no importante Teorema de Ascoli discutido na Secao 32.3.4, p
agina 1473 (vide
Teoremas 32.18 e 32.19, p aginas 1476 e 1477, respectivamente). A demonstracao do Teorema de Peano e apresentada na
Secao 32.3.4.3, p
agina 1478, onde fazemos mais alguns coment arios sobre o mesmo.
O estudante pode (deve) verificar que os Exemplos 11.5 a 11.7, p
agina 495, n
ao satisfazem as condicoes do Teorema
de Peano, da n
ao haver solucao naqueles casos.
O teorema de Peano garante condicoes suficientes para existencia, mas n
ao para unicidade de solucao. O estudante
tambem pode (deve) verificar que os Exemplos 11.9 e 11.10, p agina 495 acima, satisfazem as condicoes do teorema de
Peano, mas para eles n preciso requerer mais da funcao F para ter-se unicidade da solucao. Isso e
ao vale a unicidade. E
obtido com o proximo teorema.
Teorema 11.2 Teorema de Picard-Lindel
of (Exist
encia e Unicidade de Solu
co
es). Seja a equac
ao diferencial
ordin
aria real de primeira ordem
y(t)
= F t, y(t) (11.30)
(F : R2 R sendo n
ao-identicamente nula) com a condic
ao inicial
y(t0 ) = y0 , (11.31)
com y0 R. Seja F : R2 R contnua no ret

angulo fechado
n o
R = (t, y) : |t t0 | a, |y y0 | b , (11.32)
30 Giuseppe Peano (18581932). O Teorema de Peano data de 1886.
31 Charles
Emile Picard (18561941).
32 Ernst Leonard Lindel
of (18701946). Seus trabalhos sobre exist
encia e unicidade de soluco
es de equaco
arias datam
de 1890.
atica Vers
com a, b > 0, sendo, portanto, limitada em R. Seja

M := max F (t, y) . (11.33)
(t, y)R
Suponha ainda que F seja Lipschitz contnua em R com relac ao ao seu segundo argumento, ou seja, existe uma constante
k (denominada constante de Lipschitz) tal que para todos (t, y), (t, v) R valha

F (t, y) F (t, v) k |y v| . (11.34)
Entao, o problema de valor inicial descrito pelas relac

oes (11.30) e (11.31) apresenta uma u
nica soluc
ao. Alem disso,
essa soluc
ao existe pelo menos no intervalo fechado [t0 , t0 + ], onde

b
:= min a, . (11.35)
M
Uma condic
ao suficiente para que a condic
ao de Lipschitz acima se cumpra
e que y f (t, y) exista e seja limitada em
todo R, em cujo caso a constante de Lipschitz seria dada por k := sup y f (t, y). 2
(t, y)R
A prova do Teorema de Picard-Lindelof sera apresentada com bastante generalidade no Captulo 26, p agina 1251.
Vide Teorema 26.4, pagina 1268.
importante notar que a condicao de F ser Lipschitz33 contnua em R com relacao ao seu segundo argumento pode
E
ser obtida de uma condicao mais forte, a saber, que a derivada parcial y F (t, y) de F em relacao ao segundo argumento
seja contnua em R. De fato, da relacao
Z v
F (t, v) F (t, u) = y F (t, y) dy ,
u

segue facilmente que F (t, v) F (t, u) k|v u|, onde k := max |y F (t, y)|, que e uma constante finita se y F (t, y)
(t, y)R
for contnua em R. Assim, em essencia, o que o Teorema de Picard-Lindelof afirma e que se pode garantir a existencia e
a unicidade de solucoes do problema de valor inicial descrito pelas relacoes (11.30) e (11.31) se pelo menos a funcao F e
sua derivada parcial y F (t, y) forem contnuas em um ret angulo centrado na condicao inicial.
Como coment ario final, afirmamos que os teoremas de Peano e Picard-Lindelof podem ser facilmente estendidos para
sistemas de equacoes diferenciais de primeira ordem (em verdade, o Teorema 26.4, p agina 1268, ja e enunciado com
essa generalidade, o mesmo se dando com o Teorema de Peano, Teorema 32.21, p agina 1480). Como toda equacao
diferencial de ordem n e equivalente a um tal sistema, essas generalizacoes garantem condicoes suficientes para existencia
ou unicidade de solucao de equacoes diferenciais ordinarias de qualquer ordem.
No caso de equacoes diferenciais parciais n
ao existem teoremas t ao fortes relativos à existencia e unicidade de pro-
blemas de valor inicial como h a no caso de equacoes diferenciais ordinarias. Um dos resultados mais importantes nessa
direcao, porem, e o Teorema de Cauchy-Kovalevskaya34. Seu enunciado e sua demonstracao podem ser encontrados, por
exemplo, em [51, 52].
11.3.3 Soluc
oes Globais
Vimos nos Exemplos 11.11 a 11.15 (pagina 496) que h a equacoes diferencias cujas solucoes, ainda que existam e sejam
eventualmente u nicas, n
ao sao globais, ou seja, nao podem ser definidas em toda reta real. A quest ao que naturalmente
se coloca e a de encontrar condicoes suficientes para garantir a existencia de solucoes globais. Essa e uma vasta quest ao e
nos limitaremos aqui a apresentar o resultado mais simples, o Teorema 11.3, abaixo. Igualmente importante e a quest ao
de se demonstrar que uma determinada equacao diferencial n ao possui solucoes globais (se tal puder ser o caso). Um
dos principais resultados da Teoria da Relatividade Geral e da Cosmologia, a existencia do chamado big bang em uma
classe bastante grande de modelos para o universo, foi tratado como um problema de n ao-existencia de solucoes globais
de determinadas equacoes diferenciais. Vide [100].
33 Rudolf Otto Sigismund Lipschitz (18321903).
34 Sofia Vasilyevna Kovalevskaya (18501891).
atica Vers
O seguinte teorema, cuja demonstracao e apresentada com mais generalidade na Secao 26.4.2, p
agina 1271, apresenta
condicoes suficientes para a existencia de solucoes globais.
Teorema 11.3 (Exist encia e unicidade de solu coes globais) Seja F : R2 R contnua em todo R2 . Suponhamos
tambem que para todo a > 0, a func
ao F seja Lipschitz contnua em relac
ao ao seu segundo argumento na faixa
n o
Fa, t0 = (t, y) R2 : |t t0 | a , y R arbitr
ario ,
ou seja, para cada a > 0 existe uma constante ka (eventualmente dependente de a e denominada constante de Lipschitz)
tal que para todos (t, y), (t, v) Fa, t0 vale F (t, y) F (t, v) ka |y v|. Ent
ao, para qualquer x0 R, o problema
de valor inicial x(t)
= F (t, x(t)) com x(t0 ) = x0 apresenta uma soluc ao u
nica v
alida para todo t R.
Uma condic
ao suficiente para que a condic ao de Lipschitz acima se cumpra e que y F (t, y) exista em todo R2 e seja li-
mitada em cada faixa Fa, t0 , em cujo caso as constantes de Lipschitz podem ser escolhidas como ka := sup |y F (t, y)|.
(t, y)Fa, t0
2
E. 11.12 Exerccio. Mostre que a equacao diferencial nao-linear x = cos(x) satisfaz as condicoes do Teorema 11.3 e, por-
tanto, possui solucoes globais. Mostre explicitamente, por integracao, que as solucoes sao dadas por x(t) = arctan ( senh (t + c)),
onde c e uma constante a ser fixada pela condicao inicial. Por meio dessa expressao explcita constata-se claramente que as
solucoes existem para todo t R. 6
E. 11.13 Exerccio(de [45]). Mostre que a equacao diferencial nao-linear
x3 et
x = + t2 cos(x)
1 + x2
satisfaz as condicoes do Teorema 11.3. Sugestao: mostre que para esse caso

F (y 4 + 3y 2 ) t F
(t, y) = e t2 sen (y) e, portanto, em cada faixa Fa, t0 , (t, y) 3ea + a2 ,
y (1 + y 2 ) y
e podemos adotar ka = 3ea + a2 para cada a > 0. 6
E. 11.14 Exerccio. A equacao diferencial nao-linear x = x2 nao satisfaz as condicoes do Teorema 11.3, pois a condicao
de Lipschitz requerida nao e satisfeita em nenhuma faixa Fa, t0 . Mostre isso. Com efeito, vimos no Exemplo 11.12, da pagina
496, que essa equacao nao possui solucoes globais. Vide tambem os comentarios da pagina 501 sobre esse problema. 6
E. 11.15 Exerccio. Faca o mesmo para o Exemplo 11.13, pagina 496. 6
Coment
arios sobre solu
co
es globais. O Exemplo 11.9
Analisemos agora o Exemplo 11.9, p agina 495 sob a luz dos Teoremas de Peano e de Picard-Lindelof. Aqui,
F (t, y) = 3y 2/3 , t0 = 0, y0 = 0. Tomando-se um ret angulo fechado centrado em (t0 , y0 ) = (0, 0), ou seja,
R = { (t, y) : |t| a, |y| b }, constata-se elementarmente que F e contnua e que

M := max F (t, y) = max 3y 2/3 = 3b2/3 .
(t, y)R y[b, b]
b

Assim,
n o Teorema o de Peano garante a existencia de solucao para o intervalo fechado [, ], onde := min a, M =
b1/3
min a, 3 (vide (11.29)). Os valores de a e de b podem ser escolhidos arbitrariamente grandes, sem violar a condicao
de continuidade de F . Conclui-se disso que podemos tomar arbitrariamente grande. Assim, nesse particular exemplo,
o Teorema de Peano garante-nos a existencia de uma solucao global, para todo t. Isso condiz com a observacao que a
solucao identicamente nula, bem como as solucoes (11.21) e (11.22) existem para todo t.
atica Vers
Por fim, e facil verificar que a funcao F (t, y) = 3y 2/3 n

ao satisfaz a condicao de Lipschitz |F (t, y)F (t, v)| k|y v|
para nenhum k em nenhum ret angulo centrado em (0, 0). Para isso observe que se tomassemos v = 0 e y 0, a condicao
de Lipschitz diria que 3y 2/3 ky, ou seja, 3y 1/3 k. Mas uma tal desigualdade e impossvel, pois para y 0 o lado
esquerdo diverge!
Isso justifica por que n
ao se pode aplicar Picard-Lindelof nesse caso (e a solucao, de fato, n
ao e u
nica).
Coment
arios sobre solu
co
es globais. O Exemplo 11.12
O fato de o Teorema de Peano em princpio garantir apenas uma regiao conservadora de validade de solucao, a saber
o intervalo [t0 , t0 + ], onde e dado pela expressao (11.29), n
ao esta em desacordo com os exemplos: h a sistemas
satisfazendo as condicoes do Teorema de Peano para os quais nao h a solucoes globais, ou seja, solucoes que existem
para todo t R. O Exemplo 11.12, p agina 496, e um tal caso. Vamos reanalisa-lo sob a luz dos Teoremas de Peano e
Picard-Lindelof, estudando particularmente o que o Teorema de Peano nos diz sobre a regiao de existencia de solucao.
bastante claro que no Exemplo 11.12 tem-se F (t, y) = y 2 , e t0 = 0 com y0 > 0. Tomando-se um ret
E angulo fechado
centrado em (t0 , y0 ) = (0, y0 ), ou seja, R = { (t, y) : |t| a , |y y0 | b }, constata-se elementarmente que F e
contnua e que
M := max F (t, y) = max y 2 = (y0 + b)2 .
(t, y)R y[y0 b, y0 +b]
b

O Teorema
n de Peano
o garante a existencia de solucao para o intervalo fechado [, ], onde := min a, M =
b
min a, (y0 +b)2 . O valor de a pode ser escolhido arbitrariamente grande, sem alterar o valor de M e sem violar a
b
condicao de continuidade de F . Conclui-se disso que podemos tomar = (y0 +b) 2 . Para qual escolha de b a constante

assume seu maior valor? E um exerccio facil (faca-o!) mostrar que o lado direito da ultima expressao assume seu maximo
em b = y0 , em cujo caso = 4y10 . Assim, o Teorema de Peano garante existencia de solucao no intervalo [ 4y10 , 4y10 ].
Sabemos, porem que a solucao (11.23) existe em um intervalo maior (e que contenha t = t0 = 0), a saber (, y10 ).
O que se aprende disso e que o intervalo de solucao obtido pela estimativa (11.29) nem sempre e maximal, mas nem
por isso contradiz-se o fato de nesse caso n
ao haver solucao valida para todo t.
Para sabermos se a solucao e unica, devemos estudar as condicoes do Teorema de Picard-Lindelof. Sabemos que
F (t, y) F (t, v) = y 2 v 2 = (y + v)(y v) . Logo, F (t, y) F (t, v) = |y + v| |y v| e, para y e v no intervalo
[y0 b, y0 + b], tem-se |y + v| 2(y0 + b). Assim, adotando-se k = 2(y0 + b), vale a condicao de Lipschitz

F (t, y) F (t, v) k|y v|
para todos (t, y), (t, v) R. Assim, a solucao do problema do Exemplo 11.12 sera u
nica para quaisquer a e b que se
tome.
11.3.4 Depend
encia Contnua de Condi
coes Iniciais e de Par
ametros
Conforme mencionamos na p agina 493, e importante determinarmos condicoes sob as quais a solucao de um problema de
valor inicial e contnua em relacao `
as condicoes iniciais e a parametros que ocorram na equacao diferencial. Essas quest
oes
sao respondidas com bastante generalidade e detalhe na Secao 26.4.3, p agina 1272. Vide Teorema 26.7, p agina 1272,
sua demonstracao e coment arios que se lhe seguem. Os resultados encontram-se resumidos nos dois teoremas abaixo, os
quais valem tambem para sistemas de equacoes diferenciais ordinarias.
Teorema 11.4 Seja a equac ao diferencial ordin aria real de primeira ordem y(t)
= F (t, y(t)) com a condic
ao inicial
y(t0 ) = y0 , com y0 R, e suponhamos que sejam satisfeitas as condic oes descritas no Teorema 11.2, pagina 498,
de modo que se garanta a existencia de uma soluc ao u
nica y(t, y0 ) do problema de valor inicial em um intervalo
[t0 , t0 + ]. Ent ao, existe uma vizinhanca J de y0 R onde a soluc ao y(t, y0 ) depende continuamente de y0 .
Mais precisamente, existe uma constante > 0 e uma vizinhanca T de t0 contida em [t0 , t0 + ] tal que vale
|y(t, y0 ) y(t, y0 )| |y0 y0 |e|tt0 | para todo y0 J e todo t T . 2
Teorema 11.5 Seja a equac ao diferencial ordin aria real de primeira ordem e dependente de um parametro p: y(t)
=
F (t, y(t), p) com a condic
ao inicial y(t0 ) = y0 , com y0 R, e suponhamos que sejam satisfeitas as condic
oes descritas
no Teorema 11.2, p agina 498, de modo que se garanta a existencia de uma soluc ao u
nica y(t, p) do problema de valor
atica Vers
inicial em um intervalo [t0 , t0 + ]. Suponhamos tambem que F seja contnua e continuamente diferenci
avel em
relac
ao a p em alguma vizinhanca. Ent
ao, y(t, p) depende continuamente de p nessa vizinhanca. 2

Equa C Oes Diferenciais Ordin Arias. Uma Introdu C Ao

Загружено:

Сведения о документе

Оригинальное название

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

Equa C Oes Diferenciais Ordin Arias. Uma Introdu C Ao

Загружено:

Авторское право:

Доступные форматы

Captulo 11

as equacoes diferenciais tornaram-se n

linguagem mesma pela qual as leis da Fsica se expressam.

G(x1 , x2 , x3 ) = x21 + sen (x2 ) 3x1 cos(x3 ) . (11.2)

A equacao diferencial ordin

Nos casos em que G e tal que n

G(x1 , x2 , x3 , x4 ) = mx4 + kx2 + x3 f (x1 ) .

Vamos a outros exemplos escritos diretamente em termos da funcao F .

Exemplo 11.2 Sejam g e l duas constantes positivas e seja F a funcao

Exemplo 11.3 (Equacao de van der Pol) Sejam e k constantes e

A equacao diferencial (de segunda ordem) associada a essa funcao F e

ao de van der Pol1 , em honra ao engenheiro que a prop

Exemplo 11.4 Sejam e constantes e

A equacao diferencial (de primeira ordem) associada a essa funcao F e

y (t) = y(t) + y(t)2 .

F (x1 , . . . xn+1 ) = f1 (x1 ) + f2 (x1 )x2 + + fn+1 (x1 )xn+1 ,

para certas funcoes de uma variavel f1 , . . . , fn+1 .

para funcoes reais ou complexas a0 , . . . , an1 e f . Veremos in

e a de van der Pol

(ya + yb )(n) + an1 (t)(ya + yb )(n1) + + a1 (t)(ya + yb ) + a0 (t)(ya + yb ) =

ya(n) + an1 (t)ya(n1) + + a1 (t)ya + a0 (t)ya

(ya + yb )(n) + an1 (t)(ya + yb )(n1) + + a1 (t)(ya + yb ) + a0 (t)(ya + yb ) =

ya(n) + an1 (t)ya(n1) + + a1 (t)ya + a0 (t)ya

e tambem solucao da equacao n

A diferenca com relacao a (11.5) e que aqui y (n) no instante t n

com a(t) e f (t) n

com m > 0, > 0 e k > 0.

com m > 0, > 0 e k > 0.

17. A Equac ao de Kummer18 :

O leitor interessado poder

11.2 Sistemas de Equaco

onde cada Fi e uma funcao de um certo n

i = 1, . . . , m, que e um sistema de equacoes diferenciais ordinarias.

p1 (t) = 1 p1 (t) + 1 p1 (t)p2 (t)

Tambem estudado em modelos de ecologia e o modelo de competic

p 1 (t) = 1 p1 (t) 1 p1 (t)2 1 p1 (t)p2 (t)

da populacao p1 , que e proporcional ao n

Sistemas de primeira ordem

conveniente simplificarmos um pouco a expressao (11.16). Introduzindo

a expressao (11.16) fica

J. Diff. Equations 149, 143189 (1998) e refer

Sistemas lineares de primeira ordem

y 2 (t) = a21 (t)y1 (t) + + a2m (t)ym (t) + b2 (t) ,

y m (t) = am1 (t)y1 (t) + + amm (t)ym (t) + bm (t) ,

para certas funcoes aij e bj de t.

podemos escrever o sistema (11.18) como

Definindo yk (t) := y (k1) (t), para todo k = 1, . . . , n, teremos y1 (t) = y(t) e

E. 11.1 Exerccio. Verifique! 6

Este e um sistema como (11.16), onde, aqui,

Isso mostra que toda equacao diferencial ordin

E. 11.2 Exerccio importante. Seja a equacao diferencial ordinaria linear de ordem n

Problemas de valor inicial

consiste em determinar a solucao dessa equacao que satisfaca

Outros problemas que n

11.3.1 Problemas de Valor Inicial. Patologias e Exemplos a se Ter em

E. 11.4 Exerccio. Mostre isso. 6

que satisfaca a condicao inicial y(0) = 0. Esse problema n

E. 11.5 Exerccio. Mostre isso. 6

que satisfaca a condicao inicial y(0) = 2. Esse problema n

E. 11.6 Exerccio. Mostre isso. 6

E. 11.7 Exerccio. Certo? 6

ambas satisfazem a equacao diferencial e y1 (0) = y2 (0) = 0.

E. 11.8 Exerccio. Verifique! 6