[论文解读] Singular eigenvalue problems on the circle

Volodymyr A. Mikhailets, Volodymyr Molyboga|arXiv (Cornell University)|Mar 11, 2014

Spectral Theory in Mathematical Physics参考文献 4被引用 13

一句话总结

本文为圆周上非自伴微分算子 $ L_m(V) = (-1)^m \frac{d^{2m}}{dx^{2m}} + V $ 的特征值建立了统一的渐近估计，其中 $ V \in H_{\text{per}}^{-m}[-1,1] $ 为奇异复值双周期分布。通过傅里叶分析与加权序列空间中的摄动技术，证明了特征值 $ \lambda_{2n-1}, \lambda_{2n} $ 在 $ n^{2m}\pi^{2m} $ 附近聚集，误差为 $ o(n^m) $，且在 $ H_{\text{per}}^{-m} $ 中有界集上关于 $ V $ 一致成立。该结果将先前结果推广至奇异势和高阶算子。

ABSTRACT

The eigenvalue problem on the circle for the non-self-adjoint operators $L_{m}(V)=(-1)^{m}\frac{d^{2m}}{dx^{2m}}+V$, $m\in \mathbb{N}$ with singular complex-valued 2-periodic distributions $V\in H_{per}^{-m}[-1,1]$ is studied. Asymptotic formulae for the eigenvalues uniformly in $V$ in the space $H_{per}^{m}[-1,1]$ and local uniformly in $V$ in the space $H_{per}^{-m}[-1,1]$ are found.

研究动机与目标

• 推导圆周上非自伴微分算子 $ L_m(V) $ 的特征值统一渐近公式，其中势函数 $ V \in H_{\text{per}}^{-m}[-1,1] $ 为奇异复值分布。
• 在 $ H_{\text{per}}^{-m} $ 空间中建立关于 $ V $ 的局部一致性，推广已知的 $ m=1 $ 情形结果。
• 分析 $ L_m(V) $ 的谱结构，表明其具有离散谱，且特征值实部趋于无穷。
• 为分布势情形下的特征值渐近行为提供一个框架，推广平滑情形下的已有结果。

提出的方法

• 在周期性 Sobolev 空间 $ H_{\text{per}}^s[-1,1] $ 中，通过傅里叶级数表示函数与分布，并将其识别为加权 $ \ell^2 $-序列。
• 利用卷积引理分析傅里叶空间中乘法算子 $ V \cdot f $ 的卷积形式。
• 在空间 $ \mathcal{L}(h^{-m,n}) $ 中应用摄动理论，将 $ V $ 视为主部算子 $ (-1)^m \frac{d^{2m}}{dx^{2m}} $ 的摄动。
• 通过 Neumann 级数展开构造预解式 $ (\lambda - D_m - B_0 - B_1)^{-1} = L_\lambda^{-1} + L_\lambda^{-1} T_\lambda (B_1 L_\lambda^{-1}) + \cdots $，确保当 $ \|v_1\|_{h^{-m}} $ 足够小时级数收敛。
• 利用 Riesz 投影比较 $ D_m + B_0 $ 与 $ D_m + B_0 + B_1 $ 的谱，证明二者在闭合曲线内具有相同数量的特征值。
• 将 $ v \in h^{-m} $ 分解为 $ v_0 \in h^m $ 与 $ v_1 \in h^{-m} $，且满足 $ \|v_1\|_{h^{-m}} $ 较小，从而实现摄动控制。

实验结果

研究问题

• RQ1 当 $ V \in H_{\text{per}}^{-m}[-1,1] $ 为奇异复值分布时，非自伴算子 $ L_m(V) = (-1)^m \frac{d^{2m}}{dx^{2m}} + V $ 的特征值如何渐近分布？
• RQ2 能否推导出对 $ H_{\text{per}}^{-m} $ 中有界集上所有 $ V $ 一致成立的特征值统一渐近估计？
• RQ3 算子 $ L_m(V) $ 的谱结构如何，特别是其在复平面上的特征值分布与增长性？
• RQ4 当 $ V $ 不光滑而仅属于 $ H_{\text{per}}^{-m} $ 时，特征值的渐近行为如何变化？

主要发现

• 对任意 $ V \in H_{\text{per}}^{-m}[-1,1] $，存在 $ \varepsilon > 0 $，$ M \geq 1 $，以及 $ n_0 \in \mathbb{N} $，使得对所有满足 $ \|W - V\|_{-m} \leq \varepsilon $ 的 $ W \in H_{\text{per}}^{-m}[-1,1] $，算子 $ L_m(W) $ 的谱在有界锥 $ T_{M,n_0} $ 内恰好包含 $ 2n_0 - 1 $ 个特征值。
• 对所有 $ n \geq n_0 $，特征值 $ \lambda_{2n-1}(W) $ 与 $ \lambda_{2n}(W) $ 落在以 $ n^{2m}\pi^{2m} $ 为中心、半径为 $ n^m $ 的圆盘内。
• 对任意 $ R \geq 0 $，当 $ n \to \infty $ 时，特征值满足 $ \lambda_{2n-1}(m,W), \lambda_{2n}(m,W) = n^{2m}\pi^{2m} + o(n^m) $，且对满足 $ \|W - V\|_{-m} \leq R $ 的 $ W $ 一致成立。
• 即使对 $ m = 1 $ 情形，渐近公式 (1.3) 也具有新颖性，将先前结果推广至奇异势情形。
• $ L_m(V) $ 的谱是离散的，由特征值构成，且按词典序排列时满足 $ \operatorname{Re}(\lambda_k) \to +\infty $（当 $ k \to \infty $ 时）。
• $ L_m(V) $ 是闭算子，其预解集非空，且具有紧预解式，从而保证谱为离散。