, , ,

Denote by

ℳ (ℳ_{l o c})

and

ℳ^{2} (ℳ_{l o c}^{2}, ℳ_{l o c}^{c})

the classes of all martingales (local martingale) and square integrable (locally square integrable, continuous local martingales)

M = (M_{t})_{t \geq 0}, M_{0} = 0

(with paths in the Skorokhod space

D_{[0, \infty)}

) defined on

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

a stochastic basis with standard general conditions. Recall that any random process

X

with paths in the Skorokhod space and defined on the above-mentioned stochastic basis belongs to the class

D

if the family

(X_{τ}, τ \in T)

, where

T

is the set of stopping times

τ

, is uniformly integrable.

Henceforth

△ M_{t} : = M_{t} - M_{t -}

〈 M 〉_{t}

and

[M, M]_{t}

are the jumps, predictable quadratic variation and optional quadratic variation processes of

M

respectively.

It is well-known (see e.g. [9] , [7] and references therein) that for local martingales from

ℳ_{l o c}^{2}

〈 M 〉_{\infty} < \infty, a . s . \Rightarrow {\begin{matrix} [M, M]_{\infty} < \infty & a . s . \\ {lim}_{t \to \infty} M_{t} = M_{\infty} \in R & a . s . \end{matrix}

There are many other well-known relations between

M_{\infty}

and

〈 M 〉_{\infty}

(e.g., Burkholder–Gundy–Davis's inequalities, law of large numbers for martingales, etc.) which are valid for local martingales with jumps.

M \in ℳ \cap D

, then

M

satisfies the Wald equality:

E M_{\infty} = 0

which plays a fundamental role in many applications in stochastic analysis. Often, a direct verification of the uniform integrability is difficult. In this connection, we mention one result from Novikov, [10] , establishing a relation between the tail distributions of

〈 M 〉_{\infty}

and

E M_{\infty}

. A similar result is also proved in Elworthy, Li and Yor, [2] , under slightly different conditions than in [10] . Concerning the related topic dealing with a one-sided stochastic boundary, see Pes̆kir and Shiryaev, [13] , and Vondrac̆ek [15] .

Theorem*. Let

M \in ℳ_{l o c}^{c}

and

〈 M 〉_{\infty} < \infty

a.s. If

{sup}_{t > 0} E e^{ɛ M_{t}} < \infty

for some positive

ɛ

, then¹

0 \leq E M_{\infty} \leq E M_{\infty}^{+} < \infty

and

{lim}_{λ \to \infty} λ P (〈 M 〉_{\infty}^{1 / 2} > λ) = \sqrt{\frac{2}{π}} E M_{\infty} .

One of our goals is a generalization of Theorem* statement for local martingales with bounded jumps.

Theorem 1.1. Let

M \in ℳ_{l o c}^{2}, 〈 M 〉_{\infty} < \infty

a.s. and

M^{+} \in D

. Then: (i)

{lim}_{t \to \infty} M_{t} : = M_{\infty}

exists and

0 \leq E M_{\infty} \leq E M_{\infty}^{+} < \infty;

(ii)

| △ M | \in D

and (i) provide

{lim}_{λ \to \infty} λ P ({sup}_{t \geq 0} M_{t}^{-} > λ) = E M_{\infty};

(iii)

| △ M | \leq K

and

\begin{matrix} E e^{ɛ M_{\infty}} < \infty, \end{matrix}

(1.1)

for some positive

K

and

ɛ

, provide

{lim}_{λ \to \infty} λ P (〈 M 〉_{\infty}^{1 / 2} > λ) = {lim}_{λ \to \infty} λ P ([M, M]_{\infty}^{1 / 2} > λ) = \sqrt{\frac{2}{π}} E M_{\infty} .

M^{+} \in D

, Theorem 1.1 gives necessary and sufficient conditions for

M \in D

expressed in terms of

{sup}_{t \geq 0} M_{t}^{-}

〈 M 〉_{\infty}

, and

[M, M]_{\infty}

which are useful in some applications (see, e.g., by Jacod and Shiryaev [8] ).

Corollary 1. Under the assumptions of Theorem 1.1 , the process

M \in D

iff any of the following conditions holds:

{lim}_{λ \to \infty} λ P ({sup}_{t \geq 0} M_{t}^{-} > λ) = 0,

{lim}_{λ \to \infty} λ P (〈 M 〉_{\infty}^{1 / 2} > λ) = 0,

{lim}_{λ \to \infty} λ P ([M, M]_{\infty}^{1 / 2} > λ) = 0 .

A few publications preceded [10] and [2] (see Azema, Gundy and Yor, [1] ; for discrete time martingales, Gundy, [5] , and Galtchouk and Novikov, [6] ). Takaoka, [14] , presented a result similar to Theorem *.

The proofs of parts (i) and (ii) of Theorem 1.1 are obvious and might even be known. The proof of (iii) exploits a combination of techniques:

“Stochastic exponential + Tauberian theorem”

which seems to have been firstly used by Novikov, [11] , to obtain asymptotics of the first passage times for Brownian motion (see also [10] ) and for random walks (see, Novikov [12] ). Some necessary facts on the stochastic exponential are gathered in Section 2 . The proofs are given in Section 3 .

The uniform boundedness assumption for

Δ M

might be weakened by applying a standard ”truncation” technique under some additional assumptions on the tails distribution of

Δ M

. We show in Theorem 3.1 that the uniform boundedness assumption for

Δ M

is avoided if the stochastic exponential possesses an evaluation in terms of

〈 M 〉_{\infty}

. This condition is borrowed from [10] where it is effectively applied for discrete-time martingales involving in a popular gambling strategies.

¹ $a^{+} = max (a, 0), a^{-} = max (- a, 0)$

2 Preliminaries

2.1 Stochastic exponential

For discontinuous martingales, the stochastic exponential has an “intricate” structure. So, we start with recalling the necessary notions and objects involving in (ii) (for more details, see e.g. [9] or [7] ).

For

M \in ℳ_{l o c}^{2}

M_{0} = 0

, the decomposition

M = M^{c} + M^{d}

is well known, where

M^{c}, M^{d} \in ℳ_{l o c}^{2}

and are continuous and purely discontinuous martingales respectively. Moreover,

〈 M 〉 = 〈 M^{c} 〉 + 〈 M^{d} 〉

, so the assumption

〈 M 〉_{\infty} < \infty

provides

〈 M^{c} 〉_{\infty} < \infty

〈 M^{d} 〉_{\infty} < \infty

. The measure

μ

is associated with the jump process

△ M \equiv △ M^{d}

in the sense that for any measurable set

A

and

t > 0

μ ((0, t] \times A) = \sum_{s \leq t} I (△ M_{s} \in A)

. Denote by

ν = ν (d t, d z)

its compensator. The condition

| △ M | \leq K

provides the existence of a version

ν

such that

ν (R_{+} \times {| z | > K}) = 0

This version of

ν

is used in the sequel.

The purely discontinuous martingale

M^{d}

is defined as the Itô integral with respect to

μ - ν

M_{t}^{d} = \int_{0}^{t} \int_{| z | \leq K} z (μ (d s, d z) - ν (d s, d z)) .

Recall also that

\int_{| z | \leq K} z ν ({t}, d z) = 0 a . s .

and

〈 M^{d} 〉_{t} = \int_{0}^{t} \int_{| z | \leq K} z^{2} ν (d s, d z) < \infty a . s ., t > 0 .

Hence,

〈 M^{d} 〉_{t} < \infty

a.s. provides

\begin{matrix} \int_{0}^{\infty} \int_{| z | \leq K} z^{2} ν (d s, d z) < \infty a . s . \end{matrix}

(2.1)

This fact is important for further considerations as long as we will deal with the cumulant process

G_{t} (λ) = \int_{0}^{t} \int_{| z | \leq K} (e^{λ z} - 1 - λ z) ν (d s, d z), λ \in R .

The boundedness of jumps and 2.1 implies the existence of

G_{t} (λ)

and

G_{\infty} (λ) : = {lim}_{t \to \infty} G_{t} (λ) < \infty

. The cumulant process

G (λ)

, being increasing, possesses a nonnegative jumps process

△ G_{t} (λ) : = \int_{| z | \leq K} (e^{λ z} - 1 - λ z) ν ({t}, d z) .

A random process

ℰ (λ)

with

\begin{matrix} ℰ_{t} (λ) = exp (\frac{λ^{2}}{2} 〈 M^{c} 〉_{t} + G_{t} (λ)) \prod_{0 < s \leq t} (1 + △ G_{s} (λ)) e^{- △ G_{s} (λ)} \end{matrix}

(2.2)

is known as “stochastic exponential” for the martingale

M

. Note that

ℰ_{t} > 0

, since

△ G (λ) \geq 0

A remarkable property of the stochastic exponential is that the process

z (λ)

\begin{matrix} z_{t} (λ) = e^{λ M_{t} - log ℰ_{t} (λ)} \end{matrix}

(2.3)

is a positive local martingale. Indeed, applying the Itô formula to 2.3 , we get

d z_{t} (λ) = λ z_{t} (λ) d M_{t}^{c} + \int_{| z | \leq K} z_{t -} (λ) \frac{(e^{λ z} - 1)}{1 + △ G_{t} (λ)} (μ - ν) (d t, d z),

where the right-hand side is a sum of two local martingales. As any nonnegative local martingale,

z (λ)

is also a supermartingale too (see e.g. Problem 1.4.4 in Liptser and Shiryaev [9] ). The latter provides the existence of

z_{\infty} (λ) : = {lim}_{t \to \infty} z_{t} (λ) \in R_{+} a . s .

with

E z_{τ} (λ) \leq 1

for any Markov time

τ

; hence, in particular,

E z_{\infty} \leq 1

Proposition 2.1. Let

| △ M | \leq K

〈 M 〉_{\infty}

a.s. and condition 1.1 hold.

Then, with

ɛ

from 1.1 and any

λ \in (0, ɛ]

, 1)

E z_{\infty} (λ) = 1

ℰ_{\infty} (λ) = {lim}_{t \to \infty} ℰ_{t} (λ) \in R_{+}

a.s. and

ℰ_{\infty} (λ) > 0

a.s.

Proof. 1) Let $(τ_{n})$ be an increasing sequence of stopping times, ${lim}_{n} τ_{n} = \infty$ , such that $(M_{t \land τ_{n}})_{t \geq 0}$ and $(z_{t \land τ_{n}} (λ))_{t \geq 0} \in D$ for any $n$ . Then
$\begin{matrix} E z_{τ_{n}} (λ) \equiv 1 . \end{matrix}$ (2.4)
In order to finish the proof, we show that $z_{τ_{n}} (λ)$ is majorized by uniformly integrable martingale $E (e^{λ M_{\infty}^{+}} | ℱ_{τ_{n}}),$ what is provided by 1.1 , applying Jensen's inequality: $E (e^{λ M_{\infty}^{+}} | ℱ_{τ_{n}}) \geq e^{λ E (M_{\infty}^{+} | ℱ_{τ_{n}})} \geq e^{λ M_{τ_{n}}^{+}} \geq z_{τ_{n}} (λ) .$ Hence, $(z_{τ_{n}} (λ))_{n \geq 1} \in D$ .
2) Since $z_{\infty} (λ) = e^{λ M_{\infty} - log ℰ_{\infty} (λ)}$ with $log 0 = - \infty$ , the desired property holds true provided that $z_{\infty} (λ) < \infty$ a.s. □

3 The proof of Theorem 1.1

3.1 The proof of parts (i) and (ii)

1) Let

(τ_{n})_{n \geq 1}

be an increasing sequence of stopping times,

{lim}_{n} τ_{n} = \infty

, such that

(M_{τ_{n}})_{n \geq 1} \in D

and, therefore,

E M_{τ_{n}}^{-} = E M_{τ_{n}}^{+}, n \geq 1

. Due to the assumption

M^{+} \in D

, we have

{lim}_{n \to \infty} E M_{τ_{n}}^{+} = E M_{\infty}^{+} < \infty

. Now, applying the Fatou theorem, we find that

E M_{\infty}^{+} \geq E M_{\infty}^{-}

Hence,

E M_{\infty}^{+} \geq E M_{\infty}^{+} - E M_{\infty}^{-} = E M_{\infty} \geq 0 .

2) Set

S_{λ} = inf {t : M_{t}^{-} \geq λ}

and notice that

{S_{λ} < \infty} = {{sup}_{t \geq 0} M_{t}^{-} > λ} .

Since

△ M_{\infty} = 0

and

| △ M | \in D

, the process

(M_{t \land S_{λ}})_{t \geq 0}

is a uniformly integrable martingale with

E M_{S_{λ}} = 0

Write

\begin{matrix} 0 = E M_{S_{λ}} & = E M_{\infty} I_{{S_{λ} = \infty}} + E M_{S_{λ}} I_{{S_{λ} < \infty}} \end{matrix}

\begin{matrix} = E M_{\infty} I_{{S_{λ} = \infty}} + E M_{S_{λ}} I_{{{sup}_{t \geq 0} (- M_{t}) \geq λ}} \end{matrix}

\begin{matrix} = E M_{\infty} I_{{S_{λ} = \infty}} + E (M_{S_{λ}} - λ) I_{{S_{λ} < \infty}} \end{matrix}

\begin{matrix} + λ P ({sup}_{t \geq 0} M_{t}^{-} > λ) . \end{matrix}

Finally,

E M_{\infty}^{+} < \infty

provides

{lim}_{λ \to \infty} S_{λ} = \infty

and

E M_{\infty} \geq 0

The desired statement holds true owing to

| M_{S_{λ}} - λ | \leq | △ M_{S_{λ}} | \leq K

, that is,

| M_{S_{λ}} - λ |, λ > 0

is a uniformly integrable family. □

3.2 Proof of part (iii)

3.2.1 Auxiliary lemmas

Lemma 3.1. Under the assumptions of Theorem 1.1 (iii),

{lim}_{λ ↓ 0} E \frac{1}{λ} (1 - e^{- log ℰ_{\infty} (λ)}) = E M_{\infty} .

Proof. Recall that

λ \leq ɛ

for

ɛ

involved in assumption (ii). Since by Proposition 2.1

z_{t} (λ)

a uniformly integrable martingale, we have

E z_{\infty} (λ) = 1

. Hence,

\begin{matrix} E \frac{1}{λ} (1 - e^{- log ℰ_{\infty} (λ)}) & = E \frac{1}{λ} (z_{\infty} (λ) - e^{- log ℰ_{\infty} (λ)}) \end{matrix}

\begin{matrix} = E \frac{1}{λ} (e^{λ M_{\infty}} - 1) e^{- log ℰ_{\infty} (λ)} . \end{matrix}

The required statement follows from the relation

\begin{matrix} {lim}_{λ ↓ 0} \frac{1}{λ} e^{- log ℰ_{\infty} (λ)} (e^{λ M_{\infty}} - 1) = M_{\infty}, \end{matrix}

\begin{matrix} \frac{1}{λ} e^{- log ℰ_{\infty} (λ)} | e^{λ M_{\infty}} - 1 | \leq e^{ɛ M_{\infty}} \end{matrix}

and the assumption

E e^{ɛ M_{\infty}} < \infty

, see 1.1 . □

Lemma 3.2. Under the assumptions of Theorem 1.1 (iii),

{lim}_{λ ↓ 0} E \frac{1}{λ} (1 - e^{- \frac{λ^{2}}{2} 〈 M 〉_{\infty}}) = E M_{\infty} .

Proof. Due to Lemma 3.1 , suffice it to show that

\begin{matrix} {lim}_{λ ↓ 0} E \frac{1}{λ} | e^{- log ℰ_{\infty} (λ)} - e^{- \frac{λ^{2}}{2} 〈 M 〉_{\infty}} | = 0 . \end{matrix}

(3.1)

In order to verify 3.1 , we estimate

log ℰ_{\infty} (λ)

from above and below via

\frac{λ^{2}}{2} 〈 M 〉_{\infty}

Owing to

log ℰ_{\infty} (λ) \leq \frac{λ^{2}}{2} 〈 M^{c} 〉_{\infty} + G_{\infty} (λ),

we have

\begin{matrix} log ℰ_{\infty} (λ) \leq \frac{λ^{2}}{2} 〈 M 〉_{\infty} [1 + \frac{λ}{3} K e^{λ K}] . \end{matrix}

(3.2)

Further, with

G_{\infty}^{c} (λ) = \int_{0}^{\infty} \int_{| z | \leq K} (e^{λ z} - 1 - λ z) ν^{c} (d t, d z),

where

ν^{c} (d t, d z) : = ν (d t, d z) - ν ({t}, d z)

, and

Φ (λ, K) = 1 - λ K e^{λ K},

we get

\begin{matrix} \begin{matrix} log ℰ_{\infty} (λ) & = \frac{λ^{2}}{2} 〈 M^{c} 〉_{\infty} + G_{\infty}^{c} (λ) + \sum_{t > 0} log (1 + △ G_{t} (λ)) \\ \geq \frac{λ^{2}}{2} 〈 M^{c} 〉_{\infty} + Φ (λ, K) \int_{0}^{\infty} \int_{| z | \leq K} \frac{λ^{2}}{2} z^{2} ν^{c} (d t, d z) \\ + \sum_{t > 0} log (1 + Φ (λ, K) \int_{| z | \leq K} \frac{λ^{2}}{2} z^{2} ν ({t}, d z)) . \end{matrix} \end{matrix}

(3.3)

We choose

λ

so small to have

1 - λ K e^{λ K} > 0

and estimate from below the “

\sum_{t > 0} log

” in the last line from the above inequality by applying

log (1 + x) \geq x - \frac{1}{2} x^{2}, x \geq 0 .

This gives us the bound

\sum_{t > 0} log (1 + Φ (λ, K) \int_{| z | \leq K} \frac{λ^{2}}{2} z^{2} ν ({t}, d z)) \geq Φ (λ, K) \int_{| z | \leq K} \frac{λ^{2}}{2} z^{2} ν ({t}, d z) - \frac{1}{2} Φ^{2} (λ, K) {(\int_{| z | \leq K} \frac{λ^{2}}{2} z^{2} ν ({t}, d z))}^{2} .

Since

ν ({t}, | z | \leq K) \leq 1

, by the Cauchy–Schwarz inequality we find that

{(\int_{| z | \leq K} \frac{λ^{2}}{2} z^{2} ν ({t}, d z))}^{2} \leq \frac{λ^{4}}{4} \int_{| z | \leq K} z^{4} ν ({t}, d z) \leq \frac{λ^{4} K^{2}}{4} \int_{| z | \leq K} z^{2} ν ({t}, d z) .

So, finally we get

\begin{matrix} \sum_{t > 0} log (1 + Φ (λ, K) \int_{| z | \leq K} \frac{λ^{2}}{2} z^{2} ν ({t}, d z)) \geq (Φ (λ, K) - \frac{λ^{2}}{8} K^{2} Φ^{2} (λ, K)) \int_{| z | \leq K} \frac{λ^{2}}{2} z^{2} ν ({t}, d z) \end{matrix}

(3.4)

and now choose

λ

so small to have

\begin{matrix} Φ (λ, K) - \frac{λ^{2}}{8} K^{2} Φ^{2} (λ, K) \geq 1 - λ C > 0 \end{matrix}

(3.5)

for some constant

C > 0

. Combining now 3.3 , 3.2.1 and 3.5 , we may choose a generic positive constant

C

and sufficiently small

λ

such that

ℰ_{\infty} (λ) \geq [1 - C λ] \frac{λ^{2}}{2} 〈 M 〉_{\infty} .

Hence and with 3.2 , for some generic positive constant

C > 0

and sufficiently small

λ > 0

we have

0 < [1 - C λ] \frac{λ^{2}}{2} 〈 M 〉_{\infty} \leq log ℰ_{\infty} (λ) \leq [1 + C λ] \frac{λ^{2}}{2} 〈 M 〉_{\infty} .

These inequalities provide

\frac{1}{λ} | e^{- log ℰ_{\infty} (λ)} - e^{- \frac{λ^{2}}{2} 〈 M 〉_{\infty}} | \leq C \frac{λ^{2}}{2} 〈 M 〉_{\infty} e^{- \frac{λ^{2}}{2} 〈 M 〉_{\infty}} - - - \to λ \to 00 .

Since

x e^{- x} \leq e^{- 1}

, the desired result holds by Lebesgue's dominated theorem. □

Lemma 3.3. Under the assumptions of Theorem 1.1 (iii),

{lim}_{λ \to \infty} λ P (〈 M 〉_{\infty}^{1 / 2} > λ) = c \Leftrightarrow {lim}_{λ \to \infty} λ P ([M, M]_{\infty}^{1 / 2} > λ) = c .

Proof. It suffices to establish

\begin{matrix} \begin{matrix} l i m_{λ \to 0} \frac{P ([M, M]_{\infty}^{1 / 2} > λ)}{P (〈 M 〉_{\infty}^{1 / 2} > λ)} \leq 1, & l i m_{λ \to 0} \frac{P ([M, M]_{\infty}^{1 / 2} > λ)}{P (〈 M 〉_{\infty}^{1 / 2} > λ)} \geq 1 . \end{matrix} \end{matrix}

(3.6)

Set

L = [M, M] - 〈 M 〉

. Since

[M, M]_{\infty} \leq 〈 M 〉_{\infty} + {sup}_{t \geq 0} | L_{t} |

, applying the elementary inequality

(c + d)^{1 / 2} \leq c^{1 / 2} + d^{1 / 2}

, we find that

\begin{matrix} P ([M, M]_{\infty}^{1 / 2} > λ) \leq P ([〈 M 〉_{\infty} + {sup}_{t \geq 0} | L_{t} |]^{1 / 2} > λ) \end{matrix}

\begin{matrix} \leq P (〈 M 〉_{\infty}^{1 / 2} + {sup}_{t \geq 0} | L_{t} |^{1 / 2} > λ) \end{matrix}

\begin{matrix} \leq P (〈 M 〉_{\infty}^{1 / 2} > (1 - a) λ) + P ({sup}_{t \geq 0} | L_{t} | > a λ), a \in (0, 1) . \end{matrix}

(3.7)

\begin{matrix}  \end{matrix}

With

λ_{a} = (1 - a) λ

, the resulting bound can be rewritten as:

\begin{matrix} λ P ([M, M]_{\infty}^{1 / 2} > λ) \leq (1 - a)^{- 1} λ_{a} P (〈 M 〉_{\infty}^{1 / 2} > λ_{a}) + λ P ({sup}_{t \geq 0} | L_{t} |^{1 / 2} > a λ) . \end{matrix}

(3.8)

So, we shall deal with the evaluation from above of

P ({sup}_{t \geq 0} | L_{t} |^{1 / 2} > a λ)

A helpful tool here is the inequality: for some absolute positive constant

C

, any stopping time

τ

and

K

being a bound for

| △ M |

\begin{matrix} E {sup}_{t \leq τ} | L_{t} |^{2} \leq C K^{2} E 〈 M 〉_{τ} . \end{matrix}

(3.9)

In order to establish 3.9 , we use the following facts:

L

is the purely discontinuous local martingale with

\begin{matrix} [L, L]_{t} & = \sum_{s \leq t} (△ L_{s})^{2} = \sum_{s \leq t} {((△ M_{s})^{2} - △ 〈 M 〉_{s})}^{2} \end{matrix}

\begin{matrix} = \sum_{s \leq t} {(\int_{| z | \leq K} z^{2} (μ ({s}, d z) - ν ({s}, d z))}^{2}, \end{matrix}

\begin{matrix}  \end{matrix}

〈 L 〉_{t} = \int_{0}^{t} \int_{| z | \leq K} z^{4} (ν (d s, d z) - \sum_{s \leq t} {(\int_{| z | \leq K} z^{2} ν ({s}, d z))}^{2},

\begin{matrix} 〈 L 〉_{t} \leq \int_{0}^{t} \int_{| z | \leq K} z^{4} ν (d s, d z) \leq K^{2} \int_{0}^{t} \int_{| z | \leq K} z^{2} ν ({d s, d z) \leq K^{2} 〈 M 〉_{t}, \end{matrix}

K^{2} 〈 M 〉 - 〈 L 〉

is the increasing process.

Now, we refer to the Burkholder-Gundy inequality (see e.g. Theorem 1.9.7 in [9] ):

for any stopping time

τ

E {sup}_{t \leq τ} | L_{t} |^{2} \leq C E [L, L]_{τ} .

Due to the relations

E [L, L]_{τ} = E 〈 L 〉_{τ}

and

K^{2} 〈 M 〉_{τ} \geq 〈 L 〉_{τ}

(recall that

K^{2} 〈 M 〉 \geq 〈 L 〉

), we have

E 〈 L 〉_{τ} \leq K^{2} E 〈 M 〉_{τ},

that is, 3.9 is valid. Due to 3.9 and the fact that

〈 M 〉

is a predictable process, the Lenglart–Rebolledo inequality (see, e.g., Theorem 1.9.3 in [9] ) is applicable (notice that

{{sup}_{t \geq 0} | L_{t} |^{1 / 2} > a λ} \equiv {{sup}_{t \geq 0} | L_{t} | > a^{2} λ^{2}}

), so that,

\begin{matrix} P ({sup}_{t \geq 0} | L_{t} |^{1 / 2} > a λ) \leq \frac{λ^{5 / 2}}{a^{4} λ^{4}} + P (C K^{2} 〈 M 〉_{\infty} > λ^{5 / 2}) = \frac{λ^{5 / 2}}{a^{4} λ^{4}} + P (〈 M 〉_{\infty}^{1 / 2} > λ^{5 / 4} / (C^{1 / 2} K)) . \end{matrix}

(3.10)

Hence, with

r = 1 / (C^{1 / 2} K)

and

λ_{r} = r λ^{5 / 4}

\begin{matrix} λ P ({sup}_{t \leq_{T_{x}}} | L_{t} |^{1 / 2} > a λ) \leq \frac{1}{a^{4} λ^{1 / 2}} + \frac{1}{r λ^{1 / 4}} λ_{r} P (〈 M 〉_{\infty}^{1 / 2} > λ_{r}) . \end{matrix}

(3.11)

Now, 3.8 and 3.11 provide

λ P ([M, M]_{\infty}^{1 / 2} > λ) \leq (1 - a)^{- 1} λ_{a} P (〈 M 〉_{\infty}^{1 / 2} > λ_{a}) + \frac{1}{a^{4} λ^{1 / 2}} + \frac{r}{λ^{1 / 4}} λ_{r} P (〈 M 〉_{\infty}^{1 / 2} > λ_{r}) .

Assume that

c > 0

. Then, we get

\frac{P ([M, M]_{\infty}^{1 / 2} > λ)}{P (〈 M 〉_{\infty}^{1 / 2} > λ)} \leq \frac{(1 - a)^{- 1} λ_{a} P (〈 M 〉_{\infty}^{1 / 2} > λ_{a})}{λ P (〈 M 〉_{\infty}^{1 / 2} > λ)} + \frac{\frac{1}{a^{4} λ^{1 / 2}} + \frac{r}{λ^{1 / 4}} λ_{r} P (〈 M 〉_{\infty}^{1 / 2} > λ_{r})}{λ P (〈 M 〉_{\infty}^{1 / 2} > λ)} - - - - \to λ \to \infty \frac{1}{1 - a} - - - \to a \to 01

and the first part from 3.6 .

Since the second part from 3.6 is established similarly, we give only a sketch of the proof. The use of

P (〈 M 〉^{1 / 2} > λ) \leq P ([M, M]^{1 / 2} > (1 - a) λ) + P ({sup}_{t \geq 0} | L_{t} | > a λ), a \in (0, 1)

provides

\frac{P ([M, M] 〉_{\infty}^{1 / 2} > (1 - a) λ)}{P (〈 M 〉_{\infty}^{1 / 2} > λ)} \geq 1 - \frac{P ({sup}_{t \geq 0} | L_{t} | > a λ)}{P (〈 M 〉_{\infty}^{1 / 2} > λ)}

and the result.

c = 0

, we replace

M

M + M^{'}

, where

M^{'}

is independent of

M^{c}

local continuous martingale with

M_{0}^{'} = 0

and

〈 M^{'} 〉_{\infty} < \infty

a.s. and

{lim}_{λ \to \infty} λ P (〈 M^{'} 〉_{\infty}^{1 / 2} > λ) = c^{'} > 0 .

Now, taking into account the obvious relations

\begin{matrix} [M + M^{'}, M + M^{'}] = [M, M] + [M^{'}, M^{'}] a n d 〈 M + M^{'} 〉 = 〈 M 〉 + 〈 M^{'} 〉, \end{matrix}

\begin{matrix}  \end{matrix}

with

δ \neq 0

we find that

{lim}_{λ \to \infty} λ P (〈 M + δ M^{'} 〉_{\infty}^{1 / 2} > λ) = δ^{2} c^{'} > 0 .

So, by using the result already proved, we have

{lim}_{λ \to \infty} λ P ([M + δ M^{'}, M + δ M^{'}]_{\infty}^{1 / 2} > λ) = δ c^{'}

and so, by

P ([M + δ M^{'}, M + δ M^{'}]_{\infty}^{1 / 2} > λ) \geq P ([M, M]_{\infty}^{1 / 2} > λ)

, we find that

l i m_{λ \to 0} λ P ([M, M]_{\infty}^{1 / 2} > λ) \leq δ c^{'} - - - \to δ \to 00 .

□

3.2.2 Final part of the proof for (iii)

We refer to the Tauberian theorem.

Theorem**. (Feller, [4] , XIII.5, Example (c)) Let

X

be a nonnegative random variable such that

{lim}_{λ ↓ 0} \frac{1}{λ} (1 - E e^{- \frac{λ^{2}}{2} X})

exists in

R

, then

\sqrt{\frac{2}{π}} {lim}_{λ ↓ 0} \frac{1}{λ} (1 - E e^{- \frac{λ^{2}}{2} X}) = {lim}_{λ \to \infty} λ P (X^{1 / 2} > λ) .

Now, we are in the position to finish the proof of (ii). Letting

X = 〈 M 〉_{\infty}

, we find that

\sqrt{\frac{2}{π}} {lim}_{λ ↓ 0} \frac{1}{λ} (1 - E e^{- \frac{λ^{2}}{2} 〈 M 〉_{\infty}}) = {lim}_{λ \to \infty} λ P (〈 M 〉_{\infty}^{1 / 2} > λ) .

At the same time, Lemmas 3.1 and 3.2 provide

{lim}_{λ ↓ 0} \frac{1}{λ} (1 - E e^{- \frac{λ^{2}}{2} 〈 M 〉_{\infty}}) = \sqrt{\frac{2}{π}} E M_{\infty}

while by Lemma 3.3

{lim}_{λ \to \infty} λ P ([M, M]_{\infty}^{1 / 2} > λ) = \sqrt{\frac{2}{π}} E M_{\infty}

. □

3.3 Supplement

As it was mentioned in Introduction, the condition

| △ M | \leq K

might be too restrictive to be valid for serving some examples. It is known from [10] that this condition can be replaced by a weaker one and so more useful for applications. An analog of this result is given below.

Theorem 3.1. Let

M \in ℳ_{l o c}^{2}, 〈 M 〉_{\infty} < \infty

a.s.,

M^{+} \in D

and 1.1 holds.

Assume also that there exist nonnegative integrable random variables

ζ_{1}

ζ_{2}

such that for all sufficiently small

λ > 0

\begin{matrix} \frac{λ^{2}}{2} 〈 M 〉_{\infty} (1 - | λ | ζ_{1})^{+} \leq log ℰ_{\infty} (λ) \leq \frac{λ^{2}}{2} 〈 M 〉_{\infty} (1 + | λ | ζ_{2}) . \end{matrix}

(3.12)

Then

{lim}_{λ \to \infty} λ P (〈 M 〉_{\infty}^{1 / 2} > λ) = \sqrt{\frac{2}{π}} E M_{\infty} .

Proof. Notice that only 3.1 has to be verified under 3.12 .

By 3.12 , we have

\begin{matrix} \frac{1}{λ} | e^{- log ℰ_{\infty} (λ)} - e^{- \frac{λ^{2}}{2} 〈 M 〉_{\infty}} | & \leq (ζ_{2} \lor \frac{| 1 - (1 - ζ_{1} λ)^{+} |}{λ}) \frac{λ^{2}}{2} 〈 M 〉_{\infty} e^{- \frac{λ^{2}}{2} 〈 M 〉_{\infty}} \end{matrix}

\begin{matrix} \leq (ζ_{2} \lor ζ_{1}) \frac{λ^{2}}{2} 〈 M 〉_{\infty} e^{- \frac{λ^{2}}{2} 〈 M 〉_{\infty}} . \end{matrix}

The right-hand side of this inequality converges to zero, as

λ \to 0

, and is bounded by

e^{- 1} (ζ_{2} \lor ζ_{1})

. Hence, in order to get 3.1 suffices it to allude on the Lebesgue dominated convergence theorem. □

Acknowledgements. The authors gratefully acknowledge their colleagues J. Stoyanov, E. Shinjikashvili and anonymous reviewers for comments improving presentation of the material.

References

Azema, J., Gundy, R.F., Yor, M.: Sur l'intégrabilité uniforme des martingales continues. Séminaire de Probabilitès. XIV, LNM 784, 249-304, Springer (1980)
Elworthy, K.D., Li, X.M., Yor, M.: On the tails of the supremum and the quadratic variation of strictly local martingales. Sèminaire de Probabilitès XXXI, Lecture Notes in Math. 1655, 113-125, Springer (1997)
Ethier, S.N.: A gambling system and a Markov chain. Ann.Appl.Probab. 6, no.4, 1248-1259 (1996)
Feller, W.: An Introduction to probability and its Applications. 2, 2nd ed. Wiley (1971)
Gundy, R. F.: On a theorem of F. and M. Riesz and an equation of A. Wald. Indiana Univ. Math. J. 30, no. 4, 589-605
Galchouk, L. and Novikov, A.: On Wald's equation. Discrete time case. Séminaire de Probabilités. XXXI, Lecture Notes in Math., 1655, 126-135, Springer, Berlin (1997)
Jacod J., Shiryaev A.N.: Limit theorems for stochastic processes. 2nd ed. Springer-Verlag, Berlin (2003)
Jacod J., Shiryaev A.N.: Local martingales and the fundamental asset pricing theorrems in the discrete time case. Finance and Stochastics. 2, 255-273 (1998)
Liptser, R.Sh. and Shiryayev, A.N.: Theory of Martingales. Kluwer Acad. Publ. Dordrecht (1989)
Novikov, A.: Martingales, Tauberian theorem and gambling. Theory Prob., Appl. 41, no. 4, 716-729 (1996)
Novikov, A.A.: Martingale appproach to first passage problems of nonlinear boundaries. Proc. Steklov Inst. Math., v. 158, 130-152 (1981)
Novikov, A.: On the time of crossing a one-sided nonlinear boundary by sums of independent random variables. Theory Prob., Appl. 27, no. 4, 643-656 (1982)
Pes̆kir, G. and Shiryaev, A.N.: On the Brownian first-passage time over a one-sided stochastic boundary. Theory Probab. Appl. 42 (1998), no. 3, 444-453 (1997)
Takaoka, K.: Some remark on the uniform integrability of continuous martingales. Séminaire de Probabilités. XXXIII, Lecture Notes in Math., 1709., 327-333, Springer, Berlin (1999)
Vondrac̆ek, Z.: Asymptotics of first passage time over a one-sided stochastic boundary. J. Theoret. Prob. 13, no.1, 171-173 (1997)

Dept. Electrical Engineering-Systems, Tel Aviv University, 69978 Tel Aviv, Israel E-mail address : <liptser@eng.tau.ac.il> Dept. Mathematical Sciences, University of Technology Sydney, PO Box, 123. Broadway, NSW 2007, Australia E-mail address : <prob@maths.uts.edu.au>

Liptser R.

Novikov A.