Demuestra que $\int_{0}^{\pi/4}\int_{0}^{\pi/4}\left(\sec(x+y)+\sec(x-y)\right)\mathrm{d}x\mathrm{d}y=2G$

Question

Demuestra que $$ \int_{0}^{\pi/4}\int_{0}^{\pi/4} \left[\vphantom{\large A}\sec\left(x + y\right) + \sec\left(x - y\right)\right]\,\mathrm{d}x\mathrm{d}y = 2G $$ donde $G$ es Constante catalana . No sé por dónde empezar ni cómo hacerlo.

Answer 1

Básicamente, sólo tenemos que hallar la integral interna, que es bastante sencilla (es decir, la que depende de $x$ ). Comenzando a hacerlo obtenemos

$$\small\begin{align*} \int\sec(x+y)+\sec(x-y)\mathrm dx=&-\log\left(\cos\left(\frac{x-y}2\right)-\sin\left(\frac{x-y}2\right)\right)+\log\left(\cos\left(\frac{x-y}2\right)+\sin\left(\frac{x-y}2\right)\right)\\&-\log\left(\cos\left(\frac{x+y}2\right)-\sin\left(\frac{x+y}2\right)\right)+\log\left(\cos\left(\frac{x+y}2\right)+\sin\left(\frac{x+y}2\right)\right) \end{align*}$$

Introduciendo los valores de $x$ , $0$ y $\frac\pi4$ obtenemos después de un poco de álgebra desordenada (incluyendo las sustituciones $\frac y2-\frac\pi8\mapsto y$ y $\frac y2+\frac\pi8\mapsto y$ ) que las integrales son iguales a

$$\int_0^\frac\pi4\int_0^\frac\pi4\sec(x+y)+\sec(x-y)\mathrm dx\mathrm dy=2\int_0^\frac\pi4\log\left(\frac{1+\tan y}{1-\tan y}\right)\mathrm dy$$

Ahora se aplica $\tan y\mapsto y$ seguido de $\frac{1-y}{1+y}\mapsto y$ obtenemos

$$2\int_0^\frac\pi4\log\left(\frac{1+\tan y}{1-\tan y}\right)\mathrm dy=-2\int_0^1\frac{\log\left(\frac{1-y}{1+y}\right)}{1+y^2}\mathrm dy=-2\int_0^1\frac{\log(y)}{1+y^2}\mathrm dx$$

Esta última es una integral estándar bien conocida por ser igual al negativo de la Constante de Catalan $-\mathrm G$ .

$$\therefore~\int_0^\frac\pi4\int_0^\frac\pi4\sec(x+y)+\sec(x-y)\mathrm dx\mathrm dy~=~2\mathrm G$$

Answer 2

$$I=\int_0^{\pi/4}\int_0^{\pi/4}\sec(x+y)+\sec(x-y)dxdy$$

Tenemos que $$\int_0^{\pi/4}\sec(x+y)+\sec(x-y)dx=\ln c(y)+\ln c(-y)-\ln s(y)-\ln s(-y)$$ donde $$ c(y)=\cos\left(\frac\pi8+\frac{y}2\right)\\ s(y)=\sin\left(\frac\pi8+\frac{y}2\right). $$ Entonces tenemos $$I=\int_0^{\pi/4}\ln c(t)\ dt+\int_0^{\pi/4}\ln c(-t)\ dt-\int_0^{\pi/4}\ln s(t)\ dt-\int_0^{\pi/4}\ln s(-t)\ dt\\=C_++C_--S_+-S_-\ .$$ Recordemos entonces la serie de Fourier $$\ln\sin x=-\ln2-\sum_{k\geq1}\frac{\cos2kx}{k}$$ y $$\ln\cos x=-\ln2-\sum_{k\geq1}(-1)^k\frac{\cos2kx}{k}\ .$$ Así $$C_{\pm}=-\frac\pi4\ln2-\sum_{k\geq1}\frac{(-1)^k}{k}\int_0^{\pi/4}\cos\left(\frac{\pi k}{4}\pm kt\right)dt,$$ dando $$C_++C_-=-\frac{\pi}{2}\ln2+\sum_{k\geq1}\frac{(-1)^{k+1}}{k^2}\sin\frac{\pi k}{2}\ .$$ Del mismo modo $$S_\pm=-\frac\pi4\ln2-\sum_{k\geq1}\frac1{k}\int_0^{\pi/4}\cos\left(\frac{\pi k}{4}\pm kt\right)dt,$$ y $$S_++S_-=-\frac\pi2\ln2-\sum_{k\geq1}\frac1{k^2}\sin\frac{\pi k}2\ .$$ Por lo tanto $$\begin{align} I&=-\frac{\pi}{2}\ln2+\sum_{k\geq1}\frac{(-1)^{k+1}}{k^2}\sin\frac{\pi k}{2}-\left(-\frac\pi2\ln2-\sum_{k\geq1}\frac1{k^2}\sin\frac{\pi k}2\right)\\ &=-\sum_{k\geq1}\frac{(-1)^{k}}{k^2}\sin\frac{\pi k}{2}+\sum_{k\geq1}\frac1{k^2}\sin\frac{\pi k}2\\ &=\sum_{k\geq1}\frac{1+(-1)^{k+1}}{k^2}\sin\frac{\pi k}{2}\\ &=2\sum_{k\geq0}\frac{1}{(2k+1)^2}\sin\frac{\pi (2k+1)}{2}\\ &=2\sum_{k\geq0}\frac{(-1)^k}{(2k+1)^2}\\ &=2\mathrm{G}. \end{align}$$

---

Como nota al margen interesante, recordamos que para $|x|<\pi/2$ : $$\sec(x)=\sum_{n\geq0}(-1)^n\frac{E_{2n}}{(2n)!}x^{2n}\ ,$$ donde $E_n$ son los números de Euler.

Así que $$\sec(x+y)+\sec(x-y)=2\sum_{n\geq0}(-1)^n\frac{E_{2n}}{(2n)!}\sum_{k=0}^{n}{2n\choose 2k}x^{2n-2k}y^{2k}\ ,$$ de $$(x+y)^{2n}+(x-y)^{2n}=2\sum_{k=0}^{n}{2n\choose 2k}x^{2n-2k}y^{2k}.$$ Así que nuestra integral es $$\begin{align} 2\mathrm{G}&=\int_0^{\pi/4}\int_0^{\pi/4}2\sum_{n\geq0}(-1)^n\frac{E_{2n}}{(2n)!}\sum_{k=0}^{n}{2n\choose 2k}x^{2n-2k}y^{2k}dxdy\\ &=2\sum_{n\geq0}(-1)^n\frac{E_{2n}}{(2n)!}\sum_{k=0}^{n}{2n\choose 2k}\int_0^{\pi/4}x^{2n-2k}dx\int_0^{\pi/4}y^{2k}dy\\ &=2\sum_{n\geq0}(-1)^n\frac{E_{2n}}{(2n)!}\sum_{k=0}^{n}{2n\choose 2k}\frac{\pi^{2n-2k+1}}{4^{2n-2k+1}(2n-2k+1)}\cdot\frac{\pi^{2k+1}}{4^{2k+1}(2k+1)}\\ &=2\sum_{n\geq0}(-1)^n\frac{E_{2n}}{(2n)!}\left(\frac\pi4\right)^{2n+2}\sum_{k=0}^{n}\frac{{2n\choose 2k}}{(2n-2k+1)(2k+1)}. \end{align}$$ Así que por fin tenemos la hermosa identidad $$\frac1{16}\sum_{n\geq0}(-1)^n\frac{E_{2n}}{(2n)!}\left(\frac\pi4\right)^{2n}\sum_{k=0}^{n}\frac{{2n\choose 2k}}{(2n-2k+1)(2k+1)}=\frac{\mathrm{G}}{\pi^2}$$