レヴィ分布
母数 | [math]c \gt 0\,[/math] |
---|---|
台 | [math]x \in [0, \infty)[/math] |
テンプレート:確率分布/リンク 密度 | [math]\sqrt{\frac{c}{2\pi}}~ \frac{e^{-c/2x}}{x^{3/2}} [/math] |
累積分布関数 | [math]\textrm{erfc}\left(\sqrt{c/2x}\right)[/math] |
期待値 | infinite |
中央値 | [math]c/2(\textrm{erfc}^{-1}(1/2))^2\,[/math] |
最頻値 | [math]\frac{c}{3}[/math] |
分散 | infinite |
歪度 | undefined |
尖度 | undefined |
エントロピー | [math]\frac{1+3\gamma+\ln(16\pi c^2)}{2}[/math] |
モーメント母関数 | undefined |
特性関数 | [math]e^{-\sqrt{-2ict}}[/math] |
統計学および確率論において、レヴィ分布(英: Lévy distribution)は、非負な確率変数に関する連続確率分布である。en:Paul Pierre Lévyにちなんで名づけられた。 レヴィ分布は、安定な分布のなかでも解析表現可能な確率密度関数を有する数少ない分布のひとつである。その他の解析表現可能な分布には、正規分布、コーシー分布がある。
Contents
定義
確率密度関数
レヴィ分布の確率密度関数は、[math]x\ge \mu[/math] に関して以下の式で与えられる。
- [math]f(x;\mu,c)=\sqrt{\frac{c}{2\pi}}~~\frac{e^{-c/2(x-\mu)}}{(x-\mu)^{3/2}}[/math]
ここで、[math]\mu[/math] は位置(location)パラメータ、[math]c[/math] は尺度(scale)パラメータ。
累積分布関数
累積分布関数は、
- [math]F(x;\mu,c)=\textrm{erfc}\left(\sqrt{c/2(x-\mu)}\right)[/math]
ここで、[math]\textrm{erfc}(z)[/math] は相補誤差関数。[math]\mu[/math] はシフト(shift)パラメータで、曲線を右へ[math]\mu[/math]だけ平行移動させ、台(support)は区間[[math]\mu[/math], [math]\infty[/math])となる。
特性関数
レヴィ分布の特性関数は以下の式で与えられる。
- [math]\varphi(t;\mu,c)=e^{i\mu t-\sqrt{-2ict}}.[/math]
この関数は安定分布で使用される形式を用いると以下のように書ける。 ただし、[math]\alpha=1/2[/math] および [math]\beta=1[/math]:
- [math]\varphi(t;\mu,c)=e^{i\mu t-|ct|^{1/2}~(1-i~\textrm{sign}(t))}.[/math]
モーメント
[math]\mu=0[/math] の場合、レヴィ分布のn次モーメントは以下の式で定義される。
- [math]m_n\ \stackrel{\mathrm{def}}{=}\ \sqrt{\frac{c}{2\pi}}\int_0^\infty \frac{e^{-c/2x}\,x^n}{x^{3/2}}\,dx[/math]
この式は、すべてのn > 0 に関して発散するので、レヴィ分布のモーメントは存在しない。
モーメント母関数 は次の式で定義される。
- [math]M(t;c)\ \stackrel{\mathrm{def}}{=}\ \sqrt{\frac{c}{2\pi}}\int_0^\infty \frac{e^{-c/2x+tx}}{x^{3/2}}\,dx[/math]
この式は、[math]t\gt 0[/math] の場合発散するのでゼロ近傍では定義されない。したがって、モーメント母関数は定義されない。
冪乗則
正規分布を除くすべての安定分布同様、レヴィ分布の確率密度関数の裾は、冪乗則に従って低減する「heavy tail」を示す。
- [math]\lim_{x\rightarrow \infty}f(x;\mu,c) =\sqrt{\frac{c}{2\pi}}~\frac{1}{x^{3/2}}.[/math]
いくつかのc の値について確率密度関数を描いた以下の両対数グラフにこの様子が示されている。