Weak Convergence Methods for Nonlinear Partial Differential ...
Weak Convergence Methods for Nonlinear Partial Differential ...
Weak Convergence Methods for Nonlinear Partial Differential ...
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