Solucion Ayudantia 1

Teorema de Picard-Lindel
of (o de existencia y unicidad)
Problema 1. Exhiba 2 soluciones distintas del PVI
x0 = t1/3 (x 1)1/3

x(0) = 1

Explique porque ello no contradice el Teorema de Picard-Lindelof.

Soluci
on: Lo primero es notar que x(t) 1 es solucion y cumple la condicion inicial. Para la otra
resolvemos la ecuacion usando variables separadas:
Z
Z
dx
3
3
= t1/3 dt (x 1)2/3 = t4/3 + C
1/3
2
4
(x 1)
Usando la condicion inicial tenemos C = 0 y as:
t2
x(t) = 1 +
2 2
Esto no contradice el teorema de existencia y unicidad (TEU) pues a pesar de que f (x, t) =
t1/3 (x 1)1/3 es continua, pero dado que la derivada
f
t1/3
=
x
3(x 1)2/3
no es continua en x = 1 no podemos asegurar la unicidad.

Problema 2. Determine los valores de (a, b) tal que el problema de valor inicial satisfaga lo pedido.
(a) xy 0 + 2y = 0,

y(a) = b no tiene solucion.

(b) (x 1)y 0 = (y 1)(y 2), y(a) = b tiene solucion. Indique cuando la solucion no es u
nica y
determine todas las soluciones en ese caso.
(c) (x 1)y 0 = (y 1)(y 2),

y(a) = b no tiene solucion.

Soluci
on:
2y
(a) La ecuacion puede escribirse como y 0 = 2y
x , x 6= 0. En este caso f (x, y) = x es continua
en D = {(x, y) R2 : x 6= 0}. Entonces, el PVI tiene solucion para a 6= 0 y los candidatos
(a, b) para la no existencia de soluciones son de la forma (0, b).

y0
2
C1
= ln |y| = 2 ln |x| + C y = 2
y
x
x
Debemos considerar, ademas, la solucion especial y = 0.
Para (a, b) = (0, 0) hay una solucion de la forma y 0. Para (a, b) = (0, b) con b 6= 0, no hay
soluciones.

(b) Primero que todo, resolvemos la ecuacion. Separando variables,



dy
dx
dy
dy
dx
y 2

=

=
ln
= ln |x 1| + C0
(y 1)(y 2)
x1
y2 y1
x1
y1
As,


 y 2  = eC0 |x 1| y = 2 + Cx C ,
y1
Cx C 1

C = eC0

Debemos considerar tambien las soluciones especiales y = 1, y = 2. Notemos que y = 2 se

obtiene tomando C = 0. Por otra parte, y(1) = 2 para todas las soluciones, excepto para
y 1.
(y 1)(y 2)
La funcion f (x, y) =
es continua para x 6= 1. Por lo tanto para cada (a, b)
x1
2y 3
con a 6= 1 el PVI y(a) = b tiene al menos una solucion. En los puntos donde fy =
es
x1
continua la solucion es u
nica.
Por lo tanto, y(a) = b con a 6= 1 tiene solucion y es u
nica. El problema de valor inicial
2 + Cx C
y(1) = 2 no tiene solucion u
nica. Cada una de las funciones y =
e y = 2 son
Cx C 1
soluciones del PVI. Por otro lado si a = 1 y b = 1 se tiene la solucion u
nica y 1, y si a = 1
y b 6= 1 o 2 no tiene solucion.

Observaci
on: La continuidad de fy es condicion suficiente pero no necesaria para la
unicidad; los puntos donde fy no es continua solo son candidatos a no unicidad. Para
demostrar la no unicidad se deben mostrar dos o mas soluciones.
(c) Los valores de (a, b) para los cuales el PVI no tiene solucion son a = 1, b 6= 1, 2. Esto se debe
a que todas las expresiones que definen las soluciones de la ecuacion diferencial cumplen
y(1) = 2 o bien y(1) = 1.

Observaci
on: La continuidad de f es condicion suficiente pero no necesaria para la
existencia; los puntos donde f no es continua solo son candidatos a no existencia. Para
demostrar la no existencia se debe verificar que ninguna solucion cumple las condiciones
iniciales.

Problema 3. Considere el siguiente problema de valor inicial (PVI)

p
y 0 = t 1 y, y(0) = 1/2
(a) Utilizando el teorema de Picard-Lindelof, demuestre que el PVI tiene u
nica solucion definida en
alg
un intervalo abierto que contiene el punto t = 0.
(b) Resuelva explcitamente el PVI.
2

(c) Encuentre el intervalo maximal para el PVI antes expuesto.

Soluci
on:

(a) Puesto que f (t, y) = t 1 y, fy (t, y) =

son continuas en la region abierta D =

2 1y
{(t, y) R2 : y < 1}, y como (0, 1/2) D, por el teorema de Picard-Lindelof el PVI tiene
una u
nica solucion en alg
un intervalo abierto que contiene a t = 0.

(b) Resolvemos por separacion de variables:

p
dy
t2
= tdt 2 1 y =
+C
2
1y

Como 2 1 y 0 para y < 1, tenemos que la solucion obtenida

p esta restringida a
t2
on inicial y(0) = 1/2 tenemos que C = 2 1/2. La restricci
on
2 + C 0. Para la condici
en el dominio queda entonces como:
= {(t, y) R2 : y < 1, 23/4 t 23/4 }
D
Finalmente,

1
t4
2 2
y(t) =
+
t ,
2 16
4

23/4 t 23/4

(c) El grafico de y(t) y del campo de direcciones de la EDO es:

La funcion encontrada es solucion solamente en el intervalo [23/4 , 23/4 ], pues fuera de el la

funcion no es tangente al campo de direcciones. Notemos que:
lm

y(t) = 1

x23/4

lm y(t) = 1
x23/4

As, la funcion

z(t) =

para t < 23/4

1
t4
2 2
2 16 + 4 t

para 23/4 t 23/4

para t > 23/4

es una extension de y(t) que satisface la EDO inicial. Con ello, (23/4 , 23/4 ) no es un intervalo
maximal de existencia; dada la existencia de z(t), el intervalo en cuestion es simplemente
I = (, ).

Problema 4. Considere el siguiente problema de valores iniciales

y =

1+y
1 + x2

y(a) = b

(a) Encuentre todos los valores a, b R para los cuales el PVI no tiene solucion.
(b) Encuentre todos los valores a, b R para los cuales el PVI tiene solucion u
nica, determinela.
(c) Encuentre todos los valores a, b R para los cuales el PVI tiene mas de una solucion, determinelas.
Soluci
on:

1+y
Sea f (x, y) =
.
1 + x2
(a) Notamos que la EDO solo esta definida para y -1, entonces no hay solucion del PVI
si b < 1 y a R.
(b) La funcion f (x, y) es continua en R = {(x, y) : x R, y > 1} y ademas

f (x, y) =
y
2(1 + x2 ) 1 + y
es continua en R.
Entonces el teorema de Picard-Lindelof garantiza la existencia y unicidad de la soluci
on si
b > 1 y a R.
Para resolver la EDO, notamos que esta es de variables separables, entonces:
1
1

y0 =
1 + x2
1+y
Integrando:
2

1 + y = arctan(x) + C

Despejando y(x):

y(x) = 1 +

arctan(x)
+C
2

2

Y tomando la condicion inicial, se tiene que la u

nica solucion del PVI para b < 1 y a R
es:

2

arctan(x)
y(x) = 1 +
+ 2 1 + b arctan(a)
2
(c) Ahora bien, si b = 1, el teorema de existencia y unicidad no aplica, entonces el PVI tiene
mas de una solucion, por ejemplo:

y(x) = 1 o

y(x) = 1 +

2
arctan(x)
arctan(a)
2