[論文レビュー] 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 caustic）を併せて分析することで、長さ $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）を定義し、それらを平面曲線の定幅性および球面的性質を測る幾何的不変量として研究すること。
• ウィグナー・コーシュ、CWMS、SMSを用いて、正則で閉じた単純な凸曲線に対する正確な等周等式を確立し、古典的不等式を精緻化すること。
• SMSの特異点数に基づいて、一般の楕円曲線に対する四頂点定理の新たな証明を与えること。
• 中心対称性からの幾何的距離（例：$d_\infty$, $d_2$）と関連付けて、等周不等式の安定性を調査すること。
• フーリエ級数および幾何的距離測度を用いて、ウィグナー・コーシュ、CWMS、SMSの絶対符号付き面積に対する下界を導出すること。

提案手法

• 曲線上の平行接線点を結ぶ弦の中点の集合として定幅測度集合（CWMS）を定義し、定幅性からの逸脱を測定する。
• 等距離点に関連するオフセット曲線の一種として球面測度集合（SMS）を定義し、曲率の極値および特異点の分析に用いる。
• ミンコフスキーの支持関数のフーリエ級数展開を用いて、長さ、面積、および導出された集合の符号付き面積などの幾何的量を表現する。
• ホルダーの不等式および $L^2$/$L^\infty$ ノルムを適用し、等周不等式の不足分を中心対称性からの距離と関連づけ、安定性を定量化する。
• 等周等式の文脈において、ウィグナー・コーシュ（$\lambda = 1/2$ におけるアフィン等距離）、CWMS、SMSを組み合わせることで、重要な恒等式を導出する。
• SMSにおける特異点の数を用いて四頂点定理を証明し、新たな微分幾何的関係を確立する。

実験結果

リサーチクエスチョン

• RQ1 平面の楕円曲線の定幅性は、定幅測度集合（CWMS）という新しい幾何的構成を用いてどのように定量的に測定できるか？
• RQ2 等周等式において、ウィグナー・コーシュ、CWMS、SMSの長さ、面積、符号付き面積の正確な関係は何か？
• RQ3 球面測度集合（SMS）の特異点構造に基づいて、四頂点定理を再証明できるか？
• RQ4 ウィグナー・コーシュ、CWMS、SMSの符号付き面積は、古典的等周不等式に対する下位項補正としてどのように機能するか？
• RQ5 中心対称性からの幾何的距離（例：$d_\infty$, $d_2$）を用いた等周不等式の安定性評価の境界は何か？ そしてそれらはどのように導出されるか？

主な発見

• すべての正則で閉じた凸曲線に対して、正確な等周等式 $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\}$ および $d_\infty$ と $d_2$ 距離を含む SMS についても同様の下界が得られた。
• 改善された等周不等式の等号成立条件は、曲線が定幅である場合に限り成立し、CWMS およびウィグナー・コーシュの寄与によって確認された。