Hermitescher Operator

Hermitesche Operatoren, benannt nach Charles Hermite, sind in der Mathematik betrachtete Operatoren, die eine zentrale Rolle in der mathematischen Struktur der Quantenmechanik spielen. Der Begriff des hermiteschen Operators wird in der Literatur uneinheitlich definiert, in diesem Artikel werden besonders die physikalischen Sicht- und Schreibweisen verwendet.

Unterschiedliche Konventionen

Der Begriff des hermiteschen Operators wird in der Literatur uneinheitlich definiert. So kommt in manchen mathematischen Darstellungen der Begriff „hermitescher Operator“ überhaupt nicht vor; stattdessen werden sogenannte symmetrische, wesentlich selbstadjungierte und selbstadjungierte Operatoren betrachtet.^[1] Unterschiede treten erst in den für physikalische Anwendungen wichtigen unendlichdimensionalen Räumen auf.

In der physikalischen Literatur wird dagegen der Begriff des „symmetrischen Operators“ in der Regel gar nicht verwendet: stattdessen redet man von vornherein von hermiteschen Operatoren (genauer müsste man sagen: „hermitesch im engeren Sinne“ ^[2]), um zu betonen, dass man es nicht mit reellen, sondern mit komplexen Hilberträumen zu tun hat. In den späteren Kapiteln der physikalischen Standard-Lehrbücher werden mit „hermiteschen Operatoren“ (genauer: „hermitesch im weiteren Sinn“) in der Regel selbstadjungierte Operatoren^[3] bezeichnet (der etwas subtile Unterschied wird oft vernachlässigt oder durch Synonyme wie „hypermaximal hermitesche Operatoren“ anstelle der „selbstadjungierten Operatoren“ vereinfacht ^[4][5]).

Die hier gewählte Darstellung ist ein Kompromiss, indem zwar der Begriff des „symmetrischen Operators“ auch für die komplexwertigen Hilberträume der Physik verwendet wird, aber – bei mathematisch-scharfer Akzentuierung des Wesentlichen – sonst die Konventionen der Physiker mit der Identifikation „hermitesch = selbstadjungiert“ benutzt werden, wie das etwa in den Lehrbüchern von Albert Messiah^[6] zu finden ist. Die hier gegebene Darstellung richtet sich also zunächst an physikalisch interessierte Leser, weshalb auch die auf Dirac zurückgehende Bra-Ket-Notation verwendet wird, die gewisse mathematische Subtilitäten in den Hintergrund treten lässt. Auf diese wird aber im Abschnitt Mathematische Bemerkungen eingegangen.

Definitionen

Operator

Der Operator $A$ sei eine Abbildung in einem Hilbertraum. Dessen Elemente werden als Ket-Vektoren $|\phi ⟩$ geschrieben und repräsentieren oft Funktionen aus $L^2$-Räumen (z. B. die Wellenfunktion $\phi (\overrightarrow{r},t)$ eines quantenmechanischen Zustands):

$|\psi ⟩=A|\phi ⟩.$

Diese Operation soll linear sein, um das physikalisch relevante Superpositionsprinzip zu sichern. Die komplexe Zahl $⟨\chi |\psi ⟩=⟨\chi |(A|\phi ⟩)$, also das Skalarprodukt von $|\psi ⟩=A|\phi ⟩$ mit einem Bra-Vektor $⟨\chi |$ eines weiteren Zustands, wird in der Physik durchgängig als das Matrixelement von $A$ bezeichnet.

Adjungierter Operator

Der zu $A$ adjungierte Operator $A^{†}$ ^[7] ist dadurch definiert, dass seine Matrixelemente die konjugiert komplexen Zahlen der Matrixelemente von $A$ sind, wenn man Bra und Ket miteinander vertauscht:

$⟨\chi |(A^{†}|\phi ⟩)={[⟨\phi (A|\chi ⟩)]}^{\ast }.$

Daher ist $⟨\phi |A^{†}$ der Bra, der dem Ket $A|\phi ⟩$ zugeordnet ist, und man kann im Matrixelement ohne Gefahr einer Verwechselung auf die runden Klammern verzichten.

Ist $|\phi ⟩=|\chi ⟩$, wird das Matrixelement der Erwartungswert von $A$ im Zustand $|\phi ⟩$ genannt.

Selbstadjungierter (oder: „Hermitescher“) Operator

$A$ heißt selbstadjungiert (oder, im physikalischen Sprachgebrauch üblich, hermitesch), wenn $A=A^{†}$.

Dann gilt für seine Matrixelemente : $⟨\chi |A|\phi ⟩={[⟨\phi |A|\chi ⟩]}^{\ast }$. Jeder Erwartungswert von $A$ ist daher reell. Das gleiche gilt dann für seine Erwartungswerte, denn sie sind die Eigenwerte zu den jeweiligen Eigenvektoren. Da in der Quantenmechanik alle messbaren Größen (Observablen) durch Erwartungs- und Eigenwerte von Operatoren dargestellt werden, muss es sich hierbei um hermitesche Operatoren handeln, damit die vorhergesagten Messergebnisse immer reell sind.

Beispiele

In der Ortsdarstellung betrachtet man den Raum $L^2({\mathbb{R}}^3)$ aller quadrat-integrablen Funktionen auf dem dreidimensionalen Anschauungsraum. Typische hermitesche Operatoren sind etwa die Multiplikation mit der x-Koordinate zur Messung der x-Koordinate des Aufenthaltsortes eines Teilchens,

$A|\psi (x,y,z)⟩=|x\psi (x,y,z)⟩$

oder der Hamilton-Operator $-\frac{{\hslash }^2}{2m}\mathrm{\Delta }+V(x,y,z)$ zur Bestimmung der Energie

$A|\psi (x,y,z)⟩=|-\frac{{\hslash }^2}{2m}(\frac{{\partial }^2}{\partial x^2}+\frac{{\partial }^2}{\partial y^2}+\frac{{\partial }^2}{\partial z^2})\psi (x,y,z)+V(x,y,z)\psi (x,y,z)⟩$

,

wobei $V(x,y,z)$ für das skalare Potential eines Feldes steht, unter dessen Einfluss sich das Teilchen bewegt. Weitere wichtige Beispiele sind der Impulsoperator oder die Drehimpulsoperatoren.

Ein zweidimensionales Beispiel erhält man durch die Behandlung des Spins. Der Raum wird von den beiden Vektoren „Spin hoch“ $(|\uparrow ⟩)$ und „Spin runter“ $(|\downarrow ⟩)$ erzeugt. Die Operatoren auf zweidimensionalen Räumen sind $2\times 2$-Matrizen, zum Beispiel die hermiteschen Pauli-Matrizen.

Ein endlichdimensionaler hermitescher Operator $A$ (eine hermitesche Matrix) mit den Elementen $m_{ij}\in \mathbb{C}$ wird wie folgt adjungiert:

$A^{†}={\left(\begin{array}{ccccccc}{m}_{11}& & m_{12}& & \cdots & & m_{1n}\\ m_{21}& & m_{22}& & \cdots & & m_{2n}\\ ⋮& & ⋮& & \ddots & & ⋮\\ m_{n1}& & m_{n2}& & \cdots & & m_{nn}\end{array}\right)}^{†}=\left(\begin{array}{ccccccc}{m}_{11}^{\ast }& & m_{21}^{\ast }& & \cdots & & m_{n1}^{\ast }\\ m_{12}^{\ast }& & m_{22}^{\ast }& & \cdots & & m_{n2}^{\ast }\\ ⋮& & ⋮& & \ddots & & ⋮\\ m_{1n}^{\ast }& & m_{2n}^{\ast }& & \cdots & & m_{nn}^{\ast }\end{array}\right),$

wobei $m_{ji}^{\ast }$ die komplexe Konjugation von $m_{ji}$ ist. Es gilt also $m_{ij}^{†}=m_{ji}^{\ast }$, das heißt, die $(i,j)$-te Komponente der Adjungierten ist die komplexe Konjugation der $(j,i)$-ten Komponente der Ausgangsmatrix.

Mathematische Bemerkungen

Schon obige Beispiele zeigen, dass die quantenmechanischen Operatoren nicht auf alle Ket-Vektoren angewendet werden können. Das Ergebnis der Multiplikation mit der x-Koordinate liegt im Allgemeinen nicht mehr im Hilbertraum $L^2({\mathbb{R}}^3)$ der Ket-Vektoren, und im Falle des Hamilton-Operators fehlt es manchen $L^2$-Funktionen an Differenzierbarkeitseigenschaften. Da nutzt auch eine Verallgemeinerung auf Distributionsableitungen nichts, da nicht alle solche Ableitungen wieder im Raum der Ket-Vektoren liegen. Man ist daher gezwungen, die Operatoren in ihrem Wirkungsbereich auf einen Unterraum einzuschränken, der aber wenigstens noch eine dichte Teilmenge im Raum aller Ket-Vektoren ist. Ist in physikalischen Darstellungen bei einer Operatorengleichung von „allen“ Ket-Vektoren die Rede, so sind immer alle des Definitionsbereichs der beteiligten Operatoren gemeint.

Die Beschränkung auf einen Teilraum hat zur Folge, dass auch der adjungierte Operator nicht überall definiert ist. Die Forderung, dass $⟨\phi |A|\phi ⟩$ für alle Ket-Vektoren (aus dem Definitionsbereich von $A$) reell ist, bedeutet dann, dass $A^{†}$ eine Erweiterung des Operators $A$ ist, das heißt der Definitionsbereich von $A^{†}$ umfasst denjenigen von $A$ und beide Operatoren stimmen auf letzterem überein. Solche Operatoren nennt man symmetrisch.

Symmetrische Operatoren sind im Allgemeinen nicht selbstadjungiert, das heißt im Allgemeinen gilt nicht $A=A^{†}$, denn dazu müssten die Definitionsbereiche beider Operatoren übereinstimmen. Die physikalisch relevanten Operatoren, die messbare Größen beschreiben, sind aber selbstadjungiert, denn nur dann hat man den vollen Spektralsatz (in der Sprache der Physik: den „Entwicklungssatz“) zur Verfügung. Diesen braucht man u.a. in der axiomatischen Behandlung des quantenmechanischen Messprozesses (siehe z. B. quantenmechanischer Zustand) und bei der konkreten Berechnung von Funktionen von Operatoren, wie das etwa durch den Unbeschränkten Borel-Funktionalkalkül ermöglicht wird. Oft kann man symmetrische Operatoren durch gewisse Abschlussoperationen zu selbstadjungierten Operatoren erweitern. Das gilt insbesondere für nach unten beschränkte Operatoren, wie sie bei Hamilton-Operatoren auftreten, denn Energien sind nach unten beschränkt, siehe dazu die Friedrichssche Erweiterung.

In vielen Physik-Lehrbüchern wird kein großes Gewicht auf diesen Unterschied gelegt. Zum einen bringt die Betrachtung der Definitionsbereiche meist keine tieferen physikalischen Einsichten über das betrachtete System, und des Weiteren kann man sich in der Regel darauf verlassen, dass die Verwendung der „richtigen“ Operatoren, gepaart mit der „richtigen“ physikalischen Intuition, zu „richtigen“ Ergebnissen führt. Ferner liegen alle physikalisch relevanten Funktionen, auf die es die Operatoren anzuwenden gilt, nämlich die Eigenfunktionen, stets im Definitionsbereich. Vorsicht ist auch bei den sogenannten „uneigentlichen Eigenfunktionen“ angebracht (z. B. bei Dirac-Funktionen oder bei monochromatischen Wellen), denn diese sind nicht normierbar und liegen daher nicht im Raum der Ket-Vektoren.

Die Dirac'sche Notation unterstützt die pragmatische Herangehensweise der Physiker. Eine mathematisch vollständige Darstellung der Quantenmechanik bis einschließlich der Lösung des Wasserstoffproblems findet man im unten angegebenen Lehrbuch von Hans Triebel^[8].

Ein weiteres Beispiel

Ein elementares Beispiel für die Relevanz der involvierten mathematischen Subtilitäten (trotz scheinbarer Irrelevanz) ist der Differentialausdruck $-id\psi (x)/dx,$ dem in der Sprache der Physik der Impulsoperator ${\hat{p}}_x$ zugeordnet ist. Genauer wird man als Definitionsbereich für die Funktion $\psi (x)$ ein endliches (oder unendliches) Intervall definieren, etwa $x\in [0,1]$, und wird zunächst nur festlegen wollen, dass die Funktion ${\hat{p}}_x\psi (x)$ auf dem angegebenen Intervall quadratintegrabel ist. Es bleibt dann die Frage, welche Randbedingungen man für $\psi (x)$ fordern soll. Zunächst ist man geneigt, anzunehmen, dass $\psi (0)=\psi (1)\stackrel{!}{=}0$ sein sollte; denn dann ist - wie man leicht zeigen kann - die „Symmetrie“ gegeben: $⟨\psi (x)|{\hat{p}}_x\psi (x)⟩={\int }_0^1\mathrm{d}x\psi (x{)}^{\ast }({\hat{p}}_x\psi (x))\stackrel{p.I.}{=}(-i)\{{\psi }^{\ast }(1)\psi (1)-{\psi }^{\ast }(0)\psi (0)\}+{\int }_0^1\mathrm{d}x({\hat{p}}_x\psi (x){)}^{\ast }\psi (x)=⟨{\hat{p}}_x\psi (x)|\psi (x)⟩,$ weil beim „Überwälzen“ der Ableitung von rechts nach links durch die partielle Integration (p.I.) unter dem Integral, dem letzten Term vor dem äußersten Gleichheitszeichen, ein Minuszeichen entsteht, das durch den Term $-i$ und den Übergang zum konjugiert Komplexen kompensiert wird, $-i^{\ast }=+i$, während die Randterme bei der Integration explizit Null ergeben. Die Randterme kompensieren sich aber auch zu Null, wenn man nur fordert, dass die Funktion $\psi (x)$ die Bedingung $\psi (0)\equiv \psi (1)$ erfüllen soll. (Ein analoges Ergebnis entsteht, wenn man statt der einen Funktion $\psi (x)$ rechts und links verschiedene Funktionen, z. B. ${\psi }_a(x)$ bzw. ${\psi }_b(x),$ benutzt.)

Mit der zweiten, der abgeschwächten Randbedingung ist das System aber nicht bloß „symmetrisch“, wie mit der ersten Randbedingung, sondern sogar selbstadjungiert. Das ist nicht nur mathematisch, sondern physikalisch relevant: Nur so erhält man Messbarkeit und ein vollständiges System von Eigenfunktionen. Diese sind hier konkret benennbar, ${\psi }_n(x)\sim \exp (i2\pi nx),$ wobei n die ganzen Zahlen durchläuft. Dagegen würde zu der erstgenannten Randbedingung keine einzige dieser Funktionen passen, denn sie haben alle an der entscheidenden Stelle, x=0, von Null verschiedene Werte.

Die erstgenannte Randbedingung ist also unphysikalisch und nur mit speziellen nicht-trivialen Potentialen näherungsweise realisierbar, während bei der zweiten Randbedingung freie Elektronen und verschwindendes Potential angenommen werden können.

Siehe auch

• adjungierter Operator

Einzelnachweise