
3.4 Hitting Times in Other Cases 155
where α =ln(a/x). The process U
t
=
t
0
σ(s)dW
s
is a Gaussian martingale
and can be written as Z
A(t)
where Z is a BM and A(t)=
t
0
σ
2
(s)ds (see
Section 5.1 for a general presentation of time change). Let C be the inverse
of the function A. Then,
T
a
(S)=inf{t : rt−
1
2
A(t)+Z
A(t)
= α} =inf
C(u):rC(u) −
1
2
u + Z
u
= α
hence, the computation of the law of T
a
(S) reduces to the study of the hitting
time of the non-constant boundary α−rC(u) by the drifted Brownian motion
(Z
u
−
1
2
u, u ≥ 0). This is a difficult and as yet unsolved problem (see references
and comments below).
Comments 3.4.2.1 Deterministic Barriers and Brownian Motion.
Groeneboom [409] studies the case
T =inf{t : x + W
t
= αt
2
} =inf{t : X
t
= −x}
where X
t
= W
t
−αt
2
. He shows that the densities of the first passage times for
the process X can be written as functionals of a Bessel process of dimension
3, by means of the Cameron-Martin formula. For any x>0andα<0,
P
x
(T ∈ dt)=2(αc)
2
∞
n=0
exp
λ
n
/c −
2
3
α
2
t
3
Ai(λ
n
− 2αcx)
Ai
(λ
n
)
,
where λ
n
are the zeros on the negative half-line of the Airy function Ai, the
unique bounded solution of u
− xu =0,u(0) = 1, and c =(1/2α
2
)
1/3
.(See
Appendix A.5.5 for a closed form.) This last expression was obtained by
Salminen [753].
Breiman [122] studies the case of a square root boundary when the
stopping time T is T =inf{t : W
t
=
√
α + βt} and relates this study to
that of the first hitting times of an OU process.
The hitting time of a nonlinear boundary by a Brownian motion is studied
in a general framework in Alili’s thesis [6], Alili and Patie [9], Daniels [210],
Durbin [285], Ferebee [344], Hobson et al. [443], Jennen and Lerche [491, 492],
Kahal´e[503], Lerche [581], Park and Paranjape [695], Park and Schuurmann
[696], Patie’s thesis [697], Peskir and Shiryaev [708], Robbins and Siegmund
[734], Salminen [753] and Siegmund and Yuh [798].
Deterministic Barriers and Diffusion Processes. We shall study hitting
times for Bessel processes in Chapter 6 and for diffusions in Subsec-
tion 5.3.6. See Borodin and Salminen [109], Delong [245], Kent [519] or Pitman
and Yor [715] for more results on first hitting time distributions for diffusions.
See also Barndorff-Nielsen et al. [52], Kent [520, 521], Ricciardi et al. [732, 731],
and Yamazato [854]. We shall present in Subsection 5.4.3 a method based
on the Fokker-Planck equation in the case of general diffusions.