Está en la página 1de 2

2.3.1 Iteracin y convergencia de ecuaciones. Condicin de Lipschitz.

En matemtica, una funcin f : M N entre espacios mtricos M y N es

llamada Lipschitz continua (o se dice que satisface unacondicin de Lipschitz) si existe una constante K > 0 tal que d(f(x), f(y)) K d(x, y) para todo x y y en M. En tal caso, K es llamada laconstante Lipschitz de la funcin. El nombre viene del matemtico alemn Rudolf Lipschitz.

Caractersticas y resultados principales

Toda funcin tanto continua.

Lipschitz

continua

es uniformemente

continua y

por

Las funciones Lipschitz continuas con constante Lipschitz K = 1 son llamadas funciones cortas y con K < 1 reciben el nombre decontracciones. 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 demedida 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.

Definiciones relacionadas Estas definiciones se requieren en el Teorema de Picard-Lindelf y en resultados relacionados con l.

Localidad Lipschitz: Dados M, N, espacios mtricos, se dice que una funcin es localmente lipschitz si para todo punto de M existe un entorno donde la funcin cumple la condicin Lipschitz.

Funcin Lipschitz respecto una variable: Dados M, N, L espacios mtricos, se dice que una funcin eslocalmente Lipschitz respecto x ssi

cumple la condicin Lipschitz para puntos de N.

También podría gustarte