Verification theorem related to a zero sum stochastic differential game via Fukushima-Dirichlet decomposition

Carlo Ciccarella,Francesco Russo
2024-07-08
Abstract:We establish a verification theorem, inspired by those existing in stochastic control, to demonstrate how a pair of progressively measurable controls can form a Nash equilibrium in a stochastic zero-sum differential game. Specifically, we suppose that a pathwise-type Isaacs condition is satisfied together with the existence of what is termed a quasi-strong solution to the Bellman-Isaacs (BI)equations. In that case we are able to show that the value of the game is achieved and corresponds exactly to the unique solution of the BI equations. Those have also been applied for improving a well-known verification theorem in stochastic control theory. In so doing, we have implemented new techniques of stochastic calculus via regularizations, developing specific chain rules.
Optimization and Control,Probability
What problem does this paper attempt to address?