8.2 Standard Poisson Process 463
and the martingale property follows. Then, one passes to the limit. The same
procedure can be applied to prove that the two processes (ii) and (iii) of (8.2.4)
are martingales.
We have used in (iii) the notation E(HM)
t
for the Dol´eans-Dade
exponential of the martingale
H
s
dM
s
.
Comments 8.2.2.7 (a) If H satisfies E(
t
0
|H
s
|ds) < ∞, the process in (i) is
still a martingale.
(b) The results of Exercise 8.2.2.3 are now quite clear: in general, the
martingale property (8.2.4) does not extend from predictable to adapted
processes H. Indeed, from the definition of the stochastic integral w.r.t. N,
and the fact that for every fixed s, N
s
− N
s−
=0, Pa.s.,
t
0
(N
s
− N
s−
)dM
s
=
t
0
(N
s
− N
s−
)dN
s
− λ
t
0
(N
s
− N
s−
)ds
= N
t
− λ
t
0
(N
s
− N
s−
)ds = N
t
.
Hence, the left-hand side, where one integrates the adapted (unpredictable)
process N
s
− N
s−
with respect to the martingale M, is not a martingale.
Equivalently, the process
t
0
N
s
dM
s
=
t
0
N
s−
dM
s
+ N
t
,
is not a martingale.
(c) Property (i) of Proposition 8.2.2.6 enables us to prove that the jump
times (T
i
,i ≥ 1) are not predictable. Indeed, if T
1
were a predictable
stopping time, then the process (1
{t<T
1
}
,t≥ 0) would be predictable, however
t
0
1
{s<T
1
}
dM
s
= −λ(t ∧T
1
) is not a martingale. More generally, assume that
T
i
is predictable. Then, (
t
0
1
[T
i
]
(s)dM
s
,t≥ 0) would be a martingale and
E
t
0
1
[T
i
]
(s)dN
s
= E(1
T
i
≤t
(N
T
i
− N
T
i
−
)) = P(T
i
≤ t)
would be equal to E
t
0
1
[T
i
]
(s)λds
= 0, which is absurd.
Remark 8.2.2.8 Note that (i) and (ii) of Proposition 8.2.2.1 imply that
the process (M
2
t
− N
t
; t ≥ 0) is a martingale. Hence, there exist (at least)
two increasing processes A such that (M
2
t
− A
t
,t ≥ 0) is a martingale. The
increasing process (λt, t ≥ 0) is the predictable quadratic variation of M
(denoted M), whereas the increasing process (N
t
,t ≥ 0) is the optional
quadratic variation of M (denoted [M]). For any μ ∈ [0, 1], the process
(μN
t
+(1− μ)λt; t ≥ 0) is increasing and the process