[論文レビュー] The longest shortest fence and sharp Poincaré-Sobolev inequalities

Luca Esposito, Vincenzo Ferone+3 more|arXiv (Cornell University)|Nov 29, 2010

Nonlinear Partial Differential Equations参考文献 20被引用数 6

ひとこと要約

この論文は、固定された面積を持つ平面上のすべての凸集合の中で、面積を二等分する曲線の長さを最大にするのは円板であるという古くからの予想を解決した。一方、最短の面積二等分弦の長さを最小化するのはアウエルバッハの三角形である。著者らは、部分集合と曲線の間の双対性と対称化を用いて、鋭いPoincaré-Sobolev型不等式を確立し、不等式 $﫞out{inf}_{|G|=|K|/2} \mathrm{Per}(G;K)^2 \leq \frac{4}{\pi}|K|$ において等号が成立するのは円板の場合に限ることを示した。これはフェンスング問題における円板の最適性を裏付け、ポーリャの古典的結果を中心対称でない集合へと拡張した。

ABSTRACT

We prove a long standing conjecture concerning the fencing problem in the plane: among planar convex sets of given area, prove that the disc, and only the disc maximizes the length of the shortest area-bisecting curve. Although it may look intuitive, the result is by no means trivial since we also prove that among planar convex sets of given area the set which maximizes the length of the shortest bisecting chords is the so-called Auerbach triangle.

研究の動機と目的

• 固定された面積を持つ平面上の凸集合の中で、面積を二等分する最短曲線の長さを最大にするのはどの図形かという、幾何解析における古くからの予想を解決すること。
• アウエルバッハのZindler集合とアウエルバッハの三角形を踏まえて、二等分曲線と二等分弦の違いを明確にすること。
• 相対的周囲長と面積二等分部分集合を含む、Poincaré-Sobolev型の鋭い不等式を確立すること。
• 対称性の仮定を外した一般の凸領域に対し、ポーリャの古典的結果を対称化と双対性を用いて拡張すること。
• 平面上における最短二等分曲線および最短二等分弦問題の極値集合を同定すること。

提案手法

• 面積が $|K|/2$ である部分集合 $G \subset K$ とその相対的周囲長 $\mathrm{Per}(G;K)$ の間の双対性を用い、フェンスング問題を部分集合に関する最適化問題に再定式化すること。
• 特に極座標における特性関数の減少再配分を用いた対称化技術を応用し、一般の集合と対称な集合を比較すること。
• Hardy-Littlewoodの不等式を用いて径方向積分の下界を導出し、これにより最短二等分曲線長の上界を得ること。
• 幾何的・測度論的議論を用いて、主な不等式 $\ufadeout{inf}_{|G|=|K|/2} \mathrm{Per}(G;K)^2 \leq \frac{4}{\pi}|K|$ の証明を行うこと。
• Zindler集合の概念とその性質を用いて、弦による二等分問題を分析し、特にアウエルバッハの三角形を極値集合の候補として重点的に検討すること。
• Hardy-Littlewood不等式および対称化不等式における等号成立条件の既知の結果を用いて、不等式における等号成立条件を確立し、等号が成り立つのは円板の場合に限ることを示すこと。

実験結果

リサーチクエスチョン

• RQ1 固定された面積を持つ平面上のすべての凸集合の中で、面積を二等分する最短曲線の長さを最大にするのは円板に一意に限るか？
• RQ2 固定された面積を持つ凸集合の中で、面積を二等分する最短弦の長さを最小化するのはアウエルバッハの三角形に一意に限るか？
• RQ3 中心対称集合に対して成り立つポーリャの不等式を、対称性の仮定なしに一般の凸集合へと拡張できるか？
• RQ4 相対的周囲長を持つ面積二等分部分集合と領域の幾何構造との間の正確な関係は何か？
• RQ5 曲線に基づく最適化と弦に基づく最適化の極値構成はどのように異なり、なぜ弦に基づくアプローチではフェンスング問題を完全に解くことができないのか？

主な発見

• 固定された面積を持つ平面上のすべての凸集合の中で、面積を二等分する最短曲線の長さを最大にするのは円板に一意に限る。不等式 $\ufadeout{inf}_{|G|=|K|/2} \mathrm{Per}(G;K)^2 \leq \frac{4}{\pi}|K|$ において等号が成立するのは円板の場合に限る。
• 固定された面積を持つ凸集合の中で、面積を二等分する最短弦の長さを最小化するのはアウエルバッハの三角形に一意に限る。これはアウエルバッハの予想を確認し、サントラの提起した問題を解決した。
• 不等式 $\mathrm{Per}(G;K)^2 \leq \frac{4}{\pi}|K|$ は、凸でない集合を含むすべての可測な中心対称集合に対して成り立ち、等号が成立するのは円板の場合に限る。
• アウエルバッハの三角形における面積を二等分する最短曲線は直線の弦ではなく円弧であることが示された。これは、一般のフェンスング問題を解くには弦に基づく手法では不十分であることを示している。
• 本論文は、凸平面上領域における1ラプラシアンに関する鋭いPoincaré-Sobolev不等式を確立し、円板が極値ケースであることを示した。
• 結果として、ポーリャの古典的結果（中心対称集合における最長の最短弦）が、一般の凸集合へと拡張され、曲線に基づく問題において円板が最適であることが示された。