¿Cómo evaluar esta serie utilizando la serie de Fourier?

Question

Con la ayuda de Integral de Hermite Tengo $$\sum_{n=1}^{\infty }\frac{1}{n}\int_{2\pi n}^{\infty }\frac{\sin x}{x}\mathrm{d}x=\pi-\frac{\pi}{2}\ln(2\pi)$$ Me gustaría saber si se puede resolver esto usando series de Fourier.

Answer 1

Comenzamos con la expresión

$$S=\sum_{n=1}^\infty \frac{1}{n}\int_{2\pi n}^\infty \frac{\sin (x)}{x}\,dx \tag 1$$

Ejecución de la sustitución $x \to 2\pi n x$ en $(1)$ rinde

$$\begin{align} \sum_{n=1}^\infty \frac{1}{n}\int_{2\pi n}^\infty \frac{\sin (x)}{x}\,dx&=\sum_{n=1}^\infty \frac{1}{n} \int_{1}^\infty \frac{\sin (2\pi nx)}{x}\,dx\\\\ &=\int_{1}^\infty \frac 1x\sum_{n=1}^\infty \frac{\sin (2\pi nx)}{n}\,dx \tag 2\\\\ &=\sum_{k=1}^\infty \int_{k}^{k+1}\frac1x \left(\frac{\pi}{2}(1-2(x-k))\right)\,dx \tag 3\\\\ &=\frac{\pi}{2} \sum_{k=1}^\infty \left((2k+1)\log\left(\frac{k+1}{k}\right)-2\right) \tag 4\\\\ \end{align}$$

donde reconocimos la serie sinusoidal de Fourier para $\frac{\pi}{2}(1-2x)$ para $x\in(0,1)$ para pasar de $(2)$ à $(3)$ .

Para evaluar la suma en $(4)$ escribimos la suma parcial $S_K$

$$\begin{align} S_K&=\sum_{k=1}^K \left((2k+1)\log\left(\frac{k+1}{k}\right)-2\right)\\\\ &=-2K+\sum_{k=1}^K \left((2k+1)\log(n+1)-(2k-1)\log(n)\right)-2\sum_{k=1}^K\log(k) \\\\ &=-2K+(2K+1)\log(K+1)-2\log(K!) \\\\ &=-2K+(2K+1)\log(K)+(2K+1)\log\left(1+\frac1K\right)-2\log\left(K!\right) \tag 5\\\\ &=-2K+(2K+1)\log(K)+2-2\log\left(\sqrt{2\pi K}\left(\frac{K}{e}\right)^K\right)+O\left(\frac1K\right) \tag 6\\\\ &=2-\log(2\pi)+O\left(\frac1K\right) \end{align}$$

Al pasar de $(5)$ à $(6)$ utilizamos la expansión asintótica para la función del logaritmo, $\log(1+x)=x+O(x^2)$ y La fórmula de Stirling

$$K!=\left(\sqrt{2\pi K}\left(\frac{K}{e}\right)^K\right)\left(1+O\left(\frac1K\right)\right)$$

Finalmente, al juntar todo, encontramos que

$$\begin{align} S&=\sum_{n=1}^\infty \frac{1}{n}\int_{2\pi n}^\infty \frac{\sin (x)}{x}\,dx\\\\ &=\frac{\pi}{2}\lim_{K\to \infty}S_K\\\\ &=\pi-\frac{\pi}{2}\log(2\pi) \end{align}$$

y por lo tanto

$$\bbox[5px,border:2px solid #C0A000]{\sum_{n=1}^\infty \frac{1}{n}\int_{2\pi n}^\infty \frac{\sin (x)}{x}\,dx=\pi-\frac{\pi}{2}\log(2\pi)}$$

¡como se iba a demostrar!

Answer 2

Una pista: Observe que \begin{align} \dfrac{\sin x}{x} &= \dfrac1x\sum_{k=0}^{\infty} \dfrac{\left(-1\right)^{k}}{\left(2k+1\right)!}\,x^{2k+1} = \sum_{k=0}^{\infty} \dfrac{\left(-1\right)^{k}}{\left(2k+1\right)!}\,x^{2k} \end{align} Entonces \begin{align} \sum_{n=1}^{\infty }\dfrac{1}{n}\int_{2\pi n}^{\infty}\!\!\dfrac{\sin x}{x}\,dx &= \sum_{n=1}^{\infty }\dfrac{1}{n}\int_{2\pi n}^{\infty }\!\!\bigg(\sum_{k=0}^{\infty}\dfrac{\left(-1\right)^{k}}{\left(2k+1\right)!}\,x^{2k}\bigg)\,dx \\ &= \sum_{n=1}^{\infty }\dfrac{1}{n}\bigg(\sum_{k=0}^{\infty} \dfrac{\left(-1\right)^{k}}{\left(2k+1\right)!}\int_{2\pi n}^{\infty}\!\!\!x^{2k}\,dx \bigg) \\ &= \sum_{n=1}^{\infty }\dfrac{1}{n}\bigg(\sum_{k=0}^{\infty} \dfrac{\left(-1\right)^{k}}{\left(2k+1\right)!} \!\cdot\!\left.\dfrac{x^{2k+1}}{2k+1}\bigg)\right\rvert_{2\pi n}^{\infty} \\ &= \sum_{n=1}^{\infty }\dfrac{1}{n}\Bigg[\bigg(\sum_{k=0}^{\infty} \left.\dfrac{1}{\left(2k+1\right)!}\bigg)\arctan x\,\right\rvert_{2\pi n}^{\infty}\Bigg] \end{align}

La última igualdad se debe a la representación en serie de la inversa de una función tangente:

$$ \bbox[1ex, border:solid 1.5pt #e10000]{ \arctan x = \sum_{k=0}^{\infty} \dfrac{\left(-1\right)^{k}}{2k+1}\,x^{2k+1}} $$

Espero que pueda proceder de aquí en adelante.