Abstract
We prove a sharp Log-Sobolev inequality for submanifolds of a complete non-compact Riemannian manifold with asymptotic non-negative intermediate Ricci curvature and Euclidean volume growth. Our work extends a result of Dong et al. (Acta Math. Sci. Ser. B (Engl. Ed.), 44(1):189–194 (2024)) which already generalizes Yi and Zheng (To appear in Chin. Ann. Math., (2023)) and Brendle (Comm. Pure Appl. Math. 75(3), 449–454 (2022)).
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Log-Sobolev inequalities have been already studied in mathematical physics and information theory in the 50 s ([14, 29]), then it has been extensively studied in analysis and geometry (see e.g., [10, 13, 16, 17, 22, 24,25,26]), with recent developments including their applications to heat kernel and Hamilton-Jacobi equations, inequalities in convex geometry, and their role in optimal transport. Brendle [5] obtained a sharp log-Sobolev inequality for submanifolds in Euclidean space, improving [13], using the Alexandroff-Bakelman-Pucci (ABP) method and optimal transport. Later Yi and Zheng [34] extended this result to Riemannian manifolds with non-negative sectional curvature and Euclidean volume growth conditions. Later Dong-Lin-Lu [12] further extended this to non-negative asymptotic sectional curvature. In this paper, we prove that the logarithmic Sobolev inequality holds under non-negative intermediate Ricci curvature. Furthermore, we extend our result to the asymptotic non-negative intermediate Ricci curvature by introducing error terms that depends only on the curvature’s decay at infinity, as in [12].
Let \((M^n,g)\) be a complete non-compact Riemannian manifold, for \(1 \le k\le n-1\) we consider a k-dimensional subspace P of a tangent space \(T_xM\) at \(x\in M\). Given any tangent vector \(v \in T_xM\) with \(v \bot P\), the k-intermediate Ricci curvature (kth-Ricci curvature) with respect to P in the direction of v is defined as
where \(\{e_1, \ldots , e_k\}\) is an orthonormal basis of P. The k-intermediate Ricci curvature interpolates between Ricci and sectional curvature. A Riemannian manifold has non-negative k-Ricci curvature if \({{\,\textrm{Ric}\,}}_k(P,v) \ge 0\) for any \(x\in M\), k-dimensional subspace \(P\subset T_xM\), and a unit tangent vector \(v\in T_xM\) perpendicular to P (note that some papers [21, 30] require the stronger condition that this holds for all v, not necessary just the perpendicular ones). This condition is denoted by \({{\,\textrm{Ric}\,}}_k \ge 0\). In particular, it exhibits a monotonicity property: if \(n \le m\), then \({{\,\textrm{Ric}\,}}_n \ge 0\) implies \({{\,\textrm{Ric}\,}}_m \ge 0\). This curvature condition has been well studied to explore the gap of the global results with sectional curvature bounds and Ricci curvature bounds, see for example: [9, 18, 19, 21, 23, 27, 28, 30, 32]. Our work follows this spirit and generalizes Yi-Zheng’s result with sectional curvature lower bound (Theorem 1.1, [34]) and the corresponding asymptotic extension by Dong-Lin-Lu (Theorem 1.1, [12]). Ketterer-Mondino [21] noted that it is possible to characterize lower bounds of k-intermediate Ricci curvature via optimal transport. We will adopt this approach, developed in [23] and [30], to prove our main result.
Let M be an n-dimensional non-compact Riemmanian manifold with non-negative Ricci curvature. The asymptotic volume ratio of M is defined as
where p is some fixed point in M, \(\omega _n\) is the volume of the unit ball in Euclidean space \(\mathbb {R}^n\), and \(|B_r(p)|\) is the volume of a ball of radius r centered at p in M. The Bishop-Gromov volume comparison theorem ensures that the limit exists, it does not depend on the choice of p and that \(\theta \le 1\). We say that M has Euclidean volume growth if \(\theta >0\).
In this paper we are using the definition of asymptotically non negative sectional (resp. Ricci) curvature given in Abresch [1] (see also [2, 20, 35]). Zhu (see theorem 2.1 in [36]) proved the equivalent of the classical Bishop-Gromov volume comparison Theorem with \({\text {Ric}}\ge 0\) by replacing \(\mathbb {R}^n\) with a different model space. We will need to define the equivalent of the usual asymptotic volume ratio.
Definition 1.1
(Abresch [1]) An n-dimensional complete non-compact Riemannian manifold (M, g) with base point o has asymptotically non-negative Sectional curvature (Ricci curvature, respectively) if and only if there exists any non-negative, non-increasing function \(\lambda : [0,\infty )\rightarrow [0,\infty ) \) such that the following holds:
-
(1)
\(b_0(\lambda )=\int _0^\infty t\lambda (t)dt < \infty \)
-
(2)
\({\text {Sec}}\ge -\lambda (d(o,p)) \) at each point \(p\in M\). \(\left( {\text {Ric}}\ge -(n-1)\lambda (d(o,p)), \text { respectively} \right) \)
The first condition also implies that \(b_1(\lambda )=\int _0^\infty \lambda (t)dt < \infty \). To extend this notion of asymptotically non-negative sectional curvature to intermediate k-Ricci curvature, one can simply replace the second condition with:
More precisely, \({{\,\textrm{Ric}\,}}_k(P,v) \ge - k \lambda (d(o,p))\) for any k dimensional subspace \(P \subset T_pM\) and unit tangent vector v perpendicular to P.
The usual non-negative sectional curvature (Ricci or \({{\,\textrm{Ric}\,}}_k\) respectively) condition is equivalent to requiring \(\lambda \equiv 0\). It’s immediately evident from the definition to see that this class of manifolds includes those with non-negative sectional curvature (Ricci or \({\text {Ric}}_k\) respectively) outside a compact set and asymptotically flat manifolds as well. Furthermore, the monotonicity of the intermediate curvature still holds: if \(k_1 \le k_2\), then \({{\,\textrm{Ric}\,}}_{k_1} \ge - k_1\lambda ( d(o,p))\) implies \({{\,\textrm{Ric}\,}}_{k_2} \ge - k_2 \lambda ( d(o,p))\).
In this setting, we also replace \(\theta \), the asymptotic volume ratio of M, with another similar quantity that will keep track of the geometry at infinity. To achieve this, we define h(t) as the unique solution of the following ODE:
We now define the asymptotic volume ratio of M with respect to h by
In the above definition, \(|B_r(o)|\) represents the volume of the ball of radius r centered at o in M and \(\omega _n\) represents the volume of the unit ball in \(\mathbb {R}^n\). In [36], to prove the corresponding version of the Bishop-Gromov volume comparison in this setting, Zhu noted that the following function of r is non-increasing:
This ensures that the limit exists and \(\theta _h\) is well-defined. Similarly, we say that M has Euclidean volume growth if \(\theta _h>0\). In particular, when a manifold has non-negative intermediate Ricci curvature, \(\lambda (t) \equiv 0\), \(h(t) = t\), and \(\theta _h\) is the usual asymptotic volume ratio \(\theta \). In the second section of this paper we will show a connection between \(\theta _h\) and an integral of a certain Guassian function. To state our theorem, we first define, for any non-negative t, a decreasing function P(t):
Notice that \(P(0)=1\). Below is our main result.
Theorem 1.2
Let \(M^{n+m}\) be a complete, non-compact manifold of dimension \(n+m\) with asymptotically non-negative \(\textrm{Ric}_{k}\), where \(k=\min \{n-1,m-1\}\) and Euclidean volume growth. Assume that \(\Sigma ^n\) is an n-dimensional compact submanifold without a boundary. Then, for any positive smooth function f, we have
where \(\theta _h\) is the asymptotic volume ratio of M with respect to h, H is the mean curvature vector of \(\Sigma \), and \(r_0={\text {max}}_{x\in \Sigma }d(o,x)\).
Similar to the Michael-Simon-Sobolev inequality, the inequality (1) contains a term that involves the mean curvature and depends on the asymptotic volume ratio of M. If \(\lambda \equiv 0\), the usual non-negative \({\text {Ric}}_k\) condition, in other words \(b_0=b_1=0\), then our Theorem 1.2 becomes:
Corollary 1.3
Let \(M^{n+m}\) be a complete, non-compact manifold of dimension \(n+m\) with Euclidean volume growth and \(\textrm{Ric}_{k} \ge 0\), where \(k=\min \{n-1,m-1\}\). Let \(\Sigma ^n\) be a n-dimensional compact submanifold without a boundary. Then, for any positive smooth function f, we have
where \(\theta \) is the asymptotic volume ratio of M and H is the Mean curvature vector of \(\Sigma \).
This gives the following two consequences by choosing \(f\equiv 1\) in (2) and apply the argument in Section 4 of [34].
Corollary 1.4
Let \(M^{n+m}\) be a complete, non-compact manifold of dimension \(n+m\) with non-negative intermediate k-Ricci curvature, where \(k = \min \{n-1,m-1\}\). Suppose M has a Euclidean volume growth. Then, there is no closed minimal submanifold of dimension n in M.
Corollary 1.5
Let \(M^{n+m}\) be a complete, non-compact manifold of dimension \(n+m\) with non-negative intermediate k-Ricci curvature, where \(k = \min \{n-1,m-1\}\). Suppose there is a closed minimal submanifold of dimension n in M. Then, the asymptotic volume ratio of M is zero.
In the case of any hypersurface (\(m=1\)) under non-negative Ricci curvature condition, these two corollaries have been proved by Agostiniani-Fogagnolo-Mazzieri (see Theorem 1.6 in [3]). We do not recover this case in our result since \(k= \min \{n-1,m-1\}\) would be zero. On the other hand, for higher dimension and codimension, these corollaries are also new in the usual non-negative k-intermediate Ricci curvature setting. When \(k=1\), the standard \({\text {Ric}}_1\ge 0\) is equivalent to the non-negative sectional curvature condition. Thus, we recover the corollaries in Yi-Zheng (Corollaries 1.1 and 1.2 in [34]).
The same argument (Section 4, [34]) cannot be applied in the case of asymptotic non-negative k-intermediate Ricci curvature setting because the error term we have introduced is not scale-invariant and will blow up if we blow down the metric as in [34].
Note that the previous two corollaries do not hold for \({{\,\textrm{Ric}\,}}\ge 0\) total dimension 4; a counterexample is the Eguchi-Hanson metric on \(TS^2\), which is Ricci flat with Euclidean volume growth and has a totally geodesic submanifold \(S^2\). See, for example, [4, Page 270].
The proof of Theorem 1.2 relies on the Alexandroff-Bakelman-Pucci (ABP) method, a standard technique in Euclidean space [15]. Cabrè [7] extended this method to manifolds. The classical estimate in \(\mathbb {R}^n\) uses affine functions, but on manifolds, hyperplanes are replaced with paraboloids interpreted as graphs of the distance squared relative to a point. If a lower bound condition on the curvature is added, this method has been successfully used to prove geometric inequalities (see for example, [31, 33]). In particular, Brendle [6] used this method to prove a monotonicity result in terms of the Jacobian of a certain transport map, while Wang [30] and Ma-Wu [23] independently generalized this method to k-intermediate Ricci curvature. It will be a key ingredient in our proof.
2 Asymptotic Estimate
In this section we recall an estimate for \(\theta _h\), which will be used in the final steps of the proof in the next section. We first recall:
Lemma 2.1
(Lemma 2.2, [12]) Let M be a complete non-compact Riemannian manifold of dimension N with non-negative Ricci curvature. Then,
for any \(p \in M\).
The proof is based on the Bishop-Gromov volume comparison. However, in our asymptotic case, we utilize the inequality \(r\le h(r)\) instead. The upper bound for h, as provided in [36], is \(h(r) \le e^{b_0}r\). Generally, the presence of \(b_0\ne 0\) precludes us from replacing \(r^N\) with \(h^N\) in the above lemma. Following Dong-Lin-Lu [12], it is preferable to replace \(r^N\) with \(rh^{N-1}\), doing so, we first recall the definition of P(t):
Lemma 2.2
(Lemma 2.2, [12]) Let M be a complete non-compact Riemannian manifold of dimension N with asymptotic non-negative Ricci curvature. Then
where o is the base point of M.
This was proved in [12], we are giving the same proof of this statement also here for completeness:
Proof
First notice that we can apply De L’Hopital’s rule to the limit of \(\theta _h\) and obtain
Now we can compute
where we used the monotone convergence theorem and the identity (4). \(\square \)
For the next lemma, we aim to substitute the base point o on the right-hand side of inequality (3) with \(\psi (x)\), where \(\psi \) is a Borel map whose image is compact.
Lemma 2.3
Let M be a complete non-compact Riemannian manifold of dimension n with asymptotic non-negative intermediate Ricci curvature. Then we have
where \(\psi :M\rightarrow K\) is any Borel map where \(K\subset M\) a compact subset.
The above lemma is proven, similar to the proof of Lemma 2.2 in [34], by utilizing the triangle inequality.
3 Proof of Theorem 1.2
In this section, we prove log Sobolev inequality with non-negative asymptotic intermediate Ricci curvature by following the papers [11, 12, 34].
Let \(M^{n+m}\) be a complete non-compact manifold of dimension \(n+m\) with asymptotically non-negative \(\textrm{Ric}_{k}\) and Euclidean volume growth, where \(k= \min \{n-1, m-1\}\). Assume that \(\Sigma ^n\) is an n-dimensional compact submanifold without a boundary and let f be any positive smooth function.
We first assume that \(\Sigma \) is connected, which is needed for the existence of a solution to a differential equation. The inequality (1) is invariant when we scale a function f. Thus, by scaling, we may assume that
Indeed, we can scale the function f to satisfy the equation (5) because \(\log (cf)\) can be any real number by choosing a suitable constant c. The left-hand-side of equation (5) comes from the inequality (1). Thus, it suffices to show that
In order to prove Isoperimetric or Sobolev inequalities using the ABP method (see [8] and related literature), we need to consider a suitable PDE on a submanifold \(\Sigma \). To apply our assumption (5), we consider a differential equation as follows:
where \(\nabla ^\Sigma \) is the induced Levi-Civita connection on \(\Sigma \). We do not need t o specify a boundary condition since \(\partial \Sigma = \emptyset \). Using standard PDE theory (see [15] Chapter 6), since f is a positive function, the operator \(u \mapsto \textrm{div}_\Sigma (f \nabla ^\Sigma u)\) has Fredholm index 0. Hence, we can find a smooth solution \(u: \Sigma \rightarrow \mathbb {R}\).
We define a contact set \(A_r\) as the set of all points \(({\bar{x}}, {\bar{y}}) \in T^\bot \Sigma \) satisfying
for all \(x \in \Sigma \) as introduced in [6]. This is a natural extension of the Cabrè’s idea [7] to the submanifold case.
Let \(\Phi _t: T^\bot \Sigma \rightarrow M\) be a map defined by
Then we have the following lemma, for which we will recall the proof for the reader’s convenience.
Lemma 3.1
(Lemma 3.2, [34]) For each \(r \in (0, \infty )\), we have \(\Phi _r (A_r) = M\).
Proof
Take any \(p \in M\). Since \(\Sigma \) is compact, there is \({\bar{x}} \in \Sigma \) where the function \(x \mapsto ru(x) + \frac{1}{2} d(x,p)^2\) attains its minimum. Let \({\bar{\gamma }}\) be a minimizing geodesic such that \({\bar{\gamma }}(0) = {\bar{x}}\) and \({\bar{\gamma }} (r) = p\). Then the geodesic \({\bar{\gamma }}\) minimizes the functional \(u(\gamma (0)) + \frac{1}{2} \int _0^r |\gamma '(t)|^2 dt\) among all smooth curves \(\gamma \) with \(\gamma (0) \in \Sigma \) and \(\gamma (r) =p\). By the first variational formula, we have
That is, there is \({\bar{y}} \in T_{x}^\bot \Sigma \) satisfying
We can easily check that \(\Phi _r(\bar{x}, \bar{y}) = p\) and \((\bar{x}, \bar{y}) \in A_r\) using the geodesic \({\bar{\gamma }}\), which implies that \(p \in \Phi _r(A_r)\). \(\square \)
As we see in the above proof, we can define a map \(\psi :M \rightarrow \Sigma \) as \(\psi (p)\) is the point where the function \(ru(x) + \frac{1}{2} d(x,p)^2\) attains its minimum. Then by Lemma 3.1, we have
where \(\mathcal {H}^0\) is the counting measure. The left hand side of the inequality (8) is related to the asymptotic volume ratio \(\theta _h\) as we showed in Lemma 2.2. Also, we apply Area formula with the map \(\Phi _r: A_r \rightarrow M\) to the right hand side of (8). That is,
We now want to estimate the integrand in the right hand side of (9). Take any \( r >0\) and \((\bar{x},{\bar{y}} )\) in \(A_r\). Define a geodesic \({\bar{\gamma }}(t) = \exp _{{\bar{x}}}(t \nabla ^\Sigma u({\bar{x}}) + t {\bar{y}})\) on [0, r]. Let \(\{e_1,\ldots , e_n\}\) be an orthonormal basis of \(T_{{\bar{x}}}\Sigma \) such that \(\textrm{Hess}_\Sigma u (e_i, e_j) - \langle II(e_i, e_j), \bar{y}\rangle \) is diangonal. Let us denote \(E_i\) by a parallel transport vector field of \(e_i\) along \({\bar{\gamma }}\) for each \(1 \le i\le n\). Take any orthonormal frame \(\{e_{n+1},\ldots , e_{n+m}\}\) of \(T^\bot \Sigma \) near \({\bar{x}}\) such that \(\langle \nabla _{e_i} e_\alpha , e_\beta \rangle = 0\) at \({\bar{x}}\) for all \( 1 \le i \le n\) and \( n+1 \le \alpha , \beta \le n+m\).
For each \(1 \le i \le n\), let us consider a Jacobi field \(X_i(t)\) along \({\bar{\gamma }}(t)\) with the initial conditions
For each \(n+1 \le \alpha \le n+m\), consider a Jacobi field \(X_\alpha (t)\) along \({\bar{\gamma }}(t)\) with the initial conditions
Define \((n+m)\times (n+m)\) matrices P(t) and S(t) satisfying \(P_{ij}(t) = \langle X_i (t), E_j(t) \rangle \) and \(S_{ij}(t) = \bar{R} ({\bar{\gamma }} '(t), E_i(t),{\bar{\gamma }}'(t),E_j(t))\) for \( 1 \le i, j \le n+m\). Since \(X_i(t)\) is a Jacobi field along \({\bar{\gamma }} (t)\), we have \(P''(t)= - P(t) S (t)\). Define \(Q(t) = P^{-1}(t)P'(t)\). Then
Let \(tr_n Q(t) = \sum _{i=1}^{n}Q_{ii}(t)\) and \(tr_m Q(t) = \sum _{\alpha =n+1}^{n+m} Q_{\alpha \alpha }(t)\). Then
and
where \(tr_n S(t)\) and \(tr_m S(t)\) are defined as a partial trace of S(t). Let us note that
However, we cannot apply curvature assumption directly because \(\bar{\gamma }'(t)\) may not be perpendicular to the plane spanned by \(E_1(t), \ldots , E_n(t)\). Since \(E_i(t)\) is a parallel vector field along \({\bar{\gamma }}(t),\) it is enough to consider the angle at \(t =0\), denoted by a, between the vector \({\bar{\gamma }}'(0)\) and the tangent plane \(T_{{\bar{x}} } \Sigma \). Since \({\bar{\gamma }}'(0) = \nabla ^\Sigma u ({\bar{x}} ) + {\bar{y}}\), depending on the vectors \(\nabla ^\Sigma u ({\bar{x}} )\) and \( {\bar{y}}\) the angle is determined.
Let us consider the case \(\nabla ^\Sigma u ( {\bar{x}} ) \ne 0\) and \({\bar{y}} \ne 0\). In this case, \({\bar{\gamma }}'(0)\) is not perpendicular to the tangent plane. After we change the basis as in [23], we get
where \(P_1(t)\) is an n-dimensional subspace spanned by \(E_2(t), \ldots , E_{n+1}(t)\) and \(P_2(t)\) is an \((n-1)\)-dimensional subspace spanned by \(E_2(t),\ldots , E_n(t)\). Similarly, we have
Indeed, the inequalities (10) and (11) hold for the case \(\nabla ^\Sigma u ({\bar{x}}) =0\) or \({\bar{y}} =0\). More specifically, for the case \(\nabla ^\Sigma u ({\bar{x}}) = 0\), since \(\bar{\gamma }' ( 0 ) = {\bar{y}} \in T_{{\bar{x}}}^\bot \Sigma \), the angle \(a = \frac{\pi }{2}\) and we have
and
where \(P_3(t) = Span (E_1(t), \ldots , E_n(t))\) and \(P_4 (t) = Span (E_{n+2}(t), \ldots , E_{n+m}(t))\) with the assumption \(E_{n+1} = \frac{{\bar{y}}}{|{\bar{y}}|}\). In the same manner, for the case \({\bar{y}} = 0\), since \({\bar{\gamma }}'(0) = \nabla ^\Sigma u({\bar{x}}) \in T_{{\bar{x}}} \Sigma \), by assuming \(E_{1}(t) = \frac{{\bar{\gamma }}'(t)}{|\bar{\gamma }'(t)|}\), we can verify that the same inequalities (10) and (11) hold. In all, for \(({\bar{x}}, {\bar{y}}) \in A_r {\setminus } \{(0,0)\}\), we obtain
by combining inequalities (10) and (11) with Riccati equation. It follows from the triangle inequality \(d(o, {\bar{\gamma }}(t)) \ge |d(o, {\bar{x}} ) - d( {\bar{x}}, {\bar{\gamma }}(t))|\) and the definition of \(A_r\) that
Let \(\phi (t) = e^{\frac{1}{n}\int _0^t \sum _{i=1}^n Q_{ii}(\tau ) d \tau }\). Then
To use comparison theorems with \(\phi (t)\), let us define \(\psi _1 (t)\) and \(\psi _2(t)\) as a solution to each PDE similarly to [11]:
and
Then we see that a function \(\psi (t) = \psi _2(t) + \frac{1}{n} ( \Delta _{\Sigma } u ({\bar{x}}) - \langle H ({\bar{x}}), {\bar{y}} \rangle ) \psi _1(t)\) satisfies the following PDE.
By comparing \(\frac{\phi '(t)}{\phi (t)}\) with \(\frac{\psi '(t)}{\psi (t)}\), we have
Define
Then
To estimate \(\frac{{\bar{\phi }}'}{{\bar{\phi }}}\), let us introduce a \(C^2\) solution \({\bar{\psi }}\) to the PDE
Thus,
Since \(\frac{d}{dt} (\det P(t)) = \det P(t) {{\,\textrm{tr}\,}}Q(t),\) we have
By integrating the above inequality from \(\epsilon \) to t and \(\epsilon \rightarrow 0\), we get
Moreover, comparison theorems imply those inequalities
Thus,
The following lemma can be also found in the proof of Lemma 3.7 in [34].
Lemma 3.2
For \((x,y) \in A_r\), we have:
Proof
Since \(\textrm{div}_\Sigma (f \nabla ^\Sigma u) = f \log f - \frac{|\nabla ^\Sigma f |^2 }{f} - f | H|^2\), we get
Since \(f(x) \ne 0\) for all \(x \in \Sigma \), we have
Note that
and
Combining identities (13), (14), and (15), we obtain
\(\square \)
Lemma 3.3
For \(({\bar{x}},{\bar{y}}) \in A_r \setminus \{(0,0)\}\), we have:
where \(\alpha = (n+m-1)(2r_0b_1+b_0)\).
Proof
Combining inequality (12) and Lemma 3.2, we obtain
By the inequality \( \lambda \le e^{\lambda -1}\), we have
\(\square \)
By combining inequalities (8) and (9) and Lemma 3.3, we obtain
Then
Let us take limit \(t \rightarrow \infty \) to the both sides of the above inequality. Then by Lemma 2.2 and 2.3, we get
Since
we have
By taking a logarithmic function, we obtain
or equivalently,
Multiplying the inequality by f and integrate it over \(\Sigma \), then
By adding our assumption
we conclude that
It now remains to show the case when \(\Sigma \) is disconnected. We follow Brendle [5] and notice that
The above simple inequality will take care of the right hand side when we apply inequality (1) on each connected component individually. And this completes our proof of Theorem 1.2.
Data availability
We don’t use any external data.
References
Abresch, U.: Lower curvature bounds, Toponogov’s theorem, and bounded topology. Ann. Sci. École Norm. Sup. (4), 18(4), 651–670 (1985)
Abresch, U., Gromoll, D.: On complete manifolds with nonnegative Ricci curvature. J. Amer. Math. Soc. 3(2), 355–374 (1990)
Agostiniani, V., Fogagnolo, M., Mazzieri, L.: Sharp geometric inequalities for closed hypersurfaces in manifolds with nonnegative Ricci curvature. Invent. Math. 222(3), 1033–1101 (2020)
Anderson, M.T.: Short geodesics and gravitational instantons. J. Differential Geom. 31(1), 265–275 (1990)
Brendle, S.: The logarithmic Sobolev inequality for a submanifold in Euclidean space. Comm. Pure Appl. Math. 75(3), 449–454 (2022)
Brendle, S.: Sobolev inequalities in manifolds with nonnegative curvature. Comm. Pure Appl. Math. (2022). https://doi.org/10.1002/cpa.22070
Cabré, X.: Nondivergent elliptic equations on manifolds with nonnegative curvature. Comm. Pure Appl. Math. 50(7), 623–665 (1997)
Cabré, X.: Isoperimetric, Sobolev, and eigenvalue inequalities via the Alexandroff-Bakelman-Pucci method: a survey. Chinese Ann. Math. Ser. B 38(1), 201–214 (2017)
Chahine, Y.K.: Volume estimates for tubes around submanifolds using integral curvature bounds. J. Geom. Anal. 30(4), 4071–4091 (2020)
Cordero-Erausquin, D., Nazaret, B., Villani, C.: A mass-transportation approach to sharp Sobolev and Gagliardo-Nirenberg inequalities. Adv. Math. 182(2), 307–332 (2004)
Dong, Y., Lin, H., Lu, L.: Sobolev inequalities in manifolds with asymptotically nonnegative curvature (2022). arXiv:2203.14624
Dong, Y., Lin, H., Lu, L.: The logarithmic Sobolev inequality for a submanifold in manifolds with asymptotically nonnegative sectional curvature. Acta Math. Sci. Ser. B (Engl. Ed.), 44(1), 189–194 (2024)
Ecker, K.: Logarithmic Sobolev inequalities on submanifolds of Euclidean space. J. Reine Angew. Math. 522, 105–118 (2000)
Federbush, P.G.: Partially alternate derivation of a result of nelson. J. Math. Phys. 10, 50–52 (1969)
Gilbarg, D., Trudinger, N.S.: Elliptic partial differential equations of second order. Classics in Mathematics. Springer-Verlag, Berlin, 2001. Reprint of the 1998 edition
Gross, L.: Logarithmic Sobolev inequalities. Amer. J. Math. 97(4), 1061–1083 (1975)
Gross, L.: Logarithmic Sobolev inequalities and contractivity properties of semigroups. In: Dirichlet forms (Varenna, 1992), volume 1563 of Lecture Notes in Math., pages 54–88. Springer, Berlin, (1993)
Guijarro, L., Wilhelm, F.: A softer connectivity principle. Commun. Anal. Geomet. (2018)
Guijarro, L., Wilhelm, F.: Restrictions on submanifolds via focal radius bounds. Math. Res. Lett. 27(1), 115–139 (2020)
Kasue, A.: Harmonic functions with growth conditions on a manifold of asymptotically nonnegative curvature. I. In Geometry and analysis on manifolds (Katata/Kyoto, 1987), volume 1339 of Lecture Notes in Math., pages 158–181. Springer, Berlin (1988)
Ketterer, C., Mondino, A.: Sectional and intermediate Ricci curvature lower bounds via optimal transport. Adv. Math. 329, 781–818 (2018)
Ledoux, M.: Concentration of measure and logarithmic Sobolev inequalities. In Séminaire de Probabilités, XXXIII, volume 1709 of Lecture Notes in Math., pages 120–216. Springer, Berlin (1999)
Ma, H., Wu, J.: Sobolev inequalities in manifolds with nonnegative intermediate Ricci curvature, (2023). arXiv:2303.09285v3
Michael, J.H., Simon, L.M.: Sobolev and mean-value inequalities on generalized submanifolds of \(R^{n}\). Comm. Pure Appl. Math. 26, 361–379 (1973)
Ohta, S.-I., Takatsu, A.: Equality in the logarithmic Sobolev inequality. Manuscripta Math. 162(1–2), 271–282 (2020)
Perelman, G.: The entropy formula for the ricci flow and its geometric applications, (2002). arXiv:math/0211159
Reiser, P., Wraith, D.J.: Intermediate Ricci curvatures and Gromov’s Betti number bound, (2022). arXiv:2208.13438
Shen, Z.: On complete manifolds of nonnegative kth-Ricci curvature. Trans. Amer. Math. Soc. 338(1), 289–310 (1993)
Stam, A.J.: Some inequalities satisfied by the quantities of information of fisher and shannon. Inf. Control. 2, 101–112 (1959)
Wang, K.-H.: Optimal transport approach to Michael-Simon-Sobolev inequalities in manifolds with intermediate Ricci curvature lower bounds, (2022). arXiv:2209.06796
Wang, Y., Zhang, X.: An Alexandroff-Bakelman-Pucci estimate on Riemannian manifolds. Adv. Math. 232, 499–512 (2013)
Hung-Hsi, W.: Manifolds of partially positive curvature. Indiana Univ. Math. J. 36(3), 525–548 (1987)
Xia, C., Zhang, X.: ABP estimate and geometric inequalities. Comm. Anal. Geom. 25(3), 685–708 (2017)
Yi, C., Zheng, Y.: The logarithmic Sobolev inequality for a submanifold in manifold with nonnegative sectional curvature. To appear in Chin. Ann. Math., (2023). arXiv:2104.05045
Zhang, Y.: Open manifolds with asymptotically nonnegative Ricci curvature and large volume growth. Proc. Amer. Math. Soc. 143(11), 4913–4923 (2015)
Zhu, S.-H.: A volume comparison theorem for manifolds with asymptotically nonnegative curvature and its applications. Amer. J. Math. 116(3), 669–682 (1994)
Acknowledgements
The authors gratefully acknowledge the valuable insights and guidance provided by their advisor Guofang Wei through helpful discussions. We would like to thank Frank Morgan for the references [29] and [14]. We would also like to acknowledge Lingen Lu for bringing the manuscript [12] to our attention. Their contribution allowed us to simplify Section 2 in the first version of our work. And thanks Jing Wu for reaching us with the updated version of their paper [23]. We would also like to thank the referee for the useful commments.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Lee, J., Ricci, F. The Log-Sobolev Inequality for a Submanifold in Manifolds With Asymptotic Non-Negative Intermediate Ricci Curvature. J Geom Anal 34, 141 (2024). https://doi.org/10.1007/s12220-024-01581-1
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s12220-024-01581-1
Keywords
- Differential geometry
- Comparison geometry
- PDE
- Intermediate curvature
- Asymptotic non-negative curvature
- Optimal transport: ABP method