Naiverweise würde man erwarten, dass die EL-Gleichungen, die sich aus einer Aktion ergeben, Ableitungen (des dynamischen Felds) einer Ordnung enthalten, die doppelt so groß ist wie die Ableitung höchster Ordnung (des dynamischen Felds), die in der Aktion vorhanden ist. Aus der Einstein-Hilbert-Aktion wissen wir jedoch, dass diese Erwartung nicht immer zutrifft.
Um die Geschichte noch einmal zusammenzufassen: Die Ableitungen höchster Ordnung der Metrik in der EH-Aktion sind die Ableitungen zweiter Ordnung der Metrik, die aus dem stammen Terme des Ricci-Skalars. Die Einstein-Gleichungen enthalten jedoch keine Ableitungen dritter Ordnung der Metrik, sondern nur die Ableitungen zweiter Ordnung (oder niedriger) der Metrik. Dies ist leicht zu erkennen, wenn man bedenkt, dass die Ableitung höchster Ordnung der Metrik, die im Ricci-Tensor/Skalar vorhanden ist, die Ableitung zweiter Ordnung der Metrik ist, die wiederum von der stammt Bedingungen. Diese Magie geschieht, weil man die EH-Lagrange-Dichte als einen Teil schreiben kann, der nur die Ableitungen erster Ordnung (oder niedriger) der Metrik enthält, und einen Teil, der die Ableitungen zweiter Ordnung (oder niedriger) der Metrik enthält, und der zweite Teil dreht sich als reiner Divergenzterm heraus, der nicht zu den EL-Gleichungen beitragen würde. Somit verbleiben uns die EL-Gleichungen, die die Ableitungen zweiter Ordnung der Metrik als Ableitung höchster Ordnung der Metrik enthalten.
Ich wusste das bis vor kurzem nicht, und ich erinnere mich, dass ich die Argumentation „Die Aktion ist von der -ter Ordnung in Ableitungen der dynamischen Felder, so würden wir erhalten Ableitungen -ter Ordnung des dynamischen Felds in den Bewegungsgleichungen "mehrere Situationen in der Physik. Jetzt bin ich verwirrt darüber, dass die Bewegungsgleichungen in mehreren Situationen eine Ordnung niedriger als erwartet sind, da dies nicht einfach zu erkennen scheint ob es eine Zerlegung der Lagrange-Dichte in nicht reine Divergenz- und reine Divergenz-Teile gibt, so dass alle Ableitungsterme höchster Ordnung in den reinen Divergenz-Teilen sind. Gibt es eine Möglichkeit, die Aktion zu untersuchen, um festzustellen, ob ist dies der Fall oder nicht, ohne die EL-Gleichungen explizit abzuleiten?
Wenn die Lagrange-Dichte hat höchstens Raumzeitableitungen, dann werden höchstens die Euler-Lagrange (EL)-Gleichungen gelten Raumzeit-Ableitungen.
Terme der totalen Divergenz in der Lagrange-Dichte beeinflusst die EL-Gleichungen nicht. Wie OP bereits erwähnt, kann man möglicherweise umschreiben in ein Stück mit, sagen wir, nur Raumzeitableitungen, so dass EL-Gleichung höchstens haben wird Raumzeit-Ableitungen.
Der Mechanismus in Pt. 2 geschieht bei der Einstein-Hilbert-Wirkung 2. Ordnung, vgl. zB meine Phys.SE-Antwort hier .
In einer gegebenen Theorie könnte es mühsam/schwierig sein, alle möglichen versteckten Terme der totalen Divergenz zu identifizieren. In der Praxis ist es einfacher, zunächst nur EL-Gleichungen abzuleiten, und wenn die Ableitungsreihenfolge geringer als erwartet ist, versuchen Sie, einen versteckten Term der totalen Divergenz darin zu identifizieren das verursacht die Fehlanpassung.
Ashley Chraya