Dynamic programming principle for backward doubly stochastic recursive optimal control problem and sobolev weak solution of the stochastic Hamilton-Jacobi-Bellman equation

In this paper, we investigate a backward doubly stochastic recursive optimal control problem wherein the cost function is expressed as the solution to a backward doubly stochastic differential equation. We present the dynamical programming principle for this type of optimal control problem and establish that the value function is the unique Sobolev weak solution to the associated stochastic Hamilton-Jacobi-Bellman equation.