Teoremas de Existencia y Unicidad

UNIVERSIDAD NACIONAL DEL CALLAO FACULTAD DE INGENIERIA ELECTRICA
TEOREMA DE EXISTENCIA Y UNICIDAD DE LAS EDO
Eche Quiroz Edwin Romero Chavarre Bryan Jeri flores Santiago Padilla Sandoval Cesar Agapito Barrera Eleison Agustin Gino Ruiz Pacchua 08/07/2011
090577A 090521F 090565C 090519A 090568B
Universidad Nacional del Callao
Facultad de Ingeniera Elctrica
INTRODUCCION
Sea dada una ecuacin diferencial donde la funcin est definida en un recinto D del plano XOY que contiene el punto Si la funcin satisface a las condiciones: Es una funcin continua de dos variables x e y, en el recinto D.
Admite derivada parcial continua con respecto de x e y en el recinto D, entonces, existe una, y slo una, solucin de la ecuacin dada que satisface a la condicin. La condicin se llama condicin inicial. El problema de la bsqueda de la solucin de la ecuacin que satisface la condicin inicial, lleva el nombre de Cauchy. Geomtricamente esto significa que se busca la curva integral que pasa por el punto dado del plano XOY.
El teorema expresa las condiciones suficientes para la existencia de solucin nica del problema de Cauchy para la ecuacin pero estas condiciones no son necesarias. Precisamente, puede existir una solucin nica de la ecuacin que satisface a la condicin, a pesar de que en el punto no se cumpla la condicin a) o la condicin b), o estas condiciones simultneamente.
~1~
TEOREMAS DE EXISTENCIA Y UNICIDAD DE SOLUCIN PARA
PROBLEMAS DE VALOR INICIAL (PVI).
Los teoremas de existencia y unicidad de solucin tienen gran importancia en el estudio de las ED. Muchas ED son difciles de resolver y por ello es importante asegurarse de la existencia de solucin antes de intentar resolverlas. Por otra parte el tema tiene inters para las aplicaciones: si el PVI representa un modelo matemtico determinista de una situacin fsica, esperamos que exista solucin. Adems la solucin debe ser nica pues si se repite el experimento en las mismas condiciones, cabe esperar los mismos resultados. Presentamos a continuacin el Teorema de Picard-Lindelof de existencia y unicidad de solucin para PVI. La demostracin que indicaremos est basada en el teorema del punto fijo para aplicaciones contractivas y se debe a Bielecki. Ejemplos de no unicidad en sistemas fsicos: Exceptuando el caso de malos modelos, suelen aparecer problemas de no unicidad de solucin de ecuaciones diferenciales cuando las ecuaciones de movimiento se derivan de constantes de movimiento. Por ejemplo, el modelo diferencial de la experiencia de arrojar una pelota hacia arriba es:
Si se utilizan consideraciones energticas, se puede encontrar un modelo alternativo
Donde E es la energa vertical del sistema, E = mV22 /2, y mx2 (t)/2 y mgx(t) representan las energas cinticas y potencial del sistema, respectivamente. De modo que la ecuacin que rige la velocidad puede escribirse como:
~2~
Si esta ecuacin se utiliza como ecuacin de movimiento y se cambian las condiciones iniciales, los resultados deben tomarse con cautela por ejemplo, al utilizar programas de integracin numrica ya que no es Lipschitz continua en x = E/(mg). Para el punto inicial x(0) = E/(mg), x (0) = 0, que corresponde al mximo de la trayectoria de la pelota, la solucin de la ecuacin de movimiento se mantiene sobre la rama espuria
Para la cual x (t) 0: la pelota se queda flotando a una altura E/(mg), en lugar de seguir por la rama fsica
La resolucin de la ecuacin con condiciones iniciales x(0) = E/(mg), x (0) = 0 permite calcular la solucin correcta. Ejemplos de este tipo, pero ms sutiles, ocurren cuando se analiza la dinmica de osciladores no lineales acoplados utilizando variables accin-ngulo (Jk, ), ya que en este caso nuevamente aparecen trminos de la forma J1/2 k en las ecuaciones de movimiento. Si algunos Jk(t) ' 0, aumenta el error de los mtodos de integracin numrica, reflejando la no unicidad de las ecuaciones en Jk(t) = 0. La cuestin de la unicidad de las soluciones se torna ms compleja si las ecuaciones diferenciales no son de la forma x(t) = f *t, x(t)+. Por ejemplo, la ecuacin diferencial
Que es de primer orden pero de segundo grado, puede dar cualesquiera de tres soluciones para x(0) = 0 :
~3~
TEOREMA DE PIRCAD Y LINDELOF 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, esta puede ser encontrada de manera explcita, en la demostracin se dan detalles de ello. 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 problema de valor inicial una funcin " existe una nica solucin x(t) del
Definida
".
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. Sea el cilindro compacto donde f est definida, esto es y .
~4~
Sea , s 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 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 Lipschitz 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:
~5~
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.
Bibliografia de Charles-mile Picard
(Pars, 1856-1941) Matemtico francs que realiz importantes avances en geometra analtica. Lector de La Sorbonne en 1878, un ao ms tarde fue profesor en la Universidad de Toulouse, y en 1879 regres a Pars con un puesto docente en La Sorbonne, que compagin con una plaza de profesor de matemticas en la prestigiosa cole Normale Suprieure. En sus investigaciones contribuy notablemente al anlisis matemtico, campo en el que cre el mtodo de aproximaciones sucesivas para demostrar la existencia de soluciones de las ecuaciones diferenciales ordinarias. Public Thorie des fonctions algbriques de deux variables indpendantes (dos volmenes escritos en 1897 y 1906 en colaboracin con George Smart), obra en la que, partiendo de la labor de Riemann y Abel, realiz un estudio de las integrales en superficies algebraicas referido a las vibraciones armnicas, que supo aplicar al anlisis de fenmenos fsicos como la elasticidad, el calor y la electricidad, labor que supone una importante contribucin a la teora de ecuaciones integrales. Fue nombrado miembro de la Accadmie des Sciences en 1889, institucin que lo nombr secretario perpetuo en 1917, Acadmico de Francia en 1924 y miembro honorario de la Royal Society en 1909. Contrajo matrimonio con la hermana de Charles Hermite. Algunas publicaciones suyas sonTrait d'analyse (1891-93), Les sciences mathmatiques en France depuis un demi sicle, Coup d'oeil sur l'histoire des sciences et des thories physiques (1930) y La thorie de la rlativit et ses applications a l'Astronomie (1930).
~6~
Emile Picard 's padre era el gerente de una fbrica de seda que murieron durante el asedio de Pars en 1870. El sitio fue consecuencia de la franco-alemn que comenz la guerra el 19 de julio de 1870. Se pas mal para Francia y el 19 de septiembre de 1870 los alemanes comenzaron un asedio de Pars. Este fue un momento desesperado para los habitantes de la ciudad que mataron a sus caballos, los gatos y perros para la alimentacin. Fue durante este asedio que Emile padre del fallecido. Pars se rindi el 28 de enero de 1871 y el Tratado de Frankfurt, firmado el 10 de mayo de 1871, fue una humillacin para Francia. La madre de Picard, hija de un mdico, fue puesto en una posicin extremadamente difcil cuando muri su marido. As como Emile, tuvo un segundo hijo, y con el fin de apoyarlos a travs de su educacin tena que encontrar un empleo. Slo su voluntad de dar a sus hijos un buen comienzo, a pesar de la tragedia, Emile permitido a recibir la educacin que le dio la oportunidad de lograr el ms alto stading internacional en matemticas. Picard de la enseanza secundaria fue en el Liceo Napolen, ms tarde llamado el liceo Henri IV. Extraamente fue un alumno brillante en casi todos sus sbditos, particularmente en la traduccin de griego y latn poesa, pero le disgustaba las matemticas. l mismo escribi que odiaba la geometra, sino que: ... aprendido de memoria con el fin de evitar ser castigados. Fue slo durante las vacaciones despus de terminar su estudios secundarios Picard que leer un libro de lgebra y de repente se qued fascinado por las matemticas. Tom los exmenes de ingreso para la cole Polytechnique y la Ecole Normale Suprieure, quien se coloc segundo y primero, respectivamente, en los dos exmenes. Hadamard escribi en: Como cualquier joven francs de nuestro tiempo que se dota a la ciencia, se vio obligado a elegir entre la cole Polytechnique que, en principio, preparado para ser un ingeniero, y la Escuela Normal, con su orientacin cientfica pura. Se le ocuparon el primer lugar y eligi la ltima. Se dice que ha hecho esta decisin despus de una emocionante visita a Pasteur, durante el cual el padre de la bacteriologa se refiri a la ciencia pura en trminos tales nobles que la joven estaba completamente persuadido. Picard recibi su agrgation en 1877, siendo colocado en primer lugar. Permaneci en la cole Normale Suprieure de un ao, donde fue contratado como asistente. Fue nombrado profesor de la Universidad de Pars en 1878 y luego profesor en Toulouse en 1879. En 1881 regres a Pars cuando nombr matre de confrence en mecnica y astronoma en la cole Normale. En 1881 Picard fue nombrado para formar parte de la seccin de matemticas de la Acadmie des Sciences. Dice mucho de la habilidad extraordinaria que le estaba mostrando a tan temprana edad que fue nombrado. l ya ha demostrado dos importantes teoremas son a la vez que hoy se conoce bajo el nombre de Picard, pero todava es un poco pronto para ganar la admisin a la prestigiosa academia y tendra que esperar unos cuantos aos ms. En este ao de su primer nombramiento se cas con Hermite 's hija. Picard y su esposa tena tres hijos, una hija y dos hijos, que fueron todos muertos en la Primera Guerra Mundial I. Su nietos resultaron heridos y capturados en la Segunda Guerra Mundial.
~7~
En 1885 Picard fue nombrado para la presidencia del clculo diferencial en la Sorbona en Pars cuando el presidente cay vacante por el fallecimiento de Claude Bouquet. Sin embargo una universidad reglamento impedido a nadie por debajo de la edad de treinta celebracin de una silla. Los reglamentos se eludidas haciendo su propio Picard supplant hasta que lleg a la edad de treinta que fue en el ao siguiente. El orador pidi el intercambio de su silla para que de mayor anlisis y lgebra en 1897 a fin de que pudo formar a los investigadores. Picard hizo sus contribuciones ms importantes en materia de anlisis, funcin de la teora, las ecuaciones diferenciales, geometra analtica y. Us mtodos de aproximacin sucesiva para demostrar la existencia de soluciones de ecuaciones diferenciales ordinarias resolver el problema de Cauchy para estas ecuaciones diferenciales. A partir de 1890, extendi las propiedades de la ecuacin de Laplace ms general a las ecuaciones elpticas. Picard de la solucin estuvo representado en la forma de una serie convergente. En 1879 demostr que toda una funcin que no es constante cada valor tiene un nmero infinito de veces, con una posible excepcin. Picard utiliza la teora de Hermite 's modular funciones en la prueba de este importante resultado. Basndose en los trabajos de Abel y Riemann, Picard del estudio de las integrales adjunta a las superficies algebraicas y topolgicas preguntas relacionadas convertido en una parte importante de lageometra algebraica. Sobre este tema public, con Georges Simart, Thorie des fonctions algbriques de deux variables indpendantes que fue un perodo de dos volmenes, el primer volumen que aparece en 1897 y la segunda en 1906. Picard tambin descubri un grupo, ahora llamado el grupo de Picard, que acta como un grupo de transformaciones en una ecuacin diferencial lineal. Sus tres volmenes la obra maestra Trait d'analizar se public entre 1891 y 1896. El tratado: ... de inmediato se convirti en un clsico y fue revisado con cada edicin. El trabajo era accesible a muchos estudiantes a travs de su gama de temas, exposicin clara, lcida y estilo. Picard examinado varios casos concretos antes de la discusin de su teora general. Picard tambin se aplica el anlisis al estudio de la elasticidad, el calor y la electricidad. Estudi la transmisin de pulsos elctricos a lo largo de cables de encontrar una bella solucin al problema. Como puede verse en sus contribuciones son a la vez amplio e importante. Entre los honores a Picard fue su eleccin a la Acadmie des Sciences en 1889, ocho aos despus de que l fue designado sin xito. Posteriormente sirvi a la Academia como su secretario permanente a partir de 1917 hasta su muerte en 1941. En esta funcin: ... l escribi un aviso anual, ya sea en un cientfico o un tema de inters actual. Tambin escribi numerosos prefacios a libros de matemticas y particip en la publicacin de obras de C Hermite y GH Halphen.
~8~
Picard fue galardonado con el premio Poncelet en 1886 y el Grand Prix des Sciences Mathmatiques en 1888. Adems de Doctorados Honoris Causa de cinco universidades y miembros honorarios de treinta y siete sociedades cientficas que recibi la Gran Cruz de la Legin de Honor en 1932 y la Mittag-Leffler Medalla de Oro en 1937. l se convirti en un miembro de la Academia Francesa en 1924. Otro honor fue dado a l le estaba haciendo el Presidente del Congreso Internacional de Matemticos en Estrasburgo en septiembre de 1920. Hadamard dijo lo de Picard como un maestro cuando se dirigi a l en 1937: Usted fue capaz de hacer [mecnica] casi interesante, siempre he preguntado cmo le iba sobre esto, porque yo nunca pudo hacerlo cuando era mi turno. Pero usted tambin escap, usted nos presenta no slo a la hidrodinmica y la turbulencia, sino a muchas otras teoras de la fsica matemtica e incluso de la geometra infinitesimal; todo esto en las conferencias, la ms magistral que he escuchado en mi opinin, donde no hubo una sola palabra demasiados ni una palabra demasiado poco, y donde la esencia del problema y los medios utilizados para superar pareca claro como el agua, con todos los detalles secundaria tratada en profundidad y, al mismo tiempo, con destino a su lugar correcto. Hadamard escribi en: Una caracterstica notable de Picard de la personalidad cientfica es la perfeccin de su enseanza, uno de los ms maravilloso, si no el ms maravilloso, que he conocido jams. Es un hecho que entre 1894 y 1937 se capacit a ms de 10000 ingenieros que estaban estudiando en la cole Centrale des Arts et manufacturas.
Existencia y unicidad de ecuaciones diferenciales ordinarias
Consideremos una funcion f dada tal que
Sin saber ms de este problema con valores iniciales rpidamente nos vienen a la cabeza tres preguntas: Cmo sabemos que (1) tiene solicin si sabemos que no siempre podemos exhibirla? Cmo sabemos, en caso que existiera, que tal solucin es nica? son dos, tres o hay una infinidad de soluciones a (1)? Para qu nos molestamos en saber esto? despus de todo qu utilidad tiene molestarse en encontrar una solucin que podamos exhibir con presicin?
~9~
La respuesta a la tercer pregunta est en la observacn en que casi nunca, en aplicaciones reales, es necesario una solucin exacta: basta con exhibirla hasta unos cuantos decimales para que sea suficientemente precisa lo cual es sencillo con la ayuda de una computadora. As pues, el saber que existe tal solucin es motivo suficiente para buscarla. De este modo respondamos las dos primeras preguntas que es la idea de este artculo. 1.- Existencia de soluciones El problema de encontrar una funcin que cumpla ciertas caractersticas no es uno raro y en clculo estn los primeros ejemplos. En la teora de suceciones de funciones uno puede preguntarse, por ejemplo, si
Es decir, si una sucesin de funciones converge puntualmente hacia otra funcin f. Ser que si cada una de las funciones de la sucecin comparten una propiedad (continuidad, integrebilidad, derivabilidad o ser solucin de una ecuacin diferencial) sta se transfiere a la funcin lmite? Vemos, en general, no es as pues la convergencia puntual no es una caracterstica lo suficientemente fuerte para transferir muchas propiedades de la sucesin a la funcin lmite, por consiguiente es necesario desarrollar mtodos de convergencia ms fuertes que preserven las propiedades, siendo el ms importante el de la convergencia uniforme. DEFINICIN: Una sucesin de funciones se llama uniformemente convergente a S si: tal que y escribimos De esta definicin se desprende el siguiente teorema: TEOREMA: Si cada Supongamos que es continua en un punto entonces f tambin es continua en c. en el conjunto
Como este, existen teoremas equivalentes para la continuidad en toda x de S, para integrabilidad, derivabilidad, etc. Nosotros buscaremos un teorema equivalente para ver que una sucecin de funciones, donde todos sus elementos son soluciones de (1), converge uniformemente a otra funcin que tambin ser solucin de (1). El camino sugerido a seguir, entonces, podra ser este: Construir una sucecin de funciones que converga a una solucin de (1)
~ 10 ~
Probar que en el intervalo
Probar que, en efecto, a) Construccin de la sucesin
construida de tal manera es una solucin de (1)
Comenzamos definiendo una nueva funcin que puede depender exclusivamente de y de integrales de
As que de momento nos concentraremos en buscar soluciones a (2), como, por ejemplo, podemos buscar una funcin tal que
O bien
Entonces, podemos caracterizar las soluciones de (2) como todas aquellas tales que al ser sustituidas en obtenemos la misma funcin, de donde dicha sea solucin de (2) Lo interesante de es que podemos tomar (1) y ponerla en esa forma especial si integramos de ambos lados: Donde podemos ver que
De esta manera, si es continua y satisface (3) entonces tanto, ser solucin de (1) si es una solucin continua de (3)
y por lo
Nuestro problema pues, se ha reducido a encontrar una solucin contnua a (3) que se conoce como ecuacin integral. Este razonamiento sugiere la siguiente lnea para construir una solucin conveniente. Comenzamos tomando (atencin en dnde estn los subndices) como nuestra primera funcin de la sucecin y construimos de la siguiente manera:
~ 11 ~
Si sin duda es una solucin de (3). En caso contrario (que no sean iguales) consideramos a como nuestro siguiente candidato y calculamos como sigue:
Procediendo indefinidamente hasta n, hemos construido una sucecin siguiente regla de correspondencia:
bajo la
la cual recibe el nombre de iteradas de Picard. Es posible demostrar que dicha sucecin siempre converge a una solucin de (3) aunque no siempre para toda t, pero es posible restringir el intervalo donde estarn definidas las funciones de la sucecin de forma que sean convergentes a una solucin de (3) en un intervalo conveniente al rededor de b) convergencia de las iteradas de Picard Para encontrar un estimado de dnde convergen las iteradas de Picard, bscaremos un intervalo donde toda la sucecin est uniformemente acotada (es decir, necesitamos una K tal que donde K sea constante). Adems, buscamos un rectngulo R que contenga a las grficas de todas las Esta bsqueda se sumariza en el siguiente lema: LEMA 1: Sean:
Entonces: La demostracin se lleva a cabo con induccin sobre n y utilizando el teorema fundamental del clculo. Este lema lneas establece que las grficas en el intervalo de estn entre las dos
Ahora veremos que Primero reescribimos
converge para toda t en el intervalo de la siguiente manera:
~ 12 ~
La cual veremos que converge si y solo si la sucecin infinita
tambin converge, para lo cual basta con probar que la serie:
no diverge. Observamos que por (3)
donde el numero
est entre los nmeros
Observacin: El teorema del valor medio de Cauchy establece lo siguiente: Si es continua en el intervalo nmero y derivable en tal que: entonces existe un
En nuestro caso, estamos consierndolo de la siguiente manera:
Se sigue entonces del lema 1 que todos los puntos donde:
para
de
con
constante.
Si en (5) ponemos n = 2 tenemos:
~ 13 ~
Del mismo modo si n = 3 tenemos:
Por lo tanto, para n: Si : De este modo la sucesin infinita (4) queda de la siguiente manera:
que evidentemente es un nmero finito, o sea, la serie no diverge, y por lo tanto, las iteradas de Picard convergen para toda t en el intervalo y as cuando Un argumento semejante sirve intervalo donde puntos (t,y) en el rectngulo: para probar y la convergencia en el para los
c) Demostracion que
satisface (1)
Probaremos ahora que y(t) definida como en (4) satisface la ecuacin integral (3) y que adems es contnua, como se necesita, lo cual queda sumarizado en el siguiente teorema: TEOREMA 2: Sea tal que es contnua en el rectngulo R definido como:
~ 14 ~
y sean:
Entonces el problema de valores iniciales una solucin en el intervalo Recordemos que la iteradas de Picard se definen como:
tiene al menos
Aplicando limite de ambos lados obtenemos:
Lo siguiente a demostrar es que el lado derecho de (8) es igual a:
es decir, que podemos meter el lmite dentro de la integral. Esto es equivalente a demostrar que:
cuando Observamos primero que la grfica de est en el para por ser el lmite de la sucecin de funciones tener sus grficas dentro de R De all obtenemos lo siguiente: rectngulo R y por stas
Con L definida como anteriormente. Ahora notamos que:
por dos motivos:
~ 15 ~
Al hacer la resta trmino a trmino se obtienen los ndices de la suma antes mencionada. Luego, por (6):
Y entonces tenemos:
Esta ltima suma tiende a 0 cuando para de donde:
por ser la cola de una serie de Taylor
y as,
satisface (3) y por lo tanto (1) es una funcin continua, veremos que tal
Ahora, para probar que que si entonces
El problema ahora es nuestro desconocimiento de pues nos es imposible compararla directamente con , pero recordando que es el lmite de una sucesin convergente, podemos elegir un natural N suficientemente grande de forma que: Ahora, observamos que:
Por nuestra eleccin de N y por (6) sabemos dos cosas para Como continuas, que y h suficientemente chica de forma que es continua por ser obtenida de N integraciones sobre funciones podemos elegir un suficientemente chica tal
~ 16 ~
y as: si por lo tanto es continua.
Resumen
Con el desarrollo del presente trabajo se busca demostrar que, bajo ciertas condiciones, una ecuacin diferencial ordinaria admite una nica solucin.
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: Existencia: Existir una solucin al problema ? Unicidad: En caso de que exista solucin, ser nica ? 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. Ejemplo Dado el problema de valor inicial no resulta difcil comprobar que es solucin, pues separando variables e integrando obtenemos que Y usando la condicin inicial obtenemos que , con lo cual la solucin sera . Observe que al resolver la ecuacin diferencial dividimos por lo cual supone que , pero podemos verificar que es solucin, en este caso una solucin singular. En conclusin, el problema de valor inicial dado tiene solucin pero no es nica, como poder predecir este comportamiento sin tener que resolverlo; el siguiente teorema nos da una respuesta parcial. Teorema Sea tal que . Si y son continuas en , entonces existe un intervalo abierto , centrado en y una funcin definida en , que satisface el problema de valor inicial
~ 17 ~

Ejemplo:
En el ejemplo anterior tenemos que y , las cuales son continual en el semiplano definido por ; por consiguiente, el teorema garantiza que para cada punto con de ese semiplano, hay un intervalo centrado en en el cual la ecuacin diferencial tiene una solucin nica. As por ejemplo, sin resolverlo sabemos que el problema de valor inicial tiene solucin nica, mientras que para los problemas en donde el teorema no garantiza nada, es decir, podra suceder cualquier cosa: que no tenga solucin, que tenga solucin nica o varias soluciones, como sucedi en el ejemplo anterior. Ejemplo: Hallar los valores de y para los cuales el teorema de existencia y unicidad garantiza que el problema de valor inicial tiene solucin nica. Como la derivada parcial y son continua en todo punto donde , el teorema garantiza que existe una solucin en el conjunto . El teorema de existencia y unicidad nos da una condicin suficiente. Por lo tanto el hecho de que no se cumplan las hiptesis no nos permite concluir nada. Por otro lado, aunque el teorema nos asegure la existencia no nos garantiza que exista un mtodo para llegar a ella, quizs, lo mejor que podamos hacer sea aproximarla.
~ 18 ~
Bibliografa
http://www.cidse.itcr.ac.cr/cursos-linea/EcuacionesDiferenciales/EDO-Geo/edo-cap1geo/node12.html http://matematicas.udea.edu.co/~jescobar/ http://deusith.wordpress.com/teoremas-de-existencia-y-unicidad/existencia-yunicidad-de-ecuaciones-diferenciales-ordinarias-2/ www.edicionsupc.es/ftppublic/pdfmostra/ME04200C.pdf mate.dm.uba.ar/~wolanski/ode.pdf http://sistemas.itlp.edu.mx/tutoriales/matematicas5/t23.htm Martin Braun Differential Equations and Their Applications : An Introduction to Applied Mathematics 4th ed. (Texts in Applied Mathematics, Vol. 11) Springer Tom M. Apostol Anlisis Matemtico, segundada edicin. Revert Michael Spivak Calculus, segunda edicin. Revert
~ 19 ~

Teoremas de Existencia y Unicidad

Cargado por

Copyright:

Formatos disponibles

Teoremas de Existencia y Unicidad

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Teoremas de Existencia y Unicidad

Cargado por

Copyright:

Formatos disponibles

UNIVERSIDAD NACIONAL DEL CALLAO FACULTAD DE INGENIERIA ELECTRICA

TEOREMA DE EXISTENCIA Y UNICIDAD DE LAS EDO

090577A 090521F 090565C 090519A 090568B

Universidad Nacional del Callao

Facultad de Ingeniera Elctrica

Universidad Nacional del Callao

Facultad de Ingeniera Elctrica