Abstract
This paper is devoted to studying a nonlocal parabolic equation with logarithmic nonlinearity \(u\log |u|-\fint_{\Omega } u\log |u|\,dx\) in a bounded domain, subject to homogeneous Neumann boundary value condition. By using the logarithmic Sobolev inequality and energy estimate methods, we get the results under appropriate conditions on blow-up and non-extinction of the solutions, which extend some recent results.
Similar content being viewed by others
1 Introduction
In this paper, we consider the Neumann problem to the following parabolic equation:
where \(\Omega \subset {\bf {R}}^{n}\) is a bounded domain with smooth boundary, \(\fint_{\Omega }u_{0}\,dx=\frac{1}{|\Omega |}\int_{\Omega }u _{0}\,dx=0\) with \(u_{0}\not \equiv 0\). It is easy to check that the solution u of (1.1) is \(L^{1}\)-conservative and hence
In fact, problem (1.1) has been studied by many other authors in a more general form:
Here, Ω is a bounded smooth domain in \({\bf R}^{n}\) (\(n\geq 1\)) with \(| \Omega | \) denoting its Lebesgue measure, n is the outer normal vector of ∂Ω, and the function \(f(u)\) is usually taken to be a power of u. Problem (1.3) is also interesting in its own right, due to the fact that the comparison principle does not always hold for it. So it is often necessary to introduce some new techniques. The negative solutions of (1.3) with \(f(u)=|u|^{p}\) are studied in [1]. When \(f(u)=u|u|^{p}\) and \(\int_{\Omega }u\,dx>0\) are studied in [2], the non-global existence result is discussed by using a convexity argument and under the energy condition
When \(\int_{\Omega }u\,dx=0\), their conclusion can be found in [3, 4].
Further, the nonlocal p-Laplace equation
is given in [5, 6], where a critical blow-up solution is determined by q and the sign of the initial energy. In particular, the conditions under which the changing sign solutions vanish in finite time are obtained. At the same time, a thin-film has also received much attention, and it reads as follows:
We can find it in [7, 8], where the threshold results of global existence and non-existence for the sign-changing weak solutions are given by the potential well method. Further, the conditions under which the global solutions become extinct in finite time are obtained and the asymptotic behavior of non-extinct solutions is studied.
To our knowledge, there have been few works concerned with the blow-up and extinction for the nonlocal parabolic equation with logarithmic nonlinearity. It is a remarkable fact that a nonlocal parabolic equation with logarithmic nonlinearity does not admit the usual maximum principle and the comparison principle. Because of this main difficulty, some most effective methods, such as the method of upper and lower solutions, are not valid here anymore. Inspired by the ideas in [9–18], the threshold results for the global existence and blow-up of the weak solutions are given by the potential well method, the classical Galerkin method, and the logarithmic Sobolev inequality. Further we discuss the non-extinction properties and the asymptotic behavior of the global solutions.
On the other hand, to handle logarithmic nonlinear term, we need the following logarithmic Sobolev inequality, which was introduced by [10, 19, 20].
Proposition 1.1
Let u be any function in \(H^{1}({\bf R}^{n})\) and \(a>0\) be any number. Then
For \(u\in H_{0}^{1}(\Omega)\), we can define \(u(x)=0\) for \(x\in {\bf R}^{n}\setminus \Omega \). Then \(u\in H^{1}({\bf R}^{n})\), that is to say, for a general domain Ω, we have the following logarithmic Sobolev inequality:
where u is any function in \(H^{1}(\Omega)\), \(a>0\) is any number.
To state our main results, we need the following definitions.
Definition 1.1
(Weak solution)
A function \(u(x,t)\) is called a weak solution of (1.1), if \(u\in L^{\infty }(0,T;H^{2}(\Omega))\), \(u_{t}\in L^{2}(0,T;L^{2}(\Omega))\), and satisfies (1.1) in the distribution sense, i.e.,
for any \(\varphi \in H_{0}^{1}(\Omega)\), \(t\in (0,T)\), where \(u(0,x)=u_{0}(x)\in H_{0}^{1}(\Omega)\), and \((\cdot, \cdot)_{2}\) means the inner product \((\cdot, \cdot)_{L^{2}(\Omega)}\).
Definition 1.2
(Finite time blow-up)
Let \(u(x,t)\) be a weak solution of (1.1). We call \(u(x,t)\) blow-up in finite time if the maximal existence time T is finite and
Definition 1.3
(Blow-up at +∞)
Let \(u(x,t)\) be a weak solution of (1.1). We call \(u(x,t)\) blow-up at +∞ if the maximal existence time \(T=+\infty \) and
For convenience, we introduce some notations here. Denote by \(\|\cdot \|_{p}\) the \(L^{p}(\Omega)\) norm for \(1\leq p\leq \infty \) and define
Then it is obvious that
From [10], we know \(d\geq M\).
and for \(\delta >0\), we define
The local existence of the weak solutions can be obtained via the standard parabolic theory. It is easy to obtain the following equality:
Theorem 1.1
If \(u_{0}\in H_{0}^{1}\), \(0< J(u_{0})< M\), and \(I(u_{0})>0\). Then problem (1.1) has a unique global weak solution, which does not blow up in finite time. Moreover,
Theorem 1.2
Assume \(J(u_{0})<0\), then the solution \(u(x,t)\) of problem (1.1) is blow-up at +∞. Moreover, if \(\|u_{0}\|_{2} ^{2}\leq -2J(u_{0})\), the lower bound for blow-up rate can be estimated by
which is independent of t.
Theorem 1.3
Assume \(0< J(u_{0})< M\), then the solution \(u(x,t)\) of problem (1.1) is non-extinct in finite time; moreover, \(\|u\|_{2}^{2}\) can be estimated by
\(\|\cdot,\cdot \|_{2}\) means \(\|\cdot,\cdot \|_{L^{2}(\Omega)}\).
Remark 1.1
For a nonlocal parabolic equation, [5–8, 21] get the results under appropriate conditions on blow-up in finite time. However, if \(f(u)\) is the logarithmic nonlinear term \(u\log |u|\) in (1.3), then Theorem 1.2 tells us that the weak solution is blow-up at +∞.
Our paper is organized as follows. In Sect. 2, we establish new lemmas relative to the logarithmic nonlinear term. Next, in Sect. 3, we prove Theorem 1.1 (global existence and decay estimate). Finally, we give the proof of Theorems 1.2 (blow-up at +∞ and the lower bound for blow-up rate) and 1.3 (non-extinction and estimate).
2 Preliminaries
In this section, we briefly collect some important properties of the functions and sets defined in the Introduction.
Lemma 2.1
([9])
Suppose that \(\theta >0\), \(\alpha >0\), \(\beta >0\) and \(h(t)\) is a nonnegative and absolutely continuous function satisfying \(h'(t)+\alpha h^{\theta }(t)\geq \beta \), then for \(0< t<\infty \), it holds
Lemma 2.2
If \(0< J(u_{0})< E_{1}=\frac{1}{4}e^{b}\), where \(b=n(1+\log \sqrt{2\pi })\), then there exists a positive constant \(\alpha_{2}>\alpha_{1}\) such that
Proof
Using the logarithmic Sobolev inequality in Proposition 1.1, for any \(a>0\), we have
Let \(a=\sqrt{2\pi }\) in (2.2), we have
Denote \(\alpha =\|u\|_{2}\), \(b=n(1+\log \sqrt{2\pi })\), we have
Let
Furthermore, we get \(h(\alpha)\) is increasing in \((0,\alpha_{1})\) and decreasing in \((\alpha_{1},\infty)\). Since \(J(u_{0})< E_{1}\), there exists a positive constant \(\alpha_{2}>\alpha_{1}\) such that \(J(u_{0})=h(\alpha_{2})\). Let \(\alpha_{0}=\|u_{0}\|_{2}\), from (2.3) and (2.4), we have
Since \(\alpha_{0},\alpha_{2} \geq \alpha_{1}\), we get \(\alpha_{0} \geq \alpha_{2}\), so (2.1) holds for \(t=0\).
To prove (2.1) for \(t>0\), we assume the contrary that \(\|u( \cdot,t)\|_{2}<\alpha_{2}\) for some \(t_{0}>0\). By the continuity of \(\|u(\cdot,t)\|_{2}\) and \(\alpha_{1}<\alpha_{2}\), we may choose \(t_{0}\) such that \(\|u(\cdot,t_{0})\|_{2}>\alpha_{1}\), then it follows from (2.3)
which contradicts the fact that \(J(u)\) is nonincreasing in t by (1.12), so (2.1) is true. □
Lemma 2.3
Let \(H(u)=E_{1}-J(u)\), \(J(u_{0})< E_{1}\), then \(H(u)\) satisfies the following estimates:
Proof
It is obvious that \(H(u)\) is nondecreasing in t, by (1.12), then it follows from \(J(u_{0})< E_{1}\) that
□
Remark 2.1
From Lemma 2.4 in [10], M can be obtained by the definition of d, but in this paper, \(E_{1}=h(\alpha_{1})\), \(\alpha_{1}=e^{\frac{b}{2}}\), so we can get from (2.4)
3 Proofs of Theorem 1.1
Proof of Theorem 1.1
We choose \(w_{j}(x)\) to be the orthogonal basis of \(H_{0}^{1}\) and construct the following approximate solution \(u_{m}(x,t)\) of problem (1.1):
which satisfies
and \((\cdot,\cdot)_{2}\) means the inner product \((\cdot,\cdot)_{L ^{2}(\Omega)}\).
Next we need some a priori estimates on the approximate solutions \(u_{m}\), multiplying by \(g_{s}(t)\) and summing for s, for sufficiently large m. From (1.11), we obtain
From the proof of Theorem 1.1 in [10], we have
where S is the best constant of the Sobolev embedding \(H_{0}^{1}( \Omega)\hookrightarrow L^{\frac{2n}{n-2}}(\Omega)\).
Denote \(\rightarrow (w^{*})\) as the weakly star convergence. Therefore, we obtain a subsequence of \(u_{m}\), which is still denoted by itself, our sending \(m\rightarrow \infty \),
Hence, we have
Next, we prove the uniqueness of the weak solution. Suppose that problem (1.1) admits two weak solutions \(u_{1}\) and \(u_{2}\), set \(w=u_{1}-u_{2}\), and w solves
where \(f(u)=u\log |u|-\fint_{\Omega } u\log |u|\). Multiplying both sides of the first equation of (3.5) by w and integrating the result over \(\Omega \times (0,t)\), we have
where C is a positive constant.
Noticing that \(w(x,0)=0\), we have
Using Gronwall’s inequality, we get that
Thus \(w=0\) a.e. in \(\Omega \times (0,T)\).
We define \(M(t)=\frac{1}{2}\|u\|_{2}^{2}\), then
By using (1.9) and Proposition 1.1, we know
where \(a=\sqrt{2\pi }\).
we have
This means
then
which implies that \(u(x,t)\) does not blow up in finite time. □
4 Proofs of Theorems 1.2 and 1.3
Proof of Theorem 1.2
By the definition of \(J(u),J(u_{0})<0\) and (1.12), \(M(t)\) satisfies
And by the definition of weak solution, we know that \(u\in L^{\infty }(0,T;H^{2}(\Omega))\). For any \(t_{0}>0\), we claim that
Otherwise, there exists \(t_{0}>0\) such that \(\int_{0}^{t_{0}}\|u_{ \tau }\|_{2}^{2}\,d\tau =0\), and hence \(u_{t}=0\) for a.e. \((x,t)\in \Omega \times (0,t_{0})\). Then it follows from (4.1) that
for a.e. \(t\in (0,t_{0})\), and then we get from (1.9)
Combining it with \(J(u)\leq J(u_{0})\leq 0\), we obtain \(\|u\|_{2}=0\) for all \(t\in [0,t_{0}]\), which contradicts the definition of u. Then (4.2) follows.
Fix \(t_{0}>0\) and let \(\delta =\int_{0}^{t}\|u_{\tau }\|_{2}^{2}\,d\tau \), then we know that δ is a positive constant. Integrating (4.1) over \((t_{0},t)\), we obtain
Hence,
And from (4.1), we know
By using Lemma 2.1, \(J(u_{0})<0\), and \(\|u_{0}\|_{2}^{2}\leq -2J(u _{0})\), we have
which means (1.13) is true. □
Proof of Theorem 1.3
We define \(\beta =\frac{\alpha_{2}}{\alpha _{1}}>1\), \(M(t)=\frac{1}{2}\|u\|_{2}^{2}\). Then, by the definitions of \(J(u)\), \(M(t)\), and Lemma 2.3, we have
By using (2.1) and (2.2) in Lemma 2.2, we get
Then it follows from (4.6), (4.7), and Lemma 2.3 that
which means (1.14) is true. □
References
Wang, M., Wang, Y.: Properties of positive solutions for non-local reaction–diffusion problems. Math. Methods Appl. Sci. 19(14), 1141–1156 (1996)
Hu, B., Yin, H.M.: Semilinear parabolic equations with prescribed energy. Rend. Circ. Mat. Palermo 44(3), 479–505 (1995)
El Soufi, A., Jazar, M., Monneau, R.: A Gamma-convergence argument for the blow-up of a non-local semilinear parabolic equation with Neumann boundary conditions. Ann. Inst. Henri Poincaré, Anal. Non Linéaire 24(1), 17–39 (2007)
Budd, C.J., Dold, J.W., Galaktionov, V.A.: Global blow-up for a semilinear heat equation on a subspace. Proc. R. Soc. Edinb., Sect. A, Math. 145(5), 893–923 (2015)
Qu, C., Bai, X., Zheng, S.: Blow-up versus extinction in a nonlocal p-Laplace equation with Neumann boundary conditions. J. Math. Anal. Appl. 412(1), 326–333 (2014)
Qu, C., Liang, B.: Blow-up in a slow diffusive-Laplace equation with the Neumann boundary conditions. Abstr. Appl. Anal. 2013, Article ID 643819 (2013)
Cao, Y., Liu, C.: Global existence and non-extinction of solutions to a fourth-order parabolic equation. Appl. Math. Lett. 61, 20–25 (2016)
Qu, C., Zhou, W.: Blow-up and extinction for a thin-film equation with initial-boundary value conditions. J. Math. Anal. Appl. 436(2), 796–809 (2016)
Guo, B., Gao, W.J.: Non-extinction of solution for a fast diffusive p-Laplace equation with Neumann boundary conditions. J. Math. Anal. Appl. 422, 1527–1531 (2015)
Chen, H., Luo, P., Liu, G.: Global solution and blow-up of a semilinear heat equation with logarithmic nonlinearity. J. Math. Anal. Appl. 422(1), 84–98 (2015)
Yacheng, L., Junsheng, Z.: On potential wells and applications to semilinear hyperbolic equations and parabolic equations. Nonlinear Anal., Theory Methods Appl. 64(12), 2665–2687 (2006)
Castillo, R., Loayza, M.: A semilinear parabolic problem with variable reaction on a general domain. Comput. Math. Appl. 74(3), 351–359 (2017)
Levine, H.A.: The role of critical exponents in blowup theorems. SIAM Rev. 32(2), 262–288 (1990)
Polacik, P., Quittner, P., Souplet, P.: Singularity and decay estimates in superlinear problems via Liouville-type theorems, I: elliptic equations and systems. Duke Math. J. 139(3), 555–579 (2007)
Polacik, P., Quittner, P., Souplet, P.: Singularity and decay estimates in superlinear problems via Liouville-type theorems. Part II: parabolic equations. Indiana Univ. Math. J. 56(2), 879–908 (2007)
Quittner, P.: Threshold and strong threshold solutions of a semilinear parabolic equation. Adv. Differ. Equt. 22(7/8), 433–456 (2017)
Shahmurov, R.: Solution of Dirichlet and Neumann problems for a modified Helmholtz equation in Besov spaces on an annulus. J. Differ. Equ. 249(3), 526–550 (2010)
Shahmurov, R.: On strong solutions of a Robin problem modelling heat conduction in materials with corroded boundary. Nonlinear Anal., Real World Appl. 13(1), 441–451 (2012)
Lieb, E.H., Loss, M.: Analysis, Graduate Studies in Mathematics, vol. 14. Am. Math. Soc., Providence (2001)
Gross, L.: Logarithmic Sobolev inequalities. Am. J. Math. 97, 1061–1083 (1976)
Deng, K., Levine, H.A.: The role of critical exponents in blow-up theorems: the sequel. J. Math. Anal. Appl. 243(1), 85–126 (2000)
Acknowledgements
We would like to thank the referees for their valuable comments and suggestions to improve our paper.
Availability of data and materials
Data sharing not applicable to this article as no data sets were generated or analyzed during the current study.
Funding
Project supported by the National Natural Science Foundation of China (Grant No. 11571093 and No. 11471164).
Author information
Authors and Affiliations
Contributions
This work was carried out in collaboration between both authors. ZY designed the study and guided the research. LY performed the analysis and wrote the first draft of the manuscript. ZY and LY managed the analyses of the study. Both authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have 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 distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Yan, L., Yang, Z. Blow-up and non-extinction for a nonlocal parabolic equation with logarithmic nonlinearity. Bound Value Probl 2018, 121 (2018). https://doi.org/10.1186/s13661-018-1042-7
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-018-1042-7