Euler-Mascheroni Constant in Bessel Function Integral

bessel functionsdefinite integralseuler-mascheroni-constant

I am currently juggling some integrals. In a physics textbook, Chaikin-Lubensky [1], Chapter 6, (6.1.26), I came upon an integral that goes
\begin{equation}
\int_0^{1} \textrm{d} y\, \frac{1 – J_0(y)}{y} – \int_{1}^{\infty} \textrm{d} y\, \frac{J_0(y)}{y} = -.116.
\end{equation}

They give the result only as a floating point value without naming sources. The value looks suspiciously like $\gamma – \ln(2)$ to me ($\gamma$ being the Euler-Mascheroni constant), which would solve a problem I have elsewhere. I am unfamiliar with the typical manipulations one uses on this kind of integrals and the various definitions of the Euler-Mascheroni constant. I fumbled around a bit with cosine integrals $\textrm{Ci}(y)$ but did not get far with it. So I am happy about suggestions.

Best Answer

A relatively elementary way is to start with known $$\gamma=\int_0^1\frac{1-\cos t}{t}\,dt-\int_1^\infty\frac{\cos t}{t}\,dt.$$

Put $t=ax$ for $a>0$ and do some rearrangements, to get $$\int_0^1\frac{1-\cos ax}{x}\,dx-\int_1^\infty\frac{\cos ax}{x}\,dx=\gamma+\log a.$$

Now the integral representation $J_0(y)=\frac2\pi\int_0^{\pi/2}\cos(y\cos x)\,dx$ yields $$\int_0^1\frac{1-J_0(y)}{y}\,dy-\int_1^\infty\frac{J_0(y)}{y}\,dy=\frac2\pi\int_0^{\pi/2}(\gamma+\log\cos x)\,dx$$ after interchanging integrations (which is not hard to justify).

The result now follows from $\int_0^{\pi/2}\log\cos x\,dx\color{gray}{=\int_0^{\pi/2}\log\sin x\,dx}=-(\pi/2)\log2$.

Related Question