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.

Corollary 2.5 Let X be a normed space, x n ⇀ x. Then there exists a sequence<br />

of convex combinations<br />

y n =<br />

such that ‖y n − x‖ → 0.<br />

N(n)<br />

∑<br />

i=n<br />

N(n)<br />

∑<br />

λ (n)<br />

i x i , λ (n)<br />

i ≥ 0,<br />

i=n<br />

λ (n)<br />

i = 1<br />

Proof. Let V n = co(x n , x n+1 , ...). As x ∈ V n there exists λ n k , ..., λn N(n) , ∑ λ n i = 1<br />

such that<br />

∥ ∥∥∥∥∥ N(n)<br />

∑<br />

λ n i − x<br />

∥ ≤ 1 n .<br />

i=n<br />

□<br />

Corollary 2.6 The norm ‖ · ‖ X on X (resp. ‖ · ‖ X ′<br />

weakly*) lower semicontinuous.<br />

on X ′ ) is weakly (resp.<br />

Proof. Suppose x n ⇀ x in X. Let R = lim inf ‖x n ‖. Then <strong>for</strong> ε > 0 ∃ subsequence<br />

such that ‖x nk ‖ ≤ R + ε and thus x ∈ B R+ε . As ε was arbitrary,<br />

‖x‖ ≤ R = lim inf<br />

n→∞<br />

‖x n‖.<br />

If ϕ ∗ n ⇀ ϕ in X ′ , then lim inf ‖ϕ n ‖ ≥ lim inf ϕ n (x) = ϕ(x) <strong>for</strong> any x ∈ X with<br />

‖x‖ = 1. Passing to the supremum over those x yields lim inf ‖ϕ n ‖ ≥ ‖ϕ‖. □<br />

<strong>Weak</strong>ly(*) convergent sequences are necessarily bounded:<br />

Theorem 2.7 Suppose x n<br />

(∗)<br />

⇀ x. Then (x n ) is bounded in X (resp. X ′ ).<br />

In order to check if a sequence (x n ) converges weakly/weakly*, it is often convenient<br />

to consider particularly simple objects (test functions) in X ′ resp. X on<br />

which to test (x n ). This is often made possible by the following result.<br />

Theorem 2.8 A sequence (x n ) converges weakly to x if and only if<br />

• (x n ) is bounded and<br />

• ϕ(x n ) → ϕ(x) ∀ϕ ∈ A where span A = X ′ .<br />

An analogous statement holds <strong>for</strong> weak*-convergence.<br />

6

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

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!