Der normale Slogan für die Energieerhaltung ist, dass es sich um eine konservierte Größe handelt, die mit der Zeittranslationsinvarianz verbunden ist. Ich verstehe, wie dies für Theorien funktioniert, die von einem Lagrange stammen, und dass dies der Kontext ist, auf den sich die obige Aussage beziehen soll, aber ich bin gespannt, ob dies im Allgemeinen zutrifft oder nicht (dh im weiteren Sinne wahr ist). Kontext, der durch den Satz von Noether gezeigt werden kann). Ich bleibe bei einzelnen ODEs, da mir dieser Fall bereits unklar ist. Wenn wir eine Differentialgleichung haben
für allgemein dies besitzt eindeutig Zeitübersetzungssymmetrie. Dies spart keine Energie, wie der Begriff normalerweise verwendet wird, da dies Beispiele wie einen gedämpften harmonischen Oszillator umfasst. Gibt es jedoch tatsächlich keine Erhaltungsgröße, die mit der Symmetrie verbunden ist? Wenn keine Abhängigkeit besteht Wir können leicht ein Bewegungsintegral finden, aber ich bin mir nicht sicher, warum eine Abhängigkeit davon besteht würde das ruinieren.
(Nach der möglichen Einführung weiterer Variablen) erwägt OP im Wesentlichen ein autonomes System von gekoppelte ODE 1. Ordnung s
dh ohne explizite Zeitabhängigkeit, so dass das System (1) Zeittranslationssymmetrie besitzt.
OP überlegt nun, ob es eine nicht-triviale Funktion gibt so dass entlang jeder Lösung des Systems (1) konstant ist?
Der Vorbehalt ist das darf nur von der Strukturfunktion abhängen des Systems (1), aber nicht zB von den Anfangsbedingungen für eine Lösung.
Für , solch gibt es generell nicht. Es gibt jedoch zwei wichtige Ausnahmen:
Wenn das System eine autonome Aktionsfunktionsformulierung hat , dann zeigt der Satz von Noether , dass die entsprechende Energiefunktion auf der Schale erhalten bleibt. (Dieser Fall wird bereits von OP erwähnt.)
Im Falle , auf den sich OP tatsächlich konzentrieren wollte, dann gibt es (in hinreichend kleinen offenen Nachbarschaften) immer eine autonome hamiltonsche Formulierung des Systems (1), vgl. zB meine Phys.SE-Antwort hier . Der Hamiltonian selbst ist eine Erhaltungsgröße. (Der Fall hat auch eine Erhaltungsgröße.)
Aus physikalischer Sicht ist es natürlich, die Funktion zuzuordnen mit der Energie des Systems. Wenn diese Identifikation richtig wäre, dann wären alle dissipativen Systeme Gegenbeispiele. Jedoch muss nicht die tatsächliche physikalische Energie des Systems sein. Siehe zB diese Nicht-Standard-Funktionsformulierung eines dissipativen Systems. Trotzdem, so klein- Unfälle werden seltener als wächst.
Ich glaube, ich kann mich an die Ableitung für ein konservatives Kraftfeld in der klassischen Mechanik erinnern, was eine etwas stärkere Annahme ist als die reine Zeittranslationsinvarianz.
Lassen ein konservatives Kraftfeld sein, das heißt
Nehmen Sie Newtons Bewegungsgleichung:
Ich glaube, dies wird in Nonlinear Dynamics and Chaos von Strogatz diskutiert. Ich erinnere mich nicht an die Details, aber es lohnt sich, sich seine Diskussion einer Energiefunktion anzusehen.
Hier wird erklärt, was Sie meiner Meinung nach fragen:
Wir arbeiten mit einer Formulierung der Noether-Symmetrieanalyse, die die Eigenschaften von infinitesimalen Punkttransformationen in den Raum-Zeit-Variablen nutzt, um den Zusammenhang zwischen Symmetrien und Erhaltungssätzen eines dynamischen Systems herzustellen. Hier werden Symmetrien in Form von Generatoren ausgedrückt. Wir haben die Variations- oder Noether-Symmetrien des gedämpften harmonischen Oszillators untersucht, die ihn durch einen explizit zeitabhängigen Lagrange darstellen, und festgestellt, dass eine Gruppe von Transformationen mit fünf Parametern das Aktionsintegral invariant lässt. Unter den zugehörigen Erhaltungsgrößen sind nur zwei funktionell unabhängig. Diese beiden Erhaltungsgrößen bestimmen die Lösung des Problems und entsprechen einer zweiparametrigen abelschen Untergruppe.
Zusammenfassend wird also festgestellt, dass die Differentialoperatorgleichung
ist kein selbstadjungierter Operator, also kann es nach dem Helmoltz-Kriterium keinen Lagrange haben, aber durch Hinzufügen eines Faktors von es kann durch die Lagrange-Funktion selbstadjungiert werden
was die Zeitabhängigkeit des Lagrange-Operators mit der Zeit explizit lässt
Konstantin Schwarz