25 Lecture 24, March 08, 2024

25.1 Proof of the moments of exponential distribution

Recall that we can have many ways to show the expectation and the variance of XExp(θ) using the Gamma function. Then we have E(X)=θ and Var(X)=θ2.

Let XExp(θ). We use the change of variable y=xθ with dx=θdy E[X]=0x1θexθdxy=x/θ=0yeyθdy=θ0yeydy=Γ(2)=θΓ(2)=θ(1!)=θ and similarly E[X2]=0x21θexθdxy=x/θ=0θy2eyθdy=θ20y31eydy=Γ(3)=θ2Γ(3)=θ(2!)=2θ2 so that Var(X)=E[X2]E[X]2=2θ2θ2=θ2

25.1.1 Memoryless property of exponential distribution

Theorem 25.1 (Memoryless property) If XExp(θ), then P(X>s+t|X>s)=P(X>t).

  • We’ve seen the memoryless property for the Geo(p) earlier (and the geometric distribution is the only discrete distribution with this property)
  • If a continuous random variable has memoryless property, it must follow exponential distribution.
  • Intuitively, both the geometric and exponential distributions measure waiting time until first success

Proof. Recall the cdf of XExp(θ) is F(x)=P(Xx)=xf(t)dt=x0θ1et/θdt=1exp(x/θ) for x>0 and 0 otherwise. Hence, P(X>s+t|X>s)=P(X>s+t and X>s)P(X>s)=P(X>s+t)P(X>s)=e(s+t)/θes/θ=et/θ=1F(t)=P(X>t) as desired.