
480 8 Poisson Processes and Ruin Theory
Assume that μ>−1 and define Q|
F
t
= L
t
P|
F
t
. The process N is an
inhomogeneous Q-Poisson process with intensity ((μ(s)+1)λ(s),s ≥ 0) and
dS
t
= S
t
−
(r(t)dt + φ(t)dM
μ
t
)
where (M
μ
(t)=N
t
−
t
0
(μ(s)+1)λ(s) ds , t ≥ 0) is the compensated Q-
martingale. Hence, the discounted price SR is a Q-local martingale. In this
setting, Q is the unique equivalent martingale measure.
The condition μ>−1 is needed in order to obtain at least one e.m.m.
and, from the fundamental theorem of asset pricing, to deduce the absence of
arbitrage property.
If μ fails to be greater than −1, there does not exist an e.m.m. and there
are arbitrages in the market. We now make explicit an arbitrage opportunity
in the particular case when the coefficients are constant with φ>0and
b − r
φλ
> 1, hence μ<−1. The inequality
S
t
= S
0
exp[(b − φλ)t]
s≤t
(1 + φΔN
s
) >S
0
e
rt
s≤t
(1 + φΔN
s
) >S
0
e
rt
proves that an agent who borrows S
0
and invests in a long position in the
underlying has an arbitrage opportunity, since his terminal wealth at time T
S
T
−S
0
e
rT
is strictly positive with probability one. Note that, in this example,
the process (S
t
e
−rt
,t≥ 0) is increasing.
Comment 8.4.6.1 We have required that φ and b are continuous functions
in order to avoid integrability conditions. Obviously, we can generalize, to
some extent, to the case of Borel functions. Note that, since we have assumed
that φ(t) does not vanish, there is the equality of σ-fields
σ(S
s
,s≤ t)=σ(N
s
,s≤ t)=σ(M
s
,s≤ t) .
8.5 Poisson Bridges
Let N be a Poisson process with constant intensity λ, F
N
t
= σ(N
s
,s≤ t)its
natural filtration and T>0 a fixed time. Let G
t
= σ(N
s
,s ≤ t; N
T
)bethe
natural filtration of N enlarged with the terminal value N
T
of the process N.
8.5.1 Definition of the Poisson Bridge
Proposition 8.5.1.1 The process
η
t
= N
t
−
t
0
N
T
− N
s
T − s
ds, t ≤ T
is a G-martingale with predictable bracket
Λ
t
=
t
0
N
T
− N
s
T − s
ds .