安定分布

安定分布（あんていぶんぷ、） は、正規分布やコーシー分布を含むより広い概念であり、安定分布に従う確率変数の和は適当な一次変換によって元の分布になる。正規分布やコーシー分布は安定分布の特別な場合である。安定パレート分布 ()、レヴィ分布 () とも呼ばれる。
定義.
退化分布を除き、次の性質を満たす分布は安定分布である。
確率密度関数.
安定分布の確率密度関数を解析的に書くことはできないが、特性関数 を用いて次のように書くことができる。
これを利用して数値計算（数値積分）が可能である。
特性関数.
分布の特性関数 は、4つのパラメータ によって以下のように表すことができる。
formula_4
ただし、、 は の符号関数。
 は特性指数と呼ばれ、 の範囲の値をとる安定分布を特徴づける最も重要な量である。安定分布の指数という場合は通常この のことを指す。 は分布の裾の厚みの尺度であり、小さいほど裾が広い。歪度指数、あるいは非対称パラメータとも呼ばれる は分布の対称性を支配し の値をとり、 のときは左右対称な分布となる。位置母数 は分布全体を平行移動するパラメータである。規模母数 は の縮尺を変更するパラメータである。
特別なケース.
正規分布.
 の場合、（この場合、 は分布に影響を与えない）
となる。これは、平均 、分散 の正規分布である。
Holtsmark分布.
 の場合、 となる。この分布はを使用することにより確率密度関数を記述できる。
コーシー分布.
 の場合
となる。これは中央値 、尺度母数 のコーシー分布である。
（狭義）レヴィ分布.
 の場合
となる。これは（狭義）レヴィ分布である。
一般化中心極限定理.
中心極限定理では、独立同分布（ただし分散は有限に限る）に従う確率変数の算術平均の確率分布は、変数の数が多くなるに従い正規分布に収束するが、安定分布において の場合は分散が無限大となり、正規分布には収束せず安定分布 formula_8 に収束する。