Skip to content
Stochastic Calculus / Discrete Martingales and the Gambling Blueprint

Martingale Convergence and Square-Integrable Martingales

Risk-neutral pricing rests on the assumption that discounted price processes are martingales. But for a Monte Carlo estimator to converge, or for the continuous-time theory to produce a well-defined limit, we need more than a martingale — we need it to converge. The martingale convergence theorem says that any martingale whose absolute values are uniformly bounded in expectation has an almost-sure limit. This result is what allows us to pass from a sequence of conditional expectations Vt=EQ[VT∣Ft]V_t = \mathbb{E}^{\mathbb{Q}}[V_T \mid \mathcal{F}_t] to a well-defined terminal random variable as the time grid refines to zero.
But a.s. convergence is only the first half of the story. For integration theory and approximations, we need convergence in the L2L^2 sense — and this requires a stricter L2L^2 bound on the martingale. The theory of square-integrable martingales reveals an elegant structure: their increments are orthogonal in L2L^2, giving rise to a Pythagorean identity for the second moment. The quantity that tracks this growth — the predictable quadratic variation ⟨M⟩n\langle M \rangle_n — is the discrete version of the bracket process [W,W]t=t[W, W]_t = t that drives Itô's formula.
Learning objectives. By the end of this note you should be able to:
  • State the martingale convergence theorem, identify its key condition, and give a counter-example showing that E[M∞]≠E[M0]\mathbb{E}[M_\infty] \ne \mathbb{E}[M_0] in general.
  • Explain the upcrossings proof strategy (buy-low-sell-high) and why a bounded-expectation martingale cannot oscillate infinitely often.
  • Describe the Pólya urn as a martingale convergence example, and explain its connection to Bayesian updating.
  • Define square-integrable martingale and prove that their increments are orthogonal in L2L^2.
  • Define the predictable quadratic variation ⟨M⟩n\langle M \rangle_n and state the Doob decomposition of Mn2M_n^2.
  • Identify the L2L^2 Pythagorean identity as the discrete Itô isometry and trace how it becomes the continuous isometry E[(∫g dW)2]=E[∫g2 dt]\mathbb{E}[(\int g \, dW)^2] = \mathbb{E}[\int g^2 \, dt].

In this lesson

  1. The Martingale Convergence Theorem
  2. Pólya's Urn
  3. Square-Integrable Martingales
  4. Predictable Quadratic Variation
  5. From Discrete to Continuous

Before you start

The full lesson, with worked examples and exercise solutions, is for members.

Read the full lesson

New to SelfMadeQuant.com? See membership options or explore the curriculum.