Abstract:In this paper, we study a kind of optimal control problem for forward-backward stochastic differential equations (FBSDEs for short) of McKean--Vlasov type via the dynamic programming principle (DPP for short) motivated by studying the infinite dimensional Hamilton--Jacobi--Bellman (HJB for short) equation derived from the decoupling field of the FBSDEs posed by Carmona and Delarue (\emph{Ann Probab}, 2015, \cite{cd15}). At the beginning, the value function is defined by the solution to the controlled BSDE alluded to earlier. On one hand, we can prove the value function is deterministic function with respect to the initial random variable; On the other hand, we can show that the value function is \emph{law-invariant}, i.e., depending on only via its distribution by virtue of BSDE property. Afterward, utilizing the notion of differentiability with respect to probability measures introduced by P.L. Lions \cite{Lions2012}, we are able to establish a DPP for the value function in the Wasserstein space of probability measures based on the application of BSDE approach, particularly, employing the notion of stochastic \emph{backward semigroups} associated with stochastic optimal control problems and Itô formula along a flow property of the conditional law of the controlled forward state process. We prove that the value function is the unique viscosity solutions of the associated generalized HJB equations in some separable Hilbert space. Finally, as an application, we formulate an optimal control problem for linear stochastic differential equations with quadratic cost functionals of McKean-Vlasov type under nonlinear expectation, $g$-expectation introduced by Peng \cite{Peng04} and derive the optimal feedback control explicitly by means of several groups of Riccati equations.

Stochastic Verification Theorems for Stochastic Control Problems of Reflected FBSDEs

Stochastic Verification Theorem Of Forward-Backward Controlled Systems For Viscosity Solutions

Optimal control problems of fully coupled FBSDEs and viscosity solutions of Hamilton-Jacobi-Bellman equations

Necessary Condition for Near Optimal Control of Linear Forward–backward Stochastic Differential Equations

Stochastic Verification Theorem for Infinite Dimensional Stochastic Control Systems

Stochastic Recursive Optimal Control of McKean-Vlasov Type: A Viscosity Solution Approach

Note on stochastic control problems related with general fully coupled forward-backward stochastic differential equations

Optimal Control of SDEs with Expected Path Constraints and Related Constrained FBSDEs

Controlled Reflected McKean–Vlasov SDEs and Neumann Problem for Backward SPDEs

Sufficient Condition for Near-Optimal Control of General Controlled Linear Forward–backward Stochastic Differential Equations

A BSDE Approach to Stochastic Linear Quadratic Control Problem

Necessary condition for optimal control of doubly stochastic systems

Backward Stochastic Differential Equations with Conditional Reflection and Related Recursive Optimal Control Problems

Infinite time horizon stochastic recursive control problems with jumps: dynamic programming and stochastic verification theorems

Near-Optimal Control of Stochastic Recursive Systems Via Viscosity Solution

Time-reversal solution of BSDEs in stochastic optimal control: a linear quadratic study

Stochastic maximum principle, dynamic programming principle, and their relationship for fully coupled forward-backward stochastic control systems

Characterization of Optimal Feedback for Stochastic Linear Quadratic Control Problems

Controlled Reflected SDEs and Neumann Problem for Backward SPDEs

Stochastic maximum principle, dynamic programming principle, and their relationship for fully coupled forward-backward stochastic controlled systems

Optimal control of stochastic delay differential equations: Optimal feedback controls