Plemelj-Smithies-Formeln

Die Plemelj-Smithies-Formeln (nach Josip Plemelj und Frank Smithies) sind Theoreme aus der Funktionalanalysis über die Darstellung von Operatordeterminanten wie der Fredholm-Determinante $\det (I+\lambda A)$ für Spurklasse-Operatoren $A\in {𝒮}_1$ und für den Spezialfall beschränkter linearer Operatoren mit endlichem Rang $ℱ(ℬ)$ auf einem Banachraum $ℬ$. Die Theoreme geben eine explizite Formel zur Berechnung der Koeffizienten der Taylorentwicklung von $\det (I+\lambda A)$ an.

Aussage

Sei $A\in {𝒮}_1$ ein Operator der Spurklasse und $\lambda \in ℂ$, dann ist die Determinante $\det (I+\lambda A)$ eine ganze Funktion und es gilt

$\det (I+\lambda A)=1+\sum _{k=1}^{\mathrm{\infty }}{C}_k(A){\lambda }^k$

wobei sich die Koeffizienten $C_k(A)$ der Taylorentwicklung mit Hilfe von Determinanten

$C_k(A)=\frac{1}{k!}\left|\begin{array}{ccccc}\mathrm{tr}A& k-1& 0& \cdots & 0\\ \mathrm{tr}{A}^2& \mathrm{tr}A& k-2& \ddots & ⋮\\ ⋮& ⋮& \ddots & \ddots & 0\\ \mathrm{tr}{A}^{k-1}& \mathrm{tr}{A}^{k-2}& \cdots & \mathrm{tr}A& 1\\ \mathrm{tr}{A}^k& \mathrm{tr}{A}^{k-1}& \cdots & \mathrm{tr}{A}^2& \mathrm{tr}A\end{array}\right|.$

ausdrücken lassen.

Außerdem gilt für $|\lambda |<R$ und $R>0$ hinreichend klein die folgende Formel:

$\det (I+\lambda A)=\exp (\sum _{k=1}^{\mathrm{\infty }}\frac{(-1{)}^{k+1}}{k}\mathrm{tr}(A^k){\lambda }^k)$

Beweis-Skizze

Die Idee besteht darin, den Beweis zunächst für den oben erwähnten Spezialfall von beschränkten Operatoren mit endlichem Rang durchzuführen und dann den Gültigkeitsbereich durch einen geeigneten Grenzübergang auf ${𝒮}_1$ fortzusetzen.

Lemma zur Verkettung der Exponentialfunktion mit einer speziellen analytischen Potenzreihe

Als Vorbereitung benötigen wir noch folgendes Lemma (siehe Gohberg et al. und Reed / Simon):

Seien $f$ und $g$ Funktionen, die in einer Umgebung von $\lambda =0$ holomorph sind mit folgenden Taylorentwicklungen:

$f(\lambda )=\sum _{n=0}^{\mathrm{\infty }}\frac{a_n}{n!}{\lambda }^n,g(\lambda )=\sum _{n=1}^{\mathrm{\infty }}\frac{(-1{)}^{n+1}}{n}{b}_n{\lambda }^n$

Sei weiterhin $f(\lambda )=\exp (g(\lambda ))$. Dann ist $a_0=1$ und für $n\ge 1$ gilt folgende Darstellung:

$a_n=\det \left(\begin{array}{cccccc}{b}_1& n-1& 0& \cdots & \cdots & 0\\ b_2& b_1& n-2& \ddots & & ⋮\\ ⋮& ⋮& \ddots & \ddots & \ddots & ⋮\\ b_{n-2}& \cdot & \cdots & b_1& 2& 0\\ b_{n-1}& b_{n-2}& \cdots & \cdots & b_1& 1\\ b_n& b_{n-1}& b_{n-2}& \cdots & \cdots & b_1\end{array}\right)$

Begründung:

Da in einer Umgebung von 0 die Gleichung $f^{\prime }(\lambda )=g^{\prime }(\lambda )f(\lambda )$ gilt, kann man die Cauchy-Produktformel auf das Produkt der Potenzreihen von $g^{\prime }$ und $f$ anwenden:

$\sum _{n=1}^{\mathrm{\infty }}\frac{a_n}{(n-1)!}{\lambda }^{n-1}=\sum _{n=1}^{\mathrm{\infty }}{\lambda }^{n-1}(\sum _{k=1}^n(-1{)}^{k+1}{b}_k\frac{a_{n-k}}{(n-k)!})$

Also

$a_n=\sum _{k=1}^n(-1{)}^{k+1}{b}_k{a}_{n-k}\frac{(n-1)!}{(n-k)!}n=1,2,\dots$

Die Aussage des Lemmas zeigt man nun durch Induktion über $n$. Mit der Annahme, dass die Aussage des Lemmas für $a_j,1\le j\le n$ richtig ist, folgt die Gültigkeit für $a_{n+1}$ durch den Laplaceschen Entwicklungssatz, da die Summenformel für $a_{n+1}$ gerade der Entwicklung der Determinante für $a_{n+1}$ nach der ersten Spalte entspricht.

Beweis für Operatoren mit endlichem Rang

Mit Hilfe des obigen Lemmas können wir nun den Beweis für Operatoren mit endlichem Rang führen (vgl. Gohberg et al. und Reed / Simon):

Sei $A$ ein Operator aus der Algebra der beschränkten linearen Operatoren mit endlichem Rang $ℱ(ℬ)$ auf einem Banachraum $ℬ$.

Wenn wir die komplexen Eigenwerte von $A$ mit ${\mu }_i(i=1,\dots ,n)$ bezeichnen, dann lässt sich die Determinante für $\lambda <1/\left|\underset{i=1,\dots ,n}{\max }{\mu }_i\right|$ folgendermaßen darstellen:

$\begin{array}{cc}\det (I+\lambda A)=\prod _{i=1}^n(1+\lambda {\mu }_i)=& \exp (\sum _{i=1}^n\log (1+\lambda {\mu }_i))\\ =& \exp \left(\sum _{i=1}^n\sum _{k=1}^{\mathrm{\infty }}\frac{(-1{)}^{k+1}}{k}{\mu }_i^k{\lambda }^k\right)\\ =& \exp \left(\sum _{k=1}^{\mathrm{\infty }}\frac{(-1{)}^{k+1}}{k}{\lambda }^k\left(\sum _{i=1}^n{\mu }_i^k\right)\right)\\ =& \exp (\sum _{k=1}^{\mathrm{\infty }}\frac{(-1{)}^{k+1}}{k}{\lambda }^k\mathrm{tr}(A^k))\end{array}$

Durch Anwenden des obigen Lemmas auf die gerade hergeleitete Darstellung von $\det (I+\lambda A)$ folgt unmittelbar die Gültigkeit der Plemlj-Smithies Formeln für Operatoren mit endlichem Rang.

Stetige Fortsetzung auf eingebettete Unteralgebren mit der Approximations-Eigenschaft

Wir bezeichnen mit

• $ℒ(ℬ)$ die Algebra aller beschränkten linearen Operatoren
• $ℱ(ℬ)$ die Algebra aller beschränkten linearen Operatoren mit endlichem Rang

auf einem komplexen Banachraum $ℬ$

Eine Unteralgebra $𝒟$ von $ℒ(ℬ)$ heißt stetig eingebettet in $ℒ(ℬ)$, falls es eine Norm $\Vert \cdot {\Vert }_{𝒟}$ auf $𝒟$ gibt, so dass

$1.\Vert A{\Vert }_{ℒ(B)}\le C\Vert A{\Vert }_{𝒟}$

Zusätzlich fordern wir

$2.\Vert AB{\Vert }_{𝒟}\le C\Vert A{\Vert }_{𝒟}\Vert B{\Vert }_{𝒟}$

• Der Einfachheit halber nennen wir eine Unteralgebra $𝒟$ eine eingebettete Unteralgebra, wenn die Norm auf $𝒟$ die Bedingungen 1. und 2. erfüllt.
• Falls zusätzlich ${ℱ}_{𝒟}=ℱ\cap 𝒟$ dicht in $𝒟$ bezüglich der Norm $\Vert \cdot {\Vert }_{𝒟}$ liegt, so sagen wir, dass $𝒟$ die Approximationseigenschaft hat.

Man kann zunächst allgemein nachweisen, dass sich unter gewissen Voraussetzungen die Funktion $\det (I+\lambda A)$ für eingebettete Unteralgebren $𝒟$ mit Approximationseigenschaft setig von ${ℱ}_{𝒟}$ nach $𝒟$ fortsetzen lässt (siehe z. B. Gohberg et al.).

Speziell lässt sich nun zeigen, dass

• die Menge ${𝒮}_1$der Operatoren der Spurklasse eine Unteralgebra von $ℒ(ℬ)$ mit der Approximationseigenschaft ist (vgl. Gohberg et al.)
• sich $\det (I+\lambda A)$ von $ℱ\cap {𝒮}_1$ stetig nach ${𝒮}_1$ fortsetzen lässt vgl. Gohberg et al.

Alternative Formulierung der Plemelj-Smithies-Formeln mit Hilfe von Bell-Polynomen

Ein Spezialfall der Formel von Faà di Bruno besagt, dass sich die Exponentialfunktion einer formalen Potenzreihe mit Hilfe von vollständigen Bell-Polynomen ausdrücken lässt:

$\exp \left(\sum _{n=1}^{\mathrm{\infty }}\frac{a_n}{n!}{x}^n\right)=\sum _{n=0}^{\mathrm{\infty }}\frac{B_n(a_1,\dots ,a_n)}{n!}{x}^n$

Wenn man dies anstelle des obigen Lemmas auf die Darstellung von $\det (I-\lambda A)$ anwendet, so erhält man folgende alternative Darstellung für die Taylorkoeffizienten $C_k(A)$:

$C_k(A)=\frac{1}{k!}{ℬ}_k(0!\mathrm{tr}A,-1!\mathrm{tr}{A}^2,2!\mathrm{tr}{A}^3,\dots ,(-1{)}^{k-1}(k-1)!\mathrm{tr}{A}^k).$

Korollar: Charakteristisches Polynom einer endlich-dimensionalen Matrix

Ein besonders einfaches Anwendungsbeispiel sind endlich-dimensionale Matrizen $A\in {ℂ}^{n\times n}$, da man für diese mit Hilfe der Plemlj-Smithies-Formeln unmittelbar explizite Formeln für die Koeffienten $c_k$ des durch

${\chi }_A(\lambda )=\det (\lambda I-A)=\sum _{k=1}^n{c}_k{\lambda }^k$

definierten charakteristischen Polynoms der Matrix ableiten kann:

$\frac{1}{{\lambda }^n}\det (\lambda I-A)=\det (I+(-\frac{1}{\lambda })A)=1+\sum _{k=1}^{\mathrm{\infty }}{C}_k(A)(-1{)}^k\frac{1}{{\lambda }^k}$.

Da das charakteristische Polynom vom Grad $n$ ist, muss $C_k(A)=0$ sein für $k>n$, d. h. die Laurententwicklung reduziert sich zu einer endlichen Summe von Termen, die Potenzen von $\lambda$ mit nicht-negativen Exponenten haben:

$\det (\lambda I-A)=\sum _{k=0}^n(-1{)}^k{C}_k(A){\lambda }^{n-k}$.

Durch Koeffizientenvergleich erkennt man:

$c_{n-k}=(-1{)}^k{C}_k(A)$.

Literatur

• Israel Gohberg, Seymour Goldberg, Nahum Krupnik : Traces and Determinants of Linear Operators, Operator Theory Advances and Applications Vol. 116, Springer Basel AG, ISBN 978-3-0348-9551-4, Vorlage:DOI
• Michael Reed, Barry Simon : IV: Analysis of Operators, Methods of Modern Mathematical Physics, Academic Press INC., ISBN 0-12-585004-2
• J. Plemelj : Zur Theorie der Fredholmschen Funktionalgleichung, Monat. für Math. und Phys 15, 1904, 93–128 Vorlage:DOI
• F. Smithies : Integral Equations, Cambridge University Press, Cambridge, UK, 1965, ISBN 978-0-521-10003-8

Einzelnachweise

siehe auch: Fredholm-Determinante, Approximationseigenschaft, Banachalgebra, Spurklasse