Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Iniciaremos essa seo apresentando alguns concei- Agora vamos provar que (fn ) converge unifor-
tos e resultados importantes para enunciarmos e de- mente para f : qualquer que seja > 0, pela equi-
monstrarmos o Teorema de Arzel-Ascoli. continuidade da (fn ) e da continuidade da f , para
cada x K , existe Vx X vizinhana aberta
Denotaremos por C (X, Y ) o conjunto de todas as de x tal que, qualquer que seja y Vx , temos:
funes f : X Y contnuas. Quando X for com- d(fn (y), fn (x)) , n N e d(f (x), f (y)) < .
pacto e Y for um espao mtrico usaremos a mtrica Claramente {Vx }xK um recobrimento aberto
d(f, g) := sup{d(f (x), g(x)) : x X}. do compacto K , ento existe um sub-recobrimento
nito Vx1 , ..., Vxk que cobre K .
Denio 1. Seja X um espao topolgico e M um Qualquer que seja x K , existe i tal que x Vxi ,
espao mtrico. Dizemos que uma famlia F de e portanto d(f (x), f (xi )) < , alm disso, existe n0
funes denidas em X com valores em M equi- N sucientemente grande tal que, se n n0 ento
contnua no ponto x0 X se, dado > 0, existe d(f (xi ), fn (xi )) < , para 1 i k .
V X vizinhana aberta do ponto x0 tal que, Portanto, para n n0 temos a seguinte
d(f (x0 ), f (x)) < , x V e f F . Dizemos que a desigualdade d(f (x), fn (x)) d(f (x), f (xi )) +
F equicontnua se F equicontnua em todos os d(f (xi ), fn (xi ))+d(fn (xi ), fn (x)) < 3. Perceba que
pontos de X . Claramente temos F C (X, M ), se a desigualdade verdadeira para todo x K , por-
F equicontnua. tanto a convergncia uniforme.
79
Denio 2. Seja X um espao topolgico. Dize- e ento, pelo lema anterior, sabemos que tal conver-
mos que H X relativamente compacto se H gncia uniforme e concluimos que H completo.
compacto.
Agora vamos provar que H totalmente limi-
tado: qualquer que seja > 0, como H equi-
Denio 3. Seja X um espao mtrico. Dizemos contnuo, para cada x K , existe uma vizinhana
que X totalmente limitado se, dado > 0 existe aberta Vx tal que, se f H e y Vx , ento
um recobrimento {O1 , ..., Ok } com a propriedade: se d(f (x), f (y)) < . Claramente {Vx }xK forma uma
x, y Oi , ento d(x, y) . recobrimento aberto do compacto K , portanto existe
um sub-recobrimento nito, seja ele Vx1 , ..., Vxp .
Teorema 1. (de Ascoli) Seja K um espao compacto Por hiptese, temos que cada H(xi ) relativa-
e M um espao mtrico. Seja H C (K, M ) ento mente compacto, e portanto totalmente limitado,
H relativamente compacto se, e somente se, H assim, cada H(xi ) admite um recobrimento nito
equicontnuo e H(x) = {f (x) : f H} relativa- Hi1 , ..., Himi tal que, se x, y Hij , ento d(x, y) < .
mente compacto. Para cada sequncia q1 , q2 , ..., qi , com 1
q1 m1 , ..., 1 qp mp , seja Hq1 ,q2 ,...,qp :=
Demonstrao:
f H; f (xi ) Hipi , 1 i p.
(): Suponha que H relativamente compacto.
O conjunto {Hq1 ,q2 ,...,qp ; 1 q1 m1 , ..., 1 qp
mp } cobre H , portanto temos que mostrar agora que
Primeiro vamos demonstrar que H(x) relativa-
cada Hq1 ,q2 ,...,qi totalmente limitado.
mente compacto: de fato, a funo hx : C (K, M )
Sejam f, g Hq1 ,q2 ,...,qi , qualquer que seja x K ,
M denida por hx (f ) := f (x), f C (K, M ) con-
existe i tal que x Vxi , alm disso, existe pi tal que
tnua, logo hx (H) compacto, pois funes contnuas
f (x), g(x) Hipi , portando d(f (x), g(x)) . Logo
preservam a compacidade. Como H(x) f (H), que
H totalmente limitado.
fechado, temos H(x) f (H), e, como todo fechado
fechado subconjunto de compacto, compacto, te-
mos que H(x) relativamente compacto. 3. Aplicaes Anlise
Agora vamos demonstrar que H equicontnuo: Teorema 2. (de Peano) Sejam S := [x0 a, x0 + a]
como H relativamente compacto, qualquer que seja [y0 b, y0 + b] com a, b > 0 e f : S R uma funo
> 0, existe um recobrimento nito H1 , ..., Hp tal contnua. Ento, existe um a com 0 < a a,
que, se f, g Hi , ento d(f, g) . tal que a equao diferencial y 0 = f (x, y) tem uma
Fixemos ento elementos f1 H1 , ..., fp Hp e soluo, denida em [x0 a , x + a ], que passa pelo
x0 K . Da continuidade de cada fi , segue que ponto (x0 , y0 ).
existe uma vizinhana aberta Vx0 de x0 tal que, se
Demonstrao:
x Vx0 , ento d(fi (x0 ), fi (x)) < e 1 i p.
Como f continua e S compacto, existe M > 0
Ento, se f H , existe i tal que f
tal que, |f (x, y)| < M , para todo (x, y) S . De-
Hi , e portanto d(f (x), f (x0 )) d(f (x), fi (x)) +
nimos a = min{ M b
, a}. A escolha de a car clara
d(fi (x), fi (x0 )) + d(fi (x0 ), f (x0 )) < 3 e concluimos
seguir. Para simplicar a notao, usaremos a = a .
que H equicontinuo.
Seja I0 := [x0 , x0 + a] e, para cada n N, Ir :=
[x0 + (r 1)a/n, x0 + ra/n], 1 < r n. Para cada
(): Suponha que H equicontnuo e que, para
n N, denimos uma funo yx : I0 R da seguinte
todo x K , H(x) totalmente limitado.
maneira:
Para mostrar que H relativamente compacto,
basta mostrar que H totalmente limitado e que
x I1
y0
H completo. yn (x) :=
Z xa/n
y0 + f (t, yn (t))dt x I1 , .., In
Vamos primeiro provar a completude de H : seja x0
80
A sequncia (yn ) equicontnua, de fato, Alm disso, como cada fn contnua existem
M1 , ..., Mn0 reais tais que |fn (x, y)| < Mn , para
R xa/n
|yn (x) yn (z)| = | x0 f (t, yn (t))dt
R za/n R xa/n n = 1, 2, ..., n0 .
f (t, yn (t))dt| = | x0 f (t, yn (t))dt +
Rxx00 R xa/n Denindo M = max{Mf + 1, M1 , ..., Mn0 }, temos
za/n
f (t, yn (t))dt| = | za/n f (t, yn (t))dt| que, qualquer que seja (x, y) S, |f (x, y)| < M e
M |x z|. |fn (x, y)| < M .
Aplicando o Teorema de Arzel-Ascoli, sabemos Seja a = b/M e para simplicar a notao, vamos
que {yn ; n N } relativamente compacto, portanto assumir a = a.
a sequencia (yn ) tem uma subsequncia (ynk )kN Como cada fn continuamente diferencivel,
convergente. usando o teorema da desigualdade do valor mdio
Denimos u(x) := limk ynk (x), para todo x concluimos que cada fn tambm lipschitziana, en-
I0 . Vamos mostrar que u soluo de y 0 = f (x, y). to, pelo teorema da existncia de Cauchy, para
Por denio, temos ynk = y0 + cada fn , existe uma nica funo Ryn denida em
x
[x0 a, x0 + a] tal que yn (x) = y0 + x0 f (t, yn (t))dt.
R xa/nk Rx
f (t, ynk (t))dt = y0 + x0 f (t, ynk (t))dt +
Rxxa/n
0
k
f (t, ynk (t))dt.
x Rx Vamos mostrar que {yn : n N} relativamente
Perceba que limk x0 f (t, ynk (t))dt =
Rx R xa/nk compacto em C ([x0 a, x0 + a], [y0 b.y0 + b]). Pelo
x0
f (t, u(t))dt e que 0 | x f (t, ynk (t))dt| teorema de Arzel-Ascoli, suciente demonstrar
que {yn : n N} equicontnuo e que o conjunto
R xa/nk
M/nk portanto limk x f (t, ynk (t))dt = 0.
Rx
Ento u(x) = y0 + x0 f (t, u(t))dt, u0 (x) = {yn (x) : n N} relativamente compacto, para todo
x [x0 a, x0 + a].
f (x, u(x)) e u(x0 ) = y0 .
81
R |f (t, y(t)) f (t, yn (t))| < /a e portanto
x
| x0 f (t, y(t)) f (t, yn (t))dt| < , pois f contnua. (): Suponha que toda sequncia de funes de
Como queramos. F |K tenha uma subsequncia convergente.
Exemplo 2. Note que garantimos apenas a existncia Como F |K compacto, pelo teorema de Arzel-
da soluo, porm, no temos como garantir garantir Ascoli, F |K equicontnuo e, para todo x K ,
a unicidade da soluo apenas com as hipteses do {f (x) : f F } totalmente limitado, portanto
teorema de Peano: considere a equao diferencial existe Mx > 0 tal que |f (x)| < Mx , para toda
y 0 = 3y 2/3 , as funes z(x) = 0 e w(x) = x3 so f F |K .
solues, denidas em uma vizinhana de 0, e z(0) = Como F |K equicontinuo, existe Vx vizinhana
w(0), portanto no temos a unicidade da soluo. aberta de x tal que se y Vx e f F ento |f (x)
f (y)| < 1.
Como K compacto e {Vx }xK um recobri-
Denio 4. Seja C aberto no vazio e F um mento aberto de K , existe K0 K nito tal que
conjunto de funes analticas equilimitadas sobre {Vx }xK0 ainda cobre K.
todo conjunto compacto K , isto , dado um com- Seja ento M = max{Mx + 1; x K0 }, temos que
pacto K , existe Mk 0 tal que |f (z)| Mk , |f (x)| < M , para todo x K e toda f F .
para todo z K . Nestas condies a famlia F
dita uma famlia normal. Referncias
82