tica Mexicana XLIV Congreso Nacional de la Sociedad Matema

n del Teorema de Punto Una Aplicacio Fijo de Banach a EDO

Casa abierta al tiempo
Cuajimalpa

Kuautlicozcatl Gustavo P erez Guerrero, Sergio Hern andez Linares kuautli51@hotmail.com Universidad Aut onoma Metropolitana - Cuajimalpa

Resumen

Demostraci on

Si g es dicho punto jo, entonces usando la u ltima ecuaci on del Lema 2.2 se obtiene la soluci on del problema (0.1), de donde se obtiene el teorema de existencia y unicidad para la Ecuaci on Diferencial (0.1). M as a un, las funciones y K estan dadas por: (t s)2 an3(t) + ... K (t, s) = an1(t) + (t s)an2(t) + 2! (t s)n1 (t s)n2 a1(t) + a0(t) + (n 2)! (n 1)!

En este trabajo se presentar a una demostraci on del Teorema de Existencia y Unicidad, para la ecuaci on diferencial ordinaria y (n)(t) = b(t) + an1(t)y (n1)(t) + ... + a1(t)y (t) + a0(t)y (t) (0.1) con condiciones iniciales y (t0) = y0, y (t0) = y1, ..., y (n1)(t0) = yn1 (0.2)

La demostraci on consistir a en ir proponiendo Lemas que demostraremos en seguida y los cuales posteriormente nos llevaran al resultado deseado Lema 2.1 Sean h C ([a, b]) y t, t0 [a, b] jos. Entonces se tiene
t t0 t

v a el Teorema de Punto Fijo de Banach, donde las funciones (b, a0, a1, ..., an1) son funciones continuas en [a, b], t0 (a, b) y (y0, y1, ..., yn1) constantes dadas. Se demostrar a adem as que las soluciones son continuas con respecto a las condiciones iniciales (t0, y0, y1, ..., yn1).

g (s)ds d =
t0 t0

(t s)g (s)ds

(1.1)

Dem. Basta intercambiar los l mites de integraci on para obtener el resultado.

(t t0)2 (t t0)n1 (t) = a0(t) y0 + y1(t t0) + y2 + ... + yn1 2! (n 1)! (t t0)n2 (t t0)2 + ... + yn1 +a1(t) y1 + y2(t t0) + y3 2! (n 2)! . . . +an2(t)(yn2 + yn1(t t0)) + an1(t)yn1 + b(t)

Introducci on

Lema 2.2 Si a t0 b, (y0, y1, ..., yn1) R, g C ([a, b]) e y C n([a, b]) satisface y (t0) = y0; y (t0) = y1, ..., y (n1)(t0) = yn1. Si y (n) = g entonces, mediante integraci on se obtiene, (con apoyo del Lema 2.1): y (n1)(t) = yn1 +
t

g (s)ds
t0 t

Para poder hacer la demostraci on de nuestro resultado introduciremos el Teorema de Punto Fijo de Banach y algunas consecuencias inmediatas de este resultado. Teorema 1 (de Punto Fijo de Banach) Si (X, d) es un espacio m etrico completo y T : X X es un operador que satisface d(T (x), T (y )) kd(x, y ), x, y X

y (n2)(t) = yn2 + yn1(t t0) + . . .

(t s)g (s)ds
t0

Por u ltimo, dado que K no depende del par ametro q = (t0, y1, ..., yn1) entonces la constante de contractividad del operador:
t

Tq (u)(t) := (t) +
2 t (t s)n2 ( t t ) 0 y (t) = y1 + y2(t t0) + y3 + ... + g (s)ds 2! t0 (n 2)!

K (t, s)u(s)ds
t0

(2.1)

para alguna constante k (0, 1). Entonces T tiene un u nico punto jo. Lema 1.1 Si (X, d) es un espacio m etrico completo y R : X X es un operador tal que el operador T := [R ... R], (n veces) satisface las hip otesis del Teorema de Punto Fijo de Banach para alguna n N, entonces R tiene un u nico punto jo. Teorema 2 Si (X, d) es un espacio m etrico completo, M un espacio m etrico y para cada m M Tm : X X es un operador que satisface d(Tm(x), Tm(y )) kd(x, y ), x, y X
t (t s)n1 (t t0)n1 + g (s)ds y (t) = y0 + y1(t t0) + ... + yn1 (n 1)! t0 (n 1)!

no depende del par ametro q = (t0, y0, y1, ..., yn1), y adem as el operador Tq es continuo con respecto a q, por lo tanto, por el Teorema 2 se tiene que las soluciones de (0.1) var an continuamente con respecto al par ametro q = (t0, y0, y1, ..., yn1). Reescribiendo esta observaci on se obtiene el resultado deseado.

Nota Observese que este lema lo que nos dice es que si una funci on y es de clase C n, entonces la funci on as como todas sus derivadas hasta orden n 1 se pueden expresar en t erminos de la derivada de orden n. Este lema permite reescribir la ecuaci on diferencial (0.1) en el problema equivalente: y (n)(t) = (t) +
t t0

Conclusiones

K (t, s)y (n)(s)ds

(1.2)

para alguna constante k (0, 1), independiente de m. Adem as satisface que para cada m0 ja y para cada x X se tiene:
mm0

l m

Tm(x) = Tm0 (x)

Entonces, para cada m M , Tm tiene un u nico punto jo xm, y adem as se cumple:

mm0

para funciones continuas C ([a, b]) y K C ([a, b] [a, b], R) independientes de y. Sustituyendo las derivadas de este lema en la ecuaci on diferencial (0.1) y recordando que y (n) = g . Como se puede ver, este u ltimo problema es un problema de punto jo (el punto jo es g = y (n)). Una manera m as clara de ver este resultado es apoyandonos en un ejemplo, en el cual se mostrar a que la ecuaci on (1.2) tiene soluci on pues satisface las hip otesis del Lema 1.1. Ejemplo Sean K : [a, b] [a, b] R y : [a, b] R funciones continuas y t0 (a, b) dados. Entonces el operador T : C ([a, b]) C ([a, b]) denido por:
t

Hemos presentado una manera alternativa en la demostraci on de este Teorema, apoyada en herramientas de An alisis, argumentos que no se utilizan de manera usual y que consideramos son una forma m as sencilla de presentar el Resultado. Cabe resaltar que dichas herramientas nos permiten ampliar el resultado al campo de los complejos. Es decir, si y0, y1, ..., yn1 C, el resultado ser a equivalente. M as a un este teorema sigue siendo v alido si a0, a1, ..., an1 C ([a, b], C) Por u ltimo, mencionar que el Teorema de Punto Fijo de Banach se aplico en el espacio M etrico C ([a, b]) (o C([a,b], C) en el caso complejo) con la m etrica de la convergencia uniforme; el cual es un espacio m etrico completo con esta m etrica.

l m

xm = xm0

Es decir, la funci on introducida por los puntos jos, x : M X dada por x(m) := xm es continua.

T (u)(t) := (t) + Teorema (Existencia y Unicidad de la Soluci on a la EDO de n- esimo grado)

t0

K (t, s)u(s)ds

Bibliograf a

es un operador que satisface el Lema 1.1; donde X = C ([a, b]) es el espacio m etrico de las funciones continuas con la m etrica de la convergencia uniforme. M as precisamente, se tiene:
n ( K | b a | ) uv T n(u) T n(v ) n!

La Ecuaci on Diferencial (0.1) con condiciones iniciales (0.2) tiene una u nica soluci on. M as a un, la soluci on es continua con respecto a las condiciones iniciales. P.D La existencia y Unicidad de la soluci on, as como la dependencia continua de la misma respecto a las condiciones iniciales.

u, v C ([a, b])

1 I.J. MADDOX (1988): Elements of Functional Analysis, Press Syndicate of the University of Cambridge. 2 L. ELSGOLTZ (1996): Ecuaciones Diferenciales y C alculo Variacional, MIR.

de donde se puede ver que la constante de contractividad para T n s olo depende de K, a, b y n; y no de . Nota Este ejemplo nos resulta u til pues el punto jo del operador dado T (u)(t) es soluci on a la ecuaci on (1.2)