This question relates to this answer I gave to a question about the integral
$\int_0^\infty\left(\frac{\sin t}t\right)^p\mathrm dt\;.$
I derived an expansion in inverse powers of $p$ and then realized that I don't know how to justify it rigorously or how to determine its radius of convergence. I substituted $u=\sqrt pt$ and applied
$\left(1+\frac xn\right)^n=\mathrm e^x\left(1-\frac{x^2}{2n}+\frac{x^3(8+3x)}{24n^2}+\dotso\right)$
to
$ \left(\frac{\sin t}t\right)^p=\left(1+\frac1p\left(-\frac16u^2+\frac1{120}\frac{u^4}p-\dotso\right)\right)^p$
to obtain
$ \begin{align} \sqrt p\int_0^\infty\left(\frac{\sin t}t\right)^p\mathrm dt &= \int_0^\infty\mathrm e^{-u^2/6}\left(1-\frac1{180}\frac{u^4}p+\dotso\right)\mathrm du \\ &= \sqrt{\frac{3\pi}2}\left(1-\frac{3}{20}\frac1p+\dotso\right)\;. \end{align} $
(For more details, see the answer.) With the help of Wolfram|Alpha, I worked out further terms:
$\sqrt p\int_0^\infty\left(\frac{\sin t}t\right)^p\mathrm dt = \sqrt{\frac{3\pi}2}\left(1-\frac{3}{20}\frac1p-\frac{13}{1120}\frac1{p^2}+\frac{27}{3200}\frac1{p^3}+\frac{52791}{3942400}\frac1{p^4}+\dotso\right)\;. $
I believe all the intermediate series are well-defined and convergent; the problem is that I don't know how to justify interchanging integration and summation at the end. I doubt that the dominated convergence theorem can be applied, since the integrand is $\operatorname{sinc}^p(u/\sqrt p)$, whose expansion I would expect to oscillate about as badly as the power series for $\sin x$, whose partial sums are unbounded.
The last three coefficients given above are roughly of the same order of magnitude, which might indicate that if the series converges at all, it might converge for $p\gtrsim1$. However, while plugging in $p=10$ gives the right result up to six decimal places, the result for $p=2$ is off in the first decimal place, much worse than might be expected from the given terms. That makes me wonder whether this is perhaps just an asymptotic expansion.
So my questions are:
- How can I justify interchanging integration and summation in the last step?
- Is the series that I obtained convergent? Or is it just an asymptotic expansion?
- If it converges, how might I determine the radius of convergence?