Abstract
In this paper, we first introduce quermassintegrals for capillary hypersurfaces in the half-space. Then we solve the related isoperimetric type problems for the convex capillary hypersurfaces and obtain the corresponding Alexandrov–Fenchel inequalities. In order to prove these results, we construct a new locally constrained curvature flow and prove that the flow converges globally to a spherical cap.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Let \(\Sigma \) be a closed embedded hypersurface in \(\mathbb {R}^{n+1}\) and \({\widehat{\Sigma }}\) the domain enclosed by \(\Sigma \) in \(\mathbb {R}^{n+1}\). The classical isoperimetric inequality states
with equality holding if and only if \(\Sigma \) is a sphere. Here \({\textbf{b}}_{n+1}=|{{\mathbb {B}}}^{n+1}|\), the volume of the unit ball \({{\mathbb {B}}}^{n+1}\), and \(\omega _n=(n+1) {\textbf{b}}_{n+1}=|\mathbb {S}^n|\), the area of the unit sphere \(\mathbb {S}^n\). Its natural generalization is the following classical Alexandrov–Fenchel inequality
with equality holding if and only if \(\Sigma \) is a sphere, provided that \(\Sigma \) is a \(C^2\) convex hypersurface. Here \({\mathcal {V}}_{k+1}({\widehat{\Sigma }})\) is the quermassintegral of \(\widehat{\Sigma }\) defined by
where \(H_k\) (\(1\le k\le n\)) is the k-th normalized mean curvature of \(\Sigma \subset \mathbb {R}^{n+1}\) and \(H_0=1\). It was proved in [29] that (1.2) holds true if \(\Sigma \) is l-convex and star-shaped. Here by l-convex we mean that \(H_j>0\) for all \(j\le l\). The case \(k=0\) was proved to be true for \((l+1)\)-convex hypersurfaces in [14, 45]. The case \(l=2, k=1\), in which (1.2) is called Minkowski’s inequality, was proved to be also true for outward minimizing sets in [35] (see also [24] and a very recent work [1] by using a nonlinear potential theory.) It remains still open whether (1.2) is true for all l-convex hypersurfaces, except the case \(l=2, k=0\) that has been proved in [1].
In this paper we are interested in its generalization to hypersurfaces with boundary. More precisely, we consider hypersurfaces in \( {\overline{\mathbb {R}}}^{n+1}_+\) with boundary supported on the hyperplane \( \partial {\overline{\mathbb {R}}}^{n+1}_+\). Let \(\Sigma \) be a compact manifold with boundary \(\partial \Sigma \), which is properly embedded hypersurface into \({\overline{\mathbb {R}}}^{n+1}_+\). In particular, \(\text {int} (\Sigma )\subset \mathbb {R}^{n+1}_+\) and \(\partial \Sigma \subset \partial {\overline{\mathbb {R}}}^{n+1}_+\). Let \(\widehat{\Sigma }\) be the bounded domain enclosed by \(\Sigma \) and the hyperplane \(\partial \overline{\mathbb {R}}^{n+1}_+\). It is clear that the following relative isoperimetric inequality follows from (1.1)
where \( {{\mathbb {B}}}^{n+1}_+\) is the upper half unit ball and \({{\mathbb {S}}}_+^{n}\) is the upper half unit sphere. For the relative isoperimetric inequality outside a convex domain, see [17, 25, 40]. As a domain in \(\mathbb {R}^{n+1}\), \(\widehat{\Sigma }\) has a boundary, which consists of two parts: one is \(\Sigma \) and the other, which will be denoted by \(\widehat{\partial \Sigma }\), lies on \(\partial {\overline{\mathbb {R}}}^{n+1}_+\). Both have a common boundary, namely \(\partial \Sigma \) (see Fig. 1). Instead of just considering the area of \(\Sigma \), it is interesting to consider the following free energy functional
for a fixed angle constant \(\theta \in (0,\pi )\). The second term \(\cos \theta |\widehat{\partial \Sigma }|\) is the so-called wetting energy in the theory of capillarity (see for example [23]). If we consider to minimize this functional under the constraint that the volume \(|{\widehat{\Sigma }}|\) is fixed, then we have the following optimal inequality, which is called the capillary isoperimetric inequality,
with equality holding if and only if \(\Sigma \) is homothetic to \(\mathbb {S}^n_\theta \), namely a spherical cap (2.3) with contact angle \(\theta \). Here \(\mathbb {S}_\theta ^{n}\), \(\widehat{\partial \mathbb {S}_\theta ^{n}}\), \( {{\mathbb {B}}}^{n+1}_\theta \) are defined by
where \(e_{n+1}\) the \((n+1)\)th standard basis in \(\mathbb {R}^{n+1}_+\). For simplicity we denote
The explicit formulas for \({{\textbf {b}}}_\theta \) and \(\omega _\theta \) will be given in Sect. 2.3. In particular, it is easy to check that \( (n+1) {{\textbf {b}}}_\theta =\omega _\theta .\) The proof of (1.6) is not trivial, which uses the spherical symmetrization. See for example [41, Chap. 19]. For related physical problems, one can refer to the classical book of Finn [23].
The main objectives of this paper are considering the following problems
-
(1)
To find suitable generalizations of the quermassintergals \({\mathcal {V}}_k\) for hypersurfaces with boundary supported on \(\partial \overline{\mathbb {R}}^{n+1}_+\), which are closely related to the free energy (1.5).
-
(2)
To establish the Alexandrov–Fenchel inequality for these new quermassintegrals.
To answer the first question, we introduce the following new geometric functionals.
and for \(1\le k\le n\),
where \(H_{k-1}^{\partial \Sigma }\) is the normalized \((k-1)\)th mean curvature of \(\partial \Sigma \subset \mathbb {R}^n\) (see Sect. 2 for details). In particular, one has
We believe that these quantities are the suitable quermassintegrals for hypersurfaces with boundary intersecting with \(\partial \overline{ \mathbb {R}}^{n+1}_+\) at angle \(\theta \in (0,\pi )\), which is supported by the following result.
Theorem 1.1
Let \(\Sigma _t\subset \overline{{\mathbb {R}}}_+^{n+1}\) be a family of smooth, embedded capillary hypersurfaces with a constant contact angle \(\theta \in (0,\pi )\), which are given by the embedding \(x(\cdot ,t):M\rightarrow \overline{\mathbb {R}}^{n+1}_+\) and satisfy
for some speed function f. Then for \(0\le k\le n\),
and in particular
A hypersurface in \(\overline{{\mathbb {R}}}_+^{n+1}\) with boundary supported on \(\partial \overline{{\mathbb {R}}}_+^{n+1}\) is called capillary hypersurface if it intersects with \(\partial \overline{{\mathbb {R}}}_+^{n+1}\) at a constant angle. For closed hypersurfaces in \(\mathbb {R}^{n+1}\), a similar variational formula as (1.9) characterizes the quermassintegrals in (1.3). This formula for the quermassintegrals is also true for closed hypersurfaces in other space forms. See for example [55].
Our second result is the generalized Alexandrov–Fenchel inequalities for convex capillary hypersurfaces.
Theorem 1.2
For \(n\ge 2\), let \(\Sigma \subset \overline{\mathbb {R}}^{n+1}_+\) be a convex capillary hypersurface with a constant contact angle \(\theta \in (0, \frac{{\pi }}{2} ]\), then there holds
with equality if and only if \(\Sigma \) is a spherical cap in (2.3). Moreover,
(1.12) follows easily from (1.10), by constructing a smooth family of capillary hypersurfaces connecting to a spherical cap given in (2.3). Therefore (1.12) is true for any capillary hypersurfaces with contact angle \(\theta \). Moreover, it is equivalent to
a Gauss–Bonnet type result for capillary hypersurfaces with contact angle \(\theta \). When \(n=2\), (1.13) implies a Willmore inequality for capillary hypersurfaces with contact angle \(\theta \).
Corollary 1.3
Let \(\Sigma \subset \overline{\mathbb {R}}^3_+\) be a convex capillary surface with a constant contact angle \(\theta \in (0,\frac{\pi }{2}]\), then
with equality holding if and only if \(\Sigma \) is spherical cap in (2.3).
Here \(H=2H_1\) is the ordinary mean curvature for surfaces and it is obvious that \(H^2 \ge 4H_2\). When \(n=2\), (1.11) implies a Minkowski type inequality for convex capillary surfaces with boundary in \(\overline{\mathbb {R}}^3_+\).
Corollary 1.4
Let \(\Sigma \subset \overline{\mathbb {R}}^3_+\) be a convex capillary surface with a constant contact angle \(\theta \in (0,\frac{\pi }{2}]\), then
where
Moreover, equality holds if and only if \(\Sigma \) is a spherical cap in (2.3).
From these results, it is natural to propose
Conjecture 1.5
For \(n\ge 2\), let \(\Sigma \subset \overline{\mathbb {R}}^{n+1}_+\) be a convex capillary hypersurface with a contact angle \(\theta \in (0, {{\pi }})\), there holds
with equality iff \(\Sigma \) is a spherical cap in (2.3).
It would be also interesting to ask further if the conjecture is true for k-convex capillary hypersurfaces. In order to prove the conjecture, we introduce a suitable nonlinear curvature flow, which preserves \({\mathcal {V}}_{l,\theta }({\widehat{\Sigma }})\) and increases \({\mathcal {V}}_{k,\theta }({\widehat{\Sigma }})\), see Sect. 3. If the flow globally converges to a spherical cap, then we have the general Alexandrov–Fenchel inequaltiy (1.16). However, due to technical difficulties we are only able to prove in this paper the global convergence, for \(l=n\) and \(\theta \in (0, \frac{\pi }{2}]\), namely, Theorem 1.2.
To be more precise, let us first recall the related work on the proof of Alenxandrov–Fenchel inequalities by using geometric curvature flow for closed hypersurfaces in \(\mathbb {R}^{n+1}\). When \(\partial \Sigma =\emptyset \), and we denote \({\widehat{\Sigma }}\) be the bounded convex domain enclosed by \(\Sigma \) in \(\mathbb {R}^{n+1}\). In convex geometry, the Alexandrov–Fenchel inequalities (1.2) between quermassintegrals \({\mathcal {V}}_k\) and \({\mathcal {V}}_l\) play an important role. In fact there are more general inequalities. See [3, 4, 50] for instance. It is an interesting question, if one can use a curvature flow to reprove such inequalities. In [43], McCoy introduced a normalized nonlinear curvature flow to reprove the Alexandrov–Fenchel inequalities (1.2) for convex domains in Euclidean space. Later, Guan–Li [29] weakened the convexity condition and only assumed that the closed hypersurface \(\Sigma \) is k-convex and star-shaped by using the inverse curvature flow, which is defined by
This flow was previously studied by Gerhardt [28] and Urbas [53]. One of key observations in the study of this flow is that the k-convexity and star-shaped are preserved along this flow. This flow is also equivalent to the rescaled one
see [31, 32] for instance. The motivation to use such a flow (1.18) is its nice properties that the quermassintegrals \({\mathcal {V}}_k({\widehat{\Sigma }})\) is preserved and \({\mathcal {V}}_{k+1}({\widehat{\Sigma }})\) is non-decreasing along this flow, which follows from the well-known Minkowski formulas. Using similar geometric flows, there have been a lot of work to establish new Alexandrov–Fenchel inequalities in the hyperbolic space [6, 7, 10, 19, 26, 33, 34, 38, 49, 55] and in the sphere [15, 16, 42, 57]. For the anisotropic analogue of Alexandrov–Fenchel (Minkowski) type inequalities we refer to [8, 58, 60].
If \(\partial \Sigma \ne \emptyset \), the study of geometric inequalities with free boundary or general capillary boundary has attracted much attention in the last decades. For related relative isoperimetric inequalities and the Alexandrov–Fenchel inequalities, see for instance [9, 11, 13, 22, 37, 48, 59] etc. Recently in [48] Scheuer–Wang–Xia introduced the definition of quermassintegrals for hypersurfaces with free boundary in the Euclidean unit ball \(\overline{\mathbb {B}}^{n+1}\) from the viewpoint of the first variational formula, and they proved the highest order Alexandrov–Fenchel inequalities for convex hypersurfaces with free boundary in \(\overline{\mathbb {B}}^{n+1}\). Very recently, the second and the third authors [59] generalized the work in [48] by introducing the corresponding quermassintegrals for general capillary hypersurfaces and established Alexandrov–Fenchel inequalities for convex capillary hypersurfaces in \(\overline{\mathbb {B}}^{n+1}\). The flows introduced to establish these inequalities in [48, 59] are motivated by new Minkowski formulas proved in [56].
Now we introduce our curvature flow for capillary hypersurfaces in the half space. Let \(e=-e_{n+1}\), where \(e_{n+1}\) the \((n+1)\)th coordinate in \(\mathbb {R}^{n+1}_+\). Let \(x:\Sigma \rightarrow \overline{\mathbb {R}}^{n+1}_+\) with boundary \(x_{|\partial \Sigma }:\partial \Sigma \rightarrow \partial \mathbb {R}_+^{n+1}\) and \(\nu \) its unit normal vector field. We introduce
Using the Minkowski formulas given in (2.9), we show that flow (1.19) preserves \({\mathcal {V}}_{l,\theta }({\widehat{\Sigma }})\), while increases \({\mathcal {V}}_{k,\theta }({\widehat{\Sigma }})\) for \(k<l\). However, due to the weighted function in the flow we are only able at moment to show that flow (1.19) preserves the convexity, when \(l=n\). In this case, we can further bound \(\frac{H_n}{H_{n-1}}\). In order to bound all principal curvature we need to estimate the mean curvature, which satisfies a nice evolution equation (4.7). However the normal derivative of H, \(\nabla _{\mu }H\), has a bad sign, if \(\theta > \frac{\pi }{2}\). Hence we have to restrict ourself on the range \(\theta \in (0,\frac{\pi }{2}]\). Under these conditions we then succeed to show the global convergence, and hence Alexandrov–Fenchel inequalities. It would be interesting to ask if one can also prove the global convergence for the case \(\theta > \frac{\pi }{2}\). In analysis, this case is related to the worse case in the Robin boundary problem for the corresponding PDE. We remark also that a convex capillary hypersurface with contact angle \(\theta \le \frac{\pi }{2}\) could have different geometry from that with \(\theta > \frac{\pi }{2}\). The former was called a convex cap and was studied in [12].
Comparing with inequalities established in [48, 59], which are actually implicit inequalities and involve inverse functions of certain geometric quantities that can not be explicitly expressed by elementary functions, we have here a geometric inequality (1.11) in an explicit and clean form. An optimal inequality with an explicit form has more applications. A further good example was given very recently in an optimal insulation problem in [18], where the optimal inequalities between \({\mathcal {V}}_n\) and \({\mathcal {V}}_k\) for any \(k<n\) for closed hypersurfaces have been used crucially. We expect that our results can be similarly used in an optimal insulation problem for capillary hypersurfaces.
The rest of the article is structured as follows. In Sect. 2, we introduce the quermassintegrals for capillary hypersurfaces and collect the relevant evolution equations to finish the proof of Theorem 1.1. In Sect. 3, we introduce our nonlinear inverse curvature flow and show the monotonicty of our quermassintegrals (1.8) under the flow. In Sect. 4, we obtain uniform estimates for convex capillary hypersurfaces along the flow and the global convergence. Section 5 is devoted to prove the Alexandrov–Fenchel inequalities for convex capillary hypersurfaces in the half-space, i.e. Theorem 1.2.
2 Quermassintegrals and Minkowski formulas
Since we will deform hypersurfaces by studying a geometric flow, it is convenient to use immersions. Let M denote a compact orientable smooth manifold of dimension n with boundary \(\partial M\), and \(x:M\rightarrow \overline{\mathbb {R}}^{n+1}_+\) be a proper smooth immersed hypersurface. In particular, \(x(\text {int}(M))\subset \mathbb {R}^{n+1}_+\) and \(x(\partial M)\subset \partial \mathbb {R}^{n+1}_+\). Let \(\Sigma =x(M)\) and \(\partial \Sigma =x(\partial M)\). If no confusion, we will do not distinguish the hypersurfaces \(\Sigma \) and the immersion \(x:M \rightarrow \overline{\mathbb {R}}^{n+1}_+\). Let \(\widehat{\Sigma }\) be the bounded domain enclosed by \(\Sigma \) and \(\partial {\mathbb {R}}^{n+1}_+\). Let \(\nu \) and \(\overline{N}\) be the unit outward normal of \(\Sigma \subset {{\widehat{\Sigma }}}\) and \(\partial {\mathbb {R}}^{n+1}_+ \subset \overline{\mathbb {R}}^{n+1}_+\) respectively.
2.1 Higher order mean curvatures
For \(\kappa =(\kappa _1,\kappa _2\cdots , \kappa _n) \in \mathbb {R}^n\), let \(\sigma _k(\kappa ), k=1,\cdots , n,\) be the kth elementary symmetric polynomial functions and \(H_k(\kappa )\) be its normalization \(H_k(\kappa )=\frac{1}{\left( {\begin{array}{c}n\\ k\end{array}}\right) }\sigma _k(\kappa )\). For \(i=1,2, \cdots , n\), let \(\kappa |i\in \mathbb {R}^{n-1}\) (or \(\kappa | \kappa _i\)) denote \((n-1)\) tuple deleting the ith component from \(\kappa \).
We shall use the following basic properties about \(\sigma _k\).
Proposition 2.1
-
(1)
\( \sigma _k(\kappa )=\sigma _k(\kappa |i)+\kappa _i\sigma _{k-1}(\kappa |i), \quad \forall 1\le i \le n.\)
-
(2)
\( \sum \limits _{i = 1}^n {\sigma _{k}(\kappa |i)}=(n-k)\sigma _k(\kappa ).\)
-
(3)
\(\sum \limits _{i = 1}^n {\kappa _i \sigma _{k-1}(\kappa |i)}=k\sigma _k(\kappa )\).
-
(4)
\(\sum \limits _{i = 1}^n {\kappa _i^2 \sigma _{k-1}(\kappa |i)}=\sigma _1(\kappa )\sigma _k(\kappa )-(k+1)\sigma _{k+1}(\kappa )\).
Let \( \Gamma _+{:}{=}\{\kappa \in \mathbb {R}^n:\kappa _i>0, 1\le i\le n\}\) and \(\Gamma _+^k=\{\kappa \in \mathbb {R}^n \,| \, H_j(\kappa )>0, \forall 1\le j\le k\}\). It is clear that \(\Gamma _+=\Gamma _+^n\).
Proposition 2.2
For \(1\le k<l\le n\), we have
with equality holding if and only if \(\kappa =\lambda (1, \cdots , 1)\) for any \(\lambda >0\). Moreover, \(F(\kappa )=\frac{\sigma _k}{\sigma _{k-1}}(\kappa )\) is concave in \(\Gamma ^k_+\).
These are well-known properties. For a proof we refer to [39, Chap. XV, Sect. 4] and [51, Lemma 2.10, Theorem 2.11] respectively.
We use D to denote the Levi–Civita connection of \(\overline{\mathbb {R}}^{n+1}_+\) with respect to the Euclidean metric \(\delta \), and \(\nabla \) the Levi–Civita connection on \(\Sigma \) with respect to the induced metric g from the immersion x. The operator \(\textrm{div}, \Delta \), and \(\nabla ^2\) are the divergence, Laplacian, and Hessian operator on \(\Sigma \) respectively. The second fundamental form h of x is defined by
Let \(\kappa =(\kappa _1, \kappa _2,\cdots , \kappa _n)\) be the set of principal curvatures, i.e, the set of eigenvalues of h. Then we denote \(\sigma _k=\sigma _k(\kappa )\) and \(H_k=H_k(\kappa )\) resp. be the kth mean curvature and the normalized kth mean curvature of \(\Sigma \). We also use the convention that
Remark 2.3
We will simplify the notation by using the following shortcuts occasionally:
-
(1)
When dealing with complicated evolution equations of tensors, we will use a local frame to express tensors with the help of their components, i.e. for a tensor field \(T\in {\mathcal {T}}^{k,l}(\Sigma )\), the expression \(T^{i_{1}\dots i_{k}}_{j_{1}\dots j_{l}}\) denotes
$$\begin{aligned} T^{i_{1}\dots i_{k}}_{j_{1}\dots j_{l}}=T(e_{j_{1}},\dots ,e_{j_{l}},\epsilon ^{i_{1}},\dots \epsilon ^{i_{k}}), \end{aligned}$$where \((e_{i})\) is a local frame and \((\epsilon ^{i})\) its dual coframe.
-
(2)
The mth covariant derivate of a (k, l)-tensor field T, \(\nabla ^m T\), is locally expressed by
$$\begin{aligned} T^{i_1\dots i_k}_{j_1\dots j_l; j_{l+1}\dots j_{l+m}}. \end{aligned}$$ -
(3)
We shall use the convention of the Einstein summation. For convenience the components of the Weingarten map \({\mathcal {W}}\) are denoted by \((h^{i}_{j})=(g^{ik}h_{kj})\), and \(|h|^2\) be the norm square of the second fundamental form, that is \(|h|^2=g^{ik}h_{kl}h_{ij}g^{jl}\), where \((g^{ij})\) is the inverse of \((g_{ij})\). We use the metric tensor \((g_{ij})\) and its inverse \((g^{ij})\) to lower down and raise up the indices of tensor fields on \(\Sigma \).
2.2 Quermassintegrals in the half-space
In order to introduce our quermassintegrals for capillary hypersurfaces in the half-space, we review first the quermassintegrals in \(\mathbb {R}^{n+1}\), see e.g. [50]. Given a bounded convex domain \(\widehat{\Sigma }\subset \mathbb {R}^{n+1}\) with smooth boundary \(\partial \widehat{\Sigma }\), its kth quermassintegral is defined by
and for \(0\le k\le n\),
where \(H_{k} \) is the normalized kth mean curvature of \(\partial \widehat{\Sigma }\subset \mathbb {R}^{n+1}\). One can check that
for a family of bounded convex bodies \(\{\widehat{\Sigma }_t\}\) in \(\mathbb {R}^{n+1}\) whose boundary \(\partial \widehat{\Sigma }_t\) evolving by a normal variation with speed function f. For a proof see e.g. [29, Lemma 5]. As mentioned above, a similar first variational formula also holds in space forms, see [46]. Therefore formula (2.2) is the characterization of the quermassintegrals for closed hypersurfaces in space forms.
Now we define the following geometric functionals for convex hypersurfaces \(\Sigma \) with capillary boundary in \(\overline{\mathbb {R}}^{n+1}_+\) with a constant contact angle \(\theta \) along \(\partial \Sigma \subset \mathbb {R}^n\). Let
and for \(1\le k\le n\),
Here \(H_{k-1}^{\partial \Sigma }{:}{=}\frac{1}{\left( {\begin{array}{c}n-1\\ k-1\end{array}}\right) }\sigma _{k-1}({\hat{\kappa }})\) is the normalized \((k-1)\)th mean curvature of \(\partial \Sigma \subset \mathbb {R}^n\) and \(\sigma _{k-1}({\hat{\kappa }})\) is the \((k-1)\)-elementary symmetric function on \(\mathbb {R}^{n-1}\) evaluating at the principal curvatures \({\hat{\kappa }}\) of \(\partial \Sigma \subset \mathbb {R}^n\). In particular, we have
Here H is the (un-normalized) mean curvature, i.e. \(H=n H_1\). From Gauss–Bonnet–Chern’s theorem, we know
if \(\widehat{\Sigma }\subset \mathbb {R}^{n}\) is a convex body (non-empty, compact, convex set). As a result, we see
2.3 Spherical caps
Let \(e{:}{=}-e_{n+1}=(0,\ldots ,0,-1)\). We consider a family of spherical caps lying entirely in \(\overline{\mathbb {R}}^{n+1}_+\) and intersecting \(\mathbb {R}^{n}\) with a constant contact angle \(\theta \in (0,\pi )\) given by
which has radius r and centered at \( r\cos \theta e \). To emphasize e and to distinguish with the center of the spherical cap, \(r\cos \theta e\), we call \( C_{r,\theta }(e)\) a spherical cap around e. If without confusion, we just write \(C_{r,\theta }\) for \(C_{r,\theta }(e)\) in the rest of this paper. One can easily check that \( C_{r,\theta }\) is the static solution to flow (3.1) below, that is,
and it intersects with the support \(\partial \overline{\mathbb {R}}^{n+1}_+\) at the constant angle \(\theta \).
The volume of \(\widehat{C_{r,\theta }}\)
where \({\textbf{b}}_\theta \) is the volume of \(C_{1,\theta }\), which is congruent to \(\mathbb {S}_\theta ^{n}\), defined in the introduction. One can compute
and \(I_s(\frac{n}{2},\frac{1}{2})\) is the regularized incomplete beta function given by
Moreover, one can readily check that
and
Therefore, \(C_{r,\theta }\) achieves equality in the Alexandrov–Fenchel inequalities (1.11).
2.4 Minkowski formulas
As above, \(\Sigma \subset \overline{\mathbb {R}}^{n+1}_+\) is a smooth, properly embedded capillary hypersurface, given by the embedding \(x:M\rightarrow \overline{\mathbb {R}}^{n+1}_+\), where M is a compact, orientable smooth manifold of dimension n with non-empty boundary. Let \(\mu \) be the unit outward co-normal of \(\partial \Sigma \) in \(\Sigma \) and \(\overline{\nu }\) be the unit normal to \(\partial \Sigma \) in \(\partial \mathbb {R}^{n+1}_+\) such that \(\{\nu ,\mu \}\) and \(\{\overline{\nu },\overline{N}\}\) have the same orientation in normal bundle of \(\partial \Sigma \subset \overline{\mathbb {R}}^{n+1}_+\). We define the contact angle \(\theta \) between the hypersurface \(\Sigma \) and the support \(\partial \overline{\mathbb {R}}^{n+1}_+\) by
It follows
or equivalently
\(\partial \Sigma \) can be viewed as a smooth closed hypersurface in \(\mathbb {R}^n\), which bounds a bounded domain \(\widehat{\partial \Sigma }\) inside \(\mathbb {R}^n\). By our convention, \({\bar{\nu }}\) is the unit outward normal of \(\partial \Sigma \) in \(\widehat{\partial \Sigma }\subset \mathbb {R}^n\). See Fig.1.
The second fundamental form of \(\partial \Sigma \) in \(\mathbb {R}^n\) is given by
The second equality holds since \(\langle {\bar{\nu }}, {\bar{N}}\circ x \rangle =0\). The second fundamental form of \(\partial \Sigma \) in \(\Sigma \) is given by
The second equality holds since \(\langle \nu , \mu \rangle =0\).
Proposition 2.4
Let \(\Sigma \subset \overline{\mathbb {R}}^{n+1}_+\) be a capillary hypersurface. Let \(\{e_\alpha \}_{\alpha =2}^{n }\) be an orthonormal frame of \(\partial \Sigma \). Then along \(\partial \Sigma \),
-
(1)
\(\mu \) is a principal direction of \(\Sigma \), that is, \(h_{\mu \alpha }=h(\mu , e_\alpha )=0\).
-
(2)
\(h_{\alpha \beta }=\sin \theta {\widehat{h}}_{\alpha \beta }.\)
-
(3)
\({\widetilde{h}}_{\alpha \beta }=\cos \theta {\widehat{h}}_{\alpha \beta } = \cot \theta h_{\alpha \beta }.\)
-
(4)
\(h_{\alpha \beta ; \mu }={\widetilde{h}}_{\beta \gamma }(h_{\mu \mu }\delta _{\alpha \gamma }-h_{\alpha \gamma })\).
Proof
The first assertion is well-known, see e.g. [47]. (2) and (3) follow from
and
For (4), taking derivative of \(h(\mu , e_\alpha )=0\) with respect to \(e_\beta \) and using the Codazzi equation and (1), we get
\(\square \)
The Proposition 2.4 has a direct conseqeunce.
Corollary 2.5
If \(\Sigma \) is a convex capillary hypersurface, then \(\partial \Sigma \subset \partial \overline{\mathbb {R}}_{+}^{n+1}\) is also convex, i.e., \({{\widehat{h}}}\ \ge 0\), while \(\partial \Sigma \subset \Sigma \) is convex \(({{\widetilde{h}}} \ge 0)\) if \(\theta \in (0,\frac{\pi }{2}]\) and concave \(({{\widetilde{h}}} \le 0)\) if \(\theta \in [\frac{\pi }{2}, \pi )\).
The following Minkowski type formulas for capillary hypersurfaces play an important role in this paper.
Proposition 2.6
Let \(x:M\rightarrow \overline{\mathbb {R}}^{n+1}_+ \) be an smooth immersion of \(\Sigma {:}{=}x(M)\) into the half-space, whose boundary intersects \(\mathbb {R}^n\) with a constant contact angle \(\theta \in (0,\pi )\) along \(\partial \Sigma \). For \(1\le k\le n\), it holds
where dA is the area element of \(\Sigma \) w.r.t. the induced metric g.
When \(k=1\) or \(\theta =\frac{\pi }{2}\), formula (2.9) is known. See e.g. [2, Proof of Theorem 5.1] and [30, Proposition 2.5]. For our purpose, we need the high order Minkowski type formulas for general \(\theta \).
Proof
Denote \( x^T {:}{=}x-\langle x,\nu \rangle \nu \) be the tangential projection of x on \(\Sigma \), and
From a direct computation, we have
and
Along \(\partial \Sigma \subset \partial \mathbb {R}^{n+1}_+\), using (2.7) we see
which follows
Denote \(\sigma _{k-1}^{ij}{:}{=}\frac{\partial \sigma _k}{\partial h^i_j }\) be the kth Newton transformation. Taking contraction with (2.10), (2.11) and using Proposition 2.1 we obtain
Using integration by parts, we have
From (2.12), we know that \((x^T+\cos \theta P_e^T)\perp \mu \) along \(\partial \Sigma \).
Since \(\mu \) is a principal direction of \(\Sigma \) by Proposition 2.4, we have \( \sigma _{k-1}^{ij} (x^T+\cos \theta P_e^T)_j\cdot \mu _i=0\) along \(\partial \Sigma \). It is well-known that the Newton tensor is divergence-free, i.e., \(\nabla _i\sigma _{k-1}^{ij}=0\). Altogether yields the conclusion. \(\square \)
2.5 Variational formulas
The following first variational formula motivates us to define the quermassintegrals for capillary hypersurfaces as (1.8).
Theorem 2.7
Let \(\Sigma _t\subset \overline{{\mathbb {R}}}_+^{n+1}\) be a family of smooth capillary hypersurfaces supported by \(\partial \mathbb {R}^{n+1}_+\) with a constant contact angle \(\theta \in (0,\pi )\) along \(\partial \Sigma _t\), given by the embedding \(x(\cdot ,t):M\rightarrow \overline{\mathbb {R}}^{n+1}_+\), and satisfying
for a smooth function f. Then for \(-1\le k\le n-1\),
and
Before proving Theorem 2.7, we remark that if \(\Sigma _t\subset \overline{\mathbb {R}}^{n+1}_+\) is a family of smooth capillary hypersurfaces evolving by (2.13), then the tangential component \((\partial _tx)^T\) of \(\partial _t x\), which we denote by \(T\in T\Sigma _t\), must satisfy
where \({\widetilde{T}}\in T(\partial \Sigma _t)\). In fact, the restriction of \(x(\cdot , t)\) on \(\partial M\) is contained in \(\mathbb {R}^n\) and hence,
From (2.7), we know
Since \({\bar{\nu }}\in T\mathbb {R}^n\), it follows \(T-f\cot \theta \mu \in T\mathbb {R}^n\cap T\Sigma _t=T(\partial \Sigma _t)\), and hence (2.15). Up to a diffeomorphism of \(\partial M\), we can assume \({\widetilde{T}}=0\). For simplicity, in the following, we always assume that
Hence, from now on, let \(\Sigma _t\) be a family of smooth, embedding hypersurfaces with \(\theta \)-capillary boundary in \(\overline{ \mathbb {R}}^{n+1}_+\), given by the embeddings \(x(\cdot ,t):M\rightarrow \overline{\mathbb {R}}^{n+1}_+\), which evolves by the general flow
with \(T\in T\Sigma _t\) satisfying (2.16). We emphasize that the tangential part T plays a key role in the proof of Theorem 2.7 below.
Along flow (2.17), we have the following evolution equations for the induced metric \(g_{ij}\), the area element \(dA_t\), the unit outward normal \(\nu \), the second fundamental form \(h_{ij}\), the Weingarten matrix \(h^i_j\), the mean curvature H, the kth mean curvature \(\sigma _k\) and \(F{:}{=}F(h^j_i)\) of the hypersurfaces \(\Sigma _t\). These evolution equations will be used later.
Proposition 2.8
Along flow (2.17), it holds that
-
(1)
\(\partial _t g_{ij}=2fh_{ij}+\nabla _i T_j+\nabla _jT_i\).
-
(2)
\(\partial _tdA_t =\left( fH+\textrm{div}(T)\right) dA_t.\)
-
(3)
\(\partial _t\nu =-\nabla f+h(e_i,T)e_i\).
-
(4)
\(\partial _t h_{ij}=-\nabla ^2_{ij}f +fh_{ik}h_{j}^k +\nabla _T h_{ij}+h_{j}^k\nabla _iT_k+h_{i}^k\nabla _j T_k.\)
-
(5)
\(\partial _t h^i_j=-\nabla ^i\nabla _{j}f -fh_{j}^kh^{i}_k+\nabla _T h^i_j.\)
-
(6)
\(\partial _t H=-\Delta f-|h|^2 f+ \langle \nabla H, T\rangle \).
-
(7)
\(\partial _t \sigma _k=- \frac{\partial \sigma _k}{\partial h_i^j}\nabla ^i\nabla _{j}f - f (\sigma _1\sigma _k-(k+1)\sigma _{k+1})+\langle \nabla \sigma _k, T\rangle \).
-
(8)
\(\partial _t F= -F^{j}_i\nabla ^i\nabla _{j}f -fF^{j}_ih_{j}^kh^{i}_k+\langle \nabla F,T\rangle \), where \(F^i_j{:}{=}\frac{\partial F}{\partial h^j_i}\).
The proof of Proposition 2.8 for \(T=0\) can be found for example in [27, Chap. 2, Sect. 2.3] or [21, Appendix B]. A proof for a general T can be found in [59, Proposition 2.11].
Now we complete the proof of Theorem 2.7.
Proof of Theorem 2.7
Choose an orthonormal frame \(\{e_\alpha \}_{\alpha =2}^{n}\) of \(T{\partial \Sigma }\subset T\mathbb {R}^n\) such that \(\{e_1{:}{=}\mu ,(e_\alpha )_{\alpha =2}^n\}\) forms an orthonormal frames for \(T\Sigma \). First, by taking time derivative to the capillary boundary condition, \(\langle \nu ,\overline{N}\circ x\rangle =-\cos \theta \) along \(\partial \Sigma \), we obtain
where we have used (2.7), Proposition 2.8 and \(T|_{\partial M}=f\cot \theta \mu \). As a result,
Next, using integration by parts and Proposition 2.8 we have
where we have used \(T|_{\partial M}=f\cot \theta \mu \), (2.18) and Lemma 2.1 (1), (4).
Moreover flow (3.1) induces a hypersurface flow \(\partial \Sigma _t\subset \mathbb {R}^n\) with normal speed \(\frac{f}{\sin \theta }\), that is,
By (2.2), we have
From Proposition 2.4 (2), we know
and hence \(\sigma _k(h|h_{11})=\sin ^k\theta \sigma _k({\widehat{h}})\). Substituting these formulas into (2.19), we obtain
By the definition of \({\mathcal {V}}_{k+1,\theta }(\widehat{\Sigma _t})\) in (1.8), we get the desired formula (2.14) for \(k\ge 0.\)
It remains to consider the case \(k=-1\). It is easy to check that
A direct computation gives
since \(-\langle x^T, \mu \rangle f +\langle x,\nu \rangle \langle T, \mu \rangle =0\) for \(x\in \partial \Sigma \), which follows from
Now we complete the proof. \(\square \)
3 Locally constrained curvature flow
In this section, we first introduce a new locally constrained curvature flow and show the monotonicity of the quermassintegral along the flow.
Let M be a compact orientable smooth n-dimensional manifold. Suppose \(x_0:M\rightarrow \overline{\mathbb {R}}^{n+1}_+\) be a smooth initial embedding such that \(x_0(M)\) is a convex hypersurface in \(\overline{\mathbb {R}}^{n+1}_+\) and intersects with \(\partial {\mathbb {R}}^{n+1}_+\) at a constant contact angle \(\theta \in (0,{\pi })\). We consider the smooth family of embeddings \(x:M\times [0,T)\rightarrow \overline{\mathbb {R}}^{n+1}_+, \) satisfying the following evolution equations
with \(x(M,0)=x_0(M)\) and
where
The following nice property of flow (3.1) is essential for us to prove Theorem 1.2 later.
Proposition 3.1
As long as flow (3.1) exists and \( \Sigma _t\) is strictly l-convex, \( {\mathcal {V}}_{l,\theta }(\widehat{\Sigma _t})\) is preserved and \( {\mathcal {V}}_{k,\theta }(\widehat{\Sigma _t})\) is non-decreasing for \(1\le k<l \le n\).
Proof
From Theorem 2.7, we see
where the last equality follows from (2.9). For \(1\le k<l\le n\), from Theorem 2.7
where we have used the Newton–MacLaurin inequality (2.1) and the Minkowski formula (2.9) in the last two steps respectively. \(\square \)
4 A priori estimates and convergence
The main result of this section is the following long-time existence and the convergence result of flow (3.1) with \(l=n\), i.e.,
under an angle constraint
Theorem 4.1
Assume \(x_0:M\rightarrow \overline{\mathbb {R}}^{n+1}_+\) is an embedding of a strictly convex capillary hypersurface in the half-space with the contact angle \(\theta \in ( 0,\frac{\pi }{2}]\). Then there exists \(x:M\times [0,+\infty )\rightarrow \overline{\mathbb {R}}^{n+1}_+\) satisfying flow (3.1) with F given by (4.1) and the initial condition \(x(M,0)=x_0(M)\). Moreover, \(x(\cdot ,t)\rightarrow x_\infty (\cdot )\) in \(C^\infty \) topology as \(t\rightarrow +\infty \), and the limit \(x_\infty :M\rightarrow \overline{\mathbb {R}}^{n+1}_+\) is a spherical cap.
In order to prove this theorem, we need to obtain a priori estimates, which will be given as follows.
4.1 The short time existence
For the short time existence, one can follow the strategy presented in the paper of Huisken–Polden [36] to give a proof for a general initial capillary hypersurface. Since our initial hypersurface is convex, one can prove the short time existence in the class of star-shaped hypersurfaces. In this class, one can in fact reduce flow (3.1) to a scalar flow. Then the short time existence follows clearly from the standard theory for parabolic equations. Therefore we first consider the reduction.
Assume that a capillary hypersurfaces \(\Sigma \) is strictly star-shaped with respect to the origin. One can reparametrize it as a graph over \(\overline{\mathbb {S}}^n_+\). Namely, there exists a positive function r defined on \(\overline{\mathbb {S}}^n_+\) such that
where \(X{:}{=}(X_1,\ldots , X_n)\) is a local coordinate of \(\overline{\mathbb {S}}^n_+\).
We denote \(\nabla ^0\) be the Levi-Civita connection on \(\mathbb {S}^n_+\) with respect to the standard round metric \(\sigma {:}{=}g_{_{\mathbb {S}^n_+}}\), \(\partial _i{:}{=}\partial _{X_i}\), \(\sigma _{ij}{:}{=}\sigma (\partial _{i},\partial _{j})\), \(r_i{:}{=}\nabla ^0_{i} r\), and \(r_{ij}{:}{=}\nabla ^0_{i}\nabla ^0_j r\). The induced metric g on \(\Sigma \) is given by
where \(\varphi (X){:}{=}\log r(X)\). Its inverse \(g^{-1}\) is given by
where \(r^i{:}{=}\sigma ^{ij}r_j\), \(\varphi ^i{:}{=}\sigma ^{ij}\varphi _j\) and \(v{:}{=}\sqrt{1+|\nabla ^0 \varphi |^2}\). The unit outward normal vector field on \(\Sigma \) is given by
The second fundamental form h on \(\Sigma \) is
and its Weingarten matrix \(h^i_j\) is
The higher order mean curvature \(H_k\) can also be expressed by \(\varphi \). Moreover,
In order to express the capillary boundary condition in terms of the radial function \(\varphi \), we use the polar coordinate in the half-space. For \(x{:}{=}(x',x_{n+1})\in \mathbb {R}^n\times [0,+\infty )\) and \(X{:}{=}(\beta ,\xi )\in [0,\frac{\pi }{2}]\times \mathbb {S}^{n-1}\), we have that
Then
In these coordinates the standard Euclidean metric is given by
It follows that
Along \(\partial \mathbb {S}^n_+\) it holds
which yields
that is,
Therefore, in the class of star-shaped hypersurfaces flow (3.1) is reduced to the following scalar parabolic equation with an oblique boundary condition
where \(\varphi _0 \) is the parameterization radial function of \(x_0(M)\) over \(\overline{\mathbb {S}}^n_+\), and
Since \(|\cos \theta |<1\), the oblique boundary condition (4.2) satisfies the non-degeneracy condition in [44], see also [20]. Hence the short time existence follows.
4.2 Barriers
Let \(T^*\) be the maximal time of smooth existence of a solution to (3.1), more precisely in the class of star-shaped hypersurfaces. It is obvious that F can not be zero and hence F is positive in \(M\times [0, T^*)\). The positivity of F implies that \(\Sigma _t\) is strictly convex up to \(T^*\).
The convexity of \(\Sigma _0\) implies that there exists some \(0<r_1<r_2<\infty \), such that
The family of \(C_{ r,\theta }\) forms natural barriers of (3.1). Therefore, we can show that the solution to (4.3) is uniformly bounded from above and below.
Proposition 4.2
For any \( t\in [0, T^*)\), \(\Sigma _t\) satisfies
Proof
Recall that \(C_{r,\theta }\) satisfies (2.4). Thus for each \(r>0\), it is a static solution to flow (3.1). The assertion follows from the avoidance principle for strictly parabolic equation with a capillary boundary condition (see [5, Sect. 2.6] or [54, Proposition 4.2]). \(\square \)
4.3 Evolution equations of F and H
We first introduce a parabolic operator for (3.1)
Set \({\mathcal {F}}{:}{=}\sum _{i=1}^n F^{i}_i\). Using Proposition 2.1 we have
Proposition 4.3
Along flow (3.1), we have
and
Proof
Using the Codazzi formula, we have
and
Combining with Proposition 2.8, we obtain
Hence it follows
Along \(\partial \Sigma _t,\) from (2.18) we know
By (2.7) or (2.8) and Proposition 2.4 (1), we have on \(\partial \Sigma _t\)
and hence
Using (2.7) and Proposition 2.4 (1) again, we have (\(e={\overline{N}}\))
and
where we used \(\langle e,\overline{\nu }\rangle =0\) and \(\langle e,x\rangle =0\) on \(\partial \Sigma _t\). One can easily check that the left hand side of the previous formula equals to \(\cot \theta h(\mu ,\mu ) (1+\cos \theta \langle \nu , e \rangle )\), on \(\partial \Sigma \). Hence it follows that
\(\square \)
We remark that (4.6) plays an important role in applying the maximum principle later. This property holds for curvature flow of free boundary hypersurfaces and capillary hypersurfaces, see also [48, 59].
Proposition 4.4
Along flow (3.1), we have
and, while \(\Sigma \) is convex,
Proof
First, note that
Applying Proposition 2.8, we obtain
The Ricci equation and the Codazzi equation yield
which implies
Hence we have
Along \(\partial \Sigma _t\), choosing an orthonormal frame \(\{e_\alpha \}_{\alpha =2}^{n}\) of \(T{\partial \Sigma _t}\) such that \(\{e_1{:}{=}\mu ,(e_\alpha )_{\alpha =2}^n\}\) forms an orthonormal frames for \(T\Sigma _t\). From Proposition 2.4, we have
for all \(2\le \alpha \le n\). Equation (4.6) implies
which in turn implies
where the last inequality follows from the concavity of F, and the convexity of \(\partial \Sigma \subset \Sigma \), see Corollary 2.5. Hence (4.8) is proved. \(\square \)
Remark 4.5
(4.8) is the only place where we have used \(\theta \in (0,\frac{\pi }{2}]\).
4.4 Curvature estimates
First, we have the uniform bound of F, which follows directly from Proposition 4.3 and the maximum principle.
Proposition 4.6
Along flow (3.1), it holds
In particular, from the uniform lower bound of \(F{:}{=}\frac{H_n}{H_{n-1}}\), we get a uniform curvature positive lower bound.
Corollary 4.7
\(\Sigma _t, t\in [0,T^*)\) is uniformly convex, that is, there exists \(c>0\) depending only on \(\Sigma _0\), such that the principal curvatures of \(\Sigma _t\),
for all \((p,t)\in M\times [0,T^*)\).
Next we obtain the uniform bound of the mean curvature.
Proposition 4.8
There exists \(C>0\) depending only on \(\Sigma _0\), such that
Proof
From (4.8), we know that \(\nabla _\mu H\le 0\) on \(\partial \Sigma _t\). Thus H attains its maximum value at some interior point, say \(p_0\in \text {int}(M)\). We now compute at \(p_0\).
From the concavity of \(F=\frac{n\sigma _n}{\sigma _{n-1}}\) in Proposition 2.2, we know
Using Proposition 4.4, we have
The term \(|\text {K}_1|\) is bounded by 3H. For the term \(\text {K}_2\), we note that
where we have used the notations
One can check
for some positive constant \(c_0\). Combining with Proposition 4.6, it implies
for some positive constant \(C>0\). Therefore,
which yields that H is uniformly bounded from above. \(\square \)
Proposition 4.8 and Corollary 4.7 imply directly that
Corollary 4.9
\(\Sigma _t, t\in [0,T^*)\), has a uniform curvature bound, namely, there exists \(C>0\) depending only on \(\Sigma _0\), such that the principal curvatures of \(\Sigma _t\),
for all \((p,t)\in M\times [0,T^*)\).
4.5 Convergence of the flow
First we show that the convexity implies that the star-shaped is preserved in the following sense.
Proposition 4.10
There exists \(c_0>0\) depending only on \(\Sigma _0\), such that
for all \((p,t)\in M\times [0,T^*)\).
Proof
For any \(T'<T^*\), assume \(\min \limits _{M\times [0,T']} \langle x,\nu \rangle (p,t)=\langle x,\nu \rangle (p_0,t_0)\). Then, either \(p_0\in \partial M\) or \(p_0\in M\setminus \partial M\).
If \(p_0\in M\setminus \partial M\), let \(\{e_i\}_{i=1}^n\) be the orthonormal frame of \(\Sigma _t\), then at \(p_0\),
Due to the strict convexity \((h_{ij})>0\), we have \(\langle x,e_i\rangle =0\). It follows
for some \(c_0>0\), which depends only on the initial datum.
If \(p_0\in \partial M\), by (2.7) we have
Hence \(\langle x,\overline{\nu }\rangle \big |_{\partial M}\) attains its minimum value at \(p_0\). As above, choosing \(\{e_\alpha \}_{\alpha =2}^n\) be the orthonormal frame of \(\partial \Sigma _t\) in \(\mathbb {R}^n\) such that \(e_1=\overline{\nu }\), we have
By Proposition 2.4 (2) and Corollary 4.7, we know \(({\widehat{h}}_{\alpha \beta })>0\), and hence we have \(x\parallel \overline{\nu }\) at \(p_0\) and
for some \(c_0>0\), which depends only on the initial datum. Therefore, we finish the proof of (4.9). \(\square \)
Proposition 4.11
Flow (3.1) exists for all time with uniform \(C^{\infty }\)-estimates.
Proof
From Proposition 4.2, Proposition 4.10, Proposition 4.7 and Corollary 4.9, we see that \(\varphi \) is uniformly bounded in \(C^2(\mathbb {S}^n_+\times [0,T^*))\) and the scalar equation in (4.3) is uniformly parabolic. Since \(|\cos \theta |<1\), the boundary value condition in (4.3) satisfies the uniformly oblique property. From the standard parabolic theory (see e.g. [20, Theorem 6.1, Theorem 6.4 and Theorem 6.5], also [52, Theorem 5] and [39, Theorem 14.23]), we conclude the uniform \(C^\infty \)-estimates and the long-time existence of solution to (4.3). \(\square \)
Proposition 4.12
\(x(\cdot , t)\) smoothly converges to a uniquely determined spherical cap around e with capillary boundary, as \(t\rightarrow \infty \).
Proof
By Proposition 3.1, we know \( {\mathcal {V}}_{1,\theta }(\widehat{\Sigma _t})\) is non-decreasing, due to
It follows from the long time existence and uniform \(C^\infty \)-estimates that
Then we obtain
Moreover one can show that for any sequence \(t_i\rightarrow \infty \), there exists a convergent subsequence, whose limit satisfying
It is easy to see that the limit is a spherical cap. Next we show that any limit of a convergent subsequence is uniquely determined, which implies the flow smoothly converges to a unique spherical cap. We shall use the argument in [48].
Note that we have proved that \(x(\cdot ,t)\) subconverges smoothly to a capillary boundary spherical cap \( C_{\rho _\infty ,\theta }(e_\infty )\). Since \({\mathcal {V}}_{n,\theta }\) is preserved along flow (3.1), the radius \(\rho _\infty \) is independent of the choice of the subsequence of t. We now show in the following that \(e_\infty =e\). Denote \(\rho (\cdot ,t)\) be the radius of the unique spherical cap \(C_{\rho (\cdot , t), \theta }(e)\) around e with contact angle \(\theta \) passing through the point \(x(\cdot ,t)\). Due to the spherical barrier estimate, i.e. Proposition 4.2, we know
is non-increasing with respect to t, for some point \(\xi _t\in M\). Hence the limit \(\lim \limits _{t\rightarrow +\infty } \rho _{\text {max}}(t)\) exists. Next we claim that
We prove this claim by contradiction. Suppose (4.10) is not true, then there exists \(\varepsilon >0\) such that
By definition, \(\rho (\cdot ,t)\) satisfies
Hence
We evaluate at \((\xi _t,t)\). Since \(\Sigma _t\) is tangential to \(C_{\rho ,\theta }(e)\) at \(x(\xi _t, t)\), we have
Thus we deduce
We note that there exists some \(\delta >0\) such that
In fact, this follows directly from (4.12), due to
Since the spherical caps \(C_{\rho _{\max },\theta }(e)\) are the static solutions to (3.1) and \(x(\cdot ,t)\) is tangential to \(C_{\rho _{\max },\theta }(e)\) at \(x(\xi _t,t)\), we see from (2.4)
Since \(x(\cdot ,t)\) subconverges to \(C_{\rho _\infty ,\theta }(e_\infty )\) and \(\rho _\infty \) is uniquely determined, we have
as \(t\rightarrow +\infty \). Thus there exists \(T_0>0\) such that
and hence
for all \(t>T_0\). Taking into account of (4.16), we see
for all \(t>T_0\). By adopting Hamilton’s trick, we conclude from (4.13), (4.14) and (4.17) that there exists some \(C>0\) such that for almost every t,
This is a contradiction to the fact that \(\lim \limits _{t\rightarrow +\infty }\frac{d}{dt} \rho _{\max }=0\), and hence claim (4.10) is true. Similarly, we can obtain that
Hence \(\lim \limits _{t\rightarrow \infty } \rho (\cdot ,t)=\rho _\infty \). This implies that any limit of a convergent subsequence is the spherical cap around e with radius \(\rho _{\infty }\). We complete the proof of Proposition 4.12. \(\square \)
In view of Proposition 4.11 and Proposition 4.12, Theorem 4.1 are proved.
5 Alexandrov–Fenchel inequalities
In this section, we apply the convergence result of flow (3.1) to prove Theorem 1.2.
Proof of Theorem 1.2
Remember
where \({\textbf{b}}_\theta \) was defined by (2.5).
Assume that \(\Sigma \) is strictly convex. We have proved in Sect. 4 that flow (3.1) converges a spherical cap, which we denote by \(C_{r_\infty ,\theta }(e)\). By the monotonicity of \({\mathcal {V}}_{n,\theta }\) and \({\mathcal {V}}_{k,\theta }\), Proposition 3.1 we have
moreover, equality holds iff \(\Sigma \) is a spherical cap. It is clear that (5.1) is the same as (1.11).
When \(\Sigma \) is convex but not strictly convex, the inequality follows by approximation. The equality characterization can be proved similar to [48, Sect. 4], by using an argument of [29]. We omit the details here. \(\square \)
For Corollary 1.4, one just notes that when \(n=2\),
Data availability
Data sharing not applicable to this article as no datasets were generated or analysed during the current study.
References
Agostiniani, V., Fogagnolo, M., Mazzieri, L.: Minkowski inequalities via nonlinear potential theory. Arch. Rat. Mech. Anal. 244(1), 51–85 (2022)
Ainouz, A., Souam, R.: Stable capillary hypersurfaces in a half-space or a slab. Indiana Univ. Math. J. 65(3), 813–831 (2016)
Alexandrov, A.D.: Zur Theorie der gemischten Volumina von konvexen Körpern, II. Neue Ungleichungen zwischen den gemischten Volumina und ihre Anwendungen. Mat. Sb. (N.S.) 2, 1205–1238 (1937) (in Russian)
Alexandrov, A.D.: Zur Theorie der gemischten Volumina von konvexen Körpern, III. Die Erweiterung zweeier Lehrsatze Minkowskis über die konvexen Polyeder auf beliebige konvexe Flachen. Mat. Sb. (N.S.) 3, 27–46 (1938) (in Russian)
Altschuler, S.J., Wu, L.F.: Translating surfaces of the non-parametric mean curvature flow with prescribed contact angle. Calc. Var. Partial Differ. Equ. 2(1), 101–111 (1994)
Andrews, B., Hu, Y., Li, H.: Harmonic mean curvature flow and geometric inequalities. Adv. Math. 375, 107393 (2020)
Andrews, B., Wei, Y.: Quermassintegral preserving curvature flow in hyperbolic space. Geom. Funct. Anal. 28(5), 1183–1208 (2018)
Andrews, B., Wei, Y.: Volume preserving flow by powers of the \(k\)-th mean curvature. J. Differ. Geom. 117(2), 193–222 (2021)
Bokowski, J., Spencer, E.: Zerlegung konvexer Körper durch minimale Trennflächen. J. Reine Angew. Math. 311(312), 80–100 (1979). (German)
Brendle, S., Guan, P., Li, J.: An inverse curvature type hypersurface flow in space forms (private note)
Burago, Yu.D., Maz’ya, V.G.: Potential theory and function theory for irregular regions (transl. Russian Seminars in Mathematics). V. A. Steklov Mathematical Institute, Leningrad, Vol. 3 Consultants Bureau, New York (1969)
Busemann, H.: Minkowski’s and related problems for convex surfaces with boundaries. Michigan Math. J. 6, 259–266 (1959)
Cabré, X., Ros-Oton, X., Serra, J.: Sharp isoperimetric inequalities via the ABP method. J. Eur. Math. Soc. 18(12), 2971–2998 (2016)
Chang, S.-Y.A., Wang, Y.: Inequalities for quermassintegrals on \(k\)-convex domains. Adv. Math. 248, 335–377 (2013)
Chen, C., Guan, P., Li, J., Scheuer, J.: A fully nonlinear flow and quermassintegral inequalities. Pure Appl. Math Q. 18(2), 437–461 (2022)
Chen, M., Sun, J.: Alexandrov-Fenchel type inequalities in the sphere. Adv. Math. 397, 108203 (2022)
Choe, J., Ghomi, M., Ritore, M.: The relative isoperimetric inequality outside convex domains in \({\cal{R} }^n\). Calc. Var. Partial Differ. Equ. 29(4), 421–429 (2007)
Della Pietra, F., Nitsch, C., Trombetti, C.: An optimal insulation problem. Math. Ann. 382, 745–759 (2022)
de Lima, L.L., Girao, F.: An Alexandrov-Fenchel-type inequality in hyperbolic space with an application to a Penrose inequality. Ann. Henri Poincaré 17(4), 979–1002 (2016)
Dong, G.-C.: Initial and nonlinear oblique boundary value problems for fully nonlinear parabolic equations. J. Part. Differ. Equ. Ser. A 1(2), 12–42 (1988)
Ecker, K.: Regularity theory for mean curvature flow. In: Progress in Nonlinear Differential Equations and their Applications, vol. 57. Birkhäuser Boston, Inc., Boston, MA (2004)
Figalli, A., Indrei, E.: A sharp stability result for the relative isoperimetric inequality inside convex cones. J. Geom. Anal. 23(2), 938–969 (2013)
Finn, R.: Equilibrium Capillary Surfaces. Grundlehren der Mathematischen Wissenschaften, vol. 284. Springer-Verlag, New York (1986)
Freire, A., Schwart, F.: Mass-capacity inequalities for conformally flat manifolds with boundary. Commun. Part. Differ. Equ. 39(1), 98–119 (2014)
Fusco, N., Morini, M.: Total positive curvature and the equality case in the relative isoperimetric inequality outside convex domains. ArXiv:2103.03299
Ge, Y., Wang, G., Jie, W.: Hyperbolic Alexandrov–Fenchel quermassintegral inequalities II. J. Differ. Geom. 98(2), 237–260 (2014)
Gerhardt, C.: Curvature Problems. Series in Geometry and Topology, International Press, Somerville, MA (2006)
Gerhardt, C.: Flow of nonconvex hypersurfaces into spheres. J. Differ. Geom. 32(1), 299–314 (1990)
Guan, P., Li, J.: The quermassintegral inequalities for \(k\)-convex starshaped domains. Adv. Math. 221(5), 1725–1732 (2009)
Guan, P., Li, J.: A mean curvature type flow in space forms. Int. Math. Res. Not. 13, 4716–4740 (2015)
Guan, P., Li, J.: A fully-nonlinear flow and quermassintegral inequalities. Sci. Sin. Math. 48(1), 147–156 (2018). (in Chinese)
Guan, P., Li, J.: Isoperimetric type inequalities and hypersurface flows. J. Math. Study 54(1), 56–80 (2021)
Hu, Y., Li, H.: Geometric inequalities for static convex domains in hyperbolic space. Trans. Am. Math. Soc. 375, 5587–5615 (2022)
Hu, Y., Li, H., Wei, Y.: Locally constrained curvature flows and geometric inequalities in hyperbolic space. Math. Ann. 382(3–4), 1425–1474 (2022)
Huisken, G.: An Isoperimetric Concept for the Mass in General Relativity (2009). https://www.ias.edu/video/marston-morse-isoperimetric-concept-mass-general-relativity
Huisken, G., Polden, A.: Geometric evolution equations for hypersurfaces. In: Calculus of Variations and Geometric Evolution Problems, Lecture Notes in Math., 1713, pp. 45–84. Fond. CIME/CIME Found. Subser. Springer, Berlin (1999)
Lambert, B., Scheuer, J.: A geometric inequality for convex free boundary hypersurfaces in the unit ball. Proc. Am. Math. Soc. 145(9), 4009–4020 (2017)
Li, H., Wei, Y., Xiong, C.: A geometric inequality on hypersurface in hyperbolic space. Adv. Math. 253, 152–162 (2014)
Lieberman, G.M.: Second Order Parabolic Differential Equations. World Scientific Publishing Co., Inc, River Edge, NJ (1996)
Liu, L., Wang, G., Weng, L.: The relative isoperimetric inequality for minimal submanifolds in the Euclidean space. ArXiv:2002.00914
Maggi, F.: Sets of finite perimeter and geometric variational problems. In: An Introduction to Geometric Measure Theory. Cambridge Studies in Advanced Mathematics, vol. 135. Cambridge University Press, Cambridge (2012)
Makowski, M., Scheuer, J.: Rigidity results, inverse curvature flows and Alexandrov–Fenchel type inequalities in the sphere. Asian J. Math. 20(5), 869–892 (2016)
McCoy, J.A.: Mixed volume preserving curvature flows. Calc. Var. Part. Differ. Equ. 24(2), 131–154 (2005)
Nazarov, A.I., Ural’tseva, N.N.: A problem with an oblique derivative for a quasilinear parabolic equation. Zap. Nauchn. Sem. S.-Peterburg. Otdel. Mat. Inst. Steklov. (POMI) 200 (1992) (Russian), Kraev. Zadachi Mat. Fiz. Smezh. Voprosy Teor. Funkt. 24, 118–131, 189; transl. J. Math. Sci. 77(3), 3212–3220 (1995)
Qiu, G.: A family of higher-order isoperimetric inequalities. Commun. Contemp. Math. 17(3), 1450015 (2015)
Reilly, R.C.: Variational properties of functions of the mean curvatures for hypersurfaces in space forms. J. Differ. Geom. 8, 465–477 (1973)
Ros, A., Souam, R.: On stability of capillary surfaces in a ball. Pacific J. Math. 178(2), 345–361 (1997)
Scheuer, J., Wang, G., Xia, C.: Alexandrov–Fenchel inequalities for convex hypersurfaces with free boundary in a ball. J. Differ. Geom. 120(2), 345–373 (2022)
Scheuer, J., Xia, C.: Locally constrained inverse curvature flows. Trans. Am. Math. Soc. 372(10), 6771–6803 (2019)
Schneider, R.: Convex Bodies: The Brunn–Minkowski Theory, 2nd expanded edn. Encyclopedia of Mathematics and Its Applications, vol. 151. Cambridge University Press, Cambridge (2014)
Spruck, J.: Geometric aspects of the theory of fully nonlinear elliptic equations. In: Global Theory of Minimal Surfaces. Clay Math. Proc., vol. 2, pp. 283–309. Amer. Math. Soc., Providence, RI (2005)
Ural’tseva, N.N.: A nonlinear problem with an oblique derivative for parabolic equations. Zap. Nauchn. Sem. Leningrad. Otdel. Mat. Inst. Steklov. (LOMI) 188 (1991)
Urbas, J.I.E.: On the expansion of starshaped hypersurfaces by symmetric functions of their principal curvatures. Math. Z. 205(3), 355–372 (1990)
Wang, G., Weng, L.: A mean curvature type flow with capillary boundary in a unit ball. Calc. Var. PDEs. 59(5), 26 (2020)
Wang, G., Xia, C.: Isoperimetric type problems and Alexandrov–Fenchel type inequalities in the hyperbolic space. Adv. Math. 259, 532–556 (2014)
Wang, G., Xia, C.: Uniqueness of stable capillary hypersurfaces in a ball. Math. Ann. 374(3–4), 1845–1882 (2019)
Wei, Y., Xiong, C.: Inequalities of Alexandrov–Fenchel type for convex hypersurfaces in hyperbolic space and in the sphere. Pacific J. Math. 277(1), 219–239 (2015)
Wei, Y., Xiong, C.: A volume-preserving anisotropic mean curvature type flow. Indiana Univ. Math. J. 70(3), 881–905 (2021)
Weng, L., Xia, C.: The Alexandrov–Fenchel inequalities for convex hypersurfaces with capillary boundary in a ball. Trans. Am. Math. Soc. 375, 8851–8883 (2022)
Xia, C.: Inverse anisotropic mean curvature flow and a Minkowski type inequality. Adv. Math. 315, 102–129 (2017)
Acknowledgements
LW is supported by NSFC (grant no. 12201003, 12171260). CX is supported by NSFC (grant no. 11871406, 12271449). We would like to thank the referee for careful reading and valuable suggestions to improve the context of the paper.
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
On behalf of all authors, the corresponding author states that there is no conflict of interest. The authors have no relevant financial or non-financial interests to disclose.
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
Wang, G., Weng, L. & Xia, C. Alexandrov–Fenchel inequalities for convex hypersurfaces in the half-space with capillary boundary. Math. Ann. 388, 2121–2154 (2024). https://doi.org/10.1007/s00208-023-02571-4
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00208-023-02571-4