Funcin Lipschitz continua

Toda funcin Lipschitz continua es uniformemente continua y por tanto continua. Las funciones Lipschitz continuas con constante Lipschitz K = 1 son llamadas funciones cortas y con K < 1 reciben el nombre de contracciones. Estas ltimas son las que permiten aplicar el teorema del punto fijo de Banach. La condicin de Lipschitz es una hiptesis importante para demostrar la existencia y unicidad de soluciones para las ecuaciones diferenciales ordinarias. La condicin de continuidad de la funcin por s sola nos asegura la existencia de soluciones (Teorema de Peano), pero para poder confirmar tambin la unicidad de la solucin necesitamos tambin la condicin de Lipschitz (Teorema de Picard-Lindelf). Si U es un subconjunto del espacio mtrico M y f : U R es una funcin Lipschitz continua a valores reales, entonces siempre existe una funcin Lipschitz continua M R que extiende f y tiene la misma constante Lipschitz que f.(ver tambin teorema de Kirszbraun). Una funcin Lipschitz continua f : I R, donde I es un intervalo en R, es casi por todo diferenciable (siempre, excepto en un conjunto de medida de Lebesgue cero). Si K es la constante Lipschitz de f, entonces |(f')(x)| K toda vez que la derivada exista. Contrariamente, si f : I R es una funcin diferenciable con derivada acotada, |(f')(x)| L para toda x en I, entonces f es Lipschitz continua con constante Lipschitz K L, una consecuencia del teorema del valor medio. Definicin 4.3. Una funcin f : U Rn ! Rm se dice que verifica la condicin de Lipschitz o que es lipschitziana si existe una constante K > 0 tal que kf(x) f(y)k Kkx yk 8x; y 2 U: Proposicin 4.4. Toda funcin lipschitziana en U es uniformemente continua en U. es lipschitziana. . Sea con .

1) Probar que toda transformacin lineal T: Sea Entonces, la base cannica de para

. Tenemos:

(constante) Es decir, para todo con obtenemos obtenemos o equivalentemente . Llamando para todo

, desigualdad que se cumple tambin trivialmente para y aplicando la linealidad de , i.e. es lipschiciana.

La demostracin se podra haber acortado usando el teorema para todo , pero he optado por el modo anterior, por si acaso, no hubieras visto el concepto de norma de una aplicacin lineal. 2) Probar que toda funcin lipschitziana es uniformemente continua Puesto que y eligiendo uniformemente continua. (podemos elegir , tenemos: . Es decir, es ) para todo dado

3) Probar que f: [0, lipschitziana. Si

tal que f(x) = tal que

es uniformemente continua pero no para todo para todo o

fuera lipschiciana, existira un . En particular, eligiendo

, tendramos

equivalentemente Para ver que

. Pero

lo cual es absurdo.

es uniformemente continua, usa el hecho de que si una funcin y tambin en entonces es .

es uniformemente continua en uniformemente continua en