Before revision:  The verification theorem is carefully proved, which gives the complete characterization of the primal value function and the feedback optimal portfolio  .
After revision:  The verification theorem is carefully proved, which gives the complete characterization of the primal value function and the feedback optimal portfolio . The application to market index tracking is also discussed when the index process is modeled by a geometric Brownian motion .