Pendeln räumliche Ableitungen in der Hamiltonschen Feldtheorie mit Poisson-Klammern?

Ich gehe einige meiner alten Notizen für ein aktuelles Projekt durch und versuche herauszufinden, ob ich einen Fehler gemacht habe oder ob ich einmal etwas gewusst habe, das ich jetzt vergessen habe.

Betrachten Sie eine lokale Feldtheorie, die eine Reihe von Feldern enthält ϕ ( A ) , für die die Lagrange-Dichte gilt

L ( ϕ ( A ) , ϕ ˙ ( A ) , ich ϕ ( A ) ) .
Hier, ich steht nur für räumliche Ableitungen, dh wir haben bereits eine Zerlegung in eine bevorzugte Schieferung der Raumzeit vorgenommen (falls erforderlich). Wir können einen Satz konjugierter Feldimpulse über die übliche Beziehung definieren:
π ( A ) δ L δ ϕ ˙ ( A ) .
Die Hamiltonsche Dichte wird dann sein
H = A π ( A ) ϕ ˙ ( A ) L .
Wir können dann eine Poisson-Klammer für Feldgrößen der Form definieren
{ F , G } A [ δ F δ ϕ ( A ) δ G δ π ( A ) δ G δ ϕ ( A ) δ F δ π ( A ) ] ,
Wo F Und G sind im Prinzip zwei beliebige Größen, die von den Feldern und den Impulsen abhängen.

Hier sind meine Fragen:

  1. Ist es unter diesen Definitionen immer so, dass
    { ich F , G } = ? ich { F , G }
    für zwei beliebige Mengen F Und G ?
  2. Ist es unter diesen Definitionen immer so, dass
    { ich F , H } = ? ich { F , H }
    für jede Menge F ?

Antworten (1)

  1. Aufgrund des erwähnten Kontexts von OP interpretieren wir F & G als Funktionen (im Gegensatz zu Funktionalen). Insbesondere scheint OP eine funktionale Ableitung (FD) in der gleichen Raumzeit in Betracht zu ziehen, vgl. meine Phys.SE-Antwort hier .

  2. Leibniz-Regel

    { D X F ( X ) , G ( X ) } + { F ( X ) , D X G ( X ) }   = ?   D X { F ( X ) , G ( X ) }
    ist nicht immer zufrieden.

  3. Gegenbeispiel: In einem hoffentlich nachvollziehbaren Notationsmissbrauch let

    F ( X )   :=   F ( ϕ ( X ) ) Und G ( X )   :=   G ( π ( X ) ) .
    Dann
    { D X F ( X ) , G ( X ) }   =   0   =   { F ( X ) , D X G ( X ) }
    während
    D X { F ( X ) , G ( X ) }   =   D X ( F ' ( ϕ ( X ) ) G ' ( π ( X ) ) ) .