The Optimal Value, the Optimal Controls and the Optimal Trajectories of the Mean-Field Problem

Adopt the setting, hypotheses and notation of the boundedness, lower semicontinuity and attainment theorem for the mean-field cost: the affine-controlled transition-rate family $(\beta_{0},\beta_{1})$ on $l$ states with control set $\mathcal{A}\subseteq\mathbb{R}^{m}$, the horizon $T>0$, the population cost data $(L,G)$ with $L$ convex in the control on $\mathcal{A}$, the probability simplex $\Delta^{l}$, the set $\mathcal{U}_{\mathcal{A}}$ of $\mathcal{A}$-valued controls with the metric $\rho$, the mean-field flow $S(x_{0},\xi)$ of claim 2 of the flow stability lemma, and the mean-field cost $F$.

Let $\sigma\in\Delta^{l}$, called the initial state of the problem. Put

By claim 5 of that theorem there is at least one element of $\mathcal{U}_{\mathcal{A}}$, so $V_{\sigma}$ is nonempty; and by claim 1 of that theorem $|F(\sigma,\xi)|\le C_{F}$ for every $\xi\in\mathcal{U}_{\mathcal{A}}$, so by claim 6 of Properties of the Absolute Value in an Ordered Field we have $-C_{F}\le F(\sigma,\xi)$ for every such $\xi$, that is, the number $-C_{F}$ is a lower bound of $V_{\sigma}$. Hence the infimum of $V_{\sigma}$ exists by Existence of the Infimum of a Nonempty Subset of $\mathbb{R}$ Bounded Below and is unique by Uniqueness of the Supremum and of the Infimum.

The optimal mean-field value from $\sigma$ is the real number

The set of optimal mean-field controls from $\sigma$ is

The set of optimal mean-field trajectories from $\sigma$ is