Recientemente he encontrado una reclamación diciendo que $$ \int_0^\infty \left( \frac{\sen ax}{x}\right)\left( \frac{\sen bx}{x}\right) \mathrm{d}x= \pi \min(a,b)/2 $$ por lo que puedo ver, esto parece ser verdad. Ya sé que $\int_{0}^\infty \operatorname{sinc}xy\,\mathrm{d}y = \pi/2$, y de manera independiente de $y$. Mi sospecha es que esto está estrechamente relacionado con la integral anterior.
Alguien puede darme algunas sugerencias para la evaluación de la integral anterior? También hay cualquier generalización de la integral? Por ejemplo $$ \int_{0}^{\infty} \left( \prod_{k=1}^N \frac{\sin (a_k \cdot x)}{x} \right) \,\mathrm{d}x $$ Donde $a_k, \cdots, a_N$ son arbitrarias constantes positivas. Parece relacionados con la Borwein Integral, pero hay algunas diferencias sutiles.