Gauss and Euler Integrals

The function $f(x)=e^{-x^2}$ whose graph is an immediately recognizable bell-curve

bell curve

plays a fundamental role in probability and statistics. The so-called normal distribution:

$F(t)=\frac{1}{\sigma\sqrt{2\pi}}\int_{-\infty}^{t}e^{-\frac{(x-\mu)^2}{2\sigma^2}}dx$.

is defined via normalization of the integral

$I=\int_{-\infty}^{\infty}e^{-x^2}dx = \sqrt\pi$.

Below, we are going to establish this identity. An ingenious trick works like magic. (The integral falls into the category of dauntingly looking integrals that can be computed easily if one knows how.)

$I^{2}=(\int_{-\infty}^{\infty}e^{-x^2}dx)(\int_{-\infty}^{\infty}e^{-y^2}dy)=\int_{-\infty}^{\infty}\int_{-\infty}^{\infty}e^{-(x^{2}+y^2)}dx$.

The whole exercise of squaring the integral was to obtain $x^{2}+y^2$, for $x^{2}+y^{2}=r^2$ is easily handled in polar coordinates $(r, \theta)$, $0\le r\lt\infty$, $0\le\theta\lt 2\pi$. With the substitution $x = r\text{cos}(\theta)$ and $y = r\text{sin}(\theta)$, $dxdy=r dr d\theta$. So we have

$I^{2}=\int_{0}^{2\pi}\int_{0}^{\infty}re^{-r^{2}}drd\theta=\int_{0}^{2\pi}(-\frac{1}{2}e^{-r^2})\big|_{0}^{\infty}d\theta=2\pi\cdot\frac{1}{2}=\pi$,

implying

$I=\int_{-\infty}^{\infty}e^{-x^2}dx = \sqrt\pi$.

The integral $I$ is known as the Gaussian integral (and the normal distribution as the Gaussian distribution). A substitution $x=\sqrt{t}$ leads to what is known as the Euler integral. The substitution applies to $I/2=\int_{0}^{\infty}e^{-x^2}dx$:

$\sqrt\pi=2\int_{0}^{\infty}e^{-x^2}dx = 2\cdot\frac{1}{2}\int_{0}^{\infty}t^{-\frac{1}{2}}e^{-t}dt = \Gamma(\frac{1}{2})$,

where $\Gamma$ is the famous $\Gamma$-function, popularly known due to its extension of the factorials: for integer $n$, $\Gamma(n+1)=n!$ One may be excused for using the factorial symbol for fractional arguments, e.g., as the Euler integral shows $(-\frac{1}{2})!=\sqrt\pi$. From this we conclude that

$(\frac{1}{2})!=(-\frac{1}{2}+1)(-\frac{1}{2})!=\frac{\sqrt\pi}{2}$.

References

  1. M. Erickson, Beautiful Mathematics, MAA, 2011

|Contact| |Front page| |Contents| |Algebra| |Up|

Copyright © 1996-2018 Alexander Bogomolny

71493516