Abstract
In this text we study a generalized conservation property for the heat semigroup generated by a Schrödinger operator with nonnegative potential on a weighted manifold. We establish Khasminskii’s criterion for the generalized conservation property and discuss several applications.
Similar content being viewed by others
References
Azencott, R.: Behavior of diffusion semi-groups at infinity. Bull. Soc. Math. France 102, 193–240 (1974)
Chen, Z.-Q., Kim, P., Kumagai, T.: Discrete approximation of symmetric jump processes on metric measure spaces. Probab. Theory Relat. Fields 155(3–4), 703–749 (2013)
Davies, E.B.: Heat kernel bounds, conservation of probability and the Feller property. J. Anal. Math. 58, 99–119 (1992). Festschrift on the occasion of the 70th birthday of Shmuel Agmon
Evans, L.C.: Partial differential equations. In: Graduate Studies in Mathematics, vol. 19. American Mathematical Society, Providence, RI (1998)
Folz, M.: Volume growth and stochastic completeness of graphs. Trans. Am. Math. Soc. 366(4), 2089–2119 (2014)
Fukushima, M., Oshima, Y., Takeda, M.: Dirichlet forms and symmetric Markov processes. In: de Gruyter Studies in Mathematics, vol. 19, extended edition. Walter de Gruyter & Co., Berlin (2011)
Gaffney, M.P.: The conservation property of the heat equation on Riemannian manifolds. Comm. Pure Appl. Math. 12, 1–11 (1959)
Grigor’ yan, A.: Stochastically complete manifolds. Dokl. Akad. Nauk SSSR 290(3), 534–537 (1986)
Grigor’yan, Alexander: Analytic and geometric background of recurrence and non-explosion of the Brownian motion on Riemannian manifolds. Bull. Am. Math. Soc. (N.S.) 36(2), 135–249 (1999)
Grigor’yan, A.: Heat kernel and analysis on manifolds. In: AMS/IP Studies in Advanced Mathematics, vol. 47. American Mathematical Society, Providence, RI; International Press, Boston, MA (2009)
Grigor’yan, A., Masamune, J.: Parabolicity and stochastic completeness of manifolds in terms of the Green formula. J. Math. Pures Appl. (9) 100(5), 607–632 (2013)
Güneysu, B.: Covariant Schrödinger semigroups on Riemannian manifolds volume 264 of operator theory: advances and applications. Birkhäuser/Springer, Cham (2017)
Güneysu, Batu: Heat kernels in the context of Kato potentials on arbitrary manifolds. Potential Anal. 46(1), 119–134 (2017)
Haeseler, S., Keller, M., Lenz, D., Masamune, J., Schmidt, M.: Global properties of Dirichlet forms in terms of Green’s formula. Calc. Var. Partial Differ. Equ. 56(2), 124 (2017). https://doi.org/10.1007/s00526-017-1216-7
Has’minskiĭ, R.Z.: Ergodic properties of recurrent diffusion processes and stabilization of the solution of the Cauchy problem for parabolic equations. Teor. Verojatnost. i Primenen. 5, 196–214 (1960)
Huang, X.: A note on the volume growth criterion for stochastic completeness of weighted graphs. Potential Anal. 40(2), 117–142 (2014)
Huang, X., Keller, M., Schmidt, M.: On the uniqueness class, stochastic completeness and volume growth for graphs. Preprint, arXiv:1812.05386
Kajino, N.: Equivalence of recurrence and Liouville property for symmetric Dirichlet forms. Mat. Fiz. \(\text{Komp}^{\prime }\) yut. Model. 3(40):89–98, (2017)
Keller, M., Lenz, D.: Unbounded Laplacians on graphs: basic spectral properties and the heat equation. Math. Model. Nat. Phenom. 5(4), 198–224 (2010)
Keller, M., Lenz, D.: Dirichlet forms and stochastic completeness of graphs and subgraphs. J. Reine Angew. Math. 666, 189–223 (2012)
Keller, M., Lenz, D., Wojciechowski, R.K.: Volume growth, spectrum and stochastic completeness of infinite graphs. Math. Z. 274(3–4), 905–932 (2013)
Kuwae, Kazuhiro: Reflected Dirichlet forms and the uniqueness of Silverstein’s extension. Potential Anal. 16(3), 221–247 (2002)
Lenz, D., Schmidt, M., Wirth, M.: Uniqueness of form extensions and domination of semigroups. Preprint. arXiv:1608.06798
Ma, Z.M., Röckner, M.: Introduction to the theory of (nonsymmetric) Dirichlet forms. Universitext. Springer, Berlin (1992)
Schmidt, M.: A note on reflected dirichlet forms. Potential Anal. (2018). https://doi.org/10.1007/s11118-018-9745-z
Schmidt, M.: Energy forms. PhD thesis, arXiv:1703.04883, Friedrich-Schiller-Universität Jena (2017)
Stollmann, P., Voigt, J.: Perturbation of Dirichlet forms by measures. Potential Anal. 5(2), 109–138 (1996)
Sturm, K.-T.: Analysis on local Dirichlet spaces. I. Recurrence, conservativeness and \(L^p\)-Liouville properties. J. Reine Angew. Math. 456, 173–196 (1994)
Takeda, M.: On a martingale method for symmetric diffusion processes and its applications. Osaka J. Math. 26(3), 605–623 (1989)
Yau, S.T.: On the heat kernel of a complete Riemannian manifold. J. Math. Pures Appl. (9) 57(2), 191–201 (1978)
Acknowledgements
The authors would like to thank Matthias Keller and Daniel Lenz for introducing them to the generalized conservation property on discrete spaces. Moreover, they are grateful to Masatoshi Fukushima for interesting discussions on the stochastic background of the generalized conservation property. A substantial part of this work was done while M.S. was visiting GSIS at Tohoku University Sendai and the Department of Mathematics at Hokkaido University Sapporo and while J.M. was visiting Fakultät für Mathematik und Informatik at Friedrich-Schiller-Universität Jena. They expresses their warmest thanks to these institutions. Furthermore, they acknowledge the financial support of JSPS “Program for Advancing Strategic International Networks to Accelerate the Circulation of Talented Researchers”, and J.M. acknowledges the financial support of JSPS No.16KT0129.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Y. Giga.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendices
Appendix A. Local regularity theory
In this appendix we collect local regularity results for the operator \(\mathcal {L}_{\rho ,V}\). They are consequences of the well-known local elliptic and local parabolic regularity theory in Euclidean spaces. In order to obtain versions on weighted manifolds, one just needs to localize the operators accordingly. For the case when \(V = 0\) and \(\rho = 1\), this can be found e.g. in [10, Chapters 6 and 7]. Since we assume \(V \ge 0\), the proofs given there can be carried trough verbatim in our situation (otherwise some slight modifications would be needed). In other words, for the reader who is well-acquainted with local regularity theory the following lemmas are simple exercises, while other readers may find the proofs in [10].
The following Sobolev embedding theorem is a version of [10, Theorem 7.1].
Lemma A.1
Let \(f \in L^2_{\mathrm{loc}}(M)\). If for each \(m \ge 0\) we have \((\mathcal {L}_{\rho ,V})^m f \in L^2_{\mathrm{loc}}(M)\), then \(f \in C^\infty (M)\). Moreover, if \((f_n)\) is a sequence in \(L^2_{\mathrm{loc}}(M)\) such that for each \(m \ge 0\) also \((\mathcal {L}_{\rho ,V})^m f_n \in L^2_{\mathrm{loc}}(M)\) and \((\mathcal {L}_{\rho ,V})^m f_n \rightarrow (\mathcal {L}_{\rho ,V})^m f\) in \(L^2_{\mathrm{loc}}(M)\), then \(f_n \rightarrow f\) locally uniformly.
The following hypoellipticity statement is a version of [10, Theorem 7.4].
Lemma A.2
Let \(f \in C^\infty (M)\) and let \(u \in \mathcal {D}'((0,T) \times M)\) satisfy
Then \(u \in C^\infty ((0,T) \times M)\).
Appendix B. Convergence of semigroups
Let \(\Omega \subseteq M\) an open subset. We let \((T_t^\Omega )\) denote the \(L^2(\Omega ,\rho \mu )\) semigroup of the Dirichlet form
with domain \(D(Q^\Omega _{\rho ,V}) = W_0^1(\Omega ,\rho + V)\). We extend it to \(f \in L^2(M,\rho \mu )\) by letting
Similarly, we denote by \((G_\alpha ^\Omega )\) the resolvent of \(Q^\Omega _{\rho ,V}\) extended by 0 outside of \(\Omega \).
Lemma B.1
Let \((\Omega _n)\) an ascending sequence of open subsets of M with \(\bigcup _n \Omega _n = M\). Then, for every \(t > 0\) and \(\alpha >0\) we have \(T_t^{\Omega _n} \rightarrow T^{\rho ,V}_t\) and \(G_\alpha ^{\Omega _n} \rightarrow G^{\rho ,V}_\alpha \) strongly in \(L^2(M)\), as \(n \rightarrow \infty \).
Proof
We prove that \(Q_{\rho ,V}^{\Omega _n}\) converges to \(Q_{\rho ,V}\) in the generalized Mosco sense, see. [2, 8 Appendix] for a definition. The desired statement then follows from [2, Theorem 8.3].
We denote by \(\pi _n:L^2(M,\rho \mu ) \rightarrow L^2(\Omega _n,\rho \mu )\) the restriction \(f \mapsto f|_{\Omega _n}\). Its adjoint \(E_n := \pi _n^*\) extends a function in \(L^2(\Omega _n,\rho \mu )\) to M by letting it equal to 0 outside of \(\Omega _n\). For verifying generalized Moso convergence, we need to prove the following statements.
-
(a)
For \(f_n \in L^2(\Omega _n,\rho \mu )\), \(f \in L^2(M,\rho \mu )\) with \(E_n f_n \rightarrow f\) weakly in \(L^2(M,\rho \mu )\) the inequality
$$\begin{aligned} Q_{\rho ,V}(f) \le \liminf _{n \rightarrow \infty }Q^{\Omega _n}_{\rho ,V}(f_n) \end{aligned}$$holds [with the convention \(Q_{\rho ,V}(g) = \infty \) if \(f \not \in D(Q_{\rho ,V})\)].
-
(b)
For every \(f \in D(Q_{\rho ,V})\) there exist \(f_n \in D(Q_{\rho ,V}^{\Omega _n})\) with \(E_n f_n \rightarrow f\) strongly in \(L^2(M,\rho \mu )\) and
$$\begin{aligned} \limsup _{n\rightarrow \infty } Q_{\rho ,V}^{\Omega _n}(f_n) \le Q_{\rho ,V}(f). \end{aligned}$$
The closedness of \(Q_{\rho ,V}\) implies that it is lower semicontinuous with respect to weak convergence. Hence, \(E_n f_n \rightarrow f\) weakly in \(L^2(M,\rho \mu )\) yields
It follows from the definition of \(Q_{\rho ,V}^{\Omega _n}\) that \(Q_{\rho ,V}(E_n f_n) = Q^{\Omega _n}_{\rho ,V}(f_n)\). This proves (a).
For proving (b) we use that \(C_c^\infty (M)\) is dense in \(D(Q_{\rho ,V})\) with respect to the form norm. For given \(f \in D(Q_{\rho ,V})\) let \((f_n)\) a sequence in \(C_c^\infty (M)\) that converges to f with respect to \(\Vert \cdot \Vert _{W^1}\). From this sequence we can build up a sequence \((g_n)\) with \({\mathrm{supp}}\, g_n \subseteq \Omega _n\) and \(g_n \rightarrow f\) with respect to \(\Vert \cdot \Vert _{W^1}\) as follows. For \(n \in \mathbb {N}\) we define
and set \(g_n := f_{k_n}\). By construction we have \({\mathrm{supp}}\, g_n \subseteq \Omega _n\). The sequence \((k_n)\) is increasing and since the \((f_n)\) have compact support, it diverges. We obtain \(g_n \rightarrow f\) with respect to \(\Vert \cdot \Vert _{W^1}\). These considerations imply \(\pi _n g_n \in D(Q^{\Omega _n}_{\rho ,V})\) and
This finishes the proof. \(\square \)
Appendix C. Two lemmas on measurable choices
The following lemmas are certainly well known to experts. Since we could not find proper references, we include their proofs for the convenience of the reader. Let \(0 < T \le \infty \). By \(\lambda \) we denote the Lebesgue measure on (0, T). Let \(u:(0,T) \rightarrow L^2(M,\mu )\). A measurable function \(\tilde{u} \in L_\mathrm {loc}^1((0,T) \times M,\lambda \otimes \mu )\) such that \(u(t) = \tilde{u}_t\) in \(L^2(M,\mu )\) for \(\lambda \)-a.e. \(t \in (0,T)\) is called a locally integrable version of u. Note that by Fubini’s theorem this is well-defined, i.e., it is independent of the choice of the representative of \(\tilde{u}\).
Recall that in this paper \(\left\langle \cdot ,\cdot \right\rangle _\mu \) denotes the \(L^2(M,\mu )\)-inner product and that \(\left\langle \cdot ,\cdot \right\rangle \) denotes the dual pairing between test functions and distributions.
Lemma C.1
Let \(0 < T \le \infty \) and let \(u:(0,T) \rightarrow L^2(M,\mu )\) continuous. Then there exists a locally integrable version of u.
Proof
Since the Borel-\(\sigma \)-algebra of M is countably generated, \(L^2(M,\mu )\) is separable. Let \((f_k)_{k \ge 1}\) be a countable orthonormal basis for \(L^2(M,\mu )\). Moreover, let \(I_n \subseteq (0,T)\) increasing compact intervals with \(\bigcup _n I_n = (0,T)\). For \(k,n \in \mathbb {N}\) the maps
are clearly measurable. We consider
Parseval’s inequality in \(L^2(M,\mu )\) and the strong continuity of u imply
uniformly. Hence, for each \(n \in \mathbb {N}\) the limit \(u_n := \lim _{l\rightarrow \infty } u_{n,l}\) exists in \(L^2((0,T) \times M,\lambda \otimes \mu )\). For \(n \ge m\) the functions \(u_n\) and \(u_m\) only differ on \(I_n {\setminus } I_m\); indeed we have \(u_m = u_n 1_{I_m \times M}\). Hence, the limit \(\tilde{u} = \lim _{n\rightarrow \infty } u_{n}\) exists in \(L^1_{\mathrm{loc}}((0,T) \times M,\lambda \otimes \mu )\) and satisfies \(\tilde{u}1_{I_n \times M} = u_n\). Parseval’s identity and the properties of \(\tilde{u}\) yield
The strong continuity of u yields
Hence, Lebesgue’s theorem yields
and the assertion \(\tilde{u}_t = u(t)\) in \(L^2(M,\mu )\) for \(\lambda \)-a.e. \(t \in (0,T)\) is proven. \(\square \)
We say that \(u:(0,T) \rightarrow L^2(M,\mu )\) is continuously differentiable if for all \(0< s < T\) the limit
exists in \(L^2(M,\mu )\) and \(u':(0,T) \rightarrow L^2(M,\mu )\) is continuous. In the following lemma \(\partial _t\) denotes the distributional time derivative on \(\mathcal {D}'((0,\infty ) \times M)\).
Lemma C.2
Let \(0 < T \le \infty \) and let \(u:(0,T) \rightarrow L^2(M,\mu )\) be continuously differentiable. Then there exists a locally integrable version \(\tilde{u}\) of u such that \(\partial _t \tilde{u} \in L^1_\mathrm {loc}((0,T) \times M,\lambda \otimes \mu )\) is a locally integrable version of \(u'\).
Proof
According to the previous lemma u and \(u'\) have locally integrable versions \(\tilde{u}\) and v, respectively. Hence, it suffices to prove \(v = \partial _t \tilde{u}\). For \(\varphi \in \mathcal {D}((0,\infty )\times M)\) we compute
For the second to last equality we used that \(\tilde{u}\) is a locally integrable version of u. Moreover, for the last equality we used a standard result for differentiating under the integral sign using that u is continuously differentiable and \(\varphi \) has compact support in \((0,T) \times M\). Since v is a locally integrable version of \(u'\), we further obtain
This proves \(\partial _t \tilde{u} = v\), as by definition \(\left\langle \partial _t \tilde{u}, \varphi \right\rangle = - \left\langle \tilde{u},\partial _t \varphi \right\rangle \). \(\square \)
Rights and permissions
About this article
Cite this article
Masamune, J., Schmidt, M. A generalized conservation property for the heat semigroup on weighted manifolds. Math. Ann. 377, 1673–1710 (2020). https://doi.org/10.1007/s00208-019-01888-3
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00208-019-01888-3