Was sind Lagrange-Multiplikatoren in Bezug auf holonome Beschränkungen in der klassischen Mechanik?

Um es klar und einfach zu machen, wenn ich eine holonomische Beschränkung habe, die ich mit einem Lagrange-Multiplikator behandeln möchte, werden sie in jedem Lehrbuch, das mich betrifft, einfach ausgedrückt als " λ " (mögliche Argumente weglassen). Ich würde gerne wissen, ob ein Lagrange-Multiplikator so etwas wie " λ ( T ) ", das wäre λ ein zusätzlicher Freiheitsgrad sein, dessen Zeitabhängigkeit noch nicht bekannt ist. Oder ist der Lagrange-Multiplikator stattdessen eine (noch genau zu bestimmende) Erweiterung der Lagrange-Funktion und als solche " λ ( Q , Q ˙ , T ) "?

Ich werde meine Gedanken hier erweitern, warum ich denke, dass beide Versionen funktionieren: Beginnend mit " λ ( Q , Q ˙ , T ) “, wäre die vollständige Lagrange-Funktion des Systems

L = L ( Q , Q ˙ , T ) λ ( Q , Q ˙ , T ) F ( Q , T )
Variationen in den Wegen δ Q und die Anforderung, dass F ( Q ( T ) , T ) = 0 gilt, ergibt den korrekten EOM:
D D T L Q ˙ ( Q ( T ) , Q ˙ ( T ) , T ) L Q ( Q ( T ) , Q ˙ ( T ) , T ) = D D T λ Q ˙ ( Q ( T ) , Q ˙ ( T ) , T ) λ Q ( Q ( T ) , Q ˙ ( T ) , T ) ) F ( Q ( T ) , T ) + λ Q ˙ ( Q ( T ) , Q ˙ ( T ) , T ) D D T F ( Q ( T ) , T ) + λ ( Q ( T ) , Q ˙ ( T ) , T ) F Q

Anwenden der Beschränkungen, F = 0 Und D D T F = 0 , dann erhalten wir:

D D T L Q ˙ ( Q ( T ) , Q ˙ ( T ) , T ) L Q ( Q ( T ) , Q ˙ ( T ) , T ) = + λ ( Q ( T ) , Q ˙ ( T ) , T ) F Q
Und
F ( Q ( T ) , T ) = 0
das sind nur die Gleichungen, die die Bewegung des Systems beschreiben.

Alternativ kann ich (wie gesagt) die Multiplikatoren als zusätzliche Freiheitsgrade im Konfigurationsraum behandeln. Der gesamte Lagrangian, abhängig von Q , Q ˙ , λ , λ ˙ (Diese Abhängigkeit wird hier nur der Vollständigkeit halber aufgeführt, der gesamte Lagrangian hängt nicht davon ab λ ˙ ) und t, ist:

L ( Q , Q ˙ , T ) λ ( T ) F ( Q , T )
Die Lagrange-Gleichungen lauten dann:
D D T L Q ˙ ( Q ( T ) , Q ˙ ( T ) , T ) L Q ( Q ( T ) , Q ˙ ( T ) , T ) = λ ( T ) F Q ( Q ( T ) , T )
Und
F ( Q ( T ) , T ) = 0

Beide Methoden ergeben, obwohl sie unterschiedliche Annahmen verwenden, die gleichen Bewegungsgleichungen. Welche ist machbarer? Gibt es Fälle, in denen meine Argumentation nicht funktioniert, die eine der beiden von mir angegebenen Optionen begünstigen?

Antworten (2)

Was Sie bemerkt haben, ist, dass es unter holonomen Einschränkungen eine doppelte Beschreibung von Lagrange-Systemen geben kann.

Betrachten Sie ein lagrangesches System mit N Variablen und M holonome Beschränkungen. Lagrange-Multiplikatoren können eigentlich einfach als so gewählte unbestimmte Funktionen angesehen werden

D D T L Q ˙ ich L Q ich A λ A F A Q ich = 0 ,
für M des Q ich . Der Rest N M Variablen können unabhängig variiert werden und das Problem hat N M Freiheitsgrade.

Andererseits können Lagrange-Multiplikatoren auch als neue unabhängige Variablen angesehen werden, λ A ( T ) . Gegeben ein Lagrange L ( Q , Q ˙ , T ) Und M holonome Beschränkungen F A ( Q , T ) = 0 dann können wir ein duales Problem formulieren, das auf der unbeschränkten dualen Lagrangefunktion besteht

(1) L ~ ( Q , Q ˙ , λ , T ) = L ( Q , Q ˙ , T ) + A λ A ( T ) F A ( Q , T ) .
Die Lagrange-Multiplikatoren λ A ( T ) werden dann in einem Variationsproblem mit als neue unabhängige Variablen betrachtet N + M Freiheitsgrade. Variation bzgl Q ich gibt die dynamischen Gleichungen,
D D T L Q ˙ ich L Q ich = A λ A F A Q ich ,
während die Variation in Bezug auf λ A geben Sie die Nebenbedingungsgleichungen an,
F A ( Q , T ) = 0.

Beachten Sie, dass diese duale Beschreibung nicht für nichtholonome Einschränkungen gilt, da wir aufgrund des Fehlens der Einschränkungsgleichungen der Form keine duale Lagrangian wie (1) schreiben können F A = 0

Sie sagen also im Prinzip, solange eine der Varianten möglich ist, wird sie der anderen nicht vorgezogen?
Sie sind sogar aus praktischer Sicht völlig gleichwertig. Ich bevorzuge nur die zweite, weil es einfacher ist, sich an die Prozedur zu erinnern. Es darf auch etwas eleganter sein.

Herkömmlicherweise geht die Zählung wie folgt: Es gibt beliebig viele Lagrange-Multiplikatoren λ ich ( T ) da es Einschränkungen gibt F ich ( T ) 0 . Da eine Einschränkung F ich ( T ) 0 sollte in jedem Augenblick zufrieden sein T , gibt es einen Lagrange-Multiplikator λ ich ( T ) für jeden Augenblick T . Äquivalent: die Lagrange-Multiplikatoren λ ich ( T ) hängt von der Zeit ab T .