An optimal control problem for functional forward-backward stochastic systems and related Path-dependent HJB equations

In this paper, we study a stochastic recursive optimal control problem in which the system is governed by a functional forward-backward stochastic differential equation. Under standard assumptions, we establish the dynamic programming principle and the related Path-dependent Hamilton-Jacobi-Bellman (HJB) equation in the framework of functional Itô calculus. The stochastic verification theorem for the smooth case is proved. Finally, we show that the value function is the viscosity solution of the Path-dependent HJB equation.