Nehmen wir an, wir arbeiten in einer klassischen Skalarfeldtheorie und haben zwei Funktionen Und . In den meisten Referenzen wird beginnend mit zwei Funktionen die Poisson-Klammer als definiert
Aber wie hier erklärt die funktionale Ableitung 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 (im Sinne von Verteilungen) zwischen den funktionalen Derivaten. Dies funktioniert bei Interesse wie zB aber ich bin mir nicht sicher, ob es für zwei generische Funktionen (die Abhängigkeit 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?
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 Und in der Poisson-Klammer (PB)
werden als (differenzierbare) lokale Funktionale angenommen. Wenn eine funktionale ist differenzierbar die funktionellen Derivate
von wrt. alle Felder , , existieren.
Wenn die beiden Eingänge Und als differenzierbare lokale Funktionale angenommen werden, werden die funktionalen Ableitungen (2) lokale Funktionen sein (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 ist wieder differenzierbar 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 , während andere lokale Funktionen sind . Wie verwandeln wir eine lokale Funktion in eine lokale Funktion? Wir verwenden eine Testfunktion . Wenn eine lokale Funktion ist, definieren Sie eine entsprechende lokale Funktion als
Dann ist es bereit, in den PB (1) eingesetzt zu werden.
Verweise:
--
Zur Definition einer lokalen Funktion und einer lokalen Funktion siehe zB diesen Phys.SE-Beitrag und die darin enthaltenen Links.
Die Existenz einer funktionalen Ableitung (2) einer lokalen Funktion hängt von der geeigneten Wahl der Randbedingungen ab.
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).
QMechaniker