Eine Differentialgleichung, die die notwendige Bedingung dafür liefert, dass eine Funktional S[q]=∫ L(q,q̇,t) dt unter glatten Variationen der verallgemeinerten Koordinate q mit festen Endpunkten stationär ist; für einen Lagrange-Funktion L(q,q̇,t), die in q und q̇ differenzierbar ist, lautet die Bedingung d/dt(∂L/∂q̇) − ∂L/∂q = 0 und gibt die Bewegungsgleichungen für endlichdimensionale mechanische Systeme bzw. die entsprechenden Feldgleichungen.

Prinzip

Die Stationaritätsbedingung der Wirkung impliziert, dass zulässige Trajektorien die erste Variation der Wirkung aufheben; diese variationelle Identität ist äquivalent zur Nullsetzung des Euler–Lagrange-Operators und wandelt ein Variationsproblem in ein System gewöhnlicher oder partieller Differentialgleichungen um, die die Dynamik bestimmen.

Demonstration

Illustratives Szenario — Ein Freiheitsgrad: Situation: Ein Teilchen mit Masse m bewegt sich in einem Potential V(q) auf dem Zeitintervall [t0, tf]; die Lagrange-Funktion ist L(q, q̇) = ½ m q̇² − V(q). Erkennung: Die Lagrange-Funktion ist in q und q̇ glatt und die variablen Trajektorien q(t) werden unter der Nebenbedingung betrachtet, dass die Variation δq(t) an den Endpunkten verschwindet (feste Endpunkte: q(t0)=q0 und q(tf)=qf). Unter diesen zulässigen Variationen gilt die Standardableitung der Wirkung. Handlung: Variiert man die Wirkung S[q]=∫_{t0}^{tf} L dt und setzt die erste Variation gleich Null unter den festgesetzten Endpunkten, folgt die Euler–Lagrange-Gleichung d/dt(∂L/∂q̇) − ∂L/∂q = 0, hier konkret m q̈ + ∂V/∂q = 0 (bzw. m q̈ = −∂V/∂q). Weil die Herleitung feste Endpunkte voraussetzt, ist die zu lösende Aufgabe ein Randwertproblem: man sucht Lösungen der zweiten Ordnung, die die Bedingungen q(t0)=q0 und q(tf)=qf erfüllen. Existenz, Eindeutigkeit und mögliche Mehrfachlösungen hängen von V und der Länge des Intervalls ab und müssen getrennt durch klassische Theoreme für Randwertprobleme geprüft werden. Folge: Jede glatte Trajektorie, die sowohl die Euler–Lagrange-Gleichung als auch die vorgegebenen Endrandbedingungen erfüllt, ist eine Kandidatin für eine stationäre Wirkung (lokales Extremum oder Sattelpunkt). Wichtig: Die Variationsableitung selbst liefert die Differentialgleichung, nicht die Wahl von Anfangs- statt Randbedingungen. Wenn man stattdessen eine Anfangswertaufgabe lösen möchte (vorgegebene q(t0) und q̇(t0)), behandelt man die Euler–Lagrange-Gleichung danach als gewöhnliche Differentialgleichung und integriert mit diesen Anfangsdaten; dies ist mathematisch konsistent, stellt aber eine andere Rand-/Anfangsdatenwahl dar und ändert nicht die Annahmen der ursprünglichen variationalen Herleitung. Fehler treten auf, wenn man die Herleitung für feste Endpunkte durchführt, dann aber ohne weitere Rechtfertigung initiale Randdaten als Teil der Variationsbedingung annimmt.

Fehlanwendung

Die Euler–Lagrange-Gleichung anzuwenden, obwohl die Wirkung nicht differenzierbar ist, Endpunkte variieren oder nichtholonomische Zwangsbedingungen vorliegen, ohne geeignete Lagrange-Multiplikatoren zu verwenden; der semantische Fehler besteht darin, die Gleichung universal anzunehmen, ohne Differenzierbarkeits- und Variationsbedingungen zu prüfen, wodurch falsche oder unvollständige Bewegungsgleichungen entstehen.

Konsequenz

Richtig angewendet liefert die Gleichung die Differentialgleichungen, deren Lösungen stationäre Trajektorien sind; diese bestimmen die zeitliche Entwicklung unter Anfangs- oder Randbedingungen. Fehlerhafte Anwendung kann Zwangskräfte auslassen, Erhaltungsgrößen verletzen oder Lösungen erzeugen, die nicht stationär für die ursprüngliche Funktional sind.

Umkehrung

Hängt die Wirkung von höheren Ableitungen, nichtdifferenzierbaren Integranden ab oder sind Endpunktvariationen zugelassen, ändert sich die Standardform: Randterme, Euler–Lagrange-Gleichungen höheren Grades oder zusätzliche Multiplikator-Terme treten auf. Bei nichtholonomischen, geschwindigkeitsabhängigen Zwangsbedingungen sind angepasste variationelle Formalismen oder verallgemeinerte Multiplikatoren notwendig.

Abgrenzung

Eindeutig Innerhalb: Endlichdimensionales mechanisches System mit glattem L und festen Endpunkten. Randfall: Feldtheorien, wo Funktionalräume, Randbedingungen und distributionsartige Lösungen funktionalanalytische Sorgfalt erfordern. Eindeutig Außerhalb: Probleme ohne Wirkungsprinzip (empirische Modelle, nicht aus einer Funktional ableitbar) oder Optimierungen ohne differenzierbare Integranden.

Semantische Spannung

Variationaler (Lagrange'scher) versus lokaler Kraftansatz (Newton/Hamilton): Die Euler–Lagrange-Formulierung betont globale Stationarität und Koordinateninvarianz, während lokale Kraftansätze direkter mit nichtvariationalen Kräften oder Dissipation umgehen.

Synthese

Die Euler–Lagrange-Gleichung verbindet stationäre Wirkung und konkrete Bewegungsgleichungen: Sie macht das Variationsprinzip operational, erfordert jedoch Differenzierbarkeit, korrekte Behandlung von Zwangsbedingungen und Randtermen.