I encountered the following identity in a paper on number theory, 


$$\int\_{-\infty}^{\infty}\frac{dW}{(W+i)^{\frac{3}{2}}(W^2+1)^s}=\frac{e^\frac{-3\pi i}{4}\sqrt{2}\pi \Gamma(2s+\frac{1}{2})}{2^{2s}\Gamma(s+\frac{3}{2})\Gamma(s)},$$


with $Re(s) > 0$ and $i=\sqrt{-1}$. 


Since the author did not give the proof for this, maybe it is "well-known", but I failed to gave a proof. Note that the right hand side looks like the Beta function with some multiplier, and we can write $W^2+1=(W+i)(W-i)$ on the left hand side, maybe we need to do some variable substitution.


Does any one know how to prove this identity or have some references? Thank you for any kind of input.



An integral identity relate to the Gamma function or the Beta function
To evaluate $\int\_{-\infty}^\infty {dx\over (1+ix)^a\,(1-ix)^b}$, view this as $\int\_{-\infty}^\infty \widehat{f\_a}(x)\,\overline{\widehat{f\_{\overline{b}}}(x)}\,dx$ where $f\_c$ are functions whose Fourier transforms are $(1+ix)^{-c}$. Use the Gamma-function identity
$$
\int\_0^\infty e^{-ty}\,t^c\;{dt\over t}\;=\; y^{-c}\cdot \Gamma(c)
$$
at first for real $y>0$, and then for complex $y$ with $\Re(y)>0$. Thus, $(y+ix)^{-c}={1\over \Gamma(c)}\int\_0^\infty e^{-t(y+ix)}\,t^c\,{dt\over t}$. To make the right-side look more like a Fourier transform, replace $t$ by $2\pi t$ in the integral:
$$
{1\over (1+ix)^c} \;=\; {(2\pi)^c \over \Gamma(c)}\int\_0^\infty e^{-2\pi itx}\,e^{-2\pi t}\,t^{c-1}\;dt
$$
That is, this is the Fourier transform of the function $f\_c$ which is $0$ for $t<0$ and is $e^{-2\pi t}\,t^{c-1}$ for $t>0$. Thus, up to the obvious powers of $i$, by Plancherel the integral is
$$
\langle \widehat{f\_a},\,\widehat{f\_b}\rangle
\;=\; \langle f\_a,\,f\_b\rangle
\;=\; {(2\pi)^a\,(2\pi)^b \over \Gamma(a)\,\Gamma(b)}\int\_0^\infty e^{-2\pi t}\,t^{a-1}\;e^{-2\pi t}\,t^{b-1}\;dt
$$
$$
\;=\;{(2\pi)^a\,(2\pi)^b \over \Gamma(a)\,\Gamma(b)}\int\_0^\infty e^{-4\pi t}\,t^{a+b-1}\;{dt\over t}
\;=\;{(2\pi)^a\,(2\pi)^b\,(4\pi)^{1-a-b} \Gamma(a+b-1)\over \Gamma(a)\,\Gamma(b)}
\;=\; \ldots
$$


