Einschränkungen der Hamiltonschen Feldgleichungen

Betrachten wir die Lagrange-Funktion

L   =   1 2 ( μ ϕ v ) 2 + 1 2 ( μ ϕ μ ) 2 + 1 2 M 2 ϕ μ ϕ μ ,

mit Minkowski-Metrik η μ v = D ich A G ( + 1 , 1 , 1 , 1 )

Die Bewegungsgleichungen lauten dann

v v ϕ μ + μ v ϕ v M 2 ϕ μ   =   0.

Nehmen wir die vier Divergenzen, die wir finden μ ϕ μ = 0 so können wir die Bewegungsgleichungen auf reduzieren

( v v + M 2 ) ϕ μ   =   0.

Das ist alles in Ordnung. Wenn ich jedoch auf den Hamiltonschen Formalismus umwandle, funktionieren die Dinge nicht ganz. Die konjugierten Impulse sind gegeben durch

π μ   =   L ( 0 ϕ μ )   =   0 ϕ μ + v ϕ v δ μ 0

woraus wir die Nebenbedingungsrelation erhalten

π 0 ich ϕ ich   =   0

mit ich = 1 , 2 , 3 .

Der Hamiltonian H wird von gegeben

H   =   π μ 0 ϕ μ L

und die Hamiltonschen Gleichungen sind

H π μ   =   0 ϕ μ
Und
H ϕ μ   =   0 π μ .

Wenn ich jetzt den Hamiltonian explizit ausschreibe und die Einschränkungen usw. einbeziehe, wird der Ausdruck ziemlich kompliziert. Dann ergibt die Berechnung des eom etwas nicht sehr Schönes, das nicht mit meiner ursprünglichen Bewegungsgleichung übereinstimmt. BEARBEITEN: Ich habe gerade festgestellt, dass dies sowieso nicht der Fall sein sollte, da es sich um eine PDE zweiter Ordnung und zwei PDEs erster Ordnung handelt. Die Eom kommen immer noch nicht so heraus, wie sie sollten.

Gibt es etwas Besonderes, worauf ich achten sollte?

Ihre erste Zeile macht keinen Sinn, wie geschrieben. Du hast ein μ und ein v unter dem Quadrat. Bedeutet das Quadrat, dass Sie denselben Ausdruck einfach zweimal schreiben möchten, also haben Sie eine implizite Doppelsumme über dem μ Und v ?
@Timaeus: Es scheint, dass der erste Begriff 1 2 ( μ ϕ v ) 2 in der Lagrange-Dichte bedeutet 1 2 μ ϕ v μ ϕ v .
Ja, das ist richtig @Timaeus

Antworten (1)

OP schrieb (v3):

Gibt es etwas Besonderes, worauf ich achten sollte?

Ja. Achten Sie auf sekundäre Einschränkungen , vgl. zB dieser Phys.SE Beitrag.

Unten folgt eine kurze teilweise Herleitung.

  1. Lassen Sie griechische Buchstaben μ , v , bezeichnen Raumzeit-Indizes, während römische Buchstaben ich , J , bezeichnen nur räumliche Indizes. Die Lagrange-Dichte

    L   =   1 2 μ ϕ v μ ϕ v + 1 2 ( ϕ , μ μ ) 2 + 1 2 M 2 ϕ μ ϕ μ
    (A)   =   1 2 ϕ ˙ ich ϕ ˙ ich + ϕ ˙ 0 ϕ , ich ich + 1 2 ( ϕ , ich ich ) 2 v ,
    mit Potentialdichte
    (B) v   :=   1 2 ich ϕ μ ich ϕ μ + 1 2 M 2 ϕ μ ϕ μ ,
    und mit Minkowski-Metrik η μ v = D ich A G ( + 1 , 1 , 1 , 1 ) .

  2. Der Impuls ist gleich der Geschwindigkeit

    (C) π ich   =   ϕ ˙ ich ,
    ausser für π 0 .

  3. Die primäre Einschränkung lautet

    (D) χ 1   :=   π 0 ϕ , ich ich     0.

  4. Die Hamiltonsche Dichte wird

    (E) H   =   1 2 π μ π μ + v .

  5. Die CCRs lesen

    (F) { ϕ μ ( X ) , π v ( j ) } P B   =   δ v μ   δ 3 ( X j ) ,
    und alle anderen verschwinden.

  6. Eine sekundäre Einschränkung

    (G) χ 2   :=   M 2 ϕ 0 ϕ , ich ich 0 π ich , ich     0
    entsteht weil { χ 1 , H } P B ist nicht proportional zu χ 1 . Ohne eine sekundäre Einschränkung würde die Zeitentwicklung die primäre Einschränkung (D) verletzen. Man kann prüfen, ob keine tertiäre Beschränkung auftritt.

  7. Die Poisson-Klammer zwischen den beiden Einschränkungen lautet

    (H) { χ 2 ( X ) , χ 1 ( j ) } P B   =   M 2 δ 3 ( X j ) .
    Mit anderen Worten, die beiden Einschränkungen sind erste (zweite) Klasse, wenn M 2 = 0 ( M 2 0 ), bzw.

  8. Erstklassige Beschränkungen erzeugen Spursymmetrie.

  9. Für Beschränkungen zweiter Klasse die Dirac-Klammer

    { ϕ 0 ( X ) , π 0 ( j ) } D B   =   ich ich M 2 δ 3 ( X j ) ,
    { ϕ ich ( X ) , π J ( j ) } D B   =   ( δ J ich ich J M 2 ) δ 3 ( X j ) ,
    (ICH) { ϕ 0 ( X ) , ϕ ich ( j ) } D B   =   ich M 2 δ 3 ( X j ) , usw ,
    ist notwendig.

Um ehrlich zu sein, habe ich das Dirac-Buch und das andere durchgelesen, und mir ist nicht klar, was getan werden muss, außer den Einschränkungsterm zu den Hamilton-Gleichungen hinzuzufügen.
Also (nach dem Dirac-Buch) wäre die sekundäre Einschränkung { χ , H } P B + λ { χ , χ } P B = 0 . Ist das korrekt? Wie findet man λ ?
Ich habe die Antwort aktualisiert.