Quelltext der Seite Hermitescher Operator

'''Hermitesche Operatoren''', benannt nach [[Charles Hermite]], sind in der Mathematik betrachtete [[Linearer Operator|Operatoren]], die eine zentrale Rolle in der [[Mathematische Struktur der Quantenmechanik|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 [[Symmetrischer Operator|symmetrische]], symmetrische dicht definierte, [[Wesentlich selbstadjungierter Operator|wesentlich selbstadjungierte]] und [[Selbstadjungierter Operator|selbstadjungierte]] Operatoren betrachtet.<ref>Bei den endlichdimensionalen [[Vektorraum|Vektorräumen]] der [[Lineare Algebra|linearen Algebra]] sind alle Begriffe identisch.</ref> Unterschiede treten erst in unendlichdimensionalen Räumen auf, die jedoch für physikalische Anwendungen wichtig sind.

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“&nbsp;<ref>Die Definition eines Operators <math>A </math> mit der Eigenschaft "hermitesch im engeren Sinne" (hier: „symmetrisch“) ist <math>\langle \psi_a |A\psi_b\rangle=\langle A\psi_a |\psi_b\rangle</math> für alle Zustände <math>\psi_a</math> bzw. <math>\psi_b</math> aus dem Definitionsbereich des Operators <math>A</math> in einem komplexen Hilbertraum mit Skalarprodukt <math>\langle .|.\rangle</math>. Als „hermitesch im weiteren Sinn“ (oder besser: „selbstadjungiert“) bezeichnet man dagegen Operatoren, für die <math> A^\dagger= A</math> gilt, während „hermitesch im engeren Sinne“ nur impliziert, dass <math> A^\dagger</math> eine Erweiterung von <math> A</math> ist, <math>A^\dagger\supseteq{ A}\,.</math></ref>), 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<ref>Siegfried Großmann: ''Funktionalanalysis'', Akademische Verlagsgesellschaft, Bd. 2, S. 189 bezeichnet selbstadjungiert-beschränkte Operatoren als hermitesch</ref> bezeichnet (der etwas subtile Unterschied wird oft vernachlässigt oder durch [[Synonymie|Synonyme]] wie „hypermaximal hermitesche Operatoren“ anstelle der „selbstadjungierten Operatoren“ vereinfacht<ref>[[Werner Döring]]: ''Einführung in die Quantenmechanik'', Göttingen 1962 benutzt dagegen den Begriff „hypermaximal hermitesch“ als Synonym für [[Selbstadjungierter Operator|„selbstadjungiert“]] (dieses Synonym stammt ursprünglich von [[John von Neumann]]) und den Begriff "hermitesch" anstelle von "symmetrisch"</ref><ref>In dem Lehrbuch von Michael Reed und Barry Simon: ''Methods of Mathematical Physics'', Band 1, Academic Press, 1980 wird auf S. 255 "hermitesch" synonym zu "symmetrisch und dicht definiert" definiert</ref>).

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 sonst die Konventionen der Physiker mit der Identifikation „hermitesch = selbstadjungiert“ benutzt werden, wie das etwa in den Lehrbüchern von [[Albert Messiah]]<ref>Albert Messiah: ''Quantenmechanik'', 2 Bände, de Gruyter 1976, 1991, Bd. 1 ISBN 3-11-011452-6, Bd. 2 ISBN 3-11-012669-9, französisches Original: ''Mécanique quantique'', Dunod, Paris 1959, 1964, 1969, Englische Übersetzung: ''Quantum Mechanics'', New York, Interscience und Amsterdam, North Holland, 1961/62</ref> zu finden ist. Die hier gegebene Darstellung richtet sich also zunächst an physikalisch interessierte Leser, weshalb auch die auf [[Paul Dirac|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 ===
Sei <math>A</math> ein Operator auf einem [[Hilbertraum]], das heißt eine Abbildung auf diesem Hilbertraum in sich. Die Elemente dieses Hilbertraums werden als Ket-Vektoren <math>|\varphi\rangle</math> geschrieben und repräsentieren oft Funktionen aus [[Lp-Raum|<math>L^2</math>-Räumen]], z.&nbsp;B. die Wellenfunktion <math>\varphi(\vec r,t)</math> eines [[quantenmechanischer Zustand|quantenmechanischen Zustands]]. Ein solcher Operator transformiert einen Vektor in einen anderen:

:<math>|\psi\rangle = A|\varphi\rangle.</math>

Dabei wird nicht gefordert, dass <math>A</math> für jeden Vektor definiert ist; oft gelingt eine solche Zuordnung nur für Vektoren eines dichten Teilraums. Ist zum Beispiel der Hilbertraum ein <math>L^2</math>-Raum und der Operator ein Ableitungsoperator, so kann er nur auf differenzierbare Funktionen wirken.

Der Operator <math>A</math> soll linear sein, um das physikalisch relevante [[Superposition (Physik)|Superpositionsprinzip]] zu sichern. Die komplexe Zahl <math>\langle\chi |\psi\rangle = \langle\chi | \left(A|\varphi\rangle\right)</math>, also das Skalarprodukt von <math>|\psi\rangle = A|\varphi\rangle</math> mit einem Bra-Vektor <math>\langle\chi |</math> eines weiteren Zustands, wird in der Physik durchgängig als das Matrixelement von <math>\,A</math> bezeichnet.

Bisweilen wird über das Operatorsymbol noch ein Dach gesetzt, um die Wirkung des Operators <math>\hat{A}</math> auf einen Vektor <math>|\varphi\rangle</math> von der Multiplikation des Vektors mit einer komplexen Zahl <math>A</math> zu unterscheiden. Das ist aber nur dann erforderlich, wenn man Operatoren und ihre Eigenwerte mit demselben Buchstaben bezeichnen will, man kann dann eine Eigenwertgleichung <math>\hat{A}|\varphi\rangle = A|\varphi\rangle</math> schreiben. Davon wird in diesem Artikel kein Gebrauch gemacht.

=== Adjungierter Operator ===
{{Hauptartikel|Adjungierter Operator}}

Der zu <math>A</math> adjungierte Operator <math>A^\dagger</math>&nbsp;<ref>Die Mathematiker schreiben für den adjungierten Operator oft <math>A^\ast</math></ref> ist dadurch definiert, dass seine Matrixelemente die konjugiert komplexen Zahlen der transponierten Matrixelemente von <math>\,A</math> sind, wenn man Bra und Ket miteinander vertauscht:
: <math> \langle \chi | \left( A^\dagger | \varphi \right) \rangle  = \left[ \; \langle \varphi | \left( A | \chi  \right) \rangle\; \right]^* .</math>
Daher ist <math>\langle \varphi | A^\dagger </math> der Bra, der dem Ket <math> A| \varphi \rangle </math> zugeordnet ist, und man kann im Matrixelement ohne Gefahr einer Verwechselung auf die runden Klammern verzichten.

Ist  <math> | \varphi \rangle  = | \chi \rangle  </math>, wird das Matrixelement der ''Erwartungswert von <math>\,A</math> im Zustand  <math> | \varphi \rangle  </math>'' genannt.

=== Hermitescher Operator ===
<math>A</math> heißt ''formal selbstadjungiert'' (oder, im physikalischen Sprachgebrauch üblich, ''hermitesch''), wenn  <math>A = A^\dagger</math>.

Dann gilt für seine Matrixelemente <math> \langle \chi | A | \varphi \rangle  = \left[ \; \langle \varphi | A | \chi \rangle \; \right]^* </math>.
Alle Erwartungswerte sind dann reell, denn für jeden Vektor <math>| \varphi \rangle</math> aus dem Definitionsbereich gilt <math> \langle \varphi | A | \varphi \rangle  = \left[ \; \langle \varphi | A | \varphi \rangle \; \right]^* </math>.
Dann ist auch jeder Eigenwert von <math>\,A</math> reell, denn die Eigenwerte sind die Erwartungswerte zu den jeweiligen normierten Eigenvektoren. Da in der Quantenmechanik alle messbaren Größen ([[Observable]]n) durch Erwartungs- oder Eigenwerte von Operatoren dargestellt werden, muss es sich hierbei um hermitesche Operatoren handeln, damit die vorhergesagten Messergebnisse reell sind.

== Beispiele ==
=== X-Koordinate ===
In der Ortsdarstellung betrachtet man den Raum <math>L^2(\R^3)</math> aller quadrat-integrablen Funktionen auf dem dreidimensionalen Anschauungsraum. Typische hermitesche Operatoren sind etwa die Multiplikation mit der <math>x</math>-Koordinate zur Messung der <math>x</math>-Koordinate des Aufenthaltsortes eines Teilchens,
:<math>A|\psi(x,y,z)\rangle = |x\,\psi(x,y,z)\rangle</math>
oder der [[Hamilton-Operator]] <math>- \tfrac{\hbar^2}{2m}\Delta + V(x,y,z)</math> zur Bestimmung der Energie
:<math>A|\psi(x,y,z)\rangle = |-\frac{\hbar^2}{2m}\left(\frac{\partial^2}{\partial x^2}+\frac{\partial^2}{\partial y^2}+\frac{\partial^2}{\partial z^2}\right)\psi(x,y,z) + V(x,y,z)\,\psi(x,y,z)\rangle</math>,
wobei <math>V(x,y,z)</math> für das skalare [[Skalarpotential|Potential]] eines Feldes steht, unter dessen Einfluss sich das Teilchen bewegt.
Weitere wichtige Beispiele sind der [[Impulsoperator]] oder die [[Drehimpulsoperator]]en.

=== Endlichdimensionale Beispiele ===
Ein zweidimensionales Beispiel erhält man durch die Behandlung des [[Spin]]s. Der Raum wird von den beiden Vektoren „Spin hoch“ <math>(|\mathord\uparrow\rangle)</math> und „Spin runter“ <math>(|\mathord\downarrow\rangle)</math> erzeugt. Die Operatoren auf zweidimensionalen Räumen sind <math>2\times 2</math>-Matrizen, zum Beispiel die hermiteschen [[Pauli-Matrizen]].

Ein endlichdimensionaler hermitescher Operator <math>A</math> (eine [[hermitesche Matrix]]) mit den Elementen <math>m_{ij} \in \Complex</math> wird wie folgt adjungiert:

:<math>A^\dagger = \begin{pmatrix} 
m_{11} && m_{12} && \cdots && m_{1n} \\
m_{21} && m_{22} && \cdots && m_{2n} \\
\vdots && \vdots && \ddots && \vdots \\
m_{n1} && m_{n2} && \cdots && m_{nn}
\end{pmatrix}^{\dagger} = 
\begin{pmatrix} 
m_{11}^* && m_{21}^* && \cdots && m_{n1}^* \\
m_{12}^* && m_{22}^* && \cdots && m_{n2}^* \\
\vdots && \vdots && \ddots && \vdots \\
m_{1n}^* && m_{2n}^* && \cdots && m_{nn}^*
\end{pmatrix},
</math>

wobei <math>m_{ji}^*</math> die [[komplexe Konjugation]] von <math>m_{ji}</math> ist. Es gilt also <math>m_{ij}^\dagger = m_{ji}^*</math>, das heißt, die <math>(i,j)</math>-te Komponente der Adjungierten ist die komplexe Konjugation der <math>(j,i)</math>-ten Komponente der Ausgangsmatrix.

=== Impulsoperator ===
Das folgende einfache Beispiel zeigt deutlich den Unterschied zwischen symmetrischen und hermiteschen (=selbstadjungierten) Operatoren. Wir betrachten den Impulsoperator in <math>x</math>-Richtung <math>P_x = - \mathrm i \hbar \tfrac{\partial}{\partial x}</math>. Genauer wird man als Definitionsbereich für die Funktion <math>\psi (x)</math> ein endliches (oder unendliches) Intervall definieren, etwa <math>x\in [0,1]</math>, und wird zunächst nur festlegen wollen, dass die Funktion <math>P_x\psi (x)</math> auf dem angegebenen Intervall quadratintegrabel ist. Es bleibt dann die Frage, welche Randbedingungen man für <math>\psi (x)</math> fordern soll. Zunächst ist man geneigt, anzunehmen, dass <math>\psi (0)=\psi (1) \stackrel{!}=0</math> sein sollte; denn dann ist – wie man leicht mittels [[Partielle Integration|partieller Integration]] zeigen kann – die „Symmetrie“ gegeben:

:<math>\begin{align}
\langle\psi (x)|P_x \psi (x)\rangle & =  \int_0^1 \,\mathrm{d}x\,\psi(x)^* \,(P_x\psi (x))\\
& = (-i\hbar)\{\psi^* (1)\psi(1)-\psi^* (0)\psi (0)\}+\int_0^1\,\mathrm{d}x\,(P_x\psi(x))^*\psi (x)\\
& = \langle P_x\psi (x)|\psi (x)\rangle
\end{align}</math>
weil beim „Überwälzen“ der Ableitung von rechts nach links durch die partielle Integration unter dem Integral, dem letzten Term vor dem äußersten Gleichheitszeichen, ein Minuszeichen entsteht, das durch den Term <math>-i</math> und den Übergang zum konjugiert Komplexen kompensiert wird, <math>-i^*=+i</math>, 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 <math>\psi (x)</math> die Bedingung <math>\psi (0)\equiv\psi (1)</math> erfüllen soll.

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, <math>\psi_n (x)\sim \exp(i 2\pi n\,x)\,,</math> wobei <math>n</math> 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, <math>x=0</math>, 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.

== 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 <math>x</math>-Koordinate liegt im Allgemeinen nicht mehr im Hilbertraum <math>L^2(\R^3)</math> der Ket-Vektoren, und im Falle des Hamilton-Operators fehlt es manchen <math>L^2</math>-Funktionen an Differenzierbarkeitseigenschaften. Da nutzt auch eine Verallgemeinerung auf [[Distribution (Mathematik)|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 <math> \langle \varphi|A|\varphi\rangle</math> für alle Ket-Vektoren (aus dem Definitionsbereich von <math>A</math>) reell ist, bedeutet dann, dass <math>A^\dagger</math> eine Erweiterung des Operators <math>A</math> ist, das heißt der Definitionsbereich von  <math>A^\dagger</math> umfasst denjenigen von <math>A</math> und beide Operatoren stimmen auf letzterem überein. Solche Operatoren nennt man [[symmetrischer Operator|symmetrisch]].

Symmetrische Operatoren sind im Allgemeinen nicht [[selbstadjungierter Operator|selbstadjungiert]], das heißt im Allgemeinen gilt nicht <math>A=A^\dagger</math>, 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 „[[Spektralsatz|Entwicklungssatz]]“) zur Verfügung. Diesen braucht man u.&nbsp;a. in der axiomatischen Behandlung des quantenmechanischen Messprozesses (siehe z.&nbsp;B. [[Zustand (Quantenmechanik)|quantenmechanischer Zustand]]) und bei der konkreten Berechnung von '''Funktionen von Operatoren''', wie das etwa durch den [[Unbeschränkter Borel-Funktionalkalkül|Unbeschränkten Borel-Funktionalkalkül]] ermöglicht wird. Oft kann man symmetrische Operatoren durch gewisse [[Abgeschlossener Operator|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.&nbsp;B. bei Dirac-Funktionen oder bei monochromatischen Wellen), denn diese sind nicht normierbar und liegen daher nicht im Raum der Ket-Vektoren.

Die diracsche Notation unterstützt die pragmatische Herangehensweise der Physiker. Eine mathematisch vollständige Darstellung der Quantenmechanik bis einschließlich der Lösung des [[Wasserstoffproblem]]s findet man im unten angegebenen Lehrbuch von [[Hans Triebel]]<ref>Hans Triebel: ''Höhere Analysis'', Berlin, Deutscher Verlag der Wissenschaften 1972, 2. Auflage, Harri Deutsch 1980, (englisch Higher Analysis, Barth 1992)</ref>.

== Einzelnachweise ==
<references />

[[Kategorie:Funktionalanalysis]]
[[Kategorie:Quantenmechanik]]
[[Kategorie:Charles Hermite als Namensgeber]]
[[Kategorie:Lineare Abbildung]]