Gibt es einen Beweis aus dem ersten Prinzip, dass für die Lagrangian ,
in der klassischen Mechanik? Angenommen, es werden kartesische Koordinaten verwendet. Unter den Kombinationen , nur funktioniert. Gibt es einen grundsätzlichen Grund dafür?
Andererseits ist das beim Ableiten der Bewegungsgleichungen verwendete Variationsprinzip, die Euler-Lagrange-Gleichung, allgemein genug (kann verwendet werden, um das Optimum eines beliebigen parametrisierten Integrals zu finden) und spezifiziert nicht die Form der Lagrange-Funktion. Ich schätze jeden, der die Antwort gibt, und wenn möglich die Primärquelle (die die Antwort zuerst in der Literatur veröffentlicht hat).
Anmerkungen hinzugefügt am 22. September:
- Beide Antworten sind richtig, soweit ich das finden kann. Beide Antwortenden waren sich nicht sicher, was ich mit dem von mir verwendeten Begriff meinte: „erstes Prinzip“. Ich erläutere gern, was ich dachte, nicht herablassend oder so ähnlich gemeint. Bitte haben Sie ein wenig Verständnis, wenn die von mir verwendeten Worte nicht gut durchdacht sind.
- Wir machen Wissenschaft, indem wir Fakten sammeln, empirische Gesetze bilden, eine Theorie aufbauen, die die Gesetze verallgemeinert, dann gehen wir zurück ins Labor und finden heraus, ob der Teil der Verallgemeinerung der Überprüfung standhalten kann. Die Newtonschen Gesetze stehen kurz vor dem Ende der empirischen Gesetze, was bedeutet, dass sie im Labor leicht verifiziert werden können. Diese Gesetze sind nicht auf die Schwerkraft beschränkt, sondern werden meistens unter der Bedingung der Schwerkraft verwendet. Wenn wir sie verallgemeinern und in Lagrange oder Hamilton ausdrücken, können sie dort verwendet werden, wo Newtons Gesetze dies nicht können, zum Beispiel auf Elektromagnetismus oder andere uns unbekannte Kräfte. Lagrangian oder Hamiltonian und die abgeleiteten Bewegungsgleichungen sind Verallgemeinerungen und eher auf der theoretischen Seite, relativ gesehen; zumindest sind diese etwas theoretischer als die Newtonschen Gesetze. Wir gehen immer noch ins Labor, um diese Verallgemeinerungen zu überprüfen, aber es ist
- Aber hier ist ein neues Problem, wie @Jerry Schirmer in seinem Kommentar betonte und dem ich zustimmte. Lagrange ist ein großartiges Werkzeug, wenn wir seinen Ausdruck kennen. Wenn nicht, dann sind wir aufgeschmissen. Lagrange ist fast so nutzlos wie die Newtonschen Gesetze für eine neue mysteriöse Kraft. Es ist fast genauso nutzlos, aber nicht ganz, weil wir versuchen können, Fehler zu machen. Wir haben viel mehr Glück beim Try-and-Error auf der Lagrange-Funktion als auf Bewegungsgleichungen.
- Oh, das Variationsprinzip ist meiner Meinung nach ein "erstes Prinzip" und wird verwendet, um die Euler-Lagrange-Gleichung abzuleiten. Aber das Variationsprinzip gibt keinen Hinweis auf den expliziten Ausdruck von Lagrange. Das ist der Punkt, an dem ich fahre. Deshalb suche ich Hilfe, sagen wir, in Physics SE. Wenn jemand den Grund wüsste, warum n = 1 in L = T-nV ist, könnten wir diese Argumentation verwenden, um etwas über eine mysteriöse Kraft herauszufinden. Es sieht so aus, als ob jemand in der Zukunft ist.
Wir gehen davon aus, dass OP mit dem Begriff erstes Prinzip in diesem Zusammenhang die Newtonschen Gesetze und nicht das Prinzip der stationären Wirkung meint . Es ist tatsächlich möglich, Lagrange-Gleichungen aus den Newtonschen Gesetzen abzuleiten, vgl. diese Phys.SE-Antwort.
Skizzierter Beweis: Betrachten wir einen nicht-relativistischen Newtonsches Problem von Punktpartikel mit Positionen , mit verallgemeinerten Koordinaten , und holonome Beschränkungen .
Nehmen wir der Einfachheit halber an, dass die angelegte Kraft des Systems ein verallgemeinertes (möglicherweise geschwindigkeitsabhängiges) Potential hat . (Dies schließt zB geschwindigkeitsabhängige Reibungskräfte aus .)
Es ist dann möglich, die folgende Schlüsselidentität abzuleiten
Hier bezeichnet eine infinitesimale virtuelle Verschiebung , die mit den Beschränkungen übereinstimmt. Darüber hinaus, ist die aufgebrachte Kraft (dh die Gesamtkraft abzüglich der Zwangskräfte) auf die 'tes Teilchen. Der Lagrange ist hier als Differenz definiert zwischen kinetischer und potentieller Energie. Beachten Sie, dass die rechte. von Gl. (1) enthält genau den Euler-Lagrange-Operator .
Das Prinzip von D'Alembert besagt, dass die lhs. von Gl. (1) ist Null. Dann folgt die Lagrange-Gleichung aus der Tatsache, dass die virtuelle Verschiebung in den verallgemeinerten Koordinaten ist uneingeschränkt und willkürlich.
Das Prinzip von D'Alembert wiederum folgt aus den Newtonschen Gesetzen unter Verwendung einiger Annahmen über die Form der Zwangskräfte. (zB gehen wir davon aus, dass es keine Gleitreibung gibt.) Siehe Lit. 1 und diesen Phys.SE-Beitrag für weitere Details.
Verweise:
--
Man sollte sich immer vor Augen führen, dass auf klassischer Ebene (d.h ), der Lagrange ist alles andere als einzigartig, in dem Sinne, dass viele verschiedene Lagrange-Funktionalitäten dieselben Gleichungen ergeben können. der Bewegung. Es ist zB immer möglich, eine Gesamtzeitableitung zur Lagrange-Funktion zu addieren oder die Lagrange-Funktion mit einer Konstanten zu skalieren. Siehe auch diesen Phys.SE-Beitrag.
Es ist möglich, zu einer speziellen relativistischen Version der Newtonschen Mechanik zu erweitern, indem (unter anderem) die nicht-relativistische Formel ersetzt wird mit eher als die kinetische Energie . Siehe auch diesen Phys.SE-Beitrag.
OP denkt darüber nach, warum der Lagrange ist nicht formschön für einige konstant ? Tatsächlich kann die Schlüsselidentität (1) wie folgt verallgemeinert werden
Also die Tatsache, dass die Lagrangian ist nicht formschön zum steht in direktem Zusammenhang damit, dass Newtons 2. Gesetz nicht von der Form ist zum .
Lassen Sie mich annehmen, dass "erste Prinzipien" die Newtonschen Gesetze bedeuten, aber in der etwas umfassenderen Formulierung der Hamiltonschen Gleichungen, die sagen, dass eine Hamiltonsche Funktion gegeben ist , dann wird der kanonische Impuls (ich zeige einen einzelnen Impuls, nur zur Vereinfachung der Notation) mit den Geschwindigkeiten von in Beziehung gesetzt
und dass die dynamische Bewegungsgleichung (Verallgemeinerung ) ist
Also in einer unendlich kleinen Zeitspanne die Koordinaten und Impulse entwickeln sich als
und
Gleichzeitig hängt die Änderung der kanonischen Koordinaten/kanonischen Impulse mit der Lagrange-Funktion zusammen by ("Generieren von Funktionen für kanonische Transformationen ")
Nun berechnen wir:
Daher ist im Allgemeinen die Lagrange-Funktion
Wenn jetzt hat die Standardform (Einstellung der Einfachheit halber)
dann
Übrigens, jeder, der eine allgemeinere abstrakte Perspektive auf das hat, was hier vor sich geht, könnte sich freuen, diese Geschichte in die Sprache der "vorquantisierten Lagrange-Korrespondenzen" übersetzt zu erfahren, mehr dazu finden Sie im nLab hier .
Die Lagrange-Mechanik kann direkt aus Newtons zweitem Gesetz abgeleitet werden, indem nur algebraische Manipulation und ein kleiner Kalkül verwendet werden. Dies umfasst sowohl die allgemeine Form der Euler-Lagrange-Gleichung als auch die spezifische Form Langangian . Es sind keine Stationaritätsannahmen, keine Verwendung des Variationskalküls oder auch nur ein Bezug auf das Aktionskonzept erforderlich.
Dies wird in Brian Lee Beers: Geometric Nature of Lagrange's Equations gezeigt . Eine ähnliche Ableitung findet sich auch in James Casey: Geometrical derivation of Lagrange's equals for a system of Particles . Casey schrieb auch eine Reihe von Folgearbeiten, in denen die Idee auf starre Körper, Fluiddynamik, ...
Beers beginnt mit dem zweiten Newtonschen Gesetz und projiziert es auf die Koordinatenbasisvektoren. Für ein einzelnes Teilchen ist dies
Die obige Herleitung gilt für allgemeine Systeme, wie Mehrteilchensysteme, starre Körper usw. Die Hauptänderung besteht darin, dass der Massenskalar durch den Trägheitstensor des Systems ersetzt werden muss. Dies wird in den oben erwähnten Artikeln von Casey sowie in Synge: On the geometry of dynamics und Crouch: Geometric structure in systems theory behandelt .
Ich habe einen Wikilink gefunden, Lagrange_multiplier , der meine Frage beantwortet:
"Somit ist die Kraft auf ein Teilchen aufgrund eines skalaren Potentials, , kann als Lagrange-Multiplikator interpretiert werden, der die Änderung der Aktion (Übertragung von potentieller zu kinetischer Energie) nach einer Variation der eingeschränkten Flugbahn des Teilchens bestimmt.
Mit anderen Worten, die potentielle Energie wird zu einer Reihe von Einschränkungen für die Lagrange-Funktion wo ist der zu bestimmende Lagrange-Multiplikator. Die Variation
und der andere Gleichungen sind Einschränkungen. Es stellt sich heraus .
Die Lagrange-Multiplikator-Methode ist sinnvoll, weil
ist pfadunabhängig, daher ist seine Variation entlang verschiedener Pfade immer Null:
Das in kann als Reskalierungsfaktor des Potenzials angesehen werden. ändert nichts an der Physik. Zum Beispiel für die Schwerkraft, kann in der Gravitationskonstante absorbiert werden. Siehe auch dies .
Beweis 1: Ich habe einen eigenen, der weniger intensiv ist:
Als Fußnote zu diesem Beweis: Da das, was wir als Gesamtenergie des Systems gefunden haben, erhalten bleibt, hat die Gleichung in Zeile 3 eine neue Bedeutung: An jedem Punkt entlang der realen Bahn, auch bekannt als die Lösung der Euler-Lagrange-Gleichung, die Teilchen wird sich in die Richtung bewegen, die seine Gesamtenergie konstant hält. Mit anderen Worten, der Lagrange-Pfad ist der Pfad, der die Änderung der Gesamtenergie von Punkt zu Punkt minimiert (die NULL sein sollte).
Beweis 2: (Funktionskalkül) Es gibt einen weiteren Beweis im Lehrbuch (Quantum Field Theory For The Gifted Amateur): Im Wesentlichen, wenn T und U beide Funktionale sind und ihre funktionalen Ableitungen genommen werden:
Die funktionale Ableitung von dT/d(x(t)) = -ma und die funktionale Ableitung von U = dU/d(x(t))
Im Vergleich mit der Newton-Gleichung: (-dU/dx = ma) oder auch (dU/dx = -ma) finden wir, dass die Newton-Gleichung besagt, dass die funktionale Ableitung von T gleich der funktionalen Ableitung von U ist.
d/d(x(t))(T)=d/d(x(t))(U) (wobei es sich um funktionale Ableitungen bezüglich einer Funktionsänderung handelt)
Was wenn faktorisiert wird zu: d/d(x(t))(TU)=0 Was das Prinzip der kleinsten Wirkung ist: Das stationäre Integral der Funktion (TU).
Es gibt eine großartige Möglichkeit zu zeigen, dass die Lagrange-Funktion (das, was Sie minimieren möchten) tatsächlich gleich ist . Der „Beweis“ stammt aus dem Buch „Quantenfeldtheorie für Amateure“. Um mit dem Beweis zu beginnen, sollten wir uns zunächst überlegen, was die durchschnittliche kinetische und potentielle Energie als Funktion ist
Jerry Schirmer
QMechaniker
Cheeku
Jerry Schirmer