Weak Convergence Methods for Nonlinear Partial Differential ...
Weak Convergence Methods for Nonlinear Partial Differential ...
Weak Convergence Methods for Nonlinear Partial Differential ...
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Note that if Au (ν) is bounded in L 2 , then it is compact in W −1,2 by Rellich’s<br />
theorem, and hence in W −1,2<br />
loc<br />
. (If u (νk) ⇀ u in W −1,2 , then also ϕu (νk) → ϕu in<br />
W −1,2 ∀ ϕ ∈ Cc ∞ (Ω).)<br />
Proof. We only need to prove the first statement. First note that l ∈ M because<br />
f(u (ν) ) is bounded in L 1 and so f(u (ν) ) ⇀ ∗ l in M.<br />
1. Let v (ν) = u (ν) − u. Then v (ν) satisfies ( ˜H) with u = 0, f(u) = 0. If we<br />
succeed to prove the theorem <strong>for</strong> v (ν) , then<br />
Thus<br />
0 ≤ lim f(v (ν) ) = lim(u (ν) − u) T M(u (ν) − u)<br />
= lim f(u (ν) ) + f(u) + lim(u (ν) ) T Mu − lim u T Mu (ν)<br />
= lim f(u (ν) ) − f(u).<br />
lim f(u (ν) ) ≥ f(u).<br />
2. For ϕ ∈ Cc ∞ (Ω) let w (ν) = ϕv (ν) . Then<br />
⎧<br />
⎪⎨<br />
w (ν) ⇀ 0 in L 2 ,<br />
∑<br />
j,k<br />
⎪⎩<br />
a ∂w (ν)<br />
j<br />
ijk ∂x k<br />
→ 0 in W −1,2 (R n ), i ∈ {1, ..., q},<br />
supp w (ν) ⊂ K ⊂⊂ Ω<br />
<strong>for</strong> some suitable K. To see this, note that<br />
and so<br />
∂w (ν)<br />
j<br />
∂x k<br />
= ϕ ∂v(ν) j ∂ϕ<br />
+ v (ν)<br />
j<br />
∂x k ∂x<br />
} {{ k<br />
}<br />
bounded in L 2<br />
Aw (ν) = ϕAv (ν) + something bounded in L 2 .<br />
} {{ }<br />
compact in W −1,2<br />
Now w (ν) ⇀ 0 in L 2 implies Aw (ν) ⇀ 0 in W −1,2 . By compactness this<br />
gives<br />
Aw (ν) → 0 in W −1,2 .<br />
We need to prove that<br />
lim inf<br />
ν→∞<br />
∫<br />
R n (w (ν) ) T Mw (ν) ≥ 0.<br />
If this is done, the proof is finished: ∀ ϕ ∈ D(Ω)<br />
∫<br />
∫<br />
0 ≤ lim inf<br />
ϕ 2<br />
ν→∞<br />
and so<br />
(w (ν) ) T Mw (ν) = lim inf<br />
R n ν→∞<br />
l ≥ 0<br />
45<br />
}{{}<br />
∈D<br />
as measures.<br />
(v (ν) ) T Mv (ν) = l(ϕ 2 )<br />
} {{ }<br />
→l in D ′