03.03.2014 Aufrufe

Variationsrechnung I - Institut für Mathematik

Variationsrechnung I - Institut für Mathematik

Variationsrechnung I - Institut für Mathematik

MEHR ANZEIGEN
WENIGER ANZEIGEN

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-

Hurra! Ihre Datei wurde hochgeladen und ist bereit für die Veröffentlichung.

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!