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

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 ′

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

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!