Abstract
We consider isotropic Lévy processes on a compact Riemannian manifold, obtained from an \({\mathbb {R}}^d\)-valued Lévy process through rolling without slipping. We prove that the Feller semigroups associated with these processes extend to strongly continuous contraction semigroups on \(L^p\), for \(1\le p<\infty \). When \(p=2\), we show that these semigroups are self-adjoint. If, in addition, the motion has a non-trivial Brownian part, we prove that the generator has a discrete spectrum of eigenvalues and that the semigroup is trace-class.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The investigation of Lévy processes (essentially processes with stationary and independent increments) has become a rich theme in modern probability theory. These processes have a deep and interesting structure, there are wide-ranging applications, and they have been found to be a useful class of driving noises for stochastic differential equations. Usually Lévy processes are considered as having Euclidean space (or even the real line) as their state space, although Banach and Hilbert space valued processes are important for stochastic partial differential equations (see e.g. [22]). The most intensively studied class of nonlinear state spaces for Lévy processes has been Lie groups. Here, the notion of increment is defined using the group law and inverse operation, so if \(0 \le s < t\), where the increment of the process X in Euclidean space is \(X(t) - X(s)\), on a Lie group we instead consider \(X(s)^{-1}X(t)\). For a dedicated monograph treatment of such processes, see Liao [18].
Having considered Lévy processes on Lie groups, the next obvious step is to move to a Riemannian manifold. Indeed, arguably the most important Lévy process in Euclidean space is Brownian motion, and Brownian motion on manifolds is a very well developed theory in its own right (see e.g. Elworthy [10] and Hsu [15]). As its generator is the Laplace–Beltrami operator and transition density is the heat kernel, it is clear that this process is a natural expression of the geometry of the manifold. For development of a more general theory of Lévy processes, we are hampered by the fact that there is no obvious notion of increment on a manifold. When the space is a symmetric space, there is an alternative point of view pioneered by Gangolli [11, 12], who used spherical functions to establish an analogue of the Lévy–Khintchine formula. Using the fact that every symmetric space is a homogeneous space G/K of a Lie group G, quotiented by a compact subgroup K, Applebaum [1] was able to realise these processes as images of Lévy processes on G through the natural map (see [19] for more recent developments).
Motivated in part by the results of [1], and also the Eels–Elworthy construction of Brownian motion on a manifold by projection from the frame bundle, Applebaum and Estrade ( [4]) constructed a process that they called a “Lévy process on a manifold” and proved that it was a Feller–Markov process. The generic such process has the structure of a Brownian motion that is interlaced with jumps along geodesics, which are controlled by an isotropic Lévy measure. It is now more than twenty years since this paper was published, and to the authors’ knowledge, there has been no further work carried out on such processes since that time, other than the ergodic theoretic analysis in Mohari [21]. In the current paper, we hope to start the process of resurrecting this neglected area.
Since every Lévy process on a manifold is a Feller process, there is an associated semigroup on the space of continuous functions vanishing at infinity, and the generator is the sum of the Laplace–Beltrami operator and an integral superposition of jumps along geodesics. Our first new result is to show that the semigroup also preserves the \(L^p\) space of the Riemannian volume measure. We are particularly interested in the case \(p=2\), and here, we show that the semigroup (and hence its generator) is self-adjoint. When there is a non-trivial Brownian motion component to the process, we find that the generator has a discrete spectrum of non-positive eigenvalues. Under the latter condition, we also prove that the semigroup is trace-class, and so the process has a transition density/heat kernel.
2 Lévy Processes on Manifolds
Let M be a compact, connected, d-dimensional Riemannian manifold of dimension \(d\ge 1\), with Riemannian measure \(\mu \). Let OM denote the corresponding bundle of orthonormal frames, a principle O(d)-bundle over M. The Levi-Civita connection induces a decomposition
of each tangent space of OM into vertical and horizontal subspaces, and, writing \(\pi :OM\rightarrow M\) for the projection map, we have that for each \(p\in M\) and \(r\in OM_p\), \(d\pi _r\) vanishes on \(V_rOM\) and defines a linear isomorphism \(H_rOM\cong T_pM\), for each \(p\in M\) and \(r\in OM_p\). Moreover, OM may be given the structure of a Riemannian manifold in such a way that \(d\pi _r:H_rOM\rightarrow T_pM\) is an isometric isomorphism.Footnote 1 The corresponding Riemannian measure \({\tilde{\mu }}\) is sometimes referred as Liouville measure. Observe that
One can easily show that OM is compact, using the fact that both its base manifold and structure group are compact. As such, both \(\mu \) and \({{\tilde{\mu }}}\) are finite measures.
The canonical horizontal fields consist of a family of vector fields \(\{H_x:x\in {\mathbb {R}}^d\}\) on OM, defined by
where \(^*\) denotes horizontal lift. Since OM is compact, these vector fields are complete; we write \({{\,\mathrm{Exp}\,}}(tH_x)\) for the associated flows of diffeomorphisms. These flows are related to the Riemann exponential map by
For standard basis vectors \(e_i\) of \({\mathbb {R}}^d\), we use the abbreviation \(H_{e_i}=H_i\). The horizontal Laplacian
on OM is related to the Laplace–Beltrami operator \(\Delta \) on M by
for more details see Hsu [15] Chapter 3.
Let Y be an \({\mathbb {R}}^d\)-valued Lévy process. It is shown in Applebaum and Estrade [4] that the Marcus canonical SDE on OM
has a unique, càdlàg solution R that is a Feller process. As in [4], we will call processes obtained this way horizontal Lévy processes. We also impose the assumption from [4] that the Lévy process Y is isotropic, in that its law is O(d)-invariant. By Corollary 2.4.22 on page 128 of [2], the Lévy characteristics of Y then take the form \((0,aI,\nu )\), where \(a\ge 0\), and \(\nu \) is O(d)-invariant. Then, by Theorem 3.1 of [4], the process \(X=\pi (R)\) obtained by projection onto the base manifold is also a Feller process. The infinitesimal generators of R and X are
and
respectively, where the jump parts \({\mathscr {L}}_J\) and \({\mathscr {A}}_J\) are given by
and
Here, the family of Lévy measures \(\{\nu _p:p\in M\}\) act on each tangent space \(T_pM\) and are defined by \(\nu _p=\nu \circ r^{-1}\) for any frame \(r\in OM_p\). The two generators also satisfy
Observe that since \(\nu \) is O(d)-invariant, the right hand side of (2.6) is invariant under the change of variable \(x\mapsto -x\), and hence for all \(f\in C^\infty (OM)\) and \(r\in OM\),
where we have used the fact that \(H_{-x}f=-H_xf\). Summing (2.6) and (2.7) and dividing by two,
for all \(f\in C^\infty (OM)\) and \(r\in OM\). It follows that
for each \(f\in C^\infty (M)\) and \(p\in M\). Note the analogous expression (5.4.16) in [3] for symmetric Lévy motion on a Lie group.
3 \(L^p\) Properties of the Semigroup
We now turn our attention to the Feller semigroups associated with R and X. These consist of families of contraction operators \((S_t,t\ge 0)\) and \((T_t,t\ge 0)\) acting on the Banach spaces C(OM) and C(M) by
and
Since \(X=\pi (R)\), it is immediate that
for all \(f\in C(M)\), \(p=\pi (r)\in M\), and \(t\ge 0\).
Any Riemannian manifold has a natural \(L^p\) structure arising from its Riemannian measure, and so we may consider the spaces \(L^p(OM){:}{=}L^p(OM,{\tilde{\mu }},{\mathbb {R}})\) and \(L^p(M){:}{=}L^p(M,\mu ,{\mathbb {R}})\) for \(1\le p\le \infty \). For \(p<\infty \), we prove that \((S_t,t\ge 0)\) and \((T_t, t\ge 0)\) extend to strongly continuous contraction semigroups on these spaces, and that they are self-adjoint when \(p=2\).
We begin by considering the semigroup \((S_t,t\ge 0)\) associated with the horizontal process R; analogous results for \((T_t,t\ge 0)\) are then obtained by projection down onto M.
Theorem 3.1
For all \(1\le p<\infty \), \((S_t,t\ge 0)\) extends to a \(C_0\)-semigroup of contractions on \(L^p(OM)\).
Proof
Let \(q_t(\cdot ,\cdot )\) denote the transition measure of \((S_t,t\ge 0)\), so that
The horizontal fields \(H_x\) are divergence free for all \(x\in {\mathbb {R}}^d\) (Proposition 4.1 of [20]), and so by Theorem 3.1 of [5], \({\tilde{\mu }}\) is invariant for \(S_t\), in the sense that
Therefore, by Jensen’s inequality,
for all \(t\ge 0\) and \(f\in C(OM)\). Each \(S_t\) has domain C(OM), which is a dense subspace of \(L^p(OM)\) for all \(1\le p<\infty \). It follows that each \(S_t\) extends to a unique contraction defined on the whole of \(L^p(OM)\), which we also denote by \(S_t\). By continuity, the semigroup property
continues to hold in this larger domain. It remains to prove strong continuity, i.e. that
for all \(f\in L^p(OM)\). By density of C(OM) in \(L^p(OM)\), it is sufficient to verify this for \(f\in C(OM)\). The map \(t\mapsto S_t\) is strongly continuous in C(OM), and so \(\lim _{t\rightarrow 0}\Vert S_tf-f\Vert _\infty =0\) for all \(f\in C(OM)\). Since \((OM,{\mathcal {B}}(OM),{{\tilde{\mu }}})\) is a finite measure space,
for all \(f\in C(OM)\). Equation (3.2) now follows. \(\square \)
Remark 3.2
The final part of the above proof applies more generally, in that if X is a compact space equipped with a finite measure m, and if \((P_t,t\ge 0)\) is a Feller semigroup on X, then \((P_t,t\ge 0)\) is strongly continuous in \(L^p(X, m)\).
Projection down onto the base manifold yields the following.
Theorem 3.3
For all \(1\le p<\infty \), \((T_t, t\ge 0)\) extends to a strongly continuous semigroup of contractions on \(L^p(M)\).
Proof
Let \(1\le p<\infty \). By Eqs. (2.1) and (3.1), many of the conditions we must check follow from their analogues on the frame bundle. Indeed, for all \(f\in C^\infty (M)\) and \(t\ge 0\), we have
and so, using the fact that \(S_t\) is a contraction of \(L^p(OM)\),
Hence, \(T_t\) extends to a contraction of \(L^p(M)\) for all \(t\ge 0\). It is clear by continuity that the semigroup property continues to hold on this larger domain, as does Eq. (3.1). Strong continuity follows by Remark 3.2, or alternatively can be seen by the observation
Thus, \((T_t, t\ge 0)\) extends to a contraction semigroup on \(L^p(M)\) for all \(1\le p<\infty \). \(\square \)
We continue to denote the generators of \((S_t,t\ge 0)\) and \((T_t,t\ge 0)\) by \({\mathscr {L}}\) and \({\mathscr {A}}\), respectively. Note that by Lemma 6.1.14 of [9], \({\mathscr {L}}\) and \({\mathscr {A}}\) are both closed operators on \(L^p(OM)\).
4 The Case \(p=2\)
For the remainder of this paper, we focus on the case \(p=2\). Our aim in this section is to prove that the semigroups \((S_t,t\ge 0)\) and \((T_t,t\ge 0)\) are self-adjoint semigroups on \(L^2(OM)\) and \(L^2(M)\), respectively. By a standard result from semigroup theory, it will follow that \({\mathscr {L}}\) and \({\mathscr {A}}\) are self-adjoint linear operators.
Let us first impose the assumption that the Lévy measure \(\nu \) is finite. In this case, \({\mathscr {A}}_J\) is the generator of a compound Poisson process on M (see [4]).
Lemma 4.1
If \(\nu \) is finite, then \({\mathscr {L}}\) is a self-adjoint operator on \(L^2(OM)\).
Proof
Since \(\nu \) is finite, \({\mathscr {L}}_J\) is a bounded linear operator on \(L^2(OM)\), and so Eq. (2.8) extends by continuity to the whole of \(L^2(OM)\). It follows that \({\mathscr {L}}\) is a bounded perturbation of the horizontal Laplacian, and so its domain is Dom\((\Delta _{H})\). Clearly, \({\mathscr {L}}\) is symmetric on this domain.
Since \({\mathscr {L}}\) is a closed, symmetric operator, by Theorem X.1 on page 136 of Reed and Simon [23], the spectrum \(\sigma ({\mathscr {L}})\) of \({\mathscr {L}}\) is equal to one of the following:
-
1.
The closed upper-half plane.
-
2.
The closed lower-half plane.
-
3.
The entire complex plane.
-
4.
A subset of \({\mathbb {R}}\).
Moreover, \({\mathscr {L}}\) is self-adjoint if and only if Case 4 holds. By Theorem 8.2.1 of [9],
from which we see that Case 4 is the only option. \(\square \)
We now drop the assumption that \(\nu \) is finite.
Theorem 4.2
\((S_t, t\ge 0)\) and \((T_t,t\ge 0)\) are self-adjoint semigroups of operators on \(L^2(OM)\) and \(L^2(M)\), respectively.
Proof
We will find it convenient to rewrite the process R(t) (with initial condition \(R(0) = r\) (a.s.)) as the action of a stochastic flow \(\eta _t\) on the point r, as in [4]. Then, as shown in Section 4 of [4], there is a sequence \((\eta ^{(n)}_t)\) of stochastic flows on OM such that each \(\eta ^{(n)}_t\) is the flow of a horizontal Lévy process with finite Lévy measure, and
for all \(r \in OM\) and \(t\ge 0\).
Let \((S_{t}^{(n)}, t \ge 0)\) be the transition semigroup corresponding to the flow \((\eta ^{(n)}_t, t \ge 0)\), for each \(n\in {\mathbb {N}}\). It is a standard result in semigroup theory that a semigroup of operators on a Hilbert space is self-adjoint if and only if its generator is self-adjoint.Footnote 2 By Lemma 4.1, \((S_t^{(n)},t\ge 0)\) is a self-adjoint semigroup on \(L^2(OM)\), for all \(n\in {\mathbb {N}}\).
By dominated convergence, for each \(f \in C(OM)\) and \(t\ge 0\), we have
Then, by the density of C(OM) in \(L^{2}(OM)\), and a standard \(\epsilon /3\) argument (using the fact that \(S_{t}^{(n)}\) is an \(L^{2}\)-contraction), we deduce that for all \(f\in L^{2}(OM)\),
So, \(S_t\) is the strong limit of a sequence of bounded self-adjoint operators, and hence is itself self-adjoint. To see that \((T_t,t\ge 0)\) is also self-adjoint, let \(t\ge 0\) and \(f,g\in L^2(M)\), and observe that by (2.1) and (3.1),
\(\square \)
By Theorem 4.6 of Davies [8], \(-{\mathscr {L}}\) and \(-{\mathscr {A}}\) are positive self-adjoint operators on \(L^2(OM)\) and \(L^2(M)\), respectively.
5 Spectral Properties of the Generator
For this final section, we restrict attention to the case in which X has non-trivial Brownian part (that is, when \(a>0\)) and prove some spectral results that are already well-established for the case of Brownian motion and the Laplace–Beltrami operator \(\Delta \). For example, it is well known that \(\Delta \) has a discrete spectrum of eigenvalues. Each eigenspace is finite dimensional, and the eigenvectors may be normalised so as to form an orthonormal basis of \(L^2(M)\) (see for example Lablée [17] Theorem 4.3.1). Moreover, such an eigenbasis \((\psi _n)\) can be ordered so that the corresponding sequence of eigenvalues decreases to \(-\infty \). For each \(n\in {\mathbb {N}}\), write \(-\mu _n\) for the eigenvalue associated with \(\psi _n\), so that the real sequence \((\mu _n)\) satisfies
We prove an analogous result for \({\mathscr {A}}\), using a generalisation of the approach used by Lablée [17].
Theorem 5.1
Let X be an isotropic Lévy process on M with non-trivial Brownian part. Then, its generator \({\mathscr {A}}\) has a discrete spectrum
where \((\lambda _n)\) is a sequence of real numbers satisfying
Moreover, each of the associated eigenspaces is finite dimensional, and there is a corresponding sequence \((\phi _n)\) of eigenvectors that forms an orthonormal basis of \(L^2(M)\).
Remark 5.2
We will generally assume that (5.2) is listed with multiplicity, so that for all \(n\in {\mathbb {N}}\), \(-\lambda _n\) is the eigenvalue associated with \(\phi _n\).
Proof
Without loss of generality, assume that \(a=2\) so that
where \({\mathscr {A}}_J\) is given by (2.9). Both \({\mathscr {A}}\) and \({\mathscr {A}}_J\) are generators of self-adjoint contraction semigroups, and hence, \(-{\mathscr {A}}\) and \(-{\mathscr {A}}_J\) are positive, self-adjoint operators.Footnote 3 For \(f,g\in {{\,\mathrm{Dom}\,}}{\mathscr {A}}\), define
The operator \(I-{\mathscr {A}}\) is also positive and self-adjoint, and so by Theorem 11 of [7], there is a unique positive self-adjoint operator B such that \(B^2=I-{\mathscr {A}}\). By (4.1), \(I-{\mathscr {A}}\) is invertible, and hence B is injective. Moreover,
from which it is easyFootnote 4 to see that \(\langle \cdot ,\cdot \rangle _{{\mathscr {A}}}\) defines an inner product on \({{\,\mathrm{Dom}\,}}{\mathscr {A}}\).
Let V denote the completion of \(C^\infty (M)\) with respect to \(\langle \cdot ,\cdot \rangle _{{\mathscr {A}}}\). This is a “Lévy analogue” of the Sobolev space \(H^1(M)\) considered in Lablée [17] or Grigor’yan [14], where the completion is instead taken with respect to the Sobolev inner product
In the case when \(M = {{\mathbb {R}}}^{d}\), spaces of this type are discussed in Section 3.10 of Jacob [16], who refers to them as anisotropic Sobolev spaces. By (5.3), we have
and since \(-{\mathscr {A}}_J\) is a positive operator, it follows that \(\Vert f\Vert _{{\mathscr {A}}} \ge \Vert f\Vert _{H^1}\) for all \(f\in C^\infty (M)\). Similarly, (5.5) implies \(\Vert f\Vert _{H^1}\ge \Vert f\Vert _2\) for all \(f\in C^\infty (M)\). Hence,
and
In particular, the inclusion \(V\hookrightarrow H^1(M)\) is bounded. By Rellich’s theoremFootnote 5, the inclusion \(H^1(M)\hookrightarrow L^2(M)\) is compact, and hence so is the inclusion \(i:V\hookrightarrow L^2(M)\) (it is a composition of a compact operator with a bounded operator).
Let \(f\in L^2(M)\) and consider \(l\in V^*\) given by
For all \(g\in V\), we have by the Cauchy–Schwarz inequality
Hence,
where \(\Vert \cdot \Vert _{V^*}\) denotes the norm of \(V^*\). By the Riesz representation theorem, there is a unique \(v_f\in V\) for which
Moreover,
Define \(T:L^2(M)\rightarrow V\) by \(Tf=v_f\) for all \(f\in L^2(M)\). Then,
and T is bounded, since by (5.7),
for all \(f\in L^2(M)\). By (5.6),
and so \(T|_V\) is a bounded operator on V. We also have
and, since i is compact, so too is \(T|_V\). By symmetry of inner products and Eq. (5.8), T is self-adjoint. Equation (5.8) also implies that \(T|_V\) is a positive operator, and that 0 is not an eigenvalue of \(T|_V\) (indeed, if \(Tf=0\), then \(\Vert f\Vert _2^2=\langle Tf,f\rangle _{{\mathscr {A}}}=0\)).
By the Hilbert-Schmidt theoremFootnote 6, the spectrum of \(T|_V\) consists of a sequence \((\alpha _n)\) of positive eigenvalues that decrease to 0. Each eigenspace is finite dimensional, and the corresponding eigenvectors can be normalised so as to form an orthonormal basis \((v_n)\) of \((V,\langle \cdot ,\rangle _{{\mathscr {A}}})\).
In fact, it is easy to see from the definition of \(\langle \cdot ,\cdot \rangle _{{\mathscr {A}}}\) that
and hence, the spectrum of \({\mathscr {A}}\) is just \(\{1-\alpha _n^{-1}:n\in {\mathbb {N}}\}\), with corresponding eigenvectors still given by the \(v_n\). Moreover, we may scale these eigenvectors so that they are \(L^2\)-orthonormal. Indeed, for each \(n\in {\mathbb {N}}\), let
Then, for all \(m,n\in {\mathbb {N}}\),
By denseness of V in \(L^2(M)\), the \(\phi _n\) form an orthonormal basis of \(L^2(M)\).
Finally, let \(\lambda _n=\alpha _n^{-1}-1\) for each \(n\in {\mathbb {N}}\). Then, \((\lambda _n)\) satisfies Eq. (5.2), since \(-{\mathscr {A}}\) is a positive operator, and \((\alpha _n)\) is a positive sequence that decreases to 0. \(\square \)
It is well known that the heat semigroup \((K_t,t\ge 0)\) associated with Brownian motion on a compact manifold is trace-class and possesses an integral kernel. The final two results of this section extend this to the Lévy semigroup \((T_t,t\ge 0)\), subject to the assumption that \(a>0\).
Theorem 5.3
Let X be an isotropic Lévy process on M with non-trivial Brownian part. Then, the transition semigroup operator \(T_t\) is trace-class for all \(t>0\).
Proof
We again assume \(a=2\), so that \({\mathscr {A}}\) has the form (5.3). The case for general \(a>0\) is very similar.
Let \((\lambda _n)\) and \((\phi _n)\) be as in the statement of Theorem 5.1, and let \((\mu _n)\) and \((\psi _n)\) be the analogous sequences for \(\Delta \), so that \(\psi _n\) is the \(n^{\text {th}}\) eigenvector of \(\Delta \), with associated eigenvalue \(-\mu _n\).
Let \((K_t,t\ge 0)\) denote the heat semigroup associated with Brownian motion on M. This operator semigroup is known to possess many wonderful properties, including being trace-class. It follows that
for all \(t>0\). As an element of \([0,\infty ]\), the trace of each \(T_t\) is given by
By the min-max principle for self-adjoint semibounded operators,Footnote 7 we have for all \(n\in {\mathbb {N}}\),
and
As noted in the proof of Theorem 5.1, for all \(f\in C^\infty (M)\),
and hence \(\lambda _n\ge \mu _n\) for all \(n\in {\mathbb {N}}\). But then, \(\mathrm{e}^{-t\lambda _n}\le \mathrm{e}^{-t\mu _n}\) for all \(t>0\) and \(n\in {\mathbb {N}}\), and so, comparing (5.11) with (5.10),
for all \(t>0\). \(\square \)
By Lemma 7.2.1 of Davies [9], we immediately obtain the following.
Corollary 5.4
Let X be an isotropic Lévy process on M with non-trivial Brownian part. Then, its semigroup \((T_t,t\ge 0)\) has a square-integrable kernel. That is, for all \(t > 0\) there is a map \(p_t\in L^2(M\times M)\) such that
for all \(f\in L^2(M)\) and \(x\in M\). Moreover, we have the following \(L^2\)-convergent expansion:
It is natural to enquire as to whether similar results hold in the pure jump case when \(a=0\) (perhaps under some further condition on \(\nu \))? When M is a compact symmetric space, we can find an orthonormal basis of eigenfunctions that are common to the \(L^{2}\)–semigroups associated with all isotropic Lévy processes (see the results in section 5 of [6]) . The key tool here, which enables a precise description of the spectrum of eigenvalues, is Gangolli’s Lévy–Khinchine formula [11]. In the general case, as considered here, such methods are not available, and we are unable to make further progress at the present time.
References
Applebaum, D.: Compound Poisson processes and Lévy processes in groups and symmetric spaces. J. Theor. Probab. 13, 383–425 (2000)
Applebaum, D.: Lévy Processes and Stochastic Calculus. Cambridge University Press, Cambridge (2009)
Applebaum, D.: Probability on Compact Lie Groups. Springer, Berlin (2014)
Applebaum, D., Estrade, A.: Isotropic Lévy processes on Riemannian manifolds. Ann. Probab. 28(1), 166–184 (2000)
Applebaum, D., Kunita, H.: Invariant measures for Lévy flows of diffeomorphisms. Proc. R. Soc. Edinb. 30A, 925–946 (2000)
Applebaum, D., Le Ngan, T.: Transition densities and traces for invariant Feller processes on compact symmetric spaces. Potential Anal. 49, 475–501 (2018)
Bernau, S.J.: The square root of a positive self-adjoint operator. J. Aust. Math. Soc. 8(1), 17–36 (1968)
Davies, E.B.: One-Parameter Semigroups. Academic Press, London (1980)
Davies, E.B.: Linear Operators and Their Spectra. Cambridge University Press, Cambridge (2007)
Elworthy, K.D.: Geometric Aspects of Diffusions on Manifolds. Springer, Berlin (1988)
Gangolli, R.: Isotropic infinitely divisible measures on symmetric spaces. Acta Math. 111, 213–46 (1964)
Gangolli, R.: Sample functions of certain differential processes on symmetric spaces. Pac. J. Math. 15, 477–96 (1965)
Goldstein, J.: Semigroups of Linear Operators and Applications, 2nd edn. Dover Publications, New York (2017)
Grigor’yan, A.: Heat Kernel and Analysis on Manifolds. American Mathematical Society, Providence (2009)
Hsu, E.P.: Stochastic Analysis on Manifolds. American Mathematical Society, Providence (2002)
Jacob, N.: Pseudo Differential Operators and Markov Processes, vol. I. Imperial College Press, London (2001)
Lablée, O.: Spectral Theory in Riemannian Geometry. European Mathematical Society, Zürich (2015)
Liao, M.: Lévy Processes in Lie Groups. Cambridge University Press, Cambridge (2004)
Liao, M.: Invariant Markov Processes Under Lie Group Actions. Springer, Berlin (2018)
Mohari, A.: Ergodicity of homogeneous Brownian flows. Stoch. Process. Appl. 105, 99–116 (2003)
Mohari, A.: Ergodicity of Lévy flows. Stoch. Process. Appl. 112, 245–259 (2004)
Peszat, S., Zabczyk, J.: Stochastic Partial Differential Equations with Lévy Noise, Volume 113 of Encyclopedia of Mathematics and its Applications. Cambridge University Press, Cambridge (2007)
Reed, M., Simon, B.: Methods of Modern Mathematical Physics: Fourier Analysis, Self-Adjointness, vol. II. Academic Press, London (1975)
Simon, B.: Operator Theory, A Comprehensive Course in Analysis, Part 4. American Mathematical Society, Providence (2015)
Acknowledgements
We thank the referee for very helpful comments on an earlier version of this paper.
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
Applebaum, D., Brockway, R.S. \(L^2\) Properties of Lévy Generators on Compact Riemannian Manifolds. J Theor Probab 34, 1029–1042 (2021). https://doi.org/10.1007/s10959-019-00980-3
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10959-019-00980-3
Keywords
- Riemannian manifold
- Frame bundle
- Connection
- Horizontal vector field
- Lévy process
- Lévy measure
- Feller semigroup
- Generator
- Sobolev space
- Transition density