Skip to main content

Global existence and blow-up phenomena for p-Laplacian heat equation with inhomogeneous Neumann boundary conditions

Abstract

In this paper, we consider a p-Laplacian heat equation with inhomogeneous Neumann boundary condition. We establish respectively the conditions on the nonlinearities to guarantee that the solution u(x,t) exists globally or blows up at some finite time. If blow-up occurs, we obtain upper and lower bounds of the blow-up time by differential inequalities.

MSC: 35K55, 35K60.

1 Introduction

In this paper, we deal with the initial-boundary value problem

{ u t = div ( | u | p 2 u ) f ( u ) , x Ω , t ( 0 , t ) , | u | p 2 u n = g ( u ) , ( x , t ) Ω × ( 0 , t ) , u ( x , 0 ) = u 0 ( x ) 0 , x Ω ,
(1.1)

where p2 is a real number, div denotes the scalar divergence operator, Ω is a bounded star-sharped region of R N (N2) with smooth boundary Ω, n is the unit outward normal on Ω, u n is the outward normal derivative of u on Ω and t is the blow-up time if blow-up occurs, or else t =+.

The blow-up phenomena of solutions to various nonlinear problems, particularly for hyperbolic and parabolic systems, have received considerable attention in the recent literature. For work in this area, the reader can refer to [1]–[4]. Other contributions in the field can be found in [5]–[14] and the references cited therein. A variety of methods have been used to determine the blow-up of solutions and to indicate an upper bound for the blow-up time. To our knowledge, the first work on lower bound for t was shown by Weissler [5], [6], but during the past several years a number of papers deriving lower bound for t in various problems have appeared (see [7]).

The homogeneous Dirichlet problems of nonlinear parabolic equations were considered in [8]–[13].

The blow-up and global existence phenomena for nonlinear parabolic equations with Neumann boundary conditions have received considerable attention in [14]–[19]. Payne and Schaefer [14] considered

u t =Δuin Ω× ( 0 , t ) .
(1.2)

Under suitable conditions on the nonlinearities, they determined a lower bound on the blow-up time when blow-up occurs. In addition, a sufficient condition which implies that blow-up does occur was determined. Ding and Guo [15] studied the global solution and blow-up solution of the equation

( h ( u ) ) t = ( a ( u , t ) b ( x ) u ) +g(t)f(u)in D×(0,T),
(1.3)

where D R N is a bounded domain with smooth boundary ∂D. Under appropriate assumptions on the functions a, b, f, g and h, by constructing auxiliary functions and using maximum principles, the sufficient conditions for the existence of global solution or blow-up solution, an upper estimate of the global solution, an upper bound of the blow-up time and an upper estimate of the blow-up rate were specified. Mizoguchi [16] studied the semilinear heat equation

u t =Δu+ u p in Ω×(0,T)
(1.4)

and showed that if u blows up at t=T, then | u ( t ) | C ( T t ) 1 p 1 for some C>0. Ishige and Yagisita [17] considered the blow-up problem for the semilinear heat equation

u t =DΔu+ u p in Ω×(0, T D ),
(1.5)

where Ω is a bounded smooth domain in R N , T D >0, D>0, p>1, and studied the blow-up time, the location of the blow-up set, and the blow-up profile of the blow-up solution for sufficiently large D. In particular, they proved that for almost all initial data, if D is sufficiently large, then the solution blows up only near the maximum points of the orthogonal projection of the initial data from L 2 (Ω) onto the second Neumann eigenspace.

In recent paper, Payne et al.[18] considered

u t =Δuf(u),xΩ,t ( 0 , t )
(1.6)

and established conditions on nonlinearities sufficient to guarantee that 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. Moreover, in [19], Payne et al. investigated

u t = ( | u | 2 p u ) ,xΩ,t ( 0 , t )
(1.7)

and 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 obtained when blow-up occurs. Li and Li [20] investigated

{ u t = i , j = 1 N ( a i j ( x ) u x i ) x j f ( u ) , x Ω , t ( 0 , t ) , i , j = 1 N a i j ( x ) u x i n j = g ( u ) , ( x , t ) Ω × ( 0 , t ) , u ( x , 0 ) = u 0 ( x ) 0 , x Ω
(1.8)

and established respectively the conditions on nonlinearities to guarantee that u(x,t) exists globally or blows up at some finite time. If blow-up occurs, we obtain upper and lower bounds of the blow-up time.

Li [21] considered the p-Laplacian heat-conduction model

u t =div ( | u | p 2 u )
(1.9)

and showed the backward uniqueness in time for solutions to Neumann and Dirichlet problems by energy methods and gave reasonable physical interpretation for the obtained conclusions.

Motivated by the above work, we intend to study the global existence and the blow-up phenomena for problem (1.1). It is well known that the data f and g may greatly affect the behavior of u(x,t) with the development of time. From the physical standpoint, −f is the heat source function, | u | p 2 is the variational heat-conduction coefficient, g(u) is the heat-conduction function transmitting into interior of Ω from the boundary of Ω. We can deduce that if f<0 and g>0, the blow-up phenomena of solution of (1.1) occur early under some conditions. Under the conditions that f and g are nonnegative functions, we can deduce that the solution of (1.1) is nonnegative and smooth. In this paper, by using differential inequalities, we establish the conditions on the nonlinearities to guarantee that u(x,t) exists globally or blows up at some finite time, respectively. If blow-up occurs, we obtain the upper and lower bounds of the blow-up time. The main innovational and novel points of this paper are: (a) the model is representative, for example, the model is the equation in [8], [14], [16]–[18] if p=2 with suitable f; (b) the problem considered in this paper is a nonlinear equation with inhomogeneous Neumann boundary dissipation, this problem is significant; (c) we give the reason and process of the definition of auxiliary functional; (d)since the model is general, the estimates are concise and precise.

The present work is organized as follows. In Section 2, we establish the conditions on the nonlinearities to guarantee that u(x,t) exists globally. In Section 3, we show the conditions on the nonlinearities which ensure that the solution blows up at some finite time and obtain the upper bound for the blow-up time. Section 4 is devoted to showing the lower bound of the blow-up time under some assumptions.

2 The global solution

In this section, we establish the conditions on the nonlinearities to guarantee that u(x,t) exists globally. We state our result as follows.

Theorem 2.1

Let u be a classical solution of (1.1), assume that the nonnegative functions f and g satisfy the following conditions:

f(s) k 1 s α ,
(2.1)
g(s) k 2 s β ,
(2.2)

where k 1 >0, k 2 0, s0, α>β>1and

2β<α+1.
(2.3)

Thenu(x,t)does not blow up, that is, u(x,t)exists for all timet>0.

In order to prove this theorem, we give the following lemma.

Lemma 2.1

Let Ω be a bounded star-sharped region in R N , N2. Then, for any nonnegative C 1 function w andr>0, we have

Ω w r dS N ρ 0 Ω w r dx+ r d ρ 0 Ω w r 1 |w|dx,

where

ρ 0 := min x Ω (xn),d:= max x Ω |x|.

Proof

The proof see [19], [20]. □

Proof of Theorem 2.1

Set

Φ(t):= Ω u 2 dx.
(2.4)

Differentiating (2.4) and using (2.1), we obtain

Φ ( t ) = 2 Ω u u t d x = 2 Ω u [ div ( | u | p 2 u ) f ( u ) ] d x 2 Ω u [ div ( | u | p 2 u ) ] d x 2 k 1 Ω u α + 1 d x .
(2.5)

By the divergence theorem and (2.2), we obtain

Ω u [ div ( | u | p 2 u ) ] d x = Ω u | u | p 2 u n d S Ω | u | p d x k 2 Ω u β + 1 d S Ω | u | p d x .
(2.6)

Applying Lemma 2.1, we have

Ω u β + 1 dS N ρ 0 Ω u β + 1 dx+ ( β + 1 ) d ρ 0 Ω u β |u|dx.
(2.7)

From (2.5)-(2.7), we get

Φ ( t ) 2 N k 2 ρ 0 Ω u β + 1 d x + 2 ( β + 1 ) k 2 d ρ 0 Ω u β | u | d x 2 Ω | u | p d x 2 k 1 Ω u α + 1 d x .
(2.8)

Clearly, for all ρ>0,

Ω u β |u|dx ρ 2 Ω u 2 β dx+ 1 2 ρ Ω | u | 2 dx.
(2.9)

Applying Hölder’s inequality and Young’s inequality, we get

Ω | u | 2 dx ( Ω | u | p d x ) 2 p | Ω | p 2 p 2 p Ω | u | p dx+ p 2 p |Ω|,
(2.10)

where |Ω| denotes the measure of Ω. Combining (2.9), (2.10) with (2.8), we have

Φ ( t ) 2 N k 2 ρ 0 Ω u β + 1 d x + ρ ( β + 1 ) k 2 d ρ 0 Ω u 2 β d x + [ 2 k 2 ( β + 1 ) d ρ ρ 0 p 2 ] Ω | u | p d x + k 2 ( β + 1 ) ( p 2 ) ρ ρ 0 p | Ω | 2 k 1 Ω u α + 1 d x .
(2.11)

Choose ρ= k 2 ( β + 1 ) d ρ 0 p . Equation (2.11) implies

Φ (t) 2 N k 2 ρ 0 Ω u β + 1 dx+p ρ 2 Ω u 2 β dx+(p2)|Ω|2 k 1 Ω u α + 1 dx.
(2.12)

Using Hölder’s inequality and Young’s inequality, we get

Ω u 2 β d x = Ω u ( β 1 ) ( α + 1 ) α β + ( α + 1 2 β ) ( β + 1 ) α β d x ( Ω u β + 1 d x ) γ ( Ω u α + 1 d x ) 1 γ = ( ε Ω u α + 1 d x ) 1 γ ( ε γ 1 γ Ω u β + 1 d x ) γ ( 1 γ ) ε Ω u α + 1 d x + γ ε γ 1 γ Ω u β + 1 d x ,
(2.13)

where γ= α + 1 2 β α β . We note that γ(0,1) in view of (2.3) and α>β>1.

Inserting (2.13) into (2.12), we obtain

Φ (t) M 1 Ω u β + 1 dx M 2 Ω u α + 1 dx+(p2)|Ω|,
(2.14)

with M 1 = 2 N k 2 ρ 0 +p ρ 2 γ ε γ 1 γ >0, M 2 =2 k 1 p ρ 2 (1γ)ε>0 for ε>0 small enough.

Application of Hölder’s inequality leads to

Ω u β + 1 dx ( Ω u α + 1 d x ) β + 1 α + 1 | Ω | α β α + 1 .
(2.15)

Combining (2.14) with (2.15), we obtain

Φ (t) M 1 ( Ω u α + 1 d x ) β + 1 α + 1 { | Ω | α β α + 1 M 2 ( Ω u α + 1 d x ) α β α + 1 } +(p2)|Ω|.
(2.16)

Using Hölder’s inequality, we have

Φ(t)= Ω u 2 dx ( Ω u α + 1 d x ) 2 α + 1 | Ω | α 1 α + 1 .
(2.17)

Combining (2.17) with (2.16), we obtain

Φ (t) M 1 ( Ω u α + 1 d x ) β + 1 α + 1 { | Ω | α β α + 1 M 2 | Ω | ( α β ) ( 1 α ) 2 ( α + 1 ) Φ α β 2 } +(p2)|Ω|.
(2.18)

From (2.18), we can conclude that Φ(t) remains bounded for all time under the condition in Theorem 2.1. In fact, if u(x,t) blows up at finite time t , then Φ(t) is unbounded near t , which forces Φ (t)0 in some interval [ t 0 , t ). So we have Φ(t)Φ( t 0 ) in [ t 0 , t ), which implies that Φ(t) is bounded in [ t 0 , t ), this is a contradiction.

The proof of Theorem 2.1 is completed. □

3 Blow-up and upper bound estimation of t

In this section, we do not need Ω to be star-sharped. We establish the conditions to ensure that the solution of (1.1) blows up at finite time t and derive an upper bound for the blow-up time t . Now we state the result as follows.

Theorem 3.1

Letu(x,t)be the nonnegative solution of problem (1.1), and assume that the nonnegative integrable functions f and g satisfy the following conditions:

ξ g ( ξ ) p G ( ξ ) , ξ 0 , ξ f ( ξ ) 2 ( 1 + θ ) F ( ξ ) , ξ 0 ,

where

F(ξ)= 0 ξ f(s)ds,G(ξ)= 0 ξ g(s)ds,

and θ satisfies

0θ p 2 2 .

Moreover, we assumeH(0)>0with

H(t)=p Ω G(u)dS Ω | u | p dxp Ω F(u)dx.

Thenu(x,t)blows up at time t <T, with

T= Φ ( 0 ) ( p 2 ) H ( 0 ) (p>2),

whereΦ(t)= Ω u 2 dxis defined as (2.4). Whenp=2 (θ=0), we have t =.

Proof

Using the divergence theorem and the assumptions on f, g, we obtain

Φ ( t ) = 2 Ω u u t d x = 2 Ω u [ div ( | u | p 2 u ) f ( u ) ] d x = 2 Ω u g ( u ) d S 2 Ω | u | p d x 2 Ω u f ( u ) d x 2 Ω p G ( u ) d S 2 Ω | u | p d x 2 Ω 2 ( 1 + θ ) F ( u ) d x 2 { p Ω G ( u ) d S Ω | u | p d x p Ω F ( u ) d x } = 2 H ( t ) ,
(3.1)

and

H ( t ) = p Ω g ( u ) u t d S p Ω | u | p 2 u u t d x p Ω f ( u ) u t d x = p Ω g ( u ) u t d S p Ω u t | u | p 2 u n d S + p Ω div ( | u | p 2 u ) u t d x p Ω f ( u ) u t d x = p Ω | u t | 2 d x ,
(3.2)

which with H(0)>0 imply H(t)>0 for all t(0, t ).

Using (3.1), (3.2) and Hölder’s inequality, we have

H(t) Φ (t) ( Φ ( t ) ) 2 2 =2 ( Ω u u t d x ) 2 2 Ω u 2 dx Ω u t 2 dx= 2 H ( t ) Φ ( t ) p .
(3.3)

Multiplying (3.3) by Φ p 2 1 , we deduce

( H ( t ) Φ p 2 ( t ) ) 0.
(3.4)

Integrating (3.4) over [0,t] implies

H(t) Φ p 2 (t)H(0) Φ p 2 (0)=:M>0.
(3.5)

Combining (3.1) with (3.5), we obtain

Φ (t) Φ p 2 (t)2H(0) Φ p 2 (0)2M.
(3.6)

If p>2, (3.6) can be written as

( Φ 1 p 2 ( t ) ) 2M ( 1 p 2 ) .
(3.7)

Integrating (3.7) over [0,t], we obtain

Φ 1 p 2 (t)2M ( 1 p 2 ) t+ Φ 1 p 2 (0),

that is,

Φ p 2 2 (t) 1 M ( 2 p ) t + Φ 2 p 2 ( 0 ) ,

which with (3.5) implies Φ(t)+ as tT= Φ ( 0 ) ( p 2 ) H ( 0 ) . Therefore, for p>2,

t T= Φ ( 0 ) ( p 2 ) H ( 0 ) .

If p=2, we have θ=0 (by 0θ p 2 2 ). Furthermore, by (3.6) we conclude that Φ(t)Φ(0) e 2 M t and Φ(t) is increasing for all t>0. So t =+.

The proof of Theorem 3.1 is completed. □

4 Lower bound estimation of t

In this section, under the assumptions that Ω R 3 is a bounded star-sharped domain and convex in two orthogonal directions, we establish a lower bound for the blow-up time t . Now we state the result as follows.

Theorem 4.1

Letu(x,t)be the nonnegative solution of problem (1.1), andu(x,t)blow up at time t ; moreover, the nonnegative functions f and g satisfy the following conditions:

f(s) k 1 s α ,s0,g(s) k 2 s 2 β ,s0,

for some constants k i >0andβ> 1 2 . Define

Φ(t):= Ω u σ ( 2 β 1 ) dxwith σmax { 4 , 2 2 β 1 } .

Then Φ(t) satisfies the inequality

Φ (t) i = 1 4 γ i Φ θ i :=Ψ(Φ),

where γ i , θ i are computable (nonnegative) constants. It follows that t is bounded below by

t Φ ( 0 ) d η Ψ ( η ) .

In order to prove Theorem 4.1, we list the following lemmas.

Lemma 4.1

LetΩ R 3 be a bounded star-sharped domain and convex in two orthogonal directions. Then, for any nonnegative C 1 function w andσ1, we have

Ω w 3 σ 2 dx { 3 2 ρ 0 Ω w σ d x + σ 2 ( 1 + d ρ 0 ) Ω w σ 1 | w | d x } 3 2 ,

where

ρ 0 := min x Ω (xn),d:= max x Ω |x|.

Proof

The proof can be found in [19]. □

Lemma 4.2

For alla0andb0, we have

( a + b ) 3 2 2 ( a 3 2 + b 3 2 ) .

Proof

Let f(x)= x 3 2 . Since f (x)= 3 4 x >0 for all x>0, we have

f ( x + y 2 ) f ( x ) + f ( y ) 2 .

This completes the proof. □

Proof of Theorem 4.1

Differentiating Φ(t):= Ω u σ ( 2 β 1 ) dx, we obtain

Φ ( t ) = σ ( 2 β 1 ) Ω u σ ( 2 β 1 ) 1 u t d x = σ ( 2 β 1 ) Ω u σ ( 2 β 1 ) 1 [ div ( | u | p 2 u ) f ( u ) ] d x = σ ( 2 β 1 ) Ω u σ ( 2 β 1 ) 1 g ( u ) d S σ ( 2 β 1 ) [ σ ( 2 β 1 ) 1 ] Ω u σ ( 2 β 1 ) 2 | u | p d x σ k 1 ( 2 β 1 ) Ω u σ ( 2 β 1 ) + α 1 d x .
(4.1)

By Lemma 2.1, we have

Ω u σ ( 2 β 1 ) 1 g ( u ) d S k 2 Ω u ( σ + 1 ) ( 2 β 1 ) d S 3 k 2 ρ 0 Ω u ( σ + 1 ) ( 2 β 1 ) d x + ( σ + 1 ) ( 2 β 1 ) k 2 d ρ 0 Ω u ( σ + 1 ) ( 2 β 1 ) 1 | u | d x .
(4.2)

Combining (4.1) with (4.2), we obtain

Φ ( t ) σ ( σ + 1 ) ( 2 β 1 ) 2 k 2 d ρ 0 I 1 + 3 σ k 2 ( 2 β 1 ) ρ 0 I 2 σ ( 2 β 1 ) [ σ ( 2 β 1 ) 1 ] I σ k 1 ( 2 β 1 ) Ω u σ ( 2 β 1 ) + α 1 d x ,
(4.3)

where

I 1 = Ω u ( σ + 1 ) ( 2 β 1 ) 1 | u | d x , I 2 = Ω u ( σ + 1 ) ( 2 β 1 ) d x , I = Ω u σ ( 2 β 1 ) 2 | u | r d x .

Firstly, we give the estimation of I 2 . Application of Lemma 4.1 leads to

I 2 = Ω u ( σ + 1 ) ( 2 β 1 ) d x { 3 2 ρ 0 Ω u 2 3 ( σ + 1 ) ( 2 β 1 ) d x + ( σ + 1 ) ( 2 β 1 ) 3 ( 1 + d ρ 0 ) Ω u 2 ( σ + 1 ) ( 2 β 1 ) 3 1 | u | d x } 3 2 { 3 ρ 0 Φ 2 ( σ + 1 ) 3 σ | Ω | 1 2 ( σ + 1 ) 3 σ + ( σ + 1 ) ( 2 β 1 ) 3 ( 1 + d ρ 0 ) Ω u 2 ( σ + 1 ) ( 2 β 1 ) 3 1 | u | d x } 3 2 .
(4.4)

Using Hölder’s inequality, we have

Ω u 2 ( σ + 1 ) ( 2 β 1 ) 3 1 | u | d x = Ω u 2 ( σ + 1 ) ( 2 β 1 ) 3 1 σ ( 2 β 1 ) 2 p { u σ ( 2 β 1 ) 2 p | u | } d x { Ω u 2 ( σ + 1 ) ( 2 β 1 ) ( 1 δ 1 ) 3 d x } p 1 p I 1 p ,
(4.5)

with

δ 1 = ( σ 2 ) ( 2 β 1 ) + 3 p 6 2 ( σ + 1 ) ( 2 β 1 ) ( p 1 ) <1 ( by  σ max { 4 , 2 2 β 1 } ) .

By Hölder’s inequality, we have

Ω u 2 ( σ + 1 ) ( 2 β 1 ) ( 1 δ 1 ) 3 dx Φ 2 ( σ + 1 ) ( 1 δ 1 ) 3 σ | Ω | 1 2 ( σ + 1 ) ( 1 δ 1 ) 3 σ .
(4.6)

Inserting (4.5) and (4.6) into (4.4) and using Lemma 4.2, we obtain

I 2 { c 1 Φ 2 ( σ + 1 ) 3 σ + c 2 Φ 2 ( σ + 1 ) ( 1 δ 1 ) ( p 1 ) 3 σ p I 1 p } 3 2 c 1 Φ ( σ + 1 ) σ + c 2 Φ ( σ + 1 ) ( 1 δ 1 ) ( p 1 ) σ p I 3 2 p
(4.7)

for some positive constants c 1 , c 2 .

Secondly, we estimate I 1 . Using Hölder’s inequality, we have

I 1 = Ω u ( σ + 1 ) ( 2 β 1 ) 1 | u | d x = Ω u ( σ + 1 ) ( 2 β 1 ) 1 σ ( 2 β 1 ) 2 p u σ ( 2 β 1 ) 2 p | u | d x { Ω u ( σ + 2 ) ( 2 β 1 ) ( 1 δ 2 ) d x } p 1 p I 1 p ,
(4.8)

with

δ 2 = 2 β ( p 2 ) ( σ + 2 ) ( 2 β 1 ) ( p 1 ) <1 ( by  σ max { 4 , 2 2 β 1 } ) .

Application of Hölder’s inequality leads to

Ω u ( σ + 2 ) ( 2 β 1 ) ( 1 δ 2 ) dx { Ω u ( σ + 2 ) ( 2 β 1 ) d x } 1 δ 2 | Ω | δ 2 .
(4.9)

By Hölder’s inequality and Lemma 4.1, we get

Ω u ( σ + 2 ) ( 2 β 1 ) d x { 3 2 ρ 0 Ω u 2 ( σ + 2 ) ( 2 β 1 ) 3 d x + ( σ + 2 ) ( 2 β 1 ) 3 ( 1 + d ρ 0 ) Ω u 2 ( σ + 2 ) ( 2 β 1 ) 3 1 | u | d x } 3 2 { 3 ρ 0 Φ 2 ( σ + 2 ) 3 σ | Ω | 1 2 ( σ + 2 ) 3 σ + ( σ + 2 ) ( 2 β 1 ) 3 ( 1 + d ρ 0 ) Ω u 2 ( σ + 2 ) ( 2 β 1 ) 3 1 | u | d x } 3 2 .
(4.10)

Using Hölder’s inequality, we obtain

Ω u 2 ( σ + 2 ) ( 2 β 1 ) 3 1 | u | d x = Ω u 2 ( σ + 2 ) ( 2 β 1 ) 3 1 σ ( 2 β 1 ) 2 p u σ ( 2 β 1 ) 2 p | u | d x { Ω u 2 ( σ + 2 ) ( 2 β 1 ) ( 1 δ 3 ) 3 d x } p 1 p I 1 p ,
(4.11)

with

δ 3 = ( σ 4 ) ( 2 β 1 ) + 3 p 6 2 ( σ + 1 ) ( 2 β 1 ) ( p 1 ) < δ 1 <1,

and

Ω u 2 ( σ + 2 ) ( 2 β 1 ) ( 1 δ 3 ) 3 dx Φ 2 ( σ + 2 ) ( 1 δ 3 ) 3 σ | Ω | 1 2 ( σ + 2 ) ( 1 δ 3 ) 3 σ .
(4.12)

Inserting (4.12) into (4.11), we get

Ω u 2 ( σ + 2 ) ( 2 β 1 ) 3 1 |u|dxc Φ 2 ( σ + 2 ) ( 1 δ 3 ) ( p 1 ) 3 σ p I 1 p .
(4.13)

Inserting (4.13) into (4.10), we have

Ω u ( σ + 2 ) ( 2 β 1 ) dx { c 3 Φ 2 ( σ + 2 ) 3 σ + c 4 Φ 2 ( σ + 2 ) ( 1 δ 3 ) ( p 1 ) 3 σ p I 1 p } 3 2 .
(4.14)

Inserting (4.9) and (4.14) into (4.8), we find

I 1 (t) c 3 Φ ( σ + 2 ) λ ( 1 δ 2 ) σ I 1 p + c 4 Φ λ 2 ( σ + 2 ) ( 1 δ 2 ) ( 1 δ 3 ) σ I μ ,
(4.15)

with

λ= p 1 p ,μ= 1 p + 3 λ ( 1 δ 2 ) 2 p <1.

Combining (4.7), (4.15) with (4.3), we have

Φ ( t ) k 1 Φ σ + 1 σ + k ˜ 2 Φ ( σ + 1 ) λ ( 1 δ 1 ) σ I 3 2 p + k ˜ 3 Φ ( σ + 2 ) λ ( 1 δ 2 ) σ I 1 p + k ˜ 4 Φ λ 2 ( σ + 2 ) ( 1 δ 2 ) ( 1 δ 3 ) σ I μ σ ( 2 β 1 ) [ σ ( 2 β 1 ) 1 ] I σ k 1 ( 2 β 1 ) Ω u σ ( 2 β 1 ) + α 1 d x ,
(4.16)

where k i and k ˜ i are computable positive constants.

Using Young’s inequality, we obtain

Φ τ 1 I τ 2 = ( k I ) τ 2 ( Φ τ 1 1 τ 2 k τ 2 1 τ 2 ) 1 τ 2 τ 2 k I + ( 1 τ 2 ) k τ 2 τ 2 1 Φ τ 1 1 τ 2

for τ 2 (0,1). So we have the following inequalities:

k ˜ 2 Φ ( σ + 1 ) λ ( 1 δ 1 ) σ I 3 2 p α 1 I+ γ 2 Φ 2 p ( σ + 1 ) λ ( 1 δ 1 ) σ ( 2 p 3 ) ,
(4.17)
k ˜ 3 Φ ( σ + 2 ) λ ( 1 δ 2 ) σ I 1 p α 2 I+ γ 3 Φ p ( σ + 2 ) λ ( 1 δ 2 ) σ ( p 1 ) ,
(4.18)
k ˜ 4 Φ λ 2 ( σ + 2 ) ( 1 δ 2 ) ( 1 δ 3 ) σ I μ α 3 I+ γ 4 Φ λ 2 ( σ + 2 ) ( 1 δ 2 ) ( 1 δ 3 ) σ ( 1 μ ) .
(4.19)

Choose α i satisfying

α 1 + α 2 + α 3 σ(2β1) [ σ ( 2 β 1 ) 1 ] =0.
(4.20)

From (4.16)-(4.20), we conclude

Φ ( t ) γ 1 Φ σ + 1 σ + γ 2 Φ 2 p ( σ + 1 ) λ ( 1 δ 1 ) σ ( 2 p 3 ) + γ 3 Φ p ( σ + 2 ) λ ( 1 δ 2 ) σ ( p 1 ) + γ 4 Φ λ 2 ( σ + 2 ) ( 1 δ 2 ) ( 1 δ 3 ) σ ( 1 μ ) = : γ 1 Φ θ 1 + γ 2 Φ θ 2 + γ 3 Φ θ 3 + γ 4 Φ θ 4 = : Ψ ( Φ ) ,

that is,

( Φ ( 0 ) Φ ( t ) d η Ψ ( η ) ) = Φ ( t ) Ψ ( Φ ) 1.
(4.21)

Integrating (4.21) over [0,t], we get

Φ ( 0 ) Φ ( t ) d η Ψ ( η ) t.

As u(x,t) blows up, letting Φ(t), we get the bound for t as follows:

t Φ ( 0 ) d η Ψ ( η ) .

The proof of Theorem 4.1 is completed. □

References

  1. Straughan B: Explosive Instabilities in Mechanics. Springer, Berlin; 1998.

    Book  MATH  Google Scholar 

  2. Quittner R, Souplet P: Superlinear Parabolic Problems: Blow-up, Global Existence and Steady States. Birkhäuser, Basel; 2007.

    MATH  Google Scholar 

  3. Marras M, Vernier-Piro S: Blow-up phenomena in reaction-diffusion systems. Discrete Contin. Dyn. Syst. 2012, 11: 4001-4014. 10.3934/dcds.2012.32.4001

    Article  MathSciNet  MATH  Google Scholar 

  4. Marras M, Vernier-Piro S: Bounds for blow-up time in nonlinear parabolic system. Discrete Contin. Dyn. Syst. 2011, 2011: 1025-1031. supplement

    MathSciNet  MATH  Google Scholar 

  5. Weissler FB:Local existence and nonexistence for semilinear parabolic equations in L p . Indiana Univ. Math. J. 1980, 29: 79-102. 10.1512/iumj.1980.29.29007

    Article  MathSciNet  MATH  Google Scholar 

  6. Weissler FB: Existence and nonexistence of global solutions for a heat equation. Isr. J. Math. 1981, 38(1-2):29-40. 10.1007/BF02761845

    Article  MathSciNet  MATH  Google Scholar 

  7. Payne LE, Schaefer PW: Lower bound for blow-up time in parabolic problems under Neumann conditions. Appl. Anal. 2006, 85: 1301-1311. 10.1080/00036810600915730

    Article  MathSciNet  MATH  Google Scholar 

  8. Payne LE, Schaefer PW: Lower bounds for blow-up time in parabolic problems under Dirichlet conditions. J. Math. Anal. Appl. 2007, 328: 1196-1205. 10.1016/j.jmaa.2006.06.015

    Article  MathSciNet  MATH  Google Scholar 

  9. Payne LE, Song JC: Lower bounds for the blow-up time in a temperature dependent Navier-Stokes flow. J. Math. Anal. Appl. 2007, 335: 371-376. 10.1016/j.jmaa.2007.01.083

    Article  MathSciNet  MATH  Google Scholar 

  10. Payne LE, Philippin GA, Schaefer PW: Bounds for blow-up time in nonlinear parabolic problems. J. Math. Anal. Appl. 2008, 338: 438-447. 10.1016/j.jmaa.2007.05.022

    Article  MathSciNet  MATH  Google Scholar 

  11. Payne LE, Philippin GA, Schaefer PW: Blow-up phenomena for some nonlinear parabolic problems. Nonlinear Anal. 2008, 69: 3495-3502. 10.1016/j.na.2007.09.035

    Article  MathSciNet  MATH  Google Scholar 

  12. Payne LE, Song JC: Lower bounds for blow-up time in a nonlinear parabolic problem. J. Math. Anal. Appl. 2009, 354: 394-396. 10.1016/j.jmaa.2009.01.010

    Article  MathSciNet  MATH  Google Scholar 

  13. Fujishima Y, Ishige K: Blow-up set for a semilinear heat equation with small diffusion. J. Differ. Equ. 2010, 249: 1056-1077. 10.1016/j.jde.2010.03.028

    Article  MathSciNet  MATH  Google Scholar 

  14. Payne LE, Schaefer PW: Bounds for the blow-up time for heat equation under nonlinear boundary condition. Proc. R. Soc. Edinb. A 2009, 139: 1289-1296. 10.1017/S0308210508000802

    Article  MathSciNet  MATH  Google Scholar 

  15. Ding J, Guo B-Z: Blow-up and global existence for nonlinear parabolic equations with Neumann boundary conditions. Comput. Math. Appl. 2010, 60: 670-679. 10.1016/j.camwa.2010.05.015

    Article  MathSciNet  MATH  Google Scholar 

  16. Mizoguchi N: Blow-up rate of solutions for a semilinear heat equation with Neumann boundary condition. J. Differ. Equ. 2003, 193: 212-238. 10.1016/S0022-0396(03)00128-1

    Article  MathSciNet  MATH  Google Scholar 

  17. Ishige K, Yagisita H: Blow-up problems for a semilinear heat equations with large diffusion. J. Differ. Equ. 2005, 212: 114-128. 10.1016/j.jde.2004.10.021

    Article  MathSciNet  MATH  Google Scholar 

  18. Payne LE, Philippin GA, Vernier Piro S: Blow-up phenomena for a semilinear heat equation with nonlinear boundary condition, I. Z. Angew. Math. Phys. 2010, 61: 999-1007. 10.1007/s00033-010-0071-6

    Article  MathSciNet  MATH  Google Scholar 

  19. Payne LE, Philippin GA, Vernier Piro S: Blow-up phenomena for a semilinear heat equation with nonlinear boundary condition, II. Nonlinear Anal. 2010, 73: 971-978. 10.1016/j.na.2010.04.023

    Article  MathSciNet  MATH  Google Scholar 

  20. Li F, Li J: Global existence and blow-up phenomena for nonlinear divergence form parabolic equations with inhomogeneous Neumann boundary. J. Math. Anal. Appl. 2012, 385: 1005-1014. 10.1016/j.jmaa.2011.07.018

    Article  MathSciNet  MATH  Google Scholar 

  21. Li F: Backward solutions to Neumann and Dirichlet problems of heat conduction equation. Appl. Math. Comput. 2009, 210: 211-214. 10.1016/j.amc.2008.12.077

    Article  MathSciNet  MATH  Google Scholar 

Download references

Acknowledgements

The authors would like to thank the referee for his/her careful reading and kind suggestions. Project supported by the National Natural Science Foundation of China (11201258), the Natural Science Foundation of Shandong Province of China (ZR2011AM008, ZR2011AQ006, ZR2012AM010), the Program for Scientific Research Innovation team in colleges and universities of Shandong Province.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Fushan Li.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (https://creativecommons.org/licenses/by/4.0), which permits use, duplication, 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 license, and indicate if changes were made.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Li, F., Li, J. Global existence and blow-up phenomena for p-Laplacian heat equation with inhomogeneous Neumann boundary conditions. Bound Value Probl 2014, 219 (2014). https://doi.org/10.1186/s13661-014-0219-y

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13661-014-0219-y

Keywords