Enlace entre la función generadora de momento y la función característica

17

Estoy tratando de entender el vínculo entre la función generadora de momento y la función característica. La función de generación de momento se define como:

MX(t)=E(exp(tX))=1+tE(X)1+t2E(X2)2!++tnE(Xn)n!

Using the series expansion of exp(tX)=0(t)nXnn!, I can find all the moments of the distribution for the random variable X.

The characteristic function is defined as:

φX(t)=E(exp(itX))=1+itE(X)1t2E(X2)2!++(it)nE(Xn)n!

I don't fully understand what information the imaginary number i gives me more. I see that i2=1 and thus we don't have only + in the characteristic function, but why do we need to subtract moments in the characteristic function? What's the mathematical idea?

Giuseppe
fuente
7
One important point is that the moment-generating function is not always finite! (See this question, for example.) If you want to build a general theory, say, about convergence in distribution, you'd like to be able to have it work with as many objects as possible. The characteristic function is, of course, finite for any random variable since |exp(itX)|1.
cardinal
The similarities in the Taylor expansions still allow one to read off the moments, when they exist, but note that not all distributions have moments, so the interest in these functions goes far beyond this! :)
cardinal
6
Another point to note is that the MGF is the Laplace transformation of a random variable and the CF is the Fourier transform. There are fundamental relationships between these integral transforms, see here.
tchakravarty
I thought CF is the inverse fourier transform (and not the fourier transform) of a propability distribution?
Giuseppe
1
The distinction is only a matter of sign in the exponent, and possibly a multiplicative constant.
Glen_b -Reinstate Monica

Respuestas:

12

As mentioned in the comments, characteristic functions always exist, because they require integration of a function of modulus 1. However, the moment generating function doesn't need to exist because in particular it requires the existence of moments of any order.

When we know that E[etX] is integrable for all t, we can define g(z):=E[ezX] for each complex number z. Then we notice that MX(t)=g(t) and φX(t)=g(it).

Davide Giraudo
fuente