Universidad Tecnolgica De Campeche

Alumno: Ramn de la Cruz Cesar de Jess

Ingeniera en Mantenimiento Petrolero 8 Cuatrimestre

Ecuaciones Diferenciales aplicadas Profesor: Ing. Marco Antonio Acosta Peralta

Reporte de Investigacin: Definiciones y terminologa Teorema de existencia y unicidad

Enero Abril de 2014

San Antonio Crdenas, Ciudad del Carmen, Campeche a 27 de enero de 2014.

ndice
INTRODUCCION ............................................................................................................... 3 OBJETIVO ........................................................................................................................ 4 DEFINICIONES Y TERMINOLOGA ................................................................................ 5 TEOREMA DE EXISTENCIA Y UNICIDAD ...................................................................... 9 CONCLUSIN................................................................................................................. 16 BIBLIOGRAFIA .............................................................................................................. 17

INTRODUCCIN

El propsito de esta investigacin es introducir a los alumnos en la terminologa bsica de las Ecuaciones Diferenciales y examinar brevemente como se deducen las ecuaciones diferenciales al tratar de formular o describir fenmenos fsicos o geomtricos en trminos matemticos. En el primer tema, Definiciones y Termologa, se introduce la definicin de ecuacin diferencial, se clasifican las ecuaciones diferenciales en ecuacin diferencial ordinaria y ecuacin diferencial parcial y se establecen criterios para determinar el orden, el grado y la linealidad de una ecuacin diferencial ya que uno de los objetivos generales del curso de Ecuaciones Diferenciales es resolver ecuaciones diferenciales, es decir, encontrar sus soluciones. En el segundo tema, Teorema de Existencia y Unicidad y se enunciaran los

teoremas de existencia y unicidad de soluciones y su prolongacin analtica y, finalmente, se comentaran los primeros mtodos numricos de resolucin.

Objetivo
General: Describir los criterios de clasificacin de las ecuaciones diferenciales, comenzando con introducir el concepto de ecuacin diferencial, su clasificacin segn tipo, orden y linealidad y enunciar el teorema de existencia y unicidad. Especficos: Clasificar las ecuaciones diferenciales en ecuaciones diferenciales ordinarias y ecuaciones diferenciales en derivadas parciales. Determinar el orden de una ecuacin diferencial Determinar el grado de una ecuacin diferencial Establecer cuando una ecuacin diferencial es lineal y cuando no lo es

1.1. DEFINICIONES Y TERMINOLOGA

Una ecuacin es una igualdad que se satisface para uno o ms valores de la (s) incgnita (s) que interviene (n) en ella. Una ecuacin diferencial es una ecuacin donde la incgnita es una funcin de una o ms variables independientes y en dicha ecuacin aparecen derivadas de la funcin incgnita. Una ecuacin diferencial es una ecuacin en la que se establece una relacin entre una o ms variables independientes y una funcin incgnita y sus derivadas

Ecuacin Diferencial Ordinaria: es una ecuacin diferencial en la cual aparecen derivadas ordinarias de una variable dependiente respecto de una sola variable independiente. Ecuacin Diferencial en Derivadas Parciales: es una ecuacin diferencial en la cual aparecen derivadas parciales de una sola variable dependiente respecto de dos o ms variables independientes.

Orden de una ecuacin diferencial El orden de una ecuacin diferencial es la derivada de mayor orden que aparece en la ecuacin diferencial.

Ecuacin diferencial lineal Una ecuacin diferencial lineal es una ecuacin diferencial en la cual se satisfacen simultneamente las condiciones: a) La variable dependiente y todas sus derivadas son de primer grado (esto es, estn elevadas a la potencia uno). b) Los coeficientes de la variable dependiente y de sus derivadas dependen solo de la variable independiente.

1.2 TEOREMA DE EXISTENCIA Y UNICIDAD

Existencia y unicidad Cuando un problema de valor inicial modela matemticamente una situacin fsica, la existencia y unicidad de la solucin es de suma importancia, pues, con seguridad se espera tener una solucin, debido a que fsicamente algo debe suceder. Por otra parte, se supone que la solucin sea nica, pues si repetimos el experimento en condiciones idnticas, cabe esperar los mismos resultados, siempre y cuando el modelo sea determinstico. Por lo tanto, al considerar un problema de valor inicial es natural preguntarse por: 1. Existencia: Existir una solucin al problema ? 2. Unicidad: En caso de que exista solucin, ser nica ? 3. Determinacin: En caso de que exista solucin, como la determinamos ? En sta seccin nos ocuparemos de las dos primeras interrogantes: existencia y unicidad y dejamos la determinacin de solucin para el prximo captulo. 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 encontrar un intervalo cerrado solucin nica del siguiente problema de Cauchy: , podemos donde existe

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 Lipschitz. Entonces, dados del problema de valor inicial una funcin " existe una nica solucin x(t)

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.

CONCLUSIN
En el presente trabajo abordamos los temas de clasificacin de las ecuaciones con esto sabremos si la ecuacin son ordinarias lineales o no ordinarios, no lineales y de qu grado es la ecuacin de primer grado segundo grado y tercer grado esto nos ayudara para resolverla con ms facilidad el saber cmo

desarrollar el proceso para llegar a una solucin as como las grficas para comprobar dicha solucin de la ecuacin propuesta ante el docente. Al igual que los temas como los diferentes teoremas existencial y unicidad en soluciones de ecuaciones.

BIBLIOGRAFA

http://ecuaciondiferencialejerciciosresueltos.wordpress.com/2013/07/22/quesignifica-el-teorema-de-existencia-y-unicidad-para-una-ed-ordinaria-de-primerorden/

http://web.cua.uam.mx/files/Notas-Ecuaciones_Diferenciales_Parciales.pdf

http://www.ingenieria.unam.mx/~pinilla/Tema4/Valores_en_la_frontera.pdf

Universidad Tecnolgica De Campeche

Alumno: Ramn de la Cruz Cesar de Jess

Ingeniera en Mantenimiento Petrolero 8 Cuatrimestre

Ecuaciones Diferenciales aplicadas Profesor: Ing. Marco Antonio Acosta Peralta

Reporte de Prctica:
Problemas de valor inicial y condiciones de frontera

Enero Abril de 2014

San Antonio Crdenas, Ciudad del Carmen, Campeche a 27 de enero de 2014.

INTRODUCCIN

En este trabajo se estudia lo que significa que una funcin sea solucin de una ecuacin diferencial y se analizan los tipos de soluciones que puede tener una ecuacin diferencial. Se plantean algunos problemas fsicos y geomtricos cuya formulacin matemtica conduce al planteamiento de ecuaciones diferenciales las cuales al ser resueltas y estar sujetas a condiciones sobre la funcin desconocida y/o sus derivadas nos llevan a la obtencin de soluciones particulares. Este tipo de problemas se conocen como problemas de valor inicial y problemas de valor de frontera. En la mayora de las aplicaciones estamos interesados no en la solucin general de una ecuacin diferencial, sino en una solucin particular que satisfaga ciertas condiciones dadas. Esto da origen a los problemas de valor inicial o de frontera. En el siguiente reporte de Prctica se explicar la metodologa para resolver un Problema de Valor Inicial. Dejando as claro el procedimiento que debe de realizar.

OBJETIVO
Identificar condiciones iniciales y de frontera y Emplearlas en soluciones de ecuaciones.

PROBLEMAS DE VALOR INICIAL Y CONDICIONES DE FRONTERA

Definicin (Problema de valor inicial) Un problema de valor inicial o de Cauchy consta de una ecuacin diferencial de orden n y de n condiciones iniciales impuestas a la funcin desconocida y a sus (n-1) primeras derivadas en un valor de la variable independiente. Es decir:

Un problema de valores en la frontera o de Dirichlet consta de una ecuacin diferencial ordinaria de orden funcin desconocida en y de condiciones de frontera impuestas sobre la

valores de la variable independiente. Es decir

CONCLUSIN
Se pudo resolver un problema de valor inicial y condiciones de frontera satisfactoriamente de acuerdo a lo estudiado en el saln de clases as como con lo investigado autnomamente. Estos criterios pudieron emplearse en la solucin de ecuaciones diferenciales.

BIBLIOGRAFA
http://www.tec-digital.itcr.ac.cr/revistamatematica/cursoslinea/EcuacionesDiferenciales/EDO-Geo/edo-cap1-geo/node11.html