Zweite Quantisierung
Die Zweite Quantisierung (oft auch Besetzungszahldarstellung genannt, in der Quantenfeldtheorie auch Feldquantisierung) ist eine Methode zur quantenmechanischen Behandlung von Vielteilchenproblemen, insbesondere auch der Prozesse, bei denen Teilchen entstehen oder vernichtet werden. Sie wurde kurz nach der Entdeckung der Quantenmechanik (Erste Quantisierung) entwickelt, um auch Photonen und deren Erzeugung und Vernichtung quantenmechanisch beschreiben zu können. Die Photonen erscheinen in der Zweiten Quantisierung als die Feldquanten des quantisierten elektromagnetischen Felds, was auf den dritten angegebenen Namen führte. Als in den 1930er Jahren entdeckt wurde, dass auch „materielle“ Teilchen erzeugt und vernichtet werden können, wurde der Anwendungsbereich der Methode auf alle Teilchen ausgedehnt. Damit war in der Physik der anschauliche Gegensatz zwischen Teilchen und Wellen in seiner früheren grundsätzlichen Bedeutung aufgehoben.
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 theoretisch zu behandeln.
Die Methode stammt von Paul Dirac (1927).[1]
Grundbegriffe
Es folgt eine kurze Zusammenstellung einiger der wesentlichen neuen Begriffe und ihrer unmittelbaren Folgen. Wie zu erwarten, bezeichnet dabei der Begriff „Teilchen“ etwas anderes als der gleich lautende Begriff in der klassischen Mechanik oder der Alltagssprache. Er wird hier, wie auch andere scheinbar vertraute Begriffe – „Identität“, „Übergang“, „Vernichtung“ – eher metaphorisch verwendet: Ziel dabei ist es, sich auf eingängige Weise der hier vorgestellten mathematischen Definitionen bedienen zu können, wenn eine quantenmechanische Erklärung makroskopisch beobachtbarer Phänomene gefragt ist, beispielsweise eine Verfärbung, der Anstieg der Stromstärke in einem Halbleiter oder die Richtungsverteilung von Strahlung.
- Der Zustand des betrachteten Systems wird wie in der gewöhnlichen Quantenmechanik durch einen normierten Vektor in einem Hilbertraum angegeben, konstruiert als sogenannter Fockraum, der Zustände mit unterschiedlichen Teilchenzahlen enthält.
- Es gibt einen Zustand ohne jedes Teilchen, das absolute Vakuum, Symbol . Der Vakuumzustand ist normiert, , darf also nicht mit dem Nullvektor verwechselt werden.
- Es gibt für jede Teilchenart einen Erzeugungsoperator, der es in einem definierten Zustand in die Welt setzt, Symbol (für eine andere Teilchenart etc.). Der 1-Teilchenzustand mit einem Teilchen im Zustand ist dann gegeben durch . Der 2-Teilchenzustand mit einem zweiten Teilchen gleicher Art, aber im Zustand , ist dann gegeben durch nochmaliges Anwenden des Erzeugers: . Für weitere Teilchen entsprechend weitere Erzeugungsoperatoren.
- Da die „“-Teilchen unter sich identisch sind, darf bei einer Vertauschung in der Reihenfolge der Erzeugung kein anderer Zustand herauskommen. Allenfalls darf sich das Vorzeichen ändern. Das wird gewährleistet durch die Bedingungen
- Erzeuger verschiedener Teilchenarten sind immer vertauschbar. Damit ist schon früh im Formalismus zweierlei erreicht:
- Die absolute Ununterscheidbarkeit gleicher Teilchen ist eingebaut. Die Teilchen bekommen noch nicht einmal mehr eine Nummer, um ihre Koordinaten voneinander unterscheiden zu können.
- Bosonen-Zustände sind immer symmetrisch gegen Vertauschung, Fermionenzustände immer antisymmetrisch. Das Pauli-Prinzip ist automatisch berücksichtigt und die unterschiedlichen Quantenstatistiken ergeben sich zwangsläufig.
- Der Operator für die Vernichtung eines Teilchens im Zustand ist . Ein Anwendungsbeispiel: Hier lässt die Vernichtung eines existierenden Teilchens im Vakuum das leere Vakuum zurück, . Der Vernichter ist der zum Erzeuger hermitesch adjungierte Operator. Dass das so richtig ist, sieht man z. B. beim Ausrechnen der Norm von , d. h. beim Skalarprodukt mit seinem adjungierten Vektor :
- Für die Vernichtungsoperatoren gelten deshalb dieselben Vertauschungsregeln wie für die Erzeuger. Anwendung eines Vernichters auf den Vakuumzustand ergibt Null (den Nullvektor).
- Der Übergang eines Teilchens vom Zustand nach wird durch den Operator bewerkstelligt. Man vernichtet das Teilchen in und erzeugt sich ein neues in . Mit dieser Beschreibungsweise geht man irreführenden Fragestellungen aus dem Wege, die sich aus der Alltagserfahrung mit makroskopischen Teilchen ergeben:
- Die für Alltagsgegenstände naheliegende Frage, ob das Teilchen im Zustand eigentlich dasselbe Teilchen ist wie zuvor im Zustand , kann gar nicht gestellt werden.
- Auch die Alltagsfrage, wo das Teilchen während des Quantensprungs von nach gewesen sei, kann nicht gestellt werden.
- Vernichter sind mit Erzeugern vertauschbar, außer sie beziehen sich auf denselben Zustand. Dann gilt:
- für Bosonen („vertauschbar“)
- für Fermionen („antivertauschbar“)
- Der Operator, der die Anzahl der im Zustand anwesenden Teilchen als Eigenwert angibt, ist der Teilchenzahloperator . Er ist gleich für Fermionen und Bosonen. (Für Fermionen hat er keine Eigenwerte außer 0 und 1.)
- Der Zusammenhang eines 1-Teilchenzustands mit seiner „alten“ Wellenfunktion ergibt sich, indem man sich ein am Ort lokalisiertes Teilchen erzeugt (Zustand ) und mit das Skalarprodukt bildet, das ja die Amplitude des einen Zustands im anderen angibt:
Mathematische Konstruktion
Die entscheidende Arbeit, Konfigurationsraum und zweite Quantelung[2], stammt von dem russischen Physiker Wladimir Fock aus dem Jahre 1932.
Sei 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 (Slater-Determinante): Sei antisymmetrisch (, z. B. Orts- und Spinkoordinaten eines Elektrons). Dann gibt es komplexe Zahlen (d. h. zu jeder „Konfiguration“ , worin Indizes in der Einteilchenbasis sind, gibt es komplexe Koeffizienten) mit
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 kann man nun die Bezeichnung
zuordnen, mit Anzahl Vorkommen des Wertes von in , Anzahl Vorkommen des Wertes von in , …. Die Werte 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 :
die Besetzungszahldarstellung. Der antisymmetrische bzw. symmetrische -Teilchen-Hilbertraum wird also durch diese Zustände mit aufgespannt. Es liegt nun nahe, einen allgemeineren Raum – welcher als „Fockraum“ bezeichnet wird – einzuführen, der durch die -Zustände mit beliebiger endlicher Teilchenzahl aufgespannt wird:
- .
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 eindeutig angeben, wenn man dazu sagt, auf welche Einteilchenbasis man sich bezieht.
Siehe dazu auch: Slater-Determinante
Erzeugungs-, Vernichtungs- und Teilchenzahloperatoren
Um das oben vorgestellte lästige (Anti-)Symmetrisieren zur Erzeugung von Fockzuständen nicht mehr durchführen zu müssen, erzeugt man die Fockzustände nun stattdessen aus dem Vakuumzustand.[3] Dazu führt man neue Operatoren ein, die Teilchen im Basiszustand „erzeugen“ bzw. „vernichten“, d. h., die entsprechende Besetzungszahl erhöhen oder verringern, wobei das ganze Symmetrieproblem nun in den Kommutatorbeziehungen steckt:
Definition (auf der Basis des Zustandsraumes, auf dem Rest durch lineare Fortsetzung):
- Im bosonischen Fall
- Im fermionischen Fall
Die Vorfaktoren sorgen dabei jeweils für das Nichtauftreten unmöglicher Zustände (z. B. mit Besetzungszahlen kleiner 0 oder größer 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
ergeben. Nachrechnen zeigt, dass diese Operatoren bei Determinantenzuständen die Besetzungszahlen reproduzieren:
- .
Vertauschungsrelationen
Für die so konstruierten Operatoren gelten im fermionischen Fall die Antivertauschungsrelationen
wobei den Antikommutator bedeutet.
Im bosonischen Fall gelten die Vertauschungsrelationen
Darin 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. 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 ( ist die Zahl der Teilchen): Sei
ein Einteilchen-Operator (d. h. jedes wirkt nur auf die Koordinaten des -ten Teilchens, von der Struktur her sind die aber alle gleich), so ergibt sich (durch Einfügen von Einsen und Benutzung der für Bosonen und Fermionen gültigen Relation , wobei der Index einen Einteilchenzustand im Hilbertraum des -ten Teilchens kennzeichnet):
wobei das Matrixelement des Einteilchenoperators ist, aus dem sich die ergeben, gebildet mit den Basiszuständen , bezüglich denen quantisiert wurde. Für Zweiteilchenoperatoren ergibt sich analog:
- .
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.
Einteilchen-Operatoren
Teilchendichte in Zweitquantisierung bezüglich Impulsbasis (diskrete Impulsbasis, endliches Volumen mit periodischen Randbedingungen):
Coulomb-Wechselwirkung
In Zweitquantisierung bezüglich (diskreter) Impulsbasis.
Supraleitung
Die Zweite Quantisierung ermöglicht mit der Fock-Darstellung auch die explizite Berücksichtigung von Zuständen, die keine Eigenzustände des Teilchenzahloperators
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 lassen sich durch entsprechende Operatoren bezüglich einer anderen Einteilchenbasis ausdrücken:
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[4] 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
- P. A. M. Dirac, Proc. R. Soc. London A 114, 243–265 (1927) doi:10.1098/rspa.1927.0039
- W. Fock, Zeitschrift für Physik 75, 622– 647 (1932) doi:10.1007/BF01344458
- W. Nolting, Grundkurs Theoretische Physik 6 (Springer, 2014), S. 177, doi:10.1007/978-3-642-25393-5
- Man kann die Zweite Quantisierung auch als Feldquantisierung eines bestimmten, mit der Schrödingergleichung kompatiblen klassischen Feldes, des sog. „Schrödinger-Feldes“, formulieren. Statt der Schrödingergleichung kann man auch relativistische klassische, zur Quantentheorie kompatible Gleichungen bzw. deren Feldtheorien behandeln. Die resultierenden Gleichungen wären z. B. in der Struktur analog zu denen der Maxwellschen Theorie und müssen in den Spezialfällen des Schrödingerfeldes oder der sog. QED oder QCD u. a. die Maxwellsche Feldenergie als Beitrag zur Potentiellen Energie der Elektronen enthalten, in deren kinetischer Energie aber auch die Plancksche Konstante h als Feldparameter. Es entstehen so anstelle der nicht-relativistischen Vielteilchentheorie relativistische Quantenfeldtheorien.