, , , November 27, 2006

Let

(Ω, ℱ, {(ℱ_{t})}_{t \geq 0}, P)

be a filtered probability space satisfying the usual hypotheses (right continuous and complete). Given the end

L

of an

(ℱ_{t})

predictable set

Γ

, i.e

L = sup {t : (t, ω) \in Γ},

(these times are also refered to as honest times), M. Barlow ([4] ) and Jeulin and Yor ([10] ) have shown that the supermartingale:

Z_{t}^{L} = P (L > t | ℱ_{t}),

chosen to be càdlàg, plays an essential role in the enlargement formulae with respect to

L

, i.e: in expressing a general

(ℱ_{t})

martingale

(M_{t})

as a semimartingale in

{(ℱ_{t}^{L})}_{t \geq 0}

, the smallest filtration which contains

(ℱ_{t})

, and makes

L

a stopping time. This enlargement formula is:

\begin{matrix} M_{t} = {\tilde{M}}_{t} + \int_{0}^{t \land L} \frac{d < M, Z >_{s}}{Z_{s_{-}}} + \int_{L}^{t} \frac{d < M, 1 - Z >_{s}}{1 - Z_{s_{-}}}, \end{matrix}

(1.1)

where

{({\tilde{M}}_{t})}_{t \geq 0}

denotes an

((ℱ_{t}^{L}), P)

local martingale. Hence it is important to dispose of an explicit formula for

{(Z_{t}^{L})}_{t \geq 0}

. In the literature about progressive enlargements of filtrations, not so many examples are fully developed (see e.g. for example [26] , [9] or [8] ); indeed, the computation of

(Z_{t}^{L})

is sometimes difficult. Moreover, the examples are developed essentially in the Brownian setting, where as we shall see,

(Z_{t}^{L})

is continuous, and no examples of discontinuous

{(Z_{t}^{L})}^{'} s

are given.

In this paper, we first consider a special family of honest times

g

, and then we later prove that this family is generic in the sense that every honest time is in fact of this form (under some reasonable assumptions).

More precisely, we consider the following class of local martingales.

Definition 1.1. We say that an

(ℱ_{t})

local martingale

(N_{t})

belongs to the class

(C_{0})

, if it is strictly positive, with no positive jumps, and

{lim}_{t \to \infty} N_{t} = 0

Remark 1.2. Let

(N_{t})

be a local martingale of class

(C_{0})

. Then:

S_{t} \equiv {sup}_{s \leq t} N_{s},

its supremum process, is continuous. This property is essential in our paper.

Hence, most of the results we shall state remain valid for positive local martingales, which go to zero at infinity, and whose suprema are continuous.

We associate with a local martingale of class

(C_{0})

, the supermartingale

{(\frac{N_{t}}{S_{t}})}_{t \geq 0}

, and the random time

g

defined as:

\begin{matrix} g & \equiv & sup {t \geq 0 : N_{t} = S_{\infty}} \end{matrix}

\begin{matrix} = & sup {t \geq 0 : S_{t} - N_{t} = 0} . \end{matrix}

In Section 2, we prove that the associated supermartingale

Z

satisfies:

\begin{matrix} Z_{t} \equiv P (g > t | ℱ_{t}) = \frac{N_{t}}{S_{t}}, \end{matrix}

(1.2)

and then give the decomposition formula ( 1.1 ) in terms of the local martingale

(N_{t})

. This will provide us with some new, and explicit examples of such supermartingales

(Z_{t})

which are discontinuous. We also establish some relationship between the multiplicative representation ( 1.2 ) and the Doob-Meyer (additive) decomposition of

(Z_{t})

In Section 3, we study the problem of the initial enlargement of

(ℱ_{t})

with the variable

S_{\infty}

, and then give a new proof of ( 1.1 ).

In Section 4, we show that the formula ( 1.2 ) is in fact very general. More precisely, for any end of a predictable set

L

, under the assumptions (CA):

$∙$ all $(ℱ_{t})$ -martingales are continuous (e.g: the Brownian filtration);
$∙$ $L$ avoids every $(ℱ_{t})$ -stopping time $T$ , i.e. $P [L = T] = 0$ ,

the supermartingale

Z_{t}^{L} = P (L > t | ℱ_{t})

may be represented as ( 1.2 ).

In Section 5, we give some new examples of enlargements of filtrations.

Moreover, as an illustration of our approach and the method of enlargements of filtrations, we recover and complete some known results of D. Williams ([23] ) about path decompositions of some diffusion processes, given their minima. We add a new fragment in these path decompositions, by introducing a new family of random times, as defined in [16] and called pseudo-stopping times, which generalize the fundamental notion of stopping times, introduced by J.L. Doob. We take this opportunity to quote two passages, resp. in the appendix of Meyer's book (1966):

Les temps d'arrêt ont été utilisés, sans définition formelle, depuis le début de la théorie des processus. La notion apparaît tout à fait clairement pour la première fois chez Doob en 1936.

and in Dellacherie-Meyer's book, volume I ([6] ), p.184: 0194

Il a sans doute fallu autant de génie aux créateurs du calcul différentiel pour expliciter la notion si simple de dérivée, qu'à leurs successeurs pour faire tout le reste. L'invention des temps d'arrêt par Doob est tout à fait comparable.

2 A multiplicative representation formula

2.1 Doob's maximal identity

Let

{(N_{t})}_{t \geq 0}

be a local martingale which belongs to the class

(C_{0})

, with

N_{0} = x

. Let

S_{t} = {sup}_{s \leq t} N_{s}

. We consider:

\begin{matrix} g & = & sup {t \geq 0 : N_{t} = S_{\infty}} \end{matrix}

\begin{matrix} = & sup {t \geq 0 : S_{t} - N_{t} = 0} . \end{matrix}

(2.1)

To establish our main proposition, we shall need the following variant of Doob's maximal inequality, which we call Doob's maximal identity:

Lemma 2.1 (Doob's maximal identity). For any

a > 0

, we have:

(1)

\begin{matrix} P (S_{\infty} > a) = (\frac{x}{a}) \land 1 . \end{matrix}

(2.2)

Hence,

\frac{1}{S_{\infty}}

is a uniform random variable on

(0, 1)

(2) For any stopping time

T

\begin{matrix} P (S^{T} > a | ℱ_{T}) = (\frac{N_{T}}{a}) \land 1, \end{matrix}

(2.3)

where

S^{T} = {sup}_{u \geq T} N_{u} .

Hence

\frac{N_{T}}{S^{T}}

is also a uniform random variable on

(0, 1)

, independent of

ℱ_{T}

Proof. Formula ( 2.3 ) is a consequence of ( 2.2 ) when applied to the martingale ${(N_{T + u})}_{u \geq 0}$ and the filtration ${(ℱ_{T + u})}_{u \geq 0}$ . Formula ( 2.2 ) itself is obvious when $a \leq x$ , and for $a > x$ , it is obtained by applying Doob's optional stopping theorem to the local martingale $(N_{t \land T_{a}})$ , where $T_{a} = inf {u \geq 0 : N_{u} > a}$ .
□

The next proposition gives an explicit formula for

Z_{t} \equiv P (g > t | ℱ_{t})

, in terms of the local martingale

(N_{t})

. Without loss of generality, we assume from now on that

x = 1

. Indeed, if

N_{0} = x

, we consider the local martingale

(\frac{N_{t}}{x})

which starts at

1

Proposition 2.2.

(1) In our setting, the formula: $Z_{t} = \frac{N_{t}}{S_{t}}, t \geq 0$ holds.

(2) The Doob-Meyer additive decomposition of

(Z_{t})

is:

\begin{matrix} Z_{t} = E [log S_{\infty} | ℱ_{t}] - log (S_{t}) . \end{matrix}

(2.4)

Proof. We first note that:

\begin{matrix} {g > t} & = & {\exists u > t : S_{u} = N_{u}} \end{matrix}

\begin{matrix} = & {\exists u > t : S_{t} \leq N_{u}} \end{matrix}

\begin{matrix} = & {{sup}_{u \geq t} N_{u} \geq S_{t}} . \end{matrix}

Hence, from ( 2.3 ), we get:

P (g > t | ℱ_{t}) = \frac{N_{t}}{S_{t}}

To establish ( 2.4 ), we develop

(\frac{N_{t}}{S_{t}})

thanks to Ito's formula, to obtain:

Z_{t} = 1 + \int_{0}^{t} \frac{1}{S_{s}} d N_{s} - \int_{0}^{t} \frac{N_{s}}{{(S_{s})}^{2}} d S_{s} .

Now, we remark that the measure

d S_{s}

is carried by the set

{s : Z_{s} = 1}

; hence:

\begin{matrix} Z_{t} & = & 1 + \int_{0}^{t} \frac{1}{S_{s}} d N_{s} - \int_{0}^{t} \frac{1}{S_{s}} d S_{s} \end{matrix}

\begin{matrix} \frac{N_{t}}{S_{t}} & = & 1 + \int_{0}^{t} \frac{1}{S_{s}} d N_{s} - log (S_{t}) . \end{matrix}

From the unicity of the Doob-Meyer decomposition,

log (S_{t})

is the predictable increasing part of

(Z_{t})

whilst

(\int_{0}^{t} \frac{1}{S_{s}} d N_{s})

is its martingale part. As

(Z_{t})

is of class

(D)

(\int_{0}^{t} \frac{1}{S_{s}} d N_{s})

is a uniformly integrable martingale. Now, let

t \to \infty

: as

Z_{\infty} = 0

log S_{\infty} = 1 + \int_{0}^{\infty} \frac{1}{S_{s}} d N_{s}

and thus:

\begin{matrix} 1 + \int_{0}^{t} \frac{1}{S_{s}} d N_{s} = E [log S_{\infty} | ℱ_{t}], \end{matrix}

(2.5)

which proves (2). □

Remark 2.3. It is well known, and it follows from ( 2.4 ), that the martingale in ( 2.5 ) is in fact in BMO.

Corollary 2.4. Assuming that all

(ℱ_{t})

martingales are continuous, the following hold:

(1) $log (S_{t})$ is the dual predictable projection of $1_{{g \leq t}}$ : for any positive predictable process $(k_{s})$ , $E (k_{g}) = E (\int_{0}^{\infty} k_{s} \frac{d S_{s}}{S_{s}});$
(2) The random time $g$ is honest and avoids any $(ℱ_{t})$ stopping time $T$ , i.e. $P [g = T] = 0$ .

Proof. Under our assumptions, the predictable and optional sigma algebras are equal. Thus, it suffices to prove that $g$ avoids stopping times, the other assertions being obvious. Since $log (S_{t})$ is the dual predictable projection of $1_{{g \leq t}}$ and is continuous, then for any $(ℱ_{t})$ stopping time $T$ , $E [1_{{g = T}}] = E [{(Δ log (S_{∙}))}_{T}] = 0 .$ Thus we get $P (g = T) = 0$ . □

We can now write the formula ( 1.1 ) in terms of the martingale

(N_{t})

Proposition 2.5. Let

{(X_{t})}_{t \geq 0}

be a local

(ℱ_{t})

martingale. Then,

X

has the following decomposition as a semimartingale in

(ℱ_{t}^{g})

X_{t} = {\tilde{X}}_{t} + \int_{0}^{t \land g} \frac{d < X, N >_{s}}{N_{s -}} - \int_{g}^{t} \frac{d < X, N >_{s}}{S_{\infty} - N_{s -}}

where

({\tilde{X}}_{t})

is an

(ℱ_{t}^{g})

local martingale.

Proof. This is a consequence of formula ( 1.1 ) and Proposition 2.2 . □

We shall now give a relationship between

(S_{t})

and

E [log S_{\infty} | ℱ_{t}]

. For this, we shall need the following easy extension of Skorokhod's reflection lemma (see [12] , p.72):

Lemma 2.6. Let

y

be a real-valued càdlàg function on

[0, \infty)

, such that

y

has no negative jumps, and

y (0) = 0

. Then, there exists a unique pair

(z, a)

of functions on

[0, \infty)

such that:

(1) z=y+a
(2) z is positive, càdlàg and has no negative jumps,
(3) a is increasing, continuous, vanishing at zero and the corresponding measure $d a_{s}$ is carried by ${s : z (s) = 0}$ .

The function

a

is moreover given by

a (t) = {sup}_{s \leq t} (- y (s)) .

Proposition 2.7. With

μ_{t} = E [log S_{\infty} | ℱ_{t}],

we have:

log (S_{t}) = {sup}_{s \leq t} μ_{s} - 1 \equiv {\bar{μ}}_{t} - 1,

or equivalently:

S_{t} = exp ({\bar{μ}}_{t} - 1)

Proof. From ( 2.4 ), we can write: $1 - Z_{t} = (1 - μ_{t}) + log (S_{t}) .$ From Lemma 2.6 , we deduce that $log (S_{t}) = {sup}_{s \leq t} μ_{s} - 1 .$ □

2.2 Some hidden Azéma-Yor martingales

We shall now associate with the two dimensional process

{(log (S_{t}), Z_{t})}_{t \geq 0}

a family of martingales reminiscent of Azéma-Yor martingales (see, e.g., [3] ) which we shall now discuss. In fact, once again, we have to introduce a slightly generalized version of what are usually called Azéma-Yor martingales.

Indeed, these martingales were originally defined for continuous local martingales (see [20] , Chapter VI), while we would like to define them for local martingales without positive jumps. This extension can be dealt with the following balayage argument:

Lemma 2.8. Let

Y = M + A

be a special semimartingale, where

M

is a càdlàg local martingale, and

A

a continuous increasing process. Set

H = {t : Y_{t} = 0}

, and define

g_{t} \equiv sup {s < t : Y_{s} = 0}

Then, for any locally bounded predictable process

(k_{t})

(k_{g_{t}})

is predictable and

\begin{matrix} k_{g_{t}} Y_{t} = k_{0} Y_{0} + \int_{0}^{t} k_{g_{s}} d Y_{s} . \end{matrix}

(2.6)

Proof. The proof is the same as the proof for continuous semimartingales.
The reader can refer to [5] , p.144, for even more general versions of the balayage formula. □

Now, we can state the following generalization of the classical Azéma-Yor martingales:

Proposition 2.9. Let

{(N_{t})}_{t \geq 0}

be a local martingale such that its supremum process

(S_{t})

is continuous (this is the case if

N_{t}

is in the class

C_{0}

). Let

f

be a locally bounded Borel function and define

F (x) = \int_{0}^{x} d y f (y)

. Then,

X_{t} \equiv F (S_{t}) - f (S_{t}) (S_{t} - N_{t})

is a local martingale and:

\begin{matrix} F (S_{t}) - f (S_{t}) (S_{t} - N_{t}) = \int_{0}^{t} f (S_{s}) d N_{s} + F (S_{0}), \end{matrix}

(2.7)

Proof. In ( 2.6 ), take $k_{t} \equiv f (S_{t})$ , and $Y_{t} \equiv S_{t} - N_{t}$ . Then, we have: $f (S_{g_{t}}) (S_{t} - N_{t}) = \int_{0}^{t} f (S_{g_{s}}) d (S_{s} - N_{s}) .$ But $S_{g_{t}} = S_{t}$ , hence: $F (S_{t}) - f (S_{t}) (S_{t} - N_{t}) = \int_{0}^{t} f (S_{s}) d N_{s} + F (S_{0}) .$ In conclusion, for any locally bounded function $f$ , $F (S_{t}) - f (S_{t}) (S_{t} - N_{t}) = \int_{0}^{t} f (S_{s}) d N_{s} + F (S_{0}),$ is a local martingale. □

Remark 2.10. Although very simple, these martingales played an essential role in the resolution by Azéma and Yor of Skorokhod's embedding problem (see [20] , chapter VI for more details and references).

Remark 2.11. In [15] , a special case of Proposition 2.9 , for spectrally negative Lévy martingales is obtained by different means.

Now, we associate with the two dimensional process

{(log (S_{t}), Z_{t})}_{t \geq 0}

, a canonical family of local martingales which are in fact of the form ( 2.7 ).

Proposition 2.12. Let

f

be a locally bounded and Borel function, and let

F (x) = \int_{0}^{x} d y f (y)

(1) The following processes are local martingales:

\begin{matrix} F (log (S_{t})) - f (log (S_{t})) (1 - Z_{t}), t \geq 0 . \end{matrix}

(2.8)

(2) Denoting

K (x) = F (x - 1)

and

k (x) = f (x - 1)

, then the local martingales in ( 2.8 ) are seen to be equal to:

\begin{matrix} K ({\bar{μ}}_{t}) - k ({\bar{μ}}_{t}) ({\bar{μ}}_{t} - μ_{t}), t \geq 0 . \end{matrix}

(2.9)

Proof. (1). The fact that ( 2.8 ) defines a local martingale may be seen as an application of Ito's lemma (when $f$ is regular), followed by a monotone class argument.
(2). Formula ( 2.9 ) is obtained by a trivial change of variables, and the fact that: $1 - Z_{t} = {\bar{μ}}_{t} - μ_{t}$ , which was derived in Proposition 2.7 . □

Remark 2.13. Similar formulas are derived in [17] from different considerations.

3 Initial expansion with $S_{\infty}$ and enlargement formulae

In this Section, we shall deal with the question of initial enlargement of the filtration

(ℱ_{t})

with the variable

S_{\infty}

. This problem cannot be dealt with the powerful enlargement theorem of Jacod (see [9] ), but can be treated by a careful combination of different propositions in [8] . However, we shall give a simple proof which can also be adapted to deal with some other situations.

Eventually, we will use our result about the initial expansion of

(ℱ_{t})

with the variable

S_{\infty}

to recover formula ( 1.1 ).

Let us define the new filtration

ℱ_{t}^{σ (S_{\infty})} \equiv ⋂_{ɛ > 0} (ℱ_{t + ɛ} \lor σ (S_{\infty})),

which satisfies the usual assumptions. The new information

σ (S_{\infty})

is brought in at the origin of time and

g

is a stopping time for this larger filtration. More precisely:

Lemma 3.1. The following hold:

(1) $g = inf {t : N_{t} = S_{\infty}};$ and hence $g$ is an $(ℱ_{t}^{σ (S_{\infty})})$ stopping time.
(2) Consequently: $ℱ_{t}^{g} \subset ℱ_{t}^{σ (S_{\infty})} .$

Proof. $(1)$ The measure $d S_{t}$ is carried by the set ${t : N_{t} = S_{t}}$ . As $g = sup {t : N_{t} = S_{t}}$ , the process $(S_{t})$ does not grow after $g$ , which also satisfies:
$g = inf {t : S_{t} = S_{\infty}};$ hence $g$ is an $(ℱ_{t}^{σ (S_{\infty})})$ stopping time.
$(2)$ It is obvious. □

Now we introduce some standard terminology.

Definition 3.2. We shall say that the pair of filtrations

(ℱ_{t}, ℱ_{t}^{σ (S_{\infty})})

satisfies the

(H^{'})

hypothesis if every

(ℱ_{t})

(semi)martingale is a

(ℱ_{t}^{σ (S_{\infty})})

semimartingale.

We shall now show that the pair of filtrations

(ℱ_{t}, ℱ_{t}^{σ (S_{\infty})})

satisfies the

(H^{'})

hypothesis and give the decomposition of a

(ℱ_{t})

local martingale in

(ℱ_{t}^{σ (S_{\infty})})

. For this, we need to know the conditional law of

S_{\infty}

given

ℱ_{t}

Proposition 3.3. For any Borel bounded or positive function

f

, we have:

\begin{matrix} E (f (S_{\infty}) | ℱ_{t}) & = & f (S_{t}) (1 - \frac{N_{t}}{S_{t}}) + \int_{0}^{N_{t} / S_{t}} d s f (\frac{N_{s}}{x}) \end{matrix}

(3.1)

\begin{matrix} = & f (S_{t}) (1 - \frac{N_{t}}{S_{t}}) + N_{t} \int_{S_{t}}^{\infty} d x \frac{f (x)}{x^{2}} . \end{matrix}

Proof. The proof is based on Lemma 2.1 ; in the following,

U

is a random variable, which follows the standard uniform law and which is independent of

ℱ_{t}

\begin{matrix} E (f (S_{\infty}) | ℱ_{t}) & = & E (f (S_{t} \lor S^{t}) | ℱ_{t}) \end{matrix}

\begin{matrix} = & E (f (S_{t}) 1_{{S_{t} \geq S^{t}}} | ℱ_{t}) + E (f (S^{t}) 1_{{S_{t} < S^{t}}} | ℱ_{t}) \end{matrix}

\begin{matrix} = & f (S_{t}) P (S_{t} \geq S^{t} | ℱ_{t}) + E (f (S^{t}) 1_{{S_{t} < S^{t}}} | ℱ_{t}) \end{matrix}

\begin{matrix} = & f (S_{t}) P (U \leq \frac{N_{t}}{S_{t}} | ℱ_{t}) + E (f (\frac{N_{t}}{U}) 1_{{U < \frac{N_{t}}{S_{t}}}} | ℱ_{t}) \end{matrix}

\begin{matrix} = & f (S_{t}) (1 - \frac{N_{t}}{S_{t}}) + \int_{0}^{N_{t} / S_{t}} d x f (\frac{N_{t}}{x}) . \end{matrix}

A straightforward change of variable in the last integral also gives:

E (f (S_{\infty}) | ℱ_{t}) = f (S_{t}) (1 - \frac{N_{t}}{S_{t}}) + N_{t} \int_{S_{t}}^{\infty} d y \frac{f (y)}{y^{2}} .

□

One may now ask if

E (f (S_{\infty}) | ℱ_{t})

is of the form ( 2.7 ). The answer to this question is positive. Indeed:

\begin{matrix} E (f (S_{\infty}) | ℱ_{t}) & = & f (S_{t}) (1 - \frac{N_{t}}{S_{t}}) + N_{t} \int_{S_{t}}^{\infty} d y \frac{f (y)}{y^{2}} \end{matrix}

\begin{matrix} = & S_{t} \int_{S_{t}}^{\infty} d y \frac{f (y)}{y^{2}} - (S_{t} - N_{t}) (\int_{S_{t}}^{\infty} d y \frac{f (y)}{y^{2}} - \frac{f (S_{t})}{S_{t}}) . \end{matrix}

Hence,

E (f (S_{\infty}) | ℱ_{t}) = H (1) + H (S_{t}) - h (S_{t}) (S_{t} - N_{t}),

with

H (x) = x \int_{x}^{\infty} d y \frac{f (y)}{y^{2}},

and

h (x) = h_{f} (x) \equiv \int_{x}^{\infty} d y \frac{f (y)}{y^{2}} - \frac{f (x)}{x} = \int_{x}^{\infty} \frac{d y}{y^{2}} (f (y) - f (x)) .

Moreover, again from formula ( 2.7 ), we have the following representation of

E (f (S_{\infty}) | ℱ_{t})

as a stochastic integral:

\begin{matrix} E (f (S_{\infty}) | ℱ_{t}) = E (f (S_{\infty})) + \int_{0}^{t} h (S_{s}) d N_{s} . \end{matrix}

(3.2)

Let us sum up these results, introducing some notations:

\begin{matrix} λ_{t} (f) & \equiv & E (f (S_{\infty}) | ℱ_{t}) \end{matrix}

(3.3)

\begin{matrix} = & f (S_{t}) (1 - \frac{N_{t}}{S_{t}}) + N_{t} \int_{S_{t}}^{\infty} d x \frac{f (x)}{x^{2}}; \end{matrix}

(3.4)

and

\begin{matrix} λ_{t} (f) = E (f (S_{\infty})) + \int_{0}^{t} {\dot{λ}}_{s} (f) d N_{s}, \end{matrix}

(3.5)

where:

\begin{matrix} {\dot{λ}}_{s} (f) = h_{f} (S_{s}) . \end{matrix}

(3.6)

Moreover, there exist two families of random measures

{(λ_{t} (d x))}_{t \geq 0}

and

{({\dot{λ}}_{t} (d x))}_{t \geq 0}

, with

\begin{matrix} λ_{t} (d x) & = & (1 - \frac{N_{t}}{S_{t}}) δ_{S_{t}} (d x) + N_{t} 1_{{x > S_{t}}} \frac{d x}{x^{2}} \end{matrix}

(3.7)

\begin{matrix} {\dot{λ}}_{t} (d x) & = & - \frac{1}{S_{t}} δ_{S_{t}} (d x) + 1_{{x > S_{t}}} \frac{d x}{x^{2}}, \end{matrix}

(3.8)

such that

\begin{matrix} λ_{t} (f) & = & \int λ_{t} (d x) f (x) \end{matrix}

(3.9)

\begin{matrix} {\dot{λ}}_{t} (f) & = & \int {\dot{λ}}_{t} (d x) f (x) . \end{matrix}

(3.10)

Eventually, we notice that there is an absolute continuity relationship between

λ_{t} (d x)

and

{\dot{λ}}_{t} (d x)

; more precisely,

\begin{matrix} {\dot{λ}}_{t} (d x) = λ_{t} (d x) ρ (x, t), \end{matrix}

(3.11)

with

\begin{matrix} ρ (x, t) = \frac{- 1}{S_{t} - N_{t}} 1_{{S_{t} = x}} + \frac{1}{N_{t}} 1_{{S_{t} < x}} . \end{matrix}

(3.12)

Now, we can state the main theorem of this section.

Theorem 3.4. Let

{(N_{t})}_{t \geq 0}

be a local martingale in the class

C_{0}

(recall

N_{0} = 1

). Then, the pair of filtrations

(ℱ_{t}, ℱ_{t}^{σ (S_{\infty})})

satisfies the

(H^{'})

hypothesis and every

(ℱ_{t})

local martingale

(X_{t})

is an

(ℱ_{t}^{σ (S_{\infty})})

semimartingale with canonical decomposition:

X_{t} = {\tilde{X}}_{t} + \int_{0}^{t} 1_{{g > s}} \frac{d < X, N >_{s}}{N_{s -}} - \int_{0}^{t} 1_{{g \leq s}} \frac{d < X, N >_{s}}{S_{\infty} - N_{s -}},

where

({\tilde{X}}_{t})

is a

(ℱ_{t}^{σ (S_{\infty})})

local martingale.

Remark 3.5. The following proof is tailored on the arguments found in [26] , although our framework is more general: we do not assume that our filtration has the predictable representation property with respect to some martingale nor that all martingales are continuous.

Proof. We can first assume that

X

is in

ℋ^{1}

; the general case follows by localization. Let

Λ_{s}

be an

ℱ_{s}

measurable set, and take

t > s

. Then, for any bounded test function

f

λ_{t} (f)

is a bounded martingale, hence in

B M O

, and we have:

\begin{matrix} E (1_{Λ_{s}} f (A_{\infty}) (X_{t} - X_{s})) & = & E (1_{Λ_{s}} (λ_{t} (f) X_{t} - λ_{s} (f) X_{s})) \end{matrix}

\begin{matrix} = & E (1_{Λ_{s}} (< λ (f), X >_{t} - < λ (f), X >_{s})) \end{matrix}

\begin{matrix} = & E (1_{Λ_{s}} (\int_{s}^{t} {\dot{λ}}_{u} (f) d < X, N >_{u})) \end{matrix}

\begin{matrix} = & E (1_{Λ_{s}} (\int_{s}^{t} \int λ_{u} (d x) ρ (x, u) f (x) d < X, N >_{u})) \end{matrix}

\begin{matrix} = & E (1_{Λ_{s}} (\int_{s}^{t} d < X, N >_{u} ρ (S_{\infty}, u))) . \end{matrix}

But from ( 3.12 ), we have:

ρ (S_{\infty}, t) = \frac{- 1}{S_{t} - N_{t}} 1_{{S_{t} = S_{\infty}}} + \frac{1}{N_{t}} 1_{{S_{t} < S_{\infty}}} .

It now suffices to note (from Lemma 3.1 ) that

(S_{t})

is constant after

g

and

g

is the first time when

S_{\infty} = S_{t}

, or in other words:

1_{{S_{\infty} > S_{t}}} = 1_{{g > t}}, and 1_{{S_{\infty} = S_{t}}} = 1_{{g \leq t}} .

This completes the proof. □

Theorem 3.4 yields a new proof of the decomposition formula in the progressive enlargement case. More precisely, we have:

Corollary 3.6. The pair of filtrations

(ℱ_{t}, ℱ_{t}^{g})

satisfies the

(H^{'})

hypothesis. Moreover, every

(ℱ_{t})

local martingale

X

decomposes as:

X_{t} = {\tilde{X}}_{t} + \int_{0}^{t} 1_{{g > s}} \frac{d < X, N >_{s}}{N_{s}} - \int_{0}^{t} 1_{{g \leq s}} \frac{d < X, N >_{s}}{S_{\infty} - N_{s}},

where

({\tilde{X}}_{t})

is a

(ℱ_{t}^{g})

local martingale.

Proof. Let $X$ be an $(ℱ_{t})$ martingale which is in $ℋ^{1}$ ; the general case follows by localization. From Theorem 3.4 $X_{t} = {\tilde{X}}_{t} + \int_{0}^{t} 1_{{g > s}} \frac{d < X, N >_{s}}{N_{s}} - \int_{0}^{t} 1_{{g \leq s}} \frac{d < X, N >_{s}}{S_{\infty} - N_{s}},$ where ${({\tilde{X}}_{t})}_{t \geq 0}$ denotes an $(ℱ_{t}^{σ (S_{\infty})})$ martingale. Thus, $({\tilde{X}}_{t})$ , which is equal to: $X_{t} - (\int_{0}^{t} 1_{{g > s}} \frac{d < X, N >_{s}}{N_{s}} - \int_{0}^{t} 1_{{g \leq s}} \frac{d < X, N >_{s}}{S_{\infty} - N_{s}},),$ is $(ℱ_{t}^{g})$ adapted (recall that $ℱ_{t}^{g} \subset ℱ_{t}^{σ (S_{\infty})}$ ), and hence it is an $(ℱ_{t}^{g})$ martingale. □

4 A multiplicative characterization of $Z_{t}$

Usually, in the literature about progressive enlargements of filtrations, it is assumed that the conditions (CA) are satisfied. Now, we shall prove that under this assumption the supermartingale

Z_{t}^{L} = P (L > t | ℱ_{t})

, associated with an honest time, can be represented as

{(\frac{N_{t}}{S_{t}})}_{t \geq 0}

, where

N_{t}

is a positive local martingale. More precisely, we have the following:

Theorem 4.1. Let

L

be an honest time. Then, under the conditions (CA), there exists a continuous and nonnegative local martingale

{(N_{t})}_{t \geq 0}

, with

N_{0} = 1

and

{lim}_{t \to \infty} N_{t} = 0

, such that:

Z_{t} = P (L > t | ℱ_{t}) = \frac{N_{t}}{S_{t}}

Proof. Under the conditions (CA),

{(Z_{t})}_{t \geq 0}

is continuous and can be written as (see [1] or [5] for details):

Z_{t} = M_{t} - A_{t},

where

(M_{t})

and

(A_{t})

are continuous,

Z_{0} = 1

and

d A_{t}

is carried by

{t : Z_{t} = 1}

. Then, for

t < T_{0} \equiv inf {t : Z_{t} = 0}

, we have:

log (Z_{t}) = \int_{0}^{t} \frac{d M_{s}}{Z_{s}} - \frac{1}{2} \int_{0}^{t} \frac{d < M >_{s}}{Z_{s}^{2}} - A_{t},

hence:

\begin{matrix} - log (Z_{t}) = - (\int_{0}^{t} \frac{d M_{s}}{Z_{s}} - \frac{1}{2} \int_{0}^{t} \frac{d < M >_{s}}{Z_{s}^{2}}) + A_{t}; \end{matrix}

(4.1)

and, from Skorokhod's reflection lemma, we have:

\begin{matrix} A_{t} = {sup}_{u \leq t} (\int_{0}^{u} \frac{d M_{s}}{Z_{s}} - \frac{1}{2} \int_{0}^{u} \frac{d < M >_{s}}{Z_{s}^{2}}) . \end{matrix}

(4.2)

Now, combining ( 4.1 ) and ( 4.2 ), we obtain:

Z_{t} = \frac{N_{t}}{S_{t}},

where

N_{t} = exp (\int_{0}^{t} \frac{d M_{s}}{Z_{s}} - \frac{1}{2} \int_{0}^{t} \frac{d < M >_{s}}{Z_{s}^{2}})

is a local martingale starting from

1

, and

\begin{matrix} S_{t} & = & {sup}_{u \leq t} (exp (\int_{0}^{u} \frac{d M_{s}}{Z_{s}} - \frac{1}{2} \int_{0}^{u} \frac{d < M >_{s}}{Z_{s}^{2}})) \end{matrix}

\begin{matrix} = & exp ({sup}_{u \leq t} (\int_{0}^{u} \frac{d M_{s}}{Z_{s}} - \frac{1}{2} \int_{0}^{u} \frac{d < M >_{s}}{Z_{s}^{2}})) \end{matrix}

\begin{matrix} = & exp (A_{t}) . \end{matrix}

We finally note that, since

Z_{T_{0}} = 0

{lim}_{t ↑ T_{0}} N_{t} = 0

, which allows to define

N_{t}

for all

t \geq 0

. □

Corollary 4.2. The supermartingale

Z_{t} = P (L > t | ℱ_{t})

admits the following additive and multiplicative representations:

\begin{matrix} Z_{t} & = & \frac{N_{t}}{S_{t}} \end{matrix}

\begin{matrix} Z_{t} & = & M_{t} - A_{t} . \end{matrix}

Moreover, these two representations are related as follows:

\begin{matrix} N_{t} & = & exp (\int_{0}^{t} \frac{d M_{s}}{Z_{s}} - \frac{1}{2} \int_{0}^{t} \frac{d < M >_{s}}{Z_{s}^{2}}) \end{matrix}

\begin{matrix} S_{t} & = & exp (A_{t}); \end{matrix}

and

\begin{matrix} M_{t} & = & 1 + \int_{0}^{t} \frac{d N_{s}}{S_{s}} = E (log S_{\infty} | ℱ_{t}), \end{matrix}

\begin{matrix} A_{t} & = & log S_{t} . \end{matrix}

Proof. It is a consequence of Proposition 2.2 and Theorem 4.1 . □

Now, as a consequence of Theorem 4.1 , we can recover the enlargement formulae and the fact that the pair of filtrations

(ℱ_{t}, ℱ_{t}^{L})

satisfies the

(H^{'})

hypothesis:

Corollary 4.3. Let

L

be an honest time. Then under the conditions (CA), the pair of filtrations

(ℱ_{t}, ℱ_{t}^{L})

satisfies the

(H^{'})

hypothesis and every

(ℱ_{t})

local martingale

X

is an

(ℱ_{t}^{L})

semimartingale with canonical decomposition:

X_{t} = {\tilde{X}}_{t} + \int_{0}^{t \land L} \frac{d < X, Z >_{s}}{Z_{s}} + \int_{L}^{t} \frac{d < X, 1 - Z >_{s}}{1 - Z_{s}},

where

{({\tilde{X}}_{t})}_{t \geq 0}

denotes an

((ℱ_{t}^{L}))

local martingale.

Proof. It is a combination of Theorem 4.1 and Corollary 3.6 . □

Remark 4.4. We then see that under the assumptions (CA), the initial enlargement of filtrations with

A_{\infty}

amounts to enlarging initially the filtration with

S_{\infty}

, the terminal value of the supremum process of a continuous local martingale in

C_{0}

We shall now outline another nontrivial consequence of Theorem 4.1 here.

In [2] , the authors are interested in giving explicit examples of dual predictable projections of processes of the form

1_{g \leq t}

, where

g

is an honest time. Indeed, these dual projections are natural examples of increasing injective processes (see [2] for more details and references). With Theorem 4.1 , we have a complete characterization of such projections:

Corollary 4.5. Let

g

be an honest time and assume the assumptions (CA) hold. An increasing process

C_{t}

is the dual predictable projection of

1_{g \leq t}

if and only if there exists a continuous local martingale

N_{t}

in the class

C_{0}

such that

C_{t} = log S_{t} .

The previous results can be naturally extended to the case where the supermartingale

Z_{t}

has only negative jumps; we gave a special treatment under the hypothesis (CA) because of its practical importance. We just give here the extension of Theorem 4.1 ; the corollaries are easily deduced.

Proposition 4.6. Let

L

be an honest time that avoids stopping times. Assume that

Z_{t}^{L}

has no positive jumps. Then, there exists a local martingale

{(N_{t})}_{t \geq 0}

, in the class

C_{0}

, with

N_{0} = 1

, such that:

(Z_{t}^{L} =) Z_{t} = P (L > t | ℱ_{t}) = \frac{N_{t}}{S_{t}}

Proof. We use the same notations as in the proof of Theorem 4.1 . For $t < T_{0} \equiv inf {t : Z_{t} = 0}$ , we have: $- log (Z_{t}) = - (\int_{0}^{t} (\frac{d M_{s}}{Z_{s -}} - \frac{1}{2} \frac{d < M^{c} >_{s}}{Z_{s -}^{2}}) + \sum_{0 < s \leq t} (log (1 + \frac{Δ Z_{s}}{Z_{s -}}) - \frac{Δ Z_{s}}{Z_{s -}})) + A_{t} .$ Now, from Lemma 2.6 , $A_{t} = {sup}_{s \leq t} (\int_{0}^{t} (\frac{d M_{s}}{Z_{s -}} - \frac{1}{2} \frac{d < M^{c} >_{s}}{Z_{s -}^{2}}) + \sum_{0 < s \leq t} (log (1 + \frac{Δ Z_{s}}{Z_{s -}}) - \frac{Δ Z_{s}}{Z_{s -}})) .$ Now, combining the last two equalities, we obtain:
$Z_{t} = \frac{N_{t}}{S_{t}},$ where $N_{t} = exp (\int_{0}^{t} (\frac{d M_{s}}{Z_{s -}} - \frac{1}{2} \frac{d < M^{c} >_{s}}{Z_{s -}^{2}})) \prod_{0 < s \leq t} (1 + \frac{Δ Z_{s}}{Z_{s -}}) exp (- \frac{Δ Z_{s}}{Z_{s -}}) .$ □

5 Examples and applications

In this section, we look at some specific local martingales

N_{t}

, and use the initial enlargement formula with

S_{\infty}

, to get some path decompositions, given the maximum or the minimum of some stochastic processes. Our aim here is to illustrate how techniques from enlargement of filtrations can be applied. To have a complete description for the path decompositions, we associate with

g

a random time, called pseudo-stopping time, which occurs before

g

. Eventually, we give some explicit examples of supermartingales

Z_{t}

with jumps.

5.1 Pseudo-stopping times

In [16] , we have proposed the following generalization of stopping times:

Definition 5.1. Let

ρ : (Ω, ℱ) \to R_{+}

be a random time;

ρ

is called a pseudo-stopping time if for every bounded

(ℱ_{t})

martingale we have:

E (M_{ρ}) = E (M_{0}) .

David Williams ([24] ) gave the first example of such a random time and the following systematic construction is established in [16] :

Proposition 5.2. Let

L

be an honest time. Then, under the conditions (CA),

ρ \equiv sup {t < L : Z_{t}^{L} = {inf}_{u \leq L} Z_{u}^{L}},

is a pseudo-stopping time, with

Z_{t}^{ρ} \equiv P (ρ > t | ℱ_{t}) = {inf}_{u \leq t} Z_{u}^{L},

and

Z_{ρ}^{ρ}

follows the uniform distribution on

(0, 1)

The following property, also proved in [16] , is essential in studying path decompositions:

Proposition 5.3. Let

ρ

be a pseudo-stopping time and let

M_{t}

be an

(ℱ_{t})

local martingale. Then

(M_{t \land ρ})

is an

(ℱ_{t}^{ρ})

local martingale.

In our setting, Proposition 5.2 gives:

Proposition 5.4. Define the nonincreasing process

(r_{t})

by:

r_{t} \equiv {inf}_{u \leq t} \frac{N_{u}}{S_{u}} .

Then,

ρ \equiv sup {t < g : \frac{N_{t}}{S_{t}} = {inf}_{u \leq g} \frac{N_{u}}{S_{u}}},

is a pseudo-stopping time and

r_{ρ}

follows the uniform distribution on

(0, 1)

5.2 Path decompositions given the maxima or the minima of a diffusion

Now, we shall apply the techniques of enlargements of filtrations to establish some path decompositions results. Some of the following results have been proved by David Williams in [23] , using different methods. Jeulin has also given a proof based on enlargements techniques in the case of transient diffusions (see [8] ). Here, we complete the results of David Williams by introducing the pseudo-stopping times

ρ

defined in Proposition 5.4 , and we detail some interesting examples.

5.2.1 The killed Brownian Motion

Let

N_{t} \equiv B_{t},

where

{(B_{t})}_{t \geq 0}

is a Brownian Motion starting at

1

, and stopped at

T_{0} = inf {t : B_{t} = 0}

. Let

S_{t} \equiv {sup}_{s \leq t} B_{s} .

Let

g = sup {t : B_{t} = S_{t}}

and

ρ = sup {t < g : \frac{B_{t}}{S_{t}} = {inf}_{u \leq g} \frac{B_{u}}{S_{u}}} .

From Doob's maximal identity,

S_{T_{0}} = S_{g}

is distributed as the reciprocal of a uniform distribution

(0, 1)

, i.e. it has the density:

1_{[1, \infty)} (x) \frac{1}{x^{2}}

Proposition 5.5. Let

{(B_{t})}_{t \geq 0}

be a Brownian Motion starting at

1

and stopped when it first hits

0

. Then:

$∙$ $\frac{B_{ρ}}{S_{ρ}}$ follows the uniform law on $(0, 1)$ , and conditionally on $\frac{B_{ρ}}{S_{ρ}} = r$ , $(B_{t})$ is a Brownian Motion up to the first time when $B_{t} = r S_{t}$ .

∙

(B_{t})

is an

(ℱ_{t}^{g})

and

(ℱ_{t}^{σ (S_{T_{0}})})

semimartingale with canonical decomposition:

\begin{matrix} B_{t} = {\tilde{B}}_{t} + \int_{0}^{t \land g} \frac{d s}{B_{s}} - \int_{g}^{t \land T_{0}} \frac{d s}{S_{T_{0}} - B_{s}}, \end{matrix}

(5.1)

where

({\tilde{B}}_{t})

is an

ℱ_{t}^{σ (S_{T_{0}})}

Brownian Motion, stopped at

T_{0}

and independent of

S_{T_{0}}

. Consequently, we have the following path decomposition: conditionally on

S_{T_{0}} = m

(1) the process $(B_{t}; t \leq g)$ is a Bessel process of dimension $3$ , started from $1$ , considered up to $T_{m}$ , the first time when it hits $m$ ;
(2) the process $(S_{g} - B_{g + t}; t \leq T_{0} - g)$ is a $(ℱ_{g + t})$ three dimensional Bessel process, started from $0$ , considered up to $T_{m}$ , the first time when it hits $m$ , and is independent of $(B_{t}; t \leq g)$ .

Proof. The results concerning the decomposition until $ρ$ are consequences of the results of Subsection 5.1 . The decomposition formula is a consequence of Theorem 3.4 . Since $({\tilde{B}}_{t})$ is an $ℱ_{t}^{σ (S_{T_{0}})}$ local martingale, with $t \land T_{0}$ as its bracket, it follows from Lévy's theorem that it is an $ℱ_{t}^{σ (S_{T_{0}})}$ Brownian Motion. Moreover, it is independent of $ℱ_{0}^{σ (S_{T_{0}})} = σ (S_{T_{0}})$ . Now, conditionally on $S_{T_{0}} = m$ , with $T_{m} = inf {t : B_{t} = m}$ , $(B_{t})$ satisfies the following stochastic differential equation:
$B_{t} = {\tilde{B}}_{t} + \int_{0}^{t \land T_{m}} \frac{d s}{B_{s}} .$ Hence it is a three dimensional Bessel process up to $T_{m}$ .
It also follows from the decomposition formula that:
$B_{g + t} = {\tilde{B}}_{g + t} + \int_{0}^{g} \frac{d s}{B_{s}} - \int_{0}^{t \land (T_{0} - g)} \frac{d s}{S_{g} - B_{g + s}} .$ This equation can also be written as:
$S_{g} - B_{g + t} = - ({\tilde{B}}_{g + t} - {\tilde{B}}_{g}) + \int_{0}^{t \land (T_{0} - g)} \frac{d s}{S_{g} - B_{g + s}} .$ Now, $({\tilde{B}}_{g + t} - {\tilde{B}}_{g})$ is an $(ℱ_{g + t})$ Brownian Motion, starting from $0$ , and is independent of $ℱ_{g}$ . Taking ${\tilde{β}}_{t} \equiv - ({\tilde{B}}_{g + t} - {\tilde{B}}_{g})$ , which is also an $(ℱ_{g + t})$ Brownian Motion, starting from $0$ , independent of $ℱ_{g}$ , the process $ξ_{t} \equiv S_{g} - B_{t}$ satisfies the stochastic differential equation:
$ξ_{t} = {\tilde{β}}_{t} + \int_{0}^{t \land (T_{0} - g)} \frac{d s}{ξ_{s}};$ hence it is a three dimensional Bessel process, started at $0$ , and considered up to $T_{m}$ , and conditionally on $S_{g}$ , is independent of $ℱ_{g}$ . □

5.2.2 Some recurrent diffusions

The previous example can be generalized to a wider class of recurrent diffusions

(X_{t})

, satisfying the stochastic differential equation:

\begin{matrix} X_{t} = x + B_{t} + \int_{0}^{t} b (X_{s}) d s, x > 0 \end{matrix}

(5.2)

where

(B_{t})

is the standard Brownian Motion, and

b

is a Borel integrable function. The infinitesimal generator

L

of this diffusion is:

L = \frac{1}{2} \frac{d^{2}}{d x^{2}} + b (x) \frac{d}{d x} .

Let

T_{0} \equiv inf {t : X_{t} = 0)

, and denote by

s

the scale function of

X

, which is strictly increasing and which vanishes at zero, i.e:

s (z) = \int_{0}^{z} exp (- 2 \hat{b} (y)) d y,

where

\hat{b} (y) = \int_{0}^{y} b (u) d u .

Hence,

N_{t} \equiv \frac{s (X_{t \land T_{0}})}{s (x)}

is a continuous local martingale belonging to the class

C_{0}

. If

S_{t}

denotes the supremum process of

N_{t}

and

{\bar{X}}_{t}

the supremum process of

X_{t}

, we have:

S_{t} = \frac{s ({\bar{X}}_{t \land T_{0}})}{s (x)} .

Now, let

g = sup {t < T_{0} : X_{t} = {\bar{X}}_{t}},

and

ρ = sup {t < g : \frac{X_{t}}{{\bar{X}}_{t}} = {inf}_{u \leq g} \frac{X_{u}}{{\bar{X}}_{u}}} .

Proposition 5.6. Let

(X_{t})

be a diffusion process satisfying equation ( 5.2 ). Then:

$∙$ $\frac{X_{ρ}}{{\bar{X}}_{ρ}}$ follows the uniform law on $(0, 1)$ , and conditionally on $\frac{X_{ρ}}{{\bar{X}}_{ρ}} = r$ , $(X_{t})$ is a diffusion process, up to the first time when $X_{t} = r {\bar{X}}_{t}$ , with the same infinitesimal generator as $X$ .

∙

(X_{t})

is an

(ℱ_{t}^{g})

and an

(ℱ_{t}^{σ ({\bar{X}}_{T_{0}})})

semimartingale with canonical decomposition:

\begin{matrix} X_{t} = {\tilde{B}}_{t} + \int_{0}^{t} b (X_{u}) d u + \int_{0}^{t \land g} \frac{s^{'} (X_{u})}{s (X_{u})} d u - \int_{g}^{t \land T_{0}} \frac{s^{'} (X_{u})}{s ({\bar{X}}_{T_{0}}) - s (X_{u})} d u, \end{matrix}

(5.3)

where

({\tilde{B}}_{t})

is an

ℱ_{t}^{σ ({\bar{X}}_{T_{0}})}

Brownian Motion, stopped at

T_{0}

and independent of

{\bar{X}}_{T_{0}}

. Consequently, we have the following path decomposition: conditionally on

{\bar{X}}_{T_{0}} = m

(1) the process $(X_{t}; t \leq g)$ is a diffusion process started from $x > 0$ , considered up to $T_{m}$ , the first time when it hits $m$ , with infinitesimal generator $\frac{1}{2} \frac{d^{2}}{d x^{2}} + (b (x) + \frac{s^{'} (x)}{s (x)}) \frac{d}{d x} .$
(2) the process $(X_{g + t}; t \leq T_{0} - g)$ is a $(ℱ_{g + t})$ diffusion process, started from $m$ , considered up to $T_{0}$ , the first time when it hits $0$ , and is independent of $(X_{t}; t \leq g)$ ; its infinitesimal generator is given by:
$\frac{1}{2} \frac{d^{2}}{d x^{2}} + (b (x) + \frac{s^{'} (x)}{s (x) - s (m)}) \frac{d}{d x} .$
(3) ${\bar{X}}_{T_{0}}$ follows the same law as $s^{- 1} (\frac{1}{U})$ , where $U$ follows the uniform law on $(0, 1)$ .

Proof. The proof is exactly the same as the proof of Proposition 5.5 , so we will not reproduce it here. □

5.2.3 Geometric Brownian Motion with negative drift

Let

N_{t} \equiv exp (2 ν B_{t} - 2 ν^{2} t),

where

(B_{t})

is a standard Brownian Motion, and

ν > 0

. With the notation of Theorem 3.4 , we have:

S_{t} = exp ({sup}_{s \leq t} 2 ν (B_{s} - ν s)),

and

g = sup {t : (B_{t} - ν t) = {sup}_{s \geq 0} (B_{s} - ν s)} .

Before stating our proposition, let us mention that we could have worked with more general continuous exponential local martingales, but we preferred to keep the discussion as simple as possible (the proof for more general cases is exactly the same).

Proposition 5.7. With the assumptions and notations used above, we have:

(1) The variable ${sup}_{s \geq 0} (B_{s} - ν s)$ follows the exponential law of parameter $2 ν$ .
(2) Every local martingale $X$ is an $(ℱ_{t}^{σ (S_{\infty})})$ semimartingale and decomposes as:
$X_{t} = {\tilde{X}}_{t} + 2 ν < X, B >_{t \land g} - 2 ν \int_{g}^{t} \frac{N_{s}}{S_{\infty} - N_{s}} d < X, B >_{s},$ where ${\tilde{X}}_{t}$ is an $(ℱ_{t}^{σ (S_{\infty})})$ local martingale.
(3) Conditionally on $S_{\infty} = m$ , the process $(B_{t} - ν t; t \leq g)$ is a Brownian Motion with drift $+ ν$ up to the first hitting time of its maximum $m / 2 ν$ .

Proof. From Doob's maximal equality, ${(exp ({sup}_{s \leq g} (2 ν B_{s} - 2 ν^{2} s)))}^{- 1}$ follows the uniform law and hence ${sup}_{s \geq 0} (B_{s} - ν s)$ follows the exponential law of parameter $2 ν$ .
The decomposition formula is a consequence of Theorem 3.4 and the fact that: $d N_{t} = 2 ν N_{t} d B_{t}$ . To show $(3)$ , it suffices to notice that $B_{t} - ν t$ is equal to ${\tilde{B}}_{t} + ν t$ in the filtration $(ℱ_{t}^{σ (S_{\infty})})$ , with $({\tilde{B}}_{t})$ an $(ℱ_{t}^{σ (S_{\infty})})$ Brownian Motion which is independent of $S_{\infty}$ . □

5.2.4 General transient diffusions

Now, we consider

(R_{t})

, a transient diffusion with values in

[0, \infty)

, which has

{0}

as entrance boundary. Let

s

be a scale function for

R

, which we can choose such that:

s (0) = - \infty, and s (\infty) = 0 .

Then, under the law

P_{x}

, for any

x > 0

, the local martingale

(N_{t} = \frac{s (R_{t})}{s (x)}, t \geq 0)

satisfies the conditions of Theorem 3.4 , and we have:

P_{x} (g > t | ℱ_{t}) = \frac{s (R_{t})}{s (I_{t})}

where

g = sup {t : R_{t} = I_{t}},

and

I_{t} = {inf}_{s \leq t} R_{s} .

We thus recover results of Jeulin ([8] , Proposition 6.29, p.112) by other means.

Jeulin used this formula and gave a quick proof of a theorem of David Williams ([23] ), using initial enlargement of filtrations arguments. Our proof would follow the same lines and so we refer to the book of Jeulin. We would rather detail an interesting example: the three dimensional Bessel process.

Proposition 5.8. Let

(R_{t})

be a three dimensional Bessel process starting from

1

, and set, as above,

I_{t} = {inf}_{s \leq t} R_{s}

, and

g = sup {t : R_{t} = I_{t}}

Define

ρ

by:

ρ = sup {t < g : \frac{I_{t}}{R_{t}} = {inf}_{u \leq g} \frac{I_{u}}{R_{u}}} .

Then:

(1) The variable $\frac{I_{ρ}}{R_{ρ}}$ follows the uniform law on $(0, 1)$ and, conditionally on $I_{ρ} = r R_{ρ}$ , $(R_{t}, t \leq T_{r})$ is a three dimensional Bessel process starting from $1$ , up to the first time $T_{r}$ when $I_{t} = r R_{t}$ .
(2) $I_{\infty} \equiv I_{g}$ follows the uniform law on $(0, 1)$ ;
(3) Conditionally on $I_{\infty} = r$ , the process $(R_{t}, t \leq g)$ is a Brownian Motion starting from $1$ and stopped when it first hits $r$ .

Proof. There exists ${(β)}_{t \geq 0}$ , a Brownian Motion, such that $R_{t} = 1 + β_{t} + \int_{0}^{t} \frac{d s}{R_{s}} .$ $(1)$ follows easily from the results of Subsection 5.1 . Now, from Ito's formula, it follows that $\frac{1}{R_{t}} = 1 - \int_{0}^{t} \frac{d β_{s}}{R_{s}^{2}};$ hance, it is a local martingale. In $(ℱ_{t}^{σ (I_{\infty})})$ , $β_{t \land g} = {\tilde{β}}_{t} - \int_{0}^{t \land g} \frac{d s}{R_{s}},$ where $({\tilde{β}}_{t})$ is an $(ℱ_{t}^{σ (I_{\infty})})$ Brownian Motion independent of $I_{\infty}$ . Hence, $R_{t \land g}$ decomposes as $R_{t \land g} = {\tilde{β}}_{t}$ in $(ℱ_{t}^{σ (I_{\infty})})$ , and this completes the proof for $(3)$ , and $(2)$ is an immediate consequence of Doob's maximal identity. □

Remark 5.9. The previous method applies to any transient diffusion

{(R_{t})}_{t \geq 0}

, with values in

(0, \infty)

, and which satisfies:

R_{t} = x + B_{t} + \int_{0}^{t} d u c (R_{u}),

where

c : R_{+} \to R

allows uniqueness in law for this equation. These diffusions were studied in [22] to obtain some extension of Pitman's theorem (see also [26] ).

5.3 Some examples of $Z_{t}$ with jumps

We shall conclude this paper by giving some explicit examples of discontinuous

Z^{'} s

. Let

X

be a Poisson process with parameter

c

and let

N_{t} = X_{t} - c t

N

is a martingale in the natural filtration

(ℱ_{t})

X

. Every local martingale

Y

in this filtration may be written as:

Y_{t} = Y_{0} + \int_{0}^{t} k_{s} d N_{s},

where

k

is an

(ℱ_{t})

predictable process. Now, for

f : R_{+} \to R_{+}

a locally bounded and Borel function, let

ℰ_{t}^{f} = exp (- \int_{0}^{t} f (s) d X_{s} + c \int_{0}^{t} (1 - exp (- f (s))) d s)

ℰ_{t}^{f}

is an

ℱ_{t}

local martingale which can be represented as:

ℰ_{t}^{f} = 1 + \int_{0}^{t} ℰ_{s -}^{f} (exp (- f (s)) - 1) d N_{s} .

\int_{0}^{\infty} f (s) d s = \infty

, then

{lim}_{t \to \infty} ℰ_{t}^{f} = 0

Proposition 5.10. Let

f

be a nonnegative locally bounded and Borel function on

R_{+}

, such that

{lim}_{t \to \infty} ℰ_{t}^{f} = 0

. Define:

g = sup {t : ℰ_{t}^{f} = {\bar{ℰ}}_{t}^{f}},

where

{\bar{ℰ}}_{t}^{f} = {sup}_{s \leq t} ℰ_{s}^{f} .

Then:

(1) ${sup}_{s \geq 0} (- \int_{0}^{t} f (s) d X_{s} + c \int_{0}^{t} (1 - exp (- f (s))) d s)$ is distributed as a random variable with the exponential law with parameter $1$ ;
(2) The supermartingale $Z_{t}^{g}$ associated with $g$ is given by:
$P (g > t | ℱ_{t}) = \frac{ℰ_{t}^{f}}{{\bar{ℰ}}_{t}^{f}};$
(3) Every $ℱ_{t}$ local martingale $Y_{t} (= \int_{0}^{t} k_{s} d N_{s})$ is a semimartingale in the filtration $ℱ_{t}^{σ ({\bar{ℰ}}_{\infty}^{f})}$ , with canonical decomposition:
$Y_{t} = {\tilde{Y}}_{t} + c \int_{0}^{t \land g} k_{s} (exp (- f (s)) - 1) d s - c \int_{g}^{t} k_{s} (exp (- f (s)) - 1) \frac{ℰ_{s}^{f}}{{\bar{ℰ}}_{\infty}^{f} - ℰ_{s}^{f}} d s,$ where ${\tilde{Y}}_{t}$ is an $ℱ_{t}^{σ ({\bar{ℰ}}_{\infty}^{f})}$ local martingale.

References

J. Azema: Quelques applications de la théorie générale des processus I, Invent. Math. 18 (1972) 293-336.
J. Azema, T. Jeulin, F. Knight, M. Yor: Quelques calculs de compensateurs impliquant l'injectivité de certains processus croissants, Sém.Proba. XXXII, Lecture Notes in Mathematics 1686, (1998), 316-327.
J. Azema, M. Yor: Une solution simple au problème de Skorokhod, Sém.Proba. XIII, Lecture Notes in Mathematics 721, (1979), 90-115 and 625-633.
M.T. Barlow, Study of a filtration expanded to include an honest time, ZW, 44, 1978, 307-324.
C. Dellacherie, B. Maisonneuve, P.A. Meyer: Probabilités et potentiel, Chapitres XVII-XXIV: Processus de Markov (fin), Compléments de calcul stochastique, Hermann (1992).
C. Dellacherie, P.A. Meyer: Probabilités et potentiel, Hermann, Paris, vol. I 1976, vol. II 1980.
C. Dellacherie, P.A. Meyer: A propos du travail de Yor sur les grossissements des tribus, Sém.Proba. XII, Lecture Notes in Mathematics 649, (1978), 69-78.
T. Jeulin: Semi-martingales et grossissements d'une filtration, Lecture Notes in Mathematics 833, Springer (1980).
T. Jeulin, M. Yor (eds): Grossissements de filtrations: exemples et applications, Lecture Notes in Mathematics 1118, Springer (1985).
T. Jeulin, M. Yor: Grossissement d'une filtration et semimartingales: formules explicites, Sém.Proba. XII, Lecture Notes in Mathematics 649, (1978), 78-97.
F.B. Knight, B. Maisonneuve: A characterization of stopping times, Annals of probability, 22, (1994), 1600-1606.
H.P., McKean, Jr.: Stochastic integrals, Academic Press, New York (1969).
P.A. Meyer: Probabilités et potentiel, Hermann (1966).
P.A. Meyer: Sur un théorème de J. Jacod, Sém.Proba. XII, Lecture Notes in Mathematics 649, (1978), 57-60.
L. Nguyen, M. Yor: Sur un théorème de J. Jacod, Sém.Proba. XXXVIII, Lecture Notes in Mathematics 649, (2005), 57-60.
A. Nikeghbali, M. Yor: A definition and some characteristic properties of pseudo-stopping times, to appear in Annals of probability.
A. Nikeghbali, M. Yor: A class of remarkable submartingales (I), in preparation.
J.W. Pitman, M. Yor: Bessel processes and infinitely divisible laws, In: D. Williams (ed.) Stochastic integrals, Lecture Notes in Mathematics 851, Springer (1981).
P.E. Protter: Stochastic integration and differential equations, Springer. Second edition (2005).
D. Revuz, M. Yor: Continuous martingales and Brownian motion, Springer. Third edition (1999).
C. Rogers, D. Williams: Diffusions, Markov processes and Martingales, vol 2: Ito calculus, Wiley and Sons, New York, 1987.
Y. Saisho, H. Tanemura: Pitman type theorem for one-dimensional diffusion processes, Tokyo J. Math. 13, no.2, (1990), 429-440.
D. Williams: Path decomposition and continuity of local time for one-dimensional diffusions I, Proc. London Math. Soc. 3, 28 (1974), 3-28.
D. Williams: A non stopping time with the optional-stopping property, Bull. London Math. Soc. 34 (2002), 610-612.
C. Yoeurp: Théorème de Girsanov généralisé, et grossissement d'une filtration, In: Grossissements de filtrations: exemples et applications, Springer, 172-196 (1985).
M. Yor: Some aspects of Brownian motion, Part II. Some recent martingale problems. Birkhauser, Basel (1997).

Laboratoire de Probabilites et Modeles Aleatoires, Universite Pierre et Marie Curie, et CNRS UMR 7599, 175 rue du Chevaleret F-75013 Paris, France. E-mail address : nikeghba@ccr.jussieu.fr Laboratoire de Probabilites et Modeles Aleatoires, Universite Pierre et Marie Curie, et CNRS UMR 7599, 175 rue du Chevaleret F-75013 Paris, France.

November 27, 2006

Ashkan Nikeghbali

Marc Yor