arXiv reader

The capillary Gauss curvature flow

Xinqun Mei, Guofang Wang and Liangjun Weng

arXiv
2506.09840v1 · PDF · 11 June 2025
Categories
math.DG, math.AP
Licence
CC BY SA 4.0 The site shows the text.

Abstract

In this article, we first introduce a Gauss curvature type flow for capillary hypersurfaces, which we call capillary Gauss curvature flow. We then show that the flow will shrink to a point in finite time. This is a capillary counterpart (or Robin boundary counterpart) of Firey’s problem studied in [Mathematika 21 (1974), pp. 1-11] and Tso [Comm. Pure Appl. Math. 38 (1985), no. 6, 867-882]. Finally, we prove that its normalized flow converges to a soliton. This is a capillary counterpart of the result of Guan and Ni in [J. Eur. Math. Soc. 19 (2017), no. 12, 3735-3761]. The classification of solitons remains an open conjecture.

Items 81

Theorem

Theorem 1.1

JMLA

Let \Sigma_0 be a smooth strictly convex capillary hypersurface in \overline{\mathbb{R}^{n+1}_+} and \theta\in(0, \pi /2), then flow (?) has a smooth solution \Sigma_t\coloneqq X(\cdot,t), which is strictly convex capillary hypersurface for all t\in[0,T^*), where T^*\coloneqq \frac{ {\rm{Vol}}(\widehat{\Sigma}_0)}{ (n+1){\rm{Vol}}(\widehat{\mathcal{C}_{\theta}})} . As t\rightarrow T^{\ast}, then \Sigma_t shrink to a point p\in \partial{\mathbb{R}^{n+1}_{+}}. Moreover, the rescaled capillary hypersurfaces

\begin{aligned} \widetilde{\Sigma}_{t}\coloneqq \left(\frac{ {\rm{Vol}}(\widehat{\mathcal{C}_{\theta}})}{ {\rm{Vol}}(\widehat\Sigma_t )}\right)^{\frac{1}{n+1}}(\Sigma_{t}-p), \end{aligned}

converge to a smooth, strictly convex capillary hypersurface \Sigma_\infty\subset \overline{\mathbb{R}^{n+1}_+} as t\to +\infty, which is a solution to (?).

Conjecture

Conjecture 1.2

7UPW

For \theta\in(0,\pi), the spherical cap \mathcal{C}_{\theta} is the unique strictly convex solution to Eq. (?).

Definition

Definition 2.1 (Capillary support function)

8B20

Let \widehat\Sigma\in \mathcal{K}_\theta, the support function h_{z} of {\Sigma} with respect to z\in\widehat{\Sigma} is defined by

\begin{aligned} h_{z} (\xi)\coloneqq \max _{X\in \Sigma}\< \xi-\cos\theta e, X-z\>, \quad \xi\in \mathcal{C}_{\theta}. \end{aligned}

The capillary support function of \Sigma with respect to z is defined by

\begin{aligned} u_{z}(\xi)\coloneqq \frac{h_{z}(\xi)}{\ell (\xi)}, ~~~~\xi\in \mathcal{C}_\theta. \end{aligned}
Remark

Remark 2.2

HZ2K

From the definition of \rho_-(\widehat\Sigma,\theta), it is easy to see that if the capillary inner radius of \widehat\Sigma has a positive lower bound \varepsilon_0 for some \varepsilon_0>0, then its associated capillary support function (2.1) satisfies

u_{z_0}(\xi)\geq \varepsilon_0, ~~\text{ for all } \xi\in \mathcal{C}_\theta,

for some z_0\in \text{int}(\widehat{\partial\Sigma}) (see also [MWW, Remark 2.3]).

Uses Definition 2.1 · Used by Proof
Proposition

Proposition 2.3

LCRA

Let \widehat{\Sigma}\in \mathcal{K}_{\theta} and \theta \in (0, \pi/2). Then there hold

\begin{aligned} (1-\cos\theta )\rho_{-}(\widehat{\Sigma}, \theta)\leq \rho_{-}(\widehat{\Sigma})\leq \sin\theta \rho_{-}(\widehat{\Sigma}, \theta), \end{aligned}

and

\begin{aligned} (1-\cos\theta )\rho_{+}(\widehat{\Sigma}, \theta)\leq \rho_{+}(\widehat{\Sigma})\leq \sin\theta \rho_{+}(\widehat{\Sigma}, \theta), \end{aligned}
Used by Proof
Proof of Proposition 2.3

We begin by proving that (2.3) holds. From the definition of capillary inner radius, there exists a spherical cap \mathcal{C}_{r_{0}, \theta}(x_{0}) with radius r_{0}=\rho_{-}(\widehat{\Sigma}, \theta), such that \widehat{\mathcal{C}_{r_{0}, \theta}(x_{0})} is contained in \widehat{\Sigma}. It is obvious that

B_{(1-\cos\theta)r_{0}}^{+}(x_{0})\subseteq \widehat{\mathcal{C}_{r_{0}, \theta}(x_{0})}\subseteq \widehat{\Sigma},

which implies

\begin{aligned} (1-\cos\theta )\rho_{-}(\widehat{\Sigma}, \theta)\leq \rho_{-}(\widehat{\Sigma}). \end{aligned}

On the other hand, from [SW, Proposition 2.4, Eq. (2.26)], we get

\begin{aligned} \rho_{-}(\widehat{\Sigma}, \theta)\geq \frac{\rho_{-}(\widehat{\Sigma})}{\sin\theta}. \end{aligned}

Hence, this completes the proof of (2.3). Similarly, by applying [SW, Proposition 2.4, Eq. (2.27)], the proof of (2.3) follows in an analogous manner.

Proposition

Proposition 2.4

NENP

\Psi is a diffeomorphism from \mathcal{C}_{\theta} to \mathcal{D}_{\theta}.

Proof of Proposition 2.4

From (?), we have

\begin{aligned} F_{\theta}(\Psi(\xi))=F_{\theta} \left(\frac{\xi-\cos\theta e}{F_{\theta}(\xi-\cos\theta e)} \right)=1, \end{aligned}

and for \xi=(\xi',0)\in \partial {\mathcal C}_\theta, there holds

\Psi (\xi) =\ell^{-1}(\xi) (\xi -\cos \theta e)=\sin^{-2}\theta(\xi',\cos \theta),

which implies \Psi is a map from \mathcal{C}_{\theta} to \mathcal{D}_{\theta}.

For all \xi\in \mathcal{C}_{\theta}, direct calculations yield

D\Psi (\xi)=\left (\begin{array}{cccc} \frac{1}{\sin^{2}\theta+\cos\theta \<\xi, e\>} &\dots& 0 & \frac{\cos\theta\xi_{1}}{(\sin^{2}\theta+\cos\theta\<\xi,e\>)^{2}} \\ \vdots & \vdots& \ddots& \vdots\\ 0& \cdots&\frac{1}{\sin^{2}\theta+\cos\theta\<\xi,e\>} & \frac{\cos\theta \xi_{n}}{(\sin^{2}\theta +\cos\theta\<\xi,e\>)^{2}} \\ 0 & \cdots &0 & \frac{1}{(\sin^{2}\theta+\cos\theta\<\xi,e\>)^{2}} \\ \end{array}\right),

then its Jacobi \det(D \Psi(\xi))=\frac{1}{\ell^{n+2}(\xi)}>0, ~\forall \xi\in \mathcal{C}_{\theta}, therefore \Psi is an orientation-preserving diffeomorphism map from \mathcal{C}_{\theta} to \mathcal{D}_{\theta}.

Definition

Definition 2.5 (Capillary radial function)

IWH9

Given \widehat\Sigma\in\mathcal{K}_\theta^{\circ}, its capillary radial function \rho_{\widehat\Sigma}\colon \mathcal{C}_\theta\to [0,+\infty) is defined by

\begin{aligned} \rho_{\widehat{\Sigma}}(\xi)\coloneqq \sup \left\{ \lambda \geq 0\,|\, \lambda \xi \in \widehat\Sigma \right\} , \quad \xi \in \mathcal{C}_{\theta }. \end{aligned}
Definition

Definition 2.6 (Capillary polar body)

UBTG

Given \widehat\Sigma\in \mathcal{K}_\theta and z\in {\rm{int}}(\widehat{\partial\Sigma}), we define its capillary polar body with respect to z by

\widehat{\Sigma}^{*}_{z}\coloneqq \left \{X+z\in \overline{\mathbb{R}^{n+1}_+} \mid ru_{z}(\xi)\le 1 , \text{ where } X=r\xi \text{ with } \xi\in \mathcal{C}_\theta\right\},

where u_z is the capillary support function of \Sigma with respect to z.

Remark

Remark 2.7

0IBP

It can be readily observed that ru_{z}(\xi)\le 1 is equivalent to

\begin{aligned} r{\<\xi-\cos\theta e,y-z\>} \le \ell(\xi) \quad \forall~ y\in \Sigma. \end{aligned}

In other words,

\begin{aligned} r\<\Psi(\xi),y-z\>\leq 1~~~\forall ~ y\in \Sigma, \end{aligned}

where \Psi is given by (?). In particular, we observe that the capillary polar body of \widehat\mathcal{C}_\theta (w.r.t the origin o) satisfies (\widehat{\mathcal{C}_{\theta}})^{\ast}_{o}=\widehat{\mathcal{C}_{\theta}}.

Proposition

Proposition 2.8

3EPX

Given \widehat\Sigma\in \mathcal{K}_\theta^\circ and z\in {\rm{int}}(\widehat{\partial\Sigma}). Denote \rho_{z} \coloneqq \rho_{\widehat{\Sigma}_{z}^{\ast}} be the capillary radial function of \widehat{\Sigma}_{z}^{\ast}. Then there holds

\begin{aligned} \rho_{z}(\xi)=\frac{1}{u_{z}(\xi)}, ~~~~\forall \xi\in \mathcal{C}_\theta. \end{aligned}
Proof of Proposition 2.8

For all \xi\in\mathcal{C}_\theta, we see that \rho_{z}(\xi)\xi\in \Sigma^{*}_{z}-z. By the Definition 2.5 of \widehat\Sigma^*_{z}, we derive that \rho_{z}(\xi) u_{z}(\xi)=1, then the conclusion follows.

Proposition

Proposition 2.9

8EJ5

The volume of the capillary polar body \widehat{\Sigma}^{*}_{z} satisfies

\begin{aligned} {\rm{Vol}}(\widehat{\Sigma}^*_{z}) = \frac{1}{n+1}\int _{\mathcal{C}_{\theta }} \frac {\ell(\xi)} {u^{n+1}_{z}(\xi)} d\sigma=\frac{1}{n+1}\int_{\mathcal{C}_{\theta}}\frac{\ell^{n+2}(\xi)}{h^{n+1}_{z}(\xi)}d\sigma, \end{aligned}

where d\sigma is the standard area element on \mathcal{C}_\theta.

Uses Definition 2.6 · Used by Proof, Proof
Proof of Proposition 2.9

From the co-area formula and the 0-homogeneity property of \nabla F^\circ_{\theta}, we compute

\begin{aligned} {\rm{Vol}}(\widehat{\Sigma}^*_{z}) &= \int_{-\infty}^\infty \int_{\{F^\circ_{\theta}=r\}}\frac {\chi_{\{r u_{z}(\xi)\le 1\}}} {|\nabla F^\circ_{\theta}(\xi)|} d\sigma dr = \int_{-\infty}^\infty \int_{\{F^\circ_{\theta}=1\}} r^n \frac {\chi_{\{ru_{z}(\xi)\le 1\}}} {|\nabla F^{\circ}_{\theta}(\xi)|} d\sigma dr \\ &=\int_{\mathcal{C}_\theta} \frac 1{|\nabla F^\circ_{\theta}(\xi)|}\int_0^{\frac 1{u_{z}(\xi)}} r^n dr d\sigma \\ &= \frac 1{n+1} \int_{\mathcal{C}_\theta} \frac 1{|\nabla F^\circ_{\theta}(\xi)|}\frac 1{u^{n+1}_{z}(\xi)} d\sigma . \end{aligned}

From (?), we obtain

\begin{aligned}| \nabla F^{\circ}_{\theta}(\xi )| = \frac{1}{\sin \theta} \frac{1}{\sqrt{|\xi |^2 +\cot^2\theta \<e,\xi\>^2}}= \frac 1 \ell. \end{aligned}

Inserting (Proof) into (Proof), the first equality of (2.9) follows, while the second equality follows directly by combining with (2.1). This completes the proof.

Definition

Definition 2.10 (Capillary Santaló point)

NYOZ

Given \widehat\Sigma\in \mathcal{K}_\theta with \theta\in(0, \pi/2), if there exists a point z_{s}=z_s(\widehat\Sigma) \in \widehat{\partial\Sigma} such that

{\rm{Vol}}(\widehat{\Sigma}^*_{z_s})= \inf_{z\in {\rm{int}}(\widehat{\partial \Sigma})} {\rm{Vol}}(\widehat{\Sigma}_z^*),

then we call z_s the capillary Santaló point of \widehat{\Sigma}.

Proposition

Proposition 2.11

YXLP

The capillary Santaló point z_{s} is unique and lies in {\rm{int}}(\widehat{\partial\Sigma}). Moreover, there holds

\begin{aligned} \int_{\mathcal{C}_{\theta}}\frac { \xi_i}{u_{z_s}^{n+2}(\xi)} d\sigma=0,\quad~ \forall ~ i=1,\cdots, n, \end{aligned}

where \xi_i\coloneqq \<\xi, E_i\>, with \{E_i\}_{i=1}^n denoting the horizontal coordinate vectors of \mathbb{R}^{n+1}_+.

Used by Proof
Proof of Proposition 2.11

First, we show that the capillary Santaló point z_{s} lies in {\rm{int}}(\widehat{\partial\Sigma}). We argue by contradiction and assume that z_{s} \in \partial \Sigma \cap \partial {\mathbb{R}^{n+1}_{+}}. Without loss of generality, assume z_{s} is the origin. Since \widehat{\partial \Sigma} is a closed convex body in \partial {\mathbb{R}^{n+1}_{+}} = \mathbb{R}^n, it follows from [GN, Proof of Lemma 2.2, claim (2.3)] that there exists a unit vector \zeta \in \mathbb{R}^{n+1} (specifically, \zeta is the unit outward normal of \partial \Sigma \subset \widehat{\partial \Sigma} at the origin, and for notational convenience, we may assume \zeta = E_1,) such that

\begin{aligned} L \coloneqq \left\{ -t E_1 \mid 0 < t < t_{0} \right\}\text{ is contained in }\widehat{\partial \Sigma},~\text{ for some small } t_{0}>0. \end{aligned}

Moreover, due to \theta \in (0,\pi/2), the set \widehat{\Sigma} is contained in the half-space \{x_{1}\leq 0\} and is tangent to the hyperplane \{x_1=0\} at the origin.

For \xi\coloneqq (\xi_{1}, \xi_{2},\cdots, \xi_{n+1})\in \mathcal{C}_{\theta}, define N(\xi)\coloneqq(-\xi_{1}, \xi_{2}, \cdots, \xi_{n+1}). Since

u_{z_s}(\xi)=\ell^{-1}(\xi)\sup\limits_{X\in \Sigma}\<X, \xi+\cos\theta E_{n+1}\>,

for all \xi\in \mathcal{C}_\theta, then there exists a point z(\xi)\in \Sigma, such that

u_{z_s}(\xi)=\ell^{-1}(\xi)\<z(\xi), \xi+\cos\theta E_{n+1}\>.

For all \xi\in \mathcal{C}_{\theta} with \xi_{1}\geq 0, by the Definition 2.1, we have

\begin{aligned} u_{z_s}\left(N(\xi)\right)&\geq &\ell^{-1}(N(\xi))\<z(\xi), N(\xi)+\cos\theta E_{n+1}\> \\ &= \ell^{-1}(\xi)\<z(\xi), \xi+\cos\theta E_{n+1}\>-\ell^{-1}(\xi)\< z(\xi), 2 E_1 \> \\ &\geq& \ell^{-1}(\xi)\<z(\xi), \xi+\cos\theta E_{n+1}\>=u_{z_{s}}(\xi), \end{aligned}

where the last line used the fact that \<z(\xi), E_1\> \le 0. Moreover, the above inequality is strict for a subset of \xi \in \mathcal{C}_{\theta} of positive measure.

Consider the function

u_{z_t}(\xi)\coloneqq u_{z_s}(\xi)+t\frac{\xi_1}{\ell (\xi)}, ~~~\xi\in \mathcal{C}_\theta, ~~t\in(0, t_0).

From Definition 2.1, we know that u_{z_t} is the capillary support function of \widehat{\Sigma} with respect to the point z_{t}=-tE_1 for all 0<t<t_{0}. From (Proof), we have u_{z_t}(\xi)>0 for all t\in(0, t_0). Using Proposition 2.9 and (?), we compute

\begin{aligned} 0&\leq& \frac{d}{dt}\left({\rm{Vol}}(\widehat{\Sigma}^{\ast}_{z_{t}})\right)\Big|_{t=0}=-\int_{\mathcal{C}_{\theta}}\frac{\xi_{1}}{u_{z_{s}}^{n+2}(\xi)}d\sigma\\ &=-\left(\int_{\{\xi_{1}>0\}}\frac{\xi_{1}}{u_{z_{s}}^{n+2}(\xi)}d\sigma+\int_{\{\xi_{1}<0\}}\frac{\xi_{ 1}}{u_{z_{s}}^{n+2}(\xi)}d\sigma\right)\\ &=-\left(\int_{\{\xi_{1}>0\}}\left(\frac{ \xi_{1}}{u_{z_s}^{n+2}(\xi)}-\frac{ \xi_{1} }{u_{z_s}^{n+2}(N(\xi))}\right)d\sigma\right)<0, \end{aligned}

this reaches a contradiction. Hence we get z_{s}\in \rm{int}(\widehat{\partial \Sigma}).

Next, we move on to prove (2.11). Let z_s^{\varepsilon,i} \coloneqq z_{s}+\varepsilon E_{i} with 1\leq i\leq n. For some sufficiently small \varepsilon_0 > 0, we have

z_s^{\varepsilon,i} \in {\rm{int}}(\widehat{\partial\Sigma}) ~~\text{ for all } |\varepsilon| \leq \varepsilon_0,

together with Proposition 2.9, we obtain

\begin{aligned} 0= \frac{d}{d\varepsilon}\left({\rm{Vol}}(\widehat{\Sigma}^{\ast}_{z_s^{\varepsilon,i}})\right)\Big|_{\varepsilon=0} =\int_{\mathcal{C}_{\theta}}\frac{\xi_{i}}{u_{z_{s}}^{n+2}(\xi)}d\sigma, ~~\text{ for all }~~1\leq i\leq n. \end{aligned}

Hence the assertion (2.11) follows.

Finally, we prove the uniqueness of the capillary Santaló point. Without loss of generality, we assume the capillary Santaló point z_s is the origin and it lies in {\rm{int}}(\widehat{\partial\Sigma}) by the preceding argument. For all z\in \widehat{\partial\Sigma}, we rewrite z\coloneqq (z_1,\cdots, z_n,0), and

\begin{aligned} u_{z}(\xi)=u(\xi)- \sum\limits_{i=1}^{n} \frac{z_{i}\xi_{i}}{\ell(\xi)} , \quad \xi\in \mathcal{C}_{\theta}, \end{aligned}

where u is the capillary support function of \Sigma with respect to the origin. Inserting (?) into (2.9) implies

\begin{aligned} {\rm{Vol}}(\widehat{\Sigma}_{z}^{\ast})=\frac{1}{n+1}\int_{\mathcal{C}_{\theta}}\frac{\ell(\xi)}{\left(u(\xi)-\ell^{-1}(\xi)\sum\limits_{i=1}^{n}z_{i}\xi_{i}\right)^{n+1}}d\sigma\eqqcolon V(z). \end{aligned}

A direct calculation shows that

\begin{aligned} \frac{\partial^{2}V(z)}{\partial z_{i}\partial z_{j}}=(n+2)\int_{\mathcal{C}_{\theta}}\frac{\xi_{i}\xi_{j}}{\ell(\xi)u_{z}^{n+3}(\xi)}d\sigma, ~~~\text{ for all } 1\leq i, j \leq n. \end{aligned}

This implies the strict convexity of the function V(z) with respect to z\in\widehat{\partial\Sigma}, which in turn yields the uniqueness of the capillary Santaló point. This completes the proof.

Proposition

Proposition 2.12

NBOJ

Given \widehat{\Sigma}\in \mathcal{K}_{\theta} and \theta\in(0,\pi/2), then there holds

\begin{aligned} \inf\limits_{z\in {\rm{int}}(\widehat{\partial\Sigma})}{\rm{Vol}}(\widehat{\Sigma}) {\rm{Vol}}(\widehat{\Sigma}^*_{z}) \le \frac{1}{2}{\rm{Vol}}(\mathbb{B}^{n+1})^{2}. \end{aligned}
Used by Proof
Proof of Proposition 2.12

Let R\colon \overline{\mathbb{R}^{n+1}_+} \to \mathbb{R}^{n+1} be the reflection map, defined by

R(x)\coloneqq (x_{1},\cdots, x_{n}, -x_{n+1}), \quad x\in\overline{\mathbb{R}^{n+1}_{+}}.

Let V=\Sigma\cup R(\Sigma) and \Omega be the bounded domain enclosed by V. Then \Omega is symmetric with respect to the hyperplane \partial\mathbb{R}^{n+1}_+. Denote by \Omega^{\ast}_z the polar body of the convex body \Omega with respect to the point z \in {\rm{int}}(\Omega), defined by

\begin{aligned} \Omega^{\ast}_{z}\coloneqq \left\{X+z\in \mathbb{R}^{n+1} \mid r \widehat h_{z}(\eta)\leq 1, ~ {\rm{where}} ~ X=r\eta ~ {\rm{with}} ~ \eta\in \mathbb{S}^{n} \right\}, \end{aligned}

where \widehat h_z\colon \mathbb{S}^n\to \mathbb{R} is the usual support function of \Omega with respect to z. From [Sch, Section 10.5 and Eq. (10.28)] (see also [San]), we know there exists a unique point (Santaló point) z_{0}\in \rm{int}(\Omega) such that

\begin{aligned} {\rm{Vol}}\left(\Omega_{z_{0}}^{\ast}\right)=\inf \limits_{z\in \rm{int}(\Omega)}{\rm{Vol}}\left(\Omega^{\ast}_{z}\right), \end{aligned}

and the Blaschke-Santaló inequality

\begin{aligned} {\rm{Vol}}(\Omega){\rm{Vol}} \left(\Omega_{z_{0}}^{\ast}\right)\leq {\rm{Vol}}(\mathbb{B}^{n+1}) ^{2}. \end{aligned}

From [Sch, Eq. (10.22)] (or [MP, Lemma 2]), there holds

\begin{aligned} 0=\int_{\mathbb{S}^{n}}\frac{\eta_{i}}{\widehat h^{n+1}_{z_0}(\eta)}d\eta,\quad 1\leq i\leq n+1. \end{aligned}

In particular, the symmetry of \Omega with respect to \partial \mathbb{R}^{n+1}_+ implies

\begin{aligned} z_{0}\in {\rm{int}}(\Omega) \cap \partial {\mathbb{R}^{n+1}_{+}}={\rm{int}}({\widehat{\partial \Sigma}}). \end{aligned}

Since \ell<1, from the definition of \widehat{\Sigma}^{\ast}_{z_{0}} and \Omega_{z_{0}}^{\ast}, we deduce that \widehat{\Sigma}^{\ast}_{z_{0}}\subseteq \Omega^{\ast}_{z_{0}}, and hence

\begin{aligned} {\rm{Vol}}(\widehat{\Sigma}_{z_{0}}^{\ast})\leq {\rm{Vol}}(\Omega_{z_{0}}^{\ast}). \end{aligned}

Together with (Proof) and (Proof), we derive

\begin{aligned} \inf\limits_{z\in {\rm{int}}(\widehat{\partial\Sigma})}{\rm{Vol}}(\widehat{\Sigma}){\rm{Vol}}(\widehat{\Sigma}^{\ast}_{z})&\leq& {\rm{Vol}}(\widehat{\Sigma}){\rm{Vol}}(\widehat{\Sigma}^{\ast}_{z_{0}})\\ &\leq& \frac{1}{2}{\rm{Vol}}(\Omega){\rm{Vol}} \left(\Omega_{z_{0}}^{\ast}\right) \\& \leq & \frac{1}{2} {\rm{Vol}}(\mathbb{B}^{n+1})^{2}. \end{aligned}

This completes the proof of (2.12).

Conjecture

Conjecture 2.13

SID2

Given \widehat{\Sigma}\in \mathcal{K}_{\theta} and \theta\in (0,\pi), then there holds

\begin{aligned} \inf\limits_{z\in {\rm{int}}(\widehat{\partial\Sigma})}{\rm{Vol}}(\widehat{\Sigma}) {\rm{Vol}}(\widehat{\Sigma}^{*}_{z}) \le {\rm{Vol}}(\widehat{\mathcal{C}_{\theta }}) ^2. \end{aligned}

Equality holds if and only if \Sigma is a spherical cap.

Theorem

Theorem 3.1

OY3D

Let \Sigma_0 be a strictly convex capillary hypersurface in \overline{\mathbb{R}^{n+1}_+} and \theta\in(0,\pi/2), then flow (?) has a smooth solution \Sigma_t\coloneqq X(\cdot,t), which is strictly convex capillary hypersurface for all t\in[0,T^*) where T^*\coloneqq \frac{ {\rm{Vol}}(\widehat{\Sigma}_0)}{ (n+1){\rm{Vol}}(\widehat{\mathcal{C}_{\theta}})} . Moreover, the capillary hypersurfaces \Sigma_t shrink to a point p\in\partial{\mathbb{R}^{n+1}_{+}} as t\to T^*.

Used by Proof
Proposition

Proposition 3.2

CVPF

Let \Sigma_t be a strictly convex solution to flow (?) for t\in [0, T^*) and \theta\in(0, \pi), then its support function h(\cdot,t)\colon \mathcal{C}_\theta\to \mathbb{R} satisfies

\begin{aligned} \left\{ \begin{array}{llll} \partial_t h ~ [\det(\nabla^2 h+h\sigma)]&=-(\sin^2\theta+\cos\theta \<\xi,e\>) & \text{ in } \mathcal{C}_\theta\times[0,T^*),\\ \nabla_\mu h&= \cot\theta h & \text{ on } \partial \mathcal{C}_\theta \times [0, T^*), \\ h(\cdot,0) &= h_0(\cdot) & \text{ on } \mathcal{C}_\theta, \end{array} \right. \end{aligned}

where \mu is the unit outward normal of \partial \mathcal{C}_\theta\subset \mathcal{C}_\theta and h_0 is support function of \Sigma_0.

Used by Proof, Proof
Proof of Proposition 3.2

To derive the first equation in (3.2), we adopt the argument as in [Tso85, Page 869-870]. In fact, consider a family of strictly convex capillary hypersurfaces \Sigma_{t} that satisfies (?), its support function h(\xi,t) satisfies

\begin{aligned} \partial_{t}h=\left\< \frac{\partial X}{\partial t},\nu \right\>=-K \< \tilde{\nu},\nu\>, \end{aligned}

together with the simple fact that \nu(X)= \xi-\cos\theta e and \xi\in\mathcal{C}_\theta, it follows

\<\tilde{\nu} ,\nu\>=1+\cos\theta \<\nu,e\> =\sin^2\theta+\cos\theta \<\xi,e\>.

On the other hand, we know

K=\frac{1}{\det(\nabla^2 h+h\sigma)},

by inserting this into (Proof), we derive the first equation (3.2) follows. The second equation in (3.2) can be derived by following the same argument in the proof of [MWW, Proposition 2.4], and is therefore omitted here.

Proposition

Proposition 3.3

SRB7

Let \Sigma_0 be a strictly convex capillary hypersurface in \overline{\mathbb{R}^{n+1}_+} with \theta\in(0,\pi/2), then capillary hypersurface \Sigma_t of flow (?) exists for a finite time T^*<\infty.

Proof of Proposition 3.3

Without loss of generality, we assume that the origin lies in the interior of \text{int}(\widehat{\partial{\Sigma_0}}). Then there exists some r_0>0 such that \Sigma_0\subset \widehat{\mathcal{C}_{r_{0}, \theta}}. Define

r(t)\coloneqq \left[ r_0^{ n+1}- ( n+1)t \right] ^{\frac{1}{ n+1}},

we find that {\mathcal{C}_{r(t), \theta}} is a solution to flow (?) starting from \Sigma_{0}=\mathcal{C}_{r_{0}, \theta}. By the comparison principle (see, e.g., [WW20, Proposition 4.2]), we know that \Sigma_t\subset \widehat{\mathcal{C}_{r(t), \theta}}. It is obvious that r(t) converges to zero at a finite time as t\nearrow \frac{r_0^{n+1}}{n+1}. Therefore, \Sigma_t cannot exist beyond that time.

Proposition

Proposition 3.4

V3E6

Along flow (3.2), the functions h and u satisfy

\begin{aligned} \mathcal{L} h= K \ell (hH-n-1), \end{aligned}

and

\begin{aligned} \mathcal{L} u= 2 K a^{ij} \nabla_{i}u \nabla_{j}\ell -(n +1)K+ K H u. \end{aligned}

Along \partial \mathcal{C}_\theta,

\begin{aligned} \nabla_\mu h =\cot\theta h, \end{aligned}

and

\begin{aligned} \nabla_\mu u =0. \end{aligned}
Used by Proof, Proof
Proof of Proposition 3.4

First, we prove (3.4) and (3.4). Let \{e_i\}_{i=1}^n be an orthonormal frame on \mathcal{C}_\theta such that e_n=\mu. Using Eq. (Proof), we have

\begin{aligned} \mathcal{L} h&=\partial_t h- K \ell a^{ij} \nabla_{ij} h=-K \ell - K \ell a^{ij} (a_{ij}-h\delta_{ij}). \end{aligned}

Since a^{ij}\delta_{ij}=H, we conclude that (3.4) holds.

A direct computation yields

\begin{aligned} \mathcal{L} u&= \frac{\mathcal{L} h}{\ell} + K\ell a^{ij} \left( \frac{ 2\nabla_{i}h\nabla_{j} \ell}{\ell^2} +\frac{ h\nabla_{i}\nabla_{j}\ell}{\ell^2}-\frac{2h \nabla_{i}\ell \nabla_{j}\ell}{\ell^3}\right). \end{aligned}

Since

\begin{aligned} \nabla_{i}\nabla_{j}\ell+\ell \delta_{ij}=-\cos\theta \<\xi-\cos\theta e,e\>\delta_{ij}+\ell \delta_{ij}= \delta_{ij}, \end{aligned}

substituting (3.4) and (?) into (?), we get (3.4).

Next, we derive the boundary conditions (3.4) and (3.4). Since D_{e_i}X is tangent to \Sigma at X(\xi), we have

\begin{aligned} \<\nu (X),D_{e_i}X\>=0,\quad 1\leq i\leq n. \end{aligned}

If \xi\in \partial \mathcal{C}_{\theta}, then X(\xi) \in \partial \overline{\mathbb{R}^{n+1}_+}. From (?), we obtain

\begin{aligned} \<\mu,X\>&=\< \sin\theta e+\cos\theta \overline{\nu},X\>=\cos\theta \<\overline{\nu} ,X\>\\&=\cos\theta \<\cos\theta \mu+\sin \theta \nu(X),X\>=\cos^2\theta \<\mu, X\>+\sin\theta\cos\theta h, \end{aligned}

which implies that

\begin{aligned} \<\mu,X\>=\cot\theta h. \end{aligned}

Differentiating the support function h gives

\begin{aligned} \nabla_{{\mu}}h&=\< D_\mu T^{-1}(\xi ), X\>+\< T^{-1}(\xi ),D_\mu X\> \\&= \<D_\mu\xi, X\>= \<\mu,X\>, \end{aligned}

where T^{-1}(\xi)\coloneqq \nu (X(\xi)) is the unit normal at X(\xi). Combining the above results yields

\begin{aligned} \nabla_{{\mu}}h=\cot\theta h. \end{aligned}

Using (?) again, we have

\begin{aligned} \nabla_\mu (\sin^2\theta+\cos\theta\<\xi,e\>)&= \cos\theta \<\mu,e\>=\cos\theta \sin\theta \\&= & \cot\theta (\sin^2\theta+\cos\theta\<\xi,e\>). \end{aligned}

Consequently, (3.4) can be derived from (?), (?) and (3.4).

Uses Proof
Proposition

Proposition 3.5

KN69

Along flow (3.2), there holds

\begin{aligned} \mathcal{L} K= 2 Ka^{ij}\nabla_{i}K \nabla_{j}\ell+K^{2} H. \end{aligned}

On \partial\mathcal{C}_\theta,

\begin{aligned} \nabla_\mu K =0 . \end{aligned}
Used by Proof, Proof, Proof
Proof of Proposition 3.5

Direct calculations yield

\begin{aligned} \mathcal{L} K &= \partial_t K-K \ell a^{ij}\nabla_{ij} K\\&=-Ka^{ij} (\nabla_{ij}(\partial_t h)+\partial_t h\delta_{ij})- K\ell a^{ij}\nabla_{ij} K \\&= K a^{ij}(\nabla_{ij}(K\ell)+K\ell \delta_{ij})- K \ell a^{ij}\nabla_{ij} K \\&=2 K a^{ij} \nabla_{i}K\nabla_{j}\ell +K^{2} H, \end{aligned}

where (?) has been used in the last equality. To show (3.5), by taking the time derivative on (3.4) along \partial\mathcal{C}_\theta we have

\begin{aligned} \nabla_\mu (\partial_t h)=\cot\theta \partial_t h. \end{aligned}

In view of

\partial_t h=-K \left(\sin^2\theta+\cos\theta \<\xi,e\>\right),

together with (?), (?), then we have (3.5) on \partial\mathcal{C}_\theta.

Proposition

Proposition 3.6

A1MO

Let K_0 be the Gauss curvature of initial strictly convex capillary hypersurface \Sigma_0 with \theta\in(0,\pi), and \Sigma_t solves (?) on [0,T^*). Then there holds

\begin{aligned} K (\xi, t) \geq \min_{\mathcal{C}_\theta} K_0, \end{aligned}

for all (\xi,t)\in \mathcal{C}_\theta \times [0,T^*).

Used by Proof
Proof of Proposition 3.6

From Proposition 3.5, we see

\begin{aligned} \mathcal{L} K \geq 0 ~~~\text{ mod } \nabla K ,~~ \text{ in } \mathcal{C}_\theta, \end{aligned}

and \nabla_\mu K=0 on \partial \mathcal{C}_\theta. Then (3.6) follows directly from the maximum principle.

Proposition

Proposition 3.7

HDDG

Let \Sigma_t be the solution of flow (?) on [0,T^*) with \theta \in (0,\pi). If the capillary inner radius \rho_-(\widehat\Sigma_t,\theta) of \Sigma_t has a uniform positive lower bound \varepsilon_0>0, then there exists a positive constant C, depending only on \frac{1}{\varepsilon_0} and the initial data, such that

\begin{aligned} K(\xi,t) \leq C , \end{aligned}

for all (\xi,t)\in \mathcal{C}_\theta \times [0,T^*).

Used by Proof
Proof of Proposition 3.7

First, if the capillary inner radius of \widehat\Sigma_t has a uniformly positive lower bound \varepsilon_{0} for all t\in[0, T^*), then according to Remark 2.2, there exists a point z_{0}\in \text{int}( \widehat{\partial\Sigma_{t}}), such that u_{z_0}(\xi, t)\geq \varepsilon_0 for all (\xi,t)\in\mathcal{C}_\theta\times [0, T^*). Without loss of generality, we assume that z_{0} is the origin and consider the function

\begin{aligned} \varphi(\xi,t)\coloneqq \frac{K}{u-c_0}, \end{aligned}

where c_0\coloneqq \frac{\varepsilon_0} 2. Thus, \varphi is well-defined for all (\xi,t)\in \mathcal{C}_\theta\times[0, T^*).

Direct computation yields

\begin{aligned} \mathcal{L} \varphi &=\frac{\mathcal{L} K}{u-c_0} -\frac{K}{(u-c_0)^2} \mathcal{L} u+ \frac{2 K\ell}{u-c_0} a^{ij} \nabla_{i}\varphi\nabla_{j} u. \end{aligned}

Inserting Eq. (3.4) and (3.5) into (?), we have

\begin{aligned} \mathcal{L} \varphi &= \frac{ 2K a^{ij}\nabla_{i}K\nabla_{j}\ell+ K^{2} H}{u-c_0} -\frac{K}{(u-c_0)^2} \left(-(n+1)K+K H u\right) \\&& -\frac{2K}{(u-c_0)^2} K a^{ij} \nabla_{j}u \nabla_{i}\ell + \frac{2 K \ell}{u-c_0} a^{ij} \nabla_{i} \varphi \nabla_{j} u \\&= 2 K a^{ij} \nabla_{i}\varphi\nabla_{j}\ell+2 \varphi \ell a^{ij} \nabla_{i}\varphi\nabla_{j} u+ \varphi^2 (n +1-c_0 H)\\&\leq & n c_0^{1+\frac{1}{n }}\varphi^2\left(-\varphi^{\frac{1}{n }} +\frac{n +1}{n c_0^{1+\frac 1 {n}}}\right),\quad \text{ mod } \nabla \varphi, \end{aligned}

where in the last inequality we have used the fact that H\geq n K^{\frac 1 n} and u\geq 2c_0. On the other hand, in view of (3.4) and (3.5), we have

\begin{aligned} \nabla_\mu \varphi= 0,\quad \text{ on } \partial \mathcal{C}_\theta. \end{aligned}

By the maximum principle, we have

\begin{aligned} \varphi \leq \max\left\{\frac{1}{c_0} \left( \frac{n +1}{ nc_0}\right)^{n}, \max_{\mathcal{C}_\theta}\varphi(\cdot, 0) \right\} . \end{aligned}

It follows

\begin{aligned} K\leq \max\left\{\left(\frac{n+1}{n}\right)^{n}\frac{\max\limits_{\mathcal{C}_{\theta}}u(\cdot, t)}{c_{0}^{1+n}}, \frac{ \max\limits_{\mathcal{C}_{\theta}}u(\cdot, t)\cdot K_{0}}{u(\cdot,0)-c_{0}} \right\}. \end{aligned}

Since \partial_t u \leq 0 and \nabla_\mu u =0 on \partial \mathcal{C}_\theta, we have

u\leq \max\limits_{\mathcal{C}_\theta} u(\cdot, 0).

Therefore, as long as flow (?) exists and u\geq 2c_0, there holds

\begin{aligned} K \leq \max\limits_{\mathcal{C}_\theta} u(\cdot, 0) \cdot \max\left \{\frac{1}{c_0} \left( \frac{n+1}{n c_0}\right)^{n}, \frac{\max\limits_{\mathcal{C}_\theta}K_0}{c_0}\right\} . \end{aligned}

Thus the statement follows.

Proposition

Proposition 3.8

KRMY

Let \Sigma_t be the solution of the flow (?) on the time interval [0, T^*). If \theta\in (0,\pi/2) and the capillary inner radius of \Sigma_t has a uniform positive lower bound \varepsilon_0, then there exist positive constants C_0 and C_1 such that

\begin{aligned} C_0^{-1}\leq \kappa_i\leq C_1 \quad \text{ for all } 1\leq i\leq n, \end{aligned}

where the constant C_1 only depends on n, \frac{1}{\varepsilon_0} and initial data. In particular, the constant C_0 only depends on the initial data and n.

Used by Proof
Proof of Proposition 3.8

To show (3.8), we first establish the positive lower bound of the principal curvatures. Define

\begin{aligned} \Phi\coloneqq \Delta h+nh=\sum_{i=1}^n \frac{1}{\kappa_i}, \end{aligned}

which is the harmonic curvature of \Sigma_t.

First of all, we claim that if \theta\in (0,\pi/2), there holds

\begin{aligned} \nabla_\mu \Phi \leq 0 \quad \text{ on } \partial \mathcal{C}_\theta. \end{aligned}

In fact, along \partial{\mathcal C}_\theta, we choose an orthonormal frame \{e_i\}_{i=1}^n such that e_n=\mu. Since \nabla_\mu h=\cot\theta h on \partial \mathcal{C}_\theta, then for all 1\leq \beta\leq n-1,

\begin{aligned} \nabla_\beta (h_n)=\cot\theta \nabla_\beta h, \end{aligned}

together with the Gauss-Weingarten equation of \partial \mathcal{C}_\theta \subset \mathcal{C}_\theta, we have

\begin{aligned} h_{\beta n}= \nabla^2h(e_\beta ,e_n)=\nabla_{e_\beta}(\nabla h(e_n))-\nabla h(\nabla_{e_\beta}e_n) =0. \end{aligned}

Applying the Gauss-Weingarten equation of \partial \mathcal{C}_\theta \subset \mathcal{C}_\theta again and combining with (?), we have

\begin{aligned} \nabla_{\beta\beta n}h&=(\nabla^3 h)(e_\beta,e_\beta,e_n) =(\nabla_{e_\beta }(\nabla^2 h))(e_\beta ,e_n)\\&= \nabla_{e_\beta}(\nabla^2 h(e_\beta,e_n))-\nabla^2 h(\nabla_{e_\beta }e_\beta,e_n)-\nabla^2 h(e_\beta,\nabla_{e_\beta}e_n) \\&=\cot\theta h_{nn}-\cot\theta h_{\beta \beta}. \end{aligned}

The commutator formula on \mathcal{C}_{\theta} implies

\begin{aligned} \nabla_{n\beta\beta } h=\nabla_{\beta\beta n}h-h_n=\cot\theta ( h_{nn}- h_{\beta\beta }- h), \end{aligned}

then it follows

\begin{aligned} \nabla_{n} a_{\beta\beta} =\nabla_{n}h_{\beta\beta} + h_{n}= \cot\theta (a_{nn}-a_{\beta\beta}). \end{aligned}

From (3.5), we have

\begin{aligned} \sum_{\beta=1}^{n-1} a^{\beta\beta}\nabla_{n}a_{\beta\beta}+a^{nn}\nabla_{n}a_{nn}=0, \end{aligned}

that is,

\begin{aligned} \nabla_{n} a_{nn}=- \sum_{\beta=1}^{n-1} \frac{a^{\beta\beta }}{a^{nn}}\nabla_{n}a_{\beta\beta}, \end{aligned}

which, together with (?), implies

\begin{aligned} \nabla_\mu \Phi&= \sum_{\beta=1}^{n-1}\nabla_\mu a_{\beta\beta}+\nabla_\mu a_{nn} \\&= \cot\theta \sum_{\beta=1}^{n-1} \left( 1-\frac{ a^{\beta\beta}}{a^{nn}}\right) (a_{nn}-a_{\beta\beta}) \leq 0, \end{aligned}

where the last inequality follows from the positive definiteness of (a_{ij}) and \theta \in(0,\pi/2). Hence, we prove the assertion (Proof).

Next, we compute the evolution equation of \Phi, bear in mind that

\Delta \ell+n\ell =n.

From Eq. (3.2), we derive

\begin{aligned} \partial_t \Phi &=\Delta (\partial_t h)+n\partial_t h \\&= -\ell \Delta K-2\nabla \ell \cdot \nabla K-K\Delta \ell -n\ell K \\&=- \ell K \Delta K-2\nabla \ell\cdot \nabla K-nK, \end{aligned}

and

\begin{aligned} \nabla_i K=-Ka^{kl}\nabla_{i}a_{kl}, \end{aligned}

By the covariant derivative commutator formula on \mathcal{C}_\theta, we have

\begin{aligned} \nabla_{j}\nabla_{i}h_{pq}=\nabla_{q}\nabla_{p}h_{ij}+2(h_{pq}\delta_{ij}-h_{ij}\delta_{pq})+h_{iq}\delta_{pj}-h_{jp}\delta_{iq}, \end{aligned}

which implies

\begin{aligned} \nabla_{j}\nabla_{i}a_{pq}&=\nabla_{j}\nabla_{i}h_{pq}+h_{ij}\delta_{pq} \\&=\nabla_{q}\nabla_{p}a_{ij} +a_{pq}\delta_{ij}-a_{ij}\delta_{pq}+a_{iq}\delta_{pj}-a_{jp}\delta_{iq}. \end{aligned}

Then

\begin{aligned} \nabla_{ij} K&= -\nabla_j K a^{kl}\nabla_{i}a_{kl}-Ka^{kl}\nabla_{j}\nabla_{i}a_{kl}-K\nabla_{j}a^{kl}\nabla_{i}a_{kl} \\&= -Ka^{kl} (\nabla_{l}\nabla_{k}a_{ij}+a_{kl}\delta_{ij}-a_{ij}\delta_{kl}+a_{il}\delta_{kj}-a_{jk}\delta_{il}) \\&& +Ka^{kp} \nabla_{j}a_{pq} a^{ql}\nabla_{i}a_{kl}+ Ka^{pq}\nabla_{j}a_{pq}a^{kl}\nabla_{i}a_{kl} \end{aligned}

and

\begin{aligned} \Delta K&= Ka^{kp} \nabla_{i}a_{pq} a^{ql}\nabla_{i}a_{kl}+ Ka^{pq}\nabla_{i}a_{pq}a^{kl}\nabla_{i}a_{kl} \\&& -Ka^{kl}\nabla_{l}\nabla_{k}\Phi-n^2 K+\Phi H K. \end{aligned}

Altogether yields

\begin{aligned} \partial_t\Phi &= \ell Ka^{kl}\nabla_{l}\nabla_{k}\Phi+ n^2 \ell -\ell K \Phi H -n K -2 \nabla \ell\cdot \nabla K \\&& -\ell K a^{kp} \nabla_{i}a_{pq} a^{ql}\nabla_{i}a_{kl}- \ell K a^{pq}\nabla_{i}a_{pq}a^{kl}\nabla_{i}a_{kl}. \end{aligned}

From (Proof), we have that \Phi attains its maximum value at some interior point, say \xi_0 \in \mathcal{C}_{\theta} \setminus \partial \mathcal{C}_{\theta}. Assume that a_{ij} is diagonal at this point, which in turn implies that a^{ij} is also diagonal at \xi_0. Then at \xi_0, we find

\begin{aligned} 0 &\leq &\mathcal{L} \Phi=\partial_t\Phi- \ell Ka^{kl}\nabla_{k}\nabla_{l}\Phi \\&= (n\ell-1) nK - \ell K \Phi H \\&& - \ell K a^{kp} \nabla_{i}a_{pq} a^{ql}\nabla_{i}a_{kl} - \ell K a^{pq}\nabla_{i}a_{pq}a^{kl}\nabla_{i}a_{kl} -2 \nabla\ell \cdot \nabla K. \end{aligned}

From (?) we have

\begin{aligned} -2 \nabla \ell\cdot \nabla K=2\cos\theta \<e_i,e\> K a^{kk}\nabla_{i}a_{kk}. \end{aligned}

By using the Cauchy-Schwarz inequality and the convexity of \Sigma_t, we obtain

\begin{aligned} -\ell \sum_{k,l,i} a^{kk}a^{ll}(\nabla_{i}a_{kl})^2- \ell \sum_i (\sum_k a^{kk}\nabla_{i}a_{kk} )^2-2\cos\theta \<e_i,e\> a^{kk} \nabla_{i}a_{kk} \leq C ,~~~~~~ \end{aligned}

where the constant C only depends on n. Inserting (?) into (?), and using the fact that H\geq nK^{1/n} , we derive that

\begin{aligned} \ell K^{\frac{1}{n}} \Phi\leq \frac{1}{n} \ell H\Phi \le ( n \ell -1)+C, \end{aligned}

which, together with Proposition 3.6, gives

\begin{aligned} \Phi \leq C_{0}, \end{aligned}

for some positive constant C_{0} depending on n and \Sigma_{0}. It implies

\begin{aligned} \kappa_i\geq C^{-1}_{0}. \end{aligned}

The upper bound of \kappa_i follows directly from (?) and Proposition 3.7, since

\begin{aligned} \kappa_i = K \prod_{j\neq i} \kappa_j^{-1} \leq C C_0^{-(n-1)} \coloneqq C_1. \end{aligned}

This completes the proof.

Proof

Proof

ZZMY

Let \widehat{\Sigma}_t denote the convex domain enclosed in \overline{\mathbb{R}^{n+1}_+} by \Sigma_t and \partial\overline{\mathbb{R}^{n+1}_+}. Since \Sigma_t is the solution of flow (?), by the comparison principle we know that \widehat{\Sigma}_t\subset \widehat{\Sigma}_s, for any s<t.

First, we demonstrate that the capillary inner radius \rho_{-}(\widehat\Sigma_t ,\theta) of \Sigma_t tends to zero as t\rightarrow T^{\ast}. In fact, if this is not true, since the flow is a contracting flow and by the definition of \rho_-(\widehat\Sigma_t,\theta), we know that there exists a spherical cap with some radius r_{0}>0 which is contained in \Sigma_{t} for t\in [0, T^{\ast}). Combining Proposition 3.8 and the standard parabolic equation theory (see, e.g., [Dong, Theorem 6.1, Theorem 6.4 and Theorem 6.5], and also [Lieberman-book-parabolic, Theorem 14.23]), we obtain a uniform C^{k,\alpha} estimate of the solution to flow (3.2) for all k\geq 2 and \alpha\in (0,1). Therefore, flow (3.2) can be extended up to time T^*+\varepsilon for some \varepsilon>0, which contradicts the fact that T^*<+\infty is the maximal existence time of flow (3.2).

Next, we prove that as t\rightarrow T^{\ast}, the hypersurface \Sigma_{t} converges to a point. Suppose, by contradiction, that \cap_{t\geq 0}\widehat{\Sigma}_{t} is not a point. Let \text{diam}(\cap_{t\geq 0}\widehat{\Sigma}_{t})=l_{0}=\text{dist}(x_{1}, x_{2}) where x_{1}, x_{2}\in \cap_{t\geq 0}\widehat{\Sigma}_{t}. Since the inner capillary radius tends to zero, the volume of \widehat{\Sigma}_{t} also converges to zero. Thus, there exists a two dimension hyperplane \mathcal{H} such that the area of \bar{H}\coloneqq \mathcal{H}\cap \left(\cap_{t\geq 0}\widehat{\Sigma}_{t}\right) converges to zero. Along the boundary of \bar{H}\cap \partial (\cap_{t\geq 0}\widehat{\Sigma}_{t}), there must be some point with arbitrarily small principal curvature. However, Proposition 3.8 implies the principal curvatures of \Sigma_{t} have a uniformly lower bound. Thus, we derive a contradiction, and \widehat{\Sigma}_{t} converges to a point as t\rightarrow T^{\ast}.

Proposition

Proposition 4.1

WOSO

If {\rm{Vol}}(\widehat{\Sigma}_0)={\rm{Vol}}({\widehat{\mathcal{C}_\theta}}), then along flow (?), the volume of \widehat\Sigma_t is preserved for all t\geq 0,

Used by Proof, Proof
Proof of Proposition 4.1

From [WWX22, Theorem 1.1 for k=0], we have

\begin{aligned} \frac{d}{dt}{\rm{Vol}}(\widehat {\Sigma}_{t})&=\int_{\Sigma_{t}}hd\mu_{t} - \int_{\Sigma_t} K(\cdot,t ) (1+\cos\theta\<\nu, e\>)d\mu_{t}\\ &=(n+1) \left( {\rm{Vol}}(\widehat\Sigma_t )-{\rm{Vol}}(\widehat{\mathcal{C}_{\theta}})\right), \end{aligned}

where d\mu_{t} is the area element of \Sigma_{t}. Together with the assumption that {\rm{Vol}}(\widehat\Sigma_0 )={\rm{Vol}}(\widehat{\mathcal{C}_{\theta}}), we derive that {\rm{Vol}}(\widehat\Sigma_t)={\rm{Vol}}(\widehat{\mathcal{C}_\theta}) for all t\geq 0. Therefore, the conclusion follows.

Proposition

Proposition 4.2

TTC9

Let \Sigma_t\coloneqq X(M,t) be the solution of flow (?). Then, h satisfies

\begin{aligned} \left\{ \begin{array}{llll} \partial_t h(\xi, t) &=h(\xi, t)-\ell (\xi)\left[\det(\nabla^2h+hI)\right]^{-1}(\xi, t) & \text{ in }~ \mathcal{C}_\theta\times[0,+\infty),\\ \nabla_\mu h&= \cot\theta h & \text{ on } ~\partial \mathcal{C}_\theta\times[0, +\infty), \\ h(\cdot,0) &= h_0(\cdot) & \text{ on } ~ \mathcal{C}_\theta, \end{array} \right. \end{aligned}

where \mu is the unit outward normal of \partial \mathcal{C}_\theta\subset \mathcal{C}_\theta and h_0 is the support function of \Sigma_0.

Proof of Proposition 4.2

The proof is similar to Proposition 3.2, thus we omit it here for the conciseness.

Theorem

Theorem 4.3

0PMS

Let \Sigma_0 be a strictly convex capillary hypersurface in \overline{\mathbb{R}^{n+1}_+} and \theta\in(0,\pi/2), then flow (?) has a smooth solution \Sigma_t\coloneqq X(\cdot,t), which is strictly convex capillary hypersurface for all t\in[0,+\infty). Moreover, the solution of flow (?) converges to a smooth, strictly convex capillary hypersurface \Sigma_\infty\subset \overline{\mathbb{R}^{n+1}_+} as t\to +\infty. Furthermore, \Sigma_\infty satisfies

\begin{aligned} \left\{ \begin{array}{llll} K &= \frac{\<X,\nu\> } {1+\cos\theta\<\nu, e\>} & \text{ in } \Sigma_\infty,\\ \<\nu,e\>&= -\cos\theta & \text{ on } \partial \Sigma_\infty.\end{array} \right. \end{aligned}
Used by Proof
Definition

Definition 4.4 (Capillary entropy functional)

OQF5

Let \widehat\Sigma\in \mathcal{K}_\theta be a capillary convex body. The capillary entropy functional \mathcal{E}_{\theta} associated with \widehat\Sigma is defined by

\begin{aligned} \mathcal{E}_{\theta}(\widehat\Sigma)\coloneqq \sup_{z\in {\rm{int}}(\widehat{\partial\Sigma})} \mathcal{E}_{\theta}(\widehat\Sigma,z), \end{aligned}

where

\begin{aligned} \mathcal{E}_{\theta}(\widehat\Sigma,z)\coloneqq \frac 1 {\omega_\theta}\int_{\mathcal{C}_\theta} \left(\log u_{z}(\xi)\right) \ell(\xi) d\sigma, \end{aligned}

and \omega_\theta\coloneqq |\mathcal{C}_\theta|-\cos\theta |\widehat{\partial\mathcal{C}_\theta}| is the capillary area of \mathcal{C}_\theta.

Used by Proof
Proposition

Proposition 4.5

51OP

Let \widehat\Sigma\in \mathcal{K}_\theta with \theta\in(0, \pi/2) and {\rm{Vol}}(\widehat \Sigma) ={\rm{Vol}}(\widehat{\mathcal{C}_{\theta}}). If z_s \in \widehat{\partial \Sigma} is the capillary Santaló point of \widehat{\Sigma}, then

\begin{aligned} \frac 1 {\omega_\theta}\int_{\mathcal{C}_\theta} \left(\log u_{z_s}(\xi)\right) \ell(\xi) d\sigma \ge -C, \end{aligned}

where the constant C > 0 only depends on n and \theta.

Used by Proof
Proof of Proposition 4.5

The proof follows closely the idea of Guan-Ni [GN, Proposition 1.1], by adjusting to use Proposition 2.9 and Proposition 2.12.

From Proposition 2.9,

\begin{aligned} {\rm{Vol}}(\widehat{\Sigma}^*_{z_s}) &=\frac{1}{n+1}\int_{\mathcal{C}_{\theta}}\frac{\ell(\xi)}{u^{n+1}_{z_{s}}(\xi)} d\sigma. \end{aligned}

By applying Jensen’s inequality, we deduce that

\begin{aligned} \exp \left( \frac{1}{\omega_{\theta}}\int_{\mathcal{C}_{\theta}}\log \left(\frac{1}{u^{n+1}_{z_{s}}(\xi)} \right)\ell(\xi) d\sigma\right)\leq \frac{1}{\omega_{\theta}}\int_{\mathcal{C}_{\theta}}\frac{1}{u^{n+1}_{z_{s}}(\xi)}\ell(\xi) d\sigma=\frac{n+1}{\omega_\theta} {\rm{Vol}}(\widehat{\Sigma}_{z_s}^{\ast}). \end{aligned}

Inserting the simple fact that \omega_{\theta}=(n+1){\rm{Vol}}(\widehat{\mathcal{C}_{\theta}}) into (?), and together with Proposition 2.12, we obtain

\begin{aligned} \exp \left(-\frac{(n+1)}{\omega_{\theta}}\int_{\mathcal{C}_{\theta}} \left(\log u_{z_{s}}(\xi)\right)\ell(\xi) d\sigma \right) \leq \frac{{\rm{Vol}}(\widehat{\Sigma}_{z_s}^{\ast})}{{\rm{Vol}}(\widehat\mathcal{C}_\theta)}\leq \frac{1}{2}\left(\frac{{\rm{Vol}}(\mathbb{B}^{n+1})}{{\rm{Vol}(\widehat\mathcal{C}_{\theta})}}\right)^{2}, \end{aligned}

then this implies (4.5).

Proposition

Proposition 4.6

WL0B

Let \widehat\Sigma\in \mathcal{K}_\theta with \theta\in(0, \pi/2). Then there exists a unique point z_{e}\in \widehat{\partial \Sigma} such that

\mathcal{E}_{\theta}(\widehat{\Sigma})=\frac{1}{\omega_{\theta}}\int_{\mathcal{C}_{\theta}} \left(\log u_{z_{e}}(\xi)\right)\ell(\xi) d\sigma.
Used by Proof
Proof of Proposition 4.6

We divide the proof into two steps: first, we establish the existence of z_e, second, we prove its uniqueness.

Step 1: Existence. By Definition 4.4, we know there exists a sequence \{z_j\}_{j\geq 1}\subset \text{int}(\widehat{\partial\Sigma}) and some point z_e\in \widehat{\partial\Sigma} such that

\begin{aligned} \mathcal{E}_{\theta}(\widehat{\Sigma}, z_j)\rightarrow \mathcal{E}_{\theta}(\widehat{\Sigma})~ ~~{\rm{and}}~z_j\rightarrow z_{e}~~{\rm{as}}~j\rightarrow +\infty. \end{aligned}

From (2.1), (?) and [MWW, Remark 2.8], we know

\begin{aligned} u_{z_j}(\xi)\leq 2\rho_{+}(\widehat{\Sigma}, \theta), ~~\text{ for all } \xi\in \mathcal{C}_\theta, \end{aligned}

by Fatou’s Lemma and (Proof), we deduce

\begin{aligned} \int_{\mathcal{C}_{\theta}}\log \left(\frac{2\rho_{+}(\widehat{\Sigma}, \theta)}{u_{z_{e}}(\xi)}\right)\ell (\xi) d\sigma\leq \liminf\limits_{j\rightarrow+\infty} \int_{\mathcal{C}_{\theta}}\log \left(\frac{2\rho_{+}(\widehat{\Sigma }, \theta)}{u_{z_j}(\xi)}\right)\ell(\xi)d\sigma, \end{aligned}

in view of (Proof), then it follows

\begin{aligned} \frac{1}{\omega_{\theta}}\int_{\mathcal{C}_{\theta}} \left(\log u_{z_{e}}(\xi)\right)\ell(\xi)d\sigma\geq \limsup\limits_{j\rightarrow +\infty} \frac{1}{\omega_{\theta}}\int_{\mathcal{C}_{\theta}}(\log u_{z_j}(\xi))\ell(\xi)d\sigma=\mathcal{E}_{\theta}(\widehat{\Sigma}). \end{aligned}

On the other hand, by Definition 4.4, it is obvious that

\frac{1}{\omega_{\theta}}\int_{\mathcal{C}_{\theta}}\left(\log u_{z_{e}}(\xi)\right)\ell(\xi)d\sigma\leq \mathcal{E}_{\theta}(\widehat{\Sigma}),

together with (?), we obtain that z_e is the desired supremum point of \mathcal{E}_\theta(\widehat\Sigma).

Step 2: Uniqueness. Without loss of generality, we assume that the origin lies in {\rm{int}}(\widehat{\partial \Sigma}). For all point z\coloneqq (z_{1}, \cdots, z_{n}, 0)\in \widehat{\partial \Sigma}, it follows from (?) that we can rewrite

\begin{aligned} \frac{1}{\omega_{\theta}}\int_{\mathcal{C}_{\theta}}(\log u_{z}(\xi) )\ell(\xi) d\sigma &= &\frac{1}{\omega_{\theta}}\int_{\mathcal{C}_{\theta}}\log \left(u(\xi)-\ell^{-1}(\xi)\sum\limits_{i=1}^{n}z_{i}\xi_{i}\right)\ell(\xi) d\sigma \\&\eqqcolon & F(z), \end{aligned}

where u(\xi) is the capillary support function of \widehat\Sigma with respect to the origin. A direct calculation yields

\begin{aligned} \frac{\partial^{2}F(z)}{\partial z_{i}\partial z_{j}}=-\frac{1}{\omega_{\theta}}\int_{\mathcal{C}_{\theta}}\frac{\xi_{i}\xi_{j}}{\ell(\xi)u_{z}^{2}(\xi)}d\sigma,~~~~\text{for all}~~ 1\leq i,j\leq n. \end{aligned}

Hence, this implies that F(z) is strictly concave with respect to z\in \widehat{\partial\Sigma}, which in turn yields the uniqueness of z_e.

Proposition

Proposition 4.7

DVBU

Let \widehat\Sigma\in \mathcal{K}_\theta with \theta\in(0, \pi/2). Then \mathcal{E}_{\theta}(\widehat{\Sigma}) is attained by a unique capillary support function u_{z_e} with respect to the point z_{e}\in \rm{int}(\widehat{\partial \Sigma}). Moreover, u_{z_e} satisfies

\begin{aligned} \int_{\mathcal{C}_{\theta}}\frac { \xi_i}{u_{z_e}(\xi)} d\sigma=0,\quad \forall~ i=1,\cdots, n. \end{aligned}

Moreover, for any capillary support function U\neq u_{z_e} in \mathcal{C}_\theta, there holds

\begin{aligned} \mathcal{E}_\theta(\widehat\Sigma) > \frac{1}{\omega_\theta} \int_{\mathcal{C}_\theta} \left(\log U (\xi) \right) \ell d\sigma. \end{aligned}
Uses Definition 2.1 · Used by Proof, Proof, Proof
Proof of Proposition 4.7

We begin by showing that the capillary entropy point z_{e} lies in {\rm{int}}(\widehat{\partial \Sigma}). Suppose, to the contrary, that z_{e} \in \partial \Sigma. Without loss of generality, we may assume that z_{e} is the origin. Following the proof and notations introduced in Proposition 2.11, for all t \in (0, t_0), the point z_{t} \coloneqq -t \zeta lies in {\rm{int}}(\widehat{\partial \Sigma}) and satisfies u_{z_t}(\xi) > 0. By (?), we obtain

\begin{aligned} 0&\geq & \frac{d}{dt}\left(\int_{\mathcal{C}_{\theta}} \left(\log u_{z_t}(\xi)\right)\ell (\xi)d\sigma\right)\Big|_{t=0}=\int_{\mathcal{C}_{\theta}}\frac{\xi_{1}}{u_{z_e}(\xi)}d\sigma\\ &=\int_{\{\xi_{1}>0\}} \frac{ \xi_{1}}{u_{z_e}(\xi)}d\sigma+\int_{\{\xi_{1}<0\}}\frac{ \xi_{1}}{u_{z_e}(\xi)}d\sigma\\ &=\int_{\{\xi_{1}>0\}}\left(\frac{ \xi_{1}}{u_{z_e}(\xi)}-\frac{ \xi_{1} }{u_{z_e}(N(\xi))}\right)d\sigma>0, \end{aligned}

which leads to a contradiction. Hence we derive that z_{e}\in {\rm{int}}(\widehat{\partial \Sigma}) and in turn u_{z_e}(\xi)>0 for all \xi\in \mathcal{C}_\theta.

Next, we verify that the assertion (4.7) holds. For all 1 \leq i \leq n, denote z_e^{r,i} \coloneqq z_{e} - r E_{i}. For sufficiently small r_0 > 0, we have

z_e^{r,i} \in {\rm{int}}(\widehat{\partial\Sigma}) ~~~~\text{ for all } |r| \leq r_0 ~~\text{ and }~~ 1\leq i\leq n.

We reformulate

\begin{aligned} \frac{1}{\omega_{\theta}}\int_{\mathcal{C}_{\theta}}\left(\log u_{z_{e}^{r,i}}(\xi) \right)\ell(\xi) d\sigma=\frac{1}{\omega_{\theta}}\int_{\mathcal{C}_{\theta}}\log \left(u_{z_{e}}(\xi)+\ell^{-1}(\xi)r \xi_{i}\right)\ell(\xi) d\sigma\eqqcolon G_i(r). \end{aligned}

Proposition 4.6 implies that G_i(r) attains its maximum value at r=0, hence,

\begin{aligned} 0=\frac{d}{dr}G_i\Big|_{r=0}=\frac{1}{\omega_{\theta}}\int_{\mathcal{C}_{\theta}}\frac{\xi_{i}}{u_{z_{e}}(\xi)}d\sigma. \end{aligned}

The last assertion (4.7) follows from the strict concavity of F(z) in the proof of Proposition 4.6, see (?). Hence, we complete the proof.

Proposition

Proposition 4.8

UHPD

Let \widehat{\Sigma} \in \mathcal{K}_\theta with \theta\in (0, \pi /2). Then there exists a positive constant C, depending only on n and \theta, such that

\begin{aligned} \rho_{+}(\widehat{\Sigma}, \theta)\leq C e^{\mathcal{E}_{\theta}(\widehat\Sigma)}, \end{aligned}

and

\begin{aligned} \rho_{-}(\widehat{\Sigma}, \theta)\geq C^{-1}{\rm{Vol}}(\widehat{\Sigma}) e^{-n \mathcal{E}_{\theta}(\widehat \Sigma)}. \end{aligned}
Proof of Proposition 4.8

Let \widehat{\mathcal{C}_{\rho_{0}, \theta}(x_{0})} be the smallest spherical cap containing \widehat{\Sigma}, with radius \rho_{0} \coloneqq \rho_{+}(\widehat{\Sigma}, \theta). Let z \in \Sigma \cap \mathcal{C}_{\rho_{0}, \theta}(x_{0}). Without loss of generality, assume x_{0} is the origin, and denote z\coloneqq (z_{1}, 0, \cdots, 0, z_{n+1}) with z_{1}>0 and z_{n+1}\geq 0. Moreover, we have

\begin{aligned} |z|\geq (1-\cos\theta )\rho_{+}(\widehat{\Sigma}, \theta). \end{aligned}

We begin by proving the assertion (4.8). The proof is divided into two cases.

Case 1. z_{1}>\frac{1}{2}|z|. Denote \widehat{z}\coloneqq(z_{1}, 0, \cdots, 0, 0). Since \theta\in (0, \pi /2), we have line segment

L_{1}\coloneqq \left\{s\widehat{z} \mid 0\leq s\leq 1 \right\}

lies inside \widehat{\partial\Sigma}, this implies that the support function of the line segment L_{1} with respect to the point \frac{\widehat{z}}{2} is bounded above by h_{\frac{\widehat z}{2}}, i.e.,

\begin{aligned} \frac{1}{2}|\<\xi, \widehat{z}\>|=\frac{1}{2}|\<\xi-\cos\theta e, \widehat{z}\>|\leq h_{\frac{\widehat z}{2}}(\xi), \quad \forall~\xi\in \mathcal{C}_{\theta}. \end{aligned}

It yields

\begin{aligned} &&\log z_{1} \int_{\mathcal{C}_{\theta}}\ell(\xi) d\sigma-\int_{\mathcal{C}_{\theta}}(\log 2\ell(\xi)) \ell(\xi) d\sigma+\int_{\mathcal{C}_{\theta}}\log |\xi_{1}|\ell(\xi) d\sigma \\ &= \int_{\mathcal{C}_{\theta}}\log\left(\frac{1}{2\ell}|\<\xi, \widehat z\>|\right)\ell(\xi) d\sigma \leq \int_{\mathcal{C}_{\theta}} \left(\log u_{\frac{\widehat z}{2}}(\xi)\right) \ell(\xi) d\sigma \leq \omega_{\theta}\mathcal{E}_{\theta}(\widehat{\Sigma}). ~~~~~~~~ \end{aligned}

From (Proof), we have

\begin{aligned} \rho_+(\widehat\Sigma,\theta) \leq \frac{2 }{1-\cos\theta} z_1, \end{aligned}

together with (?), we conclude that

\begin{aligned} \rho_{+}(\widehat\Sigma, \theta)\leq C_1 e^{\mathcal{E}_{\theta}(\widehat{\Sigma})}, \end{aligned}

where C_1 is a positive constant depending only on n and \theta.

Case 2. z_{1}\leq \frac{1}{2}|z|. In this case, we have

\begin{aligned} z_{n+1}\geq \frac{\sqrt{3}}{2}|z|, \end{aligned}

and the line segment

L_{2}\coloneqq \left\{s\widehat{z}+(1-s)z\mid 0\leq s\leq 1\right \}

lies inside \widehat\Sigma. Similarly, the support function of the line segment L_{2} with respect to the point \widehat{z} is bounded above by the support function h_{\widehat{z}} of \widehat{\Sigma} with respect to \widehat z, i.e.,

\begin{aligned} z_{n+1}(\xi_{n+1}+\cos\theta) \leq h_{\widehat z}(\xi),\quad \forall~\xi\in\mathcal{C}_{\theta}. \end{aligned}

Then we get

\begin{aligned} &&\log z_{n+1}\int_{\mathcal{C}_{\theta}}\ell(\xi) d\sigma +\int_{\mathcal{C}_{\theta}}\log (\xi_{n+1}+\cos\theta)\ell(\xi) d\sigma-\int_{\mathcal{C}_{\theta}} \log \ell(\xi) \ell(\xi) d\sigma \\ &&\leq \int_{\mathcal{C}_{\theta}} \left(\log u_{\widehat{z}}(\xi)\right)\ell(\xi) d\sigma\leq \omega_{\theta}\mathcal{E}_{\theta}(\widehat{\Sigma}), \end{aligned}

which implies

\begin{aligned} z_{n+1}\leq C_2 e^{\mathcal{E}_{\theta}(\widehat{\Sigma})}. \end{aligned}

where C_2 is a positive constant depending only on n and \theta. Combining with (Proof), (?) and (?), we also obtain (4.8). Hence, we complete the proof of (4.8).

Next, we proceed to show (4.8) with the help of (4.8). Recall that in Proposition 2.12, we obtain a symmetric convex body \Omega by reflecting \widehat{\Sigma} with respect to the hyperplane \{x_{n+1}=0\}, and \Omega satisfies

\begin{aligned} 2{\rm{Vol}}(\widehat{\Sigma})={\rm{Vol}}(\Omega). \end{aligned}

Together with (2.3) and (2.3), we have

\begin{aligned} {\rm{Vol}}(\Omega)&\leq& 2n \omega_{n-1} \left(\rho_{+}(\widehat{\Sigma})\right)^{n}\rho_{-}(\widehat{\Sigma}) \\ &\leq& 2n\omega_{n-1}\left(\sin \theta \rho_{+}(\widehat{\Sigma}, \theta) \right)^{n}\sin\theta \rho_{-}(\widehat{\Sigma}, \theta), \end{aligned}

where \omega_{n-1} is the area of \mathbb{S}^{n-1}. Inserting (4.8) and (?) into (?), we conclude that (4.8) holds.

Proposition

Proposition 4.9

RI3P

Let \widehat\Sigma\in \mathcal{K}_\theta with \theta\in(0, \pi/2) . Then there exists a positive constant D depending only on n and \theta, such that

\begin{aligned} \frac{1}{\omega_{\theta}}\int_{\mathcal{C}_{\theta}}\left(\log u_{z}(\xi)\right)\ell(\xi) d\sigma \leq \mathcal{E}_{\theta}(\widehat{\Sigma})-De^{-2\mathcal{E}_{\theta}(\widehat{\Sigma})}|z-z_{e}|^{2},~\forall z\in {\rm{int}}(\widehat{\partial\Sigma}), \end{aligned}

where z_{e} is the capillary entropy point of \widehat\Sigma, as established in Proposition 4.6.

Proof of Proposition 4.9

Proposition 4.7 ensures that z_{e}\in {\rm{int}}(\widehat{\partial\Sigma}). For all z\in {\rm{int}}(\widehat{\partial\Sigma}), the strict convexity of \widehat{\partial\Sigma} implies the line segment

N\coloneqq \left\{s z_{e}+(1-s)z \mid 0\leq s\leq 1 \right\}

lies in {\rm{int}}({\widehat{\partial\Sigma}}). Denote t=z-z_{e}\eqqcolon (t_{1}, \cdots, t_{n}, 0). By (2.1), we rewrite

\begin{aligned} \frac{1}{\omega_{\theta}}\int_{\mathcal{C}_{\theta}}\left(\log u_{z}(\xi)\right)\ell(\xi) d\sigma =\frac{1}{\omega_{\theta}}\int_{\mathcal{C}_{\theta}}\log \left(u_{z_{e}}(\xi)-\ell^{-1} \sum_{i=1}^n t_{i}\xi_{i}\right)\ell(\xi) d\sigma\eqqcolon Q(t). \end{aligned}

By direct calculations, together with (4.7), it follows

\begin{aligned} \frac{\partial Q(t)}{\partial t_{i}}\Big|_{t=0}=-\frac{1}{\omega_{\theta}}\int_{\mathcal{C}_{\theta}}\frac{\xi_{i}}{u_{z_e}(\xi)}d\sigma=0,~~ \text{ for all } \quad 1\leq i\leq n, \end{aligned}

and

\begin{aligned} \frac{\partial^{2}Q(t)}{\partial t_{i} \partial t_{j}}=-\frac{1}{\omega_{\theta}}\int_{\mathcal{C}_{\theta}}\frac{\xi_{i}\xi_{j}}{\ell(\xi) u_{z}^{2}(\xi)}d\sigma, ~~\text{ for all } \quad 1\leq i,j \leq n, \end{aligned}

together with Taylor’s theorem, it follows that there exists a point z_*\in{\rm{int}}(\widehat{\partial\Sigma}), such that

\begin{aligned} Q(t)=Q(0)-\frac{1}{2\omega_{\theta}}\int_{\mathcal{C}_{\theta}}\frac{\<\xi, z-z_{e}\>^{2}}{\ell u_{z_*}^{2}(\xi)}d\sigma. \end{aligned}

Using (?) and (4.8), we get

\begin{aligned} \frac{1}{u_{z_*}(\xi)}\geq \frac{1}{2\rho_{+}(\widehat{\Sigma}, \theta)}\geq \frac{1}{2C}e^{-\mathcal{E}_{\theta}(\widehat{\Sigma})}. \end{aligned}

Inserting (Proof) into (Proof), we obtain

\begin{aligned} Q(t)&\leq &Q(0)-\frac{1}{4C^{2}}e^{-2\mathcal{E}_{\theta}(\widehat{\Sigma})}|z-z_{e}|^{2}\int_{\mathcal{C}_{\theta}}\left<\xi, \frac{z-z_{e}}{|z-z_{e}|}\right>^{2}\ell^{-1}(\xi)d\sigma \\ &\leq& \mathcal{E}_{\theta}(\widehat{\Sigma})-De^{-2\mathcal{E}_{\theta}(\widehat{\Sigma})}|z-z_{e}|^{2}, \end{aligned}

where the constant D only depends on n and \theta. Hence, we complete the proof.

Proposition

Proposition 4.10

E5M5

Along flow (?), the capillary entropy \mathcal{E}_{\theta}(\widehat\Sigma_t ) is non-increasing for all t\geq 0.

Used by Proof, Proof, Proof, Proof
Proof of Proposition 4.10

For any t_{0}>0, let u_{e(t_{0})} be the capillary support function of \widehat\Sigma_{t_0} with respect to the capillary entropy point e({t_{0}})\in \text{int}(\widehat{\partial\Sigma}_{t_{0}}). We define the function

U(\xi,t)\coloneqq u(\xi,t)-e^{t-t_{0}}\frac{\<e(t_{0}), \xi\>}{\ell(\xi)}, ~~~\xi\in \mathcal{C}_\theta, ~~t\geq 0.

By the very definition, we note that

\begin{aligned} U(\xi,t_0)=u_{e(t_0)}(\xi), \text{ for all } \xi\in \mathcal{C}_\theta. \end{aligned}

Hence U(\cdot,t)>0 in \mathcal{C}_\theta for all t\in(t_0-\varepsilon, t_0], where \varepsilon>0 is some sufficiently small constant. Moreover, it is readily seen that U(\cdot, t) satisfies \nabla^2(\ell U)+(\ell U) I>0 in \mathcal{C}_\theta and \nabla_\mu (\ell U)=\cot\theta \ell U on \partial\mathcal{C}_\theta, then U is the capillary support function by using [MWWX, Definition 2.5 and Proposition 2.6]. Thus, by applying (4.7) to \widehat\Sigma_t, we obtain

\begin{aligned} \mathcal{E}_\theta(\widehat\Sigma_t) \geq \frac 1 {\omega_\theta} \int_{\mathcal{C}_\theta} \left(\log U(\xi,t) \right)\ell d\sigma, ~~~~~\text{ for all } t\in (t_0-\varepsilon, t_0]. \end{aligned}

On the other hand, it follows from (?) that U(\cdot,t) satisfies

\begin{aligned} \left\{ \begin{array}{llll} \partial_t U &=U - K(\xi,t) & \text{ in } ~\mathcal{C}_\theta ,\\ \nabla_\mu U&= 0 & \text{ on }~ \partial \mathcal{C}_\theta ,\end{array} \right. \end{aligned}

where we recall that K(\xi,t)=\frac 1 {\det \left(\nabla^2 h+h \sigma \right)}=\frac 1 {\det \left(\nabla^2 (\ell U)+\ell U \sigma \right)}.

A direct calculation and using (Proof), it follows

\begin{aligned} \frac{d}{dt} \int_{\mathcal{C}_{\theta}}(\log U(\xi,t))\ell(\xi) d\sigma = \int_{\mathcal{C}_{\theta}}\frac{U(\xi,t)-K(\xi, t)}{U(\xi,t)}\ell(\xi) d\sigma. \end{aligned}

Note that

\begin{aligned} && \int_{\mathcal{C}_{\theta}}\left(\sqrt{\frac{U(\xi,t)}{K(\xi, t)}}-\sqrt{\frac{K(\xi, t)}{U(\xi,t)}}\right)^{2}\ell (\xi)d\sigma \\ &= \int_{\mathcal{C}_{\theta}}\left(\frac{K(\xi, t)}{U(\xi,t)}+\frac{U(\xi,t)}{K(\xi, t)}-2\right)\ell(\xi) d\sigma \\ &= \int_{\mathcal{C}_{\theta}}\frac{K(\xi, t)}{U(\xi,t)}\ell(\xi) d\sigma+ \int_{\mathcal{C}_\theta} \frac{h(\xi,t)-e^{t-t_0}\<e(t_0),\xi\>}{K(\xi,t)} d\sigma-2\int_{\mathcal{C}_{\theta}}\ell(\xi) d\sigma. \end{aligned}

Next, we analyze the middle integral term. From [MWWX, Proposition 2.12 and its proof] and Proposition 4.1, we have

\begin{aligned} \int_{\mathcal{C}_\theta} \frac {h(\xi,t)}{K(\xi,t)} d\sigma &= & \int_{\mathcal{C}_\theta} h \det(\nabla^2 h+h\sigma) d\sigma = (n+1)\text{Vol}(\widehat\Sigma_t) \\&=(n+1)\text{Vol}(\widehat\mathcal{C}_\theta) =\int_{\mathcal{C}_\theta}\ell d\sigma. \end{aligned}

By divergence theorem on \widehat\Sigma_t, there holds

\begin{aligned} \int_{\mathcal{C}_\theta} \frac{\<e(t_0), \xi\>}{K(\xi,t)} d\sigma &= & \int_{\mathcal{C}_\theta} \frac{\<e(t_0), \xi-\cos\theta e\>}{K(\xi,t)} d\sigma = \int_{\Sigma_t} \< e(t_0), \nu(\cdot,t)\> d\mu_t \\&=\int_{\widehat\Sigma_t} \text{div}_{\mathbb{R}^{n+1}_+} \left( e(t_0)\right) dV=0 . \end{aligned}

Inserting (?) and (?) into (?), we obtain

\begin{aligned} \int_{\mathcal{C}_{\theta}}\left(\sqrt{\frac{U(\xi,t)}{K(\xi, t)}}-\sqrt{\frac{K(\xi, t)}{U(\xi,t)}}\right)^{2}\ell (\xi)d\sigma =-\int_{\mathcal{C}_\theta} \left(1-\frac{K(\xi,t)}{U(\xi,t)} \right) \ell d\sigma, \end{aligned}

together with (?), we derive

\begin{aligned} \frac{d}{dt} \int_{\mathcal{C}_{\theta}}(\log U(\xi,t))\ell(\xi) d\sigma =- \int_{\mathcal{C}_{\theta}}\left(\sqrt{\frac{U(\xi,t)}{K(\xi, t)}}-\sqrt{\frac{K(\xi, t)}{U(\xi,t)}}\right)^{2}\ell (\xi)d\sigma\leq 0, \end{aligned}

which holds for all t\in(t-\varepsilon, t_0]. In view of (Proof), it yields

\begin{aligned} \int_{\mathcal{C}_\theta} \left(\log U(\xi,t) \right)\ell (\xi)d\sigma \geq \int_{\mathcal{C}_\theta} \left(\log U(\xi,t_0)\right)\ell (\xi)d\sigma =\omega_\theta \mathcal{E}_\theta(\widehat\Sigma_{t_0}), \end{aligned}

together with (Proof), we obtain

\begin{aligned} \mathcal{E}_{\theta}(\widehat\Sigma_t )\geq \frac{1}{\omega_{\theta}}\int_{\mathcal{C}_{\theta}}\left(\log U(\xi,t)\right)\ell(\xi)d\sigma\geq \mathcal{E}_{\theta}(\widehat\Sigma_{t_0} ), \end{aligned}

holds for all t\in(t-\varepsilon, t_0]. Therefore, the conclusion holds due to the arbitrariness of t_0>0.

Proposition

Proposition 4.11

33SL

Suppose u(\xi, t) is the positive solution to flow (?), then for all t\geq 0, there holds

\begin{aligned} \int_{\mathcal{C}_{\theta}}\left(\log u(\xi,t)\right)\ell(\xi) d\sigma\geq \omega_\theta\mathcal{E}_{\infty}+\int_{t}^{+\infty}\int_{\mathcal{C}_{\theta}}\left(\sqrt{\frac{K(\xi, t)}{u(\xi,t)}}-\sqrt{\frac{u(\xi, t)}{K(\xi, t)}}\right)^{2} \ell(\xi) d\sigma dt. \end{aligned}
Used by Proof
Proof of Proposition 4.11

Fix T_{1}>0 and choose T>T_{1}. Let a^{T}=(a_{1}^{T}, \cdots, a_{n}^{T}, 0)\eqqcolon e(T) \in \text{int}(\widehat{\partial\Sigma}_T) be the capillary entropy point of \widehat\Sigma_T. Consider the function

\begin{aligned} u^{T}(\xi, t)\coloneqq u(\xi, t)-e^{(t-T)}\ell^{-1} (\xi)\sum\limits_{i=1}^{n}a_{i}^{T}\xi_{i},~~~~\xi\in\mathcal{C}_\theta,~~ t\geq 0. \end{aligned}

It is obvious that

\begin{aligned} u^T(\xi, T)=u_{e(T)}(\xi,T),~~\forall \xi\in \mathcal{C}_\theta, \end{aligned}

is exactly the capillary support function of \widehat\Sigma_T with respect to e(T). Moreover, it follows from (?) that u^{T}(\cdot,t) satisfies

\begin{aligned} \left\{ \begin{array}{llll} \partial_t u^{T} &=u^{T}-\frac{1}{\det \left(\nabla^2 (\ell u^{T})+\ell u^{T} \sigma \right)} & \text{ in } ~\mathcal{C}_\theta ,\\ \nabla_\mu u^{T}&= 0 & \text{ on }~ \partial \mathcal{C}_\theta .\end{array} \right. \end{aligned}

Proposition 4.10 implies

\begin{aligned} \mathcal{E}_{\theta}(\widehat\Sigma_t )\leq \mathcal{E}_{\theta}(\widehat\Sigma_0 ), \quad\quad {\rm{for~all}}~t\in [0,+\infty), \end{aligned}

together with Proposition 4.8, it yields

\begin{aligned} |a^{T}|\leq C, \end{aligned}

where C>0 only depends on n and \Sigma_0. Let T be sufficiently large such that u^{T}(\xi, 0) > 0 for all \xi\in \mathcal{C}_\theta. From (Proof) and Proposition 4.7, we have

\begin{aligned} u^{T}(\xi, T)>0, \quad\quad {\rm{for~all}}~\xi\in \mathcal{C}_{\theta}. \end{aligned}

Next, we claim:

u^{T}(\xi, t)>0, ~~\text{for~ all}~(\xi,t)\in \mathcal{C}_{\theta}\times[0, T].

We argue by contradiction. Suppose the claim is false, then there exists a point \xi_{0}\in \mathcal{C}_{\theta} and t_0\in (0, T) such that u^{T}(\xi_{0}, t_{0})= 0. By the first equation in (Proof), we have \partial_{t}u^{T}(\xi_{0}, t_{0})<0, then there exists a small constant \delta>0 and for all t\in (t_{0}, t_{0}+\delta], we have u^{T}(\xi_{0}, t)<0. Repeating the same process at t=t_0+\delta, we iterative deduce that u^{T}(\xi_{0}, T)<0, which contradicts with (Proof). Hence, the claim is true.

Following the similar argument as in the proof of Proposition 4.10, for all 0\leq t\leq T, we deduce

\begin{aligned} \frac{d}{dt}\left( \int_{\mathcal{C}_{\theta}}\log u^{T}(\xi, t)\ell(\xi) d\sigma\right)=- \int_{\mathcal{C}_{\theta}}\left(\sqrt{\frac{K(\xi, t)}{u^{T}(\xi,t)}}-\sqrt{\frac{u^{T}(\xi,t)}{K(\xi,t)}}\right)^{2}\ell(\xi) d\sigma, \end{aligned}

by integrating over t\in [0, T] and taking (Proof) into account yield

\begin{aligned} && \int_{\mathcal{C}_{\theta}}(\log u^{T}(\xi,0))\ell (\xi)d\sigma-\omega_\theta \mathcal{E}_{\theta}(\widehat{\Sigma}_T)=\int_{0}^{T}\int_{\mathcal{C}_{\theta}}\left(\sqrt{\frac{K(\xi, t)}{u^{T}(\xi,t)}}-\sqrt{\frac{u^{T}(\xi,t)}{K(\xi,t)}}\right)^{2}\ell(\xi) d\sigma dt \\ &\geq & \int_{0}^{T_{1}}\int_{\mathcal{C}_{\theta}}\left(\sqrt{\frac{K(\xi, t)}{u^{T}(\xi,t)}}-\sqrt{\frac{u^{T}(\xi,t)}{K(\xi,t)}}\right)^{2}\ell(\xi) d\sigma dt. \end{aligned}

Due to (Proof), when T\to +\infty, there holds

u^{T}(\xi, t)\to u(\xi, t) ~\text{ uniformly for all } ~(t, \xi)\in [0,T_{1}]\times \mathcal{C}_{\theta},

together with by letting T\rightarrow +\infty in (?), we obtain

\begin{aligned} \int_{\mathcal{C}_{\theta}}(\log u(\xi, 0))\ell(\xi) d\sigma- \omega_\theta \mathcal{E}_{\infty}\geq \int_{0}^{T_{1}}\int_{\mathcal{C}_{\theta}}\left(\sqrt{\frac{K(\xi, t)}{u(\xi,t)}}-\sqrt{\frac{u(\xi,t)}{K(\xi,t)}}\right)^{2}\ell(\xi) d\sigma dt. \end{aligned}

Thus (4.11) holds for t=0. Changing t=0 to another time t>0 and letting T_{1}\rightarrow +\infty, we can show that (4.11) holds for all t>0.

Theorem

Theorem 4.12

NT0P

Suppose that u(\xi,t) is a positive solution to flow (?) with \theta \in (0,\pi/2) and {\rm{Vol}}(\widehat\Sigma_0 )={\rm{Vol}}(\widehat{\mathcal{C}_{\theta}}). Then there exists positive constants C=C(n, \Sigma_{0}) and T_{0}=T_{0}(\Sigma_{0}), such that

\begin{aligned} \frac{1}{C}\leq u(\xi, t)\leq C, ~~~\text{ for all }\xi \in \mathcal{C}_\theta,~ t\geq T_{0}. \end{aligned}
Used by Proof, Proof
Proof of Theorem 4.12

The uniform upper bound of u(\xi, t) follows from Proposition 4.8, Proposition 4.10, and (?). Hence, it remains to establish a positive uniform lower bound for the solution. By Proposition 4.11, we obtain

\begin{aligned} \mathcal{E}_{\infty}\leq \frac{1}{\omega_{\theta}}\int_{\mathcal{C}_{\theta}}\left(\log u(\xi,t)\right)\ell(\xi) d\sigma\leq \mathcal{E}_{\theta}(\widehat\Sigma_t ), \quad \forall~ t\geq 0, \end{aligned}

that is,

\begin{aligned} 0\leq \mathcal{E}_{\theta}(\widehat\Sigma_t)-\frac{1}{\omega_{\theta}}\int_{\mathcal{C}_{\theta}}\left(\log u(\xi, t)\right)\ell(\xi) d\sigma \rightarrow 0, \quad {\rm{as}}~t\rightarrow +\infty, \end{aligned}

together with (?) and (Proof), it follows that the capillary entropy point z_e(\widehat\Sigma_t) of \widehat\Sigma_t satisfies

\begin{aligned} |z_e(\widehat\Sigma_t)-0|\to 0, ~~~\text{ as } t\to +\infty. \end{aligned}

In view of Theorem 6.6 (2), it follows that there exists a sufficiently large constant T_{0}=T_{0}(\Sigma_{0})>0 such that

\begin{aligned} \text{dist}(0, \Sigma_t) \geq \varepsilon_0, ~~~~\text{for all } t\geq T_0, \end{aligned}

where \varepsilon_0 is a positive constant, depending only on n and \Sigma_0. Thus, in turn, implies that there exists a constant C=C(n,\Sigma_0)>0 such that

u(\xi, t) \geq \frac{1}{C}, ~~~\text{ for all }\xi \in \mathcal{C}_\theta,~ t \geq T_0.

This completes the proof.

Proposition

Proposition 4.13

FG8N

Along flow (4.2), we have the evolution equations.

  1. The capillary support function u satisfies

    \begin{aligned} \mathcal{L} u=2 K a^{ij}\nabla_{i}u \nabla_{j}\ell-(n+1) K+ KH u+u, \end{aligned}

    and

    \begin{aligned} \nabla_{\mu}u=0, ~~\text{ on } \partial\mathcal{C}_{\theta}. \end{aligned}
  2. The Gauss curvature K satisfies

    \begin{aligned} \mathcal{L}K=2 Ka^{ij}\nabla_{i}K\nabla_{j}\ell+ K^{2}H-n K, \end{aligned}

    and

    \begin{aligned} \nabla_{\mu}K=0, ~~\text{ on } \partial\mathcal{C}_{\theta}. \end{aligned}
Uses Definition 2.1 · Used by Proof
Proof of Proposition 4.13

The proofs are similar to those of Proposition 3.4 and Proposition 3.5, respectively, and are therefore omitted.

Proposition

Proposition 4.14

S7K3

Let \Sigma_t be the solution of flow (?) with \theta \in (0,\pi/2). If {\rm{Vol}}(\widehat\Sigma_0 )={\rm{Vol}}(\widehat{\mathcal{C}_{\theta}}), then there exists a positive constant C, depending only on n and \Sigma_{0}, such that

\begin{aligned} K(\xi,t)\leq C, ~~\text{ for all } (\xi,t)\in \mathcal{C}_\theta\times[0, +\infty). \end{aligned}
Used by Proof, Proof
Proof of Proposition 4.14

Let T\in [0, T^{\ast}) and \widetilde{X}(\xi, \tau) be the solution to flow (?) in [0, T]. For all \tau \in [0, T], let \rho_{-}(\widehat{\widetilde \Sigma}_{\tau}, \theta) and \rho_{+}(\widehat{\widetilde\Sigma}_{\tau}, \theta) be the capillary inner and outer radius of \widehat{\widetilde{\Sigma}}_{\tau} respectively. For brevity, we abbreviate \rho_{-}(\widehat{\widetilde\Sigma}_{\tau}, \theta) as \rho_{1}(\tau) and \rho_+(\widehat{\widetilde\Sigma}_{\tau}, \theta) as \rho_{2}(\tau). From Theorem 3.1, there exists a point \widetilde z_{0}\in \overline{\mathbb{R}^{n+1}_{+}} such that

\begin{aligned} \widehat{\mathcal{C}_{\rho_{1}(T), \theta}(\widetilde z_{0})}\subset \widehat{\widetilde\Sigma}_{\tau}, \quad {\rm{for~all}}~\tau \in [0, T]. \end{aligned}

Picking c_{0}=\frac{1}{2}\rho_{1}(T) in (?), we obtain

\begin{aligned} \widetilde{K}(\xi, T)\leq \max\left\{ 2^{n+1}\left(\frac{n+1}{n}\right)^{n}\frac{ \widetilde u_{\widetilde z_{0}}(\xi,T) }{ \rho_{1}(T)^{1+n}}, \frac{ \widetilde{u}_{\widetilde z_{0}}(\xi, T)\widetilde{K}(\xi, 0)}{\rho_{1}(T)} \right \}. \end{aligned}

where \widetilde{u}_{\widetilde z_{0}}(\xi, T) is the capillary support function of \widehat{\widetilde{\Sigma}}_{T} with respect to the point \widetilde z_{0}. Denote t\coloneqq \frac{1}{n+1}\log \left(\frac{{\rm{Vol}}(\widehat{\mathcal{C}_{\theta}})}{{\rm{Vol}}(\widehat{\widetilde\Sigma}_{T})}\right). In view of the rescaling, we obtain

\begin{aligned} K(\xi, t)&\leq& \max\left\{ 2^{n+1}\left(\frac{n+1}{n}\right)^{n} \frac{2\rho_{+}(\widehat{\Sigma}_{t}, \theta)}{\rho_{-}(\widehat{\Sigma}_{t}, \theta)^{1+n}}, \frac{2\rho_{+}(\widehat{\Sigma}_{t}, \theta)}{\rho_{-}(\widehat{\Sigma}_{t}, \theta)} K(\cdot, 0) \right\}. \end{aligned}

Combining Proposition 4.8, Proposition 4.10 and Proposition 4.1, we have

\begin{aligned} \frac{\rho_{+}(\widehat{\Sigma}_{t}, \theta)}{\rho_{-}(\widehat{\Sigma}_{t}, \theta)}\leq \frac{C^{2}e^{(n+1)\mathcal{E}_{\theta}(\widehat{\Sigma}_{t})}}{ {\rm{Vol}}(\widehat{\Sigma}_{t})}\leq \frac{C^{2}e^{(n+1)\mathcal{E}_{\theta}(\widehat{\Sigma}_{0})}}{{\rm{Vol}(\widehat{\mathcal{C}_{\theta}})}}, \end{aligned}

and

\begin{aligned} \frac{\rho_{+}(\widehat{\Sigma}_{t}, \theta)}{\rho_{-}(\widehat{\Sigma}_{t}, \theta)^{n+1}}\leq \frac{C^{n+2} e^{\left(1+n(n+1)\right)\mathcal{E}_{\theta}(\widehat\Sigma_{0})}}{{\rm{Vol}}(\widehat{\mathcal{C}_{\theta}})^{n+1}}, \end{aligned}

together with (Proof) and (?), we complete the proof of (4.14).

Proposition

Proposition 4.15

KIEE

Let \Sigma_t be the solution of flow (?) with \theta \in (0,\pi/2). If {\rm{Vol}}(\widehat\Sigma_0 )={\rm{Vol}}(\widehat{\mathcal{C}_{\theta}}), then there exists a positive constant C depending on n and \Sigma_{0}, such that

\begin{aligned} K(\xi,t)\geq C,~~\text{ for all } (\xi,t)\in \mathcal{C}_\theta\times[T_0, +\infty). \end{aligned}
Used by Proof, Proof
Proof of Proposition 4.15

Define

\begin{aligned} P(\xi,t) \coloneqq \log (Ku^{\gamma}), ~~~\text{ for }\xi\in \mathcal{C}_\theta,~~ t\geq T_0, \end{aligned}

where \gamma>0 is a constant to be determined later. From (?) and (?), we have

\begin{aligned} \nabla_{\mu}P=0, \quad {\rm{on}}~ \partial\mathcal{C}_{\theta}. \end{aligned}

Then we know P attains its minimum value at some interior point, say \xi_0\in \mathcal{C}_\theta\setminus\partial \mathcal{C}_\theta. Next, all the calculations are done at the minimum value point \xi_0. First, we have

\begin{aligned} 0=\nabla_i P= \frac{\nabla_i K}{K}+\frac{\gamma \nabla_{i}u}{u}, \end{aligned}

and by using Eq. (?), (?), and (Proof), it follows that

\begin{aligned} 0&\geq & \mathcal{L}P = \frac{1}{K}\mathcal{L}K+\frac{\gamma}{u}\mathcal{L}u+ \ell Ka^{ij} \left(\frac{\nabla_{i}K\nabla_{j}K}{K^{2}}+\gamma\frac{\nabla_{i}u \nabla_{j}u}{u^{2}} \right) \\ &\geq &\frac{1}{K}\mathcal{L}K+\frac{\gamma}{u}\mathcal{L}u\geq (\gamma-n)-\frac{(n+1)\gamma }{u}K. \end{aligned}

By choosing \gamma = 2 + n and substituting (4.12) into (Proof), we conclude that

\begin{aligned} P(\xi, t) \geq P(\xi_0, t) \geq \log\left(\frac{u^{n+3}}{(n+1)(n+2)}\right). \end{aligned}

Applying (4.12) once more, we obtain (4.15).

Proposition

Proposition 4.16

94UP

Let h(\xi, t) be the solution of flow (4.2) with \theta \in (0,\pi/2). Suppose that {\rm{Vol}}(\widehat\Sigma_0 )={\rm{Vol}}(\widehat{\mathcal{C}_{\theta}}), then there exist A positive constant C, depending only on n and \Sigma_{0}, such that

\begin{aligned} \frac{1}{C} I\leq (h_{ij}+h\sigma_{ij})\leq C I, ~~\text{ for all } (\xi,t)\in \mathcal{C}_\theta\times[T_0, +\infty), \end{aligned}

where T_{0} is a positive constant given in Theorem 4.12.

Used by Proof
Proof of Proposition 4.16

Since \nabla^{2}h+h\sigma is positive definite, and the upper and lower bound of K implies that it suffices to prove the upper bound of the eigenvalues of \nabla^{2}h+h\sigma. Similar to the proof of Proposition 3.8, we consider the function

\begin{aligned} \Phi\coloneqq \Delta h+n h. \end{aligned}

Recall from (Proof), there holds

\nabla_{\mu}\Phi \leq 0 \text{ on } \partial\mathcal{C}_{\theta}.

Thus, we know that \Phi attains its maximum value within \mathcal{C}_\theta at some interior point, say \xi_{0}\in \mathcal{C}_{\theta}\setminus \partial \mathcal{C}_{\theta}. By performing calculations similar to those in Proposition 3.8, at \xi_0, we have

\begin{aligned} 0\leq \mathcal{L}\Phi&=\Phi-\ell K\Phi H- \left[(n\ell-1) nK - \ell K a^{kp} \nabla_{i}a_{pq} a^{ql}\nabla_{i}a_{kl} \right. \\ &&\left.- \ell K a^{pq}\nabla_{i}a_{pq}a^{kl}\nabla_{i}a_{kl} -2 \nabla\ell \cdot \nabla K\right].~~~~~~~~~~ \end{aligned}

Together with (?) and (4.14), we get

\begin{aligned} && K \left[ - \ell \sum_{k,l,i} a^{kk}a^{ll}(\nabla_{i}a_{kl})^2- \alpha \ell \sum_i \left(\sum_k a^{kk}\nabla_{i}a_{kk} \right)^2-2\cos\theta \<e_i,e\> a^{kk} \nabla_{i}a_{kk} \right] \\&& \leq C K \leq C.~~~ \end{aligned}

By the Newton-Maclaurin inequality, we obtain

\begin{aligned} H= \frac{\sigma_{n-1}(A)}{\sigma_{n}(A)}\geq n\left(\frac{\sigma_{1}(A)}{n\sigma_{n}(A)}\right)^{\frac{1}{n-1}}=n^{\frac{n-2}{n-1}}K^{\frac{1}{n-1}}\Phi^{\frac{1}{n-1}}. \end{aligned}

Inserting (Proof) and (Proof) into (Proof), we have

\begin{aligned} 0\leq \Phi -n^{\frac{n-2}{n-1}}\ell (K\Phi)^{\frac{n}{n-1}}-(n\ell-1)nK-C, \end{aligned}

Using (4.14), (4.15) again, we conclude that

\Phi\leq C,

which yields the upper bound in (4.16) and the lower bound follows together with (4.15). This completes the proof.

Proof

Proof

RDCI

In view of Theorem 4.12, Proposition 4.14, Proposition 4.15 and Proposition 4.16, we conclude that the solution u of flow (?) satisfies

\begin{aligned} \|u(\cdot, t)\|_{C^{2}(\mathcal{C}_{\theta})}\leq C, \end{aligned}

where the positive constant C only depends on n and \Sigma_{0}. Thus by the standard parabolic fully nonlinear equation theory with Neumann boundary value condition (see, e.g., [Dong, Theorem 6.1, Theorem 6.4 and Theorem 6.5], and also [Lieberman-book-parabolic, Theorem 14.23]), for any integer k\geq 2 and \alpha\in (0,1), there holds

\begin{aligned} \|u(\cdot, t)\|_{C^{k, \alpha}(\mathcal{C}_{\theta})}\leq C. \end{aligned}

Given any T>0, and a number sequence \{t_{j}\}_{j\geq 1} with t_j\nearrow + \infty, consider the sequence functions

\begin{aligned} u_{j}(\xi, t)\coloneqq u(\xi, t+t_{j})=\frac{h(\xi, t+t_j)}{\ell(\xi)}. \end{aligned}

For each j\geq 1, we see that \{u_{j}\}_{j\geq 1} are still the solutions of flow (?) and satisfy (Proof). This implies u_{j}(\xi,t) (up to a subsequence) converges in C^{\infty} topology to a limit function u_{\infty}(\xi,t) for all (\xi,t)\in \mathcal{C}_\theta \times [-T,T], and u_{\infty} satisfies the flow (?). Moreover, Theorem 4.12 implies that u_{\infty}>0. On the other hand, together with (Proof), it implies that u_{\infty} satisfies

\begin{aligned} \int_{\mathcal{C}_{\theta}}\left(\log u_{\infty}(\xi,t)\right)\ell(\xi)d\sigma=\lim\limits_{j\rightarrow +\infty} \int_{\mathcal{C}_{{\theta}}}\left(\log u_{j}(\xi, t)\right)\ell (\xi)d\sigma=\omega_\theta \mathcal{E}_{\infty}, \end{aligned}

together with the proof of Proposition 4.10, it yields

\begin{aligned} 0=\frac{d}{dt}\left( \int_{\mathcal{C}_{\theta}}(\log u_{\infty}(\xi, t))\ell(\xi) d\sigma\right)=- \int_{\mathcal{C}_{\theta}}\left(\sqrt{\frac{u_{\infty}(\xi,t)}{K(\xi, t)}}-\sqrt{\frac{K(\xi, t)}{u_{\infty}(\xi, t)}}\right)^{2}\ell(\xi) d\sigma, \end{aligned}

which in turn implies that

\begin{aligned} \frac{u_{\infty}(\xi, t)}{K(\xi,t)}=\frac{K(\xi, t)}{u_{\infty}(\xi, t)}, \end{aligned}

combining with the fact that u_{\infty}(\xi, t) satisfies the flow (?), we obtain

\partial_t u_{\infty} (\xi, t)=0.

Hence u_{\infty}(\cdot)\coloneqq u_{\infty}(\cdot, t) satisfies

\begin{aligned} \left\{ \begin{array}{llll} u_{\infty} &=\frac 1 {\det \left(\nabla^2 (\ell u_\infty)+\ell u _\infty\sigma \right)} & \text{ in } ~\mathcal{C}_\theta,\\ \nabla_\mu u_{\infty} &= 0 & \text{ on }~ \partial \mathcal{C}_\theta, \end{array} \right. \end{aligned}

which is equivalent to (4.3), by taking into account [MWWX, Proposition 2.6]. Therefore, we obtain that after passing to a subsequence, the solution \{u_j\}_{j\geq 1} of (?) smoothly converges to a smooth function u_\infty, which satisfies Eq. (4.3).

Finally, we prove that u(\xi,t) globally converges in the C^{\infty}-topology to u_{\infty}(\xi, t) as t\rightarrow +\infty. We proceed by contradiction. If not, then there there exist l\in \mathbb{N} and a sequence \{t_{j}\}_{j\geq 1} with t_j\nearrow + \infty, such that

\begin{aligned} \sup\limits_{\mathcal{C}_{\theta}}|(\nabla^{l}u)(\xi, t_{j})-(\nabla^{l}u_{\infty})(\xi)|\geq \tau, \end{aligned}

for some positive constant \tau. On the other hand, we consider the sequence u_{j}(\xi,t)\coloneqq u(\xi,t+t_j) defined in way of (Proof), we see that u_{j}(\xi, t) (up to a subsequence) converges in C^{\infty} topology to u_{\infty}(\xi) on \mathcal{C}_{\theta}\times \{0\}. This implies u_{t_{j}}(\xi, 0) converges in C^{\infty} topology to u_{\infty}(\xi) on \mathcal{C}_{\theta}, which is a contradiction to (?). Hence, we complete the proof.

Remark

Remark 5.1

QYF7

Along flow (?), then the enclosed volume {\rm{Vol}}(\widehat{\Sigma}_{t}) is preserved invariant for all t\geq 0, if {\rm{Vol}}(\widehat\Sigma_0)={\rm{Vol}}(\widehat{\mathcal{C}_\theta}).

Definition

Definition 5.2 (Capillary \a-entropy functional)

MXQ3

Let \widehat\Sigma\in \mathcal{K}_\theta be a capillary convex body, the capillary \alpha-entropy functional \mathcal{E}_{\alpha,\theta} for \widehat\Sigma is defined by

\begin{aligned} \mathcal{E}_{\alpha,\theta}(\widehat\Sigma)\coloneqq \sup_{z_0\in {\rm{int}}(\widehat{\partial\Sigma})} \mathcal{E}_{\alpha,\theta}(\widehat\Sigma,z_0), \end{aligned}

and

\begin{aligned} \mathcal{E}_{\alpha,\theta}(\widehat\Sigma,z_0)\coloneqq \begin{cases} \frac{\alpha}{\alpha-1} \log\left( \frac 1 {\omega_\theta} \int_{\mathcal{C}_\theta} u_{z_0}(\xi)^{1-\frac 1 \alpha} \ell(\xi) d\sigma \right),~~ &\alpha\neq 1,\\ \frac 1 {\omega_\theta}\int_{\mathcal{C}_\theta} (\log u_{z_0}(\xi)) \ell(\xi) d\sigma, ~~ &\alpha=1, \end{cases} \end{aligned}

where d\sigma is the standard area element on \mathcal{C}_\theta and \omega_\theta is the capillary area of \mathcal{C}_\theta.

Theorem

Theorem 5.3

4U77

Let \Sigma_0 be a strictly convex capillary hypersurface in \overline{\mathbb{R}^{n+1}_+} and \theta\in(0,\pi/2). If \alpha>0, then the flow (?) has a smooth solution \Sigma_t\coloneqq X(M,t), which is strictly convex capillary hypersurface for all t\in[0, T^*), where T^*\coloneqq \frac 1 {\alpha n+1}\left(\frac{{\rm{Vol}}(\widehat\Sigma_0)}{{\rm{Vol}}(\widehat\mathcal{C}_{\theta})} \right)^{\frac{\alpha n+1}{n+1}}. As t\to T^*, then the capillary hypersurfaces \Sigma_t shrink to a point p\in \partial{\mathbb{R}^{n+1}_{+}}. Moreover, if \alpha>\frac 1{n+2}, the solution of normalized flow (?) converges to a smooth, strictly convex capillary hypersurface \Sigma_\infty\subset \overline{\mathbb{R}^{n+1}_+} as t\to +\infty. Furthermore, \Sigma_\infty satisfies:

\begin{aligned}\left\{ \begin{array}{llll} K^\alpha &= \lambda \frac{\<X,\nu\> } {1+\cos\theta\<\nu, e\>} & \text{ in } ~~ \Sigma_\infty,\\ \<\nu,e\>&= -\cos\theta & \text{ on }~~ \partial \Sigma_\infty,\end{array} \right. \end{aligned}

where \lambda\coloneqq \frac {1}{(n+1) {\rm{Vol}}(\widehat\mathcal{C}_\theta)} \int_{\mathcal{C}_\theta} K^{\alpha-1}(\xi) \left(\sin^2\theta+\cos\theta\<\xi,e\>\right) d\xi.

Conjecture

Conjecture 5.4

1M7U

Given \alpha > \frac{1}{n+2} and \theta \in (0, \pi), suppose that h is a positive, strictly convex function in \mathcal{C}_\theta and solves

\begin{aligned} \left\{ \begin{array}{llll} h\det^\alpha(\nabla^2 h+h\sigma) = \ell & \text{ in } ~~ \mathcal{C}_\theta , \\ \nabla_\mu h= \cot\theta h & \text{ on }~~ \partial \mathcal{C}_\theta,\end{array} \right. \end{aligned}

then h=\ell.

Definition

Definition 6.1 (Normal cone)

CKJL

Let K be a convex body (i.e., a compact, convex set with non-empty interior) contained in \overline{\mathbb{R}^{n+1}_+}. The normal cone of K at the point x\in \partial K, denoted \mathcal N_x K, is defined by

\begin{aligned} \mathcal N_x K\coloneqq \left\{ \zeta \in \mathbb{S}^n \mid \<\zeta,y - x\> \leq 0,~~\text{ for all } y \in K \right\}. \end{aligned}
Definition

Definition 6.2

SDCQ

Let K be a convex body contained in \overline{\mathbb{R}^{n+1}_+}. The boundary of K consists of two components: one is K_{u}\coloneqq \partial K\cap \mathbb{R}^{n+1}_{+}, and the other, denoted by K_{f}\coloneqq \partial K\cap \partial\overline{\mathbb{R}^{n+1}_{+}}, lies on \partial \overline{\mathbb{R}^{n+1}_+}. These two components share a common boundary, denoted by \partial K_f. We require that K_u is nonempty and that K_f contains interior points (relative to \partial \mathbb{R}^{n+1}_+). We refer to such a K as a convex body restricted to \overline{\mathbb{R}^{n+1}_+}.

Definition

Definition 6.3 (\theta-capillary convex body)

YVT5

Let K\in \mathcal G and x\in \partial K_f, we define the contact angle \vartheta=\vartheta (x)\in (0,\pi) of K at the point x \in \partial K_{f} by

\begin{aligned} \cos \vartheta= \sup\limits_{\zeta\in \mathcal N_{x}K}\<\zeta, E_{n+1}\>. \end{aligned}

For all x\in \partial K_f, if \vartheta(x)\leq \theta for some fixed constant \theta\in(0, \pi), then we call such K the \theta-capillary convex body in \overline{\mathbb{R}^{n+1}_+}.

Used by Proof
Proposition

Proposition 6.4

02D3

Let K \in \mathcal{G}_{\theta} with \theta\in (0, \pi/2). Then \mathcal F_{\theta}(K) is well-defined. Moreover, \mathcal{F}_{\theta}(K) is attained by a unique interior point z_{e}\coloneqq z_{e}(K)\in{\rm{int}}(K_{f}).

Used by Proof
Proof of Proposition 6.4

We start by showing that \mathcal{F}_{\theta}(K) is well-defined. It suffices to show that

\begin{aligned} -C\leq \mathcal{F}_{\theta}(K)\leq C, \end{aligned}

where C is a positive constant depending only on n, \rho_{+}(\widehat{K}) and {\rm{Vol}}(K). In fact, the upper bound in (Proof) follows directly from

\begin{aligned} \mathcal{F}_{\theta}(K)\leq \frac{1}{\omega_{\theta}}\int_{\mathbb{S}^{n}_{\theta}} \log \left(2\rho_{+}(K) \right)\ell(\zeta) d\sigma =\log \left(2\rho_{+}({K}) \right). \end{aligned}

Next, we proceed to show the lower bound in (Proof). Let \widetilde K be the bounded domain by reflecting K with respect to the hyperplane \partial\mathbb{R}^{n+1}_+. We claim that \widetilde K is a bounded closed convex body in \mathbb{R}^{n+1}. Since \bigcup\limits_{x\in K_{u}}\mathcal{N}_{x}K is a connected component of \mathbb{S}^{n} and E_{n+1}\in \bigcup\limits_{x\in K_{u}}\mathcal N_{x}K, and from K\in\mathcal{G}_{\theta}, we have \vartheta(x) \leq \theta for all x\in \partial K_{f} with \theta\in (0, \pi/2), then we conclude that

\overline{\bigcup\limits_{x\in K_{u}}\mathcal N_{x} K}\subset \mathbb{S}^{n}_{\theta},

which implies the claim. We denote by \widetilde z_{s} the classical Santaló point of \widetilde {K}, using the symmetry of \widetilde K with respect to \partial\mathbb{R}^{n+1}_+ and (Proof), it implies

\begin{aligned} \widetilde z_{s}\in {\rm{int}}(K_{f}). \end{aligned}

From [Sch, Page 547] or [San, (1.1)], there holds

\begin{aligned} {\rm{Vol}}(\widetilde K_{ \widetilde z_{s}}^{\ast})=\frac{1}{n+1}\int_{\mathbb{S}^{n}}\frac{1}{h_{ \widetilde z_{s}}^{n+1}(\zeta)}d\sigma, \end{aligned}

where \widetilde K_{ \widetilde z_{s}} ^{\ast} and h_{\widetilde z_{s}} denote the polar body and support function of \widetilde K with respect to the point \widetilde z_{s}, respectively. In view of (Proof), \text{Vol}(\widetilde K)=2\text{Vol}(K) and (Proof), we obtain

\begin{aligned} \int_{\mathbb{S}^{n}}\frac{1}{h_{ \widetilde z_{s}}^{n+1}(\zeta)}d\sigma\leq \frac{ (n+1){\rm{Vol}}(\mathbb{B}^{n+1})^{2}}{2{ {\rm{Vol}}(K)}}. \end{aligned}

Since \ell(\zeta)=1-\cos\theta\<\zeta, E_{n+1}\><1 on \mathbb{S}^{n}_{\theta}, then by applying the Jensen’s inequality as (?), it yields

\begin{aligned} \exp\left(\frac{1}{\omega_{\theta}}\int_{\mathbb{S}_{\theta}^{n}} \log \left(\frac{1}{u_{ \widetilde z_{s}}^{n+1}(\zeta)}\right) \ell(\zeta)d\sigma \right) &\leq& \frac{1}{\omega_{\theta}}\int_{\mathbb{S}_{\theta}^{n}}\frac{1}{u_{ \widetilde z_{s}}^{n+1}(\zeta)}\ell(\zeta)d\sigma \\ &\leq& \frac{1}{\omega_{\theta}}\int_{\mathbb{S}_{\theta}^{n}}\frac{1}{h_{\widetilde z_{s}}^{n+1}(\zeta)}d\sigma. \end{aligned}

Inserting (Proof) into (Proof), we obtain

\frac{1}{\omega_{\theta}} \int_{\mathbb{S}^{n}_{\theta}}\left(\log u_{\widetilde z_{s}}(\zeta)\right)\ell(\zeta) d\sigma\geq -C,

together with (?) and (Proof), it follows that

\mathcal{F}_{\theta}(K)\geq -C,

thus we complete the proof of (Proof). Notice that K_{f} is a bounded closed convex body in \mathbb{R}^{n}=\partial{\overline{\mathbb{R}^{n+1}_{+}}}, following the same argument as in the proof of Propositions 4.6 and 4.7, we can show there exists a unique interior point z_{e}\in \text{int}( K_f), such that \mathcal{F}_{\theta}(K)=\frac{1}{\omega_{\theta}}\int_{\mathbb{S}^{n}_{\theta}}\left(\log u_{z_{e}}(\zeta)\right)\ell(\zeta)d\sigma. This completes the proof.

Uses Proof, Proof
Proposition

Proposition 6.5

O3R3

Let \{\widehat{\Sigma}_{k}\}_{k\geq 1}\subset \mathcal{K}_{\theta} be a sequence of bounded capillary convex body, and \widehat{\Sigma}_{\star}\in \mathcal{G}. Suppose that \lim\limits_{k\rightarrow +\infty}\widehat{\Sigma}_{k}=\widehat{\Sigma}_{\star} in the Hausdorff distance sense, then \widehat{\Sigma}_{\star}\in \mathcal G_{\theta}.

Used by Proof
Proof of Proposition 6.5

We just need to show that

\begin{aligned} \vartheta(x)\leq \theta, \quad \text{for all }x\in \partial (\widehat\Sigma_{\star}\cap \partial{ \mathbb{R}^{n+1}_{+}}). \end{aligned}

By assumption and [Sch, Lemma 1.8.14], we have

\begin{aligned} h_{\widehat\Sigma _{k}}(\zeta)\coloneqq \sup\limits_{y\in \widehat{\Sigma}_{k}}\<y, \zeta\>\rightarrow h_{\widehat{\Sigma}_{\star}}(\zeta), ~\forall~ \zeta\in \mathbb{S}^{n}, \text{ as } k\to +\infty, \end{aligned}

where h_{\widehat{\Sigma}_{k}} and h_{\widehat{\Sigma}_{\star}} are the classical support functions of \widehat{\Sigma}_{k} and \widehat{\Sigma}_{\star} with respect to the origin respectively.

Given \zeta\in \mathbb{S}^{n}\setminus {\rm{int}}(\mathbb{S}^{n}_{\theta}), then for each \widehat\Sigma_{k}\in\mathcal{K}_{\theta}, there exists a point x_{k}\in \partial\Sigma_{k}, such that h_{\widehat{\Sigma}_{k}}(\zeta)=\<x_{k}, \zeta\>. Let k\rightarrow +\infty, we have x_{k}\rightarrow x (possibly up to a subsequence) for some x\in \partial (\widehat{\Sigma}_{\star}\cap \partial\overline{\mathbb{R}^{n+1}_{+}}). Together with(Proof) implies \zeta \in \mathcal{N}_{x}\widehat{\Sigma}_{\star}. Hence we obtain

\begin{aligned} \mathbb{S}^{n}\setminus {\rm{int}}(\mathbb{S}^{n}_\theta)\subset \bigcup_{x\in\partial (\widehat\Sigma_{\star}\cap \partial { \mathbb{R}^{n+1}_{+}}) }\mathcal{N}_{x}\widehat{\Sigma}_{\star}. \end{aligned}

By Definition 6.3, we conclude that (Proof) holds.

Theorem

Theorem 6.6

QDCQ

Let \theta\in (0, \pi/ 2). We have

  1. Suppose that \{\widehat\Sigma_{k}\}_{k\geq 1}\subset \Gamma_{A}, and \lim\limits_{k\rightarrow +\infty}\widehat\Sigma_{k}=\widehat\Sigma_\star in Hausdorff distance sense. Then \widehat{\Sigma}_{\star}\in \mathcal{G}_{\theta} and

    \begin{aligned} \lim\limits_{k\rightarrow +\infty}\mathcal{E}_{\theta}(\widehat{\Sigma}_{k})=\mathcal F_{\theta}(\widehat{\Sigma}_{\star}). \end{aligned}
  2. Then there exists a constant \delta > 0, depending only on n and A, such that for all \widehat{\Sigma}\subset \Gamma_{A}, the capillary entropy point z_e(\widehat{\Sigma}) of \widehat{\Sigma} satisfies

    \begin{aligned} {\rm{dist}}\left(z_e(\widehat{\Sigma}), \Sigma\right) \geq \delta. \end{aligned}
Used by Proof
Proof of Theorem 6.6

(1) Since the volume is preserved along the Hausdorff convergence, this implies that \widehat{\Sigma}_{\star} cannot collapse into a lower-dimensional convex set, so we obtain \widehat{\Sigma}\in \mathcal{G}. From Proposition 6.5 above, we have \widehat{\Sigma}_{\star}\in \mathcal{G}_{\theta}. Next, we proceed to prove (?).

From Proposition 4.8 and (?), given \widehat \Sigma\in \Gamma_{A}, there exists a positive constant C_0, depending only on n and A, such that

\begin{aligned} u_z^{\Sigma}\leq 2\rho_+(\widehat\Sigma,\theta) \leq 2 C e^{\mathcal{E}_\theta(\widehat\Sigma)} \leq 2Ce^A\eqqcolon C_0, \end{aligned}

where u_z^{\Sigma} is the capillary support function of \widehat\Sigma with respect to the point z\in \widehat{\partial \Sigma}.

By Proposition 6.4, we derive that the capillary entropy point z_e(\widehat{\Sigma}_\star) of \widehat\Sigma_\star lies in {\rm{int}}(\widehat{\partial\Sigma}_\star) with \widehat{\partial \Sigma}_{\star}\coloneqq \widehat{\Sigma}_{\star}\cap \partial \overline{\mathbb{R}^{n+1}_{+}}, therefore, for k sufficiently large, we have z_e({\widehat\Sigma_\star})\in {\rm{int}}(\widehat{\partial\Sigma}_k). In view of (?) and the dominated convergence theorem, we derive

\begin{aligned} \mathcal F_{\theta}(\widehat\Sigma_\star)&=\frac{1}{\omega_{\theta}}\int_{\mathbb{S}^{n}_{\theta}}\left(\log u_{z_e(\widehat\Sigma_\star)}^{\Sigma_\star}(\zeta)\right)\ell (\zeta)d\sigma \\ &=\lim\limits_{k\rightarrow\infty}\frac{1}{\omega_{\theta}}\int_{\mathcal{C}_{\theta}}\left(\log u_{ z_e(\widehat\Sigma_\star)}^{\Sigma_{k}}(\xi)\right)\ell(\xi) d\sigma\leq \lim\limits_{k\rightarrow +\infty}\mathcal{E}_{\theta}( \widehat\Sigma_k ),~~~ \end{aligned}

where u_{ z_e(\widehat\Sigma_\star)}^{\Sigma_k} denote the capillary support function of \widehat{\Sigma}_k with respect to the point z_e(\widehat{\Sigma}_\star) and u_{ z_e(\widehat\Sigma_\star)}^{\Sigma_\star}=\frac{h^{ \Sigma_{\star}}_{{z}_{e}(\widehat\Sigma_{\star})}}{\ell}, where h^{ \Sigma_{\star}}_{{z}_{e}(\widehat\Sigma_{\star})} is the classical support function of \widehat{\Sigma}_{\star} with respect to the point {z}_{e}(\widehat{\Sigma}_{\star}). On the other hand, Proposition 4.5 implies

\begin{aligned} \frac{1}{\omega_{\theta}}\int_{\mathcal{C}_{\theta}}\log \left(\frac{u_{z_e(\widehat\Sigma_{k})}^{\Sigma_{k}}(\xi)}{C_0}\right)\ell(\xi) d\sigma=\mathcal{E}_{\theta}(\widehat\Sigma_k )-\frac{1}{\omega_{\theta}}\int_{\mathcal{C}_{\theta}} (\log C_0) \ell(\xi) d\sigma\geq -C, \end{aligned}

for some positive constant C, depending only on n and A. Together with (?) again, it implies

\begin{aligned} \frac{1}{\omega_{\theta}}\int_{\mathcal{C}_{\theta}}\left|\log \left(\frac{u^{\Sigma_{k}}_{z_e(\widehat\Sigma_{k})}(\xi)}{C_0} \right)\ell(\xi) d\sigma \right| d\sigma\leq C. \end{aligned}

Let z_\star\coloneqq \lim\limits_{k\rightarrow +\infty}z_e({\widehat\Sigma_{k}}). Since the capillary entropy point z_e({\widehat\Sigma_{k}})\in {\rm{int}}(\widehat{\partial\Sigma}_k) and \lim\limits_{k\rightarrow +\infty}\widehat\Sigma_k =\widehat\Sigma_\star, it follows that z_\star\in \widehat{\partial\Sigma}_\star. By Fatou’s Lemma, we obtain

\begin{aligned} \frac{1}{\omega_{\theta}}\int_{\mathbb{S}^{n}_{\theta}}\log \left(\frac{u^{\Sigma_\star}_{z_\star}(\zeta)}{C_0}\right)\ell(\zeta) d\sigma \geq \limsup\limits_{k\rightarrow +\infty}\frac{1}{\omega_{\theta}}\int_{\mathcal{C}_{\theta}}\log \left(\frac{u_{z_e(\widehat\Sigma_{k})}^{\Sigma_{k}}(\xi)}{C_0}\right)\ell(\xi) d\sigma, \end{aligned}

which implies

\begin{aligned} \mathcal{F}_{\theta}(\widehat{\Sigma}_{\ast})\geq \limsup\limits_{k\rightarrow +\infty}\mathcal{E}_{\theta}(\widehat\Sigma_k ). \end{aligned}

In view of (?) and (?), we conclude that the assertion (?) holds.

(2) Now we move on to prove (?) by arguing via contradiction. Suppose there exists a sequence \{\widehat\Sigma_{l}\}_{l\geq 1}\subset \Gamma_{A} such that

\begin{aligned} {\rm{dist}}\left(z_e(\widehat\Sigma_{l}), \Sigma_{l}\right)\rightarrow 0,~{\rm{as}}~l\rightarrow \infty. \end{aligned}

By the Blaschke selection theorem, see, e.g., [Sch, Theorem 1.8.7], there exists a subsequence of \{\widehat\Sigma_{l}\}_{l\geq 1}, still denoted by \{\widehat\Sigma_{l}\}_{l\geq 1}, such that \widehat\Sigma_l converges to \widehat\Sigma_\star as l\to +\infty. Let q_{0}\coloneqq\lim\limits_{l\rightarrow +\infty}z_e(\widehat\Sigma_{l}). Since each z_e(\widehat\Sigma_{l})\in\widehat{\partial\Sigma} _{l}\subset \partial{\mathbb{R}^{n+1}_{+}}, together with (?), it yields that

\begin{aligned} q_{0}\in \partial \Sigma_\star. \end{aligned}

Furthermore, from (?) and (?), we have

\begin{aligned} \mathcal{F}_{\theta}(\widehat{\Sigma}_{\star}) &=\lim\limits_{l\rightarrow +\infty}\mathcal{E}_{\theta}(\widehat\Sigma_l )=\lim\limits_{l\rightarrow +\infty}\frac{1}{\omega_{\theta}}\int_{\mathcal{C}_{\theta}}\left(\log u^{\Sigma_{l}}_{z_e(\widehat\Sigma_{l})}(\xi)\right)\ell(\xi) d\sigma \\&\leq & \frac{1}{\omega_{\theta}}\int_{\mathbb{S}^{n}_{\theta}}\left(\log u_{q_{0}}^{\Sigma_\star}(\zeta)\right)\ell(\zeta) d\sigma\leq \mathcal{F}_{\theta}(\widehat{\Sigma}_{\star}), \end{aligned}

which implies that q_0 is the capillary entropy point of \widehat{\Sigma}_{\star}. By applying Proposition 6.4, we know that the point q_0 \in \text{int}(\widehat{\partial \Sigma}_\star). However, this contradicts (?). Hence, we complete the proof.

Source and licence

The text on this page is from arXiv:2506.09840v1 by Xinqun Mei, Guofang Wang and Liangjun Weng, under the licence CC BY SA 4.0. The corpus made these changes: it read the items out of the LaTeX source, it expanded the macros of the paper, it put each proof after its statement, and it converted the text to HTML. The formulas are the TeX of the paper, and KaTeX renders them. A formula or a reference can look different from the PDF. The page is published under CC BY SA 4.0.

The record of each item is in analysis/objects/2506/2506.09840.jsonl.