
538 9 General Processes: Mathematical Facts
Definition 9.5.1.2 Let S be an (F, P)-semi-martingale and Q ∈M
P
(S).
The process S enjoys the F-predictable representation property (PRP) under
Q if any (Q, F)-local martingale M admits a representation of the form
M
t
= m +
t
0
m
s
dS
s
,t≤ T
where m is a constant and (m
s
,s≤ T ) is F-predictable.
We do not assume that F is the natural filtration of S.
Comment 9.5.1.3 In this section, our aim is to give some important results
on e.m.m’s. In finance, the existence of an e.m.m. is linked with the property
of absence of arbitrage. We do not give a full discussion of this link for which
the reader can refer to the papers of Stricker [809, 808] and Kabanov [500].
The books of Bj¨ork [102] and Steele [806] contain useful comments and the
book of Delbaen and Schachermayer [236] is an exhaustive presentation of
arbitrage theory.
9.5.2 Necessary Conditions for Existence
For Q ∈M
P
(S)wedenoteby(Λ
t
,t≤ T ) the right-continuous version of the
restriction to the σ-algebra F
t
of the Radon-Nikod´ym density of P|
F
t
with
respect to Q|
F
t
defined as P|
F
t
= Λ
t
Q|
F
t
.Weprovethat,ifS is a continuous
process and if M
P
(S) is non-empty, then S is a semi-martingale and that its
finite variation part is absolutely continuous with respect to the bracket of the
semi-martingale S, this last property being called the structure condition.
Theorem 9.5.2.1 Structure condition: If S is a continuous process and
if the set M
P
(S) is non-empty, then S is a P-semi-martingale with decom-
position S = M + A such that the finite variation process A is absolutely
continuous with respect to the bracket S, i.e., there exists a process H such
that A
t
=
t
0
H
s
dS
s
. Moreover, the integrability condition
t
0
H
2
s
dS
s
< ∞ (9.5.1)
holds.
Proof: Let S be a continuous process and Q ∈M
P
(S). The process Λ,
defined as P|
F
t
= Λ
t
Q|
F
t
, is a strictly positive Q-martingale. The process S
is a Q-local martingale (by definition of Q), hence, from Girsanov’s theorem,
the process
S
t
:=S
t
−
t
0
dS, Λ
s
Λ
s−
is a (P, F)-local martingale. The continuity
of S implies that S, Λ = S, Λ
c
. Therefore, S
t
=
S
t
+A
t
where the processes