| 9. Ecuaciones diferenciales9.10. Sistemas lineales de ecuaciones diferenciales |

9.10.7 Variación de parámetros para sistemas de ED lineales no homogéneos

Consideremos ahora el sistema lineal no homogéneo

y = A(t)y + f(t),

donde A es una función matricial n × n y f es una función forzada de n vectores. Asociado con este sistema está el sistema complementario y = A(t)y.

        El siguiente teorema es análogo a los Teoremas 9.5.3.2 y 9.9.1.5. Muestra cómo encontrar la solución general de y = A(t)y + f(t) si conocemos una solución particular de y = A(t)y + f(t) y un conjunto fundamental de soluciones de la sistema complementario. Dejamos la demostración como ejercicio (Ejercicio 21).

Teorema 9.10.7.1

Supongamos que la función matricial A de n × n y la función n-vectorial f son continuas en (a, b). Sea yp una solución particular de y = A(t)y + f(t) en (a, b), y sea {y1, y2, . . ., yn} sea un conjunto fundamental de soluciones de la ecuación complementaria y = A(t)y en (a, b). Entonces y es una solución de y = A(t)y + f(t) en (a, b) si y solo si

y = yp + c1y1 + c2y2 + · · · + cnyn,

donde c1, c2, . . . , cn son constantes.

Encontrar una solución particular de un sistema no homogéneo

Ahora discutimos una extensión del método de variación de parámetros a sistemas lineales no homogéneos. Este método producirá una solución particular de un sistema no homogéneo y = A(t)y + f(t) siempre que conozcamos una matriz fundamental para el sistema complementario. Para derivar el método, suponga que Y es una matriz fundamental para el sistema complementario; es decir,

Esta imagen tiene un atributo ALT vacío; su nombre de archivo es image-302.png

donde

Esta imagen tiene un atributo ALT vacío; su nombre de archivo es image-303.png

es un conjunto fundamental de soluciones del sistema complementario. En la Sección 9.10.3 vimos que Y′ = A(t)Y .
Buscamos una solución particular de

y = A(t)y + f(t)       (9.10.7.1)

de la forma

yp = Yu,         (9.10.7.2)

donde se va a determinar u. Diferenciando (9.10.7.2), obtenemos

Esta imagen tiene un atributo ALT vacío; su nombre de archivo es image-304.png

Comparando esto con (9.10.7.1) se muestra que yp = Yu es una solución de (9.10.7.1) si y solo si

Yu = f.

Por lo tanto, podemos encontrar una solución particular yp resolviendo esta ecuación para u, integrando para obtener u y calculando Yu. Podemos tomar todas las constantes de integración como cero, ya que cualquier solución particular será suficiente.

      El ejercicio 22 esboza una demostración de que este método es análogo al método de variación de parámetros analizado en las secciones 9.5.7 y 9.9.4 para ecuaciones lineales escalares.

Ejemplo ilustrativo 9.10.7.1

(a) Encuentre una solución particular del sistema

Esta imagen tiene un atributo ALT vacío; su nombre de archivo es image-305.png         (9.10.7.3)

Lo que consideramos en el Ejemplo 9.10.2.1.

(b) Encuentre la solución general de (9.10.7.3)

Solución:

(a) El sistema complementario es

Esta imagen tiene un atributo ALT vacío; su nombre de archivo es image-307.png       (9.10.7.4)

El polinomio característico de la matriz de coeficientes es

Esta imagen tiene un atributo ALT vacío; su nombre de archivo es image-308.png

Usando el método de la Sección 9.10.4, encontramos que

Esta imagen tiene un atributo ALT vacío; su nombre de archivo es image-309.png

son soluciones linealmente independientes de (9.10.7.4). Por lo tanto

Esta imagen tiene un atributo ALT vacío; su nombre de archivo es image-310.png

es una matriz fundamental para (9.10.7.4). Buscamos una solución particular yp = Yu de (9.10.7.3), donde Yu = f; esto es,

Esta imagen tiene un atributo ALT vacío; su nombre de archivo es image-311.png

El determinante de Y es el Wronskiano

Esta imagen tiene un atributo ALT vacío; su nombre de archivo es image-312.png

Por la regla de Cramer,

Esta imagen tiene un atributo ALT vacío; su nombre de archivo es image-313.png

Por lo tanto

Esta imagen tiene un atributo ALT vacío; su nombre de archivo es image-314.png

Integrando y tomando las constantes de integración como cero, se obtiene

Esta imagen tiene un atributo ALT vacío; su nombre de archivo es image-315.png

de este modo

Esta imagen tiene un atributo ALT vacío; su nombre de archivo es image-316.png

es una solución particular de (9.10.7.3).

(b) Del Teorema 9.10.7.1, la solución general de (9.10.7.3) es

Esta imagen tiene un atributo ALT vacío; su nombre de archivo es image-317.png        (9.10.7.5)

(b) Del Teorema 9.10.7.1, la solución general de (9.10.7.3) es

Esta imagen tiene un atributo ALT vacío; su nombre de archivo es image-317.png        (9.10.7.5)

que también se puede escribir como

Esta imagen tiene un atributo ALT vacío; su nombre de archivo es image-318.png

donde c es un vector constante arbitrario.

      Escribiendo (9.10.7.5) en términos de coordenadas se obtiene

Esta imagen tiene un atributo ALT vacío; su nombre de archivo es image-319.png

por lo que nuestro resultado es consistente con el Ejemplo 9.10.2.1.

Si A no es una matriz constante, normalmente es difícil encontrar un conjunto fundamental de soluciones para el sistema y = A(t)y. Está más allá del alcance de este texto discutir métodos para hacer esto. Por lo tanto, en los siguientes ejemplos y en los ejercicios que involucran sistemas con matrices de coeficientes variables proporcionaremos matrices fundamentales para los sistemas complementarios sin explicar cómo se obtuvieron.

Ejemplo ilustrativo 9.10.7.2

Encuentre una solución particular de

Esta imagen tiene un atributo ALT vacío; su nombre de archivo es image-320.png        (9.10.7.6)

dado que

Esta imagen tiene un atributo ALT vacío; su nombre de archivo es image-321.png

es una matriz fundamental para el sistema complementario.

Solución:

Buscamos una solución particular yp = Yu de (9.10.7.6) donde Yu = f; esto es,

Esta imagen tiene un atributo ALT vacío; su nombre de archivo es image-322.png

El determinante de Y es el Wronskiano

Esta imagen tiene un atributo ALT vacío; su nombre de archivo es image-323.png

Por la regla de Cramer,

Esta imagen tiene un atributo ALT vacío; su nombre de archivo es image-324.png

Por lo tanto

Esta imagen tiene un atributo ALT vacío; su nombre de archivo es image-325.png

Integrando y tomando las constantes de integración como cero, se obtiene

Esta imagen tiene un atributo ALT vacío; su nombre de archivo es image-326.png

por lo que

Esta imagen tiene un atributo ALT vacío; su nombre de archivo es image-327.png

es una solución particular de (9.10.7.6).

Ejemplo ilustrativo 9.10.7.3

Encuentre una solución particular de

Esta imagen tiene un atributo ALT vacío; su nombre de archivo es image-329.png        (9.10.7.7)

dado que

Esta imagen tiene un atributo ALT vacío; su nombre de archivo es image-330.png

es una matriz fundamental para el sistema complementario en (−∞, 0) y (0, ∞).

Solución:

Buscamos una solución particular yp = Yu de (9.10.7.7) donde Yu = f; esto es,

Esta imagen tiene un atributo ALT vacío; su nombre de archivo es image-331.png

El determinante de Y es el Wronskiano

Esta imagen tiene un atributo ALT vacío; su nombre de archivo es image-332.png

Por la regla de Cramer,

Esta imagen tiene un atributo ALT vacío; su nombre de archivo es image-334.png

Por lo tanto

Esta imagen tiene un atributo ALT vacío; su nombre de archivo es image-335.png

Integrando y tomando las constantes de integración como cero, se obtiene

Esta imagen tiene un atributo ALT vacío; su nombre de archivo es image-337.png

Por lo que

Esta imagen tiene un atributo ALT vacío; su nombre de archivo es image-338.png

es una solución particular de (9.10.7.7).

Ejemplo ilustrativo 9.10.7.4

(a) Encuentre una solución particular de

Esta imagen tiene un atributo ALT vacío; su nombre de archivo es image-339.png        (9.10.7.8)

(b) Encuentre la solución general de (9.10.7.8).

Solución:

(a) El sistema complementario para (9.10.7.8) es

Esta imagen tiene un atributo ALT vacío; su nombre de archivo es image-340.png        (9.10.7.9)

El polinomio característico de la matriz de coeficientes es

Esta imagen tiene un atributo ALT vacío; su nombre de archivo es image-342.png

Usando el método de la Sección 9.10.4, encontramos que

Esta imagen tiene un atributo ALT vacío; su nombre de archivo es image-343.png

son soluciones linealmente independientes de (9.10.7.9). Por lo tanto

Esta imagen tiene un atributo ALT vacío; su nombre de archivo es image-344.png

es una matriz fundamental para (9.10.7.9). Buscamos una solución particular yp = Y u de (9.10.7.8), donde Y u′ = f; eso es,

Esta imagen tiene un atributo ALT vacío; su nombre de archivo es image-345.png

El determinante de Y es el Wronskiano

Esta imagen tiene un atributo ALT vacío; su nombre de archivo es image-346.png

Así, por la regla de Cramer,

Esta imagen tiene un atributo ALT vacío; su nombre de archivo es image-347.png

Por lo tanto

Esta imagen tiene un atributo ALT vacío; su nombre de archivo es image-348.png

Integrando y tomando las constantes de integración como cero, se obtiene

por lo que

Esta imagen tiene un atributo ALT vacío; su nombre de archivo es image-355.png

es una solución particular de (9.10.7.8).

(b) Del Teorema 9.10.7.1 la solución general de (9.10.7.8) es

Esta imagen tiene un atributo ALT vacío; su nombre de archivo es image-353.png

que se puede escribir como

Esta imagen tiene un atributo ALT vacío; su nombre de archivo es image-357.png

donde c es un vector constante arbitrario.

Ejemplo ilustrativo 9.10.7.5

Encuentre una solución particular de

Esta imagen tiene un atributo ALT vacío; su nombre de archivo es image-358.png        (9.10.7.10)

dado que

Esta imagen tiene un atributo ALT vacío; su nombre de archivo es image-359.png

es una matriz fundamental para el sistema complementario.

Solución:

Buscamos una solución particular de (9.10.7.10) en la forma yp = Yu, donde Yu = f; esto es,

Esta imagen tiene un atributo ALT vacío; su nombre de archivo es image-360.png

El determinante de Y es el Wronskiano

Esta imagen tiene un atributo ALT vacío; su nombre de archivo es image-361.png

Por la regla de Cramer,

Esta imagen tiene un atributo ALT vacío; su nombre de archivo es image-362.png

Por lo tanto

Esta imagen tiene un atributo ALT vacío; su nombre de archivo es image-363.png

Integrando y tomando las constantes de integración como cero, se obtiene

Esta imagen tiene un atributo ALT vacío; su nombre de archivo es image-364.png

por consiguiente

Esta imagen tiene un atributo ALT vacío; su nombre de archivo es image-365.png

es una solución particular de (9.10.7.10).