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.

Ist nun umgekehrt ∫ Ω ‖ν x‖ M = |Ω|, dann schließen wir<br />

lim lim inf |{|w k j<br />

| > m + 1}| = 0. (5.5)<br />

m→∞ j→∞<br />

Da auch jede Telfolge von (w kj ) das Young-Maß ν generiert, bleibt diese Aussage<br />

auch für alle Teilfolgen von (w kj ) richtig. Das zeigt, dass sogar<br />

lim sup |{|w kj | > m + 1}| = 0<br />

m→∞<br />

j<br />

gilt: Wäre dies nicht der Fall, so gäbe es ein ε > 0, natürliche Zahlen m 1 < m 2 <<br />

. . . und Indizes j(m 1 ), j(m 2 ), . . . mit<br />

|{|w kj(mi ) | > m i + 1}| ≥ ε ∀ i.<br />

Da für endlich viele Folgenglieder w k1 , w k2 , . . ., w kN stets<br />

lim<br />

sup<br />

m→∞ j=1,...,N<br />

|{|w kj | > m + 1}| = 0<br />

ist, gilt j(m i ) → ∞ mit m i → ∞. Ggf. nach Übergang zu einer weiteren Teilfolge<br />

ist dann i ↦→ j(m i ) streng monoton in i und wir erhalten eine Teilfolge (w kj (m i )) i<br />

von (w kj ) j mit<br />

lim inf |{|w k | > m + 1}| ≥ ε ∀ m > 0<br />

i→∞ j(mi )<br />

im Widerspruch zu (5.5).<br />

(v) Sei f(w kj ) relativ schwach folgenkompakt in L 1 (A). Mit Hilfe des Satzes<br />

von Dun<strong>for</strong>d-Pettis 3 sieht man leicht, dass dies genau dann der Fall ist, wenn<br />

sowohl f + (w kj ) als auch f − (w kj ) relativ schwach folgenkompakt in L 1 (A) sind.<br />

Wir können also o.B.d.A. f ≥ 0 voraussetzen. Setze f m := θ m f ∈ C c (R d ), wobei<br />

θ m wie in (5.4) definiert ist.<br />

Wir zeigen zunächst, dass für alle ϕ ∈ L ∞ (A)<br />

∫ ∫<br />

ϕf m (w kj ) = ϕf(w kj ) (5.6)<br />

lim<br />

m→∞<br />

gleichmäßig in j gilt: Da f ≥ 0 ist, gilt<br />

∫<br />

∣ ϕ ( f m (w kj ) − f(w kj ) )∣ ∫<br />

∣∣ ≤ C<br />

A<br />

∫<br />

∫<br />

≤ C f(w kj ) + C<br />

≤ C sup<br />

j<br />

{f(w kj )≥M}<br />

∫<br />

A<br />

{f(w kj )≥M}<br />

A<br />

{|w kj |≥m}<br />

f(w kj )<br />

{|w kj |≥m,f(w kj )

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

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!