Formaler Aufbau der Quantenmechanik: Unterschied zwischen den Versionen

Aus PhysikWiki
Zur Navigation springen Zur Suche springen
*>SchuBot
K Interpunktion, replaced: , → ,
Keine Bearbeitungszusammenfassung
 
Zeile 1: Zeile 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>
Zeile 11: Zeile 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>
Zeile 67: Zeile 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>


Zeile 74: Zeile 74:
:<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>
Zeile 80: Zeile 80:
: |(2.9)|RawN=.}}
: |(2.9)|RawN=.}}


Skalarprodukt
Skalarprodukt


:<math>\begin{align}
:<math>\begin{align}
Zeile 101: Zeile 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>
Zeile 111: Zeile 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>
Zeile 127: Zeile 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 } \\
Zeile 133: Zeile 133:
\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=.}}
Zeile 150: Zeile 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=.}}
Zeile 159: Zeile 159:
:<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=.}}
Zeile 177: Zeile 177:
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=.}}
Zeile 183: Zeile 183:
* 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=.}}
Zeile 205: Zeile 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 \\
Zeile 230: Zeile 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=.}}
Zeile 236: Zeile 236:
===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=.}}
Zeile 246: Zeile 246:
====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=.}}
Zeile 267: Zeile 267:
:<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
Zeile 279: Zeile 279:
# „{{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=.}}
Zeile 297: Zeile 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)  \\
Zeile 308: Zeile 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) \\
Zeile 315: Zeile 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  \\
Zeile 346: Zeile 346:
# 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} \\
Zeile 365: Zeile 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} \\

Aktuelle Version vom 28. Januar 2011, 17:12 Uhr

Die Abfrage enthält eine leere Bedingung.

Formaler Aufbau der Quantenmechanik

Ein Anfang der Quantenmechanik ist der Kommutator

     (2.1)


mit den OperatorenOrtsoperator (Ort) (ImpulsImpulsoperator), einer 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

Definition      (2.3)
Ein Hilbertraum ist ein vollständiger unitärer Raum.
Definition      (2.4)
Ein Vektorraum mit Skalarprodukt und (induzierter)

Norm heißt unitärer Raum.

Definition      (2.5)
Eine 'Norm' eines komplexen Vektorraums V ist ein Abbildung , so dass für gilt
Definition      (2.6)
Ein '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, 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.

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

  • Vollständigkeit:

vergleich mit

(AUFGABE):

  1. Definiere mit
  2. bestimme N so dass
  3. Beweise die Formel
  4. Beweise die Cauchy-Scharz Ungleichung für

Definition: vollständiges Orthogonalsystem eins HR

und

     (2.10)



Satz (Parseval)

     (2.11)

Bemerkung:

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

Dirac-Notation

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

Zustände
  1. „Ket“, „Dirac-Ket“
     (2.12)
  1. Skalarprodukt von
  2. VollständigkeitsrelationVollständigkeitsrelation für Basis
vollständige Eins
     (2.13)
  1. 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. alsKets: normale Vektoren
  2. alsBras: 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

Operatoren in der Quantenmechanik

Definition: Ein 'linearer Operator' ( Hilbertraum), erfüllt

     (2.15)

Beispiele:

  1. Ortsoperator 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 eines Operators im Zustand ist

     (2.16)
Definition      (2.17)
Matrixelement eines Operators

Beispiele Wellenfunktion des eindimensionalen Oszillators, normiert.

Dann ist

Definition      (2.18)
Der zu einem linearen Hilbertraum-Operator A adjungierte Operator'adjungierter Operator' A+ ist definiert durch
Definition      (2.19)
Ein linearer Operator heißt hermitesch (selbstadjungiert)[1], wenn

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

  • Energie Hamiltonoperator
     (2.20)

für nichtrelativistische Teilchen der Masse

  • Ort , Impuls , DrehimpulsDrehimpuls
  • Spin ½ (Helizität) in Richtung für Dirac-Teilchen,

vgl. Satz: Die Eigenwerte selbstadjungierter Operatoren sind reell die Eigenkets sind orthogonal. Damit erhält man die 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

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 im Hilbertraum

     (2.24)

Den (komplizierten) Tunneleffekt bestreiben wir vereinfacht durch ein „effektives Potentialin , d.h. durch den

Tunnel-Operator
     (2.25)

Den Gesamt-Hamilton-Operator beschreiben wir durch die Summe

     (2.26)

AUFGABEN…

Zeitentwicklung in der Quantenmechanik

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

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

     (2.28)

als Anfangswertproblem mit dem

     (2.29)

Û ist unitär, , denn ist selbstadjungiert Die 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“ Operatoren fest, Zustände zeitabhängig
  2. Heisenberg-Bild“ Zustand fest (Anfangszustand), Operatoren zeitabhängig

Im Heisenberg-Bild hat man die Bewegungsgleichung

Heisenberg-BewegungsgleichungBewegungsgleichung: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

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

  • Hilbertraum hier
  • (2.34) einfaches Modell für Spin ½ Freiheitsgrad z.B. ein Elektron in der Pauli-Gleichung
  • (1.44)

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)