Weak convergence in (L^{p}). Let ((X, mathscr{A}, mu)) be a (sigma)-finite measure space and let (p in(1,

Question:

Weak convergence in \(L^{p}\). Let \((X, \mathscr{A}, \mu)\) be a \(\sigma\)-finite measure space and let \(p \in(1, \infty]\), \(q \in[1, \infty)\) be conjugate indices. We assume that \(L^{q}(\mu)\) is separable, containing the countable dense set \(\mathcal{D}_{q}\).

(i) If \(\left(u_{n}ight)_{n \in \mathbb{N}}\) is bounded in \(L^{p}\), i.e. \(\sup _{n}\left\|u_{n}ight\|_{p}

[ use the Bolzano-Weierstraß theorem and a diagonal argument.]

(ii) The limit in part (i) exists for all \(g \in L^{q}(\mu)\).

(iii) Conclude from parts (i) and (ii) that there exists a function \(u \in L^{p}(\mu)\) such that \(\lim _{i} \int u_{n(i)} g d \mu=\int u g d \mu\) ('weak convergence in \(L^{p}\) '). This proves the following result: every \(L^{p}\)-bounded sequence has a weakly convergent subsequence.

[set \(g \mapsto I(g):=\lim _{i} \int u_{n(i)} g d \mu\) and use Theorem 21.5 , hence the restriction \(p>1\).]

Data from theorem 21.5

Theorem 21.5 (Riesz) Let (X, ,) be a o-finite measure space, p = [1,00) and qe (1,00] conjugate indices.

This means that v < < is absolutely continuous with respect to , and the Radon Nikodm theorem (Theorem 20.2)

Step 5. Assume that p(X)=o. Let (A) EN be a sequence in with ATX and (4) <0. As in the proof of the

Therefore, J(u):=1(h/Pu) is a positive linear functional on LP(), and the first four steps show that there is

Fantastic news! We've Found the answer you've been seeking!

Step by Step Answer:

Related Book For  book-img-for-question
Question Posted: