Can we simplify $\int_{0}^{\infty}\frac{{\sin}^px}{x^q}dx$?

We know the followings : $$\int_{0}^{\infty}\frac{{\sin}x}{x}dx=\int_{0}^{\infty}\frac{{\sin}^2x}{x^2}dx=\frac{\pi}{2},\int_{0}^{\infty}\frac{{\sin}^3x}{x^3}dx=\frac{3\pi}{8}.$$ Also, we can get $$\int_{0}^{\infty}\frac{{\sin}^3x}{x^2}dx=\frac{3\log 3}{4},\int_{0}^{\infty}\frac{{\sin}^4x}{x^3}dx=\log 2.$$ Then, I got interested in their generalization.

Question : Letting $p,q\in\mathbb N$, can we simplify the following? $$\int_{0}^{\infty}\frac{{\sin}^px}{x^q}dx$$

I don't have any good idea. Could you show me how to simplify this?

Update : I crossposted to MO.


The formulas you seek are \begin{align*} \int_0^\infty {\sin^p x\over x^q}\,dx & = \left\{\begin{array}{ll} \displaystyle{(-1)^{(p+q)/2}\pi\over 2^{p+1}(q-1)!}\sum_{k = 0}^p(-1)^k{p\choose k} |p - 2k|^{q-1} & \text{$p,q$ even,} \\[2em] \displaystyle {(-1)^{(p+q)/2-1}\pi\over 2^{p+1}(q-1)!}\sum_{k = 0}^p (-1)^k{p\choose k} \operatorname{sign}(p-2k) |p-2k|^{q-1} & \text{$p,q$ odd,} \\[2em] \displaystyle {(-1)^{(p+q+1)/2} \over 2^p (q-1)!} \sum_{k = 0\atop k\not = p/2}^p (-1)^k {p\choose k} |p-2k|^{q-1}\log{|p - 2k|} & \text{$p$ even, $q$ odd,} \\[2em] \displaystyle {(-1)^{(p+q-1)/2} \over 2^p (q-1)!} \sum_{k = 0\atop k\not = (p\pm1)/2}^p (-1)^k {p\choose k} \operatorname{sign}(p-2k) |p-2k|^{q-1}\log{|p - 2k|} & \text{$p$ odd, $q$ even,} \end{array}\right. \end{align*}


Here's the basic idea behind my proof (the idea grew out of this old answer): Find the Fourier transform of the function $\mathbb 1_{(0,\infty)}(x) \sin^q{x}/x^p$ and evaluate it at zero. Finding that Fourier transform is of course the hard part. The basic idea is to look at the Fourier transform of the generalized function $\mathbb 1_{(0,\infty)} |x|^{-s}$, where $s$ is a continuous variable.


When $s\notin\mathbb N$, the function $u_s(x) = \mathbb 1_{(0,\infty)}(x)|x|^{-s}$ can be made into a tempered distribution on the real line in a rigorous way (see Chapter 3 of Gelfand & Shilov's Generalized Functions for instance, or this Wikipedia page). Here $\mathbb 1_{(0,\infty)}$ is the characteristic function of the interval $(0,\infty)$. The Fourier transform of $u_s$ is \begin{align*} \hat{u}_s(t) & = \Gamma(1-s)\sin{\left({\pi s\over 2}\right)} |t|^{s-1} - i \Gamma(1-s) \cos{\left({\pi s\over 2}\right)} \operatorname{sign}(t) |t|^{s-1} \\ & = {\pi\over 2\Gamma(s)\cos{\left({\pi s\over 2}\right)}} |t|^{s-1} - { i\pi\over 2\Gamma(s)\sin{\left({\pi s\over 2}\right)}} \operatorname{sign}(t) |t|^{s-1}; \end{align*} See here, on the entry for $|x|^\alpha$, for instance. I used the reflection formula to pass from the first line to the second (because the second form is more convenient for us but the first follows more easily from this Wikipedia entry). It follows that for $s\notin \mathbb N$ the Fourier transform of $\sin^p{(x)} u_s(x) = \mathbb 1_{(0,\infty)}(x)|x|^{-s}\sin^p{(x)}$ is \begin{align*} \mathcal F(\sin^p{(x)} u_s(x))(t) & = {1\over (2i)^p}\sum_{k = 0}^p (-1)^k{p\choose k} \mathcal F(e^{i(p-2k)x}u_s(x)) \\ & = {\pi\over 2^{p+1}i^p\Gamma(s)\cos{\left({\pi s\over 2}\right)}}\sum_{k = 0}^p(-1)^k{p\choose k} |t - p + 2k|^{s-1} \\ & \quad -{\pi\over 2^{p+1}i^{p-1}\Gamma(s)\sin{\left({\pi s\over 2}\right)}}\sum_{k = 0}^p (-1)^k{p\choose k} \operatorname{sign}(t-p+2k) |t-p+2k|^{s-1}. \end{align*} Thus for $0 < s \leq p$ and $s\notin \mathbb N$, we get \begin{align*} \int_0^\infty{\sin^p x\over x^s}\,dx & = \mathcal F(\sin^p{(x)} u_s(x))(0) \\ & = {\pi\over 2^{p+1}i^p\Gamma(s)\cos{\left({\pi s\over 2}\right)}}\sum_{k = 0}^p(-1)^k{p\choose k} |p - 2k|^{s-1} \\ & \quad + {\pi\over 2^{p+1}i^{p-1}\Gamma(s)\sin{\left({\pi s\over 2}\right)}}\sum_{k = 0}^p (-1)^k{p\choose k} \operatorname{sign}(p-2k) |p-2k|^{s-1}. \end{align*} Actually, when $p$ is even only the first sum on the right-hand side will survive, and when $p$ is odd only the second sum will survive. This is true because if one breaks $u_s$ up into even and odd components ($u_s(x) = |x|^{-s}/2 + \operatorname{sign}(x)|x|^{-s}/2$), then the first sum is the integral over the real line of the even part multiplied by $\sin^p{x}$ while the second sum is the integral of the odd part multiplied by $\sin^p{x}$. So what we really have is \begin{align*} \int_0^\infty{\sin^p x\over x^s}\,dx &= \left\{ \begin{array}{ll} \displaystyle{\pi\over 2^{p+1}i^p\Gamma(s)\cos{\left({\pi s\over 2}\right)}}\sum_{k = 0}^p(-1)^k{p\choose k} |p - 2k|^{s-1} & \text{$p$ even,} \\[2em] \displaystyle {\pi\over 2^{p+1}i^{p-1}\Gamma(s)\sin{\left({\pi s\over 2}\right)}}\sum_{k = 0}^p (-1)^k{p\choose k} \operatorname{sign}(p-2k) |p-2k|^{s-1} & \text{$p$ odd}. \end{array}\right. \tag{1} \end{align*}

The above formulas clearly give the desired result when $s \in \mathbb N$ has the same parity as $p$ (and of course is no greater than $p$), and then they simplify to the formulas I gave at the beginning of this answer. So it remains only to think about what happens when either $p$ is even and $s$ is odd or $p$ is odd and $s$ is even. Both cases are similar; we simply take a limit. As it turns out, $\sum (-1)^k {p\choose k} |p - 2k|^{s-1}$ vanishes when $p$ is even and $s$ odd, and likewise $\sum (-1)^k{m\choose k} \operatorname{sign}(p-2k) |p-2k|^{s-1}$ vanishes when $p$ is odd and $s$ even (provided in both cases that $0<s< p$). The zeros of these sums cancel against the zeros of the sine and cosine terms that appear in the denominators. This assertions must be true, because both sides of the formula $(1)$ are continuous functions of the variable $s$ and the left hand side is finite when $s\leq p$ is a positive integer with parity opposite that of $p$. Finally, to arrive at the formulas given in the beginning, simply apply l'Hopital's rule. Thus, for instance, when $p$ is even and $q$ is odd, \begin{align*} \lim_{s\to q} {1\over \cos{\left({\pi s\over 2}\right)}}&\sum_{k = 0}^p(-1)^k{p\choose k} |p - 2k|^{s-1} \\ & = (-1)^{(q+1)/2}{2\over \pi} \sum_{k = 0\atop k\not = p/2}^p (-1)^k{p\choose k} |p - 2k|^{q-1} \log{|p-2k|}, \end{align*} and the rest follows easily.