Abstract
We prove absolute continuity of space-time probabilities satisfying certain parabolic inequalities for generators of diffusions with jumps. As an application, we prove absolute continuity of transition probabilities of singular diffusions with jumps under minimal conditions that ensure absolute continuity of the corresponding diffusions without jumps.
Let us a consider a diffusion process \(\xi _t\) in \(\mathbb R ^d\) with jumps (see, e.g., [3, 15, 16], and [26]) having time-dependent generator
where
with summation over repeated indices, \(\langle \,\cdot \,,\,\cdot \,\rangle \) is the inner product in \(\mathbb R ^d\), \(\nabla _x u(x,t)=[\partial _{x_1}u(x,t),\ldots ,\partial _{x_d}u(x,t)]\). The result of this work gives a simple sufficient condition for the absolute continuity of the transition probabilities \(P(t, dy)\) of this diffusion (distributions of \(\xi _t\)) with respect to Lebesgue measure for almost all \(t\). It says that, under minimal natural assumptions about the diffusion matrix \(A=(a^{ij})\), the drift \(b=(b^i)\), and the intensity measure \(\nu _t\), the space-time measure \((\det A)^{1/(d+1)}P(t, dy)\, dt\) is absolutely continuous on \(\mathbb R ^d\times (0,T)\). Hence \(P(t, dy)\) is absolutely continuous for almost every \(t\) if \(\det A>0\). Moreover, our result is concerned with a parabolic inequality related to the Fokker–Planck–Kolmogorov equation
satisfied by the transition probabilities. In particular, it even does not assume existence of a diffusion. The case without jumps (\(\nu =0\)) was considered in [7]. The main feature of our hypotheses (as in [7]) is that they allow rather singular coefficients, no local boundedness or Lebesgue integrability is assumed. Informally the conclusion is that the condition known to be sufficient for absolute continuity without jumps remains sufficient in the presence of jumps. Certainly, this conclusion does not come as a surprise and is quite expected for the experts, but the main point is to justify this under minimal possible assumptions, which is not straightforward, as we shall see. Under considerably less general assumptions (in particular, including existence of certain stochastic integrals) a result of this type for the space-time measure can be derived from [1, 2], and [21] (although formally is not stated there), where Krylov-type estimates of stochastic integrals were derived; another difference of a more principal character between our framework and that of [1, 2], and [21] is the fact that we deal with an inequality (in place of equations) defined in the weak sense and involving only the second order part of the operator. It should be noted that there are other types of sufficient conditions that are expressed either entirely in terms of the jump part and apply without \(A\) or involve the Malliavin calculus (which requires smoothness of the coefficients) to give absolute continuity in the case of degenerate \(A\) (see [4, 6, 9, 10, 12, 13, 19, 20, 22–24], and [27]). Existence of densities in the case of absolutely continuous initial distributions is considered in [28]; in our setting no initial distribution is involved since the parabolic equation (or inequality) is considered on \(\mathbb R ^d\times (0,T)\).
We consider a more general situation. Why it covers the previous case will be explained in Example 2. Let \(T>0\) be fixed. Suppose that for every \((x, t)\in \mathbb R ^d\times (0, T)\) we are given a nonnegative symmetric matrix \(A(x, t)=(a^{ij}(x, t))_{1\le i, j\le d}\) and a locally bounded nonnegative Borel measure \(K(x, t, dy)\) on \(\mathbb R ^d{\setminus }\{x\}\).
We assume that for every \((x, t)\in \mathbb R ^d\times (0, T)\) and every \(\psi \in C^{\infty }_0(\mathbb R ^d)\) the mapping
is Borel measurable, where \(\alpha \wedge \beta =\min (\alpha ,\beta )\) and \(|\,\cdot \,|\) is the norm in \(\mathbb R ^d\).
A function \(\varphi \in C^{\infty }(\mathbb R ^d\times \mathbb R ^d)\) with \(0\le \varphi \le 1\) is called a local unit if
-
(i)
\(\varphi (x, y)=1\) for every \((x, y)\) in a neighborhood of the diagonal \(x=y\),
-
(ii)
for every ball \(U\subset \mathbb R ^d\) there exists a ball \(U^{\prime }\subset \mathbb R ^d\) such that the mappings \(y\mapsto \varphi (x, y)\), where \(x\in U\), have support in \(U^{\prime }\).
Let us fix such a function \(\varphi \). Note that \(\varphi \) need not be symmetric.
Let \(U(x,R)\) denote the closed ball of radius \(R\) centered at \(x\) in \(\mathbb R ^d\).
For every \(u\in C^{\infty }_0(\mathbb R ^d\times (0, T))\) let
Our main result is the following theorem. Let \(C^{\infty }_0(\mathbb R ^d\times (0, T))\) denote the class of all infinitely differentiable functions on \(\mathbb R ^d\times (0, T)\) with compact support.
Assume that a nonnegative locally finite Borel measure \(\mu \) on \(\mathbb{R }^d\times (0, T)\) is such that \(a^{ij}\in L^1_{loc}(\mu )\), for every \(\psi \in C^{\infty }_0(\mathbb R ^d)\) the mapping
is integrable with respect to \(\mu \) on \(\mathbb R ^d\times (0, T)\), and for every compact set \(Q\subset \mathbb R ^d\times (0,T)\) there exists a constant \(C>0\) such that
for all nonnegative functions \(u\in C^{\infty }_0(\mathbb R ^d\times (0, T))\) with \(\mathrm{supp}\, u\subset Q\). Then we have \((\det A)^{1/(d+1)}\cdot \mu =\varrho \,dx\,dt\), where \(\varrho \in L^{(d+1)^{\prime }}_{loc}(\mathbb R ^d\times (0, T))\), \((d+1)^{\prime }:=(d+1)/d=1+1/d\).
FormalPara ProofThe method of our proof is similar to [7, Theorem 3.1], but some additional technicalities arise. Let us fix a nonnegative function \(\zeta \in C^{\infty }_0(\mathbb R ^d\times (0, T))\) of the form \(\zeta (x,t)=\eta (x)\theta (t)\), where \(\eta \in C_0^\infty (\mathbb R ^d)\), \(\theta \in C_0^\infty ((0,T))\), \(\mathrm{supp}\, \eta \subset U(x_0,R^{\prime })\), \(x_0\in \mathbb R ^d\), \(\mathrm{supp}\, \theta \subset J\), \(J\) is a closed interval in \((0,T)\), positive numbers \(R>R^{\prime }\) are such that for every \(x\) in the ball \(U(x_0, R^{\prime })\) the support of \(y\mapsto \varphi (x, y)\) belongs to \(U(x_0, R)\).
Set \(u(x, t)=h(x, t)\zeta (x, t)\), where \(h\) is a nonnegative function in \(C^{\infty }(U(x_0, R)\times J)\), i.e., \(h\) is \(C^\infty \) in a neighborhood of the compact set \(W:=U(x_0, R)\times J\). Note that
Let us now assume that \(h\) is convex with respect to \(x\) in \(U(x_0,R)\). This means that
Therefore,
The next step is to show that there exists a constant \(C_1>0\) such that
To this end we observe that there is a nonnegative function \(\psi \in C_0^\infty (\mathbb R ^d)\) such that
This can be verified separately for each term. Since by our choice \(\zeta (y,t)=\eta (y)\theta (t)\), we can deal with \(\eta (y)\) in place of \(\zeta (y,t)\). The first term is estimated by using Taylor’s expansion and the fact that \(\varphi -1\) vanishes at the diagonal with all derivatives. Taylor’s expansion also helps to handle the second term, but here one has to consider \(x\) belonging to a ball \(U\) containing the neighborhood of radius \(1\) around \(\mathrm{supp}\, \eta \), and in this case condition (ii) on \(\varphi \) applies; for other \(x\) and \(y\) with \(|y-x|\le 1\) the second term vanishes and if \(|y-x|>1\), then this term is estimated by \(\eta (y)\max _t \theta (t)\). The last term is estimated even simpler. Hence we obtain (2). It is clear that
Hence there exists a constant \(C_2>0\) (depending on \(\zeta \) but not on \(h\)) such that
Summing the obtained estimates and using condition (1) we obtain
We shall now construct a suitable function \(h\). According to Krylov’s result (see [17, Theorem 2] or [18, Chapter III, § 2]), there exist constants \(C(R, d)>0\) and \(\kappa (R, d)>0\) such that for every nonnegative function \(f\in C^{\infty }_0(U(x_0, R)\times J)\) there exists a bounded function \(z\le 0\) on \(U(x_0, 4R)\times \mathbb R ^1\) such that \(x\mapsto z(x,t)\) is convex on \(U(x_0, 4R)\) for each fixed \(t\in J\) and has the following two properties: for any smooth probability density \(g\) with support in the centered unit ball of \(\mathbb R ^{d+1}\), letting \(g_{\varepsilon }(y, t)=\varepsilon ^{-d-1}g(y/\varepsilon , t/\varepsilon )\), \(f_{\varepsilon }=f*g_{\varepsilon }\), and \(z_{\varepsilon }=z*g_{\varepsilon }\), \(\varepsilon >0\), one has
for every \(\varepsilon \in (0, R)\) and each nonnegative symmetric matrix \((\alpha ^{ij})\). It should be noted that in [17] there is minus in front of \(\partial _tz_{\varepsilon }(x,t)\), but this makes no difference since we can reverse the variable \(t\). For all sufficiently small \(\varepsilon \) we have
We observe that \(z_{\varepsilon }\) is nonpositive and convex with respect to \(x\) on \(U(x_0, 3R)\times J\) for any \(\varepsilon < R\). Moreover,
Substituting \(h(x, t)=z_{\varepsilon }(x, t)+\max _{(y,t)\in W}|z_\varepsilon (y,t)|\) in (3), which is possible since \(h\ge 0\) on \(W\) and \(x\mapsto h(x,t)\) is convex on \(U(x_0,R)\), we obtain the estimate
Letting \(\varepsilon \rightarrow 0\), we obtain the same estimate for \(f\), which yields that
Since \(\zeta (x,t)=\eta (x)\theta (t)\), where \(\eta \) and \(\theta \) were arbitrary smooth functions with compact support, we arrive at the desired conclusion for the measure \(|\det A|^{1/(d+1)}\cdot \mu \). \(\square \)
FormalPara Remark 1We observe that the exponent \((d+1)^{\prime }=(d+1)/d\) cannot be replaced by a larger one. Indeed, it is well-known that the class \(W^{1, 1}_{loc}(\mathbb R ^d\times (0, 1))\) is embedded into \(L^{(d+1)^{\prime }}_{loc}(\mathbb R ^d\times (0, 1))\), but not into \(L^p_{loc}(\mathbb R ^d\times (0, T))\) with \(p>(d+1)^{\prime }\). So let \(\mu =\varrho \,dx\,dt\), where \(\varrho \in W^{1, 1}_{loc}(\mathbb R ^d\times (0, 1))\) and \(\varrho \ge 0\), but \(\varrho \) does not belong to any \(L^p_{loc}(\mathbb R ^d\times (0, 1))\) with \(p>(d+1)^{\prime }\). Then, for every compact set \(Q\subset \mathbb R ^d\times (0,1)\), there exists a constant \(C>0\) such that
for every nonnegative function \(u\in C^{\infty }_0(\mathbb R ^d\times (0, 1))\) with \(\mathrm{supp}\, u \subset Q\), since
It is even possible to construct a counter-example where the exact equation is fulfilled: the measure \(\mu =e^{-|x|^2}\, dx\, dt\) trivially satisfies the equation \(\partial \mu /\partial t=L^{*}\mu \) with \(\mathcal K =0\) and \(A=\alpha (t)e^{|x|^2}I\), where \(\alpha \in L^1[0,1]\) is such that its restrictions to all closed intervals \(J\subset (0,1)\) belong to no \(L^p(J)\) with \(p>1\); then \((\det A)^{1/(d+1)}\mu = \alpha (t)^{d/(d+1)}e^{-|x|^2/(d+1)}\, dx\, dt\), where \(\alpha (t)^{d/(d+1)}e^{-|x|^2/(d+1)}\) is not in \(L^{p}_{loc}(\mathbb R ^d\times (0,1))\) whenever \(p>(d+1)/d\). In this example the density itself is nice, so the negative effect is due to the factor \((\det A)^{1/(d+1)}\), but it is easy to modify this construction in such a way that also the density of \(\mu \) will not be locally integrable to powers larger that \(1\): to this end, we take a positive function \(\beta \in L^1(\mathbb R ^d)\) belonging to no \(L_{loc}^p(\mathbb R ^d)\) with \(p>1\) and pass to the measure \(\beta \cdot \mu \) and the diffusion matrix \(A/\beta \). For \(d=1\) another simple example is this: \(\mu =\varrho (x)\, dx\, dt\), where \(\varrho \) is a probability density such that \(1/\varrho \in L^1_{loc}(\mathbb R )\), but \(1/\varrho \not \in L^p_{loc}(\mathbb R )\) if \(p>1\); then \(\mu \) satisfies the equation with \(A=\varrho ^{-1}\) and \(A^{1/2}\mu \) has density \(\varrho ^{-1/2}\) not belonging to \(L^p_{loc}(\mathbb R )\) if \(p>2\).
Let us consider some examples.
Let
and let a nonnegative locally bounded Borel measure \(\mu \) on \(\mathbb R ^d\times (0, T)\) satisfy the equation
in the sense of the identity
where we assume that \(a^{ij}, b^i, c\in L^1_{loc}(\mu )\). Then the measure \(|\det A|^{1/(d+1)}\cdot \mu \) has a density \(\varrho \in L^{(d+1)^{\prime }}_{loc}(\mathbb R ^d\times (0, T))\) with respect to Lebesgue measure on \(\mathbb R ^d\times (0, T)\). This result was obtained in [7, Theorem 3.1]. For the proof it suffices to note that
and for every compact \(Q\subset \mathbb R ^d\times (0,T)\) there exists a constant \(C>0\) such that
for every \(u\in C^{\infty }_0(\mathbb R ^d\times (0, T))\) with support in \(Q\).
FormalPara Example 2Let \(\mu \) be a finite nonnegative measure on \(\mathbb R ^d\times (0,T)\) satisfying the equation
in the sense of the integral identity
where
\(a^{ij}, b^i, c \in L^1_{loc}(\mu )\), and, for each \(t\in (0, T)\) and \(x\in \mathbb R ^d\), \(\nu _{x,t}\) is a nonnegative locally bounded Borel measure on \(\mathbb R ^d\setminus \{0\}\) such that the function
is \(\mu \)-integrable [under these hypotheses \(Lu\) is \(\mu \)-integrable for every function \(u\) with compact support in \(\mathbb R ^d\times (0,T)\)]. Then the locally finite measure \(|\det A|^{1/(d+1)}\cdot \mu \) has a density \(\varrho \in L^{(d+1)^{\prime }}_{loc}(\mathbb R ^d\times (0, T))\) with respect to Lebesgue measure on \(\mathbb R ^d\times (0, T)\). Hence \(\mu \) itself is absolutely continuous on the set \(\{\det A\not =0\}\).
If the measure \(\mu \) is given by a family of probability measures \(\mu _t\) on \(\mathbb R ^d\), i.e., \(\mu =\mu _t(dx)\,dt\), then a sufficient condition for the \(\mu \)-integrability of \(M\) is the integrability of \(\sup _x M(x,t)\) with respect to Lebesgue measure on \((0,T)\).
FormalPara ProofWe take a function \(\varphi _0\in C^{\infty }_0(\mathbb R ^d)\) such that \(0\le \varphi _0\le 1\) and \(\varphi _0(x)=1\) if \(|x|\le 1\). It is clear that the function \(\varphi (x, y):=\varphi _0(y-x)\) is a local unit function. Set
Note that \(\widehat{b}, \widehat{c}\in L^1_{loc}(\mu )\). Set \(K(x, t, B):=\nu _{x,t}(B-x)\) and
Then the function
is \(\mu \)-integrable if \(\psi \) is bounded. In addition,
In order to apply Theorem 1 we should only note that for every compact \(Q\subset \mathbb R ^d\times (0,T)\) there exists a constant \(C>0\) such that
for every \(u\in C^{\infty }_0(\mathbb R ^d\times (0, T))\) with support in \(Q\). \(\square \)
Let us observe that the same proof applies to some other frequently used operators (see [5] and [26]).
(i) Let us consider the operator
If a finite nonnegative measure \(\mu \) on \(\mathbb R ^d\times (0,T)\) satisfies the equation \(\partial _t\mu =L^{*}\mu \) and
then the locally finite measure \(|\det A|^{1/(d+1)}\cdot \mu \) has a density \(\varrho \in L^{(d+1)^{\prime }}_{loc}(\mathbb R ^d\times (0, T))\) with respect to Lebesgue measure on \(\mathbb R ^d\times (0, T)\). Hence \(\mu \) itself is absolutely continuous on the set \(\{\det A\not =0\}\). This follows by the same reasoning as in Example 2 letting
(ii) Let us consider the operator
where \(I_{\{|y|<1\}}\) is the indicator of the open unit ball. Let \(\mu \) be a finite nonnegative measure on \(\mathbb R ^d\times (0,T)\) satisfying the equation \(\partial _t\mu =L^{*}\mu \). Then the same conclusion holds if
Indeed, letting
we can also apply the same reasoning as in Example 2. If \(\mu \) is given by a family of probability measures \(\mu _t(dx)\), then the above condition holds for \(\nu _{x, t}(dy)=q(x, t, y)|y|^{-d-\alpha (x)}\, dy\), where \(0<\alpha (x)<2\) and
In particular, it is fulfilled if \(q(x,t,y)\) is bounded and \(0<\alpha _1\le \alpha (x) \le \alpha _2<2\).
In the case where the coefficients of \(L\) do not depend on \(t\) one can impose somewhat weaker assumptions.
We recall that according to a remarkable theorem of Courrège (see [11]) a linear operator \(L\) from \(C^{\infty }_0(\mathbb R ^d)\) to the space of locally bounded Borel functions satisfies the positive maximum principle (i.e., \(Lf(x)\le 0\) once \(f\ge 0\) and \(x\) is a point of maximum of \(f\)) if and only if it has the form
where \(b^i\) and \(c\) are locally bounded Borel functions, \(A(x)=(a^{ij}(x))\) is a positive symmetric matrix, \(\varphi \) is a local unit function, \(\nu (x, dy)\) is a Lévy kernel, i.e., \(\nu (x, dy)\) is a Borel nonnegative measure on \(\mathbb R ^d{\setminus }\{x\}\) for each \(x\) and the mapping
is Borel measurable and locally bounded for every \(\psi \in C^{\infty }_0(\mathbb R ^d)\), \(\nu (x:\, |x|>\delta )<\infty \) for every \(\delta >0\), and
It is worth noting that generators of Feller processes satisfy the positive maximum principle and have the above form.
Let \(\mu \) be a finite nonnegative Borel measure on \(\mathbb R ^d\times (0, T)\). Assume that \(a^{ij}\in L^1_{loc}(\mu )\) and that the mapping
is integrable with respect to \(\mu \) on \(\mathbb R ^d\times (0, T)\) for each function \(\psi \in C^{\infty }_0(\mathbb R ^d)\). If \(\mu \) satisfies the parabolic equation \(\partial _t\mu =L^{*}\mu \), then the measure \(|\det A|^{1/(d+1)}\cdot \mu \) has a density \(\varrho \in L^{(d+1)^{\prime }}_{loc}(\mathbb R ^d\times (0, T))\) with respect to Lebesgue measure on \(\mathbb R ^d\times (0, T)\).
These examples show that if there is a diffusion with jumps having generator \(L\), then its space-time law is absolutely continuous on the set \(\{\det A\not =0\}\). In the case of a homogeneous diffusion (with time independent coefficients) and \(\det A>0\) we obtain the absolute continuity of the transition probability \(P(t,dy)\) for almost every \(t>0\) (independently of the initial distribution). However, even for diffusions without jumps and \(\det A>0\) examples are known (see [14, 25]) where \(P(t,dy)\) may be singular for some fixed \(t\).
As already noted above, the papers [1, 2], and [21] contain Krylov-type estimates of certain stochastic integrals involving diffusion and jump parts; from these estimates one can derive absolute continuity on the set \(\{\det A>0\}\) of the space-time measure of the process satisfying the corresponding stochastic equation. However, the existence of such stochastic integrals and processes requires much stronger global assumptions about all coefficients \(a^{ij}, b^i, c\), and \(\nu _{x,t}\). More specifically, in [21] the coefficients \(a^{ij}\) and \(b^i\) are uniformly bounded, \(c=0\), and there are some uniform bounds for \(\nu _x\); in [1] and [2] existence of certain stochastic integrals is assumed along with some additional global estimates, in particular, for bounded \(A\) the drift \(b\) must be also bounded. The proofs in the papers cited also use Krylov’s powerful results (more precisely, in [21] and [1] in place of [17] some earlier results of Krylov are employed), but in a different way.
Clearly, our paper focuses on the extreme case where jumps a posteriori have no influence; it would be interesting to find other combinations of contributions of the continuous and jump parts leading to absolute continuity in the case of nonsmooth coefficients.
References
Anulova, S.V.: On processes with Lévy generating operator in a half-space. Izv. Akad. Nauk SSSR, Ser. Mat. 42, 708–750 (1978) (in Russian); English transl.: Math. USSR Izvestiya 13(1), 9–51 (1979)
Anulova, S., Pragarauskas, G.: Weak Markov solutions of stochastic equations. Litov. Mat. Sb./Lietuv. Mat. Rink. 17(2), 5–26 (1977) (in Russian); English transl. Lithuanian Math. J. 17(2), 141–155 (1977)
Applebaum, D.: Lévy processes and stochastic calculus. Cambridge Univ. Press, Cambridge (2004)
Bally, V., Clement, E.: Integration by parts formula and applications to equations with jumps. Probab. Theory Relat. Field 151(3–4), 613–657 (2011)
Bass, R.F.: Stochastic differential equations with jumps. Probab. Surv. 1, 1–19 (2004)
Bichteler, K., Gravereaux, J.-B., Jacod, J.: Malliavin calculus for processes with jumps. Gordon and Breach, New York (1987)
Bogachev, V.I., Krylov, N.V., Röckner, M.: On regularity of transition probabilities and invariant measures of singular diffusions under minimal conditions. Comm. Partial Diff. Eq. 26(11–12), 2037–2080 (2001)
Bogachev, V.I., Krylov, N.V., Röckner, M.: Elliptic and parabolic equations for measures. Uspehi Mat. Nauk 64(6), 5–116 (2009) (in Russian); English transl. Russian Math. Surveys 64(6), 973–1078 (2009)
Bouleau, N., Denis, L.: Application of the lent particle method to Poisson-driven SDEs. Probab. Theory Relat. Field 151(3–4), 403–433 (2011)
Cass, T.: Smooth densities for solutions to stochastic differential equations with jumps. Stoch. Process. Appl. 119(5), 1416–1435 (2009)
Courrège, P.: Sur la forme intégro-différentielle des opérateurs de \(C^{\infty }_k\) dans \(C\) satisfaisant au principe du maximum. Séminaire Brelot-Choquet-Deny. Théorie du Potentiel, t. 10, n 1, exposé 2, 1–38 (1965/1966)
Denis, L.: A criterion of density for solutions of Poisson-driven SDEs. Probab. Theory Relat. Field 118(3), 406–426 (2000)
Di Nunno, G., Øksendal, B., Proske, F.: Malliavin calculus for Lévy processes with applications to finance. Springer-Verlag, Berlin (2009)
Fabes, E.B., Kenig, C.E.: Examples of singular parabolic measures and singular transition probability densities. Duke Math. J. 48, 845–856 (1981)
Ikeda, N., Watanabe, S.: Stochastic differential equations and diffusion processes, 2nd edn. North-Holland/Kodansha, Amsterdam, Tokyo (1989)
Jacob, N.: Pseudo-differential operators and Markov processes. Akademic Verlag, Berlin (1996)
Krylov, N.V.: Sequences of convex functions and estimates of the maximum of the solution of a parabolic equation. Sibirskii Mat. Zhurn. 17(2), 290–303 (1976) (in Russian); English transl.: Siberian J. Math. 17(2), 226–236 (1976)
Krylov, N.V.: Nonlinear elliptic and parabolic equations of second order. Nauka, Moscow (1985). (in Russian); English transl.: Reidel, Dordrecht (1987)
Kulik, A.M.: On a regularity of distribution for solution of SDE of a jump type with arbitrary Lévy measure of the noise. Ukrain. Mat. Zh. 57(9), 1261–1283 (2005); English transl. Ukrainian Math. J. 57(9), 1477–1501 (2005)
Kunita, H.: Smooth density of canonical stochastic differential equation with jumps. Asterisque No. 327, 69–91 (2009)
Lepeltier, J.-P., Marchal, B.: Problème des martingales et équations différentielles stochastiques associées à un opérateur intégro-différentiel. Ann. Inst. H. Poincaré, Nouv. Sér., Sect. B 12, 43–103 (1976)
Nourdin, I., Simon, T.: On the absolute continuity of Lévy processes with drift. Ann. Probab. 34(3), 1035–1051 (2006)
Osswald, H.: Malliavin calculus for Lévy processes and infinite-dimensional Brownian motion. An introduction. Cambridge University Press, Cambridge (2012)
Picard, J.: On the existence of smooth densities for jump processes. Probab. Theory Relat. Field 105(4), 481–511 (1996)
Safonov, M.V.: An example of a diffusion process with the singular distribution at a fixed moment. In: Abstracts of communications of the third international Vilnius conference on probability theory and mathematical statistics, vol. 2, pp. 133–134. Vilnius (1981)
Stroock, D.: Diffusion processes associated with Lévy generators. Wahr. theor. verw. Geb. 32, 209–244 (1975)
Takeuchi, A.: Absolute continuity for solutions to stochastic functional differential equations with jumps. Stoch. Dyn. 7(2), 153–185 (2007)
Zhang, X.: Degenerate irregular SDEs with jumps and application to integro-differential equations of Fokker-Planck type. Arxiv Math. 1008.1884v2 (2011)
Acknowledgments
This work was supported by the RFBR projects 13-01-00332, 12-01-33009, 13-01- 92100-JF, 11-01-90421-Ukr-f-a, 11-01-12018-ofi-m, 11-01-12104-ofi-m, the Russian President Grant MD-754.2013.1, and by the DFG through the program SFB 701 at the University of Bielefeld. We are grateful to S.V. Anulova, W. Hoh and A.Yu. Veretennikov for useful discussions and also thank the anonymous referee for a number of suggestions and observations which lead to improvements in our presentation.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Bogachev, V.I., Röckner, M. & Shaposhnikov, S.V. On parabolic inequalities for generators of diffusions with jumps. Probab. Theory Relat. Fields 158, 465–476 (2014). https://doi.org/10.1007/s00440-013-0485-0
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00440-013-0485-0
Keywords
- Diffusion with jumps
- Transition probability
- Absolute continuity
Mathematical Subject Classification
- Primary 60J60
- 60J75; Secondary 35K25