1. Welt
  2. Argumentationen
  3. #192
Alexander Fufaev

Euler-Lagrange-Gleichung: in 14 Schritten

aus dem Bereich: Argumentationen
Mehr dazu

Zuerst nimmst Du an, dass eine Funktion \( F(y,y',x) \) und die Randwerte \( y(x_1) ~=~ y_1 \) und \( y(x_2) ~=~ y_2 \) bekannt sind.

Dann ist eine Funktion \( y(x) \) gesucht, die das folgende Funktional \( J[y] \) stationär macht (d.h. \( J[y] \) ist für \( y(x) \) entweder minimal, maximal oder ein Sattelpunkt): 1 \[ J[y] ~=~ \int_{x_1}^{x_1} \text{d}x \, F(y,y',x) \]

WENN die Funktion \( y \) das Funktional \( J[y] \) stationär macht, dann MUSS ein Funktional \( J[y ~+~ \delta y] \), mit der Abweichung \( \delta y \) (\( \delta \) ist positiv) größer als \( J[y] \) sein.

Die Abweichung \( \delta y \) (genannt: Variation von \(y\)) definierst Du als 2 \[ \delta y ~:=~ \epsilon \eta \] wobei \( \epsilon \) infinitesimal klein ist und \( \eta \) eine belibige Funktion ist, die folgende Rangbedingungen erfüllt: 3 \[ \eta(x_1) ~=~ \eta(x_2) ~=~ 0 \]

\( \eta \) stimmt also an den Randpunkten \(x_1\) und \(x_2\) mit \( y \) überein, damit \( y ~+~ \delta y \) durch die Randpunkte geht.

\( \eta \) muss außerdem zwischen \(x_1\) und \(x_2\) in jedem Punkt definiert und differenzierbar sein, damit Du - weiter in der Herleitung - nach \( \epsilon \) ohne Probleme ableiten darfst.

Du wählst also eine feste, aber beliebige Funktion \( \eta \) zur gesuchten Funktion \( y \), die \( J[y] \) stationär macht.

Das Funktional \( J[y ~+~ \epsilon \eta] \) ist dann wie eine "übliche" Funktion in Abhängigkeit von \( \epsilon \): 4 \[ J[y ~+~ \epsilon \eta] ~:=~ J(\epsilon) \]

Also muss \( J(\epsilon) \) bei \( \epsilon ~=~ 0 \) - für beliebige Funktion \( \eta \) - stationär sein, weshalb die Ableitung nach \( \epsilon \) Null sein muss: 5 \[ \frac{\text{d}J(\epsilon)}{\text{d}\epsilon}_{~\big|_{~\epsilon ~=~ 0}} ~\stackrel{!}{=}~ 0 \]

Nun hast Du eine notwendige Bedingung für ein lokales Extremum gefunden. Diese Bedingung muss also in jedem Fall erfüllt sein, damit das Funktional \( J[y] \) für \( y \) stationär wird!

Schreibe nun das Funktional \( J(\epsilon) \) aus: 6 \[ J(\epsilon) ~=~ J[y ~+~ \epsilon \eta] ~=~ \int_{x_1}^{x_2} \text{d}x \, F(y ~+~ \epsilon \eta,y' ~+~ \epsilon \eta',x) \]

Mithilfe der Taylor-Entwicklung an der Stelle \( \epsilon ~=~ 0 \) wird das Funktional zu: 7 \[ J[y ~+~ \epsilon \eta] ~=~ \int_{x_1}^{x_2} \text{d}x \, \sum_{n=0}^\infty \frac{1}{n!}\frac{\text{d}^{n} F}{\text{d} \epsilon^{n}}(0) \, (\epsilon ~-~ 0)^n \]

Schreibe die Summe in 7 bis zur 1. Ordnung (\( n ~=~ 1 \)) aus: 8 \[ J[y ~+~ \epsilon \eta] ~=~ \int_{x_1}^{x_2} \text{d}x \, \left( F(0)_{~\big|_{~\epsilon ~=~ 0}} ~+~ \frac{\text{d} F}{\text{d} \epsilon}_{~\big|_{~\epsilon ~=~ 0}} ~+~ \mathcal{O}(\epsilon^2) \right) \]

Schreibst Du die Totalableitung \( \frac{\text{d} F}{\text{d} \epsilon} \) aus und setzt dann die Stelle \( \epsilon ~=~ 0 \) ein, dann bekommst Du (wobei \( F(y,y',x) \) einfach als \( F \) geschrieben wurde) : 9 \[ J[y ~+~ \epsilon \eta] ~=~ \int_{x_1}^{x_2} \text{d}x \, \left( F ~+~ \frac{\partial F}{\partial y}\frac{\partial (y~+~\epsilon \eta)}{\partial \epsilon}\epsilon ~+~ \frac{\partial F}{\partial y'}\frac{\partial (y'~+~\epsilon \eta')}{\partial \epsilon}\epsilon ~+~ \frac{\partial F}{\partial x}\frac{\partial x}{\partial \epsilon}\epsilon ~+~ \mathcal{O}(\epsilon^2) \right) \]

Ausrechnen der partiellen Ableitungen in der Summe ergibt: 10 \[ J[y ~+~ \epsilon \eta] ~=~ \int_{x_1}^{x_2} \text{d}x \, \left( F ~+~ \frac{\partial F}{\partial y}\eta \, \epsilon ~+~ \frac{\partial F}{\partial y'}\eta' \, \epsilon ~+~ \mathcal{O}(\epsilon^2) \right) \]

Nun benutzt Du die notwendige Bedingung für die Stationarität: 11 \[ \frac{\partial J[y ~+~ \epsilon \, \eta]}{\partial \epsilon}_{~\big|_{~\epsilon ~=~ 0}} ~=~ \int_{x_1}^{x_2} \text{d}x \, \left( \frac{\partial F}{\partial y}\eta ~+~ \frac{\partial F}{\partial y'}\eta' \right) ~\stackrel{!}{=}~ 0 \]

Noch kannst Du noch nicht wirklich erkennen, wann die Ableitung des Funktionals Null wird. Um dies besser zu sehen, wende partielle Integration auf den zweiten Summanden in 11 an: 12 \[ \frac{\partial J[y ~+~ \epsilon \, \eta]}{\partial \epsilon}_{~\big|_{~\epsilon ~=~ 0}} ~=~ \int_{x_1}^{x_2} \text{d}x \, \frac{\partial F}{\partial y}\eta ~+~ \left[ \frac{\partial F}{\partial y'} \eta \right]_{x_1}^{x_2} ~-~ \int_{x_1}^{x_2} \text{d}x \, \frac{\text{d}}{\text{d}x}\frac{\partial F}{\partial y'}\eta ~\stackrel{!}{=}~ 0 \]

Wegen der Voraussetzung \( \eta(x_1) ~=~ \eta(x_2) ~=~ 0 \) fällt der mittlere Summand weg. Klammere das Integral und \( \eta \) aus: 13 \[ \frac{\partial J[y ~+~ \epsilon \, \eta]}{\partial \epsilon}_{~\big|_{~\epsilon ~=~ 0}} ~=~ \int_{x_1}^{x_2} \text{d}x \left(\frac{\partial F}{\partial y}~-~ \frac{\text{d}}{\text{d}x}\frac{\partial F}{\partial y'} \right)\eta ~\stackrel{!}{=}~ 0 \]

Da \( \eta \) beliebig sein darf (also auch ungleich Null), muss der Ausdruck in der Klammer verschwinden:

Euler-Lagrange-Gleichung 14 \[ \frac{\partial F}{\partial y}~-~ \frac{\text{d}}{\text{d}x}\frac{\partial F}{\partial y'} ~\stackrel{!}{=}~ 0 \]

Wenn die Euler-Lagrange-Gleichung 14 für die Funktion \( y \) erfüllt ist, dann wird das Funktional \( J[y] \) in 1 stationär.

Weltkarte
Verwalten
Profil
Die Stimme fragt...
Wie erlange ich den Zugang?

Um das Portal von Ak'tazun betreten zu können, musst Du die rote Pille schlucken. Nachdem Du durch das Portal gegangen bist, gelangst Du in die Matrix, wo Du beispielsweise folgendes tun kannst:

  • Inhalte hinzufügen & verwalten
  • Einige Inhalte kommentieren
  • Mittels Kommunikator RT2000 chatten
  • WhatsApp-Gruppe beitreten
Bist Du dabei?
Ja, bin dabei!
Portale in die anderen Welten

Reise zu den sicheren anderen Welten des Internets, um nach dem Wissen zu suchen. Findest Du eine Welt ("Internetseite" :D) besonders interessant, dann kannst Du in der Universaldenkerwelt ein Portal zu dieser Welt erbauen, um den anderen Besuchern den schnellen Zugang dazu zu gewährleisten.

Portalraum betreten
Kommunikator
ONLINE 2
Gäste online: 2
Denker online: 0
Der Kommunikator RT2000 funktioniert nur innerhalb der Matrix!
Ich will in die Matrix!Mayday! Kontakt aufnehmen.