[论文解读] 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

一句话总结

该论文通过证明在所有面积固定的平面凸集中，圆是唯一使面积平分曲线长度最大化的集合，同时在固定最短平分弦长度的集合中，Auerbach 三角形使该长度最小化，从而解决了几何分析领域长期存在的一个猜想。作者通过对称化与子集和曲线之间的对偶性，建立了精确的 Poincaré-Sobolev 不等式，证明在不等式 $\inf_{|G|=|K|/2} \mathrm{Per}(G;K)^2 \leq \frac{4}{\pi}|K|$ 中，仅当集合为圆时等号成立。这证实了在围栏问题中圆的最优性，并将 Pólya 的经典结果推广至非中心对称集合。

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.

研究动机与目标

• 解决几何分析领域长期存在的一个猜想：在面积固定的平面凸集中，哪一个集合使最短面积平分曲线的长度最大？
• 阐明面积平分曲线与面积平分弦之间的区别，特别是基于 Auerbach 的 Zindler 集和 Auerbach 三角形的背景。
• 建立涉及相对周长与面积平分子集的精确 Poincaré-Sobolev 型不等式。
• 通过对称化与对偶性，将 Pólya 关于中心对称集合的经典结果推广至一般凸区域。
• 刻画平面中关于最短平分曲线与最短平分弦问题的极值集合。

提出的方法

• 利用面积平分子集 $G \subset K$ 满足 $|G| = |K|/2$ 与其相对周长 $\mathrm{Per}(G;K)$ 之间的对偶性，将围栏问题重新表述为对子集的优化问题。
• 应用对称化技术，特别是极坐标下特征函数的递减重排，以比较一般集合与对称集合。
• 运用 Hardy-Littlewood 不等式推导径向积分的下界，从而得到最短平分曲线长度的上界。
• 通过几何与测度论论证，证明主要不等式 $\inf_{|G|=|K|/2} \mathrm{Per}(G;K)^2 \leq \frac{4}{\pi}|K|$。
• 利用 Zindler 集及其性质分析弦平分问题，特别关注 Auerbach 三角形作为极值候选集合。
• 通过已知的 Hardy-Littlewood 不等式与对称化不等式中等号成立的条件，建立不等式中等号成立的条件，证明仅当集合为圆时等号成立。

实验结果

研究问题

• RQ1 在所有面积固定的平面凸集中，圆是否是唯一使最短面积平分曲线长度最大化的集合？
• RQ2 Auerbach 三角形是否是唯一使最短面积平分弦长度最小化的凸集（在给定面积下）？
• RQ3 Pólya 关于中心对称集合的不等式能否推广至无对称性假设的一般凸集？
• RQ4 面积平分子集的相对周长与区域几何之间的确切关系是什么？
• RQ5 曲线与弦的极值构型有何不同？为何基于弦的方法不足以解决完整的围栏问题？

主要发现

• 在所有面积固定的平面凸集中，圆是唯一使最短面积平分曲线长度最大化的集合，且在不等式 $\inf_{|G|=|K|/2} \mathrm{Per}(G;K)^2 \leq \frac{4}{\pi}|K|$ 中仅当集合为圆时等号成立。
• Auerbach 三角形是唯一使最短面积平分弦长度最小化的凸集（在面积固定条件下），证实了 Auerbach 的猜想，并解决了 Santaló 提出的问题。
• 不等式 $\mathrm{Per}(G;K)^2 \leq \frac{4}{\pi}|K|$ 对所有可测的中心对称集合成立，不仅限于凸集，且仅当集合为圆时等号成立。
• Auerbach 三角形中最短面积平分曲线并非直线弦，而是一段圆弧，这表明基于弦的方法无法解决一般围栏问题。
• 本文为凸平面区域中的 1-Laplacian 建立了精确的 Poincaré-Sobolev 不等式，且圆为极值情形。
• 研究结果将 Pólya 关于中心对称集合中最长最短弦的经典结果推广至所有凸集，表明圆在基于曲线的问题中是最优的。