For a real location parameter and positive scale parameter , the logistic distribution has probability density function and cumulative distribution function
Differentiating recovers , and its limits at infinity show normalization of a probability distribution. The density is symmetric about with exponentially decaying tails, so its expected value exists and equals . Allowing in the displayed expression makes negative and its integral ; a signed scale must instead be replaced by in the prefactor to define the same valid density.
Mixture of a point mass and an exponential distribution Created 2026-10-20 Updated 2026-11-05
Let , and . With probability , take ; otherwise draw an exponential distribution of rate . This mixed probability distribution has a negative atom and a continuous nonnegative component. Its moments are and . The law of total variance equivalently gives .
When , conditioning on selects exactly the exponential component, so for . An ordinary probability density function for the continuous component integrates to , not one; the missing mass is the atom, not a normalization error.
Let . Conservation of probability in the full phase space gives the dissipative Liouville equation
Normalize . Decay at infinity makes all boundary fluxes vanish, so the equation preserves this normalization of a probability distribution.
Unlike the Hamiltonian Liouville equation, this transport has nonzero phase-space divergence. In three dimensions,
The probability density increases along a contracting characteristic flow map; setting its material derivative to zero would lose conservation of probability. The force is identically zero, including its derivative, which is why the last sums exclude it.
Put and . Indistinguishability gives an exchangeable ensemble. Define unit-normalized marginal distributions
Integrating the dissipative Liouville equation over removes their boundary fluxes. The identical pair terms remain:
This is the first equation of a BBGKY hierarchy, with no independence assumed yet.
The additional physical assumption is a mean-field closure for velocity alignment: neglect pair correlations, . Initial independence alone does not make this exact at later times, because the particles interact. In the usual number convention, and the two-particle distribution function is . Consequently the closed equation at finite is
Neglecting the relative correction gives the intended mean-field alignment equation:
Equivalently, the closure incorporates this large- approximation. It cannot be an exact finite- identity with , since whereas .
There is also a consistent finite- convention yielding the boxed equation directly under the independence closure: define instead. Its total normalization of a probability distribution is , rather than the physical particle number . Thus the displayed source equation needs a stated normalization of a probability distribution convention, or the large- approximation, in addition to neglect of correlations. In the remaining parts we use the displayed mean-field alignment equation itself; its moment identities do not depend on the total normalization of a probability distribution.
The step in the source must be at zero. We use the Heaviside step function for , zero for , with its value at zero immaterial here. The printed threshold is inconsistent with both and the stated number density. For example, measuring velocities in fixed units and taking , the literal printed cutoff fills only and gives one eighth of the stated number density. Its distributional derivative is , not . The zero-threshold convention restores the stated Fermi sphere and its normalization of a probability distribution.
Let , choose , and abbreviate . The three-dimensional phase-space distribution function is , where
Integrate over the transverse velocity disk to obtain the parallel marginal distribution
There are no edge Dirac delta functions in because itself vanishes continuously at the endpoints. In particular, the three-dimensional constant occupation does not imply a constant parallel marginal distribution.
Use time dependence , with and for damping. The given dielectric function becomes
The Landau contour supplies causal continuation. For a real phase velocity , there is no resonant pole in the populated interval, and
Hence this species contributes
For comparable species number densities and fixed charge ratios, implies and . Since , the ions have and . Their response is negligible to leading order in the mass ratio. The real dispersion relation is therefore
This degenerate-plasma dielectric response treats a completely degenerate, nonrelativistic Fermi gas with classical particle trajectories. It does not include quantum recoil or a collision term. A finite ion response shifts the root slightly; the boxed equation is the stated leading electron approximation.
Since , Hamilton's equations give
For the spherical unperturbed Hamiltonian, ; in these particular action-angle variables the third component describes the fixed orientation of the orbital plane. It should not be confused with the physical azimuthal angular velocity of a particle around its orbit.
The conserved normalization of a probability distribution makes the expected value of specific angular momentum equal to . Its time derivative is the torque per unit halo mass:
This follows either by averaging the single-particle equation or by integrating the Collisionless Boltzmann equation against , with vanishing boundary fluxes.
The term integrates to zero over the periodic angle variable. Thus the first nonzero torque is quadratic in the perturbation. Use the Fourier series expansions of b; the source's reference here to part (a) is a numbering slip. Integrating the product over all three angle variables yields
Reality of the potential energy per unit mass gives ; likewise . Conjugate harmonics make the total torque real. The sum is over all integer vectors, so no extra factor of two should be inserted.
The probability density function is nonnegative and vanishes on negative lifetimes. Since , its normalization of a probability distribution is
It is an exponential distribution with rate per month.
The triangular support can be written , . The density is nonnegative there, and the normalization of a probability distribution requires
Hence . Multiplying the joint probability density by the required function cancels on the interior. Its expectation is
The singularity at lies at a support vertex of zero probability; the displayed integral establishes integrability. Assigning any value to the random function at that single vertex does not change the expectation.
Normalize the total channel density to one. For independent permissive gates in an ion channel, the probability that the gate is open is , and the probability that the gate is open is . The joint probability is the product of the appropriate open or closed probabilities, giving
In particular
The original PDF really prints , rather than , on the final factor. That expression fails normalization of a probability distribution and does not give the closed- probability at ; the displayed correction is necessary. If are literal densities with conserved total density , multiply each expression by .
The product additionally assumes initially independent events and independent gate transitions. The transition scheme alone permits initially correlated gates and does not force this factorization at every time. The all-closed initial preparation used below satisfies the required product assumption.
The exponential series proves normalization of a probability distribution:
Let and count the two labels. Conditional on , independent labeling gives a binomial distribution, so the joint probability mass function is
Each bracket is a normalized Poisson distribution. Summing over therefore gives
The factorization also proves that and are independent random variables. This is Poisson thinning; the phrase about ignoring the other count refers to taking a marginal distribution, rather than fixing that count.
Normalization of a probability distribution and the geometric series give , so . For a nonnegative integer , the strict tail starts at :
For nonnegative integers , the event is contained in . Therefore
This is the memorylessness of the geometric distribution with the zero-based counting convention. Keeping strict versus non-strict inequalities explicit is essential: , conditional on , has the original distribution of .
The probability of a positive delay is the integral of its density:
Adding the separate no-delay event gives
This is the normalization of a probability distribution with both discrete and continuous parts.
A probability density function must be nonnegative. The printed condition is therefore too weak: for the given prefactor makes the function negative everywhere. The location-scale form of the logistic distribution requires , which is assumed in the remaining parts.
Set , so . The normalization of a probability distribution follows from the antiderivative of the squared hyperbolic secant:
For completeness, the same expression with integrates to , since the transformed limits reverse. If a signed scale were desired, replacing its prefactor by would give a valid density, but that is a correction to the printed formula.
Let have the specified probability density function . Splitting the integral into the positive and negative half-lines, and using the Gamma integral for a nonnegative integer and , gives
At or , one term becomes the divergent integral of ; beyond these endpoints it grows exponentially. Consequently, the full extended-valued moment-generating function is
In particular , checking normalization of a probability distribution. All absolute moments exist. Direct integration yields
The symmetric distribution makes every odd moment zero, so
Now let have probability density function . Its moment-generating function would be
For every , one summand has exponential growth, which dominates the polynomial decay. Hence
There is no finite moment-generating function on any neighborhood of zero, but some moments still exist. Specifically,
Thus
For even , the moment is , so it is not a finite moment. For odd , both the positive and negative contributions have infinite integral, so the expected value is undefined. Cancellation in a Cauchy principal value does not define an expected value. In particular, when there are no finite positive-order moments.
Let have the Pareto distribution with probability density function for , and zero otherwise. Its normalization of a probability distribution and first two moments follow from
Set . Then
The probability distribution of is not a symmetric distribution: almost surely, whereas and . For we have , so
Thus has every property required.
For a Borel set , the joint probability density gives
For each , substitute . The change of variables for probability densities contributes , with the absolute value accounting for the reversed orientation when . The line has two-dimensional Lebesgue measure zero, so omitting it changes no probability. By the Tonelli theorem,
The bracket is nonnegative and its integral over is one. This proves the probability density of a product of random variables formula:
As usual, a probability density function is determined only almost everywhere; exceptional infinite values are harmless.
For the independent random variables with the specified uniform distribution, on and zero elsewhere. When , the conditions and are equivalent to . Therefore
The value assigned at zero is arbitrary. Substitution checks normalization of a probability distribution: . This is the product of independent uniform random variables law.
Write where , assigning zero elsewhere. The envelope ensures , and is nonnegative. Integrating its joint probability density over the auxiliary coordinate gives
Consequently . This proves normalization of a probability distribution; the change of integration order is justified by Tonelli's theorem.
The coordinates are generally dependent. For , their conditional probability density is
Thus has a uniform distribution on an interval whose endpoint depends on . They are independent exactly when is constant for -almost every , since only then do these conditional laws agree. In particular, is an exception: and are independent. An unconditional answer that they can never be independent would therefore be too strong.
The proposal's normalization of a probability distribution is
This is the Laplace distribution with location zero and scale one. For example, generate its magnitude from the exponential distribution with rate one and give it an independent fair sign. The target is the standard normal distribution, with .
To obtain the tight envelope, let . By completing the square,
Equality occurs at , so is the smallest valid envelope constant. It maximizes the acceptance probability for this fixed proposal. The supplied lower bound must be clipped at zero to satisfy the algorithm's nonnegativity requirement:
This is valid because for , while is everywhere positive. Its support is .
Here is the fully specified squeeze rejection sampling procedure. Draw with probability density function , independently draw , and compute and . If , return immediately. Otherwise evaluate , independently draw , and return if . On rejection restart with fresh draws. In this example everywhere, so the residual denominator is positive.
Avoiding a target evaluation means accepting at the first test. Its unconditional probability for one proposal is
For comparison, the overall acceptance probability is . The first-stage saving is the fraction of proposals requiring no target evaluation, including both eventual accepted and rejected proposals in the denominator; it is not conditional on acceptance.
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.