1. 引言及主要结果
曲线流自20世纪80年代以来受到广泛关注,相关研究已深入到图像处理、相变模拟、医学断层扫描等诸多应用领域。曲线流研究中的最简单模型是平面曲线收缩流(CSF),嵌入曲线在该流下先变凸,而后在有限时间内收敛到一个点。曲线收缩流(CSF)下的自相似解研究对流的奇性分析至关重要,而非简单曲线中的Abresch-Langer曲线(全曲率为
的n重对称局部凸曲线,且
)是曲线收缩流的一类重要自相似解。非简单曲线是指平面上含有自交点的浸入曲线,若非简单曲线的相对曲率处处大于零,则称这样的非简单曲线为局部凸曲线。
Epstein和Gage在 [1] 中首次考虑了局部凸曲线的收缩流,Wang,Li和Chao在 [2] 中讨论了全曲率为
的n重对称局部凸曲线(
)的保面积流(演化过程中曲线的代数面积保持不变)。在2001年,潘生亮在 [3] 中首次提出速度项带有支撑函数的曲线流模型。近年来,速度项带有支撑函数的逆曲率流在等周型问题的研究中起到重要作用,可参见Guan和Li的综述文章 [4] 。Yang和Wu在 [5] 中利用速度项带有支撑函数的保长度流(演化过程中曲线的长度保持不变),讨论了平面凸曲线的曲率型不等式和反向等周不等式。
本文考虑非简单曲线的如下演化模型:
(1.1)
其中p和k是演化曲线X的支撑函数和曲率,N是演化曲线的单位内法向量。
因为增加演化模型的切分量不改变演化曲线的形状 [6] ,所以可以在流(1.1)中增加恰当的切分量
,使得模型分析简单。通过引入局部凸曲线的切向角
,可取
,得到与流(1.1)等价的如下模型:
(1.2)
同时保证切向量T,单位内法向量N和切向角
均与时间t无关 [6] 。
本文主要考虑一类非简单曲线在流(1.2)下的演化,并利用该流来讨论相应的等周不等式和对数型不等式. 本文的主要结果如下:
定理1.1 如果初始曲线是全曲率为
的n重对称局部凸曲线,且
,那么该曲线在流(1.2)下演化保持局部凸性,长度不变,且收敛到一个m重圆。
定理1.2 (等周不等式) 如果X是全曲率为
的n重对称局部凸曲线,且
,那么有
(1.3)
其中L为X的长度,A为X的代数面积,且(1.3)中等号成立当且仅当X是一个m重圆。
定理1.3 (对数型不等式) 如果X是全曲率为
的n重对称局部凸曲线,且
,那么有
(1.4)
(1.5)
其中k为X的曲率,L为X的长度,且等号成立当且仅当X是一个m重圆。
本文的结构安排如下:
本文分成三个部分,第一部分为引言和主要结果,该部分主要介绍本文的研究目的和主要结论;第二部分是预备知识,该部分主要介绍局部凸曲线的相关概念以及演化模型相关几何量的发展方程;第三部分为主要结果的证明,该部分利用文献 [3] 和 [5] 中的技巧给出本文重要定理的证明。
2. 预备知识
设X是全曲率为
的局部凸曲线,
为局部凸曲线的切向角,则X的支撑函数 [1] 定义为
局部凸曲线X的曲率与支撑函数满足如下关系 [1] :
(2.1)
利用支撑函数,局部凸曲线X的长度和代数面积的可以表示为 [1] :
(2.2)
(2.3)
类似文献 [3] 和 [6] 中计算可得:
引理2.1 若局部凸曲线按流(1.2)演化,则支撑函数、曲率、长度和代数面积的发展方程分别为
(2.4)
(2.5)
(2.6)
(2.7)
3. 主要结果的证明
定理1.1的证明 记曲率半径
,由(2.5)可得
.
若
,
,根据抛物方程的极值原理,
。由此,对任意时间t,
,即初始曲线在演化过程中保持局部凸性。再由一致抛物方程的正则性理论,可得
其中
表示
的i阶导数,
为与时间无关的常数。因此,流(1.2)在
存在。
为说明流(1.2)的收敛性,记
为初始曲线的长度,考虑几何量
通过
和分部积分,可得
由于
,根据Wirtinger不等式 [7] 可知
于是
这表明
因此,当
时,
,从而,
,即初始曲线收敛到半径为
的m重圆。
定理1.2的证明 根据(2.1),(2.3)和(2.7),演化曲线的代数面积的发展方程可以重新表示为
由于演化曲线是全曲率为
的n重对称的,且
,则支撑函数p是周期为
的函数。因此,根据Wirtinger不等式 [7] ,有
利用定理1.1的结论,可得
且等号成立当且仅当
,即对任意时间t,p为常数,这表明其为m重圆。
定理1.3的证明 几何量
的发展方程为
由此可得
再由
可得(1.4),(1.4)等号成立当且仅当
,即对任意时间t,
为常数,表明其为m重圆。
类似地,可以考虑
由此可得
再由
可得(1.5),(1.5)等号成立当且仅当
,即对任意时间t,
为常数,表明其为m重圆。
注 鉴于平面凸曲线的对数型不等式
和
在对数型曲线流的渐近行为研究中起到重要作用(参见潘生亮,高来源和史珂的文章 [8] ),定理1.3的对数型不等式也可以用来考虑非简单曲线的对数型演化问题。
NOTES
*通讯作者。