[论文解读] Spectral Analysis of the Non-self-adjoint Mathieu-Hill Operator

O. A. Veliev|arXiv (Cornell University)|Feb 21, 2012

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

一句话总结

本文通过推导 $ t $-周期算子 $ H_t $ 的特征值的统一渐近公式，建立了复周期势 $ q(x) = ae^{-i2\pi x} + be^{i2\pi x} $ 的非自伴 Mathieu-Hill 算子在何种条件下为渐近谱算子的必要与充分条件，证明了无穷远处谱奇异性的缺失当且仅当 $ |a| = |b| $ 且 $ \arg(ab) $ 满足某种丢番图型条件。

ABSTRACT

We obtain uniform, with respect to t asymptotic formulas for the eigenvalues of the operators generated in (0,1) by the Mathieu-Hill equation with a complex-valued potential and by the t-periodic boundary conditions. Then using it we investigate the non-self-adjoint Mathieu-Hill operator H generated in the allreal line by the same equation and establish the necessary and sufficient conditions for the potential for which H has no spectral singularity at infinity and it is an asymptotically spectral operator.

研究动机与目标

• 推导 $ H_t $ 的特征值 $ \lambda_n(t) $ 的统一渐近公式，适用于 $ t \in (-\pi, \pi] $，显式依赖于复势参数。
• 研究全非自伴算子 $ H $ 在 $ (-\infty, \infty) $ 上的谱奇异结构，特别关注无穷远处的奇异点。
• 确定势参数 $ a $ 和 $ b $ 的必要与充分条件，使得 $ H $ 为渐近谱算子且在无穷远处无谱奇异点。
• 阐明 $ ab $ 的辐角在决定算子谱性质中的作用，而非仅依赖于 $ ab $ 本身，与早期关于谱依赖性的结果形成对比。

提出的方法

• 利用周期微分算子的谱理论与 Floquet 解，推导出 $ H_t $ 的特征值 $ \lambda_n(t) $ 在大 $ n $ 时的统一渐近展开。
• 应用文献 [14] 和 [13] 中关于在 $ L^1 $-正则性及傅里叶系数衰减假设下的特征值渐近与特征函数展开结果。
• 通过迹公式与单值矩阵分析，推导出特征值扰动与预解式行为的表达式。
• 分析对偶特征函数及其内积，以控制谱投影的一致有界性。
• 基于 $ (2\pi n + t)^2 $ 附近的特征值间隙结构，建立通过 $ \operatorname{Re}((ab)^{2n}) $ 的渐近行为与 $ \arg(ab)/\pi $ 的丢番图条件所导出的判别准则。
• 应用文献 [9] 中的准则：$ H $ 为谱算子当且仅当谱投影在 $ t $ 上一致有界，并将其推广至渐近谱性。

实验结果

研究问题

• RQ1 在复势 $ q(x) = ae^{-i2\pi x} + be^{i2\pi x} $ 的何种条件下，非自伴 Mathieu-Hill 算子 $ H $ 为渐近谱算子？
• RQ2 算子 $ H $ 在何时无无穷远处的谱奇异点，这与参数 $ a $ 和 $ b $ 的关系如何？
• RQ3 算子 $ H $ 的谱结构如何依赖于乘积 $ ab $ 的辐角？为何这种依赖性不同于仅依赖于 $ ab $ 本身？
• RQ4 能否在完整区间 $ t \in (-\pi, \pi] $ 上，包括 $ t=0 $ 和 $ t=\pi $ 附近，推导出 $ H_t $ 特征值的统一渐近公式？需要何种条件？
• RQ5 关于 $ \arg(ab)/\pi $ 的丢番图型条件在确保谱奇异性的缺失中起何精确作用？

主要发现

• 对于大 $ |n| $，$ H_t $ 的特征值 $ \lambda_n(t) $ 具有一致渐近展开 $ \lambda_n(t) = (2\pi n + t)^2 + O(n^{-1}\ln|n|) $，在任意 $ \rho > 0 $ 的区间 $ t \in [\rho, \pi - \rho] $ 上一致成立。
• 当 $ t \in [0, \rho] \cup [\pi - \rho, \pi] $ 时，位于圆盘 $ |\lambda - (2\pi n + t)^2| \leq 15\pi n\rho $ 内的特征值 $ \lambda_{n,1}(t), \lambda_{n,2}(t) $ 对于大 $ n $ 是单重且关于 $ t $ 解析的，其渐近行为由判别式 $ D(\lambda, t) $ 控制。
• 无穷远处的谱奇异点不存在当且仅当 $ |a| = |b| $ 且 $ \inf_{q,p \in \mathbb{N}} |q\alpha - (2p-1)| > 0 $，其中 $ \alpha = \pi^{-1} \arg(ab) $。
• 算子 $ H $ 为渐近谱算子当且仅当 $ |a| = |b| $ 且 $ \arg(ab) $ 满足丢番图条件，该条件确保了谱投影的一致有界性。
• 关键条件依赖于 $ \arg(ab) $ 而非仅 $ ab $，如注记 5 中的反例所示：虽然谱依赖于 $ ab $，但渐近谱性依赖于 $ ab $ 的辐角。
• 内积 $ (\Psi_{n,1,t}, \Psi_{n,1,t}^*) $ 在 $ t $ 上一致远离零与无穷大，这对谱投影的一致有界性（从而渐近谱性）至关重要。