[Math] Lévy measure and Lévy process

levy-processespr.probabilitystochastic-processes

A Lévy measure $\nu$ on $\mathbb R^{d}$ is a measure satisfying
$$\nu\{0\} = 0, \ \int_{\mathbb R^{d}} (|y|^{2}\wedge 1) \nu(dy) <\infty.$$

A Lévy process can be characterized by triples $(b, A, \nu)$ by
Lévy-Itô decomposition, then
$$X_{t} = bt + W_{A}(t) + \int_{B_{1}} x \tilde N(t, dx) + \int_{B_{1}^{c}} x N(t, dx)$$
where $N(t, B)$ is a Poisson measure with $\mathbb E N(1, B) = \nu(B)$ for a set $B$ bounded below,
and $\tilde N(t, dx) = N(t, dx) – t \nu(dx)$ is its compensated one.

[Q.] If $(0, 0, \nu)$ is a triplet of a Lévy process $X$ whose first moment is finite, is the following always true?
$$ \lim_{r\to 0^{+}}\int_{B_{1}\setminus B_{r}^{c}} x \nu(dx) < \infty.$$
Moreover, if $\nu(B_1^c) = 0$, then
$$\mathbb E X_1 = \lim_{r\to 0^{+}}\int_{B_{1}\setminus B_{r}^{c}} x \nu(dx).$$
END.

Remark: If $\nu(dx) = x^{-2} dx$, then it corresponds to 1-stable process, and
$ \lim_{r\to 0^{+}}\int_{B_{1}\setminus B_{r}^{c}} x \nu(dx) = 0$, while
$ \int_{B_{1}} x \nu(dx) $ is not well-defined.
[Q1.] Is there always a Lévy process corresponding to $(0, 0, \nu)$ for an
arbitrary Lévy measure $\nu$?

Remark: Consider $\nu(dx) = x^{-2} I(x>0) dx$, it is
a Lévy measure. But if there was an associated process $X_{t}$, then $\mathbb E[X_{1}] = \int_{0}^{\infty} x \nu(dx) = \infty$.

Best Answer

No, for a counterexample, just take $$ \nu(dx) = \left(C_1 x^{-2} I(0<x<1) +C_2 |x|^{-2} I(-1<x<0)\right)dx, $$ where $C_1\neq C_2$. Then, $$ \int_{r<|x|\le 1} x\nu(dx) = (C_2-C_1) \int_r^1 x^{-1} dx \to \infty,\quad r\to 0. $$ As Levy measure is $0$ for $|x|\le 1$, all moments of the Lévy process $X_t$ are finite. The existence of the Lévy process with this Lévy measure is ensured by the references I gave earlier.

Your question seems to be connected to Lévy processes of bounded variation. The following is Lemma 2.21 in the second edition of Kyprianou's book cited above: A Lévy process with Lévy–Khintchine exponent corresponding to the triple $(a,\sigma,\nu)$ has paths of bounded variation if and only if $$ \sigma=0 \mbox{ and } \int_R (1\wedge |x|) \nu(dx)<\infty. $$

Related Question