Ich bin zu spät zu dieser Party hier, aber ich kann vielleicht etwas ziemlich annähernd für eine Ableitung der Quantenmechanik werben, indem ich die klassische Mechanik mit ihrem natürlichen mathematischen Kontext kombiniere, nämlich mit der Lie-Theorie . Ich hatte noch keine Gelegenheit, das Folgende an Schülern im ersten Jahr auszuprobieren, aber ich bin ziemlich zuversichtlich, dass das Folgende mit nur ein bisschen mehr pädagogischer Anleitung nach Bedarf eine ziemlich zufriedenstellende Motivation für jeden Schüler mit sein sollte ein wenig mathematische / theoretische Neigung zur Physik.
Weitere Informationen zu den folgenden Themen finden Sie unter nLab: Quantisierung .
Quantisierung war und ist natürlich experimentell motiviert, also durch Beobachtung des beobachtbaren Universums: Es kommt einfach so vor, dass Quantenmechanik und Quantenfeldtheorie experimentelle Beobachtungen korrekt berücksichtigen, wobei klassische Mechanik und klassische Feldtheorie keine Antwort oder falsch geben Antworten. Ein historisch wichtiges Beispiel ist das Phänomen der „ultravioletten Katastrophe“, ein Paradoxon, das von der klassischen statistischen Mechanik vorhergesagt wird und in der Natur nicht beobachtet wird und das von der Quantenmechanik korrigiert wird.
Man kann aber auch unabhängig fragen von experimentellem Input, wenn es gute formale mathematische Gründe und Motivationen gibt, von der klassischen Mechanik zur Quantenmechanik überzugehen. Könnte man zur Quantenmechanik geführt worden sein, indem man nur über den mathematischen Formalismus der klassischen Mechanik nachgedacht hat? (Genauer gesagt: Gibt es eine natürliche synthetische Quantenfeldtheorie?)
Im Folgenden wird ein Argument in diesem Ausmaß dargelegt. Es wird für Leser mit einem Hintergrund in der modernen Mathematik, insbesondere in der Lie-Theorie, und mit einem Verständnis der Formalisierung der klassischen / Präquantenmechanik in Bezug auf die symplektische Geometrie funktionieren.
Kurz gesagt, ein System der klassischen Mechanik / Präquantenmechanik ist ein Phasenraum, der als symplektische Mannigfaltigkeit $ (X, ω) $ formalisiert ist. Eine symplektische Mannigfaltigkeit ist insbesondere eine Poisson-Mannigfaltigkeit, was bedeutet, dass die Algebra der Funktionen im Phasenraum $ X $, daher die Algebra klassischer Observablen, kanonisch mit einer kompatiblen Lie-Klammer ausgestattet ist: der Poisson-Klammer. Diese Lie-Klammer steuert die Dynamik in der klassischen Mechanik. Wenn beispielsweise $ H \ in C ^ {∞} (X) $ die Funktion im Phasenraum ist, die so interpretiert wird, dass jeder Konfiguration des Systems ihre Energie zugewiesen wird - die Hamilton-Funktion -, ergibt die Poisson-Klammer mit $ H $ die infinitesimale zeitliche Entwicklung des Systems: die als Hamilton-Gleichungen bekannte Differentialgleichung.
Hier zu beachten ist die infinitesimale Natur der Poisson-Klammer. Wenn man eine Lie-Algebra $ \ mathfrak {g} $ hat, ist dies im Allgemeinen als infinitesimale Annäherung an ein global definiertes Objekt, die entsprechende Lie-Gruppe (oder allgemein glatte Gruppe) $ G $, anzusehen. Man sagt auch, dass $ G $ eine Lie-Integration von $ \ mathfrak {g} $ ist und dass $ \ mathfrak {g} $ die Lie-Differenzierung von $ G $ ist.
Daher eine natürliche Frage, die gestellt werden muss ist: Da die Observablen in der klassischen Mechanik eine Lie-Algebra unter Poisson-Klammer bilden, was ist dann die entsprechende Lie-Gruppe?
Die Antwort darauf ist in der Literatur natürlich in dem Sinne „bekannt“, dass Es gibt relevante Monographien, die die Antwort geben. Aber vielleicht überraschend ist die Antwort auf diese Frage (zum Zeitpunkt dieses Schreibens) keine weit verbreitete Tatsache, die ihren Weg in die grundlegenden Lehrbücher gefunden hätte. Die Antwort ist, dass diese Lie-Gruppe, die die Poisson-Klammer integriert, die „Quantomorphismus-Gruppe“ ist, ein Objekt, das nahtlos zur Quantenmechanik des Systems führt.
Bevor wir dies genauer sagen, brauchen wir eine kurze technische Seite: Natürlich ist die Lie-Integration nicht ganz einzigartig. Es kann verschiedene globale Lie-Gruppenobjekte mit derselben Lie-Algebra geben.
Das einfachste Beispiel hierfür ist bereits das von zentraler Bedeutung für das Thema Quantisierung, nämlich die Lie-Integration der abelschen Linie Lie-Algebra $ \ mathbb {R} $. Diesem sind im Wesentlichen zwei verschiedene Lie-Gruppen zugeordnet: die einfach verbundene Übersetzungsgruppe, die wiederum nur $ \ mathbb {R} $ selbst ist und mit ihrer kanonischen additiven abelschen Gruppenstruktur ausgestattet ist, und der diskrete Quotient davon durch die Gruppe von ganzen Zahlen Dies ist die Kreisgruppe
$$ U (1) = \ mathbb {R} / \ mathbb {Z} \ ,. $$
Beachten Sie, dass es sich um das diskrete und handelt daher "quantisierte" Natur der ganzen Zahlen, die die reale Linie hier zu einem Kreis macht. Dies ist nicht ganz ein Zufall der Terminologie, sondern kann zurückverfolgt werden, um das Herzstück dessen zu sein, was über die Quantenmechanik „quantisiert“ wird.
Man findet nämlich, dass die Poisson-Klammer Lie-Algebra $ \ mathfrak {poiss } (X, ω) $ der klassischen Observablen im Phasenraum ist (für X eine verbundene Mannigfaltigkeit) eine Lie-Algebra-Erweiterung der Lie-Algebra $ \ mathfrak {ham} (X) $ von Hamilton-Vektorfeldern auf $ X $ durch die Zeile Lie Algebra:
$$ \ mathbb {R} \ longrightarrow \ mathfrak {poiss} (X, \ omega) \ longrightarrow \ mathfrak {ham} (X) \ ,. $$
Dies bedeutet, dass sich die Poisson-Klammer unter Lie-Integration in eine zentrale Erweiterung der Gruppe der Hamilton-Symplektomorphismen von $ (X, ω) $ verwandelt. Und entweder ist es die ziemlich triviale, nicht kompakte Erweiterung von $ \ mathbb {R} $, oder es ist die interessante zentrale Erweiterung der Kreisgruppe $ U (1) $. Damit diese nicht triviale Lie-Integration existiert, muss $ (X, ω) $ eine Quantisierungsbedingung erfüllen, die besagt, dass sie ein Präquantenlinienbündel zulässt. Wenn ja, dann existiert diese $ U (1) $ - zentrale Erweiterung der Gruppe $ Ham (X, \ omega) $ der Hamiltonschen Symplektomorphismen und heißt… die Quantomorphismusgruppe $ QuantMorph (X, \ omega) $:
$$ U (1) \ longrightarrow QuantMorph (X, \ omega) \ longrightarrow Ham (X, \ omega) \ ,. $$
Obwohl wichtig, ist diese Gruppe aus irgendeinem Grund nicht sehr gut bekannt. Was auffällt, weil es eine kleine Untergruppe davon gibt, die in der Quantenmechanik berühmt ist: die Heisenberg-Gruppe.
Genauer gesagt, wenn $ (X, \ omega) $ selbst eine kompatible Gruppenstruktur hat, insbesondere Wenn $ (X, \ omega) $ nur ein symplektischer Vektorraum ist (als Gruppe unter Hinzufügung von Vektoren betrachtet), können wir nach der Untergruppe der Quantomorphismusgruppe fragen, die die (linke) Wirkung des Phasenraums $ (X) abdeckt , \ omega) $ auf sich. Dies ist die entsprechende Heisenberg-Gruppe $ Heis (X, \ omega) $, die wiederum eine $ U (1) $ - zentrale Erweiterung der Gruppe $ X $ selbst ist:
$$ U (1 ) \ longrightarrow Heis (X, \ omega) \ longrightarrow X \ ,. $$
An dieser Stelle lohnt es sich, eine Sekunde innezuhalten und festzustellen, wie das Kennzeichen der Quantenmechanik wie aus dem Ruder gelaufen ist Nirgendwo kann man nur die Lie-Integration auf die algebraischen Lie-Strukturen in der klassischen Mechanik anwenden:
wenn wir daran denken, dass Lie $ \ mathbb {R} $ in die interessante Kreisgruppe $ U (1) $ statt in die integriert uninteressante Übersetzungsgruppe $ \ mathbb {R} $, dann ist der Name seines kanonischen Basiselements 1∈ℝ kanonisch "i", die imaginäre Einheit. Daher schreibt man die obige zentrale Erweiterung häufig wie folgt:
$$
i \ mathbb {R} \ longrightarrow \ mathfrak {poiss} (X, \ omega) \ longrightarrow \ mathfrak {ham} (X, \ omega) $$
, um dies zu verstärken. Betrachten wir nun den einfachen Sonderfall, in dem $ (X, \ omega) = (\ mathbb {R} ^ {2}, dp∧dq) $ der zweidimensionale symplektische Vektorraum ist, der beispielsweise der Phasenraum des Teilchens ist Ausbreitung auf der Linie. Dann besteht ein kanonischer Satz von Generatoren für die entsprechende Poisson-Klammer-Lie-Algebra aus den linearen Funktionen p und q des Lehrbuchs der klassischen Mechanik zusammen mit der konstanten Funktion. Unter der obigen Lie-theoretischen Identifikation ist diese konstante Funktion das kanonische Basiselement von $ i \ mathbb {R} $, daher ist sie rein theoretisch "i" zu nennen.
Mit dieser Notation ist dann die Die Poisson-Klammer, die in der Form geschrieben ist, die ihre Lie-Integration manifestiert, lautet tatsächlich
$$ [q, p] = i \ ,. $$
Seit der Wahl des Basiselements von $ i \ mathbb {R} $ ist willkürlich, wir können hier das i durch eine nicht verschwindende reelle Zahl neu skalieren, ohne diese Aussage zu ändern. Wenn wir für dieses Element "ℏ" schreiben, lautet die Poisson-Klammer stattdessen
$$ [q, p] = i \ hbar \ ,. $$
Dies ist natürlich die Kennzeichengleichung für die Quantenphysik, wenn wir ℏ hier tatsächlich als Plancksche Konstante interpretieren. Wir sehen, dass es hier nur durch die nicht triviale (interessante, nicht einfach verbundene) Lügenintegration der Poisson-Klammer entsteht.
Dies ist nur der Anfang der Geschichte der Quantisierung, natürlich verstanden und in der Tat "abgeleitet" von der Anwendung der Lie-Theorie auf die klassische Mechanik. Von hier aus geht die Geschichte weiter. Es heißt die Geschichte der geometrischen Quantisierung. Wir schließen diesen Motivationsabschnitt hier mit einem kurzen Ausblick.
Die Quantomorphismusgruppe, die die nicht triviale Lie-Integration der Poisson-Klammer darstellt, ist natürlich wie folgt aufgebaut: Angesichts der symplektischen Form $ ω $ ist es natürlich zu fragen, ob es sich um die Krümmungs-2-Form eines $ U handelt ( 1) $ - Hauptverbindung $ ∇ $ auf einem komplexen Linienbündel $ L $ über $ X $ (dies ist direkt analog zur Dirac-Ladungsquantisierung, wenn anstelle einer symplektischen Form im Phasenraum die Feldstärke 2-Form des Elektromagnetismus betrachtet wird Freizeit). Wenn ja, wird eine solche Verbindung $ (L, ∇) $ als Präquantenlinienbündel des Phasenraums $ (X, ω) $ bezeichnet. Die Quantomorphismusgruppe ist einfach die Automorphismusgruppe des Präquantenlinienbündels, die Diffeomorphismen des Phasenraums abdeckt (die oben erwähnten Hamiltonschen Symplektomorphismen).
Als solche wirkt die Quantomorphismusgruppe natürlich auf den Raum von Abschnitten von $ L $. Ein solcher Abschnitt ist wie eine Wellenfunktion, stattdessen hängt er vom gesamten Phasenraum ab und nicht nur von den „kanonischen Koordinaten“. Aus rein abstrakten mathematischen Gründen (die wir hier nicht diskutieren, aber bei der motivischen Quantisierung genauer betrachten) ist es in der Tat natürlich, eine „Polarisation“ des Phasenraums in kanonische Koordinaten und kanonische Impulse zu wählen und nur die Abschnitte der Präquantenlinie zu betrachten Bündel, die nur von ersteren abhängen. Dies sind die tatsächlichen Wellenfunktionen der Quantenmechanik, daher die Quantenzustände. Und die Untergruppe der Quantomorphismusgruppe, die diese polarisierten Abschnitte bewahrt, ist die Gruppe der potenzierten Quantenbeobachtungsgrößen. In dem zuvor erwähnten einfachen Fall, in dem $ (X, ω) $ der zweidimensionale symplektische Vektorraum ist, ist dies beispielsweise die Heisenberg-Gruppe mit ihrer berühmten Wirkung durch Multiplikations- und Differenzierungsoperatoren auf den Raum komplexwertiger Funktionen auf dem Real line.
Weitere Informationen hierzu finden Sie unter nLab: Quantisierung.