In the previous two posts I gave a definition of stochastic integration. This was achieved via an explicit expression for elementary integrands, and extended to all bounded predictable integrands by bounded convergence in probability. The extension to unbounded integrands was done using dominated convergence in probability. Similarly, semimartingales were defined as those cadlag adapted processes for which such an integral exists.
The current post will show how the basic properties of stochastic integration follow from this definition. First, if is a cadlag process whose sample paths are almost surely of finite variation over an interval
, then
can be interpreted as a Lebesgue-Stieltjes integral on the sample paths. If the process is also adapted, then it will be a semimartingale and the stochastic integral can be used. Fortunately, these two definitions of integration do agree with each other. The term FV process is used to refer to such cadlag adapted processes which are almost surely of finite variation over all bounded time intervals. The notation
represents the Lebesgue-Stieltjes integral of
with respect to the variation of
. Then, the condition for
to be
-integrable in the Lebesgue-Stieltjes sense is precisely that this integral is finite.
Lemma 1 Every FV process
is a semimartingale. Furthermore, let
be a predictable process satisfying
(1) almost surely, for each
. Then,
and the stochastic integral
agrees with the Lebesgue-Stieltjes integral, with probability one.
Proof: First, for bounded predictable integrands, the stochastic integral can simply be defined as the Lebesgue-Stieltjes integral on the sample paths. This clearly agrees with the explicit expression for elementary integrands and, by the bounded convergence theorem, satisfies bounded convergence in probability, as required.
Now, suppose that the predictable process satisfies (1), so it is integrable with respect to
in the Lebesgue-Stieltjes sense. If
is a sequence of bounded predictable processes tending to a limit
then, by the dominated convergence theorem for Lebesgue integration, the following limit holds
with probability one and, therefore, also under convergence in probability. Choosing shows that
. Then, choosing
shows that the Lebesgue-Stieltjes integral
agrees with the stochastic integral. ⬜
Next, associativity of integration can be shown. This is easiest to understand in the differential form, in which case, equation (2) below simply says that .
Theorem 2 (Associativity) Suppose that
for a semimartingale
and
-integrable process
. Then,
is a semimartingale and a predictable process
is
-integrable if and only if
is
-integrable, in which case
(2)
Proof: That is a semimartingale, and equation (2) is satisfied for bounded
has already been shown in the previous post, in the proof of existence of cadlag versions of integrals. Now, suppose that
, and choose a sequence of bounded predictable processes
tending to a limit
. As
is dominated by the
-integrable process
,
in probability, as . Taking
gives zero for the right hand side so, by definition,
. Then, taking
, dominated convergence in probability shows that the left hand side tends to
, and equation (2) follows.
Conversely, suppose that and let
be a sequence of bounded predictable processes satisfying
. Writing
, the above argument shows that
and
By dominated convergence, this tends to zero in probability as . So,
as required. ⬜
Note that, as Theorem 2 gives an `if and only if’ condition for to be
-integrable, the definition of
-integrable processes as good dominators given in these notes is precisely the correct set of processes to make this theorem hold. In fact, noting that
and
are bounded for any process
, associativity gives the following alternative criterion for
-integrability and definition of stochastic integration for unbounded integrands.
Corollary 3 Let
be a semimartingale and
be a predictable process. Then,
is
-integrable if and only if there exists a semimartingale
satisfying
and
(3) in which case
.
Proof: First, if and
then equation (3) follows from associativity of the stochastic integral. Conversely, suppose that
is a semimartingale satisfying (3) and that
. Letting
equal the integral on the left hand side of (3), associativity of integration shows that
is
-integrable and
Similarly, as is also equal to the right hand side of (3), associativity shows that
is
-integrable and
Comparing these equalities gives as required. ⬜
Stochastic integrals behave particularly well under stopping. Recall that represents a process
stopped at the time
.
Lemma 4 Let
be a semimartingale,
be
-integrable and
be a stopping time. Then, the stopped process
is also a semimartingale,
is
-integrable and
(4)
Proof: Approximating by the discrete stopping times
gives
As , bounded convergence in probability can be applied,
Associativity of the stochastic integral shows that is a semimartingale,
and, by integrating
, gives the right hand equality of (4).
Similarly, integrating with respect to
gives,
as required. ⬜
Next, the class of -integrable processes is unchanged under localization.
Lemma 5 Let
be a semimartingale. Then, a predictable process
is
-integrable if and only if it is locally
-integrable.
Proof: If is locally
-integrable then there exist stopping times
such that
. Choose bounded predictable processes
which tend to zero as
goes to infinity. Then, for any fixed
,
are dominated by
. So, equation (4) and dominated convergence in probability give
in probability as . By choosing
large,
can be made as close to 1 as required, showing that
goes to zero in probability. So, by definition,
. ⬜
A consequence of this result is the following important statement, which applies to all semimartingales; all locally bounded predictable processes are -integrable. In particular, if
is a cadlag adapted process then its left limits
give a left-continuous and adapted, hence predictable, process. It is, furthermore, locally bounded and the integral
is well defined.
A similar result as above shows that the class of semimartingales is closed under localization.
Lemma 6 A stochastic process is a semimartingale if and only if it is locally a semimartingale.
Proof: By definition, a process is locally a semimartingale if there are stopping times
such that
are semimartingales. Then,
are semimartingales. For any bounded predictable process
and
, Lemma 4 gives
In particular whenever
. So, we can define the integral with respect to
by
where the limit on the right hand side is eventually constant, with probability one. This clearly satisfies the explicit expression for elementary integrands. To show that is a semimartingale, it only remains to prove bounded convergence in probability. So, suppose that
is a uniformly bounded sequence of predictable processes. Dominated convergence in probability can be applied to the semimartingale
,
Then, by choosing large enough,
can be made as close to 1 as required, showing that
does indeed converge in probability
. ⬜
Let us now move on to the dominated convergence theorem. Although dominated convergence in probability was required by the definition of stochastic integration, convergence also holds in a much stronger sense. A sequence of processes converges ucp to a limit
if
tends to zero in probability for each
.
Theorem 7 (Dominated Convergence) Let
be a semimartingale and
be a sequence of predictable processes converging to a limit
. If the sequence is dominated by some
-integrable process
, so that
, then
and, furthermore, convergence holds in the semimartingale topology.
Proof: As semimartingale convergence implies ucp convergence, it is enough to show that converges to zero in the semimartingale topology. Choose a sequence
of elementary predictable processes. Then,
, and dominated convergence in probability gives
in probability as . By definition, this proves semimartingale convergence. ⬜
The dominated convergence theorem can be used to prove the following result stating that the jumps of a stochastic integral behave in the expected way. Recall that the jump of a cadlag process is equal to
. In these notes, when two processes are shown to be equal, this is always taken to mean that they agree up to evanescence.
Corollary 8 If
is a semimartingale and
then
(5)
Proof: Let be the set of all
-integrable processes such that equation (5) is satisfied. This contains all elementary predictable processes, by the explicit expression for the integral. Consider a sequence
which is dominated by some
and suppose that
. If it can be shown that
then the functional monotone class theorem will imply that
, as required.
By Theorem 7, converges ucp to
. Passing to a subsequence if necessary, we may suppose that, almost surely, the sample paths converge uniformly on compacts. Then, the following limits hold uniformly on compacts,
⬜
Stochastic integration preserves certain properties of processes, such as continuity and predictability.
Corollary 9 Suppose that
for a semimartingale
and
. If
is continuous (resp. predictable) then so is
.
Proof: If is continuous then equation (5) shows that
, so
is continuous.
For any cadlag process , its left-limit
is a left-continuous and adapted process which, by definition, is predictable. So,
is predictable if and only if
is. So, suppose that
is predictable. Then, (5) shows that
is also predictable. ⬜
Finally, the set of semimartingales is a vector space, and stochastic integration is linear in the integrator
.
Lemma 10 Let
be semimartingales and
be real numbers. Then,
is a semimartingale. Furthermore, any process
which is both
-integrable and
-integrable is also
-integrable and,
(6)
Proof: The integral of any bounded predictable process with respect to
can be defined by (6). This clearly satisfies the explicit expression for elementary integrands, and satisfies bounded convergence in probability, as required. So,
is a semimartingale. Now, suppose that
. If
is a sequence of bounded predictable processes tending to a limit
, then dominated convergence in probability with respect to
and
gives
in probability as . Taking
, the right hand side is zero and, by definition,
. Then, taking
, dominated convergence shows that the left hand side tends to
, giving (6). ⬜
Dear George,
Talking about the Corollary 9 here, I am wondering whether the stochastic integration preserves the α-order Holder continuity of the integrator process X. For example, consider
, with V an adapted process and B a standard Brownian motion. It is well-known that almost surely, B is Holder continuous with order α ∈ (0,1/2).
Now my question is: is this Ito integral
also Holder continuous with the same order α? If not, what additional conditions do we need to make it so? I personally think that this should depend on the properties of the process V, but can not find reference on this. A positive answer or a counter-example are both welcome!
Thanks in Advance!
Rocky
Hi. No, the integral does not have to be Holder continuous. It’s getting late here, so I don’t have time to construct a detailed example.
to find sufficient conditions for the stochastic integral to be Holder continuous.
Just restricting to deterministic V, you can ensure that the integral fails to satisfy any given modulus of continuity. To do this, consider the integral as a time change of Brownian motion and use the law of the iterated logarithm. By a similar time-change argument, you just need to look at the modulus of continuity of
Hi George,
I am curious how you define Lebesgue Stieltjes in Lemma 1 for non-Riemann integrable integrands (can even be the classical deterministic example
). Is there a Legesque integral equivalent for the pathwise integral? Sorry if this is a very primitive question 🙂 Thanks in advance.
P.S.: There seems to be a small typo in the second paragraph of the proof of theorem 2: It should say
(not dX).
[GL: I edited your LaTeX]
Given any right-continuous finite variation function
you can define the Lebesgue-Stieltjes integral
for bounded measurable
, and more generally whenever
is measurable. Here,
is a finite signed measure on (0,t] satisfying
for
, and
is its variation. This is quite standard, and I’ll give you a reference when I get a moment to look it up. It’s probably easiest to show that this is well-defined for f an increasing function (and generalize by looking at the difference of increasing functions). In that case, you can write the integral as
where I have set
.
Hi, I was wondering, if two integrable previsable processes are indistinguishable, can we say that their integrals are equal almost surely? Don’t seem to remember that being mentioned..
Hmm, I see for indistinguishable, surely left continuous integrands this follows by step function approximation (as the statement is certainly true for simple integrands). Perhaps the full general case follows by an MCT argument…
..now having read onwards, I see that we can use the Itou isometry even for discontinuous local martingales, giving the result.
The definition of “local integrability” in Lemma 5 seems different from the one given on the “Localization”-Page where the running supremum has to be locally integrable. Does the latter refer to the finiteness of the expectations at all times and has nothing to do with stochastic integration?
“locally X-integrable” has a different meaning to “locally integrable”. The first means that there exist stopping times
increasing to infinity such that
are X-integrable. i.e.,
is X-integrable in a local sense. In the second, integrability refers to finite expectation, and the running supremum is also used (as this behaves better under localisation then just looking at the integrability at fixed times).
Hello, thank you for the post. Could you provide any sources?
The results here are all fairly standard. I’ll post some of my references when I have a moment, and I think I’ll create a page on this blog to list my stochastic calculus references.
Minor correction: in the first display after Eq. (4),
should perhaps be replaced by
.
Hi Richard. You are correct – I fixed. Thanks!
I have a question about the dominated convergence theorem as stated here (and elsewhere).
It is unclear to me whether the limit $\xi$ is assumed to be predictable or not. If it is not predictable (and if the predictability does not follow from the assumptions) then one must extend the concept of the integral for such processes.
A pointwise limit of (real-valued) measurable functions is itself measurable, so yes the limit must be predictable.
I was suspecting this was the answer but because we are dealing with an underlying product space \Omega\times\mathbb{\R} I did not quite see it, but I do now. Thank you!