26.10.2014 Aufrufe

Weak Convergence Methods for Nonlinear Partial Differential ...

Weak Convergence Methods for Nonlinear Partial Differential ...

Weak Convergence Methods for Nonlinear Partial Differential ...

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.

Da f nach unten beschränkt ist, können wir nach Addition mit einer geeigneten<br />

Konstanten annehmen, dass f ≥ 0 gilt. Aus der Konvexität von f in z erhalten<br />

wir für jedes j:<br />

∫<br />

∫<br />

I(u k ) = f(x, u k , Du k ) dx ≥ f(x, u k , Du k ) dx<br />

U<br />

A j ∩B<br />

∫<br />

j<br />

≥ f(x, u k , Du) + D z f(x, u k , Du) · (Du k − Du) dx.<br />

A j ∩B j<br />

Auf A j ∩B j konvergieren nun f(x, u k , Du) und D z f(x, u k , Du) gleichmäßig gegen<br />

f(x, u, Du) bzw. D z f(x, u, Du). Da zudem Du k schwach gegen Du konvergiert,<br />

ergibt sich<br />

∫<br />

m = lim I(u k ) ≥ f(x, u, Du) dx.<br />

k→∞<br />

A j ∩B j<br />

Da f ≥ 0 vorausgesetzt ist, folgt nun mit monotoner Konvergenz (wegen<br />

A j+1 ∩ B j+1 ⊃ A j ∩ B j )<br />

∫<br />

m ≥ lim f(x, u, Du) dx = I(u).<br />

j→∞<br />

A j ∩B j<br />

Corollary 4.6 Es sei f : U × R m × R m×n → R eine glatte Funktion, die die<br />

Wachstumsbedingung<br />

f(x, y, z) ≥ c 1 |z| p − c 2<br />

für geeignete Konstanten c 1 > 0, c 2 ∈ R, p ∈ (1, ∞) erfülle, so dass<br />

z ↦→ f(x, y, z)<br />

konvex ist für alle x ∈ U, y ∈ R m . Dann existiert ein u ∈ A mit<br />

I(u) = inf<br />

v∈A I(v).<br />

Proof. Das folgt mit der direkten Methode aus Lemma 4.4 und Lemma 4.5.<br />

Insbesondere ist der Minimierer nach Satz 4.2 eine schwache Lösung der<br />

Euler-Lagrange-Gleichungen unter geeigneten Wachstumsbedingungen an f und<br />

D (y,z) f.<br />

Beispiel: Um einzusehen, dass Konvexität i.A. eine zu starke Annahme ist, betrachten<br />

wir wieder das Energiefunktional<br />

∫<br />

E(y) = W(Dy)<br />

U<br />

87<br />

□<br />

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

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!