If $\int f(x)dx\leq \liminf\int f_n(x) dx$, then $\lim\limits_{n\to\infty}\int f_n(x)dx=\int \lim\limits_{n\to\infty}f_n(x)dx=\int f(x)dx$

lebesgue-integrallebesgue-measuremeasure-theoryreal-analysisriemann-integration

I found this question in my schools's Riemann's past question.

Let $\{f_n\}$ be a sequence of non-negative function which converges to an integrable function $f$ and supposing $ f_{n}\leq f(x)$ for each $n$. It is known that
\begin{align} \int f(x)dx\leq \liminf\int f_n(x) dx\end{align}
Then, show that \begin{align} \lim\limits_{n\to\infty}\int f_n(x)dx=\int \lim\limits_{n\to\infty}f_n(x)dx=\int f(x)dx\end{align}

QUESTIONS

  1. I believe this question is based on measure theory. Should this question appear at all in Riemann integration?

  2. Can we do this proof by Riemann integration? If no, then I'll need help but below is my trial.

MY TRIAL

Since $f_{n}\leq f(x)$ for each $n$, then
\begin{align} \int \liminf f_n(x)dx \leq\int f(x)dx\end{align}
I cannot interchange limit and integral since I am not sure if $f_n$ converges to $f$ uniformly. SO, I'm stuck here. Please, can someone help me? Mind you I have not been introduced to Measure theory yet but I can learn the steps if someone puts me through. That's if there's no other way but Measure theory approach. Thanks!

Best Answer

What you are trying to prove is not true. Take $f_n(x)$ to be a function defined on $[0,\infty)$ which is zero everywhere except on the interval $[n-1/n,n+1/n]$, where its graph is a triangle whose vertices are at the points $(n-1/n,0),(n+1/n,0),(n,n)$. Then $f_n(x)$ converges pointwise to the zero function, but for every $n$, the integral of $f_n(x)$ is exactly $1$.

The formulation of the question seems to assume that the liminf inequality provides some information that may assist in proving the desired result, but that inequality does not provide any new information. In fact, it is true even under milder conditions - $f_n(x)$ need not converge pointwise to $f(x)$, and it is enough that $f(x)=\liminf f_n(x)$. In that setting it is known as Fatou's lemma. In other words, if one could prove the desired assertion, then it would follow that whenever $f_n(x)$ converges pointwise to $f(x)$, the integrals converge too, which - as is well known and shown by the above example -- is not true.

Addendum If you change the assumptions and assume that $f_n(x)\leq f(x)$, and that $f(x)$ is integrable, then the desired convergence of integrals is an immediate result of Lebesgue's dominated convergence theorem.

Related Question