Homoclinic solutions for nonlocal equations and applications to the theory of atom dislocation

技術要約：非局所方程式におけるホモクリニック解、および原子転位理論への応用

問題設定
本論文は、分数型ラプラシアンによって駆動される非局所方程式系のホモクリニック解の存在について調査している。研究は、ピアーズ・ナバロ（Peierls–Nabarro）モデルによる結晶中の原子エッジ転位に動機付けられた、ポテンシャルエネルギー項における2つの異なる構造的シナリオに焦点を当てている。

1. 空間的に均質なポテンシャル： 著者らは、$\mathbb{R} \setminus [a, b]$ 上の式 $(-\Delta)^s q = \nabla V(q)$ を検討する。ここで、$V$ は原点で厳密な大域的極大を持つ空間的に均質な関数である。解は、区間 $[a, b]$ 上で固定されたプロファイル $q_0$ に制約される。目的は、無限遠では原子が静止状態にある結晶構成を表すような、無限遠でゼロに減衰する解 $q$（ホモクリニック軌道）を見つけることである。すなわち、$[a, b]$ 内の原子が平衡状態から「挟み込まれて」いる状態である。
2. 空間依存ポテンシャル： 著者らは、系 $(-\Delta)^s q(x) + L(x)q(x) = \nabla_q W(x, q(x))$ を分析する。ここで、$L(x)$ は無限遠で増大する対称かつ一様に正定値な行列であり、$W$ はアンブロセッティ・ラビノウィッツ（Ambrosetti–Rabinowitz）条件を満たす。この設定は、閉じ込めポテンシャルの下での転位をモデル化している。

中心的な技術的課題は、非局所的な設定において都合の良いハミルトン形式が欠如していることであり、これにより、古典的な局所系（例：Rabinowitz および Tanaka）で使用される古典的な常微分方程式（ODE）の手法を直接適用することができない。

手法
著者らは、変分法と非局所的な楕円型正則性理論を併用している。

• 変分フレームワーク： 均質な場合、問題は、$[a, b]$ 上の境界条件を満たす関数の集合 $\Gamma$ 上でのエネルギー汎関数 $I(q)$ の最小化として定式化される。空間依存の場合には、関連するエネルギー汎関数のクリティカル・レベル（臨界レベル）を見つけるために、マウンテン・パス定理（Mountain Pass Theorem）が利用される。
• 正則性とブートストラップ引数： 分数型ラプラシアンの非局所的な性質により、解の減衰や正則性を確立するためにODEの議論に頼ることはできない。代わりに、著者らは「正則性ブートストラップ」戦略を開発している。これには以下が含まれる：
  • 分数型ソボレフ空間（例：Ros-Oton, Serra, Abatangelo）に関する文献の結果を用いて、弱解の内部および境界の正則性評価を確立すること。
  • 有界な弱解がヘルダー連続性を有することを示し、これにより減衰補題の適用を可能にすること。
  • エネルギー評価を用いて、クリティカル・レベルを特定し、非自明な最小化解またはクリティカル・ポイントの存在を保証すること。
• 障壁（バリア）の構築： 空間依存の問題において $s \in (0, 1/2]$ の場合、係数 $L(x)$ が無限遠で非有界であるため、標準的なエネルギー評価だけでは無限遠での減衰を保証するには不十分である。著者らは、解の無限遠での挙動を制御するために、関連する分数型方程式の単調解の導関数に基づいた、即席の障壁関数を構築する。
• 最適性解析： 本論文には、仮定の必要性に関する厳密な議論が含まれている。具体的には、$s \in (0, 1/2]$ の場合、制約区間が一点に退化すると（$a=b$）、最小化問題が自明化（下限がゼロになる）することを示すが、$s \in (1/2, 1)$ の場合はそうではないことを示している。

主要な貢献と結果

• ホモクリニック解の存在（均質な場合）：

  • 定理 1.2： 制約が区間 $[a, b]$ （ただし $a < b$）であるとき、$s \in (0, 1)$ におけるホモクリニック解の存在を証明する。解は $C^\beta(\mathbb{R})$ に属し、無限遠でゼロに減衰する。
  • 定理 1.3： 制約が一点（$a = b$）の場合に結果を拡張するが、これは $s \in (1/2, 1)$ の範囲に限定される。解は制約点に対して対称である。
  • 命題 2.2： $s \in (0, 1/2]$ の場合、非自明なホモクリニック解にとって $a=b$ のケースは許容されない（エネルギーの下限がゼロレベルに達するため）ことを示す。

• ホモクリニック解の存在（空間依存の場合）：

  • 定理 1.4： アンブロセッティ・ラビノウィッツ条件と $W$ の特定の増大条件の下で、$s \in (1/2, 1)$ における非自明なホモクリニック解の存在を確立する。解は $C^{s-1/2}$ に属し、ゼロに減衰する。
  • 定理 1.5： $s \in (0, 1/2]$ における存在を証明する。これには、$W$ に対する追加の増大条件（多項式境界）と、決定的ながら、必要な障壁を構築するための $L(x)$ の構造的仮定（無限遠での対角優位性）が必要となる。解は有界であり、ゼロに減衰する。

• 正則性と減衰：

  • 本論文は詳細な正則性の結果を提供しており、ポテンシャルの正則性に応じて、解が特定のヘルダー空間（局所的に $C^\beta, C^{s-1/2}, \text{または } C^{2s}$）に属することを示している。
  • これらの解が $\lim_{x \to \pm \infty} q(x) = 0$ を満たすことを厳密に証明し、それらがホモクリニック的な性質を持つことを確認している。

意義と主張
本論文は、局所系におけるホモクリニック軌に関するRabinowitzおよびTanakaによる古典的な結果に対する「自然な分数型対応物」を提供することを主張している。主な意義は、ハミルトン構造の欠如や、異なる $s$ の値に関連する分数型ソボレフ空間の異なるキャパシティ理論に起因する、非局所演算子固有の技術的困難を克服した点にある。

ピアーズ・ナバロ・モデルの文脈において、これらの結果は以下の特定の結晶構成の存在に対する数学的正当化を提供する：

1. 均質ポテンシャルの場合、結果は、ポテンシャルがわずかに修正され、特定の点または区間に「挟み込み」（変位）が適用される限り、結晶が無限遠で不安定な静止位置にある構成を支持できることを示唆している。
2. 空間依存ポテンシャルの場合、結果は、古典的なポテンシャルの超二次的な摂動が小さく、かつ閉じ込めポテンシャルが無限遠で十分に増大する場合、無限遠での平衡構成が可能であることを示している。

著者らは、これらの知見が、非局所的な設定において失敗するODEの手法を避け、厳密に変分法と非局所的正則性理論を通じて導かれたものであることを強調している。本論文は新しい実験セットアップを提案するものではなく、物理的に関連のある転位パターンに対応する解の理論的存在を提示するものである。