5.1 Distribution of a Function of a Random Variable Theorem 5.1 (CDF Method). If Y = g ( X ) Y = g(X) Y = g ( X ) and g g g is monotone, then
F Y ( y ) = P ( g ( X ) ≤ y ) = { F X ( g − 1 ( y ) ) if g is i n c r e a s i n g 1 − F X ( g − 1 ( y ) ) if g is d e c r e a s i n g F_Y(y) = P(g(X) \leq y) = \begin{cases} F_X(g^{-1}(y)) & \text{if} g \text{ is} increasing \\ 1 - F_X(g^{-1}(y)) & \text{if} g \text{ is} decreasing \end{cases} F Y ( y ) = P ( g ( X ) ≤ y ) = { F X ( g − 1 ( y )) 1 − F X ( g − 1 ( y )) if g is in cr e a s in g if g is d ecr e a s in g
Theorem 5.2 (Change of Variables). If Y = g ( X ) Y = g(X) Y = g ( X ) where g g g is differentiable and strictly monotone, then
f Y ( y ) = f X ( g − 1 ( y ) ) ⋅ ∣ d d y g − 1 ( y ) ∣ f_Y(y) = f_X(g^{-1}(y)) \cdot \left|\frac{d}{dy} g^{-1}(y)\right| f Y ( y ) = f X ( g − 1 ( y )) ⋅ d y d g − 1 ( y )
Worked Example: Distribution of $X^2$ where $X \sim N(0, 1)$ Solution. Let Y = X 2 Y = X^2 Y = X 2 where X ∼ N ( 0 , 1 ) X \sim N(0, 1) X ∼ N ( 0 , 1 ) . For y ≥ 0 y \geq 0 y ≥ 0 :
F Y ( y ) = P ( X 2 ≤ y ) = P ( − y ≤ X ≤ y ) = Φ ( y ) − Φ ( − y ) = 2 Φ ( y ) − 1 F_Y(y) = P(X^2 \leq y) = P(-\sqrt{y} \leq X \leq \sqrt{y}) = \Phi(\sqrt{y}) - \Phi(-\sqrt{y}) = 2\Phi(\sqrt{y}) - 1 F Y ( y ) = P ( X 2 ≤ y ) = P ( − y ≤ X ≤ y ) = Φ ( y ) − Φ ( − y ) = 2Φ ( y ) − 1
f Y ( y ) = d d y [ 2 Φ ( y ) − 1 ] = 2 ϕ ( y ) ⋅ 1 2 y = 1 2 π y e − y / 2 f_Y(y) = \frac{d}{dy}[2\Phi(\sqrt{y}) - 1] = 2\phi(\sqrt{y}) \cdot \frac{1}{2\sqrt{y}} = \frac{1}{\sqrt{2\pi y}}\, e^{-y/2} f Y ( y ) = d y d [ 2Φ ( y ) − 1 ] = 2 ϕ ( y ) ⋅ 2 y 1 = 2 π y 1 e − y /2
This is the PDF of the χ 2 ( 1 ) \chi^2(1) χ 2 ( 1 ) distribution. ■ \blacksquare ■
5.2 Convolution Theorem 5.3. If X X X and Y Y Y are independent continuous random variables, the PDF of Z = X + Y Z = X + Y Z = X + Y is
f Z ( z ) = ( f X ∗ f Y ) ( z ) = ∫ − ∞ ∞ f X ( x ) f Y ( z − x ) d x f_Z(z) = (f_X * f_Y)(z) = \int_{-\infty}^{\infty} f_X(x)\, f_Y(z - x)\, dx f Z ( z ) = ( f X ∗ f Y ) ( z ) = ∫ − ∞ ∞ f X ( x ) f Y ( z − x ) d x
Proof. F Z ( z ) = P ( X + Y ≤ z ) = ∬ x + y ≤ z f X , Y ( x , y ) d x d y = ∫ − ∞ ∞ f X ( x ) [ ∫ − ∞ z − x f Y ( y ) d y ] d x = ∫ − ∞ ∞ f X ( x ) F Y ( z − x ) d x F_Z(z) = P(X + Y \leq z) = \iint_{x+y \leq z} f_{X,Y}(x, y)\, dx\, dy = \int_{-\infty}^{\infty} f_X(x)\left[\int_{-\infty}^{z-x} f_Y(y)\, dy\right] dx = \int_{-\infty}^{\infty} f_X(x)\, F_Y(z - x)\, dx F Z ( z ) = P ( X + Y ≤ z ) = ∬ x + y ≤ z f X , Y ( x , y ) d x d y = ∫ − ∞ ∞ f X ( x ) [ ∫ − ∞ z − x f Y ( y ) d y ] d x = ∫ − ∞ ∞ f X ( x ) F Y ( z − x ) d x .
Differentiating: f Z ( z ) = ∫ − ∞ ∞ f X ( x ) f Y ( z − x ) d x f_Z(z) = \int_{-\infty}^{\infty} f_X(x)\, f_Y(z - x)\, dx f Z ( z ) = ∫ − ∞ ∞ f X ( x ) f Y ( z − x ) d x . ■ \blacksquare ■
Corollary 5.4. The sum of independent normals is normal: if X ∼ N ( μ 1 , σ 1 2 ) X \sim N(\mu_1, \sigma_1^2) X ∼ N ( μ 1 , σ 1 2 ) and Y ∼ N ( μ 2 , σ 2 2 ) Y \sim N(\mu_2, \sigma_2^2) Y ∼ N ( μ 2 , σ 2 2 ) are independent, then X + Y ∼ N ( μ 1 + μ 2 , σ 1 2 + σ 2 2 ) X + Y \sim N(\mu_1 + \mu_2, \sigma_1^2 + \sigma_2^2) X + Y ∼ N ( μ 1 + μ 2 , σ 1 2 + σ 2 2 ) .
Proof. The convolution of two Gaussian PDFs is Gaussian. This follows from the MGF: M X + Y ( t ) = M X ( t ) M Y ( t ) = exp ( ( μ 1 + μ 2 ) t + ( σ 1 2 + σ 2 2 ) t 2 / 2 ) M_{X+Y}(t) = M_X(t)M_Y(t) = \exp((\mu_1 + \mu_2)t + (\sigma_1^2 + \sigma_2^2)t^2/2) M X + Y ( t ) = M X ( t ) M Y ( t ) = exp (( μ 1 + μ 2 ) t + ( σ 1 2 + σ 2 2 ) t 2 /2 ) Which is the MGF of N ( μ 1 + μ 2 , σ 1 2 + σ 2 2 ) N(\mu_1 + \mu_2, \sigma_1^2 + \sigma_2^2) N ( μ 1 + μ 2 , σ 1 2 + σ 2 2 ) . ■ \blacksquare ■
Common Pitfalls Confusing PDF and CDF. PDF f ( x ) f(x) f ( x ) : probability density; CDF F ( x ) = P ( X ≤ x ) = ∫ − ∞ x f ( t ) d t F(x) = P(X \leq x) = \int_{-\infty}^x f(t)\, dt F ( x ) = P ( X ≤ x ) = ∫ − ∞ x f ( t ) d t . Fix: F " ( x ) = f ( x ) F"(x) = f(x) F " ( x ) = f ( x ) ; P ( a < X < b ) = F ( b ) − F ( a ) P(a < X < b) = F(b) - F(a) P ( a < X < b ) = F ( b ) − F ( a ) .Wrong central limit theorem application. The CLT applies to the sample mean, not individual observations, and requires sufficiently large n n n . Fix: X ˉ n → d N ( μ , σ 2 / n ) \bar{X}_n \xrightarrow{d} N(\mu, \sigma^2/n) X ˉ n d N ( μ , σ 2 / n ) as n → ∞ n \to \infty n → ∞ .Confusing type I and type II errors. Type I: rejecting H 0 H_0 H 0 when it is true (α \alpha α ). Type II: failing to reject H 0 H_0 H 0 when it is false (β \beta β ). Fix: Type I = false positive; Type II = false negative. Decreasing one increases the other.Worked Examples Example 1: Normal distribution Problem. X ∼ N ( 100 , 15 2 ) X \sim N(100, 15^2) X ∼ N ( 100 , 1 5 2 ) . Find P ( X > 130 ) P(X > 130) P ( X > 130 ) .
Solution. Z = 130 − 100 15 = 2.0 Z = \frac{130 - 100}{15} = 2.0 Z = 15 130 − 100 = 2.0 . P ( X > 130 ) = P ( Z > 2 ) = 1 − Φ ( 2 ) ≈ 1 − 0.9772 = 0.0228 P(X > 130) = P(Z > 2) = 1 - \Phi(2) \approx 1 - 0.9772 = 0.0228 P ( X > 130 ) = P ( Z > 2 ) = 1 − Φ ( 2 ) ≈ 1 − 0.9772 = 0.0228 .
■ \blacksquare ■
Example 2: Hypothesis test Problem. Test H 0 : μ = 50 H_0: \mu = 50 H 0 : μ = 50 vs H 1 : μ > 50 H_1: \mu > 50 H 1 : μ > 50 given x ˉ = 53 \bar{x} = 53 x ˉ = 53 , s = 8 s = 8 s = 8 , n = 25 n = 25 n = 25 , α = 0.05 \alpha = 0.05 α = 0.05 .
Solution. t = 53 − 50 8 / 25 = 3 1.6 = 1.875 t = \frac{53 - 50}{8/\sqrt{25}} = \frac{3}{1.6} = 1.875 t = 8/ 25 53 − 50 = 1.6 3 = 1.875 . Critical value: t 0.05 , 24 = 1.711 t_{0.05, 24} = 1.711 t 0.05 , 24 = 1.711 . Since 1.875 > 1.711 1.875 > 1.711 1.875 > 1.711 , reject H 0 H_0 H 0 at the 5% level.
■ \blacksquare ■
Summary Continuous distributions: PDF integrates to 1; CDF gives cumulative probability. Normal distribution: X ∼ N ( μ , σ 2 ) X \sim N(\mu, \sigma^2) X ∼ N ( μ , σ 2 ) ; standardise: Z = ( X − μ ) / σ Z = (X - \mu)/\sigma Z = ( X − μ ) / σ . Central limit theorem: sample mean is approximately normal for large n n n . Hypothesis testing: state H 0 H_0 H 0 and H 1 H_1 H 1 , choose significance level, compute test statistic, compare with critical value. Cross-References Topic Site Link [Probability] A-Level View [Probability] IB View [Probability] DSE View [Probability] University View