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

技术摘要：非局部方程的同宿解及其在原子位错理论中的应用

问题陈述
本文研究了由分数拉普拉斯算子驱动的非局部方程组中同宿解（homoclinic solutions）的存在性。研究重点针对势能项的两种不同结构情景，其动机源于晶体中原子刃位错的 Peierls–Nabarro 模型。

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–Rabinoth 条件。这一设定模拟了受束缚势影响下的位错。

本文解决的一个核心技术挑战是：在非局部设定下缺乏便捷的哈密顿形式体系，这导致无法直接应用用于局部对应物（如 Rabinowitz 和 Tanaka 的研究）的经典常微分方程（ODE）技术。

方法论
作者采用了变分法结合非局部椭圆正则性理论。

• 变分框架： 对于齐次情况，问题被表述为在满足 $[a, b]$ 上边界条件的函数集合 $\Gamma$ 上最小化能量泛函 $I(q)$。对于空间相关情况，则利用山路定理（Mountain Pass Theorem）在希尔伯特空间 $\tilde{H}^s$ 中寻找相关能量泛函的临界点。
• 正则性提升（Bootstrap）与论证： 由于分数拉普拉斯算子的非局部性质，作者不能依赖 ODE 技术来建立解的衰减性或正则性。相反，他们开发了一种“正则性提升”策略。这包括：
  • 利用文献中关于分数 Sobolev 空间（如 Ros-Oton, Serra, Abatangelo）的结果，建立弱解的内部和边界正则性估计。
  • 证明有界的弱解具有 Hölder 连续性，从而允许应用衰减引理。
  • 使用能量估计来定位临界能级，并确保非平凡极小值或临界点的存在。
• 障碍函数构造： 对于空间相关问题中 $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： 在满足 Ambrosetti–Rabinowitz 条件和特定 $W$ 增长条件的条件下，确立了 $s \in (1/2, 1)$ 时非平凡同宿解的存在性。该解属于 $C^{s-1/2}$ 且趋于零。
  • 定理 1.5： 证明了 $s \in (0, 1/2]$ 时的存在性。这需要对 $W$ 施加额外的增长条件（多项式界限），并且至关重要的是，需要对矩阵 $L(x)$ 施加结构性假设（无穷远处的对角占优），以便构造必要的障碍函数。该解是有界的且趋于零。

• 正则性与衰减：

  • 本文提供了详细的正则性结果，表明解根据分数指数和势函数的正则性分别属于特定的 Hölder 空间（局部属于 $C^\beta$、$C^{s-1/2}$ 或 $C^{2s}$）。
  • 文中严谨地证明了这些解满足 $\lim_{x \to \pm \infty} q(x) = 0$，从而确认了其同宿性质。

意义与主张
本文声称为 Rabinowitz 和 Tanaka 关于局部系统中同宿轨道的经典结果提供了一个“自然的分数对应物”。其主要意义在于克服了非局部算子固有的技术困难，特别是由于缺乏哈密顿结构以及不同 $s$ 值下分数 Sobolev 空间相关的容量理论差异所带来的挑战。

在 Peierls–Nabarro 模型背景下，这些结果为特定晶体构型的存在提供了数学依据：

1. 对于齐次势能，结果表明，只要对势能进行微调并在特定点或区间施加“挤压”（displacement），晶体可以支持一种在无穷远处处于不稳定静止位置的构型。
2. 对于空间相关势能，结果表明，在经典势能受到微小的超二次扰动，且束缚势在无穷远处充分增长的情况下，可以实现无穷远处的平衡构型。

作者强调，这些发现完全是通过变分方法和非局部正则性理论推导得出的，避开了在非局部设定下失效的 ODE 技术。本文并不提出新的实验装置，而是为对应于物理上相关的位错模式的解的存在性提供了理论证明。