Lema.

- Sea {

} una sucesin equicontinua y uniformemente acotada de funciones reales y

continuas en un espacio mtrico compacto X. Supongamos que toda subsucesin
uniformemente convergente de estas sucesin tiene el mismo limite . Entonces {

} es
uniformemente convergente a .
Teorema de Arzela-Ascoli.- Sea F una familia de funciones acotadas y equicontinuas en un espacio
mtrico (X,d) compacto. Entonces de toda sucesin de elementos de F, se puede extraer una sub
sucesin {

} uniformemente convergente
Por el absurdo, supongamos que {

} no converge uniformemente a , entonces existe al menos

una subsucesin {

} que no converge a . Tenemos:

) (

)|
{

}
{

} es una sucesin de funciones equicontinuas y uniformemente acotada, por el teorema de

Arzela, tenemos que {

} tiene una subsucesin {

} uniformemente convergente y por la

hiptesis converge a .

) (

)|
{

}
Pero por (1), como {

} {

} , tenemos

) (

)|
{

}
Dndose una contradiccin, por lo tanto

} converge uniformemente a
Proposicin.- Sea

una sucesin funciones continuas en un abierto

de tal que

converge para

, uniformemente en cada parte compacta de . Sea

una sucesin de puntos de que converge para

. Supongamos que

tiene una nica solucin mxima

en un intervalo mximo

. Sea
[ ]

. Entonces existe

tal que para n >

[ ] y

,[ ]

,[ ]uniformemente.
Demostracin.-
Sea C un compacto que contiene en su interior el grafico de

definido en [ ]. Sea

,
otro compacto que contiene a C en su interior, podemos definir estos compactos por hiptesis ya
que

converge en cada parte compacta de . Existe

| en

, y este
hecho se sustenta por ser

convergente y continua en un compacto.

Usando este colorario para C y

compacto, observando que se cumplen todas las hiptesis,

entonces existe tal que para todo

, existe una solucin del problema de Cauchy

Solucin nica definida en

{,|

| }, cuyo grafico est contenido en

.
Sea Existe

tal que se

y|

| por lo tanto,

, est definida en |

| , pues, en estas condiciones, |

| , contiene
|

| .
La familia F={

, {|

| }

} es una sucesin que satisface las hiptesis del lema.

a) Es uniformemente acotada y equicontinua
Si f:

Entonces

tomar la forma de ecuacin integral

a1) Uniformemente acotada

|

| |

| |

| |

| |

| |

| |

| |

| |

|
Se tiene que |

| entonces
|

|

Corolario.- Sea abierto en y continua. Si C , tal que || en

donde

, con dist(C,

) >0. Entonces , (

) C, existe
una solucin del problema de Cauchy en

{,|

| }

A2) Equicontinua
Tenemos que la familia de derivadas es uniformemente acotada
|

| |

| |
Por el teorema del valor medio
|

| |

|| | | |

|
Por lo tanto F es una familia de funciones equicontinua y uniformemente acotadas

b) Toda subsucesin

, uniformemente convergente en |

| converge para

.
Es suficiente probar que

y solucin de

. De hecho,

Por la continuidad de las

el limite se aplica al integrando adems tenemos que afecta al

lmite inferior porque a medida que n crece t
n
se acerca t0

Por la convergencia de (t
n
, x
n
) a (t
0
, x
0
) tenemos

Como f
n
converge uniformemente aplicamos el limite a la

Por la convergencia de f
n
a f
0
tenemos

El problema de cauchy

Es equivalente a la ecuacin integral

, es decir una funcin continua

en cuyo
grfico est contenido en es solucin del problema de Cauchy y de la ecuacin
integral






En (a) tenemos la ecuacin integral entonces existe una solucin tanto para (a) como
para el problema de Cauchy entonces tenemos:

( )

Donde es solucin del problema de Cauchy.

Luego, por la unicidad de las soluciones,

en |

| . Por el lema 2,

converge uniformemente para

en |

| .

Si

, repitiendo el argumento anterior para una sucesin

, se concluye que existe

tal que si n >

est definida en
[

] y converge uniformemente para

en este intervalo. Anlogamente

para . Despus de un nmero finito de etapas (a lo mximo (b-a)/ ) se concluye
que existe

tal que, para n >

est definida en [ ]

[ ] y
converge uniformemente para

en [ ].





Ejemplo del Lema:
Sea
| | | |
: 0, 1,1
n
f t definida por
( )
( )
1
.
n
n
x
f x sen
n
| |

= |
|
\ .
Observamos que para
cada
( )
:
n
n N f x e es continua en
| |
0, . t Veremos que la sucesin ( )
n
n N
f
e
satisface las
condiciones del Lema:
- Probaremos que ( )
n
n N
f
e
es una sucesin equicontinua:
Dado 0, c > considere 0. c o > >
Para elementos , x y X e con x y o < se tiene que : n N e
( ) ( )
( ) ( )
( ) ( )
1 1
2cos 1 1
2 2
n n
n n
n n
x y
x y x y
f x f y sen sen sen
n n n n
| | | |

+
| | | |
= = | |
| |
| |
\ . \ .
\ . \ .

( ) ( ) ( ) ( )
1
2 1 2 1
2 2
n n
n n
x y x y
f x f y sen x y
n n n n
o
o c

| |
s s = < s <
|
\ .

( ) ( )
n n
f x f y c <
Por tanto, ( )
n
n N
f
e
es equicontinua.

- Probaremos que ( )
n
n N
f
e
es una sucesin uniformemente acotada:
Para todo
| |
0, x t e y : n N e
( )
1
n
x
f x sen
n
| |
= s
|
\ .

( )
1
n
f x s
Por tanto, ( )
n
n N
f
e
es uniformemente acotada.
Si observamos la subsucesin:
( ) | |
0,1
k
n
k
x
f x sen x
n
| |
= e
|
\ .

Probaremos que esta cualquier subsucesin es uniformemente convergente pues son de Cauchy
(Teorema 1. Pgina 292, Anlisis Real de Elon Lages Lima):
Dado
0 0
2
0, / , :
k j
N Si n n N c
c
> - > >
( ) ( )
2cos
2 2 2 2
k j
n n
k j k j k j
x x x x x x
f x f x sen sen sen
n n n n n n
| | | | | |
| |
= = +
| | |
|
| | |
\ .
\ . \ . \ .

( ) ( )
( ) ( ) ( )
2 cos 2
2 2 2
k j
k j j k j k
n n
k j k j k j
x n n x n n x n n
f x f x sen sen
n n n n n n
| | | | | |
+
| | | = s
| | |
\ . \ . \ .

( ) ( )
( )
2 2
1 1 1 1 1 1
2
2
j k
n m
k j k j k j k j
x n n
f x f x x
n n n n n n n n
(
s = s s +
(
(


( ) ( )
2 2
0
2
n m
f x f x
N
c s <
de esta manera
( )
k
n
k N
f
e
es uniformemente convergente. Entonces:
( )
( ) ( )
lim lim lim 0 0
k
k
n
k k n
k k
x x
f x sen sen sen
n n

(
| | | |
= = = =
( | |
\ . \ .


De esta manera obtenemos un candidato para que sea el lmite de
( )
k
n
k N
f
e
sera:
( )
0 f x x X = e
- Probaremos que
( )
0
k
n
f f = uniformemente:
Dado
0 0
1
0, / :
k
N Si n N c
c
> - > >
( ) ( ) ( )
0
1 1 1
k k
n n
k k k k
x x
f x f x f x sen x
n n n n N
c
| |
= = s = s < <
|
\ .

por tal
( )
0
k
n
f uniformemente, por tal por el Lema ya visto:
( )
0
n
f