Você está na página 1de 50

UNIVERSIDADE ESTADUAL DA PARABA

CENTRO DE CINCIAS E TECNOLOGIA


DEPARTAMENTO DE MATEMTICA

MISAELLE DO NASCIMENTO OLIVEIRA

O TEOREMA DE ARZEL-ASCOLI E APLICAES

Campina Grande - PB
Maro de 2014

MISAELLE DO NASCIMENTO OLIVEIRA

O TEOREMA DE ARZEL-ASCOLI E APLICAES

Trabalho de concluso do curso de Especializao em Matemtica Pura e Aplicada


da Universidade Estadual da Paraba. Em
cumprimento s exigncias para obteno
do Ttulo de Especialista em Matemtica.

Orientadora: Profa . Dra . LUCIANA ROZE DE FREITAS

Campina Grande - PB
Maro de 2014

MISAELLE DO NASCIMENTO OLIVEIRA

O TEOREMA DE ARZEL-ASCOLI E APLICAES

Trabalho de concluso do curso de Especializao em Matemtica Pura e Aplicada


da Universidade Estadual da Paraba. Em
cumprimento s exigncias para obteno
do Ttulo de Especialista em Matemtica.

Aprovado pela banca examinadora em 17 de Maro de 2014.

Banca Examinadora

Dedico este trabalho a minha famlia


que sempre est me dando apoio, em
especial a meus pais, pelas angstias
e preocupaes que passaram por minha causa, por terem dedicado suas
vidas a mim, pelo amor carinho e estmulo que me ofereceram, ao meu filho, que sem dvida alguma, plantou
em mim foras para que eu pudesse
chegar ao fim, a prima da minha me,
Maria Jos, que me acolheu em sua
casa com tanta felicidade, dedico-lhes
essa conquista como gratido.

Agradecimentos

Primeiramente, a Deus por este sonho realizado. Pelo dom da vida, pela f e perseverana
para vencer os obstculos surgidos nesta fase da minha vida, a todos os professores que
lecionaram no curso, em especial Professora Luciana Roze de Freitas, que mim orientou
com tanto carinho, pacincia e compreenso e esteve ao meu lado durante esta ltima fase do
curso, ao Professor Aldo Trajano Lourdo pela compreenso em momentos de angstia, ao
Professor Luiz Lima de Oliveira Jnior que desde o curso de graduao tm estado presente
nesta minha caminhada, aos colegas que trilharam este caminho comigo e as pessoas que
indiretamente com o seu carinho, muitas vezes, uma palavra amiga, contribuiram de forma
significativa para este momento, a meus pais pelo apoio e carinho em todos os momentos
nesta fase da minha especializao.

No fim tudo termina bem.


Se tudo no estiver bem,
porque ainda no o fim."
(Autor Desconhecido)

Resumo

O presente trabalho tem como objetivo apresentar um resultado de Anlise utilizado nas
mais diversas reas da matemtica pura, o Teorema de Arzel-Ascoli, que nos dir quais
as condies necessrias para que uma sequncia de funes contnuas definidas num subconjunto compacto de um espao mtrico tenha uma subsequncia uniformemente convergente. Posteriormente, utilizamos o teorema para garantir a existncia de solues de uma
E.D.O. - Equaes Diferenciais Ordinrias. Como suporte a este estudo, elencamos resultados primordiais para o desenvolvimento desta pesquisa. Primeiramente, coletamos conceitos bsicos elementares, em seguida, demonstramos em duas verses o teorema principal, o
qual, posteriormente, aplicado no Teorema de Peano, concluindo assim, a pesquisa.

Palavras Chave: E.D.O.; Matemtica Pura; Teorema de Peano.

Abstract

This paper aims to present a result of analysis used in several areas of pure mathematics, the
Arzel-Ascoli theorem, that will tell us what are the necessary conditions for a sequence of
continuous functions defined on a compact subset of a metric space has a uniformly convergent subsequence. Subsequently, we use the theorem to guarantee the existence of solutions
of an ODE - Ordinary Differential Equations. To support this study, we selected primary
outcomes for the development of this research. First, collect elementary basics then shown
in two versions main theorem, which subsequently is applied in the Peano theorem, thus
completing the study.

Keywords: O.D.E; Pure Mathematics; Peano theorem.

SUMRIO

Introduo
1

Resultados Preliminares
1.1 Espaos Mtricos . . . . . . . . . . .
1.1.1 Espaos Mtricos Completos
1.2 Contraes . . . . . . . . . . . . . . .
1.3 Conjuntos Totalmente Limitados . .

9
.
.
.
.

11
11
19
21
24

O Teorema de Arzel-Ascoli
2.1 Equicontinuidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.2 Resultado principal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

27
27
29

Aplicaes

34

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

Concluso

39

Referncias

40

A Contexto Histrico

41

B Desigualdade de Minkowski

43

C Demonstrao do Exemplo (1.7)

46

D Mais alguns Resultados

47

Introduo

A anlise uma rea da matemtica que estuda a criao de resultados importantes para o seu bom entendimento e de outras reas, como por exemplo, Topologia, Geometria Diferencial, EDO - Equaes Diferenciais Ordinrias, que se configura como nosso
objeto de estudo, entre outros. Isto , visa elaborar formulaes rigorosas e precisas para
ideias que at ento eram intuitivas do clculo. Tal feitio possvel atravs de postulados e
teoremas, dos quais, comprova-se sua veracidade atravs do desenvolvimento das demonstraes.
Neste estudo, iremos utilizar um resultado muito usado na matemtica pura
e na promoo de teorias matemticas, o Teorema de Arzel-Ascoli, que possui vrias aplicaes na anlise real e anlise funcional, que, sem sombra de dvidas, primordial para a
existncia de solues de uma edo.
Tal teorema interessante, pois fornece subsdios sobre quais as condies que
uma sequncia de funes deve ter para possuir uma subsequncia convergente.
Ambos, Csare Arzel e Giulio Ascoli1 estudaram sobre equicontinuidade e
o Teorema de Arzel-Ascoli foi uma generalizao de um resultado mais fraco que o provado por Ascoli. Um outro conceito importantssimo para este estudo foi o ento resultado
elaborado por Arzel, onde provou o conceito de convergncia uniforme gradual que d
uma condio necessria e suficiente para uma srie de funes contnuas convergir para
uma funo contnua (1883). Alm disso, observamos a quantidade de conceitos que o permeiam. Dentre os quais, apresentamos alguns resultados necessrios para o entendimento
total ou de parte do exposto aqui.
Uma vez reunidas todas as pesquisas; feito um estudo dos resultados que evidenciam o objetivo deste trabalho, organizamos o mesmo em trs captulos. No captulo
1

Ver apndice A

10

I, veremos alguns pr-requisitos que so indispensveis para uma melhor compreenso do


Teorema de Arzel-Ascoli, bem como da sua aplicao. No Captulo II, estudaremos em
detalhes o teorema mencionado anteriormente, bem como, apresentaremos uma demonstrao detalhada de fcil compreenso. No terceiro e ltimo captulo, iremos apresentar
uma importante aplicao do Teorema de Arzel-Ascoli nas Equaes Diferenciais Ordinrias, o Teorema de Peano, que exige apenas a continuidade como condio de regularidade,
para garantir a existncia de soluo de um Problema de Valor Inicial.

1 Resultados Preliminares

Nesse Captulo veremos alguns resultados preliminares utilizados no desenvolvimento desta monografia, que serviro de base para uma melhor compreenso do Teorema de Arzel-Ascoli, citaremos algumas definies e resultados importantes da Teoria
dos Espaos Mtricos, que sero utilizados no decorrer de nossa pesquisa. Estes resultados
podero ser verificados pelo leitor nas referncias [1] e [3] ou em qualquer outro livro que
aborde tal teoria. Neste trabalho, sero enunciados apenas os resultados essenciais para o
desenvolvimento do assunto central.

1.1

Espaos Mtricos

Definio 1.1. Seja X um conjunto. Uma funo : X X [0, ) satisfazendo as


condies:
(i) (x, y) = 0 x = y;
(ii) (x, y) = (y, x); x, y X;
(iii) (x, z) (x, y) + (y, z); x, y, z X
dita uma mtrica em X.
Um Espao Mtrico consiste de um conjunto X e uma mtrica em X. Denotamos por
(X, ) para indicar o espao mtrico consistindo do conjunto X e da mtrica .
Exemplo 1.1. Seja X um conjunto no vazio qualquer. Defina : X X [0, ) pondo:
(
(x, y) =
(x, y) constitui uma mtrica sobre X.
De fato, dados x, y, z X temos:
(i) (x, y) = 0 y = x.

1, se x 6= y
0, se x = y.

12

(ii) Se x = y ento (x, y) = 0 = (y, x). Se x 6= y (x, y) = 1, por definio.


Tambm,
y 6= x (y, x) = 1.
Logo, (x, y) = (y, x),

x, y X.

(iii) Sejam x, y, z X. Ento,


(x, z) = 0 ou (x, z) = 1,
(x, y) = 0 ou (x, y) = 1,
(y, z) = 0 ou (y, z) = 1.
Da
(x, y) + (y, z) = 0 (x, z) = 0 ou (x, y) + (y, z) = 1 ou (x, y) + (y, z) = 2,
logo, de qualquer forma obteremos
(x, z) (x, y) + (y, z).
A funo uma mtrica chamada mtrica discreta e (X, ) um espao mtrico.
Exemplo 1.2. A reta real R munido da mtrica d, onde para x, y R
d(x, y) = |x y|
um espao mtrico.
Com efeito,
(i) d(x, y) = 0 |x y| = 0 x = y;
(ii) d(x, y) = |x y| = |y x| = d(y, x) para todo x, y R;
(iii) d(x, z) = |x z| = |x y + y z| |x y| + |z y| = d(x, y) + d(z, y).
Portanto, (X, d) um espao mtrico.
n

 P
n

 p1

Exemplo 1.3. Seja (R , p ), com p (x, y) = kx ykp , x, y R e kkp =


um
i=1 |i |
espao mtrico.
De fato, sejam x = (x1 , x2 , . . . , xn ), y = (y1 , y2 , . . . , yn ) e z = (z1 , z2 , . . . , zn ) Rn .
(i) p (x, y) = 0 x = y
p (x, y) = kx ykp = k(x1 y1 , . . . , xn yn )kp =
= 0.

p
p
|x1 y1 |p + . . . + |xn yn |p =

13

Como, |xi yi | 0, com 1 i n e


|x1 y1 |p + . . . + |xn yn |p = 0p = 0,

1p<

temos que
|x1 y1 |p = 0, . . . , |xn yn |p = 0 x1 = y1 , . . . , xn = yn x = y.
(ii) p (x, y) = p (y, x), x, y Rn
p (x, y) = kx ykp =

p
p

|x1 y1 |p + . . . + |xn yn |p =

p
p

|y1 x1 |p + . . . + |yn xn |p

= ky xkp = p (y, x), x, y Rn


(iii) p (x, z) p (x, y) + p (y, z)1
p (x, z) = kx zkp = kx y + y zkp
kx ykp + ky zkp =
= p (x, y) + p (y, x)

x, y Rn .

Portanto, (Rn , p ) um espao mtrico.


Exemplo 1.4. Sejam (Mi , di ), i = 1, . . . , n, espaos mtricos. Podemos dotar o produto M =
M1 Mn de uma mtrica, definindo a distncia de x = (x1 , . . . , xn ) a y = (y1 , . . . , yn )
como sendo

dmax (x, y) = max di (xi , yi ),


1in

ou

ds (x, y) =

n
X

di (xi , yi ),

i=1

ou ainda,

v
u n
uX
di (xi , yi )2 .
d(x, y) = t
i=1
1

ver desigualdade de H. Minkowski no Apncide (B).

14

Para quaisquer x, y M , valem as desigualdades:


dmax (x, y) d(x, y) ds (x, y) n dmax (x, y).

(1.1)

(Ver [1], pg. 7).


Particularmente, quando M1 = . . . = Mn = R, obtemos o espao euclidiano Rn , como
produto cartesiano de n cpias do espao mtrico R. Salvo meno explcita em contrrio,
consideraremos Rn munido da ltima dentre as trs mtricas descritas acima, a qual denominaremos mtrica euclidiana.
A fim de no nos estendermos demasiadamente, justificaremos, apenas, as propriedades da mtrica euclidiana. As outras seguem de argumentos anlogos.
Sejam x = (x1 , . . . , xn ), y = (y1 , . . . , yn ) e z = (z1 , . . . , zn ) M . Temos,
(i)
v
u n
uX
di (xi , yi )2 = 0
d(x, y) = 0 t
i=1

di (xi , yi )2 = 0, i {1, . . . , n}
xi = yi , i {1, . . . , n}
x = y.
(ii) Observe que
v
v
u n
u n
uX
uX
2
t
di (xi , yi ) = t
di (yi , xi )2 = d(y, x).
d(x, y) =
i=1

i=1

Pois, para cada i {1, . . . , n}, di constitui uma mtrica em Mi e, portanto, di (xi , yi ) =
di (yi , xi ), i {1, . . . , n}.
(iii) Temos
v
u n
uX
d(x, z) = t
di (xi , zi )2
i=1

e mostraremos
d(x, z) d(x, y) + d(y, z).
De fato, a verificao da desigualdade acima, segue anlogo do item (iii), exemplo 1.3,
onde particularizamos p, para, p = 2.

15

Exemplo 1.5. Seja C ([a, b], R) = {f : [a, b] R ; f contnua} com a mtrica da convergncia uniforme (f, g) = kf gk , f, g C ([a, b], R) e kf k = sup{|f (t)| : t [a, b]}, f
C ([a, b], R) . Note que, tal supremo existe pois, f limitada.2
(i) (f, g) = 0 f = g.
De fato, sejam f, g C ([a, b], R). Da,
(f, g) = kf gk = sup |f (t) g(t)| = 0
t[a,b]

|f (t) g(t)| = 0 f (t) = g(t), t [a, b].


(ii) (f, g) = (g, f ), f, g C ([a, b], R) , t [a, b].
De fato,
(f, g) = kf gk = sup |f (t) g(t)| = sup |g(t) f (t)| =
t[a,b]

t[a,b]

= kg f k = (g, f ).
(iii) (f, h) (f, g) + (g, h), f, g, h C ([a, b], R) , t [a, b].
De fato,
(f, g) = kf gk = sup |f (t) g(t)| = sup |f (t) h(t) + h(t) g(t)|
t[a,b]

t[a,b]

sup |f (t) h(t)| + sup |h(t) g(t)| = kf hk + kh gk


t[a,b]

t[a,b]

= (f, h) + (h, g).


Logo,
(f, g) (f, h) + (h, g).
Portanto, C ([a, b], R) munido da mtrica da convergncia uniforme um espao mtrico.
Agora, definiremos alguns conceitos relacionados a subconjuntos de espaos mtricos. Entre eles, a noo de bola fundamental no estudo dos espaos mtricos.
Seja x um ponto no espao mtrico (X, ). Dado um nmero real r > 0, definimos:
Definio 1.2. A bola aberta de centro x e raio r definida como sendo o conjunto Br (x) dos
pontos de X cuja distncia a x menor que r. Ou seja,
Br (x) := {y X ; (x, y) < r}.
2

Ver Apndice D, Teorema de Weierstrass

16

Definio 1.3. A bola fechada de centro x e raio r definida como sendo o conjunto Br [x]
dos pontos de X, cuja distncia a x menor do que ou igual a r. Ou seja,
Br [x] := {y X ; (x, y) r}.
Definio 1.4. Seja (X, ) um espao mtrico, um conjunto E X dito aberto em (X, ) se,
para cada x E existe rx > 0 tal que Brx (x) E.
Definio 1.5. Seja (X, ) um espao mtrico, um conjunto F X dito fechado em (X, )
se F c (complementar de F com respeito a X) aberto em (X, ).
Diante das definies apresentadas, temos a seguinte proposio:
Proposio 1.1. Seja (X, ) um espao mtrico. Ento vale:
(i) A unio qualquer de conjuntos abertos em (X, ) um conjunto aberto;
(ii) A interseo finita de conjuntos abertos em (X, ) um conjunto aberto em (X, );
(iii) A interseo qualquer de conjuntos fechados em (X, ) um conjunto fechado em
(X, );
(iv) A unio finita de conjuntos fechados em (X, ) um conjunto fechado.
Demonstrao. (i) Seja A uma coleo qualquer de conjuntos abertos em X. Denotemos por
U a unio de todos os conjuntos abertos pertencentes a A.
Queremos mostrar que U aberto.
Seja x U, ento x A para algum conjunto aberto A A. Portanto, existe > 0 tal
que B (x) A. Mas, A U, logo B (x) U. Donde U aberto.
T
(ii) Sejam A1 , A2 , . . . , Ak uma coleo finita de conjuntos abertos em X e A = ki=1 Ai .
Tome x A, logo x Ai para todo i {1, 2, . . . , k} e portanto, existem nmeros positivos
1 , 2 , . . . , k tais que Bi (x) Ai . Seja = min1ik i . Assim, B (x) Bi (x) Ai , para
todo i {1, 2, . . . , k}. Donde,
B (x) A
Com isso, mostramos que A aberto.
(iii) Seja F = {Fi ; i } onde um conjunto de ndices arbitrrio, uma famlia
T
qualquer de conjuntos fechados. Assim, para cada i , Fic aberto em X. Seja F = i Fi .
Queremos mostrar que F fechado.
c S
T
Note que, F c =
= i Fic . Desde que Fic aberto em X para cada i, pelo
i Fi
item (i) obtemos F c aberto e portanto, F fechado em X.
S
(iv) Sejam F1 , F2 , . . . , Fk uma coleo finita de conjuntos fechados em X e F = ki=1 Fi .

17

Temos que
c

F =

k
[

!c
Fi

i=1

k
\

Fic

i=1

mas, a ltima interseo nos d um conjunto aberto por (ii). Portanto, F c aberto, o que
implica em F fechado.
Definio 1.6. Seja E (X, ) um subconjunto do espao mtrico X munido da mtrica .
Definimos:
(i) O interior de E, denotado por intE, como sendo a unio de todos os abertos de (X, )
contidos em E, isto ,
[
intE = {A ; A aberto e A E };
(ii) O fecho de E, denotado por E, como sendo a interseo de todos os fechados de (X, )
que contm E. Isto ,
\
E = {F ; F fechado e E F };
(iii) E dito denso em X se E = X e nunca denso se intE = .
Definio 1.7. Seja (X, ) um espao mtrico, x X e (xn )n X. Dizemos que (xn ) converge
para x em X se d(xn , x) 0 em R quando n . Assim, quando isso acontece, escrevemos
xn x em X.
Proposio 1.2. Se E X, ento as seguintes condies so equivalentes:
(i) x E;
(ii) Br (x) E 6= , r > 0;
(iii) existe (xn ) E tal que xn x, com x E.
Demonstrao. (i) (ii) Suponha, por contradio, que existe r > 0 tal que Br (x) E = ,
Br (x) E c , logo, x intE c . Como (intE c )c fechado e E (intE c )c e x 6 (intE c )c , temos
que
x 6 E.
Contradizendo o item (i). Da, segue que
Br (x) E 6= , r > 0.
(ii) (iii) Se Br (x) E 6= , r > 0, ento, x E ou x E E.
Se x E, podemos tomar a sequencia constante xn = x para todo n. Se, x E E,
tomemos, para cada n,
xn B 1 (x) E 6= .
n

18

Em ambos os casos, (xn ) E converge para x.


(iii) (i) Suponha que existe uma sequncia (xn ) de elementos de E, tal que
xn x e x 6 E,
c

ento por (ii), existe r > 0 tal que Br (x) E e, portanto, existe n0 N, tal que n > n0
c
temos xn E , o que um absurdo, pois (xn ) E. Donde conclumos que x E.
Definio 1.8. Sejam (X1 , 1 ), (X2 , 2 ) espaos mtricos. Uma funo f : X1 X2 dita
contnua em um ponto x de X1 se, dado > 0, existe > 0 tal que
y X1 , 1 (y, x) < = 2 (f (y), f (x)) < .
Se f contnua em todo ponto de X1 dizemos, apenas, que f contnua.
Observao 1.1. Dizer que f contnua em x X1 , de acordo
coma definio acima,

1
dizer que: para todo > 0, existe > 0 tal que B (x) f
B (f (x)) . Da, enunciamos o
seguinte resultado.
Proposio 1.3. Sejam (X1 , 1 ), (X2 , 2 ) espaos mtricos. Uma funo f : X1 X2 contnua se, e somente se, a imagem inversa f 1 (U ) de qualquer conjunto aberto U (X2 , 2 )
um conjunto aberto em (X1 , 1 ).
Demonstrao. () Seja f contnua e U um aberto de X2 . Se y f 1 (U ) e > 0 tal que
B (f (y)) U , ento, existe > 0 tal que


B (y) f 1 B (f (y)) f 1 (U ),
logo, y interior a f 1 (U ). Donde segue que, f 1 (U ) aberto.
() Por outro lado, suponha f 1 (U ) aberto em (X1 , 1 ) sempre que U aberto em (X2 , 2 ).
Se x X1 , ento f (x) X2 e, portanto, dado > 0 temos que
B (f (x)) X2


e, consequentemente, f
B (f (x)) um aberto em X1 que contm x.


Segue que, existe > 0 tal que B (x) f 1 B (f (x)) e f contnua em x. Como x
arbitrrio, segue que f contnua.
1

19

1.1.1

Espaos Mtricos Completos

Definio 1.9. Seja (X, ) um espao mtrico. Uma sequncia (xn ) X dita de Cauchy em
X quando, dado > 0 existe n0 N tal que
m, n > n0 = (xm , xn ) < .
Definio 1.10. Um conjunto E (X, ) dito completo se toda sequncia de Cauchy em E
converge para um elemento de E.
Proposio 1.4. Toda sequncia convergente de Cauchy.
Demonstrao. Seja (xn ) uma sequncia, se lim xn = a no espao mtrico M ento, dado > 0,
existe n0 N tal que

n > n0 (xn , a) < .


2
Da, se tomarmos m, n > n0 teremos
(xm , xn ) (xm , a) + (xn , a) <


+ = .
2 2

Logo, (xn ) de Cauchy.


Exemplo 1.6. O espao mtrico (X, ), onde X um conjunto no vazio e a mtrica
discreta em X um espao mtrico completo.
De fato, seja (xn ) X uma sequncia de Cauchy. Tome < 1, logo
(xn , xm ) < acarreta (xn , xm ) = 0,
ou ainda,
xn = xm , para todo n, m N.
Logo,
xn = x0 para algum x0 X e para todo n N.
Portanto, (xn ) converge para x0 X. Donde, segue que, (X, ) completo.
Exemplo 1.7. O espao (R, d), onde d(x, y) = |x y| para x, y R completo.
(Ver Apndice (C)).
Exemplo 1.8. Seja M = M1 Mn , onde Mi um espao mtrico completo, 1 i n.
Dada uma sequncia (xk )kN em M , denotaremos o seu k-simo termo por
xk = (xk1 , xk2 , . . . , xkn ).

20

Assim, (xk ) determina n sequncias (xki )kN Mi . Segue-se imediatamente da Definio


1.10 e das desigualdades em (1.1) que uma sequncia
xk = (xk1 , . . . , xkn )
em M converge para a = (a1 , . . . , an ) M , numa, dentre as trs mtricas do Exemplo 1.4 se,
e somente se, converge nas duas outras. Em particular,
xk = (xk1 , . . . , xkn ) a = (a1 , . . . , an ) M
(qualquer que seja, dentre as trs j referidas, a mtrica considerada em M ) se, e somente,
xki ai , i = 1, . . . , n (segundo di ).
Exemplo 1.9. O Rn , munido de qualquer das mtricas definidas no Exemplo 1.4, um espao
mtrico completo.
Segue diretamente do exemplo 1.8 e do fato de R ser completo pelo exemplo 1.7.


Exemplo 1.10. O espao das funes contnuas de [a, b] em R, C [a, b]; R , munido da mtrica da convergnciauniforme,
 completo.
Seja (fn ) C [a, b]; R uma sequncia de Cauchy. Assim, dado > 0, existe um
n0 N tal que, para m, n > n0 , tem-se
d(fm (x), fn (x)) = sup |fm (x) fn (x)| < .

(1.2)

x[a,b]

Da, para qualquer x0 [a, b] fixado, vale


|fm (x0 ) fn (x0 )| < , m, n > n0 .
Isso mostra que, (fn (x0 )) uma sequncia de Cauchy em R e desde que R completo (Exemplo 1.7), (fn (x0 )) converge, ou seja, existe y = f (x0 ) R tal que fn (x0 ) y quando n .
Desta forma, defina
f : [a, b] R
x 7 f (x) = lim fn (x).
n

Observe que f est bem definida graas a unicidade do limite que a define .
Agora, basta mostrar que
fn f
e
f C ([a, b], R) ,

21

respectivamente.
De 1.2 fazendo m , temos
sup |fn (x) f (x)| , n > n0 .
x[a,b]

Donde,
||fn f || < n n0 .
Segue que, (fn (x)) converge uniformente para f (x).
3
Como cada fn contnua em [a, b] e a convergncia
pelo

 uniforme segue,

 teorema (D.1)
que f contnua em [a, b], ou seja, f C [a, b]; R . E portanto, C [a, b]; R completo.
Proposio 1.5. Sejam (X, ) um espao mtrico e M (X, ) um subespao. Assim,
(i) Se (X, ) completo e M fechado, ento M completo;
(ii) Se M completo, ento M fechado.
Demonstrao. (i) Seja (xn ) M uma sequncia de Cauchy. Desde que (X, ) completo,
(xn ) converge para algum elemento x X. Mas, M fechado e, portanto, x M . Donde M
completo.
(ii) Seja x M , logo, pela Proposio 1.2, existe (xn ) M que converge para x. Como,
pela Proposio 1.4 toda sequncia convergente de Cauchy, temos x M e, portanto, M
fechado.

1.2

Contraes

Definio 1.11. Seja (X, ) um espao mtrico completo. Uma aplicao T : X X


chamada uma contrao em X, se existe 0 < k < 1 tal que
(T x, T y) k(x, y)
para todo x, y X.
Definio 1.12. (Ponto Fixo) O ponto fixo de uma aplicao T : X X um elemento x X
tal que
T (x) = x.
Teorema 1.1. (Princpio de Contrao de Banach) Se X um espao mtrico completo e T uma
contrao em X, ento T tem um nico ponto fixo.
3

Ver Apndice D

22

Demonstrao. Vamos construir uma sequncia (xn ) X e mostrar que ela de Cauchy, de
modo que convirja em X. Depois, provaremos que o limite de (xn ) ponto fixo de T e T no
possui outros pontos fixos.
Tome x0 X arbitrrio e defina uma sequncia iterativa (xn ) da seguinte
forma:
x 0 = x0
x1 = T (x0 )
x2 = T (x1 ) = T 2 (x0 )
..
.
xn = T (xn1 ) = T n (x0 ).
..
.
Observe que
(xn+1 , xn ) = (T (xn ), T (xn1 ))
k(xn , xn1 )
k(T (xn1 ), T (xn2 ))
k 2 (xn1 , xn2 )
..
.
k n (x1 , x0 ).
Assim, usando a desigualdade triangular, a soma de uma progresso geomtrica e a relao
acima, obtemos, para n > m
(xm , xn ) (xm , xm+1 ) + (xm+1 , xm+2 ) + . . . + (xn1 , xn )
k m (x1 , x0 ) + k m+1 (x1 , x0 ) + . . . + k n1 (x1 , x0 )
= (k m + k m+1 + . . . + k n1 )(x1 , x0 )
= k m (1 + k + . . . + k n1m )(x1 , x0 )
1
(x1 , x0 ).
km
1k

(1.3)

Agora, como 0 < k < 1, dado > 0 existe n0 N tal que, se m > n0 temos
km
(x1 , x0 ) < .
1k

(1.4)

23

Portanto, se n > m > n0 , ento de (1.3) e (1.4), segue que


(xm , xn ) < ,
ou seja, (xn ) uma sequncia de Cauchy. E, como X completo, conclumos que (xn ) converge, isto , xn x, com x X.
Agora mostraremos que x um ponto fixo da aplicao T .
Da desigualdade triangular e da definio de contrao temos:
0 (x, T x) (x, xm ) + (xm , T x)
(x, xm ) + (T (xm1 ), T x)
(x, xm ) + k(xm1 , x).

(1.5)

Como xm x, fazendo m temos (x, xm ) + k(xm1 , x) 0 e, portanto, de (1.5),


obtemos
(x, T x) = 0,
isto , T x = x, portanto x ponto fixo de T .
Suponha agora, que x0 tambm ponto fixo de T , isto , T (x0 ) = x0 . Desde que
T uma contrao, temos
(x, x0 ) = (T x, T x0 ) k(x, x0 )
da,
(x, x0 ) k(x, x0 ) 0
o que implica em,
(1 k)(x, x0 ) 0
mas (1 k) > 0 pois 0 < k < 1, logo
0 (x, x0 ) 0
ou ainda,
(x, x0 ) = 0
e, portanto x = x0 , donde conclumos que o ponto fixo de T nico.

24

1.3

Conjuntos Totalmente Limitados

Definio 1.13. Sejam (X, ) um espao mtrico, x X e E X, um subconjunto no vazio.


Definimos a distncia de x ao conjunto E, como sendo
(x, E) = inf (x, y).
yE

Observao 1.1. Note que, tal nfimo existe, pois, todo conjunto no-vazio e limitado inferiormente possui nfimo.
Definio 1.14. Sejam E, F X subconjuntos no vazios de um espao mtrico (X, ). A
distncia de E a F , denotada por (E, F ) o nmero
(E, F ) = inf{(y, z) ; y E e z F }.
Definio 1.15. O dimetro de um subconjunto E (X, ), onde (X, ) um espao mtrico,
dado por
diam(E) = sup{(x, y) ; x, y E}.
Um subconjunto F de um espao mtrico (X, ) dito limitado quando diam(F ) < .
Se E um subconjunto de X e {V } 4 uma famlia de conjuntos, tal que, E
V dizemos que {V } uma cobertura de E.
Definio 1.16. Se (X, ) um espao mtrico, dizemos que E X totalmente limitado se,
para cada > 0, E pode ser coberto por um nmero finito de bolas de raio , isto , existem
a1 , a2 , . . . , an E tais que E ni=1 B (ai ).
Lema 1.1. (Propriedade de Bolzano-Weirstrass) Seja E um subconjunto de um espao mtrico
(X, ). E completo e totalmente limitado se, e somente se, toda sequncia em E tem uma
subsequncia que converge para um ponto de E.
Demonstrao. () Suponha que E completo e totalmente limitado. Seja (xn ) uma sequncia em E. Pela Definio 1.16, E pode ser coberto por um nmero finito de bolas de raio
= 21 assim, para n > n0 , n0 N ao menos uma dessas bolas contm xn . Sendo assim,
tome xn B1 nj=1 B (aj ) para n N1 . Logo, pela definio 1.16 E B1 pode ser coberto
por um nmero finito de bolas de raio 212 e, portanto, uma dessas bolas deve conter xn para
n > n1 N. Considere ento, xn B2 para n N2 . Assim, por meio de um processo indutivo, obtemos uma sequncia de bolas Bj de raio 21j e uma sequncia N N1 N2 . . . Nj
decrescente de subconjuntos infinitos Nj de N tais que xn Bj para n Nj . Agora, escolha n1 N1 , n2 N2 , . . . de tal forma que n1 < n2 < . . . < nj . Ento, xnj B 1j (aj ) e
2

Em todo o texto denota um conjunto arbitrrio de ndices.

25

(xnk , xnj ) < 21j + 21j = 22j se k > j. Logo, (xnj ) uma sequncia de Cauchy em E, a qual
uma subsequncia de (xn ) e, portanto, converge para um elemento de E, pois, E completo.
() Suponha que E no completo e que toda sequncia em E possui uma subsequncia que converge para um elemento de E. Logo, existe (xn ), uma sequncia de Cauchy em E, que no converge para um elemento de E. Desta forma, nenhuma subsequncia
(xnj ) (xn ) converge em E, pois do contrrio (xn ) convergiria para o mesmo limite. Contradizendo a hiptese de toda sequncia em E possuir uma subsequncia convergente em
E. Logo, E completo.
Suponha agora que E no totalmente limitado e toda sequncia em E possui uma
subsequncia que converge para um elemento de E. Assim, existe > 0, e existe um conjunto finito F = {a1 , a2 , . . . , ak } tal que E 6 kj=1 B (aj ).Escolha x1 , x2 , . . . , xk E tal que
xk+1 E kj=1 B (aj ). Ento, (xn , xm ) para todo m, n e, portanto, (xn ) no pode ter
subsequncia convergente.
Lema 1.2. Seja E um subconjunto de um espao mtrico (X, ). As seguintes afirmaes so
equivalentes:
(i)(Propriedade de Bolzano-Weirstrass) Toda sequncia em E possui uma subsequncia
que converge para um ponto de E.
(ii)(Propriedade de Heine - Borel) Para cada cobertura, {V } , de E por abertos de
(X, ), existe um conjunto finito I tal que {V }I cobre E.
Demonstrao. () Suponha, por contradio, que para todo n N existe uma bola Bn de
raio 21n tal que Bn E 6= e Bn 6 V para algum . Tome xn Bn E. Ento, por (i),
existe uma subsequncia (xnj ) de (xn ) que converge para algum x em E. Por simplicidade
de notao, continuaremos denotando a subsequncia por (xn ).
Note que se x E, ento x V para algum e, como V aberto, existe > 0 tal
que B (x) V . Assim, fazendo n suficientemente grande, tal que (xn , x) < 21n < 3 , temos
ento,
Bn (x) B (x) V ,
contradizendo a hiptese de Bn (x) 6 V .
() Suponha que existe (xn ) E que no possui subsequncia convergente. Assim,
para cada x E, existe uma bola B(x) centrada em x que contm xn para alguma quantidade
finita de ndices n. Ento
B(x) = {Bx }xE
uma cobertura de E por abertos sem cobertura finita. Contradio!. Logo, toda sequncia
(xn ) E possui subsequncia convergente.

26

Definio 1.17. Seja X um subconjunto de um espao mtrico M. Uma cobertura de X


uma famlia C = (C )L de subconjuntos de M tal que
X

C .

A cobertura C dita aberta quando cada conjunto C , L, aberto em M.


A cobertura C diz-se finita quando L um conjunto finito, ou seja, C tem um conjunto
finito de elementos.
Se existe um subconjunto L0 L tal que
X

L0

e C0 C, onde C0 = (C )L0 , ento a subfamlia C0 relativamente a C uma subcobertura de


X.
Definio 1.18. Um subconjunto X M de um espao mtrico M dito compacto quando
toda cobertura aberta de X possui uma subcobertura finita.
Definio 1.19. Um subconjunto X M diz-se relativamente compacto quando seu fecho X
compacto.

2 O Teorema de Arzel-Ascoli

Seja M um espao mtrico. Que condies deve um subconjunto X M satisfazer


para possuir fecho compacto? Quando M = Rn , a fim de X M ser compacto necessrio
e suficiente que X seja limitado. Isso decorre imediatamente da caracterizao dos espaos
mtricos compactos que demos anteriormente. Com efeito, um subconjunto de Rn fechado
e limitado se, e somente se, completo e totalmente limitado, o que ocorre se, e somente se,
ele compacto. Ora, X Rn limitado equivale a X Rn limitado.
No entanto, no verdade, em geral, que X M limitado, implica X M compacto.
Neste contexto, dispomos do seguinte resultado, devido ao matemtico hngaro F. Riesz, o
qual relaciona a compacidade da bola unitria fechada de um espao vetorial normado (uma
propriedade topolgica) e a dimenso desse espao (um invariante algbrico):
Teorema 2.1 ( Riesz). Seja V um espao vetorial normado. A bola unitria B[0; 1] compacta se, e
somente se, dim V < . (ver [5]).
Assim, por exemplo, a bola unitria fechada B[0; 1] de V = C([0, 1]; R), formada pelas funes contnuas f : [0; 1] R tais que |f (x)| 1 para todo x [0, 1], embora limitada e
fechada, no compacta, pois dim V = .
O Teorema de Arzel-Ascoli, nosso principal resultado, a ser estabelecido neste captulo, assevera que a equicontinuidade a condio adicional que um subconjunto limitado de
C(K; Rn ), com K compacto, precisa cumprir para ter fecho compacto.

2.1

Equicontinuidade
No que se segue,
F(M ; N ) := {f : M N ; f contnua}.
Comecemos com a seguinte

28

Definio 2.1 (E QUICONTINUIDADE ). Um conjunto E F(M ; N ) dito equicontnuo no


ponto a M quando, para todo  > 0, existe > 0 tal que (x, a) < em M implique
(f (x), f (a)) < , seja qual for f E. E diz-se equicontnuo quando equicontnuo em todos
os pontos de M . Uma sequncia de aplicaes (fn )nN F(M ; N ) diz-se equicontnua no
ponto a M (respectivamente, equicontnua) quando o conjunto {f1 , f2 , . . . , fn , . . .} o for.
Observao 2.1. Evidentemente, se E equicontnuo no ponto a, ento toda funo f E
contnua em a.
Observao 2.2. Se uma sequncia equicontnua (fn ) F(M ; N ) converge pontualmente
para f : M N , ento o conjunto {f, f1 , f2 , . . . , fn , . . .} equicontnuo.
De fato, dados a M e > 0, existe > 0 tal que
(x, a) < (fn (x), fn (a)) <
Fazendo n , obtemos
(f (x), f (a))

n.
2

< .
2

Em particular, f contnua.
Lema 2.1. Se uma sequncia equicontnua (fn ) converge pontualmente para f , ento a convergncia uniforme em cada parte compacta K M .
Demonstrao. Seja K M compacto e seja > 0. Como fn f pontualmente, para cada
x K, existe nx N tal que

n nx (fn (x), f (x)) < .


3
Pela Observao 2.2, {f, f1 , f2 , . . . , fn , . . .} equicontnuo. Logo, para cada x K, existe
uma bola aberta Bx , contendo x, tal que
y Bx (fn (y), fn (x)) <
Da cobertura aberta K

xK

e (f (y), f (x)) < .


3
3

Bx , extramos uma subcobertura finita


K Bx1 . . . Bxp .

Seja n0 := max{nx1 , . . . , nxp }. Se n > n0 e x K, existe i {1, . . . , p} tal que x Bxi . Logo,

(fn (x), fn (xi )) < .


3
Assim,
(fn (x), f (x)) (fn (x), fn (xi )) + (fn (xi ), f (xi )) + (f (xi ), f (x)) < .

29

Proposio 2.1. Seja (fn ) equicontnua. Suponhamos que, para cada x M , o conjunto
{fn (x) : n N} tenha fecho completo em N . Se (fn ) converge pontualmente num subonjunto
denso D M , ento (fn ) converge uniformemente em cada parte compacta de M .
Demonstrao. Basta notar que (fn ) converge pontualmente em todo o M . Com efeito, tomando arbitrariamente x M , dado > 0, existe uma bola aberta B, contendo x, tal que
y B (fn (y), fn (x)) <

para todo n.
3

Escolhamos e fixemos y B D. Como existe limn fn (y), existe n0 N tal que

m, n > n0 (fm (y), fn (y)) < .


3
Assim, se m, n > n0 , ento
(fm (x), fn (x)) (fm (x), fm (y)) + (fm (y), fn (y)) + (fn (y), fn (x)) < .
Sendo, pois, (fn (x)) de Cauchy existe, por hiptese, limn fn (x). O resultado segue-se do
Lema anterior.

2.2

Resultado principal
Antes de enunciarmos e provarmos o resultado principal, fixemos a terminologia.

Definio 2.1. Sejam M, N espaos mtricos. Uma aplicao f : M N diz-se uniformemente contnua quando, para todo > 0 dado, existir > 0 tal que, para quaisquer
x, y M, (x, y) < (f (x), f (y)) < .
Proposio 2.2. Se o espao mtrico M compacto, ento toda aplicao contnua
f : M N
uniformemente contnua.
Demonstrao. Suponha que f no contnua logo, existe > 0 e para cada n N, pontos
xn , yn M tais que
1
(xn , yn ) <
(2.1)
n
e
(f (xn ), f (yn )) .
(2.2)

30

Passando a uma subsequncia se preciso for, supomos, pela compacidade de M, que existe
lim xn = a M . Ento, por (2.1), lim yn = a tambm. Segue, da continuidade de f e da
distncia, que
lim (f (xn ), f (yn )) = (f (a), f (a)) = 0,
n

o que uma contradio, pois, (f (xn ), f (yn )) para todo n.


No Teorema que veremos em seguida, o espao mtrico N ser considerado
como N = R.
Seja (X, ) um espao mtrico compacto. Definimos,
C(X, R) := {f : X R ; f contnua}
o espao mtrico das funes contnuas com a mtrica uniforme, donde segue anlogo do
Exemplo (1.10), que C(X, R) completo.
Definio 2.2. Uma famlia F de funes dita uniformemente limitada se existe K > 0 tal que
|f (x)| K, x X.
Podemos, finalmente, enunciar e demonstrar o seguinte
Teorema 2.2. (Arzel-Ascoli). Se (X, ) um espao mtrico compacto, um subconjunto F de
C(X, R) relativamente compacto se, e somente se, uniformemente limitado e equicontnuo.
Demonstrao. () Suponha que F relativamente compacto, isto implica que o fecho F
compacto e, por sua vez, totalmente limitado. Como, F F temos que F totalmente
limitado, logo, dado > 0 existem f1 , f2 , . . . , fn C(X, R) tais que
F

n
[

B 3 (fi ).

i=1

Seja f F, arbitrrio. Assim, f B 3 (fi0 ) para algum i0 {1, 2, . . . , n}, assim, para x X
|f (x)| = |f (x) fi0 (x) + fi0 (x)| |f (x) fi0 (x)| + |fi0 (x)|

+ Mi0 + max Mi
3
3 1in

f,

+M =M
3
onde Mi = max |fi (x)| e M = max Mi .
xX

1in

f, para todo x X e para todo f F e, consequentemente, F uniforPortanto |f (x)| M


memente limitado.

31

Vamos agora mostrar, que F equicontnua. Sejam f F e, x, x0 X arbitrrios. Note


que
|f (x) f (x0 )| |f (x) fi (x)| + |fi (x) fi (x0 )| + |fi (x0 ) f (x0 )|
para cada i = 1, 2, . . . , n. Escolha j {1, 2 . . . , n} tal que f B 3 (fj ), ou seja,
sup |f (x) fj (x)| <
xX

Logo,
|f (x) f (x0 )| |f (x) fj (x)| + |fj (x) fj (x0 )| + |fj (x0 ) f (x0 )|
2
+ |fj (x) fj (x0 )|.

3
Como X compacto, temos que f1 , f2 , . . . , fn so uniformemente contnuas, em particular,
dado > 0 existe > 0 tal que

(x, x0 ) < = |fj (x) fj (x0 )| < .


3
Donde segue que,
(x, x0 ) < = |f (x) f (x0 )| < .
Como f F qualquer, segue que F equicontnuo.
() Reciprocamente, suponha que F uniformemente limitado e equicontnuo, e
assim, queremos mostrar que o fecho F de F compacto, ou seja, que F completo e totalmente limitado. Agora, recorde que o F fechado e est contido no espao completo das
funes contnuas C(X, R), logo F completo, portanto resta-nos provar que F totalmente
limitado.
Observe que se F totalmente limitado ento F totalmente limitado. Logo, dado
> 0 devemos mostrar que existe {f1 , . . . , fn } F tal que
F

B (fi ).

1in

Por hiptese, temos o seguinte:


1. (Limitao uniforme) existe M 0 ; |f (x)| M, x X, f F;
2. (Equicontinuidade) existe > 0 ; (x, y) < = |f (x)f (y)| < 4 , x, y X f F;
3. (Compacidade de X) existe x1 , x2 , . . . , xn X; X ni=1 B (xi ).

32

Agora, escolha um inteiro positivo m e divida o intervalo [M, M ] em k = 2M m intervalos


de comprimento m1 de tal modo que m1 < 4 . Sejam y1 , y2 , . . . , yk os respectivos centros de
cada um dos subintervalos de [M, M ].

Escreva E = {x1 , x2 , . . . , xn } X, F = {y1 , y2 , . . . , yk } R e seja


L = { : E F ; uma funo}
uma famlia, claramente finita, constituda por todas as possveis funes : E F .
Para cada L considere uma famlia F F, tal que

F := {f F ; |f (xi ) (xi )| < , 1 i n}


4

(2.3)

onde (xi ) igual a algum yj , 1 j k, e f (xi ) pertence a algum subintervalo de [M, M ].


Considere a famlia {F }L ento, podemos observar que
F

(2.4)

F .

Alm disso,temos (2.3)


[
L

(2.5)

B (f ).

f F

De fato, dados f, g F e x X tem-se que, x B (xi ) para algum i {1, 2, . . . , n},


ento
P or2.

2.3

2.3

P or2.

}|
{ z
}|
{ z
}|
{ z
}|
{
z
|f (x) g(x)| |f (x) f (xi )| + |f (xi ) (xi )| + |(xi ) g(xi )| + |g(xi ) g(x)|

<
+ + + =
4 4 4 4
logo,
sup |f (x) g(x)|
xX

o que implica,
diam F
donde segue que
F B (f ).

33

Portanto, de (2.4) e (2.5), segue que


F

B (f ).

f F

Corolrio 2.3. Seja (fn )nN uma sequncia de aplicaes contnuos fn : [a, b] R e suponha que existem constantes M, K > 0 tais que, para cada n N e quaisquer s, t [a, b],
|fn (s) fn (t)| K|s t| e |fn (t)| M, n.

(2.6)

Ento existe uma subsequncia de (fn ) que uniformemente convergente para uma
certa aplicao contnua f : [a, b] R.
Demonstrao. Observe que as desigualdades em (2.7) nos do a informao de que, a
sequncia de funes formam uma famlia equicontnua e uniformemente limitada. Logo, o
resultado imediato do Teorema de Arzel-Ascoli.
Corolrio 2.4. Seja (fn )nN uma sequncia de aplicaes contnuas fn : [a, b] Rm e suponha que existem constantes M, K > 0 tais que, para cada n N e quaisquer s, t [a, b],
|fn (s) fn (t)| K|s t| e |fn (t)| M, n.

(2.7)

Ento existe uma subsequncia de (fn ) que uniformemente convergente para uma
certa aplicao contnua f : [a, b] Rm .1
Demonstrao. A demonstrao segue imediata do (2.3), onde aplicamos o resultado nas
sequncias componentes.

Ver [2]

3 Aplicaes

Finalmente, apresentaremos uma das aplicaes do Teorema de Arzel-Ascoli.


Tal aplicao, o Teorema de Peano, um importante resultado da teoria das Equaes Diferenciais Ordinrias, o qual, sob hipteses mais fracas do que s enunciadas no Teorema
de Picard, garante a existncia de solues para Problemas de Valor Inicial (ou Problema de
Cauchy) sem preocupar-se com a unicidade.
Considere o problema de valor inicial
x0 = f (t, x),

x(t0 ) = x0

(3.1)

de uma equao diferencial ordinria em Rn definida pela aplicao f : U Rn contnua


num aberto U R Rn .
Uma soluo da equao x0 = f (t, x) em U uma funo : I Rn derivvel no intervalo
I R, cujo grfico est totalmente contido em U , isto ,
(t, (t)) U

e 0 (t) = (t, (t)), t I.

As solues de x0 = f (t, x) tambm so denominadas de curvas integrais da equao.


Fixado um ponto (t0 , x0 ) U , dizemos que uma soluo satisfaz a condio inicial
(t0 ) = x0 , se t0 I
e
(t0 ) = x0 ,
neste caso dizemos que uma soluo do problema de valor inicial (3.1).
Observe que se : I Rn uma soluo do problema (3.1) em I, ento
0
integrando x = f (t, x) em I obtemos
Z

f (s, (s))ds, para t I.

(t) = x0 +
t0

(3.2)

35

Reciprocamente, se : I Rn uma funo contnua que satisfaz (3.2), ento usando o


Teorema Fundamental do Clculo conclumos que uma soluo de (3.1) em I.
Podemos garantir a existncia de solues do problema de valor inicial (3.1)
supondo apenas a continuidade de f (t, x). Para isto iremos considerar f : U Rn uma
aplicao contnua no aberto U Rn+1 e (t0 , x0 ) U um ponto qualquer fixado. Escolhemos
constantes a > 0, b > 0 tais que
Ra,b = Ia Bb U,
onde I = [t0 a, t0 +a] R e Bb = {x Rn ; |x x0 | b} e finalmente fixamos as constantes
M := max{|f (t, x)|; (t, x) Ra,b }
e



b
.
= min a,
M

Lema 3.1. Dado qualquer 0 < existe uma aplicao contnua : [t0 , t0 + ] Rn
tal que, para quaisquer t, u [t0 , t0 + ], valem
| (t) (u)| M |t u| e | (t) x0 | b

(3.3)

e, para qualquer t0 t t0 + , vale


Z

f (s, (s ))ds.

(t) = x0 +

(3.4)

t0

Demonstrao. Definimos
(
(t) =

x0
Rt
x0 + t0 f (s, x0 )ds

t [t0 , t0 ],
t [t0 , t0 + 1 ],

onde 1 = min{, }. Observe que para qualquer t [t0 , t0 + 1 ] vale


Z

f (s, (s ))ds,

f (s, x0 )ds =
t0

t0

pois t0 s t t0 + 1 , ento t0 t0  s  t0 . Portanto, (3.4) ocorre em


[t0 , t0 + 1 ].
As desigualdades em (3.3) so imediatas para t, u [t0 , t0 ]. Para
u, t [t0 , t0 + 1 ],
temos

Z t




| (t) (u)| f (s, x0 )ds M |t t0 |
u

36

Z t



| (t) x0 | f (s, x0 )ds M |t u| M 1 M b.
t0

Observe que se u t0 t, temos


| (t) (u)| | (t) x0 | M |t t0 | b.
De modo que as desigualdades (3.3), ocorrem para quaisquer t, u [t0 , t0 + 1 ].
Se 1 = , o lema est provado; se 1 < , tomamos 2 = min{, 2} e definimos
Z
t

f (s, x0 )ds

(t) = x0 +

t [t0 + 1 , t0 + 2 ],

t0

Assim, estendemos a uma aplicao contnua satisfazendo (3.3) para t, u [t0 , t0 + 2 ].


Se 2 < , tomamos 3 = min{, 3} e continuamos a estender at obter,
em no mximo n <  + 1 passos, uma apliacao contnua : [t0 , t0 + ] Rn tal que,
para quaisquer t, u [t0 , t0 + ], valem (3.3) e para qualquer t0 t t0 + , vale (3.4).
Lema 3.2. Seja (n ) uma sequncia de C ([a 1, b], Rm ) que converge uniformemente para
em [a 1, b] e defina n (s) = n (s n1 ) para a s b. Mostre que (n ) converge
uniformemente para a restrio de a [a, b].
Demonstrao. Por hiptese, n uniformemente em C ([a 1, b], Rm ) , o que implica
que dado  > 0, existe n0 N

kn (s) (s)k < , n n0 , s [a 1, b].


2

(3.5)

Como cada n C ([a 1, b], Rm ) contnua e est definida em um compacto segue que, n
uniformemente contnua, ou seja, existe > 0
kn (s) n (t)k < , sempre que |s t| < , s, t [a 1, b].

(3.6)

Da, para s [a, b]


kn (s) (s)k = kn (s) n (s) + n (s) (s)k
kn (s) n (s)k + kn (s) (s)k

kn (s) n (s)k +
2
1

= kn (s ) n (s)k +
n n0
n
2
Por (3.6), temos
kn (s

1
) n (s)k < < , se |s (s )| < .
n
2
n

(3.7)

37

Tomando n1 = max{n0 , 1/}, segue que


kn (s) (s)k


+ = , n n1 .
2 2

Portanto,
n uniformemente em C ([a, b]) .

Lema 3.3. Sejam (fn ) uma sequncia de C ([a, b], Rm ) que converge uniformemente para f

em [a, b] e g : Rm Rk uma aplicao uniformemente contnua. Defina hn , h C [a, b], Rk
pela composio, ou seja, hn (s) = g(fn (s)) e h(s) = g(f (s)) para a s b. Mostre que (hn )
converge uniformemente para h em [a, b].
Demonstrao. Queremos mostrar que (hn ) converge uniformemente para h em [a, b]. Sejam
hn (s) = g(fn (s)) e h(s) = g(f (s)). Dado > 0, > 0 tal que
kg(u) g(v)k < sempre que ku vk < u, v Rm
logo, como (fn ) converge uniformemente, temos que existe n0 N tal que,
kfn (s) f (s)k < , para todo n > n0 e para todo [a, b].
Da, segue-se que
khn (s) h(s)k = kg(fn (s)) g(f (s)) ,
n n0 , s [a, b].
Agora utilizando o Teorema de Ascoli-Arzel obtemos a existncia de solues
para equaes contnuas.
Teorema 3.1. (Cauchy-Peano). Sejam f : U Rn uma aplicao contnua definida no
aberto U Rn , (t0 , x0 ) U um ponto e a > 0, b > 0 tais que Ra, b = Ia Bb U . Ento, existe
uma soluo do problema do valor inicial ( 3.1) definida no intervalo fechado [t0 , t0 + ]
onde > 0 dado por = min{a, Mb }, com M > 0 uma cota superior qualquer de |f (t, x)|
no retngulo Ra, b .
Demonstrao. considerando s hipteses do teorema, fixamos > 0 e, para cada n = n1 , n
N, tomamos a aplicao n = n como no Lema 3.1. Pelas desigualdades em ( 3.3), temos
que, (n ) em C([t0 , t0 + ], Ra,b ) satisfaz as hipteses do Corolrio 2.3, o qual, garante a
existncia de uma aplicao contnua : [t0 , t0 + ] Ra,b que o limite uniforme de
uma subsequncia de (n ). Pelos lemas ( 3.2) e ( 3.3), vimos que, da convergncia uniforme

38

de n (s) (s) no compacto [t0 , t0 + ] e da continuidade uniforme de f no compacto


Ra,b decorre que
1
f (s, n (s )) f (s, (s))
n
converge uniformemente em [t0 , t0 + ]. Fixamos t0 t t0 + , e passando o limite com
n de ambos os lados da equao
Z

f (s, n (s

n (t) = x0 +
t0

donde obtemos

1
))ds,
n

f (s, (s))ds,

(t) = x0 +
t0

isto , conclumos que (t) uma soluo de x0 = f (t, x), x(t0 ) = x0 . Analogamente, mostramos que existe uma soluo para x0 = f (t, x), x(t0 ) = x0 em [t0 , t0 ] e assim, como ambas
solues possuem valor x0 e derivada f (t0 , x0 ) no ponto t0 , basta concaten-las, para obter
uma soluo definida em todo intervalo [t0 , t0 + ].

Concluso

objetivo desta pesquisa foi abordar o Teorema de Arzel-Ascoli e aplic-lo num


resultado que d garantias suficientes para a existncia de solues de uma EDO. Para obter
as demonstraes de tais teoremas, foi necessrio o estudo de diversos conceitos relacionados anlise matemtica. Sendo assim, preocupamo-nos em organizar bem a estrutura
deste trabalho, para que ao ser consultado, o leitor no tenha dificuldades em entender o
que abordamos aqui.
Todavia, salientamos que na aplicao foi possvel perceber que o Teorema de
Peano configura-se como um resultado forte na teoria das equaes diferenciais ordinrias,
exigindo apenas na condio de regularidade da funo que a mesma seja contnua.
Em suma, diante do estudo que propomos neste trabalho, esperamos que em
face do que foi apresentado, possamos contribuir para uma melhor compreenso por parte
do leitor. E assim, instiga-los pesquisa, no s do teorema de Arzel-Ascoli e das suas
aplicaes, mas tambm de qualquer outro resultado que se queira conhecer da anlise matemtica.

Referncias Bibliogrficas

[1] LIMA, Elon L. Espaos Mtricos. Associao Instituto Nacional de Matemtica Pura e
Aplicada, 2003, 299pp.(Projeto Euclides)
[2] DOERING, Claus Ivo. Equaes Diferenciais Ordinrias/ Claus Ivo Doering, Artur Oscar Lopes. 5.ed. Rio de Janeiro: IMPA, 2012. 421 p.: il.; 23 cm. (Coleo matemtica
universitria)
[3] KREYSZIG, Erwin. Introductory Functional Analysis with Applications, John Wiley
Classic Library, 1989.
[4] SOTOMAYOR Tello, Jorge Manuel. Lies de Equaes Diferenciais Ordinrias/Jorge
Sotomayor - Rio de Janeiro: Instituto de Matemtica Pura e Aplicada, 1979. (Projeto
Euclides)
[5] BRZIS, H.;Functional Analysis, Sobolev Spaces and Partial Differential Equations.
Springer, New York, 2011.
[6] LIMA, Elon L. Curso de anlise: vol. 2. 9 ed. Rio de Janeiro: IMPA, 2006.
[7] LIMA, Elon Lages. Anlise real: vol. 1. 11 ed. Rio de Janeiro: IMPA, 2012.

A Contexto Histrico

Figura A.1: Giulio Ascoli

Giulio Ascoli, nasceu em 20 de Janeiro de 1843 em Trieste, Itlia e morreu em


12 de Julho de 1896 em Milo. Ele foi um matemtico Italiano, estudante da Escola Normal
de Pisa, onde graduou-se em 1868.
Por volta de 1872 ele se tornou professor de lgebra e Clculo do Politecnico
di Milano University e em 1879 foi professor de matemtica na Reale Istituto Tecnico Superiore,
onde, em 1901, o homenagearam afixando uma placa que o lembra.
Membro correspondente do Istituto Lombardo, fez importantes contribuies
para a teoria de funes de uma varivel real e srie de Fourier. Por exemplo, Ascoli
introduziu equicontinuidade em 1884, um tema considerado como um dos conceitos fundamentais da teoria das funes reais.
Por sua vez, Cesare Arzel nasceu em 6 de maro de 1847, em Santo Stefano di
Magra, La Spezia, Itlia e morreu em 15 de maro de 1912, em sua Terra Natal. De famlia
com meios financeiros limitados. Frequentou o liceu em Sarzana por dois anos 1856-1858.
Posteriormente, ele foi para o Liceu, em Pisa, onde passou trs anos 1858-1861. Aps ter
ganho um concurso de admisso para a Escola Normal Superior de Pisa, que lhe deu uma
bolsa de estudos, ele comeou seus estudos como um estudante de cincias matemticas e

42

Figura A.2:

Csare Arzel

fsicas, em novembro de 1861. Em 1869 Arzel graduou-se tendo seu trabalho concludo
com a dissertao sobre a teoria do potencial.
Depois de se formar, Arzel continuou a frequentar cursos de anlise superior,
fsica matemtica e mecnica superior, entre outros. Iniciou sua carreira de professor no
Liceu de Macerata e, aps dois anos, pediu licena para continuar seus estudos em Pisa
no ano de 1872-1873, passando a frequentar um curso sobre a elasticidade dado por Enrico
Betti, que tambm o orientou em sua tese e, um curso sobre a teoria de funes de uma
varivel real dada por Ulisse Dini.
Arzel deixou vrias contribuies, entre elas, o mais importante trabalho cientfico, onde elaborou o conceito de convergncia uniforme gradual que d uma condio
necessria e suficiente para uma srie de funes contnuas convergir para uma funo contnua ( 1883 ). Na verdade, ele publicou trs artigos em 1885: Sulla Integrazione por srie;
Sulla integrabilit di una serie di Funzioni e Sui prodotti Infiniti. Foi quatro anos depois que
ele publicou o resultado para o qual ele mais conhecido hoje em seu artigo Sulle Funzioni
di linee (1895). Ele provou o resultado hoje conhecido como o teorema de Ascoli - Arzel
sobre a existncia de uma subsequncia uniformemente convergente em cada seqncia de
funes equilimitada e equicontinua. Ambos, Giulio Ascoli e Arzel tinham estudado o conceito de equicontinuidade e o teorema de Arzel era uma generalizao de um muito mais
fraco do que tinha sido provado por Ascoli, em 1884.
Note-se que hoje o teorema de Ascoli - Arzel um resultado sobre compacidade mas, essa ideia s foi introduzida por Maurice Frchet em 1904.

B Desigualdade de Minkowski

Exemplo 1.3

! p1
|i i |p

i=1

! p1
|k |p

! p1
|m |p

(B.1)

m=1

k=1

onde x = (i ) lp e y = ( i ) lp , e p 1. Para somas finitas essa desigualdade foi


dada por H.M inkowski (1896).
Demonstrao. Para p = 1 a desigualdade segue prontamente a apartir da desigualdade triangular para nmeros.
Seja p > 1. Para simplificar as frmulas vamos escrever i + i = i . A desigualdade
triangular para nmeros ns d
|i |p = |i + i ||i |p1 (|i | + |i |)|i |p1 .

(B.2)

Aplicando o somatrio de j variando a um n qualquer fixo, obtemos


n
X

|j |

j=1

n
X

p1

|j ||j |

j=1

n
X

|j ||j |p1 .

(B.3)

j=1

Para a primeira soma direita, aplicamos a desigualdade de Holder dada por

|j j |

j=1

! p1
|k |p

k=1

j=1

|j ||j |p1

n
X
k=1

! 1q
|m |q

(B.4)

m=1

e encontramos
n
X

! p1
|k |p

n
X

! 1q
(|m |p1 )q

m=1

(B.5)

44

direita temos simplesmente


(p 1)q = pq q = p + q q = p
pois, pq = p + q onde p e q so ditos expoentes conjugados. J que, sendo p > 1 definimos q por
1 1
+ = 1.
p q
O que implica (p 1)(q 1) = 1. Assim,
1
= q 1,
p1
de modo que
u = tp1 implica t = uq1
Analogamente, da ltima soma em (B.3), obtemos
n
X

|j ||j |p1

j=1

n
X

! p1
|k |p

n
X

! 1q
|m |p

(B.6)

m=1

k=1

Da, de (B.5) e (B.6) segue que


n
X
j=1

|j |p

n
X

! p1
|k |p

k=1

n
X

|k |p

! p1

n
X

m=1

k=1

! 1q
|m |p

Dividindo pelo o ltimo fator na direita e observando que 1

(B.7)

1
1
= , obtemos (B.1)
q
p

com n em vez de .
Agora n . direita, isso gera duas sries que convergem, porque, x, y lp .
Por isso, a srie no lado esquerdo tambm converge, e (B.1) est provada.
Assim, de (B.1) segue-se que a srie em

(x, y) =

X
j=1

! p1
|j j |p

(B.8)

45

converge. (B.1) tambm produz a desigualdade triangular. Na verdade, tendo qualquer


x, y, z lp , escrevendo z = (j ) e usando a desigualdade triangular para nmeros, obtemos
(x, y) =

X


|j j |p ;

i p1
(|j j | + |j j |)p
X
 1 X
1
p p
p p

|j j |
+
|j j |
;

hX

= (x, z) + (z, y).


Isto completa a prova de que lp um espao mtrico.

C Demonstrao do Exemplo (1.7)

Demonstrao. Seja (xn ) uma sequncia de Cauchy em R. Para cada n N,


Xn = {xn , xn+1 , . . .},
temos
X 1 X2 . . . Xn . . .
e os conjuntos Xn so limitados. Seja an = inf X onde n = 1, 2, 3, . . .. Ento, a1 a2
. . . an . . . b = sup X1 . Como toda sequncia montona limitada de nmeros reais
convergente, ento, existe o nmero a = lim an . Assim temos que a = lim xn . Da, basta
mostrar que a limite de uma subsequncia de (xn ). De fato, sejam dados arbitrariamente
> 0 e n1 N, podemos obter n > n1 tal que xn (a , a + ).1 Logo, sendo a = lim an ,
existe m > n1 tal que a < am < a + . Como,
am = inf Xm ,
existe n m e, portanto, n > n1 tal que
am xn < a + ,
isto ,
xn (a , a + ).

Ver [1], Proposio 3, pg. 162 e Proposio 4, pg. 119.

D Mais alguns Resultados

Proposio D.1. Se uma sequncia de funes fn : X R converge uniformemente para


f : X R e cada fn contnua no ponto a X ento f contnua no ponto a.
Demonstrao. Dado > 0, existe n0 N tal que

n > n0 |fn (x) f (x)| < ,


3
para todo x X.
Fixemos um nmero natural n > n0 . Como fn contnua no ponto a, existe > 0 tal
que x X,

|x a| < = |fn (x) fn (a)| < ,


3
donde
|f (x) f (a)| = |f (x) fn (x) + fn (x) fn (a) + fn (a) f (a)|
|fn (x) f (x)| + |fn (x) fn (a)| + |fn (a) f (a)| <

+ + = .
<
3 3 3
Donde segue o resultado.

48

Proposio D.2. (Weierstrass). Se M compacto, toda funo real contnua f : M R


limitada e atinge seus valores mximo e mnimo em M. Isto , existem x0 , x1 M tais que
f (x0 ) f (x) f (x1 ) para qualquer x M.
Demonstrao. Como a imagem f (M ) um subconjunto compacto de R. Logo, limitado
e fechado. Donde segue que, f limitada e tomando = inf f (M ), = sup f (M ), da
f (M ), f (M ). O que implica que, existem x0 , x1 M tais que f (x0 ) = , f (x1 ) = .
Portanto, f (x0 ) f (x) f (x1 ) para todo x M.

Você também pode gostar