Dokažite da je [tex]\Gamma\left(\frac{1}{2}\right)=\sqrt{\pi}[/tex], gde je [tex]\Gamma(s)=\int_0^{+\infty}t^{s-1}e^{-t}\,dt[/tex], izračunavanjem dvostrukog integrala [tex]\iint_{x\ge 0,\ y\ge 0}e^{-x^2-y^2}\,dx\,dy[/tex] na dva načina.
Rešenje:
Smenom [tex]t=x^2[/tex], [tex]dt=2x\,dx[/tex], [tex]x\in(0; +\infty)[/tex], zadatak se svodi na jedan integral:
[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]
Integral [tex]I[/tex] konvergira, jer je [tex]0\lt e^{-x^2}\le e^{-x}[/tex] za [tex]x\ge 1[/tex]. Zato je dovoljno dokazati da je [tex]I=\frac{\sqrt{\pi}}{2}[/tex].
Za [tex]A\gt 0[/tex] neka je [tex]Q_A=\left[0; A\right]×\left[0; A\right][/tex] kvadrat, a [tex]K_R=\left\{x\ge 0,\ y\ge 0,\ x^2+y^2\le R^2\right\}[/tex] četvrtina kruga. Tada je [tex]K_A\subset Q_A\subset K_{A\sqrt{2}}[/tex], a pošto je podintegralna funkcija [tex]e^{-x^2-y^2}[/tex] pozitivna,
[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]
U Dekartovim koordinatama podintegralna funkcija jednaka je [tex]e^{-x^2}e^{-y^2}[/tex], pa je prema Fubinijevoj teoremi integral po kvadratu
[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]
U polarnim koordinatama [tex]x=r\cos\varphi,\ y=r\sin \varphi[/tex], [tex]dx\,dy=r\,dr\,d\varphi[/tex], integral po četvrtini kruga je
[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]
Kombinovanjem ove tri relacije dobijamo
[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]
Za [tex]A\to+\infty[/tex] obe ocene teže ka [tex]\frac{\pi}{4}[/tex], pa je [tex]I^2=\frac{\pi}{4}[/tex], a pošto je [tex]I\gt 0[/tex], sledi [tex]I=\frac{\sqrt{\pi}}{2}[/tex]. Dakle, dvostruki integral po prvom kvadrantu ima istu vrednost [tex]\frac{\pi}{4}=I^2[/tex] bilo da se računa u Dekartovim ili u polarnim koordinatama. Prema tome,
[tex]\Gamma\left(\frac{1}{2}\right)=2I=\sqrt{\pi}[/tex]