Existencia y Unicidad de Soluciones

481 Anlisis matemtico para Ingeniera.
M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA
CAPTULO 8
Existencia y unicidad de soluciones
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
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. Problema 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:
Existencia y unicidad de soluciones 483
y = f ( x , y ),
, x [ a, b ]
y ( x 0 ) = y 0
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
y = f ( x , y ),
, x [ a, b ]
y ( x 0 ) = y 0
es equivalente a encontrar una solucin de la ecuacin
x
y( x ) = y 0 +
f ( s, y ( s ))ds.
x0
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 se tiene:
x
y' ( s ) = f ( s, y ( s ))ds
x0
y( x ) y 0 =
x0
f ( s, y ( s ))ds
x0
y( x ) = y 0 +
f ( s, y ( s ))ds.
x0
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
y = f ( x , y ),
, x [ a, b ]
y ( x 0 ) = y 0
tiene solucin es suficiente, entonces, demostrar que existe una funcin y(x)
que verifica la ecuacin integral.
x
y( x ) = y 0 +
f ( s, y ( s ))ds.
x0
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, de manera que
x
T( x ) = y 0 +
f ( s,( s ))ds .
x0
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. Aplicaciones contractivas. Teorema del punto fijo

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 ) nd(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 d(x 1 , x 0 ).
n
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( lm x n ) = lm T(x n ) = lm x n+1 = x.
n
Se tiene entonces que el lmite de la sucesin es un punto fijo de T.

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. Funciones equicontinuas. Teorema de Ascoli-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 | (x)|
M.
Ejemplos:
La sucesin n (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.
En cambio, la sucesin n (x) =
cos nx
est acotada en cada punto del
x
intervalo (0, 1), pero no esta uniformemente acotada en (0, 1).

Por ltimo, la sucesin n (x) = nx no est acotada uniformemente ni
puntualmente en (0, 1).
La demostracin se puede ver en M. Guzmn: Ecuaciones diferenciales ordinarias.

Teora de estabilidad y control. Ed. Alhambra. 1975.
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 (x) = nx es
uniformemente continua en [0, 1].
La sucesin n (x) = xn es equicontinua en el intervalo [0,
1
], pero no lo es
2
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 es uniformemente
acotada y equicontinua. (Ejercicio 8.1 ).
El teorema de Ascoli-Arzel en cierta manera permite asegurar resultados
en sentido inverso.
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 { } , que converge uniformemente en E.
8.1.4. Condicin de Lipschitz

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 D,
|f(x 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 R
|f(x 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
| f ( x 2 ) f ( x1 ) |
, x 1 , x 2 D.
| x 2 x1 |
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.
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, que
verifican la condicin de Lipschitz respecto de la segunda variable, y, (local o
globalmente).
La siguiente proposicin proporciona una condicin suficiente para que
una funcin verifique la condicin de Lipschitz.
Proposicin 8.1.3:
Si f(x, y) es continua en D n, 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.
Demostracin:
Por simplificar se hace para n = 1, es decir, para y .
Sea M = sup{
f ( x , y )
: (x, y) D}, y sean (x, y 1 ), (x, y 2 ) D. El teorema
y
del valor medio, considerada f como funcin de y, asegura que:

|f(x, y 1 ) f(x, y 2 )| =
f ( x , )
| y 1 y 2 | , y 1 y 2 .
y
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 ) D. Se tiene entonces que f(x, y) verifica la condicin de Lipschitz
respecto de la segunda variable con constante de Lipschitz L = M.
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.
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, con constante
de Lipschitz L = 1. Pero no es derivable respecto de y en ningn punto de la
recta y = 0.
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.
Ejemplos resueltos
Ejemplo 8.1.1: Demostrar que la familia n (x) = xn es equicontinua en el
intervalo [0,
1
], pero no lo es en el intervalo [0, 1].
2
Es equicontinua en el intervalo [0,
1
]:
2
Hay que demostrar que para todo > 0 existe un > 0 tal que para todo
par de puntos x 1 , x 2 [0,
1
] que verifiquen |x 1 x 2 | < , y para todo n N, se
2
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 |
n
2 n 1
|x 1
x2|
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 xn.

Sea =
1
. Para todo valor de , 0 < < 1, el punto x = 1 /2 es tal que
2
|1 x| < y sin embargo 1 xn = 1 (1 /2)n > , siempre que n sea

suficientemente grande.
Ejemplo 8.1.2: Demostrar que f(x) = x2 es lipschitziana en [0, 1].
Sean x 1 , x 2 [0, 1].
|f(x 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) = x2 es lipschitziana en [0, 1], con constante de Lipschitz L =
2.
Ejemplo 8.1.3: Demostrar que f(x) = xn, para nN, n > 1 es localmente
lipschitziana en .
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.
Sea x 0 , y sea I = [x 0 r, x 0 + r]. Dados x 1 , x 2 I,
|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(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 suficientemente alejados del origen.
Ejemplo 8.1.4: Demostrar que la funcin f(x, y) = y1/3 no es lipschitziana
respecto de la segunda variable en 2.
La funcin f(x, y) = y1/3 es continua en 2 pero no es lipschitziana en
ningn rectngulo que tenga interseccin no vaca con la recta y = 0. En efecto,
|f(x, y 1 ) f(x, 0)| = |y 1 1/3 0| =
y el trmino
1
| y 12 / 3 |
1
| y 12 / 3 |
|y 1 |,
no est acotado por ninguna constante en el rectngulo,
pues para valores de y 1 prximos a cero el valor tiende a infinito.

Ejemplo 8.1.5: Sea f(x, y) = min(|x|, y) para (x, y) 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:
| y | x ||
1
|f(x, y 1 ) f(x, y 2 )| =
|| x | y 2 |
| y 1 y 2 |
si | x | y 1, y 2
si y 1 | x | y 2
si y 2 | x | y 1
si y 1, y 2 | x |
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 es uniformemente acotada y
equicontinua.
8.2. Estudiar
si
las
siguientes
sucesiones
de
funciones
son
equicontinuas o uniformemente acotadas en el intervalo (0, 1).
a) f(x) =
sennx
.
x
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 + y2.
b) f(x, y) = 1 + x2.
c) f(x, y) =
d) f(x, y) =
1
1+ y 2
x
1+ y 2
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 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:
y = f ( x , y ),
, x [ x0 ,b ]
y ( x 0 ) = y 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
y( x ) = y 0 +
f ( s, y ( s ))ds .
x0
8.2.1. Teorema de existencia global. Teorema de CauchyPeano

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:
y = f ( x , y ),
, x [ x0 ,b ]
y ( x 0 ) = y 0
donde la funcin f(x, y): [x 0 , b] n n es continua y acotada en [x 0 , b]
n. Entonces el problema de valor inicial propuesto tiene al menos una
solucin.
Demostracin:
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 , b] = [0, 1].
La demostracin se basa en la construccin de una sucesin de funciones
y necesita el Teorema de Ascoli-Arzel.
La primera funcin de la familia es constante: y 1 (x) = y 0 , 0 x 1.
La segunda funcin se define como:
y 0
si
x 1 / 2
y 2 (x) =
f ( s , y 2 ( s ))ds
y 0 +
si
0x
1
2.
1
< x 1
2
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 (x) en
el intervalo [0,
1
].
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 (x) a partir
de los valores ya definidos en el subintervalo anterior, de la forma:
y 0
si
x 1 / k
y k (x) =
f ( s , y k ( s ))ds
y 0 +
si
1
k
i
i +1
x
, i = 1,2, , k 1
k
k
0x
Como la funcin f(x, y) est acotada en [0, 1] n, existe M tal que:

|f(x, y)| M en [0, 1] 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 | + M.
Adems, para todo par x 1 , x 2 [0, 1] y todo k N, se tiene
|y k (x 1 ) y k (x 2 )| M| x 1 x 2 |,
y por tanto la sucesin de funciones {y k (x)} es equicontinua.
El teorema de Ascoli-Arzel asegura que existe una subsucesin {y k* (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
x
y k* (x) = y 0 +
f ( s, y k
0
( s ))ds
f ( s, y k
x 1 / k
( s ))ds .
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],
f ( s, y k
( s ))ds
f ( s, y ( s ))ds .
0
Como la funcin f est acotada:

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

x
y(x) = y 0 +
f ( s, y ( s ))ds ,
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 existencia y unicidad global. Teorema de

PicardLindelf
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
y = f ( x , y ),
, x [ x 0 , b]
y ( x 0 ) = y 0
donde la funcin f(x, y): [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 |. Entonces el problema de valor
inicial propuesto tiene una nica solucin.
Demostracin:
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 E, se define la
distancia:
d( 1 , 2 ) = sup{ e K ( x x 0 ) | 1 (x) 2 (x)|: x [x 0 , b]},
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.
Se define ahora sobre E la aplicacin T tal que dada la funcin E,
x
T( x ) = y 0 +
f ( s, ( s ))ds .
x0
T() es tambin una funcin continua definida en el intervalo [x 0 , b], y por

tanto pertenece a E.
Entonces, si 1 , 2 E,
K ( x x 0 )
|T 1 (x) T 2 (x)|
e K ( x x 0 ) |f(s, 1 (s)) f(s, 2 (s))|ds =
x0
K(xs)
K ( s x 0 )
|f(s, 1 (s)) f(s, 2 (s))|ds Ld( 1 , 2 )
x0
eK(xs)ds
x0
L
d( 1 , 2 ).
K
Se tiene entonces que:

d(T( 1 ),T( 2 )) = sup{ e K ( x x 0 ) | 1 (x) 2 (x)|: x [x 0 , b]}
L
d( 1 , 2 ).
K
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
y = f ( x , y ),
x [ a, x 0 ]
y ( x 0 ) = y 0
el teorema anterior se verifica tambin y el razonamiento sigue siendo vlido.
nicamente hay que modificar la definicin de distancia
d( 1 , 2 ) = sup{ e K ( x 0 x ) | 1 (x) 2 (x)|: x [x 0 , b]},
para que las acotaciones sigan siendo vlidas.
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:
y = f ( x , y ),
, x [ x0 ,b ]
y ( x 0 ) = y 0
donde la funcin f(x, y): [x 0 , b] n n es continua en [x 0 , b] n y
f ( x , y )
existe y es continua en [x 0 , b] n. Entonces el problema de valor
y
inicial propuesto tiene una nica solucin.
Este teorema tiene utilidad pues aunque es ms restrictivo que el teorema
de Picard-Lindelf, suele ser mas fcil demostrar la continuidad de
f ( x , y )
y
que probar directamente que se verifica la condicin de Lipschitz.
8.2.3. Iterantes de Picard

El teorema de PicardLindelf proporciona tambin un mtodo para
obtener la solucin del problema de valor inicial
y = f ( x , y ),
x [ x0 ,b ]
y ( x 0 ) = y 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 , y se aplica la transformacin:
x
T( x ) = y 0 +
f ( s, ( s ))ds .
x0
Se tiene entonces:
x
1 (x) = T 0 ( x ) = y 0 +
f ( s, 0 ( s ))ds .
x0
La funcin 2 (x) se obtiene de la misma forma, a partir de 1 (x), y en

general:
x
n + 1( x ) = y 0 +
f ( s, n ( s ))ds .
x0
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 (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.
Observacin:
La condicin de Lipschitz garantiza que la transformacin
x
T( x ) = y 0 +
f ( s, ( s ))ds
x0
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
y = y
y ( 0) = 1
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 se verifica que | f ( x , y 1 ) f ( x , y 2 ) | = | y 1 y 2 | . 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
y = y
.
y ( 0) = 1
Sea 0 (x) = 1. Se construye a partir de 0 la sucesin n de funciones
definidas mediante la transformacin:
n +1( x ) = y 0 +
f ( s,n ( s ))ds
x0
1( x ) = 1 + 1ds = 1 + x,
0
x
2 ( x ) = 1 + ( 1 + s )ds = 1+ x +
0
x
3 ( x ) = 1 + ( 1 + s +
0
x2
,
2
x2
x3
s2
+
,
)ds = 1 + x +
2
3!
2
n ( x ) = 1 + (1 + s +
0
x2
xn
s2
s n 1
++
.
++
)ds = 1 + x +
2
n!
2
( n 1)!
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) =
ex. Por consiguiente, la sucesin n (x) converge a la funcin y(x) = ex, que es la
solucin del problema de Cauchy propuesto.
Ejemplo 8.2.3: Estudiar si es posible aplicar los teoremas de existencia y
unicidad al problema de Cauchy
y = y 2
y ( 0 ) = 1
para asegurar la existencia y la unicidad de solucin.

La funcin f(x, y) = y2 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:
| f ( x , y 1 ) f ( x , y 2 ) | = | y 21 y 2 2 | = | y 1 + y 2 | | y 1 y 2 |
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) = y2 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) = y2, 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.
y = f ( x , y )
Ejemplo 8.2.4: Se considera el problema de valor inicial
, (x,
y ( 0) = 0
2 x , y 0
4y
y) [0, 1] siendo f ( x , y ) = 2 x
,0 < y < x 2
x
2 x , x 2 y
-2x
(x, x2)
(x, y)
(x, 0)
(1, 0)
2x de la funcin del ejemplo 8.2.4.

Figura 8.1: Grfica
a) Comprobar que verifica las hiptesis del teorema de Cauchy-Peano.
b) Aplicar el mtodo de las iterantes de Picard, con 0 (x) = 0, y estudiar si

la sucesin resultante es convergente o contiene alguna subsucesin
que converja a la solucin del problema de Cauchy propuesto.
c) Demostrar que no es lipschitziana.
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) = 0.
x
2sds = x ,
1( x ) = f ( s ,0 )ds =
2 ( x ) = f ( s , s )ds =
2sds = x ,
2
3 ( x ) =
f ( s,s
)ds =
2sds = x ,
2
n 2
n ( x ) = f ( s ,( 1) s )ds =
0
( 1)
n +1
2sds = (1)n+1x2.
La sucesin de la iterantes de Picard as construida, n (x) = (1)n+1x2, no

es convergente. Contiene dos subsucesiones convergentes, 2n (x) = x2, y
2n+1 (x) = x2, pero ninguna de las funciones x2 o x2 es solucin de la ecuacin
diferencial.
c) Como la sucesin 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

sera contractiva y por tanto convergera a un punto fijo.
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 1 (x), y 2 (x), del
problema propuesto, se podra definir la funcin
h(x) = (y 1 (x) y 2 (x))2 0, h(0) = 0.
Se tiene entonces:
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 (x)))
0,
por ser f decreciente respecto de la segunda variable.
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 (x).
Se puede comprobar fcilmente que la solucin buscada es
y(x) =
x2
.
3
Ejercicios
8.5.
Sea f(x, y) = min(|x|, y) para (x, y) 2. Demostrar que el
problema de valor inicial
y = f ( x , y )
y ( x 0 ) = y 0
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
f ( x ) = s 2 senf ( s )ds .
0
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
y = a( x )y 2 + b( x )y + c( x )
y ( x 0 ) = y 0
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

y = y 2
y ( 0 ) = 1
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 existencia y unicidad local de soluciones

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.
y = f ( x , y ),
en el que la funcin
y
(
x
)
y
=
0
0
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. Al ser continua en un conjunto compacto, est acotada. Sea M
una cota de la funcin:
M = max{|f(x, y)|: (x, y) R}.
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 + ], siendo tal que = min(a,
b
).
M
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
b
.
M
(x, (x))
(x, (x))
y0
x
x0
x0
x0 +
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
intervalo I = [x 0 , x 0 + ], tales que su grfica est contenida en la regin

formada por los dos tringulos de la figura 8.2, es decir,
E = {(x) C (I): y 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 (x)|.
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.
Teorema 8.3.1: Teorema de existencia y unicidad local
Sea D un subconjunto abierto de 2. Se considera el problema de valor
y = f ( x , y ),
inicial:
(x 0 , y 0 ) D. Si la funcin f(x, y) est definida en D, es
y ( x 0 ) = y 0
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 + h] y existe
una nica funcin (x) definida en I que es solucin del problema de valor
inicial propuesto.
Demostracin:
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 + ], = min(a,
b
), tales que:
M
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 E,

x
T( x ) = y 0 +
f ( s, ( s ))ds .
x0
Se observa que T es tambin una funcin definida y continua en el

intervalo [x 0 a, x 0 + a ].
Adems se tiene que:
x
T( x ) y 0 +
Mds =y 0+M( x x 0 )
x0
x
T( x ) y 0
Mds =y 0M( x x 0 ) .
x0
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 ) = y 0 +
f ( s, ( s ))ds ,
x0
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 E. Se tiene entonces que
x
d(T 1 ,T 2 ) = sup xI |T 1 (x) T 2 (x)| = sup xI | (f(s, 1 (s)) f(s,

x0

x
2 (s)))ds| sup xI
x0
L| 1 (s) 2 (s)|ds L sup xI [ sup sI | 1 (s) 2 (s)|
x0
ds ] = Ld( 1 , 2 ).
La aplicacin es pues contractiva si L < 1. Basta entonces elegir de
manera que se verifique que < min(a,
1 b
,
), y el teorema est demostrado
L M
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. Se considera el problema de valor
y = f ( x , y )
inicial:
, (x 0 , y 0 ) D. Si la funcin f(x, y) est definida en D, y las
y
(
x
)
y
=
0
0
funciones f y
f ( x , y )
son continuas en D, entonces existe un intervalo I = [x 0
y
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 existencia local de soluciones

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:
y = f ( x , y ),
( x 0 , y 0 ) R = [ x 0 a, x 0 + a ] [ y 0 b, y 0 + b ].
y ( x 0 ) = y 0
Si la funcin f(x, y) est definida y es continua en R, existe un intervalo I =
[x 0 h, x 0 + h] y existe una funcin (x) que es solucin del problema de valor
inicial para todo x I.
La demostracin de este teorema excede el nivel de este libro. 3
8.3.3. Prolongacin de soluciones

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 +
h]. La pregunta ahora es si la solucin se puede extender a un intervalo mas
amplio que el intervalo I.
Definicin 8.3.1:
y = f ( x , y )
Sea (x) una solucin del problema de valor inicial
, definida
y ( x 0 ) = y 0
en un intervalo I de la recta real que contiene al punto x 0 . La funcin (x) es
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.
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 , I I ) y (x) =
(x) para todo x I .
Definicin 8.3.2:
y = f ( x , y )
Sea (x) una solucin del problema de valor inicial
en el
y ( x o ) = y 0
intervalo I . Se dice que (x) es una solucin maximal si no existe ninguna
prolongacin de (x).
El teorema que se enuncia a continuacin asegura que si se verifican las
y = f ( x , y )
tiene
condiciones del teorema 8.3.1, el problema de valor inicial
y ( x o ) = y 0
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.
y = f ( x , y ),
Si (x 0 , y 0 ) D, el problema de valor inicial
tiene una nica
y ( x 0 ) = y 0
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
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
y = y 2 / 3
y si es nica. Estudiar la situacin para distintos valores iniciales
y ( 0 ) = 0
del problema.
La funcin f(x, y) = y2/3 es continua en todo 2 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].
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 = y2/3.
La ecuacin diferencial y = y2/3 es una ecuacin de variables separables.
La solucin general se puede calcular fcilmente y es de la forma
y =
1
3
( x + C )3 .
Si en esta expresin se impone la condicin y(0) = 0, se tiene que la

constante C tiene que ser 0. Entonces la funcin y =
x3
33
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 0, las funciones definidas de la forma

1
3
3 ( x C1 ) , x C1
3
y(x) = 0,
C1 < x C 2
1
( x C 2 )3 , x > C 2
3
son todas ellas soluciones del problema de Cauchy propuesto.
y0
C1
C2
x0
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 , 0). Para cada uno de estos puntos el
problema de valor inicial correspondiente tiene infinitas soluciones.
y = y 2 / 3
Sin embargo, si se considera ahora el problema
en el que y 0
y ( x 0 ) = y 0
tiene un valor distinto de 0, este problema tiene una nica solucin que al llegar
al eje x se puede ramificar en distintas soluciones.
La razn por la cual la situacin es distinta si en la condicin inicial (x 0 , y 0 )
el valor y 0 es cero o es distinto de cero es la siguiente:

Si y 0 es distinto de cero se puede escoger un rectngulo centrado en (x 0 ,
y 0 ) de manera que no contenga ningn punto del eje x:
R = [x 0 a, x 0 + a] [y 0 b, y 0 + b], con b = |y 0 |/2.
Se tiene entonces que para todo (x, y) R
24 / 3
f ( x , y )
2
=
= K.
y
3y1/ 3
3 y 01 / 3
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 + h].
En cambio, si y 0 es igual a cero, cualquier rectngulo R centrado en (x 0 ,
0) contiene puntos del eje x. Si se toman (x, 0) y (x, y) R, se tiene que:
| f ( x ,0 ) f ( x , y ) | | y 2 / 3 |
1
,
=
=
|y|
|y|
| y |1 / 3
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
y = y 2
.
y ( 0 ) = 1
En el ejemplo 8.2.3 se ha comprobado que la funcin f(x, y) = y2 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 )
dos puntos arbitrarios de R.
| f ( x , y 1 ) f ( x , y 2 ) | = | y 21 y 2 2 | = | y 1 + y 2 | | y 1 y 2 | 4 | y 1 y 2 | .
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)= y2 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:
M = Sup{|f(x, y)|: f(x, y) R} = 4.
Entonces < min(a,
1 b
1 1
1
, ) = min(1, , ) = , el problema de Cauchy
L M
4 4
4
y = y 2
1
tiene entonces una nica solucin vlida en el intervalo [, ] [
4
y ( 0 ) = 1
1
].
4
Ejemplo 8.3.3: Aplicar el mtodo de las iterantes de Picard para encontrar

y = y 2
la nica solucin del problema de Cauchy del ejemplo 8.3.2:
.
y ( 0 ) = 1
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:
1( x ) = 1 + 12 ds = 1 + x,
0
x
2 ( x ) = 1 + ( 1 + s ) 2 ds = 1 + x +
0
x2
x3
+
,
2
3
s2 s3 2
2x 4
x5
x6
x7
2
3
3 ( x) = 1 + (1 + s + + ) ds = 1 + x + x + x +
+
+
+
,
2
3
3
3
9
63
0
n ( x) = 1 + ( n 1 ( s )) 2 ds = 1 + x + x2 + x3 + + xn +
0
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 + x2 + x3 + + xn + =
n (x) converge a la funcin y(x) =
1
, la sucesin
1 x
1
, que es la nica solucin del problema
1 x
de Cauchy propuesto en el intervalo [, ] [
1 1
, ].
4 4
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 + x2, que verifica la condicin inicial,
pues 0 (0) = 1, y adems | 0 (x)| = |2x| 2 < 4.
A partir de ella se generan las dems:
2x 3 x 5
+
,
1 ( x ) = 1 + ( 1 + s ) ds = 1 + x +
3
5
2 2
2 ( x ) = 1+ (1+ s +
0
x5
x3
x4
2s 3 s 5 2
+
+ 4
+
+
) ds = 1 + x + x2 +
3
3
15
3
5
n ( x ) = 1 + ( n 1( s )) 2 ds = 1 + x + x2 + x3 + + xn +
0
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( x ) = 1 + (
0
1
, entonces:
1 x
1
1
1 2
1=
,
) ds = 1 +
1 x
1 x
1 s
y se obtiene directamente el punto fijo de la transformacin.
Ejemplo 8.3.4: Prolongar la solucin y(x) =
1
del problema de Cauchy
1 x
y = y 2
obtenida en el ejemplo 8.3.3:
.
y ( 0 ) = 1
La funcin y(x) =
1
es la nica solucin del problema de Cauchy
1 x
y = y 2
1 1
en el intervalo [, ] [ , ]. Se trata ahora de extender la
4 4
y ( 0 ) = 1
solucin a un intervalo mayor. Para ello se observa que en el punto de abscisa
x=
1
1
la funcin y(x) =
sigue siendo solucin del problema de valor inicial,
4
1 x
y alcanza el valor y(
1
4
)= .
4
3
y = y 2
Se considera el problema de valor inicial 1

4 y se repite el proceso
y ( ) =
3
4
seguido en el ejemplo 8.3.2.
1 7
3 5
] [ ,
],
Se puede tomar por ejemplo el rectngulo R* = [ ,
4 4
3 3
1 4
centrado en el punto ( , ) con a = b = 1.
4 3
Entonces M = sup {|f(x, y)|: f(x, y) R*} =
49
, y la constante de Lipschitz
9
en R* es L = sup {|y 1 + y 2 |: (x, y 1 ), (x, y 2 ) R* } =
Ahora debe ser * <
<
14
.
3
3
9
9
3
1
1 b
=
y * min(a, , ) = min(1,
,
)=
L
L M
49 14
49
14
3
9
. Por lo tanto * =
, y se puede entonces prolongar la solucin a la
49
14
derecha del intervalo inicial al intervalo I* = [
13
1
9 1
9
85
,
+
]=[
,
],
196 196
4
49 4
49
con lo cual se tiene la solucin extendida al intervalo:

I I* = [,
85
1 85
] [ ,
].
196
4 196
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) =
1
, que
1 x
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
y , x 0
y = f ( x , y )

siendo f ( x , y ) = 2y
.
y ( 0) = 1
x , x < 0
La funcin f ( x , y ) 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 = 0.
Estudiando directamente el problema se puede comprobar que no existe
solucin.
En efecto, en x 0, la solucin general de y = y es y = Ce x . La solucin
que pasa por el punto (0, 1) es la que resulta de tomar C = 1, es decir, y(x) = ex.
Si se estudia ahora lo que sucede para valores de x < 0, y =
2y
es una
x
ecuacin diferencial de variables separables, que tiene como solucin general y

= Cx2. 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.
y(x) = ex
y = Cx2
Figura 8.4: Grfica de las soluciones del ejemplo 8.3.5.
y = f ( x , y )
Ejemplo 8.3.6: Estudiar la existencia y unicidad del problema
y ( 0) = 0
siendo la funcin f ( x , y ) la misma que en el ejemplo 8.3.5:
y , x 0
.
f ( x , y ) = 2y
x , x < 0
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 = 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 y =
2y
es y
x
= Cx2, y todas estas soluciones pasan por el punto (0, 0).

En x 0, la solucin general de y = y es y = Ce x . La solucin que pasa
por el punto (0, 0) es la que resulta de tomar C = 0, es decir, y(x) = 0. Existen
entonces en este caso infinitas soluciones del problema propuesto, definidas

como:
0, x 0
y( x ) = x
Ce , x < 0.
y = Cex
y(x) = 0
Este ejemplo demuestra que la continuidad de la funcin f ( x , y ) 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
y = 2 xy 2
para y 0 = 0, 1, 1. Calcular en cada caso
y ( 0 ) = y 0
las correspondientes soluciones de manera explcita y encontrar los intervalos
mximos en los que estn definidas.
La funcin f(x, y) = 2xy2 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.
La ecuacin diferencial y = 2xy2 es una ecuacin de variables

separables. Se puede entonces calcular fcilmente la solucin general:
y=
1
2
x +C
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 y =
1
1 x 2
, que es
prolongable al intervalo (1, 1).

Por ltimo, la solucin que pasa por el punto (0, 1) es la funcin
y=
1
1+ x 2
real.
, definida para todo x , y es por tanto prolongable a toda la recta
1
y(x) =
1 x2
(0, 1)
y(x) = 0
(0, 0)
(-1, 0)
(1, 0)
y(x) =
1
1 + x2
(0, -1)
Ejercicios
8.9.
Estudiar la existencia y unicidad de solucin del problema de
valor inicial :
y'1 = a11y 1 + a12 y 2 + ... + a1n y n

y' = a y + a y + ... + a y
2
21 1
22 2
2n n
donde a ij ,
...
y' n = an1y 1 + an 2 y 2 + ... + ann y n
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
y = y 3
en el rectngulo R = [1. 1] [0, 2]. Determinar el
inicial
0
=
1
y
(
)
intervalo de existencia y unicidad local que asegura el teorema.

8.11. Aplicar el mtodo de las iterantes de Picard para encontrar la
y = y 3
nica solucin del problema de valor inicial
.
0
=
1
y
(
)
8.12. Prolongar la solucin del problema de Cauchy obtenida en el

ejercicio anterior. Tiene una solucin maximal?
8.13. Estudiar la existencia y unicidad de solucin del problema de
y = y
, as como el mximo intervalo en el que
valor inicial
y ( x 0 ) = y 0
estn definidas las soluciones, siendo

a) (x 0 , y 0 ) = (0, 0)
b) (x 0 , y 0 ) = (0, 1)
c) (x 0 , y 0 ) = (1, 0)
y = 3 xy 1 / 3
valor inicial
. Calcular explcitamente la solucin y
y ( 2 ) = 1
obtener el intervalo mximo en el que est definida.
8.4. EJERCICIOS
y = y 1 / 3
8.15. Demostrar que el problema de Cauchy
y ( 0 ) = 0
tiene
solucin, pero no es nica.

8.16. Demostrar que el problema de valor inicial:
y = 2( 1 + 3 x 2 )y 1 / 2
y ( 1) = 4.
tiene como nica solucin la funcin y(x) = (x + x3)2 definida en

el intervalo (0, ). Estudiar si se puede prolongar la solucin
para valores x 0.
y = 2( 1 + 3 x 2 )y 1 / 2
valor inicial
.
y ( 1) = 0.
8.18. Obtener para cada valor de (x 0 , y 0 ) las soluciones del problema
de
valor inicial
y =
y
. Esbozar grficamente
y ( x ) = y 0
0
0
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.
y = 6 x 2 y 1 / 2
a)
y ( x 0 ) = y 0 .
y = y
b)
y ( x 0 ) = y 0 .
y = y 2 9
c)
, |y 0 | 3.
y ( x 0 ) = y 0 .
0, y = 0
8.20. Demostrar que la funcin f ( x , y ) = 2 / 3

no es
1
y
sen
,
y
localmente lipschitziana en ningn rectngulo que contenga al

punto (0, 0). Demostrar que sin embargo, el problema de valor
y = f ( x , y )
tiene una nica solucin.
inicial
y ( 0 ) = 0.
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.
y = 6 xy 2 / 3
a)
y ( 2 ) = 27.
y = x 1 / 2 y
b)
y ( 1) = e 2 / 3 .
1
y log si
y
8.22. Sea f ( x , y ) =
si
0
a)
y ( 0, )
, x [0, 1]
y =0
Demostrar que f es continua pero no es localmente

lipschitziana respecto de la variable y.
b)
y = f ( x , y )
Demostrar que el problema
tiene una nica
y ( 0 ) = c
solucin, para cualquier valor de c .

Existencia y Unicidad de Soluciones

Cargado por

Información del documento

Título original

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

Existencia y Unicidad de Soluciones

Cargado por

Copyright:

Formatos disponibles

481 Anlisis matemtico para Ingeniera.

M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA

En el captulo anterior se han introducido las ecuaciones diferenciales

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