The energy of fractional Allen--Cahn layers in dimension one

技術要約：一次元における分数型アレン・カーン層のエネルギー

問題設定
本論文は、一次元の分数型アレン・カーン方程式
$$(-\Delta)^s \Phi_s = \Phi_s - \Phi_s^3, \quad \Phi_s(\pm\infty) = \pm 1, \quad \Phi_s(0) = 0,$$
における、一意な奇関数かつ単調増加な層解 $\Phi_s$ のエネルギー $E(s)$ を調査するものである。ここで、分数指数は $s \in (1/2, 1]$ である。エネルギー汎関数は次のように定義される：
$$E(s) := E_s[\Phi_s] = \frac{c_{1,s}}{4} \iint_{\mathbb{R}\times\mathbb{R}} \frac{(\Phi_s(x) - \Phi_s(y))^2}{|x-y|^{1+2s}} \, dx dy + \int_{\mathbb{R}} W(\Phi_s(x)) \, dx,$$
ただし、$W(t) = \frac{1}{4}(1-t^2)^2$ である。$\Phi_s$ の存在、一意性、および減衰特性は Cabré と Sire によって確立されているが、またその最小性は Palatucci, Savin, および Valdinoci によって示されている。しかし、古典的な $s=1$ における明示的な値を除けば、パラメータ $s$ に対するエネルギー $E(s)$ の依存性に関する鋭い定量的情報は、これまでの文献には存在しなかった。

手法
著者らは、解析的手法とコンピュータ支援的手法を組み合わせたハイブリッド戦略を用いて、区間 $(1/2, 1]$ 全域における $E(s)$ の特性を明らかにする。厳密な単調性の証明は、被覆 $(1/2, 1] = (1/2, 53/100] \cup [53/100, 49/50] \cup [49/50, 1]$ に基づき、3つの領域に分割されている。

1. 端点における解析的漸近挙動：

   • $s=1$ 付近： 著者らは、明示的な古典的解 $\Phi_1(x) = \tanh(x/\sqrt{2})$ の周りでの摂動解析を行う。まず、奇関数部分空間上の線形化作用素 $J = -\partial_x^2 + (3\Phi_1^2 - 1)$ を逆転させることで、一次補正項 $\psi$ を構成する。$H^{2s}$ における不動点引数を用いることで、真の層 $\Phi_s$ が近似プロファイル $\Phi_1 + (1-s)\psi$ に近いことを証明する。これにより、エネルギーとその導関数の厳密な展開が可能となり、線形項の明示的な定数が得られる。
   • $s=1/2$ 付近： 解析は、$\Phi_s$ の最小性に由来する、運動エネルギー成分とポテンシャルエネルギー成分を関連付けるポホザエフ型の恒等式に依拠している。競合関数として $\arctan$ プロファイルを用いることで、上界を確立する。ガリギャルト・セミノルムのフーリエ側解析により、低周波数における特異性を分離し、エネルギーが特定の残留係数を持つ $(s-1/2)^{-1}$ として発散することを証明する。

2. 内部領域におけるコンピュータ支援による証明：

   • 閉形式の解が存在しない内部区間 $I_0 = [0.530, 0.980]$ において、著者らは数値的な近似層 $\Phi_s^{\text{ap}}$ を構築する。
   • 不動点引数を用いて、真の層 $\Phi_s$ と数値近似との間の距離を $H^{2s}$ ノルムで厳密に抑え込む。
   • 厳密な減少性（$E'(s) < 0$）を証明するために、グリッド点において導関数汎関数 $J(s, \Phi_s)$ を評価する。真の層は未知であるため、$J(s, \Phi_s^{\text{ap}})$ を計算し、距離の境界から導かれるリプシッツ評価を用いて、その符号を真の層へと伝達する。
   • 半凹性（Semiconcavity）： エネルギーの $s$ に関する二階導関数の、プロファイルに依存しない上界（半凹性）を確立することが極めて重要である。これにより、グリッドの間隔が曲率の境界に対して十分に小さい限り、離散的なグリッド点における導関数の厳密な負性が全区間に伝播することが可能となる。
   • 検証： 作用素の強凸性に関するシューアの不等式や汎関数の評価を含むすべての数値的境界は、200ビットの精度を持つ Arb ライブラリを用いた区間演算によって保証されている。

主要な貢献と結果

1. 漸近展開 (Theorem 1.1)：

   • $s=1$ において： エネルギーは $E(s) = \frac{2\sqrt{2}}{3} + \kappa_1(1-s) + o(1-s)$ という展開を持ち、ここで $\kappa_1$ は以下の明示的な積分で与えられる：
     $$\kappa_1 = -2\pi \int_0^\infty \frac{\xi^2 \log \xi}{\sinh^2(\pi\xi/\sqrt{2})} \, d\xi \approx 1.073.$$
   • $s=1/2$ において： エネルギーは単純な極を持つ：
     $$E(s) = \frac{1/\pi}{s - 1/2} + O(1).$$
     著者らは、展開における対数的な中間項の存在を明確に否定している。

2. 厳密な単調性と連続性 (Theorem 1.2)：

   • 写像 $s \mapsto E(s)$ は $(1/2, 1]$ 上で連続かつ厳密に減少する。
   • したがって、$E$ は $[1/2, 1]$ から $[2\sqrt{2}/3, +\infty)$ への同相写像として拡張される。

3. 技術的革新：

   • 層の導関数のフーリエ変換を含むスペクトル積分として、導関数 $E'(s)$ の明示的な恒等式を導出した。
   • 明示的な解が存在しない非局所作用素を扱うための、漸近解析とコンピュータ支援による区間演算を組み合わせた厳密な枠組みを開発した。
   • 離散的な数値チェックと連続的な単調性の間のギャップを埋めるために不可欠な、プロファイルに依存しないエネルギーの半凹性境界を確立した。

意義
本論文は、一次元における分数型アレン・カーン層のエネルギーに関する初の鋭い定量的記述を提供する。これは、単一の相転移のエネルギーコストが、非局所性の次数が変化するにつれてどのように変化するかを解決するものである。厳密な減少性の結果は重要である。なぜなら、標準的な変分法では、フーリエ乗数 $|\xi|^{2s-2}$ による相反する効果のため、導関数の符号を決定できないからである。本研究は、厳密な漸近展開とコンピュータ支援による区間演算を組み合わせることで、従来の解析的手法では不十分な非局所的偏微分方程式の問題に対して、決定的な結果を得られることを示している。著者らは、厳密な減少性の証明が最も困難な結果であり、スペクトル評価と数値的検証の繊細なバランスに依存していることを述べている。