Archivo de la etiqueta: Conjunto fundamental de soluciones

Ecuaciones Diferenciales I: Valores y vectores propios para resolver sistemas lineales

Por Omar González Franco

En la vida real, te lo aseguro, no hay algo como el álgebra.
– Fran Lebowitz

Introducción

Ya hemos dado inicio con el desarrollo de métodos de resolución de sistemas lineales de primer orden. En la entrada anterior desarrollamos el método de eliminación de variables que, a pesar de ser muy limitado, es un método sencillo y práctico para resolver sistemas con dos ecuaciones diferenciales lineales de primer orden.

Debido a que un sistema lineal puede ser visto como una ecuación matricial los resultados de álgebra lineal sobre valores y vectores propios de matrices pueden ser aplicados aquí. En esta entrada daremos un breve repaso sobre estos conceptos y veremos cómo es que estos resultados nos pueden ayudar a determinar la solución general de algunos sistemas de ecuaciones diferenciales.

La teoría que desarrollaremos a continuación es aplicable a sistemas lineales homogéneos con coeficientes constantes.

Sistemas lineales homogéneos

Un sistema lineal homogéneo con coeficientes constantes es de la forma

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

Si $A$ es la matriz de $n \times n$ con componentes constantes

$\begin{matrix} (2) & A = (\begin{matrix} a_{11} & a_{12} & \dots & a_{1 n} \\ a_{21} & a_{22} & \dots & a_{2 n} \\ ⋮ & ⋮ \\ a_{n 1} & a_{n 2} & \dots & a_{n n} \end{matrix}) \end{matrix}$

entonces el sistema lineal a resolver es

$\begin{matrix} (3) & Y^{'} = AY \end{matrix}$

En la segunda entrada de esta unidad vimos que la solución general del sistema lineal homogéneo

$Y^{'} = (\begin{matrix} 1 & 1 & 0 \\ 1 & 1 & 0 \\ 0 & 0 & 3 \end{matrix}) Y$

$Y (t) = c_{1} (\begin{matrix} 1 \\ - 1 \\ 0 \end{matrix}) e^{0 t} + c_{2} (\begin{matrix} 1 \\ 1 \\ 0 \end{matrix}) e^{2 t} + c_{3} (\begin{matrix} 0 \\ 0 \\ 1 \end{matrix}) e^{3 t}$

Y en la entrada anterior vimos que la solución del sistema lineal homogéneo

$Y^{'} = (\begin{matrix} 4 & - 1 \\ 2 & 1 \end{matrix}) Y$

$Y (t) = c_{1} (\begin{matrix} 1 \\ 2 \end{matrix}) e^{2 t} + c_{2} (\begin{matrix} 1 \\ 1 \end{matrix}) e^{3 t}$

Aunque para el primer caso aún no sabemos cómo obtener esa solución lo que sabemos es que efectivamente corresponde a la solución general del sistema homogéneo. Notemos que cada vector solución es de la forma

$Y_{i} = (\begin{matrix} k_{1} \\ k_{2} \\ k_{3} \end{matrix}) e^{λ_{i} t}, i = 1, 2, 3$

donde $k_{i}$ y $λ_{i}$ , $i = 1, 2, 3$ , son constantes. Lo mismo para el segundo caso, con $k_{i}$ , $λ_{i}$ , $i = 1, 2$ , constantes. Esta particularidad nos hace preguntarnos si siempre es posible hallar una solución de la forma

$\begin{matrix} (4) & Y (t) = (\begin{matrix} k_{1} \\ k_{2} \\ ⋮ \\ k_{n} \end{matrix}) e^{λ t} = K e^{λ t} \end{matrix}$

como solución general del sistema lineal ( $3$ ).

La respuesta es que sí, pero antes de continuar con nuestro desarrollo nos parece pertinente repasar brevemente algunos conceptos de Álgebra Lineal, en particular el de valores y vectores propios.

Valores y vectores propios

Sea $T : V \to W$ una transformación lineal, en álgebra lineal muchas veces resulta útil encontrar un vector $v$ en el espacio vectorial $V$ tal que $T v$ y $v$ sean paralelos, es decir, se busca un vector $v$ y un escalar $λ$ , tal que

$\begin{matrix} (5) & T v = λ v \end{matrix}$

Recordemos que si $v \neq 0$ y $λ$ satisfacen la ecuación ( $5$ ), entonces $λ$ se denomina un valor característico o valor propio de $T$ y $v$ un vector característico o vector propio de $T$ correspondiente al valor propio $λ$ .

También recordemos que si $V$ tiene dimensión finita, entonces la transformación $T$ se puede representar por una matriz $A_{T}$ , de manera que se pueden definir los valores y vectores propios de esta matriz.

Denotaremos con $M_{n \times n}$ al conjunto de todas las matrices cuadradas de $n \times n$ con componentes reales y constantes.

Definición: Sea

A \in M_{n \times n}

. El número

λ

(real o complejo) se denomina valor propio de

A

si existe un vector diferente de cero

v

V

, tal que

\begin{matrix} (6) & Av = λ v \end{matrix}

El vector

v \neq 0

se denomina vector propio de

A

correspondiente al valor propio

λ

Como nota interesante, los valores y vectores propios también son conocidos como valores y vectores característicos o eigenvalores y eigenvectores, donde el término eigen es un término alemán que significa propio. En este curso los llamaremos valores y vectores propios.

Recordemos nuevamente el concepto de matriz inversa.

Definición: Sean

A

B

dos matrices de

M_{n \times n}

. Suponiendo que

AB = BA = I

Con

I

la matriz identidad. Entonces

B

se llama la matriz inversa de

A

y se denota por

A^{- 1}

\begin{matrix} (7) & {AA}^{- 1} = A^{- 1} A = I \end{matrix}

Definición: Si

A

tiene inversa, entonces se dice que

A

es invertible.

Definición: Una matriz cuadrada que no es invertible se le denomina singular y una matriz invertible se llama no singular.

Para el caso especial $A = I$ , con $I$ la matriz identidad, se tiene que para cualquier vector $v \in V$

$\begin{matrix} (8) & Av = Iv = v \end{matrix}$

Así, el único valor propio de $A$ es $1$ y todo $v \neq 0 \in V$ es un vector propio de $I$ .

Otra observación interesante es que cualquier múltiplo de un vector propio de $A$ es también un vector propio de $A$ , con el mismo valor propio.

$\begin{matrix} (9) & A (c v) = c Av = c λ v = λ (c v) \end{matrix}$

Ecuación característica

Supongamos que $λ$ es un valor propio de $A$ , entonces existe un vector diferente de cero

$v = (\begin{matrix} v_{1} \\ v_{2} \\ ⋮ \\ v_{n} \end{matrix}) \neq 0$

tal que

$\begin{matrix} (10) & Av = λ v = λ Iv \end{matrix}$

Reescribiendo esto, se tiene

$\begin{matrix} (11) & (A - λ I) v = 0 \end{matrix}$

Si $A$ es una matriz de $n \times n$ , la ecuación anterior corresponde a un sistema homogéneo de $n$ ecuaciones con las incógnitas $v_{1}, v_{2}, \dots, v_{n}$ . Como se ha supuesto que $v \neq 0$ , entonces el sistema no tiene solución trivial y por tanto el determinante de ( $11$ ) debe ser cero.

$\begin{matrix} (12) & | A - λ I | = 0 \end{matrix}$

De manera equivalente, si ocurre que $| A - λ I | \neq 0$ , entonces la única solución a ( $11$ ) es la trivial $v = 0$ , lo que significa que $λ$ no es un valor propio de $A$ .

Estos resultados quedan establecidos en el siguiente teorema.

Teorema: Sea

A \in M_{n \times n}

, entonces

λ

es un valor propio de

A

si y sólo si

\begin{matrix} (13) & P (λ) = | A - λ I | = 0 \end{matrix}

La relación ( $13$ ) es muy importante, tanto que merece nombres particulares.

Definición: La relación (

13

) se denomina ecuación característica de

A

Definición: El polinomio

P (λ)

dado por (

13

) se denomina polinomio característico de

A

El polinomio $P (λ)$ es del mismo grado que el número de filas y columnas de la matriz $A$ . Si $A \in M_{n \times n}$ , entonces $P (λ)$ es un polinomio de grado $n$ en $λ$ . Por ejemplo, si

$\begin{matrix} (14) & A = (\begin{matrix} a & b \\ c & d \end{matrix}) \end{matrix}$

entonces,

$\begin{matrix} (15) & A - λ I = (\begin{matrix} a & b \\ c & d \end{matrix}) - (\begin{matrix} λ & 0 \\ 0 & λ \end{matrix}) = (\begin{matrix} a - λ & b \\ c & d - λ \end{matrix}) \end{matrix}$

$\begin{aligned} P (λ) & = | A - λ I | \\ = (a - λ) (d - λ) - b c \\ (16) & = λ^{2} - (a + d) λ + (a d - b c) \end{aligned}$

La matriz es de $2 \times 2$ y el polinomio característico es un polinomio de grado $2$ .

El teorema fundamental del álgebra nos dice que cualquier polinomio de grado $n$ con coeficientes reales o complejos tiene exactamente $n$ raíces contando multiplicidades y dado que cualquier valor propio de $A$ es una raíz de la ecuación característica de $A$ , se concluye que, contando multiplicidades, toda matriz $A \in M_{n \times n}$ tiene exactamente $n$ valores propios.

Realicemos dos ejemplos sencillos en donde determinemos los valores y vectores propios de una matriz. Uno en donde los valores propios sean distintos (con multiplicidad $1$ ) y uno en donde los valores propios sean números complejos.

Ejemplo: Determinar los valores y vectores propios de la siguiente matriz.

$A = (\begin{matrix} - 81 & 16 \\ - 420 & 83 \end{matrix})$

Solución: De acuerdo a ( $13$ ), determinemos la ecuación característica.

$| \begin{matrix} - 81 - λ & 16 \\ - 420 & 83 - λ \end{matrix} | = (- 81 - λ) (83 - λ) - 16 (- 420) = 0$

Reordenando obtenemos que la ecuación característica es

$λ^{2} - 2 λ - 3 = 0$

y el polinomio característico es

$P (λ) = λ^{2} - 2 λ - 3$

Resolviendo para $λ$ se obtienen las raíces $λ_{1} = - 1$ y $λ_{2} = 3$ . Para obtener los vectores propios buscamos un vector $v \neq 0$ , tal que se cumpla ( $11$ ) para cada valor propio $λ$ . Comencemos con $λ_{1}$ .

Caso 1: $λ_{1} = - 1$ .

$(\begin{matrix} - 81 - (- 1) & 16 \\ - 420 & 83 - (- 1) \end{matrix}) (\begin{matrix} v_{1} \\ v_{2} \end{matrix}) = (\begin{matrix} - 80 & 16 \\ - 420 & 84 \end{matrix}) (\begin{matrix} v_{1} \\ v_{2} \end{matrix}) = (\begin{matrix} 0 \\ 0 \end{matrix})$

Este resultado lo podemos escribir como las siguientes dos ecuaciones.

$\begin{aligned} - 80 v_{1} + 16 v_{2} & = 0 \\ - 420 v_{1} + 84 v_{2} & = 0 \end{aligned}$

Que en realidad corresponden a una sola.

$\begin{aligned} - 5 v_{1} + v_{2} & = 0 \\ v_{2} & = 5 v_{1} \end{aligned}$

Si elegimos $v_{1} = 1$ , entonces $v_{2} = 5$ , así el primer vector propio es

$v_{1} = (\begin{matrix} 1 \\ 5 \end{matrix})$

Caso 2: $λ_{2} = 3$ .

$(\begin{matrix} - 81 - 3 & 16 \\ - 420 & 83 - 3 \end{matrix}) (\begin{matrix} v_{1} \\ v_{2} \end{matrix}) = (\begin{matrix} - 84 & 16 \\ - 420 & 80 \end{matrix}) (\begin{matrix} v_{1} \\ v_{2} \end{matrix}) = (\begin{matrix} 0 \\ 0 \end{matrix})$

La ecuación que se obtiene es

$\begin{aligned} - 21 v_{1} + 4 v_{2} & = 0 \\ v_{2} & = \frac{21}{4} v_{1} \end{aligned}$

Por conveniencia elegimos $v_{1} = 4$ , entonces $v_{2} = 21$ , así

$v_{2} = (\begin{matrix} 4 \\ 21 \end{matrix})$

En conclusión, los valores y vectores propios de la matriz $A$ son $λ_{1} = - 1$ , $λ_{2} = 3$ , $v_{1} = (\begin{matrix} 1 \\ 5 \end{matrix})$ y $v_{2} = (\begin{matrix} 4 \\ 21 \end{matrix})$ , respectivamente.

Realicemos el segundo ejemplo.

Ejemplo: Determinar los valores y vectores propios de la siguiente matriz.

$A = (\begin{matrix} 2 & - 1 \\ 5 & - 2 \end{matrix})$

Solución: Determinemos la ecuación característica.

$| \begin{matrix} 2 - λ & - 1 \\ 5 & - 2 - λ \end{matrix} | = (2 - λ) (- 2 - λ) + 5 = 0$

La ecuación característica es

$λ^{2} + 1 = 0$

De donde $λ_{1} = i$ y $λ_{2} = - i$ . Determinemos los vectores propios.

Caso 1: $λ_{1} = i$ .

$(\begin{matrix} 2 - i & - 1 \\ 5 & - 2 - i \end{matrix}) (\begin{matrix} v_{1} \\ v_{2} \end{matrix}) = (\begin{matrix} 0 \\ 0 \end{matrix})$

Las ecuaciones que se obtienen son

$\begin{aligned} (2 - i) v_{1} - v_{2} & = 0 \\ 5 v_{1} - (2 + i) v_{2} & = 0 \end{aligned}$

Resolviendo el sistema se obtiene que $v_{1} = 2 + i$ y $v_{2} = 5$ , así

$v_{1} = (\begin{matrix} 2 + i \\ 5 \end{matrix})$

Caso 2: $λ_{2} = - i$

$(\begin{matrix} 2 + i & - 1 \\ 5 & - 2 + i \end{matrix}) (\begin{matrix} v_{1} \\ v_{2} \end{matrix}) = (\begin{matrix} 0 \\ 0 \end{matrix})$

Las ecuaciones que se obtienen son

$\begin{aligned} (2 + i) v_{1} - v_{2} & = 0 \\ 5 v_{1} + (- 2 + i) v_{2} & = 0 \end{aligned}$

Resolviendo el sistema se obtiene que $v_{1} = 2 - i$ y $v_{2} = 5$ , así

$v_{2} = (\begin{matrix} 2 - i \\ 5 \end{matrix})$

En caso de requerir conocer más a fondo sobre el algoritmo que llevamos a cabo para obtener los valores y vectores propios de una matriz se recomienda revisar directamente en el curso de Álgebra Lineal I. Recordemos que aquí sólo estamos haciendo un breve repaso.

Para concluir con nuestro repaso, enunciemos un teorema de suma importancia que nos será de utilidad mas adelante. Haremos la demostración por inducción.

Teorema: Sea

A \in M_{n \times n}

y sean

λ_{1}, λ_{2}, \dots, λ_{m}

valores propios distintos de

A

(

λ_{i} \neq λ_{j}

i \neq j

) con vectores propios correspondientes

v_{1}, v_{2}, \dots, v_{m}

, entonces los vectores

v_{1}, v_{2}, \dots, v_{m}

son linealmente independientes.

Demostración: Como el caso $m = 1$ se trata de un solo vector es evidente que se satisface el teorema, hagamos el caso $m = 2$ , para ello consideremos la combinación lineal

$\begin{matrix} (17) & c_{1} v_{1} + c_{2} v_{2} = 0 \end{matrix}$

Multipliquemos ambos lados de la ecuación por la matriz $A$ .

$\begin{matrix} (18) & c_{1} {Av}_{1} + c_{2} {Av}_{2} = 0 \end{matrix}$

Como ${Av}_{i} = λ_{i} v_{i}$ , para $i = 1, 2$ , entonces

$\begin{matrix} (19) & c_{1} λ_{1} v_{1} + c_{2} λ_{2} v_{2} = 0 \end{matrix}$

A la ecuación ( $17$ ) la multiplicamos por $λ_{1}$ y la restamos de la ecuación ( $19$ ).

$(c_{1} λ_{1} v_{1} + c_{2} λ_{2} v_{2}) - (c_{1} λ_{1} v_{1} - c_{2} λ_{1} v_{2}) = 0$

que se reduce a

$\begin{matrix} (20) & c_{2} (λ_{2} - λ_{1}) v_{2} = 0 \end{matrix}$

Como $v_{2} \neq 0$ por definición de vector característico y por hipótesis $λ_{1} \neq λ_{2}$ , entonces se concluye que $c_{2} = 0$ , sustituyendo en ( $17$ ) se ve que $c_{1} = 0$ , por tanto se cumple el teorema para $m = 2$ , es decir, $v_{1}$ y $v_{2}$ son linealmente independientes.

Ahora supongamos que el teorema es cierto para $m = n$ , es decir, cualquier conjunto de $n$ vectores propios de $A$ con valores propios diferentes es linealmente independiente. Hay que demostrar que cualquier conjunto de $n + 1$ vectores propios de $A$ con valores propios diferentes es también linealmente independiente. La demostración sigue el mismo procedimiento que como lo hicimos para $m = 2$ , consideremos la siguiente combinación lineal.

$\begin{matrix} (21) & c_{1} v_{1} + c_{2} v_{2} + \dots + c_{n + 1} v_{n + 1} = 0 \end{matrix}$

Multipliquemos por $A$ en ambos lados.

$\begin{matrix} (22) & c_{1} {Av}_{1} + c_{2} {Av}_{2} + \dots + c_{n + 1} {Av}_{n + 1} = 0 \end{matrix}$

Aplicando ${Av}_{i} = λ_{i} v_{1}$ para $i = 1, 2, 3, \dots, n + 1$ , se tiene

$\begin{matrix} (23) & c_{1} λ_{1} v_{1} + c_{2} λ_{2} v_{2} + \dots + c_{n + 1} λ_{n + 1} v_{n + 1} = 0 \end{matrix}$

Si se multiplica ambos lados de la ecuación ( $21$ ) por $λ_{1}$ y se resta de ( $23$ ), se obtiene

$\begin{matrix} (24) & c_{2} (λ_{2} - λ_{1}) v_{2} + c_{3} (λ_{3} - λ_{1}) v_{3} + \dots + c_{n + 1} (λ_{n + 1} - λ_{1}) v_{n + 1} = 0 \end{matrix}$

Pero $v_{2}, v_{3}, \dots, v_{n + 1}$ son vectores propios de $A$ con valores propios distintos $λ_{2}, λ_{3}, \dots, λ_{n + 1}$ , respectivamente. Por hipótesis de inducción, los vectores son linealmente independientes, así que

$c_{2} (λ_{2} - λ_{1}) = 0, c_{3} (λ_{3} - λ_{1}) = 0, \dots, c_{n + 1} (λ_{n + 1} - λ_{1}) = 0$

Como los valores propios son distintos entre sí, entonces necesariamente

$c_{2} = c_{3} = \dots = c_{n + 1} = 0$

Con este resultado la ecuación ( $21$ ) obliga a que $c_{1}$ sea cero. Por lo tanto, $v_{1}, v_{2}, v_{3}, \dots, v_{n + 1}$ son linealmente independientes. De esta manera queda demostrado el teorema.

En conclusión, vectores propios correspondientes a valores propios distintos son linealmente independientes.

Con este breve repaso en mente regresemos a los sistemas de ecuaciones diferenciales.

Valores y vectores propios en sistemas de ecuaciones diferenciales

Ahora que hemos recordado las definiciones de valores y vectores propios y algunas propiedades veamos cómo es que estos conceptos son útiles para resolver sistemas lineales de primer orden homogéneos.

Al inicio de la entrada decíamos que es posible encontrar soluciones de la forma ( $4$ ).

$Y (t) = (\begin{matrix} k_{1} \\ k_{2} \\ ⋮ \\ k_{n} \end{matrix}) e^{λ t} = K e^{λ t}$

Si derivamos este vector, se obtiene

$\begin{matrix} (25) & Y^{'} = K λ e^{λ t} \end{matrix}$

Sustituyamos en el sistema homogéneo $Y^{'} = AY$ .

$\begin{matrix} (26) & K λ e^{λ t} = AK e^{λ t} \end{matrix}$

Si dividimos entre $e^{λ t}$ y reordenamos, se tiene

$AK = λ K$

o bien,

$AK - λ K = 0$

Debido a que $K = IK$ , con $I$ la matriz identidad, la última expresión se puede escribir como

$\begin{matrix} (27) & (A - λ I) K = 0 \end{matrix}$

Si $A$ es la matriz dada en ( $2$ ), entonces la ecuación matricial ( $27$ ) es equivalente a las $n$ ecuaciones algebraicas simultáneas

$\begin{aligned} (a_{11} - λ) k_{1} + a_{12} k_{2} + \dots + a_{1 n} k_{n} & = 0 \\ a_{21} k_{1} + (a_{22} - λ) k_{2} + \dots + a_{2 n} k_{n} & = 0 \\ ⋮ \\ (28) & a_{n 1} k_{1} + a_{n 2} k_{2} + \dots + (a_{n n} - λ) k_{n} & = 0 \end{aligned}$

Si queremos encontrar soluciones $Y (t)$ como ( $4$ ), necesitamos primero encontrar una solución no trivial del sistema ( $28$ ), de lo visto en nuestro repaso de valores y vectores propios, si la solución debe ser la no trivial, entonces se requiere que el determinante sea igual a cero, esto es

$\begin{matrix} (29) & | A - λ I | = 0 \end{matrix}$

Esta ecuación polinomial corresponde a la ecuación característica de la matriz $A$ . Sus soluciones son los valores propios de $A$ . Una solución $K \neq 0$ de ( $27$ ) correspondiente a un valor propio $λ$ es el vector propio de $A$ .

La ecuación ( $29$ ) al tratarse de una ecuación polinomial existen tres casos posibles, cuando los valores propios son reales y distintos, cuando son repetidos y cuando son complejos. Para cada caso existe una forma particular de la solución de ( $3$ ).

Para concluir con esta entrada demostremos un resultado que establece la forma de la solución general del sistema lineal ( $3$ ).

Teorema: Sea

A \in M_{n \times n}

como (

2

) y sean

λ_{1}, λ_{2}, \dots, λ_{n}

valores propios de

A

que corresponden a vectores propios linealmente independientes

K_{1}, K_{2}, \dots, K_{n}

, respectivamente. Entonces,

\begin{matrix} (30) & S = {e^{λ_{1} t} K_{1}, e^{λ_{2} t} K_{2}, \dots, e^{λ_{n} t} K_{n}} \end{matrix}

es un conjunto fundamental de soluciones del sistema lineal homogéneo

Y^{'} = AY

en el intervalo

(- \infty, \infty)

. La solución general de dicho sistema es

\begin{matrix} (31) & Y (t) = c_{1} e^{λ_{1} t} K_{1} + c_{2} e^{λ_{2} t} K_{2} + \dots + c_{n} e^{λ_{n} t} K_{n} \end{matrix}

donde

c_{1}, c_{2}, \dots, c_{n}

son constantes arbitrarias.

Demostración: Definamos las funciones

$Y_{1} (t) = e^{λ_{1} t} K_{1}, Y_{2} (t) = e^{λ_{2} t} K_{2}, \dots, Y_{n} (t) = e^{λ_{n} t} K_{n}$

Notemos que para la $i$ -ésima función $Y_{i} (t) = e^{λ_{i} t} K_{i}$ se cumple lo siguiente.

$\begin{matrix} (32) & Y_{i}^{'} = e^{λ_{i} t} (λ_{i} K_{i}) = e^{λ_{i} t} ({AK}_{i}) = {AY}_{i} \end{matrix}$

En donde se hecho uso de la relación ( $6$ ). Esto nos muestra que $Y_{i} (t)$ es solución del sistema $Y^{'} = AY$ para cada $i = 1, 2, \dots, n$ . Basta mostrar que el Wronskiano es distinto de cero para probar que las funciones definidas forman un conjunto fundamental de soluciones. El Wronskiano está dado por

$\begin{aligned} W (Y_{1}, Y_{2}, \dots, Y_{n}) & = | \begin{array}{c} e^{λ_{1} t} K_{1} & e^{λ_{2} t} K_{2} & \dots & e^{λ_{n} t} K_{n} \end{array} | \\ (33) & = e^{(λ_{1} + λ_{2} + \dots + λ_{n}) t} | \begin{array}{c} K_{1} & K_{2} & \dots & K_{n} \end{array} | \end{aligned}$

Como la exponencial nunca se hace cero y por hipótesis los vectores $K_{1}, K_{2}, \dots, K_{n}$ son linealmente independientes, es decir, el determinante nunca es cero

$\begin{matrix} (34) & | \begin{matrix} K_{1} & K_{2} & \dots & K_{n} \end{matrix} | \neq 0 \end{matrix}$

entonces el Wronskiano es distinto de cero. Por el teorema de solución general de un sistema homogéneo concluimos que el conjunto

$S = {e^{λ_{1} t} K_{1}, e^{λ_{2} t} K_{2}, \dots, e^{λ_{n} t} K_{n}}$

es un conjunto fundamental de soluciones del sistema $Y^{'} = AY$ y la solución general es

$Y (t) = c_{1} e^{λ_{1} t} K_{1} + c_{2} e^{λ_{2} t} K_{2} + \dots + c_{n} e^{λ_{n} t} K_{n}$

con $c_{1}, c_{2}, \dots, c_{n}$ constantes arbitrarias.

En la siguiente entrada aplicaremos todo esto en el desarrollo de un nuevo método de resolución de sistemas 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 los valores y vectores propios de las siguientes matrices.

$A = (\begin{matrix} - 62 & - 20 \\ 192 & 62 \end{matrix})$

$A = (\begin{matrix} - 2 & 5 & 0 \\ 5 & - 2 & 0 \\ 0 & 0 & 1 \end{matrix})$

Demostrar que para cualesquiera números reales $α$ y $β$ , la matriz $A = (\begin{matrix} α & β \\ - β & α \end{matrix})$ tiene valores propios $α \pm i β$ .

Suponer que la matriz $A$ tiene valores propios $λ_{1}, λ_{2}, \dots, λ_{n}$ . Demostrar lo siguiente:

Demostrar que $A^{- 1}$ (la matriz inversa de $A$ ) existe si y sólo si $λ_{1}, λ_{2}, \dots, λ_{n}$ son todos distintos de cero.

Si $A^{- 1}$ existe, demostrar que los valores propios de $A^{- 1}$ son $\frac{1}{λ_{1}}, \frac{1}{λ_{2}}, \dots, \frac{1}{λ_{n}}$ .

Suponer que la matriz $A$ tiene valores propios $λ_{1}, λ_{2}, \dots, λ_{n}$ . Demostrar que la matriz $A - α I$ tiene valores propios $λ_{1} - α, λ_{2} - α, \dots, λ_{n} - α$ .

Suponer que la matriz $A$ tiene valores propios $λ_{1}, λ_{2}, \dots, λ_{n}$ . Demostrar que los valores propios de $A^{m}$ son $λ_{1}^{m}, λ_{2}^{m}, \dots, λ_{n}^{m}$ para $m = 1, 2, 3, \dots$ .

Recuerda que para calcular la potencia de una matriz, debemos multiplicar la matriz por ella misma tantas veces como indique el exponente, por ejemplo
$A^{5} = A \cdot A \cdot A \cdot A \cdot A$

Más adelante…

Un nuevo método para resolver sistemas de ecuaciones diferenciales lineales de primer orden homogéneas con coeficientes constantes es el que estamos por desarrollar. Dicho método involucra obtener los valores y vectores propios de la matriz que conforma al sistema lineal, es por ello que hemos dedicado esta entrada en hacer un breve repaso sobre estos conceptos y hemos visto cómo es que se ven involucrados en la resolución de estos sistemas.

Como vimos, los valores propios se obtienen de encontrar las raíces del polinomio característico lo que significa que se pueden tener raíces reales y distintas, raíces con multiplicidad mayor a uno, es decir, que se repiten o raíces complejas, para cada caso existe una forma distinta de obtener la solución de los sistemas lineales homogéneos $Y^{'} = AY$ .

En las próximas tres entradas estudiaremos cada caso. Comenzaremos con el caso en el que los valores propios del sistema son todos reales y distintos entre sí.

Entradas relacionadas

Página principal del curso: Ecuaciones Diferenciales I
Entrada anterior del curso: Método de eliminación de variables
Siguiente entrada del curso: Sistemas lineales homogéneos con coeficientes constantes – Valores propios distintos

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: Soluciones a sistemas de ecuaciones diferenciales

Por Omar González Franco

Deja un comentario

Los errores y dificultades no resueltos en el pasado de las matemáticas
siempre han sido las oportunidades de su futuro.
– E. T. Bell

Introducción

En la entrada anterior vimos lo que es un sistema de ecuaciones diferenciales, en particular un sistema lineal de primer orden. Vimos también lo que es un problema de valores iniciales y establecimos la notación matricial.

Así mismo, vimos cómo es que una ecuación diferencial lineal de orden $n$ se puede transformar en un sistema lineal de primer orden, esto tiene bastante ventaja ya que, una vez que veamos cómo resolver sistemas de ecuaciones diferenciales, muchas veces será más sencillo resolver el sistema que resolver la ecuación de orden $n$ aplicando los métodos que ya conocemos.

En esta entrada estudiaremos las propiedades de las soluciones de los sistemas lineales de primer orden.

Cabe mencionar que mucho de lo que desarrollaremos en esta entrada es bastante similar a la teoría vista con las ecuaciones diferenciales de orden $n$ , comenzando por la validez del principio de superposición.

A partir de ahora sólo usaremos la notación matricial y toda la teoría básica del álgebra lineal que éstas conllevan.

Soluciones de sistemas lineales de primer orden

Comencemos por estudiar el caso homogéneo. El sistema lineal de primer orden homogéneo es

$Label '1' multiply defined$

O bien,

$Label '2' multiply defined$

En la entrada anterior definimos la solución de un sistema de ecuaciones diferenciales en el intervalo $δ$ como el conjunto de $n$ funciones

$Label '3' multiply defined$

definidas en $δ$ y diferenciables en el mismo intervalo, tales que satisfacen simultáneamente las $n$ ecuaciones diferenciables de un sistema lineal.

Las soluciones pueden ser escritas como el vector

$Label '4' multiply defined$

cuyos elementos son funciones derivables que satisfacen un sistema lineal en el intervalo $δ$ .

En las siguientes definiciones y teoremas se supondrá que los coeficientes $a_{i j} (t)$ , $i, j \in {1, 2, 3, \dots, n}$ y ,para el caso no homogéneo, las funciones $g_{i} (t)$ , son continuas en algún intervalo común $δ$ .

Comencemos por mostrar que el principio de superposición también es valido para sistemas lineales.

Teorema: Sean

Y_{1}, Y_{2}, \dots, Y_{m}

vectores solución del sistema homogéneo (

2

) en un intervalo

δ

, entonces la combinación lineal

Label '5' multiply defined

donde las

c_{i}

i = 1, 2, \dots, m

son constantes arbitrarias, es también una solución en el intervalo

δ

Demostración: Consideremos la combinación lineal

$Y = c_{1} Y_{1} + c_{2} Y_{2} + \dots + c_{m} Y_{m}$

con

$Y_{i} = (\begin{matrix} y_{1 i} \\ y_{2 i} \\ ⋮ \\ y_{n i} \end{matrix})$

para $i = 1, 2, \dots, m$ . La derivada de $Y_{i}$ esta dada por

$Y_{i}^{'} = (\begin{matrix} y_{1 i}^{'} \\ y_{2 i}^{'} \\ ⋮ \\ y_{n i}^{'} \end{matrix})$

Entonces la derivada de la combinación lineal es

$\begin{aligned} Y^{'} & = (\begin{array}{c} c_{1} y_{11}^{'} + c_{2} y_{12}^{'} + \dots + c_{m} y_{1 m}^{'} \\ c_{1} y_{21}^{'} + c_{2} y_{22}^{'} + \dots + c_{m} y_{2 m}^{'} \\ ⋮ \\ c_{1} y_{n 1}^{'} + c_{2} y_{n 2}^{'} + \dots + c_{m} y_{n m}^{'} \end{array}) \\ = c_{1} (\begin{array}{c} y_{11}^{'} \\ y_{21}^{'} \\ ⋮ \\ y_{n 1}^{'} \end{array}) + c_{2} (\begin{array}{c} y_{12}^{'} \\ y_{22}^{'} \\ ⋮ \\ y_{n 2}^{'} \end{array}) + \dots + c_{m} (\begin{array}{c} y_{1 m}^{'} \\ y_{2 m}^{'} \\ ⋮ \\ y_{n m}^{'} \end{array}) \\ = c_{1} Y_{1}^{'} + c_{2} Y_{2}^{'} + \dots + c_{m} Y_{m}^{'} \end{aligned}$

Como cada $Y_{i}$ , $i = 1, 2, \dots, m$ , es solución del sistema homogéneo ( $2$ ) en $δ$ , entonces

$Y_{i}^{'} = A Y_{i}$

así

$\begin{aligned} Y^{'} & = c_{1} ({AY}_{1}) + c_{2} ({AY}_{2}) + \dots + c_{m} ({AY}_{m}) \\ = A (c_{1} Y_{1} + c_{2} Y_{2} + \dots + c_{m} Y_{m}) \\ = AY \end{aligned}$

En donde se ha hecho uso de la propiedad distributiva de la matriz $A$ y de la hipótesis ( $5$ ). Por lo tanto, la combinación lineal

$Y = c_{1} Y_{1} + c_{2} Y_{2} + \dots + c_{m} Y_{m}$

también es solución y los es en el mismo intervalo común $δ$ ya que esta compuesta de soluciones definidas en dicho intervalo.

Corolario: Un múltiplo constante de cualquier vector solución de un sistema lineal homogéneo es también solución.

Intenta hacer la demostración.

Definición: Denotaremos como

S

al conjunto de vectores que son solución del sistema lineal homogéneo (

2

Label '6' multiply defined

Realicemos un ejemplo.

Ejemplo: Probar que la combinación lineal

$Y = c_{1} Y_{1} + c_{2} Y_{2} + c_{3} Y_{3} = c_{1} (\begin{matrix} 1 \\ - 1 \\ 0 \end{matrix}) + c_{2} (\begin{matrix} e^{2 t} \\ e^{2 t} \\ 0 \end{matrix}) + c_{3} (\begin{matrix} 0 \\ 0 \\ e^{3 t} \end{matrix})$

es solución del sistema lineal

$Y^{'} = (\begin{matrix} 1 & 1 & 0 \\ 1 & 1 & 0 \\ 0 & 0 & 3 \end{matrix}) Y$

Solución: Probemos que cada uno de los vectores de la combinación lineal es solución y usemos el principio de superposición.

Los vectores son

$Y_{1} = (\begin{matrix} 1 \\ - 1 \\ 0 \end{matrix}), Y_{2} = (\begin{matrix} e^{2 t} \\ e^{2 t} \\ 0 \end{matrix}), Y_{3} = (\begin{matrix} 0 \\ 0 \\ e^{3 t} \end{matrix})$

Por un lado, derivemos estos vectores.

$Y_{1}^{'} = (\begin{matrix} 0 \\ 0 \\ 0 \end{matrix}), Y_{2}^{'} = (\begin{matrix} 2 e^{2 t} \\ 2 e^{2 t} \\ 0 \end{matrix}), Y_{3}^{'} = (\begin{matrix} 0 \\ 0 \\ 3 e^{3 t} \end{matrix})$

Por otro lado, sustituyamos cada uno de los vectores en el sistema lineal y usemos los resultados anteriores.

${AY}_{1} = (\begin{matrix} 1 & 1 & 0 \\ 1 & 1 & 0 \\ 0 & 0 & 3 \end{matrix}) (\begin{matrix} 1 \\ - 1 \\ 0 \end{matrix}) = (\begin{matrix} 1 - 1 \\ 1 - 1 \\ 0 \end{matrix}) = (\begin{matrix} 0 \\ 0 \\ 0 \end{matrix}) = Y_{1}^{'}$

${AY}_{2} = (\begin{matrix} 1 & 1 & 0 \\ 1 & 1 & 0 \\ 0 & 0 & 3 \end{matrix}) (\begin{matrix} e^{2 t} \\ e^{2 t} \\ 0 \end{matrix}) = (\begin{matrix} e^{2 t} + e^{2 t} \\ e^{2 t} + e^{2 t} \\ 0 \end{matrix}) = (\begin{matrix} 2 e^{2 t} \\ 2 e^{2 t} \\ 0 \end{matrix}) = Y_{2}^{'}$

${AY}_{3} = (\begin{matrix} 1 & 1 & 0 \\ 1 & 1 & 0 \\ 0 & 0 & 3 \end{matrix}) (\begin{matrix} 0 \\ 0 \\ e^{3 t} \end{matrix}) = (\begin{matrix} 0 \\ 0 \\ 3 e^{3 t} \end{matrix}) = Y_{3}^{'}$

De esta manera queda mostrado que los tres vectores son solución, ya que satisfacen el sistema. Por el principio de superposición concluimos que la combinación lineal

también es solución del sistema lineal.

El principio de superposición nos indica que un sistema lineal puede tener más de una solución, sin embargo, similar al caso de ecuaciones diferenciales de orden $n$ , buscamos soluciones que sean linealmente independientes entre sí. A continuación definimos la dependencia e independencia lineal de las soluciones en este contexto.

Definición: Sea

S = {Y_{1}, Y_{2}, \dots, Y_{m}}

un conjunto de vectores solución del sistema homogéneo (

2

) en un intervalo

δ

. Se dice que el conjunto es linealmente dependiente en el intervalo si existen constantes

c_{1}, c_{2}, \dots, c_{m}

, no todas cero, tales que

Label '7' multiply defined

para toda

t \in δ

. Si el conjunto de vectores no es linealmente dependiente en

δ

, es decir, si ocurre (

7

) implicando que

c_{1} = c_{2} = \dots = c_{m} = 0

, entonces se dice que el conjunto es linealmente independiente.

En la unidad anterior definimos una herramienta muy útil que, además de ayudarnos a resolver ecuaciones diferenciales de orden superior en algunos métodos, nos ayuda a determinar si un conjunto de soluciones es linealmente independiente, dicha herramienta es el Wronskiano, la definición en el caso de los sistemas lineales de primer orden, es la siguiente.

Definición: Sean

Y_{1} (t) = (\begin{matrix} y_{11} \\ y_{21} \\ ⋮ \\ y_{n 1} \end{matrix}), Y_{2} (t) = (\begin{matrix} y_{12} \\ y_{22} \\ ⋮ \\ y_{n 2} \end{matrix}), \dots, Y_{n} (t) = (\begin{matrix} y_{1 n} \\ y_{2 n} \\ ⋮ \\ y_{n n} \end{matrix})

n

soluciones del sistema lineal homogéneo (

2

) en un intervalo

δ

, se define el Wronskiano como el siguiente determinante.

Label '8' multiply defined

Se puede demostrar que si el Wronskiano es distinto de cero, entonces las soluciones son linealmente independientes, igual que antes, esto es conocido como el criterio para soluciones linealmente independientes. Para demostrar este hecho es conveniente recordar algunos resultados de álgebra que podremos usar en la demostración.

Recordemos que un sistema lineal de $n$ ecuaciones con $n$ incógnitas es un conjunto de ecuaciones

$Label '9' multiply defined$

Con $b_{i, j}$ y $d_{i}$ , $i, j \in {1, 2, 3, \dots, n}$ números reales dados y $u_{i}$ , $i = 1, 2, \dots, n$ las incógnitas. Usando la notación matricial podemos escribir el sistema ( $9$ ) como

$Label '10' multiply defined$

con

$B = (\begin{matrix} b_{11} & b_{12} & \dots & b_{1 n} \\ b_{21} & b_{22} & \dots & b_{2 n} \\ ⋮ & ⋮ \\ b_{n 1} & b_{n 2} & \dots & b_{n n} \end{matrix}), U = (\begin{matrix} u_{1} \\ u_{2} \\ ⋮ \\ u_{n} \end{matrix}), D = (\begin{matrix} d_{1} \\ d_{2} \\ ⋮ \\ d_{n} \end{matrix})$

Los resultados que nos interesan son los siguientes.

Teorema: El sistema de ecuaciones (

10

) tiene una única solución si y sólo si el determinante de

B

es distinto de cero, es decir,

| B | \neq 0

Teorema: Si

D = 0

y el sistema sólo tiene solución trivial

U = 0

, entonces

| B | \neq 0

. En su efecto, si el sistema no tiene solución trivial, es decir,

U \neq 0

, entonces

| B | = 0

Si $D = 0$ , el sistema ( $10$ ) también recibe el nombre de sistema homogéneo.

Con estos resultados podemos demostrar el criterio para soluciones linealmente independientes que se enuncia a continuación.

Teorema: Sean

Y_{1}, Y_{2}, \dots, Y_{n}

n

vectores solución del sistema homogéneo (

2

) en un intervalo

δ

, entonces el conjunto de vectores solución

S = {Y_{1}, Y_{2}, \dots, Y_{n}}

es linealmente independiente en

δ

si y sólo si

\forall

t \in δ

el Wronskiano es distinto de cero.

W (Y_{1}, Y_{2}, \dots, Y_{n}) \neq 0

Demostración:

$\Rightarrow$ ) Por demostrar: $W (Y_{1}, Y_{2}, \dots, Y_{n}) \neq 0$ .

Sea $t_{0} \in δ$ en el que $W (t_{0}) = 0$ , en donde $W (t_{0})$ denota al Wronskiano con cada vector solución evaluado en el punto $t_{0}$ .

$W (t_{0}) = W (Y_{1} (t_{0}), Y_{2} (t_{0}), \dots, Y_{n} (t_{0}))$

En una combinación de ambos teoremas de los resultados de álgebra podemos deducir que existen constantes $c_{1}, c_{2}, \dots, c_{n}$ , no todos cero, tal que

$Label '11' multiply defined$

Lo que tenemos es un sistema lineal de $n$ ecuaciones homogéneo con $n$ incógnitas (sistema lineal en el contexto algebraico ( $10$ ) con $D = 0$ , no sistema lineal de ecuaciones diferenciales), dichas incógnitas son las constantes $c_{i}$ , $i = 1, 2, \dots, n$ . La relación ( $11$ ) se cumple debido a que si el Wronskiano es igual a cero, entonces es posible que el sistema no tenga solución trivial y mucho menos una solución única, esto lo deducimos de los teoremas de álgebra que establecimos.

Por otro lado, sabemos por hipótesis que los vectores $Y_{1}, Y_{2}, \dots, Y_{n}$ son solución del sistema homogéneo ( $2$ ) en el intervalo $δ$ , por el principio de superposición sabemos también que la combinación lineal

$Y (t) = c_{1} Y_{1} + c_{2} Y_{2} + \dots + c_{n} Y_{n}$

es solución de ( $2$ ) en $δ$ . Del resultado ( $11$ ) y de la unicidad de la solución se deduce que $Y (t) = 0$ para algún punto $t = t_{0} \in δ$ , es decir,

$c_{1} Y_{1} + c_{2} Y_{2} + \dots + c_{n} Y_{n} = 0$

Pero por hipótesis los vectores $Y_{1}, Y_{2}, \dots, Y_{n}$ son linealmente independientes en $δ$ , lo que implica que

$c_{1} = c_{2} = \dots = c_{n} = 0$

lo cual es una contradicción con lo que establecimos en ( $11$ ). Por lo tanto, el Wronskiano tiene que ser distinto de cero, es decir

$W (Y_{1}, Y_{2}, \dots, Y_{n}) \neq 0$

$\Leftarrow$ ) Por demostrar: $S$ es linealmente independiente.

Este caso también lo demostraremos por contradicción. Supongamos que los vectores solución $Y_{1}, Y_{2}, \dots, Y_{n}$ son linealmente dependientes en $δ$ , esto implica que existen constantes $c_{1}, c_{2}, \dots, c_{n}$ no todos cero, tal que

$c_{1} Y_{1} + c_{2} Y_{2} + \dots + c_{n} Y_{n} = 0$

Este sistema lo podemos escribir en la forma ( $9$ ) como

$\begin{matrix} c_{1} y_{11} + c_{2} y_{12} + \dots + c_{n} y_{1 n} = 0 \\ c_{1} y_{21} + c_{2} y_{22} + \dots + c_{n} y_{2 n} = 0 \\ ⋮ \\ c_{1} y_{n 1} + c_{2} y_{n 2} + \dots + c_{n} y_{n n} = 0 \end{matrix}$

En donde las funciones $y_{i j}$ , $i, j \in {1, 2, 3, \dots, n}$ son los coeficientes y las constantes $c_{i}$ , $i = 1, 2, \dots, n$ son las incógnitas. Debido a que las $c_{i}$ no son todas cero implica que el sistema no tiene solución trivial y por el segundo teorema de los resultados de álgebra concluimos que

$W (Y_{1}, Y_{2}, \dots, Y_{n}) = 0$

Pero, por hipótesis

$W (Y_{1}, Y_{2}, \dots, Y_{n}) \neq 0$

lo cual es una contradicción y todo nace de considerar a $S$ como un conjunto linealmente dependiente. Por lo tanto, el conjunto de soluciones

$S = {Y_{1}, Y_{2}, \dots, Y_{n}}$

es linealmente independiente en $δ$ .

Un resultado interesante se enuncia a continuación.

Teorema: Sean

Y_{1}, Y_{2}, \dots, Y_{n}

n

vectores solución del sistema homogéneo (

2

), entonces para toda

t \in δ

ocurre sólo uno de los siguientes casos:

W (Y_{1}, Y_{2}, \dots, Y_{n}) = 0

W (Y_{1}, Y_{2}, \dots, Y_{n}) \neq 0

Este resultado nos garantiza que si $W \neq 0$ para algún punto $t_{0} \in δ$ , entonces $W \neq 0$ para toda $t \in δ$ y por el criterio anterior las soluciones serán linealmente independientes en ese intervalo.

El conjunto de soluciones linealmente independientes del sistema lineal ( $2$ ) recibe un nombre especial.

Definición: Al conjunto

S = {Y_{1}, Y_{2}, \dots, Y_{n}}

n

vectores solución linealmente independientes del sistema homogéneo (

2

) en un intervalo

δ

se dice que es un conjunto fundamental de soluciones en dicho intervalo.

El siguiente teorema nos garantiza la existencia de este conjunto.

Teorema: Existe un conjunto fundamental de soluciones para el sistema homogéneo en un intervalo

δ

El conjunto fundamental de soluciones está constituido por vectores que son linealmente independientes entre sí, con estos vectores es posible formar una matriz cuyas columnas están formadas con las entradas de dichos vectores, esta matriz tiene un nombre especial.

Definición: Sean

Y_{1} (t), Y_{2} (t), \dots, Y_{n} (t)

n

soluciones linealmente independientes del sistema lineal homogéneo (

2

). Se le denomina matriz fundamental de soluciones del sistema a la matriz conformada por los vectores solución.

Label '12' multiply defined

Un hecho interesante es que el determinante de la matriz fundamental de soluciones corresponde al Wronskiano.

$Label '13' multiply defined$

Realicemos un ejemplo, para ello consideremos el sistema lineal del ejemplo anterior.

Ejemplo: Mostrar que las soluciones

$Y_{1} = (\begin{matrix} 1 \\ - 1 \\ 0 \end{matrix}), Y_{2} = (\begin{matrix} e^{2 t} \\ e^{2 t} \\ 0 \end{matrix}), Y_{3} = (\begin{matrix} 0 \\ 0 \\ e^{3 t} \end{matrix})$

del sistema lineal

$Y^{'} = (\begin{matrix} 1 & 1 & 0 \\ 1 & 1 & 0 \\ 0 & 0 & 3 \end{matrix}) Y$

son linealmente independientes.

Solución: En el ejemplo anterior ya comprobamos que efectivamente son solución del sistema lineal dado. Para determinar si son linealmente independientes veamos si el Wronskiano es distinto de cero.

$W (Y_{1}, Y_{2}, Y_{3}) = | \begin{matrix} 1 & e^{2 t} & 0 \\ - 1 & e^{2 t} & 0 \\ 0 & 0 & e^{3 t} \end{matrix} | = e^{5 t} + 0 + 0 - 0 - 0 - (- e^{5 t}) = 2 e^{5 t} \neq 0$

Como $W \neq 0$ , $\forall$ $t \in R$ , entonces los vectores dados son linealmente independientes y por lo tanto forman un conjunto fundamental de soluciones en $R$ .

$S = {(\begin{matrix} 1 \\ - 1 \\ 0 \end{matrix}), (\begin{matrix} e^{2 t} \\ e^{2 t} \\ 0 \end{matrix}), (\begin{matrix} 0 \\ 0 \\ e^{3 t} \end{matrix})}$

La matriz fundamental de soluciones es

$M (t) = (\begin{matrix} 1 & e^{2 t} & 0 \\ - 1 & e^{2 t} & 0 \\ 0 & 0 & e^{3 t} \end{matrix})$

Un buen ejercicio sería mostrar que un conjunto de soluciones del sistema lineal homogéneo ( $2$ ) forma un espacio vectorial, es relativamente sencillo probar cada una de las propiedades o axiomas que definen a un espacio vectorial. El resultado a demostrar de tarea moral es el siguiente.

Teorema: El conjunto de soluciones (

6

) del sistema lineal homogéneo (

2

) forma un espacio vectorial con la suma y el producto por escalares usuales de matrices.

Soluciones generales a sistemas lineales

Ahora que conocemos algunas propiedades de las soluciones de sistemas lineales, es momento de conocer la forma general de las soluciones de los sistemas lineales tanto homogéneos como no homogéneos.

Comencemos por enunciar el teorema que establece la forma de la solución general de un sistema lineal homogéneo ( $2$ ).

Teorema: Sea

S = {Y_{1}, Y_{2}, \dots, Y_{n}}

un conjunto fundamental de soluciones del sistema lineal homogéneo

Y^{'} = AY

en un intervalo

δ

. Entonces la solución general del sistema en el intervalo

δ

Label '14' multiply defined

donde las

c_{i}

i = 1, 2, \dots, n

son constantes arbitrarias.

Demostración: Sea $Y (t)$ una solución arbitraria del sistema lineal homogéneo en el intervalo $δ$ , sea $t_{0} \in δ$ y supongamos que

$Y (t_{0}) = (\begin{matrix} b_{1} \\ b_{2} \\ ⋮ \\ b_{n} \end{matrix}) = Y_{0}$

Es decir, la función $Y (t)$ satisface el problema de valores iniciales $Y^{'} = AY; Y (t_{0}) = Y_{0}$ .

Por otro lado, por el principio de superposición sabemos que la combinación lineal

$\hat{Y} (t) = c_{1} Y_{1} (t) + c_{2} Y_{2} (t) + \dots + c_{n} Y_{n} (t)$

también es solución del sistema lineal $Y^{'} = AY$ . Donde $c_{i}$ , $i = 1, 2, \dots, n$ son constantes arbitrarias y las $Y_{i}$ , $i = 1, 2, \dots, n$ son las soluciones del conjunto fundamental de soluciones del sistema lineal. Supongamos que

$\hat{Y} (t_{0}) = c_{1} Y_{1} (t_{0}) + c_{2} Y_{2} (t_{0}) + \dots + c_{n} Y_{n} (t_{0}) = Y_{0}$

Lo que tenemos es el siguiente sistema de $n$ ecuaciones.

$\begin{matrix} c_{1} y_{11} (t_{0}) + c_{2} y_{12} (t_{0}) + \dots + c_{n} y_{1 n} (t_{0}) = b_{1} \\ c_{1} y_{21} (t_{0}) + c_{2} y_{22} (t_{0}) + \dots + c_{n} y_{2 n} (t_{0}) = b_{2} \\ ⋮ \\ c_{1} y_{n 1} (t_{0}) + c_{2} y_{n 2} (t_{0}) + \dots + c_{n} y_{n n} (t_{0}) = b_{n} \end{matrix}$

En donde las incógnitas son las contantes $c_{i}$ , $i = 1, 2, \dots, n$ . Como las funciones $y_{i j}$ , $i, j \in {1, 2, 3, \dots, n}$ pertenecen a vectores del conjunto de soluciones, entonces sabemos que $Y_{1}, Y_{2}, \dots, Y_{n}$ son linealmente independientes y por el criterio para soluciones linealmente independientes inferimos que $W (t_{0}) \neq 0$ , donde

$W (t_{0}) = W (Y_{1} (t_{0}), Y_{2} (t_{0}), \dots, Y_{n} (t_{0}))$

De los resultados de álgebra deducimos que el sistema de $n$ ecuaciones tiene solución única, esto significa que existen constantes únicas $c_{1}, c_{2}, \dots, c_{n}$ , tal que

$c_{1} Y_{1} (t_{0}) + c_{2} Y_{2} (t_{0}) + \dots + c_{n} Y_{n} (t_{0}) = Y_{0}$

Esto nos indica que

$\hat{Y} (t) = c_{1} Y_{1} (t) + c_{2} Y_{2} (t) + \dots + c_{n} Y_{n} (t)$

es solución del problema de valores iniciales. Por el teorema de existencia y unicidad para sistemas lineales homogéneas concluimos que $Y (t) = \hat{Y} (t)$ , es decir,

$Y (t) = c_{1} Y_{1} (t) + c_{2} Y_{2} (t) + \dots + c_{n} Y_{n} (t)$

Como $Y (t)$ es una solución arbitraria, entonces debe ser la solución general del sistema lineal homogéneo en $δ$ .

Para concluir la entrada estudiemos el caso no homogéneo.

Sistemas no homogéneos

El sistema lineal de primer orden no homogéneo es

$Label '15' multiply defined$

O bien,

$Label '16' multiply defined$

El vector de funciones que satisface el sistema ( $16$ ) es una solución y recibe un nombre.

Definición: Se le denomina solución particular

Y_{p}

a cualquier vector que es libre de parámetros arbitrarios cuyos elementos son funciones que satisfacen el sistema (

16

) en algún intervalo

δ

A continuación se enuncia el teorema que nos muestra la forma general de la solución de un sistema lineal no homogéneo.

Teorema: Sea

Y_{p}

una solución particular del sistema no homogéneo (

16

) en un intervalo

δ

y sea

Label '17' multiply defined

la solución general en el mismo intervalo

δ

del sistema homogéneo asociado

Y^{'} = AY

. Entonces la solución general del sistema no homogéneo en el intervalo

δ

, es

Label '18' multiply defined

Demostración: Sea

$Y_{p} (t) = (\begin{matrix} y_{1 p} \\ y_{2 p} \\ ⋮ \\ y_{n p} \end{matrix})$

una solución particular de ( $16$ ) y sean $Y_{1} (t), Y_{2} (t), \dots, Y_{n} (t)$ , $n$ soluciones linealmente independientes del sistema homogéneo asociado $Y^{'} = AY$ .

Sea $Y (t)$ una solución arbitraria del sistema no homogéneo, notemos lo siguiente.

$\begin{aligned} (Y (t) - Y_{p} (t))^{'} & = Y^{'} (t) - Y_{p}^{'} (t) \\ = (AY (t) + G) - ({AY}_{p} (t) + G) \\ = A (Y (t) - Y_{p} (t)) \end{aligned}$

Este resultado nos indica que $Y (t) - Y_{p} (t)$ es solución del sistema homogéneo, eso significa que se puede escribir como

$Y (t) - Y_{p} (t) = c_{1} Y_{1} (t) + c_{2} Y_{2} (t) + \dots + c_{n} Y_{n} (t)$

entonces, la solución $Y$ tiene la forma

$Label '19' multiply defined$

La solución $Y (t)$ , al ser cualquier solución del sistema lineal no homogéneo, podemos deducir que la solución general debe tener la forma ( $19$ ), por lo que concluimos que $Y (t)$ se trata de la solución general de ( $16$ ).

Considerando la hipótesis ( $17$ ) concluimos que la solución general del sistema lineal no homogéneo es

$Y (t) = Y_{c} (t) + Y_{p} (t)$

Cuando estamos trabajando con un sistema lineal no homogéneo, la solución general del sistema lineal homogéneo asociado ( $17$ ) recibe un nombre particular.

Definición: La solución general

Y_{c}

del sistema lineal homogéneo asociado se le denomina función complementaria del sistema lineal no homogéneo.

Concluyamos con un ejemplo.

Ejemplo: Probar que el vector

$Y_{p} = (\begin{matrix} - \frac{1}{4} e^{2 t} + \frac{1}{2} t e^{2 t} \\ - e^{t} + \frac{1}{4} e^{2 t} + \frac{1}{2} t e^{2 t} \\ \frac{1}{2} t^{2} e^{3 t} \end{matrix})$

es una solución particular del siguiente sistema lineal no homogéneo.

$Y^{'} = (\begin{matrix} 1 & 1 & 0 \\ 1 & 1 & 0 \\ 0 & 0 & 3 \end{matrix}) Y + (\begin{matrix} e^{t} \\ e^{2 t} \\ t e^{3 t} \end{matrix})$

Solución: Por un lado, derivemos el vector dado.

$Y_{p}^{'} = (\begin{matrix} - \frac{1}{2} e^{2 t} + \frac{1}{2} e^{2 t} + t e^{2 t} \\ - e^{t} + \frac{1}{2} e^{2 t} + \frac{1}{2} e^{2 t} + t e^{2 t} \\ t e^{3 t} + \frac{3}{2} t^{2} e^{3 t} \end{matrix}) = (\begin{matrix} t e^{2 t} \\ - e^{t} + e^{2 t} + t e^{2 t} \\ t e^{3 t} + \frac{3}{2} t^{2} e^{3 t} \end{matrix})$

Por otro lado, sustituyamos directamente en el sistema al vector dado.

$Y^{'} = (\begin{matrix} 1 & 1 & 0 \\ 1 & 1 & 0 \\ 0 & 0 & 3 \end{matrix}) (\begin{matrix} - \frac{1}{4} e^{2 t} + \frac{1}{2} t e^{2 t} \\ - e^{t} + \frac{1}{4} e^{2 t} + \frac{1}{2} t e^{2 t} \\ \frac{1}{2} t^{2} e^{3 t} \end{matrix}) + (\begin{matrix} e^{t} \\ e^{2 t} \\ t e^{3 t} \end{matrix})$

Operando obtenemos lo siguiente.

$Y^{'} = (\begin{matrix} - \frac{1}{4} e^{2 t} + \frac{1}{2} t e^{2 t} - e^{t} + \frac{1}{4} e^{2 t} + \frac{1}{2} t e^{2 t} + e^{t} \\ - \frac{1}{4} e^{2 t} + \frac{1}{2} t e^{2 t} - e^{t} + \frac{1}{4} e^{2 t} + \frac{1}{2} t e^{2 t} + e^{2 t} \\ \frac{3}{2} t^{2} e^{3 t} + t e^{3 t} \end{matrix}) = (\begin{matrix} t e^{2 t} \\ - e^{t} + e^{2 t} + t e^{2 t} \\ t e^{3 t} + \frac{3}{2} t^{2} e^{3 t} \end{matrix})$

Los resultados obtenidos son los mismos, por lo tanto el vector $Y_{p}$ es solución del sistema.

En los ejemplos anteriores de esta entrada probamos que el conjunto fundamental de soluciones del sistema lineal homogéneo asociado

$Y^{'} = (\begin{matrix} 1 & 1 & 0 \\ 1 & 1 & 0 \\ 0 & 0 & 3 \end{matrix}) Y$

esta constituido por los vectores linealmente independientes

$Y_{1} = (\begin{matrix} 1 \\ - 1 \\ 0 \end{matrix}), Y_{2} = (\begin{matrix} e^{2 t} \\ e^{2 t} \\ 0 \end{matrix}), Y_{3} = (\begin{matrix} 0 \\ 0 \\ e^{3 t} \end{matrix})$

de manera que la función complementaria es

$Y_{c} = c_{1} (\begin{matrix} 1 \\ - 1 \\ 0 \end{matrix}) + c_{2} (\begin{matrix} e^{2 t} \\ e^{2 t} \\ 0 \end{matrix}) + c_{3} (\begin{matrix} 0 \\ 0 \\ e^{3 t} \end{matrix})$

Como la solución general es

$Y = Y_{c} + Y_{p}$

Entonces la solución general del sistema lineal no homogéneo es

$Y (t) = c_{1} (\begin{matrix} 1 \\ - 1 \\ 0 \end{matrix}) + c_{2} (\begin{matrix} e^{2 t} \\ e^{2 t} \\ 0 \end{matrix}) + c_{3} (\begin{matrix} 0 \\ 0 \\ e^{3 t} \end{matrix}) + (\begin{matrix} - \frac{1}{4} e^{2 t} + \frac{1}{2} t e^{2 t} \\ - e^{t} + \frac{1}{4} e^{2 t} + \frac{1}{2} t e^{2 t} \\ \frac{1}{2} t^{2} e^{3 t} \end{matrix})$

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.

Los siguientes vectores son soluciones de un sistema lineal homogéneo $Y^{'} = AY$ . Determinar si forman un conjunto fundamental de soluciones en $R$ .

$Y_{1} = (\begin{matrix} 1 \\ - 1 \end{matrix}) e^{t}, Y_{2} = (\begin{matrix} 2 \\ 6 \end{matrix}) e^{t} + (\begin{matrix} 8 \\ - 8 \end{matrix}) t e^{t}$

$Y_{1} = (\begin{matrix} 1 \\ 6 \\ - 13 \end{matrix}), Y_{2} = (\begin{matrix} 1 \\ - 2 \\ - 1 \end{matrix}) e^{- 4 t}, Y_{3} = (\begin{matrix} 2 \\ 3 \\ - 2 \end{matrix}) e^{3 t}$

Probar que el vector $Y_{p}$ es una solución particular del sistema lineal dado.

$Y^{'} = (\begin{matrix} 2 & 1 \\ 3 & 4 \end{matrix}) Y - (\begin{matrix} 1 \\ 7 \end{matrix}) e^{t}, Y_{p} = (\begin{matrix} 1 \\ 1 \end{matrix}) e^{t} + (\begin{matrix} 1 \\ - 1 \end{matrix}) t e^{t}$

$Y^{'} = (\begin{matrix} 1 & 2 & 3 \\ - 4 & 2 & 0 \\ - 6 & 1 & 0 \end{matrix}) Y + (\begin{matrix} - 1 \\ 4 \\ 3 \end{matrix}) \sin (3 t), Y_{p} = (\begin{matrix} \sin (3 t) \\ 0 \\ \cos (3 t) \end{matrix})$

Mostrar que la solución general de

$Y^{'} = (\begin{matrix} 0 & 6 & 0 \\ 1 & 0 & 1 \\ 1 & 1 & 0 \end{matrix}) Y$

en el intervalo $(- \infty, \infty)$ es

$Y = c_{1} (\begin{matrix} 6 \\ - 1 \\ - 5 \end{matrix}) e^{- t} + c_{2} (\begin{matrix} - 3 \\ 1 \\ 1 \end{matrix}) e^{- 2 t} + c_{3} (\begin{matrix} 2 \\ 1 \\ 1 \end{matrix}) e^{3 t}$

Mostrar que la solución general de

$Y^{'} = (\begin{matrix} - 1 & - 1 \\ - 1 & 1 \end{matrix}) Y + (\begin{matrix} 1 \\ 1 \end{matrix}) t^{2} + (\begin{matrix} 4 \\ - 6 \end{matrix}) t + (\begin{matrix} - 1 \\ 5 \end{matrix})$

en el intervalo $(- \infty, \infty)$ es

$Y = c_{1} (\begin{matrix} 1 \\ - 1 - \sqrt{2} \end{matrix}) e^{\sqrt{2 t}} + c_{2} (\begin{matrix} 1 \\ - 1 + \sqrt{2} \end{matrix}) e^{- \sqrt{2 t}} + (\begin{matrix} 1 \\ 0 \end{matrix}) t^{2} + (\begin{matrix} - 2 \\ 4 \end{matrix}) t + (\begin{matrix} 1 \\ 0 \end{matrix})$

Demostrar que el conjunto de soluciones del sistema lineal homogéneo $Y^{'} = AY$ forma un espacio vectorial con la suma y el producto por escalares usuales de matrices.

Más adelante…

Ahora que conocemos lo que son los sistemas lineales de ecuaciones diferenciales y las propiedades de sus soluciones estamos casi listos para comenzar a desarrollar los distintos métodos de resolución, sin embargo, antes de ello es necesario definir una herramienta matemática que será de suma utilidad en el desarrollo posterior de esta unidad. Dicha herramienta es la exponencial de una matriz.

En la siguiente entrada definiremos lo que significa $e^{A t}$ , donde $A$ es una matriz de $n \times n$ con componentes constantes y veremos como se relaciona con un sistema lineal $Y^{'} = AY$ . Así mismo, profundizaremos en el concepto de matriz fundamental de soluciones.

Entradas relacionadas

Página principal del curso: Ecuaciones Diferenciales I
Entrada anterior del curso: Sistemas de ecuaciones diferenciales
Siguiente entrada del curso: Exponencial de una matriz y matriz fundamental de soluciones

Video relacionado al tema: Propiedades del conjunto de soluciones a un sistema lineal de ecuaciones de primer 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»

Ecuaciones Diferenciales I: Soluciones a ecuaciones diferenciales de orden superior

Por Omar González Franco

Deja un comentario

Las matemáticas son la música de la razón.
– James Joseph Sylvester

Introducción

En la entrada anterior comenzamos a estudiar los problemas con valores iniciales (PVI) y problemas con valores en la frontera (PVF), ambos para el caso de las ecuaciones diferenciales lineales de orden superior. Vimos también que si $y_{1}, y_{2}, \dots, y_{k}$ son $k$ soluciones de una ecuación homogénea de $n$ -ésimo orden en un intervalo $δ$ , entonces la combinación lineal

$Label '1' multiply defined$

donde las $c_{i}$ , $i = 1, 2, \dots, k$ son constantes, también es solución en el intervalo $δ$ , este resultado es conocido como principio de superposición y nuestro propósito en esta entrada es estudiar las propiedades de todas estas soluciones donde la independencia lineal de las funciones jugará un papel muy importante en la construcción del conjunto fundamental de soluciones y de la solución general.

Es importante tener presente el concepto de conjunto fundamental de soluciones presentado en la entrada anterior.

Definición: Cualquier conjunto

{y_{1}, y_{2}, \dots, y_{n}}

n

soluciones linealmente independientes de una ecuación diferencial lineal homogénea de

n

-ésimo orden en un intervalo

δ

es un conjunto fundamental de soluciones en dicho intervalo.

Soluciones a ecuaciones diferenciales lineales de orden superior

Estamos interesados en soluciones linealmente independientes de una ecuación diferencial lineal homogénea de orden superior de la forma

$Label '2' multiply defined$

Al intentar responder la pregunta de si el conjunto de $n$ soluciones ${y_{1}, y_{2}, \dots, y_{n}}$ de ( $2$ ) es linealmente independiente podemos apelar directamente a la definición de independencia lineal, sin embargo esta pregunta se puede responder de una forma mecánica usando un determinante llamado el Wronskiano.

Definición: Sean

f_{1} (x), f_{2} (x), \dots, f_{n} (x)

funciones que tienen al menos

n - 1

derivadas cada una. El determinante

Label '3' multiply defined

donde las primas denotan derivadas, se llama el Wronskiano de las funciones.

El Wronskiano es una herramienta que podemos utilizar para determinar si el conjunto de soluciones de la ecuación diferencial ( $2$ ) es un conjunto linealmente independiente y la forma de hacerlo es a través del siguiente teorema conocido como criterio para soluciones linealmente independientes.

Teorema: Sean

y_{1}, y_{2}, \dots, y_{n}

n

soluciones de la ecuación diferencial lineal homogénea de

n

-ésimo orden (

2

) en el intervalo

δ

. El conjunto de soluciones es linealmente independiente en

δ

si, y solo si

Label '4' multiply defined

para toda

x

en el intervalo

δ

Este teorema nos dice que sólo basta mostrar que el Wronskiano es distinto de cero para garantizar que el conjunto de soluciones ${y_{1}, y_{2}, \dots, y_{n}}$ es linealmente independiente y por tanto formará un conjunto fundamental de soluciones.

Al conjunto de soluciones linealmente independiente ${y_{1}, y_{2}, \dots, y_{n}}$ de la ecuación ( $2$ ) se le denomina fundamental porque, así como cualquier vector en $R^{3}$ se puede expresar como una combinación lineal de los vectores linealmente independientes $\hat{i}, \hat{j}$ y $\hat{k}$ , cualquier solución de una ecuación diferencial de la forma ( $2$ ) se puede expresar como una combinación lineal de las $n$ soluciones del conjunto fundamental, podemos decir que las soluciones ${y_{1}, y_{2}, \dots, y_{n}}$ son los bloques básicos para la solución general de la ecuación.

En el siguiente teorema se enuncia la forma general de la solución de la ecuación diferencial ( $2$ ).

Teorema: Sea

{y_{1}, y_{2}, \dots, y_{n}}

un conjunto fundamental de soluciones de la ecuación diferencial lineal homogénea de

n

-ésimo orden (

2

) en el intervalo

δ

. Entonces la solución general de la ecuación en el intervalo es

Label '5' multiply defined

donde

c_{i}, i = 1, 2, \dots, n

son constantes arbitrarias.

Aterricemos estas ideas generales al caso de las ecuaciones diferenciales lineales homogéneas de segundo orden.

Ecuaciones lineales homogéneas de segundo orden

Una ecuación diferencial lineal homogénea de segundo orden es de la forma

$Label '6' multiply defined$

Sobre esta ecuación desarrollaremos la siguiente teoría. Primero definamos el Wronskiano para el caso $n = 2$ .

Definición: Sean

y_{1} (x)

y_{2} (x)

soluciones de la ecuación (

6

), el Wronskiano de las funciones es

Label '7' multiply defined

Ahora que conocemos la forma del Wronskiano para $n = 2$ , demostremos el teorema de la solución general para el caso $n = 2$ .

Teorema: Sean

y_{1} (x)

y_{2} (x)

soluciones de la ecuación diferencial (

6

) en el intervalo

δ

y supongamos que

W (y_{1}, y_{2}) \neq 0

para toda

x \in δ

, entonces

y (x) = c_{1} y_{1} (x) + c_{2} y_{2} (x)

es la solución general de la ecuación diferencial (

4

Demostración: Sea $y (x)$ una solución de la ecuación diferencial ( $6$ ) en el intervalo $δ$ y sea $x_{0} \in δ$ , tal que

$y (x_{0}) = α y \frac{d y}{d x} (x_{0}) = β$ $

con $α$ y $β$ constantes. Supongamos que existen $c_{1}$ y $c_{2}$ constantes tales que

$Label '8' multiply defined$

$Label '9' multiply defined$

esto debido a que por hipótesis $y_{1} (x)$ y $y_{2} (x)$ son soluciones de la ecuación diferencial y por tanto la combinación lineal también lo será. Aplicando el teorema de existencia y unicidad obtenemos que la solución $y (x)$ tiene que ser de la forma

$y (x) = c_{1} y_{1} + c_{2} y_{2}$

por lo que nuestro problema se reduce a demostrar que las constantes $c_{1}$ y $c_{2}$ existen.

Si multiplicamos a la ecuación ( $8$ ) por $\frac{d y_{2}}{d x} (x_{0})$ y a la ecuación ( $9$ ) por $y_{2} (x_{0})$ obtenemos lo siguiente, respectivamente.

$Label '10' multiply defined$

$Label '11' multiply defined$

Restémosle a la ecuación ( $10$ ) la ecuación ( $11$ ).

$Label '12' multiply defined$

Sabemos que el Wronskiano, en $x = x_{0}$ , está definido como

$Label '13' multiply defined$

Por comodidad denotaremos a $W (y_{1} (x_{0}), y_{2} (x_{0}))$ como $W (x_{0})$ . Entonces la ecuación ( $12$ ) se puede escribir de la siguiente manera.

$Label '14' multiply defined$

Debido a que por hipótesis $W (y_{1}, y_{2}) \neq 0$ para toda $x \in δ$ , en particular lo es en $x = x_{0}$ , por tanto podemos despejar a la constante $c_{1}$ y así obtener un valor para dicha constante lo que muestra su existencia.

Para obtener la expresión de $c_{2}$ hacemos algo similar, multiplicamos a la ecuación ( $8$ ) por $\frac{d y_{1}}{d x} (x_{0})$ y a la ecuación ( $9$ ) por $y_{1} (x_{0})$ y repetimos el mismo procedimiento demostrando así que existe un valor para la constante $c_{2}$ .

Como hemos encontrado valores para $c_{1}$ y $c_{2}$ , entonces existen y por lo tanto la solución general a la ecuación ( $4$ ) es

$Label '15' multiply defined$

Ya hemos definido lo que es el conjunto fundamental de soluciones de una ecuación diferencial de orden $n$ , para el caso $n = 2$ lo podemos definir de la siguiente manera.

Definición: Decimos que

{y_{1} (x), y_{2} (x)}

es un conjunto fundamental de soluciones para la ecuación diferencial (

6

) si cualquier solución puede escribirse como combinación lineal de

y_{1}

y_{2}

, o lo que es equivalente, que

y_{1}

y_{2}

sean linealmente independientes en

δ

Así, si encontramos un conjunto fundamental de soluciones ${y_{1} (x), y_{2} (x)}$ , entonces

$W (y_{1}, y_{2}) \neq 0$

para toda $x \in δ$ y por tanto

$y (x) = c_{1} y_{1} (x) + c_{2} y_{2} (x)$

será la solución general de la ecuación diferencial ( $4$ ).

Del criterio para soluciones linealmente independientes se puede hacer notar que cuando $y_{1}, y_{2}, \dots, y_{n}$ son $n$ soluciones de la ecuación diferencial ( $2$ ) en un intervalo $δ$ , el Wronskiano $W (y_{1}, y_{2}, \dots, y_{n})$ es siempre igual a cero o nunca es cero en todo $δ$ . Vamos a demostrar este hecho para el caso $n = 2$ .

Teorema: Sean

a_{2} (x) \neq 0

a_{1} (x)

a_{0} (x)

funciones continuas en

δ

de la ecuación diferencial (

6

) y sean

y_{1} (x)

y_{2} (x)

soluciones de la misma ecuación en

δ

. Entonces

W (y_{1}, y_{2}) = 0 o W (y_{1}, y_{2}) \neq 0

para todo

x \in δ

Demostración: Como $y_{1} (x)$ y $y_{2} (x)$ son soluciones de la ecuación ( $6$ ), entonces

$Label '16' multiply defined$

$Label '17' multiply defined$

Si multiplicamos a la ecuación ( $16$ ) por $y_{2}$ y a la ecuación ( $17$ ) por $y_{1}$ obtenemos lo siguiente, respectivamente.

$Label '18' multiply defined$

$Label '19' multiply defined$

A la ecuación ( $19$ ) vamos a restarle la ecuación ( $18$ ).

$Label '20' multiply defined$

Sabemos que

$W (y_{1}, y_{2}) = y_{1} \frac{d y_{2}}{d x} - y_{2} \frac{d y_{1}}{d x}$

y notemos lo siguiente

$\begin{aligned} \frac{d W}{d x} & = \frac{d}{d x} (y_{1} \frac{d y_{2}}{d x} - y_{2} \frac{d y_{1}}{d x}) \\ = \frac{d y_{1}}{d x} \frac{d y_{2}}{d x} + y_{1} \frac{d^{2} y_{2}}{d x^{2}} - \frac{d y_{2}}{d x} \frac{d y_{1}}{d x} - y_{2} \frac{d^{2} y_{1}}{d x^{2}} \\ = y_{1} \frac{d^{2} y_{2}}{d x^{2}} - y_{2} \frac{d^{2} y_{1}}{d x^{2}} \end{aligned}$

Es decir,

$Label '21' multiply defined$

En términos del Wronskiano la ecuación ( $20$ ) se puede escribir como

$Label '22' multiply defined$

Como $a_{2} (x) \neq 0$ para toda $x \in δ$ , entonces podemos definir la función

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

tal que la ecuación ( $22$ ) se pueda escribir como

$Label '23' multiply defined$

Esta resultado corresponde a una ecuación diferencial lineal homogénea de primer orden y ya sabemos que la solución es de la forma

$W (x) = k e^{- \int P (x) d x}$

de manera que hay dos posibilidades:

Si $k = 0 \Rightarrow W (x) = 0, \forall x \in δ$

Si $k \neq 0 \Rightarrow W (x) \neq 0, \forall x \in δ$

El criterio para soluciones linealmente independientes nos garantiza que si el Wronskiano es distinto de cero, entonces el conjunto de soluciones es linealmente independiente en $δ$ , lo opuesto es cierto bajo ciertas condiciones, si el Wronskiano es igual a cero, entonces el conjunto de soluciones es linealmente dependiente. Demostremos este hecho.

Teorema: Sean

a_{2} (x) \neq 0

a_{1} (x)

a_{0} (x)

funciones continuas en

δ

de la ecuación diferencial (

6

) y sean

y_{1}

y_{2} \neq 0

soluciones de la misma ecuación en

δ

. Supongamos que

W (y_{1} (x), y_{2} (x)) = 0

\forall x \in δ

. Entonces

y_{1} (x)

y_{2} (x)

son linealmente dependientes.

Demostración: Por hipótesis

$W (y_{1} (x), y_{2} (x)) = 0$

$\forall x \in δ$ , es decir

$Label '24' multiply defined$

Consideremos el siguiente resultado.

$Label '25' multiply defined$

Donde hemos considerado la hipótesis $y_{2} \neq 0$ . Si usamos la hipótesis ( $24$ ) obtenemos que

$\frac{d}{d x} (- \frac{y_{1}}{y_{2}}) = 0$

$\forall x \in δ$ , integrando esta ecuación obtenemos que

$- \frac{y_{1}}{y_{2}} = - k$

O bien,

$Label '26' multiply defined$

con $k$ una constante. Esto demuestra que $y_{1}$ y $y_{2}$ son linealmente dependientes.

Hay que tener muy presentes las hipótesis de este teorema, pues es posible que el Wronskiano sea cero aún cuando las funciones consideradas en un cierto intervalo sean linealmente independientes en él.

Como consecuencia del teorema anterior podemos establecer el criterio para soluciones linealmente independientes en el caso $n = 2$ .

Corolario: Dos soluciones

y_{1} (x)

y_{2} (x)

de la ecuación diferencial (

6

) son linealmente independientes en

δ

si, y sólo si

\forall x \in δ

W (y_{1} (x), y_{2} (x)) \neq 0

Realicemos un ejemplo.

Ejemplo: En la entrada anterior de tarea moral tenías que verificar que las funciones

$y_{1} (x) = e^{- 3 x} y y_{2} (x) = e^{4 x}$

forman un conjunto fundamental de soluciones de la ecuación diferencial

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

en $δ = (- \infty, \infty)$ . Demostremos esto mismo usando los teoremas vistos anteriormente.

Solución: Consideremos las soluciones

$y_{1} (x) = e^{- 3 x} y y_{2} (x) = e^{4 x}$

y sus respectivas derivadas

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

Calculemos el Wronskiano.

$\begin{array}{r} W (y_{1}, y_{2}) = | \begin{array}{c} e^{- 3 x} & e^{4 x} \\ - 3 e^{- 3 x} & 4 e^{4 x} \end{array} | = e^{- 3 x} (4 e^{4 x}) - e^{4 x} (- 3 e^{- 3 x}) = 7 e^{- x} \neq 0 \end{array}$

Como

$W (y_{1}, y_{2}) = 7 e^{- x} \neq 0$

entonces ${y_{1} (x) = e^{- 3 x}, y_{2} (x) = e^{4 x}}$ forma un conjunto fundamental de soluciones y la solución general está dada por

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

Con esto concluimos el estudio de algunas propiedades importantes de las soluciones a la ecuación diferencial lineal homogénea de orden superior, terminemos esta entrada con el estudio del caso no homogéneo.

Ecuaciones no homogéneas

La ecuación diferencial lineal no homogénea de $n$ -ésimo orden es

$Label '27' multiply defined$

Nuestro objetivo es obtener la forma general de la solución de la ecuación no homogénea ( $27$ ) y estudiar algunas propiedades de las soluciones.

Definición: Una función

y_{p} (x)

que es libre de parámetros arbitrarios y que satisface la ecuación diferencial lineal no homogénea de

n

-ésimo orden (

27

) se dice que es una solución particular o integral particular de la ecuación.

Si recordamos al operador polinomial

$Label '28' multiply defined$

la definición anterior implica que

$Label '29' multiply defined$

Veamos el siguiente resultado.

Teorema: Sean

y_{1}, y_{2}, \dots, y_{n}

soluciones de la ecuación diferencial homogénea (

2

) en el intervalo

δ

y sea

y_{p}

la solución particular de la ecuación no homogénea (

27

) en

δ

. Entonces la combinación lineal

Label '30' multiply defined

es solución de la ecuación no homogénea (

27

), en

δ

Demostración: Sea $y (x)$ la combinación lineal

$y (x) = c_{1} y_{1} + c_{2} y_{2} + \dots + c_{n} y_{n} + y_{p}$

si aplicamos el operador polinomial, tenemos

$\begin{aligned} L {y (x)} & = L {c_{1} y_{1} + c_{2} y_{2} + \dots + c_{n} y_{n} + y_{p}} \\ = c_{1} L {y_{1}} + c_{2} L {y_{2}} + \dots + c_{n} L {y_{n}} + L {y_{p}} \\ = 0 + g (x) \\ = g (x) \end{aligned}$

Ya que $L {y_{i}} = 0$ para cada $i = 1, 2, \dots, n$ por ser cada $y_{i}$ solución de la ecuación homogénea, mientras que $L {y_{p}} = g (x)$ por ser solución de la ecuación no homogénea. Entonces, como

$L {y (x)} = g (x)$

concluimos que la combinación lineal

$y (x) = c_{1} y_{1} + c_{2} y_{2} + \dots + c_{n} y_{n} + y_{p}$

es solución de la ecuación diferencial no homogénea.

¿Y qué ocurre si las soluciones $y_{1}, y_{2}, \dots, y_{n}$ forman un conjunto fundamental de soluciones?. La respuesta es que la combinación lineal

$y (x) = c_{1} y_{1} + c_{2} y_{2} + \dots + c_{n} y_{n} + y_{p}$

sería la solución general de la ecuación diferencial no homogénea ( $27$ ). Demostremos este resultado.

Teorema: Sea

y_{p} (x)

cualquier solución particular de la ecuación diferencial lineal no homogénea de

n

-ésimo orden (

27

) en el intervalo

δ

, y sea

{y_{1}, y_{2}, \dots, y_{n}}

un conjunto fundamental de soluciones de la ecuación diferencial homogénea asociada (

2

) en

δ

. Entonces la solución general de la ecuación no homogénea es

Label '31' multiply defined

en el intervalo

δ

y donde

c_{i}, i = 1, 2, \dots, n

son constantes arbitrarias.

Demostración: Sea $y (x)$ la solución general de la ecuación no homogénea ( $27$ ) y sea $y_{p} (x)$ una solución particular de la misma ecuación, ambas definidas en el intervalo $δ$ , de manera que

$L {y (x)} = L {y_{p} (x)} = g (x)$

con $L$ el operador polinomial ( $28$ ). Nuestro objetivo es encontrar la forma explícita de $y (x)$ .

Definamos la función

$Label '32' multiply defined$

y notemos lo siguiente.

$\begin{aligned} L {h (x)} & = L {y (x) - y_{p} (x)} \\ = L {y (x)} - L {y_{p} (x)} \\ = g (x) - g (x) \\ = 0 \end{aligned}$

Esto es,

$L {h (x)} = 0$

lo que significa que la función $h (x)$ es solución de la ecuación homogénea ( $2$ ) y por el teorema de la solución general de ecuaciones homogéneas podemos establecer que la función $h (x)$ tiene la siguiente forma.

$Label '33' multiply defined$

Con ${y_{1}, y_{2}, \dots, y_{n}}$ un conjunto fundamental de soluciones. Sustituyendo ( $33$ ) en ( $32$ ) y despejando a la solución general $y (x)$ obtenemos finalmente que

$y (x) = c_{1} y_{1} (x) + c_{2} y_{2} (x) + \dots + c_{n} y_{n} (x) + y_{p} (x)$

que es lo que queríamos demostrar.

La diferencia entre las soluciones $(30)$ y $(31)$ es que en $(31)$ las $y_{i}, i = 1, 2, \dots, n$ forman un conjunto fundamental de soluciones, es decir, son linealmente independientes entre sí, mientras que en ( $30$ ) no necesariamente forman una conjunto fundamental y sin embargo, también son solución de la ecuación ( $27$ ).

En el caso de las ecuaciones no homogéneas vemos que la solución general corresponde a la suma de la solución general de la ecuación homogénea asociada más una solución particular de la ecuación no homogénea. En este caso no homogéneo la solución general de la ecuación homogénea tiene un nombre particular.

Definición: La combinación lineal

y_{c} (x) = c_{1} y_{1} (x) + c_{2} y_{2} (x) + \dots + c_{n} y_{n} (x)

que es la solución general de la ecuación diferencial lineal homogénea de

n

-ésimo orden (

2

), se denomina función complementaria para la ecuación no homogénea (

27

Por tanto, resolver una ecuación lineal no homogénea implica resolver primero la ecuación homogénea asociada para obtener la función complementaria $y_{c} (x)$ y luego se encuentra una solución particular $y_{p} (x)$ de la ecuación no homogénea para finalmente sumarlas

$Label '34' multiply defined$

Realicemos un ejemplo.

Ejemplo: Probar que la función

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

definida en el intervalo $δ = (- \infty, \infty)$ , es la solución general de la ecuación diferencial

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

Solución: Primero probemos que las funciones

$y_{1} = e^{2 x} y y_{2} = x e^{2 x}$

forman un conjunto fundamental de soluciones de la ecuación homogénea asociada

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

Para ello veamos que $y_{1}$ y $y_{2}$ son soluciones de la ecuación homogénea y que son linealmente independientes, es decir, que $W (y_{1}, y_{2}) \neq 0$ . Calculemos las derivadas.

$y_{1} = e^{2 x} \Rightarrow \frac{d y_{1}}{d x} = 2 e^{2 x} \Rightarrow \frac{d^{2} y_{1}}{d x^{2}} = 4 e^{2 x}$

$y_{2} = x e^{2 x} \Rightarrow \frac{d y_{2}}{d x} = e^{2 x} + 2 x e^{2 x} \Rightarrow \frac{d^{2} y_{2}}{d x^{2}} = 4 e^{2 x} + 4 x e^{2 x}$

De tarea moral muestra que ambas funciones son solución de la ecuación homogénea asociada, es decir, que

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

Ahora probemos que forman un conjunto fundamental de soluciones, para ello calculemos el Wronskiano.

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

Como $W (y_{1}, y_{2}) \neq 0$ , $\forall x \in δ$ , por los teoremas vistos anteriormente concluimos que ${y_{1} = e^{2 x}, y_{2} = x e^{2 x}}$ forma un conjunto fundamental de soluciones de la ecuación homogénea asociada y que la solución general a dicha ecuación es

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

donde el subíndice $c$ indica que es la función complementaria.

Ahora verifiquemos que la función

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

es una solución particular de la ecuación no homogénea. Calculemos la primera y segunda derivada.

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

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

Sustituyamos en la ecuación diferencial.

$\begin{aligned} \frac{d^{2} y}{d x^{2}} - 4 \frac{d y}{d x} + 4 y & = (2 e^{2 x} + 8 x e^{2 x} + 4 x^{2} e^{2 x}) - 4 (2 x e^{2 x} + 2 x^{2} e^{2 x} + 1) + 4 (x^{2} e^{2 x} + x - 2) \\ = 2 e^{2 x} + (8 x e^{2 x} - 8 x e^{2 x}) + (4 x^{2} e^{2 x} - 8 x^{2} e^{2 x} + 4 x^{2} e^{2 x}) + 4 x - 12 \\ = 2 e^{2 x} + 4 x - 12 \end{aligned}$

Esto es,

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

que justo corresponde a la ecuación diferencial no homogénea, por lo tanto, efectivamente $y_{p}$ es una solución particular.

Como ${y_{1} = e^{2 x}, y_{2} = x e^{2 x}}$ es un conjunto fundamental de soluciones de la ecuación homogénea asociada y

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

es una solución particular de la ecuación no homogénea, por el teorema de la solución general de ecuaciones no homogéneas concluimos que la función

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

es la solución general de la ecuación no homogénea.

Hay algo muy interesante que ocurre en el ejemplo anterior. Mostramos que la función

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

es una solución particular de la ecuación no homogénea

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

Sin embargo, si haces los cálculos correspondientes notarás que la función

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

es una solución particular de la ecuación

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

mientras que la función

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

es una solución particular de la ecuación

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

Así, si superponemos las soluciones particulares

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

obtenemos en la ecuación diferencial la superposición de la funciones

$g (x) = g_{1} (x) + g_{2} (x)$

Lo anterior es efecto del principio de superposición para ecuaciones no homogéneas.

Teorema: Sean

y_{p 1}, y_{p 2}, \dots, y_{p k}

k

soluciones particulares de la ecuación diferencial lineal no homogénea de

n

-ésimo orden (

27

) en un intervalo

δ

, que corresponde, a su vez, a

k

funciones diferentes

g_{1}, g_{2}, \dots, g_{k}

. Es decir, se supone que

y_{p i}

denota una solución particular de la ecuación diferencial correspondiente

\begin{matrix} (35) & a_{n} (x) \frac{d^{n} y}{d x^{n}} + a_{n - 1} (x) \frac{d^{n - 1} y}{d x^{n - 1}} + \dots + a_{1} (x) \frac{d y}{d x} + a_{0} (x) y = g_{i} (x) \end{matrix}

donde

i = 1, 2,, \dots, k

. Entonces,

\begin{matrix} (36) & y_{p} (x) = y_{p 1} (x) + y_{p 2} (x) + \dots + y_{p k} (x) \end{matrix}

es una solución particular de

\begin{matrix} (37) & a_{n} \frac{d^{n} y}{d x^{n}} + a_{n - 1} \frac{d^{n - 1} y}{d x^{n - 1}} + \dots + a_{1} \frac{d y}{d x} + a_{0} y = g_{1} (x) + g_{2} (x) + \dots + g_{k} (x) \end{matrix}

Demostración: Sea $L$ el operador polinomial ( $28$ ) y sean $y_{p i} (x)$ , $i = 1, 2, \dots, k$ , soluciones particulares de las ecuaciones no homogéneas

$L {y_{p i} (x)} = g_{i} (x)$

$i = 1, 2, \dots, k$ respectivamente. Definamos la función

$y_{p} (x) = y_{p 1} (x) + y_{p 2} (x) + \dots + y_{p k} (x)$

Nuestro objetivo es demostrar que la función $y_{p} (x)$ es una solución particular de la ecuación ( $37$ ), es decir, que se cumple que

$L {y_{p} (x)} = g_{1} (x) + g_{2} (x) + \dots + g_{k} (x)$

En efecto

$\begin{aligned} L {y_{p} (x)} & = L {y_{p 1} (x) + y_{p 2} (x) + \dots + y_{p k} (x)} \\ = L {y_{p 1} (x)} + L {y_{p 2} (x)} + \dots + L {y_{p k} (x)} \\ = g_{1} (x) + g_{2} (x) + \dots + g_{k} (x) \end{aligned}$

Con esto queda probado que

$y_{p} (x) = y_{p 1} (x) + y_{p 2} (x) + \dots + y_{p k} (x)$

es solución de ( $37$ ).

Corolario: Si la soluciones

y_{p i} (x)

son soluciones particulares de (

35

) para

i = 1, 2, \dots, k

, entonces la combinación lineal

\begin{matrix} (38) & y_{p} (x) = c_{1} y_{p 1} (x) + c_{2} y_{p 2} (x) + \dots + c_{k} y_{p k} (x) \end{matrix}

donde las

c_{i}

son constantes, es también una solución particular de la ecuación diferencial

\begin{matrix} (39) & a_{n} \frac{d^{n} y}{d x^{n}} + a_{n - 1} \frac{d^{n - 1} y}{d x^{n - 1}} + \dots + a_{1} \frac{d y}{d x} + a_{0} y = c_{1} g_{1} + c_{2} g_{2} + \dots + c_{k} g_{k} \end{matrix}

Realicemos un último ejemplo.

Ejemplo: Probar que

$y_{p 1} (x) = - 4 x^{2}$ es solución particular de $\frac{d^{2} y}{d x^{2}} - 3 \frac{d y}{d x} + 4 y = - 16 x^{2} + 24 x - 8$ ,

$y_{p 2} (x) = e^{2 x}$ es solución particular de $\frac{d^{2} y}{d x^{2}} - 3 \frac{d y}{d x} + 4 y = 2 e^{2 x}$ ,

$y_{p 3} (x) = x e^{x}$ es solución particular de $\frac{d^{2} y}{d x^{2}} - 3 \frac{d y}{d x} + 4 y = 2 x e^{x} - e^{x}$ .

y probar que la superposición

$y (x) = y_{p 1} (x) + y_{p 2} (x) + y_{p 3} (x) = - 4 x^{2} + e^{2 x} + x e^{x}$

es una solución de

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

Solución: Sean

$g_{1} (x) = - 16 x^{2} + 24 x - 8, g_{2} (x) = 2 e^{2 x} y g_{3} (x) = 2 x e^{x} - e^{x}$

De tarea moral muestra que efectivamente,

$\frac{d^{2} y_{p 1}}{d x^{2}} - 3 \frac{d y_{p 1}}{d x} + 4 y_{p 1} = g_{1} (x)$

$\frac{d^{2} y_{p 2}}{d x^{2}} - 3 \frac{d y_{p 2}}{d x} + 4 y_{p 2} = g_{2} (x)$

$\frac{d^{2} y_{p 3}}{d x^{2}} - 3 \frac{d y_{p 3}}{d x} + 4 y_{p 3} = g_{3} (x)$

Por el principio de superposición para ecuaciones no homogéneas sabemos que la función

$y (x) = y_{p 1} (x) + y_{p 2} (x) + y_{p 3} (x)$

es solución de la ecuación

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

Por lo tanto, la función

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

es solución de la ecuación diferencial

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

Si gustas puedes calcular la primera y segunda derivada de $y (x)$ y verificar la ecuación anterior para asegurarte del resultado.

Con esto concluimos nuestro estudio sobre algunas propiedades de las ecuaciones diferenciales lineales de orden superior. En la siguiente entrada conoceremos un primer método para resolver ecuaciones diferenciales de segundo orden.

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.

Dadas las soluciones de las siguientes ecuaciones diferenciales lineales homogéneas de orden superior en el intervalo dado, calcular el Wronskiano para determinar si es un conjunto fundamental de soluciones y en caso de serlo dar la solución general.

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

$y_{1} = x, y_{2} = \frac{1}{x^{2}}, y_{3} = \frac{1}{x^{2}} \ln (x); δ = (0, \infty)$ .

$\frac{d^{4} y}{d x^{4}} + \frac{d^{2} y}{d x^{2}} = 0$ , con soluciones

$y_{1} = 1, y_{2} = x, y_{3} = \cos (x), y_{4} = \sin (x); δ = (\infty, \infty)$ .

Dadas las soluciones de las siguientes ecuaciones diferenciales lineales no homogéneas de orden superior en el intervalo dado, probar que se trata de la solución general de la ecuación.

$\frac{d^{2} y}{d x^{2}} - 7 \frac{d y}{d x} + 10 y = 24 e^{x}$ , con solución

$y (x) = c_{1} e^{2 x} + c_{2} e^{5 x} + 6 e^{x}; δ = (\infty, \infty)$ .

$2 x^{2} \frac{d^{2} y}{d x^{2}} + 5 x \frac{d y}{d x} + y = x^{2} - x$ , con solución

$y (x) = c_{1} \frac{1}{\sqrt{x}} + c_{2} \frac{1}{x} + \frac{1}{15} x^{2} - \frac{1}{6} x; δ = (0, \infty)$ .

Comprobar que las funciones $y_{p 1} (x) = 3 e^{2 x} y y_{p 2} (x) = x^{2} + 3 x$ son, respectivamente, soluciones particulares de $\frac{d^{2} y}{d x^{2}} - 6 \frac{d y}{d x} + 5 y = - 9 e^{2 x} y \frac{d^{2} y}{d x^{2}} - 6 \frac{d y}{d x} + 5 y = 5 x^{2} + 3 x - 16$

Usando el ejercicio anterior, encontrar la solución particular de las siguientes ecuaciones.

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

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

Más adelante…

Ahora que ya conocemos algunas propiedades de las ecuaciones diferenciales de orden superior y sus soluciones, en particular de las ecuaciones lineales de segundo orden, es momento de comenzar a desarrollar los distintos métodos de resolución de estas ecuaciones diferenciales.

En la siguiente entrada comenzaremos con un método que permite reducir una ecuación de segundo orden en una ecuación de primer orden, de tal manera que podremos resolverla aplicando alguno de los métodos vistos en la unidad anterior. No es casualidad que dicho método se conozca como método de reducción de orden.

Entradas relacionadas

Página principal del curso: Ecuaciones Diferenciales I
Entrada anterior del curso: Ecuaciones diferenciales de orden superior
Siguiente entrada del curso: Método de reducción de orden

Video relacionado al tema: Ecuaciones lineales homogéneas de segundo orden. Propiedades del conjunto de soluciones

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 de orden superior

Por Omar González Franco

4 respuestas

Las matemáticas expresan valores que reflejan el cosmos, incluyendo
el orden, equilibrio, armonía, lógica y belleza abstracta.
– Deepak Chopra

Introducción

¡Bienvenidos a la segunda unidad del curso de Ecuaciones Diferenciales I!.

En la primera unidad estudiamos las ecuaciones diferenciales lineales y no lineales de primer orden, en esta unidad estudiaremos las ecuaciones diferenciales de orden superior a uno, en particular las ecuaciones lineales de segundo orden.

Anteriormente vimos que las ecuaciones diferenciales se pueden clasificar por orden, el cual corresponde al orden de la derivada más alta presente en la ecuación diferencial. A las ecuaciones diferenciales de orden mayor a uno se le conocen como ecuaciones diferenciales de orden superior. Nuestro enfoque en esta unidad serán las ecuaciones diferenciales lineales de segundo orden, pero antes de desarrollar los distintos métodos de resolución es necesario establecer una serie de conceptos y teoremas que sustentarán a dichos métodos.

Si bien, la segunda unidad tratará sobre las ecuaciones diferenciales lineales de segundo orden, gran parte de esta teoría preliminar la desarrollaremos para el caso general en el que el orden de la ecuación es $n$ , con $n$ un número entero mayor a uno, así sólo será suficiente fijar $n = 2$ para referirnos a las ecuaciones de segundo orden.

Ecuaciones Diferenciales lineales de orden superior

Recordemos que una ecuación diferencial de $n$ -ésimo orden en su forma general es

$Label '1' multiply defined$

Donde $F$ es una función con valores reales de $n + 2$ variables. La ecuación ( $1$ ) se puede escribir en su forma normal como

$Label '2' multiply defined$

Con $f$ una función continua con valores reales. Para el caso en el que la ecuación es lineal, una ecuación diferencial de $n$ -ésimo orden se puede escribir como

$Label '3' multiply defined$

Satisfaciendo las propiedades que ya conocemos. La ecuación ( $3$ ) es una ecuación no homogénea, en el caso en el que $g (x) = 0$ , decimos que la ecuación es homogénea.

$Label '4' multiply defined$

Las ecuaciones ( $3$ ) y ( $4$ ) serán, entonces, el tipo de ecuaciones sobre la cual desarrollaremos esta teoría preliminar.

Para comenzar estudiemos los problemas con valores iniciales y problemas con valores en la frontera en el caso de las ecuaciones diferenciales lineales de orden superior.

Problema con valores iniciales para ecuaciones lineales

En la unidad anterior definimos lo que es un problema con valores iniciales, esta definición fue general, definamos ahora lo que es un problema con valores iniciales para el caso en el que la ecuación es lineal.

Definición: Sea

δ

un intervalo que contiene al punto

x_{0}

, el problema de resolver la ecuación lineal

a_{n} (x) \frac{d^{n} y}{d x^{n}} + a_{n - 1} (x) \frac{d^{n - 1} y}{d x^{n - 1}} + \dots + a_{1} (x) \frac{d y}{d x} + a_{0} (x) y = g (x)

Sujeta a que se cumpla

y (x_{0}) = y_{0}, y^{'} (x_{0}) = y_{1}, \dots, y^{(n - 1)} (x_{0}) = y_{n - 1}

Donde

y_{0}, y_{1}, \dots, y_{n - 1}

son constantes reales arbitrarias dadas, se llama problema con valores iniciales (PVI) para ecuaciones lineales.

Para el caso de segundo orden ya hemos mencionado que geométricamente un PVI involucra obtener una curva solución que pase por el punto $(x_{0}, y_{0})$ y la pendiente en dicho punto sea $m = y_{1}$ .

Enunciaremos, sin demostrar, el teorema de existencia y unicidad que contiene las condiciones suficientes para la existencia y unicidad de una solución de un PVI de $n$ -ésimo orden para el caso de las ecuaciones lineales.

Teorema: Sean

a_{n} (x), a_{n - 1} (x), \dots, a_{1} (x), a_{0} (x)

g (x)

continuas en un intervalo

δ

, y sea

a_{n} (x) \neq 0

\forall x \in δ

. Si

x = x_{0}

es cualquier punto en

δ

, entonces una solución

y (x)

del problema con valores iniciales para el caso de las ecuaciones diferenciales lineales existe en el intervalo y es única.

Podemos enunciar el teorema de existencia y unicidad para el caso de las ecuaciones diferenciales lineales de segundo orden ( $n = 2$ ) de la siguiente manera.

Teorema: Sean

a_{2} (x), a_{1} (x), a_{0} (x)

g (x)

continuas en un intervalo

δ

, y sea

a_{2} (x) \neq 0

\forall x \in δ

. Si

x = x_{0}

es cualquier punto en

δ

, entonces existe una única solución al problema con valores iniciales

Label '5' multiply defined

Sujeta a que se cumplan las condiciones iniciales

y (x_{0}) = y_{0} y y^{'} (x_{0}) = y_{1}

en el intervalo

δ

No demostraremos este teorema, pero es importante notar que dentro del enunciado hemos escrito la definición de PVI para el caso $n = 2$ (segundo orden). Veamos un ejemplo en donde apliquemos este último teorema.

Ejemplo: Probar que la función

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

es solución al PVI

$\frac{d^{2} y}{d x^{2}} - 4 y = 12 x; y (0) = 4, y^{'} (0) = 1$

y además es única.

Solución: Primero probemos que es solución al PVI, para ello veamos que satisface la ecuación diferencial y además cumple con las condiciones iniciales.

La función dada es

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

La primera y segunda derivada de esta función son, respectivamente

$\frac{d y}{d x} = y^{'} (x) = 6 e^{2 x} - 2 e^{- 2 x} - 3 y \frac{d^{2} y}{d x^{2}} = y^{''} (x) = 12 e^{2 x} + 4 e^{- 2 x}$

Notemos que

$\begin{aligned} \frac{d^{2} y}{d x^{2}} - 4 y & = (12 e^{2 x} + 4 e^{- 2 x}) - 4 (3 e^{2 x} + e^{- 2 x} - 3 x) \\ = 12 e^{2 x} + 4 e^{- 2 x} - 12 e^{2 x} - 4 e^{- 2 x} + 12 x \\ = 12 x \end{aligned}$

Esto es,

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

La función satisface la ecuación diferencial. Verifiquemos que satisface las condiciones iniciales.

En la solución evaluemos $x = 0$ .

$y (0) = 3 e^{0} + e^{0} - 0 = 3 + 1 = 4 \Rightarrow y (0) = 4$

Se cumple la primera condición inicial. Ahora, en la derivada de la función evaluemos en $x = 0$ .

$y^{'} (0) = 6 e^{0} - 2 e^{0} - 3 = 6 - 2 - 3 = 1 \Rightarrow y^{'} (0) = 1$

Se cumple la segunda condición inicial. Por lo tanto, la función dada es solución al PVI.

Es claro que el intervalo de solución es $δ = (- \infty, \infty)$ y que $x_{0} = 0 \in δ .$ Como $a_{2} (x) = 1 \neq 0, a_{0} (x) = - 4$ y $g (x) = 12 x$ son funciones continuas en $δ$ , por el teorema de existencia y unicidad para ecuaciones diferenciales lineales de segundo orden concluimos que la función $y (x) = 3 e^{2 x} + e^{- 2 x} - 3 x$ es una solución única.

Al haber aumentado el orden de las ecuaciones diferenciales aparece un nuevo problema que estudiaremos a continuación.

Problema con valores en la frontera

En el estudio de las ecuaciones diferenciales de orden superior existe otro problema similar al PVI conocido como problema con valores en la frontera (PVF) en el que se busca resolver una ecuación diferencial de orden dos o mayor, tal que la variable dependiente y/o sus derivadas se especifican en distintos puntos.

Para que quede claro este concepto definiremos un problema con valores en la frontera para el caso de una ecuación diferencial lineal de segundo orden y siguiendo esta misma idea es que se puede definir para una ecuación de orden superior a dos.

Definición: Sea un intervalo

δ

que contiene a los puntos

a

b

. Un problema en el que se debe resolver la ecuación diferencial lineal

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

Sujeta a que se cumpla

y (a) = y_{0} y y (b) = y_{1}

Con

y_{0}

y_{1}

constantes reales arbitrarias dadas, se llama problema con valores en la frontera (PVF).

Definición: Los valores prescritos

y (a) = y_{0}

y (b) = y_{1}

se llaman condiciones en la frontera.

Así, resolver un PVF es hallar una función $y (x)$ que satisfaga la ecuación diferencial en algún intervalo $δ$ que contiene a $a$ y $b$ y que cuya curva solución pase por los puntos $(a, y_{0})$ y $(b, y_{1})$ .

La razón por la que definimos un PVF para el caso de una ecuación diferencial de segundo orden es porque es posible hacer notar que otros pares de condiciones en la frontera pueden ser

$y^{'} (a) = y_{0} y y (b) = y_{1}$

$y (a) = y_{0} y y^{'} (b) = y_{1}$

$y^{'} (a) = y_{0} y y^{'} (b) = y_{1}$

Sin embargo, las condiciones en la frontera presentadas son sólo casos particulares de las condiciones en la frontera generales

$\begin{aligned} α_{1} y (a) + β_{1} y^{'} (a) & = γ_{1} \\ α_{2} y (b) + β_{2} y^{'} (b) & = γ_{2} \end{aligned}$

Es así que aumentando el orden de la ecuación, las combinaciones de pares de condiciones en la frontera aumentan.

A diferencia de un PVI en el que si existe una solución, entonces ésta es única, en un PVF pueden existir varias soluciones distintas que satisfacen las mismas condiciones en la frontera, o bien, puede sólo existir una solución única o no tener ninguna solución. Veamos un ejemplo que muestre este hecho.

Ejemplo: Probar que la función general

$y (x) = c_{1} x^{2} + c_{2} x^{4} + 3$

es solución de la ecuación diferencial

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

y además, de acuerdo a las condiciones en la frontera dadas a continuación, se cumplen las siguientes propiedades:

$y (- 1) = 0, y (1) = 4 \Rightarrow$ No existe una solución.

$y (0) = 3, y (1) = 0 \Rightarrow$ Existen infinitas soluciones.

$y (1) = 3, y (2) = 15 \Rightarrow$ Existe una única solución.

Solución: De tarea moral verifica que la función dada es solución de la ecuación diferencial. Más adelante estudiaremos los métodos de resolución de este tipo de ecuaciones diferenciales, de manera que seremos capaces de obtener esta función y probar, de hecho, que es la solución general. Por ahora sólo verifica que es solución.

Una vez comprobado que $y (x)$ es solución apliquemos las condiciones de frontera de cada caso y veamos que ocurre con la solución.

Caso 1: $y (- 1) = 0, y (1) = 4$

$y (- 1) = c_{1} (- 1)^{2} + c_{2} (- 1)^{4} + 3 = c_{1} + c_{2} + 3 = 0 \Rightarrow c_{1} + c_{2} = - 3$

$y (1) = c_{1} (1)^{2} + c_{2} (1)^{4} + 3 = c_{1} + c_{2} + 3 = 4 \Rightarrow c_{1} + c_{2} = 1$

De ambas condiciones de la frontera obtenemos que $c_{1} + c_{2} = - 3$ y a la vez $c_{1} + c_{2} = 1$ lo cual es imposible, por lo tanto en este caso NO existe una solución al PVF.

Caso 2: $y (0) = 3, y (1) = 0$

$y (0) = c_{1} (0)^{2} + c_{2} (0)^{4} + 3 = 3 \Rightarrow y (0) = 3$

$y (1) = c_{1} (1)^{2} + c_{2} (1)^{4} + 3 = c_{1} + c_{2} + 3 = 0 \Rightarrow c_{1} + c_{2} = - 3$

Vemos que la primer condición de frontera se cumple y aplicando la segunda obtenemos que $c_{1} + c_{2} = - 3$ de donde $c_{2} = - (c_{1} + 3)$ , sustituyendo en la solución $y (x)$ obtenemos la función

$y (x) = c_{1} x^{2} - (c_{1} + 3) x^{4} + 3$

Donde $c_{1}$ es un parámetro libre, lo que indica que en este caso existen infinitas soluciones, una por cada posible valor de $c_{1}$ .

Caso 3: $y (1) = 3, y (2) = 15$

$y (1) = c_{1} (1)^{2} + c_{2} (1)^{4} + 3 = c_{1} + c_{2} + 3 = 3 \Rightarrow c_{1} + c_{2} = 0$

$y (2) = c_{1} (2)^{2} + c_{2} (2)^{4} + 3 = 4 c_{1} + 16 c_{2} + 3 = 15 \Rightarrow c_{1} + 4 c_{2} = 3$

De ambas condiciones de frontera obtenemos el sistema de ecuaciones

$\begin{aligned} c_{1} + c_{2} & = 0 \\ c_{1} + 4 c_{2} & = 3 \end{aligned}$

De la primer ecuación obtenemos que $c_{1} = - c_{2}$ , sustituyendo en la segunda ecuación obtenemos

$- c_{2} + 4 c_{2} = 3 c_{2} = 3$

de donde $c_{2} = 1$ y por tanto $c_{1} = - 1$ . Sustituyendo en la solución $y (x)$ obtenemos la función

$y (x) = - x^{2} + x^{4} + 3$

Por lo tanto, al ser una función sin parámetros, la solución es única.

A continuación estudiaremos algunos operadores importantes que nos ayudarán en las posteriores demostraciones de algunos teoremas importantes, además de que nos serán de utilidad en cuestiones de notación.

Operadores Diferenciales

Comencemos por definir el operador de derivada.

Definición: El operador

Label '6' multiply defined

se llama operador diferencial y su propósito es considerar a la diferenciación como una operación abstracta que acepta una función derivable y devuelve otra función.

Con ayuda del operador diferencial podemos escribir la derivada de una función $y (x)$ como

$Label '7' multiply defined$

En el entendido que $D$ opera sobre la variable independiente de $y$ , en este caso de $x$ .

Por ejemplo, ahora podemos escribir

$D {2 x \sin (x)} = 2 \sin (x) + 2 x \cos (x)$

Usando el operador diferencial, las expresiones de las derivadas de orden superior se pueden escribir como

$Label '8' multiply defined$

Y de manera general

$Label '9' multiply defined$

Sabemos que la derivada es lineal (en el contexto del álgebra lineal), por tanto el operador diferencial también satisface las propiedades de linealidad:

$D {f (x) + g (x)} = D {f (x)} + D {g (x)}$

$D {c f (x)} = c D {f (x)}$

Por otro lado, una ecuación diferencial como

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

se puede escribir en términos del operador diferencial como

$D^{2} y - 2 D y + 5 y = (D^{2} - 2 D + 5) y = 0$

Observamos que el lado izquierdo de ésta última expresión corresponde a una expresión polinomial en la que interviene el operador $D$ , estas expresiones polinomiales son también un operador diferencial y tiene un nombre particular.

Definición: El operador

Label '10' multiply defined

Se llama operador diferencial de $n$ -ésimo orden u operador polinomial.

Debido a que el operador polinomial esta definido con operadores diferenciales $D$ , las propiedades de linealidad de $D$ le atribuyen a $L$ linealidad. Más general, $L$ operando sobre una combinación lineal de dos funciones derivables es lo mismo que la combinación lineal de $L$ operando en cada una de las funciones, esto es

$Label '11' multiply defined$

Una primera ventaja de usar el operador polinomial es que las ecuaciones ( $3$ ) y ( $4$ ) se pueden escribir como

$L (y) = g (x) y L (y) = 0$

respectivamente.

A continuación el operador polinomial nos será de mucha utilidad.

Principio de superposición

Es posible obtener varias soluciones de una ecuación diferencial lineal homogénea ( $4$ ) y si sumamos o superponemos todas estas soluciones veremos que dicha función es también solución de la ecuación diferencial. Este hecho se muestra en el siguiente resultado conocido como principio de superposición para ecuaciones homogéneas.

Teorema: Sean

y_{1}, y_{2}, \dots, y_{k}

soluciones de la ecuación homogénea de

n

-ésimo orden (

4

) en un intervalo

δ

. Entonces la combinación lineal

Label '12' multiply defined

donde las

c_{i}

i = 1, 2, \dots, k

son constantes arbitrarias, también es una solución de (

4

) en el intervalo

δ

Demostración: Sea $L$ el operador polinomial ( $10$ ) de $n$ -ésimo orden y sean $y_{1}, y_{2}, \dots, y_{k}$ soluciones de la ecuación homogénea ( $4$ ) en el intervalo $δ$ . Definamos la combinación lineal

$y (x) = c_{1} y_{1} (x) + c_{2} y_{2} (x) + \dots + c_{k} y_{k} (x)$

con $c_{i}$ , $i = 1, 2, \dots, k$ constantes arbitrarias. Notemos que

$L (y) = L {c_{1} y_{1} (x) + c_{2} y_{2} (x) + \dots + c_{k} y_{k} (x)}$

Por la linealidad de $L (y)$ ( $11$ ), se tiene

$L (y) = c_{1} L {y_{1} (x)} + c_{2} L {y_{2} (x)} + \dots + c_{k} L {y_{k} (x)}$

Pero cada $y_{i}$ , $i = 1, 2, \dots, k$ es solución de ( $4$ ), entonces

$L (y_{i}) = 0$

para todo $i = 1, 2, \dots, k$ , así la expresión anterior se reduce a lo siguiente.

$L (y) = c_{1} 0 + c_{2} 0 + \dots + c_{k} 0 = 0$

Por lo tanto

$L (y) = 0$

es decir, la combinación lineal

$y (x) = c_{1} y_{1} (x) + c_{2} y_{2} (x) + \dots + c_{k} y_{k} (x)$

es también solución de la ecuación diferencial homogénea ( $4$ ).

Dos corolarios importantes del teorema anterior son los siguientes.

Corolario: Un múltiplo constante

y (x) = c_{1} y_{1} (x)

de una solución

y_{1} (x)

de una ecuación diferencial lineal homogénea es también una solución.

Demostración: Consideremos la función $y = c_{1} y_{1} (x)$ , aplicando el operador polinomial $L$ , tenemos

$L (y) = L {c_{1} y_{1} (x)} = c_{1} L {y_{1} (x)} = 0$

Ya que $y_{1} (x)$ es solución de la ecuación homogénea, es decir, $L {y_{1}} = 0$ . Por lo tanto la función $y (x) = c_{1} y_{1} (x)$ es también solución de la ecuación diferencial homogénea.

Corolario: Una ecuación diferencial lineal homogénea tiene siempre la solución trivial

y (x) = 0

Usando el teorema anterior y la definición de $L$ es clara la demostración, inténtalo.

Realicemos un ejemplo sobre el principio de superposición.

Ejemplo: Mostrar que las funciones

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

son soluciones de la ecuación diferencial lineal homogénea

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

en el intervalo $δ = (0, \infty)$ . Y mostrar que la combinación lineal

$y (x) = c_{1} x^{2} + c_{2} x^{2} \ln (x)$

es también solución de la ecuación diferencial en el mismo intervalo.

Solución: De tarea moral verifica que las funciones por separado

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

son soluciones de la ecuación diferencial en el intervalo $δ = (0, \infty)$ .

Una vez asegurado que ambas funciones son solución, de acuerdo al principio de superposición, la combinación lineal de ambas funciones

$y (x) = c_{1} x^{2} + c_{2} x^{2} \ln (x)$

debe ser también solución de la ecuación diferencial, veamos que es así. Para ello calculemos la primera, segunda y tercera derivada. Para la primer derivada tenemos

$\frac{d y}{d x} = 2 c_{1} x + 2 c_{2} x \ln (x) + c_{2} x$

La segunda derivada es

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

Finalmente, la tercer derivada es

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

Sustituyendo los valores correspondientes en la ecuación diferencial, tenemos

$\begin{aligned} x^{3} \frac{d^{3} y}{d x^{3}} - 2 x \frac{d y}{d x} + 4 y & = x^{3} (\frac{2 c_{2}}{x}) - 2 x (2 c_{1} x + 2 c_{2} x \ln (x) + c_{2} x) + 4 (c_{1} x^{2} + c_{2} x^{2} \ln (x)) \\ = 2 c_{2} x^{2} - 4 c_{1} x^{2} - 4 c_{2} x^{2} \ln (x) - 2 c_{2} x^{2} + 4 c_{1} x^{2} + 4 c_{2} x^{2} \ln (x) \\ = c_{1} (4 x^{2} - 4 x^{2}) + c_{2} (2 x^{2} - 2 x^{2} + 4 x^{2} \ln (x) - 4 x^{2} \ln (x)) \\ = c_{1} (0) + c_{2} (0) \\ = 0 \end{aligned}$

Hemos recuperado la ecuación diferencial

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

por lo tanto, la combinación lineal

$y (x) = c_{1} x^{2} + c_{2} x^{2} \ln (x)$

es también solución de la ecuación diferencial verificando así el principio de superposición.

Es claro que la función $\ln (x)$ restringe los valores de $x$ , de manera que el intervalo $δ = (0, \infty)$ es el intervalo en el que la función $y (x)$ es continua.

Dependencia e independencia lineal

El principio de superposición trae consigo el concepto de combinación lineal y, de álgebra lineal, sabemos que si un elemento de un espacio vectorial se puede escribir como combinación lineal de otros elementos del mismo espacio vectorial, decimos que dicho elemento es linealmente dependiente y si no es dependiente, entonces decimos que es linealmente independiente. Ahora es necesario definir estos conceptos en el contexto de las ecuaciones diferenciales lineales.

Definición: Se dice que un conjunto de funciones

f_{1} (x), f_{2} (x), \dots, f_{n} (x)

es linealmente dependiente en un intervalo

δ

si existen constantes

c_{1}, c_{2}, \dots, c_{n}

no todas cero, tales que

Label '13' multiply defined

para toda

x

δ

. Si el conjunto de funciones no es linealmente dependiente en

δ

, se dice que es linealmente independiente.

Podemos decir que un conjunto de funciones es linealmente independiente en un intervalo $δ$ si las únicas constantes para las que

$c_{1} f_{1} (x) + c_{2} f_{2} (x) + \dots + c_{n} f_{n} (x) = 0, \forall x \in δ$

son $c_{1} = c_{2} = \dots = c_{n} = 0$ .

Realicemos algunas observaciones para el caso $n = 2$ .

Dos funciones $f_{1} (x), f_{2} (x)$ son linealmente dependientes en el intervalo $δ$ , donde ambas están definidas, si en dicho intervalo son proporcionales, esto es, si

$Label '14' multiply defined$

donde $c_{1}$ y $c_{2}$ son constantes distintas de cero, de esta manera, si $f_{1} (x)$ y $f_{2} (x)$ no son proporcionales en el intervalo $δ$ , entonces ambas funciones son linealmente independientes en dicho intervalo.

De las relaciones de proporcionalidad ( $14$ ) notamos que

$Label '15' multiply defined$

Con estas relaciones podemos establecer que $f_{1} (x)$ y $f_{2} (x)$ son linealmente dependientes en el intervalo $δ$ si cada cociente es una constante a lo largo de todo el intervalo $δ$ y, por otro lado, si los cocientes dependen de $x$ en el intervalo $δ$ , entonces las funciones $f_{1} (x)$ y $f_{2} (x)$ son linealmente independientes.

En definitiva, las funciones $f_{1} (x), f_{2} (x), \dots, f_{n} (x)$ son linealmente dependientes en el intervalo $δ$ si al menos una de ellas puede expresarse como combinación lineal de las otras. En caso contrario, las funciones son linealmente independientes.

Por ejemplo, dado el conjunto de funciones

$f_{1} (x) = 4 x^{3}, f_{2} (x) = 2 x^{2}, f_{3} (x) = 8 x^{3} + 12 x^{2}$

es sencillo darse cuenta que

$f_{3} (x) = 2 f_{1} (x) + 6 f_{2} (x)$

Por lo tanto, el conjunto de funciones es linealmente dependiente.

Ejemplo: Determinar si las funciones

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

son linealmente dependientes o linealmente independientes. Probar además que dichas funciones por separado son solución de la ecuación diferencial

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

y verificar que la combinación lineal

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

es también solución de la ecuación diferencial.

Solución: Como vimos, hay distintas formas de verificar si las funciones son linealmente dependientes o linealmente independientes, quizá la forma más práctica es observar si el cociente $\frac{y_{1}}{y_{2}}$ o $\frac{y_{2}}{y_{1}}$ es constante o dependiente de $x$ en el intervalo $δ$ en el que ambas están definidas.

Observamos primero que ambas funciones

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

están definidas en todo $R$ , por tanto

$δ = (- \infty, \infty)$

Ahora bien, notamos que

$\frac{y_{1}}{y_{2}} = \frac{c_{1}}{c_{2} x}$

O bien,

$\frac{y_{2}}{y_{1}} = \frac{c_{2} x}{c_{1}}$

Como podemos ver, ambos cocientes son dependientes de la variable independiente $x$ . Por lo tanto, las funciones son linealmente independientes.

Ahora verifiquemos que cada función $y_{1} (x)$ y $y_{2} (x)$ es solución de la ecuación diferencial dada.

Para la primer función tenemos

$y_{1} (x) = c_{1} e^{- x} \Rightarrow \frac{d y_{1}}{d x} = - c_{1} e^{- x} \Rightarrow \frac{d^{2} y_{1}}{d x^{2}} = c_{1} e^{- x}$

Sustituimos en la ecuación diferencial.

$\begin{aligned} \frac{d^{2} y}{d x^{2}} + 2 \frac{d y}{d x} + y & = c_{1} e^{- x} + 2 (- c_{1} e^{- x}) + c_{1} e^{- x} \\ = 2 c_{1} e^{- x} - 2 c_{1} e^{- x} \\ = 0 \end{aligned}$

Esto es,

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

Por lo tanto, la función $y_{1} (x) = c_{1} e^{- x}$ satisface la ecuación diferencial.

Para la segunda función tenemos

$y_{2} (x) = c_{2} x e^{- x} \Rightarrow \frac{d y_{2}}{d x} = c_{2} e^{- x} - c_{2} x e^{- x} \Rightarrow \frac{d^{2} y_{2}}{d x^{2}} = - 2 c_{2} e^{- x} + c_{2} x e^{- x}$

Sustituimos en la ecuación diferencial.

$\begin{aligned} \frac{d^{2} y}{d x^{2}} + 2 \frac{d y}{d x} + y & = (- 2 c_{2} e^{- x} + c_{2} x e^{- x}) + 2 (c_{2} e^{- x} - c_{2} x e^{- x}) + c_{2} x e^{- x} \\ = - 2 c_{2} e^{- x} + c_{2} x e^{- x} + 2 c_{2} e^{- x} - 2 c_{2} x e^{- x} + c_{2} x e^{- x} \\ = (2 c_{2} e^{- x} - 2 c_{2} e^{- x}) + (2 c_{2} x e^{- x} - 2 c_{2} x e^{- x}) \\ = 0 \end{aligned}$

Nuevamente

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

Por lo tanto, la función $y_{2} (x) = c_{2} x e^{- x}$ es también solución de la ecuación diferencial.

Ahora que sabemos que ambas funciones son solución de la ecuación diferencial, podemos aplicar el principio de superposición y concluir que la combinación lineal

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

es también solución de la ecuación diferencial. De tarea moral verifica que en efecto es solución.

Para finalizar esta entrada definiremos un concepto sumamente importante y el cual estudiaremos con mayor detalle en la siguiente entrada.

En el ejemplo anterior mostramos que las funciones

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

son linealmente independientes y ambas por separado son solución de la ecuación diferencial homogénea

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

En general, al conjunto de $n$ soluciones linealmente independientes de una ecuación diferencial lineal homogénea de $n$ -ésimo orden se le da el nombre de conjunto fundamental de soluciones.

Definición: Cualquier conjunto

{y_{1}, y_{2}, \dots, y_{n}}

n

soluciones linealmente independientes de una ecuación diferencial lineal homogénea de

n

-ésimo orden en un intervalo

δ

es un conjunto fundamental de soluciones en dicho intervalo.

Así, el conjunto ${y_{1} (x) = c_{1} e^{- x}, y_{2} (x) = c_{2} x e^{- x}}$ es un conjunto fundamental de soluciones de la ecuación diferencial homogénea

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

en el intervalo $δ = (- \infty, \infty)$ .

En la siguiente entrada retomaremos este concepto.

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.

Problemas con valores iniciales.

La solución general de la ecuación diferencial $\frac{d^{2} y}{d x^{2}} - y = 0$ es $y (x) = c_{1} e^{x} + c_{2} e^{- x}$ definida en $δ = (- \infty, \infty)$ . Determinar la solución particular que es solución al PVI dadas las condiciones iniciales $y (0) = 0, y^{'} (0) = 1$

Dado que $x (t) = c_{1} \cos (ω t) + c_{2} \sin (ω t)$ es la solución general de $x^{''} + ω^{2} x = 0$ en el intervalo $(- \infty, \infty)$ , demostrar que la solución que satisface las condiciones iniciales $x (0) = x_{0}$ y $x^{'} (0) = x_{1}$ esta dada por $x (t) = x_{0} \cos (ω t) + \frac{x_{1}}{ω} \sin (ω t)$

Problema con condiciones en la frontera.

La función $y (x) = c_{1} e^{x} \cos (x) + c_{2} e^{x} \sin (x)$ es una solución de la ecuación diferencial $\frac{d^{2} y}{d x^{2}} - 2 \frac{d y}{d x} + 2 y = 0$ en el intervalo $(- \infty, \infty)$ . Determinar si se puede encontrar una solución que satisfaga las siguientes condiciones en la frontera.

$a) y (0) = 1, y^{'} (π) = 0; b) y (0) = 1, y (π) = - 1$

$c) y (0) = 1, y (\frac{π}{2}) = 1; d) y (0) = 0, y (π) = 0$

Determinar si los siguientes conjuntos de funciones son linealmente independientes en el intervalo $(- \infty, \infty)$ .

$f_{1} (x) = x, f_{2} (x) = x^{2}, f_{3} (x) = 4 x - 3 x^{2}$

$f_{1} (x) = 1 + x, f_{2} (x) = x, f_{3} (x) = x^{2}$

$f_{1} (x) = e^{x}, f_{2} (x) = e^{- x}, f_{3} (x) = \sinh (x)$

Comprobar que las funciones dadas forman un conjunto fundamental de soluciones de la ecuación diferencial en el intervalo que se indica y formar la solución general.

$\frac{d^{2} y}{d x^{2}} - \frac{d y}{d x} - 12 y = 0; y_{1} = e^{- 3 x}, y_{2} = e^{4 x}; (- \infty, \infty)$

$4 \frac{d^{2} y}{d x^{2}} - 4 \frac{d y}{d x} + y = 0; y_{1} = e^{x / 2}, y_{2} = x e^{x / 2}; (- \infty, \infty)$

$x^{2} \frac{d^{2} y}{d x^{2}} - 6 x \frac{d y}{d x} + 12 y = 0; y_{1} = x^{3}, y_{2} = x^{4}; (0, \infty)$

Más adelante…

Hemos comenzado nuestro estudio sobre las ecuaciones diferenciales de orden superior, vimos que, además del problema con valores iniciales, ahora nos enfrentamos a un nuevo problema conocido como problema con valores en la frontera. Definimos algunos operadores de interés y demostramos el principio de superposición. Finalmente, vimos que si las soluciones son funciones linealmente independientes, entonces forman un conjunto fundamental de soluciones de la ecuación diferencial.

En la siguiente entrada estudiaremos algunas propiedades de las soluciones retomando el concepto de conjunto fundamental de soluciones. Veremos cuál es la forma de la solución general, la importancia de que las soluciones sean linealmente independientes y definiremos el concepto de Wronskiano, el cual será una herramienta muy importante para determinar la dependencia o independencia lineal de las soluciones.

Entradas relacionadas

Página principal del curso: Ecuaciones Diferenciales I
Entrada anterior del curso: Demostración del Teorema de Existencia y Unicidad de Picard – Lindelöf
Siguiente entrada del curso: Soluciones a ecuaciones diferenciales de orden superior

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 – Videos: Ecuaciones lineales homogéneas de segundo orden. Propiedades del conjunto de soluciones

Por Eduardo Vera Rosales

Deja un comentario

Introducción

Hola a todos. Después de haber estudiado ecuaciones diferenciales de primer orden, llegamos a la segunda unidad del curso donde analizaremos ecuaciones diferenciales de segundo orden. Dada la dificultad para resolver este tipo de ecuaciones, nos enfocaremos únicamente en las ecuaciones lineales de segundo orden, es decir, de la forma $a_{0} (t) \frac{d^{2} y}{d t^{2}} + a_{1} (t) \frac{d y}{d t} + a_{2} (t) y = g (t) .$

En esta entrada comenzaremos con el caso de las ecuaciones homogéneas de segundo orden, es decir, cuando $g (t)$ es la función constante cero en un intervalo $(α, β)$ . Estudiaremos la teoría de las soluciones a este tipo de ecuaciones antes de analizar las distintas técnicas para resolverlas. Debido a que el conjunto de soluciones a este tipo de ecuaciones se comportan de buena manera, podremos encontrar la solución general a la ecuación si previamente conocemos dos soluciones particulares que cumplan una hipótesis que daremos a conocer en el intervalo $(α, β)$ . Definiremos el Wronskiano y la independencia lineal de dos soluciones a una ecuación diferencial, y probaremos distintos teoremas y propiedades de las soluciones con base en estos conceptos.

¡Comencemos!

Ecuaciones lineales homogéneas de segundo orden, Teorema de existencia y unicidad y solución general

En este video damos una introducción a las ecuaciones diferenciales de segundo orden, y en particular, a las ecuaciones lineales de segundo orden. Enunciamos el teorema de existencia y unicidad para ecuaciones lineales de segundo orden, y comenzamos a desarrollar la teoría para encontrar la solución general a ecuaciones homogéneas.

Conjunto fundamental de soluciones y el Wronskiano

Continuando con la teoría de las soluciones a ecuaciones homogéneas de segundo orden, demostramos un par de teoremas que nos ayudan a encontrar la solución general a este tipo de ecuaciones. Además, definimos al conjunto fundamental de soluciones de la ecuación homogénea y el Wronskiano de dos funciones.

Independencia lineal de soluciones

En este último video definimos el concepto de independencia lineal de soluciones a la ecuación homogénea de segundo orden, y demostramos un teorema que nos da otra forma de encontrar un conjunto fundamental de soluciones a la ecuación diferencial homogénea.

Tarea moral

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

Prueba que $y_{1} (t) = \sin t$ y $y_{2} (t) = \cos t$ son soluciones a la ecuación diferencial $\frac{d^{2} y}{d t^{2}} + y = 0.$ Posteriormente prueba que $y (t) = k_{1} \sin t + k_{2} \cos t$ también es solución a la ecuación, donde $k_{1}$ , $k_{2}$ son constantes.

Prueba que ${\sin t, \cos t}$ es un conjunto fundamental de soluciones a la ecuación del ejercicio anterior. ¿En qué intervalo es el conjunto anterior un conjunto fundamental de soluciones?

Prueba que si $p (t)$ , $q (t)$ son continuas en $(α, β)$ , $y_{1} (t)$ , $y_{2} (t)$ son soluciones a la ecuación $\frac{d^{2} y}{d t^{2}} + p (t) \frac{d y}{d t} + q (t) y = 0$ en $(α, β)$ y existe $t_{0}$ en dicho intervalo, donde $W [y_{1}, y_{2}] (t_{0}) \neq 0$ , entonces ${y_{1} (t), y_{2} (t)}$ forman un conjunto fundamental de soluciones en $(α, β)$ .

Prueba que si $p (t)$ , $q (t)$ son continuas en $(α, β)$ , entonces existe un conjunto fundamental de soluciones ${y_{1} (t), y_{2} (t)}$ a la ecuación $\frac{d^{2} y}{d t^{2}} + p (t) \frac{d y}{d t} + q (t) y = 0$ en el mismo intervalo. (Hint: Toma un punto en el intervalo $(α, β)$ y dos problemas de condición inicial adecuados de tal forma que puedas utilizar el teorema de existencia y unicidad y el Wronskiano para deducir el resultado).

Prueba que $y_{1} (t) = t | t |$ , $y_{2} (t) = t^{2}$ son linealmente independientes en $[- 1, 1]$ pero linealmente dependientes en $[0, 1]$ . Verifica que el Wronskiano se anula en $R$ . ¿Pueden ser $y_{1} (t)$ , $y_{2} (t)$ soluciones a la ecuación $\frac{d^{2} y}{d t^{2}} + p (t) \frac{d y}{d t} + q (t) y = 0$ en $(- 1, 1)$ si $p$ y $q$ son continuas en este intervalo?

Más adelante

En la próxima entrada conoceremos el método de reducción de orden, donde supondremos que ya conocemos una solución particular $y_{1} (t)$ a la ecuación lineal homogénea de segundo orden, y con ayuda de esta hallaremos una segunda solución $y_{2} (t)$ tal que forma un conjunto fundamental de soluciones junto con $y_{1}$ .

Entradas relacionadas

Ir a Ecuaciones Diferenciales I
Entrada anterior del curso: Introducción a las bifurcaciones
Siguiente entrada del curso: Método de reducción de orden

Notas escritas relacionadas con el tema: Ecuaciones diferenciales de orden superior
Notas escritas relacionadas con el tema: Soluciones a ecuaciones diferenciales de orden superior

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»