锥(cone)中平均凸星形象毛细边界超曲面等周不等式的一种流方法

《Differential Geometry and its Applications》：A flow method to isoperimetric inequality for mean convex star-shaped capillary hypersurfaces in a cone

　　

摘　要：本文针对锥(cone)C(η)中具有毛细边界(capillary boundary)的超曲面，获得了Minkowski公式(Minkowski formula)与Heintze-Karcher不等式(Heintze-Karcher inequality)。随后研究人员研究了一类锥中的逆平均曲率流(inverse mean curvature flow, IMCF)，证明其长时间存在性与收敛性。作为应用，研究人员导出了锥中具有毛细边界的平均凸(mean convex)星形(star-shaped)超曲面的毛细等周不等式(capillary isoperimetric inequality)。

论文解读：《锥中平均凸星形象毛细边界超曲面等周不等式的一种流方法》

一、研究背景与意义

经典等周不等式(isoperimetric inequality)指出?ⁿ⁺¹中区域体积与超曲面面积的关系，等号当且仅当为球。Alexandrov-Fenchel不等式将其推广至凸几何的截量积分(quermassintegrals)。近年来，此类不等式被推广至带边界超曲面：如球(ball)中自由边界(free boundary)凸超曲面及半空间(?₊ⁿ⁺¹)中θ-毛细超曲面(capillary hypersurface, 与边界交固定接触角θ)。对于锥(cone)中毛细超曲面，因锥非常曲率空间(form non-space form)，截量积分无显式递推公式，修正截量积分(modified quermassintegral)难以构造，此前未见毛细等周不等式的完整证明。本文由Li Guanghan（李光汉）与Yang Yifan（武汉大学数学与统计学院）撰写，拟发表于Differential Geometry and its Applications，利用几何流方法首次建立锥C(η)（半顶角η∈(0,π/2]）内具θ-毛细边界的平均凸星形象超曲面的毛细等周不等式，填补了该几何场景下的理论空白。

二、主要关键技术方法

研究人员采用以下关键方法开展研究：(1)推导锥中θ-毛细超曲面的Minkowski公式——对∫_Σ(1+cosθ/sinη?ν,e?)dA = ∫_ΣH₁?x,ν?dA进行分部积分并结合锥边界条件；(2)证明锥中毛细超曲面的Heintze-Karcher不等式——∫_Σ(1+cosθ/sinη?ν,e?)/H₁dA ≥ ∫_Σ?x,ν?dA；(3)构造局部约束逆平均曲率流(locally constrained inverse mean curvature flow)：正交速度(x_t)^⊥= f ν，其中f = (1+cosθ/sinη?e,ν?)/(H₁??x,ν?)，e=(0,…,?1)，并利用标量图表示将流化为抛物方程证短时存在；(4)建立曲率先验估计(priori estimates)与极值原理(maximum principle with boundary)证长时间存在及收敛至θ-毛细球冠(spherical cap)；(5)由流单调性结合Minkowski公式与Heintze-Karcher不等式导出最终等周不等式。

三、研究结果

Introduction（引言）

综述经典等周不等式、Alexandrov-Fenchel不等式及其向半空间与球中毛细超曲面的推广，阐明锥中非空间形导致的困难，提出本文主要定理（Theorem 1.1）：对锥C(η)中平均凸星形θ-毛细超曲面（θ∈(π/2?η, π/2+η)），成立

(|Σ|?cosθ|??Σ|) / (|S_η,θⁿ|?cosθ|??S_η,θⁿ|) ≥ (|Ω?|/|Ω?_η,θ|)^n/(n+1)，

等号当且仅当Σ为θ-毛细球冠。Ω?为Σ与锥面围成的区域，S_η,θⁿ为单位θ-毛细球冠。

Capillary hypersurface in a cone（锥中毛细超曲面）

定义锥C(η)={(x₀,x_n+1)∈?ⁿ⁺¹: |x₀|=x_n+1tanη, x_n+1≥0}，引入锥内浸没超曲面x:M→C￣及毛细边界条件ν∧μ=cosθ（ν为超曲面单位法向，μ为锥面内法向在切平面的投影）。给出θ-毛细球冠(S_η,θⁿ)与所围区域(Ω?_η,θ)的定义。

Minkowski formula and Heintze-Karcher inequality（Minkowski公式与Heintze-Karcher不等式）

研究人员通过锥中散度定理与边界毛细条件，推导得一阶Minkowski公式：∫_Σ(1+cosθ/sinη?ν,e?)dA = ∫_ΣH₁?x,ν?dA。进一步证明Heintze-Karcher不等式：∫_Σ(1+cosθ/sinη?ν,e?)/H₁dA ≥ ∫_Σ?x,ν?dA = n|Ω?|，等号当且仅当为球冠。指出因锥面外法向非Σ的第二基本形式主方向，高阶Minkowski公式无法类似获得。

Locally constrained curvature flow and monotonicity（局部约束曲率流与单调性）

定义流(x_t)^⊥= fν，f如前述。研究人员计算沿此流：毛细泛函A(t)=|Σ_t|?cosθ|??Σ_t|保持常数（由Minkowski公式），而围体体积|Ω?_t|严格单调增（由Heintze-Karcher不等式取等条件控制），保证流可用来比较任意初值与极限球冠的几何量。

Short-time existence of flow（流的短时存在性）

利用严格星形假设将Σ_t表示为径向函数r(X,t)X（X∈Sⁿ(η)=Sⁿ∩C?），将流方程化为关于r的非线性抛物方程，依标准抛物方程理论获短时存在性与唯一性。

Priori estimates and long-time existence of flow（先验估计与长时间存在性）

通过建立H₁（平均曲率倒数相关组合）与支撑函数?x,ν?的演化方程，在边界上用毛细条件与锥几何计算外法向导数，应用带边界的最大值原理得H₁>0及星形性的一致C²估计。由此排除奇点形成，证得流整体存在且当t→∞时Σ_t指数收敛（在C^∞意义下）至某半径R_∞的θ-毛细球冠S_η,θⁿ(R_∞)。

四、讨论与结论

研究人员通过构造并分析锥中局部约束逆平均曲率流，结合新证的Minkowski公式与Heintze-Karcher不等式，严格证明了锥C(η)内平均凸星形θ-毛细超曲面（θ∈(π/2?η,π/2+η)，η∈(0,π/2]）满足毛细等周不等式，等号成立当且仅当超曲面为θ-毛细球冠。此结果将半空间与球中毛细等周不等式推广至锥这一非空间形带边几何环境，并为后续锥中Alexandrov-Fenchel型不等式及高阶几何流研究奠定技术与理论基础。

主要结论翻译（Theorem 1.1）：

设Σ为锥C(η)（η∈(0,π/2]）中具有毛细接触角θ∈(π/2?η,π/2+η)的平均凸星形θ-毛细超曲面，Ω?为由Σ与锥面所围区域，??Σ为Ω?在锥面上的部分边界，则

(|Σ|?cosθ|??Σ|)/( |S_η,θⁿ|?cosθ|??S_η,θⁿ| ) ≥ ( |Ω?|/|Ω?_η,θ| )^n/(n+1)，

等号成立当且仅当Σ为一个θ-毛细球冠。