Mostrando que $\sum_{n=1}^{\infty}\left(\frac{\sin(22n)}{7n}\right)^3=\frac{1}{2}\left(\pi-\frac{22}{7}\right)^3$

Question

¿Cómo mostrar eso? PS

No tengo ideas para probarlo, pero parece correcto a través de la calculadora de Wolfram

Answer 1

Primero un poco de trabajo preliminar que se utilizará más adelante:

Tenemos para $x\in(0,2\pi)$ $$\frac{\pi-x}{2}=\sum_{n=1}^\infty\frac{\sin(nx)}{n}$$ Cambio por $6\pi$ tenemos para $x\in (6\pi, 8\pi)$ $$\frac{7\pi-x}{2}=\sum_{n=1}\frac{\sin(nx)}{n} \tag1 $$ O lo mismo para $x\in (20\pi,22\pi)$ $$\frac{21\pi-x}{2}=\sum_{n=1}\frac{\sin(nx)}{n}\tag 2$$

La integración de $(1)$ con respecto al $x$rendimientos $$\sum_{n=1}\frac{\cos(nx)}{n^2}=\frac{(7\pi-x)^2}{4}+C$$ Ahora establezca $x=7\pi$ conseguir $C=-\frac{\pi^2}{12}$y integrar de nuevo $$\sum_{n=1}^\infty \frac{\sin(nx)}{n^3}=-\frac{(7\pi-x)^3}{12}-\frac{\pi^2}{12}x+K$$ Y finalmente poner el $x=7\pi $ conseguir $K=7\pi\cdot \frac{\pi^2}{12}$. Así, por $x\in(6\pi,8\pi)$ hemos $$\sum_{n=1}^\infty \frac{\sin(nx)}{n^3}=-\frac{(7\pi-x)^3}{12}-\frac{\pi^2}{12}x+\frac{7\pi^3}{12}\tag3$$ Del mismo modo las cosas para $(2)$ rendimientos para $x\in(20\pi,22\pi)$ $$\sum_{n=1}^\infty \frac{\sin(nx)}{n^3}=-\frac{(21\pi-x)^3}{12}-\frac{\pi^2}{12}x+\frac{21\pi^3}{12}\tag4$$

---

Ahora, de vuelta a la suma original. Tenemos la fórmula $4\sin^3 x =3 \sin x-\sin(3x) $así $$S=\sum_{n=1}^{\infty}\left(\frac{\sin(22n)}{7n}\right)^3=\frac{1}{4\cdot 7^3}\left(3\sum_{n=1}^\infty \frac{\sin(22n)}{n^3}-\sum_{n=1}^\infty \frac{\sin(66n)}{n^3}\right)=\frac{1}{4\cdot 7^3}\left(3S_1-S_2\right)$$ Ahora las cosas son fáciles, porque para $S_1$ podemos establecer $x=22$ en $(3)$ e de $S_2$ podemos establecer $x=66$ en $(4)$. $$ S_1=\sum_{n=1}^\infty \frac{\sin(22n)}{n^3}=-\frac{(7\pi-22)^3}{12}-\frac{22\pi^2}{12}+\frac{7\pi^3}{12}$$ $$S_2=\sum_{n=1}^\infty \frac{\sin(66n)}{n^3}=-\frac{(21\pi-66)^3}{12}-\frac{66\pi^2}{12}+\frac{21\pi^3}{12}$$ $$\Rightarrow S=\frac{1}{4\cdot 7^3}\left((7\pi-22)^3\left(-\frac3{12} +\frac{3^3}{12}\right)\right)=\frac{1}{2}\left(\pi-\frac{22} {7}\right)^3$$ Tengo una fuerte sensación de que esto puede ser generalizado.

---

La generalización. Tenemos para $x\in\left((k-1)\pi,(k+1)\pi\right)$ $$\frac{k\pi-x}{2}=\sum_{n=1}^\infty \frac{\sin (nx)}{n}$$ $$\Rightarrow \sum_{n=1}^\infty \frac{\sin(nx)}{n^3}=-\frac{(k\pi-x)^3}{12}-\frac{\pi^2}{12}x+\frac{k\pi^3}{12}$$ Y para $x\in\left((3k-1)\pi,(3k+1)\pi\right)$ $$\sum_{n=1}^\infty \frac{\sin(nx)}{n^3}=-\frac{(3k\pi-x)^3}{12}-\frac{\pi^2}{12}x+\frac{3k\pi^3}{12}$$ Aquí es donde sucede la magia: $$S(a,b)=\sum_{n=1}^\infty \frac{\sin^3(an)}{(bn)^3}=\frac{1}{4b^3}\left(3\sum_{n=1}^\infty \frac{\sin(an)}{n^3}-\sum_{n=1}^\infty \frac{\sin(3an)}{n^3}\right)$$ $$=\frac{1}{4b^3}\left(-3\frac{(k\pi-a)^3}{12}-\frac{3\pi^2}{12}a+\frac{3k\pi^3}{12}+\frac{(3k\pi-3a)^3}{12}+\frac{3\pi^2}{12}a-\frac{3k\pi^3}{12}\right)$$ $$=\frac{1}{4b^3}\left((k\pi-a)^3 \left(-\frac{3}{12}+\frac{27}{12}\right)\right)=\frac{1}{2b^3}(k\pi-a)^3$$ Así, por ejemplo, una serie al azar: $$S(123,321)=\sum_{n=1}^\infty \frac{\sin^3(123n)}{(321n)^3}=\frac{1}{2\cdot(321)^3}(39\pi-123)^3$$ Si establecemos $b=k$ tenemos muy interesante las cosas, la mayoría de esas combinaciones se encuentran aquí https://en.wikipedia.org/wiki/Proof_that_22/7_exceeds_%CF%80pero la serie es evaluable en una forma elemental para cualquier par * de los números.

*Más como para cualquier valor de $a$ desde $b$ es sólo una constante que puede ser trown de distancia.

Answer 2

Demasiado largo para un comentario.

Creo que podríamos hacer increíbles identidades para el caso más general de $$S_{a,b}=\sum_{n=1}^{\infty}\left(\frac{\sin(an)}{bn}\right)^3=\frac 1{b^3}\sum_{n=1}^{\infty}\left(\frac{\sin(an)}{n}\right)^3$$ Con la primera $$\sin ^3(a n)=\frac{3}{4} \sin (a n)-\frac{1}{4} \sin (3 a n)$$ $$S_{a,b}=\frac{3}{4b^3}\sum_{n=1}^{\infty}\frac{\sin(an)}{n^3}-\frac{1}{4b^3}\sum_{n=1}^{\infty}\frac{\sin(3an)}{n^3}$$ , que es la parte imaginaria de $$T_{a,b}=\frac{3}{4b^3}\sum_{n=1}^{\infty}\frac{e^{ian}}{n^3}-\frac{1}{4b^3}\sum_{n=1}^{\infty}\frac{e^{3ian}}{n^3}$$ y ahora uso el hecho de que $$\sum_{n=1}^{\infty}\frac{e^{ikn}}{n^3}=\text{Li}_3\left(e^{i k}\right)$$ Como resultado $$S_{a,b}=\frac{i}{8 b^3} \left(3 \text{Li}_3\left(e^{-i}\right)-3 \text{Li}_3\left(e^{i un}\right)-\text{Li}_3\left(e^{-3 i a}\right)+\text{Li}_3\left(e^{3 me un}\right)\right)$$

Ahora, para el presente caso, $$i \left(\text{Li}_3\left(e^{-22 i}\right)-\text{Li}_3\left(e^{22 i}\right)\right)=-\frac{2}{3} (3 \pi -11) (4 \pi -11) (7 \pi -22)$$ $$i \left(\text{Li}_3\left(e^{-66 i}\right)-\text{Li}_3\left(e^{66 i}\right)\right)=-22 (\pi -3) (7 \pi -22) (10 \pi -33)$$hacer $$S_{22,b}=\frac{(7 \pi -22)^3}{2 b^3}=\frac 12\left(\frac{7\pi}b-\frac {22} b \right)^3$$

De hecho, la exploración de los casos en los que $$i\left(3 \text{Li}_3\left(e^{-i}\right)-3 \text{Li}_3\left(e^{i un}\right)-\text{Li}_3\left(e^{-3 i a}\right)+\text{Li}_3\left(e^{3 me un}\right)\right)$$ is a multiple of a perfect cube, up to $a=de$100 se encuentra la secuencia $$\{3,4,9,10,15,16,21,\color{red}{22},23,28,29,34,35,40,41,47,48,53,54,59,60,65,66,67,72,73,78,79,84, 85,91,92,97,98\}$$