Toeplitz-Operator

Toeplitz-Operatoren werden im mathematischen Teilgebiet der Funktionalanalysis, genauer in der Operatortheorie, untersucht. Es handelt sich um stetige lineare Operatoren auf einem Hilbertraum, deren Matrix bezüglich einer festen Orthonormalbasis eine bestimmte Struktur hat. Sie sind nach Otto Toeplitz benannt.

Definition

Es sei $H$ ein $ℂ$-Hilbertraum mit einer Orthonormalbasis $(e_n{)}_{n\in {\mathbb{N}}_0}$. Ein stetiger, linearer Operator $T$ auf $H$ heißt Toeplitz-Operator, falls $⟨T{e}_n,e_m⟩=⟨T{e}_{n+k},e_{m+k}⟩$ für alle $m,n,k\in \mathbb{N}$, wobei $⟨\cdot ,\cdot ⟩$ das Skalarprodukt des Hilbertraums sei.

Aus obiger Definition folgt, dass es Zahlen $t_i\in ℂ$ gibt, so dass $⟨T{e}_n,e_m⟩=t_{n-m}$ für alle $n,m\in \mathbb{N}$. Da die $⟨T{e}_n,e_m⟩$ die Matrixkomponenten der Matrixdarstellung von $T$ bezüglich der Orthonormalbasis $(e_n{)}_{n\in {\mathbb{N}}_0}$ sind, ist die Toeplitz-Eigenschaft äquivalent dazu, dass die Matrix auf der Hauptdiagonalen und allen Nebendiagonalen jeweils konstant ist, das heißt folgende Struktur hat:

$\left(\begin{array}{cccccc}{t}_0& t_1& t_2& t_3& t_4& \dots \\ t_{-1}& t_0& t_1& t_2& t_3& \dots \\ t_{-2}& t_{-1}& t_0& t_1& t_2& \dots \\ t_{-3}& t_{-2}& t_{-1}& t_0& t_1& \dots \\ t_{-4}& t_{-3}& t_{-2}& t_{-1}& t_0& \dots \\ ⋮& ⋮& ⋮& ⋮& ⋮& \ddots \end{array}\right)$

Beispiele und Bemerkungen

Offenbar sind der Nulloperator $0_H$ und der identische Operator $1_H$ Toeplitz-Operatoren, denn ihre Matrixdarstellung besteht im ersten Fall nur aus Nullen, im zweiten Fall aus Einsen auf der Diagonalen und sonst nur Nullen.

Der Shiftoperator $S$, der durch $e_n\mapsto e_{n+1}$ für alle $n\in \mathbb{N}$ festgelegt ist, und dessen Adjungierte $S^{*}$ sind Toeplitz-Operatoren, denn ihre Matrixdarstellungen sind

$\left(\begin{array}{ccccc}0& 0& 0& 0& \dots \\ 1& 0& 0& 0& \dots \\ 0& 1& 0& 0& \dots \\ 0& 0& 1& 0& \dots \\ ⋮& ⋮& ⋮& ⋮& \ddots \end{array}\right)$   bzw.   $\left(\begin{array}{ccccc}0& 1& 0& 0& \dots \\ 0& 0& 1& 0& \dots \\ 0& 0& 0& 1& \dots \\ 0& 0& 0& 0& \dots \\ ⋮& ⋮& ⋮& ⋮& \ddots \end{array}\right)$.

Für einen beliebigen Operator $T$ gilt offenbar $⟨S^{*}TS{e}_n,e_m⟩=⟨TS{e}_n,S{e}_m⟩=⟨T{e}_{n+1},e_{m+1}⟩$ und man liest folgende Charakterisierung ab:

• Ein stetiger, linearer Operator $T$ ist genau dann ein Toeplitz-Operator, wenn $S^{*}TS=T$.

Daraus oder aus der Matrixdarstellung folgt, dass die Menge der Toeplitz-Operatoren ein abgeschlossener Unterraum in der C*-Algebra $L(H)$ der stetigen, linearen Operatoren auf $H$ ist, der zudem bezüglich der Adjunktion abgeschlossen ist.

Ist $H$ ein endlichdimensionaler Raum, also ohne Einschränkung ${ℂ}^n$ mit der kanonischen Basis, so erhält man den Begriff der Toeplitz-Matrix. In diesem Artikel geht es um Operatoren auf unendlich-dimensionalen, separablen Hilberträumen.

Laurent-Operatoren

Erweitert man den Hilbertraum $H$ mit Orthonormalbasis $(e_n{)}_{n\in {\mathbb{N}}_0}$ zu einem Hilbertraum $\tilde{H}$ mit einer Orthonormalbasis $(e_n{)}_{n\in \mathbb{Z}}$, das heißt die in $H$ gegebene Orthonormalbasis wird um $e_n$ mit negativen Indizes $n<0$ verlängert, so nennt man Operatoren $T\in L(\tilde{H})$ Laurent-Operatoren, falls $⟨T{e}_n,e_m⟩=⟨T{e}_{n+k},e_{m+k}⟩$ für alle $m,n,k\in \mathbb{Z}$ gilt. Die Matrixdarstellungen haben eine ganz ähnliche Form wie die der Toeplitz-Operatoren, das heißt sie haben auf der Haupt- und den Nebendiagonalen konstante Werte, sie sind allerdings auch nach links und oben unendlich ausgedehnt. Daraus ergibt sich:

• Toeplitz-Operatoren sind Kompressionen von Laurent-Operatoren.

Hardy-Räume

Besonders elegant wird die Theorie, wenn man als Hilbertraum den Hardy-Raum $H^2$ der Elemente aus $L^2(𝕋)$ mit verschwindenden negativen Fourier-Koeffizienten nimmt, wobei $𝕋:=\{z\in ℂ\mid |z|=1\}$ die Einheitskreislinie sei. Man betrachtet dort die Orthonormalbasis der Funktionen $e_n:z\mapsto z^n,n\in {\mathbb{N}}_0$, die man oft einfach mit $z^n$ bezeichnet. Man kann zeigen, dass $e_n,z\mapsto z^n,n\in \mathbb{Z}$ eine Orthonormalbasis von $L^2(𝕋)$ ist, dann ist $H^2$ der von $(e_n{)}_{n\in {\mathbb{N}}_0}$ erzeugte abgeschlossene Unterraum. Viele Autoren betrachten nur die Toeplitz-Operatoren auf dem Hardy-Raum mit der Orthonormalbasis $z^n,n\in {\mathbb{N}}_0$ als Toeplitz-Operatoren. Da man zwei Hilberträume mit abzählbarer Orthonormalbasis nach dem Satz von Riesz-Fischer (unter Beibehaltung vorgegebener Orthonormalbasen) unitär aufeinander abbilden kann, sind alle Toeplitz-Operatoren unitär äquivalent zu solchen auf dem Hardy-Raum mit der Orthonormalbasis $z^n,n\in {\mathbb{N}}_0$. Auf dem Hardy-Raum hat man zusätzliche Struktur, die die Untersuchung der Toeplitz-Operatoren erleichtert, daher beschränken wir uns im Folgenden auf diese Situation.

Symbole

Ist $f$ eine wesentlich beschränkte, messbare Funktion $𝕋\to ℂ$, so ist der Multiplikationsoperator $L_f:L^2(𝕋)\to L^2(𝕋),\phi \mapsto f\phi$ ein Laurent-Operator mit Matrixkoeffizienten $t_{i,j}=a_{i-j}$, wobei $f=\sum _{n\in \mathbb{Z}}{a}_n{e}_n$ die Fourier-Entwicklung von $f$ sei.

Ist $P:L^2(𝕋)\to H^2$ die Orthogonalprojektion, so ist die Kompression $T_f:=P{L}_f{|}_{H^2}:H^2\to H^2,\phi \mapsto P(f\cdot \phi )$ ein Toeplitz-Operator. Man kann zeigen, dass dies schon alle Toeplitz-Operatoren sind, genauer gilt:

• Die Zuordnung $f\mapsto T_f$ ist eine surjektive, lineare Isometrie vom Raum $L^{\mathrm{\infty }}(𝕋)$ auf den Raum der Toeplitz-Operatoren. Es gilt $\Vert T_f\Vert =\Vert f{\Vert }_{\mathrm{\infty }}$ und das ist auch gleich dem Spektralradius von $T_f$. Ferner gilt für die Adjunktion $(T_f{)}^{*}=T_{\bar{f}}$, wobei der Oberstrich für die komplexe Konjugation steht.

Ist $T$ ein Toeplitz-Operator auf $H^2$, so gibt es also ein (fast überall) eindeutig bestimmtes $f\in L^{\mathrm{\infty }}(𝕋)$ mit $T=T_f$. Man nennt $f$ das Symbol von $T$.

Beispielsweise ist ${\mathrm{i}\mathrm{d}}_{𝕋}$ das Symbol des Shiftoperators, denn in der Orthonormalbasis $z^n$ ist der Shiftoperator nichts anderes als die Multiplikation mit $z$.

Multiplikation

Das Produkt zweier Toeplitz-Operatoren ist im Allgemeinen nicht wieder ein Toeplitz-Operator. Beispielsweise sind der Shiftoperator $S$ und seine Adjungierte $S^{*}$ Toeplitz-Operatoren, aber das Produkt $S{S}^{*}$ ist die Orthogonalprojektion auf den von $(e_n{)}_{n=1,2,3,\dots }$ erzeugten abgeschlossenen Unterraum, hat also die Matrix-Darstellung

$\left(\begin{array}{ccccc}0& 0& 0& 0& \dots \\ 0& 1& 0& 0& \dots \\ 0& 0& 1& 0& \dots \\ 0& 0& 0& 1& \dots \\ ⋮& ⋮& ⋮& ⋮& \ddots \end{array}\right)$

und ist daher kein Toeplitz-Operator, denn die Werte auf der Hauptdiagonalen sind nicht konstant.

Wir nennen einen Toeplitz-Operator analytisch, wenn sein Symbol aus $H^{\mathrm{\infty }}:=L^2(𝕋)\cap H^2$ ist, und wir nennen ihn co-analytisch, wenn $T^{*}$ analytisch ist. Damit gilt:

• Das Produkt $T_f{T}_g$ zweier Toeplitz-Operatoren $T_f$ und $T_g$ ist genau dann wieder ein Toeplitz-Operator, wenn $T_f$ co-analytisch oder $T_g$ analytisch ist. In diesem Fall gilt $T_f{T}_g=T_{fg}$.

Spektren

Wie bereits oben erwähnt, ist der Spektralradius eines Toeplitz-Operators stets gleich der Operatornorm. Insbesondere gibt es außer dem Nulloperator keine quasinilpotenten Toeplitz-Operatoren. Toeplitz-Operatoren mit reellem Spektrum sind selbstadjungiert.

Eine Beschreibung des Spektrums eines Toeplitz-Operators in Abhängigkeit des Symbols kann man für analytische Toeplitz-Operatoren erhalten. Ist $f\in H^{\mathrm{\infty }}$, so gibt es eine eindeutig bestimmte holomorphe Funktion $\tilde{f}$ auf dem offenen Einheitskreis $𝔻$, deren Randwerte gerade $f$ sind (fast überall). Für solche Operatoren gilt folgende Formel für ihr Spektrum

$\sigma (T_f)=\overline{\stackrel{~}{f}(𝔻)}$,

wobei der Oberstrich für die Abschlussbildung in $ℂ$ steht.

Ist das Symbol $f:𝕋\to ℂ$ nur stetig, so gilt

$\sigma (T_f)=f(𝕋)\cup \{\lambda \in ℂ\setminus f(𝕋)\mid \mathrm{w}\mathrm{i}\mathrm{n}\mathrm{d}(f-\lambda )=0\}$.

Dabei ist $\mathrm{w}\mathrm{i}\mathrm{n}\mathrm{d}(f-\lambda )$ die Windungszahl der Funktion $f-\lambda :𝕋\to ℂ,z\mapsto f(z)-\lambda$, die für $\lambda \in ℂ\setminus f(𝕋)$ wohldefiniert ist, da dann die Funktion $f-\lambda$ keine Nullstellen hat.

Semikommutatoren

Je zwei Toeplitz-Operatoren kommutieren im Allgemeinen nicht, wie man leicht am Beispiel des Shiftoperators sieht, denn $S^{*}S=1_{H^2}$ und $S{S}^{*}$ ist eine Orthogonalprojektion auf einen echten Teilraum, wie oben bereits erwähnt. Neben den Kommutatoren $[T_f,T_g]$ betrachtet man die sogenannten Semikommutatoren

$[T_f,T_g):=T_f{T}_g-T_{fg}$.

Diese sind wegen der oben beschriebenen fehlenden Multiplikativität der Zuordnung $f\mapsto T_f$ im Allgemeinen vom Nulloperator verschieden. Das Beispiel des Shiftoperators $S=T_z$, wobei $z$ für ${\mathrm{i}\mathrm{d}}_{𝕋}$ steht, zeigt

$[S^{*},S)=S^{*}S-T_{\bar{z}z}=S^{*}S-T_1=1_{H^2}-1_{H^2}=0_{H^2}$,

aber

$[S,S^{*})=S{S}^{*}-T_{z\bar{z}}=S{S}^{*}-T_1=S{S}^{*}-1_{H^2}=-⟨\cdot ,e_0⟩e_0$

ist das Negative der eindimensionalen Projektion auf den Unterraum $ℂe_0$. Es gilt folgender Satz:

• Ist $f\in L^{\mathrm{\infty }}(𝕋)$ und ist $g\in C(𝕋)$, das heißt stetig, so sind die Semikommutatoren $[T_f,T_g)$ und $[T_g,T_f)$ kompakt.

Bezeichnet $K(H^2)$ das Ideal der kompakten Operatoren, so ergibt sich aus diesem Satz, dass $\{T_f+K\mid f\in C(𝕋),K\in K(H^2)\}$ eine Algebra ist. Es handelt sich sogar um eine C*-Algebra, die sogenannte Toeplitz-Algebra.

Literatur

• Vorlage:Literatur
• Vorlage:Literatur
• Vorlage:Literatur