Kann jeder Symplektomorphismus als kanonische Transformation bezeichnet werden?

Ich möchte nur sicherstellen, dass ich klar über kanonische Koordinaten und Transformationen in der Hamiltonschen Mechanik nachdenke.

Angenommen, wir haben ein Hamiltonsches System ( M , ω , H ) - Wo M ist der Phasenraum ( schwach ( M ) = 2 N , Obwohl M ist nicht unbedingt global ein Kotangensbündel), ω ist die symplektische Struktur (nicht entartet, geschlossene 2-Form), und H ist eine Funktion an M dient als Hamiltonian. Nehmen wir nun an, wir haben zwei überlappende Koordinatendiagramme ϕ : U v R 2 N Und ψ : U W R 2 N , für einige offen U M . Die Koordinatentransformation ψ ϕ 1 : v W ist ein Symplektomorphismus, da es sich nur um die Identitätskarte handelt, die in verschiedenen Koordinaten ausgedrückt wird: genauer gesagt, ψ ϕ 1 : ( v , ϕ ω ) ( W , ψ ω ) trivial befriedigt ϕ ω = ( ψ ϕ 1 ) ψ ω . Aber wir würden eine solche Koordinatentransformation nicht als kanonisch bezeichnen, es sei denn ϕ Und ψ waren beides kanonische Koordinaten (oder Darboux-Karten), richtig? Ein definierendes Kriterium für kanonische Transformationen, das in Physiktexten oft angegeben wird, ist beispielsweise, dass die Jacobi-Matrix der Transformation eine symplektische Matrix ist, die sogenannte symplektische Bedingung. Hier, ( ψ ϕ 1 ) ist nur dann eine symplektische Matrix, wenn beides gilt ϕ Und ψ sind kanonische Koordinaten. Können wir also schlussfolgern, dass nicht alle Symplektomorphismen kanonische Transformationen sind?

Antworten (1)

Symplektomorphismen ist einer 1 mögliche Definition kanonischer Transformationen (CT), verwendet zB von VI Arnold, vgl. zB dieser Phys.SE Beitrag.

Genauer gesagt: Symplektomorphismen auf a 2 N -dimensionale symplektische Mannigfaltigkeit ( M , ω ) kommen in verschiedenen Versionen:

  • mit oder ohne explizite Zeitabhängigkeit. (In dieser Phys.SE-Antwort diskutieren wir der Einfachheit halber nur den Fall ohne explizite Zeitabhängigkeit.)

  • lokal vs. global definiert.

  • aktives vs. passives Bild.

I) In der Mathematik ist ein aktiver globaler Symplektomorphismus eine Karte F : M M so dass F ω = ω . Solche Karte F ist offensichtlich unabhängig von Koordinatensystemen.

Aufgrund des Darboux-Theorems können (und werden wir der Einfachheit halber) jedoch einen Atlas wählen

M   =   A U ( A )
von Darboux-Vierteln
M     U ( A )   ϕ ( A )   v ( A )     R 2 N
von jetzt an.

In Darboux-Koordinaten

ϕ ( A ) ICH :   U ( A )     R , ICH     { 1 , , 2 N } ,
die Poisson-Klammer -Matrix
{ ϕ ( A ) ICH , ϕ ( A ) J }   =   J ICH J , ICH , J     { 1 , , 2 N } .
ist konstant.

Lassen

F ( B A )   =   ϕ ( B ) F ϕ ( A ) 1
bezeichne die entsprechende Karte von (einer Teilmenge von) v ( A ) R 2 N zu (einer Teilmenge von) v ( B ) R 2 N .

Ein Symplektomorphismus F dann befriedigt

K , L = 1 2 N F ( B A ) ICH ( z ( A ) ) z ( A ) K J K L F ( B A ) J ( z ( A ) ) z ( A ) L   =   J ICH J , ICH , J     { 1 , , 2 N } .

II) Im Gegensatz dazu wird in der Physik ein Symplektomorphismus oft als passive Koordinatentransformation formuliert F aus (einer Teilmenge von) R 2 N zu (einer Teilmenge von) R 2 N , so dass

K , L = 1 2 N F ICH ( z ) z K J K L F J ( z ) z L   =   J ICH J , ICH , J     { 1 , , 2 N } .

Dieser letztere Begriff ist koordinatenabhängig.

III) Es scheint, dass die Beispiele von OP die beiden Fälle I und II verschmelzen.

--

1 Beachten Sie, dass in der Literatur mehrere nicht äquivalente Definitionen von CTs vorkommen, vgl. zB dieser Phys.SE Beitrag.