19 votos

Prueba de $ \int_0^\infty \frac{\cos(2\pi x^2)}{\cosh^2(\pi x)}dx=\frac 14$?

Hace poco estaba leyendo Bruce Berndt y George Andrews libro "Ramanujan del cuaderno perdido". Ramanujan mostró cómo calcular las integrales de la forma $ \int_0^\infty \frac{\cos(\pi wx^2)}{\cosh(\pi x)}dx $ when $w\in\mathbb P$. Inspired by Ramanujan's work I decided to try to compute numerically various similar looking integrals and by coincidence it turned out that $ \int_0^\infty \frac{\cos(2\pi x^2)}{\cosh^2(\pi x)}dx=0.250000000000000000... $ It looks like this integral is $\frac 14$, pero no tengo ni idea de cómo demostrarlo.

Pregunta: ¿Cómo demostrar que $$ \int_0^\infty \frac{\cos(2\pi x^2)}{\cosh^2(\pi x)}dx=\frac 14 ?$$

18voto

tired Puntos 4097

Estoy muy ocupado hoy en día por lo que algunos argumentos tienen que ser más riguroso

Denotar la integral en cuestión por $I$ (que por simetría puede ser extendido a toda la recta real)

$$ I=\int_{0}^{\infty}\frac{\cos(2\pi x^2)}{\cosh^2(\pi x)} $$

Ahora, considere el complejo de valores de la función

$$ f(z)=\frac{e^{2 \pi z^2}}{\sinh(4 \pi z)\cosh(\pi z)^2} $$

entonces $$f(x\pm i)=\frac{ e^{i 2 \pi x^2\mp 4 \pi x}}{\sinh(4 \pi z)\cosh(\pi z)^2}$$

Además de la integración de $f(z)$ alrededor de un rectángulo $(-i -\infty,i -\infty,i +\infty,-i +\infty)$ en dirección a la izquierda rendimientos

$$ \oint_C f(z)=\int_{\mathbb{R}}f(x+i)-\int_{\mathbb{R}}f(x-i)=2\pi i \sum\text{Res}(f(z),z\in C ) $$

pero $\int_{\mathbb{R}}f(x+i)-f(x-i)=2 \int_{\mathbb{R}}\frac{e^{i 2 \pi x^2}}{\cosh(\pi x)^2}$.

La parte real de esta integral es de sólo cuatro veces la integral que estamos buscando, $I$.

$$ 4 I=2\Re \int_{\mathbb{R}}\frac{e^{2 \pi x^2}}{\cosh(\pi x)^2}=\Re\left[2 i\pi \sum_{\sigma=\pm}\text{Res}(f(z),z=\sigma\frac{i}{2})\right] $$

pues resulta que sólo los residuos en $z=\pm \frac{i}{2}$ a) tener finito parte imaginaria y b) no cancelar para que son las únicas contribuciones a la parte real de la expresión anterior, dado por $\text{Res}(f(z)=z=\pm \frac{i}{2})=-\frac{2+i \pi}{4\pi^2}$.

Poner todo junto obtenemos

$$ I=\frac{1}{4}\Re\left[-2 \pi i \left(\frac{2+i\pi}{4 \pi^2}+\frac{2+i\pi}{4 \pi^2}\right)\right]=\frac{1}{4} $$

QED


Tenga en cuenta que con algunos más (sencillo) de trabajo, también la integral con $\sin(2\pi x^2)$ en el numerador puede ser extraído de cálculo tomando imaginaria.

$$ \int_{0}^{\infty}\frac{\sin(2\pi x^2)}{\cosh^2(\pi x)}=\frac{1}{4}-\frac{1}{2\pi} $$

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X