¿Cómo se soluciona una ecuación diferencial ordinaria

lineal homogénea de orden 2?

Mario Durán & Carlos M. Mora

Función exponencial
Fije λ = a + b i con a, b ∈ R. Para cada x ∈ R,

exp (λ x) = exp (a x) (cos (b x) + i sen (b x)) .

d
exp (a x) (cos (b x) + i sen (b x)) = a exp (a x) (cos (b x) + i sen (b x))
dx
+ exp (a x) (−b sen (b x) + i b cos (b x))
= a exp (λ x) + b i exp (a x) (i sen (b x) + cos (b x))
= a exp (λ x) + b i exp (λ x)
= (a + b i) exp (λ x)

Para cada λ ∈ C,
d
exp (λ x) = λ exp (λ x)
dx
Problema
Encuentre todas las funciones del tipo x 7→ exp (λ x), con λ ∈ C, que satisfacen:

Y 00 (x) + p Y 0 (x) + q Y (x) = 0 ∀x ∈ R, (1)

con p, q ∈ R.

d
Buscaremos soluciones de (1) con la forma Y (x) = exp (λ x). Ya que dx
exp (λ x) = λ exp (λ x),
d2
dx 2
exp (λ x) = λ2 exp (λ x). Sustituyendo en (1) obtenemos

λ2 exp (λ x) + p λ exp (λ x) + q exp (λ x) = 0.

Lo que implica
λ2 + p λ + q = 0,
o sea λ es un cero del polinomio característico λ2 + p λ + q.

La función Y (x) = exp (λ x) satisface (1) si y solo si

s
p p2
λ=− ± − q.
2 4
Independencia lineal
Tenemos que son f1 , f2 , . . . , fn son linealmente independientes cuando

c1 f1 (t) + c2 f2 (t) + · · · + cn fn (t) = 0 ∀t ∈ ]a, b[ .

implica que c1 = c2 = · · · = cn = 0.

¿Serán exp (λ1 x) y exp (λ2 x) funciones linealmente independientes cuando λ1 6= λ2 ?

Recordemos que  
f (x ) f2 (x0 )
W [f1 , f2 ] (x0 ) :=  10 0 .
f1 (x0 ) f20 (x0 )

Asumamos que λ1 , λ2 ∈ R. Como

 
 exp (λ1 x) exp (λ2 x) 

λ1 exp (λ1 x) = exp (λ1 x) λ2 exp (λ2 x) − exp (λ2 x) λ1 exp (λ1 x)
λ2 exp (λ2 x)
= exp (λ1 x) exp (λ2 x) (λ2 − λ1 ) 6= 0,

exp (λ1 x) y exp (λ2 x) son funciones linealmente independientes.

Problema
p2
Asuma que p, q ∈ R son tales que 4
− q > 0. Encuentre la solución general de:

Y 00 (x) + p Y 0 (x) + q Y (x) = 0 ∀x ∈ R. (2)

p2
Ya que 4
− q > 0, el polinomio característico λ2 + p λ + q tiene dos raíces reales
s
p p2
λ1,2 =− ± − q.
2 4

Entonces Yk (x) = exp (λk x) , con k = 1, 2, satisfacen la (2). Aplicando el principio de superposición
obtenemos que
 s    s  
p p2 p p 2
Y (x) = C1 exp − + − q  x  + C2 exp − − − q x 
2 4 2 4

es solución de (2) para cada C1 , C2 ∈ R.

¿Existirán otras soluciones? No como veremos a continuación.

Existencia y unicidad de soluciones de una EDO lineal de orden 2
Suponga que p, q, g : ]a, b[ → R son funciones continuas, con −∞ ≤ a < b ≤ +∞. Entonces, para
cada x0 ∈ ]a, b[ y y0 , y1 ∈ R, el problema de valores iniciales


 Y 00 (x) + p (x) Y 0 (x) + q (x) Y (x) = g (x) ∀x ∈ ]a, b[
Y (x0 ) = y0
Y 0 (x0 ) = y1



tiene una única solución definida en todo el intervalo ]a, b[.

Ejemplo
Si x 6= 0, x 2 Y 00 (x) − xY 0 (x) + Y (x) = 0 es equivalente a Y 00 (x) − x1 Y 0 (x) + 1
x2
Y (x) = 0. Como
x 7→ − x1 , x 7→ 1
x2
y x 7→ 0 son funciones continuas en ]−∞, 0[ y en ]0, +∞[,


2 00 0
 x Y (x) − xY (x) + Y (x) = 0

Y (x0 ) = y0
Y 0 (x0 ) = y1



tiene una única solución definida en ]−∞, 0[ (resp. ]0, +∞[ ) si x0 ∈ ]−∞, 0[ (resp. x0 ∈ ]0, +∞[).
Solución general de una EDO lineal de orden 2 homogénea
Considere la EDO

Y 00 (x) + p (x) Y 0 (x) + q (x) Y (x) = 0 ∀x ∈ ]a, b[ , (3)

donde p, q : ]a, b[ → R son funciones continuas y −∞ ≤ a < b ≤ +∞.

Un sistema fundamental de soluciones de (3) está formado por dos funciones independientes f1 , f2 :
]a, b[ → R que satisfacen (3).

Supongamos que f1 , f2 es un sistema fundamental de soluciones de (3). Entonces, la solución gene-

ral de (3) es: Y (x) = C1 f1 (x) + C2 f2 (x) , con C1 , C2 ∈ R.

El conjunto de todas las soluciones de (3) forma un subespacio vectorial. La dimensión de este
subespacio es 2. En efecto, considere una solución cualquiera Y (x) de (3). Sean

Y100 (x) + p (x) Y10 (x) + q (x) Y1 (x) = 0 ∀x ∈ ]a, b[ , Y1 (x0 ) = 1, Y10 (x0 ) = 0.

Y200 (x) + p (x) Y20 (x) + q (x) Y2 (x) = 0 ∀x ∈ ]a, b[ , Y2 (x0 ) = 0, Y20 (x0 ) = 1.
Puesto que W [Y1 , Y2 ] (x0 ) = 1, Y1 y Y2 son LI. El teorema de EyU asegura que

Y (x) = Y (x0 ) Y1 (x) + Y 0 (x0 ) Y2 (x) .

¿Cuál será el comportamiento cuando x se acerca a +∞ de la solución del problema de valores
iniciales

Y 00 (x) − Y 0 (x) − 2Y (x) = 0 ∀x ∈ R (4)

0
Y (0) = 1, Y (0) = −1

Polinomio característico: λ2 − λ − 2. Como λ2 − λ − 2 = (λ − 2) (λ + 1), la solución general de (4)

es:
Y (x) = C1 exp (2 x) + C2 exp (−x)

Y (0) = 1 ⇒ C1 exp (0) + C2 exp (0) = 1 ⇒ C1 + C2 = 1.

Notemos que Y 0 (x) = 2 C1 exp (2 x) − C2 exp (−x) . C1 = 0 y C2 = 1
Y 0 (0) = −1 ⇒ 2 C1 exp (0) − C2 exp (0) = −1 ⇒ 2 C1 − C2 = −1

Y (x) = exp (−x)

Cuando x se acerca a +∞ la solución decre-

ce rápidamente a 0.
Problema
p2
Asuma que p, q ∈ R son tales que 4
− q < 0. Encuentre la solución general de:

Y 00 (x) + p Y 0 (x) + q Y (x) = 0 ∀x ∈ R. (5)

p2
Ya que 4
− q < 0, el polinomio característico λ2 + p λ + q tiene como raíces los números complejos
s s
p p2 p p2
λ1,2 =− ± −q =− ±i q−
2 4 2 4

Entonces Yk (x) = exp (λk x) , con k = 1, 2, satisfacen (5). Aplicando el principio de superposición
obtenemos que
Y (x) = C1 exp (λ1 x) + C2 exp (λ2 x)
es solución de (5) para cada C1 , C2 ∈ C.

 p   p 
Y (x) = C1 exp − x (cos (α x) + i sen (α x)) + C2 exp − x (cos (−α x) + i sen (−α x))
2 2
 p   p 
= C1 exp − x (cos (α x) + i sen (α x)) + C2 exp − x (cos (α x) − i sen (α x))
2 2
p
con α = q − p2 /4 .
Problema
p2
Asuma que p, q ∈ R son tales que 4
− q < 0. Encuentre la solución general de:

Y 00 (x) + p Y 0 (x) + q Y (x) = 0 ∀x ∈ R. (6)

 p   p 
Y (x) = C1 exp − x (cos (α x) + i sen (α x)) + C2 exp − x (cos (α x) − i sen (α x))
2 2
 p   p 
= (C1 + C2 ) exp − x cos (α x) + i (C1 − C2 ) exp − x sen (α x) ,
2 2
p
donde α = q − p2 /4 .

C1 = C2 = 1/2: exp − p2 x cos (α x) es solución de (6)

C1 = −C2 = 1/2: exp − p2 x sen (α x) es solución de (6)

Solución general de (6)

 p   p 
Y (x) = K1 exp − x cos (α x) + K2 exp − x sen (α x)
2 2
donde K1 , K2 ∈ R.
¿Son LI las funciones exp − p2 x cos (α x), exp − p2 x sen (α x)?

Sean c1 , c2 ∈ R tales que

 p   p 
c1 exp − x cos (α x) + c2 exp − x sen (α x) = 0 ∀x ∈ R.
2 2

Luego
c1 cos (α x) + c2 sen (α x) = 0 ∀x ∈ R.
Lo que implica que c1 = c2 = 0 puesto que
 
 cos (x) sen (x)

− sen (x) = cos2 (x) + sen2 (x) = 1 6= 0,
cos (x)
Para x ≥ 0, describa el comportamiento de las soluciones de:

Y 00 (x) + Y 0 (x) + Y (x) = 0 ∀x ∈ R

Polinomio característico:
q λ2 + λ +q1.
Raíces: − 12 ± 14 − 1 = − 12 ± i 34
Solución general:

  r !   r !
1 3 1 3
Y (x) = C1 exp − x cos x + C2 exp − x sen x
2 4 2 4
  r ! r !!
1 3 3
= exp − x C1 cos x + C2 sen x .
2 4 4

con C1 , C2 ∈ R.
1.2

0.8

0.6

0.4

Cuando x se acerca a +∞ la solución decre-

0.2

ce rápidamente a 0. Hay oscilaciones. -0.2

0 2 4 6 8 10 12 14 16 18 20
Problema
p2
Asuma que p, q ∈ R son tales que 4
− q = 0. Encuentre la solución general de:

Y 00 (x) + p Y 0 (x) + q Y (x) = 0 ∀x ∈ R. (7)

2
Ya que p4 − q = 0, el polinomio característico λ2 + p λ + q tiene una única raíz que es λ = − p2 .
Entonces Y (x) = exp − p2 x , satisface (7).

d
Definamos D = dx
. Entonces (7) se reescribe como
!
  p2  p 2
D 2 + pD + q Y (x) = 0 ⇔ D 2 + pD + Y (x) = 0 ⇔ D + Y (x) = 0.
4 2

 p 2  − p x   p p   −p x  p    −p x p −p x
D+ xe 2 = D+ D+ xe 2 = D+ D xe 2 + xe 2
2 2 2 2 2
 p   p  p  p p p   p   −p x
= D+ e− 2 x + x − e− 2 x + xe− 2 x = D + e 2 = 0.
2 2 2 2
p
Luego xe− 2 x
satisface (7).
Problema
p2
Asuma que p, q ∈ R son tales que 4
− q = 0. Encuentre la solución general de:

Y 00 (x) + p Y 0 (x) + q Y (x) = 0 ∀x ∈ R. (8)

Tenemos que las funciones exp − p2 x y x exp − p2 x satisfacen (8).

Sean c1 , c2 ∈ R tales que

 p   p 
c1 exp − x + c2 x exp − x = 0 ∀x ∈ R.
2 2

Luego c1 + c2 x = 0 para todo x ∈ R. Lo que implica que c1 = c2 = 0, por ende exp − p2 x y

p

x exp − 2 x son linealmente independientes. Por lo que la solución general de (8) es:

 p   p 
Y (x) = C1 exp − x + C2 x exp − x
2 2
Encuentre la solución general de

Y 00 (x) + 4 Y 0 (x) + 4 Y (x) = 0 ∀x ∈ R

Polinomio característico: λ2 + 4 λ + 4 = (λ + 2)2 .

Solución general:

Y (x) = C1 exp (−2 x) + C2 x exp (−2 x) .

con C1 , C2 ∈ R.
1

0.9

0.8

0.7

0.6

0.5

0.4

0.3

Cuando x se acerca a +∞ la solución decre- 0.2

ce rápidamente a 0. No hay oscilaciones.

0.1

0
0 0.5 1 1.5 2 2.5 3 3.5 4
x
Solución general

Y 00 (x) + p Y 0 (x) + q Y (x) = 0 ∀x ∈ R

con p, q ∈ R.
2
Caso: polinomio característico con dos raíces reales diferentes ( p4 − q > 0 )
 s    s  
p p 2 p p 2
Y (x) = C1 exp − + − q  x  + C2 exp − − − q x 
2 4 2 4

con C1 , C2 ∈ R.
2
Caso: polinomio característico con dos raíces complejas ( p4 − q < 0 )
 p   p 
Y (x) = C1 exp − x cos (α x) + C2 exp − x sen (α x)
2 2
p
donde C1 , C2 ∈ R y α = q − p /4.2

2
Caso: polinomio característico con una única raíz ( p4 − q = 0 )
 p   p 
Y (x) = C1 exp − x + C2 x exp − x
2 2
con C1 , C2 ∈ R.