SOFT-JAR-2009 N0009 2009

ECUACIONES DIFERENCIALES FRACCIONARIAS Y EL TEOREMA DEL PUNTO FIJO DE BANACH

TORRES LEDESMA CESAR Resumen. En este articulo se aplica el teorema del punto jo de Banach, para la demostracin del teorema de existencia y unicidad de la solucin del o o problema de valor inicial con derivadas de Caputo. Palabras Claves: Teorema del Punto jo de Banach, Derivada Fraccionaria de Caputo, Ecuaciones Diferenciales Fraccionarias. Key Words: Banach Fixed Point Theorem, Caputo Fractional Derivative, Fractional Dierential Equations.

1.

Introduccion

Aunque las herramientas de clculo fraccionario han estado disponibles y han a sido aplicadas a los diferentes campos de estudio, la investigacin de la teor sobre o a las ecuaciones diferenciales fraccionarias recientemente se a empezado a desarrollar ([2], [4], [7], [8]). Las ecuaciones diferencial que involucran al operador diferencial de Caputo de orden fraccionario 0 < < 1, son importantes en el modelado de muchos fenmenos f o sicos ([1], [2], [3], [4], [5]) y por consiguiente parece merecer un estudio independiente de su teor paralela a la muy conocida teor de las a, a ecuaciones diferencial ordinarias. En este paper se hace un estudio sistemtico de las ecuaciones dierenciales a fraccionarias con derivadas de Caputo de orden 0 < < 1, haciendo uso del conocido teorema del punto jo de Banach. 2. Preliminares

Considerese el problema de valor inicial (PVI) para ecuaciones diferenciales fraccionarias dada por (2.1)
D y(x) = f (x, y(x)), y(0) = y0 . donde f C([0, h] [y0 k, y0 + k]), D y es la derivada fraccionaria de Caputo de y y 0 < < 1. Puesto que f es continua, el PVI (2.1) es equivalente a la siguiente

Date: Agosto 26 del 2008. E-mail address: ctl 576@yahoo.es.

68

ECUACIONES DIFERENCIALES FRACCIONARIAS Y EL TEOREMA DEL PUNTO ...

69

ecuacin integral de Volterra [2] o (2.2) y(x) = y0 + 1 ()

x 0

(x t)1 f (t, y(t))dt, 0 t h

esto es, toda solucin de (2.2) es tambien solucin de (2.1) y viceversa. o o El resultado obtenido es basado en el teorema del punto jo de Banach. Teorema 2.1. ([6] Teorema del Punto Fijo de Banach) Si X es un espacio de Banach y T : X X es un operador contraccin, entonces T tiene un unico punto o jo. 3. Resultado

En este apartado se demuestra la existencia y unicidad de la solucin del PVI o (2.1) haciendo uso del teorema del punto jo de Banach. K. Diethelm and N. Ford [2] tienen demostrado la existencia y unicidad del PVI (2.1) haciendo uso del Mtodo e de Picard y el teorema del punto jo de Schauder. Teorema 3.1. Sean 0 < < 1, I = [0, h] y J = [y0 k, y0 + k]. Sea f continua en I J y acotada, es decir, existe M > 0 tal que |f (x, y)| M, (x, y) I J Adems supongase que f satisface la condicin de Lipschitz con respecto a la sea o gunda variable, es decir (3.1) |f (x, y) f (x, z)| L|y z|, x I.
k(+1) M 1/

Si Lk < M , entonces existen un unico y C[0, h ], donde h = m h, n que satisface (2.1).

Demostracin. Sea U := {y C[0, h ] : o y y0 k}, puesto que U C(R) y adems U es cerrado, entonces U es un espacio de Banach. Ahora en U denase el a operador T como sigue (3.2) T y(x) = y0 + 1 ()
x 0

(x t)1 f (t, y(t))dt.

Ahora se probar que este operador satisface las condiciones del teorema 2.1. a En efecto 1. T (U ) U |T y y0 | =
x 1 (x t)1 f (t, y(t))dt () 0 x 1 (x t)1 |f (t, y(t))|dt () 0 M M x (h ) k ( + 1) ( + 1)

luego tomando el mximo en el lado izquierdo de la expresin anterior se a o tiene T y y0 k. Por lo tanto T y U siempre que y U .

70

TORRES LEDESMA CESAR

2. Ahora se probar que T es un operador contraccin a o x 1 |T y T z| = (x t)1 {f (t, y(t)) f (t, z(t))}dt () 0 x 1 (x t)1 |f (t, y(t)) f (t, z(t))|dt () 0 x L (x t)1 |y(t) z(t)|dt () 0 L L(h ) Lk y z x yz yz ( + 1) ( + 1) M ahora tomando el mximo en el lado izquierdo se tiene a Lk Ty Tz yz , M pero por hipotesis Lk < 1. Por lo tanto T es un operador contraccin, y o M por el teorema del punto jo de Banach existe un unico punto jo, el cual es solucin del PVI. o

Referencias
[1] I. Podlubny, Fractional Dierential Equations, Academic Press, San Diego, 1999. [2] K. Diethelm and N. Ford, Analysis of Fractional Dierential Equations, J. Math. Anal. Appl. 265, 229-248(2002). [3] L. Vzquez y D. Usero, Ecuaciones No Locales y Modelos Fraccionarios, Rev. R. Acad. a Cienc. Exact. F Nat. 99 N2, 203-223(2005). s. [4] M. Caputo, Linear models of dissipation whose Q is almost independent, II, Geophy. J. Roy. Astronom. 13, 529-539(1967). [5] M. Seredynska and A. Hanyga, Nonlinear Hamiltonian Equations with Fractional Damping, J. Math. Phys. 41 N4, 2135-2156(2000). [6] R. Agarwal, M. Meehan and D. Oregan, Fixed Point Theory and Applications, Cambridge University Press, 2004. [7] R. Metzler, W. Schick, H. Kilian and T. Nonnenmacher, Relaxation in lled polymers: A fractional calculus approach, J. Chem. Phys. 103, 7180-7186(1995). [8] W. Glckle and T. Nonnenmacher, A fractional calculus approach to self similar protein o dynamics, Biophys. J. 68, 46-53(1995).