数理統計の問題
, を定数とする。母数 の事前分布を、確率密度関数
をもつガンマ分布 とする。 が与えられたとき、( は正の整数)は互いに独立に平均 のポアソン分布に従い、その実現値 (いずれも 以上の整数)が得られたとする。 とおく。
このとき、 の事後分布はガンマ分布 であり、事後分布の平均は
と、事前分布の平均 と標本平均 の重み付き平均で表されることを証明せよ。
ただし、, に対して であること、および は用いてよい。
この問題で使うもの
- 共役事前分布とベイズ推定(説明と入口の問題)
- ガンマ関数・ベータ関数とガンマ分布(説明と入口の問題)
この問題を解けるようになるまで(68 技能)
読み込み中…
右端(太枠)がこの問題で使う技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
一覧で見る(前提が先)
- 樹形図で数え上げる
- 積の法則と和の法則
- 和の法則・積の法則と樹形図
- 順列・円順列・重複順列
- 組合せ
- 確率の定義と和事象・余事象
- 期待値
- 確率変数と確率分布
- 平均と合計
- 平均値・中央値・最頻値
- 代表値(平均値・中央値・最頻値)
- 分散と標準偏差
- 変量の変換と平均・分散
- 確率変数の期待値・分散と
- 分数のたし算・ひき算
- 小数の四則計算
- 正負の数の加法・減法
- 分数のかけ算・わり算
- 四則の混じった計算の順序
- 正負の数の乗除・累乗と四則混合
- 分配法則を使った計算のくふう
- 文字式の計算(同類項・分配法則)
- 乗法公式による展開
- 因数分解
- 3 次式までの展開と因数分解
- 微分係数と導関数の定義
- 多項式の微分
- 多項式の不定積分
- 定積分の計算
- 連続型確率変数と確率密度関数
- 等間隔にならんだ数の和
- 等差・等比数列の和と Σ
- 数列の極限
- 関数の極限
- 積と商の微分
- 合成関数の微分
- 円の周の長さと面積
- おうぎ形の弧の長さと面積
- 弧の長さからおうぎ形の中心角と面積を求める
- 三角形・四角形の面積
- 約数の見つけ方
- 素因数分解と約数の個数
- 平方根の意味と根号の簡単化
- 三平方の定理
- 特別な直角三角形の辺の比
- 弧度法と単位円による三角関数
- の極限
- 加法定理と 2 倍角・半角・積和の公式
- 三角関数の導関数
- 根号の乗除と加減
- 指数の拡張と指数関数
- 対数の定義と性質
- 自然対数の底
- 指数関数・対数関数の導関数
- 基本的な関数の不定積分
- 置換積分
- 部分積分
- 定積分の置換・部分積分と偶関数・奇関数
- 広義積分
- 一様分布・指数分布
- ガンマ関数・ベータ関数とガンマ分布
- 確率変数の和と積(独立な場合)
- 重積分と累次積分
- 同時分布・周辺分布と独立性
- 条件付き確率と乗法定理
- 条件付き分布と全期待値の公式
- 原因の確率(ベイズの定理)
- 共役事前分布とベイズ推定
ヒント
行き詰まったら、上から順に 1 つずつ開いてください。
ヒント 1
ベイズの定理「事後密度 尤度 事前密度」を使い、 に関する部分の形がガンマ分布の密度と同じになることを確かめる。
ヒント 2
尤度は 。これに事前密度を掛けると の定数倍になる。
ヒント 3
正規化定数は与えられた積分公式で求まる。また の平均は、 に同じ公式と を使うと計算できる。
採点の観点と模範解答
自分で証明を書いてから、採点の観点で見比べてください。
採点の観点を見る
独立性を使って尤度を と正しく書いている(2 点)
ベイズの定理で尤度と事前密度の積をとり、 に依存する部分が になることを示している(2 点)
積分公式で正規化定数を求め(または密度の形から)、事後分布が であると結論している(2 点)
を使って の平均が であることを導き、事後平均 を得ている(2 点)
とおいて、事後平均が に等しいことを式変形で確かめている(2 点)
どこでつまずきましたか?(選ぶと、戻る場所を案内します)
模範解答を読む
( 以上の整数)とおく。
ステップ 1:尤度。
が与えられたとき は独立で、それぞれ なので、
ステップ 2:事後分布。
ベイズの定理より、事後密度は
分子は
である。 は によらない。, なので与えられた積分公式が使えて、分母は
(正の有限値)となる。よって が約分されて
これはガンマ分布 の密度にほかならない。
ステップ 3:ガンマ分布の平均。
のとき、 に従う確率変数の平均は、積分公式( で使える)と より
特に事前分布の平均は である。
ステップ 4:事後平均の表示。
ステップ 2・3 より(, )
一方、 のとき であり、 を使うと
両者は一致する。
以上より、事後分布は であり、事後平均は ()と表される。
(補足: なので事後平均は事前平均と標本平均の間にあり、 で となって標本平均の重みが大きくなる。)