**Research article**

# Master Adjoint Systems in Mean-Field-Type Games

**Version 1**Released on 21 February 2021 under Creative Commons Attribution 4.0 International License## Authors' affiliations

- Learning and Game Theory Laboratory. New York University

## Keywords

- Game theory
- Mean-field-type game theory
- Mean-field-type games
- Repeated games

# Abstract

This article presents mean-field-type games with both atomic and non-atomic decision-makers. We establish sufficiency conditions for equilibria in state-and-mean-field-type feedback strategies using Bellman systems. We then derive master adjoint systems. The computation of the equilibrium system is illustrated in variance-aware games with heterogeneous decision-makers.

## 1. Introduction

The term 'mean-field' has been referred to a physics concept that attempts to describe the effect of an infinite number of particles on the motion of a single particle. Researchers began to apply the concept to social sciences in the early 1960s to study how an infinite number of factors affect individual decisions. However, the key ingredient in a game-theoretic context is the influence of the distribution of states and or control actions into the payoffs of the decision-makers. There is no need to have large population of decision-makers. A mean-field-type game is a game in which the payoffs and/or the state dynamics coefficient functions involve not only the state and actions profiles but also the distributions of state-action process (or its marginal distributions).

In a mean-field-type game (MFTG), the quantities-of-interest (such as instantaneous payoff, cost, performance functionals, state kernel/coefficients) depend not only on the type-state-actions of the decision-makers but also on the distribution of them. This allows us to consider higher order (non-linear) dependence in the distribution of state and or actions in the instantaneous quantities-of-interest. It also allows us to capture risk-awareness in the performance metric whenever one or more decision-makers are facing uncertainties.

### 1.1. Literature review

#### One decision-maker

Different methods have been developed to solve MFTG problems with one decision-maker. These methods include (Pontryagin) Stochastic Maximum Principle (SMP), (Bellman) Dynamic Programming Principle (DPP), Chaos expansion approach, Direct Method, Lagrangian or Calculus of Variations approach.

** Maximum Principle: **
In the context of one decision-maker, the authors [1,19,59] considered
the system dynamics and cost functional of mean-field type. They established stochastic maximum principle of mean-field type of first and second order adjoint process and possibly
non-convex-valued action set. These optimality equations differ from the ones obtained from the classical mean-field-free control problems
in which the instantaneous cost and the coefficients of the state are independent of the probability measure of the state-action.
Therefore the problem was referred to as a non-standard control problem or *mean-field-type control problem*. It can also be seen as a control of McKean-Vlasov dynamics with a cost functional of mean-field type.
The SMP has been extended to include action mean-field type in [40], where authors has established the second-order adjoint processes.
The work in [33] studies discrete-time mean-field-type control problems. In [49], the SMP is apply to solve jump-diffusion mean-field problems involving mean-variance terms, i.e., of mean-field-type.
The well-posedness of mean-field-type forward-backward stochastic differential equations is studied in [18] motivated by the work in [20]. In [29] the SMP has been extended to the risk-sensitive mean-field-type control problem, which involve not only first and second moment terms, but also higher terms. In [45] a stochastic robust control of mean-field-type with state and control input dependent noise is studied. In [46], the well-posedness and the solvability of a indefinite linear-quadratic mean-field-type control problem in discrete time. In [26], mean-field-type games are characterized with time-inconsistent cost functionals and SMP is applied. Partial observation mean-field-type control problems are investigated in [38,58] in the risk-neutral case. The risk-sensitive case under partial observation is analyzed in [28,44], and applying the backward separation method in [39] and [43].

** Dynamic Programming Principle (DPP): ** solutions for mean-field-type control problems have been discussed by using methods based on either Hamilton-Jacobi-Bellman and Fokker-Planck coupled equations or stochastic maximum principle in [17]. The works in [41,42] proposed to solve mean-field-type control problems by applying dynamic programming and two examples are presented, i.e., a portfolio optimization and a systemic risk model. In [38] the SMP is used to solve mean-field-type control problems with partial observation and results are applied to financial engineering, and in [58] addresses a partially observed optimal control problem, whose cost functional is of mean-field type and the authors solve it by means of a maximum principle using Girsanov's theorem and convex variation. A class of mean-field-type control problems with common noise has been considered in [37]. Randomized dynamic programming principle is established in [15].

** Chaos expansion approach: ** Uncertainty quantification has been studied in [55] in the context of mean-field-type teams and using Kosambi-Karhunen-Loeve expansion (chaos expansion approach), which allows representing the stochastic process as a linear orthogonal functions combination.

#### Two or more decision-makers: Mean-Field-Type Games

**DPP: **
The work in [54] examines risk-sensitive mean-field-type games and sufficient optimality equations are established via infinite-dimensional dynamic programming principle. The basic foundations of discrete time and continuous mean-field-type games are formulated and analyzed in [27,57]. A class of mean-field-type games with jump and regime switching are studied by using dynamic programming principle in [16].

**Direct Method: **
In [32,53,8] the so-called direct method is used in order to compute semi-explicit solutions for mean-field-type games for the linear state and variance-aware case.
The work is extended in [10,5] to non-linear problems and beyond Brownian motions including multi-fractional Brownian motions, Gauss-Volterra processes and non-Gaussian features such as Rosenblatt processes. Moreover, other game theoretical solution concepts such as partial cooperation, co-opetition (competitive cooperation or cooperation competition), partial altruism, spite, bargaining etc,
are studied by means of the co-opetitive mean-field-type games in [6].

** SMP: **
A zero-sum mean-field-type game has been introduced in [48] in which sufficiency conditions for existence of saddle point is provided. The work in [23] presents cooperative mean-field-type games. The work in [21] considers a two-player nonzero sum mean-field-type game with backward stochastic differential equations with jump and under partial information. An open-loop mean-field-type Nash equilibrium is investigated under restrictive conditions on the data. The two-player game scenario has been studied for both non-zero-sum and zero-sum cases in [2,25]. *Notice that in the context of games with at least two decision-makers, open-loop Nash equilibrium may differ from state (-and-mean-field-type) feedback Nash equilibrium. * Even if the open-loop solution obtained via the stochastic maximum principle has a state-feedback representation, that representation can be different from the one obtained from Hamilton-Jacobi-Bellman system. The difference between the two solution concepts appears even in simple linear-quadratic (mean-field-type) games [32,53].

**Applications of MFTG: **

- Data-driven: a
*blockchain-based distributed power network*is considered in [30,52]. Therein, the decision-makers are investors, producers, prosumers (producer-consumer), consumers, and verifiers who decide to engage a validation of consensus algorithms and protocols. The data of prosumers are divided into demand, supply and storage and added to the price dynamics. In addition, the insurance option is offered to the entities making the problem of mean-field type in the dynamics of the state as well. Mean-field type data were also collected for mobility patterns in*road traffic*and a new class mean-field-type filters for big data assimilation was designed in [35]. Deep learning and traffic video analytics are studied in [36] using mean-field-type filtering. A network effect of several congestion areas was shown to emerge in*multi-level building evacuation*[31] where a localized congestion measure is introduced. The model is modified to reflect some of the observed behaviors from data. The localized congestion measure is a counting process around the position of the individual and a risk term. Including the localized mean-field term and its evolution along the path causes a sort of dispersion of the flow: the agents will try to avoid high density areas in order to reduce their overall walking costs and queuing costs at the stairs and exits. Each agent individual state is represented by a center of a box that follows a simple dynamical system in an Euclidean space. Each agent will move to one of the closest exits that is safer and with less congested path. The authors in [47] examines how much does users' psychology matter in engineering mean-field-type games [13,14]. - Model-driven:
Network security have been studied by means of a mean-field-type game of public good. Each participant makes some effort in improving network security. However, when the global network security is high enough, free-riders can emerge. Given that different users have different investment strategies, how do we optimally invest into security resources such that the basic security level is provided as public good in the society ? The work [50] provides a basic model of variance-aware mean-field-type game for investment into network security.

A demand-supply management in smart grid is analyzed in [56] using constrained mean-field-type games. In [24], electricity price formation are investigated in the smart grids. In [3,4] a mean-field-type-based pedestrian crowd model is presented. In [9], a class of control input constraints are considered and an application of water distribution system is presented. A class of variance-aware model-predictive control was developed based on the idea of mean-field-type game theory [7] and applied to energy storage of micro-grid. A mean-field-type model predictive control was implemented for the water distribution networks in [11].

Another example of variance-awareness is an Air Conditioning thermostat which is a feedback system. At a given temperature, the air-conditioner turns on cooling mode and bring the temperature a comfort zone. Once in the comfort zone it tries to reduce the variance of the temperature with respect to the desired comfort temperature of the user and minimizes the error. In this context, there is only one decision-maker, the user who acts on the controller. The control action variable belongs to $\{1,0,-1\}$ i.e., Heating, Do Nothing, or Cooling. Clearly, the control action has significant impact on the variance of the temperature [27].

In [51], the performance of hub-based airline networks is analyzed using mean-field-type game theory. Three types of interactions between within the game : interaction between passengers, passengers-airlines, and interaction between airlines. The key mean-field terms are the airline traffic (or frequency of flights), number of people at the same slot per flight/airline.

In [12] , blockchain cryptographic tokens are examined by means of mean-field-type game theory with several classes of decision-makers. The x-chain system has the following classes of decision-makers:

- blockchain and x-chain users
- x-chain verifiers and validators
- investors and developpers
- x-chain companies and tokens
- network security suppliers and last mile integration owners

where some of them are atomic and some others are non-atomic.

The authors have introduced the variance-aware utility function per decision-maker to capture the risk of cryptographic tokens associated with the uncertainties of technology adoption, network security, regulatory legislation, and market volatility. They established a relationship between the network characteristics, token price, number of token holders, and token supply. Both in-chain diversification and cross-chain diversification among tokens are examined by using a mean-variance approach. The authors showed that the number of tokens in circulation needs to be adjusted in order to capture risk-awareness and self-regulatory behavior in blockchain token economics.

- Token-less Blockchain economy : we show that the optimal investment of decision-maker in the token-free blockchain shares the following interesting features: it increases with the total number of active participants to the token-free blockchain, increases with the productivity, and decreases with the probability of success of an attack of the blockchain by malicious nodes.
- Token-based Blockchain economy : The optimal number of tokens of a decision-maker has the following interesting features: It increases with the total number of active participants in the blockchain, decreases with the probability of success of an attack, decreases with the token price, increases with the productivity, increases with interest rate of the token price.
- Token adoption: The authors also provided sufficient conditions under which the token enables and improves the adoption of blockchain technology. Token diversification within the chain: We show how to diversity in-chain tokens under correlated prices. Token diversification cross-chains: The methodology extends to cross-chain tokens with different access costs.

### 1.2. Content of the present article

In this article we consider a distribution-dependent interaction with both atomic and non-atomic decision-makers. Two categories of mean-field quantities: individual mean-field and population mean-field, are introduced. There is a finite number of atomic decision-makers who have a non-negligible effect in the population mean-field quantities. The atomic decision-makers can have different characters and goals, and no symmetry assumption is made. There are several classes of non-atomic decision-makers. The non-atomic decision-makers are distinguishable when they belong to different classes but remain indistinguishable within each class. Each class is composed of a large (sub-)population of non-atomic decision-makers. A nonatomic decision-maker has a negligible effect on the population mean-field but can still have a big impact on its own individual mean-field terms. The total number of classes is assumed to be finite for simplicity. In practice, a nonatomic decision-maker in a certain class has a negligible influence of the situation but the aggregative behavior of all non-atomic decision-makers in that class will have an impact on the quantity-of-interest.

In Section 2 we establish Bellman systems which provide sufficiency conditions for mean-field-type equilibria in state-and-mean-field-type feedback form. We then derive a class of master adjoint systems (MASS). The measure of the state does not need to be normalized and include birth-and-death terms (inflow and outflow). Section 3 presents nonatomic MFTG problems. Section 4 extends the results to atomic and a multi-class non-atomic MFTG problems. Section 5 concludes the article.

### Notations

Throughout this article, $I$ represents an arbitrary positive integer and $\mathcal{I}=\{1,\ldots, I\}$ the set of atomic decision-makers. There are $C\geq 1$ classes of non-atomic decision-makers denoted by $\mathcal{C}:=\{I+1,I+2,\ldots, I+C\}.$ We consider two time instants $t_0<t_1,$ and $\nu $ is a Radon measure over $ \Theta=\mathbb{R}_{+}\backslash \{0\}.$

Two type of mean-field terms are involved in each of the two categories of decision-makers. For atomic decision-makers, the two mean-field terms are

- $\mu_{do}$ is the measure of the state $s_{do},$ is called individual mean-field of the state of the atomic decision-makers.
- $\tilde{\mu}_i$ is the individual mean-field of the action $a_i$ of the atomic decision-maker $i$,

For nonatomic decision-makers the two mean-field terms are given by

- $m_c$ is the population mean-field of states in class $c$ i.e., the probability distribution of states generated by all non-atomic decision-makers of class $c,$
- $\tilde{m}_c$ is the distribution of actions picked by all non-atomic decision-makers in class $c$ in equilibrium. This is another population mean-field of actions of class $c.$ The population mean-field of actions of non-atomic decision-makers is $ \tilde{m}=(\tilde{m}_c)_{c\in \mathcal{C}}$

A deviating nonatomic decision-maker has also two individual mean-field terms given by

- $\mu_{c}$ is the probability measure of $s_{c},$ is called individual mean-field of the state of a generic deviating nonatomic decision-makers,
- $\tilde{\mu}_{c}$ is the individual mean-field of the action $a_c$ of a deviating nonatomic decision-maker in class $c$,

Let $\mathcal{M}_2(\mathbb{R}^d) $ be the set of Borel measures on $\mathbb{R}^d$ with finite second moments. We introduce the Gâteaux (variational) derivative. Let $f: \ \mathcal{M}_2(\mathbb{R}^d) \rightarrow \mathbb{R}.$ We say that $f_{\rho}(x,\rho):=f_{\rho}[\rho](x)$ is a Gâteaux derivative of $f$ with respect to a measure $\rho$ if \begin{equation} \label{ty1} \begin{array}{ll} \lim_{\epsilon \rightarrow 0_{+}}\ \frac{d}{d\epsilon} \left[ f(\rho+\epsilon \hat{\rho}) \right] =\int f_{\rho}[\rho](x) \hat{\rho}(dx), \ \\ \end{array} \end{equation}

If $ \int \hat{\rho}(dx)=0$ then by adding a constant to $f_{\rho}[\rho](x)$ does not change the value of the integral in (\ref{ty1}). For any scalar $\lambda=\lambda\int \frac{1}{\kappa}\rho(dx)$ where $\kappa=\int_{\mathbb{R}^d} \rho(dx).$ Thus, $\lambda$ is also a Gâteaux-derivative of the constant $\lambda$ with respect to the probability measure $\frac{1}{\kappa}\rho(dx).$ However in our problem, the term $f_{x\rho}$ which is the gradient of $ x \mapsto f_{\rho}[\rho](x)$ will be used in the Hamiltonian, and $f_{x\rho}$ does not have the constant ambiguity.

## 2. MFTG with finitely many atomic decision-makers

Consider $I\geq 2$ decision-makers with distribution-dependent quantities-of-interest interacting over a finite time horizon $(t_0,t_1),\ t_0<t_1.$ A strategy $a_i$ of decision-maker $i\in \mathcal{I}=\{1,\ldots, I\}$ is an $A_i$-valued measurable function, where $A_i$ is a non-empty convex set. Let $a=(a_i)_{i\in \mathcal{I}}$ be the action profile of all decision-makers. The collective state $s$ of all decision-makers, can be a common and/or collection of individual states, is in a finite dimensional Euclidean space $\mathcal{S}:=\mathbb{R}^d,\ d\geq 1.$ The running cost function of decision-maker $i\in \mathcal{I}$ is $l_i$ and the terminal cost function is $h_i.$ \begin{equation} \begin{array}{ll} l_i: \ D \rightarrow \mathbb{R},\\ h_i: \mathcal{S}\times \mathcal{M}_2(\mathcal{S})\ \rightarrow \mathbb{R}. \end{array} \end{equation} where $D:= (t_0,t_1)\times \mathcal{S}\times \prod_{i} A_i\times \mathcal{M}_2(\mathcal{S})\times \mathcal{M}_2( \prod_{i} A_i).$ The measure $\mu$ of the state is given by a Kolmogorov equation with coefficients

\begin{equation} \begin{array}{ll}b,\tilde{b},\tilde{d}: D\rightarrow \mathbb{R}^d,\\ \sigma: D \rightarrow \mathbb{R}^{d\times k},\\ \gamma: D \times \Theta \rightarrow \mathbb{R}^d,\\ \end{array} \end{equation} where $b$ represents the drift, $\tilde{b}$ inflow into the state, $\tilde{d}$ outflow from state, $\sigma$ represents the diffusion and $\gamma$ represents a jump coefficient with jump measure $\nu$ over $\Theta.$ Let $\mu$ be a Borel measure of the state on $\mathbb{R}^d.$ The data of the mean-field-type game MFTG is given by \[\mathcal{G}= \{ [t_0, t_1], \mathcal{I}, (A_i, l_i,h_i)_{i\in \mathcal{I}}, b,\sigma,\gamma,\tilde{b},\tilde{d},\mu_0\}.\] The game is played as follows. Given a initial state distribution $\mu_0$ at time $t_0$ the game $\mathcal{G}$ proceeds as follows. At each instant $t\in (t_0,t_1)$, each decision-maker observes the state (perfect monitoring, perfect state observation), chooses a control action according to her strategy and observes/measures her cost. We restrict ourselves to the class of admissible strategies in state-and-mean-field-type feedback form. The risk-neutral mean-field-type Nash equilibrium problem is given by \begin{equation} \label{nemftg0} \left\{ \begin{array}{ll} \inf_{a_i} \int h_i(s,{\color{black}\mu(t_1)}) \mu(t_1,ds)+ \int_{t_0}^{t_1} \int l_i(t,s,a,{\color{black}\mu}, \tilde{\mu}) \mu(t,ds) dt,\\ \mbox{subject to}\\ \mu_{t}=- \mbox{div}_s(b\mu) +\frac{1}{2}trace[( \sigma'\sigma \mu)_{ss}]\\ +\int_{\Theta} [ \mu(s-\gamma)-\mu(s)+\langle \mu_s, \gamma\rangle]\nu(d\theta) {\color{black} +(\tilde{b}-\tilde{d})\mu},\ \ \\ \mu(t_0,ds)=\mu_0(ds),\\ i\in \mathcal{I}. \end{array}\right. \end{equation}

**Definition 1****.**

A mean-field-type Nash equilibrium is a solution $(a_i)_{i\in \mathcal{I}}$ to the system (\ref{nemftg0}). In Definition 1 , A mean-field-type Nash equilibrium is a strategy profile in which no decision-maker has incentive to change her strategy unilaterally. This means that no atomic decision-maker can lower her expected cost by changing her choice alone.

We introduce the equilibrium payoff (if any) as $\hat{V}_{i}: (t_0,t_1)\times \mathcal{M}_2(\mathcal{S}) \rightarrow \mathbb{R}$ given by

\begin{equation} \left\{ \begin{array}{ll} \hat{V}_{i}(t,{\mu}):=\\ \inf_{a_i} \int h_i(s,{\hat{\mu}(t_1)}) \hat{\mu}(t_1,ds)+ \int_{t}^{t_1} \int l_i(t,s,a,{\hat{\mu}}, \tilde{\mu}) \hat{\mu}(t,ds) dt,\\ \mbox{subject to}\\ \hat{\mu}_{t}=- \mbox{div}_s(b\hat{\mu}) +\frac{1}{2}trace[( \sigma'\sigma \hat{\mu})_{ss}]\\ +\int_{\Theta} [ \hat{\mu}(s-\gamma)-\hat{\mu}(s)+\langle \hat{\mu}_s, \gamma\rangle]\nu(d\theta) {\color{black} +(\tilde{b}-\tilde{d})\hat{\mu}},\ \ \ \\ \hat{\mu}(t,ds)=\mu(ds),\\ i\in \mathcal{I}, \end{array}\right. \end{equation} starting from $t\in (t_0, t_1)$ with the measure $\mu.$

A sufficiency condition for mean-field-type Nash equilibrium is obtained by the HJB system given below. \begin{equation} \label{hjbexistencep0} \left\{ \begin{array}{lll} \hat{V}_{i,t}(t,\mu)+ {H}_{i}(t,\mu,\hat{V}_{\mu},\hat{V}_{s\mu},\hat{V}_{ss\mu})=0,\ & \mbox{ on } (t_0,t_1)\times \mathcal{M}_2(\mathcal{S}) \\ \hat{V}_{i}(t_1,\mu)= \int {h}_{i}(s,\mu) \mu(ds), & \mbox{ on } \{t_1\} \times \mathcal{M}_2(\mathcal{S}) \\ i\in \mathcal{I}, \end{array} \right. \end{equation} where the Hamiltonian $H_i$ is given by \begin{equation} \nonumber \begin{array}{lll} {H}_{i}(t, \mu,\hat{V}_{\mu},\hat{V}_{s\mu},\hat{V}_{ss\mu}) = \inf_{a_i\in A_i} \int\left\{ l_i +\langle b, \hat{V}_{i,s\mu}\rangle +\frac{1}{2} trace[\sigma'\sigma \hat{V}_{i,ss\mu}] \right.\\ \left. {+\int_{\Theta} [\hat{V}_{i,\mu}(t_{-},s+\gamma)- \hat{V}_{i,\mu}-\langle\gamma, \hat{V}_{i,s\mu}\rangle]\nu(d\theta)} + \hat{V}_{i,\mu}(t,s,\mu) {\color{black} (\tilde{b}-\tilde{d})} \right\} \mu(ds) . \end{array} \end{equation} The system (\ref{hjbexistencep0}) is a system of partial-integro differential equations (PIDEs) in the space of measures. It provides not only a mean-field-type Nash equilibrium $(a^*_i)_i$ solution to (\ref{nemftg0}) but also the associated equilibrium cost $\hat{V}_i(t_0,\mu_0)$ for decision-maker $i.$ One of the main challenges of the Nash MFTG problem is to understand (\ref{hjbexistencep0}). In particular, the existence of solution to the infinite dimensional HJB $(\hat{V}_i)_{i\in \mathcal{I}}$ is an open issue in the general setting. To date, only very special cases of (\ref{nemftg0}) are known to have a solution [27,32,57]. We provide below an example where the HJB system (\ref{hjbexistencep0}) admits a solution even with non-convex and non-Lipschitz Hamiltonian. Another approach for finding equilibrium strategies is to consider a master adjoint system (MASS). The MASS associated with the equilibrium problem (\ref{nemftg0}) is given by

\begin{equation} \label{hjbexistencep0mass} \left\{ \begin{array}{lll} \hat{U}_{i,t}(t,s,\mu)+ \partial_{\mu}[{H}_{i}(t,\mu,\hat{U},\hat{U}_{s},\hat{U}_{ss})](s)=0, & \mbox{ on } (t_0,t_1)\times \mathcal{S}\times \mathcal{M}_2(\mathcal{S}) \\ \hat{U}_{i}(t_1,s,\mu)= {h}_{i}(s,\mu)+ \int {h}_{i,\mu}(s,s',\mu) \mu(ds'),\ & \mbox{ on } \{t_1\}\times \mathcal{S}\times \mathcal{M}_2(\mathcal{S}),\\ i\in \mathcal{I}, \end{array} \right. \end{equation} where $ \partial_{\mu}[f(p,\mu)](s):= \frac{\delta f}{\delta \mu}(p,s,\mu):= f_{\mu}(p,s,\mu),$ is the Gâteaux differentiation of $f$ and the Hamiltonian is given by \begin{equation} \nonumber \begin{array}{lll} {H}_{i}(t, \mu,\hat{U},\hat{U}_{s},\hat{U}_{ss}) = \inf_{a_i\in A_i} \int\left\{ l_i +\langle b, \hat{U}_{i,s}\rangle +\frac{1}{2} trace[\sigma'\sigma \hat{U}_{i,ss}] \right. \\ \left. {+\int_{\Theta} [\hat{U}_{i}(t_{-},s+\gamma,\mu)- \hat{U}_{i}-\langle\gamma, \hat{U}_{i,s}\rangle]\nu(d\theta)} + \hat{U}_i(t,s,\mu){\color{black} (\tilde{b}-\tilde{d})} \right\} \mu(ds) . \end{array} \end{equation} Again, one of the challenges in (\ref{hjbexistencep0mass}) is the well-posedness of MASS $\hat{U}.$ We provide an example where MASS admits a solution even with non-convex and non-Lipschitz Hamiltonian.

**Example 2** (Distributed variance reduction)**.**
Consider the distributed variance reduction problem with finitely many atomic agents over an Euclidean space with the following data
\begin{equation} \nonumber
\left\{ \begin{array}{lll}
l_i= \frac{1}{2}r_i \|a_i(t,s,\mu) - \int a_i(t,y,\mu)\mu(t,dy) \|^2 +\frac{1}{2}\bar{r}_i \|\int a_i(t,y,\mu)\mu(t,dy) \|^2\\
+\frac{1}{2}q_i \|s - \int y\mu(t,dy) \|^2 +\frac{1}{2}\bar{q}_i \|\int y \mu(t,dy) \|^2,\\
b= \sum_{j\in \mathcal{I}} a_j(t,s,\mu),\\
h_i= q_i \int \|s- \int y \mu(t,dy)\|^2 \mu(ds)+ \bar{q}_i \|\int y \mu(t,dy)\|^2 ,\\
\sigma, \gamma \ \ \mbox{constant},\\
\tilde{b}=\tilde{d},\\
i\in \mathcal{I},\
\end{array} \right.
\end{equation}
where $\| .\|=\| .\|_2$ is the $2-$norm, $ q_i ,\bar{q}_i, r_i ,\bar{r}_i >0.$
The MFTG equilibrium strategy is given by
\begin{equation} \nonumber \begin{array}{lll}
a^*_i(t,s,\mu) = -\frac{1}{r_i}(\hat{V}_{i,s\mu} -\int \hat{V}_{i,y\mu} \mu(dy))-\frac{1}{\bar{r}_i}\int \hat{V}_{i,y\mu} \mu(dy),\\
\end{array}
\end{equation}

The MFTG equilibrium cost system is given by the following HJB system.

\begin{equation} \nonumber \begin{array}{lll} \hat{V}_{i,t} + \frac{1}{2}q_i \int \|s\|^2\mu(ds) +\frac{1}{2}(\bar{q}_i-q_i) {\color{black} \|\int y \mu(dy) \|^2}\\ -\frac{1}{2r_i}\int \|\hat{V}_{i,s\mu} \|^2 \mu(ds) - (\frac{1}{2\bar{r}_i}-\frac{1}{2r_i}) {\color{black}\|\int \hat{V}_{i,s\mu} \mu(ds)\|^2}\\ -\int \langle \sum_{j\neq i} \frac{1}{r_j}\hat{V}_{j,s\mu}, \hat{V}_{i,s\mu} \rangle \mu(ds) \\ {\color{black}-\langle \sum_{j\neq i} (\frac{1}{\bar{r}_j} -\frac{1}{{r}_j})\int \hat{V}_{j,s\mu} \mu(ds), \left( \int \hat{V}_{i,y\mu} \mu(dy)\right)\rangle} \\ +\frac{1}{2} \int trace[\sigma'\sigma \hat{V}_{i,ss\mu}] \mu(ds)\\ +\int \int_{\Theta} [\hat{V}_{i,\mu}(t_{-},s+\gamma)- \hat{V}_{i,\mu}-\langle\gamma, \hat{V}_{i,s\mu}\rangle]\nu(d\theta) \mu(ds) \ =0, \\ \hat{V}_{i}(t_1,\mu)=q_i \int \|s- \int y \mu(dy)\|^2 \mu(ds)+ \bar{q}_i \| \int y \mu(dy)\|^2. \end{array} \end{equation}

We observe that the HJB system exhibits a non-linearity in the measure $\mu$ via the terms ${\color{black}\|\int \hat{V}_{i,s\mu} \mu(ds)\|^2}$ and $ {\color{black} \langle \int \hat{V}_{j,s\mu} \mu(ds), \left( \int \hat{V}_{i,y\mu} \mu(dy)\right)\rangle}. $ The Hamiltonian of $i$ non-convex in $\mu$ and non-Lipschitz in $\mu.$ The system $(\hat{V}_{i})_{i\in \mathcal{I}}$ is semi-explicitly solvable and it is given by

\begin{equation} \nonumber \begin{array}{lll} \hat{V}_{i}(t,\mu)\\ =\alpha_i(t) \int \|s- \int y \mu(dy)\|^2 \mu(ds) + \bar{\alpha}_i(t) \| \int y \mu(dy)\|^2+\delta_i(t) \int \mu(dy) , \end{array} \end{equation} where $(\alpha_i,\bar{\alpha}_i,\delta_i)_{i\in \mathcal{I}}$ solve coupled ordinary differential systems ( [32]).

## 3. MFTG with non-atomic decision-makers

We consider a class of MFTG with infinitely many non-atomic decision-makers. Let $a_i=a$ denotes the action of a generic non-atomic decision-maker and $s_i=s$ denotes the state of a generic decision-maker. The best response problem of a representative decision-maker is given by
\begin{equation}\label{redmftgone1}
\left\{ \begin{array}{ll}
\inf_{a} \int h(s,{\color{black}\mu(t_1)}, m(t_1)) \mu(t_1,ds)+ \int_{t_0}^{t_1} \int l(t,s,a,{\color{black}\mu}, \tilde{\mu}, m,\tilde{m}) \mu(t,ds) dt,\\
\mbox{subject to}\\
\mu_{t}=- div_s(b\mu) +\frac{1}{2}trace[( \sigma'\sigma \mu)_{ss}]\\
+\int_{\Theta} [ \mu(s-\gamma)-\mu(s)+\langle \mu_s, \gamma\rangle]\nu(d\theta)
{\color{black} +(\tilde{b}-\tilde{d})\mu} ,\\
\mu(t_0,ds)=m_0(ds),\\
m_{t}=- div_s({b}_* m) +\frac{1}{2}trace[( {\sigma}'_* {\sigma}_* m)_{ss}]\\
+\int_{\Theta} [ m(s-{\gamma}_*)-m(s)+\langle m_s, {\gamma}_*\rangle]\nu(d\theta)
{\color{black} +(\tilde{b}_*-\tilde{d}_*)m} ,\\
m(t_0,ds)=m_0(ds),\\
\end{array}\right.
\end{equation}
where $\mu$ is a measure of the individual state, referred to as a *individual mean-field* term. A single decision-maker has a big influence on its own-state measure $\mu.$ The term $m$ is a measure of *other* decision-makers' states referred to as a *population mean-field* term. A generic decision-maker has a negligible influence on $m.$ The terms
$\tilde{b}_*$ (resp. $\tilde{d}_*$) denote $\tilde{b}$ (resp. $\tilde{d}$) evaluated at the equilibrium strategy $a^*,m.$ $ {\phi}_*= \phi_{| a^*},\ \phi\in \{b,\sigma,\gamma\}.$ The consistency condition is $\mu^*=\mu^{a^*,m_0}=m.$

The unnormalized global HJB system associated with (\ref{redmftgone1}) with infinite number of agents yields \begin{equation} \label{eq:hjb:infinite} \left\{ \begin{array}{ll} \hat{V}_{t}+ {H}(t,{\color{black}\mu},m,\hat{V}_{\mu},\hat{V}_{s\mu}, \hat{V}_{ss\mu}, \hat{V}_m) =0,\\ \hat{V}(t_1, \mu, m)=\int h(s,{\color{black}\mu},m) \mu(ds), \end{array}\right. \end{equation}

\begin{equation} \left\{ \begin{array}{ll} {H}=\inf_{a} \int \left\{ l + \langle b, \hat{V}_{s\mu} \rangle + \frac{1}{2}trace[({\sigma}'{\sigma} ) \hat{V}_{ss\mu}] \right. \\ \left. +\int_{\Theta} [ \hat{V}_{\mu}(t,s+\gamma,\mu,m)-\hat{V}_{\mu}(t,s,\mu,m)-\langle \hat{V}_{s\mu}, \gamma\rangle] \nu(d\theta) {\color{black} + (\tilde{b}-\tilde{d}). \hat{V}_{\mu}} \right\} \mu(ds) \\ + \int \langle {b}_*, \hat{V}_{ym} \rangle m(dy) +\int \frac{1}{2}trace[({\sigma}'_*{\sigma}_* ) \hat{V}_{yym}] m(dy) \\ +\int\int_{\Theta} [ \hat{V}_m(t,y+\gamma_*,\mu,m)-\hat{V}_m(t,y,\mu,m)-\langle \hat{V}_{ym}, \gamma_*\rangle] \nu(d\theta) m(dy)\\ {\color{black} + \int (\tilde{b}_*-\tilde{d}_*)(y). \hat{V}_{m}(t_1,y, \mu, m) m(dy) } \end{array}\right. \end{equation}

If there exists a classical smooth solution to (\ref{eq:hjb:infinite}) then $ (\hat{V}(t_0, m_0, m_0), a^*)$ provides a mean-field-type Nash equilibrium cost and strategy where $a^*\in \arg\min \hat{H}$ with $\hat{H}$ being the integrand Hamiltonian given by \begin{equation} \begin{array}{ll} \hat{H}= l + \langle b, \hat{V}_{s\mu} \rangle + \frac{1}{2}trace[({\sigma}'{\sigma} ) \hat{V}_{ss\mu}] \\ +\int_{\Theta} [ \hat{V}_{\mu}(t,s+\gamma,\mu,m)-\hat{V}_{\mu}(t,s,\mu,m)-\langle \hat{V}_{s\mu}, \gamma\rangle] \nu(d\theta) {\color{black} + (\tilde{b}-\tilde{d}). \hat{V}_{\mu}}. \end{array} \end{equation} By consistency the Hamiltonian above is reduced to the diagonal case with $(\mu,m)$ replaced by $(\mu,\mu).$ The system of $\hat{W}(t_1, m)=\hat{V}(t_1, m, m)$ becomes

\begin{equation} \label{eq:hjb:infinite2} \left\{ \begin{array}{ll} \hat{W}_{t}+ {H}(t,{\color{black}m},m,\hat{V}_{\mu},\hat{V}_{s\mu}, \hat{V}_{ss\mu}, \hat{V}_m) =0,\\ \hat{W}(t_1, m)=\int h(s,{\color{black}m},m) \mu(ds), \end{array}\right. \end{equation}

Next, we describe a class of MFTG with infinite number of agents with separable Hamiltonians.

**Example 3** (Separable Hamiltonians)**.**
The best-response problem of a representative agent is the following:
Given Borel probability measures $m(t,.)\in \mathcal{P}(\mathbb{R}^d),$ for $t\in [t_0,t_1]$
find $a, \mu$ such that
\begin{equation} \label{noproblemyyt00}
\left\{ \begin{array}{ll}
\inf_{a} \int \tilde{h}(s-{\color{black}\int y\mu(t_1,dy)}, m(t_1)) \mu(t_1,ds)+\bar{h}(\int y\mu(t_1,dy), m(t_1))\\
+ \int_{t_0}^{t_1} \{\int \frac{1}{2} a^2\mu(t,ds) + \bar{q} {\color{black}\| \int a(t,y)\mu(t,dy)\|^2 } \} dt,\\
+ \int_{t_0}^{t_1} \int \{\tilde{f}(s-\int y \mu(t,dy),m) \mu(t,ds) +\bar{f}(\int y \mu(t,dy),m)\} dt,\\
\mbox{subject to}\\
\mu_{t}=- div_s(a \mu) +\frac{1}{2}trace[( \sigma'\sigma \mu)_{ss}],\\
\mu(t_0,ds)=m_0(ds),\\ \\
\end{array}\right.
\end{equation}
where the initial Borel probability measure $\mu(t_0,ds)=\mu_0(ds)=m_0(ds)$ over $\mathbb{R}^d$
is assumed to have a finite second moment, i.e., $m_0\in \mathcal{P}_2(\mathbb{R}^d).$ The functions $\tilde{h}, \bar{h}, \tilde{f}, \bar{f}$ are real-valued functions. The coefficient $\bar{q}$ is chosen such that $\bar{q}> -\frac{1}{2}$ and $\sigma$ is a constant matrix of appropriate dimension such that $\sigma'\sigma\succ \epsilon \mathbb{I}.$
Problem (\ref{noproblemyyt00}) contains important classes of variance-aware MFTG problems such as distributed variance-reduction problems.

**Proposition 4****.**

*
If there exists $ \hat{V}(t, \mu, m)$ satisfying
\begin{equation} \label{fatigueavecceseq}
\left\{ \begin{array}{ll}
\hat{V}_t(t, \mu, m)
- \frac{1}{2}\int \| \hat{V}_{s\mu}\|^2 \mu(ds)
+ \frac{1}{2}[ 1-\frac{1}{ (2\bar{q}+1) }]{\color{black}\| \int \hat{V}_{y\mu}\mu(dy)\|^2 } \\
+ \int \tilde{f}(s-\int y \mu(dy),m) \mu(ds)
+\bar{f}(\int y \mu(dy),m)\\
+\int \frac{1}{2}trace[({\sigma}'{\sigma} ) \hat{V}_{ss\mu}] \mu(ds) \\
- \int \| \hat{V}_{y\mu}\|^2 m(dy)
+ [ 1-\frac{1}{ (2\bar{q}+1) }]{\color{black}\langle \int \hat{V}_{s\mu}\mu(ds), \int \hat{V}_{ym}m(dy) \rangle } \\
+\int \frac{1}{2}trace[({\sigma}'{\sigma} ) \hat{V}_{yym}] m(dy),\\
\hat{V}(t_1, \mu, m)=
\int \tilde{h}(s-{\color{black}\int y\mu(dy)}, m) \mu(ds)+\bar{h}(\int y\mu(dy), m),
\end{array}\right.
\end{equation}
then $\hat{V}(t_0, \mu_0, m_0)$ the best-response cost associated with Problem (\ref{noproblemyyt00}) and the best-response strategy is given by
\[a^*(t,s,\mu)=
- \hat{V}_{s\mu}(t,s,\mu,m)+ (1 -\frac{1}{2\bar{q}+1}) \int \hat{V}_{y\mu}(t,y,\mu,m)\mu(dy).\]*

*Proof.* We use (\ref{eq:hjb:infinite2}) with the augmented state $(\mu,m)$ to solve Problem (\ref{noproblemyyt00}). The HJB system of the problem is given by the following system:

\begin{equation} \left\{ \begin{array}{ll} \hat{V}_t(t, \mu, m) + \inf_{a}\int \left\{ l + \langle b, \hat{V}_{s\mu} \rangle \right\} \mu(ds) \\ +\int \frac{1}{2}trace[({\sigma}'{\sigma} ) \hat{V}_{ss\mu}] \mu(ds) \\ + \int \langle a^*, \hat{V}_{ym} \rangle m(dy) +\int \frac{1}{2}trace[({\sigma}'{\sigma} ) \hat{V}_{yym}] m(dy),\\ \hat{V}(t_1, \mu, m)= \int \tilde{h}(s-{\color{black}\int y\mu(dy)}, m) \mu(ds)+\bar{h}(\int y\mu(dy), m). \end{array}\right. \end{equation} The Hamiltonian term is \begin{equation} \begin{array}{ll} \inf_{a} \int \left\{ l + \langle b, \hat{V}_{s\mu} \rangle \right\} \mu(ds)\\ = \inf_{a}\left\{ \int \frac{1}{2} \| a(t,s)-\int a(t,y)\mu(dy)\|^2 \mu(ds) \right. \\ + \int \langle a(t,s)-\int a(t,z)\mu(dz), \hat{V}_{s\mu}- \int \hat{V}_{y\mu}\mu(dy)\rangle \mu(ds) \\ + (\bar{q}+\frac{1}{2}) {\color{black}\| \int a(t,y)\mu(dy)\|^2 } + \langle \int a(t,s)\mu(ds), \int \hat{V}_{y\mu}\mu(dy) \rangle \left. \right\}\\ + \int \tilde{f}(s-\int y \mu(dy),m) \mu(ds) +\bar{f}(\int y \mu(dy),m)\\ \end{array} \end{equation}

By Legendre-Fenchel duality, one has

\begin{equation} \begin{array}{ll} \inf_{a} \int \left\{ l + \langle b, \hat{V}_{s\mu} \rangle \right\} \mu(ds)\\ = - \frac{1}{2}\int \| \hat{V}_{s\mu})\|^2 \mu(ds) - \frac{1}{2}[ \frac{1}{ (2\bar{q}+1) }- 1]{\color{black}\| \int \hat{V}_{y\mu}\mu(dy)\|^2 } \\ + \int \tilde{f}(s-\int y \mu(dy),m) \mu(ds) +\bar{f}(\int y \mu(dy),m)\\ \end{array} \end{equation} which is non-convex in $\mu$ and the best-response strategy is given by \[a^*(t,s,\mu)= - \hat{V}_{s\mu}(t,s,\mu,m)+ (1 -\frac{1}{2\bar{q}+1}) \int \hat{V}_{y\mu}(t,y,\mu,m)\mu(dy).\]

Hence, the Bellman system becomes

\begin{equation} \left\{ \begin{array}{ll} \hat{V}_t(t, \mu, m) - \frac{1}{2}\int \| \hat{V}_{s\mu}\|^2 \mu(ds) - \frac{1}{2}[ \frac{1}{ (2\bar{q}+1) }- 1]{\color{black}\| \int \hat{V}_{y\mu}\mu(dy)\|^2 } \\ + \int \tilde{f}(s-\int y \mu(dy),m) \mu(ds) +\bar{f}(\int y \mu(dy),m)\\ +\int \frac{1}{2}trace[({\sigma}'{\sigma} ) \hat{V}_{ss\mu}] \mu(ds) \\ + \int \langle a^*, \hat{V}_{ym} \rangle m(dy) +\int \frac{1}{2}trace[({\sigma}'{\sigma} ) \hat{V}_{yym}] m(dy),\\ \hat{V}(t_1, \mu, m)= \int \tilde{h}(s-{\color{black}\int y\mu(dy)}, m) \mu(ds)+\bar{h}(\int y\mu(dy), m). \end{array}\right. \end{equation}

This completes the proof. ∎

Proposition 4 provides the global HJB system to be solved. Note that the Hamiltonian in Proposition 4 is non-convex and non-Lipschitz. We study the well-posedness of (\ref{fatigueavecceseq}). The next result provides a complexity reduction for MFTG Problem (\ref{noproblemyyt00}).

**Proposition 5****.** *If there exist two functions $\tilde{V}(t, \tilde{\mu}, m), \bar{u}(t_1, \bar{s},m)$ classical solutions to the following system
\begin{equation} \label{tmasseq01}
\left\{ \begin{array}{ll}
\tilde{V}_{t} -\int \frac{1}{2} \|\tilde{V}_{\tilde{s}\tilde{\mu}} \|^2 \tilde{\mu}(d\tilde{s}) \\
+\int \tilde{f}(\tilde{s},m)\tilde{\mu}(d\tilde{s})
+ \int \frac{1}{2}trace[({\sigma}' {\sigma} ) \tilde{V}_{\tilde{s}\tilde{s}\tilde{\mu}}] \tilde{\mu}(d\tilde{s}) \\
- \int \langle \tilde{V}_{y\tilde{\mu}}, \tilde{V}_{ym} \rangle m(dy)
+\int \frac{1}{2}trace[({\sigma}'{\sigma} ) \tilde{V}_{yym}] m(dy)
=0,\\
\tilde{V}(t_1, \tilde{\mu}, m)=\int \tilde{h}(\tilde{s},m) \tilde{\mu}(d\tilde{s}),\\ \\
\bar{u}_{t} -\frac{1}{2(1+2\bar{q} )} \|\bar{u}_{\bar{s}}\|^2 \ + \bar{f}(\bar{s},m)
\\
- \frac{1}{(1+2\bar{q} )}\int \langle \bar{u}_{\bar{s}}, \bar{u}_{ym}m(dy) \rangle
+\int \frac{1}{2}trace[({\sigma}'{\sigma} ) \bar{u}_{yym}] m(dy)
=0,\\
\bar{u}(t_1, \bar{s},m)=\bar{h}(\bar{s},m), \
\end{array}\right.
\end{equation}
then
$ \tilde{V}(t_0, \tilde{\mu}_0,\mu_0) +\bar{u}(t_0,\int y\mu_0(dy),\mu_0)$ is an equilibrium cost and
$a= [- \tilde{V}_{\tilde{s}\tilde{\mu}}+\int \tilde{V}_{\tilde{s}\tilde{\mu}}\tilde{\mu}(d\tilde{s})] -\frac{ \bar{u}_{\bar{s}}}{1+2\bar{q} }$ is an equilibrium strategy for the MFTG problem (\ref{noproblemyyt00}).*

*Proof.* We propose a guess functional in the following form:
$ \tilde{V}(t, \tilde{\mu},m) +\bar{u}(t,\int y\mu(dy),m).$
Given the structure of the separated functions $(\tilde{f}, \bar{f})$ and $(\tilde{h}, \bar{h})$ in terms of the control action of the generic decision-maker $(\tilde{a},\bar{a}),$
we transform Problem (\ref{noproblemyyt00}) into a combination of two simpler sub-problems.

Given a population mean-field $m$ over the time horizon $[t_0,t_1]$ we would like to find $\tilde{a}, \tilde{\mu}, \bar{a}$ such that $\int \tilde{a}(t,y)\tilde{\mu}(dy)=0,$ $a=\tilde{a} +\bar{a},$ with $ \tilde{a}(t,s)=a(t,s)-\int a(t,y) \mu(t,dy), $ and $\bar{a}(t)=\int a(t,s) \mu(t,ds)$ is an orthogonal decomposition. Let us consider the following two sub-problems:

\begin{equation} \label{ftht1} \left\{ \begin{array}{ll} \inf_{\tilde{a}} \int \tilde{h}(\tilde{s}, m(t_1)) \tilde{\mu}(t_1,d\tilde{s})) + \int_{t_0}^{t_1} \int [\frac{1}{2} \| \tilde{a}\|^2+ \tilde{f}(\tilde{s},m)] \tilde{\mu}(t,d\tilde{s}) \} dt,\\ \mbox{subject to}\\ \tilde{\mu}_{t}=- div_{\tilde{s}}(\tilde{a} \tilde{\mu}) +\frac{1}{2}trace[( \sigma'\sigma \tilde{\mu})_{\tilde{s}\tilde{s}}]\\ \tilde{\mu}(t_0,\tilde{s})=\mu_0(\tilde{s}+\int y \mu_0(dy)),\\ \int \tilde{a}(t,y) \tilde{\mu}(t,dy)=0,\\ \end{array}\right. \end{equation}

\begin{equation} \label{ftht2} \left\{ \begin{array}{ll} \inf_{\bar{a}} \bar{h}(\bar{s}(t_1), m(t_1))+ \int_{t_0}^{t_1} \{\frac{1+2\bar{q} }{2} { \bar{a}^2 } + \bar{f}(\bar{s},m)\} dt,\\ \mbox{subject to}\\ \frac{d}{dt}\bar{s}= \bar{a}, \ \ \bar{s}(t_0)= \int y \mu_0(dy). \end{array}\right. \end{equation} Let $\tilde{\mu}(t,z)=\mu(t,z+\int y \mu(t,dy)).$ Then, \begin{equation} \label{ftht2tttt} \begin{array}{ll} \int z \tilde{\mu}(t,dz)= \int z \mu(t, dz+\int y \mu(t,dy))\\ = \int w \mu (t,dw) - [\int y \mu(t,dy)] =0 \end{array} \end{equation}

The two sub-problems (\ref{ftht1}) and (\ref{ftht2}) are coupled via $m.$ The reduced systems of the sub-problems (\ref{ftht1}) and (\ref{ftht2}) are given by \begin{equation} \left\{ \begin{array}{ll} \tilde{v}_{t}(t,\tilde{s})- \frac{1}{2} \| \tilde{v}_{\tilde{s}} \|^2+ \tilde{f}(\tilde{s},\tilde{m})+\frac{1}{2}trace[( {\sigma}'{\sigma} ) \tilde{v}_{\tilde{s}\tilde{s}}]=0,\\ \tilde{v}(t_1,\tilde{s})=\tilde{h}(\tilde{s}, \tilde{m}(t_1)) \\ \tilde{m}_{t}=div_{\tilde{s}}( (\tilde{v}_{\tilde{s}}-\int \tilde{v}_{\tilde{s}}\tilde{\mu}(d\tilde{s})) \tilde{m}) +\frac{1}{2}trace[( {\sigma}'{\sigma} \tilde{m})_{\tilde{s}\tilde{s}}]\\ \tilde{m}(t_0,\tilde{s})= m_0(\tilde{s}+\int ym_0(dy)),\\ \tilde{a}=- \tilde{v}_{\tilde{s}}+\int \tilde{v}_{\tilde{s}}\tilde{\mu}(d\tilde{s}),\\ \int \tilde{v}_{\tilde{s}}(t,y)\tilde{\mu}(dy)=0 ,\\ \\ \bar{v}_{t}(t,\bar{s}) -\frac{1}{2(1+2\bar{q} )}. \| \bar{v}_{\bar{s}}\|^2+ \bar{f}(\bar{s},m) =0,\\ \hat{v}(t_1,\bar{s})=\bar{h}(\bar{s}, m) ,\\ \bar{a}=-\frac{ \bar{v}_{\bar{s}}}{1+2\bar{q} },\\ \end{array}\right. \end{equation} We observe that $\hat{V}(t,\mu,m)= \int \tilde{v}(t,{s}-\int y\mu(dy),m)\mu(ds) +\bar{v}(t,\int y\mu(dy),m)$ and $a= [- \tilde{v}_{\tilde{s}}+\int \tilde{v}_{\tilde{s}}\tilde{\mu}(d\tilde{s})] -\frac{ \bar{v}_{\bar{s}}}{1+2\bar{q} }.$

The mean-field $m$ solves \begin{equation} \left\{ \begin{array}{ll} {m}_{t}=div_{{s}}(( \tilde{v}_{\tilde{s}}-\int \tilde{v}_{\tilde{s}}\tilde{\mu}(d\tilde{s})+\frac{ \bar{v}_{\bar{s}}}{1+2\bar{q} }) m) +\frac{1}{2}trace[( {\sigma}'{\sigma} m)_{{s}{s}}]\\ m(t_0,ds)= m_0(ds),\\ \end{array}\right. \end{equation}

We then use the reduced system solution to the two coupled sub-problems to construct a solution to the following system of two HJB equations on the space of measures.

\begin{equation} \label{tmasseq00} \left\{ \begin{array}{ll} \tilde{V}_{t} -\int \frac{1}{2} \|\tilde{V}_{\tilde{s}\tilde{\mu}}-\int\tilde{V}_{\tilde{y}\tilde{\mu}} \tilde{\mu}(d\tilde{y})\|^2 \tilde{\mu}(d\tilde{s}) \\ +\int \tilde{f}(\tilde{s},m)\tilde{\mu}(d\tilde{s}) + \int \frac{1}{2}trace[({\sigma}' {\sigma} ) \tilde{V}_{\tilde{s}\tilde{s}\tilde{\mu}}] \tilde{\mu}(d\tilde{s}) \\ - \int \langle \tilde{V}_{y\tilde{\mu}}-\int\tilde{V}_{\tilde{s}\tilde{\mu}} \tilde{\mu}(d\tilde{s}), \tilde{V}_{ym} \rangle m(dy) +\int \frac{1}{2}trace[({\sigma}'{\sigma} ) \tilde{V}_{yym}] m(dy) =0,\\ \tilde{V}(t_1, \tilde{\mu}, m)=\int \tilde{h}(\tilde{s},m) \tilde{\mu}(d\tilde{s}),\\ \\ \bar{u}_{t} -\frac{1}{2(1+2\bar{q} )} \|\bar{u}_{\bar{s}}\|^2 \ + \bar{f}(\bar{s},m) \\ - \frac{1}{(1+2\bar{q} )}\int \langle \bar{u}_{\bar{s}}, \bar{u}_{ym}m(dy) \rangle +\int \frac{1}{2}trace[({\sigma}'{\sigma} ) \bar{u}_{yym}] m(dy) =0,\\ \bar{u}(t_1, \bar{s},m)=\bar{h}(\bar{s},m) \,\\ \end{array}\right. \end{equation} where $\hat{V}(t,\mu, m)= \tilde{V}(t, \tilde{\mu},m) +\bar{u}(t,\int y\mu(dy),m),$ and $a= [- \tilde{V}_{\tilde{s}\tilde{\mu}}+\int \tilde{V}_{\tilde{s}\tilde{\mu}}\tilde{\mu}(d\tilde{s})] -\frac{ \bar{u}_{\bar{s}}}{1+2\bar{q} }$

This completes the proof. ∎

It can also be solved using a system of two MASS given by \begin{equation} \label{tmasseq} \left\{ \begin{array}{ll} \tilde{U}_{t} -\frac{1}{2} \|\tilde{U}_{\tilde{s}}\|^2 + \tilde{f}(\tilde{s},\tilde{m}) + \frac{1}{2}trace[({\sigma}' {\sigma} ) \tilde{U}_{\tilde{s}\tilde{s}}] \\ - \int \langle \tilde{U}_{\tilde{s}}, \tilde{U}_{\tilde{m}} \rangle \tilde{m}(dy) +\int \frac{1}{2}trace[({\sigma}'{\sigma} ) \tilde{U}_{yy\tilde{m}}] \tilde{m}(dy) =0,\\ \tilde{U}(t_1, \tilde{s},\tilde{m})= \tilde{h}(\tilde{s},\tilde{m}),\\ \\ \bar{U}_{t} -\frac{1}{2(1+2\bar{q} )} \|\bar{U}_{\bar{s}}\|^2 \ + \bar{f}(\bar{s},m) \\ - \frac{1}{(1+2\bar{q} )}\int \langle \bar{U}_{\bar{s}}, \bar{U}_{ym}m(dy) \rangle +\int \frac{1}{2}trace[({\sigma}'{\sigma} ) \bar{U}_{yym}] m(dy) =0,\\ \bar{U}(t_1, \bar{s},m)=\bar{h}(\bar{s},m) \,\\ \end{array}\right. \end{equation}

It follows that the best-response cost is given by $\hat{V}(t,\mu,m)= \int \tilde{U}(t,{s}-\int y\mu(dy),m)\mu(ds) +\bar{U}(t,\int y\mu(dy),m),$ and the equilibrium cost is $\hat{V}(t_0,m_0,m_0).$ The mean-field-type Nash equilibrium strategy is given by $a= [- \tilde{U}_{\tilde{s}}+\int \tilde{U}_{\tilde{y}}\tilde{\mu}(d\tilde{y})] -\frac{ \bar{U}_{\bar{s}}}{1+2\bar{q} }.$

### Existence of solution

**Proposition 6****.** *Let
\begin{equation} \label{tmasseq22}
\left\{ \begin{array}{ll}
\tilde{U}_{t} -\frac{1}{2} \|\tilde{U}_{\tilde{s}}\|^2 + \tilde{f}(\tilde{s},\tilde{m})
+ \frac{1}{2}trace[({\sigma}' {\sigma} ) \tilde{U}_{\tilde{s}\tilde{s}}] \\
- \int \langle \tilde{U}_{\tilde{s}}, \tilde{U}_{\tilde{m}} \rangle \tilde{m}(dy)
+\int \frac{1}{2}trace[({\sigma}'{\sigma} ) \tilde{U}_{yy\tilde{m}}] \tilde{m}(dy)
=0,\\
\tilde{U}(t_1, \tilde{s},\tilde{m})= \tilde{h}(\tilde{s},\tilde{m}),\\
\end{array}\right.
\end{equation} *

*Assume that $\bar{q}>-\frac{1}{2}, \ \sigma= \mathbb{I},$ the initial distribution $\mu_0$ has a finite second moment, and
$\tilde{m} \mapsto \tilde{H}(\tilde{m})$*

*and
$\tilde{m} \mapsto \tilde{F}(\tilde{m})$
are
strictly convex in the space of measure and $\tilde{F}_{\tilde{m}}(\tilde{m})= \tilde{f}(\tilde{s},\tilde{m}),$ $\tilde{H}_{\tilde{m}}(\tilde{m})= \tilde{h}(\tilde{s},\tilde{m})$
then there is a solution to (\ref{tmasseq22}).*

The proof follows from the representation formula of the original problem as a variational problem. A detailed proof can be found in [34]. It can be shown that the convexity assumption can be relaxed to a class of semi-convexity under suitable conditions [22].

## 4. MFTG with atomic and a multi-class non-atomic decision-makers

We now consider $ I\geq 2$ number many atomic decision-makers and several classes of nonatomic decision-makers interacting within the time horizon $[t_0,t_1],\ \ t_0<t_1.$ The set of atomic decision-makers is denoted by $ \mathcal{I}=\{1,2,\ldots, I\}.$ Decision-maker $i\in \mathcal{I}$ has a control action $a_i\in A_i=\mathbb{R}^d,\ d\geq 1.$ There are $C\geq 1$ classes of non-atomic decision-makers denoted by $\mathcal{C}:=\{I+1,I+2,\ldots, I+C\}.$ A representative decision-maker in class $c\in \mathcal{C}$ has a control action $a_c\in A_c=\mathbb{R}^{d_c}.$

### State and cost functionals of atomic decision-makers

The data of the state and cost functionals of atomic decision-makers are given by \begin{equation} \nonumber \begin{array}{lll} {D}_{do}\\ :=[t_0,t_1]\times \mathcal{S}_{do}\times \prod_{i\in \mathcal{I}} A_i \times \mathcal{P}(\mathcal{S}_{do})\times \prod_{i\in \mathcal{I}} \mathcal{P}(A_i) \times \prod_{c\in \mathcal{C}} [\mathcal{P}(\mathcal{S}_{c})\times\mathcal{P}({A}_c)],\\ \mbox{Drift coefficient: } b_{do}:\ D_{do}\rightarrow \mathcal{S}_{do},\\ \mbox{Diffusion coefficient: matrix } \sigma_{do}:\ D_{do} \rightarrow \mathbb{R}^{d\times d},\\ \ \mbox{Jump rate coefficient: } \gamma_{do}: D_{do} \times \Theta\rightarrow \mathbb{R}^{d},\\ \mbox{Birth rate: } \ \tilde{b}_{do}: D_{do}\rightarrow \mathcal{S}_{do},\\ \mbox{Death rate: } \ \tilde{d}_{do}: D_{do}\rightarrow \mathcal{S}_{do},\\ \end{array} \end{equation} where $\mathcal{P}(\mathcal{S}_{do})$ denotes the set of Borel measures on $\mathcal{S}_{do}.$ Let \begin{equation} \nonumber \begin{array}{lll} l_i :\ D_{do} \rightarrow \mathbb{R},\\ h_i: \mathcal{S}_{do}\times \mathcal{P}(\mathcal{S}_{do})\times \prod_{c\in \mathcal{C}} \mathcal{P}(\mathcal{S}_{c}) \rightarrow \mathbb{R}. \end{array} \end{equation} where $l_i$ is the running cost and $h_i$ is the terminal cost at time $t_1.$ The performance functional of the atomic decision-maker $i$ is given by \begin{equation} \nonumber \begin{array}{lll} \hat{L}_i((a_{j})_{j\in\mathcal{I}})\\ = \int h_{i}(s_{do}, \mu_{do}(t_1,.),m(t_1) ). \mu_{do}(t_1,ds_{do})\\ +\int_{t_0}^{t_1} \int l_{i}(t,s_{do}, (a_{j})_{j\in\mathcal{I}},\mu_{do}, (\tilde{\mu}_j)_{j\in\mathcal{I}}, m, \tilde{m}) \mu_{do}(t,ds_{do}) dt \end{array} \end{equation} The performance functional $\hat{L}_i$ of $i$ is completely determined by the conditional measure $\mu_{do}\otimes m.$

### State and cost functionals of non-atomic decision-makers

The data of the state and cost functionals of non-atomic decision-makers are given by \begin{equation} \nonumber \begin{array}{lll} D_c:=[t_0,t_1]\times \mathcal{S}_{do}\times \mathcal{S}_{c}\times \prod_{i\in \mathcal{I}} A_i \times \mathcal{A}_{c} \times \mathcal{P}(\mathcal{S}_{do})\times \mathcal{P}(\mathcal{S}_{c})\\ \times \prod_{i\in \mathcal{I}} \mathcal{P}(A_i)\times \mathcal{P}(A_c)\times \prod_{c'\in \mathcal{C}}[ \mathcal{P}(\mathcal{S}_{c'})\times\mathcal{P}({A}_{c'})],\\ b_{c}:\ D_c \rightarrow \mathcal{S}_{c},\\ \sigma_{c} :\ D_c \rightarrow \mathbb{R}^{d_c\times k_c},\\ \gamma_{c}: D_c \times \Theta\rightarrow \mathbb{R}^{d_c},\\ \nu_{c} \ \mbox{is a Radon measure over } \Theta,\\ \mbox{Birth rate: } \ \tilde{b}_{c}: D_c \rightarrow \mathcal{S}_{c},\\ \mbox{Death rate: } \ \tilde{d}_{c}: D_c \rightarrow \mathcal{S}_{c},\\ \end{array} \end{equation}

The performance functional $\hat{L}_c$ is given by \begin{equation} \begin{array}{ll} \hat{L}_c(({a_{i}})_{i\in\mathcal{I}}, a_c, m,\tilde{m}): = \int h_c(s_{do}, x_{c}, \mu_{do,c}(t_1,.),m(t_1)) \ \mu_{do,c}(t_1,ds_{do}dx_{c} )\\ +\int_{t_0}^{t_1} \int l_c(t,s_{do},x_{c}, ({a_{i}})_{i\in\mathcal{I}},a_c,\mu_{do,c}, (\tilde{\mu}_i)_{i\in\mathcal{I}}, \tilde{\mu}_{c},m, \tilde{m} ) \mu_{do,c}(t,ds_{do}dx_{c}) dt\\ \end{array} \end{equation} The expected performance functional $\hat{L}_c$ of $c$ is completely determined by the measure $\mu_{do,c}\otimes m.$

Let \begin{equation}\begin{array}{ll} {H}_i= \inf_{a_i} {\color{black} \int \hat{V}_{i,\mu_{do} } (\tilde{b}_{do}-\tilde{d}_{do} ) \mu_{do}(ds_{do}) } \\ {\color{black} + \sum_c \int \hat{V}_{i,m_c\mu_{do}}(\tilde{b}_{*,c}-\tilde{d}_{*,c} ) \mu_{do,c}(ds_c ds_{do}) }\\ + \int \mu_{do}(ds_{do}) \left\{ l_i + \hat{V}_{i,s_{do}\mu_{do} } b_{do} +\frac{1}{2} \langle \sigma_{do}, \sigma_{do} \hat{V}_{i,s_{do}s_{do}\mu_{do}}\rangle \right. \\ + \int_{\Theta} \left\{ \hat{V}_{i,\mu_{do}}(t,s_{do}+\gamma_{do}(t_{-},.,\theta),m) \right.\\ \left. - \hat{V}_{i,\mu_{do}}(t,s_{do},m) -\langle \hat{V}_{i,s_{do}\mu_{do}}, \gamma_{do}(t,.,\theta) \rangle \right\}\nu_{do}(d\theta)\\ + \int[ \sum_{c} \langle \bar{b}_c, \hat{V}_{i,y_cm\mu_{do}} \rangle+ \frac{1}{2}\sum_{c} \langle \bar{\sigma}_{c}, \bar{\sigma}_{c} \hat{V}_{i,y_{c}y_{c}m\mu_{do}}\rangle]m(dy)\\ + \int \int_{\Theta} \left\{ \hat{V}_{i,m\mu_{do}}(t,s_{do},\mu_{do},y+\bar{\gamma}(t_{-},.,\theta),m) \right. \\ - \hat{V}_{i,m\mu_{do}}(t,s_{do},\mu_{do},y,m) \\ \left. - \sum_{c\in \mathcal{C}}\langle \hat{V}_{i,y_{c}m\mu_{do}}, \bar{\gamma}_{c}(t,.,\theta) \rangle \right\}\nu_{\mathcal{C}}(d\theta) m(dy) \left. \right\} \\ \end{array} \end{equation}

\begin{equation}\begin{array}{ll} {H}_c = \inf_{a_c} \\ \int \mu_{doc}(ds_{do}ds_c) \left\{ l_c + \hat{V}_{c,s_{do}\mu_{do,c} } b_{do} +\frac{1}{2} \langle \sigma_{do}, \sigma_{do} \hat{V}_{c,s_{do}s_{do}\mu_{do,c}}\rangle \right. \\ + \hat{V}_{c,s_{c}\mu_{do,c} } b_{c} +\frac{1}{2} \langle \sigma_{c}, \sigma_{c} \hat{V}_{c,s_{c}s_{c}\mu_{do,c}}\rangle \\ + \int_{\Theta} \left\{ \hat{V}_{c,\mu_{do,c}}(t,s_{do}(t_{-})+\gamma_{do}(t_{-},\theta_{do}), s_{c}(t_{-})+\gamma_{c}(t_{-},.,\theta_c),.)\right. \\ - \hat{V}_{c,\mu_{do,c}}(t,s_{do}(t_{-}), s_{c}(t_{-}), .)\\ -\langle \hat{V}_{c,s_{do}\mu_{do,c}}, \gamma_{do}(t,.,\theta_{do}) \rangle \\ -\langle \hat{V}_{c,s_{c}\mu_{do,c}}, \gamma_{c}(t,.,\theta_c) \left. \right\}\nu_{do}(d\theta_{do}) \nu_{c}(d\theta_c) \\ \left. \right\}\\ +\int [\sum_{c'} \langle \bar{b}_{c'}, \hat{V}_{c,y_{c'}m\mu_{do,c}} \rangle+ \frac{1}{2}\sum_{c'} \langle \bar{\sigma}_{c'}, \bar{\sigma}_{c'} \hat{V}_{c,y_{c'}y_{c'}m\mu_{do,c}}\rangle]m(dy)\\ + \int \ \int_{\Theta} \left\{ \hat{V}_{c,m\mu_{do,c}}(t,s_{do},s_c,\mu_{do,c},y(t_{-})+\bar{\gamma}(t_{-},.,\theta),m) \right. \\ - \hat{V}_{c,m\mu_{do,c}}(t,s_{do},s_c,\mu_{do,c},y(t_{-}),m)\\ \left. -\sum_{c\in \mathcal{C}}\langle \hat{V}_{c,y_{c'}m\mu_{do,c}}, \bar{\gamma}_{c'}(t,.,\theta) \rangle \}\nu_{\mathcal{C}}(d\theta) \right\} m(dy)\\ {\color{black} + \int \hat{V}_{c,\mu_{do} } (\tilde{b}_{do}-\tilde{d}_{do} ) \mu( ds_{do}) } {\color{black} + \int \hat{V}_{c,\mu_{doc}}(\tilde{b}_{c}-\tilde{d}_{c} ) \mu_{doc}(ds_{do}ds_c )}\\ {\color{black}+ \sum_{c'} \int \hat{V}_{i,m_{c'}\mu_{doc}}(\tilde{b}_{*,c'}-\tilde{d}_{*,c'} ) m(dy)\mu_{do}( ds_{do})}, \end{array} \end{equation}

The next Proposition provides a sufficiency condition for mean-field-type Nash equilibria.

**Proposition 7****.** *If there exists a classical smooth solution $ \hat{V}_i: [t_0,t_1]\times \mathcal{P}( \mathcal{S}_{do})\times \prod_{c} \mathcal{P}( \mathcal{S}_{c}) \rightarrow$ and $\hat{V}_c: [t_0,t_1]\times \mathcal{P}( \mathcal{S}_{do})\times \mathcal{P}( \mathcal{S}_{c})\times \prod_{c'} \mathcal{P}( \mathcal{S}_{c'}) \rightarrow$ such that
\begin{equation}\label{dppmaint1}\left\{
\begin{array}{lll}
\hat{V}_{i,t}(t,\mu_{do}\otimes m)+{H}_i =0,\ \
\mbox{on}\ (t_0,t_1)\times \mathcal{P}(\mathcal{S}_{do})\times \prod_{c} \mathcal{P}(\mathcal{S}_{c})\\
\hat{V}_i(t_1,\mu_{do}\otimes m )=\int h_i(s_{do},\mu_{do}\otimes m) \mu_{do}(ds_{do}),\\ \\
\hat{V}_{c,t}(t,\mu_{do,c}\otimes m)+{H}_c =0,\ \ \mbox{on}\ (t_0,t_1)\times \mathcal{P}(
\mathcal{S}_{do}\times \mathcal{S}_{c})\times \prod_{c'} \mathcal{P}(\mathcal{S}_{c'}),
\\ \hat{V}_c(t_1,\mu_{do,c}\otimes m )=\int h_c(s_{do},x_{c},\mu_{do,c},m) \mu_{do,c}(ds_{do}dx_{c}), \\ \\
\mu_{c}(t,.)=m_c(t,.),\ \\
\tilde{\mu}^*_c=\tilde{m}_c,\ \\
i\in \mathcal{I},\ c\in \mathcal{C}\\
\end{array}
\right.
\end{equation}
then *

*$\hat{V}_c(t_0,\mu_{do,c}(t_0,.)\otimes m(t_0,.))$ is an equilibrium cost of a generic nonatomic decision-maker in class $c,$**$\hat{V}_i(t_0,\mu_{do,c}(t_0,.)\otimes m(t_0,.))$ is an equilibrium cost of the atomic decision-maker $i\in\mathcal{I}$ and**the strategy $a^*_c$ minimizing the expression in ${H}_c$ is an optimal strategy.**The optimal strategy $a^*_i$ minimizes in ${H}_i.$*

Generically, $a^*_c$ is a function of $(t,s_{do},x_{c},m,\mu_{do,c})$ which is in a state-and-mean-field feedback form, and $a_i^*$ is a function of $(t,s_{do},m,\mu_{do})$ which is in a state-and-mean-field-type feedback form.

*Proof.* Let $\hat{\phi}_i$ be a test function. We use the integration formula to obtain the following equality:
\begin{equation}\begin{array}{ll}
\hat{\phi}_i(t_1,\mu_{do}\otimes m(t_1))-\hat{\phi}_i(t_0,\mu_{do}\otimes m(t_0,.))\\
= \int_{t_0}^{t_1} [ \hat{\phi}_{i,t}+ \int O_{do,m}[\hat{\phi}_{i,\mu_{do}}] \mu_{do}(t,ds_{do})] dt,
\end{array} \end{equation}
where $O_{do,m}$ is the infinitesimal generator associated with $\mu_{do}\otimes m.$
We aim to establish a verification method. In order to do so we compute the difference between the expected cost functional $\hat{L}_i$ and the candidate guess functional $\hat{V}_i(t_0,\mu_{do}\otimes (t_0,.))$
\begin{equation}\begin{array}{ll}
{\hat{L}}_i-\hat{V}_i(t_0, \mu_{do}\otimes m(t_0,.))\\
= \int h_i \mu_{do}(t_1, ds_{do})- \hat{V}_i(t_1, \mu_{do}\otimes m(t_1,.))\\
+ \int_{t_0}^{t_1} \hat{V}_{i,t}+ \int \{ l_i+ O_{do,m}[\hat{V}_{i,\mu_{do}}]\} \mu_{do}(t,ds_{do}),
\end{array}
\end{equation}
We do a similar computation with $\hat{V}_{c}.$
Then, the announced result follows by taking the minimization in $a_i$ (respectively in $a_c$) and by matching the functionals with $\hat{V}.$ This completes the proof. ∎

A solution (if any) to the infinite dimensional PIDE (\ref{dppmaint1}) provides the equilibrium values and the equilibrium strategies of all the decision-makers.

## 5. Conclusion

In this article we have presented a class of mean-field-type games with both atomic and multi-class non-atomic decision-makers. We proposed a Hamilton-Jacobi- Bellman PIDE approach and provided sufficiency conditions for mean-field-type Nash equilibria in state-and-mean-field feedback strategies. As a corollary a class of master adjoint system is derived. We have provided an example which the resulting PIDE system has a non-convex and non-Lipschitz Hamiltonian but is nevertheless semi-explicitly solvable.

Number of questions remain unanswered and we leave them for future works. The first concern is about the existence of solutions to the Bellman system in the general case. The second concern is the solvability of the system of the PIDEs in the general case. The third plan is the solvability of hierarchical designs such as

- All the atomic decision-makers move first. Then follows the mass of non-atomic decision-makers
- All the non-atomic decision-makers move first. Then, the atomic decision-makers respond
- Finding the best design by means of any permutation of cluster sequential ordering of decision-makers

## References

- D. Andersson and B. Djehiche. “A Maximum Principle for SDEs of Mean-Field Type” (2011).
*Applied Mathematics & Optimization*, vol. 63, no. 2011, pp. 341-356. - A. Aurell. “Mean-Field Type Games between Two Players Driven by Backward Stochastic Differential Equations” (2018).
*Games*, vol. 9, no. 88, pp. 1-26. - A. Aurell and B. Djehiche. “Mean-field type modelling of nonlocal crowd aversion in pedestrian crowd dynamics” (2018).
*SIAM J. C ONTROL O PTIM .*, vol. 56, no. 1, pp. 434-455. - A. Aurell and B. Djehiche. “Modeling tagged pedestrian motion: A mean-field type game approach” (2019).
*Transportation Research Part B*, vol. 121, pp. 168-183. - J. Barreiro-Gomez, T. E. Duncan, B. Pasik-Duncan and H. Tembine. “Semi-Explicit Solutions to some Non-Linear Non-Quadratic Mean-Field-Type Games: A Direct Method” (2020).
*IEEE Transactions on Automatic Control*, vol. , no. , pp. 1-14. DOI 10.1109/TAC.2019.2946337. - J. Barreiro-Gomez, T. E. Duncan and H. Tembine. “Co-opetitive Linear-Quadratic Mean-Field-Type Games” (2019).
*IEEE Transactions on Cybernetics*. DOI: 10.1109/TCYB.2019.2901006. - J. Barreiro-Gomez, T. E. Duncan and H. Tembine, “Linear-Quadratic Mean-Field-Type Games-Based Stochastic Model Predictive Control: A Microgrid Energy Storage Application”. In
*Proceedings of the American Control Conference*, pp. 3224-3229 (2019). Philadelphia, PA, USA - J. Barreiro-Gomez, T. E. Duncan and H. Tembine. “Linear-Quadratic Mean-Field-Type Games: Jump-Diffusion Process with Regime Switching” (2019).
*IEEE Transactions on Automatic Control*, vol. 64, no. 10, pp. 4329-4336. - J. Barreiro-Gomez, T. E. Duncan and H. Tembine. “Linear-Quadratic Mean-Field-Type Games with Multiple Input Constraints” (2019).
*IEEE Control Systems Letters*, vol. 3, no. 3, pp. 511-516. - J. Barreiro-Gomez, T. E. Duncan and H. Tembine. “Discrete-time linear-quadratic mean-field-type repeated games: Perfect, incomplete, and imperfect information” (2020).
*Automatica*, vol. 112, p. 108647. - J. Barreiro-Gomez and H. Tembine. “Mean-Field-Type Model Predictive Control: An Application to Water Distribution Networks” (2019).
*IEEE Access*, vol. 7, pp. 135332-135339. - Julian Barreiro-Gomez and Hamidou Tembine. “Blockchain token economics: A mean-field-type game perspective” (2019).
*IEEE Access*, vol. 7, pp. 64603–64613. - Tamer Başar, Boualem Djehiche and Hamidou Tembine. “Mean-Field-Type Game Theory I: Foundations and New Directions, (under preparation)” (2021).
*Springer*. - Tamer Başar, Boualem Djehiche and Hamidou Tembine. “Mean-Field-Type Game Theory II: Applications, (under preparation)” (2021).
*Springer*. - E. Bayraktar, A. Cosso and H. Pham. “Randomized dynamic programming principle and Feynman-Kac representation for optimal control of McKean-Vlasov dynamics” (2016).
*arXiv:1606.08204*. - A. Bensoussan, B. Djehiche, H. Tembine and S. C. P. Yam. “Mean-Field-Type Games with Jump and Regime Switching” (2019).
*Dynamic Games and Applications*, vol. , no. , pp. 1-39. - A. Bensoussan, J. Frehse and S.C.P. Yam. “Mean Field Games and Mean Field Type Control Theory”, vol. 1.
*Springer Briefs in Mathematics*, New York (2013). - A. Bensoussan, S.C.P. Yam and Z. Zhang. “Well-posedness of mean-field type forward–backward stochastic differential equations” (2015).
*Stochastic Processes and their Applications*, vol. 125, no. 2015, pp. 3327-3354. - R. Buckdahn, B. Djehiche and J. Li. “A General Stochastic Maximum Principle for SDEs of Mean-field Type” (2011).
*Applied Mathematics & Optimization*, vol. 64, no. 2011, pp. 197-216. - R. Carmona and F. Delarue. “Mean field forward-backward stochastic differential equations” (2013).
*Electron. Commun. Probab.*, vol. 18, no. 2013, pp. 1-15. - Xiaolan Chen and Qingfeng Zhu. “Nonzero sum differential game of mean-field BSDEs with jumps under partial information” (2014).
*Mathematical Problems in Engineering*. - Y.T. Chow and W. Gangbo. “A partial Laplacian as an infinitesimal generator on the Wasserstein space” (2019).
*J. Differential Equations*, vol. 267, no. 10, pp. 6065-6117. - A. K. Cissé and H. Tembine, “Cooperative Mean-Field Type Games”. In
*Proceedings of the 19th World Congress The International Federation of Automatic Control*, pp. 8995-9000 (2014). Cape Town, South Africa - B. Djehiche, J. Barreiro-Gomez and H. Tembine, “Electricity Price Dynamics in the Smart Grid: A Mean-Field-Type Game Perspective”. In
*23rd International Symposium on Mathematical Theory of Networks and Systems*, pp. 631-636 (2018). Hong Kong - B. Djehiche and S. Hamadène. “Optimal Control and Zero-Sum Stochastic Differential Game Problems of Mean-Field Type” (2018).
*Applied Mathematics & Optimization*, vol. , pp. 1-28. - B. Djehiche and M. Huang. “A Characterization of Sub-game Perfect Equilibria for SDEs of Mean-Field Type” (2016).
*Dynamic Games and Applications*, vol. 6, pp. 55-81. - B. Djehiche, A. Tcheukam and H. Tembine. “Mean-Field-Type Games in Engineering” (2017).
*AIMS Electronics and Electrical Engineering*, vol. 1, no. 4, pp. 18-73. - B. Djehiche and H. Tembine, “Risk-Sensitive Mean-Field Type Control Under Partial Observation”. In F. E. Benth and G. D. Nunno (editors),
*Stochastics of Environmental and Financial Economics*, pp. 243-263 (2016). Springer, Oslo, Norway. - B. Djehiche, H. Tembine and R. Tempone. “A Stochastic Maximum Principle for Risk-Sensitive Mean-Field Type Control” (2015).
*IEEE Transactions on Automatic Control*, vol. 60, no. 10, pp. 2640-2649. - Boualem Djehiche, Julian Barreiro-Gomez and Hamidou Tembine. “Mean-field-type games for blockchain-based distributed power networks” (2019).
*International Econometric Conference of Vietnam, Springer*. - Boualem Djehiche, Alain Tcheukam and Hamidou Tembine. “A Mean-Field Game of Evacuation in Multi-Level Building” (2017).
*IEEE Transactions on Automatic Control*. - T. Duncan and H. Tembine. “Linear-Quadratic Mean-Field-Type Games: A Direct Method” (2018).
*Games*, vol. 9, no. 7, p. . - R. Elliott, X. Li and Y. Ni. “Discrete time mean-field stochastic linear-quadratic optimal control problems” (2013).
*Automatica*, vol. 49, no. 2013, pp. 3222-3233. - W. Gangbo and A. Swiech. “Existence of a solution to an equation arising from the theory of Mean Field Games” (2015).
*Journal of Differential Equations*, vol. 259, pp. 6573-6643. - J. Gao and H. Tembine, “Distributed Mean-Field-Type Filters for Big Data Assimilation”. In
*2016 IEEE 18th International Conference on High Performance Computing and Communications; IEEE 14th International Conference on Smart City; IEEE 2nd International Conference on Data Science and Systems*, pp. 1446-1453 (2016). - J. Gao and H. Tembine. “Distributed Mean-Field-Type Filters for Traffic Networks” (2019).
*IEEE Transactions on Intelligent Transportation Systems*, vol. 20, no. 2, pp. 507-521. - P. J. Graber. “Linear Quadratic Mean Field Type Control and Mean Field Games with Common Noise, with Application to Production of an Exhaustible Resource” (2016).
*Appl Math Optim*, vol. 74, pp. 459-486. - W. Guangchen, W. Zhen and Z. Chenghui, “Maximum Principles for Partially Observed Mean-Field Stochastic Systems with Application to Financial Engineering”. In
*Proceedings of the 33rd Chinese Control Conference*, pp. 5357-5362 (2014). Nanjing, China - W. Guangchen, W. Zhen and Z. Chenghui, “A Partially Observed Optimal Control Problem for Mean-Field Type Forward-Backward Stochastic System”. In
*Proceedings of the 35th Chinese Control Conference*, pp. 1781-1786 (2016). Chengdu, China - J. J. Absalom Hosking. “A Stochastic Maximum Principle for a Stochastic Differential Game of a Mean-Field Type” (2012).
*Applied Mathematics & Optimization*, vol. 66, no. 2012, pp. 415-454. - M. Laurière and O. Pironneau. “Dynamic programming for mean-field type control” (2014).
*C. R. Acad. Sci. Paris, Ser. I*, vol. 352, pp. 707-713. - M. Laurière and O. Pironneau. “Dynamic Programming for Mean-Field Type Control” (2016).
*J Optim Theory Appl*, vol. 169, pp. 902-924. - H. Ma and B. Liu. “LINEAR-QUADRATIC OPTIMAL CONTROL PROBLEM FOR PARTIALLY OBSERVED FORWARD-BACKWARD STOCHASTIC DIFFERENTIAL EQUATIONS OF MEAN-FIELD TYPE” (2016).
*Asian Journal of Control*, vol. 18, no. 6, pp. 2146-2157. - H. Ma and B. Liu. “Maximum principle for partially observed risk-sensitive optimal control problems of mean-field type” (2016).
*European Journal of Control*, vol. 32, pp. 16-23. - L. Ma, T. Zhang, W. Zhang and B. Chen. “Finite horizon mean-field stochastic $H_2/H_{\infty}$ control for continuous-time systems with $(x,v)$-dependent noise” (2015).
*Journal of The Franklin Institute*, vol. 352, no. 2015, pp. 5393-5414. - Y. Ni, J. Zhang and X. Li. “Indefinite Mean-Field Stochastic Linear-Quadratic Optimal Control” (2015).
*IEEE Transactions on Automatic Control*, vol. 60, no. 7, pp. 1786-1800. - G. Rossi, A. S Tcheukam and H Tembine. “How Much Does Users' Psychology Matter in Engineering Mean-Field-Type Games” (2016).
*Workshop on Game Theory and Experimental Methods, June 6-7, Second University of Naples, Italy.*. - Xu Rui-min. “Zero-sum stochastic differential games of mean-field type and BSDEs” (2012).
*Proceedings of the 31st Chinese Control Conference*. - Y. Shen and T. K. Siu. “The maximum principle for a jump-diffusion mean-field model and its application to the mean–variance problem” (2013).
*Nonlinear Analysis*, vol. 86, pp. 58-73. - A. T. Siwe and H. Tembine, “Network Security as Public Good: A Mean-Field-Type Game Theory Approach”. In
*2016 13th International Multi-Conference on Systems, Signals & Devices (SSD)*, pp. 601-606 (2016). Leipzig, Germany - Alain Tcheukam Siwe and Hamidou Tembine. “Mean-field-type games on airline networks and airport queues: Braess paradox, its negation, and crowd effect” (2016).
*2016 13th IEEE International Multi-Conference on Systems, Signals & Devices (SSD)*. - A. Tcheukam and H. Tembine, “Mean-Field-Type Games for Distributed Power Networks in Presence of Prosumers”. In
*2016 28th Chinese Control and Decision Conference (CCDC)*, pp. 446-451 (2016). 2016 - A. S. Tcheukam and H. Tembine. “On the Distributed Mean-Variance Paradigm” (2016).
*13th International Multi-Conference on Systems, Signals & Devices. Conference on Systems, Automation & Control - Leipzig, Germany*. - H. Tembine. “Risk-sensitive mean-field-type games with $L^p$-norm drifts” (2015).
*Automatica*, vol. 59, pp. 224-237. - H. Tembine, “Uncertainty Quantification in Mean-Field-Type Teams and Games”. In
*Proceedings of the IEEE Control Conference on Decision and Control (CDC)*, pp. 4418-4423 (2015). Osaka, Japan - H. Tembine. “Mean-field-type optimization for demand-supply management under operational constraints in smart grid” (2016).
*Energy Systems*, vol. 7, pp. 333-356. - H. Tembine. “Mean-field-type games” (2017).
*AIMS Mathematics*, vol. 2, no. 4, pp. 706-735. - G. Wang, C. Zhang and W. Zhang. “Stochastic Maximum Principle for Mean-Field Type Optimal Control Under Partial Information” (2014).
*IEEE Transactions on Automatic Control*, vol. 59, no. 2, pp. 522-528. - J. Yong. “Linear-quadratic optimal control problems for mean-field stochastic differential equations” (2013).
*SIAM journal on Control and Optimization*, vol. 51, no. 4, pp. 2809-2838.