Abstract
We investigate the existence of classical solutions to second-order quadratic Mean-Field Games systems with local and strongly decreasing couplings of the form \(-\sigma m^\alpha \),\(\alpha \ge 2/N\), where m is the population density and N is the dimension of the state space. We prove the existence of solutions under the assumption that \(\sigma \) is small enough. For large \(\sigma \), we show that existence may fail whenever the time horizon T is large.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
We consider in this paper systems of PDEs of the form
where \(m_0\) is a smooth probability density, \(u_T\) a smooth final cost, V is a bounded potential, and \(-f\) is a monotone non-increasing coupling. As a model problem, we consider
Such a system arises in the theory of Mean Field Games (MFG), a set of methods inspired by statistical physics to study Nash equilibria in (differential) games with a population of infinitely many identical players. The MFG toolbox has been introduced in the mathematical community by the seminal papers [16,17,18], and by a series of lectures at Collège de France by Lions [19]. A peculiarity of the present paper’s setting, is that the coupling \(m\mapsto -f(m)\) is assumed to have a decreasing character in m (the minus sign in front of f is to emphasize this fact). Since \(-f(m)\) models the cost of a single agent in terms of the density m of the population, (MFG) captures situations in which agents aim at maximizing aggregation. When the particular form (1) of f is chosen, \(\sigma \) and \(\alpha \) are then related to the aggregation force. While (MFG) is known to enjoy uniqueness and long-time stability of solutions when \(m\mapsto -f(m)\) is increasing (see e.g. [22] and references therein), the picture is less clear when \(m\mapsto -f(m)\) is not increasing. Different phenomena have been observed in this framework, such as non-uniqueness of solutions [3, 13], periodic solutions [7, 11], and instability in the long-time horizon [20]. The main objective of this work is to investigate the existence of solutions when the coupling \(-f\) has a strong decreasing character, that is when \(\alpha \) in (1) satisfies
The coefficient \(\frac{2}{N}\) turns out to be crucial if one looks at the variational side of the problem. The system (MFG) is indeed known to be the optimality conditions of a minimization problem with PDE constraints (or Mean Field type optimal control problem). Global minimizers of this problem have been shown to exist only if \(\alpha < \frac{2}{N}\) [13] (and these yield classical solutions [10]); when \(\alpha \ge \frac{2}{N}\), the variational problem is not even bounded from below. For this reason, the latter regime poses structural difficulties even for the existence of solutions to (MFG).
Without assumptions on the growth of f (and for very general MFG systems), solutions are known to exist under “smallness” assumptions, that is: when the norms of the initial/final data are small enough or both H and f are multiplied by a small constant, see [2] and references therein, or when the time-horizon T is small [2, 9]. It is worth noting that previous works treat the system as a perturbation of two coupled heat equations. Here, we aim at developing techniques that are more specific to the MFG variational structure, in order to obtain existence without requiring T, the data or the quadratic Hamiltonian term to be small.
A first main result of this paper is that for T large, solutions to (MFG) may not even exist. Our main assumption on f, involving its anti-derivative \(F(m):= \int _0^m f(s) \, ds\) also, reads as follows:
Note that (2) implies \(F(m) \ge cm^{\frac{N+2}{N}}\) for some \(c > 0\). When f has the form (1), then (2) holds for all \(\sigma > 0\). Regarding the initial/final data and the potential V, we assume that
Note that the condition on V is not much restrictive, and allows even for radially decreasing potentials (up to some degree). Then we show that, if an additional condition involving \(m_0\), f, V is satisfied, then (MFG) has no solutions if T is large.
Theorem 1.1
Assume that (3), (4), (5) and (2) hold. Suppose that
Then, if
the system (MFG) has no classical solutions.
Let us stress that the condition \(e_0 > 0\) may be realized or not depending on \(m_0\) and f (and the oscillation of V). When \(f(m) = \sigma m^{\alpha }\), note that for any fixed \(m_0\), replacing it by \(\epsilon ^{-N} m_0(\epsilon ^{-1} x)\) into (6) yields
hence \(e_0 > 0\) when the second term in the right-hand side is dominating, that is when \(\epsilon \) is small enough or \(\sigma \) is large enough. In other words, non-existence is triggered by “concentration” of the initial datum, or “strength” of the aggregation force. The proof of Theorem 1.1 involves the study of the evolution of second order moments \(h(t) = \int x^2 m(x,t)\, dx\). The core identity in Lemma 2.5 shows that under the standing assumptions, h has to be strictly convex, but given the information at \(t = 0, t= T\), this forces h to be negative when T is large, which is impossible. Lemma 2.5 is based on two structural estimates: the first one is the well-known conservation of energy (a quantity which stems from the Hamiltonian nature of (MFG)). The second one is a new identity which is obtained by testing the equations by projections of \(\nabla m, \nabla u\) over the direction x, and is in some sense related to dilations properties of the variational problem. We mention that a similar approach was used to obtain non-existence in [8] for stationary problems (for \(\alpha > \frac{2}{N-2}\)), but the analysis developed here for the evolutive case is more involved (and heavily related to the quadratic dependence with respect to the gradient in the first equation, see Remark 2.7).
By the very same procedure, we obtain also non-existence results for the so-called Planning Problem in MFG. In such a framework, one wants to drive agents from an initial configuration \(m_0\) to a final one \(m_T\), optimizing some cost. This problem is related to a PDE system of the form (MFG), where there is no fixed final condition \(u_T\) for u, but rather a final condition \(m(T) = m_T\). Our results on the planning problem are described in Sect. 2.1.
Theorem 1.1 leaves open the question, for a fixed \(m_0\), of the existence of solutions to (MFG) when f is “small” (that is for small \(\sigma \) in the model case). Let us then describe the second main result of this paper. Assume that for some \(\sigma > 0\),
Note that we are not requiring f to be increasing, but rather that f grows at most like \(\sigma m^\alpha \). The model case (1) perfectly falls into this setting. We also suppose that
Then, we prove existence of solutions for \(\sigma \) small.
Theorem 1.2
Assume (7) and (8). Then, there exists \(\sigma _0 > 0\) depending on N, \(\alpha \), \(\Vert m_0\Vert _{L^{\alpha +1}({\mathbb {R}}^N)}\), \(\Vert u_T\Vert _{C^2({\mathbb {R}}^N)}, T||\Delta V||_{L^\infty ({\mathbb {R}}^N)}\), such that for any
(\(\sigma \) appearing in (7)), the system (MFG) has a classical solution (u, m). Note that if \(\Delta V=0\), then \(\sigma _0\) is independent of T.
We stress that \(\sigma _0\) is affected by T only when the potential V is non-trivial. When there is no spatial potential, i.e. \(V \equiv 0\), and f is fixed, solutions are proven to exist for all T (and will probably “disappear” as \(T \rightarrow \infty \), see Remark 3.3). Note also that we require rather smooth initial/final data, but existence restrictions depend only on \(\Vert m_0\Vert _{L^{\alpha +1}({\mathbb {R}}^N)}\) and \(\Vert u_T\Vert _{C^2({\mathbb {R}}^N)}\) (thus allowing to relax the smoothness assumptions via approximation arguments). As we previously observed, the only known existence results require T small, and approach (MFG) as a perturbation of two heat equations; due to the presence of the non-linear term \(|\nabla u|^2\), this strategy does not allow to analyze the “small” \(\sigma \) regime. The key step here is an a priori estimate which is obtained heavily relying again on the MFG structure. We use a combination of the conservation of energy, so-called second-order estimates, and parabolic regularization to get an inequality of the form
Note that in view of its super-linear nature, the previous estimate is meaningful only for \(\sigma \) small. In that case it is possible to set up a Schaefer’s fixed point procedure revolving around the boundedness of \(\iint m^{2\alpha +1}\). Since \(\alpha < \frac{2}{N-2}\), this yields boundedness of f(m) in \(L^\frac{N+2}{2}\), which is enough to set up a bootstrap procedure. We point out that the restriction \(\frac{2}{N-2}\) on \(\alpha \) might be structural; we do not know at this stage how to construct solutions for \(\alpha \ge \frac{2}{N-2}\) and arbitrary T.
We finally mention that our existence scheme does not seem to apply easily to the Planning Problem. To our knowledge, when \(-f\) is not increasing, existence is an open problem even in the short-time horizon regime.
Existence versus non-existence. For the sake of clarity, we summarize below, for fixed initial-final data \(m_0, u_T\) and potential V, existence and non-existence regimes as \(\sigma \) and T vary. These are sketched in Fig. 1, for \(V \equiv 0\) and \(V \ne 0\) (we again consider the model coupling (1)).
First, we note that for any \(\sigma > 0\), there exists \(\overline{T} = \overline{T}(\sigma )\) such that (MFG) has solutions provided that \(T \le \overline{T}\). Though this existence result is not stated explicitly anywhere, it can be derived via a straightforward adaptation of [13, Theorem 1.4] from the flat torus to the euclidean setting \({\mathbb {R}}^N\). This (standard) short-time existence situation is light-blue coloured in Fig. 1.
Regarding our existence theorem, it says that there exists \(\sigma _0 = \sigma _0(T)\) such that (MFG) has solutions for all \(\sigma \le \sigma _0\). If \(V \equiv 0\), \(\sigma _0\) is proven to be T-independent, as shown in Fig. 1 (green region).
Finally, we prove that (MFG) has no solutions whenever
and
Equivalently, for all \(T > 0\) there exists \(\sigma _* = \sigma _*(T)\) such that (MFG) has no solutions for any \(\sigma >\sigma _*\). This is the orange region in Fig. 1. Note that the upper bound \(\sigma _*(T)\) on \(\sigma \) for which existence is expected goes to \(+\infty \) as \(T\rightarrow 0\), while \(\sigma _*(T) \rightarrow C_2 C_1^{-1}\) as \(T \rightarrow \infty \). Unfortunately, \(\sigma _0\) and \(C_2 C_1^{-1}\) are obtained in completely different ways here, and in general they do not coincide (though the non-existence condition can be in some sense optimized, see Remark 2.6).
Notations. We will denote by \(C^k_b(\Omega )\), \(\Omega \subseteq {\mathbb {R}}^M\), the space of bounded continuous functions with bounded continuous derivatives up to order \(k \in {\mathbb {N}}\) (if \(k=0\), then k is omitted). For \(a > 0\), \(C^{2a, a}\) will be the standard parabolic Hölder space. C([0, T]; X) will denote the space of continuous functions with valuesf in a Banach space X. Finally, the standard \(L^2\) parabolic energy space will be \(V_{2}(\Omega \times (0,T)) = L^\infty ((0,T); L^2(\Omega ))\cap L^2(0,T; W^{1,2}(\Omega ))\), and \(m \in V_{2, \mathrm{loc}}({\mathbb {R}}^N \times (0,T))\) will mean that \(m \in V_{2}(\Omega ' \times (0,T))\) for all \(\Omega '\) with compact closure in \(\Omega \). For \(R > 0\), \(B_R = \{x \in {\mathbb {R}}^N : |x| < R\}\), and \(n = n(x) = x / |x|\) will denote the outer normal vector field to \(\partial B_R\).
2 Non-existence
This section is devoted to the proof of Theorem 1.1, which will be based on several lemmas. Before we start, let us comment on the assumptions on u, m we will work with.
Remark 2.1
Throughout the section we will assume that \(u_t, \nabla u\), \(\nabla u_t, \Delta u\), \(m, m_t\), \(\nabla m, \nabla m_t\), \( \Delta m\) belong to \(C_b({\mathbb {R}}^N \times [0,T])\). This degree of regularity is coherent with the one coming from the existence theorem that will be proven in the next section. Such a regularity can be obtained starting from any classical solution \((u,m) \in C^{2,1}\), by means of parabolic Schauder estimates (and the standing assumptions on \(m_0, u_T, f, V\)). All the arguments below actually need only polynomial growth in the x-variable for u, m and their derivatives, and that \(|Du|^2m, F(m) \in L^1\).
We stress that the assumption that (u, m) is a classical solution is not really crucial to get non-existence. For example, arguing as in the proof of existence, a bootstrap procedure shows that weak solutions in a suitable (energy) sense have to be smooth, and thus Theorem 1.1 applies. In other words, one can formulate the same non-existence result for a large class of weak solutions.
First, we show that if m is bounded and smooth, it has to be a continuous flow of probability densities.
Lemma 2.2
Let m be a non-negative classical solution to (the second equation in) (MFG) such that \(m, m_t, \nabla m, \Delta m, \nabla u \in C_b({\mathbb {R}}^N \times (0,T))\), and \(m_0 \in L^1({\mathbb {R}}^N)\). Then m is non-negative, \(m \in C([0,T]; L^1({\mathbb {R}}^N))\), and \(\Vert m(t)\Vert _{L^1({\mathbb {R}}^N)} = \Vert m_0\Vert _{L^1({\mathbb {R}}^N)}\) for all \(t \in [0,T]\).
Proof
First, m is non-negative by the maximum principle.
To control the \(L^1\)-norm of m(t), we multiply second equation in (MFG) by \(\phi _\epsilon :=e^{-\epsilon \sqrt{|x|^2+1}}\), \(\epsilon > 0\), and integrate over \((0,t) \times {\mathbb {R}}^N\) to obtain
Since \(m, m_t, \nabla m, \Delta m, \nabla u\) are bounded, and \(\phi _\epsilon , \nabla \phi _\epsilon , \Delta \phi _\epsilon \) are in \(L^1({\mathbb {R}}^N)\), we can use Lemma A.2 to integrate by parts, to get
Therefore,
where \(K_\varepsilon = \sup _{{\mathbb {R}}^N \times [0,T]} (|\Delta \phi _\epsilon | +|\nabla u| |\nabla \phi _\epsilon | ) \phi _\epsilon ^{-1} \). By Gronwall’s Lemma,
By a straightforward computation, \(K_\varepsilon \rightarrow 0\), \(\varepsilon \rightarrow 0\), and \(\phi _\epsilon \nearrow 1\), hence the Monotone Convergence Theorem yields \(\Vert m(t)\Vert _{L^1({\mathbb {R}}^N)} \le \Vert m(0)\Vert _{L^1({\mathbb {R}}^N)}\) for all t. To prove the equality, it is sufficient to go back to (9), and pass to the limit \(\varepsilon \rightarrow 0\). Indeed, now we now that \(\sup _{[0,T]} \Vert m(t)\Vert _{L^1({\mathbb {R}}^N)}\) is bounded, and \(\Delta \phi _\epsilon \), \(\nabla \phi _\epsilon \) converge uniformly to zero as \(\varepsilon \rightarrow 0\). Finally, since \(\Vert m(t)\Vert _{L^1({\mathbb {R}}^N)} =\Vert m_0\Vert _{L^1({\mathbb {R}}^N)}\) for all t, and \(m(t) \rightarrow m(t_0)\) a.e. on \({\mathbb {R}}^N\) as \(t \rightarrow t_0\) (for any fixed \(t_0\)), one can conclude \(m \in C([0,T]; L^1({\mathbb {R}}^N))\). \(\square \)
The following lemma describes the evolution of second order moments of m, and concerns integrability properties of \(\frac{|\nabla m|^2}{m}\) and the crossed quantity \( |\nabla u| |\nabla m|\).
Lemma 2.3
In addition to the assumptions of previous Lemma 2.2, suppose that \(|x|m_0, x^2 m_0 \in L^1({\mathbb {R}}^N)\). Then,
-
(i)
\(t \mapsto \int _{{\mathbb {R}}^N} x^2m(t) \, dx\) is Lipschitz continuous, and
$$\begin{aligned} \frac{d}{dt}\int _{{\mathbb {R}}^N} m(t) x^2\, dx = 2N \int _{{\mathbb {R}}^N} m_0(x)dx -\int _{{\mathbb {R}}^N} m(t) \nabla u(t) \cdot x\, dx \quad \text {for a.e}.\ t. \end{aligned}$$ -
(ii)
\(\frac{|\nabla m|^2}{m}, \ |\nabla u| |\nabla m| \in L^1({\mathbb {R}}^N \times (0,T))\).
Proof
To prove (i), we employ Lemma A.5. First, \(m \in C([0,T]; L^1({\mathbb {R}}^N))\) by Lemma 2.2, so \(|\nabla u|m \in L^1({\mathbb {R}}^N \times (0,T)\). By Lemma A.5(i) we get \(\sup _{t \in [0,T]} \int _{{\mathbb {R}}^N} |x| m \, dx< \infty \), and therefore \(|\nabla u \cdot x|m \in L^\infty ((0,T); L^1({\mathbb {R}}^N) )\). By Lemma A.5(ii), we obtain
which is the desired statement.
Item (ii) follows by results in [6]. Indeed, in view of our standing assumptions and previous results, \(|\nabla u|^2 m, (\ln \max (|x|,1))^2m \in L^1({\mathbb {R}}^N \times (0,T))\) and \(m_0 \max (0, \ln m_0) \in L^1({\mathbb {R}}^N)\). Therefore, by Theorem 2.1 and Remark 2.1 in [6], \(\frac{|\nabla m|^2}{m} \in L^1({\mathbb {R}}^N \times (0,T)\). Finally, Hölder’s inequality yields
\(\square \)
The following lemma shows that some quantity involving \(\nabla u,m\) is conserved in time. This conserved quantity is related to the Hamiltonian nature of the MFG system (see [11] for further comments about that).
Lemma 2.4
Let (u, m) be a classical solution of (MFG). In addition to the assumptions of previous Lemma 2.2, suppose that \(u_t, \nabla u_t, \Delta u, \nabla m_t\in C_b({\mathbb {R}}^N \times [0,T])\). Then, the following statements hold:
-
(i)
\(\int _{{\mathbb {R}}^N} \nabla u \cdot \nabla m \, dx+\frac{1}{2}\int _{{\mathbb {R}}^N} |\nabla u|^2m\, dx+\int _{{\mathbb {R}}^N} F(m) \, dx-\int _{{\mathbb {R}}^N}Vm \, dx = E \in {\mathbb {R}} \quad \text {for a.e}.\ t\)
-
(ii)
assuming in addition that \(\nabla m_0 \in L^1({\mathbb {R}}^N)\),
$$\begin{aligned} E\ge -\frac{1}{2}\int _{{\mathbb {R}}^N} \frac{|\nabla m_0|^2}{m_0}\, dx +\int _{{\mathbb {R}}^N} F(m_0)\, dx-\int _{{\mathbb {R}}^N} Vm_0\, dx. \end{aligned}$$
Proof
We start with claim (i). The (standard) idea is to multiply the second equation in (MFG) by \(u_t\) and the first one by \(m_t\), and perform several integration by parts. Since nothing is assumed regarding the integrability of \(m_t, \nabla m, \ldots \) on \({\mathbb {R}}^N\), we multiply the second equation in (MFG) by \(u_t\phi _\epsilon \) and the first one by \(m_t\phi _\epsilon \), where \(\phi _\epsilon =e^{-\epsilon \frac{|x|^2}{2}}\), \(\epsilon > 0\), and integrate over \({\mathbb {R}}^N\) to get
Since \(\phi _\epsilon , \nabla \phi _\epsilon , \Delta \phi _\epsilon \in L^1({\mathbb {R}}^N)\), by the boundedness in \(\sup \)-norm of \(u_t, \nabla u\), \(\nabla u_t, \Delta u\), \(m, m_t\), \(\nabla m, \nabla m_t\), \( \Delta m\) over \({\mathbb {R}}^N \times [0,T]\), all the integrations by parts (using Lemma A.2 below) are justified. Then, we will let \(\epsilon \rightarrow 0\).
We start with the first two terms in (10), integrating repeatedly by parts to obtain
Then,
Finally,
Thus, plugging (11), (12) and (13) into (10) yields
Again by the presence of \(\phi _\epsilon , \nabla \phi _\epsilon \in L^1({\mathbb {R}}^N)\), and boundedness of u, m and their derivatives, we have
and for all \(t_1 \le t_2\),
Note now that \(\int _{{\mathbb {R}}^N} m(t) \,dx= 1\) for all t, and \(m \in C_b({\mathbb {R}}^N \times [0,T])\). Therefore, \(\nabla u_t m\), \( u_t m\), \(\nabla u \, u_t m \in L^1({\mathbb {R}}^N \times (0,T))\), and \(|\nabla u|^2 m(t), F(m(t)), Vm(t) \in L^1({\mathbb {R}}^N)\) for all t. Furthermore, \(\nabla u \nabla m (t) \in L^1({\mathbb {R}}^N)\) for a.e. \(t \in (0,T)\) by Lemma 2.3. Then, since \(\phi _\epsilon \rightarrow 1\) and \(\nabla \phi _\epsilon , \Delta \phi _\epsilon \rightarrow 0\) uniformly on \({\mathbb {R}}^N\) as \(\epsilon \rightarrow 0\), by the Dominated Convergence Theorem one obtains
for a.e. \(t_1, t_2 \in (0,T)\). Then, there exists \(E \in {\mathbb {R}}\) such that for a.e. t
Note that if \(\nabla m_0 \in L^1({\mathbb {R}}^N)\), then \(\nabla u(0) \nabla m_0 \in L^1({\mathbb {R}}^N)\), and therefore the previous equality holds also for \(t = 0\).
Now we prove claim (ii). By the Young’s inequality, we have
Then by claim i), we obtain
which is equivalent to ii). \(\square \)
The next lemma is crucial. Exploiting the structure of the MFG system, it is possible to evaluate the second derivative in time of second order moments of m in terms of integral quantities related to f, V and m.
Lemma 2.5
Let (u, m) be a classical solution of (MFG). Under the assumptions of Lemmas 2.2, 2.3 and 2.4, \(t \mapsto \int _{{\mathbb {R}}^N} x^2 m(t) \, dx\) is of class \(C^2\), and for all t,
Proof
We multiply the second equation in (MFG) by \(x \cdot \nabla u\) and the first one by \(x\cdot \nabla m\), and integrate over \(B_R \times (t_1, t_2)\) to get
which is equivalent to
We start with the first two terms of the right-hand side. Integrating by parts, one has
Note that \(\int _{B_R} x \cdot \nabla (\nabla m \cdot \nabla u) =\int _{\partial B_R} x (\nabla m \cdot \nabla u)\cdot n-\int _{ B_R} \nabla m \cdot \nabla u \text{ div }x \), so
and therefore
To handle the third and fourth term of the right-hand side of (14), the following formula will be useful
Then, integrating by parts
Since
we obtain
Regarding the last two terms in the right hand side of (14), by the definition of F and by integrating by parts we have
We now manipulate the left-hand side of (14). We perform a first integration by parts to have
Then,
The equation for u yields
and therefore
By plugging (15), (16), (17) and (18) into (14), we obtain
where
Since \(V, \nabla u, u_t\in L^\infty ({\mathbb {R}}^N\times (0,T))\) and \(m, |\nabla u| \, |\nabla m| \in L^1({\mathbb {R}}^N \times (0,T))\), by Lemma A.1 we have
Then, since \(m, \nabla u \cdot \nabla m \in L^1({\mathbb {R}}^N\times (0,T))\) and \(\nabla u, m, \nabla V \in L^\infty ({\mathbb {R}}^N\times (0,T))\), we obtain
We now use Lemma 2.3 (i) to rewrite the left-hand side, and Lemma 2.4 (i) to replace the first two terms of the right hand side to obtain for a.e. \(t_1, t_2\)
Then, dividing by \(t_2-t_1\) and taking the limit \(t_2 \rightarrow t_1\) we obtain the desired equality for a.e. t. Note that \(m \in C(L^1)\) and m is bounded, so \(\frac{d}{dt}\int _{{\mathbb {R}}^N}x^2m(t)\, dx\) agrees a.e. with a \(C^1\) function in t. Hence, \(t \mapsto \int _{{\mathbb {R}}^N} x^2m(t)\, dx\) is of class \(C^2\). \(\square \)
We are now ready to prove Theorem 1.1.
Proof of Theorem 1.1
Define \(h(t):=\int _{{\mathbb {R}}^N} x^2m(t) \, dx\), which is of class \(C^2\) in view of Lemma 2.5. We first claim that
Indeed, \(h(0) = \int _{{\mathbb {R}}^N} x^2 m_0 \, dx =: h_0 > 0\), by Lemma 2.3 and \(\nabla u_T \cdot x \ge 0\), we obtain \(h'(T) \le 2N.\) Note that by Lemma 2.4ii) and the assumptions (3), (2), (6) (and the fact that \(\int m(t) dx = 1\) for all t) we have
Then, by Lemma 2.5 and (22), we obtain \(h''(t) \ge 4 e_0>0\) for all t.
Now we define \(v(t)=2e_0 t^2+(2N-4e_0T)t+h_0\) and observe that
Then, by comparison, we derive
Let now \(\bar{t} = T-\frac{N}{2e_0}\). We have \(\bar{t} \in [0,T]\) if \(T \ge \frac{N}{2e_0}\). Moreover,
provided that \(T > \frac{N}{2e_0} +\sqrt{ \frac{h_0}{2e_0}} =: T_*\). Therefore, if \(T > T_*\),
that leads to a contradiction since \(0\le h(t)=\int _{{\mathbb {R}}^N} x^2 m(t) \, dx\) for all \(t \in [0,T]\). \(\square \)
Remark 2.6
(Minimizing the non-existence time horizon) We observe that the lower bound on the time horizon T yielding non-existence
can be “optimized”. We exploit in particular the obvious fact that non-existence to (MFG) holds if and only if non-existence holds for the translated system
where
Assume that there exists \(\Omega \subset {\mathbb {R}}^N\) such that
Then, if \(m_0, u_T, V\) satisfy (2), (3), (4), (5), (6), then \(m_{0,y}, u_{T,y}, V_{y}\) also satisfy (2), (3), (4), (5), (6) for all \(y \in \Omega \) (note in particular that (6) is translation invariant). Since Theorem 1.1 guarantees non-existence of solutions to (24) for
we can conclude that the original MFG system (MFG) has no classical solutions whenever
As a simple illustration, consider \(u_T \equiv V \equiv 0\). It is clear that the quantity \(y \mapsto \int _{{\mathbb {R}}^N} (x-y)^2 m_{0}(x) dx\) might be minimized by \(y = 0\), but this may be not the case for non-radially symmetric \(m_0\).
Remark 2.7
(The non-quadratic case) Consider a more general MFG system with power-like Hamiltonian \(H(p) = \frac{1}{\gamma }|p|^\gamma \), \(\gamma > 1\), i.e.
We observe that though the procedures described above yield meaningful identities also when \(\gamma \ne 2\), it is not clear how to conclude similar non-existence results. First, since the Hamiltonian nature of the MFG system is independent of \(\gamma > 1\), one still has a conservation of energy of the form
for all t. Moreover, arguing as in Lemma 2.3,
Finally, testing the equations by \(x\cdot \nabla m\) and \(x \cdot \nabla u\) respectively, and reasoning as in Lemma 2.5, one obtains
which is basically (20) with an additional term \(\left( \frac{2}{\gamma }-1 \right) \int |\nabla u |^\gamma m\) (that has a sign!). While for any \(\gamma \) it is possible to plug the energy identity (25) into (27), it is not clear how to couple (26) with (27) to get an identity for \(\frac{d^2}{dt^2}\int m(t) x^2\) (or other similar quantitities) that give information on its sign when \(\gamma \ne 2\) (and therefore strict convexity of \(t \mapsto \int m(t) x^2\), which is the key point in the non-existence argument).
2.1 The Planning Problem
The Planning Problem in MFG gives rise to the following system
where \(\int _{{\mathbb {R}}^N} m_0\, dx=\int _{{\mathbb {R}}^N} m_T\, dx=1, m_0, m_T\ge 0\). Roughly speaking, in a typical planning problem, one wants to drive the density of players from an initial configuration \(m_0\) to a target final one \(m_T\). In [19], existence and uniqueness of smooth solutions to (MFG) is discussed. In [21], it is proven the existence of weak solutions when the Hamiltonian is not necessarily quadratic in \(\nabla u\). Note that both references consider the monotone case (\(-f(m)\) increasing) only.
We apply similar arguments as in the proof of Theorem 1.1 to prove non existence for large time for the problem (28).
Theorem 2.8
Assume (3), and that (5) holds both for \(m_0\) and \(m_T\). Then, if
the system (28) has no classical solutions.
Proof
We follow the proof of Theorem 1.1, assuming by contradiction that a solution exists. The conclusions of Lemmas 2.2, 2.3, 2.4 and Lemma 2.5 hold true, since the information \(u(T) =u_T\) is never invoked throughout their proofs. Therefore, as in (22), we have
for all \(t\ge 0\). The main difference is that we do not have any information on u(T), hence we cannot infer any information on the sign of \(h'(T)\). On the contrary now
is a datum of the problem. Therefore, we define \(v(t):=2e_0t(t-T)+\max \{h_0, h_T\}\) and remark that
hence by comparison we deduce
Noting that
whenever \(T>\widehat{T} := \sqrt{\frac{2\max \{h_0,h_T\}}{e_0}} \), we obtain the desired contradiction, since h has to be nonnegative. Note that one could choose v in a way that it satisfies \(v''(t)=4e_0\) and agrees with \(h_0\) and \(h_T\) at time \(t=0\) and \(t=T\) respectively, to improve \(\widehat{T}\) when \(h_0 \ne h_T\) (but we avoid writing the computations here for the sake of simplicity). \(\square \)
3 Existence
In this section we prove the existence Theorem 1.2. Note first that (7) implies
We will use a generalization of the Schauder fixed point theorem, that we recall here for completeness (see Theorem 5.1 of [1]).
Theorem 3.1
Let X be a Banach space, \(C\subset X\) closed and convex. Let U be an open subset of C and \(p \in U\). Consider a map \({\mathcal {F}} : \overline{U} \mapsto C\) continuous and compact. Suppose that
Then \({\mathcal {F}}\) has a fixed point in \(\overline{U}\).
In order to prove Theorem 1.2, we will need the following crucial a priori estimate.
Theorem 3.2
Under the assumptions of Theorem 1.2, suppose that
solve
Then there exists \( \delta \in \left( 1,2\right) \) depending on \(\alpha \) and \(C>0\) depending on \(N, \alpha , \Vert m_0\Vert _{L^{\alpha +1}({\mathbb {R}}^N)}, \Vert u_T\Vert _{C^2({\mathbb {R}}^N)}\) such that
where
Proof
Step 1: regularity of \(\mu \) given by the equation. We multiply the second equation of (30) by \(\mu ^\alpha \) and integrate by parts on a ball \(B_R\) to obtain
where
Since \(\mu , \nabla \mu , \nabla v\) are bounded, and \(\mu \in C(L^1)\), we can apply Lemma A.1 and the monotone convergence theorem to pick a sequence \(R = R_k \rightarrow \infty \) as \(k \rightarrow \infty \) and pass to the limit in (31), and obtain
for any \(t \in [0,T]\), showing in particular that \(\mu ^{\alpha -1}|\nabla \mu |^2 \in L^1({\mathbb {R}}^N \times (0,T))\). Writing \(\nabla \mu \mu ^\alpha =\frac{1}{\alpha +1}\nabla \mu ^{\alpha +1}\), we can integrate by parts again (Lemma A.2, \(\mu , \nabla \mu , \nabla v, D^2 v\) are bounded and \(\mu \in C(L^1)\)) and use Hölder inequality to get
By writing \(\mu ^{\alpha -1}|\nabla \mu |^2=\frac{4}{(\alpha +1)^2}|\nabla \mu ^{\frac{\alpha +1}{2}}|^2\), and putting (33) into (32), we obtain (letting t vary in [0, T])
Step 2: parabolic interpolation. By Proposition 3.1, inequality (3.2) of [14] with \(v=\mu ^{\frac{\alpha +1}{2}}, p=2, q=\frac{2(2\alpha +1)}{\alpha +1}\) and \(\frac{N+m}{N}=\frac{2\alpha +1}{\alpha +1}\), there exists some \(\tilde{C}>0\) depending on N and \(\alpha \) (but not on T), such that
where \(\beta =m \frac{\alpha +1}{2}=\frac{\alpha N}{2}\) and
Moreover, note that if \(N\le 2\) and \(\alpha \ge \frac{2}{N}\) or if \(N >2\) and \(\frac{2}{N}\le \alpha \le \frac{2}{N-2}\), then \(1\le \beta \le \alpha +1\). By the interpolation inequality
and by recalling that \(||\mu (t)||_{L^1({\mathbb {R}}^N)}\le 1\) for all t (since \(||\mu (t)||_{L^1({\mathbb {R}}^N)}=||\mu (0)||_{L^1({\mathbb {R}}^N)} \le ||m_0||_{L^1({\mathbb {R}}^N)}\)), we get
where \(a=\frac{2\theta \beta }{m (\alpha +1)}\). Since \(a< 1\), we have
Therefore, plugging this inequality into (34) gives
for some c depending on \(N, \alpha \).
Step 3: “second order” estimates for the MFG system. Computing the Laplacian of the equation for v yields
Recall that \(\mu , \nabla \mu \), and space derivatives of v are bounded up to the fourth order, and \(\mu \in C(L^1)\). Hence, we multiply by \(\mu \) and integrate by parts using Lemma A.2 to obtain
From (7) it follows
Using the equation for \(\mu \) in the left-hand term
and plugging the previous inequalities implies
We now control the term \(\int \nabla v(0)\nabla \mu (0)\, dx\). By Lemma 2.4 (i) and integration by parts we have
Since the second and third term in the left-hand side of the previous equality are positive and since the last term in the right-hand side is negative, we get
and back to (37) we obtain
Step 4: conclusion. Finally, we adopt the following notation for simplicity:
By plugging (38) into (36), we have
and Young’s inequality implies
for some \(\hat{c} > 0\) depending on c. Since \(\frac{4}{q} > 1\), by a further application of Young’s inequality we can absorb the term involving FD in the right-hand side into the left-hand side, to get the conclusion. Note that the constant C in the statement of the theorem depends on \(||m_0||_{L^{\alpha +1}({\mathbb {R}}^N)}\), and on c, F, hence on \(N, \alpha , ||u_T||_{C^2({\mathbb {R}}^N)}\). \(\square \)
Now we prove Theorem 1.2. Our aim is to apply the fixed-point Theorem 3.1. First, we exploit the presence of a quadratic Hamiltonian to employ the standard Hopf-Cole change of variables \(w = e^{-u/2}\). In the unknowns w, m the MFG a system reads as system of coupled linear equations in divergence form
We are going to prove the existence of a smooth couple w, m solving this linear system, which yields immediately a solution to (MFG).
Proof of Theorem 1.2
Let \(X=L^{2\alpha +1}((0,T) \times {\mathbb {R}}^N)\), endowed with the topology of the strong convergence, and let \(U = U_M\) be the open subset
The constant \(M>0\) will be fixed later on. We define the operator \({\mathcal {F}}: \overline{U} \mapsto C\) as
where \((w, \mu )\) is the solution of the system
\({\mathcal {F}}\) is well-posed and compact. For any \(m \in \overline{U}\), since \(\alpha < \frac{2}{N-2}\), then \(m^\alpha \in L^p({\mathbb {R}}^N \times (0,T))\) for \( p=\frac{2\alpha +1}{\alpha } >\frac{N+2}{2}\), which implies
Since \(w(T) \in L^\infty ({\mathbb {R}}^N)\), the existence of a weak solution \(w \in V_{2, \mathrm loc}({\mathbb {R}}^N \times (0,T)) \cap L^\infty ({\mathbb {R}}^N \times (0,T))\) is standard (see, e.g. [15, Chapter 3]). For the sake of self-containedness, we remark that the bound in \(L^\infty ({\mathbb {R}}^N) \) of w can be inferred from Lemma A.3 with \(f_1=-V, f_2=f(m), g_1\equiv g_2\equiv h \equiv \eta \equiv 0\). Moreover, by the comparison principle (recall that \(f \ge 0\)),
and \(\nabla w \in L^{2p}({\mathbb {R}}^N \times (0,T))\) by Lemma A.3 with \(g_1=Vw\) and \(g_2=f(m) w\). Note that \(\mu (0) \in L^1({\mathbb {R}}^N) \cap L^\infty ({\mathbb {R}}^N)\) so it belongs in particular to \(L^2 ({\mathbb {R}}^N)\), and since \(\frac{\nabla w}{w} \in L^{2p}({\mathbb {R}}^N \times (0,T))\), \(2p > N+2\), the existence of a solution \(\mu \in V_{2}({\mathbb {R}}^N \times (0,T)) \cap L^\infty ({\mathbb {R}}^N \times (0,T))\), which is also Hölder continuous, is again standard. Moreover, \(\mu (t) \in L^1({\mathbb {R}}^N)\) is bounded as t varies in [0, T] (see for example [4]), and in particular \(\int _{{\mathbb {R}}^N} \mu (t)\, dx= 1\) for all t by Lemma A.5. By interpolation, \(\mu \in L^{2\alpha +1}({\mathbb {R}}^N \times (0,T))\), so that \({\mathcal {F}}(m) \in X\).
It will be useful to note that the estimates mentioned above imply that there exist \(K, \theta >0\) depending on \(M, N, T, \sigma , \alpha , ||u_T||_{C^2({\mathbb {R}}^N)}, ||m_0||_{L^{\infty }({\mathbb {R}}^N)}, ||m_0||_{L^{1}({\mathbb {R}}^N)}, ||xm_0||_{L^1({\mathbb {R}}^N)}\), such that for any \(m \in \overline{U}\)
and
The latter inequalities are crucial to deduce compactness of \({\mathcal {F}}(\overline{U})\) in X. Indeed, let \(m_n\) be a sequence in \(\bar{U}\). We have, for \(R > 0\),
Since \(m_n\) is bounded in \(L^\infty ({\mathbb {R}}^N \times (0,T))\), by interpolation between \(L^1\) and \(L^\infty \) we have that for all \(\varepsilon > 0\) there exists R large such that
On the other hand, the sequence \(\mu _n\) is bounded in \(C^{\theta , \theta /2}(B_R)\). Hence, by the Ascoli-Arzelà Theorem we can extract a subsequence \(\mu _{n_k}\) uniformly converging to \(\mu \) on \(B_R \times [0,T]\). Note that (40) holds for \(\mu \) as well by the same considerations as above. Therefore, for any \(n_k\) large enough,
A standard diagonalization arguments yields convergence of subsequences in \(L^\infty ((0,T); L^{2\alpha +1}({\mathbb {R}}^N))\), and therefore in \(L^{2\alpha +1}({\mathbb {R}}^N \times (0,T))\).
\({\mathcal {F}}\) is continuous. This is a standard stability argument. Pick any sequence \(\{m_n\} \subset \overline{U}\) converging to m in X. Then, \(m_n^\alpha \rightarrow m^\alpha \) in \(L^p({\mathbb {R}}^N \times (0,T))\), which by (7) implies \(f(m_n) \rightarrow f(m)\) in \(L^p({\mathbb {R}}^N \times (0,T))\). Denoting by \((m_n, w_n, \mu _n)\) the triple solving (39), \(\tilde{w}=w-w_n\) satisfies
Then we can apply Lemma A.3 with \(z= \tilde{w}, f_1=-V, f_2= f(m_n), g_1\equiv 0, g_2= w(f(m)-f(m_n))\), and \(h\equiv \eta \equiv 0\) to get
where C depends on \(K, N, T, p, \sigma \), and again by Lemma A.3 with \(g_1\equiv 0, g_2= w(f(m)-f(m_n))+ (f(m_n) -V) \tilde{w}\),
Therefore, \(w_n \rightarrow w\) in \(L^\infty ({\mathbb {R}}^N \times (0,T))\) and \(\nabla w_n \rightarrow \nabla w\) in \(L^{2p}({\mathbb {R}}^N \times (0,T))\). Note that since \(w,w_n \ge \underline{w} > 0\) and
then we also have \(\frac{\nabla w_n}{w_n} \rightarrow \frac{\nabla w}{w}\) in \(L^{2p}({\mathbb {R}}^N \times (0,T))\). Setting \(\tilde{\mu } = \mu - \mu _n\), it satisfies
so Lemma A.3 with \(f_1 \equiv f_2\equiv g_1\equiv g_2\equiv 0, h=\frac{\nabla w}{w}\) and \(\eta =\left( \frac{\nabla w}{w} -\frac{\nabla w_n}{w_n}\right) \mu _n\) implies
where C depends on K, N, T, p, which shows that \(\mu _n \rightarrow \mu \) in \(L^\infty ({\mathbb {R}}^N \times (0,T))\). Since \(\mu _n, \mu \) are equi-bounded in \(L^\infty (0,T;L^1({\mathbb {R}}^N))\) we get that \({\mathcal {F}}(m_n) = \mu _n \rightarrow {\mathcal {F}}(m) = \mu \) in X.
\({\mathcal {F}}\) satisfies: \(\mu =\eta {\mathcal {F}}(\mu )\) for some \(\eta \in (0,1) \Rightarrow \mu \notin \partial U\). In other words, we need to prove that if \((w,\mu )\) satisfies
for some \(\eta \in (0,1)\), then \(\int _0^T\int _{{\mathbb {R}}^N}m^{2\alpha +1} \, dx dt \ne M\) (with \(v=-2\log w\)). To this aim, we apply Theorem 3.2. Note that Theorem 3.2 requires \((w,\mu )\) to be a classical solution, so we need first to set up a (standard) bootstrap procedure involving parabolic Schauder estimates. Starting from the fact that \(\mu =\eta {\mathcal {F}}(\mu )\) belongs to \(C^{\theta , \theta /2}\) (locally), then w belongs to \(C^{2+\theta , 1+\theta /2}\) and it is a classical solution of the first equation. Computing the divergence term in the second equation shows that \(\mu \) solves a linear equation with coefficients in \(C^{\theta , \theta /2}\), so \(\mu \) itself belongs to \(C^{2+\theta , 1+\theta /2}\). Going back to the equation for w and iterating the procedure, one can reach any desired regularity of (w, m) that is compatible with the regularity of \(u_T\) and \(m_0\).
Theorem 3.2 gives \(D^\delta \le C(\sigma ^2D^2+T||\Delta V||_{L^\infty ({\mathbb {R}}^N)}D+1)\) for some \(\delta >1\), which by the Young’s inequality implies \(D^\delta \le C(\sigma ^2D^2+1)\) where C depends now also on \(T||\Delta V||_{L^\infty ({\mathbb {R}}^N)}\). Then, setting \(Y = \left( \int _0^T\int _{{\mathbb {R}}^N}m^{2\alpha +1}\right) ^2\), \(Y^{\delta /2} \le C(\sigma ^2 Y + 1)\) for some \(\delta /2 < 1\), that is
Since \(Y \mapsto \frac{Y^{\frac{\delta }{2}}}{C} - \sigma ^2 Y\) is concave, vanishing at \(Y=0\) and unbounded from below as \(Y \rightarrow \infty \), it achieves a unique positive maximum point \(\frac{(Y^*)^{\frac{\delta }{2}}}{C} - \sigma ^2 Y^*\). If that maximum is bigger than one, that is when
then (41) implies
that is \(\left( \int _0^T\int _{{\mathbb {R}}^N}m^{2\alpha +1}\right) ^2 \ne Y^*\). Note that \(\sigma _0, Y^*\) depend on C and \( \delta \), that is, on \(N, \alpha ,\) \(||u_T||_{C^2({\mathbb {R}}^N)}\), and \(||m_0||_{L^{\alpha +1}({\mathbb {R}}^N)}\). It is now clear that setting \(M=\sqrt{Y^*}\) yields the desired property.
We are now in the position to apply Theorem 3.1 (with \(C=X\), \(p=0\)), that gives the existence of a fixed point \(\mu = {\mathcal {F}}(\mu )\), i.e. a couple (m, w) solving the linear system in the classical sense. A classical solution to the MFG system can be then recovered via the reverse change of variables \(u=-2\log w\). \(\square \)
Remark 3.3
(Thoughts on the long-time behavior of solutions) In case \(V \equiv 0\), Theorem 1.2 states, for any fixed coupling f sufficiently “small”, the existence of solutions to the MFG system for all \(T > 0\). This opens the way to the study of the long-time behavior of m and u. Though this analysis is beyond the scopes of this paper, the proof of Theorem 1.2 suggests that m should “vanish” as \(T \rightarrow \infty \). Indeed, m satisfies
for some \(M > 0\) that does not depend on T. Therefore,
indicating that m dissipates as \(T \rightarrow \infty \) (and hence there is no ergodic behavior). Note also that stability of the \(L^{2\alpha +1}\)-norm of m as \(T \rightarrow \infty \) is sufficient to produce global bounds on \(\Vert m\Vert _\infty \) and \(\Vert Du\Vert _\infty \); arguing as in [12], a possibly stronger “smallness” condition on the coupling (i.e. a smallness condition on \(\sigma \)) guarantees then uniqueness of the couple (u, m) for all T.
References
Agarwal, R.P., Meehan, M., O’Regan, D.: Fixed point theory and applications, volume 141 of Cambridge Tracts in Mathematics. Cambridge University Press, Cambridge (2001)
Ambrose, D.M.: Existence theory for non-separable mean field games in sobolev spaces. arXiv:1912.05874 (2019)
Bardi, M., Fischer, M.: On non-uniqueness and uniqueness of solutions in finite-horizon mean field games. ESAIM Control Optim. Calc. Var. 25, 44 (2019)
Bianchini, S., Colombo, M., Crippa, G., Spinolo, L.V.: Optimality of integrability estimates for advection-diffusion equations. NoDEA Nonlinear Differ. Equ. Appl. 24(4), 33 (2017)
Bogachev, V.I., Da Prato, G., Röckner, M.: On parabolic equations for measures. Commun. Partial Differ. Equ. 33(1–3), 397–418 (2008)
Bogachëv, V.I., Rëkner, M., Shaposhnikov, S.V.: Global regularity and estimates for solutions of parabolic equations. Teor. Veroyatn. Primen. 50(4), 652–674 (2005)
Cesaroni, A., Cirant, M.: Brake orbits and heteroclinic connections for first order mean field games. arXiv:1912.05874 (2019)
Cirant, M.: Stationary focusing mean-field games. Commun. Partial Differ. Equ. 41(8), 1324–1346 (2016)
Cirant, M., Gianni, R., Mannucci, P.: Short-time existence for a general backward-forward parabolic system arising from mean-field games. Dyn. Games Appl. 10(1), 100–119 (2020)
Cirant, M., Goffi, A.: Maximal \({L}^q\)-regularity for parabolic Hamilton–Jacobi equations and applications to Mean Field Games. arXiv:2007.14873 (2020)
Cirant, M., Nurbekyan, L.: The variational structure and time-periodic solutions for mean-field games systems. Minimax Theory Appl. 3, 227–260 (2018)
Cirant, M., Porretta, A.: Long time behaviour and turnpike solutions in mildly non-monotone mean-field games. arXiv:2101.09965 (2020)
Cirant, M., Tonon, D.: Time-dependent focusing mean-field games: the sub-critical case. J. Dyn. Differ. Equ. 31(1), 49–79 (2019)
DiBenedetto, E.: Degenerate Parabolic Equations. Universitext. Springer, New York (1993)
Ladyženskaja, O.A., Solonnikov, V.A., Uralceva, N.N.: Linear and quasilinear equations of parabolic type. Translated from the Russian by S. Smith. Translations of Mathematical Monographs, Vol. 23. American Mathematical Society, Providence, RI (1968)
Lasry, J.-M., Lions, P.-L.: Jeux à champ moyen. I. Le cas stationnaire. C. R. Math. Acad. Sci. Paris 343(9), 619–625 (2006)
Lasry, J.-M., Lions, P.-L.: Jeux à champ moyen. II. Horizon fini et contrôle optimal. C. R. Math. Acad. Sci. Paris 343(10), 679–684 (2006)
Lasry, J.-M., Lions, P.-L.: Mean field games. Jpn. J. Math. 2(1), 229–260 (2007)
P.-L. Lions. Cours au collège de france. https://www.college-de-france.fr
Masoero, M.: On the long time convergence of potential MFG. NoDEA Nonlinear Differ. Equ. Appl. 26(2), 15 (2019)
Porretta, A.: On the planning problem for the mean field games system. Dyn. Games Appl. 4(2), 231–256 (2014)
Porretta, A.: On the turnpike property for mean field games. Minimax Theory Appl. 3(2), 285–312 (2018)
Acknowledgements
The authors are members of the Gruppo Nazionale per l’Analisi Matematica, la Probabilità e le loro Applicazioni (GNAMPA) of the Istituto Nazionale di Alta Matematica (INdAM). They are partially supported by the research project “Nonlinear Partial Differential Equations: Asymptotic Problems and Mean-Field Games" of the Fondazione CaRiPaRo.
Funding
Open access funding provided by Università degli Studi di Padova within the CRUI-CARE Agreement.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Y. Giga.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendix A. Some useful estimates
Appendix A. Some useful estimates
We collect in this appendix some results that are used throughout the paper. We begin with some facts that are useful to integrate by parts on \({\mathbb {R}}^N\).
Lemma A.1
Let \(t_1, t_2 \in [0,T]\) and \(h \in L^1( {\mathbb {R}}^N \times [t_1,t_2])\). Then there exists a sequence \(R_k \rightarrow \infty \) such that
Proof
The proof follows the same arguments of the proof of Lemma 3.2 of [8]. We repeat it for completeness. By the coarea formula, it holds true that
If, by contradiction
then
would not be in \(L^1(0,\infty )\), which is not compatible with (42). \(\square \)
Lemma A.2
Suppose that \(Y, f \in C^1({\mathbb {R}}^N \times [t_1,t_2])\), and
Then, the following equality holds:
Note that an analogous formula holds on \({\mathbb {R}}^N\) with the Lebesgue measure dx.
Proof
The integration by parts formula holds on any bounded domain of the form \(B_R \times (t_1,t_2)\), i.e.
By the previous Lemma A.1 (applied with \(h=\frac{f|Y|}{1+|x|}\)), there exists a sequence \(R=R_k \rightarrow \infty \) such that
so that it suffices to pass to the limit \(R_k \rightarrow \infty \) in the first equality to obtain the assertion. \(\square \)
The following lemma is a (standard) regularity result for linear parabolic equations. Since we have not been able to find it in this precise form in the literature, we sketch its proof for the reader’s convenience.
Lemma A.3
Suppose that z is a (bounded) weak solution of the following linear equation
where \(f_1, g_1 \in L^\infty ( {\mathbb {R}}^N \times (0,T))\), \(f_2,g_2\in L^p( {\mathbb {R}}^N \times (0,T))\) and \(h, \eta \in L^{2p}({\mathbb {R}}^N\times (0,T)) \), for some
Then
where C depends on \(f_1, f_2, h, N, T, p\), and remains bounded for bounded values of \(||f_1||_{L^\infty ({\mathbb {R}}^N\times (0,T))}\), \(||f_2||_{L^p({\mathbb {R}}^N\times (0,T))}\), \(||h||_{L^{2p}({\mathbb {R}}^N\times (0,T))}\).
Suppose \(f_1\equiv f_2 \equiv h \equiv \eta \equiv 0\). Then
where C depends on N, T, p.
Remark A.4
Note that a similar result applies to the backward equation
More specifically, under the same assumptions of Lemma A.3, we have the same estimates with z(T) in place of z(0).
Proof
We start with (43). For simplicity of exposition, suppose first \(f_1\equiv g_1\equiv 0 \) and set \(f_2:=f, g_2:=g\). Denote by \(F=fz+g+\text{ div }(hz)+\text{ div }(\eta )\). We use the Duhamel representation formula, that is
where we denote by \(*\) the convolution (in space) and \(G(x,t)=\frac{1}{(4\pi t)^{\frac{N}{2}}}e^{-\frac{|x|^2}{4t}}\) is the heat kernel. By the definition of F we have
Using Young’s inequality with
we get
Denoting by \(S= S_\tau = \sup _{t \in [0,\tau ]} ||z(t)||_{L^\infty ({\mathbb {R}}^N)}\), for \(\tau > 0\), the last inequality reads for all \(t \in [0, \tau ]\)
By the Hölder inequality,
It is now standard to verify (e.g. using spherical coordinates) that, since \(p> \frac{N+2}{2}\),
where \(\beta _1, \beta _2, C_1, C_2 > 0\) depend on N and q, r (and therefore on p). By plugging the above equalities into (48), we get
Pick now \(\tau = \bar{\tau }\) small so that
so that
which is the desired estimate (43) if \(T \le \bar{\tau }\). If \(T > \bar{\tau }\), it is sufficient to iterate the estimate n times, where n is the integer part of \(\frac{T}{\bar{\tau }}\), to get the result.
Finally, if \(f_1 \equiv \!\!\!\!\!/ 0\) or \(g_1\equiv \!\!\!\!\!/ 0\), then analogous argument applies, by using in (46) the Young’s inequality with \(p=\infty , q=1, r=\infty \) for the term \(f_1z\) and \(g_1\).
Inequality (44) can be obtained similarly. Again we prove it in the case \(g_1\equiv 0\) (and denoting \(g_2:=g\)), the proof in the general case being easily adaptable using Young’s inequality with \(\frac{1}{2p}=\frac{1}{r}-1\) with \(r\le 2p\) for the term \(g_1**\nabla G\) below. It is convenient to rewrite the Duhamel representation formula as follows (recall that \(f_1\equiv f_2 \equiv h \equiv \eta \equiv 0\)),
where by \(**\) we denote the convolution in space-time. By the Young inequality with r such that (as before)
we get
We plug (49) into (51) and we get
which is the desired estimate. \(\square \)
Finally, we recall some facts on distributional solutions (and their moments) to Fokker-Planck equations.
Lemma A.5
Let \(\{\mu (x, t) dx\}_{t \in [0,T]}\) be a family of probability measures on \({\mathbb {R}}^N\), and b(x, t) be a measurable vector field which is \(\mu (x,t) dx dt\)-integrable on \({\mathbb {R}}^N \times (0,T)\). Let \(\mu \) be a distributional solution of the Fokker-Planck equation with drift b (and diffusion), i.e.
for all \(t \in [0,T]\), \(\zeta \in C^{\infty }_0({\mathbb {R}}^N)\). We have
-
(i)
If \(|x|\mu (0) \in L^1({\mathbb {R}}^N)\), then \(|x|\mu (t) \in L^1({\mathbb {R}}^N)\) for all t, and
$$\begin{aligned} \sup _{t \in [0,T]} \int _{{\mathbb {R}}^N} |x| \mu (t,x) \, dx \le C \end{aligned}$$for some \(C > 0\) depending on \(\int _{{\mathbb {R}}^N} |x| \mu (0) dx, \int _0^T \int _{{\mathbb {R}}^N} |b| \mu dx dt, T\).
-
(ii)
In addition, if \(x^2 \mu (0) \in L^1({\mathbb {R}}^N)\) and \(|b \cdot x| \mu \in L^1({\mathbb {R}}^N \times (0,T))\), then \(x^2\mu (t) \in L^1({\mathbb {R}}^N)\) for all t, and
$$\begin{aligned} \int _{{\mathbb {R}}^N} x^2\mu (x,t) \, dx= & {} \int _{{\mathbb {R}}^N} x^2\mu (x,0) \, dx + 2Nt \int _{{\mathbb {R}}^N} \mu (x,0)dx\\&+ \int _0^t \int _{{\mathbb {R}}^N} b(x,t) \cdot x \, \mu (x,t) \, dxdt. \end{aligned}$$
Proof
(i) and (ii) heuristically follow by using |x| and \(x^2\) respectively as test functions; since they do not belong to \(C^{\infty }_0({\mathbb {R}}^N)\), one has to implement (standard) approximation procedures.
To get (i), it is sufficient to use [5, Lemma 2.2] with \(\Psi \in C^\infty ({\mathbb {R}}^N)\), \(\Psi (x) = |x|\) outside \(B_1(0)\).
As for (ii), note first that by [5, Lemma 2.2] (with \(\Psi (x) = x^2\)), \(\sup _{t \in [0,T]} \int _{{\mathbb {R}}^N}x^2\mu (t)dx < \infty \). To obtain the identity, note that (52) remains true for all \(\zeta \in C^{2}_b({\mathbb {R}}^N)\) such that \(\zeta \) is constant outside some ball. Then, for \(R > 0\) take any \(\varphi _R \in C^2({\mathbb {R}})\) such that \(\varphi _R(r) = r\) if \(r \in [0,R]\), \(|\varphi _R'|, |\varphi _R''| \le 1\) and \(\varphi _R(r) =\varphi _R(R)\) for all \(r \ge R+1\). Then, using \(\zeta (x) =\varphi _R(x^2)\) in (52) reads
and the conclusion follows taking the limit \(R \rightarrow \infty \). \(\square \)
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Cirant, M., Ghilli, D. Existence and non-existence for time-dependent mean field games with strong aggregation. Math. Ann. 383, 1285–1318 (2022). https://doi.org/10.1007/s00208-021-02217-3
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00208-021-02217-3