\[J_{\nu}\left(z\right)=\frac{\Gamma\left(\frac{1}{2}-\nu\right)(\frac{1}{2}z)^{%
\nu}}{\pi^{\frac{3}{2}}i}\int_{0}^{(1+)}\cos\left(zt\right)(t^{2}-1)^{\nu-%
\frac{1}{2}}\,\mathrm{d}t,\]