5
$\begingroup$

What is the value of this nontrivial itegral:

$$\int_0^{+\infty} \left( \prod_{n = 1}^{+\infty} \cos \frac{x}{n}\right) \, \mbox d x$$

I don't know if there is nice closed answer with known constants.

$\endgroup$
7
  • $\begingroup$ Some thoughts: By Viete's formula we have $\displaystyle \frac{\sin(x)}{x} = \cos\frac{x}{2} \cdot \cos\frac{x}{4} \cdot \cos\frac{x}{8} \cdots =\prod_{i=1}^{\infty} \cos\frac{x}{2^n}$. From here you just have to evaluate $\int_{0}^{+\infty} \frac{\sin{x}}{x} =\frac{\pi}{2}$. $\endgroup$
    – user9413
    Commented May 31, 2012 at 12:16
  • $\begingroup$ I know this, but in denominator I have linear $n$ instead of exponantial $2^n$ $\endgroup$
    – user13763
    Commented May 31, 2012 at 12:24
  • $\begingroup$ Of course one can numerically evaluate the problem and thus obtain $0.785381$. I'm not sure if this is any otherwise known number... Maybe we should call it the user13763-number. $\endgroup$
    – Fabian
    Commented May 31, 2012 at 12:59
  • $\begingroup$ It will be cool if it were $\frac{\pi}{4}$ $\endgroup$
    – user13763
    Commented May 31, 2012 at 13:17
  • 3
    $\begingroup$ Just to be sure, but I think if you are asking this question you are aware of ams.org/notices/201110/rtx111001410p.pdf (section "Limits of computation"). The similar integral is the first term in the expansion of $\frac{\pi}{8}$. This expansion is quite good --- the first term gives 42 correct digits. Follow the references there too, it might help. $\endgroup$
    – Yrogirg
    Commented May 31, 2012 at 15:56

1 Answer 1

3
$\begingroup$

Beginning of an answer. Use these: $$\begin{align} \cos x &= \prod_{k=0}^\infty \left(1-\frac{4x^2}{(2k+1)^2 \pi^2}\right) \\ \frac{\sin x}{x} &= \prod_{k=1}^\infty \left(1-\frac{x^2}{k^2 \pi^2}\right) \end{align}$$ so that $$\begin{align} f(x) &:= \prod_{n=1}^\infty \cos \frac{x}{n} = \prod_{n=1}^\infty \prod_{k=0}^\infty \left(1-\frac{4x^2}{(2k+1)^2n^2\pi^2}\right) \\ &= \prod_{k=0}^\infty \prod_{n=1}^\infty \left(1-\frac{4x^2}{(2k+1)^2n^2\pi^2}\right) = \prod_{k=0}^\infty \frac{\sin\frac{2x}{2k+1}}{\frac{2x}{2k+1}} . \end{align}$$ We have to check that the order can be reversed.

Now (at least for the first few $K$)$^*$ I get $$ \int_0^\infty \prod_{k=0}^K \frac{\sin\frac{2x}{2k+1}}{\frac{2x}{2k+1}}\,dx = \frac{\pi}{4} $$ exactly. If we can find the right limit theorem, perhaps also $$ \int_0^\infty f(x)\,dx = \int_0^\infty \prod_{k=0}^\infty \frac{\sin\frac{2x}{2k+1}}{\frac{2x}{2k+1}}\,dx = \frac{\pi}{4} $$

$^*$ added No, the answer $\pi/4$ is only true up to $K=6$, but fails for $7$ and up.

$\endgroup$
5
  • $\begingroup$ This might be related. $\endgroup$
    – Fabian
    Commented Jun 1, 2012 at 8:18
  • $\begingroup$ @GEdgar:We know now that the result will be less than π/4. I wonder if a value can be found that the integral result is bigger than the value. Thus the result can be narrowed and be bordered with 2 values. Thanks a lot for your answer. $\endgroup$
    – Mathlover
    Commented Jun 1, 2012 at 13:41
  • $\begingroup$ @Fabian: Yes, exactly (4) and (5) of that paper. $\endgroup$
    – GEdgar
    Commented Jun 1, 2012 at 14:11
  • $\begingroup$ @Mathlover: Why do we know it is less than $\pi/4$? These integrands are not nonnegative, so we don't know they decrease with $K$...??? $\endgroup$
    – GEdgar
    Commented Jun 1, 2012 at 14:13
  • $\begingroup$ I just read the user13763's comment above. $\endgroup$
    – Mathlover
    Commented Jun 1, 2012 at 14:19

You must log in to answer this question.