In quantum mechanics, what is defined in terms of the energy operator as a time derivative of the sine function?