Abstract
Under mild assumptions, we establish a Liouville theorem for the “Laplace” equation \(Au=0\) associated with the infinitesimal generator A of a Lévy process: If u is a weak solution to \(Au=0\) which is at most of (suitable) polynomial growth, then u is a polynomial. As a by-product, we obtain new regularity estimates for semigroups associated with Lévy processes.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The classical Liouville theorem states that any bounded solution \(u:\mathbb {R}^d \rightarrow \mathbb {R}\) to the Laplace equation \(\varDelta u=0\) is constant. There is an extension for unbounded functions: If \(\varDelta u=0\) and u is at most of polynomial growth, say, \(|u(x)| \le C(1+|x|^k)\) for some constants \(C>0\) and \(k \in \mathbb {N}_0\), then u is a polynomial of degree at most k. In this paper, we extend this result to a wide class of integro-differential operators. More precisely, we establish a Liouville theorem for equations \(Au=0\) where A is of the form
for some \(b \in \mathbb {R}^d\), a positive semi-definite matrix \(Q \in \mathbb {R}^{d \times d}\) and a measure \(\nu \) on \((\mathbb {R}^d \backslash \{0\},\mathcal {B}(\mathbb {R}^d \backslash \{0\}))\) satisfying \(\int _{y \ne 0} \min \{1,|y|^2\} \, \nu (dy)<\infty \). Equivalently, A can be written as a pseudo-differential operator,
where \({\hat{f}}(\xi )=(2\pi )^{-d} \int _{\mathbb {R}^d} f(x) e^{-ix \cdot \xi } \, dx\) denotes the Fourier transform of f and the symbol \(\psi \) is a continuous negative definite function with Lévy–Khintchine representation
Since A is the infinitesimal generator of a Lévy process, see below, we also call A a Lévy generator. The family of Lévy generators includes many interesting and important operators, e.g. the Laplacian \(\varDelta \), the fractional Laplacian \(-(-\varDelta )^{\alpha /2}\), \(\alpha \in (0,2)\), and the free relativistic Hamiltonian \(m-\sqrt{-\varDelta +m^2}\), \(m>0\). If A is a local operator, i.e. \(\nu =0\), then the Liouville theorem is classical, and so the focus is on the non-local case \(\nu \ne 0\). For Lévy generators with a sufficiently smooth symbol, there is a Liouville theorem by Fall and Weth [5]; the required regularity of \(\psi \) increases with the dimension \(d \in \mathbb {N}\). Ros-Oton and Serra [19] established a general Liouville theorem for symmetric stable operators,
where \(\alpha \in (0,2)\) and \(\mu \) is a non-negative finite measure on the unit sphere \(\mathbb {S}^{d-1}\) satisfying an ellipticity condition. Liang and Wang [16, Corollary 1.3] established a Liouville theorem under the assumption that \(\nu \) is bounded below and above by a stable measure. The recent papers [1, 11] give necessary and sufficient conditions for the Liouville property, i.e. conditions under which the implication
holds. Choquet and Deny [4] characterized the bounded solutions u to convolution equations of the form \(u=u *\mu \); these equations play a central role in the study of the “Laplace” equation \(Au=0\), see Lemma 1. Since the Liouville theorem is an assertion on the smoothness of harmonic functions, there is a close connection between the Liouville theorem and Schauder estimates; see [13, 19] and the references therein for recent results. We would like to mention that there are also Liouville theorems in the half-space, see e.g. [3, 19], and Liouville theorems for certain Lévy-type operators, see e.g. [2, 17, 18, 23].
In this paper, we use a probabilistic approach, inspired by [19], to prove a Liouville theorem for a wide class of Lévy generators. Before stating the result, let us briefly recall some material from probability theory. It is well known, cf. [8, 9, 20], that there is a one-to-one correspondence between continuous negative definite functions and Lévy processes, i.e. stochastic processes with càdlàg (right-continuous with finite left-hand limits) sample paths and stationary and independent increments. Given a continuous negative definite function \(\psi :\mathbb {R}^d \rightarrow \mathbb {C}\), there exists a Lévy process \((X_t)_{t \ge 0}\) with semigroup \(P_t f(x):= \mathbb {E}f(x+X_t)\) satisfying
which means that \(A=-\psi (D)\) is the infinitesimal generator of \((X_t)_{t \ge 0}\). The Lévy process \((X_t)_{t \ge 0}\) is uniquely determined by \(\psi \), the so-called characteristic exponent of \((X_t)_{t \ge 0}\), and by the associated Lévy triplet \((b,Q,\nu )\). The following theorem is our main result.
Theorem 1
Let \((X_t)_{t \ge 0}\) be a Lévy process with Lévy triplet \((b,Q,\nu )\) and characteristic exponent \(\psi \), and denote by \(Af=-\psi (D)f\) the associated Lévy generator. Assume that
-
(C1)
\(X_t\) has for each \(t>0\) a density \(p_t \in C_b^1(\mathbb {R}^d)\) with respect to Lebesgue measure,
-
(C2)
there exists some \(\beta >0\) such that \(\int _{|y| \ge 1} |y|^{\beta } \, \nu (dy)<\infty \).
If \(u: \mathbb {R}^d\rightarrow \mathbb {R}\) is a weak solution to
satisfying \(|u(x)| \le M(1+|x|^{\gamma })\), \(x \in \mathbb {R}^d\), for some \(M>0\) and \(\gamma \in [0,\beta )\), then u is a polynomial of degree at most \(\left\lfloor \gamma \right\rfloor \). In particular, A has the Liouville property (4).
Remark 1
-
(i).
Weak solutions to \(Au=0\) are only determined up to a Lebesgue null set, cf. Sect. 2. When we write “u is a polynomial”, this means that u has a representative which is a polynomial, i.e. there is a polynomial \({\tilde{u}}\) such that \(u={\tilde{u}}\) Lebesgue almost everywhere.
-
(ii).
A sufficient condition for (C1) is the Hartman–Wintner condition,
$$\begin{aligned} \lim _{|\xi | \rightarrow \infty } \frac{{{\,\mathrm{Re}\,}}\psi (\xi )}{\log (|\xi |)}=\infty , \end{aligned}$$(5)see [10] for a thorough discussion.
-
(iii).
Condition (C2) is equivalent to assuming that \(\mathbb {E}(|X_t|^{\beta })=\int _{\mathbb {R}^d} |x|^{\beta } p_t(x) \, dx\) is finite for some (all) \(t>0\), cf. [20]. Consequently, (C2) implies, in particular, that \(P_t u(x)=\mathbb {E}u(x+X_t)\) is well defined for any measurable function u satisfying the growth condition \(|u(x)| \le M(1+|x|^{\beta })\).
-
(iv).
In Theorem 1 we impose an integral condition on \(\nu \) and a pointwise growth condition on u. One can also think of imposing a pointwise growth condition on (the density of) \(\nu \) and an integral condition on u, see [5] for a result in this direction.
-
(v).
The conditions (C1) and (C2) are quite mild assumptions, which hold for a large class of pseudo-differential operators. The recent paper [11] does, however, indicate that our conditions are not sharp; it is shown that \(A=-\psi (D)\) has the Liouville property (4) iff \(\{\psi =0\}=\{0\}\). By the Riemann–Lebesgue lemma, (C1) implies \(\{\psi =0\}=\{0\}\) but the converse is not true.
Example 1
-
(i).
If \((X_t)_{t \ge 0}\) is a Brownian motion, then (C1) is trivial and (C2) holds for all \(\beta >0\). The associated Lévy generator is the Laplacian and, consequently, we recover the classical Liouville theorem for the Laplacian.
-
(ii).
Consider an \(\alpha \)-stable operator A of the form (3) for a finite spectral measure \(\mu \) on \(\mathbb {S}^{d-1}\) which is non-degenerate, in the sense that its support is not contained in any proper linear subspace of \(\mathbb {R}^d\). Then the assumptions of Theorem 1 are satisfied for \(\beta <\alpha \), and we recover the Liouville theorem for stable operators in [19, Theorem 2.1].
-
(iii).
Let \(\alpha _1,\ldots ,\alpha _d \in (0,2)\). The anisotropic operator \(Au = - \sum _{k=1}^d (-\partial _{x_k}^2 u)^{\alpha _k/2}\) appears as Lévy generator of the Lévy process with characteristic exponent \(\psi (\xi ) = \sum _{k=1}^d |\xi _k|^{\alpha _k}\), \(\xi =(\xi _1,\ldots ,\xi _d) \in \mathbb {R}^d\). Since \(\psi \) satisfies the Hartman-Wintner condition (5), it follows that (C1) holds; moreover, the associated Lévy measure \(\nu \) satisfies the moment condition (C2) for \(\beta < \min _{k} \alpha _k\).
-
(iv).
If the Lévy measure \(\nu \) of a Lévy generator satisfies
$$\begin{aligned} \nu (B) \ge \int _{|y|<1} \frac{1}{|y|^{d+\alpha }} \mathbb {1}_B(y) \, dy, \qquad B \in \mathcal {B}(\mathbb {R}^d \backslash \{0\}), \end{aligned}$$for some \(\alpha >0\), then (5) holds and, in consequence, (C1) is satisfied. A sufficient condition for (C2) is, for instance, that \(\nu (dy) = g(y) \, dy\) with \(g(y) \le C |y|^{-d-\gamma }\), \(|y| \gg 1\), for some constants \(C>0\) and \(\gamma >\beta \).
Let us sketch the idea of the proof of Theorem 1. First, we show under mild assumptions that every weak solution to the equation \(Au=0\) gives rise to a (continuous) solution to the convolution equation \(P_t u=u\). The intuition behind this result comes from Dynkin’s formula: If \(Au=0\) and u is, say, twice differentiable and bounded, then Dynkin’s formula, cf. [8, Lemma 4.1.14], shows
Secondly, we use that the convolution operator \(P_t\) has smoothing properties, i.e. \(P_t u\) has a higher regularity than u. If u is a solution to \(Au=0\), and hence to \(P_t u=u\), then these regularizing properties of \(P_t\) allow us to establish suitable Hölder estimates for u which lead, by iteration, to the conclusion that u is smooth; thus a polynomial.
The remaining article is structured as follows. In Sect. 2 we introduce the notion of weak solutions and study the connection between the “Laplace” equation \(Au=0\) and the convolution equation \(P_t u=u\). In Sect. 3 we establish regularity estimates for the semigroup \((P_t)_{t \ge 0}\), which are of independent interest. The Liouville theorem is proved in Sect. 4.
2 Weak solutions
Let \(A=-\psi (D)\) be a pseudo-differential operator with continuous negative definite symbol \(\psi :\mathbb {R}^d \rightarrow \mathbb {C}\), cf. (2). Since \(\overline{\psi (\xi )}=\psi (-\xi )\) for all \(\xi \in \mathbb {R}^d\), an application of Plancherel’s theorem shows that the pseudo-differential operator \(A^* f := - {\overline{\psi }}(D)f\) is the adjoint of A in \(L^2(dx)\). Indeed, if \(\varphi ,f \in C_c^{\infty }(\mathbb {R}^d)\), then
where \({\check{\varphi }}\) denotes the inverse Fourier transform of \(\varphi \).
Definition 1
Let A be a pseudo-differential operator with continuous negative definite symbol \(\psi : \mathbb {R}^d \rightarrow \mathbb {C}\). Let \(U \subseteq \mathbb {R}^d\) be open and \(f \in L^1_{{{\,\mathrm{loc}\,}}}(U)\). A measurable function \(u: \mathbb {R}^d \rightarrow \mathbb {R}\) is a weak solution to
if
In (6) we implicitly assume that the integrals exist. For the integral on the right-hand side, the existence is evident from \(\varphi \in C_c^{\infty }(U)\) and \(f \in L_{{{\,\mathrm{loc}\,}}}^1(U)\). The other integral is harder to deal with because \(A^*\) is a non-local operator, i.e. decay properties of \(\varphi \) (e.g. compactness of the support) do not carry over to \(A^* \varphi \). Our first result in this section shows that the decay of \(A^* \varphi \) is closely linked to the existence of fractional moments \(\int _{|y| \ge 1} |y|^{\beta } \, \nu (dy)\) of the Lévy measure \(\nu \), associated with \(\psi \) via (2); see [5, Lemma 2.1] for a related result.
Proposition 1
Let \(\psi :\mathbb {R}^d \rightarrow \mathbb {C}\) be a continuous negative definite function with triplet \((b,Q,\nu )\). If \(\beta >0\) is such that \(\int _{|y| \ge 1} |y|^{\beta } \, \nu (dy)<\infty \), then the pseudo-differential operator \(A=-\psi (D)\) satisfies
More precisely, there is for all \(R>0\) a constant \(C>0\) such that every \(\varphi \in C_c^{\infty }(\mathbb {R}^d)\) with \({{\,\mathrm{supp}\,}}\varphi \subset B(0,R)\) satisfies
Let us mention that \(\int _{|y| \ge 1} |y|^{\beta } \, \nu (dy) < \infty \) is actually equivalent to (7). Here, we need (and prove) only sufficiency for (7); for the converse implication see [6, Theorem 4.1].
Proposition 1 gives a sufficient condition such the integral on the left-hand side of (6) exists: Since the adjoint \(A^*\) is a pseudo-differential operator with symbol \({\overline{\psi }}\) and triplet \((-b,Q,\nu (-\cdot ))\), Proposition 1 shows that \(\int _{\mathbb {R}^d} |u(x)|\, |A^* \varphi (x)| \, dx\) is finite for every measurable function u satisfying \(|u(x)| \le M(1+|x|^{\beta })\) for some \(\beta \ge 0\) with \(\int _{|y| \ge 1} |y|^{\beta } \, \nu (dy)<\infty \).
Proof of Proposition 1
Since the assertion is obvious for the local part of A, we may assume without loss of generality that \(b=0\) and \(Q=0\). Fix \(\varphi \in C_c^{\infty }(\mathbb {R}^d)\) with \({{\,\mathrm{supp}\,}}\varphi \subset B(0,R)\). For \(x \in \mathbb {R}^d\) with \(|x| \ge 2R\), we have
for some constant \(C=C(R)\). Integrating with respect to x, we find by Tonelli’s theorem that
On the other hand, it is immediate from Taylor’s formula that
and this yields the required estimate for \(\int _{|x| <2R} (1+|x|^{\beta }) |A\varphi (x)| \, dx\). \(\square \)
Next we establish a connection between the “Laplace” equation \(Au=0\) and the convolution equation \(P_t u=u\).
Lemma 1
Let \((X_t)_{t \ge 0}\) be a Lévy process with Lévy triplet \((b,Q,\nu )\), infinitesimal generator \((A,\mathcal {D}(A))\) and semigroup \((P_t)_{t \ge 0}\). Assume that \(X_t\) has for \(t>0\) a density \(p_t \in C_b(\mathbb {R}^d)\) with respect to Lebesgue measure, and let \(\beta \ge 0\) be such that \(\int _{|y| \ge 1} |y|^{\beta } \, \nu (dy)<\infty \). If \(u:\mathbb {R}^d \rightarrow \mathbb {R}\) is a measurable function with \(|u(x)| \le M(1+|x|^{\beta })\), \(x \in \mathbb {R}^d\), solving
then there exists \({\tilde{u}} \in C(\mathbb {R}^d)\) such that \(u={\bar{u}}\) Lebesgue almost everywhere and \({\tilde{u}} = P_t {\tilde{u}}\) for all \(t>0\).
Note that the exceptional null set \(\{{\tilde{u}} \ne P_t {\tilde{u}}\}\) does, in general, depend on t; for the application which we have in mind, that is, for the proof of Liouville’s theorem, this is not a problem since we will use the result only for \(t=1\).
Proof
Take \(\varphi \in C_c^{\infty }(\mathbb {R}^d)\) such that \(\varphi \ge 0\) and \(\int _{\mathbb {R}^d} \varphi (x) \, dx=1\). Set \(\varphi _{\varepsilon }(x):=\varepsilon ^{-d} \varphi (x/\varepsilon )\) and
for \(\varepsilon >0\). Using
it follows that
for a constant \(C_1>0\) not depending on \(\varepsilon \), x and u. As \(\int _{|y| \ge 1} |y|^{\beta } \, \nu (dy)<\infty \), the Lévy process has fractional moments of order \(\beta \), i.e. \(\mathbb {E}(|X_t|^{\beta })=\int |y|^{\beta } p_t(y) \, dy\) is finite, see e.g. [20, Theorem 25.3] or [12, Theorem 4.1], and so \(P_t u\) and \(P_t u_{\varepsilon }\) are well-defined. We have
For fixed \(x \in \mathbb {R}^d\), it follows from the dominated convergence theorem that the second term on the right-hand side is less than, say, \(\varrho >0\), for R large enough. Since \(u_{\varepsilon } \rightarrow u\) in \(L^1_{{{\,\mathrm{loc}\,}}}(dx)\), the first term is less than \(\varrho \) for small \(\varepsilon >0\). Hence, \(P_t u_{\varepsilon }(x) \rightarrow P_t u(x)\) as \(\varepsilon \rightarrow 0\) for each \(x \in \mathbb {R}^d\). Next we show that
By the definition of \(P_t u\) and \(u_{\varepsilon }\),we have
Because of the growth estimate in (9), we may apply Fubini’s theorem:
It remains to show that \(\varDelta =0\). As \(\varphi _{\varepsilon } \in C_c^{\infty }(\mathbb {R}^d)\), an application of Dynkin’s formula gives
Applying Lemma 1, using the growth condition on u and the fact that \(\int _0^t \mathbb {E}(|X_s|^{\beta }) \, ds\) is finite, cf. [20, Theorem 25.18] or [12, Theorem 4.1], we find that
and therefore we may apply once more Fubini’s theorem:
From
we conclude that
Since \(z \mapsto \varphi _{\varepsilon }(x+X_s(\omega )-z) \in C_c^{\infty }(\mathbb {R}^d)\) for each fixed \(\omega \in \Omega \), \(s \in [0,t]\) and \(x \in \mathbb {R}^d\), it follows from \(Au=0\) weakly that the inner integral on the right-hand side is zero, and so \(\varDelta =0\). This finishes the proof of (10). As \(u_{\varepsilon } \rightarrow u\) in \(L_1^{{{\,\mathrm{loc}\,}}}\), there exists a subsequence converging Lebesgue almost everywhere. Letting \(\varepsilon \rightarrow 0\) in (10) along this subsequence, we get \(P_t u=u\) Lebesgue almost everywhere. If we set \({\tilde{u}} := P_1 u\), then \(u=P_1 u = {\tilde{u}}\) Lebesgue almost everywhere and
where the latter equality follows from the fact that \(P_t\) does not see Lebesgue null sets since \(X_t\) has a density with respect to Lebesgue measure. Finally, we note that \({\tilde{u}} \in C(\mathbb {R}^d)\). Indeed, given \(\varepsilon >0\) and \(r>0\), there is some \(R>r\) such that
Hence, for all \(x,z \in B(0,r)\)
i.e. \({\tilde{u}}\) is continuous. Since \({\tilde{u}}\) and \(P_t {\tilde{u}}\) are continuous, it follows from \({\tilde{u}} = P_t {\tilde{u}}\) Lebesgue almost everywhere that \({\tilde{u}}(x) = P_t {\tilde{u}}(x)\) for all \(x \in \mathbb {R}^d\). \(\square \)
3 Regularity estimates for semigroups associated with Lévy processes
Let \((X_t)_{t \ge 0}\) be a Lévy process with transition density \(p_t\), \(t>0\), and semigroup
If \(u:\mathbb {R}^d \rightarrow \mathbb {R}\) is bounded and Borel measurable, then \(P_t u\) is continuous, being convolution of a bounded function with an integrable function, cf. [21, Theorem 15.8]. In this section, we study the regularity of \(x \mapsto P_t u(x)\) for unbounded functions u. If u is unbounded, then we need some assumptions to make sense of the integral appearing in the definition of \(P_t u\). It is natural to assume that there exists a constant \(\beta >0\) such that the associated Lévy measure \(\nu \) satisfies \(\int _{|y| \ge 1} |y|^{\beta } \, \nu (dy)<\infty \). This condition ensures that \(\mathbb {E}(|X_t|^{\beta })<\infty \) for all \(t \ge 0\), cf. Sato [20], and so \(P_t u\) is well-defined for any function u satisfying \(|u(x)| \le M(1+|x|^{\beta })\), \(x \in \mathbb {R}^d\), for some \(M>0\). Under the assumption that \(p_t \in C_b^1(\mathbb {R}^d)\), we will show that \(P_t u\) is locally Hölder continuous for every function u satisfying \(|u(x)| \le M(1+|x|^{\gamma })\), \(x \in \mathbb {R}^d\), for some \(\gamma <\beta \). Before stating the result, let us give a word of caution. As
a naive differentiation yields
and therefore one might suspect that \(P_t u\) is differentiable (and not only locally Hölder continuous). In general, it is not possible to make this calculation rigorous, even if u is bounded. To start with, it is not clear that the integral \(\int _{\mathbb {R}^d}|u(y)| \, |\nabla p_t(y-x)| \, dy\) is finite since the decay of \(p_t\) does not necessarily carry over to its derivatives. However, there is an interesting—and wide—class of Lévy processes for which the above reasoning can be made rigorous, and we will work out the details in the second part of this section.
Lemma 2
Let \((X_t)_{t \ge 0}\) be a Lévy process with Lévy triplet \((b,Q,\nu )\) and semigroup \((P_t)_{t \ge 0}\). Let \(\beta >0\) be such that \(\int _{|y| \ge 1} |y|^{\beta } \, \nu (dy)<\infty \), and assume that \(X_t\) has for some \(t>0\) a density \(p_t \in C_b^1(\mathbb {R}^d)\) with respect to Lebesgue measure. If u is a measurable function satisfying \(|u(x)| \le M (1+|x|^{\gamma })\) for some \(M>0\) and \(\gamma \in [0,\beta )\), then
where \(\varrho :=\frac{\beta -\gamma }{d+\beta } \in (0,1)\) and \(C=C(t,\beta )<\infty \) is a constant which does not depend on u. In particular, \(x \mapsto P_t u(x)\) is Hölder continuous of order \(\varrho \) on any compact set \(K \subseteq \mathbb {R}^d\) and
Proof
Because of the growth assumption on u, it follows from \(\mathbb {E}(|X_t|^{\beta })<\infty \) that \(P_t u\) is well-defined. Fix \(r,R \ge 1\) and \(x,h\in \mathbb {R}^d\) with \(|h|, |x| \le 1\). By the definition of the semigroup,
Thus, \(\varDelta _h=\varDelta _h^1 + \varDelta _h^2\), where
Applying the mean value theorem and using the growth condition on u, we find that
For the second term, we use again the growth condition on u:
Performing a change of variables and using the elementary estimate
we get
Note that the integral on the right-hand side is finite since \(\mathbb {E}(|X_t|^{\beta })<\infty \). Consequently, we have shown that there exists a constant \(C=C(\beta ,t)>0\) such that
for all \(|h|,|x| \le 1, \, r \ge 1\). Choosing \(R:=|h|^{-1/(d+\beta )}\) gives (11). The remaining assertion is obvious from (11). \(\square \)
If \((P_t)_{t \ge 0}\) is the semigroup associated with a subordinated Brownian motion \((X_t)_{t \ge 0}\), then the regularity estimate from Proposition 2 can be improved. We do not need this strengthened version for the proof of the Liouville theorem, but we present the proof since we believe that the result is of independent interest. Recall that a Lévy process \((S_t)_{t \ge 0}\) is a subordinator if \((S_t)_{t \ge 0}\) has non-decreasing sample paths.
Proposition 2
Let \((X_t)_{t \ge 0}\) be a Lévy process which is of the form \(X_t = B_{S_t}\) for some d-dimensional Brownian motion \((B_t)_{t \ge 0}\) and a subordinator \((S_t)_{t \ge 0}\) satisfying \({\mathbb {P}}(S_t=0)=0\) for all \(t>0\). Denote by \((b,Q,\nu )\) the Lévy triplet of \((X_t)_{t \ge 0}\), and let \(\beta >0\) be such that \(\int _{|y| \ge 1} |y|^{\beta }\, \nu (dy)<\infty \). If \(u:\mathbb {R}^d \rightarrow \mathbb {R}\) is a measurable function satisfying \(|u(x)| \le M(1+|x|^{\gamma })\), \(x \in \mathbb {R}^d\), for some \(M>0\) and \(\gamma \in [0,\beta ]\), then \(x \mapsto P_t u(x)\) is smooth for all \(t>0\) and
where \(C_k=C_k(t)\) is a finite constant, which does not depend on u and r.
Let us mention that \({\mathbb {P}}(S_t=0)=0\) is equivalent to assuming that \((X_t)_{t \ge 0}\) has a density with respect to Lebesgue measure, cf. [14, Lemma 4.6].
Proof of Proposition 2
For \(k \ge 1\) let \((B_t^{(k)})_{t \ge 0}\) be a k-dimensional Brownian motion. The process \(X_t^{(k)} := B_{S_t}^{(k)}\) is a Lévy process with Lévy triplet, say, \((b^{(k)},Q^{(k)},\nu ^{(k)})\), cf. [22] or [20]. By definition, \(X_t=X_t^{(d)}\) and \(\nu =\nu ^{(d)}\). Since \((B_t^{(k)})_{t \ge 0}\) and \((S_t)_{t \ge 0}\) are independent, cf. [7, Theorem II.6.3], it follows from \(B_t^{(k)}= \sqrt{t} B_1^{(k)}\) in distribution that
Consequently,
and so the finiteness of the fractional moment \(\int _{|y| \ge 1} |y|^{\beta } \, \nu ^{(k)}(dy)\) does not depend on the dimension k. By assumption, the moment is finite for \(k=d\), and hence it is finite for all \(k \ge 1\). Thus, \(\mathbb {E}(|X_t^{(k)}|^{\beta })<\infty \) for all \(k \ge 1\) and \(t \ge 0\). As \({\mathbb {P}}(S_t=0)\), the process \((X_t^{(k)})_{t \ge 0}\) has a rotational invariant and smooth density \(p_t^{(k)}(x)=p_t^{(k)}(|x|)\),
and
cf. [14, Corollary 3.2, Lemma 4.6]. Using polar coordinates, we get
for all \(\gamma \in [0,\beta ]\) and \(k \ge 1\). Since the continuous function \(|\nabla p_t^{(k)}|\) is bounded on compact sets, this implies
Applying iteratively (13) with \(k=d+2n\), \(n \in \mathbb {N}\), we find that
for all \(\gamma \in [0,\beta ]\), \(t \ge 0\) and all multi-indices \(\alpha \in \mathbb {N}_0^d\). Now we return to our original problem, i.e. we study the regularity of the semigroup \((P_t)_{t \ge 0}\) associated with \(X_t= X_t^{(d)}\). Fix a measurable function u with \(|u(x)| \le M(1+|x|^{\gamma })\) for some constants \(M>0\) and \(\gamma \in [0,\beta ]\). By definition,
By (14), we have \(\int _K \int _{\mathbb {R}^d} |u(y)|\, |\partial _{x_j} p_t^{(d)}(y-x)| \, dy \, dx < \infty \) for every \(j=1,\ldots ,d\) and every compact set \(K \subseteq \mathbb {R}^d\). Moreover, it follows by a similar reasoning to that at the end of the proof of Lemma 1 that the mapping
is continuous. Applying the differentiation lemma for parametrized integrals, cf. [15, Proposition A.1], we obtain that
Performing a change of variables \(y \rightsquigarrow y+x\), it is immediate from (14) and the growth condition on u that \(\Vert P_t u\Vert _{C_b^1(B(0,R))} \le C M R^{\beta }\), \(R \ge 1\), for some constant \(C>0\). Iterating the procedure proves the assertion for higher order derivatives. \(\square \)
4 Proof of Liouville’s theorem
In this section, we prove the Liouville theorem, cf. Theorem 1. First, we use a general result by Choquet and Deny [4] to show that the only bounded solutions to the convolution equation \(P_t u=u\) are the trivial ones.
Proposition 3
Let \((X_t)_{t \ge 0}\) be a Lévy process with characteristic exponent \(\psi \) and semigroup \((P_t)_{t \ge 0}\), and denote by \(Af = - \psi (D) f\) the associated Lévy generator. Assume that \(X_t\) has a density \(p_t \in C_b(\mathbb {R}^d)\) for some \(t>0\).
-
(i).
If u is a bounded measurable function such that \(P_t u=u\) a.e., then u is constant a.e.
-
(ii).
(Liouville property) If \(u \in L^{\infty }(\mathbb {R}^d)\) and \(Au=0\) weakly, then u is constant a.e.
Proof
-
(i).
Without loss of generality, we may assume that \(P_t u(x)=u(x)\) for all \(x \in \mathbb {R}^d\); otherwise replace u by \({\tilde{u}} :=P_t u\) and note that \(P_t u=P_t {\tilde{u}}\) as \(X_t\) has a density with respect to Lebesgue measure. Since \(\int _{\mathbb {R}^d} p_t(y) \, dy =1\) and \(p_t \ge 0\) is continuous, there exist \(x_0 \in \mathbb {R}^d\) and \(r>0\) such that \(p_t(y) >0\) for all \(y \in B(x_0,r)\). In particular, \(B(x_0,r)\) is contained in the support of the distribution of \(X_t\). By [4, Theorem 1], this implies
$$\begin{aligned} u(x)=u(x+y) \qquad \text {for all }x \in \mathbb {R}^d, \, y \in B(x_0,r), \end{aligned}$$Hence, u is constant.
-
(ii).
This is immediate from Lemma 1 and (i).
\(\square \)
We are now ready to prove the Liouville theorem.
Proof of Theorem 1
By Lemma 1, we may assume without loss of generality that u is continuous and \(u(x)=P_1 u(x)\) for all \(x \in \mathbb {R}^d\). Applying Lemma 2, we find that there exists a constant \(C>0\) such that
for \(\varrho :=(\beta -\gamma )/(d+\beta )>0\) and some constant \(C=C(\beta )>0\). This implies
Indeed: If \(|x| \le 1\), then this follows from (15) for \(r=1\), \(x'=x\) and \(h'=h\); if \(|x|>1\) we choose \(r=|x|\), \(h'=h/r\) and \(x'=x/r\) in (15). This means that for each fixed \(h \in \mathbb {R}^d\), \(0<|h| \le 1\), the function \(v(x) := |h|^{-\varrho } (u(x+h)-u(x))\) satisfies
Since the semigroup \((P_t)_{t \ge 0}\) is invariant under translations, we have \(P_1 v=v\), and therefore we can apply the above reasoning to v (instead of u) to obtain that
Define iteratively \(\varDelta _h u(x) := u(x+h)-u(x)\) and \(\varDelta _h^k u(x):= \varDelta _h (\varDelta _h^{k-1} u)(x)\), \(k \ge 2\), then the previous inequality shows
Iterating the procedure, we find that
for the largest integer \(k \ge 1\) such that \(\gamma -k \varrho \ge 0\); the latter condition ensures that the constant \(\gamma \) in Lemma 2 is non-negative. Applying once more Lemma 2, we get
If \(x,h \in \mathbb {R}^d\) are such that \(|x| \ge 1\) and \(|h| \le 1\), then we obtain from this inequality for \(r=|x|\), \(x'=x/r\) and \(h'=h/r\) that
As \(\gamma -(k+1)\varrho <0\), this gives
Consequently, \(x \mapsto w(x):=\varDelta _h^{k+1} u(x)\) is for each fixed \(|h| \le 1\) a continuous function which vanishes at infinity and which satisfies \(P_1 w=w\). The Liouville property, cf. Proposition 3, yields \(w=0\), i.e. \(\varDelta _h^{k+1} u(x)=0\) for all \(x \in \mathbb {R}^d\) and \(|h| \le 1\). We claim that this implies that u is a polynomial. Take \(\varphi \in C_c^{\infty }(\mathbb {R}^d)\) with \(\varphi \ge 0\) and \(\int _{\mathbb {R}^d} \varphi (x) \, dx=1\), and set \(\varphi _n(x) := n^d \varphi (nx)\). The convolution \(u_n := u *\varphi _n\) satisfies \(\varDelta _h^{k+1} u_n(x)=0\) for all \(x \in \mathbb {R}^d\) and \(|h| \le 1\). Since \(u_n\) is smooth, we have
for all \(x \in \mathbb {R}^d\), \(j\in \{1,\ldots ,d\}\) and \(n \in \mathbb {N}\); here \(e_j\) denotes the j-th vector in \(\mathbb {R}^d\). Hence, \(\partial ^{\alpha } u_n=0\) for all \(|\alpha | \ge N:=(k+1)d\), and so \(u_n\) is a polynomial of degree at most N for each \(n \in \mathbb {N}\). Since \(u_n\) converges pointwise to u, it follows that u is a polynomial of degree at most N. Recalling that u satisfies by assumption the growth condition \(|u(x)| \le M(1+|x|^{\gamma })\) for all \(x \in \mathbb {R}^d\), we conclude that u is a polynomial of order at most \(\left\lfloor \gamma \right\rfloor \). \(\square \)
References
Alibaud, N., del Teso, F., Endal, J., Jakobsen, E.R.: The Liouville theorem and linear operators satisfying the maximum principle. J. Math. Pures Appl. 142, 229–242 (2020)
Barlow, M.T., Bass, R.F., Gui, C.: The Liouville property and a conjecture of De Georgi. Commun. Pure Appl. Math. 53, 1007–1038 (2000)
Cheng, T., Chen, W., Li, C., Zhang, L.: A Liouville theorem for \(\alpha \)-harmonic functions in \({\mathbb{R}}^n_+\). Discrete Contin. Dyn. Syst. 36, 1721–1736 (2015)
Choquet, G., Deny, J.: Sur léquation de convolution \(\mu =\mu \ast \sigma \). C. R. Acad. Sci. Paris 250, 799–801 (1960)
Fall, M.M., Weth, T.: Liouville theorems for a general class of nonlocal operators. Potential Anal. 45, 187–200 (2016)
Hulanicki, A.: A class of convolution semi-groups of measures on a Lie group. In: Weron, A. (ed.) Probability Theory on Vector Spaces, pp. 82–101. Springer, Berlin (1980)
Ikeda, N., Watanabe, S.: Stochastic Differential Equations and Diffusion Processes. North-Holland, Amsterdam (1992)
Jacob, N.: Pseudo Differential Operators and Markov processes I: Fourier Analysis and Semigroups. World Scientific, Singapore (2001)
Khoshnevisan, D., Schilling, R.L.: From Lévy-Type Processes to Parabolic SPDEs. Birkhäuser, Basel (2016)
Knopova, V., Schilling, R.L.: A note on the existence of transition probability densities of Lévy processes. Forum Math. 25, 125–149 (2013)
Knopova, V., Schilling, R.: On the Liouville property for non-local Lévy generators. arXiv:1909.01237
Kühn, F.: Existence and estimates of moments for Lévy-type processes. Stoch. Proc. Appl. 127, 1018–1041 (2017)
Kühn, F.: Schauder estimates for equations associated with Lévy generators. Integr. Equ. Oper. Theory 91, 10 (2019)
Kühn, F., Schilling, R.L.: A probabilistic proof of Schoenberg’s theorem. J. Math. Anal. Appl. 476, 13–26 (2019)
Kühn, F., Schilling, R.L.: Strong convergence of the EulerMaruyama approximation for a class of Lévy-driven SDEs. Stoch. Proc. Appl. 129, 2654–2680 (2019)
Liang, M., Wang, J.: Spatial regularity of semigroups generated by Lévy type operators. Math. Nachr. 292, 1551–1566 (2019)
Masamune, J., Uemura, T.: \(L^p\)-Liouville property for non-local operators. Math. Nachr. 284, 2249–2267 (2011)
Priola, E., Zabczyk, J.: Liouville theorems for non-local operators. J. Funct. Anal. 216, 455–490 (2004)
Ros-Oton, X., Serra, J.: Regularity theory for general stable operators. J. Differ. Equ. 260, 8675–8715 (2016)
Sato, K.: Lévy Processes and Infinitely Divisible Distributions. Cambridge University Press, Cambridge (2013). (revised ed)
Schilling, R.L.: Measures, Integrals and Martingales, 2nd edn. Cambridge University Press, Cambridge (2017)
Schilling, R.L., Song, R., Vondraček, Z.: Bernstein Functions: Theory and Applications, 2nd edn. De Gruyter, Berlin (2012)
Schilling, R.L., Wang, J.: On the coupling property and the Liouville theorem for OrnsteinUhlenbeck processes. J. Evol. Equ. 12, 119–140 (2012)
Acknowledgements
I am grateful to Prof. Niels Jacob and an anonymous referee for comments which helped to improve the presentation of this paper.
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
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
Kühn, F. A Liouville theorem for Lévy generators. Positivity 25, 997–1012 (2021). https://doi.org/10.1007/s11117-020-00800-7
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11117-020-00800-7