[論文レビュー] Nonlocal $s$-minimal surfaces and Lawson cones

Juan Dávila, Manuel del Pino+1 more|arXiv (Cornell University)|Feb 17, 2014

Nonlinear Partial Differential Equations参考文献 18被引用数 10

ひとこと要約

この論文は、平面を除く非局所 s-最小的超曲面の最初の非自明な例を構成し、s が 1 に近い場合の非局所カテノイドおよび錐に漸近する二重膜超曲面を導入し、次元 7 における小さい s に対して s-最小的 Lawson 錐の存在と安定性を証明することで、非局所設定における古典的正則性理論に挑戦する。

ABSTRACT

The nonlocal $s$-fractional minimal surface equation for $Σ= \partial E$ where $E$ is an open set in $R^N$ is given by $$ H_Σ^ s (p) := \int_{R^N} \frac {χ_E(x) - χ_{E^c}(x)} {|x-p|^{N+s}}\, dx \ =\ 0 \quad ext{for all } p\in Σ. $$ Here $0

研究の動機と目的

• 平面を越える明示的な例の構成を通じて、最小的超曲面の理論を非局所分数マッピング設定へと拡張すること。
• s が 1 に近い場合の R^3 内の s-最小的超曲面の漸近的挙動と幾何的構造を調査すること。
• 特に小さい s に対して高次元における s-最小的 Lawson 錐の存在と安定性を確立すること。
• s-最小的超曲面が次元 7 においても、s が小さくても滑らかでない可能性があることを示し、古典的正則性理論に挑戦すること。
• 分数マッピング平均曲率と s-固有面積の厳密な枠組みを提示し、変分原理および Γ-収束と結びつけること。

提案手法

• 主値積分を用いた非局所 s-分数マッピング平均曲率の形式化：H^s_Σ(p) = P.V. ∫_{R^N} (χ_E(x) - χ_{E^c}(x)) / |x - p|^{N+s} dx。
• s が 1 に近い場合の漸近的錐 |x_3| = r√(1-s) を持つ回転対称な s-最小的超曲面を、非局所 PDE を解くことで一パラメータ族として構成すること。
• 任意の 0 < s < 1 および n, m ≥ 1 に対して、R^n × R^m 内の |v| = α|u| で定義される s-最小的 Lawson 錐の存在を証明すること。
• 分数マッピングヤコビ作用素 J^s_Σ[h] を用いた安定性解析を行い、s-固有面積の第二変分を計算すること。
• Hölder 空間における摂動技法と不動点定理を用いて、解の C^{2,α} 正則性を確立すること。
• 非局所 Allen-Cahn 功能の Γ-収束を s-固有面積へと示し、相転移と非局所最小的超曲面を結びつけること。

実験結果

リサーチクエスチョン

• RQ1 s が 1 に近い場合の R^3 内で、非自明で埋め込まれた非平面的 s-最小的超曲面を明示的に構成できるか？
• RQ2 非局所最小的超曲面の漸近的幾何は R^3 でどのように振る舞い、古典的カテノイドとはどのように異なるか？
• RQ3 任意の 0 < s < 1 に対して s-最小的 Lawson 錐は存在するか？また、高次元における安定性挙動はいかなるものか？
• RQ4 次元 7 で失敗する古典的正則性理論が、非局所 s-設定でも同様に無効化されるか？
• RQ5 非局所 s-固有面積は、古典的固有面積および相転移モデルとどのように関係するか？

主な発見

• 非局所カテノイドは、R^3 内の連結で埋め込まれた回転対称な s-最小的超曲面として構成され、s が 1 に近い場合、錐 |x_3| = r√(1-s) に漸近する。
• 同じ錐に漸近する二重膜で埋め込まれた s-最小的超曲面が発見され、二枚の平行平面に類似している。
• 任意の 0 < s < 1 および n, m ≥ 1 に対して、R^n × R^m 内の s-最小的 Lawson 錐 |v| = α|u| が存在することが証明された。
• 小さい s および n + m = 7 の場合、s-最小的 Lawson 錐が安定であることが示され、古典的期待とは矛盾する。
• 分数マッピングヤコビ作用素 J^s_Σ[h] が明示的に計算可能であり、s-固有面積の第二変分を用いた安定性解析が可能になった。
• s-固有面積 Is(E) が s → 1 のとき古典的固有面積に Γ-収束し、(1−s)Is(E,Ω) → c_N H^{N−1}(Σ ∩ Ω) が成り立つことが示された。