La forma cerrada de $\ln^n \tan x\, dx$

Question

Aquí es una parte integral de verdad estoy atascado en. Estoy bastante seguro de que un general de la forma cerrada de la integral:

$$\mathcal{J}=\int_0^{\pi/2} \ln^n \tan x\, {\rm d}x, \;\; n \in \mathbb{N}$$

existe. Bueno, si $n$ es impar , entonces la integral es, obviamente, cero debido a la simetría. Por el contrario, si $n$ es incluso entonces la forma cerrada busco debe contener la beta de dirichlet función sin embargo soy incapaz de llegar a ella. Establecimiento $m=2n$, entonces:

$$\int_{0}^{\pi/2}\ln^m \tan x\, {\rm d}x=\int_{0}^{\infty}\frac{\ln^m u}{u^2+1}\, {\rm d}u= 2\int_{0}^{1}\frac{\ln^m u}{u^2+1}\, {\rm d}u$$

Si ampliamos el denominador en una serie de Taylor, es decir, $1+x^2=\sum \limits_{n=0}^{\infty} (-1)^n x^n$ luego de la última integral se escribe como:

$$2\int_{0}^{1}\ln^m x \sum_{n=0}^{\infty}(-1)^n x^n \, {\rm d}x = 2\sum_{n=0}^{\infty}(-1)^n \int_{0}^{1}x^n \ln^m x \, {\rm d}x = 2 \sum_{n=0}^{\infty}\frac{(-1)^n (-1)^m m!}{\left ( n+1 \right )^{m+1}}= 2 (-1)^m m! \sum_{n=0}^{\infty}\frac{(-1)^n}{\left ( n+1 \right )^{m+1}}$$

Al parecer hay algo mal aquí. He utilizado el resultado

$$\int_{0}^{1}x^m \ln^n x \, {\rm d}x = \frac{(-1)^n n!}{\left ( m+1 \right )^{n+1}}$$

como se presenta aquí.

Edición/ Actualización: Una conjetura mía es que la forma cerrada en realidad es:

$$\int_0^{\pi/2} \ln^{m} \tan x \, {\rm d}x=2m! \beta(m+1), \;\; m \;\;{\rm even}$$

Para $m=2$ coincide con el resultado de $\displaystyle \int_0^{\pi/2} \ln^2 \tan x\, {\rm d}x= \frac{\pi^3}{8}$.

Answer 1

Comenzamos con la integral de la $I$ dado por

$$I_n=\int_0^{\pi/2}\log^n (\tan x)\,dx \tag 1$$

Cumplimiento de la sustitución $\tan x\to x$, $(1)$ se convierte en

$$I_n=\int_0^\infty \frac{\log^n x}{1+x^2}\,dx=\left.\left(\frac{d^n}{da^n}\int_0^{\infty}\frac{x^a}{1+x^2}\,dx\right)\right|_{a=0}\tag 2$$

Evaluamos la integral en $(2)$ usando el teorema de los residuos. Para ello, analizamos el cerrado de contorno integral de la $J$ dado por

$$J\oint_C\frac{z^a}{1+z^2}\,dz$$

donde $C$ es la clásica "key-hole" contorno. A partir de los residuos teorema tenemos

$$\begin{align} J&=\oint_C\frac{z^a}{1+z^2}\,dz\\\\ &=2\pi i\left(\frac{e^{i\pi a/2}}{2i}+\frac{e^{i3\pi a/2}}{-2i}\right) \\\\ &=-2i\,\pi\, e^{ia\pi}\sin(\pi a/2) \end{align}$$

Podemos escribir $J$

$$\begin{align} J&=\left(1-e^{i2\pi a}\right)\,\int_0^{\infty}\frac{x^a}{1+x^2}\,dx\\\\ &=-2i e^{i\pi a}\sin(\pi a)\,\int_0^{\infty}\frac{x^a}{1+x^2}\,dx \end{align}$$

Por lo tanto, tenemos

$$\int_0^{\infty}\frac{x^a}{1+x^2}\,dx=\frac{\pi}{2\cos (\pi a/2)} $$

y

$$\begin{align} I_n&=\left.\left(\frac{d^n}{da^n}\frac{\pi}{2\cos (\pi a/2)}\right)\right|_{a=0}\\\\ &=(\pi/2)^{n+1}\left.\left(\frac{d^n\sec x}{dx^n}\right)\right|_{x=0} \end{align}$$

A partir de la Serie de la Secante de la Función que hemos

$$ \left.\frac{d^n \sec x}{dx^n}\right|_{x=0}= \begin{cases}0&,n\,\,\text{odd}\\\\ (i)^n\,E_n &,n\,\,\text{even} \end{casos} $$

Finalmente,

$$\bbox[5px,border:2px solid #C0A000]{I_{2n}=(\pi/2)^{2n+1}(-1)^nE_{2n}}$$

Answer 2

Queremos calcular:

$$ I_m = \int_{0}^{\pi/2}\left(\log\tan x\right)^{2m}\,dx = \int_{0}^{1}\frac{\left(\log t\right)^{2m}}{1+t^2}\,dt=\sum_{k\geq 0}(-1)^k\int_{0}^{1}t^{2k}(\log t)^{2m}\,dt$$ que es:

$$ I_m = (2m)!\sum_{k\geq 0}\frac{2(-1)^k}{(2k+1)^{2m+1}}=|E_{2m}|\cdot\left(\frac{\pi}{2}\right)^{2m+1}.$$

El último identidad ya fue demostrado aquí.