Dualer Operator

In der Funktionalanalysis kann zu jedem dicht definierten linearen Operator T ein adjungierter Operator (manchmal auch dualer Operator) T' definiert werden.

Lineare Operatoren können zwischen zwei Vektorräumen mit gemeinsamem Grundkörper K ($K=\mathbb C$ oder $K=\R$) definiert werden, adjungierte Operatoren werden allerdings häufig nur auf Hilberträumen betrachtet, also beispielsweise (endlichdimensionalen) euklidischen Räumen. Auf endlichdimensionalen Räumen entspricht der adjungierte Operator der adjungierten Matrix. In der Matrizenrechnung mit reellen Einträgen entspricht die Bildung des adjungierten Operators dem Transponieren, bei komplexen Einträgen dem (komplex) Konjugieren und Transponieren der Ausgangsmatrix.

Definition des adjungierten Operators

Seien X und Y Hilberträume. Die Operatoren $T: X\supset D(T)\rightarrow Y$ und $S: Y\supset D(S)\rightarrow X$ heißen formal zueinander adjungiert, falls $\langle y, Tx\rangle = \langle Sy, x\rangle$ für alle $x\in D(T)$ und $y\in D(S)$ gilt. Unter diesen Voraussetzungen ist S im Allgemeinen nicht eindeutig durch T gegeben. Ist T dicht definiert, so existiert ein zu T maximaler formal adjungierter Operator T ^* . T ^* nennt man den adjungierten Operator von T.

Eigenschaften adjungierter Operatoren

Sei $T: X\supset D(T)\rightarrow Y$ dicht definiert. Dann gilt:

• Ist D(T ^* ) dicht, so ist $T\subset T^{**}$, d. h. $D(T)\subset D(T^{**})$ und T = T ^{* *} auf D(T)
• $\operatorname{Ker} (T^*)=\operatorname{Ran}(T)^\bot$
• T ist genau dann beschränkt, wenn T ^* beschränkt ist. In diesem Fall gilt $\|T\|=\|T^*\|$
• Ist T beschränkt, so ist T ^{* *} die eindeutige Fortsetzung von T auf X

Sei $S:X\supset D(S)\rightarrow Y$ dicht definiert. Der Operator T + S ist definiert durch (T + S)x: = Tx + Sx für $x\in D(T+S):=D(T)\cap D(S)$. Ist T + S dicht definiert, so ist $(T+S)^*\supset T^*+S^*$. Ist T beschränkt, so gilt sogar die Gleichheit.

Seien Z ein Hilbertraum und $S:Y\supset D(S)\rightarrow Z$. Dann wird die Hintereinanderausführung bzw. Komposition TS von T und S definiert durch TSx: = T(Sx) für $x\in D(TS):=\{x\in D(S): Sx\in D(T)\}$. Ist TS dicht definiert, so gilt $(TS)^*\supset S^*T^*$. Ist T beschränkt, erhält man (TS) ^* = S ^* T ^* .

Konstruktion für beschränkte Operatoren

Zur Vereinfachung kann der Bild- und Definitionsraum als gleich angenommen werden.

Beschränkte Operatoren können auf dem gesamten Hilbertraum X definiert werden. In diesem Fall ist für jedes $y \in X$ die Funktion $f(\cdot) = \langle T\cdot,y \rangle$ ein auf dem ganzen Hilbertraum definiertes, lineares stetiges Funktional, da aus der Beschränktheit des auf ganz X definierten linearen Operators T die Stetigkeit von f folgt.

Der Darstellungssatz von Riesz liefert für jedes stetige lineare Funktional f ein eindeutig bestimmtes Element $z \in X$, sodass $f(x) = \langle x,z\rangle$ für alle $x \in X$. Also existiert für jedes $y \in X$ genau ein Element $z \in X$ mit $\langle Tx,y \rangle = \langle x,z \rangle$. Nun setzt man T * y: = z. Diese Konstruktion ist äquivalent zu obiger Definition.

Hermitesche, symmetrische und selbstadjungierte Operatoren; Entwicklungssatz

Ein Operator $T: X\supset D(T)\rightarrow X$ heißt

• hermitesch, falls T zu sich selbst formal adjungiert ist
• symmetrisch, falls T hermitesch und dicht definiert ist
• selbstadjungiert, falls T dicht definiert und T = T ^*

Ist T beschränkt, so sind die Begriffe äquivalent. Bei nichtbeschränkten Operatoren impliziert zwar die Selbstadjungiertheit die Hermizität, aber die Umkehrung gilt nicht. Ein Gegenbeispiel gibt das folgende Paar:

• 1.) Der auf dem komplexen Hilbertraum $\mathcal L^2(0,1)$ (generiert von den auf dem Intervall I = [0,1] quadratintegrierbaren komplexen Funktionen ψ(x)) definierte Operator, der durch den Differentialausdruck $\hat{\rm p}:=-{\rm i}\,\frac{{\rm d}}{{\rm d} x}$ mit den „Dirichletschen Randbedingungen“ $\psi (0)=\psi (1)\stackrel{!}{=}0$ erzeugt wird.

• 2.) Dessen Erweiterung, wo man nur „Periodizität“ fordert, $\psi (1)\stackrel{!}{\equiv}\psi (0)\,\,(\ne 0)$.

Aus der Identität $\int\limits_0^1 {\rm d}x\,\{ \overline u(x)\cdot\hat{\rm p} v(x)-\overline{\hat{\rm p} u(x)}\cdot v(x) \}=-{\rm i}\cdot \{ \overline u(1)\cdot v(1)-\overline u(0)\cdot v(0)\}$ erkennt man, dass zwar in beiden Fällen die Operatoren hermitesch sind, aber nur der zweite Operator selbstadjungiert ist, weil im ersten Fall der Definitionsbereich unnötig eingeengt wird. Schon auf den ersten Blick erkennt man den Unterschied ferner daran, dass im Fall 1.) der Operator gar keine Eigenfunktion besitzt, wogegen im Fall 2.) das System der Eigenfunktionen, $p_n(x)\propto e^{{\rm i}2\pi n x}$, mit $n\in\mathbb Z$, sogar „vollständig“ ist (Fourieranalyse). Dies ist ein konkretes Beispiel für folgende Aussage: Jeder unbeschränkte hermitesche Operator im Hilbertraum kann zu einem selbstadjungierten erweitert werden.

Wichtiger ist der gleich anschließende Satz (er ist grundlegend für die Quantenmechanik):

Ein selbstadjungierter Operator im Hilbertraum besitzt eine (vollständige) Spektralschar aus „eigentlichen“ bzw. „uneigentlichen“ Eigenfunktionen (Nebenbemerkung: die uneigentlichen Eigenfunktionen sind distributionswertig). Dies ist der sog. Entwicklungssatz.

Weitere Eigenschaften:

• Ist T ein dicht definierter Operator, dann ist T ^* T ein selbstadjungierter und positiver Operator.

Verallgemeinerung auf Banachräume

Adjungierte Operatoren können auch allgemeiner auf Banachräumen definiert werden. Für einen Banachraum X bezeichnet X' den topologischen Dualraum. Im Folgenden wird die Schreibweise $\langle x,x'\rangle:=x'(x)$ für $x\in X$ und $x'\in X'$ benutzt. Sind X,Y Banachräume, wird für einen dicht definierten Operator $T:X\rightarrow Y$ der adjungierte Operator durch

$D(T'):=\{y'\in Y': \exists\,x'\in X': \langle Tx,y'\rangle = \langle x,x'\rangle\ \forall\,x\in D(T)\}$

T'y': = x' für $x\in D(A)$

definiert.

Der Operator T' ist stets abgeschlossen, wobei D(T') = {0} möglich ist. Ist X ein reflexiver Banachraum und Y = X, dann ist T' genau dann dicht definiert, wenn T abschließbar ist. Insbesondere gilt dann $(T')'=\overline T$.

Siehe auch

• Satz vom abgeschlossenen Bild
• Satz von Hellinger-Toeplitz