[论文解读] The integrated density of states for an interacting multielectron homogeneous model

Frédéric Klopp, Heribert Zenk|ArXiv.org|Oct 17, 2003

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

一句话总结

该论文证明，在均匀背景势下，对于相互作用的多电子体系，若单体密度态数（IDS）存在，则多体哈密顿量的积分密度态数（IDS）与非相互作用自由电子哈密顿量的IDS一致。该结果源于电子-电子相互作用被限制在低维子流形上，因此在热力学极限下其影响可忽略。

ABSTRACT

For a system of n interacting electrons moving in the background of a "homogeneous" potential, we show that, if the single electron Hamiltonian admits a density of states, so does the interacting Hamiltonian. Moreover this integrated density of states coincides with that of the free electron Hamiltonian.

研究动机与目标

• 确定当单体哈密顿量存在时，均匀背景下相互作用n电子哈密顿量是否允许存在积分密度态数（IDS）。
• 研究在该条件下，相互作用体系的IDS是否与非相互作用体系的IDS不同。
• 分析电子-电子相互作用在热力学极限下的作用，特别是其在测度论上对体积分谱性质的影响。
• 建立多体系统IDS退化为自由哈密顿量IDS的条件，即使存在相互作用。
• 利用谱理论和迹估计，为相互作用多电子系统的IDS提供严格的数学框架。

提出的方法

• 将非相互作用n电子哈密顿量 $ H_n $ 定义为单体算符 $ H_1 = -\Delta + V_1 $ 的和，其中 $ V_1 $ 满足局部平方可积性及相对于 $ -\Delta $ 的无穷小有界性。
• 引入相互作用哈密顿量 $ H = -\Delta + V_n + V_i $，其中 $ V_i $ 为局域的、排斥性的电子-电子相互作用（如库仑或尤卡夫势）。
• 利用赫尔弗-舍斯特兰德公式进行谱平均，通过预解式恒等式和迹类估计，比较 $ H $ 与 $ H_n $ 的谱投影迹。
• 应用迹范数估计 $ \| (H_{|\Lambda_L^n} + \lambda_0)^{-1} \|_{\mathcal{T}_{2q}} \leq C L^{nd/2} $（当 $ 2q > nd $ 时），利用狄利克雷拉普拉斯算符的本征求解衰减特性。
• 通过将 $ V_i $ 分解为高、低幅值部分来控制其影响，利用假设 (H.3) 下的 $ \| V_i (H_n - i)^{-1} \| < \infty $。
• 利用测试函数的拟解析延拓及 $ \overline{\partial} $-微积分，将预解式迹差转换为谱测度收敛。

实验结果

研究问题

• RQ1 若单体哈密顿量存在，相互作用n电子哈密顿量是否允许存在积分密度态数？
• RQ2 在热力学极限下，相互作用多体系统的IDS是否等于非相互作用自由电子系统的IDS？
• RQ3 在无限体积极限下，局域电子-电子相互作用如何影响体积分谱性质？
• RQ4 在何种条件下，尽管相互作用势非零，其对IDS无影响？
• RQ5 能否利用迹类估计与谱平均技术，证明相互作用与非相互作用系统之间IDS的相等性？

主要发现

• 若单体哈密顿量存在，则相互作用n电子哈密顿量允许存在积分密度态数（IDS）。
• 相互作用多体系统的IDS与非相互作用自由电子哈密顿量的IDS完全相同，即 $ N(E) = N_1(E) $，其中 $ N_1 $ 为单体IDS。
• 尽管电子-电子相互作用 $ V_i $ 非零，但其对IDS无影响，因为其支撑集位于低Hausdorff维数的集合上，因此在热力学极限下其贡献可忽略。
• 证明依赖于预解式差的迹类估计及测试函数的拟解析延拓，表明 $ H $ 的谱测度收敛于 $ H_n $ 的谱测度。
• 关键技术步骤是控制 $ \| (H_{|\Lambda_L^n} + \lambda_0)^{-1} \|_{\mathcal{T}_{2q}} \leq C L^{nd/2} $（当 $ 2q > nd $ 时），从而控制迹范数的增长。
• 该结果在标准假设下成立：$ V_1 $ 局部平方可积且相对于 $ -\Delta $ 无穷小有界，$ V_i $ 非负、局部平方可积，且在无穷远处趋于零，且 $ V_i(H_n - i)^{-1} $ 有界。