Abstract
In this paper we investigate maximal \(L^q\)-regularity for time-dependent viscous Hamilton–Jacobi equations with unbounded right-hand side and superlinear growth in the gradient. Our approach is based on the interplay between new integral and Hölder estimates, interpolation inequalities, and parabolic regularity for linear equations. These estimates are obtained via a duality method à la Evans. This sheds new light on the parabolic counterpart of a conjecture by P.-L. Lions on maximal regularity for Hamilton–Jacobi equations, recently addressed in the stationary framework by the authors. Finally, applications to the existence problem of classical solutions to Mean Field Games systems with unbounded local couplings are provided.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The purpose of this paper is two-fold. First, to establish maximal \(L^q\)-regularity for parabolic Hamilton–Jacobi equations with unbounded right-hand side of the form
where H has superlinear growth in the gradient variable and \(f\in L^q(Q_T )\) for some \(q>1\). Second, to apply these regularity results to prove the existence of classical solutions for a large class of second-order Mean Field Games systems with local coupling, i.e.
Maximal regularity for (HJ). The problem of maximal \(L^q\)-regularity for (HJ) amounts to show that bounds on the right-hand side f in \(L^q(Q_T)\) imply bounds on individual terms \(\partial _t u\), \(\Delta u\) and H(x, Du) in \(L^q(Q_T)\) (see Theorem 1.1 below for a more precise statement). This problem has been proposed for stationary Hamilton–Jacobi equations by P.-L. Lions in a series of seminars (see, e.g., [46, 47]). Under the assumption that
he conjectured that maximal regularity holds provided that q is above the threshold \(d(\gamma -1)/\gamma \). The conjecture has been proved recently in [21] via a refined Bernstein method, which unfortunately breaks down in the parabolic setting. Here, we are able to obtain parabolic maximal regularity via different methods, assuming that q is above a certain (parabolic) threshold, that is
in the regime of subnatural growth, that is, for \(\gamma < 2\). For \(\gamma \ge 2\), we obtain the larger threshold
Besides maximal regularity, we prove new results on the Hölder regularity of solutions when \(\gamma > 2\).
Before stating our results, we briefly review some contributions on the existence and regularity of solutions to Hamilton–Jacobi equations with unbounded right-hand side. We first discuss the case \(\gamma \le 2\), that is, when the nonlinear term H(Du) plays a mild role, being the diffusion term (formally) dominating at small scales. When \(f \in L^q\), \(q > (d+2)/2\), the boundedness and Hölder continuity of weak solutions are classical [41, Chapter 5]. For such values of q, boundedness has actually been established for much more general quasi-linear equations, see, e.g., [58]. For these problems, it was shown [27, 33] that the existence of weak (and possibly unbounded) solutions holds up to \(q = (d+2)/2\). For \(\gamma < 2\), namely, strictly below the natural growth, the existence assumption has been relaxed to \(q \ge (d+2)/\gamma '\) in the recent paper [49]. Still, the solutions obtained are in a weak or renormalized sense, and although they need not be bounded, the question of further regularity beyond \(H(Du) \in L^1\) in the existence regime \((d+2)/\gamma ' \le q < (d+2)/2\) has remained open so far. Beyond the natural growth, that is, in the super-quadratic case \(\gamma > 2\), the existence and regularity are even less understood. Under the sign condition \(f \ge 0\), it has been proven in [13, 66] that viscosity solutions enjoy Hölder bounds depending on \(\Vert f\Vert _q\), with \(q > 1+d/\gamma \). It is worth mentioning that these results only rely on the super-quadratic nature of H, and tolerate degenerate diffusions. Below this exponent, bounds in \(L^p\) spaces have been shown in [14] (see also [35, Section 3.4]). It is remarkable that the exponent \(1+d/\gamma \) decreases as \(\gamma \) grows in the super-quadratic regime, so estimates in \(L^\infty \) require milder assumptions on f than in the sub-quadratic regime. On the other hand, further regularity, especially involving Du, seems to be difficult to achieve. For general \(\gamma > 1\), Lipschitz regularity has been recently investigated in [20], and proven under the (optimal) assumption \(q > d+2\) when \(\gamma \le 3\) and larger q when \(\gamma > 3\). Note that whenever Lipschitz regularity is established, maximal regularity for (HJ) follows from maximal regularity for linear equations (e.g. [29, 38, 42, 60, 61]), being H(Du) controlled in \(L^\infty \). We finally mention that within the context of \(L^p\)-viscosity solutions, Hamilton–Jacobi equations with unbounded right-hand side have been considered, see e.g. [26].
Maximal regularity typically requires some mild smoothness of coefficients in the equation (diffusions with coefficients merely in \(L^\infty \) are not allowed even in the linear framework), but provide the integrability of \(D^2 u, \partial _t u\), thus allowing to recover most of the aforementioned properties of solutions by means of Sobolev embeddings, as q varies. To our knowledge, there are only a few instances of this type of results in the literature, and in the regime \(\gamma \le 2\) only. In [64] maximal regularity is stated for \(f\in L^q\), \(q\ge d+1\) (see also [51, 63]). For Hamilton–Jacobi equations driven by the Laplacian, some results can be found in [35], under the more general assumption \(q > (d+2)/2\), but no results are available below this exponent, nor for \(\gamma > 2\).
As we previously announced, the first main result of this paper consists in achieving maximal regularity in the full range \(q > (d+2)/\gamma '\) in the sub-quadratic setting \(\gamma \le 2\), and for \(q > (d+2)(\gamma -1)/2\) when \(\gamma > 2\). Data will be periodic in the x-variable, namely, functions will be defined over the d-dimensional flat torus \({{\mathbb {T}}^d}\). This will be convenient for the applications to MFG systems. We suppose that \(H \in C({{\mathbb {T}}^d}\times {\mathbb {R}}^d)\) is convex in the second variable, and that there exist constants \(\gamma > 1\) and \(C_H>0\) such that
for every \(x\in {{\mathbb {T}}^d}\), \(p\in {\mathbb {R}}^d\). Concerning the case \(\gamma \ge 2\), we will further assume some additional regularity in the x-variable, i.e. for \(\alpha \in (0,1)\) to be specified,
for all \(x,\xi \in {{\mathbb {T}}^d}\) and \(p \in {\mathbb {R}}^d\). A typical example of H satisfying (H) is
If \(h \in C^\alpha ({{\mathbb {T}}^d})\), this Hamiltonian will satisfy also (\({\mathrm{H}}_{\upalpha }\)).
Hoping to help the reader to have a clearer picture, we sketch known and new regularity regimes as \(\gamma \) and q vary in Fig. 1.
Theorem 1.1
Assume that (H) holds, and (\(H_\alpha \)) also when \(\gamma \ge 2\) (with \(\alpha \) as in Theorem 1.2 below). Let \(u \in W^{2,1}_q(Q_T)\) be a strong solution to (HJ) and assume that for some \(K > 0\)
If
then, there exists a constant \(C>0\) depending on \(K, q, d, C_H, T\) such that
The strategy of the proof is based on the following procedure. By maximal regularity for linear equations, one has
Then, one looks for a suitable norm so that a Gagliardo-Nirenberg type interpolation inequality of the form
with \(\gamma \theta < 1\) holds. Combining the two inequalities, maximal regularity is achieved whenever it is possible to produce bounds on . This way of producing estimates for nonlinear problems, using linear estimates and interpolation inequalities, goes back to the works of Amann and Crandall [2]. When \(\gamma = 2\), a good choice for is the \(L^\infty \) norm, which is easily controlled by \(\Vert f\Vert _\infty \) (ABP type estimates allow to reach \(\Vert f\Vert _{d+1}\), as in [64]). Here, we start with the observation that when \(\gamma < 2\), the optimal choice is a suitable \(L^p\) norm, while for \(\gamma > 2\), a Hölder bound on u is needed. A crucial step in this work is the derivation of such estimates. These are obtained by duality arguments, inspired by [20, 32]. The main idea behind duality is to shift the attention from (HJ) to the formal adjoint of its linearization, which is a Fokker–Planck equation. Crossed information on u and the solution \(\rho \) to the “dual” equation allow to retrieve estimates on \(\rho \), that are then transferred back to u. A more detailed heuristic explanation of this method can be found in [20] (see also the references therein). Note that [20] is devoted to Lipschitz regularity of u, while here we investigate Hölder regularity, which requires a further inspection of the regularity of \(\rho \) at the level of Nikol’skii spaces. As already mentioned, the nonlinear adjoint method started with the works of L.C. Evans [31, 32]. Further results for stationary equations have been obtained in [69], see also [11, 54] for further applications. This method has been successfully applied to study the regularity of parabolic Hamilton–Jacobi equations and Mean Field Games systems in recent works [19, 20, 25, 36], see also [22] for maximal \(L^q_t-L^p_x\) regularity estimates in the long-time (quadratic) regime.
We underline that our results on Hölder regularity in the super-quadratic case are new in the following sense. Recall that Hölder bounds have been obtained in [13, 66] when \(q > 1+ d/\gamma \) for \(\gamma >2\), while here we assume the stronger requirement \(q > (d+2)/\gamma '\) (which is the natural one for maximal regularity). In [13, 66] sign assumptions on f are in force, and explicit Hölder exponents are not provided. Here, we do not require any assumption on the sign of f, and produce explicit Hölder exponents. The statement is as follows.
Theorem 1.2
Assume that (H) and (\(H_\alpha \)) hold with \(\gamma \ge 2\). Let u be a strong solution to (HJ) in \(W^{2,1}_q(Q_T)\), \(q > \frac{d+2}{\gamma '}\). Then, there exists a positive constant C (depending on \(\Vert u_0\Vert _{C^\alpha ({{\mathbb {T}}^d})}, \Vert f\Vert _{L^{q}(Q_T)}, H, q, d, T\)) such that
where \(\alpha = \gamma '-\frac{d+2}{q}\) if \(q < \frac{d+2}{\gamma '-1}\), while \(\alpha \in (0,1)\) if \(q \ge \frac{d+2}{\gamma '-1}\).
We mention that the proof of the Hölder bounds could be localized in time, thus assuming merely \(u_0 \in C({{\mathbb {T}}^d})\). The constant C would then depend on \(\Vert u\Vert _\infty \), see Remark 3.7.
In the sub-quadratic regime \(\gamma < 2\), the existence and uniqueness of weak solutions can be obtained up to the critical integrability exponent \(q = (d+2)\frac{\gamma -1}{\gamma }\) [49]. From the viewpoint of maximal regularity, this endpoint situation is a bit more delicate than the one treated in Theorem 1.1, which concerns \(q > (d+2)\frac{\gamma -1}{\gamma }\). Indeed, the heuristic procedure previously discussed yields
which is meaningful only if \( \Vert u\Vert _{L^p}\) is small. We circumvent this issue by shifting the analysis from u to \(u-u_k\), where \(u_k\) is the solution to a suitable regularized problem. Crucial stability estimates on \( \Vert u-u_k\Vert _{L^p}\) then lead to the second main maximal regularity result of the paper.
Theorem 1.3
Assume that (H) holds, and \(1 + \frac{2}{d+2}< \gamma < 2\). Let \(u \in W^{2,1}_q(Q_T)\) be a strong solution to (HJ), and
Then, there exists a constant \(C>0\) depending on \(f, \Vert u_0\Vert _{W^{2-2/q,q}}, q, d, C_H, T\) such that
We stress that in this limiting case the dependence of the constant C with respect to f is not just through its norm, as in the previous Theorem 1.1, but on subtler properties; see Remark 4.2 below for additional details.
Further comments concerning the thresholds for q in Theorems 1.1 and 1.3 are now in order. When \(q < (d+2)/\gamma '\) we believe that maximal regularity results are false in general. This would be in line with known results for the associated stationary problem [21], for which maximal regularity does not hold when \(q < d/\gamma '\). We also believe that the endpoint \(q=\frac{d+2}{2}\) for quadratic problems \(\gamma = 2\) could be treated by our methods, using more refined interpolation estimates in Orlicz spaces (or the analysis of a linear equation obtained via the Hopf-Cole transformation). Regarding the super-quadratic regime \(\gamma > 2\), we do not know whether our assumption \(q > (d+2)(\gamma -1)/2\) is optimal or not.
It is finally worth noticing that our results, and in particular the Hölder estimates in Theorem 1.2, apply to equations with repulsive gradient term (e.g. Kardar–Parisi–Zhang type PDEs), i.e.
with G satisfying (H). In other words, the sign in front of H and f does not matter in (HJ), since it is sufficient to observe that \(u(x,t)=-v(x,t)\) solves (HJ) with \(H(x,p)=G(x,-p)\), which satisfies (H) too. We refer to [4, 5] and the references therein for further discussions on these equations.
Mean Field Games. Armed with maximal regularity results for Hamilton–Jacobi equations, we describe our contributions on Mean Field Games (MFG) systems of the form (MFG). These arise in the MFG framework, which is a class of methods inspired by ideas in statistical physics to study differential games with a population of infinitely many indistinguishable players [43, 44]. The PDE system (MFG) appears naturally when the running cost of a single player depends on the population’s density in a pointwise manner. This results in the nonlinear coupling term g(m(x, t)) between the Hamilton–Jacobi and the Fokker–Planck equation in (MFG). When \(g(\cdot )\) is an unbounded function, the regularity of solutions is still a challenging problem that has not been solved in full generality.
In the so-called monotone case, that is, when \(g(\cdot )\) is increasing, there are no restrictions on the growth of f if one looks for solutions in some weak sense [14, 59], or for classical solutions when the time horizon T is small [3, 24]. Classical solutions for arbitrary T can be obtained by requiring a mild behaviour of g(m) as \(m \rightarrow \infty \), or a mild behaviour of H(p), i.e. \(\gamma \le 1 + 1/(d+1)\) (as suggested in [46]). We deal here with the first situation. For the model problem \(g(m) = m^r\), an upper bound on r depending on \(\gamma \) and the space dimension d is usually required. Concerning the subquadratic case \(\gamma < 2\), a main reference is [34] (see also [6]), while [36] explores the superquadratic case \(2< \gamma < 3\).
We will assume here that \(g:{{\mathbb {T}}^d}\times [0,\infty )\rightarrow {\mathbb {R}}\) is of class \(C^1\), and that there exist \(r>0\) and \(C_g > 0\) such that
This implies that \(g(\cdot )\) is monotone increasing and bounded from above and below by power-like functions of type \(m^r\). As for the Hamiltonian, we will further assume some additional smoothness and uniform convexity in the p-variable, having always in mind a power-like growth \(|p|^\gamma \): for every \(p \in {\mathbb {R}}^d, M\in \mathrm {Sym}_d\)
Our main result on this class of problems reads as follows.
Theorem 1.4
Under the assumptions (H), (H2) and (\(M^+\)), there exists a (unique) smooth solution to (MFG) if
It is understood here that there are no restrictions on r when \(d = 1,2\). To our knowledge, the results of this manuscript extend known classical regularity regimes in the sub-quadratic case. Note that
Regarding the super-quadratic case, we actually obtain the same restriction \(r < \frac{2}{d(\gamma -1) - 2}\) as in [36], but we are able to cover the full interval \(\gamma \in [2, \infty )\), thus unlocking some smoothness regimes for \(\gamma > 3\). Still, one may conjecture that, for all \(d \ge 1\), no restrictions on r should be required to get classical solutions (as for the purely quadratic case \(H(p) = |p|^2\) investigated in [12, Theorem 4.1]), but this remains an open question.
In the non-monotone framework, the assumption of increasing monotonicity of \(g(\cdot )\) is dropped. Conversely, one may even consider a \(g(\cdot )\) which is strictly decreasing (focusing case), and model aggregation phenomena as in [15, 17, 23]. In this framework, a control on the growth of g is structurally needed. For stationary problems, it was shown in [16] that when \(g(m) = -m^r\), no solutions on \({\mathbb {R}}^d\) exist when \(r > \frac{\gamma '}{d-\gamma '}\), and even for \(r \ge \frac{\gamma '}{d}\) some further assumptions might be needed for solutions to be obtained. On the other hand, when \(r < \frac{\gamma '}{d}\), the existence of weak solutions is shown in [23], but their classical regularity is proven under much stronger hypotheses, that impose \(\gamma < 2\).
Now, we suppose
With respect to the previous assumptions (\(M^-\)) in the monotone case, g need not be monotone increasing; in contrast, it can be strictly decreasing, for example, \(g(m) = -m^r\). We have the following
Theorem 1.5
Under the assumptions (H) and (\(M^-\)), there exists a smooth solution to (MFG) if
In other words, we prove that solutions in the focusing case obtained in [23] are always classical in the subquadratic regime. In the superquadratic regime, a new class of smooth solutions is obtained. We stress that the threshold \(\frac{\gamma '}{d}\) is crucial, as one may have nonexistence of solutions for a large time horizon T when \(r \ge \frac{\gamma '}{d}\) [18]. For a summary sketch of the existence regimes that we obtain here, see Fig. 2.
Theorems 1.4 and 1.5 are proven as follows. First, we use structural estimates to deduce some a priori bounds on \(\Vert g(m)\Vert _{L^q}\). These are mainly second-order type estimates in the monotone framework, and first-order estimates in the non-monotone one (plus some additional interpolation procedures). The assumptions on the growth r of \(g(\cdot )\) guarantee that q is large enough to apply our maximal regularity results for the HJ equation. Then, once the crucial a priori bounds on u in \(W^{2,1}_q\) are established, a bootstrap procedure allows to get estimates up to second-order derivatives in Hölder spaces, and the existence follows via standard methods.
Outline. In Sections 2.1 and 2.2 we introduce the functional setting that is used throughout the paper, while Section 2.3 is devoted to Sobolev regularity results for Fokker–Planck equations. Section 3 comprehends the proof of a priori integral and Hölder estimates for Hamilton–Jacobi equations with unbounded ingredients. In Section 4, Theorem 1.1 on maximal regularity for (HJ) is proven, while in Section 5 the existence Theorems 1.4 and 1.5 for (MFG) are proven.
2 Preliminaries
2.1 Fractional Spaces of Periodic Functions
Let \(\mu \in (0,1)\) and \(1\le p,q\le \infty \). The Besov space \(B_{pq}^\mu ({{\mathbb {T}}^d})\) consists of all functions \(u\in L^p({{\mathbb {T}}^d})\) such that the norm
is finite. When \(p=q=\infty \) and \(\mu =\alpha \in (0,1)\), the space \(B_{\infty \infty }^\mu ({{\mathbb {T}}^d})\simeq C^{\alpha }({{\mathbb {T}}^d})\) and it is endowed with the equivalent norm
where \(\mathrm {dist}(x,y)\) is the geodesic distance on \({{\mathbb {T}}^d}\). When, instead, either \(p=q\in (1,\infty )\) and \(\mu \) is not an integer or \(\mu \) is an integer and \(p=q=2\), it is immediate to recognize that \(B_{pp}^\mu ({{\mathbb {T}}^d})\simeq W^{\mu ,p}({{\mathbb {T}}^d})\), where \(W^{\mu ,p}({{\mathbb {T}}^d})\) is the classical Sobolev–Slobodeckii scale in the periodic setting. When \(q=\infty \), the space \(B_{p\infty }^\mu ({{\mathbb {T}}^d})\simeq N^{\mu ,p}({{\mathbb {T}}^d})\) is known as Nikol’skii space [55] and the above norm is interpreted as usual as
see [45, Chapter 17] for analogous spaces defined on \({\mathbb {R}}^d\), and [67, p. 460], [62, Section 3.5.4] for details in the periodic case. For general \(\mu >0\), let \(\mu =k+\sigma >0\) with \(k\in {\mathbb {N}}\cup \{0\}\), \(\sigma \in (0,1]\), \(1\le p<\infty \). Then, we define the Nikol’skii class
We mention that in view of [70, Corollary 2 p. 143], Nikol’skii spaces \(N^{\mu ,p}({{\mathbb {T}}^d})\) can be endowed with equivalent norms of the form
where \(k,r\in {{\mathbb {Z}}}\) are such that \(0\le k<\mu \) and \(r>s-k\), where \(\Delta ^r_h\) are the increments of order r and step h, see [45]. Moreover, these spaces can be characterized via real interpolation: for \(m\in {\mathbb {N}}\), \(p,q\in [1,\infty ]\) and \(\theta \in (0,1)\) we haveFootnote 1
with equivalence of the respective norms, see e.g. [48, 45, Theorem 17.24].
2.2 Space–time Anisotropic Spaces
For any time interval \((t_1, t_2) \subseteq {\mathbb {R}}\), let \(Q_{t_1, t_2}:={{\mathbb {T}}^d}\times (t_1, t_2)\). We will also use the notation \(Q_{t_2}:= {{\mathbb {T}}^d}\times (0, t_2)\). For any \(p\ge 1\) and \(Q = Q_{t_1, t_2}\), we denote by \(W^{2,1}_p(Q)\) the space of functions u such that \(\partial _t^{r}D^{\beta }_xu\in L^p(Q)\) for all multi-indices \(\beta \) and r such that \(|\beta |+2r\le 2\), endowed with the norm
The space \(W^{1,0}_p(Q)\) is defined similarly, and is endowed with the norm
We define the space \({\mathcal {H}}_p^{1}(Q)\) as the space of functions \(u\in W^{1,0}_p(Q)\) with \(\partial _tu\in (W^{1,0}_{p'}(Q))'\), equipped with the norm
Denoting by \(C([t_1, t_2]; X)\), \(C^\alpha ([t_1, t_2]; X)\) and \(L^q(t_1, t_2; X)\) the usual spaces of continuous, Hölder and Lebesgue functions respectively, with values in a Banach space X, we have the following isomorphisms: \(W^{1,0}_2(Q) \simeq L^2(t_1, t_2; W^{1,2}({{\mathbb {T}}^d}))\), and
and the latter is known to be continuously embedded into \(C([t_1, t_2]; L^2({{\mathbb {T}}^d}))\) (see, e.g., [28, Theorem XVIII.2.1]). Sometimes, we will use the compact notation C(X) and \(L^q(X)\).
2.3 Sobolev Regularity of Solutions to Fokker–Planck Equations
In this section, we collect a few existence and regularity properties of solutions to
Here, \(\tau \in (0,T]\), \(Q_\tau :={{\mathbb {T}}^d}\times (0,\tau )\) and \(Q_{s,\tau }:= {{\mathbb {T}}^d}\times (s,\tau )\). We will assume that
We first recall that such a transport equation with diffusion is well-posed in an energy space and has bounded solutions, when with satisfying the so-called Aronson-Serrin condition . For a proof of the following classical result, see e.g. [20, Proposition 2.3], or [7, 8, 41].
Proposition 2.1
Let , with , and \(\rho _\tau \) be as in (4). Then, there exists a unique weak solution \(\rho \in {\mathcal {H}}_2^1(Q_\tau ) \cap L^\infty (0,\tau ; L^r({{\mathbb {T}}^d}))\) for all \(r \ge 1\) to (3), i.e.
for all \(s > 0\) and \(\varphi \in {\mathcal {H}}_2^1(Q_{s,\tau })\), and \(\rho (\tau ) = \rho _\tau \) in the \(L^2\)-sense. Moreover, \(\rho \) is a.e. nonnegative on \(Q_\tau \).
Our analysis will be based on the regularity properties of \(\rho \) in Sobolev spaces that depend on the integrability of |b| against \(\rho \) itself. Similar results already appeared in [9, 23, 52, 59].
Proposition 2.2
Let \(\rho \) be the nonnegative weak solution to (3) and \(1<\sigma '<d+2\). Then, there exists \(C>0\), depending on \(T,\sigma ',d\), such that
where \(m'=1+\frac{d+2}{\sigma }\) and \(p' = \frac{d \sigma }{\sigma (d+1)-(d+2)}\) if \(\sigma '>\frac{d+2}{d+1}\), while \(p' = 1\) if \(\sigma '<\frac{d+2}{d+1}\).
As we will se below, if \(\sigma '>\frac{d+2}{d+1}\) we obtain also
Proof
The case \(\sigma '<\frac{d+2}{d+1}\) is covered by [20, Proposition 2.5], which is based on duality combined with maximal regularity arguments (following [52]). We focus here on the case \(\sigma '>\frac{d+2}{d+1}\), and prove the theorem via a (standard) method from weak solutions, that does not exploit parabolic Caldèron–Zygmund regularity. This is possible because \(\frac{d+2}{d+1}< \sigma ' < d+2\) implies \(2< m' < d+2\).
Set \(\beta :=\frac{m'-2}{d+2-m'}\). To simplify, we use \(\varphi :=\rho ^\beta \) as a test function in the weak formulation of (3) integrating on \(Q_{t,\tau }:={{\mathbb {T}}^d}\times (t,\tau )\), while the argument can be made rigorous by testing against \(\varphi :=(\rho +\epsilon )^\beta \), and then letting \(\epsilon \rightarrow 0\). We have
In particular, noting that \(D\rho ^\frac{\beta +1}{2}=\frac{\beta +1}{2}\rho ^{\frac{\beta -1}{2}}D\rho \), we write
to get that
We first pass to the supremum over \(t\in (0,\tau )\) and, by means of [30, Proposition I.3.1] we deduce
We then have
We then note that \(\sigma <d+2\) implies \(m'>2\) and
We apply Young’s inequality to the first term on the right-hand side to conclude
Hence
We thus conclude the estimates
and
Finally, recalling that \(\sigma '=\frac{d+2}{d+3-m'}\), we get the Sobolev estimate applying Hölder’s inequality, using (8) and finally exploiting Young’s inequality as
The estimate on the time derivative in \((W^{1,0}_\sigma (Q_\tau ))'\) can be obtained by duality, as in [20, Proposition 2.4]. \(\square \)
Corollary 2.3
Let \(\rho \) be the nonnegative weak solution to (3). Then, there exists \(C_1>0\), depending on T, q, d, such that if \( q < \frac{d+2}{2}\)
where \(p = \frac{d q}{(d+2)-2q}\), while if \( q > \frac{d+2}{2}\),
Proof
The first estimate follows by Proposition 2.2, applied with \(m'=\frac{d+2}{q}\) (see also (7)), and the continuous embedding of \({\mathcal {H}}^1_{\sigma '}(Q_\tau )\) into \(L^{q'}(Q_\tau )\). The second estimate follows analogously, using also the embedding of \({\mathcal {H}}^1_{\sigma '}(Q_\tau )\) into \(C([0, \tau ]; W^{\frac{d}{d+2}-\frac{2}{q'}, \frac{(d+2)q'}{d+2+q'}}({{\mathbb {T}}^d}))\). \(\square \)
3 Bounds of Solutions to HJ Equations in Lebesgue and Hölder Spaces
We derive in this section some preliminary bounds on solutions to Hamilton–Jacobi equations via duality methods. Since we are in the setting of maximal regularity and \(f \in L^q(Q_T)\), we assume that \(u \in W^{2,1}_q(Q_T) \cap W^{1,0}_{\gamma q}(Q_T)\) is a strong solution to (HJ), i.e. it solves the Hamilton–Jacobi equation almost everywhere. The initial datum \(u_0\) is achieved in \(W^{2-2/q,q}({{\mathbb {T}}^d})\), as suggested by the Lions–Peetre trace method in interpolation theory (cf Lemma A.1 below). Note that by classical embedding properties for Sobolev–Slobodeckii spaces, we have the following inclusions
Since we will work under the assumptions
embeddings of \(W^{2,1}_q(Q_T)\) imply that u is bounded in \(W^{1,0}_{\gamma q}(Q_T)\) (so we can drop \(u \in W^{1,0}_{\gamma q}(Q_T)\) in the statements of our results), and \(u \in L^2(0,T; W^{1,2}({{\mathbb {T}}^d}))\). Furthermore,
so the dual equation (3) is well-posed in \({\mathcal {H}}_2^1\) whenever \(b(x,t) = -D_pH(x, Du(x,t))\). Note finally that when \(q > (d+2)/2\), any solution is automatically continuous and u solves (HJ) in the weak sense used in [20]. This always happens in the superquadratic regime \(\gamma > 2\). On the other hand, in the subquadratic case \(\gamma < 2\), u is not necessarily continuous when \( (d+2)/\gamma ' \le q < (d+2)/2\).
Remark 3.1
The assumption
guarantees that \(u \in L^2(0,T; W^{1,2}({{\mathbb {T}}^d}))\), so u has finite energy and it can be safely used as a test function for the dual equation (3). One can drop this requirement in all following statements, relaxing to
so that \(q> \frac{d+2}{\gamma '} > 1\), and assuming a priori that \(u \in L^2(0,T; W^{1,2}({{\mathbb {T}}^d}))\) (which is always true for example when u is a classical solution, as in Section 5 on MFG). One could also invoke methods from renormalized solutions, to deal also with the case \(\gamma \le 1 + \frac{1}{d+1}\) but this is beyond the scope of this paper.
3.1 Bounds in Lebesgue Spaces
We obtain in this section the bounds on the \(L^p\)-norm of u, elaborating in particular the case \(\frac{d+2}{\gamma '} \le q < \frac{d+2}{2}\), that is when \(\gamma < 2\).
\(T_k(s) = \max \big \{-s,\min \{s,k\}\big \}\) below will denote the truncation operator at level \(k > 0\), \(u^+ = \max \{u,0\}\) and \(u^- = (-u)^+\) the positive and negative part of u respectively.
We start with some bounds on \(u^+\), that are obtained with no restrictions on \(q \ge 1\).
Lemma 3.2
Assume that H is nonnegative. Let u be a strong solution to (HJ) in \(W^{2,1}_q(Q_T)\), \(q \ge 1\). There exists a positive constant \({C}_0\) (depending on q, d, T) such that
where \(p = \frac{d q}{(d+2)-2q}\) if \(q < \frac{d+2}{2}\), while \(p = \infty \) if \(q > \frac{d+2}{2}\).
Note that \(W^{2,1}_q(Q_T)\) is embedded into \(C([0,T]; L^p({{\mathbb {T}}^d}))\) (p as in the previous statement) so (10) has the form of an a priori bound.
Proof
We detail the proof in the case \(q < \frac{d+2}{2}\) only. The case \(q > \frac{d+2}{2}\) can be treated in an analogous way (essentially following [20, Section 3]).
For \(k > 0\), let \(\mu = \mu _k\) be the weak nonnegative solution of the following backward problem
Note that \(\Vert \mu _\tau \Vert _{L^{p'}({{\mathbb {T}}^d})}\le 1\). Since \(\mu \) solves an equation of the form (3) with \(b\equiv 0\), by Corollary 2.3 we have
where C does not depend on k. Since \(u^+\) is a weak subsolution of
testing against \(\mu \), and testing the equation for \(\mu \) against u we get that
We apply Hölder’s inequality to the second term of the right-hand side of the above inequality, the assumption \(H\ge 0\) on the Hamiltonian, and the fact that the backward heat equation preserves the \(L^{p'}\) norm, i.e. \(\Vert \mu (t)\Vert _{L^{p'}({{\mathbb {T}}^d})}\le 1\) for all \(t\in [0,\tau ]\), to get, after sending \(k \rightarrow \infty \), the desired inequality. \(\square \)
We now proceed with some more delicate bounds on \(u^-\), under the restriction \(q > \frac{d+2}{\gamma '}\). We will use the following property of H: under the standing assumptions on H, the Lagrangian \(L(x, v) = \sup _{p }\{\nu \cdot p - H(x, p)\}\) satisfies for some \(C_L > 0\) (depending on \(C_H\))
Lemma 3.3
Assume that (H) holds. Let u be a strong solution to (HJ) in \(W^{2,1}_q(Q_T)\), \(q > \frac{d+2}{\gamma '}\). There exists a positive constant C (depending on \(C_H, q, d, T\)) such that
where \(p = \frac{d q}{(d+2)-2q}\) if \(q < \frac{d+2}{2}\), while \(p = \infty \) if \(q > \frac{d+2}{2}\).
Proof
As before, we detail the case \(q < \frac{d+2}{2}\) only. For \(k > 0\), let \(\rho = \rho _k\) be the weak nonnegative solution of
As before, \(\Vert \mu _\tau \Vert _{L^{p'}({{\mathbb {T}}^d})}\le 1\). By Corollary 2.3 we have
where C does not depend on k. Since \(u^-\) is a weak subsolution of
testing against \(\rho \), and testing the equation for \(\rho \) against \(u^-\) we get that
On the one hand, in view of (11) note that
and on the other hand by Hölder’s inequality
Then, plugging (13) into (14) we obtain
Since \(q > \frac{d+2}{\gamma '}\) one can use Young’s inequality and the fact that \(\int \rho (t) dx \le \Vert \rho (t)\Vert _{L^{p'}({{\mathbb {T}}^d})}\le 1\) to get the desired inequality (after passing to the limit \(k \rightarrow \infty \)). \(\square \)
Combining (10) and (12), we get the following estimate in the case \(q > \frac{d+2}{\gamma '}\).
Corollary 3.4
Assume that (H) holds. Let u be a strong solution to (HJ) in \(W^{2,1}_q(Q_T)\), \(q > \frac{d+2}{\gamma '}\), and assume that
Then, there exists a positive constant C (depending on \(K, C_H, q, d, T\)) such that
where \(p = \frac{d q}{(d+2)-2q}\) if \(q < \frac{d+2}{2}\), while \(p = \infty \) if \(q > \frac{d+2}{2}\).
Note that the previous result does not cover the critical case \(q = \frac{d+2}{\gamma '}\). The rest of the section is devoted to this endpoint situation, and more precise information on the stability of solutions in \(L^p\) will be obtained. This will be crucial in the subsequent analysis of maximal regularity. It is worth noting that the constants appearing in the estimates below will not depend just on the norms \(\Vert f\Vert _{L^q}\), \(\Vert u_0\Vert _{L^p}\), but on finer properties of f in \(L^q\) and \(u_0\) in \(L^p\); see Remark 3.6.
Let \(\Gamma (x,t)\) be the fundamental solution of the heat equation on \({{\mathbb {T}}^d}\times (0, \infty )\). Consider, for \(k > 0\), the solution \(u_k\) to the problem with truncated / regularized data, i.e.
where \(\star \) stands for the standard convolution computed in space only, i.e. \(f_1\star f_2(x)=\int _{{{\mathbb {T}}^d}}f_1(x-y)f_2(y)\,dy\). In other words, \(u_k\) solves an Hamilton–Jacobi equation with \(L^\infty \) right-hand side and an initial datum in \(C^\infty \). Such an initial datum is actually \(u_k(x,0) = z(x, 1/k)\), where z is the solution to the heat equation
and converges to \(u_0\) in \(W^{2-2/q,q}({{\mathbb {T}}^d})\) as \(k\rightarrow \infty \). The existence and uniqueness of a strong solution \(u_k \in W^{2,1}_p(Q_T)\) for all \(p \ge 1\) can be obtained using, for example, the results in [20]. We prove now the estimates on \(u-u_k\).
Proposition 3.5
Assume that (H) holds. Let u and \(u_k\) be strong solutions to (HJ) and (17) respectively, \(\gamma < 2\) and \(q = \frac{d+2}{\gamma '}\). Then, there exists a positive constant C (depending on \(f, u_0, C_H, q, d, T\)) such that
where \(p = \frac{d q}{(d+2)-2q} = d \frac{\gamma -1}{2-\gamma }\).
Proof
Let \(w = u-u_k\). Note that w depends of course on k, but we will drop the subscript for simplicity.
As before, we argue by duality, and estimate \(w^+\) first. Fix \(\tau \in (0,T]\) and \(\rho = \rho _k\) be the weak nonnegative solution of
Note that as in previous lemmas, one should further truncate \(\rho (\tau )\) to ensure the existence of \(\rho \) in an energy space (cf Proposition 2.1), and then pass to the limit, but we will omit this step for brevity.
Step 1: bounds on \(\iint |D_pH(x,Du_k)|^{\gamma '} \rho \). Testing (17) against \(\rho \), and testing the equation for \(\rho \) against \(u_k\) we get that
Recall that for all t, \(\int _{{\mathbb {T}}^d}\rho (t) dx = \int _{{\mathbb {T}}^d}\rho (\tau ) dx \le \Vert \rho (\tau )\Vert _{L^{p'}({{\mathbb {T}}^d})} = 1\). Then, for \(h > 0\) that will be chosen below,
Similarly, for any \(h_0 > 0\), by Young’s inequality for convolutions and Hölder inequality,
Finally, applying Lemma 3.2 to \(u_k\) and noting that \((u_0\star \Gamma (1/k))^+ \le u_0^+ \star \Gamma (1/k)\) by the comparison principle,
Plugging the previous inequalities back in (19), and using the bounds from below on L, we then get
Then Corollary 2.3 yields bounds on \(\rho \), i.e.
for some \(C_1\) depending only on \(T, d, \gamma \). Finally, h and \(h_0\) are chosen large enough so that
that gives
Step 2: bounds on \(w^+\). Taking the difference between (17) and (HJ), by the convexity of \(H(x, \cdot )\), \(w^+\) is a weak subsolution of
Testing against \(\rho \), and testing the equation for \(\rho \) against \(w^+\) gives
Hence, using Corollary 2.3 and the estimate (20) we obtain
which is “half” of the desired estimate.
To get an analogous estimate for \(\Vert w^-\Vert _{L^p({{\mathbb {T}}^d})}\), which allows to conclude since \(w = u - u_k\), one can proceed as in Step 1 and 2, noting that \(w^-\) satisfies
To argue as before, it is sufficient to exploit properties of the dual problem
\(\square \)
Remark 3.6
Note that (18) directly yields the estimate
thus extending (16) up to the critical case \(q = (d+2)/\gamma '\). Let us focus on the the way C depends on f and \(u_0\). When \(q > (d+2)/\gamma '\), C depends on \(\Vert f\Vert _{L^q}\) and \(\Vert u_0\Vert _{L^p}\) only. At the endpoint \(q = (d+2)/\gamma '\), the constant C above (and similarly the constant in (18)) is proportional to \({\overline{C}}\) defined in (20), that depends in turn on \( \Vert u_0^+\Vert _{L^p({{\mathbb {T}}^d})}, \Vert f^+\Vert _{L^q(Q_\tau )}, h, h_0\), where \(h, h_0\) are such that
and \(C_1 = C_1(T, q, d)\) is as in Corollary 2.3. Thus, these constants remain bounded when f and \(u_0\) vary in bounded and equi-integrable sets in \(L^q(Q_T)\) and \(L^p({{\mathbb {T}}^d})\) respectively. This is completely in line with the results in [49].
3.2 Bounds in Hölder Spaces
We now proceed with bounds on u in Hölder spaces, which will be obtained in particular when \(\gamma \ge 2\), that is when q is necessarily greater than \(\frac{d+2}{2}\) (and therefore u is continuous).
Proof of Theorem 1.2
Step 1. Since we have the representation \(H(x,Du(x, t))=\sup _{\nu \in {\mathbb {R}}^d}\{\nu \cdot Du(x, t)-L(x,\nu )\}\) for a.e. \((x,t) \in Q_T\), we get
for any measurable \(\Xi : Q_{\tau } \rightarrow {\mathbb {R}}^d\) such that \(L(\cdot , \Xi (\cdot , \cdot )) \in L^r(Q_{\tau })\) and \(\Xi \cdot Du \in L^r(Q_{\tau })\), \(r > 1\), and test function \(\varphi \in {\mathcal {H}}_2^1(Q_{\tau }) \cap L^{r'}(Q_{\tau })\). The previous inequality becomes an equality if \(\Xi (x,t) = D_pH(x,Du(x,t))\) in \(Q_{\tau }\).
Fix now any \(\tau \in [0, T]\), and let \({\bar{x}}, {\bar{y}} \in {{\mathbb {T}}^d}\) be such that
Let \(\rho _\tau \) be any smooth nonnegative function satisfying \(\int _{{\mathbb {T}}^d}\rho _\tau = 1\), and \(\rho \in {\mathcal {H}}_2^1(Q_\tau ) \cap L^{r'}(Q_{\tau })\) (for all \(r' > 1\)) be the solution to
Use now (21) with \(\Xi (x,t) = D_pH(x,Du(x,t))\) and \(\varphi =\rho \), and \(u \in {\mathcal {H}}_2^1(Q_T)\) as a test function for the equation satisfied by \(\rho \) to get
Setting \(\xi = {\bar{y}} - {\bar{x}}\), one can easily check that \(\hat{\rho }(x,t):=\rho (x-\xi ,t)\) satisfies
As before, plugging \(\Xi (x,t) = D_pH(x-\xi ,Du(x-\xi ,t))\) and \(\varphi = {\hat{\rho }}\) into (21), and using \(u \in {\mathcal {H}}_2^1(Q_T)\) as a test function for the equation satisfied by \(\hat{\rho }\) yields
which, after the change of variables \(x - \xi \mapsto x\), becomes
Taking the difference between (23) and (22) we obtain
Step 2. To estimate the terms appearing in the right hand side of (24), we first derive bounds on \(\rho \). We stress that constants \(C, C_1, \ldots \) below are not going to depend on \(\tau \) and \(\rho _\tau \). Rearranging (22) we have
and by (11) and the bounds on \(\Vert u\Vert _\infty \) of Proposition 3.4 we get
Using Corollary 2.3,
This provides a control on \(\iint _{Q_\tau } |D_pH(Du)|^{\gamma '} \rho \), and by means of Proposition 2.2,
Step 3. First, recall that \(\int _{{{\mathbb {T}}^d}} \rho (0) = 1\),
As for the second term in (24), \(L(x, v) = \sup _{p \in {\mathbb {R}}^d}\{v \cdot p-H(x,p)\}\), and if \(v = D_pH(x,p)\), then \(L(x, v) = \nu \cdot p - H(x, p)\), hence
Next, using (\({\mathrm{H}}_\upalpha \)),
Finally, we apply the embeddings of Propositions A.3 and A.2 (with \(\delta =q'\), \(p=\frac{d+2}{d+3-\gamma '}\) and hence \(\alpha =\gamma '-\frac{d+2}{q}\)) to get
Plugging now all the estimates in (24) and using (25) we obtain
It is now sufficient to recall that \(\rho _\tau \) can be any smooth nonnegative function satisfying \(\int _{{\mathbb {T}}^d}\rho _\tau = 1\), so
and we have the assertion. \(\square \)
Remark 3.7
Adding an additional time localization term in the previous procedure, as in [20], it is possible to obtain Hölder bounds that are independent of the initial datum, but just depend on the sup-norm of the solution. This indicates that the equation regularizes at Hölder scales, and the weak solutions (in an appropriate sense) become instantaneously Hölder continuous at positive times.
4 Maximal \(L^q\)-Regularity
We start with a straightforward consequence of parabolic regularity results for linear equations.
Proposition 4.1
Assume that (H) holds. Let u be a strong solution to (HJ) in \(W^{2,1}_q(Q_T)\). Then,
for some positive constant C depending on \(q, d, C_H\).
Proof
The proof is an easy consequence of well-known Caldèron-Zygmund type maximal regularity results for heat equations with potential
which satisfies the estimate (see [41, 42], or [38] and the references therein)
To get (26), it is now sufficient to choose \(V = -H(x,Du) + f\), and use the assumption (H). \(\square \)
We now proceed with our main result on maximal regularity for (HJ) when \(q > (d+2)/\gamma '\).
Proof of Theorem 1.1
To prove the assertion, we will combine the estimates derived in Section 3 with Gagliardo-Nirenberg type interpolation inequalities.
The subquadratic case \(\gamma < 2\). We start from Proposition 3.4, which gives
for any \(s \le p = \frac{d q}{(d+2)-2q}\) if \(q < \frac{d+2}{2}\), while \(s \le \infty \) if \(q > \frac{d+2}{2}\). Recall then the classical Gagliardo-Nirenberg inequality ([56, Lecture II Theorem p.125-126])
for \(s \in [1,\infty ]\) and \(\theta \in [1/2, 1)\) satisfying
Note that since \(q > \frac{d+2}{\gamma '}\), we have \(p>\frac{d(\gamma -1)}{2-\gamma }\), and therefore it is possible to choose s (close to \(\frac{d(\gamma -1)}{2-\gamma }\)) so that \(\theta \in [1/2, 1/\gamma )\) and (27) and (28) holds. Then, raising (28) to \(\gamma q\) and integrating on (0, T) yields
and since \(\gamma \theta < 1\),
Plugging (27) and (29) into (26) we obtain
and we conclude the assertion because \(\theta \gamma < 1\).
The superquadratic case \(\gamma \ge 2\). We start from Hölder bounds of Theorem 1.2, namely,
where \(\alpha = \gamma '-\frac{d+2}{q}\) (or \(\alpha \in (0,1)\) when \(q \ge \frac{d+2}{\gamma '-1}\)), and invoke the following Miranda-Nirenberg interpolation inequality (see [37, 50, 53, 57])
where \(\theta \in \left[ \frac{1-\alpha }{2-\alpha },1\right) \) satisfies
Choosing \(\theta = \frac{1-\alpha }{2-\alpha }\) (or \(\alpha \) close enough to 1 when \(q \ge \frac{d+2}{\gamma '-1}\)), we have \(\theta \gamma < 1\) if and only if
Hence,
Plugging this inequality into (26) and using the fact that \(\gamma \theta < 1\), we conclude. \(\square \)
We now consider the maximal regularity problem in the limiting case \(q = (d+2)/\gamma '\). The scheme of the proof is similar to the one of Theorem 1.1, but requires an additional step involving solutions \(u_k\) to the regularized problem (17), that is; for \(k >0\),
Proof of Theorem 1.3
Let \(w = u - u_k\), k to be chosen. From Proposition 3.5, we have the existence of C depending on \(f, u_0, C_H, q, d, T\) such that
The Gagliardo–Nirenberg inequality reads
where \(C_2\) depends on d, p, q. Thus,
Note now that w solves a.e. on \(Q_T\)
and that, by assumptions on H, \(|D_pH(x,p)| \le C_H' (|p|^{\gamma -1}+1)\), so by Young’s inequality
where \(C_3, C_4\) depend on \(C_H\) only. Then, by maximal regularity applied to the linear equation (32),
where \(C_6\) depends on \(C_H ,d,q\). Plugging now this inequality into (31) yields
Hence, we choose \({\bar{k}}\) large enough so that
to get
Since \(u_{{\bar{k}}}(0)\) is smooth and \(T_{{\bar{k}}}(f) \in L^\infty (Q_T)\), we can apply Theorem 1.1 to \(u_{{\bar{k}}}\) solving (17) to estimate \(Du_{{\bar{k}}}\). Indeed, pick any \({\bar{q}} > q\). Then,
in view of standard decay estimates for the heat equation (\(C_5\) depends on \(d, q ,{\bar{q}}\) only, see, e.g., [68, Chapter 15]). Therefore, by Theorem 1.1,
where \(C_{{\bar{k}}}\) depends on \({{\bar{k}}}, \Vert u_0\Vert _{W^{2-\frac{2}{q},q}({{\mathbb {T}}^d})}, q, d, C_H, T\). Actually, Du can be proven to be bounded in \(L^\infty (Q_T)\), see [20]. It is now straightforward to conclude. Indeed,
and the assertion follows by (34) and (35). \(\square \)
Remark 4.2
We claim that C appearing in the statement of Theorem 1.3 remains bounded when
-
f varies in a bounded and equi-integrable set \({\mathcal {F}} \subset L^q(Q_T)\), and
-
\(u_0\) varies in a bounded set \({\mathcal {U}}_0 \subset W^{2-2/q,q}({{\mathbb {T}}^d})\).
Indeed, in addition to \(\Vert u_0\Vert _{W^{2-\frac{2}{q},q}({{\mathbb {T}}^d})}, q, d, T, C_H\), the constant C crucially depends on \({\bar{k}}\) appearing in (33). This is chosen in the proof large enough so that
In turn, \(c = (2 C_6 C_2^\gamma C^{\gamma -1})^{-1}\) is independent of \(f \in {\mathcal {F}}\) and \(u_0 \in {\mathcal {U}}_0\), since they vary in bounded and equi-integrable sets in \(L^q(Q_T)\) and \(L^p({{\mathbb {T}}^d})\) respectively, cf. Remark 3.6. Note that by Sobolev embeddings, the closure of \({\mathcal {U}}_0\) in \(L^p\) (with p, q as above) is compact in \(L^p({{\mathbb {T}}^d})\), and hence weakly compact and \(L^p\)-equi-integrable by the Dunford–Pettis theorem, see [10, Theorem 4.30].
Hence, we just need to verify that for \(c > 0\), there exists k independent of \(u_0 \in {\mathcal {U}}_0\) such that
This follows again by the compactness of \({\mathcal {U}}_0\) in \(L^p\), which can be covered by finitely many balls \(B_{c/3}(u_j)\) in \(L^p({{\mathbb {T}}^d})\). Choosing k large so that
we get, for \(u_0 \in B_{c/3}(u_j)\),
Remark 4.3
One can implement the same scheme to handle more general Hamilton–Jacobi equations of the form
where \(A\in C([0,T];W^{2,\infty }({{\mathbb {T}}^d}))\) and \(\lambda I_d\le A\le \Lambda I_d\) for \(0<\lambda \le \Lambda \). In particular, one has to appropriately adjust the proofs of the integral and Hölder estimates, following [20], and use the linear maximal regularity results in [61].
5 Applications to Mean Field Games
For a given couple \(u_T, m_0 \in C^3({{\mathbb {T}}^d})\), consider the MFG system
5.1 The Monotone (or Defocusing) Case
Proof of Theorem 1.4
We argue that under the restrictions on r it is possible to prove a priori bounds on second-order derivatives of solutions to (MFG) (and beyond, assuming additional regularity of the data). These are typically enough to prove existence theorems. One may indeed set up a fixed-point method, or a regularization procedure, which consists in replacing g(m) by \(g(m\star \chi _\varepsilon )\star \chi _\varepsilon \) (where \(\chi _\varepsilon \) is a sequence of standard symmetric mollifiers). The existence of a solution \((m_\varepsilon , u_\varepsilon )\) is then standard (see e.g. [35]). Since the bounds on \((m_\varepsilon , u_\varepsilon )\) do not depend on \(\varepsilon > 0\), it is therefore possible to pass to the limit and obtain a solution to (MFG).
The key a priori bound is stated in the next Lemma 5.1. Once bounds for u in \(W^{2,1}_q(Q_T)\), \(q > (d+2)/\gamma '\), are established, one can indeed improve the estimates via a rather standard bootstrap procedure involving parabolic regularity for linear equations. Indeed, \(D_p H(x,Du)\) turns out to be bounded in \(L^p\) for some \(p > d+2\), which is the usual Aronson-Serrin condition yielding space-time Hölder continuity of m on the whole cylinder (see e.g. [41, Theorem III.10.1]). We can then use Theorem 1.1 to conclude that u in \(W^{2,1}_q(Q_T)\) for any \(q > d+2\). This immediately implies by the embeddings of \(W^{2,1}_q(Q_T)\) that u is bounded in \(C^{1+\delta ,\frac{1+\delta }{2}}(Q_T)\) for any \(\delta \in (0,1)\). Then, we can regard the Hamilton–Jacobi equation as a heat equation with a space-time Hölder continuous source, and by [41, Section IV.5.1] conclude that \(u_\varepsilon \) is bounded in \(C^{2+\delta ',\frac{1+\delta '}{2}}(Q_T)\) independently of \(\varepsilon \). One then goes back to the Fokker–Planck equation to deduce that m also enjoys \(C^{2+\delta ',\frac{1+\delta '}{2}}(Q_T)\) bounds. \(\square \)
Below we state and prove the crucial a priori estimate on solutions to (MFG).
Lemma 5.1
Let (u, m) be a classical solution to (MFG). Under the assumptions of Theorem 1.4, there exists a constant \(C>0\) such that
for some positive constant C (depending only on the data).
Proof
Step 1. First order estimates. These are standard (see e.g. [35, Proposition 6.6]), and easily obtained by testing the Hamilton–Jacobi equation with \(m-m_0\) and the Fokker–Planck equation with \(u-u_T\); using the standing assumptions on H and f one obtains
Step 2. Second order estimates. These are obtained by testing the Hamilton–Jacobi equation with \(\Delta m\) and the Fokker–Planck equation with \(\Delta u\):
On one hand, \(\iint \mathrm {Tr}(D^2_{pp}H(D^2 u)^2)m \ge \iint [C_H^{-1}(1+|Du|^2)^{\frac{\gamma -2}{2}}|D^2u|^2 -C_H]m\) by (H2), while on the other hand by Young and Cauchy–Schwarz inequality
therefore, back to (37), integrating by parts we obtain
Plugging in (36), using lower bounds on \(g'\) and the fact that \(u \ge \min u_T + \min H(\cdot ,0)\) by the comparison principle, we finally get
Step 3. Setting \(b(x,t) = -D_pH(x,Du(x,t))\), by the assumptions on H, (36) and (38) (recall also that \(|D_pH(x,p)| \ge c^{-1}|p|^{\gamma -1} - c\)), we have
and since m solves a Fokker–Planck equation with drift b, applying Lemma 5.2 with \(\mu =2\) if \(\gamma \le 2\) and \(\mu = \gamma \) if \(\gamma > 2\) yields
Therefore, using again (38), we have bounds on \(m^{\frac{r+1}{2}}\) in \(L^\infty (0,T;L^{\eta \frac{2}{r+1}}({{\mathbb {T}}^d})) \cap L^2(0,T;W^{1,2}({{\mathbb {T}}^d}))\), which, by parabolic interpolation [30, Proposition I.3.2] imply
Under our assumptions on r, the exponent q can be chosen large enough to apply Theorem 1.1, that yields the assertion. \(\square \)
The following lemma is needed to extract regularity information on m.
Lemma 5.2
Let m be a classical solution to
and assume that for \(\mu \ge 2\)
Then, there exists a constant C depending on K,\(\mu \) and d, such that
where \(p = \frac{d(\mu -1)}{d(\mu -1)-2}\) if \(d>2\), while \(p\in [1,\infty )\) if \(d \le 2\).
Proof
The estimate can be obtained by testing the equation against \(m^{p-1}\) and using parabolic interpolation (see [34, Theorem 4.1] for further details). We briefly sketch it here for completeness. Testing the equation and integrating by parts yields
We write
Therefore, applying generalized Holder’s inequality with exponents \((2,\mu ,\frac{2\mu }{\mu -2})\) we deduce
We then apply parabolic interpolation inequalities (see e.g. [30, Proposition I.3.1])
with \(z=m^{\frac{p}{2}}\), \(p=\frac{d(\mu -1)}{d(\mu -1)-2}\), so that \(\zeta =2\frac{\mu (p-1)+1}{p}\), to obtain
Then, using also Young’s inequality, the right-hand side of (39) can be controlled as follows:
If \(d > 2\), then \(\frac{2}{d(\mu -1)} < 1\) and we are done. If \(d \le 2\), the proof is somehow simpler, by different nature of Sobolev embeddings of \(W^{1,2}({{\mathbb {T}}^d})\); we refer to [36]. \(\square \)
5.2 The Nonmonotone (or Even Focusing) Case
Proof of Theorem 1.5
We detail only the derivation of the a priori estimates for smooth solutions to (MFG), i.e. the existence of a constant \(C>0\) (depending only on the data) such that
Since we fall in the maximal regularity regime for the Hamilton–Jacobi equation, the existence of a solution to the MFG system can then be derived as in Theorem 1.4.
We start from first order estimates as in Lemma 5.1, that now yield, using the assumptions on g,
To bound the two terms in the left hand side separately, a further step is needed. Recall a crucial Gagliardo-Nirenberg type inequality proven in [23, Proposition 2.5], that reads
for some \(C > 0\) and \(\delta > 1\), provided that \(r < \gamma ' / d\). Then, using this inequality, the assumptions on L and the fact that \(\int _{{\mathbb {T}}^d}m(t) = 1\) for all t,
Hence, back to (41), we get
Therefore, \(\Vert g(m)\Vert _{L^{\frac{r+1}{r}}(Q_T)} \le C_2\). Note that by the assumptions on r, \(q = \frac{r+1}{r}\) is large enough to apply Theorem 1.1, and (40) follows. \(\square \)
Notes
We denote here with \((X_0,X_1)_{\theta ,q}\) the standard real interpolation space between Banach spaces \(X_0, X_1\).
References
Amann, H.: Linear and Quasilinear Parabolic Problems. Vol. I, volume 89 of Monographs in Mathematics. Birkhäuser Boston, Inc., Boston (1995). Abstract linear theory
Amann, H., Crandall, M.G.: On some existence theorems for semi-linear elliptic equations. Indiana Univ. Math. J. 27(5), 779–790 (1978)
Ambrose, D.M.: Strong solutions for time-dependent mean field games with non-separable Hamiltonians. J. Math. Pures Appl. 9(113), 141–154 (2018)
Attouchi, A., Souplet, P.: Gradient blow-up rates and sharp gradient estimates for diffusive Hamilton–Jacobi equations. Calc. Var. Partial Differ. Equ. 59, 153 (2020)
Ben-Artzi, M., Souplet, P., Weissler, F.B.: The local theory for viscous Hamilton–Jacobi equations in Lebesgue spaces. J. Math. Pures Appl. (9) 81(4), 343–378 (2002)
Bensoussan, A., Breit, D., Frehse, J.: Parabolic Bellman-systems with mean field dependence. Appl. Math. Optim. 73(3), 419–432 (2016)
Bianchini, S., Colombo, M., Crippa, G., Spinolo, L.V.: Optimality of integrability estimates for advection-diffusion equations. Nonlinear Differ. Equ. Appl. (NoDEA) 24, Article Number 33 (2017)
Boccardo, L., Orsina, L., Porretta, A.: Some noncoercive parabolic equations with lower order terms in divergence form. J. Evol. Equ. 3(3), 407–418 (2003)
Bogachev, V.I., Krylov, N.V., Röckner, M., Shaposhnikov, S.V.: Fokker–Planck–Kolmogorov Equations. Mathematical Surveys and Monographs, vol. 207. American Mathematical Society, Providence (2015)
Brezis, H.: Functional Analysis. Sobolev Spaces and Partial Differential Equations. Universitext. Springer, New York (2011)
Cagnetti, F., Gomes, D., Mitake, H., Tran, H.V.: A new method for large time behavior of degenerate viscous Hamilton–Jacobi equations with convex Hamiltonians. Ann. Inst. H. Poincaré Anal. Non Linéaire 32(1), 183–200 (2015)
Cardaliaguet, P., Lasry, J.-M., Lions, P.-L., Porretta, A.: Long time average of mean field games. Netw. Heterog. Media 7(2), 279–301 (2012)
Cardaliaguet, P., Silvestre, L.: Hölder continuity to Hamilton–Jacobi equations with superquadratic growth in the gradient and unbounded right-hand side. Commun. Partial Differ. Equ. 37(9), 1668–1688 (2012)
Cardaliaguet, P., Graber, P.J., Porretta, A., Tonon, D.: Second order mean field games with degenerate diffusion and local coupling. Nonlinear Differ. Equ. Appl. (NoDEA) 22(5), 1287–1317 (2015)
Cesaroni, A., Cirant, M.: Concentration of ground states in stationary mean-field games systems. Anal. PDE 12(3), 737–787 (2019)
Cirant, M.: Stationary focusing mean-field games. Commun. Partial Differ. Equ. 41(8), 1324–1346 (2016)
Cirant, M.: On the existence of oscillating solutions in non-monotone mean-field games. J. Differ. Equ. 266(12), 8067–8093 (2019)
Cirant, M., Ghilli, D.: Existence and non-existence for time-dependent mean field games with strong aggregation. Math. Ann. (2021). https://doi.org/10.1007/s00208-021-02217-3
Cirant, M., Goffi, A.: On the existence and uniqueness of solutions to time-dependent fractional MFG. SIAM J. Math. Anal. 51(2), 913–954 (2019)
Cirant, M., Goffi, A.: Lipschitz regularity for viscous Hamilton–Jacobi equations with \(L^p\) terms. Ann. Inst. H. Poincaré Anal. Non Linéaire 37(4), 757–784 (2020)
Cirant, M., Goffi, A.: On the problem of maximal \(L^q\)-regularity for viscous Hamilton-Jacobi equations. Arch. Ration. Mech. Anal. 240(3), 1521–1534 (2021)
Cirant, M., Porretta, A.: Long time behaviour and turnpike solutions in mildly non-monotone mean field games. ESAIM Control Optim. Calc. Var. 27, 86 (2021)
Cirant, M., Tonon, D.: Time-dependent focusing mean-field games: the sub-critical case. J. Dyn. Differ. Equ. 31(1), 49–79 (2019)
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., Gomes, D., Pimentel, E., Sánchez-Morgado, H.: On some singular mean-field games. J. Dyn. Games (2021). https://doi.org/10.3934/jdg.2021006
Crandall, M.G., Kocan, M., Świech, A.: \(L^p\)-theory for fully nonlinear uniformly parabolic equations. Commun. Partial Differ. Equ. 25(11–12), 1997–2053 (2000)
Dall’Aglio, A., Giachetti, D., Leone, C., Segura de León, S.: Quasi-linear parabolic equations with degenerate coercivity having a quadratic gradient term. Ann. Inst. H. Poincaré Anal. Non Linéaire 23(1), 97–126 (2006)
Dautray, R., Lions, J.-L.: Mathematical Analysis and Numerical Methods for Science and Technology, vol. 5. Springer, Berlin (1992). Evolution problems. I, With the collaboration of Artola, M., Cessenat, M., Lanchon, H., Translated from the French by A. Craig
Denk, R., Hieber, M., Prüss, J.: \({\cal{R}}\)-boundedness, Fourier multipliers and problems of elliptic and parabolic type. Mem. Am. Math. Soc. 166(788), viii+114 (2003)
DiBenedetto, E.: Degenerate Parabolic Equations. Universitext. Springer, New York (1993)
Evans, L.C.: Further PDE methods for weak KAM theory. Calc. Var. Partial Differ. Equ. 35(4), 435–462 (2009)
Evans, L.C.: Adjoint and compensated compactness methods for Hamilton–Jacobi PDE. Arch. Ration. Mech. Anal. 197(3), 1053–1088 (2010)
Ferone, V., Posteraro, M.R., Rakotoson, J.M.: Nonlinear parabolic problems with critical growth and unbounded data. Indiana Univ. Math. J. 50(3), 1201–1215 (2001)
Gomes, D.A., Pimentel, E.A., Sánchez-Morgado, H.: Time-dependent mean-field games in the subquadratic case. Commun. Partial Differ. Equ. 40(1), 40–76 (2015)
Gomes, D.A., Pimentel, E.A., Voskanyan, V.: Regularity Theory for Mean-Field Game Systems. Springer Briefs in Mathematics. Springer, Cham (2016)
Gomes, E.A., Pimentel, D.A., Sánchez-Morgado, H.: Time-dependent mean-field games in the superquadratic case. ESAIM Control Optim. Calc. Var. 22(2), 562–580 (2016)
Hajaiej, H., Molinet, L., Ozawa, T., Wang., B.: Necessary and sufficient conditions for the fractional Gagliardo–Nirenberg inequalities and applications to Navier–Stokes and generalized boson equations. In: Harmonic Analysis and Nonlinear Partial Differential Equations. RIMS Kôkyûroku Bessatsu, B26, pp. 159–175. Res. Inst. Math. Sci. (RIMS), Kyoto (2011)
Hieber, M., Prüss, J.: Heat kernels and maximal \(L^p\)-\(L^q\) estimates for parabolic evolution equations. Commun. Partial Differ. Equ. 22(9–10), 1647–1669 (1997)
Krylov, N.V.: An analytic approach to SPDEs. In: Stochastic Partial Differential Equations: Six Perspectives, vol. 64. Math. Surveys Monographs, pp. 185–242. American Mathematical Society, Providence (1999)
Krylov, N.V.: Some properties of traces for stochastic and deterministic parabolic weighted Sobolev spaces. J. Funct. Anal. 183(1), 1–41 (2001)
Ladyzenskaja, O.A., Solonnikov, V.A., Ural’tseva, 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 (1968)
Lamberton, D.: Équations d’évolution linéaires associées à des semi-groupes de contractions dans les espaces \(L^p\). J. Funct. Anal. 72(2), 252–262 (1987)
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)
Leoni, G.: A First Course in Sobolev Spaces. Graduate Studies in Mathematics, vol. 181. American Mathematical Society, Providence (2017)
Lions, P.-L.: Recorded video of Séminaire de Mathématiques appliquées at Collége de France. https://www.college-de-france.fr/site/pierre-louis-lions/seminar-2014-11-14-11h15.htm. Accessed 14 Nov 2014
Lions, P.-L.: On Mean Field Games. In: Seminar at the Conference “Topics in Elliptic and Parabolic PDEs”, Napoli, 11–12 September 2014
Lunardi, A.: Interpolation Theory. Appunti, vol. 16. Scuola Normale Superiore di Pisa (Nuova Serie). Lecture Notes. Scuola Normale Superiore di Pisa (New Series)]. Edizioni della Normale, Pisa (2018)
Magliocca, M.: Existence results for a Cauchy–Dirichlet parabolic problem with a repulsive gradient term. Nonlinear Anal. 166, 102–143 (2018)
Marino, M., Maugeri, A.: Differentiability of weak solutions of nonlinear parabolic systems with quadratic growth. Matematiche (Catania) 50(2), 361–377 (1996)
Maugeri, A., Palagachev, D.K., Softova, L.G.: Elliptic and Parabolic Equations with Discontinuous Coefficients. Mathematical Research, vol. 109. Wiley-VCH Verlag, Berlin GmbH, Berlin (2000)
Metafune, G., Pallara, D., Rhandi, A.: Global properties of transition probabilities of singular diffusions. Teor. Veroyatn. Primen. 54(1), 116–148 (2009)
Miranda, C.: Su alcuni teoremi di inclusione. Ann. Polonici Math. 16, 305–315 (1965)
Mitake, H., Tran, H.V.: Dynamical properties of Hamilton–Jacobi equations via the nonlinear adjoint method: large time behavior and discounted approximation. In: Dynamical and Geometric Aspects of Hamilton–Jacobi and Linearized Monge–Ampère equations–VIASM 2016. Lecture Notes in Mathematics, vol. 2183, pp. 125–228. Springer, Cham (2017)
Nikol’skii, S.M.: Approximation of Functions of Several Variables and Imbedding Theorems. Springer, New York (1975). Translated from the Russian by J.M. Danskin, Jr., Die Grundlehren der Mathematischen Wissenschaften, Band 205
Nirenberg, L.: On elliptic partial differential equations. Ann. Scuola Norm. Sup. Pisa Cl. Sci. 3(13), 115–162 (1959)
Nirenberg, L.: An extended interpolation inequality. Ann. Scuola Norm. Sup. Pisa Cl. Sci. 3(20), 733–737 (1966)
Orsina, L., Porzio, M.M.: \(L^\infty (Q)\)-estimate and existence of solutions for some nonlinear parabolic equations. Boll. Un. Mat. Ital. B (7) 6(3), 631–647 (1992)
Porretta, A.: Weak solutions to Fokker–Planck equations and mean field games. Arch. Ration. Mech. Anal. 216(1), 1–62 (2015)
Prüss, J., Simonett, G.: Moving Interfaces and Quasilinear Parabolic Evolution Equations. Monographs in Mathematics, vol. 105. Birkhäuser/Springer, Cham (2016)
Prüss, J., Schnaubelt, R.: Solvability and maximal regularity of parabolic evolution equations with coefficients continuous in time. J. Math. Anal. Appl. 256(2), 405–430 (2001)
Schmeisser, H.-J., Triebel, H.: Topics in Fourier Analysis and Function Spaces. A Wiley-Interscience Publication. Wiley, Chichester (1987)
Softova, L.G.: Quasilinear parabolic operators with discontinuous ingredients. Nonlinear Anal. 52(4), 1079–1093 (2003)
Softova, L.G., Weidemaier, P.: Quasilinear parabolic problem in spaces of maximal regularity. J. Nonlinear Convex Anal. 7(3), 529–540 (2006)
Stein, E.M.: Singular Integrals and Differentiability Properties of Functions. Princeton Mathematical Series, No. 30. Princeton University Press, Princeton (1970)
Stokols, L.F., Vasseur, A.F.: De Giorgi techniques applied to Hamilton–Jacobi equations with unbounded right-hand side. Commun. Math. Sci. 16(6), 1465–1487 (2018)
Taibleson, M.H.: On the theory of Lipschitz spaces of distributions on Euclidean \(n\)-space. I. Principal properties. J. Math. Mech. 13, 407–479 (1964)
Taylor, M.E.: Partial Differential Equations III. Nonlinear Equations. Applied Mathematical Sciences, vol. 117, 2nd edn. Springer, New York (2011)
Tran, H.V.: Adjoint methods for static Hamilton–Jacobi equations. Calc. Var. Partial Differ. Equ. 41(3–4), 301–319 (2011)
Triebel, H.: Theory of Function Spaces. II. Monographs in Mathematics, vol. 84. Birkhäuser Verlag, Basel (1992)
Triebel, H.: Interpolation Theory, Function Spaces, Differential Operators, second Johann Ambrosius Barth, Heidelberg (1995)
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). This work has been partially supported by the Fondazione CaRiPaRo Project “Nonlinear Partial Differential Equations: Asymptotic Problems and Mean-Field Games”. The authors wish to thank Prof. Alessandra Lunardi for discussions about Lemma A.1.
Open Access
This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
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
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendix A: Some Embedding Theorems
Appendix A: Some Embedding Theorems
Lemma A.1
For \(p > 1\), the space \({\mathcal {H}}_p^1(Q_T)\) is continuously embedded into \(C([0,T];W^{1-2/p,p}({{\mathbb {T}}^d}))\), and \(W^{2,1}_p(Q_T)\) is continuously embedded into \(C([0,T];W^{2-2/p,p}({{\mathbb {T}}^d}))\).
Proof
We consider the embedding of \({\mathcal {H}}_p^1\) only (the other can be obtained similarly). Recall that the case \(p=2\) is classical (see e.g. [28, Theorem XVIII.2.1]). The general statement \(p\ne 2\) can be proven via abstract methods for evolution problems, see [1, 61]. We provide a short proof for reader’s convenience. First, \(u\in {\mathcal {H}}_p^1(Q_T)\) can be extended to a \(v \in {\mathcal {H}}_p^1({{\mathbb {T}}^d}\times (0,\infty ))\) in the usual way: let \(u(t) = u(T)\) for all \(t \ge T\), and set \(v(t)=\zeta (t)u(t)\), where \(\zeta \) is a smooth function in \((0,\infty )\) which vanishes for \(t\ge T+1\) and is identically one for \(t\in [0,T]\). Then, since \({\mathcal {H}}_p^1({{\mathbb {T}}^d}\times (0,+\infty )) \simeq W^{1,p}(0,+\infty ; (W^{1,p'}({{\mathbb {T}}^d}))^{'})\cap L^p(0,+\infty ;W^{1,p}({{\mathbb {T}}^d}))\), apply [48, Corollary 1.14] to obtain that
One then concludes by means of the Reiteration Theorem [48, Theorem 1.23] (see also [45]) that
which gives the statement. \(\square \)
Proposition A.2
For \(p > 1\), the parabolic space \({\mathcal {H}}_p^{1}(Q_T)\) continuously embedded into \(L^{\delta }(0,T;W^{\alpha ,\delta }({{\mathbb {T}}^d}))\), where \(\delta > p\) and
Proof
We adapt a strategy presented in [39, 40] (see also [19] for the Bessel potential spaces setting). Let \(\theta =p/\delta \in (0,1)\) and \(\nu =(1-2/p)(1-\theta )+\theta \). We now use the (real) interpolation in the Sobolev–Slobodeckii scale to observe that \(W^{\nu ,p}({{\mathbb {T}}^d})\) can be obtained by interpolation between \(W^{1,p}({{\mathbb {T}}^d})\) and \(W^{1- 2/p,p}({{\mathbb {T}}^d})\) (see [71, Theorem 2.4.2 p. 186 and eq. (16)]). Moreover, \(W^{\nu ,p}({{\mathbb {T}}^d})\) is continuously embedded into \(W^{\nu +d/\delta -d/p,\delta }({{\mathbb {T}}^d})\), see [62]. Hence, for a.e. t,
Then, \(\alpha = \nu -\frac{d}{p}+\frac{d}{\delta } = 1+\frac{d}{\delta }-\frac{d+2(1-\theta )}{p}\) and
Recalling now that \(\theta =p/\delta \in (0,1)\) we obtain
\(\square \)
Lemma A.3
For \(0< \alpha < 1\) and \(1\le p<\infty \), \(W^{\alpha ,p}({{\mathbb {T}}^d})\) is continuously embedded into \(N^{\alpha ,p}({{\mathbb {T}}^d})\).
Proof
We just need to localize analogous results on \({\mathbb {R}}^d\), which go back to [67, Lemma 9 p. 441], see also [65, Proposition 10-(b) Section 5.2] and [45, Theorem 17.38] for a proof via real interpolation methods. Let \(\chi \) be a compactly supported cut-off function such that \(\chi \equiv 1\) on the unit cube \([-2,2]^d\). It is immediate to see that the extension operator is bounded
for all nonnegative integers \(k\ge 0\) and \(p\ge 1\), so it is bounded from \(W^{\alpha ,p}({{\mathbb {T}}^d})\) to \(W^{\alpha ,p}({\mathbb {R}}^d)\) by interpolation. Then,
where the second inequality relies on the aforementioned embedding \(W^{\alpha ,p}({\mathbb {R}}^d) \hookrightarrow N^{\alpha ,p}({\mathbb {R}}^d)\simeq B_{p\infty }^\alpha ({\mathbb {R}}^d)\). \(\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., Goffi, A. Maximal \(L^q\)-Regularity for Parabolic Hamilton–Jacobi Equations and Applications to Mean Field Games. Ann. PDE 7, 19 (2021). https://doi.org/10.1007/s40818-021-00109-y
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s40818-021-00109-y
Keywords
- Maximal \(L^q\)-regularity
- Hölder regularity
- Hamilton–Jacobi equations with unbounded right-hand side
- Kardar–Parisi–Zhang equation
- Riccati equation
- Adjoint method
- Mean-Field Games