20260626_3


連続型確率分布に入るらしい

指数、正規、一様分布は最低限使いこなせるように

そもそも連続型確率分布とは

  • 標本空間がユークリッド空間の連続部分集合としての実数集合と等価な分布

指数分布

  • ベルヌーイ分布を連続分布にするようなイメージ

銀行の窓口に人が来る時間間隔の分布

Variables:

  • (確率変数)= 前のお客さんから次のお客さんが到着するまでの「時間間隔」
  • (具体的な時間)= すでに分待ってまだ誰も来なかった、という条件
  • (さらに追加する時間)= その先、さらに分待つ、という話

分待って、その後分待っても来なかったとき

来る人同士に関連性はないから、この確率は

→「分待ってまだ来なかったからといって、次の客が来やすくなるわけじゃない」=無記憶性

このとき確率密度関数は
の表現を必ず持つ

この確率密度関数を持つ確率分布が指数分布で、で表現


  1. 式変形
  2. これを満たす累積分布関数と確率密度関数を用意する
  3. 両辺をで微分
  4. ここで
  5. としてで両辺を微分する

ベルヌーイ分布やポアソン分布からも求められるらしい


平均

を計算する。部分積分()を使う。

分散

なので、まず を求める。これも部分積分。

モーメント母関数

定義:。指数をまとめると積分が簡単になる。

(パラメータ の指数分布の全確率)を利用。

の関数になっている。 は積分で消えた(ダミー変数)。よって で微分できて、各モーメントが得られる。

  • 1回微分 → 平均:
  • 2回微分 → 2次モーメント:

(積分で直接求める方法と同じ結果になる)


指数分布の確率密度関数は単調減少

中央値はとなる場所で

これは平均より小さい


指数分布の無記憶性

幾何分布をもとに導出したため、幾何分布を受け継いで無記憶性を備える

→何度失敗しても次に成功する条件付き確率が変わらない

時間経っても何も起きていないならそこからさらに時間だけ経過しても未だに発生していない確率は最初からだけ経過しても発生しない確率と同じ

時間が変わっても確率が変わらないのが無記憶性


詳細はスキップ

期待値とした表記もある


ガンマ分布

が互いに独立、かつすべて指数分布(平均)に従うとする。

このとき、最初の項の和は

この分布をアーラン分布 と呼ぶ。ガンマ分布の特殊ケース。


■ ガンマ分布の導出(数学的帰納法)

のとき、(指数分布そのもの)

に従うと仮定すると、 のたたみ込みで:

も同形 数学的帰納法で示される


■ ガンマ関数とは?

階乗を実数に拡張したもの。 のような小数の「階乗」を定義する道具。

定義:

なぜこれが階乗と関係するのか → 部分積分で漸化式 が導ける。

整数のとき:

が成り立つ

ガンマ分布では全確率=1を満たす正規化定数として登場する。


■ ガンマ分布の定義

と書き換える。形状母数 尺度母数

と表す。

  • (指数分布)
  • (アーラン分布)
  • (カイ二乗分布)

■ ガンマ分布のモーメント(平均)

ここで積分をガンマ関数の形に変形する。)とおいて:

なので:

ここで を使うと:


■ ガンマ分布のモーメント(分散)

平均と同じ要領で置換積分 → ガンマ関数の形に変形。 を使う。


■ ガンマ分布のモーメント母関数

の全確率=1 を利用。 に置き換えたガンマ分布の密度関数の全確率が1であることから、積分が簡約される。


■ おまけ:次モーメント

指数分布の和の確率関数の導出は毎年テストに出てるらしい


■ 畳み込みとは?

2つの独立な確率変数の和の分布を求める公式。
が独立で、それぞれ密度関数 を持つとき、 の密度関数は:

直感:「 になる確率密度 そのとき になる確率密度」を、全ての について足し合わせる(積分する)。

■ 指数分布2つの和 、独立)

STEP 1:公式に当てはめる

STEP 2:積分範囲を決める

でしか0でない。(つまり )でしか0でない。

→ 積分範囲は に限定される。

STEP 3:被積分関数を整理

が打ち消し合って、 を含まない项だけが残る。

STEP 4:積分を実行

結論 → これは (アーラン分布)


■ まとめ:畳み込みの手順

  1. 公式を書く:
  2. 積分範囲を決める(密度関数が0でない範囲の共通部分)
  3. 被積分関数を整理(指数が打ち消し合うことが多い)
  4. 積分を実行