Abstract
We study Riemannian manifolds with boundary under a lower N-weighted Ricci curvature bound for N at most 1, and under a lower weighted mean curvature bound for the boundary. We examine rigidity phenomena in such manifolds with boundary. We conclude a volume growth rigidity theorem for the metric neighborhoods of the boundaries, and various splitting theorems. We also obtain rigidity theorems for the smallest Dirichlet eigenvalues for the weighted p-Laplacians.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In this paper, we study Riemannian manifolds with boundary under a lower weighted Ricci curvature bound, and under a lower weighted mean curvature bound for the boundary. We develop the preceding studies of the author [33]. As explained below, we examine rigidity phenomena in such manifolds with boundary beyond the usual weighted setting.
For \(n\ge 2\), let M be an n-dimensional Riemannian manifold with or without boundary with Riemannian metric g, and let \(f:M\rightarrow \mathbb {R}\) be a smooth function. We denote by \({\text {Ric}}_{g}\) the Ricci curvature defined by g, by \(\nabla f\) the gradient of f, and by \({\text {Hess}}f\) the Hessian of f. For \(N\in (-\infty ,\infty ]\), the N-weighted Ricci curvature\({\text {Ric}}^{N}_{f}\) is defined as
if \(N \in (-\infty ,\infty )\setminus \{n\}\); otherwise, if \(N=\infty \), then \({\text {Ric}}^{N}_{f}:={\text {Ric}}_{g}+{\text {Hess}}f\); if \(N=n\), and if f is a constant function, then \({\text {Ric}}^{N}_{f}:={\text {Ric}}_{g}\); if \(N=n\), and if f is not constant, then \({\text {Ric}}^{N}_{f}:=-\infty \) [2]. We notice that the parameter N has been usually chosen from \([n,\infty ]\).
On manifolds without boundary under a lower N-weighted Ricci curvature bound, many results have been already known in the usual weighted case of \(N \in [n,\infty ]\) (see, e.g., [20,21,22, 30, 34, 35, 38]). Recently, in the complemental weighted case of \(N \in (-\infty ,n)\), several geometric properties have begun to be studied (see [16, 17, 23, 25,26,27, 40]). Wylie [39] has obtained a splitting theorem of Cheeger–Gromoll type (cf. [8]) in the complementary weighted case of \(N \in (-\infty ,1]\), and asked a question whether the splitting theorem can be extended to the remaining case of \(N \in (1,n)\).
For manifolds with boundary under a lower N-weighted Ricci curvature bound, and under a lower weighted mean curvature bound for the boundary, the author [33] has studied rigidity phenomena in the usual weighted case of \(N \in [n,\infty ]\). In the present paper, we produce rigidity theorems in the complementary weighted case of \(N \in (-\infty ,1]\). Our rigidity theorems in the case of \(N \in (-\infty ,1]\) give natural extensions of the corresponding results in [33].
To prove our rigidity theorems, we develop comparison theorems. We prove Laplacian comparison theorems for the distance function from the boundary, and volume comparison theorems for metric neighborhoods of the boundary. The author [33] has shown such comparison theorems in the usual weighted case of \(N \in [n,\infty ]\). For manifolds with boundary of non-negative N-weighted Ricci curvature, and of non-negative weighted mean curvature for the boundary, Wylie [39] has shown a Laplacian comparison inequality for the distance function from a connected component of the boundary in the weighted case of \(N \in (-\infty ,1]\). To conclude our comparison theorems, we need slightly more complicated calculations than that done by the author [33], and by Wylie [39]. Under an assumption concerning a subharmonicity of the distance function from the boundary, we derive our rigidity theorems from studies of the equality cases in our comparison theorems.
1.1 Setting
We summarize our setting as follows: For \(n\ge 2\), let M be an n-dimensional, connected complete Riemannian manifold with boundary with Riemannian metric g. The boundary \(\partial M\) is assumed to be smooth. We denote by \(d_{M}\) the Riemannian distance on M induced from the length structure determined by g. Let \(f:M\rightarrow \mathbb {R}\) be a smooth function. For the Riemannian volume measure \({\text {vol}}_{g}\) on M, let
For \(N\in (-\infty ,\infty ]\), we denote by \({\text {Ric}}^{N}_{f}\) the N-weighted Ricci curvature (see (1.1)). We note that for \(N_{1},N_{2} \in (-\infty ,\infty ]\setminus \{n\}\) with \(N_{1} \le N_{2}\), if \(N_{1},N_{2} \in (n,\infty ]\) or \(N_{1},N_{2} \in (-\infty ,n)\), then \({\text {Ric}}^{N_{1}}_{f}\le {\text {Ric}}^{N_{2}}_{f}\); if \(N_{1} \in (-\infty ,n)\) and \(N_{2} \in (n,\infty ]\), then \({\text {Ric}}^{N_{2}}_{f}\le {\text {Ric}}^{N_{1}}_{f}\). We denote by \({\text {Ric}}^{N}_{f,M}\) the infimum of \({\text {Ric}}^{N}_{f}\) on the unit tangent bundle on the interior \(\mathrm {Int}\,M\) of M. For \(x\in \partial M\), we denote by \(u_{x}\) the unit inner normal vector on \(\partial M\) at x. Let \(H_{x}\) denote the mean curvature of \(\partial M\) at x defined as the trace of the shape operator of \(u_{x}\). The f-mean curvature\(H_{f,x}\) at x is defined by
We put \(H_{f,\partial M}:=\inf _{x\in \partial M} H_{f,x}\). Our main subject is a weighted Riemannian manifold \((M,d_{M},m_{f})\) with boundary such that for \(\kappa ,\lambda \in \mathbb {R}\) and for \(N \in (-\infty ,1]\) we have \({\text {Ric}}^{N}_{f,M}\ge \kappa \) and \(H_{f,\partial M}\ge \lambda \).
1.2 Volume Growth Rigidity
Let \(\rho _{\partial M}:M\rightarrow \mathbb {R}\) be the distance function from \(\partial M\) defined as \(\rho _{\partial M}(p):=d_{M}(p,\partial M)\). For \(r\in (0,\infty )\), we put \(B_{r}(\partial M):=\{\,p\in M \mid \rho _{\partial M}(p) \le r\,\}\). For \(x\in \partial M\), let \(\gamma _{x}:[0,T)\rightarrow M\) be the geodesic with initial conditions \(\gamma _{x}(0)=x\) and \(\gamma _{x}'(0)=u_{x}\). We define a function \(\tau :\partial M\rightarrow \mathbb {R} \cup \{\infty \}\) by
We define a function \(F_{x}:[0,\tau (x)]\setminus \{\infty \} \rightarrow (0,\infty )\) by
Notice that if f is constant, then \(F_{x}\) is equal to 1. For \(\kappa ,\lambda \in \mathbb {R}\), we say that \(\kappa \) and \(\lambda \) satisfy the subharmonic condition if
We remark that if \(\kappa \) and \(\lambda \) satisfy the subharmonic condition, then subharmonicity of \(\rho _{\partial M}\) is derived from \({\text {Ric}}^{N}_{f,M} \ge \kappa \) and \(H_{f,\partial M} \ge \lambda \) in the case of \(N \in (-\infty ,1]\) (see Lemma 3.1). Note that if \(\kappa ,\lambda \in [0,\infty )\), then they satisfy the subharmonic condition. We denote by h the induced Riemannian metric on \(\partial M\). For the Riemannian volume measure \({\text {vol}}_{h}\) on \(\partial M\) induced from h, we put \(m_{f,\partial M}:=e^{-f|_{\partial M}}\, {\text {vol}}_{h}\).
For an interval I, and for a Riemannian manifold \(M_{0}\) with Riemannian metric \(g_{0}\), let \(\Phi :I \times M_{0} \rightarrow \mathbb {R}\) be a positive smooth function. For each \(x \in M_{0}\), let \(\Phi _{x}:I \rightarrow \mathbb {R}\) be the function defined as \(\Phi _{x}(t):=\Phi (t,x)\). We say that a Riemannian manifold \((I \times M_{0},dt^{2}+\Phi ^{2}_{x}(t)\,g_{0})\) is a twisted product space. When \(\tau \) is infinity on \(\partial M\), we define \([0,\infty )\times _{F}\partial M\) as the twisted product space \(([0,\infty )\times \partial M,dt^{2}+F^{2}_{x}(t)\,h)\).
For the metric neighborhoods of the boundaries, we prove an absolute volume comparison theorem of Heintze–Karcher type, and a relative volume comparison theorem of Bishop–Gromov type (see Sects. 4.1 and 4.2). We obtain rigidity results concerning the equality cases in those comparison theorems (see Sect. 4.3).
We conclude the following volume growth rigidity theorem:
Theorem 1.1
Let M be a connected complete Riemannian manifold with boundary, and let \(f:M\rightarrow \mathbb {R}\) be a smooth function. Suppose that \(\partial M\) is compact. Let \(\kappa \in \mathbb {R}\) and \(\lambda \in \mathbb {R}\) satisfy the subharmonic condition. For \(N \in (-\infty ,1]\) we suppose \({\text {Ric}}^{N}_{f,M} \ge \kappa \), and \(H_{f,\partial M} \ge \lambda \). If we have
then \((M,d_{M})\) is isometric to \(([0,\infty ) \times _{F} \partial M,d_{[0,\infty ) \times _{F} \partial M})\). Moreover, if \(N\in (-\infty ,1)\), then for every \(x\in \partial M\) the function \(f\circ \gamma _{x}\) is constant on \([0,\infty )\); in particular, \((M,d_{M})\) is isometric to \(([0,\infty ) \times \partial M,d_{[0,\infty ) \times \partial M})\).
When \(\kappa =0\) and \(\lambda =0\), Theorem 1.1 has been proved in the unweighted case in [32], and in the usual weighted case in [33].
Remark 1.1
We do not know whether Theorem 1.1 can be extended to the weighted case of \(N \in (1,n)\).
Remark 1.2
Under the same setting as in Theorem 1.1, we always have the following inequality (see Lemma 4.1):
Theorem 1.1 is concerned with rigidity phenomena.
We have the following corollary of Theorem 1.1:
Corollary 1.2
Under the same setting as in Theorem 1.1, if \(N=1\) and \(\kappa =0\), and if we have (1.6), then there exist a function \(f_{0}:[0,\infty )\rightarrow \mathbb {R}\) and a Riemannian metric \(h_{0}\) on \(\partial M\) such that M is isometric to a warped product space \(([0,\infty )\times \partial M,dt^{2}+e^{2\frac{f_{0}(t)}{n-1}}h_{0})\).
1.3 Splitting Theorems
In our setting, we show Laplacian comparison theorems for \(\rho _{\partial M}\), and study the equality cases (see Sect. 3).
By using a Laplacian comparison theorem for \(\rho _{\partial M}\), and that for Busemann functions, we prove the following splitting theorem:
Theorem 1.3
Let M be a connected complete Riemannian manifold with boundary, and let \(f:M\rightarrow \mathbb {R}\) be a smooth function such that \(\sup f(M)<\infty \). For \(N \in (-\infty ,1]\) we suppose \({\text {Ric}}^{N}_{f,M} \ge 0\), and \(H_{f,\partial M} \ge 0\). If for some \(x_{0}\in \partial M\) we have \(\tau (x_{0})=\infty \), then \((M,d_{M})\) is isometric to \(([0,\infty ) \times _{F} \partial M,d_{[0,\infty ) \times _{F} \partial M})\). Moreover, if \(N\in (-\infty ,1)\), then for every \(x\in \partial M\) the function \(f \circ \gamma _{x}\) is constant on \([0,\infty )\); in particular, \((M,d_{M})\) is isometric to \(([0,\infty ) \times \partial M,d_{[0,\infty ) \times \partial M})\).
In the unweighted case, Kasue [13] has proved Theorem 1.3 under the compactness assumption for the boundary (see also the work of Croke and Kleiner [9]). Theorem 1.3 itself has been proved in the unweighted case in [32], and in the usual weighted case in [33].
Remark 1.3
We do not know whether Theorem 1.3 can be extended to the weighted case of \(N \in (1,n)\).
As a corollary of Theorem 1.3, we see the following:
Corollary 1.4
Under the same setting as in Theorem 1.3, if \(N=1\), and if for some \(x_{0}\in \partial M\) we have \(\tau (x_{0})=\infty \), then there exist a function \(f_{0}:[0,\infty )\rightarrow \mathbb {R}\) and a Riemannian metric \(h_{0}\) on \(\partial M\) such that M is isometric to \(([0,\infty )\times \partial M,dt^{2}+e^{2\frac{f_{0}(t)}{n-1}}h_{0})\).
In Theorem 1.3, by applying the Wylie splitting theorem in [39] to the boundary, we obtain a multi-splitting theorem (see Sect. 5.3). We also generalize a splitting theorem studied in [13] (and [9, 12]) for the case where boundaries are disconnected (see Sect. 5.4).
1.4 Eigenvalue Rigidity
For \(p\in [1,\infty )\), the (1, p)-Sobolev space\(W^{1,p}_{0}(M,m_{f})\)on\((M,m_{f})\)with compact support is defined as the completion of the set of all smooth functions on M whose support is compact and contained in \(\mathrm {Int}\,M\) with respect to the standard (1, p)-Sobolev norm. We denote by \(\Vert \cdot \Vert \) the standard norm induced from g, and by \({\text {div}}\) the divergence with respect to g. For \(p\in [1,\infty )\), the (f, p)-Laplacian\(\Delta _{f,p}\, \varphi \) for \(\varphi \in W^{1,p}_{0}(M,m_{f})\) is defined by
as a distribution on \(W^{1,p}_{0}(M,m_{f})\). A real number \(\mu \) is said to be an (f, p)-Dirichlet eigenvalue for \(\Delta _{f,p}\) on M if there exists \(\varphi \in W^{1,p}_{0}(M,m_{f})\setminus \{0\}\) such that \(\Delta _{f,p} \varphi =\mu \vert \varphi \vert ^{p-2}\,\varphi \) holds on \(\mathrm {Int}\,M\) in a distribution sense on \(W^{1,p}_{0}(M,m_{f})\). For \(p\in [1,\infty )\), the Rayleigh quotient\(R_{f,p}(\varphi )\) for \(\varphi \in W^{1,p}_{0}(M,m_{f})\setminus \{0\}\) is defined as
We put \(\mu _{f,1,p}(M):=\inf _{\varphi } R_{f,p}(\varphi )\), where the infimum is taken over all non-zero functions in \(W^{1,p}_{0}(M,m_{f})\). The value \(\mu _{f,1,2}(M)\) is equal to the infimum of the spectrum of \(\Delta _{f,2}\) on \((M,m_{f})\). If M is compact, and if \(p\in (1,\infty )\), then \(\mu _{f,1,p}(M)\) is equal to the infimum of the set of all (f, p)-Dirichlet eigenvalues on M.
Let \(p\in (1,\infty )\). For \(D\in (0,\infty )\), let \(\mu _{p,D}\) be the positive minimum real number \(\mu \) such that there exists a function \(\varphi :[0,D]\rightarrow \mathbb {R}\) satisfying
In the case where \(p=2\), we see \(\mu _{2,D}= \pi ^{2}(2D)^{-2}\).
For a positive number \(D \in (0,\infty )\), and for a connected component \(\partial M_{1}\) of \(\partial M\), we denote by \([0,D]\times _{F} \partial M_{1}\) the twisted product space \(([0,D]\times \partial M_{1},dt^{2}+F^{2}_{x}(t)\,h)\), where for every \(x\in \partial M_{1}\) the function \(F_{x}:[0,D] \rightarrow (0,\infty )\) is defined as (1.5). The inscribed radius ofM is defined as
Suppose that M is compact. We say that the metric space \((M,d_{M})\) is an F-model space if M is isometric to either (1) for a connected component \(\partial M_{1}\) of \(\partial M\), the twisted product space \([0,2D(M,\partial M)]\times _{F} \partial M_{1}\); or (2) for an involutive isometry \(\sigma \) of \(\partial M\) without fixed points, the quotient space \(([0,2D(M,\partial M)]\times _{F} \partial M)/G_{\sigma }\), where \(G_{\sigma }\) is the isometry group on \([0,2D(M,\partial M)]\times _{F} \partial M\) of the identity and the involute isometry \({\hat{\sigma }}\) defined by \({\hat{\sigma }}(t,x):=(2D(M,\partial M)-t,\sigma (x))\). If \((M,d_{M})\) is an F-model space, and if for every \(x\in \partial M\) the function \(F_{x}\) is equal to 1 on \([0,D(M,\partial M)]\), then we call the F-model space \((M,d_{M})\) an equational model space. The notion of the equational model spaces coincides with that of the (0, 0)-equational model spaces introduced in [33].
We prove the following rigidity theorem for \(\mu _{f,1,p}\):
Theorem 1.5
Let M be a connected complete Riemannian manifold with boundary, and let \(f:M\rightarrow \mathbb {R}\) be a smooth function. Suppose that M is compact. Let \(p\in (1,\infty )\), and let \(\kappa \in \mathbb {R}\) and \(\lambda \in \mathbb {R}\) satisfy the subharmonic condition. For \(N \in (-\infty ,1]\) we suppose \({\text {Ric}}^{N}_{f,M}\ge \kappa \), and \(H_{f,\partial M} \ge \lambda \). For \(D\in (0,\infty )\) we assume \(D(M,\partial M)\le D\). Then
If the equality in (1.9) holds, then \(D(M,\partial M)=D\), and the metric space \((M,d_{M})\) is an F-model space. Moreover, if \(N\in (-\infty ,1)\), then for every \(x\in \partial M\) the function \(f\circ \gamma _{x}\) is constant on [0, D]; in particular, \((M,d_{M})\) is an equational model space.
In the unweighted case, Li and Yau [18] have obtained the estimate (1.9), and Kasue [14] has proved Theorem 1.5 when \(p=2,\kappa =0\), and \(\lambda =0\). In [33], the author has proved Theorem 1.5 in the usual weighted case when \(\kappa =0\) and \(\lambda =0\).
Remark 1.4
We do not know whether Theorem 1.5 can be extended to the weighted case of \(N \in (1,n)\).
Suppose that M is compact. We say that the metric space \((M,d_{M})\) is a warped model space if there exist a function \(f_{0}:[0,2D(M,\partial M)] \rightarrow \mathbb {R}\) and a Riemannian metric \(h_{0}\) on \(\partial M\) such that M is isometric to either (1) for a connected component \(\partial M_{1}\) of \(\partial M\), the warped product space \(([0,2D(M,\partial M)] \times \partial M_{1},dt^{2}+e^{2\frac{f_{0}(t)}{n-1}}h_{0})\); or (2) for an involutive isometry \(\sigma \) of \(\partial M\) without fixed points, the quotient space \(([0,2D(M,\partial M)]\times \partial M,dt^{2}+e^{2\frac{f_{0}(t)}{n-1}}h_{0})/G_{\sigma }\), where \(G_{\sigma }\) is the isometry group on \(([0,2D(M,\partial M)]\times \partial M,dt^{2}+e^{2\frac{f_{0}(t)}{n-1}}h_{0})\) of the identity and the involute isometry \({\hat{\sigma }}\) defined as \({\hat{\sigma }}(t,x):=(2D(M,\partial M)-t,\sigma (x))\).
We obtain the following corollary of Theorem 1.5:
Corollary 1.6
Under the same setting as in Theorem 1.5, if \(N=1\) and \(\kappa =0\), and if the equality in (1.9) holds, then the metric space \((M,d_{M})\) is a warped model space.
1.5 Organization
In Sect. 2, we prepare some notations and recall the basic facts for Riemannian manifolds with boundary. In Sect. 3, we show Laplacian comparison results for \(\rho _{\partial M}\). In Sect. 4, we show volume comparison results, and conclude Theorem 1.1 and Corollary 1.2. In Sect. 5, we prove Theorem 1.3 and Corollary 1.4, and discuss its variants. In Sect. 6, we prove Theorem 1.5 and Corollary 1.6. We also obtain an explicit lower bound for \(\mu _{f,1,p}\) (see Sect. 6.3).
2 Preliminaries
We refer to [31] for the basics of Riemannian manifolds with boundary (cf. Sect. 2 in [32], and in [33]).
2.1 Riemannian Manifolds with Boundary
For \(n\ge 2\), let M be an n-dimensional, connected Riemannian manifold with (smooth) boundary with Riemannian metric g. For a point \(p\in \mathrm {Int}\,M\), let \(T_{p}M\) be the tangent space at p on M, and let \(U_{p}M\) be the unit tangent sphere at p on M. We denote by \(\Vert \cdot \Vert \) the standard norm induced from g. If \(v_{1},\dots ,v_{k}\in T_{p}M\) are linearly independent, then it holds that \(\Vert v_{1}\wedge \cdots \wedge v_{k} \Vert =\sqrt{\det (g(v_{i},v_{j}))}\).
Let \(d_{M}\) be the Riemannian distance on M induced from the length structure determined by g. For an interval I, we say that a curve \(\gamma :I\rightarrow M\) is a normal minimal geodesic if for all \(s,t\in I\) we have \(d_{M}(\gamma (s),\gamma (t))=\vert s-t\vert \), and \(\gamma \) is a normal geodesic if for each \(t\in I\) there exists an interval \(J\subset I\) with \(t\in J\) such that \(\gamma |_{J}\) is a normal minimal geodesic. If M is complete with respect to \(d_{M}\), then the Hopf–Rinow theorem for length spaces (see, e.g., Theorem 2.5.23 in [5]) tells us that the metric space \((M,d_{M})\) is a proper, geodesic space, namely all closed bounded subsets of M are compact, and for every pair of points in M there exists a normal minimal geodesic connecting them.
For \(i=1,2\), let \(M_{i}\) be connected Riemannian manifolds with boundary with Riemannian metric \(g_{i}\). For each i, the boundary \(\partial M_{i}\) carries the induced Riemannian metric \(h_{i}\). We say that a homeomorphism \(\Phi :M_{1}\rightarrow M_{2}\) is a Riemannian isometry with boundary from \(M_{1}\) to \(M_{2}\) if \(\Phi \) satisfies the following conditions:
-
(1)
\(\Phi |_{\mathrm {Int}\,M_{1}}:\mathrm {Int}\,M_{1} \rightarrow \mathrm {Int}\,M_{2}\) is smooth, and \((\Phi |_{\mathrm {Int}\,M_{1}})^{*} (g_{2})=g_{1}\);
-
(2)
\(\Phi |_{\partial M_{1}}:\partial M_{1} \rightarrow \partial M_{2}\) is smooth, and \((\Phi |_{\partial M_{1}})^{*} (h_{2})=h_{1}\).
If \(\Phi :M_{1}\rightarrow M_{2}\) is a Riemannian isometry with boundary, then the inverse \(\Phi ^{-1}\) is also a Riemannian isometry with boundary. Notice that there exists a Riemannian isometry with boundary from \(M_{1}\) to \(M_{2}\) if and only if the metric space \((M_{1},d_{M_{1}})\) is isometric to \((M_{2},d_{M_{2}})\) (see, e.g., Sect. 2 in [32]).
2.2 Jacobi Fields Orthogonal to the Boundary
Let M be a connected Riemannian manifold with boundary with Riemannian metric g. For a point \(x\in \partial M\), and for the tangent space \(T_{x}\partial M\) at x on \(\partial M\), let \(T_{x}^{\perp } \partial M\) be the orthogonal complement of \(T_{x}\partial M\) in the tangent space at x on M. Take \(u\in T_{x}^{\perp }\partial M\). For the second fundamental form S of \(\partial M\), let \(A_{u}:T_{x}\partial M\rightarrow T_{x}\partial M\) be the shape operator for u defined as
We denote by \(u_{x}\) the unit inner normal vector at x. The mean curvature\(H_{x}\) at x is defined as \(H_{x}:={\text {trace}}A_{u_{x}}\). We denote by \(\gamma _{x}:[0,T)\rightarrow M\) the normal geodesic with initial conditions \(\gamma _{x}(0)=x\) and \(\gamma _{x}'(0)=u_{x}\). We say that a Jacobi field Y along \(\gamma _{x}\) is a \(\partial M\)-Jacobi field if Y satisfies the following initial conditions:
We say that \(\gamma _{x}(t_{0})\) is a conjugate point of \(\partial M\) along \(\gamma _{x}\) if there exists a non-zero \(\partial M\)-Jacobi field Y along \(\gamma _{x}\) with \(Y(t_{0})=0\). We denote by \(\tau _{1}(x)\) the first conjugate value for \(\partial M\) along \(\gamma _{x}\). It is well known that for all \(x\in \partial M\) and \(t>\tau _{1}(x)\), we have \(t>\rho _{\partial M}(\gamma _{x}(t))\).
For the normal tangent bundle \(T^{\perp }\partial M:=\bigcup _{x\in \partial M} T_{x}^{\perp }\partial M\) of \(\partial M\), let \(0(T^{\perp }\partial M)\) be the zero-section \(\bigcup _{x\in \partial M} \{\,0_{x}\in T_{x}^{\perp }\partial M\, \}\) of \(T^{\perp }\partial M\). On an open neighborhood of \(0(T^{\perp }\partial M)\) in \(T^{\perp }\partial M\), the normal exponential map \(\exp ^{\perp }\) of \(\partial M\) is defined as \(\exp ^{\perp }(x,u):=\gamma _{x}(\Vert u\Vert )\) for \(x\in \partial M\) and \(u\in T_{x}^{\perp }\partial M\).
For \(x\in \partial M\) and \(t\in [0,\tau _{1}(x))\), we denote by \(\theta (t,x)\) the absolute value of the Jacobian of \(\exp ^{\perp }\) at \((x,tu_{x})\in T^{\perp }\partial M\). For each \(x\in \partial M\), we choose an orthonormal basis \(\{e_{x,i}\}_{i=1}^{n-1}\) of \(T_{x}\partial M\). For each i, let \(Y_{x,i}\) be the \(\partial M\)-Jacobi field along \(\gamma _{x}\) with initial conditions \(Y_{x,i}(0)=e_{x,i}\) and \(Y'_{x,i}(0)=-A_{u_{x}}e_{x,i}\). Note that for all \(x\in \partial M\) and \(t\in [0,\tau _{1}(x))\), we have \(\theta (t,x)=\Vert Y_{x,1}(t)\wedge \cdots \wedge Y_{x,n-1}(t)\Vert \). This does not depend on the choice of the orthonormal bases.
2.3 Cut Locus for the Boundary
We recall the basic properties of the cut locus for the boundary. The basic properties seem to be well known. We refer to [32] for the proofs.
Let M be a connected complete Riemannian manifold with boundary with Riemannian metric g. For \(p\in M\), we call \(x\in \partial M\) a foot point on \(\partial M\) of p if \(d_{M}(p,x)=\rho _{\partial M}(p)\). Since \((M,d_{M})\) is proper, every point in M has at least one foot point on \(\partial M\). For \(p\in \mathrm {Int}\,M\), let \(x\in \partial M\) be a foot point on \(\partial M\) of p. Then there exists a unique normal minimal geodesic \(\gamma :[0,l]\rightarrow M\) from x to p such that \(\gamma =\gamma _{x}|_{[0,l]}\), where \(l=\rho _{\partial M}(p)\). In particular, \(\gamma '(0)=u_{x}\) and \(\gamma |_{(0,l]}\) lies in \(\mathrm {Int}\,M\).
Let \(\tau :\partial M\rightarrow \mathbb {R}\cup \{\infty \}\) be the function defined as (1.4). By the property of \(\tau _{1}\), for all \(x\in \partial M\) we have \(0<\tau (x)\le \tau _{1}(x)\). For the inscribed radius \(D(M,\partial M)\) of M, from the definition of \(\tau \), we have \(D(M,\partial M)=\sup _{x\in \partial M} \tau (x)\). The function \(\tau \) is continuous on \(\partial M\).
The continuity of \(\tau \) implies the following (see, e.g., Sect. 3 in [32]):
Lemma 2.1
Suppose that \(\partial M\) is compact. Then \(D(M,\partial M)\) is finite if and only if M is compact.
We put
and define \(D_{\partial M}:=\exp ^{\perp }(TD_{\partial M})\) and \(\mathrm {Cut}\,\partial M:=\exp ^{\perp }(T\mathrm {Cut}\,\partial M)\). We call \(\mathrm {Cut}\,\partial M\) the cut locus for the boundary\(\partial M\). From the continuity of \(\tau \), the set \(\mathrm {Cut}\,\partial M\) is a null set of M. Furthermore, we have
This implies that if \(\mathrm {Cut}\,\partial M=\emptyset \), then \(\partial M\) is connected. The set \(TD_{\partial M}\setminus 0(T^{\perp }\partial M)\) is a maximal domain in \(T^{\perp }\partial M\) on which \(\exp ^{\perp }\) is regular and injective.
In [33], we have already known the following:
Lemma 2.2
If there exists a connected component \(\partial M_{0}\) of \(\partial M\) such that for all \(x\in \partial M_{0}\) we have \(\tau (x)=\infty \), then \(\partial M\) is connected and \(\mathrm {Cut}\,\partial M=\emptyset \).
The function \(\rho _{\partial M}\) is smooth on \(\mathrm {Int}\,M\setminus \mathrm {Cut}\,\partial M\). For each \(p\in \mathrm {Int}\,M\setminus \mathrm {Cut}\,\partial M\), the gradient vector \(\nabla \rho _{\partial M}(p)\) of \(\rho _{\partial M}\) at p is given by \(\nabla \rho _{\partial M}(p)=\gamma '(l)\), where \(\gamma :[0,l]\rightarrow M\) is the normal minimal geodesic from the foot point on \(\partial M\) of p to p.
For \(\Omega \subset M\), we denote by \({\bar{\Omega }}\) the closure of \(\Omega \) in M, and by \(\partial \Omega \) the boundary of \(\Omega \) in M. For a domain \(\Omega \) in M such that \(\partial \Omega \) is a smooth hypersurface in M, we denote by \({\text {vol}}_{\partial \Omega }\) the canonical Riemannian volume measure on \(\partial \Omega \).
We have the following fact to avoid the cut locus for the boundary that has been stated in [33] (see Lemma 2.6 in [33]):
Lemma 2.3
Let \(\Omega \) be a domain in M such that \(\partial \Omega \) is a smooth hypersurface in M. Then there exists a sequence \(\{\Omega _{k}\}_{k\in \mathbb {N}}\) of closed subsets of \({\bar{\Omega }}\) such that for every \(k\in \mathbb {N}\), the set \(\partial \Omega _{k}\) is a smooth hypersurface in M except for a null set in \((\partial \Omega ,{\text {vol}}_{\partial \Omega })\) satisfying the following properties:
-
(1)
for all \(k_{1},k_{2}\in \mathbb {N}\) with \(k_{1}<k_{2}\), we have \(\Omega _{k_{1}}\subset \Omega _{k_{2}}\);
-
(2)
\({\bar{\Omega }} \setminus \mathrm {Cut}\,\partial M=\bigcup _{k\in \mathbb {N}}\,\Omega _{k}\);
-
(3)
for every \(k\in \mathbb {N}\), and for almost every point \(p \in \partial \Omega _{k}\cap \partial \Omega \) in \((\partial \Omega ,{\text {vol}}_{\partial \Omega })\), there exists the unit outer normal vector for \(\Omega _{k}\) at p that coincides with the unit outer normal vector on \(\partial \Omega \) for \(\Omega \) at p;
-
(4)
for every \(k\in \mathbb {N}\), on \(\partial \Omega _{k}\setminus \partial \Omega \), there exists the unit outer normal vector field \(\nu _{k}\) for \(\Omega _{k}\) such that \(g(\nu _{k},\nabla \rho _{\partial M})\ge 0\).
Moreover, if \({\bar{\Omega }}=M\), then for every \(k\in \mathbb {N}\), the set \(\partial \Omega _{k}\) is a smooth hypersurface in M, and satisfies \(\partial \Omega _{k}\cap \partial M=\partial M\).
As noticed in [33], for the cut locus for a single point, we have known a similar fact to Lemma 2.3 (see, e.g., Theorem 4.1 in [7]). One can prove Lemma 2.3 by a similar method to the case of the cut locus for a single point.
2.4 Busemann Functions and Asymptotes
Let M be a connected complete Riemannian manifold with boundary. A normal geodesic \(\gamma :[0,\infty )\rightarrow M\) is said to be a ray if for all \(s,t\in [0,\infty )\) it holds that \(d_{M}(\gamma (s),\gamma (t))=|s-t|\). For a ray \(\gamma :[0,\infty )\rightarrow M\), the Busemann function\(b_{\gamma }:M\rightarrow \mathbb {R}\)of\(\gamma \) is defined as
Take a ray \(\gamma :[0,\infty )\rightarrow M\) and a point \(p\in \mathrm {Int}\,M\), and choose a sequence \(\{t_{i}\}\) with \(t_{i}\rightarrow \infty \). For each i, we take a normal minimal geodesic \(\gamma _{i}:[0,l_{i}]\rightarrow M\) from p to \(\gamma (t_{i})\). Since \(\gamma \) is a ray, it follows that \(l_{i}\rightarrow \infty \). Take a sequence \(\{T_{j}\}\) with \(T_{j}\rightarrow \infty \). Using the fact that M is proper, we take a subsequence \(\{\gamma _{1,i}\}\) of \(\{\gamma _{i}\}\), and a normal minimal geodesic \(\gamma _{p,1}:[0,T_{1}]\rightarrow M\) from p to \(\gamma _{p,1}(T_{1})\) such that \(\gamma _{1,i}|_{[0,T_{1}]}\) uniformly converges to \(\gamma _{p,1}\). In this manner, take a subsequence \(\{\gamma _{2,i}\}\) of \(\{\gamma _{1,i}\}\) and a normal minimal geodesic \(\gamma _{p,2}:[0,T_{2}]\rightarrow M\) from p to \(\gamma _{p,2}(T_{2})\) such that \(\gamma _{2,i}|_{[0,T_{2}]}\) uniformly converges to \(\gamma _{p,2}\), where \(\gamma _{p,2}|_{[0,T_{1}]}=\gamma _{p,1}\). By means of a diagonal argument, we obtain a subsequence \(\{\gamma _{k}\}\) of \(\{\gamma _{i}\}\) and a ray \(\gamma _{p}\) in M such that for every \(t\in (0,\infty )\) we have \(\gamma _{k}(t)\rightarrow \gamma _{p}(t)\) as \(k\rightarrow \infty \). We call such a ray \(\gamma _{p}\) an asymptote for\(\gamma \)fromp.
The following lemmas have been shown in [32].
Lemma 2.4
Suppose that for some \(x\in \partial M\) we have \(\tau (x)=\infty \). Take \(p\in \mathrm {Int}\,M\). If \(b_{\gamma _{x}}(p)=\rho _{\partial M}(p)\), then \(p\notin \mathrm {Cut}\,\partial M\). Moreover, for the unique foot point y on \(\partial M\) of p, we have \(\tau (y)=\infty \).
Lemma 2.5
Suppose that for some \(x\in \partial M\) we have \(\tau (x)=\infty \). For \(l \in (0,\infty )\), put \(p:=\gamma _{x}(l)\). Then there exists \(\epsilon \in (0,\infty )\) such that for all \(q\in B_{\epsilon }(p)\), all asymptotes for the ray \(\gamma _{x}\) from q lie in \(\mathrm {Int}\,M\).
2.5 Weighted Riemannian Manifolds with Boundary
Let M be a connected complete Riemannian manifold with boundary, and let \(f:M\rightarrow \mathbb {R}\) be a smooth function. For a smooth function \(\varphi \) on M, the weighted Laplacian\(\Delta _{f}\varphi \)for\(\varphi \) is defined by
where \(\Delta \varphi \) is the Laplacian for \(\varphi \) defined as the minus of the trace of its Hessian. Note that \(\Delta _{f}\) coincides with the (f, 2)-Laplacian \(\Delta _{f,2}\).
It seems that the following formula of Bochner type is well known (see [19], and Chap. 14 in [37]).
Proposition 2.6
[19] For every smooth function \(\varphi \) on M, we have
where \(\Vert {\text {Hess}}\varphi \Vert \) is the Hilbert–Schmidt norm of \({\text {Hess}}\varphi \).
Notice that for every \(x \in \partial M\), and for every \(t \in (0,\tau (x))\), the value \(\Delta \rho _{\partial M}(\gamma _{x}(t))\) is equal to the mean curvature \(H_{x,t}\) of the t-level set of \(\rho _{\partial M}\) at \(\gamma _{x}(t)\) toward \(\nabla \rho _{\partial M}\). In our weighted case, by the definition of the weighted Laplacian, we see the following:
Lemma 2.7
Take \(x\in \partial M\). Then for every \(t \in (0,\tau (x))\), the value \(\Delta _{f}\rho _{\partial M}(\gamma _{x}(t))\) is equal to the f-mean curvature \(H_{f,x,t}\) of the t-level set of \(\rho _{\partial M}\) at \(\gamma _{x}(t)\) toward \(\nabla \rho _{\partial M}\) defined as
In particular, \(\Delta _{f}\rho _{\partial M}(\gamma _{x}(t))\) tends to \(H_{f,x}\) as \(t \rightarrow 0\), where \(H_{f,x}\) is the f-mean curvature of \(\partial M\) at x defined as (1.3).
For \(x \in \partial M\) and \(t \in [0,\tau (x))\), we put
where \(\theta (t,x)\) is the absolute value of the Jacobian of the map \(\exp ^{\perp }\) at \((x,tu_{x})\in T^{\perp }\partial M\). For all \(x\in \partial M\) and \(t\in (0,\tau (x))\), it holds that
Let \({\bar{\theta }}_{f}:[0,\infty ) \times \partial M\rightarrow \mathbb {R}\) be a function defined by
The following has been shown in [33]:
Lemma 2.8
If \(\partial M\) is compact, then for all \(r\in (0,\infty )\)
where \(m_{f}\) denotes the weighted measure on M defined as (1.2), and h denotes the induced Riemannian metric on \(\partial M\).
2.6 Twisted and Warped Product Spaces
In [39], for the proof of a splitting theorem of Cheeger–Gromoll type, Wylie has proved that a twisted product space over \(\mathbb {R}\) becomes a warped product space under a non-negativity of the 1-weighted Ricci curvature (see Proposition 2.2 in [39]). The proof is based on a pointwise calculation, and the same holds true for a twisted product space over an arbitrary interval.
From the argument in the proof of Proposition 2.2 in [39], we can derive the following in our setting:
Proposition 2.9
[39] Let M be a Riemannian manifold with boundary, and let \(f:M\rightarrow \mathbb {R}\) be a smooth function. Suppose that there exist an interval I in the form of \([0,\infty )\) or [0, D] for some positive number D, and a connected component \(\partial M_{1}\) of \(\partial M\) such that M is isometric to a twisted product space \(I \times _{F} \partial M_{1}\). If \({\text {Ric}}^{1}_{f,M} \ge 0\), then there exist functions \(f_{0}:I \rightarrow \mathbb {R}\) and \(f_{1}:\partial M_{1}\rightarrow \mathbb {R}\) such that for all \(t \in I\) and \(x \in \partial M_{1}\) we have \(f(\gamma _{x}(t))=f_{0}(t)+f_{1}(x)\); in particular, M is isometric to a warped product space \((I\times \partial M_{1},dt^{2}+e^{\frac{2 f_{0}(t)}{n-1}}h_{0})\), where for the induced metric h on \(\partial M_{1}\) we put \(h_{0}:=e^{2\frac{f_{1}-(f|_{\partial M_{1}})}{n-1}}h\).
Notice that Proposition 2.9 has been implicitly used in the proof of Theorem 5.1 in [39].
3 Laplacian Comparisons
In this section, let M be an n-dimensional, connected complete Riemannian manifold with boundary with Riemannian metric g, and let \(f:M\rightarrow \mathbb {R}\) be a smooth function.
3.1 Basic Comparisons
Recall that for \(x\in \partial M\), the function \(F_{x}:[0,\tau (x)]\setminus \{\infty \} \rightarrow (0,\infty )\) is defined as (1.5). For \(\kappa ,\lambda \in \mathbb {R}\), we define a function \(F_{\kappa ,\lambda ,x}:[0,\tau (x)]\setminus \{\infty \} \rightarrow \mathbb {R}\) by
Note that if \(\kappa \) and \(\lambda \) satisfy the subharmonic condition, then for every \(x\in \partial M\) the function \(F_{\kappa ,\lambda ,x}\) is non-negative.
We have the following Laplacian comparison inequality for \(\rho _{\partial M}\):
Lemma 3.1
Take \(x\in \partial M\). For \(\kappa ,\lambda \in \mathbb {R}\) and for \(N\in (-\infty ,1]\) we suppose that for all \(t\in (0,\tau (x))\) we have \({\text {Ric}}^{N}_{f}(\gamma '_{x}(t)) \ge \kappa \), and suppose \(H_{f,x}\ge \lambda \). Then for all \(t\in (0,\tau (x))\) we have
In particular, if \(\kappa \) and \(\lambda \) satisfy the subharmonic condition, then for all \(t\in (0,\tau (x))\) we have \(\Delta _{f}\, \rho _{\partial M} (\gamma _{x}(t)) \ge 0\).
Proof
The function \(\rho _{\partial M} \circ \gamma _{x}\) is smooth on \((0,\tau (x))\). We put \(h_{f,x}:=\left( \Delta _{f}\,\rho _{\partial M}\right) \circ \gamma _{x}\). We first show that for all \(s \in (0,\tau (x))\)
Fix \(s\in (0,\tau (x))\), and put \(f_{x}:=f \circ \gamma _{x}\). We apply Proposition 2.6 to the function \(\rho _{\partial M}\). Since \(\Vert \nabla \rho _{\partial M} \Vert =1\) along \(\gamma _{x}|_{(0,\tau (x))}\), it holds that
From the assumption \({\text {Ric}}^{N}_{f}(\gamma '_{x}(s)) \ge \kappa \), we deduce
By the Cauchy–Schwarz inequality, we have
Combining (3.4) and (3.5), we see
In the right-hand side of the Eq. (3.6), by \(N\le 1\), the second term is non-negative. The third one is non-negative. The last one satisfies
Hence, we have \(0\ge \kappa -F^{-2}_{x}(s)\,\left( F^{2}_{x}(s)\,h_{f,x}(s)\right) '\). This implies (3.3).
We see that \(F_{x}(s)\) tends to 1 as \(s\rightarrow 0\). Furthermore, by Lemma 2.7, \(h_{f,x}(s)\) tends to \(H_{f,x}\) as \(s\rightarrow 0\). It follows that
as \(s\rightarrow 0\). By (3.3) and (3.7), for all \(s,t\in (0,\tau (x))\) with \(s\le t\)
Thus, we arrive at (3.2). \(\square \)
Remark 3.1
Under the same setting as in Lemma 3.1, Wylie [39] has shown a Laplacian comparison inequality for the distance function from a connected component of the boundary that is similar to (3.2) when \(\kappa =0\) and \(\lambda =0\) (see the proof of Theorem 5.1 in [39]).
Remark 3.2
Assume that for some \(t_{0}\in (0,\tau (x))\) the equality in (3.2) holds. Then (3.8) implies that \(F^{2}_{x}\,h_{f,x}=F_{\kappa ,\lambda ,x}\) and \(\left( F^{2}_{x}\,h_{f,x} \right) '=\kappa \, F^{2}_{x}\) on \((0,t_{0})\). Hence, for every \(t \in (0,t_{0})\), the equality in the Cauchy–Schwarz inequality in (3.5) holds; in particular, there exists a function \(\varphi \) on \(\gamma _{x}((0,t_{0}))\) such that at each point on \(\gamma _{x}((0,t_{0}))\) we have \({\text {Hess}}\rho _{\partial M}=\varphi \,g\) on the orthogonal complement of \(\nabla \rho _{\partial M}\). Furthermore, for every \(t \in (0,t_{0})\), the second term and the third one in the right-hand side of (3.6) are equal to 0; in particular, \((1-N)(f'_{x})^{2}=0\) on \((0,t_{0})\).
From Lemma 3.1, we derive the following:
Lemma 3.2
Take \(x\in \partial M\). For \(\kappa ,\lambda \in \mathbb {R}\) and for \(N\in (-\infty ,1]\) we suppose that for all \(t\in (0,\tau (x))\) we have \({\text {Ric}}^{N}_{f}(\gamma '_{x}(t)) \ge \kappa \), and suppose \(H_{f,x}\ge \lambda \). Then for all \(s,t\in [0,\tau (x))\) with \(s\le t\) we have
where \(\theta _{f}(t,x)\) is defined as (2.1). In particular, if \(\kappa \) and \(\lambda \) satisfy the subharmonic condition, then for all \(s,t\in [0,\tau (x))\) with \(s\le t\) we have \(\theta _{f}(t,x) \le \theta _{f}(s,x)\).
Proof
By (2.2) and Lemma 3.1, for all \(t\in (0,\tau (x))\)
It follows that for all \(s,t\in [0,\tau (x))\) with \(s\le t\)
Therefore, we have the lemma. \(\square \)
3.2 Equality Cases
We recall the following radial curvature equation (see, e.g., Theorem 2 in [29]):
Lemma 3.3
Let \(\rho \) be a smooth function defined on a domain in M such that \(\Vert \nabla \rho \Vert =1\). Let X be a parallel vector field along an integral curve of \(\nabla \rho \) that is orthogonal to \(\nabla \rho \). Then we have
where R is the curvature tensor induced from g, and \(A_{\nabla \rho }\) is the shape operator of the level set of \(\rho \) toward \(\nabla \rho \). In particular, if there exists a function \(\varphi \) defined on the domain of the integral curve such that \(A_{\nabla \rho }X=-\varphi \,X\), then we have
For the equality case of Lemma 3.1, we have the following:
Lemma 3.4
Take \(x\in \partial M\). For \(\kappa ,\lambda \in \mathbb {R}\) and for \(N\in (-\infty ,1]\) we suppose that for all \(t\in (0,\tau (x))\) we have \({\text {Ric}}^{N}_{f}(\gamma '_{x}(t)) \ge \kappa \), and suppose \(H_{f,x}\ge \lambda \). Choose an orthonormal basis \(\{e_{x,i}\}_{i=1}^{n-1}\) of \(T_{x}\partial M\), and let \(\{Y_{x,i}\}^{n-1}_{i=1}\) be the \(\partial M\)-Jacobi fields along \(\gamma _{x}\) with initial conditions \(Y_{x,i}(0)=e_{x,i}\) and \(Y_{x,i}'(0)=-A_{u_{x}}e_{x,i}\). Assume that for some \(t_{0}\in (0,\tau (x))\) the equality in (3.2) holds. Then \(\kappa =0\) and \(\lambda =0\), and for all i we have \(Y_{x,i}=F_{x}\,E_{x,i}\) on \([0,t_{0}]\), where \(\{E_{x,i}\}^{n-1}_{i=1}\) are the parallel vector fields along \(\gamma _{x}\) with initial condition \(E_{x,i}(0)=e_{x,i}\). Moreover, if \(N \in (-\infty ,1)\), then \(f \circ \gamma _{x}\) is constant on \([0,t_{0}]\); in particular, \(Y_{x,i}=E_{x,i}\).
Proof
By the equality assumption, there exists a function \(\varphi \) on the set \(\gamma _{x}((0,t_{0}))\) such that at each point on \(\gamma _{x}((0,t_{0}))\) we have \({\text {Hess}}\rho _{\partial M}=\varphi \,g\) on the orthogonal complement of \(\nabla \rho _{\partial M}\) (see Remark 3.2). Put \(\varphi _{x}:=\varphi \circ \gamma _{x}\). For each i, it holds that
It follows that \(A_{\nabla \rho _{\partial M}}E_{x,i}=-\varphi _{x}\,E_{x,i}\). From Lemma 3.3, we derive
Put \(f_{x}:=f \circ \gamma _{x}\) and \(h_{f,x}:=\left( \Delta _{f}\,\rho _{\partial M}\right) \circ \gamma _{x}\). By the equality assumption, we have \(F^{2}_{x}\,h_{f,x}=F_{\kappa ,\lambda ,x}\) on \([0,t_{0}]\) (see Remark 3.2). Fix \(t\in [0,t_{0}]\). Since \(h_{f,x}(t)=F^{-2}_{x}(t)\,F_{\kappa ,\lambda ,x}(t)\), we have
On the other hand, from \({\text {Hess}}\rho _{\partial M}=\varphi \,g\), we deduce \(\Delta \rho _{\partial M}(\gamma _{x}(t))=-(n-1)\varphi _{x}(t)\). Hence, \(\varphi _{x}(t)\) is equal to
Now, define a function \(\mathcal {F}_{x}:[0,t_{0}] \rightarrow (0,\infty )\) by
Note that if \(\kappa =0\) and \(\lambda =0\), then \(\mathcal {F}_{x}=F_{x}\). By (3.9), a vector field \({\tilde{Y}}_{x,i}\) along \(\gamma _{x}|_{[0,t_{0}]}\) defined by \({\tilde{Y}}_{x,i}:=\mathcal {F}_{x}\,E_{x,i}\) is a \(\partial M\)-Jacobi field along \(\gamma _{x}|_{[0,t_{0}]}\) with initial conditions \(Y_{x,i}(0)=e_{x,i}\) and \(Y_{x,i}'(0)=-A_{u_{x}}e_{x,i}\). Therefore, \(Y_{x,i}\) coincides with \({\tilde{Y}}_{x,i}\) on \([0,t_{0}]\).
From (3.9) and \(Y_{x,i}=\mathcal {F}_{x}\,E_{x,i}\), we derive \(R(E_{x,i},\nabla \rho _{\partial M})\nabla \rho _{\partial M}=-\mathcal {F}''_{x}\,\mathcal {F}^{-1}_{x}\,E_{x,i}\). This implies that for each \(t \in (0,t_{0})\)
in particular, \({\text {Ric}}^{1}_{f}(\gamma '_{x}(t))=\kappa -(n-1)^{-1}F^{-4}_{x}(t)F^{2}_{\kappa ,\lambda ,x}(t)\). By the monotonicity of \({\text {Ric}}^{N}_{f}\) with respect to N, we see
and hence \(F_{\kappa ,\lambda ,x}(t)=0\). We obtain \(\kappa =0\) and \(\lambda =0\), and \(Y_{x,i}=F_{x}\,E_{x,i}\).
Now, we have \((1-N)(f'_{x})^{2}=0\) on \([0,t_{0}]\) (see Remark 3.2). If N is smaller than 1, then \(f'_{x}=0\) on \([0,t_{0}]\); in particular, \(f_{x}\) is constant on \([0,t_{0}]\). This completes the proof. \(\square \)
By Lemma 3.4, we have the following:
Lemma 3.5
Take \(x\in \partial M\). Let \(\kappa \in \mathbb {R}\) and \(\lambda \in \mathbb {R}\) satisfy the subharmonic condition. For \(N\in (-\infty ,1]\) we suppose that for all \(t\in (0,\tau (x))\) we have \({\text {Ric}}^{N}_{f}(\gamma '_{x}(t)) \ge \kappa \), and suppose \(H_{f,x}\ge \lambda \). We choose an orthonormal basis \(\{e_{x,i}\}_{i=1}^{n-1}\) of \(T_{x}\partial M\), and let \(\{Y_{x,i}\}^{n-1}_{i=1}\) be the \(\partial M\)-Jacobi fields along \(\gamma _{x}\) with initial conditions \(Y_{x,i}(0)=e_{x,i}\) and \(Y_{x,i}'(0)=-A_{u_{x}}e_{x,i}\). Assume that for some \(t_{0} \in (0,\tau (x))\) we have \(\Delta _{f}\rho _{\partial M}(\gamma _{x}(t_{0}))=0\). Then \(\kappa =0\) and \(\lambda =0\), and for all i we have \(Y_{x,i}=F_{x}\,E_{x,i}\) on \([0,t_{0}]\), where \(\{E_{x,i}\}^{n-1}_{i=1}\) are the parallel vector fields along \(\gamma _{x}\) with initial condition \(E_{x,i}(0)=e_{x,i}\). Moreover, if \(N \in (-\infty ,1)\), then \(f \circ \gamma _{x}\) is constant on \([0,t_{0}]\); in particular, \(Y_{x,i}=E_{x,i}\).
Proof
The assumption \(\Delta _{f}\rho _{\partial M}(\gamma _{x}(t_{0}))=0\) implies that the equality in (3.2) holds. Lemma 3.4 leads to the lemma. \(\square \)
3.3 Distributions
From Lemma 3.1, we derive the following:
Lemma 3.6
Take \(x\in \partial M\). Let \(p\in (1,\infty )\), and let \(\kappa \in \mathbb {R}\) and \(\lambda \in \mathbb {R}\) satisfy the subharmonic condition. For \(N \in (-\infty ,1]\) we suppose that for all \(t\in (0,\tau (x))\) we have \({\text {Ric}}^{N}_{f}(\gamma '_{x}(t)) \ge \kappa \), and suppose \(H_{f,x}\ge \lambda \). Let \(\varphi :[0,\infty )\rightarrow \mathbb {R}\) be a monotone increasing smooth function. Then for all \(t\in (0,\tau (x))\)
Proof
For all \(t\in (0,\tau (x))\) we see
This together with Lemma 3.1 implies (3.10). \(\square \)
Remark 3.3
The equality case in Lemma 3.6 corresponds to that in Lemma 3.1 (see Lemma 3.5).
From Lemma 3.6, we deduce the following:
Proposition 3.7
Let \(p\in (1,\infty )\), and let \(\kappa \in \mathbb {R}\) and \(\lambda \in \mathbb {R}\) satisfy the subharmonic condition. For \(N\in (-\infty ,1]\) we suppose \({\text {Ric}}^{N}_{f,M} \ge \kappa \), and \(H_{f,\partial M}\ge \lambda \). For a monotone increasing smooth function \(\varphi :[0,\infty )\rightarrow \mathbb {R}\), we put \(\Phi :=\varphi \circ \rho _{\partial M}\). Then
in a distribution sense on M. More precisely, for every non-negative smooth function \(\psi :M\rightarrow \mathbb {R}\) whose support is compact and contained in \(\mathrm {Int}\,M\), we have
Proof
By Lemma 2.3, there exists a sequence \(\{\Omega _{k}\}_{k\in \mathbb {N}}\) of closed subsets of M such that for every k, the set \(\partial \Omega _{k}\) is a smooth hypersurface in M satisfying the following: (1) for all \(k_{1},k_{2}\in \mathbb {N}\) with \(k_{1}<k_{2}\), we have \(\Omega _{k_{1}}\subset \Omega _{k_{2}}\); (2) \(M\setminus \mathrm {Cut}\,\partial M=\bigcup _{k}\,\Omega _{k}\); (3) \(\partial \Omega _{k}\cap \partial M=\partial M\) for all k; (4) for each k, on \(\partial \Omega _{k}\setminus \partial M\), there exists the unit outer normal vector field \(\nu _{k}\) for \(\Omega _{k}\) with \(g(\nu _{k},\nabla \rho _{\partial M})\ge 0\). For the canonical Riemannian volume measure \({\text {vol}}_{k}\) on \(\partial \Omega _{k}\setminus \partial M\), put \(m_{f,k}:=e^{-f|_{\partial \Omega _{k}\setminus \partial M}}\,{\text {vol}}_{k}\). Let \(\psi :M\rightarrow \mathbb {R}\) be a non-negative smooth function whose support is compact and contained in \(\mathrm {Int}\,M\). By the Green formula, and by \(\partial \Omega _{k}\cap \partial M=\partial M\),
From Lemma 3.6 and \(g(\nu _{k},\nabla \rho _{\partial M})\ge 0\), we derive
Letting \(k \rightarrow \infty \), we have the proposition. \(\square \)
Remark 3.4
In Proposition 3.7, we assume that the equality in (3.11) holds. Then for every \(x\in \partial M\), and for every \(t\in (0,\tau (x))\), the equality in (3.10) also holds. The equality case in Proposition 3.7 corresponds to that in Lemma 3.6 (see Remark 3.3).
Remark 3.5
Perales [28] has shown a Laplacian comparison inequality for the distance function from the boundary in a barrier sense for manifolds with boundary of non-negative Ricci curvature. We can prove that the Laplacian comparison inequality for \(\rho _{\partial M}\) in Lemma 3.1 globally holds on M in a barrier sense.
4 Volume Comparisons
Let M be an n-dimensional, connected complete Riemannian manifold with boundary with Riemannian metric g, and let \(f:M\rightarrow \mathbb {R}\) be a smooth function.
4.1 Absolute Volume Comparisons
We have the following absolute volume comparison inequality of Heintze–Karcher type (cf. [11]):
Lemma 4.1
Suppose that \(\partial M\) is compact. For \(\kappa ,\lambda \in \mathbb {R}\), and for \(N\in (-\infty ,1]\) we suppose \({\text {Ric}}^{N}_{f,M}\ge \kappa \), and \(H_{f,\partial M} \ge \lambda \). Then for all \(r\in (0,\infty )\) we have
where \(F_{\kappa ,\lambda ,x}\) is the function defined as (3.1). In particular, if \(\kappa \) and \(\lambda \) satisfy the subharmonic condition, then for all \(r\in (0,\infty )\) we have \(m_{f}(B_{r}(\partial M))\le r\, m_{f,\partial M}(\partial M)\), and hence (1.7).
Proof
Define a function \({\tilde{\theta }}:[0,\infty ) \times \partial M\rightarrow \mathbb {R}\) by
By Lemma 3.2, for all \(x \in \partial M\) and \(t \in (0,\infty )\) we see \({\bar{\theta }}_{f}(t,x) \le {\tilde{\theta }}(t,x)\,e^{-f(x)}\), where \({\bar{\theta }}_{f}\) is the function defined as (2.3). Integrate the both sides of the inequality over (0, r) with respect to t, and then do that over \(\partial M\) with respect to x. From Lemma 2.8, we deduce
This implies the lemma. \(\square \)
Remark 4.1
Under a lower N-weighted Ricci curvature bound, Bayle [3] has stated an inequality of Heintze–Karcher type without proof in the case of \(N \in [n,\infty )\). Morgan [24] has proved it in the case of \(N=\infty \), and Milman [23] has done in the case of \(N \in (-\infty ,1)\).
4.2 Relative Volume Comparisons
We have the following relative volume comparison theorem of Bishop–Gromov type:
Theorem 4.2
Let M be a connected complete Riemannian manifold with boundary, and let \(f:M\rightarrow \mathbb {R}\) be a smooth function. Suppose that \(\partial M\) is compact. Let \(\kappa \in \mathbb {R}\) and \(\lambda \in \mathbb {R}\) satisfy the subharmonic condition. For \(N\in (-\infty ,1]\) we suppose \({\text {Ric}}^{N}_{f,M}\ge \kappa \), and \(H_{f,\partial M}\ge \lambda \). Then for all \(r,R\in (0,\infty )\) with \(r\le R\)
Proof
Lemma 3.2 implies that for all \(s,t\in [0,\infty )\) with \(s\le t\) we have \({\bar{\theta }}_{f}(t,x) \le {\bar{\theta }}_{f}(s,x)\), where \({\bar{\theta }}_{f}\) is the function defined as (2.3). By integrating the both sides over (0, r) with respect to s, and then doing that over (r, R) with respect to t, we see
From Lemma 2.8, we derive
This proves the theorem. \(\square \)
When \(\kappa =0\) and \(\lambda =0\), Theorem 4.2 has been proved in the unweighted case in [32], and in the usual weighted case in [33].
Remark 4.2
In [32], the author has proved a measure contraction inequality around the boundary in the unweighted case. We can prove a similar measure contraction inequality in our setting. The measure contraction inequality enables us to give another proof of Theorem 4.2.
4.3 Volume Growth Rigidity
We show the following:
Lemma 4.3
Suppose that \(\partial M\) is compact. Let \(\kappa \in \mathbb {R}\) and \(\lambda \in \mathbb {R}\) satisfy the subharmonic condition. For \(N \in (-\infty ,1]\) we suppose \({\text {Ric}}^{N}_{f,M}\ge \kappa \), and \(H_{f,\partial M} \ge \lambda \). Assume that there exists \(R\in (0,\infty )\) such that for every \(r\in (0,R]\) the equality in (4.1) holds. Then \(\tau \ge R\) on \(\partial M\).
Proof
The proof will be done by contradiction. Suppose that there exists \(x_{0}\in \partial M\) such that \(\tau (x_{0})<R\). Put \(t_{0}:=\tau (x_{0})\). Take \(\epsilon \in (0,\infty )\) with \(t_{0}+\epsilon <R\). By the continuity of \(\tau \), there exists a closed geodesic ball B in \(\partial M\) centered at \(x_{0}\) such that \(\tau \) is smaller than or equal to \(t_{0}+\epsilon \) on B. Using Lemma 3.2, we see
On the other hand, \(m_{f}(B_{R}(\partial M))/m_{f,\partial M}(\partial M)\) is equal to R. This is a contradiction. \(\square \)
Suppose that \(\partial M\) is compact. Let \(\kappa \in \mathbb {R}\) and \(\lambda \in \mathbb {R}\) satisfy the subharmonic condition. For \(N \in (-\infty ,1]\) we suppose \({\text {Ric}}^{N}_{f,M}\ge \kappa \), and \(H_{f,\partial M} \ge \lambda \). Assume that there exists \(R \in (0,\infty )\) such that for every \(r\in (0,R]\) the equality in (4.1) holds. Then for each \(r\in (0,R)\) the level set \(\rho _{\partial M}^{-1}(r)\) is an \((n-1)\)-dimensional submanifold of M (see Lemma 4.3). In particular, \((B_{r}(\partial M),g)\) is an n-dimensional (not necessarily, connected) complete Riemannian manifold with boundary. We denote by \(d_{B_{r}(\partial M)}\) and by \(d_{[0,r]\times _{F} \partial M}\) the Riemannian distances on \((B_{r}(\partial M),g)\) and on \([0,r]\times _{F} \partial M\), respectively, where \([0,r]\times _{F} \partial M\) is the twisted product space \(([0,r] \times \partial M,dt^{2}+F_{x}^{2}(t)\,h)\).
Lemma 4.4
Suppose that \(\partial M\) is compact. Let \(\kappa \in \mathbb {R}\) and \(\lambda \in \mathbb {R}\) satisfy the subharmonic condition. For \(N \in (-\infty ,1]\) we suppose \({\text {Ric}}^{N}_{f,M}\ge \kappa \), and \(H_{f,\partial M} \ge \lambda \). Assume that there exists \(R\in (0,\infty )\) such that for every \(r\in (0,R]\) the equality in (4.1) holds. Then for each \(r\in (0,R)\) the metric space \((B_{r}(\partial M),d_{B_{r}(\partial M)})\) is isometric to \(([0,r]\times _{F} \partial M,d_{[0,r]\times _{F} \partial M})\). Moreover, if \(N \in (-\infty ,1)\), then for every \(x\in \partial M\) the function \(f\circ \gamma _{x}\) is constant on [0, r]; in particular, \((B_{r}(\partial M),d_{B_{r}(\partial M)})\) is isometric to \(([0,r]\times \partial M,d_{[0,r]\times \partial M})\).
Proof
Since each connected component of \(\partial M\) one-to-one corresponds to the connected component of \(B_{r}(\partial M)\), it suffices to consider the case where \(B_{r}(\partial M)\) is connected. For each \(x\in \partial M\) we choose an orthonormal basis \(\{ e_{x,i} \}_{i=1}^{n-1}\) of \(T_{x}\partial M\). Let \(\{Y_{x,i}\}^{n-1}_{i=1}\) be the \(\partial M\)-Jacobi fields along \(\gamma _{x}\) with initial conditions \(Y_{x,i}(0)=e_{x,i}\) and \(Y_{x,i}'(0)=-A_{u_{x}}e_{x,i}\). Since the equality in (4.1) holds, for all \(t \in [0,r]\) we see \(\theta _{f}(t,x)=\theta _{f}(r,x)\). By (2.2), for all \(t\in (0,r]\) we see \(\Delta _{f}\rho _{\partial M}(\gamma _{x}(t))=0\). Lemma 3.5 implies that we have \(\kappa =0\) and \(\lambda =0\), and for all i we have \(Y_{x,i}=F_{x}E_{x,i}\) on [0, r], where \(\{E_{x,i}\}^{n-1}_{i=1}\) are the parallel vectors field along \(\gamma _{x}\) with initial condition \(E_{x,i}(0)=e_{x,i}\); moreover, if \(N\in (-\infty ,1)\), then \(f \circ \gamma _{x}\) is constant on [0, r]. Define a map \(\Phi :[0,r]\times \partial M\rightarrow B_{r}(\partial M)\) by \(\Phi (t,x):=\gamma _{x}(t)\). For each \(p\in (0,r)\times \partial M\) the differential map \(D(\Phi |_{(0,r)\times \partial M})_{p}\) sends an orthonormal basis of \(T_{p}([0,r]\times \partial M)\) to that of \(T_{\Phi (p)}B_{r}(\partial M)\), and for each \(x\in \{0,r\}\times \partial M\) the map \(D(\Phi |_{\{0,r\}\times \partial M})_{x}\) sends an orthonormal basis of \(T_{x}(\{0,r\}\times \partial M)\) to that of \(T_{\Phi (x)}\partial (B_{r}(\partial M))\). Hence, \(\Phi \) is a Riemannian isometry with boundary from \([0,r]\times _{F} \partial M\) to \(B_{r}(\partial M)\). \(\square \)
Now, we are in a position to prove Theorem 1.1 and Corollary 1.2.
Proof of Theorem 1.1
Suppose that \(\partial M\) is compact. Let \(\kappa \in \mathbb {R}\) and \(\lambda \in \mathbb {R}\) satisfy the subharmonic condition. For \(N \in (-\infty ,1]\) we suppose \({\text {Ric}}^{N}_{f,M}\ge \kappa \), and \(H_{f,\partial M} \ge \lambda \). Furthermore, we assume (1.6). By Lemma 4.1 and Theorem 4.2, for every \(R\in (0,\infty )\), and for every \(r \in (0,R]\),
in particular, the equality in (4.1) holds. From Lemma 4.3, we deduce \(\tau =\infty \) on \(\partial M\). We see \(\mathrm {Cut}\,\partial M=\emptyset \), and hence \(\partial M\) is connected. Take a sequence \(\{r_{i}\}\) with \(r_{i}\rightarrow \infty \). By Lemma 4.4, for every i there exists a Riemannian isometry \(\Phi _{i}:[0,r_{i}]\times \partial M\rightarrow B_{r_{i}}(\partial M)\) with boundary from \([0,r_{i}]\times _{F} \partial M\) to \(B_{r_{i}}(\partial M)\) defined by \(\Phi _{i}(t,x):=\gamma _{x}(t)\). Moreover, if \(N\in (-\infty ,1)\), then for each \(x\in \partial M\) the function \(f \circ \gamma _{x}\) is constant on \([0,r_{i}]\). Since \(\mathrm {Cut}\,\partial M=\emptyset \), we obtain a Riemannian isometry \(\Phi :[0,\infty )\times \partial M\rightarrow M\) with boundary from \([0,\infty )\times _{F} \partial M\) to M defined by \(\Phi (t,x):=\gamma _{x}(t)\) such that \(\Phi |_{[0,r_{i}]\times \partial M}=\Phi _{i}\) for all i. Furthermore, if \(N\in (-\infty ,1)\), then \(f \circ \gamma _{x}\) is constant on \([0,\infty )\). Thus, we complete the proof of Theorem 1.1. \(\square \)
Proof of Corollary 1.2
Combining Theorem 1.1 and Proposition 2.9, we conclude Corollary 1.2. \(\square \)
5 Splitting Theorems
Let M be an n-dimensional, connected complete Riemannian manifold with boundary with Riemannian metric g, and let \(f:M\rightarrow \mathbb {R}\) be a smooth function.
5.1 Basic Splitting
Let \(\varphi :M\rightarrow \mathbb {R}\) be a continuous function, and let U be a domain contained in \(\mathrm {Int}\,M\). For \(p\in U\), and for a function \(\psi \) defined on an open neighborhood of p, we say that \(\psi \) is a support function of\(\varphi \)atp if we have \(\psi (p)=\varphi (p)\) and \(\psi \le \varphi \). We say that \(\varphi \) is f-subharmonic onU if for every \(p\in U\), and for every \(\epsilon \in (0,\infty )\), there exists a smooth, support function \(\psi _{p,\epsilon }\) of \(\varphi \) at p such that \(\Delta _{f}\, \psi _{p,\epsilon }(p)\le \epsilon \).
We recall the following maximal principle of Calabi type (see, e.g., [6], and Lemma 2.4 in [10]).
Lemma 5.1
Let U be a domain contained in \(\mathrm {Int}\,M\). If a f-subharmonic function on U takes the maximal value at a point in U, then it must be constant on U.
Wylie [39] has proved a subharmonicity of Busemann functions on manifolds without boundary (see Lemma 3.4 in [39]). In our case, under an assumption concerning asymptotes for a ray defined in Sect. 2.4, the subharmonicity holds in the following form:
Lemma 5.2
[39] Assume \(\sup f(M)<\infty \). For \(N \in (-\infty ,1]\) we suppose \({\text {Ric}}^{N}_{f,M}\ge 0\). Let \(\gamma :[0,\infty )\rightarrow M\) be a ray that lies in \(\mathrm {Int}\,M\), and let U be a domain contained in \(\mathrm {Int}\,M\) such that for each \(p\in U\), there exists an asymptote for \(\gamma \) from p that lies in \(\mathrm {Int}\,M\). Then the Busemann function \(b_{\gamma }\) of \(\gamma \) is f-subharmonic on U.
Now, we prove Theorem 1.3 and Corollary 1.4.
Proof of Theorem 1.3
Assume \(\sup f(M)<\infty \). For \(N\in (-\infty ,1]\) we suppose \({\text {Ric}}^{N}_{f,M}\ge 0\), and \(H_{f,\partial M} \ge 0\). Suppose that for some \(x_{0} \in \partial M\) we have \(\tau (x_{0})=\infty \).
For the connected component \(\partial M_{0}\) of \(\partial M\) containing \(x_{0}\), put
By the continuity of \(\tau \), the set \(\Omega \) is a non-empty closed subset of \(\partial M_{0}\).
We show the openness of \(\Omega \) in \(\partial M_{0}\). Fix \(y_{0}\in \Omega \). Take \(l \in (0,\infty )\), and put \(p_{0}:=\gamma _{y_{0}}(l)\). There exists an open neighborhood U of \(p_{0}\) in \(\mathrm {Int}\,M\) contained in \(D_{\partial M}\). Taking U smaller, we may assume that for every \(q\in U\) the unique foot point on \(\partial M\) of q belongs to \(\partial M_{0}\). By Lemma 2.5, there exists \(\epsilon \in (0,\infty )\) such that for all \(q\in B_{\epsilon }(p_{0})\), all asymptotes for \(\gamma _{y_{0}}\) from q lie in \(\mathrm {Int}\,M\). We may assume \(U\subset B_{\epsilon }(p_{0})\). By Lemma 5.2, \(b_{\gamma _{y_{0}}}\) is f-subharmonic on U, and by Lemma 3.1, \(\Delta _{f} \rho _{\partial M}\ge 0\) on U. Hence, \(b_{\gamma _{y_{0}}}-\rho _{\partial M}\) is f-subharmonic on U. The function \(b_{\gamma _{y_{0}}}-\rho _{\partial M}\) takes the maximal value 0 at \(p_{0}\). Lemma 5.1 implies that \(b_{\gamma _{y_{0}}}=\rho _{\partial M}\) on U. From Lemma 2.4, it follows that \(\Omega \) is open in \(\partial M_{0}\).
Since \(\partial M_{0}\) is a connected component of \(\partial M\), we have \(\Omega =\partial M_{0}\). By Lemma 2.2, \(\partial M\) is connected and \(\mathrm {Cut}\,\partial M=\emptyset \). The equality in Lemma 3.1 holds on \(\mathrm {Int}\,M\). For each \(x\in \partial M\) we choose an orthonormal basis \(\{e_{x,i}\}_{i=1}^{n-1}\) of \(T_{x}\partial M\). Let \(\{Y_{x,i}\}^{n-1}_{i=1}\) be the \(\partial M\)-Jacobi fields along \(\gamma _{x}\) with initial conditions \(Y_{x,i}(0)=e_{x,i}\) and \(Y'_{x,i}(0)=-A_{u_{x}}e_{x,i}\). By Lemma 3.4, for all i we have \(Y_{x,i}=F_{x}E_{x,i}\) on \([0,\infty )\), where \(\{E_{x,i}\}\) are the parallel vector fields along \(\gamma _{x}\) with initial condition \(E_{x,i}(0)=e_{x,i}\). Moreover, if \(N\in (-\infty ,1)\), then \(f \circ \gamma _{x}\) is constant on \([0,\infty )\). Define a map \(\Phi :[0,\infty )\times \partial M\rightarrow M\) by \(\Phi (t,x):=\gamma _{x}(t)\). For every \(p\in (0,\infty )\times \partial M\) the differential map \(D(\Phi |_{(0,\infty )\times \partial M})_{p}\) sends an orthonormal basis of \(T_{p}((0,\infty )\times \partial M)\) to that of \(T_{\Phi (p)}M\), and for every \(x\in \{0\}\times \partial M\) the map \(D(\Phi |_{\{0\}\times \partial M})_{x}\) sends an orthonormal basis of \(T_{x}(\{0\}\times \partial M)\) to that of \(T_{\Phi (x)}\partial M\). Then \(\Phi \) is a Riemannian isometry with boundary from \([0,\infty )\times _{F} \partial M\) to M. This proves Theorem 1.3. \(\square \)
Proof of Corollary 1.4
From Theorem 1.3 and Proposition 2.9, we derive Corollary 1.4. \(\square \)
Lemma 2.1 and the continuity of \(\tau \) imply that if M is non-compact and \(\partial M\) is compact, then for some \(x\in \partial M\) we have \(\tau (x)=\infty \). We have the following corollary of Theorem 1.3.
Corollary 5.3
Let M be a connected complete Riemannian manifold with boundary, and let \(f:M\rightarrow \mathbb {R}\) be a smooth function such that \(\sup f(M)<\infty \). For \(N\in (-\infty ,1]\) we suppose \({\text {Ric}}^{N}_{f,M}\ge 0\), and \(H_{f,\partial M} \ge 0\). If M is non-compact and \(\partial M\) is compact, then \((M,d_{M})\) is isometric to \(([0,\infty )\times _{F}\partial M,d_{[0,\infty )\times _{F}\partial M})\). Moreover, if \(N\in (-\infty ,1)\), then for every \(x\in \partial M\) the function \(f\circ \gamma _{x}\) is constant on \([0,\infty )\); in particular, \((M,d_{M})\) is isometric to \(([0,\infty )\times \partial M,d_{[0,\infty )\times \partial M})\).
5.2 Weighted Ricci Curvature on the Boundary
For \(x \in \partial M\), we recall that \(u_{x}\) denotes the unit inner normal vector on \(\partial M\) at x.
The following seems to be well known, especially in a submanifold setting (see, e.g., Proposition 9.36 in [4], and Lemma 5.4 in [32]).
Lemma 5.4
Take \(x\in \partial M\), and a unit vector u in \(T_{x}\partial M\). Choose an orthonormal basis \(\{ e_{x,i} \}_{i=1}^{n-1}\) of \(T_{x}\partial M\) with \(e_{x,1}=u\). Then we have
where h is the induced Riemannian metric on \(\partial M\), and \(K_{g}(u_{x},u)\) is the sectional curvature at x in (M, g) determined by \(u_{x}\) and u.
By using Lemma 5.4, we have the following:
Lemma 5.5
Take \(x\in \partial M\), and a unit vector u in \(T_{x}\partial M\). Choose an orthonormal basis \(\{ e_{x,i} \}_{i=1}^{n-1}\) of \(T_{x}\partial M\) with \(e_{x,1}=u\). Then for all \(N \in (-\infty ,\infty )\) we have
where \(K_{g}(u_{x},u)\) is the sectional curvature at x in (M, g) determined by \(u_{x}\) and u.
Proof
First, we assume \(N\ne n\). We see
where h is the induced Riemannian metric on \(\partial M\). Hence, we have
From Lemma 5.4, we derive (5.1).
Next, we assume \(N=n\). If f is constant, then \({\text {Ric}}^{N-1}_{f|_{\partial M}}(u)={\text {Ric}}_{h}(u)\) and \({\text {Ric}}^{N}_{f}(u)={\text {Ric}}_{g}(u)\), and hence Lemma 5.4 implies (5.1). If f is not constant, then both the left-hand side of (5.1) and the right-hand side are equal to \(-\infty \). Therefore, we complete the proof. \(\square \)
From Lemma 5.5, we derive the following:
Lemma 5.6
Take \(x\in \partial M\), and a unit vector u in \(T_{x}\partial M\). If \((M,d_{M})\) is isometric to \(([0,\infty )\times _{F}\partial M,d_{[0,\infty )\times _{F}\partial M})\), then for all \(N\in (-\infty ,\infty )\)
Proof
Choose an orthonormal basis \(\{e_{x,i}\}_{i=1}^{n-1}\) of \(T_{x}\partial M\) with \(e_{x,1}=u\). Let \(\{Y_{x,i}\}^{n-1}_{i=1}\) be the \(\partial M\)-Jacobi fields along \(\gamma _{x}\) with initial conditions \(Y_{x,i}(0)=e_{x,i}\) and \(Y'_{x,i}(0)=-A_{u_{x}}e_{x,i}\). Since \((M,d_{M})\) is isometric to \(([0,\infty )\times _{F}\partial M,d_{[0,\infty )\times _{F}\partial M})\), there exists a Riemannian isometry with boundary from M to \([0,\infty )\times _{F} \partial M\). In particular, for all i we see \(Y_{x,i}=F_{x}\,E_{x,i}\), where \(\{E_{x,i}\}^{n-1}_{i=1}\) are the parallel vector fields along \(\gamma _{x}\) with initial condition \(E_{x,i}(0)=e_{x,i}\). Hence, for all i
By (5.2), for all \(i \ne 1\) we have \(S(u,e_{x,i})=0_{x}\), and we have
Furthermore, the sectional curvature \(K_{g}(u_{x},u)\) at x in (M, g) determined by \(u_{x}\) and u satisfies
By Lemma 5.5, and by (5.3) and (5.4), we see
This completes the proof. \(\square \)
5.3 Multi-splitting
Let \(M_{0}\) be a connected complete Riemannian manifold (without boundary). A normal geodesic \(\gamma :\mathbb {R} \rightarrow M_{0}\) is said to be a line if for all \(s,t\in \mathbb {R}\) we have \(d_{M_{0}}(\gamma (s),\gamma (t))=\vert s-t\vert \).
Wylie [39] has proved the following splitting theorem of Cheeger–Gromoll type (see Theorem 1.2 and Corollary 1.3 in [39]):
Theorem 5.7
[39] Let \(M_{0}\) be a connected complete Riemannian manifold, and let \(f:M_{0}\rightarrow \mathbb {R}\) be a smooth function bounded from above. For \(N\in (-\infty ,1]\) we suppose \({\text {Ric}}^{N}_{f,M_{0}}\ge 0\). If \(M_{0}\) contains a line, then there exists a connected complete Riemannian manifold \(N_{0}\) such that \(M_{0}\) is isometric to a warped product space over \(\mathbb {R}\times N_{0}\). Moreover, if \(N\in (-\infty ,1)\), then \(M_{0}\) is isometric to the standard product \(\mathbb {R}\times N_{0}\).
Remark 5.1
For manifolds of non-negative N-weighted Ricci curvature, Lichnerowicz [19] has generalized the Cheeger–Gromoll splitting theorem in the case where \(N=\infty \) and f is bounded. Fang, Li, and Zhang [10] have done in the case where \(N \in [n,\infty )\), and in the case where \(N=\infty \) and f is bounded above.
We obtain the following corollary of Theorem 1.3:
Corollary 5.8
Let M be an n-dimensional, connected complete Riemannian manifold with boundary, and let \(f:M\rightarrow \mathbb {R}\) be a smooth function such that \(\sup f(M)<\infty \). For \(N\in (-\infty ,1)\) we suppose \({\text {Ric}}^{N}_{f,M}\ge 0\), and \(H_{f,\partial M} \ge 0\). Assume that for some \(x_{0}\in \partial M\) we have \(\tau (x_{0})=\infty \). Then there exist \(k\in \{0,\dots ,n-1\}\) and an \((n-1-k)\)-dimensional, connected complete Riemannian manifold \(N_{0}\) containing no line such that \((\partial M,d_{\partial M})\) is isometric to \((\mathbb {R}^{k}\times N_{0},d_{\mathbb {R}^{k}\times N_{0}})\). In particular, \((M,d_{M})\) is isometric to \(([0,\infty )\times \mathbb {R}^{k}\times N_{0},d_{[0,\infty )\times \mathbb {R}^{k}\times N_{0}})\).
Proof
Due to Theorem 1.3, the metric space \((M,d_{M})\) is isometric to \(([0,\infty )\times _{F} \partial M,d_{[0,\infty )\times _{F} \partial M})\). Moreover, for every \(x\in \partial M\), the function \(f\circ \gamma _{x}\) is constant on \([0,\infty )\); in particular, \((M,d_{M})\) is isometric to \(([0,\infty )\times \partial M,d_{[0,\infty )\times \partial M})\). For every \(x\in \partial M\), it holds that \({\text {Hess}}f(u_{x},u_{x})=0\). By Lemma 5.6, we have \({\text {Ric}}^{N-1}_{f|_{\partial M}}={\text {Ric}}^{N}_{f}\) on the unit tangent bundle over \(\partial M\). It follows that \({\text {Ric}}^{N-1}_{f|_{\partial M},\partial M} \ge 0\). Note that \(N-1\) is smaller than 1, and \(\sup _{x\in \partial M}f(x)\) is finite. Applying Theorem 5.7 to \(\partial M\) inductively, we complete the proof. \(\square \)
5.4 Variants of the Splitting Theorem
We have already known several rigidity results studied in [13] (and [9, 12]) for manifolds with boundary whose boundaries are disconnected. In [33], the author has given generalizations of them in the usual weighted case (see Sect. 6.4 in [33]). We generalize one of them in our setting.
For \(A_{1}, A_{2}\subset M\), we put \(d_{M}(A_{1},A_{2}):=\inf _{p_{1}\in A_{1}, p_{2}\in A_{2}}\,d_{M}(p_{1},p_{2})\).
The following has been shown in [13] (see Lemma 1.6 in [13]):
Lemma 5.9
[13] Suppose that \(\partial M\) is disconnected. Let \(\{\partial M_{i}\}_{i=1,2,\dots }\) denote the connected components of \(\partial M\). Assume that \(\partial M_{1}\) is compact. Put \(D:=\inf _{i=2,3,\dots }\, d_{M}(\partial M_{1},\partial M_{i})\). Then there exists a connected component \(\partial M_{2}\) of \(\partial M\) such that \(d_{M}(\partial M_{1},\partial M_{2})=D\). Furthermore, for every \(i=1,2\) there exists \(x_{i}\in \partial M_{i}\) such that \(d_{M}(x_{1},x_{2})=D\). The normal minimal geodesic \(\gamma :[0,D]\rightarrow M\) from \(x_{1}\) to \(x_{2}\) is orthogonal to \(\partial M\) both at \(x_{1}\) and at \(x_{2}\), and the restriction \(\gamma |_{(0,D)}\) lies in \(\mathrm {Int}\,M\).
We prove the following splitting theorem:
Theorem 5.10
Let M be a connected complete Riemannian manifold with boundary, and let \(f:M\rightarrow \mathbb {R}\) be a smooth function. Suppose that \(\partial M\) is disconnected. Let \(\{\partial M_{i}\}_{i=1,2,\dots }\) denote the connected components of \(\partial M\). Suppose that \(\partial M_{1}\) is compact, and put \(D:=\inf _{i=2,3,\dots }\, d_{M}(\partial M_{1},\partial M_{i})\). Let \(\kappa \in \mathbb {R}\) and \(\lambda \in \mathbb {R}\) satisfy the subharmonic condition. For \(N \in (-\infty ,1]\) we suppose \({\text {Ric}}^{N}_{f,M}\ge \kappa \), and \(H_{f,\partial M} \ge \lambda \). Then \((M,d_{M})\) is isometric to \(([0,D]\times _{F}\partial M_{1},d_{[0,D]\times _{F} \partial M_{1}})\). Moreover, if \(N\in (-\infty ,1)\), then for every \(x\in \partial M_{1}\) the function \(f\circ \gamma _{x}\) is constant on [0, D]; in particular, \((M,d_{M})\) is isometric to \(([0,D] \times \partial M_{1},d_{[0,D] \times \partial M_{1}})\).
Proof
By Lemma 5.9, there exists a connected component \(\partial M_{2}\) of \(\partial M\) such that \(d_{M}(\partial M_{1},\partial M_{2})=D\). For each \(i=1,2\), let \(\rho _{\partial M_{i}}:M\rightarrow \mathbb {R}\) be the distance function from \(\partial M_{i}\) defined as \(\rho _{\partial M_{i}}(p):=d_{M}(p,\partial M_{i})\). Put
Lemma 5.9 implies that \(\Omega \) is a non-empty closed subset of \(\mathrm {Int}\,M\).
We show that \(\Omega \) is open in \(\mathrm {Int}\,M\). Take \(p\in \Omega \). For each \(i=1,2\), there exists a foot point \(x_{p,i}\in \partial M_{i}\) on \(\partial M_{i}\) of p such that \(d_{M}(p,x_{p,i})=\rho _{\partial M_{i}}(p)\). From the triangle inequality, we derive \(d_{M}(x_{p,1},x_{p,2})=D\). The normal minimal geodesic \(\gamma :[0,D]\rightarrow M\) from \(x_{p,1}\) to \(x_{p,2}\) is orthogonal to \(\partial M\) at \(x_{p,1}\) and at \(x_{p,2}\). Furthermore, \(\gamma |_{(0,D)}\) lies in \(\mathrm {Int}\,M\) and passes through p. There exists an open neighborhood U of p such that U is contained in \(\mathrm {Int}\,M\) and \(\rho _{\partial M_{i}}\) is smooth on U. By using Lemma 3.2, we see \(\Delta _{f}\, \rho _{\partial M_{i}} \ge 0\) on U; in particular, \(-(\rho _{\partial M_{1}}+\rho _{\partial M_{2}})\) is f-subharmonic on U. Lemma 5.1 implies that \(\Omega \) is open in \(\mathrm {Int}\,M\).
Since \(\mathrm {Int}\,M\) is connected, we have \(\mathrm {Int}\,M=\Omega \). For each \(x\in \partial M_{1}\), choose an orthonormal basis \(\{e_{x,i}\}_{i=1}^{n-1}\) of \(T_{x}\partial M\). Let \(\{Y_{x,i}\}^{n-1}_{i=1}\) be the \(\partial M\)-Jacobi fields along \(\gamma _{x}\) with initial conditions \(Y_{x,i}(0)=e_{x,i}\) and \(Y_{x,i}'(0)=-A_{u_{x}}e_{x,i}\). Using Lemma 3.5, for all i we see \(Y_{x,i}=F_{x}\,E_{x,i}\) on [0, D], where \(\{E_{x,i}\}^{n-1}_{i=1}\) are the parallel vector fields along \(\gamma _{x}\) with initial condition \(E_{x,i}(0)=e_{x,i}\). Moreover, if \(N\in (-\infty ,1)\), then for every \(x\in \partial M_{1}\) the function \(f\circ \gamma _{x}\) is constant on [0, D]. Define a map \(\Phi :[0,D]\times \partial M_{1}\rightarrow M\) by \(\Phi (t,x):=\gamma _{x}(t)\). The map \(\Phi \) is a Riemannian isometry with boundary from \([0,D]\times _{F} \partial M_{1}\) to M. \(\square \)
Remark 5.2
Wylie [39] has proved the same result as Theorem 5.10 when \(\kappa =0\) and \(\lambda =0\) (see Theorem 5.1 in [39]).
6 Eigenvalue Rigidity
Let M be an n-dimensional, connected complete Riemannian manifold with boundary with Riemannian metric g, and let \(f:M\rightarrow \mathbb {R}\) be a smooth function.
6.1 Lower Bounds
In [33], the author has shown the following Picone-type inequality proved by Allegretto and Huang [1] in the Euclidean case (see Theorem 1.1 in [1], and Lemma 7.1 in [33]).
Lemma 6.1
[33] Let \(\varphi \) and \(\psi \) be functions on M that are smooth on a domain U in M, and satisfy \(\varphi >0\) and \(\psi \ge 0\) on U. Then for all \(p\in (1,\infty )\) we have the following inequality on U:
Moreover, if the equality in (6.1) holds on U, then for some constant \(c\ne 0\) we have \(\psi =c\, \varphi \) on U.
We now give a proof of the inequality (1.9) in Theorem 1.5.
Proposition 6.2
Suppose that M is compact. Let \(p\in (1,\infty )\). Let \(\kappa \in \mathbb {R}\) and \(\lambda \in \mathbb {R}\) satisfy the subharmonic condition. For \(N \in (-\infty ,1]\) we suppose \({\text {Ric}}^{N}_{f,M}\ge \kappa \), and \(H_{f,\partial M} \ge \lambda \). For \(D\in (0,\infty )\) we assume \(D(M,\partial M)\le D\). Then we have (1.9).
Proof
Let \(\varphi _{p,D}:[0,D]\rightarrow \mathbb {R}\) be a function satisfying (1.8) for \(\mu =\mu _{p,D}\). We may assume \(\varphi _{p,D}|_{(0,D]}>0\). Then we see \(\varphi '_{p,D}|_{[0,D)}>0\). Put \(\Phi :=\varphi _{p,D}\circ \rho _{\partial M}\). Take a non-negative, non-zero smooth function \(\psi \) on M whose support is compact and contained in \(\mathrm {Int}\,M\). By Lemma 6.1
on \(\mathrm {Int}\,M \setminus \mathrm {Cut}\,\partial M\). From (6.2) and Proposition 3.7, we derive
It follows that \(R_{f,p}(\psi )\ge \mu _{p,D}\). Hence, we arrive at (1.9). \(\square \)
Remark 6.1
In Proposition 6.2, we assume that there exists a non-negative, non-zero smooth function \(\psi :M\rightarrow \mathbb {R}\) whose support is compact and contained in \(\mathrm {Int}\,M\) such that \(R_{f,p}(\psi )=\mu _{p,D}\). Then the equality in (6.2) holds on \(\mathrm {Int}\,M \setminus \mathrm {Cut}\,\partial M\), and hence for some constant \(c\ne 0\) we have \(\psi =c\, \Phi \) on M (see Lemma 6.1). The equality case in (3.11) also happens (see Remark 3.4).
6.2 Equality Cases
For a positive number \(D\in (0,\infty )\), we put \(S_{D}(\partial M):=B_{D}(\partial M)\setminus U_{D}(\partial M)\).
For the proof of Theorem 1.5, we show the following lemma concerning the F-model space introduced in Sect. 1.4:
Lemma 6.3
Suppose that M is compact. Let \(\kappa \in \mathbb {R}\) and \(\lambda \in \mathbb {R}\) satisfy the subharmonic condition. For \(N \in (-\infty ,1]\) we suppose \({\text {Ric}}^{N}_{f,M}\ge \kappa \), and \(H_{f,\partial M} \ge \lambda \). Assume that for some \(D\in (0,\infty )\) we have \(\mathrm {Cut}\,\partial M=S_{D}(\partial M)\). For each \(x\in \partial M\), choose an orthonormal basis \(\{e_{x,i}\}_{i=1}^{n-1}\) of \(T_{x}\partial M\), and let \(\{Y_{x,i}\}^{n-1}_{i=1}\) be the \(\partial M\)-Jacobi fields along \(\gamma _{x}\) with initial conditions \(Y_{x,i}(0)=e_{x,i}\) and \(Y_{x,i}'(0)=-A_{u_{x}}e_{x,i}\). Assume further that for all i we have \(Y_{x,i}=F_{x}\, E_{x,i}\) on [0, D], where \(\{E_{x,i}\}^{n-1}_{i=1}\) are the parallel vector fields along \(\gamma _{x}\) with initial condition \(E_{x,i}(0)=e_{x,i}\). Then \((M,d_{M})\) is an F-model space.
Proof
First, we assume that \(\partial M\) is disconnected. Let \(\{\partial M_{i}\}_{i=1,2,\dots }\) be the connected components of \(\partial M\). Put \(D_{1}:=\inf _{i=2,3,\dots }\, d_{M}(\partial M_{1},\partial M_{i})\). By Theorem 5.10, there exists a connected component \(\partial M_{1}\) such that \((M,d_{M})\) is isometric to \(([0,D_{1}] \times _{F} \partial M_{1},d_{[0,D_{1}] \times _{F} \partial M_{1}})\). From \(\mathrm {Cut}\,\partial M=S_{D}(\partial M)\), it follows that \(D(M,\partial M)=D\) and \(D_{1}=2D\), and hence \((M,d_{M})\) is an F-model space.
Next, we assume that \(\partial M\) is connected. By \(\mathrm {Cut}\,\partial M=S_{D}(\partial M)\), we have \(D(M,\partial M)=D\). From the property of Jacobi fields, \(S_{D}(\partial M)\) is a smooth hypersurface in M, and every point in \(S_{D}(\partial M)\) has two distinct foot points on \(\partial M\). For every \(x\in \partial M\), the vector \(\gamma '_{x}(D)\) is orthogonal to \(S_{D}(\partial M)\), and hence the number of foot points on \(\partial M\) of \(\gamma _{x}(D)\) is equal to two. Now, we define an involutive isometry \(\sigma :\partial M\rightarrow \partial M\) without fixed points by \(\sigma (x):=y\), where y is the foot point on \(\partial M\) of \(\gamma _{x}(D)\) that is different from x. We also define a map \(\Phi :[0,2D]\times \partial M\rightarrow M\) as follows: If \(t \in [0,D)\), then \(\Phi (t,x):=\gamma _{x}(t)\); if \(t \in (D,2D]\), then \(\Phi (t,x):=\gamma _{\sigma (x)}(2D-t)\). We see that \(\Phi \) is surjective and continuous. For all \(x \in \partial M\) and \(t \in [0,2D]\) we have \(\Phi (t,x)=\Phi (2D-t,\sigma (x))\). Since for all \(x\in \partial M\) and i we have \(Y_{x,i}=F_{x}\, E_{x,i}\) on [0, D], the map \(\Phi |_{[0,D)}\) gives an isometry between \((U_{D}(\partial M),g)\) and the twisted product space \([0,D)\times _{F} \partial M\). Therefore, M is isometric to the quotient space \(([0,2D]\times _{F} \partial M)/G_{\sigma }\), where \(G_{\sigma }\) is the isometry group on \([0,2D]\times _{F} \partial M\) of the identity and the involute isometry \({\hat{\sigma }}\) defined by \({\hat{\sigma }}(t,x):=(2D-t,\sigma (x))\). This implies that \((M,d_{M})\) is an F-model space. We complete the proof. \(\square \)
Furthermore, we recall the following fact concerning eigenfunctions for the (f, p)-Laplacian (see, e.g., [33, 36]):
Proposition 6.4
Suppose that M is compact. Let \(p\in (1,\infty )\). Then there exists a non-negative, non-zero function \(\Psi \) in \(W^{1,p}_{0}(M,m_{f})\) such that \(R_{f,p}(\Psi )=\mu _{f,1,p}(M)\). Moreover, for some \(\alpha \in (0,1)\) the function \(\Psi \) is \(C^{1,\alpha }\)-Hölder continuous on M.
Now, we prove Theorem 1.5 and Corollary 1.6.
Proof of Theorem 1.5
Suppose that M is compact. Let \(p\in (1,\infty )\), and let \(\kappa \in \mathbb {R}\) and \(\lambda \in \mathbb {R}\) satisfy the subharmonic condition. For \(N \in (-\infty ,1]\) we suppose \({\text {Ric}}^{N}_{f,M}\ge \kappa \), and \(H_{f,\partial M} \ge \lambda \). For \(D\in (0,\infty )\), we assume \(D(M,\partial M)\le D\). From Proposition 6.2, we derive (1.9).
We assume that the equality in (1.9) holds. Proposition 6.4 implies that there exists a non-negative, non-zero function \(\Psi \) in \(W^{1,p}_{0}(M,m_{f})\) such that \(R_{f,p}(\Psi )=\mu _{p,D}\) and \(\Psi \) is \(C^{1,\alpha }\)-Hölder continuous on M. Let \(\varphi _{p,D}:[0,D]\rightarrow \mathbb {R}\) be a function satisfying (1.8) for \(\mu =\mu _{p,D}\), and let \(\varphi _{p,D}|_{(0,D]}>0\). Putting \(\Phi :=\varphi _{p,D}\circ \rho _{\partial M}\), we see that \(\Phi \) coincides with a constant multiplication of \(\Psi \) on M (see Remark 6.1); in particular, \(\Phi \) is also \(C^{1,\alpha }\)-Hölder continuous on M.
For each \(x\in \partial M\), we choose an orthonormal basis \(\{e_{x,i}\}_{i=1}^{n-1}\) of \(T_{x}\partial M\). Let \(\{Y_{x,i}\}^{n-1}_{i=1}\) be the \(\partial M\)-Jacobi fields along \(\gamma _{x}\) with initial conditions \(Y_{x,i}(0)=e_{x,i}\) and \(Y_{x,i}'(0)=-A_{u_{x}}e_{x,i}\). Then for all i we have \(Y_{x,i}=F_{x}\, E_{x,i}\) on \([0,\tau (x)]\), where \(\{E_{x,i}\}^{n-1}_{i=1}\) are the parallel vector fields along \(\gamma _{x}\) with initial condition \(E_{x,i}(0)=e_{x,i}\); moreover, if \(N \in (-\infty ,1)\), then \(f \circ \gamma _{x}\) is constant on \([0,\tau (x)]\) (see Remark 6.1).
We show \(\mathrm {Cut}\,\partial M=S_{D}(\partial M)\). From \(D(M,\partial M)\le D\) we deduce \(S_{D}(\partial M)\subset \mathrm {Cut}\,\partial M\). We prove the opposite. Take \(p_{0}\in \mathrm {Cut}\,\partial M\). By the property of Jacobi fields, \(\rho _{\partial M}\) is not differentiable at \(p_{0}\). From the regularity of \(\Phi \), it follows that \(\varphi '_{p,D}(\rho _{\partial M}(p_{0}))=0\); in particular, \(\rho _{\partial M}(p_{0})=D\). Hence, \(\mathrm {Cut}\,\partial M=S_{D}(\partial M)\). This implies \(D(M,\partial M)=D\). By Lemma 6.3, we complete the proof of Theorem 1.5. \(\square \)
Proof of Corollary 1.6
By Theorem 1.5 and Proposition 2.9, we complete the proof of Corollary 1.6. \(\square \)
By Theorem 1.5 and \(\mu _{2,D}= \pi ^{2}(2D)^{-2}\), we have the following:
Corollary 6.5
Let M be a connected complete Riemannian manifold with boundary, and let \(f:M\rightarrow \mathbb {R}\) be a smooth function. Suppose that M is compact. Let \(\kappa \in \mathbb {R}\) and \(\lambda \in \mathbb {R}\) satisfy the subharmonic condition. For \(N\in (-\infty ,1]\) we suppose \({\text {Ric}}^{N}_{f,M}\ge \kappa \), and suppose \(H_{f,\partial M} \ge \lambda \). For \(D\in (0,\infty )\) we assume \(D(M,\partial M)\le D\). Then
If the equality in (6.3) holds, then \(D(M,\partial M)=D\), and the metric space \((M,d_{M})\) is an F-model space. Moreover, if \(N\in (-\infty ,1)\), then for every \(x\in \partial M\) the function \(f\circ \gamma _{x}\) is constant on [0, D]; in particular, \((M,d_{M})\) is an equational model space.
6.3 Explicit Lower Bounds
Let \(\Omega \) be a relatively compact domain in M such that \(\partial \Omega \) is a smooth hypersurface in M satisfying \(\partial \Omega \cap \partial M=\emptyset \). For the canonical Riemannian volume measure \({\text {vol}}_{\partial \Omega }\) on \(\partial \Omega \), let \(m_{f,\partial \Omega }:=e^{-f|_{\partial \Omega }}\, {\text {vol}}_{\partial \Omega }\). Put
In the usual weighted case, the author [33] has proved the following volume estimate (see Propositions 8.1 and 8.2 in [33]):
Proposition 6.6
[33] Let M be an n-dimensional, connected complete Riemannian manifold with boundary, and let \(f:M\rightarrow \mathbb {R}\) be a smooth function. For \(N \in [n,\infty ]\) we suppose \({\text {Ric}}^{N}_{f,M}\ge 0\), and \(H_{f,\partial M} \ge 0\). Let \(\Omega \) be a relatively compact domain in M such that \(\partial \Omega \) is a smooth hypersurface in M satisfying \(\partial \Omega \cap \partial M=\emptyset \). Then
where \(\delta _{1}(\Omega )\) and \(\delta _{2}(\Omega )\) are the values defined as (6.4).
Kasue [15] has obtained Proposition 6.6 in the unweighted case.
In our setting, we have the following volume estimate:
Proposition 6.7
Let M be a connected complete Riemannian manifold with boundary, and let \(f:M\rightarrow \mathbb {R}\) be a smooth function. Let \(\kappa \in \mathbb {R}\) and \(\lambda \in \mathbb {R}\) satisfy the subharmonic condition. For \(N \in (-\infty ,1]\) we suppose \({\text {Ric}}^{N}_{f,M}\ge \kappa \), and \(H_{f,\partial M} \ge \lambda \). Let \(\Omega \) be a relatively compact domain in M such that \(\partial \Omega \) is a smooth hypersurface in M satisfying \(\partial \Omega \cap \partial M=\emptyset \). Then
where \(\delta _{1}(\Omega )\) and \(\delta _{2}(\Omega )\) are the values defined as (6.4).
We can prove Proposition 6.7 only by replacing the role of the comparison result in the usual weighted case with that of Lemma 3.1 in the proof of Proposition 6.6. We omit the proof.
From Proposition 6.6, the author [33] has derived the following estimate in the usual weighted case (see Theorems 8.4 and 8.5 in [33]):
Theorem 6.8
[33] Let M be an n-dimensional, connected complete Riemannian manifold with boundary, and let \(f:M\rightarrow \mathbb {R}\) be a smooth function. Suppose that \(\partial M\) is compact. Let \(p\in (1,\infty )\). For \(N \in [n,\infty ]\) we suppose \({\text {Ric}}^{N}_{f,M}\ge 0\), and \(H_{f,\partial M} \ge 0\). For \(D\in (0,\infty )\) we assume \(D(M,\partial M)\le D\). Then we have \(\mu _{f,1,p}(M)\ge (pD)^{-p}\).
The author [32] has shown Theorem 6.8 in the unweighted case.
In our setting, we can prove the following result by using Proposition 6.7 instead of Proposition 6.6 in the proof of Theorem 6.8. The argument is in [33].
Theorem 6.9
Let M be a connected complete Riemannian manifold with boundary, and let \(f:M\rightarrow \mathbb {R}\) be a smooth function. Suppose that \(\partial M\) is compact. Let \(p\in (1,\infty )\), and let \(\kappa \in \mathbb {R}\) and \(\lambda \in \mathbb {R}\) satisfy the subharmonic condition. For \(N \in (-\infty ,1]\) we suppose \({\text {Ric}}^{N}_{f,M}\ge \kappa \), and \(H_{f,\partial M} \ge \lambda \). For \(D\in (0,\infty )\) we assume \(D(M,\partial M)\le D\). Then we have \(\mu _{f,1,p}(M)\ge (pD)^{-p}\).
References
Allegretto, W., Huang, Y.X.: A Picone’s identity for the \(p\)-Laplacian and applications. Nonlinear Anal. 32(7), 819–830 (1998)
Bakry, D., Émery, M.: Diffusions hypercontractives, Séminaire de Probabilités, XIX, 1983/84, 177–206. Lecture Notes in Mathematics, vol. 1123. Springer, Berlin (1985)
Bayle, V.: Propriétés de concavité du profil isopérimétrique et applications, PhD Thesis, Université Joseph-Fourier-Grenoble I (2003)
Besse, A.L.: Einstein Manifolds. Springer, Berlin (1987)
Burago, D., Burago, Y., Ivanov, S.: A Course in Metric Geometry. Graduate Studies in Mathematics, vol. 33. American Mathematical Society, Providence, RI (2001)
Calabi, E.: An extension of E. Hopf’s maximum principle with an application to Riemannian geometry. Duke Math. J. 25, 45–56 (1958)
Cheeger, J.: Degeneration of Riemannian metrics under Ricci curvature bounds. Accademia Nazionale dei Lincei. Scuola Normale Superiore, Lezione Fermiane (2001)
Cheeger, J., Gromoll, D.: The splitting theorem for manifolds of nonnegative Ricci curvature. J. Differ. Geom. 6, 119–128 (1971/1972)
Croke, C., Kleiner, B.: A warped product splitting theorem. Duke Math. J. 67(3), 571–574 (1992)
Fang, F., Li, X., Zhang, Z.: Two generalizations of Cheeger–Gromoll splitting theorem via Bakry–Emery Ricci curvature. Ann. Inst. Fourier (Grenoble) 59(2), 563–573 (2009)
Heintze, E., Karcher, H.: A general comparison theorem with applications to volume estimates for submanifolds. Ann. Sci. École Norm. Sup. (4) 11(4), 451–470 (1978)
Ichida, R.: Riemannian manifolds with compact boundary. Yokohama Math. J. 29(2), 169–177 (1981)
Kasue, A.: Ricci curvature, geodesics and some geometric properties of Riemannian manifolds with boundary. J. Math. Soc. Japan 35(1), 117–131 (1983)
Kasue, A.: On a lower bound for the first eigenvalue of the Laplace operator on a Riemannian manifold. Ann. Sci. École Norm. Sup. (4) 17(1), 31–44 (1984)
Kasue, A.: Applications of Laplacian and Hessian Comparison Theorems, Geometry of geodesics and related topics (Tokyo, 1982), 333–386, Advanced Studies in Pure Mathematics, vol. 3, North-Holland, Amsterdam (1984)
Klartag, B.: Needle decompositions in Riemannian geometry. Mem. Am. Math. Soc. 249(1180), v + 77 pp (2017)
Kolesnikov, A.V., Milman, E.: Isoperimetric inequalities on weighted manifolds with boundary. Dokl. Akad. Nauk 464(2), 136–140 (2015)
Li, P., Yau, S.T.: Estimates of eigenvalues of a compact Riemannian manifold. Proc. Symp. Pure Math. 36, 205–239 (1980)
Lichnerowicz, A.: Variétés riemanniennes à tenseur C non négatif. C. R. Acad. Sci. Paris Sér. A-B 271, A650–A653 (1970)
Lott, J.: Some geometric properties of the Bakry–Émery–Ricci tensor. Comment. Math. Helv. 78(4), 865–883 (2003)
Lott, J., Villani, C.: Weak curvature conditions and functional inequalities. J. Funct. Anal. 245(1), 311–333 (2007)
Lott, J., Villani, C.: Ricci curvature for metric-measure spaces via optimal transport. Ann. Math. (2) 169(3), 903–991 (2009)
Milman, E.: Beyond traditional curvature-dimension I: new model spaces for isoperimetric and concentration inequalities in negative dimension. Trans. Am. Math. Soc. 369(5), 3605–3637 (2017)
Morgan, F.: Manifolds with density. Not. Am. Math. Soc. 52(8), 853–858 (2005)
Ohta, S.: \((K, N)\)-convexity and the curvature-dimension condition for negative \(N\). J. Geom. Anal. 26(3), 2067–2096 (2016)
Ohta, S., Takatsu, A.: Displacement convexity of generalized relative entropies. Adv. Math. 228(3), 1742–1787 (2011)
Ohta, S., Takatsu, A.: Displacement convexity of generalized relative entropies. II. Commun. Anal. Geom. 21(4), 687–785 (2013)
Perales, R.: Volumes and limits of manifolds with Ricci curvature and mean curvature bound. Differ. Geom. Appl. 48, 23–37 (2016)
Petersen, P.: Riemannian Geometry: Second Edition. Graduate Texts in Mathematics, vol. 171. Springer, New York (2006)
Qian, Z.: Estimates for weighted volumes and applications. Q. J. Math. Oxf. Ser. (2) 48(190), 235–242 (1997)
Sakai, T.: Riemannian Geometry. Translations of Mathematical Monographs, vol. 149. American Mathematical Society, Providence, RI (1996)
Sakurai, Y.: Rigidity of manifolds with boundary under a lower Ricci curvature bound. Osaka J. Math. 54(1), 85–119 (2017)
Sakurai, Y.: Rigidity of manifolds with boundary under a lower Bakry–Émery Ricci curvature bound. Tohoku Math. J. arXiv preprint arXiv:1506.03223v4 (2016)
Sturm, K.-T.: On the geometry of metric measure spaces. I. Acta Math. 196(1), 65–131 (2006)
Sturm, K.-T.: On the geometry of metric measure spaces. II. Acta Math. 196(1), 133–177 (2006)
Tolksdorf, P.: Regularity for a more general class of quasilinear elliptic equations. J. Differ. Equ. 51(1), 126–150 (1984)
Villani, C.: Optimal Transport: Old and New. Springer, Berlin (2009)
Wei, G., Wylie, W.: Comparison geometry for the Bakry–Emery Ricci tensor. J. Differ. Geom. 83(2), 377–405 (2009)
Wylie, W.: A warped product version of the Cheeger-Gromoll splitting theorem. Trans. Am. Math. Soc. 369(9), 6661–6681 (2017)
Wylie, W., Yeroshkin, D.: On the geometry of Riemannian manifolds with density. arXiv preprint arXiv:1602.08000 (2016)
Acknowledgements
The author would like to express his gratitude to Professor Koichi Nagano for his constant advice and suggestions. The author would also like to thank Professor Shin-ichi Ohta for his valuable comments. The author would like to thank Professor William Wylie for his valuable advice concerning Proposition 2.9.
Author information
Authors and Affiliations
Corresponding author
Additional information
Research Fellow of Japan Society for the Promotion of Science for 2014–2016.
Rights and permissions
About this article
Cite this article
Sakurai, Y. Rigidity Phenomena in Manifolds with Boundary Under a Lower Weighted Ricci Curvature Bound. J Geom Anal 29, 1–32 (2019). https://doi.org/10.1007/s12220-017-9871-7
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s12220-017-9871-7