Formaler Aufbau der Quantenmechanik: Difference between revisions

From testwiki
Jump to navigation Jump to search
No edit summary
 
(4 intermediate revisions by 2 users 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|}_{{\overset{\lower0.5em\hbox{$\smash{\scriptscriptstyle\frown}$}}{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>\overset{\lower0.5em\hbox{$\smash{\scriptscriptstyle\frown}$}}{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=.}}
===Zeitabhängiger Hamiltonian: Spin ½, 2 Niveausystem, NMR===
===Zeitabhängiger Hamiltonian: Spin ½, 2 Niveausystem, NMR===
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 307: 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 314: 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 337: 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 352: 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 364: 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}
Line 376: Line 377:
für <math>{{\chi }_{1}}\left( t \right)</math> entsprechen: Koeffizienten für <math>{{\chi }_{2}}\left( t \right),{{\chi }_{1}}\left( t \right)</math> hängen über (2.37) zusammen.
für <math>{{\chi }_{1}}\left( t \right)</math> entsprechen: Koeffizienten für <math>{{\chi }_{2}}\left( t \right),{{\chi }_{1}}\left( t \right)</math> hängen über (2.37) zusammen.
Aufgabe: 1 Fall b) lösen für <math>{{\chi }_{1}}\left( 0 \right)=0,{{\chi }_{2}}\left( 0 \right)=1</math> und diskutieren.
Aufgabe: 1 Fall b) lösen für <math>{{\chi }_{1}}\left( 0 \right)=0,{{\chi }_{2}}\left( 0 \right)=1</math> und diskutieren.
<references />

Latest revision as of 17: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}}

     (2.1)


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

     (2.2)


und quantenmechanischen Zuständen, die mit Wellenfunktionen, z.B. 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 , so dass für gilt
Definition      (2.6)
Ein Skalarprodukt{{#set:Fachbegriff=Skalarprodukt|Index=Skalarprodukt}} eines Vektorraums V ist eine Abbildung , so dass für gilt:
Definition      (2.7)
Ein Folge in einem normierten Raum heißt Cauchy-Folge{{#set:Fachbegriff=Cauchy-Folge|Index=Cauchy-Folge}}, falls ganz so dass .
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-dimensionaler komplexer Vektorraum mit Basis .
  2. Hilbertraum der quadratintegrierbaren Wellenfunktionen eines Potentialtopfes mit unendlich hohen Wänden in 1 Dimension

auf

Basis
     (2.9)


Skalarprodukt

vergleich mit

(AUFGABE):

  1. Definiere mit
  2. bestimme N so dass
  3. Beweise die Formel
  4. Beweise die Cauchy-Scharz Ungleichung{{#set:Fachbegriff=Cauchy-Scharz Ungleichung|Index=Cauchy-Scharz Ungleichung}} für

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

und

     (2.10)



Satz (Parseval)

     (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
  2. VollständigkeitsrelationVollständigkeitsrelation{{#set:Fachbegriff=Vollständigkeitsrelation|Index=Vollständigkeitsrelation}} für Basis
vollständige Eins{{#set:Fachbegriff=vollständige Eins|Index=vollständige Eins}}“
     (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 engl. ‚bracket‘ Geometrische Interpretation im :

  1. alsKet{{#set:Fachbegriff=Ket|Index=Ket}}s: normale Vektoren
  2. alsBra{{#set:Fachbegriff=Bra|Index=Bra}}s: als Abbildung, z.B. Projektion auf 3-Achse Basis für Dualraum , d.h. jedes Funktional (Projektion) als Linearkombination
  3. „Tricks“: Dirac-Notation sehr flexibel, z.B.
  4. 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}} ( Hilbertraum), erfüllt

     (2.15)

Beispiele:

  1. Ortsoperator{{#set:Fachbegriff=Ortsoperator|Index=Ortsoperator}} Impulsoperator{{#set:Fachbegriff=Impulsoperator|Index=Impulsoperator}}

für

  1. n x n-Matrizen auf
ist 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 im Zustand ist

     (2.16)
Definition      (2.17)
Matrixelement{{#set:Fachbegriff=Matrixelement|Index=Matrixelement}} eines Operators

Beispiele Wellenfunktion des eindimensionalen Oszillators, normiert.

Dann ist

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

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

     (2.20)

für nichtrelativistische Teilchen der Masse

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 nach seinen Eigenzuständen, d.h.

     (2.21)

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

,

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

     (2.22)

auftreten. Wird an gemessen, so geht instantan in ü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 und

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

     (2.23)

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

     (2.24)

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

Tunnel-Operator{{#set:Fachbegriff=Tunnel-Operator|Index=Tunnel-Operator}}
     (2.25)

Den Gesamt-Hamilton-Operator beschreiben wir durch die Summe

     (2.26)

AUFGABEN…

Zeitentwicklung in der Quantenmechanik[edit | edit source]

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

     (2.27)

Hier ist

zeitabhängig und auch der Hamiltonian

kann zeitabhängig sein, z.B. (zeitabhängiges Potential)

Zeitunabhängiger Hamiltonian[edit | edit source]

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

     (2.28)

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

     (2.29)

Û ist unitär, , denn ist selbstadjungiert Die Zeitentwicklung{{#set:Fachbegriff=Zeitentwicklung|Index=Zeitentwicklung}}

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

zur Zeit ( normiert.)
zur Zeit

Wir haben

also

(Zeitentwicklung von Operator

im Heisenbergbild)

     

Bemerkung: 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 fest, Zustände zeitabhängig
  2. Heisenberg-Bild{{#set:Fachbegriff=Heisenberg-Bild|Index=Heisenberg-Bild}}“ Zustand fest (Anfangszustand), Operatoren zeitabhängig

Im Heisenberg-Bild hat man die Bewegungsgleichung

Heisenberg-BewegungsgleichungBewegungsgleichung:Heisenberg{{#set:Fachbegriff=Bewegungsgleichung:Heisenberg|Index=Bewegungsgleichung:Heisenberg}}
     (2.31)

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

     (2.32)

so dass (CHECK)

     (2.33)


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

Die meisten Fälle mit zeitabhängigem sind exakt nicht mehr lösbar. Hier betrachten wir

     (2.34)

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

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

     (2.35)

in Dirac-Schreibweise

     (2.36)

mit (Hilbertraum der Quadratintegrabelen Funktionen auf ) und . Lösung der zeitabhängigen Schrödingergleichung für (2.34)

     (2.37)

kann für zeitabhängige 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. quantenmechanische Ozillatoren

Eigenwerte von sind

(CHECK) à Zeitentwicklung mit Alternativer Lösungsweg: Ansatz

in (siehe b)

  1. Rotierende B-Feld à Rabi-Oszillationen

Hier

     (2.38)


rotiert in x-y-Ebene „Drehwellenmodelle“

     (2.39)

Nichttriviale Lösung von (2.39) für

mit
     (2.40)

Damit zwei linear unabhängige Lösungen für

     (2.41)

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

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