My Avatar

LanternD's Castle

An electronics enthusiast - survive technically

STT 861 Theory of Prob and STT I Lecture Note - 14

2017-12-06

Proof of central limit theorem; multivariate normal distribution and its example; review of the second half of the semester, Poisson approximation vs. normal approximation to binomial distribution; miscellaneous notes of convergence.

Portal to all the other notes

Lecture 14 - Dec 06 2017

Proof of CLT (Central Limit Theorem)

This is the last lecture of this course.

Let Xi be n i.i.d distribution. μ=E(Xi), σ2=Var(Xi). WOLOG (without loss of generality), μ=0, σ2=1.

Sn=i=1nXinN(0,1)

It is sufficient to show that MGF of Sn MGF of Normal(0,1) for all t near 0.

MSn(t)=E(etSn)=E(i=1net/nXi)=E(et/nXi)=(E(exp(t/nXi)))nE(exp(t/nX1))MX1(u)

where u=t/n.

We will use the following fundamental property of MGF.

dduMX(0)=E(ddueuX)|u=0=E(X) d2du2MX(0)=E(X2),dpdupMX(0)=E(Xp)

In our case: E(X1)=0,E(X2)=1.

Then expand MX(u) using Taylor’s formula.

MX1(u)=MX1(0)+dMX(0)duu+12d2M(0)du2+

(This is for u near 0. )

Therefore,

MX1(u)=1+12u2+O(u3)

for small u.

Next,

MSn(t)=(1+12(tn)2+ε(u))n

When n,

MSn(t)exp(12t2)

which is the MGF of N(0,1).

Calculation of the MGF of Normal(0,σ2):

MZ(t)=E(etZ)=exp(zt)12πσ2exp(z22σ2)dz=12πσ2exp(12σ2(z22σ2tz+σ4t2σ4t2))dz=12πσ2exp(12σ2(z2σ2t)2+σ4t2))dz=exp(12σ2t2)

(this part is in the homework 6.)

Multivariate Normal

Quick review from a new example.

Example 1

Let X=(X1,X2,,Xk) be a normal vector. Assume E(Xi)=μi and Cov(Xi,Xj)=Σij. Find the MGF of the entire vector.

MX(t1,...,tk)=E(exp(i=1ktiXi))

Let Y=tiXi. Since X is multivariate normal, then Y is normal. We just need to compute the expectation and variance of Y.

E(Y)=i=1ktiE(Xi)=i=1ktiμiVar(Y)=i=1kj=1kCov(tiXi,tjXj)=titjΣij=σ2Mt(X)=E(eY)=E(eμ+σZ)

where ZN(0,1).

Mt(X)=eμE(eσZ)=MZ(σ)eμ=eμ+12σ2

We have proved that

MX(t)=eμ+12σ2

where t=i=1kμiti, σ2=tTΣt. Finally, the full form of MGF of Y is:

MX(t)=exp(i=1kμiti+12tTΣt)

We can identify what it means for multivariate normal vectors to be independent of each other.

X=((X(A))(X(B)))T with length k=kA+kB, then if X(A) is independent of X(B),

Σ=(Σ(A)00Σ(B))

This also implies that if a normal vector has a block diagonal covariance matrix, then the corresponding two subvectors are independent.

Really Important Example - Example 2

Let X=(X1,X2,,Xk) be i.i.d N(μ,σ2). Let X¯=1n(X1+X2++Xk) (empirical mean)

Answer:

Cov(X¯,Xi)=E((X¯μ)(Xiμ))=1nE((j=1n(Xjμ))(Xiμ))=1nj=1nE((Xjμ)(Xiμ))=Σji+σ2n=σ2n Cov(X¯,XiX¯)=Cov(X¯,Xi)Cov(X¯,X¯)=σ2nσ2n=0

this proves that the bivariate (X¯,XiX¯) is bivariate normal since the original X is multivariate normal and also X¯ and XiX¯ are independent because their covariance is 0.

Since XiX¯ and X¯ are independent for fixed i, this is still true of (XiX¯)2 and X¯.

Therefore, the entire vector Y=(XiX¯)i=1n is independent of X¯. In fact, any function of Y is independent of X¯. In particular S2 is independent of X¯.

Also,

(n1)S2σ2=i=1n(XiX¯σ)2

This is all i.i.d.

This is Chi-Square distribution χ2(n1).

Review of the Second Part of the Semester

When to use Poisson and when to use Normal to approximate a series of Bernoulli trials?

Poisson Approximation Case

XiBernoulli(p) i.i.d. For example, Xi=1 vote for Dr. Jill Stein (or Gary Johnson), Xi=0 otherwise.

P=P(Xi=1) is small. What if p=λn where n is the # of trials?

Then Yn=X1+X2++Xn,YBin(n,p),

E(Yn)=np=λ

Since average # of successes is constant λ then Bin(n,p)Poisson(λ). Range 0.2λ10.

Note: Var(Yn)=np(1p)=λ(1λn)λ. If p=λn+O(1n) then Bin(n,p)Poisson(λ) still holds.

Normal Approximation Case

it works for Binomial and many other partial sums’’ (like Negative Binomial).

In Binomial case, assume n and p is fixed. λnp here, not constant.

Let Y=X1++XnBin(n,p)

E(Yn)=np Var(Yn)=np(1p)

Let

Zn=Ynnpnp(1p)

then ZnN(0,1), by CLT.

Note: Unlike Poisson approximation, CLT (Normal approximation) works for any Xi i.i.d as long as Var(Xi)=σ2<.

XnX in distribution FXn(x)FX(x) for all x

(Xn is a sequence of random variables, X is a random variable)

Quick notes:



Disqus Comment 0