El teorema del punto jo de Banach - Aplicaci on a ecuaciones diferenciales ordinarias

Guido Claro
Resumen En este art culo se presenta la demostraci on de un teorema de existencia y unicidad de soluciones para ecuaciones diferenciales ordinarias de primer orden como una aplicaci on del Teorema de punto jo de Banach.

Teorema de Existencia y Unicidad:

Sea la regi on del plano

f son y cont nuas en Existe un intervalo I con centro en x0 y una u nica funci on y (x) que satisfacen y (x) = f (x, y ) el problema y (x0 ) = y0 = {(x, y ) R2 a x b ; c y d} y sea el punto (x0 , y0 ) . Si f (x, y ) y Para demostrar el teorema enunciaremos primero algunas deniciones y teoremas auxiliares.

Denici on: Sea (X, d) un espacio m etrico completo y f : X X una funci on . f se dice
que es una contracci on o aplicaci on contractiva si [0, 1) tal que d(f (x), f (y )) d(x, y ) para todo x, y X .

Teorema del punto jo de Banach: Si f : X X es una contracci on entonces existe un u nico punto jo de f . Esto es, existe un u nico punto x0 X tal que f ( x0 ) = x0
Demostraci on: Sea x1 X . Denimos xn+1 = f (xn ) Veamos que la sucesi on {xn }nN es de Cauchy: Sea n m = n + p. Por otro lado: d(x2 , x3 ) = d(f (x1 ), f (x2 )) < d(x1 , x2 ) d(x3 , x4 ) = d(f (x2 ), f (x3 )) < d(x2 , x3 ) < 2 d(x1 , x2 ) d(x4 , x5 ) = d(f (x3 ), f (x4 )) < d(x3 , x4 ) < 3 d(x1 , x2 ) Siguiendo el procedimiento inductivamente, obtenemos que d(xn , xn+1 ) n1 d(x1 , x2 ). Por desigualdad triangular tenemos que d(xn , xm ) = d(xn , xn+p ) d(xn , xn+1 ) + d(xn+1 , xn+2 ) + + d(xn+p1 , xn+p ) por lo que d(xn , xm ) n1 d(x1 , x2 ) + n d(x1 , x2 ) + + n+p2 d(x1 , x2 ) =n1 d(x1 , x2 ) (1 + + + p1 ) n1 1 p d(x1 , x2 ) < d(x1 , x2 ) < para n mayor a cierto N ya que [0, 1). = n1 1 1 Por lo tanto, {xn }nN es de Cauchy y como X es completo, {xn }nN tiene l mite. Sea x0 = l m xn
n

Veamos que f es continua: Sea > 0, d(f (x), f (y )) < d(x, y ) < = = . 1

 d(f (x), f (y )) < . Entonces f es continua. Entonces f (x0 ) = f ( l m xn ) = l m f (xn ) = l m xn+1 = l m xn = x0 f (x0 ) = x0 . n n n n Entonces x0 es punto jo. Supongamos que existe y0 X tal que f (y0 ) = y0 . Entonces d(x0 , y0 ) = d(f (x0 ), f (y0 )) d(x0 , y0 ) (1 )d(x0 , y0 ) 0 d(x0 , y0 ) = 0 ya que 1 > 0. Entonces x0 = y0 y el teorema queda demostrado. f Propiedad: Si f (x, y) y (x, y) son continuas en entonces existe L, 0 < L < tal y que |f (x, y1 ) f (x, y2 )| L|y1 y2 | para todo (x, y1 ), (x, y2 ) Entonces, si d(x, y ) < = f es funci on y solo de y y adem as es continua por el teorema de valor medio de Lagrange, se tiene que f (x, y2 ) f (x, y1 ) f f (x, y2 ) f (x, y1 ) f y , y1 y y2 = | | = | (x, y )| y2 y1 y y2 y1 y f Entonces |f (x, y2 ) f (x, y1 )| = | |.|y2 y1 | y f f Adem as, por ser cont nua en , L > 0 < L |f (x, y2 ) f (x, y1 )| < L|y2 y1 | y y Demostraci on: Sean (x, y1 ) , (x, y2 ) , y1 y2 para x jo se tiene que Nota: Una funci on que cumple la propiedad anterior se dice que es de Lipchitz. y (x) = f (x, y ) es equivalente a la y (x0 ) = y0

Teorema:

Sea f (x, y ) cont nua el problema

x

ecuaci on y (x) = y0 +
x0

f (, y ( ))d

Esto quiere decir que si y (x) es soluci on de una tambi en lo es de la otra. y (x) = f (x, y ) integrando la ecuaci on entre y (x0 ) = y0 x x x xo y x obtengo x0 y ( )d = x0 f (, y ( ))d y (x) y (x0 ) = x0 f (, y ( ))d y (x) = x x y (x0 ) + x0 f (, y ( ))d y (x) = y0 + x0 f (, y ( ))d Demostraci on: Si y (x) es soluci on de Por otro lado, si y (x) satisface la ecuaci on y (x) = y0 + x0 f (, y ( ))d , deriv ando a ambos d x ( f (, y ( ))d ) = f (x, y (x)).x f (x, y (x0 )).x0 = lados de la igualdad obtengo y (x) = dx x0 x0 f (x, y ) y adem as y (x0 ) = y0 + x0 f (, y ( ))d = y0 Por lo tanto las dos formas del problema son equivalentes.
x

Consideremos ahora el espacio de funciones continuas en el intervalo [a, b], denotado por C [a, b]. Este espacio, con las operaciones habituales de suma de funciones y de producto de un escalar por una funci on, resulta ser un espacio vectorial. Sobre este espacio vamos a considerar la norma a llamada norma , denida como f = max {|f (x)| : x [a, b]}, la cual ser uniforme. Tenemos entonces que si x [a, b] entonces |f (x)| f . Recordemos que si X es un espacio vectorial, x 0 x = || x x+y x + y 2 : X R0 es una norma si satisface:

 x =0x=0 Se dice entonces que el par (X, espacio y la norma en cuesti on.

) es un espacio normado, haciendo referencia a dicho

Teorema:

El espacio normado (C [a, b],

es completo.

Demostraci on: Sea {fn } una sucesi on de Cauchy en (C [a, b], ). Entonces, dado > 0, existe un N tal que para todo n, m > N se verica fn fm = max {|fn (x) fm (x)| : x [a, b]} < Entonces, jado x [a, b] tenemos que |fn (x) fm (x)| < lo que implica que la sucesi on num erica {fn (x)}nN es de Cauchy, por lo tanto tiene l mite. Llamemos f (x) = l m fn (x). De
n

esta manera, podemos asociarle a cada x [a, b] un u nico numero f (x) deniendo as punto a punto una funci on f sobre el intervalo [a, b]. Probemos que dicha f es continua y que l m fn = f :
n

Dado > 0 existe N N tal que si n, m N y x [a, b] entonces |fn (x) fm (x)| fn fm < por lo tanto haciendo m tender hacia innito obtenemos fn f < por lo que |fn (x) f (x)| si n > N . Esto signica que la sucesi on de funciones continuas {fn } converge uniformemente hacia f . Como la convergencia es uniforme, la funci on f es continua, entonces f C [a, b] lo que implica que C [a, b] es completo. Estamos ahora en condiciones de dar la demostraci on del teorema de existencia y unicidad de soluciones del problema y (x) = f (x, y ) y (x0 ) = y0 Para esto consideraremos el problema en su forma integral
x

y (x) = y0 +
x0

f (, y ( ))d
x

y denamos as un operador : C [a, b] C [a, b] (y )(x) = y (x) = y0 +

x0

f (, y ( ))d .

Entonces para hallar una soluci on y (x) de nuestro problema basta encontrar y (x) tal que (y ) = y .
x

((y1 ) (y2 ))(x) = (y1 )(x) (Y2 )(x) =

x x0

f (, y1 ( )) f (, y2 ( ))d
x

Entonces |((y1 ) (y2 ))(x) |

x0

|f (, y1 ( )) f (, y2 ( ))|d
x0

L|y1 ( ) y2 ( )|d

L|x x0 | m ax{|y1 ( ) y2 ( )|} LK m ax |y1 ( ) y2 ( )| Siendo K = m ax{|x x0 |, x [a, b]}.

Entonces m ax{|(y1 ) (y2 )} LK m ax{|y1 ( ) y2 ( )}. Recordando la norma y = m ax{|y (x)|, x [a, b]} tenemos (y1 ) (y2 ) LK y1 y2 1 tenemos (y1 ) (y2 ) LK y1 y2 = Sea [0, 1) entonces haciendo K < L y1 y2 con = KL [0, 1) y resulta ser una aplicaci on contractiva con la distancia inducida por la norma .

Entonces, por el Teorema del Punto Fijo de Banach, tiene un u nico punto jo y (x) dentro 1 , lo que resulta ser una soluci on del problema en del intervalo centrado en x0 , |x x0 | < L cuesti on.

Referencias
[1] E. Kreyszig, Introductory Functional Analysis With Aplications. John Wiley and Sons. [2] Rodrigo Vargas, Teorema del punto jo [En l nea]. Direcci on http://vargasmat.les.wordpress.com/2011/05/teorena-del-punto-jo.pdf . URL:

[3] S/A, Teorema de la semana: el de punto jo de Banach. [En l nea]. Direcci on URL: http://seriesdivergentes.wordpress.com/2012/02/05/teorema-de-la-semana-elde-punto-jo-de-banach/. [4] Gabriel Vera, Lecciones de an alisis matem atico II.