Assume the following bivariate regression model:
$y_i = \beta x_i + u_i$ where $u_i$ is i.i.d $N(0, \sigma^2 = 9)$ for $i = 1, 2, ..., n$.
Assume a noninformative prior of the form:
$p(\beta) \propto constant$, then it can be shown that the posterior pdf for $\beta$ is:
$p(\beta|\mathbf{y}) = (18\pi)^{-\frac{1}{2}}\left(\sum_{i=1}^n x_i^2\right)^{\frac{1}{2}} \exp\left[-\frac{1}{18}\sum_{i=1}^n x_i^2 (\beta - \hat{\beta})^2\right]$
where $\displaystyle{\hat{\beta} = \frac{\sum_{i=1}^n y_ix_i}{\sum_{i=1}^n x_i^2}}$
Now consider the value of $y$ with a given future value of $x$, $x_{n+1}$:
$y_{n+1} = \beta x_{n+1} + u_{n+1}$ where u$_{n+1}$ is i.i.d $N(0, \sigma^2 = 9)$ , show that:
$p(y_{n+1}|x_{n+1},\mathbf{y}) = \int_{\beta} p(y_{n+1}|x_{n+1}, \beta, \mathbf{y}) p(\beta|\mathbf{y})d\beta$ is a normal density with:
$E[y_{n+1}|x_{n+1},\mathbf{y}] = \hat{\beta}x_{n+1}$
and
$\displaystyle{var[y_{n+1}|x_{n+1},\mathbf{y}] = \frac{9[x_{n+1}^2 + \sum_{i=1}^n x_i^2]}{\sum_{i=1}^n x_i^2}}$
Now my approach to this question is like this:
We can derive $p(y_{n+1}|x_{n+1}, \beta, \mathbf{y}) = (18\pi)^{-\frac{1}{2}} \exp\left[-\frac{1}{18}(y_{n+1} - \beta x_{n+1})^2\right]$
So $p(y_{n+1}|x_{n+1}, \beta, \mathbf{y}) \propto \exp\left[-\frac{1}{18}(y_{n+1} - \beta x_{n+1})^2\right]$
and $p(\beta|\mathbf{y}) \propto \exp\left[-\frac{1}{18}\sum_{i=1}^n x_i^2 (\beta - \hat{\beta})^2\right]$
Hence: $p(y_{n+1}|x_{n+1},\mathbf{y}) \propto \int_{\beta} \exp\left[-\frac{1}{18}(y_{n+1} - \beta x_{n+1})^2\right] \exp\left[-\frac{1}{18}\sum_{i=1}^n x_i^2 (\beta - \hat{\beta})^2\right] d\beta$
Now I am stuck on how I should manipulate the integrand to a known distribution so I can recover the integrating constants and hence find an expression for the integral.
Any help would be appreciated.