ENSAYO EIMAT

El siguiente escrito est basado en una intervencin realizada

por ponente JAIDER BLANCO docente de la Universidad del
Atlntico, y perteneciente al semillero de investigacin
Innovacin Matemtica la cual tuvo lugar en el encuentro
EIMAT realizado en la Universidad del Atlntico, la cual fue un
espacio para compartir trabajos, investigaciones y
experiencias en el campo de las matemticas.
La ponencia titulada Teoremas de Puntos Fijos Aplicados A
Las Ecuaciones Diferenciales Ordinarias No lineales, primero
comenz explicando lo particular para llegar a lo general.
La teora de punto fijo ha impresionado a muchos
investigadores desde 1922 con la celebracin del punto fijo de
Banach. Los teoremas de puntos fijos son de mucha ayuda a
la hora de garantizar existencia y unicidad de la solucin de
varios modelos matemticos (ecuacin diferencial e integral,
desigualdades variacionales etc...) aplicado a la teora de la
aproximacin y optimizacin. La importancia que han
adquirido algunos teoremas de punto fijo en diversas reas de
Matemtica, como son: Topologa, Anlisis, Clculo Numrico,
Ecuaciones Diferenciales, etc., es debido a que diversas
demostraciones y clculos pueden plantearse de tal manera
que se reducen a determinar la existencia de un punto fijo.
Durante la intervencin el ponente Blanco abordo diferentes
definiciones que nos orientaran a entender mejor el tema, el
primero fue espacio mtrico.
Def#1:Un espacio mtrico es un conjunto no vaco, X con una
mtrica o una funcin distancia, d: X X [0, +) tal que
satisface las siguientes Condiciones para todo x, y, z X:
(i) d(x, y) = 0 x = y;
(ii) d(x, y) = d (y, x);
(iii) d(x, z) d(x, y) + d (y, z) (Desigualdad Triangular)
Denotamos a los espacios mtricos con el par (X, d), donde X
es el Conjunto no vaco y d es una mtrico en M.
Def#2: Sea {xn} una sucesin en (X, d). Se dice que xn
converge al punto x X Si dado > 0 existe un n0 N tal que
ENSAYO EIMAT
n > n0 = d (xn, x) <. En este caso lo denotamos por lim
n d (xn, x) = 0 o lim n xn = x.
As mismo abordo el tema de admisibilidad, donde nos dice
que, Sea T: X X y : X X [0, +). Decimos que T es
- admisible, si para todo x, y X, (x ,y) 1 implica (Tx,
Ty) 1. Definicin recientemente modificada por Salami,
quedando de la siguiente forma, Sea T: X X y , : X X
[0, +). Decimos que T es - admisible con respecto a ,
si para todo x, y X, (x, y) (x, y) implica (Tx,Ty)
(Tx,Ty). Si suponemos que (x, y) = 1, para todo x, y X.
Probando as Salami, la existencia de teoremas de puntos fijos
para funciones -contractiva generalizadas donde 1,
Tambin aseguran la existencia los teoremas de puntos fijos
para funciones -contractiva generalizadas donde es
una funcin continua no decreciente y (0) = 0.
Se enuncia tambin el teorema de punto fijo de Banach Sea
(X, d) un espacio mtrico completo y T: X X una funcin tal
que d (Tx, Ty) kd (x, y) para todo x, y X, con k (0, 1].
Entonces T tiene un nico punto fijo.
Con estas bases Blanco realiza la siguiente demostracin:
Definamos la funcin : R 2 R por (a, b) = b a, a, b
R, Demostrando de manera anloga, como en Teorema 4,
obtenemos que la ecuacin tiene al menos una solucin y
como para cada x, y C([0, 1]), existe una funcin z =
Max{x, y} tal que (x, z) (x, z) y (y, z) (y, z). Esto
Implica que la solucin de ecuacin es nica.
Esto asumiendo las siguientes condiciones:
(i) f: [0, 1] R [0, +) es continua y creciente
estrictamente
(ii) Para todo t [0, 1], para todo a, b R con a b tenemos
|f (t, a) f (t, b)| 8 Max a, bR, a
(iii) Existe x0 C([0, 1]) tal que, para todo t [0, 1], tenemos
x0(t) desde 0 a 1 G(t,s)f (s, x0(s))ds.
ENSAYO EIMAT

La finalidad de la investigacin es que al realizar ejercicios de

ecuaciones diferenciales, se toma la ecuacin diferencial se
pasa a una ecuacin integral a partir de una funcin de Green
asociada a la ecuacin diferencial y se construyen operadores
que tengan puntos fijos sobre la ecuacin integral, si se
garantiza eso de una vez se est garantizando la existencia
de soluciones de las ecuaciones diferenciales que nos
presenta.