Moment Generating Function (proof of definition)

[Oxymoron]

Homework Statement

Prove that for a random variable $$X$$ with continuous probability distribution function $$f_X(x)$$ that the Moment Generating Function, defined as

$$M_X(t) := E[e^{tX}]$$

is

$$M_X(t) = \int_x^{\infty}e^{tx}f_X(x)dx$$

Homework Equations

Above and

$$E[X] = \int_{-\infty}^{\infty}xf_X(x)dx$$

The Attempt at a Solution

This expression is given in so many textbooks and the ones that I have read all skip over this derivation. I want to be able to prove (1) to myself.

Proof:
Write the exponential function as a Maclaurin series:

$$M_X(t) = E[e^{tX}]$$

$$= E[1+tX+\frac{t^2}{2!}X^2+\frac{t^3}{3!}X^3+...]$$

Since $$E[1] = 1$$ and the $$E[t^n/n!]=t^n/n!$$ because they are constant and the expectation of a constant is itself you get:

$$= 1+tE[X]+\frac{t^2}{2!}E[X^2]+\frac{t^3}{3!}E[X^3]+...$$...also using the linearity of E. Now, writing the series as a sum:

$$=\sum_{t=0}^{\infty}\frac{t^n}{n!}E[X^n]$$

And extracting the exponential:

$$=e^t\sum_{n=0}^{\infty}E[X^n]$$

Now I am stuck! I know that I am meant to use

$$E[X] = \int_{-\infty}^{\infty}xf_X(x)dx$$

but I have $$E[X^n]$$ and I also have $$e^t$$ and not $$e^{tx}$$.

 

[HallsofIvy]

There isn't really much to prove. For any continuous probability distribution with density function f(x), the Expected value of any function u(x) is defined to be
[tex]E(u(x))= \int_{-\infty}^\infty u(x)f(x)dx[/itex]<br /> <br /> Replace $u(x)$ with $e^{tx}$ and you have it. It is true that the whole point of the "moment generating function" is that the coefficients of the powers of x in a power series expansion are the "moments" of the probability distribution, but that doesn't seem to me to be relevant to this question. I see no reason to write its Taylor series.[/tex]

 

[Oxymoron]

Good, okay that makes sense.

Then I suppose all I had to do was prove

$$E(u(x))= \int_{-\infty}^\infty u(x)f(x)dx$$

and then substitute $$u(x)$$ with $$e^{tx}$$ as you said and I'm done.

But once again there is nothing to prove because it is a definition.