8.3 Time-Changed L
´
evy Process 189
M
φ
(t)=exp
i
φ
X(t) −Y (t)
Ψ
L
(
φ
)
. (8.35)
This new measure Q
φ
is called the leverage-neutral measure. It can be shown that
M
φ
(t) is a well-defined complex-valued Q-martingale, and is dependent on the value
of
φ
. Under the leverage-neutral measure Q
φ
,wehave
f
X(t)
(
φ
) ≡ E
Q
e
i
φ
X(t)
= E
Q
φ
e
−Y (t)[−
Ψ
L
(
φ
)]
≡ g
φ
Y(t)
(−
Ψ
L
(
φ
)), (8.36)
where g
φ
Y(t)
(−
Ψ
L
(
φ
)) denotes the Laplace transform of Y(t) under the complex-
valued measure Q
φ
. By introducing a new notation
Ψ
∗
L
(
φ
)=−
Ψ
L
(
φ
), the above
relation may be expressed as
E
Q
e
i
φ
X(t)
= E
Q
φ
e
−Y (t)
Ψ
∗
L
(
φ
)]
⇒ f
X(t)
(
φ
)=g
φ
Y(t)
(
Ψ
∗
L
(
φ
)).
This means that through this special change of measure, we in fact change a Fourier
transform under Q to a Laplace transform under Q
φ
. In many cases where a leverage
effect between the random time and the original L
´
evy process is present, it is more
convenient to compute the Laplace transform g
φ
Y(t)
(
Ψ
∗
L
(
φ
)) under the measure Q
φ
for f
X(t)
(
φ
). In more details, the calculation of g
φ
Y(t)
(
Ψ
∗
L
(
φ
)) may be performed in
analogy to the zero bond pricing,
g
φ
Y(t)
(
Ψ
∗
L
(
φ
)) = E
Q
φ
e
−
T
0
Ψ
∗
L
(
φ
)y(t)dt
. (8.37)
Obviously, if y(t) is a diffusion process, the Feynman-Kac theorem may be directly
applied to solve the above expected value, as we have done repeatedly in stochastic
volatility models and short rate models.
Similarly to the Dol
´
eans exponential of a diffusion process, for any complex
value
γ
,theDol
´
eans exponential of time-changed L
´
evy process X(t) is given by
E (
γ
X(t)) = exp
γ
X(t)+Y(t)
Ψ
∗
L
(−i
γ
)
,
which has an expected value of one. The complex-valued martingale M
φ
(t) is then
a special case of E (
γ
X(t)), namely
M
φ
(t)=E (i
φ
X(t)).
Because correlation or dependence is a very nature of the processes of a same
type, in order to specify a concrete measure for a correlation or dependence, it is
reasonable to assume that the L
´
evy process L(t) and the time-change process y(t) are
governed by a same type of distribution laws or L
´
evy measures. Therefore, if a L
´
evy
process is purely continuous, i.e., is a Brownian motion, non-zero correlation can
only be generated by a continuous component. Similarly, if a L
´
evy process is purely
jump, non-zero correlation can only be generated by a pure jump. In particular,
a correlated time change of a L
´
evy process with finite (infinite) activity may be
only achieved by a subordinator with finite (infinite) activity. In following, we will