Existencia y Unicidad de Ecuaciones Diferenciales
Existencia y Unicidad de Ecuaciones Diferenciales
Existencia y Unicidad de Ecuaciones Diferenciales
f
=f ( x , y ) ; y ( x 0 )= y 0
y
(1)
Sin saber ms de este problema con valores iniciales rpidamente nos vienen
a la cabeza tres preguntas:
1. Cmo sabems que (1) tiene solicin si sabemos que no siempre
podemos exhibirla?
2. Cmo sabemos, en caso que existiera, que tal solucin es nica? son
dos, tres o hay una infinidad de soluciones a (1)?
3. Para qu nos molestamos en saber esto? despus de todo qu utilidad
tiene molestarse en encontrar una solucin que podamos exhibir con
presicin?
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.
y ' =f ( x , y )
donde la funcin
f (x , y)
x0 , y
( 0) Si la
b)
f ( x , y ) admite
derivada
parcial
f
y continua
con
respecto
y ' =f ( x , y ) que
x0 , y
( 0)
M 0
Fig. 1.
El teorema expresa las condiciones suficientes para la existencia de solucin
nica del problema de Cauchy para la ecuacin
de la ecuacin
Aqu,
f ( x , y )=
mas,
( X0 , 0)
f ( x , y ) y su derivada parcial
por
1
2
y
1 f 2
,
=
y2 y y3
En los puntos
funcin
y'=
cada
punto
del
f
y son discontinuas en el eje OX),
eje OX pasa
por
y= 3(xx 0 ) .
y ' =xy +e y
una
sola
curva
integral
f
=xe y
y
y'=
33 2
y
2
f ( x , y )=
33 2
y es una funcin definida y
2
f
1
=3
y y se
y unicidad. Por consiguiente, es posible que no haya unicidad en los puntos del
3
y=
(x +c )
8
es solucin de la
y=0 .
As, pues, por cada punto del eje OX pasan por lo menos dos curvas integrales
y, por consiguiente, en los puntos de este eje, verdaderamente, queda
infringida la unicidad.
Son tambin lneas integrales las formadas por trozos de las parbolas cbicas
3
y=
( x +c )
8
y los segmentos del eje OX; por ejemplo, las lneas ABOC1,
ABB2C2, A2B2x, etc. De este modo, por cada punto del eje OX pasan infinitas
lneas integrales.