[论文解读] The Constant Width Measure Set, the Spherical Measure Set and isoperimetric equalities for planar ovals

Michał Zwierzyński|arXiv (Cornell University)|May 10, 2016

Point processes and geometric inequalities参考文献 23被引用 8

一句话总结

本文引入两种新颖的几何构造——常宽度测度集（CWMS）与球面对应测度集（SMS），以改进平面椭圆的古典等周不等式。通过分析其定向面积与Wigner焦散面的关系，作者推导出长度 $L_M$、面积 $A_M$ 以及这些新集合之间的精确等周等式，证明等周不等式取等号当且仅当曲线为常宽或中心对称，并通过傅里叶级数与距离度量方法导出新的稳定性界。

ABSTRACT

In this paper we introduce the Constant Width Measure Set, which measures the constant width property of an oval, i.e. the planar simple closed strictly convex curve. We study its geometrical properties. We find the exact relation between the length and the area of the region bounded by an oval $M$. Namely, the following equality is fulfilled: \begin{align*} L_{M}^2 &=4πA_M+8π\left|\widetilde{A}_{\mathrm{E}_{\frac{1}{2}}(M)} ight|+π\left|\widetilde{A}_{\mathrm{CWMS}(M)} ight|, \end{align*} where $L_{M}, A_{M}, \widetilde{A}_{\mathrm{E}_{\frac{1}{2}}(M)}, \widetilde{A}_{\mathrm{CWMS}(M)}$ are the length of $M$, the area bounded by $M$, the oriented area of the Wigner caustic of $M$ and the oriented area of the Constant Width Measure Set of $M$, respectively. Furthermore we study the geometry of the Spherical Measure Set, which is an offset of a curve with a special distance. We show that the oriented area of this set of an oval $M$, $\widetilde{A}_{\mathrm{SMS}(M)}$, satisfies the following equality: \begin{align*} 4\left|\widetilde{A}_{\mathrm{SMS}(M)} ight|=8\left|\widetilde{A}_{\mathrm{E}_{\frac{1}{2}}(M)} ight|+\left|\widetilde{A}_{\mathrm{CWMS}(M)} ight|. \end{align*}

研究动机与目标

• 定义并研究常宽度测度集（CWMS）与球面对应测度集（SMS）作为度量平面曲线常宽与球面对应性质的几何不变量。
• 利用Wigner焦散面、CWMS与SMS，为正则闭合简单凸曲线建立精确等周等式，改进古典不等式。
• 基于SMS中奇点数量，提供一种新的四顶点定理证明方法，适用于一般椭圆。
• 通过将亏量与中心对称性的几何距离（如 $d_\infty$、$d_2$）关联，研究等周不等式的稳定性。
• 利用傅里叶级数与几何距离度量，推导Wigner焦散面、CWMS与SMS的绝对定向面积的下界。

提出的方法

• 将常宽度测度集（CWMS）定义为连接曲线上一对平行切点的弦的中点集合，用于度量与常宽的偏离程度。
• 将球面对应测度集（SMS）定义为与等距点相关的某种偏移曲线，用于分析曲率极值与奇点。
• 通过Minkowski支撑函数的傅里叶级数展开，表达长度、面积以及衍生集合的定向面积等几何量。
• 应用Hölder不等式与 $L^2$/$L^\infty$ 范数，将等周亏量与中心对称性距离关联，量化稳定性。
• 通过在等周等式背景下结合Wigner焦散面（$λ = 1/2$ 处的仿射等距）、CWMS与SMS，推导关键恒等式。
• 通过SMS中奇点数量证明四顶点定理，建立新颖的微分几何联系。

实验结果

研究问题

• RQ1 如何通过一种新的几何构造——常宽度测度集（CWMS），量化平面椭圆的常宽性质？
• RQ2 在等周等式中，Wigner焦散面、CWMS与SMS的长度、面积与定向面积之间存在何种精确关系？
• RQ3 能否基于Spherical Measure Set（SMS）的奇点结构重新证明四顶点定理？
• RQ4 Wigner焦散面、CWMS与SMS的定向面积如何作为古典等周不等式的低阶修正项？
• RQ5 等周不等式的稳定性界如何以中心对称性的几何距离表示？其推导过程为何？

主要发现

• 对所有正则闭合凸曲线，精确等周等式 $L_M^2 = 4\pi A_M + 8\pi |\widetilde{A}_{E_{1/2}(M)}| + \pi |\widetilde{A}_{\text{CWMS}(M)}|$ 成立，且等号成立当且仅当 $M$ 为常宽曲线。
• 对所有正则闭合简单曲线（不一定是凸的），存在另一等式 $L_M^2 = 4\pi A_M + 4\pi |\widetilde{A}_{\text{SMS}(M)}|$。
• 通过SMS中奇点数量，成功证明了一般椭圆的四顶点定理，建立新的微分几何判据。
• 等周不等式的稳定性得到量化：$L_M^2 - 4\pi A_M - \pi |\widetilde{A}_{\text{CWMS}}| \geq 8\pi^2 d_\infty^2(K, S_K)$，等号成立当且仅当 $\partial K$ 为中心对称。
• 推导出绝对定向面积的下界：$|\widetilde{A}_{E_{1/2}}| \geq \max\{\pi d_\infty^2, 2d_2^2\}$，并对SMS类似地得到涉及 $d_\infty$ 与 $d_2$ 距离的下界。
• 改进的等周不等式中等号成立的条件恰好为曲线为常宽，该结论通过CWMS与Wigner焦散面的贡献得到验证。