Sbv regularity of entropy solutions for a class of genuinely nonlinear scalar balance laws with non-convex flux function
TLDR
In this paper, the authors studied the regularity of entropy solutions of nonlinear scalar balance laws with convex flux functions and showed that BV entropy solutions belong to SBVloc(Ω).Abstract:
In this work we study the regularity of entropy solutions of the genuinely nonlinear scalar balance laws We assume that the source term g ∈ C1(ℝ × ℝ × ℝ+), that the flux function f ∈ C2(ℝ × ℝ × ℝ+) and that {ui ∈ ℝ : fuu(ui,x,t) = 0} is at most countable for every fixed (x,t) ∈ Ω. Our main result, which is a unification of two proposed intermediate theorems, states that BV entropy solutions of such equations belong to SBVloc(Ω). Moreover, using the theory of generalized characteristics we prove that for entropy solutions of balance laws with convex flux function, there exists a constant C > 0 such that: where C can be chosen uniformly for (x + h,t), (x,t) in any compact subset of Ω.read more
ZurichOpenRepositoryand
Archive
UniversityofZurich
UniversityLibrary
Strickhofstrasse39
CH-8057Zurich
www.zora.uzh.ch
Year:2008
SBVregularityofentropysolutionsforaclassofgenuinelynonlinearscalar
balancelawswithnon-convexuxfunction
Robyr,R
Abstract:Inthisworkwestudytheregularityofentropysolutionsofthegenuinelynonlinearscalar
balancelawsWeassumethatthesourcetermgC1(××+),thattheuxfunctionfC2(××+)
andthatui:fuu(ui,x,t)=0isatmostcountableforeveryxed(x,t)Ω.Ourmainresult,whichis
aunicationoftwoproposedintermediatetheorems,statesthatBVentropysolutionsofsuchequations
belongtoSBVloc(Ω).Moreover,usingthetheoryofgeneralizedcharacteristicsweprovethatforentropy
solutionsofbalancelawswithconvexuxfunction,thereexistsaconstantC>0suchthat:whereC
canbechosenuniformlyfor(x+h,t),(x,t)inanycompactsubsetofΩ.
DOI:https://doi.org/10.1142/S0219891608001544
PostedattheZurichOpenRepositoryandArchive,UniversityofZurich
ZORAURL:https://doi.org/10.5167/uzh-8522
JournalArticle
AcceptedVersion
Originallypublishedat:
Robyr,R(2008).SBVregularityofentropysolutionsforaclassofgenuinelynonlinearscalarbalance
lawswithnon-convexuxfunction.JournalofHyperbolicDierentialEquations,5(2):449-475.
DOI:https://doi.org/10.1142/S0219891608001544
SBV regularity of entropy solutions for a lass
of genuinely nonlinear salar balane laws with
non-onvex ux funtion.
R.Robyr - UNI Zurih - Preprint
January 17, 2008
Abstrat
In this work we study the regularity of entropy solutions of the genuinely nonlinear
salar balane laws
D
t
u(x, t) + D
x
[f(u(x, t), x, t)] + g(u(x, t), x, t) = 0
in an op en set
Ω ⊂ R
2
.
We assume that the soure term
g ∈ C
1
(R × R × R
+
)
, that the ux funtion
f ∈
C
2
(R × R × R
+
)
and that
{u
i
∈ R : f
uu
(u
i
, x, t) = 0}
is at most ountable for every
xed
(x, t) ∈ Ω
. Our main result, whih is a uniation of two prop osed intermediate
theorems, states that
BV
entropy solutions of suh equations belong to
SBV
loc
(Ω)
.
Moreover, using the theory of generalized harateristis we prove that for entropy
solutions of balane laws with onvex ux funtion, there exists a onstant
C > 0
suh that:
u([x + h]+, t) − u(x−, t) ≤ Ch, (h > 0)
where
C
an b e hosen uniformly for
(x + h, t), (x, t)
in any ompat subset of
Ω
.
1 Intro dution
In [2℄ the authors have shown that entropy solutions
u(x, t)
of salar onservation laws
D
t
u(x, t) + D
x
[f(u(x, t))] = 0
in an op en set
Ω ⊂ R
2
(1)
with lo ally uniformly onvex ux funtion
f ∈ C
2
(R)
and
f
′′
> 0
, are funtions of
lo ally sp eial b ounded variation, i.e. the distributional derivative
Du
has no Cantor
part. In the proof proposed by Ambrosio and De Lellis the go o d geometri struture
of the harateristis eld orrelated to the entropy solution play an imp ortant role and
allows to dene a geometri funtional whih jumps every time when a Cantor part of
the distributional derivative
Du(., t)
app ears in the solution. In partiular we reall here
two signiant prop erties of the harateristis: they are straight lines and two dierent
1
bakward harateristis an ross only at
t = 0
(the so-alled no rossing prop erty). We
note also that for equations (1) we an take the well-known Oleinik estimate as entropy
riterion, i.e. a distributional solution
u(x, t)
of (1) is an entropy solution provided that:
u(x + z, t) − u(x, t) ≤
˘
C
t
z,
for a
C > 0
(2)
holds for all
t > 0
,
x, z ∈ R
where
z > 0
. In [2℄ the one-sided estimate (2) is used as
entropy riterion and it is used to get the pro of.
In this note we extend this regularity result to a bigger lass of hyp erb oli onservation
laws. At rst we again onsider salar onservation laws (1) but allowing the hange of
onvexity of the ux funtion
f
at a ountable set of p oints. One of the diulties in
dealing with these equations is that rarefation waves may app ear even for
t > 0
and
onsequently the no rossing prop erty used in [2℄ do es not hold. For instane, it is p ossible
to onstrut a Riemann problem where the ux funtion has two inetions p oints and
a sho k splits into two ontat disontinuities (see [11℄). As we will see the strategy of
the pro of is not as ompliated as one an exp et: using an appropriate overing of
Ω
and working lo ally we redue the problem to the onvex or onave ase. Thus, our rst
extension theorem states:
Theorem 1.1.
Let
f ∈ C
2
(R)
be a ux funtion, suh that
{u
i
∈ R : f
′′
(u
i
) = 0}
is at
most ountable. Let
u ∈ BV (Ω)
be an entropy solution of the salar onservation law (1).
Then there exists a set
S ⊂ R
at most ountable suh that
∀τ ∈ R\S
the fol lowing holds:
u(., τ) ∈ SBV
loc
(Ω
τ
)
with
Ω
τ
:= {x ∈ R : (x, τ) ∈ Ω}.
(3)
In the seond part of this pap er we fo us our attention on genuinely nonlinear salar
balane laws
D
t
u(x, t) + D
x
[f(u(x, t), x, t)] + g(u(x, t), x, t) = 0
in
Ω ⊂ R
2
(4)
where the soure term
g
b elongs to
C
1
(R × R × R
+
)
, the ux funtions
f
b elongs to
C
2
(R × R × R
+
)
and
f
uu
(., x, t) > 0
for any xed
(x, t) ∈ Ω
. Again the geometri struture
of the harateristis is not as easy as in the ase treated in [2℄: now the harateristis
are Lipshitz urves and in general are not straight lines. The dierent shap e of the
harateristis are due to the presene of the soure term and to the dep endene of
f
on the
p oints
(x, t) ∈ Ω
. Fortunately, we an make use of the theory of generalized harateristis
intro dued by Dafermos (see [6℄,[7℄,[8℄) to analyze the b ehavior of the harateristis for
entropy solutions of (4). Imp ortant for our analysis is the no-rossing prop erty b etween
genuine harateristis. Thanks to this prop erty we an exp et to repro due the geometri
pro of prop osed in [2℄. All the denitions and propositions ab out the theory of generalized
harateristis, whih are helpful in our work, are listed in setion 3. Another problem, due
to the presene of the soure term and of the
(x, t)
dep endene, is that for equations (4)
the Oleinik estimate (2) stop to b e true. Moreover, the Oleinik estimate annot b e taken
as entropy riterion. What we an do, is to nd a suitable generalization of this estimate,
i.e. we will prove using the generalized harateristis that:
2
Theorem 1.2.
Let
f ∈ C
2
(R × R × R
+
)
be a ux funtion suh that
f
uu
(.) > 0
. Let
g ∈ C
1
(R × R × R
+
)
be a soure term and let
u ∈ L
∞
(Ω)
be an entropy solution of the
balane law (4). In any xed ompat set
K ⊂ Ω
there exists a positive onstant
C > 0
suh that:
u([x + z]+, t) − u(x−, t) ≤ Cz, (z > 0).
(5)
for every
(x, t), (x + z, t) ∈ K
.
However, for balane laws it is imp ossible to reover a onstant of the form
C =
˘
C/t
,
where
C
dep ends only on the time and on the seond derivative of
f
, estimate (5) is
suient to obtain all the regularity-results stated in this paper. The seond theorem on
the
SBV
regularity proposed is:
Theorem 1.3.
Let
f ∈ C
2
(R × R × R
+
)
be a ux funtion suh that
f
uu
(.) > 0
. Let
g ∈ C
1
(R × R × R
+
)
be a soure term and let
u ∈ L
∞
(Ω)
be an entropy solution of the
balane law (4). Then there exists a set
S ⊂ R
at most ountable suh that
∀τ ∈ R\S
the
fol lowing holds:
u(., τ) ∈ SBV
loc
(Ω
τ
)
with
Ω
τ
:= {x ∈ R : (x, τ) ∈ Ω}.
(6)
Combining the two Theorems on the
SBV
regularity we get a generalized Theorem,
whih says that also for balane laws with a ux funtion whih hanges onvexity at
most ountable many times, the entropy solution is a lo ally
SBV
funtion. Thus, as a
onsequene of Theorem 1.3 and 1.1 and of the sliing theory of
BV
funtions, we state:
Theorem 1.4.
Let
f ∈ C
2
(R × R × R
+
)
be a ux funtion, suh that
{u
i
∈ R : f
uu
(u
i
, x, t) = 0}
is at most ountable for any xed
(x, t)
. Let
g ∈ C
1
(R × R × R
+
)
be a soure term and let
u ∈ BV (Ω)
be an entropy solution of the balane law (4):
D
t
u(x, t) + D
x
[f(u(x, t), x, t)] + g(u(x, t), x, t) = 0
in
Ω ⊂ R
2
.
(7)
Then there exists a set
S ⊂ R
at most ountable suh that
∀τ ∈ R\S
the fol lowing holds:
u(., τ) ∈ SBV
loc
(Ω
τ
)
with
Ω
τ
:= {x ∈ R : (x, τ) ∈ Ω}.
(8)
Moreover,
u(x, t) ∈ SBV
loc
(Ω)
.
Salar onservation laws in one spae dimension and Hamilton-Jaobi equations in one
dimension are stritly onneted: entropy solutions orresp ond to visosity solutions (see
[9℄). Thus, at the end of the pap er using Theorem 1.3 we obtain also a regularity statement
for visosity solutions
u
of a lass of Hamilton-Jaobi equations: we prove that the gradient
Du
of suh solutions belongs to
SBV
loc
(Ω)
.
3
Corollary 1.1
(Hamilton-Jaobi)
.
Let
H(u, x, t) ∈ C
2
(R × R × R
+
)
be loal ly uniformly
onvex in
u
, i.e.
D
uu
H > 0
. If
w ∈ W
1,∞
(Ω)
is a visosity solution of
w
t
(x, t) + H(w
x
(x, t), x, t) = 0,
(9)
then
Dw ∈ SBV
loc
(Ω)
.
It would b e interesting to nd the same regularity for entropy
BV
solutions of genuinely
nonlinear system of onservation laws in one spae dimension. We note that there are
analogies b etween the struture of the generalized harateristis of systems and the one
of the balane laws 4 of Theorem 1.4 prop osed in here: in b oth ases the harateristis
an interset at
t 6= 0
and in general they are not straight lines but Lipshitz urves,
whih are a.e. dierentiable. Although the geometry of the harateristis eld of these
two problems seems to b e similar, the ase of systems lo oks muh more diult. Another
op en question is the lo al
SBV
regularity for gradients of visosity solutions of uniformly
onvex Hamilton-Jaobi PDEs in higher spae dimensions. In [4℄ the authors have shown
that under strong regularity assumptions on the initial funtions
u
0
, the visosity solution
u
has a gradient
Du
, whih b elongs to the lass
SBV
, i.e.
D
2
u
is a measure with no Cantor
part (in fat the regularity theory of [4℄ and [5℄ gives stronger onlusions).
2 Funtions with b ounded variation and sp eial fun-
tions of b ounded variation
It is well-known that in general we annot nd lassial smo oth solutions for equations (1)
and (4): sho ks app ear in nite time even for smo oth initial data
u(x, 0) = u
0
(x)
. In order
to study all the p ossible solutions with jump disontinuities, we take the spae of funtions
of b ounded variation
BV
as working spae. We then ollet some denitions and theorems
ab out
BV
and
SBV
funtions.
Denition 2.1.
Let
u ∈ L
1
(Ω)
; we say that
u
is a funtion of bounded variation in
Ω
if the distributional derivative of
u
, denoted by
Du
, is representable by a nite Radon
measure on
Ω
. A funtion
u ∈ L
1
loc
(Ω)
has loal ly bounded variation in
Ω
if for eah
open set
V ⊂⊂ Ω
,
u
is a funtion of bounded variation in
V
. We write
u ∈ BV (Ω)
and
u ∈ BV
loc
(Ω)
respetively.
In our pro ofs we will have to deal with one-dimensional funtions of b ounded variation,
therefore we ollet here some useful prop erties. Using the Radon-Niko dym Theorem we
split the Radon measure
Du
into the absolute ontinuous part
D
a
u
(with resp et to
L
1
)
and the singular part
D
s
u
:
Du = D
a
u+D
s
u = Du (Ω\S)+Du S
where
S :=
n
x ∈ Ω : lim
ρ↓0
|Du|(B
ρ
(x))
ρ
= ∞
o
.
4
Citations
More filters
Journal ArticleDOI
SBV Regularity for Genuinely Nonlinear, Strictly Hyperbolic Systems of Conservation Laws in one Space Dimension
TL;DR: In this article, it was shown that the entropy solution to a strictly hyperbolic system of conservation laws with genuinely nonlinear characteristic fields is the solution to the problem of controlling the creation of atoms in a measure with no Cantorian part.
Journal ArticleDOI
Lower compactness estimates for scalar balance laws
TL;DR: In this article, the compactness of the semigroup of the image through St of bounded sets C in L 1 \ L 1 which is denoted by L 1 is studied.
Journal ArticleDOI
SBV Regularity for Genuinely Nonlinear, Strictly Hyperbolic Systems of Conservation Laws in one space dimension
TL;DR: In this paper, it was shown that for a strictly hyperbolic system of conservation laws with genuinely nonlinear characteristic fields, the entropy solution to the conservation laws is the entropy solutions to the wave decomposition.
Journal ArticleDOI
Finer regularity of an entropy solution for 1-d scalar conservation laws with non uniform convex flux
TL;DR: In this article, it was shown that for all most every t > 0, locally, the solution is in SBV (Special functions of bounded variations) in space variable, and that for almost everywhere in t ≥ 0, the entropy solution cannot be removed.
Journal ArticleDOI
SBV Regularity for Hamilton–Jacobi Equations in \({{\mathbb R}^n}\)
TL;DR: In this article, the regularity of viscosity solutions to the Hamilton-Jacobi equation was studied under the assumption that the Hamiltonian is uniformly convex, and it was shown that the class SBV isEnabled loc (Ω) belongs to the class of SBV▬▬▬▬▬▬▬ ǫ.
References
More filters
Book ChapterDOI
A front tracking method for conservation laws with boundary conditions
TL;DR: In this article, a front tracking method is used to construct weak solutions to scalar conservation laws with two kinds of boundary conditions, Dirichlet conditions and a novel zero flux (or no-flow) condition.