Teorema de Rouché - Frobenius

Manuel Veloso
Ingeniero Aeroespacial
13 de febrero 2025

Introducción

El teorema de Rouché-Frobenius nos permite diferenciar el tipo de sistema que tenemos delante mediante el estudio de los rangos de la matriz de coeficientes y de la matriz ampliada.

 

Teorema de Rouché-Frobenius

El teorema dice que "La condición necesaria y suficiente para que un sistema de m ecuaciones y n incógnitas sea compatible (tenga solución) es que el rango de la matriz de los coeficientes sea igual al rango de la matriz ampliada".

 

  • Si Rg(A) ≠ Rg (A*), el Sistema es Incompatible (SI) y no tiene solución.

     

  • Si Rg(A) = Rg (A) = número de incógnitas, el Sistema es Compatible Determinado (SCD) y tiene una única solución. Es decir, si el número de filas no nulas (independientes) coincide con el número de incógnitas.

     

  • Si Rg(A) = Rg (A*) < número de incógnitas, el Sistema es Compatible Indeterminado (SCI) y tiene infinitas soluciones. Es decir, si el número de filas no nulas es menor que el número de incógnitas.

 

Discusión de las soluciones de un sistema

Para discutir las posibles soluciones de un sistema de ecuaciones se siguen los siguientes pasos:

 

1. Obtener las matrices A (coeficientes) y A*(ampliada).

2. Se calcula el rango de la matriz A.

3. Se calcula el rango de A*.

4. Se enuncia el caso del teorema de Rouché Frobenius que corresponde al sistema.

 

Ejercicio resuelto: Estudiaremos la solución o soluciones del siguiente sistema a modo de ejemplo:

Teorema de Rouché - Frobenius

Matriz de coeficientes (A) y matriz de términos independientes (B):

Teorema de Rouché - Frobenius

Juntas forman la matriz ampliada (A*):

Teorema de Rouché - Frobenius

Calculamos el rango de la matriz de coeficientes:

Teorema de Rouché - Frobenius

Dado que el determinante de la matriz de coeficientes no es nulo, podemos confirmar que su rango es 3. 

En este caso, como la matriz A es una matriz cuadrada inscrita en la matriz A* y su determinante no es nulo, podemos afirmar que el rango de A* también será máximo, que, en este caso, es igual a 3.

Por lo que estamos ante un Sistema Compatible Determinado ya que el rango de la matriz de coeficientes y de la matriz ampliada coinciden y son iguales al número de incógnitas del sistema.

Teorema de Rouché - Frobenius

 

Ejercicios resueltos

1. Estudiar las soluciones del siguiente sistema en función del parámetro “a”:

Teorema de Rouché - Frobenius

Solución

La matriz de los coeficientes y la matriz ampliada asociadas al sistema son: 

Teorema de Rouché - Frobenius
Teorema de Rouché - Frobenius

En este caso, el máximo rango que pueden tener ambas matrices es 3. Vamos a comenzar por aquella matriz que sea cuadrada, en este caso la matriz cuadrada es la matriz de los coeficientes (A). Calculamos el rango de A:

Teorema de Rouché - Frobenius

Cogemos ahora una matriz de 2x2:

Teorema de Rouché - Frobenius

Una vez conocemos el rango de A, calculamos el rango de la matriz ampliada escogiendo una de sus submatrices de 3x3:

Teorema de Rouché - Frobenius

Igualamos a cero el determinante para hallar los valores del parámetro “a” que hacen que valga cero:

Teorema de Rouché - Frobenius

Por tanto, hay que distinguir dos casos: 

  • Caso 1: Cuando Teorema de Rouché - Frobenius

    Rg(A) ≠ Rg(A*) ya que Rg(A) = 2 y Rg(A*) = 3, por lo que el sistema es incompatible y no tiene solución

    Teorema de Rouché - Frobenius
  • Caso 2: Cuando Teorema de Rouché - Frobenius

    Se cumple que Rg(A) = Rg(A*) = 2 < número de incógnitas, por lo que el sistema es compatible indeterminado y tiene infinitas soluciones.

    Teorema de Rouché - Frobenius

 

2. Discutir, con la ayuda del Teorema de Rouché-Frobenius el siguiente sistema de ecuaciones:

Teorema de Rouché - Frobenius

Solución

Comenzamos expresando matricialmente el sistema mediante la matriz de coeficientes A y la matriz ampliada A*:

Teorema de Rouché - Frobenius

En este caso, el máximo rango que pueden tener ambas matrices es 3. Vamos a comenzar por aquella matriz que sea cuadrada, en este caso la matriz cuadrada es la matriz de los coeficientes (A). Calculamos el rango de A:

Teorema de Rouché - Frobenius
Teorema de Rouché - Frobenius

Como el rango de la matriz de coeficientes de dimensiones 3x3 no es nulo, podemos decir que el rango de A es 3. Y, dado que A es una matriz cuadrada inscrita dentro de la matriz ampliada A*, también podemos afirmar que el rango de A* es 3. 

Por lo tanto, de acuerdo con el teorema de Rouché-Frobenius, como coinciden el rango de la matriz de coeficientes y de la matriz ampliada y, además, son iguales al número de incógnitas, se trata de un Sistema Compatible Determinado con una única solución.

Teorema de Rouché - Frobenius

 

3. Discutir, con la ayuda del Teorema de Rouché-Frobenius, el siguiente sistema de ecuaciones:

Teorema de Rouché - Frobenius

Solución

Comenzamos expresando matricialmente el sistema mediante la matriz de coeficientes A y la matriz ampliada A*:

Teorema de Rouché - Frobenius

En este caso, el máximo rango que pueden tener ambas matrices es 3. Vamos a comenzar por aquella matriz que sea cuadrada, en este caso la matriz cuadrada es la matriz de los coeficientes (A). Calculamos el rango de A:

Teorema de Rouché - Frobenius
Teorema de Rouché - Frobenius

Como el determinante de A es nulo, confirmamos que el rango de A es menor de 3 y pasamos a estudiar los determinantes de las submatrices de :

Teorema de Rouché - Frobenius
Teorema de Rouché - Frobenius

El primero que calculamos nos da un resultado distinto de cero por lo que podemos afirmar que el rango de A es 2 sin necesidad de seguir calculando. Si nos hubiera dado cero, habríamos seguido calculando determinantes hasta encontrar uno no nulo o hasta confirmar que todos son nulos, si fuera el caso.

Dicho determinante es también un menor de orden 2 de A*, por lo que, el rango de A será igual o mayor que dos. Vamos a estudiarlo:

Escogemos una matriz cuadrada de mayor orden posible dentro de A* (que no coincida con A, que ya sabemos que es 0):

Teorema de Rouché - Frobenius

Como todos los determinantes de 3x3 son nulos, podemos afirmar que el rango de A* es 2. Por lo tanto, el rango de A y A* coinciden y su valor es menor al número de incógnitas, por lo que se trata de un Sistema Compatible Indeterminado.

Teorema de Rouché - Frobenius

 

4. Determinar los valores de a para los que el sistema tiene solución. Calcula las soluciones en los casos posibles.

Teorema de Rouché - Frobenius

Solución

Debemos estudiar los valores de a para los que el sistema tiene solución, lo resolvemos según Rouché – Frobenius.

Teorema de Rouché - Frobenius

Siempre comenzamos calculando el rango de la matriz cuadrada, para luego comparar ambos rangos y definir la compatibilidad del sistema.

Estudiamos el Rango de la matriz ampliada , que es la matriz cuadrada, y calculamos los valores de a que anulan el determinante:

Teorema de Rouché - Frobenius
Teorema de Rouché - Frobenius
Teorema de Rouché - Frobenius

Estudiamos los rangos en función de estos valores de a:
 

Si Teorema de Rouché - Frobenius

Teorema de Rouché - Frobenius
Teorema de Rouché - Frobenius
Teorema de Rouché - Frobenius

Tenemos un sistema incompatible.

 

Si Teorema de Rouché - Frobenius

Sustituimos el sistema:

Teorema de Rouché - Frobenius

El determinante de la matriz ampliada es nulo, buscamos un menor de orden dos distinto de cero para ver si el rango de vale 2.

Teorema de Rouché - Frobenius
Teorema de Rouché - Frobenius

También se cumple para la matriz A

Teorema de Rouché - Frobenius
Teorema de Rouché - Frobenius

El sistema es compatible determinado. Hay dos incógnitas para dos ecuaciones. Podríamos resolverlo

 

Si Teorema de Rouché - Frobenius

Teorema de Rouché - Frobenius

El determinante de la matriz ampliada es nulo, buscamos un menor de orden dos distinto de cero para ver si el rango de vale 2.

Teorema de Rouché - Frobenius
Teorema de Rouché - Frobenius

Cuando calculamos el rango de A, vemos que todas las filas/columnas son proporcionales, por tanto no encontramos un determinante de orden dos diferente de cero:

Teorema de Rouché - Frobenius
Teorema de Rouché - Frobenius

Tenemos un sistema incompatible.

En resumen:

 

5. Determina los valores de a para los que el sistema tiene solución:

Teorema de Rouché - Frobenius

Solución

Lo haremos por el método de Rouché Frobenius.

Expresaremos la matriz de coeficientes A y la matriz ampliada A*:

Teorema de Rouché - Frobenius

Calculamos primero el determinante de A y lo igualamos a cero para estudiar su rango en función de a:

Teorema de Rouché - Frobenius
Teorema de Rouché - Frobenius
Teorema de Rouché - Frobenius

Estudiamos los rangos en función de estos valores de a:
 

Si Teorema de Rouché - Frobenius:

En este caso el determinante de A es no nulo y el rango de A es 3, al igual que el de la matriz ampliada A* y el número de incógnitas. El sistema es compatible determinado de acuerdo con el Teorema de Rouché-Frobenius.

Teorema de Rouché - Frobenius
Teorema de Rouché - Frobenius

 

Si Teorema de Rouché - Frobenius:

Teorema de Rouché - Frobenius
Teorema de Rouché - Frobenius
Teorema de Rouché - Frobenius
Teorema de Rouché - Frobenius

La matriz ampliada, de dimensiones 3x4, tiene una fila entera de ceros, por tanto, no hay determinante de orden tres diferente de cero:

Teorema de Rouché - Frobenius

El rango de A es 2, al igual que el de la matriz ampliada A* y menor al número de incógnitas. El sistema es compatible indeterminado y tendrá infinitas soluciones.

Teorema de Rouché - Frobenius

Si Teorema de Rouché - Frobenius:

Teorema de Rouché - Frobenius
Teorema de Rouché - Frobenius

La matriz A es de 3x3 pero podemos ver que su rango va a ser menor de 3 ya que tiene dos columnas dependientes, la 2ª columna es la 1ª multiplicada por (-1). Lo comprobamos calculando su determinante:

Teorema de Rouché - Frobenius

Calculamos entonces el determinante de las submatrices de 2x2:

Teorema de Rouché - Frobenius
Teorema de Rouché - Frobenius

La matriz ampliada A*, de dimensiones 3x4 podrá tener, como máximo, rango 3. Se pueden crear tres combinaciones diferentes de determinantes de orden tres, sustituyendo los términos independientes en cada fila.

Teorema de Rouché - Frobenius

Si alguno de ellos es distinto de cero, el rango será 3. Si todos valen cero, el rango será 2.

Teorema de Rouché - Frobenius
Teorema de Rouché - Frobenius

El rango de A es 2, pero el de la matriz ampliada A* es igual a 3, por lo que no coinciden. El sistema es incompatible.

Teorema de Rouché - Frobenius

En resumen:

 

Vídeo complementario

< Anterior Siguiente >