Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Is uniform convergence justification for moving a limit inside an infinite sum?

I'm trying to evaluate $$ \lim_{n \to \infty} n \int_{0}^{1} \ln(1+x^{n}) \ dx . $$

I found that it equals $$\displaystyle\lim_{n \to \infty} \sum_{k=1}^{\infty} (-1)^{k+1} \frac{n}{k+k^2n}.$$

Can I move the limit inside the infinite sum and conclude

$$ \lim_{n \to \infty} n \int_{0}^{1} \ln(1+x^{n}) \ dx = \sum_{k=1}^{\infty} \frac{(-1)^{k+1}}{k^{2}} = \frac{\pi^{2}}{12}?$$

share|cite|improve this question
If you want to motivate moving a limit inside an integral, you might be interested in [Beppo Levi's theorem][2] and [Lebesgue's theorem][1] (also called dominated convergence theorem). Those are usually used to justify such manipulations. [1]: [2]:'s_Theorem – Daniel Robert-Nicoud Feb 6 '13 at 17:19
up vote 5 down vote accepted

Yes. Uniform convergence allows you to pass the limit inside the sum and inside the integral. The Theorem goes as follows:

Let $X\subseteq \mathbb{R}$, $a\in \bar{\mathbb{R}}$ be a limit point of $X$ (*), $f_k:X\to \mathbb{R}$. If the limit $\lim_{x\to a}f_k(x)$ exists and $\sum_{k=0}^{\infty}f_k$ converges uniformly then \begin{equation}\lim_{x\to a}\sum_{k=0}^{\infty}f_k(x)=\sum_{k=0}^{\infty}\lim_{x\to a}f_k(x)\end{equation}

So in your case you need to show $\lim_{n\to \infty}(-1)^{k+1}\frac{n}{k+k^2n}$ for fixed $k$ exists (simple) and $\sum_{k=0}^{\infty}(-1)^{k+1}\frac{n}{k+k^2n}$ converges uniformly for $n$. I suggest the Weierstrass M test:

If $\forall k\in \mathbb{N}\; \sup_{x\in X}\left|f_k(x)\right|\le M_k$ and the series $\sum_{k=0}^{\infty}M_k$ converges then the series $\sum_{k=0}^{\infty}f_k$ converges uniformly.

In our case, for $x\ge 0$ and $k\ge 1$, $$\left|f_k(x)\right|=\frac{x}{k+k^2x}\le \frac1{k^2}:=M_k$$ and so...

(*) $a$ may very well be infinite

share|cite|improve this answer

You could also let $x^n = y$, which gives you

$$ n \int_0^1 \log(1+x^n)\,dx = \int_0^1 \frac{\log(1+y)}{y}\,y^{1/n}\,dy \longrightarrow \int_0^1 \frac{\log(1+y)}{y}\,dy, $$

by the dominated convergence theorem.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.