
270 5 Complements on Continuous Path Processes
Durrett [287], Itˆo and McKean [465], Linetsky [595] and Rogers and Williams
[742] for other studies of general diffusions.
A linear diffusion is a strong Markov process with continuous paths taking
values on an interval I with left-end point ≥−∞and right-end point
r ≤∞. We denote by ζ the life time of X (see Definition 1.1.14.1). We
assume in what follows (unless otherwise stated) that all the diffusions we
consider are regular, i.e., they satisfy P
x
(T
y
< ∞) > 0, ∀x, y ∈ I where
T
y
=inf{t : X
t
= y}.
5.3.1 (Time-homogeneous) Diffusions
In this book, we shall mainly consider diffusions which are Itˆo processes: let b
and σ be two real-valued functions which are Lipschitz on the interval I,such
that σ(x) > 0 for all x in the interval I. Then, there exists a unique solution
to
X
t
= x +
t
0
b(X
s
)ds +
t
0
σ(X
s
)dW
s
, (5.3.1)
starting at point x ∈], r[, up to the first exit time T
,r
= T
(X) ∧ T
r
(X). In
this case, X is a time-homogeneous diffusion.
In fact, the Lipschitz assumption is not quite necessary; see Theorem
1.5.5.1 for some finer assumptions on b and σ.
Solutions of
X
t
= x +
t
0
b(X
s
,s)ds +
t
0
σ(X
s
,s)dW
s
, (5.3.2)
with time dependent coefficients b and σ are called time-inhomogeneous
diffusions; for these processes, the following results do not apply.
From now on, we shall only consider diffusions of the type (5.3.1), and we
drop the term “time-homogeneous.” We mention furthermore that, in general
studies of diffusions (see Borodin and Salminen [109]), a rˆole is also played by
a killing measure; however, since we shall not use this item in our presentation,
we do not introduce it.
5.3.2 Scale Function and Speed Measure
Scale Function
Definition 5.3.2.1 Let X be a diffusion on I and T
y
=inf{t ≥ 0:X
t
= y},
for y ∈ I. A scale function is an increasing function from I to R such that,
for x ∈ [a, b]
P
x
(T
a
<T
b
)=
s(x) − s(b)
s(a) − s(b)
. (5.3.3)