誤差関数

英

関

Wikipedia preview

出典(authority):フリー百科事典『ウィキペディア（Wikipedia）』「2016/04/15 21:42:31」(JST)

wiki ja

[Wiki ja表示]

誤差関数（ごさかんすう、英: error function）は、数学におけるシグモイド形状の特殊関数（非初等関数）の一種で、確率論、統計学、物質科学、偏微分方程式などで使われる。ガウスの誤差関数とも。定義は以下の通り。

相補誤差関数 (complementary error function) は erfc と表記され、誤差関数を使って以下のように定義される。

$\begin{align} \operatorname{erfc}(x) & = 1-\operatorname{erf}(x) \\ & = \frac{2}{\sqrt{\pi}} \int_x^{\infty} e^{-t^2}\,\mathrm dt = e^{-x^2} \operatorname{erfcx}(x) \end{align}$

スケーリング相補誤差関数(scaled complementary error function) erfcxも定義される (アンダーフローを避けるために、 erfc の代わりに用いる)。

複素誤差関数 (complex error function) はと表記され、やはり誤差関数を使って次のように定義される（Faddeeva関数とも呼ぶ）。

誤差関数のグラフ

特性

図2. 被積分関数 exp(−z²) を複素z-平面でプロットした図

図3. erf(z) を複素z-平面でプロットした図

誤差関数は奇関数である。

任意の複素数について、

また、次が成り立つ。

ここではの複素共役である。

被積分関数とを複素平面にプロットしたものを図2と図3に示す。

虚部となる点を結んだ線を太い緑色の線で表している。が負の整数となる点を結んだ線を太い赤色の線で表し、正の整数となる点を結んだ線を太い青色の線で表している。

が整数と整数の中間の一定値になる点を結んだ線を細い緑色の線で表し、実部が一定値になる点を結んだ線は、正の場合は青い細い線、負の場合は赤い細い線で表している。

実軸では、では単位元(1)に漸近し、で単位元(-1)に漸近する。虚軸では、 となる。

テイラー級数

誤差関数は整関数である。（無限大以外で）特異点を持たず、テイラー展開は常に収束する。

定義にある積分は初等関数を使った閉形式では評価できないが、被積分関数 を対応するテイラー級数に展開して、項単位で積分すると、誤差関数のテイラー級数が以下のように得られる。

これは全ての複素数について成り立つ。項の分母はOEISにある A007680 の数列である。

これを反復的に計算するには、以下のように定式化するのが扱い易い。

は番目の項から番目の項を得る係数を表している。

やとを比較するには、次の級数が利用できる。

において誤差関数は正確に1になる（ガウス積分を参照）。

誤差関数の導関数は定義から即座に求められる。

誤差関数の不定積分は次のようになる。

逆関数

逆誤差関数は次のような級数となる。

ここで、であり、

となる。従って、次のような級数の展開が得られる（分子と分母に共通して出現する係数は省いてある）。

（約分後の分子/分母の係数はOEISの A092676/A132467 と同じで、約分していない分子は A002067 となる。）

相補誤差関数のグラフ

なお、誤差関数の正と負の無限大での値はそれぞれ正と負のとなる。

応用

一連の何らかの測定値が正規分布になっていて、標準偏差が 、期待値がの場合、1つの測定値の誤差がとの間になる確率はである。これは、例えば、デジタル通信システムでの符号誤り率の特定などに使える。

誤差関数と相補誤差関数は例えば、境界条件をヘヴィサイドの階段関数で与えたときの熱方程式の解に出現する。

漸近展開

相補誤差関数（および誤差関数）の大きなについての漸近展開は次のようになる。

この級数は有限なについては発散する。しかし、最初の方の幾つかの項だけでのよい近似が得られ、テイラー展開よりも収束が早い。

初等関数による近似

次のような近似がある。

ここで、

このような近似（曲線あてはめ）は、実軸付近の誤差関数の値について、少なくとも十進で1桁の精度はある。

関連する関数

誤差関数は正規分布の累積分布関数(CDF)と基本的には同じであり、単にスケールと解釈が異なるだけである。実際、次の関係が成り立つ。

また、およびについて変形すると次のようになる。

$\begin{align} \mathrm{erf}\left(x\right) &= 2 \Phi \left ( x \sqrt{2} \right ) - 1 \\ \mathrm{erfc}\left(x\right) &= 2 \left[ 1 - \Phi \left ( x \sqrt{2} \right )\right] \end{align}$

従って、誤差関数は、正規分布におけるテール確率であるQ関数とも密接に関連する。Q関数は誤差関数を使って次のように表現できる。

$Q\left(x\right) =\frac{1}{2} - \frac{1}{2} \operatorname{erf} \Bigl( \frac{x}{\sqrt{2}} \Bigr)$

の逆関数は標準分位関数またはプロビット関数として知られており、逆誤差関数を使って次のように表現できる。

$\operatorname{probit}(p) = \Phi^{-1}(p) = \sqrt{2}\,\operatorname{erf}^{-1}(2p-1) = -\sqrt{2}\,\operatorname{erfc}^{-1}(2p)$

確率論や統計学では標準正規分布の累積分布関数の方がよく使われ、誤差関数は他の数学の分野で使われる傾向がある。

誤差関数はミッタク＝レフラー関数の特殊ケースであり、合流型超幾何微分方程式としても以下のように表現できる。

$\mathrm{erf}\left(x\right)= \frac{2x}{\sqrt{\pi}}\,_1F_1\left(\frac{1}{2},\frac{3}{2},-x^2\right)$

フレネル積分を使った単純な表現法もある。正規化ガンマ関数と不完全ガンマ関数を使うと、次のように表せる。

は符号関数である。

一般化された誤差関数

一般化された誤差関数のグラフ:
灰色:
赤:
緑:
青:

金:

書籍によっては、より一般化した関数を論じている場合もある。

$E_n\left(x\right) = \frac{n!}{\sqrt{\pi}} \int_0^x e^{-t^n}\,\mathrm dt =\frac{n!}{\sqrt{\pi}}\sum_{p=0}^\infin(-1)^p\frac{x^{np+1}}{(np+1)p!}\,$

例えば、

• は原点を通る直線 となる。
• は誤差関数である。

で割ると、奇数のについてのは互いに似たようなものになる（完全に一致する事は無い）。 同様に、偶数のについてのもで割ると互いに似たものになる（完全に一致する事は無い）。 での全ての一般化された誤差関数のが正のときのグラフは互いに似ている。

これらの一般化された誤差関数も x > 0 の場合にガンマ関数と不完全ガンマ関数を使って次のように表せる。

$E_n\left(x\right) = \frac{\Gamma(n)\left(\Gamma\left(\frac{1}{n}\right)-\Gamma\left(\frac{1}{n},x^n\right)\right)}{\sqrt\pi}, \quad \quad x>0$

従って、誤差関数は不完全ガンマ関数を使って次のように表せる。

相補誤差関数の累次積分

相補誤差関数の累次積分は次のように定義される。

$\mathrm i^n \operatorname{erfc}\, (z) = \int_z^\infty \mathrm i^{n-1} \operatorname{erfc}\, (\zeta)\;\mathrm d \zeta\,$

これらには次のような冪級数がある。

$\mathrm i^n \operatorname{erfc}\, (z) = \sum_{j=0}^\infty \frac{(-z)^j}{2^{n-j}j! \Gamma \left( 1 + \frac{n-j}{2}\right)}\,$

ここから次のような対称性が得られる。

$\mathrm i^{2m} \operatorname{erfc} (-z) = - \mathrm i^{2m} \operatorname{erfc}\, (z) + \sum_{q=0}^m \frac{z^{2q}}{2^{2(m-q)-1}(2q)! (m-q)!}$

および、

$\mathrm i^{2m+1} \operatorname{erfc} (-z) = \mathrm i^{2m+1} \operatorname{erfc}\, (z) + \sum_{q=0}^m \frac{z^{2q+1}}{2^{2(m-q)-1}(2q+1)! (m-q)!}\,$

実装

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)を提供している。

数表

x	erf(x)	erfc(x)	x	erf(x)	erfc(x)
0.00	0.0000000	1.0000000	1.30	0.9340079	0.0659921
0.05	0.0563720	0.9436280	1.40	0.9522851	0.0477149
0.10	0.1124629	0.8875371	1.50	0.9661051	0.0338949
0.15	0.1679960	0.8320040	1.60	0.9763484	0.0236516
0.20	0.2227026	0.7772974	1.70	0.9837905	0.0162095
0.25	0.2763264	0.7236736	1.80	0.9890905	0.0109095
0.30	0.3286268	0.6713732	1.90	0.9927904	0.0072096
0.35	0.3793821	0.6206179	2.00	0.9953223	0.0046777
0.40	0.4283924	0.5716076	2.10	0.9970205	0.0029795
0.45	0.4754817	0.5245183	2.20	0.9981372	0.0018628
0.50	0.5204999	0.4795001	2.30	0.9988568	0.0011432
0.55	0.5633234	0.4366766	2.40	0.9993115	0.0006885
0.60	0.6038561	0.3961439	2.50	0.9995930	0.0004070
0.65	0.6420293	0.3579707	2.60	0.9997640	0.0002360
0.70	0.6778012	0.3221988	2.70	0.9998657	0.0001343
0.75	0.7111556	0.2888444	2.80	0.9999250	0.0000750
0.80	0.7421010	0.2578990	2.90	0.9999589	0.0000411
0.85	0.7706681	0.2293319	3.0	0.9999779	0.0000221
0.90	0.7969082	0.2030918	3.10	0.9999884	0.0000116
0.95	0.8208908	0.1791092	3.20	0.9999940	0.0000060
1.00	0.8427008	0.1572992	3.30	0.9999969	0.0000031
1.10	0.8802051	0.1197949	3.40	0.9999985	0.0000015
1.20	0.9103140	0.0896860	3.50	0.9999993	0.0000007

関連項目

• ガウス関数
• 正規分布
• プロビット

脚注・出典

参考文献

• 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

UpToDate Contents

全文を閲覧するには購読必要です。 To read the full text you will need to subscribe.

• 1. 成人における肺機能検査の概要 overview of pulmonary function testing in adults
• 2. 皮膚筋炎および多発性筋炎における間質性肺疾患：臨床症状および診断 interstitial lung disease in dermatomyositis and polymyositis clinical manifestations and diagnosis
• 3. 小児における肺機能検査の概要 overview of pulmonary function testing in children
• 4. 腎機能の評価 assessment of kidney function
• 5. 先天性および後天性血小板機能障害 congenital and acquired disorders of platelet function

Japanese Journal

• 一般化誤差関数に基づく非負値行列因子分解に対する乗法型更新式とその大域収束性の解析 (無線通信システム)

• 電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 115(396), 67-72, 2016-01-18
• NAID 40020738738

• 一般化誤差関数に基づく非負値行列因子分解に対する乗法型更新式とその大域収束性の解析 (信号処理)

• 電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 115(395), 67-72, 2016-01-18
• NAID 40020738156

• 一般化誤差関数に基づく非負値行列因子分解に対する乗法型更新式とその大域収束性の解析 (情報理論)

• 電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 115(394), 67-72, 2016-01-18
• NAID 40020736199

Related Links

• 誤差関数 - Wikipedia

誤差関数（ごさかんすう、英: error function）は、数学におけるシグモイド形状の特殊 関数（非初等関数）の一種で、確率論、統計学、物質科学、偏 ... 相補誤差関数 ( complementary error function) は erfc と表記され、誤差関数を使って以下のように 定義される。

• 誤差関数 - 高精度計算サイト - 高精度計算サイト - CASIO

誤差関数 erf(x)、相補誤差関数 erfc(x)の値を計算します。

Related Pictures

---

★リンクテーブル★

関連記事	「数」「誤差」「関数」

「数」

　　[★]

英

number、count、numeral

関

ナンバー、数値、数える、カウント、番号をつける、数字、数詞

「誤差」

　　[★]

英

error

関

誤り、エラー、間違い

「関数」

　　[★]

英

function

関

官能基、機能