🔢 mathematics

On the Integrated Density of States of Fractional Random Schrödinger Operators

本文利用各向同性的 $\alpha$ -稳定列维过程，建立了具有高斯势的分数阶随机薛定谔算子的积分态密度，同时证明了利夫希茨尾部现象并确定了其在谱右端的渐近行为。

原作者： Peter Kern, Leonard Pleschberger

发布于 2026-09-16

📖 1 分钟阅读🧠 深度阅读

原作者： Peter Kern, Leonard Pleschberger

原始论文采用 CC BY 4.0 许可（http://creativecommons.org/licenses/by/4.0/）。 ✨ 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。阅读完整免责声明

在量子世界中，粒子的运动并不像在桌面上滚动的微型台球那样。相反，它们的行为更像波，会扩散并相互干涉。为了预测这些粒子可能出现的位置，物理学家使用一种被称为薛定谔算符（Schrödinger operator）的数学工具。可以将这个工具想象成一张描述粒子所穿越的能量景观图。在一个完美、空旷的宇宙中，这种景观是平滑且可预测的。但在现实世界中，物质是混乱的。随机的杂质、波动的场和混沌的环境创造了一个崎岖、不可预测的地形。当科学家研究粒子在这些混乱环境中的行为时，他们研究的是所谓的随机薛定谔算符（random Schrödinger operator）。其目标是统计在特定能级之下，有多少种不同的能量状态可供粒子使用。这种计数被称为积分态密度（integrated density of states），它就像是一次对量子可能性的普查，告诉我们不同点位的能量水平有多拥挤。

几十年来，研究人员已经了解了当粒子以我们在日常生活中常见的标准连续方式运动时，这种普查是如何运作的。然而，大自然有时允许粒子以更奇特的方式运动，即进行突然的长距离跳跃，而不是平滑的步进。这种行为由分数阶拉普拉斯算符（fractional Laplacian）来描述，它支配着遵循特定类型随机运动（即列维过程/Lévy process）的粒子。这些粒子具有自相似性，这意味着无论你放大还是缩小观察，它们的运动模式看起来都是一样的，但它们是不连续的；它们可以跨越间隙进行“瞬间移动”。直到现在，对于这些在受到随机、混乱环境影响时的跳跃粒子，如何统计其能量状态仍是不明确的。

在最近的一项研究中，彼得·科恩（Peter Kern）和莱昂纳德·普莱斯奇贝尔格（Leonard Pleschberger）通过证明这些分数阶随机算符的能量状态普查（即积分态密度）确实存在，解决了这一问题。他们专注于两种类型的混乱环境：一种随机性来自被称为高斯势（Gaussian potential）的平滑钟形曲线分布，另一种随机性来自类似于泊松势（Poissonian potential）的散射点。研究人员表明，即使存在这些奇怪的跳跃粒子和混沌环境，可用能量状态的数量也是定义明确且可以计算的。他们不仅证明了其存在性，还确定了这种计数在能量谱的最低端和最高端究竟是如何表现的。

在低能级处，研究人员发现可用状态的数量下降得极其迅速，遵循一种被称为利夫希茨尾部（Lifshitz tails）的模式。这意味着当你寻找极低能量状态时，它们会变得微乎其微。令人惊讶的是，这些状态消失的速度完全取决于随机环境的性质，而不是粒子跳跃的具体方式。无论粒子是以标准方式运动还是进行长距离的分数阶跳跃，低能行为都受景观本身混乱程度的支配。这一发现表明，在能量标尺的底部，运动的具体规则不如粒子遇到的随机障碍物那么重要。

在能谱的另一端，即观察极高能量水平时，情况发生了变化。在这里，研究人员发现能量状态的行为仅取决于粒子的跳跃特性，特别是控制它们倾向于跳跃多远的参数。随机环境的类型——无论是平滑的高斯类还是散射的泊松类——都不会影响高能计数。研究人员能够计算出这种增长的精确数学关系，表明状态数量的增长是以空间维度和粒子跳跃性为依据进行可预测的增长。

这项研究依赖于这些算符的数学与随机过程的概率论之间的深层联系。通过将粒子视为在随机景观中旅行的旅者，并利用一个将它们的运动与其能量联系起来的公式，作者能够将一个困难的物理问题转化为一个可解的概率问题。他们证明了对于平滑的高斯环境，低能下降是由随机场的方差决定的，而高能增长是由跳跃参数决定的。对于散射的泊松环境，他们证实了高能行为遵循与高斯情况相同的规则，仅取决于跳跃参数。

这项工作填补了我们对无序介质中量子系统理解的一个重要空白。它证实了即使在底层运动是非局域且不连续的情况下，统计能量状态的概念仍然有效。研究人员证明，即使在最混沌的设定下，量子可能性的宇宙也是有序的，具有分别支配能量谱两端的不同规则。低端受环境混沌的支配，而高端受运动本质本身的支配。这些结果为未来研究可能不按传统连续方式运动的复杂量子材料提供了坚实的基础。

技术摘要：关于分数阶随机薛定谔算子的积分态密度

问题陈述
本文研究了定义在 $\mathbb{R}^d$ 上的分数阶随机薛定谔算子的谱性质，该算子由方程如下给出：
$H_\omega := (-\Delta)^{\alpha/2} + V_\omega$
其中 $\alpha \in (0, 2]$ ，且 $V_\omega$ 代表随机势能（具体为高斯或泊松势能）。主要目标是建立积分态密度（Integrated Density of States, IDS）的存在性，记作 $IDS(\lambda)$ ，它表征了直到能量水平 $\lambda$ 的平均单位体积量子态数。此外，作者旨在确定 IDS 在谱的左端（ $\lambda \to -\infty$ ）和右端（ $\lambda \to +\infty$ ）的精确渐近行为。

这项工作的关键区别在于使用了分数阶拉普拉斯算子 $(-\Delta)^{\alpha/2}$ ，这是一个非局部算子，而非经典的拉普拉斯算子（ $\alpha=2$ ）。作者指出，虽然对于 $\alpha=2$ （经典情况）的存在性和渐近性已由 Nakao [16] 以及针对泊松势能由 $\bar{\text{Ok}}$ ura [18] 进行的推广所建立，但针对具有高斯势能的分数阶算子的特定渐近行为，仍需要进一步的严格分析。

方法论
作者采用了基于各向同性 $\alpha$ -稳定莱维过程（isotropic $\alpha$ -stable Lévy processes）理论的概率方法。该方法论依赖于以下核心组成部分：

随机表示： 分数阶拉普拉斯算子被视为与各向同性 $\alpha$ -稳定莱维过程 $X_t$ 相关的强连续半群的生成元。算子 $H_\omega$ 通过 Feynman-Kac 公式进行分析，该公式将半群 $e^{-tH_\omega}$ 与莱维过程泛函的期望联系起来：
$e^{-tH_\omega}[\psi](x) = \mathbb{E}_x \left[ e^{-\int_0^t V_\omega(X_s) ds} \psi(X_t) \right]$
对于有界区域 $\Lambda$ ，施加 Dirichlet 外部条件，这对应于过程从该区域内的首次退出时间 $\tau_\Lambda$ 。
存在性证明： 通过应用 $\bar{\text{Ok}}$ ura [18] 的一般定理来导出 IDS 的存在性。这涉及验证关于莱维指数 $Q(\xi) = |\xi|^\alpha$ 以及势能负部分 $V_\omega^-$ 的指数矩的可积性两个条件。
通过拉普拉斯变换进行渐近分析： 为了确定 IDS 的渐近行为，作者分析了 IDS 的拉普拉斯-斯蒂尔杰斯变换（Laplace-Stieltjes transform） $L[IDS](t)$ 。
- 左端 ( $\lambda \to -\infty$ )： 当 $t \to +\infty$ 时，利用从 $\bar{\text{Ok}}$ ura 工作中得到的界限以及狄利克雷形式（Dirichlet form）的性质来分析 $L[IDS](t)$ 的行为。随后应用 Tauberian 定理（Fukushima, Nagai, and Nakao [7]），将变换在无穷远处的渐近行为转化为 $-\infty$ 处 IDS 的行为。
- 右端 ( $\lambda \to +\infty$ )： 推导正单侧拉普拉斯-斯蒂尔杰斯变换在 $t \to 0$ 时的行为。这依赖于各向同性 $\alpha$ -稳定莱维过程的标度性质，以及在 $t \to 0$ 极限下势能项变得可以忽略不计的事实。使用 Hardy-Littlewood 型 Tauberian 定理来推导 IDS 在 $+\infty$ 处的多项式增长。

主要贡献与结果

IDS 的存在性： 本文证明了对于具有平稳高斯势能的分数阶随机薛定谔算子，IDS 是存在的。这扩展了以往主要关注经典拉普拉斯算子（ $\alpha=2$ ）或泊松势能的结果。
Lifshitz 尾部（左端）： 作者证明了 IDS 表现出 Lifshitz 尾部特征，即在 $\lambda \to -\infty$ 时呈现指数衰减。具体而言，对于协方差为 $c(x)$ 的高斯势能，其渐近行为由下式给出：
$\lim_{\lambda \downarrow -\infty} \frac{\ln IDS(\lambda)}{\lambda^2} = -\frac{1}{2c(0)}$
至关重要的是，作者表明这种渐近行为独立于分数阶 $\alpha \in (0, 2)$ 。衰减率完全由随机势能的局部性质（特别是原点处的协方差）决定。
右端渐近行为： 本文确定了对于高斯和泊松势能，当 $\lambda \to +\infty$ 时 IDS 的渐近行为。在这两种情况下，IDS 呈多项式增长：
$\lim_{\lambda \to +\infty} \frac{IDS(\lambda)}{\lambda^{d/\alpha}} = \frac{p(1, 0)}{\Gamma(d/\alpha + 1)}$
其中 $p(1, 0)$ 是各向同性 $\alpha$ -稳定莱维过程在时间 $t=1$ 且位置为 $0 $时的转移密度。与左端不同，右端的渐近行为**依赖于**分数阶参数$ \alpha$。
统一处理： 本文提供了一个统一的框架，表明虽然左端行为由势能主导，但右端行为是由动力学（算子）主导的。

意义与主张
本文声称，由于各向同性 $\alpha$ -稳定莱维过程具有自相似性（尽管不是连续的），自相似性是这些量子算子的一个基本概念。其主要意义在于严格建立了分数阶情形下具有高斯势能的 IDS 的存在性，并阐明了随机势能与分数阶动力学项在决定谱渐近行为中的不同作用。

作者明确指出，其随机证明方法不同于 Nakao 用于经典情况的技巧 [16]。他们强调，其结果证实了“Lifshitz 尾部”现象（谱底部的指数衰减）对于引入非局部性（分数阶拉普拉斯算子）具有鲁棒性，因为其衰减率与经典情况保持一致。相反，高能行为被证明对分数阶 $\alpha$ 是敏感的，反映了算子的非局部性质。

该工作并未提出新的实验应用或未来的物理模型，而是作为理解受非局部动力学支配的无序量子系统谱统计学的数学基础。

类似论文