Wenn wir von der physikalischen Seite kommen, wird der Hamiltonsche Formalismus normalerweise über verallgemeinerte Koordinaten eingeführt (die nur eine Sammlung von Zahlen sind, die in einen Vektor ( ) und der lagrangesche Formalismus. Die Legendre-Transformation der Lagrange-Funktion ergibt die Hamilton-Funktion und so weiter.
In dieser Formulierung sind die kanonischen Bewegungsgleichungen
Meine Frage ist nun: Können wir mit der Wirkungsformulierung für Fälle mithalten, in denen der Phasenraum (möglicherweise) kein Kotangensraum mehr ist? Wenn es sich zum Beispiel nur um einen geradedimensionalen Raum handelt, der mit einer symplektischen Form ausgestattet ist, können wir dann irgendwie noch eine mathematisch sinnvolle Handlung aufschreiben?
Oder ist meine Frage nicht notwendig, weil jeder in der Physik vorkommende Begriff des Phasenraums den Phasenraum als Kotangentialraum verwendet?
Gegeben sei a -dimensionale symplektische Mannigfaltigkeit ,
Lokal in einer kontrahierbaren Nachbarschaft mit offenen Koordinaten es existiert eine symplektische Potential-1-Form
Weg gegeben . Definieren Sie die lokale Hamilton-Aktion
Über eine garbentheoretische Konstruktion ist es möglich, die lokale Aktion (4) zu einer sogenannten Wu-Yang-Aktion zu globalisieren . Dies wird z. B. in Lit. erläutert. 1.
Verweise:
Schreiben wir es anders:
Wo eine 1-Form ist, so dass , die symplektische Form. Dies wird als Liouville-Form bezeichnet. Für ein Teilchen auf der Linie ist es , . Auf einen kompakten Krümmer können wir nicht eingehen global definiert werden, aber es ist immer noch möglich, die Aktion durchzuführen
wohldefiniertes wenn ist eine Verbindung 1-Form. Jetzt muss man eine Eichung auswählen, was im Wesentlichen eine Überdeckung Ihrer symplektischen Mannigfaltigkeit durch Kotangensräume bedeutet, und den Überblick behalten, damit alles eichinvariant ist. In der Tat, wird nicht eichinvariant sein, sondern seine Holonomie wird, und so kann man immer noch Euler-Lagrange-Gleichungen formulieren usw.
Übrigens, in der Quantenmechanik, wird benötigt, um eine Verbindung auf a zu sein Bündel, was zur Quantisierung der Integrale von führt über geschlossene Flächen.
Sie sollten sich dieses Buch von V. Arnold mit dem Titel Mathematische Methoden der klassischen Mechanik (und natürlich auch alle anderen seiner Bücher :) ansehen.