Se considera la matriz A=\begin{pmatrix}2&0&0\\3&1&0\\-1&0&1\end{pmatrix}, asociada al correspondiente endomorfismo de \mathbb{R}^3. Vamos a calcular los coeficientes de la matriz A^n, siendo n cualquier número entero no negativo.
El plan será el siguiente: Mediante un cambio de base, trataremos de encontrar la matriz de Jordan diagonal asociada a A (esperemos que ésta exista), que denotaremos por D; a partir de ahí, tendremos que al ser A=P\,D\,P^{-1} por ser A y D matrices semejantes. Entonces,
A^n= (P\,D\,P^{-1})^n
=(P\,D\,P^{-1})\,(P\,D\,P^{-1})\,\overset{\underbrace{n}}{\ldots}\,(P\,D\,P^{-1})
=P\,(D\,\overset{\underbrace{n}}{\ldots}\,D)\,P^{-1}, ya que cada uno de los n productos P\,P^{-1} de entremedias son iguales a la matriz identidad I, que es el elemento neutro de la multiplicación de matrices, por consiguiente:
A^n=P\,D^n\,P^{-1}
donde los coeficientes de la potencia n-ésima de la matriz diagonal (que, desde luego, también es una matriz diagonal) son nulos salvo, acaso, los de la diagonal principal, cuyos valores son las potencias n-ésimas de los coeficientes de la diagonal (principal) de la matriz D; en efecto, como D=\begin{pmatrix}d_1&0&\ldots&0 \\ 0&d_2&\ldots&0 \\ \vdots &\vdots &\ldots&\vdots \\ 0&0&\ldots&d_n\end{pmatrix}, se tiene que D^n=\begin{pmatrix}d_1&0&\ldots&0 \\ 0&d_2&\ldots&0 \\ \vdots &\vdots &\ldots&\vdots \\ 0&0&\ldots&d_n\end{pmatrix}\,\begin{pmatrix}d_1&0&\ldots&0 \\ 0&d_2&\ldots&0 \\ \vdots &\vdots &\ldots&\vdots \\ 0&0&\ldots&d_n\end{pmatrix}\overset{\underbrace{n}}{\ldots}\begin{pmatrix}d_1&0&\ldots&0 \\ 0&d_2&\ldots&0 \\ \vdots &\vdots &\ldots&\vdots \\ 0&0&\ldots&d_n\end{pmatrix}=\begin{pmatrix}d_{1}^n&0&\ldots&0 \\ 0&d_{2}^{n}&\ldots&0 \\ \vdots &\vdots &\ldots&\vdots \\ 0&0&\ldots&d_{n}^{n}\end{pmatrix}
Veamos si el endomorfismo es diagonizable, siguiendo el procedimiento habitual: El polinomio característico del endomorfismo asociado a A es Q(\lambda)=\begin{vmatrix}2-\lambda&0&0\\3&1-\lambda&0\\-1&0& 1-\lambda\end{vmatrix}=(2-\lambda)\,(1-\lambda)^2
Examinemos los rangos de las matrices A-\lambda_1\,I y A-\lambda_2\,I y, a partir de éstos, las dimensiones de los núcleos (subespacios invariantes en los que se descompone el espacio total) \text{Ker}(A-\lambda_1\,I) y \text{Ker}(A-\lambda_2\,I), resultando (omito los cálculos) que \text{rango}(A-\lambda_1\,I)=1 y \text{rango}(A-\lambda_2\,I)=2.
Entonces, \text{Ker}(A-\lambda_1\,I)=\text{dim}(\mathbb{R}^3)-\text{rango}(A-\lambda_1\,I)=3-1=2, valor que coincide con el valor de la multiplicidad m_1, y \text{Ker}(A-\lambda_2\,I)=\text{dim}(\mathbb{R}^3)-\text{rango}(A-\lambda_2\,I)=3-2=1, que conincide con el valor de la multiplicidad m_2, luego se cumplen las condiciones para que el endomorfismo es diagonizable (existe la matriz diagonal, que hemos denotado por D).
Ahora, ya podemos decir cuál es la matriz diagonal (sus coeficientes no nulos son los valores propios —puestos en el orden que correponda al orden de los vectores de la nueva base—, y éstos aparecen tantas veces como indique su multiplicidad); podemos escribir, D=\begin{pmatrix}1 & 0 & 0\\ 0 & 1 & 0 \\ 0 & 0 & 2 \end{pmatrix}.
Tendremos pues que calcular la matriz de paso para transforma la matriz A en la matriz D (en el orden en el que hemos puesto los valores propios).
El espacio vectorial \mathbb{R}^3 se expresa como la suma directa de los subespacios invariantes (correspondientes a ambos núcleos): \mathbb{R}^3= \text{Ker}(A-\lambda_1\,I) \bigoplus \text{Ker}(A-\lambda_2\,I). Calculemos los vectores propios de la base del subespacio invariante \text{Ker}(A-\lambda_1\,I) (recordemos que tiene dimensión igual a 2) y el vector propio del subespacio invariantae \text{Ker}(A-\lambda_2\,I) (recordemos que éste tiene dimensión igual a 1). Naturalmente, la suma de las dimensiones de los subespacios invariantes ha de ser igual a la dimensión del espacio total, que es 3, y así es: 2+1=3
Busquemos una base de \text{Ker}(A-\lambda_1\,I), que, como ya sabemos, constará de dos vectores (ya que su dimensión propia es 2), a los que llamaremos u_1 y u_2, que han de ser linealmente independientes: \begin{pmatrix}2-1&0&0\\3&1-1&0\\-1&0&1-1\end{pmatrix}\,\begin{pmatrix}x_1\\x_2\\x_3\end{pmatrix}=\begin{pmatrix}0\\0\\0\end{pmatrix}
Entonces, el segundo vector de la base del primer núcleo será, en principio, u_{2}=(A-\lambda_1\,I))\,u_{1}=\begin{pmatrix}1&0&0\\3&0&0\\-1&0&0\end{pmatrix}\,\begin{pmatrix}0\\1\\0\end{pmatrix}=\begin{pmatrix}0\\0\\0\end{pmatrix}; ahora bien, no podemos tomar un vector que sea el vector nulo, luego tendremos que buscar otro vector no dependiente de u_1 que, como u_1, cumpla también que (A-\lambda_1\,I))\cdot u_{2}=(0,0,0)^\top. Siguiendo los pasos análogos del párrafo anterior, encontramos u_2=(0,0,1)^\top.
Por consiguiente podemos escribir que \text{Ker}(A-\lambda_1\,I))=\mathcal{L}\left( \{ (0,1,0)^\top,(0,0,1)^\top \}\right)
Busquemos también una base de \text{Ker}(A-\lambda_2\,I), que, como ya sabemos, constará de un sólo vector (ya que su dimensión propia es 1), al que llamaremos w_1: \begin{pmatrix}2-2&0&0\\3&1-2&0\\-1&0&1-2\end{pmatrix}\,\begin{pmatrix}x_1\\x_2\\x_3\end{pmatrix}=\begin{pmatrix}0\\0\\0\end{pmatrix}
La matriz del cambio de base se monta (por columnas) en el mismo orden (de izquierda a derecha) que el orden en el que hemos puesto los valores propios en la matriz diagonal: P=\begin{pmatrix}| & | & | \\ u_1 & u_2 & w_1 \\ | & | & | \end{pmatrix}
Con lo cual, finalmente:
A^n=P\,A^n\,P^{-1}=\begin{pmatrix}0 & 0 & 1\\ 1 & 0 & 3 \\ 0 & 1 & -1 \end{pmatrix}\,\begin{pmatrix}1^n & 0 & 0\\ 0 & 1^n & 0 \\ 0 & 0 & 2^n \end{pmatrix}\, \begin{pmatrix}-3 & 1 & 0\\ 1 & 0 & 1 \\ 1 & 0 & 0 \end{pmatrix}
luego (omito los cálculos),
A^n=\begin{pmatrix}2^n & 0 & 0\\ 3\,(1-2^n) & 1 & 0 \\ 1-2^n & 0 & 1 \end{pmatrix}
Por ejemplo, calculemos A^{10}:
De acuerdo con el resultado genérico que hemos obtenido para la matriz dada, y sin muchos cálculos básicos, llegamos fácilmente al resultado:
A^{10}=\begin{pmatrix}2^{10} & 0 & 0\\ 3\,(1-2^{10}) & 1 & 0 \\ 1-2^{10} & 0 & 1 \end{pmatrix}=\begin{pmatrix}1\,024 & 0 & 0\\ -3\,069 & 1 & 0 \\ -1\,023 & 0 & 1 \end{pmatrix}
\diamond
No hay comentarios:
Publicar un comentario