关于算子指数的Trotter乘积公式在特定算子条件下的适用性问询

嘿，这个问题抓得很准！咱们来一步步拆解分析，直接给结论+依据：

首先先明确你给出的前提条件（帮你再梳理一遍，确保没理解错）：

• $H$是自伴算子，下方有界，谱由孤立本征值$E_0 < E_1 < \dots$构成，每个本征值的重数$d(n)$有限；同时对所有正实数$\beta$，热核迹$Tr[\exp(-\beta H)] < \infty$——这说明$H$的本征值增长足够快，属于“离散谱且迹类指数”的算子，是性质很好的自伴算子。
• $\lambda$是小的正常数，$V$是相对于$H$相对有界的自伴算子：存在$a,b>0$，对所有$\psi \in \mathcal{D}(H) \subseteq \mathcal{D}(V)$，满足$|V\psi| \leq a|H\psi| + b|\psi|$。

你的问题是：此时Trotter（李）乘积公式
$$e^{-it(H+\lambda V)} = \lim_{n \to \infty}\left(e^{\frac{-itH}{n}} e^{\frac{-it \lambda V}{n}}\right)^n$$
是否成立（$t$为时间参数）？

结论：公式成立，甚至不需要$\lambda$“小”这个额外条件！ #

关键依据和推理： #

1. 算子自伴性的保证：
   因为$V$相对于$H$相对有界，且$\mathcal{D}(H) \subseteq \mathcal{D}(V)$，$H$是自伴算子，所以$H+\lambda V$在定义域$\mathcal{D}(H)$上是自伴算子（相对有界性保证了$H+\lambda V$是闭算子，结合$V$的自伴性，直接推出$H+\lambda V$的自伴性；如果$\lambda$足够小，还能保证$H+\lambda V$下方有界，但这对Trotter公式来说不是必须的）。

2. Trotter乘积公式的核心定理：
   对于两个自伴算子$A,B$，只要$A+B$在某个稠密定义域上是自伴（或本质自伴）的，且$\mathcal{D}(A) \cap \mathcal{D}(B)$在希尔伯特空间中稠密，那么$e^{it(A+B)} = \lim_{n\to\infty}\left(e^{itA/n}e{itB/n}\right)^{n$在**强算子拓扑**下成立（简单说就是对每个向量$\psi$，$\left|\left(e}{itA/n}e^{{itB/n}\right)}n\psi - e^{it(A+B)}\psi\right| \to 0$当$n\to\infty$）。

3. 适配你的场景：

   • $H+\lambda V$是自伴算子，定义域$\mathcal{D}(H)$在希尔伯特空间中稠密（自伴算子的定义域必然稠密）；
   • 你给出的$H$的离散谱、迹有限这些条件，是额外的“优良性质”，但不是Trotter公式成立的必要条件——哪怕$H$有连续谱，只要满足相对有界性，公式依然成立。
   • 甚至$\lambda$不需要“小”：只要$V$相对$H$有界，不管$\lambda$多大，$H+\lambda V$依然是自伴算子（定义域不变），Trotter公式照样成立。

备注：内容来源于stack exchange，提问作者b.omega