Estoy tratando de evaluar esta integral $$\int_{0}^{1} \sin (\pi x)\ln (\Gamma (x)) dx$$ y llegué al punto, cuando necesito encontrar $\displaystyle \int_{0}^{\pi } \sin (x)\ln (\sin (x)) dx$ pero todo lo que he intentado ha fallado, o bien no he sido capaz de poner los bordes. ¿Podríais ayudarme, por favor? Gracias
Respuestas
¿Demasiados anuncios?Dejemos que $u=\cos(x)$ entonces $$ \begin{align} \int_0^\pi\sin(x)\log(\sin(x))\,\mathrm{d}x &=\frac12\int_{-1}^1\log\left(1-u^2\right)\,\mathrm{d}u\\ &=\frac12\left(\int_{-1}^1\log(1-u)\,\mathrm{d}u+\int_{-1}^1\log(1+u)\,\mathrm{d}u\right)\\ &=\int_0^2\log(v)\,\mathrm{d}v\\[3pt] &=\left.v\log(v)-v\right]_0^2\\[9pt] &=2\log(2)-2\tag{1} \end{align} $$
Utilizando el comentario de Jack D'Aurizio $$ \begin{align} &\int_0^1\sin(\pi x)\log(\Gamma(x))\,\mathrm{d}x\tag{2}\\ &=\int_0^1\sin(\pi x)\log(\Gamma(1-x))\,\mathrm{d}x\tag{3}\\ &=\frac12\int_0^1\sin(\pi x)\log\left(\frac\pi{\sin(\pi x)}\right)\,\mathrm{d}x\tag{4}\\ &=\frac1{2\pi}\int_0^\pi\sin(x)\log(\pi)\,\mathrm{d}x -\frac1{2\pi}\int_0^\pi\sin(x)\log(\sin(x))\,\mathrm{d}x\tag{5}\\ &=\frac{\log(\pi)}\pi-\frac{\log(2)-1}\pi\tag{6}\\[3pt] &=\frac{\log(e\pi/2)}\pi\tag{7} \end{align} $$ Explicación:
$(3)$ : sustituto $x\mapsto1-x$
$(4)$ : promedio $(2)$ y $(3)$ y utilizar Fórmula de reflexión de Euler
$(5)$ : sustituto $x\mapsto x/\pi$
$(6)$ : aplicar $(1)$
$(7)$ : álgebra
Vamos a poner todo junto. $$ I = \int_{0}^{1}\sin(\pi x)\log\Gamma(x)\,dx = \int_{0}^{1}\sin(\pi z)\log\Gamma(1-z)\,dz \tag{1}$$ conduce a: $$ I = \frac{1}{2}\int_{0}^{1}\sin(\pi x)\log\left(\Gamma(x)\,\Gamma(1-x)\right)\,dx \tag{2}$$ pero $\Gamma(x)\,\Gamma(1-x) = \frac{\pi}{\sin(\pi x)}$ Por lo tanto: $$ I = \frac{\log \pi}{\pi}-\frac{1}{\pi}\int_{0}^{\pi/2}\sin(x)\log\sin(x)\,dx\tag{3} $$ o, con un cambio de variable e integración por partes: $$ I = \frac{\log \pi}{\pi}-\frac{1}{\pi}\int_{0}^{1}\frac{x\log x}{\sqrt{1-x^2}}\,dx = \frac{\log \pi}{\pi}+\frac{1}{\pi}\int_{0}^{1}\frac{1-\sqrt{1-x^2}}{x}\,dx\tag{4}$$ Así que..:
$$ \int_{0}^{1}\sin(\pi x)\log\Gamma(x)\,dx = \color{red}{\frac{1}{\pi}\left(1+\log\frac{\pi}{2}\right)}\tag{5}$$
ya que una primitiva para $\frac{1-\sqrt{1-x^2}}{x}=\frac{x}{1+\sqrt{1-x^2}}$ viene dada por $\log(1+\sqrt{1-x^2})-\sqrt{1-x^2}$ .
Utilizando el fórmula de reflexión , $(5)$ puede verse como una consecuencia de La fórmula de Raabe También.
También se deduce de Expansión de la serie de Fourier de Kummer .