Prerequisites & Notation

Before You Begin

This chapter develops the transform toolkit β€” moment generating functions, characteristic functions, and probability generating functions β€” that converts questions about sums and convolutions into questions about products and composition. We assume familiarity with random variables, expectation, and joint distributions from earlier chapters.

  • Random variables, PMFs, PDFs, and CDFs(Review ch05, ch06)

    Self-check: Can you compute E[g(X)]\mathbb{E}[g(X)] for both discrete and continuous XX?

  • Expectation, variance, and higher moments(Review ch05, ch06)

    Self-check: Can you derive Var(X+Y)\text{Var}(X+Y) when XX and YY are independent?

  • Joint distributions and independence(Review ch07)

    Self-check: Can you state what XβŠ₯YX \perp Y implies about E[g(X)h(Y)]\mathbb{E}[g(X)h(Y)]?

  • Common distributions: Gaussian, Poisson, Exponential, Gamma, Binomial(Review ch05, ch06)

    Self-check: Can you write the PDF of N(ΞΌ,Οƒ2)\mathcal{N}(\mu, \sigma^2) and the PMF of Poi(Ξ»)\text{Poi}(\lambda)?

  • Taylor series and complex exponentials

    Self-check: Can you expand ejuxe^{jux} as a power series in uu?

  • Riemann-Stieltjes integration (basics)(Review ch08)

    Self-check: Can you express E[g(X)]\mathbb{E}[g(X)] as ∫g(x) dF(x)\int g(x)\,dF(x)?

Notation for This Chapter

Symbols introduced in this chapter. The transforms encode the entire distribution into a single function, converting convolution into multiplication.

SymbolMeaningIntroduced
MX(t)M_X(t)Moment generating function: E[etX]\mathbb{E}[e^{tX}]s01
Ο•X(u)\phi_X(u)Characteristic function: E[ejuX]\mathbb{E}[e^{juX}]s02
GX(s)G_X(s)Probability generating function: E[sX]\mathbb{E}[s^X] for nonneg. integer-valued XXs05
mX(t)m_X(t)Cumulant generating function: log⁑MX(t)\log M_X(t)s04
ΞΊn\kappa_nnn-th cumulant of XXs04
mXβˆ—(a)m_X^*(a)Fenchel-Legendre transform (rate function): sup⁑t{atβˆ’mX(t)}\sup_t \{at - m_X(t)\}s08
SnS_nPartial sum: Sn=βˆ‘i=1nXiS_n = \sum_{i=1}^n X_is06
β†’D\xrightarrow{D}Convergence in distributions07
Ξ·\etaProbability of ultimate extinction (branching process)s09
jjImaginary unit: j=βˆ’1j = \sqrt{-1}s02