Abstract
We study the relationship between the geometry of smoothly bounded domains in complete Riemannian manifolds and the associated sequence of \(L^1\)-norms of exit time moments for Brownian motion. We establish bounds for Dirichlet eigenvalues and, for closed manifolds, we establish a comparison result for elements of the moment sequence using lower bounds on Ricci curvature.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The relationship between the geometry of a complete Riemannian manifold and properties of the associated collection of Brownian paths is the subject of many papers. Driven in part by the attraction of developing new tools and intuitions for old problems, the associated literature has grown steadily with a variety of cross-fertilizations appearing over the course of the last 20 years. This paper contributes to efforts in this direction: we study the comparison geometry and spectral geometry of smoothly bounded precompact domains in complete Riemannian manifolds using a collection of invariants that arise naturally in the context of probability. These invariants are constructed using Brownian paths and the volume form; they are naturally connected to the heat kernel and the Dirichlet spectrum. Our results shed light on this connection.
To formulate our results we need some notation. Let (M, g) be a complete Riemannian manifold and let \(\Omega \subseteq M\) be a smoothly bounded precompact domain. We will denote by \(X_t\) Brownian motion on M and by \({\mathbb P}^x\) the associated probability measure charging Brownian paths beginning at \(x\in M.\) Let \(\tau \) be the first exit time of \(X_t\) from \(\Omega \):
Then \(\tau \) is a random variable whose expectation with respect to the measure \({\mathbb P}^x\) solves a Poisson problem on \(\Omega .\) More precisely, writing \(u_1(x) = {\mathbb E}^x[\tau ],\) we have that \(u_1\) satisfies
If d\(V_g\) denotes the volume form on M and we integrate over \(\Omega \), we obtain an invariant of the domain:
The invariant \(T_1(\Omega )\) is called the torsional rigidity of the domain \(\Omega \) and it has a long history. First studied in the nineteenth century as part of the theory of elastic bodies, it exhibits properties analogous to those of the first Dirichlet eigenvalue (see [21] for background on torsional rigidity and fundamental frequency). Our first collection of invariants is a straightforward generalization of torsional rigidity obtained by integrating higher moments of the exit time. Given a positive integer n, we define
We call the collection \(\{T_n(\Omega )\}_{n\in {\mathbb N}}\) the \(L^1\)-moment spectrum of\(\Omega .\) Our results involve the degree to which the geometry of a bounded domain can be studied using this family of invariants.
We can express \(T_n(\Omega )\) using the heat kernel by integrating twice over the domain \(\Omega \) (see Sect. 2). Because the heat kernel can be written in terms of eigenfunctions for the Dirichlet problem, it is natural to consider a second collection of invariants indexed by the values of the Dirichlet spectrum associated to \(\Omega .\) To proceed we need more notation.
Let \(\text {spec}(\Omega )\) denote the Dirichlet spectrum listed in increasing order, with multiplicity. Given an eigenvalue \(\lambda \in \text {spec}(\Omega ),\) let \(E_\lambda \) be the eigenspace associated to \(\lambda \), and let \(a_\lambda ^2\) be the square of the \(L^2\)-norm of the orthogonal projection of the constant function 1 on \(E_\lambda .\) Let \(\text {spec}^*(\Omega )\) be the collection of real numbers \(\nu \) for which \(\nu \in \text {spec}(\Omega )\) and \(a_\nu ^2>0.\) Then, as explained in Sect. 2 below, the invariants \(a_\nu ^2\) satisfy
We can now state our first result:
Theorem 1.1
Let M be a complete Riemannian manifold and \(\Omega \subseteq M\) a smoothly bounded precompact domain. Let \(\lambda _n\) be the nth Dirichlet eigenvalue and denote by \(\text {spec}^*(\Omega )\) the values of the Dirichlet spectrum for which the associated eigenspace is not orthogonal to constants. Then, with \(a_\nu ^2\) as above, we have the estimate
Moreover, if \(\lambda _n(\Omega )\in \text {spec}^{*}(\Omega )\), the inequality becomes an equality in the limit as \(k\rightarrow \infty \).
This result is an extension of the work of Dryden et al. [10] where the case n=1 was established without an equality claim. The original motivation for the n=1 result involved applications in shape optimization and a sharpening of an inequality of Pólya for Euclidean domains (see [23, 25]). Similar results were obtained by Hurtado et al. [14] in the context of warped product spaces. Motivated by a desire to understand Dirichlet spectrum for rotationally symmetric geodesic balls, Bessa et al. [4] obtain related results using the Green’s operator for the underlying domain. Taken in sum, the work referenced above suggests that there should be a rich comparison geometry theory (see also [12, 13, 18]). In the remainder of our paper, we develop this line of thought for spaces with Ricci curvature bounded below.
A great deal is known about the structure of Riemannian manifolds with a lower Ricci curvature bound (see [11, 26], for example). For our purposes, lower bounds on Ricci curvature provide model spaces for comparison that, in turn, provide tools to establish estimates for our invariants. Chief among the tools we employ is an isoperimetric result due to Bérard et al. [3]. For closed (compact without boundary) Riemannian manifolds, the result of [3] provides a Euclidean sphere, \({\mathbb S}^d(R)\), as a comparison space where the radius R depends only on the dimension, the diameter, and the Ricci bound (see Theorem 2.1). We prove:
Theorem 1.2
Let (M, g) be a connected d-dimensional closed Riemannian manifold with Ricci curvature bounded below by \((d-1)K,\)\(K\in {\mathbb R},\) and let \(({\mathbb S}^d(R),g_0)\) be the Euclidean sphere prescribed by [3]. Let \(\Omega \subseteq M\) be a smoothly bounded domain and let \(\Omega ^*\) be a geodesic ball in \({\mathbb S}^d(R)\) satisfying \(\frac{\text {Vol}_g(\Omega )}{\text {Vol}_g(M)} = \frac{\text {Vol}_{g_0}(\Omega ^*)}{\text {Vol}_{g_0}(\mathbb {S}^d(R))}.\) Then the moment spectra satisfy the inequality
for each \(n\ge 1\). Moreover, if \(K>0\) and \(\Omega ^{**}\) is a geodesic ball in \({\mathbb S}^d\left( \frac{1}{\sqrt{K}}\right) \) satisfying \(\frac{\text {Vol}_g(\Omega )}{\text {Vol}_g(M)} = \frac{\text {Vol}_{g_1}(\Omega ^{**})}{\text {Vol}_{g_1}\left( \mathbb {S}^d\left( \frac{1}{\sqrt{K}}\right) \right) }\), then we also have
If equality holds in (5) for some index n, then M is isometric to the sphere \(\mathbb {S}^d\left( \frac{1}{\sqrt{K}}\right) \) and \(\Omega \) is isometric to a geodesic ball in \(\mathbb {S}^d\left( \frac{1}{\sqrt{K}}\right) \).
To place our work in the literature, we focus our remarks on material involving exit time and comparison geometry that shaped the development of our results. In an early result in this direction, Debiard et al. [9] studied the behavior of heat kernels on geodesic balls. The authors proved a theorem similar to Theorem 1.2 in which they compared mean exit time for geodesic balls with mean exit time for geodesic balls in a space form. For Euclidean domains, Aizenman and Simon [1] used the rearrangement result of Brascamp, Lieb, and Luttinger to prove that for given volume, pointwise mean exit time moments are bounded by the corresponding moments for Brownian motion starting at the center of a ball of the same volume. In [16], the authors studied Euclidean domains using isoperimetric comparison, rearrangement results for elliptic PDE, and a description of exit time moments as a solution of a hierarchy of Poisson problems to recover the above result of Aizenman and Simon and establish corresponding results for the \(L^1\)-moment spectrum. Using isoperimetric comparison, the results of [16] were extended to space forms in [17]. In [6], Burchard and Schmuckenschläger studied the behavior of heat kernels for constant curvature space forms under symmetric rearrangement. They used their results to bound exit time moments as above; they established the case of equality for domains in space forms, and they conjectured a result that implies Theorem 1.2 (see Conjecture 4.11 of [6]). Recently, Cadeddu et al. [7] studied the optimization problem for the first exit time moment (torsional rigidity) and, using symmetric rearrangement, established comparison results under a variety of constraints involving bounded geometry, including the case of smoothly bounded precompact domains in manifolds with Ricci curvature bounded below. Amongst the tools used in [7] is the isoperimetric comparison result of [3] cited above (see Sect. 2). To establish our results, we use the isoperimetric comparison result of Bérard et al. [3], symmetrization techniques in the spirit of Talenti [22], and the description of the \(L^1\)-moment spectrum in terms of a hierarchy of Poisson problems.
As a corollary of Theorem 1.1 and the techniques used to establish the result, we establish a relationship between higher moments and the Cheeger constant (Theorem 3.3). As a corollary of Theorem 1.2, we establish a Faber–Krahn theorem that illustrates how one might extract information contained in the higher moments (Corollary 3.5; see also [18]).
The remainder of this note is structured as follows: in the next section, we provide the required background involving exit time moments and symmetrization, including a discussion of the relationship between the \(L^1\)-moment spectrum and heat content. In Sect. 3, we provide proofs of Theorems 1.1 and 1.2 and the corollaries described above. Along the way, we also establish a rearrangement result for elliptic boundary value problems that we believe is of independent interest (see Theorem 3.4).
2 Background
2.1 Exit Time Moments
As in the Introduction, let (M, g) denote a complete d-dimensional Riemannian manifold with \(\Omega \) a smoothly bounded domain with compact closure. Let \(X_t\) denote Brownian motion in M with infinitesimal generator \(\Delta \) and for \(x\in M\) let \({\mathbb P}^x\) denote the probability measure charging Brownian paths beginning at x. Let \(\tau \) denote the first exit time from \(\Omega \):
For n a natural number, let \(T_n(\Omega )\) be defined as in (2):
where \({\mathbb E}^x\) denotes expectation with respect to \({\mathbb P}^x\) and \(\mathrm{d}V_g(x)\) denotes the volume form. The invariants \(T_n(\Omega )\) are closely related to the heat content of \(\Omega ,\) a function constructed from the solution of an initial value problem on the domain \(\Omega .\) More precisely, the solution of the initial value problem
can be written as
The heat content of \(\Omega \) is the function \(H:(0,\infty ) \rightarrow {\mathbb R}\) defined by
Using (9), we can express moments of the exit time in terms of u(t, x):
Combining (10) with Fubini’s Theorem, we see that we can express the invariant \(T_n(\Omega )\) as a moment of the heat content:
To elucidate the relationship between the \(L^1\)-moment spectrum and the Dirichlet spectrum, we write the solution of the initial value problem (6)–(8) in terms of the Dirichlet kernel. Let \(\text {spec}(\Omega )\) denote the Dirichlet spectrum of \(\Omega \) listed in increasing order with multiplicity and fix a corresponding orthonormal basis of eigenfunctions, \(\{\phi _\lambda : \lambda \in \text {spec}(\Omega )\}.\) Then the Dirichlet heat kernel for \(\Omega \) is given by
The heat content of \(\Omega \) is then given by
We can rewrite the sum occurring in (11) as follows: given a Dirichlet eigenvalue \(\lambda \) with corresponding eigenspace \(E_\lambda ,\) write
Then \(a_\lambda ^2\) is the square of the \(L^2\)-norm of the orthogonal projection of the constant function 1 on the eigenspace \(E_\lambda .\) We define a set of real numbers, \(\text {spec}^*(\Omega ),\) by
Using (11)–(13), we can rewrite the heat content as
As mentioned in the Introduction, the sequence \(\{a_\nu ^2\}_{\nu \in \text {spec}^*(\Omega )}\) is closely related to the volume of the domain \(\Omega .\) To see this is the case, note that there is a small time asymptotic expansion of H(t):
where the coefficients are local geometric invariants (see [24]). In particular, it is known that \(h_0 = \text {Vol}_g(\Omega )\) and we conclude
from which we see that the \(a_\nu ^2\)partition the volume of\(\Omega .\)
The most direct method for connecting the moment spectrum to the Dirichlet spectrum involves the study of the Mellin transform of the heat content. The Mellin transform of H(t) takes the form of a Dirichlet series
and extends meromorphically to the plane with poles at the negative half-integers (see [19]). The connection between the \(L^1\)-moment spectrum, the heat content, and the Dirichlet spectrum is embedded in the identity
To extract information from (17), we use recursion and a convenient relationship between \(T_n(\Omega )\) and a hierarchy of Poisson problems. More precisely, if we write
then we can apply the Laplace operator to the right-hand side of (10) and integrate by parts to see that \(u_n\) satisfies
This hierarchy is very useful in establishing Theorem 1.1.
2.2 Ricci Bounds and Symmetrization
To establish Theorem 1.2, we require results involving symmetrization and isoperimetric inequalities. Throughout this section, we assume that (M, g) is a connected and closed Riemannian manifold (so in particular (M, g) is complete by Hopf-Rinow). Denote the Ricci curvature of M by \(\text {Ric}_M,\) and let
Bérard, Besson, and Gallot showed in [3] (see also [5, 7]) that closed Riemannian manifolds with a lower Ricci curvature bound admit an isoperimetric inequality:
Theorem 2.1
With M as above, suppose the Ricci curvature on M satisfies \(R_{min}\ge (d-1)K\). Then there exists a d-dimensional sphere of radius R, denoted \(\mathbb {S}^d(R)\), where for any smoothly bounded domain \(\Omega \) in M, if \(\Omega ^{*}\) is a geodesic ball in \(\mathbb {S}^d(R)\) satisfying
then
Here, \(g_0\) denotes the canonical metric on \(\mathbb {S}^d(R)\). Moreover, the radius R depends only on K, the dimension d, and the diameter of M. Specifically, we have
where C(z) denotes the unique positive solution x of the equation
If \(K>0\), the isoperimetric inequality is sharp in the following sense: from Myers’s Theorem [20] and the explicit formula for R, we see \(R\le \frac{1}{\sqrt{K}}\). If \(\Omega ^{**}\) denotes a geodesic ball in the sphere \(\mathbb S^d \left( \frac{1}{\sqrt{K}}\right) \) satisfying \(\frac{\text {Vol}_g(\Omega )}{\text {Vol}_g(M)} = \frac{\text {Vol}_{g_1}(\Omega ^{**})}{\text {Vol}_{g_1}\left( \mathbb {S}^d\left( \frac{1}{\sqrt{K}}\right) \right) }\), then
where \(g_1\) denotes the canonical metric on \(\mathbb S^d \left( \frac{1}{\sqrt{K}}\right) \). When equality holds in (21), Cheng’s Theorem [8] implies that (M, g) is isometric to the sphere \(\left( \mathbb {S}^d\left( \frac{1}{\sqrt{K}}\right) ,g_1\right) \) (and \(\Omega \) is isometric to a geodesic ball). In what follows, we refer to this observation as the equality case of Theorem 2.1.
This isoperimetric inequality and the notion of spherical symmetrization play starring roles in the proofs of our comparison results. To define the latter notion, take \(f\in L^1(\Omega )\) non-negative and define the distribution function of f by
The decreasing rearrangement\(f^{\#}:[0,\text {Vol}_g(\Omega )]\rightarrow \mathbb {R}\) is then defined using the distribution function:
Finally, to define the spherical symmetrization\(f^{*}:\Omega ^{*} \rightarrow \mathbb {R}\) we fix a pole \(x_0\in \mathbb {S}^d(R)\) and use the decreasing rearrangement:
where B(r) denotes the geodesic ball in \(\mathbb {S}^d(R)\) centered at \(x_0\) of radius \(r=\text {dist}_{g_0}(x,x_0)\).
The spherical symmetrization \(f^{*}\) is a “rearrangement” of f in the sense that
for each \(t\in \mathbb {R}\). This equation essentially says that f and \(f^{*}\) have the same size. For instance, multiplying both sides by \(pt^{p-1}\) and integrating from 0 to \(\underset{\Omega }{\text {ess sup}}\,f\) yields
When the lower Ricci curvature bound satisfies \(K>0\), we shall consider a second spherical symmetrization defined on \(\mathbb {S}^d\left( \frac{1}{\sqrt{K}}\right) \). With \(f\in L^1(\Omega )\) as above, we similarly fix a pole \(x_1\in \mathbb {S}^d\left( \frac{1}{\sqrt{K}}\right) \) and define
where B(r) denotes the geodesic ball in \(\mathbb {S}^d\left( \frac{1}{\sqrt{K}}\right) \) centered at \(x_1\) of radius \(r=\text {dist}_{g_1}(x,x_1)\). Formulas analogous to (23) and (24) also hold for the symmetrization \(f^{**}\).
Before proceeding to our main results, we pause to explain our consideration of two spheres in the case of positive Ricci curvature. Here, our comparison results for solutions to PDE (Theorem 3.4), moment spectra (Theorem 1.2), and eigenvalues (Corollary 3.5) compare geometric data on M with geometric data on both \(\mathbb {S}^d(R)\) and \(\mathbb {S}^d\left( \frac{1}{\sqrt{K}}\right) \); the comparison with \(\mathbb {S}^d(R)\) is always stronger. However, we include the comparison with \(\mathbb {S}^d\left( \frac{1}{\sqrt{K}}\right) \) because there, we are able to handle sharp cases of equality.
3 Main Results
We start by collecting some basic facts about the moment spectrum on complete Riemannian manifolds.
Theorem 3.1
Let M be a complete Riemannian manifold and \(\Omega \subseteq M\) a smoothly bounded precompact domain. Then the moment spectrum \(T_n(\Omega )\) determines \(\text {spec}^{*}(\Omega )\) and the volume partition \(\{a_{\nu }^2\}_{\nu \in \text {spec}^{*}(\Omega )}.\) More precisely, for two successive elements \(\nu _k,\nu _{k+1}\in \text {spec}^{*}(\Omega )\), we have
and
In particular, since \(\frac{\nu _k}{\nu _{k+1}}<1\), we have
Proof
By (15) the \(a_{\nu }^2\) are bounded, say \(a_{\nu }^2\le N\) for \(\nu \in \text {spec}^{*}(\Omega )\). We therefore have
Since
letting \(n\rightarrow \infty \) in (26) and combining with (16) and (17) yields
We conclude that \(\nu _1\) is determined by the moment spectrum, and so too is
Arguing as above, we conclude
Since \(\frac{\nu _1}{\nu _2}<1\), we deduce
showing that \(a_{\nu _1}^2\) is determined by the moment spectrum. Having established that both \(\nu _1\) and \(a_{\nu _1}^2\) are determined by the moment spectrum, the same holds true for
Arguing exactly as above, we deduce that
We likewise deduce
and
We conclude that \(\nu _2\) and \(a_{\nu _2}^2\) are determined by the moment spectrum. The general claims and formulas follow by iterating this argument. \(\square \)
An immediate consequence of Theorem 3.1 is (see also [19]):
Corollary 3.2
The moment spectrum determines heat content.
Proof
This follows immediately from (14). \(\square \)
We next establish the estimate of Theorem 1.1:
Proof of Theorem 1.1
Replacing \(\lambda _n\) by the lowest equivalent eigenvalue, we may assume \(\lambda _{n-1}<\lambda _n\). Let \(v_1,v_2,\ldots , v_{n-1}\) denote a corresponding set of orthonormal eigenfunctions for the eigenvalues \(\lambda _1,\lambda _2,\ldots ,\lambda _{n-1}\). Define
where \(u_k\) solves (18) and \((\cdot ,\cdot )\) denotes the standard inner product on \(L^2(\Omega )\). Using u as a trial function in the Rayleigh quotient for \(\lambda _n\), we deduce
To simplify the numerator, we integrate by parts:
Iterating this process, we see
To further simplify (27), we compute
Iterating this argument gives
Fix an eigenvalue \(\nu \) from \(\lambda _1,\lambda _2,\ldots ,\lambda _{n-1}\) and let \(\text {proj}\,_{E_{\nu }}1\) denote the orthogonal projection of the constant function 1 onto the eigenspace \(E_{\nu }\). We then have
It follows from (29) that
We finally simplify the remaining term in the denominator of (27):
and repeated application of this argument yields
The claimed inequality (3) follows by using (28), (30), and (31) in (27) and using the definition of \(a_{\nu }^2\).
To establish the equality claim, assume \(\lambda _n=\nu _m\in \text {spec}^{*}(\Omega )\). We use (16) and (17), keeping only the first term of the denominator to estimate
We further estimate
where the last inequality follows from (15). Letting \(k\rightarrow \infty \) and combining (3), (32), and (33) gives the result. \(\square \)
The techniques used to prove Theorem 1.1 can also be used to establish estimates for the moment spectrum in terms of the manifold’s Cheeger constant. Recall that for compact manifolds M, the Cheeger constantC is defined by
where the \(\inf \) ranges over all smoothly bounded domains in M.
For the next result (and the remainder of the paper), we shall make use of the following shorthand notation for functions \(u:\Omega \rightarrow \mathbb {R}\):
We have the following estimate:
Theorem 3.3
Let M be a connected compact Riemannian manifold with \(\Omega \subseteq M\) a smoothly bounded domain. If \(\text {Vol}_g(\Omega )\le \frac{1}{2}\text {Vol}_g(M)\), then
Proof
Our argument follows [7]. By definition, with \(u_k\) as in (18),
From our assumption on the volume of \(\Omega \), we see \(\mu _{u_k}(t)\le \frac{1}{2}\text {Vol}_g(M)\). Moreover, because \(u_k\) is smooth, it follows from Sard’s Theorem that
for almost every \(t\ge 0\). For such t, it follows that
where C is the Cheeger constant. Invoking the coarea formula and Cauchy–Schwarz, (34) becomes
The argument used in the proof of Theorem 1.1 gives
Substituting this equality into (35) gives the result. \(\square \)
We now turn our attention to estimates that involve lower Ricci curvature bounds. Before proceeding, the reader may find it useful to review the definitions and notation introduced in Sect. 2.2. Our first result is the following PDE comparison principle:
Theorem 3.4
Let M, \(\Omega \), \(\mathbb {S}^d(R)\), \(\Omega ^{*}\), \(\mathbb {S}^d\left( \frac{1}{\sqrt{K}}\right) \), and \(\Omega ^{**}\) be as in Theorem 1.2. Let \(f\ge 0\) be a continuous function on \(\Omega \) and assume u and v are smooth solutions of the Poisson problems
and
where \(f^{*}\) denotes the spherical symmetrization of f as defined by (22). Then \(u^{*}\le v\) in \(\Omega ^{*}\).
Moreover, if \(K>0\) and w is a smooth solution to the Poisson problem
with \(f^{**}\) the spherical symmetrization of f defined by (25), then \(u^{**}\le w\). If \(u^{**}= w\), then M is isometric to the sphere \(\mathbb {S}^d\left( \frac{1}{\sqrt{K}}\right) \) and \(\Omega \) is isometric to an appropriate geodesic ball in \(\mathbb {S}^d\left( \frac{1}{\sqrt{K}}\right) \).
Proof
We first claim \(v=v^{*}\). Denote
and observe that v solves the ODE
where \(R_0\) denotes the radius of the geodesic ball \(\Omega ^*\). Writing
it follows that
where \(\beta _{d-1}\) denotes the surface measure of the unit \((d-1)\)-sphere and \(B(\tau )\) denotes a geodesic ball in \(\mathbb S^d(R)\) of radius \(\tau \). From this representation for v, it follows that \(\frac{\partial v}{\partial r}\le 0\) since \(0\le f\), and so \(v=v^{*}\).
Define a function r(t) using the equality of sets
and observe that r(t) is strictly increasing on \((0,\underset{\Omega }{\text {ess sup}}\,u)\). As in the proof of Theorem 3.3, it follows from Sard’s Theorem that
for almost every \(t\ge 0\) (and similarly for v). By the same result, the following integrals involving the gradient are well-defined for almost every \(t\ge 0\). From Cauchy–Schwarz,
The Divergence Theorem and (24) give
and combining with (38), we have
The first inequality follows since \(|\nabla v|\) is constant on \(\{v=r(t)\}\) and the second inequality follows from Theorem 2.1. On the other hand, combining (37) with the coarea formula, we see
Differentiating both sides with respect to t gives
and combining with (39) we find \(r'(t)\ge 1\). Since \(r(0)=0\), we have \(r(t)\ge t\) which implies
Using the definition of spherical symmetrization, we immediately deduce \(u^{*}\le v^{*}\), and having already established that \(v^{*}=v\), the claimed inequality follows.
For the remainder of the proof, we assume \(K>0\). Since \(\mathbb {S}^d\left( \frac{1}{\sqrt{K}}\right) \) obeys an isoperimetric inequality (21), all of our work above still holds if we replace R by \(\frac{1}{\sqrt{K}}\), v by w, \(g_0\) by \(g_1\), and \(*\) by \(**\). In particular, \(u^{**}\le w\). For the case of equality, we adapt the techniques of Kesavan [15]. If \(u^{**}=w\), it follows that
for each \(t\ge 0\). Using the coarea formula and Cauchy–Schwarz, for almost every \(t\ge 0\) we have
Returning our attention to (36), for each \(t\in [0,\underset{{\Omega ^{**}}}{\text {ess sup}} \ w]\) let \(\rho (t)\) satisfy
where \(R_1\) denotes the radius of the geodesic ball \(\Omega ^{**}\) and \(B(\tau )\) denotes a geodesic ball in \(\mathbb S^d \left( \frac{1}{\sqrt{K}}\right) \) of radius \(\tau \). Differentiating both sides with respect to t gives
Unless \(f=0\), w is strictly decreasing in r, and so it follows from (42) that
Using polar coordinates, we see
and differentiation yields
Combining (40), (43), (44), and (45), we see
and combining with (41), we obtain
On the other hand, since \(u^{**}=w\), it follows from (44) that \(\{u>t\}^{**}\) is a geodesic ball in \(\mathbb {S}^d\left( \frac{1}{\sqrt{K}}\right) \) of radius \(\rho (t)\). Hence \(\partial \{u>t\}^{**}\) is a \((d-1)\)-dimensional sphere of radius \(\frac{1}{\sqrt{K}}\sin \left( \sqrt{K}\rho (t)\right) \). From Theorem 2.1, we therefore have
Combining this inequality with (46), we deduce that for almost every \(t\ge 0\), the set \(\{u>t\}\) achieves equality in Theorem 2.1 and is therefore isometric to a geodesic ball in \(\mathbb {S}^d\left( \frac{1}{\sqrt{K}}\right) \). Let \(t_n\) denote a strictly decreasing sequence of such t-values with \(t_n\rightarrow 0\) and suppose \(\Phi :M \rightarrow \mathbb {S}^d\left( \frac{1}{\sqrt{K}}\right) \) is an isometry as guaranteed by Theorem 2.1. Observe that
expresses \(\Phi (\Omega )\) as a nested union of geodesic balls in \(\mathbb {S}^d\left( \frac{1}{\sqrt{K}}\right) \), and so we conclude that \(\Phi (\Omega )\) is a geodesic ball. \(\square \)
We next use Theorem 3.4 to establish a comparison result for moment spectra.
Proof of Theorem 1.2
For the case \(n=1\), let \(u_1\) be the solution to the Poisson PDE
and let \(v_1\) solve the symmetrized PDE
Then \(u_1^{*}\le v_1\) by Theorem 3.4, and combining with (24), it follows that
For the case \(n=2\), let \(u_2\) solve
let \(w_2\) solve
and let \(v_2\) solve
Since \(u_1^{*} \le v_1\), the Maximum Principle gives \(w_2\le v_2\). Applying Theorem 3.4 and (24) once again, we see
Inequality (4) follows by iterating the above argument repeatedly.
To establish (5) observe that our work above still holds if we replace R by \(\frac{1}{\sqrt{K}}\), \(g_0\) by \(g_1\), and \(*\) by \(**\). If for some index n we have equality in (5), then \(u_n^{**}=v_n\), where \(u_n\) and \(v_n\) come from the appropriate Poisson hierarchy (18). The result now follows from the equality case of Theorem 3.4. \(\square \)
We finally establish the following Faber–Krahn inequality (see also [2]):
Corollary 3.5
Let M, \(\Omega \), \(\mathbb {S}^d(R)\), \(\Omega ^{*}\), \(\mathbb {S}^d\left( \frac{1}{\sqrt{K}}\right) \), and \(\Omega ^{**}\) be as in Theorem 1.2. Then the lowest Dirichlet eigenvalues satisfy
Moreover, if \(K>0\), we also have
and if equality holds, M is isometric to \(\mathbb {S}^d\left( \frac{1}{\sqrt{K}}\right) \) and \(\Omega \) is isometric to an appropriate geodesic ball in \(\mathbb {S}^d\left( \frac{1}{\sqrt{K}}\right) \).
Proof
Since any non-trivial eigenfunction for \(\lambda _1(\Omega )\) has a sign, it follows that \(\nu _1(\Omega )=\lambda _1(\Omega )\). Combining Theorems 1.2 and 3.1, we see
The proof that \(\lambda _1(\Omega ^{**})\le \lambda _1(\Omega )\) uses the same argument, invoking (5) instead of (4).
To establish the equality claim, we again adapt the argument of Kesavan [15]. Assume \(\lambda _1(\Omega )=\lambda _1(\Omega ^{**})\), and let u be a \(L^2\)-normalized solution to the eigenvalue problem
Let w solve the symmetrized problem
Using w as a trial function in the variational characterization for \(\lambda _1(\Omega ^{**})\), we see
On the other hand, from Theorem 3.4 we see \(u^{**}\le w\), and so integration by parts gives
Since \(\lambda _1(\Omega )=\lambda _1(\Omega ^{**})\), we deduce that w minimizes the Rayleigh quotient for \(\lambda _1(\Omega ^{**})\) and is therefore a corresponding eigenfunction. It then follows from (47) that \(u^{**}=w\). The equality claim now follows from Theorem 3.4. \(\square \)
References
Aizenman, M., Simon, B.: Brownian motion and Harnack inequality for Schrödinger operators. Commun. Pure Appl. Math. 35(2), 209–273 (1982)
Bérard, P., Meyer, D.: Inégalités isopérimétriques et applications. Ann. Sci. École Norm. Sup. (4) 15(3), 513–541 (1982)
Bérard, P., Besson, G., Gallot, S.: Sur une inégalité isopérimétrique qui généralise celle de Paul Lévy-Gromov. Invent. Math. 80(2), 295–308 (1985)
Bessa, G., Gimeno, V., Jorge, L.: Dirichlet spectrum and Green function. arXiv:1605.04355
Besson, G.: From isoperimetric inequalities to heat kernels via symmetrisation. Surv. Differ. Geom., 9, vol. IX, 27–51. Int. Press, Somerville, MA (2004)
Burchard, A., Schmuckenschläger, M.: Comparison theorems for exit time moments. Geom. Funct. Anal. 11(4), 651–692 (2001)
Cadeddu, L., Gallot, S., Loi, A.: Maximizing mean exit-time of the Brownian motion on Riemannian manifolds. Monatsh. Math. 176(4), 551–570 (2015)
Cheng, S.Y.: Eigenvalue comparison theorems and its geometric applications. Math. Z. 143(3), 289–297 (1975)
Debiard, A., Gaveau, B., Mazet, E.: Thèorèmes de comparaison en géométrie riemannienne. Publ. Res. Inst. Math. Sci. 12(2), 391–425 (1976/77)
Dryden, E., Langford, J., McDonald, P.: Exit time moments and eigenvalue estimates. Bull. Lond. Math. Soc. 49(3), 480–490 (2017)
Hassannezhad, A., Kokarev, G., Polterovich, I.: Eigenvalue inequalities on Riemannian manifolds with a lower Ricci curvature bound. J. Spectr. Theory 6(4), 807–835 (2016)
Hurtado, A., Markorvsen, S., Palmer, V.: Torsional rigidity of submanifolds with controlled geometry. Math. Ann. 344(3), 511–542 (2009)
Hurtado, A., Markorvsen, S., Palmer, V.: Comparison of exit moment spectra for extrinsic metric balls. Potential Anal. 36(1), 137–153 (2012)
Hurtado, A., Markorvsen, S., Palmer, V.: Estimates of the first Dirichlet eigenvalue from exit time moment spectra. Math. Ann. 365(3–4), 1603–1632 (2016)
Kesavan, S.: Some remarks on a result of Talenti. Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4) 15(3), 453–465 (1988)
Kinateder, K.J., McDonald, P., Miller, D.: Exit time moments, boundary value problems and the geometry of domains in Euclidean space. Prob. Theory Relat. 111(4), 469–487 (1998)
McDonald, P.: Isoperimetric conditions, Poisson problems, and diffusions in Riemannian manifolds. Potential Anal. 16, 115–138 (2002)
McDonald, P.: Exit times, moment problems and comparison theorems. Potential Anal. 38(4), 1365–1372 (2013)
McDonald, P., Meyers, R.: Dirichlet spectrum and heat content. J. Funct. Anal. 200(1), 150–159 (2003)
Myers, S.B.: Riemannian manifolds with positive mean curvature. Duke Math. J. 8, 401–404 (1941)
Pólya, G.: Torsional rigidity, principal frequency, electrostatic capacity and symmetrization. Q. Appl. Math. 6, 267–277 (1948)
Talenti, G.: Elliptic equations and rearrangements. Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4) 3(4), 697–718 (1976)
van den Berg, M., Buttazzo, G., Velichkov, B.: Optimization problems involving the first Dirichlet eigenvalue and the torsional rigidity. New trends in shape optimization, Internat. Ser. Numer. Math., vol. 166, pp. 19–41. Birkhäuser/Springer, Cham (2015)
van den Berg, M., Gilkey, P.: Heat content asymptotics for a Riemannian manifold with boundary. J. Funct. Anal. 120(1), 48–71 (1994)
van den Berg, M., Ferone, V., Nitsch, C., Trombetti, C.: On Pólya’s inequality for torsional rigidity and first Dirichlet eigenvalue. Integral Eq. Oper. Theory 86(4), 579–600 (2016)
Wei, G.: Manifolds with a lower Ricci curvature bound, Surveys in differential geometry. Surv. Differ. Geom., 11, vol. XI, 203–227. Int. Press, Somerville, MA (2007)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Colladay, D., Langford, J.J. & McDonald, P. Comparison Results, Exit Time Moments, and Eigenvalues on Riemannian Manifolds with a Lower Ricci Curvature Bound. J Geom Anal 28, 3906–3927 (2018). https://doi.org/10.1007/s12220-018-0005-7
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s12220-018-0005-7