Benutzer:Bleckneuhaus/Sandkasten Zweite Quantisierung

Die Zweite Quantisierung (oft auch Zweite Quantelung genannt) ist ein quantenmechanischer Formalismus zur Behandlung von Vielteilchenproblemen.  Im Wesentlichen handelt es sich dabei um eine Umformulierung der „normalen“ Quantenmechanik in eine Form, welche die fundamentalen Symmetrierelationen bosonischer und fermionischer Wellenfunktionen implizit enthält (Symmetrisierungen und Antisymmetrisierungen sind in Ausdrücken der Zweiten Quantisierung also automatisch vorhanden und müssen nicht erst von Hand hinzugefügt werden).

Die Bezeichnung „Zweite Quantisierung“ kommt daher, dass in diesem Fall nicht nur die Zustände des Teilchens quantisiert sind, sondern auch die Felder (z. B. das elektrische Feld). Bei einer Einführung in die Quantenmechanik sind für gewöhnlich nur die Zustände des Teilchens quantisiert und die Felder werden als klassisch angesehen. Diesen einfacheren Fall nennt man gelegentlich Erste Quantisierung.

Des Weiteren erlaubt die Einführung des Fock-Raumes (s. u.) über die Umformulierung hinaus aber auch einen neuen physikalischen Aspekt: In der Zweiten Quantisierung sind reine quantenmechanische Zustände ohne fest definierte Teilchenzahl möglich.

Die Zweite Quantisierung wird im Bereich der Festkörperphysik, der Quantenfeldtheorie und anderen Vielteilchentheorien angewandt. Sie ist häufig der angemessenste Rahmen, um physikalische Probleme zu behandeln.

Mathematische Konstruktion

Die entscheidende Arbeit, Konfigurationsraum und zweite Quantelung, stammt von dem russischen Physiker Vladimir Fock aus dem Jahre 1932.

Sei $\{|\phi _{j}\rangle \}_{j}$ eine orthonormale Einteilchen-Basis eines quantenmechanischen Systems (d. h. ein Satz an Wellenfunktionen, nach denen sich jede beliebige Einteilchenwellenfunktion entwickeln lässt). Dann ist bekannt, dass sich jede fermionische (bzw. bosonische) Vielteilchen-Wellenfunktion, die ja von Natur aus antisymmetrisch (bzw. symmetrisch) ist, nach Determinanten (bzw. Permanenten) bezüglich dieser Einteilchenbasis entwickeln lässt: Sei $\Psi (x_{1},\ldots ,x_{N})$ antisymmetrisch ($x_{j}=(\mathbf {r} _{j},s_{j})$, z. B. Orts- und Spinkoordinaten eines Elektrons). Dann gibt es komplexe Zahlen $c_{L}\in \mathbb {C} ^{N}$ (d. h. zu jeder „Konfiguration“ $L=(l_{1},\ldots ,l_{N})$, worin $l_{x}$ Index in die Einteilchenbasis ist, gibt es N komplexe Koeffizienten) mit

$\Psi (x_{1},\ldots ,x_{N})=\sum _{L\subset \mathbb {N} ,|L|=N,{\textrm {geordnet}}}c_{L}{\frac {1}{\sqrt {N}}}\det \left|\left\langle x_{j}|\phi _{l_{k}}\right\rangle \right|_{(j,k)}$$=\sum _{L}{\frac {c_{L}}{\sqrt {N}}}\det {\begin{pmatrix}\phi _{l_{1}}(x_{1})&\cdots &\phi _{l_{N}}(x_{1})\\\vdots &\ddots &\vdots \\\phi _{l_{1}}(x_{N})&\cdots &\phi _{l_{N}}(x_{N})\end{pmatrix}}$

Man kann also jede Vielteilchen-Wellenfunktion als Linearkombination solcher Determinanten-Zustände darstellen (bzw. entsprechender Permanenten-Zustände im bosonischen Fall). Diese Determinantenzustände sind neben der rein mathematischen Bedeutung als Entwicklungsbasis häufig auch von großer physikalischer Bedeutung, da sich Grundzustands-Wellenfunktionen nicht wechselwirkender Systeme als reine Determinantenzustände (bzw. Permanentenzustände) darstellen lassen.

Der Determinante/Permanente zur Konfiguration $L=(l_{1},\ldots ,l_{N})$ kann man nun die Bezeichnung

$|0,0,\underbrace {n_{1}} _{\nwarrow l_{1}{\textrm {teStelle}}},0,0,0,\underbrace {n_{2}} _{\nwarrow l_{1+n_{1}}{\textrm {teStelle}}},\ldots \rangle$

zuordnen, mit $n_{1}=$ Anzahl Vorkommen des Wertes von $l_{1}$ in $L$, $n_{2}=$ Anzahl Vorkommen des Wertes von $l_{2}$ in $L$, …. Die Werte $n_{j}$ nennt man Besetzungszahlen der zugehörigen Basiszustände. Die Besetzungszahlen können bei Fermionen nur 1 oder 0 sein, da sonst die Determinante verschwinden würde (zwei gleiche Spalten).

In dieser Bezeichnungsweise ist also die allgemeine Darstellung eines N-Teilchen Vielteilchenzustands $|\Psi \rangle$:

$|\Psi \rangle =\sum _{n_{1},n_{2},\ldots =0;n_{1}+n_{2}+\ldots =N}^{1{\textrm {\,bzw.\,}}\infty }c_{n_{1},\ldots ,n_{\infty }}|n_{1},n_{2},\ldots ,n_{\infty }\rangle$

die Besetzungszahldarstellung. Der antisymmetrische bzw. symmetrische N-Teilchen-Hilbertraum ${\mathcal {H}}_{N}$ wird also durch diese Zustände $|n_{1},n_{2},\ldots \rangle$ mit $\sum n_{j}=N$ aufgespannt. Es liegt nun nahe, einen allgemeineren Raum namens Fock-Raum einzuführen, der durch die $|n_{1},n_{2},\ldots \rangle$-Zustände mit beliebiger endlicher Teilchenzahl aufgespannt wird:

$F:={\textrm {clin}}\{|n_{1},n_{2},\ldots \rangle ;\;\sum n_{j}\,{\textrm {endl.}}\}=\bigoplus _{N}{\mathcal {H}}_{N}$.

Da sich Operatoren unabhängig von der konkreten Teilchenzahl darstellen lassen (s.u.), ist diese Konstruktion sinnvoll. In diesem Raum sind Zustände unbestimmter Teilchenzahl enthalten (Linearkombination von Zuständen verschiedener bestimmter Teilchenzahlen). In ihm wird Vielteilchentheorie normalerweise betrieben.

Einzelne Determinantenzustände, die wie schon gesagt z. B. besondere Zustände eines wechselwirkungsfreien Systems sein könnten, kann man in der Form $|\Psi \rangle =|n_{1},n_{2},\ldots \rangle$ eindeutig angeben, wenn man dazu sagt, auf welche Einteilchenbasis man sich bezieht.

Siehe dazu auch: Slater-Determinante

Erzeugungs-, Vernichtungs- und Teilchenzahloperatoren

Man führt nun, zunächst recht willkürlich, neue Operatoren ein, die Teilchen im Basiszustand $j\equiv |\phi _{j}\rangle$„erzeugen“ bzw. „vernichten“ (d. h. die entsprechende Besetzungszahl erhöhen oder verringern):

Definition (auf der Basis des Zustandsraumes, auf dem Rest durch lineare Fortsetzung):

• Im bosonischen Fall

$c_{j}^{\dagger }:H_{N}^{S}\rightarrow H_{N+1}^{S},\quad c_{j}^{\dagger }|\ldots n_{j}\ldots \rangle :={\sqrt {n_{j}+1}}|\ldots n_{j}+1\ldots \rangle$

$c_{j}:H_{N}^{S}\rightarrow H_{N-1}^{S},\quad c_{j}|\ldots n_{j}\ldots \rangle :={\sqrt {n_{j}}}|\ldots n_{j}-1\ldots \rangle$

• Im fermionischen Fall

$c_{j}^{\dagger }:H_{N}^{A}\rightarrow H_{N+1}^{A},\quad c_{j}^{\dagger }|\ldots n_{j}\ldots \rangle :=(-1)^{\sum _{i<j}n_{i}}\;(1-n_{j})|\ldots \underbrace {n_{j}+1} _{=1}\ldots \rangle$

$c_{j}:H_{N}^{A}\rightarrow H_{N-1}^{A},\quad c_{j}|\ldots n_{j}\ldots \rangle :=(-1)^{\sum _{i<j}n_{i}}\;n_{j}|\ldots \underbrace {n_{j}-1} _{=0}\ldots \rangle$

Die Vorfaktoren sorgen dabei jeweils für das Nichtauftreten unmöglicher Zustände (z. B. mit Besetzungszahlen < 0 oder > 1 bei Fermionen), für das Wegkapseln der Antisymmetrie bei Fermionen in anderen Ausdrücken und dafür, dass sich die Besetzungszahloperatoren in beiden Fällen als

${\hat {n}}_{j}:=c_{j}^{\dagger }c_{j}$

ergeben. Nachrechnen zeigt, dass diese Operatoren bei Determinantenzuständen die Besetzungszahlen reproduzieren:

${\hat {n}}_{j}|\ldots ,n_{j},\ldots \rangle =n_{j}|\ldots ,n_{j},\ldots \rangle$.

Vertauschungsrelationen

Für die so konstruierten Operatoren gelten im fermionischen Fall die Antivertauschungsrelationen

$\{c_{i},c_{j}^{\dagger }\}=\delta _{ij}\qquad \{c_{i},c_{j}\}=0\qquad \{c_{i}^{\dagger },c_{j}^{\dagger }\}=0,$

wobei $\{A,B\}:=AB+BA$ den Antikommutator bedeutet. Im bosonischen Fall gelten die Vertauschungsrelationen

$[c_{i},c_{j}^{\dagger }]=\delta _{ij}\qquad [c_{i},c_{j}]=0\qquad [c_{i}^{\dagger },c_{j}^{\dagger }]=0.$

$\,[A,B]:=AB-BA$ ist der Kommutator.

Ein- und Zweiteilchenoperatoren

Es lässt sich zeigen, dass sich sämtliche linearen Operatoren auf dem Fockraum als Linearkombination von Polynomen in den Erzeugungs/Vernichtungsoperatoren darstellen lassen. Darin liegt ein wesentlicher Aspekt ihrer Wichtigkeit. Besonders bedeutend sind dabei die sogenannten Einteilchen- bzw. Zweiteilchen-Operatoren, die ihrem Namen nach entweder Observablen einzelner Teilchen repräsentieren (z. B. kinetische Energie, Position, Spin) oder Wechselwirkungen zwischen zwei Teilchen (z. B. Coulomb-Wechselwirkung zwischen zwei Elektronen).

Es ergeben sich dabei einfache Ausdrücke: Sei

$A=\sum _{\alpha }h_{\alpha }\,$

ein Einteilchen-Operator (d. h. jedes $h_{\alpha }\,$ wirkt nur auf die Koordinaten des $\alpha \,$-ten Teilchens, von der Struktur her sind die $h_{\alpha }\,$s aber alle gleich) so ergibt sich (durch Ausrechnen):

$A=\sum _{\alpha }h_{\alpha }=\sum _{i,j}\langle i|h|j\rangle c_{i}^{\dagger }c_{j}=\sum _{i,j}\langle \phi _{i}|h|\phi _{j}\rangle c_{i}^{\dagger }c_{j}$

wobei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \langle i|h|j\rangle} das Matrixelement des Einteilchenoperators ist, aus dem sich die Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle h_i \,} ergeben, gebildet mit den Basiszuständen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle |\phi_j\rangle} , bezüglich denen quantisiert wurde. Für Zweiteilchenoperatoren ergibt sich analog:

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A = \sum_{\alpha,\beta\neq\alpha} w(\alpha,\beta) = \sum_{i,j,k,l} \langle ij|w|lk\rangle c_i^\dagger c_j^\dagger c_k c_l } Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle = \sum_{i,j,k,l} \langle \phi_i^{(1)} \phi_j^{(2)}|w(1,2)|\phi_l^{(1)}\phi_k^{(2)}\rangle c_i^\dagger c_j^\dagger c_k c_l } .

Bei den Ausdrücken handelt es sich um echte Gleichheit der Operatoren, so lange sie auf eine feste Teilchenzahl bezogen sind. Man sieht aber, dass die zweitquantisierte Form der Operatoren die Teilchenzahl nicht mehr explizit enthält. Die zweitquantisierten Operatoren nehmen in Systemen verschiedener Teilchenzahl also jeweils dieselbe Form an.

Konkrete Beispiele

Einteilchen-Operatoren

Teilchendichte in Zweitquantisierung bezüglich Impulsbasis (diskrete Impulsbasis, endliches Volumen mit periodischen Randbedingungen):

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \rho(r) = \sum_{\alpha=1}^N \delta(r - \hat x_\alpha) }

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \qquad = \sum_{k,k'} \langle k| \delta(r-\hat x) | k' \rangle c^\dagger_k c_{k'} }

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \qquad =\sum_{k,k'} \int_{x \in V} \mathrm{d}^3x\, \langle k| \delta(r-\hat x) |x\rangle\langle x |\,| k' \rangle c^\dagger_k c_{k'} }

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \qquad =\sum_{k,k'} \int_{x \in V} \mathrm{d}^3x\, \langle k|x\rangle \delta(r-x) \langle x | k' \rangle c^\dagger_k c_{k'} }

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \qquad =\sum_{k,k'} \int_{x \in V} \mathrm{d}^3x\, \frac{1}{V} e^{i(k'-k)x} \delta(r - x) c^\dagger_k c_{k'} }

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \qquad =\sum_{k,k'} \frac{1}{V} e^{i (k'-k) r} c^\dagger_k c_{k'} }

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \qquad = \frac{1}{V} \sum_{k,q} e^{iqr}c^\dagger_k c_{k + q} }

Coulomb-Wechselwirkung

In Zweitquantisierung bezüglich (diskreter) Impulsbasis.

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle W_\textrm{Coul.} = \frac{1}{2} \sum_{\alpha,\alpha\neq\beta} \frac{e^2}{|\mathbf{r_\alpha - r_\beta|}} = \frac{1}{2V} \sum_{q\neq 0,k_1,\sigma_1,k_2,\sigma_2} \frac{4\pi e^2}{q^2} c^\dagger_{k_1,\sigma_1} c^\dagger_{k_2,\sigma_2} c_{k_2-q,\sigma_2} c_{k_1+q,\sigma_1} }

Supraleitung

Die Zweite Quantisierung ermöglicht mit der Fock-Darstellung auch die explizite Berücksichtigung von Zuständen, die keine  Eigenzustände des Teichenzahloperators Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \hat N=\sum_{k,\sigma} c_{k,\sigma}^\dagger c_{k,\sigma}} sind. Solche Zustände spielen in der Theorie der Supraleitung eine große Rolle.

Transformation zwischen Einteilchenbasen

Erzeugungs- und Vernichtungsoperatoren bezüglich einer gegebenen Einteilchenbasis Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle |i\rangle} lassen sich durch entsprechende Operatoren bezüglich einer anderen Einteilchenbasis Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle |\alpha\rangle} ausdrücken:

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle c_i^\dagger = \sum_\alpha \langle \alpha|i \rangle c^\dagger_\alpha}

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle c_i = \sum_\alpha \langle i|\alpha \rangle c_\alpha.}

Durch diese Beziehungen ist es möglich, einen Basiswechsel im Fockraum durchzuführen und somit gegebene Ausdrücke auf für die gerade anliegende Situation besser geeignete Formen zu transformieren. Auf ähnliche Art werden aus den Erzeugungs-/Vernichtungs-Operatoren für diskrete Einteilchenbasen auch Feldoperatoren bezüglich kontinuierlicher Orts- bzw. Impulsbasen erzeugt, wie sie vor allem in den Quantenfeldtheorien verwendet werden.

Verallgemeinerung: Relativistische Quantenfeldtheorien

Als Verallgemeinerung entstehen, wie in der Fußnote angedeutet, anstelle der nicht-relativistischen Vielteilchentheorie relativistische Quantenfeldtheorien.

Literatur

• Alexander Altland, Ben Simons: Condensed matter field theory, Cambridge Univ. Press, 2009, ISBN 978-0-521-84508-3
• Eugen Fick: Einführung in die Grundlagen der Quantentheorie, Wiesbaden, 1988, ISBN 3-89104-472-0
• Wolfgang Nolting: Grundkurs theoretische Physik, Band 7: Vielteilchenphysik, Berlin u.a., 2009, ISBN 978-3-642-01605-9
• Franz Schwabl: Quantenmechanik für Fortgeschrittene (QM II), Berlin u.a., 2008, ISBN 978-3-540-85075-5

Einzelnachweise und Fußnoten

[[Kategorie:Quantenfeldtheorie]]
[[Kategorie:Statistische Physik]]
[[Kategorie:Festkörperphysik]]

[[en:Canonical quantization]]
[[es:Segunda cuantización]]
[[fr:Seconde quantification]]
[[it:Seconda quantizzazione]]
[[ja:第二量子化]]
[[ko:정준 양자화]]
[[ru:Вторичное квантование]]
[[uk:Вторинне квантування ферміонів]]
[[zh:正則量子化]]