Proof of central limit theorem

AI Thread Summary
The discussion focuses on proving the central limit theorem using moment-generating functions without referencing the standard normal distribution. The user aims to demonstrate that the moment-generating function of the average of independent variables converges to the moment-generating function of a normal distribution as n approaches infinity. They derive the moment-generating function for the average and apply l'Hôpital's rule to evaluate the limit, but encounter an issue in obtaining the correct form, specifically missing the term sigma^2/2. The user seeks clarification on their calculations and where they might have overlooked a step in the derivation. The conversation highlights the complexities involved in proving the central limit theorem through this method.
skwey
Messages
17
Reaction score
0
Hi I want to prove this using momentgenerating functions. I would like to do this without going into the standard normal distribution, just the normal distribution.

I would like to show that the momentgenerating function of
(x1+x2+x3...xn)/n--->e^(ut+sigma^2t/2) as n-->infinity.

x1, x2, x3,xn =independent variables with mean u and variance sigma^2
e^(ut+sigma^2t/2)=momentgenerating function of a normal distribution


1.calculating the moment generating function
This I get to be

[M(t/n)]^n where M(t) is the momentgenerating function of the variable x1 or x2 or xn. [M(t/n)]^n is the momentgenerating function of (x1+x2+x3..xn)/n

2.
Finding the limit as n->infinity.

I take the natural logarithm and get n*ln[M(t/n)]=ln[M(t/n)]/(1/n)
as n->infinity we get 0/0 since M(0)=1 and ln(1)=0

I then use l'Hopital to get:

M'(t/n)*t/M(t/n)

when n goes to infinity this goes to ut since M'(0)=u, but it should be ut+sigma^2/2

Does anyone see why I do not get the last part, what have I forgotten?
 
Last edited:
Physics news on Phys.org
The l'Hopital part:

ln[M(t/n)]' / (1/n) '
=[M'(t/n)*-t/n^2 / M(t/n)] / [-1/n^2]= M'(t/n)*t/M(t/n). As n-> infinity this becomes ut.
 
I was reading documentation about the soundness and completeness of logic formal systems. Consider the following $$\vdash_S \phi$$ where ##S## is the proof-system making part the formal system and ##\phi## is a wff (well formed formula) of the formal language. Note the blank on left of the turnstile symbol ##\vdash_S##, as far as I can tell it actually represents the empty set. So what does it mean ? I guess it actually means ##\phi## is a theorem of the formal system, i.e. there is a...
Back
Top