Calculus – Can a Limit of an Integral Be Moved Inside the Integral?

calculusintegration

After coming across this question: How to verify this limit, I have the following question:

When taking the limit of an integral, is it valid to move the limit inside the integral, providing the limit does not affect the limits of integration?

For instance in the question, the OP is trying to determine that:

$$\lim_{n\to\infty}\int_{0}^{1}{\frac{dx}{(1+\frac{x}{n})^{n}}}=1-\rm{e}^{-1}$$

The answers to the question involve evaluating the integral and then taking the limit to prove the result; but I was wondering if it would be valid to move the integral inside the limit, that is:

$$\lim_{n\to\infty}{\int_{0}^{1}{\frac{dx}{(1+\frac{x}{n})^{n}}}}=\int_{0}^{1}{\lim_{n\to\infty}\frac{dx}{(1+\frac{x}{n})^{n}}}=\int_{0}^{1}{\frac{dx}{{\rm{e}}^x}}=\rm{e}^{0}-\rm{e}^{-1}=1-\rm{e}^{-1}$$

As required. So is this a valid technique, or is it just coincidental that this works?

Check :

$\displaystyle\begin{align}\lim\limits_{n\to\infty}\int_0^1&\dfrac{dx}{\left(1+\dfrac xn\right)^n}=\lim\limits_{n\to\infty}\left[\dfrac{-n}{n-1}\left(1+\dfrac xn\right)^{1-n}\,\right]_0^1=\\
&=\lim\limits_{n\to\infty}\dfrac{-n}{n-1}\left[\left(1+\dfrac1n\right)^{1-n}-1\right]=\\
&=\lim\limits_{n\to\infty}\dfrac n{n-1}\left[1-\left(1+\dfrac1n\right)^{1-n}\,\right]=\\
&=\lim\limits_{n\to\infty}\dfrac n{n-1}\left[1-\dfrac{\left(1+\dfrac1n\right)}{\left(1+\dfrac1n\right)^n}\,\right]=\\
&=1\cdot\left[1-\dfrac1{\rm{e}}\right]=\\
&=1-\rm{e}^{-1}
\end{align}$

$\displaystyle\begin{align}\int_0^1 \lim\limits_{n\to\infty}\dfrac{dx}{\left(1+\dfrac xn\right)^n}&=\int_0^1\dfrac{dx}{{\rm{e}}^x}=\bigg[\!-{\rm{e}}^{-x}\bigg]_0^1=\\
&=\rm{e}^0-\rm{e}^{-1}=1-\rm{e}^{-1}
\end{align}$

Best Answer

Taking the limit inside the integral is not always allowed. There are several theorems that allow you to do so. The major ones being Lebesgue dominated convergence theorem and Monotone convergence theorem.

The uniform convergence mentioned in the comments is a special case of Dominated convergence theorem.

Related Question