Hankel representation of thin-disk gravity ($\Phi ={\int }_0^{\infty }S(k)J_0(kR)e^{-k|z|}dk$)

For an axisymmetric reflection-symmetric thin disk, the Laplace equation in cylindrical coordinates separates into regular radial Bessel functions and vertical decaying exponentials. The divergence theorem imposes ${\Phi }_z^{+}-{\Phi }_z^{-}=4\pi G\Sigma$. Hankel transform inversion gives $S(k)=-2\pi G{\int }_0^{\infty }\Sigma (R)J_0(kR)RdR$. Its radial derivative gives the galaxy rotation curve. Infinite scale-free models may require subtracting an additive divergent constant.