Von-Neumann-Ungleichung

Die Von-Neumann-Ungleichung ist eine Ungleichung aus dem mathematischen Teilgebiet der Funktionalanalysis. Für eine lineare Kontraktion $T$ auf einem Hilbertraum und ein Polynom $p$ kann die Operatornorm von $p(T)$ gegen eine Norm des Polynoms abgeschätzt werden.

Definitionen

Eine Kontraktion auf einem $\mathbb {C}$ -Hilbertraum $H$ ist ein stetiger, linearer Operator $T\colon H\rightarrow H$ mit Operatornorm $\|T\|\leq 1$ . Ist $p(X)=a_{n}X^{n}+\ldots +a_{1}X+a_{0}$ ein Polynom mit komplexen Koeffizienten $a_{i}$ , so kann man in der Algebra der stetigen, linearen Operatoren auf $H$ die Einsetzung $p(T)=a_{n}T^{n}+\ldots a_{1}T+a_{0}\mathrm {id} _{H}$ und davon die Operatornom $\|p(T)\|$ bilden. Auf der Algebra der Polynome ist durch die Formel $\|p\|_{\mathbb {D} }:=\sup\{|p(z)|\,\mid z\in \mathbb {D} \}$ eine Norm definiert, wobei $\mathbb {D}$ die Einheitskreisscheibe sei. Die hier vorgestellte Ungleichung vergleicht diese beiden Größen.

Aussage

Ist $T$ eine Kontraktion auf einem Hilbertraum und ist $p$ ein Polynom, so gilt

\|p(T)\|\leq \|p\|_{\mathbb {D} }

.^[1]^[2]^[3]

Bemerkungen

Ist $T$ eine Kontraktion, so ist das Spektrum $\sigma (T)$ im Einheitskreis enthalten. Nach dem spektralen Abbildungssatz ist $\sigma (p(T))=p(\sigma (T))$ und daher nach Definition des Spektralradius $r$ :

r(p(T)):=\sup\{|y|\,\mid y\in \sigma (p(T))\}=\sup\{|p(z)|\,\mid z\in \sigma (T)\}\leq \sup\{|p(z)|\,\mid |z|\leq 1\}=\|p\|_{\mathbb {D} }

.

Aber zwischen Spektralradius und Operatornorm hat man nur die Abschätzung

r(p(T))\leq \|p(T)\|

und eine umgekehrte Abschätzung besteht im Allgemeinen nicht. Daher ist die Von-Neumann-Ungleichung echt stärker als die gerade gegebene Abschätzung des Spektralradius.

Ist $T$ zusätzlich normal, so ist auch $p(T)$ normal und es gilt Norm = Spektralradius für normale Operatoren. In diesem Fall liefert obige Abschätzung des Spektralradius also bereits die Von-Neumann-Ungleichung. In diesem Sinne ist die Von-Neumann-Ungleichung für normale Operatoren einfach.

Beim klassischen Beweis zieht man sich auf den Hardy-Raum $H^{2}$ als konkreten Hilbertraum zurück und verwendet dort die Struktur der Funktionen in $H^{2}$ . Das erfordert ein gewisses Maß an Analysis und ist in^[2] beschrieben. Ein alternativer Beweis besteht darin, auf einem größeren Hilbertraum $K\supset H$ in geeigneter Weise einen unitären Operator $U$ zu finden, so dass $T=P_{H}U|_{H}$ , das heißt $U$ ist eine Dilatation von $T$ auf $K$ , gefolgt von der Orthogonalprojektion auf $H$ , um dann das Problem auf die obige einfache Abschätzung für normale Operatoren zurückzuführen, denn unitäre Operatoren sind normal.^[1]

Zu John von Neumanns Originalarbeit

Die hier behandelte Ungleichung wurde erstmalig 1952 in^[4] bewiesen. John von Neumann betrachtete zu einem stetigen, linearen Operator $T$ (die Bezeichnungen sind diesem Artikel angepasst und weichen daher von der Originalarbeit ab) auf einem Hilbertraum eine abgeschlossene Teilmenge $S\subset \mathbb {C}$ und nennt $S$ eine Sprektralmenge zu $T$ , wenn für alle rationalen Funktionen $f$ mit $\sup\{|f(z)|\,\mid z\in S\}\leq 1$ folgendes gilt: $f(T)$ existierst, das heißt ist $\textstyle f={\frac {g}{h}}$ mit teilerfremden Polynomen $g$ und $h$ , so ist $h(T)$ invertierbar und daher $f(T)=g(T)h(T)^{-1}$ , und es ist $\|f(T)\|\leq 1$ .

Er ging dann der Frage nach, für welche Operatoren $T$ die Einheitskreisscheibe $\mathbb {D}$ eine Spektralmenge ist, und kam zu dem Satz:

\mathbb {D}

ist Spektralmenge für

T

\Leftrightarrow

\|T\|\leq 1

.

Die Richtung " $\Rightarrow$ " ist klar, denn das Polynom $f=\mathrm {id} _{\mathbb {C} }$ ist eine rationale Funktion mit $\sup\{|f(z)|\,\mid z\in \mathbb {D} \}\leq 1$ , und daher muss $\|f(T)\|\leq 1$ sein, aber $f(T)=\mathrm {id} _{\mathbb {C} }(T)=T$ , also $\|T\|\leq 1$ . Für die wesentlich schwierigere Umkehrung " $\Leftarrow$ " wurden Sätze von Issai Schur über analytische Funktionen verwendet. Es wurde gezeigt, dass für eine Kontraktion $T$ die Ungleichung $\|f(T)\|\leq 1$ für alle rationalen Funktionen $f$ mit $\sup\{|f(z)|\,\mid z\in \mathbb {D} \}\leq 1$ und Polen außerhalb $\mathbb {D}$ .

Mittels Skalierung folgt sofort $\|f(T)\|\leq \sup\{|f(z)|\,\mid z\in \mathbb {D} \}$ für alle auf $\mathbb {D}$ beschränkten rationalen Funktionen und von Neumanns Resultat erscheint stärker als obige Ungleichung, die ja nur für Polynome formuliert ist. Da man aber jede in einer Umgebung von $\mathbb {D}$ holomorphe Funktion gleichmäßig auf $\mathbb {D}$ durch Polynome (etwa durch Taylorpolynome) approximieren kann, sind die beiden Ungleichungen im Wesentlichen gleichwertig.

Mehrere Kontraktionen

Parrot stellte in^[5] die Frage, ob für je $n$ untereinander kommutierende Kontraktionen $T_{1},\ldots ,T_{n}$ und alle Polynome $p$ in $n$ Unbestimmten die Ungleichung

\|p(T_{1},\ldots ,T_{n})\|\leq \sup\{|p(z_{1},\ldots ,z_{n})|\,\mid z_{1},\ldots ,z_{n}\in \mathbb {D} \}

gilt. Diese Frage wurde von Sz.-Nagy und Foias in den Notes zu Kapitel I ihres unten angegebenen Lehrbuchs^[6] aufgegriffen und mit Verweis auf ein Ergebnis von Ando für Dilatationen kommutierender Kontraktionen^[7] für $n=2$ bestätigt. Später haben Crabb und Davie auf einem 8-dimensionalen Hilbertraum drei Kontraktionen (letztlich also drei kommutierende $8\times 8$ -Matrizen mit Norm $\leq 1$ ) angegeben, für die obige Ungleichung verletzt ist.^[8] Für mehr als zwei Kontraktionen gilt obige Ungleichung also nicht.

Die Ungleichung in Banachräumen

Ersetzt man den Hilbertraum durch einen beliebigen Banachraum, so ist obige Ungleichung im Allgemeinen falsch. Um auch hier zu einer Abschätzung zu gelangen, kann man zu einer anderen Polynomnorm $\|p\|_{R\mathbb {D} }:=\sup\{|p(z)|\,\mid z\in R\mathbb {D} \}$ übergehen, wobei $R\mathbb {D}$ für die Kreisscheibe mit Radius $R$ steht. Damit kann man beweisen:

Ist $T$ eine Kontraktion auf einem Banachraum, $p$ ein Polynom und ist $R\geq 3$ , so gilt

\|p(T)\|\leq \|p\|_{R\mathbb {D} }

^[9]

Einzelnachweise

↑ ^a ^b Paul Halmos: A Hilbert Space Problem Book. Springer, New York 1974, ISBN 978-1-4684-9330-6, S. 123, Problem 180 (englisch).
↑ ^a ^b Nikolai Nikolski: Toeplitz Matrices and Operators. Cambridge University Press, 2020, ISBN 978-1-107-19850-0, S. 55 f. (englisch).
↑ Włodzimierz Mlak: Hilbert Spaces and Operator Theory. Polish Scientific Publishers, Warschau 1991, ISBN 83-01-09965-8, S. 233 (englisch).
↑ John von Neumann: Eine Spektraltheorie für allgemeine Operatoren eines unitären Raums. In: Mathematische Nachrichten. Band 4, 1952, S. 258–281.
↑ Stephen Parrot: Unitary Dilations for Commuting Contractions. In: Pacific Journal of Mathematics. Band 34, Nr. 2, 1970, S. 481–490 (englisch).
↑ Bela Sz.-Nagy, Ciprian Foias: Harmonic Analysis of Operators on Hilbert Space. North Holland Publishing Company, 1970, ISBN 0-444-10046-6, Kapitel I (englisch).
↑ T. Ando: On a Pair of Commutative Contractions. In: Acta Scientarum Mathematicorum. Band 24, 1963, S. 88–90 (englisch).
↑ R. J. Crabb, A. M. Davie: Von Neumann Inequality for Hilbert Space Operators. In: Bulletin London Mathematical Society. Band 7, 1975, S. 49–50 (englisch).
↑ Nikolai Nikolski: Toeplitz Matrices and Operators. Cambridge University Press, 2020, ISBN 978-1-107-19850-0, S. 59 (englisch).

[Halmos-1] Paul Halmos: A Hilbert Space Problem Book. Springer, New York 1974, ISBN 978-1-4684-9330-6, S. 123, Problem 180 (englisch).

[Nikolski1-2] Nikolai Nikolski: Toeplitz Matrices and Operators. Cambridge University Press, 2020, ISBN 978-1-107-19850-0, S. 55 f. (englisch).

[Mlak-3] Włodzimierz Mlak: Hilbert Spaces and Operator Theory. Polish Scientific Publishers, Warschau 1991, ISBN 83-01-09965-8, S. 233 (englisch).

[JvN-4] John von Neumann: Eine Spektraltheorie für allgemeine Operatoren eines unitären Raums. In: Mathematische Nachrichten. Band 4, 1952, S. 258–281.

[Parrot-5] Stephen Parrot: Unitary Dilations for Commuting Contractions. In: Pacific Journal of Mathematics. Band 34, Nr. 2, 1970, S. 481–490 (englisch).

[Nagy-6] Bela Sz.-Nagy, Ciprian Foias: Harmonic Analysis of Operators on Hilbert Space. North Holland Publishing Company, 1970, ISBN 0-444-10046-6, Kapitel I (englisch).

[Ando-7] T. Ando: On a Pair of Commutative Contractions. In: Acta Scientarum Mathematicorum. Band 24, 1963, S. 88–90 (englisch).

[Crabb-8] R. J. Crabb, A. M. Davie: Von Neumann Inequality for Hilbert Space Operators. In: Bulletin London Mathematical Society. Band 7, 1975, S. 49–50 (englisch).

[Nikolski2-9] Nikolai Nikolski: Toeplitz Matrices and Operators. Cambridge University Press, 2020, ISBN 978-1-107-19850-0, S. 59 (englisch).

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]