Mathematische Interpretation von Poisson-Klammern

Nehmen wir an, wir arbeiten in einer klassischen Skalarfeldtheorie und haben zwei Funktionen F [ ϕ , π ] ( X ) Und G [ ϕ , π ] ( X ) . In den meisten Referenzen wird beginnend mit zwei Funktionen die Poisson-Klammer als definiert

{ F ( X ) , G ( j ) } = D 3 z ( δ F ( X ) δ ϕ ( z ) δ G ( j ) δ π ( z ) δ F ( X ) δ π ( z ) δ G ( j ) δ ϕ ( z ) ) .

Aber wie hier erklärt die funktionale Ableitung δ F δ ϕ ist eher eine Verteilung als eine Funktion, daher macht die vorherige Definition nicht viel Sinn. Ich habe mich damals gefragt, ob die Poisson-Klammer als die eingerechnete Faltung interpretiert werden kann ( X j ) (im Sinne von Verteilungen) zwischen den funktionalen Derivaten. Dies funktioniert bei Interesse wie zB { ϕ ( X ) , π ( j ) } aber ich bin mir nicht sicher, ob es für zwei generische Funktionen (die Abhängigkeit ( X j ) ist nicht explizit). Gibt es einen Beweis, dass die Poisson-Klammer eine Faltung ist? Können allgemein Feldtheorien formal im Sinne von Verteilungen formuliert werden?

Verwandte Frage zu Math.SE: math.stackexchange.com/q/444393/11127

Antworten (1)

I) Es ist erwähnenswert, dass es einen grundlegenden Ansatz gibt, der für physikalische Anwendungen gut geeignet ist (wo wir normalerweise Lokalität annehmen), der es vermeidet, zwei Verteilungen miteinander zu multiplizieren. Die Idee ist, dass die beiden Eingänge F Und G in der Poisson-Klammer (PB)

(1) { F , G }   =   M D X ( δ F δ ϕ ( X ) δ G δ π ( X ) δ F δ π ( X ) δ G δ ϕ ( X ) )

werden als (differenzierbare) lokale Funktionale angenommen. 1 Wenn eine funktionale F ist differenzierbar 2 die funktionellen Derivate

(2) δ F δ ϕ ( X ) , δ F δ π ( X ) ,

von F wrt. alle Felder ϕ ( X ) , π ( X ) , existieren.

Wenn die beiden Eingänge F Und G als differenzierbare lokale Funktionale angenommen werden, werden die funktionalen Ableitungen (2) lokale Funktionen sein 1 (im Gegensatz zu Verteilungen), und es ist sinnvoll, zwei solche funktionalen Ableitungen miteinander zu multiplizieren und schließlich zu integrieren, um PB (1) zu erhalten. Die Ausgabe { F , G } ist wieder differenzierbar 3 lokalen Funktional, so dass die Poisson-Klammer { , } ist ein Produkt in der Menge der differenzierbaren lokalen Funktionale.

II) Einige physikalische Größen sind bereits lokale Funktionale F , während andere lokale Funktionen sind F ( X ) . Wie verwandeln wir eine lokale Funktion in eine lokale Funktion? Wir verwenden eine Testfunktion η ( X ) . Wenn F ( X ) eine lokale Funktion ist, definieren Sie eine entsprechende lokale Funktion als

(3) F [ η ]   :=   M D X F ( X ) η ( X ) .

Dann ist es bereit, in den PB (1) eingesetzt zu werden.

Verweise:

  1. JD Brown und M. Henneaux, Über die Poisson-Klammern differenzierbarer Generatoren in der klassischen Feldtheorie, J. Math. Phys. 27 (1986) 489 .

--

1 Zur Definition einer lokalen Funktion und einer lokalen Funktion siehe zB diesen Phys.SE-Beitrag und die darin enthaltenen Links.

2 Die Existenz einer funktionalen Ableitung (2) einer lokalen Funktion F hängt von der geeigneten Wahl der Randbedingungen ab.

3 Die Differenzierbarkeit des PB (1) ist unter geeigneten Annahmen gewährleistet, vgl. Ref. 1, die wiederum auch die Jacobi-Identität für den PB diskutiert (1).

Danke für die Antwort. Wahrscheinlich vermisse ich den entscheidenden Punkt, aber Sie behaupten das δ F δ ϕ ist eine lokale Funktion, kann also als Funktion von ausgedrückt werden N + 1 Variablen (bezieht sich auf den Link, den Sie gepostet haben). Andererseits ist das bekannt δ F δ ϕ = δ ( X j ) kann nicht als Funktion betrachtet werden (nur in bestimmten Grenzen), sodass das Problem weiterhin besteht.
@ user47224 : Die funktionale Ableitung δ F δ ϕ ( j ) = δ ( X j ) in deinem Beispiel handelt es sich ja um eine Distribution. Ich nehme an, dass Sie nehmen F = ϕ ( X ) , die eine lokale Funktion, aber keine lokale Funktion ist.
Tut mir leid, wenn ich darauf bestehe, aber: Lass uns anrufen D der Raum der Testfunktionen (glatte und kompakte Unterstützung), D ' = { F : D R } sein dualer Raum. Wie man [hier] [1] sehen kann, um das Derivat einzuführen D D ϵ | ϵ = 0 F [ ϕ + ϵ G ] es ist notwendig, dass in meinem Beispiel F : D C . Außerdem das Objekt < δ F δ ϕ ; . >: D C So δ F δ ϕ D ' [1]: de.wikipedia.org/wiki/…
dann ist die Poisson-Klammer definiert, die in der folgenden Domäne wirkt { ; } : D ' × D ' D ' . Der einzige Operator (den ich kenne), der auf diese Weise wirkt, ist die Faltung
@ user47224 : Beachten Sie, dass es sich um eine lokale Funktion handelt F ( X ) ist auch eine Verteilung (aber nicht umgekehrt). Der Satz lokaler Funktionen kann in den Satz von Verteilungen eingebettet werden. Das funktionale Derivat δ F δ ϕ ( X ) ist eine Verteilung, aber für ein lokales Funktional F , kann diese Verteilung durch eine lokale Funktion dargestellt werden F ( X ) .
Ok, jetzt verstehe ich deinen Punkt. Wenn ich mich nicht irre, stellt die Ortsvorschrift sicher, dass die Poisson-Klammer gut als Faltung definiert ist.