1. 引言
平面曲线流中最简单的模型是平面曲线收缩流(CSF),在探究理想颗粒的二维边界运动 [1] 时被Mullins首次提出,对其系统性的理论研究分别由Gage-Hamilton [2] 和Grayson [3] 完成。对于任意平面简单闭曲线,在曲线收缩流下演化,它在有限时间内会变成一个点,如果将演化曲线进行保面积重新尺度化,则它最终会收敛到一个圆,这一结论现被称为Gage-Hamilton-Grayson定理。
自20世纪80年代以来,曲线流已广泛应用于计算机视觉、图像处理、材料科学等多个领域。潘生亮在 [4] 中首次提出了速度项带有支撑函数的平面闭凸曲线演化模型:
由于演化曲线在该模型下保持周长不变,故速率也可以写成
。之后,Meng [5] 研究了一种凸
曲线保长度的逆曲率流,定义如下:
该模型可以将非线性的曲率发展方程转化为曲线曲率半径的热方程。其他带有支撑函数的保长度演化模型的研究,参见Gao和Wang [6] ,Fang [7] 等。
本文主要研究一个新的带有支撑函数的逆曲率流,并通过其渐近行为探究几何不等式。考虑平面凸曲线的如下演化问题:
(1.1)
其中N是演化曲线的单位内法向量,p,k和L分别是演化曲线X的支撑函数、曲率和周长。该模型可以看成上述两个演化过程的组合,为实际应用中出现运动叠加的情形提供新的研究思路。
我们知道演化模型的切分量不改变演化曲线的形状 [8] ,因此为计算简单起见,可在流(1.1)中增加合适的切分量
。引入平面凸曲线的切向角
,若令
,则得到与流(1.1)等价演化问题:
(1.2)
在流(1.2)中,切向量T、单位内法向量N和切向角
均与时间t无关 [8] 。我们可以得到如下定理:
定理1.1 若初始曲线是平面凸曲线,则在流(1.2)下演化曲线保持凸性,周长不变,且光滑收敛到一个圆。
近年来,这种速度项带有支撑函数的逆曲率流在等周型问题及几何不等式的研究中扮演了重要角色,可参考Guan和Li的综述文章 [9] 。下面我们简单介绍几种相关的几何不等式。
等周问题表明任何给定长度的简单闭曲线,圆的面积所围区域的面积最大。等周问题蕴含如下等周不等式:
其中L和A分别为简单闭曲线的周长和所围区域的面积,且仅当曲线为圆时等号成立。潘生亮等 [10] 证明了平面凸曲线的一个反向等周不等式:
其中L为平面凸曲线的周长,A和
分别为平面凸曲线及其曲率中心轨迹所围区域的面积。同时他们猜测使不等式
成立的最优
取值为
。高翔 [11] 证明了该猜测并给出等号成立的充要条件,且Gao,Zhang和Zhou [12] 证明该充要条件对应的曲线是次数不超过6次的代数曲线。
作为上述定理的应用,我们可以获得曲率型不等式和反向等周不等式。
定理1.2 (曲率型不等式) 若X是平面凸曲线,则有
(1.3)
其中k和L分别为X的曲率和周长,且等号成立当且仅当X是一条至多6次代数曲线。
注 对于一条平面凸的
闭曲线,有平面Ros不等式 [13]
成立,等号成立当且仅当该曲线是一个圆。因此,定理1.2中的结果可以看成是该不等式的加强形式。而在文献 [14] 中,Li和Wang还将不等式(1.3)拓展到一类带有奇点的曲线上。
定理1.3 (反向等周不等式) 若X是平面凸曲线,则有
(1.4)
其中L为X的周长,A和
分别为X及其曲率中心轨迹的面积,且(1.3)中等号成立当且仅当X是一条至多6次的代数曲线。
本文的结构安排如下:
本文分成三个部分,第一部分是背景知识,主要说明本文的研究目的和主要结果;第二部分是预备知识,主要介绍给出平面凸曲线的基本概念、演化模型相关几何量的发展方程和部分引理;第三部分是主要定理的证明,使用的技巧与方法受文献 [15] 和 [16] 的启发。
2. 预备知识
设X是平面凸曲线,则它可分别由支撑函数和曲率来刻画。记
为平面凸曲线的切向角,X的支撑
函数 [12] 可表示为
根据平面凸曲线的定义 [12] ,其曲率k的符号不变(不妨取大于零)。平面凸曲线X的曲率与支撑函数满足如下关系 [17] :
(2.1)
利用支撑函数,平面凸曲线X的周长和所围区域的面积表示为 [17] :
(2.2)
(2.3)
经过类似文献 [2] 和 [4] 中对几何量演化方程的计算可得:
引理2.1 若平面凸曲线在流(1.2)下演化,则其支撑函数、曲率、周长和所围区域面积的发展方程分别为
(2.4)
(2.5)
(2.6)
(2.7)
引理2.2 (保凸性)若平面凸曲线在流(1.2)下演化,则演化曲线仍是平面凸曲线,且周长不变。
证明 由式(2.6)可知,演化曲线的周长保持不变。为说明演化曲线保持凸性,只需证明对任意时刻t,
均有
。设
。根据式(2.5)和式(2.6),可得
(2.8)
由于
是平面凸曲线,则有
。对式(2.8)应用极大值原理,可得
这表明
。
3. 主要结果的证明
定理1.1的证明 首先,由引理2.2的保凸性,我们可以将曲率的演化方程转化为曲率半径的标准抛物方程,结合抛物方程标准理论和曲率半径的各阶导数估计,得到演化方程解的存在性;其次,通过构造一个关于曲率半径积分的辅助函数,分析该函数在演化过程中的性质,得到演化曲线的收敛性。
记曲率半径
,由(2.5)可得
(2.9)
设
表示
的i阶导数,其中
。根据式(2.9)和分部积分公式,可得:
这表明
结合Sobolev不等式 [2] 可得,对
,有
,其中C是只依赖i和
。因此,流(1.2)在
存在。
下面说明流(1.2)的收敛性,考虑几何量
根据式(2.6)和分部积分公式,可得
因此,对
,有
其中C是只依赖
。这表明当
时,
,即演化曲线光滑收敛到半径为
的一个圆。
注 结合式(2.5),式(2.6)和平面Ros不等式,可得
由此可知,
,即等周差在演化过程中负指数衰减。
定理1.2的证明 令
。在流(1.2)下,考虑几何量
根据式(2.1),式(2.3),式(2.5)和式(2.7),演化曲线的代数面积的发展方程可以重新表示为
设演化曲线X的支撑函数为
则有
根据Parsavel恒等式 [4] ,可得
容易知道
,且等号成立当且仅当
,
。因此,结合流(1.2)的渐近行为,可知
,且等号成立当且仅当
即曲线为次数不超过6次的代数曲线 [12] 。
注 不等式(1.3)在文献 [18] 的保长度和保面积曲线流研究中起到重要作用,尤其是在证明流的收敛性和确定流的渐近行为两个方面。
定理1.3的证明 结合式(1.3)和恒等式 [19]
可得式(1.4)成立,且等号成立当且仅当曲线为次数不超过6次的代数曲线。
本文主要研究一个速度项带有支撑函数的保长度曲线流,并结合该流的渐近行为讨论了平面凸曲线的曲率型不等式和反向等周不等式,本文为研究平面曲线的几何不等式提供了一个新的模型。另外,本文研究的模型是一类特殊的组合流,这也为今后研究更一般的组合模型提供新的思路,为实际应用中的一些组合运动,如波的叠加、多重信号的传输等,提供理论依据。
致谢
感谢审稿人对改进本文提供的宝贵建议。
NOTES
*通讯作者。