EL GRULLO JALISCO A FEBRERO DE 2014 Pgina 1

INGENIERIA ELECTROMECANICA
ECUACIONES DIFERENCIALES
REPORTE DE INVESTIGACION
TEORIA DE EXISTENCIA Y INICIDAD
RAMON MARISCAL CAMACHO
12070060
PROFESOR
ING: JOSE ALBERTO CORONA BENAVIDES



EL GRULLO JALISCO A FEBRERO DE 2014 Pgina 2

INTRODUCCION
Siempre en la vida se requiere de las matemticas aunque no os demos
cuenta siempre las necesitamos.
OBJETIVO
Esta investigacin est destinada a reconocer y tratar de entender los
diferentes temas o teoremas para resolver las ecuaciones diferenciales.
MARCO CONCEPTUAL
Cuando un problema modela o plantea una situacin fsica, la existencia y
unicidad de la solucin es muy importante, ya que se espera tener una
solucin, debido a que fsicamente algo debe de suceder. Adems se supone
que la solucin debe ser nica pues si repetimos el experimento en
condiciones idnticas, los resultados tendran que ser iguales a los obtenidos
anteriormente
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,


EL GRULLO JALISCO A FEBRERO DE 2014 Pgina 3

q = f(p, q) y, q(p0) = q0
Y la ecuacin definiendo el intervalo de la funciones,

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).
Esto significa que tenemos,
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 de Picard, esta es una tcnica
utilizada para determinar esta ecuacin de la funcin para una ecuacin
diferencial. Los pasos para determinarla son 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,



EL GRULLO JALISCO A FEBRERO DE 2014 Pgina 4

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 que q(0) = 0.
La ecuacin asociada de la integracin para la ecuacin diferencial dada sera,
g(p) = 2 s (1 + q(s)) ds
Asume que q0(p) = 0. Entonces la frmula 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
Saludos y suerte prof lauro soto
EXISTENCIA Y UNICIDAD DE SOLUCIONES Para una gran clase de problemas
de valor inicial, la existencia y unicidad de una solucin puede ser
demostrado. El teorema de Picard-Lindelf garantiza una solucin nica en el
intervalo que contiene algunos t o si y sus derivadas parciales /y son
continuas en una regin que contiene t o e y o . Una prueba de la edad de


EL GRULLO JALISCO A FEBRERO DE 2014 Pgina 5

Picard-Lindelf el teorema construye una secuencia de funciones que
convergen a la solucin integral de la ecuacin, y por lo tanto. La solucin del
problema de valor inicial. Dicha construccin a veces se denomina el
mtodo de Picard o el mtodo de aproximaciones sucesivas.
METODOLOGIA
Esta investigacin sirvi como objetivo encontrar en otras investigaciones
similares el contenido teniendo que hacer una recopilacin de ideas de
distintos autores, pginas web entro otras fuentes para que de esta manera
se lograra comprender mejor el teorema de existencia y unicidad
Trabajos citados
CAMACHO, R. M. (27 de febrero de 2014). TEORIA DE EXISTECIA Y UNICICIDAD. Recuperado el 26
de FEBRERO de 2014, de MI TECNOLOGICO:
http://mitecnologico.com/sistemas/Main/TeoremaDeExistenciaYUnicidad
Camacho, R. M. (15 de febrero de 2014). TEORIA DE EXISTENCIA Y UNICICIDAD. Recuperado el 26
de febrero de 2014, de slideshare: http://www.slideshare.net/edvinogo/teoremas-de-
existencia-y-unicidad-de-las-ecuaciones