Inkonsistenz? Lagrange mit seiner Euler-Lagrange-Gleichung als Bedingung

Betrachten Sie die Aktion

(1) A 1 = L ( Q , Q ˙ ) D T

und die entsprechende Euler-Lagrange-Gleichung

(2) L Q D D T ( L Q ˙ ) = 0.

Diese Gleichung ist eine allgemeine Bedingung, die L erfüllen. Daher können Sie diese Bedingung als Lagrange-Multiplikator zur ursprünglichen Aktion hinzufügen (diese Änderung hat im Prinzip keine Auswirkungen auf die Euler-Lagrange-Gleichung).

(3) A 2 = [ L ( Q , Q ˙ ) + λ ( L Q D D T ( L Q ˙ ) ) ] D T

Wo λ R und so ist der letzte Term

(4) D D T ( λ L Q ˙ )

Dieser Term hat die Form der Gesamtableitung und kann daher aus dem Lagrangian gestrichen werden (erzeugt dieselbe Gleichung). Wir bekommen diesen Ausdruck

(5) A 2 = ( L ( Q , Q ˙ ) + λ L Q ) D T

Aber diese Lagrangefunktion erzeugt im Allgemeinen eine andere Gleichung als die ursprüngliche Lagrangefunktion L .

Ich kann mir nicht erklären, wo ich einen Fehler gemacht habe.

Warum annehmen λ = C Ö N S T . ? Lagrange-Multiplikatoren für Funktionale sind eigentlich Funktionen. Ich verweise auf Kapitel 17 von „Mathematical Methods for Physicists: A Comprehensive Guide“ von Arfken, Weber und Harris.

Antworten (1)

Hier gehen wir davon aus λ ist keine Funktion der Zeit, dh es gibt nur eine zeitgemittelte Einschränkung. Dann hat die Ableitung von OP die folgenden Mängel:

  • Erstens, der neue zeitgemittelte eingeschränkte Term in Gl. (3) ändert subtil den EOM für Q .

    Beispiel. Betrachten Sie der Einfachheit halber das statische Modell L ( Q )   =   1 2 Q 2 + 1 3 Q 3 . Dann sind die stationären Punkte für die Aktion (1). Q 0 Und Q 1 , während die Beschränkung den Zeitdurchschnitt ergibt Q 1 2 . Der EOM für Q wird Q 2 + Q λ ( 2 Q + 1 ) . Siehe auch diesen verwandten Phys.SE-Beitrag.

  • Zweitens ändert das Entfernen des Grenzterms (4) die EL-Gleichung für λ . Allgemeiner gesagt spielen Randbedingungen eine Rolle, wenn sie nicht verschwinden/nicht durch die einschlägigen Randbedingungen der Theorie festgelegt werden.