Teorema De Existencia Y Unicidad

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 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,

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
Asumequeq0(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
http://mitecnologico.com/sistemas/Main/TeoremaDeExistenciaYUnicidad#sthash.F4Nhk89N.
dpuf

El Wronskiano
Los Wronskianos son funciones denominadas de tal forma en honor al fsico, filsofo y
matemtico polaco Josef Hoene-Wronski (1778-1853). Son fundamentales en el estudio de los
sistemas ecuaciones diferenciales. Dichos sistemas surgen en problemas que se relacionan
principalmente con las variables dependientes las cuales son funcin de la propia variable
independiente. Son de utilidad para determinar si dos funciones son independientes
linealmente y de esta forma crear un conjunto solucin que a la vez respete la teora de las
ecuaciones diferenciales, veamos entonces un ejemplo.

a, b y c son constantes en la siguiente ecuacin diferencial, que a la vez es de segundo orden,

de primer grado y homognea.
Es posible que la solucin a esta ecuacin sea una combinacin lineal como la que vemos a
continuacin,

Debemos comprobar lo anterior y una de las formas para hacerlo es anotar la ecuacin en
forma de operador. Siendo as nos quedara:

Las races de esto son 1 y 2

Como el polinomio es de segundo grado podemos obtener dos races, las cuales pueden ser,
reales
diferentes,
reales
iguales
o
complejas
conjugadas.
Para probar si es posible realizar esta combinacin es posible el uso del Wronskiano como
determinante. Los resultados a comprobar son:

Es de gran importancia tener en cuenta que la solucin general es,

Es una combinacin lineal que corresponde a las dos soluciones. Se conoce que las races son
reales y diferentes, por lo cual si se utiliza la frmula general, el discriminante de esta ser
mayor que las races las cuales son reales y diferentes en este caso:

En la primera lnea se deben colocar las soluciones que se probarn si son dos, el wronskiano
es entonces de 22. En la lnea secundaria se ubicarn las derivadas de las soluciones.
Entonces si dan como resultado,

Las derivadas sern estas,

Cuando son colocadas en el determinante tenemos lo siguiente,

Se resuelve esto con la operacin que sigue,

El Wronskiano es entonces:

Si el Wronskiano es diferente de cero, las funciones son linealmente independientes. Si las

races son diferentes, entonces no vale cero. Por lo tanto la solucin de este ejercicio no puede
ser cero puesto que las races son diferentes y el nico punto donde la exponencial tiene valor
cero es si x corresponde a menos infinito. Como el wronskiano es diferente de cero se
comprueba que las soluciones son linealmente independientes.

En otro caso si el discriminante es igual a cero las races sern reales e iguales. Si se realiza el
Wronskiano con dos races iguales, nos da como resultado cero, por lo cual tendramos
soluciones linealmente independientes.
En caso que el discriminante sea menor que cero las races sern lo que llamamos complejas
conjugadas.
Es importante saber que las funciones son linealmente independientes a excepcin de que el
exponencial sea cero, o sea si x, tiende a menos infinito. Si se consideran funciones de tercer
grado puede que esto no sea de tal forma ya que por ejemplo el valor absoluto de x elevado al
cubo puede ser escrito de la siguiente forma:

Se puede verificar que esta funcin es linealmente independiente aunque su Wronskiano sea
cero.

Ecuaciones diferenciales homogneas

E.D. Homogneas de Primer Orden

Una ecuacin diferencial de primer orden homogneo, implica solamente a la primera
derivada de la funcin, a la funcin misma, y a coeficientes constantes. La ecuacin es de la
forma

y puede resolverse por sustitucin

La solucin que se ajusta a una situacin fsica especfica, se obtiene sustituyendo la solucin
en la ecuacin, y evaluando las diversas constantes que se obtienen, al forzar la solucin para
adaptarse a las condiciones de contorno fsico del problema en cuestin. Sustituyendo da

Ecuacin Diferencial No Homognea de Primer Orden

Un ejemplo de ecuacin diferencial no homognea lineal de primer orden es

Un valor de la constante c distinto de cero es lo que hace que la ecuacins sea no homognea y
aade un paso mas en el proceso de solucin de la misma. El camino hacia una solucin
general pasa por encontrar previamente una solucin a la ecuacin homognea (es decir, quitar
la constante c), y luego encontrar una solucin particular a la ecuacin no homognea (es
decir, encontrar cualquier solucin considerando la constante c como parte de la ecuacin). La
solucin a la ecuacin homognea es

Por sustitucin, se puede verificar que estableciando esta funcin igual al valor constante c/bsatisfacer a la ecuacin no homognea.

Forma parte de la naturaleza de las ecuaciones diferenciales, que la suma de soluciones sea
tambin otra solucin, de modo que tomando la suma de las dos soluciones de arriba, se puede
aproximar a una solucin general. El requisito final para la aplicacin de la solucin al
problema fsico es que la solucin encuentre las condiciones de contorno fsicas del problema.
La situacin ms normal en los problemas fsicos, es que las condiciones de contorno
(condiciones de frontera) son los valores de la funcin f(x) y sus derivadas cuando x=0. Las
condiciones de contorno a menudo se llaman "condiciones iniciales". Para la ecuacin de
primer orden, necesitamos especificar una condicin de contorno. Por ejemplo:

Sustituyendo para x=0 da:

Dependencia e independencia lineal,

Wronskiano
Se dice que un conjunto de funciones, f1(x), f2(x), ... , fn(x) es linealmente dependiente en un
intervalo Iv si existen constantes, C1, C2, ... , Cn no todas cero, tales que --> C1f1(x) +
C2F2(x) + ... + CnFn(x) = 0

Para toda x en el intervalo. Si el conjunto de funciones no es linealmente dependiente en el

intervalo, se dice que es linealmente independiente.
El wronskiano es una funcin llamada as por el matemtico polaco Jzef Hoene-Wroski,
especialmente importante en el estudio de las ecuaciones diferenciales ordinarias.

Dado un conjunto de n funciones, f1, ..., fn, el wronskiano W(f1, ..., fn) est dado por:

El wronskiano es el determinante de la matriz construida al colocar las funciones en el primer

rengln (o fila), la primera derivada de cada funcin en el segundo rengln, y as hasta la
derivada n-1, formando as una matriz cuadrada, algunas veces llamada matriz fundamental.
El wronskiano puede usarse para determinar si un conjunto de funciones es linealmente
independiente en un intervalo dado:

Si el wronskiano es distinto de cero en algn punto de un intervalo, entonces las funciones

asociadas son linealmente independientes en el intervalo.
Esto es til en muchas situaciones. Por ejemplo, si queremos verificar si dos soluciones de una
ecuacin diferencial de segundo orden son independientes, quizs podamos usar el
wronskiano. Note que si el wronskiano es cero uniformemente sobre el intervalo, las funciones
pueden ser o no ser linealmente independientes.
Si un conjunto de funciones es linealmente dependiente en un intervalo, esto implica
obligatoriamente que el wronskiano correspondiente es uniformemente cero en el intervalo,
pero lo segundo no implica lo primero.
Una malinterpretacin comn (desafortunadamente promulgada en muchos textos) es que si W
= 0 en cualquier lugar, implica una dependencia lineal - lo que es incorrecto.

Bibliografa
(s.f.). Recuperado el 16 de 02 de 22, de
http://www.mitecnologico.com/main/creaciondeindices
anonimo. (- de - de -). mitecnoligico. Recuperado el 22 de 02 de 2016, de
http://www.gayatlacomulco.com/tutorials/matematicas5/t25.htm

Nave, M. O. (s.f.). ecuaciones diferenciales homogeneas y no homogeneas. Recuperado el 16

de 02 de 2016, de http://hyperphysics.phy-astr.gsu.edu/hbasees/math/deinhom.html#c1
(anonimo, -)
perez,

v.
(22
de
02
de
2016).
matematica.
http://matematica.laguia2000.com/general/el-wronskiano

Obtenido

de

soto,

l.
(22
de
02
de
2016).
mitecnoligico.
Obtenido
http://mitecnologico.com/sistemas/Main/TeoremaDeExistenciaYUnicidad

de