[論文レビュー] Uniqueness of stable closed non-smooth hypersurfaces with constant anisotropic mean curvature

Miyuki Koiso|arXiv (Cornell University)|Mar 10, 2019

Geometric Analysis and Curvature Flows参考文献 27被引用数 5

ひとこと要約

本稿は、$(n+1)$次元ユークリッド空間における安定で閉じた、区分的 $C^2$ 級の超曲面が、定数の異方的平均曲率をもつ場合、異方関数が $C^2$ かつ凸であるとき、その一意性を確立する。変分法と Cahn-Hoffman ベクトル場を用いて、このような超曲面が Wulff 形状と相似であることを証明し、古典的な等周不等式を異方的エネルギーへ一般化する。

ABSTRACT

We study a variational problem for piecewise-smooth hypersurfaces in the (n+1)-dimensional Euclidean space with an anisotropic energy. An anisotropic energy is the integral of an energy density that depends on the normal at each point over the considered hypersurface. The minimizer of such an energy among all closed hypersurfaces enclosing the same (n+1)-dimensional volume is unique and it is (up to rescaling) so-called the Wulff shape. The Wulff shape and equilibrium hypersurfaces of this energy for volume-preserving variations are not smooth in general. We prove that, if the anisotropic energy density function is twice continuously differentiable and convex, then any closed stable equilibrium hypersurface is (up to rescaling) the Wulff shape. We also give fundamental definitions, many examples, and generalizations of well-known concepts and formulas like Steiner's formula and Minkowski's formula to the anisotropic case.

研究の動機と目的

• $(n+1)$ 次元ユークリッド空間における安定で閉じた超曲面が定数の異方的平均曲率 (CAMC) をもつ場合の、その一意性を確立すること。
• ステインナーおよびミンコフスキーの公式などの古典的幾何不等式を、異方的設定へ拡張すること。
• 体積制約のもとで異方的表面エネルギーを最小化する唯一の解として Wulff 形状を特定すること。
• 異方関数が $C^2$ かつ凸である場合、任意の安定な CAMC 超曲面が Wulff 形状と相似であることを証明すること。
• Cahn-Hoffman ベクトル場を用いて、異方的設定における平均曲率およびガウス写像の概念を一貫して定式化すること。

提案手法

• 区分的 $C^2$ な弱埋め込みを形式化し、異方的表面エネルギーを $\mathcal{F}_\gamma(X) = \int_M \gamma(\nu)\, dA$ と定義する。ここで $\gamma$ は $S^n$ 上の $C^2$ かつ凸関数である。
• 標準的平均曲率を一般化した異方的平均曲率 $\Lambda = \frac{1}{n}(-\text{div}_M D\gamma + nH\gamma)$ を導入する。
• Cahn-Hoffman ベクトル場 $\xi = D\gamma$ を用いて異方的ガウス写像を定義し、異方的形状作用素 $S^\gamma = -d\xi \circ d\nu$ を導出する。
• 一次変分公式を導出し、CAMC 超曲面が一般化されたミンコフスキー型恒等式を満たすことを示す。
• 二次変分公式を適用して安定性を定義し、安定な CAMC 超曲面が体積制約のもとでエネルギーを最小化することを証明する。
• 行列 $A = D^2\gamma + \gamma \cdot I$ の固有値解析を用いて、Wulff 形状およびその境界の曲率と正則性を分析する。

実験結果

リサーチクエスチョン

• RQ1 $(n+1)$ 次元ユークリッド空間における、安定で閉じた超曲面が定数の異方的平均曲率をもつ場合、常に Wulff 形状と相似であるか？
• RQ2 ステインナーの公式やミンコフスキーの公式といった古典的幾何学的公式は、どのように異方的設定へ拡張できるか？
• RQ3 異方関数 $\gamma$ にどのような条件を課すと、Wulff 形状が異方的エネルギーの唯一の最小化者となるか？
• RQ4 異方関数 $\gamma$ にどのような正則性仮定をおくと、Wulff 形状が体積保存変動における安定平衡を保つのか？
• RQ5 区分的滑らか超曲面において、異方的平均曲率を一貫して定義し、特徴づけることは可能か？

主な発見

• $(n+1)$ 次元ユークリッド空間において、安定で閉じた、区分的 $C^2$ 級の超曲面が定数の異方的平均曲率をもつ場合、$\gamma$ が $C^2$ かつ凸であれば、それは Wulff 形状と相似である。
• 固定された体積を囲む任意の閉じた超曲面のなかで、Wulff 形状は異方的表面エネルギー $\mathcal{F}_\gamma$ の唯一の最小化者である。
• 異方的平均曲率 $\Lambda$ は $\gamma \equiv 1$ のとき標準的平均曲率 $H$ に還元され、古典的 CMC 場合が回復される。
• Wulff 形状は凸ではあるが、必ずしも滑らかではない。例えば $\gamma_m(\nu) = (|\nu_1|^{2m} + |\nu_2|^{2m})^{1/(2m)}$ のとき、Wulff 形状は $\theta = \ell\pi/2$ で角を持つ。
• $m$-ノルムの場合、Wulff 形状における全曲率積分 $\int \kappa_m \, ds = -2\pi$ が成り立ち、フロントのガウス・ボネの定理と整合的である。
• 関数 $\gamma$ が $C^2$ かつ凸であるとき、行列 $A = D^2\gamma + \gamma \cdot I$ は正定値であり、これにより異方的形状作用素の固有値が実数かつ正となり、スペクトル解析が可能になる。