Paper 1, Section II, 22F22 F

Analysis of Functions | Part II, 2017

Consider a sequence fn:R→Rf_{n}: \mathbb{R} \rightarrow \mathbb{R} of measurable functions converging pointwise to a function f:R→Rf: \mathbb{R} \rightarrow \mathbb{R}. The Lebesgue measure is denoted by λ\lambda.

(a) Consider a Borel set A⊂RA \subset \mathbb{R} with finite Lebesgue measure λ(A)<+∞\lambda(A)<+\infty. Define for k,n⩾1k, n \geqslant 1 the sets

En(k):=⋂m⩾n{x∈A∣∣fm(x)−f(x)∣⩽1k}E_{n}^{(k)}:=\bigcap_{m \geqslant n}\left\{x \in A|| f_{m}(x)-f(x) \mid \leqslant \frac{1}{k}\right\}

Prove that for any k,n⩾1k, n \geqslant 1, one has En(k)⊂En+1(k)E_{n}^{(k)} \subset E_{n+1}^{(k)} and En(k+1)⊂En(k)E_{n}^{(k+1)} \subset E_{n}^{(k)}. Prove that for any k⩾1,A=∪n⩾1En(k)k \geqslant 1, A=\cup_{n \geqslant 1} E_{n}^{(k)}.

(b) Consider a Borel set A⊂RA \subset \mathbb{R} with finite Lebesgue measure λ(A)<+∞\lambda(A)<+\infty. Prove that for any ε>0\varepsilon>0, there is a Borel set Aε⊂AA_{\varepsilon} \subset A for which λ(A\Aε)⩽ε\lambda\left(A \backslash A_{\varepsilon}\right) \leqslant \varepsilon and such that fnf_{n} converges to ff uniformly on AεA_{\varepsilon} as n→+∞n \rightarrow+\infty. Is the latter still true when λ(A)=+∞\lambda(A)=+\infty ?

(c) Assume additionally that fn∈Lp(R)f_{n} \in L^{p}(\mathbb{R}) for some p∈(1,+∞]p \in(1,+\infty], and there exists an M⩾0M \geqslant 0 for which ∥fn∥Lp(R)⩽M\left\|f_{n}\right\|_{L^{p}(\mathbb{R})} \leqslant M for all n⩾1n \geqslant 1. Prove that f∈Lp(R)f \in L^{p}(\mathbb{R}).

(d) Let fnf_{n} and ff be as in part (c). Consider a Borel set A⊂RA \subset \mathbb{R} with finite Lebesgue measure λ(A)<+∞\lambda(A)<+\infty. Prove that fn,ff_{n}, f are integrable on AA and ∫Afndλ→∫Afdλ\int_{A} f_{n} d \lambda \rightarrow \int_{A} f d \lambda as n→∞n \rightarrow \infty. Deduce that fnf_{n} converges weakly to ff in Lp(R)L^{p}(\mathbb{R}) when p<+∞p<+\infty. Does the convergence have to be strong?

Typos? Please submit corrections to this page on GitHub.