Comments by Galois:
1。在Heisenberg Picture 态矢不随时间改变,而算符随时间演化,守恒量就是在
Heisenberg Picture 中定义为: 算符A(t)满足 d A(t) / d t = 0。我们知道,在Heisenberg
Picture 中一个算符 A(t) = exp(i*H*t) A exp(-i*H*t),其中A为Schroedinger Picture中相
应的算符,设其不明显含有时间。则立即有:d A(t) / d t = exp(i*H*t) [H , A] exp(-
i*H*t),我们立即看到,要且只要 [H , A] = 0 ,则立即有 d A(t) / d t = 0 (而不是 d
<A> / d t = 0 ) ,可见与 H 对易的(且不显含时间的)算符就是一个守恒量,d <A> /
d t = 0 是守恒性质的一个自然推论(因为Heisenberg Picture 态矢不随时间改变)。
2。在谈到守恒量A时,我们常常关心的是它的系综平均值<A>不随时间改变,这有两个原
因,一是因为我们在实验上能测到的就是平均值,二是因为体系并不一定处于算符 A 的本
征态因而 A 虽然守恒却不一定取确定值。即使 t = 0 的初态 phi(t=0) 是A的本征态,phi
(t>0) 未必是 A 的本征态,除非phi(t=0)是 A 与 H 的共同本征态。但无论如何,只要 A
是守恒量,它的系综平均值是不随时间变化的。
3。现在来问:如果 A (仍考虑 A 不显含时间)不是守恒量,即 d A(t) / d t 不为 0 ,A
与 H 不对易,那么是否可能仍有 d <A> / d t = 0 ? 此时要求[H , A] 不为零而
d <A> / d t = < phi | exp(i*H*t) [H , A] exp(-i*H*t) | phi > = 0 , 这个式子能不能成立
呢?只能说,对于某一非常特殊的非守恒算符 A ,在某一特定的态 | phi > 下,或许可能
成立,但这并没有普遍的意义。