De un problema en el que estoy trabajando: (Editar 04/11 - Me equivoqué en un signo en mi matriz...)
Sea $A(t) \in M_3(\mathbb{R})$ definida como: $$ A(t) = \left( \begin{array}{crc} 1 & 2 & 0 \\ 0 & -1 & 0 \\ t-1 & -2 & t \end{array} \right).$$
¿Para qué valores de $t$ existe un $B \in M_3(\mathbb{R})$ tal que $B^2 = A$?
En una parte anterior del problema, mostré que $A(t)$ puede ser diagonalizable en una matriz diagonal real para todo $t \in \mathbb{R}$, con autovalores $1,-1,t$.
Algunas cosas en las que he pensado:
- La matriz no es semidefinida positiva, por lo que la forma general de la raíz cuadrada no funciona. (¿Es la semidefinición positiva una condición necesaria para la existencia de una raíz cuadrada?)
- Dado que $A = B^2$, entonces $\det(B^2) = (\det B)^2 = \det A$. Entonces $\det A \geq 0$ para que haya una raíz cuadrada con valores reales, lo que obliga a que $t \leq 0$ sea necesario.
- Mi profesor sugirió que, dado que $B^2$ encaja en el polinomio característico de $A$, $\mu_A(x) = (x-1)(x+1)(x-a)$, entonces el polinomio minimal de $B$ debe dividir a $\mu_A(x^2) = (x^2-1)(x^2+1)(x^2-a) = (x-1)(x+1)(x^2+1)(x^2-a)$. Examinando los posibles polinomios mínimos, se puede encontrar la forma canónica racional, elevarla al cuadrado y verificar si los autovalores coinciden. Esto probablemente me podría dar la respuesta correcta, pero estoy bastante seguro de que hay una alternativa a una "prueba por agotamiento".
0 votos
Debes incluir en la formulación del problema que $t\in\mathbb R$ y B tiene valores reales. (No escribiste esto explícitamente, pero por lo que intentaste para obtener las soluciones, supongo que deseas trabajar en números reales.)
0 votos
Acerca de tu primer punto: ¿Probablemente quisiste decir semidefinición positiva? Esa no es una condición necesaria para la existencia de una raíz cuadrada: un contraejemplo es $$\left(\begin{array}{cc}1&0\\2c&1\end{array}\right)$$ con $|c|>1$, con raíz cuadrada $$\left(\begin{array}{cc}1&0\\c&1\end{array}\right)\;.$$
0 votos
Sobre tu segundo punto: ¿Probablemente quisiste decir $t\le0$?
1 votos
$B$ no puede ser real, ya que sus eigenvalores deben ser $\pm i$, $\pm 1$, $\pm\sqrt{t}$ (una elección para cada $\pm\mathit{algo}$). Si $B$ fuera real, entonces sus eigenvalores tendrían que ser reales o en pares conjugados complejos - tu única oportunidad sería si $t=-1$ (no lo revisé, así que no sé si entonces existe un $B$ real).
0 votos
@Martín y @joriki: Gracias, corregí la declaración del problema.