-σ^2 / 2 の真実に迫る – その3
Mar 19, 2013
複利の場合
—(5)
となります。これが離散的な場合の結果であり、議論のスタート台となります。
こいつの連続極限を考えます。 知りたいことは、連続極限での分布はどうなるか?です。
具体的には、
- 分布形
- 平均
- 分散
といったことを調べます。
式(5)、、、掛け算のままだと取扱いが難しいので、両辺の対数をとりましょう。
—(6)
ここに伝家の宝刀、テイラー展開
—(7)
を適用します。定石通り1次の項だけとると式(6)は、
—(8)
となって、これは正に単利の場合と同一の式でキレイに正規乱数の和に収束することが分かりました。
つまり は正規分布になることが判明しました(覚えていますか?正規乱数の和は正規乱数です)。
さてこれで
という事実から連続極限で は対数正規分布であると結論付けられました!
では平均と分散はどうなるでしょうか。
式(8)から、
でメデタシメデタシ、、、としたいところですが、これが大間違い!。本記事の核心がここにあります。
話はテイラー展開(7)にまで戻ります。
2次の項まで考えます。すると
となります。
この式から平均を計算してみます。
となって、ここで という事実を適用すると、
となります。そして連続極限 をとってみると、
が得られます。気が付きましたか?テーラー展開の2次の近似項から に依存しない定数が発生しているんですよ!
分散も同じ要領で計算してみると、こちらは2次の近似項は で消えてなくなります。従って先ほど計算した通り、
です。
以上まとめると、 は対数正規分布であり、つまり は正規分布ということになって、
となります。
標準正規分布に従う確率変数 を用いると、
と書き下せます。
最後にもう一言
の平均が である。では そのものの平均は?
対数正規分布の公式から、
が得られます。どうですか?実に合理的な答えになっていると思いませんか?(その1の式(3)と比較してみてください)。
長くなりましたが、あのキモチワルイ の出自が理解できましたか?