calculus - Prove $int_{0}^infty mathrm{d}yint_{0}^infty sin(x^2+y^2)mathrm{d}x=int_{0}^infty mathrm{d}xint_{0}^infty sin(x^2+y^2)mathrm{d}y=pi/4$

How can we prove that \begin{aligned} &\int_{0}^\infty \mathrm{d}y\int_{0}^\infty \sin(x^2+y^2)\mathrm{d}x\\ =&\int_{0}^\infty \mathrm{d}x\int_{0}^\infty \sin(x^2+y^2)\mathrm{d}y\\=&\cfrac{\pi}{4} \end{aligned}

I can prove these two are integrable but how can we calculate the exact value?

Answer

I do not know if you are supposed to know this. So, if I am off-topic, please forgive me.

All the problem is around Fresnel integrals. So, using the basic definitions,$$\int_{0}^t \sin(x^2+y^2)dx=\sqrt{\frac{\pi }{2}} \left(C\left(\sqrt{\frac{2}{\pi }} t\right) \sin \left(y^2\right)+S\left(\sqrt{\frac{2}{\pi }} t\right) \cos \left(y^2\right)\right)$$ where appear sine and cosine Fresnel integrals. $$\int_{0}^\infty \sin(x^2+y^2)dx=\frac{1}{2} \sqrt{\frac{\pi }{2}} \left(\sin \left(y^2\right)+\cos \left(y^2\right)\right)$$ Integrating a second time,$$\frac{1}{2} \sqrt{\frac{\pi }{2}}\int_0^t \left(\sin \left(y^2\right)+\cos \left(y^2\right)\right)dy=\frac{\pi}{4} \left(C\left(\sqrt{\frac{2}{\pi }} t\right)+S\left(\sqrt{\frac{2}{\pi }} t\right)\right)$$ $$\frac{1}{2} \sqrt{\frac{\pi }{2}}\int_0^\infty \left(\sin \left(y^2\right)+\cos \left(y^2\right)\right)dy=\frac{\pi}{4} $$