2.3.4, 2.3.5 高斯分布的最大似然估计给出了对于参数
和
的点估计，这里我们引入这些参数的先验分布，来介绍一种贝叶斯方法。
首先我们假设方差
已知，要从一组
次观察
中推断均值，考虑似然函数，在给定的情况下，观测的数据集出现的概率，可以看成是的函数，有
%3D%5Cprod_%7Bn%3D1%7D%5ENp(x_n%7C%5Cmu)%3D%5Cfrac%7B1%7D%7B(2%5Cpi%5Csigma%5E2)%5E%7B%5Cfrac%7BN%7D%7B2%7D%7D%7D%5Cexp%5C%7B-%5Cfrac%7B1%7D%7B2%5Csigma%5E2%7D%5Csum_%7Bn%3D1%7D%5EN(x_n-%5Cmu)%5E2%5C%7D)
似然函数与有关的只有指数上的关于的二次型，所以我们可以将先验分布)
选成高斯分布，因为高斯分布与有关的也只有指数上的关于的二次型，他是似然函数的一个共轭分布，而后验概率是两个µ的⼆次函数的指数的成绩，因此也是⼀个⾼斯分布。我们令先验分布为
%20%3D%20N(%5Cmu%7C%5Cmu_0%2C%5Csigma_0%5E2))
后验概率为
%20%5Cpropto%20p(x%7C%5Cmu)p(%5Cmu))
通过计算不难得到
对含
和的项进行计算，可证
%3D%20N(%5Cmu%7C%5Cmu_N%2C%5Csigma_N%5E2)%5C%5C%20%E5%85%B6%E4%B8%AD%5C%5C%20%5Cmu_N%20%3D%20%5Cfrac%7B%5Csigma%5E2%7D%7BN%5Csigma_0%5E2%2B%5Csigma%5E2%7D%5Cmu_0%2B%5Cfrac%7BN%5Csigma_0%5E2%7D%7BN%5Csigma_0%5E2%2B%5Csigma%5E2%7D%5Cmu_%7BML%7D%5C%5C%20%5Cfrac%7B1%7D%7B%5Csigma_N%5E2%7D%3D%5Cfrac%7B1%7D%7B%5Csigma_0%5E2%7D%2B%5Cfrac%7BN%7D%7B%5Csigma%5E2%7D%5C%5C%20%5Cmu_%7BML%7D%3D%5Cfrac%7B1%7D%7BN%7D%5Csum_%7Bn%3D1%7D%5ENx_n)
说明：
- 公式给出的后验分布的均值是先验均值
和最⼤似然解
的折中，如果观测数据点的数量
，公式就变成了先验均值。对于
，后验均值由最⼤似然解给出。
- ⽅差的倒数被称为精度，精度可以相加，因此后验概率的精度等于先验的精度加上每⼀个观测数据点所贡献的⼀个精度，如果观测数据点的数量，公式就变成了先验的⽅差。对于，⽅差
趋于零，从⽽后验分布在在最⼤似然解附近变成了⽆限⼤的尖峰。
这是一个顺序估计的框架，当观察到第个数据点时，会根据两个量：观察到第
个数据点时候的均值和数据点
的值，先验分布是时候的分布，后验分布公式如下
![p(\mu|x)\propto[p(\mu)\prod_{n=1}^{N-1}p(x_n|\mu)]p(x_N|\mu)](https://math.jianshu.com/math?formula=p(%5Cmu%7Cx)%5Cpropto%5Bp(%5Cmu)%5Cprod_%7Bn%3D1%7D%5E%7BN-1%7Dp(x_n%7C%5Cmu)%5Dp(x_N%7C%5Cmu))
方括号的项是观测到
个数据点之后的后验概率分布，也可以看做是先验分布，数据点的贡献被单独了写出来。
上面我们假定方差已知来估计均值
下面我们假定均值已知来估计方差
同前面一样我们先来找先验分布的共轭形式，下面会用精度
来代替
，考察
的似然函数
%3D%5Cprod_%7Bn%3D1%7D%5EN%20N(x_n%7C%5Cmu%2C%5Clambda%5E%7B-1%7D)%5Cpropto%5Clambda%5E%7B%5Cfrac%7BN%7D%7B2%7D%7D%5Cexp%5C%7B-%5Cfrac%7B%5Clambda%7D%7B2%7D%5Csum_%7Bn%3D1%7D%5EN(x_n-%5Cmu)%5E2%5C%7D)
共轭分布应该正比如的幂指数，和的线性函数的指数，来看Gamma分布的定义
%3D%5Cfrac%7B1%7D%7B%5CGamma(a)%7Db%5Ea%5Clambda%5E%7Ba-1%7D%5Cexp(-b%5Clambda))
)
保证了公式能够被正确归一化，很明显Gamma分布就是的似然函数的共轭分布，Gamma分布的均值和方差为
![E[\lambda]=\frac{a}{b}\\ var[\lambda]=\frac{a}{b^2}](https://math.jianshu.com/math?formula=E%5B%5Clambda%5D%3D%5Cfrac%7Ba%7D%7Bb%7D%5C%5C%20var%5B%5Clambda%5D%3D%5Cfrac%7Ba%7D%7Bb%5E2%7D)
考虑一个先验分布，我们乘以高斯分布方差的似然函数，就得到了后验分布
我们可以把它看成形式为的Gamma分布
不使⽤精度进⾏计算，⽽考虑⽅差本⾝。这种情况下共轭先验被称为逆Gamma分布。
上面我们 假定方差已知来估计均值 和 假定均值已知来估计方差（精度）
下面我们假定均值和精度都是未知的
先找共轭分布，现在要考虑和两个变量了
![p(x|\mu,\lambda)=\prod_{n=1}^N(\frac{\lambda}{2\pi})^{\frac{1}{2}}\exp\{-\frac{\lambda}{2}(x_n-\mu)^2 \} \\\propto[\lambda^{\frac{1}{2}}\exp(-\frac{\lambda\mu_2}{2})]^N\exp\{\lambda\mu\sum_{n=1}^Nx_n-\frac{\lambda}{2}\sum_{n=1}^Nx_n^2\}](https://math.jianshu.com/math?formula=p(x%7C%5Cmu%2C%5Clambda)%3D%5Cprod_%7Bn%3D1%7D%5EN(%5Cfrac%7B%5Clambda%7D%7B2%5Cpi%7D)%5E%7B%5Cfrac%7B1%7D%7B2%7D%7D%5Cexp%5C%7B-%5Cfrac%7B%5Clambda%7D%7B2%7D(x_n-%5Cmu)%5E2%20%5C%7D%20%5C%5C%5Cpropto%5B%5Clambda%5E%7B%5Cfrac%7B1%7D%7B2%7D%7D%5Cexp(-%5Cfrac%7B%5Clambda%5Cmu_2%7D%7B2%7D)%5D%5EN%5Cexp%5C%7B%5Clambda%5Cmu%5Csum_%7Bn%3D1%7D%5ENx_n-%5Cfrac%7B%5Clambda%7D%7B2%7D%5Csum_%7Bn%3D1%7D%5ENx_n%5E2%5C%7D)
目标是找一个先验分布)
，对于和与似然函数有着相同的函数形式。我们假设
![p(\mu,\lambda) = [\lambda^{\frac{1}{2}}\exp(-\frac{\lambda\mu^2}{2})]^N\exp\{c\lambda\mu-d\mu\}\\=\exp\{-\frac{\beta\lambda}{2}(\mu-\frac{c}{\beta})^2\}\lambda^{\frac{\beta}{2}}\exp\{-(d-\frac{c^2}{2\beta})\lambda\}](https://math.jianshu.com/math?formula=p(%5Cmu%2C%5Clambda)%20%3D%20%5B%5Clambda%5E%7B%5Cfrac%7B1%7D%7B2%7D%7D%5Cexp(-%5Cfrac%7B%5Clambda%5Cmu%5E2%7D%7B2%7D)%5D%5EN%5Cexp%5C%7Bc%5Clambda%5Cmu-d%5Cmu%5C%7D%5C%5C%3D%5Cexp%5C%7B-%5Cfrac%7B%5Cbeta%5Clambda%7D%7B2%7D(%5Cmu-%5Cfrac%7Bc%7D%7B%5Cbeta%7D)%5E2%5C%7D%5Clambda%5E%7B%5Cfrac%7B%5Cbeta%7D%7B2%7D%7D%5Cexp%5C%7B-(d-%5Cfrac%7Bc%5E2%7D%7B2%5Cbeta%7D)%5Clambda%5C%7D)
其 中
和
都是常数。由于我们总有%20%3D%20p(%5Cmu%7C%5Clambda)p(%5Clambda))
，因此我们可以通过观察找到)
和)
。特别地，我们看到是⼀个⾼斯分布，这个⾼斯分布的精度是的⼀个线性函数。是⼀个Gamma分布，因此归⼀化的先验概率的形式为
%20%3D%20N%20(%5Cmu%7C%5Cmu_0%2C(%5Cbeta%5Clambda)%5E%7B%E2%88%921%7D)%20Gam(%5Clambda%20%7C%20a%2C%20b)%20%5C%5C%20%5Cmu_0%20%3D%20%5Cfrac%7Bc%7D%7B%5Cbeta%7D%2C%20a%20%3D%20%5Cfrac%7B1%2B%5Cbeta%7D%7B2%7D%2C%20b%20%3Dd%20-%20%5Cfrac%7Bc%5E2%7D%7B2%5Cbeta%7D)
以上的概率分布公式被称为正态-Gamma分布或者⾼斯-Gamma分布，如下图。
注意这不是一个独立的的高斯分布和一个的Gamma分布的简单乘积，因为的精度是的线性函数。
接下来是对于D维向量x的多元⾼斯分布)
的讨论
- 假设精度矩阵
已知，均值的共轭先验分布依然是高斯分布
- 假设均值已知，精度矩阵的共轭先验分布是Wishart分布，定义如下
-
假设均值和精度矩阵都是未知的，类似于⼀元变量的推理⽅法，共轭先验为：
