Evaluate $\int^{\infty}_{-\infty}\sin(xe^x)dx$

Question

I recently learned $\int^{\infty}_{-\infty}\sin(e^x)dx$ can be solved like this:

$$\int_{-\infty}^{\infty}\sin(e^x)dx$$

$$\int^{\infty}_{-\infty}\frac{\sin(e^x)}{e^x}e^xdx$$

$$\int^{\infty}_{0}\frac{\sin(u)}{u}du$$

$$\operatorname{Si}(e^x)|^\infty_{0}=\frac{\pi}{2}$$

It inspired me to come up with this integral which wolfram alpha approximates to $-0.98771815$.

I employed a similar strategy on my integral:

$$\int_{-\infty}^{\infty}\sin(xe^x)dx=\int_{-\infty}^{\infty}\frac{\sin(xe^x)}{xe^x+e^x}(xe^x+e^x)dx=\int_{0}^{\infty}\frac{\sin(u)}{u+e^{W(u)}}du\\=\int_{0}^{\infty}\frac{\sin(u)}{u+\frac{u}{W(u)}}du=\int_{0}^{\infty}\frac{\sin(u)W(u)}{u(1+W(u))}du$$

I don't know how to solve this so I tried a different substitution:

$$\int_{-\infty}^{\infty}\sin(xe^x)dx=\int_{-\infty}^{\infty}\frac{\sin(xe^x)}{e^x}e^xdx=\int_{0}^{\infty}\frac{\sin(\ln(u)u)}{u}du$$

I feel like I am close here but I don't know how to progress.

Answer 1

comment
Here is the graph of $\sin(xe^x)$

Of course the integral $\int_{-\infty}^0$ converves. But how do we know that $\int_0^\infty$ converges?

Answer 2

This answer is only to prove that the integral converges.

\begin{align} \int_0^{A} \sin \left(x e^x\right) \mathrm d x &= \int_1^{e^A} \frac{\sin(u\ln u)}{u}\mathrm du\\ &= \int_1^{e^A} \frac1{u\left(1+\ln u\right)} (1+\ln u) \sin(u\ln u)\mathrm du\\ &= \left[-\frac{1}{u(1+\ln u)} \cos(u\ln u)\right]_1^{e^A} - \int_1^{e^A} \frac{2 + \ln u}{u^2 (1+\ln u)^2} \cos(u\ln u)\mathrm d u\\ &= -\frac1{e^A(1+A)}\cos\left(Ae^{A}\right) + 1 - \int_{1}^{e^A} \frac{\cos(u\ln u)}{u^2(1+\ln u)}\mathrm d u - \int_{1}^{e^A} \frac{\cos(u\ln u)}{u^2(1+\ln u)^2}\mathrm d u. \end{align}

It is clear that $\lim\limits_{A\to \infty} \frac1{e^A(1+A)}\cos\left(Ae^{A}\right) = 0$ since $$\left|\frac{\cos(u\ln u)}{u^2 (1 + \ln(u))}\right| \le \frac1{u^2},$$ $$\left|\frac{\cos(u\ln u)}{u^2 (1 + \ln(u))^2}\right| \le \frac1{u^2}$$ and $\int_1^{\infty} \frac1{u^2}\mathrm du$ converges, then the integral converges.

Answer 3

$$\int_{-\infty}^\infty\sin(xe^x)dx=\underbrace{\int_{-\infty}^0\sin(xe^x)dx}_A+ \underbrace{\int_0^\infty\sin(xe^x)dx}_B=\underbrace{\frac i2\int_0^1x^{-i x-1}-x^{ix-1}}_Adx+ \underbrace{\frac i2\int_1^\infty x^{-i x-1}-x^{ix-1}}_B$$

Integral $A$:

$A$ is reminiscent of the sophomore’s dream integrals. We expand using sine’s Maclaurin series: $$\int_{-\infty}^0\sin(xe^x)dx=\sum_{n=0}^\infty\frac{(-1)^n}{(2n+1)!}\int_{-\infty}^0 x^{2n+1} e^{(2n+1)x}dx$$

Finally substituting $(2n+1)x=-t$ and using the factorial’s integral representation gives:

$$A=\sum_{n=1}^\infty(-1)^{n+1}(2n-1)^{-2n}$$

Integral $B$:

$B$ is like the “natural” sophomore’s dream $\int_0^\infty x^{-x}dx$. Taking a limit and applying the same procedure, we get the lower $P(a,x)$ regularized gamma functions:

$$B=\int_0^\infty\sin(xe^x)=\lim_{b\to\infty}\int_0^b\sin(xe^x)dx=\lim_{b\to\infty}\sum_{n=1}^\infty\frac{(-1)^n P(2n,(1-2n)b)}{(2n-1)^{2n}}$$

Truncating the sum at $n=N$, the result numerically matches if $b\ll N$ as shown here. For larger $N$, there looks to be computation errors, but you can still find expected results like here, after clicking “More digits”.