Der Schrödinger-Operator ist ein Operator aus der Quantenmechanik. Er gibt eine vereinfachte Beschreibung einer nicht-relativistischen Bewegung eines quantenmechanischen Teilchens in einem äußeren Potential.
Die negativen Eigenwerte des Schrödinger-Operators entsprechen den sogenannten gebundenen Zuständen, etwa Energien der Elektronen, die an einen Atomkern gebunden sind.
Die Spektraltheorie des Schrödinger-Operators ist seit 1950 aufgrund ihrer mathematischen Fülle und ihrer physikalischen Bedeutung intensiv entwickelt worden.
Definition und Einführung
Der Schrödinger-Operator für ein Quantensystem ist der lineare, partielle Differentialoperator
- $ H=-{\frac {\hbar ^{2}}{2m}}\Delta +V $
auf dem Raum der quadratintegrierbaren Funktionen $ L^{2}(\mathbb {R} ^{n}) $. Die Konstante $ m $ ist die reduzierte Masse des Systems und $ \hbar $ ist das reduzierte plancksche Wirkungsquantum. Die reellwertige Funktion $ V $ wird oft Potential genannt, der Laplace-Operator wird als Operator der kinetischen Energie bezeichnet. Diese Familie linearer Operatoren beschreibt für verschiedene Potentiale $ V $ verschiedene Quantensysteme.
Elemente des Hilbertraum $ L^{2}(\mathbb {R} ^{n}) $, die auch Wellenfunktionen genannt werden, stellen verschiedene Zustände des Systems dar. Die Zeitentwicklung einer Wellenfunktion für ein Quantensystem mit Schrödinger-Operator $ H $
wird beschrieben durch die Schrödingergleichung
- $ i\hslash {\frac {\partial }{\partial t}}\psi _{t}=H\psi _{t} $.
Für jeden vernünftigen Anfangswert des Systems $ \psi _{0} $ hat die Lösung der Schrödingergleichung die Gestalt
- $ \psi _{t}=U_{H}(t)\psi _{0} $,
wobei die Abbildung $ U_{H}(t)\colon \psi _{0}\to \psi _{t} $ der Entwicklungsoperator für die Schrödingergleichung ist.
Eine Forderung aus der Quantenmechanik ist, dass
- $ \parallel \psi _{0}\parallel =\parallel U_{H}(t)\psi _{0}\parallel =\parallel \psi _{t}\parallel \qquad \qquad (1) $
gilt. Eine weitere Forderung für die Eindeutigkeit von Lösungen der Schrödingergleichung ist, dass für alle $ s,t\in \mathbb {R} $
- $ U_{H}(s)U_{H}(t)=U_{H}(s+t)\qquad \qquad \quad \;(2) $
gilt.
Beispiel
Als Potential $ V $ betrachten wir das Coulombpotential:
- $ V\colon \mathbb {R} ^{3}\to \mathbb {R} ,x\mapsto {\frac {-Z}{|x|}},Z>0 $
wobei die Konstante $ Z $ für die Kernladungszahl steht.
Durch dieses Potential können wasserstoffähnliche Atome bzw. Ionen modelliert werden, bei denen z. B. ein einzelnes Elektron an einen Atomkern gebunden ist.
Der Schrödinger-Operator $ H $ hat damit die Gestalt
- $ H=-{\frac {\hbar ^{2}}{2m}}\Delta -{\frac {Z}{|x|}} $
Eigenschaften
Dieser Abschnitt fasst einige Resultate des Schrödinger-Operators zusammen. Wichtige Aspekte des Schrödingeroperators sind dabei die Selbstadjungiertheit, das negative, das diskrete sowie das wesentliche Spektrum.
Wesentliche Selbstadjungiertheit
Die Selbstadjungiertheit des Schrödinger-Operators ist eine notwendige und hinreichende Bedingung für die Existenz und Eindeutigkeit von Lösungen für das Cauchyproblem der Schrödingergleichung, die zudem die Forderungen (1) und (2) erfüllen. Die Frage, ob der Schrödinger-Operator zu einem gegebenen Potential V selbstadjungiert ist, ist nicht leicht zu beantworten.
- Falls $ V\in C^{\infty }(\mathbb {R} ^{n}) $ und $ H $ halbbeschränkt nach unten auf $ C_{0}^{\infty }(\mathbb {R} ^{n}) $ sind (das heißt, es gibt ein $ \alpha \in \mathbb {R} $ mit $ \langle u,Hu\rangle \geq \alpha \langle u,u\rangle $ für alle $ u\in C_{0}^{\infty }(\mathbb {R} ^{n}) $), so ist $ H $ wesentlich selbstadjungiert auf $ C_{0}^{\infty }(\mathbb {R} ^{n}) $.
- Falls $ 0\leq V\in L_{\operatorname {loc} }^{2}(\mathbb {R} ^{n}) $ ist, wobei $ L_{\operatorname {loc} }^{2}(\mathbb {R} ^{n}) $ der Raum lokal integrierbaren Funktionen ist, so ist $ H $ wesentlich selbstadjungiert auf $ C_{0}^{\infty }(\mathbb {R} ^{n}) $.
- Falls $ V\in L^{2}(\mathbb {R} ^{3})+L^{\infty }(\mathbb {R} ^{3}) $ und reellwertig ist, so ist $ H $ selbstadjungiert mit $ D(H)=D(\Delta )=H^{2}(\mathbb {R} ^{3}) $.
- Falls $ V\colon \mathbb {R} ^{n}\to \mathbb {R} $ messbar ist mit $ V_{+}:=\max\{V,0\}\in L_{\operatorname {loc} }^{2}(\mathbb {R} ^{n}) $ und $ V_{-}:=\max\{-V,0\}\in L^{p}(\mathbb {R} ^{n})+L^{\infty }(\mathbb {R} ^{n}) $ mit $ p=2 $ für $ n\leq 3 $, $ p>{\frac {n}{2}} $ für $ n\geq 4 $, so ist $ H $ selbstadjungiert auf $ C_{0}^{\infty }(\mathbb {R} ^{n}) $.
Diskretes Spektrum
- Falls $ V\in L_{\operatorname {loc} }^{\infty }(\mathbb {R} ^{n}) $ und $ a:=\lim _{R\to \infty }\inf _{|x|\geq R}V(x)>-\infty $, so ist zu jedem $ a^{'}<a $ das Spektrum von $ H $ in $ (-\infty ,a^{'}) $ diskret.
Negatives Spektrum
Aus obigem Resultat wissen wir, dass das negative Spektrum diskret ist: dennoch stellt sich die Frage, ob es überhaupt negative Eigenwerte gibt.
- Für $ H=-{\frac {\hbar ^{2}}{2m}}\Delta +V $ mit $ V\in C_{0}^{\infty }(\mathbb {R} ^{n}) $, $ \int Vdx=:V_{0}<0 $ und $ n\leq 2 $ hat der Schrödingeroperator mindestens einen negativen Eigenwert.
- Sei $ n\geq 3 $. Dann gibt es eine Konstante $ L_{n} $, so dass für alle $ V\in C^{\infty }(\mathbb {R} ^{n})\cap L^{\frac {n}{2}}(\mathbb {R} ^{n}),\lim _{x\to \infty }V(x)=0 $ die Abschätzung gilt
- $ N(H)\leq L_{n}\int \limits _{V(x)\leq 0}(-V)^{\frac {n}{2}}dx $,
- wobei $ N(H) $ die Anzahl der negative Eigenwerte von $ H $ ist.
Wesentliches Spektrum
- Sei $ \sigma _{ess} $ das wesentliche Spektrum von $ H $. Falls $ H $ selbstadjungiert ist, dann gilt:
- $ \lambda \in \sigma _{ess} $ ist äquivalent dazu, dass es eine Weyl-Folge zu $ H $ und zu $ \lambda $ gibt.
- Falls $ V\in L_{\operatorname {loc} }^{\infty }(\mathbb {R} ^{n},\mathbb {C} ) $ und $ \lim _{|x|\to \infty }V(x)=0 $, dann ist $ \sigma _{ess}=[0,\infty ) $.
Literatur
- Andrey Tyukin: Die Eigenwertasymptotik für Schrödinger-Operatoren, Schriftliche Ausarbeitung zum 13. Vortrag des Hauptseminars, Uni Mainz 2009.
- A.Pankov: Introduction to Spectral Theory of Schrödinger Operators, Vorlesungsnotizen, Vinnitsa State Pedagogical University 1999/2000.
- Konstantin Pankrashkin: Schrödinger-Operatoren, Vorlesungsnotizen, HU Berlin WS 2005/2006.
- Rupert L.Frank: Hardy-Lieb-Thirring inequalities for eigenvalues of Schrödinger operators, Doctoral thesis, Stockholm 2007.
- P.D. Hislop: Introduction to Spectral theory With Applications to Schrödinger Operators, Springer Verlag, New York 1996.