Conjeturo que $$\int_{-z}^z \frac{\sin \left(\frac \pi {2z} x + \frac \pi 2 \right)} z \int_z^\infty \exp\left({- \frac {(y-x)^2 \pi^2}{16}}\right) \,d y d x \sim \frac 1 {z^2}$ $ cuando $z\to \infty$ .
Tal vez debería haber también igualdad.
Respuestas
¿Demasiados anuncios?
El cambio de $x=zt, y=zt+u$, en puede expresar \begin{align} I&=\int_{-z}^z \frac{\sin \left(\frac \pi {2z} x + \frac \pi 2 \right)} z \int_z^\infty \exp\left({- \frac {(y-x)^2 \pi^2}{16}}\right) \,d y d x\\ &=\int_{-1}^1\cos\frac{\pi t}{2}\,dt\int_{z(1-t)}^\infty \exp\left( -\frac{\pi^2}{16} u^2 \right)\,du \end{align} Se puede integrar por partes, \begin{align} I=\frac{2}{\pi}&\left[\sin \frac{\pi}{2}\int_{0}^\infty \exp\left( -\frac{\pi^2}{16}t^2 \right)\,dt \right. \\ -&\sin \left( \frac{-\pi}{2} \right)\int_{2z}^\infty \exp\left( -\frac{z^2\pi^2}{16}t^2 \right)\,dt\\ -&z\left.\int_{-1}^1\sin \frac{\pi t}{2}\exp\left( -\frac{z^2\pi^2}{16}(1-t)^2 \right)\,dt \right] \end{align} o, \begin{equation} I=\frac{2}{\pi}\left[\frac{2}{\sqrt{\pi}}\left( 2-\operatorname{erf}\left( \frac{z\pi}{2} \right) \right)-z\int_{0}^2\cos \frac{\pi s}{2}\exp\left( -\frac{z^2\pi^2}{16}s^2 \right)\,ds\right] \end{equation} Para $z\to\infty$, se puede evaluar la integral usando el método de Laplace, \begin{equation} z\int_{0}^2\cos \frac{\pi s}{2}\exp\left( -\frac{z^2\pi^2}{16}s^2 \right)\,ds\sim \frac{2}{\sqrt{\pi}}-\frac{2}{\sqrt{\pi}z^2}+\frac{1}{\sqrt{\pi}z^4}+O\left( z^{-6} \right) \end{equation} mientras (DLMF) \begin{equation} \frac{2}{\sqrt{\pi}}\left( 2-\operatorname{erf}\left( \frac{z\pi}{2} \right) \right)\sim \frac{2}{\sqrt{\pi}}+O\left( z^{-1}e^{-z^2\pi^2/4} \right) \end{equation} y así \begin{equation} I\sim \frac{4}{\pi^{3/2}}\frac{1}{z^2}\left[1-\frac{1}{2z^2}+O\left( z^{-4} \right)\right] \end{equation} Alternativamente, expresando el $\cos$ en el complejo y completar el exponente, la integral se puede expresar como \begin{equation} z\int_{0}^2\cos \frac{\pi s}{2}\exp\left( -\frac{z^2\pi^2}{16}s^2 \right)\,ds=\frac{\exp(-1/z^2)}{\sqrt{\pi}}\left[ \operatorname{erf}\left( \frac{z^2\pi+2i}{2z} \right)+\operatorname{erf}\left( \frac{z^2\pi-2i}{2z} \right) \right] \end{equation} que le da una forma cerrada de la expresión de la integral.
Claude Leibovici
Puntos
54392
Como Pablo Enta contestado ya, la integral puede ser exactamente calculada. $$J=\int_z^\infty \exp\left({- \frac { \pi^2}{16}(y-x)^2}\right) \,d y=\frac{2 }{\sqrt{\pi }}\left(1+\text{erf}\left(\frac{\pi}{4} (x-z)\right)\right)$$ $$I=\int \frac{\cos \left(\frac{\pi x}{2 z}\right)}{z}J \,dx=\frac{2 e^{-\frac{1}{z^2}}}{\pi ^{3/2}}\left(\text{fer}\left(\frac{\pi z (z-x)+4 i}{4 z}\right)-\text{fer}\left(\frac{\pi z (x-z)+4 i}{4 z}\right) \right)+\frac{4 \pecado \left(\frac{\pi x}{2 z}\right)}{\pi ^{3/2}} \left(1+\text{fer}\left(\frac{\pi (x-z)}{4} \right)\right)$$ Ahora, el uso de los límites, el resultado de la integral definida es $$\frac{2 \left(4-2 \text{fer}\left(\frac{\pi z}{2}\right)-i e^{-\frac{1}{z^2}} \left(\text{erfi}\left(\frac{1}{z}-\frac{i \pi z}{2}\right)-\text{erfi}\left(\frac{1}{z}+\frac{i \pi z}{2}\right)\right)\right)}{\pi ^{3/2}}$$ and expanding for large values of $z$, esto da $$\sim \frac{4}{\pi ^{3/2} z^2}\left(1-\frac{1}{2 z^2}+\frac{1}{6 z^4}+O\left(\frac{1}{z^6}\right) \right)+\frac{32 e^{-\frac{1}{4} \pi ^2 z^2}}{\pi ^5 z^5}\left(1-\frac{12}{\pi ^2 z^2}+\frac{4 \left(45-\pi ^2\right)}{\pi ^4 z^4}+O\left(\frac{1}{z^6}\right) \right)$$
