Вы находитесь на странице: 1из 107

UNIVERSIDAD NACIONAL MAYOR DE SAN MARCOS

FACULTAD DE CIENCIAS MATEMTICAS


E.A.P. DE MATEMTICA




Aplicaciones del teorema del punto fijo de Banach



TESIS
para optar el Ttulo Profesional de Licenciado en Matemtica Pura



AUTOR
J ulio Romn Loayza Cerrn


ASESOR
Toms Nez Lay


Lima Per
2006


Aplicaciones del teorema del punto fijo de Banach



Julio Romn Loayza Cerrn


Tesis presentada a consideracin del Cuerpo Docente de la Facultad de Ciencias

Matemticas de la Universidad Nacional Mayor de San Marcos, como parte de los requisitos

para obtener el ttulo profesional de Licenciado en Matemtica Pura.

Aprobada por:



________________________________

Dr. Vctor Rafael Cabanillas Zannini




________________________________

Dr. Alfonso Prez Salvatierra




________________________________

Mg. Toms Nez Lay






LIMA-PER

Diciembre 2006

ii


















- A la memoria de LUCIO LOAYZA GALINDO.
Mi siempre querido y recordado PADRE.

- A JULIA mi siempre querida MADRE, por sus
enseanzas y constante apoyo.

- A Rosario, Roco, Aristteles, Mirko, Rosa mis
hermanos por entender lo absorvente que es mi
profesin.

- Lucio y Gabriel Alonso la nueva generacin de
mi familia.





















iii
AGRADECIMIENTOS

- Al Prof. Toms Nez Lay por asesorarme en la eleccin, elaboracin y desarrollo del tema

de mi tesis. Con su apoyo logr participar como expositor en tres eventos, dos nacionales y

uno internacional; teniendo la gran responsabilidad, as como gran orgullo de representar a

mi universidad y a nuestro pas, trascendiendo en mi vida profesional y personal.

Una vez ms agradezco al Prof. Toms Nez Lay por el invalorable apoyo acadmico que

me brind, pero sobre todo por la enorme paciencia que me tuvo.

- Al Prof. Victor Cabanillas Zannini, as como al Prof. Alfonso Prez Salvatierra, por sus

importantes observaciones luego de revisar mi tesis, contribuyendo as poder hacer algunas

importantes precisiones convenientes y en otros casos desarrollar de mejorar manera los

captulos de esta tesis; y en ese camino estar mas conciente de lo que escriba.

- Al Prof. Eugenio Cabanillas Lapa quien de manera muy atenta y cordial acept realizar una

primera revisin del primer borrador que imprim de mi tesis; dndome las primeras

pautas a seguir. Adems por su constante apoyo moral en la culminacin de este trabajo.

- A la Prof. Roxana Lpez Cruz por su apoyo como flamante directora de nuestra escuela, en

agilizar los documentos, para quedar expedito para la sustentacin de mi tesis en esta fecha.

As como su ayuda con el idioma ingls, permitindome redactar correctamente el abstract

de este trabajo; y apoyo moral permanente.

- Al magster en matemtica pura Walter Huaraca Vargas, reciente ttulo obtenido en la

Universidad de Sao Paulo filial Sao Carlos Brasil; amigo sanmarquino, por la ayuda,

consejos y apoyo que me di cuando estuve en esa casa de estudios el verano del 2004, en

realidad fue l quien me hizo ver la necesidad de trabajar una tesis, y luego continuar de

manera seria y responsable los estudios en matemtica pura.

- A Jos Luis Quispe Castillo amigo sanmarquino, por brindarme algunos apuntes sobre el

tema de mi tesis, y sus constantes nimos a lo largo de la elaboracin de mi paper.

- A Jorge Astocondor Flix amigo sanmarquino, por la ayuda que me brind en elaborar los

grficos que posee este paper, adems por su apoyo moral.

- A Orlando Luciano Julca Jess, Jairo Yamil Esquivel Ortiz primero compaeros de aula

en nuestra facultad, luego leales y sinceros amigos, por esa gran amistad , apoyo moral y

nimos para lograr terminar mi tesis.




iv
RESUMEN


APLICACIONES DEL TEOREMA DEL

PUNTO FIJO DE BANACH


JULIO ROMN LOAYZA CERRN


DICIEMBRE 2006


Orientador: Prof. Toms Nez Lay.

Ttulo obtenido: Licenciado en Matemtica.

-----------------------------------------------------------------------------------------------------------------

Para aplicar el Teorema del Punto Fijo de Banach ( T.P.F.B.), se necesita una aplicacin

contractiva de un espacio completo en s mismo; este resultado garantiza la existencia y

unicidad de la solucin de un problema especfico.

El teorema nos provee de un mtodo iterativo, para construir la solucin aproximada con

cierto margen de error previamente fijado.

Por lo mencionado, el T.P.F.B. mtodo de las aproximaciones sucesivas (M.A.S.) se

convierte en una potente herramienta del anlisis, lo que quedar evidenciado luego de

presentar algunas importantes aplicaciones del T.P.F.B., tales como:

1.- Mtodos numricos.

2.- Ecuaciones integrales.

3.- Ecuaciones diferenciales ordinarias.

4.- Ecuaciones en derivadas parciales.

5.- Problema de Sturm-Liouville.

6.- Programacin dinmica.

7.- Dinmica compleja.

PALABRAS CLAVES:

- Espacios mtricos completos. - Contraccin.

- Puntos fijos. - Existencia y unicidad.


v
ABSTRACT


APPLICATIONS OF THE FIXED POINT

BANACHS THEOREM


JULIO ROMN LOAYZA CERRN


DECEMBER 2006


Management by: Toms Nez Lay.

Obtained Title: Mathematics License.

-----------------------------------------------------------------------------------------------------------------

To apply the Fixed Point Banachs Theorem (F.P.B.T.) , we need a contracting application

mapping a complete metric space into itself. The hypothesis guarantees the existences and

uniqueness of solution of a specific problem, whose must be planted as a problem to find

fixed points.

The theorem provides to us with a iterative method to construct the approximated solution

with a certain margin of error previously fixed.

According to before, the F.P.B.T. or successive approximations method (S.A.M.) becomes

a powerful tool into the analysis, it can be demonstrated through the next important

applications:

1.- Numerical methods.

2.- Integral equations.

3.- Ordinary differential equations.

4.- Partial differential equations.

5.- Sturm-Liouville Problem.

6.- Dynamic programming.

7.- Complex dynamic.

KEY WORDS:

- Complete metric space. - Contraction.

- Fixed point. - Existence and uniqueness.


vi



INDICE


- INTRODUCCIN....... 1


- CAPTULO I : DEFINICIONES Y TEOREMAS BSICOS.

I.1. Punto Fijo... 2

I.2. Contraccin........ 2

I.3. Iteracin.......... 6

I.4. Teorema del punto fijo de Banach (T.P.F.B.)... 6

I.5. Interpretacin geomtrica del T.P.F.B.. 23



- CAPTULO II : APLICACIONES DEL TEOREMA DEL PUNTO FIJO DE
BANACH (T.P.F.B.).

II.1. Aplicacin a los sistemas de ecuaciones lineales algebraicas..... 30

II.2. Aplicacin a las ecuaciones integrales..................... 38

II.3. Aplicacin a las ecuaciones diferenciales ordinarias.. 48

II.4. Aplicacin a las ecuaciones diferenciales parciales........ 52

II.5. Aplicacin al problema de Sturm-Liouville.....71

II.6. Aplicacin a la programacin dinmica............. 79

II.7. Aplicacin a la dinmica compleja......... 85



- Bibliografa. 99










INTRODUCCIN

Presentaremos el Teorema del Punto Fijo de Banach (T.P.F.B.), que es el anlogo

abstracto del mtodo de las aproximaciones sucesivas de Picard y de otros resultados

semejantes. El T.P.F.B. se desarrolla para aplicaciones contractivas definidas en un espacio

mtrico completo en el mismo; por esto al T.P.F.B. tambin se le llama teorema de la

aplicacin contractante (T.A.C.).

El T.P.F.B. es importante porque proporciona una tcnica que permite la prueba de

varios teoremas de existencia y unicidad en diferentes ramas del anlisis, as como en otras

reas de la matemtica. El teorema adems, nos proporciona una forma explcita de construir

la solucin aproximada mediante un proceso iterativo, que converge hacia la solucin exacta;

incluso mostraremos un resultado fcilmente deducible, el cual nos provee una frmula para

saber el nmero de iteraciones suficientes para obtener una aproximacin deseada con cierto

margen de error previamente establecido.

La presente monografa est divida en dos captulos, en el primero abordamos todo lo

concerniente al aspecto terico dotndolo de ejemplos, los cuales nos permitirn fijar ideas de

lo que se har en adelante. Es as como esto, nos proveer de suficientes herramientas

analticas para poder mostrar en el segundo captulo algunas aplicaciones importantes del

Teorema del Punto Fijo de Banach (T.P.F.B.).










-1-
CAPTULO I

DEFINICIONES Y TEOREMAS BSICOS

I.1. DEFINICIN

Sea X un conjunto no vaco y : T X X una aplicacin. Un punto x X se llama

punto fijo de T si ( ) T x x = i.e. x se mantiene fijo por T .

Para cada aplicacin : T X X , podemos definir el conjunto de puntos fijos como


{ }
( ) : ( ) fix T x X x T x = = .

Ntese que el concepto de punto fijo es muy general, ya que no se requiere siquiera que X

tenga alguna estructura, tan slo se requiere un conjunto diferente del vaco.

I.1.1. EJEMPLOS

I.1.1.1.- La funcin : f R R definida por
2
( ) f x x = tiene dos puntos fijos 0 y 1.

I.1.1.2.- Definimos la funcin : g R R por ( ) g x x a = + ; para todo aR con 0 a y

todo xR llamada traslacin. Es claro que una traslacin no tiene puntos fijos.

I.1.1.3.- La rotacin del plano tiene slo un punto fijo, el centro de rotacin.

I.1.1.4.- Sea la funcin : R R R R definida por ( , ) ( , 0) x y x = para cualquiera

( , ) x y R R llamada proyeccin. Recordemos que cualquier nmero real x es

identificado como un par ordenado ( , 0) x en el plano. Es obvio que la proyeccin

tiene infinitos puntos fijos.

I.1.1.5.- Sea
{ } { }
: 0 0 h R R definida por
1
( ) h x x
x
= + para todo
{ }
0 x R .
Aqu tambin es claro que h no tiene puntos fijos.

I.2. DEFINICIN

Sean ( , )
X
X d y ( , )
Y
Y d espacios mtricos. Decimos que una aplicacin : T X Y

es una contraccin si existe un nmero real con 0 1 < tal que, para todo , x y X

( , ) ( , )
Y X
d Tx Ty d x y .

Decimos que es la constante de contraccin de T .

Geomtricamente, esto significa que cualesquiera que sean los puntos x e y estos
tienen imgenes cercanas a estos puntos x e y ; ms precisamente, la razn
( , )
( , )
Y
X
d Tx Ty
d x y
no
excede a la constante que es estrictamente menor que 1.

-2-
Cuando Y X = , decimos que T es una contraccin en X .

I.2.1. EJEMPLOS

I.2.1.1.- Sea : T R R definida por


3
( ) 1 T x x = + , xR.
Encontrar la solucin de

( ) T x x =

es equivalente a encontrar las races de la ecuacin


3
1 0 x x = , xR.

Afirmacin: T es una contraccin en el subconjunto
[ ]
1, 2 X = porque 1 < .

En efecto, observemos que para , x y X tenemos por el teorema del valor

medio que existe
] [
1, 2 c tal que

( ) ( ) ( )( ) T x T y T c x y = (I.2.1.1.A)

Aqu,

( )
2
3
1
( )
3 1
T x
x
=
+
;
como

1 2 c < <

entonces


( )
2
3 3 3
1
4 9
< <
3 3 3
c +
,

por consiguiente

( )
3
2
3
1 1
<
3 4
3 1 c +
,
de donde


3
1
( )< =0.2100
3 4
T c .

Luego en (1.2.1.1.A) tomando el valor absoluto en ambos miembros y reemplazando

la desigualdad anterior tenemos

( ) ( ) T x T y x y ; , x y X .

Entonces T es una contraccin en X con constante de contraccin 0.21 1 = < .

-3-
I.2.1.2.- Sea : f R R definido por
( )
2
x
f x sen

=


, xR.

Afirmacin: f es una contraccin en R.

En efecto, para cualesquiera , x y R tenemos

( ) ( )
2 2
x y
f x f y sen sen

=





1 1
2 cos
2 2 2 2 2 2
x y x y
sen


= +






2 cos 2
4 4 4
x y x y x y
sen sen
+







1
2
4 2
x y
x y

=

i.e. ( ) ( ) f x f y x y ; , x y R.

Por lo tanto, f es una contraccin en R con constante de contraccin
1
2
= .

I.2.1.3.- Sea
[ ] [ ]
: , , T a b a b una funcin diferenciable en
[ ]
, a b tal que

( ) 1 T x k < ,

para algn k R. Entonces por el teorema del valor medio tenemos, que para

cualesquiera
[ ]
, , x y a b existe
] [
, c a b tal que

( )( ) Tx Ty T c x y = ,

entonces

( ) Tx Ty T c x y k x y = .

Por lo tanto, T es una contraccin en
[ ]
, a b .
I.2.1.4.- Sea
m
U R abierto y convexo. Si :
n
f U R es una aplicacin diferenciable tal

que
( ) 1 f x <

para una cierta constante y todo x U , por la desigualdad del valor medio se


-4-
cumple para cualesquiera , x y U que

( ) ( ) f x f y x y

entonces f es una contraccin.

I.2.1.5.- Para campos vectoriales que parten de
n
R y llegan a
m
R se prueba una versin del

teorema del valor medio, el cual a su vez nos permite enunciar:

Sean ,
n
a bR con a b tales que el segmento
[ ]
,
n
a b A R , A abierto.

Si :
m
f AR es un campo vectorial con derivadas parciales
j i
D f continuas en

A, entonces

[ ]
2
2 2
,
( ) ( ) sup ( ) : ,
j i
i j
f b f a b a D f x x a b








Observemos que f es lipschitziana, pero si exigimos que


[ ]
2
,
( ) : , 1
j i
i j
D f x x a b


<



,

tendremos que f es una contraccin.

I.2.2. NOTACIONES

I.2.2.1.- Tx denotar la imagen de x va T i.e. ( ) Tx T x = .

I.2.2.2.- Sea : T X X una aplicacin,
n
T denotar la composicin de T consigo misma

n veces ( o la n-sima iterada de T ) i.e.
n
n veces
T T T T

=
_
. Observemos que

1 n n
T T T

= .

I.2.3. OBSERVACIONES

I.2.3.1.- Si T es una contraccin, resulta ser uniformemente continua.

I.2.3.2.- Si 0 = tenemos que T es la funcin constante.

I.2.3.3.- En el caso que la aplicacin T no sea una contraccin, pero para cualesquiera

, x y X satisface la desigualdad

( , ) ( , )
Y X
d Tx Ty d x y < ,

decimos que T es no expansiva.



-5-
I.2.3.4.- El Teorema del Punto Fijo de Banach (T.P.F.B.) enunciado ms adelante es un

teorema de existencia y unicidad para puntos fijos de aplicaciones contractivas, y

tambin da un procedimiento constructivo para obtener aproximaciones cada vez

mejores del punto fijo ( solucin prctica del problema ). Este procedimiento es

llamado iteracin, una definicin ms precisa de iteracin es la siguiente.

I.3. DEFINICIN

Iteracin, es un mtodo tal que dada : T X X una aplicacin, elegimos un punto

arbitrario
0
x en X y determinamos sucesivamente
1 2 3
, , ,... x x x de la forma
1 n n
x Tx
+
= , con

0,1, 2,... n = ; es decir,


1 0 2 1 1
, ,......,
n n
x Tx x Tx x Tx
+
= = = .
.
Los procedimientos de iteracin son usados a menudo en muchas ramas de la matemtica

aplicada, y las pruebas de convergencia y de estimaciones de error son comnmente obtenidas

aplicando el T.P.F.B.

I.4. TEOREMA (TEOREMA DEL PUNTO FIJO DE BANACH (T.P.F.B.))

Sea ( , ) X X d = un espacio mtrico completo. Supongamos que : T X X es una

contraccin en X . Entonces
i).- Existe un nico
_
x X punto fijo de T .
ii).- Cualquiera sea
0
x X , la sucesin iterada
1 n n
x Tx

= ; 1, 2,... n = converge a
_
x .

Demostracin:

Construiremos una sucesin ( )
1
n
n
x

y mostraremos que es de Cauchy, esta resulta ser


convergente en el espacio completo X , probaremos entonces que su lmite
_
x es un punto

fijo de T y que T no tiene ms puntos fijos.

EXISTENCIA

Para
0
x X arbitrario explicitamos los elementos de la sucesin iterada ( )
1
n
n
x

definida

por
1 n n
x Tx

= ; 1, 2,... n =


1 0
x Tx = ,
2
2 1 0 0
( ) x Tx T Tx T x = = = , y en general
0
n
n
x T x = , 1, 2,... n =

Claramente esta es una sucesin de imgenes de
0
x bajo repetidas aplicaciones de T .

Vamos a demostrar que ( )
1
n
n
x

es una sucesin de Cauchy en X .



-6-
Para 1 m , tenemos


( ) ( )
1 1 1 1 2
( , ) ( , ) , ,
m m m m m m m m
d x x d Tx Tx d x x d Tx Tx
+
= =

( ) ( ) ( )
2 2 3
1 2 2 3 2 3
, , ,
m m m m m m
d x x d Tx Tx d x x

=
.
( )
0 1
,
m
d x x

i.e. ( )
1 0 1
( , ) ,
m
m m
d x x d x x
+
, m
+
Z . (I.4.A)

Por otro lado para 1 m n tenemos


( ) ( ) ( )
1 1 2 1
( , ) , , ,
n m n n n n m m
d x x d x x d x x d x x
+ + +
+ + +

(Usando repetidas veces la relacin (I.4.A)).

( ) ( ) ( )
1 1
0 1 0 1 0 1
, , ,
n n m
d x x d x x d x x
+
+ + +


( ) ( )
1
0 1
1 ,
n m n
d x x

= + + +

( )
0 1
1
,
1
m n
n
d x x



Como 0 1 < tenemos 1 1
m n


< , luego


0 1
( , ) ( , )
1
n
n m
d x x d x x

(I.4.B)

Adems
lim 0
n
n

=

pues 0 1 < , por lo tanto de (I.4.B) obtenemos


,
lim ( , ) 0
n m
n m
d x x

=

luego, la sucesin ( )
1
n
n
x

es de Cauchy en X . Como X es completo, ( )


1
n
n
x

converge a
un punto de X , digamos que
_
x X es tal que
_
n
x x .
Vamos a demostrar que
_
x es un punto fijo de T . En efecto, tenemos


_ _ _ _
( , ) , ,
n n
d T x x d T x x d x x

+


,
pero como
1 n n
x Tx

= , tenemos

_ _ _ _
1
( , ) , ,
n n
d T x x d x x d x x


+


.

-7-
Observemos que cada trmino del segundo miembro de la desigualdad anterior tiende a 0,

esto implica que Tx x = .

UNICIDAD
Supongamos que exista
_
y X otro punto fijo de T con
_ _
x y .
i.e. tenemos
_ _
T x x = ,
_ _
y T y = con
_ _
x y en X , entonces


_ _ _ _ _ _
0 , , , d x y d T x T y d x y

< =



de donde resulta que 1 , lo que es una contradiccin.

El aporte ms importante a destacar del T.P.F.B., es que nos da explcitamente un esquema

iterativo para encontrar una solucin aproximada de un determinado problema. Si esta aproxi-

macin se compara con la solucin exacta, da origen a la aparicin de error, el cual deseamos

que sea el menor posible.

I.4.1. COROLARIO (ESTIMACIN DE LA COTA DE ERROR)

Bajo las condiciones del T.P.F.B. y siguiendo las notaciones usadas, se cumplen


_
0 1
( , ) ( , )
1
n
n
d x x d x x

(I.4.1.A)


_
1
( , ) ( , )
1
n n n
d x x d x x

(I.4.1.B)

Demostracin:

La desigualdad (I.4.1.A) se sigue de (I.4.B) manteniendo fijo n y haciendo m.

Para deducir (I.4.1.B), tomamos 1 n = y reemplazando
0
x por
0
y y
1
x por
1
y , obtenemos

de (I.4.1.A)

_
1 0 1
( , ) ( , )
1
d y x d y y



Haciendo
0 1 n
y x

= , tenemos

1 0 1 n n
y Ty Tx x

= = = ,

obteniendo finalmente (I.4.1.B).
Cada una de estas desigualdades nos permiten hallar los errores al aproximarnos a
_
x

usando ( )
1
n
n
x

. Llamaremos a la desigualdad (1.4.1.A) estimacin previa, y a (1.4.1.B)



estimacin posterior. Haremos uso de este corolario en el captulo 2, seccin II.1.3.


-8-
La cota de error previa (I.4.1.A) puede ser usada en el inicio de los clculos para estimar

el nmero de pasos necesarios para obtener una exactitud dada; (I.4.1.B) puede ser usada en la

etapa intermedia o al final del clculo. Es menos exacta que (I.4.1.A) y puede ser mejorada.

El T.P.F.B. se puede extender al caso en que alguna potencia de T sea contractiva en X .

I.4.2. COROLARIO

Sean ( , ) X d un espacio mtrico completo y : T X X una aplicacin tal que para

algn entero 1 m , la aplicacin
m
T es una contraccin en X . Entonces T tiene un nico

punto fijo y, para todo
0
x X , la sucesin
( )
0
n
n
T x
N
converge al punto fijo.
Demostracin:

Si 1 m = , nuestro enunciado es el T.P.F.B. ya probado.
Si 1 m > . Sea
_
y el punto fijo de
m
T cuya existencia viene del T.P.F.B., probaremos que

_
y es punto fijo de T .

_ _ _ _
( , ) ( ( ), )
m m
d T y y d T T y T y =


_ _
( ( ), )
m m
d T T y T y =


_ _
( , ) d T y y

donde es la constante de contraccin de
m
T . Luego obtenemos que

_ _
( , ) 0 d T y y =
pues 1 < . Por lo tanto
_ _
T y y = .
Recprocamente, si
_
y es un punto fijo de T

_ _ _
1 1
( )
m m m
T y T T y T y

= =
_ _
2 2
( )
m m
T T y T y

= =
_ _
T y y = = =
entonces
_
y es un punto fijo de
m
T .

En resumen, tenemos bajo las condiciones de este corolario, lo siguiente:

_
y es un punto fijo de T si y slo si
_
y es un punto fijo de
m
T

Como
m
T es contractiva en X y ( , ) X d es completo, por el T.P.F.B. tem i) sabemos que
un existe un nico punto fijo
_
y de
m
T que por tanto es el nico punto fijo de T .

Adems dado
0
x X arbitrario, tenemos por el T.P.F.B. tem ii) para la contraccin
m
T que

-9-

_
0 0
( )
m k mk
T x T x y =

cuando k , y de aqu para todo r con 1 1 r m tenemos

( )
_
0 0 0
n mk r mk r
T x T x T T x y
+
= =
i.e. Hemos probado que
_
0
n
T x y cuando n .

Desde el punto de vista de la matemtica aplicada, en las aplicaciones prcticas la

situacin no es an completamente satisfactoria porque frecuentemente ocurre que la

aplicacin T no es una contraccin en el espacio entero X , pero su restriccin T|
Y
a

un subconjunto cerrado Y del espacio mtrico completo X satisface la definicin de

contraccin. En este caso si podemos asegurar que ( ) T Y Y entonces aplicamos el

T.P.F.B. a la aplicacin T| :
Y
Y Y , teniendo en cuenta que Y tambin es un espacio

mtrico completo.

I.4.3. TEOREMA (CONTRACCIN EN UNA BOLA)
Sea ( , ) X d un espacio mtrico completo y
_
0
( , ) Y B x r = ,
0
x X . Supongamos que

: T X X y para todo , x y X se satisface las siguientes condiciones

1).- Existe 0 1 < tal que ( , ) ( , ) d Tx Ty d x y .

2).-
0 0
( , ) (1 ) d x Tx r .
Entonces para
0
x Y la sucesin iterada
0
n
n
x T x = ; nN, converge a un punto
_
x Y .
Este
_
x es un punto fijo de T y es el nico punto fijo de T en Y .

Demostracin:

Es suficiente probar que ( ) T Y Y .
En efecto, sea
_
0
( , ) x Y B x r = entonces


0
( , ) d x x r .

Por otro lado, sabemos que


0 0 0 0
( , ) ( , ) ( , ) d Tx x d Tx Tx d Tx x +


0
( , ) (1 ) d x x r +

r r r r + = .
i.e.
0
( , ) d Tx x r lo que implica que
_
0
( , ) Tx B x r Y = y por lo tanto ( ) T Y Y .

-10-

i.e. tenemos T| :
Y
Y Y es una contraccin, ( , ) Y d es completo, entonces por el T.P.F.B.
T tiene un nico punto fijo
_
x Y .

I.4.4. TEOREMA

Sea X un espacio mtrico completo y un espacio topolgico. Para todo , sea

: T X X

tal que

1).- ( ) T

es una familia de contracciones localmente uniformes i.e. para todo
0
,

existe una vecindad
0
de
0
y una constante
0
0 1 c

< tal que




0
( , ) ( , ) d T x T y c d x y

; , x y X ,
0
.

2).- La funcin T x X

es continua para todo x X .



Entonces, si para cada , x

denota el punto fijo de T

, tenemos que la aplicacin



x X

es continua.

Demostracin:

Sea
0
y
0
como en 1), entonces por hiptesis 2) para cada x X , tenemos


0
T x T x

. (I.4.4.A)
Luego, consideremos

0 0 0
( , ) ( , ) d x x d T x T x

=


0 0 0 0
( , ) ( , ) d T x T x d T x T x

+


0 0 0 0 0
( , ) ( , ) c d x x d T x T x

+

i.e.
0 0 0 0
0
1
( , ) ( , )
1
d x x d T x T x
c



el segundo miembro, tomando
0
x x

= en (I.4.4.A), converge a 0.

Finalmente, tenemos
0
x x

siempre que
0
.

I.4.5. OBSERVACIN

Cuando
0
= en el teorema I.4.4, decimos que ( ) T

es una familia uniforme de

contracciones o que la aplicacin

: ( , ) ( , ) ( ) T x T x T x X

= ,

es una contraccin uniforme.

-11-
I.4.6. EJEMPLOS

I.4.6.1.- El teorema de la Aplicacin Contractante (T.A.C. T.P.F.B.) no se satisface si T es

no expansiva.

En efecto, como un contra ejemplo sencillo, consideremos
[ [
1, X = + R

con la distancia usual

( , ) d x y x y = , , x y X .

Como X es un subconjunto cerrado de R, resulta un espacio mtrico completo.

Definamos la aplicacin : T X X por


1
Tx x
x
= + , x X .

Verifiquemos que T es no expansiva.

En efecto, por el teorema del valor medio existe
] [
1, c + tal que

( ) Tx Ty T c x y = . (I.4.6.1.A)

Tenemos

2
1
( ) 1 T x
x
= ,

como 1 c > entonces

2
1
0 1 1
c
< <
por lo tanto

( ) 1 T c < ,

luego reemplazando en (I.4.6.1.A) para cualesquiera , x y X con x y tenemos

( , ) ( , ) d Tx Ty d x y < ,

y sin embargo no existe punto fijo de T .

I.4.6.2.- Un ejemplo ms simple (cuyo dominio no es entretanto un subconjunto cerrado) es el

de la funcin
] [ ] [
: 0,1 0,1 g definida por


3
( )
4
x
g x = ,
] [
0,1 x .

Tenemos
0 ( ) 1 g x < < ,

-12-
luego por el ejemplo I.2.1.4., g es no expansiva y no posee punto fijo en
] [
0,1 .

I.4.6.3.- Consideremos : f R R dada por


( )
2
1
( ) 1
2
f x x x = + + , xR.

Para todo xR tenemos que

0 ( ) 1 f x < < ,
pues


2
1
( ) 1
2
1
x
f x
x

= +

+

.

Pero como para todo xR se cumple que

( ) f x x > ,

entonces f no posee punto fijo (ver grfico I.5.1.3. pgina 27).

I.4.6.4.- Sea : f R R una funcin satisfaciendo la condicin de Lipschitz

( ) ( ) f t f s L t s ; , t s R
con 0 1 L < .
Entonces existe un nico
_
t R tal que
_ _
( ) f t t = y, para cualquier t R, tenemos

_
( )
( )
n
f t t cuando n .

En efecto, basta observar que R es un espacio mtrico completo y que f es

una contraccin en R, pues 0 1 L < .

I.4.6.5.- Sea
n
F R cerrado, : f F F satisfaciendo la condicin de Lipschitz

( ) ( ) f x f y L x y ; , x y F

con 0 1 L < . Entonces existe un nico
_
x F tal que
_ _
( ) f x x = .

En efecto, siendo ( , )
n
R completo, un conjunto cerrado
n
F R ser un

espacio mtrico completo.

I.4.6.6.- Sea
[ ]
: , T a b R una funcin diferenciable en
[ ]
, a b ; con ,
+
R tales que


1
0 ( ) T x

< < ;
[ ]
, x a b .

-13-
Si ( ) 0 ( ) T a T b < < , entonces podemos usar el T.P.F.B. para hallar una solucin

aproximada de la ecuacin 0 Tx = , para todo
[ ]
, x a b . Definiendo


1
T x x Tx = (I.4.6.6.A)

tenemos que 0 Tx = si y slo si
1
T x x = . Luego, el problema se reduce a probar que


[ ] ( ) [ ]
1
, , T a b a b

y que
1
T es una contraccin en
[ ]
, a b .

En efecto, tenemos


1
( ) ( ) T a a T a a = > ,


1
( ) ( ) T b b T b b = < .

Derivando ambos miembros de (I.4.6.6.A), obtenemos que


1
1 ( ) 0 T x T x
= >

entonces
1
T es creciente en
[ ]
, a b , luego
[ ]
1
( ) , T x a b si
[ ]
, x a b .

Y por lo tanto


[ ] [ ]
1
( , ) , T a b a b .

Adems, como

1
( ) 1 ( ) 1 1 T x T x
= <
es decir tenemos


1
( ) T x k

,
[ ]
, x a b

donde 1 k = con 0 1 k < < .

Luego por el ejemplo I.2.1.3., tenemos que


[ ] [ ]
1
: , , T a b a b

es una contraccin en
[ ]
, a b . Luego por el T.P.F.B., existe un y slo un
[ ]
, x a b

punto fijo de
1
T . An ms, dado un punto
[ ]
0
, x a b tenemos que la sucesin

iterada ( )
n
n
x
N
con
1 1 n n
x T x

= ; 1, 2, n = es tal que
1
n
T x x .




-14-
I.4.6.7.- La ecuacin

s sen =

con
0 2 , 0 1 < , 0 2 s < <

donde es la excentricidad de la orbita de algn satlite, s es la anomala media o

ngulo que recorre el satlite y es anomala excntrica; est ecuacin nos permite

calcular de forma aproximada la distancia de un satlite con respecto al Sol, llamada

ecuacin de Kepler.

Dado s se desea hallar tal que

sen s =
con este objetivo definimos

( ) T sen s = ,

y el problema se reduce a hallar los ceros de la funcin T .

En efecto, hacemos

(0) 0 T s = < ,

(2 ) 2 0 T s = > ,

entonces
(0) 0 (2 ) T T < < .

Luego tomamos R tal que 1 < < , con esto

( ) 1 cos 1 T = < + .

Y como
1 1 cos ( ) T < = ,

tenemos
1 ( ) 1 T < < +
entonces

1
0 1 ( )
1
1
T

< <
+
.

Luego se cumplen las condiciones del ejemplo I.4.6.6., con

0 a = , 2 b = , 1 = ,
1
1

=
+
.

Entonces de (I.4.6.6.A) tenemos que

-15-
( )
1
1 1
( )
1 1
T T sen s

= =
+ +


es una contraccin, y los puntos fijos de
1
T son los ceros de T .

I.4.6.8.- Sea
2 2
: f R R el campo vectorial definido por


( )
2 2
( , ) ( ), 1 f x y sen x y x y = + + + .

Entonces existe un nico
2
pR tal que ( ) 2 f p p = .

Afirmacin:
2
f
es una contraccin en
2
R .

En efecto, usando el ejemplo I.2.1.5., para cada
( )
2
, x y R tenemos


( )
( ) ( )
2 2 2 2
cos cos
,
1 1
x y x y
Df x y
x y
x y x y


+ +


=



+ + + +



y en consecuencia,


( )
2 2
2
2
2 2
,
( ) 2cos 3
1
j i
i j
x y
D f x x y
x y
+
= + +

+ +

.

Entonces por el ejemplo anterior
2
f
es una contraccin en
2
R con constante de
contraccin
3
1
2
= < ; recordemos que
2
R es completo. Por tanto por el T.P.F.B.
existe un nico
2
pR tal que ( )
2
f
p p = entonces ( ) 2 f p p = .

Ms generalmente, existe un nico
2
pR tal que ( ) f p kp = siempre que

3 k > .

I.4.6.9.- Dado el conjunto


( ) { }
2
, : 1, 1 C x y x y = R

y el sistema


-16-

2 2
( ) ( ) 2
4
sen x sen y x
x y y
=

+ =



Probaremos que
( )
2
0, 0 R es la nica solucin en C del sistema dado.

En efecto, observemos que C es completo por ser un conjunto cerrado de
2
R y

y consideremos el campo vectorial
2
: f C R definido por


( )
2 2
( ) ( )
, ,
2 4
sen x sen y x y
f x y
+
=


.

Es inmediato que ( ) f C C y que f es diferenciable; y la matriz jacobiana viene

dada por


( )
cos( ) ( ) ( )cos( )
1
,
2
x sen y sen x y
Df x y
x y


=





luego, hallamos


( )
2
2 2 2 2 2 2
,
1
( ) cos ( ) ( ) ( )cos ( )
4
j i
i j
D f x x sen y sen x y x y = + + +




( )
2 2 2 2
1
( ) ( )
4
sen y sen x x y + + +


( ) ( )
2 2
1 1
2 (1) 2 (1) 1 1
4 2
sen sen + = + < .

Pues si para todo
[ ]
1,1 x hacemos

2
( ) ( ) g x sen x = ,

entonces g alcanza su mximo en 1 x = .

Por lo tanto por el ejemplo I.2.1.5. f es una contraccin en C, luego sigue del

T.P.F.B. que f tiene un nico punto fijo, y en consecuencia
( )
0, 0 es la nica

solucin del sistema considerado en C.

I.4.6.10.- Sea
n
A R un abierto convexo y sea : f A A una aplicacin continua.

Supongamos que f es derivable en A y que
2
,
sup ( ) : 1
j i
i j
D f x x A


<



.

-17-
Entonces f tiene un nico punto fijo en A.

En efecto, sean , x y A con x y aplicando el resultado del ejemplo I.2.1.5.

a la funcin f en el segmento de recta
[ ]
, x y obtenemos

2
2 2
,
( ) ( ) sup ( ) :
j i
i j
f y f x y x D f x x A






.
As, denotando

2
,
sup ( ) : 1
j i
i j
D f x x A


= <



,

tenemos que


2 2
( ) ( ) f y f x y x ; , x y A .

Por la continuidad de f , tambin tenemos


2 2
( ) ( ) f y f x y x ; , x y A .

Entonces por el T.P.F.B. tenemos que existe un nico punto fijo de f en A.

I.4.6.11.- Demostraremos la existencia de una nica funcin continua y acotada


[ [
: 0, y + R que es solucin de la ecuacin integral


2
0
( ) ( ) ( )
t
s t
y t sen t e y se ds

= +

,
[ [
0, t + .

En efecto, consideremos


[ [ ( )
*
0, ; X C = + R ={
[ [
: 0, ; f + R f es continua y acotada}

i.e. el espacio de las funciones continuas y acotadas en
[ [
0, + , para cualesquiera

, f g X se define la norma


[ [ 0,
sup ( ) ( )
t
f g f x g x
+
= .

Recordemos que
( )
, X es un espacio de Banach.

Para todo x X y cada
[ [
0, t + , definimos la aplicacin : T X X por


( )
2
0
( ) ( ) ( )
t
s t
Tx t sen t e x se ds

= +

.



-18-
Afirmacin 1: Tx X .

i).- Tx es continua sobre
[ [
0, + pues la funcin seno es continua, y la funcin


2
0
( )
t
s t
t e x se ds

es continua por el teorema fundamental del clculo.



ii).- Tx es acotada en
[ [
0, + .

En efecto, para toda x X y cada
[ [
0, t + , tenemos


( )
2
0
( ) ( ) ( )
t
s t
Tx t sen t e x se ds




2
0
1
t
s
M e ds

+

( x es acotada pues x X )


2
0
1 1
2
s
M e ds M


+ = +

.

Afirmacin 2: T es una contraccin en X .

En efecto, para cualesquiera , u v X , tenemos

( ) ( )
( ) ( )
2 2
0 0
( ) ( ) ( ) ( ) ( ) ( )
t t
s t s t
Tu t Tv t sen t e u se ds sen t e v se ds

= + +




2
0
( ) ( )
t
s t t
e u se v se ds

=




2
0
( ) ( )
t
s t t
e u se v se ds




[ )
2
0
0,
sup ( ) ( )
t
t t s
t
u se v se e ds

+





2
0
2
s
u v e ds u v



i.e. ( ) ( ) ( ) ( )
2
Tu t Tv t u v

;
[ [
0, t + , , u v X .

Entonces

[ )
( ) ( )
0,
sup ( ) ( )
2 t
Tu t Tv t u v

+
; , u v X ,

por lo tanto

2
Tu Tv u v

; , u v X .


-19-
Luego, T es una contraccin en el espacio de Banach
[ [ ( )
*
0, ; X C = + R , y

por lo tanto, por el T.P.F.B. se concluye la prueba.

I.4.6.12.- Demostraremos que, para cualquier
[ [ ( )
*
0, ; f X C = + R existe una nica

funcin y X tal que

( )
2
0
cos( )
( ) ( )
4
t y s t
y t f t ds
s
= +
+

, 0 t .

En efecto, en
[ [ ( )
*
0, ; X C = + R para todo x X y todo f X definimos la

aplicacin : T X X por

( )
( )
2
0
cos( )
( ) ( )
4
t x s t
Tx t f t ds
s
= +
+

, 0 t .

Afirmacin 1: Tx X .

En efecto, para cada x X tenemos

i).- Tx es continua sobre
[ [
0, + , pues f lo es por hiptesis, adems la funcin


2
0
( cos( ) )
4
t x s t
t ds
s +

es continua por el teorema fundamental del clculo.



ii).- Veamos que Tx es acotada en
[ [
0, + . Tenemos para todo 0 t

( )
( )
2
0
cos( )
( ) ( )
4
t
x s t
Tx t f t ds
s
+
+




2
0
4
t
ds
M N
s
+
+

( f y x acotadas pues , f x X )


2
0
4 4
ds
M N M N
s

+ +
+



Afirmacin 2: T es una contraccin en X .

En efecto, para , u v X , tenemos


( ) ( )
( ) ( )
2 2
0 0
cos( ) cos( )
( ) ( ) ( ) ( )
4 4
t t u s t v s t
Tu t Tv t f t ds f t ds
s s

= + +


+ +





( ) ( )
2
0
1
cos( ) cos( )
4
t
u s t v s t ds
s

=

+



-20-

[ )
( ) ( )
{ }
2
0
0,
1
sup cos( ) cos( )
4
t
t
u s t v s t ds
s +

+


4
u v

= .


i.e.
( ) ( )
( ) ( )
4
Tu t Tv t u v

; , u v X , 0 t .

Por lo tanto

4
Tu Tv u v

; , u v X .

T es una contraccin en
[ [ ( )
*
0, ; X C = + R , la conclusin sigue del teorema del

punto fijo de Banach (T.P.F.B.).

I.4.6.13.- Observemos que si
n
X R es compacto y la aplicacin : f X X cumple

para arbitrarios , x y X con x y , con la condicin

( ) ( ) f x f y x y < ,

entonces f posee un nico punto fijo en X .

En efecto, sea a X el punto donde la funcin continua : X R dada por

( ) ( ) x x f x =

posee su mnimo ( ) c a f a = .

Si fuese 0 c , entonces tendramos ( ) a f a , de donde

( ) ( ( )) ( ) f a f f a a f a <

es decir, tenemos

( )
( ) f a c < ,

lo cual es una contradiccin. Por lo tanto

0 c = ,
implicando que

( ) a f a = ,

i.e. a es un punto fijo de f en X .

Si fuese ( ) a f a = y ( ) b f b = con a b resultara

( ) ( ) a b f a f b a b = < ,

lo cual es absurdo. Por lo tanto a es el nico punto fijo de f en X .

-21-
I.1.6.14.- Sean un espacio topolgico;
0
, 0 r > y f dada por


[ ] [ ] [ ]
: ( , , , ) , , , ( , , , ) f t s x D a b a b r r f t s x = R

una funcin continua tal que

i).
0
( , , 0, ) 0 f t s = para cualquier
[ ]
, , s t a b ;

ii). existe :
f
D
x


R continua con
0
( , , 0, ) 0
f
t s
x


;
[ ]
, , s t a b .

Entonces existe una vecindad
0
de
0
tal que, para todo
0
, la ecuacin

integral

[ ]
( ) , , ( ),
b
a
y t f t s y s ds =

,
[ ]
, t a b

tiene nica solucin
[ ] [ ] ( )
, , , u C a b r r

, y la aplicacin


[ ] [ ] ( )
0
, , , u C a b r r



es continua.

En efecto, consideremos


[ ] [ ] ( )
, , , X C a b r r = ={
[ ] [ ]
: , , ; f a b r r f es continua en
[ ]
, a b },

para arbitrarios , f g X definimos


[ ] ,
( , ) sup ( ) ( )
z a b
d f g f z g z

= ;

recordemos que ( , ) X d es un espacio mtrico completo.

Por otro lado, dado 1 c < de i) y ii), sigue que existe una vecindad
0
de
0


tal que, para todo
0
,
[ ]
, , s t a b y cualquier
[ ]
, x r r , tenemos

i). ( ) , , ( ),
r
f t s y s
b a

, ii).
( )
, , ,
2 ( )
f c
t s x
x r b a



.

Dado
0
, u X y
[ ]
, t a b , definimos


( ) [ ]
( ) , , ( ),
b
a
T u t f t s u s ds

;

se sigue que la funcin T u

es continua y de i), se sigue que T x X

y de ii), se

sigue que la aplicacin


-22-

0
: ( , ) T u X T u X



es una contraccin uniforme, pues dados , u v X , por la desigualdad del valor

medio, tenemos


( ) ( ) [ ] [ ]
( ) ( ) , , ( ), , , ( ),
b
a
T u t T v t f t s u s f t s v s ds



( ) ( )
2 ( )
b
a
c
u s v s ds c
r b a

.

Por otro lado, es inmediato que, para cualquier u X , la aplicacin


0
T u X

es continua. El resultado sigue del T.P.F.B.



I.5. INTERPRETACIN GEOMTRICA DEL T.P.F.B.

Para enunciar el teorema del punto fijo de Banach para el caso real, usaremos el ejemplo

I.2.1.3. teniendo el siguiente enunciado:

Sean , a bR con a b y
[ ] [ ]
: , , g a b a b una funcin diferenciable tal que

( ) 1 g x k < ,
[ ]
, x a b .

Entonces:
i).- Existe un nico
[ ]
_
, x a b punto fijo de g .

ii).- Cualquiera sea
[ ]
0
, x a b la sucesin iterada
1
( )
n n
x g x

= ; 1, 2,... n = converge a
_
x .

Para interpretar geomtricamente el T.P.F.B. para el caso real, observemos que el tem i)
nos dice que
_ _
( ) x g x = es decir si
1
y x = es la funcin identidad y
_
2
( ) y g x = entonces el
punto fijo
_
x es un punto en el cual
1 2
y y = , i.e.,
_ _ _ _
( , ( )) ( , ) x g x x x = es la interseccin de las

grficas de
1
y y
2
y .

Para poder observar el comportamiento geomtrico del T.P.F.B. en el plano, asumiremos que

con la funcin continua g pueda ocurrir los siguientes dos casos; que ella sea creciente o

decreciente. En ambos casos, como se observa en los grficos I.5.A. y I.5.B., obtendremos

una curva llamada quebrada iterada y una espiral hacia adentro (en este caso decimos que
_
x es un punto atractor) respectivamente.







-23-


















GRFICA I.5.A.






GRFICA I.5.B.


-24-
1.5.1. OBSERVACIN

1.5.1.1.- En la observacin I.2.3.1. vimos que toda contraccin es uniformente continua, y por

lo tanto continua. Ahora nos planteamos la siguiente interrogante:

Toda funcin continua es una contraccin?

Respuesta: NO!

En efecto, definimos la funcin
0 0
: f
+ +
R R por


1
( ) f x
x
= ,
0
x
+
R .
Observemos su grfica:


















de donde es claro que f es continua en
0
+
R .

Supongamos que f es una contraccin en
0
+
R , entonces por definicin tenemos que

para arbitrarios
0
, x y
+
R se cumple

( ) ( ) f x f y x y

siempre con 0 1 < .
En particular reemplazamos
1
3
x = ,
1
5
y = en la desigualdad anterior y obtenemos


1 1 1 1
3 5 3 5
f f







2
3 5
15


-25-
entonces

15 Absurdo!

pues 0 1 < . Por lo tanto f no es una contraccin en
0
+
R .

1.5.1.2.- En la grfica I.5.1.2. mostramos la grfica de g en el caso cuando no se cumple la

condicin ( ) 1 g x k < , i.e. g no es una contraccin en
[ ]
, a b . Esto desaparece

la conclusin ii), por tanto existe el punto fijo pero no tenemos convergencia de la
sucesin iterada al punto fijo
_
x .

1.5.1.3.- En la grfica I.5.1.3. mostramos la grfica de la funcin f del ejemplo I.4.6.3.,

(ver pgina 13) tenemos el espacio mtrico completo R, pero no tenemos punto fijo

pues f no es una contraccin en R.

1.5.1.4.- De las observaciones I.5.1.2. y I.5.1.3., podemos concluir que el teorema en general

slo se cumple si se tiene las hiptesis dadas, la carencia de una de ellas, colapsa sus

conclusiones.






GRFICA I.5.1.2.

-26-
























GRFICA I.5.1.3.

1.5.1.5.- Recordemos un resultado que fue enunciado y probado en el captulo I, en el ejemplo

I.4.6.13. (ver pgina 21), el cual dice:

Si
n
X R es compacto, y la aplicacin : f X X para cualesquiera , x y X

con x y , verifica

( ) ( ) f x f y x y < (I.5.1.5.A)

entonces f posee un nico punto fijo en X .

Surge la siguiente pregunta:

Si X no es compacto y verifica la desigualdad (I.5.1.5.A), f poseer un nico

punto fijo en X ?.

Respuesta : NO!

En efecto; recordemos que R no es un compacto. Luego consideremos la funcin

: f R R definida por


( )
2
1
( ) 1
2
f x x x = + + , xR.

-27-
Afirmacin 1: f verifica la condicin (I.5.1.5.A).

En efecto; para arbitrarios , x y R con x y , tenemos


( ) ( )
2 2
1 1
( ) ( ) 1 1
2 2
f x f y x x y y = + + + +


( )
( )
2 2
1 1
1 1
2 2
x y x y = + + +


( )
2 2
1
1 1
2
x y x y + + +


( )
2 2
2 2
2 2
1 1 1
1 1
2
1 1
x y
x y x y
x y


+ + +

= + + +


+ + +





2 2
1
2
1 1
x y x y
x y
x y

+
= +

+ + +




2 2
1
1
2
1 1
x y
x y
x y

+
= +

+ + +

(I.5.1.5.B)

Probaremos para arbitrarios , x y R con x y , que


2 2
1
1 1
x y
x y
+
<
+ + +
. (I.5.1.5.C)

Si aceptamos este resultado, tenemos


2 2
1 1 x y x y + < + + +


2 2 2 2 2
2 1 2 (1 )(1 ) x xy y x x y + + < + + + +


2 2
1 (1 )(1 ) xy x y < + +


2 2 2 2 2 2
2 1 1 x y xy y x x y + < + + +


2
( ) 0 x y + >

Invirtiendo los pasos, verificamos la desigualdad (I.5.1.5.C).

Observemos que para cualesquiera , x y R con x y , descartamos que:



-28-

2 2
1
1 1
x y
x y
+
=
+ + +
,

pues si en particular tomamos 0 x = y 1 y = obtendramos


1
1
1 2
=
+


lo cual es un absurdo!.

Todo lo anterior lo reemplazamos en (I.5.1.5.B), verificndose la afirmacin 1.

Afirmacin 2: f no posee punto fijo en R.

En efecto; supongamos que f posee un punto fijo en R, luego por definicin

tenemos que existe un wR tal que

( ) f w w =


( )
2
1
1
2
w w w + + =


2
1 2 w w w + + =


2
1 w w + =


2 2
1 w w + = absurdo!

Notemos adems que se cumple

( ) f w w >

cuya prueba es anloga a la hecha para la desigualdad (I.5.1.5.C).

Para fijar ideas, observemos nuevamente la grfica I.5.1.3. de donde claramente

podemos ver que las pruebas que hicimos analticamente son correctas.

Resaltemos que en esta demostracin, hemos desarrollado un procedimiento alternativo

de prueba a lo mostrado en el ejemplo I.4.6.13.









-29-
CAPTULO II

APLICACIONES DEL TEOREMA DEL PUNTO FIJO DE BANACH

II.1.- APLICACIN A LOS SISTEMAS DE ECUACIONES LINEALES ALGEBRAICAS

El T.P.F.B. tiene importantes aplicaciones en los mtodos de iteracin para resolver

sistemas de ecuaciones lineales algebraicas y proporciona suficientes condiciones para la

convergencia y cota de error.

Consideremos el espacio euclidiano n-dimensional
n
R y el sistema de ecuaciones lineales

algebraicas

n
ij
j=1
a
j i
x y =

; 1, 2,3,......, i n =

que en notacin matricial es
y Ax = ,

donde
ij
a A =

es una matriz n n ,
[ ]
i
x x = y
[ ]
i
y y = son matrices 1 n . Notemos

que el problema de resolver y Ax = se puede reemplazar por el problema equivalente de

encontrar los puntos fijos del operador :
n n
T R R definido por

( ) Tx I A x y = + ;

hacemos
( )
ij
B I A b = =



la cual es una matriz n n real fija ( I es la matriz identidad n n ), es decir, tenemos

Tx Bx y = + .

Bajo qu condiciones T es una contraccin en
n
R ?. La respuesta a esta pregunta depende

de la eleccin de la mtrica en
n
R con la que se va a trabajar. Dediqumonos a encontrar

tales condiciones.

Sean
( )
1
, ,
n
u u u = ,
( )
1
, ,
n
v v v = ,
( )
1
, ,
n
p p p = ,
( )
1
, ,
n
q q q =
n
R y

supongamos que p Tu = (i.e. p Tu Bu y = = + ) y q Tv = (i.e. q Tv Bv y = = + ).

- Con la mtrica del mximo, tenemos


1 1
( , ) ( , ) max max
n n
i i ij j i ij j i
i i
j j
d Tu Tv d p q p q b u y b v y

= =

= = = + +







-30-

( )
1 1
max max
n n
ij j j ij j j
i i
j j
b u v b u v
= =
=




( )
1
max max ( , )
n
ij j j
i j
j
b u v d u v

=

=



Entonces, para que T sea una contraccin en
n
R debemos exigir que


1
max 1
n
ij
i
j
b

=
= <

. (II.1.A)

- Con la mtrica de la suma, tenemos


1 1
1 1 1 1
( , ) ( , )
n n n n
i i ij j i ij j i
i i j j
d Tu Tv d p q p q b u y b v y
= = = =

= = = + +






( )
1 1 1 1
max
n n n n
ij j j ij j j
i
i j j j
b u v b u v
= = = =

=


1 1
( , ) d u v = .

As, el operador T es una contraccin en
n
R si


1
1
max 1
n
ij
i
j
b
=
= <

. (II.1.B)

- Por ltimo, considerando la mtrica euclidiana, tenemos


[ ] [ ] ( )
2
2 2 2
2 2
1 1 1 1
( , ) ( , )
n n n n
i i ij j i ij j i
i i j j
d Tu Tv d p q p q b x y b y y
= = = =



= = = + +







( ) ( )
2
2
2
1 1 1 1
,
ij
n n n n
ij j j
i j i j
b u v b d u v
= = = =

=






i.e. ( )
2
2
1 1
( , ) ,
ij
n n
i j
d Tu Tv b d u v
= =

; ,
n
u vR .

(En la desigualdad anterior hemos utilizado la desigualdad de Schwartz).

Anlogamente a lo hecho antes, aqu exigimos que


2
1 1
1
ij
n n
i j
b
= =
<

(II.1.C)

y con esto tenemos que T es una contraccin en
n
R .

-31-
As, en el caso en el que cualquiera de las tres condiciones encontradas es cumplida, tenemos

por el teorema I.4. (T.P.F.B.) que existe un y slo un ( )
1 2
, , ,
n
n
x x x x = R punto fijo del
operador T donde
1
n
i ij j i
j
x b x y
=
= +

, y por tanto solucin del sistema de ecuaciones lineales


algebraicas considerado.
,
Las aproximaciones sucesivas para hallar la solucin aproximada tienen la forma


( )
( )
( )
( )
( )
( )
0 0 0 0
1 2
1 1 1 1
1 2
1 2
, ,...,
, ,...,

, ,...,

n
n
k k k k
n
x x x x
x x x x
x x x x

. .
. .
(II.1.D)

donde

1
1
i j
n
k k
ij i
j
x b x y

=
= +

. (II.1.E)

Adems, la cota de error puede ser hallada usando las frmulas (I.4.1.A) y (I.4.1.B) dadas en

el corolario I.4.1. As, del Teorema de la Aplicacin Contractante (T.A.C.) obtenemos.

II.1.1. TEOREMA

Si un sistema y Ax = , de n ecuaciones lineales con n incgnitas
( )
1 2
, , ,
n
x x x

(las componentes de x ), siendo A una la matriz n n , , x y matrices 1 n , satisface

cualquiera de las tres condiciones obtenidas (II.1.A), (II.1.B), (II.1.C), este tiene una nica

solucin x . Esta solucin puede ser obtenida como el lmite de una sucesin iterada dada por

( ) ( ) 1 k k
x Tx

= ; 1, 2,... k = con la relacin (II.1.D), donde cada
i
k
x es calculada usando la

igualdad (II.1.E), siempre que
(0) n
x R es dado.

Observemos que cualquiera de las tres condiciones encontradas implica que


11 12 1
21 22 2
1 1
1
1
0
1
n
n
n n nn
a a a
a a a
a a a

. . .



con esto tenemos la seguridad de que
( )
det 0 A I .

-32-
Notemos adems que, si A es simtrica, es decir
ij ji
a a = para todo , 1, 2,..., i j n =
entonces
1

= ; pero si A no es simtrica, entonces


1
y

no son necesariamente

iguales.
Observemos tambin que si
1
ij
a
n
< (en este caso las tres condiciones se cumplen),

entonces el Mtodo de las Aproximaciones Sucesivas ( M.A.S. T.A.C. T.P.F.B. ) es

aplicable; y si
1
ij
a
n
= (en este caso todas las tres suman 1) el M.A.S. no es aplicable.

Adems mencionemos, que las soluciones aproximadas de (II.1.A) tambin pueden ser

halladas por otros dos mtodos standard, la iteracin de Jacobi, la cual es mayormente de

inters terico y la iteracin de Gauss -Seidel, la cual es frecuentemente usada en matemtica

aplicada (ver [5], [8], [19], [28]).

II.1.2. APLICACIN PRCTICA

Como un ejemplo especfico, consideremos el conjunto de ecuaciones algebraicas


1 2 3
1 2 3
1 2 3
4 1 1
1
5 2 4
1 4 1
2
3 3 4
1 2 3
3
4 15 4
x x x
x x x
x x x

+ + =

+ =



Para aplicar el Teorema de la Aplicacin Contractante (T.A.C.), primero rescribimos la

ecuacin de arriba en la forma

x Bx y = + ,

y entonces probaremos que

1
max 1
n
ij
i
j
b
=
<

.

Una tal representacin es dada por


1 1 2 3
2 1 2 3
3 1 2 3
1 1 1
1
5 2 4
1 1 1
2
3 3 4
1 2 1
3
4 15 4
x x x x
x x x x
x x x x

= + +

= +

= + + +



-33-
i.e. matricialmente tenemos:


1 1
2 2
3 3
1 1 1
5 2 4
1
1 1 1
2
3 3 4
3
1 2 1
4 15 4
x x
x x
x x






= +










Para 1, 2,3 i = calculemos lo siguiente


3 3 3 3
1 2 3
1 1 1 1
max max , ,
ij j j j
i i
j j j j
b b b b
= = = =

=






{ }
11 12 13 21 22 23 31 32 33
max , , b b b b b b b b b = + + + + + +


1 1 1 1 1 1 1 2 1
max , ,
5 2 4 3 3 4 4 15 4

= + + + + + +





_ _
max 0.95, 0.916, 0.63 0.95 1

= = <


.
Luego, claramente la condicin
1
max 1
n
ij
i
j
b
=
<

se verifica.

El esquema iterativo puede ser usado para obtener la solucin aproximada. Por ejemplo,

con la suposicin inicial
( )
(0)
0, 0, 0 x = , obtenemos


( )
( )
( )
( )
( )
( )
( )
( )
( )
( )
( )
( )
0
1
2
3
4
5
0, 0, 0
1, 2,3
0.55, 0.25,3.76667
0.176667,1.158333, 4.112500
0.642625, 0.644653, 4.226736
0.507535, 0.942640, 4.303294
x
x
x
x
x
x
=
=
=
=
=
=

. .

( )
( )
10
0.641659, 0.835535, 4.360547 x =
. .

( )
( )
( )
( )
19
20
0.639519, 0.841889, 4.362843
0.639559, 0.841833, 4.362843
x
x
=
=


-34-
Como un ejemplo del uso de la ecuacin (II.1.E), y teniendo en cuenta (II.1.F) mostremos

cmo obtuvimos
( ) 1
x .


( )
( )
( ) ( ) ( )
( )
0 0 0 0
1 2 3
0, 0, 0 , , x x x x = =


( ) ( ) ( ) ( )
( )
( ) ( ) ( )
3 3 3
1 1 1 1 0 0 0
1 2 3 1 1 2 2 3 3
1 1 1
, , . , . , .
j j j j j j
j j j
x x x x b x y b x y b x y
= = =

= = + + +





( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )
( )
0 0 0 0 0 0 0 0 0
11 1 12 2 13 3 1 21 1 22 2 23 3 2 31 1 32 2 33 3 3
, , b x b x b x y b x b x b x y b x b x b x y = + + + + + + + + +

1 1 1 1 1 1 1 2 1
= 0 0 0 1, 0 0 0 2, 0 0 0 3
5 2 4 3 3 4 4 15 4

+ + + + + +




( )
= -1,2,3 .

Y de forma anloga podemos obtener cualquier otro
( ) k
x .

Naturalmente, cualquier otra suposicin inicial puede ser usada. El nmero de iteraciones

que se requiere para asegurar la convergencia depende de la suposicin inicial. La solucin

exacta es
( )
0.639548, 0.841853, 4.362845 x = .

II.1.3. OTRAS APLICACIONES PRCTICAS

Damos dos ejemplos de aplicacin del T.P.F.B. a los mtodos numricos en el primero

resolvemos una ecuacin lineal y en el segundo resolvemos una ecuacin no lineal.

II.1.3.1.- Probaremos que la ecuacin

arctan( ) 1 x x = + , xR

tiene una nica solucin en
[ [
1, + , la cual aproximaremos con siete dgitos

significativos.

En efecto, sea
[ [
1, Y = + y definimos : f Y R por

( ) arctan( ) 1 f x x = + , x Y

es claro que ( ) f Y Y . Sea
( )
, X Y = donde denota la mtrica euclidiana,

X resulta ser un espacio mtrico completo (por ser cerrado).

Para todo x X , tenemos que


2
1 1
( ) 1
1 2
f x
x
= <
+
.

-35-
Luego, por el ejemplo I.4.6.2., f es una contraccin en Y . Entonces, por el T.P.F.B.
existe un nico punto fijo
_
x X , que es la nica solucin del sistema dado.

Para obtener la solucin aproximada con la aproximacin pedida, reemplazamos


1
2
= en la desigualdad (I.4.1.A) del corolario I.4.1. y obtenemos

_
0 1 0 1 1
1
1
2
1
2
1
2
n
n n
x x x x x x



i.e.
_
0 1 1
1
.
2
n n
x x x x



En particular si tomamos
0
1 x = , por el proceso iterativo que mostramos en el

T.P.F.B., tenemos

1 0
( ) (1) arctan(1) 1 1 1.7853982
4
x f x f

= = = + = + =

reemplazando en la desigualdad anterior tenemos


_
1
2
n n
x x

+
,
permitindonos seguidamente calcular
_
x con la aproximacin exigida, en este caso

11
2,1322677 x = esto es,
_
2,132267 x = .

Comprobemos esto, efectuando el proceso iterativo


1 0
2 1
3 2
4 3
5 4
6 5
( ) arctan(1) 1 1.7853982
( ) arctan(1.7853982) 1 2.0602325
( ) arctan(2.0602325) 1 2.1189113
( ) arctan(2.1189113) 1 2.1298472
( ) arctan(2.1298472) 1 2.1318309
( ) arctan(2.
x f x
x f x
x f x
x f x
x f x
x f x
= = + =
= = + =
= = + =
= = + =
= = + =
= =
7 6
8 7
9 8
10 9
11 10
1318309) 1 2.1321890
( ) arctan(2.1321890) 1 2.1322535
( ) arctan(2.1322535) 1 2.1322651
( ) arctan(2.1322651) 1 2.1322673
( ) arctan(2.1322673) 1 2.1322676
( ) arctan(2.1322676
x f x
x f x
x f x
x f x
x f x
+ =
= = + =
= = + =
= = + =
= = + =
= = ) 1 2.1322677 + =


-36-
II.1.3.2.- Consideremos la ecuacin algebraica no lineal


3
1 0 x x = , xR.

Esta ecuacin tiene tres races, una de las cuales est entre 1 y 2. Observemos que

para
[ ]
1, 2 x X = , existen varias formas de escribir dicha ecuacin en la forma

x Tx = , por ejemplo


3
1
1 T x x = ,
( )
1
3
2
1 T x x = + ,
3 2
1
1
T x
x
=

.

Recordemos que en el ejemplo I.2.1.1. (ver pgina 3) se vi que el operador
2
T

es una contraccin en el subconjunto
[ ]
1, 2 X = , observemos que los otros dos

operadores
1
T y
3
T , no son contracciones en
[ ]
1, 2 X = .

Usaremos el Mtodo de las Aproximaciones Sucesivas (M.A.S.) para determinar la

nica raz de
2
T en X . Iniciemos el proceso iterativo con
0
1 x = , y obtenemos


( )
( )
( )
( )
( )
1
3
1 2 0 2
1
3
2 2 1 2
1
3
3 2 2 2
1
3
4 2 3 2
1
3
5 2 4 2
1 2 5 2
( ) (1) 1 1 1.2599
( ) (1.2599) 1 1.2599 1.3123
( ) (1.3123) 1 1.3123 1.3224
( ) (1.3224) 1 1.3224 1.3243
( ) (1.3243) 1 1.3243 1.3246
( ) (1.3246)
x T x T
x T x T
x T x T
x T x T
x T x T
x T x T
= = = + =
= = = + =
= = = + =
= = = + =
= = = + =
= =
( )
( )
1
3
1
3
7 2 6 2
1 1.3246 1.3247
( ) (1.3247) 1 1.3247 1.3247 x T x T
= + =
= = = + =


As, la raz, con cuatro cifras significativas, se obtiene en la sptima iteracin.










-37-
II.2.- APLICACIN A LAS ECUACIONES INTEGRALES

El estudio de las ecuaciones integrales constituye uno de los captulos ms importantes

del anlisis matemtico. Muchos problemas de anlisis conducen al estudio de ecuaciones

integrales y muchos de los mtodos del Anlisis Funcional fueron inicialmente desarrollados

en el estudio de las ecuaciones integrales.

II.2.1. TIPOS DE ECUACIONES INTEGRALES

Histricamente la primera ecuacin integral que fue estudiada fue la ecuacin de Abel


0
( )
( )
( )
t
t
x s
y t ds
t s

=

, donde 0 1 < < .



Damos a continuacin otros ejemplos familiares de ecuaciones integrales.

II.2.1.1.- La ecuacin


2
( ) ( )
its
y t x s e ds



del problema de la inversa de una transformada de Fourier.

II.2.1.2.- La ecuacin

0
0
( ) ( , ( ))
t
t
x t x f s x s ds = +



cuya solucin es solucin de la ecuacin diferencial

( ) ( , ) x t f t x =
con condicin inicial

0 0
( ) x t x = .

Entre los tipos ms comunes de ecuaciones integrales mencionamos:

- La ecuacin integral de Fredholm de primera especie

( ) ( , ) ( )
b
a
y t K t s x s ds =

.

- La ecuacin de Fredholm de segunda especie

( ) ( ) ( , ) ( )
b
a
y t x t K t s x s ds =

.

- La ecuacin de Volterra de primera especie

( ) ( , ) ( )
t
a
y t K t s x s ds =

.

- La ecuacin de Volterra de segunda especie

( ) ( ) ( , ) ( )
t
a
y t x t K t s x s ds =

.

-38-
En estos ejemplos la incgnita es la funcin :[ , ] x a b C con C , donde

:[ , ] y a b C y :[ , ] [ , ] K a b a b C son funciones dadas, a K se denomina ncleo de

la ecuacin integral, sujeta a ciertas restricciones (por ejemplo ser funcin continua, cuadrado

integrable, medible y acotada, etc.). Las ecuaciones del tipo de Fredholm tambin pueden ser

estudiadas sobre un espacio X provisto de una medida . Tambin K , x e y pueden ser
tomadas como funciones a valores vectoriales, por ejemplo, a valores en
n
C .

Cuando el ncleo K no es una funcin continua decimos que la ecuacin integral tiene

ncleo singular. El ejemplo ms importante de este tipo de ncleo es cuando X es un

abierto de
n
R y

( , )
( , )
A t s
K t s
t s

=


con n < , A es acotada (y, eventualmente continua para t s ); cuando
2
n
< decimos
que la singularidad es dbil.

Las ecuaciones de convolucin son otro tipo importante de ecuaciones integrales

( ) ( ) ( )
t
a
y t K t s x s ds =

.

Ahora daremos aplicaciones del T.P.F.B. a la solucin de ecuaciones integrales.

II.2.2. TEOREMA

Consideremos la ecuacin integral de Fredholm de segunda especie

( ) ( ) ( , ) ( )
b
a
x t y t K t s x s ds = +

,

donde :[ , ] [ , ] K a b a b C es continua y es tal que ( , ) K t s M para todo , [ , ] t s a b .

Entonces, para todo C tal que
1
( ) M b a
<

, dada ([ , ], ) y C a b C existe una



nica funcin ([ , ], ) x C a b C que es la solucin de la ecuacin integral.

Demostracin:

Sea
( )
[ , ], X C a b = C el espacio de las funciones continuas de
[ ]
, a b en C, el cual

sabemos es un espacio mtrico completo con la mtrica


( )
, sup ( ) ( )
a t b
d f g f t g t

= ;

y definimos la aplicacin : T X X por

-39-

( )
( ) ( ) ( , ) ( )
b
a
Tx t y t K t s x s ds = +

, [ , ] t a b .

Un punto fijo de T es evidentemente una solucin de nuestro problema y recprocamente.

Afirmacin 1: Tx X .

En efecto; supongamos que
[ ]
0
, , t t a b tal que
0
t t .

( ) ( )
( ) ( ) 0 0 0
( ) ( ) ( ) ( , ) ( ) ( ) ( , ) ( )
b b
a a
Tx t Tx t y t K t s x s ds y t K t s x s ds = + +




0 0
( ) ( ) ( ) ( , ) ( , )
b
a
y t y t x s K t s K t s ds +



Queremos probar que


( ) ( )
0
( ) ( ) Tx t Tx t , x X .

Para esto observemos que:

- Como
[ ] ( )
, , y C a b C i.e. y es una funcin continua en
[ ]
, a b , y desde que
0
t t

tenemos
0
( ) ( ) y t y t lo que implica
0
( ) ( ) 0 y t y t .

- Como
[ ] ( )
, , x C a b C entonces x es una funcin continua en
[ ]
, a b , y siendo
[ ]
, a b un

compacto x resulta acotada en
[ ]
, a b i.e. existe 0 M > tal que ( ) x t M ,
[ ]
, t a b .

- Como la funcin K es continua sobre el compacto
[ ] [ ]
, , a b a b , entonces K resulta ser

uniformente continua, por lo tanto dado 0 > , existe 0 > tal que, para
0
t t <

tenemos

0
( , ) ( , ) K t s K t s
b a M

<

, s C.

Con estos resultados, conseguimos la siguiente desigualdad


( ) ( )
0 0
( ) ( ) ( ) ( ) Tx t Tx t y t y t M b a
b a M



de donde es claro que
( ) ( )
0
( ) ( ) Tx t Tx t , x X .

Por lo tanto Tx X .
Afirmacin 2: T es una contraccin en X siempre que
1
( ) M b a
<

.

En efecto; dados , u v X tenemos

-40-
( ) ( )
( ) ( )
( ) ( ) ( ) ( , ) ( ) ( ) ( , ) ( )
b b
a a
Tu t Tv t y t K t s u s ds y t K t s v s ds = + +




[ ]
( , ) ( ) ( )
b
a
K t s u s v s ds =



( , ) ( ) ( )
b
a
K t s u s v s ds



( ) ( )
b
a
M u s v s ds



sup ( ) ( )
b
a
a t b
M u t v t ds



;
[ ]
, t a b , , u v X .

i.e.
( ) ( )
( ) ( ) ( ) Tu t Tv t b a M u v ;
[ ]
, t a b , , u v X .

Tu Tv u v ; , u v X .

Luego T es una contraccin en X con constante de contraccin ( ) 1 b a M = < ; la

conclusin de este teorema sigue del T.P.F.B.

II.2.3. TEOREMA

Sea :[ , ] [ , ] K a b a b C C una funcin continua, lipschitziana en relacin a la

ltima variable i.e. existe 0 M > tal que


1 2 1 2
( , , ) ( , , ) K t s r K t s r M r r

para arbitrarios , [ , ] t s a b y
1 2
, r r C. Entonces dado
( )
[ , ], y C a b C existe una nica

( )
[ , ], x C a b C solucin de la ecuacin integral de Volterra de segunda especie

( ) ( ) ( , , ( ))
t
a
x t y t K t s x s ds = +

.

Demostracin:

Sea el espacio mtrico completo
( )
[ , ], X C a b = C y definimos : T X X por

( )( ) ( ) ( , , ( ))
t
a
Tx t y t K t s x s ds = +

, [ , ] t a b .

Es evidente que un punto fijo de T es solucin de la ecuacin integral y recprocamente.

Afirmacin 1: Tx X .

En efecto; para arbitrarios
[ ]
0
, , t t a b supongamos que
0
t t .



-41-
( ) ( ) ( )
( )
( )
( )
0
0 0 0
( ) ( ) ( ) , , ( ) ( ) , , ( )
t t
a a
Tx t Tx t y t K t s x s ds y t K t s x s ds = + +




( ) ( )
0
0 0
( ) ( ) , , ( ) , , ( )
t t
a a
y t y t K t s x s ds K t s x s ds +



Ahora, supongamos que
0
t t , es decir grficamente tenemos:





esto implica

( ) ( ) ( )
0
0
0 0 0
, , ( ) , , ( ) , , ( )
t t t
a a t
K t s x s ds K t s x s ds K t s x s ds =

.

Reemplazamos esta igualdad en la desigualdad anterior, y luego agrupando adecuadamente

obtenemos


( ) ( ) ( )
0
0 0 0
( ) ( ) , , ( ) , , ( ) , , ( )
t t
a t
y t y t K t s x s K t s x s ds K t s x s ds + +



Nuestro objetivo es probar que


( ) ( )
0
( ) ( ) Tx t Tx t , x X ;

para esto observemos que:

- Como
[ ] ( )
, , y C a b C i.e. y es una funcin continua en
[ ]
, a b , y desde que
0
t t

tenemos
0
( ) ( ) y t y t lo que implica
0
( ) ( ) 0 y t y t .

- Como K es una funcin continua sobre el compacto
[ ] [ ] [ ] ( )
, , , a b a b x a b entonces

K resulta ser uniformente continua en
[ ] [ ] [ ] ( )
, , , a b a b x a b , lo que implica que dado

0 > , existe 0 > tal que, para
0
t t < tenemos

( ) ( )
0
, , ( ) , , ( ) K t s x s K t s x s
b a

, ( ) [ ] [ ] ( )
, ( ) , , s x s a b x a b .

- Como K es una funcin continua sobre el compacto { } [ ] [ ] ( )
0
, , t a b x a b , K resulta

acotada en { } [ ] [ ] ( )
0
, , t a b x a b entonces existe 0 N > tal que ( )
0
, , ( ) K t s x s N

para todo ( ) [ ] [ ] ( )
, ( ) , , s x s a b x a b .



-42-
Con estos resultados, tenemos la siguiente desigualdad


( ) ( )
0 0 0
( ) ( ) ( ) ( ) Tx t Tx t y t y t b a N t t
b a

+ +


de donde es claro que

( ) ( )
0
( ) ( ) Tx t Tx t

para todo x X . Por lo tanto, concluimos que la afirmacin 1 es vlida i.e. Tx X .

Afirmacin 2: Existe 1 m tal que
m
T es una contraccin en X .

En efecto; vamos a demostrar inicialmente que dados , u v X y [ , ] t a b se cumple


( ) ( )
( )
( ) ( )
!
n
n n
n n
M t a
T u t T v t u v
n

(II.2.3.1)

La demostracin es hecha por induccin matemtica.

- Para 1 n = el resultado es inmediato, es decir tenemos

( ) ( )
( )
( ) ( )
1!
M t a
Tu t Tv t u v

. .

- Admitiendo el resultado para n vamos a demostrarlo para 1 n +


( ) ( ) ( ) ( )
1 1
( ) ( ) ( ) ( )
n n n n
T u t T v t T T u t T T v t
+ +
=


( )
( )
( )
( )
( ) , , ( ) ( ) , , ( )
t t
n n
a a
y t K t s T u s ds y t K t s T v s ds

= + +





( ) ( )
{ }
, , ( ) , , ( )
t
n n
a
K t s T u s K t s T v s ds

=




( ) ( )
, , ( ) , , ( )
t
n n
a
K t s T u s K t s T v s ds





( ) ( )
( ) ( )
t
n n
a
M T u s T v s ds




( )
!
n
n n
t
a
M s a
M u v ds
n




1
1
1
( )
( 1)!
n
n
n
t a
M u v
n

+
+
+

=
+
.

Luego (II.2.3.1) es cierto, adems de (II.2.3.1) tenemos


( ) ( ) ( )
( )
( ) ( ) ,
!
n
n n
M t a
T u t T v t d u v
n

; , u v X y [ , ] t a b ,

-43-
pero aun ms, como

( ) ( )
! !
n n
M t a M b a
n n

,

lo que implica


( ) ( ) ( )
( )
( ) ( ) ,
!
n
n n
M b a
T u t T v t d u v
n

; , u v X y [ , ] t a b ,

entonces

( ) ( ) ( )
( )
sup ( ) ( ) ,
!
n
n n
a t b
M b a
T u t T v t d u v
n

; , u v X .

Por lo tanto


( ) ( )
( )
, ,
!
n
n n
M b a
d T u T v d u v
n

; , u v X .

Para cada n
+
Z , sea

( )
!
n
n
M b a
a
n

=

ahora utilizamos el criterio de la razn para sucesiones de nmeros reales:


1
1
( )
( )
( 1)!
lim lim lim 0 1
1
( )
!
n
n
n
n n n
n
M b a
M b a
a n
a n
M b a
n

+
+

+
= = = <
+

,

entonces

( )
lim 0
!
n
n
M b a
n

= ,

por lo tanto
1
( )
!
n
n
M b a
n





converge, luego sigue por definicin de lmite de sucesiones

de nmeros reales que:
Dado 0 1 < < , existe
0
n N tal que para todo
0
n n > tenemos
( )
1
!
n
M b a
n

< < .

Con lo que se verifica la afirmacin 2. Entonces tomamos
0
m n = , para que exista 1 m tal

que
m
T es una contraccin en
( )
[ , ], C a b X = C . Y la conclusin de este teorema sigue del

corolario 1.4.2.
-44-
II.2.4. OBSERVACIN

Hacemos 1 = en la ecuacin integral de Fredholm de segunda especie, y tenemos

( ) ( ) ( , ) ( )
b
a
x t y t K t s x s ds = +

(II.2.4.1)

II.2.5. TEOREMA

Supongamos que
[ ] [ ]
: , , K a b a b C es una funcin continua tal que satisface


{ }
sup ( , ) 1
b
a
a t b
K t s ds

<

(II.2.5.1)

y
[ ]
: , y a b C una funcin continua. Entonces existe una y slo una funcin continua

[ ]
: , x a b C que satisface la ecuacin (II.2.4.1).

Demostracin:

Consideremos el espacio normado
[ ] ( )
, , X C a b = C el cual con la mtrica uniforme

es completo; y definamos la aplicacin : T X X por


x Tx


( )( ) ( ) ( , ) ( )
b
a
Tx t y t K t s x s ds = +

.

Anlogamente a lo hecho en la afirmacin 1 del Teorema II.2.3. se prueba que Tx X .

Veamos que T es una contraccin en X . Para cualesquiera
1 2
, x x X tenemos


( ) ( )
1 2 1 2
sup ( ) ( )
a t b
Tx Tx Tx t Tx t


=


( ) ( ) 1 2
sup ( ) ( , ) ( ) ( ) ( , ) ( )
b b
a a
a t b
y t K t s x s ds y t K t s x s ds

= + +



( )
1 2
sup ( , ) ( ) ( )
b
a
a t b
K t s x s x s ds

=




1 2
sup ( , ) ( ) ( )
b
a
a t b
K t s x s x s ds




1 2
sup ( , )
b
a
a t b
x x K t s ds




1 2
c x x



es decir


1 2 1 2
Tx Tx c x x

;
1 2
, x x X


-45-
siempre que

{ }
sup ( , ) 1
b
a
a t b
c K t s ds

= <

.

Luego T es una contraccin en
[ ] ( )
, , C a b X = C , y la afirmacin de este teorema sigue del

T.P.F.B.

Dado un
[ ] ( )
0
, , x C a b C . El T.P.F.B. nos permite obtener el punto fijo x como un lmite


0
lim
n
n
x T x

= . (II.2.5.2)

Es interesante reinterpretar este lmite como una serie. Definimos la aplicacin

[ ] ( ) [ ] ( )
: , , , , k C a b C a b C C por

( , ) ( )
b
a
kx K t s x s ds =

.

Esta aplicacin es denominada operador de Fredholm, y la funcin k es llamada el ncleo

de K .

La ecuacin integral (II.2.4.1) puede ser reescrita como


( )
I k x y = (II.2.5.3)

donde I es el operador identidad. La aplicacin T (donde Tx x = ) esta definida por

Tx y kx = + ,
lo implica que

( ) ( ) ( )
1 1 1
0 0 0 0
n n n n
T x T Tx T y kx y kT x

= = + = +

( ) ( )
2 2
0 0
n n
y kT Tx y kT y kx

= + = + +

( )
2 3
0 0
n n
y k y kT x y k y kT Tx

= + + = + +




( ) ( )
0
y k y k y k y kx

= + + + + +




1
0 0
n n n
T x y ky k y k x
+
= + + + + .

Usando la ecuacin (II.2.5.2), obtenemos


1
0 0
lim
n
i n
n
i n
x k y k y
+

= =
= =

,

Por otro lado de (II.2.5.3) tenemos

( )
1
x I k y

= ,

-46-
entonces de las dos igualdades anteriores, conseguimos


( )
1
0
n
n
I k k

=
=

. (II.2.5.4)

Esta serie es llamada serie de Neumann. El uso de sumas parciales de esta serie para aproxi-

mar a la inversa se llama aproximacin de Born. Explcitamente tenemos


( ) ( ) ( )
2 2
0
( ) ( ) ( ) ( ) ( ) ( )
n
n
x t k y t y ky k y t y t ky t k y t

=

= = + + + = + + +




( )
( ) ( , ) ( ) ( ) ( )
b
a
y t K t s y s ds k ky t = + + +




( ) ( ) ( , ) ( ) ( , ) ( )( )
b b
a a
y t K t s y s ds K t s ky s ds = + + +




( )
( ) ( , ) ( ) ( , ) ( , ) ( )
b b b
a a a
y t K t s y s ds K t s K s r y r dr ds = + + +



( ) ( ) ( , ) ( ) ( , ) ( , ) ( )
b b b
a a a
x t y t K t s y s ds K t s K s r y r drds = + + +



La serie de Neumann es similar a la serie geomtrica. De hecho, la igualdad (II.2.5.4) es

realmente una serie geomtrica que es absolutamente convergente con respecto a determinada

norma del operador cuando 1 k

< . Esto explica porque no necesitamos imponer ninguna



condicin sobre y para que la ecuacin (II.2.5.1) sea una condicin que asegure que

( )
I k es invertible y depende slo de la funcin k (ver [13]) .


























-47-
II.3.- APLICACIN A LAS ECUACIONES DIFERENCIALES ORDINARIAS

II.3.1. DEFINICIN

Sean R C y ( , ) f C C . Decimos que una funcin continuamente

diferenciable

[ ]
: , u c d C

es una solucin de la ecuacin diferencial ordinaria

( , ) y f t y = (II.3.1.1)

si para todo
[ ]
, t c d tenemos que

( , ( )) t u t y ( ) ( , ( )) u t f t u t = .

II.3.2. PROPOSICIN

Sea
0 0
( , ) t y . La condicin necesaria y suficiente para que
[ ]
: , u c d C

continua con ( , ( )) t u t , para todo
[ ]
, t c d sea solucin de la ecuacin diferencial

(II.3.1.1) satisfaciendo
0 0
( ) u t y = , es que u sea solucin continua de la ecuacin integral


0
0
( ) ( , ( ))
t
t
y t y f s y s ds = +

(II.3.2.1)
Demostracin:

Es inmediato, pues, si f y u son continuas, la funcin
[ ]
, ( , ( )) t c d f t u t C,

tambin lo es. Basta entonces aplicar el Teorema Fundamental del Clculo.

II.3.3. TEOREMA (Teorema de existencia de Cauchy para ecuaciones diferenciales)

Sean
0 0
( , ) t y R C y
[ ] [ ]
0 0 0
: ,
b
f t a t a B y + R C C una funcin
continua y lipschitziana en la segunda variable, esto es, existe L
+
R tal que


1 2 1 2
( , ) ( , ) f t z f t z L z z ;
[ ]
0 0
, t t a t a + ,
[ ]
1 2 0
,
b
z z B y (II.3.3.1)

Entonces existe
*
a con
*
0 a a < < tal que la ecuacin diferencial

( , ) y f t y =

tiene una nica solucin u definida en
* *
0 0
, t a t a +

satisfaciendo
0 0
( ) u t y = .

Demostracin:

Observemos que f est definida en un dominio compacto, entonces siendo f continua,

f es acotada i.e. existe 0 M > tal que ( , ) f t y M , para ( ) [ ] [ ]
0 0 0
, , ,
b
t y t a t a B y + .

-48-
(Notemos que si 0 M = resulta 0 f = y la afirmacin es trivial).

Tomamos

*
min ,
b
a a
M

=


. (II.3.3.2)
Para simplificar la notacin, supongamos que tenemos
b
a
M
i.e.
*
a a = .

Recordemos que
[ ] [ ]
*
0 0 0
( , , )
b
X C t a t a B y = + dotado de la mtrica del supremo


[ ]
{ }
0 0
,
( , ) sup ( ) ( )
t t a t a
d u v u v u t v t
+
= =

es un espacio mtrico completo.

Sea u X , definimos
[ ]
0 0
: , , Tu t a t a + C por


0
0
( )( ) ( , ( ))
t
t
Tu t y f s u s ds = +

.

Es inmediato que Tu es continua. De (II.3.3.2) se tiene que, para todo t con
0
t t a


0
0
( )( ) ( , ( ))
t
t
Tu t y f s u s ds

0
M t t Ma b ,

entonces Tu X .

Por otro lado, para cualesquiera , u v X , tenemos


0 0
( )( ) ( )( ) ( , ( )) ( , ( ))
t t
t t
Tu t Tv t f s u s ds f s v s ds =




0
( , ( )) ( , ( ))
t
t
f s u s f s v s ds




0
( ) ( )
t
t
L u s v s ds




[ ]
{ }
0 0
0
,
sup ( ) ( )
t t a t a
L u t v t t t
+


i.e.
0
( )( ) ( )( ) Tu t Tv t L u v t t . (II.3.3.3)

Adems de esto, existe m
+
Z tal que
m
T es una contraccin en X , pues, para arbitrarios

, u v X tenemos

0
( )( ) ( )( )
!
m
m
m m
L t t
T u t T v t u v
m

. (II.3.3.4)



-49-
En efecto, para arbitrarios , u v X y para todo t con
0
t t a , se tiene


2 2
( )( ) ( )( ) ( )( ) ( )( ) T u t T v t T Tu t T Tv t =


[ ]
0
( , ( )) ( , ( ))
t
t
f s Tu s f s Tv s ds =




0
( , ( )) ( , ( ))
t
t
f s Tu s f s Tv s ds




0
( ) ( )
t
t
L Tu s Tv s ds




0
2
0
t
t
L u v s t ds

(viene de II.3.3.3)


0
2
2 0
|
2
t
t
s t
L u v

=


2
2 0
2
t t
L u v

=

i.e.
2
2 2 2 0
( )( ) ( )( )
2!
t t
T u t T v t L u v

; , u v X
y, de modo ms general


1 1 0
( )( ) ( )( ) ( )( ) ( )( )
1
m m m m
t t
T u t T v t T u t T v t L
m
+ +


+
; , u v X ,

de donde resulta (II.3.3.4).

Como
0
t t a tomando el supremo en (II.3.3.4), tenemos

!
m m
m m
L a
T u T v u v
m
.
Para cada m
+
Z , sea

( )
!
m
m
La
u
m
= ,

utilizando el criterio de la razn para sucesiones de nmeros reales


( )
( )
( )
( )
1
1
1 !
1
lim lim lim 0 1
1
!
m
m
m
m m m
m
La
m
u
La
u m
La
m
+
+

+

= = = <

+



-50-
entonces

( )
lim lim 0
!
m
m
m m
La
u
m

= = ,

por lo tanto
( )
1
!
m
m
La
m





converge, luego sigue por definicin de lmite de sucesiones de

nmeros reales que:
Dado 0 1 < < , existe
0
n N tal que para todo
0
n n > tenemos
( )
1
!
m
La
m
< < .

Entonces basta tomar
0
m n = , para concluir que existe 1 m tal que
m
T es una contraccin

en
[ ] [ ]
*
0 0 0
( , , )
b
C t a t a B y X + = , luego por el corolario I.4.2.,T tendr un nico punto


fijo, el cual es la solucin de la ecuacin integral (II.3.2.1) y por tanto solucin de la ecuacin

diferencial ordinaria (II.3.1.1).


























-51-
II.4.- APLICACIN A LAS ECUACIONES DIFERENCIALES PARCIALES

II.4.1. EJEMPLO:

Sean , : f g
+
R R C funciones continuas y para cada ( , ) x t
+
R R considere-

mos la ecuacin diferencial en derivadas parciales


2 2
2 2
( , ) ( , ) ( , ) ( , ) ( , )
u u
x t x t g x t u x t f x t
t x

=

(II.4.1.1)

con las condiciones iniciales

( , 0) 0 u x = , ( , 0) 0
u
x
t

. (II.4.1.2)

Observemos que (II.4.1.1) corresponde al problema de la ecuacin de la onda con vibraciones

forzadas (semilineal hiperblica).

II.4.2. PROPOSICIN

La funcin : u
+
R R C es solucin de (II.4.1.1), satisfaciendo las condiciones

iniciales (II.4.1.2) con u ,
u
t

,
u
x

,
2
u
x t


,
2
2
u
t

,
2
2
u
x

continuas en
+
R R si slo si u es

solucin de la ecuacin integral


[ ]
( )
0 ( )
1
( , ) ( , ) ( , ) ( , )
2
t x t
x t
u x t d f g u d


+

= +

(II.4.2.1)

Demostracin:

Llamemos F f gu = + , para (II.4.1.1) hacemos el cambio de variable

x t = + , x t = ,

de donde


2
x
+
= ,
2
t

= .

Entonces, ahora las nuevas hiptesis son u ,
u

,
u

,
2
u


,
2
2
u

,
2
2
u

son funciones

continuas en
+
R R (Observar que estas implican que
2 2
u u


=

).
Queremos hallar expresiones para
2
2
u
t

,
2
2
u
x

para lo cual consideramos el diagrama de


dependencia:

-52-








Luego, con esto hallemos:

-

1 1
u u u
t t t


= +

i.e.
u u u
t

=

(II.4.2.2)


2
2
u u u u u u
t t t t t t


= = =




u u
t t


=





(Pues de ambas hiptesis sobre u y sus derivadas parciales, tenemos


2 2
u u
t t

=

y
2 2
u u
t t

=

).


u u u u


=




2 2 2 2
2 2
u u u u


= +




2 2 2 2
2 2 2
2
u u u u
t

= +

(II.4.2.3)

-

1 1
u u u
x x x



= +

i.e.
u u u
x

= +

(II.4.2.4)


2
2
u u u u u u
x x x x x x


= = + = +




u u
x x


= +




(Anlogamente tenemos
2 2
u u
x x

=

y
2 2
u u
x x

=

).


u u u u


= + + +




2 2 2 2
2 2
u u u u


= + + +




2 2 2 2
2 2 2
2
u u u u
x

= + +

. (II.4.2.5)

Luego reemplazamos (II.4.2.3) y (II.4.2.5) y F en (II.4.1.1), obteniendo



-53-

2
1
, ,
2 2 4 2 2
u
F


+ +

=



.

Ahora integramos con respecto a


2
1
, ,
2 2 4 2 2
u
d F d





+ +

=







1
, , ,
2 2 2 2 4 2 2
u u
F d




+ + +

=


.

Aqu hacemos = y tenemos


( )
1
, , 0 ,
2 2 4 2 2
u u
F d




+ +

=


(II.4.2.6)

Restando (II.4.2.4) de (II.4.2.2), obtenemos


1 1
2 2
u u u
x t

=


entonces

1 1
( , 0) ( , 0) ( , 0)
2 2
u u u
x t


=

.

Esta ltima relacin la reemplazamos en (II.4.2.6), y conseguimos


( ) ( )
1 1 1
, , 0 , 0 ,
2 2 2 2 4 2 2
u u u
F d
x t

+ +

=


.

Integramos nuevamente con respecto a de un valor arbitrario de hasta = , y

tenemos

( ) ( )
1 1 1
, , 0 , 0 ,
2 2 2 2 4 2 2
s
u s s u u s s
ds s s ds F d ds
s x t




+ +

=






( ) ( ) ( )
1 1 1
, 0 , , 0 , 0 ,
2 2 2 2 4 2 2
s
u u s s
u u s s ds F d ds
x t




+ +

=






( ) ( ) ( )
1 1 1
, , 0 , 0 , 0 ,
2 2 2 2 4 2 2
s
u u s s
u u s ds s ds F d ds
x t




+ +
= + +






( ) ( ) ( )
1 1 1
, , 0 , 0 , 0 ,
2 2 2 2 4 2 2
s
u s s
u u u s ds F d ds
t




+ +

= + + +






-54-
( ) ( ) ( ) ( )
1 1 1 1
, 0 , 0 , 0 , 0 ,
2 2 2 4 2 2
s
u s s
u u u s ds F d ds
t




+

= + +



Ahora, aplicamos las condiciones iniciales (II.4.1.2) quedndonos


1
, ,
2 2 4 2 2
s
s s
u F d ds



+ +

=



(II.4.2.7)

Para la integral doble, hacemos el cambio de variable

= + , s =

luego por el teorema de cambio de variable para integrales dobles tenemos


( )
( )
( )
,
det( , ) det( )
,
s
drds J s d d d d d d
s s


= = =




1 1
2 2
1 1
d d d d d d = = =

.

Observemos adems que el dominio de integracin inicial

s

se transforma en
+ ,
( )
1
0 -
2
.

Luego de reemplazar en (II.4.2.7), tenemos


( )
2
0
1
, ,
2 2 2
u F d d





+
+

=





ahora tenemos presente que x t = + , x t = , F f gu = + obteniendo


[ ]
( )
0 ( )
1
( , ) ( , ) ( , ) ( , )
2
t x t
x t
u x t d f g u d


+

= +

,

y por lo tanto, sigue que u , satisfaciendo (II.4.1.1) y (II.4.1.2), tambin satisface (II.4.2.1).

Recprocamente, veamos que (II.4.2.1) i.e.


[ ]
( )
0 ( )
1
( , ) ( , ) ( , ) ( , )
2
t x t
x t
u x t d f g u d


+

= +



satisface (II.4.1.1) y las condiciones iniciales (II.4.1.2).

- ( , 0) 0 u x =

- Probaremos que
( , 0) 0
u
x
t

.

-55-
En efecto, sea

0
1
( , ) ( , , )
2
t
u x t G x t d =

(II.4.2.A)

donde


( )
( )
( , , ) ( , )
x t
x t
G x t F d


+

=

.

En esta parte de la demostracin ignoramos la constante
1
2
; entonces

[ ]
0
1
( , ) lim ( , ) ( , )
h
u
x t u x t h u x t
t h

= +




0 0 0
1
lim ( , , ) ( , , )
t h t
h
G x t h d G x t d
h

+


= +






( )
0 0 0 0
1
lim ( , , ) ( , , ) ( , , )
t t h t
h
G x t h d G x t h d G x t d
h

+


= + + +






0 0 0 0
1 1
lim ( , , ) ( , , ) lim ( , , )
t t t h
t h h
G x t h d G x t d G x t h d
h h

+


= + + +






[ ]
0 0 0
1 1
lim ( , , ) ( , , ) lim ( , , )
t t h
t h h
G x t h G x t d G x t h d
h h

+

= + + +



( )
0 0
1
, , lim ( , , )
t t h
t h
G
x t d G x t h d
t h

+

= + +


.

Para la segunda integral usamos el teorema del valor medio para integrales

( )
0 0
1 1
lim ( , , ) lim ( , , ) , ,
t h
t h h
G x t h d G x t h G x t t
h h

+

+ = =

,

en esta ltima igualdad como t t h + entonces cuando 0 h tendremos t .

Entonces tendremos la siguiente expresin


0
( , ) ( , , ) ( , , )
t
u G
x t x t d G x t t
t t


= +

.

Tomando 0 t = , tenemos
( , 0) 0
u
x
t

.

Por lo tanto u verifica las condiciones iniciales (II.4.1.2).

Ahora mostremos que la ecuacin integral (II.4.2.1) verifica la ecuacin en derivada parciales

(II.4.1.1). En efecto, observemos que

-56-
( , , ) 0 G x t t =

entonces


0
( , ) ( , , )
t
u G
x t x t d
t t


=

,

anlogamente encontramos


0
( , ) ( , , )
t
u G
x t x t d
x x


=

.

A estas dos funciones halladas le volvemos aplicar la definicin de derivada parcial con

respecto a t y x respectivamente, obteniendo


2 2
2 2
0
( , ) ( , , )
t
u G
x t x t d
t t


=

,


2 2
2 2
0
( , ) ( , , )
t
u G
x t x t d
x x


=

.


Hallemos

2
2
( , , )
G
x t
t

y
2
2
( , , )
G
x t
x

.

-
[ ]
0
1
( , , ) lim ( , , ) ( , , )
h
G
x t G x t h G x t
t h

= +




( ) ( )
( ) ( ) 0
1
lim ( , ) ( , )
x t h x t
x t h x t h
F d F d
h



+ + +
+

=





Grficamente si 0 h > , tenemos:








entonces


( ) ( )
( ) ( ) 0
1
( , , ) lim ( , ) ( , )
x t x t h
x t h x t h
G
x t F d F d
t h



+ +
+ +


= +





( ) ( )
( ) ( ) 0 0
1
lim ( , ) lim ( , )
x t x t h
x t h x t h h
F d F d
h



+ +
+ +
= +

.

Nuevamente a cada uno de estos trminos le aplicamos el teorema del valor medio para

integrales, obteniendo

-57-
( , , ) ( , ) ( , )
G
x t F x t F x t
t

= + + +



entonces


2
2
( , , ) ( , ) ( , )
G F F
x t x t x t
t t t


= + + +

.

-
[ ]
0
1
( , , ) lim ( , , ) ( , , )
h
G
x t G x h t G x t
x h

= +




( ) ( )
( ) ( ) 0
1
lim ( , ) ( , )
x h t x t
x h t x t h
F d F d
h



+ + +
+

=



.

Grficamente 0 h > , tenemos:







Similarmente a lo que hicimos para ( , , )
G
x t
t

, llegamos a

( , , ) ( , ) ( , )
G
x t F x t F x t
x

= + +



entonces

2
2
( , , ) ( , ) ( , )
G F F
x t x t x t
x x x


= + +

.

Luego reemplazamos las expresiones obtenidas en:

2 2
2 2
( , ) ( , )
u u
x t x t
t x


2 2
2 2
0 0
( , , ) ( , , )
t t
G G
x t d x t d
t x


=




0 0
( , ) ( , ) ( , ) ( , )
t t
F F F F
x t x t d x t x t d
t t t t



= + + + + +






( , ) ( , ) F x t F x t = +

( ) ( ) ( ) ( )
0 0 0
1 1
lim ( ) , , lim ( ) , ,
t
h h
F x h t F x t F x h t F x t d
h h



+ + + + + +




2 ( , ) F x t =

( ) ( ) ( ) ( )
0 0 0
1 1
lim ( ) , , lim ( ), ,
t
h h
F x t h F x t F x t h F x t d
h h



+ + + + + +







-58-
0
2 ( , ) ( , ) ( , )
t
F F
F x t x t x t d
t



= + +




2 ( , ) ( , ) ( , ) 2 ( , ) F x t F x t F x t F x t = + = .

Recordemos que ignoramos la constante
1
2
que acompaa a la ecuacin integral, por lo tanto
tenemos


2 2
2 2
( , ) ( , ) ( , )
u u
x t x t F x t
t x

=

.

Notemos, que en (II.4.2.1), el dominio de integracin es el tringulo:


( ) { }
,
, :
x t
D x t
+
= R R .













Vamos pues a considerar el problema de existencia y unicidad de soluciones de la ecuacin

integral (II.4.2.1), es decir de


[ ]
( )
0 ( )
1
( , ) ( , ) ( , ) ( , )
2
t x t
x t
u x t d f g u d


+

= +



en
+
R R . Para eso es suficiente probar que, en todo dominio D
+
R R con la

condicin
, x t
D D , para todo
( )
, x t D existe y es nica la solucin de (II.4.2.1).












-59-
Consideremos el espacio de Banach ( , ) X C D = C , y sea u X ; definimos Tu por


( )( ) [ ]
( )
0 ( )
1
, ( , ) ( , ) ( , )
2
t x t
x t
Tu x t d f g u d


+

= +

.

Afirmacin: Tu X .

En efecto, anlogamente a lo usado en (II.4.2.A) tenemos que


( )
0
1
( , ) ( , , )
2
t
Tu x t G x t d =



donde


( )
( )
( , , ) ( , )
x t
x t
G x t F d


+

=

.

Nuevamente volvemos a ignorar la constante
1
2
. Consideremos
( )
, x t ,
( )
0 0
, x t D tal que


( ) ( )
0 0
, , x t x t

entonces


( )
0
0 x x y
( )
0
0 t t .

Luego, para todo u X tenemos


( ) ( )( )
0
0 0 0 0
0 0
( , ) , ( , , ) ( , , )
t t
Tu x t Tu x t G x t d G x t d =

(II.4.2.B)

Adems supongamos que
0
t t > , con esto la primera integral de (II.4.2.B) se transforma en


0
0
0 0
0 0
( , , ) ( , , ) ( , , )
t t t
t
G x t d G x t d G x t d = +

(II.4.2.C)

Reemplazamos (II.4.2.C) en (II.4.2.B) y agrupando el primer trmino de (II.4.2.C) con el

segundo trmino de (II.4.2.B), obtenemos


( ) ( )( )
( )
0 0
0
0 0 0 0
0 0
( , ) , ( , , ) ( , , ) ( , , )
t t t
t
Tu x t Tu x t G x t d G x t d G x t d +



( )
0
0
0 0 0
0
( , , ) ( , , ) ( , , )
t t
t
G x t G x t d G x t d +

. (II.4.2.D)

Ahora calculemos el lmite de cada una de las integrales de (II.4.2.D):

- Para la segunda integral, observemos que se est integrando sobre el intervalo
[ ]
0
, t t el cual

tiene medida nula, pues
( )
0
0 t t , entonces ella misma tiende a cero.



-60-
- Para la primera integral, hacemos
0
a t = y explicitamos


( ) ( )
0
0
0 0 0
( , , ) ( , , ) , ,
x a x a
x a x a
G x t G x t F d F d
+ +

=

. (II.4.2.E)

Aqu supondremos que
0
x x > de donde
0
x a x a + > + y
0
x a x a > .

Grficamente tenemos:


Luego (II.4.2.E) se transforma en


( ) ( )
0 0
0 0 0
( , , ) ( , , ) , ,
x a x a
x a x a
G x t G x t F d F d
+
+
=



De forma similar a como tratamos la segunda integral de (II.4.2.D), pero ahora teniendo

presente
( )
0
0 x x , concluimos que cada una de las integrales anteriores tiende a cero.

Por lo tanto, de (II.4.2.B) para todo u X tenemos


( ) ( )( )
0 0
( , ) , 0 Tu x t Tu x t

entonces


( ) ( )( )
0 0
( , ) , Tu x t Tu x t .

i.e. Tu es continua en D, luego Tu X .

Tambin obtenemos


( )( ) ( )( )
( )
0 ( )
1
, , ( , ) ( , ) ( , )
2
t x t
x t
Tu x t Tv x t g u v d d


+



.

Si ( , ) g M en el dominio D, entonces


( )( ) ( )( )
( )
0 ( )
1
, , ( , ) ( , )
2
t x t
x t
Tu x t Tu x t M u v d d


+






( )
0 ( )
1
( , ) ( , )
2
sup
t x t
x t
D
M u v d d


+






( ) ( )
2
1
, ,
2
d Tu Tv Mt d u v ; , u v X .

Anlogamente conseguimos


-61-

( )( ) ( )( ) ( ) ( )( )
2 2
, , ( ) , , T u x t T v x t T Tu x t T Tv x t =


[ ]
( )
0 ( )
1
( , ) ( )( , ) ( )( , )
2
t x t
x t
g Tu Tv d d


+






( )
( )
2
0 ( )
1 1
,
2 2
t x t
x t
M M d u v d d





( )
( )
2 2
0 ( )
1
,
4
t x t
x t
M d u v d d


+

=




( ) ( )
2 2 2 4
1
, ,
24
d T u T v M t d u v ; , u v X .

Por induccin, resulta


( )
* 2
1
( , ) ( ) ,
(2 )!
n n n n
d T u T v M t d u v
n

donde


{ }
*
sup ( , ) t x t D = .

Para cada n
+
Z , sea

* 2
( )
(2 )!
n
n
M t
c
n
= ,

ahora utilizamos el criterio de la razn para sucesiones de nmeros reales


[ ]
1
* 2
* 2
1
* 2
( )
2( 1) !
1
lim lim ( ) lim 0 1
2( 1)
( )
(2 )!
n
n
n
n n n
n
M t
n
c
M t
c n
M t
n
+
+

+
= = = <
+
,

entonces

* 2
( )
lim 0
!
n
n
M t
n

= ,

por lo tanto
* 2
1
( )
!
n
M t
n




converge, luego sigue por definicin de lmite de sucesiones de

nmeros reales que:
Dado 0 1 < < , existe
0
n N tal que para todo
0
n n > tenemos
* 2
( )
1
(2 )!
n
M t
n
< < .

-62-
Entonces tomamos
0
m n = , para concluir que existe 1 m tal que
m
T es una contraccin en

( )
[ , ], C a b X = C . As, por el corolario I.4.2. demostramos la existencia y unicidad en

+
R R de la solucin de (II.4.2.1).

II.4.3. EJEMPLO

Consideremos ahora la ecuacin diferencial parcial

( , , , , )
xy x y
u f x y u u u = . (II.4.3.1)

Sobre una curva C, dada por ( ) y x = con
( )
(1)
, C R R y ( ) 0 x < , xR. Sean

dadas las funciones continuamente diferenciables
0
u y
1
u (
2
u ). Queremos estudiar la

existencia de
( )
(2)
, u C R R C satisfaciendo (II.4.3.1) y


C 0
u| u = ,
( )
C 1
|
x
u u = , [
( )
C 2
|
y
u u = ],

esto es, tal que, para todo xR, tenemos


0
( , ( )) ( ) u x x u x = ,
1
( , ( )) ( )
u
x x u x
x


[
2
( , ( )) ( )
u
x x u x
y


=


].

Vamos a mostrar inicialmente como podemos reducir el problema a la bsqueda de una

solucin u de una ecuacin anloga a (II.4.3.1) con

0
x y
u u u sobre la recta 0 x y + = .

Observemos preliminarmente que, dadas
0 1
, u u [respectivamente
2
u ], queda determinada
2
u

[respectivamente
1
u ], pues; si
C 0
u| u = ,
( )
C 1
|
x
u u = y si
( )
C 2
|
y
u u = , entonces


0 1 2
( , ( )) ( , ( )) ( , ( )) ( ) ( , ( )) ( ) ( , ( ))
x y
d
u x x u x x u x x x u x x x u x x
dx
= + = +

lo que determina
2
u .

Observar adems que no hay prdida de generalidad en suponer que la curva C es dada por

0 x y + = (II.4.3.2)

pues siempre podemos hacer un cambio de variables poniendo

y = , ( ) x = .

Adems de eso, si tuviramos



-63-

[ ]
_
( ), ( ) ( ) u x t y t u t = ,

[ ]
( ), ( ) ( )
x
u x t y t p t = , (II.4.3.3)

[ ]
( ), ( ) ( )
y
u x t y t q t = ,

a lo largo de la recta x t = , y t = , consideremos la ecuacin

0
xy
u = (II.4.3.4)

sujeta a esas condiciones. La solucin es entonces,


_ _
1
( ) ( ) 1 1
( , ) ( ) ( )
2 2 2
x y
y x
u x u y
u x y p t dt q t dt

+
= + +

.

Sustrayendo
1
u de una solucin de (II.4.3.1) que satisfaga tambin a (II.4.3.3), obtenemos

una solucin de una nueva ecuacin (cuyo segundo miembro, para simplificar, tambin

denotamos por f ).
( , , , , )
xy x y
u f x y u u u = i.e. (II.4.3.1)

satisfaciendo

0
x y
u u u sobre la recta 0 x y + = . (II.4.3.5)

El problema de existencia de una solucin de los sistemas (II.4.3.1) y (II.4.3.5), que

pasamos a considerar.

II.4.4. PROPOSICIN

Supongamos que dado 0 a > , la funcin
[ ] [ ]
3
: , , f a a a a C C es continua

y lipschitziana en las tres ltimas variables, esto es, existe una constante 0 L > tal que


2 2 2 1 1 1 2 1 2 1 2 1
( , , , , ) ( , , , , ) f x y u p q f x y u p q L u u p p q q + +



para cualesquiera
[ ]
, , x y a a con
1 2 1 2 1 2
, , , , , u u p p q q C. Entonces u es solucin de

(II.4.3.1) sujeta a las condiciones (II.4.3.5) si y slo si es solucin de

( , ) ( , , , , )
D
u x y f u u u d d

=

(II.4.4.1)

donde D es el triangulo limitado por las rectas

0 + = , x = , y = ,

Grficamente tenemos:



-64-














con lo que:
( , ) ( , , , , )
y x
x
u x y d f u u u d



=

(II.4.4.2)

( , , , , )
x y
y
d f u u u d



=

.

Demostracin:

Tambin en este caso vamos aplicar el corolario 1.4.2. para demostrar la existencia de

soluciones de (II.4.3.1) satisfaciendo (II.4.3.5).

Vamos a considerar dos casos, expuestos a seguir:

Primer caso: Supongamos adems que f es lineal en las tres ltimas variables i.e. cuando

(II.4.3.1) tiene la forma

( , ) ( , ) ( , ) ( , )
xy x y
u g x y u h x y u r x y u s x y = + + +

donde las funciones , , , g h r s son continuas en R R.

Vamos a demostrar que existe
2
: u R C solucin de (II.4.4.2) y por lo tanto, solucin

de (II.4.3.1) satisfaciendo (II.4.3.5). Para eso, es suficiente demostrar que, para todo 0 a >

existe una solucin de (II.4.2.2) en
[ ] [ ]
, , a a a a .

Sea
[ ] [ ] ( )
(1)
, , , X C a a a a = C i.e. X es el espacio de las funciones continuas

con primeras derivadas parciales continuas. Recordemos que X es un espacio de Banach

provisto de la norma


x y
X
u u u u = + +
donde,

[ ] { }
sup ( , ) : , , v v x y x y a a = .

-65-
Para todo u X y para cualesquiera
[ ]
, , x y a a , definimos Tu por


( )
( , ) ( , , , , )
D
Tu x y f u u u d d

=

. (II.4.4.3)
Luego se cumplen

( )
( , ) ( , , , , )
y
x
x
x
Tu x y f x u u u d

, (II.4.4.4)


( )
( , ) ( , , , , )
x
y
y
Tu x y f y u u u d

. (II.4.4.5)

En efecto, mostraremos (II.4.4.4). De (II.4.4.3) y de la segunda igualdad de (II.4.4.2) tenemos


( )
( , ) ( , , , , )
x y
y
Tu x y d f u u u d



=

.

Sea

( )
, , , , ( , , , , )
y
y
G y u u u f u u u d

.

con esto

( ) ( )
( , ) , , , ,
x
y
y
Tu x y G y u u u d

.

Entonces


( )
( ) ( )
0
( , ) ( , )
( , ) lim
x
h
Tu x h y Tu x y
Tu x y
h

+
=


( ) ( )
0
1
lim , , , , , , , ,
x h x
y y
y y h
G y u u u d G y u u u d
h


+


=






( )
0
1
lim , , , ,
x h
y
x h
G y u u u d
h


+

=




( ) ( )
0
1
lim , , , , , , , ,
w y x y
h
G w y u u u h G x y u u u
h

= =

para algn w tal que x w x h + ; usando el teorema del valor medio para integrales

como 0 h entonces w x .

i.e.
( ) ( )
( , ) , , , ,
x y
x
Tu x y G x y u u u = ,

por lo tanto

( )
( , ) ( , , , , )
y
x
x
x
Tu x y f x u u u d

.

Luego sigue de (II.4.4.3), (II.4.4.4) y (II.4.4.5) que Tu X , y para cualesquiera , u v X ,

mayoremos:

-66-
-
( )
( , ) ( , , , , ) ( , , , , )
y x
x
Tu Tv x y d f u u u f v v v d








y x
x
L d u v u v u v d




+ +





y x
X
x
L u v d d



=



i.e.
( )
2
( , )
X
Tu Tv x y L u v x y + (II.4.4.6)

-
( )
( ) ( ) ( , ) ( , , , , ) ( , , , , )
y x
x x x x
x
Tu Tv x y f u u u f v v v d d








y
x x
x
L u v u v u v d


+ +




y
X X
x
L u v d L u v x y

= = +



i.e. ( ) ( ) ( ) ( , )
x x
X
Tu Tv x y L u v x y + (II.4.4.7)

- Anlogamente, conseguimos


( )
( ) ( ) ( , )
y y
X
Tu Tv x y L u v x y + (II.4.4.8)

Para cualesquiera
[ ]
, , x y a a (i.e. x a , y b ) tenemos

2 x y x y a + + ,

luego tomando
{ }
max 2 , 2 c a = , tendremos


( )
2 2
2 x y x y x y x y a x y c x y + = + = + + + +

i.e.
( )
2
x y c x y + + .

y, por tanto, en (II.4.4.6), (II.4.4.7) y (II.4.4.8) podemos tomar como segundo miembro a


X
cL u v x y + . (II.4.4.9)

Entonces tenemos


( ) ( )
x y X
Tu Tv Tu Tv Tu Tv Tu Tv = + +

3
X
Lc u v x y + .

Similarmente, encontraremos mayoraciones para:

-67-
-
( )
2 2
( , ) ( )( , ) ( )( , ) T u T v x y T Tu x y T Tv x y =

( , , , ( ) , ( ) ) ( , , , ( ) , ( ) )
y x
x
d f Tu Tu Tu f Tv Tv Tv d







( ) ( ) ( ) ( )
y x
x
L d Tu Tv Tu Tv Tu Tv d




+ +




3
y x
X
x
Lc u v d d



+

(Aqu utilizamos (II.4.4.9)) (II.4.4.10)

Anlogamente, llegamos a conseguir las siguientes relaciones:

-
( )
2 2 2
( ) ( ) ( , ) 3
y
x x
X
x
T u T v x y L c u v x d

(II.4.4.11)

-
( )
2 2 2
( ) ( ) ( , ) 3
y
y y
X
x
T u T v x y L c u v y d

(II.4.4.12)

Observemos por ejemplo, como obtuvimos


( )
y y
x x
x d x d

+ = + =

2
2
y
x
x


+


2 2
( )
2 2
y x
xy x x

= + +





2 2
2 2
y x
xy = + +
( )
2
2 2
2
2 2
x y
x xy y
+
+ +
= =

donde hemos partido del hecho que:

x y < < luego x x x x y < + < + i.e. 0 x x y < + < + entonces x x + = + .

Entonces conseguimos


( ) ( )
2 2
2
2 2 2 2 2 2 2 2
9
3!
X
X x y
L c
T u T v T u T v T u T v T u T v u v x y = + + +

siendo los segundos miembros de (II.4.4.10), (II.4.4.11) y (II.4.4.12) mayorados por


2
2 2
3
X
L c u v x y + .

Por induccin viene que

( )
3
!
n
n n
X
X
Lc
T u T v u v
n
; , u v X .

Para cada n
+
Z , sea

3
!
n
n
Lc
b
n
= ,


-68-
ahora utilizamos el criterio de la razn para sucesiones de nmeros reales


1
1
3
1 ( 1)!
lim lim 3 lim 0 1
1
3
!
n
n
n
n n n
n
Lc
b n
Lc
b n
Lc
n
+
+

+
= = = <
+


entonces


3
lim 0
!
n
n
Lc
n

= ,
por lo tanto
1
3
!
n
Lc
n




converge, luego sigue por definicin de lmite de sucesiones de

nmeros reales que:
Dado 0 1 < < , existe
0
n N tal que para todo
0
m m > tenemos
3
1
!
m
Lc
m
< < .

Entonces tomamos
0
n m = para concluir que existe 1 n tal que
n
T es una contraccin en

[ ] [ ] ( )
(1)
, , , C a a a a X = C , luego por el corolario I.4.2. T tiene un nico punto fijo en

X , es decir existe una nica funcin u X la cual satisface (II.4.4.2).

Segundo Caso: Supongamos ahora que f esta definida en una vecindad de la recta

0 x y + = y que la constante de Lipschitz de f (en las tres ltimas variables , u p y q ) crezca

con , , u p q ; entonces podemos demostrar la existencia y unicidad de la solucin de

(II.4.2.2) slo en una vecindad de la recta 0 x y + = . Precisamente nos vamos a restringir a


[ ] [ ] [ ] [ ] [ ]
, , 0 0 0
r R R
A B B B = ,

donde
[ ] [ ]
0 , 0
r R
B B son bolas cerradas centradas en 0 y de radio r y R respectivamente,

adems es escogido de tal manera que, si
[ ] [ ]
: , , u C toma valores en

[ ]
0
r
B y
x
u ,
y
u en
[ ]
0
R
B , entonces lo mismo vale para Tu definida por (II.4.4.3).

Es posible escoger as, pues si f M = en A; entonces de (II.4.4.3), (II.4.4.4), y

(II.4.4.5) se sigue que:




-69-
-
( )
( , ) ( , , , , )
D
Tu x y f u u u d d

=

( )
M x y +


2
( , , , , ) 4
D D
f u u u d d f d d M

=

.

-
( )
( , ) ( , , , , )
y
x
x
Tu x y f u u u d M x y




( ) ( ) 2 M x y M M + + = .

-
( )
( , ) 2
y
Tu x y M .

Sea
[ ] [ ] [ ] ( )
1
, , , 0
r
X C B = cuyas derivadas asumen valores en
[ ]
0
R
B ,

los clculos hechos en el primer caso se aplican.
































-70-
II.5.- APLICACIN AL PROBLEMA DE STURM-LIOUVILLE

El problema de Sturm-Liouville consiste en resolver la ecuacin diferencial con valores

en la frontera


2
2
( , ) 0
(0) (1) 0
d u
f x u
dx
u u

+ =

= =

(II.5.1)

la cual presenta una conexin con el problema de una varilla elstica bajo compresin con

extremos fijos; aqu u denota el desplazamiento axial y la carga axial. Para valores peque-

os de , la solucin es 0 u = (a menos que corresponda a un autovalor), el cual corres-

ponde a la varilla recta. Pero como la carga es aumentada, la varilla ser doblada; dando

origen a la solucin no nula.

Queremos encontrar una ecuacin integral equivalente al problema de Sturm-Liouville

(II.5.1). Sea u con segunda derivada continua y definamos : u = . Ahora

( ) ( ) ( )
0 0 0 0 0 0
( ) ( )
y
x y x y x
s dsdy u s dsdy u s dy = =




( ) ( )

0 0
0
( ) (0) ( ) (0) ( ) (0) (0)
x
x
u y u dy u y u y u x u x u = + = + = + +



i.e. ( )
0 0
( ) (0)
x y
s dsdy u x u x = +



despejando ( ) u x tenemos

( )
0 0
( ) (0)
x y
u x xu s dsdy =

.

Integramos por partes la integral doble


( )
0
y
u s ds =

dv dy =


( )
du y = v y =


( ) ( )
( )
( ) ( ) ( )
0 0 0 0 0 0 0
x
x y y x x x
s dsdy y s ds y y dy x s ds y y dy = =




( ) ( ) ( )
0 0 0
( )
x x x
x y dy y y dy x y y dy = =



i.e.
( ) ( )
0 0 0
( )
x y x
s dsdy x y y dy =




-71-
Por lo que

( )
0
( ) (0) ( )
x
u x xu x y y dy =

. (II.5.2)
Tenemos


( ) ( ) ( ) ( )
1
1 1 1 1 1 1
( ) ( ) (1) ( )
x y x y x x y
s dsdy u s dsdy u s dy u u y dy = = = +




( )

( )
1
0
(1) ( ) (1) (1) (1) ( )
x
u y u y u u u x u x = + = + +

( ) (1)(1 ) u x u x = ,

entonces sigue


( )
1 1
( ) (1)(1 )
x y
u x u x s dsdy =

.

Integraremos por partes la integral doble


( )
1
y
m s ds =

dn dy =


( )
dm y = n y =

( ) ( )
( )
1 1 1
1
y
x y x
s dsdy s ds dy =



( ) ( )
( )
( )
1
1 1
1 1
y y
x x x
s dsdy y s ds y y dy

= =





( ) ( ) ( ) ( )
1 1 1
1
x
x x x
x s ds y y dy x s ds y y dy

= =





( ) ( ) ( ) ( )
1 1 1
x x x
x y dy y y dy x y y dy

= =





i.e.
( ) ( ) ( )
1 1 1
x y x
s dsdy x y y dy =



entonces


( ) ( )
1
( ) (1)(1 )
x
u x u x x y y dy = +

. (II.5.3)

De igual forma

( ) ( ) ( )
1
1 1
0 0 0
(1) (0) ( ) (1) (0) ( ) (1) (0) y dy u u u y dy u u u y u u + = + = +



(1) (0) (1) (0) 0 u u u u = + + =

-72-
i.e.
( )
1
0
(1) (0) 0 y dy u u + =

(II.5.4)

para todo
[ ]
0,1 x .Multiplicando (II.5.2) por (1 ) x , (II.5.3) por x y (II.5.4) por (1 ) x x

y entonces sumando estas tres nuevas ecuaciones y agrupando adecuadamente obtenemos


( ) ( ) ( ) ( )
1
0
( ) 1 1
x
x
u x x y y dy x y y dy = +

(II.5.5)


( )
1
0
( ) ( , ) u x G x y y dy =



donde G es la funcin de Green


(1 ),
( , )
(1 ),
x y x y
G x y
y x y x



Pero como
( )
( ) ( ) , ( ) x u x f x u x = = tenemos


( )
1
0
( ) ( , ) , ( ) u x G x y f y u y dy =

(II.5.6)

con G definida como antes (Observemos que G es continua en
2
R ).

Recprocamente, sea
[ ]
0,1 C solucin de la ecuacin integral (II.5.5).

Para todo
[ ]
0,1 x definamos la funcin


( ) ( )
1
0
( ) (1 ) (1 )
x
x
u x x y y dy x y y dy = +

,


entonces (0) 0 u = y (1) 0 u = y por la construccin de la ecuacin integral tenemos

( , ) u f x u = = . Por consiguiente, el problema con valor en la frontera (II.5.1) y la

ecuacin integral (II.5.5) son equivalentes.

Es decir, resolver el problema de Sturm-Liouville es equivalente a resolver la ecuacin

integral (II.5.6). Observemos que esta ecuacin integral equivalente es la ecuacin de

Fredholm de primera especie (ver II.2.1.2, pgina 38) donde 0 a = , 1 b = y el ncleo para

cualesquiera
[ ]
, 0,1 x y es ( , ) ( , ) K x y G x y = .

Consideremos el espacio de las funciones cuadrado integrable en el dominio
[ ]
0,1 .

i.e.
[ ] ( )
2
0,1 L = {
[ ]
: 0,1 f R; f medible en
[ ]
0,1 y
1
2
0
( ) f x dx <

.}


-73-
Recordemos que
[ ] ( )
2
0,1 L es un espacio de Banach.

Definimos
[ ]
*
: 0,1 f R por


*
f f =

donde
[ ]
2
: 0,1 R con
( )
, id u = , id denota la funcin identidad y
2
: f R R es

la funcin dada i.e. tenemos para cada
[ ]
0,1 x


( ) ( )
*
( ) ( ) ( ( )) , ( ) f x f x f x f x u x = = = .

Ahora definamos el operador


[ ] ( ) [ ] ( )
2 2
: 0,1 0,1 T L L
u Tu

dado por


( ) ( )
1
*
0
( ) ( , ) Tu x G x y f y dy =

.

Es evidente que un punto fijo de T es solucin de la ecuacin integral y recprocamente.

Para asegurar que T es una contraccin en
[ ] ( )
2
0,1 L , asumimos que


*
f
u

es acotado i.e.
*
( )
f
x M
u

; 0 1 x ,
[ ] ( )
2
0,1 u L .

Denotemos a

*
( , , ) ( , ) ( ) K x y u G x y f y = , (II.5.A)

entonces por el teorema del valor medio, tenemos


1 2 1 2
( , , ) ( , , ) ( , , ) ( ) ( )
K
K x y u K x y u x y u u y u y
u




( )
*
1 2
( , ) ( ) ( ) ( ) G x y f y u y u y
u




*
1 2
( , ) ( ) ( ) ( )
f
G x y y u y u y
u




1 2
( , ) ( ) ( ) M G x y u y u y

i.e.
1 2 1 2
( , , ) ( , , ) ( , ) ( ) ( ) K x y u K x y u M G x y u y u y (II.5.B)

para algn u entre
1
u y
2
u .
-74-

Sea

1 1
2
2 2
0 0
( , ) M G x y dxdy =

. (II.5.C)

Probaremos que


2
1 1
2
2 2
0 0
( , )
90
M
M G x y dxdy = =

.

En efecto, teniendo en cuenta la funcin de Green con la que estamos trabajando, calculemos

( ) ( ) ( )
1 1 1 1 1 1
2 2 2 2
0 0 0 0 0 0
( , ) ( , ) ( , ) ( , )
y
y
G x y dxdy G x y dxdy G x y dx G x y dx dy

= = +





( )
1 1
2 2 2 2
0 0
(1 ) (1 )
y
y
x y dx y x dx dy = +




( )
1 1
2 2 2 2
0 0
(1 ) (1 )
y
y
y x dx y x dx dy = +




1
3 3
1
2 2
0
0
(1 )
(1 )
3 3
x y x
x x y
x x
y y dy
= =
= =



( )
( )
1
3
2 3 2
0
1
(1 ) 1
3
y y y y dy = +




( )
1
4 3 2
0
1
2
3
y y y dy = +




1
5 4 3
0
1 1 1 1 1 1
3 5 2 3 3 5 2 3 90
y
y
y y y
=
=


= + = + =



.

i.e.
1 1
2
0 0
1
( , )
90
G x y dxdy =

. (II.5.D)

Ahora mostraremos que T es una contraccin en
[ ] ( )
2
0,1 L para un valor fijo de .

En efecto, con (II.5.A) el operador T queda definido por


( ) ( )
1
0
( ) , , ( ) Tu x K x y u y dy =

.

Para cualesquiera
[ ] ( )
2
1 2
, 0,1 u u L tenemos

( ) ( )
{ }
1
1
2
2
1 2 1 2
2
0
( ) ( ) Tu Tu Tu x Tu x dx =

. (II.5.E)


-75-
Mayoraremos la funcin que estamos integrando i.e.


( ) ( ) ( ) ( )
1 1
1 2 1 1
0 0
( ) ( ) , , ( ) , , ( ) Tu x Tu x K x y u y dy K x y u y dy =




1
1 2
0
( , , ( )) ( , , ( )) K x y u y K x y u y dy




1
1 2
0
( , ) ( ) ( ) M G x y u y u y dy

(usamos (II.5.B))

( )( )
1
1 1
2 2 2
2
1 2
0 0
( , ) ( ) ( ) M G x y dy u y u y dy







( )
1
1
2 2
2
1 2
2
0
( , ) M G x y dy u u =



donde, el penltimo paso lo conseguimos usando la desigualdad de Hlder para integrales.

Entonces tenemos


( ) ( )
( )
1
1
2 2
2
1 2 1 2
2
0
( ) ( ) ( , ) Tu x Tu x M G x y dy u u

.

Reemplazamos esta desigualdad en (II.5.E)

( )
1
2
2
1
1 1
2 2
2
1 2 1 2
2
2
0 0
( , ) Tu Tu M G x y dy u u dx









( )
1
1 1
2 2
2
1 2
2
0 0
( , ) u u M G x y dydx =




1 2
2
u u = (usamos (II.5.C))

i.e.
1 2 1 2
2 2
Tu Tu u u ;
[ ] ( )
2
1 2
, 0,1 u u L .

Ahora sea 0 = > . Notemos que 1 < slo si
1

< .

As, concluimos que T es una contraccin en
[ ] ( )
2
0,1 L siempre que:

i).
[ ] ( )
* 2
0,1 f L y
*
( )
f
x M
u

, para cada 0 1 x y para todo


[ ] ( )
2
0,1 u L .

ii).
1

< , y existe
1 1
2
2 2
0 0
( , ) M G x y dxdy =

.



-76-
Antes de aplicar el T.P.F.B., debemos probar que
[ ] ( )
2
0,1 Tu L .

En efecto, para todo
[ ] ( )
2
0,1 u L tenemos que:

- Tu es medible, pues al ser aplicado sobre cada
[ ]
0,1 x , es una integral de Riemann

continua en
[ ]
0,1 , luego Tu es integrable en el sentido de Lebesgue.

-
2
Tu < .

En efecto, para todo
[ ] ( )
2
0,1 u L tenemos


( )
{ }
1
1
2
2
2
0
( ) Tu Tu x dx =



( )
1
2
2
1 1
0 0
, , ( ) K x y u y dy dx

=






1
2
2
1 1
*
0 0
( , ) ( ) G x y f y dy dx

=



(usamos (II.5.A))

i.e.
1
2
2
1 1
*
2
0 0
( , ) ( ) Tu G x y f y dy dx

=



. (II.5.F)

Mayoraremos la funcin que se esta integrando i.e.


1 1
* *
0 0
( , ) ( ) ( , ) ( ) G x y f y dy G x y f y dy




( )( )
1
1 1 2
2 2
*
0 0
( , ) ( ) G x y dy f y dy







( )
1
1
2 2
0
( , ) C G x y dy

(pues
[ ] ( )
* 2
0,1 f L )

reemplazamos esta desigualdad en (II.5.F) y tenemos

( )
1
2
2
1
1 1
2 2
2
0 0
( , ) Tu C G x y dy dx







{ }
1
1 1
2 2
0 0
( , ) C G x y dydx =

1
2
1
90
C

=


(usamos (II.5.D))

-77-
i.e.
2
Tu ,
[ ] ( )
2
0,1 u L .

Por lo tanto, para todo
[ ] ( )
2
0,1 u L se cumple que
[ ] ( )
2
0,1 Tu L .

Entonces tenemos todas las hiptesis del T.P.F.B. verificadas, concluyendo que existe una

nica solucin de la ecuacin integral (II.5.6) y consecuentemente del problema de Sturm-

Liuoville considerado.

Supongamos por ejemplo, para el problema del doblado de una varilla que:


( )
( , ) ( ) f x u sen u x =

es decir, tenemos

( )
*
( ) ( ) f x sen u x = ,

entonces

( )
*
cos ( ) 1
f
u x
u


de donde

1 M = y 3 10 < .

Por el anlisis hecho en esta seccin, podemos afirmar que:

- Para cargas menores a 3 10 , el problema de la varilla tiene una nica solucin.

- Como 0 u = satisface la ecuacin (II.5.1), 0 u = es la nica solucin i.e. la varilla no se

dobla para cargas mayores a 3 10 .

- Las soluciones no nulas existen para 3 10 > .















-78-
II.6. APLICACIN A LA PROGRAMACIN DINMICA

La optimizacin Dinmica como su nombre lo indica, estudia la optimizacin de

sistemas dinmicos, es decir, sistemas que evolucionan en el tiempo. Dado un sistema, se

trata de guiar o controlar el sistema de manera ptima mediante el manejo de otras

magnitudes llamadas variables de control a lo largo de un horizonte temporal dado, de

acuerdo a un objetivo previamente fijado.

Consideremos por ejemplo, nuestro propio cuerpo como un sistema dinmico el cual el

mdico examina tomndonos la presin arterial, la temperatura, analizando los estudios

realizados, como son un electrocardiograma, la cantidad de plaquetas, de leucocitos, de

glbulos rojos, el nivel de colesterol, el nivel de enzimas que intervienen en el metabolismo

de los aminocidos (transaminasas), el azcar de la sangre (glucosa), etc. De esta manera el

mdico determina el estado en que est nuestro organismo. Si considera que el mismo no es

el adecuado, entonces tomar medidas de control para mejorar dicho estado.

Entre muchas prescripciones, nos puede recomendar hacer una mayor actividad fsica, ingerir

ciertos medicamentos, seguir una dieta especfica de comidas, etc. Llevadas a la prctica estas

medidas tendern a modificar el estado de nuestra salud.

Los campos de aplicacin de la optimizacin dinmica no se circunscriben solamente a

ciertas ramas de la matemtica, como el anlisis matemtico, la geometra o los sistemas

dinmicos, sino que abordan otras reas del conocimiento, como por ejemplo la ingeniera, la

fsica, la economa, la biologa, etc.

De manera similar a la bsqueda de mximos y mnimos de una funcin que modeliza

matemticamente cierto problema, la finalidad de la optimizacin dinmica radica en

determinar la existencia, y eventualmente el clculo, de los valores de ciertas variables,

llamadas variables de estado, consideradas como funciones de otras variables (por ejemplo,

el tiempo y/o variables llamadas variables de control), que producen valores ptimos

(mximos o mnimos, segn sea el caso) de cierta cantidad de estudio llamada funcional

objetivo durante cierto intervalo temporal.

En cuanto a su tratamiento matemtico, los problemas de optimizacin dinmica pueden

resolverse por alguna de estas tres tcnicas:

1.- El clculo de variaciones.

2.- El control ptimo.

3.- La programacin dinmica.
-79-
Si bien las tres tcnicas permiten abordar problemas en tiempo discreto y continuo, los

mtodos 1 y 2 se utilizan generalmente para el tiempo continuo y el restante para el tiempo

discreto.

II.6.1. DEFINICIN

Sean X e Y dos conjuntos arbitrarios. Una correspondencia f de X en Y es una

regla que asocia cada elemento x de X a un subconjunto ( ) f x de Y .

i.e. : f X P(Y )

donde P(Y ) es el conjunto de partes de Y .

Nuestro inters en este trabajo se centra en correspondencias del tipo

: f X P( X ).

Si usamos la notacin de funciones, podemos definir una correspondencia X P( X )

como una funcin X {Y P( X )} .

Sean X e Y dos espacios mtricos arbitrarios y sea una correspondencia : f X P(Y ).

El grafo de f es el conjunto
( ) , ( )
f
x X
G x f x

donde ( ) f x es el conjunto imagen del



elemento x (recordemos que f es una correspondencia y por lo tanto la imagen de cualquier

punto es un conjunto). Se dice que el grafo es cerrado si el conjunto
f
G es un conjunto

cerrado.

El concepto de continuidad se generaliza para correspondencias a partir de los conceptos ms

dbiles de semicontinuidad inferior y semicontinuidad superior. Para nosotros slo es

relevante el ltimo de estos conceptos.

II.6.2. DEFINICIN

Si
m
X R e
n
Y R , la correspondencia : f X P(Y ) se llama semicontinua

superior si su grafo es cerrado y para cada punto de X su imagen es un conjunto compacto.

Por otro lado, la extensin del concepto de punto fijo a correspondencias es directa.

II.6.3. DEFINICIN

Dado un conjunto X , se dice que un elemento x X es un punto fijo de la

correspondencia : f X P( X ) si ( ) x f x .

-80-
Obviamente para cada correspondencia : f X P( X ), podemos definir


{ }
( ) : ( ) fix f x X x f x = .

Teniendo en mente esta definicin y de la definicin I.1. del captulo I, podemos establecer

que, tanto para correspondencias como para funciones, se verifica ( ) fix f X . Es claro que

si definimos recursivamente para cualquier i N y x X ,


( 1) ( )
( ) ( )
i i
f x f f x
+
=


con
(1)
f f , esto implica

( )
( ) ( )
i
i
fix f f X

.

En otras palabras, los puntos fijos de una funcin deben pertenecer a la interseccin de las

imgenes de sus sucesivas iteraciones.

II.6.4. APLICACIN DEL T.P.F.B. A LA PROGRAMACIN DINMICA

La Teora de la Programacin Dinmica fue elaborada principalmente por Richard

Bellman durante la dcada de 1950, trata acerca de la toma ptima de decisiones en procesos

de etapas mltiples, frecuentemente estocsticos.

Dada una funcin continua

:
n n
g R R R

y una correspondencia nunca vaca

:
n
f R P(
n
R )

semicontinua superiormente, un problema determinstico tpico de esta teora es el de hallar el

valor


{ }
( )
1
0 1
( ) max ,
t
t
t t
x
t
v x g x x

=

N
, ( ) { }
1 t t
t
x f x

N


donde la sucesin
{ }
t
t
x
N
se elige en el espacio de sucesiones
n
N R y
[ )
0,1 es un

parmetro que frecuentemente se interpreta como un factor de descuento entre dos tiempos.

Siguiendo con esta interpretacin de t como un ndice de tiempo, esta clase de problema se

denomina de horizonte infinito. La estructura recursiva que presenta permite mostrar que la

funcin valor :
n
v R R debe satisfacer la ecuacin funcional

( )
( )
( ) { }
1
1 1
max , ( )
t t
t t t t
x f x
v x g x x v x

= + (II.6.4.1)

-81-
En efecto, en (II.6.4.1) damos valores enteros positivos para t , encontrando para

- 1 t = : ( )
( )
( ) { }
1 0
0 0 1 1
max , ( )
x f x
v x g x x v x

= +

- 2 t = :
( )
( )
( ) { }
2 1
1 1 2 2
max , ( )
x f x
v x g x x v x

= +

- 3 t = : ( )
( )
( ) { }
3 2
2 2 3 3
max , ( )
x f x
v x g x x v x

= +
. .
Reemplazando
( )
2
v x en
( )
1
v x , tenemos


( )
( )
( )
( )
( ) { }
{ }
2 1 3 2
1 1 2 2 3 3
max , max , ( )
x f x x f x
v x g x x g x x v x

= + + .

Reemplazando
( )
1
v x en
( )
0
v x , tenemos


( )
( )
( )
( )
( )
( )
( ) ( )
{ }
1 0 2 1 3 2
0 0 1 1 2 2 3 3
max , max , max , ( )
x f x x f x x f x
v x g x x g x x v g x x v x


= + + +





( )
( )
( )
( ) ( ) ( )
1 0
2 1
3 2
0 1 2 3
0 1 1 2 2 3 3
max , , , ( )
x f x
x f x
x f x
g x x g x x g x x v x

= + + +




{ }
( ) ( )
1)
1
1 1
(
max ,
t t
t
t
t t t
x f x
t
g x x v x


= =

N
N


(La importancia de la relacin (II.6.4.1) es que nos permite maximizar por partes.)

Esta ecuacin se denomina ecuacin de Bellman y se debe satisfacer para todo t N si v

ha de ser una solucin. Ntese que la estructura de la ecuacin es invariante ante

desplazamientos temporales, por lo que se refiere a la determinacin de la funcin de valor,

no hay inconveniente en prescindir del ndice t .

Hacemos:
1 t
y x

= y
t
x x = , con esto la ecuacin de Bellman es


[ ]
( )
( ) max ( , ) ( )
x f y
v y g y x v x

= + .

Sea
( )
*
,
n
X C = R R el espacio de las funciones continuas y acotadas, el cual dotado de la

mtrica del sup es completo. De esta forma asumiendo que el max esta bien definido para

cualquier y , podemos definir unvocamente el operador de Bellman como : T X X

dado por

( ) [ ]
( )
( ) max ( , ) ( )
x f y
T w y g y x w x

= + , w X .

-82-
En lo que sigue asumiremos que la funcin g y la correspondencia semicontinua superior f

son de tal tipo que
[ ]
( )
max ( , ) ( )
x f y
g y x w x

+ est bien definido y es una funcin continua y


acotada de y .

Luego, si fuese posible mostrar que T es una contraccin en X , el teorema del punto

fijo de Banach garantiza la existencia de una nica solucin a la ecuacin de Bellman.

Afirmacin: T es una contraccin en X .

En efecto; sean
1
w ,
2
w X


1 2
( )( ) ( )( ) T w y T w y =
[ ] [ ]
1 2
( ) ( )
max ( , ) ( ) max ( , ) ( )
x f y x f y
g y x w x g y x w x

+ + (II.6.4.2)

Para todo ( ) x f y , sea


1
( ) ( , ) ( )
y
u x g y x w x = + .

Observemos que
y
u es continua sobre el compacto ( ) f y , luego
y
u tiene mximo. Digamos

que
*
( ) x f y es el punto donde
y
u alcanza su mximo, entonces tenemos


[ ]
* * *
1 1
( ) ( )
max ( ) max ( , ) ( ) ( ) ( , ) ( )
y y
x f y x f y
u x g y x w x u x g y x w x

= + = = + .

Anlogamente para

2
( ) ( , ) ( )
y
v x g y x w x = + , ( ) x X y

se tiene que
**
( ) x f y es el punto donde
y
v alcanza su mximo,


[ ]
** ** **
2 2
( ) ( )
max ( ) max ( , ) ( ) ( ) ( , ) ( )
y y
x f y x f y
v x g y x w x u x g y x w x

= + = = + .

Luego reemplazando en (II.6.4.2), tenemos


( ) ( )
* * ** **
1 2 1 2
( )( ) ( )( ) ( , ) ( ) ( , ) ( ) T w y T w y g y x w x g y x w x + + (II.6.4.3)

Ahora puede ocurrir que:

- Supongamos que


* * ** **
1 2
( , ) ( ) ( , ) ( ) g y x w x g y x w x + + ;

como
** **
2
( , ) ( ) g y x w x + es el mximo de ( )
y
v x para todo ( ) x f y , en particular

para
*
( ) x f y tenemos


* * ** **
1 2
( , ) ( ) ( , ) ( ) g y x w x g y x w x + + .

-83-
Reemplazando esta ltima relacin en (II.6.4.3) conseguimos


( ) ( )
* * * *
1 2 1 2
( )( ) ( )( ) ( , ) ( ) ( , ) ( ) T w y T w y g y x w x g y x w x + +


* *
1 2 1 2
( ) ( ) sup ( ) ( )
x
w x w x w x w x =


( )
1 2
, d w w = .

- Si por el contrario, se verificase


* * ** **
1 2
( , ) ( ) ( , ) ( ) g y x w x g y x w x + < + ;

como
* *
1
( , ) ( ) g y x w x + es el mximo de ( )
y
u x para todo ( ) x f y , en particular

para
**
( ) x f y , tenemos


** ** * *
2 1
( , ) ( ) ( , ) ( ) g y x w x g y x w x + + .

Luego de reemplazar esta desigualdad en (II.6.4.3), tenemos


( ) ( )
** ** ** *
1 2 2 1
( )( ) ( )( ) ( , ) ( ) ( , ) ( ) T w y T w y g y x w x g y x w x + +


** **
2 1 2 1
( ) ( ) sup ( ) ( )
x
w x w x w x w x =


( ) ( )
2 1 1 2
, , d w w d w w = =

De ambos casos al final siempre tenemos


( )
1 2 1 2
( )( ) ( )( ) , T w y T w y d w w ;
1
w ,
2
w X .

Luego, el primer miembro es acotado, entonces tiene supremo, y

( )
1 2 1 2
sup ( )( ) ( )( ) ,
y
T w y T w y d w w


1 2 1 2
( , ) ( , ) d Tw Tw d w w ;
1
w ,
2
w X .

Pero como tenemos por hiptesis que 0 1 < , T es una contraccin en
( )
*
,
n
C X = R R .

Y por el teorema del punto fijo de Banach (T.P.F.B.), existe una nica solucin a la ecuacin

de Bellman.







-84-
II.7. APLICACIN A LA DINMICA COMPLEJA

II.7.1. FUNCIONES HOLOMORFAS DE VARIAS VARIABLES COMPLEJAS

Recordemos que
n
n veces
= C C C C
_
, y si un
1 2
( , ,..., )
n
n
z z z z = C entonces
cada
j
z con j N es una coordenada compleja de z . Como
j j j
z x iy = + C donde

Re( )
j j
x z = , Im( )
j j
y z = R, luego tenemos que:

Si
n
z C entonces
2
1 1, 2 2
( , , ,..., , )
n
n n
x y x y x y R i.e. identificamos a
n
C con
2n
R .

Para
1 2
( , ,..., )
n
z z z z = ,
1 2
( , ,..., )
n
n
w w w w = C y C, definimos


1 1 2 2
1 2
( , ,..., )
( , ,..., )
n n
n
z w z w z w z w
z z z z
+ = + + +



con estas operaciones
n
C es un C espacio vectorial.

Dotaremos a
n
C de una topologa, para esto definimos:

i). Un polidisco abierto en
n
C de centro
1 2
( , ,..., )
n
n
a a a a = C y poliradio ( )
n
r
+
R

con
( )
1 2
( , ,..., )
n
n
r r r r
+
= R denotado por
( )
, a r , como el conjunto


( ) { }
1 2 1 1 1 2 2 2
, ( , ,..., ) : , , ,
n
n n n n
a r z z z z z a r z a r z a r = = < < < C .

ii). Un polidisco cerrado en
n
C de centro
1 2
( , ,..., )
n
n
a a a a = C y poliradio ( )
n
r
+
R

con
( )
1 2
( , ,..., )
n
n
r r r r
+
= R denotado por
[ ]
, a r , como el conjunto


[ ] { }
1 2 1 1 1 2 2 2
, ( , ,..., ) : , , ,
n
n n n n
a r z z z z z a r z a r z a r = = C .

II.7.1.2. OBSERVACIONES

II.7.1.2.1.- Si
1 2
( , ,..., )
n
n
z z z z = C la norma de z denotada por z est definida por


2 2 2
1 2 n
z z z z = + + +

es la norma euclidiana.

II.7.1.2.2.- Si denotamos:

-
( ) { }
: ,
j
r j j j j j
D a z z a r j = < C N C.

-
{ }
: ,
j
r j j j j j
D a z z a r j =

C N C.

-85-
Obtenemos respectivamente:

- ( ) ( ) ( ) ( )
1 2
1 2
,
n
r r r n
a r D a D a D a = .

-
[ ] [ ] [ ] [ ]
1 2
1 2
,
n
r r r n
a r D a D a D a = .

Por ejemplo, grficamente mostremos al polidisco abierto
( )
2
, a r C :
























II.7.1.2.3.-
n
C dotado de la topologa cuya base es generada por los polidiscos abiertos es un

espacio topolgico equivalente a
2n
R dotado de la topologa cuya base es

generada por las bolas abiertas i.e. tenemos:


2 n n
C R

topolgicamente

De esta manera todos los resultados conocidos de la topologa de los espacios

euclidianos
2n
R pueden ser aplicados a
n
C .

II.7.2. NOTACIN DE MULTI-NDICES DE SCHWARTZ

- Un multi-ndice de dimensin n , es una n -upla de nmeros naturales

( ) ( )
1 2 0
, , ,
n
n
Q q q q
+
= Z .

- Su norma se define como


1 2 n
Q q q q = + + + .

-86-
- El factorial de Q se denota por ! Q y se define


1 2
! ! ! !
n
Q q q q =

- Sea
n
U C abierto y :
n
f U C C, definimos


1 2
1 2
...
n
Q Q
q q q Q
n
f f
z z z z

=

.

II.7.3. DEFINICIN

Sea
n
U C abierto y : f U C. Decimos que f es holomorfa ( analtica) en

1 2
( , ,..., )
n
a a a a U = si existe
( )
, a r U polidisco abierto tal que


0
( ) ( )
Q
Q
Q
f z c z a

=
=

;
( )
, z a r U .

Decimos que f es holomorfa en U si es holomorfa en a , para todo a U .

Al conjunto de todas las funciones holomorfas en el abierto
n
U C lo denotaremos por

O( ) U .

II.7.3.1. EJEMPLO

Las funcionales lineales :
n
f C C definidas por


1 2 1 1 2 2
( , ,..., )
n n n
f z z z a z a z a z = + + +

son funciones holomorfas en
n
C .

En general, toda funcin polinomial es holomorfa en
n
C .

II.7.4. OBSERVACIN

De la teora elemental de serie de potencias (en una variable en C) tenemos el

siguiente resultado:

Sea
0
( )
n
n
n
c z a

una serie de potencias convergente en el disco ( )


R
D a C.

Si 0 r R < < entonces la serie converge absolutamente y uniformemente en el disco cerrado

[ ]
r
D a .

Este resultado se generaliza a serie de potencias de varias variables:


-87-
Sea
0
( )
Q
n
Q
c z a

una serie de potencias convergente en el polidisco abierto ( , ) a R con


poliradio
( )
1 2 0
( , , , )
n
n
R R R R
+
= Z , si 0
j j
r R < < , para todo 1 j n entonces la serie

converge absoluta y uniformemente en el polidisco cerrado
[ ]
, a r ,
1 2
( , ,..., )
n
r r r r = .

Por lo tanto, tenemos:

Si
n
U C es un abierto y : f U C es holomorfa en U entonces f es continua.

i.e. O( ) ( ) U C U .

II.7.5. DEFINICIN

Sea
n
U C un abierto. Un campo vectorial holomorfo en U es una funcin

: Z U
n
C
z
( )
1 2
( ) ( ), ( ),..., ( )
n
Z z Z z Z z Z z =
tal que

1).- :
j
Z U C son funciones holomorfas para todo 1 j n .

2).- Si z U entonces ( )
n
Z z C es un vector cuyo punto de aplicacin es z .

II.7.5.1. NOTACIN

Denotemos por ( ) U al conjunto de todos los campos vectoriales holomorfos.

i.e. ( ) U = { : ;
n
Z U C Z es campo vectorial holomorfo en U }.

II.7.5.2. EJEMPLOS

II.7.5.2.1.- Sea
2 2
: Z C C definido por


1 2 1 2 1 2
( , ) ( , ) Z z z az bz cz dz = + + ,

para cada
2
1 2
( , ) z z C donde a , b, c , d C.

Sigue que
2
( ) Z C , el cual se denomina campo lineal en
2
C .

II.7.5.2.2.- Sea
n n
ij
A a

=

C , y definimos :
n n
Z C C
( ) z Z z Az =

i.e.
1 2
1 1 1
( ) , ,...,
n n n
k k k k nk k
k k k
Z z a z a z a z
= = =

=



.

Sigue que ( )
n
Z C , el cual se denomina campo lineal de
n
C .

-88-
Note que el ejemplo II.7.5.2.1. es un caso particular del ejemplo II.7.5.2.2., para

la matriz
a b
A
c d

=


2 2
C .

II.7.5.2.3.- Sea
n n
ij
A a

=

C ,
[ ]
1 n n
i
b b

= C C definimos :
n n
Z C C por

( ) Z z Az b = + ,
n
z C .

i.e.
1 1 2 2
1 1 1
( ) , ,...,
n n n
k k k k nk k n
k k k
Z z a z b a z b a z b
= = =

= + + +



.

Sigue que ( )
n
Z C el cual se denomina campo afn en
n
C .

II.7.6. DEFINICIN

Sea
n
U C un abierto y ( ) Z U . Decimos que z U es un punto singular de

Z si ( ) 0
n
Z z = C (i.e. z anula el campo). Caso contrario, decimos que z es un punto

regular de Z .

Denotaremos por ( ) Sing Z al conjunto de todos los puntos singulares de Z .

i.e.
{ }
( ) : ( ) 0 Sing Z z U Z z U = = .

II.7.6.1. OBSERVACIONES

II.7.6.1.1.- Dado
1 2
( , ,..., ) ( )
n
Z Z Z Z U = . Decir que


1 2
( , ,..., ) ( )
n
z z z z Sing Z =

significa


1 1 2
2 1 2
1 2
( , ,..., ) 0
( , ,..., ) 0

( , ,..., ) 0
n
n
n n
Z z z z
Z z z z
Z z z z
=

. .


II.7.6.1.2.- Si ( )
n
Z C es un campo lineal (ver ejemplo II.7.5.2.2.) entonces

(0, 0,..., 0)
n
= C es un punto singular de Z .

II.7.6.1.3.- Si ( )
n
Z C es un campo afn (ver ejemplo II.7.5.2.3) con 0 b entonces

(0, 0,..., 0)
n
= C es un punto regular de Z .

-89-
II.7.6.2. EJEMPLOS

II.7.6.2.1.- Sea
2 2
: Z C C definido por


( )
1 2 2
, ( , ) Z z z a z =

para todo
( )
2
1 2
, z z C con
{ }
0 a R . Es claro que
2
( ) Z C y que Z no

tiene puntos singulares.

II.7.6.2.2.- Sea
2 2
: Z C C definido por


( )
3
1 2 1 2 1 2
, ( , ) Z z z z z z z = ,
( )
2
1 2
, z z C .

Entonces
( )
2
Z C y (0, 0) es el nico punto singular de Z .

En efecto; sea
( ) ( )
1 2
, w w Sing Z entonces tenemos


( )
1 2
, 0 Z w w = ,
de donde obtenemos

3
1 2 1 2
( , ) (0, 0) w w ww = ,

esta igualdad se cumple si y slo si


3
1 2
1 2
0
0
w w
ww
=



donde de la segunda igualdad obtenemos


1
0 w =
2
0 w =

lo que implica

3
2
0 w =
1
0 w =

respectivamente, de donde


1 2
( , ) (0, 0) w w = .
Por lo tanto


{ }
( ) (0, 0) Sing Z = .

II.7.7. DEFINICIN

Sea
n
U C abierto y ( ) Z U .

i).- La ecuacin diferencial ordinaria asociada a Z es dada por

( ) z Z z = (II.7.7.A)


-90-
ii).- Una solucin de la E.D.O. (II.7.7.A) es una funcin holomorfa : D U definida en

un disco abierto D C tal que para todo T D


( )
( ) ( ) T Z T = .

II.7.7.1. OBSERVACIONES

II.7.7.1.1.-
dz
z
dT
= , T C.

II.7.7.1.2.- Sea
( ) ( )
1 2
, ,...,
n
Z Z Z Z U = donde cada :
j
Z U C con 1, 2,..., j n = y


( )
1 2
, ,...,
n
z z z z = C entonces (II.7.7.A) es equivalente a


1 1 1 2
2 2 1 2
1 2
( , ,..., )
( , ,..., )

( , ,..., )
n
n
n n n
z Z z z z
z Z z z z
z Z z z z
=

. .
(II.7.7.1.2.A)

II.7.7.1.3.- Si :
n
D C definido en un disco abierto D C con T C tal que


( )
1 2
( ) ( ), ( ),..., ( )
n
T T T T =

es solucin de (II.7.7.A) (II.7.7.1.2.A) entonces


1 1 1 2
2 2 1 2
1 2
( ) ( ( ), ( ),..., ( ))
( ) ( ( ), ( ),..., ( ))

( ) ( ( ), ( ),..., ( ))
n
n
n n n
T Z T T T
T Z T T T
T Z T T T



=

. .
; T D C.

Grficamente tenemos:



-91-
II.7.7.1.4.- Si
( )
Z U es lineal entonces la E.D.O. asociada a Z se llama E.D.O. lineal.

II.7.7.1.5.- Si
( )
Z U es afn entonces la E.D.O. asociada a Z se llama E.D.O. afn.

II.7.8. DEFINICIN

Sea
n
U C abierto y
( )
Z U , para todo
0
z U y cualquier
0
T C.

i).- El problema de valor inicial (P.V.I.) asociado a Z es dado por


0 0
( )
( )
z Z z
z T z
=

(II.7.8.1)

(II.7.8.1) es llamado Problema de Cauchy para Campos Vectoriales Holomorfos.

ii).- La solucin del P.V.I. (II.7.8.1) es una funcin holomorfa : D U donde D C,

es un abierto, tal que para todo
0
T D


0 0
( ( )),
( )
Z T T D
T z



II.7.9. PROPOSICIN

Sea
n
U C abierto,
( )
Z U , para todo
0
z U y cualquier
0
T C.

Entonces resolver el P.V.I. (II.7.8.1) es equivalente a resolver la ecuacin integral


0
0
( ) ( ( ))
T
T
z T z Z z d = +

(II.7.9.1)














Demostracin:

Sea solucin de (II.7.9.1) entonces existe D C abierto,
0
T C tal que

: D U
( ) T T


-92-
es holomorfa, y


0 0
( ( )),
( )
Z T T D
T z



Sea T D y consideremos el camino recto que une
0
T y T :


0 0
( ) ( ( ))
T T
T T
d Z d =


entonces


( )
0
0
( ) ( ) ( )
T
T
T T Z d =


de donde obtenemos

( )
0
0
( ) ( )
T
T
T z Z d = +

.
Aqu tomamos
0
T t = , obteniendo

0 0
( ) t z =

Por lo tanto es solucin de (II.7.9.1). El recproco es evidente.

II.7.10. DEFINICIN

Sea
n
U C abierto, y :
n
Z U C un campo vectorial holomorfo.

II.7.10.1.- Decimos que Z es Lipschitz en U si y slo si existe 0 c > tal que

( ) ( ) Z z Z w c z w ; , z w U .

II.7.10.2.- Decimos que Z es localmente Lipschitz en U si y slo si para cualquier
0
z U
existe el polidisco abierto de centro
0
z y poliradio
( )
n
r
+
R tal que


( )
0
0 z ,
Z| : ( , )
n
r
z r

C

es Lipschitz en
0
( , ) z r .

II.7.10.1. OBSERVACIONES

II.7.10.1.1.- Todo campo Lipschitz es localmente Lipschitz.

II.7.10.1.2.- Si :
n
Z U C es lipschitziana en
n
U C , entonces el conjunto


( ) ( )
: , ,
Z z Z w
z w U z w
z w



R

es acotado superiormente. El supremo de este conjunto es llamado constante de

Lipschitz de Z y lo denotamos por ( ) Lip Z .

-93-
II.7.10.1.3.- En general se cumple

( ) ( ) ( ) Z z Z w Lip Z z w ; , z w U .

II.7.10.1.4.- Si :
n
Z U C es localmente lipschitziana entonces la constante de Lipschitz de


( )
0
z ,
Z|
r
depende del polidisco abierto
0
( , ) z r .

II.7.11. PROPOSICIN

Sea
n
U C abierto, :
n
Z U C un campo vectorial holomorfo. Entonces Z es

localmente lipschitziana.

Demostracin:
Sea
0
z U entonces existe
( )
1 2
( , ,..., )
n
n
R R R R
+
= R tal que
[ ]
0
, z R U .

Como Z es holomorfa en U , entonces Z es continua en U y
[ ]
0
, z R es un compacto,

entonces Z es acotada en
[ ]
0
, z R i.e. existe 0 M > tal que

( ) Z M ,
[ ]
0
, z R .

Sean
[ ]
0
, , z w z R entonces el segmento de recta
[ ] [ ]
0
, , z w z R .

Luego definimos

[ ]
: 0,1
n
C

( )
( ) (1 ) t t Z t z tw = +
claramente es holomorfa. Adems


( )
( ) (1 ) ( ) t Z t z tw w z = + ,
[ ]
0,1 t .
Entonces

1
0
( ) ( ) (1) (0) ( ) Z w Z z s ds = =




1
0
( ) ( ) ( ) Z w Z z s ds




( )
1
0
(1 ) ( ) Z s z sw w z ds = +




( )
1
0
(1 ) ( ) Z s z sw w z ds +




1
0
( ) ( ) M w z ds M w z =



( ) ( ) Z w Z z M w z ;
( )
0
, , z w z R .

Por lo tanto Z es localmente lipschitziana.

-94-
II.7.12. OBSERVACIONES

II.7.12.1.- Sea
n
K C compacto y denotemos


[ ] ( )
0
, C D T K

={
[ ]
0
: ; D T K

continua}.

Para
[ ] ( )
0
, , C D T K

definimos


( )
[ ]
{ }
0
, max ( ) ( )
T D T
d T T

= .

[ ] ( ) ( )
0
, , C D T K d

resulta ser un espacio mtrico completo.



II.7.12.2.- Sea
n
K C compacto y denotemos


[ ] ( )
0
, A D T K

= {
[ ]
0
: ; D T K

continua y holomorfa}.

Es claro que


[ ] ( ) [ ] ( )
0 0
, , A D T K C D T K

.

Consideremos el espacio mtrico
[ ] ( ) ( )
0
, , A D T K d

donde d es la mtrica

de
[ ] ( )
0
, C D T K

. Probaremos que
[ ] ( ) ( )
0
, , A D T K d

es completo.

Para esto, es suficiente probar que
[ ] ( )
0
, A D T K

es cerrado.

Recordemos dos resultados de variable compleja:

a) Sea U C abierto, :
n
k
U C una sucesin de funciones y :
n
U C

una funcin. Decimos que
k
converge a uniformemente en las partes

compactas de U lo que denotamos por
k
u.p.c. de U si y slo si


k K K
| | uniformemente en K , para todo K U compacto (ver [24]).

b) Sea U C abierto, si :
n
k
U C es una sucesin de funciones holomorfas

en U y :
n
U C es tal que
k
u.p.c. de U entonces es holomorfa

en U .

Teniendo presente estos dos resultados continuemos con la demostracin.

Sea
[ ] ( )
0
, A D T K

entonces existe ( ) [ ] ( )
0
,
k
A D T K

tal que

( ) lim , 0
k
k
d

= .

-95-
Entonces tenemos
[ ] ( )
0
, C D T K

.

Afirmacin: es holomorfa en
( )
0
D T

.

En efecto, sea
( )
0
K D T

compacto. Como

( ) lim , 0
k
k
d

= ,

tenemos que
k K K
| |

uniformemente en K entonces por a).
k
u.p.c de


( )
0
D T

, luego por b).


[ ] ( )
0
, A D T K

.

Por lo tanto, concluimos que
[ ] ( ) ( )
0
, , A D T K d

es un espacio mtrico completo.



II.7.13. TEOREMA (PICARD)

Sea
[ ]
0
: ,
n
Z z r C un campo vectorial Lipschitz en
[ ]
0
, z r y holomorfo en

( )
0
, z r entonces para todo
0
T C existe una nica solucin del P.V.I. (I.7.8.1)


0 0
( )
( )
z Z z
z T z
=



definida en el disco
[ ]
0
D T

, donde
1 2
min , ,...,
n
r r r
N N N


=


, ( ) ( )
1 2
, ,...,
n
n
r r r r
+
= R
y
[ ] { }
0
max ( ) : , N Z z z z r = .

Demostracin:

Sabemos por la proposicin (II.7.9) que el P.V.I. (II.7.8.1) es equivalente a


0
0
( ) ( ( ))
T
T
z T z Z z d = +

.

Consideremos el espacio mtrico completo X =
[ ] ( ) ( )
0
, , A D T K d

.

Dado X definimos
[ ]
0
:
n
F D T

C por


0
0
( ) ( ( ))
T
T
F T z Z d

= +

,

claramente F

es continua en
[ ]
0
D T

y holomorfa en
( )
0
D T

.

Para ( )
1 2
, ,...,
n
n
z z z z = C denotemos por ( )
j
z a la proyeccin j sima definida por

( )
j j
z z = para todo 1 j n .

-96-
Ahora hacemos


0
0
( ( )) ( ( ))
T
j j j
T
F T z Z d

=




0 0
( ( )) max ( ( ))
T T
j j
T T
Z d Z d




0 j
N T T N r
entonces F X

, luego hemos construido


: F X X
( ) F F

=

Vamos a probar que F es continua y que existe m
+
Z tal que
m
F es una contraccin

en X .

Afirmacin:
( ) ( )
( )
( )
0
1 2 1 2
( ) ( ) ,
!
n
n
n n
Lip Z T T
F T F T d
n

; (II.7.13.1)

para cada 0 n , para cualesquiera
1 2
, X y para todo
[ ]
0
T D T

.

En efecto:

- Para 0 n = es evidente!

- Supongamos que la desigualdad se verifica para n k = . Probaremos que se cumple para

1 n k = + . Para cualesquiera
1 2
, X y cada
[ ]
0
T D T

tenemos


( ) ( )
1 1
1 2
( )( ) ( )( )
k k
j j
F T F T
+ +

( ) ( ) ( ) ( )
1 2
( ) ( ) ( ) ( )
k k
j j
F F T F F T =


( ) ( )
0
1 2
( )( ) ( )( )
T
k k
j j
T
Z F Z F d




0
1 2
( ) ( )( ) ( )( )
T
k k
T
Lip Z F F d



( )
0
1 2 0
( )
( ) ,
!
k
T
k
T
Lip Z
Lip Z d T d
k



( )
0
1
1 2 0
( )
,
!
k
T
k
T
Lip Z
d T d
k

+
=




( )
1
1 2
( )
,
( 1)!
k
Lip Z
d
k

+
=
+
.
Lo cual prueba la afirmacin.

-97-
Hacemos 1 n = en (II.7.13.1) y tenemos

( ) ( ) ( ) ( )
1 2 1 2
( ) ( ) , F T F T Lip Z d

entonces
( ) ( ) ( )
1 2 1 2
( ), ( ) , d F F Lip Z d

por lo tanto F es continua. Anlogamente tenemos

( ) ( )
( )
( )
1 2 1 2
( ) ( ) ,
!
n
n
n n
Lip Z
F T F T d
n

.

Para cada m
+
Z , sea

( )
( )
!
m
m
Lip Z
u
m

= ,

utilizando el criterio de la razn para sucesiones de nmeros reales tenemos que


1
lim 0 1
m
m
m
u
u
+

= <

i.e. { }
1
m
m
u

converge, luego sigue por definicin de lmite de sucesiones de nmeros reales:



Dado 0 1 < < , existe
0
n N tal que para todo
0
n n > tenemos 1
m
u < < .

Entonces basta tomar
0
m n = , para afirmar que
m
F es una contraccin en X , luego por el

corolario I.4.2. F tendr un nico punto fijo, el cual es la solucin del P.V.I. (II.7.8.1).

II.7.15. COROLARIO

Sea
n
U C abierto, ( ) Z U , para todo
0
z U , para todo
0
T C, existe una

nica solucin del P.V.I.(II.7.9.1) la cual est definida en una vecindad de
0
T .

Demostracin:

Como ( ) Z U entonces por proposicin (II.7.12.) Z es localmente Lipschitz, luego

existe
[ ]
0
z , r U tal que Z es Lipschitz en
[ ]
0
z , r .

Como Z es holomorfo en
( )
0
z , r U entonces por el teorema de Picard para campos

holomorfos (teorema II.7.14.) se tiene que existe una nica solucin del P.V.I. (II.7.9.1).

Para ms referencias sobre la teora de dinmica compleja puede verse [3] y [15].



-98-
REFERENCIAS BIBLIOGRFICAS

[1] ARIS R.; The Optimal Design of Chemical Reactors, Academic Press Inc, New York,
1961.

[2] BELLMAN R.; Dynamic Programing; Princeton University Press., New Jersey 1957.

[3] BENAZIC R.; Singularidades de Campos Vectoriales Holomorfos en el Domino de
Poincar, Pro Matemtica, Vol. X, N 19-20, 1996.

[4] BOYCE W. DIPRIMA R.; Ecuaciones Diferenciales y Problemas con Valores en la
Frontera, Instituto Politcnico Rensselear, Troy New York, 1978.

[5] BURDEN R. FAIRES J.; Anlisis Numrico, Iberoamericana, Mxico D.F, 1985.

[6] CAMACHO C. SAD, P.; Puntos Singulares de Equaoes Diferenciais Analiticas,
16 Coloquio Brasileiro de Matemtica, 1987.

[7] CERDA E.; Optimizacin Dinmica, Prentice Hall, Espaa, 2001.

[8] CONTE S. - BOOR C.; Anlisis Numrico Elemental, McGraw - Hill S.A., Mxico,
1985.

[9] CHAIM H.; Aplicaoes da Topologia Anlise, Instituto de Matemtica Pura e
Aplicada (IMPA), Sao Paulo, 1976.

[10] CHAIM H.; Functional Analysis and integro differential with linear constraints,
Sociedad Brasilera de Matemtica, Reuniao de Anlise funcional, Campinas, 1974.

[11] CHAIM H.; Anlise Funcional e Aplicaoes (Volume II), Publicaoes ou edioes do
Instituto de Matemtica e Estadstica da Universidade de Sao Paulo, Sao Paulo, 1970.

[12] CHIANG A.; Elements of Dynamic Optimization, McGraw-Hill, 1992.

[13] CHUMPITAZ M.; Anlisis Funcional I, Facultad de Ciencias, Universidad Nacional
de Ingeniera.

[14] CHURCHILL R. WARD J.; Variable Compleja y Aplicaciones, Mc Graw-Hill,
Espaa, 1990.

[15] GUNNING R.; Introduction to Holomorphic Functions of Several Variables, Vol I
Function Theory, Wardsworth&Brooks/Cole, California, 1990.

[16] GUNNING R. ROSSI H.; Analytic Functions of Several Complex Variables,
Prentice Hall, New York, 1965.

[17] HASSER B. SULLIVAN J.; Anlisis Real, Editorial Trillas Mxico, 1978.

[18] HIRSCH M. SMALE S.; Differential Equations, Dynamical Systems and Linear
algebra, University of California, Berkeley Academic, INC. New York, 1974.



-99-
[19] KINCAID D. CHENNEY W.; Anlisis Numrico: Las matemticas del clculo
cientfico, The University of Texas in Austin, Addison Wesley Iberoamericana
Wilmigton, Delaware, E.U.A., 1994.

[20] KOLMOGOROV K. FOMIN S.; Elements of Theory of Functions and Functional
Analysis Volume 2, University Wisconsin Rochester, New York, 1957.

[21] KREYSZIG E.; Introductory Functional Analysis with Applications, University to
Windsor, New York, 1989.

[22] LIMA E.; Curso de Anlise-Vol. 2, Instituto de Matemtica Pura e Aplicada (IMPA),
Rio de Janeiro, 1976.

[23] LIMA E.; Espaos Mtricos, Instituto de Matemtica Pura e Aplicada (IMPA), Rio de
Janeiro, 1976.

[24] LINS A.; Funoes de uma Varivel Complexa, Proyecto Euclides, IMPA, Rio de
Janeiro, 1977.

[25] MEDEIROS L. DE ANDRADE G.; Iniciaao s Equaoes Diferenciais Parciais,
Livros Tcnicos e Cientficos Editora; Rio de Janeiro, 1978.

[26] NOLASCO A.; Anlise I, ICMC, USP SAO CARLOS, Sao Carlos, 2004.

[27] NOWOSAD P.; Introduao Anlise Funcional, Universidad Nacional Mayor de
San Marcos, Lima, 1967.

[28] QUARTERONI A. SACCO R. SALERI F.; Numerical Mathematics, Springer
Verlag, New York Inc, 2000.

[29] REDDY J. GARVIN C.; Applied Functional Analysis and Variational Methods in
Engineering, Virginia Polytechnic Institute and State, New York, 1986.

[30] SOTOMAYOR J.; Lioes de Equaoes Diferenciais Ordinrias, Proyecto Euclides,
IMPA, Rio de Janeiro, 1979.

[31] SHASHKIN YU.; Lecciones populares de matemticas: Puntos Fijos, editorial MIR,
Mosc, 1991.

[32] VILENKIN N.; Lecciones populares de matemticas: Mtodo de aproximaciones
sucesivas, Editorial MIR, Mosc, 1991.











-100.