本章では定常スパイク時系列を計算機上で実現するための数値計算法を紹介する.スパイク時系列の実現するためには,特定の分布に従う確率変数を生成する必要がある.このとき様々な確率分布を一様分布に標準化して考えるのが基本になる.同様にリニューアル過程の瞬間スパイク生成率を規格化し,ポアソン過程に標準化して考えることもできる.この考え方は,次節以降で非定常のスパイク時系列を実現する際に用いられる時間伸縮理論の基礎になる.
指数分布・ガンマ分布・ワイブル分布・逆ガウス分布等のスパイク密度分布に従う確率変数を生成したい.特定の分布に従う確率変数を生成する方法に逆関数法がある.逆関数法を理解するために次のような2つの確率変数の確率密度分布の関係を考えよう.確率密度分布 に従う確率変数(乱数) と と なる関係がある変数 を考える. が確率変数だから も確率変数である. このとき確率変数 の確率密度分布 は を用いてどのように表現されるだろうか.確率密度の保存則 から の確率密度分布 は
で与えられる.この変数変換に伴う密度分布の変換式は一般に成り立つ. そこで特に と の関係として
を考えてみよう.ここで は 自身の密度分布であるから, として の分布関数 を選んだことになる. 従って であることは明らか.このとき の密度分布は
つまり確率変数 は の区間内に一様分布する一様乱数である.式のように変数変換をすると密度が小さくなるところでは変換の傾きが小さくなり 軸上に凝縮する効果が働く.逆に密度が大きくなるところで傾きが大きくなるから 軸上で疎になるような効果が働く.このように密度を相殺するように写像される.結果として確率変数 は の区間に一様に分布することになる.
そこで逆に を の区間の一様乱数として
を満たす を求めると, は密度分布 に従う. と書けば, である. このようにして一様乱数 から逆関数 を用いて,密度分布 に従う乱数 を作成する方法を逆関数法という.
指数分布の場合は逆関数が解析的に求められる.平均 の指数分布を考え
を に関して解いて
(1.26) |
ワイブル分布の分布関数から
に関して解いて
(1.27) |
指数分布,Weibull分布,Pareto分布等は逆関数を容易に求められる.逆関数を解析的に求めることができないときにも,数値計算により所望の分布に従う確率変数を生成することができる.一様乱数 を生成し,数値積分により を満たす を求めればよい.ガンマ分布・逆ガウス分布に従う確率変数はこの方法で得ることができる.
ハザード関数からスパイクを生成する場合,分布関数とハザード関数の関係式に注目する.
を変形して
(1.28) |
を満たす を求めれば, はスパイク密度関数 に従う確率変数になる.この手法は次節以降で非定常のスパイク時系列を実現する際に用いられる時間伸縮理論の基礎になる.
リニューアル過程ではスパイク間隔 を独立に生成してよい. 番目のスパイク時刻を として,スパイク時系列 が得られる.
ただし初期スパイクのスパイク密度分布は平衡分布
(1.29) |