Variationsrechnung I - Institut für Mathematik
Variationsrechnung I - Institut für Mathematik
Variationsrechnung I - Institut für Mathematik
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
4 KAPITEL 1. EULER-LAGRANGE-GLEICHUNGEN<br />
Beweis. Zu einem gegebenen Punkt x 0 ∈ I sei 0 < δ = δ(x 0 ) ≪ 1 so klein gewählt, dass<br />
B 3δ (x 0 ) := [x 0 − 3δ, x 0 + 3δ] ⊂ I.<br />
Dann definieren wir zu 0 < ε < δ die stückweise lineare Funktion η ε ∈ C0 0 (I) durch<br />
⎧<br />
⎪⎨ 1 falls x ∈ [x 0 − δ, x 0 + δ]<br />
η ε (x) := 0 falls x ∈ I \ (x 0 − δ − ε, x 0 + δ + ε)<br />
⎪⎩<br />
linear fortgesetzt sonst<br />
und bemerken, dass mit ε → 0<br />
η ε (x) → χ 0 (x) = χ [x0 −δ,x 0 +δ] für alle x ∈ I. (1.5)<br />
Nach Satz A.21 im Anhang gibt es nun für alle σ > 0 ein η σ ε ∈ C ∞ 0 (I) mit ‖η ε −η σ ε ‖ C 0 (I) < σ<br />
und<br />
supp η σ ε ⊂ B 3δ (x 0 ) = (x 0 − 3δ, x 0 + 3δ),<br />
und wir schreiben<br />
∫<br />
∫<br />
f(x)η ε (x) dx =<br />
I<br />
B 3δ (x 0 )<br />
∫<br />
f(x)η ε (x) dx =<br />
B 3δ (x 0 )<br />
∫<br />
f(x)[η ε (x) − ηε σ (x)] dx + f(x)ηε σ (x) dx.<br />
I<br />
Das zweite Integral auf der rechten Seite verschwindet nach Voraussetzung, und für das erste<br />
gilt<br />
∫<br />
∫<br />
∫<br />
∣ f(x)[η ε (x)−ηε σ (x)] dx<br />
∣ ≤ ‖η ε−ηε σ ‖ C 0 (I)<br />
|f(x)| dx < σ |f(x)| dx σ→0 −→ 0.<br />
B 3δ (x 0 )<br />
B 3δ (x 0 )<br />
B 3δ (x 0 )<br />
Es ist also ∫ I f(x)η ε(x) dx = 0 für alle 0 < ε < δ, und im Grenzwert ε → 0 folgt mit (1.5)<br />
und dem Lebesgueschen Satz über dominierte Konvergenz<br />
0 = 1 2δ<br />
∫<br />
I<br />
f(x)η ε (x) dx<br />
Mit dem Grenzübergang δ → 0 folgt<br />
ε→0 −−→<br />
1 2δ<br />
∫<br />
I<br />
f(x 0 ) = 0,<br />
∫ x0 +δ<br />
f(x)χ 0 (x) dx = − f(x) dx.<br />
x 0 −δ<br />
falls x 0 ein Lebesgue-Punkt von f ist. Da L 1 -fast alle Punkte in I Lebesgue-Punkte von<br />
f sind, ist die Behauptung gezeigt, vgl. A.14.<br />
Proposition 1.6 [Euler-Lagrange-Gleichung]<br />
Sei u ∈ C 2 (I, R N ) eine schwache Extremale von F und F ∈ C 2 (R × R N × R N ). Dann gilt:<br />
d<br />
dx F p(x, u(x), u ′ (x)) − F z (x, u(x), u ′ (x)) = 0 für alle x ∈ I. (ELG)<br />
Gleichung (ELG) ist ein System von N<br />
Lagrange-Gleichungen bezeichnet.<br />
Gleichungen. Diese werden als Euler-