Abstract
In this paper we prove existence and regularity results for a class of parabolic problems with irregular initial data and lower order terms singular with respect to the solution. We prove that, even if the initial datum is not bounded but only in \(L^1(\Omega )\), there exists a solution that “instantly” becomes bounded. Moreover we study the behavior in time of these solutions showing that this class of problems admits global solutions which all have the same behavior in time independently of the size of the initial data.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In this paper we study the existence and the regularity of the solutions to the following boundary value parabolic problem
where \(\Omega \) is a bounded domain in \({\mathbb {R}}^N, N > 2\), \(\Omega _T=\Omega \times (0,T)\), \(0<T<+\infty \), and \(\Gamma =\partial \Omega \times (0,T)\). Here, \(\gamma >0\) is real parameter, the function \(a:\Omega _T\times {\mathbb {R}}^N\rightarrow {\mathbb {R}}^N\) is a Carathéodory functionFootnote 1 which satisfies the following structural assumptions for a.e. (x, t) in \(\Omega _T\) and for every \(\xi \) and \(\eta \) in \({\mathbb {R}}^N\) with \( \xi \ne \eta \)
where \(0< \alpha \le \Lambda \) and \(\beta > 0\). On the data f and \(u_0\) we assume
The difficulty of this kind of problems relies in the singularity in the right hand side, together with the nonlinearity of the principal part and the weak regularity of the initial datum which is only assumed in \(L^1(\Omega )\).
We point out that the operator in divergence form in problem (1.1) includes as particular cases the Laplacian and the degenerate p-Laplacian (slow diffusion) which are widely studied in literature when \(\gamma = 0\), i.e. when the singular reaction term is missing.
The presence of the singular term in the equation models many different physical problems. For example, problem (1.1) appears in the theory of heat conduction in electrically conducting materials, as described by Fulks and Maybee in 1960 in their pioneering paper [18]. Other useful applications of these singular parabolic problems appear in fluid mechanics, in the theory of non-Newtonian pseudoplastic flow and in the phenomena of signal trasmissions (see [1, 29, 35, 37] and the references therein).
The first result in literature on this parabolic problem seems to be the paper of Fulks and Maybee recalled above (see [18]) where the authors study the case of regular bounded data f and \(u_0\) when the principal part is the Laplacian operator. After this interesting paper mostly of the studies were devoted to the stationary case, starting from the paper of Stuart (see [36]) published in 1976 and followed by that of Crandall, Rabinowitz and Tartar in 1977 (see [12]) and later (in 1991) by the nice paper of Lazer and McKenna (see [26]). The studies on the elliptic case continue also in the 2000s with many new interesting results like those by Boccardo and Orsina (see [8]) and by Boccardo and Casado-Diaz (see [5]) whose papers inspired many new investigations on this subject (see [17, 19,20,21,22,23] and the references therein). Further results can be found in [2, 4].
In the evolution case the results in literature are more fragmented and with the exception of the pioneering paper [18] the studies in the parabolic setting have all been essentially published in the last decade. We refer to the papers [1, 3, 6, 9, 10, 14, 15, 30].
In [3, 6, 9, 10] the special case when \(f(x,t) \equiv \lambda \) in \(\Omega _T\), with \(\lambda \) a positive constant, is investigated assuming that the initial datum \(u_0\) is bounded (with the only exception of [10] where the initial datum \(u_0\) belongs to \(L^r(\Omega )\) with \(r \ge 2\) large enough) and when reaction terms (of different types) can appear in the equation.
In [14, 15] it is studied the regular case of bounded initial data too but with \(f(x,t) \not \equiv \lambda \) . In particular, in [14] it is proved that the strong regularity assumption on \(u_0\) together with the assumption (1.5) on f produces the boundedness of the solutions which allows to estimate the singular term and to construct a nonnegative solution u of (1.1).
It is worth to notice that the assumption (1.5) on f is a sharp assumption to have bounded solutions when \(\gamma = 0\).
In [15], together with the boundedness of \(u_0\), the following further assumption is retained:
which is shown to produce the following property on the solutions:
Notice that the previous estimate implies the following bound on the singular term
which is crucial in order to prove the existence of a solution of (1.1).
Finally, in [30] and in [1] are studied the irregular cases when \(u_0 \) is a summable function and f is a summable function too (see [30]) or a bounded Radon measure (see [1]). In particular, in [30] the authors prove the existence of a “distributional solution” (see Definition 2.1 in [30]) which, in the case \(\gamma \le 1\), belongs also to the energy space \(L^p(0,T;W_0^{1,p}(\Omega ))\) if the initial datum belongs to \(L^2(\Omega )\) and if f satisfies a further summability condition (see Lemma 3.5 in [30]).
Here, we want to complete the previous results studying the lacking case of initial datum \(u_0\) in \(L^1(\Omega )\) and f satisfying (1.5). In detail, we show here that even if \(u_0\) belongs only to \(L^1(\Omega )\), if f is suitably regular (i.e. if (1.5) holds true) then there exists a solution that “immediately” becomes bounded.
We point out that it is well known that if \(f \equiv 0\), i.e. in absence of a reaction term, there exists (and is also unique see [32]) a solution of (1.1) that immediately becomes bounded (see for example [11, 31, 38] and the references therein). Moreover, even if \(f \not \equiv 0\), this strong regularization phenomenon that produces “instantly” bounded solutions even if the initial datum is not bounded and very irregular (remember that here \(u_0\) is only assumed in \(L^1(\Omega )\)) was already known if \(\gamma =0\), i.e. in absence of a singularity in the lower order term (see [33]). What seems really surprising is that this phenomenon remains true even in presence of the singular term \(f/u^{\gamma }\) which a priori can be “a very large term” since it results
Indeed, also the gradient of this solution “instantly” regularizes; as a matter of fact u belongs to \( L^p_{loc}((0,T];W^{1,p}_{loc}(\Omega ))\).
In this paper we study also the behavior in time of the solutions of (1.1). In particular we show that our problem admits global solutions. Moreover, we prove that all the global solutions belonging to a suitable class of solutions are unique. Finally, we prove that all these unique global solutions satisfy the same asymptotic behavior, independently from the value of the initial datum. In other words, for large value of t all the global solution of (1.1) exhibit the same behavior even if they assume different initial data.
We recall that other evolution problems involving singular lower order terms that, differently from our problem (1.1), depend also on the gradient of the solution, can be found in [13, 28]. Finally, existence results for a parabolic systems with singular sources can be found in [16].
The paper is organized as follows: in the next section we state our results in all the details, in Sect. 3 for the convenience of the reader we state some tools needed in the proof of the results which are given in the last Sect. 4.
2 Statement of results
Before stating our results we recall our notion of solution to problem (1.1) .
Definition 2.1
A weak solution to problem (1.1) is a function u satisfying
and
for any \(\phi \in C^{\infty }_c(\Omega _T)\). Finally, u satisfies the initial condition in the following weak sense: u is the a.e. limit in \(\Omega _T\) of a sequence \(u_n \in C([0,T];L^2(\Omega )) \cap L^p(0,T;W^{1,p}_{loc}(\Omega ))\cap L^\infty (\Omega _T)\) satisfying
Remark 2.1
We observe that the boundary condition \(u(x,t)=0\) on \( \Gamma \) in (1.1) is satisfied in the weak sense (2.3). Notice also that if \(0 < \gamma \le 1\) then condition (2.3) becomes \( u \in L^p_{loc}(0,T;W^{1,p}_{0}(\Omega )) \) that is the usual meaning of the null boundary condition.
The main result of the paper is the following.
Theorem 2.1
Assume (1.2)–(1.6). Then there exists a weak solution to problem (1.1) satisfying the following regularity property
Moreover, the following estimates hold true for a.e. \(t \in (0, T)\)
where \(\sigma =\sigma (|\Omega |)\), \(M_0=M_0(\alpha ,p,N,|\Omega _T|,T,\Vert f\Vert _{r,m},r,m)\), \(M_1 = M_1(N,\beta )\), \(M_2 = M_2(N,\beta ,p,|\Omega |)\) and \(M_3 = M_3(N,\beta )\) are all positive constants independent of \(u_0\) and t.
Here and throughout the paper we denote C(s, v) and M(s, v) positive constants depending only on the variables in brackets, that can change from one line to the other.
Remark 2.2
We recall that the previous result was well known in absence of the singular term \(\frac{f}{u^{\gamma }}\), i.e. when \(f \equiv 0\), (see [31]) or when \(\gamma = 0\) (see [33]). Theorem 2.1 shows that a strong regularization holds true being our solution u “immediately bounded” even in presence of the singular lower order term \(\frac{f}{u^{\gamma }}\), and although the initial datum is not bounded and assumed to be only in \(L^1(\Omega )\).
Remark 2.3
We notice that the \(L^{\infty }\)-estimates (2.8)–(2.9) allow to estimate the blow-up of the \(L^{\infty }\)-norm of u(t) when \(t \rightarrow 0^+\) which occurs when the initial datum \(u_0\) is unbounded. As a matter of fact, estimates (2.8)–(2.9) allow to affirm that if \(p \ge 2\) the blow-up is controlled by the power \(t^{-\frac{N}{N(p-2)+p}}\) (since when \(p >2\) it results \(\frac{1}{p-2} > \frac{N}{N(p-2)+p}\)).
It is worth to notice that when \(p >2\) it is also possible to give an universal \(L^{\infty }\)-bound on the solution u, i.e. an estimate that is independent of the initial datum \(u_0\). As a matter of fact, by (2.9) it follows that the following universal bound holds true
where \(M=M(\alpha ,p,N,|\Omega _T|,T,\Vert f\Vert _{r,m},r,m,t,\beta )\) is a constant independent of \(u_0\).
We notice that the solution u in Theorem 2.1 is obtained as the a.e. limit in \(\Omega _T\) (indeed also other convergences will occur) of the sequence \(u_n\) of the following problems
with \(u_{0n}\in C^{\infty }_c(\Omega )\) satisfying
It is possible to show that if in (2.10) we change the approximation of the initial datum, then we always get the same solution and hence we have a result of uniqueness for the solutions constructed by approximation. More in detail, this is established in the following uniqueness result.
Theorem 2.2
Assume (1.2)–(1.6). Let u be a weak solution of problem (1.1) obtained as the a.e. limit in \(\Omega _T\) of the sequence \(u_n \in L^p(0,T; W^{1,p}_0(\Omega ))\cap L^{\infty }(\Omega _T) \cap C([0,T];L^2(\Omega ))\) solutions of (2.10). Let \({\overline{u}}\) be a weak solution to problem (1.1) obtained as the a.e. limit in \(\Omega _T\) of the sequence \({\overline{u}}_n \in L^p(0,T; W^{1,p}_0(\Omega ))\cap L^{\infty }(\Omega _T) \cap C([0,T];L^2(\Omega ))\) solutions of the following problems
with \({\overline{u}}_{0n}\in C^{\infty }_c(\Omega )\) satisfying
Then it results
Remark 2.4
We point out that the previous result shows that in the notion of weak solution the choice of the approximation \(u_{0n}\) of the initial datum \(u_0\) doesn’t influence the weak solution u to problem (1.1), since a different choice of the approximation of the initial datum produces the same solution.
Finally, it is possible to show that if we change the initial datum all these “unique solutions” have the same asymptotic behavior. In details, we have the following result.
Theorem 2.3
Assume (1.2)–(1.6). Let u be a weak solution of problem (1.1) obtained as the a.e. limit in \(\Omega _T\) of the sequence \(u_n \in L^p(0,T; W^{1,p}_0(\Omega ))\cap L^{\infty }(\Omega _T) \cap C([0,T];L^2(\Omega ))\) solutions to (2.10). Assume \(v_0 \in L^1(\Omega )\) and let v be a weak solution of the following problem
obtained as the a.e. limit in \(\Omega _T\) of the sequence \(v_n \in L^p(0,T; W^{1,p}_0(\Omega ))\cap L^{\infty }(\Omega _T) \cap C([0,T];L^2(\Omega ))\) solutions to the following problems
with \(v_{0n}\in C^{\infty }_c(\Omega )\) satisfying
Then there exist positive constants \(M_1 = M_1(N,\beta )\), \(M_3 = M_3(N,\beta )\) and \(\sigma = \sigma (N)\) (which are exactly the same constants \(M_1\), \(M_3\) and \(\sigma \) that appear in Theorem 2.1) such that the following estimates hold for almost every \(t\in (0,T)\)
We show now that if the structure assumptions are verified for every \(T>0\) then there exists a unique global solutions obtained by approximation. Before stating in details our results we recall what we mean here as global solution of (1.1).
Definition 2.2
We say that u is a global weak solution of (1.1), or equivalently, we say that u is a global weak solution of the following problem
if u is a weak solution of (1.1) (according to Definition 2.1) for every \(T>0\).
We have the following result.
Theorem 2.4
Assume that (1.2)–(1.5) hold true for every \(T>0\) and let (1.6) be satisfied. Then, there exists a global weak solution u of (1.1) belonging to \(L^{\infty }_{loc}((0,+\infty );L^{\infty }(\Omega ))\). Moreover, for every \(T>0\), u is obtained as the a.e. limit in \(\Omega _T\) of the sequence \(u_n \in L^p(0,T; W^{1,p}_0(\Omega ))\cap L^{\infty }(\Omega _T) \cap C([0,T];L^2(\Omega ))\) solutions to (2.10).
Thus, if \({\overline{u}}\) is a global weak solution to problem (1.1) obtained for every \(T>0\) as the a.e. limit in \(\Omega _T\) of the sequence \({\overline{u}}_n \in L^p(0,T; W^{1,p}_0(\Omega ))\cap L^{\infty }(\Omega _T) \cap C([0,T];L^2(\Omega ))\) weak solutions of (2.12), then \(u = {\overline{u}}\) a.e. in \(\Omega \times (0,+\infty )\).
Finally, if \(v_0 \in L^1(\Omega )\) and v is a global weak solution of problem (2.15) obtained as the a.e. limit in \(\Omega _T\) (for every \(T>0\)) of the sequence \(v_n \in L^p(0,T; W^{1,p}_0(\Omega ))\cap L^{\infty }(\Omega _T) \cap C([0,T];L^2(\Omega ))\) weak solutions to (2.16), then (2.18) and (2.19) hold true for every \(t >0\). In particular, it results
3 Preliminary results
In this section we recall some known results that will be essential in the proofs of our results.
For \(k>0\) and \(s\in {\mathbb {R}}\) let us define the function \(G_k(s)\) as follows
Moreover for any measurable function v we will denote \(v^+=\max (v,0)\) and \(v^-=\max (-v,0)\).
Theorem 3.1
(Theorem 2.1 in [31]) Assume that
where \(\Omega \) is an open set of \({\mathbb {R}}^N\), (not necessary bounded), \(N \ge 1\), \(0<T\le +\infty \) and
Suppose that u satisfies the following integral estimates for every \(k>0\)
where \(c_1\) and \(c_2\) are positive constants independent of k. Finally, let us define
Then there exists a positive constant \(C_1\) (see formula (4.11) in [31]) depending only on N, \(c_1\), \(c_2\), r, \(r_0\), q and b such that
where
Moreover if \(\Omega \) has finite measure we have an exponential decay if \(b = r\) and universal bounds if \(b > r\). More in detail we have the following result.
Theorem 3.2
(Theorem 2.2 in [31]) Let the assumptions of Theorem 3.1 hold true.
If \(\Omega \) has finite measure and \(b = r\) the following exponential decay occurs
where \(C_2\) (see formula (4.17) in [31]) is a positive constant (depending only on N, \(c_1\), \(c_2\), r, \(r_0\) and q), \(u_0\) is as in (3.5), \(h_1\) is as in (3.7), i.e. (recalling that here \(r=b\))
and
where \(|\Omega |\) denotes the measure of \(\Omega \). If instead \(\Omega \) has finite measure and \( b > r\) we have the following universal bound
where
and \(C_{\sharp } \), (see formula (4.19) in [31]), is a constant depending only on r, \(r_0\), q, b, \(c_1\), \(c_2\) and the measure of \(\Omega \).
4 Proof of the results
4.1 Proof of Theorem 2.1
The proof proceeds by steps.
Step 1: approximating problems.
In order to prove the existence of a solution to problem (1.1), we consider the following sequence of nonsingular approximating problems
with \(n \in {\mathbb {N}}\) and \(u_{0n}\in C^{\infty }_c(\Omega )\) satisfying
and
We point out that the approximating problem (4.1) has a nonnegative weak solution \(u_n\), i.e. there exists \(u_n \in L^p(0,T; W^{1,p}_0(\Omega ))\cap L^{\infty }(\Omega _T) \cap C([0,T];L^2(\Omega ))\) satisfying
for every \(\phi \in C^{\infty }_c(\Omega \times [0,T))\) (see [27]).
In the following steps we prove some uniform estimates on the sequence \(\{u_n\}_{n\in {\mathbb {N}}}\). To this aim, we introduce the following auxiliary sequence of approximating nonsingular problems
As observed above, there exists a nonnegative weak solution \(v_n\) belonging to \(L^p(0,T; W^{1,p}_0(\Omega ))\cap L^{\infty }(\Omega _T) \cap C([0,T];L^2(\Omega ))\).
We recall that, being \(v_n(x,0)=0\), it is possible to proceed exactly as in the proof of Proposition 2.13 of [14] getting the existence of a constant \(M_0 = M_0(\alpha ,p,N,|\Omega _T|,T,\Vert f\Vert _{r,m},r,m)\) independent of n, such that for every n
Moreover, again thanks to the regularity of the initial datum \(v_n(x,0)\), if \(0 < \gamma \le 1\), it is possible to proceed as in the proof of Proposition 2.14 of [14], to derive that there exists a positive constant \(C_1= C_1(\gamma ,\alpha ,p,N,|\Omega |,T,\Vert f\Vert _{r,m},r,m)\) independent of n, such that for every n
Finally, if \( \gamma > 1\), proceeding as in the proof of Proposition 2.16 of [14] (which again is possible thanks to regularity of the initial datum), we derive that there exists a positive constant \(C_2= C_2(\gamma ,\alpha ,p,N,|\Omega |,T,\Vert f\Vert _{r,m},r,m,\Vert \varphi \Vert _{W_0^{1,p}})\) independent of n, such that for every n and for every non negative \(\varphi \in C^{\infty }_0(\Omega )\)
Step 2: \(L^{\infty }\)-estimates.
Using estimate (4.6) we prove now the following \(L^{\infty }\)-estimate on the sequence of solutions \(\{u_n\}_{n\in {\mathbb {N}}}\) that will be crucial in the following in order to pass to the limit in (4.4).
In details, we have the following result.
Proposition 4.1
Assume (1.2)–(1.6). Then, for every \(\varepsilon \in (0,T)\) there exists a constant \(C_3\), independent of n, such that for every n
The costant \(C_3=C_3(\alpha ,\beta , N, p, |\Omega |, T, ||u_0||_{L^1},\varepsilon ,||f||_{r,m},r,m)\) is given in formula (4.21) and does not depend on \(||u_0||_{L^1(\Omega )}\) if \(p > 2\).
Proof
To prove estimate (4.9) we start showing that, for almost every \(t\in (0,T)\), there exist positive constants \(M_1 = M_1(N,\beta )\), \(M_2 = M_2(N,\beta ,p,|\Omega |)\), \(M_3 = M_3(N,\beta )\) and \(\sigma = \sigma (N)\), independent of n, such that the following estimates hold
We point out explicitly that the constant \(M_2\) is independent of \(u_0\).
In order to prove the estimates above, we consider the difference of the problem solved respectively by \(u_n\) and \(v_n\) and we take \(G_k(u_n-v_n)\) as test function. We have, for every \(0<t_1<t_2<T\),
and hence using assumption (1.4) we get
Observing now that the function \(G_k(u_n-v_n)\) has the same sign of the function \((u_n-v_n)\), the right hand side of (4.12) is negative and consequently we have
Thus, by Sobolev inequality we obtain
i.e. assumption (3.3) of Theorem 3.1 is satisfied by the function \(u_n-v_n\) with \(r=2\), \(b=p, q=p^*\) and \(c_1 = 2 \beta C_s\). Here we have denoted by \(C_s= C(N,p)\) the Sobolev constant. Notice that it results \(b = r\) if \(p=2\) and \(b >r\) if \(p > 2\).
We show now that also the other integral estimate (3.4) of Theorem 3.1 is satisfied by the function \(u_n-v_n\) with \(r_0=c_2=1\). To this aim, take as test function in (4.1) and in (4.5) the function \(\varphi = \left\{ 1- \frac{1}{[1+|G_k(u_n-v_n)|]^\delta }\right\} \textrm{sign}(u_n-v_n)\), \(\delta >1\). Now subtracting the results we get for every \(0 \le t_0 \le t < T\)
Observe that the last integral is negative (or null). Thus, thanks to assumption (1.4) by the previous inequality we deduce that
from which, thanks to the arbitrary choice of \(\delta >1\) we derive that for every \(0 \le t_0 \le t < T\)
i.e. also (3.4) holds true. Hence, since we are assuming that the measure of \(\Omega \) is finite, we can apply Theorem 3.2 obtaining the following estimates
where \(M_1 = M_1(N,\beta )\) and \(M_2 = M_2(N,\beta ,p,|\Omega |)\). By (4.15), thanks to (4.3), we deduce that (4.10) holds true. Notice that we can apply also Theorem 3.1 obtaining the following estimate when \(p > 2\)
from which, using again (4.3) we get
where \(M_3=M_3(N,\beta )\). Now (4.11) follows by (4.18) and (4.16).
Thanks to the estimates (4.6) we have that
Thus, by the previous estimates and (4.10)–(4.11) we deduce
By (4.19)–(4.20) it follows (4.9) with
\(\square \)
Step 3: gradient estimates.
We prove here some estimates on the gradients of the approximating solutions \(u_n\).
Proposition 4.2
Assume (1.2)–(1.6). Then, for every \(t\in (0,T)\) there exists a constant \(C_4\), independent of n (see formula (4.23)) such that
Proof
Proceeding as in the proof of estimate (4.13) (the only difference is to choose \(u_n-v_n\) as test function instead of \(G_k(u_n-v_n)\)) we get
By the previous estimate and the \(L^{\infty }\)-estimates (4.10)–(4.11) we deduce that
where
\(\square \)
To estimate now \(\nabla u_n\) we need to distinguish between the two cases \(0<\gamma \le 1\) and \(\gamma >1\).
Step 3a: the case \(0<\gamma \le 1\).
Proposition 4.3
Assume \(0<\gamma \le 1\) and that (1.2)–(1.6) hold true. Then, for every \(t\in (0,T)\) there exists a positive constant \(C_5\), independent of n, see formula (4.25), such that for every \(n\in {\mathbb {N}}\)
Proof
In order to prove (4.24), we observe that, by (4.22) and (4.7) we obtain
where we have set
\(\square \)
Step 3b: the case \(\gamma >1\).
Proposition 4.4
Assume \(\gamma >1\) and that (1.2)–(1.6) hold true. Then, for every \(t\in (0,T)\) there exists a positive constant \(C_6\), independent of n, see formula (4.27), such that for every \( n\in {\mathbb {N}}\)
for every non negative \(\varphi \in C^\infty _0(\Omega )\).
Proof
We observe that for every non negative function \(\varphi \) belonging to \(C^\infty _0(\Omega )\), thanks to Proposition 4.2 and estimate (4.8)
where
with \(C_4\) the constant in estimate (4.22) and \(C_2\) that in (4.8). \(\square \)
We conclude this step proving an estimate on the gradient of a suitable power of \(u_n\).
Proposition 4.5
Assume \(\gamma >1\) and that (1.2)–(1.6) hold true. Then, for every \(\varepsilon \in (0,T)\) there exists a positive constant \(C_7\), independent of n, see formula (4.30), such that for every \(n\in {\mathbb {N}}\)
Proof
Let \(\varepsilon \in (0,T)\) arbitrarily fixed. Choosing \(u_n^{\gamma }\) as test function in (4.1) we obtain, thanks to the \(L^{\infty }\)-estimate (4.9)
Hence, it follows
where \(C_8 = \left( \alpha \gamma \right) ^{-1}\left( \Vert f\Vert _{L^1(\Omega _T)} + \frac{|\Omega |}{\gamma +1}C_3^{\gamma + 1} \right) \,.\)
Since it results
we deduce that
where
\(\square \)
Step 4: estimates on the singular lower order term.
We prove here some estimates on the singular lower order term.
Proposition 4.6
Assume (1.2)–(1.6). Then there exists a positive constant \(C_9\), independent of n, with \(C_9=C_9(C_3,\Lambda ,\varphi ,p)\) (where \(C_3\) is defined in (4.9) with here \(\varepsilon =t\)), such that for every n
for every non negative \(\varphi \in C^\infty _0(\Omega )\).
Proof
Choosing \(\varphi ^p(x)\) as test function in (4.1), where \(\varphi \) is a non negative function in \( C^\infty _0(\Omega )\), we get
from which, using (1.3) and (4.9) we obtain
where we have used once again Young’s inequality with exponents \(\frac{p}{p-1}\) and p and estimates (4.26) and (4.24). \(\square \)
Next estimate will be essential in the passage to the limit in the singular term.
Proposition 4.7
Assume (1.2)–(1.6). Then, for every \(t\in (0,T)\) and \(\mu >0\) there exists a positive constant \(C_{11}\), independent of n and \(\mu \), with \(C_{11}=C_{11}(\Lambda ,\varphi )\) such that for every n and for every non negative \(\varphi \in C^\infty _0(\Omega )\)
Proof
Thanks to estimate (4.9) proved above, the proof of this estimate can be obtained proceeding as in Proposition 2.20 of [14]. For the convenience of the reader we recall here the proof.
In order to prove (4.32), let \(\mu >0\) and \(t\in (0,T)\) arbitrarly fixed. Choosing \(v_\delta = \frac{T_\delta (-(u_n-\mu )^-)}{\delta }\varphi ^p(x)\) as test function in problem (4.1), where \(\varphi \) is a non negative function arbitrarily fixed in \(C^\infty _0(\Omega )\), we get
First we want to show that
We introduce the function \(v_{\delta ,\sigma }=\frac{T_\delta (-(u_{n,\sigma }-\mu )^-)}{\delta }\), where \(u_{n,\sigma }\) is, for any fixed n and \(\sigma \in {\mathbb {N}}\), the solution of the following o.d.e. problem
The function \(u_{n,\sigma }\) satisfies the following properties (see [24, 25])
We get
Introducing now the function \(\Phi _{\delta }(s)=\int _0^{(s-\mu )^-}\frac{T_\delta (\rho )}{\delta }d\rho \) we obtain from the previous equality
since \(\displaystyle \int _\Omega \Phi _{\delta }(u_n-\mu )^-(t)\le \mu |\Omega |\). This proves (4.34).
By (4.34), observing that \(\frac{T_\delta (-(u_n-\mu )^-)}{\delta }=0\) on the set \(\{(x,t)\in Q_T : u_n(x,t)\ge \mu \}\), equality (4.33) implies
Noting that, in view of (1.2), the first term in the left-hand side is nonnegative, by (1.3) and using Holder’s inequality, we get
Moreover, using the test function \(-(u_n-\mu )^-\varphi ^p(x)\) in (4.1), where \(\varphi \) is a non negative function belonging to \( C^\infty _0(\Omega )\), we deduce that
where \(C_{12}=C_{12}(\Lambda ,\varphi ,C_3)\) is a constant independent of n, \(\mu \) and \(\delta \).
Thus we can conclude that
with \(C_{11}=C_{11}(\Lambda ,\varphi ,C_3)\) a constant independent of n, \(\mu \) and \(\delta \).
Now we can pass to the limit for \(\delta \rightarrow 0\) and n fixed in (4.38), using Lebesgue Theorem since \(\frac{T_\delta ((u_n-\mu )^-)}{\delta }\) a.e. converges to 1 on the set \(\{(x,t)\in Q_T : u_n(x,t)<\mu \}\). We get
and (4.32) holds true. \(\square \)
Step 5: some convergences.
We prove here some convergences we need below to pass to the limit in the approximating problems (4.1).
Proposition 4.8
Assume (1.2)–(1.6). Then there exists a function u belonging to \(L^p(t,T;W_{loc}^{1,p}(\Omega ))\cap L^\infty (t,T;L^{\infty }(\Omega ))\), for every \(t\in (0,T)\), such that, up to a subsequence
and
Proof
The convergence (4.39) follows immediately by estimates (4.26) and (4.24).
By estimates (4.26) and (4.24), assumption (1.3) and (4.31) it follows that for every \(\omega \subset \subset \Omega \) and \(t \in (0,T)\)
Hence it is possible to apply Corollary 4 in [34] to get that \(u_n\rightarrow u\) in \(L^1(\omega \times (t,T)\) and thus (4.40) follows. By (4.40) we deduce that also (4.41) holds true. \(\square \)
The following result will be essential to handle the singular term.
Proposition 4.9
Assume (1.2)–(1.6). Then, for every \(t\in (0,T)\) and \(\omega \subset \subset \Omega \) it results
Proof
In order to prove (4.42) we have to show that, for every \(\varepsilon >0\) arbitrarily fixed there exists \(\delta >0\) such that, for all \(A\subset \omega \times (t,T)\) with \(|A|<\delta \), it results
To this aim, we observe that by (4.32) we deduce that for every \(t\in (0,T)\), \(\mu >0\) and \(\omega \subset \subset \Omega \) it results
By (4.44) we deduce that for all \(A\subset \omega \times (t,T)\) it results
Choosing \(\mu = \frac{\varepsilon }{2C_{11}}\) and observing that since f is a summable function there exists \(\delta >0\) such that, for all \(A\subset \omega \times (t,T)\) with \(|A|<\delta \), it results
i.e.
by (4.45) we get
for all \(A\subset \omega \times (t,T)\) with \(|A|<\delta \) and hence (4.43) is proved.
Thanks to Dunford-Pettis’s Theorem, to conclude the proof it remains to show that there exists a positive constant \(C_{13}\), independent of n, such that
By (4.44) we deduce for every arbitrary fixed \(\mu >0\) it results
\(\square \)
Thanks to the previous result, we can prove now the a.e. convergence of the gradients of the sequence \(\{u_n\}\).
Proposition 4.10
Assume (1.2)–(1.6). Then it results
Proof
Let \(t\in (0,T)\) and \(\omega \subset \subset \Omega \) arbitrarily fixed. Thanks to (4.39) and Proposition 4.9 we can apply Theorem 4.1 of [7] in the set \(\omega \times (t,T)\) and we obtain that
Now the result follows thanks to the arbitrariness of t and \(\omega \). \(\square \)
Step 6: existence of a solution.
We prove here that the limit function u constructed above is a weak solution of (1.1). By construction we have that (2.6) holds true. Moreover, since \(u_n\ge 0\) a.e. in \(\Omega _T\), by (4.41) it follows that \(u\ge 0\) and hence (2.2) is satisfied. Finally, by (4.39) it follows that (2.1) is satisfied while (4.26), (4.24) together with (4.47), (4.41) and (4.9) imply that also (2.3) holds true.
Hence, it remains to prove that u satisfies (2.4) and (2.5).
Notice that, thanks to (4.46) and (4.41), for every \(t\in (0,T)\) and \(\omega \subset \subset \Omega \) arbitrarily fixed, it is possible to apply the Fatou’s Lemma obtaining
and hence (2.4) holds true. Notice that (4.48) means that it results
or equivalently \(\{ u = 0\} \subseteq \{ f = 0\}\) except for a set with zero measure and hence for any \(\phi \in C^{\infty }_c(\Omega _T)\), it results
We conclude the proof proving (2.5) .
By (4.39), (4.47) and (1.3) it follows that
By (4.40), (4.49) and (4.42) it follows that we can pass to the limit in (4.4) obtaining that
for any \(\phi \in C^{\infty }_c(\Omega _T).\) Hence thanks to (4.50) we can conclude that (2.5) holds true if we prove that for any \(\phi \in C^{\infty }_c(\Omega _T)\), it results
To this aim, we notice that, thanks to (4.41), we can apply the Dominated Convergence Theorem obtaining
for every \(\phi \in C^\infty _c(\Omega _T)\) and \(\mu >0\). By the following equality
thanks to and (4.52), (4.44) and (4.42) we deduce that for every \(\phi \in C^\infty _c(\Omega _T)\) and \(\mu >0\) it results
where we recall that \(C_{11}\) is a constant independent of \(\mu \). By the previous inequality and the arbitrariness of \(\mu \) we can conclude that (4.51) follows and hence (2.5) is satisfied. Thus, we can conclude that u is a weak solution of (1.1).
Step 7: \(L^{\infty }\)-estimates satisfied by u.
In this step we conclude the proof of Theorem 2.1 showing that the solution u constructed above satisfies (2.7)–(2.9).
By (4.9) and (4.41) it follows that u satisfies (2.7). By (4.19) and (4.41) we deduce (2.8). Finally (2.9) follows by (4.20) and (4.41). \(\square \)
4.2 Proof of Theorem 2.2
Proceeding as in the proof of inequalities (4.15) and (4.17) (the only change is to replace \(v_n\) with \({\overline{u}}_n\)) we deduce the following estimates
Hence, passing to the limit on n and recalling that by assumption u and \({\overline{u}}\) are, the a.e. limit in \(\Omega _T\) of (respectively) \(u_n\) and \({\overline{u}}_n\), we deduce the assertion. \(\square \)
4.3 Proof of Theorem 2.3
Proceeding again as in the proof of inequalities (4.15) and (4.17) but with now \(v_n\) solutions of (2.16) we deduce the following bounds
Hence, exactly as in the previous proof, passing to the limit on n and recalling that by assumption u and v are, the a.e. limit in \(\Omega _T\) of (respectively) \(u_n\) and \(v_n\), we deduce the assertions. \(\square \)
4.4 Proof of Theorem 2.4
Let \(u_{0,n} \in C_c^{\infty }(\Omega )\) satisfying (2.11) and let \(T_0>0\) arbitrarily fixed. By Theorem 2.1 there exists a weak solution \(u \in L^{\infty }_{loc}((0,T_0];L^{\infty }(\Omega ))\) of (1.1) in \(\Omega _{T_0}\) obtained as the a.e. limit in \(\Omega _{T_0}\) of \(u_n \in L^p(0,T_0; W^{1,p}_0(\Omega ))\cap L^{\infty }(\Omega _{T_0}) \cap C([0,T_0];L^2(\Omega ))\) solutions to (2.10). We observe that by Theorem 2.2, if \({\overline{u}}\) is another weak solution to problem (1.1) obtained as the a.e. limit in \(\Omega _{T_0}\) of the sequence \({\overline{u}}_n \in L^p(0,T_0; W^{1,p}_0(\Omega ))\cap L^{\infty }(\Omega _{T_0}) \cap C([0,T_0];L^2(\Omega ))\) weak solutions of (2.12), then \(u = {\overline{u}}\) a.e. in \(\Omega _{T_0}\).
Notice that, since the structure conditions are satisfied for every \(T>0\), the approximating solutions \(u_n\) are global solutions of (2.10). In particular, \(u_n \in L^p(0,2T_0; W^{1,p}_0(\Omega ))\cap L^{\infty }(\Omega _{2T_0}) \cap C([0,2T_0];L^2(\Omega ))\) are solutions of our problem in \(\Omega _{2T_0}\). Hence, it is possible to extract a subsequence of \(u_n\), that we denote \(u^{(1)}_n\), converging a.e. in \(\Omega _{2T_0}\) to a weak solution \(u^{(1)}\) of our problem in \(\Omega _{2T_0}\). We notice that \(u = u^{(1)}\) in \(\Omega _{T_0}\). Iterating this procedure we get a global solution u which, by construction, satisfies the assertions. \(\square \)
Notes
i.e. it is measurable with respect to (x, t) for every \(\xi \) and continuous with respect to \(\xi \) for almost every \((x,t)\in \Omega _T\)
References
Abdellaoui, M.: Existence of renormalized solutions to a nonlinear parabolic boundary value problem with a singular lower order term and a nonhomogeneous datum. Ann. Univ. Ferrara 69, 273–314 (2023)
Arcoya, D., Carmona, J., Leonori, T., Martinez-Aparicio, P., Orsina, L., Petitta, F.: Existence and nonexistence of solutions for singular quadratic quasilinear equations. J. Differ. Equ. 246 (10), 4006–4042 (2009)
Badra, M., Bal, K., Giacomoni, J.: Existence results to a quasilinear and singular parabolic equation, Discrete and Continuous Dynamical Systems, 117–125 (2011)
Boccardo, L.: Dirichlet problems with singular and gradient quadratic lower order terms. ESAIM Control Optim. Calc. Var. 14, 411–426 (2008)
Boccardo, L., Díaz, J.C.: Some properties of solutions of some semilinear elliptic singular problems and applications to the G-convergence. Asymptot. Anal. 86, 1–15 (2014)
Boccardo, L., Escobedo, M., Porzio, M.M.: Parabolic equations with singular and supercritical reaction terms. Differ. Int. Equ. 28 (11–12), 1155–1172 (2015)
Boccardo, L., Murat, F.: Almost everywhere convergence of the gradients of solutions to elliptic and parabolic equations. Nonlinear Anal. 19 (6), 581–597 (1992)
Boccardo, L., Orsina, L.: Semilinear elliptic equations with singular nonlinearities. Calc. Var. Partial Differ. Equ. 37, 363–380 (2009)
Bougherara, B., Giacomoni, J.: Existence of mild solutions for a singular parabolic equation and stabilization. Adv. Nonlinear Anal. 4 (2), 123–134 (2015)
Bougherara, B., Giacomoni, J., Takáč, P.: Bounded solutions to a quasilinear and singular parabolic equation with p-Laplacian. Nonlinear Anal. 119, 254–274 (2015)
Cipriani, F., Grillo, G.: Uniform bounds for solutions to quasilinear parabolic equations. J. Differ. Equ. 177, 209–234 (2001)
Crandall, M.G., Rabinowitz, P.H., Tartar, L.: On a Dirichlet problem with a singular nonlinearity. Commun. Partial Differ. Equ. 2, 193–222 (1977)
de Bonis, I., Giachetti, D.: Singular parabolic problems with possibly changing sign data. Discrete Contin. Dyn. Syst. Ser. B 19 (7), 2047–2064 (2014)
de Bonis, I., Giachetti, D.: Nonnegative solutions for a class of singular parabolic problems involving p-Laplacian. Asymptot. Anal. 91 (2), 147–183 (2015)
de Bonis, I., De Cave, L.M.: Degenerate parabolic equations with singular lower order terms. Differ. Integral Equ. 27, 949–976 (2014)
de Bonis, I., Muntean, A.: Existence of weak solutions to a nonlinear reaction–diffusion system with singular sources. Electron. J. Differ. Equ. 2017 (202), 1–16 (2017)
De Cave, L.M.: Nonlinear elliptic equations with singular nonlinearities. Asymptot. Anal. 84, 181–195 (2013)
Fulks, W., Maybee, J.S.: A singular nonlinear equation. Osaka Math. J. 12, 1–19 (1960)
Giachetti, D., Martínez-Aparicio, P.J., Murat, F.: A semilinear elliptic equation with a mild singularity at u = 0: existence and homogenization. J. Math. Pures Appl. 107(1), 41–77 (2017)
Giachetti, D., Martínez-Aparicio, P.J., Murat, F.: Definition, existence, stability and uniqueness of the solution to a semilinear elliptic problem with a strong singularity at \(u = 0\). Ann. Sc. Norm. Super. Pisa Cl. Sci. 18(4), 1395–1442 (2018)
Giachetti, D., Martínez-Aparicio, P.J., Murat, F.: Homogenization of a Dirichlet semilinear elliptic problem with a strong singularity at u = 0 in a domain with many small holes. J. Funct. Anal. 274(6), 1747–1789 (2018)
Giachetti, D., Martínez-Aparicio, P.J., Murat, F.: On the definition of the solution to a semilinear elliptic problem with a strong singularity at \(u=0\). Nonlinear Anal. 177, 491–523 (2018)
Giachetti, D., Murat, F.: An elliptic problem with a lower order term having singular behavior. Boll. Unione Mat. Ital. 9(II), 349–370 (2009)
Landes, R.: On the existence of weak solutions for quasilinear parabolic initial-boundary value problems. Proc. R. Soc. Edinburgh Sect. A 89, 217–237 (1981)
Landes, R., Mustonen, V.: On parabolic initial-boundary value problems with critical growth for the gradient. Ann. Inst. H. Poincaré Anal. Non Linéaire 11, 135–158 (1994)
Lazer, A.C., McKenna, P.J.: On a singular nonlinear elliptic boundary value-problem. Proc. Am. Math. Soc. 111, 721–730 (1991)
Lions, J.L.: Quelques méthodes de résolution des problémes aux limites non linéaires. Dunod et Gautier-Villars (1969)
Martínez-Aparicio, P.J., Petitta, F.: Parabolic equations with nonlinear singularities. Nonlinear Anal. 74, 114–131 (2011)
Nachman, A., Callegari, A.: A nonlinear singular boundary value problem in the theory of pseudoplasticfl uids. SIAM J. Appl. Math. 28, 271–281 (1986)
Oliva, F., Petitta, F.: A nonlinear parabolic problem with singular terms and nonregular data. Nonlinear Anal. 194 (2020)
Porzio, M.M.: On decay estimates. J. Evol. Equ. 9(3), 561–591 (2009)
Porzio, M.M.: Existence, uniqueness and behavior of solutions for a class of nonlinear parabolic problems. Nonlinear Anal TMA 74, 5359–5382 (2011)
Porzio, M.M.: Asymptotic behavior and regularity properties of strongly nonlinear parabolic equations. Ann. Mat. Pura Appl. (4) 198(5), 1803–1833 (2019)
Simon, J.: Compact sets in the space \(L^p(0, T, B)\). Ann. Mat. Pura Appl. (4) 146, 65–96 (1987)
Stuart, C.A.: Existence theorems for a class of nonlinear integral equations. Math. Z. 137, 49–66 (1974)
Stuart, C.A.: Existence and approximation of solutions of non-linear elliptic equations. Math. Z. 147, 53–63 (1976)
Vajravelu, K., Soewono, E., Mohapatra, R.N.: On solutions of some singular, nonlinear differential equations arising in boundary layer theory. J. Math. Anal. Appl. 155(2), 499–512 (1991)
Vazquez, J.L.: Smoothing and Decay Estimates for Nonlinear Diffusion Equations. Oxford University Press, Oxford (2006)
Acknowledgements
All authors were partially supported by Gruppo Nazionale per l’Analisi Matematica, la Probabilità e le loro Applicazioni (GNAMPA) of Istituto Nazionale di Alta Matematica (INdAM) and also through the project “Esistenza e regolarità delle soluzioni di equazioni nonlineari elittiche e paraboliche con singolarità” (I.d.B., M.M.P.).
Funding
Open access funding provided by Universitá degli Studi di Roma La Sapienza within the CRUI-CARE Agreement.
Author information
Authors and Affiliations
Contributions
All authors wrote and reviewed the manuscript.
Corresponding author
Ethics declarations
Conflict of interest
The authors declare no competing interests.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
de Bonis, I., Porzio, M.M. Existence and regularity results for a class of singular parabolic problems with \(L^1\) data. Nonlinear Differ. Equ. Appl. 31, 58 (2024). https://doi.org/10.1007/s00030-024-00935-6
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00030-024-00935-6
Keywords
- Nonlinear parabolic equations
- Singular lower order terms
- Degenerate parabolic equations
- Decay estimates
- Asymptotic behavior