Martingale central limit theorem

From Wikipedia, the free encyclopedia
Jump to: navigation, search

In probability theory, the central limit theorem says that, under certain conditions, the sum of many independent identically-distributed random variables, when scaled appropriately, converges in distribution to a standard normal distribution. The martingale central limit theorem generalizes this result for random variables to martingales, which are stochastic processes where the change in the value of the process from time t to time t + 1 has expectation zero, even conditioned on previous outcomes.

[edit] Statement

Here is a simple version of the martingale central limit theorem: Let

X_1, X_2, \dots\, -- be a martingale with bounded increments, i.e., suppose
\operatorname{E}[X_{t+1} -  X_t \vert X_1,\dots, X_t]=0\,,

and

|X_{t+1} - X_t| \le k

almost surely for some fixed bound k and all t. Also assume that |X_1|\le k almost surely.

Define

\sigma_t^2 = \operatorname{E}[(X_{t+1}-X_t)^2|X_1, \ldots, X_t],

and let

\tau_\nu = \min\left\{t : \sum_{i=1}^{t} \sigma_i^2 \ge \nu\right\}.

Then

\frac{X_{\tau_\nu}}{\sqrt{\nu}}

converges in distribution to the normal distribution with mean 0 and variance 1 as \nu \to +\infty \!. More explicitly,

\lim_{\nu \to +\infty} \operatorname{P} \left(\frac{X_{\tau_\nu}}{\sqrt{\nu}} < x\right) = \Phi(x)
= \frac{1}{\sqrt{2\pi}}
\int_{-\infty}^x
\exp\left(-\frac{u^2}{2}\right)
\, du, \quad x\in\mathbb{R}.

[edit] References

Many other variants on the martingale central limit theorem can be found in:

  • Hall, Peter; and C. C. Heyde (1980). Martingale Limit Theory and Its Application. New York: Academic Press. ISBN 0-12-319350-8. 
  • For the discussion of Theorem 5.4 there, and correct form of Corollary 5.3(ii), see Bradley, Richard (1988). "On some results of MI Gordin: a clarification of a misunderstanding". Journal of Theoretical Probability (Springer) 1 (2): 115–119. doi:10.1007/BF01046930. 
Personal tools
Namespaces

Variants
Actions
Navigation
Interaction
Toolbox
Print/export