Beruflich Dokumente
Kultur Dokumente
1 Preliminares
Seja Ω um subconjunto de R × Rn . Um ponto de R × Rn será denotado por (t, x) onde
t ∈ R e x = (x1 , . . . , xn ) ∈ Rn . Em geral, usa-se a norma do máximo em R × Rn , isto
é, ||(t, x)|| = max {|t|, ||x||}, onde ||x|| denota uma norma em Rn , por exemplo, a norma
euclidiana, ou da soma, ou ainda, a norma do máximo.
Seja f : Ω → Rn uma aplicação contı́nua e seja I um intervalo não degenerado da reta,
i.e. I é um subconjunto conexo de R não reduzido a um único ponto. O intervalo I pode ser
aberto, fechado, semi-fechado, finito ou infinito.
dx
= f (t, x) (1)
dt
no intervalo I se:
2 O problema de Cauchy
∂f
Sob hipóteses bem gerais sobre f – por exemplo, se f e são contı́nuas em Ω – existe
∂x
uma e só uma solução ϕ de 2 (ou de 1) num intervalo que contém t0 e tal que ϕ(t0 ) = x0 .
Uma tal ϕ será chamada de solução do problema com dados iniciais (t0 , x0 ) para a equação 2
(ou para 1). Este problema é também conhecido como problema de Cauchy e será denotado
abreviadamente por
x0 = f (t, x), x(t0 ) = x0 . (3)
Isto é, se t0 ∈ I, uma função contı́nua ϕ : I → Rn cujo gráfico está contido em Ω é uma
solução de 4 se, e somente se, é uma solução de 3. Isso decorre imediatamente do teorema
fundamental do cálculo. (Verifique!)
Você deve fazer um estudo minuscioso sobre a topologia dos espaços métricos, desde
sua definição até suas propriedades básicas: normas, sequências, sequências convergentes,
sequências de Cauchy, espaços métricos completos, compatos, aplicações cujos domı́mio e
contra-domı́nio são espaços métricos, ou subconjutos destes, continuidade, etc. Você pode
encontrar essas informações na referência [5].
3 Teoremas de Picard e Peano 3
Proof :
∂f
Corolário .5 Seja Ω aberto em R × Rn e seja f : Ω → Rn contı́nua com também
∂x
contı́nua. Para todo ponto (t0 , x0 ) em Ω existe uma vizinhança V = I(t0 ) × B(x0 ) tal que
tem uma única solução em I(t0 ), Além disso,o gráfico dessa solução está contido em V .
Proof :
definida em I.
Teorema .8 (Arzelá) Seja (X, d) um espaço métrico compacto. Seja F uma famı́lia equi-
continua de funções ϕ : X → R. Isto é, para todo ε > 0 existe δ > 0 tal que se d(x, y) < δ
então |ϕ(x) − ϕ(y)| < ε para todo ϕ ∈ F . Se F é uniformemente limitada, (i.e. existe M > 0
tal que |ϕ| < M para todo ϕ ∈ F ), então toda sequência (ϕn ) de elementos de F tem uma
subsequência (ϕnk ) uniformemente convergente em X.
Proof : [1].
Referências
[1] J. Sotomayor. Lições de Equaçõe Diferenciais Ordinárias. Projeto Euclides. Rio de Ja-
neiro: IMPA, 1979.
[3] E. L. Lima. Curso de Análise, Volume 1. Projeto Euclides. Rio de Janeiro: IMPA, 2007.
[4] E. L. Lima. Curso de Análise, Volume 2. Projeto Euclides. Rio de Janeiro: IMPA, 2007.
[5] E. L. Lima. Espaços Métricos. Projeto Euclides. Rio de Janeiro: IMPA, 2007.
[6] E. L. Lima. Álgebra Linear. Projeto Euclides. Rio de Janeiro: IMPA, 2007.
Observação: As referências [1] e [2] são textos básicos e gerais sobre a teoria das Equações
Diferenciais Ordinárias. As referêcias [3] e [4] são textos sobre Análise na Reta e Análise no
Rn respectivamente. [5] é um texto sobre a teoria dos Espaços Métricos. Proprieades gerais
sobre Álgebra Linear podem ser encontradas no texto [6].
Bons Estudos!!!