„Lagrange-Formalismus“ – Versionsunterschied
[gesichtete Version] | [gesichtete Version] |
→Literatur: frei verfügbare quelle hinzugefügt |
|||
Zeile 290: | Zeile 290: | ||
== Literatur == |
== Literatur == |
||
;Lehrbücher der klassischen Mechanik wie: |
;Lehrbücher der klassischen Mechanik wie: |
||
*{{Literatur|Autor=Josef Honerkamp, [[Hartmann Römer]]|Titel=Klassische Theoretische Physik|Verlag=Springer|ISBN=3540559019|Auflage=3.|Jahr=1993}} (Volltext [http://www.freidok.uni-freiburg.de/volltexte/82/ hier] erhältlich) |
|||
* {{Literatur|Autor=[[Herbert Goldstein]], Charles P. Poole, John L. Safko|Titel=Klassische Mechanik|Verlag=Wiley-VCH|ISBN=3527405895|Auflage=3.|Jahr=2006}} |
* {{Literatur|Autor=[[Herbert Goldstein]], Charles P. Poole, John L. Safko|Titel=Klassische Mechanik|Verlag=Wiley-VCH|ISBN=3527405895|Auflage=3.|Jahr=2006}} |
||
*{{Literatur|Autor=[[Cornelius Lanczos]]|Titel=The Variational Principles of Mechanics|Verlag=Dover Pubn Inc|ISBN=0486650677|Auflage=4.|Jahr=1986}} |
*{{Literatur|Autor=[[Cornelius Lanczos]]|Titel=The Variational Principles of Mechanics|Verlag=Dover Pubn Inc|ISBN=0486650677|Auflage=4.|Jahr=1986}} |
Version vom 10. Januar 2011, 15:04 Uhr
Der Lagrange-Formalismus ist eine 1788 von Joseph Louis Lagrange eingeführte Formulierung der klassischen Mechanik, in der die Dynamik eines Systems durch eine einzige skalare Funktion, die Lagrangefunktion, beschrieben wird. Dadurch wird automatisch eine Invarianz gegen Koordinatentransformationen in den Formalismus „eingebaut“. Die Bewegungsgleichungen folgen als sogenannte Lagrangegleichungen aus dem Hamiltonschen Prinzip der stationären Wirkung.
Diese Betrachtungsweise vereinfacht viele physikalische Probleme, denn im Gegensatz zur Newton’schen Formulierung der Bewegungsgesetze lassen sich im Lagrange-Formalismus Zwangsbedingungen relativ einfach durch das explizite Ausrechnen der Zwangskräfte oder die Wahl geeigneter Koordinaten (generalisierte Koordinaten) berücksichtigen.
Lagrangesche Methode erster Art
Wir betrachten Punktteilchen im mit den Ortsvektoren , , deren Koordinaten durch voneinander unabhängige (holonome) Zwangsbedingungen der Form mit eingeschränkt sind (wobei eine explizite Zeitabhängigkeit zugelassen wurde). Dadurch werden die Lagen der Teilchen auf eine -dimensionale Mannigfaltigkeit eingeschränkt (f ist die Anzahl der Freiheitsgrade).
Die Zwangskräfte stehen senkrecht auf dieser Mannigfaltigkeit und können daher durch eine Linearkombination der Gradienten dargestellt werden:
Wenn man annimmt, dass sich die äußeren Kräfte aus einem Potential ableiten lassen, kann man die Bewegungsgleichung folgendermaßen schreiben:
Die sind die Massen der Punktteilchen, ist die potentielle Energie. Dies, zusammen mit den Zwangsbedingungen , sind 3N+s unabhängige Gleichungen für die 3N Koordinaten der sowie für die s Lagrangemultiplikatoren . Somit ist die Lösung des Gleichungssystems eindeutig.
Die Lagrangegleichungen erster Art sind äquivalent zu den Gleichungen, die sich aus dem D’Alembertschen Prinzip ergeben.
Bemerkung: Hier wurden nur holonome Zwangsbedingungen behandelt. Der Formalismus lässt sich aber auch auf Zwangsbedingungen der Form anwenden, die z. B. bei nicht-holonomen Zwangsbedingungen zwischen den Geschwindigkeiten der Teilchen folgen [1]. Diese Zwangsbedingungsgleichungen lassen sich im Gegensatz zu holonomen Zwangsbedingungen nicht als vollständiges Differential einer Funktion darstellen, das heißt zwischen den Koeffizientenfunktionen gilt nicht .
Ähnlich wie oben können die Zwangsbedingungen in den Bewegungsgleichungen über Lagrangemultiplikatoren berücksichtigt werden (siehe unten).
Beispiel – Fallmaschine nach Atwood
Bei der Fallmaschine nach Atwood betrachtet man zwei Punktmassen im Gravitationsfeld der Erde, die über eine Rolle in der Höhe h aufgehängt und durch ein Seil der Länge l verbunden seien. Die Zwangsbedingung lautet in diesem Fall:
Wird das Seil berücksichtigt, das auf der Rolle (Rollenradius r) liegt, dann ergibt sich:
Die potentielle Energie V berechnet sich zu:
Für die Gradienten erhält man
Dies führt auf das System der Lagrange-Gleichungen 1. Art:
Dies kann man auflösen und erhält z. B. für bekannte Anfangsbedingungen:
Lagrangesche Methode zweiter Art
Herleitung der Lagrange-Gleichungen
Die Lagrange-Funktion der klassischen Mechanik für konservative Systeme mit holonomen Zwangsbedingungen ist (im nicht-relativistischen Fall), wobei die kinetische Energie und die potentielle Energie mit unterschiedlichem Vorzeichen eingehen.
Die (Euler-)Lagrange-Gleichungen erhält man durch Variation des mit der Lagrangefunktion gebildeten Wirkungsintegrals im Hamiltonschen Prinzip. Dazu variiert man die generalisierten Koordinaten mit
Das Hamiltonsche Prinzip wird dann zu
Eine Näherung in erster Ordnung lautet für eine gewöhnliche Funktion f(x,y)
also
- .
In erster Ordnung ergibt sich die Variation des Integrals also zu
Nun führt man eine partielle Integration in dem Term aus, der die Ableitung nach der Zeit enthält:
- .
Hierbei wird benutzt, dass
ist, da Anfangs- und Endpunkt festgehalten werden. Daher gilt für die Randterme
Damit resultiert schließlich
Da nun als Faktor des gesamten Integrals auftritt und beliebig ist, kann das Integral nur dann nach dem Variationsprinzip verschwinden, wenn der Integrand selbst verschwindet. Es folgen die Euler-Lagrange-Gleichungen (Ursprünglich Euler-Gleichungen aus der Variationsrechnung, hier angewandt auf die Lagrangefunktion), häufig nur kurz als Lagrange-Gleichungen bezeichnet:
Für jede generalisierte Koordinate (und die zugehörige generalisierte Geschwindigkeit ) gibt es eine solche Gleichung. Die Lagrange-Gleichungen bilden ein System gewöhnlicher Differentialgleichungen zweiter Ordnung. Wie viele Differentialgleichungen das im Endeffekt sind, weiß man erst, wenn die Zahl der Freiheitsgrade des "Systems" berechnet wurden.
Beispiel zu den Euler-Lagrange-Gleichungen
Für einen eindimensionalen harmonischen Oszillator gilt
Mit als generalisierter Koordinate folgt die Bewegungsgleichung direkt aus der Euler-Lagrange-Gleichung (Lagrangegleichung zweiter Art). Die Lagrangefunktion ist
und damit
Die allgemeine Lösung dieser Gleichung ist
- ,
wobei die Kreisfrequenz ist und A,B reelle Konstanten sind.
Zyklische Variable, generalisierter Impuls
Wenn die Lagrangefunktion nicht von einer Koordinate abhängt, sondern nur von der zugehörigen Geschwindigkeit dann nennt man zyklisch oder zyklische Koordinate oder zyklische Variable. Der zur zyklischen Variablen konjugierte Impuls
ist eine Erhaltungsgröße: ihr Wert ändert sich nicht während der Bewegung wie gleich gezeigt wird.
Begründung: Wenn die Lagrangefunktion nicht von abhängt, gilt
Dann folgt aber aus der Euler-Lagrangegleichung (Lagrangegleichung zweiter Art)
dass die Zeitableitung des zugehörigen konjugierten Impulses verschwindet und er somit zeitlich konstant ist.
Allgemeiner gehört nach dem Noether-Theorem zu jeder kontinuierlichen Symmetrie der Wirkung eine Erhaltungsgröße. Bei einer zyklischen Variablen ist die Wirkung invariant unter der Verschiebung von um eine beliebige Konstante,
Erweiterung auf nicht-konservative Systeme
Für nicht-konservative Systeme (Systeme, bei denen nicht alle Kräfte Potentialkräfte sind) lassen sich die Lagrangeschen Bewegungsgleichungen wie folgt formulieren:
bzw.
- : kinetische Energie
- : generalisierte Kräfte als Summe der nicht-konservativen Kräfte und der Potentialkräfte
- : generalisierte Kräfte ausschließlich nicht-konservativer Natur
Die generalisierten Kräfte bestimmt man aus der virtuellen Arbeit der eingeprägten Kräfte
durch Vergleich der Koeffizienten von .
Beispiel
Die Achse einer Aufzugtrommel wird durch ein Drehmoment M angetrieben. Die Masse der Last beträgt m, das Massenträgheitsmoment der Trommel ist J. Der Radius der Trommel ist r.
Zwischen den Koordinaten x und φ besteht folgende Beziehung:
Die kinetische Energie ist:
Die virtuelle Arbeit der eingeprägten Kräfte ist
Daraus folgt schließlich die Bewegungsgleichung
Die Auflösung dieser Gleichung nach der Winkelbeschleunigung ergibt
Erweiterung auf Systeme mit Nebenbedingungen
Zwischen den generalisierten Koordinaten mögen noch n Nebenbedingungen folgender Form existieren:
(Nur bei holonomen Systemen lassen sich mit Hilfe der Nebenbedingungen überzählige Koordinaten eliminieren.)
Für Systeme mit Nebenbedingungen lassen sich die Lagrangeschen Bewegungsgleichungen wie folgt formulieren:
- : beim Integrationsprozess zu bestimmende Lagrangesche Multiplikatoren
Siehe auch: Hamiltonsche Mechanik
Erweiterung auf Felder
In der Feldtheorie ergibt sich die Bewegungsgleichung aus dem Hamiltonschen Prinzip für Felder zu
wobei das betrachtete Feld und die Lagrange-Dichte sind.
Man kann dies in Kurzform auch schreiben als
mit der so definierten Variationsableitung .
Der Lagrangeformalismus ist auch der Ausgangspunkt vieler Formulierungen der Quantenfeldtheorie.
Zusammenhang mit Pfadintegralen in der Quantenmechanik
Richard Feynman hat als erster diese Herangehensweise auch konsequent für die Herleitung der Gleichungen der Quantenmechanik verwendet. In der klassischen Physik ergeben sich die oben beschriebenen Lagrange-Gleichungen aus der Forderung, dass das Wirkungsintegral (bei dem über die Lagrange-Funktion integriert wird) stationär wird (durch die Variation des Integrals erhält man die Differenzialgleichungen). In Feynmans Pfadintegral-Formalismus ist die quantenmechanische Wahrscheinlichkeitsamplitude, das ein System zwischen Anfangs- und Endbedingungen einen bestimmten Pfad einschlägt proportional mit dem Wirkungsintegral . Pfade in der Umgebung des klassischen Weges, für den die Variation von verschwindet, liefern dabei meist die Hauptbeiträge, da sich in ihrer Umgebung die Beiträge mit fast gleichen Phasenfaktoren addieren.
Frei fallende Teilchen in der allgemeinen Relativitätstheorie
In der allgemeinen Relativitätstheorie durchlaufen frei fallende Teilchen Weltlinien längster Zeit: zwischen zwei (genügend nah beieinander liegenden) Ereignissen und vergeht auf einer mitgeführten Uhr auf der Weltlinie frei fallender Teilchen mehr Zeit, als auf allen anderen Weltlinien durch diese Ereignisse. Sei ein entlang des Pfades monoton wachsender Laufparameter, so ergibt sich die verstrichene Zeit zu
mit der Lagrangefunktion
Dabei sind die Komponentenfunktionen der Metrik. Wir rechnen einfachheitshalber in Maßsystemen, in denen die Lichtgeschwindigkeit dimensionslos ist und den Wert hat, und verwenden die Einsteinsche Summenkonvention.
Der zu konjugierte Impuls ist
und die Euler-Lagrange-Gleichungen lauten
Verwenden wir hier als Abkürzung das Christoffel-Symbol
so erweist sich die Weltlinie längster Dauer als Gerade: die Richtung der Tangente an die Weltlinie
ändert sich nicht bei Parallelverschiebung längs der Weltlinie
Die Parametrisierung wird nicht festgelegt. Verfügen wir so über sie, dass der Tangentialvektor überall gleich lang ist, dann ist konstant und der Tangentialvektor geht beim Durchlaufen der Weltlinie in sich über. Sie erfüllt die Geodätengleichung
Dies ist die allgemein-relativistische Form der Bewegungsgleichung eines frei fallenden Teilchens. Die Gravitation ist in den voll berücksichtigt.
Literatur
- Lehrbücher der klassischen Mechanik wie
- Josef Honerkamp, Hartmann Römer: Klassische Theoretische Physik. 3. Auflage. Springer, 1993, ISBN 3-540-55901-9. (Volltext hier erhältlich)
- Herbert Goldstein, Charles P. Poole, John L. Safko: Klassische Mechanik. 3. Auflage. Wiley-VCH, 2006, ISBN 3-527-40589-5.
- Cornelius Lanczos: The Variational Principles of Mechanics. 4. Auflage. Dover Pubn Inc, 1986, ISBN 0-486-65067-7.
- Friedhelm Kuypers: Klassische Mechanik. 8. Auflage. Wiley-Vch, 2008, ISBN 3-527-40721-9.
- zu Pfadintegralen
- Hagen Kleinert: Pfadintegrale in Quantenmechanik, Statistik und Polymerphysik. Spektrum Akad. Vlg., Mannheim 1993, ISBN 3860256130
- Hagen Kleinert: Path Integrals in Quantum Mechanics, Statistics, Polymer Physics, and Financial Markets. 4. Auflage, World Scientific, Singapore 2006, ISBN 978-9812700087 ([1] auch online lesbar hier)
Einzelnachweise
- ↑ Die realen anholonomen Zwangsbedingungen wären Das Zeitdifferential dt verschwindet per definitionem bei den zugehörigen sog. virtuellen Verschiebungen