AN OPERATOR-THEORETICAL TREATMENT OF NEGATIVE DYNAMIC PROGRAMMING