Teorema de Picard-Lindelf Existencia y Unicidad

De Wikipedia, la enciclopedia libre

de

El teorema de Picard-Lindelf (muchas veces llamado simplemente teorema de Picard, otras teorema de Cauchy-Lipschitz o teorema de existencia y unicidad) es un resultado matemtico de gran importancia dentro del estudio de las ecuaciones diferenciales ordinarias (EDOs). Establece bajo qu condiciones puede asegurarse la existencia y unicidad de solucin de una EDO dado un problema de Cauchy (problema de valor inicial).

Teorema
El teorema debe su nombre al matemtico francs Charles mile Picard y al toplogo fins Ernst Leonard Lindelf.

Enunciado general
"Sea , donde es abierto, una funcin continua y localmente Lipschitz respecto de x (interprtese f(t,x) como la forma estndar de una EDO n-dimensional de primer orden). Entonces, dado intervalo cerrado siguiente problema de Cauchy: , podemos encontrar un donde existe solucin nica del

que cumple que los pares

"

De hecho, este puede ser encontrado de manera explcita, en la demostracin se dan detalles de ello.

Un enunciado ms restrictivo
El resultado anterior exige los requisitos mnimos que debe cumplir una funcin si queremos aplicar el teorema. Aadiendo ms condiciones al enunciado original, podemos dar este otro ms sencillo: "Sea una funcin Lipschitz. Entonces,

dados inicial

" existe una nica solucin x(t) del problema de valor

definida

".

Observacin
Es importante observar que el teorema de Picard slo nos garantiza la existencia y unicidad local de la solucin de una EDO. Es decir, ms all del intervalo proporcionado por el teorema (dado que su demostracin es constructiva) no podemos decir nada, en principio, del comportamiento de la solucin del problema de valor inicial. Es posible complementar el teorema sealando que existe un intervalo abierto, que llamaremos intervalo maximal en el cual puede garantizarse que la solucin existe y es nica; fuera de este intervalo, el teorema de Picard no puede aplicarse.

Demostracin
Sea el cilindro compacto donde f est definida, esto es

y . Sea , es decir, el valor de mxima pendiente en mdulo. Y finalmente sea L la constante de Lipschtitz de f respecto la segunda variable. Definimos el siguiente operador entre funciones continuas, el operador de Picard, como sigue: definido como: . Vamos a imponer que est bien definido, es decir, que su imagen sea una funcin que tome valores en Bb(x0), es decir, que la norma de (t) x0 sea menor que b.

El ltimo paso es imposicin, por lo que deber ser que < b / M. Veamos ahora que el operador de Picard es contractivo bajo ciertas hiptesis sobre que ms adelante podrn ser omitidas.

Dadas dos funciones

queremos:

. Pero como f es Lipschtitz respecto la segunda variable tenemos que:

. Esto es contractivo si < 1 / L o equivalentemente para tener igualdad si .

Por lo tanto como el operador de Picard es un operador entre espacios de Banach (en particular espacios mtricos inducidos por la norma) y contractivo, por el teorema del punto fijo de Banach, existe una nica funcin tal que = es decir, solucin del problema de valor inicial definida en I donde debe satisfacer las condiciones dadas, es decir, = min{a,b / M,1 / (2L)}.

Optimizacin del intervalo de la solucin

Ahora bien, hay un corolario del teorema del punto fijo de Banach que nos dice que si un operador Tn es contractivo para alguna potencia entonces T tiene un nico punto fijo. Intentaremos aplicar este resultado al operador de Picard. Pero antes veamos un pequeo lema que nos ser muy til para aplicar el anterior corolario.

Lema: Lo demostraremos por induccin: Para m = 1 ya lo hemos visto, suponemos cierto para m 1 y probemos para m:

. Por lo tanto ahora s, teniendo esta desigualdad podemos asegurar que para m suficientemente grande, la cantidad y por lo tanto m ser contractivo y por el corolario anterior tendr un nico punto fijo. Por lo que, finalmente, hemos podido optimizar el intervalo a tomar = min{a,b / M}.

Esto lo que nos dice es que el intervalo de definicin de la solucin no depende de la constante de Lipschitz del campo, sino esencialmente en el intervalo de definicin del campo y la mxima pendiente del mismo.