セットアップ
あなたはこのモデルを持っています:
密度は、
、特に
f(p)=1
px|p∼beta(α,β)∼binomial(n,p)
f(p)=1B(α,β)pα−1(1−p)β−1
1g(x|p)=(nx)px(1−p)n−x
1B(α,β)=Γ(α+β)Γ(α)Γ(β).
暗黙のバージョン
今。事後分布は、事前確率に尤度掛けたものに比例します。定数(つまり、ないもの)を無視して、次の結果を得ることができ:
fgp
h(p|x)∝f(p)g(p|x)=pα−1(1−p)β−1pxpn−x=pα+x−1(1−p)β+n−x−1.
これは、パラメーターおよびを使用したベータ分布の「形状」であり、これらのパラメーターを使用したベータ分布に対応する正規化定数は次のとおりです。または、ガンマ関数では、
言い換えれば、余分なレッグワークなしで比例関係よりも少し上手くやることができ、直等になる:
α+xβ+n−x1/B(α+x,β+n−x)
1B(α+x,β+n−x)=Γ(n+α+β)Γ(α+x)Γ(β+n−x).
h(p|x)=Γ(n+α+β)Γ(α+x)Γ(β+n−x)pα+x−1(1−p)β+n−x−1.
したがって、ベータ分布の構造の知識を使用して、厄介な統合などを行わずに、事後の表現を簡単に復元できます。
ジョイント分布の正規化定数を暗黙的にキャンセルすることで、事後的に完全に回避できるため、混乱を招く可能性があります。
明示的なバージョン
また、手続き的に物事を粉砕することもできます。
実際にはそれほど長くはありません。共同分布は
の周辺分布として
f(p)g(x|p)=1B(α,β)(nx)pα+x−1(1−p)β+n−x−1
x∫10f(p)g(x|p)dp=1B(α,β)(nx)∫10pα+x−1(1−p)β+n−x−1dp=1B(α,β)(nx)Γ(α+x)Γ(β+n−x)Γ(α+β+n−x)
ですから、ベイズの定理を使用して
これは以前に取得したものと同じです。
h(p|x)=f(p)g(x|p)∫10f(p)g(x|p)dp=1B(α,β)(nx)pα+x−1(1−p)β+n−x−11B(α,β)(nx)Γ(α+x)Γ(β+n−x)Γ(α+β+n)=Γ(n+α+β)Γ(α+x)Γ(β+n−x)pα+x−1(1−p)β+n−x−1