Die zeitliche Entwicklung eines Feldes ist in Form der Poisson-Klammer mit dem Hamilton-Operator gegeben,
Wie ändert sich diese Beziehung in gekrümmter Raumzeit, sagen wir AdS? Unterscheidet sich die Definition der Poisson-Klammer von der in der flachen Raumzeit?
Es ist schon einige Zeit her, seit du das gefragt hast, aber ich werde es versuchen.
Die größten Probleme in der gekrümmten Raumzeit bestehen darin, genau zu definieren, was Sie mit einem Hamilton-Operator und was Sie mit einer Poisson-Klammer meinen.
Nehmen wir an, Sie haben es mit einem echten Skalarfeld zu tun was einige Aktionen minimiert
Dies ist die Integration einer skalaren Dichte-Lagrange-Funktion über einen Verteiler . Von hier aus haben Sie eine Reihe von Optionen: Sie können versuchen, den Verteiler in Oberflächen zu folieren und erhalten Sie einen bestimmten Impuls, Hamiltonian und Poisson-Klammer, die durch Mengen auf diesen Oberflächen definiert sind ... oder Sie können sagen, dass Sie sich noch nicht auf eine Folierung festlegen möchten. Für jede Cauchy-Oberfläche wir können ein Momentum definieren als skalare Dichte
Wo ist die zukunftsweisende Normale von . Wir haben die Euler-Lagrange-Gleichungen
(beachten Sie das entspricht der Verwendung von a hier, weil die kovariante Divergenz einer Dichte gleich der Koordinatendivergenz ist).
Der Platz aller Felder, die minimiert werden , nennen , ist ein unendlichdimensionaler Raum, aber nicht unbedingt ein Banachraum - insbesondere wenn die Bewegungsgleichungen nicht linear sind (das heißt, wenn die Lagrange-Funktion nicht quadratisch ist). Wir nehmen an, dass es für dieses einfache Beispiel quadratisch ist, aber im Allgemeinen müssten Sie den Raum anzeigen als unendlichdimensionale Mannigfaltigkeit, und definieren Sie Dinge wie die symplektische Form auf den tangentialen Banachräumen dieser Mannigfaltigkeit.
Wenn die Mannigfaltigkeit bestimmte Hyperbolizitätsanforderungen erfüllt, dann sind die Werte von zu kennen und seine Dynamik auf einer Cauchy-Fläche erlaubt uns, die Bewegungsgleichungen zu integrieren und zu bestimmen auf den ganzen Krümmer. Also für eine gegebene Oberfläche , Und fungieren als Koordinaten für unsere unendliche Mannigfaltigkeit .
Nun, um eine Poisson-Klammer zu haben, brauchen Sie eine symplektische Form . Diese muss nicht entartet und antisymmetrisch sein. Es stellt sich heraus, dass für jede Oberfläche ,
Wo ist die Determinante der 3-Metrik auf Und ist die Determinante der 4-Metrik auf , ist eine solche Form. Sie ist unabhängig von der Oberfläche der Integration , die durch Verwendung des Satzes von Stokes und Anwendung der Bewegungsgleichungen ersichtlich ist.
Also der Wert der symplektischen Form für zwei Felder ist unabhängig davon, wie wir uns für die Folierung entscheiden.
Lassen Sie uns nun zu unserer früheren Aussage über zurückkehren Und Koordinaten sein. Das heißt, wenn ich etwas wirklich Funktionales habe , kann ich eine Ableitung in Bezug auf diese beiden Koordinatensätze definieren. Insbesondere bei einem bestimmten Feld , gibt es eine Variationsableitung das ist eine lineare Karte und kann geschrieben werden als
Auf die gleiche Weise, wie symplektische Formen mit Ableitungen auf endlichen symplektischen Mannigfaltigkeiten kombiniert werden, um eine Poisson-Klammer zu erhalten (ich werde hier nicht den ganzen Vorgang wiederholen; es wird spät und ich brauche etwas Schlaf :-) ), können wir jetzt die Poisson definieren Klammer zweier Funktionale als
Ist wie , ist unabhängig von der Integrationsfläche (die direkt aus folgt Unabhängigkeit).
Okay. So haben wir bisher sehr viel gemacht ohne irgendwelche Folierungen oder Koordinaten am Krümmer zu fixieren. Das ist nett. Um ein strenges Analogon der Hamiltonschen Formel zu erhalten, müssen wir jedoch eine gewisse Blattbildung wählen. Stattdessen können wir uns ein allgemeineres Beispiel ansehen. Lassen ein Vektorfeld sein, das eine Verformung der Mannigfaltigkeit darstellt; das heißt, wir verschieben Koordinaten und transformieren die Felder als
Wo eine sehr kleine Zahl ist (die Impulstransformation ist komplizierter, da könnte Oberflächen in andere Oberflächen ziehen, was bedeutet, dass wir zwischen verschiedenen Impulsfunktionen wechseln. Auch hier werde ich erstmal faul sein und das weglassen). Außerdem beschränken wir uns auf Felder die die Aktion invariant lassen. Jetzt können wir den Satz von Noether anwenden!
Definiere das Funktionale
Wo . Dieses Funktional bleibt erhalten (unabhängig von ) nach dem Satz von Noether. Dann ist es (wieder verschlafen, kein Beweis) so
Das ist das Analogon der gekrümmten Raumzeit zu Ihrer Frage.
Lubos Motl
yuggib