The cumulative distribution function isFor an absolutely continuous probability distribution, the probability density function is a nonnegative integrable function withThus interval probabilities are integrals of , and almost everywhere, in particular at continuity points of .
The word “continuous” in the source is understood in this density sense. A merely continuous cumulative distribution function need not possess a probability density function; it can instead describe a singular continuous distribution.
Since a square is nonnegative, for . For , the event is . As has no point masses,Differentiating for gives the contributions of the two inverse branches:The value assigned to the probability density function at is arbitrary. It can be unbounded near , but there is no atom there because . Both positive and negative preimages must be included; keeping just one would generally lose probability.
Reversing sign reverses the inequality. Since has a probability density function, it has no point masses, soDifferentiating the cumulative distribution function givesalmost everywhere: the minus sign outside cancels the minus sign from the chain rule. If point masses were allowed, the cumulative distribution function would instead require the left limit .
Translate the inequality inside the cumulative distribution function:Differentiating with the chain rule gives the probability density functionalmost everywhere. Translation shifts the probability distribution without changing its shape or its total probability.
For any real , put . Since is integer-valued,Continuity of the cumulative distribution function of therefore givesThe strict inequality matters before using the absence of point masses. The resulting probability distribution is discrete, with probability mass functionThus has no ordinary probability density function with respect to length on the real line. Its cumulative distribution function is a step function; its derivative is zero almost everywhere and does not recover its probabilities. The floor function has converted a density into masses on the integers.
Multiplying the beta distribution density by gives a constant multiple of the normalized density with parameters :Integrating and using the fact that the latter probability density function integrates to one givesThis is a normalization-ratio argument, requiring no explicit integration of the polynomial density.
For , the cumulative distribution function is zero. For , integrate the normalized probability density function:It is continuous at , increases to one, and is the cumulative distribution function of the stated Pareto distribution.
Call the normalization constant to distinguish it from the moment index used later. A probability density function must have total integral one, soTherefore , the value denoted in the density. This is the Pareto distribution with scale and shape .
Using the rate parameter convention for the exponential distribution, independence gives the joint probability density functionFor , the survival probability of the minimum isThus has exponential distribution with rate , andValues of a probability density function at the single endpoint do not affect the probability distribution.
Every cumulative distribution function is nondecreasing, right-continuous, valued in , and has limits at and at . For a continuous random variable it is continuous. When a probability density function exists, it is in fact absolutely continuous, with nonnegative derivative almost everywhere.
The cumulative distribution function is . In the absolutely continuous setting of a probability density function, the probability density function is a nonnegative integrable function satisfyingThus and almost everywhere. A merely continuous cumulative distribution function need not possess a probability density function; the density assumption means absolute continuity.
For a probability density function , the finite expected value isThe absolute integrability condition makes the signed integral unambiguous. One can also allow an extended expectation when exactly one of the positive and negative parts has infinite integral, obtaining or . If both parts have infinite integral, the expectation is undefined; subtracting two infinities is not a definition.
In the probability density function convention used here, a random variable has a nonnegative probability density function , with , such that for every Borel set ,In particular, its cumulative distribution function is and individual points have probability zero. More precisely, this property is the statement that the distribution is an absolutely continuous probability distribution; continuity of the cumulative distribution function alone is a weaker property and need not imply a probability density function.
Multiply the probability density function by and integrate over its support:The middle equality is the beta function integral with parameters and ; the last uses the recurrence for the gamma function. Both parameters are positive, so the integral converges. Equivalently, multiplying the beta distribution probability density function by converts its kernel to that of a beta distribution probability density function with its first parameter increased by one.[ref]
Write . Since , the map is increasing on , and for ,Differentiation givesand zero outside this interval. Since , this is exactly the beta distribution probability density function with parameters . The power transform of a uniform random variable therefore satisfies ; the second parameter does not depend on .
The cumulative distribution function is . This formula uses the assumed probability density function; the density itself need not be a continuous function.
Normalization of the probability density function requires . Hence . It is positive for the given , and the density is nonnegative, so this does define a probability distribution. It is a Pareto distribution with scale and shape .
Path tracing 2026-10-31
A Monte Carlo method for estimating light transport through random paths of successive surface interactions. A sampled continuation contributes its scattering response and cosine divided by its sampling probability density function. Next-event estimation makes direct source connections explicit, including connections to ideal point lights.
Photon-recoil lag correlation Created 2026-10-18 Updated 2026-10-20
A photon-recoil lag correlation asks how often a photon record occurs at a specified time displacement from an electron record. Let be observed separate-channel rates, the rate of detected genuine pairs before a timing cut, and their normalized timing probability density function. For an original dilute, stationary model with observation time , neglecting end effects and detector dead time, the expected pair density isThis counts all pairs of records, rather than at most one detector trigger per electron. It uses independent unrelated detections for the flat term and an added same-event contribution. A normal distribution for timing spread is a chosen approximation, not a claim about the historical instrument. Intrinsic emission delay, counter response and readout uncertainty can all affect the observed probability density function.
Define the accepted lag interval by : is its full width. Integrating the flat baseline gives the existing accidental coincidence expectation . The additional area is . Moving a window of the same full width away from the peak tests the baseline under the model's stationarity assumption. It does not remove correlated instrumental backgrounds or changing rates automatically.
Lag-dependent pairs and a joint probability distribution carry information absent from singles totals
. Original chosen models, not historical counts or fitted data. Left: a normalized normal distribution of genuine-pair lags with standard deviation is added to an independent-pair baseline. Shaded intervals have full width , centered at zero and . Right: a separate exact ideal-bin model ignores timing spread; the two populations have identical singles expectations but different joint expectations. Details.For the lag model, choose , , , and timing standard deviation . A full width gives expected accidental coincidences and accepted genuine pairs, using the error function. The total is approximately , whereas the displaced interval from to has approximately expected pairs. A finite sample fluctuates around these expectations; these values are not measured counts or a significance calculation.
The right panel isolates the information lost by retaining singles totals alone. In a separate idealized model, stipulate independent bins, with Bernoulli distribution indicators for electron and photon detection in a bin. Set and . Independence predicts , hence one expected double detection. Alternatively chooseThese nonnegative probabilities sum to one and preserve both marginal probabilities, yet predict double detections in expectation. Their covariance is . This is an exact joint probability distribution illustrating pairing; it does not model the timing spread in the left panel or reconstruct either historical hypothesis quantitatively. Its lesson is why two singles totals cannot decide whether the observed events share a cause.
Let the kernel for density estimation have integral one, be bounded and have compact support. For a probability density function with bounded derivative, assume , and . The bias of a kernel density estimator is , negligible on the scale. For , . The centered summands divided by are uniformly small, so the Lindeberg-Feller central limit theorem applies. The condition alone is insufficient: with and a compactly supported kernel, with probability tending to one no observation enters the kernel window, producing a degenerate limit at a point with positive density.
