For a Bernoulli distribution with fixed , the mean and variance are and . The odds transformation has derivative . Applying the delta method from part (ii),
More precisely, converges to a normal distribution of mean zero and variance , after defining the statistic arbitrarily on . That exceptional event has probability , so this extension does not change the limit. The unextended ratio is undefined there and has no finite exact variance if interpreted as infinite. At it is zero almost surely; at the denominator is always zero. This is the delta method for Bernoulli odds.
Write and , with . Two exact facts about a normal sample are
and independence of the normal sample mean and sample variance holds. A chi-squared distribution with statistical degrees of freedom is a sum of independent variables, each with mean one and variance two. The central limit theorem therefore gives
For , the derivative at is because . The delta method gives the asymptotic normality of a normal sample standard deviation:
The exact independence of and makes their limiting normal distributions independent. Consequently,
Thus
This has the same leading asymptotic variance as . The weights and are those in the optimal asymptotic combination of a normal sample mean and standard deviation. This does not require to be an exactly unbiased estimator of .
Put , and . The normal distribution model gives
and, up to a constant independent of , its log-likelihood function is
The score function and its zero equation are
For , this quadratic equation has exactly one positive root, giving the maximum-likelihood estimator
The numerator of the score function is positive between its negative and positive roots and negative above its positive root. Thus the likelihood function increases up to and decreases afterwards: this is its unique global maximum on . Also, at both ends. The all-zero observation vector has probability zero; on that exceptional vector and there is no attained maximum.
The second derivative and the relevant moments are
Therefore the expected Fisher information is
The support of a probability distribution is the whole real line, independent of the positive statistical parameter. The law of large numbers gives and in probability, so the displayed maximum-likelihood estimator is a consistent estimator. The regular asymptotic normality of a maximum likelihood estimator now yields
Thus the requested leading asymptotic variance on the unscaled estimator's scale is . The normal mean proportional to standard deviation model provides a reusable version of this calculation.
Put . As a linear combination of independent normal random variables under the posterior distribution,
The shortest 95% credible interval is
Here is the standard normal distribution cumulative distribution function. To justify shortest length, consider all intervals of a fixed length . If is this normal distribution posterior density, the interval probability has derivative with respect to . The normal distribution is symmetric and its density strictly decreases with distance from its mean, so this probability is uniquely maximized when the midpoint is . The centered interval can therefore attain 95% posterior probability with the least length. It is both an equal-tailed credible interval and a highest posterior density interval.
The target is the experiment's mean at . A posterior predictive distribution for a new noisy observation would instead have variance ; that extra observation variance does not belong in the requested interval.
Let , , and . The independent observations in the normal linear model give
The centered design condition removes the term:
The stated prior density factors into independent normal distributions for the regression intercept and regression coefficient . Multiplication by the likelihood function therefore leaves separate quadratic expressions in the two coefficients. Define the positive posterior variances
and the posterior means
By completing the square, the joint posterior density is
Equivalently,
This is Gaussian conjugacy for a normal linear model. Each posterior precision parameter is the sum of its data and prior precision parameters. The formulas remain valid when : all are then zero, so the posterior distribution of equals its prior distribution.
An unknown variance requires a joint prior distribution for . The analysis is not determined until a prior for the unknown variance, and its relation to the coefficients, is specified. A maximum-likelihood estimate substituted for does not by itself account for its posterior uncertainty.
For example, retain the independent coefficient prior distributions from part (b) and independently assign an inverse-gamma distribution with shape and scale , whose probability density function is proportional to . Then the joint posterior density is proportional to
Conditional on , the two coefficient posterior distributions are still the independent normal distributions in part (b), with substituted for . The other full conditional distribution is
The marginal coefficient posterior distribution requires marginalization over ; it is generally nonnormal and the two coefficients need not remain independent. In particular, the posterior cumulative distribution function of the requested mean becomes
Its shortest 95% credible interval must be found from this marginal posterior distribution, for example by numerical integration or posterior simulation. This is normal regression with independent coefficient and variance priors.
A different, convenient choice is a normal-inverse-gamma prior, in which the conditional coefficient prior covariance matrix is proportional to . That choice gives a multivariate Student's t-distribution after marginalization, so the interval uses its univariate Student's t-distribution quantiles. It changes the coefficient prior specification; a Student interval does not follow automatically from retaining the fixed- priors in part (b).
Sort the observations into order statistics . Choose plotting positions and calculate the standard normal quantiles . The normal Q-Q plot consists of the pairs .
If the normal distribution model is appropriate, the points should lie approximately on a straight line with positive slope, because its population quantile function is
The intercept is approximately and the slope approximately ; neither needs to be known in advance. The reference need not be the identity line. One justification is the probability integral transform: for an independent normal statistical sample, are uniform order statistics, whose typical values are near their plotting positions. The equality is approximate for a finite sample, particularly at the extremes. Systematic curvature, unusually heavy tails, or isolated extreme departures argue against the proposed distributional shape. A straight marginal Q-Q plot does not itself establish independence of observations.
Put and . Under the null hypothesis, maximizing over the nuisance mean gives . The unrestricted normal mean and variance maximum-likelihood estimators are , . Thus, for ,
The likelihood-ratio test statistic is consequently
The usual model assumes . The event has probability zero under a nondegenerate normal distribution; at that observation the unrestricted likelihood is unbounded as the variance tends to zero, and the ratio has limiting value zero. This is the likelihood-ratio test for a normal variance with unknown mean.
The diffusion generator is . By the Feynman-Kac formula, the required conditional characteristic function solves
Use separation of variables in the form . Since and , the temporal factor satisfies the ordinary differential equation
Thus , and
This is bounded in absolute value by one, so it lies in the uniqueness class of the Feynman-Kac formula. As an independent check, integrating the stochastic differential equation gives . The independent Brownian increments have the normal distribution with mean zero and variance , yielding exactly the same characteristic function. For , the conditional distribution is a point mass at , and the same boxed expression still applies.
For , set . The candidate invariant probability law of a Markov process is
To prove invariance rather than merely guess a limiting probability distribution, initialize independently of future Brownian increments. Integrating the conditional characteristic function from part (i) against this centered normal distribution gives
because . The uniqueness theorem for characteristic functions implies for every . This proves , as required. The time-homogeneous Markov property then also makes the process with this Ornstein-Uhlenbeck stationary initialization a strictly stationary process.
Here the diffusion generator is . The Feynman-Kac formula gives
Try , where and . Substitution and collection of the coefficients of and the constant term give
The solutions of these ordinary differential equations, with the terminal conditions imposed, are
For , define the conditional variance
Then the required conditional characteristic function is
In particular, for this exponent is . The variance is nonnegative for either sign of , and its limit at is . Hence the solution is bounded in absolute value by one and the Feynman-Kac formula identifies it with the required expectation. The value gives one directly, including that case without dividing by .
For an independent check, the integrating factor and the Itô product rule give
The stochastic integral has a normal distribution because its integrand is deterministic; the Itô isometry gives its variance as . For this is the Ornstein-Uhlenbeck transition distribution. The formula also covers the unstable case , and degenerates to deterministic motion when .
With a standard normal random variable,
For , in the usual sense that and its continuous derivative are bounded, the mean value theorem bounds the difference quotient by . Dominated convergence theorem therefore allows differentiation inside the integral:
This also follows pathwise from . If the textual description were read as assuming only bounded differentiability, some control of is needed for the displayed right side; the stated hypothesis supplies it. Gaussian smoothing itself still differentiates a bounded measurable , using the derivative of the Normal distribution instead.
For a partition , approximate the integral by , using left endpoints. The defining independent Brownian increment of Brownian motion make this a centered Gaussian variable with variance . As the mesh tends to zero, that variance tends to .
The stochastic integral is the mean-square convergence of these sums. mean-square convergence implies convergence in distribution, while the characteristic function converge to . Hence
The probability is exactly one half because this centered nondegenerate normal distribution is symmetric and has no atom at zero.
Lévy's characterization of Brownian motion states that a real continuous local martingale with and quadratic variation is a standard Brownian motion with respect to its filtration. Equivalently, its increments are independent of the past and have centered normal distribution with variances equal to elapsed times.
Let . The running maximum is continuous and adapted, so is bounded and progressively measurable process. It has a predictable version for integration; changing its value at the single switching time does not change its stochastic integral. Thus is a continuous local martingale starting at zero. Since ,
Lévy's characterization of Brownian motion yields is standard Brownian motion. The sign depends on the entire past through the running maximum, but the unit quadratic-variation rate is exactly what the characterization needs.
The Itô formula for gives
The stochastic integral has expectation zero: its square integrability on a finite horizon follows from the finite sixth moments of a normal distribution. Since , integration and expectation yield
For , has the normal distribution . Evaluate its Gaussian integral:
At the defining random variable is one, consistent with the same formula. Thus
Two assumptions of the usual normal linear model used for the reported coefficient Student t-tests are:
The second statement includes homoscedasticity. Normality concerns the conditional errors, rather than requiring the weights themselves to have a normal distribution.
Each observation has normal distribution probability density function
The observations are independent and identically distributed, so their joint probability density function, viewed as a function of the unknown mean, is the product:
Independence justifies multiplication; the common mean and known unit variance justify using this same density factor for every observation.
The exponential distribution prior has rate and support , so its prior density is . By Bayes' theorem,
where is a normalizing constant independent of .
Completing the square gives a useful exact reference for the numerical sampling. Put
Then this normal mean posterior with an exponential prior is a normal distribution with location and variance , truncated below at zero. With the standard normal distribution density and its cumulative distribution function,
The exponential rate is , not three; the prior mean is three. The support restriction must be retained in both the formula and the sampler.
The probability density function is
Every term is nonnegative because its weight is nonnegative, its scale is positive and its exponential is positive. By linearity of the integral and normalization of each normal distribution,
Thus is nonnegative and integrates to one. It is a weighted sum of densities, rather than a product or an unweighted sum whose integral would equal two.
Figure 1.
Illustrative Gaussian mixtures with shared component distributions and different modification fractions
. Details.