Uniform probability per volume does not give a uniform radial distribution. A shell of radius and thickness occupies volume , so the radial probability density function is
It integrates to one. The second radial moment is
The radial uncertainty scale in a uniform sphere supplies the position-uncertainty scale as instructed by the toy model. It is not literally the standard deviation of the scalar radius: and . Nor is a uniform spatial probability density sufficient to determine a unique momentum space wavefunction. This explicit distinction keeps the order-of-magnitude assumption separate from a fully specified quantum bound-state calculation. Replacing the radial density by a uniform density in would give a different second moment because it omits the spherical volume element.
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 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.
Normalize the probability density function on :
For , the change of variables is , . Conservation of probability gives the transformed probability density function
It is a Rayleigh distribution with scale . Its derivative is , so it rises from zero, has one maximum, and then decays:
The expected value follows by putting :
Here , obtained from the Gaussian integral by integration by parts. In particular , and the mode changes under a nonlinear variable transformation because a density includes its Jacobian determinant.
Figure 1.
The square root of an exponential variable has a positive density mode
. Original dimensionless Rayleigh distribution with its mode and expected value marked. The density is measured per unit transformed variable, including the change-of-variable factor. Details.
The factor is positive on and negative on . For every nonzero , the proposed probability density function is therefore negative on an interval. The choice has total integral zero. In fact,
so no scaling could normalise it even without the sign obstruction. Consequently
On , . A valid probability density function must integrate to one, so
Thus , which is positive and ensures nonnegativity. Its expected value is
Therefore
The probability density function is symmetric around , providing a second check on the expected value.
Let . On , squaring preserves order. Therefore for ,
Including the tails gives the cumulative distribution function
Differentiating on the interior of the support gives the probability density function
The divergence near zero is integrable: . There is no point mass at zero, and the assigned value of a probability density function at a single endpoint does not affect the probability distribution.
Complete the square in the transformation:
Since almost surely, . For , put . The event is equivalent to . Integrating the given probability density function over both branches at once gives the survival function
Thus, including the tails,
The cumulative distribution function on is . Differentiation gives
Both inverse branches matter: . The endpoint divergence is integrable, and , so no endpoint atom is needed.
A probability density function must be nonnegative and integrate to one. For ,
At the function is identically zero, while makes it negative on . Thus is necessary and sufficient. The resulting law is a Pareto distribution with scale one and shape .
The logarithm is strictly increasing, so . Since almost surely,
Thus the logarithm of a Pareto random variable has an exponential distribution with rate . Its probability density function value at the single endpoint can be chosen arbitrarily without changing the law.
For a continuous random variable with probability density function , its mean is
provided . Its variance is the expectation of the squared deviation from its mean:
This is finite when ; otherwise it may be if the finite mean exists.
The source prints bare differentials in both integrals; the integration variable is , so we write them as .[ref]
The normalization of a probability distribution for gives
Therefore
Next, the standard normal distribution has and , so the second moment is . Since , linearity of expectation yields . Expressing this expectation using the probability density function gives
Consequently
These evaluate the gamma function at and , respectively, directly from a transformed normal random variable.
Differentiate the cumulative distribution function for using the chain rule and the standard normal density:
Thus a probability density function is
The value assigned at zero is immaterial. The probability density function is unbounded near zero, but and continuity of the cumulative distribution function there show that there is no point mass. This is a gamma distribution with shape and rate .
We need . Indeed, if , the function is negative on ; if , the improper integral diverges at zero; and if , its support interval is empty. For ,
Setting this equal to one gives the unique admissible value
On this interval , so both requirements for a probability density function are met.
The cosine function is positive on and negative on . Thus any nonzero makes negative on an interval of positive length. Taking makes the total definite integral zero. Hence
Normalization alone would suggest , but that candidate still violates nonnegativity and therefore is not a probability density function.
A probability density function must be nonnegative and have definite integral one. Here
Therefore
This value is positive, so the nonnegativity requirement also holds.
First . If a nonnegative random variable had zero expected value, it would equal zero almost surely, which is impossible for a distribution having a probability density function on : a singleton has probability zero. Thus the given division by is legitimate.
Because and , . Moreover
Extend by zero for negative . It is a probability density function, defining the size-biased distribution of : larger observations receive weight proportional to their value.
Let for . Since on the negative half-line, almost surely. We have almost everywhere. On a finite interval, integration by parts gives
The lower endpoint contributes zero. The stated hypothesis gives as . Taking the increasing limits of the two nonnegative integrals proves the tail-integral identity
The equality allows the value ; the boundary hypothesis alone does not force a finite expectation. In fact the formula for nonnegative also follows directly from Tonelli theorem, without that additional boundary hypothesis, by integrating against the probability density function.