Zustandsvektoren im Hilbertraum: Difference between revisions

From testwiki
Jump to navigation Jump to search
*>SchuBot
No edit summary
*>SchuBot
Einrückungen Mathematik
Line 1: Line 1:
<noinclude>{{Scripthinweis|Quantenmechanik|2|1}}</noinclude>
<noinclude>{{Scripthinweis|Quantenmechanik|2|1}}</noinclude>


<math>\Psi (\bar{r})</math> sei ein Vektor im Hilbertraum als Wellenfunktion.
:<math>\Psi (\bar{r})</math> sei ein Vektor im Hilbertraum als Wellenfunktion.


Dabei wird zunächst noch keine Aussage über stationäre oder zeitabhängige Vektoren gemacht. Noch ist t einfach als Argument unterdrückt. ( Zeitlosigkeit)
Dabei wird zunächst noch keine Aussage über stationäre oder zeitabhängige Vektoren gemacht. Noch ist t einfach als Argument unterdrückt. ( Zeitlosigkeit)
Line 7: Line 7:
'''Fourier- Trafo der Impulsdarstellung liefert '''<math>\Psi (\bar{r})</math>:
'''Fourier- Trafo der Impulsdarstellung liefert '''<math>\Psi (\bar{r})</math>:


<math>\Psi (\bar{r})=\frac{1}{{{\left( 2\pi  \right)}^{\tfrac{3}{2}}}}\int_{{{R}^{3}}}^{{}}{{{d}^{3}}k\Phi (\bar{k}){{e}^{i\bar{k}\bar{r}}}}</math> in Ortsdarstellung
:<math>\Psi (\bar{r})=\frac{1}{{{\left( 2\pi  \right)}^{\tfrac{3}{2}}}}\int_{{{R}^{3}}}^{{}}{{{d}^{3}}k\Phi (\bar{k}){{e}^{i\bar{k}\bar{r}}}}</math> in Ortsdarstellung


Laßt Euch hier nicht verwirren. Die Verwendung von x und k als kanonisch konjugierte Variablen ist völlig analog zu x- p als Variablen, denn wegen
Laßt Euch hier nicht verwirren. Die Verwendung von x und k als kanonisch konjugierte Variablen ist völlig analog zu x- p als Variablen, denn wegen


<math>\bar{p}=\bar{k}\hbar </math>
:<math>\bar{p}=\bar{k}\hbar </math>


entspricht die Verwendung von <math>\bar{p}</math>als kanonisch konjugierte Variable alleine der Mitnahme des Vorfaktors
entspricht die Verwendung von <math>\bar{p}</math>als kanonisch konjugierte Variable alleine der Mitnahme des Vorfaktors


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


& \frac{1}{{{\hbar }^{\frac{f}{2}}}} \\
& \frac{1}{{{\hbar }^{\frac{f}{2}}}} \\
Line 25: Line 25:
Die Umkehrung ist nach dem Fourier- Theorem möglich:
Die Umkehrung ist nach dem Fourier- Theorem möglich:


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


& \int_{{{R}^{3}}}^{{}}{{{d}^{3}}x}\Psi (\bar{r}){{e}^{-i\bar{k}\acute{\ }\bar{r}}}=\frac{1}{{{\left( 2\pi  \right)}^{\tfrac{3}{2}}}}\int_{{{R}^{3}}}^{{}}{{{d}^{3}}k\Phi (\bar{k})\int_{{}}^{{}}{{{d}^{3}}r}{{e}^{i\left( \bar{k}-\bar{k}\acute{\ } \right)\bar{r}}}} \\
& \int_{{{R}^{3}}}^{{}}{{{d}^{3}}x}\Psi (\bar{r}){{e}^{-i\bar{k}\acute{\ }\bar{r}}}=\frac{1}{{{\left( 2\pi  \right)}^{\tfrac{3}{2}}}}\int_{{{R}^{3}}}^{{}}{{{d}^{3}}k\Phi (\bar{k})\int_{{}}^{{}}{{{d}^{3}}r}{{e}^{i\left( \bar{k}-\bar{k}\acute{\ } \right)\bar{r}}}} \\
Line 47: Line 47:
Ergibt sich die gängige Darstellung
Ergibt sich die gängige Darstellung


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


& \Psi (\bar{r})=\frac{1}{{{\left( 2\pi \hbar  \right)}^{\tfrac{3}{2}}}}\int_{{{R}^{3}}}^{{}}{{{d}^{3}}p\tilde{\Psi }(\bar{p}){{e}^{\frac{i}{\hbar }\bar{p}\bar{r}}}} \\
& \Psi (\bar{r})=\frac{1}{{{\left( 2\pi \hbar  \right)}^{\tfrac{3}{2}}}}\int_{{{R}^{3}}}^{{}}{{{d}^{3}}p\tilde{\Psi }(\bar{p}){{e}^{\frac{i}{\hbar }\bar{p}\bar{r}}}} \\
Line 67: Line 67:
Wir haben also als Transformationsvorschrift zwischen kanonisch konjugierten Variablen die Fouriertransformation:
Wir haben also als Transformationsvorschrift zwischen kanonisch konjugierten Variablen die Fouriertransformation:


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


& \Psi (\bar{r})=\frac{1}{{{\left( 2\pi \hbar  \right)}^{\tfrac{3}{2}}}}\int_{{{R}^{3}}}^{{}}{{{d}^{3}}p\tilde{\Psi }(\bar{p}){{e}^{\frac{i}{\hbar }\bar{p}\bar{r}}}} \\
& \Psi (\bar{r})=\frac{1}{{{\left( 2\pi \hbar  \right)}^{\tfrac{3}{2}}}}\int_{{{R}^{3}}}^{{}}{{{d}^{3}}p\tilde{\Psi }(\bar{p}){{e}^{\frac{i}{\hbar }\bar{p}\bar{r}}}} \\
Line 77: Line 77:
Als minimale Einheit der Wirkung ( gemäß Hamiltonschem Prinzip) gewinnen wir:
Als minimale Einheit der Wirkung ( gemäß Hamiltonschem Prinzip) gewinnen wir:


<math>\Delta x\Delta p=\frac{1}{2}\hbar </math> ( im eindimensionalen Fall)
:<math>\Delta x\Delta p=\frac{1}{2}\hbar </math> ( im eindimensionalen Fall)


also für unser Informationsminimum:
also für unser Informationsminimum:


<math>\Delta x\Delta k=\frac{1}{2}</math>
:<math>\Delta x\Delta k=\frac{1}{2}</math>


Dies folgt unmittelbar aus der Fouriertransformation als Trafo- Vorschrift ! ( Sampling- Theorem)
Dies folgt unmittelbar aus der Fouriertransformation als Trafo- Vorschrift ! ( Sampling- Theorem)
Line 91: Line 91:
Somit existiert in der Natur keine Information unter
Somit existiert in der Natur keine Information unter


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


'''Geometrische Analogie '''der Transformation zwischen Orts- und Impulsdarstellung:
'''Geometrische Analogie '''der Transformation zwischen Orts- und Impulsdarstellung:
Line 101: Line 101:
Ein Vektor kann natürlich bezüglich der einen oder der anderen Basis dargestellt werden:
Ein Vektor kann natürlich bezüglich der einen oder der anderen Basis dargestellt werden:


<math>\bar{a}=\sum\limits_{j=1}^{n}{{}}{{a}_{j}}{{\bar{e}}_{j}}=\sum\limits_{j=1}^{n}{{}}{{a}_{j}}\acute{\ }{{\bar{e}}_{j}}\acute{\ }=\sum\limits_{j=1}^{n}{{}}{{\tilde{a}}_{j}}{{\tilde{\bar{e}}}_{j}}</math>
:<math>\bar{a}=\sum\limits_{j=1}^{n}{{}}{{a}_{j}}{{\bar{e}}_{j}}=\sum\limits_{j=1}^{n}{{}}{{a}_{j}}\acute{\ }{{\bar{e}}_{j}}\acute{\ }=\sum\limits_{j=1}^{n}{{}}{{\tilde{a}}_{j}}{{\tilde{\bar{e}}}_{j}}</math>


Die Basen sollen die folgenden Eigenschaften haben:
Die Basen sollen die folgenden Eigenschaften haben:
Line 109: Line 109:
Die Projektion auf die Basisvektoren erfolgt durch die Bildung des Skalarproduktes:
Die Projektion auf die Basisvektoren erfolgt durch die Bildung des Skalarproduktes:


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


& \left\langle  {{{\bar{e}}}_{i}} | {\bar{a}} \right\rangle ={{a}_{i}}=\sum\limits_{j}{{}}{{a}_{j}}\left\langle  {{{\bar{e}}}_{i}} | {{{\bar{e}}}_{j}} \right\rangle =\sum\limits_{j}{{{a}_{j}}}{{\delta }_{ij}} \\
& \left\langle  {{{\bar{e}}}_{i}} | {\bar{a}} \right\rangle ={{a}_{i}}=\sum\limits_{j}{{}}{{a}_{j}}\left\langle  {{{\bar{e}}}_{i}} | {{{\bar{e}}}_{j}} \right\rangle =\sum\limits_{j}{{{a}_{j}}}{{\delta }_{ij}} \\
Line 119: Line 119:
Natürlich kann jeder Vektor in einer beliebigen Basis formal entwickelt werden. Die Entwicklungskoeffizienten sind die Projektionen auf die jeweiligen Basisvektoren und natürlich von der Wahl der Basis abhängig :
Natürlich kann jeder Vektor in einer beliebigen Basis formal entwickelt werden. Die Entwicklungskoeffizienten sind die Projektionen auf die jeweiligen Basisvektoren und natürlich von der Wahl der Basis abhängig :


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


& \bar{a}=\sum\limits_{j}{{}}{{a}_{j}}\left| {{{\bar{e}}}_{j}} \right\rangle =\sum\limits_{j}{\left\langle  {{{\bar{e}}}_{j}} | {\bar{a}} \right\rangle }\left| {{{\bar{e}}}_{j}} \right\rangle =\sum\limits_{j}{\left| {{{\bar{e}}}_{j}} \right\rangle \left\langle  {{{\bar{e}}}_{j}}  |  {\bar{a}} \right\rangle } \\
& \bar{a}=\sum\limits_{j}{{}}{{a}_{j}}\left| {{{\bar{e}}}_{j}} \right\rangle =\sum\limits_{j}{\left\langle  {{{\bar{e}}}_{j}} | {\bar{a}} \right\rangle }\left| {{{\bar{e}}}_{j}} \right\rangle =\sum\limits_{j}{\left| {{{\bar{e}}}_{j}} \right\rangle \left\langle  {{{\bar{e}}}_{j}}  |  {\bar{a}} \right\rangle } \\
Line 129: Line 129:
Im Sinne von:
Im Sinne von:


<math>\left\langle  {\bar{b}} | {\bar{a}} \right\rangle =\sum\limits_{j}{{{b}_{j}}}{{a}_{j}}=\sum\limits_{j}{{}}\left\langle  b | {{{\bar{e}}}_{j}} \right\rangle \left\langle  {{{\bar{e}}}_{j}} | a \right\rangle =\sum\limits_{j}{{}}\left\langle  b | {{{\bar{e}}}_{j}}\acute{\ } \right\rangle \left\langle  {{{\bar{e}}}_{j}}\acute{\ } | a \right\rangle </math>
:<math>\left\langle  {\bar{b}} | {\bar{a}} \right\rangle =\sum\limits_{j}{{{b}_{j}}}{{a}_{j}}=\sum\limits_{j}{{}}\left\langle  b | {{{\bar{e}}}_{j}} \right\rangle \left\langle  {{{\bar{e}}}_{j}} | a \right\rangle =\sum\limits_{j}{{}}\left\langle  b | {{{\bar{e}}}_{j}}\acute{\ } \right\rangle \left\langle  {{{\bar{e}}}_{j}}\acute{\ } | a \right\rangle </math>


Formal gilt damit:
Formal gilt damit:


<math>\sum\limits_{j=1}^{n}{\left| {{{\bar{e}}}_{j}} \right\rangle \left\langle  {{{\bar{e}}}_{j}} \right|=}\sum\limits_{j=1}^{n}{\left| {{{\bar{e}}}_{j}}\acute{\ } \right\rangle \left\langle  {{{\bar{e}}}_{j}}\acute{\ } \right|}</math>
:<math>\sum\limits_{j=1}^{n}{\left| {{{\bar{e}}}_{j}} \right\rangle \left\langle  {{{\bar{e}}}_{j}} \right|=}\sum\limits_{j=1}^{n}{\left| {{{\bar{e}}}_{j}}\acute{\ } \right\rangle \left\langle  {{{\bar{e}}}_{j}}\acute{\ } \right|}</math>
Dies ist die VOLLSTÄNDIGKEITSRELATION: Die Basis- Vektoren spannen den n- dimensionalen <math>{{R}^{n}}</math>auf.
Dies ist die VOLLSTÄNDIGKEITSRELATION: Die Basis- Vektoren spannen den n- dimensionalen <math>{{R}^{n}}</math>auf.
Übertragung auf Orts- und Impulsdarstellung''' quantentheoretischer Zustände:'''
Übertragung auf Orts- und Impulsdarstellung''' quantentheoretischer Zustände:'''
Line 140: Line 140:
Die Anteile sind jedoch natürlich nicht voneinander unabhängig, sondern sie gehen durch die Fouriertrafo ineinander über !
Die Anteile sind jedoch natürlich nicht voneinander unabhängig, sondern sie gehen durch die Fouriertrafo ineinander über !
Es macht ebenso Sinn, <math>\Psi (\bar{r})</math>und <math>\tilde{\Psi }(\bar{p})</math>als Projektionen eines abstrakten Zustandsvektors im Hilbertraum H auf die <math>\bar{r}</math>bzw. <math>\bar{p}</math>- Basis = Darstellung zu betrachten:
Es macht ebenso Sinn, <math>\Psi (\bar{r})</math>und <math>\tilde{\Psi }(\bar{p})</math>als Projektionen eines abstrakten Zustandsvektors im Hilbertraum H auf die <math>\bar{r}</math>bzw. <math>\bar{p}</math>- Basis = Darstellung zu betrachten:
<math>\begin{align}
:<math>\begin{align}
& \Psi (\bar{r}):=\left\langle  {\bar{r}} | \Psi  \right\rangle  \\
& \Psi (\bar{r}):=\left\langle  {\bar{r}} | \Psi  \right\rangle  \\
& \Psi (\bar{p}):=\left\langle  {\bar{p}} | \Psi  \right\rangle  \\
& \Psi (\bar{p}):=\left\langle  {\bar{p}} | \Psi  \right\rangle  \\
Line 152: Line 152:
Dadurch werden die Elemente aus H zu einer kommutativen Gruppe
Dadurch werden die Elemente aus H zu einer kommutativen Gruppe
Weiter gilt:  Distributivgesetz:
Weiter gilt:  Distributivgesetz:
<math>\alpha \left( \left| {{\Psi }_{1}} \right\rangle +\left| {{\Psi }_{2}} \right\rangle  \right)=\alpha \left| {{\Psi }_{1}} \right\rangle +\alpha \left| {{\Psi }_{2}} \right\rangle \forall \alpha \in C</math>
:<math>\alpha \left( \left| {{\Psi }_{1}} \right\rangle +\left| {{\Psi }_{2}} \right\rangle  \right)=\alpha \left| {{\Psi }_{1}} \right\rangle +\alpha \left| {{\Psi }_{2}} \right\rangle \forall \alpha \in C</math>
<math>\left( \alpha +\beta  \right)\left| \Psi  \right\rangle =\alpha \left| \Psi  \right\rangle +\beta \left| \Psi  \right\rangle </math>
:<math>\left( \alpha +\beta  \right)\left| \Psi  \right\rangle =\alpha \left| \Psi  \right\rangle +\beta \left| \Psi  \right\rangle </math>


Das Assoziativgesetz und weitere Rechenregel bei Multiplikation mit 1 und Null aus den komplexen Zahlen:
Das Assoziativgesetz und weitere Rechenregel bei Multiplikation mit 1 und Null aus den komplexen Zahlen:
<math>\begin{align}
:<math>\begin{align}
& \left( \alpha  \right)\left( \beta \left| \Psi  \right\rangle  \right)=\left( \alpha \beta  \right)\left| \Psi  \right\rangle  \\
& \left( \alpha  \right)\left( \beta \left| \Psi  \right\rangle  \right)=\left( \alpha \beta  \right)\left| \Psi  \right\rangle  \\
& 1\cdot \left| \Psi  \right\rangle =\left| \Psi  \right\rangle  \\
& 1\cdot \left| \Psi  \right\rangle =\left| \Psi  \right\rangle  \\
Line 163: Line 163:


2) H hat ein Skalarprodukt: <math>\left\langle  {} | {} \right\rangle :H\times H\to C</math>mit:
2) H hat ein Skalarprodukt: <math>\left\langle  {} | {} \right\rangle :H\times H\to C</math>mit:
<math>\begin{align}
:<math>\begin{align}
& \left\langle  \Psi  | \Psi  \right\rangle \ge 0:\left\langle  \Psi  | \Psi  \right\rangle =0\to \left| \Psi  \right\rangle =\left| 0 \right\rangle  \\
& \left\langle  \Psi  | \Psi  \right\rangle \ge 0:\left\langle  \Psi  | \Psi  \right\rangle =0\to \left| \Psi  \right\rangle =\left| 0 \right\rangle  \\
& \left\langle  \Psi  | {{\Psi }_{1}}+{{\Psi }_{2}} \right\rangle =\left\langle  \Psi  | {{\Psi }_{1}} \right\rangle +\left\langle  \Psi  | {{\Psi }_{2}} \right\rangle  \\
& \left\langle  \Psi  | {{\Psi }_{1}}+{{\Psi }_{2}} \right\rangle =\left\langle  \Psi  | {{\Psi }_{1}} \right\rangle +\left\langle  \Psi  | {{\Psi }_{2}} \right\rangle  \\
Line 172: Line 172:
Damit bereits kann gezeigt werden: <math>\left\langle  \alpha {{\Psi }_{1}} | {{\Psi }_{2}} \right\rangle =\alpha *\left\langle  {{\Psi }_{1}} | {{\Psi }_{2}} \right\rangle </math>
Damit bereits kann gezeigt werden: <math>\left\langle  \alpha {{\Psi }_{1}} | {{\Psi }_{2}} \right\rangle =\alpha *\left\langle  {{\Psi }_{1}} | {{\Psi }_{2}} \right\rangle </math>
Das Skalarprdukt induziert eine Norm: <math>\left\| {} \right\|:H\to R</math>
Das Skalarprdukt induziert eine Norm: <math>\left\| {} \right\|:H\to R</math>
<math>\begin{align}
:<math>\begin{align}
& \left\| \Psi  \right\|\ge 0:\left\| \Psi  \right\|=0\to \left| \Psi  \right\rangle =\left| 0 \right\rangle  \\
& \left\| \Psi  \right\|\ge 0:\left\| \Psi  \right\|=0\to \left| \Psi  \right\rangle =\left| 0 \right\rangle  \\
& \left\| \alpha \Psi  \right\|=\left| \alpha  \right|\left\| \Psi  \right\| \\
& \left\| \alpha \Psi  \right\|=\left| \alpha  \right|\left\| \Psi  \right\| \\
Line 178: Line 178:
\end{align}</math>
\end{align}</math>
Dabei ist letzteres, die Dreiecksungleichung, bedingt durch die Definition:
Dabei ist letzteres, die Dreiecksungleichung, bedingt durch die Definition:
<math>\left\| \Psi  \right\|=\sqrt{\left\langle  \Psi  | \Psi  \right\rangle }</math>
:<math>\left\| \Psi  \right\|=\sqrt{\left\langle  \Psi  | \Psi  \right\rangle }</math>
3) <math>H</math>ist vollständig. Das heißt: Jede konvergente Folge <math>{{\left\{ {{\Psi }_{n}} \right\}}_{n\in N}}</math>konvergiert gegen ein <math>\left| \Psi  \right\rangle \in H</math>
3) <math>H</math>ist vollständig. Das heißt: Jede konvergente Folge <math>{{\left\{ {{\Psi }_{n}} \right\}}_{n\in N}}</math>konvergiert gegen ein <math>\left| \Psi  \right\rangle \in H</math>
Also: konvergente Folge von Eigenzuständen: Cauchy- Kriterium: <math>\begin{matrix}
Also: konvergente Folge von Eigenzuständen: Cauchy- Kriterium: <math>\begin{matrix}
Line 188: Line 188:


1) Die Norm verallgemeinert den Abstandsbegriff auf abstrakte Räume. Das Skalarprodukt verallgemeinert den Winkelbegriff auf abstrakte Räume:
1) Die Norm verallgemeinert den Abstandsbegriff auf abstrakte Räume. Das Skalarprodukt verallgemeinert den Winkelbegriff auf abstrakte Räume:
<math>\left\langle  {{\Psi }_{1}} | {{\Psi }_{2}} \right\rangle ,\left\| {{\Psi }_{1}} \right\|>0\left\| {{\Psi }_{2}} \right\|>0\quad \Rightarrow </math>Die beiden Zustände <math>\left| {{\Psi }_{2}} \right\rangle und\left\langle  {{\Psi }_{1}} \right|</math>sind orthogonal.
:<math>\left\langle  {{\Psi }_{1}} | {{\Psi }_{2}} \right\rangle ,\left\| {{\Psi }_{1}} \right\|>0\left\| {{\Psi }_{2}} \right\|>0\quad \Rightarrow </math>Die beiden Zustände <math>\left| {{\Psi }_{2}} \right\rangle und\left\langle  {{\Psi }_{1}} \right|</math>sind orthogonal.


2) Für <math>\left| {{\Psi }_{1}} \right\rangle ,\left| {{\Psi }_{2}} \right\rangle \in H</math>gilt: <math>\left| \left\langle  {{\Psi }_{1}} | {{\Psi }_{2}} \right\rangle  \right|\le \left\| {{\Psi }_{1}} \right\|\cdot \left\| {{\Psi }_{2}} \right\|</math> ( Schwarzsche Ungleichung)
2) Für <math>\left| {{\Psi }_{1}} \right\rangle ,\left| {{\Psi }_{2}} \right\rangle \in H</math>gilt: <math>\left| \left\langle  {{\Psi }_{1}} | {{\Psi }_{2}} \right\rangle  \right|\le \left\| {{\Psi }_{1}} \right\|\cdot \left\| {{\Psi }_{2}} \right\|</math> ( Schwarzsche Ungleichung)
3) Äquivalent sind <math>\left\langle  {{\Psi }_{1}} | {{\Psi }_{2}} \right\rangle </math>und <math>\left( {{\Psi }_{1}},{{\Psi }_{2}} \right)</math>
3) Äquivalent sind <math>\left\langle  {{\Psi }_{1}} | {{\Psi }_{2}} \right\rangle </math>und <math>\left( {{\Psi }_{1}},{{\Psi }_{2}} \right)</math>
4) Zu unterscheiden sind:
4) Zu unterscheiden sind:
<math>\left| \Psi  \right\rangle </math>= Ket- Vektor ( nach Dirac ->Dirac- Schreibweise)
:<math>\left| \Psi  \right\rangle </math>= Ket- Vektor ( nach Dirac ->Dirac- Schreibweise)
<math>\left\langle  \Psi  \right|</math>=Bra- Vektor
:<math>\left\langle  \Psi  \right|</math>=Bra- Vektor


Zusammen ( Skalarprodukt): Bra-c-ket
Zusammen ( Skalarprodukt): Bra-c-ket


Dabei bilden die <math>\left\{ \left\langle  \Psi  \right| \right\}</math>den zu <math>\left\{ \left| \Psi  \right\rangle  \right\}</math>dualen Hilbertraum <math>H*:</math>
Dabei bilden die <math>\left\{ \left\langle  \Psi  \right| \right\}</math>den zu <math>\left\{ \left| \Psi  \right\rangle  \right\}</math>dualen Hilbertraum <math>H*:</math>
<math>\left| \Psi  \right\rangle ={{\lambda }_{1}}\left| {{\Psi }_{1}} \right\rangle +{{\lambda }_{2}}\left| {{\Psi }_{2}} \right\rangle </math>, <math>\left| \Psi  \right\rangle ={{\lambda }_{1}},{{\lambda }_{2}}\in C</math>
:<math>\left| \Psi  \right\rangle ={{\lambda }_{1}}\left| {{\Psi }_{1}} \right\rangle +{{\lambda }_{2}}\left| {{\Psi }_{2}} \right\rangle </math>, <math>\left| \Psi  \right\rangle ={{\lambda }_{1}},{{\lambda }_{2}}\in C</math>
impliziert mit beliebigem <math>\left\langle  \Phi  \right|</math>:
impliziert mit beliebigem <math>\left\langle  \Phi  \right|</math>:
<math>\begin{align}
:<math>\begin{align}
& \left\langle  \Phi  | \Psi  \right\rangle ={{\lambda }_{1}}\left\langle  \Phi  | {{\Psi }_{1}} \right\rangle +{{\lambda }_{2}}\left\langle  \Phi  | {{\Psi }_{2}} \right\rangle  \\
& \left\langle  \Phi  | \Psi  \right\rangle ={{\lambda }_{1}}\left\langle  \Phi  | {{\Psi }_{1}} \right\rangle +{{\lambda }_{2}}\left\langle  \Phi  | {{\Psi }_{2}} \right\rangle  \\
& \Rightarrow \left\langle  \Phi  | \Psi  \right\rangle *={{\lambda }_{1}}*\left\langle  \Phi  | {{\Psi }_{1}} \right\rangle *+{{\lambda }_{2}}*\left\langle  \Phi  | {{\Psi }_{2}} \right\rangle * \\
& \Rightarrow \left\langle  \Phi  | \Psi  \right\rangle *={{\lambda }_{1}}*\left\langle  \Phi  | {{\Psi }_{1}} \right\rangle *+{{\lambda }_{2}}*\left\langle  \Phi  | {{\Psi }_{2}} \right\rangle * \\
Line 213: Line 213:
Dies ist äquivalent dazu, dass ein Hilbertraum H separabel heißt, wenn er eine abzählbare Hilbert- Basis besitzt, es also ein abzählbares, vollständig orthonormiertes System in H gibt. Eine Isometrie <math>\Phi </math>zwischen Hilberträumen H und K ist eine stetige, bijektive, lineare Abbildung <math>\Phi :H\to K</math>so dass <math>{{\left\| \Phi (x) \right\|}_{K}}={{\left\| x \right\|}_{H}}</math>für alle <math>x\in H</math>.
Dies ist äquivalent dazu, dass ein Hilbertraum H separabel heißt, wenn er eine abzählbare Hilbert- Basis besitzt, es also ein abzählbares, vollständig orthonormiertes System in H gibt. Eine Isometrie <math>\Phi </math>zwischen Hilberträumen H und K ist eine stetige, bijektive, lineare Abbildung <math>\Phi :H\to K</math>so dass <math>{{\left\| \Phi (x) \right\|}_{K}}={{\left\| x \right\|}_{H}}</math>für alle <math>x\in H</math>.
Anwendung auf die Ortsdarstellung
Anwendung auf die Ortsdarstellung
<math>\begin{align}
:<math>\begin{align}
& \Psi (\bar{r})=\left\langle  {\bar{r}} | \Psi  \right\rangle =\frac{1}{{{\left( 2\pi \hbar  \right)}^{\tfrac{3}{2}}}}\int_{{{R}^{3}}}^{{}}{{{d}^{3}}p\tilde{\Psi }(\bar{p}){{e}^{\frac{i}{\hbar }\bar{p}\bar{r}}}}=\frac{1}{{{\left( 2\pi \hbar  \right)}^{\tfrac{3}{2}}}}\int_{{{R}^{3}}}^{{}}{{{d}^{3}}p{{e}^{\frac{i}{\hbar }\bar{p}\bar{r}}}}\left\langle  {\bar{p}} | \Psi  \right\rangle  \\
& \Psi (\bar{r})=\left\langle  {\bar{r}} | \Psi  \right\rangle =\frac{1}{{{\left( 2\pi \hbar  \right)}^{\tfrac{3}{2}}}}\int_{{{R}^{3}}}^{{}}{{{d}^{3}}p\tilde{\Psi }(\bar{p}){{e}^{\frac{i}{\hbar }\bar{p}\bar{r}}}}=\frac{1}{{{\left( 2\pi \hbar  \right)}^{\tfrac{3}{2}}}}\int_{{{R}^{3}}}^{{}}{{{d}^{3}}p{{e}^{\frac{i}{\hbar }\bar{p}\bar{r}}}}\left\langle  {\bar{p}} | \Psi  \right\rangle  \\
& \tilde{\Psi }(\bar{p})=\left\langle  {\bar{p}} | \Psi  \right\rangle =\frac{1}{{{\left( 2\pi \hbar  \right)}^{\tfrac{3}{2}}}}\int_{{{R}^{3}}}^{{}}{{{d}^{3}}r\Psi (\bar{r}){{e}^{-\frac{i}{\hbar }\bar{p}\bar{r}}}}=\frac{1}{{{\left( 2\pi \hbar  \right)}^{\tfrac{3}{2}}}}\int_{{{R}^{3}}}^{{}}{{{d}^{3}}r{{e}^{-\frac{i}{\hbar }\bar{p}\bar{r}}}}\left\langle  {\bar{r}} | \Psi  \right\rangle  \\
& \tilde{\Psi }(\bar{p})=\left\langle  {\bar{p}} | \Psi  \right\rangle =\frac{1}{{{\left( 2\pi \hbar  \right)}^{\tfrac{3}{2}}}}\int_{{{R}^{3}}}^{{}}{{{d}^{3}}r\Psi (\bar{r}){{e}^{-\frac{i}{\hbar }\bar{p}\bar{r}}}}=\frac{1}{{{\left( 2\pi \hbar  \right)}^{\tfrac{3}{2}}}}\int_{{{R}^{3}}}^{{}}{{{d}^{3}}r{{e}^{-\frac{i}{\hbar }\bar{p}\bar{r}}}}\left\langle  {\bar{r}} | \Psi  \right\rangle  \\
Line 219: Line 219:
  ist in der Ortsdarstellung eine Eigenfunktion ( Wohlgemerkt, eine Funktion!) zum Impuls, also die Ortsdarstellung des Impulszustandes Impuls- Eigenzustandes<math>\left| {\bar{p}} \right\rangle </math>). Der Zustand, der den Impuls repräsentiert und durch Anwendung des Impulsoperators den Impuls liefert.
  ist in der Ortsdarstellung eine Eigenfunktion ( Wohlgemerkt, eine Funktion!) zum Impuls, also die Ortsdarstellung des Impulszustandes Impuls- Eigenzustandes<math>\left| {\bar{p}} \right\rangle </math>). Der Zustand, der den Impuls repräsentiert und durch Anwendung des Impulsoperators den Impuls liefert.
Denn:
Denn:
<math>\frac{\hbar }{i}\nabla {{e}^{\frac{i}{\hbar }\bar{p}\bar{r}}}=\bar{p}{{e}^{\frac{i}{\hbar }\bar{p}\bar{r}}}</math>
:<math>\frac{\hbar }{i}\nabla {{e}^{\frac{i}{\hbar }\bar{p}\bar{r}}}=\bar{p}{{e}^{\frac{i}{\hbar }\bar{p}\bar{r}}}</math>
In Algebraischer Schreibweise bedeutet dies ( inklusive Normierung):
In Algebraischer Schreibweise bedeutet dies ( inklusive Normierung):
   
   
Impulseigenfunktion in Ortsdarstellung
Impulseigenfunktion in Ortsdarstellung
<math>\left\langle  {\bar{p}} | {\bar{r}} \right\rangle \tilde{\ }{{e}^{-\frac{i}{\hbar }\bar{p}\bar{r}}}</math>
:<math>\left\langle  {\bar{p}} | {\bar{r}} \right\rangle \tilde{\ }{{e}^{-\frac{i}{\hbar }\bar{p}\bar{r}}}</math>
Ortseigenfunktion in Impulsdarstellung
Ortseigenfunktion in Impulsdarstellung
( Diese beiden gehen durch komplexe Konjugation ineinander über !)
( Diese beiden gehen durch komplexe Konjugation ineinander über !)
Damit folgt:
Damit folgt:
<math>\begin{align}
:<math>\begin{align}
& \Psi (\bar{r})=\left\langle  {\bar{r}} | \Psi  \right\rangle =\frac{1}{{{\left( 2\pi \hbar  \right)}^{\tfrac{3}{2}}}}\int_{{{R}^{3}}}^{{}}{{{d}^{3}}p{{e}^{\frac{i}{\hbar }\bar{p}\bar{r}}}}\left\langle  {\bar{p}} | \Psi  \right\rangle =\int_{{{R}^{3}}}^{{}}{{{d}^{3}}p\left\langle  {\bar{r}} | {\bar{p}} \right\rangle }\left\langle  {\bar{p}} | \Psi  \right\rangle  \\
& \Psi (\bar{r})=\left\langle  {\bar{r}} | \Psi  \right\rangle =\frac{1}{{{\left( 2\pi \hbar  \right)}^{\tfrac{3}{2}}}}\int_{{{R}^{3}}}^{{}}{{{d}^{3}}p{{e}^{\frac{i}{\hbar }\bar{p}\bar{r}}}}\left\langle  {\bar{p}} | \Psi  \right\rangle =\int_{{{R}^{3}}}^{{}}{{{d}^{3}}p\left\langle  {\bar{r}} | {\bar{p}} \right\rangle }\left\langle  {\bar{p}} | \Psi  \right\rangle  \\
& \tilde{\Psi }(\bar{p})=\left\langle  {\bar{p}} | \Psi  \right\rangle =\frac{1}{{{\left( 2\pi \hbar  \right)}^{\tfrac{3}{2}}}}\int_{{{R}^{3}}}^{{}}{{{d}^{3}}r{{e}^{-\frac{i}{\hbar }\bar{p}\bar{r}}}}\left\langle  {\bar{r}} | \Psi  \right\rangle =\int_{{{R}^{3}}}^{{}}{{{d}^{3}}r\left\langle  {\bar{r}} | {\bar{p}} \right\rangle *}\left\langle  {\bar{r}} | \Psi  \right\rangle =\int_{{{R}^{3}}}^{{}}{{{d}^{3}}r\left\langle  {\bar{p}} | {\bar{r}} \right\rangle }\left\langle  {\bar{r}} | \Psi  \right\rangle  \\  
& \tilde{\Psi }(\bar{p})=\left\langle  {\bar{p}} | \Psi  \right\rangle =\frac{1}{{{\left( 2\pi \hbar  \right)}^{\tfrac{3}{2}}}}\int_{{{R}^{3}}}^{{}}{{{d}^{3}}r{{e}^{-\frac{i}{\hbar }\bar{p}\bar{r}}}}\left\langle  {\bar{r}} | \Psi  \right\rangle =\int_{{{R}^{3}}}^{{}}{{{d}^{3}}r\left\langle  {\bar{r}} | {\bar{p}} \right\rangle *}\left\langle  {\bar{r}} | \Psi  \right\rangle =\int_{{{R}^{3}}}^{{}}{{{d}^{3}}r\left\langle  {\bar{p}} | {\bar{r}} \right\rangle }\left\langle  {\bar{r}} | \Psi  \right\rangle  \\  
Line 233: Line 233:
\end{align}</math>
\end{align}</math>
Da <math>\bar{r}</math>und <math>\bar{p}</math>vollständige Darstellungen sind, folgt:
Da <math>\bar{r}</math>und <math>\bar{p}</math>vollständige Darstellungen sind, folgt:
<math>\left| \Psi  \right\rangle =\int_{{{R}^{3}}}^{{}}{{{d}^{3}}p\left| {\bar{p}} \right\rangle }\left\langle  {\bar{p}} | \Psi  \right\rangle =\int_{{{R}^{3}}}^{{}}{{{d}^{3}}r\left| {\bar{r}} \right\rangle }\left\langle  {\bar{r}} | \Psi  \right\rangle </math>
:<math>\left| \Psi  \right\rangle =\int_{{{R}^{3}}}^{{}}{{{d}^{3}}p\left| {\bar{p}} \right\rangle }\left\langle  {\bar{p}} | \Psi  \right\rangle =\int_{{{R}^{3}}}^{{}}{{{d}^{3}}r\left| {\bar{r}} \right\rangle }\left\langle  {\bar{r}} | \Psi  \right\rangle </math>
analog zur Entwicklung des Vektors <math>\left| {\bar{a}} \right\rangle \in {{R}^{n}}</math>nach Basisvektoren ( in seinen Koordinaten, mit seinen Koordinaten als Entwicklungskoeffizienten).
analog zur Entwicklung des Vektors <math>\left| {\bar{a}} \right\rangle \in {{R}^{n}}</math>nach Basisvektoren ( in seinen Koordinaten, mit seinen Koordinaten als Entwicklungskoeffizienten).
<math>\bar{a}=\sum\limits_{j}{{}}{{a}_{j}}\left| {{{\bar{e}}}_{j}} \right\rangle =\sum\limits_{j}{\left| {{{\bar{e}}}_{j}} \right\rangle \left\langle  {{{\bar{e}}}_{j}}  |  {\bar{a}} \right\rangle =\sum\limits_{j}{{}}{{a}_{j}}\acute{\ }\left| {{{\bar{e}}}_{j}}\acute{\ } \right\rangle }=\sum\limits_{j}{\left| {{{\bar{e}}}_{j}}\acute{\ } \right\rangle \left\langle  {{{\bar{e}}}_{j}}\acute{\ }  |  {\bar{a}} \right\rangle }</math>
:<math>\bar{a}=\sum\limits_{j}{{}}{{a}_{j}}\left| {{{\bar{e}}}_{j}} \right\rangle =\sum\limits_{j}{\left| {{{\bar{e}}}_{j}} \right\rangle \left\langle  {{{\bar{e}}}_{j}}  |  {\bar{a}} \right\rangle =\sum\limits_{j}{{}}{{a}_{j}}\acute{\ }\left| {{{\bar{e}}}_{j}}\acute{\ } \right\rangle }=\sum\limits_{j}{\left| {{{\bar{e}}}_{j}}\acute{\ } \right\rangle \left\langle  {{{\bar{e}}}_{j}}\acute{\ }  |  {\bar{a}} \right\rangle }</math>
Somit folgt jedoch:
Somit folgt jedoch:
<math>\int_{{{R}^{3}}}^{{}}{{{d}^{3}}p\left| {\bar{p}} \right\rangle \left\langle  {\bar{p}} \right|}=\int_{{{R}^{3}}}^{{}}{{{d}^{3}}r\left| {\bar{r}} \right\rangle }\left\langle  {\bar{r}} \right|=1</math>  als Vollständigkeits- Relation. Nebenbemerkung: Der Hilbertraum der Zustände hat unendliche Dimension.
:<math>\int_{{{R}^{3}}}^{{}}{{{d}^{3}}p\left| {\bar{p}} \right\rangle \left\langle  {\bar{p}} \right|}=\int_{{{R}^{3}}}^{{}}{{{d}^{3}}r\left| {\bar{r}} \right\rangle }\left\langle  {\bar{r}} \right|=1</math>  als Vollständigkeits- Relation. Nebenbemerkung: Der Hilbertraum der Zustände hat unendliche Dimension.
Als Grenzwert definiert man den Dirac- Vektor, als Grenzwert einer diskreten Basis:
Als Grenzwert definiert man den Dirac- Vektor, als Grenzwert einer diskreten Basis:
<math>\begin{align}
:<math>\begin{align}
& \left| {\bar{p}} \right\rangle \notin H \\
& \left| {\bar{p}} \right\rangle \notin H \\
& \left| {\bar{p}} \right\rangle :=\begin{matrix}
& \left| {\bar{p}} \right\rangle :=\begin{matrix}
Line 248: Line 248:
Eigenschaften der Funktionen, die H aufspannen:
Eigenschaften der Funktionen, die H aufspannen:
=====Dual:=====
=====Dual:=====
<math>\left\langle  \Psi  \right|=\int_{{{R}^{3}}}^{{}}{{{d}^{3}}p\left\langle  \Psi  | {\bar{p}} \right\rangle }\left\langle  {\bar{p}} \right|=\int_{{{R}^{3}}}^{{}}{{{d}^{3}}r\left\langle  \Psi  | {\bar{r}} \right\rangle }\left\langle  {\bar{r}} \right|</math>
:<math>\left\langle  \Psi  \right|=\int_{{{R}^{3}}}^{{}}{{{d}^{3}}p\left\langle  \Psi  | {\bar{p}} \right\rangle }\left\langle  {\bar{p}} \right|=\int_{{{R}^{3}}}^{{}}{{{d}^{3}}r\left\langle  \Psi  | {\bar{r}} \right\rangle }\left\langle  {\bar{r}} \right|</math>
Man spricht auch vom " Einschieben einer 1 !".
Man spricht auch vom " Einschieben einer 1 !".
<math>\left\langle  \Psi  | {\bar{r}} \right\rangle =\int_{{{R}^{3}}}^{{}}{{{d}^{3}}p\left\langle  \Psi  | {\bar{p}} \right\rangle }\left\langle  {\bar{p}} | {\bar{r}} \right\rangle =\int_{{{R}^{3}}}^{{}}{{{d}^{3}}p}\tilde{\Psi }(\bar{p})*{{\left( 2\pi \hbar  \right)}^{-\tfrac{3}{2}}}{{e}^{-\frac{i}{\hbar }\bar{p}\bar{r}}}=\left\langle  {\bar{r}} | \Psi  \right\rangle *=\Psi (\bar{r})*</math>
:<math>\left\langle  \Psi  | {\bar{r}} \right\rangle =\int_{{{R}^{3}}}^{{}}{{{d}^{3}}p\left\langle  \Psi  | {\bar{p}} \right\rangle }\left\langle  {\bar{p}} | {\bar{r}} \right\rangle =\int_{{{R}^{3}}}^{{}}{{{d}^{3}}p}\tilde{\Psi }(\bar{p})*{{\left( 2\pi \hbar  \right)}^{-\tfrac{3}{2}}}{{e}^{-\frac{i}{\hbar }\bar{p}\bar{r}}}=\left\langle  {\bar{r}} | \Psi  \right\rangle *=\Psi (\bar{r})*</math>
=====Skalarprodukt:=====
=====Skalarprodukt:=====
<math>\left\langle  {{\Psi }_{1}} | {{\Psi }_{2}} \right\rangle =\int_{{{R}^{3}}}^{{}}{{{d}^{3}}r\left\langle  {{\Psi }_{1}} | {\bar{r}} \right\rangle }\left\langle  {\bar{r}} | {{\Psi }_{2}} \right\rangle =\int_{{{R}^{3}}}^{{}}{{{d}^{3}}r}{{\Psi }_{1}}(\bar{r})*{{\Psi }_{2}}(\bar{r})=\int_{{{R}^{3}}}^{{}}{{{d}^{3}}p}{{\tilde{\Psi }}_{1}}(\bar{p})*{{\tilde{\Psi }}_{2}}(\bar{p})</math>
:<math>\left\langle  {{\Psi }_{1}} | {{\Psi }_{2}} \right\rangle =\int_{{{R}^{3}}}^{{}}{{{d}^{3}}r\left\langle  {{\Psi }_{1}} | {\bar{r}} \right\rangle }\left\langle  {\bar{r}} | {{\Psi }_{2}} \right\rangle =\int_{{{R}^{3}}}^{{}}{{{d}^{3}}r}{{\Psi }_{1}}(\bar{r})*{{\Psi }_{2}}(\bar{r})=\int_{{{R}^{3}}}^{{}}{{{d}^{3}}p}{{\tilde{\Psi }}_{1}}(\bar{p})*{{\tilde{\Psi }}_{2}}(\bar{p})</math>
=====Norm:=====
=====Norm:=====
<math>\left\| \Psi  \right\|={{\left[ \int_{{{R}^{3}}}^{{}}{{{d}^{3}}r\left\langle  \Psi  | {\bar{r}} \right\rangle }\left\langle  {\bar{r}} | \Psi  \right\rangle  \right]}^{\frac{1}{2}}}={{\left[ \int_{{{R}^{3}}}^{{}}{{{d}^{3}}r{{\left| \Psi (\bar{r}) \right|}^{2}}} \right]}^{\frac{1}{2}}}</math>
:<math>\left\| \Psi  \right\|={{\left[ \int_{{{R}^{3}}}^{{}}{{{d}^{3}}r\left\langle  \Psi  | {\bar{r}} \right\rangle }\left\langle  {\bar{r}} | \Psi  \right\rangle  \right]}^{\frac{1}{2}}}={{\left[ \int_{{{R}^{3}}}^{{}}{{{d}^{3}}r{{\left| \Psi (\bar{r}) \right|}^{2}}} \right]}^{\frac{1}{2}}}</math>
Alle Funktionen im Hilbertraum müssen also insbesondere quadratintegrabel sein.
Alle Funktionen im Hilbertraum müssen also insbesondere quadratintegrabel sein.
Somit folgt:
Somit folgt:
<math>H=L{}^\text{2}({{R}^{3}})=\left\{ \Psi :{{R}^{3}}\to C\left| {} \right.\left[ \int_{{{R}^{3}}}^{{}}{{{d}^{3}}r{{\left| \Psi (\bar{r}) \right|}^{2}}<\infty } \right] \right\}</math>
:<math>H=L{}^\text{2}({{R}^{3}})=\left\{ \Psi :{{R}^{3}}\to C\left| {} \right.\left[ \int_{{{R}^{3}}}^{{}}{{{d}^{3}}r{{\left| \Psi (\bar{r}) \right|}^{2}}<\infty } \right] \right\}</math>
Nebenbemerkung:
Nebenbemerkung:
Die Linearität des Vektorraumes garantiert das Superpositionsprinzip für Wellenfunktionen!
Die Linearität des Vektorraumes garantiert das Superpositionsprinzip für Wellenfunktionen!

Revision as of 15:49, 12 September 2010


{{#set:Urheber=Prof. Dr. E. Schöll, PhD|Inhaltstyp=Script|Kapitel=2|Abschnitt=1}} Kategorie:Quantenmechanik __SHOWFACTBOX__


Ψ(r¯) sei ein Vektor im Hilbertraum als Wellenfunktion.

Dabei wird zunächst noch keine Aussage über stationäre oder zeitabhängige Vektoren gemacht. Noch ist t einfach als Argument unterdrückt. ( Zeitlosigkeit)

Fourier- Trafo der Impulsdarstellung liefert Ψ(r¯):

Ψ(r¯)=1(2π)32R3d3kΦ(k¯)eik¯r¯ in Ortsdarstellung

Laßt Euch hier nicht verwirren. Die Verwendung von x und k als kanonisch konjugierte Variablen ist völlig analog zu x- p als Variablen, denn wegen

p¯=k¯

entspricht die Verwendung von p¯als kanonisch konjugierte Variable alleine der Mitnahme des Vorfaktors

1f2Ψ(r¯)=1(2π)32R3d3pΦ(p¯)eip¯r¯

Die Umkehrung ist nach dem Fourier- Theorem möglich:

R3d3xΨ(r¯)eik¯´r¯=1(2π)32R3d3kΦ(k¯)d3rei(k¯k¯´)r¯R3d3rei(k¯k¯´)r¯=(2π)3δ(k¯k¯´)1(2π)32R3d3kΦ(k¯)d3rei(k¯k¯´)r¯=1(2π)32R3d3kΦ(k¯)(2π)3δ(k¯k¯´)=(2π)32Φ(k¯´)Φ(k¯)=1(2π)32R3d3xΨ(r¯)eik¯r¯

Mit Hilfe: p=kΨ~(p¯)=32Φ(k¯)

Ergibt sich die gängige Darstellung

Ψ(r¯)=1(2π)32R3d3pΨ~(p¯)eip¯r¯Ψ~(p¯)=1(2π)32R3d3rΨ(r¯)eip¯r¯

Dies ist die umkehrbare und Eindeutige Darstellung der Wellenfunktion in Orts- und Impulsdarstellung (Eindeutigkeit nach dem Sampling- Theorem).

Da die Natur der Dinge diese Transformation beinhaltet sind keine Informationen unter einem gewissen Produkt aus Ort und Impuls in der Wellenfunktion enthalten. ( Sampling- Theorem) Da die Wellenfunktion aber per Definition das System vollständig beschreiben soll, kann in dem System keine Information enthalten sein, die eine größere Genauigkeit als diese der Unschärferelation aufweist.

Also ist die Heisenbergsche Unschärferelation der Ausdruck einer inhärenten Unschärfe, die in der Natur der Dinge liegt, wenn denn der Formalismus der Quantenmechanik und ihre Axiome richtig sind.

Wiederholung

Angesichts eines informationstheoretischen Zugangs zur Quantenmechanik ist dies eine wichtige Aussage:

Wir haben also als Transformationsvorschrift zwischen kanonisch konjugierten Variablen die Fouriertransformation:

Ψ(r¯)=1(2π)32R3d3pΨ~(p¯)eip¯r¯Ψ~(p¯)=1(2π)32R3d3rΨ(r¯)eip¯r¯

Als minimale Einheit der Wirkung ( gemäß Hamiltonschem Prinzip) gewinnen wir:

ΔxΔp=12 ( im eindimensionalen Fall)

also für unser Informationsminimum:

ΔxΔk=12

Dies folgt unmittelbar aus der Fouriertransformation als Trafo- Vorschrift ! ( Sampling- Theorem)

Die Wellenfunktion kann unter dieser Quantisierung keine Information beinhalten !

Aber: Die Wellenfunktion beschriebt das System vollständig ( Axiom der Quantenmechanik !)

Somit existiert in der Natur keine Information unter

ΔxΔp<12

Geometrische Analogie der Transformation zwischen Orts- und Impulsdarstellung:

Sei V=Rnein n- dimensionaler Vektorraum, das heißt, die Metrik sei durch ein euklidisches Skalarprodukt a¯|b¯=i=1naibierklärt.

Seien {e¯1,e¯2,...,e¯n}, {e¯1´,e¯2´,...,e¯n´}und {e¯~1,e¯~2,...,e¯~n}drei beliebige Basen des Rn.

Ein Vektor kann natürlich bezüglich der einen oder der anderen Basis dargestellt werden:

a¯=j=1naje¯j=j=1naj´e¯j´=j=1na~je¯~j

Die Basen sollen die folgenden Eigenschaften haben:

Orthonormalität: e¯i|e¯j=e¯i´|e¯j´=δij

Die Projektion auf die Basisvektoren erfolgt durch die Bildung des Skalarproduktes:

e¯i|a¯=ai=jaje¯i|e¯j=jajδije¯i´|a¯=ai´=jaj´e¯i´|e¯j´=jaj´δij

Natürlich kann jeder Vektor in einer beliebigen Basis formal entwickelt werden. Die Entwicklungskoeffizienten sind die Projektionen auf die jeweiligen Basisvektoren und natürlich von der Wahl der Basis abhängig :

a¯=jaj|e¯j=je¯j|a¯|e¯j=j|e¯je¯j|a¯a¯=jaj´|e¯j´=je¯j´|a¯|e¯j´=j|e¯j´e¯j´|a¯

Im Sinne von:

b¯|a¯=jbjaj=jb|e¯je¯j|a=jb|e¯j´e¯j´|a

Formal gilt damit:

j=1n|e¯je¯j|=j=1n|e¯j´e¯j´|

Dies ist die VOLLSTÄNDIGKEITSRELATION: Die Basis- Vektoren spannen den n- dimensionalen Rnauf. Übertragung auf Orts- und Impulsdarstellung quantentheoretischer Zustände: Der Zustandsvektor im Hilbertraum benötigt zur vollständigen Beschreibung einen 2n- dimensionalen Hilbertraum bei n Freiheitsgraden. In Orts- und Impulsdarstellung wird jedoch nur die jeweilige Komponente, ergo die Projektion der gesamten Wellenfunktion auf den Ortsanteil oder die Projektion der gesamten Wellenfunktion auf den Impulsanteil dargestellt. Dies ist vergleichbar mit einem System aus orthogonalen Achsen, wobei man die Projektion einer Funktion in diesem Raum auf eine bestimmte Anzahl von Achsen, beispielsweise auf die Anzahl Achsen, die die Bezeichnung ri tragen, betrachtet ( Ortsdarstellung). Die Anteile sind jedoch natürlich nicht voneinander unabhängig, sondern sie gehen durch die Fouriertrafo ineinander über ! Es macht ebenso Sinn, Ψ(r¯)und Ψ~(p¯)als Projektionen eines abstrakten Zustandsvektors im Hilbertraum H auf die r¯bzw. p¯- Basis = Darstellung zu betrachten:

Ψ(r¯):=r¯|ΨΨ(p¯):=p¯|Ψmit ΨHals Zustandsvektor.

Axiome des Hilbertraums H:

  1. H ist ein komplexer Vektorraum:

Dadurch werden die Elemente aus H zu einer kommutativen Gruppe Weiter gilt: Distributivgesetz:

α(|Ψ1+|Ψ2)=α|Ψ1+α|Ψ2αC
(α+β)|Ψ=α|Ψ+β|Ψ

Das Assoziativgesetz und weitere Rechenregel bei Multiplikation mit 1 und Null aus den komplexen Zahlen:

(α)(β|Ψ)=(αβ)|Ψ1|Ψ=|Ψ0|Ψ=|0

2) H hat ein Skalarprodukt: |:H×HCmit:

Ψ|Ψ0:Ψ|Ψ=0|Ψ=|0Ψ|Ψ1+Ψ2=Ψ|Ψ1+Ψ|Ψ2Ψ1|αΨ2=αΨ1|Ψ2Ψ1|Ψ2=Ψ2|Ψ1*

Damit bereits kann gezeigt werden: αΨ1|Ψ2=α*Ψ1|Ψ2 Das Skalarprdukt induziert eine Norm: :HR

Ψ0:Ψ=0|Ψ=|0αΨ=|α|ΨΨ1+Ψ2Ψ1+Ψ2

Dabei ist letzteres, die Dreiecksungleichung, bedingt durch die Definition:

Ψ=Ψ|Ψ

3) Hist vollständig. Das heißt: Jede konvergente Folge {Ψn}nNkonvergiert gegen ein |ΨH Also: konvergente Folge von Eigenzuständen: Cauchy- Kriterium: limnΨn+1Ψn=0

Bemerkungen

1) Die Norm verallgemeinert den Abstandsbegriff auf abstrakte Räume. Das Skalarprodukt verallgemeinert den Winkelbegriff auf abstrakte Räume:

Ψ1|Ψ2,Ψ1>0Ψ2>0Die beiden Zustände |Ψ2undΨ1|sind orthogonal.

2) Für |Ψ1,|Ψ2Hgilt: |Ψ1|Ψ2|Ψ1Ψ2 ( Schwarzsche Ungleichung) 3) Äquivalent sind Ψ1|Ψ2und (Ψ1,Ψ2) 4) Zu unterscheiden sind:

|Ψ= Ket- Vektor ( nach Dirac ->Dirac- Schreibweise)
Ψ|=Bra- Vektor

Zusammen ( Skalarprodukt): Bra-c-ket

Dabei bilden die {Ψ|}den zu {|Ψ}dualen Hilbertraum H*:

|Ψ=λ1|Ψ1+λ2|Ψ2, |Ψ=λ1,λ2C

impliziert mit beliebigem Φ|:

Φ|Ψ=λ1Φ|Ψ1+λ2Φ|Ψ2Φ|Ψ*=λ1*Φ|Ψ1*+λ2*Φ|Ψ2*Ψ|Φ=λ1*Ψ1|Φ+λ2*Ψ2|ΦΨ|=λ1*Ψ1|+λ2*Ψ2|

Aber: Hist der zu H*duale Vektorraum, H*ist isomorph zu H

5) Hheißt separabel, falls er eine überall dichte, abzählbare Teilmenge Dbesitzt Das heißt: |ΨH{Ψn}nD Dies ist äquivalent dazu, dass ein Hilbertraum H separabel heißt, wenn er eine abzählbare Hilbert- Basis besitzt, es also ein abzählbares, vollständig orthonormiertes System in H gibt. Eine Isometrie Φzwischen Hilberträumen H und K ist eine stetige, bijektive, lineare Abbildung Φ:HKso dass Φ(x)K=xHfür alle xH. Anwendung auf die Ortsdarstellung

Ψ(r¯)=r¯|Ψ=1(2π)32R3d3pΨ~(p¯)eip¯r¯=1(2π)32R3d3peip¯r¯p¯|ΨΨ~(p¯)=p¯|Ψ=1(2π)32R3d3rΨ(r¯)eip¯r¯=1(2π)32R3d3reip¯r¯r¯|Ψ
ist in der Ortsdarstellung eine Eigenfunktion ( Wohlgemerkt, eine Funktion!) zum Impuls, also die Ortsdarstellung des Impulszustandes Impuls- Eigenzustandes|p¯). Der Zustand, der den Impuls repräsentiert und durch Anwendung des Impulsoperators den Impuls liefert.

Denn:

ieip¯r¯=p¯eip¯r¯

In Algebraischer Schreibweise bedeutet dies ( inklusive Normierung):

Impulseigenfunktion in Ortsdarstellung

p¯|r¯~eip¯r¯

Ortseigenfunktion in Impulsdarstellung ( Diese beiden gehen durch komplexe Konjugation ineinander über !) Damit folgt:

Ψ(r¯)=r¯|Ψ=1(2π)32R3d3peip¯r¯p¯|Ψ=R3d3pr¯|p¯p¯|ΨΨ~(p¯)=p¯|Ψ=1(2π)32R3d3reip¯r¯r¯|Ψ=R3d3rr¯|p¯*r¯|Ψ=R3d3rp¯|r¯r¯|Ψ

Da r¯und p¯vollständige Darstellungen sind, folgt:

|Ψ=R3d3p|p¯p¯|Ψ=R3d3r|r¯r¯|Ψ

analog zur Entwicklung des Vektors |a¯Rnnach Basisvektoren ( in seinen Koordinaten, mit seinen Koordinaten als Entwicklungskoeffizienten).

a¯=jaj|e¯j=j|e¯je¯j|a¯=jaj´|e¯j´=j|e¯j´e¯j´|a¯

Somit folgt jedoch:

R3d3p|p¯p¯|=R3d3r|r¯r¯|=1 als Vollständigkeits- Relation. Nebenbemerkung: Der Hilbertraum der Zustände hat unendliche Dimension.

Als Grenzwert definiert man den Dirac- Vektor, als Grenzwert einer diskreten Basis:

|p¯H|p¯:=limΔp0|p¯,Δp¯

Eigenschaften der Funktionen, die H aufspannen:

Dual:
Ψ|=R3d3pΨ|p¯p¯|=R3d3rΨ|r¯r¯|

Man spricht auch vom " Einschieben einer 1 !".

Ψ|r¯=R3d3pΨ|p¯p¯|r¯=R3d3pΨ~(p¯)*(2π)32eip¯r¯=r¯|Ψ*=Ψ(r¯)*
Skalarprodukt:
Ψ1|Ψ2=R3d3rΨ1|r¯r¯|Ψ2=R3d3rΨ1(r¯)*Ψ2(r¯)=R3d3pΨ~1(p¯)*Ψ~2(p¯)
Norm:
Ψ=[R3d3rΨ|r¯r¯|Ψ]12=[R3d3r|Ψ(r¯)|2]12

Alle Funktionen im Hilbertraum müssen also insbesondere quadratintegrabel sein. Somit folgt:

H=L2(R3)={Ψ:R3C|[R3d3r|Ψ(r¯)|2<]}

Nebenbemerkung: Die Linearität des Vektorraumes garantiert das Superpositionsprinzip für Wellenfunktionen!