Take the 2-minute tour ×
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.

Does $$\int_0^1 \sum_{n=0}^\infty x e^{-nx}\;dx = \sum_{n=0}^\infty \int_0^1 x e^{-nx}dx$$ ?

This exercise leaves me stumped. On the one hand, it seems the series $\sum_{n=0}^\infty xe^{-nx}$ is not uniformly convergent in $[0,1]$ (it equals $\frac{xe^x}{(e^x-1)}$ in $(0,1]$ and 0 in $x_0=0$, so it cannot be uniformly convergent since it is a series of continuous functions that converges to a non-continuous function). On the other hand, if this is the case, how do I deal with that... thing?

Perhaps the series is uniformly convergent and I made a mistake?

Thanks!

share|improve this question
add comment

1 Answer 1

up vote 2 down vote accepted

You can use Fubini's theorem, but it seems overkill. Note that for all integer $N$ we have $$\sum_{n=0}^N\int_0^1xe^{-nx}dx=\int_0^1\sum_{n=0}^Nxe^{-nx}dx\leq \int_0^1\sum_{n=0}^{+\infty}xe^{-nx}dx,$$ so $$\sum_{n=0}^{+\infty}\int_0^1xe^{-nx}dx\leq \int_0^1\sum_{n=0}^{+\infty}xe^{-nx}dx.$$ For the reversed inequality, fix $\varepsilon>0$. Since $\sum_{n=0}^{+\infty}xe^{-nx}$ is integrable, we can find a $\delta>0$ such that $\int_0^{\delta}\sum_{n=0}^{+\infty}xe^{-nx}\leq \varepsilon$. And the series $\sum_{n=0}^{+\infty}xe^{-nx}$ is normally convergent on $[\delta,1]$. So we have \begin{align*} \int_0^1\sum_{n=0}^{+\infty}xe^{-nx}dx&=\int_0^\delta\sum_{n=0}^{+\infty}xe^{-nx}dx+\int_\delta^1\sum_{n=0}^{+\infty}xe^{-nx}dx\\ &\leq\varepsilon +\int_\delta^1\sum_{n=0}^{+\infty}xe^{-nx}dx\\ &=\varepsilon +\sum_{n=0}^{+\infty}\int_\delta^1xe^{-nx}dx\\ &\leq \varepsilon +\sum_{n=0}^{+\infty}\int_0^1xe^{-nx}dx, \end{align*} and since $\varepsilon$ is arbitrary we can conclude the equality.

share|improve this answer
add comment

Your Answer

 
discard

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.