The martingale property is strong enough to ensure that, under relatively weak conditions, we are guaranteed convergence of the processes as time goes to infinity. In a previous post, I used Doob’s upcrossing inequality to show that, with probability one, discrete-time martingales will converge at infinity under the extra condition of -boundedness. Here, I consider continuous-time martingales. This is a more general situation, because it considers limits as time runs through the uncountably infinite set of positive reals instead of the countable set of positive integer times. Although these results can also be proven in a similar way by counting the upcrossings of a process, I instead show how they follow directly from the existence of cadlag modifications. We work with respect to a complete filtered probability space .

Recall that a stochastic process is -bounded if the set is -bounded. That is, is bounded above by some finite value as runs through the positive reals.

Theorem 1Let be a cadlag and -bounded martingale (or submartingale, or supermartingale). Then, the limit exists and is finite, with probability one.

*Proof:* It suffices to consider submartingales, as the martingale and supermartingale cases follow from applying the result to . So, suppose that is a submartingale such that is bounded above by some real number . Define the process by

and the filtration for and otherwise. Clearly is right-continuous and is a submartingale with respect to this filtration over the range . The idea is to use the results of the post on cadlag modifications to show that it has a cadlag version, in which case the limit exists almost surely.

Consider an elementary process of the form

for a finite sequence of times , -measurable random variables and -measurable random variable . If then . Also, let be the first of the times satisfying . Then, using the submartingale property for ,

So the set of expectations of elementary integrals for is bounded by , and it follows that has a cadlag modification.

A particularly simple consequence of this is that nonnegative martingales and supermartingales always have well defined limits at infinity.

Corollary 2If is a nonnegative cadlag martingale (or supermartingale) then the limit exists and is finite, with probability one.

*Proof:* The supermartingale property gives showing that is bounded. So the previous result applies.

For uniformly integrable random variables, the following stronger result is obtained. Recall that a process is uniformly integrable if the set of random variables is uniformly integrable.

Theorem 3Let be a uniformly integrable cadlag martingale. Then, the limit exists with probability one. Furthermore, this is the unique (up to a zero probability set) integrable and -measurable random variable such that for each .

*Proof:* As uniformly integrable sets are -bounded, Theorem 1 shows that the limit exists and is almost surely finite. Uniform integrability allows us to take the limit in the equality to obtain . It only remains to show that this is the only integrable -measurable random variable with this property. So, suppose that for all and some integrable and -measurable . Then

for all and . The monotone class theorem extends this to all from which it follows that almost surely.

** Continuous martingales **

Even stronger convergence results exist for continuous martingales.

Theorem 4Let be a continuous martingale. Then, almost surely, one of the following is satisfied

- exists and is finite.
- and . In this case, the process hits every value in at arbitrarily large times.

In the second statement above, the property that the process hits every value at arbitrarily large times is nothing more than the intermediate value theorem applied to and .

Consider, for example, a standard Brownian motion . The sequence of random variables are independent with the standard normal distribution, so cannot converge in the limit as goes to infinity. Consequently, the second statement of Theorem 4 holds, showing that, with probability one, Brownian motion hits every real value at arbitrarily large times.

Theorem 4 follows from applying the following to both and .

Lemma 5Let be a continuous submartingale. Then, almost surely, one of the following is satisfied.

- exists and is finite.
- .

*Proof:* Let be the sequence of stopping times

Then, is a nonnegative supermartingale and Corollary 2 says that it must converge at infinity. This can only happen if either converges or if . Letting increase to infinity gives the result.

Although it is possible to generalize Theorem 4 to discontinuous process, it would still be necessary to put restrictions on the size of the jumps . The result does not hold for arbitrary cadlag processes. To see this, consider the following example.

Choose a sequence such that . For example, we could take . Then let be a sequence of independent random variables satisfying and . By the Borel Cantelli lemma, for all large (with probability one). The process

is a martingale with respect to its natural filtration. However, with probability one, it ends up by forever oscillating up and down by unit jumps, so never converges and never diverges to infinity.

[…] martingale convergence, the limit of the -bounded martingale M exists almost surely. So, there is no problem with […]

Pingback by Quadratic Variations and the Ito Isometry « Almost Sure — 29 March 10 @ 12:03 PM |

[…] By martingale convergence, with probability one either exists and is finite or and are both infinite. It just needs to be […]

Pingback by Continuous Local Martingales « Almost Sure — 1 April 10 @ 12:11 PM |

Dear George,

I’m curious as to why exactly ythe cadlag property is required for Theorem 1. The proof seems to hold without any use of it.

Thanks,

Tigran

Comment by Tigran — 27 January 12 @ 5:23 PM |

The proof uses the fact that the constructed process

Yis right-continuous and, as any two right-continuous modifications of the same process are equal (up to evanescence),Ymust equal its cadlag modification and, hence, have left-limits.So, you need right-continuity. For martingales, right-continuity is equivalent to being cadlag.

Comment by George Lowther — 28 January 12 @ 6:00 PM |

I am wondering how you get that follows from uniform convergence in the proof of theorem 3 since uniformly integrable and does not necessarily imply ?

Comment by Anonymous — 14 February 17 @ 4:42 PM |