Math 2.0

Special functions Definition

Error function

Builds on Exponential functionDefinite integral

Definition

The error function is the function erf⁡ ⁣:ℝ→ℝ\operatorname{erf} \colon \R \to \R given by the definite integral erf⁡x=2π∫0xe−t2 dt,\operatorname{erf} x = \frac{2}{\sqrt{\pi}} \int_0^x e^{-t^2}\, dt, where e−t2e^{-t^2} uses the exponential function.

Remarks

Example: erf⁡0=0\operatorname{erf} 0 = 0, and the Gaussian integral ∫0∞e−t2 dt=π2\int_0^\infty e^{-t^2}\, dt = \frac{\sqrt{\pi}}{2} gives lim⁡x→∞erf⁡x=1\lim_{x \to \infty} \operatorname{erf} x = 1. The integrand is even, so erf⁡(−x)=−erf⁡x\operatorname{erf}(-x) = -\operatorname{erf} x. Its derivative is erf⁡′x=2πe−x2>0\operatorname{erf}' x = \frac{2}{\sqrt{\pi}} e^{-x^2} > 0, so erf⁡\operatorname{erf} increases strictly from −1-1 to 11.

Non-example: x↦∫0xe−t2 dtx \mapsto \int_0^x e^{-t^2}\, dt is not the error function; without the factor 2π\frac{2}{\sqrt{\pi}} its limit at ∞\infty is π2\frac{\sqrt{\pi}}{2}, not 11.

The distribution function of the standard normal distribution is Φ(x)=12(1+erf⁡x2)\Phi(x) = \frac12\left(1 + \operatorname{erf}\frac{x}{\sqrt{2}}\right). The same integral, along any path from 00 to zz, defines erf⁡z\operatorname{erf} z as an entire function of z∈ℂz \in \C, with power series erf⁡z=2π∑n≥0(−1)nz2n+1n! (2n+1)\operatorname{erf} z = \frac{2}{\sqrt{\pi}} \sum_{n \ge 0} \frac{(-1)^n z^{2n+1}}{n!\,(2n+1)}.

Reading path

To understand this page from the ground up, read these 3 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Definite integral concept
  2. Exponential function concept
  3. Error function definition

Where this leads

1 page builds on this one.

Further reading

  1. Web https://en.wikipedia.org/wiki/Error_function
About this page
Tag1EG3DWPNZN
URIm2://1EG3DWPNZN
Kinddefinition
WritingW0 stub
MSC33B20, 60E05
DefinesError function
UsesExponential function, Definite integral

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

Used by