The entry-level PhD integral: $\int_0^\infty\frac{\sin 3x\sin 4x\sin5x\cos6x}{x\sin^2 x\cosh x}\ dx$

Solution 1:

By De Moivre's formula $\sin(x)=\frac{e^{ix}-e^{-ix}}{2i}$ we have the following Fourier sine series: $$\frac{\sin(3x)\sin(4x)\sin(5x)\cos(6x)}{\sin^2(x)}\\= -\frac{1}{2} \sin(2x)-\frac{1}{2}\sin(4x)+\sin(8x)+\frac{3}{2}\sin(10x)+\frac{3}{2}\sin(12x)+\sin(14x)+\frac{1}{2}\sin(16 x)$$ and: $$I(n)=\int_{0}^{+\infty}\frac{\sin(2nx)}{x\cosh(x)}\,dx = 2\arctan\left(\tanh\frac{\pi n}{2}\right) $$ follows by differentiation under the integral sign. The original integral can so be expressed in terms of the Gudermannian function:

$$ I = \frac{1}{2} \big(-\text{gd}(\pi)- \text{gd}(2\pi) + 2 \text{gd}(4\pi) + 3 \text{gd}(5\pi) + 3 \text{gd}(6\pi) + 2 \text{gd}(7\pi) + \text{gd}(8\pi)\big) \approx 7.11363 $$

Solution 2:

Hint. One may start with the standard evaluation $$ \int_0^\infty \frac{\cos (ax)}{\cosh x}\:dx=\frac{\pi}2\:\frac1{\cosh \left(\large \frac{\pi a}2\right)},\quad a\ge 0,\tag1 $$ then, writing $\displaystyle \frac1{2\cosh \left(\large \frac{\pi a}2\right)}=\frac{e^{\large \frac{\pi a}2}}{e^{a\pi}+1}$, integrating it with respect to $a$ from $0$ to $b$ gives $$ \int_0^\infty \frac{\sin (b x)}{x\cosh x}\:dx=2\arctan\left(\tanh\left(\frac{b \pi }{4}\right)\right). \tag2 $$ Now one may just observe that $$ \frac{\sin 3x\sin 4x\sin5x\cos6x}{x\sin^2 x\cosh x}=\sum_{\large b_i}\alpha_i\frac{\sin (b_i x)}{x\cosh x} \tag3 $$ and conclude using $(2)$.

Solution 3:

In fact, we have $$ \begin{align} I(M,N)&=\int_0^\infty\frac{\sin Nx\sin(N+1)x\sin Mx\cos(M+1)x}{x\sin^2 x\cosh x}\ dx\\[10pt] &=\sum_{m=1}^M\sum_{n=1}^N\left[\arctan\left( e^{(m+n)\pi} \right)-\arctan\left( e^{(m-n)\pi} \right)\right]\\[10pt] &=\frac{1}{2}\sum_{m=1}^M\sum_{n=1}^N\bigg[\operatorname{gd}\!\big((m+n)\pi\big)-\operatorname{gd}\!\big((m-n)\pi\big)\bigg] \end{align} $$ and the desired integral is $I(5,3)$.

_{Sorry for the Cleo-style answer but right now I'm busy playing Pokemon Go, so I'll post the complete solution when I'm free. See ya...}