Está en la página 1de 5

La condicin de Lipschitz del Teorema de Picard: Ejemplos o Temas II y IV, Unidad Didctica 3, Tomo I del Texto Base a Estas

notas se dividen en una Parte I de carcter bsico y una Parte II optativa. a a PARTE I (bsica) a La condicin de Lipschitz del Teorema de Picard se dene en (1), pg. 339, para o a ecuaciones (escalares) de primer orden, y en (1), pg. 367, para sistemas de ecuaciones de a primer orden. Si hubiera ecuaciones de orden mayor que uno, transformar amos previamente el sistema o la ecuacin en su sistema equivalente de ecuaciones de primer orden (ver ejemplo ms o a abajo). Para los sistemas (de ecuaciones de primer orden) usamos la notacin vectorial abreviada o y = (y1 , , yn ) y0 = (y10 , , yn0 ) f = (f1 , , fn ) .

Observar que la constante k de (1) no depende de x, y1 , y2 (respectivamente de x, y, z), o pero puede depender del punto (x0 , y0 ). En este sentido se dice que es una condicin de Lipschitz local. Debido a que la variable x toma el mismo valor en los trminos del e primer miembro y no aparece en el segundo miembro de (1), se dice adems que es una a condicin de Lipschitz respecto a y. o En lo que sigue suponemos que D es un dominio de Rn+1 , es decir, un conjunto abierto y conexo de Rn+1 . Teorema 1. (Ecuaciones de primer orden). Para que una funcin f (x, y) continua en o D satisfaga la condicin de Lipschitz (1), pg. 339, en D es suciente que o a f exista y sea continua en D . y (2)

Teorema 2. (Sistemas de ecuaciones de primer orden). Para que una funcin f (x, y) o continua en D satisfaga la condicin de Lipschitz (1), pg. 367, en D es suciente que o a fi , yj i, j = 1, , n existan y sean continuas en D . (3)

Estas condiciones sucientes no son necesarias. Ejemplos bsicos son los siguientes. a Ejemplo 1. Funcin valor absoluto. Sea g(x) una funcin continua en R. Entonces o o la funcin o f (x, y) = g(x) |y| (4)
1

satisface la condicin de Lipschitz (1) en R2 , pero no satisface (2) en los puntos de la forma o (x0 , 0). La condicin (1) se deduce de la siguiente versin de la desigualdad triangular: o o |y1 | |y2 | |y1 y2 | Ejemplo 2. Potencias entre 0 y 1. Sea g(x) una funcin continua en R tal que o g(x) = 0 para todo x R. Entonces la funcin o f (x, y) = g(x) |y|a , 0 < a < 1 , (5)

es continua en R2 , pero no satisface la condicin de Lipschitz (1) en los puntos de la forma o pico de (5): f (x, y) = |y| . (x0 , 0). Ejemplo protot Como ejemplos de aplicacin inmediata del Teorema 1, tenemos que las siguientes funo ciones satisfacen la condicin de Lipschitz (1) en los dominios indicados. o Ejemplo 3. f (x, y) = x5 y 8 en D = R2 Ejemplo 4. f (x, y) = Ejemplo 5. f (x, y) = Ejemplo 6. f (x, y) = Ejemplo 7. f (x, y) = x cos y (x 1)(x 7)(x 9) en Di = Ji R , i = 1, 2, 3, 4 , |1 x2 y 2 | en D1 = {x2 + y 2 < 1} y en D2 = {x2 + y 2 > 1} 1 1 x2 y 2 en D1 = {x2 + y 2 < 1} y en D2 = {x2 + y 2 > 1} xy + y 3 1 + x4 + y 4 en D = R2

donde J1 = (, 1), J2 = (1, 7), J3 = (7, 9), J4 = (9, ). Observar que son continuas en todo el plano las funciones de los Ejemplos 3, 4 y 6, pero no las de los Ejemplos 5 y 7. La funcin del Ejemplo 6 no satisface la condicin de o o 2 a camente, no la satisface en ning n dominio que u Lipschitz (1) en D3 = R ; ms espec o contenga un arco de la circunferencia x2 + y 2 = 1 (variacin del Ejemplo 2).

Ecuaciones de orden n Creemos que ser ms claro presentar un ejemplo de una sola ecuacin de cuarto orden a a o en forma normal: y (4) = g(x, y, y , y , y ) , (6) donde la funcin g toma valores reales (escalares) y est denida en un dominio D R5 . o a El 5 se reere a las cinco variables x, y, y , y , y . As pues: g : D R5 R . Recordemos que la ecuacin (6) es equivalente a un sistema de cuatro ecuaciones de primer o orden construido como sigue. Introducimos las nuevas variables o funciones-incgnita: o y0 = y , y1 = y , y2 = y , y3 = y ,

y el sistema equivalente a (6) es: y0 = y1 y = y2 1

y2 = y3 y3 = g(x, y0 , y1 , y2 , y3 )

(7)

Decimos que la ecuacin satisface la condicin de Lipschitz del Teorema de Picard si su o o sistema equivalente la satisface. Dado que las tres primeras funciones de (7) satisfacen la condicin de Lipschitz de manera obvia, se tiene la siguiente propiedad inmediata: o Para que la ecuacin (6) satisfaga la condicin de Lipschitz del Teorema de Picard es o o necesario y suciente que la funcin g satisfaga la condicin de Lipschitz respecto a las o o variables y, y , y , y . Por tanto, del Teorema 2 se deduce el siguiente: Teorema 3. (Ecuacin de cuarto orden). Sea g continua en D. Para que la ecuacin o o (6) satisfaga la condicin de Lipschitz del Teorema de Picard en D es suciente que existan o y sean continuas en D las siguientes derivadas parciales: g , y Por ejemplo, la ecuacin o y (4) = x2 + y 3 + y y satisface dicha condicin de Lipschitz en todo R5 porque la funcin del segundo miembro o o 5 de la ecuacin es C (R ) . Notar que en este ejemplo o g =0, y ya que g no depende de y . g , y g , y g . y (8)

PARTE II (optativa) Demostracin del Teorema 1 o Sea (x0 , y0 ) D y B D una bola cerrada con centro en (x0 , y0 ). Nos conviene escoger una bola (o un entorno convexo) porque el segmento de recta que une dos puntos cualesquiera de B est contenido en B y ello simplica la demostracin. Sea a o M = max
(x,y)B

f (x, y) y

que existe por el Teorema del mximo absoluto de una funcin continua en un compacto. a o Aplicando a la variable y, para cada x dado con (x, y1 ), (x, y2 ) B, el Teorema del valor medio del Clculo diferencial, se deduce que a f (x, y1 ) f (x, y2 ) = f (x, ) (y1 y2 ) , y

donde (x, ) est en el segmento de recta que une (x, y1 ) con (x, y2 ). Por tanto, a |f (x, y1 ) f (x, y2 )| M|y1 y2 | , lo que naliza la demostracin. o Demostracin del Teorema 2 o Sea (x0 , y0 ) D y B D una bola cerrada (de Rn+1) con centro en (x0 , y0 ). Sea M = max
(x,y)B , i,j=1, ,n

fi (x, y) yj

Aplicando a la variable vectorial y, para cada x dado con (x, y), (x, z) B, el Teorema del valor medio para funciones (con valores escalares) de n variables, se obtiene que, para cada i = 1, , n , n fi (x, i ) (yj zj ) fi (x, y) fi (x, z) = yj
j=1

donde (x, i ) (punto de Rn+1 ) est en el segmento de recta que une (x, y) con (x, z). a Finalmente, usando la cota M se llega a la relacin (1), pg. 367: o a
n

|fi (x, y) fi (x, z)| M


j=1

|yj zj |

Comentario. En los cursos de Anlisis Matemtico intermedio o avanzado, se suele a a subrayar que el punto i no puede escogerse, en general, independiente de i, es decir, no puede escogerse el mismo para todas las componentes de f .
4

Unicidad de la prolongacin o En las hiptesis del Teorema de Picard, tanto para una ecuacin como para sistemas, o o si la condicin de Lipschitz (1) se verica en todos los puntos de D, se tiene el importante o resultado de que toda solucin se prolonga de manera unica mientras su grca permanezca o a en D. Se recuerda que para la ecuacin de cuarto orden (6) los puntos de D no son de la forma o (x, y), sino de la forma (x, y, y , y , y ). La demostracin se encuentra en el Tomo II, pg. 17 y siguientes. o a Notar que la armacin anterior no dice cunto se prolonga una solucin, slo que lo o a o o hace de forma unica. Es decir, una cosa es la unicidad y otra la existencia. El estudio terico del intervalo de existencia mximo y de la prolongacin de la existencia es bastante o a o complejo y se ver algo en el segundo cuatrimestre. Pero podemos ilustrar la situacin a o con un ejemplo integrable expl citamente: La solucin de la ecuacin y = 2xy 2 tal que o o o o y(0) = 1 es y = 1/(1 x2 ) . Por tanto, esta solucin es unica, su prolongacin desde un entorno de x = 0 es unica, pero existe slo en el intervalo (1, 1) y no en toda la recta R. o En x = 1 y en x = 1 tiene as ntotas verticales. Comentario. Intentemos aclarar otra cuestin que produce muchos errores y mucha o desorientacin. No hay que confundir solucin de una ecuacin diferencial con frmula. o o o o Las soluciones, por denicin, son funciones derivables y, por tanto, continuas. Por ello la o frmula y = 1/(1 x2 ) , que tiene discontinuidades en x = 1 y en x = 1, no representa o una solucin de la ecuacin diferencial en R ni en R {1} {1}. Lo que ocurre es que o o dicha frmula da una solucin de la ecuacin diferencial en el intervalo (, 1), otra o o o solucin en (1, 1) y otra en (1, ). o Otras condiciones de Lipschitz En el Tomo II, pg. 27, del Texto Base se introduce otra condicin de Lipschitz, tambin a o e respecto a y (es decir, a x jo), pero no local. En la Teor de las Ecuaciones Diferenciales Ordinarias son habituales las condiciones a de Lipschitz respecto a y. Un concepto algo diferente de condicin de Lipschitz, muy usado en Anlisis Matemo a a tico, es el siguiente. Sea h(x) una funcin denida en un dominio D Rn con valores en Rm . Se dice que h o satisface la condicin de Lipschitz en D si existe una constante L tal que o h(x) h(y) L x y para todos x, y D , (L)

donde las barras dobles designan la norma eucl dea de Rm o de Rn . Un cambio de normas slo produce un cambio del valor de la constante en la relacin anterior. o o Este concepto es global y en l todas las variables desempe an el mismo papel. e n La relacin (L) implica que h es continua, y tambin uniformemente continua, en D. La o e demostracin de la continuidad uniforme se deja a la reexin o consulta de los lectores o o interesados. Notar que no se trata de aplicar el Teorema de la Continuidad Uniforme en Compactos, ya que D es abierto y puede ser no acotado.
5

También podría gustarte