統計学および確率論において、レヴィ分布（）は、非負な確率変数に関する連続確率分布である。ポール・レヴィに因んで名づけられた。レヴィ分布は、安定分布の中でも解析表現可能な確率密度関数を有する数少ない分布の一つである。その他の解析表現可能な分布には、正規分布、コーシー分布がある。
定義 確率密度関数 レヴィ分布の確率密度関数は、 に関して以下の式で与えられる。
ここで、 は、 は。
累積分布関数 累積分布関数は
ここで、 は相補誤差関数。 はシフト (shift) パラメータで、曲線を右へ だけ平行移動させ、台 (support) は区間 となる。
特性関数 レヴィ分布の特性関数は以下の式で与えられる。
この関数は安定分布で使用される形式を用いると以下のように書ける。 ただし ：
モーメント の場合、レヴィ分布の 次モーメントは以下の式で定義される。
この式は、すべての に関して発散するので、レヴィ分布のモーメントは存在しない。
モーメント母関数 は次の式で定義される。
この式は、 の場合発散するので 近傍では定義されない。したがって、モーメント母関数は定義されない。
冪乗則 正規分布を除く全ての安定分布同様、レヴィ分布の確率密度関数の裾は、冪乗則に従って低減する「heavy tail」を示す。
いくつかの の値について確率密度関数を描いた以下の両対数グラフにこの様子が示されている。
325px|left|thumb|レヴィ分布の確率密度関数の両対数グラフ。ただし 。
関連項目 安定分布