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.

(i) ν x ≥ 0 und ‖ν x ‖ M(R d ) = ∫ R d dν x ≤ 1 für fast alle x ist.<br />

(ii) Für alle f ∈ C 0 (R d ) gilt<br />

f(w kj ) ∗ ⇀ ¯f<br />

in L ∞ (Ω),<br />

wobei ¯f gegeben ist durch<br />

∫<br />

¯f(x) := 〈ν x , f〉 = f(y) dν x (y).<br />

R d<br />

(iii) Es sei K ⊂ R d kompkt. Dann gilt<br />

dist(w kj , K) → 0 d.M.n. =⇒ supp ν x ⊂ K f.f.a. x.<br />

Hierbei steht ‘d.M.n.’ für Konvergenz ‘dem Maße nach”. 2<br />

(iv) Es ist ‖ν x ‖ = 1 f.f.a x genau dann, wenn<br />

lim sup |{|w kj | ≥ M}| = 0<br />

M→∞<br />

gilt, wenn also keine Masse nach ∞ entkommt.<br />

(v) Sei ‖ν x ‖ = 1 f.f.a x, f ∈ C(R d ) und A ⊂ Ω messbar. Ist dann<br />

(f(w kj )) relativ schwach folgenkompakt in L 1 (A),<br />

j<br />

so folgt<br />

f(w kj ) ⇀ ¯f<br />

in L 1 (A).<br />

(vi) Gilt ‖ν x ‖ = 1 f.f.a x, so stimmt in (iii) auch die umgekehrte Implikation<br />

‘⇐=’.<br />

Definition 5.7 Die Abbildung ν : Ω → M(R d ) ist das von (w kj ) erzeugte<br />

Young-Maß.<br />

Remark 5.8 1. Der zentrale Punkt ist (ii): Das Young-Maß verschlüsselt die<br />

schwach*-Limites aller nicht-linearer Funktionen der w kj . Zur Erinnerung:<br />

In einer Hausaufgabe wurde gezeigt, dass schwache Limites nicht mit nichtlinearen<br />

Operationen kommutieren. Selbst wenn der schwach*-Limes der<br />

Folge (w kj ) existiert und bekannt ist, so kann man daraus allein also keine<br />

Rückschlüsse auf die Werte der schwach*-Grenzwerte von f(w kj ) gwinnen.<br />

2 Seien v, v 1 , v 2 , . . . : Ω → R messbar, Ω ⊂ R n messbar mit |Ω| < ∞. Man sagt die Folge v k<br />

konvergiert dem Maße nach gegen v, wenn lim k→∞ |{x : |v k (x) − v(x)| ≥ ε}| = 0 gilt für alle<br />

ε > 0. (Das entspricht dem Begriff der stochastischen Konvergenz in der Wahrscheinlichkeitstheorie.)<br />

109

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

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!