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