
140 3 Hitting Times: A Mix of Mathematics and Finance
Comments 3.1.3.2 (a) Obviously, the process M does not have the same
law as the process |W |. Indeed, the process M is an increasing process, whereas
this is not the case for the process |W |. Nevertheless, there are some further
equalities in law, e.g., M −W
law
= |W |, this identity in law taking place between
processes (see L´evy’s equivalence Theorem 4.1.7.2 in Subsection 4.1.7).
(b) Seshadri’s result states that the two random variables M
t
(M
t
− W
t
)
and W
t
are independent and that M
t
(M
t
− W
t
) has an exponential law (see
Yor [867, 869]).
Exercise 3.1.3.3 Prove that as a consequence of the reflection principle
(formula (3.1.1)), for any fixed t:
(i) 2M
t
− W
t
is distributed as B
(3)
t
where B
(3)
is a 3-dimensional BM,
starting from 0,
(ii) given 2M
t
− W
t
= r,bothM
t
and M
t
− W
t
are uniformly distributed on
[0,r].
This result is a small part of Pitman’s theorem (see Comments 4.1.7.3 and
Section 5.7).
3.1.4 Laws of Hitting Times
For x>0, the law of the hitting time T
x
of the level x is now easily deduced
from
P(T
x
≤ t)=P(x ≤ M
t
)=P(x ≤|W
t
|)
= P(x ≤|G|
√
t)=P
x
2
G
2
≤ t
, (3.1.6)
where, as usual, G stands for a Gaussian random variable, with zero
expectation and unit variance. Hence,
T
x
law
=
x
2
G
2
(3.1.7)
and the density of the r.v. T
x
is given by:
P(T
x
∈ dt)=
x
√
2πt
3
exp
−
x
2
2t
1
{t≥0}
dt .
For x<0, we have, using the symmetry of the law of BM
T
x
=inf{t : W
t
= x} =inf{t : −W
t
= −x}
law
= T
−x
and it follows that, for any x =0,