Teorema de Existencia y Unicidad. S y son funciones continuas de x e y en una regin definida en algn intervalo y tambin la ecuacin .

que satisface la

Existe una nica funcin ecuacin diferencial Demostracin:

Primeramente, supongamos que conocemos una funcin y . Esto implica que el segundo miembro de

que satisface las ecuaciones

, es decir,

es una funcin

conocida de , y adems esta funcin es continua, y por lo tanto, puede ser integrada. Integrando la ecuacin Obtenemos:  En virtud de que realmente no conocemos la funcin , la ecuacin anterior no nos proporciona una entre los lmites


 , y haciendo uso de la ecuacin

frmula para la solucin del problema valuado inicialmente. Sin embargo, nos proporciona una relacin de existencia que es satisfecha por cualquier solucin del problema valuado inicialmente. La ecuacin anterior es conocida como ecuacin integral. Como hemos establecido antes que cualquier solucin del problema valuado inicialmente, satisface la ecuacin integral. El siguiente paso sera la demostracin de que, Inversamente, cualquier solucin de la ecuacin integral satisface tambin el problema valuado inicialmente. Para demostrar esto, primero sustituiremos en la ecuacin integral, determinando que . Por lo tanto, el

; Adems diferenciando la ecuacin integral se obtiene que

problema valuado inicialmente y la ecuacin integral son equivalentes en el sentido de que cualquier solucin de uno, es solucin del otro. Por otro lado, es ms conveniente demostrar que existe una solucin nica para la ecuacin integral. Esta conclusin podr entonces cumplirse para el problema valuado inicialmente.

El mtodo de aproximaciones sucesivas o mtodo de Picard, puede ser usado para construir una solucin de la ecuacin integral. Definiremos una secuencia de funciones como:

 

Demostraremos que la secuencia de funciones solucin de la ecuacin integral.

converge y que la funcin lmite representa una

Antes de comenzar formalmente con la demostracin de este teorema es conveniente recabar algunos hechos que sern necesarios para la demostracin. En primer lugar, se supone que en la regin acotada y cerrada Esto significa que tal que   es continua

; por lo tanto, tambin est acotada ah.

Comparando los nmeros   , y designando a h como el ms pequeo de ellos, consideremos de ahora en adelante el rectngulo ms pequeo , definido por A continuacin estableceremos tres lemas necesarios para la demostracin del teorema. Lema 1: S es continua en tal que para

Para probar el lema, basta observar que el teorema de valor medio establece que, suponiendo

Donde

, ahora bien si tomamos el valor absoluto de ambos miembros, obtenemos: . Y como tal que  . Como es contina y est limitada en se deduce que .

. Lo cual demuestra el lema.

Lema 2 S y   La demostracin es por induccin matemtica. Si 

Ahora, suponiendo que Se deduce que  Por lo tanto por lo que

Ahora una buena pregunta sera qu sucede si tenemos el caso en el que

? Se

cumplir el lema? La respuesta es que si se sigue cumpliendo, solo que se toma la condicin de que sea sustituido por As en . 

Este resultado es de suma importancia por el simple hecho de que se demuestra que conforme se genera las aproximaciones sucesivas, los puntos para Adems se ha

establecido que dice que la grafica de la funcin ecuaciones Lema 3 Si  y  ,

, este resultado es de suma importancia puesto que nos est limitada por dos regiones triangulares generadas por las ,y



La demostracin de este lema es sumamente sencilla primeramente, por el Lema 2 sabemos que  ; de aqu los puntos y pertenecen a y la desigualdad

anterior se deduce a partir del Lema 1. Lo cual demuestra la veracidad de este Lema.

Muy bien ya teniendo en cuenta la existencia de los anteriores 3 Lemas y las conclusiones obtenidas basadas en las demostraciones anteriores., Podemos iniciar formalmente con la demostracin de este teorema. Para establecer que la sucesin sucesivas. Supngase primero, que  converge, se estimarn las diferencias entre las aproximaciones ; el argumento para cuando es

similar. Entonces como en la demostracin del Lema 2,

En forma similar,

Donde al aplicar el Lema 3 para n=1 obtenemos aplicar el Lema 2 obtenemos

donde al

De manera similar

Ahora bien, se puede observar que estos resultados nos sugieren aplicar el mtodo inductivo para la demostracin, para as establecer:  Por lo tanto procedamos por induccin suponiendo que      Hiptesis Inductiva

Donde por el Lema 3 obtenemos

Donde por la Hiptesis Inductiva se obtiene:

Y al evaluar la integral anterior da

Por lo tanto, la ecuacin anterior ha sido establecida para Ahora bien que sucedera si se toma en cuenta cuando en lo que afectara a la demostracin anterior seria que se sustituira nuestro resultado anterior nos quedara de la forma: 

. es decir   . Bueno lo nico por lo tanto

Por lo tanto para ambos caso se obtiene que 

Pero como 

Al usar esta ecuacin para probar la convergencia de la sucesin de funciones considerar la siguiente serie:  

 es conveniente

Es claro que con base a la anterior serie se puede llegar a la conclusin de que la n-sima suma parcial de esta serie es ; es decir:  Por lo tanto la sucesin converger la serie infinita 

converge

Esto se puede demostrar muy fcilmente aplicando el mtodo de comparacin teniendo en cuenta que  y  







Pero como conocemos que las series de sumas parciales de los extremos son series convergentes y ambas convergen al mismo valor, esto implica que la serie  menos para   Converge al se deduce la de la ecuacin adems la convergencia de

Denotando la suma de la serie anterior por Que

la serie anterior y de la sucesin anterior es uniforme. Es decir Dada una intervalo esta funcin es continua en Como para cada y . que se encuentre en el intervalo . , el punto pequea arbitraria, podemos determinar un entero  tal que que se encuentre en el ,

. Debido a la convergencia uniforme de

; esta misma desigualdad deba ser satisfecha por Ahora se demostrar que Como 

satisface la ecuacin integra que se cito desde el principio.

se deduce con base a que

. Que

Ahora una excelente pregunta seria cuando el proceso lmite puede ser intercambiado con la integral en la ecuacin anterior para as obtener Lo anterior se justifica por el simple hecho de que la continuidad de Por otro lado con base a nuestras observaciones anteriores, se deduce que la funcin constituye una solucin del problema valuado inicialmente de las ecuaciones Y  Esto completa la demostracin de la existencia de al tambin  e convergen uniformemente y tambin por

menos una solucin del problema original. Ahora el siguiente paso es demostrar que la solucin anterior es nica. Para demostrar esto procedamos por contradiccin, es decir supongamos que existe otra solucin con el fin de que se llegue a un absurdo. Consideremos una segunda solucin, sea esta solucin de las ecuaciones anteriores.

Como

es una solucin del problema valuado inicialmente, entonces existe un intervalo , donde , en el cual  y las aproximaciones sucesivas que nos sirvieron para , , en el cual tambin satisface la ecuacin

integral

Ahora consideremos la diferencia entre definir . Analicemos el caso cuando

Nuevamente usando una demostracin inductiva, suponemos que

Esto se obtuvo teniendo en cuenta que cuando?

, una buena pregunta seria y qu sucede

, Ser que se sigue cumpliendo? La respuesta es que si se sigue por , es decir

cumpliendo solo teniendo en cuenta que se tendr que sustituir nos quedara el siguiente resultado:

Por lo tanto para ambos caso nos quedara la ultima expresin pero como

 Donde al analizar el comportamiento de esta diferencia cuando 



 Por lo tanto la solucin dada es nica. Lo cual demuestra la unicidad.