Home Radon measure-valued solutions of first order scalar conservation laws
Article Open Access

Radon measure-valued solutions of first order scalar conservation laws

  • Michiel Bertsch , Flavia Smarrazzo , Andrea Terracina and Alberto Tesei EMAIL logo
Published/Copyright: August 23, 2018

Abstract

We study nonnegative solutions of the Cauchy problem

{ t u + x [ φ ( u ) ] = 0 in  × ( 0 , T ) , u = u 0 0 in  × { 0 } ,

where u 0 is a Radon measure and φ : [ 0 , ) is a globally Lipschitz continuous function. We construct suitably defined entropy solutions in the space of Radon measures. Under some additional conditions on φ, we prove their uniqueness if the singular part of u 0 is a finite superposition of Dirac masses. Regarding the behavior of φ at infinity, we give criteria to distinguish two cases: either all solutions are function-valued for positive times (an instantaneous regularizing effect), or the singular parts of certain solutions persist until some positive waiting time (in the linear case φ ( u ) = u this happens for all times). In the latter case, we describe the evolution of the singular parts.

1 Introduction

In this paper we consider the Cauchy problem

(P) { t u + x [ φ ( u ) ] = 0 in  × ( 0 , T ) = : S , u = u 0 in  × { 0 } ,

where T > 0 , u 0 is a nonnegative finite Radon measure on , and φ : [ 0 , ) , φ ( 0 ) = 0 , is a Lipschitz continuous function (see assumption H1). Therefore, φ grows at most linearly.

Problem (P) with a superlinear φ of the type φ ( u ) = u p , p > 1 , was studied in [19], proving existence and uniqueness of nonnegative entropy solutions (see also [8]). By definition, in that paper the solution for positive times takes values in L 1 ( ) , although the initial data u 0 is a finite Radon measure. Interesting, albeit sparse results concerning (P) with φ at most linear at infinity can be found in the pioneering paper [10], in which the same definition of Radon measure-valued solutions used below (see equality (3.8)) was proposed.

When φ ( u ) = C u ( C ), problem (P) is the Cauchy problem for the linear transport equation

{ t u + C x u = 0 in  S , u = u 0 in  × { 0 } ,

whose solution is trivially the translated of u 0 along the lines x = C t + x 0 ( x 0 ). In particular, the singular part u s ( , t ) of the solution is nonzero for t > 0 if and only if the same holds for t = 0 .

It is natural to ask what happens if φ is sublinear. To address this case we must consider solutions of problem (P) which, for t > 0 , possibly are finite Radon measures on as the initial data u 0 . Therefore, throughout the paper we consider solutions of problem (P) as maps from [ 0 , T ] to the cone of nonnegative finite Radon measures on , which satisfy (P) in the following sense: for a suitable class of test functions ζ, we have

S [ u r t ζ + φ ( u r ) x ζ ] 𝑑 x 𝑑 t + 0 T u s ( , t ) , ν ζ ( , t ) 𝑑 t = - u 0 , ζ ( , 0 )

(see Definition 3.3). Here the measure u ( t ) is defined for a.e. t ( 0 , T ) , u r L 1 ( S ) is the density of its absolutely continuous part, , denotes the duality map, and

ν ζ := t ζ + C φ x ζ , C φ := lim u φ ( u ) u .

Measure-valued entropy solutions are defined similarly (see Definition 3.3).

We use an approximation procedure to construct measure-valued entropy solutions of problem (P) (see Theorem 3.7). In addition, we prove that the singular part u s of an entropy solution of problem (P) does not increase along the lines x = x 0 + C φ t (see Proposition 3.8). In particular, if C φ = 0 , the map t u s ( , t ) is nonincreasing.

Concerning the case when φ is sublinear, the following example is particularly instructive:

(1.1) { t u + x [ φ ( u ) ] = 0 in  S , u = δ 0 in  × { 0 } ,

with S := × ( 0 , T ) , T > 1 and

(1.2) φ ( u ) = sgn p [ ( 1 + u ) p - 1 ] ( p < 1 p 0 ).

The function in (1.2) is increasing and concave, with C φ = 0 , and belongs to a class for which the constructed entropy solution of problem (1.1)–(1.2) is unique (see Theorem 3.22). Hence, the following holds.

Proposition 1.1.

  1. Let p < 0 . Let ξ ( t ) be defined by

    ξ = - ( | p | t ξ - 1 ) p 1 - p - 1 ( | p | t ξ - 1 ) 1 1 - p - 1 in  ( 1 , T ) , ξ ( 1 ) = 0 .

    Let

    A := { ( x , t ) S 0 < x | p | t ,  0 t 1 } { ( x , t ) S ξ ( t ) x | p | t ,  1 < t T }

    and

    (1.3) u s ( t ) := max { 1 - t , 0 } δ 0 , u r ( x , t ) := [ ( | p | t x - 1 ) 1 1 - p - 1 ] χ A ( x , t ) ( ( x , t ) S ) .

    Then u = u r + u s is the unique constructed entropy solution of problem ( 1.1 )–( 1.2 ).

  2. Let 0 < p < 1 . Let ξ ( t ) be defined by

    ξ = ( | p | t ξ - 1 ) p 1 - p - 1 ( | p | t ξ - 1 ) 1 1 - p - 1 in  ( 0 , T ) , ξ ( 0 ) = 0 .

    If B := { ( x , t ) S ξ ( t ) x | p | t ,  0 < t T } , then

    (1.4) u ( x , t ) = u r ( x , t ) := [ ( | p | t x - 1 ) 1 1 - p - 1 ] χ B ( x , t ) ( ( x , t ) S )

    is the unique constructed entropy solution of problem ( 1.1 )–( 1.2 ).

Let us define the waiting time t 0 [ 0 , T ] for solutions u of (P):

(1.5) t 0 := inf { τ ( 0 , T ] u s ( , t ) = 0 , u r ( , t ) L ( )  for a.e.  t ( τ , T ) }

(by abuse of language, we call t 0 “waiting time” even if t 0 = T ). Then, by Proposition 1.1,

  1. positive waiting times occur in problem (1.1)–(1.2) if and only if p < 0 .

More precisely, if p < 0 , the singular part u s ( , t ) persists until the waiting time t 0 = 1 at which it disappears, whereas for 0 < p < 1 , the singular part vanishes for all t > 0 , thus t 0 = 0 – an instantaneous regularizing effect. Instantaneous regularization also occurs if p > 1 (see [19] and Remark 3.24), whereas, as already remarked, in the linear case p = 1 , we have t 0 = T if u 0 s 0 .

Since φ ( u ) = sgn p [ ( 1 + u ) p - 1 ] ( p < 1 , p 0 ) is bounded if and only if p < 0 , and C φ = 0 , statement (*) could be rephrased as follows.

Proposition 1.2.

Positive waiting times occur in problem (1.1) if and only if the map u φ ( u ) - C φ u , with φ as in (1.2), is bounded in [ 0 , ) .

The above result is generalized to problem (P), by Theorem 3.18, for functions φ which satisfy for u large a condition implying either concavity or convexity (see assumption (H4) and Remark 3.13). The proof of Theorem 3.18 makes use of estimates of the density u r of the solution of (P), which are strongly reminiscent of the Aronson–Bénilan inequality for the porous medium equation (see Proposition 6.2). The main results on the waiting time and the regularity of solutions of (P) are collected in Section 3.3. The existence and an upper bound, in terms of φ and u 0 , of a waiting time was already pointed out in [10, Proposition 2.1] (see also Theorem 3.8 (ii)).

Another interesting feature of the solution of (1.1)–(1.2), with p < 0 , is that for t ( 0 , 1 ) , i.e., as long as u s ( , t ) > 0 , we have

lim x 0 + u r ( x , t ) = .

Namely, the regular part u r ( , t ) diverges when approaching from the right the point x 0 = 0 , where u s ( , t ) is concentrated. As we shall see below (see (3.24)–(3.25)), this property can be generalized to entropy solutions of a larger class of problems, characterized by the concavity/convexity property on φ mentioned before. In this class a generalized form of this property will also be used as a uniqueness criterion, provided that φ ( u ) - C φ u is bounded in [ 0 , ) and u 0 s is a finite superposition of Dirac masses (see Proposition 3.17 and Theorem 3.22). In [10] it was already observed that Kruzkov’s entropy inequalities do not guarantee the uniqueness of solutions (see also Remark 3.23 below), and the formulation of an additional uniqueness criterion was left as an open problem. This problem is addressed in a forthcoming paper, where more general compatibility conditions are given, which ensure uniqueness also for non-convex or non-concave functions φ (see [3]).

Apart from the intrinsic mathematical interest of problem (P), it is worth pointing out its connection with a class of relevant models. Ion etching is a common technique for the fabrication of semiconductor devices, also relevant in other fields of metallurgy, in which the material to be etched is bombarded with an ion beam (see [16, 25, 24]). Mathematical modelling of the process leads to the Hamilton–Jacobi equation in one space dimension

(HJ) { t U + φ ( x U ) = 0 in  × ( 0 , T ) , U = U 0 in  × { 0 } ,

where U = U ( x , t ) denotes the thickness of the material and φ is bounded, non-convex and vanishing at infinity. Formal differentiation with respect to x suggests to describe the problem in terms of the unknown u := x U , which formally solves (P) with u 0 = U 0 . In this way, discontinuous solutions of (HJ) correspond to Radon measure-valued solutions of (P) having a Dirac mass δ x 0 concentrated at any point x 0 , where U ( , t ) is discontinuous ( t ( 0 , T ) ) . A rigorous justification of the above argument, relating discontinuous viscosity solutions of (HJ) to Radon measure-valued entropy solutions of (P), is to our knowledge an open problem (in this connection, see [7, 14]).

In the context of conservation laws, the term “measure-valued solution” usually refers to solutions in the sense of Young measures, after DiPerna’s seminal paper [11]. We stress that this concept of “statistical solutions” is completely different from that of Radon measure-valued solutions, introduced by Demengel and Serre [10], and discussed in the present paper. On the other hand, we do use Young measures in this paper, since they are an important ingredient in the construction of Radon measure valued solutions (see Section 3 and, in particular, Section 5).

A number of ideas used in the present paper go back to papers dealing with Radon measure-valued solutions of quasilinear parabolic problems, also of forward-backward type (in particular, see [6, 4, 5, 21, 23, 27]).

The results presented in this paper naturally lead to some open problems. Among them we mention a general statement about an instantaneous regularizing effect for fluxes with superlinear growth (singular parts should disappear instantaneously for t > 0 ), and an appropriate generalization of our results to the case of solutions with changing signs, when additional nonuniqueness phenomena (such as N-waves, see [19]) may occur; in this regard, the general case of an initial signed Radon measure u 0 in problem (P) will be considered in a forthcoming paper. Another open problem is whether new phenomena occur if φ is uniformly Lipschitz continuous on [ 0 , ) but the limit φ ( s ) / s as s does not exist.

The paper is organized as follows. In Section 2 we recall several known results used in the sequel and introduce some notation. In Section 3 we present the main results of the paper. In Section 4 we introduce the approximation procedure needed for the construction of solutions. Sections 57 are devoted to the proofs of existence, qualitative properties and uniqueness of solutions.

2 Preliminaries

2.1 Function spaces and Radon measures

We denote by ( ) the Banach space of finite Radon measures on , with norm μ ( ) := | μ | ( ) . By + ( ) , we denote the cone of nonnegative finite Radon measures; if μ 1 , μ 2 ( ) , then we write μ 1 μ 2 if μ 2 - μ 1 + ( ) . We denote the convex set of probability measures on by 𝒫 𝓁 1 ( ) + ( ) . We have τ ( ) = τ ( ) = 1 for τ 𝒫 ( ) .

We denote by C c ( ) the space of continuous real functions with compact support in . The space of the functions of bounded variation in is denoted by BV ( ) := { u L 1 ( ) u ( ) } , where u is the distributional derivative of u. It is endowed with the norm u BV ( ) := u L 1 ( ) + u ( ) . We say that u BV loc ( ) if u BV ( Ω ) for every open bounded subset Ω .

The Lebesgue measure, either on or S := × ( 0 , T ) , is denoted by | | . Integration with respect to the Lebesgue measure on or on S will be denoted by the usual symbols dx, respectively d x d t . A Borel set E is null if | E | = 0 . The expression “almost everywhere”, or shortly “a.e.”, means “up to null sets”. For every measurable function f defined on and x 0 , we write ess lim x x 0 f ( x ) = l if there is a null set E * such that f ( x n ) l for any sequence { x n } ( E * { x 0 } ) , x n x 0 . We set f ± := max { ± f , 0 } for every measurable function f on .

We denote the duality map between ( ) and C c ( ) by μ , ρ := ρ 𝑑 μ . By abuse of notation, we extend μ , ρ to any μ-integrable function ρ. A sequence { μ n } converges strongly to μ in ( ) if μ n - μ ( ) 0 as n . A sequence { μ n } of (possibly not finite) Radon measures on converges weakly * to a (possibly not finite) Radon measure μ, i.e., μ n * μ , if μ n , ρ μ , ρ for all ρ C c ( ) . Similar definitions are used for (possibly not finite) Radon measures on Ω × ( 0 , T ) , with Ω .

Every μ ( ) has a unique decomposition μ = μ ac + μ s , with μ ac ( ) absolutely continuous and μ s ( ) singular with respect to the Lebesgue measure. We denote by μ r L 1 ( ) the density of μ ac . Every function f L 1 ( ) can be identified to a finite absolutely continuous Radon measure on ; we shall denote this measure by the same symbol f used for the function.

The restriction μ E of μ ( ) to a Borel set E is defined by ( μ E ) ( A ) := μ ( E A ) for any Borel set A . Similar notations are used for the spaces of finite Radon measures ( Ω ) , with Ω , ( S ) and ( S × ) , where S := × ( 0 , T ) .

We shall use measures u ( S ) which, roughly speaking, admit a parametrization with respect to the time variable.

Definition 2.1.

We denote by L ( 0 , T ; + ( ) ) the set of finite nonnegative Radon measures u + ( S ) such that for a.e. t ( 0 , T ) , there is a measure u ( , t ) + ( ) with the following properties:

  1. if ζ C ( [ 0 , T ] ; C c ( ) ) , the map t u ( , t ) , ζ ( , t ) belongs to L 1 ( 0 , T ) and

    (2.1) u , ζ S = 0 T u ( , t ) , ζ ( , t ) 𝑑 t ,

  2. the map t u ( , t ) ( ) belongs to L ( 0 , T ) .

Accordingly, we set

u L ( 0 , T ; ( ) ) := ess sup t ( 0 , T ) u ( , t ) ( ) for  u L ( 0 , T ; + ( ) ) .

Remark 2.2.

The definition implies that for all ρ C c ( ) , the map t u ( , t ) , ρ is measurable, thus the map u : ( 0 , T ) ( ) is weakly * measurable (e.g., see [22, Section 6.7]). For simplicity, we prefer the notation L ( 0 , T ; ( ) ) to the more correct one L w * ( 0 , T ; ( ) ) , which is used in [22].

If u L ( 0 , T ; + ( ) ) , then also u ac , u s L ( 0 , T ; + ( ) ) and, by (2.1),

(2.2) u ac , ζ S = S u r ζ 𝑑 x 𝑑 t , u s , ζ S = 0 T u s ( , t ) , ζ ( , t ) 𝑑 t

for ζ C ( [ 0 , T ] ; C c ( ) ) . One can easily check that for a.e. t ( 0 , T ) ,

(2.3) u ac ( , t ) = [ u ( , t ) ] ac , u s ( , t ) = [ u ( , t ) ] s , u r ( , t ) = [ u ( , t ) ] r ,

where [ u ( , t ) ] r denotes the density of the measure [ u ( , t ) ] ac . For ρ C c ( ) , we have

[ u ( , t ) ] ac , ρ = [ u ( , t ) ] r ρ 𝑑 x = u r ( , t ) ρ 𝑑 x for a.e.  t ( 0 , T ) .

In view of (2.2)–(2.3), we shall always identify the quantities which appear on either side of equalities (2.3).

For any μ ( ) and a , the translated measure 𝒯 a ( μ ) is defined by

𝒯 a ( μ ) , ρ := μ , ρ - a

for any ρ C c ( ) , where ρ - a ( x ) := ρ ( x + a ) ( x ). Clearly, 𝒯 a ( μ ) ( ) and

[ 𝒯 a ( μ ) ] ac = 𝒯 a ( μ ac ) , [ 𝒯 a ( μ ) ] s = 𝒯 a ( μ s ) .

2.2 Young measures

We recall the following result [2].

Theorem 2.3.

Let Ω R N be Lebesgue measurable, let K R be closed, and let u n : Ω R be a sequence of Lebesgue measurable functions such that

lim n | { x Ω u n ( x ) U } | = 0

for any open neighborhood U of K in R . Then there exist a subsequence { u j } { u n j } { u n } and a family { τ x } of nonnegative measures on R , depending measurably on x Ω , such that

  1. τ x ( ) := 𝑑 τ x 1 for a.e. x Ω ,

  2. supp τ x K for a.e. x Ω ,

  3. for every continuous function f : satisfying lim | ξ | f ( ξ ) = 0 , we have

    f ( u j ) * f * in  L ( Ω ) ,

    where

    (2.4) f * ( x ) := τ x , f = f ( ξ ) 𝑑 τ x ( ξ ) for a.e.  x Ω .

Suppose further that { u j } satisfies the boundedness condition

(2.5) lim k sup j | { x Ω B R | u j ( x ) | k } | = 0

for every R > 0 , where B R := { x R N | x | < R } . Then

  1. τ x is a probability measure for a.e. x Ω ,

  2. given any measurable subset A Ω , we have

    (2.6) f ( u j ) f * in  L 1 ( A )

    for all continuous functions f : such that { f ( u j ) } is sequentially weakly compact in L 1 ( A ) .

Below we shall always refer to the family { τ x } of probability measures given by the previous theorem as the disintegration of the Young measure τ (or briefly Young measure) associated to the sequence { u j } . We denote the set of Young measures on Ω × by 𝒴 ( Ω ; ) ; in particular, 𝒴 ( S ; ) denotes the set of Young measures on S × , with S := × ( 0 , T ) .

Remark 2.4.

  1. The argument used in the proof of Theorem 2.3 shows that, under hypothesis (2.5), the convergence in (2.6) holds true for Carathéodory functions f : A × if { f ( , u j ) } is sequentially weakly relatively compact in L 1 ( A ) .

  2. Condition (2.5) is very weak. It is equivalent to the statement that for any R > 0 , there is a continuous nondecreasing function g R : [ 0 , ) such that

    lim ξ g R ( ξ ) = , sup j Ω B R g R ( | u j ( x ) | ) 𝑑 x < .

    Therefore, Theorem 2.3 applies to bounded sequences { u j } in L 1 ( Ω ) (in which case g R ( ξ ) = ξ ).

If Ω N is bounded and { u j } is a bounded but not uniformly integrable sequence in L 1 ( Ω ) , it is possible to extract a uniformly integrable subsequence “by removing sets of small measure”. This is the content of the following “Biting lemma” (e.g., see [17, 28] and references therein).

Theorem 2.5.

Let { u n } be a bounded sequence in L 1 ( Ω ) , where Ω R N is a bounded open set. Moreover, let { u j } { u n } and { τ x } be the subsequence and the Young measure given in Theorem 2.3, respectively. Then there exist a subsequence { u k } { u j k } { u j } and a decreasing sequence of measurable sets E k Ω of Lebesgue measure | E k | 0 such that the sequence { u k χ Ω E k } is uniformly integrable and

u k χ Ω E k Z := ξ 𝑑 τ ( ξ ) in  L 1 ( Ω ) ,

where Z L 1 ( Ω ) is called the barycenter of the disintegration { τ x } .

3 Main results

Throughout the paper we assume that u 0 + ( ) . Concerning φ, we always suppose that

  1. φ C ( [ 0 , ) ) , φ ( 0 ) = 0 , φ L ( 0 , ) , and lim u φ ( u ) u = : C φ exists.

Hence, there exists M > 0 such that

(3.1) | φ ( u ) | M , | φ ( u ) | M u for a.e.  u > 0 .

3.1 Definition of solution

In the following definitions, we denote by

(3.2) ν ζ := t ζ + C φ x ζ

the derivative of any ζ C 1 ( S ) along the vector τ ¯ ( C φ , 1 ) .

Definition 3.1.

By a solution of problem (P) in the sense of Young measures, we mean a pair ( u , τ ) such that

  1. u L ( 0 , T ; + ( ) ) , τ 𝒴 ( S ; ) ,

  2. supp τ ( x , t ) [ 0 , ) for a.e. ( x , t ) S , and

    (3.3) u r ( x , t ) = [ 0 , ) ξ 𝑑 τ ( x , t ) ( ξ ) ,

    where τ ( x , t ) 𝒫 𝓁 1 ( ) is the disintegration of τ,

  3. for all ζ C 1 ( [ 0 , T ] ; C c 1 ( ) ) , with ζ ( , T ) = 0 in , we have

    (3.4) S [ u r t ζ + φ * x ζ ] 𝑑 x 𝑑 t + 0 T u s ( , t ) , ν ζ ( , t ) 𝑑 t = - u 0 , ζ ( , 0 ) ,

    where ν ζ is defined by (3.2) and

    (3.5) φ * ( x , t ) := [ 0 , ) φ ( ξ ) 𝑑 τ ( x , t ) ( ξ ) for a.e.  ( x , t ) S .

By an entropy solution of problem (P) in the sense of Young measures, we mean a solution such that

S [ E * t ζ + F * x ζ ] 𝑑 x 𝑑 t + C E 0 T u s ( , t ) , t ζ ( , t ) 𝑑 t + C F 0 T u s ( , t ) , x ζ ( , t ) 𝑑 t
(3.6) - E ( u 0 r ) ζ ( x , 0 ) 𝑑 x - C E u 0 s , ζ ( , 0 )

for all ζ as above, ζ 0 , and for every pair ( E , F ) , E , F : [ 0 , ) , such that

  1. E is convex, E , F L ( 0 , ) , F = E φ in ( 0 , ) , and lim u E ( u ) u = : C E , lim u F ( u ) u = : C F exist.

In (3.6), for a.e. ( x , t ) S , we set

E * ( x , t ) := [ 0 , ) E ( ξ ) 𝑑 τ ( x , t ) ( ξ ) , F * ( x , t ) := [ 0 , ) F ( ξ ) 𝑑 τ ( x , t ) ( ξ ) .

Entropy subsolutions (respectively supersolutions) of problem (P) in the sense of Young measures are defined by requiring that inequality (3.6) be satisfied for all ζ and ( E , F ) as above, with E nondecreasing (respectively nonincreasing).

Observe that choosing E ( u ) = ± u in the entropy inequality (3.6) plainly gives the weak formulation (3.4).

Remark 3.2.

  1. By (3.1), (3.3) and (3.5),

    (3.7) | φ * ( x , t ) | M [ 0 , ) ξ 𝑑 τ ( x , t ) ( ξ ) = M u r ( x , t ) for a.e.  ( x , t ) S .

    Since u r L ( 0 , T ; L 1 ( ) ) , by (3.7), we have that φ * L ( 0 , T ; L 1 ( ) ) .

  2. By (C1), the functions E, F have at most linear growth. Arguing as in (i), it follows that E * and F * belong to L ( 0 , T ; L loc 1 ( ) ) and L ( 0 , T ; L 1 ( ) ) , respectively, if E ( 0 ) = F ( 0 ) = 0 .

Definition 3.3.

A measure u L ( 0 , T ; + ( ) ) is called a solution of problem (P) if for all ζ C 1 ( [ 0 , T ] ; C c 1 ( ) ) , ζ ( , T ) = 0 in , we have

(3.8) S [ u r t ζ + φ ( u r ) x ζ ] 𝑑 x 𝑑 t + 0 T u s ( , t ) , ν ζ ( , t ) 𝑑 t = - u 0 , ζ ( , 0 ) ,

where ν ζ is defined by (3.2). A solution of problem (P) is called an entropy solution if for all ζ 0 as above and for all ( E , F ) as in (C1), it satisfies the entropy inequality

S [ E ( u r ) t ζ + F ( u r ) x ζ ] 𝑑 x 𝑑 t + C E 0 T u s ( , t ) , t ζ ( , t ) 𝑑 t + C F 0 T u s ( , t ) , x ζ ( , t ) 𝑑 t
(3.9) - E ( u 0 r ) ζ ( x , 0 ) 𝑑 x - C E u 0 s , ζ ( , 0 ) .

Entropy subsolutions (respectively supersolutions) of problem (P) are defined by requiring (3.9) to be satisfied for all ζ and ( E , F ) as before, with E nondecreasing (respectively nonincreasing).

A solution of problem (P) is also a solution in the sense of Young measures. Moreover, it follows from (3.1) that φ ( u r ) L ( 0 , T ; L 1 ( ) ) . Similar remarks hold for entropy solutions, subsolutions and supersolutions.

Remark 3.4.

  1. If C φ = 0 , equality (3.8) reads

    S [ u t ζ + φ ( u r ) x ζ ] 𝑑 x 𝑑 t = - u 0 , ζ ( , 0 ) ,

    whence t u = - x [ φ ( u r ) ] in 𝒟 ( S ) .

  2. For the Kružkov entropies E ( u ) = | u - k | , F ( u ) = sgn ( u - k ) [ φ ( u ) - φ ( k ) ] ( k [ 0 , ) ), we have C E = 1 , C F = C φ . Then inequality (3.9), for all k [ 0 , ) , reads

    S { | u r - k | t ζ + sgn ( u r - k ) [ φ ( u r ) - φ ( k ) ] x ζ } 𝑑 x 𝑑 t + 0 T u s ( , t ) , ν ζ ( , t ) 𝑑 t
    (3.10) - | u 0 r - k | ζ ( x , 0 ) d x - u 0 s , ζ ( , 0 ) .

The following proposition states that for any solution of (P) in the sense of Young measures, the map t u ( t ) , possibly redefined in a null set, is continuous up to t = 0 with respect to the weak * topology of + ( ) . In particular, it explains in which sense the initial condition is satisfied.

Proposition 3.5.

Let (H1) be satisfied, let ( u , τ ) be a solution of problem (P) in the sense of Young measures, and let ρ C c ( R ) . Then

(3.11) ess lim t 0 + u ( , t ) , ρ = u 0 , ρ ,
(3.12) ess lim t t 0 u ( , t ) , ρ = u ( , t 0 ) , ρ for a.e.  t 0 ( 0 , T ) .

The map t u ( t ) has a representative, defined for all t [ 0 , T ] , such that

(3.13) lim t t 0 u ( , t ) , ρ = u ( , t 0 ) , ρ for all  t 0 [ 0 , T ] .

3.2 Existence and monotonicity

The existence of solutions is proven by an approximation procedure. If u 0 + ( ) , then there exist u 0 n L 1 ( ) L ( ) such that

(3.14) u 0 n 0 in  , u 0 n L 1 ( ) u 0 ( ) ,
(3.15) u 0 n * u 0 , u 0 n u 0 r a.e. in  , u 0 n - u 0 r L loc 1 ( supp u 0 s ) 0

(e.g., see [23, Lemma 4.1]). Consider the approximating problem

(Pn) { t u n + x [ φ ( u n ) ] = 0 in  S , u n = u 0 n in  × { 0 } ( n ) .

Let us recall the definition of entropy solution of problem (Pn) (e.g., see [9]).

Definition 3.6.

A function u n L ( 0 , T ; L 1 ( ) ) L ( S ) is called an entropy solution of problem (Pn) if for every ζ C 1 ( [ 0 , T ] ; C c 1 ( ) ) , with ζ ( , T ) = 0 in and ζ 0 , and for any couple ( E , F ) , with E convex and F = E φ , we have

(3.16) S [ E ( u n ) t ζ + F ( u n ) x ζ ] 𝑑 x 𝑑 t - E ( u 0 n ) ζ ( x , 0 ) 𝑑 x .

Entropy solutions are weak solutions if ζ C 1 ( [ 0 , T ] ; C c 1 ( ) ) , ζ ( , T ) = 0 in and

(3.17) S [ u n t ζ + φ ( u n ) x ζ ] 𝑑 x 𝑑 t + u 0 n ζ ( x , 0 ) 𝑑 x = 0 .

By studying the limiting points of the sequence { u n } , we shall prove the following result.

Theorem 3.7.

  1. Let (H1) be satisfied. Then problem ( (P) ) has a solution u , which is obtained as a limiting point of the sequence { u n } of entropy solutions to problems ( (Pn) ). In addition, u is an entropy solution of problem ( (P) ) in the sense of Young measures.

  2. Let (H1) and the following assumption be satisfied:

    1. φ C 1 ( [ 0 , ) ) , and for every u ¯ > 0 , there exist a , b 0 , a + b > 0 , such that φ is strictly monotone in [ u ¯ - a , u ¯ + b ] .

    Then u is an entropy solution of problem ( (P) ).

Hypothesis (C1) fails if for example φ is affine in an interval ( a , b ) ( 0 , ) . In that case, Proposition 5.9 (iii), which characterizes the limiting Young measure, gives some additional information.

The following proposition shows that the singular part of an entropy subsolution of (P) does not increase along the lines x = C φ t + x 0 .

Proposition 3.8.

Let (H1) be satisfied.

  1. Let u be an entropy subsolution of problem ( (P) ) in the sense of Young measures. Then

    (3.18) u s ( , t 2 ) 𝒯 C φ ( t 2 - t 1 ) ( u s ( , t 1 ) ) in  + ( ) , for a.e.  0 t 1 t 2 T .

    In particular,

    (3.19) u s ( , t ) 𝒯 C φ t ( u 0 s ) in  + ( ) , for a.e.  t ( 0 , T ) ,

    whence u s ( , t ) ( ) u 0 s ( ) for a.e. t ( 0 , T ) .

  2. Let u be a solution of problem ( (P) ). Then there is conservation of mass, i.e.,

    u ( , t ) ( ) = u 0 ( ) for a.e.  t ( 0 , T ) .

The linear case φ ( u ) = u shows that equality may hold in (3.18). Moreover, if C φ = 0 , it follows from (3.18) that the map t u s ( , t ) is nonincreasing.

3.3 Waiting time and regularity

It is convenient to distinguish two cases: C φ = 0 (sublinear growth at infinity) and C φ 0 (linear growth at infinity), with C φ defined by (H1).

3.3.1 Sublinear growth

Beside (H1), we will use the following assumption:

  1. φ C ( [ 0 , ) ) , C φ = 0 , there exist H - 1 , K such that φ ′′ ( u ) [ H φ ( u ) + K ] - [ φ ( u ) ] 2 < 0 for all u [ 0 , ) .

By (H2) the map u φ ′′ ( u ) [ H φ ( u ) + K ] is strictly negative and continuous in [ 0 , ) , hence two cases are possible: either (a) H φ + K > 0 , φ ′′ < 0 , or (b) H φ + K < 0 , φ ′′ > 0 in [ 0 , ) . In case (a), we have φ > 0 in [ 0 , ) , since φ ′′ < 0 and lim u φ ( u ) = C φ = 0 . Similarly, in case (b), we have plainly φ < 0 in [ 0 , ) . In particular, in both cases (H2) implies (C1). Moreover, if also (H1) holds, thus φ ( 0 ) = 0 , we have H φ + K > 0 in [ 0 , ) if and only if K > 0 .

Remark 3.9.

The following examples show that all values of H - 1 may occur in (H2):

φ ( u ) = sgn p [ ( 1 + u ) p - 1 ] ( p < 1 , p 0 ) H = p 1 - p ( - 1 , 0 ) ( 0 , ) , K = | H | ,
φ ( u ) = 1 - e - α u ( α > 0 ) H = - 1 , K = 1 ,
φ ( u ) = log ( 1 + u )  or  φ ( u ) = 1 - 1 log ( e + u ) H = 0 , K = 1 .

The following property of constructed entropy solutions plays an important role as a uniqueness criterion (see its generalized form given by Proposition 3.17 and Theorem 3.22 below).

Proposition 3.10.

Let (H1)(H2) be satisfied, and let φ be bounded in [ 0 , ) . Then every entropy solution u of problem (P) given by Theorem 3.7 satisfies, for a.e. t ( 0 , T ) and all x 0 supp u s ( , t ) ,

(3.20) ess lim x x 0 + u r ( x , t ) = if  φ > 0 in  [ 0 , ) ,
ess lim x x 0 - u r ( x , t ) = if  φ < 0 in  [ 0 , ) .

Theorem 3.11.

  1. Let (H1) be satisfied, let u 0 s ( { x 0 } ) > 0 for some x 0 and let u be a solution of problem ( (P) ). If φ is bounded in ( 0 , ) (in particular, C φ = 0 ), then the waiting time t 0 defined by ( 1.5 ) satisfies

    (3.21) t 0 min { T , u 0 s ( { x 0 } ) φ L ( 0 , ) } > 0 .

  2. Let (H1) (H2) be satisfied, and let u be the entropy solution of problem ( (P) ) given by Theorem 3.7.

    1. If φ is bounded in ( 0 , ) and, moreover, H > - 1 , | K | < lim u | φ ( u ) | = : γ , then

      (3.22) t 0 min { T , ( H + 1 ) u 0 ( ) γ - | K | } .

    2. If φ is unbounded in ( 0 , ) , then t 0 = 0 .

Remark 3.12.

Concerning estimates (3.21) and (3.22), it is worth considering the case in which u 0 = δ 0 and φ ( u ) = 1 - ( 1 + u ) p , p < 0 . By explicit calculations, in Proposition 1.1, we show that in this case the waiting time defined in (1.5) is t 0 = 1 . Hence, in this case, estimates (3.21)–(3.22) are sharp, since

δ 0 ( { 0 } ) φ L ( 0 , ) = 1 and ( H + 1 ) δ 0 ( ) γ - | K | = ( p / ( 1 - p ) + 1 ) δ 0 ( ) 1 + p / ( 1 - p ) = 1 .

Remark 3.13.

In part (ii) of Theorem 3.11, it is enough to require condition (H2) for large values of u. More precisely (see Remark 6.10), Theorem 3.11 (ii) remains valid if instead of (H2), for some k > 0 , the following holds:

  1. the function φ k : [ 0 , ) , φ k ( u ) := φ ( u + k ) - φ ( k ) , satisfies (H2).

In this connection, observe that the conditions H > - 1 and | K | < lim u | φ ( u ) | exclude the function φ ( u ) = 1 - e - u . The same conditions also exclude the function φ ( u ) = 1 - 1 log ( e + u ) , where K = 1 = γ . However, in this case, we can use hypothesis (H3) for k > 0 , which is satisfied with H = 0 and K = log - 2 ( e + k ) < γ k = log - 1 ( e + k ) .

Let us finally mention the following regularization result.

Proposition 3.14.

Let (H1)(H2) be satisfied, and let φ be bounded in [ 0 , ) (in particular, C φ = 0 ). Then, for a.e. t ( 0 , T ) , supp u s ( t ) is a null set.

Remark 3.15.

It suffices to prove Proposition 3.10, Theorem 3.11 and Proposition 3.14 by assuming φ ′′ < 0 in (H2) (hence, K > 0 , by (H2) and the assumption φ ( 0 ) = 0 ). Otherwise, it can be easily seen that if u L ( 0 , T ; + ( ) ) is a solution of problem (P), the map u ~ defined by setting

u ~ , ζ S := 0 T u ( , t ) , ζ ( - , t ) d t

for every ζ C ( [ 0 , T ] ; C c ( ) ) is a solution of the problem

(3.23) { t u ~ + x [ φ ~ ( u ~ ) ] = 0 in  S , u ~ = u ~ 0 in  × { 0 } .

Here u ~ 0 , ρ := u 0 , ρ ( - ) for all ρ C c ( ) , and the function φ ~ := - φ satisfies (H2) with K ~ := - K . The same holds for entropy solutions.

3.3.2 Linear growth

Let φ satisfy the following assumption:

  1. φ C ( [ 0 , ) ) and there exist H - 1 , K such that

    φ ′′ ( u ) { H [ φ ( u ) - C φ u ] + K } - [ φ ( u ) - C φ ] 2 < 0 for all  u [ 0 , )

(observe that (H4) reduces to (H2) if C φ = 0 ). If (H4) holds, the function φ ~ := φ ( u ) - C φ u satisfies (H2) since C φ ~ = 0 .

Remark 3.16.

It is easily seen that if u is a solution (respectively an entropy solution) of problem (P), then v L ( 0 , T ; + ( Ω ) ) , defined by

v ( , t ) = 𝒯 - h ( u ( , t ) ) in  ( )

for any h , is a solution (respectively an entropy solution) of (P) with u 0 replaced by v 0 := 𝒯 - h ( u 0 ) . Similarly, u ~ ( , t ) := 𝒯 - C φ t ( u ( , t ) ) is a solution (respectively an entropy solution) of problem (3.23), with u ~ 0 = u 0 and φ ~ ( u ) = φ ( u ) - C φ u .

By Remark 3.16, the above results for the case C φ = 0 can be generalized as follows.

Proposition 3.17.

Let (H1) and (H4) be satisfied, and let u φ ( u ) - C φ u be bounded in ( 0 , ) . Then every entropy solution u of problem (P) given by Theorem 3.7 satisfies, for a.e. t ( 0 , T ) and all x 0 supp u s ( , t ) ,

(3.24) ess lim x x 0 + u r ( x + C φ t , t ) = if  φ > C φ in  [ 0 , ) ,
(3.25) ess lim x x 0 - u r ( x + C φ t , t ) = if  φ < C φ in  [ 0 , ) .

Theorem 3.18.

  1. Let (H1) be satisfied, let u 0 s ( { x 0 } ) > 0 for some x 0 , and let u be a solution of problem ( (P) ). If u φ ( u ) - C φ u is bounded in ( 0 , ) , then

    t 0 min { T , u 0 s ( { x 0 } ) φ - C φ u L ( 0 , ) } > 0 .

  2. Let (H1) and (H4) be satisfied, and let u be the entropy solution of problem ( (P) ) given by Theorem 3.7.

    1. Let u φ ( u ) - C φ u be bounded in ( 0 , ) . If H > - 1 and | K | < lim u | φ ( u ) - C φ u | = : γ ~ , then

      t 0 min { T , ( H + 1 ) u 0 ( ) γ ~ - | K | } .

    2. Let u φ ( u ) - C φ u be unbounded in ( 0 , ) . Then t 0 = 0 .

Again, Theorem 3.18 (ii) remains valid if, for some k > 0 , the function φ k defined in Remark 3.13 satisfies (H4).

Proposition 3.19.

Let (H1) and (H4) be satisfied, and let u φ ( u ) - C φ u be bounded in ( 0 , ) . Then for a.e. t ( 0 , T ) , supp u s ( t ) is a null set.

3.4 Uniqueness

In connection with equality (3.11), observe that if u 0 s 0 and the waiting time t 0 is equal to 0, then the map t u ( , t ) is not continuous at t = 0 in the strong topology of ( ) (otherwise we would have lim t 0 + u s ( , t ) ( ) = 0 = u 0 s ( ) , a contradiction). Instead, continuity along the lines x = x 0 + C φ t may occur if the waiting time t 0 is positive.

Proposition 3.20.

Let (H1) be satisfied. Let u φ ( u ) - C φ u be bounded in ( 0 , ) , and let u 0 satisfy

(3.26) u 0 s = l = 1 N c l δ x l , with  c l [ 0 , ) l = 1 , , N for some  N .

  1. If condition (C1) holds, then every entropy solution u of problem ( (P) ) given by Theorem 3.7 (ii) satisfies

    (3.27) ess lim t 0 + 𝒯 - C φ t ( u ( , t ) ) - u 0 ( ) = 0 .

  2. All entropy solutions u of problem ( (P) ) satisfy 𝒯 - C φ t ( u ( , t ) ) C ( ( 0 , T ] ; ( ) ) .

Let us mention that the above statement (ii) holds for any u 0 + ( ) if φ satisfies (H1) and (H4) (see Proposition 6.2).

The following uniqueness result will be proven in Section 7.

Theorem 3.21.

Let (H1) be satisfied and let u φ ( u ) - C φ u be bounded and monotonic in ( 0 , ) . Let u 0 satisfy (3.26). Then there exists at most one entropy solution u of problem (P) which satisfies either (3.24) or (3.25), and the condition

(3.28) ess lim t 0 + u r ( , t ) - u 0 r L 1 ( ) = 0 .

By Propositions 3.17, 3.20 and Theorem 3.21, we have the following existence and uniqueness result (observe that (H4) implies C1).

Theorem 3.22.

Let (H1) and (H4) be satisfied, and let u φ ( u ) - C φ u be bounded in ( 0 , ) . Let u 0 satisfy (3.26). Then there exists a unique entropy solution of problem (P) which satisfies (3.24)–(3.25).

Remark 3.23.

Conditions (3.24)–(3.25) in Theorem 3.22 cannot be omitted. In fact, there exist entropy solutions of problem (P) which do not satisfy either (3.24) or (3.25), depending on φ. Therefore, by Proposition 3.17, they are different from those given by Theorem 3.7, thus uniqueness fails.

For example, let u 0 s 0 and u 0 r L 1 ( ) L ( ) . Let u L ( 0 , T ; + ( ) ) be defined by

u ( , t ) := u r ( , t ) + 𝒯 C φ t ( u 0 s ) for a.e.  t ( 0 , T ) ,

where u r C ( [ 0 , T ] ; L 1 ( ) ) L ( S ) is the unique entropy solution of problem (P) with u 0 replaced by u 0 r . Since u ( , 0 ) = u r ( , 0 ) + u 0 s = u 0 r + u 0 s = u 0 , one easily checks that (3.8)–(3.9) are satisfied, thus u is an entropy solution of (P). On the other hand, u r L ( S ) , so u r ( , t ) L ( ) for a.e. t ( 0 , T ) , and (3.24)–(3.25) fails.

Remark 3.24.

If u φ ( u ) - C φ u is unbounded and satisfies assumptions (H1) and (H4), by [19, Theorem 1.1] and Theorem 3.18, for every u 0 + ( ) there exists a unique entropy solution of problem (P) with waiting time t 0 equal to 0. In fact, every entropy solution u given by Theorem 3.18 is a solution according to [19]. This follows if we show that

(3.29) u = u r L ( × ( τ , T ) ) for every  τ > 0

and ess lim t 0 u ( , t ) = u 0 narrowly in ( ) , i.e. ess lim t 0 u ( , t ) , ρ = u 0 , ρ for all bounded ρ C ( ) . The latter follows from (3.11) and Proposition 3.8 (ii) (see [17, Proposition 2, p. 38]).

To prove (3.29) we fix τ > 0 . By (1.5) we may assume that u r ( , τ ) L ( ) and u ( , t ) = u r ( , t ) for all t τ . By standard approximation arguments, we may substitute in the entropy inequality (3.9) E ( u ) = [ s - k τ ] + , with k τ = u r ( , τ ) L ( ) , and ζ ( x , t ) χ [ τ , t ] ( t ) . Hence, [ u r ( , t ) - k τ ] + 𝑑 x 0 for a.e. t τ and (3.29) follows.

4 Approximating problems

In this section we consider problem (Pn). Let u 0 n L 1 ( ) L ( ) satisfy (3.14) and let { u 0 n ε } C c ( ) , u 0 n ε 0 be any sequence such that

(4.1) u 0 n ε L 1 ( ) u 0 n L 1 ( ) u 0 ( ) , u 0 n ε L ( ) u 0 n L ( ) ,
(4.2) u 0 n ε u 0 n in  L 1 ( ) , u 0 n ε * u 0 n in  L ( ) .

Let η C c ( ) be a standard mollifier, let η ε ( u ) := 1 ε η ( u ε ) for ε > 0 , and set

φ ε ( u ) := ( η ε * φ ¯ ) ( u ) - ( η ε * φ ¯ ) ( 0 ) = η ε ( u - v ) φ ¯ ( v ) 𝑑 v - η ε ( - v ) φ ¯ ( v ) 𝑑 v , u

(here φ ¯ ( u ) = φ ( u ) for u 0 and φ ¯ ( u ) = 0 for u < 0 ). The regularized problem associated with (Pn) is

(4.3) { t u n ε + x [ φ ε ( u n ε ) ] = ε x 2 u n ε in  S , u n ε = u 0 n ε in  × { 0 }

(where ε > 0 , n ), has a unique strong solution u n ε C ( [ 0 , T ] ; H 2 ( ) ) L ( S ) , t u n ε L 2 ( S ) (e.g., see [20]). Some properties of the family { u n ε } are collected in the following lemmata. Up to minor changes, the proof is standard (e.g., see [9]), thus is omitted.

Lemma 4.1.

Let u n ε be the solution of problem (4.3). Then, for every n N and ε > 0 ,

(4.4) u n ε 0 in  S , u n ε L ( S ) u 0 n L ( ) ,
u n ε ( x , t ) d x = u 0 n ε ( x ) d x ( t ( 0 , T ) ) ,
(4.5) sup t ( 0 , T ) u n ε ( , t ) L 1 ( ) u 0 n L 1 ( ) u 0 ( ) ,
(4.6) sup t ( 0 , T ) u n ε ( + h , t ) - u n ε ( , t ) L 1 ( ) u 0 n ε ( + h ) - u 0 n ε L 1 ( ) for any  h .

Lemma 4.2.

Let φ satisfy (3.1). Then there exists C > 0 , which only depends on u 0 M ( R ) , such that for all n N , ε ( 0 , 1 ) and p ( 0 , 1 ) ,

(4.7) ε S ( 1 + u n ε ) p - 2 ( x u n ε ) 2 𝑑 x 𝑑 t C p ( 1 - p ) .

Proof.

Let U C 2 ( [ 0 , ) ) , U 0 in ( 0 , ) , and set

(4.8) Θ U , ε ( u ) := 0 u U ( s ) φ ε ( s ) d s + θ U ( θ U ) .

Multiplying the first equation in (4.3) by U ( u n ε ) gives

(4.9) t [ U ( u n ε ) ] + x [ Θ U , ε ( u n ε ) ] = ε x 2 [ U ( u n ε ) ] - ε U ′′ ( u n ε ) ( x u n ε ) 2 in  S .

Hence, for all ζ C 1 ( [ 0 , T ] ; C c 2 ( ) ) ,

ε S U ′′ ( u n ε ) ( x u n ε ) 2 ζ 𝑑 x 𝑑 t + U ( u n ε ( x , T ) ) ζ ( x , T ) 𝑑 x
(4.10) = U ( u 0 n ε ) ζ ( x , 0 ) 𝑑 x + S { U ( u n ε ) t ζ + Θ U , ε ( u n ε ) x ζ + ε U ( u n ε ) x 2 ζ } 𝑑 x 𝑑 t .

By (3.1) and the definition of the function φ ε , for all u 0 ,

(4.11) | Θ U , ε ( u ) | 0 u U ( s ) | φ ε ( s ) | 𝑑 s + | θ U | M [ U ( u ) - U ( 0 ) ] + | θ U | .

Choose θ U = 0 , U ( u ) = ( 1 + u ) p - 1 , with p ( 0 , 1 ) , and

ζ = ρ k := χ { | x | k } + ρ ( - k ) χ { k x < k + 1 } + ρ ( + k ) χ { - ( k + 1 ) < x - k } ( k ) ,

with any ρ C c 2 ( ( - 1 , 1 ) ) such that ρ ( 0 ) = 1 , 0 ρ 1 , and the derivatives ρ , ρ ′′ vanish at 0. Then 0 U ( u ) u for u 0 and, by (4.5), (4.10) and (4.11),

ε p ( 1 - p ) S ( 1 + u n ε ) p - 2 ( x u n ε ) 2 ρ k 𝑑 x 𝑑 t u 0 n ε ( x ) 𝑑 x + S { M u n ε | ρ k | + ε u n ε | ρ k ′′ | } 𝑑 x 𝑑 t
{ 1 + ( M + 1 ) T ρ C 2 ( [ - 1 , 1 ] ) } u 0 ( ) = : C

for all ε ( 0 , 1 ) and k . Passing to the limit as k , we obtain (4.7). ∎

Lemma 4.3.

Let φ satisfy (3.1) and let U C 2 ( [ 0 , ) ) be such that

(4.12) | U ′′ ( u ) | K ( 1 + u ) p - 2 for all  u [ 0 , ) , for some  K 0 and  p ( 0 , 1 ) .

Then there exists C p > 0 such that for all n N and ε > 0 ,

(4.13) ε S | U ′′ ( u n ε ) | ( x u n ε ) 2 d x d t C p .

If, moreover, U L ( 0 , ) , then the family { U n , ρ ε } , where

(4.14) U n , ρ ε ( t ) := U ( u n ε ) ( x , t ) ρ ( x ) d x ( t ( 0 , T ) )

and ρ C c 2 ( R ) , is bounded in BV ( 0 , T ) .

Proof.

Inequality (4.13) follows immediately from (4.7) and (4.12). To prove that { U n , ρ ε } is bounded in BV ( 0 , T ) , observe that, by (4.9),

(4.15) ( U n , ρ ε ) ( t ) = [ Θ U , ε ( u n ε ) ρ + ε U ( u n ε ) ρ ′′ - ε U ′′ ( u n ε ) ( x u n ε ) 2 ρ ] ( x , t ) 𝑑 x .

Since U L ( 0 , ) , there exists N > 0 such that | U ( u ) | N ( 1 + u ) for u 0 . Hence, | U ( u n ε ) | N ( 1 + u n ε ) and, by (4.8), (3.1) and the definition of φ ε , we have

| Θ U , ε ( u n ε ) | φ ε U L ( ( 0 , ) ) | u n ε | + | θ U | = : M ~ u n ε + | θ U | .

Then it follows from (4.15) that

| ( U n , ρ ε ) | ( t ) ρ C 2 ( ) supp ρ { ( M ~ + ε N ) u n ε ( x , t ) + ε N + | θ U | } 𝑑 x + ε ρ L ( ) [ | U ′′ ( u n ε ) | ( x u n ε ) 2 ] ( x , t ) 𝑑 x ,

and, by (4.5) and (4.13), there exists a constant C p , ρ > 0 such that

(4.16) 0 T | ( U n , ρ ε ) | ( t ) d t ρ C 2 ( ) { ( M ~ + N ) T u 0 ( ) + C p , ρ } .

On the other hand, by (4.5) and since | U ( u n ε ) | N ( 1 + u n ε ) , we have

(4.17) 0 T | U n , ρ ε | ( t ) d t N T ρ L ( ) ( u 0 ( ) + | supp ρ | ) ,

whence the result follows. ∎

From the above lemmata, we get the following convergence results.

Lemma 4.4.

  1. If φ C ( [ 0 , ) ) , there exist a subsequence { u n ε m } { u n ε } and u n L ( S ) L ( 0 , T ; L 1 ( ) ) such that, as ε m 0 ,

    (4.18) u n ε m * u n in  L ( S ) , u n ε m u n    𝑎𝑛𝑑    φ ε m ( u n ε m ) φ ( u n ) a.e. in  S ,
    (4.19) u n ε m u n in  L 1 ( ( - L , L ) × ( 0 , T ) ) , for all  L > 0 .

    Moreover, u n 0 a.e. in S, u n L ( S ) u 0 n L ( ) and

    (4.20) sup t ( 0 , T ) u n ( , t ) L 1 ( ) u 0 n L 1 ( ) u 0 ( ) .

  2. Let φ satisfy ( 3.1 ), let ρ C c 2 ( ) , and let U C 2 ( [ 0 , ) ) , with U L ( 0 , ) , satisfy ( 4.12 ). Let U n , ρ ε m be defined by ( 4.14 ) and set

    (4.21) U n , ρ ( t ) := U ( u n ) ( x , t ) ρ ( x ) d x ( t ( 0 , T ) ) .

    Then

    (4.22) U n , ρ ε m U n , ρ in  L 1 ( 0 , T ) and a.e. in  ( 0 , T ) .

Proof.

By (4.4), u n ε m * u n in L ( S ) , where u n L ( S ) , u n L ( S ) u 0 n L ( ) and u n 0 a.e. in S. The a.e.-convergence of u n ε m and part (ii) follow from (4.19), and since φ ε converges uniformly to the continuous function φ on compact subsets of , we also obtain the a.e.-convergence of φ ε m ( u n ε m ) .

It remains to prove (4.19) and (4.20). We claim that for a.e. t ( 0 , T ) ,

(4.23) u n ε m ( , t ) * u n ( , t ) in  L ( )  as  ε m 0 .

Set I n , ρ ε m ( t ) := u n ε m ( x , t ) ρ ( x ) 𝑑 x for t ( 0 , T ) ) and let ρ C c 2 ( ) . By Lemma 4.3, with U ( u ) = u , the sequence { I n , ρ ε m } is bounded in BV ( 0 , T ) and has a subsequence (not relabeled) { I n , ρ ε m } such that

(4.24) I n , ρ ε m I n , ρ in  L 1 ( 0 , T )  as  ε m 0

for some I n , ρ BV ( 0 , T ) . Since u n ε m * u n in L ( S ) ,

lim m 0 T I n , ρ ε m ( t ) d t = S u n ( x , t ) ρ ( x ) d x d t = 0 T ( u n ( x , t ) ρ ( x ) d x ) d t ,

whence I n , ρ = u n ( x , t ) ρ ( x ) 𝑑 x for a.e. t ( 0 , T ) ) , and the convergence in (4.24) is satisfied along the whole sequence { I n , ρ ε m } . Hence, for all ρ C c 2 ( ) , there exists a null set N ( 0 , T ) such that

lim ε m 0 u n ε m ( x , t ) ρ ( x ) 𝑑 x = u n ( x , t ) ρ ( x ) 𝑑 x for all  t ( 0 , T ) N .

Since C c 2 ( ) is dense in L 1 ( ) and L 1 ( ) is separable, the choice of the set N can be made independent of ρ. Hence, we have proven (4.23).

By (4.2), (4.5), (4.6), and the Fréchet–Kolmogorov theorem, { u n ε m ( , t ) } is relatively compact in L 1 ( ( - L , L ) ) for all t ( 0 , T ) and L > 0 . Hence, by (4.23),

(4.25) u n ε m ( , t ) u n ( , t ) in  L 1 ( ( - L , L ) )  as  ε m 0 , for  L > 0  and a.e.  t ( 0 , T ) ,

and (4.20) follows from (4.5). Finally, (4.19) follows from (4.5), (4.25) and the dominated convergence theorem. ∎

Proposition 4.5.

Let φ C ( [ 0 , ) ) . For all n N , problem (Pn) has an entropy solution u n , which is unique if φ is locally Lipschitz continuous. For a.e. t ( 0 , T ) , we have

(4.26) u n ( + h , t ) - u n ( , t ) L 1 ( ) u 0 n ( + h ) - u 0 n L 1 ( ) for any  h ,
(4.27) u n ( x , t ) 𝑑 x = u 0 n ( x ) 𝑑 x .

Moreover, given ρ C c 2 ( R ) and U C 2 ( [ 0 , ) ) , with U L ( 0 , ) , satisfying (4.12), the sequence { U n , ρ } defined by (4.21) is bounded in BV ( 0 , T ) .

Proof.

Let ζ and E be as in Definition 3.6, and F ε = E φ ε . Then

(4.28) S { E ( u n ε ) ( t ζ + ε x 2 ζ ) + F ε ( u n ε ) x ζ } 𝑑 x 𝑑 t + E ( u 0 n ε ) ζ ( x , 0 ) 𝑑 x 0 ,

where u n ε m is defined by Lemma 4.4. By (4.4), it is not restrictive to assume that E ( u ) = | u - k | and F ε ( u ) = sgn ( u - k ) [ φ ε ( u ) - φ ε ( k ) ] ( k [ 0 , ) ). By (4.4),

φ ε m ( u n ε m ) L ( S ) sup | v | u 0 n L ( ) | φ ε m ( v ) | sup | v | u 0 n L ( ) + 1 | φ ( v ) | .

Since φ ε m ( u n ε m ) φ ( u n ) a.e. in S (see (4.18)), it follows from (4.19) and the dominated convergence theorem that

S F ε m ( u n ε m ) x ζ d x d t S F ( u n ) x ζ d x d t as  ε m 0 .

The remaining terms in (4.28) (with ε = ε m ) are dealt with similarly. Letting ε m 0 , we obtain (3.16), so u n is an entropy solution of problem (Pn). Its uniqueness follows from Kružkov’s theorem [26].

Inequality (4.26) follows from (4.6) and (4.25). Concerning (4.27), it follows from (3.17) that for all ρ C c 1 ( ) and a.e. t ( 0 , T ) ,

(4.29) u n ( x , t ) ρ ( x ) 𝑑 x - u 0 n ( x ) ρ ( x ) 𝑑 x = 0 t φ ( u n ) ( x , s ) ρ ( x ) 𝑑 x 𝑑 s .

Let { ρ k } C c 1 ( ) be such that ρ k ( x ) = 1 for x [ - k , k ] , ρ k ( x ) = 0 if | x | k + 1 , and ρ k L ( ) 2 . Setting ρ = ρ k in (4.29) and letting k , we get

| 0 t φ ( u n ) ( x , s ) ρ k ( x ) d x d s | 2 M 0 t { x k | x | k + 1 } | u n ( x , s ) | d x d s 0 ,

since u n L 1 ( S ) . On the other hand, by the monotone convergence theorem,

u n ( x , t ) ρ k ( x ) 𝑑 x u n ( x , t ) 𝑑 x , u 0 n ( x ) ρ k ( x ) 𝑑 x u 0 n ( x ) 𝑑 x ,

and (4.27) follows from (4.29).

Finally, let us show that { U n , ρ } is bounded in BV ( 0 , T ) . By (4.17) and (4.22),

0 T | U n , ρ ( t ) | d t = lim ε m 0 0 T | U n , ρ ε m ( t ) | d t N ρ L ( ) ( T u 0 ( ) + | supp ρ | ) ,

and, by (4.16) and the lower semicontinuity of the total variation in L 1 ( 0 , T ) ([15, Theorem 1, Section 5.2.1]), we get

U n , ρ ( 0 , T ) ρ C 2 ( ) { ( M ~ + N ) T u 0 ( ) + C p , ρ } ,

with C p , ρ > 0 as in (4.16). This completes the proof. ∎

5 Existence and monotonicity: Proofs

We proceed with the proof of Theorem 3.7.

Proposition 5.1.

Let (H1) hold and let u n be the entropy solution of problem (Pn). Then there exist a sequence { u n j } and u L ( 0 , T ; M + ( R ) ) such that

(5.1) u n j * u in  ( S ) .

For all L > 0 , there exists a decreasing sequence { E j } ( - L , L ) × ( 0 , T ) of Lebesgue measurable sets, with | E j | 0 as j , such that

(5.2) u n j χ ( ( - L , L ) × ( 0 , T ) ) E j u b := [ 0 , ) ξ 𝑑 τ ( ξ ) in  L 1 ( ( - L , L ) × ( 0 , T ) ) ,

where τ Y ( S ; R ) is the Young measure associated with { u n j } , and

(5.3) u n j χ E j * μ := u - u b in  ( ( - L , L ) × ( 0 , T ) ) .

Proof.

By (4.20), there exist u + ( S ) and a sequence { u n j } such that u n j * u in ( S ) . Arguing as in [27, Proposition 4.2], we obtain that u L ( 0 , T ; + ( ) ) .

Since by (4.20) the sequence { u n j } is bounded in L 1 ( S ) , by Theorem 2.3 there exist a subsequence of { u n j } (not relabeled) and a Young measure τ 𝒴 ( S ; ) such that

  1. for every measurable set A S , (2.4)–(2.6) are valid for any f C ( ) such that the sequence { f ( u n j ) } is sequentially weakly relatively compact in L 1 ( A ) ,

  2. supp τ ( x , t ) [ 0 , ) for a.e. ( x , t ) S (here τ ( x , t ) is the disintegration of τ).

Then the result follows by Theorem 2.5 and a standard diagonal procedure. ∎

Remark 5.2.

The function u b in (5.2) is defined for a.e. in ( x , t ) S , since τ is globally defined in S. In addition, by (4.20) and the arbitrariness of L in Proposition 5.1, a routine proof shows that u b L ( 0 , T ; L 1 ( ) ) and u b 0 a.e. in S. Therefore, the Radon measure μ 0 (see (5.3)) is defined on S, μ L ( 0 , T ; + ( ) ) , and

(5.4) μ = u - u b u = u b + μ in  ( S ) .

Proposition 5.3.

Let (H1) hold, let μ be as in (5.4) and let U C ( [ 0 , ) ) . If

(5.5) lim u U ( u ) u = : C U [ 0 , ) ,

then, for all L > 0 ,

(5.6) U ( u n j ) * U * + C U μ in  ( ( - L , L ) × ( 0 , T ) ) ,

where U * L ( 0 , T ; L loc 1 ( R ) ) is defined by

U * ( x , t ) := [ 0 , ) U ( ξ ) 𝑑 τ ( x , t ) ( ξ ) for a.e.  ( x , t ) S .

Remark 5.4.

If U C ( [ 0 , ) ) satisfies (5.5), there exists N > 0 such that

(5.7) | U ( u ) | N ( 1 + u ) for  u 0 .

Moreover, U * L ( 0 , T ; L 1 ( ) ) if | U ( u ) | N u , since u b L ( 0 , T ; L 1 ( ) ) and

| U * ( x , t ) | [ 0 , ) | U ( ξ ) | d τ ( x , t ) ( ξ ) N [ 0 , ) ξ d τ ( x , t ) ( ξ ) = N u b ( x , t ) for a.e.  ( x , t ) S .

Proof of Proposition 5.3.

For all ε > 0 , there exist m ε > 0 such that

(5.8) - ε u < U ( u ) - C U u < ε u if  u > m ε .

For any m , m > m ε , let l 1 m , l 2 m C ( [ 0 , ) ) be such that 0 l 1 m 1 , 0 l 2 m 1 , l 1 m + l 2 m = 1 in [ 0 , ) , supp l 1 m [ 0 , m + 1 ] and supp l 2 m [ m , ) . Then, by (5.8),

(5.9) | U ( u n j ) - [ U ( u n j ) l 1 m ( u n j ) + C U u n j l 2 m ( u n j ) ] | < ε u n j l 2 m ( u n j ) for  j .

Since sup S [ | U ( u n j ) | l 1 m ( u n j ) ] sup u [ 0 , m + 1 ] | U ( u ) | < , it follows that { U ( u n j ) l 1 m ( u n j ) } is uniformly integrable in ( - L , L ) × ( 0 , T ) . Hence, by Theorem 2.3, for all L > 0 ,

(5.10) U ( u n j ) l 1 m ( u n j ) U 1 m * := [ 0 , ) U ( ξ ) l 1 m ( ξ ) 𝑑 τ ( ξ )

in L 1 ( ( - L , L ) × ( 0 , T ) ) . Here U 1 m * belongs to L ( 0 , T ; L loc 1 ( ) ) , since, by (5.7),

(5.11) | U 1 m * | [ 0 , ) | U ( ξ ) | l 1 m ( ξ ) d τ ( ξ ) N [ 0 , ) ( 1 + ξ ) d τ ( ξ ) N ( 1 + u b ) .

Similarly, by (5.1), (5.2), (5.4) and (5.10), with U ( u ) = u ,

u n j l 2 m ( u n j ) = u n j - u n j l 1 m ( u n j ) * u - [ 0 , ) ξ l 1 m ( ξ ) 𝑑 τ ( ξ )
= u b - [ 0 , ) ξ l 1 m ( ξ ) 𝑑 τ ( ξ ) + μ
= [ 0 , ) ξ [ 1 - l 1 m ( ξ ) ] 𝑑 τ ( ξ ) + μ
= [ 0 , ) ξ l 2 m ( ξ ) 𝑑 τ ( ξ ) + μ
(5.12) = : l 2 m * + μ in  ( ( - L , L ) × ( 0 , T ) ) .

From (5.9)–(5.12), for any ζ C c ( ( - L , L ) × ( 0 , T ) ) , ζ 0 , and m as above, we get

( - L , L ) × ( 0 , T ) [ U 1 m * + ( C U - ε ) l 2 m * ] ζ 𝑑 x 𝑑 t + ( C U - ε ) μ , ζ ( - L , L ) × ( 0 , T )
lim inf n j ( - L , L ) × ( 0 , T ) U ( u n j ) ζ 𝑑 x 𝑑 t
lim sup n j ( - L , L ) × ( 0 , T ) U ( u n j ) ζ 𝑑 x 𝑑 t
(5.13) ( - L , L ) × ( 0 , T ) [ U 1 m * + ( C U + ε ) l 2 m * ] ζ 𝑑 x 𝑑 t + ( C U + ε ) μ , ζ ( - L , L ) × ( 0 , T ) .

Since U 1 m * L ( 0 , T ; L loc 1 ( ) ) ,

0 l 2 m * [ m , ) ξ 𝑑 τ ( ξ ) u b L ( 0 , T ; L 1 ( ) )

and

lim ε m 0 l 2 m * ( x , t ) = 0 , lim ε m 0 U 1 m * ( x , t ) = U * ( x , t ) for a.e.  ( x , t ) S ,

by letting m in (5.13), we get plainly

( - L , L ) × ( 0 , T ) U * ζ 𝑑 x 𝑑 t + ( C U - ε ) μ , ζ ( - L , L ) × ( 0 , T ) lim inf n j ( - L , L ) × ( 0 , T ) U ( u n j ) ζ 𝑑 x 𝑑 t
lim sup n j ( - L , L ) × ( 0 , T ) U ( u n j ) ζ 𝑑 x 𝑑 t
( - L , L ) × ( 0 , T ) U * ζ 𝑑 x 𝑑 t + ( C U + ε ) μ , ζ ( - L , L ) × ( 0 , T ) ,

whence

0 lim sup n j ( - L , L ) × ( 0 , T ) U ( u n j ) ζ 𝑑 x 𝑑 t - lim inf n j ( - L , L ) × ( 0 , T ) U ( u n j ) ζ 𝑑 x 𝑑 t 2 ε μ , ζ ( - L , L ) × ( 0 , T ) .

From the above inequalities, the conclusion follows. ∎

Proposition 5.5.

Let (H1) hold. Let μ, U and U * be as in Proposition 5.3. Then

(5.14) 0 T | U ( u n j ) ( x , t ) ρ ( x ) d x - U * ( x , t ) ρ ( x ) d x - C U μ ( , t ) , ρ | d t 0

as j for ρ C c ( R ) . Moreover, for all L > 0 , there exist a null set N ( 0 , T ) and a subsequence of { u n j } (not relabeled), such that for all t ( 0 , T ) N ,

(5.15) U ( u n j ) ( , t ) * U * ( , t ) + C U μ ( , t ) in  ( ( - L , L ) ) .

Remark 5.6.

Choosing U ( u ) = u in (5.15), we obtain that

(5.16) u n j ( , t ) * u ( , t ) in  ( ( - L , L ) )  for a.e.  t ( 0 , T )  and  L > 0 .

If U C ( [ 0 , ) ) satisfies (5.5), U * L ( 0 , T ; L loc 1 ( ) ) and { U ( u n ) } is bounded in L ( 0 , T ; L loc 1 ( ) ) (see (4.20) and (5.7)). Since every ζ C ( 2 ) L ( 2 ) can be uniformly approximated in bounded sets by finite sums i = 1 p f i , p ( x ) g i , p ( t ) , with f i , p , g i , p bounded and continuous functions ( 1 i p ; e.g., see [12, Théorème D.1.1]), it follows from (5.14) that, as j , for all ζ C ( [ 0 , T ] ; C c ( ) ) ,

(5.17) 0 T | [ U ( u n j ) ζ ] ( x , t ) d x - [ U * ζ ] ( x , t ) d x - C U μ ( , t ) , ζ ( , t ) | d t 0 .

Proof of Proposition 5.5.

(i) Let us first prove (5.14) for U C 2 ( [ 0 , ) ) , with U L ( 0 , ) , satisfying (4.12) and (5.5). Let ρ C c ( ) , h C c ( 0 , T ) , and fix any L > 0 such that supp ρ ( - L , L ) . Then, by (5.6),

(5.18) 0 T U n j , ρ ( t ) h ( t ) 𝑑 t 0 T U ρ * ( t ) h ( t ) 𝑑 t + C U 0 T h ( t ) μ ( , t ) , ρ 𝑑 t ,

where U n j , ρ is defined by (4.21) and U ρ * ( t ) := U * ( x , t ) ρ ( x ) 𝑑 x . Since, by Proposition 4.5, { U n j , ρ } is bounded in BV ( 0 , T ) if ρ C c 2 ( ) , there exists a subsequence which converges in L 1 ( 0 , T ) . Combined with (5.18), this yields that U n j , ρ U ρ * + C U μ ( , ) , ρ in 𝒟 ( 0 , T ) and in L 1 ( 0 , T ) for all ρ C c 2 ( ) . Since the sequence { U ( u n j ) } is bounded in L ( 0 , T ; L 1 ( ( - L , L ) ) ) and U * L ( 0 , T ; L 1 ( ( - L , L ) ) ) , the condition ρ C c 2 ( ) may be relaxed to ρ C c ( ) , and we have found (5.14).

(ii) Next we prove (5.14) for all U C ( [ 0 , ) ) L ( ( 0 , ) ) (in this case C U = 0 ). To this end, let U k ( u ) := ( U χ [ 0 , k ] * θ k ) ( u ) for any u 0 , where θ k 0 is a sequence of standard mollifiers ( k ). Then { U k } C c 2 ( [ 0 , ) ) , U k U uniformly on compact subsets of [ 0 , ) and U k L ( ) U L ( ) . By part (i) and (4.20), for all ρ C c ( ) and k , M > 0 ,

lim sup j 0 T 𝑑 t | U ( u n j ) ρ ( x ) 𝑑 x - U * ( x , t ) ρ ( x ) 𝑑 x |
lim sup j { 0 u n j M } | U ( u n j ) - U k ( u n j ) | | ρ | d x d t + lim sup j { u n j > M } | U ( u n j ) - U k ( u n j ) | | ρ | d x d t
    + S | U * - U k * | | ρ | d x d t
ρ | supp ρ | T U - U k L ( 0 , M ) + ρ { 2 T M u 0 ( ) U L ( )
    + supp ρ × ( 0 , T ) d x d t [ 0 , ) | U k ( ξ ) - U ( ξ ) | d τ ( x , t ) ( ξ ) }
2 ρ | supp ρ | T U - U k L ( 0 , M ) + 2 ρ U L ( ) { T u 0 ( ) M
    + supp ρ × ( 0 , T ) d x d t { ξ > M } d τ ( x , t ) ( ξ ) } ,

where we have used Chebychev’s inequality and the inequality

{ 0 ξ M } | U k ( ξ ) - U ( ξ ) | d τ ( x , t ) ( ξ ) + { ξ > M } | U k ( ξ ) - U ( ξ ) | d τ ( x , t ) ( ξ ) U k - U L ( 0 , M ) + 2 U L ( ) { ξ > M } d τ ( x , t ) ( ξ ) .

Letting k , since U k U uniformly on compact sets in [ 0 , ) , we obtain

lim sup j 0 T 𝑑 t | U ( u n j ) ρ ( x ) 𝑑 x - U * ( x , t ) ρ ( x ) 𝑑 x |
(5.19) 2 ρ C ( ¯ ) U L ( ) { T u 0 ( ) M + supp ρ × ( 0 , T ) 𝑑 x 𝑑 t { ξ > M } 𝑑 τ ( x , t ) ( ξ ) } .

Since τ ( x , t ) is a probability measure, we have { ξ > M } 𝑑 τ ( x , t ) ( ξ ) 0 as M for a.e. ( x , t ) S , thus, by the dominated convergence theorem,

supp ρ × ( 0 , T ) 𝑑 x 𝑑 t { ξ > M } 𝑑 τ ( x , t ) ( ξ ) 0 as  M .

Then, letting M in (5.19), we obtain (5.14).

(iii) Now let U C ( [ 0 , ) ) be any function satisfying (5.5). Arguing as in the proof of Proposition 5.3, let l 1 m , l 2 m C 2 ( [ 0 , ) ) ( m ) satisfy l 1 m , l 2 m 0 and l 1 m + l 2 m = 1 in [ 0 , ) , supp l 1 m [ 0 , m + 1 ] , and supp l 2 m [ m , ) . Then

(5.20) U ( u n j ) = U ( u n j ) l 1 m ( u n j ) + U ( u n j ) l 2 , m ( u n j )

and, by (5.8), for all ε > 0 and m > m ε ,

(5.21) ( C U - ε ) u n j l 2 m ( u n j ) U ( u n j ) l 2 m ( u n j ) ( C U + ε ) u n j l 2 m ( u n j ) .

Since U l 1 m L ( ) U C ( [ 0 , m + 1 ] ) < , the function U l 1 m belongs to C ( [ 0 , ) ) L ( ) . Then, by part (ii),

(5.22) 0 T | [ U ( u n j ) l 1 m ( u n j ) ] ( x , t ) ρ ( x ) d x - U * 1 m ( x , t ) ρ ( x ) d x | d t 0

as j , where ρ C c ( ) and U 1 m * is defined by (5.10). By (5.21) and (4.20),

0 T | [ U ( u n j ) l 2 m ( u n j ) - C U u n j l 2 m ( u n j ) ] ( x , t ) ρ ( x ) d x | d t ε S | u n j | | ρ ( x ) | d x ε T u 0 ( ) ρ .

Then we obtain that

0 T | [ U ( u n j ) l 2 m ( u n j ) - C U l 2 m * ] ( x , t ) ρ ( x ) d x - C U μ ( , t ) , ρ | d t
ε T u 0 ( ) ρ + C U 0 T | [ u n j l 2 m ( u n j ) - l 2 m * ] ( x , t ) ρ ( x ) d x - μ ( , t ) , ρ | d t ,

with l 2 m * defined as in (5.12). The map u u l 2 m ( u ) belongs to C 2 ( [ 0 , ) ) , has bounded derivative and satisfies (4.12) and (5.5), with C U = 1 . Then, by part (i), (5.20) and (5.22),

(5.23) lim sup j 0 T | [ U ( u n j ) - U 1 m * - C U l 2 m * ] ( x , t ) ρ ( x ) d x - C U μ ( , t ) , ρ | d t ε T u 0 ( ) ρ if  m > m ε .

To complete the proof of (5.14), we show that

(5.24) lim m S | U * - U 1 m * - C U l 2 m * | ( x , t ) | ρ ( x ) | d x d t = 0 .

By (5.21),

| U * - U 1 m * - C U l 2 m * | ( x , t ) [ 0 , ) | U ( ξ ) - U ( ξ ) l 1 m ( ξ ) - C U ξ l 2 m ( ξ ) | d τ ( x , t ) ( ξ )
= [ 0 , ) | U ( ξ ) l 2 m ( ξ ) - C U ξ l 2 m ( ξ ) | d τ ( x , t ) ( ξ )
ε [ m , ) ξ 𝑑 τ ( x , t ) ( ξ ) ε u b ( x , t )

for a.e. ( x , t ) S . Since u b L ( 0 , T ; L 1 ( ) ) and [ m , ) ξ 𝑑 τ ( x , t ) ( ξ ) 0 as m for a.e. ( x , t ) S , (5.24) follows from the dominated convergence theorem.

Letting m in (5.23), it follows from (5.24) that

lim sup j 0 T | [ U ( u n j ) - U * ] ( x , t ) ρ ( x ) d x - C U μ ( , t ) , ρ | d t
lim sup m ( lim sup j 0 T | [ U ( u n j ) - U 1 m * - C U l 2 m * ] ρ d x - C U μ ( , t ) , ρ | d t )
ε T u 0 ( ) ρ ,

and (5.14) follows from the arbitrariness of ε.

Finally, (5.15) follows from (5.14), the separability of C c ( ) and a diagonal argument; we leave the details to the reader. ∎

Proposition 5.7.

Let (H1) hold. Then (5.4) is the Lebesgue decomposition of u, i.e.,

(5.25) u b = u r a.e. in  S , μ = u s in  ( S ) .

Proof.

Let U be a convex function with U ( 0 ) = 0 and U L ( 0 , ) . By (3.16),

(5.26) U ( u n j ) ( x , t ¯ ) ζ ( x , t ¯ ) 𝑑 x - U ( u 0 n j ) ( x ) ζ ( x , 0 ) 𝑑 x × ( 0 , t ¯ ) { U ( u n j ) t ζ + Θ U ( u n j ) x ζ } 𝑑 x 𝑑 t

for all ζ C 1 ( [ 0 , T ] ; C c 1 ( ) ) and a.e. t ¯ ( 0 , t ) , where

(5.27) Θ U ( u ) := 0 u U ( s ) φ ( s ) d s + θ U ( θ U ) .

Let U m ( u ) = ( u - m ) χ [ m , ) ( u ) and θ U m = 0 ( m ). Since U m ( u ) / u C U m = 1 and Θ U m ( u ) / u C φ as u (with C φ as in H1), it follows from (5.17) that

0 t ¯ | [ U m ( u n j ) t ζ ] ( x , t ) d x - [ U m * t ζ ] ( x , t ) d x - μ ( , t ) , t ζ ( , t ) | d t 0

and

0 t ¯ | [ Θ U m ( u n j ) x ζ ] ( x , t ) d x - [ Θ U m * x ζ ] ( x , t ) d x - C φ μ ( , t ) , x ζ ( , t ) | d t 0

as j , where

U m * ( x , t ) := [ 0 , ) U m ( ξ ) 𝑑 τ ( x , t ) ( ξ ) , Θ U m * ( x , t ) := [ 0 , ) Θ U m ( ξ ) 𝑑 τ ( x , t ) ( ξ )

belong to L ( 0 , T ; L loc 1 ( ) ) . In particular, setting ν ζ := t ζ + C φ x ζ , we have that

(5.28) × ( 0 , t ¯ ) { U m ( u n j ) t ζ + Θ U m ( u n j ) x ζ } 𝑑 x 𝑑 t × ( 0 , t ¯ ) { U m * t ζ + Θ U m * x ζ } 𝑑 x 𝑑 t + 0 t ¯ μ ( , t ) , ν ζ ( , t ) 𝑑 t .

By (5.15) and a diagonal argument, there exist a null set N ( 0 , T ) and a subsequence, denoted again by { u n j } , such that for all t ¯ ( 0 , T ) N and m ,

(5.29) lim n j U m ( u n j ) ( x , t ¯ ) ζ ( x , t ¯ ) 𝑑 x = U m * ( x , t ¯ ) ζ ( x , t ¯ ) 𝑑 x + μ ( , t ¯ ) , ζ ( x , t ¯ ) .

Since { U m ( u 0 n j ) - u 0 n j } is bounded in L ( ) and converges a.e. to U m ( u 0 r ) - u 0 r , it follows from (3.15) that

(5.30) lim n j U m ( u 0 n j ) ( x ) ζ ( x , 0 ) 𝑑 x = U m ( u 0 r ) ( x ) ζ ( x , 0 ) 𝑑 x + u 0 s , ζ ( , 0 ) .

Setting U = U m in (5.26) and letting j , we obtain from (5.28)–(5.30) that

U m * ( x , t ¯ ) ζ ( x , t ¯ ) 𝑑 x + μ ( , t ¯ ) , ζ ( , t ¯ ) × ( 0 , t ¯ ) { U m * t ζ + Θ U m * x ζ } 𝑑 x 𝑑 t + 0 t ¯ μ ( , t ) , ν ζ ( , t ) 𝑑 t
(5.31) + U m ( u 0 r ) ( x ) ζ ( x , 0 ) 𝑑 x + u 0 s , ζ ( , 0 )

for all t ¯ ( 0 , T ) N and m . Since for all u 0 (see (3.1)),

0 U m ( u ) u χ [ m , ) ( u ) , | Θ U m ( u ) | = | φ ( u ) - φ ( m ) | χ [ m , u ) ( u ) M u χ [ m , ) ( u ) ,

we have that | U m * | u b , | Θ U m * | M u b , U m * 0 and Θ U m * ( x , t ) 0 (as m ) a.e. in S. Thus, by the dominated convergence theorem and (5.31), for all t ¯ ( 0 , T ) N ,

(5.32) μ ( , t ¯ ) , ζ ( , t ¯ ) 0 t ¯ μ ( , t ) , ν ζ ( , t ) 𝑑 t + u 0 s , ζ ( , 0 ) .

Let ρ C c 1 ( ) and ζ ( x , t ) = ρ ( x - C φ t ) , so ζ ν 0 . By (5.32), μ ( , t ¯ ) , ρ ( - C φ t ¯ ) u 0 s , ρ . Hence, μ ( , t ¯ ) is singular with respect to the Lebesgue measure and, since μ ( , t ¯ ) = [ μ ( , t ¯ ) ] s = μ s ( , t ¯ ) for a.e. t ¯ ( 0 , T ) (see (2.3)), (5.25) follows from the uniqueness of the Lebesgue decomposition. ∎

The following result is based on the concept of compensated compactness (e.g., see [13]).

Proposition 5.8.

Let (H1) hold. Then φ ( u r ) = [ 0 , ) φ ( ξ ) 𝑑 τ ( ξ ) a.e. in S.

Proof.

Let U , V C 2 ( [ 0 , ) ) L ( ( 0 , ) ) satisfy (4.12), and assume that Θ U , Θ V , defined by (5.27), belong to L ( ( 0 , ) ) . By (4.13), we have

ε U ′′ ( u n ε ) ( x u n ε ) 2 L 1 ( S ) C p and ε V ′′ ( u n ε ) ( x u n ε ) 2 L 1 ( S ) C p

for all ε ( 0 , 1 ) and n , and up to a subsequence,

(5.33) ε U ′′ ( u n ε ) ( x u n ε ) 2 * λ n , ε V ′′ ( u n ε ) ( x u n ε ) 2 * μ n in  ( S )  as  ε 0 ,

for some λ n , μ n ( S ) . By the lower semicontinuity of the norm,

(5.34) λ n ( S ) C p , μ n ( S ) C p for  n .

Let ζ C c 2 ( S ) . Then (see (4.9))

(5.35) ε S U ′′ ( u n ε ) ( x u n ε ) 2 ζ 𝑑 x 𝑑 t = S { U ( u n ε ) t ζ + Θ U , ε ( u n ε ) x ζ + ε U ( u n ε ) x 2 ζ } 𝑑 x 𝑑 t ,

where Θ U , ε ( u ) = 0 u U ( s ) φ ε ( s ) 𝑑 s + θ U , θ U . By (3.1) and (4.4), for all n ,

| Θ U , ε ( u n ε ) | 0 u 0 n | U ( s ) φ ε ( s ) | d s + | θ U | M 0 u 0 n | U ( s ) | d s + | θ U | γ n , U

for some γ n , U 0 , so for fixed n , the family { Θ U , ε ( u n ε ) } ε is uniformly bounded in L ( S ) . Similar results hold for V and Θ V , ε ( u ) = 0 u V ( s ) φ ε ( s ) 𝑑 s + θ V , and letting ε 0 in (5.35) along some subsequence { ε m } (see the proof of Proposition 4.5), it follows from by (5.33) that for all n and ζ C c 1 ( S ) ,

(5.36) S { U ( u n ) t ζ + Θ U ( u n ) x ζ } 𝑑 x 𝑑 t = λ n , ζ S , S { V ( u n ) t ζ + Θ V ( u n ) x ζ } 𝑑 x 𝑑 t = μ n , ζ S ,

where u n is the entropy solution of the approximating problem (Pn) (see (4.18)).

Let A S be a bounded open set and let Y n , Z n : A 2 be defined by

Y n := ( Θ U ( u n ) , U ( u n ) ) , Z n := ( V ( u n ) , - Θ V ( u n ) ) .

By (5.36),

(5.37) div Y n = - λ n , curl Z n = - μ n in  𝒟 ( A ) .

Since U , Θ U , V , Θ V are bounded in ( 0 , ) , the sequences U ( u n ) , Θ U ( u n ) , V ( u n ) and Θ V ( u n ) are bounded in L 1 ( A ) and uniformly integrable, and, by Theorem 2.3,

U ( u n ) U * := [ 0 , ) U ( ξ ) 𝑑 τ ( , ) ( ξ ) , Θ U ( u n ) Θ U * := [ 0 , ) Θ U ( ξ ) 𝑑 τ ( , ) ( ξ ) ,
V ( u n ) V * := [ 0 , ) V ( ξ ) 𝑑 τ ( , ) ( ξ ) , Θ V ( u n ) Θ V * := [ 0 , ) Θ V ( ξ ) 𝑑 τ ( , ) ( ξ )

in L 1 ( A ) , where τ ( , ) denotes the disintegration of the Young measure τ associated with { u n } . Since the sequences U ( u n ) , Θ U ( u n ) , V ( u n ) and Θ V ( u n ) are bounded in L ( A ) L 2 ( A ) , they also converge weakly in L 2 ( A ) , so

Y n Y * := ( Θ U * , U * ) , Z n Z * := ( V * , - Θ V * ) in  [ L 2 ( A ) ] 2 .

By a similar argument,

(5.38) Y n Z n := Θ U ( u n ) V ( u n ) - Θ V ( u n ) U ( u n ) [ 0 , ) [ Θ U ( ξ ) V ( ξ ) - Θ V ( ξ ) U ( ξ ) ] 𝑑 τ ( , ) ( ξ ) in  L 2 ( A ) .

By (5.34) and (5.37), { div Y n } and { curl Z n } are precompact in W - 1 , 2 ( A ) (see [13, Chapter 1, Corollary 1]) and, by the div-curl lemma,

(5.39) Y n Z n Y * Z * = Θ U * V * - Θ V * U * in  𝒟 ( A ) .

By (5.38) and (5.39),

(5.40) [ 0 , ) [ Θ U ( ξ ) - Θ U * ] V ( ξ ) 𝑑 τ ( ξ ) = [ 0 , ) [ U ( ξ ) - U * ] Θ V ( ξ ) 𝑑 τ ( ξ ) a.e. in  A .

For every U as above with U > 0 in ( 0 , ) , by a standard approximation argument, we may choose V ( u ) = | U * - U ( u ) | , so Θ V ( u ) = sgn ( U ( u ) - U * ) [ Θ U ( u ) - Θ U ( U - 1 ( U * ) ) ] and, by (5.40),

(5.41) [ Θ U * - Θ U ( U - 1 ( U * ) ) ] [ 0 , ) | U * - U ( ξ ) | d τ ( ξ ) = 0 .

Let U k C 2 ( [ 0 , ) ) L ( ( 0 , ) ) satisfy (4.12) and

(5.42) U k ( 0 ) = 0 , 0 < U k U k + 1 1 in  [ 0 , ) , U k ( u ) 1 for  u 0  as  k .

By (3.1),

| Θ U k ( u ) | 0 u U k ( s ) | φ ( s ) | 𝑑 s + | θ U k | M U k ( u ) + | θ U k | ,

thus Θ U k is bounded in ( 0 , ) ) for every k . We claim that, as k ,

(5.43) U k * := [ 0 , ) U k ( ξ ) 𝑑 τ ( ξ ) u r a.e. in  A ,
(5.44) Θ U k * - Θ U k ( U k - 1 ( U k * ) ) [ 0 , ) φ ( ξ ) 𝑑 τ ( ξ ) - φ ( u r ) a.e. in  A ,

where Θ U k * := [ 0 , ) Θ U k ( ξ ) 𝑑 τ ( ξ ) (recall that φ L 1 ( [ 0 , ) ; d τ ( x , t ) ) , see Remark 3.2). By (5.43) and the dominated convergence theorem, for a.e. ( x , t ) A ,

[ 0 , ) | U k * ( x , t ) - U k ( ξ ) | d τ ( x , t ) ( ξ ) [ 0 , ) | u r ( x , t ) - ξ | d τ ( x , t ) ( ξ ) as  k ,

since 0 U k ( ξ ) ξ for all k and I ( ξ ) := ξ belongs to L 1 ( [ 0 , ) , d τ ( x , t ) ) (recall that, by (5.25) and the definition of u b in (5.2), u r ( x , t ) = [ 0 , ) ξ 𝑑 τ ( x , t ) ( ξ ) < for a.e. ( x , t ) S ). Letting k in (5.41), with U = U k , we obtain that for a.e. ( x , t ) A ,

[ [ 0 , ) φ ( ξ ) d τ ( x , t ) ( ξ ) - φ ( u r ) ( x , t ) ] [ 0 , ) | u r ( x , t ) - ξ | d τ ( x , t ) ( ξ ) = 0 ,

and Proposition 5.8 follows from the arbitrariness of A.

It remains to prove (5.43) and (5.44). By (5.42) and the monotone convergence theorem, U k ( ξ ) ξ for any ξ [ 0 , ) , and (5.43) follows (recall that I ( ξ ) = ξ L 1 ( [ 0 , ) , d τ ) ). Concerning (5.44), we observe that

(5.45) Θ U k * - Θ U k ( U k - 1 ( U k * ) ) = [ 0 , ) ( 0 ξ U k ( s ) φ ( s ) d s ) d τ ( ξ ) - 0 U k - 1 ( U k * ) U k ( s ) φ ( s ) d s .

Since U k ( ξ ) 1 and | U k ( ξ ) φ ( ξ ) | M for ξ 0 (see (5.42) and (3.1)), it follows from the dominated convergence theorem that

(5.46) [ 0 , ) ( 0 ξ U k ( s ) φ ( s ) d s ) d τ ( x , t ) ( ξ ) [ 0 , ) φ ( ξ ) d τ ( x , t ) ( ξ ) .

On the other hand,

(5.47) 0 U k - 1 ( U k * ( x , t ) ) U k ( s ) φ ( s ) 𝑑 s - φ ( u r ) ( x , t ) = 0 u r ( x , t ) [ U k ( s ) - 1 ] φ ( s ) 𝑑 s + u r ( x , t ) U k - 1 ( U k * ( x , t ) ) U k ( s ) φ ( s ) 𝑑 s .

Arguing as before, one can show that the first term in the right-hand side of (5.47) vanishes as k . As for the second term, we observe, by (5.42) and (5.43), that

| u r ( x , t ) U k - 1 ( U k * ( x , t ) ) U k ( s ) φ ( s ) 𝑑 s | M | u r ( x , t ) - U k - 1 ( U k * ( x , t ) ) |
M ( | u r ( x , t ) - U k - 1 ( u r ( x , t ) ) | + sup s I δ ( u r ( x , t ) ) 1 U 1 ( s ) | u r ( x , t ) - U k * ( x , t ) | )

for some δ > 0 and k sufficiently large, where I δ ( q ) ( q - δ , q + δ ) . Hence,

(5.48) 0 U k - 1 ( U k * ( x , t ) ) U k ( s ) φ ( s ) 𝑑 s φ ( u r ) ( x , t ) for a.e.  ( x , t ) A ,

and we obtain (5.44) from (5.45), (5.46) and (5.48). ∎

To prove the second part of Theorem 3.7, we need the following result which characterizes the disintegration of the Young measure τ.

Proposition 5.9.

Let (H1) hold and φ C 1 ( [ 0 , ) ) satisfy for all u ¯ > 0 either (C1) or the following:

  1. there exist a > 0 , b ( 0 , ] such that φ is constant in I a , b = [ u ¯ - a , u ¯ + b ] and, if b < , then φ is strictly monotone in [ u ¯ + b , u ¯ + b ~ ] and [ u ¯ - a ~ , u ¯ - a ] for some b ~ > b and a ~ ( a , u ¯ ) .

Then, for a.e. ( x , t ) S , the following hold:

  1. If u r ( x , t ) = 0 , then τ ( x , t ) = δ 0 .

  2. If φ is strictly monotone in I a , b = [ u r ( x , t ) - a , u r ( x , t ) + b ] , with a , b 0 , a + b > 0 , then

    (5.49) τ ( x , t ) = δ u r ( x , t ) .

  3. If φ is constant in the above interval I a , b for some a > 0 , b > 0 , then

    (5.50) supp τ ( x , t ) I ( x , t ) for a.e.  ( x , t ) S ,

    where I ( x , t ) I a , b is the maximal interval where φ ( ) φ ( u r ( x , t ) ) .

Proof.

Let ( x , t ) S be fixed. If u r ( x , t ) = 0 , it follows from (5.25) and the definition of u b in (5.2) that [ 0 , ) ξ 𝑑 τ ( x , t ) ( ξ ) = 0 , which implies part (i): τ ( x , t ) = δ 0 .

So let u r ( x , t ) > 0 . Let l 1 := u r ( x , t ) , l 2 > l 1 and

V k ( u ) := k ( u - l 1 ) χ ( l 1 , l 1 + 1 k ) ( u ) + χ [ l 1 + 1 k , l 2 ) ( u ) + k ( l 2 + 1 k - u ) χ [ l 2 , l 2 + 1 k ) ( u )

for u 0 and sufficiently large k . Then V k ( u ) χ ( l 1 , l 2 ] ( u ) as k , and

Θ V k ( u ) = 0 u V k ( s ) φ ( s ) d s φ ( l 1 ) χ ( l 1 , l 2 ] ( u ) + [ φ ( l 1 ) - φ ( l 2 ) ] χ ( l 2 , ) ( u ) ( u 0 ) .

By standard approximation arguments, (5.40) is satisfied with U = U k and V = V k , where { U k } is the sequence in the proof of Proposition 5.8 (see (5.42)), i.e.,

[ 0 , ) [ Θ U k ( ξ ) - Θ U k * ( x , t ) ] V k ( ξ ) 𝑑 τ ( x , t ) ( ξ ) = [ 0 , ) [ U k ( ξ ) - U k * ( x , t ) ] Θ V k ( ξ ) 𝑑 τ ( x , t ) ( ξ ) .

Letting k and arguing as in the proof of Proposition 5.8, we obtain that

U k ( ξ ) - U k * ( x , t ) ξ - [ 0 , ) ξ 𝑑 τ ( x , t ) ( ξ ) = ξ - u r ( x , t ) = ξ - l 1 ,
Θ U k * ( x , t ) - Θ U k ( ξ ) [ 0 , ) φ ( ξ ) 𝑑 τ ( x , t ) ( ξ ) - φ ( ξ ) = φ ( u r ) ( x , t ) - φ ( ξ ) = φ ( l 1 ) - φ ( ξ )

for all ξ 0 (see (5.25) and Proposition 5.8). This implies that

[ 0 , ) [ Θ U k ( ξ ) - Θ U k * ( x , t ) ] V k ( ξ ) 𝑑 τ ( x , t ) ( ξ ) ( l 1 , l 2 ] [ φ ( ξ ) - φ ( l 1 ) ] 𝑑 τ ( x , t ) ( ξ ) ,
[ 0 , ) [ U k ( ξ ) - U k * ( x , t ) ] Θ V k ( ξ ) 𝑑 τ ( x , t ) ( ξ ) ( l 1 , l 2 ] φ ( l 1 ) ( ξ - l 1 ) 𝑑 τ ( x , t ) ( ξ )
+ [ φ ( l 1 ) - φ ( l 2 ) ] ( l 2 , ) ( ξ - l 1 ) 𝑑 τ ( x , t ) ( ξ ) ,

whence

(5.51) ( l 1 , l 2 ] [ φ ( ξ ) - φ ( l 1 ) - φ ( l 1 ) ( ξ - l 1 ) ] 𝑑 τ ( x , t ) ( ξ ) = [ φ ( l 1 ) - φ ( l 2 ) ] ( l 2 , ) ( ξ - l 1 ) 𝑑 τ ( x , t ) ( ξ ) .

Similarly, let l 0 ( 0 , l 1 ) and set

V ~ k ( u ) := k ( u - l 0 ) χ [ l 0 , l 0 + 1 k ] ( u ) + χ ( l 0 + 1 k , l 1 - 1 k ) ( u ) + k ( l 1 - u ) χ [ l 1 - 1 k , l 1 ] ( u ) .

Then V ~ k ( u ) χ ( l 0 , l 1 ) ( u ) and

Θ V ~ k ( u ) = l 1 u V ~ k ( s ) φ ( s ) d s φ ( l 1 ) χ ( l 0 , l 1 ) ( u ) + [ φ ( l 1 ) - φ ( l 0 ) ] χ [ 0 , l 0 ] ( u ) ( u 0 ) .

Letting k in (5.40), with U = U k as above and V = V ~ k , we obtain that

(5.52) ( l 0 , l 1 ) [ φ ( ξ ) - φ ( l 1 ) - φ ( l 1 ) ( ξ - l 1 ) ] 𝑑 τ ( x , t ) ( ξ ) = [ φ ( l 1 ) - φ ( l 0 ) ] [ 0 , l 0 ] ( ξ - l 1 ) 𝑑 τ ( x , t ) ( ξ ) .

By (C1) and (C3), we can distinguish two cases. (a) If φ is strictly convex or strictly concave in [ l 1 , l 2 ] , it follows from (5.51) that

( l 1 , l 2 ] | φ ( ξ ) - φ ( l 1 ) - φ ( l 1 ) ( ξ - l 1 ) | d τ ( x , t ) ( ξ ) + | φ ( l 1 ) - φ ( l 2 ) | ( l 2 , ) | l 1 - ξ | d τ ( x , t ) ( ξ ) = 0 ,

where

χ ( l 1 , l 2 ] ( ξ ) | φ ( ξ ) - φ ( l 1 ) - φ ( l 1 ) ( ξ - l 1 ) | > 0 and | φ ( l 1 ) - φ ( l 2 ) | > 0 .

This implies that supp τ ( x , t ) [ 0 , l 1 ] . Since τ ( x , t ) is a probability measure and l 1 := u r ( x , t ) ,

u r ( x , t ) = [ 0 , u r ( x , t ) ] ξ 𝑑 τ ( x , t ) ( ξ ) = [ 0 , u r ( x , t ) ] [ ξ - u r ( x , t ) ] 𝑑 τ ( x , t ) ( ξ ) + u r ( x , t )

(see (5.2) and (5.25)), thus

[ 0 , u r ( x , t ) ] | ξ - u r ( x , t ) | d τ ( x , t ) ( ξ ) τ ( x , t ) ( [ 0 , u r ( x , t ) ) ) = 0 .

Hence, supp τ ( x , t ) = { u r ( x , t ) } and (5.49) follows since τ ( x , t ) is a probability measure.

Similarly, if φ is strictly convex or strictly concave in ( l 0 , l 1 ) , it follows from (5.52) that τ ( x , t ) ( [ 0 , l 1 ) ) = 0 (we omit the details). Thus, supp τ ( x , t ) [ l 1 , ) , and arguing as above we obtain (5.49). (b) If φ is affine in [ l 1 - c , l 1 + c ] for some c > 0 , let I = [ l ¯ 0 , l ¯ 2 ] be the maximal interval containing l 1 , where φ ( ξ ) = φ ( l 1 ) . If I = [ 0 , ) , (5.50) is satisfied. If l ¯ 2 < , by (C3) and the maximality of I, φ is strictly convex (or concave) in [ l ¯ 2 , l ¯ 2 + b ] for some b > 0 (and affine in [ l 1 , l ¯ 2 ] ). By (5.51), with l 2 ( l ¯ 2 , l ¯ 2 + b ) , we obtain that

( l ¯ 2 , l 2 ] | φ ( ξ ) - φ ( l 1 ) - φ ( l 1 ) ( ξ - l 1 ) | d τ ( x , t ) ( ξ ) + | φ ( l 1 ) - φ ( l 2 ) | ( l 2 , ) | l 1 - ξ | d τ ( x , t ) ( ξ ) = 0 ,

where

χ ( l ¯ 2 , l 2 ] ( ξ ) | φ ( ξ ) - φ ( l 1 ) - φ ( l 1 ) ( ξ - l 1 ) | > 0 and | φ ( l 1 ) - φ ( l 2 ) | > 0 .

It follows that τ ( x , t ) ( ( l ¯ 2 , ) ) = 0 , whence supp τ ( x , t ) [ 0 , l ¯ 2 ] . Similarly, if l ¯ 0 > 0 , by (C3) and the maximality of I, φ is strictly convex (or concave) in [ l ¯ 0 - a , l ¯ 0 ] for some a > 0 (and affine in [ l ¯ 0 , l 1 ] ). Arguing as before, we obtain from (5.52), with l 0 ( l ¯ 0 - a , l ¯ 0 ) , that supp τ ( x , t ) [ l ¯ 0 , ) (we omit the details). Summing up, we obtain (5.50): supp τ ( x , t ) [ 0 , l ¯ 2 ] [ l ¯ 0 , ) = I . ∎

Remark 5.10.

If (C1) is satisfied for all u ¯ > 0 , it follows from (5.49) and standard properties of narrow convergence of Young measures (see [28]) that u n j u r in measure, where { u n j } is the subsequence in Proposition 5.1. Therefore, up to a subsequence, u n j u r a.e. in S. Hence, if φ is bounded, it follows from the dominated convergence theorem that φ ( u n j ) φ ( u r ) in L 1 ( ( - L , L ) × ( 0 , T ) ) for all L > 0 .

Now we can prove Theorem 3.7.

Proof of Theorem 3.7.

Let ζ C 1 ( [ 0 , T ] ; C c 1 ( ) ) , with ζ ( , T ) = 0 in , and let L > 0 be such that supp ζ ( - L , L ) × [ 0 , T ] . By (5.17), with U ( u ) = u and U ( u ) = φ ( u ) ,

S u n j t ζ d x d t S u r t ζ d x d t + 0 T u s ( , t ) , t ζ ( , t ) 𝑑 t ,
S φ ( u n j ) x ζ d x d t S φ * x ζ d x d t + C φ 0 T u s ( , t ) , x ζ ( , t ) 𝑑 t

(see also (5.25)). Letting j in (3.17), with n = n j , we obtain (3.4). Inequality (3.6) is proven similarly, since by arguing as in Proposition 5.3, we get

E ( u 0 n j ) * E ( u 0 r ) + C E u 0 s in  ( )

(in this regard, see also (3.15)). Thus, the function u L ( 0 , T ; + ( ) ) given by Proposition 5.1 is an entropy solution of problem (P) in the sense of Young measures. By Proposition 5.8, it is also a solution in the sense of Definition 3.3. This proves the first part of the theorem. The second part is an immediate consequence of Proposition 5.9; in fact, (3.9) follows from (3.6) and (5.49). ∎

Let us end this section by proving Proposition 3.8.

Proof of Proposition 3.8.

For every ζ ~ C 1 ( [ 0 , T ] ; C c 1 ( ) ) , ζ ~ ( , T ) = 0 , we set E ( u ) = U m ( u ) = ( u - m ) χ { u > m } ( u ) and F ( u ) = F m ( u ) = 0 u U m ( ξ ) φ ( ξ ) 𝑑 ξ = ( φ ( u ) - φ ( m ) ) χ { u > m } ( u ) in the entropy inequalities (3.6) ( m ). Then we get

S { U m * t ζ ~ + F m * x ζ ~ } 𝑑 x 𝑑 t + 0 T u s ( , t ) , t ζ ~ ( , t ) 𝑑 t + C φ 0 T u s ( , t ) , x ζ ~ ( , t ) 𝑑 t
- U m ( u 0 r ) ζ ~ ( x , 0 ) 𝑑 x - u 0 s , ζ ~ ( , 0 ) ,

where, for a.e. ( x , t ) S ,

U m * ( x , t ) := [ 0 , ) U m ( ξ ) 𝑑 τ ( x , t ) ( ξ ) , F m * ( x , t ) := [ 0 , ) F m ( ξ ) 𝑑 τ ( x , t ) ( ξ ) .

As in the proof of Proposition 5.7, we have S { U m * t ζ ~ + F m * x ζ ~ } 𝑑 x 𝑑 t 0 and U m ( u 0 r ) ζ ~ ( x , 0 ) 𝑑 x 0 as m , whence

(5.53) 0 T u s ( , t ) , t ζ ~ ( , t ) 𝑑 t + C φ 0 T u s ( , t ) , x ζ ~ ( , t ) 𝑑 t - u 0 s , ζ ~ ( , 0 ) .

Let ζ C ( [ 0 , T ] ; C c ( ) ) . By Definition 2.1 (for L ( 0 , T ; ( ) ) ), the map t u s ( , t ) , ζ ( , t ) belongs to L ( 0 , T ) . Hence,

(5.54) lim h 0 1 h t ¯ t ¯ + h u s ( , t ) , ζ ( , t ) 𝑑 t = u s ( , t ¯ ) , ζ ( , t ¯ ) for every  t ¯ ( 0 , T ) N ,

for some null set N ( 0 , T ) (by separability arguments, we have that N is independent of ζ; see the proof of [23, Lemma 3.1]). Let t 1 , t 2 ( 0 , T ) N , 0 < t 1 < t 2 < T . By standard approximation arguments, we can choose ζ ~ ( x , t ) = g h ( t ) ζ ( x , t ) in (5.53), where

(5.55) g h ( t ) := 1 h ( t - t 1 ) χ { t 1 t t 1 + h } ( t ) + χ { t 1 + h < t < t 2 } ( t ) + 1 h ( t 2 + h - t ) χ { t 2 t t 2 + h } ( t )

and h ( 0 , min { t 2 - t 1 , T - t 2 } ) . Letting h 0 in (5.53), we obtain that

(5.56) u s ( , t 2 ) , ζ ( , t 2 ) t 1 t 2 u s ( , t ) , ζ ν ( , t ) 𝑑 t + u s ( , t 1 ) , ζ ( , t 1 ) .

Similarly, let f h ( t ) := χ { 0 t < t 2 } ( t ) + 1 h ( t 2 + h - t ) χ { t 2 t t 2 + h } ( t ) . Setting ζ ~ ( x , t ) = f h ( t ) ζ ( x , t ) in (5.53) and letting h 0 + , we obtain that

(5.57) u s ( , t ) , ζ ( , t ) 0 t u s ( , τ ) , ζ ν ( , τ ) 𝑑 τ + u 0 s , ζ ( , 0 ) .

Arguing as in the last part of the proof of Proposition 5.7, we obtain (3.18) and (3.19) from, respectively, (5.56) and (5.57) (we omit the details).

(ii) It follows from (3.8) that for a.e. τ ( 0 , T ) and m ,

(5.58) u ( , τ ) , ρ m - u 0 , ρ m = 0 τ { Ω m φ ( u r ) ( x , t ) ρ m d x + C φ u s ( , t ) Ω m , ρ m } d t ,

where { ρ m } C c 1 ( ) is such that ρ m = 1 in [ - m , m ] , supp ρ m [ - m - 1 , m + 1 ] , 0 ρ m 1 and | ρ m | 2 in , and Ω m := [ - m - 1 , - m ] [ m , m + 1 ] . Since u s L ( 0 , T ; + ( ) ) and φ ( u r ) L ( 0 , T ; L 1 ( ) ) , a routine proof shows that

lim m 0 τ φ ( u r ) ( x , t ) ρ m ( x ) 𝑑 x 𝑑 t = lim m 0 τ u s ( , t ) Ω m , ρ m 𝑑 t = 0 .

Since ρ m ( x ) 1 for all x , we also get that u ( , τ ) , ρ m u ( , τ ) ( ) and u 0 , ρ m u 0 ( ) as m . Letting m in (5.58), we obtain claim (ii). ∎

6 Regularity: Proofs

The first regularity result which we prove is Proposition 3.5. Hence, we need the following lemma.

Lemma 6.1.

Let (H1) be satisfied. Let ( u , τ ) be a Young measure solution of problem (P). Then there exists a null set F * ( 0 , T ) such that for every t 0 , t 1 ( 0 , T ) F * , t 0 < t 1 , and any ρ C c 1 ( R ) , we have

(6.1) u ( , t 1 ) , ρ - u 0 , ρ = 0 t 1 { φ * ( x , t ) ρ ( x ) d x + C φ u s ( , t ) , ρ } d t ,
(6.2) u ( , t 1 ) , ρ - u ( , t 0 ) , ρ = t 0 t 1 { φ * ( x , t ) ρ ( x ) d x + C φ u s ( , t ) , ρ } d t .

Proof.

Since u L ( 0 , T ; + ( ) ) , there exists a null set F 0 ( 0 , T ) such that the spatial disintegration u ( , t ) + ( ) is defined for every t ( 0 , T ) F 0 . Arguing as in the proof of [23, Lemma 3.1], we can show that there exists a null set F * ( 0 , T ) , F 0 F * , such that for every ρ C c ( ) and t ( 0 , T ) F * ,

(6.3) lim q { 2 q t - 1 q t + 1 q | u ( , s ) , ρ - u ( , t ) , ρ | d s } = 0 .

The proof of (6.1) is based on (3.4) and (6.3). Let ρ C c 1 ( ) and t 1 ( 0 , T ) F * . By standard regularization arguments, we can set ζ = ρ ( x ) k q ( t ) in (3.4), with q 1 T - t 1 + 1 ( q ) and

k q ( t ) := min { 1 , q ( t 1 + 1 q - t ) + } χ ( 0 , t 1 ] in  ( 0 , T )  as  q

to get

q t 1 t 1 + 1 q u ( , t ) , ρ d t - u 0 , ρ = 0 T { φ * ( x , t ) ρ ( x ) d x + C φ u s ( , t ) , ρ } k q ( t ) d t .

Letting q , we obtain (6.1) from (3.7) and (6.3). Subtracting from (6.1) the same inequality with t 1 replaced by t 0 , we obtain (6.2). ∎

Proof of Proposition 3.5.

Let F * ( 0 , T ) be the null set given by Lemma 6.1. Let { τ n } ( 0 , T ) F * , with τ n 0 + as n . Since, by (3.7), u L ( 0 , T ; + ( ) ) and φ * L ( 0 , T ; L 1 ( ) ) , it follows from (6.1) that u ( , τ n ) , ρ u 0 , ρ for all ρ C c 1 ( ) . Since, by Definition 2.1 (ii), sup n u ( , τ n ) ( ) C , there exist μ 0 + ( ) and a subsequence { τ n k } such that u ( , τ n k ) * μ 0 in ( ) as k . By standard density arguments, this implies that μ 0 = u 0 . Hence, u ( , τ n ) * u 0 along the whole sequence { τ n } , and (3.11) follows from (6.1) and the arbitrariness of { τ n } .

Similarly, it follows from (6.2) that u ( , τ n ) , ρ u ( , t 0 ) , ρ for all ρ C c 1 ( ) as τ n t 0 if t 0 , τ n ( 0 , T ) F * , and we obtain (3.12).

To prove (3.13), we observe that, given t 0 [ 0 , T ] and two sequences τ n 1 and τ n 2 contained in ( 0 , T ) F * and converging to t 0 , we have u ( , τ n 1 ) - u ( , τ n 2 ) , ρ 0 for all ρ C c ( ) . Hence, if t 0 F * , the continuous extension of u ( , t ) from ( 0 , T ) F * with respect to the weak * topology is well-defined. ∎

Let us now prove the results of Section 3.3. As explained there, replacing x by x - C φ t we may assume, without loss of generality, that C φ = 0 ; namely, it suffices to prove Proposition 3.10, Theorem 3.11 and Proposition 3.14. Moreover, replacing x by - x and φ by - φ , it suffices to do so by assuming that (H2) is satisfied with φ ′′ < 0 , φ > 0 in ( 0 , ) (see Remark 3.15). Therefore, we make use of the following assumption:

  1. φ C ( [ 0 , ) ) , C φ = 0 , φ ′′ ( u ) < 0 , and there exist H - 1 , K > 0 such that

    φ ′′ ( u ) [ H φ ( u ) + K ] - [ φ ( u ) ] 2 < 0 for all  u [ 0 , ) .

(Recall that in this case φ > 0 and H φ ( u ) + K > 0 in [ 0 , ) .)

First we prove some estimates of the constructed entropy solutions. As already said, these estimates are analogous to the Aronson–Bénilan inequality for the convex case u p , p > 1 (see [1]).

Proposition 6.2.

Let (H1) and (H5) be satisfied, and let u be an entropy solution of problem (P) given by Theorem 3.7. Then, for a.e. 0 < t 1 < t 2 T ,

(6.4) φ ( u r ) ( , t 2 ) + K H ( t 2 t 1 ) H [ φ ( u r ) ( , t 1 ) + K H ] a.e. in  if  H 0 ,
(6.5) φ ( u r ) ( , t 2 ) - K log ( t 2 ) φ ( u r ) ( , t 1 ) - K log t 1 a.e. in  if  H = 0 .

Moreover, if

  1. there exists L > 0 such that

    H φ ( u ) + K L ( 1 + u ) φ ( u ) for  u 0 ,

then t u M ( Ω × ( τ , T ) ) , t [ φ ( u r ) ] M ( Ω × ( τ , T ) ) , and u C ( ( 0 , T ] ; M ( Ω ) ) for every bounded open set Ω R and τ > 0 .

Remark 6.3.

If φ ( u ) = sgn p [ ( 1 + u ) p - 1 ] ( p < 1 , p 0 ), (6.4) becomes

u r ( , t 2 ) ( t 2 t 1 ) 1 1 - p [ 1 + u r ( , t 1 ) ] - 1 a.e. in  , for a.e.  0 < t 1 t 2 T

(see Remark 3.9). Similarly, if φ ( u ) = log ( 1 + u ) , (6.5) becomes

u r ( , t 2 ) ( t 2 t 1 ) [ 1 + u r ( , t 1 ) ] - 1 a.e. in  , for a.e.  0 < t 1 t 2 T .

Let (H5) hold. To prove Proposition 6.2, we use a different regularization of (Pn), that is,

(6.6) { t y n ε + x [ φ ( y n ε ) ] = ε x 2 [ φ ( y n ε ) ] in  S , y n ε = u 0 n ε in  × { 0 } ,

where { u 0 n ε } satisfies (4.1)–(4.2). The existence, uniqueness and regularity results recalled in Section 4 for problem (4.3), as well as the a priori estimates in Lemma 4.1 and the convergence results in Lemma 4.4 (i), continue to hold for solutions of (6.6) (see [18]). In particular, there exist a sequence { y n ε m } and y n L ( S ) L ( 0 , T ; L 1 ( ) ) such that y n ε m * y n in L ( S ) and for all L > 0 ,

(6.7) y n ε m y n in  L 1 ( ( - L , L ) × ( 0 , T ) )  as  ε m 0 .

From (6.6), for every E convex, F = E φ , and ζ as in Definition 3.6, we get

S { E ( y n ε m ) t ζ + F ( y n ε m ) x ζ } 𝑑 x 𝑑 t + E ( u 0 n ε ) ζ ( x , 0 ) 𝑑 x ε m S F ( y n ε m ) x y n ε m x ζ d x d t .

Arguing as in the proof of Proposition 4.5 and letting ε m 0 , we obtain that

S [ E ( y n ) t ζ + F ( y n ) x ζ ] 𝑑 x 𝑑 t - E ( u 0 n ) ζ ( x , 0 ) 𝑑 x .

So y n satisfies (3.16) and, by Kružkov’s uniqueness theorem, y n = u n . Hence, we have shown the following lemma.

Lemma 6.4.

Let (H1) and (H5) be satisfied, and let u n be the unique entropy solution of problem (Pn) given by Proposition 4.5. Then there exists a subsequence { y n ε m } of solutions of (6.6) such that y n ε m * u n in L ( S ) and satisfies (6.7).

Lemma 6.5.

Let (H1) and (H5) be satisfied. Then

(6.8) t [ H φ ( y n ε ) ( , t ) + K t H ] { 0 in  if  H > 0 , 0 in  if  H < 0 ,
(6.9) t [ φ ( y n ε ) ( , t ) - K log t ] 0 in  if  H = 0 ,

for all t ( 0 , T ) , ε > 0 and n N . Moreover, if (C4) is satisfied, then

(6.10) t t y n ε L ( 1 + y n ε ) in  S .

Proof.

For convenience, we set A ε x 2 - x , thus t y n ε = A [ φ ( y n ε ) ] in S. Let

z n ε := t t y n ε - g ( y n ε ) , where  g ( y n ε ) := H φ ( y n ε ) + K φ ( y n ε ) ( n ) .

It follows from (H5) and a straightforward calculation that

t z n ε = A [ φ ( y n ε ) z n ε ] + [ H + 1 - g ( y n ε ) ] 0 z n ε + g ( y n ε ) t A [ φ ( y n ε ) z n ε ] + [ H + 1 - g ( y n ε ) ] z n ε t

in S. Since z n ε = - g ( u 0 n ε ) 0 in × { 0 } , it follows from the comparison principle for parabolic equations that z n ε 0 in S for all n . Hence, t t y n ε ( , t ) g ( y n ε ) ( , t ) in for all t ( 0 , T ) , which implies (6.8), (6.9) and, if (C4) is satisfied, (6.10). ∎

Proof of Proposition 6.2.

Let { y n ε m } be as in the proof of Lemma 6.4. By (6.8)–(6.9),

φ ( y n ε m ) ( , t 2 ) + K H ( t 2 t 1 ) H [ φ ( y n ε m ) ( , t 1 ) + K H ] in   if  H 0 ,
φ ( y n ε ) ( x , t 2 ) - K log ( t 2 ) φ ( y n ε ) ( x , t 1 ) - K log t 1 in   if  H = 0 ,

for all 0 < t 1 t 2 T and n . Hence, by Lemma 6.4,

(6.11) φ ( u n ) ( , t 2 ) + K H ( t 2 t 1 ) H [ φ ( u n ) ( , t 1 ) + K H ] a.e. in   if  H 0 ,
(6.12) φ ( u n ) ( , t 2 ) - K log ( t 2 ) φ ( u n ) ( , t 1 ) - K log t 1 a.e. in   if  H = 0 ,

for a.e. 0 < t 1 t 2 T . Since φ is strictly decreasing in [ 0 , ) (recall that φ is concave by assumption H5), possibly extracting another subsequence (denoted again by { n j } ), φ ( u n j ) φ ( u r ) a.e. in S (see Remark 5.10). Letting j in (6.11)–(6.12) (with n = n j ), we obtain (6.4)–(6.5).

Let Ω = ( - L , L ) . If (C4) is satisfied, it follows from (6.10) and (4.5) that

(6.13) t Ω [ t y n ε ] + ( x , t ) 𝑑 x L | Ω | + u 0 ( ) for all  t ( 0 , T ] .

Since | t y n ε | = 2 [ t y n ε ] + - t y n ε a.e. in S, there exists C Ω > 0 such that

τ T Ω | t y n ε | ( x , t ) 𝑑 x 𝑑 t 2 ( T - τ ) L | Ω | + u 0 ( ) τ + Ω { y n ε ( x , τ ) - y n ε ( x , T ) } C Ω τ

for all τ > 0 , ε > 0 and n , and, by (3.1),

(6.14) τ T Ω | t y n ε | d x d t C Ω τ , τ T Ω | t [ φ ( y n ε ) ] | d x d t M C Ω τ .

Let { ε m } and { n j } be as in Lemma 6.4 and (5.1). Then

lim n j lim ε m 0 y n j ε m , t ζ Ω × ( τ , T ) = u , t ζ Ω × ( τ , T ) for all  ζ C c 1 ( Ω × ( τ , T ) ) ,

whence, by (6.14) and the lower semicontinuity of the total variation,

t u ( Ω × ( τ , T ) ) C Ω τ .

Similarly, by (5.6), (5.25) and Proposition 5.8,

lim n j lim ε m 0 φ ( y n j ε m ) , t ζ Ω × ( τ , T ) = τ T Ω φ ( u r ) t ζ d x d t for all  ζ C c 1 ( Ω × ( τ , T ) ) ,

and, by (6.14) and the lower semicontinuity of the total variation,

t [ φ ( u r ) ] ( Ω × ( τ , T ) ) M C Ω τ .

It remains to prove that u C ( ( 0 , T ] ; ( Ω ) ) . Observe that for all t 1 , t 2 ( 0 , T ] , 0 < τ < t 1 < t 2 , and ρ C c 2 ( ) , 0 ρ 1 in , ρ = 1 in Ω,

Ω | y n ε ( x , t 2 ) - y n ε ( x , t 1 ) | d x | y n ε ( x , t 2 ) - y n ε ( x , t 1 ) | ρ ( x ) d x
t 1 t 2 | t y n ε | ρ d x d t
= t 1 t 2 ( 2 [ t y n ε ] + - t y n ε ) ρ 𝑑 x 𝑑 t
= 2 t 1 t 2 [ t y n ε ] + ρ 𝑑 x 𝑑 t - t 1 t 2 { φ ( y n ε ) ρ ( x ) + ε φ ( y n ε ) ρ ′′ ( x ) } 𝑑 x 𝑑 t
2 L | supp ρ | + u 0 ( ) τ ( t 2 - t 1 ) - t 1 t 2 { φ ( y n ε ) ρ + ε φ ( y n ε ) ρ ′′ } 𝑑 x 𝑑 t ,

where we have used (6.13). We let ε = ε m 0 and use (3.1) and (4.20) to obtain

Ω | u n ( x , t 2 ) - u n ( x , t 1 ) | d x 2 L | supp ρ | + u 0 ( ) τ ( t 2 - t 1 ) - t 1 t 2 φ ( u n ) ρ ( x ) d x d t
( 2 L | supp ρ | + u 0 ( ) τ + M u 0 ( ) ρ L ( ) ) ( t 2 - t 1 ) = : C ~ τ ( t 2 - t 1 ) .

By (5.16) and the lower semicontinuity of the total variation,

u ( , t 2 ) - u ( , t 1 ) ( Ω ) C ~ τ | t 1 - t 2 | for a.e.  0 < τ < t 1 < t 2 T .

So we may define u ( , t ) for all t [ τ , T ] such that u C ( [ τ , T ] ; ( Ω ) ) . Since τ > 0 is arbitrary, the proof is complete. ∎

To prove Proposition 3.10, we need the following lemma.

Lemma 6.6.

Let (H1) be satisfied, and let u be the solution of problem (P) given by Theorem 3.7. Let { u n j } be as in the proof of Theorem 3.7. Then, for a.e. t ( 0 , T ) and all x 0 supp u s ( , t ) , there exist a sequence { x 0 k } R and a subsequence { u n k } of { u n j } such that x 0 k x 0 and u n k ( x 0 k , t ) as k .

Proof.

Let x 0 supp u s ( , t ) . We may assume that the convergence in (5.16) is satisfied for this t. Since x 0 supp u s ( , t ) , there is no neighborhood I δ ( x 0 ) such that the sequence { u n j ( , t ) } lies in a bounded subset of L ( I δ ( x 0 ) ) . Otherwise, up to a subsequence, u n j ( , t ) * f t in L ( I δ ( x 0 ) ) for some f t L ( I δ ( x 0 ) ) , f t 0 . However, this would imply that u s ( , t ) = 0 in I δ ( x 0 ) , a contradiction.

Setting δ = 1 / k , we obtain that sup n j u n j ( , t ) L ( I 1 / k ( x 0 ) ) = for all k . Hence, for all k , there exists x 0 k I 1 / k ( x 0 ) such that u n k ( x 0 k , t ) k . ∎

Proof of Proposition 3.10.

As pointed out above, it suffices to prove equality (3.20) by assuming (H5). Let { u n j } be as in the proof of Lemma 6.6. By Lemma 6.4, for every n j , there exists ε m 0 such that

(6.15) y n j ε m ( , t ) u n j ( , t ) in  L loc 1 ( )  as  ε m 0  for a.e.  t ( 0 , T ) .

By the proof of Lemma 6.5, for all t ( 0 , T ) ,

(6.16) ε m x 2 [ φ ( y n j ε m ) ( , t ) ] - x [ φ ( y n j ε m ) ( , t ) ] = t ( y n j ε m ) g ( y n j ε m ) ( , t ) t in  ,

where g ( u ) = H φ ( u ) + K φ ( u ) > 0 . For every x ¯ < x ¯ , let ρ C c 1 ( ( x ¯ , x ¯ ) ) , ρ 0 . Multiplying (6.16) by ρ / g ( y n j ε m ( , t ) ) , integrating by parts and setting Ψ ( y ) := 0 y φ ( u ) g ( u ) 𝑑 u , we find that

x ¯ x ¯ Ψ ( y n j ε m ) ( x , t ) [ ε m ρ ′′ ( x ) + ρ ( x ) ] 𝑑 x 1 t x ¯ x ¯ ρ ( x ) 𝑑 x - ε m x ¯ x ¯ φ ( y n j ε m ) g ( y n j ε m ) [ ( y n j ε m ) x ] 2 [ g ( y n j ε m ) ] 2 ( x , t ) ρ ( x ) 𝑑 x 1 t x ¯ x ¯ ρ ( x ) 𝑑 x

(observe that by (H5) we have g ( u ) H + 1 0 and Ψ is bounded). Hence, by (6.15),

(6.17) x ¯ x ¯ Ψ ( u n j ) ( x , t ) ρ ( x ) 𝑑 x 1 t x ¯ x ¯ ρ ( x ) 𝑑 x .

Let x 0 supp u s ( , t ) , and let { x 0 k } , { u n k } be as in Lemma 6.6, for a.e. t ( 0 , T ) . Let x ¯ > x 0 be fixed. Since x 0 k x 0 , there exists k ¯ such that x ¯ > x 0 k for all k > k ¯ . Consider any sequence { ρ m } C c 1 ( ( x 0 k , x ¯ ) ) , 0 ρ m 1 , ρ m χ ( x 0 k , x ¯ ) in . Without loss of generality, we may assume that both x 0 k and x ¯ are Lebesgue points of u n k ( , t ) for all k . Setting ρ = ρ m and x ¯ = x 0 k in (6.17), and letting m , we find that

Ψ ( u n k ) ( x 0 k , t ) Ψ ( u n k ) ( x ¯ , t ) + 1 t ( x ¯ - x 0 k ) for all  n k .

Since Ψ is continuous, by Lemma 6.6 and Remark 5.10 (recall that φ satisfies (C1), since φ is strictly concave by assumption H5), letting n k gives

Ψ ( u r ) ( x ¯ , t ) + 1 t ( x ¯ - x 0 ) Ψ ( )  for a.e.  x ¯ > x 0 ,

whence, by the invertibility of Ψ,

(6.18) u r ( x ¯ , t ) Ψ - 1 ( Ψ ( ) - 1 t ( x ¯ - x 0 ) ) for a.e.  x ¯ > x 0 .

Letting x ¯ x 0 + in the previous inequality, we obtain (3.20). ∎

To prove Theorem 3.11, we need the following result.

Proposition 6.7.

Let (H1) be satisfied. Let C φ = 0 , and let u be a solution of problem (P). Then, for a.e. 0 t 1 t 2 T ,

  1. the map x Φ ( x , t 1 , t 2 ) := t 1 t 2 φ ( u r ) ( x , t ) 𝑑 t belongs to BV ( ) ,

  2. for all x 0 , x 1 , x 0 x 1 ,

    (6.19) u ( , t 2 ) ( [ x 0 , x 1 ] ) - u ( , t 1 ) ( [ x 0 , x 1 ] ) = Φ ( x 0 - , t 1 , t 2 ) - Φ ( x 1 + , t 1 , t 2 ) ,
    (6.20) u ( , t 2 ) ( [ x 0 , x 1 ] ) - u 0 ( [ x 0 , x 1 ] ) = Φ ( x 0 - , 0 , t 2 ) - Φ ( x 1 + , 0 , t 2 ) .

Remark 6.8.

It is easily seen that for C φ 0 , equalities (6.19)–(6.20) are replaced by

(6.21) u ( , t 2 ) ( [ x 0 , x 1 ] ) - 𝒯 C φ ( t 2 - t 1 ) ( u ( , t 1 ) ) ( [ x 0 , x 1 ] ) = Φ ( x 0 - , t 1 , t 2 ) - Φ ( x 1 + , t 1 , t 2 ) ,
u ( , t 2 ) ( [ x 0 , x 1 ] ) - 𝒯 C φ t 2 ( u 0 ) ( [ x 0 , x 1 ] ) = Φ ( x 0 - , 0 , t 2 ) - Φ ( x 1 + , 0 , t 2 ) ,

where now

(6.22) Φ ( x , t 1 , t 2 ) := t 1 t 2 [ φ ( u r ) - C φ u r ] ( x + C φ ( t - t 1 ) , t ) 𝑑 t .

Proof of Proposition 6.7.

(i) By (3.1), | t 1 t 2 φ ( u r ) ( x , t ) 𝑑 t | M t 1 t 2 u r ( x , t ) 𝑑 t L 1 ( ) . We argue as in the proof of Proposition 3.8 (see (5.54)). There exists a null set N ( 0 , T ) such that

(6.23) lim h 0 1 h t ¯ t ¯ + h u ( , t ) , ρ 𝑑 t = u ( , t ¯ ) , ρ for all  ρ C c ( )  and  t ¯ ( 0 , T ) N .

Let t 1 , t 2 ( 0 , T ) N , 0 < t 1 < t 2 < T , ρ C c 1 ( ) , and ζ ( x , t ) = g h ( t ) ρ ( x ) , with g h as in (5.55). Since C φ = 0 , we obtain from (3.8) that

1 h t 1 t 1 + h u ( , t ) , ρ 𝑑 t - 1 h t 2 t 2 + h u ( , t ) , ρ 𝑑 t + 0 T g h ( t ) ρ ( x ) φ ( u r ) ( x , t ) 𝑑 x 𝑑 t = 0 .

Letting h 0 , it follows from (6.23) that

(6.24) u ( , t 2 ) , ρ - u ( , t 1 ) , ρ = Φ ( x , t 1 , t 2 ) ρ ( x ) 𝑑 x .

Hence, the distributional derivative Φ x ( x , t 1 , t 2 ) belongs to ( ) .

(ii) We set, for m and x ,

ρ m ( x ) := m ( x - x 0 + 1 m ) χ [ x 0 - 1 m , x 0 ] + χ ( x 0 , x 1 ) ( x ) + m ( - x + x 1 + 1 m ) χ [ x 1 , x 1 + 1 m ] .

By standard regularization arguments, we can choose ρ = ρ m in (6.24) to obtain

(6.25) u ( , t 2 ) , ρ m - u ( , t 1 ) , ρ m = m x 0 - 1 m x 0 Φ ( x , t 1 , t 2 ) 𝑑 x - m x 1 x 1 + 1 m Φ ( x , t 1 , t 2 ) 𝑑 x .

By the dominated convergence theorem, u ( , t i ) , ρ m u ( , t i ) ( [ x 0 , x 1 ] ) as m ( i = 1 , 2 ), whereas, by part (i),

m x 0 - 1 m x 0 Φ ( x , t 1 , t 2 ) 𝑑 x Φ ( x 0 - , t 1 , t 2 ) , m x 1 x 1 + 1 m Φ ( x , t 1 , t 2 ) 𝑑 x Φ ( x 1 + , t 1 , t 2 ) .

Hence, (6.19) follows from (6.25). The proof of (6.20) is similar. ∎

Remark 6.9.

Observe that, by (3.18) and (6.21) with x 0 = x 1 = x , all entropy solutions of problem (P) satisfy, for a.e. 0 t 1 t 2 T ,

Φ ( x - , t 1 , t 2 ) Φ ( x + , t 1 , t 2 ) for all  x ,

with Φ defined by (6.22).

Now we are ready to prove Theorem 3.11 and Proposition 3.14. As pointed out at the beginning of this section, in doing so it is not restrictive to assume that (H5) holds.

Proof of Theorem 3.11.

(i) By (6.20), for a.e. 0 t T ,

u s ( t ) ( { x 0 } ) = u 0 s ( { x 0 } ) + Φ ( x 0 - , 0 , t ) - Φ ( x 0 + , 0 , t ) u 0 s ( { x 0 } ) - φ L ( 0 , ) t ,

whence u s ( t ) ( { x 0 } ) > 0 if t ( 0 , u 0 s ( { x 0 } ) φ L ( 0 , ) ) . Hence, (3.21) follows.

(ii) Let u n be the entropy solution of problem (Pn) given by Proposition 4.5. We argue as in the proof of Proposition 6.7. For all n , the map x Φ n ( x , t 1 , t 2 ) := t 1 t 2 φ ( u n ) ( x , t ) 𝑑 t belongs to BV ( ) and, for a.e. 0 t 1 t 2 T and a.e. x 0 x 1 ,

x 0 x 1 u n ( x , t 2 ) 𝑑 x - x 0 x 1 u n ( x , t 1 ) 𝑑 x = Φ n ( x 0 - , t 1 , t 2 ) - Φ n ( x 1 + , t 1 , t 2 ) .

Letting x 1 , it follows from (4.27) and (3.14) that

(6.26) t 1 t 2 φ ( u n ) ( x , t ) 𝑑 t u 0 ( ) for  n  and a.e.  x .

Let { y n ε m } be the subsequence used in the proof of Lemma 6.4. By (6.8) and (6.9), for every 0 < t 1 t T and x ,

t 1 t φ ( y n ε m ) ( x , s ) 𝑑 s = 1 H t 1 t H φ ( y n ε m ) ( x , s ) + K s H s H 𝑑 s - K H ( t - t 1 )
H φ ( y n ε m ) ( x , t ) + K H t H t H + 1 - t 1 H + 1 H + 1 - K H ( t - t 1 ) if  H 0 ,
t 1 t φ ( y n ε m ) ( x , s ) 𝑑 s = t 1 t [ φ ( y n ε m ) ( x , s ) - K log s ] 𝑑 s + K t 1 t log s d s
[ φ ( y n ε m ) ( x , t ) - K log t ] ( t - t 1 ) + K [ t log t - t ] - K [ t 1 log t 1 - t 1 ] if  H = 0 .

Letting ε m 0 , by (6.26), we obtain, for a.e. t ( t 1 , T ) and a.e. x ,

u 0 ( ) Φ n ( x , t 1 , t ) { H φ ( u n ) ( x , t ) + K H t H t H + 1 - t 1 H + 1 H + 1 - K H ( t - t 1 ) if  H 0 , [ φ ( u n ) ( x , t ) - K ] ( t - t 1 ) + K t 1 log t t 1 if  H = 0 .

Letting t 1 0 + , we find in both cases that

(6.27) φ ( u n ) ( x , t ) ( H + 1 ) u 0 ( ) t + K for a.e.  t ( t 1 , T )  and a.e.  x

(recall that we have assumed H > - 1 if φ is bounded; otherwise, if φ is unbounded, we have H 0 , since φ > 0 and H φ + K > 0 in [ 0 , ) by H5). If lim u φ ( u ) = : γ < , K < γ and H > - 1 , the sequence { u n ( , t ) } lies in a bounded subset of L ( ) (thus, by (5.16) u s ( , t ) = 0 and u r ( , t ) L ( ) ) for a.e. t ( 0 , T ) such that

( H + 1 ) u 0 ( ) t + K < γ t > ( H + 1 ) u 0 ( ) γ - K .

This proves claim (ii) (a).

If γ = , we have H 0 , since H φ + K > 0 in [ 0 , ) (see H5). Then, by (6.27), the sequence { u n ( , t ) } lies in a bounded subset of L ( ) for a.e. t ( 0 , T ) , hence, by (5.16) as n , we obtain that t 0 = 0 . Thus, claim (ii) (b) follows. This completes the proof. ∎

Remark 6.10.

As we claimed in Remark 3.13, in Theorem 3.11 (ii), we may relax hypothesis (H2) to (H3), with k > 0 . To prove this, for every u 0 + ( Ω ) , let { u 0 n } be any sequence as in (3.14)–(3.15), and let u n be the entropy solution of problem (Pn). Set v 0 n := G k ( u 0 n ) , where G k ( u ) := ( u - k ) + for every u 0 , and let v n be the entropy solution of the following problem:

{ t v n + x [ φ k ( v n ) ] = 0 in  S , v n = v 0 n in  × { 0 }

( φ k ( u ) = φ ( u + k ) - φ ( k ) ). A standard calculation shows that G k ( u n ) is an entropy subsolution of the above problem, whence

(6.28) G k ( u n ) v n a.e. in  S .

Following the proof of Theorem 3.7, the sequence { v n } converges to an entropy solution v of problem (P) with initial datum v 0 = u 0 s + G k ( u 0 r ) . Moreover, by assumption (H3), φ k satisfies (H2) and we may apply Theorem 3.11 (ii) to v. Therefore, the conclusion follows from (6.28).

Proof of Proposition 3.14.

By the proof of Proposition 3.10, inequality (6.18) is satisfied for a.e. t ( 0 , T ) and all x 0 supp u s ( , t ) . We fix such t. Let x 1 supp u s ( , t ) and set 1 := ( x 1 - ε , x 1 + ε ) with ε > 0 . By (6.18),

1 u r ( x , t ) d x x 1 x 1 + ε Ψ - 1 ( Ψ ( ) - 1 t ( x - x 1 ) ) d x = 0 ε Ψ - 1 ( Ψ ( ) - y t ) d y = : B ε .

If supp u s ( , t ) 1 , let x 2 supp u s ( , t ) 1 and set 2 := ( x 2 - ε , x 2 + ε ) . Since ( x 1 , x 1 + ε ) ( x 2 , x 2 + ε ) = , we have that

1 2 u r ( x , t ) 𝑑 x x 1 x 1 + ε u r ( x , t ) 𝑑 x + x 2 x 2 + ε u r ( x , t ) 𝑑 x 2 B ε .

We continue this construction recursively as long as supp u s ( , t ) 1 n - 1 , with n - 1 := ( x n - 1 - ε , x n - 1 + ε ) : there exists x n supp u s ( , t ) { 1 n - 1 } such that, setting n := ( x n - ε , x n + ε ) ,

n B ε 1 n u r ( x , t ) 𝑑 x u 0 ( ) .

Hence, this construction stops at some n = n ε , and n ε B ε u 0 ( ) . Therefore,

supp u s ( , t ) 1 n ε , | supp s ( , t ) | | 1 n ε | 2 n ε ε 2 ε B ε u 0 ( ) .

Since B ε / ε as ε 0 , the claim follows. ∎

7 Uniqueness: Proofs

Again, without loss of generality, we may assume that C φ = 0 in the following proofs (see Remark 3.16).

Proof of Proposition 3.20.

(i) The first step of the proof consists in showing that

(7.1) ess lim t 0 + u r ( , t ) - u 0 r L 1 ( ) = 0 .

Let { u n ε } be the sequence of solutions to problems (4.3) considered in Section 4, and let { x l } ( l = 1 , , N ) be as in (3.26). We set I l := ( x l , x l + 1 ) , Q l := I l × ( 0 , τ ) ( l = 1 , , N - 1 ), I - := ( - , x 1 ) , I + := ( x N , ) , and Q ± := I ± × ( 0 , τ ) .

Let 1 l N - 1 and ρ C c 2 ( I l ) , ρ 0 . Let h 0 > 0 be such that x + h I l if x supp ρ and | h | < h 0 . Let δ > 0 . Setting v n ε ( x , t ) := u n ε ( x + h , t ) and z := ( u n ε - v n ε ) ( ρ + δ ) , we apply the L 1 -contraction property to the parabolic equation

t z + x [ ( R + 2 ε ρ ρ + δ ) z ] - ε x 2 z = ( R ρ ρ + δ + ε ρ ′′ ρ + δ ) z = ( φ ε ( u n ε ) - φ ε ( v n ε ) ) ρ + ε [ u n ε - v n ε ] ρ ′′ ,

where

R := { φ ε ( u n ε ) - φ ε ( v n ε ) u n ε - v n ε if  u n ε v n ε , φ ε ( u n ε ) otherwise .

Hence,

I l | z ( x , τ ) | d x I l | z ( x , 0 ) | d x + 0 τ I l | φ ε ( u n ε ( x , t ) ) - φ ε ( u n ε ( x + h , t ) ) | | ρ ( x ) | d x d t
+ ε 0 τ I l | u n ε ( x , t ) - u n ε ( x + h , t ) | | ρ ′′ ( x ) | d x d t for  τ ( 0 , T ) .

First we let δ 0 and then ε = ε m 0 , where { ε m } is as in Lemma 4.4. Hence,

I l | u n ( x , τ ) - u n ( x + h , τ ) | ρ ( x ) d x I l | u 0 n ( x ) - u 0 n ( x + h ) | ρ ( x ) d x
(7.2) + 0 τ I l | φ ( u n ( x , t ) ) - φ ( u n ( x + h , t ) ) | | ρ ( x ) | d x d t

for a.e. τ ( 0 , T ) , where u n is the entropy solution of problem (Pn) ( n ). Since, by (5.16), u n ( , t ) * u ( , t ) in ( I l ) for a.e. t ( 0 , T ) and, by (3.19) and (3.26), u s ( , t ) I l u 0 s I l = 0 , the lower semicontinuity of the total variation implies that for a.e. τ ( 0 , T ) ,

I l | u r ( x , τ ) - u r ( x + h , τ ) | ρ ( x ) d x lim inf n I l | u n ( x , τ ) - u n ( x + h , τ ) | ρ ( x ) d x .

By (3.15), I l | u 0 n ( x ) - u 0 n ( x + h ) | ρ ( x ) d x I l | u 0 r ( x ) - u 0 r ( x + h ) | ρ ( x ) d x . In addition, φ ( u n j ) φ ( u r ) in L 1 ( Q l ) for a subsequence { u n j } of { u n } (see Remark 5.10). Letting n = n j in (7.2), we obtain, for a.e. τ ( 0 , T ) ,

I l | u r ( x , τ ) - u r ( x + h , τ ) | ρ ( x ) d x
(7.3) I l | u 0 r ( x ) - u 0 r ( x + h ) | ρ ( x ) d x + 0 τ I l | φ ( u r ( x , t ) ) - φ ( u r ( x + h , t ) ) | | ρ ( x ) | d x d t .

Let { τ n } ( 0 , T ) be any sequence such that τ n 0 + and (7.3) is satisfied with τ = τ n . Since u 0 r L 1 ( ) and φ ( u r ) L 1 ( S ) , it follows from (7.3) and the Fréchet–Kolmogorov theorem that the sequence { u r ( , τ n ) ρ } is relatively compact in L 1 ( ) . Then, by (3.11) and a standard argument,

(7.4) u r ( , τ n ) ρ u 0 r ρ in  L 1 ( ) .

It follows from (3.8) and (3.13) that for each n ,

(7.5) I l [ u r ( x , τ n ) - u 0 r ( x ) ] ρ ( x ) 𝑑 x = 0 τ n I l φ ( u r ) ( x , t ) ρ ( x ) 𝑑 x 𝑑 t .

For sufficiently small δ > 0 , the characteristic function χ ( x l , x l + δ ) ( x l + 1 - δ , x l + 1 ) can be approximated by functions ρ k C c 2 ( I l ) , ρ k 0 such that I l | ρ k ( x ) | d x 4 for all k . Setting ρ = ρ k in (7.5) and letting k , we find that

(7.6) x l x l + δ u r ( x , τ n ) 𝑑 x + x l + 1 - δ x l + 1 u r ( x , τ n ) 𝑑 x x l x l + δ u 0 r ( x ) 𝑑 x + x l + 1 - δ x l + 1 u 0 r ( x ) 𝑑 x + 4 φ L ( 0 , ) τ n .

Since u 0 r L 1 ( ) , for every σ > 0 , there exists δ > 0 such that

(7.7) x l x l + δ u 0 r ( x ) 𝑑 x + x l + 1 - δ x l + 1 u 0 r ( x ) 𝑑 x σ .

If ρ C c ( I l ) is such that 0 ρ 1 in I l , ρ = 1 in [ x l + δ , x l + 1 - δ ] , then

| u r ( , τ n ) - u 0 r | = | u r ( , τ n ) - u 0 r | ρ + | u r ( , τ n ) - u 0 r | ( 1 - ρ ) χ ( x l , x l + δ ) ( x l + 1 - δ , x l + 1 ) in  I l .

Hence, by (7.6) and (7.7),

I l | u r ( , τ n ) - u 0 r | d x 2 { x l x l + δ u 0 r d x + x l + 1 - δ x l + 1 u 0 r d x } + 4 φ L ( 0 , ) τ n + I l | u r ( , τ n ) - u 0 r | ρ d x
I l | u r ( , τ n ) - u 0 r | ρ d x + 4 φ L ( 0 , ) τ n + 2 σ .

Letting n in the above inequality, by (7.4), we obtain that

lim sup n I l | u r ( , τ n ) - u 0 r | d x 2 σ ,

whence, by the arbitrariness of σ,

lim n I l | u r ( x , τ n ) - u 0 r ( x ) | d x = 0 ( l = 1 , , N - 1 ) .

A similar argument shows that I ± | u r ( x , τ n ) - u 0 r ( x ) | d x 0 as n , thus (7.1) follows.

To complete the proof of (3.27), observe that by (3.19) we have u s ( , t ) u 0 s in ( ) (recall that C φ = 0 , by assumption). Hence,

u 0 s - u s ( , t ) , ρ u s ( , t ) - u 0 s ( )

for all ρ C c ( ) such that ρ ( x ) = 1 for every x supp u 0 s . From the previous inequality, (3.11) and (7.1), we get

ess lim t 0 + u s ( , t ) - u 0 s ( ) ess lim t 0 + u 0 s - u s ( , t ) , ρ
(7.8) = ess lim t 0 + { u 0 - u ( , t ) , ρ - ( u r ( x , t ) - u 0 r ) ρ ( x ) 𝑑 x } = 0 .

Then (3.27) follows.

(ii) Let ζ ± C c 1 ( Q ± ) , ζ ± 0 , and for every 1 l N - 1 let ζ l C c 1 ( Q l ) , ζ l 0 . Let h 0 > 0 be such that ( x + h , t ) Q l (respectively ( x + h , t ) Q ± ) if ( x , t ) supp ζ l (respectively if ( x , t ) supp ζ ± ) and | h | < h 0 .

Let u be an entropy solution of problem (P), thus v ( , t ) = 𝒯 - h ( u ( , t ) ) is an entropy solution of problem (P) with u 0 replaced by v 0 := 𝒯 - h ( u 0 ) (see Remark 3.16). We shall prove, for all l = 1 , , N - 1 and ζ l as above, that

(7.9) Q l { | v r - u r | t ζ l + sgn ( v r - u r ) [ φ ( v r ) - φ ( u r ) ] x ζ l } 𝑑 x 𝑑 t 0

and, for all ζ ± as above,

(7.10) Q ± { | v r - u r | t ζ ± + sgn ( v r - u r ) [ φ ( v r ) - φ ( u r ) ] x ζ ± } 𝑑 x 𝑑 t 0 .

Relying on (7.9)–(7.10) we can conclude the proof by an argument similar to that used in (i). Let ρ C c 1 ( I l ) , 0 ρ 1 , be such that x + h I l if x supp ρ and | h | < h 0 . By a proper choice of the function ζ l in (7.9), for a.e. 0 < t 0 < t 1 T , we get

I l | u r ( x , t 1 ) - v r ( x , t 1 ) | ρ ( x ) d x I l | u r ( x , t 0 ) - v r ( x , t 0 ) | ρ ( x ) d x + t 0 t 1 | φ ( u r ) - φ ( v r ) | | ρ ( x ) | d x d t .

Let t 0 > 0 be fixed. Then, for every τ ( t 0 , T ] , there exists a sequence τ n τ such that τ n ( t 0 , T ] , and the above inequality holds true with t 1 = τ n for every n, that is,

I l | u r ( x + h , τ n ) - u r ( x , τ n ) | ρ ( x ) d x I l | u r ( x + h , t 0 ) - u r ( x , t 0 ) | ρ ( x ) d x
(7.11) + ρ 0 T | φ ( u r ( x + h , t ) ) - φ ( u r ( x , t ) ) | d x d t .

Since φ ( u r ) L 1 ( S ) and u r ( , t 0 ) L 1 ( ) , inequality (7.11) and the Fréchet–Kolmogorov theorem imply that the sequence { u r ( , τ n ) ρ } is relatively compact in L 1 ( ) , whence, by Proposition 3.5 and a standard argument,

(7.12) u r ( , τ n ) ρ u r ( , τ ) ρ in  L 1 ( ) .

Moreover, by arguing as in (7.6) and (7.7) with u 0 r replaced by u r ( , τ ) , for every σ > 0 , there exists δ > 0 such that

(7.13) x l x l + δ u r ( x , τ n ) 𝑑 x + x l + 1 - δ x l + 1 u r ( x , τ n ) 𝑑 x σ + 4 φ L ( 0 , ) | τ n - τ | .

As in the proof of claim (i), combining (7.12) and (7.13) gives

lim n I l | u r ( x , τ n ) - u r ( x , τ ) | d x = 0 , l = 1 , , N - 1

(by a similar argument, I ± | u r ( x , τ n ) - u r ( x , τ ) | d x 0 as n ), whence

ess lim t τ u r ( , t ) - u r ( , τ ) L 1 ( ) = 0 .

Since C φ = 0 , it follows from (3.18) that u s ( , t 2 ) u s ( , t 1 ) in ( ) if t 2 > t 1 , whence, by arguing as in (7.8), we also obtain

ess lim t τ + u s ( , t ) - u s ( , τ ) ( ) = ess lim t τ - u s ( , t ) - u s ( , τ ) ( ) = 0 ,

and claim (ii) follows.

Finally, it remains to prove (7.9) (the proof of (7.10) is analogous). Let 1 l N - 1 and ζ l C c 1 ( Q l ) , ζ l 0 , be fixed as above. Since C φ = 0 , it follows from (3.19) and (3.26) that u s ( , t ) = v s ( , t ) = 0 on supp ζ l ( , t ) for a.e. t ( 0 , T ) , and from (3.10) that, for k [ 0 , ) ,

(7.14) Q l { | u r - k | t ζ l + sgn ( u r - k ) [ φ ( u r ) - φ ( k ) ] x ζ l } 𝑑 x 𝑑 t 0 ,
(7.15) Q l { | v r - k | t ζ l + sgn ( v r - k ) [ φ ( v r ) - φ ( k ) ] x ζ l } 𝑑 x 𝑑 t 0 .

We apply Kružkov’s method of doubling variables. Let Z l = Z l ( x , t , y , s ) C c 1 ( Q l × Q l ) , Z l 0 . It follows from (7.14)–(7.15) that

Q l { | u r ( x , t ) - v r ( y , s ) | t Z l ( x , t , y , s )
+ sgn ( u r ( x , t ) - v r ( y , s ) ) [ φ ( u r ( x , t ) ) - φ ( v r ( y , s ) ) ] x Z l ( x , t , y , s ) } d x d t 0

and

Q l { | v r ( y , s ) - u r ( x , t ) | s Z l ( x , t , y , s )
+ sgn ( v r ( y , s ) - u r ( x , t ) ) [ φ ( v r ( y , s ) ) - φ ( u r ( x , t ) ) ] y Z l ( x , t , y , s ) } d y d s 0 ,

whence

Q l × Q l { | u r ( x , t ) - v r ( y , s ) | ( t Z l + s Z l ) ( x , t , y , s )
+ sgn ( u r ( x , t ) - v r ( y , s ) ) [ φ ( u r ) ( x , t ) - φ ( v r ) ( y , s ) ] ( x Z l + y Z l ) ( x , t , y , s ) } d x d t d y d s 0 .

We choose

Z l ( x , t , y , s ) = Z l ε ( x , t , y , s ) := ζ l ( x , t ) ζ ε ( x - y , t - s ) ( ε > 0 ) ,

where ζ ε is a smooth approximation of the Dirac mass δ ( 0 , 0 ) ,

ζ ε ( x , y ) = 1 ε 2 θ ( x ε ) η ( t ε ) 0 , with  supp θ ( - 1 , 1 ) supp η ( - 1 , 1 ) .

Then t Z l + s Z l = t ζ l ζ ε and x Z l + y Z l = x ζ l ζ ε , whence, for sufficiently small ε,

Q l × Q l { | u r ( x , t ) - v r ( y , s ) | t ζ l ( x , t )
+ sgn ( u r ( x , t ) - v r ( y , s ) ) [ φ ( u r ) ( x , t ) - φ ( v r ) ( y , s ) ] x ζ l ( x , t ) } ζ ε ( x - y , t - s ) d x d t d y d s 0 .

Now (7.9) follows by letting ε 0 + , and we claim that

(7.16) lim ε 0 + Q l × Q l | u r ( x , t ) - v r ( y , s ) | t ζ l ( x , t ) ζ ε n ( x - y , t - s ) d x d t d y d s = Q l | u r ( x , t ) - v r ( x , t ) | t ζ l ( x , t ) d x d t .

Analogously, it can be proven that, as ε n 0 + ,

Q l 2 sgn [ u r ( x , t ) - v r ( y , s ) ] [ φ ( u r ) ( x , t ) - φ ( v r ) ( y , s ) ] x ζ l ( x , t ) ζ ε n ( x - y , t - s ) 𝑑 x 𝑑 t 𝑑 y 𝑑 s
Q l sgn ( u r ( x , t ) - v r ( y , s ) ) [ φ ( u r ) ( x , t ) - φ ( v r ) ( x , t ) ] x ζ l ( x , t ) 𝑑 x 𝑑 t .

In order to prove (7.16), for every sequence { ε n } , with ε n 0 , we set

F n ( x , t ) := Q l | u r ( x , t ) - v r ( y , s ) | ζ ε n ( x - y , t - s ) d y d s for  ( x , t ) K l := supp ζ l ,

and observe that F n | u r - v r | a.e. in ( x , t ) K l and

| F n ( x , t ) | | u r ( x , t ) | + Q l | v r ( y , s ) | ζ ε n ( x - y , t - s ) d y d s
= | u r ( x , t ) | + ( ζ ε n * | v r | ) ( x , t ) | u r ( x , t ) | + | v r ( x , t ) | in L 1 ( K l ) .

Thus, by a variant of the dominated convergence theorem (e.g., see [15, Theorem 4, Section 1.3]), we have F n | u r - v r | in L 1 ( K l ) , and we obtain (7.16). This completes the proof of (7.9), thus the result follows. ∎

Proof of Theorem 3.21.

Without loss of generality, we may assume that φ is nondecreasing, see Remark 3.15. By Theorem 3.11 (i),

τ := sup { t [ 0 , T ) u i s ( , t ) ( { x l } ) > 0  for all  l = 1 , , N , i = 1 , 2 } > 0 .

Let us first prove that

(7.17) u 1 r = u 2 r a.e. in  × ( 0 , τ ) .

To this end, let x 1 , , x N be the points in (3.26). Set I l := ( x l , x l + 1 ) , Q l := I l × ( 0 , τ ) ( l = 1 , , N - 1 ), I - := ( - , x 1 ) , I + := ( x N , ) , and Q ± := I ± × ( 0 , τ ) . By arguing as in the last part of the proof of Proposition 3.20 (ii) (in particular, see the proof of (7.9)–(7.10)), it follows that, for all l = 1 , , N - 1 and ζ l C c 1 ( Q l ) , ζ l 0 ,

(7.18) Q l { | u 1 r - u 2 r | t ζ l + | φ ( u 1 r ) - φ ( u 2 r ) ( x , t ) | x ζ l } 𝑑 x 𝑑 t 0

and, for all ζ ± C c 1 ( Q ± ) , ζ ± 0 ,

(7.19) Q ± { | u 1 r - u 2 r | t ζ ± + | φ ( u 1 r ) - φ ( u 2 r ) | x ζ ± ( x , t ) } 𝑑 x 𝑑 t 0

(recall that φ, by assumption, is increasing). We must show that (7.18) and (7.19) imply (7.17). For this purpose, let h C c 1 ( 0 , τ 1 ) , h 0 , and

ρ l , p ( x ) = p ( x - x l - 1 p ) χ [ x l + 1 / p , x l + 2 / p ) + χ [ x l + 2 / p , x l + 1 - 2 / p ) ( x )
- p ( x - x l + 1 + 1 p ) χ [ x l + 1 - 2 / p , x l + 1 - 1 / p ) ( x ) ( l = 1 , , N - 1 ) ,

with p sufficiently large. By standard approximation arguments, we may choose ζ l = ζ l , p := ρ l , p ( x ) h ( t ) in (7.18) to get

(7.20) 0 Q l { | u 1 r - u 2 r | ρ l , p ( x ) h ( t ) + | φ ( u 1 r ) - φ ( u 2 r ) | ρ l , p ( x ) h ( t ) } 𝑑 x 𝑑 t .

By the dominated convergence theorem, as p ,

Q l { | u 1 r - u 2 r | ρ l , p ( x ) h ( t ) d x d t 0 τ d t h ( t ) x l x l + 1 | u 1 r - u 2 r | d x .

Since ρ l , p ( x ) = p χ ( x l + 1 / p , x l + 2 / p ) ( x ) - p χ ( x l + 1 - 2 / p , x l + 1 - 1 / p ) ( x ) and φ is bounded, it follows from (3.20) and the dominated convergence theorem that

lim sup p Q l | φ ( u 1 r ) - φ ( u 2 r ) | ρ l , p ( x ) h ( t ) d x d t 0 τ h ( t ) ( lim p p x l + 1 p x l + 2 p | φ ( u 1 r ) - φ ( u 2 r ) | d x ) d t = 0 .

Hence, by (7.20),

0 τ d t h ( t ) x l x l + 1 | u 1 r ( x , t ) - u 2 r ( x , t ) | d x 0

and, by a proper choice of h,

(7.21) u 1 r ( , t ) - u 2 r ( , t ) L 1 ( I l ) u 1 r ( , t 1 ) - u 2 r ( , t 1 ) L 1 ( I l ) for every  0 < t 1 t τ

(recall that u i r C ( ( 0 , T ] ; ( ) ) , i = 1 , 2 , by Proposition 3.20 (ii)). Letting t 1 0 + , it follows from (3.28) that u 1 r ( , t ) - u 2 r ( , t ) L 1 ( I l ) = 0 for a.e. t ( 0 , τ ) and all l = 1 , , N - 1 . Similarly, we can prove that u 1 r ( , t ) - u 2 r ( , t ) L 1 ( I - I + ) = 0 for a.e. t ( 0 , τ ) , so we have proven (7.17).

Next let us prove that

(7.22) u 1 = u 2 in  ( × ( 0 , τ ) ) .

By (3.8) and (7.17), for every ζ C 1 ( [ 0 , τ ] ; C c 1 ( ) ) , with ζ ( , τ ) = 0 in , we have

0 T u 1 s ( , t ) - u 2 s ( , t ) , t ζ ( , t ) 𝑑 t = S { ( u 1 r - u 2 r ) t ζ + [ φ ( u 1 r ) - φ ( u 1 r ) ] x ζ } 𝑑 x 𝑑 t = 0 .

Arguing as in the proof of Lemma 6.1, there exists a null set F 0 ( 0 , τ ) such that u 1 s ( , t ) - u 2 s ( , t ) , ρ = 0 for all t ( 0 , τ ) F 0 and ρ C c 1 ( ) . Hence, u 1 = u 2 in L ( 0 , τ ; ( ) ) and, by (7.17), equality (7.22) follows.

If τ = T , the proof is complete. Otherwise, there exist N 1 < N different points x l k { x 1 , , x N } such that u i s ( , τ ) ( { x l k } ) > 0 for each k = 1 , , N 1 and i = 1 , 2 ; moreover, for every point x l { x 1 , , x N } , x l x l k , it follows from (6.20), with x 0 = x 1 = x l , that u 1 s ( , τ ) ( { x l } ) = u 2 s ( , τ ) ( { x l } ) = 0 , since φ ( u 1 r ) = φ ( u 2 r ) in × ( 0 , τ ) by (7.17). Then we set

τ 1 := sup { t [ τ , T ) u i s ( , t ) ( { x l k } ) > 0  for all  k = 1 , , N 1 , i = 1 , 2 } .

We can argue as in the proof of (7.17) to obtain that inequality (7.21) holds for every τ < t 1 t τ 1 . Since u i r C ( ( 0 , T ] ; ( ) ) , i = 1 , 2 (see Proposition 3.20 (ii)), and u 1 r ( , τ ) = u 2 r ( , τ ) , letting t 1 τ + , we get u 1 r = u 2 r a.e. in × ( τ , τ 1 ) (whence, also, u 1 = u 2 in ( × ( τ , τ 1 ) ) and the proof is completed in a finite number of steps. ∎

Let us finally prove Proposition 1.1.

Proof of Proposition 1.1.

A calculation proves that the solution defined by (1.3) if p < 0 , respectively, by (1.4) if 0 < p < 1 is an entropy solution of problem (1.1)–(1.2). If p < 0 , the solution also satisfies (3.20) for 0 < t < 1 and (3.28), so claim (i) follows from the uniqueness result in Theorem 3.22. If 0 < p < 1 , uniqueness of entropy solutions such that u s ( t ) = 0 for t > 0 and u r L ( × ( τ , T ) ) for τ ( 0 , T ) can be used (the proof of this uniqueness result is very similar to that given in [19], thus we omit the details; see also Remark 3.24). Hence, claim (ii) follows. ∎

Remark 7.1.

It is instructive to describe the approximation procedure which gives the solutions mentioned in Proposition 1.1. Consider the family of approximating problems

(7.23) { t u n + x [ φ ( u n ) ] = 0 in  S , u n = n 2 χ ( - 1 n , 1 n ) in  × { 0 } ,

with φ given by (1.2). It is easily seen that the entropy solution of ( R n ) is

u n ( x , t ) := { 0 if  x | p | t + 1 n , ( n | p | t n x - 1 ) 1 1 - p - 1 if  | p | t + 1 n > x ( 2 n + 2 ) 1 - p | p | t + 1 n , n 2 if  ( 2 n + 2 ) 1 - p | p | t + 1 n > x 2 ( sgn p ) n [ ( n + 2 2 ) p - 1 ] t - 1 n , 0 if  2 ( sgn p ) n [ ( n + 2 2 ) p - 1 ] t - 1 n > x ,

for 0 t t n := 1 φ ( n 2 ) - n 2 φ ( n 2 ) . At t = t n a shock x = ξ ( t ) stems from x = x n := 1 n φ ( n 2 ) + n 2 φ ( n 2 ) φ ( n 2 ) - n 2 φ ( n 2 ) , which solves the problem

{ ξ n ( t ) = φ ( u n ( 1 ) ( ξ n ( t ) , t ) ) u n ( 1 ) ( ξ n ( t ) , t ) = sgn p ( n | p | t n ξ - 1 ) p 1 - p - 1 ( n | p | t n ξ - 1 ) 1 1 - p - 1 if  t > t n , ξ n ( t n ) = x n .

Hence, for t > t n , the entropy solution of (7.23) is

u n ( x , t ) := { 0 if  x | p | t + 1 n , ( n | p | t n x - 1 ) 1 1 - p - 1 if  | p | t + 1 n > x ξ n ( t ) , 0 if  ξ n ( t ) x .

Letting n , we obtain the entropy solution defined in parts (i) (if p < 0 ) and (ii) (if 0 < p < 1 ) of Proposition 1.1.

References

[1] D. G. Aronson and P. Bénilan, Régularité des solutions de l’équation des milieux poreux dans N , C. R. Acad. Sci. Paris Sér. 288 (1979), 103–105. Search in Google Scholar

[2] J. M. Ball, A version of the fundamental theorem for Young measures, Partial Differential Equations and Continuum Models of Phase Transitions, Lecture Notes in Phys. 344, Springer, Berlin (1989), 207–215. 10.1007/BFb0024945Search in Google Scholar

[3] M. Bertsch, F. Smarrazzo, A. Terracina and A. Tesei, A uniqueness criterion for measure-valued solutions of scalar hyperbolic conservation laws, Atti Accad. Naz. Lincei Rend. Lincei Mat. Appl., to appear. 10.4171/RLM/839Search in Google Scholar

[4] M. Bertsch, F. Smarrazzo and A. Tesei, Pseudo-parabolic regularization of forward-backward parabolic equations: A logarithmic nonlinearity, Anal. PDE 6 (2013), 1719–1754. 10.2140/apde.2013.6.1719Search in Google Scholar

[5] M. Bertsch, F. Smarrazzo and A. Tesei, On a pseudoparabolic regularization of a forward-backward-forward equation, Nonlinear Anal. 129 (2015), 217–257. 10.1016/j.na.2015.09.005Search in Google Scholar

[6] M. Bertsch, F. Smarrazzo and A. Tesei, Pseudo-parabolic regularization of forward-backward parabolic equations: Power-type nonlinearities, J. Reine Angew. Math. 712 (2016), 51–80. 10.1515/crelle-2013-0123Search in Google Scholar

[7] G.-Q. Chen and Bo Su, Discontinuous solutions of Hamilton–Jacobi equations: Existence, uniqueness, and regularity, Hyperbolic Problems: Theory, Numerics, Applications, Springer, Berlin (2003), 443–453. 10.1007/978-3-642-55711-8_40Search in Google Scholar

[8] M. Crandall and M. Pierre, Regularizing effects for u t + A φ ( u ) = 0 in L 1 , J. Funct. Anal. 45 (1982), 194–212. 10.1016/0022-1236(82)90018-0Search in Google Scholar

[9] C. M. Dafermos, Hyperbolic Conservation Laws in Continuum Physics, Springer, Berlin, 2000. 10.1007/978-3-662-22019-1Search in Google Scholar

[10] F. Demengel and D. Serre, Nonvanishing singular parts of measure valued solutions of scalar hyperbolic equations, Comm. Partial Differential Equations 16 (1991), 221–254. 10.1080/03605309108820758Search in Google Scholar

[11] R. J. DiPerna, Measure-valued solutions to conservation laws, Arch. Ration. Mech. Anal. 88 (1985), 223–270. 10.1007/BF00752112Search in Google Scholar

[12] J. Droniou, Intégration et Espaces de Sobolev à Valeurs Vectorielles, Lecture Notes, Université de Provence, Marseille, 2001. Search in Google Scholar

[13] L. C. Evans, Weak Convergence Methods for Nonlinear Partial Differential Equations, CBMS Reg. Conf. Ser. Math. 74, American Mathematical Society, Providence, 1990. 10.1090/cbms/074Search in Google Scholar

[14] L. C. Evans, Envelopes and nonconvex Hamilton–Jacobi equations, Calc. Var. Partial Differential Equations 50 (2014), 257–282. 10.1007/s00526-013-0635-3Search in Google Scholar

[15] L. C. Evans and R. F. Gariepy, Measure Theory and Fine Properties of Functions, CRC Press, Boca Raton, 1992. Search in Google Scholar

[16] A. Friedman, Mathematics in Industrial Problems. Part 8, IMA Vol. Math. Appl. 83, Springer, Cham, 1997. 10.1007/978-1-4757-4129-2Search in Google Scholar

[17] M. Giaquinta, G. Modica and J. Souček, Cartesian Currents in the Calculus of Variations. Vol. I, Springer, Berlin, 1998. 10.1007/978-3-662-06218-0Search in Google Scholar

[18] O. A. Ladyženskaja, V. A. Solonnikov and N. N. Ural’ceva, Linear and Quasi-Linear Equations of Parabolic Type, American Mathematical Society, Providence, 1991. Search in Google Scholar

[19] T.-P. Liu and M. Pierre, Source-solutions and asymptotic behavior in conservation laws, J. Differential Equations 51 (1984), 419–441. 10.1016/0022-0396(84)90096-2Search in Google Scholar

[20] J. Málek, J. Nečas, M. Rokyta and M. Ru̇žička, Weak and Measure-valued Solutions of Evolutionary PDEs, Chapman & Hall, New York, 1996. 10.1007/978-1-4899-6824-1Search in Google Scholar

[21] L. Orsina and M. M. Porzio & F. Smarrazzo, Measure-valued solutions of nonlinear parabolic equations with logarithmic diffusion, J. Evol. Equ. 15 (2015), 609–645. 10.1007/s00028-015-0275-5Search in Google Scholar

[22] P. Pedregal, Parametrized Measures and Variational Principles, Progr. Nonlinear Differential Equations Appl. 30, Birkhäuser, Cham, 1997. 10.1007/978-3-0348-8886-8Search in Google Scholar

[23] M. M. Porzio, F. Smarrazzo and A. Tesei, Radon measure-valued solutions for a class of quasilinear parabolic equations, Arch. Ration. Mech. Anal. 210 (2013), 713–772. 10.1007/s00205-013-0666-0Search in Google Scholar

[24] D. S. Ross, Ion etching: An application of the mathematical theory of hyperbolic conservation laws, J. Electrochem. Soc. 135 (1988), 1235–1240. 10.1149/1.2095937Search in Google Scholar

[25] D. S. Ross, Two new moving boundary problems for scalar conservation laws, Comm. Pure Appl. Math. 41 (1988), 725–737. 10.1002/cpa.3160410511Search in Google Scholar

[26] D. Serre, Systems of Conservation Laws. Vol. 1: Hyperbolicity, Entropies, Shock Waves, Cambridge University Press, Cambridge, 1999. 10.1017/CBO9780511612374Search in Google Scholar

[27] F. Smarrazzo and A. Tesei, Degenerate regularization of forward-backward parabolic equations: The regularized problem, Arch. Ration. Mech. Anal. 204 (2012), 85–139. 10.1007/s00205-011-0470-7Search in Google Scholar

[28] M. Valadier, Young measures, Methods of Nonconvex Analysis, Lecture Notes in Math. 1446, Springer, Berlin (1990), 152–188. 10.1007/BFb0084935Search in Google Scholar

Received: 2018-03-13
Revised: 2018-05-22
Accepted: 2018-06-14
Published Online: 2018-08-23

© 2020 Walter de Gruyter GmbH, Berlin/Boston

This work is licensed under the Creative Commons Attribution 4.0 Public License.

Articles in the same Issue

  1. Frontmatter
  2. On the moving plane method for boundary blow-up solutions to semilinear elliptic equations
  3. Regularity of solutions of the parabolic normalized p-Laplace equation
  4. Cahn–Hilliard equation on the boundary with bulk condition of Allen–Cahn type
  5. Blow-up solutions for fully nonlinear equations: Existence, asymptotic estimates and uniqueness
  6. Radon measure-valued solutions of first order scalar conservation laws
  7. Ground state solutions for a semilinear elliptic problem with critical-subcritical growth
  8. Generalized solutions of variational problems and applications
  9. Existence and non-existence results for Kirchhoff-type problems with convolution nonlinearity
  10. Nonlinear Sherman-type inequalities
  11. Global regularity for systems with p-structure depending on the symmetric gradient
  12. Homogenization of a net of periodic critically scaled boundary obstacles related to reverse osmosis “nano-composite” membranes
  13. Noncoercive resonant (p,2)-equations with concave terms
  14. Evolutionary quasi-variational and variational inequalities with constraints on the derivatives
  15. Sharp estimates on the first Dirichlet eigenvalue of nonlinear elliptic operators via maximum principle
  16. Localization and multiplicity in the homogenization of nonlinear problems
  17. Remarks on a nonlinear nonlocal operator in Orlicz spaces
  18. A Picone identity for variable exponent operators and applications
  19. On the weakly degenerate Allen-Cahn equation
  20. Continuity results for parametric nonlinear singular Dirichlet problems
  21. Construction of type I blowup solutions for a higher order semilinear parabolic equation
  22. Singularly perturbed Choquard equations with nonlinearity satisfying Berestycki-Lions assumptions
  23. Comparison results for nonlinear divergence structure elliptic PDE’s
  24. Constant sign and nodal solutions for parametric (p, 2)-equations
  25. Monotonicity formulas for coupled elliptic gradient systems with applications
  26. Berestycki-Lions conditions on ground state solutions for a Nonlinear Schrödinger equation with variable potentials
  27. A class of semipositone p-Laplacian problems with a critical growth reaction term
  28. The role of superlinear damping in the construction of solutions to drift-diffusion problems with initial data in L1
  29. Reconstruction of Tesla micro-valve using topological sensitivity analysis
  30. Lewy-Stampacchia’s inequality for a pseudomonotone parabolic problem
  31. Global well-posedness of nonlinear wave equation with weak and strong damping terms and logarithmic source term
  32. Regularity Criteria for Navier-Stokes Equations with Slip Boundary Conditions on Non-flat Boundaries via Two Velocity Components
  33. Homoclinics for singular strong force Lagrangian systems
  34. A constructive method for convex solutions of a class of nonlinear Black-Scholes equations
  35. On a class of nonlocal nonlinear Schrödinger equations with potential well
  36. Superlinear Schrödinger–Kirchhoff type problems involving the fractional p–Laplacian and critical exponent
  37. Regularity for minimizers for functionals of double phase with variable exponents
  38. Boundary blow-up solutions to the Monge-Ampère equation: Sharp conditions and asymptotic behavior
  39. Homogenisation with error estimates of attractors for damped semi-linear anisotropic wave equations
  40. A-priori bounds for quasilinear problems in critical dimension
  41. Critical growth elliptic problems involving Hardy-Littlewood-Sobolev critical exponent in non-contractible domains
  42. On the Sobolev space of functions with derivative of logarithmic order
  43. On a logarithmic Hartree equation
  44. Critical elliptic systems involving multiple strongly–coupled Hardy–type terms
  45. Sharp conditions of global existence for nonlinear Schrödinger equation with a harmonic potential
  46. Existence for (p, q) critical systems in the Heisenberg group
  47. Periodic traveling fronts for partially degenerate reaction-diffusion systems with bistable and time-periodic nonlinearity
  48. Some hemivariational inequalities in the Euclidean space
  49. Existence of standing waves for quasi-linear Schrödinger equations on Tn
  50. Periodic solutions for second order differential equations with indefinite singularities
  51. On the Hölder continuity for a class of vectorial problems
  52. Bifurcations of nontrivial solutions of a cubic Helmholtz system
  53. On the exact multiplicity of stable ground states of non-Lipschitz semilinear elliptic equations for some classes of starshaped sets
  54. Sign-changing multi-bump solutions for the Chern-Simons-Schrödinger equations in ℝ2
  55. Positive solutions for diffusive Logistic equation with refuge
  56. Null controllability for a degenerate population model in divergence form via Carleman estimates
  57. Eigenvalues for a class of singular problems involving p(x)-Biharmonic operator and q(x)-Hardy potential
  58. On the convergence analysis of a time dependent elliptic equation with discontinuous coefficients
  59. Multiplicity and concentration results for magnetic relativistic Schrödinger equations
  60. Solvability of an infinite system of nonlinear integral equations of Volterra-Hammerstein type
  61. The superposition operator in the space of functions continuous and converging at infinity on the real half-axis
  62. Estimates by gap potentials of free homotopy decompositions of critical Sobolev maps
  63. Pseudo almost periodic solutions for a class of differential equation with delays depending on state
  64. Normalized multi-bump solutions for saturable Schrödinger equations
  65. Some inequalities and superposition operator in the space of regulated functions
  66. Area Integral Characterization of Hardy space H1L related to Degenerate Schrödinger Operators
  67. Bifurcation of time-periodic solutions for the incompressible flow of nematic liquid crystals in three dimension
  68. Morrey estimates for a class of elliptic equations with drift term
  69. A singularity as a break point for the multiplicity of solutions to quasilinear elliptic problems
  70. Global and non global solutions for a class of coupled parabolic systems
  71. On the analysis of a geometrically selective turbulence model
  72. Multiplicity of positive solutions for quasilinear elliptic equations involving critical nonlinearity
  73. Lack of smoothing for bounded solutions of a semilinear parabolic equation
  74. Gradient estimates for the fundamental solution of Lévy type operator
  75. π/4-tangentiality of solutions for one-dimensional Minkowski-curvature problems
  76. On the existence and multiplicity of solutions to fractional Lane-Emden elliptic systems involving measures
  77. Anisotropic problems with unbalanced growth
  78. On a fractional thin film equation
  79. Minimum action solutions of nonhomogeneous Schrödinger equations
  80. Global existence and blow-up of weak solutions for a class of fractional p-Laplacian evolution equations
  81. Optimal rearrangement problem and normalized obstacle problem in the fractional setting
  82. A few problems connected with invariant measures of Markov maps - verification of some claims and opinions that circulate in the literature
Downloaded on 5.11.2025 from https://www.degruyterbrill.com/document/doi/10.1515/anona-2018-0056/html
Scroll to top button