Variant of dominated convergence theorem, does it follow that $\int f_n \to \int f$?

Solution 1:

First observe that $|f|\leq g$ since $|f_n|\leq g_n$ for all $n$ and $f_n\to f,g_n\to g$ almost everywhere. Therefore the function $$ h_n=g+g_n-|f-f_n| $$ is non-negative, so we can apply Fatou's lemma to conclude that $$ \int \liminf_{n\to\infty}h_n\leq \liminf_{n\to\infty}\int h_n$$

Using the fact that $\int g_n\to \int g<\infty$, it follows that $$ \limsup_{n\to\infty}\int |f_n-f|=0 $$ and since $$ \Big|\int f_n-\int f\Big|\leq \int |f-f_n| $$ this shows that $\int f_n\to\int f$.