Series (función de dilogaritmo)

Question

Dejemos que $\displaystyle f(x)=\sum_{n=1}^{\infty} \dfrac{x^n}{n^2} , \; x \in (0, 1)$ . Evaluar $f(1/2)$ sin utilizar las fórmulas conocidas del dilogaritmo ni la ecuación que satisface.

¿Puedo tener algunas pistas sobre cómo empezar? Intenté con la Transformación de Laplace y un enlace a un teorema pero no funcionó. También probé con la serie de Taylor de $\ln(1+x)$ y $\ln(1-x)$ pero no puedo ver un patrón.

Answer 1

Podemos explotar la identidad: $$\int_{0}^{1} x^n\log x\,dx = -\frac{1}{(n+1)^2}\tag{1}$$ lo que lleva a (simplemente multiplicar ambos términos de $(1)$ por $\frac{1}{2^{n+1}}$ y luego sumar sobre $n$ ): $$\begin{eqnarray*} \operatorname{Li}_2\left(\frac{1}{2}\right)&=&-\frac{1}{2}\int_{0}^{1}\frac{\log x}{1-x/2}\,dx\\&=&-\frac{\log 2}{2}\int_{0}^{1}\frac{dx}{1-x/2}-\frac{1}{2}\int_{0}^{1}\frac{\log(x/2)}{1-x/2}\,dx \\ &=&-\log^2 2-\int_{0}^{1/2}\frac{\log x}{1-x}\,dx\\&=&-\log^2 2-\int_{0}^{1}\frac{\log x}{1-x}\,dx+\int_{1/2}^{1}\frac{\log x}{1-x}\,dx\\&=&\zeta(2)-\log^2 2+\int_{1}^{2}\frac{\log x}{x(1-x)}\,dx\\&=&\zeta(2)-\frac{\log^2 2}{2}+\int_{1}^{2}\frac{\log x}{1-x}\,dx\tag{2}\end{eqnarray*}$$ donde: $$\begin{eqnarray*} \int_{1}^{2}\frac{\log x}{1-x}\,dx&=&-\int_{0}^{1}\frac{\log(x+1)}{x}\,dx\\&=&\sum_{n\geq 1}\frac{(-1)^{n}}{n^2}=-\frac{\zeta(2)}{2}\tag{3}\end{eqnarray*}$$ de la cual: $$\operatorname{Li}_2\left(\frac{1}{2}\right)=\color{red}{\frac{\zeta(2)-\log^2 2}{2}}.$$