Solution to a general integral $\int_0^\infty \frac{\cos(tx)}{x^2+k^2}e^{-sx}dx$

definite integralsintegrationleibniz-integral-ruleordinary differential equationspartial differential equations

I would like to find a general solution to the integral:
$$I(s,t,k)=\int_0^\infty \frac{\cos(tx)}{x^2+k^2}e^{-sx}dx$$
so far using the substitution $u=\frac xk$ I have managed to reduce this to:
$$I(s,t,k)=\frac 1k\int_0^\infty\frac{\cos(tku)}{u^2+1}e^{-sku}du$$
and then by defining $\alpha=tk,\beta=sk$ we can come up with a simpler integral:
$$J(\alpha,\beta)=\int_0^\infty\frac{\cos(\alpha u)}{u^2+1}e^{-\beta u}du$$


We can calculate that:
$$J_{\beta\beta}=\int_0^\infty\frac{u^2\cos(\alpha u)}{u^2+1}e^{-\beta u}du$$
$$=\int_0^\infty\cos(\alpha u)e^{-\beta u}du-J$$
$$=\frac{\beta}{\beta^2+\alpha^2}-J$$
$$J_{\alpha\alpha}=-J_{\beta\beta}$$


We now know that: $\nabla^2J=0$

Now to form a system of equations I found that:
$$J(0,0)=\frac \pi2$$
$$J(\alpha,0)=\frac{\pi}{2}e^{-\alpha}$$
However I am struggling to find a solution to $J(0,\beta)$ although I know that it satisfies the equation:
$$K''(\beta)+K(\beta)=\frac 1\beta,K(0)=\frac \pi2$$
It seems clear to me that $\lim_{\beta\to\infty}J(\alpha,\beta)=0$
so if I could solve for $K$ I should have everything I need to try and solve this problem.


I think its obvious but I should add that:
$$I(s,t,k)=\frac 1kJ(tk,sk)$$

Basically, could anyone help me find $J(0,\beta)$ or proceed with solving the pde I stated. Thanks!


EDIT

wolfram alpha gives:
$$J(0,\beta)=\operatorname{Ci}(b)\sin(b)+\frac{\pi-2\operatorname{Si}(b)}{2}\cos(b)$$

Best Answer

You can perform a further reduction: $$ J(\alpha,\beta)=\int_{0}^{+\infty}\frac{\cos(\alpha u)}{u^2+1}e^{-\beta u}\,du =\text{Re}\int_{0}^{+\infty}\frac{1}{u^2+1}e^{-(\beta-\alpha i)u}\,du$$ thus all you need is the Laplace transform of $\frac{1}{u^2+1}$: $$ K(c) = \int_{0}^{+\infty}\frac{e^{-cu}}{u^2+1}=\int_{0}^{\pi/2}\exp\left(-c\tan\theta\right)\,d\theta,\qquad c\in\mathbb{C},\text{Re}(c)\geq 0.$$ By the self-adjointness of the Laplace transform and the fact that $\mathcal{L}^{-1}\left(\frac{1}{u^2+1}\right)=\sin(s), \mathcal{L}(e^{-cu})=\frac{1}{c+s} $ we have $$ K(c) = \int_{0}^{+\infty}\frac{\sin(s)}{s+c} \,ds $$ and the relation with the sine and cosine integrals is now obvious.