A stochastic maximum principle for partially observed general mean-field control problems with only weak solution

TL;DR

This paper develops a stochastic maximum principle for complex mean-field control problems with partial observation, where solutions are weak and coefficients depend non-linearly on the state, control, and their conditional laws.

Contribution

It introduces a novel maximum principle for weak solutions in mean-field control with partial observation, handling non-linear dependencies and non-Lipschitz coefficients.

Findings

Established well-posedness with weak existence and uniqueness

Derived new variational and adjoint equations with mean-field terms

Extended Peng's maximum principle with additional non-trivial terms

Abstract

In this paper we focus on a general type of mean-field stochastic control problem with partial observation, in which the coefficients depend in a non-linear way not only on the state process $X_t$ and its control $u_t$ but also on the conditional law $E[X_t|\mathcal{F}_t^Y]$ of the state process conditioned with respect to the past of observation process $Y$. We first deduce the well-posedness of the controlled system by showing weak existence and uniqueness in law. Neither supposing convexity of the control state space nor differentiability of the coefficients with respect to the control variable, we study Peng's stochastic maximum principle for our control problem. The novelty and the difficulty of our work stem from the fact that, given an admissible control $u$, the solution of the associated control problem is only a weak one. This has as consequence that also the probability measure in the solution $P^{u}=L^{u}_TQ$ depends on $u$ and has a density $L^{u}_T$ with respect to a reference measure $Q$. So characterizing an optimal control leads to the differentiation of non-linear functions $f(P^{u}\circ\{E^{P^{u}}[X_t|\mathcal{F}_t^Y]\}^{-1})$ with respect to $(L^{u}_T,X_t)$. This has as consequence for the study of Peng's maximum principle that we get a new type of first and second order variational equations and adjoint backward stochastic differential equations, all with new mean-field terms and with coefficients which are not Lipschitz. For their estimates and for those for the Taylor expansion new techniques have had to be introduced and rather technical results have had to be established. The necessary optimality condition we get extends Peng's one with new, non-trivial terms.