# Applying Fatou's Lemma to Determine the Existence of Lebesgue Integrals

Recall from the Fatou's Lemma page that Fatou's lemma states that if:

**1)**$(f_n(x))_{n=1}^{\infty}$ is a sequence of**Lebesgue integrable functions**on $I$ that are**nonnegative**.

**2)**$(f_n(x))_{n=1}^{\infty}$**converges to a limit function $f$ almost everywhere**on $I$.**3)**There**exists an $M \in \mathbb{R}$, $M > 0$**such that $\displaystyle{\int_I f_n(x) \: dx \leq M}$ for all $n \in \mathbb{N}$.

Then we can conclude that:

**a)**$f$ is Lebesgue integrable on $I$.

**b)**$\displaystyle{\int_I f(x) \: dx \leq M}$.

We will now look at a nice example of applying Fatou's lemma.

## Example 1

**Use the Fatou's lemma to show that the Lebesgue integral $\displaystyle{\int_I \frac{\ln (1 - x)}{\sqrt{1 - x}}}$ exists, where $I = [0, 1]$.**

We will first show that $\displaystyle{\int_I -\frac{\ln (1 - x)}{\sqrt{1 - x}}}$ exists.

We first note that the function $\displaystyle{f(x) = -\frac{\ln (1 - x)}{\sqrt{1 - x}}}$ is discontinuous at $x = 1$. Define a sequence of functions $(f_n(x))_{n=1}^{\infty}$ where $f_n$ is defined for all $n \in \mathbb{N}$ by:

(1)Notice that $\displaystyle{-\frac{\ln (1 - x)}{\sqrt{1 - x}}}$ is Lebesgue integrable on $\left [ 0, \frac{n}{n+1} \right ]$ for all $n \in \mathbb{N}$, and $0$ is Lebesgue integrable on $\left ( \frac{n}{n+1}, 1 \right )$ for all $n \in \mathbb{N}$. So by theorems presented on the Additivity of Lebesgue Integrals on Subintervals of General Intervals page we see that $f_n$ is Lebesgue integrable for all $n \in \mathbb{N}$.

It's also not hard to see that $(f_n(x))_{n=1}^{\infty}$ converges to $f$ almost everywhere on $[0, 1]$ (everywhere except at $x = 1$). Furthermore, notice that:

(2)Using L'Hospital's rule we see that:

(3)Therefore we see that $\displaystyle{\lim_{b \to 1} \left [ (2 \ln (1 - x) - 4)\sqrt{1 - x} + 4 \right ] = 4}$. Since each $f_n$ is nonnegative on $[0, 1]$ we se that:

(4)So by Fatou's lemma we must have that $f$ is Lebesgue integrable on $I$. However, notice that:

(5)Since $f$ is Lebesgue integrable on $I$ we have that $\displaystyle{-f(x) = \frac{\ln(1 - x)}{\sqrt{1 - x}}}$ is Lebesgue integrable on $I$, i.e., $\displaystyle{\int_I \frac{\ln(1 - x)}{\sqrt{1 - x}}}$ exists. The graph of $-f$ (the original function) is given below: