
616 11 L´evy Processes
Proposition 11.2.6.1 (a) An F-L´evy process is a martingale if and only if
it is an F-local martingale.
(b) Let X be a L´evy process such that X is a martingale. Then, the process
E(X) is a martingale.
Proof: See He et al. [427], Theorem 11.4.6. for part (a) and Cont and Tankov
[192] for part (b).
Proposition 11.2.6.2 We assume that, for any t, E(|X
t
|) < ∞,whichis
equivalent to
1
{|x|≥1}
|x|ν(dx) < ∞. Then, the process (X
t
− E(X
t
),t≥ 0)
is a martingale; hence, the process (X
t
,t ≥ 0) is a martingale if and only if
E(X
t
)=0, i.e., m +
1
{|x|≥1}
xν(dx)=0.
Proof: The first part is obvious. The second part of the proposition follows
from the computation of E(X
t
) which is obtained by differentiation of the
characteristic function E(e
iuX
t
)atu = 0. The condition
1
{|x|≥1}
|x|ν(dx) <
∞ is needed for X
t
to be integrable.
Proposition 11.2.6.3 (Wald Martingale.)
For any λ such that Ψ(λ)=lnE(e
λX
1
) < ∞, the process (e
λX
t
−tΨ(λ)
,t ≥ 0)
is a martingale .
Proof: Obvious from the independence of increments.
Note that Ψ(λ) is well defined for every λ>0 in the case where the
L´evy measure has support in (−∞, 0[. In that case, the L´evy process is said
to be spectrally negative (see Section 11.5).
Corollary 11.2.6.4 The process (e
X
t
,t ≥ 0) is a martingale if and only if
|x|≥1
e
x
ν(dx) < ∞ and
1
2
σ
2
+ m +
(e
x
− 1 − x1
{|x|≤1}
)ν(dx)=0.
Proof: This follows from the above proposition and the expression of Ψ(1).
Proposition 11.2.6.5 (Dol´eans-Dade Exponential.) Let X be a real-
valued (m, σ
2
,ν)-L´evy process and Z the Dol´eans-Dade exponential of X, i.e.,
the solution of dZ
t
= Z
t
−
dX
t
,Z
0
=1.Then
Z
t
= e
X
t
−σ
2
t/2
0<s≤t
(1 + ΔX
s
)e
−ΔX
s
:= E(X)
t
.
It is important to note that the product
0<s≤t
(1 + |ΔX
s
|)e
−ΔX
s
=
0<s≤t
e
−ΔX
s
+ln(1+|ΔX
s
|)