We have functions $f_n\in L^2$ such that $f_n(x)$ tends to some $f(x)$ for almost all $x$, suppose that $||f_n||
Limit of an $L^2$ sequence
-
0your accounts have been merged. Please register your account so that you don't have login problems in the future and don't need to make new accounts. – 2011-05-19
1 Answers
Yes.
By Fatou's lemma we have $f \in L^2$, so by replacing $f_n$ by $f_n - f$ we can assume that $f=0$.
Fix $g \in L^2$ and $\epsilon > 0$. By a standard dominated convergence argument, there is a set $A$ of finite measure with $\int_{A^c} |g|^2 < \epsilon$. There is also a $K$ so large that $\int_{|g| > K} |g|^2 < \epsilon$. Let $B = A \cap \{|g| \le K\}$; then $\lvert\int_{B^c} f_n g \rvert \le M \sqrt{2 \epsilon}$ by Cauchy--Schwarz, for every $n$.
On the other hand, for each $n$ we have $\int_B |f_n g|^2 \le K^2 M$. So $\{f_n g\}$ is an $L^2$-bounded sequence of functions on the finite measure space $B$, hence it is uniformly integrable on $B$. We also have $f_n g \to 0$ almost everywhere, and hence they converge in measure on $B$; by the Vitali convergence theorem $f_n g \to 0$ in $L^1(B)$, so $\int_B f_n g \to 0$. Letting $\epsilon \to 0$ completes the proof.
Edit: With respect to your other question (when can you say that an $L^1$-bounded, a.e. convergent sequence must converge weakly in $L^1$), the answer is: only in trivial cases. Essentially, if the measure space is anything but a finite union of atoms, you can construct a sequence of nonnegative $f_n \in L^1$ with $f_n \to 0$ a.e. but $||f_n||_{L^1} = 1$, so that taking $g=1 \in L^\infty$, you have $\int f_n g = 1$ for all $n$. (Idea: let $f_n = \mu(A_n)^{-1} 1_{A_n}$ where either $\mu(A_n) \uparrow \infty$, or $\mu(A_n) \downarrow 0$ fast (in particular try $\sum \mu(A_n) < \infty$)).
-
0@user1736: done. – 2011-05-19