PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: High Entry average rating: No information on entry rating
Kolmogorov's martingale inequality (Theorem)
Theorem (Kolmogorov's martingale inequality)   Let $X(t)$ , for $0 \leq t \leq T$ , be a submartingale with continuous sample paths. Then for any constant $\alpha > 0$ ,$$ \PP \Bigl( \max_{0 \leq t \leq T} X(t) \geq \alpha \Bigr) \leq \frac{\E[ X(T)^+ ]}{\alpha}\,.$$
(The notation $X(T)^+$ means $\max(X(T),0)$ , the positive part of $X(T)$ .)

Notice the analogy with Markov's inequality. Of course, the conclusion is much stronger than Markov's inequality, as the probabilistic bound applies to an uncountable number of random variables. The continuity and submartingale hypotheses are used to establish the stronger bound.

Proof. Let $\{ t_i \}_{i=1}^n$ be a partition of the interval $[0,T]$ . Let$$ B = \Bigl\{ \max_{1 \leq i \leq n} X(t_i) \geq \alpha \Bigr\}$$ and split $B$ into disjoint parts $B_i$ , defined by$$ B_i = \Bigl\{ X(t_j) < \alpha \text{ for all } j < i \text{ but } X(t_i) \geq \alpha \Bigr\}\,.$$ Also let $\{ \sF_t \}$ be the filtration under which $X(t)$ is a submartingale.

Then

% latex2html id marker 414 $\displaystyle \mathbb{P}(B)$ % latex2html id marker 415 $\displaystyle = \sum_{i=1}^n \mathbb{E}\bigl[1(B_i)\bigr]$    
  % latex2html id marker 416 $\displaystyle \leq \sum_{i=1}^n \mathbb{E}\left[ \frac{X(t_i)}{\alpha} \, \mathbf{1}(B_i) \right]$ definition of $ B_i$    
  % latex2html id marker 419 $\displaystyle \leq \frac{1}{\alpha} \sum_{i=1}^n \m... ...l[ \mathbb{E}\bigl[X(T) \mid \mathcal{F}_{t_i} \bigr] \, \mathbf{1}(B_i) \Bigr]$ $ X(t)$ is submartingale    
  % latex2html id marker 422 $\displaystyle = \frac{1}{\alpha} \sum_{i=1}^n \math... ...l[ \mathbb{E}\bigl[X(T) \, \mathbf{1}(B_i) \mid \mathcal{F}_{t_i} \bigr] \Bigr]$ $ B_i$ is % latex2html id marker 426 $ \mathcal{F}_{t_i}$-measurable    
  % latex2html id marker 427 $\displaystyle = \frac{1}{\alpha} \sum_{i=1}^n \mathbb{E}\bigl[ X(T) \, \mathbf{1}(B_i) \bigr]$ iterated expectation    
  % latex2html id marker 428 $\displaystyle = \frac{1}{\alpha} \mathbb{E}\bigl[ X(T) \, \mathbf{1}(B) \bigr]$    
  % latex2html id marker 429 $\displaystyle \leq \frac{1}{\alpha} \mathbb{E}\bigl[ X(T)^+ \, \mathbf{1}(B) \bigr]$    
  % latex2html id marker 430 $\displaystyle \leq \frac{1}{\alpha} \mathbb{E}\bigl[ X(T)^+ \bigr]$ monotonicity.    

Since the sample paths are continuous by hypothesis, the event$$ A = \Bigl\{ \max_{0 \leq t \leq T} X(t) \geq \alpha \Bigr\}$$ can be expressed as an countably infinite intersection of events of the form $B$ with finer and finer partitions $\{ t_i \}$ of the time interval $[0,T]$ . By taking limits, it follows $\PP(A)$ has the same bound as the probabilities $\PP(B)$ . $ \qedsymbol$
Corollary   Let $X(t)$ , for $0 \leq t \leq T$ , be a square-integrable martingale possessing continuous sample paths, whose unconditional mean is $m = \E[X(0)]$ . For any constant $\alpha > 0$ ,$$ \PP \Bigl( \max_{0 \leq t \leq T} \abs{X(t)-m} \geq \alpha \Bigr) \leq \frac{\Var[X(T)]}{\alpha^2}\,.$$
Proof. Apply Kolmogorov's martingale inequality to $(X(t)-m)^2$ , which is a submartingale by Jensen's inequality. $ \qedsymbol$




"Kolmogorov's martingale inequality" is owned by stevecheng.
(view preamble | get metadata)

View style:

See Also: Markov's inequality, Doob's inequalities

Other names:  Kolmogorov's submartingale inequality
Log in to rate this entry.
(view current ratings)

Cross-references: Jensen's inequality, mean, limits, finer, intersection, countably infinite, event, hypothesis, filtration, disjoint, interval, partition, random variables, number, uncountable, bound, stronger, conclusion, Markov's inequality, analogy, positive, sample paths, continuous, submartingale, inequality, martingale
There is 1 reference to this entry.

This is version 5 of Kolmogorov's martingale inequality, born on 2007-06-29, modified 2009-01-01.
Object id is 9694, canonical name is KolmogorovsMartingaleInequality.
Accessed 1647 times total.

Classification:
AMS MSC60G07 (Probability theory and stochastic processes :: Stochastic processes :: General theory of processes)
 60G44 (Probability theory and stochastic processes :: Stochastic processes :: Martingales with continuous parameter)

Pending Errata and Addenda
None.
[ View all 1 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | prove | add result | add corollary | add example | add (any)