UNIVERSIDAD DE CONCEPCIÓN

FACULTAD DE CIENCIAS FÍSICAS Y MATEMÁTICAS

DEPARTAMENTO DE INGENIERÍA MATEMÁTICA

ECUACIONES DIFERENCIALES ORDINARIAS (521.218)

PRÁCTICA N ◦ 3, 2da parte (EDO Lineal de Orden Superior)

Problemas a resolver en práctica:

1. Sean y1 (x) = x cos(ln(x)) y y2 (x) = x sen(ln(x)), x ∈ ]0, +∞[.

(a) Muestre que y1 e y2 son linealmente independientes (LI) en el espacio de las funciones
reales continuas en ]0, ∞[.
(b) Muestre que y1 y y2 son soluciones de x2 y 00 − x y 0 + 2 y = 0.
Demuestre usando el Wronskiano que y1 y y2 son LI.
(c) Resolver la EDO x2 y 00 − x y 0 + 2 y = 0.

Solución:

(a) Usando la definición de independencia lineal, sean α, β ∈ R tales que

α y1 (x) + β y2 (x) = 0 ∀x > 0 (1)

Como la igualdad anterior se cumple para todo x > 0, en particular será cierta para
x = 1 y para x = 2, resultando en tal caso el siguiente sistema de ecuaciones lineales
para α y β,
 
α y1 (1) + β y2 (1) = 0 α = 0
⇐⇒ (2)
α y1 (2) + β y2 (2) = 0 α cos(ln(2)) + β sen(ln(2)) = 0

cuya única solución es α = β = 0. Esto demuestra que el conjunto {y1 , y2 } es lin-

ealmente independiente en C( ]0, +∞[, R) (espacio de las funciones que son continuas
en ]0, +∞[, a valores reales), pues si existieran un par (α, β) 6= (0, 0) que cumpla (1)
para todo x > 0, también debe ser solución de sistema (2), lo cual no es cierto.
(b) Definimos el operador L = x2 D2 − x D + 2. Las primeras dos derivadas de las
funciones y1 e y2 están dadas, para cada x > 0, por,

y10 (x) = cos(ln(x)) − sen(ln(x)), y100 (x) = − x−1 sen(ln(x)) − x−1 cos(ln(x))

y20 (x) = sen(ln(x)) + cos(ln(x)), y200 (x) = x−1 cos(ln(x)) − x−1 sen(ln(x))

Entonces,

L[y1 ](x) = − x sen(ln(x)) − x cos(ln(x)) − x cos(ln(x)) + x sen(ln(x)) + 2 x cos(ln(x))

=0 ∀ x > 0,

y análogamente,

L[y2 ](x) = x cos(ln(x)) − x sen(ln(x)) − x sen(ln(x)) − x cos(ln(x)) + 2 x sen(ln(x))

=0 ∀ x > 0.

1
 Esto demuestra que y1 e y2 son soluciones de la EDO L[y] = 0. Para finalizar, notemos
que
   
 y1 (x) y2 (x)   x cos(ln(x)) x sen(ln(x)) 
W [y1 , y2 ](x) =  0 =
y1 (x) y20 (x)   cos(ln(x)) − sen(ln(x)) sen(ln(x)) + cos(ln(x)) 
   

= x cos(ln(x)) sen(ln(x)) + x cos2 (ln(x)) − x cos(ln(x)) sen(ln(x)) + x sen2 (ln(x))

= x cos2 (ln(x)) + x sen2 (ln(x))
=x>0 ∀ x > 0,

de donde se concluye que para todo x > 0, W [y1 , y2 ](x) > 0 (o sea, es no nulo para
todo x > 0). Por lo tanto, las funciones y1 e y2 son linealmente independientes.

(c) Del ı́tem anterior, ya sabemos que {y1 , y2 } es un sistema fundamental de soluciones de
la EDO L[y] = 0, pues esta es de orden n = 2, el conjunto en cuestión es linealmente
independiente y además, sus elementos resuelven la EDO. Por lo tanto, la solución
general de la misma está dada por

y(x) = C1 x cos(ln(x)) + C1 x cos(ln(x)) ∀ x > 0, ∀ C1 , C2 ∈ R.

2. Resolver los PVI:

(a) y 00 + 5 y 0 + 6 y = 0, y(0) = 1, y 0 (0) = 2, (b) y 00 − 2 y 0 + 2 y = 0, y(0) = 1, y 0 (0) = 1
(c) y 00 − 4 y 0 + 4 = 0, y(0) = 1, y 0 (0) = −1.
Solución:

(a) El polinomio caracterı́stico asociado a la EDO está dado por

p(λ) := λ2 + 5 λ + 6 = (λ + 2) (λ + 3),

siendo sus races, λ1 = −2 y λ2 = −3, las cuales son reales y distintas, e inducen las
funciones

y1 (x) := eλ1 x = e−2 x , y2 (x) := eλ2 x = e−3 x , ∀ x ∈ R,

y por lo visto en clases, {y1 , y2 } es un sistema fundamental de soluciones, y ası́, la

solución general de la EDO planteada está dada por

y(x) = C1 e−2 x + C2 e−3 x ∀ x ∈ R, ∀ C1 , C2 ∈ R.

Imponiendo las condiciones iniciales, se obtiene el siguiente sistema de ecuaciones

lineales
 
y(0) = 1 C1 + C2 = 1
0 ⇐⇒ ,
y (0) = 2 −2 C1 − 3 C2 = 2

cuya única soluón es C1 = 5 y C2 = −4. Por lo tanto, la única solucin del PVI
propuesto está dada por

y(x) = 5 e−2 x − 4 e−3 x ∀ x ∈ R.

2
(b) El polinomio caracterı́stico asociado a la EDO está dado por

p(λ) := λ2 − 2 λ + 2 = (λ − 1)2 + 1,

siendo sus races, λ1 = 1 + i y λ2 = 1 − i, las cuales son complejas conjugadas, e

inducen las funciones

y1 (x) := ex cos(x), y2 (x) := ex sen(x), ∀ x ∈ R,

y por lo visto en clases, {y1 , y2 } es un sistema fundamental de soluciones, y ası́, la

solución general de la EDO planteada está dada por

y(x) = C1 ex cos(x) + C2 ex sen(x) ∀ x ∈ R, ∀ C1 , C2 ∈ R.

La derivada de la solución general está dada por

y 0 (x) = (C1 + C2 ) ex cos(x) + (C2 − C1 ) ex sen(x) ∀ x ∈ R.

Ahora, imponiendo las condiciones iniciales, se obtiene el siguiente sistema de ecua-

ciones lineales
 
y(0) = 1 C1 = 1
0 ⇐⇒ ,
y (0) = 1 C1 + C2 = 1

cuya única soluón es C1 = 1 y C2 = 0. Por lo tanto, la única solucin del PVI propuesto
está dada por
y(x) = ex cos(x) ∀ x ∈ R.

(c) El polinomio caracterı́stico asociado a la EDO está dado por

p(λ) := λ2 − 4 λ + 4 = (λ − 2)2 ,

siendo sus races, λ1 = λ2 = 2, las cuales son reales e iguales, e inducen las funciones

y1 (x) := e2 x , y2 (x) := x e2 x , ∀ x ∈ R,

y por lo visto en clases, {y1 , y2 } es un sistema fundamental de soluciones, y ası́, la

solución general de la EDO planteada está dada por

y(x) = C1 e2 x + C2 x e2 x ∀ x ∈ R, ∀ C1 , C2 ∈ R.

La derivada de la solución general está dada por

y 0 (x) = (2 C1 + C2 ) e2 x + 2 C2 x e2 x ∀ x ∈ R.

Ahora, imponiendo las condiciones iniciales, se obtiene el siguiente sistema de ecua-

ciones lineales
 
y(0) = 1 C1 = 1
⇐⇒ ,
y 0 (0) = −1 2 C1 + C2 = −1

cuya única soluón es C1 = 1 y C2 = −3. Por lo tanto, la única solucin del PVI
propuesto está dada por

y(x) = e2 x − 3 x e2 x ∀ x ∈ R.

3
3. Buscando soluciones del tipo y(x) = eβx , determine la solución general de L[y] = 0, cuando:
(a) L = (D3 − 4D2 + D + 2), (b) L = (D3 − 4 D2 + D + 2)(D − 3).
Solución: Antes que nada, se recuerda que si y(x) := eβ x , para todo x ∈ R y para
cualquier β ∈ R, entonces, si n ∈ N∗ ,
dn β x
Dn [y](x) = (e ) = β n eβ x ∀ x ∈ R. (3)
dxn
(a) Utilizando lo observado, como la función x 7→ y(x) = eβ x debe ser solución de la
EDO L[y] = 0, se debe cumplir que

L[y] = 0 ⇐⇒ β 3 eβ x − 4 β 2 eβ x + β eβ x + 2 eβ x = 0 ∀x ∈ R
3 2
⇐⇒ β − 4 β + β + 2 = 0,

donde se ha usado el hecho que la función exponencial real nunca se anula. Para
resolver la ecuación de tercer grado para β, aplicando el Teorema de las Raı́ces
Racionales, posibles soluciones de la ecuación son ±1 y ±2. Testeando, se com-
prueba que una solución es β1 = 1, y realizando la división respectiva, la ecuación es
equivalente a la siguiente

(β − 1) (β 2 − 3 β − 2) = 0,

cuyas soluciones son

√ √
3+ 17 3− 17
β1 = 1, β2 = , β3 = .
2 2
De esta manera, tres soluciones de la EDO planteada están dadas por
√ √
3+ 17 3− 17
x x x
y1 (x) := e , y2 (x) := e 2 , y3 (x) := e 2 ∀ x ∈ R,

y por un resultado visto en clases, el conjunto {y1 , y2 , y3 } es un sistema fundamental

de soluciones de la EDO L[y] = 0 (pues las raı́ces son distintas). Por lo tanto, la
solución general de la EDO está dada por
√ √
3+ 17 3− 17
y(x) = C1 ex + C2 e 2
x
+ C3 e 2
x
∀ x ∈ R, ∀ C1 , C2 , C3 ∈ R.
(b) Se procede de forma análoga al ı́tem anterior. Antes que nada, notemos que para la
función x 7→ y(x) := eβ x se tiene que

L[y] = (D3 − 4 D2 + D + 2) (D − 3)[eβ x ]

= (D3 − 4 D2 + D + 2)[β eβ x − 3 eβ x ]
= (β − 3)(D3 − 4 D2 + D + 2)[eβx ] (por linealidad de D3 − 4 D2 + D + 2)
= (β − 3) D3 [eβx ] − 4D2 [eβx ] + D[eβx ] − 3eβx

= (β − 3)(β 3 − 4β 2 + β − 3)eβx por (3)

A partir de aquı́, se debe cumplir que

L[y] = 0 ⇐⇒ (β − 3)(β 3 − 4 β 2 + β + 2) = 0
√ ! √ !
3 + 17 3 + 17
⇐⇒ (β = 1) ∨ β = ∨ β= ∨ (β = 3).
2 2

4
 De esta manera, cuatro soluciones de la EDO planteada están dadas por
√ √
3+ 17 3− 17
x x x
y1 (x) := e , y2 (x) := e 2 , y3 (x) := e 2 , y4 (x) = e3 x ∀ x ∈ R.

y como las raı́ces de la ecuación para β son distintas, el conjunto {y1 , y2 , y3 , y4 } es

un sistema fundamental de soluciones de la EDO L[y] = 0. Ası́, la solución general
de la EDO está dada por

√ √
3+ 17 3− 17
x x x
y(x) = C1 e + C2 e 2 + C3 e 2 + C4 e 3 x ∀ x ∈ R, ∀ C1 , C2 , C3 , C4 ∈ R.

18/04/2022 MD/CMG//cmg