刘维尔定理
The operator in the convective part of the derivative, formula_30, is sometimes referred to as the Liouvillian (see Liouville's theorem (Hamiltonian)).