Logaritmo de una matriz

De Wikipedia, la enciclopedia libre
Saltar a: navegación, búsqueda

En matemática, el logaritmo de una matriz es una función matricial que generaliza el logaritmo escalar a matrices. En cierto sentido es la función inversa de la exponenciación de matrices.

Definición[editar]

Una matriz B es el logaritmo de una matriz dada A si la exponenciación de B es A:

 e^B = A. \,

Propiedades[editar]

  • Una matriz tiene logaritmo sí y sólo sí es inversible (ya que si no fuera inversible su determinante sería cero, lo cual significa que algún valor propio es nulo, lo que a su vez impide definir el logaritmo de la matriz).
  • El logaritmo de una matriz puede ser una matriz compleja aún si todos sus elementos son números reales, si alguno de ellos es negativo.
  • En cualquier caso, el logaritmo no es único, es decir existe más de una matriz compleja \scriptstyle A tal que \scriptstyle \exp(A) = B .

Cálculo del logaritmo[editar]

Matriz diagonalizable[editar]

Un método para encontrar \ln A \, para una matriz diagonalizable es el siguiente:

 \bar{A} = V^{-1} A V.\,
\bar{A} es una matriz diagonal cuyos elementos son los valores propios de A.
  • Reemplazar cada elemento de la diagonal de \bar{A} por su logaritmo natural para obtener  \ln \bar{A} .
 \ln A = V ( \ln \bar{A} ) V^{-1}. \,

Que el logaritmo de A puede ser una matriz compleja aún si A es real una consecuencia del hecho de que una matriz con valores reales puede llegar a tener valores propios complejos (por ejemplo, esto es cierto para las matrices de rotación). La no unicidad del logaritmo de una matriz es consecuencia de la no unicidad del logaritmo de un número complejo.

Matriz no diagonalizable[editar]

El algoritmo ilustrado arriba no funciona para matrices no diagonalizables, como:

\begin{bmatrix}1 & 1\\ 0 & 1\end{bmatrix}.

Para este tipo de matrices se necesita encontrar su forma canónica de Jordan y, más que calcular los logaritmos de la diagonal como ocurría para las matrices diagonalizables, uno calcula el logaritmo de los elementos de la matriz de Jordan.

Lo último se logra al notar que uno puede escribir un bloque de Jordan como:

B=\begin{pmatrix}
\lambda & 1 & 0 & 0 & \cdots & 0 \\
0 & \lambda & 1 & 0 & \cdots & 0 \\
0 & 0 & \lambda & 1 & \cdots & 0 \\
\vdots & \vdots & \vdots & \ddots & \ddots & \vdots \\
0 & 0 & 0 & 0 & \lambda & 1 \\
0 & 0 & 0 & 0 & 0 & \lambda \\\end{pmatrix}
=
\lambda \begin{pmatrix}
1 & \lambda^{-1} & 0 & 0 & \cdots & 0 \\
0 & 1 & \lambda^{-1} & 0 & \cdots & 0 \\
0 & 0 & 1 & \lambda^{-1} & \cdots & 0 \\
\vdots & \vdots & \vdots & \ddots & \ddots & \vdots \\
0 & 0 & 0 & 0 & 1 & \lambda^{-1} \\
0 & 0 & 0 & 0 & 0 & 1 \\\end{pmatrix}=\lambda(I+K)

Dónde K es una matriz con ceros en y debajo de la diagonal. (El número λ no es cero por la suposición de que la matriz cuyo logaritmo uno intenta calcular es inversible.)

Entonces, por la fórmula

 \ln (1+x)=x-\frac{x^2}{2}+\frac{x^3}{3}-\frac{x^4}{4}+\cdots

se obtiene:

\ln B=\ln \big(\lambda(I+K)\big)=\ln (\lambda I) +\ln (I+K)= (\ln \lambda) I + K-\frac{K^2}{2}+\frac{K^3}{3}-\frac{K^4}{4}+\cdots

Esta serie en general, no converge para cualquier matriz K, como tampoco lo hace para ningún número real con valor absoluto mayor a la unidad. No obstante, esta matriz K en particular, es una matriz nilpotente, por lo tanto la serie tiene un número finito de términos (Km es cero si m es la dimensión de K).

Utilizando este enfoque se encuentra:

\ln \begin{bmatrix}1 & 1\\ 0 & 1\end{bmatrix}
=\begin{bmatrix}0 & 1\\ 0 & 0\end{bmatrix}.

Véase también[editar]