
298 5 Complements on Continuous Path Processes
(In a financial setting, T
0
can be interpreted as the time of bankruptcy.)
Then, setting α =(a −x)/σ, T
−x/σ
(W )=inf{t : W
t
= −x/σ} and d
α
t
(W )=
inf{s ≥ t : W
s
= α}
P
x
g
a
T
0
(X) ≤ t|F
t
= P
d
α
t
(W ) >T
−x/σ
(W )|F
t
on the set {t<T
−x/σ
(W )}.Itiseasytoprovethat
P
d
α
t
(W ) <T
−x/σ
(W )|F
t
= Ψ(W
t∧T
−x/σ
(W )
,α,−x/σ),
where the function Ψ(·,a,b):R → R equals, for a>b,
Ψ(y,a, b)=P
y
(T
a
(W ) >T
b
(W )) =
⎧
⎨
⎩
(a − y)/(a − b)forb<y<a,
1fora<y,
0fory<b.
(See Proposition 3.5.1.1 for the computation of Ψ.) Consequently, on the set
{T
0
(X) >t} we have
P
x
g
a
T
0
(X) ≤ t|F
t
=
(α − W
t∧T
0
)
+
a/σ
=
(α − W
t
)
+
a/σ
=
(a − X
t
)
+
a
. (5.6.4)
As a consequence, applying Tanaka’s formula, we obtain the following result.
Lemma 5.6.3.1 Let X
t
= x + σW
t
,whereσ>0.TheF-predictable
compensator associated with the random time g
a
T
0
(X)
is the process A defined
as A
t
=
1
2α
L
α
t∧T
−x/σ
(W )
(W ),whereL
α
(W ) is the local time of the Brownian
Motion W at level α =(a − x)/σ.
5.6.4 Last Passage Time Before Maturity
In this subsection, we study the last passage time at level a of a diffusion
process X before the fixed horizon (maturity) T . We start with the case where
X = W is a Brownian motion starting from 0 and where the level a is null:
g
T
=sup{t ≤ T : W
t
=0}.
Lemma 5.6.4.1 The F-predictable compensator associated with the random
time g
T
equals
A
t
=
2
π
t∧T
0
dL
s
√
T − s
,
where L is the local time at level 0 of the Brownian motion W.
Proof: It suffices to give the proof for T = 1, and we work with t<1. Let
G be a standard Gaussian variable. Then
P
a
2
G
2
> 1 − t
= Φ
|a|
√
1 − t
,