7
$\begingroup$

I have asked related questions on MSE and received no answer, so: I am looking for proofs of the integrals presented in Erdélyi's Table of Integral Transforms vol. i-ii, specifically proofs of the various gamma integrals presented on page 297-299 of volume 2, for instance:

$$\int_{\mathbb{R}} \frac{dx}{\Gamma(\alpha + x)\Gamma(\beta - x)}= \frac{2^{\alpha + \beta -2}}{\Gamma(\alpha + \beta - 1)},~\Re(\alpha + \beta)>1.$$

That the proofs for the identities presented in the work were reviewed closely is mentioned in the preface, though I cannot find any separate references containing the proofs.

Link to e-PDFs of the work in question.

Improve this question
$\endgroup$
1
  • 2
    $\begingroup$ If $\alpha$ and $\beta$ are positive integers, and the integral over real $x$ is replaced by a sun over integer $x$, then this becomes the identity: $$\sum_k \binom{\alpha+\beta-2}k = 2^{\alpha+\beta-2}$$Can a proof of that identity be transformed to a proof of the integration? $\endgroup$
    – user44143
    Mar 7, 2020 at 4:33

2 Answers 2

Reset to default
10
$\begingroup$

Titchmarsh’s Fourier integrals (1937, 7.6.4) has proof and attribution to Ramanujan.

Improve this answer
$\endgroup$
6
$\begingroup$

Another approach appears as a comment on your question, so this is just a rip-off trying to make things tidier but surely there are other ways to Titchmarsh and this to prove it

$ \int_{\mathbb{R}}\frac{dx}{\Gamma(\alpha+x)\Gamma(\beta-x)}\\ =\frac{1}{\Gamma(\alpha+\beta-1)}\int_{\mathbb{R}}\frac{\Gamma(\alpha+\beta-1)dx}{\Gamma(\alpha+x)\Gamma(\beta-x)}\\ =\frac{1}{\Gamma(\alpha+\beta-1)}\int_{\mathbb{R}}\frac{(\alpha+\beta-2)!dx}{(\alpha+x-1)!(\beta-x-1)!}\\ =\frac{1}{\Gamma(\alpha+\beta-1)}\int_{\mathbb{R}}\binom{\alpha+\beta-2}{\alpha+x-1}dx\\ =\frac{1}{\Gamma(\alpha+\beta-1)}\int_{\mathbb{R}}\frac{1}{2\pi i}\oint_{|z|=1}\frac{(1+z)^{\alpha+\beta-2}}{z^{\alpha+x}}dzdx\\ =\frac{1}{\Gamma(\alpha+\beta-1)}\oint_{|z|=1}\frac{(1+z)^{\alpha+\beta-2}}{z^{\alpha}}\frac{1}{2\pi i}\int_{\mathbb{R}}z^{-x}dxdz\\ =\frac{1}{\Gamma(\alpha+\beta-1)}\int_{-\pi}^{\pi}\frac{(1+e^{i\theta})^{\alpha+\beta-2}}{e^{i(\alpha -1) \theta}}\frac{1}{2\pi }\int_{\mathbb{R}}e^{-i\theta x}dxd\theta\\ =\frac{1}{\Gamma(\alpha+\beta-1)}\int_{-\pi}^{\pi}\frac{(1+e^{i\theta})^{\alpha+\beta-2}}{e^{i(\alpha -1) \theta}}\delta(-\theta)d\theta\\ =\frac{1}{\Gamma(\alpha+\beta-1)}\int_{-\pi}^{\pi}\frac{(1+e^{i\theta})^{\alpha+\beta-2}}{e^{i(\alpha -1) \theta}}\delta(\theta)d\theta\\ =\frac{1}{\Gamma(\alpha+\beta-1)}\frac{(1+e^{i0})^{\alpha+\beta-2}}{e^{i(\alpha -1) 0}}\\ =\frac{2^{\alpha+\beta-2}}{\Gamma(\alpha+\beta-1)} $

Improve this answer
$\endgroup$
2
  • $\begingroup$ Thanks Michael Engelhardt for edits, for the second one I selected improve instead of approve because I had another error not sure if that means the second edit won't appear as accepted $\endgroup$
    – Dabed
    Mar 7, 2020 at 15:16
  • 1
    $\begingroup$ You're welcome - everything's fine, this is a cute derivation. $\endgroup$
    – Michael Engelhardt
    Mar 8, 2020 at 3:57

Your Answer

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

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