[論文レビュー] Elastic energy of a convex body

Chiara Bianchini, Antoine Henrot+1 more|arXiv (Cornell University)|Jun 27, 2014

Point processes and geometric inequalities被引用数 4

ひとこと要約

本稿は、面積、周囲長、および曲率の二乗の積分として定義される弾性エネルギーの間の関係を分析することにより、平面凸体におけるブラシュケ＝サントラロ図の性質を調査する。罰則付きエネルギー汎関数を用いた形状最適化のアプローチにより、最小化解の存在、正則性、幾何的性質を確立し、周囲長が固定された条件下で円が弾性エネルギーを最小化することを証明する。また、図の境界は、この最適化問題の解によって特徴付けられることを示す。

ABSTRACT

In this paper a Blaschke-Santaló diagram involving the area, the perimeter and the elastic energy of planar convex bodies is considered. More precisely we give a description of set $$\mathcal{E}:=\left\{(x,y)\in \R^2, x=\frac{4πA(Ω)}{P(Ω)^2},y=\frac{E(Ω)P(Ω)}{2π^2},\,Ω\mbox{convex} ight\},$$ where $A$ is the area, $P$ is the perimeter and $E$ is the elastic energy, that is a Willmore type energy in the plane. In order to do this, we investigate the following shape optimization problem: $$\min_{Ω\in\mathcal{C}}\{E(Ω)+μA(Ω)\},$$ where $\mathcal{C}$ is the class of convex bodies with fixed perimeter and $μ\ge 0$ is a parameter. Existence, regularity and geometric properties of solutions to this minimum problem are shown.

研究の動機と目的

• 正規化された面積と凸体の弾性エネルギーによって定義される平面上の点の集合を特徴づけること。
• 周囲長制約下での弾性エネルギー汎関数の幾何的および変分的性質を分析すること。
• 面積、周囲長、弾性エネルギーを含むブラシュケ＝サントラロ図の境界構造を解明すること。
• 罰則付きエネルギー汎関数の最小化解の存在、正則性、対称性の性質を確立すること。
• 凸形状における弾性エネルギー最小化と面積最大化の競合関係を調査すること。

提案手法

• 固定周囲長 $ P(\Omega) = P_0 $ の下で $ E(\Omega) + \mu A(\Omega) $ を最小化する形状最適化問題を定式化する。ここで $ \mu \geq 0 $ は罰則パラメータである。
• 変分法と摂動解析を適用し、エネルギー汎関数の一次最適性条件を導出する。
• 弧長 $ s $ と角度 $ \theta(s) $ を用いた曲率パラメータ化により、弾性エネルギーを $ E(\Omega) = \frac{1}{2} \int_{\partial\Omega} k^2(s) \, ds $ として表現する。
• 法線方向摂動における弾性エネルギーの第一変分をベクトル場 $ V $ を用いて導出し、$ \frac{dE}{d\varepsilon}|_{\varepsilon=0} = -\int_0^{2\pi} \left( \frac{1}{2}(\theta')^3 + \theta''' \right) \langle V, \mathbf{n} \rangle \, ds $ の式を得る。
• コーシー＝シュワルツの不等式を用いて、単純接続領域において周囲長が固定された条件下で円が弾性エネルギーを最小化することを証明する。
• ガージの不等式 $ \frac{E A}{P} \geq \frac{\pi}{2} $ を等周制約と組み合わせ、ブラシュケ＝サントラロ図における実行可能領域を記述する。

実験結果

リサーチクエスチョン

• RQ1 正規化された面積と凸体の弾性エネルギーによって定義されるブラシュケ＝サントラロ図の完全な境界構造は何か？
• RQ2 パrameter $ \mu $ が変化する際、罰則付きエネルギー $ E(\Omega) + \mu A(\Omega) $ の最小化解はどのように振る舞うか？
• RQ3 形状最適化問題の解が持つ幾何的対称性および正則性の性質は何か？
• RQ4 円が、凸領域において周囲長が固定された条件下で弾性エネルギーを唯一最小化するものとして特徴づけられるか？
• RQ5 凸形状における弾性エネルギー、面積、周囲長の関係は何か。また、それらは図における実行可能領域をどのように制約するか？

主な発見

• コーシー＝シュワルツの不等式と等号成立条件を用いることで、周囲長が固定された凸体の中で円が弾性エネルギーを唯一最小化することが示された。
• 集合 $ \mathcal{E} $ は $ x = \frac{4\pi A(\Omega)}{P(\Omega)^2} $、$ y = \frac{E(\Omega)P(\Omega)}{2\pi^2} $ で定義され、$ xy \geq 1 $ を満たし、等号が成り立つのは $ \Omega $ が円である場合に限る。
• 制約 $ P(\Omega) = P_0 $ の下で $ \min\{ E(\Omega) + \mu A(\Omega) \} $ を満たす最適化問題の解は、すべての $ \mu \geq 0 $ に対して存在し、$ C^2 $-正則性を有する。
• $ \mu \to 0 $ のとき、最小化解は円に収束する。$ \mu \to \infty $ のとき、線分に収束する。これは図の極端な挙動を示している。
• $ \mathcal{E} $ の境界は、罰則付きエネルギー問題の解の族によって完全に記述され、円は図の左下隅に対応する。
• 法線摂動における弾性エネルギーの第一変分は、$ \theta' $、$ \theta'' $、$ \theta''' $ を含む微分表現を得る。これにより、最適性における曲率の役割が確認される。