技術的概要：非局所 Massari 汎関数の $\Gamma$-収束と不均質 Allen-Cahn 方程式への応用

1. 問題の定義と背景

本論文は、 prescribed 平均曲率を持つ集合に関連する非局所変分問題、特に非局所 Massari 問題の漸近挙動と、不均質分数 Allen-Cahn 方程式との関連性を調査する。

古典的な Massari 問題は、1970 年代に Massari によって定式化され、$H \in L^1(\Omega)$（$H$ は可和であるが必ずしも連続ではない）なる平均曲率を持つ集合の変分的定義を提供する。汎関数は以下のように定義される：
$$J^H_\Omega(E) := \text{Per}(E, \Omega) + \frac{1}{\omega_{n-1}} \int_{\Omega \cap E} H \, dx$$
ここで、$\text{Per}$ は変分的周長を表す。

著者らはこの枠組みを分数設定（パラメータ $s \in (0,1)$）に拡張し、周長を $s$-周長（非局所相互作用項）に置き換える。非局所 Massari 汎関数は以下のように与えられる：
$$J^H_{s,\Omega}(E) := \text{Per}_s(E, \Omega) + \frac{1}{1-2s} \int_{\Omega \cap E} H \, dx$$
主な目的は、分数パラメータ $s \to (1/2)^-$ におけるこれらの汎関数の極限を解析し、質量制約のもとで摂動された分数 Allen-Cahn 方程式の解の漸近挙動を研究することである。扱われる中心的な課題は、非局所位相転移に質量制約が課された際に生じる新しい幾何学的対象、すなわち**「非局所ハイブリッド平均曲率」**の出現である。

2. 手法

本論文は、汎関数の極限挙動とその最小化子の安定性を確立するために、De Giorgi によって導入された$\Gamma$-収束の理論を採用する。手法には以下が含まれる：

• スケーリングと極限解析：$s \to (1/2)^-$ における非局所 Massari 汎関数を解析する。著者らは古典的 Massari 汎関数を回復するために、特定のスケーリング因子 $(1-2s)$ を利用する。
• 摂動エネルギー汎関数：高度に振動する強制項 $g_\varepsilon(x) = g(x/\varepsilon)$ を持つ「強制された」非局所 Allen-Cahn エネルギー汎関数を導入する。エネルギーは $s$ の領域に応じてスケーリングされる：
  • $s \in (0, 1/2)$：$\varepsilon^{-2s}$ でスケーリング。
  • $s = 1/2$：$|\varepsilon \log \varepsilon|^{-1}$ でスケーリング。
  • $s \in (1/2, 1)$：$\varepsilon^{-1}$ でスケーリング。
• 質量制約：固定された質量制約 $\int_\Omega u \, dx = m$ に従った最小化問題を調査する。これには、特に $s \in [1/2, 1)$ の領域において、既存の文献（例：[29]）が Dirichlet 境界条件の欠如により直接適用できないため、質量制約を満たしつつ極限汎関数に収束する特定の回復列を構成することが必要となる。
• 外部挙動の解析：領域 $\Omega$ 外における解の挙動を導出する。古典的問題では解がしばしば全域で特性関数であると仮定されるのに対し、非局所設定における質量制約は外部に対して特定の非局所 Neumann 条件を強制し、$\Omega$ 外で必ずしも区分的に定数ではない解をもたらす。
• 臨界点収束の精緻化：分数 Allen-Cahn 方程式の臨界点の収束に関する [24] の結果を適応する。著者らは、質量制約の結果として解が全域的に $C^{0,1}$ 正則でない場合を処理するために、これらの結果を精緻化する。

3. 主要な貢献と結果

3.1 非局所 Massari 問題の $\Gamma$-収束

定理 2.3は、適切にスケーリングされた非局所 Massari 汎関数が $s \to (1/2)^-$ において古典的 Massari 汎関数へ $\Gamma$-収束することを確立する。
定理 2.4は、最小化子の極限安定性を証明する：非局所汎関数 $J^{H_j}_{s_j, \Omega}$ の局所最小化子である集合列 $\{E_j\}$ が $E$ に収束する場合、$E$ は古典的汎関数 $J^H_\Omega$ の局所最小化子となる。さらに、列のエネルギーは極限集合のエネルギーに収束する。

3.2 不均質 Allen-Cahn 方程式

本論文は、巨視的強制項 $H$ を含むように [29] の $\Gamma$-収束結果を一般化する。
定理 2.7は、摂動された分数 Allen-Cahn エネルギー汎関数が、非局所（または $s$ に依存して古典的）周長と強制項を含む極限汎関数へ $\Gamma$-収束することを証明する。
定理 2.8は、この摂動エネルギーに対する最小化子の安定性を確立する。

• $s \in (0, 1/2)$ の場合、極限最小化子は、$\Omega$ 外における列の弱*極限によって決定される外部データを持つ非局所 Massari 問題を満たす。
• $s \in [1/2, 1)$ の場合、極限最小化子は平均曲率 $H/c_\star$ を持つ集合に対応する。

3.3 prescribed 質量問題と非局所ハイブリッド平均曲率

作業の重要な部分はprescribed 質量 Allen-Cahn 問題に焦点を当てている。

• 定理 2.10 および 2.11：質量制約のもとでの最小化子に対する $\Gamma$-収束と一様エネルギー限界を証明する。$s \in [1/2, 1)$ に対する回復列の構成は、エネルギー限界を破ることなく質量条件を満たすために標準的な列を摂動させる必要があるため、新規の貢献である。
• 定理 2.12：質量制約問題の解が非局所 Neumann 外部条件（式 2.19）を満たすことを示す。これは、$\Omega$ 外の解が $\Omega$ 内の解の積分平均によって決定され、かつ決定的に、$\Omega$ 外での解は符号付き特性関数（$|u| \neq 1$）ではないことを意味する。
• 定理 2.14 および 2.15：質量制約に関連するラグランジュ乗数の収束と総エネルギーの収束を解析する。
• 定理 2.18 および 2.20：非局所ハイブリッド平均曲率を導入し特徴づける。
  • 定義 2.17：$\Omega$ 内の集合 $E$ と $\Omega$ 外の関数 $g$ である組 $(E, g)$ の非局所ハイブリッド平均曲率を定義する。
  • 結果：質量制約問題の極限構成は、$\Omega$ 内の集合 $E$ と $\Omega$ 外の関数 $u|_{\Omega^c}$ からなる。界面は非局所ハイブリッド平均曲率の一定性によって特徴づけられる。
  • 正則性：本論文は、極限解が境界 $\partial \Omega$ において連続（$C^0$）である一方、一般的には境界を跨いで $C^1$ ではないと指摘する。これは、不連続か $C^1$ かのいずれかである $s$-最小グラフとは区別される。

3.4 技術的精緻化

• 付録 A：Dirichlet 境界条件と質量制約の両方を課すことが、解を持たない過剰決定問題につながることを示し、非局所 Neumann 条件の使用を正当化する。
• 付録 B：$\Gamma$-収束の結果を、1 によって有界な関数の空間から、主要な定理で考慮されるより広範な関数クラスである $X_M$（$M$ によって有界な関数）へ拡張し、結果がより広い関数クラスに対して成り立つことを保証する。

4. 意義と主張

本論文は、prescribed 平均曲率と質量制約を伴う非局所位相転移の厳密な漸近解析を提供すると主張する。その意義は以下の点にある：

1. 非局所と古典的幾何学問題の架橋：$s \to 1/2$ において分数 Massari 問題を古典的問題と形式的に接続し、最小化子とエネルギー限界を保持する。
2. 新しい幾何学的対象：**「非局所ハイブリッド平均曲率」**の同定は、新しい幾何学的対象として提示される。古典的な質量制約付き位相転移が一定平均曲率を持つ集合へ収束するのに対し、非局所設定は（内部の集合と外部の関数からなる）組によって定義され、一定ハイブリッド平均曲率を持つ極限構成をもたらす。
3. 非局所設定における質量制約の処理：非局所寄与が局所化する $s \in [1/2, 1)$ における質量制約問題のための回復列の構築に関する文献のギャップに対処する。
4. 境界挙動：$s$-最小グラフに関する既知の結果と対照的に、質量制約付き非局所界面に対する明確な境界挙動（$C^0$ だが $C^1$ ではない）を浮き彫りにする。

著者らは、臨界点に関する収束結果の改善（定理 2.18）が、以前に同様の文脈（例：[24]）で必要とされていた全域的正則性に関する仮定を緩和するため、独立した興味を持つと述べている。この研究は、非局所相互作用、質量制約、幾何学的変分問題の間の相互作用を理解するための基礎的なステップとして提示されている。