Calculus – How to Integrate ??? (sin x / (cosh x + cos x)) (x? / n!) dx?

calculusclosed-formdefinite integralsimproper-integralsintegration

I have done one with $\displaystyle\int_0^{\infty}\frac{x-\sin x}{x^3}\ \text{d}x$, but I have no ideas with these:
$$\begin{align*}
I&=\int_{0}^{\infty }{\frac{\sin x}{\cosh x+\cos x}\cdot \frac{{{x}^{n}}}{n!}\ \text{d}x}\tag1 \\
J&= \int_{0}^{\infty }{\frac{x-\sin x}{\left( {{\pi }^{2}}+{{x}^{2}} \right){{x}^{3}}}\ \text{d}x}\tag2 \\
\end{align*}$$

Best Answer

I can address the second integral:

$$\int_{0}^{\infty }{dx \: \frac{x-\sin x}{\left( {{\pi }^{2}}+{{x}^{2}} \right){{x}^{3}}}}$$

Hint: We can use Parseval's Theorem

$$\int_{-\infty}^{\infty} dx \: f(x) \bar{g}(x) = \frac{1}{2 \pi} \int_{-\infty}^{\infty} dk \: \hat{f}(k) \bar{\hat{g}}(k) $$

where $f$ and $\hat{f}$ are Fourier transform pairs, and same for $g$ and $\bar{g}$. The FT of $1/(x^2+\pi^2)$ is easy, so we need the FT of the rest of the integrand, which turns out to be possible.

Define

$$\hat{f}(k) = \int_{-\infty}^{\infty} dx \: f(x) e^{i k x} $$

It is straightforward to show using the Residue Theorem that, when $f(x) = (x^2+a^2)^{-1}$, then

$$\hat{f}(k) = \frac{\pi}{a} e^{-a |k|} $$

Thus we need to compute, when $g(x) = (x-\sin{x})/x^3$,

$$\begin{align} \hat{g}(k) &= \int_{-\infty}^{\infty} dx \: \frac{x-\sin{x}}{x^3} e^{i k x} \\ &= \frac{\pi}{2}(k^2-2 |k|+1) \mathrm{rect}(k/2) \\ \end{align}$$

where

$$\mathrm{rect}(k) = \begin{cases} 1 & |k|<\frac{1}{2} \\ 0 & |k|>\frac{1}{2} \end{cases} $$

Then we can write, using the Parseval theorem,

$$\begin{align} \int_{0}^{\infty }{dx \: \frac{x-\sin x}{\left( {{\pi }^{2}}+{{x}^{2}} \right){{x}^{3}}}} &= \frac{1}{8} \int_{-1}^1 dk \: (k^2-2 |k|+1) e^{-\pi |k|} \\ &= \frac{\left(2-2 \pi +\pi ^2\right)}{4 \pi ^3}-\frac{ e^{-\pi }}{2 \pi ^3} \\ \end{align}$$

NOTE

Deriving $\hat{g}(k)$ from scratch is challenging; nevertheless, it is straightforward (albeit, a bit messy) to prove that the expression is correct by performing the inverse transform on $\hat{g}(k)$ to obtain $g(x)$. I did this out and proved it to myself; I can provide the details to those that want to see them.

Related Question