3
$\begingroup$

In user dxdydz's answer to the question "Unexpected appearances of $\pi^{2}/6$", the identity $$\int_{-\infty}^\infty\binom{1}{t}^3\,\mathrm dt=\frac{3}{2}+\frac{6}{\pi^2}$$ is mentioned.

Here, we employ a generalization of the binomial coefficients to real arguments: $$\binom{x}{y} := \frac{\Gamma(x+1)}{\Gamma(y+1)\Gamma(x-y+1)} = \frac{1}{(x+1)B(y+1,x-y+1)} ,$$ where $B(\cdot,\cdot)$ is the Beta function.

I hadn't seen an integral quite like this one before. It turns out Ramanujan did work on it - as dxdydz states, it comes up in both Part 1 (p. 302 - 304) and Part 2 (p. 225-227) of his Notebooks.

In the answer to a version of this question I asked on MSE, user Marco Cantarini points out that: $$I(n,\alpha,l) := \int_{\mathbb{R}}\dbinom{n}{\alpha x}^{\ell}dx=\sum_{k\in\mathbb{Z}}\dbinom{n}{\alpha k}^{\ell},\,0<\alpha\leq2/\ell,\,\ell\in\mathbb{N}$$ and that a proof can be found here on MO.

I wonder, though, if there are any articles or books that delve into such integrals involving binomial coefficients more elaborately. In particular, I'm interested in descriptions detailing how to find a closed form for $I(1,1,l)$ with $l\in\mathbb{Z}_{\geq1}$. Do you know any references?

$\endgroup$
1
  • $\begingroup$ These are special cases of Mellin Barnes Integrals. You can work with them through Fox-H function that was implemented in Wolfram's Mathematica recently. $\endgroup$ Commented Jul 13, 2022 at 23:27

1 Answer 1

4
$\begingroup$

comment
$$ \binom{t}{1} = \frac{1}{\Gamma(t+1)\Gamma(2-t)} = \frac{\sin((t+1)\pi)}{t(t-1)\pi} $$ Using this, Maple does the indefinite integrals in terms of the functions ${\rm Si}$ and ${\rm Ci}$. Taking limits at $\pm \infty$ the first few results are $$ I\left( 1,1,1 \right) =2,\\ I\left( 1,1,2 \right) =2,\\ I\left( 1,1,3 \right) ={\frac{3}{2}}+6\,{\pi}^{-2},\\ I\left( 1,1,4 \right) ={\frac{4 }{3}}+10\,{\pi}^{-2},\\ I\left( 1,1,5 \right) ={\frac{115}{96}}+{\frac { 75}{8\,{\pi}^{2}}}+{\frac {105}{2\,{\pi}^{4}}},\\ I\left( 1,1,6 \right) ={\frac{11}{10}}+{\frac {21}{2\,{\pi}^{2}}}+{\frac {189}{2\,{\pi}^{4}} },\\ I\left( 1,1,7 \right) ={\frac{5887}{5760}}+{\frac {539}{48\,{\pi}^{ 2}}}+{\frac {735}{8\,{\pi}^{4}}}+{\frac {1155}{2\,{\pi}^{6}}}, \\I\left( 1,1,8 \right) ={\frac{302}{315}}+12\,{\pi}^{-2}+110\,{\pi}^{-4 }+{\frac {2145}{2\,{\pi}^{6}}},\\ I\left( 1,1,9 \right) ={\frac{259723}{ 286720}}+{\frac {13005}{1024\,{\pi}^{2}}}+{\frac {63855}{512\,{\pi}^{4 }}}+{\frac {135135}{128\,{\pi}^{6}}}+{\frac {225225}{32\,{\pi}^{8}}}, \\ I\left( 1,1,10 \right) ={\frac{15619}{18144}}+{\frac {1925}{144\,{\pi} ^{2}}}+{\frac {13585}{96\,{\pi}^{4}}}+{\frac {125125}{96\,{\pi}^{6}}}+ {\frac {425425}{32\,{\pi}^{8}}} $$

$\endgroup$
1
  • $\begingroup$ Thank you! Perhaps some CAS can help discern a general pattern in these results $\endgroup$
    – Max Muller
    Commented Jul 13, 2022 at 20:59

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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