
4
Complements on Brownian Motion
In the first part of this chapter, we present the definition of local time and
the associated Tanaka formulae, first for Brownian motion, then for more
general continuous semi-martingales. In the second part, we give definitions
and basic properties of Brownian bridges and Brownian meander. This is
motivated by the fact that, in order to study complex derivative instruments,
such as passport options or Parisian options, some knowledge of local times,
bridges and excursions with respect to BM in particular and more generally for
diffusions, is useful. We give some applications to exotic options, in particular
to Parisian options.
The main mathematical references on these topics are Chung and Williams
[186], Kallenberg [505], Karatzas and Shreve [513], [RY], Rogers and Williams
[742]andYor[864, 867, 868].
4.1 Local Time
4.1.1 A Stochastic Fubini Theorem
Let X be a semi-martingale on a filtered probability space (Ω, F, F, P), μ a
bounded measure on R,andH, defined on R
+
× Ω × R,aP⊗Bbounded
measurable map, where P is the F-predictable σ-algebra. Then
t
0
dX
s
μ(da)H(s, ω, a)
=
μ(da)
t
0
dX
s
H(s, ω, a)
.
More precisely, both sides are well defined and are equal.
This result can be proven for H(s, ω, a)=h(s, ω)ϕ(a), then for a general
H as above by applying the MCT. We leave the details to the reader.
4.1.2 Occupation Time Formula
Theorem 4.1.2.1 (Occupation Time Formula.) Let B be a one-dimen-
sional Brownian motion. There exists a family of increasing processes, the
M. Jeanblanc, M. Yor, M. Chesney, Mathematical Methods for Financial
Markets, Springer Finance, DOI 10.1007/978-1-84628-737-4
4,
c
Springer-Verlag London Limited 2009
211