×

# Trigamma Series

Evaluate $\sum_{k=1}^{\infty} \left[ \dfrac{\psi^{(1)} (k) }{k} \right]^{2}$

$$\psi^{(1)} (k)$$ is the trigamma function, defined as

$\psi^{(1)} (x) = \dfrac{\mathrm{d}^2}{\mathrm{d}x^2} [\ln (\Gamma (x) )]$

This is a part of the set Formidable Series and Integrals

Note by Ishan Singh
9 months, 3 weeks ago

Sort by:

Here's a irrelevant comment:::: (Plagiarized Ishu's work)

Claim: $$\displaystyle \sum_{k=1}^\infty ( \psi^{(1)} (k))^2 = 3 \zeta(3)$$.

Proof:

By writing the trigamma function in terms of integral representation, we have $$\displaystyle \psi^{(1)}(k) = \int_0^1 \dfrac{\ln x \cdot x^{k-1}}{1-x} \, dx$$. Taking its square gives us

$\begin{eqnarray} \displaystyle \left [ \psi^{(1)}(k) \right]^2 &= & \displaystyle \int_0^1\int_0^1 \dfrac{ \ln x \ln y (xy)^{k-1}}{(1-x)(1-y) } \, dx dy \\ \displaystyle \sum_{k=1}^\infty \left [ \psi^{(1)}(k) \right]^2 &= & \displaystyle \int_0^1\int_0^1 \dfrac{ \ln x \ln y}{(1-x)(1-y)} \sum_{k=1}^\infty (xy)^{k-1} \, dx dy \\ &= & \displaystyle \int_0^1 \int_0^1 \dfrac { \ln x \ln y}{(1-x)(1-y)(1-xy) } \, dx dy \\ &= & \displaystyle \int_0^1 \dfrac{ \ln x}{1-x} \int_0^1 \dfrac{ \ln y }{(1-y)(1-xy) } \, dy dx \end{eqnarray}$

Consider the integral $\int_0^1 \dfrac{ \ln y }{(1-y)(1-xy) } \, dy = \displaystyle \dfrac y{y-1} \underbrace{\int_0^1 \dfrac {\ln y}{1-xy} \, dy}_{= \, A} - \dfrac1{y-1} \underbrace{\int_0^1 \dfrac{ \ln y}{y - 1} \, dy}_{= \, B}$

Solving for $$A$$ gives

$\begin{eqnarray} \displaystyle \int_0^1 \dfrac {\ln y}{1-xy} \, dy &=& \displaystyle \int_0^1 \ln y \sum_{x=1}^\infty (xy)^{n-1} \, dy \\ &=& \displaystyle \sum_{n=1}^\infty x^{n-1} \int_0^1 \ln y \cdot y^{n-1} \, dy \\ &=& - \displaystyle \sum_{n=1}^\infty \dfrac{x^{n-1}}{n^2} = -\dfrac{ \text{Li}_2 (x)} x \end{eqnarray}$

Similarly, solving for $$B$$ gives $$- \dfrac{\text{Li}_2 (1) }1 = - \dfrac{\pi^2}6$$.

Thus we have $$\displaystyle \int_0^1 \dfrac{ \ln y}{(1-y)(1-xy) } \, dy = \dfrac1{1-x} \left [ \text{Li}_2 (x) - \dfrac{\pi^2} 6 \right ]$$, and so the double integral becomes

$\int_0^1 \dfrac {\ln x}{(1-x)^2 } \left [ \text{Li}_2 (x) - \dfrac{\pi^2} 6 \right ] \, dx = \int_0^1 \dfrac {\ln (1-x)}{x^2 } \left [ \text{Li}_2 (1-x) - \dfrac{\pi^2} 6 \right ] \, dx$

Because $$\displaystyle \int_a^b f(x) \, dx = \int_a^b f(a+b-x) \, dx$$. We integrate by parts with $$du = \dfrac{ \ln(1-x)}{x^2}, v = \text{Li}_2 (x) - \dfrac{\pi^2} 6$$ to get

$u = \int_0^x \dfrac{\ln (1-t)}{t^2} \, dt = -\dfrac{(1-x)}x - \int_0^x \dfrac {dt}{t(1-t)} = \ln(1-x) - \ln(x) - \dfrac{ \ln(1-x)}x$

And $$\dfrac{dv}{dx} = \left [ \text{Li}_2 (x) - \dfrac{\pi^2} 6 \right ] = \dfrac{\ln x}{1-x}$$.

Integrate by parts gives us

$\begin{eqnarray} \displaystyle \int_0^1 \dfrac {\ln (1-x)}{x^2 } \left [ \text{Li}_2 (1-x) - \dfrac{\pi^2} 6 \right ] \, dx &=& - \displaystyle \int_0^1 \dfrac{ \ln x}{1-x} \left [ \ln(1-x) - \ln x - \dfrac{ \ln(1-x)}x \right ] \, dx \\ &=& -\displaystyle \underbrace{ \int_0^1 \dfrac{ \ln x \ln(1-x)}{1-x} \, dx}_{= \, \rm{I}} + \underbrace{ \int_0^1 \dfrac{ (\ln x)^2}{1-x} \, dx}_{= \, \rm{II}}+ \underbrace{ \int_0^1 \dfrac{ \ln x \ln(1-x)}{x(1-x)} \, dx}_{= \, \rm{III}} \end{eqnarray}$

Now we just need to find the values of $$\rm{I}, \rm{II}$$ and $$\rm{III}$$. Taking note that $$B(a,b)$$ is the beta function, we have

$\begin{eqnarray} \displaystyle \rm{I} &=& \displaystyle\int_0^1 \dfrac{ \ln x \ln(1-x)}{1-x} \, dx \\ \displaystyle &=& \displaystyle \lim_{a\to0^+}\lim_{b\to1} \dfrac {\delta}{\delta a} \left( \dfrac {\delta}{\delta b} B(a,b) \right) = \zeta(3) \\ \displaystyle \rm{II} &=& \displaystyle\int_0^1 \dfrac{ (\ln x)^2}{1-x} \, dx \\ \displaystyle &=& \displaystyle \lim_{a\to0^+}\lim_{b\to1} \dfrac {\delta^2}{\delta a^2} \left ( B(a,b) \right) = 2\zeta(3) \\ \displaystyle \rm{III} &=& \displaystyle\int_0^1 \dfrac{ \ln x \ln(1-x)}{x(1-x)} \, dx \\ \displaystyle &=& \displaystyle \lim_{a\to0^+}\lim_{b\to0^+} \dfrac {\delta}{\delta a} \left( \dfrac {\delta}{\delta b} B(a,b) \right) = 2\zeta(3) \end{eqnarray}$

Combining them all together:

$\displaystyle - \int_0^1 \dfrac {\ln (1-x)}{x^2 } \left [ \text{Li}_2 (1-x) - \dfrac{\pi^2} 6 \right ] \, dx =- \zeta(3) + 2\zeta(3) + 2\zeta(3) = \boxed{3\zeta(3)} .$ · 9 months, 3 weeks ago

Nice one! It doesn't matter if it is plagiarised or not. · 9 months, 3 weeks ago

Try solving the actual question! =D · 9 months, 3 weeks ago

Comment deleted 9 months ago

Comment deleted 9 months ago

$$\Huge \pi ^{THE CRIMINAL}$$

:P · 9 months, 3 weeks ago

Hey, join here. We talk about integrals and math and integrals. · 9 months, 3 weeks ago

Comment deleted 9 months ago

Comment deleted 9 months ago

Comment deleted 9 months ago

Comment deleted 9 months ago

Comment deleted 9 months ago

Haha ,no worries. Good luck on your test! · 9 months, 3 weeks ago

Comment deleted 9 months ago

Comment deleted 9 months ago

$$\displaystyle \int \int xy dxdy = (x^{2} y^{2})/4$$

Is this right? · 9 months, 3 weeks ago

Comment deleted 9 months ago

KK thanks a lot! · 9 months, 3 weeks ago

$$\displaystyle \frac{93}{24}\zeta(6)$$ · 8 months, 2 weeks ago