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

Abstract

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

To appear in Proc. R. Soc. A