Abstract Nonsense

Crushing one theorem at a time

Stimulating Sum

Problem: Compute \displaystyle S=\frac{1}{1\cdot2\cdot3\cdot4}+\frac{1}{5\cdot6\cdot7\cdot8}+\cdots

Solution: Note that

\displaystyle S=\sum_{n=0}^{\infty}\frac{1}{(4n+1)(4n+2)(4n+3)(4n+4)}

But, a little manipulation shows this is equal to

\displaystyle S=\sum_{n=0}^{\infty}\frac{(4n+5)(4n!)4!}{4!(4n+4)!}


\displaystyle 4! S=\sum_{n=0}^{\infty}\frac{(4n+5)4!(4n)!}{(4n+5)!}=\sum_{n=0}^{\infty}\frac{(4n+5)\Gamma(4n+1)\Gamma(4+1)}{\Gamma(4n+6)}

Which upon remembering some of the definitions is equal to

\displaystyle 4!S=\sum_{n=0}^{\infty}(4n+5)B(4n+1,5)

Where B(x,y) is the Beta function defined by

\displaystyle B(x,y)=\frac{\Gamma(x)\Gamma(y)}{\Gamma(x+y)}=\int_0^1 t^{x-1}(1-t)^{y-1}dt


\displaystyle 4!S=\sum_{n=0}^{\infty}(4n+5)\int_0^1 t^{4n}(1-t)^4dt

Now, ignoring issues of uniform convergence (it is justifiable)

\displaystyle 4!S=\int_0^1(1-t)^4\sum_{n=0}^{\infty}(4n+5)t^{4n}=\int_0^1\frac{(1-t)^4(5-t^4)}{(1-t^4)^2}dt

But, with a little bit of elbow grease in the partial fractions department this is equal to




More generally, it can be shown using exactly the same method that if

\displaystyle S(\alpha,\beta)=\sum_{n=0}^{\infty}\frac{1}{(\alpha n+1)\cdots(\alpha n+\beta)},\text{ }\alpha,\beta\in\mathbb{N},\text{ }\beta\geqslant 1


\displaystyle \beta! S(\alpha,\beta)=\int_0^1\frac{(1-t)^\beta(\alpha t^\alpha+\beta(1-t^\alpha))}{(1-t^\alpha)^2}

Which when \alpha=1 has the very nice solution

\displaystyle S=\frac{1}{\beta\beta!}


May 21, 2010 - Posted by | Analysis, Computations, Fun Problems, Munkres

No comments yet.

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

%d bloggers like this: