In the white-noise model dY = theta dt + dW/sqrt(n) with a nearly flat Gaussian prior the posterior is N(Y, I/n) EXACTLY, not asymptotically. The white-noise model is the one place where the BvM statement can be checked as an identity rather than a limit, which is why the chapter uses it to isolate what does and does not survive in infinite dimensions.
Usage
Ghosalwnfullbvm(y = c(0.5, -0.2, 0.1), n = 400, prior_var = 1e+06)Value
List with estimate (max deviation of the posterior
mean from Y), mean_matches_Y, var_matches_In,
method.
Details
Formula: posterior mean = Y prior_var / (prior_var + 1/n); posterior variance = 1 / (1/prior_var + n).
