326 5 Complements on Continuous Path Processes
Pseudo-stopping Times
As we have mentioned, if (H) holds, the process (Z
τ
t
,t ≥ 0) is a decreasing
process. The converse is not true. The decreasing property of Z
τ
is closely
related with the definition of pseudo-stopping times, a notion developed from
D. Williams example (see Example 5.9.4.8 below).
Definition 5.9.4.6 A random time τ is a pseudo-stopping time if, for any
bounded F-martingale M , E(M
τ
)=M
0
.
Proposition 5.9.4.7 The random time τ is a pseudo-stopping time if and
only if one of the following equivalent properties holds:
• For any local F-martingale m, the process (m
t∧τ
,t ≥ 0) is a local F
τ
-
martingale,
• A
τ
∞
=1,
• μ
τ
t
=1, ∀t ≥ 0,
• The process Z
τ
is a decreasing F-predictable process.
Proof: We refer to Nikeghbali and Yor [675].
Example 5.9.4.8 The first example of a pseudo-stopping time was given by
Williams [844]. Let B be a Brownian motion and define the stopping time
T
1
=inf{t : B
t
=1} and the random time θ =sup{t<T
1
: B
t
=0}.Set
τ =sup{s<θ : B
s
= M
B
s
}
where M
B
s
is the running maximum of the Brownian motion. Then, τ is
a pseudo-stopping time. Note that E(B
τ
) is not equal to 0; this illustrates
the fact we cannot take any martingale in Definition 5.9.4.6. The martingale
(B
t∧T
1
,t≥ 0) is neither bounded, nor uniformly integrable. In fact, since the
maximum M
B
θ
(=B
τ
) is uniformly distributed on [0, 1], one has E(B
τ
)=1/2.
Honest Times
For a general random time τ, it is not true that F-martingales are F
τ
-semi-
martingales. Here is an example: due to the separability of the Brownian
filtration, there exists a bounded random variable τ such that F
∞
= σ(τ).
Hence, F
τ
τ+t
= F
∞
, ∀t so that the F
τ
-martingales are constant after τ .
Consequently, F-martingales are not F
τ
-semi-martingales.
On the other hand, there exists an interesting class of random times τ such
that F-martingales are F
τ
-semi-martingales.
Definition 5.9.4.9 A random time is honest if it is the end of a predictable
set, i.e., τ(ω)=sup{t :(t, ω) ∈ Γ },whereΓ is an F-predictable set.