Integral de la $\int_0^{\infty} \frac{\log x}{\cosh^2x} \ \mathrm{d}x = \log\frac {\pi}4- \gamma$

Question

Inspirado por el usuario @Integrales, pensé que me iba a encontrar algo bonito integrales! Especialmente interesantes son aquellos que involucran $\log \pi$. De Borwein y Devlin "El Equipo como Crisol", pg. 58 - muestran que

$$\displaystyle \int_0^{\infty} \frac{\log x}{\cosh^2x} \ \mathrm{d}x = \log\frac {\pi}4 - \gamma,$$

donde $\gamma$ es el de Euler-Mascheroni constante.

Answer 1

Vamos lo que se considera la integral se denota por a $I$. Tenemos $$\eqalign{I&=\int_0^{1}\frac{\ln x}{\cosh^2x}dx+\int_{1}^\infty\frac{\ln x}{\cosh^2x}dx\cr &=\Big[(\ln x)\tanh x \Big]_0^1-\int_0^1\frac{\tanh x}{x}dx+ \Big[(\ln x)(\tanh x-1) \Big]_1^\infty-\int_1^\infty\frac{\tanh x-1}{x}dx\cr Y=2\int_1^\infty\frac{dx}{x(1+e^{2x})}-\int_0^1\frac{1-e^{-2}}{x(1+e^{-2})}dx\cr &=2\int_1^\infty\frac{dx}{x(1+e^{2x})}-\int_0^1\frac{1-e^{-2x}}{x}\left(\frac{1}{1+e^{-2x}}-1\right)dx- \int_0^1\frac{1-e^{-2}}{x}dx\cr Y=2\int_1^\infty\frac{dx}{x(1+e^{2x})}+\int_0^1\frac{e^{-2}-e^{-4x}}{x(1+e^{-2})}dx- \int_0^1\frac{1-e^{-2}}{x}dx\cr &=2\int_1^\infty\frac{dx}{x(1+e^{2x})}-\int_1^\infty\frac{e^{-2x}-e^{-4x}}{x(1+e^{-2x})}dx+\int_0^\infty\frac{e^{-2x}-e^{-4x}}{x(1+e^{-2x})}dx- \int_0^1\frac{1-e^{-2}}{x}dx\cr &=\int_1^\infty\frac{1+e^{-2}}{x(1+e^{2x})}dx+\int_0^\infty\frac{e^{-2}-e^{-4x}}{x(1+e^{-2})}dx- \int_0^1\frac{1-e^{-2}}{x}dx\cr &=\int_1^\infty\frac{e^{-2}}{x}dx- \int_0^1\frac{1-e^{-2}}{x}dx+\int_0^\infty\frac{e^{-2}-e^{-4x}}{x(1+e^{-2})}dx\cr &=\underbrace{\int_2^\infty\frac{e^{-t}}{t}dt- \int_0^2\frac{1-e^{-t}}{t}dt}_A+\underbrace{\int_0^\infty\frac{e^{-t}-e^{-2t}}{t(1+e^{-t})}dt}_B} $$ Ahora, tenga en cuenta que $$\eqalign{ A&=\int_2^\infty\frac{e^{-t}}{t}dt-\int_0^1\frac{1-e^{-t}}{t}dt- \int_1^2\frac{1-e^{-t}}{t}dt\cr &=\int_2^\infty\frac{e^{-t}}{t}dt-\int_0^1\frac{1-e^{-t}}{t}dt-\ln2 +\int_1^2\frac{e^{-t}}{t}dt\cr &=\int_1^\infty\frac{e^{-t}}{t}dt-\int_0^1\frac{1-e^{-t}}{t}dt-\ln2\cr y=-\gamma\ln2 } $$ Para calcular el $B$ podemos hacer lo siguiente $$\eqalign{ B&=\int_0^\infty\frac{e^{-t}-e^{-2t}}{t}\left(\sum_{n=0}^\infty(-1)^ne^{nt}\right)dt\cr &=\sum_{n=0}^\infty(-1)^n\int_0^\infty\frac{e^{-(n+1)t}-e^{-(n+2)t}}{t}dt\cr &=\sum_{n=0}^\infty(-1)^n\ln\left(\frac{n+2}{n+1}\right)\cr &=\lim_{m\to\infty}\sum_{n=0}^{2m-2}(-1)^n\ln\left(\frac{n+2}{n+1}\right)\cr &=\lim_{m\to\infty}\ln\left(\prod_{k=1}^m\frac{2k}{2k-1}\prod_{k=1}^{m-1}\frac{2k}{2k+1}\right)\cr &=\lim_{m\to\infty}\ln\left(\frac{(2m)!!(2m-2)!!}{((2m-1)!!)^2}\right)=\ln\left(\frac{\pi}{2}\right)\cr } $$ Por la fórmula de Stirling. Este rendimientos $I=\ln \pi-2\ln 2-\gamma$. $\qquad\square$

Answer 2

Deje $ \displaystyle I(a) = \int_{0}^{\infty} \frac{x^{a}}{\cosh^{2} x} \ dx$.

Entonces si $\text{Re} (a) >0$,

$$ \begin{align} I(a) &= 4 \int_{0}^{\infty} \frac{x^{a}}{(e^{x}+e^{-x})^{2}} \ dx \\ &= 4 \int_{0}^{\infty}x^{a} \frac{e^{-2x}}{(1+e^{-2x})^{2}} \ dx \\ &=4\int_{0}^{\infty} x^{a} \sum_{n=1}^{\infty} (-1)^{n-1} n e^{-2nx} \ dx \\ &=4 \sum_{n=1}^{\infty} (-1)^{n-1}n \int_{0}^{\infty} x^{a} e^{-2nx} \ dx \\ &= 4 \sum_{n=1}^{\infty} (-1)^{n-1} n \frac{\Gamma(a+1)}{(2n)^{a+1}} \\ &= \frac{2 \Gamma(a+1)}{2^{a}}\sum_{n=1}^{\infty} \frac{(-1)^{n-1}}{n^{a}} \\ &= \frac{2 \Gamma(a+1) \eta(a)}{2^{a}} \end{align}$$

donde $\eta(a)$ es la de Dirichlet eta función.

Pero por la continuación analítica, la fórmula anterior es válida si $\text{Re}(a) >- 1$.

A continuación, la diferenciación bajo el signo integral obtenemos

$$ \begin{align} I'(a) &= \int_{0}^{\infty} \frac{x^{a} \log(x)}{\cosh^{2} x} \ dx \\ &= 2 \ \frac{[\Gamma'(a+1) \eta(a) + \Gamma(a+1) \eta'(a)]2^{a}- \Gamma(a+1) \eta(a) \log (2) 2^{a}}{2^{{2a}}} \ , \end{align}$$

lo que significa que

$$ \int_{0}^{\infty}\frac{\log x}{\cosh^{2}x} \ dx = I'(0) = 2 \Big( \Gamma'(1) \eta(0)+\eta'(0) - \eta(0) \log(2) \Big) .$$

La eta de los valores se puede determinar mediante la relación

$$\eta(s) = (1-2^{1-s})\zeta(s) $$

y la conocida valores zeta de Riemann $$\zeta(0) = -\frac{1}{2} $$ and $$ \zeta'(0) = - \frac{1}{2} \log (2 \pi) . $$

Por lo tanto,

$$ \begin{align} \int_{0}^{\infty}\frac{\log x}{\cosh^{2}x} \ dx &= 2 \left[-\gamma \left(\frac{1}{2}\right)+ \frac{1}{2} \log \left(\frac{\pi}{2}\right) -\frac{1}{2}\log(2) \right] \\ &= \log \left( \frac{\pi}{4}\right) - \gamma . \end{align}$$

Answer 3

Ampliamente hablando, hemos

$$\begin{align} \int_0^{\infty} \frac{\log x}{\cosh^2x}\ \mathrm{d}x &=\lim_{a\to0} \lim_{b\to2}\frac{\partial}{ \partial a \partial b}\left(-4\int_0^{ \infty}\frac{x^{a-1}}{1+e^{b x}} \ dx\right)\\&= \lim_{a\to0} \lim_{b\to2}\frac{\partial}{\partial a \partial b}\left(b^{-a} (2^{3-a}-4) \Gamma(a) \zeta(a)\right)\\&=\log\left(\frac{\pi}{4}\right)-\gamma\end{align}$$

Hecho.