A sharp version of Ehrenfest's theorem for general self-adjoint operators.

link: http://arxiv.org/abs/1003.3372
Abstract

We prove the Ehrenfest theorem of quantum mechanics under sharp assumptions
on the operators involved.