Archivo de la etiqueta: Ecuaciones de segundo orden

Ecuaciones Diferenciales I: Método de eliminación de variables

Por Omar González Franco

En las matemáticas no entiendes las cosas. Te acostumbras a ellas.
– John Von Neumann

Introducción

Estamos listos para comenzar a desarrollar los distintos métodos de resolución de sistemas lineales de primer orden.

En esta entrada desarrollaremos un método relativamente sencillo, pero muy limitado, ya que en general se utiliza cuando sólo tenemos un sistema lineal de dos ecuaciones diferenciales. Este método se conoce como método de eliminación de variables y, como su nombre lo indica, lo que se intenta hacer es eliminar las variables dependientes de $t$ hasta quedarnos con sólo una, esto produce que el resultado sea una sola ecuación diferencial de orden superior (la ecuación correspondiente a la única variable dependiente que nos queda), la cual es posible resolver aplicando alguno de los métodos vistos en la unidad anterior, la solución de dicha ecuación diferencial servirá para obtener el resto de funciones solución del sistema lineal.

Es importante mencionar que para que este método sea práctico y sencillo se requiere que los coeficientes de las ecuaciones que conforman al sistema lineal sean constantes y como el problema se reduce a resolver una ecuación de orden superior es conveniente usar este método sólo cuando tenemos dos ecuaciones diferenciales en el sistema, ya que esto involucrará resolver una ecuación diferencial de segundo orden con coeficientes constantes.

Desarrollemos el método de manera general.

Método de eliminación de variables

Los sistemas de ecuaciones diferenciales que estamos estudiando son de la forma

$\begin{aligned} y_{1}^{'} (t) & = a_{11} (t) y_{1} + a_{12} (t) y_{2} + \dots + a_{1 n} (t) y_{n} + g_{1} (t) \\ y_{2}^{'} (t) & = a_{21} (t) y_{1} + a_{22} (t) y_{2} + \dots + a_{2 n} (t) y_{n} + g_{2} (t) \\ ⋮ \\ (1) & y_{n}^{'} (t) & = a_{n 1} (t) y_{1} + a_{n 2} (t) y_{2} + \dots + a_{n n} (t) y_{n} + g_{n} (t) \end{aligned}$

Este método lo desarrollaremos para un sistema lineal de dos ecuaciones diferenciales lineales de primer orden tanto homogéneas como no homogéneas. De manera general desarrollemos el caso no homogéneo, el caso homogéneo será un caso particular.

Consideremos el siguiente sistema de ecuaciones diferenciales en su forma normal.

$\begin{matrix} (2) & \begin{aligned} y_{1}^{'} (t) & = a_{11} (t) y_{1} + a_{12} (t) y_{2} + g_{1} (t) \\ y_{2}^{'} (t) & = a_{21} (t) y_{1} + a_{22} (t) y_{2} + g_{2} (t) \end{aligned} \end{matrix}$

Debido a que se trata de un sistema pequeño regresemos a nuestra notación usual de derivada y sean $x$ y $y$ las variables dependientes de la variable independiente $t$ . Así mismo, usemos una distinta notación para los coeficientes $a_{i, j}$ , $i, j \in {1, 2}$ , de tal manera que el sistema lineal ( $2$ ) lo podamos escribir de la siguiente forma.

$\begin{matrix} (3) & \begin{aligned} \frac{d x}{d t} & = a x + b y + g_{1} (t) \\ \frac{d y}{d t} & = c x + d y + g_{2} (t) \end{aligned} \end{matrix}$

Con $a$ , $b$ , $c$ y $d$ constantes. El método que desarrollaremos es para sistema de la forma ( $3$ ).

De la primer ecuación del sistema despejamos a la variable $y$ .

$\begin{matrix} (4) & y = \frac{1}{b} (\frac{d x}{d t} - a x - g_{1}) \end{matrix}$

Sustituyamos en la segunda ecuación.

$\frac{d}{d t} [\frac{1}{b} (\frac{d x}{d t} - a x - g_{1})] = c x + d [\frac{1}{b} (\frac{d x}{d t} - a x - g_{1})] + g_{2}$

Derivemos en el lado izquierdo y operemos en el lado derecho de la ecuación.

$\begin{aligned} \frac{1}{b} [\frac{d^{2} x}{d t^{2}} - a \frac{d x}{d t} - \frac{d g_{1}}{d t}] & = c x + \frac{1}{b} (d \frac{d x}{d t} - a d x - d g_{1}) + g_{2} \\ \frac{d^{2} x}{d t^{2}} - a \frac{d x}{d t} - \frac{d g_{1}}{d t} & = b c x + d \frac{d x}{d t} - a d x - d g_{1} + b g_{2} \end{aligned}$

Reordenando los términos se tiene lo siguiente.

$\begin{matrix} (5) & \frac{d^{2} x}{d t^{2}} - (a + d) \frac{d x}{d t} + (a d - b c) x = \frac{d g_{1}}{d t} - d g_{1} + b g_{2} \end{matrix}$

Si definimos

$p = - (a + d), q = (a d - b c) y g (t) = \frac{d g_{1}}{d t} - d g_{1} + b g_{2}$

entonces el resultado ( $5$ ) se puede escribir como

$\begin{matrix} (6) & \frac{d^{2} x}{d t^{2}} + p \frac{d x}{d t} + q x = g (t) \end{matrix}$

Con $p$ y $q$ constantes. En esta forma es claro que tenemos una ecuación diferencial lineal de segundo orden con coeficientes constantes, basta resolver la ecuación usando los métodos desarrollados en la unidad anterior para obtener la función $x (t)$ . Una vez obtenida la solución de ( $6$ ) sustituimos en el despeje inicial que hicimos para $y (t)$ ( $4$ ) y resolvemos, con ello estaremos obteniendo la solución del sistema lineal ( $3$ ).

Caso homogéneo

El caso homogéneo es un caso particular del desarrollo anterior, pues el sistema a resolver es

$\begin{matrix} (7) & \begin{aligned} \frac{d x}{d t} & = a x + b y \\ \frac{d y}{d t} & = c x + d y \end{aligned} \end{matrix}$

El desarrollo es exactamente el mismo considerando que $g_{1} (t) = 0$ y $g_{2} (t) = 0$ .

Despejando a $y$ de la primer ecuación, obtenemos

$\begin{matrix} (8) & y = \frac{1}{b} (\frac{d x}{d t} - a x) \end{matrix}$

Sustituyendo en la segunda ecuación y siguiendo el mismo procedimiento obtendremos que la ecuación diferencial de segundo orden homogénea para $x$ es

$\begin{matrix} (9) & \frac{d^{2} x}{d t^{2}} - (a + d) \frac{d x}{d t} + (a d - b c) x = 0 \end{matrix}$

Si nuevamente definimos

$p = - (a + d), y q = (a d - b c)$

entonces podemos escribir

$\begin{matrix} (10) & \frac{d^{2} x}{d t^{2}} + p \frac{d x}{d t} + q x = 0 \end{matrix}$

Resolvamos un par de ejemplos, comencemos con un sistema lineal homogéneo.

Ejemplo: Resolver el siguiente sistema lineal homogéneo.

$\begin{aligned} \frac{d x}{d t} & = 2 x - y \\ \frac{d y}{d t} & = 5 x - 2 y \end{aligned}$

Solución: Comencemos por despejar a la variable $y$ de la primer ecuación.

$y = 2 x - \frac{d x}{d t}$

Sustituimos en la segunda ecuación.

$\frac{d}{d t} (2 x - \frac{d x}{d t}) = 5 x - 2 (2 x - \frac{d x}{d t})$

Operando, se tiene

$\begin{aligned} 2 \frac{d x}{d t} - \frac{d^{2} x}{d t^{2}} & = 5 x - 4 x + 2 \frac{d x}{d t} \\ - \frac{d^{2} x}{d t^{2}} & = x \end{aligned}$

La ecuación de segundo orden a resolver es

$\frac{d^{2} x}{d t^{2}} + x = 0$

Por supuesto esta ecuación se puede obtener sustituyendo los coeficientes directamente en la ecuación ( $9$ ).

Resolvamos la ecuación. La ecuación auxiliar es

$k^{2} + 1 = 0$

cuyas raíces son $k_{1} = i$ y $k_{2} = - i$ .

Recordemos que la forma de la solución para raíces complejas $k_{1} = α + i β$ y $k_{2} = α - i β$ es

$\begin{matrix} (11) & x (t) = e^{α t} (c_{1} \cos (β t) + c_{2} \sin (β t)) \end{matrix}$

En nuestro caso $α = 0$ y $β = 1$ , entonces la solución es

$x (t) = c_{1} \cos (t) + c_{2} \sin (t)$

Vemos que

$\frac{d x}{d t} = - c_{1} \sin (t) + c_{2} \cos (t)$

Sustituimos en el despeje de $y$ .

$\begin{aligned} y (x) & = 2 (c_{1} \cos (t) + c_{2} \sin (t)) - (- c_{1} \sin (t) + c_{2} \cos (t)) \\ = 2 c_{1} \cos (t) + 2 c_{2} \sin (t) + c_{1} \sin (t) - c_{2} \cos (t) \end{aligned}$

Esta solución la podemos escribir de dos formas.

$y (x) = c_{1} (2 \cos (t) + \sin (t)) + c_{2} (2 \sin (t) - \cos (t))$

o bien,

$y (x) = (2 c_{1} - c_{2}) \cos (t) + (c_{1} + 2 c_{2}) \sin (t)$

Por lo tanto, la solución general del sistema homogéneo es

$(\begin{matrix} x \\ y \end{matrix}) = c_{1} (\begin{matrix} \cos (t) \\ 2 \cos (t) + \sin (t) \end{matrix}) + c_{2} (\begin{matrix} \sin (t) \\ 2 \sin (t) - \cos (t) \end{matrix})$

o bien,

$(\begin{matrix} x \\ y \end{matrix}) = (\begin{matrix} c_{1} \\ 2 c_{1} - c_{2} \end{matrix}) \cos (t) + (\begin{matrix} c_{2} \\ c_{1} + 2 c_{2} \end{matrix}) \sin (t)$

Ahora resolvamos un sistema no homogéneo como ejemplo.

Ejemplo: Resolver el siguiente sistema lineal no homogéneo.

$\begin{aligned} \frac{d x}{d t} & = 4 x - y + t + 1 \\ \frac{d y}{d t} & = 2 x + y + t + 1 \end{aligned}$

Solución: En este caso no homogéneo se tiene que

$g_{1} (t) = t + 1 = g_{2} (t)$

De la primer ecuación despejamos a $y$ .

$y = 4 x + t + 1 - \frac{d x}{d t}$

Sustituimos en la segunda ecuación.

$\frac{d}{d t} (4 x + t + 1 - \frac{d x}{d t}) = 2 x + (4 x + t + 1 - \frac{d x}{d t}) + t + 1$

En el lado izquierdo aplicamos la derivada y en el lado izquierdo operamos.

$\begin{aligned} 4 \frac{d x}{d t} + \frac{d}{d t} (t + 1) - \frac{d^{2} x}{d t^{2}} & = 6 x - \frac{d x}{d t} + 2 t + 2 \\ 4 \frac{d x}{d t} + 1 - \frac{d^{2} x}{d t^{2}} & = 6 x - \frac{d x}{d t} + 2 t + 2 \end{aligned}$

Reordenando los términos, se tiene

$\begin{aligned} 5 \frac{d x}{d t} - \frac{d^{2} x}{d t^{2}} & = 6 x + 2 t + 1 \\ - \frac{d^{2} x}{d t^{2}} + 5 \frac{d x}{d t} - 6 x & = 2 t + 1 \end{aligned}$

La ecuación diferencial de segundo orden no homogénea a resolver es

$\frac{d^{2} x}{d t^{2}} - 5 \frac{d x}{d t} + 6 x = - 2 t - 1$

Para obtener la función $x (t)$ primero resolveremos el caso homogéneo y posteriormente aplicaremos el método de coeficientes indeterminados para resolver el caso no homogéneo. Recordemos que la solución general será la superposición de ambos resultados.

$\begin{matrix} (12) & x (t) = x_{c} (t) + x_{p} (t) \end{matrix}$

Para el caso homogéneo la ecuación a resolver es

$\frac{d^{2} x}{d t^{2}} - 5 \frac{d x}{d t} + 6 x = 0$

La ecuación auxiliar es

$k^{2} - 5 k + 6 = 0$

Resolviendo para $k$ se obtiene que $k_{1} = 2$ y $k_{2} = 3$ . Como las raíces son reales y distintas, la forma de la solución es

$\begin{matrix} (13) & x_{c} (t) = c_{1} e^{k_{1} t} + c_{2} e^{k_{2} t} \end{matrix}$

Por lo tanto, la solución complementaria es

$x_{c} (t) = c_{1} e^{2 t} + c_{2} e^{3 t}$

Ahora resolvamos la ecuación no homogénea.

$\frac{d^{2} x}{d t^{2}} - 5 \frac{d x}{d t} + 6 x = - 2 t - 1$

En este caso la función $g$ es

$g (x) = - 2 t - 1$

la cual corresponde a un polinomio de grado $1$ , entonces proponemos que la solución particular tiene, de igual manera, la forma de un polinomio de grado $1$ , esto es

$x_{p} (t) = A t + B$

Con $A$ y $B$ constantes por determinar. La primera y segunda derivada están dadas como

$\frac{d x_{p}}{d t} = A y \frac{d^{2} x}{d t^{2}} = 0$

Sustituimos en la ecuación diferencial.

$0 - 5 A + 6 (A t + B) = - 2 t - 1$

Reordenando, se tiene

$6 A t + 6 B - 5 A = - 2 t - 1$

Para que se cumpla la igualdad es necesario que ocurra lo siguiente.

$\begin{aligned} 6 A & = - 2 \\ 6 B - 5 A & = - 1 \end{aligned}$

De la primer igualdad se obtiene que

$A = - \frac{1}{3}$

Sustituyendo este resultado en la segunda igualdad se obtiene que

$B = \frac{1}{9}$

Por lo tanto, la solución particular es

$x_{p} (t) = - \frac{1}{3} t + \frac{1}{9}$

Entonces concluimos que la solución general de la ecuación diferencial de segundo orden para $x$ es

$x (t) = c_{1} e^{2 t} + c_{2} e^{3 t} - \frac{1}{3} t + \frac{1}{9}$

Sustituimos este resultado en la ecuación de $y$ .

$y = 4 (c_{1} e^{2 t} + c_{2} e^{3 t} - \frac{1}{3} t + \frac{1}{9}) + t + 1 - \frac{d}{d t} (c_{1} e^{2 t} + c_{2} e^{3 t} - \frac{1}{3} t + \frac{1}{9})$

Operando, se tiene

$y = 4 c_{1} e^{2 t} + 4 c_{2} e^{3 t} - \frac{4}{3} t + \frac{4}{9} + t + 1 - 2 c_{1} e^{2 t} - 3 c_{2} e^{3 t} + \frac{1}{3}$

De donde se obtiene finalmente que la solución $y (t)$ es

$y (x) = 2 c_{1} e^{2 t} + c_{2} e^{3 t} - \frac{1}{3} t + \frac{16}{9}$

Por lo tanto, la solución general del sistema lineal no homogéneo es

$(\begin{matrix} x \\ y \end{matrix}) = c_{1} (\begin{matrix} 1 \\ 2 \end{matrix}) e^{2 t} + c_{2} (\begin{matrix} 1 \\ 1 \end{matrix}) e^{3 t} - (\begin{matrix} \frac{1}{3} \\ \frac{1}{3} \end{matrix}) t + (\begin{matrix} \frac{1}{9} \\ \frac{16}{9} \end{matrix})$

Hemos concluido con esta entrada. Este método resulta sencillo y práctico para resolver sistemas lineales de este tipo, sin embargo está limitado a sistemas pequeños y realmente estamos interesados en resolver sistemas mucho más complejos.

En las siguientes entradas desarrollaremos otros métodos más generales.

Tarea moral

Los siguientes ejercicios no forman parte de la evaluación del curso, pero servirán para entender mucho mejor los conceptos vistos en esta entrada, así como temas posteriores.

Resolver los siguientes sistemas lineales homogéneos.

$\begin{aligned} \frac{d x}{d t} & = x + 2 y \\ \frac{d y}{d t} & = 4 x + 3 y \end{aligned}$

$\begin{aligned} \frac{d x}{d t} & = 2 x - y \\ \frac{d y}{d t} & = 3 x - 2 y \end{aligned}$

$\begin{aligned} \frac{d x}{d t} & = x - 4 y \\ \frac{d y}{d t} & = - x + 2 y \end{aligned}$

$\begin{array}{r} \frac{d x}{d t} = 2 x - 3 y \\ \frac{d y}{d t} = 3 x + 2 y \end{array}$

Resolver los siguientes sistemas lineales no homogéneos.

$\begin{aligned} \frac{d x}{d t} & = 2 x - y + 3 t \\ \frac{d y}{d t} & = 3 x - 2 y + 2 t + 4 \end{aligned}$

$\begin{aligned} \frac{d x}{d t} & = x + 2 y + e^{t} \\ \frac{d y}{d t} & = 3 x - 2 y + 3 e^{2 t} + 2 \end{aligned}$

Más adelante…

En esta entrada presentamos un método sencillo para resolver sistemas lineales compuestos por dos ecuaciones diferenciales lineales de primer orden con coeficientes constantes tanto homogéneas como no homogéneas.

En la siguiente entrada comenzaremos a desarrollar otros métodos de resolución a sistemas lineales, sin embargo estos métodos suelen ser tratados desde una perspectiva del álgebra lineal, así que será importante hacer una pequeño repaso de algunos conceptos y teoremas de álgebra lineal. Unos de los conceptos más importantes que utilizaremos es el de valores y vectores propios.

Entradas relacionadas

Página principal del curso: Ecuaciones Diferenciales I
Entrada anterior del curso: Exponencial de una matriz y matriz fundamental de soluciones
Siguiente entrada del curso: Valores y vectores propios para resolver sistemas lineales

Video relacionado al tema: Método de eliminación de variables

Agradecimientos

Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE104522 «Hacia una modalidad a distancia de la Licenciatura en Matemáticas de la FC-UNAM – Etapa 2»

Ecuaciones Diferenciales I: Ecuaciones lineales de segundo orden con coeficientes variables – Soluciones en series de potencias respecto a puntos singulares

Por Omar González Franco

Deja un comentario

Sin matemáticas, no hay nada que puedas hacer. Todo a tu alrededor
es matemáticas. Todo a tu alrededor son números.
– Shakuntala Devi

Introducción

Hemos comenzado con el estudio de las ecuaciones diferenciales lineales de segundo orden con coeficientes variables. Ya hemos aprendido cómo obtener soluciones con respecto a puntos ordinarios, ahora aprenderemos a obtener soluciones con respecto a puntos singulares.

En la entrada anterior vimos que para resolver ecuaciones de la forma

$Label '1' multiply defined$

se proponía una solución de la forma

$Label '2' multiply defined$

donde $x_{0}$ es un punto ordinario de la ecuación diferencial ( $1$ ).

En ocasiones no se pueden encontrar soluciones como ( $2$ ), así que se propone una solución de la forma

$Label '3' multiply defined$

Donde $r$ es una constante. En realidad, la solución ( $3$ ) es una generalización ya que si $r = 0$ regresamos a la forma ( $2$ ).

En esta entrada aprenderemos a resolver ecuaciones diferenciales en las que su solución es de la forma ( $3$ ).

Puntos singulares

El que la solución de una ecuación diferencial sea de la forma ( $3$ ) esta directamente relacionado con que el punto $x_{0}$ sea un punto singular y no un punto ordinario. En la entrada anterior definimos estos conceptos, sin embargo en esta entrada es necesario profundizar más acerca de los puntos singulares. Recordemos la definición de punto singular.

Nota: Las siguientes definiciones se basan en la forma estándar ( $1$ ) de una ecuación diferencial lineal de segundo orden.

Definición: Un punto

x_{0}

en el que al menos una de las funciones

P (x)

Q (x)

no tiene representación en serie de potencias de

(x - x_{0})

se dice que es un punto singular de (

1

Lo nuevo ahora es que un punto singular puede ser clasificado como regular o irregular.

Definición: Un punto

x_{0}

es singular regular si las funciones

Label '4' multiply defined

son analíticas en

x_{0}

Definición: Si una o ambas de las funciones

p (x)

q (x)

de (

4

) no son analíticas en un punto

x_{0}

, entonces

x_{0}

es un punto singular irregular.

Para fines prácticos en conveniente definir los puntos singulares regulares e irregulares a través de un límite.

Definición: Un punto

x_{0}

es singular regular de la ecuación (

1

) si los siguientes límites existen.

Label '5' multiply defined

En caso contrario decimos que

x_{0}

es un punto singular irregular.

Realicemos algunos ejemplos.

Ejemplo: Clasificar los puntos singulares de la ecuación diferencial

$x^{3} (x^{2} - 9) \frac{d^{2} y}{d x^{2}} + (x + 3) \frac{d y}{d x} + (x - 3)^{3} y = 0$

Solución: El primer paso es escribir a la ecuación diferencial en la forma estándar ( $1$ ), así que dividimos toda la ecuación por el coeficiente de la segunda derivada de $y$ .

$\frac{d^{2} y}{d x^{2}} + \frac{1}{x^{3} (x - 3)} \frac{d y}{d x} + \frac{(x - 3)^{2}}{x^{3} (x + 3)} y = 0$

Identificamos que

$P (x) = \frac{1}{x^{3} (x - 3)} y Q (x) = \frac{(x - 3)^{2}}{x^{3} (x + 3)}$

Notamos que la función $P (x)$ no está definida en los puntos $x = 3$ y $x = 0$ , mientras que la función $Q (x)$ no está definida en $x = - 3$ y $x = 0$ , de manera que los puntos singulares son $x_{0} = 3$ , $x_{0} = 0$ y $x_{0} = - 3$ . El resto de puntos en $R$ son puntos ordinarios de la ecuación diferencial.

Para determinar si son regulares o irregulares definamos las nuevas funciones de acuerdo a ( $4$ ) y observemos si dichas funciones son analíticas o no en el correspondiente punto singular.

Caso 1: $x_{0} = 3$ .

Definamos las nuevas funciones.

$p (x) = (x - 3) P (x) = \frac{1}{x^{3}} y q (x) = (x - 3)^{2} Q (x) = \frac{(x - 3)^{4}}{x^{3} (x + 3)}$

Es claro que las nuevas funciones $p (x)$ y $q (x)$ si son analíticas en $x_{0} = 3$ , por lo que dicho punto es un punto singular regular. Usando la definición de límite, se tiene

$lim_{x \to 3} p (x) = lim_{x \to 3} \frac{1}{x^{3}} = \frac{1}{9} y lim_{x \to 3} q (x) = lim_{x \to 3} \frac{(x - 3)^{4}}{x^{3} (x + 3)} = 0$

Los límites existen, así que llegamos a la misma conclusión.

Caso 2: $x_{0} = 0$ .

Definamos las nuevas funciones.

$p (x) = x P (x) = \frac{1}{x^{2} (x - 3)} y q (x) = x^{2} Q (x) = \frac{(x - 3)^{2}}{x (x + 3)}$

En este caso las funciones $p (x)$ y $q (x)$ siguen sin estar definidas para $x = 0$ lo que significa que no se pueden representar mediante una serie de potencias, es decir, no son analíticas en dicho punto. Veamos que ocurre con los limites. Por un lado,

$lim_{x \to 0} p (x) = lim_{x \to 0} \frac{1}{x^{2} (x - 3)} = - \infty$

Por otro lado,

$lim_{x \to 0^{+}} q (x) = lim_{x \to 0^{+}} \frac{(x - 3)^{2}}{x (x + 3)} = \infty y lim_{x \to 0^{-}} q (x) = lim_{x \to 0^{-}} \frac{(x - 3)^{2}}{x (x + 3)} = - \infty$

Vemos que el limite de $p (x)$ es divergente, mientras que el límite de $q (x)$ no existe en $x = 0$ .

En conclusión, $x_{0} = 0$ es un punto singular irregular.

Caso 3: $x_{0} = - 3$ .

Definamos las nuevas funciones.

$p (x) = (x + 3) P (x) = \frac{x + 3}{x^{3} (x - 3)} y q (x) = (x + 3)^{2} Q (x) = \frac{(x - 3)^{2} (x + 3)}{x^{3}}$

Las nuevas funciones son analíticas en $x_{0} = - 3$ , confirmemos que los límites existen.

$lim_{x \to - 3} p (x) = lim_{x \to - 3} \frac{x + 3}{x^{3} (x - 3)} = 0 y lim_{x \to - 3} q (x) = lim_{x \to - 3} \frac{(x - 3)^{2} (x + 3)}{x^{3}} = 0$

En efecto, los limites existen, así que $x_{0} = - 3$ es un punto singular regular.

Realicemos un ejemplo más.

Ejemplo: Determinar el punto singular de la ecuación diferencial

$(x + 1)^{2} \frac{d^{2} y}{d x^{2}} + x \frac{d y}{d x} + x^{2} y = 0$

Solución: Escribimos a la ecuación diferencial en su forma estándar.

$\frac{d^{2} y}{d x^{2}} + \frac{x}{(x + 1)^{2}} \frac{d y}{d x} + \frac{x^{2}}{(x + 1)^{2}} y = 0$

Identificamos que

$P (x) = \frac{x}{(x + 1)^{2}} y Q (x) = \frac{x^{2}}{(x + 1)^{2}}$

Notamos que el único punto singular es $x_{0} = - 1$ . Definamos las funciones $p (x)$ y $q (x)$ .

$p (x) = (x + 1) P (x) = \frac{x}{x + 1} y q (x) = (x + 1)^{2} Q (x) = x^{2}$

Aunque la función $q (x)$ si es analítica en $x_{0} = - 1$ , $p (x)$ no lo es. Por lo tanto, la ecuación diferencial no se puede desarrollar en potencias de $x + 1$ y por definición $x_{0} = - 1$ es un punto singular irregular.

Solución a ecuaciones diferenciales

Ahora que sabemos identificar puntos singulares de una ecuación diferencial podemos resolverlas con respecto a dichos puntos proponiendo una solución de la forma ( $3$ ). Ahora bien, debido a la complejidad de los cálculos, sólo estudiaremos el caso en el que el punto $x_{0} = 0$ es un punto singular regular.

A continuación enunciamos el teorema que establece que ( $3$ ) es una solución de la ecuación diferencial ( $1$ ) con respecto al punto singular $x_{0}$ .

Teorema: Sea (

1

) una ecuación diferencial con un punto singular regular en

x_{0}

, entonces siempre existe, al menos, una solución de la forma

Label '6' multiply defined

que converge en

0 < | x - x_{0} | < R

. Esta serie recibe el nombre de serie de Frobenius.

Con este teorema podemos establecer lo siguiente:

Si $x_{0}$ es un punto ordinario, entonces $r = 0$ y ( $2$ ) es la solución general.

Si $x_{0}$ es un punto singular regular, entonces ( $6$ ) dará una solución o la solución general.

Si $x_{0}$ es un punto singular irregular, entonces pueden o no existir soluciones de la forma ( $6$ ).

No demostraremos este teorema, pero será la base para resolver ecuaciones diferenciales.

La manera de resolver ecuaciones diferenciales con respecto a puntos singulares es bastante similar al caso de soluciones con respecto a puntos ordinarios, sin embargo en este caso, además de obtener una relación de recurrencia, obtendremos una ecuación cuadrática para $r$ que deberemos de resolver, a dicha ecuación se le conoce como ecuación indicial.

A continuación desarrollaremos el método de resolución que nos permitirá obtener la expresión general de la ecuación indicial, dicho método se conoce como método de Frobenius.

Método de Frobenius

Queremos resolver una ecuación diferencial en su forma estándar con respecto al punto singular regular $x_{0} = 0$ .

$\frac{d^{2} y}{d x^{2}} + P (x) \frac{d y}{d x} + Q (x) y = 0$

Multipliquemos esta ecuación por $x^{2}$ .

$x^{2} \frac{d^{2} y}{d x^{2}} + x [x P (x)] \frac{d y}{d x} + [x^{2} Q (x)] y = 0$

Si usamos las definiciones ( $4$ ) para $x_{0} = 0$ , entonces podemos escribir la ecuación anterior de la siguiente manera.

$Label '7' multiply defined$

Con $p (x)$ y $q (x)$ son funciones analíticas en $x = 0$ , esto significa que se pueden representar mediante una serie de potencias con respecto a dicho punto, sean

$Label '8' multiply defined$

$Label '9' multiply defined$

dichas series. Una observación interesante es que si todos los coeficientes son cero excepto $p_{0}$ y $q_{0}$ , entonces recuperamos la ecuación de Cauchy – Euler.

$Label '10' multiply defined$

El teorema anterior nos indica que la forma de la solución es

$y (x) = \sum_{n = 0}^{\infty} c_{n} x^{n + r}$

La primera y segunda derivada son

$\frac{d y}{d x} = \sum_{n = 0}^{\infty} (n + r) c_{n} x^{n + r - 1} y \frac{d^{2} y}{d x^{2}} = \sum_{n = 0}^{\infty} (n + r) (n + r - 1) c_{n} x^{n + r - 2}$

Sustituyamos todos estos resultados en la ecuación diferencial ( $7$ ).

$x^{2} \sum_{n = 0}^{\infty} (n + r) (n + r - 1) c_{n} x^{n + r - 2} + x [\sum_{n = 0}^{\infty} p_{n} x^{n}] \sum_{n = 0} (n + r) c_{n} x^{n + r - 1} + [\sum_{n = 0}^{\infty} q_{n} x^{n}] \sum_{n = 0}^{\infty} c_{n} x^{n + r} = 0$

Introducimos los términos $x^{2}$ y $x$ a las series de las derivadas de $y$ .

$\sum_{n = 0}^{\infty} (n + r) (n + r - 1) c_{n} x^{n + r} + [\sum_{n = 0}^{\infty} p_{n} x^{n}] \sum_{n = 0} (n + r) c_{n} x^{n + r} + [\sum_{n = 0}^{\infty} q_{n} x^{n}] \sum_{n = 0}^{\infty} c_{n} x^{n + r} = 0$

Tomemos los términos para $n = 0$ .

$\begin{aligned} r (r - 1) c_{0} x^{r} + p_{0} r c_{0} x^{r} + q_{0} c_{0} x^{r} & = 0 \\ c_{0} x^{r} [r (r - 1) + p_{0} r + q_{0}] & = 0 \end{aligned}$

Sabemos que $x^{r} \neq 0$ y el método nos obliga a considerar que siempre $c_{0} \neq 0$ , entonces

$r (r - 1) + p_{0} r + q_{0} = 0$

o bien,

$Label '11' multiply defined$

Esta relación corresponde a la ecuación indicial con raíces $r_{1}$ y $r_{2}$ reales. En todos los casos se le asigna a $r_{1}$ la raíz mayor, es decir, debe ocurrir que $r_{1} > r_{2}$ , siempre y cuando no sean raíces repetidas. A las raíces $r_{1}$ y $r_{2}$ se les denomina raíces indiciales.

El siguiente paso en el método es continuar igualando cada término a cero a través de una relación de recurrencia y con ello determinar los coeficientes de la solución propuesta $y (x)$ , todo de manera similar que en el método de la entrada anterior.

En el enunciado del teorema enfatizamos que hay al menos una solución, esto significa que no siempre puede obtenerse una segunda serie solución que junto con la primera serie forme la solución general de la ecuación diferencial. No lo demostraremos, pero a continuación se muestra la forma de ambas soluciones linealmente independientes de acuerdo a los casos que pueden ocurrir con las raíces indiciales.

De acuerdo a la ecuación indicial ( $11$ ) se distinguen tres casos:

Caso 1: $r_{1} - r_{2} \neq$ número entero.

En este caso las soluciones de la ecuación diferencial ( $1$ ), son

$Label '12' multiply defined$

$Label '13' multiply defined$

Caso 2: $r_{1} = r_{2} = r$ .

En el caso en el que ambas raíces indiciales son iguales, las soluciones de la ecuación diferencial ( $1$ ), son

$\begin{matrix} (14) & y_{1} (x) = \sum_{n = 0}^{\infty} c_{n} x^{n + r}, c_{0} \neq 0 \end{matrix}$

$\begin{matrix} (15) & y_{2} (x) = y_{1} (x) \ln (x) + \sum_{n = 0}^{\infty} {\hat{c}}_{n} x^{n + r} \end{matrix}$

Caso 3: $r_{1} - r_{2} =$ entero positivo.

En este caso las soluciones de la ecuación diferencial ( $1$ ), son

$\begin{matrix} (16) & y_{1} (x) = \sum_{n = 0}^{\infty} c_{n} x^{n + r_{1}}, c_{0} \neq 0 \end{matrix}$

$\begin{matrix} (17) & y_{2} (x) = C y_{1} (x) \ln (x) + \sum_{n = 0}^{\infty} {\hat{c}}_{n} x^{n + r_{2}}, {\hat{c}}_{0} \neq 0 \end{matrix}$

Donde $C$ es una constante que podría ser cero.

En todos los casos $y_{1} (x)$ y $y_{2} (x)$ son linealmente independientes. Por lo tanto, la solución general es

$\begin{matrix} (18) & y (x) = C_{1} y_{1} (x) + C_{2} y_{2} (x) \end{matrix}$

En los casos en los que el método de Frobenius no nos de una segunda solución es posible obtenerla con métodos que ya hemos estudiado antes. El primero de ellos es usar variación de parámetros, en este caso se propone la solución

$y_{2} (x) = u (x) y_{1} (x)$

y se sustituye, junto con las derivadas correspondientes, en la ecuación diferencial, esto nos permitirá obtener una ecuación diferencial para $u (x)$ que debemos resolver.

Otro método es usar directamente la forma de las soluciones $y_{2} (x)$ propuestas anteriormente para cada caso, calcular las derivadas correspondientes y sustituir en la ecuación diferencial.

Un tercer método se puede aplicar una vez que ya hemos determinado la primer solución $y_{1} (x)$ y es usando la expresión que deducimos en entradas anteriores.

$\begin{matrix} (19) & y_{2} (x) = y_{1} (x) \int \frac{e^{- \int P (x) d x}}{y_{1}^{2} (x)} d x \end{matrix}$

Una de las mejores maneras para comprender algo es a través de ejemplos y práctica, así que hemos decidido resolver tres ejemplos, uno para cada caso y así poder comprender del todo en qué consiste el método de Frobenius.

Cabe mencionar que a lo largo de esta entrada hemos dado las herramientas para trabajar, pero no se ha dado un fundamento formal de los resultados, para conocerlos se pueden revisar los videos del tema correspondiente en la sección de videos de este curso, en él se encontrarán los fundamentos de cómo es que se obtienen las soluciones linealmente independientes dadas para cada condición de las raíces indiciales.

Para concluir esta entrada realicemos los 3 ejemplos antes mencionados.

Solución cuando la diferencia de las raíces indiciales difiere de un número entero

Ejemplo: Resolver la ecuación diferencial

$3 x^{2} \frac{d^{2} y}{d x^{2}} - x \frac{d y}{d x} + (1 - x) y = 0$

con respecto al punto singular $x_{0} = 0$ .

Solución: Dividimos la ecuación diferencial por el coeficiente de la segunda derivada de $y$ para obtener la forma estándar.

$\frac{d^{2} y}{d x^{2}} - \frac{1}{3 x} \frac{d y}{d x} + \frac{1 - x}{3 x^{2}} y = 0$

Identificamos que

$P (x) = - \frac{1}{3 x} y Q (x) = \frac{1 - x}{3 x^{2}}$

Ninguna función está definida en $x = 0$ . Definimos las funciones $p (x)$ y $q (x)$ de acuerdo a ( $4$ ).

$p (x) = - \frac{1}{3} y q (x) = \frac{1 - x}{3}$

Vemos que

$lim_{x \to 0} p (x) = - \frac{1}{3} y lim_{x \to 0} q (x) = \frac{1}{3}$

Esto nos muestra que $p (x)$ y $q (x)$ son analíticas en $x = 0$ y que dicho punto es un punto singular regular.

Obtendremos la ecuación indicial directamente de la expresión ( $11$ ).

Vemos que

$p (x) = \sum_{n = 0}^{\infty} p_{n} x^{n} = p_{0} + p_{1} x + p_{2} x^{2} + \dots = - \frac{1}{3}$

de donde,

$p_{0} = - \frac{1}{3}$

y $p_{k} = 0$ $\forall$ $k ⩾ 1$ con $k \in N$ . Por otro lado

$q (x) = \sum_{n = 0}^{\infty} q_{n} x^{n} = q_{0} + q_{1} x + q_{2} x^{2} + \dots = \frac{1}{3} - \frac{1}{3} x$

de donde,

$q_{0} = \frac{1}{3} y q_{1} = - \frac{1}{3}$

y $q_{k} = 0$ $\forall$ $k ⩾ 2$ con $k \in N$ .

Sustituimos $p_{0}$ y $q_{0}$ en la ecuación indicial ( $11$ ).

$r^{2} + (- \frac{1}{3} - 1) r + \frac{1}{3} = r^{2} - \frac{4}{3} r + \frac{1}{3} = 0$

Resolviendo para $r$ se obtiene que las raíces son

$r_{1} = 1 y r_{2} = \frac{1}{3}$

Notemos que

$r_{1} - r_{2} = \frac{2}{3}$

es decir, la diferencia de las raíces indiciales difiere de un número entero, esto nos indica que estamos en condiciones del caso 1, en donde las soluciones están dadas por las funciones ( $12$ ) y ( $13$ ).

$y_{1} (x) = \sum_{n = 0}^{\infty} c_{n} x^{n + 1}, c_{0} \neq 0$

$y_{2} (x) = \sum_{n = 0}^{\infty} {\hat{c}}_{n} x^{n + 1 / 3}, {\hat{c}}_{0} \neq 0$

Para continuar con el método de Frobenius consideremos la solución general

$y (x) = \sum_{n = 0}^{\infty} c_{n} x^{n + r}$

y sus derivadas

$\frac{d y}{d x} = \sum_{n = 0}^{\infty} (n + r) c_{n} x^{n + r - 1} y \frac{d^{2} y}{d x^{2}} = \sum_{n = 0}^{\infty} (n + r) (n + r - 1) c_{n} x^{n + r - 2}$

Una vez obtenida la relación de recurrencia ya se podrá sustituir los valores correspondientes de $r$ . Sustituyamos en la ecuación diferencial.

$3 x^{2} [\sum_{n = 0}^{\infty} (n + r) (n + r - 1) c_{n} x^{n + r - 2}] - x [\sum_{n = 0}^{\infty} (n + r) c_{n} x^{n + r - 1}] + (1 - x) [\sum_{n = 0}^{\infty} c_{n} x^{n + r}] = 0$

$3 \sum_{n = 0}^{\infty} (n + r) (n + r - 1) c_{n} x^{n + r} - \sum_{n = 0}^{\infty} (n + r) c_{n} x^{n + r} + \sum_{n = 0}^{\infty} c_{n} x^{n + r} - \sum_{n = 0}^{\infty} c_{n} x^{n + r + 1} = 0$

En la última serie hacemos $k = n + 1$ y en el resto $k = n$ .

$3 \sum_{k = 0}^{\infty} (k + r) (k + r - 1) c_{k} x^{k + r} - \sum_{k = 0}^{\infty} (k + r) c_{k} x^{k + r} + \sum_{k = 0}^{\infty} c_{k} x^{k + r} - \sum_{k = 1}^{\infty} c_{k - 1} x^{k + r} = 0$

Para que todas las series comiencen en $k = 1$ extraemos el primer término de las tres primeras series y la suma la igualamos a cero.

$\begin{aligned} 3 r (r - 1) c_{0} x^{r} - r c_{0} x^{r} + c_{0} x^{r} & = 0 \\ c_{0} x^{r} [3 r (r - 1) - r + 1] & = 0 \end{aligned}$

Como $x^{r} \neq 0$ y $c_{0} \neq 0$ , entonces

$\begin{aligned} 3 r (r - 1) - r + 1 & = 0 \\ 3 r^{2} - 4 r + 1 & = 0 \end{aligned}$

Con este otro procedimiento podemos obtener la ecuación indicial. Ahora nos queda la ecuación

$3 \sum_{k = 1}^{\infty} (k + r) (k + r - 1) c_{k} x^{k + r} - \sum_{k = 1}^{\infty} (k + r) c_{k} x^{k + r} + \sum_{k = 1}^{\infty} c_{k} x^{k + r} - \sum_{k = 1}^{\infty} c_{k - 1} x^{k + r} = 0$

Podemos juntar todas las series en una sola.

$\sum_{k = 1}^{\infty} [3 (k + r) (k + r - 1) c_{k} - (k + r) c_{k} + c_{k} - c_{k - 1}] x^{k + r} = 0$

Para satisfacer la igualdad es necesario que

$c_{k} [3 (k + r) (k + r - 1) - (k + r) + 1] - c_{k - 1} = 0$

Despejando a $c_{k}$ obtenemos la relación de recurrencia.

$c_{k} = \frac{c_{k - 1}}{3 (k + r) (k + r - 1) - (k + r) + 1}, k = 1, 2, 3, \dots$

Hay que determinar los coeficientes para cada valor de las raíces indiciales. Para el valor de la primer raíz indicial $r = 1$ , la relación de recurrencia es

$c_{k} = \frac{c_{k - 1}}{k (3 k + 2)}, k = 1, 2, 3, \dots$

Determinemos los coeficientes para este caso.

$k = 1$ .

$c_{1} = \frac{c_{0}}{1 (3 (1) + 2)} = \frac{c_{0}}{5}$

$k = 2$ .

$c_{2} = \frac{c_{1}}{2 (3 (2) + 2)} = \frac{c_{1}}{16} = \frac{c_{0}}{80}$

$k = 3$ .

$c_{3} = \frac{c_{2}}{3 (3 (3) + 2)} = \frac{c_{2}}{33} = \frac{c_{0}}{2640}$

$k = 4$ .

$c_{4} = \frac{c_{3}}{4 (3 (4) + 2)} = \frac{c_{3}}{56} = \frac{c_{0}}{147840}$

Etcétera, entonces la primer solución es de la forma

$\begin{aligned} y_{1} (x) & = x^{1} (c_{0} + c_{1} x + c_{2} x^{2} + c_{3} x^{3} + c_{4} x^{4} + \dots) \\ = x (c_{0} + \frac{c_{0}}{5} x + \frac{c_{0}}{80} x^{2} + \frac{c_{0}}{2640} x^{3} + \frac{c_{0}}{147840} x^{4} + \dots) \\ = c_{0} x (1 + \frac{x}{5} + \frac{x^{2}}{80} + \frac{x^{3}}{2640} + \frac{x^{4}}{147840} + \dots) \end{aligned}$

Por otro lado, para $r = \frac{1}{3}$ la relación de recurrencia es

${\hat{c}}_{k} = \frac{{\hat{c}}_{k - 1}}{k (3 k - 2)}, k = 1, 2, 3, \dots$

Usamos la notación ${\hat{c}}_{k}$ sólo para hacer referencia de que son los coeficientes de la segunda solución, pero se obtiene de la misma relación de recurrencia obtenida por el método, sólo que ahora usando $r = \frac{1}{3}$ .

Determinemos los coeficientes para este caso.

$k = 1$ .

${\hat{c}}_{1} = \frac{{\hat{c}}_{0}}{1 (3 (1) - 2)} = {\hat{c}}_{0}$

$k = 2$ .

${\hat{c}}_{2} = \frac{{\hat{c}}_{1}}{2 (3 (2) - 2)} = \frac{{\hat{c}}_{0}}{8}$

$k = 3$ .

${\hat{c}}_{3} = \frac{{\hat{c}}_{2}}{3 (3 (3) - 2)} = \frac{{\hat{c}}_{2}}{21} = \frac{{\hat{c}}_{0}}{168}$

$k = 4$ .

${\hat{c}}_{4} = \frac{{\hat{c}}_{3}}{4 (3 (4) - 2)} = \frac{{\hat{c}}_{3}}{40} = \frac{{\hat{c}}_{0}}{6720}$

Etcétera, entonces la segunda solución es de la forma

$\begin{aligned} y_{2} (x) & = x^{1 / 3} ({\hat{c}}_{0} + {\hat{c}}_{1} x + {\hat{c}}_{2} x^{2} + {\hat{c}}_{3} x^{3} + {\hat{c}}_{4} x^{4} + \dots) \\ = x^{1 / 3} ({\hat{c}}_{0} + {\hat{c}}_{0} x + \frac{{\hat{c}}_{0}}{8} x^{2} + \frac{{\hat{c}}_{0}}{168} x^{3} + \frac{{\hat{c}}_{0}}{6720} x^{4} + \dots) \\ = {\hat{c}}_{0} x^{1 / 3} (1 + x + \frac{x^{2}}{8} + \frac{x^{3}}{168} + \frac{x^{4}}{6720} + \dots) \end{aligned}$

Si definimos $C_{1} = c_{0}$ y $C_{2} = {\hat{c}}_{0}$ , entonces la solución general de la ecuación diferencial es

$y (x) = C_{1} x (1 + \frac{x}{5} + \frac{x^{2}}{80} + \frac{x^{3}}{2640} + \frac{x^{4}}{147840} + \dots) + C_{2} x^{1 / 3} (1 + x + \frac{x^{2}}{8} + \frac{x^{3}}{168} + \frac{x^{4}}{6720} + \dots)$

Con este ejemplo podemos aclarar algunas cosas.

La primera de ellas es que desarrollando el método mismo obtendremos la ecuación indicial, así que no necesariamente debemos sustituir en la ecuación ( $11$ ), sin embargo sustituir en la ecuación ( $11$ ) nos permitirá, desde un inicio, conocer las raíces indiciales y con ello podremos determinar la forma de la segunda solución según sea el caso.

Otra cosa importante es que se pueden calcular los coeficientes que se deseen, en el ejemplo sólo calculamos los primeros $5$ coeficientes, es decir hasta $k = 4$ , pero se puede continuar, lo interesante de continuar es que en algunas ocasiones es posible determinar una relación que generaliza la forma de los coeficientes y con ello formar una serie que incluso puede converger a una función conocida. Los siguientes ejercicios son un ejemplo de esto.

También hay que mencionar que en este ejemplo el método de Frobenius sí nos proporcionó la segunda solución usando la relación de recurrencia, esto no ocurrirá en algunos otros casos, como el que sigue a continuación, en estos casos será necesario aplicar algunos de los métodos que ya mencionamos antes.

Solución cuando las raíces indiciales son repetidas

Ejemplo: Resolver la ecuación diferencial

$x^{2} \frac{d^{2} y}{d x^{2}} + (x^{2} - x) \frac{d y}{d x} + y = 0$

con respecto al punto singular $x_{0} = 0$ .

Solución: Escribimos la ecuación en su forma estándar.

$\frac{d^{2} y}{d x^{2}} + \frac{x - 1}{x} \frac{d y}{d x} + \frac{1}{x^{2}} y = 0$

Identificamos que

$P (x) = \frac{x - 1}{x} y Q (x) = \frac{1}{x^{2}}$

Mientras que las funciones $p (x)$ y $q (x)$ están dadas por

$p (x) = x - 1 y q (x) = 1$

Como los límites existen

$lim_{x \to 0} p (x) = - 1 y lim_{x \to 0} q (x) = 1$

entonces $x = 0$ es un punto singular regular. En esta ocasión vamos a obtener las raíces indiciales directamente de la expresión resultante para $k = 0$ . Sustituyamos las funciones correspondientes en la ecuación diferencial.

$x^{2} [\sum_{n = 0}^{\infty} (n + r) (n + r - 1) c_{n} x^{n + r - 2}] + (x^{2} - x) [\sum_{n = 0}^{\infty} (n + r) c_{n} x^{n + r - 1}] + [\sum_{n = 0}^{\infty} c_{n} x^{n + r}] = 0$

$\sum_{n = 0}^{\infty} (n + r) (n + r - 1) c_{n} x^{n + r} + \sum_{n = 0}^{\infty} (n + r) c_{n} x^{n + r + 1} - \sum_{n = 0}^{\infty} (n + r) c_{n} x^{n + r} + \sum_{n = 0}^{\infty} c_{n} x^{n + r} = 0$

En la segunda serie hacemos $k = n + 1$ y en el resto $k = n$ .

$\sum_{k = 0}^{\infty} (k + r) (k + r - 1) c_{k} x^{k + r} + \sum_{k = 1}^{\infty} (k - 1 + r) c_{k - 1} x^{k + r} - \sum_{k = 0}^{\infty} (k + r) c_{k} x^{k + r} + \sum_{k = 0}^{\infty} c_{k} x^{k + r} = 0$

Extraemos el primer término de las series que comienzan con $k = 0$ para que todas comiencen con $k = 1$ y la suma de dichos términos la igualamos a cero.

$\begin{aligned} r (r - 1) c_{0} x^{r} - r c_{0} x^{r} + c_{0} x^{r} & = 0 \\ c_{0} x^{r} [r (r - 1) - r + 1] & = 0 \end{aligned}$

como $x^{r} \neq 0$ y $c_{0} \neq 0$ , entonces

$\begin{aligned} r (r - 1) - r + 1 & = 0 \\ r^{2} - 2 r + 1 & = 0 \end{aligned}$

Hemos obtenido la ecuación indicial. Resolviendo para $r$ se obtiene que

$r_{1} = r_{2} = 1$

Las raíces indiciales son iguales, de manera que estamos en condiciones del caso 2 en el que las soluciones son de la forma ( $14$ ) y ( $15$ ).

$y_{1} (x) = \sum_{n = 0}^{\infty} c_{n} x^{n + 1}, c_{0} \neq 0$

$y_{2} (x) = \ln (x) \sum_{n = 0}^{\infty} c_{n} x^{n + 1} + \sum_{n = 0}^{\infty} {\hat{c}}_{n} x^{n + 1}$

Ahora tenemos la ecuación en la que todas las series tienen la misma potencia y comienzan con el mismo índice.

$\sum_{k = 1}^{\infty} (k + r) (k + r - 1) c_{k} x^{k + r} + \sum_{k = 1}^{\infty} (k - 1 + r) c_{k - 1} x^{k + r} - \sum_{k = 1}^{\infty} (k + r) c_{k} x^{k + r} + \sum_{k = 1}^{\infty} c_{k} x^{k + r} = 0$

Juntamos todo en una sola serie.

$\sum_{k = 1}^{\infty} [(k + r) (k + r - 1) c_{k} + (k - 1 + r) c_{k - 1} - (k + r) c_{k} + c_{k}] x^{k + r} = 0$

de donde

$c_{k} [(k + r) (k + r - 1) - (k + r) + 1] + c_{k - 1} (k - 1 + r) = 0$

despejando a $c_{k}$ se obtiene la relación de recurrencia.

$c_{k} = \frac{c_{k - 1} (k - 1 + r)}{(k + r) - 1 - (k + r) (k + r - 1)} = \frac{c_{k - 1}}{1 - k - r}, k = 1, 2, 3, \dots$

Cómo $r = 1$ , entonces la relación de recurrencia es

$c_{k} = - \frac{c_{k - 1}}{k}, k = 1, 2, 3, \dots$

Determinemos los coeficientes.

$k = 1$ .

$c_{1} = - \frac{c_{0}}{1} = - c_{0}$

$k = 2$ .

$c_{2} = - \frac{c_{1}}{2} = \frac{c_{0}}{2}$

$k = 3$ .

$c_{3} = - \frac{c_{2}}{3} = - \frac{c_{0}}{6}$

$k = 4$ .

$c_{4} = - \frac{c_{3}}{4} = \frac{c_{0}}{24}$

$k = 5$ .

$c_{5} = - \frac{c_{4}}{5} = - \frac{c_{0}}{120}$

Etcétera, la primera solución es

$\begin{aligned} y_{1} (x) & = x (c_{0} + c_{1} x + c_{2} x^{2} + c_{3} x^{3} + c_{4} x^{4} + c_{5} x^{5} + \dots) \\ = x (c_{0} - c_{0} x + \frac{c_{0}}{2} x^{2} - \frac{c_{0}}{6} x^{3} + \frac{c_{0}}{24} x^{4} - \frac{c_{0}}{120} x^{5} + \dots) \\ = c_{0} x (1 - x + \frac{x^{2}}{2} - \frac{x^{3}}{3!} + \frac{x^{4}}{4!} - \frac{x^{5}}{5!} + \dots) \end{aligned}$

Lo que mencionamos antes, la solución va teniendo forma de una serie que conocemos, pues sabemos que

$e^{- x} = \sum_{n = 0}^{\infty} \frac{(- x)^{n}}{n!} = 1 - x + \frac{x^{2}}{2} - \frac{x^{3}}{3!} + \frac{x^{4}}{4!} - \frac{x^{5}}{5!} + \dots$

Entonces,

$y_{1} (x) = c_{0} x e^{- x}$

Consideremos que $c_{0} = 1 \neq 0$ , así la primer solución de la ecuación diferencial es

$y_{1} (x) = x e^{- x}$

Notemos que el método ya no nos ofrece una segunda solución. Para obtener la segunda solución se pueden usar los tres métodos antes mencionados. Uno de ellos es usando variación de parámetros. Un segundo método puede ser por derivación de la solución propuesta

$y_{2} (x) = y_{1} \ln (x) + \sum_{n = 0}^{\infty} {\hat{c}}_{n} x^{n + 1}$

las derivadas son

$\frac{d y_{2}}{d x} = \frac{y_{1}}{x} + \ln (x) \frac{d y_{1}}{d x} + \sum_{n = 0}^{\infty} (n + 1) {\hat{c}}_{n} x^{n}$

$\frac{d^{2} y_{2}}{d x^{2}} = - \frac{y_{1}}{x^{2}} + \frac{2}{x} \frac{d y_{1}}{d x} + \ln (x) \frac{d^{2} y_{1}}{d x^{2}} + \sum_{n = 0}^{\infty} (n + 1) n {\hat{c}}_{n} x^{n - 1}$

Se sustituyen estos resultados en la ecuación diferencial y se procede igual que antes con la diferencia de que ahora no obtendremos una ecuación indicial, pero sí una relación de recurrencia para obtener los coeficientes ${\hat{c}}_{k}$ . ¡Seguro este método es un camino largo!.

Un tercer método es aplicar directamente la formula ( $19$ ). Debido a que este es el camino menos largo, obtendremos la segunda solución por este método.

Recordemos que

$P (x) = \frac{x - 1}{x}$

y que la primer solución es

$y_{1} (x) = x e^{- x}$

Notemos que

$- \int P (x) d x = - \int \frac{x - 1}{x} d x = \int (\frac{1}{x} - 1) d x = \ln (x) - x$

Sustituimos en ( $19$ ).

$\begin{aligned} y_{2} (x) & = x e^{- x} \int \frac{e^{\ln (x) - x}}{(x e^{- x})^{2}} d x \\ = x e^{- x} \int \frac{x e^{- x}}{x^{2} e^{- 2 x}} d x \\ = x e^{- x} \int \frac{e^{x}}{x} d x \end{aligned}$

La integral resultante es conocida como integral exponencial $E i (x)$ y corresponde a una función especial definida en el plano complejo. Para nuestro caso es conveniente escribir a la exponencial como serie e integrar término a término.

$\begin{aligned} y_{2} (x) & = x e^{- x} \int \frac{1}{x} (1 + x + \frac{x^{2}}{2} + \frac{x^{3}}{3!} + \frac{x^{4}}{4!} + \dots) d x \\ = x e^{- x} \int (\frac{1}{x} + 1 + \frac{x}{2} + \frac{x^{2}}{3!} + \frac{x^{3}}{4!} + \dots) d x \\ = x e^{- x} [\ln (x) + x + \frac{x^{2}}{2 (2!)} + \frac{x^{3}}{3 (3!)} + \frac{x^{4}}{4 (4!)} + \dots] \\ = x e^{- x} \ln (x) + x e^{- x} \sum_{n = 1}^{\infty} \frac{x^{n}}{n (n!)} \end{aligned}$

Vemos que

$\begin{aligned} x e^{- x} \sum_{n = 1}^{\infty} \frac{x^{n}}{n (n!)} & = x (1 - x + \frac{x^{2}}{2!} - \frac{x^{3}}{3!} + \frac{x^{4}}{4!} - \dots) (x + \frac{x^{2}}{2 (2!)} + \frac{x^{3}}{3 (3!)} + \frac{x^{4}}{4 (4!)} + \dots) \\ = (x - x^{2} + \frac{x^{3}}{2} - \frac{x^{4}}{6} + \frac{x^{5}}{24} - \dots) (x + \frac{x^{2}}{4} + \frac{x^{3}}{18} + \frac{x^{4}}{96} + \dots) \\ = x^{2} + (\frac{x^{3}}{4} - x^{3}) + (\frac{x^{4}}{18} - \frac{x^{4}}{4} + \frac{x^{4}}{2}) + (\frac{x^{5}}{96} - \frac{x^{5}}{18} + \frac{x^{5}}{8} - \frac{x^{5}}{6}) + \dots \\ = x^{2} - \frac{3}{4} x^{3} + \frac{11}{36} x^{4} - 25 x^{5} + \dots \end{aligned}$

Entonces la segunda solución es

$y_{2} (x) = x e^{- x} \ln (x) + x^{2} - \frac{3}{4} x^{3} + \frac{11}{36} x^{4} - 25 x^{5} + \dots$

Por lo tanto, la solución general de la ecuación diferencial es

$y (x) = C_{1} x e^{- x} + C_{2} (x e^{- x} \ln (x) + x^{2} - \frac{3}{4} x^{3} + \frac{11}{36} x^{4} - 25 x^{5} + \dots)$

Solución cuando la diferencia de las raíces indiciales es un número entero positivo

Ejemplo: Resolver la ecuación diferencial

$x \frac{d^{2} y}{d x^{2}} - \frac{d y}{d x} + 4 x^{3} y = 0$

con respecto al punto singular $x_{0} = 0$ .

Solución: Dividimos toda la ecuación por $x$ para obtener la forma estándar.

$\frac{d^{2} y}{d x^{2}} - \frac{1}{x} \frac{d y}{d x} + 4 x^{2} y = 0$

Identificamos que

$P (x) = - \frac{1}{x} y Q (x) = 4 x^{2}$

Es claro que $x = 0$ es un punto ordinario de $Q (x)$ , sin embargo es un punto singular regular de $P (x)$ , pues

$lim_{x \to 0} x P (x) = lim_{x \to 0} - 1 = - 1$

Sustituimos las funciones correspondientes en la ecuación diferencial.

$x [\sum_{n = 0}^{\infty} (n + r) (n + r - 1) c_{n} x^{n + r - 2}] - [\sum_{n = 0}^{\infty} (n + r) c_{n} x^{n + r - 1}] + 4 x^{3} [\sum_{n = 0}^{\infty} c_{n} x^{n + r}] = 0$

$\sum_{n = 0}^{\infty} (n + r) (n + r - 1) c_{n} x^{n + r - 1} - \sum_{n = 0}^{\infty} (n + r) c_{n} x^{n + r - 1} + 4 \sum_{n = 0}^{\infty} c_{n} x^{n + r + 3} = 0$

Con el propósito de que en la tercer serie $x$ tenga la misma potencia que las dos primeras, hacemos $k = n + 4$ y en el resto $k = n$ .

$\sum_{k = 0}^{\infty} (k + r) (k + r - 1) c_{k} x^{k + r - 1} - \sum_{k = 0}^{\infty} (k + r) c_{k} x^{k + r - 1} + 4 \sum_{k = 4}^{\infty} c_{k - 4} x^{k + r - 1} = 0$

Para $k = 0$ , se tiene

$\begin{aligned} r (r - 1) c_{0} x^{r - 1} - r c_{0} x^{r - 1} & = 0 \\ c_{0} x^{r - 1} [r (r - 1) - r] & = 0 \end{aligned}$

de donde se obtiene la ecuación indicial

$r^{2} - 2 r = 0$

cuyas raíces son

$r_{1} = 2 y r_{2} = 0$

Como

$r_{1} - r_{2} = 2$

Es decir, la diferencia es un número entero, entonces estamos en condiciones del caso 3 y por tanto las soluciones son de la forma ( $16$ ) y ( $17$ ).

$y_{1} (x) = \sum_{n = 0}^{\infty} c_{n} x^{n + 2}, c_{0} \neq 0$

$y_{2} (x) = C \ln (x) \sum_{n = 0}^{\infty} c_{n} x^{n + 2} + \sum_{n = 0}^{\infty} {\hat{c}}_{n} x^{n}, {\hat{c}}_{0} \neq 0$

Recordemos que $C$ puede ser cero.

Necesitamos que todas las series comiencen en $k = 4$ para poder obtener la relación de recurrencia. Extraemos los términos para $k = 1$ , $k = 2$ y $k = 3$ y cada suma correspondiente la igualamos a cero.

$k = 1$ .

$\begin{aligned} (1 + r) (r) c_{1} x^{r} - (1 + r) c_{1} x^{r} & = 0 \\ x^{r} [(1 + r) (r) - (1 + r)] c_{1} & = 0 \end{aligned}$

Debido a que

$(1 + r) (r) - (1 + r) \neq 0$

de acuerdo a los valores de las raíces indiciales, entonces necesariamente $c_{1} = 0$ .

$k = 2$ .

$\begin{aligned} (2 + r) (1 + r) c_{2} x^{r + 1} - (2 + r) c_{2} x^{r + 1} & = 0 \\ x^{r + 1} [(2 + r) (1 + r) - (2 + r)] c_{2} & = 0 \end{aligned}$

de donde necesariamente $c_{2} = 0$ .

$k = 3$ .

$\begin{aligned} (3 + r) (2 + r) c_{3} x^{r + 2} - (3 + r) c_{3} x^{r + 2} & = 0 \\ x^{r + 2} [(3 + r) (2 + r) - (3 + r)] c_{3} & = 0 \end{aligned}$

Igualmente obtenemos que $c_{3} = 0$ .

Ahora tenemos la ecuación

$\sum_{k = 4}^{\infty} (k + r) (k + r - 1) c_{k} x^{k + r - 1} - \sum_{k = 4}^{\infty} (k + r) c_{k} x^{k + r - 1} + 4 \sum_{k = 4}^{\infty} c_{k - 4} x^{k + r - 1} = 0$

La reescribimos en una sola serie.

$\sum_{k = 4}^{\infty} [(k + r) (k + r - 1) c_{k} - (k + r) c_{k} + 4 c_{k - 4}] x^{k + r - 1} = 0$

De donde,

$c_{k} [(k + r) (k + r - 1) - (k + r)] + 4 c_{k - 4} = 0$

Despejando $c_{k}$ obtenemos la relación de recurrencia.

$c_{k} = \frac{4 c_{k - 4}}{(k + r) - (k + r) (k + r - 1)}, k = 4, 5, 6, \dots$

Para el caso en el que $r = 2$ la relación de recurrencia es

$c_{k} = - \frac{4 c_{k - 4}}{k (k + 2)}, k = 4, 5, 6, \dots$

Determinemos los coeficientes.

$k = 4$ .

$c_{4} = - \frac{4 c_{0}}{4 (4 + 2)} = - \frac{4 c_{0}}{24} = - \frac{c_{0}}{6}$

Para $k = 5$ , $k = 6$ y $k = 7$ obtendremos que $c_{5} = 0$ , $c_{6} = 0$ y $c_{7} = 0$ respectivamente.

$k = 8$ .

$c_{8} = - \frac{4 c_{4}}{8 (8 + 2)} = - \frac{4 c_{4}}{80} = - \frac{c_{4}}{20} = \frac{c_{0}}{120}$

De la misma manera $c_{9} = c_{10} = c_{11} = 0$ .

$k = 12$ .

$c_{12} = - \frac{4 c_{8}}{12 (12 + 2)} = - \frac{4 c_{8}}{168} = - \frac{c_{8}}{42} = - \frac{c_{0}}{5040}$

Etcétera, entonces

$\begin{aligned} y_{1} (x) & = x^{2} (c_{0} - \frac{c_{0}}{6} x^{4} + \frac{c_{0}}{120} x^{8} - \frac{c_{0}}{5040} x^{12} + \dots) \\ = c_{0} (x^{2} - \frac{x^{6}}{3!} + \frac{x^{10}}{5!} - \frac{x^{14}}{7!} + \dots) \end{aligned}$

Sabemos que

$\sin (x) = x - \frac{x^{3}}{3!} + \frac{x^{5}}{5!} - \frac{x^{7}}{7!} + \dots = \sum_{n = 0}^{\infty} \frac{(- 1)^{n} x^{2 n + 1}}{(2 n + 1)!}$

Entonces la primer solución es

$y_{1} (x) = c_{0} \sin (x^{2})$

Para obtener la segunda solución $y_{2}$ podemos probar con la relación de recurrencia que obtuvimos o por alguno de los métodos que ya conocemos.

Consideremos la relación de recurrencia obtenida

$c_{k} = \frac{4 c_{k - 4}}{(k + r) - (k + r) (k + r - 1)}, k = 4, 5, 6, \dots$

Usemos la notación ${\hat{c}}_{k}$ y el valor de la segunda raíz indicial $r = 0$ , en este caso la relación de recurrencia es

${\hat{c}}_{k} = - \frac{4 c_{k - 4}}{k (k - 2)}, k = 4, 5, 6, \dots$

Los mismos coeficientes que fueron cero en el caso anterior serán cero en este caso, así que sólo consideraremos que $k = 4, 8, 12, \dots$ . Determinemos los coeficientes.

$k = 4$ .

${\hat{c}}_{4} = - \frac{4 {\hat{c}}_{0}}{4 (4 - 2)} = - \frac{4 {\hat{c}}_{0}}{8} = - \frac{{\hat{c}}_{0}}{2}$

$k = 8$ .

${\hat{c}}_{8} = - \frac{4 {\hat{c}}_{4}}{8 (8 - 2)} = - \frac{4 {\hat{c}}_{4}}{48} = - \frac{{\hat{c}}_{4}}{12} = \frac{{\hat{c}}_{0}}{24}$

$k = 12$ .

${\hat{c}}_{12} = - \frac{4 {\hat{c}}_{8}}{12 (12 - 2)} = - \frac{4 {\hat{c}}_{8}}{120} = - \frac{{\hat{c}}_{8}}{30} = - \frac{{\hat{c}}_{0}}{720}$

Etcétera, entonces

$\begin{aligned} y & = {\hat{c}}_{0} - \frac{{\hat{c}}_{0}}{2} x^{4} + \frac{{\hat{c}}_{0}}{24} x^{8} - \frac{{\hat{c}}_{0}}{720} x^{12} + \dots \\ = {\hat{c}}_{0} (1 - \frac{x^{4}}{2!} + \frac{x^{8}}{4!} - \frac{x^{12}}{6!} + \dots) \end{aligned}$

Sabemos que

$\cos (x) = 1 - \frac{x^{2}}{2!} + \frac{x^{4}}{4!} - \frac{x^{6}}{6!} + \dots = \sum_{n = 0}^{\infty} \frac{(- 1)^{n} x^{2 n}}{(2 n)!}$

Entonces la segunda solución es

$y_{2} (x) = {\hat{c}}_{0} \cos (x^{2})$

Vemos que el método no nos indica la existencia de la función $\ln (x)$ y nosotros esperamos una solución de la forma

$y_{2} (x) = C \ln (x) \sum_{n = 0}^{\infty} c_{n} x^{n + 2} + \sum_{n = 0}^{\infty} {\hat{c}}_{n} x^{n}, {\hat{c}}_{0} \neq 0$

Entonces podemos concluir que $C = 0$ , así

$y_{2} (x) = {\hat{c}}_{0} \cos (x^{2})$

Veamos que se obtiene usando la fórmula ( $19$ ). Recordemos que

$P (x) = - \frac{1}{x}$

y consideremos que $c_{0} = 1$ , tal que

$y_{1} (x) = \sin (x^{2})$

Vemos que

$- \int P (x) d x = \int \frac{d x}{x} = \ln (x)$

Sustituyamos en ( $19$ ).

$y_{2} (x) = \sin (x^{2}) \int \frac{e^{\ln (x)}}{(\sin (x^{2}))^{2}} d x = \sin (x^{2}) \int \frac{x}{(\sin (x^{2}))^{2}} d x$

Resolviendo la integral se obtiene que

$\int \frac{x}{(\sin (x^{2}))^{2}} d x = - \frac{1}{2} \cot (x^{2})$

Entonces,

$y_{2} (x) = - \frac{1}{2} \sin (x^{2}) (\frac{\cos (x^{2})}{\sin (x^{2})}) = - \frac{1}{2} \cos (x^{2}) = {\hat{c}}_{0} \cos (x^{2})$

Este método nos indica que efectivamente $C = 0$ . Si $C_{1} = c_{0}$ y $C_{2} = {\hat{c}}_{0}$ , entonces la solución general de la ecuación diferencial es

$y (x) = C_{1} \sin (x^{2}) + C_{2} \cos (x^{2})$

Hemos concluido con esta entrada.

Tarea moral

Los siguientes ejercicios no forman parte de la evaluación del curso, pero servirán para entender mucho mejor los conceptos vistos en esta entrada, así como temas posteriores.

Usar el método de Frobenius para obtener la solución general de las siguientes ecuaciones diferenciales en el punto singular $x_{0} = 0$ . Verificar que dicho punto es singular.

$2 x \frac{d^{2} y}{d x^{2}} + (x + 1) \frac{d y}{d x} + 3 y = 0$ .

$x^{2} \frac{d^{2} y}{d x^{2}} - \frac{1}{6} x \frac{d y}{d x} + \frac{1}{3} y = 0$ .

$x^{2} \frac{d^{2} y}{d x^{2}} + 6 x \frac{d y}{d x} + (6 - x^{2}) y = 0$ .

$2 x^{2} \frac{d^{2} y}{d x^{2}} - x^{2} \frac{d y}{d x} - (x + 4) y = 0$ .

$x \frac{d^{2} y}{d x^{2}} + (x - 1) \frac{d y}{d x} + (\frac{1}{x} - 1) y = 0$ .

$(x^{2} - x) \frac{d^{2} y}{d x^{2}} + (3 x - 1) \frac{d y}{d x} + y = 0$ .

Más adelante…

Ahora que sabemos resolver ecuaciones diferenciales lineales de segundo orden con coeficientes variables con respecto a puntos ordinarios y puntos singulares, en las siguientes entradas resolveremos algunas ecuaciones diferenciales especiales cuya utilidad es de suma importancia en otras áreas del conocimiento como la física, biología e ingeniería entre otras.

Entradas relacionadas

Página principal del curso: Ecuaciones Diferenciales I
Entrada anterior del curso: Ecuaciones lineales de segundo orden con coeficientes variables – Soluciones en series de potencias respecto a puntos ordinarios
Siguiente entrada del curso: Ecuaciones del Hermite, Laguerre y Legendre

Video relacionado al tema: Ecuaciones lineales de segundo orden con coeficientes variables. Solución por series cerca de un punto singular regular

Agradecimientos

Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE104522 «Hacia una modalidad a distancia de la Licenciatura en Matemáticas de la FC-UNAM – Etapa 2»

Ecuaciones Diferenciales I: Ecuaciones lineales no homogéneas de segundo orden – Método de coeficientes indeterminados

Por Omar González Franco

Deja un comentario

No es que no puede ver la solución. Es que no puede ver el problema.
– GK Chesterton

Introducción

En la entrada anterior estudiamos las ecuaciones diferenciales de la forma

$Label '1' multiply defined$

Con $a$ , $b$ y $c$ constantes reales. Vimos que, una vez que hemos determinado la ecuación auxiliar, las soluciones están dadas de acuerdo al valor del discriminante $Δ = b^{2} - 4 a c$ .

En esta entrada estudiaremos este mismo tipo de ecuaciones diferenciales, pero en el caso no homogéneo, es decir, ecuaciones de la forma

$Label '2' multiply defined$

Con $a$ , $b$ , $c$ constantes y $g (x) \neq 0$ .

Ya sabemos que, en general, para resolver una ecuación diferencial no homogénea de la forma

$Label '3' multiply defined$

debemos hacer dos cosas. Encontrar la función complementaria $y_{c} (x)$ que corresponde a la solución general de la ecuación homogénea asociada de ( $3$ ) y posteriormente encontrar la solución particular $y_{p} (x)$ de dicha ecuación. Una vez obtenidas, la solución general de ( $3$ ) será la superposición

$y (x) = y_{c} (x) + y_{p} (x)$

En la entrada anterior vimos como resolver el caso homogéneo de este tipo de ecuaciones cuando los coeficientes son constantes, por lo que en esta entrada nos ocuparemos de desarrollar un método que nos permita obtener soluciones particulares.

Un primer método para resolver este tipo de ecuaciones se conoce como método de coeficientes indeterminados.

Dentro de este método existen al menos dos caminos desde una perspectiva diferente, uno de ellos es conocido como método de superposición y se desarrolla desde el punto de vista del principio de superposición para ecuaciones no homogéneas, mientras que un segundo método utiliza el concepto de operadores diferenciales anuladores y se conoce como método del anulador. El segundo método no lo estudiaremos en este curso, pero puedes investigar acerca de él si lo deseas.

Coeficientes indeterminados – Método de superposición

La idea fundamental de este método consiste en hacer una conjetura acerca de la forma que debe tener la solución particular $y_{p} (x)$ , esta intuición esta motivada por el tipo de funciones que constituyen a la función $g (x)$ de ( $3$ ). Debido a que la solución de cierta manera depende de la forma de $g (x)$ , es que este método se ve limitado a cierto tipo de funciones que componen a $g (x)$ .

Como lo hemos venido haciendo, desarrollaremos esta teoría para el caso de ecuaciones de segundo orden ya que al aumentar el orden aumenta la complejidad en los cálculos, pero la idea se mantiene.

La ecuación a resolver es ( $2$ ), esto es

$a \frac{d^{2} y}{d x^{2}} + b \frac{d y}{d x} + c y = g (x)$

Este método se puede aplicar sólo en el caso el que se cumple lo siguiente.

Los coeficientes $a$ , $b$ y $c$ son constantes y,

$g (x)$ es una constante $c$ , una función polinomial, una función exponencial $e^{α x}$ , una función seno o coseno $(\sin (β x)$ o $\cos (β x))$ o sumas infinitas y productos de estas funciones.

De acuerdo al segundo punto, este método no es aplicable a funciones como

$g (x) = \ln (x); g (x) = \frac{1}{x}; g (x) = \tan (x); g (x) = \arcsin (x)$

etcétera. En cambio, es aplicable a funciones como

$g (x) = P_{n} (x) = a_{n} x^{n} + a_{n - 1} x^{n - 1} + \dots + a_{1} x + a_{0}$

$g (x) = P_{n} (x) e^{α x}; g (x) = P_{n} (x) e^{α x} \sin (β x); y g (x) = P_{n} (x) e^{α x} \cos (β x)$

donde $n$ es un número entero no negativo que indica el grado del polinomio y $α$ y $β$ son números reales.

Lo importante a considerar en este método es que el conjunto de funciones que consiste en constantes, polinomios, exponenciales, senos y cosenos tiene la notable propiedad de que las derivadas de sus sumas y productos vuelven a ser funciones de este mismo estilo y debido a que la combinación lineal $a \frac{d^{2} y_{p}}{d x^{2}} + b \frac{d y_{p}}{d x} + c y_{p}$ debe ser idéntica a la función $g (x)$ es razonable suponer que la solución particular $y_{p} (x)$ tiene la misma forma que $g (x)$ .

Ahora que hemos motivado la noción de este método desarrollemos la teoría que nos permite determinar las soluciones de ecuaciones diferenciales lineales de segundo orden no homogéneas con coeficientes constantes ( $2$ ).

Comencemos con el caso en el que la función $g (x)$ es un polinomio.

$g (x)$ es un polinomio

Supongamos que la función $g (x)$ es un polinomio de grado $n$ de la forma

$Label '4' multiply defined$

con $a_{k}$ , $k = 0, 1, 2, \dots, n$ constantes.

Buscamos la solución particular $y_{p} (x)$ , tal que

$Label '5' multiply defined$

Como mencionamos anteriormente, vamos a suponer que la solución particular tiene la misma forma que $g (x)$ así, en este caso, $y_{p} (x)$ será también un polinomio de grado $n$ .

$Label '6' multiply defined$

con $A_{k}$ , $k = 0, 1, 2, \dots, n$ constantes. Calculemos la primera y segunda derivada y sustituyamos en la ecuación ( $5$ ).

$\frac{d y_{p}}{d x} = \sum_{k = 1}^{n} k A_{k} x^{k - 1} y \frac{d^{2} y_{p}}{d x^{2}} = \sum_{k = 2}^{n} k (k - 1) A_{k} x^{k - 2}$

Si desglosas las sumas notarás la razón y la importancia de que el valor de $k$ comience en $1$ y en $2$ en la suma de la primera y la segunda derivada respectivamente. Más adelante trabajaremos con series y mencionaremos con mayor detalle este tipo de situaciones.

Sustituyendo en la ecuación diferencial ( $5$ ) se tiene lo siguiente.

$Label '7' multiply defined$

Para que se cumpla la igualdad los coeficientes de cada $x^{k}$ , $k = 0, 1, \dots, n$ , tienen que ser iguales. Para que resulte más intuitivo el cómo igualar los coeficientes vamos a reescribir la ecuación ( $7$ ) desglosando las sumas.

$\begin{array}{r} a [2 A_{2} + 6 A_{3} x + 12 A_{4} x^{2} + \dots + n (n - 1) A_{n} x^{n - 2}] \\ + b [A_{1} + 2 A_{2} x + 3 A_{3} x^{2} + \dots + (n - 1) A_{n - 1} x^{n - 2} + n A_{n} x^{n - 1}] \\ + c [A_{0} + A_{1} x + A_{2} x^{2} + \dots + A_{n - 2} x^{n - 2} + A_{n - 1} x^{n - 1} + A_{n} x^{n}] \\ = a_{0} + a_{1} x + a_{2} x^{2} + \dots + a_{n - 2} x^{n - 2} + a_{n - 1} x^{n - 1} + a_{n} x^{n} \end{array}$

Ahora si resulta directo igualar los coeficientes de cada $x^{k}$ , $k = 0, 1, \dots, n$ . Para que se cumpla la ecuación ( $7$ ) se deben cumplir las siguientes relaciones.

$\begin{aligned} 2 a A_{2} + b A_{1} + c A_{0} & = a_{0} \\ 6 a A_{3} + 2 b A_{2} + c A_{1} & = a_{1} \\ 12 a A_{4} + 3 b A_{3} + c A_{2} & = a_{2} \\ ⋮ \\ n (n - 1) a A_{n} + (n - 1) b A_{n - 1} + c A_{n - 2} & = a_{n - 2} \\ n b A_{n} + c A_{n - 1} & = a_{n - 1} \\ c A_{n} & = a_{n} \end{aligned}$

Lo que tenemos es un sistema de $n + 1$ ecuaciones. Si $c \neq 0$ , de la última relación se obtiene

$A_{n} = \frac{a_{n}}{c}$

De la penúltima relación se obtiene

$A_{n - 1} = \frac{a_{n - 1} - n b A_{n}}{c}$

En donde ya se conoce el valor de $A_{n}$ , y así sucesivamente, de manera que seremos capaces de determinar todos los valores $A_{k}$ , $k = 0, 1, \dots, n$ y por tanto, obtendremos la solución particular $y_{p} (x)$ dada en ( $6$ ).

El paso fundamental en este método es suponer que la solución particular $y_{p} (x)$ tiene la misma forma que la función $g (x)$ , pero debemos ser cuidadosos con ello, por ejemplo, si ocurre que $c = 0$ y suponemos que $y_{p} (x)$ es un polinomio de grado $n$ , entonces la expresión $a \frac{d^{2} y_{p}}{d x^{2}} + b \frac{d y_{p}}{d x}$ será una expresión de grado $n - 1$ , pero estará igualada a $g (x)$ que es una expresión de grado $n$ y esto no puede ocurrir. Para solucionar esto será necesario considerar a $y_{p} (x)$ como un polinomio de grado $n + 1$ , esto es

$Label '8' multiply defined$

De esta manera la expresión $a \frac{d^{2} y_{p}}{d x^{2}} + b \frac{d y_{p}}{d x}$ sí será de grado $n$ y por tanto podremos igualar coeficientes con $g (x)$ y así obtener los valores $A_{k}$ , $k = 1, 2 \dots, n$ , y con ello la solución particular $y_{p} (x)$ .

Finalmente, si $b = c = 0$ tendremos la ecuación

$a \frac{d^{2} y_{p}}{d x^{2}} = g (x)$

la cual se puede resolver integrando un par de veces con respecto a $x$ .

Realicemos un ejemplo.

Ejemplo: Determinar la solución particular $y_{p} (x)$ de la ecuación diferencial

$9 \frac{d^{2} y}{d x^{2}} - 6 \frac{d y}{d x} + y = 9 - x^{3}$

Solución: En este caso la función $g$ es

$g (x) = 9 - x^{3}$

Corresponde a un polinomio de grado $n = 3$ y como $c = 1 \neq 0$ vamos a suponer que la solución particular es también un polinomio de grado $3$ .

Importante, aunque en la función $g$ no estén los términos con $x$ y $x^{2}$ en la solución sí debemos considerarlos.

De acuerdo a ( $6$ ), la solución particular debe tener la siguiente forma.

$y_{p} (x) = A_{3} x^{3} + A_{2} x^{2} + A_{1} x + A_{0}$

Calculemos la primera y segunda derivada para sustituir en la ecuación diferencial.

$\frac{d y_{p}}{d x} = 3 A_{3} x^{2} + 2 A_{2} x + A_{1} y \frac{d^{2} y_{p}}{d x^{2}} = 6 A_{3} x + 2 A_{2}$

Sustituyamos.

$(54 A_{3} x + 18 A_{2}) - (18 A_{3} x^{2} + 12 A_{2} x + 6 A_{1}) + (A_{3} x^{3} + A_{2} x^{2} + A_{1} x + A_{0}) = 9 - x^{3}$

Agrupemos términos semejantes.

$A_{3} x^{3} + (- 18 A_{3} + A_{2}) x^{2} + (54 A_{3} - 12 A_{2} + A_{1}) x + (18 A_{2} - 6 A_{1} + A_{0}) = 9 - x^{3}$

Observemos que la función $g$ la podemos escribir como

$g (x) = - 1 x^{3} + 0 x^{2} + 0 x + 9$

Esto nos permitirá igualar los coeficientes de cada $x^{k}$ , $k = 0, 1, 2, 3$ .

$\begin{aligned} A_{3} & = - 1 \\ - 18 A_{3} + A_{2} & = 0 \\ 54 A_{3} - 12 A_{2} + A_{1} & = 0 \\ 18 A_{2} - 6 A_{1} + A_{0} & = 9 \end{aligned}$

Resolviendo el sistema de ecuaciones obtendremos que

$A_{3} = - 1, A_{2} = - 18, A_{1} = - 162 y A_{0} = - 639$

Por lo tanto, la solución particular de la ecuación diferencial es

$y_{p} (x) = - x^{3} - 18 x^{2} - 162 x - 639$

Puedes comprobar que efectivamente es solución de la ecuación diferencial. Por otro lado, notemos que en el ejemplo hemos obtenido sólo la solución particular $y_{p} (x)$ . Aplicando lo visto en la entrada anterior, de tarea moral determina la solución complementaria $y_{c} (x)$ que corresponde a la solución de la ecuación homogénea asociada

$9 \frac{d^{2} y}{d x^{2}} - 6 \frac{d y}{d x} + y = 0$

para así finalmente obtener la solución general

$y (x) = y_{c} (x) + y_{p} (x)$

Ahora veamos que ocurre cuando la función $g (x)$ es una función exponencial o el producto de un polinomio con una función exponencial.

$g (x)$ es producto de un polinomio y una función exponencial

Antes de desarrollar la teoría para este caso veamos una situación que nos muestra que no siempre la solución particular debe tener la misma forma que la función $g (x)$ .

Supongamos que queremos obtener la solución particular de la ecuación diferencial

$\frac{d^{2} y}{d x^{2}} - 5 \frac{d y}{d x} + 4 y = 8 e^{x}$

Se puede suponer razonablemente una solución particular de la forma

$y_{p} (x) = A e^{x}$

Con $A$ una constante por determinar. Las primeras dos derivadas de esta función son

$\frac{d y_{p}}{d x} = A e^{x} = \frac{d^{2} y_{p}}{d x^{2}}$

Al sustituir en la ecuación diferencial da como resultado la expresión contradictoria

$0 = 8 e^{x}$

Esto nos muestra que se hizo una conjetura equivocada para $y_{p} (x)$ . Lo que sucede es que la solución complementaria

$y_{c} (x) = c_{1} e^{x} + c_{2} e^{4 x}$

ya contiene nuestra suposición $A e^{x}$ . Esto significa que $e^{x}$ es una solución de la ecuación diferencial homogénea asociada y un múltiplo constante $A e^{x}$ cuando se sustituye en la ecuación diferencial necesariamente da cero.

Como lo vemos en este ejemplo, la solución particular que propongamos no debe ser una función que ya este contenida en la solución complementaria. A continuación desarrollaremos un método que nos permite obtener la forma de la solución particular cuando la función $g (x)$ esta constituida por un polinomio y una función exponencial.

Supongamos que la función $g (x)$ es el producto de un polinomio con una función exponencial.

$Label '9' multiply defined$

Con $α$ una constante distinta de cero, ya que en caso de serlo regresamos al caso anterior. En esta ocasión la ecuación diferencial a resolver es

$Label '10' multiply defined$

Manteniendo la esencia del método, vamos a suponer que la solución particular tiene la forma de la función $g (x)$ . Supongamos que la solución particular es de la forma

$y_{p} (x) = e^{α x} h (x)$

Con $h (x)$ una función continua y derivable en el intervalo de solución. Lo que haremos será determinar la forma de la función $h (x)$ , para ello vamos a calcular las derivadas correspondientes y sustituir en la ecuación diferencial ( $10$ ).

$\frac{d y_{p}}{d x} = e^{α x} \frac{d h}{d x} + α e^{α x} h y \frac{d^{2} y_{p}}{d x^{2}} = e^{α x} \frac{d^{2} h}{d x^{2}} + 2 α e^{α x} \frac{d h}{d x} + α^{2} e^{α x} h$

Sustituyendo en la ecuación diferencial.

$a [e^{α x} \frac{d^{2} h}{d x^{2}} + 2 α e^{α x} \frac{d h}{d x} + α^{2} e^{α x} h] + b [e^{α x} \frac{d h}{d x} + α e^{α x} h] + c (e^{α x} h) = (\sum_{k = 0}^{n} a_{k} x^{k}) e^{α x}$

Como $e^{α x} \neq 0$ $\forall x \in R$ , podemos cancelar la exponencial de todos los términos y reordenar para obtener la siguiente expresión.

$Label '11' multiply defined$

Lo que obtuvimos es una ecuación diferencial de segundo orden con coeficientes constantes en donde el lado derecho de la ecuación corresponde a una función polinomial, es decir, hemos reducido el problema al primer caso. Podemos aplicar lo visto anteriormente para obtener la forma de la solución $h (x)$ . Consideremos los siguientes casos.

$a α^{2} + b α + c \neq 0$

Al considerar este caso lo que podemos proponer es que la función $h (x)$ sea un polinomio de grado $n$ , esto es

$h (x) = A_{n} x^{n} + A_{n - 1} x^{n - 1} + \dots + A_{1} x + A_{0} = \sum_{k = 0}^{n} A_{k} x^{k}$

De esta manera ambos lados de la ecuación ( $11$ ) serán expresiones de grado $n$ y podremos igualar coeficiente a coeficiente, tal como lo hicimos en el caso anterior. Por lo tanto, la solución particular de la ecuación diferencial ( $10$ ) es

$Label '12' multiply defined$

$a α^{2} + b α + c = 0$ y $2 α a + b \neq 0$

En este caso, por el mismo argumento que en el caso en el que $g (x)$ es sólo un polinomio de grado $n$ , debemos asegurarnos de que la combinación lineal $a \frac{d^{2} h}{d x^{2}} + (2 α a + b) \frac{d h}{d x}$ sea una expresión de grado $n$ , por lo que será necesario que $h (x)$ sea un polinomio de grado $n + 1$ . La propuesta para $h (x)$ es que sea de la forma

$h (x) = x (A_{n} x^{n} + A_{n - 1} x^{n - 1} + \dots + A_{1} x + A_{0}) = x (\sum_{k = 0}^{n} A_{k} x^{k})$

Por lo tanto, para este caso la solución particular es la siguiente.

$Label '13' multiply defined$

$a α^{2} + b α + c = 0$ y $2 α a + b = 0$

Siguiendo el mismo razonamiento, en este caso la solución particular debe ser

$Label '14' multiply defined$

Ahora que conocemos las posibles formas de las soluciones particulares, vamos a resolver la ecuación que nos genero conflicto.

Ejemplo: Hallar la solución particular $y_{p} (x)$ de la ecuación diferencial

$\frac{d^{2} y}{d x^{2}} - 5 \frac{d y}{d x} + 4 y = 8 e^{x}$

Solución: Supongamos que la solución tiene la forma

$y_{p} (x) = h (x) e^{x}$

En este caso $α = 1$ . Las derivadas correspondientes son

$\frac{d y_{p}}{d x} = \frac{d h}{d x} e^{x} + h e^{x} y \frac{d^{2} y_{p}}{d x^{2}} = \frac{d^{2} h}{d x^{2}} e^{x} + 2 \frac{d h}{d x} e^{x} + h e^{x}$

Sustituyamos en la ecuación diferencial.

$(\frac{d^{2} h}{d x^{2}} e^{x} + 2 \frac{d h}{d x} e^{x} + h e^{x}) - 5 (\frac{d h}{d x} e^{x} + h e^{x}) + 4 h e^{x} = 8 e^{x}$

Cancelando la exponencial y reordenando los términos obtenemos la siguiente ecuación para $h (x)$ .

$\frac{d^{2} h}{d x^{2}} - 3 \frac{d h}{d x} = 8$

Como no aparece explícitamente la función $h (x)$ , pero sí su primer derivada, esto nos obliga a proponer como solución un polinomio de grado $1$ , ya que en el lado derecho de la ecuación tenemos un polinomio de grado cero (una constante). Propongamos

$h (x) = A x$

Derivando obtenemos

$\frac{d h}{d x} = A y \frac{d^{2} h}{d x^{2}} = 0$

Sustituyendo en la ecuación de $h$ , obtenemos

$- 3 A = 8$

De donde $A = - \frac{8}{3}$ . Por lo tanto, la solución particular de la ecuación diferencial dada es

$y_{p} (x) = - \frac{8}{3} x e^{x}$

Realicemos un ejemplo más.

Ejemplo: Hallar la solución particular $y_{p} (x)$ de la ecuación diferencial

$\frac{d^{2} y}{d x^{2}} + \frac{d y}{d x} - 6 y = - 5 e^{2 x}$

Solución: En este caso

$g (x) = - 5 e^{2 x}$

y podemos identificar que $a = 1, b = 1, c = - 6$ y $α = 2$ . Podemos directamente sustituir en la ecuación ( $11$ ), pero es conveniente no memorizarla sino realizar el procedimiento que nos permite llegar a ella.

Proponemos la solución

$y_{p} (x) = h (x) e^{2 x}$

La primera y segunda derivada están dadas como

$\frac{d y_{p}}{d x} = e^{2 x} \frac{d h}{d x} + 2 e^{2 x} h y \frac{d^{2} y}{d x^{2}} = e^{2 x} \frac{d^{2} h}{d x^{2}} + 4 e^{2 x} \frac{d h}{d x} + 4 e^{2 x} h$

Sustituimos en la ecuación diferencial.

$(e^{2 x} \frac{d^{2} h}{d x^{2}} + 4 e^{2 x} \frac{d h}{d x} + 4 e^{2 x} h) + (e^{2 x} \frac{d h}{d x} + 2 e^{2 x} h) - 6 e^{2 x} h = - 5 e^{2 x}$

Cancelando la exponencial de todos los términos y reordenando obtenemos la expresión correspondiente a ( $11$ ).

$\frac{d^{2} h}{d x^{2}} + 5 \frac{d h}{d x} = - 5$

Notamos que el lado derecho de la ecuación es una constante que, estrictamente hablando, corresponde a un polinomio de grado cero. Por otro lado, en la ecuación diferencial no aparece explícitamente la función $h$ , pero sí sus derivadas, en particular la primer derivada, esto nos indica que $h$ debe ser un polinomio de grado $1$ para que efectivamente la expresión $\frac{d^{2} h}{d x^{2}} + 5 \frac{d h}{d x}$ sea de grado cero. Tomando en cuenta esto podemos establecer que la forma de $h$ debe ser

$h (x) = A x$

Así, la solución particular será

$y_{p} (x) = A x e^{2 x}$

Si regresamos a la teoría desarrollada nos damos cuenta que la solución particular tiene justamente la forma de la ecuación ( $13$ ) para $n = 0$ , ya que estamos en el caso en el que $a α^{2} + b α + c = 0$ y $2 α a + b \neq 0$ .

Determinemos el valor del coeficiente $A$ considerando la función $h (x) = A x$ , calculando las derivadas se tiene que

$\frac{d h}{d x} = A y \frac{d^{2} h}{d x^{2}} = 0$

Sustituyendo en la ecuación diferencial de $h$ , tenemos

$0 + 5 A = - 5$

De donde $A = - 1$ , así

$h (x) = - x$

y por lo tanto, la solución particular de la ecuación diferencial es

$y_{p} (x) = - x e^{2 x}$

De tarea moral determina la solución complementaria del ejemplo para así obtener la solución general

$y (x) = y_{c} (x) + y_{p} (x)$

Finalmente veamos que ocurre si la función $g (x)$ es una función seno, coseno o el producto de un polinomio con alguna de estas funciones trigonométricas.

Caso en el que g(x) es producto de un polinomio y una función seno o coseno

Consideremos nuevamente el polinomio

$P (x) = a_{n} x^{n} + a_{n - 1} x^{n - 1} + \dots + a_{1} x + a_{0} = \sum_{k = 0}^{n} a_{k} x^{k}$

El tipo de ecuación que queremos resolver es de la forma

$Label '15' multiply defined$

O bien,

$Label '16' multiply defined$

Con $β$ una constante. Para resolver este tipo de ecuaciones es conveniente considerar la siguiente propiedad.

$Label '17' multiply defined$

Con $i^{2} = - 1$ . Y consideremos la ecuación diferencial

$Label '18' multiply defined$

Que podemos escribir como

$Label '19' multiply defined$

Supongamos que la función

$\begin{matrix} (20) & z (x) = u (x) + i v (x) \end{matrix}$

es solución de la ecuación diferencial ( $19$ ). Consideremos el operador polinomial

$\begin{matrix} (21) & L = a \frac{d^{2}}{d x^{2}} + b \frac{d}{d x} + c \end{matrix}$

de manera que podamos reescribir a la ecuación ( $19$ ) como

$\begin{matrix} (22) & L [z] = (\sum_{k = 0}^{n} a_{k} x^{k}) \cos (β x) + i (\sum_{k = 0}^{n} a_{k} x^{k}) \sin (β x) \end{matrix}$

Pero notemos que

$\begin{matrix} (23) & L [z] = L [u + i v] = L [u] + i L [v] \end{matrix}$

Comparando las ecuaciones ( $22$ ) y ( $23$ ) deducimos que

$\begin{matrix} (24) & L [u] = (\sum_{k = 0}^{n} a_{k} x^{k}) \cos (β x) \end{matrix}$

$\begin{matrix} (25) & L [v] = (\sum_{k = 0}^{n} a_{k} x^{k}) \sin (β x) \end{matrix}$

Es decir, la parte real $R e (z) = u (x)$ es solución de la ecuación

$\begin{matrix} (26) & a \frac{d u^{2}}{d x^{2}} + b \frac{d u}{d x} + c u = (\sum_{k = 0}^{n} a_{k} x^{k}) \cos (β x) \end{matrix}$

y la parte imaginaria $I m (z) = v (x)$ es solución de la ecuación

$\begin{matrix} (27) & a \frac{d v^{2}}{d x^{2}} + b \frac{d v}{d x} + c v = (\sum_{k = 0}^{n} a_{k} x^{k}) \sin (β x) \end{matrix}$

Realicemos un par de ejemplos en el que veamos cómo obtener las funciones $u (x)$ o $v (x)$ de la solución ( $20$ ).

Ejemplo: Determinar la solución particular $y_{p} (x)$ de la ecuación diferencial

$\frac{d^{2} y}{d x^{2}} - \frac{3}{2} \frac{d y}{d x} - y = 3 \cos (x)$

Solución: La ecuación que queremos resolver es de la forma ( $15$ ), pero es conveniente sustituir la función coseno por la función compleja $e^{i x}$ para resolver la ecuación en la forma ( $18$ ) con $β = 1$ . Haciendo la sustitución, la ecuación que intentaremos resolver será

$\frac{d^{2} y}{d x^{2}} - \frac{3}{2} \frac{d y}{d x} - y = 3 e^{i x}$

Ahora tenemos una ecuación en la que el lado derecho corresponde al producto de un polinomio de grado cero con una función exponencial, esto nos indica que podemos proponer una solución de la forma

$z (x) = h (x) e^{i x}$

Las derivadas son

$\frac{d z}{d x} = e^{i x} \frac{d h}{d x} + i e^{i x} h y \frac{d^{2} z}{d x^{2}} = e^{i x} \frac{d^{2} h}{d x^{2}} + 2 i e^{i x} \frac{d h}{d x} - e^{i x} h$

Sustituimos en la ecuación diferencial.

$(e^{i x} \frac{d^{2} h}{d x^{2}} + 2 i e^{i x} \frac{d h}{d x} - e^{i x} h) - \frac{3}{2} (e^{i x} \frac{d h}{d x} + i e^{i x} h) - (h e^{i x}) = 3 e^{i x}$

Cancelando las exponenciales de todos los términos y reordenando, obtenemos

$\frac{d^{2} h}{d x^{2}} + (2 i - \frac{3}{2}) \frac{d h}{d x} + (- 2 - \frac{3}{2} i) h = 3$

Es claro que la forma de la función $h$ debe ser la de un polinomio de grado cero, ya que es el tipo de función que tenemos en el lado derecho de la ecuación. Digamos que

$h (x) = A$

Ambas derivadas son cero, por lo que al sustituir en la ecuación diferencial para $h$ obtenemos que

$(- 2 - \frac{3}{2} i) A = 3$

Para despejar a la constante $A$ vamos a multiplicar ambos lados de la ecuación por el número complejo conjugado $(- 2 + \frac{3}{2} i)$ .

$\begin{aligned} (- 2 + \frac{3}{2} i) (- 2 - \frac{3}{2} i) A & = (- 2 + \frac{3}{2} i) 3 \\ \frac{25}{4} A & = - 6 + \frac{9}{2} i \\ A & = - \frac{24}{25} + \frac{18}{25} i \end{aligned}$

Como $h (x) = A$ , entonces

$h (x) = - \frac{24}{25} + \frac{18}{25} i$

Sustituyendo en la solución, tenemos

$\begin{aligned} z (x) & = (- \frac{24}{25} + \frac{18}{25} i) e^{i x} \\ = (- \frac{24}{25} + \frac{18}{25} i) (\cos (x) + i \sin (x)) \\ = (- \frac{24}{25} \cos (x) - \frac{18}{25} \sin (x)) + i (- \frac{24}{25} \sin (x) + \frac{18}{25} \cos (x)) \end{aligned}$

$z (x) = u (x) + i v (x)$

notamos que

$R e (z) = u (x) = - \frac{24}{25} \cos (x) - \frac{18}{25} \sin (x)$

$I m (z) = v (x) = - \frac{24}{25} \sin (x) + \frac{18}{25} \cos (x)$

Ya que en la ecuación original esta presente la función coseno, de acuerdo a $(26)$ , la solución de la ecuación será la función $u (x)$ , es decir, la parte real de la función $z (x)$ . Por lo tanto, la solución particular es

$y_{p} (x) = - \frac{24}{25} \cos (x) - \frac{18}{25} \sin (x)$

Realicemos un ejemplo más.

Ejemplo: Hallar la solución particular $y_{p} (x)$ de la ecuación diferencial

$\frac{d^{2} y}{d x^{2}} + 4 y = 12 \sin (2 x)$

Solución: La ecuación a resolver es de la forma ( $16$ ), pero es conveniente sustituir la función seno por la función compleja $e^{2 i x}$ para resolver la ecuación en la forma ( $18$ ) con $β = 2$ . Haciendo la sustitución, la ecuación que intentaremos resolver será

$\frac{d^{2} y}{d x^{2}} + 4 y = 12 e^{2 i x}$

Como tenemos una ecuación en la que el lado derecho corresponde al producto de un polinomio de grado cero con una función exponencial, entonces podemos suponer una solución de la forma

$z (x) = h (x) e^{2 i x}$

Las derivadas son

$\frac{d z}{d x} = e^{2 i x} \frac{d h}{d x} + 2 i e^{2 i x} h y \frac{d^{2} z}{d x^{2}} = e^{2 i x} \frac{d^{2} h}{d x^{2}} + 4 i e^{2 i x} \frac{d h}{d x} - 4 e^{2 i x} h$

Sustituimos en la ecuación diferencial.

$(e^{2 i x} \frac{d^{2} h}{d x^{2}} + 4 i e^{2 i x} \frac{d h}{d x} - 4 e^{2 i x} h) + 4 (h e^{2 i x}) = 12 e^{2 i x}$

Cancelando las exponenciales de todos los términos y reordenando, obtenemos

$\frac{d^{2} h}{d x^{2}} + 4 i \frac{d h}{d x} = 12$

Es claro que la forma de la función $h$ debe ser la de un polinomio de grado $1$ , pues dicha función no aparece explícitamente en el lado izquierdo de la ecuación, pero sí su primer derivada que es la que determina el grado más alto de la ecuación y queremos que sea de grado cero ya que es el grado de la función que tenemos en el lado derecho. Supongamos que

$h (x) = A x$

La primer derivada es

$\frac{d h}{d x} = A$

y la segunda derivada es cero, al sustituir en la ecuación diferencial para $h$ obtenemos que

$(4 i) A = 12$

De donde $A = - 3 i$ . Entonces

$h (x) = - 3 i x$

y por tanto

$z (x) = - 3 i x e^{2 i x}$

Vemos que

$\begin{aligned} z (x) & = (- 3 i x) (\cos (2 x) + i \sin (2 x)) \\ = (3 x \sin (2 x)) + i (- 3 x \cos (2 x)) \end{aligned}$

$z (x) = u (x) + i v (x)$

notamos que

$R e (z) = u (x) = 3 x \sin (2 x)$

$I m (z) = v (x) = - 3 x \cos (2 x)$

Debido a que en la ecuación original esta presente la función seno, de acuerdo a $(27)$ , la solución de la ecuación será la función $v (x)$ , es decir, la parte imaginaria de la función $z (x)$ . Por lo tanto, la solución particular es

$y_{p} (x) = - 3 x \cos (2 x)$

Como pudimos notar, éste método de resolución requiere, en buena medida, de nuestra intuición para proponer la forma correcta de la solución.

A lo largo de esta entrada hemos desarrollado la teoría que nos permite proponer una solución adecuada, sin embargo existen distintas variantes de opciones para la función $g (x)$ y por tanto para la solución particular $y_{p} (x)$ . A continuación mostraremos los resultados generales que nos permiten proponer una solución particular dada una función $g (x)$ .

Resultados generales

Como mencionamos al inicio de esta entrada, en la ecuación ( $2$ ) la función $g (x)$ puede ser un polinomio, una exponencial, una función seno o coseno o el producto entre estas funciones. De manera general diremos que la función $g (x)$ puede tener la siguiente forma.

$\begin{matrix} (28) & g (x) = e^{α x} [P_{n} (x) \cos (β x) + Q_{m} (x) \sin (β x)] \end{matrix}$

Donde $λ = α \pm i β$ es raíz de la ecuación auxiliar y $P_{n} (x)$ y $Q_{m} (x)$ son los polinomios en $x$ de grado $n$ y $m$ respectivamente.

$P_{n} (x) = \sum_{k = 0}^{n} a_{k} x^{k} y Q_{m} (x) = \sum_{k = 0}^{m} b_{k} x^{k}$

Lo que buscamos es una solución particular de la forma

$\begin{matrix} (29) & y_{p} (x) = x^{s} e^{α x} [p_{r} (x) \cos (β x) + q_{r} (x) \sin (β x)] \end{matrix}$

Donde $r = max (n, m)$ , $p_{r} (x)$ y $q_{r} (x)$ son polinomios en $x$ de grado $r$ , cuyos coeficientes están indeterminados, dados como

$p_{r} (x) = \sum_{k = 0}^{r} A_{k} x^{k} y q_{r} (x) = \sum_{k = 0}^{r} B_{k} x^{k}$

y $s$ es la multiplicidad de la raíz $λ = α \pm i β$ de la ecuación auxiliar. La forma de $y_{p} (x)$ se puede resumir de la siguiente manera:

$g (x) = P_{n} (x)$ :

Si las raíces de la ecuación auxiliar son distintas de cero, $λ_{i} \neq 0, i = 1, 2, \dots, s$ , entonces la forma de la solución particular es

$\begin{matrix} (30) & y_{p} (x) = p_{n} (x) = \sum_{k = 0}^{n} A_{k} x^{k} \end{matrix}$

Si alguna raíz es igual a cero, $λ_{i} = 0$ , entonces la forma de la solución particular es

$\begin{matrix} (31) & y_{p} (x) = x^{s} p_{n} (x) = x^{s} (\sum_{k = 0}^{n} A_{k} x^{k}) \end{matrix}$

$g (x) = P_{n} (x) e^{α x}$ :

Si $α$ no es raíz, entonces la forma de la solución particular es

$\begin{matrix} (32) & y_{p} (x) = p_{n} (x) e^{α x} = (\sum_{k = 0}^{n} A_{k} x^{k}) e^{α x} \end{matrix}$

Si $α$ es raíz repetida $s$ veces (de orden $s$ ), entonces la forma de la solución particular es

$\begin{matrix} (33) & y_{p} (x) = x^{s} p_{n} (x) e^{α x} = x^{s} (\sum_{k = 0}^{n} A_{k} x^{k}) e^{α x} \end{matrix}$

$g (x) = P_{n} (x) \cos (β x) + Q_{m} (x) \sin (β x)$ :

Si $\pm i β$ no son raíces y $r = max (n, m)$ , entonces la forma de la solución particular es

$\begin{matrix} (34) & y_{p} (x) = p_{r} (x) \cos (β x) + q_{r} (x) \sin (β x) \end{matrix}$

Si $\pm i β$ son raíces de orden $s$ y $r = max (n, m)$ , entonces la forma de la solución particular es

$\begin{matrix} (35) & y_{p} (x) = x^{s} [p_{r} (x) \cos (β x) + q_{r} (x) \sin (β x)] \end{matrix}$

$g (x) = e^{α x} [P_{n} (x) \cos (β x) + Q_{m} (x) \sin (β x)]$ :

Si $α \pm i β$ no son raíces, entonces la forma de la solución particular es

$\begin{matrix} (36) & y_{p} (x) = e^{α x} [p_{r} (x) \cos (β x) + q_{r} (x) \sin (β x)] \end{matrix}$

Si $α \pm i β$ son raíces de orden $s$ , entonces la forma de la solución particular es

$\begin{matrix} (37) & y_{p} (x) = x^{s} e^{α x} [p_{r} (x) \cos (β x) + q_{r} (x) \sin (β x)] \end{matrix}$

Este método es conocido como método de superposición y la razón es porque los resultados anteriores se aplican a cada sumando de la función $g (x)$ . Veamos un ejemplo.

Ejemplo: Determinar la forma de la solución particular de la ecuación diferencial

$\frac{d^{2} y}{d x^{2}} - 9 \frac{d y}{d x} + 14 y = 3 x^{2} - 5 \sin (2 x) + 7 x e^{6 x}$

Solución: La función $g$ es

$g (x) = 3 x^{2} - 5 \sin (2 x) + 7 x e^{6 x}$

Al primer sumando

$g_{1} (x) = 3 x^{2}$

le corresponde una solución de la forma

$y_{p 1} (x) = A_{2} x^{2} + A_{1} x + A_{0}$

Al segundo sumando

$g_{2} (x) = - 5 \sin (2 x)$

le corresponde una solución de la forma

$y_{p 2} (x) = B_{1} \cos (2 x) + B_{0} \sin (2 x)$

Y al tercer sumando

$g_{3} (x) = 7 x e^{6 x}$

le corresponde una solución de la forma

$y_{p 3} (x) = (C_{1} x + C_{0}) e^{6 x}$

La solución particular estará dada por la superposición de las tres soluciones correspondientes a los tres sumandos de la función $g (x)$ .

$\begin{aligned} y_{p} (x) & = y_{p_{1}} (x) + y_{p_{2}} (x) + y_{p_{3}} (x) \\ = A_{2} x^{2} + A_{1} x + A_{0} + B_{1} \cos (2 x) + B_{0} \sin (2 x) + (C_{1} x + C_{0}) e^{6 x} \end{aligned}$

En esta suposición ningún término duplica un término de la función complementaria

$y_{c} (x) = c_{1} e^{2 x} + c_{2} e^{7 x}$

De tarea moral determina el valor de los coeficientes para formar la solución general de la ecuación diferencial dada.

Concluyamos la entrada con algunos ejemplos más.

Ejemplo: Determinar la solución general de la ecuación diferencial

$\frac{d^{2} y}{d x^{2}} + 6 \frac{d y}{d x} - 7 y = 3 e^{2 x} - e^{- x}$

Solución: En esta ocasión buscamos la solución general, así que debemos encontrar la solución complementaria $y_{c} (x)$ que satisface la ecuación diferencial homogénea asociada.

$\frac{d^{2} y}{d x^{2}} + 6 \frac{d y}{d x} - 7 y = 0$

La ecuación auxiliar es

$k^{2} + 6 k - 7 = 0$

De donde $k_{1} = 1$ y $k_{2} = - 7$ . En este caso la multiplicidad es de $s = 1$ , es decir no hay raíces repetidas. La solución complementaria es

$y_{c} (x) = c_{1} e^{x} + c_{2} e^{- 7 x}$

La solución particular tiene la forma

$y_{p} (x) = A_{0} e^{2 x} + B_{0} e^{- x}$

Derivando obtenemos,

$\frac{d y_{p}}{d x} = 2 A_{0} e^{2 x} - B_{0} e^{- x} y \frac{d^{2} y_{p}}{d x^{2}} = 4 A_{0} e^{2 x} + B_{0} e^{- x}$

Sustituimos en la ecuación no homogénea.

$(4 A_{0} e^{2 x} + B_{0} e^{- x}) + 6 (2 A_{0} e^{2 x} - B_{0} e^{- x}) - 7 (A_{0} e^{2 x} + B_{0} e^{- x}) = 3 e^{2 x} - e^{- x}$

Reordenando obtenemos,

$9 A_{0} e^{2 x} - 12 B_{0} e^{- x} = 3 e^{2 x} - e^{- x}$

De donde

$\begin{aligned} 9 A_{0} & = 3 \\ - 12 B_{0} & = - 1 \end{aligned}$

Resolviendo obtenemos que

$A_{0} = \frac{1}{3} y B_{0} = \frac{1}{12}$

Por lo tanto, la solución particular es

$y_{p} (x) = \frac{1}{3} e^{2 x} + \frac{1}{12} e^{- x}$

Así, la solución general de la ecuación diferencial corresponde a la superposición de ambas soluciones.

$y (x) = c_{1} e^{x} + c_{2} e^{- 7 x} + \frac{1}{3} e^{2 x} + \frac{1}{12} e^{- x}$

Ejemplo: Determinar la solución general de la ecuación diferencial

$\frac{d^{2} y}{d x^{2}} - 2 \frac{d y}{d x} = 2 e^{2 x} + 4 \cos (2 x)$

Solución: Primero resolvemos la ecuación homogénea asociada

$\frac{d^{2} y}{d x^{2}} - 2 \frac{d y}{d x} = 0$

para obtener la solución complementaria. La ecuación auxiliar es

$k^{2} - 2 k = 0$

De donde $k_{1} = 0$ y $k_{2} = 2$ . La solución complementaria es

$y_{c} (x) = c_{1} + c_{2} e^{2 x}$

Para el caso no homogéneo notamos que $α = 2$ es raíz de la ecuación auxiliar, por lo que la solución correspondiente al término $2 e^{2 x}$ esta dada por ( $31$ ) con multiplicidad $s = 1$ , entonces la forma de la solución particular es

$y_{p} (x) = A_{0} x e^{2 x} + B_{1} \cos (2 x) + B_{0} \sin (2 x)$

Derivando obtenemos,

$\frac{d y_{p}}{d x} = A_{0} e^{2 x} + 2 A_{0} x e^{2 x} - 2 B_{1} \sin (2 x) + 2 B_{0} \cos (2 x)$

$\frac{d^{2} y_{p}}{d x^{2}} = 2 A_{0} e^{2 x} + 2 A_{0} e^{2 x} + 4 A_{0} x e^{2 x} - 4 B_{1} \cos (2 x) - 4 B_{0} \sin (2 x)$

Sustituyendo en la ecuación diferencial y reordenando los términos se obtiene la relación

$2 A_{0} e^{2 x} + (- 4 B_{1} - 4 B_{0}) \cos (2 x) + (- 4 B_{0} + 4 B_{1}) \sin (2 x) = 2 e^{2 x} + 4 \cos (2 x)$

De donde

$\begin{aligned} 2 A_{0} & = 2 \\ - 4 B_{1} - 4 B_{0} & = 4 \\ - 4 B_{0} + 4 B_{1} & = 0 \end{aligned}$

Resolviendo obtenemos que

$A_{0} = 1, B_{1} = - \frac{1}{2} y B_{0} = - \frac{1}{2}$

Por lo tanto, la solución particular es

$y_{p} (x) = x e^{2 x} - \frac{1}{2} \cos (2 x) - \frac{1}{2} \sin (2 x)$

Así, la solución general es la superposición de ambas soluciones.

$y (x) = c_{1} + c_{2} e^{2 x} + x e^{2 x} - \frac{1}{2} \cos (2 x) - \frac{1}{2} \sin (2 x)$

Ejemplo: Determinar la solución particular de la ecuación diferencial

$\frac{d^{2} y}{d x^{2}} - 4 y = - 12 e^{- 2 x} + 15 \cos (x) + 8 x$

Solución: Para el caso homogéneo tenemos que la ecuación auxiliar es

$k^{2} - 4 = 0$

Esto es,

$k^{2} = 2$

es decir, $k_{1} = 2$ y $k_{2} = - 2$ . Por tanto, la solución complementaria es

$y_{c} (x) = c_{1} e^{2 x} + c_{2} e^{- 2 x}$

Notamos que $α = - 2$ es raíz de la ecuación auxiliar, así que la solución particular debe ser de la forma

$y_{p} (x) = A_{0} x e^{- 2 x} + B_{1} \cos (x) + B_{0} \sin (x) + C_{1} x + C_{0}$

Derivando obtenemos

$\frac{d y_{p}}{d x} = A_{0} e^{- 2 x} - 2 A_{0} x e^{- 2 x} - B_{1} \sin (x) + B_{0} \cos (x) + C_{1}$

$\frac{d^{2} y_{p}}{d x^{2}} = - 4 A_{0} e^{- 2 x} + 4 A_{0} x e^{- 2 x} - B_{1} \cos (x) - B_{0} \sin (x)$

Sustituyendo en la ecuación diferencial y reordenando los términos, obtenemos

$- 4 A_{0} e^{- 2 x} - 5 B_{1} \cos (x) - 5 B_{0} \sin (x) - 4 C_{1} x - 4 C_{0} = - 12 e^{- 2 x} + 15 \cos (x) + 8 x$

De donde

$\begin{aligned} - 4 A_{0} & = - 12 \\ - 5 B_{1} & = 15 \\ - 5 B_{0} & = 0 \\ - 4 C_{1} & = 8 \\ - 4 C_{0} & = 0 \end{aligned}$

Resolviendo se obtiene que

$A_{0} = 3, B_{1} = - 3, B_{0} = 0, C_{1} = - 2 y C_{0} = 0$

Por lo tanto, la solución particular es

$y_{p} (x) = 3 x e^{- 2 x} - 3 \cos (x) - 2 x$

Y la solución general

$y_{p} (x) = c_{1} e^{2 x} + c_{2} e^{- 2 x} + 3 x e^{- 2 x} - 3 \cos (x) - 2 x$

Hasta aquí concluimos con esta entrada.

Tarea moral

Los siguientes ejercicios no forman parte de la evaluación del curso, pero servirán para entender mucho mejor los conceptos vistos en esta entrada, así como temas posteriores.

Hallar la solución general de las siguientes ecuaciones diferenciales.

$\frac{d^{2} y}{d x^{2}} - \frac{d y}{d x} - 2 y = 3 e^{2 x} - x^{2}$

$\frac{d^{2} y}{d x^{2}} - 2 \frac{d y}{d x} + y = 4 \cos (3 x) - 2 \sin (2 x)$

$\frac{d^{2} y}{d x^{2}} + \frac{3}{5} \frac{d y}{d x} - \frac{1}{5} y = \cos (x) + 5 x^{2}$

$\frac{d^{2} y}{d x^{2}} - 3 \frac{d y}{d x} - 9 y = 4 \cos (2 x) - 5 e^{- x}$

$\frac{d^{2} y}{d x^{2}} - 3 \frac{d y}{d x} - 10 y = 50 \cos (5 x) - 7 e^{- 2 x} + 12 e^{x} + 20 x$

Resolver el siguiente problema con valor inicial.

$\frac{d^{2} x}{d t^{2}} + ω^{2} x = F_{0} \sin (ω t); x (0) = 0; x^{'} (0) = 0$ .

Considerar la ecuación diferencial $a \frac{d^{2} y}{d x^{2}} + b \frac{d y}{d x} + c y = e^{α x}$ con $a$ , $b$ , $c$ y $α$ constantes. La ecuación auxiliar de la ecuación homogénea asociada es $a k^{2} + b k + c = 0$

Si $α$ no es una raíz de la ecuación auxiliar, demostrar que se puede encontrar una solución particular de la forma $y_{p} (x) = A e^{α x}$ , donde $A = \frac{1}{a α^{2} + b α + c}$

Si $α$ es una raíz de la ecuación auxiliar de multiplicidad uno, mostrar que se puede encontrar una solución particular de la forma $y_{p} (x) = A x e^{α x}$ , donde $A = \frac{1}{2 a α + b}$ Explica cómo se sabe que $α \neq - \frac{b}{2 a}$ .

Si $α$ es una raíz de la ecuación auxiliar de multiplicidad dos, demostrar que se puede encontrar una solución particular de la forma $y_{p} (x) = A x^{2} e^{α x}$ , donde $A = \frac{1}{2 a}$

Más adelante…

El método desarrollado en esta entrada es bastante práctico para resolver ecuaciones diferenciales de segundo orden no homogéneas con coeficientes constantes, sin embargo es un método limitado sólo a cierto tipo de funciones $g (x)$ .

En la siguiente entrada desarrollaremos un método general que nos permite resolver éste mismo tipo de ecuaciones para cualquier función $g (x)$ . Dicho método se conoce como método de variación de parámetros y corresponde a una extensión a orden superior del método desarrollado en la unidad anterior.

Entradas relacionadas

Página principal del curso: Ecuaciones Diferenciales I
Entrada anterior del curso: Ecuaciones diferenciales homogéneas con coeficientes constantes
Siguiente entrada del curso: Ecuaciones lineales no homogéneas de segundo orden – Método de variación de parámetros

Video relacionado al tema: Ecuaciones lineales no homogéneas: solución por coeficientes indeterminados

Agradecimientos

Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE104522 «Hacia una modalidad a distancia de la Licenciatura en Matemáticas de la FC-UNAM – Etapa 2»

Ecuaciones Diferenciales I: Ecuaciones diferenciales homogéneas con coeficientes constantes

Por Omar González Franco

Deja un comentario

La esencia de las matemáticas no es hacer las cosas simples complicadas,
sino hacer las cosas complicadas simples.
– S. Gudder

Introducción

Continuando con nuestro desarrollo de métodos de resolución de ecuaciones diferenciales de orden superior, en particular de segundo orden, en esta entrada estudiaremos un método aplicado sólo a ecuaciones diferenciales lineales homogéneas de segundo orden con coeficientes constantes, es decir, de la forma

$a \frac{d^{2} y}{d x^{2}} + b \frac{d y}{d x} + c y = 0$

Con $a, b$ y $c$ contantes.

Antes de comenzar motivemos el análisis que desarrollaremos a lo largo de la entrada considerando primero las ecuaciones diferenciales de primer orden.

Ecuaciones diferenciales lineales homogéneas de primer orden con coeficientes constantes

En la primera unidad estudiamos las ecuaciones diferenciales lineales homogéneas de la forma

$Label '1' multiply defined$

Si $a_{1} (x) \neq 0$ podemos definir

$P (x) = \frac{a_{0} (x)}{a_{1} (x)}$

y reescribir la ecuación anterior en su forma canónica como

$Label '2' multiply defined$

Cuando estudiamos su méto do de resolución concluimos que la solución general de la ecuación ( $2$ ) es

$Label '3' multiply defined$

Consideremos ahora el caso en el que $a_{1} (x) = a \neq 0$ y $a_{0} (x) = b$ son números constantes, con esto la ecuación ( $1$ ) se puede escribir como

$Label '4' multiply defined$

Si definimos la constante $c = \frac{b}{a}$ podremos escribir la ecuación anterior en su forma canónica como

$Label '5' multiply defined$

En la unidad anterior vimos que esta ecuación se puede resolver ya sea por variables separables o con ayuda de un factor integrante, sin embargo hay un método de resolución que sólo implica hacer un poco de álgebra.

Definiendo $k = - c$ la ecuación ( $5$ ) la podemos escribir de la siguiente manera.

$Label '6' multiply defined$

La solución se puede intuir rápidamente, buscamos una función $y$ , tal que su derivada sea igual a ella misma multiplicada por una constante, la función que satisface esto es

$Label '7' multiply defined$

Observamos que al derivarla recuperamos la ecuación ( $6$ ).

$\frac{d y}{d x} = k e^{k x} = k y$

Ahora que conocemos la solución, sustituyamos la función ( $7$ ) y su derivada en la ecuación ( $4$ ).

$a k e^{k x} + b e^{k x} = 0$

Factoricemos la función exponencial.

$e^{k x} (a k + b) = 0$

Como $e^{k x} \neq 0$ , $\forall x \in R$ , entonces necesariamente

$Label '8' multiply defined$

De donde

$k = - \frac{b}{a}$

Sustituyendo en la solución ( $7$ ), se tiene

$y (x) = e^{- b x / a}$

Por lo tanto, la solución general de la ecuación diferencial lineal homogénea de primer orden con coeficientes constantes ( $4$ ) es

$Label '9' multiply defined$

Ejemplo: Determinar la solución general de la ecuación diferencial

$8 \frac{d y}{d x} + 16 y = 0$

Solución: Al ser una ecuación con coeficientes constantes, sabemos que la solución es de la forma ( $7$ ). Sustituimos $y$ y su derivada $\frac{d y}{d x}$ en la ecuación diferencial.

$\begin{aligned} 8 k e^{k x} + 16 e^{k x} & = 0 \\ e^{k x} (8 k + 16) & = 0 \\ 8 k + 16 & = 0 \end{aligned}$

De la última relación despejamos a $k$ , obteniendo

$k = - \frac{16}{8} = - 2$

Una solución de la ecuación diferencial es

$y (x) = e^{- 2 x}$

Y por tanto su solución general en el intervalo $δ = (- \infty, \infty)$ es

$y (x) = c_{1} e^{- 2 x}$

Lo interesante es que esta idea de soluciones exponenciales se puede extender a ecuaciones diferenciales homogéneas de orden superior

$Label '10' multiply defined$

donde los coeficientes $a_{i}$ , $i = 0, 1, 2, \dots, n$ , son constantes reales y $a_{n} \neq 0$ .

Este análisis nos sirvió para motivar el siguiente método de resolución de ecuaciones diferenciales de segundo orden.

Ecuaciones diferenciales lineales homogéneas de segundo orden con coeficientes constantes

La ecuación diferencial que queremos resolver es de la forma

$Label '11' multiply defined$

Con $a, b$ y $c$ constantes. Igual que antes, lo que intentamos es encontrar una solución de la forma

$y (x) = e^{k x}$

La primera y segunda derivada están dadas de la siguiente forma, respectivamente.

$\frac{d y}{d x} = k e^{k x} y \frac{d^{2} y}{d x^{2}} = k^{2} e^{k x}$

Sustituimos en la ecuación ( $11$ ).

$\begin{aligned} a (k^{2} e^{k x}) + b (k e^{k x}) + c (e^{k x}) & = 0 \\ e^{k x} (a k^{2} + b k + c) & = 0 \end{aligned}$

Como $e^{k x} \neq 0, \forall x \in R$ , entonces necesariamente

$Label '12' multiply defined$

El problema se ha reducido a obtener las raíces de esta ecuación, dicha ecuación tiene un nombre particular.

Definición: La ecuación

a k^{2} + b k + c = 0

se conoce como ecuación auxiliar de la ecuación diferencial (

11

La dos raíces de la ecuación auxiliar son

$Label '13' multiply defined$

Definición: A la cantidad

Label '14' multiply defined

de las raíces (

13

) de la ecuación auxiliar se le denomina discriminante.

El discriminante puede ser positivo, cero o negativo, en cada caso ocurre lo siguiente.

Si $Δ > 0$ , entonces $k_{1}$ y $k_{2}$ son reales y distintos.
Si $Δ = 0$ , entonces $k_{1}$ y $k_{2}$ son reales e iguales, y
Si $Δ < 0$ , entonces $k_{1}$ y $k_{2}$ son números conjugados complejos.

Estudiemos cada caso y veamos el tipo de solución que se obtiene en cada uno.

Caso 1: Discriminante positivo

La solución de la ecuación ( $11$ ) es de la forma

$y = e^{k x}$

Si el discriminante es positivo, entonces al resolver la ecuación auxiliar obtendremos dos raíces reales y distintas $k_{1}$ y $k_{2}$ , de manera que se tendrán dos soluciones de la ecuación diferencial ( $11$ ), dichas soluciones son

$y_{1} (x) = e^{k_{1} x} y y_{2} (x) = e^{k_{2} x}$

Notemos lo siguiente.

$\begin{aligned} W (y_{1}, y_{2}) & = | \begin{array}{c} e^{k_{1} x} & e^{k_{2} x} \\ k_{1} e^{k_{1} x} & k_{2} e^{k_{2} x} \end{array} | \\ = k_{2} e^{k_{2} x} e^{k_{1} x} - k_{1} e^{k_{1} x} e^{k_{2} x} \\ = (k_{2} - k_{1}) e^{(k_{1} + k_{2}) x} \neq 0 \end{aligned}$

Como el Wronskiano es distinto de cero $\forall x \in R$ , entonces ambas funciones son linealmente independientes en $R$ , por tanto forman un conjunto fundamental de soluciones y la solución general de la ecuación diferencial ( $11$ ), en el caso en el que el discriminante es positivo, es

$Label '15' multiply defined$

Con

$k_{1} = \frac{- b + \sqrt{b^{2} - 4 a c}}{2 a} y k_{2} = \frac{- b - \sqrt{b^{2} - 4 a c}}{2 a}$

Caso 2: Discriminante igual a cero

En este caso como

$Δ = b^{2} - 4 a c = 0$

entonces,

$k_{1} = k_{2} = - \frac{b}{2 a}$

De esta manera sólo obtendremos una solución exponencial.

$Label '16' multiply defined$

Para obtener la segunda solución vamos a aplicar el método de reducción de orden visto en la entrada anterior, en donde obtuvimos que una segunda solución linealmente independiente es de la forma

$Label '17' multiply defined$

En este caso de coeficientes constantes si la ecuación ( $11$ ) la dividimos por la constante $a \neq 0$ obtenemos

$\frac{d^{2} y}{d x^{2}} + \frac{b}{a} \frac{d y}{d x} + \frac{c}{a} y = 0$

Si definimos las constantes

$P = \frac{b}{a} y Q = \frac{c}{a}$

la ecuación anterior se puede reescribir como

$Label '18' multiply defined$

Sustituyamos $P (x) = P$ y $y_{1} (x)$ en la segunda solución ( $17$ ).

$\begin{aligned} y_{2} (x) & = e^{- b x / 2 a} \int \frac{e^{- \int \frac{b}{a} d x}}{{(e^{- b x / 2 a})}^{2}} d x \\ = e^{- b x / 2 a} \int \frac{e^{- b x / a}}{e^{- b x / a}} d x \\ = e^{- b x / 2 a} \int d x \\ = x e^{- b x / 2 a} \end{aligned}$

Con esto, la segunda solución de la ecuación diferencial ( $11$ ), para este segundo caso es

$Label '19' multiply defined$

Usando ( $16$ ) y ( $19$ ), notamos que

$\begin{aligned} W (y_{1}, y_{2}) & = | \begin{array}{c} e^{k_{1} x} & x e^{k_{1} x} \\ k_{1} e^{k_{1} x} & e^{k_{1} x} + x k_{1} e^{k_{1} x} \end{array} | \\ = e^{k_{1} x} (e^{k_{1} x} + x k_{1} e^{k_{1} x}) - x e^{k_{1} x} (k_{1} e^{k_{1} x}) \\ = e^{2 k_{1} x} + x k_{1} e^{2 k_{1} x} - x k_{1} e^{2 k_{1} x} \\ = e^{2 k_{1} x} \neq 0 \end{aligned}$

$Label '20' multiply defined$

Con $k_{1} = - \frac{b}{2 a}$ .

Revisemos el último caso.

Caso 3: Discriminante negativo

Sabemos que

$k_{1} = \frac{- b + \sqrt{b^{2} - 4 a c}}{2 a} y k_{2} = \frac{- b - \sqrt{b^{2} - 4 a c}}{2 a}$

Si el discriminante es menor a cero definimos

$Label '21' multiply defined$

Con $w \in R^{+}$ , tal que

$Label '22' multiply defined$

$Label '23' multiply defined$

Donde $i^{2} = - 1$ , definimos

$Label '24' multiply defined$

De esta forma las raíces de la ecuación auxiliar son los números complejos conjugados

$Label '25' multiply defined$

Donde $α$ y $β$ son números reales positivos. Dado que ambas raíces son distintas, similar al caso 1, tendremos dos soluciones dadas por

$Label '26' multiply defined$

De tarea moral demuestra que

$Label '27' multiply defined$

y por tanto ${y_{1}, y_{2}}$ forma un conjunto fundamental de soluciones, es así que la solución general está dada por la combinación lineal

$Label '28' multiply defined$

A pesar de que la función anterior es la solución de la ecuación diferencial ( $11$ ), es común trabajar con una solución que contenga funciones reales en lugar de exponenciales complejas. Con el propósito de hallar una expresión real para la solución $y (x)$ , vamos a considerar la formula de Euler

$Label '29' multiply defined$

con $θ \in R$ . De esta formula y considerando las propiedades

$Label '30' multiply defined$

es que podemos escribir las siguientes expresiones.

$Label '31' multiply defined$

De las ecuaciones anteriores observamos que se cumplen las siguientes relaciones.

$Label '32' multiply defined$

Estas ecuaciones nos servirán mas adelante ya que, dada la solución ( $28$ ), si ocurre que $c_{1} = c_{2} = 1$ , entonces se obtiene la solución

$\begin{aligned} y_{1} (x) & = e^{(a + i β) x} + e^{(a - i β) x} \\ = e^{a x} (e^{i β x} + e^{- i β x}) \\ = 2 e^{a x} \cos (β x) \end{aligned}$

Y si ocurre que $c_{1} = 1$ y $c_{2} = - 1$ , entonces se obtiene la solución

$\begin{aligned} y_{2} (x) & = e^{(a + i β) x} - e^{(a - i β) x} \\ = e^{a x} (e^{i β x} - e^{- i β x}) \\ = 2 i e^{a x} \sin (β x) \end{aligned}$

Con estos resultados vemos que las funciones

$Label '33' multiply defined$

son ahora funciones reales y además de ello son soluciones de la ecuación diferencial ( $11$ ).

En la primer entrada de esta segunda unidad demostramos que un múltiplo constante

$y (x) = c y_{1} (x)$

de una solución $y_{1}$ de una ecuación diferencial lineal homogénea es también una solución, usando este resultado es que podemos asegurar que las funciones $C_{1} g (x)$ y $C_{2} h (x)$ son también solución. De tarea moral muestra que

$Label '34' multiply defined$

Es decir, el Wronskiano de las soluciones es distinto de cero. De esta manera podemos afirmar que ambas funciones forman un conjunto fundamental de soluciones en cierto intervalo $δ$ y, por lo tanto, podemos concluir que la solución general real de la ecuación diferencial ( $11$ ) en el caso en el que el discriminante es negativo es

$Label '35' multiply defined$

Ejemplos

Realicemos una serie de ejemplos en los que tengamos que identificar a que caso pertenecen las ecuaciones diferenciales y así poder obtener su solución.

Ejemplo: Resolver el siguiente problema con valores iniciales.

$\frac{d^{2} y}{d x^{2}} - 4 \frac{d y}{d x} - 5 y = 0; y (1) = 0, y^{'} (1) = 2$

Solución: Consideremos la solución $y = e^{k x}$ y sus primeras dos derivadas

$\frac{d y}{d x} = k e^{k x} y \frac{d^{2} y}{d x^{2}} = k^{2} e^{k x}$

Sustituimos en la ecuación diferencial.

$k^{2} e^{k x} - 4 k e^{k x} - 5 e^{k x} = e^{k x} (k^{2} - 4 k - 5) = 0$

Como $e^{k x} \neq 0, \forall x \in R$ , entonces la ecuación auxiliar es

$k^{2} - 4 k - 5 = 0$

Resolviendo para $k$ , se tiene

$k = \frac{4 \pm \sqrt{16 + 20}}{2} = \frac{4 \pm 6}{2}$

De donde $k_{1} = 5$ y $k_{2} = - 1$ . Como ambas raíces son reales y distintas (y $Δ = 36 > 0$ ), entonces la ecuación pertenece al caso 1 por lo que podemos afirmar que la solución es de la forma ( $15$ ).

$y (x) = c_{1} e^{5 x} + c_{2} e^{- x}$

La derivada es

$\frac{d y}{d x} = 5 c_{1} e^{5 x} - c_{2} e^{- x}$

Apliquemos las condiciones iniciales.

$y (1) = c_{1} e^{5} + c_{2} e^{- 1} = 0 y y^{'} (1) = 5 c_{1} e^{5} - c_{2} e^{- 1} = 2$

Resolviendo el sistema de ecuaciones obtendremos que

$c_{1} = \frac{e^{- 5}}{3} y c_{2} = - \frac{e^{1}}{3}$

Por lo tanto, la solución particular del PVI es

$y (x) = \frac{1}{3} e^{5 (x - 1)} - \frac{1}{3} e^{1 - x}$

Ejemplo: Resolver el siguiente problema con valores en la frontera.

$\frac{d^{2} y}{d x^{2}} - 10 \frac{d y}{d x} + 25 y = 0; y (0) = 1, y (1) = 0$

Solución: Consideramos nuevamente la solución $y = e^{k x}$ y sus derivadas

$\frac{d y}{d x} = k e^{k x} y \frac{d^{2} y}{d x^{2}} = k^{2} e^{k x}$

Sustituimos en la ecuación diferencial.

$k^{2} e^{k x} - 10 k e^{k x} + 25 e^{k x} = e^{k x} (k^{2} - 10 k + 25) = 0$

Como $e^{k x} \neq 0, \forall x \in R$ , entonces la ecuación auxiliar es

$k^{2} - 10 k + 25 = 0$

Resolviendo para $k$ , se tiene

$k = \frac{10 \pm \sqrt{100 - 100}}{2} = \frac{10}{2} = 5$

Notamos que $k_{1} = k_{2} = 5$ , es decir, son raíces reales e iguales ( $Δ = 0$ ), por lo que estamos situados en el segundo caso y la solución está dada por la ecuación ( $20$ ).

$y (x) = c_{1} e^{5 x} + c_{2} x e^{5 x}$

Apliquemos las condiciones en la frontera.

$y (0) = c_{1} = 1 y y (1) = c_{1} e^{5} + c_{2} e^{5} = 0$

Obtenemos que $c_{1} = 1$ y $c_{2} = - 1$ . Por lo tanto, la solución particular del PVF es

$y (x) = e^{5 x} - x e^{5 x}$

Y además es única al no depender de ningún parámetro libre.

Ejemplo: Obtener la solución general de la ecuación diferencial

$\frac{d^{2} y}{d x^{2}} + 2 \frac{d y}{d x} + 3 y = 0$

Solución: Considerando la solución $y = e^{k x}$ , calculando su primera y segunda derivada y sustituyendo en la ecuación diferencial obtendremos que la ecuación auxiliar es

$k^{2} + 2 k + 3 = 0$

Resolviendo para $k$ , tenemos

$k = \frac{- 2 \pm \sqrt{4 - 12}}{2} = \frac{- 2 \pm \sqrt{- 8}}{2} = \frac{- 2 \pm 2 i \sqrt{2}}{2} = - 1 \pm i \sqrt{2}$

Las raíces son

$k_{1} = - 1 + i \sqrt{2} y k_{2} = - 1 - i \sqrt{2}$

Así mismo, identificamos que $α = - 1$ y $β = \sqrt{2}$ . Al tratarse de raíces complejas notamos que corresponde al caso 3 y su solución compleja esta dada, de acuerdo a la ecuación ( $28$ ), como

$y (x) = c_{1} e^{(- 1 + i \sqrt{2}) x} + c_{2} e^{(- 1 - i \sqrt{2}) x}$

Sin embargo, una solución real es mucho más práctica de forma que si consideramos la ecuación ( $35$ ) concluimos que la solución general real de la ecuación diferencial es

$y (x) = e^{- x} (C_{1} \cos (\sqrt{2} x) + C_{2} \sin (\sqrt{2} x))$

Ejemplo: Obtener la solución general de la ecuación diferencial

$2 \frac{d^{2} y}{d x^{2}} + 2 \frac{d y}{d x} + y = 0$

Solución: Considerando la solución $y = e^{k x}$ , calculando su primera y segunda derivada y sustituyendo en la ecuación es como obtendremos que la ecuación auxiliar es

$2 k^{2} + 2 k + 1 = 0$

Resolvamos para $k$ .

$k = \frac{- 2 \pm \sqrt{4 - 4}}{4} = - \frac{2}{4}$

En este caso

$k_{1} = k_{2} = - \frac{1}{2}$

es decir, las raíces son reales e iguales, de manera que estamos en el caso dos y por lo tanto la solución general es

$y (x) = c_{1} e^{- x / 2} + c_{2} x e^{- x / 2}$

Ejemplo: Obtener la solución general de la ecuación diferencial

$\frac{d^{2} y}{d x^{2}} - \frac{d y}{d x} - 6 y = 0$

Solución: Repitiendo el mismo paso de siempre obtenemos que la ecuación auxiliar es

$k^{2} - k - 6 = 0$

Resolviendo para $k$ , tenemos

$k = \frac{1 \pm \sqrt{1 + 24}}{2} = \frac{1 \pm 5}{2}$

Las raíces son $k_{1} = 3$ y $k_{2} = - 2$ . Al ser reales y distintas notamos que estamos en circunstancias del caso uno y por tanto la solución general es

$y (x) = c_{1} e^{3 x} + c_{2} e^{- 2 x}$

Uno más

Ejemplo: Obtener la solución general de la ecuación diferencial

$\frac{d^{2} y}{d x^{2}} + 8 \frac{d y}{d x} + 16 y = 0$

Solución: La ecuación auxiliar en este caso es

$k^{2} + 8 k + 16 = 0$

Las raíces se obtienen de hacer

$k = \frac{8 \pm \sqrt{64 - 64}}{2} = \frac{8}{2} = 4$

Las raíces son $k_{1} = k_{2} = 4$ , al ser reales e iguales concluimos que la solución general es

$y (x) = c_{1} e^{4 x} + c_{2} x e^{4 x}$

Revisemos dos ecuaciones con una forma particular.

Dos ecuaciones particulares

Las ecuaciones diferenciales

$\frac{d^{2} y}{d x^{2}} + m^{2} y = 0 y \frac{d^{2} y}{d x^{2}} - m^{2} y = 0$

Con $m \in R$ , son importantes en matemáticas aplicadas. Vamos a obtener la forma de la solución de cada una de ellas.

Comencemos con la ecuación diferencial

$Label '36' multiply defined$

Como es una ecuación con coeficientes constantes, entonces la solución es de la forma $y (x) = e^{k x}$ , así la ecuación auxiliar en este caso es

$k^{2} + m^{2} = 0$

cuyas raíces son complejas y están dadas por

$k_{1} = i m y k_{2} = - i m$

De donde $α = 0$ y $β = m$ . Por lo tanto, de la ecuación ( $35$ ) concluimos que la solución de la ecuación ( $36$ ) es

$Label '37' multiply defined$

Ejemplo: Obtener la solución general de la ecuación diferencial

$\frac{d^{2} y}{d x^{2}} + 9 y = 0$

Solución: La ecuación a resolver es de la forma ( $36$ ) con $m = 3$ . La ecuación auxiliar en este caso es

$k^{2} + 9 = 0$

De donde $k_{1} = i 3$ y $k_{2} = - i 3$ , es decir, $α = 0, β = m = 3$ . De acuerdo a la ecuación ( $37$ ), la solución general de la ecuación diferencial es

$y (x) = c_{1} \cos (3 x) + c_{2} \sin (3 x)$

Para el caso de la ecuación diferencial

$\begin{matrix} (38) & \frac{d^{2} y}{d x^{2}} - m^{2} y = 0 \end{matrix}$

La ecuación auxiliar es

$k^{2} - m^{2} = 0$

cuyas raíces son

$k_{1} = m y k_{2} = - m$

En este caso las raíces son reales y distintas, entonces la ecuación pertenece al caso 1 y por tanto la solución general está dada por la ecuación ( $15$ ), esto es

$\begin{matrix} (39) & y (x) = c_{1} e^{m x} + c_{2} e^{- m x} \end{matrix}$

Lo interesante de la ecuación ( $38$ ) es que si en su solución ( $39$ ) se elige $c_{1} = c_{2} = \frac{1}{2}$ , se tiene

$\begin{matrix} (40) & y_{1} (x) = \frac{1}{2} (e^{m x} + e^{- m x}) = \cosh (m x) \end{matrix}$

Y si se elige $c_{1} = \frac{1}{2}$ y $c_{2} = - \frac{1}{2}$ , entonces

$\begin{matrix} (41) & y_{2} (x) = \frac{1}{2} (e^{m x} - e^{- m x}) = \sinh (m x) \end{matrix}$

Se puede comprobar que $W (y_{1}, y_{2}) \neq 0$ , lo que prueba que ambas soluciones son linealmente independientes en algún intervalo $δ$ . Este análisis nos permite establecer una forma alterna de la solución de la ecuación ( $38$ ), dada por

$\begin{matrix} (42) & y (x) = c_{1} \cosh (m x) + c_{2} \sinh (m x) \end{matrix}$

Ejemplo: Resolver el problema con valores iniciales

$\frac{d^{2} y}{d x^{2}} - 3 y = 0; y (0) = 1, y^{'} (0) = 5$

Usando primero la forma de la solución dada en ( $39$ ) y posteriormente resolverlo de nuevo usando la forma de la solución dada en ( $42$ ).

Solución: La ecuación a resolver es de la forma ( $38$ ) con $m = \sqrt{3}$ . Considerando la solución $y = e^{k x}$ , obtenemos que la ecuación auxiliar es

$k^{2} - 3 = 0$

De donde $k_{1} = m = \sqrt{3}$ y $k_{2} = - m = - \sqrt{3}$ . Usando la ecuación ( $39$ ) concluimos que la solución de la ecuación diferencial es

$y (x) = c_{1} e^{\sqrt{3} x} + c_{2} e^{- \sqrt{3} x}$

La derivada de la solución es

$\frac{d y}{d x} = \sqrt{3} c_{1} e^{\sqrt{3} x} - \sqrt{3} c_{2} e^{- \sqrt{3} x}$

Apliquemos las condiciones iniciales, por un lado

$y (0) = c_{1} + c_{2} = 1 \Rightarrow c_{2} = 1 - c_{1}$

por otro lado,

$y^{'} (0) = \sqrt{3} c_{1} - \sqrt{3} c_{2} = 5$

Si sustituimos el valor de $c_{2}$ , tenemos

$\begin{aligned} \sqrt{3} c_{1} - \sqrt{3} (1 - c_{1}) & = 5 \\ \sqrt{3} (c_{1} - 1 + c_{1}) & = 5 \\ 2 c_{1} - 1 & = \frac{5}{\sqrt{3}} \\ 2 c_{1} & = \frac{5}{\sqrt{3}} + 1 \\ c_{1} & = \frac{5}{2 \sqrt{3}} + \frac{1}{2} \end{aligned}$

Sustituyendo en $c_{2}$ , se tiene

$c_{2} = 1 - (\frac{5}{2 \sqrt{3}} - \frac{1}{2}) = \frac{1}{2} - \frac{5}{2 \sqrt{3}}$

Por lo tanto, la solución particular del PVI es

$y (x) = \frac{1}{2} (1 + \frac{5}{\sqrt{3}}) e^{\sqrt{3} x} + \frac{1}{2} (1 - \frac{5}{\sqrt{3}}) e^{- \sqrt{3} x}$

Si por otro lado consideramos la forma de la solución ( $42$ ), obtenemos que

$y (x) = c_{1} \cosh (\sqrt{3} x) + c_{2} \sinh (\sqrt{3} x)$

y su derivada

$\frac{d y}{d x} = \sqrt{3} c_{1} \sinh (\sqrt{3} x) + \sqrt{3} c_{2} \cosh (\sqrt{3} x)$

Aplicando las condiciones iniciales, se tiene

$y (0) = c_{1} = 1 y y^{'} (0) = \sqrt{3} c_{2} = 5$

De donde $c_{1} = 1$ y $c_{2} = \frac{5}{\sqrt{3}}$ . Por lo tanto, la solución alterna del PVI es

$y (x) = \cosh (\sqrt{3} x) + \frac{5}{\sqrt{3}} \sinh (\sqrt{3} x)$

¿Qué relación hay entre las constantes $c_{1}$ y $c_{2}$ obtenidas en cada caso?.

Para concluir la entrada revisemos brevemente estos mismos resultados para el caso de las ecuaciones de orden superior a dos.

Ecuaciones de orden superior

Es posible aplicar éste método de resolución para el caso de las ecuaciones diferenciales lineales homogéneas de orden superior a dos con coeficientes constantes, sin embargo desarrollar esta teoría desde cero puede ser muy complejo. Ahora que hemos sido muy detallados en el desarrollo de este método para el caso de las ecuaciones de segundo orden, vamos sólo a enunciar los posibles resultados para las ecuaciones de orden superior.

Es importante recordar que estamos estudiando las ecuaciones homogéneas y lineales con coeficientes constantes por lo que una ecuación de orden $n > 2$ con estas características tiene la siguiente forma.

$\begin{matrix} (43) & a_{n} \frac{d^{n} y}{d x^{n}} + a_{n - 1} \frac{d^{n - 1} y}{d x^{n - 1}} + \dots + a_{2} \frac{d^{2} y}{d x^{2}} + a_{1} \frac{d y}{d x} + a_{0} y = 0 \end{matrix}$

Donde $a_{i}, i = 0, 1, \dots, n$ son constantes.

Igual que antes, se considera la solución $y (x) = e^{k x}$ . Al sustituir esta función y las correspondientes derivadas en la ecuación ( $43$ ) obtendremos la siguiente ecuación auxiliar.

$\begin{matrix} (44) & a_{n} k^{n} + a_{n - 1} k^{n - 1} + \dots + a_{2} k^{2} + a_{1} k + a_{0} = 0 \end{matrix}$

Esta ecuación tendrá $n$ raíces, estas raíces, como sabemos, pueden ser reales o complejas, iguales o distintas. La solución general para caso está dada de la siguiente manera.

Si las raíces son reales y distintas, la solución estará dada por

$\begin{matrix} (45) & y (x) = c_{1} e^{k_{1} x} + c_{2} e^{k_{2} x} + \dots + c_{n} e^{k_{n} x} \end{matrix}$

Si las raíces son reales e iguales, la solución estará dada por

$\begin{matrix} (46) & y (x) = e^{k x} (c_{1} + c_{2} x + c_{3} x^{2} + \dots + c_{n} x^{n - 1}) \end{matrix}$

En el caso de orden superior es posible tener raíces reales y de ellas que unas sean iguales y otras diferentes, en este caso se usan los dos puntos anteriores respectivamente.

Por ejemplo, supongamos que de una ecuación de sexto orden se obtienen seis raíces, tales que

$k_{1} \neq k_{2} = k_{3} \neq k_{4} y k_{1} \neq k_{4} = k_{5} = k_{6}$

Entonces la solución estaría dada por

$y (x) = c_{1} e^{k_{1} x} + c_{2} e^{k_{2} x} + c_{3} x e^{k_{3} x} + c_{4} e^{k_{4} x} + c_{5} x e^{k_{5} x} + c_{6} x^{2} e^{k_{6} x}$

Ya que, el par de raíces $k_{1} \neq k_{2}$ al ser diferentes genera la solución $c_{1} e^{k_{1} x} + c_{2} e^{k_{2} x}$ , el par de raíces $k_{2} = k_{3}$ al ser iguales genera la solución $c_{2} e^{k_{2} x} + c_{3} x e^{k_{3} x}$ , el par de raíces $k_{1} \neq k_{4}$ genera la solución $c_{1} e^{k_{1} x} + c_{4} e^{k_{4} x}$ y finalmente las raíces $k_{4} = k_{5} = k_{6}$ genera la solución $c_{4} e^{k_{4} x} + c_{5} x e^{k_{5} x} + c_{6} x^{2} e^{k_{6} x}$ , esto de acuerdo a los dos puntos anteriores ( $45$ ) y ( $46$ ).

Finalmente,

Si las raíces son complejas, para cada par conjugado la solución es: $y (x) = e^{α x} (C_{1} \cos (β x) + C_{2} \sin (β x))$ Si hay otro par igual, la función $y (x) = e^{α x} x (C_{1} \cos (β x) + C_{2} \sin (β x))$ será solución y si hay otro par igual, la función $y (x) = e^{α x} x^{2} (C_{1} \cos (β x) + C_{2} \sin (β x))$ será solución y así sucesivamente.

Ejemplo: Resolver el siguiente problema con valores iniciales.

$\frac{d^{3} y}{d x^{3}} - 7 \frac{d^{2} y}{d x^{2}} + 4 \frac{d y}{d x} + 12 y = 0$

Con $y (0) = 1$ , $y^{'} (0) = 0$ y $y^{''} (0) = 36$ .

Solución: Proponiendo la solución $y = e^{k x}$ la ecuación auxiliar que se obtiene es

$k^{3} - 7 k^{2} + 4 k + 12 = 0$

Factorizando esta ecuación, se obtiene

$(k + 1) (k - 2) (k - 6) = 0$

De donde $k_{1} = - 1$ , $k_{2} = 2$ y $k_{3} = 6$ . Como las raíces son reales y diferentes, entonces la solución de la ecuación diferencial es de la forma ( $45$ ).

$y (x) = c_{1} e^{- x} + c_{2} e^{2 x} + c_{3} e^{6 x}$

Para aplicar las condiciones iniciales calculemos la primera y segunda derivada de la solución.

$\frac{d y}{d x} = - c_{1} e^{- x} + 2 c_{2} e^{2 x} + 6 c_{3} e^{6 x} y \frac{d^{2} y}{d x^{2}} = c_{1} e^{- x} + 4 c_{2} e^{2 x} + 36 c_{3} e^{6 x}$

Apliquemos las condiciones iniciales.

$y (0) = c_{1} e^{0} + c_{2} e^{0} + c_{3} e^{0} = c_{1} + c_{2} + c_{3} = 1$

$y^{'} (0) = - c_{1} e^{0} + 2 c_{2} e^{0} + 6 c_{3} e^{0} = - c_{1} + 2 c_{2} + 6 c_{3} = 0$

$y^{''} (0) = c_{1} e^{0} + 4 c_{2} e^{0} + 36 c_{3} e^{0} = c_{1} + 4 c_{2} + 36 c_{3} = 36$

El sistema que se obtiene es

$\begin{aligned} c_{1} + c_{2} + c_{3} & = 1 \\ - c_{1} + 2 c_{2} + 6 c_{3} & = 0 \\ c_{1} + 4 c_{2} + 36 c_{3} & = 36 \end{aligned}$

Resolviendo el sistema obtendremos que

$c_{1} = \frac{16}{7}, c_{2} = - \frac{5}{2} y c_{3} = \frac{17}{14}$

Por lo tanto, la solución particular de la ecuación diferencial de orden 3 es

$y (x) = \frac{16}{7} e^{- x} - \frac{5}{2} e^{2 x} + \frac{17}{14} e^{6 x}$

La dificultad de resolver ecuaciones de orden mayor a 2 realmente radica en que se vuelve más complicado encontrar las raíces de la ecuación auxiliar y resolver el sistema de ecuaciones que se genere en problemas con valores iniciales o con valores en la frontera. Un método para factorizar la ecuación auxiliar y obtener las raíces puede ser la división sintética, así como el método de Gauss – Jordan para obtener las soluciones de un sistema de ecuaciones lineales.

Tarea moral

Los siguientes ejercicios no forman parte de la evaluación del curso, pero servirán para entender mucho mejor los conceptos vistos en esta entrada, así como temas posteriores.

Obtener la solución general de las siguientes ecuaciones diferenciales con coeficientes constantes.

$4 \frac{d^{2} y}{d x^{2}} + \frac{d y}{d x} = 0$

$3 \frac{d^{2} y}{d x^{2}} + 2 \frac{d y}{d x} + y = 0$

$\frac{d^{2} y}{d x^{2}} - 4 \frac{d y}{d x} + 13 y = 0$

$\frac{d^{2} y}{d x^{2}} - 2 \sqrt{3} \frac{d y}{d x} + 3 y = 0$

$\frac{d^{2} y}{d x^{2}} + 4 \frac{d y}{d x} - y = 0$

$\frac{d^{2} y}{d x^{2}} - 4 \frac{d y}{d x} + 5 y = 0$

$\frac{d^{2} y}{d x^{2}} - 6 \frac{d y}{d x} + 13 y = 0$

$\frac{d^{2} y}{d x^{2}} - \frac{4}{3} \frac{d y}{d x} + \frac{4}{9} y = 0$

Resolver los siguientes problemas con valores iniciales.

$\frac{d^{2} y}{d x^{2}} + y = 0; y (\frac{π}{3}) = 0, y^{'} (\frac{π}{3}) = 2$

$\frac{d^{3} y}{d x^{3}} + 2 \frac{d^{2} y}{d x^{2}} - 5 \frac{d y}{d x} - 6 y = 0; y (0) = y^{'} (0) = 0, y^{''} (0) = 1$

Resolver los siguientes problemas con valores en la frontera.

$\frac{d^{2} y}{d x^{2}} + 4 y = 0; y (0) = 0, y (π) = 0$

$\frac{d^{2} y}{d x^{2}} - 2 \frac{d y}{d x} + 2 y = 0; y (0) = 1, y (π) = 1$

Resolver el siguiente problema con valores iniciales usando primero la forma de la solución dada en ( $39$ ) y posteriormente resolverlo de nuevo usando la forma de la solución dada en ( $42$ ).

$\frac{d^{2} y}{d x^{2}} - y = 0; y (0) = 1, y^{'} (1) = 0$

Más adelante…

Ahora sabemos resolver ecuaciones diferenciales lineales y homogéneas de orden superior con coeficientes constantes, en la siguiente entrada estudiaremos este mismo tipo de ecuaciones, pero en el caso no homogéneo.

Para resolver ecuaciones no homogéneas existen dos métodos, el primero de ellos se denomina coeficientes indeterminados, este método suele no ser tan complicado, sin embargo esta limitado a ciertas funciones $g (x)$ . Un segundo método se conoce como variación de parámetros siendo una extensión del método visto en la unidad anterior y que sirve para cualquier función $g (x)$ , es decir, es un método general. En la siguiente entrada comenzaremos presentando el primer método.

Entradas relacionadas

Página principal del curso: Ecuaciones Diferenciales I
Entrada anterior del curso: Método de reducción de orden
Siguiente entrada del curso: Ecuaciones lineales no homogéneas de segundo orden – Método de coeficientes indeterminados

Video relacionado al tema: Ecuaciones lineales homogéneas de segundo orden con coeficientes constantes

Agradecimientos

Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE104522 «Hacia una modalidad a distancia de la Licenciatura en Matemáticas de la FC-UNAM – Etapa 2»

Ecuaciones Diferenciales I: Método de reducción de orden

Por Omar González Franco

Deja un comentario

La única forma de aprender matemáticas es hacer matemáticas.
– Paul Halmos

Introducción

Hemos comenzado estudiando algunas de las propiedades de las soluciones a ecuaciones diferenciales lineales homogéneas y no homogéneas de orden superior. Como mencionamos en la entrada anterior, es momento de comenzar a desarrollar los distintos métodos de resolución de ecuaciones diferenciales de orden superior, sin embargo, debido a la complejidad que surge de aumentar el orden, en esta entrada sólo consideraremos ecuaciones diferenciales de segundo orden.

En esta entrada desarrollaremos el método de reducción de orden, como su nombre lo indica, lo que haremos básicamente es hacer un cambio de variable o una sustitución adecuada que permita que la ecuación de segundo orden pase a ser una ecuación de primer orden y de esta manera aplicar alguno de los métodos vistos en la unidad anterior para resolver la ecuación.

Hay dos distintas formas de reducir una ecuación de segundo orden, la primera de ellas consiste en hacer el cambio de variable

$z = \frac{d y}{d x}$

Esta forma se aplica en ecuaciones tanto lineales como no lineales, pero deben satisfacer algunas condiciones, mientras que, por otro lado, la segunda forma se aplica sólo a ecuaciones lineales homogéneas en las que tenemos conocimiento previo de una solución no trivial. En este segundo caso, considerando que conocemos una solución $y_{1} (x)$ , haremos la sustitución

$y_{2} (x) = u (x) y_{1} (x)$

para reducir de orden a la ecuación y al resolverla obtendremos la función $u (x)$ y, por tanto, la segunda solución $y_{2} (x)$ , tal que ${y_{1}, y_{2}}$ forme un conjunto fundamental de soluciones de la ecuación diferencial y de esta manera podamos establecer la solución general.

Comencemos por desarrollar la primer forma bajo un cambio de variable.

Ecuaciones reducibles a ecuaciones de primer orden

Hay cierto tipo de ecuaciones de segundo orden que pueden reducirse a una ecuación de primer orden y ser resueltas por los métodos que ya conocemos, vistos en la unidad anterior. Un primer tipo de ecuación son las ecuaciones lineales en las que la variable dependiente $y$ no aparece explícitamente.

Sabemos que una ecuación diferencial lineal no homogénea de segundo orden tiene la siguiente forma.

$Label '1' multiply defined$

Si la variable dependiente $y$ no se encuentra explícitamente en la ecuación, obtenemos la siguiente forma.

$Label '2' multiply defined$

Es quizá natural pensar que una forma de resolver la ecuación ( $2$ ) es integrarla dos veces, es esto lo que haremos considerando el siguiente cambio de variable.

$Label '3' multiply defined$

Sea $a_{2} (x) \neq 0$ , definimos las siguientes funciones.

$P (x) = \frac{a_{1} (x)}{a_{2} (x)} y Q (x) = \frac{g (x)}{a_{2} (x)}$

Si sustituimos estas funciones y el cambio de variable ( $3$ ) en la ecuación ( $2$ ) lograremos reducirla a una ecuación lineal de primer orden con $z$ la variable dependiente.

$Label '4' multiply defined$

En la unidad anterior desarrollamos distintos métodos para resolver este tipo de ecuaciones. Una vez que resolvamos la ecuación ( $4$ ) y regresemos a la variable original veremos que dicho resultado nuevamente corresponde a una ecuación de primer orden que podrá ser resuelta una vez más con los métodos vistos anteriormente. Realicemos un ejemplo.

Ejemplo: Reducir de orden a la ecuación diferencial lineal de segundo orden

$x \frac{d^{2} y}{d x^{2}} - \frac{d y}{d x} = x$

para $x > 0$ y obtener su solución.

Solución: Dividamos toda la ecuación por $x \neq 0$ .

$\frac{d^{2} y}{d x^{2}} - \frac{1}{x} \frac{d y}{d x} = 1$

Hacemos el cambio de variable ( $3$ ) para obtener la forma ( $4$ ).

$Label '5' multiply defined$

Ya no deberíamos tener problema con resolver esta ecuación. Apliquemos el método para resolver ecuaciones lineales. De la ecuación reducida ( $5$ ) notamos que

$P (x) = - \frac{1}{x} y Q (x) = 1$

El factor integrante, es este caso, es

$μ (x) = e^{\int P (x) d x} = e^{- \int \frac{1}{x} d x} = e^{- \ln (x)} = \frac{1}{x}$

Esto es,

$μ (x) = \frac{1}{x}$

Multipliquemos la ecuación ( $5$ ) por el factor integrante,

$\frac{1}{x} \frac{d z}{d x} - \frac{z}{x^{2}} = \frac{1}{x}$

e identificamos que

$\frac{d}{d x} (\frac{z}{x}) = \frac{1}{x} \frac{d z}{d x} - \frac{z}{x^{2}}$

De ambas ecuaciones se tiene

$\frac{d}{d x} (\frac{z}{x}) = \frac{1}{x}$

Ahora podemos integrar ambos lados de la ecuación con respecto a $x > 0$ .

$\begin{aligned} \int \frac{d}{d x} (\frac{z}{x}) d x & = \int \frac{1}{x} d x \\ \frac{z}{x} & = \ln (x) + c_{1} \\ z (x) & = x \ln (x) + x c_{1} \end{aligned}$

Hemos resuelto la ecuación para la variable $z$ , regresemos a la variable original para resolver la nueva ecuación de primer orden.

$Label '6' multiply defined$

Esta ecuación puede ser resuelta por separación de variables en su versión simple de integración directa (la ecuación ya esta separada), integremos ambos lados de la ecuación con respecto a $x$ ,

$\begin{aligned} \int \frac{d y}{d x} d x & = \int x \ln (x) d x + \int x c_{1} d x \\ y (x) & = \int x \ln (x) d x + c_{1} \frac{x^{2}}{2} \end{aligned}$

Para resolver la integral que nos falta apliquemos integración por partes, hagamos

$u (x) = \ln (x) y \frac{d v}{d x} = x$

Así mismo,

$\frac{d u}{d x} = \frac{1}{x} y v (x) = \frac{x^{2}}{2}$

Entonces,

$\begin{aligned} \int x \ln (x) d x & = \frac{x^{2}}{2} \ln (x) - \int \frac{x}{2} d x \\ = \frac{x^{2}}{2} \ln (x) - \frac{x^{2}}{4} + c_{2} \end{aligned}$

Sustituimos en la función $y (x)$ .

$y (x) = \frac{x^{2}}{2} \ln (x) - \frac{x^{2}}{4} + c_{1} \frac{x^{2}}{2} + c_{2}$

Por lo tanto, la solución general de la ecuación diferencial

$x \frac{d^{2} y}{d x^{2}} - \frac{d y}{d x} = x$

$Label '7' multiply defined$

De tarea moral verifica que es la solución general ya que el conjunto

$S = {y_{1} (x) = \frac{x^{2}}{2}, y_{2} (x) = 1}$

es un conjunto fundamental de soluciones de la ecuación homogénea asociada y

$y_{p} (x) = \frac{x^{2}}{2} (\ln (x) - \frac{1}{2})$

es una solución particular de la ecuación no homogénea.

Reducción de orden en ecuaciones no lineales

Es posible aplicar un método similar en ecuaciones de segundo orden que pueden ser tanto lineales como no son lineales, en este caso, a diferencia del caso anterior, la variable dependiente $y$ puede aparecer en la ecuación, sin embargo es necesario que la variable independiente $x$ sea la que no aparezca explícitamente. Este tipo de ecuaciones también pueden reducirse a una ecuación de primer orden, pero tomando el siguiente cambio de variable.

$Label '8' multiply defined$

Donde la segunda expresión se deduce de aplicar la regla de la cadena

$\frac{d^{2} y}{d x^{2}} = \frac{d z}{d x} = \frac{d z}{d y} \frac{d y}{d x} = z \frac{d z}{d y}$

Realicemos un ejemplo con una ecuación no lineal.

Ejemplo: Reducir de orden a la ecuación diferencial no lineal de segundo orden

$\frac{d^{2} y}{d x^{2}} - 2 y {(\frac{d y}{d x})}^{3} = 0$

y obtener su solución.

Solución: Es importante notar que es no lineal debido a que la primer derivada es de tercer grado y además esta multiplicada por la función $y$ , lo cual no debe ocurrir en el caso lineal.

La ecuación a resolver es

$\frac{d^{2} y}{d x^{2}} - 2 y {(\frac{d y}{d x})}^{3} = 0$

Hacemos el cambio de variable ( $8$ ) y separamos variables.

$\begin{aligned} z \frac{d z}{d y} - 2 y z^{3} & = 0 \\ \frac{d z}{d y} & = 2 y z^{2} \\ \frac{1}{z^{2}} \frac{d z}{d y} & = 2 y \end{aligned}$

Integramos ambos lados de la ecuación con respecto a $y$ .

$\begin{aligned} \int \frac{1}{z^{2}} \frac{d z}{d y} d y & = \int 2 y d y \\ \int \frac{d z}{z^{2}} & = 2 \int y d y \\ - \frac{1}{z} & = y^{2} + c_{1} \\ z & = - \frac{1}{y^{2} + c_{1}} \end{aligned}$

Regresamos a la variable original y separamos de nuevo las variables.

$\begin{aligned} \frac{d y}{d x} & = - \frac{1}{y^{2} + c_{1}} \\ (y^{2} + c_{1}) \frac{d y}{d x} & = - 1 \end{aligned}$

Integramos ambos lados de la ecuación con respecto a $x$ .

$\begin{aligned} \int (y^{2} + c_{1}) \frac{d y}{d x} d x & = - \int d x \\ \int y^{2} d y + \int c_{1} d y & = - \int d x \\ \frac{y^{3}}{3} + c_{1} y & = - x + c_{2} \end{aligned}$

Por lo tanto, la solución implícita de la ecuación diferencial

$\frac{d^{2} y}{d x^{2}} - 2 y {(\frac{d y}{d x})}^{3} = 0$

$\frac{y^{3}}{3} + c_{1} y = c_{2} - x$

Realicemos un ejemplo más con una ecuación lineal.

Ejemplo: Encontrar la solución general de la ecuación diferencial

$4 \frac{d^{2} y}{d x^{2}} + \frac{d y}{d x} = 0$

Solución: Como la ecuación no contiene explícitamente a la función $y$ ni a la variable independiente $x$ , entonces podemos aplicar cualquier cambio de variable, ya sea ( $3$ ) u ( $8$ ). Vamos a resolverla aplicando ambos casos.

Primero consideremos el cambio de variable ( $8$ ).

$\begin{aligned} 4 z \frac{d z}{d y} + z & = 0 \\ 4 \frac{d z}{d y} & = - 1 \\ \frac{d z}{d y} & = - \frac{1}{4} \end{aligned}$

Integremos ambos lados de la ecuación con respecto a $y$ .

$\begin{aligned} \int \frac{d z}{d y} d y & = - \int \frac{1}{4} d y \\ \int d z & = - \frac{1}{4} \int d y \\ z & = - \frac{1}{4} y + c_{1} \end{aligned}$

Regresemos a la variable original.

$\begin{aligned} \frac{d y}{d x} & = - \frac{1}{4} y + c_{1} \\ \frac{d y}{d x} + \frac{y}{4} & = c_{1} \end{aligned}$

Resolvamos esta ecuación por factor integrante.

$μ (x) = e^{\int P (x) d x} = e^{\int \frac{1}{4} d x} = e^{x / 4}$

Esto es,

$μ (x) = e^{x / 4}$

Multipliquemos ambos lados de la ecuación por el factor integrante.

$\begin{aligned} e^{x / 4} \frac{d y}{d x} + e^{x / 4} \frac{y}{4} & = e^{x / 4} c_{1} \\ \frac{d}{d x} (y e^{x / 4}) & = c_{1} e^{x / 4} \end{aligned}$

Integramos ambos lados con respecto a $x$ .

$\begin{aligned} \int \frac{d}{d x} (y e^{x / 4}) d x & = \int c_{1} e^{x / 4} d x \\ y e^{x / 4} & = c_{1} \int e^{x / 4} d x \\ y e^{x / 4} & = c_{1} 4 e^{x / 4} + c_{2} \\ y (x) & = c_{2} e^{- x / 4} + 4 c_{1} \end{aligned}$

Renombrando a las constantes concluimos que la solución general de la ecuación diferencial

$4 \frac{d^{2} y}{d x^{2}} + \frac{d y}{d x} = 0$

$y (x) = k_{1} e^{- x / 4} + k_{2}$

Resolvamos de nuevo la ecuación, pero ahora aplicando el cambio de variable ( $3$ ),

$\begin{aligned} 4 \frac{d z}{d x} + z & = 0 \\ \frac{1}{z} \frac{d z}{d x} & = - \frac{1}{4} \end{aligned}$

Integremos ambos lados con respecto a $x$ .

$\begin{aligned} \int \frac{1}{z} \frac{d z}{d x} d x & = - \int \frac{1}{4} d x \\ \int \frac{d z}{z} & = - \frac{1}{4} \int d x \\ \ln | z | & = - \frac{x}{4} + c_{1} \\ z & = c_{2} e^{- x / 4} \end{aligned}$

Con $c_{2} = e^{c_{1}}$ . Regresemos a la variable original.

$\frac{d y}{d x} = c_{2} e^{- x / 4}$

Integremos ambos lados con respecto a $x$ .

$\begin{array}{r} \int \frac{d y}{d x} d x = \int c_{2} e^{- x / 4} d x \\ \int d y = c_{2} \int e^{- x / 4} d x \\ y = - c_{2} 4 e^{- x / 4} + c_{3} \end{array}$

Si renombramos las constantes obtenemos nuevamente que

$y (x) = k_{1} e^{- x / 4} + k_{2}$

Es posible reducir una ecuación diferencial de segundo orden a una de primer orden si previamente conocemos una solución de la ecuación. Usualmente este método es mayor recurrido que el anterior y también recibe el nombre de método de reducción de orden.

Reducción de orden conocida una solución

Es posible reducir una ecuación diferencial lineal homogénea de segundo orden

$Label '9' multiply defined$

a una ecuación diferencial de primer orden siempre que se conozca previamente una solución no trivial $y_{1} (x)$ . Recordemos de la entrada anterior que una ecuación de la forma ( $9$ ) tiene como solución general la combinación lineal

$Label '10' multiply defined$

con $y_{1}$ y $y_{2}$ funciones que forman un conjunto fundamental de soluciones en cierto intervalo $δ$ . Si conocemos $y_{1}$ podremos reducir la ecuación a una de primer orden y resolverla para obtener la solución $y_{2}$ y, por tanto, obtener la solución general.

Este método también es conocido como método de reducción de orden, pues tiene el mismo propósito que los casos anteriores, reducir de orden a una ecuación diferencial. La idea general del método es la siguiente.

Comenzaremos con el conocimiento previo de una solución no trivial $y_{1} (x)$ de la ecuación homogénea ( $9$ ) definida en un intervalo $δ$ . Lo que buscamos es una segunda solución $y_{2} (x)$ , tal que $y_{1}$ y $y_{2}$ formen un conjunto fundamental de soluciones en $δ$ , es decir, que sean soluciones linealmente independientes entre sí. Recordemos que si ambas soluciones son linealmente independientes, entonces el cociente $\frac{y_{2}}{y_{1}}$ no es constante en $δ$ , es decir

$\frac{y_{2} (x)}{y_{1} (x)} = u (x)$

o bien,

$Label '11' multiply defined$

Como queremos encontrar $y_{2}$ y previamente conocemos $y_{1}$ , entonces debemos determinar la función $u (x)$ , dicha función se determina al sustituir ( $11$ ) en la ecuación diferencial dada, esto reducirá a dicha ecuación a una de primer orden donde la variable dependiente será $u$ .

Desarrollemos el método de manera general para encontrar la expresión de $u (x)$ y, por tanto, de $y_{2} (x)$ y finalmente realicemos un ejemplo.

Método de reducción de orden

Este método se aplica a las ecuaciones diferenciales de la forma

$a_{2} (x) \frac{d^{2} y}{d x^{2}} + a_{1} (x) \frac{d y}{d x} + a_{0} (x) y = 0$

Si dividimos esta ecuación por $a_{2} (x) \neq 0$ obtenemos la forma estándar

$Label '12' multiply defined$

Con

$P (x) = \frac{a_{1} (x)}{a_{2} (x)} y Q (x) = \frac{a_{0} (x)}{a_{2} (x)}$

ambas continuas en algún intervalo $δ$ . Supongamos además que $y_{1} (x)$ es una solución conocida de ( $12$ ) en $δ$ y que $y_{1} (x) \neq 0$ para toda $x \in δ$ . Si se define

$y (x) = u (x) y_{1} (x)$

derivando se tiene

$Label '13' multiply defined$

Derivando una segunda ocasión se tiene

$Label '14' multiply defined$

Sustituyendo ( $13$ ) y ( $14$ ) en la forma estándar ( $12$ ) obtenemos lo siguiente.

$\begin{aligned} \frac{d^{2} y}{d x^{2}} + P \frac{d y}{d x} + Q y & = [u \frac{d^{2} y_{1}}{d x^{2}} + 2 \frac{d y_{1}}{d x} \frac{d u}{d x} + y_{1} \frac{d^{2} u}{d x^{2}}] + P [u \frac{d y_{1}}{d x} + y_{1} \frac{d u}{d x}] + Q [u y_{1}] \\ = u [\frac{d^{2} y_{1}}{d x^{2}} + P \frac{d y_{1}}{d x} + Q y_{1}] + y_{1} \frac{d^{2} u}{d x^{2}} + (2 \frac{d y_{1}}{d x} + P y_{1}) \frac{d u}{d x} \\ = 0 \end{aligned}$

Como $y_{1} (x)$ es solución sabemos que

$\frac{d^{2} y_{1}}{d x^{2}} + P \frac{d y_{1}}{d x} + Q y_{1} = 0$

Entonces el resultado anterior se reduce a lo siguiente.

$Label '15' multiply defined$

Consideremos el cambio de variable

$w = \frac{d u}{d x} y \frac{d w}{d x} = \frac{d^{2} y}{d x^{2}}$

Entonces la ecuación ( $15$ ) se puede escribir como

$Label '16' multiply defined$

Esta ecuación es tanto lineal como separable. Separando las variables e integrando, se obtiene

$\begin{aligned} \frac{1}{w} \frac{d w}{d x} + 2 \frac{1}{y_{1}} \frac{d y_{1}}{d x} & = - P \\ \int \frac{d w}{w} + 2 \int \frac{d y_{1}}{y_{1}} & = - \int P d x \\ \ln | w | + 2 \ln | y_{1} | + k & = - \int P d x \\ \ln | w y_{1}^{2} | + k & = - \int P d x \\ w y_{1}^{2} & = k_{1} e^{- \int P d x} \end{aligned}$

Despejando a $w$ de la última ecuación, usando $w = \frac{d u}{d x}$ e integrando nuevamente, se tiene

$\begin{aligned} \frac{d u}{d x} & = \frac{k_{1} e^{- \int P d x}}{y_{1}^{2}} \\ \int d u & = \int \frac{k_{1} e^{- \int P d x}}{y_{1}^{2}} d x \\ u & = k_{1} \int \frac{e^{- \int P d x}}{y_{1}^{2}} d x + k_{2} \end{aligned}$

Eligiendo $k_{1} = 1$ y $k_{2} = 0$ obtenemos la expresión para la función $u (x)$ ,

$Label '17' multiply defined$

Si sustituimos en

$y (x) = y_{2} (x) = u (x) y_{1} (x)$

obtenemos que la segunda solución de la ecuación diferencial ( $12$ ) es

$Label '18' multiply defined$

De tarea moral puedes probar que la función $y_{2}$ satisface la ecuación diferencial y que $y_{1}$ y $y_{2}$ son linealmente independientes en algún intervalo en el que $y_{1}$ no es cero.

Realicemos un ejemplo en el que apliquemos este método.

Ejemplo: Encontrar la solución general de la ecuación diferencial

$\frac{d^{2} y}{d x^{2}} + 16 y = 0$

dada la solución no trivial

$y_{1} (x) = \cos (4 x)$

Solución: En esta ocasión apliquemos directamente la expresión ( $18$ ) para obtener la solución $y_{2} (x)$ .

La ecuación diferencial a resolver es

$\frac{d^{2} y}{d x^{2}} + 16 y = 0$

Si la comparamos con la forma estándar ( $12$ ) notamos que

$P (x) = 0 y Q (x) = 16$

Sustituyendo en ( $18$ ), se tiene

$\begin{aligned} y_{2} (x) & = \cos (4 x) \int \frac{e^{0}}{\cos^{2} (4 x)} d x \\ = \cos (4 x) \int \frac{1}{\cos^{2} (4 x)} d x \end{aligned}$

Para resolver la integral consideremos el cambio de variable $s = 4 x$ , $d s = 4 d x$ .

$\int \frac{1}{\cos^{2} (4 x)} d x = \frac{1}{4} \int \sec^{2} (s) d s$

Sabemos que

$\int \sec^{2} (s) d s = \tan (s)$

Así

$y_{2} (x) = \cos (4 x) (\frac{1}{4} \tan (4 x) + k_{1})$

Hacemos $k_{1} = 0$ .

$y_{2} (x) = \frac{\cos (4 x)}{4} (\frac{\sin (4 x)}{\cos (4 x)}) = \frac{\sin (4 x)}{4}$

Como la solución general corresponde a la combinación lineal ( $10$ ), en las constantes $c_{1}$ y $c_{2}$ se pueden englobar todas las constantes que pudieran aparecer, por ello es que podemos tomar $k_{1} = 0$ y además podemos evitar la constante $\frac{1}{4}$ de $y_{2}$ y considerar que

$y_{2} (x) = \sin (4 x)$

Veamos que efectivamente satisface la ecuación diferencial.

$\frac{d y_{2}}{d x} = 4 \cos (4 x) \Rightarrow \frac{d^{2} y_{2}}{d x^{2}} = - 16 \sin (4 x)$

Sustituyendo en la ecuación diferencial.

$\frac{d^{2} y}{d x^{2}} + 16 y = - 16 \sin (4 x) + 16 \sin (4 x) = 0$

Cumple con la ecuación diferencial, lo mismo podemos verificar con la solución dada

$y_{1} (x) = \cos (4 x)$

Tenemos,

$\frac{d y_{1}}{d x} = - 4 \sin (4 x) \Rightarrow \frac{d^{2} y_{1}}{d x^{2}} = - 16 \cos (4 x)$

Sustituyendo en la ecuación diferencial.

$\frac{d^{2} y}{d x^{2}} + 16 y = - 16 \cos (4 x) + 16 \cos (4 x) = 0$

Como ambas soluciones son linealmente independientes, entonces forman un conjunto fundamental de soluciones. Otra forma de verificarlo es mostrando que el Wronskiano es distinto de cero y lo es ya que

$W (y_{1}, y_{2}) = 4 \neq 0$

Por lo tanto, la solución general de la ecuación diferencial

$\frac{d^{2} y}{d x^{2}} + 16 y = 0$

corresponde a la combinación lineal

$y (x) = c_{1} \cos (4 x) + c_{2} \sin (4 x)$

Con esto concluimos esta entrada sobre un primer método para resolver algunas ecuaciones diferenciales de segundo orden. En la siguiente entrada desarrollaremos un nuevo método.

Tarea moral

Los siguientes ejercicios no forman parte de la evaluación del curso, pero servirán para entender mucho mejor los conceptos vistos en esta entrada, así como temas posteriores.

Obtener la solución general de las siguientes ecuaciones diferenciales lineales.

$x \frac{d^{2} y}{d x^{2}} + \frac{d y}{d x} = 0$

$(x - 1) \frac{d^{2} y}{d x^{2}} - \frac{d y}{d x} = 0$

Resolver las siguientes ecuaciones diferenciales no lineales.

$(y - 1) \frac{d^{2} y}{d x^{2}} = {(\frac{d y}{d x})}^{2}$

${(\frac{d y}{d x})}^{2} - 2 \frac{d^{2} y}{d x^{2}} = 0$

Dada una solución no trivial de las siguientes ecuaciones diferenciales, hallar la segunda solución, tal que ambas formen un conjunto fundamental de soluciones y determina la solución general.

$\frac{d^{2} y}{d x^{2}} - 4 \frac{d y}{d x} + 4 y = 0; y_{1} (x) = e^{2 x}$

$\frac{d^{2} y}{d x^{2}} - 25 y = 0; y_{1} (x) = e^{5 x}$

Demostrar que la función $y_{2} (x) = y_{1} (x) \int \frac{e^{- \int P (x) d x}}{y_{1}^{2} (x)} d x$ Satisface la ecuación diferencial $\frac{d^{2} y}{d x^{2}} + P (x) \frac{d y}{d x} + Q (x) y = 0$ Siempre que $y_{1} (x)$ sea solución de la misma ecuación.

Usando el inciso anterior, demostrar que $S = {y_{1} (x), y_{1} (x) \int \frac{e^{- \int P (x) d x}}{y_{1}^{2} (x)} d x}$ es un conjunto fundamental de soluciones de la ecuación diferencial $\frac{d^{2} y}{d x^{2}} + P (x) \frac{d y}{d x} + Q (x) y = 0$

Más adelante…

En esta entrada desarrollamos un método de reducción de orden basado en un cambio de variable para ecuaciones lineales y no lineales de segundo orden que satisfacen algunas condiciones y desarrollamos el método de reducción de orden para ecuaciones diferenciales lineales homogéneas en el caso en el que previamente conocemos una solución no trivial.

En la siguiente entrada estudiaremos otro método para resolver un tipo particular de ecuaciones diferenciales, éstas son las ecuaciones diferenciales lineales homogéneas con coeficientes constantes, de la forma

$a \frac{d^{2} y}{d x^{2}} + b \frac{d y}{d x} + c y = 0$

Con $a, b$ y $c$ constantes.

Entradas relacionadas

Página principal del curso: Ecuaciones Diferenciales I
Entrada anterior del curso: Soluciones a ecuaciones diferenciales de orden superior
Siguiente entrada del curso: Ecuaciones diferenciales homogéneas con coeficientes constantes

Video relacionado al tema: Método de reducción de orden

Agradecimientos

Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE104522 «Hacia una modalidad a distancia de la Licenciatura en Matemáticas de la FC-UNAM – Etapa 2»

Introducción

Método de eliminación de variables

Caso homogéneo

Tarea moral

Más adelante…

Entradas relacionadas

Agradecimientos

Introducción

Puntos singulares

Solución a ecuaciones diferenciales

Método de Frobenius

Solución cuando la diferencia de las raíces indiciales difiere de un número entero

Solución cuando las raíces indiciales son repetidas

Solución cuando la diferencia de las raíces indiciales es un número entero positivo

Tarea moral

Más adelante…

Entradas relacionadas

Agradecimientos

Introducción

Coeficientes indeterminados – Método de superposición

g(x) es un polinomio

g(x) es producto de un polinomio y una función exponencial

Caso en el que g(x) es producto de un polinomio y una función seno o coseno

Resultados generales

Tarea moral

Más adelante…

Entradas relacionadas

Agradecimientos

Introducción

Ecuaciones diferenciales lineales homogéneas de primer orden con coeficientes constantes

Ecuaciones diferenciales lineales homogéneas de segundo orden con coeficientes constantes

Caso 1: Discriminante positivo

Caso 2: Discriminante igual a cero

Caso 3: Discriminante negativo

Ejemplos

Dos ecuaciones particulares

Ecuaciones de orden superior

Tarea moral

Más adelante…

Entradas relacionadas

Agradecimientos

Introducción

Ecuaciones reducibles a ecuaciones de primer orden

Reducción de orden en ecuaciones no lineales

Reducción de orden conocida una solución

Método de reducción de orden

Tarea moral

Más adelante…

Entradas relacionadas

Agradecimientos

$g (x)$ es un polinomio

$g (x)$ es producto de un polinomio y una función exponencial