[論文レビュー] 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$、または特定の接合および対称性を有する多角形であることを証明する。主な結果として、パrameter $\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$ の間で制約された凸領域 $\Omega$ に対して、汎関数 $\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$ になり、どの値に対しては内側の円 $D_a$ になるか？
• RQ2 $\frac{1}{2b} < \lambda < \frac{2}{a}$ の範囲にあり、$\lambda$ が厳密にこの区間にあるとき、最適集合はどのような幾何的構造を有するか？
• 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）では生じない。これは、二つの定式化の間の重要な相違を示している。