En mi trabajo reciente, necesito los detalles del cálculo de la siguiente integral múltiple impropia: $$\iint_{[0,1]^2}e^{-\pi x^2y^2}dxdy-\iint_{[1,\infty)^2}e^{-\pi x^2y^2}dxdy.$$ Como ves, la primera es una integral propia y la segunda es una integral impropia. Es fácil conocer la convergencia de la segunda. Al principio, sólo utilizo Wolfram mathematica 9.0 para obtener el resultado final: $$\frac{1}{4}(\gamma+\log(4\pi)),$$ donde $\gamma$ es una constante de Euler-Gamma. Pero ahora tengo que dar los detalles del cálculo. La matemática wolfram nos dice que: $$\iint_{[0,1]^2}e^{-\pi x^2y^2}dxdy=HypergeometricPFQ[(1/2,1/2);(3/2,3/2);-\pi];$$ $$\iint_{[1,\infty)^2}e^{-\pi x^2y^2}dxdy =HypergeometricPFQ[(1/2,1/2);(3/2,3/2)-\frac{1}{4}(\gamma+\log(4\pi)).$$ No sé cómo obtener la función geométrica hiperbólica y cómo cancelarla. Cualquier ayuda y pista será bienvenida. Muchas gracias.
Respuesta
¿Demasiados anuncios?
A partir de la definición de Función de error : $$ \begin{align} I_1&=+\iint_{{[0,1]}^2}e^{-\pi\,x^2 y^2}\,{dx dy}\,=\,\int_{0}^{1}dx\,\int_{0}^{1}+\,e^{-\pi x^2 y^2}\,dy\,=\,\int_{0}^{1}\left[\frac{\text{erf}\left(\sqrt{\pi}\,x y\right)}{2x}\right]_{y=0}^{y=1}\,dx \\[2mm] &=\int_{0}^{1}\frac{\text{erf}\left(\sqrt{\pi}\,x\right)}{2x}\,dx\qquad\color{blue}{\{{\small u=\text{erf}\left(\sqrt{\pi}\,x\right)\,\Rightarrow\,du=2e^{-\pi\,x^2};\,\,dv=\frac{dx}{2x}\,\Rightarrow\,v=\frac{\log{x}}{2}}\}}\\[2mm] &=\left[\left(\,\text{erf}\left(\sqrt{\pi}\,x\right)\right)\frac{\log{x}}{2}\right]_{0}^{1}\,-\,\int_{0}^{1}e^{-\pi\,x^2}\,\log{x}\,dx\,=-\int_{0}^{1}e^{-\pi\,x^2}\,\log{x}\,dx\qquad\qquad\qquad\color{blue}{\{1\}} \\[6mm] I_2&=-\iint_{[1,\infty)^2}e^{-\pi\,x^2 y^2}\,{dx dy}\,=\,\int_{1}^{\infty}dx\,\int_{1}^{\infty}-\,e^{-\pi x^2 y^2}\,dy\,=\,\int_{1}^{\infty}\left[\frac{\text{erf}\left(\sqrt{\pi}\,x y\right)-1}{2x}\right]_{y=\infty}^{y=1}\,dx \\[2mm] &=\int_{1}^{\infty}\frac{\text{erf}\left(\sqrt{\pi}\,x\right)-1}{2x}\,dx\qquad\color{blue}{\{{\small u=\text{erf}\left(\sqrt{\pi}\,x\right)-1\,\Rightarrow\,du=2e^{-\pi\,x^2};\,\,dv=\frac{dx}{2x}\,\Rightarrow\,v=\frac{\log{x}}{2}}\}}\\[2mm] &=\left[\left(\,\text{erf}\left(\sqrt{\pi}\,x\right)-1\right)\frac{\log{x}}{2}\right]_{1}^{\infty}\,-\,\int_{1}^{\infty}e^{-\pi\,x^2}\,\log{x}\,dx\,=-\int_{1}^{\infty}e^{-\pi\,x^2}\,\log{x}\,dx\qquad\quad\color{blue}{\{2\}} \\[6mm] \color{red}{I}&=I_1+I_2=-\int_{0}^{\infty}e^{-\pi\,x^2}\,\log{x}\,dx=-\int_{0}^{\infty}e^{-\,x^2}\,\log{\frac{x}{\sqrt{\pi}}}\,\,\frac{dx}{\sqrt{\pi}}\qquad\color{blue}{\{{\small x=\frac{t}{\sqrt{\pi}}}\}}\\[2mm] &=-\frac{1}{\sqrt{\pi}}\int_{0}^{\infty}e^{-\,x^2}\,\log{x}\,dx+\frac{\log{\pi}}{2\sqrt{\pi}}\int_{0}^{\infty}e^{-\,x^2}\,dx={\small \frac{\gamma+\log{4}}{4}+\frac{\log{\pi}}{4}}=\color{red}{\frac{\gamma+\log{4\pi}}{4}}\quad\color{blue}{\{3\}} \end{align} $$
$\,{\color{blue}{\{1\}}}\,$ Dos veces La regla de L'Hopital , comenzando por $\,{\displaystyle\small \lim_{x\rightarrow 0}\left[\text{erf}(x).\log{x}\right]=\lim_{x\rightarrow 0}\,\frac{\log{x}}{1/\text{erf}(x)}}\,$
$\,{\color{blue}{\{2\}}}\,$ Cuatro veces La regla de L'Hopital , comenzando por $\,{\displaystyle\small \lim_{x\rightarrow \infty}\left[\text{erfc}(x).\log{x}\right]=\lim_{x\rightarrow \infty}\,\frac{\text{erfc}(x)}{1/\log{x}}}\,$
$\,{\color{blue}{\{3\}}}\,$ Integral de Gamma Conatant .
