Докажете, че [tex]\Gamma\left(\frac{1}{2}\right)=\sqrt{\pi}[/tex], където [tex]\Gamma(s)=\int_0^{+\infty}t^{s-1}e^{-t}\,dt[/tex], като пресметнете по два начина двойния интеграл [tex]\iint_{x\ge 0,\ y\ge 0}e^{-x^2-y^2}\,dx\,dy[/tex].
Решение:
Със смяната [tex]t=x^2[/tex], [tex]dt=2x\,dx[/tex], [tex]x\in(0; +\infty)[/tex], задачата се свежда до един интеграл:
[tex]\Gamma\left(\frac{1}{2}\right)=\int_0^{+\infty}t^{-1/2}e^{-t}\,dt=\int_0^{+\infty}\frac{1}{x}\,e^{-x^2}\,2x\,dx=2I,\qquad I=\int_0^{+\infty}e^{-x^2}\,dx[/tex]
Интегралът [tex]I[/tex] е сходящ, защото [tex]0\lt e^{-x^2}\le e^{-x}[/tex] при [tex]x\ge 1[/tex]. Следователно е достатъчно да докажем, че [tex]I=\frac{\sqrt{\pi}}{2}[/tex].
За [tex]A\gt 0[/tex] нека [tex]Q_A=\left[0; A\right]×\left[0; A\right][/tex] е квадрат, а [tex]K_R=\left\{x\ge 0,\ y\ge 0,\ x^2+y^2\le R^2\right\}[/tex] е четвърт кръг. Тогава [tex]K_A\subset Q_A\subset K_{A\sqrt{2}}[/tex] и тъй като подинтегралната функция [tex]e^{-x^2-y^2}[/tex] е положителна,
[tex]\iint_{K_A}e^{-x^2-y^2}dx\,dy\le\iint_{Q_A}e^{-x^2-y^2}dx\,dy\le\iint_{K_{A\sqrt{2}}}e^{-x^2-y^2}dx\,dy[/tex]
В декартови координати подинтегралната функция е равна на [tex]e^{-x^2}e^{-y^2}[/tex], затова по теоремата на Фубини интегралът по квадрата е
[tex]\iint_{Q_A}e^{-x^2-y^2}dx\,dy=\int_0^Ae^{-x^2}dx\cdot \int_0^Ae^{-y^2}dy=\left(\int_0^Ae^{-x^2}dx\right)^2[/tex]
В полярни координати [tex]x=r\cos\varphi,\ y=r\sin \varphi[/tex], [tex]dx\,dy=r\,dr\,d\varphi[/tex], интегралът по четвъртината кръг е
[tex]\iint_{K_R}e^{-x^2-y^2}dx\,dy=\int_0^{\pi/2}d\varphi\int_0^Re^{-r^2}r\,dr=\frac{\pi}{2}\cdot \frac{1-e^{-R^2}}{2}=\frac{\pi}{4}\left(1-e^{-R^2}\right)[/tex]
Като съчетаем трите съотношения, получаваме
[tex]\frac{\pi}{4}\left(1-e^{-A^2}\right)\le\left(\int_0^Ae^{-x^2}dx\right)^2\le\frac{\pi}{4}\left(1-e^{-2A^2}\right)[/tex]
При [tex]A\to+\infty[/tex] двете оценки клонят към [tex]\frac{\pi}{4}[/tex], следователно [tex]I^2=\frac{\pi}{4}[/tex], а понеже [tex]I\gt 0[/tex], то [tex]I=\frac{\sqrt{\pi}}{2}[/tex]. Така двойният интеграл по първи квадрант има една и съща стойност [tex]\frac{\pi}{4}=I^2[/tex], пресметнат в декартови и в полярни координати. Следователно
[tex]\Gamma\left(\frac{1}{2}\right)=2I=\sqrt{\pi}[/tex]