対数正規分布がロングテールであることを示してみた。

はじめに

本Webサイトの右側のサイドバー(または下側)にある検索窓に

「対数正規分布」

と入力して検索してもなぜかこのページがヒットしませんでした。

そこで、この大変に残念な状況をなんとか改善すべく、対数正規分布の確率密度関数

(1)

が(右側)ロングテールな分布を持つことを示してみることにしました。

ロングテールな分布とは?

もののWikipediaによりますと[1]、確率変数がすべてのに対して( $2$ )式を満たす確率分布のことをロングテールと呼ぶのだそうです。

(2)

( $2$ )において、は条件付き確率を表します。

サクサク計算。

( $1$ )式が( $2$ )をすべてのに対して満たすことを計算によって確認してみます。

まず、代入します。

( $2$ )式の左辺は…

(3)

と変形できます。

また、は( $1$ )式より、

(4)

と書くことができます。

同様にについても、

(5)

と書くことができます。

よって、( $3$ )式は…

(6)

となります。ここまでの式で積分の変数がになっているのには特に意味はありませんので、気にしない方向でお願いいたします。

さらに、とおいて、( $6$ )式の分子と分母の積分式の変数変換を行うと…

(7)

と変形できて、分母及び分子に正規分布の確率密度関数を積分したものが現れます。

ロピタルの定理を使う。

( $7$ )式は直接計算することが難しそうです。

テイラー展開をしても計算が捗ることはなさそうです。

そこで、ロピタルの定理が適用できるかどうかを検討し、分子及び分母の式をもう少し簡単にすることができないか考えます。

の時に分母及び分子がともに0になることと、( $7$ )式の分母をで微分した式

(8)

がでは0にならないことを確認の上、( $7$ )式の分子及び分母をそれぞれで微分し、その結果得られた式のにおける極限を計算してみます。

上記の極限が存在すれば、ロピタルの定理を適用することができます。

( $7$ )式の分子及び分母をで微分した式は…

(9)

のように計算できます。

さらに、( $9$ )式の右辺をとしたときの極限をとります。

ここで、

(10) (11)

となることと、

(12) (13) (14)

である(であれば( $12$ )式右辺の分母が0にはならないこと、またであれば( $13$ )式右辺の分母は0にはならないことから( $12$ )式及び( $13$ )式の両式に対してロピタルの定理を使用。)ことから、

(15)

と計算できることを利用します。

( $10$ )、( $11$ )及び( $15$ )の各式を利用することによって、( $9$ )式の右辺をとしたときの極限は、

(16)

と計算できます(としています)。

( $7$ )の左辺が1であること、すなわち極限が存在することがわかったので、( $3$ )式が成立することがわかります。

まとめ

適用条件を慎重に確認しつつ、普段はあまり使わないロピタルの定理を使って計算してみたり、としてみたりしていますが、対数正規分布がロングテールであることを示すことができました。

何かの機会に参考にしていただければ幸いです。

この記事は以上です。

References / 参考文献

裾の重い分布