Before revision:  The verification theorem and the characterization of the optimal trading strategy can be concluded with the aid of our newly established BSDE results .
After revision:  The verification theorem can be concluded with the aid of our newly established BSDE results .