Conditional density Created 2026-10-05 Updated 2026-10-14
Where the marginal density is positive, a joint probability density determines the conditional density
It integrates to one in , and supplies conditional expectations by integrating against it. Its values on a probability-zero set of conditioning points are not fixed by the joint probability distribution.
For a fixed , the allowed interval is . Integrating the joint probability density over it gives the marginal density
For a fixed , the inequality is equivalent to . The other marginal density is therefore
As a normalization check, and .
Take as the rate of the exponential distribution. By independence, the joint probability density of the original pair is on . Put , . The inverse change of variables is
Its Jacobian determinant is
Using the absolute value in the change of variables formula, the transformed joint probability density is
and zero otherwise. The support is the entire positive quadrant, and the factors are separately normalized:
Integrating out either variable therefore yields these factors as the marginal densities. Factorization of the joint probability density proves independence, with
The sum has a shape-two gamma distribution, and the ratio has a beta-prime distribution with parameters one and one, independent of . Its cumulative distribution function is for .
Integrate the joint probability density over to obtain the marginal density of :
Thus has an exponential distribution of rate one. Dividing the joint probability density by this marginal density gives the conditional density
Equivalently, has an exponential distribution of rate . The value at can be assigned arbitrarily: it is a probability-zero conditioning value and the density ratio there is not meaningful.
Obtain each marginal density by integrating the joint probability density function over the other variable:
Each marginal density is zero off its displayed interval and has total integral one.
The support condition forces . As a check, the joint probability density integrates to
For any real , the marginal density of is
Dividing the joint probability density by this marginal density gives the conditional density:
Thus, conditionally on , has the rate-two exponential distribution.
For , use the two inverse branches and . Each branch has absolute Jacobian determinant . Both lie in the original support exactly when and . The change of variables for probability densities therefore yields
No atom of a measure is created at , since . The value of the probability density function at this boundary may be assigned arbitrarily. Checking the integral over gives , which integrates to one.