5 votos

¿Podemos reducir la búsqueda de raíces de matrices a la búsqueda de raíces de bloques de Jordania?

Acabo de encontrar una pregunta interesante sobre las raíces cuadradas de las matrices y se me ha ocurrido una forma de encontrarlas, o al menos de reducirlas a un conjunto de problemas más sencillos.

Supongamos que tenemos una matriz $\bf A$ y se puede poner en algún formulario de Jordania:

$${\bf A} = {\bf SJS}^{-1}$$

Dónde $\bf J$ es un bloque diagonal formado por los famosos bloques de Jordania de la forma:

$${\bf J_{k}} = \begin{bmatrix} \lambda_k&1&0&\cdots&0\\0&\ddots&\ddots& & 0\\\vdots&\ddots&\ddots&\ddots&\vdots\\0&\cdots&0&\lambda_k&1\\0&\cdots&\cdots&0&\lambda_k\end{bmatrix}$$

En otras palabras, la diagonal principal completa con el valor propio $\lambda_k$ y la primera fuera de diagonal llena de unos.

El problema de encontrar alguna raíz n'th para $\bf A$ ahora se puede escribir $${\bf SJ}^{1/n}{\bf S}^{-1}$$ (¿Por qué?).

Así que Si estoy en lo cierto hasta ahora nos hemos reducido a encontrar alguna forma de calcular la raíz cuadrada de dichos bloques de Jordan $\bf J_k$ y en el caso más simple bloques de dimensionalidad 1, encontrando alguna raíz sobre nuestro campo escalar (para los propios valores propios).

  1. En primer lugar, ¿es correcto este razonamiento hasta ahora?

  2. En segundo lugar, cómo podemos acercarnos a encontrar la raíz cuadrada a matrices de la forma $\bf J_k$ . ¿Hay alguna simplificación o atajo que se pueda hacer?

4voto

Spencer Puntos 48

Supongamos que el campo subyacente es algebraicamente cerrado y que conocemos la descomposición de Jordan de $A$ por lo que podemos suponer que $A=diag(\lambda_1 I_{i_1}+J_1,\cdots,\lambda_k I_{i_k}+J_k)$ donde $J_r$ es el bloque de Jordan nilpotente de dimensión $i_r$ .

$\bullet$ El caso simple es cuando $A$ es invertible y cíclico (es decir, los valores propios $(\lambda_r)$ son distintos y no nulos); entonces $A$ admite exactamente $2^k$ raíces cuadradas: $diag(\pm L_1,\cdots,\pm L_k)$ donde

$L_r=\sqrt{\lambda_r}(I_r+(1/\lambda_r) J_r)^{1/2}$ y donde el segundo factor viene dado por el desarrollo de Taylor, wrt $x$ de $(1+(1/\lambda_r) x)^{1/2}$ .

$\bullet$ . De lo contrario, hay soluciones suplementarias -o eventualmente ninguna solución cuando $A$ es singular-.

Cuando $A$ no es invertible, cf. mi post en

condiciones suficientes y necesarias para que la matriz tenga pth raíces

Cuando $A$ no es cíclico, consideremos el caso en que $A=diag(I_2+J,I_2+J)$ (encontrar en la primera parte $C(A)$ ).

EDITAR. Más precisamente (para el ejemplo anterior) $C(A)$ es el espacio vectorial de dimensión $8$ constituido por las matrices de la forma $\begin{pmatrix}U_1&U_2\\U_3&U_4\end{pmatrix}$ donde $U_j$ es de la forma $a_j I_2+b_j J$ . Una raíz cuadrada particular de $A$ es

$\begin{pmatrix}1/2&1&1&2/\sqrt{3}\\0&1/2&0&1\\3/4&-\sqrt{3}/2&-1/2&-1\\0&3/4&0&-1/2\end{pmatrix}$ .

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