Before revision:  By proving an innovative martingale representation theorem based on incomplete and phasing out filtration, we characterize the value function in an equivalent but simplified form.
After revision:  By proving an innovative martingale representation theorem based on incomplete and phasing out filtration, we characterize the value function in an equivalent form.