
where
ζ(k)=(−1
2kif k < 0;
+∞otherwise.
It is well known by the Dambis, Dubins-Schwarz theorem (see, e.g., Theorem V.1.6 in [34]), that
the OU process can be written in terms of a time changed BM (Wt)t≥0as
Ut=e−ktWr(t), t ≥0.(3)
Let f∈ C([0,∞),R) be such that f(0) ̸= 0, with C(I, K) denoting the space of continuous
functions from Iinto Kfor some intervals Iand K⊆R. We are interested in the first passage
time (FPT) of the OU to fgiven by
Tf
k= inf{t > 0; Ut=f(t)},
with inf{∅} =∞. The main goal of this paper is to derive, through different methods, an explicit
analytical expression linking the distribution of Tf
kto that of TSα,β
kf
k. Here, the two-parameter
family of curves {Sα,β
kf;α̸= 0, β ∈R}is defined by
Sα,β
kf(t) = 1 + αβr(t)
α2kα2r(t)
1 + αβr(t)+ 11/2
e−kt fsα2r(t)
1 + αβr(t), t < ζk,α,β,(4)
where
ζk,α,β =
s−1
αβ if αβ < 0, k ≥0;
s−1
αβ+2kα2if 0 <2k
αβ+2kα2<1, k < 0;
+∞otherwise.
By doing so, we generalize the results obtained for a BM in [3], which can be immediately
recovered from ours by letting k→0, i.e. Tf
0, Sα,β
0and ζ0,α,β. To simplify the notation and for
consistency with [3], we drop the subscript 0 when referring to the BM.
To the best of our knowledge, explicit results for the FPT of the OU to fonly exist for
constants [1, 36] or hyperbolic type boundaries [13, 15]. Further results for the boundary crossing
problem of Gauss-Markov processes to moving boundaries have been obtained in, e.g., [14, 17,
18, 31]. We also refer to [8, 39] for applications of Lie symmetries to FPT problems. Our main
result, stated in Theorem 3.1, allows to map those results for the law of the FPT of Tf
kto that
of TSα,β
kf
kfor the OU process. Such problems are of great interest, as the OU process has been
used in many applications to model objects such as interest rates in finance or the evolution of
the neuronal membrane voltages in neuroscience, see e.g. [1] and citations therein. In this paper,
we focus on the OU without drift, as the results for the OU process with drift can be directly
obtained from our results after some transformations, as discussed in Remark 3.2.
The paper is organised as follows. In Subsection 2.1, we introduce some notations and provide
the key results for the Sα,β operator for the BM. The OU functional setting is presented in
Subsection 2.2. In Subsection 2.3, we recall the different constructions of OU bridges and their
properties. In particular, the process (S1,−1/r(T)
kUt,0< t ≤T) has the same law as an OU bridge
of length Tfrom 0 to 0, for some T > 0. Section 3 is devoted to the statement of Theorem 3.1,
which contains the main result of the paper, and two examples of its application. In Section 4,
we discuss the properties of the Sα,β
kftransformation with its connection to a certain nonlinear
differential equation (Lemma 4.1), while in Section 5, we prove Theorem 3.1 in three different
ways. In the first proof, we use the relationship between the FPT of an OU and that of a BM.
In the second one, we use a generalisation of the Gauss-Markov processes introduced in Section
3.2 of [3] and find an analogue version of that proof in our case. In the third one, we use the
2