Las matemáticas son un lugar donde puedes hacer
cosas que no puedes hacer en el mundo real.
– Marcus du Sautoy

Introducción

Con lo que hemos estudiado en las dos últimas entradas somos capaces de resolver ecuaciones diferenciales lineales de segundo orden homogéneas y no homogéneas con coeficientes constantes, es decir, ecuaciones de la forma

$$\begin{array}{}\text{(1)}& a{\displaystyle \frac{d^{2}y}{d{x}^2}}+b{\displaystyle \frac{dy}{dx}}+cy=g(x)\end{array}$$

Con $a,b,c$ constantes y $g(x)=0$ en el caso homogéneo o $g(x)\ne 0$ en el caso no homogéneo, en éste último caso aún estamos limitados a la forma que puede tener la función $g$, pues sabemos resolver las ecuaciones diferenciales en el caso en el que la función $g$ es una constante, una función polinomial, una función exponencial, funciones seno o coseno, o una combinación entre ellas. La pregunta ahora es, ¿cómo resolver este tipo de ecuaciones para cualquier tipo de función $g(x)$?.

En esta entrada desarrollaremos un método que nos permite obtener la solución general independientemente de la forma que tenga la función $g(x)$. A dicho método se le conoce como variación de parámetros.

El nombre de este método resulta familiar. En la unidad anterior desarrollamos éste método para el caso de las ecuaciones diferenciales lineales de primer orden como método alterno al método por factor integrante. Lo que haremos en esta entrada es una adaptación del método de variación de parámetros para el caso en el que las ecuaciones diferenciales son de orden superior, en particular, de segundo orden.

Variación de parámetros

Consideremos la ecuación diferencial

$$\begin{array}{}\text{(2)}& a_2(x){\displaystyle \frac{d^{2}y}{d{x}^2}}+a_1(x){\displaystyle \frac{dy}{dx}}+a_0(x)y=g_0(x)\end{array}$$

Si $a_2(x)\ne 0$ para toda $x$ en el intervalo $\delta$ en el que está definida la solución, entonces podemos definir las funciones

$$P(x)={\displaystyle \frac{a_1(x)}{a_2(x)}},Q(x)={\displaystyle \frac{a_0(x)}{a_2(x)}}yg(x)={\displaystyle \frac{g_0(x)}{a_2(x)}}$$

de manera que la ecuación ($\text{2}$) la podemos escribir en su forma estándar como

$$\begin{array}{}\text{(3)}& {\displaystyle \frac{d^{2}y}{d{x}^2}}+P(x){\displaystyle \frac{dy}{dx}}+Q(x)y=g(x)\end{array}$$

En el caso de primer orden se hizo la suposición de que la solución particular era de la forma

$$y_p(x)=k(x)y_1(x)=k(x)e^{-\int P(x)dx}$$

Manteniendo esta idea, en el caso de segundo orden se busca una solución de la forma

$$\begin{array}{}\text{(4)}& y_p(x)=k_1(x)y_1(x)+k_2(x)y_2(x)\end{array}$$

Donde $y_1$ y $y_2$ forman un conjunto fundamental de soluciones en $\delta$ de la ecuación homogénea asociada a ($\text{3}$). Determinemos la primera y segunda derivada de $y_p$ para sustituir los resultados en la ecuación diferencial ($\text{3}$).

$$\begin{array}{}\text{(5)}& {\displaystyle \frac{d{y}_p}{dx}}=k_1{\displaystyle \frac{d{y}_1}{dx}}+y_1{\displaystyle \frac{d{k}_1}{dx}}+k_2{\displaystyle \frac{d{y}_2}{dx}}+y_2{\displaystyle \frac{d{k}_2}{dx}}\end{array}$$

y

$$\begin{array}{}\text{(6)}& {\displaystyle \frac{d^2{y}_p}{d{x}^2}}=k_1{\displaystyle \frac{d^2{y}_1}{d{x}^2}}+2{\displaystyle \frac{d{y}_1}{dx}}{\displaystyle \frac{d{k}_1}{dx}}+y_1{\displaystyle \frac{d^2{k}_1}{d{x}^2}}+k_2{\displaystyle \frac{d^2{y}_2}{d{x}^2}}+2{\displaystyle \frac{d{y}_2}{dx}}{\displaystyle \frac{d{k}_2}{dx}}+y_2{\displaystyle \frac{d^2{k}_2}{d{x}^2}}\end{array}$$

Sustituyendo en ($\text{3}$) y reorganizando los términos obtenemos lo siguiente.

$$\begin{array}{r}{k}_1[{\displaystyle \frac{d^2{y}_1}{d{x}^2}}+P{\displaystyle \frac{d{y}_1}{dx}}+Q{y}_1]+y_1{\displaystyle \frac{d^2{k}_1}{d{x}^2}}+{\displaystyle \frac{d{k}_1}{dx}}{\displaystyle \frac{d{y}_1}{dx}}+k_2[{\displaystyle \frac{d^2{y}_2}{d{x}^2}}+P{\displaystyle \frac{d{y}_2}{dx}}+Q{y}_2]\\ +y_2{\displaystyle \frac{d^2{k}_2}{d{x}^2}}+{\displaystyle \frac{d{k}_2}{dx}}{\displaystyle \frac{d{y}_2}{dx}}+P[y_1{\displaystyle \frac{d{k}_1}{dx}}+y_2{\displaystyle \frac{d{k}_2}{dx}}]+{\displaystyle \frac{d{y}_1}{dx}}{\displaystyle \frac{d{k}_1}{dx}}+{\displaystyle \frac{d{y}_2}{dx}}{\displaystyle \frac{d{k}_2}{dx}}=g(x)\end{array}$$

Como $y_1$ y $y_2$ son soluciones de la ecuación homogénea asociada, entonces

$${\displaystyle \frac{d^2{y}_1}{d{x}^2}}+P{\displaystyle \frac{d{y}_1}{dx}}+Q{y}_1=0y{\displaystyle \frac{d^2{y}_2}{d{x}^2}}+P{\displaystyle \frac{d{y}_2}{dx}}+Q{y}_2=0$$

y además notamos que

$$\begin{array}{}\text{(7)}& {\displaystyle \frac{d}{dx}}\left[y_1{\displaystyle \frac{d{k}_1}{dx}}\right]=y_1{\displaystyle \frac{d^2{k}_1}{d{x}^2}}+{\displaystyle \frac{d{k}_1}{dx}}{\displaystyle \frac{d{y}_1}{dx}}\end{array}$$

y

$$\begin{array}{}\text{(8)}& {\displaystyle \frac{d}{dx}}\left[y_2{\displaystyle \frac{d{k}_2}{dx}}\right]=y_2{\displaystyle \frac{d^2{k}_2}{d{x}^2}}+{\displaystyle \frac{d{k}_2}{dx}}{\displaystyle \frac{d{y}_2}{dx}}\end{array}$$

Considerando lo anterior la ecuación diferencial queda como

$$\begin{array}{}\text{(9)}& {\displaystyle \frac{d}{dx}}[y_1{\displaystyle \frac{d{k}_1}{dx}}+y_2{\displaystyle \frac{d{k}_2}{dx}}]+P[y_1{\displaystyle \frac{d{k}_1}{dx}}+y_2{\displaystyle \frac{d{k}_2}{dx}}]+{\displaystyle \frac{d{y}_1}{dx}}{\displaystyle \frac{d{k}_1}{dx}}+{\displaystyle \frac{d{y}_2}{dx}}{\displaystyle \frac{d{k}_2}{dx}}=g(x)\end{array}$$

Nuestro propósito es determinar a las funciones $k_1(x)$ y $k_2(x)$ de ($\text{4}$), esto implica que debemos formar un sistema con dos ecuaciones que debemos resolver para obtener dichas funciones. De acuerdo al resultado obtenido vamos a establecer la restricción de que las funciones $k_1$ y $k_2$ satisfacen la relación

$$\begin{array}{}\text{(10)}& y_1{\displaystyle \frac{d{k}_1}{dx}}+y_2{\displaystyle \frac{d{k}_2}{dx}}=0\end{array}$$

Considerando esto la ecuación se reduce a

$$\begin{array}{}\text{(11)}& {\displaystyle \frac{d{y}_1}{dx}}{\displaystyle \frac{d{k}_1}{dx}}+{\displaystyle \frac{d{y}_2}{dx}}{\displaystyle \frac{d{k}_2}{dx}}=g(x)\end{array}$$

Las ecuaciones ($\text{10}$) y ($\text{11}$) corresponden al sistema de dos ecuaciones que debemos resolver.

Como podemos notar, es un sistema para determinar las derivadas de las funciones $k_1$ y $k_2$ y no las funciones mismas, esto implica que una vez que determinemos a las derivadas será necesario hacer una integración a cada una de ellas. Resolvamos el sistema.

Multipliquemos la ecuación ($\text{10}$) por ${\displaystyle \frac{d{y}_2}{dx}}$ y la ecuación ($\text{11}$) por $y_2$.

$$\begin{array}{}\text{(12)}& y_1{\displaystyle \frac{d{k}_1}{dx}}{\displaystyle \frac{d{y}_2}{dx}}+y_2{\displaystyle \frac{d{k}_2}{dx}}{\displaystyle \frac{d{y}_2}{dx}}=0\end{array}$$

$$\begin{array}{}\text{(13)}& y_2{\displaystyle \frac{d{y}_1}{dx}}{\displaystyle \frac{d{k}_1}{dx}}+y_2{\displaystyle \frac{d{y}_2}{dx}}{\displaystyle \frac{d{k}_2}{dx}}=y_{2}g(x)\end{array}$$

Si a la ecuación ($\text{12}$) le restamos la ecuación ($\text{13}$) obtenemos lo siguiente.

$$\begin{array}{}\text{(14)}& {\displaystyle \frac{d{k}_1}{dx}}(y_1{\displaystyle \frac{d{y}_2}{dx}}-y_2{\displaystyle \frac{d{y}_1}{dx}})=-y_2(x)g(x)\end{array}$$

Recordemos que el Wronskiano esta definido como

$$\begin{array}{}\text{(15)}& W(y_1,y_2)=y_1{\displaystyle \frac{d{y}_2}{dx}}-y_2{\displaystyle \frac{d{y}_1}{dx}}\end{array}$$

Entonces la ecuación ($\text{14}$) la podemos escribir como

$$\begin{array}{}\text{(16)}& {\displaystyle \frac{d{k}_1}{dx}}[W(y_1,y_2)]=-y_2(x)g(x)\end{array}$$

Como $y_1$ y $y_2$ forman un conjunto fundamental de soluciones de la ecuación homogénea asociada, entonces

$$W(y_1,y_2)\ne 0$$

Así, de la ecuación ($\text{16}$) obtenemos que

$$\begin{array}{}\text{(17)}& {\displaystyle \frac{d{k}_1}{dx}}=-{\displaystyle \frac{y_2(x)g(x)}{W(y_1,y_2)}}\end{array}$$

Hemos encontrado el valor de la derivada de la función $k_1(x)$, integrando obtenemos finalmente que

$$\begin{array}{}\text{(18)}& k_1(x)=-\int {\displaystyle \frac{y_2(x)g(x)}{W(y_1,y_2)}}dx\end{array}$$

En un proceso totalmente análogo, si multiplicamos a la ecuación ($\text{10}$) por ${\displaystyle \frac{d{y}_1}{dx}}$ y a la ecuación ($\text{11}$) por $y_1$ y realizamos los mismos pasos obtendremos la ecuación para la derivada de la función $k_2(x)$.

$$\begin{array}{}\text{(19)}& {\displaystyle \frac{d{k}_2}{dx}}={\displaystyle \frac{y_1(x)g(x)}{W(y_1,y_2)}}\end{array}$$

Integrando obtendremos la función que buscamos

$$\begin{array}{}\text{(20)}& k_2(x)=\int {\displaystyle \frac{y_1(x)g(x)}{W(y_1,y_2)}}dx\end{array}$$

Sustituyendo los resultados ($\text{18}$) y ($\text{20}$) en la solución particular ($\text{4}$) obtenemos finalmente la solución que buscábamos

$$\begin{array}{}\text{(21)}& y_p(x)=-y_1(x)\int {\displaystyle \frac{y_2(x)g(x)}{W(y_1,y_2)}}dx+y_2(x)\int {\displaystyle \frac{y_1(x)g(x)}{W(y_1,y_2)}}dx\end{array}$$

El resultado ($\text{21}$) corresponde a la solución particular de la ecuación diferencial ($\text{2}$) que, a diferencial del método de coeficientes indeterminados, se aplica para cualquier función $g(x)$, aunque cabe mencionar que si la función $g$ es muy compleja, entonces nos resultará, en algunas ocasiones, complicado resolver las integrales involucradas.

A lo largo del curso hemos motivado a no memorizar las formulas y en su lugar desarrollar el procedimiento del método correspondiente, sin embargo, en esta ocasión se trata de un método muy largo y complicado para usarse cada vez que se intente resolver una ecuación diferencial, por lo que se recomienda seguir los siguientes pasos.

• Primero se determina la solución complementaria $$y_c=c_1{y}_1+c_2{y}_2$$ de la ecuación diferencial homogénea asociada, esto nos permitirá determinar el conjunto fundamental de soluciones $\{y_1,y_2\}$.

• Una vez conocido el conjunto fundamental de soluciones se procede a calcular el Wronskiano $W(y_1,y_2)$.

• Posteriormente se divide la ecuación diferencial por $a_2$ para escribir la ecuación es su forma estándar ($\text{3}$) y así obtener la forma de la función $g(x)$.

• Se sustituyen los valores correspondientes en ($\text{18}$) y ($\text{20}$) para obtener las funciones $k_1$ y $k_2$ respectivamente.

• Finalmente se sustituyen los resultados en la solución particular $$y_p=k_1{y}_1+k_2{y}_2$$ y posteriormente en la solución general $$y=y_c+y_p$$

Cuando se calculan las integrales indefinidas ($\text{18}$) y ($\text{20}$) no es necesario considerar las constantes de integración. Para mostrar esto consideremos las constantes $c_3$ y $c_4$, tales que

$$\begin{array}{rl}y(x)& =y_c(x)+y_p(x)\\ & =c_1{y}_1(x)+c_2{y}_2(x)+[k_1(x)+c_3]y_1(x)+[k_2(x)+c_4]y_2(x)\\ & =[c_1+c_3]y_1(x)+[c_2+c_4]y_2(x)+k_1(x)y_1(x)+k_2(x)y_2(x)\\ & =C_1{y}_1(x)+C_2{y}_2(x)+k_1(x)y_1(x)+k_2(x)y_2(x)\end{array}$$

Es decir, las constantes de la solución complementaria contienen todas las constantes que puedan aparecer en el método.

Realicemos algunos ejemplos.

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

$$3{\displaystyle \frac{d^{2}y}{d{x}^2}}-6{\displaystyle \frac{dy}{dx}}+6y=e^x\sec (x)$$

Solución: El primer paso es obtener la solución complementaria. La ecuación auxiliar es

$$3k^2-6k+6=0$$

De donde $k_1=1+i$ y $k_2=1-i$, identificamos que $\alpha =\beta =1$, entonces la forma de la solución complementaria es

$$y_c(x)=c_1{e}^x\cos (x)+c_2{e}^x\sin (x)$$

El conjunto fundamental de soluciones esta conformado por las funciones

$$y_1(x)=e^x\cos (x)y{y}_2(x)=e^x\sin (x)$$

La derivada de ambas soluciones son

$${\displaystyle \frac{d{y}_1}{dx}}=e^x\cos (x)-e^x\sin (x)y{\displaystyle \frac{d{y}_2}{dx}}=e^x\sin (x)+e^x\cos (x)$$

Usando estos resultados calculemos el Wronskiano.

$$\begin{array}{rl}W& =\left|\begin{array}{cc}{e}^x\cos (x)& e^x\sin (x)\\ e^x\cos (x)-e^x\sin (x)& e^x\sin (x)+e^x\cos (x)\end{array}\right|\\ & =e^{2x}\cos (x)\sin (x)+e^{2x}{\cos }^2(x)-e^{2x}\cos (x)\sin (x)+e^{2x}{\sin }^2(x)\\ & =e^{2x}\end{array}$$

El Wronskiano es

$$W(x)=e^{2x}$$

¡Cuidado!, como en la ecuación diferencial la segunda derivada tiene un coeficiente, debemos dividir toda la ecuación por dicho coeficiente para obtener la forma estándar y así la función $g(x)$. La ecuación en su forma estándar es

$${\displaystyle \frac{d^{2}y}{d{x}^2}}-2{\displaystyle \frac{dy}{dx}}+2y={\displaystyle \frac{e^x\sec (x)}{3}}$$

En este caso la función $g$ es

$$g(x)={\displaystyle \frac{e^x\sec (x)}{3}}$$

Ahora que ya conocemos los valores que necesitábamos, recurrimos a las ecuaciones ($\text{18}$) y ($\text{20}$) para obtener las funciones que buscamos.

Para la función $k_1(x)$, tenemos lo siguiente.

$$\begin{array}{rl}{k}_1(x)& =-\int {\displaystyle \frac{y_2(x)g(x)}{W(y_1,y_2)}}dx\\ & =-\int {\displaystyle \frac{(e^x\sin (x))\left({\displaystyle \frac{e^x\sec (x)}{3}}\right)}{e^{2x}}}dx\\ & =-\int {\displaystyle \frac{e^{2x}\sin (x)\sec (x)}{3e^{2x}}}dx\\ & =-{\displaystyle \frac{1}{3}}\int \tan (x)dx\\ & ={\displaystyle \frac{1}{3}}\ln |\cos (x)|\end{array}$$

La integral de la tangente es común. Por tanto, la función $k_1$ es

$$k_1(x)={\displaystyle \frac{1}{3}}\ln |\cos (x)|$$

Para el caso de la función $k_2(x)$, tenemos lo siguiente.

$$\begin{array}{rl}{k}_2(x)& =\int {\displaystyle \frac{y_1(x)g(x)}{W(y_1,y_2)}}dx\\ & =\int {\displaystyle \frac{(e^x\cos (x))\left({\displaystyle \frac{e^x\sec (x)}{3}}\right)}{e^{2x}}}dx\\ & =\int {\displaystyle \frac{e^{2x}\cos (x)\sec (x)}{3e^{2x}}}dx\\ & ={\displaystyle \frac{1}{3}}\int dx\\ & ={\displaystyle \frac{1}{3}}x\end{array}$$

La función $k_2$ es

$$k_2(x)={\displaystyle \frac{1}{3}}x$$

Ya podemos establecer que la solución particular, de acuerdo a ($\text{4}$), es

$$y_p(x)={\displaystyle \frac{1}{3}}\ln |\cos (x)|[e^x\cos (x)]+{\displaystyle \frac{1}{3}}x[e^x\sin (x)]$$

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

$$3{\displaystyle \frac{d^{2}y}{d{x}^2}}-6{\displaystyle \frac{dy}{dx}}+6y=e^x\sec (x)$$

es

$$y(x)=c_1{e}^x\cos (x)+c_2{e}^x\sin (x)+{\displaystyle \frac{1}{3}}{e}^x\cos (x)\ln |\cos (x)|+{\displaystyle \frac{1}{3}}x{e}^x\sin (x)$$

$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◻"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fb.svg">}$

Con este ejemplo encontramos un buen momento para reflexionar y darnos cuenta de que ya hemos avanzado mucho, tan sólo observa el tipo de ecuación que acabamos de resolver y no sólo eso, observa que tan compleja es la solución general.

¡Sigamos adelante!.

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

$${\displaystyle \frac{d^{2}y}{d{x}^2}}+2{\displaystyle \frac{dy}{dx}}+y={\displaystyle \frac{e^{-x}}{x}}$$

Solución: Como la ecuación ya está es su forma estándar la función $g$ es

$$g(x)={\displaystyle \frac{e^{-x}}{x}}$$

Determinemos la solución complementaria, la ecuación auxiliar es

$$k^2+2k+1=0$$

De donde $k_1=k_2=-1$, la multiplicidad de la solución nos indica que la forma de la solución complementaria es

$$y_c(x)=c_1{e}^{-x}+c_{2}x{e}^{-x}$$

El conjunto fundamental de soluciones esta conformado por las funciones

$$y_1(x)=e^{-x}y{y}_2(x)=x{e}^{-x}$$

Usando estas soluciones y sus derivadas calculemos el Wronskiano.

$$\begin{array}{rl}W& =\left|\begin{array}{cc}{e}^{-x}& x{e}^{-x}\\ -e^{-x}& e^{-x}-x{e}^{-x}\end{array}\right|\\ & =e^{-2x}-x{e}^{2x}+x{e}^{-2x}\\ & =e^{-2x}\end{array}$$

El Wronskiano es

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

Sustituyamos estos resultados directamente en la ecuación ($\text{21}$).

$$\begin{array}{rl}{y}_p(x)& =-e^{-x}\int {\displaystyle \frac{\left(x{e}^{-x}\right)\left({\displaystyle \frac{e^{-x}}{x}}\right)}{e^{-2x}}}dx+x{e}^{-x}\int {\displaystyle \frac{\left(e^{-x}\right)\left({\displaystyle \frac{e^{-x}}{x}}\right)}{e^{-2x}}}dx\\ & =-e^{-x}\int dx+x{e}^{-x}\int {\displaystyle \frac{dx}{x}}\\ & =-x{e}^{-x}+x{e}^{-x}\ln (x)\end{array}$$

La solución particular es

$$y_p(x)=-x{e}^{-x}+x{e}^{-x}\ln (x)$$

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

$$y(x)=c_1{e}^{-x}+c_{2}x{e}^{-x}-x{e}^{-x}+x{e}^{-x}\ln (x)$$

$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◻"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fb.svg">}$

Un ejemplo más.

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

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

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

$$g(x)=4x^3{e}^x$$

y la ecuación auxiliar es

$$k^2-1=0$$

De donde $k_1=1$ y $k_2=-1$. Entonces, la solución complementaria es

$$y_c(x)=c_1{e}^x+c_2{e}^{-x}$$

El conjunto fundamental de soluciones esta conformado por

$$y_1(x)=e^{x}y{y}_2(x)=e^{-x}$$

Usando estas funciones y sus derivadas calculemos el Wronskiano.

$$\begin{array}{rl}W& =\left|\begin{array}{cc}{e}^x& e^{-x}\\ e^x& -e^{-x}\end{array}\right|=-2\end{array}$$

El Wronskiano es $W=-2$. Sustituyendo estos resultados directamente en la ecuación ($\text{21}$), obtenemos lo siguiente.

$$\begin{array}{rl}{y}_p(x)& =-e^x\int {\displaystyle \frac{(e^{-x})(4x^3{e}^x)}{-2}}dx+e^{-x}\int {\displaystyle \frac{(e^x)(4x^3{e}^x)}{-2}}dx\\ & =2e^x\int x^{3}dx-2e^{-x}\int x^3{e}^{2x}dx\\ & ={\displaystyle \frac{1}{2}}{x}^4{e}^x-2e^{-x}\int x^3{e}^{2x}dx\end{array}$$

La integral que nos falta se puede resolver por partes tomando $u=x^2$ y $v^{\prime }=e^{2x}$. Resolviendo la integral obtendremos lo siguiente.

$$\int x^3{e}^{2x}dx={\displaystyle \frac{1}{2}}{e}^{2x}{x}^3-{\displaystyle \frac{3}{4}}{e}^{2x}{x}^2+{\displaystyle \frac{3}{4}}{e}^{2x}x-{\displaystyle \frac{3}{8}}{e}^{2x}$$

Sustituyendo en la solución particular tenemos

$$\begin{array}{rl}{y}_p(x)& ={\displaystyle \frac{1}{2}}{x}^4{e}^x-2e^{-x}({\displaystyle \frac{1}{2}}{e}^{2x}{x}^3-{\displaystyle \frac{3}{4}}{e}^{2x}{x}^2+{\displaystyle \frac{3}{4}}{e}^{2x}x-{\displaystyle \frac{3}{8}}{e}^{2x})\\ & ={\displaystyle \frac{1}{2}}{x}^4{e}^x-x^3{e}^x+{\displaystyle \frac{3}{2}}{x}^2{e}^x-{\displaystyle \frac{3}{2}}x{e}^x+{\displaystyle \frac{3}{4}}{e}^x\end{array}$$

Finalmente obtenemos como solución particular a la función

$$y_p(x)=e^x({\displaystyle \frac{1}{2}}{x}^4-x^3+{\displaystyle \frac{3}{2}}{x}^2-{\displaystyle \frac{3}{2}}x+{\displaystyle \frac{3}{4}})$$

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

$$y(x)=c_1{e}^x+c_2{e}^{-x}+e^x({\displaystyle \frac{1}{2}}{x}^4-x^3+{\displaystyle \frac{3}{2}}{x}^2-{\displaystyle \frac{3}{2}}x+{\displaystyle \frac{3}{4}})$$

Este resultado es válido, sin embargo se puede simplificar más, ya que se puede reescribir a la solución como

$$y(x)=e^x(c_1+{\displaystyle \frac{3}{4}})+c_2{e}^{-x}+e^x({\displaystyle \frac{1}{2}}{x}^4-x^3+{\displaystyle \frac{3}{2}}{x}^2-{\displaystyle \frac{3}{2}}x)$$

y definir la constante $C_1=c_1+{\displaystyle \frac{3}{4}}$ para finalmente escribir la solución como

$$y(x)=C_1{e}^x+c_2{e}^{-x}+e^x({\displaystyle \frac{1}{2}}{x}^4-x^3+{\displaystyle \frac{3}{2}}{x}^2-{\displaystyle \frac{3}{2}}x)$$

$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◻"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fb.svg">}$

Variación de parámetros en ecuaciones de orden superior

Este método se puede generalizar a ecuaciones de orden $n$ aunque, por su puesto, los cálculos se vuelven más extensos.

A continuación mostraremos el panorama general para ecuaciones diferenciales de orden $n$ y mostraremos los resultados para el caso $n=3$ que nos mostrará la forma en que aumenta la complejidad de los cálculos.

La ecuación de orden $n$ es su forma estándar es

$$\begin{array}{}\text{(22)}& {\displaystyle \frac{d^{n}y}{d{x}^n}}+P_{n-1}(x){\displaystyle \frac{d^{n-1}y}{d{x}^{n-1}}}+\cdots +P_1(x){\displaystyle \frac{dy}{dx}}+P_0(x)y=g(x)\end{array}$$

Si la solución complementaria de ($\text{22}$) es

$$\begin{array}{}\text{(23)}& y_c(x)=c_1{y}_1(x)+c_2{y}_2(x)+\cdots +c_n{y}_n(x)\end{array}$$

Entonces una solución particular debe ser

$$\begin{array}{}\text{(24)}& y_p(x)=k_1(x)y_1(x)+k_2(x)y_2(x)+\cdots +k_n(x)y_n(x)\end{array}$$

Análogo a las ecuaciones ($\text{10}$) y ($\text{11}$), las derivadas ${\displaystyle \frac{d{k}_i}{dx}}=k_i^{\prime }$ con $i=1,2,\cdots ,n$ se determinan del sistema de $n$ ecuaciones

$$\begin{array}{rl}{y}_1{k}_1^{\prime }+y_2{k}_2^{\prime }+\cdots +y_n{k}_n^{\prime }& =0\\ y_1^{\prime }{k}_1^{\prime }+y_2^{\prime }{k}_2^{\prime }+\cdots +y_n^{\prime }{k}_n^{\prime }& =0\\ ⋮\\ \text{(25)}& y_1^{(n-1)}{k}_1^{\prime }+y_2^{(n-1)}{k}_2^{\prime }+\cdots +y_n^{(n-1)}{k}_n^{\prime }& =g(x)\end{array}$$

Al igual que el caso de segundo orden, las primeras $n-1$ ecuaciones del sistema son suposiciones que se hacen para simplificar la ecuación resultante de sustituir la solución ($\text{24}$) en la ecuación ($\text{22}$).

Usando la regla de Cramer para resolver el sistema se obtiene que

$$\begin{array}{}\text{(26)}& {\displaystyle \frac{d{k}_i}{dx}}={\displaystyle \frac{W_i}{W}};i=1,2,\cdots ,n\end{array}$$

Donde $W$ es el Wronskiano del conjunto fundamental $\{y_1(x),y_2(x),\cdots ,y_n(x)\}$ y $W_i$ es el determinante que se obtiene de remplazar la $i$-ésima columna del Wronskiano por la columna formada por el lado derecho de ($\text{25}$), es decir, la columna que consta de $(0,0,\cdots ,g(x))$.

Para que quede más claro lo anterior, en el caso $n=3$ las ${\displaystyle \frac{d{k}_i}{dx}}$, $i=1,2,3$ quedan como

$$\begin{array}{}\text{(27)}& {\displaystyle \frac{d{k}_1}{dx}}={\displaystyle \frac{W_1}{W}},{\displaystyle \frac{d{k}_2}{dx}}={\displaystyle \frac{W_2}{W}},{\displaystyle \frac{d{k}_3}{dx}}={\displaystyle \frac{W_3}{W}}\end{array}$$

Donde

$$\begin{array}{}\text{(28)}& W=\left|\begin{array}{ccc}{y}_1& y_2& y_3\\ y_1^{\prime }& y_2^{\prime }& y_3^{\prime }\\ y_1^{\prime \prime }& y_2^{\prime \prime }& y_3^{\prime \prime }\end{array}\right|\end{array}$$

y

$$\begin{array}{r}{W}_1=\left|\begin{array}{ccc}0& y_2& y_3\\ 0& y_2^{\prime }& y_3^{\prime }\\ g(x)& y_2^{\prime \prime }& y_3^{\prime \prime }\end{array}\right|,W_2=\left|\begin{array}{ccc}{y}_1& 0& y_3\\ y_1^{\prime }& 0& y_3^{\prime }\\ y_1^{\prime \prime }& g(x)& y_3^{\prime \prime }\end{array}\right|,W_3=\left|\begin{array}{ccc}{y}_1& y_2& 0\\ y_1^{\prime }& y_2^{\prime }& 0\\ y_1^{\prime \prime }& y_2^{\prime \prime }& g(x)\end{array}\right|\end{array}$$

Habrá que integrar las ecuaciones de ($\text{27}$) para obtener las funciones $k_i$, $i=1,2,3$ y así obtener la solución particular

$$\begin{array}{}\text{(29)}& y_p(x)=k_1(x)y_1(x)+k_2(x)y_2(x)+k_3(x)y_3(x)\end{array}$$

Notemos que usando esta notación, los resultados ($\text{17}$) y ($\text{19}$) del caso $n=2$ se pueden escribir como

$$\begin{array}{}\text{(30)}& {\displaystyle \frac{d{k}_1}{dx}}={\displaystyle \frac{W_1}{W}}=-{\displaystyle \frac{y_{2}g(x)}{W}}y{\displaystyle \frac{d{k}_2}{dx}}={\displaystyle \frac{W_2}{W}}={\displaystyle \frac{y_{1}g(x)}{W}}\end{array}$$

Donde

$$\begin{array}{}\text{(31)}& W=\left|\begin{array}{cc}{y}_1& y_2\\ y_1^{\prime }& y_2^{\prime }\end{array}\right|,W_1=\left|\begin{array}{cc}0& y_2\\ g(x)& y_2^{\prime }\end{array}\right|y{W}_2=\left|\begin{array}{cc}{y}_1& 0\\ y_1^{\prime }& g(x)\end{array}\right|\end{array}$$

Realicemos un ejemplo con una ecuación de orden $3$.

Ejemplo: Resolver la ecuación diferencial de tercer orden

$${\displaystyle \frac{d^{3}y}{d{x}^3}}+{\displaystyle \frac{dy}{dx}}=\tan (x)$$

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

$$g(x)=\tan (x)$$

y la ecuación auxiliar es

$$k^3+k=k(k^2+1)=0$$

De donde $k_1=0$, $k_2=i$ y $k_3=-i$. Dos raíces son complejas conjugadas con $\alpha =0$ y $\beta =1$. La primer raíz nos indica que la forma de una solución es

$$y_1(x)=e^{k_{1}x}=1$$

mientras que las dos raíces restantes nos indican dos solución de la forma

$$y_2(x)=e^{\alpha x}\cos (\beta x)=\cos (x)$$

y

$$y_3(x)=e^{\alpha x}\sin (\beta x)=\sin (x)$$

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

$$y_c(x)=c_1+c_2\cos (x)+c_3\sin (x)$$

Como vimos, el conjunto fundamental de soluciones es $\{y_1=1,y_2=\cos (x),y_3=\sin (x)\}$, las primeras y segundas derivadas correspondientes son

$${\displaystyle \frac{d{y}_1}{dx}}=0,{\displaystyle \frac{d{y}_2}{dx}}=-\sin (x),{\displaystyle \frac{d{y}_3}{dx}}=\cos (x)$$

y

$${\displaystyle \frac{d^2{y}_1}{d{x}^2}}=0,{\displaystyle \frac{d^2{y}_2}{d{x}^2}}=-\cos (x),{\displaystyle \frac{d^2{y}_3}{d{x}^2}}=-\sin (x)$$

Ahora calculemos los determinantes correspondientes, el primero de ellos es el Wronskiano

$$W=\left|\begin{array}{ccc}1& \cos (x)& \sin (x)\\ 0& -\sin (x)& \cos (x)\\ 0& -\cos (x)& -\sin (x)\end{array}\right|={\sin }^2(x)+{\cos }^2(x)=1$$

Para el resto de determinantes, tenemos

$$W_1=\left|\begin{array}{ccc}0& \cos (x)& \sin (x)\\ 0& -\sin (x)& \cos (x)\\ \tan (x)& -\cos (x)& -\sin (x)\end{array}\right|=\tan (x)[{\cos }^2(x)+{\sin }^2(x)]=\tan (x)$$

$$W_2=\left|\begin{array}{ccc}1& 0& \sin (x)\\ 0& 0& \cos (x)\\ 0& \tan (x)& -\sin (x)\end{array}\right|=-\cos (x)\tan (x)=-\sin (x)$$

y

$$W_3=\left|\begin{array}{ccc}1& \cos (x)& 0\\ 0& -\sin (x)& 0\\ 0& -\cos (x)& \tan (x)\end{array}\right|=-\sin (x)\tan (x)=-{\displaystyle \frac{{\sin }^2(x)}{\cos (x)}}$$

Sustituyendo estos resultados en ($\text{27}$), obtenemos

$${\displaystyle \frac{d{k}_1}{dx}}=\tan (x),{\displaystyle \frac{d{k}_2}{dx}}=-\sin (x),{\displaystyle \frac{d{k}_3}{dx}}=-{\displaystyle \frac{{\sin }^2(x)}{\cos (x)}}$$

Procedemos a integrar cada ecuación (sin considerar constantes) para obtener las funciones que buscamos.

La primer integral es común,

$$k_1(x)=\int \tan (x)dx=-\ln |\cos (x)|$$

La segunda integral es directa

$$k_2(x)=-\int \sin (x)dx=\cos (x)$$

Mientras que para la tercer integral si se requiere de un mayor cálculo.

$$\begin{array}{rl}{k}_3(x)& =-\int {\displaystyle \frac{{\sin }^2(x)}{\cos (x)}}dx\\ & =-\int {\displaystyle \frac{1-{\cos }^2(x)}{\cos (x)}}dx\\ & =-\int {\displaystyle \frac{1}{\cos (x)}}dx+\int \cos (x)dx\end{array}$$

Por un lado

$$-\int {\displaystyle \frac{1}{\cos (x)}}dx=-\int \sec (x)dx=-\ln |\tan (x)+\sec (x)|$$

por otro lado,

$$\int \cos (x)dx=\sin (x)$$

entonces

$$k_3(x)=-\ln |\tan (x)+\sec (x)|+\sin (x)$$

Ahora que conocemos las funciones incógnita concluimos que la solución particular de la ecuación diferencial es

$$\begin{array}{rl}{y}_p(x)& =-\ln |\cos (x)|(1)+\cos (x)[\cos (x)]+[-\ln |\tan (x)+\sec (x)|+\sin (x)](\sin (x))\\ & =-\ln |\cos (x)|+{\cos }^2(x)-\sin (x)\ln |\tan (x)+\sec (x)|+{\sin }^2(x)\\ & =-\ln |\cos (x)|-\sin (x)\ln |\tan (x)+\sec (x)|\end{array}$$

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

$$y(x)=c_1+c_2\cos (x)+c_3\sin (x)-\ln |\cos (x)|-\sin (x)\ln |\tan (x)+\sec (x)|$$

$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◻"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fb.svg">}$

Como podemos notar, los cálculos se hacen más extensos, sin embargo los pasos a seguir son los mismos para cualquier orden.

El método de variación de parámetros, a diferencia del método de coeficientes indeterminados, tiene la ventaja de que siempre produce una solución de la ecuación diferencial independientemente de la forma de la función $g(x)$, siempre y cuando se pueda resolver la ecuación homogénea asociada. Además, el método de variación de parámetros es aplicable a ecuaciones diferenciales lineales con coeficientes variables.

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.

1. Obtener la solución general de las siguientes ecuaciones diferenciales.

• ${\displaystyle \frac{d^{2}y}{d{x}^2}}-9{\displaystyle \frac{dy}{dx}}=18x^2{e}^{9x}$

• ${\displaystyle \frac{d^{2}y}{d{x}^2}}+9y=18e^x\sin (x)$

• $4{\displaystyle \frac{d^{2}y}{d{x}^2}}-4{\displaystyle \frac{dy}{dx}}+y=e^{x/2}\sqrt{1-x^2}$

2. Resolver las siguientes ecuaciones diferenciales para las condiciones iniciales dadas.

• ${\displaystyle \frac{d^{2}y}{d{x}^2}}-3{\displaystyle \frac{dy}{dx}}=12e^{4x}(x+1);y(0)=0,y^{\prime }(0)=4$

• ${\displaystyle \frac{d^{2}y}{d{x}^2}}+{\displaystyle \frac{dy}{dx}}-6y=10e^x\sin (x);y(0)={\displaystyle \frac{2}{17}},y^{\prime }(0)=0$

3. Obtener la solución general de las siguientes ecuaciones diferenciales de tercer orden. Simplificar la forma de la solución redefiniendo las constantes.

• ${\displaystyle \frac{d^{3}y}{d{x}^3}}+4{\displaystyle \frac{dy}{dx}}=\sec (2x)$

• ${\displaystyle \frac{d^{3}y}{d{x}^3}}+{\displaystyle \frac{d^{2}y}{d{x}^2}}-{\displaystyle \frac{dy}{dx}}-y=2e^{-x}$

Más adelante…

Hemos concluido con el estudio de las ecuaciones diferenciales lineales de orden superior con coeficientes constantes.

Lo que sigue es estudiar este mismo tipo de ecuaciones, pero en el caso en el que los coeficientes no son constantes, es decir, son coeficientes variables. Estas ecuaciones suelen ser mucho más difícil de resolver, sin embargo existe un tipo de ecuación especial, conocida como ecuación de Cauchy – Euler, que contiene coeficientes variables, pero que su método de resolución es bastante similar a lo que hemos desarrollado en el caso de coeficientes constantes, pues su resolución involucra resolver una ecuación auxiliar. En la siguiente entrada estudiaremos dicha ecuación.

Entradas relacionadas

• Página principal del curso: Ecuaciones Diferenciales I
• Entrada anterior del curso: Ecuaciones lineales no homogéneas de segundo orden – Método de coeficientes indeterminados
• Siguiente entrada del curso: Ecuación de Cauchy – Euler

• Video relacionado al tema: Ecuaciones lineales no homogéneas de segundo orden. Solución por variación de parámetros

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»