Formulierung eines Wirkungsprinzips in einem allgemeinen Phasenraum (kein Kotangensbündel)

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 ( Q ) und der lagrangesche Formalismus. Die Legendre-Transformation der Lagrange-Funktion ergibt die Hamilton-Funktion und so weiter.

In dieser Formulierung sind die kanonischen Bewegungsgleichungen

Q ˙ = H P P ˙ = H Q
aus einem Handlungsprinzip folgen. Die Aktion
D T   ( Q ˙ P H ( Q , P , T ) )
stationär in Bezug auf Variationen mit ist Q ( T 2 ) Und Q ( T 1 ) Fest. Jetzt habe ich weitere mathematische Formulierungen gelesen, die das Konzept der Mannigfaltigkeiten verwenden. In einigen wird der Phasenraum als Kotantenraum über dem Konfigurationsraum eingeführt, was bedeutet, dass Q now ist ein Satz von Koordinaten für einen Punkt im Konfigurationsraum Q (der eine Mannigfaltigkeit ist), Q ˙ ist ein Element des Tangentialraums T Q Q , Und P ist ein Element des dualen Raums zu diesem Tangentialraum. Bis hierher ist es kein Problem, die oben genannte Aktion auf die gleiche Weise aufzuschreiben. Q ˙ P now ist kein Skalarprodukt mehr, sondern die Anwendung von P Zu Q ˙ , die einer reellen Zahl zugeordnet ist (und die durchaus Sinn macht).

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?

Antworten (2)

  1. Gegeben sei a 2 N -dimensionale symplektische Mannigfaltigkeit ( M , ω ) ,

    (1) D ω   =   0
    mit global definierter Hamilton-Funktion H : M R . (Nehmen wir der Einfachheit halber eine Punktmechanik ohne explizite Zeitabhängigkeit an. Die Konstruktion lässt sich auf die Feldtheorie verallgemeinern.)

  2. Lokal in einer kontrahierbaren Nachbarschaft mit offenen Koordinaten U M es existiert eine symplektische Potential-1-Form

    (2) ϑ   =   ICH = 1 2 N ϑ ICH   D z ICH     Γ ( T M | U ) ,
    so dass
    (3) ω | U   =   D ϑ .

  3. Weg gegeben γ U . Definieren Sie die lokale Hamilton-Aktion

    (4) S U [ γ ]   :=   γ ( ϑ H   D T )   =   T ich T F D T ( ICH = 1 2 N ϑ ICH   z ˙ ICH H ) .
    Man kann zeigen, dass die entsprechenden Euler-Lagrange(EL)-Gl. sind genau die Hamilton-Gleichungen.
    (5) z ˙ ICH   =   { z ICH , H } .
    Hier ist der global definierte Poisson-Bivektor die Umkehrung der symplektischen 2-Form.

  4. Über eine garbentheoretische Konstruktion ist es möglich, die lokale Aktion (4) zu einer sogenannten Wu-Yang-Aktion zu globalisieren M . Dies wird z. B. in Lit. erläutert. 1.

Verweise:

  1. ES Fradkin & V. Ya. Linetsky, BFV Ansatz zur geometrischen Quantisierung, Nucl. Phys. B431 (1994) 569 ; Abschnitt 3.3.

Schreiben wir es anders:

L = θ H ,

Wo θ ( P , Q ) eine 1-Form ist, so dass D θ = ω , die symplektische Form. Dies wird als Liouville-Form bezeichnet. Für ein Teilchen auf der Linie ist es θ = P D Q , D θ = D P D Q . Auf einen kompakten Krümmer können wir nicht eingehen θ global definiert werden, aber es ist immer noch möglich, die Aktion durchzuführen

S = L = θ H

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, L wird nicht eichinvariant sein, sondern seine Holonomie S 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 U ( 1 ) 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.