La siguiente pregunta proviene del Una integral de seno post, en el que el usuario26872 demostró lo siguiente: $$\int_{-\infty}^\infty \left(\frac{\sin x}{x}\right)^n dx=\frac{1}{(2i)^n}\sum_{k=0}^n(-1)^k \binom{n}{k}\int_{-\infty}^\infty \frac{e^{(n-2k)ix}}{x^n}dx$$$$=\frac{1}{(2i)^n}\sum_{k=0}^{\lfloor n/2 \rfloor}(-1)^k \binom{n}{k}\int_{-\infty}^\infty \frac{e^{(n-2k)ix}}{x^n}dx$$
Esto lleva entonces a utilizar la fórmula de diferenciación de Cauchy para obtener: $$\int_{-\infty}^\infty \left(\frac{\sin x}{x}\right)^n dx=\frac{\pi}{(n-1)!}\sum_{k=0}^{\lfloor n/2\rfloor} (-1)^k \binom{n}{k}\left(\frac{n}{2}-k\right)^{n-1}$$
que da el valor exacto de la integral para cualquier valor entero positivo de n. Yo pude demostrarlo con una larga y engorrosa derivación utilizando la transformada de Laplace, pero este usuario utilizó la integración de contornos. Sin embargo, no especificó cómo se definió el contorno. Creo que es un diámetro de -R a R en el eje real y luego un semicírculo en el semiplano inferior de vuelta a -R, en el límite como $R\rightarrow\infty$ ya que es fácil demostrar que la integral sobre el arco tiende a 0, con lo que la integral sobre el contorno es igual a la integral sobre el eje real.
Soy bastante nuevo en la integración de contornos y en el análisis complejo, por lo que no he podido entender por qué, utilizando esta técnica, el límite superior de la suma cambia de n a $\lfloor n/2 \rfloor$ . El usuario especificó una condición que si $n-2k\geq0$ (lo que significa que el valor máximo de k sería $\lfloor n/2 \rfloor$ ), cerrarían el contorno en el semiplano superior. Pero, ¿por qué?
Gracias.