arxiv: v1 [math.ap] 6 Jul 2017

Transcription

1 Local an global time ecay for parabolic equations with super linear first orer terms arxiv: v1 [math.ap] 6 Jul 17 Martina Magliocca an Alessio Porretta ABSTRACT. We stuy a class of parabolic equations having first orer terms with superlinear an subquaratic growth. The moel problem is the so-calle viscous Hamilton-Jacobi equation with superlinear Hamiltonian. We aress the problem of having unboune initial ata an we evelop a local theory yieling well-poseness for initial ata in the optimal Lebesgue space, epening on the superlinear growth. Then we prove regularizing effects, short an long time ecay estimates of the solutions. Compare to previous works, the main novelty is that our results apply to nonlinear operators with just measurable an boune coefficients, since we totally avoi the use of graient estimates of higher orer. By contrast we only rely on elementary arguments using equi-integrability, contraction principles an truncation methos for weak solutions. 1. Introuction In this paper we wish to stuy the behavior of parabolic equations perturbe by first orer terms having superlinear growth. In what follows, is an open boune subset of R an, for T >, we set Q T :=, T. The reference case to keep in min is the perturbe heat equation u t u = Du q in Q T, u = on, T, u, x = u x in, with Dirichlet bounary conitions. This moel example, which is often name as viscous Hamilton-Jacobi equation, has been extensively stuie by many authors who pointe out ifferent features epening on the possibly superlinear growth q > 1 of the right-han sie. If u is C 1, the classical parabolic theory applies an provies with a unique classical solution, which is global in time if q. On the other han, a graient blow-up may happen in finite time if q > an, in this latter case, a global in time solution exists in the weaker formulation of viscosity solutions. We refer to [BD, S, SZ], for this kin of analysis. For all q > 1, the solution of 1.1 is known to ecay in long time with the same rate as the heat equation see [BDL, PZ]: ut L + t Dut L C e λ 1t where λ 1 is the first eigenvalue of the Laplacian with Dirichlet conitions. The aforementione results strongly rely on the maximum principle an on the L -contraction property, as well as on the stanar regularizing properties of the heat semigroup, incluing Bernstein s type estimates which are often employe to hanle the ecay of Du an therefore of the superlinear term. The situation is much more elicate if one consiers unboune initial ata an solutions. Inee, in the unboune setting, the superlinearity has relevant effects an the results are no Key wors an phrases. onlinear parabolic equations, Unboune ata, Repulsive Graient, Regularity, Uniqueness, onexistence. 1

2 M. MAGLIOCCA AD A. PORRETTA more ientical to the stanar heat equation. A satisfying theory was evelope in [BSW] when u belongs to a Lebesgue space L σ. In particular, the authors show that some necessary extra conitions are neee both for the existence an for the uniqueness of solutions. For the existence, it is neee that q an that σ q 1 if q <. For the uniqueness, some suitable class of solutions is also neee, where the authors use the graient estimates of the heat semigroup. Those results shoul be compare with similar ones which hol for the superlinear problem u t u = u q 1.3 where again some necessary restriction on the initial Lebesgue class is neee in orer that a suitable well-pose local theory be evelope see e.g. [BC]. The starting point of our work is the remark that the methos use in [BSW] to eal with such problem rely on the well-known regularizing properties of the heat kernel, an in particular on the graient estimates of the heat semigroup which are, essentially, a consequence of the Caleron-Zygmun W,p regularity. To this respect, the above methos o not seem to exten to general operators having merely boune measurable coefficients. For instance, the above theories o not apply even to slightly inhomogeneous variation of the reference problem 1.1 as the following u t ivat, xdu = Du q in Q T, u = on, T, u, x = u x in, where At, x is a coercive matrix with measurable an boune coefficients. The goal of our paper is to give a general basic theory for equations with possibly non smooth coefficients, proviing a suitable setting for the existence an uniqueness of solutions, showing that regularizing effects an long time ecay may be prove in this more general setting as well. The main point that we wish to aress is that a satisfying theory oes not nee the support of the Caleron-Zygmun estimates since the subquaratic growth of the nonlinearity is enough to hanle both local an global behaviour of solutions in a suitable energy class. In our stuy, we leave asie the case of quaratic growth q = for two main reasons: first of all, this case has been alreay extensively stuie, even in a general nonlinear framework see e.g. [DGP, DGS1, DGS] for existence results an global a priori estimates, seconly this case always appears to be special since one can rely on the Hopf-Cole transform in orer to get ri of the superlinear first orer term. In this way, the case q = can be reuce to the analysis of semilinear equations an, even the short an long time behavior shoul be euce through this strategy. This is of course no longer true for the growth q <, which is precisely the object of this work. Let us now be more precise concerning the results that we prove. For the sake of clarity, at first we state our results for the moel problem 1.4, in orer to better unerstan the main features of our work. THEOREM 1.1. Let be a boune omain in R, >. Let At, x be a matrix, with boune measurable coefficients a i,j t, x, which is assume to be coercive i.e. At, xξ ξ α ξ for all ξ R, for some α >. Let us set q 1 if σ := + 1 < q <, 1 if 1 < q < + 1. Then we have: i there exists a unique weak solution u of 1.4, namely a unique function u L loc, T; H1 C [, T]; L σ which is a istributional solution of 1.4 in Q T an satisfies u = u in L σ. 1.4

3 LOCAL AD GLOBAL TIME DECAY 3 ii the solution u satisfies the short-time estimates ut L r C r t r σ rσ for any r > σ, where C r epens on r,,, q, u, an ut L C t σ t, t, where C epens on,, q, u. In aition the constants C r, C can be uniformly chosen whenever u varies in compact sets of L σ ; iii the solution u satisfies the long-time ecay ut L C 1 e λ 1t t 1, 1.7 where C 1 epens on,, q, u an can be uniformly chosen whenever u varies in compact sets of L σ. Let us comment below the above result in more etails. q 1 < q <, the Lebesgue class L for the initial ata is optimal When +1 in orer to have the existence of a solution. This was alreay shown in [BSW] for the Cauchy problem an the heat operator. In the same spirit, we also give a counterexample for the Dirichlet problem in Section 7, showing optimality of this threshol. The borerline case q = +1 is a bit special an L1 -ata are not generically amitte, in this case optimal classes necessarily lea outsie Lebesgue spaces. However, results can be given for u L r, whatever r > 1, see Subsection.3. Similar results hol for = 1 an =, but the value of σ shoul be suitably aapte accoring to the Sobolev embeing for H 1 in imensions = 1 or =, see Section 5. The class of solutions which is consiere in the above statement consists, roughly speaking, of finite energy solutions at positive time, but the only global in time requirement is the continuity in L σ. It is remarkable that this class is enough to provie uniqueness. However, other weak formulations are also possible. When +1 < q <, we show that an equivalent formulation can be consiere where, rather than requiring the C [, T]; L σ regularity, we ask the solutions to enjoy the global energy information: 1+ u σ 1 u L, T; H 1 an the weak formulation is extene to[, T, eventually using the framework of renormalize solutions if σ < see Definitions. an.3. We iscuss those formulations in Subsection.1 or in Section 4 for L 1 -ata an we prove their equivalence in Appenix A. Let us now spen a few wors on the main ingreients of our proofs. We stress that the uniqueness in general may fail for unboune solutions of viscous Hamilton-Jacobi equations see e.g. [BP, ADP]. For operators with smooth coefficients, as in 1.1 consiere in [BSW], one coul recover uniqueness by requiring extra-integrability on the graient of solutions. This option, which essentially allows one to use a linearization approach for proving uniqueness, can be justifie whenever graient estimates or, say, the W,p -regularity are achievable, but certainly is not afforable in the context of merely boune measurable coefficients as we eal with. In fact, we prove the uniqueness with a refinement of the convexity argument use in [BP], similarly as it has been evelope in [LP] for the stationary case.

4 4 M. MAGLIOCCA AD A. PORRETTA As far as the large time ecay estimates are concerne, we nee a ifferent strategy compare to what was one in [BDL, PZ]. In those papers the authors use either the L - convergence given by viscosity solutions theory combine with the heat kernel estimates or the Bernstein s metho for a graient ecay. The iea of our proof is ifferent though very simple an combines two facts which are funamental in this type of problems. The first one is that when ata are small in L σ then the equation behaves like the unperturbe one: in particular, for small ata u we have the stanar exponential estimate in L σ t ut σ L σ + 4 λ ασ 1 1 ut σ σ L σ. otice that this estimate is true for any σ in the case of the heat equation an the best ecay rate follows by taking the optimal case σ =. By contrast, in the case of problem 1.4, one obtains a similar inequality only for the special σ given by ID1, an by requiring aitionally that the ata be small in this class. On the other han, this property remains true for merely subsolutions, so we can use it foru k + which can be mae small for sufficiently large k. This also explains the kin of short-time estimates , which o not epen only on the norm of the initial ata, but actually rely on their equi-integrability. To this extent, even the short-time estimates are somehow ifferent than in the case of coercive operators see e.g. [Po]. The secon ingreient, which is essential for the long-time behaviour, is that the L -norm is ecreasing. In this kin of problems this is stanar for classical solutions, but we show it still hols in our class of weak solutions. Finally, we reason by splitting our solution as the sum of a term which is small in L σ - which ecays exponentially - plus a boune term. A suitable combination of the short-time regularizing effect an the ecreasing character of the L -norm will allow us to conclue the global ecay 1.7. Most of the conclusions of Theorem 1.1 continue to hol in a much wier generality, specifically for nonlinear coercive operators in ivergence form with just measurable boune coefficients an nonlinear Hamiltonians Ht, x, ξ. To be more precise, let us consier the following Cauchy-Dirichlet problem: u t ivat, x, u, Du = Ht, x, Du in Q T, u = on, T, u, x = u x in, where at, x, u, ξ :, T R R R an Ht, x, ξ :, T R R are Caratheoory functions i.e. measurable with respect to t, x an continuous in u, ξ satisfying the following coercivity an growth conitions: α > : α ξ at, x, u, ξ ξ, A1 λ > : at, x, u, ξ λ[ u + ξ +ht, x], h L Q T, A an γ > s.t. Ht, x, ξ γ ξ q with 1 < q < H for almost everyt, x Q T an for every ξ R. As alreay explaine above, accoring to the value of q, the initial atum u is taken in the following Lebesgue spaces, at least if > for = 1,, see Section 5: u L σ with σ = q 1 P, if < q <, ID1 + 1 u L 1, if 1 < q < + 1. ID Eventually, by a weak solution of P we mean a function u L loc, T; H1 which is a istributional solution in Q T an belongs to C [, T]; L σ, if +1 < q < or, respectively,

5 LOCAL AD GLOBAL TIME DECAY 5 to C [, T]; L 1 if 1 < q < +1. Other formulations, equivalent to the previous one but yet interesting incluing notions of renormalize solutions, are iscusse in etail in the next sections. Let us stress that the growth assumption A is only assume in orer to give a stanar meaning to those formulations e.g. ivat, x, u, Du has a usual istributional meaning whenever u L loc, T; H1. However, A oes not play any significant role in all the estimates obtaine, which only rely on the coercivity of the secon orer part an on the growth of the first orer terms. Similar results as state in Theorem 1.1 can be obtaine in the general case. THEOREM 1.. Let >, an assume that A1-A an H hol true, with u satisfying either ID1 or ID. Then, there exists a weak solution of P. In aition, any weak solution satisfies the same estimates as in Theorem 1.1, where now the constants also epen on α an γ appearing in A1, H respectively. The above theorem is only a rough summary of the main results that we prove in this paper, but more etaile, an sometimes more general, statements, are given in the next sections. For example, we also provie with uniqueness results in the class of weak solutions, at least when the secon orer operator is linear, namely if at, x, u, ξ = At, x Du for some coercive boune matrix A. In that case we give sufficient conitions ensuring uniqueness of the weak solution. Simple reference cases are when ξ Ht, x, ξ is a convex function as in 1.4, or even if it is a C function which is just convex at infinity. Let us conclue by explaining how the paper is organize. In Section we iscuss properties of solutions, an specifically a priori estimates, for the case when +1 < q <. In Section 3 we prove the regularizing effects, as well as the short an long time estimates. Section 4 is evote to the range 1 < q < +1, in which one can affor L1 -ata hence the a priori-estimates take a slightly ifferent form. We briefly iscuss the special cases = 1 an = in Section 5. Finally, Section 6 contains the uniqueness results, while Section 7 shows the optimality of the class consiere for the initial ata. For the intereste reaer, let us stress that existence results for more general operators incluing the p-laplacian an general right-han sies can be foun in [M]. The present stuy of short an long time ecay can also be extene to the p-laplace operator with similar techniques, but a similar evelopment woul have resulte in a too long exposition. otation. We will represent the constant ue to the Sobolev s Poincaré s inequality by c S c P while c will stan for a positive constant which may vary from line to line uring the proofs. Moreover, we efine some auxiliary function which will be use in the next Sections: G k v = v k + signv, T k v = v G k v = max{ k, min{k, v}} The case +1 < q <. Estimates in Lσ. In this Section we assume that, accoringly to the growth of the function Ht, x, Du see H, we have +1 < q < an u satisfies ID1. The value σ is efine here as σ = q 1.1. otions of solution. Different notions of solutions coul be suggeste for problem P. We will currently work with the following one, in which we require solutions to be in the stanar energy space for t >, while the only global information is that u C [, T]; L σ..

6 6 M. MAGLIOCCA AD A. PORRETTA DEFIITIO.1. A function u is a solution to P if u C [, T]; L σ L loc, T; H1, u = u an u satisfies uϕ t + at, x, u, Du Dϕ x t = Ht, x, Duϕ x t Q T Q T for every ϕ C c Q T. Let us soon point out that other notions of solutions are equally interesting. In particular, it coul be meaningful to require some energy to be finite in the whole cyliner Q T, while no explicit time continuity nor bouneness being a priori require. In this case, it turns out that the natural energy space consists of functions u such that1+ u σ 1 u L, T; H 1. Therefore, a secon possible notion of solution is the following one. DEFIITIO.. A function u is a solution of P if 1+ u σ 1 u L, T; H 1 for σ = q 1, RC if Ht, x, Du L 1 Q T an u satisfies the weak formulation u ϕ x+ [ ϕ t u+ at, x, u, Du Dϕ] x t = Ht, x, Duϕ x t Q T Q T for every ϕ C c [, T. Remark.1. We notice that, if σ, conition RC implies u L, T; H 1. In this case, since q <, we alreay have from H that Ht, x, Du L 1 Q T. Moreover, if A hols, we euce from the istributional formulation that u t = ivat, x, u, Du+ Ht, x, Du L, T; H 1 + L 1 Q T. Thus, thanks to [P1, Theorem 1.1], we can say that u belongs, at least, to C [, T]; L 1. It is interesting to notice that the above two notions coincie, at least if σ, in which case RC implies that solutions belong to L, T; H 1 this range of σ correspons to + q <. This is the content of the next result. Proposition.. Assume that A1-A an H hol an that Definition.1 an Definition. are equivalent. + q < i.e. σ. Then The proof of Proposition. is a bit technical an we postpone it to the Appenix A, although several ingreients will be alreay containe in the next sections. In the case tha < σ <, which correspons to +1 < q < +, the regularity class RC oes not allow us to consier finite energy solutions any more. However, a similar equivalent formulation hols if we complement Definition. by requiring that a stanar chain rule argument is allowe. This usually goes uner the name of renormalize formulation, in which the truncations of the solution - if not the solution itself - are require to be in the energy space, see [BDGM, BM, DMOP, Mu]. We recall from [BBGGPV] that the set of functions T 1, Q T collects all the measurable functions u : Q T R almost everywhere finite an such that the truncate functions T k u belong to L, T; H 1 1, for all k >. The generalize graient of a function u in T Q T is efine as DT k u = Duχ { u <k}. DEFIITIO.3. We say that a function u T 1, Q T L 1 Q T is a renormalize solution of P if u satisfies RC, Ht, x, Du L 1 Q T, RS1

7 LOCAL AD GLOBAL TIME DECAY 7 an if the following renormalize equation hols: Su ϕ, x x+ Suϕ t + at, x, u, Du DS uϕ x t Q T = Ht, x, DuS uϕ x t Q T RS for every S W, R such that S has compact support an any ϕ C Q T such that ϕt, x = an S uϕ L, T; H 1 i.e., the prouct S uϕ is equal to zero on the bounary, T. Remark.3. We observe that, ifferently than in the usual notions of renormalize solution [BM, DMOP], no asymptotic conition on the energy term appears in Definition.3. In fact, it is the regularity assumption RC which, in particular, ensures that 1 lim at, x, u, Du Du x t n n. {n< u <n} n As is well known, the above asymptotic conition is a crucial information for the renormalize formulation an, in particular, it implies that a stanar istributional formulation is also verifie. We show in the next result that the above renormalize formulation is also equivalent to Definition.1. This hols true for every value of σ > 1 although the interesting case is when σ <, since if σ Definition.3 is equivalent to Definition. an Proposition. applies. Proposition.4. Assume that A1-A an H hol an that an.3 are equivalent. +1 < q <. Then Definitions.1 We also postpone the proof of this result to the Appenix A. Let us recall that the existence of at least one solution satisfying. if + q < or.3 if +1 < q < + is prove in [M]. Eventually, similar notions of subsolution or supersolution coul be efine with the obvious variations of the above efinitions. With similar proofs as before, it follows that for a function u C [, T]; L σ the ifferent notions of subsolution coincie... A priori estimates an contraction principles. In this section we give evience to the crucial role playe by the space L σ in the stuy of P. We start from a funamental contraction principle which hols in this space. In the following, we simply refer to a solution of P in the sense of Definition.1. Let us first observe that a stanar chain rule an integration by parts formula hol for those solutions, namely we have the following Proposition.5. Let u be a solution of P. Then = Ψut x+ as, x, u, Du Du ψ u x s Hs, x, Duψu x s+ Ψu x for every, t, T, for every ψ W 1, R such that ψ =, where Ψv = v ψw w. PROOF. Whenever ψ has compact support, this Proposition is containe e.g. in [DP, Lemma 7.1] or in [PPP, Corollary 4.7 an Remark 4.]. The conclusion immeiately extens to ψ W 1, R because u C [, T]; L σ L loc, T; H1. ow we prove the main step upon which all a priori estimates will rely. Recall that the function G k s is efine in 1.8.

8 8 M. MAGLIOCCA AD A. PORRETTA Lemma.6. Assume A1, H with +1 < q < an ID1. Let u be a solution of P. Then, there exists a positive value δ, only epening on α, c S, q an γ, such that, for every k > an for every δ < δ satisfying G k u σ L σ < δ we have G k ut σ L σ < δ t [, T].. Remark.7. Accoring to the proof below, the value of δ can be explicitly given by the equality q c S γ σ q δ = 4α σ 1 σ. PROOF. We ivie the proof in two steps. Step 1 Here we show that any solution u accoring to Definition.1 satisfies the properties that an the following inequality hols for every k > : for every t, T]. G k u σ 1 G k u L, T; H 1,.3 1+ u σ 1 u L, T; H G σ k ut σ x+4α σ 1 σ D[ G k u σ 1 G k u] x s Q t q γc t S σ q D[ G k u σ 1 G k u] x G k us σ x s + 1 G σ k u σ x. In orer to prove.5, we start by consiering the case that σ ; then we use ψ n u = G k u T n G k u σ in Proposition.5. By assumptions A1, H, we get Ψ n ut x+α Ψ n u x+γ DG k u ψ nux t DG k u q T n G k u σ G k u x t for every, t, T, where Ψ n s = s ψ nξξ. We estimate the last integral by Höler s inequality with inices q,, an we get Ψ n ut x+α Ψ n u x+γ [ T n G k u σ G k u x DG k u ψ nux t DG k u T n G k u σ x q ] G k u σ x t, where we use the exact value of σ. Let us now justify that we can take the limit as n in.6. Inee, since Ψ n u c u σ, the terms at an t are boune uniformly with respect to n. Using that ψ nu.5.6

9 LOCAL AD GLOBAL TIME DECAY 9 T n G k u σ we euce that α DG k u T n G k u σ x t c+c sup [,t ] q DG k u T n G k u σ x G k ut σ L σ T n G k u σ G k u x t. Finally, since s T nξ σ 1 ξ c s T n s σ 1 for some constant inepenent of n, we have T n G k u σ Gk u G k u x c T n ξ σ 1 ξ so using Sobolev inequality we conclue from.7 that DG k u T n G k u σ x t c+c sup G k ut σ t L σ DG k u T n G k u σ x t. [,t ] By Dini s convergence Theorem, we have that G k ut L σ converges to zero as k, uniformly for t, T. Therefore, there exists k such that for k k the right-han sie can be absorbe into the left-han sie an a uniform estimate follows: DG k u T n G k u σ x t c..8 By letting n, an since, t is arbitrary, we conclue that.3 hols for k k. We go back now to the inequality.6 where we can take the limit as n. Since ψ n s G k s σ G k s, once we take the limit we obtain 1 σ G k ut σ x+ασ 1 DG k u G k u σ x t 1 G σ k u σ x q +γ DG k u G k u σ x G k u σ x G k u σ x t. Using Sobolev inequality in the right-han sie, an letting which is licit since u C [, T]; L σ, we conclue that.5 hols true. Moreover, we notice that, once we know that.3 hols for some k >, this alreay implies that G k u σ L, T; L for any k >, hence from.7 using q < one easily obtains that estimate.8 is still true for any possible value of k. Therefore, as before one euces that.3 hols true an one gets at inequality.5 for every k >. Let us now consier the case that σ 1,. Here we take ψ n u = σ 1 G k u ε n + ξ σ ξ where ε n = n 1. Since ψ nu ε n + G k u σ 1 in this case.6 can be replace by Ψ n ut x+α DG k u ψ nux t Ψ n u x+γ [ DG k u ε n + G k u σ x ] ε n + G k u σ x t. q ε n + G k u σ x.7

10 1 M. MAGLIOCCA AD A. PORRETTA This inequality in particular yiels DG k u ε n + G k u σ x t c an since +c ε n + G k u σ x ε n + G k u σ x t, ε n + G k u σ c by Sobolev s inequality we get { [ 1 c ε σ n + sup G k ut σ L σ [,t ] [ Gk u ]} ε n + ξ σ 1 ξ ] + ε σ n DG k u ε n + G k u σ x t c. Thus we conclue again an estimate, for sufficiently large k, which is uniform with respect to n an which allows us to euce that.3 hols true once we take the limit as n. In aition, since again we have ψ n s G k s σ G k s, we also recover inequality.5 for the case σ <. Eventually, with the same argument as before both.3 an.5 are shown to hol for every k >. To complete the claim of this Step 1, we only nee to show that1+ u σ 1 u L, T; H 1, an this is now concerne only with the boune values of u, since we alreay know that G k u σ 1 G k u L, T; H 1. Thus we use T ku as test function obtaining Θ k ut x+α DT k u x t.9 Θ k u x+γ Du q T k u x t, where Θ k s = s T kz z. Using the ecomposition u = G k u+ T k u we estimate the right-han sie as Θ k u x+γ Du q T k u x t k u x+γk k +k G k u L σ 1 σ 1 α + Du q x t +γk DG k u q x t, for some constant C = Cα, γ, T,. Therefore.9 implies α t DT k u x t k +k G k u L σ 1 1 σ + Ck + γk By choosing k = k, if σ we have DG k u q Gk u k σ 1q DG k u q 1+ DT k u x t+ck DG k u q x t 4 σ k σ D G k u σ..1 Hence we euce from.1 that DT k u x t C k, u L,T;L σ, G k u σ 1 G k u L,T;H 1..11

11 LOCAL AD GLOBAL TIME DECAY 11 If rather σ <, we estimate DG k u q x q D[ G k u σ 1 G k u] σ /4 x+ 1 q G k u σq x. But we alreay know that, for k k, G k u σ L, T; L L, T; H 1, hence G k u σ L + Q T by Gagliaro-irenberg interpolation see e.g. [D]; since σq < σ +, the last integral is also estimate by the norm of G ku σ 1 G k u in L, T; L L, T; H 1. Therefore,.11 also hols for σ <. Overall, combining estimate.3 an.11 we can conclue that.4 hols. Step We now efine the value δ so that Let δ < δ an take some k such that Since u C [, T]; L σ the value γ q c S σ q δ = 4α σ 1 σ. G k u σ L σ < δ. T := sup{t [, T] : G k us σ L σ < δ s t} is well pose an we have that T >. We claim that T = T. Inee, if t T in.5, then the efinition of δ implies that 1 G σ k ut σ x+ γq c [ S ] t σ q δ δ D[ G k u σ 1 G k u] x s 1 G σ k u σ x. Suppose, by contraiction, that T < T an let t = T in.1, so we get G k ut σ x G k u σ x < δ..1 Since u C [, T]; L σ, if T < T this last inequality leas to a contraiction with the efinition of T. Hence we conclue that T = T. The above contraction principle has two relevant consequences. The first one is the following a priori estimate. THEOREM.8. Assume A1, H with Then the following estimate hols: +1 < q < an ID1. Let u be a solution of P. sup ut L σ + D[1+ u σ 1 u] L Q T M.13 t [,T] where the constant M epens on u, T,, q, γ,, α an remains boune when u varies in sets which are boune an equi-integrable in L σ. PROOF. Let δ be given as in Lemma.6, an fix some δ < δ e.g. take δ = δ an let k be such that G k u σ L σ < δ for k k. As a consequence of.1 in Lemma.6, for any k k we estimate G k u L,T;L σ an D[ G k u σ 1 G k u] L Q T only in terms of q,, γ, α. ext, from.1 in Lemma.6 we estimate DT k u L Q T in terms of the above constants an of T, an k. This latter value epens on u an remains boune for a family of initial ata u which are equi-integrable in L σ. Finally, it is a simple exercise to combine these two estimates in orer to obtain.13.

12 1 M. MAGLIOCCA AD A. PORRETTA A secon consequence of Lemma.6 is the contraction property in L. Corollary.9. Assume A1, H with +1 < q < an let the initial atum u belong to L. If u is a solution of P, then we have that u belongs to L Q T an ut L u L t [, T]. PROOF. Let k = u L. Then. hols with δ arbitrary small an the assertion follows by letting δ go to zero. Remark.1. We notice that Lemma.6 an Theorem.8 actually hol for nonnegative subsolutions of z t ivat, x, z, Dz= γ Dz q in Q T, z = on, T, P z z, x = z x in. In fact, if the Hamiltonian function Ht, x, ξ has a sign, it woul be more convenient to work with just nonnegative subsolutions. Assume for instance that uhx, u, Du ; then by writing u as the ifference between its positive an negative parts, i.e. u = u + u, it is not ifficult to see that while u + t ivat, x, u +, Du + Ht, x, Duχ {u>} γ Du + q u t ivat, x, u, Du Ht, x, Duχ {u }..14 Therefore the problem relate to u turns out to be a stanar coercive problem, whereas all the ifficulties of the superlinear term are observe in the behavior of u +. In particular, in this case all necessary conitions an any other effect of superlinearity shoul be iscusse in terms of u + only..3. The borerline case q = +1. This particular value of q implies that σ = 1. However, L 1 -ata are not amissible for a general solvability in this case see also [BSW, M]. Therefore, in the class of Lebesgue spaces we shoul take into account initial ata belonging to L 1+ω for some ω, 1. This stronger assumption allows us to apply irectly what we obtaine before: inee, given ω > such that u L 1+ω, then it is always possible to embe our nonlinearity into a q-growth for some q = q ω such tha+ ω = q 1. In particular, the a priori estimate reas as below: THEOREM.11. Assume A1, A, H with q = p +1 an u L 1+ω, < ω < 1. Moreover, let u be a renormalize solution P as in Definition.3 an satisfying the regularity conition Then we have that the following estimate hols: 1+ u 1 ω u L, T; H 1. sup ut 1+ω 1 ω L 1+ω + D1+ u 1 u L Q T M.15 t [,T] where the constant M epens on α, q, γ,,, T an on u an remains boune when u varies in sets which are boune in L 1+ω. 3. Regularizing effects an long time ecay We now refine the contraction estimate of Subsection. into a time pointwise statement. Lemma 3.1. Assume A1, H with +1 < q < an ID1. Let u be a solution of P, an Φ : R R be a C, convex function such that Φ = an Φ ξ c1+ ξ σ. Then the function t Φut x belongs to W1,1, T an satisfies Φut x+ t for a.e. t, T. at, x, u, Du DuΦ u x = Ht, x, DuΦ u x 3.1

13 LOCAL AD GLOBAL TIME DECAY 13 PROOF. We choose ψu = Φ T n u in Proposition.5, using H an the growth of Φ we get S n ut x+ at, x, u, Du DT n u Φ T n u x t c Du q 1+ T n u σ 1 x t+ S n u x, where S n v = v Φ T n z z. Theorem.8 provies us with a boun for the right-han sie which is uniform in n an inepenent of the interval, t, whereas the left-han sie is positive. Hence, we let n ten to infinity an apply Fatou s Lemma to euce that at, x, u, Du Du Φ u L 1, T; L 1. ow, if we change the previous test function into ξ Φ T n u where ξ Cc, T, we obtain T T ξ S n u x t+ ξ at, x, u, Du DT n u Φ T n u x t = T ξ Ht, x, Du Φ T n u x t for every ξ Cc, T. Otherwise, this means that we have S n u x = at, x, u, Du DT n u Φ T n u x s + Ht, x, Du Φ T n u x in the sense of istributions. Since at, x, u, Du Du Φ u L 1, T; L 1, an the same hols for Du q Φ u, the righthan sie of 3. converges in L 1, T as n by Lebesgue s Theorem. We euce that s S nu x converges to s Φus x in L1, T. Finally, we get that Φus x W 1,1, T an the equality 3.1 hols for almost every t, T. Proposition 3.. Assume A1, H with +1 < q < an ID1. Let u be a solution of P. There exists a value k > such that, for k k, u satisfies G t k ut σ x+α σ 1 D[ G σ k u σ ] x s 3.3 a.e. t, T an for all k k. In particular, the following exponential ecay hols: for some λ > an k k. G k ut σ L σ < e λt G k u σ L σ Remark 3.3. Defining ηk = u σ x, { u >k} a possible choice of k can be given by { } k = inf k : ηk δ t, T where δ is the value given by Lemma.6, see Remark.7. ote that ηk is a non increasing function of k. PROOF. If σ, we apply Lemma 3.1 with Φ ξ = G k ξ σ G k ξ an we get, thanks to the assumptions A1 an to H, 1 G σ t k ut σ x+ασ 1 DG k u G k u σ x γ DG k u q G k u σ 1 x. 3.

14 14 M. MAGLIOCCA AD A. PORRETTA ext we procee as in Lemma.6. We take δ such that c S q γ σ q δ = α σ 1 an we let k σ be corresponingly efine so that G ku σ x δ for every k k. This implies that G kut σ x δ for all t, T. Eventually, we obtain a pointwise in time version of.5, which leas to s G kus σ L σ + ασ 1 D[ G σ k us σ ] L for a.e. t [, T] an for all k k. By the Poincaré inequality, we euce the following ifferential inequality: s G kus σ L σ + c ασ 1 P G σ k us σ L σ for a.e. t [, T] an for all k k. This implies G k ut σ L σ e λt G k u σ L σ < e λt δ t, T, ασ 1 where λ = c P σ. If σ <, we take Φ ξ = σ 1 G k ξ ε+s σ s in Lemma 3.1, then we procee again as in Lemma.6 an we obtain the same conclusion after letting ε. Remark 3.4. Accoring to the above estimate, we have foun that G k ut L σ ecays exponentially with the rate λ = c P. This rate will be actually improve later once we show the ecay in ασ 1 σ the L -norm. We also stress that the above exponential rate is epening on the boune omain through Poincaré s inequality. However, the above proof woul also lea to a long time ecay of the L σ -norm in unboune omains. It is enough to use Sobolev s inequality instea of Poincaré an a polynomial ecay follows Regularizing effect L σ L r. Proposition 3.5. Assume A1, H with +1 < q <, ID1 an let u be a solution of P. Then, u belongs to C, T]; L r for any r > σ. Moreover, there exists a value k, inepenent of r, such that the following ecay hols: G k ut r L r c G k u r L σ r t r σ σ where c r = cr, q, α, γ,. Furthermore where c = cr, q, α, γ,, t, u,. ut r L r c t r σ σ t, T, k k 3.4 t, t ] 3.5 Remark 3.6. Let us stress that the constant in the estimate 3.4 oes not epen on the set. The value k is given by the smallness conition on G k u L σ, hence it is uniform whenever u varies in a compact set of L σ. The constant c in 3.5 epens on u through its moulus of equi-integrability in L σ, in particular the constant can be chosen uniform if u varies in a compact subset of L σ. PROOF. Step 1 We first prove the G k ut ecays in the L r norm, which in turn implies that u L, T; L r.

15 LOCAL AD GLOBAL TIME DECAY 15 Assume by now that σ. For r > σ, we take Φ u = G k u T n v r v in Lemma 3.1, which is licit for every fixe n. We have that [ Gk us v ] T n z r z v x+α DG s k us T n G k us r x Gk 3.6 γ DG k us q us T n v r v x a.e. s, T]. We first estimate the test function itself by Höler s inequality with inices 1, 1 q 1, getting Gk us T n v r v T n G k us q r 1 Gk us T n v r 1 v We thus estimate the r.h.s. of 3.6 as below T n G k us q r 1 Gk us T n v v r 1 G k us q 1. DG k us q Gk us T n v r v x DG k us q T n G k us q r 1 Gk us T n v v r 1 G k us q 1 x DG k us T n G k us r x q G k us σ x Gk us c S DG k us T n G k us r x where we have also applie the Höler inequality with three exponents Sobolev s embeing. T n v r 1 v x G k us q 1 L σ, 3.7 q,, an then Let δ be given by Lemma.6. Then we fix a value δ < δ so that α γc S δ q 1 σ >, e.g. we take δ q 1 q 1 σ α σ < min γc S, δ, an we take k such that G k u σ L σ < δ for every k k. Without loss of generality we may also assume, from Proposition 3., that G k us L σ is nonincreasing in time for k k. Since by Lemma.6 we have G k ut L σ < δ for every t, imply [ Gk us v ] T n z r z v x+α DG s k us T n G k us r x q 1 γ c S δ σ DG k us T n G k us r x α DG k us T n G k us r x ue to the choice of δ. Then subtracting the right-han sie an using Sobolev s inequality we euce [ Gk us v ] T n z r z v x+ α [ Gk us s c T n v v ] r 1 x S 3.8

16 16 M. MAGLIOCCA AD A. PORRETTA for every k k. We set Φ n v = so that 3.8 reas as v Θ n G s k us x+c T n z r 1 z an Θ n v = Φ n G k us x v w T n z r z w a.e. s, T], k k. We show now the link between Θ n v an Φ n v, in orer to recover a suitable ifferential inequality. To this aim, we rewrite r = r σ rω+ σ1 ω, where ω = r σ. ote that < ω < 1 since σ < r. Thus w w T n z r z = T n z r 1ω T n z σ 11 ω 1 z w c r w where we use the inequality w T n z r ω T n z r w 1 z 1 ω T n z σ 1 1 ω 1 z ω T n z r 1 z w σ1 ω 1, z c r w T n z r 1 z in 3.9. Here an below, c r enotes possibly ifferent constants which may epen on r but are inepenent of n. Then, 3.9 leas to which implies Θ n G k us = Θ n G k us x c r Gk us w T n z r z w Gk us c r Φ n w ω w σ1 ω 1 w c r Φ n G k us ω G k us σ1 ω Φ n G k us ω G k us σ1 ω x ω c r Φ n G k us x G k us σ1 ω L σ 3.1 ω c r Φ n G k us x G k u σ1 ω L σ where we use the nonecreasing character of G k us L σ for k k. We summarize the previous steps as follows: [ Θ n G s k us x+c Θ ng k us x r G k u σ1 ω L σ for a.e. s, T] an for all k k. Setting σ1 ω ys = Θ n G k us x an C = G k u ω L σ we rewrite 3.11 in the equivalent form ys + c r C ys 1+ρ ] ω 3.11

17 LOCAL AD GLOBAL TIME DECAY 17 where the exponent ρ is given by ρ = σ r σ. Let us recall that y W1,1, T by Lemma 3.1. Thus, we integrate in the time variable an we get see e.g. [P, Lemma.6] Θ n G k ut x c σ1 ω r G k u ρω L σ for every n an for every < t T. We conclue letting n go to infinity an using the value of ω: G k ut r L r c G k u r L σ r t, T, k k. In particular, we have prove that t r σ σ G k ut r L r c rδ r σ t r σ σ ρ t, T, k k. Let us spen a few wors for the case that σ <. First of all, in this case it is enough to restrict the analysis to σ < r since for larger exponents r one can procee as before. Then, for σ < r, we take Φu = G k u ε+ v r v, we follow the previous steps an we obtain the same conclusion by letting ε a similar argument is also etaile in Lemma A.1 in the Appenix A. Step The ecay result written above an the ecomposition u = G k u+ T k u provie us with the inequality ut r L r c rδ r σ t r σ σ which, for t t, gives the following ecay + k r t, T, k k where c = cr, k,, t. ut r L r c δ r σ t r σ σ t, t k k Step 3 We conclue by showing that u C, T]; L r. Inee, we alreay know that the convergence ut n ut for t n t hols in L σ. Thanks to 3.4, it is easy to see that ut n n is equi-integrable in L r ; we thus euce the esire continuity regularity by Vitali s Theorem. Remark 3.7. ote that the inequality 3.8 an the regularity u L, T; L r ensure u L r, T; L r. Hence, we reason as in Lemma 3.1 an euce that ut r x W 1,1, T. The next step consists in showing a similar regularizing effect in the L norm. To this purpose, we simply observe a similarity between P an the power problem with linear growth: u t ivat, x, u, Du = Ψt, xu in Q T, u = on, T, u, x = u x in, where Ψ L, T; L β for β. In fact, uner conitions A1, H, equation P implies 1 ut r x+αr 1 Dut ut r x γ r t Dut q ut r 1 x P pow

18 18 M. MAGLIOCCA AD A. PORRETTA a.e. t, T]. Furthermore, since by Young s inequality an using r we have γ Dut q ut r 1 x α Dut ut r x+c γ,α u r u q 1 x αr 1 Dut ut r x+c γ,α u r u q 1 x, we euce that 1 ut r x+ αr 1 Dut ut r x c γ,α u r u σ x, 3.1 r t where we use q 1 = σ. The same kin of inequality clearly hols for P pow, where we have irectly 1 ut r x+αr 1 Dut ut r x Ψ u r x. r t In other wors, problem P shares some energy estimates with the linear problem P pow whenever u σ plays the role of the function Ψ. We now observe that u σ L, T; L β for some β > as soon as u L, T; L r with r > σ. Problem P pow was stuie in etail in [P] as a preliminary tool for parabolic problems with superlinear powers as 1.3. By means of the above remark, we can use irectly those results to conclue with our regularizing effects. More precisely, we can apply the following Lemma, which is nothing but a consequence of a classical Moser iteration metho. We won t give the proof of the result below since it is containe 1 in [P, Proposition.7] Lemma 3.8. Let v L loc, T; H1 C [, T]; L m satisfy v L r loc, T; Lr for every r > 1 an, for every s > m, v s x+ v s x κ s ψ v s x, t, T, 3.13 t for some ψ L, T; L β with β >, an some κ inepenent of s an v. Then we have vt L an vt L Ce Ct ψ for every t in, T], where C = Cm, β,, κ. β β L,T;L β t m v L m, In virtue of the above Lemma, the Corollary below immeiately follows from Proposition 3.5. Corollary 3.9. Assume A1, H with +1 < q <, ID1 an let u be a solution of P. Then u is boune in L τ, T, τ >. Moreover, if k is the value given by Proposition 3.5, we have where C = Cq, α, γ,. Consequently, we have G k ut L C G ku L σ t σ ut L c t σ t, T, k k 3.14 t, t, 3.15 where c = cq, α, γ,, t, u is a constant which remains boune when u varies in a compact set of L σ. 1 We warn the reaer that this result is not state as we o here in [P]. However, the inequality 3.13 correspons to.7 in the given reference, which is the starting point of the iteration argument leaing to the L boun. It makes no ifference whether 3.13 is require as an assumption - as we state here - or whether it is prove to be a preliminary property of solutions - as in [P, Proposition.7]

19 LOCAL AD GLOBAL TIME DECAY 19 PROOF. From Proposition 3.5 we know that u C, T]; L r for every r <, which implies that the conclusion of Lemma 3.1 hols for functions Φu having any possible polynomial growth. In particular, using Φu = G k u r 1 we obtain 1 r t G k ut r x+αr 1 γ DG k ut q G k ut r 1 x which yiels, in the same way as we erive for 3.1, DG k ut G k ut r x a.e. t, T], 1 G t r k ut r αr 1 x+ DG k ut G k ut r x c γ,α G k u r G k u σ x. Using Sobolev s inequality in the left-han sie we obtain 1 G t r k ut r x+ αr 1 r G c k u r x C γ,α G k u r G k u σ x. S Therefore, the function v = G k u satisfies 3.13 an we can apply Lemma 3.8 with v = G k u, m = σ, ψ = G k u σ an β = r σ for some r > σ. We apply this estimate in the time interval t, t for k k ; using Proposition 3.5, we have hence, if s t, t β σr β ψs L β = G r σ kus L r C G ku s β β ψ L t/,t;l β C t σr r σ L σ where C may be chosen only epening on q,, α, γ e.g. we use r = σ+1 an k satisfies G k u L σ δ for some δ only epening on q,, α, γ. Using Proposition 3. we conclue that β β G k ut L C e Ct ψ L t/,t;l β t σ Gk ut/ L σ C t σ Gk ut/ L σ C t σ Gk u L σ. Finally, 3.15 is obtaine by the obvious inequality ut L G k ut L +k G k ut L +k t t σ t t. We observe that estimate 3.14 contains the same ecay of the L -norm as for the heat equation or, similarly, for nonlinear coercive operators. Inee, this estimate coul have been as well obtaine through the nonlinear methos use in [Po], rather than using Lemma 3.8.

20 M. MAGLIOCCA AD A. PORRETTA 3.. Asymptotic behaviour. This Subsection is evote to the analysis of the behaviour of the solution for large times. Proposition 3.1. Assume A1, H with +1 < q < an ID1. Let u be a solution of P. Then, we have lim ut L t =. PROOF. We start recalling the following ecay for G k u in the L -norm, which is given by 3.14: G k ut L ct τ σ Gk uτ L σ, 3.16 where t > τ > an k k. We recall that k is given by requiring G k uτ L σ < δ for k k, where δ is a value only epening on q,, α, γ. In particular, we can take any k > such that k > uτ L δ. ow, suppose by contraiction that lim ut L t = l, 3.17 for some strictly positive l. The above limit exists thanks to Corollary.9. We rewrite u as the sum u = G k u+ T k u an estimate as follows: ut L G k ut L +k ct τ σ δ+k for k k. ow, we fix a positive ε smaller than min{l, δ}: in this way, the ecay 3.16 hols for every k > uτ L ε. In particular, we are allowe to choose k > so that uτ L ε < k < uτ L ε, an such a choice is possible for arbitrarily large τ thanks to 3.17 an since l >. ow, we set τ = t, hence the previous estimate gives ut L ct σ δ+ ut/ L ε an, letting t ten to infinity, we fin a contraiction. Remark It can be interesting to notice that the limit state by Proposition 3.1 is actually uniform whenever u varies in a compact set of L σ. Inee, assume that {u,n } n L σ is a sequence which is relatively compact in L σ. In particular, it is equi-integrable, an as a consequence of Corollary 3.9 an Remark 3.6 for the value of k in 3.14 the sequence of solutions {u n t} n is uniformly boune in L for any t >. Therefore, one has that sup u n t is itself a non increasing quantity an amits a limit at infinity. A similar reasoning as in the proof of Proposition 3.1 shows that this limit is zero. This information allows us to improve an exten the ecay results previously obtaine by using the smallness of ut L for t large rather than the smallness of G k ut L σ for k great enough. The result below provies a sharp ecay for the L -norm, extening a similar result obtaine for the heat operator in [BDL], [PZ]. Corollary 3.1. Assume A1, H with +1 < q < an ID1. Let u be a solution of P. Then we have the following exponential ecay for the L norm of u, namely for every τ > where λ 1 is efine as below: { 1 λ 1 = inf n ut L c τ e λ 1t t > τ > 3.18 } ax, u, Du Du x, u H 1 u L

21 LOCAL AD GLOBAL TIME DECAY 1 an the constant c τ = cτ, α, γ, q,,, u remains boune whenever u varies in a compact set of L σ. PROOF. By Proposition 3.1, there exists t such that ut L σ ut L 1 σ < δ t > t, where δ can be chosen sufficiently small as neee in the proofs of both Propositions 3. an 3.5. This means that we can take k = in those Propositions an we euce that ut L σ C e λt t > t, 3.19 for some λ > an some C >. Thus, recalling H, we estimate as below 1 us x+ ax, s, us, Dus Dus x s γ Dus q us x γ Dus x using Höler s inequality with inices q,, Sobolev s inequality an assumption A1 we euce 1 s us x+ q 1 γc S α us q 1 L σ We now fix τ large enough so tha γc S α of λ 1 we get s us L + λ 1 We use 3.19 in 3., thus we get us L us q 1 L σ an the exact value of σ = q 1. Using ax, s, us, Dus Dus x. us q 1 > L σ for all s τ an using the efinition 1 γc S α us q 1 us L σ L. 3. s us L + λ 11 ce λq 1s us L. We set gs = λ 1 1 ce λq 1s. Then, by integration we obtain ut L e 1 t τ gs s uτ L ce λ 1t τ uτ L an thus we conclue the ecay for the L -norm. We now use the regularizing effect an we euce the same rate of exponential ecay for all other Lebesgue norms an in particular for the L -norm. Finally, thanks to Remark 3.11, the time t chosen initially, as well as the other constants appearing later, can be uniformly chosen if u varies in a compact set of L σ. 4. The case 1 < q < +1 an L1 -ata In the range 1 < q < +1, no restriction is neee on the Lebesgue class of initial ata notice that the value of σ woul become smaller than one for such q. We also stress that one coul as well consier measure ata, however we keep ourselves in the Lebesgue framework assuming L 1 -ata. Since [BM, L], it is customary for parabolic equations with L 1 -ata to work in the framework of renormalize solutions, as efine below. We recall that the space T 1, Q T is efine in [BBGGPV], see also Definition.3.

22 M. MAGLIOCCA AD A. PORRETTA DEFIITIO 4.1. We say that a function u T 1, Q T is a renormalize solution of P if satisfies Ht, x, Du L 1 Q T, Su ϕ, x x+ Suϕ t + at, x, u, Du DS uϕ x t Q T = Ht, x, DuS uϕ x t, Q T 1 lim at, x, u, Du Du x t =, n n RS3 {n u n} RS1 RS for every S W, R such that S has compact support, ϕ C c [, T such that S uϕ L, T; H 1 i.e., the prouct S uϕ is equal to zero on the parabolic bounary, T. Remark 4.1. The spirit of Remark.1 now applies to the truncations of u. Inee, from the renormalize formulation we euce that any S such that S W 1, R an has compact support satisfies Su L, T; H 1 so, if A hols, Su t = ivat, x, u, DuS u+ at, x, u, DuDuS u+ Ht, x, DuS u L, T; H 1 + L 1 Q T. This implies [P1, Theorem 1.1] that Su C[, T]; L 1 an in particular, from the formulation RS3, Su = Su in L 1. Later, we are going to see in Proposition 4. below that actually u itself is continuous in L 1. We point out that, by ensity arguments, one can affor for test functions ϕ L, T; H 1 L Q T such that ϕ t L, T; H 1, ϕt, x =. Moreover, integration by parts formulas also hol for the renormalize formulation, for instance the conclusion of Proposition.5 hols for every, t [, T] at least when ψ has compact support. In a similar way as for the other cases, we stress that an equivalent formulation can be given by only requiring the global time continuity in L 1 an a stanar energy formulation for positive times. amely, we have Proposition 4.. A function u is a renormalize solution of P in the sense of Definition 4.1 if an only if u C [, T]; L 1 L loc, T; H1, u = u an u satisfies uϕ t + at, x, u, Du Dϕ x t = Ht, x, Duϕ x t 4. Q T Q T for every ϕ C c Q T. We postpone the proof of Proposition 4. to the Appenix A, an procee by showing a priori estimates an contraction principles for the solutions. Lemma 4.3. Assume A1, A an H with 1 < q < +1. Let u L 1 an let u be a renormalize solution of P. For ω positive an sufficiently small so that q 1+ω < 1, we set Θs := s [ r ω ]r. Then, there exists a positive value δ, epening on ω,, α, c S an γ, such that, for every k > an for every δ < δ satisfying ΘG k u x < δ we have ΘG k utx < δ t [, T]. 4.3

23 LOCAL AD GLOBAL TIME DECAY 3 PROOF. Observe that Θs is a positive, even an convex function such that Θ W 1, R an Θ = ; we use Proposition 4. an we take Θ G k u as test function, this is justifie as in Proposition.5. Using A1 an H we get ΘG k ut x+α DG k u Θ G k u x t ΘG k u x+γ DG k u q Θ G k u x t for every, t, T. We notice that Θ satisfies, for some constant c eventually epening on ω: Θ s c Θ s q s Θ r r 1+s ω s R. 4.4 Thanks to 4.4 we get ΘG k ut x+α DG k u Θ G k ux t ΘG k u x +γ c DG k u q Θ G k u q Gk u Θ r r 1+ G k u ω x t an since G k u Θ r Gk u r Θ r 1 r Gk u q 1 we euce ΘG k ut x+α DG k u Θ G k ux t ΘG k u x +γ c DG k u q Θ G k u q Gk u Θ r 1 r G k u q 1 1+ G k u ω x t. Applying Höler inequality with the usual three exponents ΘG k ut x+α DG k u Θ G k u x t q ; ; we obtain ΘG k u x q +γ c DG k u Θ Gk u G k ux t Θ r 1 r an then, by Sobolev inequality, ΘG k ut x+α [ +γ c sup t [,t ] [G k u q 1 1+ G k u ω ] x [G k u q 1 1+ G k u ω ] Since q < +1 q 1, we have conition require on ω. Thus [G k u q 1 1+G k u ω ] x [ c max q 1+ω ΘG k ut x], DG k u Θ G k ux t ΘG k u x ] t x DG k u Θ G k ux t. < 1, an the same hols for q 1+ω t { q 1 c G k ut x + [ ΘG k ut x ] q 1 because of the G k ut x q 1+ω }

24 4 M. MAGLIOCCA AD A. PORRETTA where we use that Θs c mins, s for some constant c >. We conclue that ΘG k ut x+α DG k u Θ G k ux t ΘG k u x [ q 1+ω [ ] q 1 +γ c sup max ΘG k ut x], ΘG k ut x t [,t ] DG k u Θ G k ux t. We conclue with the usual continuity argument we use before; Let δ be such that { } γ c max δ q 1+ω q 1, δ α. Then, whenever ΘG kut x δ < δ for all t τ, we euce that ΘG kuτ x δ as well. Moreover, since u C [, T]; L 1, we also have ΘG k u C [, T]; L 1. Therefore, a continuity argument leas to the conclusion. As in the previous cases, we euce the following consequences from the above Lemma. THEOREM 4.4. Assume A1, H with 1 < q < +1 an let u L 1. Let u be a renormalize solution of P. Then u M + Q T an Du M +1 + QT an the following estimate hols: sup ut L 1 + Du t [,T] M +1Q + + Du x t M 4.5 T Q T 1+ u δ+1 where δ >, the constant M epens on u, T,, q, γ,, α, δ, an remains boune when u varies in sets which are boune an equi-integrable in L 1. PROOF. Lemma 4.3 yiels an estimate for u in L, T; L 1 since the function Θ has linear growth an an estimate for DG k u Q x t for k sufficiently large from the energy term. ext one estimates DT k u in L in a similar way as in Lemma.6. T 1+ G k u 1+ω Finally, once we have an estimate for Du Q x t with ω arbitrarily small, an T 1+ u 1+ω the fact that u L, T; L 1, it follows an estimate of u in L r, T; W 1,r for every r < +1 + see e.g. [BG]. As a consequence, we have that Ht, x, Du L1 Q T. The final conclusion of the Marcinkiewicz estimate is then a consequence of known results for equations with L 1 - ata see e.g. [ST]. Remark 4.5. Let us stress that the proof of Lemma 4.3 is actually performe for solutions u C [, T]; L 1 L loc, T; H1 ; combining this with the proof of Theorem 4.4 is a way to show that any u C [, T]; L 1 L loc, T; H1 which satisfies 4. enjoys the global regularity state in Theorem 4.4, in particular u M + Q T, Du M +1 + QT an T k u L, T; H 1 for all k >. We also euce the contraction in L for this range of q. Corollary 4.6. Assume A1, H with 1 < q < +1 an the initial atum u belonging to L. Moreover, let u be a solution of P in the sense of Definition 4.1. Then, we have that u belongs to L Q T. Moreover, the following estimate hols: ut L u L t [, T]. PROOF. We use again Lemma 4.3 with k = u L. In that case we obtain 4.3 for any δ > arbitrarily small, an letting δ we conclue that ΘG kutx =. This implies ut L k = u L.