Eigenvalue asymptotics and uniform eigenfunction bounds for the fractional Laplacian in the interval

技术摘要：区间内分数阶拉普拉斯算子的特征值渐近性与特征函数一致界限

问题陈述
本文研究了限制在有界区间 $I = (-1, 1)$ 且具有外部零条件的分数阶拉普拉斯算子 $A = (-\Delta)^{\alpha/2}$ 的谱分析。该算子通过如下奇异积分定义：
$$Af(x) = c_\alpha \text{ p.v.} \int_{\mathbb{R}} \frac{f(x) - f(y)}{|x-y|^{1+\alpha}} dy, \quad c_\alpha = \frac{\Gamma(1+\alpha)\sin(\pi\alpha/2)}{\pi}.$$
本研究聚焦于两个主要目标：

1. 特征值渐近性：推导出 $\lambda_n(\alpha)$ 当 $n \to \infty$ 时的精确三项渐近展开式，这改进了现有的两项估计，并证实了关于余项阶数的数值猜想。
2. 特征函数一致界限：建立归一化特征函数 $\phi_n$ 的 $L^\infty$ 范数对于特征值指数 $n$ 以及分数阶 $\alpha \in (0, 2)$ 的一致有界性。这解决了 Kwaśnicki 关于小 $\alpha$ 时特征函数行为的猜想。

方法论
证明过程依赖于通过粘合广义半直线特征函数并分析由此产生的残差误差来构造精确的拟模（quasimodes，近似特征函数）。

• 拟模构造：作者通过在区间两侧结合广义半直线特征函数 $F_\alpha$（定义在 $(0, \infty)$ 上）并使用光滑截断函数 $q(x)$ 和 $q(-x)$ 来构造拟模 $\tilde{\phi}_n$。

  • 对于范围 $1 \le \alpha < 2$，标准的拟模 $\tilde{\phi}_n$ 足够使用。残差 $z_n = (A_I - \mu_n^\alpha)\tilde{\phi}_n$ 通过利用半直线特征函数尾项的泰勒展开进行高阶展开。
  • 对于范围 $0 < \alpha < 1$，标准构造产生的误差与期望的第三项处于同一阶。为了克服这一点，作者引入了一种精细化的拟模 $w_n$，它去除了修正项 $G_\alpha$ 中的截断函数，从而允许在区间 $(0, L)$ 上使用精确的二次型恒等式，其中 $L = 2\mu_n$。

• 渐近分析：

  • 特征值通过瑞利商 $E_{\alpha, I}[\tilde{\phi}_n] / \|\tilde{\phi}_n\|^2_{L^2}$ 进行近似。
  • 余项通过计算内积 $\langle z_n, \tilde{\phi}_n \rangle$ 来确定。这需要对修正项 $G_\alpha(t)$ 当 $t \to \infty$ 时的渐近展开及其矩进行详细评估。
  • 特别关注 $G_\alpha$ 在 $0 < \alpha < 1$、$\alpha = 1$ 以及 $1 < \alpha < 2$ 时的不同行为，特别是 $\alpha = 1$ 时对数项的出现以及其他情况下的幂律衰减。

• 一致界限：

  • 对于远离零的 $\alpha$，界限遵循热半群估计以及拟模与真实特征函数的接近性。
  • 对于小 $\alpha$，作者证明了 $\|z_n\|_{L^2} = o(\alpha/n)$。这允许将拟模的反导数界限转移到真实的特征函数上。
  • 采用了截断二次型论证。通过利用特征方程对 $(\phi_n - \Lambda)$ 的正部和负部进行测试，并利用截断核 $k_\delta$ 的特定结构，作者证明了如果 $\|\phi_n\|_{L^\infty}$ 超过特定常数则会产生矛盾，从而证明了一致有界性。

核心贡献与结果

1. 三项特征值渐近性 (定理 1)
本文建立了 $\lambda_n(\alpha)$ 当 $n \to \infty$ 时的如下三项渐近公式，其中 $\mu_n = \frac{n\pi}{2} - \frac{(2-\alpha)\pi}{8}$：
$$\lambda_n(\alpha) = \mu_n^\alpha + (-1)^n \kappa_\alpha \mu_n^{-2} + R_n(\alpha).$$
余项 $R_n(\alpha)$ 表现出三个截然不同的机制：

• 情况 $0 < \alpha < 1$：
  $$R_n(\alpha) = \left( A_\alpha + (-1)^n B_\alpha \right) \mu_n^{-2-\alpha} + o_\alpha(\mu_n^{-2-\alpha}).$$
  此处，$A_\alpha$ 和 $B_\alpha$ 是涉及 Gamma 函数和三角项的显式常数。这证实了关于 $O(n^{-2-\alpha})$ 余项的数值预测。
• 情况 $\alpha = 1$：
  $$R_n(1) = (-1)^{n+1} \frac{1}{2\pi^2} \mu_n^{-3} \log \mu_n + O(\mu_n^{-3}).$$
  这识别出了半拉普拉斯算子特有的对数修正项。
• 情况 $1 < \alpha < 2$：
  $$R_n(\alpha) = (-1)^n \eta_\alpha \mu_n^{-3} + o_\alpha(\mu_n^{-3}).$$
  这证实了数值预测的 $O(n^{-3})$ 余项。

2. 特征函数一致界限 (定理 2)
本文证明了存在一个绝对常数 $C < \infty$，使得对于所有 $n \ge 1$ 且 $0 < \alpha < 2$：
$$\|\phi_n\|_{L^\infty(I)} \le C.$$
这一结果解决了以下猜想：即在 $\alpha \ge 1/2$ 时观察到的均匀有界性可以扩展到整个 $0 < \alpha < 2$ 的范围。证明提供了一个定量的界限，指出可以取 $C = \exp(100)$。

意义
本文声称显著推进了对有界区域内分数阶拉普拉斯算子谱性质的理解：

• 它通过提供一个严谨的第三项，改进了此前由 Kulczycki–Kwaśnicki–Małecki–Stós 和 Kwaśnicki 建立的两项渐近公式。
• 它验证了关于精确余项阶数（特别是 $O(n^{-2})$ 或 $O(n^{-2-\alpha})$ 行为）的数值模拟。
• 它解决了关于全分数阶范围内特征函数一致 $L^\infty$ 界限的开放问题，这一性质对于理解分数阶偏微分方程在边界附近的解的正则性和行为至关重要。

作者指出，虽然这些结果是针对一维区间的，但它们为未来在高维区域的研究中提供了基础，在高维区域中，单个特征值的精确渐近性和尖锐的全局 $L^\infty$ 估计仍是开放问题。