Abstract
The Cauchy problem for a scalar conservation law admits a unique entropy solution when the datum \(u_0\) is a bounded measurable function (Kružhkov). The semi-group \((S_t)_{t\geqq 0}\) is contracting in the \(L^1\)-distance. For the multi-dimensional Burgers equation, we show that \((S_t)_{t\geqq 0}\) extends uniquely as a continuous semi-group over \(L^p({\mathbb R}^n)\) whenever \(1\leqq p<\infty \). We answer affirmatively a question raised by M. Crandall, by showing that \(u(t):=S_tu_0\) is not only an abstract solution, but is actually an entropy solution to the Cauchy problem. When \(p\leqq q\leqq \infty \) and \(t>0\), we prove that \(S_t\) maps \(L^p({\mathbb R}^n)\) into \(L^q({\mathbb R}^n)\). These results are based upon new dispersive estimates. The ingredients are on the one hand Compensated Integrability, and on the other hand a DeGiorgi-type iteration.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
Notations. When \(1\leqq p\leqq \infty \), the natural norm in \(L^p({\mathbb R}^n)\) is denoted \(\Vert \cdot \Vert _p\), and the conjugate exponent of p is \(p'\). The total space-time dimension is \(d=1+n\) and the coordinates are \(x=(t,y)\). In the space of test functions, \(\mathcal{D}^+({\mathbb R}^{1+n})\) is the cone of functions which take non-negative values. The partial derivative with respect to the coordinate \(y_j\) is \(\partial _j\), while the time derivative is \(\partial _t\). The various finite positive constants that depend only the dimension, but not upon the solutions of our PDE, are denoted \(c_d,c_{d,p}, c_{d,p,q}\) ; they usually differ from one inequality to another. We denote with \(C_0(0,+\infty )\), the space of continuous functions over \((0,+\infty )\), which tend to zero at infinity. Mind that \(C({\mathbb R}_+)\) is the space of bounded continuous functions over \([0,+\infty )\).
1 Introduction
Let us consider a scalar conservation law in \(1+n\) dimensions:
We complement this equation with an initial datum
The flux \(f(s)=(f_1(s),\ldots ,f_n(s))\) is a smooth vector-valued function of \(s\in {\mathbb R}\). We recall the terminology that an entropy–entropy flux pair is a couple \((\eta ,q)\) where \(s\mapsto \eta (s)\) is a numerical function, \(s\mapsto q(s)\) a vector-valued function, such that \(q'(s)\equiv \eta '(s)f'(s)\). Kružhkov’s entropies and their fluxes form a one-parameter family:
Together with the affine functions, the \(\eta _a\)’s span the cone of convex functions.
We recall that an entropy solution is a measurable function \(u\in L^1_\mathrm{loc}([0,+\infty )\times {\mathbb R}^n)\) such that \(f(u)\in L^1_\mathrm{loc}([0,+\infty )\times {\mathbb R}^n)\), which satisfies the Cauchy problem in the distributional sense that
together with the entropy inequalities
The theory of this Cauchy problem dates back to 1970, when S. Kružhkov [10] proved that if \(u_0\in L^\infty ({\mathbb R}^n)\), then there exists one and only one entropy solution in the class
The parametrized family of operators \(S_t:u_0\mapsto u(t,\cdot )\), which map \(L^\infty ({\mathbb R}^n)\) into itself, form a semi-group. We warn the reader that \(S_t:L^\infty \rightarrow L^\infty \) is not continuous, because of the onset of shock waves. Likewise, \(t\mapsto u(t)\) is not continuous from \({\mathbb R}_+\) into \(L^\infty ({\mathbb R}^n)\).
This semi-group nevertheless enjoys nice properties. On the one hand, a comparison principle says that if \(u_0\leqq v_0\), then \(S_tu_0\leqq S_tv_0\). For instance, the solution u associated with the datum \(u_0\) is majorized by the solution \(\bar{u}\) associated with the datum \((u_0)_+\), the positive part of \(u_0\). On the other hand, if \(v_0-u_0\) is integrable over \({\mathbb R}^n\), then \(S_tv_0-S_tu_0\) is integrable too, and we have
Finally, \(S_t\) maps \(L^p\cap L^\infty ({\mathbb R}^n)\) into itself, and the function \(t\mapsto \Vert S_tu_0\Vert _p\) is non-increasing.
Because of (4) and the density of \(L^1\cap L^\infty ({\mathbb R}^n)\) in \(L^1({\mathbb R}^n)\), the family \((S_t)_{t\geqq 0}\) extends in a unique way as a continuous semi-group of contractions over \(L^1({\mathbb R}^n)\), still denoted \((S_t)_{t\geqq 0}\). When \(u_0\in L^1({\mathbb R}^n)\) is unbounded, we are thus tempted to declare that \(u(t,y):=(S_tu_0)(y)\) is the abstract solution of the Cauchy problem for (1) with initial datum \(u_0\). At this stage, it is unclear whether \((S_t)_{t\geqq 0}\) can be defined as a semi-group over some \(L^p\)-space for \(p\in (1,\infty )\), because the contraction property (4) occurs only in the \(L^1\)-distance, but in no other \(L^p\)-distance.
An alternate construction of \((S_t)_{t\geqq 0}\) over \(L^1({\mathbb R}^n)\), based upon the Generation Theorem for nonlinear semigroups, was done by M. Crandall [2], who pointed out that it is unclear whether the abstract solution u is an entropy solution, because the local integrability of the flux f(u) is not guaranted.Footnote 1 The following problem is therefore an important one:
Identify the widest class of integrable initial data for which the abstract solution of (1) is actually an entropy solution.
Our most complete results are about a special case: the so-called multi-dimensional Burgers equation
This equation was already considered by G. Crippa et al. [3], and more recently by L. Silvestre [18]. The particular flux in (6) is a prototype for genuinely nonlinear conservation laws, those which satisfy the assumption
The latter condition is a variant of the non-degeneracy condition at work in the kinetic formulation of the equation (1) ; see [12] or [13].
Our first result deals with dispersive estimates.
Theorem 1.1
Let \(1\leqq p\leqq q\leqq \infty \) be two exponents. Define two parameters \(\alpha ,\beta \) depending on p and q by
and
Then there exists a finite constant \(c_{d,p,q}\) such that for every initial datum \(u_0\in L^1\cap L^\infty ({\mathbb R}^n)\), the entropy solution u(t) of the scalar conservation law (6) satisfies
Remarks
-
The consistency of estimates (10) with the Hölder inequality is guaranted by the property that whenever \(\theta \in (0,1)\),
$$\begin{aligned} \left( \frac{1}{q}=\frac{1-\theta }{p}+\frac{\theta }{r}\right) \Longrightarrow \left\{ \begin{array}{l} \alpha (p,q)=1-\theta +\theta \alpha (p,r), \\ \\ \beta (p,q)=\theta \beta (p,r). \end{array}\right. \end{aligned}$$(11) -
The consistency under composition \((p,q)\wedge (q,r)\mapsto (p,r)\) is ensured by the rules
$$\begin{aligned} \alpha (p,r)=\alpha (p,q)\alpha (q,r)\qquad \hbox {and}\qquad \beta (p,r)=\beta (q,r)+\beta (p,q)\alpha (q,r) \end{aligned}$$(12) -
In one space dimension, (10) gives back well-know results, such as Theorem 11.5.2 in [6].Footnote 2
Theorem 1.1 has several important consequences. An obvious one is that the extension of \((S_t)_{t\geqq 0}\) as a semi-group over \(L^1({\mathbb R}^n)\) satisfies the above estimates with \(p=1\).
Corollary 1.1
If \(u_0\in L^1({\mathbb R}^n)\) and \(t>0\), then \(S_tu_0\in \bigcap _{1\leqq q\leqq \infty } L^q({\mathbb R}^n)\) and we have
where the exponents are given in terms of
The next one is that the Cauchy problem is solvable for data taken in \(L^p({\mathbb R}^n)\) for arbitrary exponent \(p\in [1,\infty ]\). In particular, it solves Crandall’s concern.
Theorem 1.2
Let \(p\in [1,\infty )\) be given. For every \(t\geqq 0\), the operator \(S_t:L^1\cap L^\infty ({\mathbb R}^n)\rightarrow L^1\cap L^\infty ({\mathbb R}^n)\) admits a unique continuous extension \(S_t:L^p({\mathbb R}^n)\rightarrow L^p({\mathbb R}^n)\).
The family \((S_t)_{t\geqq 0}\) is a continuous semi-group over \(L^p({\mathbb R}^n)\). If \(u_0\in L^p({\mathbb R}^n)\), the function u(t, y) defined by \(u(t)=S_tu_0\) is actually an entropy solution of the Cauchy problem for (6) with initial datum \(u_0\).
Finally, \(S_t(L^p({\mathbb R}^n))\) is contained in \(\bigcap _{p\leqq q\leqq \infty }L^q({\mathbb R}^n)\) and the estimates (10) are valid for every data \(u_0\) in \(L^p({\mathbb R}^n)\).
The proof of Theorem 1.1 will be done in two steps. The first one consists in establishing the estimate (10) when \(q=p^*\) is given by the formula
To this end, we apply Compensated Integrability to a suitable symmetric tensor, whose row-wise divergence is a bounded measure with controlled mass. This argument involves the theory recently developped by the first author in [14, 15]. The second step is an iteration in DeGiorgi’s style, based on the preliminary work [18] by the second author; see also the original paper by E. DeGiorgi [7] or the review paper by A. Vasseur [21]. This technique allows us to establish an \(L^\infty \)-estimate, which extends the dispersive estimate to \(q=+\infty \). Then using the Hölder inequality, we may interpolate between this result and the decay of \(t\mapsto \Vert u(t)\Vert _p\), and treat every exponent \(q>p\).
We notice that the symmetric tensor mentionned above extends to a multi-dimensional context the one already used when \(n=1\) by L. Tartar [20] to prove the compactness of the semi-group, and by F. Golse [8] (see also [9]) to prove some kind of regularity.
Previous dispersive estimates (\(n=1\)). In one space dimension, (6) reduces to the original Burgers equation. Its Kružhkov solution satisfies the Oleinik inequality \(\partial _yu\leqq \frac{1}{t}\) , which does not involve the initial datum at all. Ph. Bénilan & M. Crandall [1] proved
by exploiting the homogeneity of the flux \(f(s)=\frac{s^2}{2}\). Inequality (13) implies an estimate
which is a particular case of Corollary 1.1.
C. Dafermos [5] proved a general form of (13) in situations where the flux f may have one inflexion point and the datum \(u_0\) has bounded variation, by a clever use of the generalized backward characteristics. His argument involves the order structure of the real line. Backward characteristics are not unique in general. Given a base point in the upper half-plane, one has to define and analyse the minimal and the maximal ones. The description of backward characteristics seems to be much more complicated in higher space dimensions, and Dafermos’ strategy has not been applied successfully beyond the 1-D case.
Enhanced decay. Because of a scaling property which will be described in the next section, the dispersion (10) is optimal, as long as we involve only the \(L^p\)-norms, and we exclude any extra information about the initial datum. It is however easy to obtain a better decay as time t goes to infinity. Let us give one example, by taking an initial datum \(u_0\) such that
By the maximum principle, we have \(u(t,y)\leqq v(t,y_1)\), where v is the solution of the 1-dimensional Burgers equation associated with the initial datum \(v_0\). We have, therefore, that
where the decay rate \(t^{-\frac{1}{2}}\) is independent of the space dimension. In particular this decay is faster than that given by Corollary 1.1 when \(n\geqq 3\).
The way this faster decay is compatible with the optimality of (10) is well explained by a study of the growth of the support of the solution. In the most favorable case where the datum \(u_0\) is bounded with compact support, the argument above yields \(\Vert u(t)\Vert _\infty =O((1+t)^{-1/2})\). It is easy to infer that the width of \(\mathrm{Supp}(u(t))\) in the \(y_1\)-direction expands as \(O(\sqrt{t}\,)\) (one might have used the comparison with the solution v above). Likewise, the width in the \(y_2\)-direction is an \(O(\log t)\) and that in the other \(y_k\)-directions remains bounded because
On the contrary, if \(u_0\in L^1({\mathbb R}^n)\) has compact support but is not bounded by an integrable fonction \(v_0(y_1)\) as above, Corollary 1.1 gives only \(\Vert u(t)\Vert _\infty =O(t^{-\kappa })\). It turns out that \(n\kappa \geqq 1\) when \(n\geqq 2\), and therefore
This suggests that the width of the support in the \(y_n\)-direction is immediately infinite; the support of u(t) is unbounded for every \(t>0\). The solution has a tail in the last direction, and this tail is responsible for a slow \(L^\infty \)-decay, at rate \(t^{-\kappa }\) instead of \(t^{-\frac{1}{2}}\) .
This analysis suggests in particular that the fundamental solution\(U_m\), if it exists, should have an unbounded support in the space variable when \(n\geqq 2\). The terminology denotes an entropy solution of (6), say a non-negative one, with the property that
in the vague sense of bounded measures. In particular,
This behaviour is in strong constrast with the one-dimensional situation, where
is compactly supported at every time.
The existence of a fundamental solution is left as an open problem. It should play an important role in the time-asymptotic analysis of entropy solutions of finite mass. This asymptotics has been known in one-space dimension since the seminal works by P. Lax [11] and C. Dafermos [4].
Preliminary works. The authors posted, separately, recent preprints on this subject in ArXiv database, see [16, 19]. The present paper supersedes both of them.
Outline of the article. Since Compensated Integrability plays a important role in this work and is a rather new tool, we end this introductory section with a short presentation of the theory. In Section 2, we prove a special case of the dispersive estimate (10), that for the pairs \((p,p^*)\). We treat the case \((p,\infty )\) in Section 3. This allows us to extend the equation (10) to every pair (p, q) with \(p\leqq q\). The construction of the semi-group over every \(L^p\)-space is done in Section 4. We show in Section 5 how these ideas adapt to a scalar equation when the fluxes \(f_j\) are monomials. The last section describes how the first argument, which involves Compensated Integrability, can be adapted to conservation laws with arbitrary flux.
1.1 Compensated Integrability for Symmetric Positive Tensors
We keep the notations \(d=1+n\), \(n\geqq 1\) above. The cone of positive semi-definite symmetric real matrices is \(\mathbf{Sym}_d^+\). If \(\Omega \subset {\mathbb R}^d\) and \(x\in \Omega \rightarrow A(x)\in \mathbf{Sym}_d\) is a symmetric tensor, we denote \(\mathrm{Div}\,A\) its row-wise divergence, understood in the distributional sense that
If \(\mu \) is a bounded measure over either \(\Omega \) or \(\partial \Omega \), its total mass is denoted \(\Vert \mu \Vert _\mathcal{M}\); in practice, \(\mu \) is often vector-valued and this norm is the total mass of \(|\mu |\)
The following result is taken from Theorems 2.2 and 2.3 of [15]. We denote \(Q_\tau =(0,\tau )\times {\mathbb R}^n\) a slab in time-space coordinates:
Theorem 1.3
Let \(A:Q_\tau \rightarrow \mathbf{Sym}_d^+\) be integrable. Let us assume that \(\mathrm{Div}\,A\) is component-wise a bounded measure over \(Q_\tau \), and that the normal traces \(A_{0\bullet }:=A\mathbf {e}_t\) at initial and final times (\(t=0\) and \(t=\tau \)) are bounded measures over \({\mathbb R}^n\). Then the function \((t,y)\mapsto (\det A)^{\frac{1}{n}}\) is integrable over \(Q_\tau \), and there holds and inequality
where \(c_d\) is a universal constant. In particular, \(c_d\) does not depend on \(\tau \).
For the sake of completeness, we point out that Theorem 1.3 is none of Theorems 2.2 and 2.3 of [15]. On the one hand, Theorem 2.2 is for a bounded domain \(\Omega \), instead of a slab. On the other hand, Theorem 2.3 deals with a divergence-free tensor, thus ignores the contribution of \(\mathrm{Div}\,A\) in the right-hand side of (15). However, the proof of the theorem above goes exactly the same way as that of Theorem 2.3: multiply A by a cut-off function \(\phi _R(y)=\phi (\frac{y}{R})\) with \(0\leqq \phi \leqq 1\) and \(\phi \equiv 1\) in the unit ball, apply Theorem 2.2 in \((0,\tau )\times B\) where the ball B contains the support of \(\phi _R\), then pass to the limit as \(R\rightarrow +\infty \) with the help of Fatou’s Lemma.
Notice that the assumption that the normal trace be a (vector-valued) bounded measure amounts to saying that the row-wise divergence of the extension of A by \(0_d\) away from \(Q_\tau \) is still a (vector-valued) bounded measure. Therefore the theorem can be viewed as a statement about such tensors over the whole space \({\mathbb R}^d\), whose support is contained in \(Q_\tau \).
Compensated Integrability is a far-reaching generalization of Gagliardo’s Inequality: Given d functions \(f_j({\hat{x}_j})\), where the j-th one does not depend upon the j-th coordinate, the product
obeys the estimate
Since Gagliardo’s Inequality is at stake in the proof of the embedding \(W^{1,1}\subset L^{\frac{d}{d-1}}\), it is not surprising that (15), applied to the tensor \(A(x)=u(x)I_n\) gives
at least for compactly supported non-negative functions.
Compensated Integrability is also related to several topics in geometry, for instance the Isoperimetric inequality [14, 15] and Minkowski’s problem [15].
One important application of Compensated Integrability concerns gas dynamics, where it yields Strichartz-like estimates in inviscid models (Euler equations for a compressible flow) and kinetic models (Boltzmann equations), see [14]. Recently, it was used to estimate the number and the strength of collisions in particle dynamics, see [17]. It is therefore a versatile tool, which applies to micro-, meso- and macroscopic descriptions of gases.
2 Dispersive Estimate; The Case \((p,p^*)\)
To begin with, we recall that the Burgers equation enjoys an exceptional one-parameter transformation group, a fact already noted in [18] : Let u be an entropy solution of the Cauchy problem for (6) and \(\lambda \) be a positive constant. Then the function
is an entropy solution associated with the initial datum
The following identities will be used below:
Let \(u_0^\pm \) be the positive and negative parts of the initial datum: \(u_0^-\leqq u_0\leqq u_0^+\) with \(u_0(x)\in \{u_0^-(x),u_0^+(x)\}\) everywhere. Denote \(u_\pm \) the entropy solutions associated with the data \(u_0^{\pm }\). By the maximum principle, we have \(u_-\leqq u\leqq u_+\) everywhere. Because of \(\Vert u(t)\Vert _q\leqq \Vert u_-(t)\Vert _q+\Vert u_+(t)\Vert _q\) and \(\Vert u_0\Vert _p=(\Vert u_0^-\Vert _p^p+\Vert u_0^+\Vert _p^p)^{1/p}\), it suffices to proves the estimate for \(u_\pm \), that is for initial data that are signed. Moreover since \(v(t,y)=-u(t,-y_1,y_2,\ldots ,(-1)^ny_n)\) is the entropy solution associated with \(v_0(y)=-u_0(-y_1,y_2,\ldots ,(-1)^ny_n)\), it suffices to treat the case of a non-negative initial data.
We therefore suppose from now on that \(u_0\in L^1\cap L^\infty ({\mathbb R}^n)\) and \(u_0\geqq 0\), so that \(u\geqq 0\) over \({\mathbb R}_+\times {\mathbb R}^n\). We wish to estimate \(\Vert u(t)\Vert _q\) in terms of \(\Vert u_0\Vert _p\) when \(q=p^*=d(1+\frac{p}{n})\). We point out that \(p^*>p\).
2.1 A Strichartz-Like Inequality
If \(a\in {\mathbb R}\), we define a symmetric matrix
Remarking that
we obtain that M(a) is positive definite whenever \(a>0\). Obviously,
where the constant
is a Hilbert-like determinant.
Let us form the symmetric tensor
with positive semi-definite values. Its row of index i is given by \((\eta _{i+p}(u), q_{i+p}(u))\), an entropy–flux pair where \(\eta _r(s)=\frac{|s|^r}{r}\,\) is convex. In the special case where \(p=1\) and \(i=0\), it is divergence-free because of (6) itself. Otherwise, it is not divergence-free in general, although it is so whenever u is a classical solution. However the entropy inequality tells us that the opposite of its divergence is a non-negative, hence bounded, measure
The total mass of \(\mu _r\) over a slab \((0,\tau )\times {\mathbb R}^n\) is given by
Since the latter bound does not depend upon \(\tau \), \(\mu _r\) is actually a bounded measure over \({\mathbb R}_+\times {\mathbb R}^n\).
We conclude that the row-wise divergence of T is a (vector-valued) bounded measure, whose total mass is estimated by
We may therefore apply Compensated Integrability to the tensor T. Theorem 1.3 tells us that \((\det T)^{\frac{1}{d-1}}\) is integrable over \(Q_\tau \). Because of
together with (18), Inequality (15) gives
Again, the right-hand side does not depend upon \(\tau \), thus the inequality above is true also for \(\tau =+\infty \).
The only flaw in the estimate (19) is its lack of homogeneity. To recover a well-balanced inequality, we use the scaling, in particular the formulæ (16) and (17). Applying (19) to the pair \((v,v_0)\) instead, we get a parametrized inequality
where \(\lambda >0\) is up to our choice. In order to minimize the right-hand side, we select the value
The extreme terms, for \(j=0\) or n, contribute on an equal footing with
The other ones, which are
are bounded by the same quantity, because of Hölder inequality. We end therefore with the fundamental estimate of Strichartz style:
2.2 Proof of estimate (10)
We shall contemplate (20) as a differential inequality. To this end, we define
Noticing that \(p+n\) is less than \(p^*\), and using Hölder inequality, we get
for
The inequality (20) therefore implies that
Considering the solution \(w(t,y)=u(t+\tau ,y)\), whose initial datum is \(u(\tau ,\cdot )\), we also have
Let us denote
We recast (21) as
Remark that \(\rho =2\frac{p+dn}{dn}>2\). Multiplying by \(Y^{-\rho }\) and integrating, we infer that
This provides a first decay estimate
Remarking that \(t\mapsto X(t)\) is a non-increasing function, so that
we deduce the ultimate decay result
Restated in terms of a Lebesgue norm of u(t), this says that
where \(\alpha (p,q)\) and \(\beta (p,q)\) are given in (8) and (9). This is precisely the special case of (10) under consideration here.
3 General Pairs (p, q) Where \(p<q\leqq \infty \)
Because of (11) and of the Hölder inequality, it will be enough to prove (10) when \(q=+\infty \). Once again, it is sufficient to treat the case of non-negative data / solutions.
3.1 An Estimate for \((u-\ell )_+\)
Let \(\ell >0\) be a given number. We denote \(w_\ell \) the entropy solution of (6) associated with the initial datum \((u_0-\ell )_++\ell =\max \{u_0,\ell \}\). The function \(z_\ell :=w_\ell -\ell \) is an entropy solution of a modified conservation law
This is not exactly the Burgers equation for \(z_\ell \). However the \((n+2)\)-uplet
is a basis of \({\mathbb R}_{n+1}[X]\). We pass from this basis to \((1,X,\ldots ,\frac{X^{n+1}}{n+1})\) by a triangular matrix with unit diagonal. There exists therefore a change of coordinates
where Q is a unitriangular matrix, such that \(z_\ell \) obeys the Burgers equation in the new coordinates:
We may therefore apply (22) to \(z_\ell \) :
Remarking that the time variable is unchanged, and the Jacobian of the change of variable \(y\mapsto y'\) at fixed time equals one, we actually have
Finally, the maximum principle tells us that \(u\leqq w_\ell \). The inequality above is therefore an estimate of the positive part of \(u-\ell \) :
3.2 An iteration à la De Giorgi
We now prove the \(L^p\)–\(L^\infty \) estimate, in the special case where \(\Vert u_0\Vert _p=1\). We recall that \(u_0\) is non-negative.
For the moment, we fix an arbitrary constant \(B>0\), which we will choose large enough in the end of the proof. Then we define the following sequences for \(k\in {\mathbb N}\) :
Remark that the sequences \(\ell _k\) and \(w_k\) are increasing and decreasing, respectively. Since \(t_0=0\), we have \(a_0=\Vert u_0\Vert _p=1\).
For each value of k, we apply (23) in order to estimate \(\Vert w_{k+1}(t_{k+1})\Vert _{p^*}\) in terms of \(\Vert w_{k+1}(t_k)\Vert _p\). For the sake of simplicity, we write \(\alpha ,\beta \) for \(\alpha (p,p^*)\) and \(\beta (p,p^*)\). We get
With Hölder inequality, we also have that
where
Remark that \(r>1\). Combining both inequalities, we obtain
Observing that \(w_{k+1}>0\) implies \(w_k>B2^{-k-1}\), we infer
We now use the Chebychev Inequality
to deduce that
We have set \(\delta =\alpha -\frac{p}{p^*}\) and \(\gamma =\frac{p}{r}\) .
By a direct computation, we verify that \(\delta \) is positive:
The sequence \(b_k:=B^{-\frac{\gamma }{\delta }}a_k\), which starts with \(b_0=B^{-\frac{\gamma }{\delta }}\), therefore satisfies a recurrence relation
It is known that if \(b_0\) is small enough, that is if B is large enough, then \(b_k\rightarrow 0+\) as \(k\rightarrow +\infty \). Equivalently, \(a_k\rightarrow 0+\).
We have therefore found a constant \(B>0\) such that
Since \(\ell _k\rightarrow B\), this means exactly that \(\Vert u(1)\Vert _\infty \leqq B\).
3.3 End of the proof of dispersive estimates
Let \(u_0\in L^1\cap L^\infty ({\mathbb R}^n)\) be non-negative. For two positive parameters \(\lambda ,\mu \), the entropy solution associated with the datum
is the function
If
then \(\Vert v_0\Vert _p=1\) and we may apply the previous section to conclude: \(\Vert v(1)\Vert _\infty \leqq B\). In terms of u, this writes
Calculating \(\lambda \) from (24) gives
which is nothing but the dispersive estimate (10) for \(q=+\infty \).
There remains to pass from \(q=+\infty \) to every \(q\in [p,+\infty ]\). We do that by applying the Hölder inequality. Writing
we have
We conclude by using the relations (11).
4 The \(L^p\)-Semi-group for Finite Exponents
We now prove Theorem 1.2. We start with a remark about \(L^p\)-spaces.
Lemma 4.1
Let \(a\in L^p({\mathbb R}^n)\) be given. There exists a sequence \((b_m)_{m\geqq 0}\) in \((L^p\cap L^\infty )({\mathbb R}^n)\), converging towards a in \(L^p({\mathbb R}^n)\), such that \(b_m-a\in L^1({\mathbb R}^n)\) and
Proof
Recall that
Decomposing our function as \(a=a_1+a_\infty \) where
we may form the sequence of bounded functions \(b_m:=a_\infty +\pi _m\circ a_1\), where \(\pi _m\) is the projection from \({\mathbb R}\) onto the interval \([-m,m]\). Because of
this sequence is bounded in \(L^p({\mathbb R}^n)\). In addition, \(b_m-a=\pi _m\circ a_1-a_1\in L^1\cap L^p({\mathbb R}^n)\), and
\(\square \)
Let \(u_0\in L^p({\mathbb R}^n)\) be given. In order to define \(S_tu_0\), we consider a sequence \(b_m\) that approximates \(u_0\) in the sense of Lemma 4.1. Remark that we do not care about the construction of \(b_m\), as we only use the properties stated in the lemma.
To begin with, \(u_m(t):=S_tb_m\) is well-defined and belongs to \(L^\infty ({\mathbb R}^n)\). Because of (10), we have
The sequence \((u_m)_{m>0}\) is thus bounded in \(C_0(\tau ,\infty ;L^q({\mathbb R}^n))\) for every \(q\in [p,\infty )\) and every \(\tau >0\).
The contraction property gives us
Let r, q be exponents satisfying \(p\leqq r<q<\infty \). By Hölder inequality, we have
where \(\theta \in (0,1]\). With (25), we infer that
uniformly over \((\tau ,\infty )\).
We have thus proved that \((u_m)_{m>0}\) is a Cauchy sequence in \(C_0(\tau ,\infty ;L^r({\mathbb R}^n))\), hence is convergent in this space. If \(b_m'\) is another approximating sequence for \(u_0\), and \(u_m'\) the corresponding solution of the Cauchy problem, we may form an approximating sequence \(c_m\) in the sense of Lemma 4.1, by alterning \(b_1,b_1',b_2,b_2',\ldots \). The sequence \(u_1,u_1',u_2,u_2',\ldots \) will be convergent in the sense above. This shows that the limit of \(u_m\) does not depend upon the precise sequence \((b_m)_{m>0}\) chosen above. Thus we may set
which defines a
There remains to prove that u is an entropy solution of (6). For this, we use the fact that \(u_m\) is itself an entropy solution, and the convergence stated above ensures that every monomial \((u_m)^j\) in the flux \(f(u_m)\), converges towards \(u^j\) in \(L^1_\mathrm{loc}\).
The fact that \(u(0)=u_0\) follows from \(u_m(0)=b_m\), the \(L^p\)-convergence \(b_m\rightarrow u_0\), and the uniform convergence \(u_m(t)\rightarrow u(t)\) in \(L^p({\mathbb R}^n)\).
5 Other “Monomial” Scalar Conservation Laws
We consider in this section conservation laws whose fluxes are monomial. Denoting \(m_k(s)=\frac{s^{k+1}}{k+1}\) , they bear the form
where \(0<k_1<\cdots <k_n\) are integers. The time derivative may be written as well \(\partial _tm_{k_0}(u)\) with \(k_0=0\).
As before, we may restrict to non-negative initial datum \(u_0\) that belong to \(L^1\cap L^\infty ({\mathbb R}^n)\). Given an exponent \(p\geqq 1\), our symmetric tensor is now \(T(t,y)=M(u(t,y))\), where
Notice that M(a) is symmetric, and its upper-left entry is \(\frac{a^p}{p}\) . Because of
is positive definite whenever \(a>0\). We have
As above, the lines of T are made of entropy–entropy flux pairs of the equation (26). Its row-wise divergence is therefore a vector-valued bounded measure. Compensated integrability yields again an inequality
The conservation law is invariant under the scaling
Applying the estimate above to v, we obtain a parametrized inequality :
We now choose
and obtain a Strichartz-like estimate:
where
Applying this calculation to the interval \((\tau ,+\infty )\), and using the decay of the \(L^p\)-norm, we infer that
We may now continue the analysis with a Gronwall argument, provided \(p+k_n\in (p,Q]\). We leave the interested reader to check the details. Our first dispersion estimate is
whenever \(p\geqq nk_n-2K\) (remark that for the Burgers equation, this restriction is harmless).
At this stage, it seems that we miss an argument in order to carry out the DeGiorgi technique, because the conservation law satisfied by \(u-\ell \) will be a different one. Whether it can be done here and for general conservation laws is left for a future work. What we can do at least is to combine the estimates (28) in order to cover pairs (p, q) of finite exponents. For instance, starting from a pair (p, Q) as above and chosing \(p_1=Q\), we have a corresponding \(Q_1\) such that (28) applies with \((p_1,Q_1)\) instead of (p, Q). We infer
Because the iteration \(p\rightarrow Q\) defines a sequence which tends to \(+\infty \), and using the Hölder inequality to fill the gaps, we deduce the dispersion inequalities for the monomial conservation law as follows:
Theorem 5.1
For the scalar conservation law (26) with monomial fluxes, there exist finite constants \(c_{d,p,q}\) such that whenever \(p\geqq nk_n-2K\), \(q\in [p,\infty )\) and \(u_0\in L^p\cap L^\infty ({\mathbb R}^n)\), we have
The exponents are given by the formula
As in the case of the Burgers equation, we can use these estimates in order to define the semi-group over \(L^p\)-spaces.
Corollary 5.1
The semi-group \((S_t)_{t\geqq 0}\) for equation (26) extends by continuity as a continuous semi-group over \(L^p({\mathbb R}^n)\) for every \(p\in [1,+\infty )\) such that \(p\geqq nk_n-2K\). It maps \(L^p({\mathbb R}^n)\) into \(L^q({\mathbb R}^n)\) for every \(q\in [p,\infty )\). If \(u_0\in L^p({\mathbb R}^n)\), then the function \(u(t,y):=(S_tu_0)(y)\) is an entropy solution with initial datum \(u_0\).
6 Compensated Integrability for General Fluxes f
We consider now a multi-dimensional conservation law of the most general form (1). Following the ideas developped in the Burgers and monomial cases, we begin by considering a signed, bounded initial datum: \(u_0\in L^1\cap L^\infty ({\mathbb R}^n)\), \(u_0\geqq 0\). If \(a\in {\mathbb R}_+\), we define a symmetric matrix
where \(Z(s)=(f_0(s)=s,f_1(s),\ldots ,f_n(s))\) and g is some positive function. This matrix is positive definite under the non-degeneracy condition that Z([0, a]) is not contained in an affine hyperplane. We denote
Let us define \(T(t,y):=M_g(u(t,y))\). Because of \(u\in L^\infty ({\mathbb R}_+;L^1\cap L^\infty ({\mathbb R}^n))\), the tensor T is integrable over \((0,\tau )\times {\mathbb R}^n\). Each row of T is made of entropy–entropy flux pairs \((F_i,Q_i)\). Since \(F_i\) might not be convex, we cannot estimate the measure \(\mu _i=-\partial _tF_i(u)-\mathrm{div}_yQ_i(u)\) directly by the integral of \(F_i(u_0)\). To overcome this difficulty, we define a convex function \(\phi _g\) over \({\mathbb R}_+\) by
where \(F=(F_0,\ldots ,F_n)\). Remark that \(|F'|\leqq \phi _g'\) and \(|F|\leqq \phi _g\). Let \(\Phi _g\) be the entropy flux associated with the entropy \(\phi _g\). Then the measure \(\nu _g:=-\partial _t\phi _g(u)-\mathrm{div}_y\Phi _g(u)\) is non-negative and a bound of its total mass is as usual
We now use the kinetic formulation of (1), a notion for which we refer to [13], Theorem 3.2.1. Recall the definition of the kinetic function \(\chi (\xi ;a)\), whose value is \(\mathrm{sgn}\,a\) if \(\xi \) lies between 0 and a, and is 0 otherwise. There exists a non-negative bounded measure \(m(t,y,\xi )\) such that the function \(w(t,y,\xi )=\chi (\xi ;u(t,y))\) satisfies
If \((\eta ,q)\) is an entropy–entropy flux pair, then the measure \(\mu =-\partial _t\eta -\mathrm{div}_yq\) is given by
We deduce that the vector-valued measure \(\mu =(\mu _0,\ldots ,\mu _n)\) satisfies \(|\mu |\leqq \nu _g\). This yields the estimate
We may therefore apply the compensated integrability, which gives here that
Because of \(|F|\leqq \phi _g\) and \(\Vert \phi _g(u(\tau ))\Vert _1\leqq \Vert \phi _g(u_0)\Vert _1\), we end up with an analog of (20):
Whether (29) can be used to prove dispersive estimates depends on the amount of nonlinearity of the equation (1). We leave discussion of this question for a future work.
Notes
Except of course in the case where f is globally Lipschitz.
Mind that this statement contains a typo, as the choice \(r=1-\frac{1}{p}\) in Theorem 11.5.1 yields the exponent \(-\frac{1}{p+1}\) instead of \(-\frac{p}{p+1}\).
References
Bénilan, P., Crandall, M.G.: Regularizing Effects of Homogeneous Evolution Equations. Contributions to Analysis and Geometry (Baltimore, Md., 1980). Johns Hopkins Univ. Press, Baltimore, Md. pp 23–39 (1981)
Crandall, M.: The semigroup approach to first order quasilinear equations in several space variables. Israel J. Math. 12, 108–132, 1972
Crippa, G., Otto, F., Westdickenberg, M.: Regularizing effect of nonlinearity in multidimensional scalar conservation laws. In: Transport Equations and Multi-D Hyperbolic Conservation Laws, Lect. Notes Unione Mat. Ital., pp. 77–128. vol. 5, Springer, Berlin (2008)
Dafermos, C.: Characteristics in hyperbolic conservation laws. In: ed. Knops R.J. (ed) Nonlinear Analysis and Mechanics: Heriot–Watt Symposium (Edinburgh 1976), Vol. I, pp. 1–58, Research Notes in Math., No 17, Pitman, London (1977)
Dafermos, C.: Regularity and large time behaviour of solutions of a conservation law without convexity. Proc. R. Soc. Edinb. 99A, 201–239, 1985
Dafermos, C.: Hyperbolic Conservation Laws in Continuum Physics, vol. 325, 3rd edn. Grundlehren der Mathematischen Wissenschaften. Springer, Heidelberg 2010
De Giorgi, E.: Sulla differenziabilità e l’analiticità delle estremali degli integrali multipli regolari. Mem. Accad. Sci. Torino. Cl. Sci. Fis. Mat. Nat. (3) 3, 25–43, 1957
Golse, F.: Nonlinear regularizing effect for conservation laws. In: Hyperbolic Problems: Theory, Numerics and Applications. Proc. Sympos. Appl. Math. 67, Part 1, pp. 73–92. Amer. Math. Soc., Providence, RI (2009)
Golse, F., Perthame, B.: Optimal regularizing effect for scalar conservation laws. Rev. Mat. Iberoam. 29, 1477–1504, 2013
Kružkov, S.: First order quasilinear equations with several independent variables (in Russian). Mat. Sbornik (N.S.) 81(123), 228–255, 1970
Lax, P.: Hyperbolic systems of conservation laws. Commun. Pure Appl. Math. 10, 537–566, 1957
Lions, P.-L., Perthame, B., Tadmor, E.: A kinetic formulation of multidimensional scalar conservation laws and related equations. J. Am. Math. Soc. 7, 169–191, 1994
Perthame, B.: Kinetic formulation of conservation laws, Oxford lecture series in Math. & its Appl. 21. Oxford 2002
Serre, D.: Divergence-free positive symmetric tensors and fluid dynamics. Ann. Inst. Henri Poincaré (Anal. Non linéaire) 35, 1209–1234, 2018
Serre, D.: Compensated integrability. Applications to the Vlasov–Poisson equation and other models in mathematical physics. J. Math. Pures Appl. 127, 67–88, 2019
Serre, D.: Multi-dimensional scalar conservation laws with unbounded integrable initial data. Preprint arXiv:1807.10474
Serre, D.: Estimating the number and the strength of collisions in molecular dynamics. Preprint arXiv:1903.05866
Silvestre, L.: Oscillation properties of scalar conservation laws. Commun. Pure Appl. Math. https://doi.org/10.1002/cpa.21804
Silvestre, L.: A dispersive estimate for the multidimensional Burgers equation. Preprint arXiv:1808.01220
Tartar, L.: Compensated compactness and applications to partial differential equations. In: Nonlinear Analysis and Mechanics: Heriot–Watt Symposium, Vol. IV, Res. Notes in Math., 39, Pitman, pp. 136–212 (1979)
Vasseur, A.: The De Giorgi method for elliptic and parabolic equations and some applications. In: Lectures on the Analysis of Nonlinear Partial Differential Equations. Part 4, pp. 195–222, Morningside Lect. Math., 4, Int. Press, Somerville, MA (2016)
Acknowledgements
We are deeply indebted to C. Dafermos, who led us to collaborate together.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by A. Bressan
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
LS was partially supported by NSF Grants DMS-1254332 and DMS-1764285.
Rights and permissions
About this article
Cite this article
Serre, D., Silvestre, L. Multi-dimensional Burgers Equation with Unbounded Initial Data: Well-Posedness and Dispersive Estimates. Arch Rational Mech Anal 234, 1391–1411 (2019). https://doi.org/10.1007/s00205-019-01414-4
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00205-019-01414-4