[论文解读] Optimal sets for a class of minimization problems with convex constraints

Chiara Bianchini, Antoine Henrot|arXiv (Cornell University)|Dec 21, 2010

Point processes and geometric inequalities参考文献 6被引用 4

一句话总结

本文研究在环形区域 $D_a \subseteq \Omega \subseteq D_b$ 内，对平面凸域 $\Omega$ 最小化泛函 $\lambda|\Omega| - P(\Omega)$。通过支撑函数与变分分析，证明最优集要么是外圆 $D_b$，要么是内圆 $D_a$，要么是具有特定切线与对称性质的多边形。关键结果是根据参数 $\lambda$ 完整分类了最优形状，恢复并推广了经典的几何不等式。

ABSTRACT

We look for the minimizers of the functional $\jla{\la}(\oo)=\la|\oo|-P(\oo)$ among planar convex domains constrained to lie into a given ring. We prove that, according to the values of the parameter $\la$, the solutions are either a disc or a polygon. In this last case, we describe completely the polygonal solutions by reducing the problem to a finite dimensional optimization problem. We recover classical inequalities for convex sets involving area, perimeter and inradius or circumradius and find a new one.

研究动机与目标

• 刻画在两个同心圆 $D_a$ 与 $D_b$ 之间约束的凸域上，泛函 $\lambda|\Omega| - P(\Omega)$ 的极小化器。
• 确定最优形状如何依赖于拉格朗日乘子 $\lambda$，特别是识别从圆解到多边形解的转变。
• 通过分析最优集的结构，推导涉及面积、周长、内切圆半径与外接圆半径的新几何不等式。
• 将无限维形状优化问题约化为具有特定角度与切线约束的多边形配置的有限维优化问题。

提出的方法

• 使用支撑函数 $h_K(\theta)$ 表示泛函 $J_\lambda(\Omega) = \lambda|\Omega| - P(\Omega)$，导出积分表达式 $J_\lambda(\Omega) = \frac{\lambda}{2}\int_0^{2\pi} (h^2 - h'^2)\,d\theta - \int_0^{2\pi} h\,d\theta$。
• 应用 Lamboley 与 Novruzi 的定理处理凹泛函，证明极小化器在环形区域内部是局部多边形的。
• 利用规范函数及一阶与二阶最优性条件，刻画最多具有两个不同中心角的临界多边形。
• 通过保持凸性与边界约束的扰动推导最优性的必要条件，从而得到多边形边的切线与对称约束。
• 将问题约化为对多边形解中中心角数量与大小的有限维优化问题。
• 分析在极端情况（如接近 $D_b$）下的体积与周长行为，表明在约束体积问题中可能出现非多边形解，这与 $\lambda$-泛函情形形成对比。

实验结果

研究问题

• RQ1 对于哪些 $\lambda$ 值，最优集是外圆 $D_b$？对于哪些 $\lambda$ 值，最优集是内圆 $D_a$？
• RQ2 当 $\lambda$ 严格介于 $\frac{1}{2b}$ 与 $\frac{2}{a}$ 之间时，最优集具有何种几何结构？
• RQ3 最优多边形能否通过有限个参数（如中心角的数量与大小）完全描述？
• RQ4 一阶与二阶最优性条件如何约束多边形解的可能构型？
• RQ5 从最优集的结构中可导出哪些新的几何不等式？

主要发现

• 当 $0 \leq \lambda \leq \frac{1}{2b}$ 时，唯一极小化器（旋转等价意义下）是外圆 $D_b$。
• 当 $\lambda > \frac{2}{a}$ 时，唯一极小化器（旋转等价意义下）是内圆 $D_a$。
• 当 $\frac{1}{2b} < \lambda < \frac{2}{a}$ 时，极小化器是最多具有两个不同中心角的多边形，其中除最多一条边外，其余边均与内圆 $D_a$ 相切且内接于外圆 $D_b$。
• 多边形解由对中心角数量与大小的有限维优化确定，且较小角度的副本不超过两个。
• 该分析恢复并推广了涉及面积、周长、内切圆半径与外接圆半径的经典不等式，包括一项此前未记录的新不等式。
• 对于接近 $\pi b^2$ 的某些体积值，约束体积问题（5.8）的解并非多边形，但此类非多边形解在 $\lambda$-泛函问题（1.2）中不会出现，凸显了两种表述之间的关键差异。