Der Satz von Noether besagt, dass die Energieerhaltung ein Ergebnis der zeitlichen Translationssymmetrie der Gesetze der Physik ist. Dies ist implizit – und ich sage nicht, dass es nicht so ist – eine sehr nicht triviale Aussage. Wie kommt es dann, dass es nicht so trivial erscheint, wenn wir versuchen, diese informelle Aussage auf die folgende scheinbar sehr natürliche und intuitive Weise zu formalisieren?
Um die behauptete Aussage formal zu verstehen, müssen wir zwei Dinge verstehen: was ein "physikalisches Gesetz" ist und was "zeitliche Translationssymmetrie" ist. Und die theoretische Mathematik scheint eine recht ordentliche Antwort auf das erste zu geben – was ein dynamisches System genannt wird .
Ein dynamisches System ist ein Tripel bestehend aus einem Satz heißt Phasenraum , ein Monoid (ein Satz, in dem Sie Elemente zusammenfügen können, grob gesagt) Raumzeit genannt , und schließlich eine Familie von Karten , , genannt Evolution , Flow , oder wenn wir so wollen, Physik , die die folgende Halbgruppeneigenschaft erfüllen : for all und Zeiten ,
. Ich sage, das ist sehr intuitiv, weil es ziemlich direkt dem entspricht, was wir uns unter physikalischen Gesetzen vorstellen: Sie nehmen, was wir über die Gegenwart wissen, dh den Phasenraumpunkt , und sie sagen die Zukunft voraus, dh was nach einiger Zeit der Fall sein wird: das heißt .
(Außerdem eine Anmerkung: zumindest in der Physik wird typischerweise als reelle Zahl angenommen , zusammen mit Zusatz. In der spezifisch klassischen Mechanik ist eine differenzierbare Mannigfaltigkeit und insbesondere eine "symplektische Mannigfaltigkeit", also hat sie eine zusätzliche Struktur, die über die rein topologische und analytische hinausgeht. Für ein einfaches System, das aus einem sich bewegenden punktartigen Objekt besteht, sind die Elemente von sind Paare einer Stelle und Schwung .)
Wir können dann eine Symmetrie des dynamischen Systems als bijektive Selbstabbildung definieren des Phasenraums in sich, der die Dynamik respektiert, also für alle Und ,
.
Anders ausgedrückt, wenn wir den Phasenraum durch die Symmetrie transformieren, erzeugt der transformierte Punkt eine Geschichte, die einfach die Transformation der Geschichte des ursprünglichen Punkts ist, dh beide werden durch dasselbe Gesetz der Physik erzeugt . Oder anders ausgedrückt, Symmetrien sind eine Art "Automorphismus" des dynamischen Systems.
Aber hier ist die Sache: Jedes Mal, wenn Übersetzer, , ist eine Symmetrie von nach dieser Definition, und das bedeutet, dass es implizit immer eine konservierte Energie geben sollte, oder? Und wenn uns eine Zeitreihe gegeben würde, die nicht durch ein dynamisches System wie oben beschrieben gegeben werden könnte, z. B. zwei Werte in der Reihe gleich waren, aber mit unterschiedlichen Werten, die ihnen folgen, so dass die Halbgruppeneigenschaft versagt oder sich äquivalent die Trajektorie selbst schneidet, können wir immer nur den Phasenraum vergrößern. Und dann können wir noch einmal eine Art konservierter "Energie" ausdrücken.
Mit anderen Worten, alle dynamischen Systeme sind zeitsymmetrisch und erhalten dadurch eine gewisse Größe, die wir möglicherweise als Energie bezeichnen könnten.
Warum also ist die Aussage, dass Energie konserviert wird, eine „nichttriviale“ Aussage über das Universum, wenn wir uns immer etwas einfallen lassen können, das man eine „konservierte Energie“ nennen kann? Oder anders ausgedrückt, wie kommt es, dass die zeitliche Translationssymmetrie nicht trivial ist, wenn sie im Wesentlichen in die Definition dynamischer Systeme und Phasenräume eingebacken ist (insbesondere folgt sie aus der Nichtkreuzung von Phasenraumtrajektorien) ?
Hier sind ein paar Beobachtungen, die meiner Meinung nach zusammen eine Antwort auf Ihre Frage bilden (obwohl ich nicht sicher bin, ob ich der gesamten Notation im Hauptteil der Frage gefolgt bin).
Jede Lösung einer (skalaren) Differentialgleichung zweiter Ordnung hat zwei Konstanten, die der Lösung zugeordnet sind, nämlich die beiden Integrationskonstanten. Im Allgemeinen nennen wir diese Konstanten jedoch normalerweise nicht Erhaltungsgrößen , da sie nicht nur mit den dynamischen Freiheitsgraden zu einem bestimmten Zeitpunkt berechnet werden können. Mit anderen Worten: die Energie eines harmonischen Oszillators zur Zeit zu berechnen , wir brauchen nur die Position und die Geschwindigkeit zur Zeit zu kennen (plus Konstanten wie die Schwingungsfrequenz). Allerdings, um die Anfangsbedingungen irgendwann zu kennen , müssen wir die Bewegungsgleichungen in der Zeit zurück integrieren. Für einen harmonischen Oszillator können wir dies natürlich tun und tun dies oft und beziehen die Anfangsbedingungen auf die Energie. In diesem Fall können die Anfangsbedingungen wiederhergestellt werden, wenn der Zustand des Systems nur zum aktuellen Zeitpunkt (bis zu einer Phase) bekannt ist. Aber für ein System ohne Energieerhaltung könnten Sie die Anfangsbedingungen nur berechnen, indem Sie das System rückwärts entwickeln; Sie können die Anfangsbedingungen nicht direkt berechnen, wenn Sie nur den Zustand des Systems zu einem späteren Zeitpunkt angeben.
Natürlich gibt es dynamische Systeme ohne Erhaltungsgrößen. Nämlich jedes System ohne Zeittranslationsinvarianz (wie z. B. ein harmonischer Oszillator, bei dem sich die Schwingungsfrequenz mit der Zeit ändert). Ihr Formalismus sollte dies sehen können (obwohl mir nicht 100% klar ist, wie), aber für ein System mit einem zeitabhängigen Hamilton-Operator, um den Evolutionsoperator (den Sie genannt haben ) sollten Sie beide die Anfangszeit angeben müssen und das letzte mal zu dem Sie das System weiterentwickeln.
Zusammenfassend ist der nicht triviale Aspekt von Energie, dass es sich um eine Aussage über eine Größe handelt, die nur anhand des Zustands des Systems zu einem bestimmten Zeitpunkt berechnet werden kann. Wir können Phasenraumtrajektorien auch mit Anfangsbedingungen beschriften, aber (im Gegensatz zu Energie) die einzige Möglichkeit, die Anfangsbedingungen zu berechnen (angegebener Zustand zu einem späteren Zeitpunkt ist es, das System zurück zu der ursprünglichen Zeit zu entwickeln.
Energieerhaltung bedeutet, dass die Bewegungsgleichungen ein erstes Integral haben. Dies ist eine nicht triviale Aussage, da sie eine Teilmenge von Gleichungen aus allen vorstellbaren Arten von Gleichungen auswählt.
Während viele empirisch gewonnene Bewegungsgleichungen bekanntermaßen ein solches Integral haben, macht der Satz von Noether diese Aussage aufgrund der Homogenität der Zeit in der allgemeinsten Form.
Einerseits geht der Satz von Noether in seiner ursprünglichen Formulierung von einer Aktionsformulierung aus. Dem Setup von OP (v1) fehlt dies. Die Wirkungsformulierung führt unter anderem auf die Standardformel für Energie (die natürlich die Noether-Ladung für Zeitübersetzungen ist), vgl. zB dieser Phys.SE Beitrag.
Andererseits gibt es angesichts der Tatsache, dass nur OPs dreifach sind, keine klare Definition von Energie. Man darf normalerweise keine alte Integrationskonstante der EOMs auswählen und behaupten, es sei die Energie.
Dies ist ein Teil einer Antwort; noch keine vollständige Antwort.
Das Problem mit der Frage, wie ich sie formuliert habe, ist, dass diese Definition von Dynamik möglicherweise nicht das ist, was viele Physiker im Sinn haben, obwohl sie sehr intuitiv ist, weil sie im Grunde besagt, dass ein dynamisches oder physikalisches Gesetz etwas ist, was Sie sind können Sie verwenden, um die Zukunft aus der Gegenwart vorherzusagen, wenn Sie den gegenwärtigen Zustand berücksichtigen und wie weit Sie in die Zukunft gehen möchten.
In meinen Kommentaren unter @Andrews Beitrag habe ich diesen Teil ein wenig diskutiert, und das Problem ist etwas subtil: Der Phasenraum ist der gegenwärtige Zustand des Systems , wir können uns jedoch einen Verlauf vorstellen, der durch Anwendung eines solchen erzeugt wird Familie für eine bestimmte Zeitspanne, dann bewerben Sie sich danach für eine andere und dann für eine weitere und so weiter und so fort. Dies wäre nach der gegebenen Definition kein dynamisches System, sondern würde ein "sich änderndes physikalisches Gesetz" genau so darstellen, wie wir es uns über das Kontrapositiv von Noethers Theorem vorstellen, vorausgesetzt, wir nehmen an das Objekt zu sein, das den Begriff des "physikalischen Gesetzes" präzisiert.
Um den Satz von Noether sowohl in der zeitlichen als auch in der räumlichen Translationssymmetrie als nicht triviale Aussage zu diskutieren, müssen wir daher zugeben, dass die Definition der Dynamik, die wir gegeben haben, in gewissem Sinne zu streng war. Eine mögliche lockerere Definition, um das Obige zu erfassen, ist die der Kartenfamilie hat sowohl ein Zeitinkrement als auch eine Startzeit, zu der das Inkrement angewendet werden soll: Wir könnten die Notation in ändern Stattdessen ist es, um zu betonen, kein einfacher iterativer Prozess mehr. Die semantische Bedeutung dieser Karte ist „interpretieren Sie den übergebenen physikalischen Zustand als zu einem bestimmten Zeitpunkt aufrechterhalten . Dann entwickeln Sie es weiter nach den einschlägigen Gesetzen der Zeit." Und wir fordern Folgendes: Nochmals,
aber jetzt modifizieren wir das Halbgruppengesetz zu
wobei wir nun die weitere Entwicklung durch notieren muss explizit zu dem Zeitpunkt gestartet werden, an dem die erste Evolution vorbei ist aufgehört, dh von der Anfangszeit in welchem Zustand ist gültig. Dieser Teil wird benötigt, da sich die Gesetze zu diesem Zeitpunkt möglicherweise geändert haben.
In diesem Formalismus kann die zeitliche Übersetzungssymmetrie so definiert werden, dass sie dies aussagt ist unabhängig von der Startzeit , und ist daher jetzt keine triviale Aussage mehr - wir können Fälle haben, in denen es fehlschlägt. Oder anders ausgedrückt, die zeitliche Translationssymmetrie ist im Grunde die Aussage, dass die Dynamik auf dem gegebenen Phasenraum ein dynamisches System bildet, wie wir es früher definiert haben.
Allerdings scheint es immer noch möglich, den Phasenraum zu vergrößern, und dann stehen wir wieder vor dem gleichen Problem. Hier kommt jedoch die Antwort von @Qmechanic ins Spiel: Energie ist nicht irgendeine zufällige Größe, die wir mit der Zeit erhalten können . Es ist eine sehr spezifische solche konservierte Größe - und das würde eine weitere Erläuterung erfordern, und hier muss meine Antwort ihre Parteilichkeit offenbaren.
Hier ist meine Meinung zur Titelfrage: Wie ist die Energieeinsparung und der Satz von Noether eine nicht triviale Aussage?
Betrachten Sie dieses Zitat aus Spivaks Kalkül über Mannigfaltigkeiten
Der Satz von Stokes teilt drei wichtige Attribute mit vielen voll entwickelten Hauptsätzen:
- Es ist trivial
- Es ist trivial, weil die darin vorkommenden Begriffe richtig definiert wurden.
- Es hat erhebliche Konsequenzen
Ich habe das Gefühl, dass Noethers Theorem definitiv von der gleichen Art ist, die hier erwähnt wird, und ich habe tatsächlich gesehen, dass es in bestimmten Formulierungen als "trivial" bezeichnet wird. Zum Beispiel macht Baez in seinem Artikel Getting to the bottom of Noether's theorem Bemerkungen wie
"Noethers Theorem auf eine Trivialität reduziert zu haben, indem man nur mit Generatoren gearbeitet hat ..."
"Was ist jedoch die Bedeutung der Antisymmetrie der Klammer? Bisher haben wir sie einfach in der Definition der Poisson-Algebra postuliert und damit im Wesentlichen den Satz von Noether von Anfang an eingebaut."
Siehe auch Hudgins Den Satz von Noether mit symplektischer Geometrie verstehen
Dieser Aufsatz wird zeigen, dass der Satz von Noether, wie alle großen Sätze, trivial zu formulieren und zu beweisen ist, sobald die richtige mathematische Theorie entwickelt ist, die in diesem Fall die Theorie der symplektischen Mannigfaltigkeiten sein wird
Für mich hat dies alle Merkmale von Spivaks Sicht auf den Satz von Stokes. Jeder, der die ganze Maschinerie, die zum Beweis des Noether-Theorems verwendet wird, gut versteht, mag durchaus sagen, dass es trivial erscheint, und das liegt genau daran, dass sie den Vorteil der richtigen Maschinerie haben.
Die Lügenalgebra, in der Noether ein Experte war, enthält sicherlich alle Keime für die Einsichten, die zum Beweis des Satzes erforderlich sind, aber ich denke, dass die symplektische Geometrie auf Mannigfaltigkeiten, obwohl sie vorhanden war, zu dieser Zeit nicht bekannt war. Aber nach den 1960er Jahren ist die symplektische Geometrie ziemlich bekannt. Seitdem massieren Mathematiker die Aussage und Definitionen seit Jahren, um ihr Erklärungspotential zu maximieren, einschließlich der Energieerhaltung (über die triviale Gleichung .) So verfallen wir leicht dem „Fluch des Wissens“ und fragen uns, wie sich frühere Leser über etwas aufregen konnten, das uns trivial erscheint.
In Anbetracht all dessen denke ich, dass die meisten Menschen zustimmen werden, dass Noethers Theorem ein nichttriviales Ergebnis in dem Sinne ist, dass die zugrunde liegenden Ideen in einem nützlichen und nicht ganz offensichtlichen Theorem verknüpft sind, auch wenn sein Beweis mit modernen Konzepten sehr prägnant geschrieben werden kann. Ich glaube nicht, dass sich irgendjemand irgendwelche Illusionen über seine Schwierigkeit macht.
Es gibt zwei Hauptwege, um die klassische Mechanik zu formulieren: mit einem Lagrange-Operator oder mit einem Hamilton-Operator. In Ihrer Frage haben Sie im Wesentlichen eine Definition der klassischen Mechanik gegeben, die stark an die Hamiltonsche Mechanik erinnert (ohne die symplektische Form zu definieren, aber darauf gehen wir nicht ein).
Die Sache ist die, dass Zeittranslationssymmetrie in der Hamiltonschen Mechanik tatsächlich irgendwie trivial ist, Sie haben Recht. Genauer gesagt wird die Zeitumsetzung durch das Vektorfeld erzeugt auf Phasenraum, wo ist Ihre Energiefunktion, definiert durch
In der Hamiltonschen Mechanik ist die Zeittranslationssymmetrie also tatsächlich "in den Kuchen gebacken", und Sie haben in der Tat Recht.
In der Lagrange-Formulierung ist es jedoch nicht annähernd so einfach. Wenn Sie eine vollständig allgemeine Lagrange-Funktion haben, , das hängt explizit von der Zeit ab , dann bleibt die Energie nicht erhalten. Nur wenn der Lagrange zeitunabhängig ist, , bleibt Energie erhalten.
Tatsächlich war die Art und Weise, wie Emmy Noether ihren ursprünglichen Satz formulierte, im Lagangschen Rahmen.
Tatsächlich können Sie im Hamilton-Rahmen auch zeitabhängige Hamilton-Operatoren haben, . In diesen Fällen wird ebenfalls keine Energie gespart.
Mehr dazu finden Sie in meinem "Manifest: Was ist eigentlich eine Symmetrie?" in dieser Antwort hier:
Richard Meyer
Der_Sympathisant
Myridium
Benutzer253751