Abstract
We provide a support theorem for the law of the solution to a stochastic differential equation (SDE) with jump noise. This theorem applies to quite general Lévy-driven SDEs and is illustrated by examples with rather degenerate jump noises, where the theorem leads to an informative description of the support.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The aim of this note is to describe the topological support of the law of the solution to a general stochastic differential equation (SDE) with jump noise. For diffusions, such a description is provided by the classical Stroock-Varadhan support theorem, see [1]. The natural question of an extension of this theorem to SDEs with jumps was studied intensively at the end of 1990s–early 2000s by H.Kunita, Y.Ishikawa, and T.Simon, see [2,3,4]. It appears that, in the jump noise setting, the two cases should be naturally separated, named in [3] the ‘Type I’ and ‘Type II’ SDEs. In plain words, an SDE is of ‘Type I’ if the small jumps are absolutely integrable and of ‘Type II’ otherwise. A ‘Type I’ SDE admits a simple and intuitively clear description of the support; this case was studied completely in [3]. ‘Type II’ SDEs had been studied under some additional limitations only, which can be understood as certain technical convexity and scaling-type assumptions on the Lévy measure of the noise. The latter ‘scaling’ assumption (see H2 in [3] or (10) below) is quite restrictive and requires the jump noise to be close to an \(\alpha \)-stable one, in a sense. This limitation is of a technical nature and is caused by the method used in [3, 4] rather than the problem itself; hence, a natural question arises how to remove it in order to get a general support theorem for SDEs with jumps, free from any technical limitations. This question was solved in the one-dimensional setting in [5] and for canonical (Markus) equations in [6]. For general multidimensional Itô equations with jumps, it apparently requires alternative methods and remained open since early 2000s.
In this note, we propose a method for proving a support theorem for general ‘Type II’ SDEs, based on a change of measure and free from any non-natural technical limitations. The description we obtain for the topological support for the law of the solutions to jumping SDEs is of a considerable importance because of its natural applications, in particular, to the study of the ergodic properties of the solution to SDE, considered as a Markov process and the strong maximum principle for the generator of this process; see more discussion in Sect. 2.3.
The structure of the paper is as follows: In Sect. 2, the main statement is formulated and provided by a discussion and examples. The proof of the main statement is given in Sect. 3, and to improve the readability the proof of the key lemma (Lemma 3.1) is postponed to a separate Sect. 4. For the same reason, the proof of a technical estimate (19) is given in Appendix A.
2 Main Result
2.1 Preliminaries
Let \(N(\textrm{d}u,\textrm{d}t)\) be a Poisson point measure (PPM) on \(\mathbb {R}^d\times [0, \infty )\) with the intensity measure \(\mu (\textrm{d}u)\textrm{d}t\), where \(\mu (\textrm{d}u)\) is a Lévy measure, i.e.,
We consider an SDE in \(\mathbb {R}^m\)
where \(\widetilde{N}(\textrm{d}u,\textrm{d}t)=\widetilde{N}(\textrm{d}u,\textrm{d}t)-\mu (\textrm{d}u)\textrm{d}t\) is the corresponding compensated PPM.
The coefficient c(x, u) is assumed to have the form
where r(x, u) is negligible, in a sense, w.r.t. |u| for small values of |u| (see below). In the case \(r(x,u)\equiv 0\) Eq. (1) transforms to
where the Lévy process Z is given by its Itô–Lévy decomposition
We assume the following.
\({\textbf{H}}_1.\) The functions \(b:\mathbb {R}^m\rightarrow \mathbb {R}^m\) and \(\sigma :\mathbb {R}^m\rightarrow \mathbb {R}^{m\times d}\) are Lipschitz continuous.
\({\textbf{H}}_2.\) There exist constants \(C>0, \beta >0\) such that
and
If \(\beta \le 1,\) then \({\textbf{H}}_2\) yields that the whole function c(x, u) is absolutely integrable w.r.t. \(\mu (\textrm{d}u)\) on the set \(\{|u|\le 1\}\); that is, Eq. (1) has Type I in the terminology of [3]. This (comparatively simple) case is already studied completely, hence in what follows we consider the case \(\beta >1\), only. Note that, in this case \(r(x,u)\le C(|x-x_0|+1)|u|^\beta \ll |u|\) for small |u|, and the linear part \(\sigma (x)u\) is the principal one in the decomposition (2) for c(x, u).
Recall that the Skorokhod space \(\mathbb {D}([0,T], \mathbb {R}^m)\) is the set of càdlàg functions on [0, T] with the metric
where \(T>0\) and \(\Lambda _{0,T}\) denotes the set of strictly increasing continuous functions \(\lambda :[0, T]\rightarrow [0, T]\) such that \(\lambda (0)=0, \lambda (T)=T\). It is known that \(\mathbb {D}([0,T], \mathbb {R}^m)\) endowed with \(d(\cdot , \cdot )\) is a Polish space, e.g., [7, Section 14].
Under the assumptions \({\textbf{H}}_1\), \({\textbf{H}}_2\), SDE (1) has unique strong solution X, see [8, Theorem IV.9.1]. We fix a time horizon \(T>0\) and consider this solution on the time interval [0, T]. The law of this solution in the Skorokhod space \(\mathbb {D}([0,T], \mathbb {R}^m)\) will be denoted by \(\textrm{Law}_{x_0,T} (X)\). We aim to describe the support of this law; recall that the (topological) support of a measure \(\kappa \) on a metric space S with Borel \(\sigma \)-algebra is the minimal closed subset F such that \(\kappa (S\setminus F)=0\), this set is denoted by \({{\,\textrm{supp}\,}}(\kappa )\). Alternatively, \(x\in {{\,\textrm{supp}\,}}(\kappa )\) if, and only if, for any open ball B centered at x one has \(\kappa (B)>0\).
2.2 The Main Statement
To describe the support of \(\textrm{Law}_{x_0,T} (X)\), we introduce some constructions. First, we introduce a kernel \(J(x,\textrm{d}y)\) on \(\mathbb {R}^m\) by
and define the set \({\mathscr {A}}\subset \mathbb {R}^m\times \mathbb {R}^m\) of ‘admissible jumps’ by
Next, denote by L the set of \(\ell \in \mathbb {R}^d\) such that
here and below we use notation \(a\cdot b\) for the scalar product in \(\mathbb {R}^d\). It is easy to check that L is a vector subspace in \(\mathbb {R}^d\); we call it the ‘integrability subspace’ for \(\mu \) furthermore. Denote by \(u_L\) the orthogonal projection of u on L, then
and under the assumptions \({\textbf{H}}_1\), \({\textbf{H}}_2\) the following function is well defined and is Lipschitz continuous:
Denote by \({\textbf{F}}^{\textrm{const}}_{0,T}\) and \({\textbf{F}}^{\textrm{step}}_{0,T}\) the following classes of functions \(f:[0,T]\rightarrow \mathbb {R}^d\):
-
any \(f\in {\textbf{F}}^{\textrm{const}}_{0,T}\) takes a constant value in the orthogonal complement \(L^\perp \) of the subspace L in \(\mathbb {R}^d\);
-
for any \(f\in {\textbf{F}}^{\textrm{step}}_{0,T}\) there exists a partition \([0,T]=[0, \tau _1)\cup [\tau _1,\tau _2)\cup \dots \cup [\tau _j,T]\) such that, on each interval of the partition, f takes a constant value in \(L^\perp .\)
Finally, denote by \({\textbf{S}}^{\textrm{const}}_{0,T,x_0}\) and \({\textbf{S}}^{\textrm{step}}_{0,T,x_0}\) the classes of functions satisfying the following piece-wise ordinary differential equations
where \(\{t_k\}\subset (0,T)\) is an arbitrary finite set, f is an arbitrary function from the class \({\textbf{F}}^{\textrm{const}}_{0,T}\) or \({\textbf{F}}^{\textrm{step}}_{0,T},\) respectively, and the jumps of the function \(\phi \) at the time moments \(\{t_k\}\) satisfy
Note that each such \(\phi \) can be obtained as follows. Let \(x_0\), \(\{t_\textrm{k}\}\), and f be given, we can assume \(t_1<t_2<\dots \). We first solve the Cauchy problem for the ODE
on the interval \([0, t_1)\) with the initial condition \(\phi _0=x_0\). Then, we determine the value \(\phi _\textrm{t}1\) which should obey the admissibility assumption (6); note that \(\phi _{t_1-}\) is already well defined. Then, we use \(\phi _{t_1}\) as the initial value or the (new) Cauchy problem on the time interval \([t_1, t_2)\), and so on.
Denote by \(\overline{{\textbf{S}}^{\textrm{const}}_{0,T,x_0}}\) and \(\overline{{\textbf{S}}^{\textrm{step}}_{0,T,x_0}}\) the closures of the classes \({\textbf{S}}^{\textrm{const}}_{0,T,x_0}\) and \({\textbf{S}}^{\textrm{step}}_{0,T,x_0}\) in \(\mathbb {D}([0,T], \mathbb {R}^m)\).
Theorem 2.1
Assume \({\textbf{H}}_1\) and \({\textbf{H}}_2\) with \(\beta >1\). Then for any \(T>0\)
In plain words, the above description of the support can be explained as follows. The SDE (1) contains two parts, the ‘deterministic flow’ part which corresponds to the drift, and the ‘stochastic jump part’ which corresponds to the PPM. These two parts are still related through the compensator term, which is involved in the stochastic integral w.r.t. \(\widetilde{N}(\textrm{d}u, \textrm{d}t)\). In the simple case where \(L=\mathbb {R}^d\), and thus the SDE is of the Type I, these parts can be completely separated, and (1) can be written in the form
where the effective drift coefficient is defined by \(\widetilde{b}(x)=b(x)-\int _{|u|\le 1}c(x,u)\, \mu (\textrm{d}u)\). In this case, (5) does not contain the part with f because \(L^\perp =\{0\}\), and the description of the support of the law of the solution X is intuitively clear: the solution follows the deterministic flow defined by the effective drift, then makes a jump, admissible for the stochastic jump part, then again follows the deterministic flow, etc. This description was thoroughly proved in [3, Theorem I]. The general (Type II) case is more sophisticated, since the compensator term cannot be separated from the stochastic integral. Theorem 2.1 actually tells us that the above description of the support remains essentially correct, with the following two important changes:
-
the effective drift involves only the parts of c(x, u) which are absolute integrable, i.e., r(x, u) and \(\sigma (x) u_L\);
-
the ‘non-integrability subspace’ \(L^\perp \) induces an extra drift part, which may act at arbitrary direction of the form \(\sigma (x) h, h\in L^\perp .\)
Such a description of the support was conjectured by T. Simon, see [3, Remark 3.3(c)], by analogy with a similar result proved for Lévy processes in [9]. Theorem 2.1 proves this conjecture in a wide generality, i.e., without any specific assumptions on the SDE except the natural conditions \({\textbf{H}}_1\), \({\textbf{H}}_2\) which yield strong existence of the solution.
Remark 2.2
Instead of the global Lipschitz conditions in \({\textbf{H}}_1\), \({\textbf{H}}_2\), one can assume their local analogues combined with certain condition which prevents the strong solution to SDE (1) from blowing up, e.g., the linear growth condition on the coefficients. Theorem 2.1 can be extended to such a setting by the usual localization technique.
Remark 2.3
Assumption \({\textbf{H}}_2\) with \(\beta >1\) contains a structural limitation that the infinite variation part of the SDE is linear in the jump variable u. Removing this limitation would require considering x-dependent non-integrability subspaces instead of \(\{\sigma (x)f, f\in L^\perp \}\) and piece-wise differential inclusions instead of (5); such an extension is a topic for a further research. Still, the limitation mentioned above is not very restrictive practically. For instance, if c(x, u) is \(C^2\)-smooth in u, then (the local version of) \({\textbf{H}}_2\) holds true with \(\beta =2\) by the Taylor formula; in this case, (4) holds true just because \(\mu \) is a Lévy measure.
Remark 2.4
Our description of admissible jumps differs from the one adopted in [3], which requires that
These two descriptions coincide for c(x, u) continuous in u; for discontinuous c(x, u), the latter one is no longer applicable. To see this, one can consider a simple example where \(m=d=1,\) \(\mu \) is a finite discrete measure \(\mu \) which has a full support in \(\mathbb {R}\), \(m=1\), and \(c(x,u)=1_K(u)+21_{\mathbb {R}\setminus K}(u)\), where K is a countable dense subset in \(\mathbb {R}\) such that \(\mu (\mathbb {R}\setminus K)=0\).
2.3 Discussion: Applications and Examples
Support theorems are involved naturally in the study of ergodic properties of the Markov process associated with the SDE; namely, they provide a natural tool for proving that the process is topologically irreducible, see [10, Proof of Proposition 5.3] or [11, Theorem 1.3 and Section 4.3]. This gives a natural application field for Theorem 2.1. Namely, denote by \(S_T(x_0)\) the closure of the set of the values \(\phi _T\), where \(\phi \) runs through the solutions to (5) with arbitrary finite set \(\{t_k\}\subset (0,T)\), jumps of \(\phi \) satisfying (6), and arbitrary function f from the class \({\textbf{F}}^{\textrm{step}}_{0,T}.\) By Theorem 2.1, the solution to (1) satisfies
Thus, in order to provide the topological irreducibility for the Markov process associated with (1), it is sufficient to show that
Another application of the support theorems dates back to the original paper by Stroock and Varadhan [1], and concerns the strong maximal principle for the generator \({\mathscr {L}}\) of the Markov process X, which states that any sub-harmonic function for \({\mathscr {L}}\) which reaches its maximum on the given set is constant on this set. We refer an interested reader for a detailed discussion to [8, Theorem IV.8.3] or [3, Remark 3.3(b)]. Here, we mention briefly the following simple corollary: if \(\bigcup _{T>0} S_T(x)\) is dense in \(\mathbb {R}^m\) for any \(x\in \mathbb {R}^m\), then the strong maximal principle for \({\mathscr {L}}\) holds true on the entire \(\mathbb {R}^m\). For this property to hold, it is clearly sufficient that (9) holds true for some \(T>0\).
Below, we give two simple sufficient conditions where (9) holds true for any \(T>0\).
Example 2.5
(Jump noise satisfying the ‘cone condition’). Let there exist \(\theta \in (0,1)\) such that, for any \(\ell \in \mathbb {R}^d, |\ell |=1\) and \(\varepsilon >0\), the intersection of the cone \(\{u:u\cdot \ell \ge \theta |u|\}\) with the ball \(\{|u|< \varepsilon \}\) has positive measure \(\mu \). Assume also that \(\sigma (x)\) is point-wise degenerate, i.e., \(\textrm{rank}\, \sigma (x)=m\le d, x\in \mathbb {R}^m\). Then, \(S_T(x)=\mathbb {R}^m\) for all \(x\in \mathbb {R}^m, T>0\). To prove this assertion, one can take \(f\equiv 0\) and organize for given \(x,y\in \mathbb {R}^m, \varepsilon >0\) and \(T>0\) sequences of (frequent) jump times \(\{t_k\}\) and (small) jumps amplitudes \(u_k\), which would force the solution to (5) with \(x_0=x\) to take the final value y with \(|\phi _T-y|<\varepsilon \). This construction is essentially the same as in the proof of [11, Proposition 4.17]; thus, we omit the details here.
Example 2.6
(Jump noise of the ‘strong Type II’). Let there be no integrability directions for \(\mu (\textrm{d}u)\); that is, \(L=\{0\}\). Assume also that \(\sigma (x)\) is point-wise degenerate. Then, \(S_T(x)=\mathbb {R}^m\) for all \(x\in \mathbb {R}^m, T>0\). To prove this assertion, one can ignore the jump part in (5) and consider the solution to the SDE
Since f can be arbitrary piece-wise constant function \([0,T]\rightarrow \mathbb {R}^d\) and \(\sigma (x)\) is point-wise degenerate, by a proper choice of f respective solution \(\phi \) can be made arbitrarily close to
Let us give two more particular examples illustrating the range of applicability of Theorem 2.1 and sufficient conditions from Example 2.5 and Example 2.6. For that purpose, we recall the auxiliary ‘scaling’ assumption imposed in [3, 4]: for some \(\alpha \in (0,2)\),
The following example concerns the cylindrical Lévy processes, which have been studied extensively in the last decades, e.g., [12,13,14].
Example 2.7
Let \(\mu (\textrm{d}u)\) be the Lévy measure of the \(Z=( Z^1, \dots , Z^d)\) with the independent components \(Z^i, i=1, \dots , d\). Let the components be symmetric \(\alpha _i\)-stable processes on \(\mathbb {R}\); then, the scaling assumption (10) fails unless all the stability indices \(\alpha _i, i=1, \dots , d\) are the same; that is, [3, Theorem II] is not applicable. If at least one \(\alpha _i>1\), then this is the Type II Lévy noise and [3, Theorem I] is not applicable, as well. On the other hand, Theorem 2.1 can be applied assuming the coefficients satisfy \({\textbf{H}}_1\), \({\textbf{H}}_2\); note that \(\beta \) can be taken arbitrary \(>\max _i\alpha _i.\) The Lévy measure \(\mu (\textrm{d}u)\) is supported by the collection of the coordinate axes in \(\mathbb {R}^d\) and thus satisfies the ‘cone condition’ from Example 2.5. Hence, if \(\sigma (x)\) is point-wise degenerate, then identity (9) holds true for any \(T>0\).
Our second example shows that Lévy measure can be of a ‘strong Type II’ even if even the (rather mild) ‘cone condition’ fails.
Example 2.8
Let the Lévy measure \(\mu (\textrm{d}u)\) on \(\mathbb {R}^2\) be the image of the symmetric \(\alpha \)-stable Lévy measure \(\frac{\textrm{d}z}{|z|^{1+\alpha }}\) on \(\mathbb {R}\) under the mapping
with some \(\gamma >1\). Then, the scaling condition (10) fails, and for \(\alpha >1\) (i.e., when the noise is of Type II) the previous results are not applicable. On the other hand, Theorem 2.1 applies. Note that the Lévy measure \(\mu (\textrm{d}u)\) is quite degenerate and the ‘cone condition’ fails. On the other hand, for \(\gamma \le \alpha \) the noise has strong Type II. Hence, if \(\sigma (x)\) is point-wise degenerate, then identity (9) holds true for any \(T>0\).
3 Proof of Theorem 2.1
To prove the announced statement, it is sufficient to prove the following two inclusions:
The proof of the first inclusion is simple and standard, corresponding argument was explained in [3]; for the reader’s convenience, we outline the argument here. Consider a family of SDEs
with \(X_0^\eta =x_0\), where
It is easy to check that \(b_\eta \rightarrow b, \eta \rightarrow 0\) uniformly on compact subsets of \(\mathbb {R}^m\). Then, by the usual stochastic calculus technique one can show that
in probability; see the proof of a similar statement in Lemma 4.2. On the other hand, Eq. (12) can be written in the form:
where
The PPM N, restricted to \(\{|u|\ge \eta , t\in [0, T]\}\), has a finite set of atoms (‘jumps’). Then, the solution to the latter equation can be represented path-wise as a collection of solutions to ODEs of the form (5), where \(f\equiv \upsilon _\eta \) belongs to \({\textbf{F}}^{\textrm{const}}_{0,T}\), \(\{t_k\}\) are equal to the time instants of the jumps, and \(\triangle _{t_k}\phi =c(\phi _{t_{k}-}, u_k)\), where \(\{u_k\}\) are equal to the amplitudes of the jumps for N. Because
the pair \((\phi _{t_{k}-}, \phi _{t_{k}})\) is admissible for any k. Therefore, for any \(\eta \),
By (13), the laws of \(X^\eta \) in \(\mathbb {D}([0,T], \mathbb {R}^m)\) weakly converge to the law of X, which gives for a closed set \(\overline{{\textbf{S}}^{\textrm{const}}_{0,T,x_0}}\)
and completes the first inclusion in (11).
The second inclusion is the main part of the theorem. In order to proceed with its proof, we re-write the original SDE (1) to the form
where \(\eta >0\) is a (small) parameter which is yet to be chosen and
recall that \(\upsilon _\eta \) is given by (14). Consider SDE
which can be seen as a modification of (15) with ‘large jumps’ being truncated, i.e., with the PPM \(N(\textrm{d}u, \textrm{d}t)\) changed to its restriction to \(\{|u|<\eta \}\times [0,T]\). We will denote by \(X^{x, S,\eta , \textrm{trunc}}\) the solution of (16) with \(X_S=x\).
Let \(f\in {\textbf{F}}^{\textrm{step}}_{0,T}, x\in \mathbb {R}^m, S\in [0, T]\) be fixed and \(\phi ^{x, S, f}\) be the solution of the ODE
The following statement is the cornerstone of the entire proof. In what follows, we denote by B(x, r) the open ball in \(\mathbb {R}^m\) with the center x and radius r.
Lemma 3.1
(The Key Lemma) Let \(f\in {\textbf{F}}^{\textrm{step}}_{0,T}\) be fixed. There exists \(\rho \in (0,1)\) such that, for any given \(x\in \mathbb {R}^m,\) and \(\gamma >0,\) there exists \(\eta ^{f,x, \gamma }>0\) such that
for any \(\eta \in (0,\eta ^{f,x, \gamma }].\)
We postpone the proof of Lemma 3.1 to a separate Sect. 4; here, we explain the argument which provides the second inclusion in (11) once this key lemma is proved. Though being quite standard, this argument is a bit cumbersome; hence, we divide the exposition in several steps.
Step 1: Choosing the number and approximate instants of ‘big jumps’. Fix \(\eta >0\) and decompose
The PPM \(N^\eta (\textrm{d}u, \textrm{d}t)\) a.s. has a finite number of atoms with \(t\in [0, T]\); say, \(\{(\xi _j,\tau _j)\}_{j=1}^J.\) It is well known that the PPMs \(N_\eta (\textrm{d}u, \textrm{d}t)\) and \(N^\eta (\textrm{d}u, \textrm{d}t)\) are independent. In addition, the random variable
has the Poisson distribution with the intensity \(T\mu (|u|\ge \eta ),\) and conditioned by the event \(\{J=K\},\) the random vectors \(\{\xi _j\}_{j=1}^K, \{\tau _j\}_{j=1}^K\) are independent. The corresponding (conditional) laws are the K-fold product of
for \(\{\xi _j\}_{j=1}^K,\) and the uniform distribution on the simplex
for \(\{\tau _j\}_{j=1}^K.\)
Next, let \(\phi \in {\textbf{S}}^{\textrm{step}}_{0,T,x_0}\) be fixed with the corresponding function \(f\in {\textbf{F}}^{\textrm{step}}_{0,T}\) and points \(\{t_k, k=1, \dots , K\}\) from Eq. (5) for \(\phi \). Denote \(x_k=\phi _{t_k-}, y_k=\phi _{t_k}\); we can and will assume that \(x_k\not =y_k\) because otherwise we can simply exclude the point \(t_k\) from the Eq. (5). Denote also \(t_0=0, t_{K+1}=T\), then for any positive
we have
which is positive.
Step 2: Linking the instants of ‘big jumps’ for X with the discontinuities of \(\phi \). Process X follows the truncated SDE (16) between the ‘big jumps instants’ \(\tau _j\), and at these instants satisfies
Denote by \(X^{s_1, \dots , s_K}\) the similar process with \(J=K\) and \(\tau _k=s_k\): it follows the truncated SDE (16) on each \([s_{k-1}, s_k)\), and satisfies
the random vector \(\{\xi _j\}_{j=1}^K\) has the law \((\mathbb {P}^\eta )^{\otimes K}\). Then
We will apply this inequality with
in this case \(\mathbb {P}(X^{s_1, \dots , s_K}\in A)\) can be bounded from below as follows. Denote \(s_0=0\), \(s_{K+1}=T\), and \(y_0=x_0\). Define a function \(\phi ^{s_1, \dots , s_K}\) as follows: on each of the intervals \([s_k, s_{k+1}), k=0, \dots , K\) it satisfies (17) with \(x=y_k, S=s_k\); it is also continuous at the end point \(T=s_{K+1}\). Recall that the initial function \(\phi _t\) follows similar description with \(\{t_k\}\) instead of \(\{s_k\}\). Using this observation, it is easy to show that
for the reader’s convenience, we prove this relation in Appendix A. Hence, we can fix \(\delta (\varepsilon )>0\) such that
and thus for any \(\{s_k\}\) with \(|t_k-s_k|<\delta , k=1, \dots ,K\)
Step 3: Some preliminary estimates for the distance between \(X^{s_1, \dots , s_K}\) and \(\phi ^{s_1, \dots , s_K}\). In what follows, \(\rho \in (0,1)\) is the number given by Lemma 3.1. Denote
and
note that \(\xi _k\) is independent on \({\mathscr {G}}_{s_k}\) for any k. The following holds:
-
(I)
For any \(k=0, \dots , K\) and \(\gamma >0\), the conditional probability w.r.t. \({\mathscr {F}}_{s_k}\) for the event
$$\begin{aligned} \{|X^{s_1, \dots , s_K}_t-\phi _t^{s_1, \dots , s_K}|\le \gamma , t\in [s_k, s_{k+1})\} \end{aligned}$$equals
$$\begin{aligned} \mathbb {P}\left( \sup _{t\in [s_k, s_{k+1})}|X_t^{x, s_k,\eta , \textrm{trunc}}-\phi _t^{y_k,s_k, f}|\le \gamma \right) \Big |_{x=X_{s_k}^{s_1, \dots , s_K}}, \end{aligned}$$and by Lemma 3.1 it is bounded from below by \(p^{\textrm{trunc}}(\eta , f, y_k, \gamma )\) on the set
$$\begin{aligned} \left\{ |X^{s_1, \dots , s_K}_{s_k}-y_k|<{\rho \gamma }\right\} \in {\mathscr {F}}_{s_k}, \end{aligned}$$provided that \(\eta \le \eta ^{f,y_k,\gamma }\);
-
(II)
for any \(k=1, \dots , K\) and \(\gamma >0\), the conditional probability w.r.t. \({\mathscr {G}}_{s_k}\) for the event
$$\begin{aligned} \left\{ |X^{s_1, \dots , s_K}_{s_k}-y_k|<{\rho \gamma }\right\} \end{aligned}$$equals
$$\begin{aligned} \begin{aligned} P^\eta&\left( |x+c(x,\xi )-y_k|<{\rho \gamma }\right) \Big |_{x=X^{s_1, \dots , s_K}_{s_k-}}\\&=\frac{1}{\mu (\{u:|v|\ge \eta \})}\mu \left( \left\{ u:|u|\ge \eta , |x+c(x,u)-y_k|<{\rho \gamma }\right\} \right) \Big |_{x=X^{s_1, \dots , s_K}_{s_k-}}. \end{aligned} \end{aligned}$$
Recall that each pair \((x_k, y_k)=(\phi _{t_k-}, \phi _{t_k})\) is admissible; hence, for any \(\gamma >0\) and k,
Take
then by the assumptions \({\textbf{H}}_1\), \({\textbf{H}}_2\) there exists \(\eta ^{*}>0\) such that, for all k,
This yields for any \(\gamma \in (0, \gamma _*]\)
Moreover, because c(x, u) is continuous w.r.t. x we have by the usual weak continuity arguments that, for each \(\gamma \in (0, \gamma _*]\) and k, there exists \(\gamma '>0\) such that
Step 4: Specifying the parameters and completing the proof. Now, we can specify the free parameters \(\eta , \gamma , \delta \) in the above estimates and finalize the entire proof. Let us define iteratively parameters \(\gamma _{k}\) for \(k=K+1, \dots , 1\) as follows: Take
and let for \(k=K, \dots , 1\)
where \(\gamma _{k+1}'\) is such that (22) holds true with this \(\gamma '\) and \(\gamma =\gamma _{k+1}\). We will use these parameters to estimate
It follows from the calculations in Appendix A that \(\delta \in (0, \delta (\varepsilon ))\) can be taken small enough such that, for any \(s_1, \dots , s_K\) with \(|t_k-s_k|<\delta , k=1, \dots , K\),
We fix such \(\delta >0\) and the truncation level
Denote
and
Then \( A_k\in {\mathscr {G}}_{s_{k+1}}, B_k\in {\mathscr {F}}_{s_k}, k=1,\dots , K\), and we have the following:
-
\(\bullet \) By Lemma 3.1, for \(k=0, \dots , K\)
$$\begin{aligned} \mathbb {P}(A_k|{\mathscr {F}}_{s_{k}})\ge p^{\textrm{trunc}}(\eta , f, y_k, \gamma _{k+1}) \hbox { a.s. on the set }B_k. \end{aligned}$$ -
\(\bullet \) By (24), for any \(k=1, \dots , K\) we have \(|X^{s_1, \dots , s_K}_{s_k-}-x_k|<{2\gamma _k \le 2\gamma _{k+1}'}\) on the set \(A_{k-1}\); see the definition of \(\gamma _{k}\) for the notation \(\gamma _{k+1}'\). Then
$$\begin{aligned} \begin{aligned} \mathbb {P}(B_k|{\mathscr {G}}_{s_{k}})&\ge p^{\textrm{jump}}_k(\eta )\\&:=\frac{1}{\mu (\{u:|v|\ge \eta \})}\inf _{x\in B(x_k,{2\gamma _{k+1}'})}\\ {}&\mu \left( \left\{ u:|u|>\eta , x+c(x, u) \in B\left( y_k, {\rho \gamma _{k+1}}\right) \right\} \right) , \end{aligned} \end{aligned}$$and since \(\eta \le {\eta ^*}\) we have by (22)
$$\begin{aligned} p^{\textrm{jump}}_k(\eta )>0, \quad k=1, \dots , K. \end{aligned}$$
Then, by (23) and the telescopic property of the conditional expectations we have for any \(s_1, \dots , s_K\) with \(|t_k-s_k|<\delta , k=1, \dots , K\)
Then by (20)
and by (18)
In these estimates, the choice of \(\delta , \eta \) depends on \(\phi \in {\textbf{S}}^{\textrm{step}}_{0,T,x_0}\) and \(\varepsilon >0\), only, hence the proof of (11) is complete.
4 Proof of the Key Lemma
We begin the proof of Lemma 3.1 with the following auxiliary result.
Lemma 4.1
For any \(w\in L^\perp \) and \(\eta >0\), there exist \(\zeta \in (0, \eta )\) and a function \(g:\mathbb {R}^d\rightarrow [-\frac{1}{2}, \frac{1}{2}]\) such that \( g(u)=0\hbox { whenever either }|u|\le \zeta \hbox { or }|u|\ge \eta \) and
Proof
For a given \(0<\zeta <\eta \), denote by \(G_\zeta ^\eta \) the set of all functions \(g:\mathbb {R}^d\rightarrow [-\frac{1}{2}, \frac{1}{2}]\) such that \( g(u)=0\hbox { whenever either }|u|\le \zeta \hbox { or }|u|\ge \eta . \) This set is convex and symmetric; hence,
is a symmetric convex subset of \(L^\perp \), and so is the set
The statement of the lemma is equivalent to
Assuming (25) to fail, we have that \(V_0^\eta \) is a proper symmetric convex subset of \(L^\perp ,\) and thus, there exist \(\ell \in L^\perp \setminus \{0\}\) and \(c\ge 0\) such that
recall that \(v\cdot \ell \) denotes the scalar product in \(\mathbb {R}^d\). Indeed, if there exists a point \(w\not \in V_0^\eta \) then by the separating hyperplane theorem (e.g., [15, Section 2.5]) there exists an affine hyperplane in \(L^\perp \) which separates non-intersecting convex sets \(V_0^\eta \) and \(\{w\}\), i.e., for some \(\ell \in L^\perp \setminus \{0\}\) and \(c\in {\mathbb {R}}\),
Since \(0\in V_0^\eta \), we get \(c\ge 0\) which proves the second inequality in (26); the first inequality follows then by the symmetry of \(V_0^\eta \).
It follows from (26) that, for every \(\zeta \in (0, \eta )\) and \(g\in G_\zeta ^\eta \),
in the first identity we have used that \(u_L\in L\) is orthogonal to \(\ell \in L^\perp \). Taking
we get from the previous inequality that
and passing to the limit as \(\zeta \rightarrow 0\) we obtain
This means that \(\ell \in L\), which contradicts to the fact that \(\ell \in L^\perp \setminus \{0\}\). \(\square \)
By Lemma 4.1, for a fixed \(f\in {\textbf{F}}^{\textrm{step}}_{0,T}\) and \(\eta >0\) one can choose a function \(g_t^{f, \eta }(u)\) such that it is a step-wise function of t, takes values in \([-\frac{1}{2}, \frac{1}{2}]\), satisfies
with \(\upsilon _\eta \in L^\perp \) given by (14), and, for some \(\zeta ^{f, \eta }>0\), one has \(g_t^{f, \eta }(u)=0\) whenever either \(|u|\ge \eta \) or \(|u|\le \zeta ^{f, \eta }\).
We write the compensated PPM in (16) in the form \(N(\textrm{d}u, \textrm{d}t)-\mu (\textrm{d}u)\textrm{d}t\) and consider the same SDE with another PPM \(Q^{f, \eta }(\textrm{d}u, \textrm{d}t)\) which has the intensity measure \((1+g_t^{f, \eta }(u))\mu (\textrm{d}u)\textrm{d}t\):
Similarly to the notation used in Lemma 3.1, we denote by \(Y_t^{x,S,\eta }, t\ge S\) the solution to (28) with \(Y^\eta _S=x\). Recall that the function \(\phi _t^{x,S, f}\) is defined as the solution to the ODE (17). The following lemma is based on quite standard stochastic calculus estimates.
Lemma 4.2
There exists \(\rho \in (0,1)\) such that, for arbitrary \(\gamma \in (0,1], x\in \mathbb {R}^d\),
Proof
For simplicity of notation, we take \(S=0, Q=T\) and omit the index S. We also consider the scalar case \(d=1\); for \(d>1\) similar estimates should be performed coordinate-wise. The stochastic integral part in Eq. (28) can be written as
hence taking (27) into account we can write this equation in the form
where
Since the functions \(u_L, |u|^\beta \) are integrable w.r.t. \(\mu (du)\) on \(\{|u|\le 1\}\),
and assumptions \({\textbf{H}}_1, {\textbf{H}}_2\) hold, we have that
for any compact subset \(K\subset \mathbb {R}^d\). Denote \(\phi _t=\phi ^{x,f}\) and take
By the assumptions \({\textbf{H}}_1, {\textbf{H}}_2\), there exists a constant \(C_{K'}\) such that
Denote
with the usual convention \(\inf \varnothing =T\). We have
By the Doob maximal inequality and the Itô isometry, for any \(\varepsilon >0\)
in the last inequality we have used that \(1+g_s^{f, \eta }(u)\le \frac{3}{2}\). It is easy to check that the functions \(\widetilde{b}_t^{f, \eta }\) are uniformly Lipschitz, i.e., there exists L such that, for any \(t\in [0, T], \eta \in (0,1]\)
In addition, \(\sigma \) is Lipschitz and a piece-wise constant function \(f\in {\textbf{F}}^{\textrm{step}}_{0,T}\) is bounded; hence, we can assume that L is large enough for
to hold. Then on the set
we have
which by the Gronwall inequality yields
Take
and \(\varepsilon , \eta \) small enough for
Then, for any \(\gamma \in (0,1]\) and \(x'\) with \(|x'-x|<\rho \gamma \) we have on the set \(A_{\varepsilon , \eta }\)
Because trajectories of \(Y^{x',\eta }\) are right continuous, this yields that, on this set, \(\tau _{K'}=T\) and actually
Now, for a given \(\gamma \), we take \(\varepsilon <\frac{1}{4}\gamma e^{-{2}LT}\) and we get that for \(\eta \) small enough
and because
this completes the proof. \(\square \)
Now we are ready to complete the proof of the Key Lemma. Denote
recall that by the construction \(1+g_t^{f, \eta }(u)\in [\frac{1}{2}, \frac{3}{2}]\) and \(1+g_t^{f, \eta }(u)=1\) whenever either \(|u|\ge \eta \) or \(|u|\le \zeta ^{f, \eta }\). Hence, the stochastic integral under the exponent is well defined in the standard (quadratic) Itô sense. The second (deterministic) integral is even bounded; hence, it is easy to see that
for any \(\eta \in (0,1]\).
On the other hand, the classical result by Skorokhod [16] tells us that the laws of the PPMs \(N(\textrm{d}u, \textrm{d}t)\) and \(Q^{f, \eta }(\textrm{d}u, \textrm{d}t)\) are equivalent, and \({\mathscr {E}}^{f, \eta }\) equals to the Radon–Nikodym derivative of \(\textrm{Law}(N)\) w.r.t. \(\textrm{Law}(Q^{f, \eta })\) evaluated at \(Q^{f, \eta }\). Recall that \(X^{x',S,\eta , \textrm{trunc}}\) and \(Y^{x',S,\eta }\) are defined as the strong solutions to the same SDE with the noises N and \(Q^{f, \eta }\), respectively. Hence, we can treat them as images of \(N, Q^{f, \eta }\) under some measurable mapping, which yields the identity
By Lemma 4.2, for a given \(x\in \mathbb {R}^d\), \(\gamma >0\), and \(f\in {\textbf{F}}^{\textrm{step}}_{0,T}\), there exists \(\eta ^{f,x, \gamma }>0\) such that
for any \(\eta \in (0, \eta ^{f,x, \gamma }]\). By (32), for any such \(\eta \) there exists \(N^{f, \eta }\) large enough for
Then, for any \(x'\in B(x, \gamma \rho ), 0\le S\le Q\le T\) we have
and
which completes the proof.
Data Availability
Data sharing was not applicable to this article as no datasets were generated or analyzed during the current study.
References
Stroock, D.W., Varadhan, S.R.S.: On the Support of Diffusion Processes with Applications to the Strong Maximum Principle. In: Proceedings of Sixth Berkeley Symposium on Math. Stat. Probability, Vol. III. Univ. California Press, Berkeley, pp. 333–359.(1972)
Kunita, H.: Canonical Stochastic Differential Equations Based on Lévy Processes and Their Supports. In: Stochastic Dynamics. Springer, Berlin, 283 – 304 (1999)
Simon, T.: Support theorem for jump processes. Stochastic Process. Appl. 89, 1–30 (2000)
Support theorem for jump processes of canonical type: Ishikawa, Ya. Proc. Japan Acad. 77, 79–83 (2001)
Simon, T.: Support d’une équation d’Itô avec sauts en dimension 1. Séminaire de probabilités de Strasbourg, Tome 36, 314–330 (2002)
Simon, T.: Small deviations in p-variation for multidimensional Lévy processes. J. Math. Kyoto Univ. 43(3), 523–565 (2003)
Billingsley, P.: Convergence of Probability Measures. John Wiley, New York (1968)
Ikeda, N., Watanabe, S.: Stochastic Differential Equations and Diffusion Processes. North-Holland, Amsterdam (1989)
Simon, T.: Sur les petites déviations d’un processus de Lévy. Potential Anal. 14(2), 155–173 (2001)
Hairer, M., Mattingly, J.C., Scheutzow, M.: Asymptotic coupling and a general form of Harris-theorem with applications to stochastic delay equations. Probab. Theory Relat. Fields. 149, 223–259 (2011)
Kulik, A.: Exponential ergodicity of the solutions to SDEs with a jump noise. Stochastic Process. Appl. 119, 602–632 (2009)
Kulczycki, T., Ryznar, M.: Transition density estimates for diagonal systems of SDEs driven by cylindrical \(\alpha \)-stable process, ALEA Lat. Am. J. Probab. Math. Stat. 15, 1335–1375 (2018)
Kulczycki, T., Ryznar, M.: Semigroup properties of solutions of SDEs driven by Lévy processes with independent coordinates. Stochastic Process. Appl. 130, 7185–7217 (2020)
Priola, E., Zabczyk, J.: Structural properties of semilinear SPDEs driven by cylindrical stable processes. Probab. Theory Relat. Fields 149, 97–137 (2011)
Boyd, S.P., Vandenberghe, L.: Convex Optimization. Cambridge University Press, Cambridge, MA (2004)
Skorokhod, A.V.: On the differentiability of measures which correspond to Stochastic Processes. I. Process Independent Increments Theory Prob. Appl. 2, 407–432 (1957)
Acknowledgements
This research was supported by the Polish National Science Center grant 2019/33/B/ST1/02923. The author is grateful to Tomas Simon for inspiring discussion and bibliography information and to the anonymous referee for numerous helpful comments which led to a substantial improvement of the manuscript.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
This paper is not a subject to any conflict of interest.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendix A. Proof of (19)
Appendix A. Proof of (19)
For given \(s_1, \dots , s_K\) define \(\lambda ^{s_1, \dots , s_K}\in \Lambda _{0,T}\) as a function, linear on each of the intervals \([0, t_1], \dots [t_K, T]\), and satisfying
Denote
It is clear that, for a fixed set \(\{t_k\}\),
and, with our given \(f\in {\textbf{F}}^{\textrm{step}}_{0,T}\),
By (34), we have
hence in order to prove (19) it is sufficient to prove that
The functions \(\widetilde{\phi }^{s_1, \dots , s_K},\phi \) have the same set \(\{t_k\}\) of discontinuity points. Moreover,
and on each of the time intervals \([0, t_1), [t_1, t_2), \dots , [t_K, T]\), the function \(\widetilde{\phi }^{s_1, \dots , s_K}\) satisfies the ODE
Function \(\phi \) at each of these intervals satisfies a similar ODE (17) with the same initial value; in addition, it is easy to verify that the values of the functions \( f^{s_1, \dots , s_K}\), \(\widetilde{\phi }_t^{s_1, \dots , s_K}\) are uniformly bounded for \(|t_k-s_k|<\delta , k=1, \dots ,K\). This yields, by the Lipschitz continuity of \(\widetilde{b}, \sigma \), that
holds true for all \(k=0, \dots , K\) and \(t\in [t_k,t_{k+1})\) with a constant C which does not depend on the choice of \(\{s_k\}\). By the Gronwall inequality, this gives
Combined with (34),(35), this proves (36) and completes the proof of (19).
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Kulyk, O. Support Theorem for Lévy-driven Stochastic Differential Equations. J Theor Probab 36, 1720–1742 (2023). https://doi.org/10.1007/s10959-022-01223-8
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10959-022-01223-8
Keywords
- Stochastic differential equation
- Lévy noise
- Topological support
- Topological irreducibility
- Strong maximum principle