This was originally posted on Math Stack Exchange, but no responses were received. I recently came across the following remarkable identity, due to Hardy:
$$\displaystyle \int_{-\infty}^{\infty} \frac{J_{\mu}(a(z+t))}{(z+t)^{\mu}} \frac{J_{\nu}(a(\zeta + t))}{(\zeta + t)^{\nu}} \ \mathrm{d}t = \frac{\Gamma(\mu + \nu)\Gamma(\frac{1}{2})}{\Gamma(\mu + \frac{1}{2})\Gamma(\nu + \frac{1}{2})} \times \left( \frac{2}{a}\right)^{\frac{1}{2}} \frac{J_{\mu + \nu - \frac{1}{2}}(a(z - \zeta))}{(z - \zeta)^{\mu + \nu - \frac{1}{2}}},$$
where $J_{\nu}$ denotes the Bessel function of the first kind, $\mathrm{Re}(\mu + \nu) > 0$, $a > 0$, and $z, \zeta \in \mathbb{R}$. If anyone is interested in further details, it can be found in "A Treatise on the Theory of Bessel Functions", page 422. Some of the book (including the page referenced) can be found here.
In my research, I am dealing with an integral which looks identical to this one, with the exception that it is in $d$ dimensions. In particular, the integral I am concerned with is
$$\displaystyle \int_{\mathbb{R}^d} \frac{J_{d/2}(\rho |\alpha|)}{|\alpha|^{d/2}} \frac{J_{d/2}(\rho|k - \alpha|)}{|k - \alpha|^{d/2}} \ \mathrm{d}\alpha,$$
where $|\cdot|$ denotes the Euclidean norm on $\mathbb{R}^d$, and $\rho$ does not depend on $k \neq 0$ nor on $\alpha$. The obvious co-ordinate change is to take $|\alpha| = \tau$ and to assume without loss of generality that $|k| = r$, but this creates unwanted trigonometric terms in the argument of one of the Bessel functions, as well as destroying the symmetry of the two integrals. Can anyone see some way of relating Hardy's identity to my integral?
