On the lower bound and upper bound of the Sum of Eigenvalues of the Fractional-Logarithmic Laplacian

这是一份关于 Hichem Hajaieja 所著论文《分数阶对数拉普拉斯算子特征值之和的上下界估计》（On the lower bound and upper bound of the Sum of Eigenvalues of the Fractional-Logarithmic Laplacian）的详细技术总结。

1. 研究问题 (Problem)

本文旨在研究分数阶对数拉普拉斯算子（Fractional-Logarithmic Laplacian, 记为 $(-\Delta)^{s+\ln}$）在有界区域 $\Omega \subset \mathbb{R}^n$ 上的狄利克雷特征值之和的渐近行为及上下界估计。

• 算子定义：该算子的傅里叶符号（Fourier symbol）为 $|\xi|^{2s} \ln |\xi|^2$，其中 $s > 0$。它是分数阶拉普拉斯算子 $(-\Delta)^s$ 关于阶数参数 $s$ 的导数，结合了分数阶算子的幂律增长和对数算子的对数修正特性。
• 核心挑战：
  • 该算子的符号 $|\xi|^{2s} \ln |\xi|^2$ 在径向变量上并非全局单调（由于低频行为，当 $|\xi| < 1$ 时符号为负）。这与经典的分数阶拉普拉斯算子（符号 $|\xi|^{2s}$ 单调）和纯对数拉普拉斯算子（增长极弱）不同，给传统的谱估计方法带来了困难。
  • 目标是建立特征值部分和 $\sum_{j=1}^k \lambda_j^{s+\ln}(\Omega)$ 的Berezin-Li-Yau 型下界和Kröger 型上界，并验证其主项是否符合预期的渐近公式：
    $$\sum_{j=1}^k \lambda_j^{s+\ln}(\Omega) \sim \frac{2}{n+2s} (2\pi)^{2s} (\omega_n |\Omega|)^{-2s/n} k^{1+2s/n} \ln k$$
    其中 $\omega_n$ 是单位球体积。

2. 方法论 (Methodology)

作者采用了变分法和傅里叶分析相结合的策略，分别处理下界和上界估计。

A. 下界估计 (Lower Bound)

• 理论基础：基于经典的 Berezin-Li-Yau 方法及其非局部变体。
• 关键引理 (Lemma 2.4)：
  • 构造了一个关于测度 $f(\xi)$ 的积分不等式。定义 $A = \int f$ 和 $M_2 = \int |\xi|^{2s} \ln |\xi|^2 f(\xi)$。
  • 利用符号 $w(r) = r^{2s} \ln r^2$ 的性质（在 $r \ge 1$ 时严格递增，在 $r < 1$ 时为负），通过优化半径 $R$ 来建立 $M_2$ 与 $A$ 之间的不等式关系。
  • 特别处理了低频区域（$|\xi| < 1$）带来的负值贡献，证明了即使存在负值，只要 $A$ 足够大，主项仍由高频部分主导。
• 应用：
  • 利用特征函数的傅里叶变换构造密度函数 $f(\xi) = \sum_{j=1}^k |\hat{\phi}_j(\xi)|^2$。
  • 应用 Plancherel 定理和 Bessel 不等式确定 $A=k$ 和 $f$ 的上界 $M_1$。
  • 将引理结果代入，直接导出特征值之和的下界。

B. 上界估计 (Upper Bound)

• 理论基础：基于 Kröger 型方法，利用截断平面波（Cutoff Plane Waves）构造试探函数。
• 构造试探函数：
  • 定义截断函数 $w_\sigma(x)$，在边界层附近从 1 平滑过渡到 0。
  • 构造 $v_\sigma(z, x) = w_\sigma(x) e^{-ix \cdot z}$。
  • 利用谱投影算子 $P_k$ 将 $v_\sigma$ 投影到前 $k$ 个特征函数的正交补空间上，得到 $v_{\sigma, k}$。
• Rayleigh-Ritz 原理：
  • 利用 $v_{\sigma, k}$ 作为试探函数，通过计算瑞利商（Rayleigh quotient）的上界来估计 $\lambda_{k+1}$，进而求和。
• 关键估计 (Lemma 3.1)：
  • 证明了截断平面波在算子作用下的能量估计：
    $$\int_{B_r} \int_\Omega v_\sigma (-\Delta)^{s+\ln} v_\sigma \le M_{s,\ln}(r) \int w_\sigma^2 + \Psi_{s,\ln}(r, \sigma)$$
  • 其中 $M_{s,\ln}(r)$ 是符号在球 $B_r$ 上的积分主项，$\Psi$ 是依赖于边界层厚度 $\sigma$ 的余项。
• 参数优化：
  • 精心选择截断半径 $r_k$ 和边界层宽度 $\sigma$（随 $k$ 变化），使得主项主导，余项可控（$O(k^{1+2s/n})$）。
  • 利用边界层的几何性质（$|\Omega_\sigma| \le C \sigma$）控制误差项。

3. 主要贡献与结果 (Key Contributions & Results)

A. 渐近公式的严格化

文章不仅确认了特征值之和的渐近行为，还给出了带有明确常数的严格上下界，填补了该算子谱理论中的空白。

B. 下界结果 (Theorem 2.5)

对于 $k \ge (2\pi)^{-n}\omega_n |\Omega|$，有：
$$\sum_{j=1}^k \lambda_j^{s+\ln}(\Omega) \ge \frac{2}{n+2s}(2\pi)^{2s} (\omega_n |\Omega|)^{-2s/n} k^{1+2s/n} \left( \ln \frac{(2\pi)^n k}{\omega_n |\Omega|} - \frac{n}{n+2s} \right)$$

• 推论：当 $k$ 足够大时，特征值之和严格为正，且给出了保证 $\lambda_1^{s+\ln}(\Omega) > 0$ 的区域体积条件。

C. 上界结果 (Theorem 3.2)

对于足够大的 $k$，存在常数 $C$ 使得：
$$\sum_{j=1}^k \lambda_j^{s+\ln}(\Omega) \le \frac{2}{n+2s}(2\pi)^{2s} (\omega_n |\Omega|)^{-2s/n} k^{1+2s/n} \ln k + C k^{1+2s/n}$$

D. 结构发现

结果揭示了分数阶对数拉普拉斯算子的谱结构具有乘积性质：

• 增长阶数 $k^{1+2s/n} \ln k$ 是分数阶部分 $k^{1+2s/n}$ 和对数修正 $\ln k$ 的乘积。
• 主项系数也相应地分解为分数阶系数与对数系数的乘积。这表明该算子的谱行为完美地继承了其组成部分（分数阶拉普拉斯和对数拉普拉斯）的特性。

4. 意义与影响 (Significance)

1. 理论完善：解决了非局部算子中符号非单调带来的技术难题，扩展了 Berezin-Li-Yau 和 Kröger 不等式的应用范围，使其覆盖到“分数阶 - 对数”这一混合类型算子。
2. 物理与几何意义：
   • 该算子作为分数阶拉普拉斯算子关于阶数参数的导数，在研究分数阶算子的谱稳定性、参数依赖性以及奇异极限问题中具有重要意义。
   • 结果揭示了从纯幂律（分数阶）到纯对数（对数拉普拉斯）过渡中的中间态行为，为理解非局部算子的谱几何提供了新的视角。
3. 方法论创新：
   • 在处理低频非单调符号时，通过精细的积分不等式优化（Lemma 2.4）克服了传统单调性假设失效的问题。
   • 在截断平面波估计中，成功控制了非局部算子特有的长程相互作用带来的边界层误差。

总结：该论文通过严谨的变分分析和傅里叶技术，成功建立了分数阶对数拉普拉斯算子特征值之和的 Sharp 上下界，证实了其渐近行为符合预期的混合尺度规律，为非局部算子谱理论的重要补充。