A stochastic process X is said to be uniformly integrable if the set of random variables is uniformly integrable. However, even if this is the case, it does not follow that the set of values of the process sampled at arbitrary stopping times is uniformly integrable.
For the case of a cadlag martingale X, optional sampling can be used. If is any fixed time then this says that
for stopping times
. As sets of conditional expectations of a random variable are uniformly integrable, the following result holds.
Lemma 1 Let X be a cadlag martingale. Then, for each
, the set
is uniformly integrable.
This suggests the following generalized concepts of uniform integrability for stochastic processes.
Definition 2 Let X be a jointly measurable stochastic process. Then, it is
- of class (D) if
is uniformly integrable.
- of class (DL) if, for each
,
is uniformly integrable.
The term `class (D)’ is used extensively in the literature on stochastic process theory and, in particular, class (D) submartingales are commonly used for the Doob-Meyer decomposition. The origin of the term is not clear, although it has been suggested that Meyer originally used the term in reference to Doob, concerning processes for which Doob’s decomposition results can be generalized. The term `class (DL)’ is then a kind of localization of class (D). A process X is of class (DL) if and only if the stopped processes are of class (D) for all times
.
For martingales, the following is true.
Lemma 3 Any cadlag martingale X is of class (DL).
Furthermore, X is of class (D) if and only if it is uniformly integrable.
This result follows from Lemma 4 below applied to the nonnegative submartingale .
Before proceeding, I mention the following basic properties of uniform integrability, which are used in this post. This is just standard measure theory, and I added proofs of these to the PlanetMath website.
- The set
is uniformly integrable for any given integrable variable Z.
- Any collection of random variables Y which are all dominated by random variables
from some uniformly integrable set
(so that
) is itself uniformly integrable.
- Any collection of conditional expectations of random variables in a uniformly integrable set
is itself uniformly integrable.
- The set of limits (in probability) of random variables in a uniformly integrable set
is itself uniformly integrable.
As for martingales, Nonnegative submartingales satisfy particularly good uniform integrability properties.
Lemma 4 Any positive cadlag submartingale X is of class (DL).
Furthermore, X is of class (D) if and only if it is uniformly integrable.
Proof: By optional sampling, for any stopping , the inequality
holds. So, the set of random variables for such stopping times are dominated by conditional expectations of
, hence is uniformly integrable. Therefore the process is of class (DL).
Now suppose that is uniformly integrable. By the argument above, the set of random variables
for bounded stopping times are dominated by conditional expectations of this set. Furthermore, for finite stopping times,
is a limit of random variables from this set and X is of class (D). Conversely, if X is of class (D) then sampling X at the constant stopping times shows that
is uniformly integrable. ⬜
The conclusion of Lemma 4 does not hold for arbitrary cadlag submartingales, so the nonnegativity condition is required. For counterexamples, see the examples of local martingales which are not proper martingales from the following post (they are submartingales, and not of class (DL)). However, the following is true.
Lemma 5 A cadlag submartingale is of class (DL) if and only if its negative part is of class (DL).
Proof: If X is a cadlag submartingale then its positive part is a nonnegative submartingale which, by Lemma 4, is of class (DL). Writing
shows that X is class (DL) if and only if
is. ⬜
Given an -integrable martingale X, for
, it follows that
is a nonnegative submartingale and, hence, of class (DL). In fact, by Doob’s martingale inequalities, we have the much stronger condition that
is dominated in
by
. In any case, the following simple corollary is useful.
Corollary 6 If X is an
-integrable cadlag martingale then
is of class (DL).
For arbitrary cadlag submartingales, where the class (DL) property can fail, the following result concerning uniform integrability at a decreasing sequence of stopping times can sometimes be applied instead.
Lemma 7 Let X be a cadlag submartingale and
be a decreasing sequence of bounded stopping times. Then,
is uniformly integrable.
Proof: The following result can be applied; a submartingale sampled at a decreasing sequence of times which are bounded below is a uniformly integrable sequence. This was proven in a previous post using a simple `Doob-style’ decomposition.
In this case, for each positive integer n set . By optional sampling, is a submartingale with time index running over the negative integers, and with respect to the filtration
. Setting
extends
to
, bounding the negative integers from below. So,
is a uniformly integrable sequence. ⬜
Hi,
A little remark, you mention a counter example in some post after the proof of lemma 4, but the hyperlink is missing.
Regards
When I said `the following post’ I meant to say `the upcoming post in these notes’. So, it was not posted until after this one and couldn’t be linked when this was posted as it didn’t exist yet. I linked it now. Thanks for pointing this out.
Dear George Lowther, I don’t have comments on the contents of this article. I am a PhD student in mathematic(Wits University South-Africa) and desire to get article on quasi-martingales and stochastic integrals.
Regards
Francis
X^2 is a submartingale if X is a martingale? How does that follow? surely we only know it is a local submartingale ?
I’m probably missing something but doesn’t this just follow by Jensen?
Just for clarification: Lemma 1 applies only to uniformly integrable martingales right? At least the reasoning seems to apply only to such processes.
This comment in Stack Exchange suggests that not every cadlag martingale is uniformly integrable: https://math.stackexchange.com/a/2726776
Ok maybe now I see that the Lemma is true anyways like this, since we can apply that reasoning to the martingale stopped at t.
Anyways, I think in this sentence I think D and DL are switched: “A process X is of class (DL) if and only if the stopped processes {X^t} are of class (D) for all times {t}.”
(I really really like your blog btw, coming back to it again and again since years)
I would humbly request a clarification of the first paragraph: “However, even if this is the case, it does not follow that the set of values of the process sampled at arbitrary stopping times is uniformly integrable.”
The “set of values” can’t be a set of numbers, but if it’s a subset of {X_t : 0 <= t < inf} then it is uniformly integrable by assumption. What is the "set of values" here?