[论文解读] On the discrete spectrum of non-selfadjoint operators

Michael Demuth, Marcel Hansmann+1 more|ArXiv.org|Aug 15, 2009

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

一句话总结

本文通过解析函数的复分析方法（其零点对应特征值），建立了非自伴算子在相对-施瓦茨类扰动下离散谱的定量界限。关键贡献是提出了一项新的特征值不等式，可控制特征值在本质谱附近的分布，该结果应用于复势能的薛定谔算子。

ABSTRACT

We prove quantitative bounds on the eigenvalues of non-selfadjoint unbounded operators obtained from selfadjoint operators by a perturbation that is relatively-Schatten. These bounds are applied to obtain new results on the distribution of eigenvalues of Schroedinger operators with complex potentials.

研究动机与目标

• 推导非自伴无界算子在自伴算子扰动下孤立特征值（离散谱）分布的定量估计。
• 建立特征值必须向本质谱 [0,∞) 或无穷远处聚集的条件，并给出明确的衰减速率。
• 将抽象结果应用于复势能的薛定谔算子，获得关于特征值分布的新界限。
• 证明扰动假设（相对 p-施瓦茨类且具有增长控制）在具体情形下是自然且可验证的。
• 利用复分析技术，对非自伴算子的已有 Lieb-Thirring 型不等式进行拓展与改进。

提出的方法

• 构造一个亚纯函数，其零点与扰动算子 H = H₀ + M 的特征值完全一致。
• 应用 Borichev、Golinskii 和 Kupin 的复分析结果，基于函数的边界增长行为来控制其零点。
• 利用扰动 M 的相对 p-施瓦茨条件，即 ‖M[λ − H₀]⁻¹‖_{S_p}^p ≤ K₀ |μ + i|^δ / (|Im(μ)|^α |μ|^ν)，来控制该亚纯函数的增长。
• 推导出涉及特征值到 [0,∞) 距离的特征值和不等式 (4)，并按 |λ| 及其实部与虚部的幂次加权。
• 通过估计 M_V 的预解式在施瓦茨范数下的性质，将抽象结果应用于复势能的薛定谔算子。
• 利用索伯列夫嵌入与 L^p 空间中的施瓦茨范数估计，验证扰动所需的增长条件 (2)。

实验结果

研究问题

• RQ1 在相对 p-施瓦茨类扰动下，非自伴算子的特征值向本质谱 [0,∞) 聚集的速度有多快？
• RQ2 扰动需满足何种条件，才能使离散谱在特定加权范数下可求和？
• RQ3 抽象的特征值界限能否应用于复势能的薛定谔算子，从而得出新的定量结果？
• RQ4 施瓦茨范数增长条件中的参数 δ, α, ν 如何影响特征值在本质谱附近的衰减速率？
• RQ5 复分析技术（针对具有指数边界增长的亚纯函数）在推导特征值估计方面可应用到何种程度？

主要发现

• 本文建立了通用的特征值和不等式 (4)，其控制了 H = H₀ + M 的特征值分布，依赖于扰动的施瓦茨范数及参数 α, δ, ν。
• 对于复势能 V ∈ L^p(R^d) 的薛定谔算子，该方法导出了新的 Lieb-Thirring 型不等式 (9) 和 (10)（当 p > d/2 时），控制 |λ|^{p+τ} 与到 [0,∞) 距离的幂次乘积之和。
• 不等式 (5) 表明，满足 |λ| ≥ ε 的特征值必须满足一个可求和条件，形式为 dist(λ, [0,∞))^{2η₁} / |λ|^{2η₁−η₃}，其显式依赖于 K₀ 和 ω₀。
• 结果表明，特征值不能向 [0,∞) 过快聚集，且聚集速率由参数 p, α, δ, ν 和 τ 明确定义。
• 该方法适用于一大类算子，包括复势能的薛定谔算子，所得结果是以往方法无法获得的新成果。
• 基于具有受控边界增长的亚纯函数的复分析证明技术，为非自伴谱理论中的特征值估计提供了一个稳健的框架。