The standard normal density is
It is nonnegative, and the Gaussian integral gives , so it is a probability density function. Completing the square gives the moment-generating function of a standard normal variable
Thus and
Normalization of the probability density function gives
so
The expected value is
The second moment is
Therefore the variance is
For the median ,
so
A Bayesian inverse problem consists of a prior distribution on the unknown , a reference measure on the data space , and a jointly measurable likelihood such that is a probability density function for -almost every . For observed data , Bayes' theorem defines the posterior distribution by
provided .
The following four assumptions are sufficient, with statements understood for -almost every and every :
The first two assumptions give . The last two allow the dominated convergence theorem to prove continuity of the normalized posterior density, which is equivalent to continuity in total variation distance.
Expand the exponent in the Inverse Gaussian distribution with unit shape parameter:
Consequently its probability density function can be written as
where
Indeed, . This is the canonical form of a one-parameter exponential family, and its natural parameter is therefore
Here the natural statistic is . The exponential-family derivative identities give
and
Thus
At fixed intrinsic ratio , part a gives
Since is uniform, the change-of-variables formula for a probability density yields the conditional probability density function
The inverse-square-root singularity at is integrable, and direct integration gives one.
For an intrinsic probability density function , the law of total probability averages the conditional density from part c. An object observed with ratio can only have , so
This is an Abel transform of . Its normalization follows by reversing the order of integration and using .
With
the factor cancels from the Abel transform:
Hence
This probability density function is normalized and again favors rounder projections.
Let be independent and identically distributed random variables with the standard Cauchy distribution, whose probability density function is
Its first absolute moment diverges since
On the other hand, its characteristic function is . The characteristic function of a sum of independent variables therefore gives
Thus the stability of the Cauchy distribution implies that has the standard Cauchy distribution for every . In particular,
where is standard Cauchy and denotes convergence in distribution.
Let be the homogeneous Poisson point process in with intensity measure , and map each point to its radius . For an interval , the pushforward measure of the intensity is
The Mapping theorem for Poisson point processes therefore shows that the radii form a Non-homogeneous Poisson point process with intensity function
If is the distance to the closest star, the event says that the ball of radius contains no points. The zero-count probability of a Poisson distribution gives
Differentiating its cumulative distribution function yields the probability density function
The two-dimensional Fokker-Planck equation is
with Fokker-Planck probability current
The point initial condition is
where is the Dirac delta function. The reflecting boundary condition for a diffusion is
with the outward unit normal. This zero-flux condition conserves the integral of the probability density function over the square.
A kernel for density estimation is a bounded nonnegative integrable function with . Its bandwidth- rescaling is , and the kernel density estimator is
Fix and put . Since vanishes outside ,
The Cauchy-Schwarz inequality and variance additivity for independent random variables give
Nonnegativity also gives . Taking the better estimate at each and applying Tonelli theorem proves
For nonnegative and , . Taking yields
For , the Holder inequality with conjugate exponents and gives
If is uniform on and independent of , then has probability density function . Since
the last integral is at most . Substitution proves the second displayed bound. The case is the first bound integrated using and follows directly.
For a random variable with a continuous probability distribution and probability density function , the mean and variance are
A finite mean requires . A finite variance additionally requires the second moment to be finite; without that condition the nonnegative integral for the variance may be infinite.
Normalization of the probability density function and the specified mean give two equations:
Dividing the second by the first gives . Consequently
Both are positive, as required for the stated probability density function.
The probability density function must integrate to one, so
Also, linearity of expectation and the mean and variance of the standard normal distribution give
Using the probability density function to compute this expected value gives
These are the values and of the gamma function.
Differentiate the cumulative distribution function for , using and . The probability density function is
Its value at zero can be assigned arbitrarily without changing any probability. Although this probability density function diverges as , and there is no point mass at zero. Equivalently, has a gamma distribution with shape and rate one.
Be careful about the index: the probability density function already contains a factor , so . The recurrence relation at yields . Therefore linearity of expectation gives
Thus is an unbiased estimator.
Differentiating the cumulative distribution function in part (ii) gives the probability density function on . Hence
Thus an unbiased estimator based on the sample maximum is