UNIVERSIDAD NACIONAL MAYOR DE SAN MARCOS

FACULTAD DE CIENCIAS MATEMÁTICAS

E.A.P. DE MATEMÁTICA

Aplicaciones del teorema del punto fijo de Banach

TESIS
para optar el Título Profesional de Licenciado en Matemática Pura

AUTOR
Julio Román Loayza Cerrón

ASESOR
Tomás Núñez Lay

Lima – Perú
2006
 Aplicaciones del teorema del punto fijo de Banach

Julio Román Loayza Cerrón

Tesis presentada a consideración del Cuerpo Docente de la Facultad de Ciencias

Matemáticas de la Universidad Nacional Mayor de San Marcos, como parte de los requisitos
para obtener el título profesional de Licenciado en Matemática Pura.

Aprobada por:

________________________________

Dr. Víctor Rafael Cabanillas Zannini

________________________________

Dr. Alfonso Pérez Salvatierra

________________________________
Mg. Tomás Núñez Lay

LIMA-PERÚ
Diciembre 2006

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

i A JULIA mi siempre querida MADRE, por sus

enseñanzas y constante apoyo.

i A Rosario, Rocío, Aristóteles, Mirko, Rosa mis

hermanos por entender lo absorvente que es mi
profesión.

i Lucio y Gabriel Alonso la nueva generación de

mi familia.

iii
 AGRADECIMIENTOS
i Al Prof. Tomás Núñez Lay por asesorarme en la elección, elaboración 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 país, trascendiendo en mi vida profesional y personal.
Una vez más agradezco al Prof. Tomás Núñez Lay por el invalorable apoyo académico que
me brindó, pero sobre todo por la enorme paciencia que me tuvo.
i Al Prof. Victor Cabanillas Zannini, así como al Prof. Alfonso Pérez 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
capítulos de esta tesis; y en ese camino estar mas conciente de lo que escribía.
i Al Prof. Eugenio Cabanillas Lapa quien de manera muy atenta y cordial aceptó realizar una
primera revisión del primer borrador que imprimí de mi tesis; dándome las primeras
pautas a seguir. Además por su constante apoyo moral en la culminación de este trabajo.
i A la Prof. Roxana López Cruz por su apoyo como flamante directora de nuestra escuela, en
agilizar los documentos, para quedar expedito para la sustentación de mi tesis en esta fecha.
Así como su ayuda con el idioma inglés, permitiéndome redactar correctamente el abstract
de este trabajo; y apoyo moral permanente.
i Al magíster en matemática pura Walter Huaraca Vargas, reciente título 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 matemática pura.
i 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 elaboración de mi paper.

i A Jorge Astocondor Félix amigo sanmarquino, por la ayuda que me brindó en elaborar los
gráficos que posee este paper, además por su apoyo moral.
i A Orlando Luciano Julca Jesús, Jairo Yamil Esquivel Ortiz primero compañeros 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 ROMÁN LOAYZA CERRÓN

DICIEMBRE 2006

Orientador: Prof. Tomás Núñez Lay.

Título obtenido: Licenciado en Matemática.
-----------------------------------------------------------------------------------------------------------------
Para aplicar el Teorema del Punto Fijo de Banach ( T.P.F.B.), se necesita una aplicación

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

unicidad de la solución de un problema específico.

El teorema nos provee de un método iterativo, para construir la solución aproximada con

cierto margen de error previamente fijado.

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

convierte en una potente herramienta del análisis, lo que quedará evidenciado luego de

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

1.- Métodos numéricos.

2.- Ecuaciones integrales.

3.- Ecuaciones diferenciales ordinarias.

4.- Ecuaciones en derivadas parciales.

5.- Problema de Sturm-Liouville.

6.- Programación dinámica.

7.- Dinámica compleja.

PALABRAS CLAVES:

i Espacios métricos completos. i Contracción.

i Puntos fijos. i Existencia y unicidad.

v
 ABSTRACT

APPLICATIONS OF THE FIXED POINT

BANACH’S THEOREM

JULIO ROMÁN LOAYZA CERRÓN

DECEMBER 2006

Management by: Tomás Núñez Lay.

Obtained Title: Mathematics License.
-----------------------------------------------------------------------------------------------------------------
To apply the Fixed Point Banach’s 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:
i Complete metric space. i Contraction.
i Fixed point. i Existence and uniqueness.

vi
 INDICE

i INTRODUCCIÓN..……………………………………..…………………... 1

i CAPÍTULO I : DEFINICIONES Y TEOREMAS BÁSICOS.

I.1. Punto Fijo..………………………………………………………………. 2

I.2. Contracción….………………………………………………………....... 2

I.3. Iteración..……………………………………………………………........ 6

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

I.5. Interpretación geométrica del T.P.F.B…..……………………………… 23

i CAPÌTULO II : APLICACIONES DEL TEOREMA DEL PUNTO FIJO DE

BANACH (T.P.F.B.).

II.1. Aplicación a los sistemas de ecuaciones lineales algebraicas……..…... 30

II.2. Aplicación a las ecuaciones integrales…...................………………….. 38

II.3. Aplicación a las ecuaciones diferenciales ordinarias…….……………. 48

II.4. Aplicación a las ecuaciones diferenciales parciales.....……..…………. 52

II.5. Aplicación al problema de Sturm-Liouville……..……………………...71

II.6. Aplicación a la programación dinámica………..………………........... 79

II.7. Aplicación a la dinámica compleja…..……………………………....... 85

i Bibliografía.………………………………………………………………… 99
 INTRODUCCIÓN

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

abstracto del método 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

métrico completo en el mismo; por esto al T.P.F.B. también se le llama teorema de la

aplicación contractante (T.A.C.).

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

varios teoremas de existencia y unicidad en diferentes ramas del análisis, así como en otras

áreas de la matemática. El teorema además, nos proporciona una forma explícita de construir

la solución aproximada mediante un proceso iterativo, que converge hacia la solución exacta;

incluso mostraremos un resultado fácilmente deducible, el cual nos provee una fórmula para

saber el número de iteraciones suficientes para obtener una aproximación deseada con cierto

margen de error previamente establecido.

La presente monografía está divida en dos capítulos, en el primero abordamos todo lo

concerniente al aspecto teórico dotándolo de ejemplos, los cuales nos permitirán fijar ideas de

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

analíticas para poder mostrar en el segundo capítulo algunas aplicaciones importantes del

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

-1-
 CAPÍTULO I
DEFINICIONES Y TEOREMAS BÁSICOS
I.1. DEFINICIÓN
Sea X un conjunto no vacío y T : X → X una aplicación. Un punto x ∈ X se llama

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

Para cada aplicación T : X → X , podemos definir el conjunto de puntos fijos como

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

Nótese que el concepto de punto fijo es muy general, ya que no se requiere siquiera que X
tenga alguna estructura, tan sólo se requiere un conjunto diferente del vacío.
I.1.1. EJEMPLOS

I.1.1.1.- La función f : → definida por f ( x ) = x tiene dos puntos fijos 0 y 1 .

2

I.1.1.2.- Definimos la función g : → por g ( x ) = x + a ; para todo a ∈ con a ≠ 0 y

todo x ∈ llamada traslación. Es claro que una traslación no tiene puntos fijos.
I.1.1.3.- La rotación del plano tiene sólo un punto fijo, el centro de rotación.

I.1.1.4.- Sea la función π : × → × definida por π ( x, y ) = ( x,0) para cualquiera

( x, y ) ∈ × llamada proyección. Recordemos que cualquier número real x es

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

tiene infinitos puntos fijos.

1
I.1.1.5.- Sea h : − {0} → − {0} definida por h( x) = x + para todo x ∈ − {0} .
x
Aquí también es claro que h no tiene puntos fijos.
I.2. DEFINICIÓN

Sean ( X , d X ) y (Y , dY ) espacios métricos. Decimos que una aplicación T : X → Y

es una contracción si existe un número real α con 0 ≤ α < 1 tal que, para todo x, y ∈ X
dY (Tx, Ty ) ≤ α d X ( x, y ) .
Decimos que α es la constante de contracción de T .
Geométricamente, esto significa que cualesquiera que sean los puntos x e y estos
dY (Tx, Ty )
tienen imágenes cercanas a estos puntos x e y ; más precisamente, la razón no
d X ( x, y )
excede a la constante α que es estrictamente menor que 1 .
-2-
 Cuando Y = X , decimos que T es una contracción en X .
I.2.1. EJEMPLOS
I.2.1.1.- Sea T : → definida por

T ( x) = 3 1 + x , x ∈ .
Encontrar la solución de
T ( x) = x
es equivalente a encontrar las raíces de la ecuación

x3 − x − 1 = 0 , x ∈ .
Afirmación: T es una contracción en el subconjunto X = [1,2] porque α < 1.
En efecto, observemos que para x, y ∈ X tenemos por el teorema del valor

medio que existe c ∈ ]1,2[ tal que

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

Aquí,
1
T ′( x) = ;
3 (1 + x )
3 2

como
1< c < 2
entonces

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

1
T ′(c)< =0.2100 .
33 4
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 contracción en X con constante de contracción α = 0.21 < 1 .

-3-
I.2.1.2.- Sea f : → definido por
⎛ x⎞
f ( x) = sen ⎜ ⎟ , x ∈ .
⎝2⎠
Afirmación: f es una contracción en .

En efecto, para cualesquiera x, y ∈ tenemos

⎛x⎞ ⎛ y⎞
f ( x) − f ( y ) = sen ⎜ ⎟ − sen ⎜ ⎟
⎝2⎠ ⎝2⎠

⎡ 1 ⎛ x y ⎞⎤ ⎡ 1 ⎛ x y ⎞⎤
= 2 sen ⎢ ⎜ − ⎟ ⎥ cos ⎢ ⎜ + ⎟ ⎥
⎣ 2 ⎝ 2 2 ⎠⎦ ⎣ 2 ⎝ 2 2 ⎠⎦

⎛x− y⎞ ⎛ x+ y⎞ ⎛ x− y⎞
≤ 2 sen ⎜ ⎟ cos ⎜ ⎟ ≤ 2 sen ⎜ ⎟
⎝ 4 ⎠ ⎝ 4 ⎠ ⎝ 4 ⎠

x− y 1
≤2 = x− y
4 2

i.e. f ( x) − f ( y ) ≤ α x − y ; x, y ∈ .

1
Por lo tanto, f es una contracción en con constante de contracción α= .
2
I.2.1.3.- Sea T : [ a, b ] → [ a, b ] una función diferenciable en [ a, b ] tal que

T ′( x) ≤ k < 1 ,

para algún k ∈ . 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 contracción en [ a, b ] .

I.2.1.4.- Sea U ⊂ abierto y convexo. Si f : U →
m n
es una aplicación diferenciable tal

que
f ′( x ) ≤ α < 1

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 contracción.

n m
I.2.1.5.- Para campos vectoriales que parten de y llegan a se prueba una versión del
teorema del valor medio, el cual a su vez nos permite enunciar:

“Sean a, b ∈ con a ≠ b tales que el segmento [ a, b ] ⊂ A ⊂

n n
, A abierto.

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

A , entonces
⎧⎪ ⎫⎪
∑ ⎡⎣ D [ ]
2
f (b) − f (a ) 2 ≤ b − a 2 sup ⎨ f
j i ( x ) ⎤
⎦ : x ∈ a , b ⎬”
⎩⎪ i, j ⎭⎪
Observemos que f es lipschitziana, pero si exigimos que

⎪⎧ ⎪⎫
∑ ⎣⎡ D f ( x) ⎦⎤ : x ∈ [ a, b ]⎬ < 1 ,
2
⎨ j i
⎪⎩ i, j ⎪⎭
tendremos que f es una contracción.

I.2.2. NOTACIONES
I.2.2.1.- Tx denotará la imagen de x vía T i.e. Tx = T ( x ) .

I.2.2.2.- Sea T : X → X una aplicación, T denotará la composición de T consigo misma

n

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

n
T . Observemos que
n − veces

T n = T T n−1 .
I.2.3. OBSERVACIONES
I.2.3.1.- Si T es una contracción, resulta ser uniformemente continua.
I.2.3.2.- Si α = 0 tenemos que T es la función constante.
I.2.3.3.- En el caso que la aplicación T no sea una contracción, pero para cualesquiera
x, y ∈ X satisface la desigualdad

dY (Tx, Ty ) < d X ( 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 más adelante es un
teorema de existencia y unicidad para puntos fijos de aplicaciones contractivas, y
también da un procedimiento constructivo para obtener aproximaciones cada vez
mejores del punto fijo ( solución práctica del problema ). Este procedimiento es
llamado iteración, una definición más precisa de iteración es la siguiente.
I.3. DEFINICIÓN
Iteración, es un método tal que dada T : X → X una aplicación, elegimos un punto

arbitrario x0 en X y determinamos sucesivamente x1 , x2 , x3 ,... de la forma xn +1 = Txn , con

n = 0,1,2,... ; es decir,
x1 = Tx0 , x2 = Tx1 ,......, xn+1 = Txn .
.
Los procedimientos de iteración son usados a menudo en muchas ramas de la matemática
aplicada, y las pruebas de convergencia y de estimaciones de error son comúnmente 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 métrico completo. Supongamos que T : X → X es una

contracción en X . Entonces
_
i).- Existe un único x ∈ X punto fijo de T .
_
ii).- Cualquiera sea x0 ∈ X , la sucesión iterada xn = Txn −1 ; n = 1, 2,... converge a x .

Demostración:

Construiremos una sucesión ( xn )n≥1 y mostraremos que es de Cauchy, esta resulta ser
_
convergente en el espacio completo X , probaremos entonces que su límite x es un punto

fijo de T y que T no tiene más puntos fijos.

EXISTENCIA

Para x0 ∈ X arbitrario explicitamos los elementos de la sucesión iterada ( xn )n≥1 definida

por xn = Txn −1 ; n = 1, 2,...

x1 = Tx0 , x2 = Tx1 = T (Tx0 ) = T 2 x0 , y en general xn = T n x0 , n = 1, 2,...

Claramente esta es una sucesión de imágenes de x0 bajo repetidas aplicaciones de T .

Vamos a demostrar que ( xn )n≥1 es una sucesión de Cauchy en X .

-6-
Para m ≥ 1 , tenemos

d ( xm+1 , xm ) = d (Txm , Txm−1 ) ≤ α d ( xm , xm−1 ) = α d (Txm−1 , Txm−2 )

≤ α 2 d ( xm−1 , xm−2 ) = α 2 d (Txm−2 , Txm−3 ) ≤ α 3d ( xm−2 , xm−3 )

≤ α m d ( x0 , x1 )

i.e. d ( xm+1 , xm ) ≤ α d ( x0 , x1 ) , m ∈
m +
. (I.4.A)

Por otro lado para m ≥ n ≥ 1 tenemos

d ( xn , xm ) ≤ d ( xn , xn+1 ) + d ( xn+1 , xn+ 2 ) + + d ( xm−1 , xm )

(Usando repetidas veces la relación (I.4.A)).

≤ α n d ( x0 , x1 ) + α n+1d ( x0 , x1 ) + + α m−1d ( x0 , x1 )

= α n (1 + α + + α m−n−1 ) d ( x0 , x1 )

1 − α m−n
=α n
d ( x0 , x1 )
1−α
Como 0 ≤ α < 1 tenemos 1 − α
m−n
< 1 , luego
αn
d ( xn , xm ) ≤ d ( x0 , x1 ) (I.4.B)
1−α
Además
lim α n = 0
n →∞

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

lim d ( xn , xm ) = 0
n ,m→∞

luego, la sucesión ( xn )n≥1 es de Cauchy en X . Como X es completo, ( xn )n≥1 converge a

_ _
un punto de X , digamos que x ∈ X es tal que xn → x .
_
Vamos a demostrar que x es un punto fijo de T . En efecto, tenemos
_ _
⎛ _ ⎞ ⎛ _⎞
d (T x, x) ≤ d ⎜ T x, xn ⎟ + d ⎜ xn , x ⎟ ,
⎝ ⎠ ⎝ ⎠
pero como xn = Txn −1 , tenemos
_ _
⎛_ ⎞ ⎛ _⎞
d (T x, x) ≤ α d ⎜ x, xn−1 ⎟ + d ⎜ xn , x ⎟ .
⎝ ⎠ ⎝ ⎠

-7-
Observemos que cada término 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

⎛_ _⎞ ⎛ _ _
⎞ ⎛_ _⎞
y ⎟ ≤ α d ⎜ x, y ⎟
0 < d ⎜ x, y ⎟ = d ⎜ T x , T
⎝ ⎠ ⎝ ⎠ ⎝ ⎠
de donde resulta que α ≥ 1 , lo que es una contradicción. ■
El aporte más importante a destacar del T.P.F.B., es que nos da explícitamente un esquema
iterativo para encontrar una solución aproximada de un determinado problema. Si esta aproxi-
mación se compara con la solución exacta, da origen a la aparición de error, el cual deseamos
que sea el menor posible.
I.4.1. COROLARIO (ESTIMACIÓN DE LA COTA DE ERROR)
Bajo las condiciones del T.P.F.B. y siguiendo las notaciones usadas, se cumplen
_
αn
d ( xn , x) ≤ d ( x0 , x1 ) (I.4.1.A)
1−α
_
α
d ( xn , x) ≤ d ( xn−1 , xn ) (I.4.1.B)
1−α
Demostración:
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 n = 1 y reemplazando x0 por y0 y x1 por y1 , obtenemos

de (I.4.1.A)
_
α
d ( y1 , x) ≤ d ( y0 , y1 )
1−α
Haciendo y0 = xn −1 , tenemos
y1 = Ty0 = Txn−1 = xn ,

obteniendo finalmente (I.4.1.B). ■

_
Cada una de estas desigualdades nos permiten hallar los errores al aproximarnos a x

usando ( xn )n≥1 . Llamaremos a la desigualdad (1.4.1.A) estimación previa, y a (1.4.1.B)

estimación posterior. Haremos uso de este corolario en el capítulo 2, sección II.1.3.

-8-
 La cota de error previa (I.4.1.A) puede ser usada en el inicio de los cálculos para estimar
el número de pasos necesarios para obtener una exactitud dada; (I.4.1.B) puede ser usada en la
etapa intermedia o al final del cálculo. 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 métrico completo y T : X → X una aplicación tal que para

algún entero m ≥ 1 , la aplicación T

m
es una contracción en X . Entonces T tiene un único

punto fijo y, para todo x0 ∈ X , la sucesión T x0 ( n

) n∈
converge al punto fijo.
Demostración:
⋅ Si m = 1 , nuestro enunciado es el T.P.F.B. ya probado.
_
⋅ Si m > 1 . Sea y el punto fijo de T m cuya existencia viene del T.P.F.B., probaremos que
_
y es punto fijo de T .
_ _ _ _
d (T y, y ) = d (T (T m y ), T m y )
_ _
= d (T m (T y ), T m y )
_ _
≤ β d (T y, y )

donde β es la constante de contracción de T . Luego obtenemos que

m

_ _
d (T y, y ) = 0
_ _
pues β < 1 . Por lo tanto T y = y .
_
Recíprocamente, si y es un punto fijo de T
_ _ _ _ _ _ _
m −1 m −1 m−2 m−2
T y =T
m
(T y ) = T y =T (T y ) = T y= =T y = y
_
m
entonces y es un punto fijo de T .

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

_ _
m
“ y es un punto fijo de T si y sólo si y es un punto fijo de T ”

es contractiva en X y ( X , d ) es completo, por el T.P.F.B. ítem i) sabemos que

m
Como T
_
m
un existe un único punto fijo y de T que por tanto es el único punto fijo de T .

Además dado x0 ∈ X arbitrario, tenemos por el T.P.F.B. ítem ii) para la contracción T
m
que

-9-
 _
(T m ) k x0 = T mk x0 → y
cuando k → ∞ , y de aquí para todo r con 1 ≤ r ≤ m − 1 tenemos

T n x0 = T mk + r x0 = T mk (T r x0 ) → y
_

_
i.e. Hemos probado que T x0 → y cuando n → ∞ . ■
n

Desde el punto de vista de la matemática aplicada, en las aplicaciones prácticas la

situación no es aún completamente satisfactoria porque frecuentemente ocurre que la

aplicación T no es una contracción en el espacio entero X , pero su restricción T|Y a

un subconjunto cerrado Y del espacio métrico completo X satisface la definición de

contracción. En este caso si podemos asegurar que T (Y ) ⊂ Y entonces aplicamos el

T.P.F.B. a la aplicación T|Y : Y → Y , teniendo en cuenta que Y también es un espacio

métrico completo.
I.4.3. TEOREMA (CONTRACCIÓN EN UNA BOLA)
_
Sea ( X , d ) un espacio métrico completo y Y = B ( x0 , r ) , x0 ∈ 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).- d ( x0 , Tx0 ) ≤ (1 − α ) r .
_
Entonces para x0 ∈ Y la sucesión iterada xn = T x0 ; n ∈ , converge a un punto x ∈ Y .
n

_
Este x es un punto fijo de T y es el único punto fijo de T en Y .
Demostración:
Es suficiente probar que T (Y ) ⊂ Y .
_
En efecto, sea x ∈ Y = B ( x0 , r ) entonces

d ( x, x0 ) ≤ r .
Por otro lado, sabemos que

d (Tx, x0 ) ≤ d (Tx, Tx0 ) + d (Tx0 , x0 )

≤ α d ( x, x0 ) + (1 − α )r
≤ αr + r −αr = r .
_
i.e. d (Tx, x0 ) ≤ r lo que implica que Tx ∈ B ( x0 , r ) = Y y por lo tanto T (Y ) ⊂ Y .

-10-
i.e. tenemos T|Y : Y → Y es una contracción, (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 métrico completo y Λ un espacio topológico. 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 ≤ cΛ < 1 tal que
0

d (Tλ x, Tλ y ) ≤ cΛ0 d ( x, y ) ; x, y ∈ X , λ ∈ Λ 0 .

2).- La función λ ∈Λ Tλ x ∈ X es continua para todo x ∈ X .

Entonces, si para cada λ ∈ Λ , xλ denota el punto fijo de Tλ , tenemos que la aplicación

λ ∈Λ xλ ∈ X es continua.
Demostración:

Sea λ0 ∈ Λ y Λ 0 como en 1), entonces por hipótesis 2) para cada x ∈ X , tenemos

Tλ x → Tλ0 x . (I.4.4.A)
Luego, consideremos
d ( xλ , xλ0 ) = d (Tλ xλ , Tλ0 xλ0 )

≤ d (Tλ xλ , Tλ xλ0 ) + d (Tλ xλ0 , Tλ0 xλ0 )

≤ cΛ0 d ( xλ , xλ0 ) + d (Tλ xλ0 , Tλ0 xλ0 )

1
i.e. d ( xλ , xλ0 ) ≤ d (Tλ xλ0 , Tλ0 xλ0 )
1 − cΛ0

el segundo miembro, tomando x = xλ0 en (I.4.4.A), converge a 0 .

Finalmente, tenemos xλ → xλ0 siempre que λ → λ0 . ■

I.4.5. OBSERVACIÓN

Cuando Λ 0 = Λ en el teorema I.4.4, decimos que (Tλ ) λ∈Λ es una familia uniforme de

contracciones o que la aplicación

T : (λ , x) ∈ Λ× T (λ , x) = Tλ ( x) ∈ X ,

es una contracción uniforme.

-11-
I.4.6. EJEMPLOS
I.4.6.1.- El teorema de la Aplicación Contractante (T.A.C. ó T.P.F.B.) no se satisface si T es
no expansiva.

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

con la distancia usual

d ( x , y ) = x − y , x, y ∈ X .
Como X es un subconjunto cerrado de , resulta un espacio métrico completo.
Definamos la aplicación 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 c ∈ ]1, +∞[ tal que

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

Tenemos
1
T ′( x) = 1 − ,
x2
como c > 1 entonces
1
0 <1− <1
c2
por lo tanto

T ′(c) < 1,

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 más simple (cuyo dominio no es entretanto un subconjunto cerrado) es el

de la función g : ]0,1[ → ]0,1[ definida por

x3
g ( x) = , x ∈ ]0,1[ .
4
Tenemos
0 < g ′( x) < 1 ,

-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 : → dada por

f ( x) =
1
2
(
x + 1 + x2 , x ∈ .)
Para todo x ∈ tenemos que

0 < f ′( x) < 1,
pues

1⎛ x ⎞
f ′( x) = ⎜1 + ⎟.
2⎝ 1 + x2 ⎠
Pero como para todo x ∈ se cumple que

f ( x) > x ,
entonces f no posee punto fijo (ver gráfico I.5.1.3. página 27).

I.4.6.4.- Sea f : → una función satisfaciendo la condición de Lipschitz

f (t ) − f ( s ) ≤ L t − s ; t , s ∈
con 0 ≤ L < 1 .
_ _ _
Entonces existe un único t ∈ tal que f (t ) = t y, para cualquier t ∈ , tenemos
_
f ( n ) (t ) → t cuando n → ∞ .
En efecto, basta observar que es un espacio métrico completo y que f es

una contracción en , pues 0 ≤ L < 1 .

I.4.6.5.- Sea F ⊂ cerrado, f : F → F satisfaciendo la condición de Lipschitz

n

f ( x ) − f ( y ) ≤ L x − y ; x, y ∈ F
_ _ _
con 0 ≤ L < 1 . Entonces existe un único x ∈ F tal que f ( x) = x .

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

espacio métrico completo.

I.4.6.6.- Sea T : [ a, b ] → una función diferenciable en [ a, b ] ; con α,β ∈ +

tales que

1
0 < α ≤ T ′( x) < ; x ∈ [ a, b ] .
β

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

aproximada de la ecuación Tx = 0 , para todo x ∈ [ a, b ] . Definiendo

T1 x = x − β Tx (I.4.6.6.A)

tenemos que Tx = 0 si y sólo si T1 x = x . Luego, el problema se reduce a probar que

T1 ([ a, b ]) ⊂ [ a, b ]

y que T1 es una contracción en [ a, b ] .

En efecto, tenemos

T1 (a) = a − β T (a) > a ,

T1 (b) = b − β T (b) < b .

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

T1′ x = 1 − β T ′( x) > 0

entonces T1 es creciente en [ a, b ] , luego T1 ( x) ∈ [ a, b ] si x ∈ [ a, b ] .

Y por lo tanto

T1 ([ a, b ]) ⊂ [ a, b ] .
Además, como
T1′ ( x) = 1 − β T ′( x) ≤ 1 − βα < 1
es decir tenemos

T1′ ( x) ≤ k , x ∈ [ a, b ]

donde k = 1 − βα con 0 < k < 1 .

Luego por el ejemplo I.2.1.3., tenemos que

T1 : [ a, b ] → [ a, b ]

es una contracción en [ a, b ] . Luego por el T.P.F.B., existe un y sólo un x ∈ [ a, b ]

punto fijo de T1 . Aún más, dado un punto x0 ∈ [ a, b ] tenemos que la sucesión

iterada ( xn )n∈ con xn = T1 xn−1 ; n = 1, 2,… es tal que T1 x → x .

n

-14-
I.4.6.7.- La ecuación
s = θ − ε senθ
con
0 ≤ θ ≤ 2π , 0 ≤ ε < 1 , 0 < s < 2π
donde ε es la excentricidad de la orbita de algún satélite, s es la anomalía media o
ángulo que recorre el satélite y θ es anomalía excéntrica; está ecuación nos permite
calcular de forma aproximada la distancia de un satélite con respecto al Sol, llamada
ecuación 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 función T .
En efecto, hacemos

T (0) = − s < 0 ,
T (2π ) = 2π − s > 0 ,
entonces
T (0) < 0 < T (2π ) .
Luego tomamos δ∈ tal que ε < δ < 1 , con esto
T ′(θ ) = 1 − ε cosθ < 1 + δ .
Y como
1 − ε < 1 − ε cosθ = T ′(θ ) ,
tenemos
1 − ε < T ′(θ ) < 1 + δ
entonces
1
0 < 1 − ε ≤ T ′(θ ) < .
1
1+ δ
Luego se cumplen las condiciones del ejemplo I.4.6.6., con

1
a = 0 , b = 2π , α = 1 − ε , β = .
1+ δ
Entonces de (I.4.6.6.A) tenemos que

-15-
 1 1
T1 (θ ) = θ − Tθ = θ − (θ − θ senθ − s )
1+ δ 1+ δ
es una contracción, y los puntos fijos de T1 son los ceros de T .

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

(
f ( x, y ) = sen( x + y ), 1 + x 2 + y 2 . )
Entonces existe un único p ∈ tal que f ( p ) = 2 p .
2

f 2
Afirmación: es una contracción en .
2
En efecto, usando el ejemplo I.2.1.5., para cada ( x, y ) ∈
2
tenemos

⎡ ⎤
⎢ ⎥
⎢ cos ( x + y ) cos ( x + y ) ⎥
Df ( x, y ) = ⎢ ⎥
⎢ ⎥
⎢ x y ⎥
⎢ 1 + x2 + y2 1+ x + y ⎦
2 2 ⎥
⎣
y en consecuencia,

x2 + y 2
∑⎣ j i ⎦ ( )
2
⎡ D f ( x ) ⎤ = 2cos 2
x + y + ≤ 3.
i, j 1 + x2 + y2

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

2
Más generalmente, existe un único p ∈ tal que f ( p ) = kp siempre que
2

k > 3.
I.4.6.9.- Dado el conjunto

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

y el sistema

-16-
 ⎧ sen( x) sen( y ) = 2 x
⎨ 2
⎩x + y = 4 y
2

Probaremos que ( 0,0 ) ∈

2
es la única solución en C del sistema dado.

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

y consideremos el campo vectorial f : C →

2
definido por

⎛ sen( x) sen( y ) x 2 + y 2 ⎞
f ( x, y ) = ⎜ , ⎟.
⎝ 2 4 ⎠
Es inmediato que f (C ) ⊂ C y que f es diferenciable; y la matriz jacobiana viene

dada por

⎡cos( x) sen( y ) sen( x)cos( y ) ⎤

1⎢ ⎥
Df ( x, y ) =
2⎢ ⎥
⎢⎣ x y ⎥⎦
luego, hallamos

1
∑ ⎣⎡ D f ( x) ⎦⎤ = ( cos 2 ( x) sen 2 ( y ) + sen 2 ( x)cos 2 ( y ) + x 2 + y 2 )
2
j i
i, j 4

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

1 1
≤
4
( 2 sen 2 (1) + 2 ) = ( sen 2 (1) + 1) < 1 .
2
Pues si para todo x ∈ [ −1,1] hacemos
g ( x) = sen 2 ( x) ,
entonces g alcanza su máximo en x = 1 .

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

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

solución del sistema considerado en C .

I.4.6.10.- Sea A ⊂ un abierto convexo y sea f : A → A una aplicación continua.

n

⎧⎪ ⎫⎪
∑ ⎡⎣ D
2
Supongamos que f es derivable en A y que sup ⎨ f
j i ( x ) ⎤
⎦ : x ∈ A ⎬ < 1.
⎪⎩ i, j ⎪⎭
-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 función f en el segmento de recta [ x, y ] obtenemos

⎪⎧ ⎪⎫
∑ ⎡⎣ D
2
f ( y ) − f ( x) 2 ≤ y − x 2 sup ⎨ f ( x) ⎤⎦ : x ∈ A⎬ .
j i
⎪⎩ i, j ⎪⎭
Así, denotando
⎧⎪ ⎫⎪
∑ ⎡⎣ D
2
α = sup ⎨ f
j i ( x ) ⎤
⎦ : x ∈ A ⎬ < 1,
⎩⎪ i, j ⎭⎪
tenemos que

f ( y ) − f ( x ) 2 ≤ α y − x 2 ; x, y ∈ A .

Por la continuidad de f , también tenemos

f ( y ) − f ( x ) 2 ≤ α y − x 2 ; 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 función continua y acotada

y : [ 0, +∞[ → que es solución de la ecuación integral

y (t ) = sen(t ) + ∫ e − s y ( set )ds , t ∈ [ 0, +∞[ .

t 2

En efecto, consideremos

X = C * ([ 0, +∞[ ; ) = { f : [0, +∞[ → ; 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

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

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

Para todo x ∈ X y cada t ∈ [ 0, +∞[ , definimos la aplicación T : X → X por

(Tx ) (t ) = sen(t ) + ∫0 e− s x( set )ds .

t 2

-18-
Afirmación 1: Tx ∈ X .

i).- Tx es continua sobre [ 0,+∞[ pues la función seno es continua, y la función

t
∫e
− s2
t x( set )ds es continua por el teorema fundamental del cálculo.
0

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

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

(Tx ) (t ) ≤ sen(t ) + ∫0 e− s
t 2
x( set ) ds
t
≤ 1 + M ∫ e − s ds ( x es acotada pues x ∈ X )
2

∞ π
≤ 1 + M ∫ e − s ds = 1 + M
2
.
0 2
Afirmación 2: T es una contracción en X .
En efecto, para cualesquiera u , v ∈ X , tenemos

(Tu ) (t ) − (Tv ) (t ) =
( t
)(
sen(t ) + ∫ e − s u ( set )ds − sen(t ) + ∫ e − s v( set )ds
0
2 t

0
2

)
t
∫0 e ⎡⎣u(se ) − v(se ) ⎤⎦ ds
2
−s
= t t

t
≤ ∫ e − s u ( set ) − v( set ) ds
2

t
≤ sup u ( set ) − v( set ) ∫ e − s ds
2

t∈[ 0,+∞ ) 0

∞ π
∫
2
≤ u−v e − s ds = u−v
0 2
π
i.e. (Tu ) (t ) − (Tv ) (t ) ≤ u − v ; t ∈ [ 0, +∞[ , u , v ∈ X .
2
Entonces
π
sup (Tu ) (t ) − (Tv ) (t ) ≤ u − v ; u, v ∈ X ,
t∈[ 0, +∞ ) 2
por lo tanto
π
Tu − Tv ≤ u − v ; u, v ∈ X .
2

-19-
 Luego, T es una contracción en el espacio de Banach X = C
*
([0, +∞[ ; ) , y
por lo tanto, por el T.P.F.B. se concluye la prueba.

I.4.6.12.- Demostraremos que, para cualquier f ∈ X = C

*
([0, +∞[ ; ) existe una única
función y ∈ X tal que
t y ( s cos(t ) )
y (t ) = f (t ) + ∫ ds , t ≥ 0 .
0 4 + s2
En efecto, en X = C
*
([0, +∞[ ; ) para todo x ∈ X y todo f ∈ X definimos la

aplicación T : X → X por

x ( s cos(t ) )
(Tx ) (t ) =
t
f (t ) + ∫ ds , t ≥ 0 .
0 4 + s2
Afirmación 1: Tx ∈ X .

En efecto, para cada x ∈ X tenemos

i).- Tx es continua sobre [ 0,+∞[ , pues f lo es por hipótesis, además la función

x( s cos(t ) )
t
t ∫0 4 + s 2 ds es continua por el teorema fundamental del cálculo.
ii).- Veamos que Tx es acotada en [ 0,+∞[ . Tenemos para todo t ≥ 0

x ( s cos(t ) )
(Tx ) (t ) ≤
t
f (t ) + ∫ ds
0 4 + s2
t ds
≤ M + N∫ ( f y x acotadas pues f , x ∈ X )
0 4 + s2

∞ ds π
≤ M + N∫ ≤ M + N
0 4 + s2 4
Afirmación 2: T es una contracción en X .
En efecto, para u , v ∈ X , tenemos

⎛ u ( s cos(t ) ) ⎞ ⎛ t v ( s cos(t ) ) ⎞
(Tu ) (t ) − (Tv ) (t ) = ⎜⎜ f (t ) + ∫0
t
ds ⎟ − ⎜ f (t ) + ∫ ds ⎟⎟
4 + s2 ⎟ ⎜ 0 4 + s 2
⎝ ⎠ ⎝ ⎠
1
⎡u ( s cos(t ) ) − v ( s cos(t ) ) ⎤⎦ ds
t
= ∫ 0 4 + s2 ⎣

-20-
 π
{) u ( s cos(t ) ) − v ( s cos(t ) ) } ∫ 4 +1 s
t
≤ sup 2
ds = u−v .
t∈[ 0,+∞ 0 4

π
i.e. (Tu ) (t ) − (Tv ) (t ) ≤ u − v ; u, v ∈ X , t ≥ 0 .
4
Por lo tanto
π
Tu − Tv ≤ u − v ; u, v ∈ X .
4
T es una contracción en X = C * ([ 0, +∞[ ; ) , la conclusión sigue del teorema del
punto fijo de Banach (T.P.F.B.).

I.4.6.13.- Observemos que si X ⊂ es compacto y la aplicación f : X → X cumple

n

para arbitrarios x, y ∈ X con x ≠ y , con la condición

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

entonces f posee un único punto fijo en X .

En efecto, sea a ∈ X el punto donde la función continua ϕ:X → dada por

ϕ ( x) = x − f ( x)

posee su mínimo c = a − f (a ) .

⋅ Si fuese c ≠ 0 , entonces tendríamos a ≠ f (a ) , de donde

f (a ) − f ( f (a )) < a − f (a)
es decir, tenemos
ϕ ( f (a) ) < c ,
lo cual es una contradicción. Por lo tanto

c = 0,
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 resultaría

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 topológico; λ0 ∈ Λ , r > 0 y f dada por
f : (t , s, x, λ ) ∈ D = [ a, b ] × [ a, b ] × [ − r , r ] × Λ f (t , s, x, λ ) ∈
una función continua tal que

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

⎛ ∂f ⎞ ⎛ ∂f ⎞
ii). existe ⎜ ⎟: D → continua con ⎜ ⎟ (t , s,0, λ0 ) = 0 ; s, t ∈ [ a, b ] .
∂
⎝ ⎠x ∂
⎝ ⎠x
Entonces existe una vecindad Λ 0 de λ0 tal que, para todo λ ∈ Λ 0 , la ecuación
integral
y (t ) = ∫ f [t , s, y ( s ), λ ] ds , t ∈ [ a, b ]
b

tiene única solución uλ ∈ C ([ a, b],[ −r , r ]) , y la aplicación

λ ∈ Λ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

d ( f , g ) = sup f ( z ) − g ( z ) ;
z∈[ a ,b ]

recordemos que ( X , d ) es un espacio métrico completo.

Por otro lado, dado c < 1 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

r ∂f c
i’). f ( t , s, y ( s ), λ ) ≤ , ii’). ( t , s , x, λ ) ≤ .
b−a ∂x 2r (b − a )

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

(Tλ u ) (t ) = ∫a f [t , s, u ( s), λ ] ds ;
b

se sigue que la función Tλ u es continua y de i’), se sigue que Tλ x ∈ X y de ii’), se

sigue que la aplicación

-22-
 T : (λ , u ) ∈ Λ 0 × X Tλ u ∈ X
es una contracción uniforme, pues dados u , v ∈ X , por la desigualdad del valor

medio, tenemos

(Tλ u ) (t ) − (Tλ v ) (t ) ≤ ∫a f [t , s, u ( s), λ ] − f [t , s, v( s), λ ] ds

b

b c
≤ ∫ u ( s ) − v( s ) ds ≤ c .
a 2r (b − a )
Por otro lado, es inmediato que, para cualquier u ∈ X , la aplicación
λ ∈ Λ0 Tλ u ∈ X es continua. El resultado sigue del T.P.F.B.
I.5. INTERPRETACIÓN GEOMÉTRICA 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, b ∈ con a ≠ b y g : [ a, b ] → [ a, b ] una función diferenciable tal que

g ′( x) ≤ k < 1 , x ∈ [ a, b ] .
Entonces:
_
i).- Existe un único x ∈ [ a, b ] punto fijo de g .

_
ii).- Cualquiera sea x0 ∈ [ a, b ] la sucesión iterada xn = g ( xn−1 ) ; n = 1, 2,... converge a x ”.

Para interpretar geométricamente el T.P.F.B. para el caso real, observemos que el ítem i)
_ _ _
nos dice que x = g ( x) es decir si y1 = x es la función identidad y y2 = g ( x) entonces el
_ _ _ _ _
punto fijo x es un punto en el cual y1 = y2 , i.e., ( x, g ( x )) = ( x, x ) es la intersección de las

gráficas de y1 y y2 .

Para poder observar el comportamiento geométrico del T.P.F.B. en el plano, asumiremos que
con la función continua g pueda ocurrir los siguientes dos casos; que ella sea creciente o

decreciente. En ambos casos, como se observa en los gráficos 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-
GRÁFICA I.5.A.

GRÁFICA I.5.B.

-24-
1.5.1. OBSERVACIÓN
1.5.1.1.- En la observación I.2.3.1. vimos que toda contracción es uniformente continua, y por
lo tanto continua. Ahora nos planteamos la siguiente interrogante:
¿Toda función continua es una contracción?
Respuesta: ¡NO!
+ +
En efecto, definimos la función f : 0 → 0 por

1 +
f ( x) = , x∈ 0 .
x
Observemos su gráfica:

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

+
Supongamos que f es una contracción en 0, entonces por definición tenemos que
+
para arbitrarios x, y ∈ 0 se cumple

f ( x) − f ( y ) ≤ α x − y

siempre con 0 ≤ α < 1 .

1 1
En particular reemplazamos x = , y = en la desigualdad anterior y obtenemos
3 5

⎛1⎞ ⎛1⎞ 1 1
f ⎜ ⎟− f ⎜ ⎟ ≤α −
⎝3⎠ ⎝5⎠ 3 5

2
3−5 ≤α
15

-25-
 entonces
α ≥ 15 ¡Absurdo!
pues 0 ≤ α < 1 . Por lo tanto f no es una contracción en
+
0.

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

condición g ′( x) ≤ k < 1 , i.e. g no es una contracción en [ a, b ] . Esto desaparece

la conclusión ii), por tanto existe el punto fijo pero no tenemos convergencia de la
_
sucesión iterada al punto fijo x .

1.5.1.3.- En la gráfica I.5.1.3. mostramos la gráfica de la función f del ejemplo I.4.6.3.,

(ver página 13) tenemos el espacio métrico completo , pero no tenemos punto fijo
pues f no es una contracción en .

1.5.1.4.- De las observaciones I.5.1.2. y I.5.1.3., podemos concluir que el teorema en general
sólo se cumple si se tiene las hipótesis dadas, la carencia de una de ellas, colapsa sus
conclusiones.

GRÁFICA I.5.1.2.

-26-
 GRÁFICA I.5.1.3.
1.5.1.5.- Recordemos un resultado que fue enunciado y probado en el capítulo I, en el ejemplo
I.4.6.13. (ver página 21), el cual dice:

“Si X ⊂ es compacto, y la aplicación f : X → X para cualesquiera x, y ∈ X

n

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 no es un compacto. Luego consideremos la función

f: → definida por

f ( x) =
1
2
( )
x + 1 + x2 , x ∈ .

-27-
Afirmación 1: f verifica la condición (I.5.1.5.A).

En efecto; para arbitrarios x, y ∈ con x ≠ y , tenemos

f ( x) − f ( y ) =
1
2
( 1
) (
x + 1 + x2 − y + 1 + y2
2
)
=
1
2
( x − y) +
1
2
( 1 + x2 − 1 + y2 )
≤
1
2(x − y + 1 + x2 − 1 + y2 )
1 ⎛⎜ ⎛ 1 + x2 + 1 + y 2 ⎞ ⎞
=
2⎜
x− y + ( 1+ x − 1+ y ⎜
2

⎝
2
) ⎟⎟
⎜ 1 + x2 + 1 + y 2 ⎟ ⎟
⎠⎠
⎝

1⎛ x− y x+ y ⎞
= ⎜ x− y + ⎟
2 ⎜⎝ 1 + x2 + 1 + y2 ⎟
⎠

1 ⎛ x+ y ⎞
= x − y ⎜1 + ⎟ (I.5.1.5.B)
2 ⎜ 1 + 2
+ 1 + 2 ⎟
⎝ x y ⎠
Probaremos para arbitrarios x, y ∈ con x ≠ y , que

x+ y
< 1. (I.5.1.5.C)
1 + x2 + 1 + y 2
Si aceptamos este resultado, tenemos

x + y < 1 + x2 + 1 + y2

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

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

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

( x + y)2 > 0
Invirtiendo los pasos, verificamos la desigualdad (I.5.1.5.C).
Observemos que para cualesquiera x, y ∈ con x ≠ y , descartamos que:

-28-
 x+ y
= 1,
1 + x2 + 1 + y 2
pues si en particular tomamos x = 0 y y = 1 obtendríamos

1
=1
1+ 2
lo cual es un absurdo!.
Todo lo anterior lo reemplazamos en (I.5.1.5.B), verificándose la afirmación 1.

Afirmación 2: f no posee punto fijo en .

En efecto; supongamos que f posee un punto fijo en , luego por definición

tenemos que existe un w∈ tal que

f ( w) = w

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

1 + w2 = w

1 + w2 = w2 ¡absurdo!
Notemos además que se cumple
f ( w) > w
cuya prueba es análoga a la hecha para la desigualdad (I.5.1.5.C).
Para fijar ideas, observemos nuevamente la gráfica I.5.1.3. de donde claramente
podemos ver que las pruebas que hicimos analíticamente son correctas.
Resaltemos que en esta demostración, hemos desarrollado un procedimiento alternativo
de prueba a lo mostrado en el ejemplo I.4.6.13.

-29-
 CAPÍTULO II
APLICACIONES DEL TEOREMA DEL PUNTO FIJO DE BANACH
II.1.- APLICACIÓN A LOS SISTEMAS DE ECUACIONES LINEALES ALGEBRAICAS
El T.P.F.B. tiene importantes aplicaciones en los métodos de iteración para resolver
sistemas de ecuaciones lineales algebraicas y proporciona suficientes condiciones para la
convergencia y cota de error.
n
Consideremos el espacio euclidiano n-dimensional y el sistema de ecuaciones lineales
algebraicas
n

∑a x
j=1
ij j = yi ; i = 1,2,3,......, n

que en notación matricial es

y = Ax ,

donde A = ⎡⎣ a ij ⎤⎦ es una matriz n × n , x = [ xi ] y y = [ yi ] son matrices n × 1 . Notemos

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

encontrar los puntos fijos del operador T :

n
→ n
definido por

Tx = ( I − A) x + y ;
hacemos
B = ( I − A) = ⎡⎣bij ⎤⎦

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

Tx = Bx + y .
n
¿Bajo qué condiciones T es una contracción en ?. La respuesta a esta pregunta depende
n
de la elección de la métrica en con la que se va a trabajar. Dediquémonos a encontrar
tales condiciones.

Sean u = ( u1 , , un ) , v = ( v1 , , vn ) , p = ( p1 , , pn ) , q = ( q1 , , qn ) ∈ n
y

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

i Con la métrica del máximo, tenemos

⎛ n ⎞ ⎛ n ⎞
d ∞ (Tu , Tv ) = d ∞ ( p, q ) = max pi − qi = max ⎜ ∑ bij u j + yi ⎟ − ⎜ ∑ bij v j + yi ⎟
i i
⎝ j =1 ⎠ ⎝ j =1 ⎠

-30-
 = max ∑ bij ( u j − v j ) ≤ max ∑ bij u j − v j
n n

i i
j =1 j =1

⎛ ⎞
( )
n
≤ ⎜ max ∑ bij ⎟ max u j − v j = λ∞ d ∞ (u , v)
⎝ i j =1 ⎠ j
n
Entonces, para que T sea una contracción en debemos exigir que
n
λ∞ = max ∑ bij < 1 . (II.1.A)
i
j =1

i Con la métrica de la suma, tenemos

n ⎛ n ⎞ ⎛ n
n ⎞
d1 (Tu , Tv) = d1 ( p, q ) = ∑ pi − qi = ∑ ⎜ ∑ bij u j + yi ⎟ − ⎜ ∑ bij v j + yi ⎟
i =1 i =1 ⎝ j =1 ⎠ ⎝ j =1 ⎠

⎛ ⎞⎛ n ⎞
= ∑ ∑ bij ( u j − v j ) ≤ ⎜ max ∑ bij ⎟⎜ ∑ u j − v j ⎟ = λ1d1 (u, v) .
n n n

i =1 j =1 ⎝ i j =1 ⎠⎝ j =1 ⎠
n
Así, el operador T es una contracción en si
n
λ1 = max ∑ bij < 1 . (II.1.B)
i
j =1

i Por último, considerando la métrica euclidiana, tenemos

2
n n ⎧⎪⎛ n ⎞ ⎛ n ⎞ ⎫⎪
[ d 2 (Tu, Tv)] = [ d 2 ( p, q)] = ∑ ( pi − qi ) = ∑ ⎨⎜ ∑ bij x j + yi ⎟ − ⎜ ∑ bij y j + yi ⎟ ⎬
2 2 2

i =1 i =1 ⎪⎩⎝ j =1 ⎠ ⎝ j =1 ⎠ ⎪⎭
2
⎧ n ⎫ ⎛ n n 2⎞
= ∑ ⎨∑ bij ( u j − v j ) ⎬ ≤ ⎜ ∑∑ bij ⎟ ⎡⎣ d ( u , v ) ⎤⎦
n
2

i =1 ⎩ j =1 ⎭ ⎝ i =1 j =1 ⎠

⎛ n n ⎞
i.e. d 2 (Tu , Tv ) ≤ ⎜
⎜ ∑∑ b 2
⎟ d ( u, v ) ; u, v ∈
ij ⎟
n
.
⎝ i =1 j =1 ⎠
(En la desigualdad anterior hemos utilizado la desigualdad de Schwartz).
Análogamente a lo hecho antes, aquí exigimos que
n n

∑∑ b
i =1 j =1
ij
2
<1 (II.1.C)

n
y con esto tenemos que T es una contracción en .

-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 sólo un x = ( x1 , x2 , , xn ) ∈ n

punto fijo del
n
operador T donde xi = ∑b x
j =1
ij j + yi , y por tanto solución del sistema de ecuaciones lineales

algebraicas considerado.
,
Las aproximaciones sucesivas para hallar la solución aproximada tienen la forma

⎧ x ( 0) = ( x10 , x20 ,..., xn0 )

⎪
⎪ x (1) = ( x11 , x12 ,..., x1n )
⎪⎪
⎨ (II.1.D)
⎪ (k )
⎪ x = ( x1 , x2 ,..., xn )
k k k

⎪
⎪⎩
donde
n
xik = ∑ bij x kj −1 + yi . (II.1.E)
j =1

Además, la cota de error puede ser hallada usando las fórmulas (I.4.1.A) y (I.4.1.B) dadas en
el corolario I.4.1. Así, del Teorema de la Aplicación Contractante (T.A.C.) obtenemos.
II.1.1. TEOREMA

Si un sistema y = Ax , de n ecuaciones lineales con n incógnitas ( x1 , x2 , , xn )

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

cualquiera de las tres condiciones obtenidas (II.1.A), (II.1.B), (II.1.C), este tiene una única
solución x . Esta solución puede ser obtenida como el límite de una sucesión iterada dada por

x( ) = Tx(
k −1)
; k = 1,2,... con la relación (II.1.D), donde cada x i es calculada usando la
k k

igualdad (II.1.E), siempre que x

(0)
∈ n
es dado.
Observemos que cualquiera de las tres condiciones encontradas implica que

a11 − 1 a12 a1n

a21 a22 − 1 a2 n
≠0

an1 an1 ann − 1

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

-32-
Notemos además que, si A es simétrica, es decir aij = a ji para todo i, j = 1,2,..., n
entonces λ1 = λ∞ ; pero si A no es simétrica, entonces λ1 y λ∞ no son necesariamente
iguales.
1
Observemos también que si aij < (en este caso las tres condiciones se cumplen),
n
entonces el Método de las Aproximaciones Sucesivas ( M.A.S. ó T.A.C. ó T.P.F.B. ) es

1
aplicable; y si aij = (en este caso todas las tres suman 1) el M.A.S. no es aplicable.
n
Además mencionemos, que las soluciones aproximadas de (II.1.A) también pueden ser
halladas por otros dos métodos standard, la iteración de Jacobi, la cual es mayormente de
interés teórico y la iteración de Gauss -Seidel, la cual es frecuentemente usada en matemática
aplicada (ver [5], [8], [19], [28]).
II.1.2. APLICACIÓN PRÁCTICA
Como un ejemplo específico, consideremos el conjunto de ecuaciones algebraicas

⎧4 1 1
⎪5 x1 − x 2 − x3 = −1
2 4
⎪
⎪ 1 4 1
⎨− x1 + x2 + x3 = 2
⎪ 3 3 4
⎪ 1 2 3
⎪− 4 x1 − 15 x2 + 4 x3 = 3
⎩
Para aplicar el Teorema de la Aplicación Contractante (T.A.C.), primero rescribimos la
ecuación de arriba en la forma
x = Bx + y ,
y entonces probaremos que
n
max ∑ bij < 1 .
i
j =1

Una tal representación es dada por

⎧ 1 1 1
⎪ x1 = x1 + x2 + x3 − 1
5 2 4
⎪
⎪ 1 1 1
⎨ x2 = x1 − x2 − x3 + 2
⎪ 3 3 4
⎪ 1 2 1
⎪ x3 = 4 x1 + 15 x2 + 4 x3 + 3
⎩
-33-
i.e. matricialmente tenemos:

⎡1 1 1 ⎤
⎢ 4 ⎥ ⎡ x ⎤ ⎡ −1⎤
⎡ x1 ⎤ ⎢ 5 2
⎥ 1
⎢x ⎥ = ⎢1 −
1 1⎥⎢ ⎥ ⎢ ⎥
− ⎢ x2 ⎥ + 2
⎢ 2⎥ ⎢3 3 4⎥ ⎢ ⎥
⎣⎢ x3 ⎦⎥ ⎢ 1 2 1 ⎥⎥ ⎢⎣ x3 ⎦⎥ ⎢⎣3 ⎥⎦
⎢
⎣⎢ 4 15 4 ⎥⎦
Para i = 1,2,3 calculemos lo siguiente

3 ⎧ 3 3 3 ⎫
max ∑ bij = max ⎨∑ b1 j , ∑ b2 j , ∑ b3 j ⎬
i
j =1
i
⎩ j =1 j =1 j =1 ⎭

= max { b11 + b12 + b13 , b21 + b22 + b23 , b31 + b32 + b33 }

⎧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 .
⎩ ⎭
n
Luego, claramente la condición max
i
∑bj =1
ij < 1 se verifica.

El esquema iterativo puede ser usado para obtener la solución aproximada. Por ejemplo,

con la suposición inicial x

(0)
= ( 0,0,0 ) , obtenemos

x( ) = ( 0,0,0 )
0

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

x( ) = ( 0.55,0.25,3.76667 )
2

x( ) = ( 0.176667,1.158333,4.112500 )
3

x( ) = ( 0.642625,0.644653,4.226736 )
4

x( ) = ( 0.507535,0.942640,4.303294 )
5

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

x( = ( 0.639519,0.841889, 4.362843)
19 )

x( = ( 0.639559,0.841833,4.362843)
20 )

-34-
Como un ejemplo del uso de la ecuación (II.1.E), y teniendo en cuenta (II.1.F) mostremos
(1)
cómo obtuvimos x .
0
(
⋅ x( ) = ( 0,0,0 ) = x1( ) , x2( ) , x3(
0 0 0)
)
⎛ 3 ⎞
( )
3 3
(1) (1) (1) (1)
= ⎜ ∑ b1 j .x j + y1 , ∑ b2 j .x j + y2 , ∑ b3 j .x (j ) + y3 ⎟
(0) ( 0) 0
⋅ x = x1 , x2 , x3
⎝ j =1 j =1 j =1 ⎠

(
= b11 x1( ) + b12 x2( ) + b13 x3( ) + y1 , b21 x1( ) + b22 x2( ) + b23 x3( ) + y2 , b31 x1( ) + b32 x2( ) + b33 x3( ) + y3
0 0 0 0 0 0 0 0 0
)
⎛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) .
(k )
Y de forma análoga podemos obtener cualquier otro x .
Naturalmente, cualquier otra suposición inicial puede ser usada. El número de iteraciones
que se requiere para asegurar la convergencia depende de la suposición inicial. La solución

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

II.1.3. OTRAS APLICACIONES PRÁCTICAS

Damos dos ejemplos de aplicación del T.P.F.B. a los métodos numéricos en el primero
resolvemos una ecuación lineal y en el segundo resolvemos una ecuación no lineal.
II.1.3.1.- Probaremos que la ecuación
x = arctan( x) + 1 , x ∈

tiene una única solución en [1,+∞[ , la cual aproximaremos con siete dígitos

significativos.

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

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

es claro que f (Y ) ⊂ Y . Sea X = Y , ( ) donde denota la métrica euclidiana,

X resulta ser un espacio métrico completo (por ser cerrado).

Para todo x ∈ X , tenemos que

1 1
f ′( x) = ≤ <1.
1 + x2 2

-35-
Luego, por el ejemplo I.4.6.2., f es una contracción en Y . Entonces, por el T.P.F.B.
_
existe un único punto fijo x ∈ X , que es la única solución del sistema dado.
Para obtener la solución aproximada con la aproximación pedida, reemplazamos

1
α= en la desigualdad (I.4.1.A) del corolario I.4.1. y obtenemos
2
n
⎛1⎞
_ ⎜ ⎟ 1
2
xn − x ≤ ⎝ ⎠ x0 − x1 = n−1 x0 − x1
1 2
1−
2
_
1
i.e. xn − x ≤ . x0 − x1
2n−1
En particular si tomamos x0 = 1 , por el proceso iterativo que mostramos en el

T.P.F.B., tenemos
π
x1 = f ( x0 ) = f (1) = arctan(1) + 1 = + 1 = 1.7853982
4
reemplazando en la desigualdad anterior tenemos
_
π
xn − x ≤ ,
2n+1
_
permitiéndonos seguidamente calcular x con la aproximación exigida, en este caso
_
x11 = 2,1322677 esto es, x = 2,132267 .
Comprobemos esto, efectuando el proceso iterativo

x1 = f ( x0 ) = arctan(1) + 1 = 1.7853982
x2 = f ( x1 ) = arctan(1.7853982) + 1 = 2.0602325
x3 = f ( x2 ) = arctan(2.0602325) + 1 = 2.1189113
x4 = f ( x3 ) = arctan(2.1189113) + 1 = 2.1298472
x5 = f ( x4 ) = arctan(2.1298472) + 1 = 2.1318309
x6 = f ( x5 ) = arctan(2.1318309) + 1 = 2.1321890
x7 = f ( x6 ) = arctan(2.1321890) + 1 = 2.1322535
x8 = f ( x7 ) = arctan(2.1322535) + 1 = 2.1322651
x9 = f ( x8 ) = arctan(2.1322651) + 1 = 2.1322673
x10 = f ( x9 ) = arctan(2.1322673) + 1 = 2.1322676
x11 = f ( x10 ) = arctan(2.1322676) + 1 = 2.1322677

-36-
II.1.3.2.- Consideremos la ecuación algebraica no lineal

x3 − x − 1 = 0 , x ∈ .
Esta ecuación tiene tres raíces, una de las cuales está entre 1 y 2. Observemos que

para x ∈ X = [1, 2] , existen varias formas de escribir dicha ecuación en la forma

x = Tx , por ejemplo
1
1
T1 x = x 3 − 1, T2 x = (1 + x ) 3 , T3 x = .
x −1
2

Recordemos que en el ejemplo I.2.1.1. (ver página 3) se vió que el operador T2

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

operadores T1 y T3 , no son contracciones en X = [1,2] .

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

única raíz de T2 en X . Iniciemos el proceso iterativo con x0 = 1 , y obtenemos

1
x1 = T2 ( x0 ) = T2 (1) = (1 + 1) = 1.2599
3

1
x2 = T2 ( x1 ) = T2 (1.2599) = (1 + 1.2599 ) 3 = 1.3123
1
x3 = T2 ( x2 ) = T2 (1.3123) = (1 + 1.3123) 3 = 1.3224
1
x4 = T2 ( x3 ) = T2 (1.3224) = (1 + 1.3224 ) 3 = 1.3243
1
x5 = T2 ( x4 ) = T2 (1.3243) = (1 + 1.3243) 3 = 1.3246
1
x1 = T2 ( x5 ) = T2 (1.3246) = (1 + 1.3246 ) = 1.3247
3

1
x7 = T2 ( x6 ) = T2 (1.3247) = (1 + 1.3247 ) = 1.3247
3

Así, la raíz, con cuatro cifras significativas, se obtiene en la séptima iteración.

-37-
II.2.- APLICACIÓN A LAS ECUACIONES INTEGRALES
El estudio de las ecuaciones integrales constituye uno de los capítulos más importantes
del análisis matemático. Muchos problemas de análisis conducen al estudio de ecuaciones
integrales y muchos de los métodos del Análisis Funcional fueron inicialmente desarrollados
en el estudio de las ecuaciones integrales.
II.2.1. TIPOS DE ECUACIONES INTEGRALES
Históricamente la primera ecuación integral que fue estudiada fue la ecuación de Abel
tx( s )
y (t ) = ∫ ds , donde 0 < α < 1 .
t0 (t − s )α

Damos a continuación otros ejemplos familiares de ecuaciones integrales.

II.2.1.1.- La ecuación
∞
y (t ) = ∫ x( s )e−2π its ds
−∞

del problema de la inversa de una transformada de Fourier.

II.2.1.2.- La ecuación
t
x(t ) = x0 + ∫ f ( s, x( s))ds
t0

cuya solución es solución de la ecuación diferencial

x′(t ) = f (t , x)
con condición inicial
x(t0 ) = x0 .
Entre los tipos más comunes de ecuaciones integrales mencionamos:
i La ecuación integral de Fredholm de primera especie
b
y (t ) = ∫ K (t , s ) x( s )ds .
a

i La ecuación de Fredholm de segunda especie

b
y (t ) = x(t ) − λ ∫ K (t , s ) x( s )ds .
a

i La ecuación de Volterra de primera especie

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

i La ecuación de Volterra de segunda especie

t
y (t ) = x(t ) − λ ∫ K (t , s ) x( s )ds .
a

-38-
 En estos ejemplos la incógnita es la función x :[ a, b] → con λ∈ , donde

y :[a, b] → y K :[ a, b] × [ a, b] → son funciones dadas, a K se denomina núcleo de

la ecuación integral, sujeta a ciertas restricciones (por ejemplo ser función continua, cuadrado
integrable, medible y acotada, etc.). Las ecuaciones del tipo de Fredholm también pueden ser

estudiadas sobre un espacio X provisto de una medida μ . También K , x e y pueden ser

n
tomadas como funciones a valores vectoriales, por ejemplo, a valores en .
Cuando el núcleo K no es una función continua decimos que la ecuación integral tiene
núcleo singular. El ejemplo más importante de este tipo de núcleo es cuando X es un
n
abierto de y
A(t , s )
K (t , s ) = α
t−s
n
con α < n , A es acotada (y, eventualmente continua para t ≠ s ); cuando α < decimos
2
que la singularidad es débil.
Las ecuaciones de convolución son otro tipo importante de ecuaciones integrales
t
y (t ) = ∫ K (t − s ) x( s )ds .
a

Ahora daremos aplicaciones del T.P.F.B. a la solución de ecuaciones integrales.

II.2.2. TEOREMA
Consideremos la ecuación integral de Fredholm de segunda especie
b
x(t ) = y (t ) + λ ∫ K (t , s ) x( s )ds ,
a

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

1
Entonces, para todo λ∈ tal que λ< , dada y ∈ C ([ a, b], ) existe una
M (b − a )
única función x ∈ C ([ a, b], ) que es la solución de la ecuación integral.

Demostración:

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

sabemos es un espacio métrico completo con la métrica

d ( f , g ) = sup f (t ) − g (t ) ;
a ≤t ≤b

y definimos la aplicación T : X → X por

-39-
 (Tx ) (t ) = y (t ) + λ ∫a K (t , s) x( s)ds , t ∈ [a, b] .
b

Un punto fijo de T es evidentemente una solución de nuestro problema y recíprocamente.

Afirmación 1: Tx ∈ X .

En efecto; supongamos que t , t0 ∈ [ a, b ] tal que t → t0 .

(Tx ) (t ) − (Tx ) (t0 ) = ( y(t) + λ ∫ K (t, s) x(s)ds ) − ( y(t ) + λ ∫ K (t , s) x(s)ds )

b

a 0
b

a 0

b
≤ y (t ) − y (t0 ) + λ ∫ a
x( s ) K (t , s ) − K (t0 , s ) ds

Queremos probar que

(Tx ) (t ) → (Tx ) (t0 ) , x ∈ X .

Para esto observemos que:

i Como y ∈ C ([ a, b ] , ) i.e. y es una función continua en [ a, b] , y desde que t → t 0

tenemos y (t ) → y (t0 ) lo que implica y (t ) − y (t0 ) → 0 .

i Como x ∈ C ([ a, b ] , ) entonces x es una función continua en [ a, b] , y siendo [ a, b] un

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

i Como la función 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 t − t0 < δ
tenemos
ε
K (t , s ) − K (t0 , s ) < , s∈ .
b−a M λ
Con estos resultados, conseguimos la siguiente desigualdad

ε
(Tx ) (t ) − (Tx ) (t0 ) ≤ y (t ) − y (t0 ) + λ M b − a
b−a M λ

de donde es claro que (Tx ) (t ) → (Tx ) (t0 ) , x ∈ X .

Por lo tanto Tx ∈ X .
1
Afirmación 2: T es una contracción en X siempre que λ< .
M (b − a )
En efecto; dados u , v ∈ X tenemos

-40-
 (Tu ) (t ) − (Tv ) (t ) = ( b
)( b
y (t ) + λ ∫ K (t , s )u ( s )ds − y (t ) + λ ∫ K (t , s )v( s )ds
a a )
= λ ∫ K (t , s ) [u ( s) − v( s ) ] ds
b

b
≤λ ∫ a
K (t , s) u ( s ) − v( s ) ds
b
≤λ ∫ a
M u ( s ) − v( s ) ds

≤ λ M sup u (t ) − v(t ) ∫ ds ; t ∈ [ a, b ] , u , v ∈ X .
b

a ≤ t ≤b a

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 contracción en X con constante de contracción α = λ (b − a) M < 1 ; la

conclusión de este teorema sigue del T.P.F.B. ■
II.2.3. TEOREMA
Sea K :[ a, b] × [ a, b] × → una función continua, lipschitziana en relación a la

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

K (t , s, r1 ) − K (t , s, r2 ) ≤ M r1 − r2

para arbitrarios t , s ∈ [a, b] y r1 , r2 ∈ . Entonces dado y ∈ C ([ a, b], ) existe una única

x ∈ C ([a, b], ) solución de la ecuación integral de Volterra de segunda especie

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

Demostración:

Sea el espacio métrico completo X = C ([ a, b], ) y definimos T : X → X por

(Tx ) (t ) = y (t ) + λ ∫a K (t , s, x( s))ds , t ∈ [a, b] .

t

Es evidente que un punto fijo de T es solución de la ecuación integral y recíprocamente.

Afirmación 1: Tx ∈ X .

En efecto; para arbitrarios t , t0 ∈ [ a, b ] supongamos que t → t0 .

-41-
 (Tx ) (t ) − (Tx ) (t0 ) = ( t

a )(
y (t ) + λ ∫ K ( t , s, x( s ) ) ds − y (t0 ) + λ ∫ K ( t0 , s, x( s ) ) ds
a
t0
)
K ( t , s, x( s ) ) ds − ∫ K ( t0 , s, x( s) ) ds
t t0
≤ y (t ) − y (t0 ) + λ ∫
a a

Ahora, supongamos que t ≥ t0 , es decir gráficamente tenemos:

esto implica

K ( t0 , s, x( s ) ) ds = ∫ K ( t0 , s, x( s ) ) ds − ∫ K ( t0 , s, x( s ) ) ds .
t0 t t
∫a a t0

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

obtenemos

K ( t , s, x( s ) ) − K ( t0 , s, x( s) ) ds + K ( t0 , s, x( s ) ) ds
t t
y (t ) − y (t0 ) + λ ∫ a ∫t0

Nuestro objetivo es probar que

(Tx ) (t ) → (Tx ) (t0 ) , x ∈ X ;

para esto observemos que:

i Como y ∈ C ([ a, b ] , ) i.e. y es una función continua en [ a, b] , y desde que t → t 0

tenemos y (t ) → y (t0 ) lo que implica y (t ) − y (t0 ) → 0 .

i Como K es una función 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 t − t0 < δ tenemos

ε
K ( t , s , x ( s ) ) − K ( t0 , s , x ( s ) ) ≤ , ( s, x( s ) ) ∈ [ a, b ] × x ([ a, b ]) .
λ b−a

i Como K es una función continua sobre el compacto {t0 } × [ a, b ] × x ([ a, b ]) , K resulta

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

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

-42-
Con estos resultados, tenemos la siguiente desigualdad

ε
(Tx ) (t ) − (Tx ) (t0 ) ≤ y (t ) − y (t0 ) + λ b − a + N t − t0
λ b−a
de donde es claro que
(Tx ) (t ) → (Tx ) (t0 )
para todo x ∈ X . Por lo tanto, concluimos que la afirmación 1 es válida i.e. Tx ∈ X .

Afirmación 2: Existe m ≥ 1 tal que T

m
es una contracción en X .

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

λ M n (t − a ) n
n

(T u ) (t ) − (T v ) (t ) ≤
n n

n!
u−v (II.2.3.1)

La demostración es hecha por inducción matemática.

i Para n = 1 el resultado es inmediato, es decir tenemos
λ M (t − a)
(Tu ) (t ) − (Tv ) (t ) ≤ u−v . .
1!
i Admitiendo el resultado para n vamos a demostrarlo para n + 1

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

( a
t

a)(
= y (t ) + λ ∫ K ⎡⎣t , s, (T nu ) ( s ) ⎤⎦ ds − y (t ) + λ ∫ K ⎡⎣t , s, (T nv ) ( s ) ⎤⎦ ds
t
)
{
= λ ∫ K ⎡⎣t , s, (T nu ) ( s) ⎤⎦ − K ⎡⎣t , s, (T n v ) ( s ) ⎤⎦ ds }
t

K ⎡⎣t , s, (T nu ) ( s ) ⎤⎦ − K ⎡⎣t , s, (T nv ) ( s ) ⎤⎦ ds
t
≤λ ∫ a

∫ M (T u ) (s) − (T v ) ( s) ds
t
≤λ n n
a

λ M n (s − a)n
n
t
≤λ ∫Ma n!
u − v ds

n +1 (t − a) n+1
=λ M n +1
u−v .
(n + 1)!
Luego (II.2.3.1) es cierto, además de (II.2.3.1) tenemos

λ M (t − a)
n

(T u ) (t ) − (T v ) (t ) ≤
n n

n!
d ( u , v ) ; u , v ∈ X y t ∈ [ a , b] ,

-43-
pero aun más, como
λ M (t − a) λ M (b − a)
n n

≤ ,
n! n!
lo que implica

λ M (b − a)
n

(T u ) (t ) − (T v ) (t ) ≤
n n

n!
d ( u , v ) ; u , v ∈ X y t ∈ [ a , b] ,

entonces
λ M (b − a)
n

sup (T u ) (t ) − (T v ) (t ) ≤
n n
d ( u, v ) ; u, v ∈ X .
a ≤t ≤ b n!
Por lo tanto

λ M (b − a )
n

d (T u , T v ) ≤
n n
d ( u, v ) ; u, v ∈ X .
n!
+
Para cada n ∈ , sea
λ M (b − a)
n

an =
n!
ahora utilizamos el criterio de la razón para sucesiones de números reales:
n +1
λ M (b − a)
an+1 (n + 1)! λ M (b − a)
lim = lim = lim = 0 < 1,
n →∞ an n →∞
λ M (b − a)
n n→∞ n + 1
n!
entonces
λ M (b − a )
n

lim = 0,
n →∞ n!
⎧⎪ λ M (b − a ) n ⎫⎪
por lo tanto ⎨ ⎬ converge, luego sigue por definición de límite de sucesiones
⎩⎪ n ! ⎭⎪n≥1
de números reales que:
λ M (b − a)
n

Dado 0 < ε < 1 , existe n0 ∈ tal que para todo n > n0 tenemos < ε < 1.
n!
Con lo que se verifica la afirmación 2. Entonces tomamos m = n0 , para que exista m ≥ 1 tal

es una contracción en C ([a, b], ) = X . Y la conclusión de este teorema sigue del

m
que T

corolario 1.4.2. ■
-44-
II.2.4. OBSERVACIÓN
Hacemos λ = 1 en la ecuación integral de Fredholm de segunda especie, y tenemos
b
x(t ) = y (t ) + ∫ K (t , s ) x ( s )ds (II.2.4.1)
a

II.2.5. TEOREMA

Supongamos que K : [ a, b ] × [ a, b ] → es una función continua tal que satisface

sup
a ≤t ≤ b
{∫a
b
K (t , s) ds < 1 } (II.2.5.1)

y y : [ a, b ] → una función continua. Entonces existe una y sólo una función continua

x : [ a, b ] → que satisface la ecuación (II.2.4.1).

Demostración:

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

es completo; y definamos la aplicación T : X → X por
∞
x Tx

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

Análogamente a lo hecho en la afirmación 1 del Teorema II.2.3. se prueba que Tx ∈ X .

Veamos que T es una contracción en X . Para cualesquiera x1 , x2 ∈ X tenemos

Tx1 − Tx2 ∞
= sup (Tx1 ) (t ) − (Tx2 ) (t )
a ≤ t ≤b

( b
)(
= sup y (t ) + ∫ K (t , s) x1 ( s )ds − y (t ) + ∫ K (t , s ) x2 ( s )ds
a ≤t ≤ b a
b

a )
K (t , s) ( x1 ( s ) − x2 ( s ) ) ds
b
= sup
a ≤ t ≤b
∫ a

b
≤ sup ∫ K (t , s ) x1 ( s ) − x2 ( s ) ds
a ≤ t ≤b a

b
≤ x1 − x2 ∞
sup ∫ K (t , s) ds ≤ c x1 − x2 ∞
a ≤t ≤b a

es decir

Tx1 − Tx2 ∞
≤ c x1 − x2 ∞ ; x1 , x2 ∈ X

-45-
siempre que
c = sup
a ≤ t ≤b
{∫a
b
}
K (t , s) ds < 1 .

Luego T es una contracción en C ([ a, b], ) = X , y la afirmación de este teorema sigue del

T.P.F.B. ■

Dado un x0 ∈ C ([ a, b], ) . El T.P.F.B. nos permite obtener el punto fijo x como un límite
x = lim T n x0 . (II.2.5.2)
n→∞

Es interesante reinterpretar este límite como una serie. Definimos la aplicación

k : C ([ a, b ] , ) → C ([ a, b], ) por
b
kx = ∫ K (t , s ) x( s )ds .
a

Esta aplicación es denominada operador de Fredholm, y la función k es llamada el núcleo

de K .
La ecuación integral (II.2.4.1) puede ser reescrita como

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

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

Tx = y + kx ,
lo implica que

T n x0 = T n−1 (Tx0 ) = T n−1 ( y + kx0 ) = y + kT n−1 ( x0 )

= y + kT n−2 (Tx0 ) = y + kT n−2 ( y + kx0 )

= y + k ⎡⎣ y + kT n−2 x0 ⎤⎦ = y + k ⎡⎣ y + kT n−3 (Tx0 ) ⎤⎦

= y + k ⎡⎣ y + k ( y + + k ( y + kx0 ) ) ⎤⎦

T n x0 = y + ky + + k n y + k n+1 x0 .
Usando la ecuación (II.2.5.2), obtenemos
n +1 ∞
x = lim ∑ k i y = ∑ k n y ,
n→∞
i =0 n =0

Por otro lado de (II.2.5.3) tenemos

x = (I − k) y ,
−1

-46-
entonces de las dos igualdades anteriores, conseguimos
∞
(I − k ) = ∑kn .
−1
(II.2.5.4)
n =0

Esta serie es llamada serie de Neumann. El uso de sumas parciales de esta serie para aproxi-
mar a la inversa se llama aproximación de Born. Explícitamente tenemos

⎛ ∞ ⎞
x(t ) = ⎜ ∑ k n y ⎟ (t ) = ( y + ky + k 2 y + ) (t ) = y(t ) + ( ky ) (t ) + ( k y ) (t ) +
2

⎝ n =0 ⎠

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

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

a a

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

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

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

realmente una serie geométrica que es absolutamente convergente con respecto a determinada

norma del operador cuando k

∞
< 1 . Esto explica porque no necesitamos imponer ninguna

condición sobre y para que la ecuación (II.2.5.1) sea una condición que asegure que

( I − k ) es invertible y depende sólo de la función k (ver [13]) .

-47-
II.3.- APLICACIÓN A LAS ECUACIONES DIFERENCIALES ORDINARIAS
II.3.1. DEFINICIÓN
Sean Ω ⊂ × y f ∈ C (Ω, ) . Decimos que una función continuamente

diferenciable
u : [ c, d ] →
es una solución de la ecuación 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. PROPOSICIÓN

Sea (t0 , y0 ) ∈Ω . La condición necesaria y suficiente para que u : [ c, d ] →

continua con (t , u (t )) ∈ Ω , para todo t ∈ [ c, d ] sea solución de la ecuación diferencial

(II.3.1.1) satisfaciendo u (t0 ) = y0 , es que u sea solución continua de la ecuación integral

t
y (t ) = y0 + ∫ f ( s, y ( s ))ds (II.3.2.1)
t0
Demostración:

Es inmediato, pues, si f y u son continuas, la función t ∈ [ c, d ] → f (t , u (t )) ∈ ,

también lo es. Basta entonces aplicar el Teorema Fundamental del Cálculo. ■

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

Sean (t0 , y0 ) ∈ × y f : [t0 − a, t0 + a ] × Bb [ y0 ] ⊂ × → una función

+
continua y lipschitziana en la segunda variable, esto es, existe L ∈ tal que

f (t , z1 ) − f (t , z2 ) ≤ L z1 − z2 ; t ∈ [t0 − a, t0 + a ] , z1 , z2 ∈ Bb [ y0 ] (II.3.3.1)

Entonces existe a con 0 < a < a tal que la ecuación diferencial

* *

y′ = f (t , y )

tiene una única solución u definida en ⎡⎣t0 − a , t0 + a ⎤⎦ satisfaciendo u (t0 ) = y0 .

* *

Demostración:
Observemos que f está definida en un dominio compacto, entonces siendo f continua,

f es acotada i.e. existe M > 0 tal que f (t , y ) ≤ M , para ( t , y ) ∈ [t0 − a, t0 + a,] × Bb [ y0 ] .

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

Tomamos
⎧ b⎫
a* = min ⎨a, ⎬ . (II.3.3.2)
⎩ M⎭
b
Para simplificar la notación, supongamos que tenemos a ≤ i.e. a = a .
*

M
Recordemos que X = C ([t0 − a, t0 + a ] , Bb [ y0 ]) dotado de la métrica del supremo
*

d (u , v) = u − v = sup
t∈[t0 − a ,t0 + a ]
{ u (t ) − v(t ) }
es un espacio métrico completo.

Sea u ∈ X , definimos Tu : [t0 − a, t0 + a,] → por

t
(Tu )(t ) = y0 + ∫ f ( s, u ( s ))ds .
t0

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

t
(Tu )(t ) − y0 ≤ ∫
t0
f ( s, u ( s )) ds ≤ M t − t0 ≤ Ma ≤ b ,

entonces Tu ∈ X .

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

t t
(Tu )(t ) − (Tv)(t ) = ∫
t0
f ( s, u ( s ))ds − ∫ f ( s, v( s ))ds
t0

t
≤ ∫
t0
f ( s, u ( s )) − f ( s, v( s )) ds

t
≤ ∫
t0
L u ( s ) − v( s ) ds

≤L sup
t∈[t0 − a ,t0 + a ]
{ u (t ) − v(t ) } t − t 0

i.e. (Tu )(t ) − (Tv)(t ) ≤ L u − v t − t0 . (II.3.3.3)

+
Además de esto, existe m ∈
m
tal que T es una contracción en X , pues, para arbitrarios

u , v ∈ X tenemos
Lm t − t0
m

(T u )(t ) − (T v)(t ) ≤
m m
u−v . (II.3.3.4)
m!

-49-
En efecto, para arbitrarios u , v ∈ X y para todo t con t − t0 ≤ a , se tiene

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

∫ [ f (s,Tu (s)) − f (s,Tv(s))] ds

t
=
t0

t
≤ ∫ t0
f ( s, Tu ( s )) − f ( s, Tv( s )) ds

t
≤ ∫ t0
L Tu ( s ) − Tv( s ) ds

t
≤ L2 u − v ∫ t0
s − t0 ds (viene de II.3.3.3)

2
s − t0 t
= L u−v 2
|t0
2
2
t − t0
= L u−v 2

2
2
t − t0
i.e. (T u )(t ) − (T v)(t ) ≤ L u − v ; u, v ∈ X
2 2 2

2!
y, de modo más general

t − t0
(T m+1u )(t ) − (T m+1v)(t ) ≤ (T mu )(t ) − (T mv)(t ) L ; u, v ∈ X ,
m +1
de donde resulta (II.3.3.4).

Como t − t0 ≤ a tomando el supremo en (II.3.3.4), tenemos

Lm a m
T mu − T m v ≤ u−v .
m!
+
Para cada m ∈ , sea
( La )
m

um = ,
m!
utilizando el criterio de la razón para sucesiones de números reales

( La )
m +1

um+1 ( m + 1)! = La lim ⎛ 1 ⎞ = 0 < 1

lim = lim ( ) m→∞ ⎜ ⎟
( La ) ⎝ m +1⎠
m→∞ m→∞ m
um
m!

-50-
entonces
( La )
m

lim um = lim = 0,
m→∞ m→∞ m!
⎛ ( La )m ⎞
por lo tanto ⎜ ⎟ converge, luego sigue por definición de límite de sucesiones de
⎜ m! ⎟
⎝ ⎠ m≥1
números reales que:
( La )
m

Dado 0 < ε < 1 , existe n0 ∈ tal que para todo n > n0 tenemos < ε < 1.
m!

Entonces basta tomar m = n0 , para concluir que existe m ≥ 1 tal que T

m
es una contracción

en C ([t0 − a, t0 + a ] , Bb [ y0 ]) = X , luego por el corolario I.4.2., T tendrá un único punto

*

fijo, el cual es la solución de la ecuación integral (II.3.2.1) y por tanto solución de la ecuación

diferencial ordinaria (II.3.1.1). ■

-51-
II.4.- APLICACIÓN A LAS ECUACIONES DIFERENCIALES PARCIALES
II.4.1. EJEMPLO:
+ +
Sean f , g : × → funciones continuas y para cada ( x, t ) ∈ × considere-

mos la ecuación diferencial en derivadas parciales

∂ 2u ∂ 2u
( x, t ) − 2 ( x, t ) − g ( x, t )u ( x, t ) = f ( x, t ) (II.4.1.1)
∂t 2 ∂x
con las condiciones iniciales

∂u
u ( x,0) = 0 , ( x,0) = 0 . (II.4.1.2)
∂t
Observemos que (II.4.1.1) corresponde al problema de la ecuación de la onda con vibraciones
forzadas (semilineal hiperbólica).
II.4.2. PROPOSICIÓN
+
La función u : × → es solución de (II.4.1.1), satisfaciendo las condiciones

∂u ∂u ∂ 2u ∂ 2u ∂ 2u +
iniciales (II.4.1.2) con u , , , , , continuas en × si sólo si u es
∂t ∂x ∂x∂t ∂t 2 ∂x 2
solución de la ecuación integral

1 t x + ( t −τ )
[ f (σ ,τ ) + g (σ ,τ )u (σ ,τ )]dσ
2 ∫0 ∫x −( t −τ )
u ( x, t ) = dτ (II.4.2.1)

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

ξ = x+t , η = x−t ,
de donde

ξ +η ξ −η
x= ,t= .
2 2
∂u ∂u ∂ 2u ∂ 2u ∂ 2u
Entonces, ahora las nuevas hipótesis son u , , , , , son funciones
∂ξ ∂η ∂ξ∂η ∂ξ 2 ∂η 2

+ ∂ 2u ∂ 2u
continuas en × (Observar que estas implican que = ).
∂ξ∂η ∂η∂ξ
∂ 2u ∂ 2u
Queremos hallar expresiones para , para lo cual consideramos el diagrama de
∂t 2 ∂x 2
dependencia:

-52-
Luego, con esto hallemos:

∂u ∂u ∂ξ ∂u ∂η ∂u ∂u ∂u
i = + i.e. = − (II.4.2.2)
∂t ∂ξ ∂t ∂η ∂t ∂t ∂ξ ∂η
1 −1

∂ 2u ∂ ⎛ ∂u ⎞ ∂ ⎛ ∂u ∂u ⎞ ∂ ⎛ ∂u ⎞ ∂ ⎛ ∂u ⎞ ∂ ⎛ ∂u ⎞ ∂ ⎛ ∂u ⎞
= ⎜ ⎟= − = − = ⎜ ⎟− ⎜ ⎟
∂t 2 ∂t ⎝ ∂t ⎠ ∂t ⎜⎝ ∂ξ ∂η ⎟⎠ ∂t ⎜⎝ ∂ξ ⎟⎠ ∂t ⎜⎝ ∂η ⎟⎠ ∂ξ ⎝ ∂t ⎠ ∂η ⎝ ∂t ⎠
(Pues de ambas hipótesis sobre u y sus derivadas parciales, tenemos

∂ 2u ∂ 2u ∂ 2u ∂ 2u
= y = ).
∂t ∂ξ ∂ξ∂t ∂t ∂η ∂η∂t

∂ ⎛ ∂u ∂u ⎞ ∂ ⎛ ∂u ∂u ⎞ ∂ 2u ∂ 2u ∂ 2u ∂ 2u
= − − − = − − +
∂ξ ⎜⎝ ∂ξ ∂η ⎟⎠ ∂η ⎜⎝ ∂ξ ∂η ⎟⎠ ∂ξ 2 ∂ξ∂η ∂η∂ξ ∂η 2

∂ 2u ∂ 2u ∂ 2u ∂ 2u
= + −2 (II.4.2.3)
∂t 2 ∂ξ 2 ∂η 2 ∂ξ∂η
∂u ∂u ∂ξ ∂u ∂η ∂u ∂u ∂u
i = + i.e. = + (II.4.2.4)
∂x ∂ξ ∂x ∂η ∂x ∂x ∂ξ ∂η
1 1

∂ 2u ∂ ⎛ ∂u ⎞ ∂ ⎛ ∂u ∂u ⎞ ∂ ⎛ ∂u ⎞ ∂ ⎛ ∂u ⎞ ∂ ⎛ ∂u ⎞ ∂ ⎛ ∂u ⎞
= ⎜ ⎟= + = + = ⎜ ⎟+ ⎜ ⎟
∂x 2 ∂x ⎝ ∂x ⎠ ∂x ⎜⎝ ∂ξ ∂η ⎟⎠ ∂x ⎜⎝ ∂ξ ⎟⎠ ∂x ⎜⎝ ∂η ⎟⎠ ∂ξ ⎝ ∂x ⎠ ∂η ⎝ ∂x ⎠

∂ 2u ∂ 2u ∂ 2u ∂ 2u
(Análogamente tenemos = y = ).
∂x∂η ∂η∂x ∂x∂ξ ∂ξ∂x

∂ ⎛ ∂u ∂u ⎞ ∂ ⎛ ∂u ∂u ⎞ ∂ 2u ∂ 2u ∂ 2u ∂ 2u
= + + + = + + +
∂ξ ⎜⎝ ∂ξ ∂η ⎟⎠ ∂η ⎜⎝ ∂ξ ∂η ⎟⎠ ∂ξ 2 ∂ξ∂η ∂η∂ξ ∂η 2

∂ 2u ∂ 2u ∂ 2u ∂ 2u
= + +2 . (II.4.2.5)
∂x 2 ∂ξ 2 ∂η 2 ∂ξ∂η
Luego reemplazamos (II.4.2.3) y (II.4.2.5) y F en (II.4.1.1), obteniendo

-53-
 ∂ 2u ⎛ ξ + η ξ − η ⎞ 1 ⎛ ξ +η ξ −η ⎞
⎜ , ⎟=− F⎜ , ⎟.
∂ξ∂η ⎝ 2 2 ⎠ 4 ⎝ 2 2 ⎠
Ahora integramos con respecto a ξ
ξ ∂ 2u ⎛ ψ + η ψ − η ⎞ 1 ξ ⎛ψ + η ψ −η ⎞
∫γ ⎜
∂ψ∂η ⎝ 2
,
2 ⎠
⎟ dψ = −
4 ∫γ ⎝ 2
F⎜ ,
2 ⎠
⎟ dψ

∂u ⎛ ξ + η ξ − η ⎞ ∂u ⎛ γ + η γ − η ⎞ 1 ξ ⎛ψ + η ψ −η ⎞
4 ∫γ ⎝ 2
⎜ , ⎟ − ⎜ , ⎟ = − F⎜ , ⎟ dψ .
∂η ⎝ 2 2 ⎠ ∂η ⎝ 2 2 ⎠ 2 ⎠
Aquí hacemos γ = η y tenemos
∂u ⎛ ξ + η ξ − η ⎞ ∂u 1 ξ ⎛ψ + η ψ −η ⎞
( )
4 ∫γ ⎝ 2
⎜ , ⎟ = η ,0 − F⎜ , ⎟ dψ (II.4.2.6)
∂η ⎝ 2 2 ⎠ ∂η 2 ⎠
Restando (II.4.2.4) de (II.4.2.2), obtenemos

∂u 1 ∂u 1 ∂u
= −
∂η 2 ∂x 2 ∂t
entonces
∂u 1 ∂u 1 ∂u
(η ,0) = (η ,0) − (η ,0) .
∂η 2 ∂x 2 ∂t
Esta última relación la reemplazamos en (II.4.2.6), y conseguimos

∂u ⎛ ξ + η ξ − η ⎞ 1 ∂u 1 ∂u 1 ξ ψ +η ψ −η ⎞
⎜ , ⎟= (η ,0 ) − (η ,0 ) − ∫γ F ⎛⎜ , ⎟ dψ .
∂η ⎝ 2 2 ⎠ 2 ∂x 2 ∂t 4 ⎝ 2 2 ⎠
Integramos nuevamente con respecto a η de un valor arbitrario de η hasta η = ξ , y
tenemos

ξ ∂u ⎛ ξ + s ξ − s ⎞ ξ ⎡ 1 ∂u 1 ∂u ⎤ 1 ξ ξ ⎛ψ + s ψ − s ⎞
∫η ∫η ⎣⎢ 2 ∂x ( ) ( )
4 ∫η ∫s ⎝ 2
⎜ , ⎟ ds = s ,0 − s ,0 ds − F⎜ , ⎟ dψ ds
∂s ⎝ 2 2 ⎠ 2 ∂t ⎦⎥ 2 ⎠

⎛ ξ + η ξ − η ⎞ ξ ⎡ 1 ∂u 1 ∂u ⎤ 1 ξ ξ ⎛ψ + s ψ − s ⎞
u (ξ ,0 ) − u ⎜ ( ) ( )
2 ⎠ ∫η ⎣⎢ 2 ∂x 4 ∫η ∫s ⎝ 2
, ⎟ = s ,0 − s ,0 ds − F⎜ , ⎟ dψ ds
⎝ 2 2 ∂t ⎦⎥ 2 ⎠

⎛ ξ +η ξ −η ⎞ 1 ξ ∂u 1 ξ ∂u 1 ξ ξ ψ +s ψ −s⎞
u⎜ , ⎟ = u (ξ ,0 ) − ∫η ( s,0 ) ds + ∫η ( s,0 ) ds + ∫η ∫s F ⎛⎜ , ⎟ dψ ds
⎝ 2 2 ⎠ 2 ∂x 2 ∂t 4 ⎝ 2 2 ⎠

1 1 1 ξ ∂u 1 ξ ξ ⎛ψ + s ψ − s ⎞
= u (ξ ,0 ) − u (ξ ,0 ) + u (η ,0 ) + ∫ ( s,0 ) ds ∫ ∫ F ⎜ , ⎟ dψ ds
2 2 2 η ∂t 4 η s ⎝ 2 2 ⎠

⎛ ξ +η ξ −η ⎞ 1 1 ξ ∂u 1 ξ ξ ⎛ψ + s ψ − s ⎞
( ) ( ) ⎦ 2 ∫η ∂t ( )
4 ∫η ∫s ⎝ 2
u⎜ , ⎟ = ⎡ u ξ ,0 + u η ,0 ⎤ + s ,0 ds + F⎜ , ⎟ dψ ds
⎝ 2 2 ⎠ 2⎣ 2 ⎠

-54-
Ahora, aplicamos las condiciones iniciales (II.4.1.2) quedándonos

⎛ ξ + η ξ −η ⎞ 1 ξ ξ ⎛ψ + s ψ − s ⎞
2 ⎠ 4 ∫η ∫s ⎝ 2
u⎜ , ⎟= F⎜ , ⎟ dψ ds (II.4.2.7)
⎝ 2 2 ⎠
Para la integral doble, hacemos el cambio de variable
ψ = σ +τ , s = σ −τ
luego por el teorema de cambio de variable para integrales dobles tenemos

∂ψ ∂ψ
∂ (ψ , s ) ∂σ ∂τ
drds = det( J (ψ , s )) dσ dτ = det( ) dσ dτ = dσ dτ
∂ (σ ,τ ) ∂s ∂s
∂σ ∂τ
1 1
= dσ dτ = −2 dσ dτ = 2dσ dτ .
1 −1

Observemos además que el dominio de integración inicial

η ≤ s ≤ψ ≤ ξ
se transforma en
1
η +τ ≤ σ ≤ ξ −τ , 0 ≤τ ≤ (ξ -η ) .
2
Luego de reemplazar en (II.4.2.7), tenemos
ξ −η
⎛ ξ + η ξ − η ⎞ 1 2 ξ −τ
F (σ ,τ ) dσ dτ
2 ⎠ 2 ∫0 ∫η +τ
u⎜ , ⎟=
⎝ 2
ahora tenemos presente que ξ = x + t , η = x − t , F = f + gu obteniendo
1 t x + ( t −τ )
[ f (σ ,τ ) + g (σ ,τ )u (σ ,τ )] dσ ,
2 ∫0 ∫x −( t −τ )
u ( x, t ) = dτ

y por lo tanto, sigue que u , satisfaciendo (II.4.1.1) y (II.4.1.2), también satisface (II.4.2.1).
Recíprocamente, veamos que (II.4.2.1) i.e.

1 t x + ( t −τ )
[ f (σ ,τ ) + g (σ ,τ )u (σ ,τ )] dσ
2 ∫0 ∫x −( t −τ )
u ( x, t ) = dτ

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

i u ( x,0) = 0
i Probaremos que
∂u
( x,0) = 0 .
∂t
-55-
 En efecto, sea
1 t
2 ∫0
u ( x, t ) = G ( x, t ,τ )dτ (II.4.2.A)

donde
x +( t −τ )
G ( x, t ,τ ) = ∫ F (σ ,τ )dσ .
x −( t −τ )

1
En esta parte de la demostración ignoramos la constante ; entonces
2
∂u 1
( x, t ) = lim [u ( x, t + h) − u ( x, t ) ]
∂t h →0 h

1 t +h
= lim ⎡ ∫ G ( x, t + h,τ )dτ − ∫ G ( x, t ,τ )dτ ⎤
t

h →0 h ⎢
⎣ 0 0 ⎥⎦

= lim ⎡
1
h →0 h ⎢
⎣ ( ∫ G( x,t + h,τ )dτ + ∫
0
t

0
t +h
)
G ( x, t + h,τ )dτ − ∫ G ( x, t ,τ )dτ ⎤
0
t

⎥⎦

1 t 1 t +h
= lim ⎡ ∫ G ( x, t + h,τ )dτ − ∫ G ( x, t ,τ )dτ ⎤ + lim ∫ G ( x, t + h,τ )dτ
t

⎢ 0
h →0 h ⎣ 0 ⎦⎥ h→0 h t
1 1 t +h
[ G ( x, t + h,τ ) − G ( x, t ,τ ) ] dτ + lim ∫ G ( x, t + h,τ )dτ
t
= ∫ lim
0 h →0 h h →0 h t

∂G 1 t +h
( x, t ,τ ) dτ + lim ∫ G ( x, t + h,τ )dτ .
t
=∫
0 ∂t h →0 h t

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

1 t +h 1
G ( x, t , ω ) h = G ( x, t , t ) ,
h →0 h ∫t
lim G ( x , t + h ,τ ) dτ = lim
h →0 h

en esta última igualdad como t ≤ ω ≤ t + h entonces cuando h → 0 tendremos ω →t.

Entonces tendremos la siguiente expresión

∂u t ∂G
( x, t ) = ∫ ( x, t ,τ )dτ + G ( x, t , t ) .
∂t 0 ∂t

Tomando t = 0 , tenemos
∂u
( x,0) = 0 .
∂t
Por lo tanto u verifica las condiciones iniciales (II.4.1.2).
Ahora mostremos que la ecuación integral (II.4.2.1) verifica la ecuación en derivada parciales
(II.4.1.1). En efecto, observemos que

-56-
 G ( x, t , t ) = 0
entonces

∂u t ∂G
( x, t ) = ∫ ( x, t ,τ )dτ ,
∂t 0 ∂t

análogamente encontramos

∂u t ∂G
( x, t ) = ∫ ( x, t ,τ )dτ .
∂x 0 ∂x

A estas dos funciones halladas le volvemos aplicar la definición de derivada parcial con
respecto a t y x respectivamente, obteniendo

∂ 2u t∂ G
2

∂t 2
( x , t ) = ∫0 ∂t 2 ( x, t ,τ )dτ ,
∂ 2u t∂ G
2
( x, t ) = ∫ ( x, t ,τ )dτ .
∂x 2 0 ∂x 2

Hallemos
∂ 2G ∂ 2G
( x, t ,τ ) y ( x, t ,τ ) .
∂t 2 ∂x 2
∂G 1
i ( x, t ,τ ) = lim [G ( x, t + h,τ ) − G ( x, t ,τ ) ]
∂t h →0 h

1 x +( t + h−τ ) x + ( t −τ )
= lim ⎡ ∫ F (σ ,τ )dσ − ∫ F (σ ,τ )dσ ⎤
h →0 h ⎢
⎣ x − ( t + h −τ ) x − ( t −τ ) ⎥⎦
Gráficamente si h > 0 , tenemos:

entonces

∂G 1 x −(t −τ ) x + ( t + h −τ )
( x, t ,τ ) = lim ⎡ ∫ F (σ ,τ )dσ + ∫ F (σ ,τ )dσ ⎤
∂t ⎢
h→0 h ⎣ x −( t + h −τ ) x + ( t −τ ) ⎥⎦

1 x −( t −τ ) x + ( t + h −τ )

h→0 h ∫x −( t + h −τ ) h→0 ∫x + ( t −τ )
= lim F (σ ,τ ) d σ + lim F (σ ,τ )dσ .

Nuevamente a cada uno de estos términos le aplicamos el teorema del valor medio para
integrales, obteniendo

-57-
 ∂G
( x, t ,τ ) = F ( x − t + τ ,τ ) + F ( x + t − τ ,τ )
∂t
entonces

∂ 2G ∂F ∂F
( x, t ,τ ) = ( x − t + τ ,τ ) + ( x + t − τ ,τ ) .
∂t 2
∂t ∂t
∂G 1
i ( x, t ,τ ) = lim [G ( x + h, t ,τ ) − G ( x, t ,τ ) ]
∂x h →0 h

1 x + h+( t −τ ) x + ( t −τ )
= lim ⎡ ∫ F (σ ,τ )dσ − ∫ F (σ ,τ )dσ ⎤ .
h →0 h ⎢
⎣ x + h − ( t −τ ) x − ( t −τ ) ⎥⎦
Gráficamente h > 0 , tenemos:

∂G
Similarmente a lo que hicimos para ( x, t ,τ ) , llegamos a
∂t
∂G
( x, t ,τ ) = F ( x + t − τ ,τ ) − F ( x − t + τ ,τ )
∂x
entonces
∂ 2G ∂F ∂F
( x , t ,τ ) = ( x + t − τ ,τ ) − ( x − t + τ ,τ ) .
∂x 2 ∂x ∂x
Luego reemplazamos las expresiones obtenidas en:

∂ 2u ∂ 2u t∂ G
2
t∂ G
2
( x, t ) − 2 ( x, t ) = ∫ ( x, t ,τ )dτ − ∫ ( x, t ,τ )dτ
∂t 2 ∂x 0 ∂t 2 0 ∂x 2

t ⎡ ∂F ∂F ⎤ t ⎡ ∂F ∂F ⎤
= ∫ ⎢ ( x − t + τ ,τ ) + ( x + t − τ ,τ ) ⎥ dτ − ∫ ⎢ ( x + t − τ ,τ ) − ( x − t + τ ,τ ) ⎥ dτ
0 ∂t ∂t 0 ∂t ∂t
⎣ ⎦ ⎣ ⎦
= F ( x, t ) + F ( x, t )
t⎧ 1 1 ⎫
− ∫ ⎨lim ⎡⎣ F ( ( x + h) + t − τ ,τ ) − F ( x + t − τ ,τ ) ⎤⎦ − lim ⎡⎣ F ( ( x + h) − t + τ ,τ ) − F ( x − t + τ ,τ ) ⎤⎦ ⎬ dτ
⎩
0 h →0 h h →0 h
⎭

= 2 F ( x, t )
t⎧ 1 1 ⎫
− ∫ ⎨lim ⎡⎣ F ( x + (t + h) − τ ,τ ) − F ( x + t − τ ,τ ) ⎤⎦ − lim ⎡⎣ F ( x − t + (τ + h),τ ) − F ( x − t + τ ,τ ) ⎤⎦ ⎬ dτ
⎩
0 h →0 h h →0 h
⎭

-58-
 t ⎡ ∂F ∂F ⎤
= 2 F ( x, t ) − ∫ ⎢ ( x + t − τ ,τ ) − ( x − t + τ ,τ ) ⎥ dτ
0 ∂t
⎣ ∂τ ⎦
= 2 F ( x , t ) − F ( x , t ) + F ( x , t ) = 2 F ( x, t ) .

1
Recordemos que ignoramos la constante que acompaña a la ecuación integral, por lo tanto
2
tenemos

∂ 2u ∂ 2u
( x, t ) − 2 ( x, t ) = F ( x, t ) . ■
∂t 2 ∂x
Notemos, que en (II.4.2.1), el dominio de integración es el triángulo:

Dx ,t = {(σ ,τ ) ∈ × +
: x − σ ≤ t −τ} .

Vamos pues a considerar el problema de existencia y unicidad de soluciones de la ecuación

integral (II.4.2.1), es decir de

1 t x + ( t −τ )
[ f (σ ,τ ) + g (σ ,τ )u (σ ,τ )] dσ
2 ∫0 ∫x −( t −τ )
u ( x, t ) = dτ

+ +
en × . Para eso es suficiente probar que, en todo dominio D ⊂ × con la

condición Dx ,t ⊂ D , para todo ( x, t ) ∈ D existe y es única la solución de (II.4.2.1).

-59-
Consideremos el espacio de Banach X = C ( D, ) , y sea u ∈ X ; definimos Tu por

1 x + ( t −τ )
(Tu )( x, t ) = ∫0 dτ ∫x−(t −τ ) [ f (σ ,τ ) + g (σ ,τ )u (σ ,τ )] dσ .
t

2
Afirmación: Tu ∈ X .
En efecto, análogamente a lo usado en (II.4.2.A) tenemos que

1
(Tu ) ( x, t ) = ∫0 G ( x, t ,τ )dτ
t

2
donde
x + ( t −τ )
G ( x, t ,τ ) = ∫ F (σ ,τ )dσ .
x −( t −τ )

1
Nuevamente volvemos a ignorar la constante . Consideremos ( x, t ) , ( x0 , t0 ) ∈ D tal que
2
( x, t ) → ( x0 , t0 )
entonces

( x − x0 ) → 0 y ( t − t0 ) → 0 .
Luego, para todo u ∈ X tenemos

(Tu ) ( x, t ) − (Tu ) ( x0 , t0 ) = ∫0 G ( x, t ,τ )dτ − ∫0 G( x0 , t0 ,τ )dτ

t t0
(II.4.2.B)

Además supongamos que t > t0 , con esto la primera integral de (II.4.2.B) se transforma en
t t0 t
∫ 0
G ( x, t ,τ )dτ = ∫ G ( x, t0 ,τ )dτ + ∫ G ( x, t0 ,τ )dτ
0 t0
(II.4.2.C)

Reemplazamos (II.4.2.C) en (II.4.2.B) y agrupando el primer término de (II.4.2.C) con el

segundo término de (II.4.2.B), obtenemos

(
(Tu ) ( x, t ) − (Tu ) ( x0 , t0 ) ≤ ∫0 G ( x, t0 ,τ )dτ − ∫0 G ( x, t0 ,τ )dτ
t0 t0
) t
+ ∫ G ( x, t ,τ )dτ
t0

( G ( x, t0 ,τ ) − G ( x0 , t0 ,τ ) ) dτ + ∫t
t0 t
≤∫ G ( x, t ,τ ) dτ . (II.4.2.D)
0 0

Ahora calculemos el límite de cada una de las integrales de (II.4.2.D):

i Para la segunda integral, observemos que se está integrando sobre el intervalo [t0 , t ] el cual

tiene medida nula, pues ( t − t0 ) → 0 , entonces ella misma tiende a cero.

-60-
i Para la primera integral, hacemos a = t0 − τ y explicitamos
x+a x0 + a
G ( x, t0 ,τ ) − G ( x0 , t0 ,τ ) = ∫ F (σ ,τ ) dσ − ∫ F (σ ,τ ) dσ . (II.4.2.E)
x−a x0 − a

Aquí supondremos que x > x0 de donde x + a > x0 + a y x − a > x0 − a .

Gráficamente tenemos:

Luego (II.4.2.E) se transforma en

x+a x −a
G ( x, t0 ,τ ) − G ( x0 , t0 ,τ ) = ∫ F (σ ,τ ) dτ − ∫ F (σ ,τ ) dτ
x0 + a x0 − a

De forma similar a como tratamos la segunda integral de (II.4.2.D), pero ahora teniendo

presente ( x − x0 ) → 0 , concluimos que cada una de las integrales anteriores tiende a cero.

Por lo tanto, de (II.4.2.B) para todo u ∈ X tenemos

(Tu ) ( x, t ) − (Tu ) ( x0 , t0 ) → 0
entonces

(Tu ) ( x, t ) → (Tu ) ( x0 , t0 ) .
i.e. Tu es continua en D , luego Tu ∈ X .
También obtenemos

1 x + ( t −τ )
(Tu )( x, t ) − (Tv )( x, t ) ≤ ∫0 ∫x−(t −τ )
t
g (σ ,τ ) u (σ ,τ ) − v(σ ,τ ) dσ dτ .
2
Si g (σ ,τ ) ≤ M en el dominio D , entonces

1 t x + ( t −τ )
(Tu )( x, t ) − (Tu )( x, t ) ≤ M∫ ∫ u (σ ,τ ) − v(σ ,τ ) dσ dτ
2 0 x −( t −τ )

1 t x + ( t −τ )
≤ M sup u (σ ,τ ) − v(σ ,τ ) ∫0 ∫x −( t −τ ) dσ dτ
2 D

1
d (Tu , Tv ) ≤ Mt 2 d ( u , v ) ; u , v ∈ X .
2
Análogamente conseguimos

-61-
 (T u ) ( x, t ) − (T v ) ( x, t ) = T (Tu) ( x, t ) − T (Tv )( x, t )
2 2

1 x + ( t −τ )
g (σ ,τ ) [ (Tu )(σ ,τ ) − (Tv)(σ ,τ ) ] dσ dτ
t
≤
2 ∫∫
0 x −( t −τ )

1 t x +(t −τ ) 1
≤ ∫ ∫ M M τ 2 d ( u , v ) dσ dτ
2 0 x − ( t −τ ) 2
1 t x + ( t −τ )
= M 2d ( u, v ) ∫ ∫ τ 2 dσ dτ
4 0 x − ( t −τ )

1 24
d ( T 2u , T 2 v ) ≤ M t d ( u, v ) ; u, v ∈ X .
24
Por inducción, resulta

1
d (T nu , T nv) ≤ M n (t * ) 2 n d ( u , v )
(2n)!
donde

t * = sup {( x, t ) ∈ D} .
+
Para cada n ∈ , sea
n
M (t * ) 2
cn = ,
(2n)!
ahora utilizamos el criterio de la razón para sucesiones de números reales
n +1
M (t * ) 2

lim
cn+1
= lim
[ 2(n + 1)]! = M (t * )2 lim 1 = 0 < 1 ,
n →∞ n →∞ n n→∞ 2( n + 1)
cn M (t * ) 2
(2n)!
entonces
n
M (t * ) 2
lim = 0,
n →∞ n!

⎧ M (t * ) 2 ⎫
por lo tanto ⎨ ⎬ converge, luego sigue por definición de límite de sucesiones de
⎩ n ! ⎭n≥1
números reales que:
n
M (t * ) 2
Dado 0 < ε < 1 , existe n0 ∈ tal que para todo n > n0 tenemos < ε < 1.
(2n)!

-62-
Entonces tomamos m = n0 , para concluir que existe m ≥ 1 tal que T
m
es una contracción en

C ([a, b], )= X . Así, por el corolario I.4.2. demostramos la existencia y unicidad en

+
× de la solución de (II.4.2.1). ■
II.4.3. EJEMPLO
Consideremos ahora la ecuación diferencial parcial

u xy = f ( x, y, u , u x , u y ) . (II.4.3.1)

Sobre una curva C , dada por y = ϕ ( x) con ϕ ∈ C (1) ( , ) y ϕ ′( x) < 0 , x ∈ . Sean

dadas las funciones continuamente diferenciables u0 y u1 ( ó u2 ). Queremos estudiar la

existencia de u ∈ C
(2)
( × , ) satisfaciendo (II.4.3.1) y
u|C = u0 , ( ux )|C = u1 , [ ó ( u y ) |C = u2 ],

esto es, tal que, para todo x ∈ , tenemos

⎛ ∂u ⎞ ⎛ ∂u ⎞
u ( x,ϕ ( x)) = u0 ( x) , ⎜ ⎟ ( x,ϕ ( x)) = u1 ( x) [ ó ⎜ ⎟ ( x,ϕ ( x)) = u2 ( x) ].
⎝ ∂x ⎠ ⎝ ∂y ⎠
Vamos a mostrar inicialmente como podemos reducir el problema a la búsqueda de una
solución u de una ecuación análoga a (II.4.3.1) con

u ≡ u x ≡ u y ≡ 0 sobre la recta x + y = 0 .

Observemos preliminarmente que, dadas u0 , u1 [respectivamente u2 ], queda determinada u2

[respectivamente u1 ], pues; si u|C = u0 , ( u x ) |C = u1 y si ( u y ) |C = u2 , entonces

d
u0 ( x,ϕ ( x)) = u x ( x,ϕ ( x)) + u y ( x,ϕ ( x))ϕ ′( x) = u1 ( x,ϕ ( x)) + ϕ ′( x)u2 ( x,ϕ ( x))
dx
lo que determina u2 .

Observar además que no hay pérdida de generalidad en suponer que la curva C es dada por

x+ y=0 (II.4.3.2)

pues siempre podemos hacer un cambio de variables poniendo

ξ = − y , η = ϕ ( x) .
Además de eso, si tuviéramos

-63-
 _
u [ x(t ), y (t ) ] = u (t ) ,
u x [ x(t ), y (t ) ] = p(t ) , (II.4.3.3)
u y [ x(t ), y (t ) ] = q(t ) ,

a lo largo de la recta x = t , y = −t , consideremos la ecuación

u xy = 0 (II.4.3.4)

sujeta a esas condiciones. La solución es entonces,

_ _
u ( x) + u ( y ) 1 x 1 y
u1 ( x, y ) = + ∫ p (t )dt + ∫ q(t )dt .
2 2 −y 2 −x
Sustrayendo u1 de una solución de (II.4.3.1) que satisfaga también a (II.4.3.3), obtenemos

una solución de una nueva ecuación (cuyo segundo miembro, para simplificar, también

denotamos por f ).
u xy = f ( x, y, u , u x , u y ) i.e. (II.4.3.1)

satisfaciendo

u ≡ u x ≡ u y ≡ 0 sobre la recta x + y = 0 . (II.4.3.5)

El problema de existencia de una solución de los sistemas (II.4.3.1) y (II.4.3.5), que

pasamos a considerar.
II.4.4. PROPOSICIÓN

Supongamos que dado a > 0 , la función f : [ − a, a ] × [ − a, a ] × →

3
es continua

y lipschitziana en las tres últimas variables, esto es, existe una constante L > 0 tal que

f ( x, y, u2 , p2 , q2 ) − f ( x, y, u1 , p1 , q1 ) ≤ L ⎣⎡ u2 − u1 + p2 − p1 + q2 − q1 ⎤⎦

para cualesquiera x, y ∈ [ − a, a ] con u1 , u2 , p1 , p2 , q1 , q2 ∈ . Entonces u es solución de

(II.4.3.1) sujeta a las condiciones (II.4.3.5) si y sólo si es solución de

u ( x, y ) = ∫∫ f (ξ ,η , u , uξ , uη )dξ dη (II.4.4.1)
D

donde D es el triangulo limitado por las rectas

ξ +η = 0 , ξ = x , η = y ,
Gráficamente tenemos:

-64-
con lo que:
y x
u ( x, y ) = ∫ dη ∫ f (ξ ,η , u, uξ , uη )dξ (II.4.4.2)
−x −η

x y
= ∫ dξ ∫ f (ξ ,η , u , uξ , uη )dη .
−y −ξ

Demostración:
También 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 además que f es lineal en las tres últimas variables i.e. cuando

(II.4.3.1) tiene la forma

u xy = g ( x, y )u x + h( x, y )u y + r ( x, y )u + s ( x, y )

donde las funciones g , h, r , s son continuas en × .

Vamos a demostrar que existe u :

2
→ solución de (II.4.4.2) y por lo tanto, solución

de (II.4.3.1) satisfaciendo (II.4.3.5). Para eso, es suficiente demostrar que, para todo a > 0

existe una solución de (II.4.2.2) en [ − a, a ] × [ − a, a ] .

Sea X = C
(1)
([ −a, a ] × [ −a, a ], ) 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

u X
= u + ux + u y
donde,
v = sup { v( x, y ) : x, y ∈ [ − a, a ]} .

-65-
Para todo u ∈ X y para cualesquiera x, y ∈ [ − a, a ] , definimos Tu por

(Tu ) ( x, y) = ∫∫ f (ξ ,η , u, uξ , uη )dξ dη . (II.4.4.3)

D
Luego se cumplen
(Tu ) x ( x, y ) = ∫− x f ( x,η , u, ux , uη )dη ,
y
(II.4.4.4)

(Tu ) y ( x, y ) = ∫− y f (ξ , y, u, uξ , uη )dξ .
x
(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

(Tu ) ( x, y) = ∫− y dξ ∫−ξ f (ξ ,η , u, uξ , uη )dη .

x y

Sea
G (ξ , y, u , uξ , u y ) = ∫ f (ξ ,η , u , uξ , uη )dη .
y

−ξ

con esto
(Tu ) ( x, y) = ∫− y G (ξ , y, u, uξ , u y ) dξ .
x

Entonces

(Tu ) ( x + h, y ) − (Tu ) ( x, y )
(Tu ) x ( x, y ) = lim
h →0 h
1 x+h
= lim ⎡ ∫ G (ξ , y, u , uξ , u y ) dξ − ∫ G (ξ , y, u , uξ , u y ) dξ ⎤
x

h →0 h ⎢
⎣ −y −y ⎥⎦

1 x+h
G (ξ , y, u , uξ , u y ) dξ
h→0 h ∫x
= lim

1
= lim G ( w, y, u, uw , u y ) h = G ( x, y, u, u x , u y )
h →0 h

para algún w tal que x ≤ w ≤ x + h ; usando el teorema del valor medio para integrales

como h → 0 entonces w → x .

( )
i.e. (Tu ) x ( x, y ) = G x, y, u , u x , u y ,

por lo tanto
(Tu ) x ( x, y ) = ∫− x f ( x,η , u, ux , uη )dη .
y

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-
i (Tu − Tv ) ( x, y ) ≤
y x
∫ −x
dη ∫
−η
f (ξ ,η , u , uξ , uη ) − f (ξ ,η , v, vξ , vη ) dξ

≤ L ∫ dη ∫ ⎡ u − v + uξ − vξ + uη − vη ⎤ dξ
y x

−x −η ⎣ ⎦
y x
= L u−v X ∫ −x
dη ∫ dξ
−η

i.e. (Tu − Tv ) ( x, y ) ≤ L u − v
2
X
x+ y (II.4.4.6)

( (Tu ) x − (Tv) x ) ( x, y) ≤ ∫− x ∫−η

y x
i f (ξ ,η , u, u x , uη ) − f (ξ ,η , v, vx , vη ) dξ dη

≤ L ∫ ⎡ u − v + u x − vx + uη − vη ⎤ dη
y

−x ⎣ ⎦
y
= L u −v X ∫
−x
dη = L u − v X
x+ y

i.e. ( (Tu ) x − (Tv) x ) ( x, y ) ≤ L u − v X

x+ y (II.4.4.7)

i Análogamente, conseguimos

( (Tu) y − (Tv) y ) ( x, y ) ≤ L u − v X
x+ y (II.4.4.8)

Para cualesquiera x, y ∈ [ − a, a ] (i.e. x ≤ a , y ≤ b ) tenemos

x + y ≤ x + y ≤ 2a ,

luego tomando c = max {2a,2} , tendremos

( x + y)
2 2
= x + y = x + y x + y ≤ 2a x + y ≤ c x + y

i.e. ( x + y ) ≤ c x + y .
2

y, por tanto, en (II.4.4.6), (II.4.4.7) y (II.4.4.8) podemos tomar como segundo miembro a

cL u − v X
x+ y . (II.4.4.9)

Entonces tenemos

Tu − Tv X
= Tu − Tv + (Tu − Tv ) x + (Tu − Tv ) y

≤ 3Lc u − v X
x+ y .

Similarmente, encontraremos mayoraciones para:

-67-
i (T 2u − T 2v ) ( x, y ) = T (Tu )( x, y ) − T (Tv)( x, y )

y x
≤ ∫ −x
dη ∫
−η
f (ξ ,η , Tu,(Tu )ξ ,(Tu )η ) − f (ξ ,η , Tv,(Tv)ξ ,(Tv)η ) dξ

≤ L ∫ dη ∫ ⎡ Tu − Tv + (Tu )ξ − (Tv)ξ + (Tu )η − (Tv)η ⎤ dξ

y x

−x −η ⎣ ⎦
y x
≤ 3Lc u − v X ∫−x
dη ∫ ξ + η dξ
−η
(Aquí utilizamos (II.4.4.9)) (II.4.4.10)

Análogamente, llegamos a conseguir las siguientes relaciones:

( (T u) − (T 2v) x ) ( x, y ) ≤ 3L2c u − v
y
∫ x + η dη
2
i x (II.4.4.11)
X −x

( (T u) − (T 2v) y ) ( x, y ) ≤ 3L2c u − v
y
∫ ξ + y dξ
2
i y (II.4.4.12)
X −x

Observemos por ejemplo, como obtuvimos

⎛ η2 ⎞ y
y2 ⎡ x2 ⎤
x + η dη = ∫ ( x + η ) dη = ⎜ xη + ⎟
y y
∫ −x −x
⎝ 2 ⎠ −x
= xy + − x (− x) + ⎥
2 ⎢⎣ 2⎦

y 2 x 2 x 2 + 2 xy + y 2 ( x + y )
2

= xy + + = =
2 2 2 2
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

9 L2c 2
= T 2 u − T 2 v + ( T 2u − T 2 v ) + ( T 2u − T 2 v ) ≤
2
T 2u − T 2 v u−v x+ y
X x y 3! X

siendo los segundos miembros de (II.4.4.10), (II.4.4.11) y (II.4.4.12) mayorados por

2
3L2c 2 u − v X
x+ y .

Por inducción viene que

( 3Lc )
n

T u −T v
n n
≤ u−v ; u, v ∈ X .
X n! X

+
Para cada n ∈ , sea
n
3Lc
bn = ,
n!

-68-
ahora utilizamos el criterio de la razón para sucesiones de números reales
n +1
3Lc
bn+1 (n + 1)! 1
lim = lim = 3Lc lim = 0 <1
n →∞ n→∞ n n →∞ n + 1
bn 3Lc
n!
entonces
n
3Lc
lim =0,
n →∞ n!
⎧ 3Lc ⎫
por lo tanto ⎨ ⎬ converge, luego sigue por definición de límite de sucesiones de
⎩ n! ⎭n≥1
números reales que:
m
3Lc
Dado 0 < ε < 1 , existe n0 ∈ tal que para todo m > m0 tenemos < ε < 1.
m!
Entonces tomamos n = m0 para concluir que existe n ≥ 1 tal que T es una contracción en
n

C (1) ([ −a, a ] × [ − a, a ] , ) = X , luego por el corolario I.4.2. T tiene un único punto fijo en

X , es decir existe una única función u ∈ X la cual satisface (II.4.4.2).

Segundo Caso: Supongamos ahora que f esta definida en una vecindad de la recta

x + y = 0 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 solución de

(II.4.2.2) sólo en una vecindad de la recta x + y = 0 . Precisamente nos vamos a restringir a

A = [ −α ,α ] × [ −α ,α ] × Br [ 0] × BR [ 0] × BR [ 0] ,

donde Br [ 0] , BR [ 0] son bolas cerradas centradas en 0 y de radio r y R respectivamente,

además α es escogido de tal manera que, si u : [ −α ,α ] × [ −α ,α ] → toma valores en

Br [ 0] y u x , u y en BR [ 0] , 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-
i (Tu ) ( x, y ) = ∫∫ f (ξ ,η , u, uξ , uη )dξ dη ≤M(x + y)
D

≤ ∫∫ f (ξ ,η , u , uξ , uη ) dξ dη ≤ f ∫∫ dξ dη = 4M α
2
.
D D

i (Tu ) x ( x, y ) ≤ ∫
y
f (ξ ,η , u, uξ , uη )dη ≤ M x + y
−x

≤ M ( x + y ) ≤ M (α + α ) = 2 M α .

i (Tu ) y ( x, y ) ≤ 2α M .

Sea X = C
1
([ −α ,α ] × [ −α ,α ], B [0]) cuyas derivadas asumen valores en B [0] ,
r R

los cálculos hechos en el primer caso se aplican. ■

-70-
 II.5.- APLICACIÓN AL PROBLEMA DE STURM-LIOUVILLE
El problema de Sturm-Liouville consiste en resolver la ecuación diferencial con valores
en la frontera

⎧ d 2u
⎪ 2 + λ f ( x, u ) = 0
⎨ dx (II.5.1)
⎪u (0) = u (1) = 0
⎩
la cual presenta una conexión con el problema de una varilla elástica bajo compresión con
extremos fijos; aquí u denota el desplazamiento axial y λ la carga axial. Para valores peque-
ños de λ , la solución es u = 0 (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 solución no nula.
Queremos encontrar una ecuación integral equivalente al problema de Sturm-Liouville

(II.5.1). Sea u con segunda derivada continua y definamos ϕ := −u′′ . Ahora

y

∫ ∫ ϕ ( s )dsdy = ∫ ∫ ( −u′′( s) )dsdy = ∫ ( −u′(s ) ) dy

x y x y x

0 0 0 0 0 0

x
= ∫ ( −u′( y ) + u′(0) )dy = ( −u ( y ) + u′(0) y ) = −u ( x) + u′(0) x + u (0)
x

0 0
0

∫ ∫ ϕ ( s )dsdy = −u ( x) + u′(0) x
x y
i.e.
0 0

despejando u ( x) tenemos

∫ ϕ ( s )dsdy .
x y
u ( x) = xu′(0) − ∫
0 0

Integramos por partes la integral doble

u = ∫ ϕ ( s )ds
y
dv = dy
0

du = ϕ ( y ) v= y

( )
x
ϕ ( s )dsdy = y ∫ ϕ ( s )ds − ∫ yϕ ( y )dy = x ∫ ϕ ( s )ds − ∫ yϕ ( y )dy
x y y x x x
∫∫
0 0 0 0 0 0 0

= x ∫ ϕ ( y )dy − ∫ yϕ ( y )dy = ∫ ( x − y )ϕ ( y )dy

x x x

0 0 0

ϕ ( s )dsdy = ∫ ( x − y )ϕ ( y )dy
x y x
i.e. ∫∫
0 0 0

-71-
Por lo que
u ( x) = xu′(0) − ∫ ( x − y )ϕ ( y )dy .
x
(II.5.2)
0
Tenemos
1 1 1 1 1 1 1
∫∫ ϕ ( s )dsdy = ∫ ( −u′′( s) )dsdy = ∫x ( −u′( s) ) y dy = ∫x ( −u′(1) + u′( y) ) dy
x y x ∫y

1
= ( −u′(1) y + u ( y ) ) = − u′(1) + u (1) − ( −u′(1) x + u ( x) )
x
0

= −u ( x) − u′(1)(1 − x) ,
entonces sigue
1 1
u ( x) = −u′(1)(1 − x) − ∫
x ∫ ϕ ( s )dsdy .
y

Integraremos por partes la integral doble

m = ∫ ϕ ( s )ds
y
dn = dy
1

dm = ϕ ( y ) n= y
1 1
∫∫
x y
1

x (
ϕ ( s )dsdy = ∫ − ∫ ϕ ( s )ds dy
1
y
)
⎡
( ) ⎤
1 1 1
ϕ ( s )dsdy = − ⎢ y ∫ ϕ ( s ) ds − ∫ yϕ ( y ) dy ⎥
y y
= −∫ ∫
x 1
⎣ 1 x x
⎦

= − ⎡ − x ∫ ϕ ( s ) ds − ∫ yϕ ( y ) dy ⎤ = − ⎡ x ∫ ϕ ( s ) ds − ∫ yϕ ( y ) dy ⎤
x 1 1 1

⎢⎣ 1 x ⎥⎦ ⎢⎣ x x ⎥⎦

= − ⎡ x ∫ ϕ ( y ) dy − ∫ yϕ ( y ) dy ⎤ = − ∫ ( x − y ) ϕ ( y ) dy
1 1 1

⎣⎢ x x ⎦⎥ x

1 1 1
i.e. ∫∫ ϕ ( s )dsdy = − ∫ ( x − y )ϕ ( y ) dy
x y x

entonces
1
u ( x) = −u′(1)(1 − x) + ∫ ( x − y )ϕ ( y )dy . (II.5.3)
x

De igual forma
1 1 1

∫ ϕ ( y )dy + u′(1) − u′(0) = ∫ ( −u′′( y ) )dy + u′(1) − u′(0) = ( −u′( y ) ) + u′(1) − u′(0)
0 0 0

= −u′(1) + u′(0) + u′(1) − u′(0) = 0

-72-
 1
i.e. ∫ ϕ ( y )dy + u′(1) − u′(0) = 0
0
(II.5.4)

para todo x ∈ [ 0,1] .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
u ( x) = ∫ (1 − x ) yϕ ( y )dy + ∫ x (1 − y )ϕ ( y ) dy
x
(II.5.5)
0 x

1
u ( x) = ∫ G ( x, y )ϕ ( y )dy
0

donde G es la función de Green

⎧ x(1 − y ), x ≤ y
⎪
G ( x, y ) = ⎨
⎪ y (1 − x), y ≤ x
⎩
Pero como ϕ ( x) = −u′′( x) = λ f ( x, u ( x) ) tenemos
1
u ( x) = λ ∫ G ( x, y ) f ( y, u ( y ) )dy (II.5.6)
0

2
con G definida como antes (Observemos que G es continua en ).

Recíprocamente, sea ϕ ∈ C [ 0,1] solución de la ecuación integral (II.5.5).

Para todo x ∈ [ 0,1] definamos la función

1
u ( x) = ∫ (1 − x) yϕ ( y )dy + ∫ x(1 − y )ϕ ( y )dy ,
x

0 x

entonces u (0) = 0 y u (1) = 0 y por la construcción de la ecuación integral tenemos

−u′′ = ϕ = λ f ( x, u ) . Por consiguiente, el problema con valor en la frontera (II.5.1) y la

ecuación integral (II.5.5) son equivalentes.
Es decir, resolver el problema de Sturm-Liouville es equivalente a resolver la ecuación
integral (II.5.6). Observemos que esta ecuación integral equivalente es la ecuación de
Fredholm de primera especie (ver II.2.1.2, página 38) donde a = 0 , b = 1 y el núcleo para

cualesquiera x, y ∈ [ 0,1] es K ( x, y ) = G ( x, y ) .

Consideremos el espacio de las funciones cuadrado integrable en el dominio [ 0,1] .

([0,1]) = { f : [0,1] → ; f medible en [ 0,1] y

1
∫ f ( x) dx < ∞ .}
2 2
i.e. L
0

-73-
Recordemos que L
2
([0,1]) es un espacio de Banach.
Definimos f : [ 0,1] →
*
por

f*= f ψ

donde ψ : [ 0,1] → con ψ = ( id , u ) , id denota la función identidad y f : →

2 2
es

la función dada i.e. tenemos para cada x ∈ [ 0,1]

f * ( x) = ( f ψ ) ( x) = f (ψ ( x)) = f ( x, u ( x) ) .

Ahora definamos el operador

T : L2 ([ 0,1]) → L2 ([ 0,1])
u Tu
dado por
1
(Tu ) ( x) = λ ∫0 G ( x, y ) f * ( y )dy .
Es evidente que un punto fijo de T es solución de la ecuación integral y recíprocamente.

Para asegurar que T es una contracción en L

2
([0,1]) , asumimos que
∂f * ∂f *
es acotado i.e. ( x) ≤ M ; 0 ≤ x ≤ 1 , u ∈ L2 ([ 0,1]) .
∂u ∂u
Denotemos a
K ( x, y , u ) = G ( x, y ) f * ( y ) , (II.5.A)

entonces por el teorema del valor medio, tenemos

∂K
K ( x, y , u1 ) − K ( x, y, u2 ) = ( x, y, u ) u1 ( y ) − u2 ( y )
∂u

∂
=
∂u
( G ( x, y ) f * ( y ) ) u1 ( y ) − u2 ( y )

∂f *
= G ( x, y ) ( y ) u1 ( y ) − u2 ( y )
∂u

≤ M G ( x, y ) u1 ( y ) − u2 ( y )

i.e. K ( x, y, u1 ) − K ( x, y, u2 ) ≤ M G ( x, y ) u1 ( y ) − u2 ( y ) (II.5.B)

para algún u entre u1 y u2 .

-74-
Sea
1 1
μ2 = M 2∫ ∫
2
G ( x, y ) dxdy . (II.5.C)
0 0

Probaremos que

M2
1 1
μ = M ∫ ∫ G ( x, y ) dxdy =
2 2 2
.
0 0 90
En efecto, teniendo en cuenta la función de Green con la que estamos trabajando, calculemos

dxdy = ∫ ⎡ ∫ ( G ( x, y ) ) dx + ∫ ( G ( x, y ) ) dx ⎤ dy
1 1 1 1 1 1
( G ( x, y ) )
y
∫∫ G ( x, y ) dxdy = ∫
0 ∫0
2 2 2 2
0 0 0⎢⎣ 0 y ⎥⎦

=∫ (∫
0
1

0
y
)
x 2 (1 − y ) 2 dx + ∫ y 2 (1 − x) 2 dx dy
y
1

= ∫ ( (1 − y ) ∫ x dx + y ∫ (1 − x) dx ) dy
1 y 1
2 2 2 2
0 0 y

⎛ 1 x3
x= y
(1 − x)3
x =1
⎞
= ∫ ⎜ (1 − y ) 2 −y 2
⎟ dy
0⎜ 3 3 ⎟
⎝ x =0 x= y ⎠

=
1 1
3 ∫0
(1 −(y ) 2 3
y + y 2
(1 − y )
3
dy )
1 1 4
= ∫
3 0
( y − 2 y 3 + y 2 ) dy

y =1
1 ⎛ y5 y 4 y3 ⎞ 1⎛ 1 1 1⎞ 1
= ⎜ − + ⎟ = ⎜ − + ⎟= .
3⎝ 5 2 3 ⎠ y =0 3 ⎝ 5 2 3 ⎠ 90

1 1 1
∫∫
2
i.e. G ( x, y ) dxdy = . (II.5.D)
0 0 90
Ahora mostraremos que T es una contracción en L
2
([0,1]) para un valor fijo de λ .
En efecto, con (II.5.A) el operador T queda definido por
1
(Tu ) ( x) = λ ∫0 K ( x, y, u ( y ) )dy .
Para cualesquiera u1 , u2 ∈ L
2
([0,1]) tenemos
{∫ (Tu ) ( x) − (Tu ) ( x) dx}
1
1 2 2
Tu1 − Tu2 2
= 1 2 . (II.5.E)
0

-75-
Mayoraremos la función que estamos integrando i.e.
1 1
(Tu1 ) ( x) − (Tu2 ) ( x) = λ ∫0 K ( x, y, u1 ( y ) )dy − λ ∫0 K ( x, y, u1 ( y ) )dy
1
≤λ ∫ 0
K ( x, y, u1 ( y )) − K ( x, y, u2 ( y )) dy
1
≤λ ∫ M G( x, y) u ( y) − u ( y) dy
0 1 2 (usamos (II.5.B))

(∫ M )( ∫ u ( y) − u ( y) dy )⎤⎥⎦
1

≤λ⎡
1 2 1 2 2
2
G ( x, y ) dy
⎢⎣ 0 0 1 2

(∫ M )
1
1 2 2
=λ 2
G ( x, y ) dy u1 − u2 2
0

donde, el penúltimo paso lo conseguimos usando la desigualdad de Hölder para integrales.

Entonces tenemos

( )
1
1
(Tu1 ) ( x) − (Tu2 ) ( x) ≤ λ ∫0 M
2 2
2
G ( x, y ) dy u1 − u2 2 .

Reemplazamos esta desigualdad en (II.5.E)

1
⎧ 2
⎫ 2

(∫ M )
1
⎪ 1 1 ⎪
Tu1 − Tu2 2 ≤ ⎨ ∫ λ
2 2
2
G ( x, y ) dy u1 − u2 2
dx ⎬
0 0
⎪⎩ ⎪⎭

( M ∫ ∫ G( x, y) dydx )
1
1 1 2 2
= λ u1 − u2 2
2
0 0

= λ u1 − u2 2
μ (usamos (II.5.C))

i.e. Tu1 − Tu2

2
≤ λ μ u1 − u2 2 ; u1 , u2 ∈ L2 ([ 0,1]) .

1
Ahora sea α = μ λ > 0 . Notemos que α < 1 sólo si λ < .
μ

Así, concluimos que T es una contracción en L

2
([0,1]) siempre que:
∂f *
i). f ∈ L ([ 0,1]) y ( x) ≤ M , para cada 0 ≤ x ≤ 1 y para todo u ∈ L2 ([ 0,1]) .
* 2

∂u
1 1 1
μ2 = M 2∫ ∫
2
ii). λ < , y existe G ( x, y ) dxdy .
μ 0 0

-76-
 Antes de aplicar el T.P.F.B., debemos probar que Tu ∈ L
2
([0,1]) .
En efecto, para todo u ∈ L
2
([0,1]) tenemos que:
i Tu es medible, pues al ser aplicado sobre cada x ∈ [ 0,1] , es una integral de Riemann

continua en [ 0,1] , luego Tu es integrable en el sentido de Lebesgue.

i Tu 2 < ∞ .

En efecto, para todo u ∈ L

2
([0,1]) tenemos

{∫ (Tu ) ( x) dx}
1
1 2 2
Tu 2 =
0

1
⎧ 1 1 2
⎫2
= ⎨ ∫ λ ∫ K ( x, y, u ( y ) )dy dx ⎬
⎩ 0 0 ⎭
1
⎧ 1 1 ⎫ 2 2
= ⎨ ∫ λ ∫ G ( x, y ) f * ( y )dy dx ⎬ (usamos (II.5.A))
⎩ 0 0 ⎭
1
⎧ 1 1 2
⎫2
i.e. Tu 2 = ⎨ ∫ λ ∫ G ( x, y ) f ( y )dy dx ⎬ .
*
(II.5.F)
⎩ 0 0 ⎭
Mayoraremos la función que se esta integrando i.e.
1 1
λ ∫ G ( x, y ) f * ( y )dy ≤ λ ∫ G ( x, y ) f * ( y ) dy
0 0

( ∫ G( x, y) dy )( ∫ )
1

≤λ⎡ f * ( y ) dy ⎤
1 2 1 2 2

⎢⎣ 0 0 ⎥⎦

( ∫ G( x, y) dy )
1

([0,1]) )
1 2 2
≤λC (pues f ∈ L
* 2
0

reemplazamos esta desigualdad en (II.5.F) y tenemos

1
⎧ 1 2 ⎫2
⎪ 1
Tu 2 ≤ ⎨ ∫ λ C
⎪⎩
0 ( ∫ G( x, y) dy )
0
1 2 2 ⎪
dx ⎬
⎪⎭
1

{∫ ∫ G( x, y) dydx} = λ C ⎛⎜⎝ 901 ⎞⎟⎠

1
1 1 2 2 2
=λC (usamos (II.5.D))
0 0

-77-
 i.e. Tu 2
≤ ∞ , u ∈ L2 ([ 0,1]) .

Por lo tanto, para todo u ∈ L

2
([0,1]) se cumple que Tu ∈ L ([0,1]) .
2

Entonces tenemos todas las hipótesis del T.P.F.B. verificadas, concluyendo que existe una
única solución de la ecuación 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
∂f *
≤ cos ( u ( x) ) ≤ 1
∂u
de donde

M = 1 y λ < 3 10 .
Por el análisis hecho en esta sección, podemos afirmar que:

i Para cargas menores a 3 10 , el problema de la varilla tiene una única solución.

i Como u = 0 satisface la ecuación (II.5.1), u = 0 es la única solución i.e. la varilla no se

dobla para cargas mayores a 3 10 .

i Las soluciones no nulas existen para λ > 3 10 .

-78-
II.6. APLICACIÓN A LA PROGRAMACIÓN DINÁMICA
La optimización Dinámica como su nombre lo indica, estudia la optimización de
sistemas dinámicos, 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 dinámico el cual el
médico examina tomándonos la presión arterial, la temperatura, analizando los estudios
realizados, como son un electrocardiograma, la cantidad de plaquetas, de leucocitos, de
glóbulos rojos, el nivel de colesterol, el nivel de enzimas que intervienen en el metabolismo
de los aminoácidos (transaminasas), el azúcar de la sangre (glucosa), etc. De esta manera el
médico 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 física, ingerir
ciertos medicamentos, seguir una dieta específica de comidas, etc. Llevadas a la práctica estas
medidas tenderán a modificar el estado de nuestra salud.
Los campos de aplicación de la optimización dinámica no se circunscriben solamente a
ciertas ramas de la matemática, como el análisis matemático, la geometría o los sistemas
dinámicos, sino que abordan otras áreas del conocimiento, como por ejemplo la ingeniería, la
física, la economía, la biología, etc.
De manera similar a la búsqueda de máximos y mínimos de una función que modeliza
matemáticamente cierto problema, la finalidad de la optimización dinámica radica en
determinar la existencia, y eventualmente el cálculo, 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
(máximos o mínimos, según sea el caso) de cierta cantidad de estudio llamada funcional
objetivo durante cierto intervalo temporal.
En cuanto a su tratamiento matemático, los problemas de optimización dinámica pueden
resolverse por alguna de estas tres técnicas:
1.- El cálculo de variaciones.
2.- El control óptimo.
3.- La programación dinámica.
-79-
Si bien las tres técnicas permiten abordar problemas en tiempo discreto y continuo, los
métodos 1 y 2 se utilizan generalmente para el tiempo continuo y el restante para el tiempo
discreto.
II.6.1. DEFINICIÓN

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 interés en este trabajo se centra en correspondencias del tipo

f : X → P( X ).

Si usamos la notación de funciones, podemos definir una correspondencia X → P( X )

como una función X { Y ⊆ P( X )} .
Sean X e Y dos espacios métricos arbitrarios y sea una correspondencia f : X → P( Y ).

El grafo de f es el conjunto G f = ∪ ( x, f ( x) ) donde

x∈X
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 G f es un conjunto

cerrado.
El concepto de continuidad se generaliza para correspondencias a partir de los conceptos más
débiles de semicontinuidad inferior y semicontinuidad superior. Para nosotros sólo es
relevante el último de estos conceptos.
II.6.2. DEFINICIÓN

Si X ⊆ eY⊆ , la correspondencia f : X → P( Y ) se llama semicontinua

m n

superior si su grafo es cerrado y para cada punto de X su imagen es un conjunto compacto.

Por otro lado, la extensión del concepto de punto fijo a correspondencias es directa.
II.6.3. DEFINICIÓN

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 definición y de la definición I.1. del capítulo I, podemos establecer

que, tanto para correspondencias como para funciones, se verifica fix( f ) ⊆ X . Es claro que

si definimos recursivamente para cualquier i ∈ y x∈ X ,

f (i +1) ( x ) = f ⎡⎣ f ( i ) ( x ) ⎤⎦
con f
(1)
≡ f , esto implica
fix ( f ) ⊆ ∩ f (i ) ( X ) .
i∈

En otras palabras, los puntos fijos de una función deben pertenecer a la intersección de las
imágenes de sus sucesivas iteraciones.
II.6.4. APLICACIÓN DEL T.P.F.B. A LA PROGRAMACIÓN DINÁMICA
La Teoría de la Programación Dinámica fue elaborada principalmente por Richard
Bellman durante la década de 1950, trata acerca de la toma óptima de decisiones en procesos
de etapas múltiples, frecuentemente estocásticos.
Dada una función continua

g: n
× n
→
y una correspondencia nunca vacía

f: n
→ P( n
)
semicontinua superiormente, un problema determinístico típico de esta teoría es el de hallar el
valor

v ( x0 ) = max ∑ β t −1 g ( xt −1 , xt ) , { xt ∈ f ( xt −1 )}t∈
{ xt } t∈

donde la sucesión { xt }t∈ se elige en el espacio de sucesiones → n

y β ∈ [ 0,1) es un
parámetro que frecuentemente se interpreta como un factor de descuento entre dos tiempos.
Siguiendo con esta interpretación 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

función valor v :
n
→ debe satisfacer la ecuación funcional

v ( xt −1 ) = max { g ( xt −1 , xt ) + β v( xt )} (II.6.4.1)
xt ∈ f ( xt −1 )

-81-
En efecto, en (II.6.4.1) damos valores enteros positivos para t , encontrando para

i t = 1 : v ( x0 ) = max { g ( x0 , x1 ) + β v( x1 )}
x1∈ f ( x0 )

i t = 2 : v ( x1 ) = max { g ( x1 , x2 ) + β v( x2 )}
x2∈ f ( x1 )

i t = 3 : v ( x2 ) = max { g ( x2 , x3 ) + β v( x3 )}
x3∈ f ( x2 )

Reemplazando v ( x2 ) en v ( x1 ) , tenemos

{
v ( x1 ) = max g ( x1 , x2 ) + β max { g ( x2 , x3 ) + β v( x3 )} .
x2∈ f ( x1 ) x3∈ f ( x2 ) }
Reemplazando v ( x1 ) en v ( x0 ) , tenemos

⎡
{ ⎤
v ( x0 ) = max ⎢ g ( x0 , x1 ) + β max g ( x1 , x2 ) + β v max ( g ( x2 , x3 ) + β v( x3 ) ) ⎥
x1∈ f ( x0 ) ⎣ x2∈ f ( x1 ) x3∈ f ( x2 ) ⎦
}
= max ⎡⎣ β 0 g ( x0 , x1 ) + β 1 g ( x1 , x2 ) + β 2 g ( x2 , x3 ) + β 3v( x3 ) ⎤⎦
x1∈ f ( x0 )
x2∈ f ( x1 )
x3∈ f ( x2 )

= max
{ xt }∈ f ( xt −1) t∈
∑β t −1
g ( xt −1 , xt ) = v ( xt −1 )
t∈

(La importancia de la relación (II.6.4.1) es que nos permite maximizar por partes.)

Esta ecuación se denomina ecuación de Bellman y se debe satisfacer para todo t ∈ si v

ha de ser una solución. Nótese que la estructura de la ecuación es invariante ante
desplazamientos temporales, por lo que se refiere a la determinación de la función de valor,
no hay inconveniente en prescindir del índice t .

Hacemos: y = xt −1 y x = xt , con esto la ecuación de Bellman es

v( y ) = max [ g ( y, x) + β v( x) ] .
x∈ f ( y )

Sea X = C
*
( n
, ) el espacio de las funciones continuas y acotadas, el cual dotado de la

métrica del sup es completo. De esta forma asumiendo que el max esta bien definido para

cualquier “ y ”, podemos definir unívocamente el operador de Bellman como T : X → X

dado por
T ( w ) ( y ) = max [ g ( y, x) + β w( x) ] , w ∈ X .
x∈ f ( y )

-82-
En lo que sigue asumiremos que la función g y la correspondencia semicontinua superior f

son de tal tipo que max [ g ( y , x) + β w( x) ] está bien definido y es una función continua y
x∈ f ( y )
acotada de y .

Luego, si fuese posible mostrar que T es una contracción en X , el teorema del punto
fijo de Banach garantiza la existencia de una única solución a la ecuación de Bellman.
Afirmación: T es una contracción en X .

En efecto; sean w1 , w2 ∈ X

T ( w1 )( y ) − T ( w2 )( y ) = max [ g ( y, x) + β w1 ( x) ] − max [ g ( y, x) + β w2 ( x)] (II.6.4.2)

x∈ f ( y ) x∈ f ( y )

Para todo x ∈ f ( y ) , sea

u y ( x) = g ( y, x) + β w1 ( x) .

Observemos que u y es continua sobre el compacto f ( y ) , luego u y tiene máximo. Digamos

que x ∈ f ( y ) es el punto donde u y alcanza su máximo, entonces tenemos

*

max u y ( x) = max [ g ( y, x) + β w1 ( x)] = u y ( x* ) = g ( y, x* ) + β w1 ( x* ) .

x∈ f ( y ) x∈ f ( y )

Análogamente para
v y ( x) = g ( y, x) + β w2 ( x) , x ∈ X ( y )

se tiene que x ∈ f ( y ) es el punto donde v y alcanza su máximo,

**

max v y ( x) = max [ g ( y, x) + β w2 ( x)] = u y ( x** ) = g ( y, x** ) + β w2 ( x** ) .

x∈ f ( y ) x∈ f ( y )

Luego reemplazando en (II.6.4.2), tenemos

T ( w1 )( y ) − T ( w2 )( y ) ≤ ( g ( y, x* ) + β w1 ( x* ) ) − ( g ( y, x** ) + β w2 ( x** ) ) (II.6.4.3)

Ahora puede ocurrir que:

i Supongamos que
g ( y, x* ) + β w1 ( x* ) ≥ g ( y, x** ) + β w2 ( x** ) ;

como g ( y , x ) + β w2 ( x ) es el máximo de v y ( x ) para todo x ∈ f ( y ) , en particular

** **

para x ∈ f ( y ) tenemos
*

g ( y, x* ) + β w1 ( x* ) ≤ g ( y, x** ) + β w2 ( x** ) .

-83-
 Reemplazando esta última relación en (II.6.4.3) conseguimos

T ( w1 )( y ) − T ( w2 )( y ) ≤ ( g ( y, x* ) + β w1 ( x* ) ) − ( g ( y, x* ) + β w2 ( x* ) )

= β w1 ( x* ) − w2 ( x* ) ≤ sup w1 ( x) − w2 ( x)
x

= β d ( w1 , w2 ) .
i Si por el contrario, se verificase
g ( y, x* ) + β w1 ( x* ) < g ( y, x** ) + β w2 ( x** ) ;

como g ( y , x ) + β w1 ( x ) es el máximo de u y ( x) para todo x ∈ f ( y ) , en particular

* *

para x ∈ f ( y ) , tenemos
**

g ( y, x** ) + β w2 ( x** ) ≤ g ( y, x* ) + β w1 ( x* ) .
Luego de reemplazar esta desigualdad en (II.6.4.3), tenemos

T ( w1 )( y ) − T ( w2 )( y ) ≤ ( g ( y, x** ) + β w2 ( x** ) ) − ( g ( y, x** ) + β w1 ( x* ) )

= β w2 ( x** ) − w1 ( x** ) ≤ sup w2 ( x) − w1 ( x)

x

= β d ( w2 , w1 ) = β d ( w1 , w2 )
De ambos casos al final siempre tenemos

T ( w1 )( y ) − T ( w2 )( y ) ≤ β d ( w1 , w2 ) ; w1 , w2 ∈ X .
Luego, el primer miembro es acotado, entonces tiene supremo, y

sup T ( w1 )( y ) − T ( w2 )( y ) ≤ β d ( w1 , w2 )
y

d (Tw1 , Tw2 ) ≤ β d ( w1 , w2 ) ; w1 , w2 ∈ X .

Pero como tenemos por hipótesis que 0 ≤ β < 1, T es una contracción en C

*
( n
, )= X .
Y por el teorema del punto fijo de Banach (T.P.F.B.), existe una única solución a la ecuación

de Bellman. ■

-84-
II.7. APLICACIÓN A LA DINÁMICA COMPLEJA
II.7.1. FUNCIONES HOLOMORFAS DE VARIAS VARIABLES COMPLEJAS

= × × × , y si un z = ( z1 , z2 ,..., zn ) ∈
n n
Recordemos que entonces
n −veces
cada z j con j ∈ es una coordenada compleja de z . Como z j = x j + iy j ∈ donde

x j = Re( z j ) , y j = Im( z j ) ∈ , luego tenemos que:

Si z ∈ entonces ( x1 , y1, x2 , y2 ,..., xn , yn ) ∈

n 2n n 2n
i.e. identificamos a con .

Para z = ( z1 , z2 ,..., zn ) , w = ( w1 , w2 ,..., wn ) ∈

n
y α ∈ , definimos

⎧ z + w = ( z1 + w1 , z2 + w2 ,..., zn + wn )
⎨
⎩α z = (α z1 ,α z2 ,...,α zn )
con estas operaciones
n
es un − espacio vectorial.
n
Dotaremos a de una topología, para esto definimos:
+ n
de centro a = ( a1 , a2 ,..., an ) ∈ y poliradio r ∈ ( )
n n
i). Un polidisco abierto en

con r = (r1 , r2 ,..., rn ) ∈ ( ) + n

denotado por Δ ( a, r ) , como el conjunto

Δ ( a, r ) = { z = ( z1 , z2 ,..., zn ) ∈ n
: z1 − a1 < r1 , z2 − a2 < r2 ,…, zn − an < rn } .
+ n
de centro a = ( a1 , a2 ,..., an ) ∈ y poliradio r ∈ ( )
n n
ii). Un polidisco cerrado en

con r = ( r1 , r2 ,..., rn ) ∈ ( ) + n
denotado por Δ [ a, r ] , como el conjunto

Δ [ a, r ] = { z = ( z1 , z2 ,..., zn ) ∈ n
: z1 − a1 ≤ r1 , z2 − a2 ≤ r2 ,…, zn − an ≤ rn } .

II.7.1.2. OBSERVACIONES

II.7.1.2.1.- Si z = ( z1 , z2 ,..., zn ) ∈
n
la norma de z denotada por z está definida por

2 2 2
z = z1 + z2 + + zn

es la norma euclidiana.
II.7.1.2.2.- Si denotamos:

{
i Drj ( a j ) = z j ∈ : z j − a j < rj , j ∈ }⊂ .

i Drj ⎡⎣ a ⎤⎦ = { z ∈
j j : z j − a j ≤ rj , j ∈ }⊂ .

-85-
 Obtenemos respectivamente:

i Δ ( a, r ) = Dr1 ( a1 ) × Dr2 ( a2 ) × × Drn ( an ) .

i Δ [ a, r ] = Dr1 [ a1 ] × Dr2 [ a2 ] × × Drn [ an ] .

Por ejemplo, gráficamente mostremos al polidisco abierto Δ ( a, r ) ⊂

2
:

n
II.7.1.2.3.- dotado de la topología cuya base es generada por los polidiscos abiertos es un
2n
espacio topológico equivalente a dotado de la topología cuya base es
generada por las bolas abiertas i.e. tenemos:
n
≈ 2n

↑
topológicamente
De esta manera todos los resultados conocidos de la topología de los espacios
2n n
euclidianos pueden ser aplicados a .
II.7.2. NOTACIÓN DE MULTI-ÍNDICES DE SCHWARTZ
i Un multi-índice de dimensión n , es una n -upla de números naturales

Q = ( q1 , q2 ,…, qn ) ∈ ( )
+ n
0 .

i Su norma se define como

Q = q1 + q2 + … + qn .

-86-
i El factorial de Q se denota por Q ! y se define

Q ! = q1 !q2 !… qn !

i Sea U ⊆ n
abierto y f : U ⊆
n
→ , definimos

∂Q f ∂ f
Q
= .
∂z Q ∂z1q1 ∂z2q2 ...∂znqn
II.7.3. DEFINICIÓN

Sea U ⊆ abierto y f : U →
n
. Decimos que f es holomorfa (ó analítica) en

a = (a1 , a2 ,..., an ) ∈U si existe Δ ( a, r ) ⊆ U polidisco abierto tal que

∞
f ( z ) = ∑ cQ ( z − a )Q ; z ∈ Δ ( a, r ) ⊆ U .
Q =0

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 U ⊆

n
lo denotaremos por

O (U ) .
II.7.3.1. EJEMPLO

Las funcionales lineales f :

n
→ definidas por

f ( z1 , z2 ,..., zn ) = a1 z1 + a2 z2 + + an zn
n
son funciones holomorfas en .
n
En general, toda función polinomial es holomorfa en .
II.7.4. OBSERVACIÓN
De la teoría elemental de serie de potencias (en una variable en ) tenemos el
siguiente resultado:
∞
“Sea ∑ c ( z − a)
n =0
n
n
una serie de potencias convergente en el disco DR ( a ) ⊆ .

Si 0 < r < R entonces la serie converge absolutamente y uniformemente en el disco cerrado

Dr [ a ] ”.
Este resultado se generaliza a serie de potencias de varias variables:

-87-
 ∞
“Sea ∑ c ( z − a)
Q =0
n
Q
una serie de potencias convergente en el polidisco abierto Δ ( a, R ) con

poliradio R = ( R1 , R2 , , Rn ) ∈ ( 0)
+ n
, si 0 < rj < R j , para todo 1 ≤ j ≤ n entonces la serie

converge absoluta y uniformemente en el polidisco cerrado Δ [ a, r ] , r = (r1 , r2 ,..., rn ) ”.

Por lo tanto, tenemos:

“Si U ⊆ es un abierto y f : U →
n
es holomorfa en U entonces f es continua.”

“i.e. O (U ) ⊆ C (U ) ”.

II.7.5. DEFINICIÓN

Sea U ⊆
n
un abierto. Un campo vectorial holomorfo en U es una función

Z :U → n
z Z ( z ) = ( Z1 ( z ), Z 2 ( z ),..., Z n ( z ) )
tal que

1).- Z j : U → son funciones holomorfas para todo 1 ≤ j ≤ n .

2).- Si z ∈U entonces Z ( z ) ∈
n
es un vector cuyo punto de aplicación es z .

II.7.5.1. NOTACIÓN
Denotemos por Χ (U ) al conjunto de todos los campos vectoriales holomorfos.

i.e. Χ (U ) = { Z : U → ; Z es campo vectorial holomorfo en U }.

n

II.7.5.2. EJEMPLOS

II.7.5.2.1.- Sea Z :
2
→ 2
definido por

Z ( z1 , z2 ) = (az1 + bz2 , cz1 + dz2 ) ,

para cada ( z1 , z2 ) ∈ donde a , b , c , d ∈

2
.

Sigue que Z ∈ Χ (
2 2
) , el cual se denomina campo lineal en .

II.7.5.2.2.- Sea A = ⎡⎣ aij ⎤⎦ ∈

n×n
, y definimos Z :
n
→ n

z Z ( z ) = Az

⎛ n n n
⎞
i.e. Z ( z ) = ⎜ ∑
⎝ k =1
a1k k ∑ 2 k k
z ,
k =1
a z ,..., ∑
k =1
ank zk ⎟ .
⎠
Sigue que Z ∈ Χ ( ) , el cual se denomina campo lineal de
n n
.

-88-
 Note que el ejemplo II.7.5.2.1. es un caso particular del ejemplo II.7.5.2.2., para

⎡a b ⎤ 2×2
la matriz A = ⎢ ⎥∈ .
⎣c d ⎦

II.7.5.2.3.- Sea A = ⎡⎣ aij ⎤⎦ ∈ , b = [bi ] ∈

n×n n×1
≈ n
definimos Z :
n
→ n
por

Z ( z ) = Az + b , z ∈ n
.

⎛ n n n
⎞
i.e. Z ( z ) = ⎜ ∑ a1k zk + b1 , ∑ a2 k zk + b2 ,..., ∑ ank zk + bn ⎟ .
⎝ k =1 k =1 k =1 ⎠
Sigue que Z ∈ Χ ( ) el cual se denomina campo afín en
n n
.

II.7.6. DEFINICIÓN

Sea U ⊆ un abierto y Z ∈ Χ (U ) . Decimos que z ∈U es un punto singular de

n

Z si Z ( z ) = 0 ∈ n
(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. Sing ( Z ) = { z ∈U : Z ( z ) = 0} ⊆ U .

II.7.6.1. OBSERVACIONES

II.7.6.1.1.- Dado Z = ( Z1 , Z 2 ,..., Z n ) ∈ Χ(U ) . Decir que

z = ( z1 , z2 ,..., zn ) ∈ Sing ( Z )
significa

⎧ Z1 ( z1 , z2 ,..., zn ) = 0
⎪ Z ( z , z ,..., z ) = 0
⎪ 2 1 2 n
⎨
⎪
⎪⎩ Z n ( z1 , z2 ,..., zn ) = 0

II.7.6.1.2.- Si Z ∈ Χ( n
) es un campo lineal (ver ejemplo II.7.5.2.2.) entonces

θ = (0,0,...,0) ∈ n
es un punto singular de Z .

II.7.6.1.3.- Si Z ∈ Χ ( ) es un campo afín (ver ejemplo II.7.5.2.3) con b ≠ 0 entonces

n

θ = (0,0,...,0) ∈ n
es un punto regular de Z .

-89-
II.7.6.2. EJEMPLOS

II.7.6.2.1.- Sea Z :
2
→ 2
definido por

Z ( z1 , z2 ) = (a, z2 )

para todo ( z1 , z2 ) ∈
2
con a ∈ − {0} . Es claro que Z ∈ Χ( 2
) y que Z no
tiene puntos singulares.

II.7.6.2.2.- Sea Z :
2
→ 2
definido por

Z ( z1 , z2 ) = ( z1 − z23 , z1 z2 ) , ( z1 , z2 ) ∈ 2
.

Entonces Z ∈ Χ ( ) y (0,0) es el único punto singular de Z .

2

En efecto; sea ( w1 , w2 ) ∈ Sing ( Z ) entonces tenemos

Z ( w1 , w2 ) = 0 ,
de donde obtenemos
( w1 − w23 , w1w2 ) = (0,0) ,
esta igualdad se cumple si y sólo si

⎧ w1 − w23 = 0
⎨
⎩ w1w2 = 0
donde de la segunda igualdad obtenemos

w1 = 0 ó w2 = 0
lo que implica
w23 = 0 ó w1 = 0
respectivamente, de donde

( w1 , w2 ) = (0,0) .
Por lo tanto

Sing ( Z ) = {(0,0)} .
II.7.7. DEFINICIÓN

Sea U ⊆ abierto y Z ∈ Χ (U ) .
n

i).- La ecuación diferencial ordinaria asociada a Z es dada por

z′ = Z ( z ) (II.7.7.A)

-90-
ii).- Una solución de la E.D.O. (II.7.7.A) es una función holomorfa ϕ : D → U definida en
un disco abierto D ⊆ tal que para todo T ∈ D

ϕ ′(T ) = Z (ϕ (T ) ) .
II.7.7.1. OBSERVACIONES

dz
II.7.7.1.1.- z′ = ,T∈ .
dT
II.7.7.1.2.- Sea Z = ( Z1 , Z 2 ,..., Z n ) ∈ Χ (U ) donde cada Z j : U → con j = 1,2,..., n y

z = ( z1 , z2 ,..., zn ) ∈ entonces (II.7.7.A) es equivalente a

⎧ z1′ = Z1 ( z1 , z2 ,..., zn )
⎪ z′ = Z ( z , z ,..., z )
⎪ 2 2 1 2 n
⎨ (II.7.7.1.2.A)
⎪
⎪⎩ zn′ = Z n ( z1 , z2 ,..., zn )

II.7.7.1.3.- Si ϕ:D→ n
definido en un disco abierto D ⊆ con T ∈ tal que

ϕ (T ) = (ϕ1 (T ),ϕ2 (T ),...,ϕn (T ) )

es solución de (II.7.7.A) ó (II.7.7.1.2.A) entonces

⎧ϕ1′(T ) = Z1 (ϕ1 (T ),ϕ 2 (T ),...,ϕ n (T ))

⎪ϕ ′ (T ) = Z (ϕ (T ),ϕ (T ),...,ϕ (T ))
⎪ 2 2 1 2
; T ∈D ⊆
n
⎨ .
⎪
⎩⎪ϕn′ (T ) = Z n (ϕ1 (T ),ϕ 2 (T ),...,ϕ n (T ))
Gráficamente 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 afín entonces la E.D.O. asociada a Z se llama E.D.O. afín.

II.7.8. DEFINICIÓN

Sea U ⊆ abierto y Z ∈ Χ (U ) , para todo z0 ∈U y cualquier T0 ∈

n
.

i).- El problema de valor inicial (P.V.I.) asociado a Z es dado por

⎧ z′ = Z ( z )
⎨ (II.7.8.1)
⎩ z (T0 ) = z0
(II.7.8.1) es llamado Problema de Cauchy para Campos Vectoriales Holomorfos.

ii).- La solución del P.V.I. (II.7.8.1) es una función holomorfa ϕ : D → U donde D ⊆ ,

es un abierto, tal que para todo T0 ∈ D

⎧ϕ ′ = Z (ϕ (T )), T ∈ D
⎨
⎩ϕ (T0 ) = z0
II.7.9. PROPOSICIÓN

Sea U ⊆ abierto, Z ∈ Χ (U ) , para todo z0 ∈U y cualquier T0 ∈

n
.

Entonces resolver el P.V.I. (II.7.8.1) es equivalente a resolver la ecuación integral

T
z (T ) = z0 + ∫ Z ( z (τ ))dτ (II.7.9.1)
T0

Demostración:

Sea ϕ solución de (II.7.9.1) entonces existe D ⊆ abierto, T0 ∈ tal que

ϕ : D →U
T ϕ (T )

-92-
es holomorfa, y

⎧ϕ ′ = Z (ϕ (T )), T ∈ D
⎨
⎩ϕ (T0 ) = z0
Sea T ∈ D y consideremos el camino recto que une T0 y T :
T T
∫T0
ϕ ′(τ )dτ = ∫ Z (ϕ (τ ))dτ
T0
entonces

ϕ (T ) − ϕ (T0 ) = ∫ Z (ϕ (τ ) )dτ
T

T0
de donde obtenemos
ϕ (T ) = z0 + ∫ Z (ϕ (τ ) )dτ .
T

T0

Aquí tomamos T = t0 , obteniendo

ϕ (t0 ) = z0
Por lo tanto ϕ es solución de (II.7.9.1). El recíproco es evidente. ■
II.7.10. DEFINICIÓN

Sea U ⊆ abierto, y Z : U →
n n
un campo vectorial holomorfo.

II.7.10.1.- Decimos que Z es Lipschitz en U si y sólo si existe c > 0 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 sólo si para cualquier z0 ∈U

existe el polidisco abierto de centro z0 y poliradio r ∈ ( )n +

tal que

Z|Δ( z0 ,r ) : Δ ( z0 , r ) → n

es Lipschitz en Δ ( z0 , r ) .

II.7.10.1. OBSERVACIONES
II.7.10.1.1.- Todo campo Lipschitz es localmente Lipschitz.

II.7.10.1.2.- Si Z : U → es lipschitziana en U ⊆
n n
, entonces el conjunto

⎧⎪ Z ( z ) − Z ( w) ⎫⎪
⎨ : z , w ∈ U , z ≠ w ⎬⊆
⎪⎩ z−w ⎪⎭
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 Z : U →
n
es localmente lipschitziana entonces la constante de Lipschitz de

Z|Δ( z0 ,r ) depende del polidisco abierto Δ( z0 , r ) .

II.7.11. PROPOSICIÓN

Sea U ⊆ abierto, Z : U →
n n
un campo vectorial holomorfo. Entonces Z es

localmente lipschitziana.
Demostración:
Sea z0 ∈U entonces existe R = ( R1 , R2 ,..., Rn ) ∈ ( ) + n
tal que Δ [ z0 , R ] ⊂ U .

Como Z es holomorfa en U , entonces Z ′ es continua en U y Δ [ z0 , R ] es un compacto,

entonces Z ′ es acotada en Δ [ z0 , R ] i.e. existe M > 0 tal que

Z ′(ω ) ≤ M , ω ∈ Δ [ z0 , R ] .

Sean z , w ∈ Δ [ z0 , R ] entonces el segmento de recta [ z , w] ⊂ Δ [ z0 , R ] .

Luego definimos
ψ : [ 0,1] → n
t ψ (t ) = Z ( (1 − t ) z + tw )
claramente ψ es holomorfa. Además

ψ ′(t ) = Z ′ ( (1 − t ) z + tw ) ( w − z ) , t ∈ [ 0,1] .
Entonces
1
Z ( w) − Z ( z ) = ψ (1) − ψ (0) = ∫ ψ ′( s )ds
0

1
Z ( w) − Z ( z ) ≤ ∫ ψ ′( s ) ds
0

1
= ∫ Z ′ ( (1 − s ) z + sw ) ( w − z ) ds
0

1
≤ ∫ Z ′ ( (1 − s ) z + sw ) ( w − z ) ds
0

1
≤ ∫ M ( w − z ) ds = M ( w − z )
0

Z ( w) − Z ( z ) ≤ M w − z ; z , w ∈ Δ ( z0 , R ) .

Por lo tanto Z es localmente lipschitziana. ■

-94-
II.7.12. OBSERVACIONES

II.7.12.1.- Sea K ⊆
n
compacto y denotemos

C ( Dα [T0 ] , K ) = { φ : Dα [T0 ] → K ; φ continua}.

Para ϕ ,ψ ∈ C ( Dα [T0 ] , K ) definimos

d (ϕ ,ψ ) = max
T ∈Dα [T0 ]
{ ϕ (T ) −ψ (T ) } .
( C ( D [T ], K ) , d ) resulta ser un espacio métrico completo.
α 0

II.7.12.2.- Sea K ⊆
n
compacto y denotemos

A ( Dα [T0 ] , K ) = { φ : Dα [T0 ] → K ; φ continua y holomorfa}.

Es claro que

A ( Dα [T0 ] , K ) ⊆ C ( Dα [T0 ] , K ) .

( ( ) )
Consideremos el espacio métrico A Dα [T0 ] , K , d donde d es la métrica

( ) ( (
de C Dα [T0 ] , K . Probaremos que A Dα [T0 ] , K , d es completo. ) )
(
Para esto, es suficiente probar que A Dα [T0 ] , K es cerrado. )
Recordemos dos resultados de variable compleja:

a) Sea U ⊆ abierto, φk : U → n
una sucesión de funciones y φ :U → n

una función. Decimos que φk converge a φ uniformemente en las partes

compactas de U lo que denotamos por φk → φ u.p.c. de U si y sólo si
φk |K → φ |K uniformemente en K , para todo K ⊆ U compacto (ver [24]).

b) Sea U ⊆ abierto, si φk : U → n
es una sucesión de funciones holomorfas

en U y φ :U → n
es tal que φk → φ u.p.c. de U entonces φ es holomorfa
en U .
Teniendo presente estos dos resultados continuemos con la demostración.

Sea φ ∈ A ( Dα [T0 ] , K ) entonces existe (φk ) ⊆ A ( Dα [T0 ] , K ) tal que

lim d (φk ,φ ) = 0 .
k →∞

-95-
 Entonces tenemos φ ∈ C ( Dα [T0 ] , K ) .

Afirmación: φ es holomorfa en Dα (T0 ) .

En efecto, sea K ′ ⊆ Dα (T0 ) compacto. Como

lim d (φk ,φ ) = 0 ,
k →∞

tenemos que φk |K′ → φ |K′ uniformemente en K ′ entonces por a). φk → φ u.p.c de

Dα (T0 ) , luego por b). φ ∈ A ( Dα [T0 ] , K ) .

( ( ) )
Por lo tanto, concluimos que A Dα [T0 ] , K , d es un espacio métrico completo.

II.7.13. TEOREMA (PICARD)

Sea Z : Δ [ z0 , r ] → un campo vectorial Lipschitz en Δ [ z0 , r ] y holomorfo en

n

Δ ( z0 , r ) entonces para todo T0 ∈ existe una única solución del P.V.I. (I.7.8.1)

⎧ z′ = Z ( z )
⎨
⎩ z (T0 ) = z0

⎧ r1 r2 r ⎫
definida en el disco Dα [T0 ] , donde α = min ⎨ , ,..., n ⎬ , r = ( r1 , r2 ,..., rn ) ∈ ( )
+ n

⎩N N N⎭
{
y N = max Z ( z ) : z ∈ Δ [ z0 , r ] . }
Demostración:
Sabemos por la proposición (II.7.9) que el P.V.I. (II.7.8.1) es equivalente a
T
z (T ) = z0 + ∫ Z ( z (τ ))dτ .
T0

Consideremos el espacio métrico completo X = A Dα [T0 ] , K , d . ( ( ) )

Dado φ ∈ X definimos Fφ : Dα [T0 ] → n
por

T
Fφ (T ) = z0 + ∫ Z (φ (τ ))dτ ,
T0

claramente Fφ es continua en Dα [T0 ] y holomorfa en Dα (T0 ) .

Para z = ( z1 , z2 ,..., zn ) ∈ π j ( z ) a la proyección j − ésima definida por

n
denotemos por

π j ( z ) = z j para todo 1 ≤ j ≤ n .

-96-
Ahora hacemos
T
π j ( Fφ (T )) − z 0j = ∫T0
Z j (φ (τ ))dτ

T T
≤ ∫ Z j (φ (τ )) dτ ≤ max Z j (φ (τ )) ∫ dτ
T0 T0

≤ N T − T0 ≤ Nα ≤ rj
entonces Fφ ∈ X , luego hemos construido
F:X →X
φ F (φ ) = Fφ
+
Vamos a probar que F es continua y que existe m ∈
m
tal que F es una contracción

en X .
Afirmación:
Lip ( Z ) T − T0
n n

F n (φ1 ) (T ) − F n (φ2 ) (T ) ≤ d (φ1 ,φ2 ) ; (II.7.13.1)

n!
para cada n ≥ 0 , para cualesquiera φ1 ,φ2 ∈ X y para todo T ∈ Dα [T0 ] .

En efecto:
i Para n = 0 ¡es evidente!
i Supongamos que la desigualdad se verifica para n = k . Probaremos que se cumple para
n = k + 1. Para cualesquiera φ1 ,φ2 ∈ X y cada T ∈ Dα [T0 ] tenemos

( ) (
π j ( F k +1 (φ1 )(T ) ) − π j ( F k +1 (φ2 )(T ) ) = π j F ( F k (φ1 ) ) (T ) − π j F ( F k (φ2 ) ) (T ) )
≤ ∫ Z j ( F k (φ1 )(τ ) ) − Z j ( F k (φ2 )(τ ) ) dτ
T

T0

T
≤ ∫ Lip ( Z ) F k (φ1 )(τ ) − F k (φ2 )(τ ) dτ
T0

Lip ( Z ) k
d (φ1 ,φ2 ) τ − T0 dτ
T
≤ Lip ( Z ) ∫
k
T0 k!
Lip ( Z ) k +1
d (φ1 ,φ2 ) ∫ τ − T0 dτ
T
=
k

k! T0

Lip ( Z ) k +1
= d (φ1 ,φ2 ) .
(k + 1)!
Lo cual prueba la afirmación.

-97-
Hacemos n = 1 en (II.7.13.1) y tenemos

F (φ1 ) (T ) − F (φ2 ) (T ) ≤ Lip ( Z )α d (φ1 ,φ2 )

entonces
d ( F (φ1 ), F (φ2 ) ) ≤ ( Lip Z α ) d (φ1 ,φ2 )

por lo tanto F es continua. Análogamente tenemos

Lip ( Z ) α
n n

F n (φ1 ) (T ) − F n (φ2 ) (T ) ≤ d (φ1 ,φ2 ) .

n!
+
Para cada m ∈ , sea
( Lip( Z )α )
m

um = ,
m!
utilizando el criterio de la razón para sucesiones de números reales tenemos que

um+1
lim = 0 <1
m→∞ um

i.e. {um }m≥1 converge, luego sigue por definición de límite de sucesiones de números reales:

Dado 0 < ε < 1 , existe n0 ∈ tal que para todo n > n0 tenemos um < ε < 1 .

Entonces basta tomar m = n0 , para afirmar que F

m
es una contracción en X , luego por el

corolario I.4.2. F tendrá un único punto fijo, el cual es la solución del P.V.I. (II.7.8.1). ■
II.7.15. COROLARIO

Sea U ⊆ abierto, Z ∈ Χ (U ) , para todo z0 ∈U , para todo T0 ∈

n
, existe una

única solución del P.V.I.(II.7.9.1) la cual está definida en una vecindad de T0 .

Demostración:
Como Z ∈ Χ (U ) entonces por proposición (II.7.12.) Z es localmente Lipschitz, luego

existe Δ [ z 0 ,r ] ⊆ U tal que Z es Lipschitz en Δ [ z 0 ,r ] .

Como Z es holomorfo en Δ ( z 0 ,r ) ⊆ U entonces por el teorema de Picard para campos

holomorfos (teorema II.7.14.) se tiene que existe una única solución del P.V.I. (II.7.9.1). ■

Para más referencias sobre la teoría de dinámica compleja puede verse [3] y [15].

-98-
 REFERENCIAS BIBLIOGRÁFICAS

[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 Matemática, Vol. X, Nº 19-20, 1996.

[4] BOYCE W. – DIPRIMA R.; “Ecuaciones Diferenciales y Problemas con Valores en la

Frontera”, Instituto Politécnico Rensselear, Troy New York, 1978.

[5] BURDEN R. – FAIRES J.; “Análisis Numérico”, Iberoamericana, México D.F, 1985.

[6] CAMACHO C. – SAD, P.; “Puntos Singulares de Equaçoes Diferenciais Analiticas”,

16 Coloquio Brasileiro de Matemática, 1987.

[7] CERDA E.; “Optimización Dinámica”, Prentice Hall, España, 2001.

[8] CONTE S. - BOOR C.; “Análisis Numérico Elemental”, McGraw - Hill S.A., México,
1985.

[9] CHAIM H.; “Aplicaçoes da Topologia à Análise”, Instituto de Matemática Pura e

Aplicada (IMPA), Sao Paulo, 1976.

[10] CHAIM H.; “ Functional Analysis and integro – differential with linear constraints”,
Sociedad Brasilera de Matemática, Reuniao de Análise funcional, Campinas, 1974.

[11] CHAIM H.; “Análise Funcional e Aplicaçoes (Volume II)”, Publicaçoes ou ediçoes do
Instituto de Matemática e Estadística da Universidade de Sao Paulo, Sao Paulo, 1970.

[12] CHIANG A.; “Elements of Dynamic Optimization”, McGraw-Hill, 1992.

[13] CHUMPITAZ M.; “Análisis Funcional I”, Facultad de Ciencias, Universidad Nacional
de Ingeniería.

[14] CHURCHILL R. – WARD J.; “Variable Compleja y Aplicaciones”, Mc Graw-Hill,

España, 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.; “Análisis Real”, Editorial Trillas México, 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.; “Análisis Numérico: Las matemáticas del cálculo
científico”, 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 Análise-Vol. 2”, Instituto de Matemática Pura e Aplicada (IMPA),
Rio de Janeiro, 1976.

[23] LIMA E.; “Espaços Métricos”, Instituto de Matemática Pura e Aplicada (IMPA), Rio de
Janeiro, 1976.

[24] LINS A.; “Funçoes de uma Variável Complexa”, Proyecto Euclides, IMPA, Rio de
Janeiro, 1977.

[25] MEDEIROS L. – DE ANDRADE G.; “Iniciaçao às Equaçoes Diferenciais Parciais”,

Livros Técnicos e Científicos Editora; Rio de Janeiro, 1978.

[26] NOLASCO A.; “Análise I”, ICMC, USP SAO CARLOS, Sao Carlos, 2004.

[27] NOWOSAD P.; “Introduçao à Análise 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.; “Liçoes de Equaçoes Diferenciais Ordinárias”, Proyecto Euclides,

IMPA, Rio de Janeiro, 1979.

[31] SHASHKIN YU.; “Lecciones populares de matemáticas: Puntos Fijos”, editorial MIR,
Moscú, 1991.

[32] VILENKIN N.; “Lecciones populares de matemáticas: Método de aproximaciones

sucesivas”, Editorial MIR, Moscú, 1991.

-100.