Integral

Question

Hola estoy tratando de demostrar que $$ \int_0^{\pi/4} \log \tan \left(\frac{\pi}{4}\pm x\right)\frac{dx}{\tan 2x}=\pm\frac{\pi^2}{16}. $$ Lo que un resultado sorprendente y un ingenioso uno es. He tratado de escribir $$ \int_0^{\pi/4} \log \sin \left(\frac{\pi}{4}\pm x\right)\frac{dx}{\tan 2x}-\int_0^{\pi/4} \log \cos \left(\frac{\pi}{4}\pm x\right)\frac{dx}{\tan 2x}. $$ El cambio de las variables de $y=2x$ I obtenido $$ \frac{1}{2}\int_0^{\pi/2} \log \sin \left(\frac{\pi}{4}\pm \frac{y}{2}\right)\frac{dy}{\bronceado y}-\frac{1}{2}\int_0^{\pi/2} \log \cos \left(\frac{\pi}{4}\pm \frac{y}{2}\right)\frac{dy}{\bronceado y}. $$ Prefiero trabajar con el registro de seno/cosenos para $y\in [0,\pi/2]$ ya podemos utilizar $\int_0^{\pi/2} \log \sin x dx=-\frac{\pi}{2} \ln 2.$ Pero estoy atascado aquí. Gracias

Answer 1

$\newcommand{\+}{^{\daga}} \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{\down}{\downarrow} \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{\isdiv}{\,\left.\a la derecha\vert\,} \newcommand{\cy}[1]{\left\vert #1\right\rangle} \newcommand{\ol}[1]{\overline{#1}} \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{\ul}[1]{\underline{#1}} \newcommand{\verts}[1]{\left\vert\, nº 1 \,\right\vert} \newcommand{\wt}[1]{\widetilde{#1}}$ $\ds{\int_{0}^{\pi/4}\ln\pars{\tan\pars{{\pi \más de 4} \pm x}}\, {\dd x \\tan\pars{2x}} = \pm\,{\pi^{2} \over 16}:\ {\large ?}}$

Vamos a realizar los cálculos de forma simultánea.

Conjunto $\quad\ds{t \equiv {\pi \más de 4} \pm x\quad\imp\quad x = \pm\pars{t {\pi \más de 4}}}$:

\begin{align}&\color{#66f}{\large\int_{0}^{\pi/4} \ln\pars{\tan\pars{{\pi \over 4} \pm x}}\,{\dd x \over \tan\pars{2x}}} \\[3mm]&=\int_{\pi/4}^{\braces{\pi/2 \atop {\vphantom{\Huge A}0}}} \ln\pars{\tan\pars{t}}\,{\pm\,\dd t \over \tan\pars{\pm\bracks{2t - \pi/2}}} \\[3mm]&=-\int_{\pi/4}^{\braces{\pi/2 \atop {\vphantom{\Huge A}0}}} \ln\pars{\tan\pars{t}}\tan\pars{2t}\,\dd t =-\,\half\int_{\pi/2}^{\braces{\pi \atop {\vphantom{\Huge A}0}}} \ln\pars{\tan\pars{t \over 2}}\tan\pars{t}\,\dd t \\[3mm]&=-\,\half\int_{1}^{\braces{\infty \atop {\vphantom{\Huge A}0}}} \ln\pars{t}{2t \over 1 - t^{2}}\,{2\,\dd t \over 1 + t^{2}} =-2\int_{1}^{\braces{\infty \atop {\vphantom{\Huge A}0}}} {t\ln\pars{t} \over 1 - t^{4}}\,\dd t \\[3mm]&=\mp\, 2\int_{0}^{1}{t^{1/4}\ln\pars{t^{1/4}} \over 1 - t}\,{1 \over 4} \,t^{-3/4}\,\dd t =\mp\,{1 \over 8}\ \underbrace{% \int_{0}^{1}{t^{-1/2}\ln\pars{t} \over 1 - t}\,\dd t} _{\ds{=\ -\,{\pi^{2} \over 2}}} =\color{#66f}{\Large\pm\,{\pi^{2} \over 16}} \end{align}

Answer 2

Podemos escribir la integral como:\begin{align*} \int_0^{\pi/4} \frac{\log{\tan{(\frac{\pi}{4}-x)}}}{\tan{(2x)}}\, dx &= \int_0^{\pi/4} \log{\tan{(x)}}\tan{(2x)} \, dx \\ \end{align*}

Dejo\begin{align*} I(a) &= \int_0^{\pi/4} \tan{(x)}^a\, \tan{(2x)} dx \\ &= \int_0^{\pi/4} \frac{2\, \tan{(x)}^{a+1}}{1-\tan{(x)}^2} dx\\ &=\int_0^1 \frac{2\, t^{a+1}}{1-t^4}\, dt\\ &=\int_0^1 2\, t^{a+1}\, \sum_{n\ge 0} t^{4n}\, dt\\ &=\sum_{n\ge 0} \int_0^1 2\, t^{a+1+4n}\, dt\\ &=\sum_{n\ge 0} \frac{2}{a+2+4n} \end{align*}

y la integral requerida es:

\begin{align*} I'(0) &= \sum_{n\ge 0} -\frac{2}{(4n+2)^2}\\ &= -\frac{2}{4}\cdot \frac{3}{4} \zeta{(2)} = -\frac{\pi^2}{16} \end{align*}

y en general,

\begin{align*} I^{(n)}(0) = \boxed{\displaystyle \int_0^{\pi/4} \frac{\left(\log{\tan{\left(\frac{\pi}{4}- x\right)}}\right)^n}{\tan{(2x)}}\, dx = \frac{\left(-1\right)^{n} n!}{2^n} \left(1-\frac{1}{2^{n + 1}}\right) \zeta(n + 1)} \end{align*}

y proceder de manera similar para el otro caso:

\begin{align*} \boxed{\displaystyle \int_0^{\pi/4} \frac{\left(\log{\tan{\left(\frac{\pi}{4}+ x\right)}}\right)^n}{\tan{(2x)}}\, dx = \frac{n!}{2^n} \left(1-\frac{1}{2^{n + 1}}\right) \zeta(n + 1)} \end{align*}

Answer 3

Escritura \log \tan \left(\frac{\pi}{4}+ x\right)\frac$ {1} {\tan 2 x} = \frac {1} {2} \left(1-\tan ^2(x)\right) \cot (x) \log \left(\frac{1+\tan (x)} {1-\tan (x)} \right) $$ y el uso de un CAS, la primitiva se puede encontrar (su expresión es muy largo y no debo reproducirlo aquí). Con los límites de integración, se encuentra el resultado.

Answer 4

Dejando $t=\dfrac\pi4\pm x$, y usando el hecho de que $\tan\Big(a\pm\frac\pi2\Big)=-\cot a$, e $\tan2t=\dfrac{2\tan t}{1-\tan^2t}$ ,

luego sustituyendo $u=\tan t$, e $v=u^2$, esto es equivalente a probar que

$\displaystyle\int_0^1\frac{\ln v}{1-v^2}dv=-\frac{\pi^2}8$ . Esto se hace mediante la ampliación del denominador en su binomial de la serie, a continuación,

cambios en el orden de la suma y la integración, y el reconocimiento de la expresión de la Riemann $\zeta$ función en los siguientes de la serie.