Apuntes de Ecuaciones Diferenciales

De Orden Superior
Escrito por Marcelo Órdenes Lira.
Alumno de la Lic. En Física Mención Astronomía.
Octubre del 2016. Versión 1.

1. Introducción
Una ecuación diferencial de orden 𝒏 es dada por
𝑎𝑛 (𝑥) 𝑦 𝑛 (𝑥) + 𝑎𝑛−1 (𝑥) 𝑦 𝑛−1 (𝑥) + ⋯ + 𝑎1 (𝑥) 𝑦 ′ (𝑥) + 𝑎0 (𝑥) 𝑦(𝑥) = 𝑔(𝑥) … … … (1)

Donde 𝑎𝑛 (𝑥) ≠ 0, definida en 𝐼 ⊂ ℝ, 𝑎𝑖 (𝑥) funciones continuas (𝑖 = 1, 2, … , 𝑛)

Observaciones:
a) Si 𝑟(𝑥) ≡ 0, la ecuación (1) es una ecuación diferencial homogénea.
b) Si los 𝑎𝑖 (𝑥) son constantes, se dice que (1) es una ecuación diferencial de coeficientes constantes.
c) Si 𝑦1 (𝑥), 𝑦2 (𝑥) son soluciones de la ecuación diferencial homogénea
𝑎𝑛 (𝑥) 𝑦 𝑛 (𝑥) + ⋯ + 𝑎1 (𝑥) 𝑦 ′ (𝑥) + 𝑎0 (𝑥) 𝑦(𝑥) = 0 … … … (2)

⇒ 𝛼 𝑦1 (𝑥) + 𝛽 𝑦2 (𝑥) es solución de (2).

Operadores Diferenciales
𝑑𝑦
En cálculo, es frecuente denotar la derivación con la letra 𝐷 mayúscula; es decir, 𝑑𝑥
= 𝐷𝑦. El símbolo 𝐷 se lama
operador diferencial porque convierte una función derivable en otra función. Las derivadas de orden superior se
𝑑 𝑑𝑦 𝑑2 𝑦 𝑑𝑛𝑦
expresan en términos de 𝐷 de forma natural como ( ) = = 𝐷(𝐷𝑦) = 𝐷 2 𝑦. En general = 𝐷𝑛 𝑦 .
𝑑𝑥 𝑑𝑥 𝑑𝑥 2 𝑑𝑥 𝑛
Donde 𝑦 es una función suficientemente derivable.

Teorema: Principio de Superposición

Sean 𝑦1 (𝑥), 𝑦2 (𝑥), … , 𝑦𝑘 (𝑥) soluciones de la ecuación homogénea de 𝑛-ésimo orden en un intervalo 𝐼. Entonces
la combinación lineal 𝑦 = 𝑐1 𝑦1 (𝑥) + 𝑐2 𝑦2 (𝑥) + ⋯ + 𝑐𝑛 𝑦𝑛 (𝑥)

Donde las 𝑐𝑖 = 1, 2, … , 𝑘 son constantes arbitrarias, también es una solución en el intervalo.

Corolarios:
i. Un múltiplo constante 𝑦 = 𝑐1 𝑦1 (𝑥) de una solución 𝑦1 (𝑥) de una ecuación diferencial lineal
homogénea es también una solución.
ii. Una ecuación diferencial lineal homogénea tiene siempre la solución trivial 𝑦 = 0.

2. Independencia lineal de funciones

Definición:
Se dice que un conjunto de funciones 𝑓1 (𝑥), 𝑓2 (𝑥), . . . , 𝑓𝑛 (𝑥) es linealmente dependiente en un intervalo 𝐼 si
existen constantes 𝑐1 , 𝑐2 , … , 𝑐𝑛 no todas cero, tales que
𝑐1 𝑓1 (𝑥) + 𝑐2 𝑓2 (𝑥) + ⋯ + 𝑐𝑛 𝑓𝑛 (𝑥) = 0
 Para todo 𝑥 en el intervalo. Si el conjunto de funciones no es linealmente dependiente en el intervalo, se dice
que es linealmente independiente.

Nos interesan funciones linealmente independientes o más bien las soluciones linealmente independientes de
una ecuación diferencial lineal, una forma mecánica para identificar dichas soluciones es usando el Wronskiano.

Definición:
Sean 𝑓1 (𝑥), 𝑓2 (𝑥), . . . , 𝑓𝑛 (𝑥), funciones (𝑛 − 1) veces derivables en 𝑥 ∈ 𝐼 ⊂ ℝ, entonces el Wronskiano de
𝑓1 (𝑥), 𝑓2 (𝑥), . . . , 𝑓𝑛 (𝑥) se define como
𝑓1 𝑓2 𝑓3
𝑓1′ 𝑓2′ 𝑓3′
| |
. . .
𝑊[𝑓1 (𝑥), 𝑓2 (𝑥), . . . , 𝑓𝑛 (𝑥)] = . . .
| . . . |
(𝑛−1) (𝑛−2) (𝑛−1)
𝑓1 𝑓2 𝑓3

Teorema: Criterio para soluciones linealmente independientes

Sean 𝑦1 (𝑥), 𝑦2 (𝑥), … , 𝑦𝑛 (𝑥); 𝑛 soluciones de la ecuación diferencial lineal homogénea de
𝑛-ésimo orden en el intervalo 𝐼. El conjunto de soluciones es linealmente independiente
en 𝐼 si y sólo si 𝑊(𝑓1 (𝑥), 𝑓2 (𝑥), . . . , 𝑓𝑛 (𝑥)) ≠ 0 para todo 𝑥 en el intervalo.

Definición:
Cualquier conjunto 𝑦1 (𝑥), 𝑦2 (𝑥), … , 𝑦𝑛 (𝑥) de 𝑛 soluciones linealmente independientes de la ecuación
diferencial lineal homogénea de 𝑛-ésimo orden en un intervalo 𝐼 es un conjunto fundamental de soluciones en
el intervalo.

Teorema: Solución general

Sea 𝑦1 (𝑥), 𝑦2 (𝑥), … , 𝑦𝑛 (𝑥) un conjunto fundamental de soluciones de la ecuación diferencial lineal homogénea
de 𝑛-ésimo orden en el intervalo 𝐼. Entonces la solución general de la ecuación en el intervalo es
𝑦 = 𝑐1 𝑦1 (𝑥) + 𝑐2 𝑦2 (𝑥) + ⋯ + 𝑐𝑛 𝑦𝑛 (𝑥)

Donde 𝑐𝑖 , 𝑖 = 1, 2, … , 𝑛 constantes arbitrarias.

3. Ecuaciones diferenciales homogéneas con coeficientes constantes

En esta parte trataremos ecuaciones lineales homogéneas, con coeficientes constantes. Resolvíamos esta
ecuación con variables separables o con ayuda de un factor integrante, pero esta vez sólo usaremos el álgebra.
Observemos que dada la ecuación 𝑎 𝑦 ′ + 𝑏 𝑦 = 0, al despejar la derivada tenemos que 𝑦 ′ = 𝑘 𝑦, donde 𝑘 es
una constante. Esta observación revela la naturaleza de la solución desconocida 𝑦; pues la única función
elemental que no sea la trivial cuya derivada es una constante múltiple de sí misma es la función exponencial
𝑒 𝑚𝑥 . Así tenemos que 𝑦 = 𝑒 𝑚𝑥 y 𝑦 ′ = 𝑚 𝑒 𝑚𝑥 al ser reemplazadas en 𝑎 𝑦 ′ + 𝑏 𝑦 = 0 obtenemos
𝑎 𝑚 𝑒 𝑚𝑥 + 𝑏 𝑒 𝑚𝑥 = 0 ⇒ 𝑒 𝑚𝑥 (𝑎𝑚 + 𝑏) = 0 … … … (3)
Como 𝑒 𝑚𝑥 nunca es cero para los valores de 𝑥, la ecuación (3) sólo se satisface sí 𝑚 es una solución o raíz de la
ecuación de primer grado 𝑎𝑚 + 𝑏 = 0. Para este único valor de 𝑚, 𝑦 = 𝑒 𝑚𝑥 es una solución de la ecuación
diferencial.

3.1 Ecuación característica

Considerando la ecuación diferencial homogénea de coeficientes constantes
𝑎𝑛 𝑦 𝑛 (𝑥) + 𝑎𝑛−1 𝑦 𝑛−1 (𝑥) + ⋯ + 𝑎1 𝑦 ′ (𝑥) + 𝑎0 𝑦(𝑥) = 0 … … … (4)

Donde está definida en 𝑥 ∈ 𝐼 ⊂ ℝ, 𝑎𝑛 ≠ 0, 𝑎𝑖 constantes (𝑖 = 1, 2, … , 𝑛). Si queremos una solución de la forma

𝑦 = 𝑒 𝑚𝑥 consideremos primero el caso en la ecuación (4), para 𝑛 = 2 se tiene
𝑎 𝑦 ′′ (𝑥) + 𝑏 𝑦 ′ (𝑥) + 𝑐 𝑦(𝑥) = 0 … … … (5)

Derivando y sustituyendo 𝑦 = 𝑒 𝑚𝑥 en la ecuación (5) tenemos

𝑎 𝑚2 𝑒 𝑚𝑥 + 𝑏 𝑚𝑒 𝑚𝑥 + 𝑐 𝑒 𝑚𝑥 = 0 ⇒ 𝑒 𝑚𝑥 (𝑎𝑚2 + 𝑏𝑚 + 𝑐) = 0 … … … (6)

La ecuación (6) se le conoce como ecuación característica de (5) y debido a que las raíces son de la forma
𝑚1 = (−𝑏 + √𝑏 2 − 4𝑎𝑐)/2𝑎 y 𝑚2 = (−𝑏 − √𝑏 2 − 4𝑎𝑐)/2𝑎 tendremos 3 casos para la solución general de (5).

Ahora retomando la ecuación para 𝑛, es decir la ecuación (4) tenemos

3.1.1 CASO 1: Raíces reales distintas (𝑏 2 − 4𝑎𝑐 > 0)

Si las 𝑛 raíces de (4): 𝑚1 , 𝑚2 , … , 𝑚𝑛 son reales y distintas, es decir
𝑦1 (𝑥) = 𝑒 𝑚1 𝑥 , 𝑦2 (𝑥) = 𝑒 𝑚2 𝑥 , … … … , 𝑦𝑛 (𝑥) = 𝑒 𝑚𝑛 𝑥

Son soluciones linealmente independientes para (4). Así, la solución general de (4) es
𝑦(𝑥) = 𝑐1 𝑒 𝑚1 𝑥 + 𝑐2 𝑒 𝑚2 𝑥 + ⋯ + 𝑐𝑛 𝑒 𝑚𝑛 𝑥

Donde 𝑐1 , 𝑐2 , … , 𝑐𝑛 son constantes arbitrarias reales.

3.1.2 CASO 2: Raíces reales repetidas (𝑏 2 − 4𝑎𝑐 = 0)

Si las 𝑛 raíces de (4) son reales e iguales, es decir, 𝑚1 = 𝑚2 = ⋯ = 𝑚𝑛 , entonces
𝑦1 (𝑥) = 𝑒 𝑚1 𝑥 , 𝑦2 (𝑥) = 𝑥 𝑒 𝑚1 𝑥 , 𝑦3 (𝑥) = 𝑥 2 𝑒 𝑚1 𝑥 , … , 𝑦𝑛 (𝑥) = 𝑥 𝑛−1 𝑒 𝑚1 𝑥

Son las n soluciones linealmente independientes para (4). Así, la solución general de (4) es
𝑦(𝑥) = 𝑐1 𝑒 𝑚1 𝑥 + 𝑐2 𝑥 𝑒 𝑚1 𝑥 + 𝑐3 𝑥 2 𝑒 𝑚1 𝑥 … + 𝑐𝑛 𝑥 𝑛−1 𝑒 𝑚1 𝑥

Con 𝑐1 , 𝑐2 , … , 𝑐𝑛 son constantes arbitrarias reales.

3.1.3 CASO 3: Raíces complejas (𝑏 2 − 4𝑎𝑐 < 0)

Si 𝑚1 = 𝑎 + 𝑖𝑏 es una raíz de (4), entonces ̅̅̅̅
𝑚1 = 𝑎 − 𝑖𝑏 también lo es.
2
Donde 𝑎 y 𝑏 > 0 son reales, 𝑖 = −1. De modo que igual que en el caso 1 tenemos
𝑦(𝑥) = 𝐶1 𝑒 (𝑎+𝑖𝑏)𝑥 + 𝑐2 𝑒 (𝑎−𝑖𝑏)𝑥
 Pero es usual trabajar con funciones reales en lugar de exponenciales complejas, para ello usaremos
la fórmula de Euler:
𝑒 𝑖𝜃 = cos(𝜃) + 𝑖 sin(𝜃)

Donde 𝜃 es cualquier número real. Luego de esta fórmula obtenemos

𝑒 𝑖𝑏𝑥 = cos(𝑏𝑥) + 𝑖 sin(𝑏𝑥) … … … (7.1)
Y
𝑒 −𝑖𝑏𝑥 = cos(𝑏𝑥) − 𝑖 sin(𝑏𝑥) … … … (7.2)

Donde se sumaron cos(−𝑏𝑥) = cos(𝑏𝑥) y sen(−𝑏𝑥) = − sen(𝑏𝑥), observe que si primero, se suma
(7.1) con (7.2) y luego se restan, se obtiene, respectivamente
𝑒 𝑖𝑏𝑥 + 𝑒 −𝑖𝑏𝑥 = 2 𝑐𝑜𝑠(𝑏𝑥); 𝑒 𝑖𝑏𝑥 − 𝑒 −𝑖𝑏𝑥 = 2𝑖 𝑠𝑒𝑛(𝑏𝑥)
Puesto que 𝑦(𝑥) = 𝐶1 𝑒 (𝑎+𝑖𝑏)𝑥 + 𝑐2 𝑒 (𝑎−𝑖𝑏)𝑥 es una solución para (5), para alguna elección de
constantes 𝐶1 y 𝐶2 , si elegimos 𝐶1 = 𝐶2 = 1 y 𝐶1 = 1, 𝐶2 = −1 dan a su vez dos soluciones:
𝑦1 (𝑥) = 𝑒 (𝑎+𝑖𝑏)𝑥 + 𝑒 (𝑎−𝑖𝑏)𝑥
y
𝑦2 (𝑥) = 𝑒 (𝑎+𝑖𝑏)𝑥 − 𝑒 (𝑎−𝑖𝑏)𝑥

Pero 𝑦1 (𝑥) = 𝑒 𝑎𝑥 (𝑒 𝑖𝑏𝑥 + 𝑒 −𝑖𝑏𝑥 ) = 2 𝑒 𝑎𝑥 𝑐𝑜𝑠(𝑏𝑥)

𝑦2 (𝑥) = 𝑒 𝑎𝑥 (𝑒 𝑖𝑏𝑥 − 𝑒 −𝑖𝑏𝑥 ) = 2𝑖 𝑒 𝑎𝑥 𝑠𝑒𝑛(𝑏𝑥)

Entonces, para 𝑚1 y ̅̅̅̅

𝑚1 se obtiene las siguientes soluciones reales y linealmente independientes
para (4):
𝑦1 (𝑥) = 𝑒 𝑎𝑥 cos(𝑏𝑥), 𝑦2 (𝑥) = 𝑒 𝑎𝑥 𝑠𝑒𝑛(𝑏𝑥)

Por lo tanto, la solución general es

𝑦(𝑥) = 𝐶1 𝑒 𝑎𝑥 cos(𝑏𝑥) + 𝐶2 𝑒 𝑎𝑥 𝑠𝑒𝑛(𝑏𝑥) = 𝑒 𝑎𝑥 (𝐶1 cos(𝑏𝑥) + 𝐶2 𝑠𝑒𝑛(𝑏𝑥))

Donde 𝐶1 , 𝐶2 ∈ ℝ.

3.2 Ecuaciones diferenciales con coeficientes no constantes (caso especial)

3.2.1 Sea la ecuación diferencial homogénea de segundo orden
𝑦 ′′ (𝑥) + 𝑝(𝑥) 𝑦 ′ (𝑥) + 𝑞(𝑥) 𝑦(𝑥) = 0 … … … (8)

Para resolver (8) dada una solución 𝑦1 (𝑥), se construye una solución 𝑦2 (𝑥) de (8) talque 𝑦1 (𝑥)e
𝑦2 (𝑥) sean linealmente independientes. Esta solución 𝑦2 (𝑥) se obtiene con la fórmula de Abel:

𝑒 − ∫ 𝑝(𝑥)𝑑𝑥
𝑦2 (𝑥) = 𝑦1 (𝑥) ∫ 𝑑𝑥 … … … (9)
[𝑦1 (𝑥)]2
4. Ecuaciones Cauchy-Euler
Es vista que resulta fácil obtener soluciones de ecuaciones diferenciales homogéneas con coeficientes
constantes, ahora veremos que no resulta así cuando tenemos que los coeficientes son variables. Más aún,
después se verá que en este caso lo mejor que se esperará, usualmente, es encontrar una solución expresada
como una serie infinita.
Pero las ecuaciones de Cauchy-Euler son una excepción a esto último, pues su solución general siempre estará
en términos de potencias de 𝑥, senos, cosenos y funciones logarítmicas. Una ecuación de la forma
𝑛
𝑑𝑛 𝑦 𝑛−1
𝑑𝑛−1 𝑦 𝑑𝑦
𝑎𝑛 𝑥 + 𝑎𝑛−1 𝑥 + ⋯ + 𝑎1 𝑥 + 𝑎0 𝑦 = 𝑔(𝑥) … … … (10)
𝑑𝑥 𝑛 𝑑𝑥 𝑛−1 𝑑𝑥

Donde los 𝑎𝑛 , 𝑎𝑛−1 , … , 𝑎1 , 𝑎0 son constantes se le conoce como ecuación de Cauchy-Euler. La principal
característica para reconocer estas ecuaciones es que el grado 𝑘 = 𝑛, 𝑛 − 1, … , 1, 0; de los coeficientes de 𝑥 𝑘
coincide con el orden k de la derivación 𝑑𝑘 𝑦/𝑑𝑥 𝑘 .
𝑑𝑛 𝑦 𝑑𝑛−1 𝑦
𝑎𝑛 𝑥 𝑛 + 𝑎𝑛−1 𝑥 𝑛−1
+⋯
𝑑𝑥 𝑛 𝑑𝑥 𝑛−1

Los grados de 𝑥 y los órdenes de derivación (en color rojo) son los mismos en cada sumando.

Comentario:
Cuando se sustituye 𝑥 𝑚 , cada término de la ecuación de Cauchy-Euler se convierte en un polinomio de n-veces
𝑥 𝑚 , ya que
𝑑𝑘 𝑦
𝑎𝑘 𝑥 𝑘 = 𝑎𝑘 𝑥 𝑘 𝑚(𝑚 − 1) … (𝑚 − 𝑘 + 1)𝑥 𝑚−𝑘 == 𝑎𝑘 𝑚(𝑚 − 1)(𝑚 − 2) … (𝑚 − 𝑘 + 1)𝑥 𝑚
𝑑𝑥 𝑘

Así, 𝑦 = 𝑥 𝑚 es una solución de la ecuación diferencial siempre que 𝑚 sea una solución de la ecuación auxiliar
𝑎𝑚(𝑚 − 1) + 𝑏𝑚 + 𝑐 = 0 ⇒ 𝑎𝑚2 + (𝑏 − 𝑎)𝑚 + 𝑐 = 0 … … … (11)

Luego se tiene 2 casos que dependen de si las raíces de esta ecuación cuadrática son reales y distintas, reales e
iguales o complejas.

Caso 1: Raíces reales y distintas

Sean 𝑚1 y 𝑚2 las raíces reales de (10), 𝑚1 ≠ 𝑚2 . Entonces 𝑦1 = 𝑥 𝑚1 y 𝑦2 = 𝑥 𝑚2 forman un conjunto
fundamental de soluciones, por lo tanto la solución general es
𝑦 = 𝑐1 𝑥 𝑚1 + 𝑐2 𝑥 𝑚2 … … … (12)

Caso 2: Raíces reales e iguales

Si las raíces de (10) se encuentran repetidas, 𝑚1 = 𝑚2 . Entonces tenemos sólo una solución particular
𝑦1 = 𝑥 𝑚1 . De la fórmula cuadrática se deduce que las raíces de la ecuación (10) deben ser 𝑚1 = −(𝑏 − 𝑎)/2𝑎.
Luego, a partir de esta solución, podemos construir una segunda solución 𝑦2 con la fórmula de Abel. Escribamos
primero la ecuación Cauchy-Euler en la forma estándar
𝑑2 𝑦 𝑏 𝑑𝑦 𝑐
2
+ + 2𝑦 = 0
𝑑𝑥 𝑎𝑥 𝑑𝑥 𝑎𝑥
Identificando 𝑝(𝑥) = 𝑏/𝑎𝑥, entonces la segunda solución la podemos obtener

𝑏 𝑏
− )𝑑𝑥 −( ) ln(𝑥)
𝑒 − ∫ 𝑝(𝑥) 𝑑𝑥 𝑚1
𝑒 ∫(𝑎𝑥 𝑚1
𝑒 𝑎
𝑦2 = 𝑦1 ∫ 𝑑𝑥 = 𝑥 ∫ 𝑑𝑥 = 𝑥 ∫ 𝑑𝑥
[𝑦1 ]2 [𝑥 𝑚1 ]2 𝑥 2𝑚1
𝑏
−( )
ln(𝑥 𝑎 )
𝑒 𝑏
−( ) −2𝑚1
𝑦2 = 𝑥 𝑚1 ∫ 𝑑𝑥 = 𝑥 𝑚1 ∫ 𝑥 𝑎 𝑥 𝑑𝑥
𝑥 2𝑚1

−(𝑏−𝑎) 𝑏−𝑎
Notar que 𝑚1 = 2𝑎
⇒ −2𝑚1 = 𝑎
, luego

𝑏
−( ) (
𝑏−𝑎
)
𝑏 𝑏 𝑎
(− + − ) 1
𝑦2 = 𝑥 𝑚1 ∫ 𝑥 𝑎 𝑥 𝑎 𝑑𝑥 = 𝑥 𝑚1 ∫ 𝑥 𝑎 𝑎 𝑎 𝑑𝑥 = 𝑥 𝑚1 ∫ 𝑑𝑥
𝑥

Finalmente tenemos que 𝑦2 (𝑥) = 𝑥 𝑚1 ln(𝑥) . Por lo tanto la solución general es

𝑦 = 𝑐1 𝑥 𝑚1 + 𝑐2 𝑥 𝑚2 ln(𝑥) … … … (13)

Caso 3: Raíces complejas

Si las raíces de las ecuaciones son el par conjugado 𝑚1 = 𝛼 + 𝑖𝛽 y 𝑚2 = 𝛼 − 𝑖𝛽, donde 𝛼 y 𝛽 > 0 son reales.
Entonces su solución es 𝑦 = 𝐶1 𝑥 𝛼+𝑖𝛽 + 𝐶2 𝑥 𝛼−𝑖𝛽

Pero se desea escribir su solución en términos de funciones reales, observando la identidad 𝑥 𝑖𝛽 = (𝑒 𝑙𝑛𝑥 )𝑖𝛽 =
𝑒 𝑖𝛽ln 𝑥 que por la fórmula de Euler es lo mismo que
𝑥 𝑖𝛽 = cos(𝛽 𝑙𝑛𝑥) + 𝑖 sin(𝛽 𝑙𝑛𝑥)
𝑥 −𝑖𝛽 = cos(𝛽 𝑙𝑛𝑥) − 𝑖 sin(𝛽 𝑙𝑛𝑥)

Y su ahora sumamos y restamos estos resultados obtenemos, respectivamente:

𝑥 𝑖𝛽 + 𝑥 −𝑖𝛽 = 2 cos(𝛽 𝑙𝑛𝑥) y 𝑥 𝑖𝛽 − 𝑥 −𝑖𝛽 = 2i sin(𝛽 𝑙𝑛𝑥)

Además, si consideramos el hecho que 𝑦 = 𝐶1 𝑥 𝛼+𝑖𝛽 + 𝐶2 𝑥 𝛼−𝑖𝛽 es una solución para cualquier valor de las
constantes, si tomamos 𝐶1 = 𝐶2 = 1 y 𝐶1 = 1, 𝐶2 = −1 entonces
𝑦1 = 𝑥 𝛼 (𝑥 𝑖𝛽 + 𝑥 −𝑖𝛽 ) y 𝑦2 = 𝑥 𝛼 (𝑥 𝑖𝛽 − 𝑥 −𝑖𝛽 )
O bien
𝑦1 = 2𝑥 𝛼 cos(𝛽 𝑙𝑛𝑥) y 𝑦2 = 2𝑖𝑥 𝛼 sin(𝛽 𝑙𝑛𝑥)

También son soluciones. Por otro lado, calculando

𝑊[𝑥 𝛼 cos(𝛽 𝑙𝑛𝑥) , 𝑥 𝛼 sin(𝛽 𝑙𝑛𝑥) ] = 𝛽𝑥 2𝛼−1 ≠ 0

Donde 𝛽 > 0 en el intervalo (0, ∞), se puede concluir que 𝑦1 y 𝑦2 son un conjunto fundamental de soluciones
reales de la ecuación diferencial. Por lo tanto la solución general es
𝑦 = 𝑥 𝛼 [𝐶1 cos(𝛽 𝑙𝑛𝑥) + 𝐶2 sin(𝛽 𝑙𝑛𝑥)] … … … (14)
5. Ecuaciones Diferenciales no homogéneas
Para resolver una ecuación diferencial no homogénea se deben hacer dos cosas:
i. Encontrar la función complementaria o la solución general de la ecuación homogénea asociada a
(1): 𝑦ℎ (𝑥).
ii. Encontrar una solución particular 𝑦𝑝 (𝑥) de la ecuación no homogénea (1).

Entonces, su solución general es 𝑦(𝑥) = 𝑦ℎ (𝑥) + 𝑦𝑝 (𝑥) .

Cualquier función 𝑦𝑝 que no posee parámetros arbitrarios (𝑐1 , 𝑐2 , … , 𝑐𝑛 ) que satisface a una ecuación diferencial
no homogénea se le conoce como solución particular de la ecuación. Vamos a ver dos métodos que nos
permiten obtener una solución particular.

5.1 Método de Variación de Parámetros

Se aplica con independencia de que si los coeficientes de (1) son constantes o no, pero es preciso conocer la
función complementaria o solución general de (2).
Dada la solución general de (2)
𝑦ℎ (𝑥) = 𝑐1 𝑦1 (𝑥) + 𝑐2 𝑦2 (𝑥) + ⋯ + 𝑐𝑛 𝑦𝑛 (𝑥) … … … (15)

El método consiste en buscar una solución particular de (1) de la forma

𝑦𝑝 (𝑥) = 𝑢1 (𝑥) 𝑦1 (𝑥) + 𝑢2 (𝑥) 𝑦2 (𝑥) + ⋯ + 𝑢𝑛 (𝑥) 𝑦𝑛 (𝑥) … … … (16)

Donde se debe determinar las 𝑢𝑖 (𝑥), (𝑖 = 1, 2, … , 𝑛) para lo cual se debe imponer 𝑛 condiciones sobre
𝑦𝑝 (𝑥).

(𝑛 − 1) condiciones:
a) Las derivadas de 𝑦𝑝 (𝑥) hasta el orden (𝑛 − 1) deben ser independientes de 𝑢𝑖 ′(𝑥)
b) 𝑦𝑝 (𝑥) debe satisfacer la ecuación (1).

Las condiciones a) y b) conducen al siguiente sistema:

𝑦𝑝 = 𝑢1 𝑦1 + 𝑢2 𝑦2 + ⋯ + 𝑢𝑛 𝑦𝑛
𝑦𝑝 ′ = 𝑢1 𝑦1 ′ + 𝑢2 𝑦2 ′ + ⋯ + 𝑢𝑛 𝑦𝑛 ′
𝑦𝑝′′ = 𝑢1 𝑦1′′ + 𝑢2 𝑦2 ′′ + ⋯ + 𝑢𝑛 𝑦𝑛 ′′
𝑦𝑝 ′′′ = 𝑢1 𝑦1 ′′′ + 𝑢2 𝑦2 ′′′ + ⋯ + 𝑢𝑛 𝑦𝑛 ′′′
.
.
{ .
Luego
𝑢1 ′ 𝑦1 + 𝑢2 ′ 𝑦2 + ⋯ + 𝑢𝑛 ′ 𝑦𝑛 = 0
𝑢1 ′ 𝑦1 ′ + 𝑢2 ′ 𝑦2 ′ + ⋯ + 𝑢𝑛 ′ 𝑣 = 0
𝑢1 𝑦1 + 𝑢2 ′ 𝑦2 ′′ + ⋯ + 𝑢𝑛 ′′ 𝑦𝑛 ′ = 0
′ ′′

.
. … … … (17)
.
𝑢1 ′ 𝑦1 (𝑛−2) + 𝑢2 ′ 𝑦2 (𝑛−2) + ⋯ + 𝑢𝑛 ′ 𝑦𝑛 (𝑛−2) = 0
𝑔(𝑥)
𝑢1 ′ 𝑦1 (𝑛−1) + 𝑢2 ′ 𝑦2 (𝑛−1) + ⋯ + 𝑢𝑛 ′ 𝑦𝑛 (𝑛−1) =
{ 𝑎𝑛 (𝑥)

Entonces se tiene un sistema de 𝑛 ecuaciones y 𝑛 incongnitas. Si resolvemos el sistema (17) se obtienen

𝑢1 ′ , 𝑢2 ′ , … , 𝑢𝑛 ′ . Los 𝑢𝑖′ (𝑛 = 1, … , 𝑛) serán de la forma

0 𝑦2 . . . 𝑦𝑛
0 𝑦2 ′ . . . 𝑦𝑛 ′
| . . . . . . |
. . . . . .
| . . . . . . |
𝑔(𝑥)
𝑦2 (𝑛−1) . . . 𝑦𝑛 (𝑛−1)
′ 𝑎𝑛 (𝑥)
𝑢1 =
𝑊[𝑦1 , 𝑦2 , … , 𝑦𝑛 ](𝑥)

𝑦1 0 . . . 𝑦𝑛
𝑦 ′ 0 . . . 𝑦𝑛 ′
| 1. . . . . . |
. . . . . .
| . . . . . . |
𝑔(𝑥)
𝑦1 (𝑛−1) . . . 𝑦𝑛 (𝑛−1)
𝑎𝑛 (𝑥)
𝑢2′ =
𝑊[𝑦1 , 𝑦2 , … , 𝑦𝑛 ](𝑥)

𝑦1 𝑦2 . .0 .
𝑦 ′ 𝑦2 ′ . .0 .
| 1. . . . . | .
. . . . . .
| . . . . . | .
𝑔(𝑥)
𝑦1 (𝑛−1) 𝑦2 (𝑛−1) . . .
𝑎𝑛 (𝑥)
𝑢𝑛′ =
𝑊[𝑦1 , 𝑦2 , … , 𝑦𝑛 ](𝑥)

Luego por integración se determinan 𝑢1 , 𝑢2 , … , 𝑢𝑛 . Finalmente, reemplazando las 𝑢𝑖

en (16) se obtiene la solución particular 𝑦𝑝 (𝑥) de (1).
Obtenida la solución particular, la solución general de (1) será 𝑦(𝑥) = 𝑦ℎ (𝑥) + 𝑦𝑝 (𝑥).
5.2 Método de Coeficientes Indeterminados
5.2.1 Método de superposición
A diferencia del método de variación de parámetros, donde teníamos que dicho método se podía
aplicar independiente si los coeficientes fuesen constantes o no, el método que estudiaremos ahora
tiene las limitaciones que
i. Sólo se aplica cuando la ecuación diferencial es de coeficientes constantes y
ii. 𝑔(𝑥) es una constante 𝑘, una función polinomial, una función exponencial, una función
seno o coseno o sumas finitas y productos entre estas funciones.

La idea fundamental es la suposición de la forma de 𝑦𝑝 (𝑥), que se infiere a partir de la forma de la

función 𝑔(𝑥). Notar que las funciones que son constantes, polinomios, exponenciales, senos y
cosenos tienen la propiedad de que las derivadas de sus sumas y productos son nuevamente sumas y
productos de constantes, polinomios, exponenciales, senos y cosenos.

Sin embargo este método no es del todo útil, pues puede resultar difícil obtener una conjetura o
suposición de la forma de la solución particular en todas las ecuaciones, en particular en las que
𝑔(𝑥) no es de la forma expuesta en ii. Por ejemplo, consideremos la ecuación 𝑦’’ − 5𝑦 ′ + 4𝑦 = 8𝑒 𝑥 ,
puede ser razonable pensar que una solución particular sería 𝑦𝑝 (𝑥) = 𝐴𝑒 𝑥 , pero si reemplazamos
dicha solución y sus derivadas en la ecuación nos resulta la contradicción 0 = 8𝑒 𝑥 , por lo que la
suposición fue errónea. Con el afán de tener un método más general, estudiemos el siguiente
método.

5.2.2 Método del anulador

Considerando que una ecuación diferencial de 𝑛-ésimo orden puede escribirse como
𝑎𝑛 𝐷𝑛 𝑦 + 𝑎𝑛−1 𝐷𝑛−1 𝑦 + ⋯ + 𝑎1 𝐷𝑦 + 𝑎0 𝑦 = 𝑔(𝑥) … … … (18)

Donde 𝐷 𝑘 𝑦 = 𝑑𝑘 𝑦/𝑑𝑥 𝑘 , 𝑘 = 0, 1, … , 𝑛. Además, la ecuación (18) puede ser útil escribirla en

forma más abreviada como 𝐿(𝑦) = 𝑔(𝑥), donde 𝐿 es el operador diferencial lineal de 𝑛-ésimo
orden: 𝑎𝑛 𝐷 𝑛 + 𝑎𝑛−1 𝐷 𝑛−1 + ⋯ + 𝑎1 𝐷 + 𝑎0

Veremos que la idea fundamental de este método es encontrar un operador diferencial adecuado
que anule a 𝑔(𝑥). Si 𝐿 es un operador diferencial lineal con coeficientes constantes y g es una
función suficientemente derivable tal que 𝐿(𝑔(𝑥)) = 0, entonces se dice que 𝐿 es un anulador de
la función. Tenemos los siguientes operadores anuladores:
i. 𝐷 𝑛 anula a cada una de las funciones: 1, 𝑥, 𝑥 2 , … , 𝑥 𝑛−1
ii. (𝐷 − 𝛼)𝑛 anula a las funciones: 𝑒 𝛼𝑥 , 𝑥𝑒 𝛼𝑥 , 𝑥 2 𝑒 𝛼𝑥 , … , 𝑥 𝑛−1 𝑒 𝛼𝑥
iii. [𝐷 2 − 2𝛼𝐷 + (𝛼 2 + 𝛽 2 )]𝑛 anula a las funciones:
𝑒 𝛼𝑥 cos 𝛽𝑥, 𝑥𝑒 𝛼𝑥 cos 𝛽𝑥 , 𝑥 2 𝑒 𝛼𝑥 cos 𝛽𝑥 , … , 𝑥 𝑛−1 𝑒 𝛼𝑥 cos 𝛽𝑥
𝑒 𝛼𝑥 sin 𝛽𝑥 , 𝑥𝑒 𝛼𝑥 sin 𝛽𝑥 , 𝑥 2 𝑒 𝛼𝑥 sin 𝛽𝑥 , … , 𝑥 𝑛−1 𝑒 𝛼𝑥 sin 𝛽𝑥
 Observaciones
 Cuando se busca una anulador diferencial para una función y=f(x), se debe considerar al
operador de mínimo orden posible haga dicho trabajo.
 Si se tiene una combinación de los 3 casos anteriores, a través de una suma por ejemplo, se
busca el anulador de cada sumando y el producto de todos los anuladores será quien anule
a dicha combinación.

Considerando que los coeficientes de la ecuación diferencial 𝐿(𝑦) = 𝑔(𝑥) son constantes y la
función 𝑔(𝑥) se trata de sumas y productos de constantes, polinomios, funciones exponenciales,
senos y cosenos, entonces para resolver el problema siga los siguientes pasos:
1. Determina la función complementaria u homogénea 𝑦ℎ (𝑥) o solución general de la ecuación
homogénea 𝐿(𝑦) = 0.
2. Multiplique a ambos lados de la ecuación no homogénea 𝐿(𝑦) = 𝑔(𝑥) por un operador
diferencial 𝐿 que anule la función 𝑔(𝑥).
3. Obtenga la solución general de la ecuación diferencial homogénea de orden superior
𝐿 𝐿(𝑦) = 0.
4. Identifique en su solución general de 𝐿 𝐿(𝑦) = 0 a la función complementaria determinada
en el punto 1 y lo restante de su solución será la solución particular 𝑦𝑝 .
5. Sustituya la solución particular encontrada en el paso anterior en 𝐿(𝑦) = 𝑔(𝑥), para que
posteriormente iguale los coeficientes de las distintas funciones que obtenga de cada lado
de la igualdad y formando un sistema, resuélvalo para encontrar los coeficientes
indeterminados de 𝑦𝑝 .
6. Una vez obtenido los coeficientes de 𝑦𝑝 y usando esta solución particular, forme la solución
general de la ecuación, de modo que 𝑦(𝑥) = 𝑦ℎ (𝑥) + 𝑦𝑝 (𝑥).

Observaciones
 El método visto no es aplicable a ecuaciones con coeficientes variables
 Además tampoco se aplica a ecuaciones cuando g(x) es una función tal que
1
𝑔(𝑥) = ln 𝑥 , 𝑔(𝑥) = , 𝑔(𝑥) = tan 𝑥 , 𝑔(𝑥) = sin−1 𝑥
𝑥

6. La Transformada de Laplace
Definición:
Sea 𝑓 una función definida para 𝑡 ≥ 0. Entonces la integral
∞

ℒ{𝑓(𝑡)} = ∫ 𝑒 −𝑠𝑡 𝑓(𝑡)𝑑𝑡 … … … (19)

0
Es la transformada de Laplace de 𝑓, siempre que la integral converja.
Si la integral converge, el resultado será una función en términos de 𝑠, de modo que ℒ{𝑓(𝑡)} = 𝐹(𝑠).
 Teorema: Transformada de algunas funciones elementales
1
a. ℒ {1} = 𝑠>0
𝑠
𝑛!
b. ℒ {𝑡 𝑛 } = , 𝑠 > 0, 𝑛 = 1, 2, 3, …
𝑠 𝑛+1
1
c. ℒ {𝑒 𝑘𝑡 } = 𝑠>𝑘
𝑠−𝑘
𝑘
d. ℒ {sin 𝑘𝑡 } = 𝑠>0
𝑠 2 +𝑘 2
𝑠
e. ℒ {cos 𝑘𝑡 } = 𝑠>0
𝑠 2 +𝑘 2
𝑘
f. ℒ {sinh 𝑘𝑡 } = 𝑠>𝑘
𝑠 2 −𝑘 2
𝑠
g. ℒ {cosh 𝑘𝑡 } = 𝑠>𝑘
𝑠 2 −𝑘 2

Definición: Orden exponencial

Se dice que 𝑓 es de orden exponencial 𝑐 si existen constantes 𝑐, 𝑀 > 0 y 𝑇 > 0 tales que |𝑓(𝑡)| ≤ 𝑀𝑒 𝑐𝑡 para
toda 𝑡 > 𝑇

Teorema: Condiciones suficientes para la existencia

Si 𝑓 es una función continua por tramos en [0, ∞) y de orden exponencial 𝑐, entonces ℒ{𝑓(𝑡)} existe para > 𝑐.

Si 𝐹(𝑠) representa la transformada de la Laplace de una función 𝑓(𝑡), se dice entonces que 𝑓(𝑡) es la
transformada de Laplace inversa de 𝐹(𝑠) y se escribe como 𝑓(𝑡) = ℒ −1 {𝐹(𝑠)}

Teorema: Transformada Inversa de algunas funciones elementales

1
a. ℒ −1 { } = 𝑒 𝑘𝑡
𝑠−𝑘
1 𝑡𝑛
b. ℒ −1 { 𝑛+1} =
𝑠 𝑛!
−1 𝑘
c. ℒ { } = sin 𝑘𝑡
𝑠 2 +𝑘 2
𝑠
d. ℒ −1 { 2 2 } = cos 𝑘𝑡
𝑠 +𝑘
−1 𝑘
e. ℒ { } = sinh 𝑘𝑡
𝑠 2 −𝑘 2
𝑠
f. ℒ −1 { 2 2 } = cosh 𝑘𝑡
𝑠 −𝑘

7. Bibliografía
- Dennis Zill. “Ecuaciones Diferenciales con aplicaciones de modelad”. Novena edición.
- Apuntes de la clase de Ecuaciones Diferenciales de Orden Superior (𝑛 ≥ 2) de la Dra. Elva Ortega (Dep.
Matemáticas UCN).