Doob's martingale inequality

In mathematics, Doob's martingale inequality is a result in the study of stochastic processes. It gives a bound on the probability that a stochastic process exceeds any given value over a given interval of time. As the name suggests, the result is usually given in the case that the process is a non-negative martingale, but the result is also valid for non-negative submartingales.

The inequality is due to the American mathematician Joseph L. Doob.

Statement of the inequality

Let X be a submartingale taking non-negative real values, either in discrete or continuous time. That is, for all times s and t with s < t,

X_{s}\leq\mathbf{E} \left[ X_{t} \big| \mathcal{F}_{s} \right].

(For a continuous-time submartingale, assume further that the process is càdlàg.) Then, for any constant C > 0 and p ≥ 1,

\mathbf{P} \left[ \sup_{0 \leq t \leq T} X_{t} \geq C \right] \leq \frac{\mathbf{E} \left[ X_{T}^{p} \right]}{C^{p}}.

In the above, as is conventional, P denotes the probability measure on the sample space Ω of the stochastic process

X : [0, T] \times \Omega \to [0, + \infty)

and E denotes the expected value with respect to the probability measure P, i.e. the integral

\mathbf{E}[X_T] = \int_{\Omega} X_{T} (\omega) \, \mathrm{d} \mathbf{P} (\omega)

in the sense of Lebesgue integration. $\mathcal{F}_{s}$ denotes the σ-algebra generated by all the random variables X_i with i ≤ s; the collection of such σ-algebras forms a filtration of the probability space.

Further inequalities

There are further (sub)martingale inequalities also due to Doob. With the same assumptions on X as above, let

S_{t} = \sup_{0 \leq s \leq t} X_{s},

and for p ≥ 1 let

\| X_{t} \|_{p} = \| X_{t} \|_{L^{p} (\Omega, \mathcal{F}, \mathbf{P})} = \left( \mathbf{E} \left[ | X_{t} |^{p} \right] \right)^{\frac{1}{p}}.

In this notation, Doob's inequality as stated above reads

\mathbf{P} \left[ S_{T} \geq C \right] \leq \frac{\| X_{T} \|_{p}^{p}}{C^{p}}.

The following inequalities also hold: for p = 1,

\| S_{T} \|_{p} \leq \frac{e}{e - 1} \left( 1 + \| X_{T} \log^+ X_{T} \|_{p} \right)

and, for p > 1,

\| X_{T} \|_{p} \leq \| S_{T} \|_{p} \leq \frac{p}{p-1} \| X_{T} \|_{p}.

Related inequalities

Doob's inequality for discrete-time martingales implies Kolmogorov's inequality: if X₁, X₂, ... is a sequence of real-valued independent random variables, each with mean zero, it is clear that

\begin{align} \mathbf{E} \left[ X_{1} + \dots + X_{n} + X_{n + 1} \big| X_{1}, \dots, X_{n} \right] &= X_{1} + \dots + X_{n} + \mathbf{E} \left[ X_{n + 1} \big| X_{1}, \dots, X_{n} \right] \\ &= X_{1} + \cdots + X_{n}, \end{align}

so M_n = X₁ + ... + X_n is a martingale. Note that Jensen's inequality implies that |M_n| is a nonnegative submartingale if M_n is a martingale. Hence, taking p = 2 in Doob's martingale inequality,

\mathbf{P} \left[ \max_{1 \leq i \leq n} \left| M_{i} \right| \geq \lambda \right] \leq \frac{\mathbf{E} \left[ M_{n}^{2} \right]}{\lambda^{2}},

which is precisely the statement of Kolmogorov's inequality.

Application: Brownian motion

Let B denote canonical one-dimensional Brownian motion. Then

\mathbf{P} \left[ \sup_{0 \leq t \leq T} B_{t} \geq C \right] \leq \exp \left( - \frac{C^2}{2T} \right).

The proof is just as follows: since the exponential function is monotonically increasing, for any non-negative λ,

\left\{ \sup_{0 \leq t \leq T} B_{t} \geq C \right\} = \left\{ \sup_{0 \leq t \leq T} \exp ( \lambda B_{t} ) \geq \exp ( \lambda C ) \right\}.

By Doob's inequality, and since the exponential of Brownian motion is a positive submartingale,

\begin{align} \mathbf{P} \left[ \sup_{0 \leq t \leq T} B_{t} \geq C \right] & = \mathbf{P} \left[ \sup_{0 \leq t \leq T} \exp ( \lambda B_{t} ) \geq \exp ( \lambda C ) \right] \\ & \leq \frac{\mathbf{E} \left[ \exp (\lambda B_{T}) \right ]}{\exp (\lambda C)} \\ & = \exp \left( \tfrac{1}{2}\lambda^{2}T - \lambda C \right) && \mathbf{E} \left[ \exp (\lambda B_{t}) \right] = \exp \left( \tfrac{1}{2}\lambda^{2} t \right) \end{align}

Since the left-hand side does not depend on λ, choose λ to minimize the right-hand side: λ = C/T gives the desired inequality.

References

Revuz, Daniel and Yor, Marc (1999). Continuous martingales and Brownian motion (Third ed.). Berlin: Springer. ISBN 3-540-64325-7. (Theorem II.1.7)
Shiryaev, Albert N. (2001), "Martingale", in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4

Stochastic processes

Discrete time	Bernoulli process Branching process Chinese restaurant process Galton–Watson process Independent and identically distributed random variables Markov chain Moran process Random walk Loop-erased Self-avoiding

Continuous time	Bessel process Birth–death process Brownian motion Bridge Excursion Fractional Geometric Meander Cauchy process Contact process Continuous-time random walk Cox process Diffusion process Empirical process Feller process Fleming–Viot process Gamma process Hunt process Interacting particle systems Itô diffusion Itô process Jump diffusion Jump process Lévy process Local time Markov additive process McKean–Vlasov process Ornstein–Uhlenbeck process Poisson process Compound Non-homogeneous Point process Schramm–Loewner evolution Semimartingale Sigma-martingale Stable process Superprocess Telegraph process Variance gamma process Wiener process Wiener sausage

Both	Branching process Gaussian process Hidden Markov model (HMM) Markov process Martingale Differences Local Sub- Super- Random dynamical system Regenerative process Renewal process White noise

Fields and other	Dirichlet process Gaussian random field Gibbs measure Hopfield model Ising model Potts model Boolean network Markov random field Percolation Pitman–Yor process Point process Cox Poisson Random field Random graph

Time series models	Autoregressive conditional heteroskedasticity (ARCH) model Autoregressive integrated moving average (ARIMA) model Autoregressive (AR) model Autoregressive–moving-average (ARMA) model Generalized autoregressive conditional heteroskedasticity (GARCH) model Moving-average (MA) model

Financial models	Black–Derman–Toy Black–Karasinski Black–Scholes Chen Constant elasticity of variance (CEV) Cox–Ingersoll–Ross (CIR) Garman–Kohlhagen Heath–Jarrow–Morton (HJM) Heston Ho–Lee Hull–White LIBOR market Rendleman–Bartter SABR volatility Vašíček Wilkie

Actuarial models	Bühlmann Cramér–Lundberg Risk process Sparre–Anderson

Queueing models	Bulk Fluid Generalized queueing network M/G/1 M/M/1 M/M/c

Properties	Càdlàg paths Continuous Continuous paths Ergodic Exchangeable Feller-continuous Gauss–Markov Markov Mixing Piecewise deterministic Predictable Progressively measurable Self-similar Stationary Time-reversible

Limit theorems	Central limit theorem Donsker's theorem Doob's martingale convergence theorems Ergodic theorem Fisher–Tippett–Gnedenko theorem Large deviation principle Law of large numbers (weak/strong) Law of the iterated logarithm Maximal ergodic theorem Sanov's theorem

Inequalities	Burkholder–Davis–Gundy Doob's martingale Kunita–Watanabe

Tools	Cameron–Martin formula Convergence of random variables Doléans-Dade exponential Doob decomposition theorem Doob–Meyer decomposition theorem Doob's optional stopping theorem Dynkin's formula Feynman–Kac formula Filtration Girsanov theorem Infinitesimal generator Itô integral Itô's lemma Kolmogorov continuity theorem Kolmogorov extension theorem Lévy–Prokhorov metric Malliavin calculus Martingale representation theorem Optional stopping theorem Prokhorov's theorem Quadratic variation Reflection principle Skorokhod integral Skorokhod's representation theorem Skorokhod space Snell envelope Stochastic differential equation Tanaka Stopping time Stratonovich integral Uniform integrability Usual hypotheses Wiener space Classical Abstract

Disciplines	Actuarial mathematics Econometrics Ergodic theory Extreme value theory (EVT) Large deviations theory Mathematical finance Mathematical statistics Probability theory Queueing theory Renewal theory Ruin theory Statistics Stochastic analysis Time series analysis Machine learning

List of topics Category

This article is issued from Wikipedia - version of the Thursday, November 05, 2015. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.