[论文解读] Mean Curvature Motion of Graphs with Constant Contact Angle and Moving Boundaries

Alex Freire|ArXiv.org|May 29, 2008

Geometric Analysis and Curvature Flows参考文献 10被引用 4

一句话总结

该论文建立了在 R^{n+1} 中随时间变化的定义域上，具有自由边界恒定接触角条件的时变图的平均曲率运动的短时间存在性与延续性准则。证明了若初始图为凹，则其在有限时间内灭绝，从而通过反射对称性建模了具有120度夹角的超曲面对称三重结点。

ABSTRACT

We consider the motion by mean curvature of an $n$-dimensional graph over a time-dependent domain in $\mathbb{R}^n$, intersecting $\mathbb{R}^n$ at a constant angle. In the general case, we prove local existence for the corresponding quasilinear parabolic equation with a free boundary, and derive a continuation criterion based on the second fundamental form. If the initial graph is concave, we show this is preserved, and that the solution exists only for finite time. This corresponds to a symmetric version of triple junction motion of hypersurfaces by mean curvature, with constant angles at the junction.

研究动机与目标

• 建立在时间依赖定义域上、边界处具有恒定接触角的平均曲率运动图的解的局部存在性与唯一性。
• 基于第二基本形式推导此类图演化过程的延续性准则。
• 证明初始图的凹性在演化过程中被保持，从而导致有限时间灭绝。
• 通过反射与基于图的平均曲率流，建模超曲面以恒定角度相交的对称三重结点。
• 将经典抛物型PDE方法推广至包含角度约束的非标准边界条件的自由边界问题。

提出的方法

• 将运动表述为在时间依赖定义域 D(t) 上的拟线性抛物型PDE，其中图由 w(t): D(t) → R 定义。
• 通过 ⟨N, e_{n+1}⟩ = β 在 ∂D(t) 上施加恒定接触角条件，其中 N 为向上单位法向量。
• 采用固定定义域参数化 F: D₀ × [0,T] → R^{n+1}，其中 F(x,t) = [φ(x,t), u(x,t)]，将自由边界问题转化为固定定义域PDE系统。
• 应用抛物型 Hölder 空间理论与不动点论证，证明在 C^{2+α,1+α/2} 正则性下的短时间存在性。
• 利用算子 L = ∂_t - Δ_g - H d_ω 推导流下几何量（平均曲率 H、第二基本形式 h_{ij}、Weingarten 算子 S）的演化方程。
• 在 t=0 处验证相容性条件，并通过线性化与Schauder估计检查边界条件的互补性。

实验结果

研究问题

• RQ1 在时间依赖定义域上，具有边界处恒定接触角的图的平均曲率运动是否存在局部时间解？
• RQ2 演化能否在给定时间之后继续？何种几何条件控制此延续性？
• RQ3 初始图的凹性在演化过程中是否保持？是否导致有限时间灭绝？
• RQ4 该框架能否通过反射建模以恒定角度相交的超曲面对称三重结点？
• RQ5 在具有移动边界和角度约束的流下，H、h_{ij} 和 |h|²_g 等几何量如何演化？

主要发现

• 在抛物型 Hölder 空间中，自由边界问题的短时间存在性已得证，存在解 F ∈ C^{2+α,1+α/2}(Q^T; R^{n+1})，其中 T > 0 依赖于初始数据。
• 解满足接触角条件 β⟨N, e_{n+1}⟩ = 1 在 ∂D(t) 上，且边界随图动态演化。
• 若初始图为凹，则解仅在有限时间内存在，意味着在有限时间内灭绝。
• 第二基本形式 h_{ij} 的演化满足 L[h_{ij}] = -2∇_ω(h²)_{ij} + C_{ij}，其中 C_{ij} 包含 h³ 与 |h|²_g 项。
• 平均曲率 H 的演化满足 L[H] = |h|²_g H + H h²(ω,ω) - H² h(ω,ω)，由于 L 算子的存在，无一阶项。
• |h|²_g 的演化由 L[|h|²_g] = -2|∇h|²_g + 2|h|⁴_g - 4H h³(ω,ω) - 2H |h|²_g h(ω,ω) 控制，显示出曲率爆破行为。