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.

and thus<br />

Consequently,<br />

u (ν)<br />

j → u j in L 2 ∀ j ≥ d + 1.<br />

f(u (ν)<br />

d+1<br />

, ..., u(ν) m ) → f(u d+1 , ..., u m )<br />

strongly in L 1 while being bounded in L ∞ . Hence,<br />

f(u (ν)<br />

d+1<br />

, ..., u(ν) m ) → Lp<br />

f(u d+1 , ..., u m ) ∀ p < ∞.<br />

Exercise: Show that f n → f in L 1 and (f n ) bounded in L q implies f n → f in L p<br />

<strong>for</strong> all p < q.<br />

Corollary 2.64 (The ‘div-curl lemma’) Suppose v, w ∈ L 2 (Ω; R n ) are vector<br />

fields such that<br />

⎧<br />

⎪⎨ div v (ν) = ∑ n<br />

(<br />

⎪⎩ curl w (ν) =<br />

j=1<br />

∂w (ν)<br />

j<br />

∂x k<br />

∂v (ν)<br />

j<br />

(or just compact in W −1,2<br />

loc<br />

(Ω), resp.).<br />

Then v (ν) ⇀ v, w (ν) ⇀ w in L 2 (Ω; R n ) implies<br />

∂x j<br />

is bounded in L 2 ,<br />

)<br />

− ∂w(ν) k<br />

∂x j<br />

j,k<br />

v (ν) · w (ν) D ′<br />

→ v · w.<br />

is bounded in L 2<br />

□<br />

Proof.<br />

{<br />

}<br />

m∑<br />

Λ = (λ, µ) : ∃ ξ ≠ 0 : λ j ξ j = 0, µ j ξ k − µ k ξ j = 0 ∀ j, k<br />

j=1<br />

= {(λ, µ) : ∃ ξ ≠ 0 : λ · ξ = 0, µ ‖ ξ}<br />

= {(λ, µ) : λ · µ = 0}.<br />

u (ν) = (u (ν)<br />

1 , u(ν) 2 ) := (v(ν) , w (ν) ) satisfies ( ˜H) with<br />

f(y 1 , y 2 ) = y 1 · y 2<br />

vanishing on Λ. The assertion thus follows.<br />

□<br />

49

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

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!