9 votos

Una forma cerrada para una integral que da una suma con los términos de la forma$r_n \zeta(n) \pi^{-n}$, donde$n$ es impar.

La integral \begin{equation} I_m=\int_0^1 \frac{x^m-x}{\sin \pi x} \:dx \end{equation} se expresa como una suma finita de términos de la forma $r_n \zeta(n) \pi^{-n}$ donde $n$ es impar y $r_n$ es un número racional que depende de $n$.

En esta pregunta la Evaluación de $\int_0^1 \frac{x^2-x}{\sin \pi x} dx = - \frac{7 \zeta(3)}{\pi^3}.$ El usuario "user90369", ofrece una respuesta para $I_2$. Así que he seguido sus pasos y generalizado de la integral.

Definir: \begin{align} &f(a) = \int_0^1 x e^{ax} dx= \frac{1+e^a(a-1)}{a^2} \\ &g(a) = \int_0^1 x^m e^{ax} dx = \frac{e^a}{a^{m+1}} \left( (-1)^mm! + \sum_{n=1}^{m} (-1)^{m+n} \frac {a^n}{n!} \right) - \frac{(-1)^mm!}{a^{m+1}} \end{align}
Reescribir $I_m$ como:

\begin{align} I_m &= \int_0^1 \frac{x^m-x}{\sin \pi x} = 2i \int_0^1 \frac{x^m-x}{ e^{i\pi x } - e^{-i \pi x} }\nonumber\\ &= 2i \sum_{k=0}^{\infty} \int_0^1 (x^m-x)e^{-i\pi x(2k+1) } dx \\ &= 2i \sum_{k=0}^{\infty} g(-i\pi(2k+1)) - f(-i\pi (2k+1)) \nonumber \end{align}

Desde que llegué a las siguientes fórmulas para $I_m$.

Al $m$ es incluso y $\geq 2$:

\begin{align*} I_m = \frac{4m!i^m}{\pi^{m+1}} \left( 1-\frac{1}{2^{m+1}}\right) \zeta(m+1) + 2 m! \sum_{n\:odd \geq 0}^{m-2} \frac{i\: \zeta (m-n)}{(n+1)!(i\pi)^{m-n}} \left( 1-\frac{1}{2^{m-n}} \right) \end{align*}

Al $m$ es impar y $\geq 3$:

\begin{align*} I_m = 2 m! \sum_{n\:even \geq 0}^{m-2} \frac{i\: \zeta (m-n)}{(n+1)!(i\pi)^{m-n}} \left( 1-\frac{1}{2^{m-n}} \right). \end{align*}

Algunos valores de $I_m$:

\begin{align*} & I_2 = - \frac{7\zeta(3)}{\pi^3} \\ & I_3 = -\frac{21 \zeta(3)}{2\pi^3}\\ & I_4 = \frac{93\zeta(5)}{\pi^5}-\frac{21\zeta(3)}{\pi^3} \\ & I_5 = \frac{465\zeta(5)}{2\pi^5} - \frac{35\zeta(3)}{\pi^3} \\ & I_6 = -\frac{1}{2} \left( \frac{5715\zeta(7)}{\pi^7} - \frac{1395\zeta(5)}{\pi^5} + \frac{105\zeta(3)}{\pi^3} \right) \\ & I_7 = -\frac{1}{2} \left( \frac{40005\zeta(7)}{2\pi^7} - \frac{3255\zeta(5)}{\pi^5} + \frac{147\zeta(3)}{\pi^3} \right) \\ &I_8 = \frac{160965\zeta(9)}{\pi^9} - \frac{40005\zeta(7)}{\pi^7} + \frac{3255\zeta(5)}{\pi^5}-\frac{98\zeta(3)}{\pi^3} \end{align*}

También es posible integrar por partes $I_m$. De todos modos, he encontrado esta integral interesante y lo quise compartir. Quizás alguien puede hacer algo interesante con ella, o no.

Lo siento por los extraños/descuidado inglés.

7voto

Claude Leibovici Puntos 54392

No una respuesta, pero demasiado largo para un comentario.

Esta es sin duda una muy interesante integral.

Sólo por curiosidad, me preguntaba si la aproximación $$\sin(t) \simeq \frac{16 (\pi -t) t}{5 \pi ^2-4 (\pi -t) t}\qquad (0\leq t\leq\pi)$$ propuestos por Mahabhaskariya de Bhaskara I, un séptimo de la India del siglo matemático, podría conducir a algo simple.

El cambio de variable $x=\frac y \pi$ y considerando $$\int y^m \csc (y)\,dy \approx \frac{y^m \left(5 m y \, _2F_1\left(1,m+1, m+2;\frac{y}{\pi }\right)-4 m y+5 \pi (m+1)\right)}{16 m (m+1)}$$ podemos llegar a la increíblemente simple resultado $$I_m \approx \frac{2 m^2+3 m+5}{16\,m\, (m+1)}-\frac 5 {16} H_m $$

La siguiente tabla reproduce algunos de los valores (el llamado exacta de los valores que se obtienen por integración numérica) $$\left( \begin{array}{ccc} m & \text{approximation} & \text{exact} \\ 2 & -0.270833 & -0.271377 \\ 3 & -0.406250 & -0.407066 \\ 4 & -0.497917 & -0.499007 \\ 5 & -0.567708 & -0.569075 \\ 6 & -0.624256 & -0.625896 \\ 7 & -0.671875 & -0.673782 \\ 8 & -0.713046 & -0.715212 \\ 9 & -0.749330 & -0.751749 \\ 10 & -0.781780 & -0.784444 \\ 20 & -0.995573 & -1.000305 \\ 30 & -1.121081 & -1.127370 \\ 40 & -1.210330 & -1.217854 \\ 50 & -1.279654 & -1.288200 \\ 60 & -1.336350 & -1.345767 \\ 70 & -1.384318 & -1.394494 \\ 80 & -1.425892 & -1.436739 \\ 90 & -1.462578 & -1.474027 \\ 100 & -1.495406 & -1.507399 \end{array} \right)$$

Editar

Más sorprendente (al menos para mí) sería $$I_{m+1}-I_m\approx-\frac{5}{16 m}+\frac{1}{4 (m+1)}-\frac{1}{4 (m+2)}$$

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X