ด้วยการแจกแจงแบบเวกเตอร์สุ่มของเรา:
xi|μ∼N(μ,Σ)
μ∼N(μ0,Σ0)
ตามกฎของเบย์การกระจายหลังดูเหมือนว่า:
p(μ|{xi})∝p(μ)∏Ni=1p(xi|μ)
ดังนั้น:
lnp(μ|{xi})=−12∑Ni=1(xi−μ)′Σ−1(xi−μ)−12(μ−μ0)′Σ−10(μ−μ0)+const
=−12Nμ′Σ−1μ+∑Ni=1μ′Σ−1xi−12μ′Σ−10μ+μ′Σ−10μ0+const
=−12μ′(NΣ−1+Σ−10)μ+μ′(Σ−10μ0+Σ−1∑Ni=1xi)+const
=−12(μ−(NΣ−1+Σ−10)−1(Σ−10μ0+Σ−1∑Ni=1xi))′(NΣ−1+Σ−10)(μ−(NΣ−1+Σ−10)−1(Σ−10μ0+Σ−1∑Ni=1xi))+const
ซึ่งเป็นบันทึกความหนาแน่นของ Gaussian:
μ|{xi}∼N((NΣ−1+Σ−10)−1(Σ−10μ0+Σ−1∑Ni=1xi),(NΣ−1+Σ−10)−1)
การใช้ข้อมูลเฉพาะตัวของ Woodbury ในการแสดงออกของเราสำหรับเมทริกซ์ความแปรปรวนร่วม:
(NΣ−1+Σ−10)−1=Σ(1NΣ+Σ0)−11NΣ0
ซึ่งให้เมทริกซ์ความแปรปรวนร่วมในรูปแบบที่ OP ต้องการ การใช้นิพจน์นี้ (และสมมาตร) ในการแสดงออกสำหรับค่าเฉลี่ยที่เรามี:
Σ(1NΣ+Σ0)−11NΣ0Σ−10μ0+1NΣ0(1NΣ+Σ0)−1ΣΣ−1∑Ni=1xi
=Σ(1NΣ+Σ0)−11Nμ0+Σ0(1NΣ+Σ0)−1∑Ni=1(1Nxi)
Which is the form required by the OP for the mean.