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

Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.

YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.

zeigt. Diese Funktion ist sogar affin im ersten 2-Minor, aber sicherlich nicht<br />

konvex auf {f 11 = f 22 = 0, f 12 = f 21 }.<br />

Beispiel: Eine Energiedichte W in der Elastizitätstheorie, die zu starke Kompressionen<br />

energetisch bestraft ist z.B.<br />

{<br />

1<br />

W(F) = |F | 2 + ψ(det F), mit ψ(t) =<br />

, t > 0,<br />

t<br />

∞, t ≤ 0.<br />

Dieses W ist polykonvex.<br />

Wir kommen nun zum wesentlichen Unterhalbstetigkeitsresultat für Integranden,<br />

die polykonvex in Du sind:<br />

Theorem 4.13 Es sei f : U×R m ×R m×n → R eine glatte, nach unten beschränkte<br />

Funktion, so dass für fast alle x ∈ U und alle y ∈ R m , z ∈ R m×n<br />

f(x, y, z) = g(x, y, M(z))<br />

für eine geeignete (glatte) Funktion g gilt, die konvex in z sei. Dann ist I schwach<br />

unterhalbfolgenstetig auf W 1,p (U; R m ) für p > n.<br />

Der Beweis verläuft ähnlich wie der Beweis von Lemma 4.5.<br />

Proof. Es sei (u k ) eine Folge mit u k ⇀ u in W 1,p (U; R m ). Es ist zu zeigen,<br />

dass lim inf k→∞ I(u k ) ≥ I(u) gilt. Genau wie im Beweis von Lemma 4.5 sieht<br />

man, dass wir annehmen dürfen, dass lim inf k→∞ I(u k ) = lim k→∞ I(u k ) gilt, dass<br />

u k → u stark in L p und fast überall konvergiert und dass f ≥ 0 ist.<br />

Wir definieren die Mengen A j und B j genau wie im Beweis von Lemma 4.5.<br />

Aus der Polykonvexität von f in z erhalten 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 />

= g(x, u k , M(Du k )) dx<br />

A j ∩B<br />

∫<br />

j<br />

≥ g(x, u k , M(Du))<br />

A j ∩B j<br />

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

Wie im Beweis von Lemma 4.5 ergibt sich daraus nun<br />

∫<br />

∫<br />

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

k→∞<br />

A j ∩B j A j ∩B j<br />

und mit monotoner Konvergenz schließlich<br />

∫<br />

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

k→∞ j→∞<br />

A j ∩B j<br />

93<br />

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

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!