Satz von Noether und zeitabhängige Lagrangianer

Der Satz von Noether besagt, dass die folgende Transformation eine Symmetrie der Lagrange-Funktion ist

T T + ϵ T

Q Q + ϵ Q .

Dann bleibt folgende Größe erhalten

( L Q ˙ Q ˙ L ) T L Q ˙ Q .

Angenommen, unser Lagrange-Operator ist gegeben durch

L = 1 2 M Q ˙ 2 ln T .

Dann ist die Lagrange-Invariante nicht unter der Transformation gegeben durch

T = T

Q = 0   ?

Das Durchführen dieser Transformation trägt nur eine additive Konstante zum Lagrange-Operator bei, was die Dynamik nicht beeinflusst, und daher sollten wir schlussfolgern, dass eine solche Transformation tatsächlich eine Symmetrie des Lagrange-Operators ist. Allerdings die Menge

( L Q ˙ Q ˙ L ) T = ( 1 2 M Q ˙ 2 + ln T ) T

ist eindeutig nicht konserviert. Die EL-Gleichungen implizieren, dass die kinetische Energie konstant ist, und daher ist diese Funktion eindeutig eine zunehmende Funktion der Zeit.

Wo ist mein Fehler?

Wenn L eine explizite Zeitabhängigkeit hat , dann ist die Energie nicht erhalten.
Nein, ich versuche nicht zu argumentieren, dass Energie gespart wird. Es ist klar, dass diese Lagrangefunktion NICHT invariant ist, wenn t gegen t + epsilon geht. Es ist jedoch (glaube ich) unveränderlich unter einer „Zeitdilatation“ oder einer „Neuskalierung“ der Zeit. Daher sollte nach meinem Argument (das irgendwo fehlerhaft ist) nicht Energie, sondern eine Menge (Energie * Zeit) erhalten bleiben.

Antworten (3)

Der Lagrangian (und die Handlung als Ganzes)

L = 1 2 M Q ˙ 2 ln T

ist nicht invariant unter der durch gegebenen Transformation

T = T , Q = 0.

Die Neuskalierung von T nach Faktor 1 + ϵ modifiziert auch die Zeitableitungen: δ Q ˙ = ϵ Q ˙ (und das Maß der Integration D T ), sodass die vorgeschlagene Menge nicht erhalten bleibt.

Wo ist mein Fehler?

Der Fehler liegt also in der Wahl der falschen Lagrange/Transformation.

Der Satz von Noether funktioniert gut für explizit zeitabhängige Lagrangianer. Hier ist ein weiteres Beispiel für Lagrange mit expliziter Zeitabhängigkeit:

L = M Q ˙ 2 2 e a T .
Eine solche Lagrange-Funktion könnte beispielsweise entstehen, wenn wir versuchen, die Bewegungsgleichungen für dissipative Systeme zu erhalten.

Die Euler-Lagrange-Gleichung für dieses System lautet nach Weglassen des gemeinsamen Faktors wie folgt

Q ¨ = a Q ˙ .

Dieser Lagrangian ist unter der infinitesimalen Transformation unveränderlich:

T T ' = T + ϵ , Q Q ' = Q ϵ a Q 2 .

Diese ersetzen T Und Q im Satz von Noether erhalten wir die Menge

A = M 2 e a T ( Q ˙ 2 + a Q ˙ Q ) .

Seine zeitliche Ableitung ist

A ˙ = M 2 e a T ( a Q ˙ 2 + a 2 Q ˙ Q + 2 Q ¨ Q ˙ + a Q ¨ Q + a Q ˙ 2 ) ,
Wenn wir die EL-Gleichung verwenden, um zu eliminieren Q ¨ wir erhalten A ˙ = 0 , so dass die Menge so erhalten bleibt, wie sie sein sollte.

Ich habe das Gefühl, dass ich nahe dran bin zu verstehen, aber etwas sehr Grundlegendes vermisse. Wenn Sie eine Transformation zu t + eps machen, sagen Sie damit, dass dies die erzwingt Q Und Q ˙ zu transformieren, da sie implizit von t abhängen?
Nein, die Verwandlung T T + ϵ ist nur eine Verschiebung von T durch eine Konstante, es ändert sich nicht Q ˙ . Sondern Verwandlung T T + ϵ T (in Ihrer Frage) ist eine Neuskalierung der Zeit, daher werden die Zeitableitungen mit einem Faktor multipliziert ( 1 + ϵ ) 1 .
In meinem Beispiel ist die Verschiebung von T gibt dem Lagrange einen konstanten Multiplikator e a ϵ . Um dies zu kompensieren, skalieren wir die Koordinate um einen konstanten Faktor (dieser skaliert natürlich auch Q ˙ um denselben Faktor).
Ah ja, jetzt fange ich an zu sehen, danke. Lassen Sie mich noch etwas darüber nachdenken, ich nehme an, dass ich in Kürze eine andere Frage haben werde.
Wenn die Lagrange-Funktion einfach L = 1/2 m (dq/dt)^2 ist --- nur kinetische Energie --- ist die Lagrange-Funktion dann unter Q = q und T = t invariant? Dh eine Neuskalierung sowohl der Positions- als auch der Zeitkoordinaten um einen Faktor (1+eps)? Das hätte ich mir gedacht, da dq'/dt' = dq/dt, weil sich der (1+eps)-Faktor oben und unten aufhebt. Wenn dies jedoch so ist, dann finde ich eine Erhaltungsgröße (1/2 mv ^ 2 t - mv q) --- unter Verwendung der Formel, die ich in meinem ursprünglichen Beitrag zitiert habe. Aber das ist eindeutig nicht konserviert!
Die Invarianz muss für die gesamte Aktion gelten , nicht Lagrange, Sie müssen auch das geänderte Integrationsmaß aufgrund der neu skalierten Zeit berücksichtigen. Die korrekte Transformation für diesen Fall wäre also T T + ϵ T , Q Q + ϵ Q 2 . Die Menge für diesen Fall: M Q ˙ 2 ( Q ˙ T Q ) wird konserviert.

Mal sehen, wie wir mit dem Satz von Noether im Beispiel "Energieerhaltung" spielen können.

Zunächst wenden wir eine zeitunabhängige Variation auf die Lagrange-Funktion an,

T T + ϵ
Für einen allgemeinen Lagrange wird sich das ändern
L ( X ( T ) , X ˙ ( T ) , T ) L ' ( X ( T ) , X ˙ ( T ) , T ) = L ( X ( T ) , X ˙ ( T ) , T ϵ )
Was wir in diesem Fall benötigen, ist, dass die Lagrange-Funktion als Skalar unveränderlich (nicht nur kovariant) ist.
L = L ' L T = 0
Das ist eine Eigenschaft, die allein auf jedem Weg wahr ist.

Dann verwenden wir eine induzierte zeitabhängige Variation ,

T T + ϵ ( T ) X ( T ) X ( T ) + ϵ ( T ) X ( T ) ˙
Die Änderung der Aktion ist in diesem Fall
δ S = 0 T L X X ( T ) ˙ ϵ ( T ) + L X ˙ D D T ( ϵ ( T ) X ˙ ( T ) ) = 0 T D T ϵ ( T ) ( L X X ˙ + L X ˙ X ¨ ) + L X ˙ X ˙ ϵ ˙
Jetzt hinzufügen L T = 0 zu den ersten beiden Termen in Klammern, um daraus eine totale Ableitung zu machen, da dies für alle Pfade im Konfigurationsraum gilt. Für den zweiten Term integrieren wir nach Teilen, um zu erhalten (Variation hat Null-Randbedingungen),
δ S = 0 T D T ϵ ( T ) D D T ( L L X ˙ X ˙ )
Allein der klassische Weg, jede Variation wird die Aktion extremisieren; insbesondere unsere spezielle Variante ϵ ( T ) durch die Symmetrie Aktion wird induziert. Wir erhalten die Energieerhaltungsgleichung
D D T ( L L X ˙ X ˙ ) = 0 auf klassischem Weg

Mit anderen Worten, Sie müssen wählen T Und Q konstant sein (zeitunabhängig), um die Symmetrien der Lagrange auszugraben. Dann können Sie die zeitabhängige Variation anwenden, um eine spezielle "Bewegungsgleichung" auf dem klassischen Weg zu erhalten: Erhaltungssatz .

Ich muss die von mir abgeleitete Symmetriegleichung ausarbeiten.

Unter einer zeitunabhängigen Variation sagen wir, dass sich Lagrange tatsächlich ändert

L ' = L ( X ( T ϵ ) , X ˙ ( T ϵ ) , T ϵ )
Dies liegt an einer Identität,
L ( X ( T ) , X ˙ ( T ) , T ) = L ' ( T ' ) T ' = T + ϵ
Das bedeutet, dass der Wert der Lagrange-Funktion eines Punktes im Konfigurationsraum unabhängig von der ihn beschreibenden Zeitkoordinate ist. Es ist, als könnten Sie verschiedene Zeitzonen verwenden, um ein Ereignis zu beschreiben. Sie unterscheiden sich nur durch eine Konstante.

Dies gilt jedoch nicht, wenn wir eine zeitabhängige Variation anwenden,

D D T ( X ( T ϵ ) ) = D D T ( X ( T ) ϵ X ˙ ( T ) ) = X ˙ ( T ) ϵ ˙ X ( T ) ˙ ϵ X ¨ ( T ) X ˙ ( T ) ϵ X ¨ ( T ) = X ˙ ( τ ) | τ = T ϵ
Die zeitabhängige Variation zwingt die Geschwindigkeit dazu, sich auf eine andere Weise zu ändern, als es uns gefällt. Es ist, als würde die Zeit nicht gleichmäßig fließen, sodass sich der Geschwindigkeitsvektor selbst dann ändert, wenn Sie ihn vor der Verschiebung zum ursprünglichen Punkt verschieben, da die Geschwindigkeit davon abhängt, wie die Zeit fließt.

In technischer Hinsicht können Sie zu keiner Variation führen

L T = 0
was dem Naturschutzgesetz entspricht.

Ich verstehe nicht ganz, warum dies bedeutet, dass Sie T und Q so wählen müssen, dass sie konstant sind. Und was ist mit der Wahl Q = nxr, was einer infinitesimalen Drehung entspricht – Q ist in diesem Fall eine implizite Funktion der Zeit. Vielleicht meinen Sie, dass T und Q nicht explizit von der Zeit abhängen dürfen? In jedem Fall bin ich mir immer noch nicht ganz sicher, wo Sie in Ihrem Argument schließen, dass T und Q konstant sein müssen. Danke schön.
Was ich meine ist, dass T und Q nicht von der Zeit abhängen. Wenn wir die Symmetriegleichung herleiten, hängt r nicht von der Zeit ab, weil wir nicht über eine Eigenschaft von Trajektorien sprechen; Wir kümmern uns um die Lagrange-Funktion an jedem Punkt des Phasenraums, der entlang des klassischen Pfads liegen kann oder nicht.
Okay, ich verstehe deinen Punkt. Wo genau schließen wir also, dass T keine Funktion der Zeit sein muss?
Die Geschwindigkeit ändert sich, wenn es sich um eine zeitabhängige Variation handelt.
Entschuldigung, welche Geschwindigkeit ändert sich?
@anecdote Ich verstehe nicht gut, wo Sie Eulero-Lagrange-Gleichungen in Ihrer Ableitung der Erhaltung der Hamilton-Funktion ausgenutzt haben. Sie gilt für Pfade, die die Bewegung des Systems beschreiben. Stattdessen scheint es gemäß Ihrem Beweis für jeden Pfad zu gelten.
@ gj255, ich verwende implizit die Euler-Lagrange-Gleichung: Für den klassischen Pfad wird jede Variation \delta S verschwinden lassen, ebenso wie unsere besondere Variation, die durch eine Koordinatentransformation induziert wird. Bei der Schritteinstellung \delta S = 0 verwende ich die Euler-Lagrange-Gleichung.
  1. Der Satz von Noether funktioniert auch für den zeitabhängigen Lagrange von OP

    (A) L   =   T v , T   =   1 2 M Q ˙ 2 , v ( T )   =   ln T .

  2. Das zeitabhängige Potential v ( T ) = ln T können als sich ändernde Konventionen für das Nullniveau der potentiellen Energie angesehen werden. Trotzdem die kinetische Energie T ist eine Bewegungskonstante.

  3. Um die Erhaltung der kinetischen Energie zu beweisen, macht OP in dieser Phys.SE-Frage im Wesentlichen den gleichen Fehler wie OP: Vielleicht entgegen der Intuition ist die relevante infinitesimale Transformation keine reine Zeitübersetzung. Die entscheidende infinitesimale Transformation ist stattdessen

    (B) δ Q   =   ε Q ˙ .
    Die Zeitübersetzung kann ein- oder ausgeschlossen werden, wie in meiner Phys.SE-Antwort hier erläutert . Lassen Sie uns der Einfachheit halber die Zeittranslation ausschließen
    (C) δ T   =   0.
    Dann die Verwandlung δ kann den potentiellen Begriff nicht mehr "fühlen". v . Damit befinden wir uns wieder in einer Standardanwendung des Satzes von Noether.

  4. Die infinitesimale Transformation der Lagrange-Funktion

    (D) δ L   = ( A ) + ( B ) + ( C )     =   ε D T D T
    ist eine totale Ableitung, dh die Transformation (B) & (C) ist eine Quasisymmetrie der Lagrange-Funktion (A).

  5. Die bloße Noether-Ladung ist Impuls mal Generator. Das ist: P Q ˙ . Die volle Noetherladung

    (E) P Q ˙ T   =   T
    ist wenig überraschend die kinetische Energie.