[论文解读] Lieb-Thirring type inequalities for non self-adjoint perturbations of magnetic Schr\\"odinger operators

Diomba Sambou|arXiv (Cornell University)|Jan 22, 2013

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

一句话总结

该论文为二维和三维磁 Schrödinger 算子的非自伴扰动建立了 Lieb-Thirring 型不等式，提供了关于离散本征值在 Landau 能级附近分布的 $a\text{ priori}$ 估计。通过使用夹 sandwich 的 resolvent 估计和复分析技术，证明了本征值簇的 $L^p$-范数界，量化了在 $L^p$-可积和有界势扰动下，本征值向 Landau 能级的收敛速率和局域化特性。

ABSTRACT

Let $H := H_{0} + V$ and $H_{\\perp} := H_{0,\\perp} + V$ be respectively perturbations of the free Schr\\"odinger operators $H_{0}$ on $L^{2}\\big(\\mathbb{R}^{2d+1}\\big)$ and $H_{0,\\perp}$ on $L^{2}\\big(\\mathbb{R}^{2d}\\big)$, $d \\geq 1$ with constant magnetic field of strength $b>0$, and $V$ is a complex relatively compact perturbation. We prove Lieb-Thirring type inequalities for the discrete spectrum of $H$ and $H_{\\perp}$. In particular, these estimates give $a\\, priori$ information on the distribution of the discrete eigenvalues around the Landau levels of the operator, and describe how fast sequences of eigenvalues converge.

研究动机与目标

• 推导非自伴磁 Schrödinger 算子在 $\mathbb{R}^{2d}$ 和 $\mathbb{R}^{2d+1}$ 上的离散谱的定量 Lieb-Thirring 型不等式。
• 为常数磁场诱导的 Landau 能级附近的离散本征值的分布和收敛速率提供 $a\text{ priori}$ 估计。
• 建立本征值计数函数的 $L^p$-范数界，其表达式以势的 $L^p$ 和 $L^\infty$ 范数表示。
• 分析 $H = H_0 + V$ 和 $H_\perp = H_{0,\perp} + V$ 在复相对紧扰动 $V$ 下的谱行为。
• 将经典 Lieb-Thirring 估计推广至含磁场所致无限重数 Landau 能级的非自伴情形。

提出的方法

• 在 $L^p$-Schatten 范数下使用夹 sandwich 的 resolvent 估计 $F(H_0 - \lambda)^{-1}G$ 和 $F(H_{0,\perp} - \lambda)^{-1}$，利用磁哈密顿量的结构。
• 通过 M"obius 变换 $\varphi_\mu(\lambda) = (\lambda - \mu)^{-1}$ 应用复分析，将谱区域映射，并将 $\lambda$-平面上的距离估计与 $\varphi_\mu(\lambda)$-平面上的距离关联。
• 定义谱集 $A = \bigcup_j B(\Lambda_j, 2r_j)$ 和 $D = \mathbb{C} \setminus A$，其中 $r_j = \text{dist}(\Lambda_j, E \setminus \{\Lambda_j\}) = 2b$，以隔离本征值可能聚集的区域。
• 推导距离估计：对 $\lambda \in A$，有 $\text{dist}(\varphi_\mu(\lambda), \varphi_\mu(E)) \geq C \cdot \text{dist}(\lambda, E) / (1 + \|V\|_\infty)^2 (1 + |\lambda|)^2$。
• 利用 Weyl 判别法和 Fredholm 理论，确认 $H_0$ 的本质谱为 $[\Lambda_0, \infty)$，$H_{0,\perp}$ 的本质谱为 $\{\Lambda_j\}_{j \in \mathbb{N}}$，确保离散谱仅在这些集合上聚集。
• 建立 $L^p$-界：$\sum_{\lambda \in \sigma_d(H_\perp)} \frac{\text{dist}(\lambda, E)^p}{(1 + |\lambda|)^{2p}} \leq C_1 \|F\|_{L^p}^p (1 + \|V\|_\infty)^{2p}$，其中 $C_1$ 依赖于 $p$、$b$ 和 $d$。

实验结果

研究问题

• RQ1 如何将 Lieb-Thirring 型不等式推广至磁 Schrödinger 算子的非自伴扰动？
• RQ2 在复相对紧势下，如何对靠近 Landau 能级的离散本征值的 $L^p$-范数施加定量界？
• RQ3 当 $V$ 为复数且满足 $|V(x)| \leq C F(x) G(x)$，$F \in L^p$，$G \in L^2 \cap L^\infty$ 时，$H = H_0 + V$ 和 $H_\perp = H_{0,\perp} + V$ 的谱分布行为如何？
• RQ4 M"obius 变换 $\varphi_\mu(\lambda) = (\lambda - \mu)^{-1}$ 在关联复平面上谱距离方面起什么作用？
• RQ5 能否通过 Schatten 范数估计量化 Landau 能级附近本征值序列的收敛速率和局域化？

主要发现

• 论文为 $H_\perp = H_{0,\perp} + V$ 的离散谱建立了 $L^p$-范数界，表明 $\sum_{\lambda \in \sigma_d(H_\perp)} \frac{\text{dist}(\lambda, E)^p}{(1 + |\lambda|)^{2p}} \leq C_1 \|F\|_{L^p}^p (1 + \|V\|_\infty)^{2p}$，其中 $C_1 = C(p, b, d)$。
• 对 $\lambda \in D = \mathbb{C} \setminus \bigcup_j B(\Lambda_j, 2r_j)$，有 $\frac{1}{2} \text{dist}(\lambda, E) \leq \text{dist}(\lambda, I) \leq \text{dist}(\lambda, E)$ 成立，控制了到本质谱的距离。
• 对 $\lambda \in A = \bigcup_j B(\Lambda_j, 4b)$，变换后的距离满足 $\text{dist}(\varphi_\mu(\lambda), \varphi_\mu(E)) \geq C \cdot \frac{\text{dist}(\lambda, E)}{(1 + \|V\|_\infty)^2 (1 + |\lambda|)^2}$，从而在变换后的平面上实现一致控制。
• $H_\perp$ 的本质谱为 $\{\Lambda_j\}_{j \in \mathbb{N}}$，$H$ 的本质谱为 $[\Lambda_0, \infty)$，离散谱仅在这些集合上聚集。
• 该方法依赖于 Schatten 类中的 resolvent 估计和 M"obius 变换，将谱信息从复平面转移到有界区域，从而实现一致的 $L^p$-界。
• 结果为 Landau 能级附近的本征值分布和密度提供了 $a\text{ priori}$ 控制，即使在 $V$ 非自伴时也成立，将经典 Lieb-Thirring 不等式推广至磁和非厄米情形。