Докажите, что [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]