跳到正文
格致开物MATHWIKI

平均曲率流

平均曲率流(mean curvature flow)是一种曲面演化:曲面各点沿法向移动,速度等于平均曲率向量。凸球面上的运动指向球心,半径逐渐缩小。曲率越大的位置局部运动越快,但一般曲面可能形成奇点,不能仅从球面的规则收缩推断所有曲面的长期行为。

下文讨论欧氏三维空间中的光滑曲面。取外法向 ν,并以 H=divSν=κ1+κ2 表示主曲率之和,球面上为正。有些教材将平均曲率定义为两主曲率的平均;若使用该记号,演化方程中的系数须相应调整。

演化方程与法向速度

令 X(p,t) 参数化曲面 St,其中 p 只用来标识曲面上的参数点。在本文约定下, ∂tX=−Hν. 加入纯切向速度会重新分配参数点,而不改变同一时刻的几何曲面;真正决定形状变化的是法向分量。曲率的号和法向的号应成对使用,使曲率向量保持一致。标准定义、球面闭式解及奇点示例见Haslhofer的讲义。[1]

极小曲面满足 H=0,因而在光滑曲率流下驻定。对有边界曲面,边界怎样运动也属于问题的数据;下述整体面积公式先取紧致、无边界的情形。

球面收缩的完整计算

若曲面始终是半径 R(t)>0 的球面,两主曲率均为 1/R,所以 dRdt=−2R. 将两侧乘以 2R,得到 ddtR2=−4. 若 R(0)=R0,则 R(t)=R02−4t,0≤t<T=R024. 终止时间来自根号内变为零。曲率 2/R(t) 在 t↑T 时发散,这说明该时刻出现经典光滑解的奇点。

初始半径二的球面在时间零、四分之一和四分之三的截面半径分别为二、根号三和一
图中圆圈是三维球面的平面截面。计算采用球面的两条主曲率,而不是平面曲线只有一条曲率的演化。

例如 R0=2 时,奇点时间为一。在 t=1/4、3/4 时,半径分别为 3 和一。面积与体积为 A(t)=4πR(t)2=16π(1−t),V(t)=4π3(4−4t)3/2. 面积线性下降,半径却按平方根变化。体积也在下降;普通平均曲率流没有体积守恒约束。

若初始半径由二改为四,终止时间从一变为四。一般将空间长度放大 λ>0 倍,时间也须放大 λ2 倍,才能保持曲率流方程的形式。半径翻倍而终止时间翻四倍,正是这一尺度关系的检验。

面积递减公式

设曲面以一般法向速度 ∂tX=fν 运动,局部诱导度量为 gij=∂iX⋅∂jX。因法向与切向量正交, ∂tgij=2f∂iν⋅∂jX. 用行列式的求导公式,得到 ∂tdet⁡g=12det⁡ggij∂tgij=fHdet⁡g. 这里对重复指标求和,H=gij∂iν⋅∂jX,与前面的外法向约定一致。取 f=−H 并对紧致无边界曲面积分,便得 dAdt=−∫StH2dμ≤0. 等号要求该时刻处处 H=0。这说明曲率流在相应的面积梯度度量下使面积递减,而不是只凭图上看起来更圆来判断。

球面上 H2=4/R2、A=4πR2,所以积分恒为 16π,恰好核对了主例中 A′(t)=−16π。若曲面有边界且边界也移动,整体第一变分还可能含有边界贡献,应另外指定边界条件。

球面的半径按平方根下降而归一化面积线性下降,两者都在时间一到零
纵轴标明半径比例与面积比例。终点仅表示极限,时间一时已不再有正半径的光滑球面。相同终止时间不代表两条量具有相同变化率。

图形形式及热方程近似

对局部图形 z=u(x,y,t),选择向上的法向 ν=(−ux,−uy,1)1+|∇u|2. 在这个法向约定下,H=−div⁡(∇u/1+|∇u|2)。图形参数化的竖直速度 ut 的法向分量是 ut/1+|∇u|2,故 ut=1+|∇u|2div⁡(∇u1+|∇u|2). 展开后为 ut=(1+uy2)uxx−2uxuyuxy1+ux2+uy2+(1+ux2)uyy1+ux2+uy2. 小斜率时,主导部分近似为 ut≈uxx+uyy。完整方程仍依赖斜率,而且曲面可能无法一直表示为同一个坐标平面上的全局图形。

奇点与适用范围

球面已经说明了曲率流可在有限时间形成奇点。一般曲面还可能出现颈缩等局部现象;面积递减没有给出曲率始终有界的保证。进一步讨论跨越奇点的演化,需要水平集流、Brakke流等相应的弱解框架,并明确所采用的解概念。

模型中的参数 t 也不自动等于实验中的秒数。将曲率流用于界面运动或材料模型时,通常还要说明表面能、迁移率、外力与边界条件。本文球面的时间尺度由方程中的系数一决定。

参考文献

  1. ↑ Robert Haslhofer,Lectures on Mean Curvature Flow,§1,方程(1.1)、例1.2及例1.6。