Pontificia Universidad Católica de Chile

Facultad de Matemáticas
Departamento de Matemática
Segundo Semestre de 2019

Ecuaciones Diferenciales Ordinarias - MAT2500

Ayudantı́a 2
Profesor: Nikola Kamburov
Ayudante: Luciano Sciaraffia
23 de agosto del 2019

t2
1. Haga un análisis cualitativo de la ecuación ẋ = x2 − 1+t2
.
a) Demuestre que existe una única solución que se aproxima asintóticamente a la recta
x = 1.
b) Demuestre que todas las soluciones bajo esta solución se aproximan asintóticamente a
la recta x = −1.
c) Demuestre que todas las soluciones sobre esta solución tienden a +∞ en tiempo finito.
2. Sea (√
1 − x2 , si |x| < 1,
f (x) :=
0, si |x| ≥ 1.
Considere el problema de Cauchy
(
ẋ = 3t2 f (x),
x(0) = x0 ,

donde x0 ∈ R.
a) Sea |x0 | =
6 1. Demuestre que el problema tiene única solución. Encuentre explı́citamente
esta solución y verifique que el intervalo maximal de su definición es todo R.
b) Sea |x0 | = 1. Construya una familia infinita de soluciones distintas al problema definidas
en todo R. ¿Por qué este resultado no contradice el teorema de Picard-Lindelöf?
3. Sea f : Rn → R localmente Lipschitz y acotada. Demuestre que:
a) para todo x0 ∈ Rn la solución ϕ = ϕ(t, x0 ) de
(
ẋ = f (x),
x(0) = x0 ,

está definida para todo t ∈ R;

b) para todo t ∈ R la función ϕt : x0 7→ ϕ(t, x0 ) es un homeomorfismo de Rn sobre Rn ;

1
 c) para todo t, s ∈ R se cumple ϕt+s = ϕt ◦ ϕs .
4. Demuestre el siguiente teorema.
Teorema. (Weissinger) Sea C un conjunto cerrado y no vacı́o en un espacio de Banach.
Suponga que K : C → C satisface

kK n (x) − K n (y)k ≤ θn kx − yk, x, y ∈ C,

P∞
donde n=1 θn < ∞. Entonces, K tiene un único punto fijo x̂ tal que
∞
!
X
n
kK (x) − x̂k ≤ θk kK(x) − xk, x ∈ C.
k=n

Problemas propuestos
1. Demuestre que una función f ∈ C 1 (Rk ; Rn ) es localmente Lipschitz. Concluya que una función
f ∈ C 1 (U ; Rn ), donde U ⊂ Rn+1 es un conjunto abierto, es localmente Lipschitz en la segunda
variable uniformemente respecto a la primera. Por otro lado, suponga que f ∈ C[0, 1]∩C 1 (0, 1)
es tal que
lı́m f 0 (x) = ∞.
x↓0

Demuestre que f no puede ser Lipschitz en 0.

2. El objetivo de este problema es demostrar el siguiente teorema.
Teorema. (Cauchy-Kovalevskaya) Sean n, k ≥ 1 enteros. Suponga que f : Rnk → Rn es
función analı́tica real, y sean t0 ∈ R y x0 , . . . , xk−1 ∈ Rn cualesquiera. Entonces, existe un
intervalo abierto I en torno a t0 y una única solución analı́tica real x : I → Rn a la ecuación

x(k) = f (x, . . . , x(k−1) ) (1)

y que satisface las condiciones iniciales

x(t0 ) = x0 , ..., x(k−1) (t0 ) = xk−1 .

Para ello, siga los siguientes pasos.

a) Reduzca al caso k = 1, t0 = 0 y x0 = 0.
b) Observe que puede derivar la ecuación (1) para obtener recursivamente las derivadas de
orden superior de x.
c) Use inducción para demostrar que las derivadas de orden superior x(m) (0) obtenidas de
este modo se pueden acotar como

|x(m) (0)| ≤ K m+1 m!, para todo m ≥ 0,

donde K > 0 es una constante suficientemente grande que depende de f .

2
 d ) Defina x : I → Rn para algún intervalo suficientemente pequeño en torno a 0 como la
serie
∞
X x(m) (0) m
x(t) := t .
m!
m=0
Demuestre que dx/dt − f (x) es analı́tica real en I y todas sus derivadas en 0 se anulan.
e) Concluya.
3. Sea x : I → Rn solución clásica a la ecuación ẋ = f (x), donde f : Rn → Rn es localmente
Lipschitz. Sea H ∈ C 1 (Rn ) tal que
∇H(x) · f (x) = g(x)H(x), para todo x ∈ Rn ,
donde g ∈ C(Rn ). Demuestre que si H(x(t)) se anula para algún t ∈ I, entonces se anu-
la en todo I. Interprete esto geométricamente, considerando f como un campo vectorial y
estudiando las superficies de nivel de H.
4. Sean f, g ∈ C 1 (Rn ; Rn ) tales que
f 0 (x) · g(x) − g 0 (x) · f (x) = 0, para todo x ∈ Rn . (1)
Demuestre que para todo u0 ∈ Rn existe una vecindad U ⊂ R2 del origen y una función
u ∈ C 2 (U ; Rn ) que satisface las ecuaciones
∂u ∂u
(s, t) = f (u(s, t)), (s, t) = g(u(s, t)), para todo (s, t) ∈ U, (2)
∂s ∂t
con dato inicial u(0, 0) = u0 . Recı́procamente, si u ∈ C 2 (U ; Rn ) satisface (2), entonces (1) se
debe cumplir para todo x en la imagen de u. (Ayuda: utilice el teorema de Picard-Lindelöf
para construir u localmente en el eje s usando la primera ecuación de (2), y luego extienda u
en la dirección de t usando la segunda ecuación de (2). Use la desigualdad de Gronwall y (1)
para demostrar que Z s
u(s, t) − u(0, t) − f (u(σ, t)) dσ = 0,
0
para todo (s, t) en una vecindad del origen.) Este es un caso simple del teorema de Frobenius.
5. Sean f, g : Rn → Rn funciones Lipschitz tales que
|f (x) − f (y)|
f (0) = 0, sup < 1.
x,y∈Rn :x6=y |x − y|
Demuestre que existe T > 0 para el cual hay una única solución clásica x : (0, T ] → Rn al
problema
f (x) |x(t)|
ẋ = + g(x), lı́m sup < ∞.
t t↓0 t
(Ayuda: para la existencia, construya iteraciones en el subespacio
 
n u(t)
X := u ∈ C([0, T ]; R ) : lı́m existe ;
t↓0 t
para la unicidad utilice la desigualdad de Gronwall.) Demuestre que, de hecho, x se extiende
a una función en C 1 ([0, T ]; Rn ), con x(0) = 0 y ẋ(0) = g(0). ¿Qué ocurre cuando la constante
de Lipschitz de f es mayor que 1? (Puede considerar f lineal y g ≡ 0.)