$ \int_0^\frac{\pi}{2}\ln^n\left(\tan(x)\right)\:dx$

Question

Actualmente estoy trabajando en una integral definida, y estoy esperando a encontrar métodos alternativos para evaluar. Aquí voy a la dirección de la integral: \begin{equation} I_n = \int_0^\frac{\pi}{2}\ln^n\left(\tan(x)\right)\:dx \end{equation} Donde $n \in \mathbb{N}$. Primero hemos de observar que cuando se $n = 2k + 1$ ($k\in \mathbb{Z}, k \geq 0$) que, \begin{equation} I_{2k + 1} = \int_0^\frac{\pi}{2}\ln^{2k + 1}\left(\tan(x)\right)\:dx = 0 \end{equation} Esto puede ser fácilmente demostrado por darse cuenta de que el integrando es impar sobre la región de integración acerca de $x = \frac{\pi}{4}$. Por lo tanto, sólo tenemos que resolver los casos cuando se $n = 2k$, es decir, \begin{equation} I_{2k} = \int_0^\frac{\pi}{2}\ln^{2k}\left(\tan(x)\right)\:dx \end{equation} Aquí me han aislado dos métodos.

---

Método 1:

Deje $u = \tan(x)$: \begin{equation} I_{2k} = \int_0^\infty\ln^{2k}\left(u\right) \cdot \frac{1}{u^2 + 1}\:du = \int_0^\infty \frac{\ln^{2k}\left(u\right)}{u^2 + 1}\:du \end{equation} Tomamos nota de que: \begin{equation} \ln^{2k}(u) = \frac{d^{2k}}{dy^{2k}}\big[u^y\big]_{y = 0} \end{equation} Por Leibniz Integral de la Regla: \begin{align} I_{2k} &= \int_0^\infty \frac{\frac{d^{2k}}{dy^{2k}}\big[u^y\big]_{y = 0}}{u^2 + 1}\:du = \frac{d^{2k}}{dy^{2k}} \left[ \int_0^\infty \frac{u^y}{u^2 + 1} \right]_{y = 0} \nonumber \\ &= \frac{d^{2k}}{dy^{2k}} \left[ \frac{1}{2}B\left(1 - \frac{y + 1}{2}, \frac{y + 1}{2} \right) \right]_{y = 0} =\frac{1}{2}\frac{d^{2k}}{dy^{2k}} \left[ \Gamma\left(1 - \frac{y + 1}{2}\right)\Gamma\left( \frac{y + 1}{2} \right) \right]_{y = 0} \nonumber \\ &=\frac{1}{2}\frac{d^{2k}}{dy^{2k}} \left[ \frac{\pi}{\sin\left(\pi\left(\frac{y + 1}{2}\right)\right)} \right]_{y = 0} = \frac{\pi}{2}\frac{d^{2k}}{dy^{2k}} \left[\operatorname{cosec}\left(\frac{\pi}{2}\left(y + 1\right)\right) \right]_{y = 0} \end{align}

---

Método 2:

Primero nos observar que: \begin{align} \ln^{2k}\left(\tan(x)\right) &= \big[\ln\left(\sin(x)\right) - \ln\left(\cos(x)\right) \big]^{2k} \nonumber \\ &= \sum_{j = 0}^{2k} { 2k \choose j}(-1)^j \ln^j\left(\cos(x)\right)\ln^{2k - j}\left(\sin(x)\right) \end{align} Por la linealidad de la propiedad de la correcta integrales observamos: \begin{align} I_{2k} &= \int_0^\frac{\pi}{2} \left[ \sum_{j = 0}^{2k} { 2k \choose j}(-1)^j \ln^j\left(\cos(x)\right)\ln^{2k - j}\left(\sin(x)\right) \right]\:dx \nonumber \\ &= \sum_{j = 0}^{2k} { 2k \choose j}(-1)^j \int_0^\frac{\pi}{2} \ln^j\left(\cos(x)\right)\ln^{2k - j}\left(\sin(x)\right)\:dx \nonumber \\ & = \sum_{j = 0}^{2k} { 2k \choose j}(-1)^j F_{n,m}(0,0) \end{align} Donde \begin{equation} F_{n,m}(a,b) = \int_0^\frac{\pi}{2} \ln^n\left(\cos(x)\right)\ln^{m}\left(\sin(x)\right)\:dx \end{equation} Utilizando la misma identidad dado antes, esto se convierte en: \begin{align} F_{n,m}(a,b) &= \int_0^\frac{\pi}{2} \frac{d^n}{da^n}\big[\sin^a(x) \big] \cdot \frac{d^m}{db^m}\big[\cos^b(x) \big]\big|\:dx \nonumber \\ &= \frac{\partial^{n + m}}{\partial a^n \partial b^m}\left[ \int_0^\frac{\pi}{2} \sin^a(x)\cos^b(x)\:dx\right] = \frac{\partial^{n + m}}{\partial a^n \partial b^m}\left[\frac{1}{2} B\left(\frac{a + 1}{2}, \frac{b + 1}{2} \right)\right] \nonumber \\ &= \frac{1}{2}\frac{\partial^{n + m}}{\partial a^n \partial b^m}\left[\frac{\Gamma\left(\frac{a + 1}{2}\right)\Gamma\left(\frac{b + 1}{2}\right)}{\Gamma\left(\frac{a + b}{2} + 1\right)}\right] \end{align} Por lo tanto, \begin{equation} I_{2k} = \sum_{j = 0}^{2k} { 2k \choose j}(-1)^j \frac{1}{2}\frac{\partial^{2k }}{\partial a^j \partial b^{2k - j}}\left[\frac{\Gamma\left(\frac{a + 1}{2}\right)\Gamma\left(\frac{b + 1}{2}\right)}{\Gamma\left(\frac{a + b}{2} + 1\right)}\right]_{(a,b) = (0,0)} \end{equation}

---

Así, tengo curiosidad, ¿hay alguna otra Real Basados en los Métodos para evaluar esta integral definida?

Answer 1

$$\begin{split} I_{2k} &= \int_0^\infty\frac{\ln^{2k}u}{u^2 + 1}du \\ &= \int_0^1\frac{\ln^{2k}u}{u^2 + 1}du +\int_1^{+\infty}\frac{\ln^{2k}\left(u\right)}{u^2 + 1}du \\ &=\int_0^1\frac{\ln^{2k}u}{u^2 + 1}du +\int_0^{1}\frac{\ln^{2k}t}{t^2 + 1}dt \,\,\,\left(\text{by } u\rightarrow \frac 1 t\right)\\ &=2\int_0^1\frac{\ln^{2k}u}{u^2 + 1}du\\ &=2\sum_{n\in\mathbb N}(-1)^n\int_0^1u^{2n}\ln^{2k} (u) du \end{split}$$ Ahora, vamos a $$J_{p,q}=\int_0^1u^p\ln^q (u)du$$ Si $q\geq 1$, por integración por partes, $$J_{p, q}=\left. \frac{u^{p+1}}{p+1}\ln^q u\right]_0^1-\int_0^1\frac{u^{p+1}}{p+1}q\ln^{q-1}(u)\frac{du}u=-\frac q{p+1}J_{p,q-1}$$ En consecuencia, si $q\geq 1$, $$J_{p,q} = (-1)^{q}\frac{q!}{(p+1)^{q+1}}$$ Llegamos a la conclusión de que $$I_{2k}=2\cdot (2k)!\sum_{n\in\mathbb N}\frac{(-1)^n}{(2n+1)^{2k+1}}$$ Siguiente Zachy la sugerencia, la última suma es conocida como la Beta de la función de Dirichlet $$I_{2k}=2\cdot (2k)!\beta(2k+1)$$ Finalmente, los valores de $\beta$ a los números impares son conocidos en términos de números de Euler y obtenemos $$\boxed{I_{2k}=2\frac{(-1)^kE_{2k}\pi^{2k+1}}{4^{k+1}}}$$

Answer 2

Hacer una exponencial de generación de función con $I_k$, $$I_k: = \frac{1}{2} (1 + (-1)^k) \int_0^\infty \frac{ \log^{k}(u) }{u^2+1} du $$ Entonces $$I(x)=\sum_{k=0}^\infty I_k\,\frac{x^k}{k!} = \frac{1}{2}\int_0^\infty \frac{ u^x + u^{-x} }{u^2+1} du $$ donde un intercambio de $\sum$ e $\int$ ha sido hecho. La integral se puede resolver de forma cerrada, $I(x) = \pi/2 \cdot \sec{(\pi x/2)}.$ la Expansión de la sec en una potencia de la serie va a dar la última respuesta que Stafan Lafon dio, en términos de números de Euler.

Answer 3

Manera ligeramente diferente - use resultados bien conocidos

PS

(esta integral es considerada muchas veces en este sitio). $$\int_0^{\frac{\pi}{2}}\tan^ay\;dy=\frac{\pi}{2}\frac{1}{\sin \frac{\pi}2(a+1) } $ $

y diferenciar con respecto a $$\frac{1}{\sin x}=\frac{1}{x}+\sum _{n=1}^\infty (-1)^n\left ( \frac{1}{x-n\pi}+ \frac{1}{x+n\pi}\right )$ tanto como sea necesario.