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 lafrmula para 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