[论文解读] Spectral estimates for periodic fourth order operators

Andrey Badanin, Evgeny Korotyaev|ArXiv.org|Aug 5, 2008

Spectral Theory in Mathematical Physics参考文献 18被引用 6

一句话总结

本文分析了实直线上具有1-周期系数的周期性四阶微分算子 $ H = \frac{d^4}{dt^4} + \frac{d}{dt}p\frac{d}{dt} + q $ 的谱性质。通过使用两叶黎曼曲面和李雅普诺夫函数，该文利用周期性、反周期性和共振特征值刻画了谱结构，证明了高能渐近行为、谱的大多数部分具有二重性，以及在何种条件下存在无穷多个谱隙或低能谱带具有四重性。

ABSTRACT

We consider the operator $H={d^4dt^4}+{ddt}p{ddt}+q$ with 1-periodic coefficients on the real line. The spectrum of $H$ is absolutely continuous and consists of intervals separated by gaps. We describe the spectrum of this operator in terms of the Lyapunov function, which is analytic on a two-sheeted Riemann surface. On each sheet the Lyapunov function has the standard properties of the Lyapunov function for the scalar case. We describe the spectrum of $H$ in terms of periodic, antiperiodic eigenvalues, and so-called resonances. We prove that 1) the spectrum of $H$ at high energy has multiplicity two, 2) the asymptotics of the periodic, antiperiodic eigenvalues and of the resonances are determined at high energy, 3) for some specific $p$ the spectrum of $H$ has an infinite number of gaps, 4) the spectrum of $H$ has small spectral band (near the beginner of the spectrum) with multiplicity 4 and its asymptotics are determined as $p o 0, q=0$.

研究动机与目标

• 刻画具有1-周期系数的四阶周期微分算子的绝对连续谱。
• 通过在两叶黎曼曲面上使用李雅普诺夫函数，以周期性、反周期性和共振特征值的形式描述谱结构。
• 分析特征值的高能渐近行为以及谱带的重数结构。
• 确定谱具有无穷多个谱隙或低能带具有四重性的条件。

提出的方法

• 从四阶常微分方程的基本解构造单值矩阵 $ M(\lambda) $，其特征值（乘子）决定谱条件 $ |\tau| = 1 $。
• 定义李雅普诺夫函数 $ \Delta_1, \Delta_2 $ 为 $ \frac{1}{2}(\tau_\nu + \tau_\nu^{-1}) $，它们是在由 $ \sqrt{\rho} $ 定义的两叶黎曼曲面上的解析分支，其中 $ \rho = \frac{T_2 + 1}{2} - T_1^2 $。
• 谱被识别为 $ \sigma(H) = \{ \lambda \in \mathbb{R} : \Delta_\nu(\lambda) \in [-1,1] \text{ 对于 } \nu = 1,2 \} $，重数由两个集合 $ \Delta_\nu \in [-1,1] $ 的交集决定。
• 利用当 $ |\lambda| \to \infty $ 时 $ \Delta_1(\lambda) \sim \cosh z $ 和 $ \Delta_2(\lambda) \sim \cos z $ 的渐近展开（其中 $ z = \lambda^{1/4} $），推导出高能谱行为。
• 共振被定义为 $ \rho $ 的零点，其分布和实性通过解析性与对称性性质进行分析。
• 该方法包括构造基本矩阵解 $ \mathcal{M}(t,\lambda) $，通过引入指数权重将问题转化为矩阵系统，并利用 $ z^{-1} $ 的摄动理论推导单值矩阵的渐近展开。

实验结果

研究问题

• RQ1 四阶周期算子 $ H $ 的谱如何分解为周期性、反周期性和共振特征值？
• RQ2 算子 $ H $ 的周期性与反周期性特征值及共振的高能渐近行为如何？
• RQ3 在何种条件下算子 $ H $ 的谱包含无穷多个谱隙？
• RQ4 谱带的重数由什么决定，特别是靠近原点的低能带？
• RQ5 当 $ p \to 0 $ 且 $ q = 0 $ 时，谱如何表现，特别是低能谱带的存在性与大小？

主要发现

• 在高能区域，$ H $ 的谱具有二重性，这由渐近行为 $ \Delta_1(\lambda) \sim \cosh z $ 和 $ \Delta_2(\lambda) \sim \cos z $ 推出，表明对于大的 $ |\lambda| $，仅有一个李雅普诺夫函数位于 $ [-1,1] $ 内。
• 周期性与反周期性特征值 $ \lambda_{2n}^{\pm}, \lambda_{2n-1}^{\pm} $ 具有渐近展开 $ \sim (1+i)^4 \pi^4 n^4 $，当 $ n \to \infty $ 时，其推导基于 $ \Delta_\nu $ 在 $ \lambda = \infty $ 附近的性质。
• 对于某些 $ p $，算子 $ H $ 的谱具有无穷多个谱隙，因为 $ \rho $ 在 $ (-\Gamma, \Gamma) $ 内实零点的数量无界增长，意味着存在无穷多个共振，从而导致无穷多个谱隙。
• 在原点附近，当 $ p \to 0 $ 且 $ q = 0 $ 时，谱具有一个四重性的低能带，对应于 $ s_1 \cap s_2 $，其渐近行为通过单值矩阵的摄动分析确定。
• 矩阵 $ \Phi = (I_4 + \Omega W_0/(4z))^{-1}(I_4 + \Omega W_1/(4z)) $ 提供了单值矩阵的摄动展开，得到 $ \phi_{kj}(\lambda) $ 关于 $ z^{-1} $ 的渐近公式，其中 $ \phi_{01}(\lambda) = (1-i)\xi^2 \widehat{p_n'} + O(\xi^3) $，当 $ z = (1+i)\pi n + O(n^{-1}) $ 时成立。
• 对 $ \phi_{jj}(\lambda) $ 的渐近展开给出 $ \phi_{jj}(\lambda) = 1 - \frac{\omega_j^3 \widehat{p}_0}{4z} + \frac{\omega_j^2 \widehat{p}_0^2}{32z^2} + O(z^{-3}) $，该式决定了迹和谱不变量的高能行为。