
230 4 Complements on Brownian Motion
G
t
= KP(t, T ), because of transaction costs. Moreover, even in the case of
constant interest rate, the strategy is not self-financing. Indeed, the value of
this strategy is greater than KP(t, T). If such a strategy were self-financing,
and if there were a stopping time τ such that its value equalledKP(τ, T),
then it would remain equal to KP(t, T ) after time τ, and this is obviously
not the case. (See Lakner [558] for details.) It may also be noted that the
discounted process e
−rt
max(V
t
,KP(t, T )) is not a martingale under the risk-
neutral probability measure (and the process max(V
t
,KP(t, T )) is not the
value of a self-financing strategy). More precisely,
e
−rt
max(V
t
,KP(t, T ))
mart
= L
t
where L is the local time of (V
t
e
−rt
,t≥ 0) at the level Ke
−rT
.
Sometimes, practitioners introduce a corridor around the floor and change
the strategy only when the asset price is outside this corridor. More precisely,
the value of the portfolio is
V
t
1
{t<T
1
}
+(K − )1
{T
1
≤t<T
2
}
+ V
t
1
{T
2
≤t<T
3
}
+ ...
where
T
1
=inf{t : V
t
≤ K − },T
2
=inf{t : t>T
1
,V
t
≥ K + },
T
3
=inf{t : t>T
2
,V
t
≤ K − } ... .
The terminal value of the portfolio when the width of the corridor tends to 0
can be shown to converge a.s. to max(V
T
,K) −L
K
T
,whereL
K
T
represents the
local time of (V
t
,t∈ [0,T]) at level K.
4.2.3 Knock-out BOOST
Let (a, b) be a pair of positive real numbers with b<a.Theknock-out
BOOST studied in Leblanc [572] is an option which pays, at maturity, the
time that the underlying asset has remained above a level b,untilthefirst
time the asset reaches the level a. We assume that the underlying follows a
geometric Brownian motion, i.e., S
t
= xe
σX
t
where X is a BM with drift ν.
In symbols, the value of this knock-out BOOST option is
KOB(a, b; T )=E
Q
e
−rT
T ∧T
a
0
1
(S
s
>b)
ds
.
Let α be the level relative to X, i.e., α =
1
σ
ln
a
x
. From the occupation time
formula (4.1.1)andthefactthatL
y
T ∧T
α
(X)=0fory>α, we obtain that,
for every function f
W
(ν)
T ∧T
α
0
f(X
s
) ds
=
α
−∞
f(y)W
(ν)
[L
y
T
α
∧T
]dy ,