system: [SYSTEM]

user: 2. 逆向等周型不等式 近年来数学家们已经对逆向等周不等式做了深入的研究并取得许多著名的结果并运用于各个领域。由于在高维欧式平面上等周不等式与Sobolev不等式等价，故本文主要从三个方面来探究逆向等周不等式的发展过程，主要总结近年来逆向等周不等式在平面卵形域、流行上及一些特殊曲面上的发展过程及主要研究成果。 2.1. 欧式平面R 2 上的逆向等周不等式的发展过程及主要结果 依据经典的等周不等式，数学家定义了刻画 R 2 上的凸域 D 与半径为 L 2 π 的圆的差别的等周亏格 Δ 2 ( D ) = L 2 − 4 π A 。 1920年Bonnesen发现了一系列形如 Δ 2 ( D ) = L 2 − 4 π A ≥ B D 的不等式，其中 B D 为与区域 D 相关的非负几何量，当且仅当 D 为圆盘时 B D = 0 ，此类不等式称为Bonnesen型不等式。最著名的Bonnesen型不等式为 设 D 为平面中由简单闭曲线围成的面积为 A ，周长为 L 的域，则 Δ 2 ( D ) ≥ π 2 ( R − r ) 2 其中 r 和 R 分别表示 D 的最大内切圆半径和最小外接圆半径。当且仅当 D 为圆盘时等号成立。 后继数学家用不同的方法给出许多不同形式的Bonnesen型不等式(例如文献 [ 1 ] - [ 7 ] )，与Bonnesen型不等式相应的是逆Bonnesen型不等式，即 Δ 2 ( D ) = L 2 − 4 π A ≤ U D 其中 U D 为与 D 相关的非负几何量。人们对等周亏格的研究有很长的历史，以前的工作主要是对下界的估计，但等周亏格上界的估计即对逆Bonnesen型不等式的研究日益丰富得到了许多非常重要的结果。 1933年，对 R 2 中的卵形域 D (边界有连续的曲率半径的凸域)，Bottema得到一个非常著名的逆Bonnesen型不等式(详见文献 [ 8 ] ) Δ 2 ( D ) = L 2 − 4 π A ≤ π 2 ( ρ M − ρ m ) 2 其中， ρ m 和 ρ M 分别为 D 的边界 ∂ D 的曲率半径 ρ 的最小值与最大值，当且仅当 ρ M = ρ m 即 ∂ D 为圆盘时等号成立。 1955年，Pleijel对Bottema的结果做了进一步推广，得到如下结果(详见文献 [ 9 ] ) Δ 2 ( D ) = L 2 − 4 π A ≤ π ( 4 − π ) ( ρ M − ρ m ) 2 。 Howard、高翔、潘生亮、张洪等人用分析及曲率流的方法得到一些对于 R 2 中卵形区域上成立的逆Bonnesen型不等式(详见文献 [ 10 ] [ 11 ] [ 12 ] [ 13 ] ) Δ 2 ( D ) = L 2 − 4 π A ≤ c | A ˜ | ，(1) 其中 c 为一常数， | A ˜ | 为 ∂ D 的曲率中心的轨迹所围区域 D ˜ 的面积，当且仅当 D 为圆盘即 D ˜ 为一个点时等号成立。 注：(1)式中的 A ˜ 可能非正。 最近ChangJun Li和Xiang Gao在结果(1)的基础上对平面上卵形区域上成立的逆向等周不等式做了进一步研究，得到了如下结果，并利用傅里叶级数证明了该结果(详见文献 [ 14 ] )。 定理1：若 γ 为欧式平面 R 2 上严格凸 l + 2 闭曲线，长度为L，所围区域面积为A，记 A ˜ 为曲率中心的轨迹所围面积，则对任意的常数 α ， β ， λ ， δ ， σ ， ω 满足 { α ， λ ≥ 0 2 β + 4 π δ + σ − α ≥ 0 8 β − 8 λ + 4 ω − α ≥ 0 6 β + 24 λ + 4 ω − σ ≥ 0 ， 有 α ∫ γ k 2 d s + β ∫ 0 2 π ρ ( θ ) d θ + λ ∫ 0 2 π ρ β 2 ( θ ) d θ + δ L 2 + σ A + ω | A ˜ | ≥ 0 ， (2) ∫ 0 2 π ρ ( θ ) 2 d θ ≥ L 2 π − 2 A + | A ˜ | ， (3) max θ ∈ [ 0.2 π ] ρ ( θ ) 2 ≥ 1 2 π ( L 2 π − 2 A + | A ˜ | ) ， (4) 10 A ≤ ∫ γ k 2 d s + ∫ 0 2 π ρ β 2 ( θ ) d θ + 9 4 | A ˜ | ， (5) 2 L 2 ≤ ∫ 0 2 π ρ ( θ ) 2 d θ + ∫ 0 2 π ρ β 2 ( θ ) d θ + 30 A ， (6) 其中， k 为 γ 的曲率， ρ 和 ρ β 分别表示曲线 γ 和曲率中心的轨迹的曲率半径。当且仅当 γ 为圆周时不等式(3)~(6)等号成立；不等式(2)等号成立的充分必要条件为 γ 为圆周且参数 α ， β ， γ ， δ ， ω 满足 { α = 0 2 β + 4 π δ + σ = 0 。 在文献 [ 9 ] 和文献 [ 15 ] 中，Stantalo得到单位球面 S 2 上的卵形区域的逆Bonnesen型不等式 L 2 − 4 π A + A 2 ≤ ( L − l 2 + A − a 2 ) 。 其中 L ， A 和 l ， a 分别表示具有最大测地曲率半径与最小测地曲率半径的测地圆盘的周长和面积，当且仅当 D 为测地圆盘时等号成立。 周家足在此基础上，得到对欧式平面 R 2 中任意凸区域均成立的逆Bonnesen型不等式(详见文献 [ 16 ] [ 17 ] )。 定理2：若 D 为欧式平面 R 2 上任一周长为 L ，所围面积为 A 的凸域，则有 Δ 2 ( D ) = L 2 − 4 π A ≤ 2π L ( R − r ) ， Δ 2 ( D ) = L 2 − 4 π A ≤ 4 π 2 ( R 2 − r 2 ) ， Δ 2 ( D ) = L 2 − 4 π A ≤ π L 2 A ( R 2 − r 2 ) 。 其中 r 和 R 分别表示 D 的最大内切圆半径和最小外接圆半径，上述不等式的等号均成立当且仅当 D 为圆盘时。 张洪，罗永超等在文 [ 18 ] 中得到利用Ros不等式得到与下面的不等式(详见文献 [ 12 ] )：设 γ 为欧式平面 R 2 中长度为 L 的简单闭曲线， γ 围成一面积为 A 的域 D ，设 s 为 γ 的弧长，若 γ 的曲率 k 处处不为零，则有 ∫ γ 1 k   d s ≥ L 2 − 2 π A π 等价的逆向等周不等式(详见文献 [ 18 ] )。 定理3：设 γ 为欧式平面 R 2 中长度为 L 的简单闭曲线， γ 围成一面积为 的域 ，设 为 的弧长，若 的曲率 处处不为零，则有 ， (7) 当且仅当 为圆时等号成立。 戴勇，吴现荣等结合式(7)的结果并利用 中卵形域的Ros定理及其加强形式，得到如下 中卵形域中与Ros等周亏格相关的几个逆Bonnesen型不等式(详见文献 [ 19 ] )。 定理4：设 为欧式平面 中长度为 的简单闭曲线， 围成一面积为 的域 ，设 为 的弧长，若 的曲率 处处不为零，则有 ， ， 。 当且仅当 为圆时等号成立。 若令 为2维单连通，曲率为常数 的曲面，则对 上的 ，令 的面积为 ， 的周长为 ，可定义关于 的等周亏格 ， 刻画了面积为 周长为 的域与测地圆盘之间的差别。 Li和Zhou仿照Bottema的不等式的方法，得到 上卵形区域 的与Bonnesen型不等式相似的不等式(详见文献 [ 20 ] ) 。 其中定义 ， ，则 ， 和 分别为 的边界 的曲率半径 的最小值与最大值，当且仅当 为圆盘时等号成立。 Xia Yunwei、Xu Wenxue等在文 [ 21 ] 中仿照Zhou和Ren所提出的命题得到了 上一般凸区域的逆Bonnesen型不等式(详见 [ 17 ] [ 22 ] )。 定理5：若 为 上所围面积为 ，周长为 的凸域，则有 ， ， 。 其中 和 分别表示 的最大内切圆半径和最小外接圆半径，当且仅当 为圆盘时等号成立。 2.2. 特殊曲面上的逆向等周不等式的发展过程及主要结果 2.2.1. 星形域上的逆向等周不等式 Jianbo Fang在文献 [ 23 ] 中研究了星形域的逆向等周不等式，将平面上凸曲线的曲率中心的轨迹推广到星形域上，但星形曲线没有曲率中心的轨迹，故利用极坐标在星形区域上建立一种新的参数轨迹，并利用此结果建立了星形平面曲线的逆向等周不等式。 对星形曲线，我们考虑轨迹 ， 其中 为 的单位内法向量。则由 所围闭区域的面积为 。 故若 为星形区域，面积为 ，周长为 ，则有 ， 当且仅当 为圆周曲线时等式成立。依据上式可得如下星形平面曲线的逆向等周不等式(详见文献 [ 23 ] )。 定理6：若 为星形区域，面积为 ，周长为 ， 的边界所围面积为 ，则有 ， 当且仅当 为圆周曲线时等式成立。 2.2.2. 2维Alexandrov空间上的逆向等周不等式 在文献 [ 24 ] 中，Alexandrov提出流行上同胚于一圆盘A.D的2维曲率有界的区域上的不等式 ， 其中 表示区域的正曲率，当且仅当区域与在顶点处的曲率 的右圆锥的侧面等距时等号成立。 Alexander A.在此基础上提出Alexandrov空间上的逆向等周不等式(详见文献 [ 25 ] )。 定理7：设 为与曲率大于等于 的2维Alexandrov空间上的圆盘同胚的区域，若 的边界曲线 为 凸，周长为 ，所围面积为 ，则有 1) ； 2) ； 3) a) 且 ； b) 且 ； c) 且 。 当且仅当 为曲率为常数 的平面上的长度为 的 -凸弓形区域。 2.2.3. Wulff流上的逆向等周不等式 Wulff流起源于方向朝外以单位速度流动的正常流，故对平面上的两有界凸区域 ，其各自边界 的支持函数分别为 ， 为一族凸闭曲线，则Wulff流可定义为 ，其中 为 时刻单位法向量。 令 为沿向外法线方向以单位速度增长的平面凸区域，则相应区域的面积可表示为 。 若设凸区域 的面积为 ，周长为 ，函数 为凸体 的支撑函数，且 的面积为 ，周长为 ，则Wulff-Steiner多项式可表示为(参考文献 [ 26 ] ) ， 其中 为 关于 的Wulff长度，可表示为 ， 其中 为 的边界， 为 的弧长参数，则 的判别式 (8) 为Wulff等周亏格(详见文献 [ 26 ] )。且当仅当 为单位圆盘时 与 的等周亏格相等。 故根据Wulff等周亏格式(8)，得到如下Wulff流上的逆向等周不等式(详见文献 [ 26 ] [ 27 ] )。 定理8：设 为 上两卵形体，面积分别为 和 ，记 和 分别为 的最大 -内接圆半径和最小 -外切圆半径，则有 ， ， ， 。 其中 ， ，当且仅当 与 位拟时等式成立(若存在一些 ，使得 成立，则称 与 位拟)。 2.3. 欧式平面上任意两个区域上的逆向等周不等式的发展过程及研究结果 数学家们不满足于只在单一的区域上研究等周不等式，依照平面上等周不等式的研究思路，得到了对平面上任意两个简单闭曲线所围成的域 ，记它们周长为 ，所围面积为 ，则有 。 此不等式称为对称混合等周不等式，当其中一个域为圆盘时该不等式为经典等周不等式(详见文献 [ 5 ] [ 28 ] )。 同样可根据对称混合等周不等式得定义，定义关于平面上两域 的对称混合等周亏格 周家足等人的到对平面上任意两凸域均成立的逆Bonnesen型对称混合不等式(详见文献 [ 5 ] [ 29 ] )。 令 为 中任两所围面积为 ，周长为 的凸域，则有 ， ， 。 其中 ， 分别为 相对于 的相对内半径与相对外半径， 为 中的刚体运动群。 分别为 的最大内切圆半径和最小外接圆半径，当且仅当 与 均为圆盘时等号成立。当 为单位圆盘时，上述逆Bonnesen型对称混合不等式为逆Bonnesen型不等式。 周家足，王鹏富等人利用积分几何中的Poincare运动公式，Blasohke运动公式及包含测度理论研究关于平面两凸域的Bonnesen型对称混合不等式，得到了一些关于 中任意两卵形域的逆Bonnesen型对称混合不等式(详见文献 [ 29 ] )。 设 为 中任两卵形域，若记 ， ，令 ， ， 则有 。 当 和 均为圆盘时等号成立。此外通过计算可从上式得 ， (9) 当 和 均为圆盘时等号成立。 令式(9)中关于平面两卵形域的对称混合亏格的上界为关于t的函数 ，即 。 则知 在 和 时取得最小值。故当 时，有 ， (10) 当 和 均为圆盘时等号成立。当 时，有如下定理。 定理9：设 为 中面积为 ，周长为 的两卵形域，则有 ， (11) 当 和 均为圆盘时等号成立。 同理对 为 中面积为 ，周长为 的两卵形域，有 ， (12) 当 和 均为圆盘时等号成立。 令式(12)中关于平面两卵形域的对称混合亏格的的上界为关于t的函数 ，即 。 则知 在 和 时取得最小值。故当 时，即为到式(9)当 时，有如下定理。 定理10：设 为 中面积为 ，周长为 的两卵形域，则有 ， (13) 当 和 均为圆盘时等号成立。 从式(11)与式(13)可得 ， (14) 。 (15) 注1)：当 时，式(13)为(10)，(11)，(12)，(14)和(15)中最好的关于平面两卵形域的逆Bonnesen型对称混合不等式； 当 时，式(11)为(10)，(11)，(13)，(14)和(15)中最好的关于平面两卵形域的逆Bonnesen型对称混合不等式。 2)：当 为单位圆盘时，上述关于两卵形域的逆Bonnesen型对称混合不等式变为如下由Bottema，Bokowski，Heil，周家足，潘生亮等人的得到的逆Bonnesen型不等式(详见文献 [ 1 ] [ 8 ] [ 10 ] [ 17 ] )。 ； ； ； ； ， 当且仅当 为圆盘时等号成立。 根据欧式空间中混合体积的定义知2维欧式平面中两凸体的混合面积，若设 为欧式平面 中面积为 的两凸域，支撑函数为 ，弧长微元为 ，则凸域 的面积为关于 和 的2次齐次多项式(详见文献文献 [ 30 ] )。 ， 其中 叫做 与 的混合面积。 罗淼在文献 [ 30 ] 中定义欧式平面 中两凸域的对称混合等拟亏格 ， (16) 它刻画了 与 的位拟程度。特别地，当两凸域中有一个微单位圆盘时，对称混合等拟亏格就与另一域的等周亏格等价。 罗淼，周家足等人利用积分几何的平移包含测度，对上式(16)中定义的欧式平面中两凸域的对称混合等拟亏格的上界进行了研究，得到如下的结果。 当 时，有 ， (17) 。 (18) 在不等式(17)和(18)中，若令 ，分别可得如下逆Bonnesen型对称混合等拟不等式(详见文献 [ 31 ] )。 定理11：设 为 中面积为 的两凸域， 是 与 的混合面积， 和 分别为 关于 的曲率外半径和曲率内半径，则有 ， 。 进一步有(详见文献 [ 31 ] ) ， ， 。 同理当 时，有 ， (18) 。 (19) 在不等式(18)和(19)中，当 时，可分别得到如下逆Bonnesen型对称混合等拟不等式(详见文献 [ 30 ] )。 定理12：设 为 中面积为 的两凸域， 是 与 的混合面积， 和 分别为 关于 的曲率外半径和曲率内半径，则有 ； 。 进一步有 ， ， ， 。