Difference between revisions of "Error function"
(→Properties) |
|||
| Line 1: | Line 1: | ||
$$\mathrm{erf}(x)=\dfrac{2}{\sqrt{\pi}}\displaystyle\int_0^x e^{-\tau^2} d\tau$$ | $$\mathrm{erf}(x)=\dfrac{2}{\sqrt{\pi}}\displaystyle\int_0^x e^{-\tau^2} d\tau$$ | ||
| − | [ | + | <div align="center"> |
| + | <gallery> | ||
| + | File:Erf.png|Graph of $\mathrm{erf}$ on $[-5,5]$. | ||
| + | File:Complex erf.png|[[Domain coloring]] of [[analytic continuation]] of $\mathrm{erf}$. | ||
| + | </gallery> | ||
| + | </div> | ||
=Properties= | =Properties= | ||
Revision as of 23:24, 19 May 2015
$$\mathrm{erf}(x)=\dfrac{2}{\sqrt{\pi}}\displaystyle\int_0^x e^{-\tau^2} d\tau$$
- Erf.png
Graph of $\mathrm{erf}$ on $[-5,5]$.
- Complex erf.png
Domain coloring of analytic continuation of $\mathrm{erf}$.
Properties
Theorem: $\mathrm{erf}(z) = \dfrac{2}{\sqrt{\pi}} \displaystyle\sum_{k=0}^{\infty} \dfrac{(-1)^kz^{2n+1}}{n!(2n+1)}$
Proof: █
Theorem: $\mathrm{erf}(-z)=-\mathrm{erf}(z)$
Proof: █
Theorem: $\mathrm{erf}(\overline{z}) = \overline{\mathrm{erf}}(z)$
Proof: █
Theorem: The following formula holds: $$\dfrac{1}{2} \left( 1 + \mathrm{erf} \left( \dfrac{x-\mu}{\sqrt{2}\sigma} \right) \right)=\dfrac{1}{\sigma \sqrt{2 \pi}} \displaystyle\int_{-\infty}^x \exp \left( -\dfrac{(t-\mu)^2}{2\sigma^2} \right)dt.$$
Proof: █
Videos
The Laplace transform of the error function $\mathrm{erf}(t)$
