Pref

acio
Este livro desenvolve a Teoria das Equacoes Diferenciais Ordinarias. Isto e, aborda
o estudo das propriedades gerais das funcoes que sao solucoes deste tipo de equacoes,
a partir de hipoteses amplas sobre as funcoes que as definem. Usam-se recursos da

Analise Matematica Classica e da Algebra

Linear, sem recorrer necessariamente `a
forma particular das equacoes.
A Teoria das Equacoes Diferenciais Ordinarias se distingue tanto por sua riqueza
de ideias e metodos como por sua aplicabilidade. O leitor obtera de seu estudo uma
experiencia de grande valor formativo. Tera a oportunidade de integrar, num u
nico

corpo, os fundamentos da Analise Matematica Classica, Algebra

Linear e Elementos
de Topologia, disciplinas ami
ude apresentadas isoladamente.
Os tres primeiros captulos, devotados respectivamente `a Existencia e Unicidade,
`as Equacoes Lineares e `a Teoria Qualitativa, sao basicamente auto-suficientes e
podem ser abordados diretamente. Ao nosso ver, estes enfoques independentes dao
uma visao mais ampla dos metodos disponveis.
Todos os captulos contem exerccios propostos. Quando nao rotineiros, estes
representam complementos, aplicacoes ou abordagens diferentes para a teoria; algumas vezes, eles visam fornecer informacoes sobre assuntos correlatos importantes
que nao foram tratados com plenitude no texto. Recomendamos ao leitor abordar
e pensar em todos os exerccios propostos. Quase sempre inclumos sugestoes para
aqueles menos imediatos. Sugerimos ao professor ordena - los conforme julgue estes
serem melhor aproveitados por seus alunos.
Esta e uma versao abreviada e revista de parte do ja esgotado Licoes de Equacoes
Diferenciais Ordinarias [23]. Ela contem os assuntos mais estudados na maioria dos
cursos de mestrado e incio de doutorado em prestigiosos centros de pos-graduacao
no Brasil.
` lista de agradecimentos de [23], devemos acrescentar com prazer os nomes
A
de Ronaldo A. Garcia, Daniel C. Panazzolo, Luis F. Mello, Anderson L. Maciel e
Mariana S. V. Garcia pela invaloravel ajuda prestada na diagramacao, arte grafica
e revisao da edicao deste texto.
A conclusao deste trabalho teve o apoio da FAPESP, Processo 2008/02841-4, e
do CNPq, Processo 476672/2009-0.
5

6
Jorge Sotomayor
Sao Paulo, fevereiro de 2011.

Sumario

Introduc
ao
Uma equacao da forma F (t, x, x(1) , x(2) , . . . , x(n) ) = 0, onde a incognita x e funcao
de uma variavel, chama-se equacao diferencial ordinaria. Muitas das leis gerais da
Fsica, Biologia e Economia, entre outras Ciencias, encontram sua expressao geral
nessas equacoes. Por outro lado, in
umeras questoes dentro da propria Matematica
(por exemplo na Geometria Diferencial e no Calculo de Variacoes) formuladas convenientemente se reduzem a essas equacoes.
As equacoes diferenciais evoluram dos metodos do Calculo Diferencial e Integral, descobertos por Newton e Leibnitz, e elaborados no u
ltimo quarto do seculo
XVII para resolver problemas motivados por consideracoes de natureza fsica ou
geometrica. Estes metodos conduziram gradualmente `a consolidacao de um novo
ramo da Matematica, que a meados do seculo XVIII transformouse numa disciplina independente.
Neste estagio, a procura e analise de solucoes tornou-se uma finalidade propria.
Tambem nesta epoca ficaram conhecidos os metodos elementares de resolucao
integracao de varios tipos especiais de equacoes diferenciais, entre elas as de
vari
aveis separ
aveis (x! = f (t)g(x)), as lineares (x! = a(t)x + b(t)), as de Bernoulli (x! = p(x) + q(t)x!! ), as de Clairaut (f (x! ) + tx! = x), as de Riccati (x! =
a0 (t) + a1 (t)x + a2 (t)x2 ), todas estudadas ate nossos dias em cursos introdutorios.
A natureza daquilo que era considerado solucao foi evoluindo gradualmente, num
processo que acompanhou e, a`s vezes, propiciou o desenvolvimento do propio conceito de funcao. Inicialmente buscavam-se solucoes expressas em termos de funcoes
elementares: polinomiais, racionais, trigonometricas, exponenciais. Posteriormente,
passou-se a considerar satisfatorio expressar a solucao em termos de uma integral
quadratura contendo operacoes elementares envolvendo estas funcoes. Quando estes procedimentos deixaram de resolver os problemas focalizados, surgiram a solucoes
expressas por meio de series infinitas (ainda sem a preocupacao com a analise da
convergencia).
Em fins do seculo XVIII a Teoria das Equacoes Diferenciais se transformou numa
das disciplinas matematicas mais importantes e o metodo mais efetivo para pesquisa
cientfica. As contribuicoes de Euler, Lagrange, Laplace, entre outros, expandiram
notavelmente o conhecimento dentro do Calculo de Variacoes, Mecanica Celeste,
Teoria das Oscilacoes, Elasticidade, Dinamica dos Fluidos, etc.
7

Sumario

No seculo XIX os fundamentos da Analise Matematica experimentaram uma

revisao e reformulacao gerais visando maior rigor e exatidao. Assim, os conceitos
de limite, derivada, convergencia de series de funcoes e outros processos infinitos
foram definidos em termos aritmeticos. A integral, que no seculo anterior era concebida como primitiva (ou inversa da derivacao), foi definida como limite de somas.
Este movimento de fundamentacao nao deixou de atingir as equacoes diferenciais.
Enquanto no seculo anterior procurava-se a solucao geral para uma dada equacao
diferencial, passou-se a considerar como questao previa em cada problema a existencia e unicidade de solucoes satisfazendo dados iniciais. Este e o Problema de
Cauchy, ponto no qual o presente livro se inicia.
O captulo 1 estuda o Problema de Cauchy e questoes correlatas.
O captulo 2 aborda as propriedades basicas dos sistemas de equacoes diferenciais
lineares, classe para a qual um conhecimento bastante completo e possvel.
Um marco de referencia fundamental na evolucao das equacoes e o trabalho de
Poincare Memoire sur les courbes definies par une equation differentielle, de 1881,
no qual sao lancadas as bases da Teoria Qualitativa das Equacoes Diferenciais. Esta
teoria visa a descricao global das solucoes e o efeito nelas de pequenas perturbacoes
das condicoes iniciais e de parametros.
Os captulos 3, 4 e 5 sao devotados respectivamente aos fundamentos da Teoria
Qualitativa das Equacoes Diferenciais, ao Teorema de Poincare Bendixson e a
Estabilidade de Liapounov.
O conte
udo deste livro cobre boa parte dos assuntos classicos de equacoes diferenciais que tem conservado atualidade por sua aplicabilidade e interesse teorico.
Eles formam um subconjunto proprio do ja esgotado e mais abrangente Licoes [23].
Esta selecao obedece `a possibilidade da leitura da presente versao ser completada
num curso semestral.
Numerosos caminhos promissores se abrem a partir dos passos iniciais dados
neste livro. Alguns foram abordados em Sotomayor [23] e em Dumortier, Artes e
Llibre [6], outros, visando a dimensao superior, podem ser encontrados em Palis
e Melo [17], assuntos de interesse para as aplicacoes podem ser vistos em Chicone
[3]. Para um estudo inicial da estabilidade estrutural das equacoes diferenciais e
de suas bifurcacoes (a quebra da estabilidade estrutural) recomendamos Andronov
e Leontovich [1], Sotomayor [24] e Roussarie [20]. As relacoes entre a Geometria
Classica e as Equacoes Diferenciais podem ser estudadas em Sotomayor e Gutierrez
[9] e Sotomayor e Garcia [7]. Citaremos aqui poucas obras de uma longa lista
que evolui muito rapidamente e deve ser atualizada permanentemente. Por outro
lado, o acesso `a Internet possibilita dar os primeiros passos em linhas atuais de
desenvolvimentos relacionados com as equacoes diferenciais e suas aplicacoes.