关键词: 凸曲线流；Ros等周不等式；单调公式；Convex Curve Flow； Ros Isoperimetric Inequalities； Monotone Formulas
1.引 言
最早和最经典的几何不等式就是等周不等式，它刻画了平面域几何量之间的关系。即若γγ 是二维欧氏平面上一简单严格闭曲线，曲线γγ 的周长为LL ，曲线γγ 所围区域的面积为AA ，则有
L2−4πA≥0,L2−4πA≥0,
等号成立的条件当且仅当γγ 是圆。但等周问题的认识和研究经历了漫长的历史，尽管古希腊时代人们就知道了这一事实，但第一个严格的数学证明由德国数学家Weierstrass在1870年给出。
20世纪80年代，Gage [1]证明了一个涉及平面凸曲线曲率平方积分的不等式
∫L0κ2ds≥πLA,∫0Lκ2ds≥πLA,
当且仅当曲线是圆周时等号成立。我们将其称为Gage等周不等式，同时也给出了Jocobowitz骨形非凸曲线的例子，说明该不等式对非凸曲线不成立。等周型不等式的研究一直备受数学家的关注，周家足等[2]得到了平面R2R2 上的Ros定理，
∫L01κds≥2A,∫0L1κds≥2A,
并对Ros等周不等式进行了深入研究，得到平面上的Ros等周不等式的加强形式
∫L01κds≥L22π.∫0L1κds≥L22π.
Pan和Yang [3]在研究一种保长度的非局部曲线收缩流时，为了估计演化曲线的等周差建立了如下的平面Ros等周不等式的加强形式，
∫L01κds≥L2−2πAπ,∫0L1κds≥L2−2πAπ,
后来Lin和Tsai [4]利用Andrew和Green-Osher不等式研究保面积或保长度闭凸平面曲线流收敛性时，通过傅立叶级数将平面Ros等周不等式改进为
∫L01κds≥2L2−6πAπ.∫0L1κds≥2L2−6πAπ.
Ros等周不等式与经典的等周不等式不仅类似在等号的充要条件为圆，而且在物理、代数几何以及其他的数学分支中都有着重要的应用，特别是在研究经典的平面曲线收缩流以及其他曲线的演化过程都起着重要作用，如Pan和Yang [3]研究的保长度曲线流
{∂X(u,t)∂t=(L2π−1κ)Nin(u,t),X(u,0)=X0(u),{∂X(u,t)∂t=(L2π−1κ)Nin(u,t),X(u,0)=X0(u),
Pan和Zhang [5]研究的长度和面积均递增扩张流
{∂X(u,t)∂t=(2AL−1κ)Nin(u,t),X(u,0)=X0(u),{∂X(u,t)∂t=(2AL−1κ)Nin(u,t),X(u,0)=X0(u),
因此研究Ros等周不等式有着十分重要的意义。
关于平面曲线流问题的研究最早要追溯到Gage于1983年在文献[1]中提出的经典曲线收缩流
{∂X(u,t)∂t=κNin(u,t)X(u,0)=X0(u),{∂X(u,t)∂t=κNin(u,t)X(u,0)=X0(u),
其中X(u,t):S1×[0,T)→R2X(u,t):S1×[0,T)→R2 是平面上一族闭曲线，X0(u)⊂R2X0(u)⊂R2 是初始简单闭凸曲线(后文如果没有特殊说明，X0(u)X0(u) 皆是这种曲线)，κκ 是相对曲率，NinNin 是单位内法向量。Gage和Hamiton [6]证明了在经典的曲线收缩流下，演化曲线保持凸性不变，且曲线的长度和所围面积都会减小，最终在有限的时间内会收缩成一个圆点。在经典的曲线收缩流的基础上，人们开始研究各类曲线流，关于曲线流更多的研究结果可以参见文献[7] [8]。
平面曲线演化问题在在诸多领域中都发挥着至关重要的作用，如图像处理、医学和相变等。近些年平面曲线流在在几何不等式的证明中非常受关注，Yang和Wu [9]利用一种保长度的曲线收缩流给出了平面上逆等周不等式加强形式的证明，该保长度抛物型曲线流在演化过程中保持凸性不变，曲线所围面积递增，且当时间tt 趋于无穷时，曲线最终会在C∞C∞ 度量下收敛到一个半径为L2πL2π 的圆。Xia和Guo [10]通过一种保面积的非抛物型曲线流给出了平面Ros定理及加强形式的证明，在这种保面积的非抛物型非局部曲线流下，演化曲线保持凸性不变，曲线长度递减，且当时间tt 趋于无穷时，曲线最终会在Hausdorff度量下收敛到一个半径为AπAπ 的圆(其中AA 是初始曲线所围的面积)。
因此，利用曲线流的几何性质来证明几何不等式是确实可行的，本文我们将引入Guo和Sun [11]提出的一类面积非减的曲线流的在演化过程中的几何性质来研究Lin-Tsai建立的平面Ros等周不等式加强形式，该曲线流包含了许多已被其他几何分析学家研究的特殊曲线流模型。
本文内容安排如下：第2节中，我们引入Guo和Sun [11]所研究的一类面积递增的曲线流，通过他们研究我们知道该曲线在演化过程中，曲线的凸性保持不变，曲线在演化过程中具有全局存在性，且当时间tt 趋于无穷大时在C0C0 范数下收敛到圆。第三节中，我们将建立该曲线流的单调公式，给出Lin-Tsai建立的平面Ros等周不等式加强形式的分析证明。
2. 一类凸曲线流的应用
除了著名的曲线收缩流工作外，几何分析学家还考虑了带非局部项的曲率流模型：以平面内一条光滑的闭凸曲线X0X0 为初始曲线，Guo和Sun [11]研究了如下的非局部曲线流模型：
∂X(u,t)∂t=(γ(t)−1κ)N(u,t), X(u,0)=X0(u),∂X(u,t)∂t=(γ(t)−1κ)N(u,t), X(u,0)=X0(u),(1)
其中，X(u,t):S1×(0,ω)→E2X(u,t):S1×(0,ω)→E2 为平面光滑闭曲线族，0≤γ(t)≤1L(t)∫L(t)01κds0≤γ(t)≤1L(t)∫0L(t)1κds ，κ(u,t)κ(u,t) 是曲线的相对曲率，N(u,t)N(u,t) 是曲线的单位内法向量。
假设θθ 是曲线的法角，即NN 与xx 轴正向夹角，那么曲线的周长、面积及曲率可由曲线的支撑函数p=X,−Np=X,−N 唯一表示为如下形式：
L=∫2π0P(θ)dθ,L=∫02πP(θ)dθ,
A=12∫2π0p(θ)(pθθ(θ)+p(θ))dθ=12∫2π0(p2(θ)−p2θ(θ))dθ,A=12∫02πp(θ)(pθθ(θ)+p(θ))dθ=12∫02π(p2(θ)−pθ2(θ))dθ,
κ(θ)=1p(θ)+pθθ(θ).κ(θ)=1p(θ)+pθθ(θ).
由于改变发展方程的切向量只影响曲线的参数表示，而不影响曲线最终的几何形状，我们可以选择适当的切向量来简化曲线的几何分析，并使得θθ 与时间tt 独立，同样TT 和NN 都不依赖时间tt 。因此，可以考虑与方程(1)等价的曲线流：
∂X(u,t)∂t=(γ(t)−1κ)N−∂(γ(t)−1κ)∂θT, X(θ,0)=X0(θ).∂X(u,t)∂t=(γ(t)−1κ)N−∂(γ(t)−1κ)∂θT, X(θ,0)=X0(θ).(2)
引理2.1 闭凸曲线按照方程(2)演化，曲线的支撑函数、周长、面积以及曲率的发展方程如下：
pt=1κ−γ(t), Lt=L−2πγ(t), At=∫2π01κ2dθ−γ(t), κt=κ2(γ(t)−1κ−(1κ)θθ).pt=1κ−γ(t), Lt=L−2πγ(t), At=∫02π1κ2dθ−γ(t), κt=κ2(γ(t)−1κ−(1κ)θθ).(3)
证明：计算可得
pt=∂∂tX,−N=Xt,−N+X,−Nt=(γ(t)−1κ)N,−N=1κ−γ(t), pt=∂∂tX,−N=Xt,−N+X,−Nt=(γ(t)−1κ)N,−N=1κ−γ(t),
Lt=(∫2π0pdθ)t=∫2π0ptdθ=∫2π01κdθ−∫2π0γ(t)dθ=L−2πγ(t),Lt=(∫02πpdθ)t=∫02πptdθ=∫02π1κdθ−∫02πγ(t)dθ=L−2πγ(t),
At=(12∫2π0(p2−p2θ)dθ)t=∫2π0(ppt−pθptθ)dθ=∫2π0p(1κ−γ(t))−pθ(1κ−γ(t))θdθ =∫2π0(p1κ−pθ(1κ)θ)dθ−γ(t)L=∫2π0p(p+pθθ)−pθ(pθ+pθθθ)dθ−γ(t)L=∫2π0(p2−2p2θ+p2θθ)dθ−γ(t)L=∫2π01κ2dθ−γ(t)L, At=(12∫02π(p2−pθ2)dθ)t=∫02π(ppt−pθptθ)dθ=∫02πp(1κ−γ(t))−pθ(1κ−γ(t))θdθ =∫02π(p1κ−pθ(1κ)θ)dθ−γ(t)L=∫02πp(p+pθθ)−pθ(pθ+pθθθ)dθ−γ(t)L=∫02π(p2−2pθ2+pθθ2)dθ−γ(t)L=∫02π1κ2dθ−γ(t)L,
κt=(1p+pθθ)t=−1κ−γ(t)+(1κ)θθ(p+pθθ)2 =κ2(γ(t)−1κ−(1κ)θθ).κt=(1p+pθθ)t=−1κ−γ(t)+(1κ)θθ(p+pθθ)2 =κ2(γ(t)−1κ−(1κ)θθ).
Guo和Sun在文[11]得到了如下结果：
引理2.2 假设X0(u)X0(u) 是平面上光滑的严格闭凸曲线，若按照方程(1)演化，则在演化过程中对任意t∈[0,∞)t∈[0,∞) ，曲线流问题都有全局解，曲线保持凸性不变，且曲线在发展过程中变得越来越圆，最终在C0C0 范数下收敛到圆。
特别地，当γ(t)γ(t) 取值不同时将会得到不同的曲线流。
1) 0≤γ(t)≤L2π0≤γ(t)≤L2π ，面积、长度非减；
2) L2π≤γ(t)≤1L∫2π01κ2dθL2π≤γ(t)≤1L∫02π1κ2dθ ，面积非减而周长非增。
接下来，我们将利用该曲线流在演化过程中的几何性质，给出Lin-Tsai建立的平面Ros等周不等式加强形式的分析证明。
3. Ros型等周不等式的研究
定理3.1 设X(θ,t)X(θ,t) 是曲线流(2)的解，初始曲线X(θ,0)X(θ,0) 是闭凸曲线。定义函数
G(t)=2π∮1κds−4πA−λ(L2−4πA),G(t)=2π∮1κds−4πA−λ(L2−4πA),
若λ≤4λ≤4 ，则G(t)G(t) 单调递减且收敛到0。
证明 由方程(3)以及dθ=κdsdθ=κds ，计算可得
ddtG(t)=2π∫2π0(1κ)2dθ−4πAt−λ(L2−4πA)t=−4π∫2π0κtκ3dθ−4π(∫2π01κ2dθ−γ(t)L)−λ(2L2−4π∫2π01κ2dθ)=−4π∫2π01κ⋅(γ(t)−1κ−(1κ)θθ)dθ−4π(∫2π01κ2dθ−γ(t)L)−λ(2L2−4π∫2π01κ2dθ)=−4π∫2π0(1κ)2θdθ−2λL2+4πλ∫2π01κ2dθ=−4π∫2π0(pθ+pθθθ)2dθ−2λL2+4πλ∫2π0(p+pθθ)2dθ=−4π∫2π0(p2θ−2p2θθ+p2θθθ)dθ+4πλ∫2π0(p2−2p2θ+p2θθ)dθ−2λL2,ddtG(t)=2π∫02π(1κ)2dθ−4πAt−λ(L2−4πA)t=−4π∫02πκtκ3dθ−4π(∫02π1κ2dθ−γ(t)L)−λ(2L2−4π∫02π1κ2dθ)=−4π∫02π1κ⋅(γ(t)−1κ−(1κ)θθ)dθ−4π(∫02π1κ2dθ−γ(t)L)−λ(2L2−4π∫02π1κ2dθ)=−4π∫02π(1κ)θ2dθ−2λL2+4πλ∫02π1κ2dθ=−4π∫02π(pθ+pθθθ)2dθ−2λL2+4πλ∫02π(p+pθθ)2dθ=−4π∫02π(pθ2−2pθθ2+pθθθ2)dθ+4πλ∫02π(p2−2pθ2+pθθ2)dθ−2λL2,
由于pp 是周期为2π2π 的周期函数，不妨设其傅立叶展开式为
p=a0+∑∞n=1(ancosnθ+bnsinnθ),p=a0+∑n=1∞(ancosnθ+bnsinnθ),
那么
pθ=∑∞n=1n(−ansinnθ+bncosnθ),pθ=∑n=1∞n(−ansinnθ+bncosnθ),
pθθ=∑∞n=1n2(−ancosnθ−bnsinnθ),pθθ=∑n=1∞n2(−ancosnθ−bnsinnθ),
pθθθ=∑∞n=1n3(ansinnθ−bncosnθ).pθθθ=∑n=1∞n3(ansinnθ−bncosnθ).
由L=∫2π0pdθ,L=∫02πpdθ, 那么L=2πa0L=2πa0 。
由帕塞尔恒等式可得，
∫2π0p2dθ=∫2π0⎛⎝a0+∑n=1∞(ancosnθ+bnsinnθ)⎞⎠2dθ=2πa20+π∑∞n=1(a2n+b2n),∫02πp2dθ=∫02π(a0+∑n=1∞(ancosnθ+bnsinnθ))2dθ=2πa02+π∑n=1∞(an2+bn2),
∫2π0p2θdθ=π∑∞n=1n2(a2n+b2n),∫02πpθ2dθ=π∑n=1∞n2(an2+bn2),
∫2π0p2θθdθ=π∑∞n=1n4(a2n+b2n),∫02πpθθ2dθ=π∑n=1∞n4(an2+bn2),
∫2π0p2θθθdθ=π∑∞n=1n6(a2n+b2n),∫02πpθθθ2dθ=π∑n=1∞n6(an2+bn2),
可得，
ddtG(t)=−4π∫2π0(p2θθθ−(λ+2)p2θθ+(2λ+1)p2θ)dθ+4πλ∫2π0p2dθ−8π2λa20=−4π2∑∞n=1(n6−(λ+2)n4+(2λ+1)n2−λ)(a2n+b2n)=−4π2∑∞n=2(n2−1)2(n2−λ)(a2n+b2n),ddtG(t)=−4π∫02π(pθθθ2−(λ+2)pθθ2+(2λ+1)pθ2)dθ+4πλ∫02πp2dθ−8π2λa02=−4π2∑n=1∞(n6−(λ+2)n4+(2λ+1)n2−λ)(an2+bn2)=−4π2∑n=2∞(n2−1)2(n2−λ)(an2+bn2),
当λ≤4λ≤4 时，ddtG(t)≤0ddtG(t)≤0 ，则G(t)G(t) 单调递减。因为X(u,t)X(u,t) 收敛到圆，所以当t→∞t→∞ 时， G(t)=2π∫2π01κ2dθ−4πA−λ(L2−4πA)→0G(t)=2π∫02π1κ2dθ−4πA−λ(L2−4πA)→0 。因此当t>0t>0 时，总有如下不等式成立
∮1κds≥4πA+λ(L2−4πA)2π.∮1κds≥4πA+λ(L2−4πA)2π.
若等号成立，那么ddtG(t)=−4π2∑∞n=2(n2−1)2(n2−λ)(a2n+b2n)=0ddtG(t)=−4π2∑n=2∞(n2−1)2(n2−λ)(an2+bn2)=0 ，于是当n≥2n≥2 时，an=bn=0an=bn=0 ，此时曲线XX 的支撑函数p=a0+a1cosθ+b1sinθp=a0+a1cosθ+b1sinθ ，显然XX 是圆周；或当n≥3n≥3 时，an=bn=0an=bn=0 ，此时曲线XX 的支撑函数有如下形式：
p=a0+a1cosθ+b1sinθ+a2cos2θ+b2sin2θ.p=a0+a1cosθ+b1sinθ+a2cos2θ+b2sin2θ.
在上面定理中令λ=4λ=4 时，得如下闭凸曲线的曲率积分不等式
∮1κds≥2L2−6πAπ,∮1κds≥2L2−6πAπ,
即由Lin和Tsai在文[4]所建立的平面Ros等周不等式加强形式，我们通过曲线流给出了其新的分析证明。由于
2L2−6πAπ=2A+2(L2−4πA)π;2L2−6πAπ=2A+2(L2−4πA)π;
2L2−6πAπ=L22π+3(L2−4πA)2π;2L2−6πAπ=L22π+3(L2−4πA)2π;
2L2−6πAπ=L2−2πAπ+L2−4πAπ,2L2−6πAπ=L2−2πAπ+L2−4πAπ,
结合等周不等式L2−4πA≥0L2−4πA≥0 ，可以得到以下推论。
推论3.2 平面简单闭凸曲线ΓΓ 上成立不等式
∫L01κds≥2A,∫0L1κds≥2A,
等号成立仅当ΓΓ 是圆周。
推论3.3 平面简单闭凸曲线ΓΓ 上成立不等式
∫L01κds≥L22π,∫0L1κds≥L22π,
等号成立仅当ΓΓ 是圆周。
推论3.4 平面简单闭凸曲线ΓΓ 上成立不等式
∫L01κds≥L2−2πAπ∫0L1κds≥L2−2πAπ
等号成立仅当ΓΓ 是圆周。
参考文献 略
