arxiv: v1 [math.ap] 6 Jan 2019

Transcription

1 A NONLINEAR PARABOLIC PROBLEM WITH SINGULAR TERMS AND NONREGULAR DATA FRANCESCANTONIO OLIVA AND FRANCESCO PETITTA arxiv: v1 [math.ap] 6 Jan 219 Abstract. We study existence of nonnegative solutions to a nonlinear arabolic boundary value roblem with a general singular lower order term and a nonnegative measure as nonhomogeneous datum, of the form u t u = hu)f + µ in, T ), u = on, T ), u = u in {}, where is an oen bounded subset of R N N 2), u is a nonnegative integrable function, is the -lalace oerator, µ is a nonnegative bounded Radon measure on, T ) and f is a nonnegative function of L 1, T )). The term h is a ositive continuous function ossibly blowing u at the origin. Furthermore, we show uniqueness of finite energy solutions in resence of a nonincreasing h. Contents 1. Introduction 1 Notations Setting and main existence result 3 3. Existence of a distributional solution Aroximation scheme and a riori estimates Passing to the limit Some comments on the regularity of the solutions 8 4. Uniqueness of finite energy solutions 9 Acknowledgements 1 References Introduction Let be an oen bounded subset of R N ; we are mainly concerned with nonnegative solutions of roblems modeled by u t u = fu γ + µ in, T ), u = on, T ), 1.1) u = u in {}, where > 2 1 N+1, u is a nonnegative integrable function, µ is a nonnegative bounded Radon measure on, T ), f is a nonnegative function in L 1, T )), and γ >. The interest in roblems as 1.1) with = 2 and smooth data) started in [18] in connection with the study of thermo-conductivity u γ reresented the resistivity of the material), and later in the study of signal transmissions and in the theory non-newtonian seudolastic fluids [28, 27, 19]). From the urely mathematical oint of view, a comlete setting of the theory, in the stationary case with smooth data, was develoed over the years starting by the seminal aers [37, 1], until the remarkable imrovements given in in [22] = 2 and µ = ). 21 Mathematics Subject Classification. 35K1, 35K2, 35K65, 35K67, 35R6. Key words and hrases. Singular arabolic roblems; Existence and uniqueness; Measure data. 1

2 2 F. OLIVA AND F. PETITTA Again in the stationary case with = 2 the weak theory was settled in [6] see also [7, 2, 21])) while both existence and uniqueness in resence of nonlinear oerators was roven in [8, 3, 31, 38]. The case of ossibly measure as data was faced in [3, 35, 13] In the arabolic setting the literature for roblems as in 1.1) is, by far, more limited. If f the case quasilinear case with measure data) we refer to [33] see also [16, 32, 34]) for a comlete account on existence and uniqueness in the context of renormalized solutions. Moreover, the case of a bounded zero-order nonlinearity has been treated in [23]. Both weak and strong regularity of the, so called, SOLA solutions solutions obtained as limit of aroximations) have been also obtained see [2, 26, 1] and references therein). Finally, concerning the singular model case, for suitably smooth data f and µ, the existence of solutions to roblems as in 1.1) was investigated in [15] see also [3, 12, 14]). In this note we consider nonnegative integrable data f and u, a nonnegative bounded Radon measure as nonhmogeneous source and a merely continuous, and ossibly singular at the origin, nonlinear zero-order term hs). Under these general assumtions we rove existence of a nonnegative solution for roblem u t u = hu)f + µ in, T ), u = on, T ), u = u in {}, and uniqueness of finite energy solutions in the homogeneous case) rovided h is nonincreasing. The lan of the aer is as follows: in Section 2 we resent our main assumtions and we state the main existence result. Section 3 is devoted to the roof of the existence result; the aroximation scheme is resented and the basic a riori estimates are obtained Section 3.1), then the assage to the limit is erformed in Section 3.2, while in Section 3.3 some further regularity issues are discussed. Finally, in Section 4, a uniqueness result is resented. Notations. The arabolic cylinder is denoted by =, T ) by t =, t) for a generic t > ), while its lateral surface is Γ =, T ). We denote by M) the sace of Radon measures with bounded total variation on. We will denote with r = rn N r the Sobolev conjugate of 1 r < N, while r = r r 1 indicates the Hölder conjugate of r > 1. For fixed k > we will made use of the truncation functions T k and G k defined, res., as T k s) = max k, mins, k)), and G k s) = s k) + signs). For η, δ >, we define and T k,η s) := s T η k 1 s δ, 2δ s V δ s) := δ < s < 2δ, δ s 2δ. For the sake of simlicity we will use the simlified notations T T f = f = fx, t) dxdt, and f = t) dt, 1.2) fx, t) dx, when referring to integrals when no ambiguity on the variable of integration is ossible. Finally we denote by ε := {x : distx, ) < ε}, 1.3)

3 A NONLINEAR PARABOLIC PROBLEM WITH SINGULAR TERMS AND NONREGULAR DATA 3 which is well defined for a sufficiently smooth, say Lischitz. If no otherwise secified, we will denote by C several constants whose value may change from line to line and, sometimes, on the same line. These values will only deend on the data but they will never deend on the indexes of the sequences we will often introduce. 2. Setting and main existence result Let be a bounded and smooth oen subset of R N N 2), and let T >. We consider the following nonlinear arabolic roblem u t divax, t, u)) = hu)f + µ in, ux, t) = on Γ, P) ux, ) = u x) in, where f belongs to L 1 ), µ belongs to M), ax, t, ξ) :, T ) R N R N Carathéodory function satisfying is a ax, t, ξ) ξ α ξ, α >, 2.1) ax, t, ξ) β ξ 1, β >, 2.2) ax, t, ξ) ax, t, η)) ξ η) >, 2.3) for every ξ η in R N and for almost every x, t), with 2 1 N+1 < < N. A rototye of the oerators we consider is the usual -lalacian defined as div u 2 u). The initial datum u is nonnegative and it belongs to L 1 ). The bound from below on, even if technical, is standard as it ensures the gradient of the solution to belong to L 1, T ; L 1 )). The term h : [, ) [, ] is a continuous and ossibly singular function with h) which it is finite outside the origin and such that γ, C, s > : hs) C s γ for all s s, h) and such that h is bounded in [s, ). In the following it will be useful the introduction of the notation σ := max1, γ). Let us give the notion of solution we shall consider from now on Definition 2.1. A distributional solution of roblem P) is a function u L 1, T ; W 1,1 )) with both ax, t, u) and hu)f belonging to L 1, T ; L 1 )), such that 1 lim T k u) = for a.e. t, T ), k >, 2.4) ε ε ε and uφ t u φx, ) + ax, t, u) φ = hu)fφ + φdµ, 2.5) for every φ Cc 1 [, T )). Remark 2.2. Let us remark that 2.4) is the weak way we recover that u = on Γ. Condition 2.4) is known to be weaker of the classical request to have a solution lying in a sace with zero Sobolev trace and it allows to unify the discussion of both γ 1 and γ > 1 the same was done, in the stationary case, in [31]) and to avoid truncations in the definition. We stress that this is the only oint where we exloit the regularity of. If we only assume to be an oen and bounded subset of R N then everything works fine rovided, in the case γ > 1, the boundary condition is intended as Tk u) L, T ; W 1, )), for any k > i.e. a suitable ower of every truncation of u lies, for almost every t, T ), in a Sobolev sace with zero classical trace. If γ 1 then one may assume T k u) L, T ; W 1, )), for any k > this is how, for instance, the boundary condition was given in [6, 3, 35]). γ 1+

4 4 F. OLIVA AND F. PETITTA Theorem 2.3. Let a satisfy 2.1), 2.2), 2.3), let h satisfy h) and suose that f L 1 ), u L 1 ), and µ M) are nonnegative. Then there exists a nonnegative distributional solution u of roblem P). 3. Existence of a distributional solution In this section we rove Theorem 2.3. To deduce the existence of a distributional solution we work by aroximation. First we introduce the aroximating scheme and we get basic a riori estimates on the aroximating solutions. Then we ass to the limit, the main difficulty relying in carefully treat the nonlinear term on the set where the aroximating solutions vanish and in recovering the boundary datum. At the end of this section we rovide some further regularity results on the solution we obtained Aroximation scheme and a riori estimates. Consider the following scheme of aroximation u n ) t divax, t, u n )) = h n u n )f n + µ n in, u n x, t) = on Γ, u n x, ) = u n x) in, where h n s) := T n hs)), f n := T n f), u n x) := T n u x)) and µ n is a sequence of smooth functions, bounded in L 1 ), that converges in the narrow toology of measures to µ. The existence of such a sequence µ n is obtained by standard convolution arguments. First of all we need to show the existence of a weak solution to 3.1). The roof, which is based on the Schauder fixed oint theorem, is quite standard but we sketch it for comleteness. Lemma 3.1. Let a satisfy 2.1), 2.2) and 2.3). Then, for any fixed n N, there exists a nonnegative solution u n L, T ; W 1, )) L ) such that u n ) t L, T ; W 1, )) to roblem 3.1). Proof. Let n N be fixed, v L ) and consider the following roblem w t divax, t, w)) = h n v)f n + µ n in, wx, t) = on Γ, wx, ) = u n x) in. It follows from classical theory see [24]) that roblem 3.2) admits a unique solution w L, T ; W 1, )) C[, T ]; L 2 )) such that w t L, T ; W 1, )) for every fixed v L ). Furthermore w belongs to L ). Our aim is to rove the existence of a fixed oint for the ma G : L ) L ), which for any v L ) gives the weak solution w to 3.2). We take w as test function in the weak formulation of 3.2) obtaining T w t, w + ax, t, w) w = h n v)f n w + 3.1) 3.2) µ n w. 3.3) By 2.1) and by classical integration by arts formula, one has 1 w 2 x, T ) 1 T u n x) + α w w t, w + ax, t, w) w. For the right hand side of 3.3) by the Hölder inequality ) 1 h n v)f n w + µ n w Cn 2 w + C µn L ) and so, droing a ositive term α w C w ) 1, ) ) 1 n 2 + µ n L ) w 1 + u 2 2 n. 3.4)

5 A NONLINEAR PARABOLIC PROBLEM WITH SINGULAR TERMS AND NONREGULAR DATA 5 Poincaré inequality imlies for some constant C ) ) 1 w C n 2 + µ n L ) w C + 2 which imlies u 2 n, w ) 1 C. 3.5) The constant C is indeendent of v, and so the ball B := B C ) of L ) of radius C is invariant for the ma G. Now we check the continuity of the ma G. Let v k be a sequence of functions converging to v in L ). By the dominated convergence theorem one has that h n v k )f n + µ n converges to h n v)f n + µ n in L ). Hence, by uniqueness, one deduces that w k := Gv k ) converges to w := Gv) in L ). Lastly we need GB) to be relatively comact. Let v k be a bounded sequence, and let w k = Gv k ). Reasoning as to obtain 3.4), we have ) ) 1 α w k C n 2 + µ n L ) w k 1 + u 2 2 n, where C is clearly indeendent from v k. Recalling 3.5) this means that w k is bounded with resect to k in L, T ; W 1, )). We also deduce from the equation that w k ) t is bounded with resect to k in L, T ; W 1, )). Hence w k admits a strongly convergent subsequence in L ) see [36]). This concludes the roof. In the next lemma we collect the basic estimates on u n which will allow us to ass to the limit in the aroximating formulation 3.1). Lemma 3.2. Let f L 1 ), µ M), u L 1 ) be nonnegative, let a satisfy 2.1), 2.2) and 2.3) and let h satisfy h). Then the sequence u n of solutions of 3.1) is bounded in L, T ; L 1 )) and in L q, T ; W 1,q N )) with q < N+1. Moreover one has T k u n ) φ Ck, k >, 3.6) for every nonnegative φ C 1 c [, T )). Proof. For a fixed t, T ] we take T1 σ u n) as a test function in the formulation of u n on t recall that σ := max1, γ)); one has t u n ) t, T1 σ u n) + ασ T 1 u n ) T 1 u n ) σ 1 t f n T1 σ 1 u n ) + h n u n )f n T1 σ u n) + µ n T1 σ u n), t and then t {u n s } t T 1,σ u n )) t f L 1 ) t {u n >s } 1 + su hs) s [s,+ ) ) + µ n L 1 ), where T 1,σ s) is defined in 1.2). Furthermore, observing that T 1,σ s) s 1, one gets ) u n x, t) f L 1 ) 1 + su hs) + µ n L 1 ) + + T 1,σ u ). 3.7) s [s,+ ) Every term on the right hand side of 3.7) is also bounded with resect to t; hence taking the suremum on t we obtain that u n L,T ;L 1 )) C. 3.8)

6 6 F. OLIVA AND F. PETITTA Now let φ Cc 1 [, T )) be nonnegative and take T k u n ) k)φ as a test function in 3.1) T u n ) t, T k u n ) k)φ + T k u n ) φ + ax, t, u n ) φφ 1 T k u n ) k), which gives T k u n ) φ ε T k u n ) φ + C ε k φ + Ck, where we also used that T u n ) t, T k u n ) k)φ T k,1 u n ) ku n )φ x, ) + T k,1 u n ) ku n )φ 1 φ t Ck. Hence one has that T k u n ) φ Ck, where the constant C does not deend on n. By taking T 1 G k u n )) 1)φ as a test function in 3.1) where φ Cc 1 [, T )) one may also deduce u n φ C. 3.9) {k<u n <k+1} From 3.8) and 3.9) one can reason as in [4, Theorem 4] in order to deduce that u n is bounded in L q, T ; W 1,q N )) with q < N+1. The estimates on u n imly that the ossibly) singular term is ally bounded in L 1 ). In fact, we have Corollary 3.3. Under the assumtions of Lemma 3.2 one has that h n u n )f n φ C, 3.1) for every nonnegative φ Cc 1 [, T )) with C not deending on n. Proof. Let us take φ Cc 1 [, T )) as a test function in 3.1) obtaining h n u n )f n φ β u n 1 φ C u n q + C, suφ) and the right hand side of the revious is bounded thanks to Lemma 3.2. Lemma 3.4. Under the assumtions of Lemma 3.2 there exists u L q, T ; W 1,q N )) for any q < N+1 such that, u to a subsequence, u n converges to u a.e. on, weakly in L q, T ; W 1,q )) and strongly in L 1, T ; L 1 )). Moreover u n converges almost everywhere to u in. In articular ax, t, u n ) strongly converges to ax, t, u) in L 1, T ; L 1 )). N )) with q < N+1. Moreover from Proof. From Lemma 3.2 we know that u n is bounded in L q, T ; W 1,q Corollary 3.3 one has that the right hand side of 3.1) is bounded in L 1, T ; L 1 )). Hence, let φ C c 1) then one has that u n φ) t is bounded in L s, T ; W 1,s )) + L 1 ) with s = q 1, which is sufficient to aly [36, Corollary 4] in order to deduce that u n converges to a function u in L 1, T ; L 1 )). Furthermore, since the right hand side of 3.1) is bounded in L 1, T ; L 1 )) and u n is bounded in L q, T ; W 1,q )), one can reason as in the roof of Theorem 4.1 of [5] see also [2, Theorem 3.3]) deducing that u n converges to u almost everywhere in. The last sentence of the statement can be checked by using 2.2) and Vitali s theorem in order to show that u n 1 is strongly comact in L 1, T ; L 1 )).

7 A NONLINEAR PARABOLIC PROBLEM WITH SINGULAR TERMS AND NONREGULAR DATA Passing to the limit. Here, using the results obtained in Section 3.1, we ass to the limit in 3.1) in order to rove Theorem 2.3. Proof of Theorem 2.3. We want to show that u, i.e. the almost everywhere limit of u n found in Lemma 3.4, is a solution to P). We first want to obtain 2.5) by assing to the limit in u n φ t u n φx, ) + ax, t, u n ) φ = h n u n )f n φ + µ n φ, where φ Cc 1 [, T )). Since u n is strongly comact in L 1, T ; L 1 )) and using the definition of u n, we easily ass to the limit in the first two terms of the revious equality. We can also ass to the limit in the the third term by using Lemma 3.4. By the definition of µ n we also ass to the limit in the last term. We are left to ass to the limit in the nonlinear lower order term involving h. If h) < we use Lebesgue s dominated convergence theorem and we easily ass n to the limit. Hence, assume h) =. Let us take φ a standard density argument will allow to deduce the result also for sign changing test functions). For δ > we slit the term as h n u n )f n φ = h n u n )f n φ + h n u n )f n φ, 3.11) {u n δ} {u n >δ} Without losing generality we may assume the arameter δ running outside the set {η : {ux, t) = η} > } which is at most a countable. The second term in 3.11) asses to the limit again by the Lebesgue theorem as h n u n )f n φχ {un >δ} su s [δ, ) [hs)] fφ L 1 ), namely lim h n u n )f n φ = hu)f φ. n {u n >δ} {u>δ} Let us observe that using the Fatou lemma and Corollary 3.3 imly hu)f L 1, T ; L 1 )). This allows to aly once again the Lebesgue theorem as δ obtaining lim lim h n u n )f n φ = hu)f φ. δ n {u n >δ} {u>} We also observe that hu)f L 1, T ; L 1 )) gives that the set {u = } is contained in the set {f = } u to a set of zero Lebesgue measure. This means that hu)fφ = hu)f φ, {u>} and then the roof is done once we have shown that the first term in the right hand side of 3.11) converges to zero as, res., n and as δ. To this aim we take V δ u n )φ V δ is defined in 1.3)) as test function in 3.1). Droing a negative term, one has T h n u n )f n φ u n ) t, V δ u n )φ + u n 1 φ V δ u n ) {u n δ} Φ δ u n )φ t + u n 1 φ V δ u n ), s where Φ δ s) = V δt) dt. Furthermore, from the fact that Φ δu n ) δ and from 3.6), one is able to deduce that lim su h n u n )f n φ Cδ 1, n {u n δ} which imlies that lim lim su h n u n )f n φ =. δ n {u n δ}

8 8 F. OLIVA AND F. PETITTA Hence, we deduce that lim h n u n )f n φ = hu)f φ, n for every φ C 1 c [, T )) and this roves that u satisfies 2.5). In order to conclude the roof of Theorem 2.3 we show that the boundary condition holds; namely u satisfies 2.4). By taking Tk σu n) k > ) as a test function in 3.1) one can deduce that Tk u n ) is bounded in L, T ; W 1, )) with resect to n. Hence one has that, for almost every t, T ) and for every k >, σ 1+ Tk ux, t)) W 1, ). If γ 1 then T k ux, t)) W 1, ) is known to imly 2.4). Otherwise, if γ > 1, one reasons as follows 1 T k u) 1 ) ) γ 1 γ 1+ γ 1+ Tk u) ε γ 1 ε ) γ 1+ γ 1+ 1 γ 1+ γ 1+ = Tk u), ε ε ε ε ε ε ε and taking ε in the revious one has that 2.4) holds also in this case. This concludes the roof Some comments on the regularity of the solutions. In this section we show that the scheme of aroximation 3.1) can take to a solution u L, T ; W 1, )) under suitable assumtions on the data, and in articular on the nonlinearity h giving rise to some regularizing effects with resect to the urely quasilinear case i.e. h 1). For a general nonhomogeneous datum µ then no solution belonging to the natural energy sace are exected, since only truncations of them are see [3, 31] for similar considerations in the stationary case). So that we restrict to the case µ. We assume the following control on h at infinity On the datum f we assume that σ 1+ θ, C, s 1 > : hs) C s θ for all s s ) f L ) 1+θ 1 θ, T ; L )) if θ < 1, f L 1 ) if θ ) Lemma 3.5. Let a satisfy 2.1), 2.2), 2.3), let h satisfy h) with γ 1 and 3.12), let f nonnegative satisfy 3.13); finally let u L 2 ) be nonnegative. Then the solution to P) with µ ) found in Theorem 2.3 belongs to L, T ; W 1, )). Proof. We need to rove that under our assumtions we can show better a riori estimates on the sequence u n, i.e. a solution to 3.1). Hence we take u n as a test function in 3.1) obtaining α u n max [hs)s] f n + f n un 1 θ + 1 u 2 s [,s 1 ] {u n s 1 } {u n >s 1 } 2 C + f n un 1 θ {u n >s 1 } and hence if θ 1 the estimate is done since f n un 1 θ {u n >s 1 } 1 θ L T {u n >s 1 } f n s 1 θ 1 C. Otherwise we aly the Hölder, the Sobolev with constant S ) and the Young inequalities to have T T α u n f ) n ) u 1 θ L ) S1 θ f C ε S 1 θ f 1+θ 1 θ L ) ) + εs 1 θ L u n, 1 θ ) ) ) 1 θ u n

9 A NONLINEAR PARABOLIC PROBLEM WITH SINGULAR TERMS AND NONREGULAR DATA 9 and taking ε sufficiently small the estimate is closed also if θ < 1. Hence u n is bounded in L, T ; W 1, )) and so u belongs to L, T ; W 1, )). Remark 3.6. We underline that requiring that h goes to zero as in 3.12) rovides a strong regularizing effect on the Sobolev regularity of the solution to P). Indeed when h 1 and µ then u is, in general, exected to have finite energy for a datum f L, T ; L ) )) i.e. θ = in 3.12)) see [24]), while for more general e.g. merely integrable) data then u needs not to see [4]). In our case, even if h is allowed to mildly blow u at the origin γ 1), we are able to find more regular solution thanks to the regularizing effect given by the vanishing rate of h at infinity. This imroved regularity is a key tool for uniqueness, since, as we will see in the next section, a unique solution can be roven to exist in a suitable subclass of ) this energy sace. Finally we underline that the exonent 1 θ is the same obtained in [6] when = 2 while studying the regularizing effect of the singular nonlinearity in the stationary case. 4. Uniqueness of finite energy solutions In this section we rove uniqueness of finite energy solutions to u t divax, t, u)) = hu)f in, ux, t) = on Γ, ux, ) = u x) in ; rovided h is nonincreasing. We say that a distributional solution u of roblem P ) is said to have finite energy rovided u L, T ; W 1, )) and u t L, T ; W 1, )) + L 1 ). We have the following Theorem 4.1. Let h be nonincreasing, then there is at most one finite energy solution to P ). The first ste consists in extending the set of admissible test functions in 2.5), namely we have Lemma 4.2. Let u be a finite energy solution to P ) then u satisfies T u t ) 1, φ + u t ) 2 φ + ax, t, u) φ = P ) hu)f φ, 4.1) where u t ) = u t ) 1 +u t ) 2 with u t ) 1 L, T ; W 1, )), u t ) 2 L 1 ) and for every φ L, T ; W 1, )) L ). Proof. Let φ L, T ; W 1, )) L ) be a nonnegative function and consider a sequence φ n of smooth nonnegative functions converging to φ in L, T ; W 1, )), without loss of generality one may assume φ n L ) φ L ). Now we take φ n in 2.5) recall that µ ) and we integrate by arts see for instance [9]) in order to obtain T u t ) 1, φ n + u t ) 2 φ n + ax, t, u) φ n = hu)fφ n. 4.2) Due to the definition of φ n and on the regularity of u one can ass to the limit in the left hand side of the revious equality; in articular hu)fφ n is bounded in L 1 ) and by Fatou s lemma one obtains that also hu)fφ L 1 ). Using dominated convergence theorem one can ass to the limit also on the right hand side of 4.2) and we conclude. Proof of Theorem 4.1. Let v, w be two finite energy solutions of P ), and take T k v w)φt) in the difference of formulations 4.1) solved by v, w, where we define φt) = t T + 1 for t, T ]. Using 2.3) and the assumtion on h we obtain that T v t ) 1 w t ) 1, T k v w)φt) + v t ) 2 w t ) 2 ) T k v w)φt).

10 1 F. OLIVA AND F. PETITTA It follows from of [17, Lemma 7.1] that T k,1 s) is defined in 1.2)) 1 T k,1 v w) =, T that, due to the arbitrariness of k and recalling that v w C[, T ]; L 1 )), imlies that vτ) = wτ) for any τ, T ] and for almost every x in and this concludes the roof. Remark 4.3. We want to highlight some cases in which the solution to P ) has finite energy. First of all observe that if h) < then Lemma 3.5 gives some instances of a finite energy solutions since, from the equation, one has u t L, T ; W 1, ))+L 1 )). Moreover if we restrict to data a and f not deending on t, and we consider u = wx) where wx) is a solution to the associated ellitic roblem { divax, w)) = hw)f in, w = on, then, if w W 1, ) see [22, 6, 31]), one has, by Lemma 4.2, that ux, t) = wx) turns out to be a finite energy solution of P ). Also in the general case of a nonlinearity h blowing u at zero non-trivial non-stationary finite energy solutions do exist as the following examle shows Examle 1. We resent a case where h actually blows u at the origin and the solution to P ) has finite energy. Let γ 1 and, for the sake of simlicity let = 2, we consider the following roblem u t u = f in, ux, t) = on Γ, ux, ) = u x) in, where f L 2, T ; L 2 ) )) and u L 2 ). By the classical theory of arabolic equations one has that a ositive solution u L 2, T ; W 1,2 )) does exist. We observe that u also solves u t u = g u γ in, ux, t) = on Γ, ux, ) = u x) in, where g = fu γ L 1 ). Indeed, alying the Hölder and the Young inequalities, one has T T fu γ f L 2 γ ) u γ 2 T 2 γ f ) L 2 ) L + u 2 2 γ ) L 2 ). ) A similar calculation gives the existence of a finite energy solution even if γ > 1 rovided we restrict to a datum f L 2, T ; L 2 γ ) )). Finally we also underline that in case hs) s γ near s = with hs) c for all s then a finite energy solution to P ) also exists, using that g = f hu) f c. Remark 4.4. For simlicity we resented our uniqueness result in the homogeneous case µ ; as we have seen the key role in the roof is layed by the ossibility to extend the set of test functions Lemma 4.2). For this reason, with the same roof, one can allow also nonhomogeneous measure data µ L 1 ) + L, T ; W 1, )); as showed in [33, Proosition 3.1] see also [25, Theorem 2.6]) measure with such a structure are absolutely continuous with resect to the arabolic -caacity. Acknowledgements The authors are artially suorted by the Gruo Nazionale er l Analisi Matematica, la Probabilità e le loro Alicazioni GNAMPA) of the Istituto Nazionale di Alta Matematica INdAM).

11 A NONLINEAR PARABOLIC PROBLEM WITH SINGULAR TERMS AND NONREGULAR DATA 11 References [1] P. Baroni, A. Di Castro, G. Palatucci, Global estimates for nonlinear arabolic equations, J. Evol. Equ., 13 1) 213), [2] L. Boccardo, A. Dall Aglio T. Gallouët, L. Orsina, Nonlinear Parabolic Equations with Measure Data, J. Funct. Anal., ), [3] L. Boccardo, M. Escobedo, M. M. Porzio, Parabolic equations with singular and suercritical reaction terms, Differential Integral Equations, ) 215), [4] L. Boccardo, T. Gallouët, Nonlinear ellitic and arabolic equations involving measure data, J. Funct. Anal., ), [5] L. Boccardo, F. Murat, Almost everywhere convergence of the gradients of solutions to ellitic and arabolic equations, Nonlinear Anal., 19 6) 1992), [6] L. Boccardo, L. Orsina, Semilinear ellitic equations with singular nonlinearities, Calc. Var. and PDEs, 37 21), [7] B. Bougherara, J. Giacomoni, J. Hernández, Existence and regularity of weak solutions for singular ellitic roblems, Proceedings of the 214 Madrid Conference on Alied Mathematics in honor of Alfonso Casal, 19-3, Electron. J. Differ. Equ. Conf., 22, Texas State Univ., San Marcos, TX, 215. [8] A. Canino, B. Sciunzi, A. Trombetta, Existence and uniqueness for -Lalace equations involving singular nonlinearities, NoDEA Nonlinear Differential Equations Al., 216) 23:8. [9] J. Carrillo, P. Wittbold, Uniqueness of Renormalized Solutions of Degenerate Ellitic Parabolic Problems, Journal of Differential Equations, 156 1) 1999), , [1] M. G. Crandall, P. H. Rabinowitz, L. Tartar, On a dirichlet roblem with a singular nonlinearity, Comm. Part. Diff. Eq., ), [11] A. Dall Aglio, L. Orsina, Nonlinear arabolic equations with natural growth conditions and L1 data, Nonlinear Anal., ), [12] I. De Bonis, L. M. De Cave, Degenerate arabolic equations with singular lower order terms, Differential and Integral Equations, ), [13] L. M. De Cave, F. Oliva, Ellitic equations with general singular lower order term and measure data, Nonlinear Anal., ), [14] I. De Bonis, D. Giachetti, Singular arabolic roblems with ossibly changing sign data, Discrete and Continuous Dynamical Systems - Series B, 19 7) 214), [15] I. De Bonis, D. Giachetti, Nonnegative solutions for a class of singular arabolic roblems involving -Lalacian, Asymtotic Analysis, 91 2) 215), [16] J. Droniou, A. Porretta, A. Prignet, Parabolic caacity and soft measures for nonlinear equations, Potential Anal., 19 2) 23), [17] J. Droniou, A. Prignet, Equivalence between entroy and renormalized solutions for arabolic equations with smooth measure data, NoDEA Nonlinear Differential Equations Al., ) 27), [18] W. Fulks, J. S. Maybee, A Singular Non-Linear Equation, Osaka Journal Mathematics, ), [19] J. A. Gatica, V. Oliker, P. Waltman, Singular nonlinear boundary-value roblems for second-order ordinary differential equations, Journal of Differential Equations, ), [2] D. Giachetti, P.J. Martínez-Aaricio, F. Murat, A semilinear ellitic equation with a mild singularity at u = : Existence and homogenization, J. Math. Pures Al., ), [21] D. Giachetti, P.J. Martínez-Aaricio, F. Murat, Definition, existence, stability and uniqueness of the solution to a semilinear ellitic roblem with a strong singularity at u =, Ann. Sc. Norm. Su. Pisa 5), 18 4) 218), [22] A. C. Lazer, P. J. McKenna, On a singular nonlinear ellitic boundary-value roblem, Proc. Amer. Math. Soc., ), [23] Z. Liqin, Z. Junning, Existence and uniqueness of renormalized solutions for a class of degenerate arabolic equations, Acta Mathematica Scientia, 29 2) 29), [24] J.-L. Lions, uelques méthodes de résolution des roblémes aux limites non linéaire, Dunod et Gautier-Villars, 1969). [25] T. Klimsiak, A. Rozkosz, On the structure of diffuse measures for arabolic caacities, arxiv: [26] T. Kuusi, G. Mingione, The Wolff gradient bound for degenerate arabolic equations. J. Eur. Math. Soc. JEMS), 16 4) 214), [27] A. Nachman, A. Callegari, A nonlinear singular boundary value roblem in the theory of seudolastic fluids, SIAM J. Al. Math., ), [28] P. Nowosad, On the integral equation kf = 1/f arising in a roblem in communication, J. Math. Al., ), [29] L. Orsina, F. Petitta, A Lazer-McKenna tye roblem with measures, Differential and Integral Equations, ) 216), [3] F. Oliva, F. Petitta, On singular ellitic equations with measure sources, ESAIM Control Otim. Calc. Var., 22 1) 216), [31] F. Oliva, F. Petitta, Finite and Infinite energy solutions of singular ellitic roblems: Existence and Uniqueness, Journal of Differential Equations, ), [32] F. Petitta, Renormalized solutions of nonlinear arabolic equations with general measure data, Ann. Mat. Pura Al. 4), 187 4) 28), [33] F. Petitta, A. Ponce, A. Porretta, Diffuse measures and nonlinear arabolic equations, J. Evol. Equations, 11 4) 211),

12 12 F. OLIVA AND F. PETITTA [34] F. Petitta, A. Porretta, On the notion of renormalized solution to nonlinear arabolic equations with general measure data, J. of Ellitic and Parabolic Equations, 1 215), [35] A. Porretta, Existence results for nonlinear arabolic equations via strong convergence of truncations, Ann. Mat. Pura Al., 177 1) 1999), [36] J. Simon, Comact sets in the sace L, T ; B), Ann. Mat. Pura Al., ), [37] C. A. Stuart, Existence and aroximation of solutions of non-linear ellitic equations, Math. Z., ), [38] Y. Sun, D. Zhang, The role of the ower 3 for ellitic equations with negative exonents, Calc. Var. Partial Differential Equations, ) 214), F. Oliva) Istituto Nazionale di Alta Matematica Indam), Diartimento di Scienze di Base e Alicate er l Ingegneria, Saienza" Università di Roma, Via Scara 16, 161 Roma, Italy, francesco.oliva@sbai.uniroma1.it F. Petitta) Diartimento di Scienze di Base e Alicate er l Ingegneria, Saienza" Università di Roma, Via Scara 16, 161 Roma, Italy, francesco.etitta@sbai.uniroma1.it