Formaler Aufbau der Quantenmechanik: Difference between revisions

From testwiki
Jump to navigation Jump to search
No edit summary
 
(2 intermediate revisions by one other user not shown)
Line 1: Line 1:
<noinclude>{{ScriptProf|Kapitel=2|Abschnitt=0|Prof=Prof. Dr. T. Brandes|Thema=Quantenmechanik|Schreiber=Moritz Schubotz}}</noinclude>
<noinclude>{{ScriptProf|Kapitel=2|Abschnitt=0|Prof=Prof. Dr. T. Brandes|Thema=Quantenmechanik|Schreiber=Moritz Schubotz}}=Formaler Aufbau der Quantenmechanik=</noinclude>


Ein Anfang der Quantenmechanik ist der {{FB|Kommutator|Ort-Impuls}}
Ein Anfang der Quantenmechanik ist der {{FB|Kommutator|Ort-Impuls}}


{{NumBlk|:|
{{NumBlk|:|


<math>\left[ \underline{x},\underline{p} \right]=\mathfrak{i} \hbar </math>
:<math>\left[ \underline{x},\underline{p} \right]=\mathfrak{i} \hbar </math>


: |(2.1)|RawN=.}}
: |(2.1)|RawN=.}}
Line 11: Line 11:
mit den Operatoren{{FB|Ortsoperator}} <math>\hat{x}</math>(Ort) <math>\hat{p}</math>(Impuls{{FB|Impulsoperator}}), einer {{FB|Unschärferelation}}
mit den Operatoren{{FB|Ortsoperator}} <math>\hat{x}</math>(Ort) <math>\hat{p}</math>(Impuls{{FB|Impulsoperator}}), einer {{FB|Unschärferelation}}


{{NumBlk|:|
{{NumBlk|:|


<math>\Delta x\Delta p\ge \frac{\hbar }{2}</math>
:<math>\Delta x\Delta p\ge \frac{\hbar }{2}</math>


: |(2.2)|RawN=.}}
: |(2.2)|RawN=.}}
Line 32: Line 32:
{{NumBlk|:|Definition|(2.6)|RawN=.}}: Ein '''{{FB|Skalarprodukt}}''' eines Vektorraums V ist eine Abbildung <math>\left( V,V \right)\to \mathbb{C}</math>, so dass für <math>\psi ,\phi ,\chi \in V</math>gilt:
{{NumBlk|:|Definition|(2.6)|RawN=.}}: Ein '''{{FB|Skalarprodukt}}''' eines Vektorraums V ist eine Abbildung <math>\left( V,V \right)\to \mathbb{C}</math>, so dass für <math>\psi ,\phi ,\chi \in V</math>gilt:


<math>\begin{align}
:<math>\begin{align}


& \left\langle  \psi  | \psi  \right\rangle \ge 0 \\
& \left\langle  \psi  | \psi  \right\rangle \ge 0 \\
Line 67: Line 67:
  \end{align} \right)</math>.
  \end{align} \right)</math>.
# Hilbertraum <math>{{\mathcal{H}}_{L}}</math>der quadratintegrierbaren Wellenfunktionen eines Potentialtopfes mit unendlich hohen Wänden in 1 Dimension
# Hilbertraum <math>{{\mathcal{H}}_{L}}</math>der quadratintegrierbaren Wellenfunktionen eines Potentialtopfes mit unendlich hohen Wänden in 1 Dimension
#  
#
<math>\Psi \left( {\underline{x}} \right)</math>
:<math>\Psi \left( {\underline{x}} \right)</math>


auf <math>x\in \left[ 0,L \right],\Psi \left( 0 \right)=\Psi \left( L \right)=0</math>
auf <math>x\in \left[ 0,L \right],\Psi \left( 0 \right)=\Psi \left( L \right)=0</math>


<math>-\frac{\hbar }{2m}\Psi '{{'}_{n}}\left( x \right)={{E}_{n}}{{\Psi }_{n}}\left( x \right)</math>
:<math>-\frac{\hbar }{2m}\Psi '{{'}_{n}}\left( x \right)={{E}_{n}}{{\Psi }_{n}}\left( x \right)</math>


{{NumBlk|:|Basis
{{NumBlk|:|Basis


<math>{{\Psi }_{n}}\left( x \right)=\sqrt{\frac{2}{L}}\sin \left( \frac{n\pi x}{L} \right),\quad {{E}_{n}}=\frac{{{\left( \hbar n\pi  \right)}^{2}}}{2m{{L}^{2}}},\quad n\in \mathbb{N}</math>
:<math>{{\Psi }_{n}}\left( x \right)=\sqrt{\frac{2}{L}}\sin \left( \frac{n\pi x}{L} \right),\quad {{E}_{n}}=\frac{{{\left( \hbar n\pi  \right)}^{2}}}{2m{{L}^{2}}},\quad n\in \mathbb{N}</math>


: |(2.9)|RawN=.}}
: |(2.9)|RawN=.}}


Skalarprodukt
Skalarprodukt


<math>\begin{align}
:<math>\begin{align}


& \left\langle  \Psi  | \Phi  \right\rangle =\int\limits_{0}^{L}{{{\Psi }^{*}}\left( x \right)\Phi \left( x \right)dx} \\
& \left\langle  \Psi  | \Phi  \right\rangle =\int\limits_{0}^{L}{{{\Psi }^{*}}\left( x \right)\Phi \left( x \right)dx} \\
Line 101: Line 101:
Definition: <math>\left\{ {{\Psi }_{n}} \right\}</math> {{FB|vollständiges Orthogonalsystem}} eins HR<math>\mathcal{H}</math>
Definition: <math>\left\{ {{\Psi }_{n}} \right\}</math> {{FB|vollständiges Orthogonalsystem}} eins HR<math>\mathcal{H}</math>


{{NumBlk|:|
{{NumBlk|:|


<math>\Leftrightarrow \left\langle  {{\Psi }_{n}} | {{\Psi }_{n'}} \right\rangle ={{\delta }_{nn'}}</math>
:<math>\Leftrightarrow \left\langle  {{\Psi }_{n}} | {{\Psi }_{n'}} \right\rangle ={{\delta }_{nn'}}</math>


und <math>\Phi =\sum\limits_{n}{\left\langle  {{\Psi }_{n}} | \Phi  \right\rangle {{\Psi }_{n}}\quad \forall \Phi \in \mathcal{H}}</math> |(2.10)|RawN=.}}
und <math>\Phi =\sum\limits_{n}{\left\langle  {{\Psi }_{n}} | \Phi  \right\rangle {{\Psi }_{n}}\quad \forall \Phi \in \mathcal{H}}</math> |(2.10)|RawN=.}}
Line 111: Line 111:
Satz (Parseval)
Satz (Parseval)


{{NumBlk|:|
{{NumBlk|:|


<math>\Phi =\sum\limits_{n}{\left\langle  {{\Psi }_{n}} | \Phi  \right\rangle {{\Psi }_{n}}\Leftrightarrow {{\left\| \Phi  \right\|}^{2}}=\sum\limits_{n}{{{\left| \left\langle  {{\Psi }_{n}} | \Phi  \right\rangle  \right|}^{2}}}}</math>
:<math>\Phi =\sum\limits_{n}{\left\langle  {{\Psi }_{n}} | \Phi  \right\rangle {{\Psi }_{n}}\Leftrightarrow {{\left\| \Phi  \right\|}^{2}}=\sum\limits_{n}{{{\left| \left\langle  {{\Psi }_{n}} | \Phi  \right\rangle  \right|}^{2}}}}</math>
: |(2.11)|RawN=.}}
: |(2.11)|RawN=.}}
Bemerkung:
Bemerkung:
Line 121: Line 121:
===Dirac-Notation===
===Dirac-Notation===
Bequeme Notation für Ψ, Skalarprodukte <math>\left\langle  \Psi  | \Phi  \right\rangle </math>etc. eines Hilbertraum
Bequeme Notation für Ψ, Skalarprodukte <math>\left\langle  \Psi  | \Phi  \right\rangle </math>etc. eines Hilbertraum
<math>\mathcal{H}</math>
:<math>\mathcal{H}</math>


# {{NumBlk|:| {{FB|Zustände}} <math>\Phi \leftrightarrow \left| \Phi  \right\rangle </math>
# {{NumBlk|:| {{FB|Zustände}} <math>\Phi \leftrightarrow \left| \Phi  \right\rangle </math>
Line 127: Line 127:
# {{FB|Skalarprodukt}} von <math>\Psi \text{ und }\Phi \leftrightarrow \left\langle  \Psi  | \Phi  \right\rangle ={{\left\langle  \Phi  | \Psi  \right\rangle }^{*}}</math>
# {{FB|Skalarprodukt}} von <math>\Psi \text{ und }\Phi \leftrightarrow \left\langle  \Psi  | \Phi  \right\rangle ={{\left\langle  \Phi  | \Psi  \right\rangle }^{*}}</math>
# Vollständigkeitsrelation{{FB|Vollständigkeitsrelation}} für Basis <math>{{\Psi }_{n}}\leftrightarrow \left| n \right\rangle </math>
# Vollständigkeitsrelation{{FB|Vollständigkeitsrelation}} für Basis <math>{{\Psi }_{n}}\leftrightarrow \left| n \right\rangle </math>
#  
#
<math>\begin{align}
:<math>\begin{align}
& \left| \Phi  \right\rangle =\sum\limits_{n}{\left\langle  n | \Phi  \right\rangle \left| n \right\rangle } \\
& \left| \Phi  \right\rangle =\sum\limits_{n}{\left\langle  n | \Phi  \right\rangle \left| n \right\rangle } \\
& \left| \Phi  \right\rangle =\sum\limits_{n}{\underbrace{\left| n \right\rangle \left\langle  n \right|}_{{\underline{1}}}\left. \Phi  \right\rangle } \\
& \left| \Phi  \right\rangle =\sum\limits_{n}{\underbrace{\left| n \right\rangle \left\langle  n \right|}_{{\underline{1}}}\left. \Phi  \right\rangle } \\
\end{align}</math>
\end{align}</math>


{{NumBlk|:|„{{FB|vollständige Eins}}“
{{NumBlk|:|„{{FB|vollständige Eins}}“
<math>\underline{1}=\left| n \right\rangle \left\langle  n \right|</math>
:<math>\underline{1}=\left| n \right\rangle \left\langle  n \right|</math>
: |(2.13)|RawN=.}}
: |(2.13)|RawN=.}}
#{{FB|Dualraum}} und Bra-Zustände
#{{FB|Dualraum}} und Bra-Zustände
Dualraum <math>{{\mathcal{H}}^{*}}</math>eines Hilbertraum <math>\mathcal{H}</math>: Raum aller linearen Funktionale
Dualraum <math>{{\mathcal{H}}^{*}}</math>eines Hilbertraum <math>\mathcal{H}</math>: Raum aller linearen Funktionale
{{NumBlk|:|
{{NumBlk|:|
<math>\left\langle  \Psi  \right|:\mathcal{H}\to \mathbb{C},\quad \left| \Phi  \right\rangle \to \left\langle  \Psi  | \Phi  \right\rangle </math>
:<math>\left\langle  \Psi  \right|:\mathcal{H}\to \mathbb{C},\quad \left| \Phi  \right\rangle \to \left\langle  \Psi  | \Phi  \right\rangle </math>
: |(2.14)|RawN=.}}
: |(2.14)|RawN=.}}
Vektor <math>\left| \Psi  \right\rangle </math>als Funktional <math>\left\langle  \Psi  \right|</math>aufgefasst wie in (2.14) heißt „Dirac-Bra“ oder einfach „Bra“ Name von <math>\underbrace{\left\langle \Psi  \right.}_{\text{bra}}|\underbrace{\left. \Phi  \right\rangle }_{\text{ket}}</math>engl. ‚bracket‘
Vektor <math>\left| \Psi  \right\rangle </math>als Funktional <math>\left\langle  \Psi  \right|</math>aufgefasst wie in (2.14) heißt „Dirac-Bra“ oder einfach „Bra“ Name von <math>\underbrace{\left\langle \Psi  \right.}_{\text{bra}}|\underbrace{\left. \Phi  \right\rangle }_{\text{ket}}</math>engl. ‚bracket‘
Line 150: Line 150:
===Operatoren in der Quantenmechanik===
===Operatoren in der Quantenmechanik===
Definition: Ein '''{{FB|linearer Operator}}''' <math>\hat{A}:\mathcal{H}\to \mathcal{H}</math> (<math>\mathcal{H}</math> Hilbertraum), erfüllt
Definition: Ein '''{{FB|linearer Operator}}''' <math>\hat{A}:\mathcal{H}\to \mathcal{H}</math> (<math>\mathcal{H}</math> Hilbertraum), erfüllt
{{NumBlk|:|
{{NumBlk|:|
<math>\hat{A}\left( \left| \Psi  \right\rangle +c\left| \Phi  \right\rangle  \right)=\hat{A}\left| \Psi  \right\rangle +c\hat{A}\left| \Phi  \right\rangle </math>
:<math>\hat{A}\left( \left| \Psi  \right\rangle +c\left| \Phi  \right\rangle  \right)=\hat{A}\left| \Psi  \right\rangle +c\hat{A}\left| \Phi  \right\rangle </math>
: |(2.15)|RawN=.}}
: |(2.15)|RawN=.}}
Beispiele:
Beispiele:
Line 157: Line 157:
für <math>\mathcal{H}={{\mathcal{H}}_{L}}:\quad \hat{x}:\Psi \left( x \right)\to x\Psi \left( x \right)\quad \hat{p}:\Psi \left( x \right)\to \frac{\hbar }{\mathfrak{i} }\Psi '\left( x \right)</math>
für <math>\mathcal{H}={{\mathcal{H}}_{L}}:\quad \hat{x}:\Psi \left( x \right)\to x\Psi \left( x \right)\quad \hat{p}:\Psi \left( x \right)\to \frac{\hbar }{\mathfrak{i} }\Psi '\left( x \right)</math>
# n x n-Matrizen auf <math>{{\mathbb{C}}^{2}}</math>
# n x n-Matrizen auf <math>{{\mathbb{C}}^{2}}</math>
<math>{{\mathbb{C}}^{2}}</math>ist in der Tat der einfachste nichttriviale Hilbertraum, auf dem sich Quantenmechanik machen lässt! Beispiel Spin ½ , Pauli-Matrizen.
:<math>{{\mathbb{C}}^{2}}</math>ist in der Tat der einfachste nichttriviale Hilbertraum, auf dem sich Quantenmechanik machen lässt! Beispiel Spin ½, Pauli-Matrizen.
Definition Der {{FB|Erwartungswert}} eines Operators <math>\hat{A}</math>im Zustand <math>\left| \Psi  \right\rangle </math>ist
Definition Der {{FB|Erwartungswert}} eines Operators <math>\hat{A}</math>im Zustand <math>\left| \Psi  \right\rangle </math>ist
{{NumBlk|:|
{{NumBlk|:|
<math>{{\left\langle {\hat{A}} \right\rangle }_{\Psi }}:=\frac{\left\langle  \Psi  | \hat{A}\Psi  \right\rangle }{\left\langle  \Psi  | \Psi  \right\rangle }:=\frac{\left\langle \Psi \left| {\hat{A}} \right|\Psi  \right\rangle }{\left\langle  \Psi  | \Psi  \right\rangle }</math>
:<math>{{\left\langle {\hat{A}} \right\rangle }_{\Psi }}:=\frac{\left\langle  \Psi  | \hat{A}\Psi  \right\rangle }{\left\langle  \Psi  | \Psi  \right\rangle }:=\frac{\left\langle \Psi \left| {\hat{A}} \right|\Psi  \right\rangle }{\left\langle  \Psi  | \Psi  \right\rangle }</math>
: |(2.16)|RawN=.}}
: |(2.16)|RawN=.}}
{{NumBlk|:|Definition|(2.17)|RawN=.}}: {{FB|Matrixelement}} eines Operators <math>\left\langle n\left| {\hat{A}} \right|m \right\rangle </math>
{{NumBlk|:|Definition|(2.17)|RawN=.}}: {{FB|Matrixelement}} eines Operators <math>\left\langle n\left| {\hat{A}} \right|m \right\rangle </math>
Beispiele <math>\left| n \right\rangle \to {{\Psi }_{n}}\left( x \right)</math>Wellenfunktion des eindimensionalen Oszillators, normiert.
Beispiele <math>\left| n \right\rangle \to {{\Psi }_{n}}\left( x \right)</math>Wellenfunktion des eindimensionalen Oszillators, normiert.


<math>\hat{A}={{\hat{x}}^{2}}</math>
:<math>\hat{A}={{\hat{x}}^{2}}</math>
Dann ist <math>{{\left\langle {\hat{x}} \right\rangle }_{n}}=\int\limits_{-\infty }^{\infty }{{{\Psi }_{n}}^{*}\left( x \right){{x}^{2}}{{\Psi }_{n}}\left( x \right)dx=}\int\limits_{-\infty }^{\infty }{{{x}^{2}}\underbrace{{{\left| \Psi \left( x \right) \right|}^{2}}}_{\text{Wahrscheinlichkeitsdichte}}dx}</math>
Dann ist <math>{{\left\langle {\hat{x}} \right\rangle }_{n}}=\int\limits_{-\infty }^{\infty }{{{\Psi }_{n}}^{*}\left( x \right){{x}^{2}}{{\Psi }_{n}}\left( x \right)dx=}\int\limits_{-\infty }^{\infty }{{{x}^{2}}\underbrace{{{\left| \Psi \left( x \right) \right|}^{2}}}_{\text{Wahrscheinlichkeitsdichte}}dx}</math>
{{NumBlk|:|Definition|(2.18)|RawN=.}}: Der zu einem linearen Hilbertraum-Operator A '''adjungierte Operator{{FB|adjungierter Operator}}''' A<sup>+</sup> ist definiert durch
{{NumBlk|:|Definition|(2.18)|RawN=.}}: Der zu einem linearen Hilbertraum-Operator A '''adjungierte Operator{{FB|adjungierter Operator}}''' A<sup>+</sup> ist definiert durch


<math>\left\langle  \Psi  | A\Phi  \right\rangle =\left\langle  {{A}^{+}}\Psi  | \Phi  \right\rangle \quad \forall \Psi ,\Phi \in \mathcal{H}</math>
:<math>\left\langle  \Psi  | A\Phi  \right\rangle =\left\langle  {{A}^{+}}\Psi  | \Phi  \right\rangle \quad \forall \Psi ,\Phi \in \mathcal{H}</math>


{{NumBlk|:|Definition|(2.19)|RawN=.}}: Ein linearer Operator heißt {{FB|hermitesch}} ({{FB|selbstadjungiert}})<ref>i.A. ungleich (der Unterscheid ist manchmal wichtig)</ref>, <math>{{A}^{+}}=A</math> wenn
{{NumBlk|:|Definition|(2.19)|RawN=.}}: Ein linearer Operator heißt {{FB|hermitesch}} ({{FB|selbstadjungiert}})<ref>i.A. ungleich (der Unterscheid ist manchmal wichtig)</ref>, <math>{{A}^{+}}=A</math> wenn


<math>\left\langle  \Psi  | A\Phi  \right\rangle =\left\langle  A\Psi  | \Phi  \right\rangle \quad \forall \Psi ,\Phi \in \mathcal{H}</math>
:<math>\left\langle  \Psi  | A\Phi  \right\rangle =\left\langle  A\Psi  | \Phi  \right\rangle \quad \forall \Psi ,\Phi \in \mathcal{H}</math>


Axiom: In der Quantenmechanik werden physikalische Messgrößen als Observable bezeichnet und durch selbstadjungierte Operatoren auf einem Hilbertraum dargestellt.
Axiom: In der Quantenmechanik werden physikalische Messgrößen als Observable bezeichnet und durch selbstadjungierte Operatoren auf einem Hilbertraum dargestellt.
* Energie <math>\mathcal{H}</math>Hamiltonoperator
* Energie <math>\mathcal{H}</math>Hamiltonoperator
{{NumBlk|:|
{{NumBlk|:|
<math>\hat{H}=\frac{{{{\hat{p}}}^{2}}}{2m}+V\left( {\underline{r}} \right)</math>
:<math>\hat{H}=\frac{{{{\hat{p}}}^{2}}}{2m}+V\left( {\underline{r}} \right)</math>
: |(2.20)|RawN=.}}
: |(2.20)|RawN=.}}
für nichtrelativistische Teilchen der Masse
für nichtrelativistische Teilchen der Masse
* Ort <math>\hat{r}</math>, Impuls <math>\hat{p}=\frac{\hbar }{\mathfrak{i} }\underline{\nabla }</math>, Drehimpuls{{FB|Drehimpuls}} <math>\hat{L}=\hat{r}\times \hat{p}</math>
* Ort <math>\hat{r}</math>, Impuls <math>\hat{p}=\frac{\hbar }{\mathfrak{i} }\underline{\nabla }</math>, Drehimpuls{{FB|Drehimpuls}} <math>\hat{L}=\hat{r}\times \hat{p}</math>
* Spin ½ (Helizität) in Richtung <math>\hat{n}</math>für Dirac-Teilchen,
* Spin ½ (Helizität) in Richtung <math>\hat{n}</math>für Dirac-Teilchen,
*  
*
<math>\frac{1}{2}\hat{n}\Sigma =\frac{1}{2}\left( \begin{matrix}
:<math>\frac{1}{2}\hat{n}\Sigma =\frac{1}{2}\left( \begin{matrix}
\hat{n}\underline{\sigma } & 0  \\
\hat{n}\underline{\sigma } & 0  \\
0 & \hat{n}\underline{\sigma }  \\
0 & \hat{n}\underline{\sigma }  \\
\end{matrix} \right)</math>
\end{matrix} \right)</math>
vgl.
vgl.
Satz: Die Eigenwerte selbstadjungierter Operatoren sind reell die Eigenkets sind orthogonal.
Satz: Die Eigenwerte selbstadjungierter Operatoren sind reell die Eigenkets sind orthogonal.
Damit erhält man die {{FB|Spektralzerlegung}} von Operatoren <math>\hat{A}</math>nach seinen Eigenzuständen, d.h.
Damit erhält man die {{FB|Spektralzerlegung}} von Operatoren <math>\hat{A}</math>nach seinen Eigenzuständen, d.h.
{{NumBlk|:|
{{NumBlk|:|
<math>\hat{A}\left| n \right\rangle ={{a}_{n}}\left| n \right\rangle \Rightarrow \hat{A}=\sum\limits_{n}{{{a}_{n}}{{{\hat{P}}}_{n}}}</math>
:<math>\hat{A}\left| n \right\rangle ={{a}_{n}}\left| n \right\rangle \Rightarrow \hat{A}=\sum\limits_{n}{{{a}_{n}}{{{\hat{P}}}_{n}}}</math>
: |(2.21)|RawN=.}}
: |(2.21)|RawN=.}}
mit <math>{{\hat{P}}_{n}}</math>dem orthogonalen Projektor auf Unterraum der von den Eigenvektoren zum Eigenwert a<sub>n</sub> aufgespannt wird.
mit <math>{{\hat{P}}_{n}}</math>dem orthogonalen Projektor auf Unterraum der von den Eigenvektoren zum Eigenwert a<sub>n</sub> aufgespannt wird.
Falls a<sub>n</sub> nicht entartet, gilt
Falls a<sub>n</sub> nicht entartet, gilt
<math>{{\hat{P}}_{n}}=\left| n \right\rangle \left\langle  n \right|</math>
:<math>{{\hat{P}}_{n}}=\left| n \right\rangle \left\langle  n \right|</math>,
,<math>\left| n \right\rangle </math>normiert.
<math>\left| n \right\rangle </math>normiert.
Axiom:
Axiom:
Die möglichen Messwerte einer Observablen  im Zustand <math>\left| \Psi  \right\rangle </math> sind die Eigenwerte a<sub>n</sub>, die mit Wahrscheinlichkeit
Die möglichen Messwerte einer Observablen  im Zustand <math>\left| \Psi  \right\rangle </math> sind die Eigenwerte a<sub>n</sub>, die mit Wahrscheinlichkeit
Line 205: Line 205:
===Das Zweiniveausystem als einfachstes Quantensystem===
===Das Zweiniveausystem als einfachstes Quantensystem===
Wir betrachten ein Teilchen, das zwischen zwei Potentialmulden (L links) und (R rechts) hin und her-tunnelt. In grober Vereinfachung betrachten wir nur die Energie der tiefsten Zustände links und rechts <math>{{\varepsilon }_{L}}</math>und <math>{{\varepsilon }_{R}}</math>
Wir betrachten ein Teilchen, das zwischen zwei Potentialmulden (L links) und (R rechts) hin und her-tunnelt. In grober Vereinfachung betrachten wir nur die Energie der tiefsten Zustände links und rechts <math>{{\varepsilon }_{L}}</math>und <math>{{\varepsilon }_{R}}</math>
 
Ohne tunneln wäre der Hamiltonoperator für dieses vereinfachte System
Ohne tunneln wäre der Hamiltonoperator für dieses vereinfachte System
{{NumBlk|:|
{{NumBlk|:|
<math>{{\hat{H}}_{0}}={{\varepsilon }_{L}}\left| L \right\rangle \left\langle  L \right|+{{\varepsilon }_{R}}\left| R \right\rangle \left\langle  R \right|</math>
:<math>{{\hat{H}}_{0}}={{\varepsilon }_{L}}\left| L \right\rangle \left\langle  L \right|+{{\varepsilon }_{R}}\left| R \right\rangle \left\langle  R \right|</math>
: |(2.23)|RawN=.}}
: |(2.23)|RawN=.}}
Im Matrix- Schreibweise als {{FB|Qubit}} im Hilbertraum <math>\mathcal{H}={{\mathbb{C}}^{2}}</math>
Im Matrix- Schreibweise als {{FB|Qubit}} im Hilbertraum <math>\mathcal{H}={{\mathbb{C}}^{2}}</math>
{{NumBlk|:|
{{NumBlk|:|
<math>\left| L \right\rangle =\left( \begin{align}
:<math>\left| L \right\rangle =\left( \begin{align}
& 1 \\
& 1 \\
& 0 \\
& 0 \\
Line 230: Line 230:
: |(2.25)|RawN=.}}
: |(2.25)|RawN=.}}
Den Gesamt-Hamilton-Operator beschreiben wir durch die Summe
Den Gesamt-Hamilton-Operator beschreiben wir durch die Summe
{{NumBlk|:|
{{NumBlk|:|
<math>\hat{H}={{\hat{H}}_{0}}+\hat{V}</math>
:<math>\hat{H}={{\hat{H}}_{0}}+\hat{V}</math>
: |(2.26)|RawN=.}}
: |(2.26)|RawN=.}}
<FONT COLOR="#3300CC">'''''AUFGABEN…'''''</FONT>
<FONT COLOR="#3300CC">'''''AUFGABEN…'''''</FONT>
===Zeitentwicklung in der Quantenmechanik===
===Zeitentwicklung in der Quantenmechanik===
Ausgangspunkt: Bewegungsgleichung (Schrödinger, Dirac) der Form
Ausgangspunkt: Bewegungsgleichung (Schrödinger, Dirac) der Form
{{NumBlk|:|
{{NumBlk|:|
<math>\mathfrak{i} {{\partial }_{t}}\left| \Psi \left( t \right) \right\rangle =\hat{H}\left( t \right)\left| \Psi \left( t \right) \right\rangle </math>
:<math>\mathfrak{i} {{\partial }_{t}}\left| \Psi \left( t \right) \right\rangle =\hat{H}\left( t \right)\left| \Psi \left( t \right) \right\rangle </math>
: |(2.27)|RawN=.}}
: |(2.27)|RawN=.}}
Hier ist
Hier ist
<math>\left| \Psi \left( t \right) \right\rangle </math>
:<math>\left| \Psi \left( t \right) \right\rangle </math>
zeitabhängig und auch der Hamiltonian
zeitabhängig und auch der Hamiltonian
<math>\hat{H}\left( t \right)</math>
:<math>\hat{H}\left( t \right)</math>
kann zeitabhängig sein, z.B. <math>\hat{H}=\frac{{{p}^{2}}}{2m}+V\left( x,t \right)</math> (zeitabhängiges Potential)
kann zeitabhängig sein, z.B. <math>\hat{H}=\frac{{{p}^{2}}}{2m}+V\left( x,t \right)</math> (zeitabhängiges Potential)
====Zeitunabhängiger Hamiltonian====
====Zeitunabhängiger Hamiltonian====
In diesem Fall formale Lösung von (2.27) durch
In diesem Fall formale Lösung von (2.27) durch
{{NumBlk|:|
{{NumBlk|:|
<math>\left| \Psi \left( t \right) \right\rangle ={{e}^{-i\hat{H}\left( t-{{t}_{0}} \right)}}\left| \Psi \left( {{t}_{0}} \right) \right\rangle \quad ,\quad t>{{t}_{0}}</math>
:<math>\left| \Psi \left( t \right) \right\rangle ={{e}^{-i\hat{H}\left( t-{{t}_{0}} \right)}}\left| \Psi \left( {{t}_{0}} \right) \right\rangle \quad ,\quad t>{{t}_{0}}</math>
: |(2.28)|RawN=.}}
: |(2.28)|RawN=.}}
als {{FB|Anfangswertproblem}} mit dem
als {{FB|Anfangswertproblem}} mit dem
{{NumBlk|:|
{{NumBlk|:|
<math>\hat{U}\left( t,{{t}_{0}} \right)={{e}^{i\hat{H}\left( t-{{t}_{0}} \right)}}\quad t>{{t}_{0}}</math>
:<math>\hat{U}\left( t,{{t}_{0}} \right)={{e}^{i\hat{H}\left( t-{{t}_{0}} \right)}}\quad t>{{t}_{0}}</math>
: |(2.29)|RawN=.}}
: |(2.29)|RawN=.}}
Û ist unitär, <math>{{\hat{U}}^{-1}}={{\hat{U}}^{+}}</math>, denn <math>\hat{H}={{\hat{H}}^{+}}</math>ist selbstadjungiert
Û ist unitär, <math>{{\hat{U}}^{-1}}={{\hat{U}}^{+}}</math>, denn <math>\hat{H}={{\hat{H}}^{+}}</math>ist selbstadjungiert
Die {{FB|Zeitentwicklung}}
Die {{FB|Zeitentwicklung}}
<math>\left| \Psi \left( t \right) \right\rangle =\hat{U}\left( t,{{t}_{0}} \right)\left| \Psi \left( {{t}_{0}} \right) \right\rangle </math>
:<math>\left| \Psi \left( t \right) \right\rangle =\hat{U}\left( t,{{t}_{0}} \right)\left| \Psi \left( {{t}_{0}} \right) \right\rangle </math>
ist eine unitäre Transformation. Erwartungswerte von der Observabelen Â
ist eine unitäre Transformation. Erwartungswerte von der Observabelen Â


<math>{{\left\langle {\hat{A}} \right\rangle }_{0}}:={{\left\langle {\hat{A}} \right\rangle }_{\left| \Psi \left( 0 \right) \right\rangle }}=\left\langle \Psi \left( 0 \right)\,\left| \hat{A}\, \right|\,\Psi \left( 0 \right) \right\rangle </math>
:<math>{{\left\langle {\hat{A}} \right\rangle }_{0}}:={{\left\langle {\hat{A}} \right\rangle }_{\left| \Psi \left( 0 \right) \right\rangle }}=\left\langle \Psi \left( 0 \right)\,\left| \hat{A}\, \right|\,\Psi \left( 0 \right) \right\rangle </math>
: zur Zeit <math>{{t}_{0}}=0</math> (<math>\left| \Psi \left( 0 \right) \right\rangle </math> normiert.)
: zur Zeit <math>{{t}_{0}}=0</math> (<math>\left| \Psi \left( 0 \right) \right\rangle </math> normiert.)


<math>{{\left\langle {\hat{A}} \right\rangle }_{t}}:={{\left\langle {\hat{A}} \right\rangle }_{\left| \Psi \left( t \right) \right\rangle }}=\left\langle \Psi \left( t \right)\,\left| \hat{A}\, \right|\,\Psi \left( t \right) \right\rangle </math>
:<math>{{\left\langle {\hat{A}} \right\rangle }_{t}}:={{\left\langle {\hat{A}} \right\rangle }_{\left| \Psi \left( t \right) \right\rangle }}=\left\langle \Psi \left( t \right)\,\left| \hat{A}\, \right|\,\Psi \left( t \right) \right\rangle </math>
: zur Zeit <math>{{t}_{0}}>0</math>
: zur Zeit <math>{{t}_{0}}>0</math>
Wir haben
Wir haben


<math>{{\left\langle {\hat{A}} \right\rangle }_{t}}=\left\langle \Psi \left( 0 \right){{e}^{\mathfrak{i} \hat{H}t}}\,\left| \hat{A}\, \right|\,{{e}^{-\mathfrak{i} \hat{H}t}}\Psi \left( 0 \right) \right\rangle =\left\langle \Psi \left( 0 \right)\,\underbrace{\left| {{e}^{\mathfrak{i} \hat{H}t}}\hat{A}{{e}^{-\mathfrak{i} \hat{H}t}} \right|}_{\tilde{A}}\,\Psi \left( 0 \right) \right\rangle </math>
:<math>{{\left\langle {\hat{A}} \right\rangle }_{t}}=\left\langle \Psi \left( 0 \right){{e}^{\mathfrak{i} \hat{H}t}}\,\left| \hat{A}\, \right|\,{{e}^{-\mathfrak{i} \hat{H}t}}\Psi \left( 0 \right) \right\rangle =\left\langle \Psi \left( 0 \right)\,\underbrace{\left| {{e}^{\mathfrak{i} \hat{H}t}}\hat{A}{{e}^{-\mathfrak{i} \hat{H}t}} \right|}_{\tilde{A}}\,\Psi \left( 0 \right) \right\rangle </math>
also
also
{{NumBlk|:|
{{NumBlk|:|
<math>\tilde{A}\left( t \right):={{e}^{-\mathfrak{i} \hat{H}t}}\hat{A}{{e}^{-\mathfrak{i} \hat{H}t}}</math>
:<math>\tilde{A}\left( t \right):={{e}^{-\mathfrak{i} \hat{H}t}}\hat{A}{{e}^{-\mathfrak{i} \hat{H}t}}</math>
(Zeitentwicklung von Operator
(Zeitentwicklung von Operator
<math>\hat{A}</math>
:<math>\hat{A}</math>
im Heisenbergbild) | |RawN=.}}
im Heisenbergbild) | |RawN=.}}
Bemerkung: <math>\text{Ket}\quad \hat{B}\left| \Psi  \right\rangle \mapsto \left\langle  \Psi  \right|{{\hat{B}}^{+}}\quad \quad Bra</math>
Bemerkung: <math>\text{Ket}\quad \hat{B}\left| \Psi  \right\rangle \mapsto \left\langle  \Psi  \right|{{\hat{B}}^{+}}\quad \quad Bra</math>
Skalarprodukt: Mathematiker:
Skalarprodukt: Mathematiker:
<math>\left( \left| \Psi  \right\rangle ,\left| \Phi  \right\rangle  \right)\equiv \left\langle  \Psi  | \Phi  \right\rangle </math>
:<math>\left( \left| \Psi  \right\rangle ,\left| \Phi  \right\rangle  \right)\equiv \left\langle  \Psi  | \Phi  \right\rangle </math>
:Physiker-Notation
:Physiker-Notation
Es gibt also zwei <u>unitär Äquivalente</u> Arten der Zeitentwicklung
Es gibt also zwei <u>unitär Äquivalente</u> Arten der Zeitentwicklung
# „{{FB|Schrödinger-Bild}}“ Operatoren <math>\hat{A}</math>fest, Zustände zeitabhängig
# „{{FB|Schrödinger-Bild}}“ Operatoren <math>\hat{A}</math>fest, Zustände zeitabhängig
# <math>\left| \Psi \left( t \right) \right\rangle =\hat{U}\left( t,{{t}_{0}} \right)\left| \Psi \left( {{t}_{0}} \right) \right\rangle </math>
# <math>\left| \Psi \left( t \right) \right\rangle =\hat{U}\left( t,{{t}_{0}} \right)\left| \Psi \left( {{t}_{0}} \right) \right\rangle </math>
#  
#
# „{{FB|Heisenberg-Bild}}“ Zustand <math>\left| \Psi \left( {{t}_{0}} \right) \right\rangle </math>fest (Anfangszustand), Operatoren zeitabhängig<math>\hat{A}\left( t \right)={{\hat{U}}^{+}}\left( t,{{t}_{0}} \right)\hat{A}\hat{U}\left( t,{{t}_{0}} \right)</math>
# „{{FB|Heisenberg-Bild}}“ Zustand <math>\left| \Psi \left( {{t}_{0}} \right) \right\rangle </math>fest (Anfangszustand), Operatoren zeitabhängig<math>\hat{A}\left( t \right)={{\hat{U}}^{+}}\left( t,{{t}_{0}} \right)\hat{A}\hat{U}\left( t,{{t}_{0}} \right)</math>
Im Heisenberg-Bild hat man die Bewegungsgleichung
Im Heisenberg-Bild hat man die Bewegungsgleichung
{{NumBlk|:|Heisenberg-Bewegungsgleichung{{FB|Bewegungsgleichung:Heisenberg}}
{{NumBlk|:|Heisenberg-Bewegungsgleichung{{FB|Bewegungsgleichung:Heisenberg}}
<math>{{d}_{t}}\hat{A}\left( t \right)=\mathfrak{i} \left[ \hat{H},\hat{A}\left( t \right) \right]</math>
:<math>{{d}_{t}}\hat{A}\left( t \right)=\mathfrak{i} \left[ \hat{H},\hat{A}\left( t \right) \right]</math>
: |(2.31)|RawN=.}}
: |(2.31)|RawN=.}}
Häufig schreibt man<math>{{\hat{A}}_{H}}\left( t \right)</math>, falls die Operatoren <math>\hat{A}</math>bereits im Schrödinger-Bild eine intrinsische Zeitabhängigkeit haben, z.B. durch zeitabhängige äußere Felder, d.h.
Häufig schreibt man<math>{{\hat{A}}_{H}}\left( t \right)</math>, falls die Operatoren <math>\hat{A}</math>bereits im Schrödinger-Bild eine intrinsische Zeitabhängigkeit haben, z.B. durch zeitabhängige äußere Felder, d.h.
{{NumBlk|:|
{{NumBlk|:|
<math>\hat{A}=\hat{A}\left( t \right)\Rightarrow {{\left\langle {\hat{A}} \right\rangle }_{t}}=\left\langle \Psi \left( t \right)\,\underbrace{\left| \hat{A}\left( t \right)\, \right|}_{\text{Intrinsisch}}\,\Psi \left( t \right) \right\rangle =\left\langle \Psi \left( 0 \right)\,\underbrace{\left| {{e}^{\mathfrak{i} \hat{H}t}}\hat{A}{{e}^{-\mathfrak{i} \hat{H}t}} \right|}_{{{{\hat{A}}}_{H}}\left( t \right)}\,\Psi \left( 0 \right) \right\rangle </math>
:<math>\hat{A}=\hat{A}\left( t \right)\Rightarrow {{\left\langle {\hat{A}} \right\rangle }_{t}}=\left\langle \Psi \left( t \right)\,\underbrace{\left| \hat{A}\left( t \right)\, \right|}_{\text{Intrinsisch}}\,\Psi \left( t \right) \right\rangle =\left\langle \Psi \left( 0 \right)\,\underbrace{\left| {{e}^{\mathfrak{i} \hat{H}t}}\hat{A}{{e}^{-\mathfrak{i} \hat{H}t}} \right|}_{{{{\hat{A}}}_{H}}\left( t \right)}\,\Psi \left( 0 \right) \right\rangle </math>
: |(2.32)|RawN=.}}
: |(2.32)|RawN=.}}
so dass <font color="#3300CC">'''''(CHECK)'''''</FONT>
so dass <font color="#3300CC">'''''(CHECK)'''''</FONT>
{{NumBlk|:|
{{NumBlk|:|
<math>{{d}_{t}}{{\hat{A}}_{H}}\left( t \right)=i\left[ \hat{H},\hat{A}\left( t \right) \right]+{{e}^{\mathfrak{i} \hat{H}t}}\underbrace{{{d}_{t}}\hat{A}\left( t \right)}_{\text{intrinsisch}}{{e}^{-\mathfrak{i} \hat{H}t}}</math>
:<math>{{d}_{t}}{{\hat{A}}_{H}}\left( t \right)=i\left[ \hat{H},\hat{A}\left( t \right) \right]+{{e}^{\mathfrak{i} \hat{H}t}}\underbrace{{{d}_{t}}\hat{A}\left( t \right)}_{\text{intrinsisch}}{{e}^{-\mathfrak{i} \hat{H}t}}</math>
: |(2.33)|RawN=.}}
: |(2.33)|RawN=.}}


Line 297: Line 297:
Die meisten Fälle mit zeitabhängigem <math>\hat{H}\left( t \right)</math>sind exakt nicht mehr lösbar.
Die meisten Fälle mit zeitabhängigem <math>\hat{H}\left( t \right)</math>sind exakt nicht mehr lösbar.
Hier betrachten wir
Hier betrachten wir
{{NumBlk|:|
{{NumBlk|:|
<math>\hat{H}\left( t \right)=\underline{B}\left( t \right)\underline{\sigma }=\left( \begin{matrix}
:<math>\hat{H}\left( t \right)=\underline{B}\left( t \right)\underline{\sigma }=\left( \begin{matrix}
{{B}_{z}}\left( t \right) & B_{||}^{*}\left( t \right)  \\
{{B}_{z}}\left( t \right) & B_{||}^{*}\left( t \right)  \\
B_{||}^{*}\left( t \right) & -{{B}_{z}}\left( t \right)  \\
B_{||}^{*}\left( t \right) & -{{B}_{z}}\left( t \right)  \\
Line 308: Line 308:
*  (1.44)
*  (1.44)
mit Konstante <math>-\frac{e\hbar }{2m}\to 1</math> und Separation des Ortes (<u>x</u>) und Spin Freiheitsgrade
mit Konstante <math>-\frac{e\hbar }{2m}\to 1</math> und Separation des Ortes (<u>x</u>) und Spin Freiheitsgrade
{{NumBlk|:|
{{NumBlk|:|
<math>\varphi \left( \underline{x},t \right)=\underbrace{\Psi \left( \underline{x},t \right)}_{\text{Orts-WF}}\underbrace{\left( \begin{align}
:<math>\varphi \left( \underline{x},t \right)=\underbrace{\Psi \left( \underline{x},t \right)}_{\text{Orts-WF}}\underbrace{\left( \begin{align}
& {{\chi }_{1}}\left( t \right) \\
& {{\chi }_{1}}\left( t \right) \\
& {{\chi }_{2}}\left( t \right) \\
& {{\chi }_{2}}\left( t \right) \\
Line 315: Line 315:
: |(2.35)|RawN=.}}
: |(2.35)|RawN=.}}
in Dirac-Schreibweise
in Dirac-Schreibweise
{{NumBlk|:|
{{NumBlk|:|
<math>\begin{align}
:<math>\begin{align}
& \left| \varphi \left( t \right) \right\rangle \quad =\quad \left| \Psi \left( t \right) \right\rangle \quad \otimes \quad \left| \chi \left( t \right) \right\rangle  \\
& \left| \varphi \left( t \right) \right\rangle \quad =\quad \left| \Psi \left( t \right) \right\rangle \quad \otimes \quad \left| \chi \left( t \right) \right\rangle  \\
& \mathcal{H}\quad =\quad {{\mathcal{H}}_{Ort}}\quad \otimes \quad {{\mathcal{H}}_{Spin}} \\
& \mathcal{H}\quad =\quad {{\mathcal{H}}_{Ort}}\quad \otimes \quad {{\mathcal{H}}_{Spin}} \\
Line 338: Line 338:
# <math>\underline{B}=\text{const}\Rightarrow </math>quantenmechanische Ozillatoren
# <math>\underline{B}=\text{const}\Rightarrow </math>quantenmechanische Ozillatoren
Eigenwerte von <math>\hat{H}</math> sind
Eigenwerte von <math>\hat{H}</math> sind
<math>{{\varepsilon }_{\pm }}=\pm \left| {\underline{B}} \right|\quad \left| {\underline{B}} \right|=\sqrt{B_{z}^{2}+{{\left| {{B}_{||}} \right|}^{2}}}</math>
:<math>{{\varepsilon }_{\pm }}=\pm \left| {\underline{B}} \right|\quad \left| {\underline{B}} \right|=\sqrt{B_{z}^{2}+{{\left| {{B}_{||}} \right|}^{2}}}</math>
(CHECK)
(CHECK)
Zeitentwicklung <math>U\left( t,0 \right)={{e}^{-i\hat{H}t}}=S{{e}^{-iDt}}{{S}^{-1}}</math>mit <math>D=diag\left( {{\varepsilon }_{+}},{{\varepsilon }_{-}} \right)</math>
à Zeitentwicklung <math>U\left( t,0 \right)={{e}^{-i\hat{H}t}}=S{{e}^{-iDt}}{{S}^{-1}}</math>mit <math>D=diag\left( {{\varepsilon }_{+}},{{\varepsilon }_{-}} \right)</math>
Alternativer Lösungsweg: Ansatz
Alternativer Lösungsweg: Ansatz
<math>{{\chi }_{j}}\left( t \right)={{c}_{j}}{{e}^{izt}}</math>
:<math>{{\chi }_{j}}\left( t \right)={{c}_{j}}{{e}^{izt}}</math>
in  (siehe b)
in  (siehe b)
# Rotierende B-Feld Rabi-Oszillationen
# Rotierende B-Feld à Rabi-Oszillationen
Hier
Hier
{{NumBlk|:|
{{NumBlk|:|
<math>\begin{align}
:<math>\begin{align}
& {{B}_{z}}={{B}_{0}}=\text{const} \\
& {{B}_{z}}={{B}_{0}}=\text{const} \\
& {{B}_{||}}={{B}_{1}}{{e}^{\mathfrak{i} \omega t}}=\underbrace{{{B}_{1}}\cos \omega t}_{{{B}_{x}}}+\mathfrak{i} \underbrace{{{B}_{1}}\sin \omega t}_{{{B}_{y}}}\quad {{B}_{1}}\in \mathbb{R} \\
& {{B}_{||}}={{B}_{1}}{{e}^{\mathfrak{i} \omega t}}=\underbrace{{{B}_{1}}\cos \omega t}_{{{B}_{x}}}+\mathfrak{i} \underbrace{{{B}_{1}}\sin \omega t}_{{{B}_{y}}}\quad {{B}_{1}}\in \mathbb{R} \\
Line 353: Line 353:
: |(2.38)|RawN=.}}
: |(2.38)|RawN=.}}


<math>{{B}_{||}}</math>
:<math>{{B}_{||}}</math>
rotiert in x-y-Ebene „Drehwellenmodelle“
rotiert in x-y-Ebene „Drehwellenmodelle“
{{NumBlk|:| <math>\begin{align}
{{NumBlk|:| <math>\begin{align}
Line 365: Line 365:
\end{matrix} \right|={{z}^{2}}-{{\left( {{B}_{0}}-\frac{\omega }{2} \right)}^{2}}-B_{1}^{2}\Rightarrow {{z}_{\pm }}=\pm \sqrt{{{\left( {{B}_{0}}-\frac{\omega }{2} \right)}^{2}}+B_{1}^{2}}=\pm \frac{1}{2}{{\Omega }_{R}}</math>
\end{matrix} \right|={{z}^{2}}-{{\left( {{B}_{0}}-\frac{\omega }{2} \right)}^{2}}-B_{1}^{2}\Rightarrow {{z}_{\pm }}=\pm \sqrt{{{\left( {{B}_{0}}-\frac{\omega }{2} \right)}^{2}}+B_{1}^{2}}=\pm \frac{1}{2}{{\Omega }_{R}}</math>
: mit
: mit
{{NumBlk|:|
{{NumBlk|:|
<math>{{\Omega }_{R}}:=\sqrt{{{\left( 2{{B}_{0}}-\omega  \right)}^{2}}+4B_{1}^{2}}</math>
:<math>{{\Omega }_{R}}:=\sqrt{{{\left( 2{{B}_{0}}-\omega  \right)}^{2}}+4B_{1}^{2}}</math>
: |(2.40)|RawN=.}}
: |(2.40)|RawN=.}}
Damit zwei linear unabhängige Lösungen für <math>{{\chi }_{2}}\left( t \right),{{\chi }_{1}}\left( t \right)</math>
Damit zwei linear unabhängige Lösungen für <math>{{\chi }_{2}}\left( t \right),{{\chi }_{1}}\left( t \right)</math>
{{NumBlk|:|
{{NumBlk|:|
<math>\begin{align}
:<math>\begin{align}
& {{\chi }_{2}}\left( t \right)={{c}_{+}}{{e}^{\mathfrak{i} \left( \frac{\omega }{2}+\frac{{{\Omega }_{R}}}{2} \right)t}}+{{c}_{-}}{{e}^{\mathfrak{i} \left( \frac{\omega }{2}-\,\frac{{{\Omega }_{R}}}{2} \right)t}}\quad {{c}_{\pm }}\in \mathbb{C} \\
& {{\chi }_{2}}\left( t \right)={{c}_{+}}{{e}^{\mathfrak{i} \left( \frac{\omega }{2}+\frac{{{\Omega }_{R}}}{2} \right)t}}+{{c}_{-}}{{e}^{\mathfrak{i} \left( \frac{\omega }{2}-\,\frac{{{\Omega }_{R}}}{2} \right)t}}\quad {{c}_{\pm }}\in \mathbb{C} \\
& ={{e}^{\mathfrak{i} \omega t}}\left\{ \alpha \cos \frac{{{\Omega }_{R}}}{2}+\beta \sin \frac{{{\Omega }_{R}}}{2} \right\}\quad \alpha ,\beta \in \mathbb{C}
& ={{e}^{\mathfrak{i} \omega t}}\left\{ \alpha \cos \frac{{{\Omega }_{R}}}{2}+\beta \sin \frac{{{\Omega }_{R}}}{2} \right\}\quad \alpha ,\beta \in \mathbb{C}

Latest revision as of 16:12, 28 January 2011

{{#ask: |format=embedded |Kategorie:QuantenmechanikKapitel::2Abschnitt::!0Urheber::Prof. Dr. T. Brandes |order=ASC |sort=Abschnitt |offset=0 |limit=20 }} {{#set:Urheber=Prof. Dr. T. Brandes|Inhaltstyp=Script|Kapitel=2|Abschnitt=0}} Kategorie:Quantenmechanik __SHOWFACTBOX__

Formaler Aufbau der Quantenmechanik

Ein Anfang der Quantenmechanik ist der Kommutator{{#set:Fachbegriff=Kommutator|Index=Kommutator}}

[x_,p_]=i
     (2.1)


mit den OperatorenOrtsoperator{{#set:Fachbegriff=Ortsoperator|Index=Ortsoperator}} x^(Ort) p^(ImpulsImpulsoperator{{#set:Fachbegriff=Impulsoperator|Index=Impulsoperator}}), einer Unschärferelation{{#set:Fachbegriff=Unschärferelation|Index=Unschärferelation}}

ΔxΔp2
     (2.2)


und quantenmechanischen Zuständen, die mit Wellenfunktionen, z.B. Ψ(x_)beschrieben werden. Diese Zustände sind Elemente eines Hilbertraums, auf dem die Operatoren der Messgrößen operieren.

Hilbertraum[edit | edit source]

Definition      (2.3)
Ein Hilbertraum{{#set:Fachbegriff=Hilbertraum|Index=Hilbertraum}} ist ein vollständiger unitärer Raum.
Definition      (2.4)
Ein Vektorraum mit Skalarprodukt Φ|Ψ und (induzierter)

Norm Ψ:=Ψ|Ψ heißt unitärer Raum{{#set:Fachbegriff=unitärer Raum|Index=unitärer Raum}}.

Definition      (2.5)
Eine Norm{{#set:Fachbegriff=Norm|Index=Norm}} eines komplexen Vektorraums V ist ein Abbildung V+, so dass für Ψ,ΦV gilt
  1. Ψ0,Ψ=0Ψ=0
  2. cΨ=cΨ,c
  3. Ψ+ΦΨ+Φ
Definition      (2.6)
Ein Skalarprodukt{{#set:Fachbegriff=Skalarprodukt|Index=Skalarprodukt}} eines Vektorraums V ist eine Abbildung (V,V), so dass für ψ,ϕ,χVgilt:
ψ|ψ0ψ+ϕ|χ=ψ|χ+ϕ|χψ|cϕ=cψ|ϕcψ|ϕ=ϕ|ψ*=ϕ|ψ
Definition      (2.7)
Ein Folge {Ψn}in einem normierten Raum heißt Cauchy-Folge{{#set:Fachbegriff=Cauchy-Folge|Index=Cauchy-Folge}}, falls ε>0N(ε) ganz so dass n,m>N(ε)ΨnΨm<ε.
Definition      (2.8)
Ein unitärer Raum, in dem jede Cauchy-Folge konvergiert heißt vollständigvollständiger unitärer Raum{{#set:Fachbegriff=vollständiger unitärer Raum|Index=vollständiger unitärer Raum}}.

Beispiele:

  1. Hilbertraum =n, n-dimensionaler komplexer Vektorraum mit Basis e_1=(100)e_2=(010)...e_n=(001).
  2. Hilbertraum Lder quadratintegrierbaren Wellenfunktionen eines Potentialtopfes mit unendlich hohen Wänden in 1 Dimension
Ψ(x_)

auf x[0,L],Ψ(0)=Ψ(L)=0

2mΨ'n(x)=EnΨn(x)
Basis
Ψn(x)=2Lsin(nπxL),En=(nπ)22mL2,n
     (2.9)


Skalarprodukt

Ψ|Φ=0LΨ*(x)Φ(x)dxΨn|Ψm=δmn

vergleich mit y_=n=1de_n|y_e_nky_n

(AUFGABE):

  1. Definiere ΦLmit Φ(x)=Nx(Lx)
  2. bestimme N so dass Φ=1
  3. Beweise die Formel π332=k=0(1)k(2k+1)3
  4. Beweise die Cauchy-Scharz Ungleichung{{#set:Fachbegriff=Cauchy-Scharz Ungleichung|Index=Cauchy-Scharz Ungleichung}} |α|β|αbfür |α,|β

Definition: {Ψn} vollständiges Orthogonalsystem{{#set:Fachbegriff=vollständiges Orthogonalsystem|Index=vollständiges Orthogonalsystem}} eins HR

Ψn|Ψn=δnn

und Φ=nΨn|ΦΨnΦ

     (2.10)



Satz (Parseval)

Φ=nΨn|ΦΨnΦ2=n|Ψn|Φ|2
     (2.11)

Bemerkung:

  • Vollständige „normierte Räume“ heißen BanachräumeBanachraum{{#set:Fachbegriff=Banachraum|Index=Banachraum}} (haben kein Skalarprodukt)
  • Mehr Details: Funktionalanalysis z.B. Bornstein/Senendajew Taschenbuch der Mathematik, ergänzende Kapitel

Dirac-Notation[edit | edit source]

Bequeme Notation für Ψ, Skalarprodukte Ψ|Φetc. eines Hilbertraum

Zustände{{#set:Fachbegriff=Zustände|Index=Zustände}} Φ|Φ
  1. „Ket“, „Dirac-Ket“
     (2.12)
  1. Skalarprodukt{{#set:Fachbegriff=Skalarprodukt|Index=Skalarprodukt}} von Ψ und ΦΨ|Φ=Φ|Ψ*
  2. VollständigkeitsrelationVollständigkeitsrelation{{#set:Fachbegriff=Vollständigkeitsrelation|Index=Vollständigkeitsrelation}} für Basis Ψn|n
|Φ=nn|Φ|n|Φ=n|nn|1_Φ
vollständige Eins{{#set:Fachbegriff=vollständige Eins|Index=vollständige Eins}}“
1_=|nn|
     (2.13)
  1. Dualraum{{#set:Fachbegriff=Dualraum|Index=Dualraum}} und Bra-Zustände

Dualraum *eines Hilbertraum : Raum aller linearen Funktionale

Ψ|:,|ΦΨ|Φ
     (2.14)

Vektor |Ψals Funktional Ψ|aufgefasst wie in (2.14) heißt „Dirac-Bra“ oder einfach „Bra“ Name von Ψbra|Φketengl. ‚bracket‘ Geometrische Interpretation im 3:

  1. |ΦialsKet{{#set:Fachbegriff=Ket|Index=Ket}}s: normale Vektoren
  2. Φi|alsBra{{#set:Fachbegriff=Bra|Index=Bra}}s: als Abbildung, z.B. Φ3|:|Φ3Φ3|ΦProjektion auf 3-Achse Φ1|,Φ2|,Φ3| Basis für Dualraum 3, d.h. jedes Funktional f| (Projektion) als Linearkombination c1Φ1|+c2Φ2|+c3Φ3|f|
  3. „Tricks“: Dirac-Notation sehr flexibel, z.B.
  4. Φ2=Φ|Φ=Φ|1_|Φ=nΦ|nn|Φ=n|n|Φ|2
  5. Einschieben der Eins{{#set:Fachbegriff=Einschieben der Eins|Index=Einschieben der Eins}}“

Operatoren in der Quantenmechanik[edit | edit source]

Definition: Ein linearer Operator{{#set:Fachbegriff=linearer Operator|Index=linearer Operator}} A^: ( Hilbertraum), erfüllt

A^(|Ψ+c|Φ)=A^|Ψ+cA^|Φ
     (2.15)

Beispiele:

  1. Ortsoperator{{#set:Fachbegriff=Ortsoperator|Index=Ortsoperator}}x^ Impulsoperator{{#set:Fachbegriff=Impulsoperator|Index=Impulsoperator}} p^=i_

für =L:x^:Ψ(x)xΨ(x)p^:Ψ(x)iΨ(x)

  1. n x n-Matrizen auf 2
2ist in der Tat der einfachste nichttriviale Hilbertraum, auf dem sich Quantenmechanik machen lässt! Beispiel Spin ½, Pauli-Matrizen.

Definition Der Erwartungswert{{#set:Fachbegriff=Erwartungswert|Index=Erwartungswert}} eines Operators A^im Zustand |Ψist

A^Ψ:=Ψ|A^ΨΨ|Ψ:=Ψ|A^|ΨΨ|Ψ
     (2.16)
Definition      (2.17)
Matrixelement{{#set:Fachbegriff=Matrixelement|Index=Matrixelement}} eines Operators n|A^|m

Beispiele |nΨn(x)Wellenfunktion des eindimensionalen Oszillators, normiert.

A^=x^2

Dann ist x^n=Ψn*(x)x2Ψn(x)dx=x2|Ψ(x)|2Wahrscheinlichkeitsdichtedx

Definition      (2.18)
Der zu einem linearen Hilbertraum-Operator A adjungierte Operatoradjungierter Operator{{#set:Fachbegriff=adjungierter Operator|Index=adjungierter Operator}} A+ ist definiert durch
Ψ|AΦ=A+Ψ|ΦΨ,Φ
Definition      (2.19)
Ein linearer Operator heißt hermitesch{{#set:Fachbegriff=hermitesch|Index=hermitesch}} (selbstadjungiert{{#set:Fachbegriff=selbstadjungiert|Index=selbstadjungiert}})[1], A+=A wenn
Ψ|AΦ=AΨ|ΦΨ,Φ

Axiom: In der Quantenmechanik werden physikalische Messgrößen als Observable bezeichnet und durch selbstadjungierte Operatoren auf einem Hilbertraum dargestellt.

  • Energie Hamiltonoperator
H^=p^22m+V(r_)
     (2.20)

für nichtrelativistische Teilchen der Masse

12n^Σ=12(n^σ_00n^σ_)

vgl. Satz: Die Eigenwerte selbstadjungierter Operatoren sind reell die Eigenkets sind orthogonal. Damit erhält man die Spektralzerlegung{{#set:Fachbegriff=Spektralzerlegung|Index=Spektralzerlegung}} von Operatoren A^nach seinen Eigenzuständen, d.h.

A^|n=an|nA^=nanP^n
     (2.21)

mit P^ndem orthogonalen Projektor auf Unterraum der von den Eigenvektoren zum Eigenwert an aufgespannt wird. Falls an nicht entartet, gilt

P^n=|nn|,

|nnormiert. Axiom: Die möglichen Messwerte einer Observablen  im Zustand |Ψ sind die Eigenwerte an, die mit Wahrscheinlichkeit

prob(an)=Ψ|P^n|ΨΨ|Ψ      (2.22)

auftreten. Wird an gemessen, so geht |Ψinstantan in Pn|ΨΨ|Pn|Ψ über („Kopenhagener Deutung“, „Reduktion des Wellenpakets“).

Das Zweiniveausystem als einfachstes Quantensystem[edit | edit source]

Wir betrachten ein Teilchen, das zwischen zwei Potentialmulden (L links) und (R rechts) hin und her-tunnelt. In grober Vereinfachung betrachten wir nur die Energie der tiefsten Zustände links und rechts εLund εR

Ohne tunneln wäre der Hamiltonoperator für dieses vereinfachte System

H^0=εL|LL|+εR|RR|
     (2.23)

Im Matrix- Schreibweise als Qubit{{#set:Fachbegriff=Qubit|Index=Qubit}} im Hilbertraum =2

|L=(10);|R=(01);H^0=(εL00εR)
     (2.24)

Den (komplizierten) Tunneleffekt{{#set:Fachbegriff=Tunneleffekt|Index=Tunneleffekt}} bestreiben wir vereinfacht durch ein „effektives Potential{{#set:Fachbegriff=effektives Potential|Index=effektives Potential}}“ V^in , d.h. durch den

Tunnel-Operator{{#set:Fachbegriff=Tunnel-Operator|Index=Tunnel-Operator}} V^=Tc(0110)=Tcσx
     (2.25)

Den Gesamt-Hamilton-Operator beschreiben wir durch die Summe

H^=H^0+V^
     (2.26)

AUFGABEN…

Zeitentwicklung in der Quantenmechanik[edit | edit source]

Ausgangspunkt: Bewegungsgleichung (Schrödinger, Dirac) der Form

it|Ψ(t)=H^(t)|Ψ(t)
     (2.27)

Hier ist

|Ψ(t)

zeitabhängig und auch der Hamiltonian

H^(t)

kann zeitabhängig sein, z.B. H^=p22m+V(x,t) (zeitabhängiges Potential)

Zeitunabhängiger Hamiltonian[edit | edit source]

In diesem Fall formale Lösung von (2.27) durch

|Ψ(t)=eiH^(tt0)|Ψ(t0),t>t0
     (2.28)

als Anfangswertproblem{{#set:Fachbegriff=Anfangswertproblem|Index=Anfangswertproblem}} mit dem

U^(t,t0)=eiH^(tt0)t>t0
     (2.29)

Û ist unitär, U^1=U^+, denn H^=H^+ist selbstadjungiert Die Zeitentwicklung{{#set:Fachbegriff=Zeitentwicklung|Index=Zeitentwicklung}}

|Ψ(t)=U^(t,t0)|Ψ(t0)

ist eine unitäre Transformation. Erwartungswerte von der Observabelen Â

A^0:=A^|Ψ(0)=Ψ(0)|A^|Ψ(0)
zur Zeit t0=0 (|Ψ(0) normiert.)
A^t:=A^|Ψ(t)=Ψ(t)|A^|Ψ(t)
zur Zeit t0>0

Wir haben

A^t=Ψ(0)eiH^t|A^|eiH^tΨ(0)=Ψ(0)|eiH^tA^eiH^t|A~Ψ(0)

also

A~(t):=eiH^tA^eiH^t

(Zeitentwicklung von Operator

A^

im Heisenbergbild)

     

Bemerkung: KetB^|ΨΨ|B^+Bra Skalarprodukt: Mathematiker:

(|Ψ,|Φ)Ψ|Φ
Physiker-Notation

Es gibt also zwei unitär Äquivalente Arten der Zeitentwicklung

  1. Schrödinger-Bild{{#set:Fachbegriff=Schrödinger-Bild|Index=Schrödinger-Bild}}“ Operatoren A^fest, Zustände zeitabhängig
  2. |Ψ(t)=U^(t,t0)|Ψ(t0)
  3. Heisenberg-Bild{{#set:Fachbegriff=Heisenberg-Bild|Index=Heisenberg-Bild}}“ Zustand |Ψ(t0)fest (Anfangszustand), Operatoren zeitabhängigA^(t)=U^+(t,t0)A^U^(t,t0)

Im Heisenberg-Bild hat man die Bewegungsgleichung

Heisenberg-BewegungsgleichungBewegungsgleichung:Heisenberg{{#set:Fachbegriff=Bewegungsgleichung:Heisenberg|Index=Bewegungsgleichung:Heisenberg}}
dtA^(t)=i[H^,A^(t)]
     (2.31)

Häufig schreibt manA^H(t), falls die Operatoren A^bereits im Schrödinger-Bild eine intrinsische Zeitabhängigkeit haben, z.B. durch zeitabhängige äußere Felder, d.h.

A^=A^(t)A^t=Ψ(t)|A^(t)|IntrinsischΨ(t)=Ψ(0)|eiH^tA^eiH^t|A^H(t)Ψ(0)
     (2.32)

so dass (CHECK)

dtA^H(t)=i[H^,A^(t)]+eiH^tdtA^(t)intrinsischeiH^t
     (2.33)


Zeitabhängiger Hamiltonian: Spin ½, 2 Niveausystem, NMR[edit | edit source]

Die meisten Fälle mit zeitabhängigem H^(t)sind exakt nicht mehr lösbar. Hier betrachten wir

H^(t)=B_(t)σ_=(Bz(t)B||*(t)B||*(t)Bz(t))B||(t)=Bx(t)+iBy(t)
     (2.34)

zum Beispiel für einen Spin ½, beschrieben durch den σ_-Vektor der Pauli-Matrizen, in einem zeitabhängigen B-Feld

mit Konstante e2m1 und Separation des Ortes (x) und Spin Freiheitsgrade

φ(x_,t)=Ψ(x_,t)Orts-WF(χ1(t)χ2(t))Spin-WF
     (2.35)

in Dirac-Schreibweise

|φ(t)=|Ψ(t)|χ(t)=OrtSpin
     (2.36)

mit Ort=L2(3) (Hilbertraum der Quadratintegrabelen Funktionen auf 3) und Spin=2. Lösung der zeitabhängigen Schrödingergleichung für (2.34)

it|χ(t)=H^(t)|χ(t)iχ˙1=Bzχ1B||*χ2iχ˙2=B||χ1Bzχ2      (2.37)

kann für zeitabhängige B||,Bz i.A. nur numerische gelöst werden. AUFGABE: schreiben Sie eine Code, der (2.37) löst, und diskutiere die Physik die damit beschrieben wird. Spezialfälle von (2.37) können analytisch gelöst werden

  1. B_=constquantenmechanische Ozillatoren

Eigenwerte von H^ sind

ε±=±|B_||B_|=Bz2+|B|||2

(CHECK) à Zeitentwicklung U(t,0)=eiH^t=SeiDtS1mit D=diag(ε+,ε) Alternativer Lösungsweg: Ansatz

χj(t)=cjeizt

in (siehe b)

  1. Rotierende B-Feld à Rabi-Oszillationen

Hier

Bz=B0=constB||=B1eiωt=B1cosωtBx+iB1sinωtByB1
     (2.38)


B||

rotiert in x-y-Ebene „Drehwellenmodelle“

χ1=c1eiztiω2t(z+ω2)c1=B0c1+B1c2χ2=c2eizt+iω2t(zω2)c1=B1c1B0c2      (2.39)

Nichttriviale Lösung von (2.39) für

0=|z+ω2B0B1B1zω2+B0|=z2(B0ω2)2B12z±=±(B0ω2)2+B12=±12ΩR
mit
ΩR:=(2B0ω)2+4B12
     (2.40)

Damit zwei linear unabhängige Lösungen für χ2(t),χ1(t)

χ2(t)=c+ei(ω2+ΩR2)t+cei(ω2ΩR2)tc±=eiωt{αcosΩR2+βsinΩR2}α,β
     (2.41)

für χ1(t) entsprechen: Koeffizienten für χ2(t),χ1(t) hängen über (2.37) zusammen. Aufgabe: 1 Fall b) lösen für χ1(0)=0,χ2(0)=1 und diskutieren.

  1. i.A. ungleich (der Unterscheid ist manchmal wichtig)