Identities relating forward and backward treatments of optimisation

A general form of Green's theorem is used to derive relations between expected costs for an optimisation problem and the distribution of state variable. A characterisation of the optimal stopping set and an alternative proof of the Howard improvement lemma emerge as non-trivial consequences.