Eigenwerte und Eigenzustände von hermiteschen Operatoren: Unterschied zwischen den Versionen

Aus PhysikWiki
Zur Navigation springen Zur Suche springen
Keine Bearbeitungszusammenfassung
*>SchuBot
Keine Bearbeitungszusammenfassung
Zeile 37: Zeile 37:
'''Beweis:'''
'''Beweis:'''
<math>\begin{align}
<math>\begin{align}
& \left\langle  \Psi  \right|\hat{F}\left| \Psi  \right\rangle =\alpha \left\langle  \Psi  \right|\left| \Psi  \right\rangle =\alpha =\left\langle  \Psi  \right|{{{\hat{F}}}^{+}}\left| \Psi  \right\rangle =\left\langle  \Psi  \right|\hat{F}\left| \Psi  \right\rangle *=\alpha * \\
& \left\langle  \Psi  \right|\hat{F}\left| \Psi  \right\rangle =\alpha \left\langle  \Psi   | \Psi  \right\rangle =\alpha =\left\langle  \Psi  \right|{{{\hat{F}}}^{+}}\left| \Psi  \right\rangle =\left\langle  \Psi  \right|\hat{F}\left| \Psi  \right\rangle *=\alpha * \\
& \Rightarrow \alpha \in R \\
& \Rightarrow \alpha \in R \\
\end{align}</math>
\end{align}</math>
Zeile 49: Zeile 49:
& \Rightarrow \left\langle  {{\Psi }_{2}} \right|\hat{F}={{F}_{2}}\left\langle  {{\Psi }_{2}} \right| \\
& \Rightarrow \left\langle  {{\Psi }_{2}} \right|\hat{F}={{F}_{2}}\left\langle  {{\Psi }_{2}} \right| \\
\end{align}</math><math>\begin{align}
\end{align}</math><math>\begin{align}
& \left\langle  {{\Psi }_{1}} \right|\hat{F}\left| {{\Psi }_{2}} \right\rangle ={{F}_{2}}\left\langle  {{\Psi }_{1}} \right|\left| {{\Psi }_{2}} \right\rangle  \\
& \left\langle  {{\Psi }_{1}} \right|\hat{F}\left| {{\Psi }_{2}} \right\rangle ={{F}_{2}}\left\langle  {{\Psi }_{1}} | {{\Psi }_{2}} \right\rangle  \\
& \left\langle  {{\Psi }_{2}} \right|\hat{F}\left| {{\Psi }_{1}} \right\rangle ={{F}_{1}}\left\langle  {{\Psi }_{2}} | {{\Psi }_{1}} \right\rangle =\left\langle  {{\Psi }_{1}} \right|\hat{F}\left| {{\Psi }_{2}} \right\rangle *={{F}_{2}}\left\langle  {{\Psi }_{1}} \right|\left| {{\Psi }_{2}} \right\rangle \quad falls\ \hat{F}={{{\hat{F}}}^{+}},{{F}_{2}}={{F}_{2}}* \\
& \left\langle  {{\Psi }_{2}} \right|\hat{F}\left| {{\Psi }_{1}} \right\rangle ={{F}_{1}}\left\langle  {{\Psi }_{2}} | {{\Psi }_{1}} \right\rangle =\left\langle  {{\Psi }_{1}} \right|\hat{F}\left| {{\Psi }_{2}} \right\rangle *={{F}_{2}}\left\langle  {{\Psi }_{1}} | {{\Psi }_{2}} \right\rangle \quad falls\ \hat{F}={{{\hat{F}}}^{+}},{{F}_{2}}={{F}_{2}}* \\
& \left\langle  {{\Psi }_{2}} \right|\hat{F}\left| {{\Psi }_{1}} \right\rangle =\left\langle  {{{\hat{F}}}^{+}}{{\Psi }_{2}} \right|\left| {{\Psi }_{1}} \right\rangle ={{F}_{2}}\left\langle  {{\Psi }_{2}} | {{\Psi }_{1}} \right\rangle  \\
& \left\langle  {{\Psi }_{2}} \right|\hat{F}\left| {{\Psi }_{1}} \right\rangle =\left\langle  {{{\hat{F}}}^{+}}{{\Psi }_{2}} | {{\Psi }_{1}} \right\rangle ={{F}_{2}}\left\langle  {{\Psi }_{2}} | {{\Psi }_{1}} \right\rangle  \\
& \left\langle  {{\Psi }_{2}} \right|\hat{F}\left| {{\Psi }_{1}} \right\rangle -\left\langle  {{\Psi }_{2}} \right|\hat{F}\left| {{\Psi }_{1}} \right\rangle =\left( {{F}_{2}}-{{F}_{1}} \right)\left\langle  {{\Psi }_{2}} | {{\Psi }_{1}} \right\rangle  \\  
& \left\langle  {{\Psi }_{2}} \right|\hat{F}\left| {{\Psi }_{1}} \right\rangle -\left\langle  {{\Psi }_{2}} \right|\hat{F}\left| {{\Psi }_{1}} \right\rangle =\left( {{F}_{2}}-{{F}_{1}} \right)\left\langle  {{\Psi }_{2}} | {{\Psi }_{1}} \right\rangle  \\  


Zeile 77: Zeile 77:
<math>\hat{F}\left| n,\alpha  \right\rangle ={{F}_{n}}\left| n,\alpha  \right\rangle </math>n=0,1,2,3,...<math>\alpha =1,2,3,..,={{\alpha }_{n}}</math>, der sogenannte Entartungsindex. Man spricht von
<math>\hat{F}\left| n,\alpha  \right\rangle ={{F}_{n}}\left| n,\alpha  \right\rangle </math>n=0,1,2,3,...<math>\alpha =1,2,3,..,={{\alpha }_{n}}</math>, der sogenannte Entartungsindex. Man spricht von
<math>{{\alpha }_{n}}</math>- facher Entartung
<math>{{\alpha }_{n}}</math>- facher Entartung
Aus<math>\hat{F}\left| n,\alpha  \right\rangle ={{F}_{n}}\left| n,\alpha  \right\rangle </math>folgt bereits:<math>\left( {{F}_{n}}-{{F}_{m}} \right)\left\langle  m,\alpha  \right|\left| n,\alpha \acute{\ } \right\rangle =0\Rightarrow \left\langle  m,\alpha  \right|\left| n,\alpha \acute{\ } \right\rangle ={{\delta }_{mn}}</math>
Aus<math>\hat{F}\left| n,\alpha  \right\rangle ={{F}_{n}}\left| n,\alpha  \right\rangle </math>folgt bereits:<math>\left( {{F}_{n}}-{{F}_{m}} \right)\left\langle  m,\alpha   | n,\alpha \acute{\ } \right\rangle =0\Rightarrow \left\langle  m,\alpha   | n,\alpha \acute{\ } \right\rangle ={{\delta }_{mn}}</math>
Somit also müssen nur die HAUPTQUANTENZAHLEN, wie man sagt, der Zustände gleich sein.
Somit also müssen nur die HAUPTQUANTENZAHLEN, wie man sagt, der Zustände gleich sein.
Möglich wäre<math>\left\langle  n,\alpha  \right|\left| n,\alpha \acute{\ } \right\rangle \ne 0</math>für<math>\alpha \ne \alpha \acute{\ }</math>.
Möglich wäre<math>\left\langle  n,\alpha   | n,\alpha \acute{\ } \right\rangle \ne 0</math>für<math>\alpha \ne \alpha \acute{\ }</math>.
Also müssen miteinander entartete Zustände eines bestimmten Hauptniveaus nicht orthogonal sein.
Also müssen miteinander entartete Zustände eines bestimmten Hauptniveaus nicht orthogonal sein.
Jedoch kann man im Unterraum der Entarteten Zustände Transformationen durchführen. Dies ist der Eigenraum zum Eigenwert Fn.
Jedoch kann man im Unterraum der Entarteten Zustände Transformationen durchführen. Dies ist der Eigenraum zum Eigenwert Fn.
Zeile 86: Zeile 86:
Eine geeignete Trafo wäre beispielsweise das Schmidtsche Orthogonalisierungsverfahren:
Eine geeignete Trafo wäre beispielsweise das Schmidtsche Orthogonalisierungsverfahren:
Also gilt dann:
Also gilt dann:
<math>\left\langle  n,\beta  \right|\left| m,\beta \acute{\ } \right\rangle ={{\delta }_{mn}}{{\delta }_{\beta \beta \acute{\ }}}</math>
<math>\left\langle  n,\beta   | m,\beta \acute{\ } \right\rangle ={{\delta }_{mn}}{{\delta }_{\beta \beta \acute{\ }}}</math>
'''Theorem 3:'''
'''Theorem 3:'''
Zwei hermitesche Operatoren<math>\hat{F}</math>und<math>\hat{G}</math>kommutieren genau dann, wenn sie ein gemeinsames System von Eigenvektoren besitzen:
Zwei hermitesche Operatoren<math>\hat{F}</math>und<math>\hat{G}</math>kommutieren genau dann, wenn sie ein gemeinsames System von Eigenvektoren besitzen:
Zeile 115: Zeile 115:
& \left\langle  \Phi \acute{\ } \right|:=\left\langle  \Phi  \right|{{U}^{+}} \\
& \left\langle  \Phi \acute{\ } \right|:=\left\langle  \Phi  \right|{{U}^{+}} \\
\end{align}</math>
\end{align}</math>
folgt für beliebige<math>\Psi ,\Phi </math><math>\left\langle  \Phi \acute{\ } \right|\left| \Psi \acute{\ } \right\rangle :=\left\langle  \Phi  \right|{{U}^{+}}U\left| \Psi  \right\rangle =\left\langle  \Phi  \right|\left| \Psi  \right\rangle </math>
folgt für beliebige<math>\Psi ,\Phi </math><math>\left\langle  \Phi \acute{\ } | \Psi \acute{\ } \right\rangle :=\left\langle  \Phi  \right|{{U}^{+}}U\left| \Psi  \right\rangle =\left\langle  \Phi   | \Psi  \right\rangle </math>
Das heißt, das Skalarprodukt ist bei unitären Transformationen invariant. Umgekehrt: Will man nur Trafos zulassen, für die das Skalarprodukt invariant bleibt ( Erhaltung der Wahrscheinlichkeit), so sind dies die unitären !
Das heißt, das Skalarprodukt ist bei unitären Transformationen invariant. Umgekehrt: Will man nur Trafos zulassen, für die das Skalarprodukt invariant bleibt ( Erhaltung der Wahrscheinlichkeit), so sind dies die unitären !
Unitäre Operatoren transformieren das quantenmechanische System ganz grundsätzlich von einer Basis in eine andere.
Unitäre Operatoren transformieren das quantenmechanische System ganz grundsätzlich von einer Basis in eine andere.

Version vom 11. September 2010, 17:20 Uhr




Annahme: Eine physikalische Observable F habe in einem normierten Zustand |Ψ einen scharfen Wert: (ΔF̂)2=d3rΨ(r¯)(ΔF̂)2Ψ(r¯)=(F̂F̂)2=F̂2F̂2=d3rΨ(r¯)(F̂)2Ψ(r¯)(d3rΨ(r¯)F̂Ψ(r¯))2=0Ψ|F̂2|Ψ=Ψ|F̂|Ψ2 Für hermitesches F als physikalische Observable mit Ψ|F̂|Ψ=Ψ|F̂|Ψ Sei F̂|Ψ:=|ΦΨ|F̂=Φ| So folgt aus Ψ|F̂2|Ψ=Ψ|F̂|Ψ2 , dass Φ|Φ=Ψ|F̂2|Ψ=Ψ|F̂|Ψ2=Φ|Ψ2=|Φ|Ψ|2 Die schwarzsche Ungleichung sagt jedoch : |Φ|Ψ|2Φ2Ψ2Ψ2=1Φ2Ψ2=Φ2=Φ|Φ|Φ|Ψ|2Φ|Φ Das Gleichheitszeichen gilt genau dann, wenn die Zustände parallel sind, also folgt: |Φ=α|ΨαCF̂|Ψ=α|Ψ Das heißt, für den normierten Zustand|Ψfolgt alleine aus der Schwarzschen Ungleichung, dass|ΨEigenzustand zuF̂ist. Theorem 1: Eigenwerte hermitescher Operatoren sind reell Beweis: Ψ|F̂|Ψ=αΨ|Ψ=α=Ψ|F̂+|Ψ=Ψ|F̂|Ψ=ααR Vergleiche Energie- Eigenwert Eigenwerte hermitescher Operatoren können DISKRET oder KONTINUIERLICH sein ! Theorem 2: Eigenzustände hermitescher Operatoren zu verschiedenen Eigenwerten sind orthogonal: Beweis: F̂|Ψ1=F1|Ψ1F̂|Ψ2=F2|Ψ2Ψ2|F̂=F2Ψ2|Ψ1|F̂|Ψ2=F2Ψ1|Ψ2Ψ2|F̂|Ψ1=F1Ψ2|Ψ1=Ψ1|F̂|Ψ2=F2Ψ1|Ψ2falls F̂=F̂+,F2=F2Ψ2|F̂|Ψ1=F̂+Ψ2|Ψ1=F2Ψ2|Ψ1Ψ2|F̂|Ψ1Ψ2|F̂|Ψ1=(F2F1)Ψ2|Ψ1 Da die Eigenwerte nach Voraussetzung verschieden sein sollen, gilt für die zugehörigen Eigenzustände: Ψ2|Ψ1=0 Wegen der Normierung gilt: Ψn|Ψm=δnm Kontinuierlicher Fall: F|F ´=δ(FF ´)r¯|r¯ ´=δ(r¯r¯ ´) Die Zustände sind im kontinuierlichen Fall nicht normierbar, also nicht Element des Hilbertraumes. Sind aber als Limes einer diskreten Basis aufzufassen: |p¯H|p¯:=limΔp0|p¯,Δp¯( vergleiche Fick, S. 114) -> sogenannte Dirac- Zustände ! Entartung ( Unter Entartung versteht man, dass zum selben Eigenwert verschiedene Eigenzustände existieren) Dadurch können beispielsweise verschiedene Elektronen den gleichen Energiewert annehmen oder verschiedene Teilchen mit der exakt identisch gleichen Energie auftreten ! F̂|n,α=Fn|n,αn=0,1,2,3,...α=1,2,3,..,=αn, der sogenannte Entartungsindex. Man spricht von αn- facher Entartung AusF̂|n,α=Fn|n,αfolgt bereits:(FnFm)m,α|n,α ´=0m,α|n,α ´=δmn Somit also müssen nur die HAUPTQUANTENZAHLEN, wie man sagt, der Zustände gleich sein. Möglich wären,α|n,α ´0fürαα ´. Also müssen miteinander entartete Zustände eines bestimmten Hauptniveaus nicht orthogonal sein. Jedoch kann man im Unterraum der Entarteten Zustände Transformationen durchführen. Dies ist der Eigenraum zum Eigenwert Fn. In diesem Eigenraum kann man die entarteten Zustände durch eine lineare Transformation in orthonormierte Eigenzustände|n,βüberführen: |n,β=α=1αn|n,αcαβ Eine geeignete Trafo wäre beispielsweise das Schmidtsche Orthogonalisierungsverfahren: Also gilt dann: n,β|m,β ´=δmnδββ ´ Theorem 3: Zwei hermitesche OperatorenF̂undĜkommutieren genau dann, wenn sie ein gemeinsames System von Eigenvektoren besitzen: Beweis:

Sei[F̂,Ĝ]=0undF̂|n=Fn|n[F̂,Ĝ]|n=F̂Ĝ|nĜF̂|n=F̂Ĝ|nFnĜ|n=0F̂Ĝ|n=FnĜ|n Also istĜ|nEigenzustand zum OperatorF̂mit EigenwertFn IstFnnicht entartet, so folgtĜ|n ~|n, also ist|nauch Eigenzustand zuĜ IstFnentartet, so kann , explizit berechenbar durch Schmidtsche Orthogonalisierung, der Eigenraum E vonF̂zum EigenwertFndurch orthonormierte|n,ββ=1,...,saufgespannt werden. Dann kann der EigenvektorĜ|n,βentwickelt werden, gemäßĜ|n,β=β ´|n,βcβ ´β Die Matrixcβ ´β:=nβ ´|Ĝ|n,β=cββ ´ist hermitesch, kann also durch eine unitäre Transformation U diagonalisiert werden: |n,γ=βUγβ|n,β MitβUγβUβγ ´=δγγ ´( " Drehung der Basis") Somit cβ ´β=n,β ´|Ĝ|n,β=Gnβδβ ´βĜ|n,β=β ´|n,β ´cβ ´β=Gnβ|n,β Also ist|n,βauch Eigenvektor zuĜ Nebenbemerkung: Im Allgemeinen wird dadurch die Entartung aufgehoben ! Leicht: Umkehrung: Sei{|n}ein vollständiges System von Eigenvektoren zuF̂,ĜF̂Ĝ|n=FnGn|n=GnFn|n=ĜF̂|n[F̂,Ĝ]=0 Definition Ein OperatorU:HHheißt UNITÄR, fallsU+U=UU+=1 Daraus folgt:U+=U1 Mit|Ψ ´:=U|ΨΦ ´|:=Φ|U+ folgt für beliebigeΨ,ΦΦ ´|Ψ ´:=Φ|U+U|Ψ=Φ|Ψ Das heißt, das Skalarprodukt ist bei unitären Transformationen invariant. Umgekehrt: Will man nur Trafos zulassen, für die das Skalarprodukt invariant bleibt ( Erhaltung der Wahrscheinlichkeit), so sind dies die unitären ! Unitäre Operatoren transformieren das quantenmechanische System ganz grundsätzlich von einer Basis in eine andere. dabei dürfen sich natürlich Aufenthalts- und Übergangswahrscheinlichkeiten ( die Skalarprodukte) nicht ändern Nur unitäre Transformationen sind erlaubt ! Insbesondere: Transformationen in die Eigenbasis eines OperatorsFehler beim Parsen (Syntaxfehler): {\displaystyle \overset{\lower0.5em\hbox{$\smash{\scriptscriptstyle\frown}$}}{F}} = Diagonalisierung vonFehler beim Parsen (Syntaxfehler): {\displaystyle \overset{\lower0.5em\hbox{$\smash{\scriptscriptstyle\frown}$}}{F}} Fehler beim Parsen (Unbekannte Funktion „\begin{align}“): {\displaystyle \begin{align} & \left\langle \Phi \acute{\ } \right|\overset{\lower0.5em\hbox{$\smash{\scriptscriptstyle\frown}$}}{F}\acute{\ }\left| \Psi \acute{\ } \right\rangle :=\left\langle \Phi \right|{{U}^{+}}\overset{\lower0.5em\hbox{$\smash{\scriptscriptstyle\frown}$}}{F}\acute{\ }U\left| \Psi \right\rangle \\ & \left| \Psi \right\rangle ={{U}^{+}}\left| \Psi \acute{\ } \right\rangle \\ & {{U}^{+}}\overset{\lower0.5em\hbox{$\smash{\scriptscriptstyle\frown}$}}{F}\acute{\ }U=\overset{\lower0.5em\hbox{$\smash{\scriptscriptstyle\frown}$}}{F} \\ & \left\langle \Phi \acute{\ } \right|\overset{\lower0.5em\hbox{$\smash{\scriptscriptstyle\frown}$}}{F}\acute{\ }\left| \Psi \acute{\ } \right\rangle =\left\langle \Phi \right|\overset{\lower0.5em\hbox{$\smash{\scriptscriptstyle\frown}$}}{F}\left| \Psi \right\rangle ={{F}_{\Psi }}{{\delta }_{\Psi \Phi }} \\ \end{align}} Wobei letzte Relation natürlich nur gilt, falls|Ψ,|ΦEigenbasismitFΨals Eigenwert Fehler beim Parsen (Syntaxfehler): {\displaystyle {{U}^{+}}\overset{\lower0.5em\hbox{$\smash{\scriptscriptstyle\frown}$}}{F}\acute{\ }U=\overset{\lower0.5em\hbox{$\smash{\scriptscriptstyle\frown}$}}{F}} diagonal !