Abstract
We establish a priori Lipschitz estimates for equations with mixed local and nonlocal diffusion, coercive gradient terms and unbounded righthand side in Lebesgue spaces through an integral refinement of the Bernstein method. This relies on a nonlinear, nonlocal and variational version of the Bochner identity that involves the adjoint equation of the linearization of the initial problem.
1 Introduction
The Bernstein method [7] is nowadays a classical technique to obtain gradient estimates for second order elliptic equations [26]. The core idea behind this approach is extremely simple and relies on the so called Bochner identity for the Laplacian on the Euclidean space \(\mathbb {R}^N\)
This in particular shows that if u is a solution to an elliptic/parabolic equation on some domain of the Euclidean space, then \(w=\nabla u^2\) is a subsolution to an elliptic/parabolic equation. As a consequence, the gradient bound follows from the maximum principle, whenever one knows a priori that \(\nabla u\) is bounded on the boundary of the domain, which is typically a consequence of the existence of barrierlike functions, cf [26]. This nonvariational technique to obtain global (and even local) bounds based on the maximum principle has been fruitfully extended to many nonlinear PDEs, such as quasilinear elliptic equations [26], fully nonlinear second order equations [12], semilinear equations (with superlinear gradient growth), even driven by the pLaplacian, see e.g. [33, 40] and the more recent work [37], integrodifferential problems, both linear and (fully) nonlinear, see [11]. This approach is also the cornerstone to deduce quite different qualitative and quantitative properties for elliptic and parabolic equations, such as differential Harnack estimates and Liouville theorems, see [24, 34, 35].
One of the main drawbacks of the standard Bernstein method relies on the regularity requirements necessary to carry out the computations. Since third derivatives appear in the Bochner identity, u needs to be smooth enough (e.g. of class \(C^3\)), and hence only a priori estimates can be derived. Then one has to find a suitable regularization/approximation of the equation having smooth enough solutions to really obtain the regularity estimate after passing to the limit, see e.g. [18, Remark 3], or instead work at the level of difference quotients starting with suitable weak solutions, cf [16].
This difficulty was partially circumvented through the introduction of the socalled weak Bernstein method introduced by Barles [2, 3] in the realm of fully nonlinear equations, which consists in shifting the attention, after a change of variable, to the maximum of the function
\(\Omega \) being the state space. The idea is to prove that if it is achieved when \(x=y\) for L large enough, then \(\nabla u\le L\). The previous idea basically corresponds to look at the equation satisfied by \(\nabla u^2\), and the structure conditions are similar to those required to run the classical Bernstein argument for nonlinear elliptic equations. There are, among others, three peculiar features of this method: it does not require regular solutions (in particular it applies to viscosity solutions), it does not need strong ellipticity, being applicable to problems with fractional or degenerate diffusion [5, 13], and it allows to treat gradient terms with arbitrary growth. Nonetheless, it still requires \(f\in W^{1,\infty }\), as in the standard Bernstein argument.
Another approach in the framework of viscosity solutions based again on a slightly different doubling variables method has been introduced by Ishii and Lions [31] to obtain \(C^{\alpha }\), \(0<\alpha \le 1\), estimates: this method takes advantage of the ellipticity of the diffusion to control the coercivity of the gradient term, being particularly designed for problems with firstorder terms below the natural growth and Hölder or bounded coefficients, cf Assumption (3.16) in [31], see e.g. [4, 32] and also [22, 36, 38] for further developments. A general reference discussing both these procedures to get gradient bounds in the context of viscosity solutions is the paper by Barles and Souganidis [6].
Viscosity solutions’ techniques have been refined for the application to problems with superquadratic gradient growth in [13]. Nevertheless, both these methods have a drawback in terms of the regularity of the data. Being based on the notion of viscosity solution, they rely on the maximum principle and they require at least continuous or Lipschitz data. Albeit the notion of viscosity solution admits variants that allow to encompass discontinuous Hamiltonians with merely summable data (at least when dealing with local terms), no technique seems available to derive gradient bounds for problems with fractional diffusion, strongly coercive gradient terms (especially in the supernatural regime) and data in \(L^q\).
To this aim, different methods have been explored when the equation has “ingredients” belonging to Lebesgue spaces. Such techniques, usually named integral Bernstein methods, are again based on delicate integral refinements of the Bochner identity and started with the work by Lions [34]. Equivalently, they can be formulated at the level of the variational formulation of the equation, choosing a pLaplacian of suitable order as a test function. These integral approaches have been extended more recently in [18] (see also the references therein), in the study of nonlinear Calderón–Zygmund estimates for elliptic problems with superlinear gradient terms. They have been used even in connection with pLaplacian problems without the presence of firstorder terms [14, 37]. Most of these integral techniques for nonlinear equations with powergrowth terms have in common the use of the socalled Bakry–Émery curvature dimensional inequality [1], that in \(\mathbb {R}^N\) reads as
and it is a consequence of the Cauchy–Schwarz inequality, cf [24, Definition 20.7]. This inequality is, among others, a powerful tool to obtain logarithmic gradient estimates for positive harmonic functions, and hence the Harnack inequality. In the nonlinear setting, it is crucial to handle nonlinearities with superlinear gradient growth, at least for elliptic problems. Indeed, if u solves \(\Delta u+\nabla u^\gamma =f(x)\), \(\gamma >1\), then (1) combined with the algebraic inequality \((ab)^2\ge \frac{a^2}{2}2b^2\), \(a,b\in \mathbb {R}\), imply
which allows to gain an additional degree of coercivity respect to \(\nabla u^2\) through the term \(\nabla u^{2\gamma }\) and conclude the gradient bound. This crucial and deep step has (once more) a drawback: it does not apply neither to equations involving fractional operators (even in the stationary case) nor to evolution equations with timedependent source terms belonging to Lebesgue spaces. Indeed, as for the latter, if u solves \(\partial _t u\Delta u+\nabla u^\gamma =f(x,t)\), then (1) implies the presence of a term involving a timederivative term that can be absorbed only when one knows a priori that \(\partial _tu \ge C\). For instance, this is the case when \(f=f(x)\) or even when \(\partial _tf(x,t)\) is essentially bounded or at least belongs to some Lebesgue space.
The case of the presence of a fractional diffusion is even worse. In this setting the fractional Bochner identity, cf [20, equation (2.10)], replaces \(D^2u^2\) with the nonlocal term
which however does not allow to deduce a fractional version of (1). Actually, whether an inequality like (1) (for a possibly different constant) holds for the fractional Laplacian was raised in [24, equation (20.14)], and recently answered negatively in [41], showing thus that some new technique with respect to the “classical” integral Bernstein approach is needed to obtain gradient bounds for fractional equations with merely integrable data.
The aim of this note is thus to propose a new Bernsteintype argument to prove Lipschitz estimates that avoids the use of (1), namely the gain of (additional) coercivity by plugging the equation, to deduce gradient bounds in the aforementioned “negative” situations, i.e. when the equation is parabolic and/or it presents a nonlocal diffusive term with also unbounded terms in Lebesgue spaces. This would imply existence and uniqueness of solutions as a byproduct through the contraction mapping principle combined with a continuation argument, see [15].
We will focus on the Cauchy problem (for simplicity posed on the Ndimensional flat torus)
where \({\mathcal {L}}\) is a diffusion operator defined by
when \(\varepsilon ,\mu >0\). Such mixed diffusive operators have received an increasing attention during the last years, see e.g. the series of works by Biagi–Dipierro–Valdinoci–Vecchi [8, 9] and the recent one by De Filippis–Mingione [21]. The achievement of \(L^\infty \) gradient bounds will rely heavily on the analysis of the regularity of solutions to the dual equation of the linearization of (2), and it is largely inspired by a method introduced by Evans [23] to study gradient shock structures of firstorder Hamilton–Jacobi equations with nonconvex Hamiltonians. Here, we consider
where \(H_p\) stands for the derivative of H with respect to the second entry and
We emphasize that such an approach has been recently implemented for viscous Hamilton–Jacobi equations with coercive gradient terms in [16], from which we borrow most of the ideas used in this note. In particular, we exploit the regularizing effect of both the local and the firstorder term, and hence the method can be considered of nonperturbative type, whilst the nonlocal one acts only as a perturbation. The main idea to derive the gradient bound will be based on a variational nonlocal version of a (nonlinear) Bochner identity. Indeed, if u solves (2), straightforward computations lead to the following identity satisfied by \(w=\frac{1}{2}\nabla u^2\):
where K is the kernel of the fractional Laplacian on the torus, cf [39]. Then, the central point is to test the previous identity for w against the function \(\rho \) solving the dual problem (3), see Lemma 6.1, and handle all the integral terms through a delicate interplay between integrability estimates for transport equations, Sobolev and Young’s inequalities. Similar duality methods were previously used in various contexts for local problems, see e.g. [29, 42], and even to deduce semiconcavity and Lipschitz bounds for equations with mixed diffusion and regular data in [15] in the context of parabolic fractional Mean Field Games. This procedure applies, with suitable modifications, even to stationary problems of the form
through the study of the regularity properties of its dual counterpart
see e.g. [27]. Moreover, the technique of the present paper applies with few modifications to problems driven by the more general localnonlocal operator
under suitable regularity assumptions on the coefficients, and even to equations with more general integrodifferential operators for which a duality theory holds, cf [25]. We emphasize once more that, though one expects the same results of the case of a local diffusion, being the dominating part of the diffusive term, obtaining a gradient estimate through the standard methods, such as the Bernstein one, is by no means immediate even for the stationary problem involving the mixed operator.
We mention that refinements of the Bernstein technique in the nonlocal setting have been proposed quite recently in the manuscript [11], which develops the Bernstein method for integrodifferential equations (even fully nonlinear) without lowerorder terms, and also in [19, 20] to study gradient bounds for solutions to some different nonlocal models. A recent study that provides oscillation estimates through viscosity solutions’ methods can be found in [36]. Nonetheless, we believe that such formulations do not allow to treat problems with powergrowth nonlinearities and \(L^q\) data as those appearing in the PDEs of the present paper, being of nonvariational nature. We also mention the possible application of our techniques to study regularity properties for some nonlocal problems, where a gradient nonlinearity with polynomial growth appears, such as those arising in combustion theory [30] driven by the operator \(\Delta (\Delta )^s\), that will be the matter of future research.
Plan of the paper. Section 2 is devoted to state the assumptions and the main results of the paper. Section 3 provides some preliminary algebraic identities to implement the Bernstein argument. Section 4 concerns regularity properties of transport diffusion equations with general velocity field b driven by the mixed operator \(\Delta +(\Delta )^s\). Section 5 contains some estimates for solutions to (4) via the results in Sect. 4. Section 6 is devoted to the proof of the main result.
2 Main result
Throughout this manuscript, the state space will be \({\mathbb {T}}^N\), the Ndimensional flat torus. We denote by \(L^p({\mathbb {T}}^N)\) the space of all measurable and periodic functions on \(\mathbb {R}^N\) belonging to \(L^p_{\textrm{loc}}(\mathbb {R}^N)\), endowed with the norm \(\Vert \cdot \Vert _p=\Vert \cdot \Vert _{L^p((0,1)^N)}\). For positive \(\mu \in \mathbb {R}\), \(W^{\mu ,p}({\mathbb {T}}^N)\) is the standard fractional Sobolev space of functions on the flat torus, while \(H_p^\mu ({\mathbb {T}}^N)\) denotes the Bessel potential space, i.e. the space of distributions u such that \((I\Delta )^\frac{\mu }{2}u\in L^p({\mathbb {T}}^N)\). For any time interval \((0,t) \subseteq \mathbb {R}\), let \(Q_{t}:={\mathbb {T}}^N\times (0, t)\). For any \(p\ge 1\), we denote by \(W^{2,1}_p(Q_t)\) the space of functions u such that \(\partial _t^{r}D^{\beta }_xu\in L^p(Q)\) for all multiindices \(\beta \) and r such that \(\beta +2r\le 2\), endowed with the norm
Similarly, the space \(W^{1,0}_p(Q_t)\) is equipped with the norm
We define the space \({\mathcal {H}}_p^{1}(Q_t)\) as the space of functions \(u\in W^{1,0}_p(Q_t)\) with \(\partial _tu\in (W^{1,0}_{p'}(Q))'\) and norm
We consider the following Cauchy problem
Here, without loss of generality, we suppose \(\varepsilon ,\mu =1\) and consider the diffusion operator
We will also denote by \(H_x\) and \(H_p\) the derivatives of H with respect to the first and second entry respectively. Moreover, we assume that \(H\in C^1({\mathbb {T}}^N\times \mathbb {R}^N)\) is convex and satisfies
and f will be some source term controlled in some spacetime Lebesgue class \(L^q(Q_T)\), for some suitable \(q>1\). Our main result shows the preservation of the Lipschitz regularity in the equation via a quantitative bound.
Theorem 2.1
Suppose that

(i)
\(s\in (0,1)\);

(ii)
\(H\in C^1({\mathbb {T}}^N\times \mathbb {R}^N)\) and satisfies (H);

(iii)
\(f\in C^1(Q_T)\);

(iv)
\(u_0\in W^{1,\infty }({\mathbb {T}}^N)\).
Let
Then, there exists a constant C depending on \(q,N,T,s,\gamma ,C_H,\Vert u_0\Vert _{W^{1,\infty }({\mathbb {T}}^N)},\Vert f\Vert _{L^q(Q_T)}\) such that every smooth solution to (4) satisfies
Let us stress that, though we require \(f\in C^1(Q_T)\), the gradient bound depends only on the summability of \(f\in L^q_{x,t}\), so it can be regarded as an a priori estimate. In particular, one can avoid to impose \(f\in C^1(Q_T)\) implementing a scheme for strong solutions belonging to \(W^{2,1}_q(Q_T)=\{\partial _t u,u,\nabla u,D^2u\in L^q(Q_T)\}\): this can be done using a test function argument as detailed in Remark 6.2, cf [18], or using a procedure through difference quotients [16], which in a sense avoids the differentiation of the equation. It is worth remarking that when the source term is essentially bounded, i.e. \(f\in L^\infty (Q_T)\), the condition on the summability (5) holds, and the results appear to be new even in this framework. Indeed, as already discussed, Lipschitz bounds from the theory of viscosity solutions require the righthand side of the equation to be at least continuous and timeindependent or even more regular (e.g. Lipschitz), so that an estimate on \(\partial _t u\) readily follows by the maximum principle. We finally emphasize that a regularity estimate starting from a continuous initial datum and suitable weak solutions can be obtained working at the level of difference quotients, as already done first in [16] for Lipschitz regularity and then in [17, 28] for Hölder regularization properties.
We conclude by saying that this nonlinear duality method readily leads to a new proof of the gradient bound for strong solutions to an equation without the local diffusion term (i.e. with \(\varepsilon =0\)) when one imposes \(f\in L^\infty (0,T;W^{1,\infty }({\mathbb {T}}^N))\), which is a classical assumption in the theory of viscosity solutions. This provides an alternative method of proof of the gradient bounds in [5, Section 3] (although in a stronger framework than the viscosity one and for viscous problems). Still, even when \(f\in L^q(0,T;W^{1,q}({\mathbb {T}}^N))\) the results would be new, as the assumptions on the righthand side can be considered as intermediate between those typically assumed to implement the weak Bernstein argument and the IshiiLions method, see Remark 6.3.
3 Preliminary results
For \(s\in (0,1)\) and \(u\in C^\infty ({\mathbb {T}}^N)\) we recall that the following pointwise identity holds (cf [39])
where
and \(c_{N,s}\) is a normalizing positive constant depending on N, s, see [39] for the definition. The main result needed to implement our Bernsteintype estimate is the following:
Proposition 3.1
If u is a smooth solution to (4), then the evolution of \(w=\frac{1}{2}\nabla u(x,t)^2\) is described by the equation
equipped with the initial condition \(w(x,0)=\frac{1}{2}\nabla u(x,0)^2\), where \(\Omega ={\mathbb {T}}^N\) or \(\mathbb {R}^N\) and \(D^2u(x,t)^2=\sum _{i,j=1}^N(\partial _{x_ix_j}u)^2\).
Before proving this, we need the following Bochner (pointwise) identity for the mixed localnonlocal operator \(\Delta +(\Delta )^s\). This extends an identity already pointed out in [20, equation (2.10)].
Lemma 3.2
Let \(w(x,t)=\frac{1}{2}\nabla u(x,t)^2\). Then w satisfies the identity
where \(\Omega ={\mathbb {T}}^N\) or \(\mathbb {R}^N\).
Proof
Standard algebraic computations give
so, summing over j we have
Moreover, from [19, Proposition 2.1] or [24, Lemma 20.2] for a sufficiently smooth function v, we have
Applying the above identity to any directional derivative \(v=\partial _e u\), we get the conclusion after summing the obtained expressions.
Proof of Proposition 3.1
It is enough to differentiate (4) with respect to \(x_j\), multiply the resulting equation by \(\partial _{x_j}u\), taking the sums for \(j=1,...,N\) and finally use (7).
We end this section with a maximal \(L^q\)regularity property for the heat equation with mixed diffusion.
Lemma 3.3
Let \(q>1\), \(V\in L^q(Q_T)\) and \(w_0\in W^{2\frac{2}{q},q}(Q_T)\). Then, there exists a unique strong solution \(w\in W^{2,1}_q(Q_T)\) of the evolution problem
Moreover, the following estimate holds
where C depends on s, T, q, N and remains bounded for bounded values of T.
Proof
We use a contraction mapping argument on the space \({\mathcal {C}}:=\{u\in W^{2,1}_q(Q_T):u(0)=u_0\}\), following [25, Theorem 3.7]. For fixed \(z\in W^{2,1}_q(Q_T)\), we consider the map \(\Psi \) that sends z into the solution of the problem
Applying interpolation inequalities, see e.g. [15, Lemma 2.4], we have for \(\delta >0\)
where \(C(\delta )\) grows as \(\delta \rightarrow 0\). We now write
and get by the Hölder’s inequality
Applying maximal \(L^q\)regularity for the heat equation with frozen righthand side we get
and then one finds that \(\Psi \) is a contraction on \({\mathcal {C}}\), as done in [25], by taking first \(\delta \) small and then \(T\le T_0\) small enough. Applying the same procedure a finite number of steps, one proves the result for any fixed T.
4 A priori estimates for general transport equations with mixed local and nonlocal diffusion
In this section we focus on the following backward problem driven by a general vector field \(b=b(x,t)\)
We will also assume that \(\rho _\tau \in C^\infty ({\mathbb {T}}^N)\), \(\rho _\tau \ge 0\) and \(\Vert \rho _\tau \Vert _{L^1({\mathbb {T}}^N)}=1\). We mainly describe the a priori estimates needed to run our Bernstein argument, without discussing the existence and uniqueness of (weak) solutions to such problem, which however is wellknown due to the presence of the heat operator, even when b belongs to the AronsonSerrin interpolated condition \(b\in L^r_t(L^z_x)\), \(\frac{N}{2r}+\frac{1}{z}\le \frac{1}{2}\), see e.g. [25, Remark 3.7]. Thus, from now on, we will consider classical solutions, even though the argument can be made rigorous for weak energy solutions [16].
The next is a maximal regularity estimate for solutions to (8) in Lebesgue spaces obtained in terms of terminal data belonging to \(L^1({\mathbb {T}}^N)\).
Proposition 4.1
Let \(\rho \) be the nonnegative solution to (8) and let
Then there exists \(C>0\) depending on \(\sigma ',N,s,T\) such that
Proof
The proof can be done following either the duality arguments in [16, Proposition 2.4] or regarding the problem (8) as
and then using maximal regularity properties for the linear evolution equation \(\partial _t\rho \Delta \rho +(\Delta )^s \rho =V(x,t)\in L^q_{x,t}\) as in [28], together with the embeddings of (trace) fractional Sobolev spaces. Maximal regularity for the heat equation with mixed diffusion in Lebesgue spaces holds by Lemma 3.3.
As a consequence, we have the following
Corollary 4.2
Let \(\rho \) be the nonnegative solution to (8) and let
Then there exists \(C>0\) depending on \(\sigma ',N,s,T\) such that
where
Proof
The proof is a consequence of the application of the Young’s inequality in the estimate of Proposition 4.1, and it is essentially the same of [16, Proposition 2.5], so we omit it.\(\square \)
5 A priori estimates for the Hamilton–Jacobi equation by duality and some consequences
The main goal of this section is to analyze the following transport equation
for \(\tau \in (0,T)\), \(\rho _\tau \in C^\infty ({\mathbb {T}}^N)\), \(\rho _\tau \ge 0\) and \(\Vert \rho _\tau \Vert _{L^1({\mathbb {T}}^N)}=1\). Note that by the standing assumptions, \(\rho \) is a.e. nonnegative on the cylinder. Notice also that it is the adjoint equation of the linearization of (4). From now on, we denote by \(L:{\mathbb {T}}^N\times \mathbb {R}^N\rightarrow \mathbb {R}\) the Legendre transform of H with respect to the second entry, i.e.
By the convexity of \(H(x,\cdot )\) it follows that
and
We further recall the following properties of the Lagrangian function L valid for all \(\nu \in \mathbb {R}^N\):
Theorem 5.1
Let \(u,\rho \) be classical solutions to (4) and (9) respectively, and assume
Then, there exists \(C>0\) and \(\theta \in (0,1)\) such that
where C depends on \(C_H,s,q,d,T,\Vert u_0\Vert _{C({\mathbb {T}}^N)},\Vert f\Vert _{L^q(Q_T)}\).
Parabolic Sobolev embeddings of \({\mathcal {H}}_q^1(Q_T)\) into \(L^{s}(Q_T)\) for \(s>1\) satisfying \(\frac{1}{s}=\frac{1}{q'}\frac{1}{N+2}\) (cf. [16, Appendix A]) imply the following result:
Corollary 5.2
Under the assumptions of Theorem 5.1, there exists a constant \(C>0\) independent of u such that
The proof of Theorem 5.1 follows the main line of [16, Section 3.1]. We first recall the following crucial representation formula, that easily follows by multiplying (4) by \(\rho \) and (9) by u:
Proposition 5.3
Let u be a solution to (4) and \(\rho \) be a solution to (9). Then the following identity holds
With the aid of Proposition 5.3 we first prove the following supnorm estimate for solutions to (4). This slightly extends [16, Proposition 3.7] and [28, Theorem 2.3] to problems with mixed diffusion.
Proposition 5.4
Let \(f\in L^q(Q_T)\), \(q>\frac{N+2}{2}\). Any solution to (4) satisfies
where C depends on \(T,N,q,s,\Vert f\Vert _{L^q(Q_T)}\).
Proof
We first prove that
Consider the strong nonnegative solution of the following problem
where \(\mu _\tau \in C^\infty \), \(\mu _\tau \ge 0\) and \(\Vert \mu _\tau \Vert _1=1\). By Corollary 4.2 with \(b\equiv 0\) and Sobolev embeddings, we have \(\Vert \mu \Vert _{L^{q'}}\le C\), \(q'<\frac{N+2}{N}\). Using \(\mu \) as a test function in (4), one obtains
Then, the upper bound on u follows by duality using the Hölder’s inequality on the first and third integral, the fact that \(\Vert \mu (t)\Vert _1=1\) for all \(t\in (0,\tau )\) and also that \(H,\mu \ge 0\). The bound from below can be obtained in the same manner testing (4) against the solution of (9), as in [16, Proposition 3.7], and it is based on the representation formula in Proposition 5.3.
This bound directly leads to the following integrability estimate on the velocity field b of (9) with respect to \(\rho \) computed along the solution of the equation (4). Its proof follows that of Proposition 3.2 in [16].
Proposition 5.5
Let u be a solution to (4) and \(\rho \) be a solution to (9). Then, there exists a constant \(C>0\) depending on \(q,N,T,s,C_H,\Vert f\Vert _{L^r(Q_T)}\), \(r>\max \left\{ \frac{N+2}{2},\frac{(N+2)(\gamma 1)}{\gamma }\right\} \) such that
Remark 5.6
Similar estimates as those in Proposition 5.5 can be found in [16, 17, 27, 28].
Proof
We rewrite the identity in Proposition 5.3 as
We pick \(r>1\) such that
We use (L1), the Hölder’s inequality and the upper bound in (11) to find
Let \({\bar{q}}\) be such that
By the embedding \({\mathcal {H}}^1_{{\bar{q}}'}(Q_\tau )\hookrightarrow L^{r'}(Q_\tau )\) and choosing \(r>\frac{N+2}{2}\) we have \(\bar{q}'<\frac{N+2}{N+1}\). We are thus in position to apply Corollary 4.2 and obtain
where
We thus end up with
The last integral can be absorbed on the lefthand side by the weighted Young’s inequality since
so that we conclude the estimate.
We are now ready for the proof of the main result of this section.
Proof of Theorem 5.1
Since q in (10) always satisfies \(q'<\frac{N+2}{N+1}\), we can apply Corollary 4.2 combined with the hypotheses (H) to conclude
where
We now choose \(\theta >0\) small enough so that
Note that this can be done by the initial choice of q. Thus, we use Proposition 5.5 and conclude the estimate.
6 Proof of the main result and further comments
We start with the following refined variational Bochner identity that will allow us to exploit the information \(f\in L^q_{x,t}\):
Lemma 6.1
Let u be a classical solution to (4) and \(\rho \) be a solution to (9). Then, the following identity holds
where \({\mathcal {I}}[\nabla u](x,t)=\frac{1}{2}\int _{{\mathbb {T}}^N}\nabla u(x,t)\nabla u(x+y,t)^2K(y)\,dy\).
Proof
It is sufficient to multiply (6) by the adjoint variable \(\rho \) solving (9), integrate over the cylinder \(Q_\tau \) and finally integrate by parts the terms involving the time derivative and the one involving the source term f(x, t) of the equation.
We are now ready for the proof of the main result
Proof of Theorem 2.1
We start with (12), observing that the third term on the lefthand side is nonnegative since \(\rho \) and the nonlocal term \({\mathcal {I}}[\nabla u]\) are nonnegative, cf [24, Remark 20.3]. Thus, we end up with the inequality
First, we observe that the chain rule applied to the second term of the righthand side leads to
We are now left to estimate all the terms appearing on the righthand side. We start with the one involving \(H_x\). Using (H), Proposition 5.5 with \(k=\gamma \) and the Young’s inequality we conclude
We now estimate the terms involving the source of the equation. We use the Cauchy–Schwarz inequality (1), the Young’s inequality together with the Hölder’s inequality with an exponent \(\tilde{p}>1\) to be later determined to find that
The last term can be bounded by \(\Vert f\Vert _{L^q(Q_\tau )}\) through Theorem 5.1 by choosing \({\tilde{p}}\) satisfying
This can always be done in view of (5). Therefore, we have by Corollary 5.2 and the Young’s inequality
Using the Hölder’s inequality, Theorem 5.1, and the weighted Young’s inequality we deduce
Finally, using the conservation of the \(L^1\) norm for the transportdiffusion equation we have \(\Vert \rho (x,0)\Vert _{L^1({\mathbb {T}}^N)}=1\), and we conclude
Plugging all the estimates in the first inequality we have
where \(C_5=\max \{C_1,C_2,C_4\}\) depends on \(N,C_H,q,T,s,\Vert f\Vert _q\). The last inequality holds for all smooth \(\rho _\tau \ge 0\) such that \(\Vert \rho _\tau \Vert _1=1\), which gives by duality
The estimate then follows by passing to the supremum over \(\tau \in (0,T)\) on the lefthand side.
Some final remarks are in order:
Remark 6.2
The argument continues to be valid for functions \(u\in W^{2,1}_q\) instead of smooth solutions, without need to assume \(f\in C^1\). This can be done using the test function \(\varphi =\textrm{div}(\nabla u\rho )\) in the variational formulation of (4), as in [18].
Remark 6.3
When f is more regular, the proof works even when \(\varepsilon =0\), i.e. for the equation driven by the sole fractional Laplacian, in the subcritical case \(s\in \left( \frac{1}{2},1\right) \) and for strong solutions belonging to the space \({\mathcal {H}}_q^{2s}(Q_T)=\{\partial _t u,(I\Delta )^su\in L^q(Q_T)\}\), as introduced in [15]. The procedure simplifies since one can avoid an integration by parts in (12) and use the identity
Then, if \(f\in L^\infty (0,T;W^{1,\infty }({\mathbb {T}}^N))\), we have
and then it is sufficient to use the Young’s inequality. If, instead, \(f\in L^q(0,T;W^{1,q}({\mathbb {T}}^N))\) for q such that
it is enough to argue as follows:
and use the estimate in Corollary 5.9 of [28] combined with the Young’s inequality to conclude the gradient bound. We emphasize that an assumption like \(f\in L^q(0,T;W^{1,q}({\mathbb {T}}^N))\) lies in between those assumed for the use of the weak Bernstein method and the ones to run the IshiiLions argument. It remains an open problem whether the \(L^\infty \) gradient bound holds for \(f\in L^q_{x,t}\) and \(\gamma >2s\): by scaling, we expect this can be true provided that \(q>\frac{N+2s}{2s1}\), \(s\in (1/2,1)\).
Remark 6.4
Lipschitz estimates in the subquadratic case can be obtained in a slightly different manner, combining Lemma 3.3 with GagliardoNirenberg interpolation inequalities. Indeed, regarding (4) as
one has
Then, GagliardoNirenberg interpolation inequalities lead to
Since \(\gamma \in (1,2)\), one can use the Young’s inequality and the supnorm estimate in Proposition 5.4 to conclude a bound on \(\Vert u\Vert _{W^{2,1}_q}\) for \(q>\frac{N+2}{2}\). By parabolic Sobolev embeddings it then follows that \(\Vert \nabla u\Vert _{L^\infty }\) is bounded whenever \(q>N+2\). The drawback of this approach is the requirement on \(\gamma \) (that must be of subquadratic growth) and on the initial data, which needs to be more regular respect to Theorem 2.1. The same idea works even for problems driven by the sole fractional Laplacian using interpolation estimates and the \(L^\infty \) bounds in Theorem 2.3 of [28], provided that \(\gamma <2s\), \(s\in (1/2,1)\). Still, the same approach of this manuscript can be refined to obtain maximal regularity estimates via new Hölder and \(L^p\) bounds for mixed diffusion problems, see [17].
Remark 6.5
Lipschitz bounds can be produced under the weaker restriction \(q>N+2\) when \(\gamma >3\) for viscous problems driven by the Laplacian, see [10], but the validity of such bounds under this weaker restriction remains an open problem even for equations driven by nonlocal operators, as discussed in Remark 6.3. We emphasize that the assumption \(q>N+2\) is sharp, at least for viscous parabolic problems, see [16, Remark 3.13].
Remark 6.6
A priori estimates proved in Theorem 2.1 can be used to proved existence and uniqueness of strong solutions, as shown in [15, Proposition 3.11] and [16, Section 4].
Remark 6.7
The adjointBernstein method implemented in this paper can be successfully applied even to (nonlinear) firstorder terms with linear gradient growth. Indeed, in this case the drift of the transportdiffusion equation would be bounded and the estimates in Sect. 4 can be obtained in the same manner. However, the case of sublinear, i.e. \(\gamma \le 1\), gradient terms can be deduced through the classical \(W^{2,1}_q\) regularity estimates for viscous problems, see e.g. [25].
On behalf of all authors, the corresponding author states that there is no conflict of interest.
References
Bakry, D., Gentil, I., Ledoux, M.: Analysis and geometry of Markov diffusion operators. Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 348. Springer, Cham (2014)
Barles, G.: A weak Bernstein method for fully nonlinear elliptic equations. Differ. Integr. Equ. 4(2), 241–262 (1991)
Barles, G.: Local gradient estimates for secondorder nonlinear elliptic and parabolic equations by the weak Bernstein’s method. Partial Differ. Equ. Appl. 2(6), 15 (2021)
Barles, G., Chasseigne, E., Ciomaga, A., Imbert, C.: Lipschitz regularity of solutions for mixed integrodifferential equations. J. Differ. Equ. 252(11), 6012–6060 (2012)
Barles, G., Ley, O., Topp, E.: Lipschitz regularity for integrodifferential equations with coercive Hamiltonians and application to large time behavior. Nonlinearity 30(2), 703–734 (2017)
Barles, G., Souganidis, P.E.: Spacetime periodic solutions and longtime behavior of solutions to quasilinear parabolic equations SIAM. J. Math. Anal. 32(6), 1311–1323 (2001)
Bernstein, S.: Sur la généralisation du problème de Dirichlet. Math. Ann. 69(1), 82–136 (1910)
Biagi, S., Dipierro, S., Valdinoci, E., Vecchi, E.: Mixed local and nonlocal elliptic operators: regularity and maximum principles. Comm. Partial Differ. Equ. 47(3), 585–629 (2022)
Biagi, S., Dipierro, S., Valdinoci, E., Vecchi, E.: Semilinear elliptic equations involving mixed local and nonlocal operators. Proc. Roy. Soc. Edinburgh Sect. A 151(5), 1611–1641 (2021)
Cirant, M.: On the improvement of Hölder seminorms in superquadratic HamiltonJacobi equations. arXiv:2208.00082, (2022)
Cabré, X., Dipierro, S., Valdinoci, E.: The Bernstein technique for integrodifferential equations. Arch. Ration. Mech. Anal. 243(3), 1597–1652 (2022)
Caffarelli, L.A., Cabré, X.: Fully nonlinear elliptic equations. American Mathematical Society Colloquium Publications, vol. 43. American Mathematical Society, Providence, RI (1995)
Capuzzo Dolcetta, I., Leoni, F., Porretta, A.: Hölder estimates for degenerate elliptic equations with coercive Hamiltonians. Trans. Am. Math. Soc 362(9), 4511–4536 (2010)
Cianchi, A., Maz’ya, V.G.: Global Lipschitz regularity for a class of quasilinear elliptic equations. Comm. Partial Differ. Equ. 36(1), 100–133 (2011)
Cirant, M., Goffi, A.: On the existence and uniqueness of solutions to timedependent fractional MFG. SIAM J. Math. Anal. 51(2), 913–954 (2019)
Cirant, M., Goffi, A.: Lipschitz regularity for viscous HamiltonJacobi equations with \(L^p\) terms. Ann. Inst. H. Poincaré Anal. Non Linéaire 37(4), 757–784 (2020)
Cirant, M., Goffi, A.: Maximal \(L^q\)regularity for parabolic Hamilton–Jacobi equations and applications to Mean Field Games. Ann. PDE 7(2), 40 (2021)
Cirant, M., Goffi, A.: On the problem of maximal \(L^q\)regularity for viscous HamiltonJacobi equations. Arch. Ration. Mech. Anal. 240(3), 1521–1534 (2021)
Constantin, P., Tarfulea, A., Vicol, V.: Long time dynamics of forced critical SQG. Comm. Math. Phys. 335(1), 93–141 (2015)
Constantin, P., Vicol, V.: Nonlinear maximum principles for dissipative linear nonlocal operators and applications. Geom. Funct. Anal. 22(5), 1289–1321 (2012)
De Filippis, C., Mingione, G.: Gradient regularity in mixed local and nonlocal problems. arXiv:2204.06590, (2022)
Dirr, N., Nguyen, V.D.: Some new results on Lipschitz regularization for parabolic equations. J. Evol. Equ. 19(4), 1149–1166 (2019)
Evans, L.C.: Adjoint and compensated compactness methods for HamiltonJacobi PDE. Arch. Ration. Mech. Anal. 197(3), 1053–1088 (2010)
Garofalo, N.: Fractional thoughts. In New developments in the analysis of nonlocal operators, volume 723 of Contemp. Math., pages 1–135. Amer. Math. Soc., [Providence], RI, (2019)
Garroni, M. G., Menaldi, J.L.: Green functions for second order parabolic integrodifferential problems, volume 275 of Pitman Research Notes in Mathematics Series. Longman Scientific & Technical, Harlow; John Wiley & Sons, Inc., New York, (1992)
Gilbarg, ,D., Trudinger, N. S.: Elliptic partial differential equations of second order, volume 224 of Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences]. SpringerVerlag, Berlin, second edition, (1983)
Goffi, A.: On the optimal \({L}^q\)regularity for viscous HamiltonJacobi equations with subquadratic growth in the gradient. arXiv:2112.02676, (2021)
Goffi, A.: Transport equations with nonlocal diffusion and applications to HamiltonJacobi equations. J. Evol. Equ. 21(4), 4261–4317 (2021)
Gomes, D.A., Pimentel, E.A., Voskanyan, V.: Regularity theory for meanfield game systems. SpringerBriefs in Mathematics. Springer, [Cham] (2016)
Ibdah, H.: Strong solutions to a modified Michelson–Sivashinsky equation. Commun. Math. Sci. 19(4), 1071–1100 (2021)
Ishii, H., Lions, P.L.: Viscosity solutions of fully nonlinear secondorder elliptic partial differential equations. J. Differ. Equ. 83(1), 26–78 (1990)
Ley, O., Nguyen, V.: Lipschitz regularity results for nonlinear strictly elliptic equations and applications. J. Differ. Equ. 263(7), 4324–4354 (2017)
Lions, P.L.: Generalized solutions of HamiltonJacobi equations, volume 69 of Research Notes in Mathematics. Pitman (Advanced Publishing Program), Boston, Mass.London, (1982)
Lions, P.L.: Quelques remarques sur les problèmes elliptiques quasilinéaires du second ordre. J. Anal. Math. 45, 234–254 (1985)
Peletier, L.A., Serrin, J.: Gradient bounds and Liouville theorems for quasilinear elliptic equations. Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4) 5(1), 65–104 (1978)
Porretta, A.: Decay rates of convergence for FokkerPlanck equations with confining drift. arXiv: 2210.11090, (2022)
Porretta, A.: On the regularity of the total variation minimizers. Commun. Contemp. Math. 23(1), 17 (2021)
Porretta, A., Priola, E.: Global Lipschitz regularizing effects for linear and nonlinear parabolic equations. J. Math. Pures Appl. (9) 100(5), 633–686 (2013)
Roncal, L., Stinga, P.R.: Fractional Laplacian on the torus. Commun. Contemp. Math. 18(3), 1550033 (2016)
Serrin, J.: Gradient estimates for solutions of nonlinear elliptic and parabolic equations. In Contributions to nonlinear functional analysis (Proc. Sympos., Math. Res. Center, Univ. Wisconsin, Madison, Wis., 1971), pages 565–601, (1971)
Spener, A., Weber, F., Zacher, R.: The fractional Laplacian has infinite dimension. Comm. Partial Differ. Eq. 45(1), 57–75 (2020)
Tran, H. V.: Hamilton–Jacobi equations, volume 213 of Graduate Studies in Mathematics. American Mathematical Society, Providence, RI, (2021). Theory and applications
Funding
Open access funding provided by Università degli Studi di Padova within the CRUICARE 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.
The author is member of the Gruppo Nazionale per l’Analisi Matematica, la Probabilità e le loro Applicazioni (GNAMPA) of the Istituto Nazionale di Alta Matematica (INdAM). The author was partially supported by the INdAMGNAMPA Project 2022 “Proprietà quantitative e qualitative per EDP non lineari con termini di gradiente” and by the King Abdullah University of Science and Technology (KAUST) project CRG20214674 “MeanField Games: models, theory and computational aspects". The author wishes to thank Prof. Barles for discussions on gradient estimates via viscosity solutions’ methods and for providing many references on the subject.
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
Goffi, A. A priori Lipschitz estimates for nonlinear equations with mixed local and nonlocal diffusion via the adjointBernstein method. Boll Unione Mat Ital (2022). https://doi.org/10.1007/s4057402200340w
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s4057402200340w
Keywords
 Adjoint method
 Bochner identity
 Fractional Hamilton–Jacobi equations
 Lipschitz estimates
 Mixed local and nonlocal operators
Mathematics Subject Classification
 35B65
 35R11
 49L12