thumb|right|400px|誤差関数のグラフthumb|right|400px|相補誤差関数のグラフ 誤差関数（ごさかんすう、）は、数学におけるシグモイド形状の特殊関数（非初等関数）の一種で、確率論、統計学、物質科学、偏微分方程式などで使われる。ガウスの誤差関数とも。定義は以下の通り。
相補誤差関数 () は erfc と表記され、誤差関数を使って以下のように定義される。
スケーリング相補誤差関数()W. J. Cody, "Algorithm 715: SPECFUN—A portable FORTRAN package of special function routines and test drivers," ACM Trans. Math. Soft. 19, pp. 22–32 (1993). erfcxも定義される (アンダーフローM. R. Zaghloul, "On the calculation of the Voigt line profile: a single proper integral with a damped sine integrand," Monthly Notices of the Royal Astronomical Society '375, pp. 1043–1048 (2007).を避けるために、 erfc の代わりに用いる)。
複素誤差関数 () はと表記され、やはり誤差関数を使って次のように定義される（Faddeeva関数とも呼ぶ）。
特性 200px|right|thumb|図2. 被積分関数 exp(−z2) を複素z-平面でプロットした図 200px|right|thumb|図3. erf(z) を複素z-平面でプロットした図 誤差関数は奇関数である。
任意の複素数について、
また、次が成り立つ。
ここではの複素共役である。
被積分関数とを複素平面にプロットしたものを図2と図3に示す。
虚部となる点を結んだ線を太い緑色の線で表している。が負の整数となる点を結んだ線を太い赤色の線で表し、正の整数となる点を結んだ線を太い青色の線で表している。
が整数と整数の中間の一定値になる点を結んだ線を細い緑色の線で表し、実部が一定値になる点を結んだ線は、正の場合は青い細い線、負の場合は赤い細い線で表している。
実軸では、では単位元(1)に漸近し、で単位元(-1)に漸近する。虚軸では、 となる。
テイラー級数 誤差関数は整関数である。（無限大以外で）特異点を持たず、テイラー展開は常に収束する。
定義にある積分は初等関数を使った閉形式では評価できないが、被積分関数 を対応するテイラー級数に展開して、項単位で積分すると、誤差関数のテイラー級数が以下のように得られる。
これは全ての複素数について成り立つ。項の分母はOEISにある の数列である。
これを反復的に計算するには、以下のように定式化するのが扱い易い。
は番目の項から番目の項を得る係数を表している。
やとを比較するには、次の級数が利用できる。
において誤差関数は正確に1になる（ガウス積分を参照）。
誤差関数の導関数は定義から即座に求められる。
誤差関数の不定積分は次のようになる。
逆関数 逆誤差関数は次のような級数となる。
ここで、であり、
となる。従って、次のような級数の展開が得られる（分子と分母に共通して出現する係数は省いてある）。InverseErf functions.wolfram.com約分後の分子/分母の係数はOEISの A092676/A132467 と同じで、約分していない分子は A002067 となる。
なお、誤差関数の正と負の無限大での値はそれぞれ正と負のとなる。
応用 一連の何らかの測定値が正規分布になっていて、標準偏差が 、期待値がの場合、1つの測定値の誤差がとの間になる確率はである。これは、例えば、デジタル通信システムでの符号誤り率の特定などに使える。
誤差関数と相補誤差関数は例えば、境界条件をヘヴィサイドの階段関数で与えたときの熱方程式の解に出現する。
で、の増加に伴って、はそれぞれ急速に1, 0 に近づくため、クーロン力などの長距離相互作用を短距離成分と長距離成分に分けるのに用いられる（エバルトの方法）。
漸近展開 相補誤差関数（および誤差関数）の大きなについての漸近展開は次のようになる。
この級数は有限なについては発散する。しかし、最初の方の幾つかの項だけでのよい近似が得られ、テイラー展開よりも収束が早い。
初等関数による近似 次のような近似がある。
ここで、
このような近似（曲線あてはめ）は、実軸付近の誤差関数の値について、少なくとも十進で1桁の精度はある。
関連する関数 誤差関数は正規分布の累積分布関数(CDF)と基本的には同じであり、単にスケールと解釈が異なるだけである。実際、標準正規分布について次の関係が成り立つ。
また、およびについて変形すると次のようになる。
従って、誤差関数は、正規分布におけるテール確率であるQ関数とも密接に関連する。Q関数は誤差関数を使って次のように表現できる。
の逆関数は標準分位関数またはプロビット関数として知られており、逆誤差関数を使って次のように表現できる。
確率論や統計学では標準正規分布の累積分布関数の方がよく使われ、誤差関数は他の数学の分野で使われる傾向がある。
誤差関数はミッタク＝レフラー関数の特殊ケースであり、合流型超幾何微分方程式としても以下のように表現できる。
フレネル積分を使った単純な表現法もある。正規化ガンマ関数と不完全ガンマ関数を使うと、次のように表せる。
は符号関数である。
一般化された誤差関数
right|thumb|300px|一般化された誤差関数のグラフ: 灰色: 赤: 緑: 青: 金:
書籍によっては、より一般化した関数を論じている場合もある。
例えば、 は原点を通る直線 となる。 は誤差関数である。
で割ると、奇数のについてのは互いに似たようなものになる（完全に一致する事は無い）。 同様に、偶数のについてのもで割ると互いに似たものになる（完全に一致する事は無い）。 での全ての一般化された誤差関数のが正のときのグラフは互いに似ている。
これらの一般化された誤差関数も x > 0 の場合にガンマ関数と不完全ガンマ関数を使って次のように表せる。
従って、誤差関数は不完全ガンマ関数を使って次のように表せる。
相補誤差関数の累次積分 相補誤差関数の累次積分は次のように定義される。
これらには次のような冪級数がある。
ここから次のような対称性が得られる。
および、
実装 C言語の場合、C99でヘッダファイルの<math.h>にdouble erf(double x)およびdouble erfc(double x)という関数が宣言されている。 {erff(), erfcf()}という関数ペアはfloat型の値を扱い、{erfl(), erfcl()}という関数ペアはlong double型の値を扱う。 C++でも、C++11で<cmath>のヘッダファイルにerfおよびerfcが宣言されている。double、floatおよびlong double型がオーバーロードされている。
複素数を扱える誤差関数の実装は少ない。例えば、図2のようなグラフの描画は、Mathematicaを一般的な性能のコンピュータで実行した場合に数分かかる。
FORTRANでは、例えば、GFortran がERF(X)と倍精度のDERF(X)を提供している。
数表 SageMathに拠る xerf(x)erfc(x)xerf(x)erfc(x)0.001.300.051.400.101.500.151.60 0.201.700.251.800.301.900.352.000.402.100.452.20 0.502.300.552.400.602.500.652.600.702.700.752.800.802.900.853.00.903.100.953.201.003.301.103.401.203.50
関連項目 ガウス関数 正規分布 プロビット
脚注・出典
参考文献 Milton Abramowitz and Irene A. Stegun, eds. Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables. New York: Dover, 1972. (See Chapter 7) Ian Gallagher Mathematician (FIU) Miami article 795.S Golden Panther Times July 11, 2008.
外部リンク MathWorld - Erf