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.

It's long known that the first Watson triple integral evaluates to,

$$I_1 = \frac{1}{\pi^3} \int_{0}^{\pi} \int_{0}^{\pi} \int_{0}^{\pi} \frac{dx \, dy \, dz}{1-\cos x \cos y \cos z} = \frac{\Gamma^4\left(\tfrac{1}{4}\right)}{4\pi^3} = 1.3932039\dots$$

Apparently, it is also equivalent to the simple infinite series,

$$I_1= \frac{4}{3} \sum_{n = 0}^{\infty} \frac{(4n)!}{n!^4} \frac{1}{(2 \cdot 18^2)^n} $$

which is connected to the Ramanujan-type pi formula,

$$\frac{1}{\pi}= \frac{2}{9} \sum_{n = 0}^{\infty} \frac{(4n)!}{n!^4} \frac{7n+1}{(2 \cdot 18^2)^n} $$

I found such series for $I_1$, $I_2$, and $I_3$. Using Mathematica, it is easy to see that they agree to an arbitrary number of decimal digits. But if you can prove them rigorously, it would be interesting to know how. More details are at,

http://sites.google.com/site/tpiezas/0025

share|improve this question
add comment

1 Answer 1

up vote 7 down vote accepted

The sum

$$ \frac{4}{3} \sum_{n \ge 0} \frac{(4 n)!}{(n!)^4} z^4 = \frac{4}{3} \sum_{n \ge 0} \frac{ (\frac{1}{4})_n (\frac{3}{4})_n (\frac{1}{2})_n }{ (1)_n (1)_n} \frac{(256 z)^n}{n!} = \frac{4}{3} {}_3F_2\left( \left. \begin{array}{c} \frac{1}{4}, \frac{1}{2}, \frac{3}{4} \\ 1, 1 \end{array} \right| 256 z \right) $$

This particular hypergeometric function can be expressed in term of complete elliptic integral:

$$ {}_3F_2\left( \left. \begin{array}{c} \frac{1}{4}, \frac{1}{2}, \frac{3}{4} \\ 1, 1 \end{array} \right| w \right) = \frac{4 \sqrt{2} }{ \pi^2 } \frac{ K\left( \frac{1}{2}- { \frac{1}{\sqrt{2(1+ \sqrt{1-w} )} } } \right)^2}{ \sqrt{(1 + \sqrt{1 - w}) } } $$

For $z =\frac{1}{2 \cdot 18^2}$, $w =\frac{32}{81}$. Then, it results that

$$ I_1 = \frac{4 \sqrt{2}}{\pi^2} \left(K\left(\frac{1}{2} - \frac{3 \sqrt{2}}{8}\right)\right)^2 $$ Now elliptic integrals for certain moduli are known to related to gamma functions. These are known as singular values of elliptic integrals.

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.