5 votos

Demuestra que $\int_0^\infty \frac{x\cos ax}{1+x^2}\coth \frac{\pi x}{4} dx=\frac{\pi}{2}e^{-a}+\cosh a\log \coth \frac{a}{2}+2\sinh a \arctan(e^{-a})-2$

Hola estoy tratando de probar esto $$ \int_0^\infty \frac{x\cos ax}{1+x^2}\coth \frac{\pi x}{4} dx=\frac{\pi}{2}e^{-a}+\cosh a\log \coth \frac{a}{2}+2\sinh a \arctan(e^{-a})-2,\qquad a>0. $$ Qué resultado tan deseable se quiere obtener:)
Estoy tratando de reducirlo posiblemente a integrales de la forma $$ \int_0^\infty \frac{\cos a x}{1+x^2}dx ,\quad \int_0^\infty \frac{x\cos a x}{1+x^2}dx $$ que son triviales de calcular y cuyos resultados aparecen también en la respuesta. Sin embargo, estoy teniendo problemas para hacerlo. Tal vez podamos utilizar

$$ \coth x=\frac{1+e^{2x}}{1-e^{-2x}} $$ y factorizar la integral en dos trozos pero entonces tenemos integrales de la forma (excluyendo $\pi/4$ factor), $$ \int_0^\infty \frac{x\cos ax}{(1+x^2)(1-e^{-2x})}dx+\int_0^\infty \frac{x\cos ax\, e^{2x}}{(1+x^2)(1-e^{-2x})}dx $$ que parecen difíciles. ¿Es este el enfoque correcto? ¿Cómo podemos resolver este problema? Gracias

4voto

Lance Roberts Puntos 11164

Este funciona bien utilizando los contornos.

Como la función es par, escribe:

$$\int_{-\infty}^{\infty}\frac{x\cos(ax)\cosh(\pi a/4)}{(x^{2}+1)\sinh(\pi a/4)}=2\int_{0}^{\infty}\frac{x\cos(ax)\cosh(\pi a/4)}{(x^{2}+1)\sinh(\pi a/4)}dx$$

Considere $$f(z)=\frac{ze^{iaz}\cosh(\frac{\pi z}{4})}{(z^{2}+1)\sinh(\frac{\pi z}{4})}$$

y utilizar un semicírculo en la UHP centrado en el origen con radio $4N+1$ (He cambiado esto debido a los consejos de Random Variables). De esta manera $\coth(\pi x/4)$ permanece acotado.

Los polos se encuentran en $\pm i, \;\ 4ni$ .

El poste en $-i$ puede no tenerse en cuenta porque no está en el contorno.

Así que, $$2\pi i Res(f,i)=\pi e^{-a}.....(1)$$

$$2\pi i Res(f, 4ni)=32\sum_{n=0}^{\infty}\frac{ne^{-4an}}{16n^{2}-1} \;\ \;\ ***$$

La suma se evalúa como:

$$2\cosh(a)log(\coth(a/2))+4\sinh(a)\tan^{-1}(e^{-a})-4$$

Suma esto con (1) y divide por 2 (debido a la paridad), y obtén:

$$\frac{\pi}{2}e^{-a}+2\tan^{-1}(e^{-a})+\cosh(a)\ln(\coth(a/2))-2$$

Para mostrar que el arco va a 0, mira el consejo de Variables Aleatorias de abajo.

Era una idea mejor y más precisa que la que tenía inicialmente. Sólo había utilizado R en lugar de 4N+1.


***La suma se puede hacer descomponiendo en fracciones parciales, usando series geométricas, y luego integrando. Dejo que Maple haga el trabajo pesado.

$$32\sum_{n=0}^{\infty}\frac{e^{-4an}n}{16n^{2}-1}=4\sum_{n=0}^{\infty}\frac{e^{-4an}}{4n+1}+4\sum_{n=0}^{\infty}\frac{e^{-4an}}{4n-1}$$

$$=4\sum_{n=0}^{\infty}\int_{0}^{1}(e^{-4a}x^{4})^{n}dx+4\sum_{n=0}^{\infty}\int_{0}^{1}(e^{-4a}x^{4})^{n}x^{-2}dx$$

$$=4\int_{0}^{1}\frac{1}{1-e^{-4a}x^{4}}dx+4\int_{0}^{1}\frac{1}{x^{2}(1-e^{-4a}x^{4})}dx$$

$$=e^{-a}\ln(1+e^{-a})-e^{-a}\ln(1-e^{-a})+e^{a}\ln(1+e^{-a})-e^{a}\ln(1-e^{-a})+2e^{a}\tan^{-1}(e^{-a})-2e^{-a}\tan^{-1}(e^{-a})-4$$

que puede escribirse en términos de cosh y coth utilizando las identidades hiperbólica y logarítmica.

0 votos

Buena respuesta. Pero creo que sería más correcto decir que a lo largo de la mitad superior de los círculos centrados en el origen de radio $4N+1$ ( $N \ge 1$ ), $\coth (\frac{\pi z}{4})$ permanece acotado. Entonces la integral alrededor de tales círculos desaparece como $N \to \infty$ desde $\text{max}_{0 \le \theta \le \pi} |\frac{(4N+1)e^{i \theta}}{1+(4N+1)^{2}e^{2i \theta}} \coth (\frac{\pi (4N+1)e^{i \theta}}{4})|$ se desvanece como $N \to \infty$ . O algo parecido. Una especie de forma modificada del lema de Jordan.

0 votos

Muy buenos consejos RV. Gracias. Esa es una manera más completa de hacerlo en lugar de mi manera mundana de mostrar que el arco grande va a 0. Me adelanté y lo cambié y acredité tu consejo.

1 votos

O más apropiadamente, $|\coth (\frac{\pi z}{4})|$ está uniformemente acotada en dichos círculos. Es decir, el límite no depende de $N$ .

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