Gibt es einen "geometrischen" Grund für das Prinzip der stationären Wirkung?

Das Prinzip der stationären Aktion besagt, dass die Flugbahn Q ( T ) ein physisches System verfolgt im Konfigurationsraum dasjenige, für das die Aktion ausgeführt wird

S [ Q ] := T 0 T 1 L ( T , Q , Q ˙ ) D T

ist stationär, das heißt

δ S [ Q ] δ Q = 0.

Ich habe Ableitungen gesehen, die zeigen, dass die Euler-Lagrange-Gleichungen die Bewegungsgleichungen sind, die sich aus der Newtonschen Mechanik unter holonomen Einschränkungen ergeben, und dass das Prinzip der stationären Aktion auch zu den Euler-Lagrange-Gleichungen führt. Das lässt das Prinzip fast wie Zufall aussehen. Aber ich denke, es sollte einen geometrischen Grund geben, wahrscheinlich in der Einstellung des Konfigurationsraums, aus dem das Prinzip folgt. Etwas, das die physikalisch realisierte Trajektorie im Konfigurationsraum von allen anderen Trajektorien unterscheidet und das mit den erforderlichen mathematischen Werkzeugen unabhängig von den Newtonschen Gesetzen hätte gefunden werden können. Gibt es einen solchen Grund für das Prinzip der stationären Aktion?

Fragen Sie danach, warum Extrema an den stationären Punkten auftreten (das wäre eine Frage zur Variationsrechnung) oder warum physikalische Systeme Extrema der Lagrange-Funktion suchen (eine Frage zur Lagrange-Mechanik)?
@rschwieb: Letzteres. Die Mathematik, die ich verstehe, meistens. Ich suche nach einem physikalischen Argument, warum dies die Mathematik ist, die die Realität beschreibt.
Dies und das scheint relevant zu sein, beantwortet aber vielleicht nicht diese spezielle Frage.
@Qmechanic: Diese Fragen scheinen sich hauptsächlich auf Feldtheorien zu konzentrieren. Eine der Antworten erwähnt einen symplektischen Ansatz für die klassische Mechanik, von dem ich glaube, schon einmal gehört zu haben. Wäre das die richtige Richtung, um nach einer Antwort zu suchen?
@Vercassivelaunos Ich bin neu darin, aber ich dachte, der Lagrange-Ansatz sei im Wesentlichen "Riemann-Ansatz", während der Hamilton-Ansatz symplektisch ist. Das entnehme ich ihren jeweiligen Verbindungen zum Tangentenbündel und zum Kotangensbündel.
@rschwieb Ich glaube nicht, dass der Lagrange-Ansatz Riemannsch ist (das heißt, ich glaube nicht, dass es eine natürliche Wahl der Riemannschen Metrik für das Tangentenbündel gibt).
@Vercassivelaunos, es kann keine Antwort auf diese Frage geben, die nur von der Geometrie des Konfigurationsraums abhängt, da man verschiedene Lagrangians auf denselben Konfigurationsraum setzen kann (und unterschiedliche Pfade erhält). Bei einem gegebenen Lagragian könnte es möglich sein, eine Riemannsche Metrik für das Tangentenbündel zu wählen, die irgendwie die Dynamik codiert? Aber es kann nicht so einfach sein wie "Physische Pfade sind Geodäten", da es ein Problem mit den Anfangsbedingungen gibt und ich nicht sicher bin, welche andere Struktur ich mir ansehen soll.
@Daniel, dann entschuldige ich mich ... Ich glaube, ich habe einen falschen Eindruck bekommen.

Antworten (1)

Ich glaube nicht, dass die Einstellung des Konfigurationsraums von Bedeutung ist. In diesem Sinne werde ich sagen, dass es keinen geometrischen Grund gibt.

Der Schlüssel zu Hamiltons stationärer Aktion ist jedoch eine Eigenschaft, die sich sehr gut für eine visuelle/geometrische Demonstration eignet.

Ich werde demonstrieren, dass Hamiltons stationäre Aktion von der folgenden Integrationseigenschaft profitiert: Nehmen Sie eine Kurve und das Integral dieser Kurve: Wenn Sie die Steigung der Kurve verdoppeln, verdoppelt sich auch der Wert des Integrals. Allgemeiner gesagt ist die Änderungsrate des Werts eines Integrals gleich der Änderungsrate der Steigung der Kurve . (Diese Eigenschaft ist natürlich offensichtlich, ich erwähne sie ausdrücklich, weil es nicht offensichtlich ist, wie sie sich in Hamiltons stationärer Aktion auswirkt.)

Der Vermittler zwischen Newtons zweitem Gesetz und Hamiltons stationärer Wirkung ist das Arbeits-Energie-Theorem.

Einige Anmerkungen, um Missverständnisse zu vermeiden:

  • Wenn die Kraft eine konservative Kraft ist, sind Arbeitsfähigkeit und potentielle Energie gleich. Ab hier beziehe ich mich nur noch auf „kinetische Energie“ und „potentielle Energie“.

  • Die Bewegungstheorie wird in Form von Differentialgleichungen formuliert, wenn ich mich also auf den Arbeits-Energie-Satz beziehe, sollte er als der Arbeits-Energie-Satz in Differentialform verstanden werden.

D ( E k ) D T = D ( E P ) D T


Die Animation unten besteht aus 7 Einzelbildern, die jeweils drei Sekunden lang angezeigt werden. Die 7 Frames sind aufeinanderfolgende Screenshots eines interaktiven Diagramms.

Hamiltons stationäre Aktion

Der im Diagramm dargestellte Fall ist eine gleichmäßig nach unten gerichtete Kraft.

Ich habe folgende Bedingungen gewählt:
Gesamtdauer: 2 Sekunden (von t=-1 bis t=1)
Erdbeschleunigung: 2 M / S 2
Masse des Objekts: 1 Masseneinheit.

Mit H ( T ) für die Höhe als Funktion der Zeit:

H ( T ) = ( T + 1 ) ( T 1 ) = T 2 + 1

Die schwarze Linie repräsentiert die Flugbahn des Objekts.

Die Variation wurde wie folgt implementiert:

H ( T , P v ) = ( 1 + P v ) ( T 2 + 1 )

Das heißt, die Versuchsbahn wird als Funktion von zwei Variablen ausgedrückt: der Zeit und dem Variationsparameter P v

Im Diagramm ist der Wert im Schieberegler unten der Variationsparameter P v

Im oberen linken Quadranten des Diagramms repräsentiert die schwarze Linie die Versuchsbahn.

Im oberen rechten Quadranten:
Roter Graph: kinetische Energie
Grüner Graph: minus potenzielle Energie
Die horizontale Achse ist „Zeit“; die Graphen repräsentieren Funktionen der Zeit.

Für das rote Diagramm und das grüne Diagramm repräsentiert die Steigung des Diagramms die zeitliche Ableitung der Energie.

Wenn die Steigungen der roten und grünen Graphen die ganze Zeit über parallel sind , stimmt die Versuchsbahn mit der wahren Bahn überein.


Im unteren linken Quadranten:
Die Steigungen der jeweiligen Graphen ändern sich nicht gleich schnell. Für Werte des Variationsparameters bis Null ändert sich der grüne Graph schneller, und für Werte des Variationsparameters größer als Null ändert sich der rote Graph schneller.


Das Diagramm im unteren rechten Quadranten sticht hervor. In den anderen drei Quadranten repräsentiert die horizontale Achse die Zeit. Im unteren rechten Quadranten repräsentiert die horizontale Achse den Variationsparameter.

Lassen Sie mich Aktionskomponenten vorstellen S K Und S P .
S K für die kinetische Energiekomponente der Aktion und S P für die potentielle Energiekomponente der Aktion.

Im unteren rechten Quadranten:
rotes Diagramm: S K
grüner Graph: Minus S P

Im unteren rechten Quadranten: Wenn der Variationsparameter Null ist, haben die beiden Graphen die gleiche absolute Steigung mit entgegengesetztem Vorzeichen.

Daraus folgt: Wenn der Variationsparameter Null ist:

D S k D P v D S P D P v = 0

Der Schritt vom unteren linken zum unteren rechten Quadranten ist der, den ich eingangs angekündigt habe: Die Änderungsrate des Werts eines Integrals ist gleich der Änderungsrate der Steigung der Kurve .


Diese Demonstration ist für einen bestimmten Fall; gleichmäßige Beschleunigung, lässt sich die Argumentation auf alle Fälle verallgemeinern. Im Allgemeinen ist die Reaktion auf die Variation der Versuchsbahn für die kinetische und potentielle Energie unterschiedlich.

Die Reaktion der kinetischen Energie auf Variation ist quadratisch. Beispiel: Wenn die potentielle Energie umgekehrt proportional zur Verschiebung ist, dann reagiert die potentielle Energie auf Variationen.



Energiemechanik

Wie eingangs gesagt: Die Arbeit-Energie-Theorie in Form von Zeitableitungen lautet wie folgt:

D ( E k ) D T = D ( E P ) D T

Diese Form ist jedoch nicht praktikabel; Die potentielle Energie ist von Natur aus eine Funktion der Position, aber diese Form erfordert die zeitliche Ableitung der potentiellen Energie.

Wir müssen eine Ableitung nehmen, aber wir sind nicht darauf beschränkt, die zeitliche Ableitung zu nehmen. Die offensichtliche Wahl: Wandeln Sie die Gleichung um, um die Ableitung in Bezug auf die Position zu bilden.

D ( E k ) D S = D ( E P ) D S

der Begriff D ( E k ) D S ist leicht gestrafft:

D ( 1 2 M v 2 ) D S = 1 2 M ( 2 v D v D S ) = M D S D T D v D S = M D v D T = M A



Jacobs Lemma
und seine Relevanz für die Euler-Lagrance-Gleichung

Es gibt ein Lemma in der Variationsrechnung, das erstmals von Jacob Bernoulli angegeben wurde (In einer früheren Antwort habe ich vorgeschlagen, es "Jacobs Lemma" zu nennen.)

Als Johann Bernoulli den damaligen Mathematikern das Brachistochrone-Problem präsentiert hatte, gehörte Jacob Bernoulli zu den wenigen, die es lösten. Die Behandlung durch Jacob Bernoulli findet sich in den Acta Eruditorum , Mai 1697, S. 211-217

Jacob eröffnet seine Abhandlung mit einer Bemerkung darüber, dass die gesuchte Kurve ein Minimum ist.

Brachistochrone von Jacob Bernoulli

Lemma. Sei ACEDB die gesuchte Kurve, entlang der ein schwerer Punkt in kürzester Zeit von A nach B fällt, und seien C und D zwei beliebig nah beieinander liegende Punkte darauf. Dann ist das Bogensegment CED unter allen Bogensegmenten mit C und D als Endpunkten das Segment, das ein von A fallender schwerer Punkt in kürzester Zeit durchläuft. Tatsächlich würde sich der Punkt in kürzerer Zeit entlang AGFDB als entlang ACEDB bewegen, wenn ein anderes Segment des Bogen-CFD in kürzerer Zeit durchlaufen würde, was unserer Annahme widerspricht.



Ich gehe davon aus, dass Jacobs Lemma auf die gesamte Variationsrechnung verallgemeinert werden kann.

Wenn die Kurve als Ganzes ein Extremum ist, dann ist auch jeder Teilabschnitt ein Extremum, bis hin zu unendlich kurzen Teilabschnitten. Daher kann die Bedingung für eine Kurve, die ein Extremum ist , auch als Differentialgleichung ausgedrückt werden.

Die Euler-Lagrange-Gleichung nutzt diese Eigenschaft. Die Euler-Lagrange-Gleichung nimmt ein Problem, das in Begriffen der Variationsrechnung angegeben ist, und formuliert es in Begriffen der Differentialrechnung neu.



Hamiltons stationäre Aktion

Hamiltons stationäre Aktion nimmt ein Problem in der Mechanik auf und verwendet das Arbeits-Energie-Theorem, um es in Bezug auf die Variationsrechnung neu zu formulieren. Dann wird die Euler-Lagrange-Gleichung verwendet, um die Form des Problems auf die Differentialrechnung zurückzubringen.