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

${\displaystyle f:\mathbb {C} ^{n\times n}\to \mathbb {C} ^{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.

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

• Die elementweise Evaluation

${\displaystyle f(A)=(f(a_{ij}))_{ij}={\begin{pmatrix}f(a_{11})&f(a_{12})&\cdots \\f(a_{21})&f(a_{22})&\cdots \\\vdots &\vdots &\ddots \end{pmatrix}}.}$

• Die skalarwertige Evaluation ${\displaystyle f:\mathbb {C} ^{n\times n}\to \mathbb {C} }$.
• Die matrixwertige Evaluation ${\displaystyle f:\mathbb {C} ^{n\times n}\to \mathbb {C} ^{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 Matrix-Algebra bricht. Den zweiten Fall trifft man häufig an, klassische Beispiele sind die Determinante ${\displaystyle \det(A)}$, die Spur ${\displaystyle \operatorname {tr} (A)}$ und der Spektralradius ${\displaystyle \rho (A)}$.

Die ersten beiden Fälle sind selbsterklärend, deshalb werden wir nur den letzten Fall behandeln und werden solche Funktionen ${\displaystyle f:\mathbb {C} ^{n\times n}\to \mathbb {C} ^{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.

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

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

Wenn ${\displaystyle 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 ${\displaystyle f}$ auf allen Jordan-Blöcken anwenden können:

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

${\displaystyle f^{(j)}(\lambda _{i}),\quad j=0,\dots ,m_{i}-1,\quad i=1,\dots ,s}$^[1]

Sei ${\displaystyle f}$ auf dem Spektrum von ${\displaystyle A\in \mathbb {C} ^{n\times n}}$ definiert. Weiter seien ${\displaystyle J=Z^{-1}AZ}$ die Jordan-Normalform und ${\displaystyle J_{1},\dots ,J_{p}}$ die dazugehörigen Jordan-Blöcke mit ihren Größen ${\displaystyle n_{1},\dots ,n_{p}}$, das heißt ${\displaystyle n_{1}+\cdots +n_{p}=n}$ und ${\displaystyle p\leq n}$. Seien ${\displaystyle \lambda _{1},\dots ,\lambda _{p}}$ die zu den ${\displaystyle J_{1},\dots ,J_{p}}$ dazugehörigen Eigenwerte.

Die Matrixfunktion ist definiert als

${\displaystyle f(A):=Zf(J)Z^{-1}=Z\operatorname {diag} \left(f(J_{1}),\dots ,f(J_{p})\right)Z^{-1},}$

wobei die ${\displaystyle f(J_{1}),\dots ,f(J_{p})}$ wie folgt definiert sind

${\displaystyle f(J_{k})={\begin{pmatrix}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 &\vdots \\\vdots &\ddots &\ddots &\ddots &\ddots &{\frac {f^{(2)}(\lambda _{k})}{2!}}\\\vdots &\ddots &\ddots &\ddots &f(\lambda _{k})&f^{(1)}(\lambda _{k})\\0&0&\dots &0&0&f(\lambda _{k})\end{pmatrix}},\quad f(J_{k})\in \mathbb {C} ^{n_{k}\times n_{k}},\quad k=1,\dots ,p.}$^[1]

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

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

Nun substituiert man ${\displaystyle x}$ mit dem Jordan-Block ${\displaystyle J_{k}}$ und erhält

${\displaystyle f(J_{k})=\sum _{i=0}^{n_{k}-1}{\frac {f^{(i)}(\lambda _{k})}{i!}}(J_{k}-\lambda _{k}I_{n_{k}})^{i},}$

wobei ${\displaystyle I_{n_{k}}}$ die Identitätsmatrix der Dimension ${\displaystyle n_{k}}$ ist. Da ${\displaystyle (J_{k}-\lambda _{k}I_{n_{k}})}$ eine nilpotente Matrix mit Nilpotenzindex ${\displaystyle 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

${\displaystyle 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.^[1]

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

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

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

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

Seien die Jordan-Blöcke

${\displaystyle J_{1}={\begin{pmatrix}2&1\\0&2\end{pmatrix}},\qquad J_{2}={\begin{pmatrix}1&1\\0&1\end{pmatrix}}}$

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

${\displaystyle f(J_{1})={\begin{pmatrix}f(2)&f'(2)\\0&f(2)\end{pmatrix}}=4{\begin{pmatrix}2&3\\0&2\end{pmatrix}},\qquad f(J_{2})={\begin{pmatrix}f(1)&f'(1)\\0&f(1)\end{pmatrix}}={\begin{pmatrix}1&3\\0&1\end{pmatrix}}.}$

Es lässt sich leicht überprüfen, dass die Resultate mit ${\displaystyle J_{1}^{3}}$ und ${\displaystyle J_{2}^{3}}$ übereinstimmen.

Nun ist

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

mit

${\displaystyle f(J)={\begin{pmatrix}f(J_{1})&\mathbf {0} \\\mathbf {0} &f(J_{2})\end{pmatrix}}={\begin{pmatrix}8&12&0&0\\0&8&0&0\\0&0&1&3\\0&0&0&1\end{pmatrix}}.}$

Sei ${\displaystyle f}$ auf dem Spektrum von ${\displaystyle A\in \mathbb {C} ^{n\times n}}$ definiert. Weiter sei ${\displaystyle \varphi }$ das Minimalpolynom von ${\displaystyle A}$, das heißt das monische Polynom mit dem kleinsten Grad, so dass ${\displaystyle \varphi (A)=0}$. Seien ${\displaystyle \lambda _{1},\dots ,\lambda _{s}}$ die eindeutigen Eigenwerte und ${\displaystyle m_{i}}$ die Größe des größten Jordan-Blockes zum Eigenwert ${\displaystyle \lambda _{i}}$.

Das Polynom der Hermiteinterpolation ${\displaystyle P}$ besitzt den Grad

${\displaystyle \operatorname {deg} (P)\leq \sum \limits _{i=1}^{s}m_{i}=\operatorname {deg} (\varphi )}$

und erfüllt

${\displaystyle P^{(j)}(\lambda _{i})=f^{(j)}(\lambda _{i}),\quad j=0,\dots ,m_{i}-1,\quad i=1,\dots ,s}$

Die Matrixfunktion ist definiert als^[1]

${\displaystyle f(A):=P(A).}$

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

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

${\displaystyle p(A)={\tfrac {1}{3}}(A+2I_{2}).}$

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

${\displaystyle f(A):={\frac {1}{2\pi i}}\int _{\Gamma }f(z)(zI_{n}-A)^{-1}dz,}$

wobei ${\displaystyle I_{n}}$ die Identitätsmatrix ist.^[1]

Die Einträge der Matrix ${\displaystyle f(A)}$ sind explizit

${\displaystyle f_{kj}={\frac {1}{2\pi i}}\int _{\Gamma }f(z)e_{k}^{\mathrm {T} }(zI_{n}-A)^{-1}e_{j}dz,\quad k=1,\dots ,n,\quad j=1,\dots ,n}$

wobei ${\displaystyle e_{k},e_{j}}$ die entsprechenden Einheitsvektoren sind.

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

${\displaystyle R(A,z)=(zI_{n}-A)^{-1}.}$

existiert.

Die ersten beiden Definition sind äquivalent:^[1]

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

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

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

Sei ${\displaystyle A\in \mathbb {C} ^{n\times n}}$ und ${\displaystyle f}$ auf dem Spektrum von ${\displaystyle A}$ definiert. Dann gilt^[2]

• ${\displaystyle f(A)}$ und ${\displaystyle A}$ kommutieren, das heißt ${\displaystyle Af(A)=f(A)A}$ respektive für den Kommutator gilt ${\displaystyle [A,f(A)]=0}$.
• ${\displaystyle f(A^{*})=f(A)^{*}}$.
• ${\displaystyle f(XAX^{-1})=Xf(A)X^{-1}}$.
• Die Eigenwerte von ${\displaystyle f(A)}$ sind ${\displaystyle f(\lambda _{i})}$, wobei ${\displaystyle \lambda _{i}}$ die Eigenwerte von ${\displaystyle A}$ sind.
• Falls ${\displaystyle A=\operatorname {diag} (A_{1},A_{2},\dots ,A_{p})}$, wobei ${\displaystyle A_{1},A_{2},\dots ,A_{p}}$ Matrizenblöcke auf der Diagonale sind, dann gilt ${\displaystyle f(A)=\operatorname {diag} (f(A_{1}),f(A_{2}),\dots ,f(A_{p}))}$.
• ${\displaystyle f(I_{p}\otimes A)=I_{p}\otimes f(A)}$, wobei ${\displaystyle \otimes }$ das Kronecker-Produkt ist.
• ${\displaystyle f(A\otimes I_{p})=f(A)\otimes I_{p}}$, wobei ${\displaystyle \otimes }$ das Kronecker-Produkt ist.

• Nicholas Higham: Functions of Matrices: Theory and Computation. Hrsg.: SIAM, Philadelphia (= Other Titles in Applied Mathematics). 2008, ISBN 978-0-89871-646-7. 
• Gene H. Golub und Charles F. Van Loan: Matrix Computations. Hrsg.: Johns Hopkins University Press (= Johns Hopkins Studies in the Mathematical Sciences). 2013, ISBN 978-1-4214-0794-4. 

1. ↑ ^{a b c d e f} Nicholas Higham: Functions of Matrices: Theory and Computation. Hrsg.: SIAM, Philadelphia. 2008, ISBN 978-0-89871-646-7, S. 3–8. 
2. ↑ Nicholas Higham: Functions of Matrices: Theory and Computation. Hrsg.: SIAM, Philadelphia. 2008, ISBN 978-0-89871-646-7, S. 10.