[論文レビュー] Uniform ball property and existence of optimal shapes for a wide class of geometric functionals

Jérémy Dalphin|arXiv (Cornell University)|Apr 16, 2015

Geometric Analysis and Curvature Flows参考文献 33被引用数 13

ひとこと要約

本稿は、$\mathbb{R}^3$ 内の曲率依存関数 functional を含む広範な幾何学的形状最適化問題に対して、一様球条件を用いて $C^{1,1}$-正則な最小化解の存在を確立する。主な貢献は、位置、法線ベクトル、平均曲率、ガウス曲率に依存する関数 functional について、面積、体積、その他の積分量に関する制約のもとで、一般の存在定理を確立することである。

ABSTRACT

In this paper, we are interested in shape optimization problems involving the ge ometry (normal, curvatures) of the surfaces. We consider a class of hypersurface s in $\\mathbb{R}^{n}$ satisfying a uniform ball condition and we prove the exist ence of a $C^{1,1}$-regular minimizer for general geometric functionals and cons traints involving the first- and second-order properties of surfaces, such as in $\\mathbb{R}^{3}$ problems of the form: $$ \\inf \\int_{\\partial \\Omega} j_0 [ \\mathbf{x},\\mathbf{n}(\\mathbf{x}) ] dA (\\mathbf{x}) + \\int_{\\partial \\Omega} j_1 [ \\mathbf{x},\\mathbf{n}(\\mathbf{x}),H(\\mathbf{x}) ] dA (\\mathbf{x}) + \\int_{\\partial \\Omega} j_2 [\\mathbf{x},\\mathbf{n}(\\mathbf{x}),K(\\mathbf{x})] dA (\\mathbf{x}), $$ where $\\mathbf{n}$, $H$, and $K$ respectively denotes the normal, the scalar mea n curvature and the Gaussian curvature. We gives some various applications in th e modelling of red blood cells such as the Canham-Helfrich energy and the Willmo re functional.

研究の動機と目的

• 位置、法線ベクトル、平均曲率、ガウス曲率といった一次および二次の表面的性質を含む幾何関数 functional の正則な最小化解の存在を確立すること。
• 角や自己交差などの特異性を避ける適切な許容形状のクラスを特定し、コンactness と正則性を保証すること。
• 曲率依存エネルギーを含む制約付き最適化問題に対する一般の存在結果を提供すること。物理的モデル（赤血球の形状など）への応用が可能である。
• 高度な幾何測度論に依存せず、基本的な解析的手法を用いることで、アクセス性と広範な適用可能性を確保すること。
• 一様球条件、$C^{1,1}$-正則性、正の到達可能領域（positive reach）の間の関係を統一的かつ形式的に確立し、これらが初めて一つの参照で同等性として示されること。

提案手法

• 開集合 $\Omega \subset \mathbb{R}^n$ に対して一様 $\varepsilon$-球条件を導入し、境界上の各点で内側および外側の半径 $\varepsilon$ の球が境界に接することを保証する幾何的制約を定める。
• 一様球条件を用いて超曲面の $C^{1,1}$-正則性および正の到達可能領域を特徴づけ、幾何的正則性と解析的コンパクトネスの橋渡しを果たす。
• 関数 functional の形 $\int_{\partial\Omega} j_0[\mathbf{x},\mathbf{n}] \, dA + \int_{\partial\Omega} j_1[\mathbf{x},\mathbf{n},H] \, dA + \int_{\partial\Omega} j_2[\mathbf{x},\mathbf{n},K] \, dA$ を許容集合 $\mathcal{O}_\varepsilon(B)$ 上で変分法を用いて最小化する。
• 局所的グラフ表現と分区画の単位を用いて、正則なベクトル場および曲率の収束を保証する対角収束法を適用し、一様な有界性のもとでの収束を扱う。
• 曲率変数における凸性とベクトル場および法線写像の一様収束による制約の連続性を用いて、関数 functional の下界半連続性を確立する。
• 逐次収束を $\mathcal{O}_\varepsilon(B)$ 内で用いることでコンパクトネスを確立し、最小化列が同じクラス内に最小化解に収束することを保証する。

実験結果

リサーチクエスチョン

• RQ1 位置、法線ベクトル、平均曲率、ガウス曲率に依存する一般の幾何関数 functional に対して、$C^{1,1}$-正則な最小化解が存在するか？
• RQ2 一様球条件は、形状最適化問題におけるコンパクトネスと正則性を保証する十分条件として機能できるか？
• RQ3 ウィルモア関数やカナン＝ヘルフリッヒエネルギーのような曲率依存エネルギーを、幾何的制約のもとで厳密に最小化できるか？
• RQ4 一様球条件、$C^{1,1}$-正則性、フェデラーの到達可能領域の概念との正確な関係は何か？
• RQ5 幾何測度論に依存せず、基本的な解析的手法のみで存在結果を得ることは可能か？

主な発見

• 一様 $\varepsilon$-球条件は、集合 $\Omega$ の境界が $C^{1,1}$-正則であり、正の到達可能領域を持つことを保証し、幾何的正則性の基準を提供する。
• $\mathcal{O}_\varepsilon(B)$ 内の最小化列は、$\Omega \in \mathcal{O}_\varepsilon(B)$ に収束するため、許容形状のクラスにおけるコンパクトネスが保証される。
• 関数 $\int_{\partial\Omega} j_0[\mathbf{x},\mathbf{n}] \, dA + \int_{\partial\Omega} j_1[\mathbf{x},\mathbf{n},H] \, dA + \int_{\partial\Omega} j_2[\mathbf{x},\mathbf{n},K] \, dA$ は、与えられた仮定のもとで下界半連続であるため、最小化解の存在が保証される。
• 面積および体積を含む制約は、一様球条件によって誘導される位相において連続であり、極限においても実行可能性が保たれる。
• ベクトル場 $\mathbf{V}$ に関連する法曲率 $\kappa_{\mathbf{v}}$ は、表面グラフの一様収束のもとで対角収束するため、曲率関連項の連続性が保証される。
• 適切な制約のもとでカナン＝ヘルフリッヒエネルギーおよびウィルモア関数の最小化解の存在が証明され、物理的モデルへのフレームワークの適用可能性が確認された。