Backward stochastic differential equations coupled with value function and related optimal control problems (Q1722493)

Summary: We get a new type of controlled backward stochastic differential equations (BSDEs), namely, the BSDEs, coupled with value function. We prove the existence and the uniqueness theorem as well as a comparison theorem for such BSDEs coupled with value function by using the approximation method. We get the related dynamic programming principle (DPP) with the help of the stochastic backward semigroup which was introduced by \textit{S. Peng} [SIAM J. Control Optim. 28, No. 4, 966--979 (1990; Zbl 0712.93067)]. By making use of a new, more direct approach, we prove that our nonlocal Hamilton-Jacobi-Bellman (HJB) equation has a unique viscosity solution in the space of continuous functions of at most polynomial growth. These results generalize the corresponding conclusions given by \textit{R. Buckdahn} et al. [Ann. Probab. 37, No. 4, 1524--1565 (2009; Zbl 1176.60042)] in the case without control.