量子力学算符有这么一个表达式 e A + B = e A e B e − 1 2 [ A , B ] e^{A+B}=e^Ae^Be^{-\frac{1}{2}[A,B]} eA+B=eAeBe−21[A,B],实际上这只是一个近似表达式,它只在特殊情况下才是恒等式!这个特殊情况叫作disentangling theorem,当 [ A ^ , B ^ ] ≠ 0 [\hat{A}, \hat{B}]\neq0 [A^,B^]̸=0且 [ A ^ , [ A ^ , B ^ ] ] = [ B ^ , [ A ^ , B ^ ] ] = 0 [\hat{A},[\hat{A},\hat{B}]]=[\hat{B},[\hat{A},\hat{B}]]=0 [A^,[A^,B^]]=[B^,[A^,B^]]=0才成立!更一般的情况在下面讨论:
Baker–Campbell–Hausdorff (BCH) formula:
Z = log ( e X e Y ) = X + Y + ∑ m = 2 ∞ Z m ( X , Y ) . Z = \log(e^Xe^Y) = X + Y +\sum_{m=2}^\infty Z_m(X, Y). Z=