Teorema De Existencia Y Unicidad

Teorema de Existencia y Unicidad El teorema de existencia y unicidad es una extensin del problema con valor inicial. Este teorema afirma que existe una solucin para los pre-requisitos iniciales provistos de la ecuacin diferencial y la solucin obtenida, es de hecho, una solucin nica. Imagina una funcin valorada real f(p, q), cuyo valor es constante para un rectngulo definido por la ecuacin,

Ahora supongamos que el diferencial parcial de la funcin real dada con respecto a la variable q tambin tiene un valor continuo de este rectngulo. Entonces puede concluirse que para la funcin dada tenemos algn intervalo I donde la funcin dada tiene una solucin cuyo valor es nico dentro de ese intervalo. Aqu el pre-requisito inicial definido para la funcin es, q = f(p, q) y, q(p0) = q0 Y la ecuacindefiniendo el intervalo de la funcines,

Aqu el valor de h debera ser menor o igual que a. Para demostrar el teorema establecido arriba, pretendemos elegir el mtodo de demostracin por contradiccin. Esto significa que vamos a suponer que las afirmaciones anteriores son verdaderas. Tambin significa que existe una solucin para la funcin dada; asume que la solucin es una funcin q(p). Estosignificaquetenemos, q(p) = q0 + f(t, q(t) dt Esto es porque si q(p) es una ecuacin funcional para la ecuacin diferencial dada, entonces podemos concluir que esta es una solucin a esa ecuacin diferencial. Por lo tanto, tambin podemos escribir,

q = f(p, q) y, q(p0) = q0 Las aproximaciones sucesivas, tambin famosas por el nombre de su inventor, este es, el mtodo de iteracin dePicard, esta es una tcnica utilizada para determinar esta ecuacin de la funcin para una ecuacin diferencial. Los pasosparadeterminarlason los siguientes: 1. Sea q(p0) = q0 el pre-requisito inicial para la ecuacin diferencial dada. Supongamos que esta es cierta para cada valor de p. 2. Ahora usa la frmula intermitente para determinar el valor de qn como,

3. Utilizando el mtodo de induccin, una secuencia completa de las funciones puede generarse. Usando estas funciones y los pre-requisitos iniciales podemos obtener la solucin al problema dado. Finalmente, veamos un ejemplo ilustrativo para aclarar el concepto. Resuelve la ecuacin diferencial q = 2 p (1 + q) dado queq(0) = 0. La ecuacin asociada de la integracin para la ecuacin diferencial dada sera, g(p) = 2 s (1 + q(s)) ds Asumequeq0(p) = 0. Entonces lafrmulapara la recurrencia de cada p mayor que uno es, qn+1(p) = 2 s (1 + qn(s)) ds Por lo tanto, obtenemos q1(p) = 2 s ds y, q2(p) = 2 s (1 + s2) ds

q2(p) = p2 + p4/ 2. Esto nos da la secuencia de las funciones como, qn(p) = p2 + p4/ 2 + p6/ 3! + + p2n/ n! Esta es la serie de Taylor, y por tanto, la ecuacin funcional de la ecuacin diferencial, q(p) = - 1

Teorema de Picard-Lindelf
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. [editar]Enunciado "Sea

general
, donde es abierto, una (interprtese como la forma , podemos

funcin continua y localmente Lipschitz respecto de

estndar de una EDO n-dimensional de primer orden). Entonces, dado encontrar un intervalo cerrado donde existesolucin nica del siguiente problema de Cauchy:

que cumple que los pares

"

De hecho, este de ello.

puede ser encontrado de manera explcita, en la demostracin se dan detalles

[editar]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 dados una funcin Lipschitz. Entonces, " existe una nica solucin del problema de valor inicial

definida

".

[editar]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. [editar]Demostracin Sea es Sea el cilindro compacto donde y est definida, esto . la

, s decir, el valor de mxima pendiente en mdulo. Y finalmente sea respecto la segunda variable.

constante de Lipschtitz de

Definimos el siguiente operador entre funciones continuas, el operador de Picard, como sigue: dinifido

como:

Vamos a imponer que est bien definido, es decir, que su imagen sea una funcin que tome valores en , es decir, que la norma de sea menor que .

El ltimo paso es imposicin, por lo que deber ser que

Veamos ahora que el operador de Picard es contractivo bajo ciertas hiptesis sobre adelante podrn ser omitidas. Dadas dos funciones queremos:

que ms

. Pero como

es Lipschitz respecto la segunda variable tenemos que:

. Esto es contractivo si 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 problema de valor inicial definida en decir, [editar]Optimizacin donde . tal que es decir, solucin del debe satisfacer las condiciones dadas, es

del intervalo de la solucin

Ahora bien, hay un corolario del teorema del punto fijo de Banach que nos dice que si un operador es contractivo para alguna potencia entonces 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 ya lo hemos visto, suponemos cierto para y probemos para :

. Por lo tanto ahora s, teniendo esta desigualdad podemos asegurar que para suficientemente

grande, la cantidad y por lo tanto ser contractivo y por el corolario anterior tendr un nico punto fijo. Por lo que, finalmente, hemos podido optimizar el intervalo a tomar .

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.