
1.5 Stochastic Calculus 47
1.5.5 Stochastic Differential Equations: The One-dimensional Case
In the case of dimension one, the following result requires less regularity for
the existence of a solution of the equation
X
t
= X
0
+
t
0
b(s, X
s
)ds +
t
0
σ(s, X
s
)dB
s
. (1.5.6)
Theorem 1.5.5.1 Suppose ϕ :]0, ∞[→]0, ∞[ is a Borel function such that
0
+
da/ϕ(a)=+∞.
Under any of the following conditions:
(i) the Borel function b is bounded, the function σ does not depend on the
time variable and satisfies
|σ(x) − σ(y)|
2
≤ ϕ(|x − y|)
and |σ|≥>0 ,
(ii) |σ(s, x) − σ(s, y)|
2
≤ ϕ(|x − y|) and b is Lipschitz continuous,
(iii) the function σ does not depend on the time variable and satisfies
|σ(x) − σ(y)|
2
≤|f(x) − f(y)|
where f is a bounded increasing function, σ ≥ >0 and b is bounded,
the equation (1.5.6) admits a unique solution which is strong, and the solution
X is a Markov process.
See [RY], Chapter IV, Section 3 for a proof. Let us remark that condition (iii)
on σ holds in particular if σ is bounded below and has bounded variation:
indeed
|σ(x) − σ(y)|
2
≤ V |σ(x) − σ(y)|≤V |f(x) − f(y)|
with V =
|dσ| and f(x)=
x
−∞
|dσ(y)|.
The existence of a solution for σ(x)=
|x| and more generally for the
case σ(x)=|x|
α
with α ≥ 1/2 can be proved using ϕ(a)=ca.Forα ∈ [0, 1/2[,
pathwise uniqueness does not hold, see Girsanov [394], McKean [637], Jacod
and Yor [472].
This criterion does not extend to higher dimensions. As an example, let Z
be a complex valued Brownian motion. It satisfies
Z
2
t
=2
t
0
Z
s
dZ
s
=2
t
0
|Z
s
|dγ
s
where γ
t
=
t
0
Z
s
dZ
s
|Z
s
|
is a C-valued Brownian motion (see also Subsection
5.1.3). Now, the equation ζ
t
=2
t
0
|ζ
s
|dγ
s
where γ is a Brownian motion
admits at least two solutions: the constant process 0 and the process Z.