A note on a monotonicity property of Bessel functions (Q1365283)

Summary: A theorem of Lorch, Muldoon and Szegö states that the sequence \[ \Biggl\{ \int_{j_{\alpha,k}}^{j_{\alpha,k+1}} t^{-\alpha}|J_\alpha(t)|dt\Biggr\}_{k=1}^\infty \] is decreasing for \(\alpha>-1/2\), where \(J_\alpha(t)\) the Bessel function of the first kind order \(\alpha\) and \(j_{\alpha,k}\) its \(k\)th positive root. This monotonicity property implies Szegö's inequality \(\int_0^x t^{-\alpha} J_\alpha(t)dt\geq 0\), when \(\alpha\geq\alpha'\) and \(\alpha'\) is the unique solution of \(\int_0^{j_{\alpha,2}} t^{-\alpha} J_\alpha(t)dt=0\). We give a new and simpler proof of these classical results by expressing the above Bessel function integral as an integral involving elementary functions.