1. Introduction
We are concerned with the global existence and blow-up phenomenon for a quasilinear parabolic equation with nonlinear inner absorption term
(1)
subjected to the nonlinear Neumann boundary and initial conditions
(2)
(3)
where
Ω is a bounded star-shaped region of
RN (
N ≥ 2) with smooth boundary
∂Ω,
ν is the unit outward normal vector on
∂Ω,
p ≥ 0,
t* is the blow-up time if blow-up occurs, or else
t* = +
∞, the symbol,
i denotes partial differentiation with respect to
xi,
i = 1,2, …,
N, the repeated index indicates summation over the index, and ∇ is gradient operator.
Many physical phenomena and biological species theories, such as the concentration of diffusion of some non-Newton fluid through porous medium, the density of some biological species, and heat conduction phenomena, have been formulated as parabolic equation (1) (see [1–3]). The nonlinear Neumann boundary condition (2) can be physically interpreted as the nonlinear radial law (see [4, 5]).
In the past decades, there have been many works dealing with existence and nonexistence of global solutions, blow-up of solutions, bounds of blow-up time, blow-up rates, blow-up sets, and asymptotic behavior of solutions to nonlinear parabolic equations; see the books [
6–
8] and the survey papers [
9–
11]. Specially, we would like to know whether the solution blows up and at which time when blow-up occurs. A variety of methods have been used to study the problem above (see [
12]), and in many cases, these methods, used to show that solutions blow up, often provide an upper bound for the blow-up time. However, lower bounds for blow-up time may be harder to be determined. For the study of the initial boundary value problem of a parabolic equation with homogeneous Dirichlet boundary condition, see [
13,
14]. Payne et al. [
13] considered the following quasilinear parabolic equation:
(4)
where
Ω is a bounded domain in
R3 with smooth boundary
∂Ω. To get the lower bound for the blow-up time, the authors assumed that
ρ is a positive
C1 function which satisfies
(5)
The lower bound for the blow-up time of solution to (
4) with Robin boundary condition was obtained in [
15], where
ρ is also assumed to satisfy the condition (
5). However, under this boundary condition, the best constant of Sobolev inequality used in [
13] is no longer applicable. They imposed suitable conditions on
f and
ρ and determined a lower bound for the blow-up time if blow-up occurs and determined when blow-up cannot occur. Marras and Vernier Piro [
14] studied the nonlinear parabolic problem with time dependent coefficients
(6)
where
Ω is a bounded domain in
RN with smooth boundary
∂Ω. Under some conditions on the data and geometry of the spatial domain, they obtained upper and lower bounds of the blow-up time. Moreover, the sufficient conditions for global existence of the solution were derived.
For the study of the initial boundary value problem of a parabolic equation with Robin boundary condition, we refer to [
15–
19]. Li et al. [
16] investigated the problem of the nonlinear parabolic equation
(7)
where
Ω is a bounded domain in
R3 with smooth boundary
∂Ω. They derived the lower bound for the blow-up time when the blow-up occurs. Clearly, |∇
u|
p + 1 does not satisfy the condition (
5). Enache [
17] discussed the quasilinear parabolic problem
(8)
where
Ω is a bounded domain in
RN (
N ≥ 2) with smooth boundary
∂Ω. By virtue of a first-order differential inequality technique, they showed the sufficient conditions to guarantee that the solution
u(
x,
t) exists globally or blows up. In addition, a lower bound for the blow-up time when blow-up occurs was also obtained. Ding [
18] studied the nonlinear parabolic problem
(9)
where
Ω is a bounded domain in
R3 with smooth boundary
∂Ω. They derived conditions on the data which guarantee the blow-up or the global existence of the solution. A lower bound on blow-up time when blow-up occurs was also obtained. For the problem of the nonlinear nonlocal porous medium equation, we read the paper of Liu [
19].
Recently, for the problems with nonlinear Neumann boundary conditions, Payne et al. [
20] studied the semilinear heat equation with inner absorption term
(10)
They established conditions on nonlinearity to guarantee that the solution
u(
x,
t) exists for all time
t > 0 or blows up at some finite time
t*. Moreover, an upper bound for
t* was derived. Under somewhat more restrictive conditions, a lower bound for
t* was derived. Thereafter, they considered the quasilinear parabolic equation
(11)
and they showed that blow-up occurs at some finite time under certain conditions on the nonlinearities and the data; upper and lower bounds for the blow-up time were derived when blow-up occurs; see [
21]. Liu et al. The authors [
22,
23] studied the reaction diffusion problem with nonlocal source and inner absorption terms or with local source and gradient absorption terms. Very recently, Fang et al. [
24] considered lower bounds estimate for the blow-up time to nonlocal problem with homogeneous Dirichlet or Neumann boundary condition.
Motivated by the above work, we intend to study the global existence and the blow-up phenomena of problem (1)–(3), and the results of the semilinear equations are extended to the quasilinear equations. Unfortunately, the techniques used for semilinear equation to analysis of blow-up phenomena are no longer applicable to our problem. As a consequence, by using the suitable techniques of differential inequalities, we establish, respectively, the conditions on the nonlinearities f and g to guarantee that u(x, t) exists globally or blows up at some finite time. If blow-up occurs, we derive upper and lower bounds of the blow-up time.
The rest of our paper is organized as follows. In Section 2, we establish conditions on the nonlinearities to guarantee that u(x, t) exists globally. In Section 3, we show the conditions on data forcing the solution u(x, t) to blow up at some finite time t* and obtain an upper bound for t*. A lower bound of blow-up time under some assumptions is derived in Section 4.
2. The Global Existence
In this section, we establish the conditions on the nonlinearity f and nonlinearity g to guarantee that u(x, t) exists globally. We state our result as follows.
Theorem 1. Assume that the nonnegative functions f and g satisfy
(12)
where
k1 > 0,
k2 ≥ 0,
s > 1, 2
s <
q + 1, and
s − 1 <
p <
q − 1. Then the (nonnegative) solution
u(
x,
t) of problem (
1)-(
3) does not blow up; that is,
u(
x,
t) exists for all time
t > 0.
Proof. Set
(13)
Similar to Theorem 2.1 in [
20], we get
(14)
where
δ =
k2(
s + 1)
d/2
ρ0,
ρ0 = min
x∈∂Ω(
x ·
ν),
d = max
x∈∂Ω |
x|, and
(15)
where
,
,
α = (
q + 1 − 2
s)/(
q −
s) < 1,
ɛ > 0.
Next, we estimate I2 = (2k2N/ρ0)∫Ω us+1dx − 2∫Ω | ∇u|p+2dx − k1∫Ω uq+1dx. Since
(16)
it follows from Hölder inequality that
(17)
Furthermore, we have
(18)
which follows from (
17) and membrane inequality
(19)
where
λ1 is the first eigenvalue in the fixed membrane problem
(20)
Combining
I2 and (
18), we have
(21)
Making use of Hölder inequality, we obtain
(22)
(23)
Combining (
21), (
22) with (
23), we get
(24)
with
(25)
Applying Hölder inequality, we obtain
(26)
It follows from (
26) that
(27)
where
(28)
Combining (
14), (
15), (
21), and (
24) with (
27), we obtain
(29)
with
(30)
We conclude from (
29) that
Ψ(
t) is decreasing in each time interval on which we obtain
(31)
so that
Ψ(
t) remains bounded for all time under the conditions in Theorem
1. This completes the proof of Theorem
1.
3. Blow-Up and Upper Bound of t*
In this section, Ω needs not to be star-shaped. We establish the conditions to assure that the solution of (1)–(3) blows up at finite time t* and derive an upper bound for t*. More precisely we establish the following result.
Theorem 2. Let u(x, t) be the classical solution of problem (1)-(3). Assume that the nonnegative and integrable functions f and g satisfy
(32)
with
(33)
where
α ≥ 0,
(34)
Moreover assume that
Φ(0) ≥ 0 with
(35)
Then the solution
u(
x,
t) of problem (
1)-(
3) blows up at some finite time
t* <
T with
(36)
where
Ψ(
t) is defined in (
13). If
β = 0, we have
T =
∞.
Proof. We compute
(37)
Making use of the hypotheses stated in Theorem
2, we have
(38)
Differentiating (
35), we derive
(39)
Integrating the identity ∇·(
ut(|∇
u|
p + 1)∇
u) =
ut∇·((|∇
u|
p + 1)∇
u) + (1/2)(|∇
u|
p + 1)(|∇
u|
2)
t over
Ω, we get
(40)
Substituting (
40) into (
39), we have
(41)
which with
Φ(0) > 0 imply
Φ(
t) > 0 for all
t ∈ (0,
t*). Making use of the Schwarz inequality, we obtain
(42)
Multiplying the above inequality by
Ψ−2−β, we deduce
(43)
Arguing as in Theorem 3.1 in [
20], we find
(44)
valid for
β > 0. If
β = 0, we have
(45)
valid for
t > 0, implying that
t* =
∞. This completes the proof of Theorem
2.
4. Lower Bounds for t*
In this section, under the assumption that Ω is a star shaped domain in R3, convex in two orthogonal directions, we seek a lower bound for the blow-up time t*. Now we state the result as follows.
Theorem 3. Let u(x, t) be the nonnegative solution of problem (1)-(3) and u(x, t) blows up at t*; moreover, the nonnegative functions f and g satisfy
(46)
with
k1 > 0,
k2 > 0,
q > 1,
s > 1,
q <
s. Define
(47)
where
n is a parameter restricted by the condition
(48)
Then
φ(
t) satisfies inequality
(49)
for some computable function
Γ(
φ). It follows that
t* is bounded from below. We have
(50)
Proof. Differentiating (47) and making use of the boundary condition (2) together with the conditions (46), we have
(51)
Applying inequality (2.7) in [
20] to the first term on the right hand side of (
51), we have
(52)
Substituting (
52) into (
51), we obtain
(53)
Making use of arithmetic-geometric mean inequality, we derive
(54)
for all
μ > 0. Choose
μ > 0 such that
(55)
We rewrite (
53) as
(56)
Using Hölder inequality, we get
(57)
Combining (
56) with (
57), we obtain
(58)
where
(59)
Using Sobolev type inequality (A.5) derived by Payne et al. [
21], we obtain
(60)
We now make use of Hölder inequality to bound the second integral on the right hand side of (
60) as follows:
(61)
with
(62)
We note that
δ1 < 1 for
n > (3
p − 2(
s − 1)(
p + 2))/(
s − 1)(2
p + 1), an inequality satisfied in view of (
48). Using again Hölder′s inequality, we obtain
(63)
where |
Ω | = ∫
Ω dx is the volume of
Ω. Substituting (
61) and (
63) in (
60), we obtain the following inequality:
(64)
where
c1,
c2 are computable positive constants. Note that the last inequality in (
64) follows from Hölder inequality under the particular form
. Similarly, we can bound
J2 and get
(65)
where
c3,
c4 are computable positive constants,
(66)
We note that
δ2 < 1 for
n > (3
p − 4(
s − 1)(
p + 2))/(
s − 1)(2
p + 1), an inequality satisfied in view of (
48). Inserting (
64) and (
65) in (
58), we arrive at
(67)
where
λ = (
p + 1)/(
p + 2),
d3 and
are computable positive constants. Next, we want to eliminate the quantity
ω(
t) in inequality (
67). By using the following inequality:
(68)
valid for 0 <
β < 1, where
γ is an arbitrary positive constant, then we have
(69)
with arbitrary positive constants
γ1,
γ2 and computable positive constants
d2,
d4. Substitute (
69) in (
67) and choose the arbitrary (positive) constants
γ1,
γ2 such that
γ1 +
γ2 −
n(
s − 1)[
n(
s − 1) − 1] = 0. We obtain
(70)
We eliminate the last term in (
70), by using the following inequality:
(71)
valid for
q <
s and arbitrary
m > 0, and choose
m such that
(72)
Then (
70) can be rewritten as
(73)
Integrating (
73) over [0,
t], we conclude
(74)
This completes the proof of Theorem
3.
Conflict of Interests
The authors declare that there is no conflict of interests regarding the publication of this paper.
Authors’ Contribution
All authors contributed equally to the paper and read and approved the final paper.
Acknowledgments
This work is supported by the Natural Science Foundation of Shandong Province of China (ZR2012AM018) and the Fundamental Research Funds for the Central Universities (no. 201362032). The authors would like to deeply thank all the reviewers for their insightful and constructive comments.