Teorema de 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?

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).
"Sea , donde es abierto, una
funcin continua y localmente Lipschitz respecto de (interprtese como
la forma estndar de una EDO n-dimensional de primer orden). Entonces,
dado , podemos encontrar
un intervalo cerrado
donde existe solucinnica del siguiente problema de Cauchy:

que cumple que los pares "
De hecho, este puede ser encontrado de manera explcita, en la demostracin
se dan detalles de ello.


Clasificacin y aplicacin de las ecuaciones diferenciales.
Por tipo.
Si una ecuacin diferencial contiene slo derivadas ordinarias de una o ms
variables dependientes con respecto a una sola variable independiente se dice
que es una ecuacin diferencial ordinaria.
Algunos ejemplos de ecuaciones diferenciales ordinarias:







Si una ecuacin diferencial contiene derivadas parciales de una o ms variables
dependientes con respecto a una o ms variables independientes se dice que es
una ecuacin diferencial parcial
Algunos ejemplos de ecuaciones diferenciales parciales:



y x
dt
dy
dt
dx
y
dx
dy
dx
y d
e y
dx
dy
x
+ = +
= +
= +
2
0 3
2
2
2
y
v
x
u
t
u
t
u
x
u
y
u
x
u
c
c
=
c
c
c
c

c
c
=
c
c
=
c
c
+
c
c
2
2
2
2
2
2
2
2
0



Por orden.
El orden de una ecuacin diferencial (ya sea ordinaria o parcial) es el orden de
la derivada mayor en la ecuacin
La ecuacin:

Es una ecuacin diferencial ordinaria de segundo orden.

Una ecuacin diferencial ordinaria de n-simo orden se puede expresar mediante
la forma general:
F(x, y, y, y, . . ., y
(n)
)=0
Donde F es una funcin de valores reales de n+2 variables x, y, y, y, ..., y
(n)
.
Es posible despejar de una ecuacin diferencial ordinaria en forma nica la
derivada superior y
(n)
en trminos de las n+1 variables restantes.
La ecuacin diferencial:



Donde f es una funcin continua de valores reales, se denomina forma normal.



x
e y
dx
dy
dx
y d
= |
.
|

\
|
+ 2 2
3
2
2
) ., . . , , , , (
) 1 (
=
n
n
n
y y y y x f
dx
y d


Por linealidad.
Se dice que una ecuacin diferencial ordinaria de orden n es lineal si F es lineal
en y, y, y, . . ., y
(n)
.
Esto significa que una ecuacin diferencial ordinaria de orden n es lineal cuando:




En las ecuaciones diferenciales lineales de primero y segundo orden (n=1 y n=2):







Se puede observar las caractersticas de una ecuacin diferencial lineal: La
variable dependiente Y y todas sus derivadas y, y, . . ., y
(n)
son de primer grado,
es decir, la potencia de cada trmino en que interviene y es 1.
Los coeficientes a
0
, a
1
, , a
n
de y, y, . . ., y
(n)
dependen slo de la variable
independiente x.

Una ecuacin diferencial ordinaria es una relacin en la cual intervienen
una funcin de una variable y una o varias de sus derivadas. En
) ( ) ( ) ( ) ( ... ) ( ) ( x g y x a
dx
dy
x a
dx
y d
x a
dx
y d
x a
dx
y d
x a
n
n
n
n
n
n
= + + + + +

0 1
2
2
2
1
1
1
) ( ) ( ) (
0 1
x g y x a
dx
dy
x a = +
) ( ) ( ) ( ) ( x g y x a
dx
dy
x a
dx
y d
x a = + +
0 1
2
2
2
general, esta funcin es desconocida y se llama incgnita.
y = x2 (1.0.1)
y + y = 0 (1.0.2)
d3y
dt3 +dy
dt= ey2+ sen t (1.0.3)

son ecuaciones diferenciales ordinarias.
Tenemos, por otro lado, el concepto de ecuacin diferencial parcial
en el cual se relacionan las derivadas parciales de una funcin desconocida
de dos o ms variables independientes
D2u
Dx2 +D2u
Dy2 = 0 (1.0.4)
es una ecuacin diferencial parcial.
El orden de una ecuacin diferencial es el orden de la derivada ms
alta de la incgnita. Asi, la ecuacin (1.0.1) es de primer orden, (1.0.2)
y (1.0.4) son de segundo orden y (1.0.3) es de tercer orden.

Una ecuacin de la forma es una ecuacin diferencial lineal de orden n. Observe
que la variable y y sus derivadas no aparecen afectadas mas que por el producto
de las funciones ai(x)
(x) d2y
dx2 + y2 = 0
no es lineal porque la variable y aparece elevada al cuadrado.
Considere la ecuacin diferencial de orden n dada por la igualdad.

donde n es una funcin de valores reales en n + 2 argumentos. Una
funcin y = f(x) definida en un intervalo I es una solucin de una
ecuacin diferencial (1.0.5) en I si f junto con sus derivadas satisface

F_x, f(x), f0(x), . . . , f(n)(n)_= 0.

Por ejemplo, la funcin y = sen t es un solucin de la ecuacin (1.0.2) porque

d2
dt2 (sen t) + sen t = sen t + sen t = 0

En algunas ocasiones, una solucin de una ecuacin diferencial se presentara de
manera implcita, es decir, en la forma

g(x, y) = 0. (1.0.6)




La relacin (1.0.6) se llama solucin implcita si de ella se puede obtener,
despejando y, al menos una solucin explicita y = f(x) de la
ecuacin diferencial (1.0.5). En otras palabras, si podemos hallar una
funcin y = f(x) tal que g(x, f(x)) = 0 y
F_x, f(x), f0(x), . . . , f(n)(n)_= 0 para toda x 2 I.

Por ejemplo,
x2 + y2 1 = 0, y 6= 0, (1.0.7)

es una solucin implcita de la ecuacin diferencial
dy
dx= xy (1.0.8)

porque de ella podemos obtener dos funciones reales f1 y f2 dadas por
f1 =/1 x2 y f2 = /1 x2,

donde x 2 (1, 1), y estas funciones son soluciones explicitas de la
ecuacin (1.0.8). En efecto, mediante una sustitucin se puede verificar
que f1 y f2 son soluciones de la ecuacin (1.0.8). Tambin podemos
derivar implcitamente (1.0.7) y obtenemos

2x + 2y dy
dx= 0 o bien dy
dx= xy
.
Por otro lado, observe que derivando implcitamente vemos que la
relacin x2 + y2 + 1 = 0 satisface formalmente la ecuacin diferencial
(1.0.8). Sin embargo, en este caso no se define ninguna solucin
explicita de ella.



Regresemos al ejemplo (1.0.1). Sabemos del calculo que todas las
soluciones de esta ecuacin diferencial estn dadas por
y = 1
3x3+C (1.0.9)

donde C es una constante real cualquiera. En este caso decimos que la
expresin (1.0.9) representa la solucin completa de la ecuacin (1.0.1).
Esto significa que cualquier solucin a la ecuacin (1.0.1) est dada por
(1.0.9) tomando una buena eleccin de la constante C. A la constante
C se le da el nombre de constante arbitraria o parmetro. Por ello, a
(1.0.9) se le llama familia paramtrica de funciones.
Sera deseable que toda ecuacin diferencial de primer orden tenga
como conjunto de soluciones a una familia paramtrica de funciones,
sin embargo, la situacin no es tan sencilla. En efecto, en
muchos casos el conjunto de todas las soluciones ser una familia paramtrica de
funciones ms algunas soluciones adicionales y, en algunos
otros casos la ecuacin diferencial no tendr solucin alguna.
En este captulo estudiaremos algunos tipos de ecuaciones diferenciales
de primer orden para las cuales se puede obtener una solucin
exacta y el objetivo ser desarrollar la habilidad necesaria para reconocerlas
y aplicar el mtodo de resolucin correspondiente. Sin embargo,
debemos tener presente que as como no siempre existe un mtodo
para evaluar una integral dada, tambin ocurre que no siempre existe
un mtodo que se aplique a una ecuacin diferencial dada. No
obstante, siempre que sea posible, nos gustara hallar la solucin completa
a una ecuacin dada.



Supondremos que nuestra ecuacin es, o se puede poner, en la forma
dy
dx= f(x, y), (1.0.10)

o bien, en trminos de diferenciales, en la forma
M(x, y) dx + N(x, y) dy = 0.
Un principio general de las matemticas es reducir un problema nuevo
a un problema ya resuelto. Esto se logra, casi siempre, simplificando el
problema hasta que toma la forma de uno que ya est resuelto. Por lo
tanto, es conveniente tener presente el tipo de ecuaciones diferenciales
que podemos resolver. Hasta ahora, las nicas ecuaciones diferenciales
que podemos resolver tienen la forma
dy
dx= g(x), (1.0.11)




donde g es una funcin integrable. Sabemos del calcul integral que si
G es una primitiva o anti derivada de la funcin g, entonces todas las
soluciones de la ecuacin diferencial (1.0.11) estn dadas por la familia
y = G(x) + C
donde C es una constante arbitraria.
En la aplicaciones, en general, no estaremos interesado en todas
las soluciones de una ecuacin diferencial. Ms bien, estaremos buscando
una solucin especifica y que en algn punto x0 tenga un valor
especial y0. Entonces queremos determinar una funcion y tal que
dy
dx= f(x, y), y(x0) = y0. (1.0.12)
Nos referiremos a la ecuacin 1.0.12 como un problema con valor inicial.
Ejemplo 1.0.1. Encuentre la solucin del problema con valor inicial
dy
dx= x2, y(1) = 4.
Sabemos del calculo que todas las solucines de esta ecuacion diferencial
se encuentran en la familia y = 1
3x3 + C, donde C es una constante
arbitraria. Por lo tanto, sustituyendo x y y por 1 y 4 respectivamente,
obtenemos
y(1) = 1
3 1 3 + C = 4.
De esta ecuacion vemos que C tiene que valer 11/3. Por lo tanto, la
solucion del problema con valor inicial es
y(x) = 1
3x3 + 11
3 .