In this paper we derive various identities involving the action functional which enters the path-integral formulation of quantum mechanics. They provide some kind of generalization of the Ehrenfest theorem giving correlations between powers of the action and its functional derivatives.