\Binom{2n}{n evaluación $\sum_{n=1}^{\infty} \frac{1}{n^{3}}} $

Question

Wolfram MathWorld estados que $$ \sum_{n=1}^{\infty} \frac{1}{n^{3} \binom{2n}{n}} = \frac{ \pi \sqrt{3}}{18} \Big[ \psi_{1} \left(\frac{1}{3} \right) - \psi_{1} \left(\frac{2}{3} \right) \Big]- \frac{4}{3} \zeta(3) $$

donde $\psi_{1}(x)$ es la trigamma función.

No he sido capaz de obtener la respuesta en esa forma.

El uso de la expansión de Taylor de $ \displaystyle \arcsin^{2}(x) = \frac{1}{2} \sum_{n=1}^{\infty} \frac{1}{n^{2} \binom{2n}{n}} (2x)^{2n}$,

$$ \sum_{n=1}^{\infty} \frac{1}{n^{3} \binom{2n}{n}} = 4 \int_{0}^{\frac{1}{2}} \frac{\arcsin^{2}(x)}{x} \ dx. $$

Entonces yo integrada por partes.

$$ \begin{align} &4 \int_{0}^{\frac{1}{2}} \frac{\arcsin^{2}(x)}{x} \, dx \\ &= \frac{\pi^{2}}{9} \ln \left(\frac{1}{2} \right) - 8 \int_{0}^{\frac{1}{2}} \frac{\arcsin (x) \ln (x)}{\sqrt{1-x^{2}}} \, dx \\ &= - \frac{\pi^{2}}{9} \ln 2 - 8 \int_{0}^{\frac{\pi}{6}} u \ln (\sen u ) \ du = - 8 \ln 2 \int_{0}^{\frac{\pi}{6}} u \ du - 8\int_{0}^{\frac{\pi}{6}} u \ln (\sen u ) \ du \\ &= - 8 \int_{0}^{\frac{\pi}{6}} u \ln ( 2 \sen u ) \ du = -8 \ \text{Re} \int_{0}^{\frac{\pi}{6}} u \ln (1-e^{2iu}) \ du \\ &= 8 \ \text{Re} \int_{0}^{\frac{\pi}{6}} u \sum_{n=1}^{\infty} \frac{e^{2 u}}{n} \ du = 8 \ \sum_{n=1}^{\infty} \frac{1}{n} \int_{0}^{\frac{\pi}{6}} u \cos (2nu) \ du \\ &= \frac{2 \pi}{3} \sum_{n=1}^{\infty} \frac{\sin (\frac{n \pi}{3})}{n^{2}} + 2 \sum_{n=1}^{\infty} \frac{\cos (\frac{n \pi}{3})}{n^{3}} - 2 \zeta(3) \\ &= \frac{2 \pi}{3} \Bigg( \frac{\sqrt{3}}{2} \sum_{n=0}^{\infty} \frac{1}{(6n+1)^{2}} + \frac{\sqrt{3}}{2} \sum_{n=0}^{\infty} \frac{1}{(6n+2)^{2}} - \frac{\sqrt{3}}{2} \sum_{n=0}^{\infty} \frac{1}{(6n+4)^{2}} - \frac{\sqrt{3}}{2} \sum_{n=0}^{\infty} \frac{1}{(6n+5)^{2}} \Bigg) \\ &+ \ 2 \Bigg( \frac{1}{2} \sum_{n=0}^{\infty} \frac{1}{(6n+1)^{3}} - \frac{1}{2} \sum_{n=0}^{\infty} \frac{1}{(6n+2)^{3}} - \sum_{n=0}^{\infty} \frac{1}{(6n+3)^{3}} - \frac{1}{2} \sum_{n=0}^{\infty} \frac{1}{(6n+4)^{3}} \\ &+ \frac{1}{2} \sum_{n=0}^{\infty} \frac{1}{(6n+5)^{3}} + \sum_{n=1}^{\infty} \frac{1}{(6n)^{3}} \Bigg) - 2 \zeta(3) \\ &= \frac{\pi \sqrt{3}}{108} \Bigg( \psi_{1} \left(\frac{1}{6} \right) + \psi_{1} \left(\frac{1}{3} \right) - \psi_{1} \left(\frac{2}{3} \right) - \psi_{1}\left(\frac{5}{6} \right) \Bigg) + \frac{1}{432} \Bigg( - \psi_{2} \left(\frac{1}{6} \right) + \psi_{2} \left(\frac{1}{3} \right) -28 \zeta(3) \\ &+ \psi_{2} \left(\frac{2}{3} \right) - \psi_{2} \left(\frac{5}{6} \right) + 4 \zeta(3)\Bigg) - 2 \zeta (3) .\end{align}$$

A partir de ahí me he ido en círculos tratando de obtener la respuesta en la forma señalada anteriormente mediante la duplicación de las fórmulas para $\psi_{1}(x)$ y $\psi_{2}(x)$.

EDITAR:

Mediante la duplicación de la fórmula para el trigamma función ( $ \displaystyle 4 \psi_{1}(2x) = \psi_{1}(x) + \psi_{1} \left(x + \frac{1}{2} \right) $),

$$ \begin{align} &\psi_{1} \left(\frac{1}{6} \right) + \psi_{1} \left(\frac{1}{3} \right) - \psi_{1} \left(\frac{2}{3} \right) - \psi_{1}\left(\frac{5}{6} \right) \\ &= 4 \psi_{1} \left(\frac{1}{3} \right) -\psi_{1} \left(\frac{2}{3} \right) + \psi_{1} \left(\frac{1}{3} \right) -\psi_{1} \left(\frac{2}{3} \right) - 4 \psi_{1} \left(\frac{2}{3} \right) + \psi_{1} \left(\frac{1}{3} \right) \\ &= 6 \psi_{1} \left(\frac{1}{3} \right) - 6 \psi_{1} \left(\frac{2}{3} \right). \end{align}$$

Entonces

$$ \begin{align} \sum_{n=1}^{\infty} \frac{1}{n^{3} \binom{2n}{n}} &= \frac{\sqrt{3} \pi}{18} \Bigg( \psi_{1} \left(\frac{1}{3} \right) - \psi_{1} \left(\frac{2}{3} \right) \Bigg) + \frac{1}{432} \Bigg( - \psi_{2} \left(\frac{1}{6} \right) + \psi_{2} \left(\frac{1}{3} \right) \\ &+ \psi_{2} \left(\frac{2}{3} \right) - \psi_{2} \left(\frac{5}{6} \right) - 2 \zeta(3)\Bigg) - 2 \zeta (3). \end{align}$$

Entonces es de alguna manera muestra que $$-\psi_{2} \left(\frac{1}{6} \right) + \psi_{2} \left(\frac{1}{3} \right) + \psi_{2} \left(\frac{2}{3} \right) - \psi_{2} \left(\frac{5}{6} \right) = 312 \zeta(3) .$$

SEGUNDA EDICIÓN:

Mediante la duplicación de la fórmula para $\psi_{2}(x)$,

$$ \begin{align} &-\psi_{2} \left(\frac{1}{6} \right) + \psi_{2} \left(\frac{1}{3} \right) + \psi_{2} \left(\frac{2}{3} \right) - \psi_{2} \left(\frac{5}{6} \right) \\ &= -8 \psi_{2} \left(\frac{1}{3} \right) +\psi_{2} \left(\frac{2}{3} \right) + \psi_{2} \left(\frac{1}{3} \right) +\psi_{2} \left(\frac{2}{3} \right) - 8 \psi_{2} \left(\frac{2}{3} \right) + \psi_{2} \left(\frac{1}{3} \right) \\ &= -6 \psi_{2} \left(\frac{1}{3} \right) - 6 \psi_{2} \left(\frac{2}{3} \right) . \end{align}$$

Y el uso de la más general de la multiplicación de la fórmula,

$$ \psi_{2} \left(\frac{1}{3} \right) + \psi_{2} \left( \frac{2}{3} \right) + \psi_{2}(1) = 27 \psi_{2} (1) .$$

Por lo tanto,

$$ -6 \psi_{2} \left(\frac{1}{3} \right) - 6 \psi_{2} \left(\frac{2}{3} \right) = -156 \psi_{2} (1) = 312 \zeta(3) .$$

Answer 1

El uso de la expansión de Taylor para $\arcsin^2(x)$ y la integración, es fácil mostrar (como se hizo) que $$ \begin{align} \sum_{n=1}^{\infty} \frac{1}{n^{3} \binom{2n}{n}} Y= 4 \int_{0}^{\frac{1}{2}} \frac{\arcsin^{2}(x)}{x} \operatorname{d}x = - 8 \int_{0}^{\frac{\pi}{6}} u \ln ( 2 \sen u ) \operatorname{d}u \\ &= \frac{2 \pi}{3} \sum_{n=1}^{\infty} \frac{\sin (\frac{n \pi}{3})}{n^{2}} + 2 \sum_{n=1}^{\infty} \frac{\cos (\frac{n \pi}{3})}{n^{3}} - 2 \zeta(3)\\ &=\frac{2 \pi}{3}\operatorname{Cl}_2\left(\frac{\pi}{3}\right)+2\operatorname{Cl}_3\left(\frac{\pi}{3}\right)-2 \zeta(3) \end{align} $$ recordando que la Clausen función se define como $$ \operatorname{Cl}_{m}(\theta)= \begin{casos}\displaystyle \sum_{n=1}^{\infty} \frac{\sin (n\theta)}{n^{m}}& \text{para } m\text{ par}\\ \displaystyle\sum_{n=1}^{\infty} \frac{\cos(n\theta)}{n^{m}}& \text{para } m\text{ impar} \end{casos} $$ El valor de la Clausen función $\operatorname{Cl}_3$ en $\frac{\pi}{3}$ es $$ \operatorname{Cl}_3\left(\frac{\pi}{3}\right)=\frac{1}{2}\left(1-2^{-2}\right)\left(1-3^{-2}\right)\zeta(3)=\frac{1}{3}\zeta(3) $$ A partir de la duplicación de la fórmula $$ \operatorname{Cl}_{2m}(2\theta)=2^{2m-1}\left[\operatorname{Cl}_{2m}(\theta)-\operatorname{Cl}_{2m}(\pi-\theta)\right] $$ nos encontramos $$ \operatorname{Cl}_{2}\left(\frac{2\pi}{3}\right)=\frac{2}{3}\operatorname{Cl}_{2}\left(\frac{\pi}{3}\right). $$ A partir de las identidades de los trigamma función en $1/3$ y $2/3$ $$ \begin{align} \psi_1\left(\frac{1}{3}\right) &=\frac{2\pi^2}{3}+3\sqrt 3\operatorname{Cl}_{2}\left(\frac{2\pi}{3}\right)\\ \psi_1\left(\frac{2}{3}\right) &=\frac{2\pi^2}{3}-3\sqrt 3\operatorname{Cl}_{2}\left(\frac{2\pi}{3}\right) \end{align} $$ uno tiene $$ \psi_1\left(\frac{1}{3}\right)-\psi_1\left(\frac{2}{3}\right)=6\sqrt 3\operatorname{Cl}_{2}\left(\frac{2\pi}{3}\right) $$ y, a continuación, $$ \operatorname{Cl}_{2}\left(\frac{\pi}{3}\right)=\frac{\sqrt 3}{12}\left[\psi_1\left(\frac{1}{3}\right)-\psi_1\left(\frac{2}{3}\right)\right] $$

Finalmente, poniendo todo junto, tenemos $$ \begin{align} \sum_{n=1}^{\infty} \frac{1}{n^{3} \binom{2n}{n}} &=\frac{2 \pi}{3}\operatorname{Cl}_2\left(\frac{\pi}{3}\right)+2\operatorname{Cl}_3\left(\frac{\pi}{3}\right)-2 \zeta(3)\\ &=\frac{2 \pi}{3}\frac{\sqrt 3}{12}\left[\psi_1\left(\frac{1}{3}\right)-\psi_1\left(\frac{2}{3}\right)\right]+2\frac{1}{3}\zeta(3)-2\zeta(3)\\ &=\frac{\pi\sqrt 3}{18}\left[\psi_1\left(\frac{1}{3}\right)-\psi_1\left(\frac{2}{3}\right)\right]-\frac{4}{3}\zeta(3). \end{align} $$

Answer 2

$\newcommand{\ángulos}[1]{\left\langle\, nº 1 \,\right\rangle} \newcommand{\llaves}[1]{\left\lbrace\, nº 1 \,\right\rbrace} \newcommand{\bracks}[1]{\left\lbrack\, nº 1 \,\right\rbrack} \newcommand{\ceil}[1]{\,\left\lceil\, nº 1 \,\right\rceil\,} \newcommand{\dd}{{\rm d}} \newcommand{\ds}[1]{\displaystyle{#1}} \newcommand{\expo}[1]{\,{\rm e}^{#1}\,} \newcommand{\fermi}{\,{\rm f}} \newcommand{\piso}[1]{\,\left\lfloor #1 \right\rfloor\,} \newcommand{\mitad}{{1 \over 2}} \newcommand{\ic}{{\rm i}} \newcommand{\iff}{\Longleftrightarrow} \newcommand{\imp}{\Longrightarrow} \newcommand{\pars}[1]{\left (\, nº 1 \,\right)} \newcommand{\partiald}[3][]{\frac{\partial^{#1} #2}{\parcial #3^{#1}}} \newcommand{\pp}{{\cal P}} \newcommand{\raíz}[2][]{\,\sqrt[#1]{\vphantom{\large Un}\,#2\,}\,} \newcommand{\sech}{\,{\rm sech}} \newcommand{\sgn}{\,{\rm sgn}} \newcommand{\totald}[3][]{\frac{{\rm d}^{#1} #2}{{\rm d} #3^{#1}}} \newcommand{\verts}[1]{\left\vert\, nº 1 \,\right\vert}$ $\ds{\sum_{n=1}^{\infty} \frac{1}{n^{3} \binom{2n}{n}} = \frac{ \pi \sqrt{3}}{18} \Big[ \psi_{1} \left(\frac{1}{3} \right) - \psi_{1} \left(\frac{2}{3} \right) \Big]- \frac{4}{3} \zeta(3)}$

\begin{align} &\sum_{n = 1}^{\infty}{x^{n} \over n{2n \elegir n}} =\sum_{n = 1}^{\infty}x^{n}\, {\Gamma\pars{n}\Gamma\pars{n + 1} \\Gamma\pars{2n + 1}} =\sum_{n = 1}^{\infty}x^{n}\int_{0}^{1}t^{n - 1}\pars{1 - t}^{n}\,\dd t \\[3 mm]&=\int_{0}^{1}\sum_{n = 1}^{\infty}\bracks{tx\pars{1 - t}}^{n} \,{\dd t \t sobre} =\int_{0}^{1}\bracks{{1 \over 1 - tx\pars{1 - t}} - 1}\,{\dd t \t sobre} =\int_{0}^{1}{x\pars{1 - t} \over 1 - tx\pars{1 - t}}\,\dd t \end{align}

\begin{align} &\sum_{n = 1}^{\infty}{x^{n} \over n^{2}{2n \elegir n}} =\int_{0}^{x}\dd y\int_{0}^{1}{1 - t \más de 1 - ty\pars{1 - t}}\,\dd t =-\int_{0}^{1}{\ln\pars{1 - \bracks{1 - t}tx} \over t}\,\dd t \end{align}

\begin{align} &\color{#66f}{\large\sum_{n = 1}^{\infty}{1 \over n^{3}{2n \elegir n}}} =-\int_{0}^{1}{\dd x \sobre x} \int_{0}^{1}{\ln\pars{1 - \bracks{1 - t}tx} \over t}\,\dd t =\int_{0}^{1}{{\rm Li}_{2}\pars{t\bracks{1 - t}} \over t}\,\dd t \\[3 mm]&=\color{#66f}{{\pi \36\raíz{3}}\, \left[\psi ^{(1)}\left(\frac{1}{3}\right)-\psi ^{(1)}\left(\frac{2}{3}\right)+\psi ^{(1)}\left(\frac{1}{6}\right)-\psi ^{(1)}\left(\frac{5}{6}\right)\right]-\frac{4 \zeta (3)}{3}} \aprox {\tt 0.5229} \end{align}