Conjetura $\sum_{n=1}^\infty\frac{\ln(n+2)}{n\,(n+1)}\,\stackrel{\color{gray}?}=\,{\large\int}_0^1\frac{x\,(\ln x-1)}{\ln(1-x)}\,dx$

Question

Cálculos numéricos sugieren que $$\sum_{n=1}^\infty\frac{\ln(n+2)}{n\,(n+1)}\,\stackrel{\color{gray}?}=\,\int_0^1\frac{x\,(\ln x-1)}{\ln(1-x)}\,dx=1.553767373413083673460727...$$ ¿Cómo podemos demostrarlo? Hay una forma cerrada de la expresión de este valor?

Answer 1

Por Frullani del teorema de $$ \log(n+2)=\int_{0}^{+\infty}\frac{1-e^{-(n+1)x}}{xe^x}\,dx \tag{1}$$ por lo tanto multiplicando ambos lados por $\frac{1}{n(n+1)}$ y sumando más de $n\geq 1$ obtenemos: $$ \sum_{n\geq 1}\frac{\log(n+2)}{n(n+1)}=\int_{0}^{+\infty}\frac{(1-e^{-x})\left(1-\log(1-e^{-x})\right)}{xe^x}\,dx\tag{2} $$ entonces, sustituyendo $x=-\log(u)$: $$ \sum_{n\geq 1}\frac{\log(n+2)}{n(n+1)}=\int_{0}^{1}\frac{(u-1)\left(1-\log(1-u)\right)}{\log(u)}\,du\tag{3} $$ y la demanda sigue sustituyendo $v=(1-u)$.

---

Yo creo que no es una buena forma cerrada, sino en términos de un derivado de la especial zeta función, debido a $\log(n+2) = \left.\frac{d}{d\alpha}(n+2)^{\alpha}\right|_{\alpha=0^+}$, pero seguro que $$ \int_{0}^{1}\frac{-x}{\log(1-x)}\,dx = \int_{0}^{1}\frac{x-1}{\log x}\,dx = \log 2$$ y la serie de Taylor de $\frac{x}{\log(1-x)}$ depende de Gregorio coeficientes.

Answer 2

Además, aplicando el Teorema de $2$ (aquí), se obtiene una forma cerrada en términos de la poli-Stieltjes constantes.

La proposición. Tenemos

$$ \begin{align} \int_0^1\frac{x\,(\ln x-1)}{\ln(1-x)}\,dx= \ln 2+\gamma_1(2,0)-\gamma_1(1,0) \tag1 \\\\\sum_{n=1}^\infty\frac{\ln(n+2)}{n\,(n+1)}=\ln 2+\gamma_1(2,0)-\gamma_1(1,0) \tag2 \end{align}$$

donde

$$ \gamma_1(a,b) = \lim_{N\to+\infty}\left(\sum_{n=1}^N \frac{\log (n+a)}{n+b}-\frac{\log^2 \!N}2\right). $$

Answer 3

$\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{\dd}{\mathrm{d}} \newcommand{\ds}[1]{\displaystyle{#1}} \newcommand{\expo}[1]{\,\mathrm{e}^{#1}\,} \newcommand{\mitad}{{1 \over 2}} \newcommand{\ic}{\mathrm{i}} \newcommand{\iff}{\Leftrightarrow} \newcommand{\imp}{\Longrightarrow} \newcommand{\ol}[1]{\overline{#1}} \newcommand{\pars}[1]{\left (\, nº 1 \,\right)} \newcommand{\partiald}[3][]{\frac{\partial^{#1} #2}{\parcial #3^{#1}}} \newcommand{\raíz}[2][]{\,\sqrt[#1]{\, #2 \,}\,} \newcommand{\totald}[3][]{\frac{\mathrm{d}^{#1} #2}{\mathrm{d} #3^{#1}}} \newcommand{\verts}[1]{\left\vert\, nº 1 \,\right\vert}$

Another possible integral representation: \begin{align} \color{#f00}{\sum_{n = 1}^{\infty}{\ln\pars{n + 2} \over n\pars{n + 1}}} & = \sum_{n = 1}^{\infty}{1 \over n\pars{n + 1}}\ \overbrace{\bracks{\pars{n + 1}\int_{0}^{1}{\dd t \over 1 + \pars{n + 1}t}}} ^{\ds{\ln\pars{n + 2}}} \\[3mm] & = \int_{0}^{1} \sum_{n = 0}^{\infty}{1 \over \pars{n + 2 + 1/t}\pars{n + 1}}\,{\dd t \over t} = \int_{0}^{1} {\Psi\pars{2 + 1/t} - \Psi\pars{1} \over 1 + 1/t}\,{\dd t \over t} \\[3mm] & \stackrel{t\ \to 1/t}{=}\ \color{#f00}{\int_{1}^{\infty} {\Psi\pars{2 + t} - \Psi\pars{1} \over t + 1}\,{\dd t \over t} = \gamma\ln\pars{2} + \int_{1}^{\infty} {\Psi\pars{2 + t} \over t\pars{t + 1}}\,\dd t} \end{align}