Matrixfunktion

Eine Matrixfunktion ist in der Mathematik eine Funktion, welche als Funktionsargument eine quadratische Matrix besitzt. Es gibt unterschiedliche Definitionen solcher Funktionen, deren Funktionswerte meistens Skalare oder wieder quadratische Matrizen sind. Generell versteht man in der Mathematik unter dem Begriff Matrixfunktion explizit den letzteren Fall, das bedeutet

$f:{ℂ}^{n\times n}\to {ℂ}^{n\times n}.$

Zum ersten Fall gehören klassische Funktionen wie die Determinante oder die Spur. Da dieser Fall selbsterklärend ist, wird im Artikel nur der letzte Fall behandelt. Im Artikel werden drei äquivalente Methoden zur Erzeugung einer Matrixfunktion erklärt.

Einführung

Sei $A=(a_{ij}{)}_{ij}$ eine quadratische Matrix, ${ℂ}^{n\times n}$ der dazugehörige Matrizenraum und $f:ℂ\to ℂ$ eine skalare Funktion. Das Ziel ist es nun, $f(A)$ zu definieren. Dafür gibt es unterschiedliche Möglichkeiten, darunter:

• Die elementweise Evaluation

$f(A)=(f(a_{ij}){)}_{ij}=\left(\begin{array}{ccc}f(a_{11})& f(a_{12})& \cdots \\ f(a_{21})& f(a_{22})& \cdots \\ ⋮& ⋮& \ddots \end{array}\right).$

• Die skalarwertige Evaluation $f:{ℂ}^{n\times n}\to ℂ$.
• Die matrixwertige Evaluation $f:{ℂ}^{n\times n}\to {ℂ}^{n\times n}$.

Der erste Fall wird häufig von Programmiersprachen verwendet, spielt in der Mathematik aber eine untergeordnete Rolle, da er die Regeln der Matrizen-Algebra bricht.

Den zweiten Fall trifft man häufig an, klassische Beispiele sind die Determinante $\det (A)$, die Spur $\mathrm{tr}(A)$ und der Spektralradius $\rho (A)$.

Die ersten beiden Fälle sind selbsterklärend, deshalb werden wir nur den letzten Fall behandeln und werden solche Funktionen $f:{ℂ}^{n\times n}\to {ℂ}^{n\times n}$ als Matrixfunktionen bezeichnen.

Es existieren noch weitere Fälle, die wir auch nicht behandeln werden, so fällt die Vektorisierung in keine der Kategorien.

Matrixfunktion

Es existieren unterschiedliche Wege, wie wir die matrixwertige Funktion einer skalaren Funktion $f:ℂ\to ℂ$ definieren können. Drei übliche Wege sind

• über die jordansche Normalform,
• über die Polynominterpolation,
• über den Cauchyschen Integralsatz.

Wenn $f$ eine analytische Funktion in einer Umgebung ist, welche das Spektrum umschließt, dann sind alle drei Definitionen äquivalent.

Wir brauchen folgende wichtige Definition, welche uns später garantiert, dass wir die Funktion $f$ auf allen Jordan-Blöcken anwenden können:

Sei $A\in {ℂ}^{n\times n}$ eine Matrix und ${\lambda }_1,\dots ,{\lambda }_s$ ihre eindeutigen Eigenwerte, das heißt $s$ ist die Anzahl Eigenwerte ohne Berücksichtigung algebraischer Vielfachheiten. Sei $m_i$ die Größe des größten Jordan-Blockes zum Eigenwert ${\lambda }_i$. Wir nennen eine Funktion $f$ auf dem Spektrum von $A$ definiert, wenn die folgenden Werte existieren

$f^{(j)}({\lambda }_i),j=0,\dots ,m_i-1,i=1,\dots ,s$

Definition 1 (Jordan-Normalform)

Sei $f$ auf dem Spektrum von $A\in {ℂ}^{n\times n}$ definiert. Weiter seien $J=Z^{-1}AZ$ die Jordan-Normalform und $J_1,\dots ,J_p$ die dazugehörigen Jordan-Blöcke mit ihren Größen $n_1,\dots ,n_p$, das heißt $n_1+\cdots +n_p=n$ und $p\le n$. Seien ${\lambda }_1,\dots ,{\lambda }_p$ die zu den $J_1,\dots ,J_p$ dazugehörigen Eigenwerte.

Die Matrixfunktion ist definiert als

$f(A):=Zf(J)Z^{-1}=Z\mathrm{diag}(f(J_1),\dots ,f(J_p))Z^{-1},$

wobei die $f(J_1),\dots ,f(J_p)$ wie folgt definiert sind

$f(J_k)=\left(\begin{array}{cccccc}f({\lambda }_k)& f^{(1)}({\lambda }_k)& \frac{f^{(2)}({\lambda }_k)}{2!}& \cdots & \cdots & \frac{f^{(n_k-1)}({\lambda }_k)}{(n_k-1)!}\\ 0& f({\lambda }_k)& f^{(1)}({\lambda }_k)& \ddots & \cdots & \frac{f^{(n_k-2)}({\lambda }_k)}{(n_k-2)!}\\ 0& 0& f({\lambda }_k)& \ddots & \ddots & ⋮\\ ⋮& \ddots & \ddots & \ddots & \ddots & \frac{f^{(2)}({\lambda }_k)}{2!}\\ ⋮& \ddots & \ddots & \ddots & f({\lambda }_k)& f^{(1)}({\lambda }_k)\\ 0& 0& \dots & 0& 0& f({\lambda }_k)\end{array}\right),f(J_k)\in {ℂ}^{n_k\times n_k},k=1,\dots ,p.$

Erklärung der Matrix

Die Matrix in der Definition lässt sich wie folgt erklären, man bildet die Taylor-Reihe von $f(x)$ und verwendet als Entwicklungspunkt den Eigenwert ${\lambda }_k$, das heißt

$f(x)=\sum _{i=0}^{\mathrm{\infty }}\frac{f^{(i)}({\lambda }_k)}{i!}(x-{\lambda }_k{)}^i$

Nun substituiert man $x$ mit dem Jordan-Block $J_k$ und erhält

$f(J_k)=\sum _{i=0}^{n_k-1}\frac{f^{(i)}({\lambda }_k)}{i!}(J_k-{\lambda }_k{I}_{n_k}{)}^i,$

wobei $I_{n_k}$ die Identitätsmatrix der Dimension $n_k$ ist. Da $(J_k-{\lambda }_k{I}_{n_k})$ eine nilpotente Matrix mit Nilpotenzindex $n_k$ ist, ist die Taylorreihe endlich und somit ein Polynom. Da Matrizen dieselben Operationen wie Polynome besitzen (Addition, Subtraktion, Multiplikation usw.), existiert auch das Matrixpolynom. Durch Ausschreiben der Taylorreihe erhält man die Matrix aus der Definition

$f(J_k)=f({\lambda }_k)I_{n_k}+f^{(1)}({\lambda }_k)(J_k-{\lambda }_k{I}_{n_k})+\cdots +\frac{f^{(n_k-1)}({\lambda }_k)}{(n_k-1)!}(J_k-{\lambda }_k{I}_{n_k}{)}^{n_k-1},$

wobei jeder Term eine der diagonalen Linien in der oberen Dreiecksmatrix bildet. Das macht man nun für jeden Jordan-Block.

Erläuterungen

• Wenn $A$ diagonalisierbar ist, dann ist die Jordan-Normalform gerade die Diagonalmatrix der Eigenwerte $D=\mathrm{diag}({\lambda }_1,\dots ,{\lambda }_n)$ und die Spalten von $Z$ sind die Eigenvektoren. Das bedeutet wiederum, dass

$f(A)=Zf(D)Z^{-1}$

und somit hat $f(A)$ die gleichen Eigenvektoren wie $A$ und die Eigenwerte von $f(A)$ erhält man durch Anwendung von $f$ auf die Eigenwert von $A$, das heißt $f({\lambda }_1),\dots ,f({\lambda }_n)$.

• Es spielt keine Rolle, welche Reihenfolge die Jordan-Blöcke haben, das resultierende $f(A)$ wird dasselbe sein.

Beispiel

Seien die Jordan-Blöcke

$J_1=\left(\begin{array}{cc}2& 1\\ 0& 2\end{array}\right),J_2=\left(\begin{array}{cc}1& 1\\ 0& 1\end{array}\right)$

und die Funktion $f(x)=x^3$ gegeben, dann berechnet man

$f(J_1)=\left(\begin{array}{cc}f(2)& f^{\prime }(2)\\ 0& f(2)\end{array}\right)=4\left(\begin{array}{cc}2& 3\\ 0& 2\end{array}\right),f(J_2)=\left(\begin{array}{cc}f(1)& f^{\prime }(1)\\ 0& f(1)\end{array}\right)=\left(\begin{array}{cc}1& 3\\ 0& 1\end{array}\right).$

Es lässt sich leicht überprüfen, dass die Resultate mit $J_1^3$ und $J_2^3$ übereinstimmen.

Nun ist

$f(A)=Zf(J)Z^{-1}$

mit

$f(J)=\left(\begin{array}{cc}f(J_1)& \mathrm{𝟎}\\ \mathrm{𝟎}& f(J_2)\end{array}\right)=\left(\begin{array}{cccc}8& 12& 0& 0\\ 0& 8& 0& 0\\ 0& 0& 1& 3\\ 0& 0& 0& 1\end{array}\right).$

Definition 2 (Polynominterpolation)

Sei $f$ auf dem Spektrum von $A\in {ℂ}^{n\times n}$ definiert. Weiter sei $\phi$ das Minimalpolynom von $A$, das heißt das monische Polynom mit dem kleinsten Grad, so dass $\phi (A)=0$. Seien ${\lambda }_1,\dots ,{\lambda }_s$ die eindeutigen Eigenwerte und $m_i$ die Größe des größten Jordan-Blockes zum Eigenwert ${\lambda }_i$.

Das Polynom der Hermiteinterpolation $P$ besitzt den Grad

$\mathrm{deg}(P)\le \sum _{i=1}^s{m}_i=\mathrm{deg}(\phi )$

und erfüllt

$P^{(j)}({\lambda }_i)=f^{(j)}({\lambda }_i),j=0,\dots ,m_i-1,i=1,\dots ,s$

Die Matrixfunktion ist definiert als

$f(A):=P(A).$

Erläuterungen

• Diese Methode basiert darauf, dass $G(A)$ für ein beliebiges Polynom $G$ vollständig durch die Auswertung der Eigenwerte $G({\lambda }_i)$ bestimmt ist.
• Es ist wichtig zu verstehen, dass das Polynom $P$ von den Werten von $f$ auf dem Spektrum von $A$ abhängt.

Beispiel

Sei $p(x)=\frac{1}{3}(x+2)$ das Polynom, welche die oben aufgeführten Interpolationsbedingungen erfüllt. Dann ist für $A\in {ℂ}^{2\times 2}$

$p(A)=\frac{1}{3}(A+2I_2).$

Definition 3 (Cauchyscher Integralsatz)

Sei $A\in {ℂ}^{n\times n}$ und $f$ sei analytisch auf und innerhalb einer geschlossenen Kontur $\mathrm{\Gamma }$, welche das Spektrum $\sigma (A)$ umschließt. Die Matrixfunktion ist definiert als

$f(A):=\frac{1}{2\pi i}\underset{\mathrm{\Gamma }}{\int }f(z)(z{I}_n-A{)}^{-1}dz,$

wobei $I_n$ die Identitätsmatrix ist.

Die Einträge der Matrix $f(A)$ sind explizit

$f_{kj}=\frac{1}{2\pi i}\underset{\mathrm{\Gamma }}{\int }f(z)e_k^{\mathrm{T}}(z{I}_n-A{)}^{-1}{e}_{j}dz,k=1,\dots ,n,j=1,\dots ,n$

wobei $e_k,e_j$ die entsprechenden Einheitsvektoren sind.

Erläuterungen

• Da die Kontour $\mathrm{\Gamma }$ um das Spektrum herum geht, gilt $\mathrm{\Gamma }\cap \sigma (A)=\mathrm{\varnothing }$ und die Resolvente

$R(A,z)=(z{I}_n-A{)}^{-1}.$

existiert.

Äquivalenz der Definitionen

Die ersten beiden Definition sind äquivalent:

$\text{Definition 1}\equiv \text{Definition 2}$

Wenn $f$ zusätzlich analytisch auf und innerhalb der Kontour $\mathrm{\Gamma }$ ist, dann sind alle drei Definitionen äquivalent

$\text{Definition 1}\equiv \text{Definition 2}\equiv \text{Definition 3}.$

Eigenschaften

Sei $A\in {ℂ}^{n\times n}$ und $f$ auf dem Spektrum von $A$ definiert. Dann gilt

• $f(A)$ und $A$ kommutieren, das heißt $Af(A)=f(A)A$ respektive für den Kommutator gilt $[A,f(A)]=0$.
• $f(A^{*})=f(A{)}^{*}$.
• $f(XA{X}^{-1})=Xf(A)X^{-1}$.
• Die Eigenwerte von $f(A)$ sind $f({\lambda }_i)$, wobei ${\lambda }_i$ die Eigenwerte von $A$ sind.
• Falls $A=\mathrm{diag}(A_1,A_2,\dots ,A_p)$, wobei $A_1,A_2,\dots ,A_p$ Matrizenblöcke auf der Diagonale sind, dann gilt $f(A)=\mathrm{diag}(f(A_1),f(A_2),\dots ,f(A_p))$.
• $f(I_p\otimes A)=I_p\otimes f(A)$, wobei $\otimes$ das Kronecker-Produkt ist.
• $f(A\otimes I_p)=f(A)\otimes I_p$, wobei $\otimes$ das Kronecker-Produkt ist.

Literatur

• Vorlage:Literatur
• Vorlage:Literatur