Cómo evaluar una cierta integral definida: $\int_{0}^{\infty}\frac{\log(x)}{e^{x}+1}dx$

Question

Cómo puedo mostrar:

$$\int_{0}^{\infty}\frac{\log(x)}{e^{x}+1}dx=-\frac{\log^{2}(2)}{2}$$

EDIT: Esto es equivalente a demostrar que $\eta'(1)=-\ln2\gamma-\dfrac{\ln^2(2)}{2}$.

Answer 1

$\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}$ $$ \int_{0}^{\infty}{\ln\pars{x} \\expo{x} + 1}\,\dd x =\lim_{\mu\to 0}\partiald{}{\mu}\int_{0}^{\infty} {x^{\mu}\expo{-x} \over 1 + \expo{-x}}\,\dd x $$

\begin{align} \int_{0}^{\infty} {x^{\mu}\expo{-x} \over 1 + \expo{-x}}\,\dd x &=\sum_{n = 0}^{\infty}\pars{-1}^{n}\int_{0}^{\infty} x^{\mu}\expo{-\pars{n + 1}x}\,\dd x =\sum_{n = 0}^{\infty}{\pars{-1}^{n} \over \pars{n + 1}^{\mu + 1}} \int_{0}^{\infty}x^{\mu}\expo{-x}\,\dd x \\[3mm]&=\Gamma\pars{\mu + 1}\sum_{n = 1}^{\infty} {\pars{-1}^{n + 1} \over n^{\mu + 1}} =-\Gamma\pars{\mu + 1}{\rm Li}_{\mu + 1}\pars{-1} \\[3mm]&=\Gamma\pars{\mu + 1}\pars{1 - 2^{-\mu}}\zeta\pars{\mu + 1} \end{align}

\begin{align} &\color{#66f}{\large\int_{0}^{\infty}{\ln\pars{x} \over \expo{x} + 1}\,\dd x} =\lim_{\mu\ \to\ 0} \partiald{\bracks{\Gamma\pars{\mu + 1}\pars{1 - 2^{-\mu}}\zeta\pars{\mu + 1}}}{\mu} \tag{1} \\[3mm]&=\color{#66f}{\large -\,\half\,\ln^{2}\pars{2}} \approx -0.2402 \end{align}

Ver el Dirichlet Eta Función de enlace y la PolyLogarithm Función de Enlace.

ANEXOS

El límite, en la expresión de $\pars{1}$ tiene que ser manejado con cuidado debido a $\ds{\zeta\pars{\mu + 1} \sim {1 \over \mu}}$ al $\ds{\mu \sim 0}$. Tiene la Laurent Expansión $$ \zeta\pars{\mu + 1}={1 \over \mu} + \sum_{n = 0}^{\infty}{\pars{-1}^{n} \over n!}\, \gamma_{n}\,\mu^{n} $$ donde $\ds{\gamma_{n}}$'s son el Stieltjes Constantes. Vamos a considerar el límite de evaluación. Con el fin de evaluar el límite sólo necesitamos la expansión, hasta el fin de uno, de cada factor en ( $\ds{\gamma}$ es el de Euler-Mascheroni Constante ): $$ \Gamma\pars{\mu + 1}\,{1 - 2^{-\mu} \over \mu}\,\bracks{\mu\zeta\pars{\mu + 1}}\,, \qquad\left\vert\begin{array}{ccl} \ \Gamma\pars{\mu + 1} & \sim & 1 - \gamma\mu \\[2mm] \ {1 - 2^{-\mu} \over \mu} & \sim & \ln\pars{2} - \half\,\ln^{2}\pars{2}\mu \\[2mm] \ \mu\zeta\pars{\mu + 1} & \sim & 1 + \gamma\mu\,,\quad\gamma_{0} = \gamma \end{array}\right. $$ A partir de esta expresión vemos que el producto de $\ds{\Gamma\pars{\mu + 1}\bracks{\mu\zeta\pars{\mu + 1}} \sim 1 - \gamma^{2}\mu^{2}}$ is already of order $\ds{\mu^{2}}$. We are left with the'middle factor' $\ds{1 - 2^{-\mu} \over \mu}$ tal que \begin{align}&\lim_{\mu\ \to\ 0} \partiald{\bracks{\Gamma\pars{\mu + 1}\pars{1 - 2^{-\mu}}\zeta\pars{\mu + 1}}}{\mu} =\lim_{\mu\ \to\ 0} \partiald{\bracks{\ln\pars{2} - \ln^{2}\pars{2}\mu/2}}{\mu} \\[3mm]&=\color{#66f}{\large -\,\half\,\ln^{2}\pars{2}} \end{align}

Answer 2

Ya que para cualquier $\alpha$ tal que $\Re(\alpha)>-1$ tenemos: $$f(\alpha)=\int_{0}^{+\infty}\frac{x^\alpha}{e^x+1}\,dx = \left(1-\frac{1}{2^{\alpha}}\right)\Gamma(1+\alpha)\zeta(1+\alpha)\tag{1}$$ ampliando el integrando la función como una serie geométrica, sólo tenemos que encontrar el límite de la derivada de la RHS de $(1)$ al $\alpha\to 0^+$. Merece la pena considerar logarítmica derivados y explotar la identidad de $g'(z)=g(z)\cdot\frac{d}{dz}\log g(z)$, ya que la RHS de $(1)$ es un producto y $f(0)=\log 2$. Ahora tenemos, en una vecindad de cero: $$ 2^z-1 = z \log2 + \frac{z^2}{2}\log^2 2 + o(z^3),$$ $$ \Gamma(z+1) = 1-\gamma z + O(z^2),$$ $$ \zeta(z+1) = \frac{1}{z}+\gamma+O(z),$$ de ahí que su producto es $$ \log 2 + \frac{z}{2}\log^2 2 + O(z^2)$$ y el valor de la derivada logarítmica en cero de $\left(1-\frac{1}{2^{z}}\right)\Gamma(1+z)\zeta(1+z)$ es sólo $-\frac{\log 2}{2}$.

Esto nos da:

$$\int_{0}^{+\infty}\frac{\log x}{e^x+1}\,dx = -\frac{\log^2 2}{2}$$

como quería.

Answer 3

\begin{align} \int^\infty_0\frac{\color\red{\log{x}}}{e^x+1}dx &=\color\red{\lim_{a \to 1}\frac{d}{da}}\int^\infty_0\frac{\color\red{x^{a-1}}e^{-x}}{1+e^{-x}}dx\tag1\\ &=\lim_{a \to 1}\frac{d}{da}\sum_{n \ge 0}(-1)^n\int^\infty_0x^{a-1}e^{-(n+1)x}dx\tag2\\ &=\lim_{a \to 1}\sum_{n \ge 0}(-1)^n\frac{d}{da}\frac{\Gamma(a)}{(n+1)^a}\tag3\\ &=\lim_{a \to 1}\sum_{n \ge 0}(-1)^n\frac{\Gamma(a)\psi(a)-\Gamma(a)\log(n+1)}{(n+1)^a}\tag4\\ &=\psi(1)\sum_{n \ge 0}\frac{(-1)^n}{n+1}-\sum_{n \ge 0}\frac{(-1)^n\log(n+1)}{n+1}\tag5\\ &=-\gamma\log{2}-\left(\frac{1}{2}\log^22-\gamma\log{2}\right)\tag6\\ &=-\frac{1}{2}\log^22\\ \end{align} Explicación
$(1)$: Divide el numerador y el denominador por $e^x$
$(2)$: Ampliar el integrando como una serie geométrica, intercambiar el orden de integración y la suma de
$(3)$: Reconocer la función gamma
$(4)$: Cociente regla
$(5)$: Aplicar el límite y dividir la suma entre dos.
$(6)$: Para la primera suma, $\psi(1)=-\gamma$, e $\displaystyle\ln(1+1)=\sum_{n \ge 0}\frac{(-1)^n}{n+1}1^{n+1}$. Ahora voy a mostrar cómo evaluar la segunda suma. \begin{align} \sum_{n \ge 0}\frac{(-1)^n\log(n+1)}{n+1} &=\sum_{n \ge 1}\frac{(-1)^{n-1}\log{n}}{n}\tag7\\ &=\lim_{s \to 1}\frac{d}{ds}\sum_{n \ge 1}\frac{(-1)^{n}}{n^s}\\ &=-\eta'(1)\tag8\\ &=\frac{1}{2}\log^22-\gamma\log{2}\tag9\\ \end{align} $(7)$: Índice de cambio
$(8),(9)$: Ver Dirichlet eta función, Stieltjes Constantes