C08 Existencia Soluciones

481 Anlisis matemtico para Ingeniera. M. MOLERO; A. SALVADOR; T. MENARGUEZ; L.
GARMENDIA
CAPTULO 8
Exi st enci a y uni ci dad de sol uci ones

En el captulo anterior se han introducido las ecuaciones diferenciales
ordinarias de primer orden y se han mostrado los procedimientos a seguir para
obtener la solucin de distintos tipos de ecuaciones diferenciales, en funcin de
sus caractersticas especficas. En estos casos, la existencia de una solucin
se puede establecer directamente, resolviendo el problema y encontrando la
funcin que verifica las condiciones pedidas. Sin embargo en el caso general
no es siempre posible encontrar la solucin de una ecuacin diferencial y hay
que recurrir a la utilizacin de mtodos numricos que permitan obtener valores
aproximados de la solucin que se busca. Pero para que estos mtodos sean
eficaces es preciso asegurar previamente la existencia y unicidad de la
solucin de lo que se conoce como un problema de valor inicial o problema de
Cauchy.
Los teoremas de existencia y unicidad que se presentan en este captulo
garantizan, bajo determinadas condiciones de regularidad, la existencia y la
unicidad de la solucin sin necesidad de calcularla previamente.
En la seccin 1 se introduce lo que se conoce como problema de valor
inicial, o problema de Cauchy, y se presentan conceptos bsicos y resultados
previos que se utilizarn a lo largo del captulo. En la seccin 2 se presentan el
teorema de Cauchy-Peano, que garantiza bajo sus hiptesis la existencia de
482 Captulo 8: Ecuaciones diferenciales M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA
solucin de un problema de Cauchy, y el teorema de Picard-Lindelf, que
asegura la unicidad de la solucin.
En muchos casos interesa obtener la solucin de un problema de valor
inicial de forma local, es decir, en un entorno del punto en el que se da la
condicin inicial. En la seccin 3 se estudian las condiciones para la existencia
y la unicidad de soluciones locales, as como la posibilidad de prolongar dichas
soluciones a intervalos mas amplios. Cada seccin termina con una amplia
coleccin de ejemplos resueltos.

8.1. PROBLEMA DE CAUCHY. TEOREMAS
PREVIOS
8.1.1. Probl ema de Cauchy
Sea f(x, y) una funcin continua, definida en [a, b]
n
y con valores en
n
. Sea x
0
un punto del intervalo [a, b]. Se considera la ecuacin diferencial y
=f(x, y) y el valor de la solucin en el punto x
0
, y(x
0
) =y
0
, y
0

n
Definicin 8.1.1:
.
Un problema de valor inicial o problema de Cauchy consiste en la
bsqueda de una funcin y(x) definida para los valores x del intervalo [a, b],
que sea solucin de la ecuacin diferencial y
=f(x, y) en [a, b], y que en un

punto x
0
del intervalo [a, b] tome el valor y
0
El problema se puede representar de la forma:
.
M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA Existencia y unicidad de soluciones 483
=
=
0 0
y ) x ( y
), y , x ( f y
, ] b , a [ x
El propsito de este captulo es determinar bajo qu condiciones de
regularidad para f(x, y) se puede asegurar que el problema de valor inicial as
planteado tiene solucin y cundo se puede asegurar que dicha solucin es
nica.
Una primera observacin es la siguiente:
Resolver el problema de Cauchy
=
=
0 0
y ) x ( y
), y , x ( f y
, ] b , a [ x
es equivalente a encontrar una solucin de la ecuacin
. ds )) s ( y , s ( f y ) x ( y
x
x
+ =
0
0

En efecto, si existe una funcin y(x) que sea solucin del problema de
Cauchy que se acaba de plantear, debe verificar que y(x) =f(x, y(x)). Por tanto
integrando esta expresin e imponiendo la condicin y(x
0
) =y
0

=
x
x
x
x
ds )) s ( y , s ( f ) s ( ' y
0 0
se tiene:

=
x
x
ds )) s ( y , s ( f y ) x ( y
0
0

. ds )) s ( y , s ( f y ) x ( y
x
x
+ =
0
0

Recprocamente, si se deriva la expresin anterior se tiene la ecuacin
diferencial y =f(x, y), y el valor de y(x) en el punto x
0
es precisamente y
0
, ya
que al tener los mismos lmites de integracin la integral se anula.
Para asegurar que el problema de Cauchy
=
=
0 0
y ) x ( y
), y , x ( f y
, ] b , a [ x
tiene solucin es suficiente, entonces, demostrar que existe una funcin y(x)
que verifica la ecuacin integral.
. ds )) s ( y , s ( f y ) x ( y
x
x
+ =
0
0

Para encontrar una solucin de esta ecuacin se puede definir una
transformacin T sobre el conjunto de todas las funciones continuas en el
intervalo [a, b] en
n
+ =
x
x
ds )) s ( , s ( f y ) x ( T
0
0
, de manera que
.
Si existe una funcin tal que T( ) = , es decir, si la transformacin T
tiene un punto fijo, es precisamente la solucin del problema de Cauchy
propuesto.
8.1.2. Apl i caci ones cont ract i vas. Teorema del punt o f i j o
No toda transformacin tiene un punto fijo. Pero existen transformaciones
para las que se puede garantizar su existencia. Un ejemplo de ellas lo
constituyen las transformaciones contractivas, que sern de utilidad para
garantizar la existencia y unicidad de solucin de un problema de Cauchy.
Definicin 8.1.2.
Sea T una aplicacin definida de un espacio mtrico E en s mismo. T es
una aplicacin contractiva si existe , 0 < <1, tal que para todo x, y E se
verifica que d(T(x), T(y)) d(x, y).
De la propia definicin se deduce que una aplicacin contractiva es
continua. El siguiente teorema asegura la existencia de un punto fijo para las
transformaciones contractivas.
Teorema 8.1.1: Teorema del punto fijo de una aplicacin contractiva
Toda aplicacin contractiva T definida de un espacio mtrico completo E
en s mismo tiene un nico punto fijo. Es decir, existe un punto x E tal que
T(x) =x.
Demostracin.
Sea x
0
E un punto de partida. Si se aplica la transformacin T
sucesivamente se tiene: T(x
0
) =x
1
, T(x
1
) =x
2
, , T(x
n
) =x
n+1
La sucesin resultante es una sucesin de Cauchy, pues en efecto, se
tiene que:

d(x
n+1
, x
n
) =d(T(x
n
), T(x
n-1
)) d(x
n
, x
n-1
)
n
d(x
1
, x
0
Utilizando la propiedad triangular de la distancia se obtiene que la
distancia entre dos elementos cualesquiera de la sucesin es
).
d(x
n+k
, x
n
) d(x
n+k
, x
n+k-1
) +d(x
n+k-1
, x
n+k-2
) + +d(x
n+1
, x
n
) (
n+k-1
+
n+k-2
+ +
n
)d(x
1
, x
0
)

1
n
d(x
1
, x
0
Como es menor que 1, para un valor de n suficientemente grande la
distancia d(x
).
n+k
, x
n
) se puede hacer tan pequea como se quiera; por tanto la
sucesin es de Cauchy, y como E es un espacio mtrico completo la sucesin
es convergente.
Sea x el lmite de la sucesin. Como T es continua
T(x) =T(
n
lm x
n
n
lm ) = T(x
n
) =
n
lm x
n+1
Se tiene entonces que el lmite de la sucesin es un punto fijo de T.
=x.
Slo falta demostrar que es el nico punto fijo de la transformacin. Esto
es as porque si existiera otro punto fijo z distinto de x, al ser T contractiva
d(x, z) =d(T(x), T(z)) d(x, z) <d(x, z),
lo cual es una contradiccin. Por tanto el punto fijo es nico.
Una observacin de inters es que la demostracin anterior proporciona
un camino para hallar el punto fijo de una transformacin contractiva: basta
aplicar la transformacin a un punto arbitrario de E, volverla a aplicar de
manera indefinida y calcular su lmite.
8.1.3. Funci ones equi cont i nuas. Teorema de Ascol i -Arzel
El teorema de Ascoli-Arzel, que se presenta a continuacin, tiene una
gran importancia por sus muchas aplicaciones. Entre ellas se utilizar en la
seccin 8.2 para demostrar el teorema de existencia de Cauchy-Peano.
Establece condiciones sobre una familia de funciones definidas en un conjunto
E
n
bajo las cuales se puede asegurar que existe una subsucesin
uniformemente convergente. Se presenta nicamente el enunciado del
teorema, porque la demostracin excede de los objetivos de este libro.
1
El teorema de Ascoli-Arzel es de alguna manera similar, adaptado en
este caso a funciones, al teorema de Bolzano-Weierstrass, que asegura que un
conjunto infinito nmeros reales contenido en un subconjunto de nmeros
reales cerrado y acotado tiene una subsucesin convergente.

En las hiptesis del teorema de Ascoli-Arzel aparecen los conceptos de
acotacin uniforme y equicontinuidad de una familia de funciones, que se
enuncian a continuacin.
Definicin. 8.1.3.
Sea {
}una familia de funciones definidas en un conjunto E

n
con
valores en
n
. Se dice que {
est uniformemente acotada en E si existe

un nmero real M >0 tal que para todo x E y todo se verifica |
Ejemplos:
(x)|
M.
La sucesin
n
En cambio, la sucesin
(x) =cos nx est uniformemente acotada en porque
existe M =1 tal que para todo x y todo n N se tiene que | cos nx | 1.
n
x
nx cos
(x) = est acotada en cada punto del
intervalo (0, 1), pero no esta uniformemente acotada en (0, 1).
Por ltimo, la sucesin
n

1
La demostracin se puede ver en M. Guzmn: Ecuaciones diferenciales ordinarias.
Teora de estabilidad y control. Ed. Alhambra. 1975.
(x) = nx no est acotada uniformemente ni
puntualmente en (0, 1).
Definicin. 8.1.4 .
La familia {
de funciones definidas en un conjunto E

n
es
equicontinua en E si para todo >0 existe un >0 tal que para todo par de
puntos x
1
, x
2
E situados entre s a una distancia menor que , |x
1
x
2
| <, y
todo se verifica |
(x
1
)
(x
2
De la propia definicin se deduce que la equicontinuidad exige que cada
una de las funciones de la familia sea uniformemente continua en E, y que
adems para cada valor fijado de el valor de preciso sea el mismo para
cada una de las funciones de la familia.
)| <.
Ejemplos:
La sucesin
n
(x) =nx no es una familia equicontinua de funciones en el
intervalo [0, 1], y sin embargo cada una de las funciones
n
La sucesin
(x) = nx es
uniformemente continua en [0, 1].
n
(x) =x
n
2
1
es equicontinua en el intervalo [0, ], pero no lo es
en el intervalo [0, 1]. (Se demuestra en el ejemplo 8.1.1).
Se puede demostrar sin demasiada dificultad que si una sucesin
{
n
(x)}
nN
de funciones continuas converge uniformemente en un conjunto
compacto E a una funcin , entonces {
n
(x)}
nN
El teorema de Ascoli-Arzel en cierta manera permite asegurar resultados
en sentido inverso.
es uniformemente
acotada y equicontinua. (Ejercicio 8.1 ).
Teorema 8.1.2: Teorema de Ascoli-Arzel
Sea A un conjunto de ndices infinito, y sea {
una familia de
funciones definidas en un conjunto acotado E
n
con valores en
n
tales que
{
es equicontinua y uniformemente acotada en E. Entonces existe una

subsucesin {
n
(x)}
nN
{
}
,
8.1.4. Condi ci n de Li pschi t z
que converge uniformemente en E.
La condicin de Lipschitz se denomina as porque fue introducida por R.
Lipschitz en 1 876. Garantiza a las funciones que la verifican un grado de
regularidad intermedio entre la continuidad y la derivabilidad. Se presenta en
este captulo porque se utilizar como condicin suficiente para asegurar la
unicidad de solucin de un problema de Cauchy.
Definicin 8.1.5.
Sea f(x) una funcin definida en un subconjunto D
n
, con valores en
n
. Se dice que f(x) verifica la condicin de Lipschitz , o que es lipschitziana
en D, si existe una constante L tal que para todo x
1
, x
2
|f(x
D,
1
) f(x
2
)| L|x
1
x
2
Las funciones que verifican la condicin de Lipschitz se llaman funciones
globalmente lipschitzianas en D, o simplemente lipschitzianas en D.
|.
La constante L se denomina constante de Lipschitz de la funcin en D.
La condicin de Lipschitz puede ser una condicin demasiado fuerte si lo
que se estudia es un problema local. En estos casos es suficiente que se
verifique una condicin de Lipschitz local, que se define a continuacin.
Definicin 8.1.6.
Sea f(x) una funcin definida en un subconjunto abierto D
n
, con
valores en
n
. Se dice que f(x) es localmente lipschitziana en D si para cada
rectngulo R D existe una constante L tal que si x
1
, x
2
|f(x
R
1
) f(x
2
)| L|x
1
x
2
De la propia definicin se deduce que si una funcin f(x) es lipschitzina
(local o globalmente) en un dominio D, es continua en D. En sentido inverso,
existen funciones continuas que no son lipschitzianas (ejemplo 8.1.4). La
condicin de Lipschitz es por tanto una condicin mas fuerte que la
continuidad.
|.
En cuanto a su relacin con la derivada, se puede medir sin mas que
tener en cuenta que la condicin de Lipschitz respecto de la segunda variable
indica que el cociente incremental
| x x |
| ) x ( f ) x ( f |
1 2
1 2
, x
1
, x
2
est acotado por la constante de Lipschitz L en todo el dominio D de definicin
de la funcin. Esto lleva a pensar que la condicin de Lipschitz est
directamente relacionada con el comportamiento de la derivada o las derivadas
parciales de la funcin, si es que existen.
D.
La condicin de Lipschitz se utilizar en las secciones 2 y 3 de este
captulo para funciones f(x, y) definidas en un subconjunto D de
n
La siguiente proposicin proporciona una condicin suficiente para que
una funcin verifique la condicin de Lipschitz.
, que
verifican la condicin de Lipschitz respecto de la segunda variable, y, (local o
globalmente).
Proposicin 8.1.3:
Si f(x, y) es continua en D
n
Demostracin:
, existen las derivadas parciales
respecto de la segunda variable y estn acotadas en D, entonces f(x, y) verifica
la condicin de Lipschitz respecto de la segunda variable.
Por simplificar se hace para n =1, es decir, para y .
Sea M =sup{
y
) y , x ( f
: (x, y) D}, y sean (x, y

1
), (x, y
2
|f(x, y
) D. El teorema
del valor medio, considerada f como funcin de y, asegura que:
1
) f(x, y
2
y
) , x ( f

)| = | y
1
y
2
| , y
1
y
2
Por tanto |f(x, y
.
1
) f(x, y
2
) | M|y
1
y
2
|, para todo par de puntos (x, y
1
),
(x, y
2
Este resultado permite asegurar que si una funcin tiene derivadas
parciales respecto de la segunda variable y estn acotadas en un dominio D,
es lipschitziana respecto de dicha variable en D. Esto tiene especial inters
porque la condicin de Lipschitz no es en muchos casos una propiedad fcil de
verificar directamente de la definicin.
) D. Se tiene entonces que f(x, y) verifica la condicin de Lipschitz
respecto de la segunda variable con constante de Lipschitz L =M.
No obstante, es preciso tener en cuenta que una funcin puede verificar la
condicin de Lipschitz y sin embargo no ser derivable. As, por ejemplo, la
funcin f(x, y) =|y| es lipschitziana respecto de la segunda variable en todo
2
,
ya que para todo y
1
, y
2
y todo x se tiene que
|f(x, y
1
) f(x, y
2
)| | |y
1
| |y
2
| | |y
1
y
2
por lo que es lipschitziana respecto de la variable y en todo
|.
2
Sin embargo se puede asegurar que si una funcin es lipschitziana
respecto de la variable y en D, y existen sus derivadas parciales respecto de y
en D, entonces las derivadas parciales necesariamente tienen que estar
acotadas en D.
, con constante
de Lipschitz L =1. Pero no es derivable respecto de y en ningn punto de la
recta y =0.
Ejemplos resueltos
Ejemplo 8.1.1: Demostrar que la familia
n
(x) =x
n
2
1
es equicontinua en el
intervalo [0, ], pero no lo es en el intervalo [0, 1].
Es equicontinua en el intervalo [0,
2
1
]:
Hay que demostrar que para todo >0 existe un >0 tal que para todo
par de puntos x
1
, x
2
2
1
[0, ] que verifiquen |x
1
x
2
| <, y para todo n N, se
tiene que |x
1
n
x
2
n
En efecto,
| <.
|x
1
n
x
2
n
| =|x
1
x
2
||x
2
n-1
+x
1
x
2
n-2
+ +x
2
x
1
n-2
+x
1
n-1
| |x
1
x
2
1
2
n
n
| |x
1

x
2
Basta entonces tomar =/2 para que se verifique que |x
|
1
n
x
2
n
No es equicontinua en el intervalo [0, 1]:
| <.
En efecto, para cada x [0, 1], |
n
(1)
n
(x)| =1 x
n
Sea =
.
2
1
. Para todo valor de , 0 < <1, el punto x =1 /2 es tal que
|1 x| < y sin embargo 1 x
n
=1 (1 /2)
n
Ejemplo 8.1.2: Demostrar que f(x) =x
>, siempre que n sea
suficientemente grande.
2
Sean x
es lipschitziana en [0, 1].
1
, x
2
|f(x
[0, 1].
1
) f(x
2
)| =|x
1
2
x
2
2
| =|x
1
x
2
|| x
1
+x
2
| 2|x
1
x
2
Por tanto, f(x) =x
|.
2
Ejemplo 8.1.3: Demostrar que f(x) =x
es lipschitziana en [0, 1], con constante de Lipschitz L =
2.
n
La condicin n > 1 es necesaria, pues si n =1, la funcin f(x) =x es
globalmente lipschitziana en con constante de Lipschitz L =1.
, para nN, n > 1 es localmente
lipschitziana en .
Sea x
0
, y sea I =[x
0
r, x
0
+r]. Dados x
1
, x
2
|f(x
I,
1
) f(x
2
)| =|x
1
n
x
2
n
| =|x
1
x
2
||x
2
n-1
+x
1
x
2
n-2
+ +x
2
x
1
n-2
+x
1
n-1
|
|x
1
x
2
|n(x
0
+r)
n-1
L|x
1
x
2
Por tanto, para cada punto x
|.
0
y cada intervalo I =[x
0
r, x
0
+r] se
verifica la condicin de Lipschitz con una constante L =n(x
0
+r)
n-1
Es importante observar que la constante depende del punto x
.
0
y del
tamao del intervalo. Esto impide asegurar que la funcin sea globalmente
lipschitziana en . Y en efecto no lo es pues, si x
1
y x
2
son 0, al ser
|f(x
1
) f(x
2
)| =|x
1
n
x
2
n
| =|x
1
x
2
||x
2
n-1
+x
1
x
2
n-2
+ +x
2
x
1
n-2
+x
1
n-1
|
|x
1
x
2
|n(min (x
1
, x
2
))
n-1
el factor (min (x
,
1
, x
2
))
n-1
se puede hacer todo lo grande que se quiera sin mas
que tomar x
1
y x
2
Ejemplo 8.1.4: Demostrar que la funcin f(x, y) =y
suficientemente alejados del origen.
1/3
no es lipschitziana
respecto de la segunda variable en
2
La funcin f(x, y) =y
.
1/3
es continua en
2
|f(x, y
pero no es lipschitziana en
ningn rectngulo que tenga interseccin no vaca con la recta y =0. En efecto,
1
) f(x, 0)| =|y
1
1/3
| y |
/ 3 2
1
1
0| = |y
1
y el trmino
|,
| y |
/ 3 2
1
1
no est acotado por ninguna constante en el rectngulo,
pues para valores de y
1
Ejemplo 8.1.5: Sea f(x, y) =min(|x|, y) para (x, y)
prximos a cero el valor tiende a infinito.
2
. Demostrar que es
lipschitziana respecto de y en todo
2
La derivada parcial de f respecto de la variable y es 0 si |x| <y, vale 1 si
|x| >y, y en |x| =y no existe. Sin embargo la funcin es lipschitziana. En efecto:
.
|f(x, y
1
) f(x, y
2
| x | y , y
y | x | y
y | x | y
y , y | x |
| y y |
| y | x ||
|| x | y |
2 1
1 2
2 1
2 1
2 1
2
1
si
si
si
si 0
)| =
En cada uno de los casos se verifica que:
|f(x, y
1
) f(x, y
2
)| |y
1
y
2
y por tanto la funcin es lipschitziana respecto de y en todo
|,
2
con constante
de Lipschitz L =1.
Ejercicios
8.1. Demostrar que si una sucesin {
n
(x)}
nN
de funciones continuas
converge uniformemente en un conjunto compacto E a una
funcin , entonces {
n
(x)}
nN
8.2. Estudiar si las siguientes sucesiones de funciones son
equicontinuas o uniformemente acotadas en el intervalo (0, 1).
es uniformemente acotada y
equicontinua.
a) f(x) =
x
sennx
.
b) f(x) =sen nx.
8.3. Estudiar si las funciones siguientes verifican la condicin de
Lipschitz (local o global) en .
a) f(x) =cos x.
b) f(x) =xsen x.
8.4. Estudiar si las funciones siguientes verifican la condicin de
Lipschitz (local o global) respecto de la variable y.
a) f(x, y) =1 +y
2
b) f(x, y) =1 +x
.
2
c) f(x, y) =
.
2
1
1
y +
.
d) f(x, y) =
2
1 y
x
+
.

8.2. EXISTENCIA Y UNICIDAD DE SOLUCIN.
SOLUCIN GLOBAL
Sea f(x, y) una funcin continua, definida en [a, b]
n
y con valores en
n
. Sea x
0
=
=
0 0
y ) x ( y
), y , x ( f y
un punto del intervalo [a, b]. Se plantea a continuacin el estudio de
las condiciones de regularidad de la funcin f(x, y) bajo las cuales se puede
asegurar que el problema de Cauchy:
, ] b , x [ x
0

tiene solucin y cundo se puede asegurar que la solucin es nica.
Se ha comprobado en la seccin anterior que el problema es equivalente
a la existencia de solucin de la ecuacin integral:
+ =
x
x
ds )) s ( y , s ( f y ) x ( y
0
0
.
8.2.1. Teorema de exi st enci a gl obal . Teorema de Cauchy-
Peano
El Teorema de Cauchy-Peano asegura la existencia de solucin si la
funcin f(x, y) es continua y acotada en [x
0
, b]
n
Teorema 8.2.1: Teorema de Cauchy-Peano
.
Se considera el problema de Cauchy:
=
=
0 0
y ) x ( y
), y , x ( f y
, ] b , x [ x
0

donde la funcin f(x, y): [x
0
, b]
n

n
es continua y acotada en [x
0
, b]
n
Demostracin:
. Entonces el problema de valor inicial propuesto tiene al menos una
solucin.
Existen distintas demostraciones de este teorema. La que se presenta
aqu se debe a Tonelli [1925]
2
Se puede suponer por simplificar que el intervalo [x
.
0
La demostracin se basa en la construccin de una sucesin de funciones
y necesita el Teorema de Ascoli-Arzel.
, b] =[0, 1].
La primera funcin de la familia es constante: y
1
(x) =y
0
La segunda funcin se define como:
, 0 x 1.
y
2
+

2 1
0
2 0
0
/ x
ds )) s ( y , s ( f y
y
(x) =
1
2
1
si
2
1
0 si
<

x
x
.
Se puede observar que la funcin y
2
(x) es constante en la primera mitad
del intervalo, y en la segunda mitad se define a partir de los valores de y
2
2
1
(x) en
el intervalo [0, ].

2
Esta demostracin se ha obtenido de la que aparece en el libro: M. Guzmn:
Ecuaciones diferenciales ordinarias. Teora de estabilidad y control. Editorial Alhambra. 1975.

De manera sucesiva, para definir y
k
(x) se divide el intervalo [0, 1] en k
subintervalos del mismo tamao, y en cada uno de ellos se define y
k
y
(x) a partir
de los valores ya definidos en el subintervalo anterior, de la forma:
k
+

k / x
k
ds )) s ( y , s ( f y
y
1
0
0
0
(x) =
1 2 1
1
si
1
0 si
=
+

k , , , i ,
k
i
x
k
i
k
x

Como la funcin f(x, y) est acotada en [0, 1]
n
|f(x, y)| M en [0, 1]
, existe M tal que:
n
Se tiene entonces que las funciones y
.
k
(x) que se acaban de definir estn
uniformemente acotadas en [0, 1], pues para todo k y todo x [0, 1] se verifica
que |y
k
(x)| |y
0
Adems, para todo par x
| +M.
1
, x
2

|y
[0, 1] y todo k N, se tiene

k
(x
1
) y
k
(x
2
)| M| x
1
x
2
y por tanto la sucesin de funciones {y
|,
k
El teorema de Ascoli-Arzel asegura que existe una subsucesin {y
(x)}es equicontinua.
k*
y
(x)}
que converge uniformemente a una funcin y(x) en [0, 1]. Cada una de las
funciones de la subsucesin se puede escribir de la forma
k*
(x) =y
0

x
k
ds )) s ( y , s ( f *
0
+
x
k / x
k
*
* ds )) s ( y , s ( f
1
.
Al hacer tender k* a la parte de la izquierda de la igualdad tiende a y(x).
Teniendo en cuenta que la funcin f es continua y que la convergencia de
y
k*
(x) a la funcin y(x) es uniforme, se tiene, para todo x [0, 1],
x
k
ds )) s ( y , s ( f *
0

x
ds )) s ( y , s ( f
0
.
Como la funcin f est acotada:
x
k / x
k
*
* ds )) s ( y , s ( f
1
M
*
k
1
0.
Se tiene entonces que para todo x [0, 1]:
y(x) =y
0

x
ds )) s ( y , s ( f
0
+ ,
con lo cual la funcin y(x), lmite de la subsucesin y
k*

(x), es solucin del
problema de Cauchy propuesto.
8.2.2. Teorema de exi st enci a y uni ci dad gl obal . Teorema de
Pi cardLi ndel f
El teorema de Cauchy-Peano asegura la existencia de solucin del
problema de Cauchy propuesto. Pero no asegura la unicidad: pueden existir
distintas funciones que verifiquen el mismo problema de Cauchy.
El teorema de PicardLindelf resuelve el problema de la unicidad de
solucin si la funcin f(x, y) verifica adems una condicin mas fuerte que la
requerida en las hiptesis del teorema de Cauchy-Peano: la condicin de
Lipschitz respecto de la segunda variable.
Teorema 8.2.2: Teorema de PicardLindelf
Se considera el problema de valor inicial
=
=
0 0
y ) x ( y
), y , x ( f y
, ] [
0
b , x x
0
, b]
n

n
es continua en [x
0
, b]
n
y verifica
la condicin de Lipschitz respecto de la segunda variable en [x
0
, b]
n
, es
decir, existe una constante L tal que para todo x

[x
0
, b] y todo y
1
, y
2

n
se
verifica que |f(x, y
1
) f(x, y
2
)| L|y
1
y
2
Demostracin:
|. Entonces el problema de valor
inicial propuesto tiene una nica solucin.
Se considera el espacio vectorial E = C([x
0
, b],
n
) de las funciones
continuas en el intervalo [x
0
, b]. Dadas dos funciones
1
,
2
d(
E, se define la
distancia:
1
,
2
) x x ( K
e
0

) =sup{ |
1
(x)
2
(x)|: x [x
0
siendo K una constante fija tal que K >L. Se puede demostrar fcilmente que
es una distancia y que el espacio vectorial E con esta distancia es completo. Se
tiene entonces que E es un espacio mtrico completo.
, b]},
Se define ahora sobre E la aplicacin T tal que dada la funcin

+ =
x
x
ds )) s ( , s ( f y ) x ( T
0
0
E,
.
T() es tambin una funcin continua definida en el intervalo [x
0
Entonces, si
, b], y por
tanto pertenece a E.
1
,
2
E,
) x x ( K
e
0

|T
1
(x) T
2

x
x
0
(x)|
) x x ( K
e
0

|f(s,
1
(s)) f(s,
2
x
x
0
(s))|ds =
e
K(xs) ) x s ( K
e
0

|f(s,
1
(s)) f(s,
2
(s))|ds Ld(
1
,
2

x
x
0
) e
K(xs)
K
L
ds
d(
1
,
2
Se tiene entonces que:
).
d(T(
1
),T(
2
) x x ( K
e
0

)) =sup{ |
1
(x)
2
(x)|: x [x
0
K
L
, b]} d(
1
,
2
Como K >L, la aplicacin es contractiva y tiene un nico punto fijo que es
la nica solucin del problema de valor inicial propuesto.
).
Observacin: Si el problema de Cauchy es de la forma
=
=
0 0
y ) x ( y
), y , x ( f y
] x , a [ x
0

el teorema anterior se verifica tambin y el razonamiento sigue siendo vlido.
nicamente hay que modificar la definicin de distancia
d(
1
,
2
) x x ( K
e

0
) =sup{ |
1
(x)
2
(x)|: x [x
0
para que las acotaciones sigan siendo vlidas.
, b]},
Como ya se ha comentado en la seccin 1 de este captulo, la condicin
de Lipschitz en muchos casos no es fcil de determinar. La proposicin 8.1.3
asegura que la condicin de Lipschitz se verifica si existe la derivada respecto
de la variable y, y est acotada. Se tiene entonces demostrado el siguiente
teorema de existencia y unicidad:
Corolario 8.2.3:
=
=
0 0
y ) x ( y
), y , x ( f y
, ] b , x [ x
0

0
, b]
n

n
es continua en [x
0
, b]
n
y
) y , x ( f
y
existe y es continua en [x
0
, b]
n
Este teorema tiene utilidad pues aunque es ms restrictivo que el teorema
de Picard-Lindelf, suele ser mas fcil demostrar la continuidad de
. Entonces el problema de valor
inicial propuesto tiene una nica solucin.
y
) y , x ( f

que probar directamente que se verifica la condicin de Lipschitz.

8.2.3. It erant es de Pi card
El teorema de PicardLindelf proporciona tambin un mtodo para
obtener la solucin del problema de valor inicial
=
=
0 0
y ) x ( y
), y , x ( f y
] b , x [ x
0

El procedimiento se conoce como mtodo de las aproximaciones
sucesivas o de las iterantes de Picard. Se comienza tomando una funcin
arbitraria
0
(x) del espacio mtrico E =C ([x
0
, b],
n
), que verifique la condicin
inicial del problema, por ejemplo
0
(x) y
0
+ =
x
x
ds )) s ( , s ( f y ) x ( T
0
0
, y se aplica la transformacin:
.
Se tiene entonces:
1

+ =
x
x
ds )) s ( , s ( f y ) x ( T
0
0 0 0
(x) = .
La funcin
2
(x) se obtiene de la misma forma, a partir de
1
+ =
+
x
x
n n
ds )) s ( , s ( f y ) x (
0
0 1
(x), y en
general:
.
Se genera as una sucesin de funciones
0
(x),
1
(x), ,
n
(x), que
verifican la condicin inicial del problema pero en principio no verifican la
ecuacin diferencial. Si despus de un nmero finito de pasos, por ejemplo p,
se tiene que
p
(x) =
p+1
(x), entonces la funcin
p
Observacin:
(x) es solucin del problema
de Cauchy propuesto. En caso contrario el proceso es infinito y hay que
obtener entonces el punto fijo de la transformacin, es decir, la funcin que
verifica que T =, calculando el lmite de la sucesin.
La condicin de Lipschitz garantiza que la transformacin
+ =
x
x
ds )) s ( , s ( f y ) x ( T
0
0

es contractiva y por tanto existe un nico punto fijo que es la solucin del
problema de Cauchy propuesto. Pero esta transformacin est perfectamente
definida si la funcin f(x, y) es continua y est acotada, aunque no sea
lipschitziana, es decir, si verifica las hiptesis del teorema de existencia de
Cauchy-Peano. Cabe entonces pensar si partiendo de una funcin continua
definida en el intervalo correspondiente, la sucesin de funciones obtenida
como resultado de aplicar sucesivamente la transformacin T converje a la
solucin del problema. En general esto no es cierto, como se puede ver en el
ejemplo 8.2.4.

Ejemplos resueltos
Ejemplo 8.2.1: Estudiar si es posible aplicar los teoremas de existencia y
unicidad al problema de Cauchy
=
=
1 0) ( y
y y

para (x, y)
2
La funcin f(x, y) =y es continua en
.
2
. Adems para todo par de puntos
(x, y
1
), (x, y
2
) de
2
| ) y , x ( f ) y , x ( f |
2 1
se verifica que = | y y |
2 1
. Se tiene
entonces que f es lipschitziana con constante L =1, y por tanto por el teorema
de PicardLindelf se puede asegurar que el problema tiene una nica solucin
definida en toda la recta real.
Ejemplo 8.2.2: Aplicar el mtodo de las iterantes de Picard para encontrar
la nica solucin del problema de Cauchy
=
=
1 0) ( y
y y
.
Sea
0
(x) =1. Se construye a partir de
0
la sucesin
n
de funciones
definidas mediante la transformacin:
+ =
+
x
x
n n
ds )) s ( , s ( f y ) x (
0
0 1

+ =
x
ds ) x (
0
1
1 1 =1 +x,
+ + =
x
ds ) s ( ) x (
0
2
1 1 =1+x +
2
2
x
,
+ + + =
x
ds )
s
s ( ) x (
0
2
3
2
1 1 =1 +x +
2
2
x
+
!
x
3
3
,

+ + + + + =

x
n
n
ds )
)! n (
s s
s ( ) x (
0
1 2
1 2
1 1 =1 +x +
2
2
x
+ +
! n
x
n
.
Se tiene entonces que la sucesin de funciones
n
as construida coincide
con la sucesin de las sumas parciales de la serie que define la funcin y(x) =
e
x
. Por consiguiente, la sucesin
n
(x) converge a la funcin y(x) =e
x
Ejemplo 8.2.3: Estudiar si es posible aplicar los teoremas de existencia y
unicidad al problema de Cauchy
, que es la
solucin del problema de Cauchy propuesto.
=
=
1 0
2
) ( y
y y

para asegurar la existencia y la unicidad de solucin.
2
es continua en
2
. Para ver si es lipschitziana se
toma un par de puntos (x, y
1
) y (x, y
2
) arbitrarios de
2
. Se tiene que:
| ) y , x ( f ) y , x ( f |
2 1
= | y y |
2
2
1
2
= | y y | | y y |
2 1 2 1
+
El valor de |y
1
+y
2
| crece indefinidamente si los valores de y
1
e y
2
crecen.
Por tanto la funcin f(x, y) =y
2
no es lipschitziana en
2
y no se puede aplicar
el teorema de PicardLindelf para asegurar la existencia y unicidad de
solucin. Tampoco se puede aplicar el teorema de Cauchy-Peano, puesto que
la funcin f(x, y) =y
2
, aunque es continua en
2
, no est acotada en
2
Esto no quiere decir, sin embargo, que el problema no tenga solucin en
ningn intervalo de la recta real que contenga al origen, o que no sea nica. En
el ejemplo 8.3.1. de la siguiente seccin de este captulo se estudia de nuevo
este problema de manera local, y se demuestra que existe una nica solucin
definida en un intervalo I de la recta real centrado en 0.
.
Ejemplo 8.2.4: Se considera el problema de valor inicial
=
=
0 0) ( y
) y , x ( f y
, (x,
y) [0, 1] siendo

< <
=
y x , x
x y ,
x
y
x
y , x
) y , x ( f
2
2
2
0
4
2
0 2

Figura 8.1: Grfica de la funcin del ejemplo 8.2.4.
a) Comprobar que verifica las hiptesis del teorema de Cauchy-Peano.
2x
-2x (x, x
2
)

(x, y)

(x, 0)

(1, 0)

x

y

b) Aplicar el mtodo de las iterantes de Picard, con
0
c) Demostrar que no es lipschitziana.
(x) =0, y estudiar si
la sucesin resultante es convergente o contiene alguna subsucesin
que converja a la solucin del problema de Cauchy propuesto.
d) Demostrar que el problema tiene una nica solucin.
a) La funcin f(x, y) es continua y est acotada en [0, 1] . Existe
entonces al menos una solucin.
b) Las iterantes de Picard se construyen a partir de
0
=
x
ds ) , s ( f ) x (
0
1
0
(x) =0.
=
x
sds
0
2 =x
2
=
x
ds ) s , s ( f ) x (
0
2
2
,
=
x
sds
0
2 =x
2
= ) x (
3
,

x
ds ) s , s ( f
0
2
=
x
sds
0
2 =x
2
=
x
n
n
ds ) s ) ( , s ( f ) x (
0
2
1 =
x
n
sds ) (
0
1
2 1 =(1)
n+1
x
2
La sucesin de la iterantes de Picard as construida,
.
n
(x) =(1)
n+1
x
2
, no
es convergente. Contiene dos subsucesiones convergentes,
2n
(x) = x
2
, y
2n+1
(x) =x
2
, pero ninguna de las funciones x
2
o x
2
c) Como la sucesin
es solucin de la ecuacin
diferencial.
n
no es convergente, la funcin f(x, y) no puede ser
lipschitziana, ya que si lo fuera, la transformacin que genera la sucesin
n
d) Sin embargo, aunque f(x, y) no sea lipschitziana, como f(x, y) es
decreciente respecto de la segunda variable, el problema as planteado tiene
una nica solucin. En efecto si existieran dos soluciones y

sera contractiva y por tanto convergera a un punto fijo.
1
(x), y
2
h(x) =(y
(x), del
problema propuesto, se podra definir la funcin
1
(x) y
2
(x))
2
Se tiene entonces:
0, h(0) =0.
h(x) =2(y
1
(x)

y
2
(x))(y
1
(x)

y
2
(x)) =2(y
1
(x)

y
2
(x))(f(x, y
1
(x))

f(x, y
2
por ser f decreciente respecto de la segunda variable.
(x)))
0,
Como h(0) = 0 y su derivada es menor o igual que 0, entonces
necesariamente h(x) 0. Por consiguiente, h(x) =0, y entonces y
1
(x) =y
2
y(x) =
(x).
Se puede comprobar fcilmente que la solucin buscada es
3
2
x
.

Ejercicios
8.5. Sea f(x, y) = min(|x|, y) para (x, y)
2
=
=
0 0
y ) x ( y
) y , x ( f y
. Demostrar que el
problema de valor inicial

tiene una nica solucin, para todo (x
0
, y
0
8.6. Demostrar que existe una funcin f(x) continua en el intervalo
[0, 1], tal que verifica la ecuacin:
).
=
x
ds ) s ( senf s ) x ( f
0
2
.
Estudiar si la solucin es nica.
8.7. Deducir condiciones sobre a(x), b(x) y c(x) para que el problema
de valor inicial
=
+ + =
0 0
2
y ) x ( y
) x ( c y ) x ( b y ) x ( a y

tenga una nica solucin, para (x
0
, y
0
) R =[x
0
, x
0
+] [y
0

, y
0
8.8. Aplicar el mtodo de las Iterantes de Picard para obtener la
solucin del problema
+].
=
=
1 0
2
) ( y
y y

en x [0, 2], y comparar las aproximaciones sucesivas con la
solucin exacta obtenida directamente.


8.3. PROBLEMA DE CAUCHY. SOLUCIN LOCAL

8.3.1. Teorema de exi st enci a y uni ci dad l ocal de sol uci ones
Los teoremas anteriores se pueden aplicar a problemas de valor inicial en
los que la funcin f(x, y) est definida en [a, b]
n
y es suficientemente buena
en todo su dominio de definicin. Sin embargo, en muchas ocasiones la funcin
f(x, y) que aparece en una ecuacin diferencial no est definida en toda la
regin [a, b]
n
, o no es suficientemente buena en todo el dominio, pero s lo
es en un subconjunto que contenga al punto (x
0
, y
0
). En este caso los
teoremas de esta seccin aseguran, bajo las correspondientes condiciones de
regularidad, la existencia y unicidad de solucin en un intervalo centrado en el
punto x
0
. El razonamiento se presenta para n =1 por una mayor simplicidad,
pero los resultados son vlidos para todo n.
=
=
0 0
y ) x ( y
), y , x ( f y
en el que la funcin
f(x, y) est definida y es continua en el rectngulo R =[x
0
a, x
0
+ a] [y
0
b,
y
0
+ b]
2
M =max{|f(x, y)|: (x, y) R}.
. Al ser continua en un conjunto compacto, est acotada. Sea M
una cota de la funcin:
Se supone tambin que el valor M representa una cota superior para las
pendientes de las rectas tangentes a las soluciones y(x) del problema de valor
inicial en cada punto (x, y) de R.
Se define el intervalo I =[x
0
, x
0
M
b
+ ], siendo tal que =min(a, ).
La amplitud del intervalo, , se escoge de esta manera con el fin de poder
asegurar que la grfica de la solucin buscada est contenida entre las rectas
y y
0
= M(x x
0
Esto es cierto porque por una parte la pendiente de la solucin que se
busca debe ser menor o igual que M, y por otra las dos rectas anteriores cortan
a los lados y
).
0
b precisamente en los puntos x
0
M
b
.

Figura 8.2: Regin definida para una solucin local de un problema de valor inicial
El intervalo as definido verifica que si x I, la grfica de la solucin que
pasa por el punto (x
0
, y
0
) est contenida en la regin de la figura formada por
los dos tringulos unidos por un vrtice comn en el punto (x
0
, y
0
Sea ahora E el espacio de todas las funciones continuas definidas en el
).
y
0
y

x

x
0
x
0
+ x
0

(x
,
(x))
(x
,
(x))
intervalo I =[x
0
, x
0
E ={(x) C (I): y
+ ], tales que su grfica est contenida en la regin
formada por los dos tringulos de la figura 8.2, es decir,
0
M(x x
0
) (x) y
0
+ M (x x
0
Se puede comprobar sin dificultad que el conjunto E as definido es un
espacio mtrico completo con la distancia:
)}.
d(
1
,
2
) =sup
xI
|
1
(x)
2
El espacio mtrico E as definido se va a utilizar para garantizar, bajo las
hiptesis correspondientes, la existencia y unicidad de solucin de un problema
de valor inicial.
(x)|.
Teorema 8.3.1: Teorema de existencia y unicidad local
Sea D un subconjunto abierto de
2
=
=
0 0
y ) x ( y
), y , x ( f y
. Se considera el problema de valor
inicial: (x
0
, y
0
) D. Si la funcin f(x, y) est definida en D, es
continua en D y es localmente Lipschitziana respecto de la segunda variable en
D, con constante de Lipschitz L, existe un intervalo I =[x
0
h, x
0
Demostracin:
+ h] y existe
una nica funcin (x) definida en I que es solucin del problema de valor
inicial propuesto.
Sea R un rectngulo con centro en el punto (x
0
, y
0
), R =[x
0
a, x
0
+ a]
[y
0
b, y
0
+ b], R D. Sea E el espacio mtrico completo de las funciones
continuas definidas en el intervalo I =[x
0
, x
0
M
b
+ ], =min(a, ), tales que:
E ={(x) C (I): y
0
M(x x
0
) (x) y
0
+ M(x x
0
)},
Se define sobre E la aplicacin T tal que dada la funcin

+ =
x
x
ds )) s ( , s ( f y ) x ( T
0
0
E,
.
Se observa que T es tambin una funcin definida y continua en el
intervalo [x
0
a, x
0
Adems se tiene que:
+ a ].
) x x ( M y Mds y ) x ( T
x
x
0 0 0
0
+ = +

) x x ( M y Mds y ) x ( T
x
x
0 0 0
0
=

.
Por tanto, si E, T tambin pertenece a E y T es entonces una
aplicacin que transforma el conjunto E en s mismo. Si se demuestra que T es
contractiva, el teorema 8.1.1 asegura la existencia de un nico punto fijo de la
transformacin:
+ =
x
x
ds )) s ( , s ( f y ) x (
0
0
,
que es precisamente la nica solucin del problema de valor inicial propuesto.
Para probar el teorema basta entonces demostrar que la transformacin
T es contractiva.
Sean
1
y
2
d(T
E. Se tiene entonces que
1
,T
2
) =sup
xI
|T
1
(x) T
2
(x)| =sup
xI
x
x
0
| (f(s,
1
(s)) f(s,
2
(s)))ds| sup
xI
x
x
0
L|
1
(s)
2
(s)|ds L sup
xI
[ sup
sI
|
1
(s)
2

x
x
0
(s)|
ds ] = Ld(
1
,
2
La aplicacin es pues contractiva si L <1. Basta entonces elegir de
manera que se verifique que <min(a,
).
L
1
,
M
b
), y el teorema est demostrado
sin mas que tomar h = .
Se puede tambin en el caso local sustituir la condicin de Lipschitz local
a travs de la proposicin 8.1.4, por la existencia y continuidad de la derivada
parcial de f respecto de y, obtenindose un teorema mas restrictivo, pero en
cambio mas fcil de aplicar.
Corolario 8.3.2: Existencia y unicidad local
Sea D un subconjunto abierto de
2
=
=
0 0
y ) x ( y
) y , x ( f y
. Se considera el problema de valor
inicial: , (x
0
, y
0
y
) y , x ( f
) D. Si la funcin f(x, y) est definida en D, y las

funciones f y son continuas en D, entonces existe un intervalo I =[x
0

h, x
0

+ h] y existe una nica funcin (x) definida en I que es solucin del
problema de valor inicial propuesto.
8.3.2. Teorema de exi st enci a l ocal de sol uci ones
Si en el teorema 8.3.1 se elimina la condicin de Lipschitz no se puede
garantizar la unicidad, pero si se puede asegurar la existencia de la solucin.
Teorema 8.3.3: Teorema de existencia local
Se considera el problema de valor inicial:
=
=
0 0
y ) x ( y
), y , x ( f y
b y , b y [ ] a x , a x [ R ) y , x ( + + =
0 0 0 0 0 0
].
Si la funcin f(x, y) est definida y es continua en R, existe un intervalo I =
[x
0
h, x
0
La demostracin de este teorema excede el nivel de este libro.
+ h] y existe una funcin (x) que es solucin del problema de valor
inicial para todo x I.
3

8.3.3. Prol ongaci n de sol uci ones
Para terminar se considera el problema de la prolongacin de una
solucin de un problema de Cauchy. Los teoremas anteriores aseguran la
existencia y unicidad o la existencia de solucin en un intervalo I =[x
0
h, x
0
Definicin 8.3.1:
+
h]. La pregunta ahora es si la solucin se puede extender a un intervalo mas
amplio que el intervalo I.
Sea (x) una solucin del problema de valor inicial
=
=
0 0
y ) x ( y
) y , x ( f y
, definida
en un intervalo I
de la recta real que contiene al punto x

0

3
La demostracin de este teorema puede verse en los libros: 1) M. Guzmn: Ecuaciones
diferenciales ordinarias. Teora de estabilidad y control. Ed. Alhambra. 1975. 2) C. Fernndez y
J . M. Vegas. Ecuaciones diferenciales II. Ed. Pirmide. 1996.
. La funcin (x) es

una prolongacin de (x) si (x) es tambin solucin del problema de valor
inicial en un intervalo I
que contiene propiamente a I
, (I
, I
) y (x) =
(x) para todo x I
Definicin 8.3.2:
.
Sea (x) una solucin del problema de valor inicial
=
=
0
y ) x ( y
) y , x ( f y
o
en el
intervalo I
El teorema que se enuncia a continuacin asegura que si se verifican las

condiciones del teorema 8.3.1, el problema de valor inicial
. Se dice que (x) es una solucin maximal si no existe ninguna
prolongacin de (x).
=
=
0
y ) x ( y
) y , x ( f y
o
tiene
una nica solucin maximal.
Teorema 8.3.4.
Sea f(x, y) una funcin definida, continua y localmente lipschitziana
respecto de la segunda variable en un conjunto abierto D contenido en
n
.
Si (x
0
, y
0
=
=
0 0
y ) x ( y
), y , x ( f y
) D, el problema de valor inicial tiene una nica
solucin maximal, definida en un intervalo abierto I =(x
0
h, x
0
+ h), en el que
h depende de los valores de x
0
y de y
0
.
4

4
La demostracin de este teorema puede verse en el libro: C. Fernndez y J . M. Vegas.
Ecuaciones diferenciales II. Ed. Pirmide. 1996.


Ejemplos resueltos
Ejemplo 8.3.1: Estudiar si existe solucin del problema de valor inicial
=
=
0 0
3 2
) ( y
y y
/
y si es nica. Estudiar la situacin para distintos valores iniciales
del problema.
2/3
es continua en todo
2
Una solucin es la funcin nula y(x) = 0, que pasa por el punto (0, 0), est
definida en todo y es solucin en de la ecuacin diferencial y =y
y por tanto es continua en
todo rectngulo centrado en el punto (0, 0). El teorema 8.3.3 garantiza
entonces la existencia de solucin en un intervalo de la forma [h, h].
2/3
La ecuacin diferencial y
.

=y
2/3
3
3
3
1
) C x ( y + =
es una ecuacin de variables separables.
La solucin general se puede calcular fcilmente y es de la forma
.
Si en esta expresin se impone la condicin y(0) =0, se tiene que la
constante C tiene que ser 0. Entonces la funcin
3
3
3
x
y = verifica la ecuacin y
es tambin solucin del problema de Cauchy propuesto.
La solucin no es nica. Existen pues al menos dos soluciones diferentes
del problema.
En realidad se puede decir que existen infinitas soluciones del problema,
que se pueden expresar de la forma siguiente: dadas dos constantes
arbitrarias, C
1
0 y C
2
y(x) =
0, las funciones definidas de la forma
>
<

2
3
2
2 1
1
3
1
3
3
1
0
3
1
C x , ) C x (
C x C ,
C x , ) C x (

son todas ellas soluciones del problema de Cauchy propuesto.

Figura 8.3: Grfica de la solucin del ejemplo 8.3.1.

Se tiene esta misma situacin si se sustituye en la condicin inicial el
punto (0, 0) por un punto de la forma (x
0
Sin embargo, si se considera ahora el problema
, 0). Para cada uno de estos puntos el
problema de valor inicial correspondiente tiene infinitas soluciones.
=
=
0 0
3 2
y ) x ( y
y y
/
en el que y
0

La razn por la cual la situacin es distinta si en la condicin inicial (x
tiene un valor distinto de 0, este problema tiene una nica solucin que al llegar
al eje x se puede ramificar en distintas soluciones.
0
, y
0
)
C
1
C
2
0

x
0
y
0
el valor y
0
Si y
es cero o es distinto de cero es la siguiente:
0
es distinto de cero se puede escoger un rectngulo centrado en (x
0
,
y
0
R =[x
) de manera que no contenga ningn punto del eje x:
0
a, x
0
+ a] [y
0
b, y
0
+ b], con b =|y
0
Se tiene entonces que para todo (x, y) R
|/2.
y
) y , x ( f
=
3 1
3
2
/
y

3 1
0
3 4
3
2
/
/
y
=K.
Como la derivada parcial de f respecto de y est acotada en R, el
corolario 8.3.2 asegura que existe una nica solucin del problema de Cauchy
definida en un intervalo centrado en el punto x
0
, [x
0
h, x
0
En cambio, si y
+ h].
0
es igual a cero, cualquier rectngulo R centrado en (x
0
3 1
3 2
1 0
/
/
| y |
| y |
| y |
| y |
| ) y , x ( f ) , x ( f |
= =
,
0) contiene puntos del eje x. Si se toman (x, 0) y (x, y) R, se tiene que:
,
que no est acotado por ninguna constante en R, pues para puntos muy
prximos al eje x este cociente crece indefinidamente. La funcin f no es pues
lipschitziana en R.
Ejemplo 8.3.2: Estudiar si existe solucin del problema de valor inicial
=
=
1 0
2
) ( y
y y
.
En el ejemplo 8.2.3 se ha comprobado que la funcin f(x, y) = y
2
es
continua en
2
pero no es lipschitziana en
2
. Sin embargo se puede abordar
el problema de manera local, estudiando el comportamiento de la funcin en un
rectngulo centrado en el punto (0, 1).
Sea por ejemplo R =[1, 1] [0, 2], donde a =b =1. Sean (x, y
1
) y (x, y
2
| ) y , x ( f ) y , x ( f |
2 1

)
dos puntos arbitrarios de R.
= | y y |
2
2
1
2
= | y y | | y y |
2 1 2 1
+ 4 | y y |
2 1
.
Se tiene entonces que f es lipschitziana en el rectngulo R, con constante
de Lipschitz L =4. El teorema de existencia y unicidad local asegura que existe
una nica solucin definida en el intervalo I =[, ].
Para determinar el valor de hay que calcular una cota de la funcin en
R. Como f(x, y)=y
2
M = Sup{|f(x, y)|: f(x, y) R}=4.
es continua en R, est acotada en R. El mximo valor que
toma en R lo alcanza cuando y es igual a 2. Por tanto:
Entonces <min(a,
L
1
,
M
b
) =min(1,
4
1
,
4
1
) =
4
1
, el problema de Cauchy
=
=
1 0
2
) ( y
y y
tiene entonces una nica solucin vlida en el intervalo [, ] [
4
1
,
4
1
].
Ejemplo 8.3.3: Aplicar el mtodo de las iterantes de Picard para encontrar
la nica solucin del problema de Cauchy del ejemplo 8.3.2:
=
=
1 0
2
) ( y
y y
.
Las iterantes de Picard asociadas a este problema son las siguientes:
Se define la primera como la condicin inicial
0
(x) =1, y a partir de ella
se generan las dems:
+ =
x
ds ) x (
0
2
1
1 1 =1 +x,
+ + =
x
ds ) s ( ) x (
0
2
2
1 1 =1 +x +
2
2
x
+
3
3
x
,
+ + + + =
x
ds
s s
s x
0
2
3 2
3
)
3 2
1 ( 1 ) ( =1 +x +x
2
+x
3
3
2
4
x
+ +
3
5
x
+
9
6
x
+
63
7
x
,

+ =
x
n n
ds s x
0
2
1
)) ( ( 1 ) ( =1 +x +x
2
+x
3
+ +x
n
La sucesin de funciones
+
n
as construida se aproxima a la sucesin de
las sumas parciales de la serie geomtrica. Por tanto
n
converge a la serie
geomtrica. Como |x| <1, 1 +x +x
2
+x
3
+ +x
n
x 1
1
+ = , la sucesin
n
x 1
1
(x) converge a la funcin y(x) = , que es la nica solucin del problema
de Cauchy propuesto en el intervalo [, ] [
4
1
,
4
1
].
Observacin:
Se podra haber empezado por cualquier otra funcin que verifique la
condicin inicial del espacio mtrico E definido al comienzo de la seccin. As,
por ejemplo, se puede tomar
0
(x) =1 +x
2
, que verifica la condicin inicial,
pues
0
(0) =1, y adems |
0
A partir de ella se generan las dems:
(x)| =|2x| 2 <4.
+ + =
x
ds ) s ( ) x (
0
2 2
1 1
1
=1 +x +
3
2
3
x
+
5
5
x
,
+ + + + =
x
ds )
s s
s ( ) x (
0
2
5 3
5 3
2
1 1
2
=1 +x +x
2
3
3
x
+ +
3
4
x
+
15
4
5
x
+

+ =
x
n n
ds )) s ( ( ) x (
0
2
1
1 =1 +x +x
2
+x
3
+ +x
n
La sucesin obtenida tiene tambin como lmite la serie geomtrica, y por
tanto converge a la misma funcin que la sucesin anterior.
+
Si se hubiera tomado
0
x 1
1
(x) = , entonces:

+ =
x
ds )
s
( ) x (
0
2
1
1
1
1 =1 +
x 1
1
1 =
x 1
1
,
y se obtiene directamente el punto fijo de la transformacin.
Ejemplo 8.3.4: Prolongar la solucin y(x) =
x 1
1
del problema de Cauchy
obtenida en el ejemplo 8.3.3:
=
=
1 0
2
) ( y
y y
.
La funcin y(x) =
x 1
1
es la nica solucin del problema de Cauchy
=
=
1 0
2
) ( y
y y
en el intervalo [, ] [
4
1
,
4
1
]. Se trata ahora de extender la
solucin a un intervalo mayor. Para ello se observa que en el punto de abscisa
x =
4
1
la funcin y(x) =
x 1
1
sigue siendo solucin del problema de valor inicial,
y alcanza el valor y(
4
1
) =
3
4
.
=
=
3
4
4
1
2
) ( y
y y
y se repite el proceso
seguido en el ejemplo 8.3.2.
Se puede tomar por ejemplo el rectngulo R* = [
4
3
,
4
5
] [
3
1
,
3
7
],
centrado en el punto (
4
1
,
3
4
) con a =b =1.
Entonces M =sup {|f(x, y)|: f(x, y) R*}=
9
49
, y la constante de Lipschitz
en R* es L =sup {|y
1
+y
2
|: (x, y
1
), (x, y
2
3
14
) R* }= .
Ahora debe ser * <
L
1
=
14
3
y * min(a,
L
1
,
M
b
) =min(1,
49
9
,
14
3
) =
49
9

<
14
3
. Por lo tanto * =
49
9
, y se puede entonces prolongar la solucin a la
derecha del intervalo inicial al intervalo I* =[
4
1

49
9
,
4
1
+
49
9
] =[
196
13
,
196
85
],
con lo cual se tiene la solucin extendida al intervalo:
I I* =[,
196
85
] [
4
1
,
196
85
].
Si se repite el proceso en cada uno de los extremos del intervalo se
puede seguir prolongando la solucin, tanto a la derecha como a la izquierda
del intervalo.
En este caso como la solucin obtenida es la funcin y(x) =
x 1
1
, que
tiene una asntota en x =1, la solucin se podr prolongar por la derecha hasta
llegar a x =1. Por la izquierda en cambio se puede prolongar hasta .
El problema de valor inicial propuesto tiene entonces una solucin
maximal definida en el intervalo (, 1)
Ejemplo 8.3.5: Estudiar la existencia y unicidad de la solucin del
=
=
1 0) ( y
) y , x ( f y
siendo
=
,
x
y
, y
) y , x ( f
2

0
0
<
x
x
.
La funcin ) y , x ( f as definida no es continua en los puntos de
2

situados en el eje y, y en particular en el punto correspondiente a la condicin
inicial, (0, 1). Por tanto, los teoremas de existencia y unicidad no pueden
asegurar la existencia de solucin en ningn intervalo centrado en x
0
Estudiando directamente el problema se puede comprobar que no existe
solucin.
=0.
En efecto, en x 0, la solucin general de y y = es
x
Ce y = . La solucin
que pasa por el punto (0, 1) es la que resulta de tomar C =1, es decir, y(x) =e
x
Si se estudia ahora lo que sucede para valores de x < 0,
.
x
y
y
2
= es una
ecuacin diferencial de variables separables, que tiene como solucin general y
=Cx
2
. Estas soluciones son tales que al tomar valores prximos a cero tienden
a cero. Se tiene entonces que ninguna de las soluciones obtenidas en la regin
x < 0 pasa por el punto (0, 1). Se recuerda que la solucin de una ecuacin
diferencial debe ser siempre una funcin continua y derivable.

Figura 8.4: Grfica de las soluciones del ejemplo 8.3.5.

Ejemplo 8.3.6: Estudiar la existencia y unicidad del problema
=
=
0 0) ( y
) y , x ( f y

siendo la funcin ) y , x ( f la misma que en el ejemplo 8.3.5:
=
,
x
y
, y
) y , x ( f
2

0
0
<
x
x
.
El problema propuesto es similar al anterior, pero la condicin inicial es
diferente. Los teoremas de existencia y unicidad por tanto tampoco pueden
asegurar aqu la existencia de solucin en ningn intervalo centrado en x
0
Estudiando directamente el problema con la condicin inicial (0, 0) se
tiene que para valores de x < 0, la solucin general de la ecuacin
=0.
x
y
y
2
= es y
=Cx
2
En x 0, la solucin general de
, y todas estas soluciones pasan por el punto (0, 0).
y y = es
x
Ce y = . La solucin que pasa
por el punto (0, 0) es la que resulta de tomar C =0, es decir, y(x) =0. Existen
y = Cx
2

y(x) =e
x
entonces en este caso infinitas soluciones del problema propuesto, definidas
como:
<
=
. x , Ce
x ,
) x ( y
x
0
0 0


Este ejemplo demuestra que la continuidad de la funcin ) y , x ( f es una
condicin suficiente, pero no necesaria, para la existencia de solucin.
Ejemplo 8.3.7: Estudiar la existencia y unicidad de las soluciones del
=
=
0
2
0
2
y ) ( y
xy y
para y
0
La funcin f(x, y) =2xy
=0, 1, 1. Calcular en cada caso
las correspondientes soluciones de manera explcita y encontrar los intervalos
mximos en los que estn definidas.
2
es continua en
2
y su derivada parcial respecto
de la variable y es la funcin f(x, y)/y =4xy, que tambin es continua en
2
.
Por tanto, ambas estn acotadas en cualquier rectngulo de
2
. El teorema
8.3.2 asegura entonces que existe una nica solucin definida en algn
intervalo centrado en el origen.
y = Ce
x
y(x) =0
La ecuacin diferencial y = 2xy
2
C x
y
+
=
2
1
es una ecuacin de variables
separables. Se puede entonces calcular fcilmente la solucin general:
.
Se tiene adems que la funcin y(x) =0 para todo x es tambin
solucin de la ecuacin diferencial.
La solucin que pasa por el punto (0, 0) es la funcin y(x) =0 para todo x
, que es por tanto prolongable a toda la recta real.
La solucin que pasa por el punto (0, 1) es la funcin
2
1
1
x
y
= , que es
prolongable al intervalo (1, 1).
Por ltimo, la solucin que pasa por el punto (0, 1) es la funcin
2
1
1
x
y
+
= , definida para todo x , y es por tanto prolongable a toda la recta

real.



Ejercicios
8.9. Estudiar la existencia y unicidad de solucin del problema de
valor inicial :
+ + + =
+ + + =
+ + + =
n nn n n n
n n
n n
y a ... y a y a ' y
...
y a ... y a y a ' y
y a ... y a y a ' y
2 2 1 1
2 2 22 1 21 2
1 2 12 1 11 1
donde a
ij
,
(0, 1)
(0, -1)
(-1, 0)

(1, 0)
(0, 0)
y(x) =
2
x 1
1

y(x) =
2
x 1
1
+

y(x) =0
y
1
(0) =a
1
; y
2
(0) =a
2
; ... y
n
(0) =a
n
8.10. Estudiar si existe solucin, y si es nica, del problema de valor
inicial
.
=
=
1 0
3
) ( y
y y
en el rectngulo R =[1. 1] [0, 2]. Determinar el
intervalo de existencia y unicidad local que asegura el teorema.
8.11. Aplicar el mtodo de las iterantes de Picard para encontrar la
nica solucin del problema de valor inicial
=
=
1 0
3
) ( y
y y
.
8.12. Prolongar la solucin del problema de Cauchy obtenida en el
ejercicio anterior. Tiene una solucin maximal?
valor inicial
=
=
0 0
y ) x ( y
y y
, as como el mximo intervalo en el que
estn definidas las soluciones, siendo
a) (x
0
, y
0
b) (x
) =(0, 0)
0
, y
0
c) (x
) =(0, 1)
0
, y
0
valor inicial
) =(1, 0)
=
=
1 2
3
3 1
) ( y
xy y
/
. Calcular explcitamente la solucin y
obtener el intervalo mximo en el que est definida.

8.4. EJERCICIOS
8.15. Demostrar que el problema de Cauchy
=
=
0 0
3 1
) ( y
y y
/
tiene
solucin, pero no es nica.
8.16. Demostrar que el problema de valor inicial:
=
+ =
. ) ( y
y ) x ( y
/
4 1
3 1 2
2 1 2

tiene como nica solucin la funcin y(x) =(x +x
3
)
2
valor inicial
definida en
el intervalo (0, ). Estudiar si se puede prolongar la solucin
para valores x 0.
=
+ =
. ) ( y
y ) x ( y
/
0 1
3 1 2
2 1 2
.
8.18. Obtener para cada valor de (x
0
, y
0
=
=
0
0 0
y ) x ( y
y
x
y
) las soluciones del problema
de valor inicial . Esbozar grficamente las
soluciones y estudiar para cada una de ellas el intervalo mximo al
que se pueden prolongar.
8.19. Estudiar para los distintos valores de x
0
, y
0
, la existencia y
unicidad de solucin de los problemas de valor inicial, as como el
mximo intervalo en el que estn definidas las soluciones.
a)
=
=
. y ) x ( y
y x y
/
0 0
2 1 2
6

b)
=
=
. y ) x ( y
y y
0 0

c)
=
=
. y ) x ( y
y y
0 0
2
9
, |y
0
8.20. Demostrar que la funcin
| 3.
=
=
0
1
0 0
3 2
y ,
y
sen y
y ,
) y , x ( f
/
no es
localmente lipschitziana en ningn rectngulo que contenga al
punto (0, 0). Demostrar que sin embargo, el problema de valor
inicial
=
=
. ) ( y
) y , x ( f y
0 0
tiene una nica solucin.
8.21. Estudiar la existencia y unicidad de solucin de los siguientes
problemas de valor inicial. Calcular explcitamente las soluciones y
obtener el intervalo mximo en el que estn definidas.
a)
=
=
. ) ( y
xy y
/
27 2
6
3 2

b)
=
=
. e ) ( y
y x y
/
/
3 2
2 1
1

8.22. Sea
0
) 0 (
si
si
0
1
) (
=

=
y
, y
y
log y
y , x f , x [0, 1]
a) Demostrar que f es continua pero no es localmente
lipschitziana respecto de la variable y.
b) Demostrar que el problema
=
=
c ) ( y
) y , x ( f y
0
tiene una nica
solucin, para cualquier valor de c .

C08 Existencia Soluciones

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

C08 Existencia Soluciones

Uploaded by

Copyright:

Available Formats

481 Anlisis matemtico para Ingeniera. M. MOLERO; A. SALVADOR; T. MENARGUEZ; L.

=f(x, y) en [a, b], y que en un

}una familia de funciones definidas en un conjunto E

est uniformemente acotada en E si existe

de funciones definidas en un conjunto E

es equicontinua y uniformemente acotada en E. Entonces existe una

: (x, y) D}, y sean (x, y

) D. Si la funcin f(x, y) est definida en D, y las

de la recta real que contiene al punto x

que contiene propiamente a I

El teorema que se enuncia a continuacin asegura que si se verifican las

= , definida para todo x , y es por tanto prolongable a toda la recta

You might also like