With the stated flat priors, the full joint density, up to a constant, is
$$
\boxed{
\mathbf1_{\{\sigma^2>0,\tau^2>0\}}
\prod_{i=1}^N
N(x_i\mid\xi_i,\sigma_{x,i}^2)
N(y_i\mid\eta_i,\sigma_{y,i}^2)
N(\eta_i\mid\alpha+\beta\xi_i,\sigma^2)
N(\xi_i\mid\mu,\tau^2).}
$$
The priors on $\alpha,\beta,$ and $\mu$ contribute constants on $\mathbb R$, while those on the two variances contribute constants on $(0,\infty)$. These are <improper priors>, so posterior propriety must be checked; the full-rank, sufficiently large-data case used below is proper.

Solution

Past exam of the mathematics course of the University of Cambridge / 2019 / iii / Paper 219 / 4 / b / Solution

 Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2019/iii/paper-219/4/b/solution