[論文レビュー] Nonlocal minimal surfaces: Interior regularity, quantitative estimates and boundary stickiness

Serena Dipierro, Enrico Valdinoci|arXiv (Cornell University)|Jan 1, 2016

Nonlinear Partial Differential Equations参考文献 17被引用数 3

ひとこと要約

本稿は、長距離相互作用を含む分数階積分的断面積関数を用いて定義される非局所的最小表面に対して、内部正則性および定量的評価を確立する。特定の条件下で、このような表面は境界への付着性（境界に沿って固定される現象）を示すことが証明され、非局所幾何学的解析における驚くべき剛性現象が解消される。

ABSTRACT

We consider surfaces which minimize a nonlocal perimeter functional and we discuss their interior regularity and rigidity properties, in a quantitative and qualitative way, and their (perhaps rather surprising) boundary behavior. We present at least a sketch of the proofs of these results, in a way that aims to be as elementary and self contained as possible, referring to the papers [CRS10, SV13, CV13, BFV14, FV, DSV15, CSV16] for full details.

研究の動機と目的

• 長距離相互作用を含む分数階積分的断面積関数によって定義される非局所的最小表面の存在および正則性を確立すること。
• 非局所的最小表面の境界挙動、特に境界への付着性という現象を調査すること。
• 領域内部における非局所的最小集合の正則性に関する定量的評価を導出すること。
• 非局所的最小グラフが水平な法線を持てないことを証明し、その形状に厳密な幾何的制約が生じることを示すこと。
• 主要な結果を自己完結的かつ初等的に扱い、文献におけるより深い技術的証明への参照を提供すること。

提案手法

• 長距離相互作用をモデル化するため、$ s \in (0, 1/2) $ を用いて、$ I(E, E^c) = \iint_{E \times E^c} \frac{dx\,dy}{|x-y|^{n+2s}} $ の形の重み付き積分を用いて非局所的断面積を定義する。
• 発散定理およびベクトル場の議論を用いて、境界における法線ベクトルの変動に基づく非局所的断面積の表現を得る：$ \text{Per}_s(E, \mathbb{R}^n) = \frac{1}{4s(n+2s-2)} \iint_{\partial E \times \partial E} \frac{2 - |\nu(x) - \nu(y)|^2}{|x-y|^{n+2s-2}} \, dH^{n-1}(x)\,dH^{n-1}(y) $。
• 法線方向の変形を用いて、法線方向の変形と垂直移動との非局所平均曲率の比較を行い、サイズ $ \varepsilon \nu_n $ の法線変形が $ O(\varepsilon^2) $ の誤差の範囲で垂直移動に対応することを示す。
• ブロー・アップ法と境界付近の漸近解析を用いて、非局所平均曲率の差分商の極限を計算し、法線ベクトルを含む積分表現を得る。
• 背理法を用いて境界への付着性を証明する：ある点で法線が水平であれば、非局所平均曲率は恒等的に0になるが、これはグラフ仮定に矛盾する。
• 非局所平均曲率の公式と平行移動不変性を用いて、$ H^s_E(\bar{x}) = 0 $ ならば $ \nu_n(y) \equiv 0 $ であることを示し、これは非平坦なグラフでは不可能である。

実験結果

リサーチクエスチョン

• RQ1 非局所的最小表面が内部正則性を示す条件は何か？また、分数階パラメータ $ s $ にどのように依存するか？
• RQ2 非局所的最小表面がなぜ領域の境界に付着する傾向を示すのか？その背後にある幾何的メカニズムは何か？
• RQ3 非局所的最小グラフが境界上のある点で水平な法線ベクトルを持つことは可能か？
• RQ4 非局所平均曲率は $ s \to 1/2 $ の極限で、古典的平均曲率とどのように関係するか？
• RQ5 領域内部における非局所的最小集合の正則性に対して、どのような定量的評価を導出できるか？

主な発見

• 任意の $ s \in (0,1/2) $ に対して、非局所的最小表面は領域内部で $ C^{2,\alpha} $-正則であり、$ s \to 1/2 $ に近づくにつれて正則性が向上する。
• 境界への付着性現象が証明された：$ E $ が非局所的最小集合で、ある境界点で $ \nu_n = 0 $ であれば、$ \nu_n \equiv 0 $ であり、$ E $ は垂直半空間である。これはグラフ仮定が成り立たない（平坦でない限り）ことを意味する。
• 非局所的最小グラフは水平な法線を持てない：$ \nu_n(\bar{x}) = 0 $ であれば、$ \nu_n \equiv 0 $ であり、グラフは垂直超平面でなければならない。これはグラフ条件に反する。
• 点 $ \bar{x} \in \partial E $ における非局所平均曲率は、$ \lim_{\varepsilon \to 0} \frac{1}{2\varepsilon} \left( H^s_E(\bar{x}) - H^s_{E^*_\varepsilon}(\bar{x}) \right) = \int_{\Sigma} \frac{\eta(y) - \kappa \cdot \nu(y)}{|\bar{x} - y|^{n+2s}} \, dH^{n-1}(y) $ を満たす。ここで $ \eta $ は変形ベクトル場である。
• 付録Aにおけるスケーリングおよび漸近解析により、非局所的断面積関数は $ s \to 1/2 $ の極限で古典的断面積を回復することが示された。
• 非局所的相互作用と法線ベクトルの制約が引き起こす剛性により、非局所的平均曲率が0であることは、表面が半空間であることにのみ等しい。