Hamiltonsche Systeme ohne entsprechendes Lagrange-System

Ich habe mit einem Hamiltonschen Modell für die Ausbreitung von Photonen herumgespielt:

(1) H = C P P + v ( Q )

was einen sinnvollen Satz von Bewegungsgleichungen ergibt,

(2) Q ˙ ich = C P ich P P P ˙ ich = v ( Q ) Q ich .

Beachte das

(3) Q ˙ Q ˙ = C 2
immer, weshalb ich dies als Modellierung der Ausbreitung eines masselosen Teilchens betrachtete.

Dieser Hamiltonoperator hat jedoch die folgende seltsame Eigenschaft. Wenn wir eine Legendre-Transformation durchführen, um eine zugehörige Lagrange-Funktion zu finden,

(4) L = P Q ˙ H = C P P P P ( C P P + v ( Q ) ) = v ( Q )
was da nicht dynamisch ist L Q ˙ = 0 .

Ein ähnliches Problem ergibt sich, wenn ich ein duales Lagrange-System in Betracht ziehe Q , Q ˙ Variablen und versuchen, eine Hamilton-Transformation durch Legendre-Transformation zu finden:

(5) L = C Q ˙ Q ˙ v ( Q )
dann erhalten wir wohldefinierte Euler-Lagrange-Gleichungen:
(6) D D T ( C Q ˙ ich Q ˙ ich Q ˙ ich ) = v ( Q ) Q ich
was wird:
(7) ( Q ˙ Q ˙ ) Q ¨ ich ( Q ˙ Q ¨ ) Q ˙ ich + ( Q ˙ Q ˙ ) 3 / 2 v ( Q ) Q ich = 0.
Wenn wir jedoch versuchen, einen zugehörigen Hamilton-Operator zu finden,
(8) H = P Q ˙ L = C Q ˙ Q ˙ Q ˙ Q ˙ ( C Q ˙ Q ˙ v ( Q ) ) = v ( Q )
was wiederum nicht dynamisch ist.

Was geht hier vor sich? Gibt es einen interessanten Grund, warum diese Systeme Lagrange/Hamiltonsche Beschreibungen nicht zulassen sollten? Wann sollte ich im Allgemeinen erwarten, dass die Legendre-Transformation mir ein gut erzogenes System gibt, das die Physik reproduziert, mit der ich begonnen habe?

Es kann damit zusammenhängen , da die Impulsabhängigkeit linear ist.

Antworten (1)

  1. Der Lagrange-Operator kann direkt konstruiert werden, indem eine Dirac-Bergmann-Einschränkungsanalyse des Hamilton-Operators (1) von OP durchgeführt wird. In Gl. (3) OP hat die primäre Einschränkung bereits korrekt identifiziert 1

    (A) X ˙ 2   :=   G μ v ( X )   X ˙ μ X ˙ v     0 , X ˙ μ   :=   D X μ D τ ,
    Wo τ ist der Parameter der Weltlinie (WL) (der nicht die Eigenzeit sein muss).

  2. Die Lagrangedichte wird zur masselosen Grenze von 2

    (B) L   =   λ X ˙ 2 M 2 4 λ v ,
    Wo λ ( τ ) ein Lagrange-Multiplikator ist , vgl. zB dieser Phys.SE Beitrag.

  3. Das Momentum für den Lagrange ist

    (C) P μ   :=   L X ˙ μ   =   2 λ G μ v ( X )   X ˙ v ,
    so dass der entsprechende Hamiltonoperator ist
    (D) H   =   P 2 + M 2 4 λ + v .

  4. Daher wird der Hamiltonian Lagrangeian

    (E) L H   :=   P μ X ˙ μ H .

  5. Kommen wir nun zum statischen Messgerät X 0 = τ . Wenn wir uns integrieren P 0 Und λ , wir bekommen 3

    (F) L H | X 0 = τ P 0 P X ˙ ( λ + P 2 + M 2 4 λ + v ) Hamiltonian λ P X ˙ ( P 2 + M 2 + v ) Hamiltonian .

  6. Wenn wir die Masse setzen M 0 dann wird der Quadratwurzel-Hamilton-Operator (F) genau zum Hamilton-Operator (1) von OP. Dies bestätigt unsere Behauptung, dass der masselose Grenzwert von Gl. (B) ist der gesuchte Lagrange von OP.

--

1 Lassen Sie uns in Einheiten arbeiten, in denen die Lichtgeschwindigkeit ist C = 1 und mit Minkowski-Zeichenkonvention ( , + , + , + ) .

2 Der Massenterm in Gl. (B) ist der Allgemeinheit halber enthalten und nicht wesentlich. Das einzig etwas seltsame ist, dass wir das einschränken λ Zielraum aus R Zu R + . Dieser letzte Punkt wird auch in meiner Phys.SE-Antwort hier diskutiert .

3 Ein ähnliches Argument wurde in Gl. (3) meiner Phys.SE-Antwort hier , wo der Lagrange-Multiplikator λ = 1 2 e wird durch ein einbein-Feld ersetzt e .