ボックス＝ミュラー法

ボックス＝ミュラー法（ボックス＝ミュラーほう、）とは、一様分布に従う確率変数から標準正規分布に従う確率変数を生成させる手法。計算機シミュレーションにおいて、正規分布に従う擬似乱数の発生に応用される。統計学者とマーヴィン・マラー（ミュラー）によって考案された。
概要.
確率変数 "X" 及び "Y" が互いに独立で、ともに（0, 1）上での一様分布に従うものとする。このとき、
で定義される "Z"1, "Z"2 は、平均 0、分散 1 の標準正規分布N(0,1)に従う互いに独立な確率変数となる。一様分布に従う "X" 及び "Y" から正規分布に従う "Z"1, "Z"2 を与えるこの変換をボックス＝ミュラー変換という。また、この正規分布に従う確率変数を生成させる方法のことをボックス＝ミュラー法という。ボックス＝ミュラー法によって、比較的生成が容易な一様分布に従う乱数から、応用上、重要な正規分布に従う乱数を生成させることができる。
発想.
2次元の標準正規分布に従う ("Z"1, "Z"2) において、2変数が互いに独立であれば、同時確率密度関数
は、円周上で定数値を与えることから、偏角
は (0, 2"π") 上で、一様分布をなす。一方、2次元ベクトル ("Z"1, "Z"2) の大きさの2乗
は自由度2のカイ二乗分布に従う。ここで、カイ二乗分布の性質から exp(−"R"2/2) は、(0, 1) 上の一様分布となる。
これらのことから、逆に (0, 1) 上で一様分布する2つの独立な確率変数 "X", "Y" により、
とすれば、
で定義される確率変数 "Z"1, "Z"2 は標準正規分布 N(0, 1) に従うこととなる。
証明.
ボックス=ミュラー変換が標準正規分布を与えることは、特性関数を調べることで確認できる。実際、"Z"1 については、その特性関数は、
であり、変数変換
によって、
となるが、さらに変数変換
を行えば、
を得る。これは、標準正規分布 N(0, 1) の特性関数にほかならない。