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