[论文解读] An Adiabatic Theorem for Singularly Perturbed Hamiltonians

Alain Joye|ArXiv.org|Nov 2, 1994

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

一句话总结

本文为奇异摄动哈密顿量建立了绝热定理，其中小扰动 $\epsilon H_1(t)$ 作用于具有谱隙的自伴哈密顿量 $H_0(t)$，即使扰动定义在更小的定义域上且对 $\epsilon > 0$ 破坏谱隙条件。在合理假设下，本文证明了当 $\epsilon \to 0$ 时，系统仍保持与未扰动哈密顿量的绝热演化相近，将绝热定理扩展至标准谱隙条件之外的范围。

ABSTRACT

The adiabatic approximation in quantum mechanics is considered in the case where the self-adjoint hamiltonian $H_0(t)$, satisfying the usual spectral gap assumption in this context, is perturbed by a term of the form $εH_1(t)$. Here $ε o 0$ is the adiabaticity parameter and $H_1(t)$ is a self-adjoint operator defined on a smaller domain than the domain of $H_0(t)$. Thus the total hamiltonian $H_0(t)+εH_1(t)$ does not necessarily satisfy the gap assumption, $\forall ε>0$. It is shown that an adiabatic theorem can be proven in this situation under reasonnable hypotheses. The problem considered can also be viewed as the study of a time-dependent system coupled to a time-dependent perturbation, in the limit of large coupling constant.

研究动机与目标

• 将绝热定理推广至违反标准谱隙条件的奇异项扰动哈密顿量。
• 处理扰动 $\epsilon H_1(t)$ 的定义域小于 $H_0(t)$ 的情形，导致总哈密顿量在通常意义上未定义或非自伴。
• 建立在 $\epsilon > 0$ 时总哈密顿量缺乏均匀谱隙的条件下，仍能保持绝热演化有效的条件。
• 在时变设置中建模大耦合常数系统，其中扰动被视为趋于零的小参数 $\epsilon \to 0$。

提出的方法

• 通过希尔伯特空间中的泛函分析技术处理 $H_0(t)$ 与 $H_1(t)$ 之间的定义域不匹配，确保对 $\epsilon > 0$ 总哈密顿量仍良好定义。
• 证明依赖于 $H_0(t)$ 的谱隙假设，并通过绝热极限中的算子范数估计控制扰动。
• 关键技术工具是时间有序指数和绝热演化算子的使用，适用于奇异摄动。
• 该方法涉及构造一个幺正变换，即使在总哈密顿量的谱隙条件不成立时，也能将绝热子空间与其余谱部分解耦。
• 分析 $\epsilon \to 0$ 的极限，并推导出真实演化与绝热演化之间偏差的界。
• 该框架适用于时变哈密顿量，并通过受控渐近展开纳入扰动的动力学。

实验结果

研究问题

• RQ1 当扰动破坏总哈密顿量的谱隙条件时，能否建立绝热定理？
• RQ2 当扰动算子 $H_1(t)$ 的定义域小于 $H_0(t)$ 时，如何定义并分析绝热演化？
• RQ3 在 $\epsilon > 0$ 时总哈密顿量缺乏均匀谱隙的条件下，何种条件可确保系统仍保持在绝热子空间中？
• RQ4 是否可能将绝热定理推广至时变设置中具有大耦合常数的奇异摄动系统？

主要发现

• 即使总哈密顿量 $H_0(t) + \epsilon H_1(t)$ 对 $\epsilon > 0$ 不满足标准谱隙条件，奇异摄动哈密顿量的绝热定理依然成立。
• 在 $H_1(t)$ 的定义域和范数行为的合理假设下，绝热演化保持有效，确保系统在 $\epsilon \to 0$ 时跟踪 $H_0(t)$ 的瞬时本投影算子。
• 本文建立了真实时间演化与绝热演化之间偏差的统一界，以 $\epsilon$ 和绝热参数表示误差。
• 该方法适用于具有奇异摄动的时变系统，将绝热定理推广至标准框架之外。
• 结果对扰动的弱假设具有鲁棒性，包括 $H_1(t)$ 不在 $H_0(t)$ 的定义域上全局定义的情形。
• 该框架为量子力学中大耦合常数系统的严格研究提供了基础，其中扰动被视为绝热极限下的小参数。