4 votos

¿Qué ocurre con este cálculo de forma normal de Jordania?

La pregunta que estoy trabajando es para calcular la forma normal de Jordan de $$A := \begin{pmatrix} 2 & 1 & 5 \\ 0 & 1 & 3\\ 1 & 0 & 1\end{pmatrix}.$$ The characteristic polynomial and minimal polynomial of $Un$ is $x^{2}(x - 4)$. Then the Jordan normal form of $UN$ is given by $$J := \begin{pmatrix} 0 & 1 & 0\\ 0 & 0 & 0\\ 0 & 0 & 4 \end{pmatrix}.$$ Then there exist a matrix $P$ such that $P^{-1}AP = J$.

Estoy teniendo un problema encontrando $P$. A partir de la teoría de la normal de Jordan formas, $P = [w_{1}\, w_{2}\, w_{3}]$ donde $w_{1}, w_{2}$ es la base de la nullspace de $(A - 0\cdot I)^{2}$ (donde $I$ es la matriz identidad) y $w_{3}$ es la base de la nullspace de $(A - 4\cdot I)$. Considerar en primer lugar $(A - 0 \cdot I)^{2}$. Como $$A^{2} = \begin{pmatrix} 9 & 3 & 18\\ 3 & 1 & 6\\ 3& 1 & 6\end{pmatrix} \sim \begin{pmatrix} 1 & 1/3 & 2 \\ 0 & 0 & 0 \\ 0 & 0 & 0 \end{pmatrix}$$ (where the $\sim$ denotes row equivalence), the nullspace of $Un^{2}$ is spanned the column vectors $\{(-2, 0, 1)^{t}, (-1, 3, 0)^{t}\}$. Next we consider $(a - 4 \cdot I)$. We have $$A - 4I = \begin{pmatrix} -2 & 1 & 5\\ 0 & -3 & 3\\ 1 & 0 & -3 \end{pmatrix} \sim \begin{pmatrix} 1 & 0 & -3\\0 & 1 & -1\\ 0 & 0 & 0\end{pmatrix}.$$ Then the nullspace is spanned by the column vector $(3, 1, 1)^{t}$.

Por lo tanto, debemos tener $$P = \begin{pmatrix} -2 & -1 & 3\\0 & 3 & 1\\ 1 & 0 & 1 \end{pmatrix}.$$ However, when I compute $P^{-1}AP$, I get $$P^{-1}AP = \begin{pmatrix} -1 & -1 & 0\\ 1 & 1 & 0\\0 & 0 & 4\end{pmatrix} \neq J.$$ Where did I go wrong? Is there something wrong on how I computed $P$?

1voto

freespace Puntos 9024

Voy a añadir una breve explicación de por qué la matriz $P$ puede ser calculada de esta manera.

Usted quiere encontrar una matriz $P$ tal que $P^{-1}AP=J$ que es equivalente a $$AP=PJ.$$ Deje que nos indican las columnas de la matriz $P$ por $\vec u_1$, $\vec u_2$, $\vec u_3$. (Voy a trabajar con vectores columna aquí. Queremos $P$ a ser más regulares, por lo que estos vectores deben ser linealmente independientes). Así que hemos reescrito la matriz$P$$P=\begin{pmatrix} \vec u_1 & \vec u_2 & \vec u_3 \end{pmatrix}$.

Ahora nos damos cuenta de que $$AP= A\begin{pmatrix} \vec u_1 & \vec u_2 & \vec u_3 \end{pmatrix} = \begin{pmatrix} A\vec u_1 & A\vec u_2 & A\vec u_3 \end{pmatrix}.$$ (Si esto no es claro para usted, piense un poco acerca de la definición de la multiplicación de matrices.)

¿Qué podemos decir acerca de las matrices $J$$PJ$? Ya tenemos dos autovalores $\lambda_{1,2}$, y la multiplicidad de $\lambda_1$ es de dos, tenemos dos posibilidades $$J= \begin{pmatrix} \lambda_1 & 0 & 0 \\ 0 & \lambda_1 & 0 \\ 0 & 0 & \lambda_2 \end{pmatrix} \qquad\text{o}\qquad J= \begin{pmatrix} \lambda_1 & 1 & 0 \\ 0 & \lambda_1 & 0 \\ 0 & 0 & \lambda_2 \end{pmatrix} $$ (Por CIERTO que no menciona en su post cómo sabe usted que en este caso se obtiene la segunda posibilidad.)

En el primer caso tenemos $$ PJ= \begin{pmatrix} \vec u_1 & \vec u_2 & \vec u_3 \end{pmatrix} \begin{pmatrix} \lambda_1 & 0 & 0 \\ 0 & \lambda_1 & 0 \\ 0 & 0 & \lambda_2 \end{pmatrix}= \begin{pmatrix} \lambda_1\vec u_1 & \lambda_1\vec u_2 & \lambda_2\vec u_3 \end{pmatrix}.$$ Así que si queremos $AP=PJ$, es decir, $$\begin{pmatrix} A\vec u_1 & A\vec u_2 & A\vec u_3 \end{pmatrix}= \begin{pmatrix} \lambda_1\vec u_1 & \lambda_1\vec u_2 & \lambda_2\vec u_3 \end{pmatrix},$$ a continuación, queremos encontrar vectores linealmente independientes $\vec u_{1,2,3}$ tal que $A\vec u_1=\lambda_1\vec u_1$, $A\vec u_2=\lambda_1\vec u_2$ y $A\vec u_3= \lambda_2 \vec u_3$. Esto significa que $\vec u_{1,2}$ son vectores propios de a $\lambda_1$ $\vec u_3$ es un autovector correspondiente a $\lambda_2$.

Basado en lo que usted escribió en el OP, parece que se calculan los vectores propios y no encontrar dos vectores propios linealmente independientes para $\lambda_1=0$. Así que debemos intentar la segunda posibilidad para $J$.

En este caso tenemos $$ PJ= \begin{pmatrix} \vec u_1 & \vec u_2 & \vec u_3 \end{pmatrix} \begin{pmatrix} \lambda_1 & 1 & 0 \\ 0 & \lambda_1 & 0 \\ 0 & 0 & \lambda_2 \end{pmatrix}= \begin{pmatrix} \lambda_1\vec u_1+\vec u_2 & \lambda_1\vec u_2 & \lambda_2\vec u_3 \end{pmatrix}.$$ Ahora $AP=PJ$, es decir, $$\begin{pmatrix} A\vec u_1 & A\vec u_2 & A\vec u_3 \end{pmatrix}= \begin{pmatrix} \lambda_1\vec u_1+\vec u_2 & \lambda_1\vec u_2 & \lambda_2\vec u_3 \end{pmatrix},$$ es equivalente a $A\vec u_1=\lambda_1\vec u_1+\vec u_2$, $A\vec u_2=\lambda_1\vec u_2$ y $A\vec u_3= \lambda_2 \vec u_3$.

Así que si usted ya tiene un autovector $\vec u_2$, usted necesita encontrar autovector generalizado $\vec u_1$ el cumplimiento de $A\vec u_1=\lambda_1\vec u_1+\vec u_2$ o, equivalentemente, $$(A-\lambda_1I)\vec u_1=\vec u_2.$$


Es importante mencionar que la situación sería un poco más complicado si tuviéramos polinomio característico de la forma $(x-\lambda_1)^3$. Habría más posibilidades para la forma normal de Jordan $J$ y también en el caso $J=\begin{pmatrix} \lambda_1 & 1 & 0 \\ 0 & \lambda_1 & 0 \\ 0 & 0 & \lambda_1 \end{pmatrix}$ tendríamos dos linealmente independiente de vectores propios para el autovalor $\lambda_1$, pero no cada autovector tendría un autovector generalizado. Por lo que si utilizamos esta forma de calcular la matriz $P$, tendríamos que ser cuidadosos con la elección de los vectores propios y a pedido de los vectores obtenidos en el final de la matriz.

1voto

MyPreciousss Puntos 357

Para calcular los vectores propios $\lambda=0$ usted quiere encontrar una cadena. Usted necesita encontrar $\vec{u}_1$ y $\vec{u}_2$ tal que $A\vec{u}_2=\vec{u}_1$ y $A\vec{u}_1=0$. Claramente existe una solución como el cero es un valor de e de $A$ por lo tanto, $A$ es singular. Por ejemplo, $\vec{u}_1 = ( -2, -6, 2)$ y $\vec{u}_2 = (-1,-6,0)$. Creo que estos le ponen la matriz en la forma que desee.

0voto

user772913 Puntos 56

Sólo para mencionar una manera rápida y eficaz de la determinación de la canónica de Jordan formas de matrices de tamaño pequeño. Se basa en el punto diagramas asociados a la matriz bajo consideración.
Caso General

Deje $A$ tiene un split polinomio característico. Por ejemplo, esto restringe nada en absoluto, si $A\in \text{Mat}_n(\mathbb C)$. Ahora, para un eigen-valor $\lambda$, si no se $k$ cadenas de eigen-vectores, es decir, si $\{\beta_1,\ldots,\beta_k\}$ constituye una base para la generalización en el eigen-espacio de $K_\lambda$, donde $$\beta_i=\{v_i,\ldots,T^{p_i}(v_i)\}---(\times)$$ for some $v_i$ and $p_i$, then we construct the diagram $$\begin{matrix}\cdot&\cdot&\ldots&\cdot\\\cdot&\cdot&\cdots&\\\cdot&\cdots&&\\\cdot&&&\end{matrix},$$ where the $i$-th column has $p_i$ dots and there are $k$ columnas.
A continuación, el número de puntos en el primer $r$ filas es igual a $\text{dim}(\text{Ker}(T-\lambda I)^r)$. Por lo tanto,$\begin{cases}r_1=\text{dim}(\text{Ker}(T-\lambda I))\\r_i=\text{rank}(T-\lambda I)^{i-1}-\text{rank}(T-\lambda I)^i&i\gt 1\end{cases}$.

Y los que participan en los rangos pueden ser fácilmente calculadas, en el caso de matrices de tamaño pequeño.
Nuestro Caso

El único problema se produce con los eigen-valor $\lambda=0$. Ahora, en las anteriores anotaciones, $\begin{cases}r_1=1\\r_2=2-1=1\end{cases}$. Por lo tanto el punto en el diagrama es de la forma $\begin{matrix}\cdot\\\cdot\end{matrix}$, y el bloque de Jordan es de la forma $\begin{pmatrix}0&1\\0&0\end{pmatrix}$.

Después de la determinación de la forma de los bloques de Jordan, sólo queda encontrar alguna base de la generalización en el eigen-espacio que consta de las cadenas de la generalizada eigen-vectores, es decir, de la forma requerida,$(\times)$. Pero esto es fácil: en nuestro caso, tenemos que encontrar una cadena de longitud $2$. Entonces es suficiente para encontrar dos linealmente independientes $v_i$ tal que $(A-0I)v_i\not=0$, que no es tan difícil, supongo. Estos dos $v_i$ no pertenecen a los eigen-espacio correspondiente a $0$, por lo que uno de ellos pertenece al espacio correspondiente a $1$. El otro vector entonces debe satisfacer $A^2v=0$. Y esto nos da una deseada de la cadena: $\{v, Av\}$.
Si algo es inapropiado, solo me comunico. Gracias de antemano.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X