Continuous-Type Random Variables and Their Distributions

Cumulative distribution functions as the universal description of a random variable; left and right limits, jumps, P{X<c} = F(c-) and P{X=c} = jump of F at c; the F.1–F.3 characterization of valid CDFs; discrete, continuous and mixed types; probability density functions, f = F', zero probability of single points, endpoint indifference, the epsilon f(u) interpretation of density; expectation, LOTUS, linearity and variance for continuous variables; the tail-integral formula E[Y] = int P{Y>y} dy and a proof of LOTUS; worked densities (quadratic densities, a heavy-tailed tube lifetime, scaling Y = 2X, E[e^X], stick breaking, optimal departure time via F(t*) = k/(k+c)); the uniform distribution, mean (a+b)/2, variance (b-a)^2/12, bus-stop waiting and Bertrand's paradox; the exponential distribution, moments n!/lambda^n, standard deviation equal to the mean, memorylessness and its uniqueness via the Cauchy functional equation, the post office and battery examples, the exponential as the limit of scaled geometric waits, hazard (failure) rate functions, F = 1 - exp(-int lambda), linear hazard and the Rayleigh law, and why doubling a death rate squares survival probabilities; the linear scaling rule for pdfs; the normal distribution, standardization and Φ, DeMoivre–Laplace and the continuity correction, with grading, paternity, channel, value-at-risk and polling examples; the Laplace, gamma (Erlang, chi-squared), Weibull, Cauchy, beta and Pareto distributions; and the CDF method and monotone change-of-variables theorem for Y = g(X), including the lognormal. Generating random variables and the area rule are still pending.

· 38 min read · 7,537 words

Motivation: from peanuts to peanut butter

Discrete random variables put their probability in lumps on countably many values, like peanuts. Many quantities of interest have uncountably many possible values, and their probability is spread out, like peanut butter. Examples are the time a train arrives, a transistor’s lifetime, or a measurement error.

For these, P{X=v}=0P\{X = v\} = 0 for every single vv, so a pmf is useless.

IntuitionThe central question

What single object describes the distribution of every random variable — discrete, continuous, or a mixture — and when probability is spread out rather than lumped, how do we describe it locally, compute expectations with it, and model the simplest continuous phenomena: a value with no preferred location in a range, and a waiting time that has no memory?

ObjectExists forDescribes
CDF FXF_Xevery random variableP{X≤c}P\{X\le c\}
pmf pXp_Xdiscrete typethe jumps of FXF_X
pdf fXf_Xcontinuous typethe slope of FXF_X
graph TD
  CDF["CDF: always exists"] -->|"jump sizes"| PMF["pmf: discrete type"]
  CDF -->|"derivative"| PDF["pdf: continuous type"]
  PMF -->|"sum up to c"| CDF
  PDF -->|"integrate up to c"| CDF

Cumulative distribution functions

DefinitionCumulative distribution function

For a random variable XX on (Ω,F,P)(\Omega,\mathcal F,P), the CDF is FX(c)=P{ω:X(ω)≤c}=P{X≤c},c∈R.F_X(c) = P\{\omega : X(\omega)\le c\} = P\{X\le c\},\qquad c\in\mathbb R. To be a random variable, XX must make every set {X≤c}\{X\le c\} an event (a member of F\mathcal F). Then FXF_X is always defined.

ComponentDetail
SignatureFX:R→[0,1]F_X : \mathbb R\to[0,1]
Domaina threshold cc, which need not be a possible value of XX
Codomainthe probability that XX is at most cc
DeterminesP{X∈A}P\{X\in A\} for every (measurable) set AA

DefinitionOne-sided limits and jumps

F(x−)=lim⁡y↑xF(y),F(x+)=lim⁡y↓xF(y),ΔF(x)=F(x)−F(x−).F(x-) = \lim_{y\uparrow x}F(y),\qquad F(x+) = \lim_{y\downarrow x}F(y), \qquad \Delta F(x) = F(x) - F(x-).

ExampleA fair die (Hajek)

FXF_X is a staircase with six jumps of size 16\frac16, at 1,…,61,\dots,6. At a jump the CDF takes its right-limit value: FX(1)=FX(1+)=16F_X(1) = F_X(1+) = \frac16 and FX(1−)=0F_X(1-) = 0.

PropositionProposition 3.1.2 — strict inequalities and point masses

P{X<c}=FX(c−),P{X=c}=ΔFX(c).P\{X < c\} = F_X(c-),\qquad P\{X = c\} = \Delta F_X(c).

ProofCountable additivity along an increasing sequence

Step 1: Approach cc from below. Take c1<c2<⋯→cc_1 < c_2 < \cdots\to c. Let G1={X≤c1}G_1 = \{X\le c_1\} and Gj={cj−1<X≤cj}G_j = \{c_{j-1} < X\le c_j\}. These are disjoint, {X≤cn}=G1∪⋯∪Gn\{X\le c_n\} = G_1\cup\cdots\cup G_n, and {X<c}=⋃jGj\{X < c\} = \bigcup_jG_j.

Step 2: Add. By Axiom P.2,

P{X<c}=∑jP(Gj)=lim⁡n∑k≤nP(Gk)=lim⁡nFX(cn)=FX(c−).P\{X < c\} = \sum_jP(G_j) = \lim_n\sum_{k\le n}P(G_k) = \lim_nF_X(c_n) = F_X(c-).

Step 3: Subtract. P{X=c}=P{X≤c}−P{X<c}=FX(c)−FX(c−)P\{X = c\} = P\{X\le c\} - P\{X < c\} = F_X(c) - F_X(c-).

This is continuity of probability (probability-foundations) applied to the events {X≤cn}↑{X<c}\{X\le c_n\}\uparrow\{X < c\}.

∎

FormulaInterval probabilities from the CDF

EventProbability
{a<X≤b}\{a < X\le b\}F(b)−F(a)F(b) - F(a)
{a≤X≤b}\{a\le X\le b\}F(b)−F(a−)F(b) - F(a-)
{a<X<b}\{a < X < b\}F(b−)−F(a)F(b-) - F(a)
{X≥c}\{X\ge c\}1−F(c−)1 - F(c-)
{X>c}\{X > c\}1−F(c)1 - F(c)

ExampleReading CDFs with jumps (Hajek)

One jump. FF rises to 0.5 just before 0, then jumps to 1 at 0. So P{X=0}=0.5P\{X = 0\} = 0.5 and no other point has positive mass. P{X≤0}=F(0)=1P\{X\le0\} = F(0) = 1, but P{X<0}=F(0−)=0.5P\{X < 0\} = F(0-) = 0.5.

Mixed CDF. FF climbs linearly from 0 at u=0u = 0 to 0.25 just before 5, jumps to 0.5 at 5, stays flat until 10, jumps to 0.75 at 10, then climbs to 1 by 15:

  • P{X≤1}=F(1)=0.05P\{X\le1\} = F(1) = 0.05;
  • P{X≤10}=F(10)=0.75P\{X\le10\} = F(10) = 0.75;
  • P{X≥10}=1−F(10−)=0.5P\{X\ge10\} = 1 - F(10-) = 0.5;
  • P{X=10}=ΔF(10)=0.25P\{X = 10\} = \Delta F(10) = 0.25;
  • P{∣X−5∣≤0.1}=F(5.1)−F(4.9−)=0.5−0.245=0.255P\{|X - 5|\le0.1\} = F(5.1) - F(4.9-) = 0.5 - 0.245 = 0.255. Most of this is the jump of 0.25 at 5.

ExampleReading a CDF with jumps and a ramp (Ross Ex. 10a)

F(x)=0F(x) = 0 for x<0x < 0; x2\frac x2 on [0,1)[0,1); 23\frac23 on [1,2)[1,2); 1112\frac{11}{12} on [2,3)[2,3); and 1 for x≥3x\ge3.

  • P{X<3}=F(3−)=1112P\{X < 3\} = F(3-) = \frac{11}{12};
  • P{X=1}=F(1)−F(1−)=23−12=16P\{X = 1\} = F(1) - F(1-) = \frac23 - \frac12 = \frac16;
  • P{X>12}=1−F(12)=34P\{X > \frac12\} = 1 - F(\frac12) = \frac34;
  • P{2<X≤4}=F(4)−F(2)=112P\{2 < X\le4\} = F(4) - F(2) = \frac1{12}.

TheoremProposition 3.1.5 — what makes a function a CDF

FF is the CDF of some random variable iff

  • F.1 FF is nondecreasing;
  • F.2 lim⁡c→+∞F(c)=1\lim_{c\to+\infty}F(c) = 1 and lim⁡c→−∞F(c)=0\lim_{c\to-\infty}F(c) = 0;
  • F.3 FF is right-continuous: F(c)=F(c+)F(c) = F(c+).
ProofThe “only if” direction via continuity of probability (Ross §4.10)

F.1: for a<ba < b, {X≤a}⊆{X≤b}\{X\le a\}\subseteq\{X\le b\}.

F.2: if bn↑∞b_n\uparrow\infty, the events {X≤bn}\{X\le b_n\} increase to {X<∞}=Ω\{X < \infty\} = \Omega, so F(bn)→1F(b_n)\to1. Symmetrically, if bn↓−∞b_n\downarrow-\infty they decrease to ∅\emptyset, so F(bn)→0F(b_n)\to0.

F.3: if bn↓bb_n\downarrow b, the events {X≤bn}\{X\le b_n\} decrease to {X≤b}\{X\le b\}, so F(bn)→F(b)F(b_n)\to F(b).

Each step is probability-foundations. The “if” direction, constructing a random variable with a given FF, is not proved in either source.

∎

ExampleSpotting invalid CDFs (Hajek)

Candidate functions fail in characteristic ways:

  • they decrease somewhere (violates F.1);
  • they don’t tend to 0 at −∞-\infty (violates F.2);
  • at a jump they take the left value rather than the right (violates F.3).

IntuitionWhy right-continuous?

F(c)F(c) is defined with "≤\le", so the mass at cc is included in F(c)F(c). Approaching from the right, the events {X≤c+1/n}\{X\le c + 1/n\} shrink down to {X≤c}\{X\le c\}, and continuity of probability gives F(c+)=F(c)F(c+) = F(c). From the left, the mass at cc is missing until you arrive.

Types of random variables

DefinitionDiscrete, continuous, mixed

  • Discrete type: countably many values carry all the probability. pX(u)=ΔFX(u)p_X(u) = \Delta F_X(u), FX(c)=∑u≤cpX(u)F_X(c) = \sum_{u\le c}p_X(u) (3.1), and FXF_X is piecewise constant.
  • Continuous type: FX(c)=∫−∞cfX(u) duF_X(c) = \int_{-\infty}^cf_X(u)\,du for some function fXf_X.
  • Mixed: neither, as in the mixed CDF example above (a continuous part plus jumps). Mixed variables still have CDFs.

Important“The distribution” means any equivalent description

A CDF, a pmf, a pdf, or a transform of one of these all carry the same information about XX alone. Pick whichever makes the problem easiest. For discrete variables, the pmf is usually more useful than the CDF.


Continuous-type random variables

DefinitionProbability density function (Hajek Def. 3.2.1; Ross eq. 1.1)

XX is continuous-type (Ross: absolutely continuous) if there is a function fX≥0f_X\ge0, the pdf, with

FX(c)=∫−∞cfX(u) dufor all c,equivalentlyP{X∈B}=∫BfX(x) dxF_X(c) = \int_{-\infty}^cf_X(u)\,du\quad\text{for all }c,\qquad \text{equivalently}\qquad P\{X\in B\} = \int_Bf_X(x)\,dx

for every measurable BB. The support is {u:fX(u)>0}\{u : f_X(u) > 0\}.

ComponentDetail
SignaturefX:R→[0,∞)f_X : \mathbb R\to[0,\infty)
Domaina point uu
Codomaina probability per unit length, which can exceed 1
NotP{X=u}P\{X = u\}, which is 0

TheoremBasic properties

  1. Density is slope: where fXf_X is continuous, fX=FX′f_X = F_X' (by the fundamental theorem of calculus).
  2. No point masses: FXF_X is continuous, so P{X=v}=0P\{X = v\} = 0 for every vv.
  3. Endpoints don’t matter: P{a<X≤b}=P{a≤X≤b}=P{a<X<b}=P{a≤X<b}=∫abfX.P\{a < X\le b\} = P\{a\le X\le b\} = P\{a < X < b\} = P\{a\le X < b\} = \int_a^bf_X.
  4. Normalization: fX≥0f_X\ge0 and ∫−∞∞fX=1\int_{-\infty}^\infty f_X = 1.

WarningZero-probability points still add up to 1

Every value has probability 0, yet XX takes some value. There is no contradiction: additivity (Axiom P.2) covers only countable unions, and the real line is uncountable (probability-foundations).

FormulaWhat density means

If fXf_X is continuous at u0u_0,

fX(u0)=lim⁡ϵ→0P{u0−ϵ2<X<u0+ϵ2}ϵ,P{u0−ϵ2<X<u0+ϵ2}=ϵfX(u0)+o(ϵ).(3.3–3.4)f_X(u_0) = \lim_{\epsilon\to0}\frac{P\{u_0 - \frac\epsilon2 < X < u_0 + \frac\epsilon2\}}\epsilon,\qquad P\Big\{u_0 - \frac\epsilon2 < X < u_0 + \frac\epsilon2\Big\} = \epsilon f_X(u_0) + o(\epsilon). \tag{3.3–3.4}

”f(x) dx≈P{x≤X≤x+dx}f(x)\,dx\approx P\{x\le X\le x + dx\}.” A large fX(u)f_X(u) means XX is likely to be near uu.

DerivationVia the symmetric derivative F(u0+h)−F(u0−h)2h=12[F(u0+h)−F(u0)h+F(u0−h)−F(u0)−h]→fX(u0).\frac{F(u_0 + h) - F(u_0 - h)}{2h} = \frac12\Big[\frac{F(u_0 + h) - F(u_0)}h + \frac{F(u_0 - h) - F(u_0)}{-h}\Big]\to f_X(u_0).

Set h=ϵ/2h = \epsilon/2.

WarningA density is not a probability

fXf_X can exceed 1. For example, uniform on [0,12][0,\frac12] has f≡2f\equiv2. What must be at most 1 is ∫Bf\int_Bf. Density has units of 1/(units of XX).

Expectation, LOTUS, variance

Replace sums by integrals and the pmf by the pdf:

FormulaMoments of a continuous random variable

E[X]=∫−∞∞ufX(u) du,E[g(X)]=∫−∞∞g(u)fX(u) du(LOTUS),E[X] = \int_{-\infty}^\infty uf_X(u)\,du,\qquad E[g(X)] = \int_{-\infty}^ \infty g(u)f_X(u)\,du\quad(\text{LOTUS}), Var(X)=E[(X−μX)2]=E[X2]−μX2,Var(g(X))=∫g2fX−(∫gfX)2.\mathrm{Var}(X) = E[(X - \mu_X)^2] = E[X^2] - \mu_X^2,\qquad \mathrm{Var}(g(X)) = \int g^2f_X - \Big(\int gf_X\Big)^2.

Linearity (E[aX2+bX+c]=aE[X2]+bE[X]+cE[aX^2 + bX + c] = aE[X^2] + bE[X] + c), Var(aX+b)=a2Var(X)\mathrm{Var}(aX + b) = a^2\mathrm{Var}(X), and standardization all carry over unchanged.

IntuitionWhy the integral is the right definition

f(x) dx≈P{x≤X≤x+dx}f(x)\,dx\approx P\{x\le X\le x + dx\}. So ∑x P{X=x}\sum x\,P\{X = x\} becomes ∫x f(x) dx\int x\,f(x)\,dx, a weighted average with infinitesimal weights.

LemmaTail-integral formula (Ross Lemma 2.1)

For a nonnegative random variable YY, E[Y]=∫0∞P{Y>y} dy.E[Y] = \int_0^\infty P\{Y > y\}\,dy.

ProofSwap the order of integration

For continuous YY with density fYf_Y,

∫0∞P{Y>y} dy=∫0∞∫y∞fY(x) dx dy=∫0∞(∫0xdy)fY(x) dx=∫0∞xfY(x) dx.\int_0^\infty P\{Y > y\}\,dy = \int_0^\infty\int_y^\infty f_Y(x)\,dx\,dy = \int_0^\infty\Big(\int_0^xdy\Big)f_Y(x)\,dx = \int_0^\infty xf_Y(x)\,dx.

∎

RemarkThe discrete version

For LL on {0,1,… }\{0,1,\dots\}, E[L]=∑k≥0P{L>k}E[L] = \sum_{k\ge0}P\{L > k\}. For a geometric LL this gives ∑k(1−p)k=1/p\sum_k(1-p)^k = 1/p, recovering the mean in discrete-random-variables-and-distributions.

ProofLOTUS for g≥0g\ge0, from the lemma (Ross) E[g(X)]=∫0∞P{g(X)>y} dy=∫0∞∫x: g(x)>yf(x) dx dy=∫x: g(x)>0(∫0g(x)dy)f(x) dx=∫g(x)f(x) dx.E[g(X)] = \int_0^\infty P\{g(X) > y\}\,dy = \int_0^\infty\int_{x:\,g(x) > y}f(x)\,dx\,dy = \int_{x:\,g(x) > 0}\Big(\int_0^{g(x)}dy\Big)f(x)\,dx = \int g(x)f(x)\,dx.

The general case splits gg into positive and negative parts.

∎

Worked densities

ExampleA symmetric quadratic density (Hajek)

fX(u)=A(1−u2)f_X(u) = A(1 - u^2) on [−1,1][-1,1].

  • Normalize: A[u−u33]−11=4A3=1A\big[u - \frac{u^3}3\big]_{-1}^1 = \frac{4A}3 = 1, so A=34A = \frac34.
  • Probability: integrate only over the part of [0.5,1.5][0.5,1.5] inside the support. P{0.5<X<1.5}=34[23−1124]=532P\{0.5 < X < 1.5\} = \frac34\big[\frac23 - \frac{11}{24}\big] = \frac5{32}.
  • CDF: FX(c)=0F_X(c) = 0 for c≤−1c\le-1, 2+3c−c34\frac{2 + 3c - c^3}4 on (−1,1)(-1,1), and 11 for c≥1c\ge1.
  • Moments: ufX(u)uf_X(u) is odd, so μ=0\mu = 0. E[X2]=34∫−11(u2−u4) du=0.2E[X^2] = \frac34\int_{-1}^1(u^2 - u^4)\,du = 0.2, so Var(X)=0.2\mathrm{Var}(X) = 0.2 and σ≈0.45\sigma\approx0.45.

ExampleA quadratic density on (0,2)(0,2), and a linear one (Ross)

  • f(x)=C(4x−2x2)f(x) = C(4x - 2x^2) on (0,2)(0,2): C⋅83=1C\cdot\frac83 = 1 gives C=38C = \frac38, and P{X>1}=12P\{X > 1\} = \frac12 (by symmetry about 1).
  • f(x)=2xf(x) = 2x on [0,1][0,1]: E[X]=∫2x2=23E[X] = \int2x^2 = \frac23, E[X2]=12E[X^2] = \frac12, Var(X)=12−49=118\mathrm{Var}(X) = \frac12 - \frac49 = \frac1{18}.

ExampleContinuous lifetimes, binomial counts (Ross)

A radio tube’s lifetime has density f(x)=100/x2f(x) = 100/x^2 for x>100x > 100. Each tube fails by hour 150 with probability ∫100150100x−2 dx=13\int_{100}^{150}100x^{-2}\,dx = \frac13. With 5 tubes failing independently,

P(exactly 2 replaced)=(52)(13)2(23)3=80243.P(\text{exactly 2 replaced}) = \binom52\Big(\frac13\Big)^2\Big(\frac23 \Big)^3 = \frac{80}{243}.

(This density’s mean is infinite: ∫100∞x⋅100x−2 dx\int_{100}^\infty x\cdot100x^{-2}\,dx diverges. That observation is mine: it is the Pareto distribution with λ=1\lambda = 1, a=100a = 100; see Pareto distribution.)

ExampleThe density of Y=2XY = 2X, two ways (Ross)

Via the CDF: FY(a)=P{X≤a/2}=FX(a/2)F_Y(a) = P\{X\le a/2\} = F_X(a/2), so fY(a)=12fX(a/2)f_Y(a) = \frac12f_X(a/2).

Via the density interpretation: ϵfY(a)≈P{a−ϵ2≤2X≤a+ϵ2}=P{a2−ϵ4≤X≤a2+ϵ4}≈ϵ2fX(a/2)\epsilon f_Y(a)\approx P\{a - \frac\epsilon2\le2X\le a + \frac\epsilon2\} = P\{\frac a2 - \frac\epsilon4 \le X\le\frac a2 + \frac\epsilon4\}\approx\frac\epsilon2f_X(a/2).

Stretching the variable by 2 halves the density, so the total area stays 1.

ExampleE[eX]E[e^X] for XX uniform on (0,1)(0,1), two ways (Ross)

Find the distribution of Y=eXY = e^X: FY(x)=P{X≤log⁡x}=log⁡xF_Y(x) = P\{X\le\log x\} = \log x on [1,e][1,e], so fY=1/xf_Y = 1/x and E[Y]=∫1e dx=e−1E[Y] = \int_1^e\,dx = e - 1.

LOTUS: ∫01ex dx=e−1\int_0^1e^x\,dx = e - 1. Same answer, less work.

ExampleWhich piece contains the point pp? (Ross)

A unit stick is broken at a uniform point UU. The piece containing pp has length 1−U1 - U if U<pU < p and UU if U>pU > p: E[Lp(U)]=∫0p(1−u) du+∫p1u du=12+p(1−p).E[L_p(U)] = \int_0^p(1 - u)\,du + \int_p^1u\,du = \frac12 + p(1 - p). This is maximized (34\frac34) at p=12p = \frac12. The piece containing a given point tends to be the longer one, another size-bias effect.

ExampleWhen to leave for an appointment (Ross)

Arriving ss minutes early costs cscs, and ss minutes late costs ksks. The travel time XX has density ff and CDF FF. Leaving tt minutes ahead gives

ddtE[Ct(X)]=(k+c)F(t)−k=0  ⇒  F(t∗)=kk+c.\frac d{dt}E[C_t(X)] = (k + c)F(t) - k = 0\;\Rightarrow\;F(t^*) = \frac k{k+c}.

Leave at the kk+c\frac k{k+c} quantile of travel time. This is the continuous version of the newsvendor’s critical ratio in discrete-random-variables-and-distributions: when lateness is costly, leave early.


Uniform distribution

DefinitionUniform[a,b][a,b]

fX(u)={1b−aa≤u≤b0elseFX(c)={0c≤ac−ab−aa<c<b1c≥b.f_X(u) = \begin{cases}\frac1{b-a} & a\le u\le b\\ 0 &\text{else}\end{cases} \qquad F_X(c) = \begin{cases}0 & c\le a\\ \frac{c-a}{b-a} & a < c < b\\ 1 & c\ge b.\end{cases}

“No preference within the range”: the probability of any subinterval equals its length divided by b−ab - a.

TheoremMoments

E[X]=a+b2,E[X2]=a2+ab+b23,Var(X)=(b−a)212.E[X] = \frac{a+b}2,\qquad E[X^2] = \frac{a^2 + ab + b^2}3,\qquad \mathrm{Var}(X) = \frac{(b-a)^2}{12}.

For U∼U\sim Uniform[0,1][0,1]: E[Uk]=1k+1E[U^k] = \frac1{k+1} and Var(U)=112\mathrm{Var}(U) = \frac1{12}.

DerivationFactor differences of powers

E[X]=b2−a22(b−a)=a+b2E[X] = \frac{b^2 - a^2}{2(b-a)} = \frac{a+b}2 and E[X2]=b3−a33(b−a)=a2+ab+b23E[X^2] = \frac{b^3 - a^3}{3(b-a)} = \frac{a^2 + ab + b^2}3. Subtract (a+b2)2\big(\frac{a+b}2\big)^2 to get (a−b)212\frac{(a-b)^2}{12}.

IntuitionMean at the midpoint, spread as length squared

The balance point is the center. The variance scales with the square of the interval’s length, as it must, since variance has squared units.

ExampleUniform on (0,10)(0,10) (Ross)

P{X<3}=.3P\{X < 3\} = .3, P{X>6}=.4P\{X > 6\} = .4, P{3<X<8}=.5P\{3 < X < 8\} = .5: each is just the length divided by 10.

ExampleWaiting for a bus (Ross)

Buses come at 7:00, 7:15, 7:30. A passenger arrives at a time uniform on (0, 30) minutes past 7.

  • Waits under 5 minutes iff arriving in (10,15) or (25,30): probability 1030=13\frac{10}{30} = \frac13.
  • Waits over 10 minutes iff arriving in (0,5) or (15,20): probability 13\frac13.

ExampleBertrand’s paradox (Ross)

What is the probability that a random chord of a circle of radius rr is longer than the side of the inscribed equilateral triangle?

  • Uniform distance from the center on [0,r][0,r]: the chord is long iff the distance is less than r/2r/2. Probability 12\frac12.
  • Uniform angle with the tangent on [0∘,180∘][0^\circ,180^\circ]: the chord is long iff the angle is in (60∘,120∘)(60^\circ,120^\circ). Probability 13\frac13.

Both describe physical experiments: throwing a disk onto a table ruled with lines 2r2r apart gives 12\frac12, and spinning a needle about a point on the rim gives 13\frac13.

Important“Random” must say what is uniform

A uniform distribution is uniform in some parameterization, and different parameterizations give different answers. As with the two-child puzzle (conditional-probability-and-independence), the problem is underspecified until the sampling mechanism is stated.


Exponential distribution

DefinitionExponential(λ)(\lambda)

For a rate λ>0\lambda > 0:

fT(t)=λe−λt (t≥0),FT(t)=1−e−λt (t≥0),FTc(t)=P{T>t}=e−λt.f_T(t) = \lambda e^{-\lambda t}\ (t\ge0),\qquad F_T(t) = 1 - e^{-\lambda t} \ (t\ge0),\qquad F_T^c(t) = P\{T > t\} = e^{-\lambda t}.

The pdf starts at height λ\lambda and decays at rate λ\lambda. A larger rate concentrates mass nearer 0.

ComponentDetail
Parameterrate λ\lambda (events per unit time)
Complementary CDFe−λte^{-\lambda t}, the survival probability
Typical usetime until an event that occurs “at random”: an earthquake, a failure, a call ending

TheoremMoments

E[Tn]=nλE[Tn−1]=n!λn,E[T]=1λ,Var(T)=1λ2,σT=1λ=E[T].E[T^n] = \frac n\lambda E[T^{n-1}] = \frac{n!}{\lambda^n},\qquad E[T] = \frac1\lambda,\qquad \mathrm{Var}(T) = \frac1{\lambda^2},\qquad \sigma_T = \frac1\lambda = E[T].
DerivationIntegration by parts E[Tn]=∫0∞tnλe−λt dt=[−tne−λt]0∞+∫0∞ntn−1e−λt dt=nλE[Tn−1].E[T^n] = \int_0^\infty t^n\lambda e^{-\lambda t}\,dt = \big[-t^ne^{-\lambda t}\big]_0^\infty + \int_0^\infty nt^{n-1}e^{-\lambda t}\,dt = \frac n\lambda E[T^{n-1}].

Then use induction from E[T0]=1E[T^0] = 1.

ImportantStandard deviation equals the mean

This mirrors the geometric distribution, whose σ\sigma is close to its mean when pp is small. Waiting times without memory are as unpredictable as they are long.

ExampleExponential computations

  • Half-life (Hajek): λ=ln⁡2\lambda = \ln2 gives P{T≥t}=2−tP\{T\ge t\} = 2^{-t}, and P(T≤1∣T≤2)=1−121−14=23.P(T\le1\mid T\le2) = \frac{1 - \frac12}{1 - \frac14} = \frac23.
  • Phone booth (Ross): a call lasts Exponential(110\frac1{10}) minutes. P{wait>10}=e−1≈.368P\{\text{wait} > 10\} = e^{-1}\approx.368 and P{10<wait<20}=e−1−e−2≈.233P\{10 < \text{wait} < 20\} = e^{-1} - e^{-2}\approx.233.
  • Computer lifetime (Ross): the density λe−x/100\lambda e^{-x/100} forces λ=1100\lambda = \frac1{100}. Then P{50<X<150}=e−1/2−e−3/2≈.383P\{50 < X < 150\} = e^{-1/2} - e^{-3/2} \approx.383 and P{X<100}=1−e−1≈.632P\{X < 100\} = 1 - e^{-1}\approx.632.

IntuitionMost lifetimes are shorter than the mean

P{T<E[T]}=1−e−1≈63%P\{T < E[T]\} = 1 - e^{-1}\approx63\% for every exponential. The median is ln⁡2λ≈0.69/λ\frac{\ln2}\lambda\approx0.69/\lambda. (The median formula is mine.) The long right tail pulls the mean above the typical value.

Memorylessness

TheoremMemoryless property

For s,t≥0s, t\ge0:

P(T>s+t∣T>s)=P{T>t},equivalentlyP{T>s+t}=P{T>s}P{T>t}.(5.1–5.2)P(T > s + t\mid T > s) = P\{T > t\},\qquad\text{equivalently}\qquad P\{T > s + t\} = P\{T > s\}P\{T > t\}. \tag{5.1–5.2}
ProofRatio of survival functions

{T>s+t}⊆{T>s}\{T > s + t\}\subseteq\{T > s\}, so the conditional probability is e−λ(s+t)e−λs=e−λt.\frac{e^{-\lambda(s+t)}}{e^{-\lambda s}} = e^{-\lambda t}.

∎

IntuitionA working component is as good as new

If a component has survived to age ss, its remaining life has the same distribution as a brand-new one’s. You don’t need to know its age.

TheoremOnly the exponential is memoryless (Ross)

If a nonnegative continuous XX is memoryless, then XX is exponential.

ProofCauchy’s functional equation

Step 1: Set up the equation. g(x)=P{X>x}g(x) = P\{X > x\} satisfies g(s+t)=g(s)g(t)g(s + t) = g(s)g(t) by (5.2).

Step 2: Rationals. g(1)=g(1/n)ng(1) = g(1/n)^n, so g(1/n)=g(1)1/ng(1/n) = g(1)^{1/n} and g(m/n)=g(1)m/ng(m/n) = g(1)^{m/n}.

Step 3: Extend to all xx. gg is right-continuous (a survival function), so g(x)=g(1)xg(x) = g(1)^x for all x≥0x\ge0.

Step 4: Write as an exponential. g(1)=g(12)2≥0g(1) = g(\tfrac12)^2\ge0, so g(x)=e−λxg(x) = e^{-\lambda x} with λ=−log⁡g(1)\lambda = -\log g(1). This is the exponential survival function.

∎

ExampleThe post office (Ross)

Smith waits while Jones and Brown are each being served, with exponential service times of the same rate. What is the probability that Smith leaves last? 12\frac12. When one of the others leaves, Smith starts service. By memorylessness, the remaining customer’s remaining time is a fresh exponential, identical in distribution to Smith’s. By symmetry, each finishes first with probability 12\frac12.

ExampleThe battery and the 5000-mile trip (Ross)

Battery life is exponential with mean 10,000 miles. The chance of completing a 5000-mile trip is e−5000/10000=e−1/2≈.607e^{-5000/10000} = e^{-1/2}\approx.607, whatever the battery’s age. For a non-exponential life distribution you would need the current mileage tt: 1−F(t+5)1−F(t).\frac{1 - F(t + 5)}{1 - F(t)}.

The exponential as a limit of geometrics

TheoremScaled geometric waits converge to the exponential (Hajek)

A clock ticks every hh seconds. A bulb fails at each tick with probability p=λhp = \lambda h. The number of ticks LhL_h is geometric(λh)(\lambda h), and the failure time is Th=hLhT_h = hL_h. Then for every c≥0c\ge0,

P{Th>c}=(1−λh)⌊c/h⌋  →h→0  e−λc.P\{T_h > c\} = (1 - \lambda h)^{\lfloor c/h\rfloor}\;\xrightarrow[h\to0] {}\;e^{-\lambda c}.

So ThT_h converges in distribution to Exponential(λ)(\lambda).

ProofCompound-interest limit

Step 1: P{Th>c}=P{Lh>⌊c/h⌋}=(1−λh)⌊c/h⌋P\{T_h > c\} = P\{L_h > \lfloor c/h\rfloor\} = (1 - \lambda h)^{\lfloor c/h\rfloor} by the geometric tail (2.8).

Step 2: (1−λh)1/h→e−λ(1 - \lambda h)^{1/h}\to e^{-\lambda} (from (1−λ/n)n→e−λ(1 - \lambda/n)^n\to e^{-\lambda}), so (1−λh)c/h→e−λc(1 - \lambda h)^{c/h}\to e^{-\lambda c}.

Step 3: the floor doesn’t matter, since 1≥(1−λh)c/h/(1−λh)⌊c/h⌋≥1−λh→11\ge(1 - \lambda h)^{c/h}/(1 - \lambda h)^{\lfloor c/h\rfloor}\ge1 - \lambda h\to1.

∎

IntuitionContinuous time is fine-grained discrete time

Memoryless in discrete time (geometric) becomes memoryless in continuous time (exponential). The per-tick probability λh\lambda h becomes a rate λ\lambda. This is also why simulations can approximate exponential times by a small time step.

Hazard (failure) rate functions

DefinitionHazard rate (Ross §5.5.1)

For a positive continuous lifetime XX with CDF FF and density ff: λ(t)=f(t)Fˉ(t),Fˉ=1−F.\lambda(t) = \frac{f(t)}{\bar F(t)},\qquad \bar F = 1 - F. Then P{X∈(t,t+dt)∣X>t}≈λ(t) dtP\{X\in(t, t + dt)\mid X > t\}\approx\lambda(t)\,dt: the conditional failure intensity of a tt-unit-old item.

ComponentDetail
Signatureλ:[0,∞)→[0,∞)\lambda : [0,\infty)\to[0,\infty)
Domainan age tt
Codomainfailure probability per unit time, given survival to tt
Discrete analogueh(k)=P(L=k∣L≥k)h(k) = P(L = k\mid L\ge k) (discrete-random-variables-and-distributions)

TheoremThe hazard determines the distribution

F(t)=1−exp⁡{−∫0tλ(s) ds}.(5.4)F(t) = 1 - \exp\Big\{-\int_0^t\lambda(s)\,ds\Big\}. \tag{5.4}

ProofIntegrate a logarithmic derivative

λ(s)=f(s)1−F(s)=−ddslog⁡(1−F(s))\lambda(s) = \frac{f(s)}{1 - F(s)} = -\frac d{ds}\log(1 - F(s)). So ∫0tλ=−log⁡(1−F(t))\int_0^t\lambda = -\log(1 - F(t)), using F(0)=0F(0) = 0. Exponentiate.

∎

TheoremConstant hazard ⟺ exponential ⟺ memoryless

  • The exponential has λ(t)=λe−λte−λt=λ\lambda(t) = \frac{\lambda e^{-\lambda t}} {e^{-\lambda t}} = \lambda, which is why λ\lambda is called the rate.
  • Conversely, a constant hazard cc gives F(t)=1−e−ctF(t) = 1 - e^{-ct} by (5.4).
  • A memoryless lifetime must have the same remaining-life distribution at every age, hence a constant hazard, hence it is exponential. This is a second proof of uniqueness.

ExampleLinear hazard gives the Rayleigh law (Ross)

λ(t)=a+bt\lambda(t) = a + bt gives F(t)=1−e−at−bt2/2F(t) = 1 - e^{-at - bt^2/2} and f(t)=(a+bt)e−(at+bt2/2)f(t) = (a + bt)e^{-(at + bt^2/2)}. With a=0a = 0 this is the Rayleigh density. An increasing hazard models wear-out.

Example“Smokers die at twice the rate” (Ross)

Suppose λs(t)=2λn(t)\lambda_s(t) = 2\lambda_n(t) at every age. The survival probability from age AA to BB is exp⁡{−∫ABλ}\exp\{-\int_A^B\lambda\}, so

P(smoker survives A→B)=[P(nonsmoker survives A→B)]2.P(\text{smoker survives }A\to B) = \big[P(\text{nonsmoker survives }A\to B)\big]^2.

Survival is squared, not halved. With λn=130\lambda_n = \frac1{30} on ages 50–60: nonsmoker e−1/3≈.7165e^{-1/3}\approx.7165, smoker e−2/3≈.5134e^{-2/3}\approx.5134.

IntuitionHazards add in the exponent

Doubling a rate doubles the integrated hazard, which squares the survival probability. Rates compose multiplicatively on survival, just as independent series components multiply their survival probabilities.


Linear scaling of pdfs and the Gaussian distribution

Linear scaling of pdfs

TheoremDensity of aX+baX + b

If XX has density fXf_X and a≠0a\ne0, then Y=aX+bY = aX + b has density fY(y)=1∣a∣fX(y−ba).f_Y(y) = \frac1{|a|}f_X\Big(\frac{y - b}a\Big).

ProofThrough the CDF

a>0a > 0: FY(y)=P{X≤y−ba}=FX(y−ba)F_Y(y) = P\{X\le\frac{y-b}a\} = F_X\big(\frac{y-b}a\big). Differentiate.

a<0a < 0: the inequality flips, so FY(y)=P{X≥y−ba}=1−FX(y−ba)F_Y(y) = P\{X\ge\frac{y-b}a\} = 1 - F_X\big(\frac{y-b}a\big), and differentiating gives −1afX(⋅)=1∣a∣fX(⋅)-\frac1af_X(\cdot) = \frac1{|a|}f_X(\cdot).

This is also the monotone case of the change-of-variables theorem (Functions of a random variable).

∎

IntuitionShift slides the graph; scale stretches and flattens it

Adding bb slides the density sideways. Multiplying by aa stretches it horizontally by ∣a∣|a| and divides its height by ∣a∣|a|, so the area stays 1. The Y=2XY = 2X example above is the case a=2a = 2, b=0b = 0.

NoteTODO — Hajek’s presentation

Hajek’s own section on scaling pdfs is not yet in sources/. The result above is from Ross §5.4 and §5.7.

The normal (Gaussian) distribution

DefinitionNormal(μ,σ2)(\mu,\sigma^2)

f(x)=12π σe−(x−μ)2/2σ2,−∞<x<∞.f(x) = \frac1{\sqrt{2\pi}\,\sigma}e^{-(x-\mu)^2/2\sigma^2},\qquad -\infty < x < \infty.

A bell curve symmetric about μ\mu. Standard normal ZZ: μ=0\mu = 0, σ=1\sigma = 1.

ProofIt integrates to 1: the polar-coordinates trick

Step 1: Standardize. Substituting y=(x−μ)/σy = (x-\mu)/\sigma, it suffices to show I=∫e−y2/2dy=2πI = \int e^{-y^2/2}dy = \sqrt{2\pi}.

Step 2: Square it. I2=∬e−(x2+y2)/2 dx dyI^2 = \iint e^{-(x^2+y^2)/2}\,dx\,dy.

Step 3: Go polar. With dx dy=r dr dθdx\,dy = r\,dr\,d\theta,

I2=∫0∞∫02πe−r2/2r dθ dr=2π[−e−r2/2]0∞=2π.I^2 = \int_0^\infty\int_0^{2\pi}e^{-r^2/2}r\,d\theta\,dr = 2\pi\big[-e^{-r^2/2} \big]_0^\infty = 2\pi.

The key step: a one-dimensional integral with no elementary antiderivative becomes an easy two-dimensional one.

∎

TheoremLinear transformations stay normal

If X∼N(μ,σ2)X\sim N(\mu,\sigma^2), then aX+b∼N(aμ+b, a2σ2)aX + b\sim N(a\mu + b,\,a^2\sigma^2). In particular Z=(X−μ)/σ∼N(0,1)Z = (X - \mu)/\sigma\sim N(0,1).

ProofApply the scaling rule

For a>0a > 0, fY(x)=1afX(x−ba)=12πaσexp⁡{−(x−b−aμ)2/2(aσ)2}f_Y(x) = \frac1af_X\big(\frac{x-b}a\big) = \frac1{\sqrt{2\pi}a\sigma}\exp\{-(x - b - a\mu)^2/2(a\sigma)^2\}, which is the N(aμ+b,a2σ2)N(a\mu + b, a^2\sigma^2) density. a<0a < 0 is similar.

∎

TheoremThe parameters are the mean and variance

E[Z]=0,Var(Z)=1;E[X]=μ,Var(X)=σ2.E[Z] = 0,\quad\mathrm{Var}(Z) = 1;\qquad E[X] = \mu,\quad\mathrm{Var}(X) = \sigma^2.
ProofOdd integrand, then integration by parts

E[Z]=12π∫xe−x2/2dx=[−12πe−x2/2]−∞∞=0E[Z] = \frac1{\sqrt{2\pi}}\int xe^{-x^2/2}dx = \big[-\frac1{\sqrt{2\pi}} e^{-x^2/2}\big]_{-\infty}^\infty = 0.

Var(Z)=12π∫x⋅xe−x2/2dx\mathrm{Var}(Z) = \frac1{\sqrt{2\pi}}\int x\cdot xe^{-x^2/2}dx. By parts with u=xu = x, dv=xe−x2/2dxdv = xe^{-x^2/2}dx, this is 12π∫e−x2/2dx=1\frac1{\sqrt{2\pi}}\int e^{-x^2/2}dx = 1.

Then X=μ+σZX = \mu + \sigma Z gives E[X]=μE[X] = \mu and Var(X)=σ2\mathrm{Var}(X) = \sigma^2.

∎

DefinitionThe standard normal CDF Φ\Phi

Φ(x)=12π∫−∞xe−y2/2dy,Φ(−x)=1−Φ(x) (by symmetry),FX(a)=Φ(a−μσ).\Phi(x) = \frac1{\sqrt{2\pi}}\int_{-\infty}^xe^{-y^2/2}dy,\qquad \Phi(-x) = 1 - \Phi(x)\ \text{(by symmetry)},\qquad F_X(a) = \Phi\Big(\frac{a - \mu} \sigma\Big).

Φ\Phi has no closed form. Use a table, a calculator or software.

xx0.51.01.51.6452.02.332.53.0
Φ(x)\Phi(x).6915.8413.9332.95.9772.99.9938.9987
ComponentDetail
SignatureΦ:R→(0,1)\Phi : \mathbb R\to(0,1)
Domaina number of standard deviations
Codomainthe probability that a standard normal falls below it
Useevery normal probability, after standardizing

ExampleStandardize, then look up (Ross)

X∼N(3,9)X\sim N(3, 9), so σ=3\sigma = 3:

  • P{2<X<5}=Φ(23)−Φ(−13)=Φ(23)−1+Φ(13)≈.3779P\{2 < X < 5\} = \Phi(\frac23) - \Phi(-\frac13) = \Phi(\frac23) - 1 + \Phi(\frac13)\approx.3779;
  • P{X>0}=P{Z>−1}=Φ(1)≈.8413P\{X > 0\} = P\{Z > -1\} = \Phi(1)\approx.8413;
  • P{∣X−3∣>6}=P{∣Z∣>2}=2[1−Φ(2)]≈.0456P\{|X - 3| > 6\} = P\{|Z| > 2\} = 2[1 - \Phi(2)]\approx.0456.

ExampleGrading on the curve (Ross)

With A above μ+σ\mu + \sigma, B in (μ,μ+σ)(\mu,\mu+\sigma), C in (μ−σ,μ)(\mu - \sigma,\mu), D in (μ−2σ,μ−σ)(\mu - 2\sigma,\mu - \sigma) and F below:

GradeABCDF
share.1587.3413.3413.1359.0228

About 16%, 34%, 34%, 14% and 2%. Equivalently, about 68% of a normal lies within 1σ1\sigma of the mean and about 95% within 2σ2\sigma.

ExampleNormal models in practice (Ross)

  • Paternity case: gestation is N(270,100)N(270, 100) days. The defendant was away from 290 to 240 days before the birth. If he is the father, the gestation was over 290 or under 240 days: 1−Φ(2)+1−Φ(3)≈.02411 - \Phi(2) + 1 - \Phi(3)\approx.0241.
  • Noisy binary channel: send +2+2 for 1 and −2-2 for 0, receive R=x+NR = x + N with N∼N(0,1)N\sim N(0,1), and decode 1 iff R≥.5R\ge.5. P(error∣1)=P{N<−1.5}≈.0668P(\text{error}\mid1) = P\{N < -1.5\}\approx.0668 and P(error∣0)=P{N≥2.5}≈.0062P(\text{error}\mid0) = P\{N\ge2.5\}\approx.0062.
  • Value at risk: the VAR is the loss ν\nu exceeded with only 1% probability. For a normal gain X∼N(μ,σ2)X\sim N(\mu,\sigma^2), .01=1−Φ(ν+μσ).01 = 1 - \Phi\big(\frac{\nu+\mu}\sigma\big) gives ν=2.33σ−μ\nu = 2.33\sigma - \mu. Among normal investments, the smallest VAR belongs to the one with the largest μ−2.33σ\mu - 2.33\sigma.

The DeMoivre–Laplace limit theorem

TheoremNormal approximation to the binomial

If SnS_n is binomial(n,p)(n,p), then for any a<ba < b,

P{a≤Sn−npnp(1−p)≤b}  →  Φ(b)−Φ(a)(n→∞).P\Big\{a\le\frac{S_n - np}{\sqrt{np(1-p)}}\le b\Big\}\;\to\;\Phi(b) - \Phi(a)\qquad(n\to\infty).

NoteProof deferred

This is a special case of the central limit theorem (concentration-inequalities-and-limit-theorems), and Ross does not prove it separately. DeMoivre proved the p=12p = \frac12 case in 1733, and Laplace extended it in 1812.

ImportantTwo approximations to the binomial

RegimeApproximation
nn large, pp small, npnp moderatePoisson(np)(np) (discrete-random-variables-and-distributions)
np(1−p)np(1-p) large (Ross: ≥10\ge10)Normal(np, np(1−p))(np,\,np(1-p))

DefinitionContinuity correction

A binomial is integer-valued, so before approximating write P{X=i}=P{i−12<X<i+12}P\{X = i\} = P\{i - \frac12 < X < i + \frac12\} and P{X≥i}=P{X≥i−12}P\{X\ge i\} = P\{X\ge i - \frac12\}.

ExampleThe approximation at work (Ross)

  • 20 heads in 40 fair flips: the normal approximation gives Φ(.16)−Φ(−.16)≈.1272\Phi(.16) - \Phi(-.16)\approx.1272. Exact: (4020)2−40≈.1254\binom{40}{20}2^{-40}\approx.1254.
  • Admissions: 450 are accepted and each attends with probability .3. P(more than 150 attend)=P{X≥150.5}≈1−Φ(1.59)≈.0559P(\text{more than 150 attend}) = P\{X\ge150.5\}\approx1 - \Phi(1.59) \approx.0559.
  • A useless diet: each of 100 people’s cholesterol drops with probability 12\frac12 by chance. P(≥65 drop)=P{X≥64.5}≈1−Φ(2.9)≈.0019P(\ge65\text{ drop}) = P\{X\ge64.5\}\approx1 - \Phi(2.9)\approx.0019.

ExampleHow big must a poll be? (Ross)

52% of New Yorkers favor a proposal. In a random sample of nn, the count is hypergeometric but nearly binomial(n,.52)(n,.52) (discrete-random-variables-and-distributions), so P{majority of the sample in favor}≈Φ(.04n).P\{\text{majority of the sample in favor}\}\approx\Phi(.04\sqrt n). This is .5528 at n=11n = 11, .6562 at n=101n = 101 and .8973 at n=1001n = 1001. Exceeding .95 needs .04n>1.645.04\sqrt n > 1.645, i.e. n≥1692n\ge1692.

RemarkWhy “normal”

Gauss used the curve in 1809 to predict astronomical positions, hence “Gaussian.” By the late 19th century many believed well-behaved data were “normally” bell-shaped, and Karl Pearson’s usage made “normal curve” standard. The central limit theorem is the partial explanation.


Other continuous distributions

Laplace (double exponential) distribution

DefinitionLaplace(λ)(\lambda)

Equally likely positive or negative, with exponential(λ)(\lambda) absolute value:

f(x)=12λe−λ∣x∣,F(x)={12eλxx<01−12e−λxx>0.f(x) = \frac12\lambda e^{-\lambda|x|},\qquad F(x) = \begin{cases}\frac12e^{ \lambda x} & x < 0\\ 1 - \frac12e^{-\lambda x} & x > 0.\end{cases}

ExampleThe binary channel with Laplacian noise (Ross)

Same channel as above, now with Laplace(1) noise: P(error∣1)=P{N<−1.5}=12e−1.5≈.1116P(\text{error}\mid1) = P\{N < -1.5\} = \frac12e^{-1.5}\approx.1116 and P(error∣0)=P{N≥2.5}=12e−2.5≈.041P(\text{error}\mid0) = P\{N\ge2.5\} = \frac12e^{-2.5}\approx.041. Both are worse than with standard normal noise (.0668 and .0062), because the Laplace tails decay like e−∣x∣e^{-|x|} rather than e−x2/2e^{-x^2/2}.

Gamma distribution

DefinitionGamma(α,λ)(\alpha,\lambda)

For α,λ>0\alpha, \lambda > 0:

f(x)=λe−λx(λx)α−1Γ(α),x≥0,Γ(α)=∫0∞e−yyα−1dy.f(x) = \frac{\lambda e^{-\lambda x}(\lambda x)^{\alpha-1}}{\Gamma(\alpha)}, \quad x\ge0,\qquad \Gamma(\alpha) = \int_0^\infty e^{-y}y^{\alpha-1}dy.

TheoremThe gamma function extends the factorial

Γ(α)=(α−1)Γ(α−1)\Gamma(\alpha) = (\alpha - 1)\Gamma(\alpha - 1) and Γ(1)=1\Gamma(1) = 1, so Γ(n)=(n−1)!\Gamma(n) = (n-1)! for integers nn.

ProofIntegration by parts

Γ(α)=[−e−yyα−1]0∞+(α−1)∫0∞e−yyα−2dy=(α−1)Γ(α−1)\Gamma(\alpha) = \big[-e^{-y}y^{\alpha-1}\big]_0^\infty + (\alpha - 1) \int_0^\infty e^{-y}y^{\alpha-2}dy = (\alpha - 1)\Gamma(\alpha - 1). Iterate down to Γ(1)=∫0∞e−ydy=1\Gamma(1) = \int_0^\infty e^{-y}dy = 1.

∎

FormulaMean and variance

E[X]=αλ,Var(X)=αλ2.E[X] = \frac\alpha\lambda,\qquad \mathrm{Var}(X) = \frac\alpha{\lambda^2}. The mean: E[X]=1λΓ(α)∫0∞λe−λx(λx)αdx=Γ(α+1)λΓ(α)=αλE[X] = \frac1{\lambda\Gamma(\alpha)}\int_0^\infty \lambda e^{-\lambda x}(\lambda x)^\alpha dx = \frac{\Gamma(\alpha+1)} {\lambda\Gamma(\alpha)} = \frac\alpha\lambda. Ross leaves the variance as an exercise (compute E[X2]E[X^2] the same way).

RemarkSpecial cases

  • Integer α=n\alpha = n: the nn-Erlang distribution, the time of the nn-th event of a Poisson process (discrete-random-variables-and-distributions).
  • α=1\alpha = 1: the exponential distribution.
  • λ=12\lambda = \frac12, α=n2\alpha = \frac n2: the chi-squared distribution with nn degrees of freedom. It arises as the squared error in hitting a target in nn-dimensional space with normal coordinate errors, and Ross develops it in Chapter 6.

Weibull distribution

DefinitionWeibull(ν,α,β)(\nu,\alpha,\beta)

F(x)=1−exp⁡{−(x−να)β},  x>ν,f(x)=βα(x−να)β−1exp⁡{−(x−να)β}.F(x) = 1 - \exp\Big\{-\Big(\frac{x - \nu}\alpha\Big)^\beta\Big\},\ \ x > \nu, \qquad f(x) = \frac\beta\alpha\Big(\frac{x - \nu}\alpha\Big)^{\beta-1}\exp \Big\{-\Big(\frac{x - \nu}\alpha\Big)^\beta\Big\}.

It is widely used for lifetimes under a weakest-link model, in which an object fails when any of its many parts fails. It was originally proposed for fatigue data.

Cauchy distribution

DefinitionCauchy with parameter θ\theta

f(x)=1π⋅11+(x−θ)2,−∞<x∞.f(x) = \frac1\pi\cdot\frac1{1 + (x - \theta)^2},\qquad -\infty < x \infty.

ExampleA spinning flashlight (Ross)

A narrow-beam flashlight one unit from the xx-axis is spun, and XX is where the beam hits the axis. The angle θ\theta is uniform on (−π2,π2)(-\frac\pi2,\frac\pi2) and X=tan⁡θX = \tan\theta, so

F(x)=P{θ≤tan⁡−1x}=12+1πtan⁡−1x,f(x)=1π(1+x2).F(x) = P\{\theta\le\tan^{-1}x\} = \frac12 + \frac1\pi\tan^{-1}x,\qquad f(x) = \frac1{\pi(1 + x^2)}.

This is the Cauchy distribution with θ=0\theta = 0.

WarningNo mean

The Cauchy tails decay like 1/x21/x^2, so ∫∣x∣f(x) dx\int|x|f(x)\,dx diverges and the Cauchy has no mean. (This remark is not in Ross.)

Beta distribution

DefinitionBeta(a,b)(a,b)

f(x)=xa−1(1−x)b−1B(a,b),0<x<1,B(a,b)=∫01xa−1(1−x)b−1dx=Γ(a)Γ(b)Γ(a+b).(6.3)f(x) = \frac{x^{a-1}(1 - x)^{b-1}}{B(a,b)},\quad 0 < x < 1,\qquad B(a,b) = \int_0^1x^{a-1}(1 - x)^{b-1}dx = \frac{\Gamma(a)\Gamma(b)}{\Gamma(a+b)}. \tag{6.3}

It models a random quantity confined to an interval, which can be rescaled to [0,1][0,1].

RemarkShapes

a=ba = b is symmetric about 12\frac12, and more concentrated as aa grows. a=b=1a = b = 1 is the uniform. b>ab > a skews toward small values, and a>ba > b toward large ones.

TheoremMean and variance

E[X]=aa+b,Var(X)=ab(a+b)2(a+b+1).E[X] = \frac a{a+b},\qquad \mathrm{Var}(X) = \frac{ab}{(a+b)^2(a + b + 1)}.

ProofRatios of beta functions

E[X]=B(a+1,b)B(a,b)=Γ(a+1)Γ(b)Γ(a+b+1)⋅Γ(a+b)Γ(a)Γ(b)=aa+bE[X] = \frac{B(a+1,b)}{B(a,b)} = \frac{\Gamma(a+1)\Gamma(b)}{\Gamma(a+b+1)} \cdot\frac{\Gamma(a+b)}{\Gamma(a)\Gamma(b)} = \frac a{a+b}, using Γ(x+1)=xΓ(x)\Gamma(x+1) = x\Gamma(x). Similarly E[X2]=B(a+2,b)B(a,b)=(a+1)a(a+b+1)(a+b)E[X^2] = \frac{B(a+2,b)}{B(a,b)} = \frac{(a+1)a}{(a+b+1)(a+b)}. Subtract (E[X])2(E[X])^2.

Identity (6.3) is proved later in Ross (Ch. 6).

∎

Pareto distribution

DefinitionPareto(λ,a)(\lambda, a)

If X∼X\sim exponential(λ)(\lambda) and a>0a > 0, then Y=aeXY = ae^X is Pareto with index λ\lambda and minimum aa:

P{Y>y}=(ay)λ,fY(y)=λaλy−(λ+1),y≥a.P\{Y > y\} = \Big(\frac ay\Big)^\lambda,\qquad f_Y(y) = \lambda a^\lambda y^{-(\lambda+1)},\qquad y\ge a.
DerivationFrom the exponential

P{Y>y}=P{X>log⁡(y/a)}=e−λlog⁡(y/a)=(a/y)λP\{Y > y\} = P\{X > \log(y/a)\} = e^{-\lambda\log(y/a)} = (a/y)^\lambda.

TheoremMoments exist only below the index

E[Y]=λaλ−1 (λ>1),Var(Y)=λa2(λ−2)(λ−1)2 (λ>2),E[Yn]=anλλ−n (λ>n).E[Y] = \frac{\lambda a}{\lambda - 1}\ (\lambda > 1),\qquad \mathrm{Var}(Y) = \frac{\lambda a^2}{(\lambda - 2)(\lambda - 1)^2}\ (\lambda > 2),\qquad E[Y^n] = \frac{a^n\lambda}{\lambda - n}\ (\lambda > n).

E[Y]=∞E[Y] = \infty if λ≤1\lambda\le1.

ProofVia Y=aeXY = ae^X

E[Yn]=anE[enX]=an∫0∞enxλe−λxdx=anλλ−nE[Y^n] = a^nE[e^{nX}] = a^n\int_0^\infty e^{nx}\lambda e^{-\lambda x}dx = \frac{a^n\lambda}{\lambda - n} for λ>n\lambda > n. The integral diverges otherwise.

∎

RemarkPower laws

The density is a constant times a power of yy, a power law. Pareto models fit incomes and wealth, internet file sizes, supercomputer job times, meteorite sizes, and yearly maximum rainfall. The radio-tube density 100/x2100/x^2 above is Pareto with λ=1\lambda = 1, a=100a = 100, which is why its mean is infinite. The discrete relative is the zeta distribution (discrete-random-variables-and-distributions).


Functions of a random variable

ImportantThe CDF method

To find the distribution of Y=g(X)Y = g(X), write {g(X)≤y}\{g(X)\le y\} as an event about XX, compute its probability with FXF_X, then differentiate.

ExampleThree CDF-method computations (Ross)

  • Powers of a uniform: X∼U(0,1)X\sim U(0,1), Y=XnY = X^n. For 0≤y≤10\le y\le1, FY(y)=P{X≤y1/n}=y1/nF_Y(y) = P\{X\le y^{1/n}\} = y^{1/n}, so fY(y)=1ny1/n−1f_Y(y) = \frac1ny^{1/n-1}.
  • Squares: Y=X2Y = X^2. For y≥0y\ge0, FY(y)=FX(y)−FX(−y)F_Y(y) = F_X(\sqrt y) - F_X(-\sqrt y), so fY(y)=12y[fX(y)+fX(−y)]f_Y(y) = \frac1{2\sqrt y}\big[f_X(\sqrt y) + f_X(-\sqrt y)\big].
  • Absolute values: Y=∣X∣Y = |X|. FY(y)=FX(y)−FX(−y)F_Y(y) = F_X(y) - F_X(-y), so fY(y)=fX(y)+fX(−y)f_Y(y) = f_X(y) + f_X(-y) for y≥0y\ge0.

The last two are two-to-one maps: both ±y\pm\sqrt y (or ±y\pm y) land on yy, so their densities add.

TheoremChange of variables for monotone gg (Ross Thm. 7.1)

Let XX have density fXf_X, and let gg be strictly monotone and differentiable. Then Y=g(X)Y = g(X) has density

fY(y)={fX(g−1(y))∣ddyg−1(y)∣y=g(x) for some x,0otherwise.f_Y(y) = \begin{cases}f_X\big(g^{-1}(y)\big)\Big|\dfrac d{dy}g^{-1}(y)\Big| & y = g(x)\text{ for some }x,\\ 0 & \text{otherwise.}\end{cases}
ComponentDetail
Inputa density fXf_X and a strictly monotone, differentiable gg
Outputthe density of g(X)g(X)
Correction factor∣(g−1)′∣\lvert(g^{-1})'\rvert, how much g−1g^{-1} stretches a small interval
Not coveredmany-to-one maps (use the CDF method, as above)
ProofIncreasing case

FY(y)=P{g(X)≤y}=P{X≤g−1(y)}=FX(g−1(y))F_Y(y) = P\{g(X)\le y\} = P\{X\le g^{-1}(y)\} = F_X(g^{-1}(y)). Differentiate by the chain rule. g−1g^{-1} is increasing, so its derivative is nonnegative and no absolute value is needed. For yy outside the range of gg, FYF_Y is 0 or 1 there, so fY=0f_Y = 0. The decreasing case flips the inequality and produces the absolute value.

∎

ExamplePowers of a nonnegative variable (Ross)

X≥0X\ge0 with density ff, and Y=XnY = X^n: g−1(y)=y1/ng^{-1}(y) = y^{1/n}, so fY(y)=1ny1/n−1f(y1/n).f_Y(y) = \frac1ny^{1/n-1}f\big(y^{1/n}\big). For n=2n = 2 this is 12yf(y)\frac1{2\sqrt y}f(\sqrt y): the squares formula above with f(−y)=0f(-\sqrt y) = 0.

ExampleThe lognormal distribution (Ross)

If X∼N(μ,σ2)X\sim N(\mu,\sigma^2), then Y=eXY = e^X is lognormal. With g−1(y)=log⁡yg^{-1}(y) = \log y and (g−1)′(y)=1/y(g^{-1})'(y) = 1/y,

fY(y)=12π σyexp⁡{−(log⁡y−μ)22σ2},y>0.f_Y(y) = \frac1{\sqrt{2\pi}\,\sigma y}\exp\Big\{-\frac{(\log y - \mu)^2} {2\sigma^2}\Big\},\qquad y > 0.

Stock prices: assuming each day’s price ratio Sn/Sn−1S_n/S_{n-1} is lognormal is the same as assuming Sn=Sn−1eXS_n = S_{n-1}e^X with XX normal, that is, normal log-returns.

NoteTODO — Generating a random variable with a specified distribution

Needs the inverse-CDF (and related) simulation method. Source text not yet extracted.

NoteTODO — The area rule for expectation based on the CDF

This is the tail-integral formula (Expectation, LOTUS, variance above, E[Y]=∫0∞P{Y>y} dyE[Y] = \int_0^\infty P\{Y > y\}\,dy) applied as a computational shortcut; needs confirmation against Ross’s exact presentation before folding the two together. Source text not yet extracted.

NoteThe multivariate case lives in a companion note

Transforming a joint pdf under linear, one-to-one, and many-to-one mappings is covered in jointly-distributed-random-variables (still a stub as of this writing — see its own TODO).


Quick reference

ObjectStatementNote
CDFFX(c)=P{X≤c}F_X(c) = P\{X\le c\}exists for every random variable
Strict inequality and point massP{X<c}=F(c−)P\{X < c\} = F(c-), P{X=c}=ΔF(c)P\{X = c\} = \Delta F(c)continuity of probability
Valid CDFnondecreasing; limits 0 and 1; right-continuousF.1–F.3
DiscretepX=ΔFp_X = \Delta F, F=∑u≤cpXF = \sum_{u\le c}p_Xpiecewise constant
ContinuousF(c)=∫−∞cfF(c) = \int_{-\infty}^cf, f=F′f = F'P{X=v}=0P\{X = v\} = 0
Density meaningP{∣X−u∣<ϵ/2}≈ϵf(u)P\{\lvert X - u\rvert < \epsilon/2\}\approx\epsilon f(u)ff can exceed 1
Mean, LOTUS∫uf\int uf, ∫g(u)f(u) du\int g(u)f(u)\,dulinearity carries over
VarianceE[X2]−μ2E[X^2] - \mu^2; Var(aX+b)=a2Var(X)\mathrm{Var}(aX + b) = a^2\mathrm{Var}(X)
Tail formulaE[Y]=∫0∞P{Y>y} dyE[Y] = \int_0^\infty P\{Y > y\}\,dy for Y≥0Y\ge0discrete: ∑P{L>k}\sum P\{L > k\}
ScalingY=2X⇒fY(a)=12fX(a/2)Y = 2X\Rightarrow f_Y(a) = \frac12f_X(a/2)
Departure timeF(t∗)=k/(k+c)F(t^*) = k/(k+c)critical ratio
Stick breakingE[Lp]=12+p(1−p)E[L_p] = \frac12 + p(1-p)size bias
Uniform[a,b][a,b]f=1b−af = \frac1{b-a}; mean a+b2\frac{a+b}2; variance (b−a)212\frac{(b-a)^2}{12}E[Uk]=1k+1E[U^k] = \frac1{k+1}
Bertrand12\frac12 or 13\frac13“random” is underspecified
Exponential(λ)(\lambda)f=λe−λtf = \lambda e^{-\lambda t}; P{T>t}=e−λtP\{T > t\} = e^{-\lambda t}
Exponential momentsE[Tn]=n!/λnE[T^n] = n!/\lambda^n; σ=μ=1/λ\sigma = \mu = 1/\lambdamedian ln⁡2/λ\ln2/\lambda
MemorylessP(T>s+t∣T>s)=P(T>t)P(T > s + t\mid T > s) = P(T > t)only the exponential
Post officeSmith last with probability 12\frac12memorylessness + symmetry
Geometric limith⋅h\cdotGeom(λh)→(\lambda h)\to Exp(λ)(\lambda)(1−λh)c/h→e−λc(1 - \lambda h)^{c/h}\to e^{-\lambda c}
Hazardλ(t)=f/Fˉ\lambda(t) = f/\bar F; F=1−e−∫λF = 1 - e^{-\int\lambda}constant ⟺ exponential
Linear hazardF=1−e−at−bt2/2F = 1 - e^{-at - bt^2/2}Rayleigh when a=0a = 0
Double the ratesquare the survival probability.7165→.5134.7165\to.5134
ScalingfaX+b(y)=1∣a∣fX(y−ba)f_{aX+b}(y) = \frac1{\lvert a\rvert}f_X(\frac{y-b}a)area stays 1
NormalN(μ,σ2)N(\mu,\sigma^2); F(a)=Φ(a−μσ)F(a) = \Phi(\frac{a-\mu}\sigma)Φ(−x)=1−Φ(x)\Phi(-x) = 1 - \Phi(x)
Normal ranges≈68% within 1σ1\sigma, ≈95% within 2σ2\sigmaaX+baX+b stays normal
DeMoivre–Laplace(Sn−np)/np(1−p)≈Z(S_n - np)/\sqrt{np(1-p)}\approx Zcontinuity correction
Laplace12λe−λ∣x∣\frac12\lambda e^{-\lambda\lvert x\rvert}heavier tails than normal
Gammamean α/λ\alpha/\lambda, variance α/λ2\alpha/\lambda^2; Γ(n)=(n−1)!\Gamma(n) = (n-1)!Erlang, exponential, χ2\chi^2
Weibull1−e−((x−ν)/α)β1 - e^{-((x-\nu)/\alpha)^\beta}weakest link
Cauchy1π(1+x2)\frac1{\pi(1+x^2)}tan⁡\tan of a uniform angle; no mean
Betamean aa+b\frac a{a+b}; variance ab(a+b)2(a+b+1)\frac{ab}{(a+b)^2(a+b+1)}B=Γ(a)Γ(b)/Γ(a+b)B = \Gamma(a)\Gamma(b)/\Gamma(a+b)
ParetoP{Y>y}=(a/y)λP\{Y > y\} = (a/y)^\lambda; E[Yn]=anλλ−nE[Y^n] = \frac{a^n\lambda}{\lambda-n}power law
Change of variablesfY=fX(g−1)∣(g−1)′∣f_Y = f_X(g^{-1})\lvert(g^{-1})'\rvertmonotone gg
LognormaleN(μ,σ2)e^{N(\mu,\sigma^2)}normal log-returns

Facts to keep to hand

  • The CDF is universal; the pmf and pdf are special cases. Jumps of FF are point masses, its slope is density. Mixed variables have both and still have a CDF. Every interval probability follows from FF and its left limits.
  • Right-continuity comes from "≤\le". Mass at cc is included in F(c)F(c), so approaching from the right loses nothing. Approaching from the left gives P{X<c}P\{X < c\}.
  • Continuous means no atoms. Points have probability 0, endpoints are irrelevant, and only countable additivity is required. The density is a rate (probability per unit length), not a probability, and can exceed 1.
  • Every discrete formula ports by replacing sums with integrals. This covers the mean, LOTUS, linearity, variance, standardization, and the critical-ratio optimization (newsvendor becomes departure time). The tail formula E[Y]=∫P{Y>y} dyE[Y] = \int P\{Y > y\}\,dy is a new tool that also holds discretely.
  • Uniform is only uniform in a stated coordinate. Its mean is the midpoint and its variance is length²/12. Bertrand’s paradox shows that “random” without a mechanism is not a model.
  • The exponential is the continuous geometric. It is the h→0h\to0 limit of geometric waits, it is memoryless (uniquely so, by Cauchy’s functional equation), it has constant hazard, and its σ\sigma equals its mean. Memorylessness powers symmetry arguments like the post office.
  • The hazard rate is the natural lifetime parameter. Survival is e−∫λe^{-\int\lambda}. Constant hazard means exponential, increasing hazard means wear-out (Rayleigh), and scaling the hazard by kk raises survival probabilities to the kk-th power.
  • Standardize, then look up. Every normal probability reduces to Φ\Phi at (a−μ)/σ(a-\mu)/\sigma. Linear maps keep normals normal, and binomials with large np(1−p)np(1-p) are approximately normal (DeMoivre–Laplace), with a continuity correction.
  • Tails decide which model is safe. Normal tails fall like e−x2/2e^{-x^2/2}, Laplace like e−∣x∣e^{-|x|}, and Pareto and Cauchy only polynomially. Polynomial tails can make moments infinite (Pareto with λ≤1\lambda\le1, Cauchy), and heavier noise tails mean more channel errors.
  • To transform a density, go through the CDF. For monotone maps this gives fX(g−1)∣(g−1)′∣f_X(g^{-1})|(g^{-1})'|. For many-to-one maps, add the contributions of every preimage.

References

← All notes