An Asymptotic Expansion for Posterior Distributions

Let be a real valued parameter for the exponential family having densities of the form equation*0. 1p_ (x) = C () R (x) * with respect to a -finite measure over a Euclidean sample space. Now assume that the parameter has a prior density (). The posterior density of, given (X₁, X₂, , Xₙ) = (x₁, x₂, , xₙ), is proportional to equation*0. 2 C () e^ rⁿ () r = ⁿ₈ = ₁ R (xᵢ) /n. equation* The expression (0. 2) is proportional to a density function and hence defines a random variable whose density depends on r. But since r = ⁿ₈ = ₁ R (xᵢ) /n, the distribution of X when = ₀ generates a sequence (x₁, x₂, ) and a sequence (R (x₁), 12 R (x₁) + R (x₂), ) and ultimately an infinite sequence of posterior densities of. It is the asymptotic form of this sequence with which we shall be concerned. Neglecting for the moment the stochastic aspect of r, we see that if r is held fixed, perhaps at the expected value of R (x), the density proportional to (0. 2) is exactly of the form considered in Johnson (1966, 1967). Accordingly, after suitably centering and scaling, we obtain an asymptotic expansion having the standard normal cdf as the leading term. Closely related to this approach is the work by Bernstein and von Mises. Their results are for the Bernoulli situation, and both use the usual parameter p rather than the = p/ (1 - p) which results if the density is cast into the form (0. 2). von Mises actually holds r fixed as he passes to the limit. Their results, which give only the limiting normal term, are reproduced in Bernstein (1934), page 406, and von Mises (1964), Chapter VIII, Section C. von Mises also gives the multinomial generalization. A more recent work following the same line of attack is given in Gnedenko (1962), Section 65. LeCam, in two basic papers (1953) and (1958), takes into account the stochastic nature of (x₁, x₂, ), and his Theorem 7 (1953) and Lemma 5 (1958) show that under very general conditions, the scaled posterior distribution converges to the normal distribution for almost all sequences (x₁, x₂, ) with respect to the infinite product measure generated by (0. 1). His conditions include a more general likelihood than ours and the case where the parameter is multidimensional. See LeCam (1953), page 278, for a discussion concerning the historical background on the problem of convergence of the scaled posterior distribution. The main theorem of this paper is given in Section 1 and the following two sections give the details needed to modify the approach of Johnson (1966, 1967) so that it works in the present situation. This theorem shows that when the observations are taken from the population having density (0. 1) with = ₀, not only does the centered and scaled posterior distribution converge to the normal but there exists an asymptotic expansion in powers of n^-1{2}. Section 4 gives the first two correction terms of the expansion together with examples. Throughout this work, we will use the following notational conventions. and are the standard normal cdf and pdf respectively. Fₙ (, r) is the cdf of n^1{2} where is defined below by Equation (1. 1).