- #1
psie
- 205
- 23
- TL;DR Summary
- I am confused about a proof concerning the expectation of a sum of a random number of random variables
There's a theorem in An Intermediate Course in Probability by Gut that says if ##E|X|<\infty\implies EX=g_X'(1)##, where ##g_X## is the probability generating function. Now, consider the r.v. ##S_N##, which is the sum of a random number ##N## of terms of i.i.d. r.v.s. ##X_1,X_2,\ldots## (everything's nonnegative integer-valued, and ##N## is independent of ##X_1,X_2,\ldots##). One can derive the probability generating function for ##S_N##, namely ##g_{S_N}(t)=g_N(g_X(t))##. I am now reading a theorem that states;
The author proves this using the theorem I stated in the beginning, namely that ##E|X|<\infty\implies EX=g_X'(1)##. What I don't understand is why we require ##EN<\infty## and ##E|X|<\infty##. For ##ES_N## to exist via generating functions, we require ##E|S_N|<\infty##, but I don't see how this means that we should require ##EN<\infty## and ##E|X|<\infty##.
One idea that comes to mind is the following, but I'm not sure if this is correct: $$E|S_N|=E(|X_1+\ldots +X_N|)\leq E(|X_1|+\ldots +|X_N|)=E (N|X_1|)=EN E|X_1|,$$and so we see that ##E|S_N|## is finite if ##EN## and ##E|X_1|## are finite, as required by theorem. But I'm doubting if ##E(|X_1|+\ldots +|X_N|)=E (N|X_1|)## is correct. Grateful for any confirmation or help.
Theorem If ##EN<\infty## and ##E|X|<\infty##, then ##ES_N=EN\cdot EX##.
The author proves this using the theorem I stated in the beginning, namely that ##E|X|<\infty\implies EX=g_X'(1)##. What I don't understand is why we require ##EN<\infty## and ##E|X|<\infty##. For ##ES_N## to exist via generating functions, we require ##E|S_N|<\infty##, but I don't see how this means that we should require ##EN<\infty## and ##E|X|<\infty##.
One idea that comes to mind is the following, but I'm not sure if this is correct: $$E|S_N|=E(|X_1+\ldots +X_N|)\leq E(|X_1|+\ldots +|X_N|)=E (N|X_1|)=EN E|X_1|,$$and so we see that ##E|S_N|## is finite if ##EN## and ##E|X_1|## are finite, as required by theorem. But I'm doubting if ##E(|X_1|+\ldots +|X_N|)=E (N|X_1|)## is correct. Grateful for any confirmation or help.