Some new results in the theory of controlled diffusion processes

The validity of the Bellman equation for the payoff function for a controlled random diffusion process is proved. The main difference between the results in this article and those known earlier on the same theme is that here no assumptions whatever are made on the nondegeneracy of the controlled process. A theorem on the uniqueness of the solution of the Bellman equation is proved as well. The Bellman equation is examined in a lattice of measures; the derivatives of functions on which it is studied are understood as measures.