Un límite de evaluar a $2 K$ (del catalán constante)

Question

Experimentalmente descubrí el límite por debajo de la que dice que

$$\lim_{n\to\infty} \int_0^{\pi/2} \frac{1}{\displaystyle \cos\left(\frac{x}{2}\right)\left(\cos\left(\frac{x}{2}\right)-\cos\left(\frac{x}{2^2}\right)\right)\cdots \left(\cos\left(\frac{x}{2}\right)-\cos\left(\frac{x}{2^{2n+1}}\right)\right)}+\cdots$$ $$+\frac{1}{\displaystyle \cos\left(\frac{x}{2^{2n+1}}\right)\left(\cos\left(\frac{x}{2^{2n+1}}\right)-\cos\left(\frac{x}{2}\right)\right)\cdots \left(\cos\left(\frac{x}{2^{2n+1}}\right)-\cos\left(\frac{x}{2^{2n}}\right)\right)} \ dx=2 K$$

o como @robjohn sugerido

$$\lim_{n\to\infty}{\Large\int}_0^{\pi/2}\operatorname*{\Large\sum}_{j=1}^{2n+1}\left[\cos\left(\frac{x}{2^j}\right)\prod_{\substack{k=1\\k\ne j}}^{2n+1}\left(\cos\left(\frac{x}{2^j}\right)-\cos\left(\frac{x}{2^k}\right)\right)\right]^{-1}\mathrm{d}x=2 K$$ ¿Ve usted una manera fácil de probar este resultado?

Answer 1

Denotar $\displaystyle u_j=\cos \frac{x}{2^j}$, y reescribir el integrando como \begin{align}\sum_j\frac{u_j^{-1}}{\prod_{k\neq j}\left(u_j-u_k\right)}&=\frac{1}{\prod_{m}u_m} \sum_j \prod_{k\neq j}\frac{0-u_k}{u_j-u_k}=\frac{1}{\prod_{m}u_m}, \end{align} donde en el último paso se utiliza la interpolación de Lagrange de la fórmula (véase, por ejemplo, las respuestas a esta pregunta).

El producto en el denominador es telescópico: el uso de la doble condición sine fórmula, obtenemos $$\sin \frac{x}{2^{2n+1}}{\prod_{m}u_m}=\frac{1}{2^{2n+1}}\sin x.$$

Por lo tanto, el límite se reduce a $$\lim_{n\to\infty}\int_0^{{\pi}/{2}}\frac{2^{2n+1}\sin \frac{x}{2^{2n+1}}}{\sin x}dx= \int_0^{{\pi}/{2}}\frac{xdx}{\sin x}=2K,$$ donde la última igualdad es esencialmente la fórmula (40) de Wolfram página en catalán constante.