Before revision:  Our main result is the existence and uniqueness of classical solutions to the valuation equation . It is shown that the value function is the smallest nonnegative classical solution to the valuation equation .
After revision:  Our main result is the existence and uniqueness of classical solutions to the valuation equation : the value function is the smallest nonnegative classical solution to the valuation equation .