# Math Help - Lebesgue Integral

1. ## Lebesgue Integral

Let $(f_n)$ be a sequence in $L^2 (\Re)$.Suppose that $\|f_n\|_2 < M$ and $f_n \rightarrow f$ a.e. on $\Re$.
Show that $\int f_ng\rightarrow \int fg$ for all g $\in L^2(\Re)$.

$L^2$ is a Hilbert space,hence it is complete under the norm $\|.\|_2$.So, if $f_n\rightarrow f$,then $f\in L^2(\Re)$.But I am not sure whether we can claim the same thing on almost everywhere converges sequence in Hilbert space.
Am I in the right way to prove the question?If I am wrong,can anyone please help me

2. Hello,

The claim should be okay for the almost everywhere. There's some thing dealing with equivalence classes.

Can't you use Lebesgue dominated theorem for your problem ?

3. Originally Posted by problem
Let $(f_n)$ be a sequence in $L^2 (\Re)$.Suppose that $\|f_n\|_2 < M$ and $f_n \rightarrow f$ a.e. on $\Re$.
Show that $\int f_ng\rightarrow \int fg$ for all g $\in L^2(\Re)$.
Your question has been puzzling me...

Fatou's lemma gives $\int f(x)^2 dx\leq \liminf_n \int f_n(x)^2 dx\leq M^2$, hence $f\in L^2(\mathbb{R})$. (and not because of completeness)
I think the conclusion (what we want to prove) is equivalent to $\|f_n-f\|_2\to_n 0$.

It would be tempting to apply the bounded convergence theorem, like Moo suggests, but there is no obvious dominating function. Sure we can write $\int |f_ng|\leq M \|g\|_2$ by Cauchy-Schwarz, but what we would need is $|f_n(x) g(x)|\leq \phi(x)$ for some integrable function $\phi$.

If nobody can provide an answer on the forum, please tell us your teacher's solution when you get it.

4. I see this question randomly from a book which I had forgotten the title of the book.

5. I don't know if this is useful (I personally think I'm in the right direction, but there are some things missing) so I'm posting it here to see if anyone can do something with it:

Since $\Vert f_n \Vert \leq M$ it follows that there exists $(f_{n_k}) \subset (f_n)$ such that $f_{n_k} \rightarrow h \in L^2(\mathbb{R} )$ weakly i.e. $\int \ f_{n_k}g \rightarrow \int \ hg$ for all $g \in L^2 (\mathbb{R} )$. I'm stuck trying to prove $f=h$ and that in fact $f_n \rightarrow h$ weakly.

I know it's not much, but at least it looks like what we're trying to prove. Hope it helps, I'll keep trying to figure it out.

6. Originally Posted by Moo
Hello,

The claim should be okay for the almost everywhere. There's some thing dealing with equivalence classes.

Can't you use Lebesgue dominated theorem for your problem ?
I agree, wouldn't DCT be enough? Since $|f_n| so $|f_ng|<|Mg|\in L^2(\Re)$?

7. Originally Posted by putnam120
I agree, wouldn't DCT be enough? Since $|f_n| so $|f_ng|<|Mg|\in L^2(\Re)$?
Yeah, you're right. Hölder's inequality and DCT is all that's needed.

8. Originally Posted by putnam120
I agree, wouldn't DCT be enough? Since $|f_n| so $|f_ng|<|Mg|\in L^2(\Re)$?
Originally Posted by Jose27
Yeah, you're right. Hölder's inequality and DCT is all that's needed.

wait, I just noticed that this is not valid, because what is bounded is the norm in $L^2$ of $f_n$, and to use DCT you need $\vert f_n(x)g(x) \vert$ to be bounded by an integrable function which doesn't follow from Hölder, the best you would get is $\Vert f_ng \Vert _1 \leq M \Vert g \Vert _2$ (where $\Vert . \Vert _1$ is the norm in $L^1$ ). so DCT is not enough, at least not like that.

9. Originally Posted by Jose27
I don't know if this is useful (I personally think I'm in the right direction, but there are some things missing) so I'm posting it here to see if anyone can do something with it:

Since $\Vert f_n \Vert \leq M$ it follows that there exists $(f_{n_k}) \subset (f_n)$ such that $f_{n_k} \rightarrow h \in L^2(\mathbb{R} )$ weakly i.e. $\int \ f_{n_k}g \rightarrow \int \ hg$ for all $g \in L^2 (\mathbb{R} )$. I'm stuck trying to prove $f=h$ and that in fact $f_n \rightarrow h$ weakly.

I know it's not much, but at least it looks like what we're trying to prove. Hope it helps, I'll keep trying to figure it out.
I also believe you are in the correct direction. The ball with radius M in $L^2$ is weakly compact, hence any "weaker" (less fine than the weak) Hausdorff topology agree with the weak topology in this ball. The point is showing that almost everywhere convergence implies a convergence in a topology with this characteristiscs, but unfortunately I don't see how to define such a topology. Perhaps it is trivial but at the moment I don't see.

Perhaps it is possible to answer the first question in your given argument. $(f_{n_k}-h)$ tends weakly to 0. Then I believe that taking $g\in L^2$ charecteristic functions of bounded intervals implies almost everywhere convergence to zero of $(f_{n_k}-h)$ (using DCT in bounded intervals because the functions are essentially bounded in each interval by $2\sqrt{M}$ divided the lenghth of the interval) and then $f=h$ in $L^2$. But at the moment I don't know how to deduce from this fact the convergence of the whole sequence.

10. Originally Posted by Enrique2
The ball with radius M in $L^2$ is weakly compact
This seems to be the right way indeed. More precisely, the fact that bounded sequences in $L^2$ have weakly convergent subsequences.

Let us prove that any weakly convergent subsequence of $(f_n)_n$ converges weakly toward $f$ (i.e. that $f$ is the only cluster point of the sequence $(f_n)_n$ for the weak topology). Then we will be able to conclude that $(f_n)_n$ converges weakly toward $f$. Indeed, if not, then there would be $\epsilon>0$ and $g\in L^2$ such that, for all $n$, $|\int f_n g -\int f g|>\epsilon$, which contradicts the existence of a subsequence of $(\int f_n g)_n$ converging toward $\int fg$. This is a general feature: in a sequentially compact space (here, a closed $L^2$-ball for weak topology), if a sequence has only one cluster point, then it converges (to the unique cluster point).

So, let's assume that a subsequence $(f_{\varphi(n)})_n$ converges weakly toward some limit $h\in L^2$. In order to ease the writing, I shall take $\varphi(n)=n$ (or I could write $f'_n=f_{\varphi(n)}$ and study $(f'_n)_n$). We know that $\int f_n g\to \int h g$ for all $g\in L^2$, and $f_n(x)\to f(x)$ for almost-all $x\in\mathbb{R}$.

Let us first reduce to a finite measure space (maybe there's a quicker way, I am biased by my acquaintance with probability). Let $I$ be a bounded interval of $\mathbb{R}$. We have of course $\int_I f_n g\to\int_I h g$ for all measurable function $g$ on $I$ (taking $g(x)=0$ outside $I$). Let $\epsilon>0$. By Egoroff's theorem, there is a measurable subset $A_\epsilon\subset I$ such that $\lambda(A_\epsilon^c)<\epsilon$ (Lebesgue measure) and $(f_n)_n$ converges uniformly toward $f$ on $A_\epsilon$. Then $\int_{A_\epsilon} f_n g\to \int_{A_\epsilon} f g$ because of Lebesgue's bounded convergence theorem: $|(f_n(x)-f(x))g(x)|\leq \|(f_n-f) 1_{A_\epsilon}\|_\infty |g(x)|\leq C |g(x)|$ (by uniform convergence) and $g\in L^2(I)\subset L^1(I)\subset L^1(A_\epsilon)$ (because the measure of $I$ is finite). Thus, we have both $\int_{A_\epsilon} f_n g\to \int_{A_\epsilon} f g$ and $\int_{A_\epsilon} f_n g \to \int_{A_\epsilon} h g$ (by applying our hypothesis to the function $g 1_{A_\epsilon}$), hence $\int_{A_\epsilon} f g= \int_{A_\epsilon} h g$ for all $g\in L^2(A_\epsilon)$, and finally $f=h$ almost-everywhere in $A_\epsilon$. This gives $\lambda(\{x\in I| f(x)\neq h(x)\})\leq \lambda(A_\epsilon^c)\leq \epsilon$. Therefore, $\lambda(\{x\in I| f(x)\neq h(x)\})=0$. In other words, $f(x)=h(x)$ for almost all $x$ in $I$. Since $\mathbb{R}$ is $\sigma$-finite (a big word for just writing $\mathbb{R}=\bigcup_{n\in \mathbb{Z}} [n,n+1]$), we deduce finally from the finite measure case that $f(x)=h(x)$ for almost all $x\in\mathbb{R}$. QED. If there is no mistake.