Skip to main content

Global and blow-up solutions for a nonlinear reaction diffusion equation with Robin boundary conditions

Abstract

In the paper, we investigate global and blow-up solutions for a class of nonlinear reaction diffusion equations with Robin boundary conditions. By using auxiliary functions and a first-order differential inequality technique, we establish conditions on the data to prove the existence of global solution. Moreover, based on maximum principles, we obtain a criterion that guarantees the occurrence of the blow-up. When blow-up occurs, we discuss an upper bound and a lower bound on blow-up time. At last, we apply two examples to illustrate our main results.

1 Introduction

In recent years, there has been a great deal of literature on the global and blow-up solutions for nonlinear partial differential equations, for instance, in [18]. These works have contained a lot of interesting results about the global solutions, blow-up of solutions, bounds for the blow-up time, blow-up rates, and so on. A variety of physical, chemical, and biological applications are discussed in [9, 10].

As far as we know, reaction-diffusion equation is an important part of partial differential equation. There have been many research papers devoted to the nonlinear reaction diffusion equations under various boundary conditions, such as Dirichlet boundary conditions [11, 12], Neumann boundary conditions [1316], nonlocal boundary conditions [17, 18], and nonlinear boundary conditions [19, 20]. At the same time, the blow-up problems for reaction diffusion equations under Robin boundary conditions have been also studied (see [2124]). The authors in [22] considered the following equation:

$$ u_{t}=\nabla \cdot \bigl(\rho \bigl( \vert \nabla u \vert ^{2}\bigr)\nabla u \bigr)+f(u),\quad (x,t)\in \varOmega \times (0,T), $$

where \(\varOmega \subset R^{n}(n\geq 2)\) is a smooth bounded domain. By making appropriate restrictions and using a differential inequality technique, a lower bound for the blow-up time was investigated in a three-dimensional space if blow-up occurs. When \(\varOmega \subset R^{n}(n\geq 2)\), the authors demonstrated a criterion which guarantees the solution to remain global. [23] was concerned with a more complicated case:

$$ \bigl(g(u)\bigr)_{t}=\nabla \cdot \bigl(\rho \bigl( \vert \nabla u \vert ^{2}\bigr)\nabla u \bigr)+k(t)f(u), \quad(x,t)\in \varOmega \times (0,T). $$

According to a differential inequality technique and maximum principles, the authors showed a blow-up or non-blow-up criterion under some appropriate assumptions. Moreover, they were dedicated to the upper and lower bounds for the blow-up time when blow-up occurs. In [24], the authors dealt with the blow-up phenomena of the following quasilinear reaction diffusion equations with weighted nonlocal source:

$$ \bigl(g(u)\bigr)_{t}=\nabla \cdot \bigl(\rho \bigl( \vert \nabla u \vert ^{2}\bigr)\nabla u \bigr)+a(x)f(u),\quad (x,t)\in \varOmega \times (0,T), $$

where \(\varOmega \subset R^{n}(n\geq 2)\) is a bounded convex domain. They established conditions to guarantee that the solution remains global or blows up in a finite time. Moreover, an upper and lower bounds for blow-up time were derived. These results were obtained by utilizing a differential inequality technique on suitably defined auxiliary functions.

Inspired by the above papers, we are concerned with the following reaction diffusion equations under Robin boundary conditions:

$$ \textstyle\begin{cases} (g(u))_{t}=\nabla \cdot (\rho ( \vert \nabla u \vert ^{p})\nabla u )+k(t)a(x)f(u),&(x,t) \in \varOmega \times (0,T), \\ \frac{\partial u}{\partial \nu }+\gamma u=0,&(x,t)\in \partial \varOmega \times (0,T), \\ u(x,0)=u_{0}(x), &x\in \overline{\varOmega }. \end{cases} $$
(1.1)

Here, \(p>0\) and \(\varOmega \subset \mathbb{R}^{n}(n>2)\) is a bounded convex domain and the boundary ∂Ω is smooth. Ω̅ is the closure of Ω. \(\frac{\partial u}{\partial \nu }\) stands for the outward normal derivative on ∂Ω, γ is a positive constant, \(u_{0}\) denotes the initial value and is a positive \(C^{2}(\overline{\varOmega })\) function, T is the blow-up time if the blow-up happens, otherwise \(T=+\infty \). Set \(R^{+}=(0,+\infty )\), g is a \(C^{2}(R^{+})\) function with \(g'(s) > 0\) for all \(s>0\), ρ is a positive \(C^{2}(\overline{R^{+}})\) function with \(\rho (s)+ps\rho '(s)>0\) for \(s>0\), k is a positive \(C^{1}(R^{+})\) function, a is a positive \(C^{1}(\overline{\varOmega })\) function, f is a nonnegative \(C^{1}(R^{+})\) function. The maximum principles imply that the classical solution u of (1.1) is a positive solution in \(\overline{\varOmega }\times [0,T)\).

It is obvious that problem (1.1) is more general than the ones in [2224]. The purpose of the paper is to get a non-blow-up or blow-up criterion for system (1.1). We need to define appropriate auxiliary functions that are different from the ones in [2224]. By using first-order differential inequalities, we show that the solution of (1.1) exists globally under some conditions. Furthermore, combining the first-order differential inequalities with maximum principles, we demonstrate that the solution \(u(x,t)\) blows up at some finite time. When blow-up does occur, the upper and lower bounds for the blow-up time are presented.

The rest of the paper is organized as follows. Section 2 shows that solution \(u(x, t)\) of (1.1) exists globally in the suitable measure. In Sect. 3, we prove that solution \(u(x, t)\) blows up at some finite time and obtain an upper bound for the blow-up time. Section 4 presents a lower bound for the blow-up time when blow-up occurs. The last section gives two examples to illustrate our main results.

2 Global existence

In the section, under some suitable conditions, we prove the existence of global solution u of problem (1.1). We suppose that u is a classical solution of problem (1.1). In order to obtain our main result, it is required to construct the following notations and functions:

$$\begin{aligned} &F(s):= \int _{0}^{s}f(y)\,\mathrm{d}y,\qquad G(s):=2 \int _{0}^{s}yg'(y)\,\mathrm{d}y,\qquad \varPhi (t):= \int _{\varOmega }G\bigl(u(x,t)\bigr)\,\mathrm{d}x, \end{aligned}$$
(2.1)
$$\begin{aligned} &\varPsi (t):=-\gamma \int _{\partial \varOmega } u^{2}\,\mathrm{d}S- \int _{ \varOmega } \vert \nabla u \vert ^{2}\, \mathrm{d}x+2k(t) \int _{\varOmega }a(x)F(u)\,\mathrm{d}x. \end{aligned}$$
(2.2)

Throughout the paper, we need to assume that λ is the first positive eigenvalue of the following problem:

$$ \textstyle\begin{cases} \Delta \omega +\lambda \omega =0,& x\in \varOmega, \\ \frac{\partial \omega }{\partial \nu }+\gamma \omega =0,&x\in \partial \varOmega, \end{cases} $$

where

$$ 0< \gamma < \frac{\lambda L_{0}}{\mu n(pq+1)},\qquad L_{0}=\min_{\partial \varOmega }(x \cdot \nu ), \mu \geq 1. $$

In what follows, the main result will be stated.

Theorem 2.1

Letube a classical solution of problem (1.1). And the following assumptions on the functions\(\rho,g,a,f\)hold:

$$\begin{aligned} &a(x)f\bigl(s(x,t)\bigr)\leq a_{1}\bigl(s(x,t) \bigr)^{\kappa } \biggl( \int _{\varOmega }\bigl(s(x,t)\bigr)^{l} \,\mathrm{d}x \biggr)^{m}, \end{aligned}$$
(2.3)
$$\begin{aligned} &\rho (s)\geq b_{1}+b_{2} s^{2q},\qquad g'(s)\leq c, \quad s>0, \end{aligned}$$
(2.4)

where\(l,m,\kappa,a_{1}\), \(q,c,b_{1},b_{2}\)are positive constants satisfying

$$ \kappa >1, \qquad 0< l< \kappa +1< 2pq+2,\qquad \kappa +lm< 2pq+1. $$
(2.5)

Thenucannot blow up in the measure\(\varPhi (t)\)for all time\(t>0\), that is, there exists a global solution for problem (1.1) in the measure\(\varPhi (t)\).

Proof

Taking the derivation the function \(\varPhi (t)\) in (2.1), we get

$$\begin{aligned} \varPhi '(t)={}& \int _{\varOmega }G' \bigl(u(x,t) \bigr)u_{t} \,\mathrm{d}x \\ ={}&2 \int _{\varOmega }u \bigl(\nabla \cdot \bigl(\rho \bigl( \vert \nabla u \vert ^{p}\bigr)\nabla u \bigr)+k(t)a(x)f(u) \bigr)\, \mathrm{d}x \\ ={}&2 \int _{\varOmega }\nabla \cdot \bigl(u\rho \bigl( \vert \nabla u \vert ^{p}\bigr)\nabla u \bigr)-\rho \bigl( \vert \nabla u \vert ^{p}\bigr) \vert \nabla u \vert ^{2}+k(t)a(x)f(u)u\, \mathrm{d}x. \\ ={}& 2 \int _{\partial \varOmega } u \rho \bigl( \vert \nabla u \vert ^{p}\bigr) \frac{\partial u}{\partial \nu }\,\mathrm{d}S-2 \int _{\varOmega }\rho \bigl( \vert \nabla u \vert ^{p} \bigr) \vert \nabla u \vert ^{2}\,\mathrm{d}x+2 \int _{\varOmega }k(t)a(x)f(u)u\,\mathrm{d}x \\ ={}&{-}2\gamma \int _{\partial \varOmega } u^{2} \rho \bigl( \vert \nabla u \vert ^{p}\bigr)\,\mathrm{d}S-2 \int _{\varOmega }\rho \bigl( \vert \nabla u \vert ^{p} \bigr) \vert \nabla u \vert ^{2}\,\mathrm{d}x \\ &{}+2 \int _{\varOmega }k(t)a(x)f(u)u\,\mathrm{d}x, \end{aligned}$$
(2.6)

where the divergence theorem and Robin boundary condition in (1.1) are used. Furthermore, conditions (2.3) and (2.4) imply that

$$\begin{aligned} \varPhi '(t)\leq{} & {-}2\gamma \int _{\partial \varOmega } u^{2} \rho \bigl( \vert \nabla u \vert ^{p}\bigr)\,\mathrm{d}S-2 \int _{\varOmega }\bigl(b_{1}+b_{2} \vert \nabla u \vert ^{2pq}\bigr) \vert \nabla u \vert ^{2}\, \mathrm{d}x \\ & {}+2k(t) \int _{\varOmega }a_{1}u^{\kappa +1}\,\mathrm{d}x \biggl( \int _{\varOmega }u^{l}\,\mathrm{d}x \biggr)^{m} \\ \leq {}&{-}2b_{2} \int _{\varOmega } \vert \nabla u \vert ^{2pq+2}\, \mathrm{d}x+2k(t) \int _{\varOmega }a_{1}u^{\kappa +1}\,\mathrm{d}x \biggl( \int _{\varOmega }u^{l}\,\mathrm{d}x \biggr)^{m}. \end{aligned}$$
(2.7)

Next, we deal with the first term on the right-hand side of (2.7). By virtue of Hölder’s inequality, we have the following inequality:

$$\begin{aligned} \int _{\varOmega } \bigl\vert \nabla \bigl(u^{pq+1}\bigr) \bigr\vert ^{2}\,\mathrm{d}x ={}&(pq+1)^{2} \int _{\varOmega }u^{2pq} \vert \nabla u \vert ^{2}\,\mathrm{d}x \\ \leq{} &(pq+1)^{2} \biggl( \int _{\varOmega }u^{2pq+2}\,\mathrm{d}x \biggr)^{ \frac{pq}{pq+1}} \biggl( \int _{\varOmega } \vert \nabla u \vert ^{2pq+2}\, \mathrm{d}x \biggr)^{ \frac{1}{pq+1}}. \end{aligned}$$
(2.8)

The general Poincaré inequality yields

$$\begin{aligned} \lambda \int _{\varOmega }u^{2pq+2}\,\mathrm{d}x&\leq \int _{\varOmega } \bigl\vert \nabla \bigl(u^{pq+1}\bigr) \bigr\vert ^{2}\,\mathrm{d}x- \int _{\partial \varOmega }u^{pq+1}\frac{\partial u^{pq+1}}{\partial \nu }\,\mathrm{d}S \\ &= \int _{\varOmega } \bigl\vert \nabla \bigl(u^{pq+1}\bigr) \bigr\vert ^{2}\,\mathrm{d}x+\gamma (pq+1) \int _{ \partial \varOmega }u^{2pq+2}\,\mathrm{d}S, \end{aligned}$$
(2.9)

where the Robin boundary conditions in (1.1) are used. We apply the divergence theorem to derive

$$\begin{aligned} \int _{\partial \varOmega } u^{2pq+2}(x\cdot \nu )\,\mathrm{d}S&= \int _{\varOmega }\nabla \cdot \bigl(u^{2pq+2}x \bigr)\, \mathrm{d}x \\ &= n \int _{\varOmega }u^{2pq+2}\,\mathrm{d}x+2(pq+1) \int _{\varOmega }u^{2pq+1}( \nabla u\cdot x)\,\mathrm{d}x \\ &\leq n \int _{\varOmega }u^{2pq+2}\,\mathrm{d}x+2d(pq+1) \int _{\varOmega }u^{2pq+1} \vert \nabla u \vert \, \mathrm{d}x. \end{aligned}$$

Then it follows from Hölder’s inequality and Young’s inequality that

$$\begin{aligned} \int _{\partial \varOmega } u^{2pq+2}\,\mathrm{d}S\leq {}& \frac{n}{L_{0}} \int _{\varOmega }u^{2pq+2}\,\mathrm{d}x+ \frac{2d(pq+1)}{L_{0}} \int _{\varOmega }u^{2pq+1} \vert \nabla u \vert \, \mathrm{d}x \\ ={}&\frac{n}{L_{0}} \int _{\varOmega }u^{2pq+2}\,\mathrm{d}x+\frac{2d}{L_{0}} \int _{\varOmega }u^{pq+1} \bigl\vert \nabla \bigl(u^{pq+1}\bigr) \bigr\vert \,\mathrm{d}x \\ \leq{} &\frac{n}{L_{0}} \int _{\varOmega }u^{2pq+2}\,\mathrm{d}x+2 \biggl( \biggl( \frac{d}{L_{0}} \biggr)^{2}\theta \int _{\varOmega }u^{2pq+2}\,\mathrm{d}x \biggr)^{ \frac{1}{2}} \\ & {}\times \biggl( \int _{\varOmega }\theta ^{-1} \bigl\vert \nabla \bigl(u^{pq+1}\bigr) \bigr\vert ^{2}\,\mathrm{d}x \biggr)^{\frac{1}{2}} \\ \leq {}& \biggl(\frac{n}{L_{0}}+ \biggl(\frac{d}{L_{0}} \biggr)^{2}\theta \biggr) \int _{\varOmega }u^{2pq+2}\,\mathrm{d}x+\theta ^{-1} \int _{\varOmega } \bigl\vert \nabla \bigl(u^{pq+1}\bigr) \bigr\vert ^{2}\,\mathrm{d}x, \end{aligned}$$
(2.10)

where

$$ \theta = \frac{\lambda L_{0}^{2}-\mu \gamma (pq+1)nL_{0}}{\mu \gamma (pq+1)d^{2}}>0,\qquad d= \max_{\overline{\varOmega }} \vert x \vert . $$
(2.11)

After inserting (2.10) into (2.9), we obtain

$$\begin{aligned} \int _{\varOmega } \bigl\vert \nabla \bigl(u^{pq+1}\bigr) \bigr\vert ^{2}\,\mathrm{d}x\geq M_{0} \int _{\varOmega }u^{2pq+2}\, \mathrm{d}x. \end{aligned}$$
(2.12)

Here

$$ M_{0}= \frac{\lambda -\gamma (pq+1) [\frac{n}{L_{0}}+ (\frac{d}{L_{0}} )^{2}\theta ]}{1+\gamma (pq+1)\theta ^{-1}}>0. $$

We substitute (2.12) into (2.8) to get

$$\begin{aligned} \int _{\varOmega } \vert \nabla u \vert ^{2pq+2}\, \mathrm{d}x\geq \frac{M_{0}^{pq+1}}{(pq+1)^{2pq+2}} \int _{\varOmega }u^{2pq+2}\,\mathrm{d}x. \end{aligned}$$

Therefore, (2.7) can be rewritten as follows:

$$\begin{aligned} \varPhi '(t)\leq -\frac{2b_{2}M_{0}^{pq+1}}{(pq+1)^{2(pq+1)}} \int _{\varOmega }u^{2pq+2}\,\mathrm{d}x+2k(t) \int _{\varOmega }a_{1}u^{\kappa +1}\,\mathrm{d}x \biggl( \int _{\varOmega }u^{l}\,\mathrm{d}x \biggr)^{m}. \end{aligned}$$
(2.13)

From Hölder’s inequality, we deduce

$$\begin{aligned} &\int _{\varOmega }u^{l}\,\mathrm{d}x\leq \biggl( \int _{\varOmega }u^{\kappa +1}\,\mathrm{d}x \biggr)^{\frac{l}{\kappa +1}} \vert \varOmega \vert ^{\frac{\kappa +1-l}{\kappa +1}}, \end{aligned}$$
(2.14)
$$\begin{aligned} &\int _{\varOmega }u^{\kappa +1}\,\mathrm{d}x\leq \biggl( \int _{\varOmega }u^{2pq+2}\,\mathrm{d}x \biggr)^{\frac{\kappa +1}{2pq+2}} \vert \varOmega \vert ^{ \frac{2pq-\kappa +1}{2pq+2}}. \end{aligned}$$
(2.15)

Obviously, the following inequality holds:

$$\begin{aligned} \int _{\varOmega }u^{2pq+2}\,\mathrm{d}x\geq \biggl( \int _{\varOmega }u^{\kappa +1}\,\mathrm{d}x \biggr)^{\frac{2pq+2}{\kappa +1}} \vert \varOmega \vert ^{- \frac{2pq-\kappa +1}{\kappa +1}}. \end{aligned}$$
(2.16)

Combining (2.13) and (2.14)–(2.16), we derive

$$\begin{aligned} \varPhi '(t)\leq {}& 2k(t) \biggl( \int _{\varOmega }u^{\kappa +1}\,\mathrm{d}x \biggr)^{1+\frac{lm}{\kappa +1}} \vert \varOmega \vert ^{ \frac{(\kappa +1-l)m}{\kappa +1}} \biggl\{ a_{1}- \frac{b_{2}M_{0}^{pq+1}}{k(t)(pq+1)^{2pq+2}} \\ & {}\times \vert \varOmega \vert ^{-\frac{2pq-\kappa -lm+1}{\kappa +1}-m} \biggl( \int _{\varOmega }u^{\kappa +1}\,\mathrm{d}x \biggr)^{\frac{2pq+2-lm}{\kappa +1}-1} \biggr\} . \end{aligned}$$
(2.17)

An application of Hölder’s inequality implies

$$ \int _{\varOmega }u^{2}\,\mathrm{d}x\leq \biggl( \int _{\varOmega }u^{\kappa +1}\,\mathrm{d}x \biggr)^{\frac{2}{\kappa +1}} \vert \varOmega \vert ^{\frac{\kappa -1}{\kappa +1}}, $$

that is,

$$\begin{aligned} \int _{\varOmega }u^{\kappa +1}\,\mathrm{d}x\geq \biggl( \int _{\varOmega }u^{2}\,\mathrm{d}x \biggr)^{\frac{\kappa +1}{2}} \vert \varOmega \vert ^{\frac{1-\kappa }{2}}. \end{aligned}$$
(2.18)

Consequently, (2.17) can be replaced by

$$\begin{aligned} \varPhi '(t)\leq {}& 2k(t) \biggl( \int _{\varOmega }u^{\kappa +1}\,\mathrm{d}x \biggr)^{1+\frac{lm}{\kappa +1}} \vert \varOmega \vert ^{ \frac{(\kappa +1-l)m}{\kappa +1}} \biggl\{ a_{1}- \frac{b_{2}M_{0}^{pq+1}}{k(t)(pq+1)^{2pq+2}} \\ & {}\times \vert \varOmega \vert ^{-\frac{2pq+1-\kappa -lm}{2}-m} \biggl( \int _{\varOmega }u^{2}\,\mathrm{d}x \biggr)^{\frac{2pq+1-\kappa -lm}{2}} \biggr\} . \end{aligned}$$
(2.19)

Assumptions (2.1) and (2.4) imply

$$ G(u)=2 \int _{0}^{u}yg'(y)\,\mathrm{d}y\leq 2c \int _{0}^{u}y\,\mathrm{d}y=cu^{2}. $$

Hence,

$$\begin{aligned} u^{2}\geq \frac{1}{c}G(u). \end{aligned}$$
(2.20)

It follows from (2.19) and (2.20) that

$$\begin{aligned} \varPhi '(t)\leq {}& 2k(t) \biggl( \int _{\varOmega }u^{\kappa +1}\,\mathrm{d}x \biggr)^{1+\frac{lm}{\kappa +1}} \vert \varOmega \vert ^{ \frac{(\kappa +1-l)m}{\kappa +1}} \biggl\{ a_{1}- \frac{b_{2}M_{0}^{pq+1}}{k(t)(pq+1)^{2pq+2}} \\ & {}\times \vert \varOmega \vert ^{-\frac{2pq+1-\kappa -lm}{2}-m} \biggl( \int _{\varOmega }\frac{1}{c}G(u)\,\mathrm{d}x \biggr)^{\frac{2pq+1-\kappa -lm}{2}} \biggr\} \\ ={}& 2k(t) \biggl( \int _{\varOmega }u^{\kappa +1}\,\mathrm{d}x \biggr)^{1+ \frac{lm}{\kappa +1}} \vert \varOmega \vert ^{\frac{(\kappa +1-l)m}{\kappa +1}} \biggl\{ a_{1}- \frac{b_{2}M_{0}^{pq+1}}{(pq+1)^{2pq+2}k(t)c^{\frac{2pq+1-\kappa -lm}{2}}} \\ & {}\times \vert \varOmega \vert ^{-\frac{2pq+1-\kappa -lm}{2}-m}\varPhi (t)^{ \frac{2pq+1-\kappa -lm}{2}} \biggr\} . \end{aligned}$$
(2.21)

From (2.21), we are devoted to proving that u cannot blow up in the measure \(\varPhi (t)\). Now, suppose that u blows up at some finite \(t^{*}\) in the measure \(\varPhi (t)\). Then we could find

$$ \lim_{ t\rightarrow t^{*-}} k(t)=k\bigl(t^{*}\bigr),\qquad \lim _{ t\rightarrow t^{*-}} \varPhi (t)=+\infty. $$

Moreover,

$$ \lim_{ t\rightarrow t^{*-}}a_{1}- \frac{b_{2}M_{0}^{pq+1}}{(pq+1)^{2pq+2}k(t)c^{\frac{2pq+1-\kappa -lm}{2}}} \vert \varOmega \vert ^{-\frac{2pq+1-\kappa -lm}{2}-m}\varPhi (t)^{ \frac{2pq+1-\kappa -lm}{2}}=-\infty. $$

Therefore, (2.21) yields that there exists \(t_{1}< t^{*}\) such that \(\varPhi '(t)<0, t\in (t_{1},t^{*})\). Namely,

$$ \varPhi (t_{1})>\varPhi (t),\quad t\in \bigl(t_{1},t^{*} \bigr). $$

We take the limit as \(t\rightarrow t^{*-}\) to get

$$ \varPhi (t_{1})\geq \lim_{ t\rightarrow t^{*-}}\varPhi (t)=+\infty. $$

This is a contradiction. Then the hypothesis that u blows up at some finite time is false. □

3 Blow-up in finite time and an upper bound for blow-up time

This subsection presents that u blows up in finite time and derives an upper bound for blow-up time under some suitable assumptions of the functions \(\rho, b, k, f, g\). Firstly, we state the following Lemma 3.1 which is used for the proof of the main result.

Lemma 3.1

Suppose thatuis a classical solution of problem (1.1). And the following assumptions are satisfied:

$$\begin{aligned} & k'(t)\geq 0,\quad t>0. \end{aligned}$$
(3.1)
$$\begin{aligned} &\nabla \cdot \bigl(\rho \bigl( \vert \nabla u_{0} \vert ^{p}\bigr)\nabla u_{0}\bigr)+k(0)a(x)f(u_{0}) \geq 0,\quad x\in \overline{\varOmega }. \end{aligned}$$
(3.2)

Then

$$ u_{t}(x,t)\geq 0,\quad (t,x)\in [0,t^{*})\times \overline{ \varOmega }. $$

Proof

Taking a derivative of \(u_{t}\) with respect to t, we have

$$\begin{aligned} u_{tt}={}& \biggl(\frac{1}{g'(u)} \bigl(\nabla \cdot \bigl(\rho \bigl( \vert \nabla u \vert ^{p}\bigr) \nabla u\bigr)+k(t)a(x)f(u) \bigr) \biggr)_{t} \\ ={}& \Biggl(\frac{1}{g'} \Biggl(\rho \Delta u+p\rho ' \vert \nabla u \vert ^{p-2}\sum _{i,j=1}^{n}u_{x_{i}}u_{x_{j}}u_{x_{i}x_{j}}+k(t)a(x)f(u) \Biggr) \Biggr)_{t} \\ ={}&\frac{\rho }{g'}\Delta u_{t}+ \frac{p\rho 'g' \vert \nabla u \vert ^{p-2}\nabla u\cdot \nabla u_{t}-\rho g''u_{t}}{g^{\prime 2}} \Delta u \\ &{}+ \frac{g'p^{2}\rho '' \vert \nabla u \vert ^{p-2}\nabla u\cdot \nabla u_{t}-p\rho 'g''u_{t}}{g^{\prime 2}} \vert \nabla u \vert ^{p-2}\sum _{i,j=1}^{n}u_{x_{i}}u_{x_{j}}u_{x_{i}x_{j}} \\ & {}+ \frac{p\rho '(p-2) \vert \nabla u \vert ^{p-4}\nabla u\cdot \nabla u_{t}}{g'} \sum_{i,j=1}^{n}u_{x_{i}}u_{x_{j}}u_{x_{i}x_{j}} \\ & {}+\frac{2p\rho ' \vert \nabla u \vert ^{p-2}}{g'}\sum_{i,j=1}^{n}(u_{t})_{x_{i}}u_{x_{j}}u_{x_{i}x_{j}} \\ & {}+\frac{(ak'f+akf'u_{t})g'-g''u_{t}akf}{g^{\prime 2}}+ \frac{p\rho ' \vert \nabla u \vert ^{p-2}}{g'}\sum _{i,j=1}^{n}u_{x_{i}}u_{x_{j}}(u_{t})_{x_{i}x_{j}}. \end{aligned}$$

For convenience, let \(\xi =u_{t}\), then we get

$$\begin{aligned} \xi _{t}={}& \frac{\rho }{g'}\Delta \xi + \frac{p\rho ' \vert \nabla u \vert ^{p-2}}{g'}\sum_{i,j=1}^{n}u_{x_{i}}u_{x_{j}} \xi _{x_{i}x_{j}}+ \Biggl(\frac{p\rho ' \vert \nabla u \vert ^{p-2}\Delta u}{g'}+ \frac{\rho ''p^{2} \vert \nabla u \vert ^{2p-4}}{g'} \\ & {}\times \sum_{i,j=1}^{n}u_{x_{i}}u_{x_{j}}u_{x_{i}x_{j}}+ \frac{p(p-2)\rho ' \vert \nabla u \vert ^{p-4}}{g'}\sum_{i,j=1}^{n}u_{x_{i}}u_{x_{j}}u_{x_{i}x_{j}} \Biggr)\nabla u\cdot \nabla \xi \\ & {}+\frac{2p\rho ' \vert \nabla u \vert ^{p-2}}{g'}\sum_{i,j=1}^{n}u_{x_{j}}u_{x_{i}x_{j}} \xi _{x_{i}}+ \Biggl(\frac{akf'}{g'}-\frac{g''akf}{g^{\prime 2}} \\ & {}-\frac{\rho g''}{g^{\prime 2}}\Delta u- \frac{p\rho 'g'' \vert \nabla u \vert ^{p-2}}{g^{\prime 2}}\sum _{i,j=1}^{n}u_{x_{i}}u_{x_{j}}u_{x_{i}x_{j}} \Biggr)\xi +\frac{ak'f}{g'}. \end{aligned}$$
(3.3)

By (3.1) and the properties of the functions \(a,f,g\) for any \((t,x)\in [0,t^{*})\times \overline{\varOmega }\), we derive

$$\begin{aligned} & \frac{\rho }{g'}\Delta \xi + \frac{p\rho ' \vert \nabla u \vert ^{p-2}}{g'}\sum _{i,j=1}^{n}u_{x_{i}}u_{x_{j}} \xi _{x_{i}x_{j}}+ \Biggl(\frac{p\rho ' \vert \nabla u \vert ^{p-2}\Delta u}{g'}+ \frac{\rho ''p^{2} \vert \nabla u \vert ^{2p-4}}{g'} \\ & \qquad{}\times \sum_{i,j=1}^{n}u_{x_{i}}u_{x_{j}}u_{x_{i}x_{j}}+ \frac{p(p-2)\rho ' \vert \nabla u \vert ^{p-4}}{g'}\sum_{i,j=1}^{n}u_{x_{i}}u_{x_{j}}u_{x_{i}x_{j}} \Biggr)\nabla u\cdot \nabla \xi \\ & \qquad{}+\frac{2p\rho ' \vert \nabla u \vert ^{p-2}}{g'}\sum_{i,j=1}^{n}u_{x_{j}}u_{x_{i}x_{j}} \xi _{x_{i}}+ \Biggl(\frac{akf'}{g'}-\frac{g''akf}{g^{\prime 2}} \\ & \qquad{}-\frac{\rho g''}{g^{\prime 2}}\Delta u- \frac{p\rho 'g'' \vert \nabla u \vert ^{p-2}}{g^{\prime 2}}\sum _{i,j=1}^{n}u_{x_{i}}u_{x_{j}}u_{x_{i}x_{j}} \Biggr)\xi -\xi _{t} \\ &\quad =-\frac{ak'f}{g'}\leq 0. \end{aligned}$$
(3.4)

The Robin boundary condition of (1.1) implies

$$ \frac{\partial \xi }{\partial \nu }= \frac{\partial u_{t}}{\partial \nu }= \biggl( \frac{\partial u}{\partial \nu } \biggr)_{t}=-\gamma u_{t}=-\gamma \xi, $$

namely

$$ \frac{\partial \xi }{\partial \nu }+\gamma \xi =0,\quad (t,x) \in [0,t^{*}) \times \partial \varOmega. $$
(3.5)

From (3.2), we are led to

$$ \xi (x,0)=u_{t}(x,0)=\frac{1}{g'} \bigl(\nabla \cdot \bigl(\rho \bigl( \vert \nabla u_{0} \vert ^{p} \bigr) \nabla u_{0}\bigr)+k(0)a(x)f(u_{0}) \bigr)\geq 0,\quad x \in \overline{\varOmega }. $$
(3.6)

According to (3.4)–(3.6) and the maximum principle in [25], we can obtain

$$ u_{t}=\xi (x,t)\geq 0,\quad (t,x)\in [0,t^{*})\times \overline{\varOmega }. $$

The proof is complete. □

In the sequel, the main result Theorem 3.1 will be stated under Lemma 3.1 and the auxiliary functions defined by (2.1) and (2.2).

Theorem 3.1

Letube a classical solution of problem (1.1). And assume that (3.1)(3.2) hold and the functions\(\rho, g, f, k, a\)satisfy the following conditions:

$$\begin{aligned} & 1\leq \rho (s)\leq 1+\alpha,\qquad g''(s)\leq 0, \quad s>0, \end{aligned}$$
(3.7)
$$\begin{aligned} &\int _{\varOmega }a(x)sf(s)\,\mathrm{d}x\geq 2(1+\alpha ) \int _{\varOmega }a(x)F(s)\,\mathrm{d}x,\quad s>0, \end{aligned}$$
(3.8)
$$\begin{aligned} &\varPsi (0):=-\gamma \int _{\partial \varOmega } u_{0}^{2}\,\mathrm{d}S- \int _{ \varOmega } \vert \nabla u_{0} \vert ^{2}\,\mathrm{d}x+2k(0) \int _{\varOmega }a(x)F(u_{0})\,\mathrm{d}x>0, \end{aligned}$$
(3.9)

where\(u_{0}\)is the initial value andαis a positive constant. Thenublows up at some finite time\(T\leq T^{\ast }\)in the measure\(\varPhi (t)\). And

$$ T^{\ast }=\frac{\varPhi (0)}{2\alpha (1+\alpha )\varPsi (0)}. $$

Proof

Obviously, (2.6) also holds. Then, from assumptions (3.7) and (3.8), we rewrite (2.6) as

$$\begin{aligned} \varPhi '(t)&\geq -2\gamma (1+\alpha ) \int _{\partial \varOmega }u^{2}\,\mathrm{d}S-2(1+\alpha ) \int _{\varOmega } \vert \nabla u \vert ^{2}\, \mathrm{d}x+4(1+\alpha ) \int _{\varOmega }k(t) a(x)F(u)\,\mathrm{d}x \\ &=2(1+\alpha )\varPsi (t). \end{aligned}$$
(3.10)

Differentiating \(\varPsi (t)\) in (2.2), we obtain

$$\begin{aligned} \varPsi '(t)={}&{-}2\gamma \int _{\partial \varOmega }uu_{t}\,\mathrm{d}S-2 \int _{\varOmega }\nabla u\cdot \nabla u_{t}\, \mathrm{d}x+2k'(t) \int _{\varOmega }a(x)F(u)\,\mathrm{d}x \\ & {}+2k(t) \int _{\varOmega }a(x)f(u)u_{t}\,\mathrm{d}x \\ \geq {}&{-}2\gamma \int _{\partial \varOmega }uu_{t}\,\mathrm{d}S-2 \int _{ \varOmega }\nabla u\cdot \nabla u_{t}\, \mathrm{d}x+2k(t) \int _{\varOmega }a(x)f(u)u_{t}\,\mathrm{d}x \\ \geq{} &{-}2\gamma \int _{\partial \varOmega }\rho \bigl( \vert \nabla u \vert ^{p} \bigr)uu_{t}\,\mathrm{d}S-2 \int _{\varOmega }\rho \bigl( \vert \nabla u \vert ^{p} \bigr)\nabla u\cdot \nabla u_{t}\,\mathrm{d}x \\ & {}+2k(t) \int _{\varOmega }a(x)f(u)u_{t}\,\mathrm{d}x, \end{aligned}$$

where (3.2) and (3.7) are used. Moreover, it follows from Gauss’s law and Robin’s boundary condition that

$$\begin{aligned} \varPsi '(t)\geq {}&2 \int _{\partial \varOmega }\rho \bigl( \vert \nabla u \vert ^{p} \bigr)u_{t} \frac{\partial u}{\partial \nu }\,\mathrm{d}S-2 \int _{\varOmega }\rho \bigl( \vert \nabla u \vert ^{p} \bigr)\nabla u\cdot \nabla u_{t}\,\mathrm{d}x \\ & {}+2k(t) \int _{\varOmega }a(x)f(u)u_{t}\,\mathrm{d}x \\ ={}&2 \int _{\varOmega }\nabla \cdot \bigl(\rho \bigl( \vert \nabla u \vert ^{p}\bigr)\nabla uu_{t} \bigr)\,\mathrm{d}x-2 \int _{\varOmega }\rho \bigl( \vert \nabla u \vert ^{p} \bigr)\nabla u\cdot \nabla u_{t}\,\mathrm{d}x \\ & {}+2k(t) \int _{\varOmega }a(x)f(u)u_{t}\,\mathrm{d}x \\ ={}&2 \int _{\varOmega }u_{t}\nabla \cdot \bigl(\rho \bigl( \vert \nabla u \vert ^{p}\bigr) \nabla u \bigr)\,\mathrm{d}x+2k(t) \int _{\varOmega }a(x)f(u)u_{t}\,\mathrm{d}x \\ ={}&2 \int _{\varOmega }g'(u)u_{t}^{2}\, \mathrm{d}x \\ \geq {}&0 . \end{aligned}$$
(3.11)

Therefore, \(\varPsi (t)\) is a nondecreasing function in t. By virtue of (3.9), it is easy to get that

$$ \varPsi (t)\geq \varPsi (0)>0, \quad\forall t\in (0,T). $$

Consequently, (3.10) yields

$$\begin{aligned} \varPhi '(t)>0. \end{aligned}$$
(3.12)

With the help of (3.10)–(3.11), we obtain

$$\begin{aligned} 2(1+\alpha )\varPsi (t)\varPhi '(t) &\leq \bigl(\varPhi '(t)\bigr)^{2}= \biggl(2 \int _{\varOmega }ug'(u)u_{t}\,\mathrm{d}x \biggr)^{2} \\ &\leq 4 \int _{\varOmega }g'(u)u^{2}\,\mathrm{d}x \int _{\varOmega }g'(u)u^{2}_{t}\,\mathrm{d}x, \end{aligned}$$
(3.13)

where Schwarz’s inequality is applied. Integrating by parts and (3.7), we are led to

$$\begin{aligned} G(u)&= 2 \int _{0}^{u}yg'(y)\,\mathrm{d}y \\ &= \int _{0}^{u}g'(y)\, \mathrm{d}y^{2} \\ &=g'(u)u^{2}- \int _{0}^{u}y^{2}g''(y) \,\mathrm{d}y \\ &\geq g'(u)u^{2}. \end{aligned}$$

Therefore, (3.13) can be replaced by

$$ (1+\alpha )\varPsi (t)\varPhi '(t)\leq 2 \int _{\varOmega }G(u)\,\mathrm{d}x \int _{\varOmega }g'(u)u^{2}_{t}\, \mathrm{d}x\leq \varPhi (t)\varPsi '(t), $$
(3.14)

namely

$$ \bigl(\varPsi (t)\varPhi (t)^{-(\alpha +1)}\bigr)' \geq 0. $$
(3.15)

We integrate (3.15) from 0 to t and obtain

$$ \varPsi (t)\varPhi (t)^{-(\alpha +1)}\geq \varPsi (0)\varPhi (0)^{-(\alpha +1)}. $$
(3.16)

(3.10) and (3.16) imply

$$ \varPhi '(t)\varPhi (t)^{-(\alpha +1)}\geq 2(1+ \alpha ) \varPsi (0)\varPhi (0)^{-( \alpha +1)}. $$
(3.17)

When \(\alpha >0\), integrating (3.17) from 0 to t again, we have

$$ \varPhi (t)^{-\alpha }\leq -2\alpha (1+\alpha ) \varPsi (0) \varPhi (0)^{-( \alpha +1)}t+\varPhi (0)^{-\alpha }. $$
(3.18)

Hence, it follows from (3.18) that the solution u of (1.1) blows up at some finite time \(T< T^{\ast }\) in the measure \(\varPhi (t)\) and

$$ T< T^{\ast }=\frac{\varPhi (0)}{2\alpha (1+\alpha )\varPsi (0)}. $$

 □

4 A lower bound for blow-up time

In this subsection, a lower bound for the blow-up time \(t^{*}\) is given. Now we will make the following assumptions on the functions \(k,\rho,a,f,g\):

$$\begin{aligned} &a(x)f(s)\leq c_{1}+c_{2}s^{\beta },\quad s>0, \end{aligned}$$
(4.1)
$$\begin{aligned} &\rho (s)\geq b_{1}+b_{2} s^{2q},\qquad g'(s)\geq m_{0},\quad s>0, \end{aligned}$$
(4.2)
$$\begin{aligned} &\frac{k'(t)}{k(t)}\leq \eta,\qquad k(t)\leq \eta _{0},\quad t>0, \end{aligned}$$
(4.3)

where \(c_{1}, q\) are nonnegative constants, \(b_{1}, b_{2}, c_{2}, \eta, m_{0}, \beta, \eta _{0}\) are some positive constants, and they satisfy \(\beta >2pq+1\). Now we define the new auxiliary functions to prove the main result in this section:

$$ A(t)=k^{\delta _{1}}(t) \int _{\varOmega }B(u)\,\mathrm{d}x, \quad t\geq 0,\qquad B(s)= \delta _{2} \int _{0}^{s}g'(y)y^{\delta _{2}-1}\, \mathrm{d}y,\quad s\geq 0, $$
(4.4)

where

$$\begin{aligned} & \delta _{1}=\frac{2r(pq+1)+pq(n-2)}{\beta -1},\qquad \delta _{2}=2r(pq+1)-2pq, \end{aligned}$$
(4.5)
$$\begin{aligned} &\mu \geq r=\max \biggl\{ \frac{(n-2)(\beta -2pq-1)}{4(pq+1)},1 \biggr\} . \end{aligned}$$
(4.6)

The following is our main result.

Theorem 4.1

Letube a classical solution of problem (1.1). Assume that conditions (4.1)(4.3) on\(k,\rho,a,f,g\)hold. Andubecomes unbounded in the measure\(A(t)\)at some finite time\(t^{*}\). Then the blow-up time\(t^{*}\)is bounded and it satisfies

$$ t^{*}\geq \int _{A(0)}^{\infty } \frac{1}{\delta _{1}\eta \tau +C_{1}\tau ^{\frac{\delta _{2}-1}{\delta _{2}}}+C_{2}\tau ^{\frac{4r(pq+1)+2pq(n-2)-(n-2)(\beta -1)}{4r(pq+1)+2pq(n-2)-n(\beta -1)}}}d \tau. $$

Here

$$\begin{aligned} & C_{1}= \frac{\eta _{0}^{\frac{\delta _{1}+\delta _{2}}{\delta _{2}}} \vert \varOmega \vert ^{\frac{1}{\delta _{2}}}c_{1}\delta _{2}}{m_{0}^{\frac{\delta _{2}-1}{\delta _{2}}}}, \end{aligned}$$
(4.7)
$$\begin{aligned} &C_{2}= \frac{4r(pq+1)+2pq(n-2)-n(\beta -1)}{4r(pq+1)+2pq(n-2)}c_{2} \delta _{2} \biggl(C_{0}^{2} \biggl(1+ \frac{1}{M} \biggr) \biggr)^{ \frac{n(\beta -1)}{4r(pq+1)+2pq(n-2)}} \\ & \phantom{ C_{2}=}{}\times\varepsilon ^{-\frac{n(\beta -1)}{4r(pq+1)+2pq(n-2)}} \biggl( \frac{1}{m_{0}} \biggr)^{ \frac{4r(pq+1)+2pq(n-2)-(n-2)(\beta -1)}{4r(pq+1)+2pq(n-2)-n(\beta -1)}}, \end{aligned}$$
(4.8)

where\(C_{0}\)is a Sobolev embedding constant depending onnandΩ, \(|\varOmega |\)stands for the volume ofΩ.

$$\begin{aligned} &\varepsilon = \frac{b_{2}\delta _{2}(\delta _{2}-1)M^{pq} (4r(pq+1)+2pq(n-2) )}{n(\beta -1) (r(pq+1) )^{2(pq+1)}c_{2}\delta _{2} (C_{0}^{2}(1+\frac{1}{M}) )^{\frac{n(\beta -1)}{4r(pq+1)+2pq(n-2)}}}, \end{aligned}$$
(4.9)
$$\begin{aligned} &M= \frac{\lambda -r\gamma (pq+1) (\frac{n}{L_{0}}+ (\frac{d}{L_{0}} )^{2} \theta _{0} )}{1+r\gamma (pq+1)\theta _{0}^{-1}},\qquad \theta _{0}= \frac{\lambda L_{0}^{2}-r\gamma (pq+1)nL_{0}}{2\gamma (pq+1)d^{2}}. \end{aligned}$$
(4.10)

Proof

From Gauss’s law and conditions \(\text{(4.1)}--\text{(4.3)}\), we obtain

$$\begin{aligned} A'(t)={}& \delta _{1}k^{\delta _{1}-1}(t)k'(t) \int _{\varOmega }B(u)\,\mathrm{d}x+k^{\delta _{1}}(t) \int _{\varOmega }B'(u)u_{t}\,\mathrm{d}x \\ ={}&\delta _{1}k^{\delta _{1}}(t)\frac{k'(t)}{k(t)} \int _{\varOmega }B(u)\,\mathrm{d}x+\delta _{2} k^{\delta _{1}}(t) \int _{\varOmega }u^{\delta _{2}-1}g'(u)u_{t}\,\mathrm{d}x \\ \leq {}&\delta _{1}\eta A(t)+\delta _{2} k^{\delta _{1}}(t) \int _{\varOmega }u^{\delta _{2}-1} \bigl(\nabla \cdot \bigl(\rho \bigl( \vert \nabla u \vert ^{p}\bigr) \nabla u \bigr)+a(x)k(t)f(u) \bigr)\,\mathrm{d}x \\ ={}&\delta _{1}\eta A(t)+\delta _{2} k^{\delta _{1}}(t) \int _{\varOmega }\nabla \cdot \bigl(u^{\delta _{2}-1}\rho \bigl( \vert \nabla u \vert ^{p}\bigr)\nabla u \bigr)\,\mathrm{d}x- \delta _{2}(\delta _{2}-1)k^{\delta _{1}}(t) \\ & {}\times \int _{\varOmega }u^{\delta _{2}-2}\rho \bigl( \vert \nabla u \vert ^{p}\bigr) \vert \nabla u \vert ^{2}\,\mathrm{d}x+ \delta _{2} k^{\delta _{1}+1}(t) \int _{\varOmega }u^{\delta _{2}-1}a(x)f(u)\,\mathrm{d}x \\ ={}&\delta _{1}\eta A(t)+\delta _{2} k^{\delta _{1}}(t) \int _{ \partial \varOmega } u^{\delta _{2}-1}\rho \bigl( \vert \nabla u \vert ^{p}\bigr) \frac{\partial u}{\partial \nu } \,\mathrm{d}S-\delta _{2}(\delta _{2}-1)k^{ \delta _{1}}(t) \\ & {}\times \int _{\varOmega }u^{\delta _{2}-2}\rho \bigl( \vert \nabla u \vert ^{p}\bigr) \vert \nabla u \vert ^{2}\,\mathrm{d}x+ \delta _{2} k^{\delta _{1}+1}(t) \int _{\varOmega }u^{\delta _{2}-1}a(x)f(u)\,\mathrm{d}x \\ \leq {}&\delta _{1}\eta A(t)-\gamma \delta _{2} k^{\delta _{1}}(t) \int _{\partial \varOmega } u^{\delta _{2}}\rho \bigl( \vert \nabla u \vert ^{p}\bigr) \,\mathrm{d}S- \delta _{2}(\delta _{2}-1)k^{\delta _{1}}(t) \\ &{}\times \int _{\varOmega }u^{\delta _{2}-2}\bigl(b_{1}+b_{2} \vert \nabla u \vert ^{2pq}\bigr) \vert \nabla u \vert ^{2}\,\mathrm{d}x+\delta _{2} k^{\delta _{1}+1}(t) \int _{\varOmega }u^{ \delta _{2}-1}\bigl(c_{1}+c_{2}u^{\beta } \bigr)\,\mathrm{d}x \\ \leq {}&\delta _{1}\eta A(t)-\delta _{2}b_{2}( \delta _{2}-1)k^{\delta _{1}}(t) \int _{\varOmega }u^{\delta _{2}-2} \vert \nabla u \vert ^{2pq+2}\,\mathrm{d}x+c_{1}\delta _{2} k^{\delta _{1}+1}(t) \\ &{}\times \int _{\varOmega }u^{\delta _{2}-1}\,\mathrm{d}x+c_{2}\delta _{2} k^{ \delta _{1}+1}(t) \int _{\varOmega }u^{\delta _{2}+\beta -1}\,\mathrm{d}x. \end{aligned}$$
(4.11)

Then we replace \(u^{r}\) with v in (4.11) and have

$$\begin{aligned} A'(t)\leq {}& \delta _{1}\eta A(t)- \frac{\delta _{2}b_{2}(\delta _{2}-1)}{r^{2pq+2}}k^{\delta _{1}}(t) \int _{\varOmega } \vert \nabla v \vert ^{2pq+2}\, \mathrm{d}x+c_{1}\delta _{2} k^{\delta _{1}+1}(t) \int _{\varOmega }v^{\frac{\delta _{2}-1}{r}}\,\mathrm{d}x \\ & {}+c_{2}\delta _{2} k^{\delta _{1}+1}(t) \int _{\varOmega }v^{2(pq+1)+ \frac{\beta -2pq-1}{r}}\,\mathrm{d}x. \end{aligned}$$
(4.12)

Similar to the proof of inequality (2.12), we can derive

$$ \int _{\varOmega } \bigl\vert \nabla v^{pq+1} \bigr\vert ^{2}\,\mathrm{d}x\geq M \int _{\varOmega }v^{2pq+2}\,\mathrm{d}x, $$
(4.13)

where \(M>0\) is defined by (4.10). It follows from Hölder’s inequality and (4.13) that

$$\begin{aligned} \int _{\varOmega } \bigl\vert \nabla v^{pq+1} \bigr\vert ^{2}\,\mathrm{d}x={}& (pq+1)^{2} \int _{\varOmega }v^{2pq} \vert \nabla v \vert ^{2}\,\mathrm{d}x \\ \leq{} &(pq+1)^{2} \biggl( \int _{\varOmega }v^{2pq+2}\,\mathrm{d}x \biggr)^{ \frac{pq}{pq+1}} \biggl( \int _{\varOmega } \vert \nabla v \vert ^{2pq+2}\, \mathrm{d}x \biggr)^{ \frac{1}{pq+1}} \\ \leq{} &\frac{(pq+1)^{2}}{M^{\frac{pq}{pq+1}}} \biggl( \int _{\varOmega } \bigl\vert \nabla v^{pq+1} \bigr\vert ^{2}\,\mathrm{d}x \biggr)^{\frac{pq}{pq+1}} \biggl( \int _{\varOmega } \vert \nabla v \vert ^{2pq+2}\, \mathrm{d}x \biggr)^{\frac{1}{pq+1}}. \end{aligned}$$
(4.14)

That is,

$$\begin{aligned} \int _{\varOmega } \vert \nabla v \vert ^{2pq+2}\, \mathrm{d}x\geq \frac{M^{pq}}{(pq+1)^{2pq+2}} \int _{\varOmega } \bigl\vert \nabla v^{pq+1} \bigr\vert ^{2}\,\mathrm{d}x. \end{aligned}$$
(4.15)

Therefore, (4.12) can be rewritten as

$$\begin{aligned} A'(t)\leq {}& \delta _{1}\eta A(t)- \frac{\delta _{2}b_{2}(\delta _{2}-1)M^{pq}}{(r(pq+1))^{2pq+2}}k^{ \delta _{1}}(t) \int _{\varOmega } \bigl\vert \nabla v^{pq+1} \bigr\vert ^{2}\,\mathrm{d}x+c_{1} \delta _{2} k^{\delta _{1}+1}(t) \\ & {}\times \int _{\varOmega }v^{\frac{\delta _{2}-1}{r}}\,\mathrm{d}x+c_{2} \delta _{2} k^{\delta _{1}+1}(t) \int _{\varOmega }v^{2(pq+1)+ \frac{\beta -2pq-1}{r}}\,\mathrm{d}x. \end{aligned}$$
(4.16)

In what follows, we estimate the last two terms on the right-hand side of (4.16). Hölder’s inequality and (4.3) yield

$$\begin{aligned} & k^{\delta _{1}+1}(t) \int _{\varOmega }v^{\frac{\delta _{2}-1}{r}}\,\mathrm{d}x \leq \biggl( \int _{\varOmega }k^{\delta _{1}}(t)v^{ \frac{\delta _{2}}{r}}\,\mathrm{d}x \biggr)^{ \frac{\delta _{2}-1}{\delta _{2}}}k^{ \frac{\delta _{1}+\delta _{2}}{\delta _{2}}}(t) \vert \varOmega \vert ^{ \frac{1}{\delta _{2}}} \\ & \phantom{k^{\delta _{1}+1}(t) \int _{\varOmega }v^{\frac{\delta _{2}-1}{r}}\,\mathrm{d}x}\leq \biggl( \int _{\varOmega }k^{\delta _{1}}(t)v^{\frac{\delta _{2}}{r}}\,\mathrm{d}x \biggr)^{\frac{\delta _{2}-1}{\delta _{2}}}\eta _{0}^{ \frac{\delta _{1}+\delta _{2}}{\delta _{2}}} \vert \varOmega \vert ^{ \frac{1}{\delta _{2}}}, \end{aligned}$$
(4.17)
$$\begin{aligned} & k^{\delta _{1}+1}(t) \int _{\varOmega }v^{2(pq+1)+\frac{\beta -2pq-1}{r}}\,\mathrm{d}x \leq \biggl(k^{\delta _{1}}(t) \int _{\varOmega }v^{ \frac{\delta _{2}}{r}}\,\mathrm{d}x \biggr)^{ \frac{4r(pq+1)-(n-2)(\beta -2pq-1)}{4r(pq+1)+2pq(n-2)}} \\ &\phantom{k^{\delta _{1}+1}(t) \int _{\varOmega }v^{2(pq+1)+\frac{\beta -2pq-1}{r}}\,\mathrm{d}x\leq} {}\times \biggl(k^{\frac{n\delta _{1}}{n-2}}(t) \int _{\varOmega }v^{ \frac{2n(pq+1)}{n-2}}\,\mathrm{d}x \biggr)^{ \frac{(n-2)(\beta -1)}{4r(pq+1)+2pq(n-2)}}. \end{aligned}$$
(4.18)

Now we deal with (4.18). Using Sobolev’s inequality and (4.13), we get

$$\begin{aligned} \biggl( \int _{\varOmega }v^{\frac{2n(pq+1)}{n-2}}\,\mathrm{d}x \biggr)^{ \frac{n-2}{2n}}& \leq C_{0} \biggl( \int _{\varOmega }v^{2(pq+1)}\,\mathrm{d}x+ \int _{\varOmega } \bigl\vert \nabla v^{pq+1} \bigr\vert ^{2}\,\mathrm{d}x \biggr)^{\frac{1}{2}} \\ &\leq C_{0} \biggl( \int _{\varOmega }\frac{1}{M} \bigl\vert \nabla v^{pq+1} \bigr\vert ^{2}\,\mathrm{d}x+ \int _{\varOmega } \bigl\vert \nabla v^{pq+1} \bigr\vert ^{2}\,\mathrm{d}x \biggr)^{\frac{1}{2}} \\ &\leq C_{0} \biggl(1+ \frac{1}{M} \biggr)^{\frac{1}{2}} \biggl( \int _{\varOmega } \bigl\vert \nabla v^{pq+1} \bigr\vert ^{2}\,\mathrm{d}x \biggr)^{\frac{1}{2}}. \end{aligned}$$

Namely,

$$ \int _{\varOmega }v^{\frac{2n(pq+1)}{n-2}}\,\mathrm{d}x\leq C_{0}^{ \frac{2n}{n-2}} \biggl(1+ \frac{1}{M} \biggr)^{\frac{n}{n-2}} \biggl( \int _{\varOmega } \bigl\vert \nabla v^{pq+1} \bigr\vert ^{2}\,\mathrm{d}x \biggr)^{\frac{n}{n-2}}. $$
(4.19)

The substitution of (4.19) into (4.18) and Young’s inequality imply

$$\begin{aligned} &k^{\delta _{1}+1}(t) \int _{\varOmega }v^{2(pq+1)+ \frac{\beta -2pq-1}{r}}\,\mathrm{d}x \\ &\quad \leq \biggl(k^{\delta _{1}}(t) \int _{\varOmega }v^{ \frac{\delta _{2}}{r}}\,\mathrm{d}x \biggr)^{ \frac{4r(pq+1)-(n-2)(\beta -2pq-1)}{4r(pq+1)+2pq(n-2)}} \biggl\{ k^{ \frac{n\delta _{1}}{n-2}}(t)C_{0}^{\frac{2n}{n-2}} \biggl(1+ \frac{1}{M} \biggr)^{\frac{n}{n-2}} \\ & \qquad{}\times \biggl( \int _{\varOmega } \bigl\vert \nabla v^{pq+1} \bigr\vert ^{2}\,\mathrm{d}x \biggr)^{ \frac{n}{n-2}} \biggr\} ^{\frac{(n-2)(\beta -1)}{4r(pq+1)+2pq(n-2)}} \\ &\quad= \biggl\{ \biggl(k^{\delta _{1}}(t) \int _{\varOmega }v^{ \frac{\delta _{2}}{r}}\,\mathrm{d}x \biggr)^{ \frac{4r(pq+1)+2pq(n-2)-(n-2)(\beta -1)}{4r(pq+1)+2pq(n-2)-n(\beta -1)}} \biggr\} ^{\frac{4r(pq+1)+2pq(n-2)-n(\beta -1)}{4r(pq+1)+2pq(n-2)}} \\ & \qquad{}\times \biggl\{ C_{0}^{2} \biggl(1+ \frac{1}{M} \biggr) \biggr\} ^{ \frac{n(\beta -1)}{4r(pq+1)+2pq(n-2)}}\cdot \biggl(k^{\delta _{1}}(t) \int _{\varOmega } \bigl\vert \nabla v^{pq+1} \bigr\vert ^{2}\,\mathrm{d}x \biggr)^{ \frac{n(\beta -1)}{4r(pq+1)+2pq(n-2)}} \\ &\quad = \biggl\{ C_{0}^{2} \biggl(1+ \frac{1}{M} \biggr) \biggr\} ^{ \frac{n(\beta -1)}{4r(pq+1)+2pq(n-2)}}\cdot \biggl\{ \varepsilon ^{- \frac{n(\beta -1)}{4r(pq+1)+2pq(n-2)-n(\beta -1)}} \\ &\qquad{}\times \biggl(k^{\delta _{1}}(t) \int _{\varOmega }v^{ \frac{\delta _{2}}{r}}\,\mathrm{d}x \biggr)^{ \frac{4r(pq+1)+2pq(n-2)-(n-2)(\beta -1)}{4r(pq+1)+2pq(n-2)-n(\beta -1)}} \biggr\} ^{\frac{4r(pq+1)+2pq(n-2)-n(\beta -1)}{4r(pq+1)+2pq(n-2)}} \\ &\qquad{}\times \biggl(\varepsilon k^{\delta _{1}}(t) \int _{\varOmega } \bigl\vert \nabla v^{pq+1} \bigr\vert ^{2}\,\mathrm{d}x \biggr)^{\frac{n(\beta -1)}{4r(pq+1)+2pq(n-2)}} \\ &\quad\leq \biggl\{ C_{0}^{2} \biggl(1+ \frac{1}{M} \biggr) \biggr\} ^{ \frac{n(\beta -1)}{4r(pq+1)+2pq(n-2)}}\cdot \biggl\{ \frac{4r(pq+1)+2pq(n-2)-n(\beta -1)}{4r(pq+1)+2pq(n-2)} \\ &\qquad{}\times\varepsilon ^{-\frac{n(\beta -1)}{4r(pq+1)+2pq(n-2)}}\cdot \biggl(k^{ \delta _{1}}(t) \int _{\varOmega }v^{\frac{\delta _{2}}{r}}\,\mathrm{d}x \biggr)^{ \frac{4r(pq+1)+2pq(n-2)-(n-2)(\beta -1)}{4r(pq+1)+2pq(n-2)-n(\beta -1)}} \\ & \qquad{}+\frac{n(\beta -1)}{4r(pq+1)+2pq(n-2)}\cdot \biggl(\varepsilon k^{ \delta _{1}}(t) \int _{\varOmega } \bigl\vert \nabla v^{pq+1} \bigr\vert ^{2}\,\mathrm{d}x \biggr) \biggr\} . \end{aligned}$$
(4.20)

We insert (4.17)–(4.20) into (4.16) and obtain

$$\begin{aligned} A'(t)\leq {}& \delta _{1}\eta A(t)- \frac{\delta _{2}b_{2}(\delta _{2}-1)M^{pq}}{(r(pq+1))^{2pq+2}}k^{ \delta _{1}}(t) \int _{\varOmega } \bigl\vert \nabla v^{pq+1} \bigr\vert ^{2}\,\mathrm{d}x+\eta _{0}^{ \frac{\delta _{1}+\delta _{2}}{\delta _{2}}} \vert \varOmega \vert ^{ \frac{1}{\delta _{2}}} \\ &{}\times c_{1}\delta _{2} \biggl(k^{\delta _{1}}(t) \int _{\varOmega }v^{ \frac{\delta _{2}}{r}}\,\mathrm{d}x \biggr)^{ \frac{\delta _{2}-1}{\delta _{2}}}+c_{2} \delta _{2} \biggl\{ C_{0}^{2} \biggl(1+ \frac{1}{M} \biggr) \biggr\} ^{\frac{n(\beta -1)}{4r(pq+1)+2pq(n-2)}} \\ &{}\times \biggl\{ \frac{4r(pq+1)+2pq(n-2)-n(\beta -1)}{4r(pq+1)+2pq(n-2)}\varepsilon ^{- \frac{n(\beta -1)}{4r(pq+1)+2pq(n-2)}} \\ &{}\times \biggl(k^{\delta _{1}}(t) \int _{\varOmega }v^{ \frac{\delta _{2}}{r}}\,\mathrm{d}x \biggr)^{ \frac{4r(pq+1)+2pq(n-2)-(n-2)(\beta -1)}{4r(pq+1)+2pq(n-2)-n(\beta -1)}}+ \frac{n(\beta -1)}{4r(pq+1)+2pq(n-2)} \\ &{}\times \biggl(\varepsilon k^{\delta _{1}}(t) \int _{\varOmega } \bigl\vert \nabla v^{pq+1} \bigr\vert ^{2}\,\mathrm{d}x \biggr) \biggr\} . \end{aligned}$$
(4.21)

From the definition of ε, the terms containing \(\int _{\varOmega }|\nabla v^{pq+1}|^{2}\,\mathrm{d}x\) in (4.21) are offset, that is,

$$\begin{aligned} A'(t)\leq {}&\delta _{1}\eta A(t)+\eta _{0}^{ \frac{\delta _{1}+\delta _{2}}{\delta _{2}}} \vert \varOmega \vert ^{ \frac{1}{\delta _{2}}}c_{1} \delta _{2} \biggl(k^{\delta _{1}}(t) \int _{\varOmega }v^{\frac{\delta _{2}}{r}}\,\mathrm{d}x \biggr)^{ \frac{\delta _{2}-1}{\delta _{2}}}+c_{2} \delta _{2}\varepsilon ^{- \frac{n(\beta -1)}{4r(pq+1)+2pq(n-2)}} \\ &{}\times \frac{4r(pq+1)+2pq(n-2)-n(\beta -1)}{4r(pq+1)+2pq(n-2)} \biggl(C_{0}^{2} \biggl(1+ \frac{1}{M} \biggr) \biggr)^{ \frac{n(\beta -1)}{4r(pq+1)+2pq(n-2)}} \\ &{}\times \biggl(k^{\delta _{1}}(t) \int _{\varOmega }v^{ \frac{\delta _{2}}{r}}\,\mathrm{d}x \biggr)^{ \frac{4r(pq+1)+2pq(n-2)-(n-2)(\beta -1)}{4r(pq+1)+2pq(n-2)-n(\beta -1)}}. \end{aligned}$$

By \(g'(s)>0\) in (4.2), we get

$$ B(u)=\delta _{2} \int _{0}^{u}g'(y)y^{\delta _{2}-1}\, \mathrm{d}y\geq m_{0} \delta _{2} \int _{0}^{u}y^{\delta _{2}-1}\, \mathrm{d}y=m_{0}u^{\delta _{2}}. $$

That is,

$$ v^{\frac{\delta _{2}}{r}}=u^{\delta _{2}}\leq \frac{1}{m_{0}}B(u). $$

Then

$$\begin{aligned} A'(t)\leq \delta _{1}\eta A(t)+C_{1}A(t)^{ \frac{\delta _{2}-1}{\delta _{2}}}+C_{2}A(t)^{ \frac{4r(pq+1)+2pq(n-2)-(n-2)(\beta -1)}{4r(pq+1)+2pq(n-2)-n(\beta -1)}}, \end{aligned}$$
(4.22)

where \(C_{1}, C_{2}\) are defined as (4.7) and (4.8). Integrating (4.22) from 0 to t, we have

$$ \int _{A(0)}^{A(t)} \frac{\mathrm{d}\tau }{\delta _{1}\eta \tau +C_{1}\tau ^{\frac{\delta _{2}-1}{\delta _{2}}}+C_{2}\tau ^{\frac{4r(pq+1)+2pq(n-2)-(n-2)(\beta -1)}{4r(pq+1)+2pq(n-2)-n(\beta -1)}}} \leq t. $$

We take the limit \(t\rightarrow t^{*-}\) to get

$$ t^{*}\geq \int _{A(0)}^{\infty } \frac{d\tau }{\delta _{1}\eta \tau +C_{1}\tau ^{\frac{\delta _{2}-1}{\delta _{2}}}+C_{2}\tau ^{\frac{4r(pq+1)+2pq(n-2)-(n-2)(\beta -1)}{4r(pq+1)+2pq(n-2)-n(\beta -1)}}}. $$

Thus, if u blows up in the measure \(A(t)\) at some finite time \(t^{*}\), and there is a lower bound for blow-up time. □

5 Applications

As applications, the section shows that two examples illustrate our main results.

Example 5.1

Assume that u is a classical solution of the following equation:

$$ \textstyle\begin{cases} (3u-\ln (1+u) )_{t}=\nabla \cdot ((2+ \vert \nabla u \vert ^{ \frac{5}{4}})\nabla u )+e^{3t}(2-\frac{ \vert x \vert ^{2}}{4})u^{2} ( \int _{\varOmega }u\,\mathrm{d}x )^{\frac{1}{6}}, \\\quad (x,t)\in \varOmega \times (0,T), \\ \frac{\partial u}{\partial \nu }+\frac{1}{3}u=0,\quad (x,t) \in \partial \varOmega \times (0,T), \\ u(x,0)=u_{0}(x)=4-\frac{ \vert x \vert ^{2}}{4}, \quad x\in \overline{\varOmega }, \end{cases} $$

where \(\varOmega =\{x=(x_{1},x_{2},x_{3})|x_{1}^{2}+x_{2}^{2}+x_{3}^{2}<4\}\). Then u cannot blow up in the measure \(\varPhi (t)\), where

$$ \varPhi (t)= \int _{\varOmega }-2u+3u^{2}+\ln (1+u)\,\mathrm{d}x. $$

Proof

Compared with problem (1.1), it is obvious that

$$\begin{aligned} &g(u)=3u-\ln (1+u), \qquad \rho (s)=2+s^{\frac{1}{4}},\qquad f(u)=u^{2} \biggl( \int _{\varOmega }u\,\mathrm{d}x \biggr)^{\frac{1}{6}}, \\ &k(t)=e^{3t}, \qquad a(x)=2-\frac{ \vert x \vert ^{2}}{4},\qquad u_{0}(x)=4- \frac{ \vert x \vert ^{2}}{4},\qquad p=5. \end{aligned}$$

Set \(q=\frac{1}{8}, a_{1}=\kappa =2, l=1, \gamma =\frac{1}{3}, c=3, m= \frac{1}{6}, \lambda =2.4547\). And they satisfy the conditions of Theorem 2.1. Hence, we get that u cannot blow up in the measure \(\varPhi (t)\). □

Example 5.2

Suppose that u is a classical solution of the following equation:

$$ \textstyle\begin{cases} (3u+\ln (1+u) )_{t}=\nabla \cdot ( (5+ \frac{1}{3+ \vert \nabla u \vert ^{3}} )\nabla u )+(3-2e^{-t})(2- \frac{ \vert x \vert ^{2}}{4})u^{2}, \\ \quad (x,t)\in \varOmega \times (0,T), \\ \frac{\partial u}{\partial \nu }+\frac{1}{3}u=0, \quad (x,t) \in \partial \varOmega \times (0,T), \\ u(x,0)=u_{0}(x)=2-\frac{ \vert x \vert ^{2}}{8}, \quad x\in \overline{\varOmega }, \end{cases} $$

where \(\varOmega =\{x=(x_{1},x_{2},x_{3})|x_{1}^{2}+x_{2}^{2}+x_{3}^{2}<4\}\). Then u will blow up at \(t^{*}<0.0552\) in the measure \(\varPhi (t)\), where

$$ \varPhi (t)= \int _{\varOmega }G(u)\,\mathrm{d}x= \int _{\varOmega } \bigl(3u^{2}+2u-2\ln (1+u) \bigr)\, \mathrm{d}x. $$

Moreover, the blow-up time \(t^{*}\) is also bounded below and

$$\begin{aligned} t^{*}\geq 0.0004. \end{aligned}$$

Proof

Compared with (1.1), we have

$$\begin{aligned} &g(u)=3u+\ln (1+u),\qquad \rho \bigl( \vert \nabla u \vert ^{3} \bigr)=5+\frac{1}{3+ \vert \nabla u \vert ^{3}},\qquad f(u)=u^{2}, \\ &k(t)=3-2e^{-t}, \qquad a(x)=2-\frac{ \vert x \vert ^{2}}{4},\qquad u_{0}(x)=2- \frac{ \vert x \vert ^{2}}{8},\qquad p=3, \\ &G(u)=2 \int _{0}^{u}yg'(y)\, \mathrm{d}y=3u^{2}+2u-2\ln (1+u), \\ &F(u)= \int _{0}^{u}y^{2}\,\mathrm{d}y= \frac{1}{3}u^{3}. \end{aligned}$$

Firstly, we demonstrate that u blows up in finite time and obtain an upper bound for blow-up time. Define following functions:

$$\begin{aligned} &\varPhi (t)= \int _{\varOmega }G(u)\,\mathrm{d}x= \int _{\varOmega } \bigl(3u^{2}+2u-2\ln (1+u) \bigr)\, \mathrm{d}x, \\ &\varPsi (t)=-\frac{1}{3} \int _{\partial \varOmega } u^{2}\,\mathrm{d}S- \int _{ \varOmega } \vert \nabla u \vert ^{2}\, \mathrm{d}x+2\bigl(3-2e^{-t}\bigr) \int _{\varOmega }\biggl(2- \frac{ \vert x \vert ^{2}}{4}\biggr)F(u)\, \mathrm{d}x. \end{aligned}$$

Set \(\alpha =\frac{13}{3}\). We verify that conditions (3.2), (3.7), and (3.8) are satisfied. We calculate that

$$\begin{aligned} \varPhi (0)={}& \int _{\varOmega }G\bigl(u_{0}(x)\bigr)\,\mathrm{d}x= \int _{\varOmega } \bigl(3u_{0}^{2}+2u_{0}-2 \ln (1+u_{0}) \bigr)\,\mathrm{d}x \\ ={}& \int _{\varOmega } \biggl(3\biggl(2-\frac{ \vert x \vert ^{2}}{8} \biggr)^{2}+2\biggl(2- \frac{ \vert x \vert ^{2}}{8}\biggr)-2\ln \biggl(3- \frac{ \vert x \vert ^{2}}{8}\biggr) \biggr)\,\mathrm{d}x \\ ={}& \int _{0}^{2\pi }\,\,\mathrm{d}\theta \int _{0}^{\pi }\,\,\mathrm{d}\varphi \int _{0}^{2} \biggl(3\biggl(2-\frac{r^{2}}{8} \biggr)^{2}+2\biggl(2-\frac{r^{2}}{8}\biggr)-2\ln \biggl(3- \frac{r^{2}}{8}\biggr) \biggr)r^{2}\sin \varphi \,\mathrm{d}r \\ ={}&339.703, \\ \varPsi (0)={}&{-}\frac{1}{3} \int _{\partial \varOmega } u_{0}^{2}\,\mathrm{d}S- \int _{\varOmega } \vert \nabla u_{0} \vert ^{2}\,\mathrm{d}x+\frac{2}{3} \int _{\varOmega } \biggl(2-\frac{ \vert x \vert ^{2}}{4} \biggr)u_{0}^{3} \,\mathrm{d}x \\ ={}&{-}8\pi - \int _{0}^{2\pi }\,\mathrm{d}\theta \int _{0}^{\pi }\,\mathrm{d} \varphi \int _{0}^{2}\frac{1}{16}r^{4} \sin \varphi \,\mathrm{d}r \\ & {}+ \int _{0}^{2\pi }\,\mathrm{d}\theta \int _{0}^{\pi }\,\mathrm{d}\varphi \int _{0}^{2}\frac{2}{3} \biggl(2- \frac{r^{2}}{4} \biggr) \biggl(2- \frac{r^{2}}{8} \biggr)^{3}r^{2} \sin \varphi \,\mathrm{d}r \\ ={}&133.101 \\ >{}&0. \end{aligned}$$

Applying Theorem 3.1, we can obtain u will blow up at \(t^{*}< T\) in the measure \(\varPhi (t)\). And

$$ T=\frac{\varPhi (0)}{2\alpha (1+\alpha )\varPsi (0)}=0.0552, $$

which is an upper bound for the blow-up time.

Now, we will show a lower bound for the blow-up time by applying Theorem 4.1. We choose \(c_{1}=0, c_{2}=2, b_{1}=4, b_{2}=\frac{1}{2}, \beta =\eta =2, q=0, m_{0}= \eta _{0}=3\). Obviously, they satisfy (4.1)–(4.3). Let \(\delta _{1}=\delta _{2}=2, r=1\). And we have

$$\begin{aligned} &B(s)=2 \int _{0}^{s}g'(y)y\, \mathrm{d}y=3s^{2}+2s-2\ln (1+s),\quad s>0, \\ &A(t)=\bigl(3-2e^{-t}\bigr)^{2} \int _{\varOmega } \bigl(3u^{2}+2u-2\ln (1+u) \bigr)\, \mathrm{d}x. \end{aligned}$$

Then

$$ A(0)= \int _{\varOmega } \bigl(3u_{0}^{2}+2u_{0}-2 \ln (1+u_{0}) \bigr)\,\mathrm{d}x=339.703. $$

We can compute \(\lambda =2.4547, L_{0}=d=2, |\varOmega |=\frac{32\pi }{3}\). From [19], we get the embedding constant \(C_{0}=4^{\frac{1}{3}}3^{-\frac{1}{2}}\pi ^{-\frac{2}{3}}\). (4.7)–(4.10) imply that \(\theta _{0}=2.932, M=2.6327, \varepsilon =12.9082, C_{1}=0, C_{2}=0.01137 \). Obviously, we can conclude that u blows up at a finite time \(t^{*}\) and u is unbounded in the measure \(A(t)\) at a finite time \(t^{*}\). By Theorem 4.1, the blow-up time \(t^{*}\) is bounded below and

$$\begin{aligned} t^{*}\geq \int _{A(0)}^{\infty } \frac{\mathrm{d}\tau }{\varphi (\tau )}= \int _{339.703}^{\infty } \frac{\mathrm{d}\tau }{4\tau +0.01137 \tau ^{3}} =0.0004. \end{aligned}$$

Therefore

$$ 0.0004\leq t^{*}\leq 0.0552. $$

 □

6 Conclusion

In this paper, we discussed global and blow-up solutions for a class of nonlinear reaction diffusion equations with Robin boundary conditions. By auxiliary functions and a first-order differential inequality technique, conditions on the data to prove the existence of global solution are established. And applying maximum principles, we obtain the sufficient conditions that guarantee the occurrence of the blow-up. Moreover, an upper bound and a lower bound on blow-up time are discussed.

References

  1. Payne, L.E., Philippin, G.A., Vernier Piro, S.: Blow-up phenomena for a semilinear heat equation with nonlinear boundary condition. Nonlinear Anal., Theory Methods Appl. 73, 971–978 (2010)

    Article  MathSciNet  Google Scholar 

  2. Zhang, L.L.: Blow-up of solutions for a class of nonlinear parabolic equations. Z. Anal. Anwend. 25, 479–486 (2006)

    MathSciNet  MATH  Google Scholar 

  3. Shen, Y., Fang, Z.B.: Bounds for the blow-up time of a porous medium equation with weighted nonlocal source and inner absorption terms. Bound. Value Probl. 2018, 1 (2018)

    Article  MathSciNet  Google Scholar 

  4. Viglialoro, G.: On the blow-up of parabolic system with damping terms. C. R. Acad. Bulg. Sci. 67, 1223–1232 (2014)

    MathSciNet  MATH  Google Scholar 

  5. Caffarrelli, L.A., Friedman, A.: Blow-up of solutions of nonlinear heat equations. J. Math. Anal. Appl. 129, 409–419 (1988)

    Article  MathSciNet  Google Scholar 

  6. Enache, C.: Blow-up, global existence and exponential decay estimates for a class of quasilinear parabolic problems. Nonlinear Anal. 69, 2864–2874 (2008)

    Article  MathSciNet  Google Scholar 

  7. Zhang, L.L., Zhang, N., Li, L.X.: Blow-up solutions and global existence for a kind of quasilinear reaction-diffusion equations. Z. Anal. Anwend. 33, 247–258 (2014)

    Article  MathSciNet  Google Scholar 

  8. Deng, K., Levine, H.A.: The role of critical exponents in blow-up theorems: the sequel. J. Math. Anal. Appl. 243, 85–126 (2000)

    Article  MathSciNet  Google Scholar 

  9. Straughan, B.: Explosive Instabilities in Mechanics. Springer, Berlin (1998)

    Book  Google Scholar 

  10. Bandle, C., Brunner, H.: Blow-up in diffusion equations: a survey. J. Comput. Appl. Math. 97(1–2), 3–22 (1998)

    Article  MathSciNet  Google Scholar 

  11. Ding, J.T., Hu, H.J.: Blow-up and global solutions for a class of nonlinear reaction diffusion equations under Dirichlet boundary conditions. J. Math. Anal. Appl. 433, 1718–1735 (2016)

    Article  MathSciNet  Google Scholar 

  12. Payne, L.E., Schaefer, P.W.: Lower bounds for blow-up time in parabolic problems under Dirichlet conditions. J. Math. Anal. Appl. 328, 1196–1205 (2007)

    Article  MathSciNet  Google Scholar 

  13. Ding, J.T., Hu, H.J.: Blow-up solutions for nonlinear reaction diffusion equations under Neumann boundary conditions. Appl. Anal. 96, 549–562 (2016)

    Article  MathSciNet  Google Scholar 

  14. Payne, L.E., Schaefer, P.W.: Lower bounds for blow-up time in parabolic problems under Neumann conditions. Appl. Anal. 85, 1301–1311 (2006)

    Article  MathSciNet  Google Scholar 

  15. Li, F.S., Li, J.L.: Global existence and blow-up phenomena for p-Laplacian heat equation with inhomogeneous Neumann boundary conditions. Bound. Value Probl. 2014, 219 (2014)

    Article  MathSciNet  Google Scholar 

  16. Lv, X.S., Song, X.F.: Bounds of the blow-up time in parabolic equations with weighted source under nonhomogeneous Neumann boundary condition. Math. Methods Appl. Sci. 37, 1019–1028 (2014)

    Article  MathSciNet  Google Scholar 

  17. Marras, M., Vernier Piro, S.: Reaction-diffusion problems under non-local boundary conditions with blow-up solutions. J. Inequal. Appl. 2017, 167 (2017)

    Article  Google Scholar 

  18. Ding, J.T., Kou, W.: Blow-up solutions for reaction diffusion equations with nonlocal boundary conditions. J. Math. Anal. Appl. 470, 1–15 (2019)

    Article  MathSciNet  Google Scholar 

  19. Fang, Z.B., Ma, L.W.: Blow-up analysis for a reaction-diffusion equation with weighted nonlocal inner absorptions under nonlinear boundary flux. Nonlinear Anal., Real World Appl. 32, 338–354 (2016)

    Article  MathSciNet  Google Scholar 

  20. Liu, Z.Q., Fang, Z.B.: Blow-up phenomena for a nonlocal quasilinear parabolic equations with time-dependent coefficients under nonlinear boundary flux. Discrete Contin. Dyn. Syst., Ser. B 21, 3619–3635 (2016)

    Article  MathSciNet  Google Scholar 

  21. Enache, C.: Blow-up phenomena for a class of quasilinear parabolic problems under Robin boundary condition. Appl. Math. Lett. 24, 288–292 (2011)

    Article  MathSciNet  Google Scholar 

  22. Li, Y.F., Liu, Y., Lin, C.H.: Blow-up phenomena for some nonlinear parabolic problems under mixed boundary condition. Nonlinear Anal., Real World Appl. 11, 3815–3823 (2010)

    Article  MathSciNet  Google Scholar 

  23. Ding, J.T., Shen, X.H.: Blow-up analysis for a class of nonlinear reaction diffusion equations with Robin boundary conditions. Math. Methods Appl. Sci. 41, 1683–1696 (2018)

    Article  MathSciNet  Google Scholar 

  24. Ding, J.T., Shen, X.H.: Blow-up analysis in quasilinear reaction-diffusion problems with weighted nonlocal source. Comput. Math. Appl. 75(4), 1288–1301 (2018)

    Article  MathSciNet  Google Scholar 

  25. Sperb, R.P.: Maximum Principles and Their Applications. Academic Press, New York (1981)

    MATH  Google Scholar 

Download references

Acknowledgements

We are thankful to the editor and the anonymous reviewers for many valuable suggestions to improve this paper.

Availability of data and materials

Data sharing not applicable to this article as no datasets were generated or analysed during the current study.

Funding

This paper is supported by opening project of State Key Laboratory of Explosion Science and Technology (Beijing Institute of Technology). The opening project number is KFJJ19-06M. This paper is also supported by Key R&D Program of Shanxi Province (International Cooperation, 201903D421042).

Author information

Authors and Affiliations

Authors

Contributions

HT participated in the design of the study and drafted the manuscript. LZ carried out the theoretical studies and helped to draft the manuscript. All authors read and approved the final manuscript.

Corresponding author

Correspondence to Lingling Zhang.

Ethics declarations

Competing interests

The authors declare that they have no competing interests.

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/.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Tian, H., Zhang, L. Global and blow-up solutions for a nonlinear reaction diffusion equation with Robin boundary conditions. Bound Value Probl 2020, 68 (2020). https://doi.org/10.1186/s13661-020-01363-y

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13661-020-01363-y

Keywords