# Proof $\int_0^\infty \frac{\exp(-\sqrt{x^2+y^2})}{x^2+y^2}dx = \frac{\pi}{2}\left(\frac{1}{y} - K_0(y)L_{-1}(y) - K_1(y)L_{0}(y)\right)$

In this topic the following integral was solved

$$\int_0^\infty \frac{\exp\left(-\sqrt{x^2+y^2}\right)}{x^2+y^2}dx = \frac{\pi}{2}\left(\frac{1}{y} - K_0(y)L_{-1}(y) - K_1(y)L_{0}(y)\right).$$

Sadly it is not shown how the integral was derived. It is mentioned that the result was found by rewriting the integral, taking the derivative of the integral and solving the resulting differential equation.

Has anybody an idea how this was achieved?

I am trying to get an idea to solve a similar integral

$$\int_0^\infty \frac{\exp\left(- \beta \sqrt{x^2+y^2}\right)}{x^2+y^2} \cos(b \, x) dx.$$

Thank you.

Edit: $L$ seems to be the modified Struve functions and $K$ is the modified Bessel function of the second kind.

• i guess $L$ is a struve function Commented Aug 4, 2016 at 7:44
• That can of course be the case. I was just looking around for special function denoted with $L$ so I guess you are right. Commented Aug 4, 2016 at 7:46

The proof for the first integral is given as follows:

Using the Fourier-Cosine-Transforms

$$\frac{1}{x^2+y^2} \mapsto \frac{\pi}{y}\mathrm{e}^{-s\,y}$$

$$\exp\left(-\sqrt{x^2+y^2}\right) \mapsto \frac{y}{\sqrt{s^2+1}} \, \mathrm{K}_1(y \, \sqrt{s^2+1})$$

results in the integral

$$\int_{s=0}^\infty \frac{\pi}{\sqrt{s^2+1}}\mathrm{e}^{-s\,y} \, \mathrm{K}_1(y \, \sqrt{s^2+1}) ds$$

Using the integral representation of the Bessel function $$\mathrm{K}_1(y \, \sqrt{s^2+1})=\frac{1}{4} \,y \, \sqrt{s^2+1} \int_{t=0}^\infty \mathrm{e}^{-t-\frac{y^2 \, (s^2+1)}{4 \,t}} \frac{1}{t^2} dt$$

and changing the order of integration leads to

$$\int_{t=0}^\infty \int_{s=0}^\infty \frac{\pi\,y}{4}\mathrm{e}^{-s\,y} \, \mathrm{e}^{-t-\frac{y^2 \, (s^2+1)}{4 \,t}} \frac{1}{t^2} \, ds \, dt$$

Integration with respect to s gives

$$\int_{t=0}^\infty \, \mathrm{e}^{-\frac{y^2}{4t}}\,\frac{\pi^{3/2}}{4\,t^{3/2}}\, (1-\mathrm{erf}(\sqrt{t}))dt$$

Splitting the integral gives

$$\int_{t=0}^\infty \, \mathrm{e}^{-\frac{y^2}{4t}}\,\frac{\pi^{3/2}}{4\,t^{3/2}}\, dt = \frac{\pi^2}{2} \, \frac{1}{y}$$

$$\int_{t=0}^\infty \, -\mathrm{e}^{-\frac{y^2}{4t}}\,\frac{\pi^{3/2}}{4\,t^{3/2}}\, \mathrm{erf}(\sqrt{t})dt = -\frac{\pi^2}{2} \left [K_0(y) \mathbf{L}_{-1}(y) + K_1(y) \mathbf{L}_{0}(y)\right]$$ The last integral was proven here.

Sadly this still does not help me with my problem, since it does not work for the integral including cos$(b\,x)$. Any ideas?

• I just saw that I lost an constant factor $\pi$. I will check for that when I come back home. Commented Aug 31, 2016 at 19:20