Matrixlogarithmus

In der Mathematik ist der Logarithmus einer Matrix eine Verallgemeinerung des skalaren Logarithmus auf Matrizen. Er ist in gewissem Sinn eine Umkehrfunktion des Matrixexponentials.

Definition

Eine Matrix B ist ein Logarithmus einer gegebenen Matrix A, wenn A das Matrixexponential von B ist:

$e^B = A. \,$

Eigenschaften

Eine Matrix hat einen Logarithmus genau dann, wenn sie invertierbar ist. Dieser Logarithmus kann eine nicht-reelle Matrix sein, selbst wenn alle Einträge in der Matrix reelle Zahlen sind. In diesem Fall ist der Logarithmus nicht eindeutig.

Berechnung des Logarithmus einer diagonalisierbaren Matrix

Im Folgenden wird eine Methode beschrieben, ln A für ein diagonalisierbare Matrix A zu berechnen:

Ermittle die Matrix V von Eigenvektoren von A (jede Spalte von V ist ein Eigenvektor von A).

Berechne die Inverse V⁻¹ von V.

Sei

$A' = V^{-1} A V.\,$

Dann ist A′ eine diagonale Matrix, deren diagonale Element Eigenwerte von A sind.

Ersetze jedes diagonale Element von A′ durch dessen natürlichen Logarithmus um ln A' zu erhalten. Dann gilt $\ln A = V ( \ln A' ) V^{-1}. \,$

Dass der Logarithmus von A komplex sein kann, obwohl A reell ist, ergibt sich aus der Tatsache, dass eine reelle Matrix komplexe Eigenwerte haben kann (dies gilt zum Beispiel für Rotationsmatrizen). Die Nichteindeutigkeit des Logarithmus folgt aus der Nichteindeutigkeit des Logarithmus einer komplexen Zahl.

Der Logarithmus einer nichtdiagonalisierbaren Matrix

Der obige Algorithmus funktioniert nicht für nichtdiagonalisierbare Matrizen wie zum Beispiel

$\begin{pmatrix}1 & 1\\ 0 & 1\end{pmatrix}.$

Für solche Matrizen muss man zunächst die Jordansche Normalform ermitteln. Statt des Logarithmus der Diagonaleneinträge muss man hier den Logarithmus der Jordan-Blöcke berechnen.

Letzteres wird dadurch erreicht, dass man die Jordan-Matrix schreibt als

$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)$

wobei K eine Matrix mit Nullen unter und auf der Hauptdiagonalen ist. (Die Zahl λ ist ungleich null, wenn man annimmt, dass die Matrix, deren Logarithmus man berechnen möchte, invertierbar ist.)

Durch die Formel

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

erhält man

$\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$

Diese Reihe konvergiert für eine allgemeine Matrix K nicht, wie sie es für reelle Zahlen mit Betrag kleiner 1 tun würde. Diese spezielle Matrix K jedoch ist eine nilpotente Matrix, so dass die Reihe eine endliche Anzahl von Termen hat (K^m ist null, wenn m den von Rang K bezeichnet).

Durch diesen Ansatz erhält man

$\ln \begin{pmatrix}1 & 1\\ 0 & 1\end{pmatrix} =\begin{pmatrix}0 & 1\\ 0 & 0\end{pmatrix}.$

Aus dem Blickwinkel der Funktionalanalysis

Eine quadratische Matrix repräsentiert einen linearen Operator auf dem Euklidschen Raum $\R^n$. Da dieser Raum endlichdimensional ist, ist jeder Operator beschränkt.

Sei f eine holomorphe Funktion auf einer offene Menge in der komplexen Ebene, und sei T ein beschränkter Operator. Man kann f(T) berechnen, wenn f(z) auf dem Spektrum von T definiert ist.

Die Funktion f(z)=ln z kann auf jeder einfach zusammenhängenden offenen Menge in der komplexen Ebene, die Null nicht enthält, definiert werden und ist auf dieser Definitionsmenge holomorph. Daraus folgt, dass ln T definiert ist, wenn das Spektrum von T Null nicht enthält und es einen Pfad von null in die Unendlichkeit gibt, der das Spektrum von T nicht schneidet (Bildet zum Beispiel das Spektrum von T eine Kreislinie, deren Mittelpunkt null ist, dann ist es nicht möglich, ln T zu definieren).

Für den speziellen Fall des Euklidschen Raums ist das Spektrum eines linearen Operators die Menge der Eigenwerte der Matrix, also endlich. Solange null nicht im Spektrum enthalten ist (die Matrix also invertierbar ist) und damit offensichtlich die obige Pfadbedingung erfüllt ist, folgt, dass ln T wohldefiniert ist. Die Nichteindeutigkeit folgt aus der Tatsache, dass man mehr als einen Zweig des Logarithmus wählen kann, welcher auf der Menge der Eigenwerte der Matrix definiert ist.

Siehe auch

• Cepstrum