SpringerOpen Newsletter

Receive periodic news and updates relating to SpringerOpen.

Open Access Research

Critical extinction exponents for a fast diffusion equation with nonlocal source and absorption

Haixia Li and Yuzhu Han*

Author Affiliations

Department of Mathematics, Jilin University, Changchun, 130012, P.R. China

For all author emails, please log on.

Boundary Value Problems 2014, 2014:24  doi:10.1186/1687-2770-2014-24

The electronic version of this article is the complete one and can be found online at: http://www.boundaryvalueproblems.com/content/2014/1/24


Received:22 August 2013
Accepted:10 January 2014
Published:30 January 2014

© 2014 Li and Han; licensee Springer.

This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract

In this article, the authors apply the super-solution and sub-solution methods, instead of energy estimate methods, to investigate the critical extinction exponents for a fast diffusion equation with a nonlocal source and an absorption term. They give a classification of the exponents and coefficients for the solutions to vanish in finite time or not, which improve, in some sense, the results by Xu et al. (Bound. Value Probl. 2013:24 2013) and by Han et al. (Arch. Math. 97:353-363, 2011).

MSC: 35K55, 35K57.

Keywords:
fast diffusion equation; critical exponents; extinction; super-solutions and sub-solutions

1 Introduction

In this paper, we investigate the following fast diffusion equation with a nonlocal source and an absorption term:

{ u t = Δ u m + a Ω u q ( y , t ) d y b u r , x Ω , t > 0 , u ( x , t ) = 0 , x Ω , t > 0 , u ( x , 0 ) = u 0 ( x ) , x Ω , (1.1)

where 0 < m < 1 , a , b , q , r > 0 , Ω is a bounded domain in R N ( N 1 ) with smooth boundary Ω, and u 0 L ( Ω ) is a nonnegative nontrivial function.

The equation in (1.1) is a fast diffusion equation perturbed by both a nonlocal source term and an absorption term, which describes the diffusion of concentration of some Newtonian fluids or the density of some biological species (see [1,2] and the references therein). What we are interested in here is the extinction in finite time of the nonnegative solutions u ( x , t ) of (1.1), i.e. there exists a finite time T > 0 such that the solution is nontrivial for 0 < t < T , but u ( x , t ) 0 for almost every ( x , t ) Ω × [ T , ) . In this case, T is called the extinction time. As one of the most important properties of solutions of evolutionary equations, extinction in finite time of solutions has been intensively studied by several authors (see [3-16] and the references therein). In particular, in a recent paper by Xu et al.[13], the authors investigated the extinction and non-extinction phenomena of solutions of Problem (1.1) and obtained the following result.

Theorem 1.1 (Theorems 1-3 in [13])

Suppose N 1 . If 0 < r < 1 and 0 < m = q < 1 , then the nonnegative nontrivial weak solution of Problem (1.1) vanishes in finite time for any nonnegative initial data provided that either | Ω | orais sufficiently small; If 0 < r < 1 , then the nonnegative nontrivial weak solution of Problem (1.1) vanishes in finite time provided that u 0 , | Ω | orais sufficiently small, and q > C withCbeing a positive constant depending only onN, randm; If 0 < r < 1 and m > q r , then the nonnegative nontrivial weak solution of Problem (1.1) vanishes in finite time for any nonnegative initial data provided thatbis sufficiently large.

It can be seen from the above theorem that the extinction of nonnegative nontrivial weak solutions to Problem (1.1) occurs when the absorption term is in some sense strong. However, when the absorption term is suitably weak, whether Problem (1.1) admits non-extinction solutions or not is not answered in [13]. On the other hand, it can be seen from [9] that q = m is the critical extinction exponent when there is no absorption term. An interesting problem is whether the absorption term can change the critical extinction exponent. We know from a recent paper [17] by Liu et al. that the critical extinction exponent is not changed (at least when the source is local) when r = 1 . However, when the absorption term is nonlinear, i.e. when r 1 , the problem is open.

Motivated by the works mentioned above, we investigate the critical extinction exponents for Problem (1.1) by constructing suitable super and sub-solutions and give a more complete classification of exponents and coefficients for the solutions to vanish in finite time or not.

Let φ ( x ) be the unique positive solution of the following linear elliptic problem:

Δ φ ( x ) = 1 , x Ω ; φ ( x ) = 0 , x Ω . (1.2)

Throughout this paper, we denote

M = max x Ω ¯ φ ( x ) and μ = Ω φ ( x ) d x . (1.3)

By the strong maximum principle we know that M , μ > 0 . Our main results are the following theorems.

Theorem 1.2If q > m , then all the solutions u ( x , t ) vanish in finite time for suitably small initial data u 0 ( x ) . If q = m and a μ < 1 , then all the solutions u ( x , t ) vanish in finite time for any nonnegative bounded initial data.

Theorem 1.3If r < min { q , 1 } or r = q < 1 with a | Ω | < b , then all the solutions u ( x , t ) of Problem (1.1) vanish in finite time for appropriately small initial data u 0 ( x ) .

Theorem 1.4If q < min { r , m } or r = q < m with a γ > b , then Problem (1.1) admits at least one non-extinction solution for any nonnegative initial data.

Here γ > 0 will be given in the proof of Theorem 1.4.

Theorem 1.5If q = m < r with a μ > 1 , then Problem (1.1) admits at least one non-extinction solution for any nonnegative initial data.

Theorem 1.6If q = m < 1 r with a μ = 1 , then (1.1) admits at least one non-extinction solution u ( x , t ) for any strictly positive initial data u 0 ( x ) . If q = m < r < 1 with a μ = 1 , then Problem (1.1) admits at least one extinction solution u ( x , t ) for any nonnegative initial data. If q = m < r < 1 and a | Ω | λ 1 , then u ( x , t ) vanishes in the sense that lim t + u ( , t ) m + 1 = 0 .

Remark 1.1 Comparing Theorems 1.2-1.6 with Theorem 1.1 we can see that our results complement those obtained in [13] since the case r 1 is also considered in our paper. Moreover, according to Theorems 1.2, 1.5 and the first part of Theorem 1.6 it is easy to see that q = m is the critical extinction exponent for Problem (1.1) when r = 1 , which is the same as the problems with local reaction terms (see [17]). However, when r = 1 and q = m , for the nonlocal problem under consideration, the first eigenvalue λ 1 of −Δ in Ω no longer plays the same role as it does in the local case.

2 Proof of the main results

It is well known that the equation in (1.1) is degenerate if m > 1 and singular if 0 < m < 1 , and therefore there is no classical solution in general. To state the definition of the weak solution, we first define the class of nonnegative testing functions

F = { ξ : ξ C ( Q ¯ T ) C 2 , 1 ( Q T ) , ξ t , Δ ξ L 2 ( Q T ) ; ξ 0 , ξ | Ω × ( 0 , T ) = 0 } ,

where Q T = Ω × ( 0 , T ) .

Definition 2.1 A function u L ( Q T ) is called a sub-solution (super-solution) of Problem (1.1) in Q T if the following conditions hold:

(i) u ( x , 0 ) ( ) u 0 ( x ) in Ω,

(ii) u ( x , t ) ( ) 0 on Ω × ( 0 , T ) ,

(iii) for almost every t ( 0 , T ) and every ξ F ,

Ω u ( x , t ) ξ ( x , t ) d x Ω u 0 ( x ) ξ ( x , 0 ) d x + b 0 t Ω u r ( x , s ) ξ ( x , s ) d x d s ( ) 0 t Ω { u ξ s + u m Δ ξ + a Ω u q ( y , s ) d y ξ ( x , s ) } d x d s . (2.1)

A function u ( x , t ) is called a local solution of (1.1) if it is both a sub-solution and a super-solution for some T > 0 and u ( x , t ) is called a solution of (1.1) if it is a local solution of (1.1) in Q T for any T > 0 .

Local existence of weak solutions of (1.1) can be obtained by utilizing the methods of standard regularization (see [9]) and the continuity of the solutions can be derived by the arguments similar to that in [18]. Moreover, Problem (1.1) admits global solutions when the initial data are small (see [1]). Since the regularization procedure is crucial in what follows, we shall sketch the outline. Consider the regularized problem

{ u t = Δ u m + a Ω u q ( y , t ) d y b u r , x Ω , 0 < t < T , u ( x , t ) = 1 / k , x Ω , 0 < t < T , u ( x , 0 ) = u 0 ( x ) + 1 / k , x Ω , (2.2)

where T > 0 may be chosen sufficiently small in such a way that there exists a solution u k of (2.2) on Q T for every k N , and u k is bounded independently of k. Furthermore, 1 / l u l u k for k < l , and a super-solution (sub-solution) comparison theory holds for (2.2) (see [1,19]).

Since u k is monotone in k, we may define U ( x , t ) lim k u k ( x , t ) , and it is easy to see that U ( x , t ) is a solution of (1.1). Furthermore, if u is a solution of (1.1), then we have

Ω ( u u k ) ξ ( x , t ) d x = 0 t Ω { ( u u k ) ξ s + ( u m u k m ) Δ ξ + a Ω ( u q ( y , s ) u k q ( y , s ) ) d y ξ ( x , s ) } d x d s b 0 t Ω ( u r ( x , s ) u k r ( x , s ) ) ξ ( x , s ) d x d s + 1 k m 0 t Ω ξ n d S x d s 1 k Ω ξ ( x , 0 ) d x 0 t Ω { ( u u k ) ξ s + ( u m u k m ) Δ ξ + a Ω ( u q ( y , s ) u k q ( y , s ) ) d y ξ ( x , s ) } d x d s ,

where we use the fact ξ / n 0 on Ω to derive this inequality. With Φ k and F k defined so that

( u u k ) Φ k = u m u k m , ( u u k ) R k = u r u k r

and

( u u k ) F k = u q u k q ,

we have

Ω ( u u k ) ξ ( x , t ) d x 0 t Ω ( u u k ) { ξ s + Φ k Δ ξ b R k ξ } d x d s + a 0 t Ω ξ ( x , s ) { Ω ( u u k ) F k ( y , s ) d y } d x d s .

Thus, we can choose the appropriate test function ξ as in [1,19] to obtain u u k . If u is a sub-solution of (1.1), the above argument shows that u u k . Thus U ( x , t ) is the maximal solution of (1.1), and this solution satisfies a sub-solution comparison principle.

Before proving our main results, we give a comparison principle for the solution of Problem (1.1), which is similar to Proposition 2.3 in [9] and can be proved by modifying the above arguments (see also [1,10,19]).

Proposition 2.1Letuandvbe a nonnegative bounded sub-solution and a nonnegative super-solution of (1.1), respectively. If either q 1 anduis bounded from the above or 0 < q < 1 andvhas a positive lower bound, then u ( x , t ) v ( x , t ) in Q T if u 0 ( x ) v 0 ( x ) in Ω.

Proof of Theorem 1.2 Case (i): q = m with a μ < 1 . For any bounded smooth domain Ω such that Ω Ω , let ϕ ( x ) be the unique solution of the following elliptic problem:

{ Δ ϕ ( x ) = 1 , x Ω , ϕ ( x ) = 0 , x Ω . (2.3)

By the comparison principle for linear elliptic problem we know φ ( x ) ϕ ( x ) in Ω. Set μ 1 = Ω ϕ ( x ) d x , M 1 = max x Ω ¯ ϕ ( x ) and δ = min x Ω ¯ ϕ ( x ) . It is well known from the strong maximum principle that δ > 0 .

By continuity, we can choose a suitable domain Ω with Ω Ω such that a μ 1 < 1 . Define v ( x , t ) = g ( t ) ϕ 1 m ( x ) , where g ( t ) satisfies

{ g ( t ) M 1 1 m + ( 1 a μ 1 ) g m ( t ) = 0 , t > 0 , g ( 0 ) = A δ 1 m u 0 L ( Ω ) . (2.4)

Since 0 < m < 1 , it follows from the theory in ODEs that g ( t ) is nonincreasing and g ( t ) = 0 for all

t T = M 1 1 m ( 1 a μ 1 ) ( 1 m ) A 1 m .

Then it can be verified that v ( x , t ) is a super-solution of (1.1). In fact, because q = m and g ( t ) 0 , we know that v ( x , t ) satisfies the following inequalities (in the weak sense):

v t Δ v m a Ω v m ( y , t ) d y + b v r = g ( t ) ϕ 1 m ( x ) + g m ( t ) a μ 1 g m ( t ) + b g r ( t ) ϕ r m ( x ) g ( t ) M 1 1 m + ( 1 a μ 1 ) g m ( t ) = 0 . (2.5)

In addition, v ( x , t ) 0 on Ω × ( 0 , T ) , for any 0 < T < T , and v ( x , 0 ) u 0 ( x ) by the choice of A. Moreover, there exists a positive constant C 1 such that v ( x , t ) C 1 in Q T . Therefore, by applying Proposition 2.1 to (1.1) we see that u ( x , t ) v ( x , t ) for ( x , t ) Q T , which implies u ( x , T ) v ( x , T ) . The arbitrariness of T < T and v ( x , T ) = 0 ensure that u ( x , T ) = 0 . Furthermore, let u ˜ ( x , t ) = u ( x , t + T ) , then u ˜ ( x , t ) satisfies (1.1) with the initial condition u ˜ ( x , 0 ) = 0 . By the aforementioned proof, we see that u ˜ ( x , t ) v ( x , t ) with any A > 0 . From the relation of the extinction time T of v ( x , t ) to A, it follows that u ˜ ( x , t ) = 0 for any t > 0 , i.e. u ( x , t ) = 0 for any t T .

Case (ii): q > m . Let ϕ, M 1 be the same as Case (i) and denote k 0 = max { 1 , 2 M 1 q m m μ Ω ϕ q m ( x ) d x } . Set v ( x , t ) = k ϕ 1 m ( x ) with k = ( 1 a k 0 Ω ϕ q m ( x ) d x ) 1 q m , then it is easy to verify that v ( x , t ) is a super-solution of (1.1) when u 0 ( x ) is sufficiently small such that u 0 ( x ) k ϕ 1 m ( x ) in Ω. Applying Proposition 2.1 to Problem (1.1) in Q T for any T > 0 we obtain u ( x , t ) v ( x , t ) in Q T , which implies that u ( x , t ) k M 1 1 m . Therefore, u ( x , t ) satisfies

u t Δ u m + b u r a ( k M 1 1 m ) q m Ω u m ( y , t ) d y , x Ω , t > 0 .

By the choice of k and k 0 it is easily verified that a ( k M 1 1 m ) q m μ 1 2 < 1 . Thus, by the results of Case (i), we can conclude that the solution u ( x , t ) vanishes in finite time when the initial data are suitably small. The proof of this theorem is complete. □

Proof of Theorem 1.3 We first prove the case r = q < 1 with b > a | Ω | . Set v ( x , t ) = g ( t ) where g ( t ) satisfies the following ordinary differential equation:

{ g ( t ) + ( b a | Ω | ) g q ( t ) = 0 , t > 0 , g ( 0 ) = u 0 L ( Ω ) . (2.6)

Since 0 < q < 1 and b > a | Ω | , we know by integrating the ODE that g ( t ) vanishes at some finite time T . Moreover, as in the proof of Theorem 1.2, it can be verified that g ( t ) is a super-solution of (1.1). Thus, by applying Proposition 2.1 to u ( x , t ) and g ( t ) for any 0 < T < T we know that u ( x , t ) also vanishes at T .

In the case r < min { q , 1 } , let g ( t ) satisfy the following ODE:

{ g ( t ) + ( b a | Ω | g q r ( t ) ) g r ( t ) = 0 , t > 0 , g ( 0 ) = g 0 , (2.7)

where 0 < g 0 < ( b a | Ω | ) 1 q m . Similar to the first case, it is well known that g ( t ) vanishes in finite time since r < 1 and g ( t ) is a super-solution of (1.1) provided that u 0 ( x ) is small enough such that u 0 L ( Ω ) g 0 . Applying Proposition 2.1 to u ( x , t ) and g ( t ) guarantees the finite time extinction of u ( x , t ) . This completes the proof of Theorem 1.3. □

Proof of Theorem 1.4 (i) Consider first the case q < r m . Let λ 1 be the first eigenvalue of the following eigenvalue problem:

{ Δ ψ ( x ) = λ ψ ( x ) , x Ω , ψ ( x ) = 0 , x Ω , (2.8)

and ψ 1 ( x ) > 0 ( x Ω ) be the corresponding eigenfunction. We may normalize ψ 1 ( x ) such that ψ 1 L ( Ω ) = 1 . Denote γ = Ω ψ 1 q m ( x ) d x and let g ( t ) satisfy the ODE problem

{ g ( t ) = λ 1 g m ( t ) + a γ g q ( t ) b g r ( t ) , t > 0 , g ( 0 ) = 0 , g ( t ) > 0 , t > 0 . (2.9)

It is easy to check that g ( t ) is nondecreasing and bounded from above by min { ( a γ λ 1 ) 1 m q , ( a γ b ) 1 r q } . Set v ( x , t ) = ρ g ( t ) ψ 1 1 m ( x ) . We shall show that v ( x , t ) is a sub-solution of (1.1) when ρ > 0 is sufficiently small. In fact, simple computations show that

v t = ρ ( λ 1 g m ( t ) + a γ g q ( t ) b g r ( t ) ) ψ 1 1 m ( x )

and

Δ v m + a Ω v q ( y , t ) d y b v r = λ 1 ρ m g m ψ 1 + a γ ρ q g q b ρ r g r ψ 1 r m .

For v ( x , t ) to be a sub-solution of (1.1), it suffices to show that

λ 1 g m ( t ) ρ m + b g r ( t ) ρ r a γ g q ( t ) ( ρ q ρ ) ,

which follows from

C ( ρ m q + ρ r q ) a γ ( 1 ρ 1 q ) , (2.10)

where C = max t > 0 { λ 1 g m q ( t ) , b g r q ( t ) } < + . It is easy to see that (2.10) is valid for sufficiently small ρ > 0 since q < r m < 1 .

Next, we turn our attention to construct a super-solution of (1.1). Set w ( x , t ) = L , where L = max { u 0 L ( Ω ) , ( a | Ω | b ) 1 r q , ρ max t 0 g ( t ) } . Then it is not hard to see that w ( x , t ) is a super-solution and v ( x , t ) w ( x , t ) . Therefore, by an iteration process, one can obtain a solution of Problem (1.1), which satisfies v ( x , t ) u ( x , t ) w ( x , t ) . Indeed, define u 1 ( x , t ) = w ( x , t ) and { u k ( x , t ) } k = 2 iteratively to be a solution of the problem

u k t Δ u k m + b u k r = a Ω u k 1 q ( x , t ) d x , x Ω , t > 0 ,

subject to the boundary and initial conditions as that in (1.1). By applying the comparison technique used in the proof of Lemma 2.1 in [1,12] we know that the function u ( x , t ) = lim k u k ( x , t ) , for every x Ω ¯ and t > 0 , is a solution of (1.1). Because v ( x , t ) does not vanish, neither does u ( x , t ) .

(ii) The case q < m < r can be treated similarly to Case (i).

(iii) Finally we consider the case r = q < m with a γ > b . Let g ( t ) satisfy the following ODE:

{ g ( t ) = λ 1 g m ( t ) + ( a γ b ) g q ( t ) , t > 0 , g ( 0 ) = 0 , g ( t ) > 0 , t > 0 . (2.11)

Then g ( t ) is nondecreasing and satisfies g ( t ) ( a γ b λ 1 ) 1 m q . (The upper bound of g ( t ) can be obtained by contradiction arguments and the monotonicity of g ( t ) follows immediately as the upper bound is derived.) As in the proof of Case (i), we can construct a non-extinction sub-solution v ( x , t ) = ρ g ( t ) ψ 1 m ( x ) with ρ > 0 sufficiently small.

To construct a super-solution, consider the following eigenvalue problem:

{ Δ ψ ( x ) = λ ψ ( x ) , x Ω ˜ , ψ ( x ) = 0 , x Ω ˜ ,

where Ω ˜ Ω is a bounded domain with smooth boundary Ω ˜ . Let λ ˜ 1 and ψ ˜ 1 ( x ) > 0 ( x Ω ˜ ) be its first eigenvalue and the corresponding eigenfunction, respectively. We may normalize ψ ˜ 1 ( x ) such that ψ ˜ 1 L ( Ω ˜ ) = 1 . Denote γ ˜ = Ω ψ ˜ 1 q m ( x ) d x and δ ˜ = min x Ω ¯ ψ ˜ 1 ( x ) > 0 . Set w ( x , t ) = k ψ ˜ 1 1 m ( x ) , then we shall show that w ( x , t ) is a super-solution of (1.1) provided that k > 0 is suitably large. Indeed, if k = max { ( a γ ˜ λ ˜ 1 δ ˜ ) 1 m q , δ ˜ 1 m u 0 L ( Ω ) , ρ ( a γ b λ 1 ) 1 m q } , we know that w ( x , t ) 0 on Ω × ( 0 , ) , w ( x , 0 ) u 0 ( x ) in Ω and w ( x , t ) satisfies the following inequalities (in the weak sense):

w t Δ w m a Ω w q ( x , t ) d x + b w q = k m λ ˜ 1 ψ ˜ 1 ( x ) a k q γ ˜ + b k q ψ ˜ 1 q m ( x ) k q ( k m q λ ˜ 1 δ ˜ a γ ˜ ) 0 .

Moreover, v ( x , t ) w ( x , t ) by the choice of k. Therefore, by applying the monotonicity iteration process we can obtain a non-extinction solution u ( x , t ) of (1.1) satisfying v ( x , t ) u ( x , t ) w ( x , t ) . The proof of Theorem 1.4 is complete. □

Proof of Theorem 1.5 The proof of this theorem is similar to that of Theorem 1.4, so we only sketch the outline here. Set v ( x , t ) = ρ g ( t ) φ 1 m ( x ) where φ ( x ) is defined in (1.2) and g ( t ) satisfies the following ODE problem:

{ g ( t ) = M 1 m { ( a μ 1 ) g m ( t ) b M r m g r ( t ) } , t > 0 , g ( 0 ) = 0 , g ( t ) > 0 , t > 0 . (2.12)

Since a μ > 1 and m < r , it is well known that g ( t ) is nondecreasing and bounded above by ( a μ 1 b M r m ) 1 r m . Then v ( x , t ) is a sub-solution of (1.1) if ρ > 0 is sufficiently small. On the other hand, the super-solution w ( x , t ) can be chosen to be a large positive constant L satisfying L max { u 0 L ( Ω ) , ( a | Ω | b ) 1 r q , ρ M 1 m max t 0 g ( t ) } . It can be observed that ( v , w ) is a pair of sub-solution and super-solution of (1.1) satisfying v ( x , t ) w ( x , t ) . Therefore, by monotonicity iteration, we know that (1.1) admits at least one solution u ( x , t ) such that v ( x , t ) u ( x , t ) w ( x , t ) . Since v ( x , t ) > 0 in Ω × ( 0 , + ) , u ( x , t ) cannot vanish at any finite time. The proof of Theorem 1.5 is complete. □

Proof of Theorem 1.6 (i) Let u ( x , t ) be any solution of (1.1). It can be verified that, for the case m = q < r < 1 , a sufficiently large constant L is a super-solution of (1.1). Therefore, we know that u ( x , t ) L in Ω × ( 0 , + ) . For convenience, in the following proof, we assume that the weak solution is appropriately smooth; otherwise, we can consider the corresponding regularized problem, and the same result can also be obtained through an approximate process (see [15]). Multiplying equation (1.1) by u m and integrating by parts over Ω yield the identity

1 m + 1 d d t Ω u m + 1 d x + Ω | u m | 2 d x + b Ω u m + r d x = a ( Ω u m d x ) 2 . (2.13)

Recall the embedding theorem

Ω | u m | 2 d x λ 1 Ω u 2 m d x .

Combining this result with (2.13) and using Hölder’s inequality on the right hand side of (2.13) one obtains

1 m + 1 d d t Ω u m + 1 d x + λ 1 Ω u 2 m d x + b Ω u m + r d x a | Ω | Ω u 2 m d x . (2.14)

Noticing that a | Ω | λ 1 and u ( x , t ) L , we see from (2.14) that

d d t Ω u m + 1 d x + b ( m + 1 ) L r 1 Ω u m + 1 d x 0 ,

which implies

Ω u m + 1 d x e b ( m + 1 ) L r 1 t Ω u 0 m + 1 d x .

This shows that u ( , t ) m + 1 tends to 0 exponentially as t + .

(ii) Let w ( x , t ) = g ( t ) φ 1 m ( x ) , where g ( t ) satisfies

{ g ( t ) + b M 1 r m g r ( t ) = 0 , t > 0 , g ( 0 ) = A > 0 . (2.15)

Since 0 < r < 1 , g ( t ) is nonincreasing and g ( t ) = 0 for t T = A 1 r b M 1 r m ( 1 r ) . Noticing m = q and a μ = 1 , one can see that w ( x , t ) is a super-solution of (1.1) provided that u 0 ( x ) A φ 1 m ( x ) in Ω. By using the arguments similar to that of the proof of Case (i) of Theorem 1.2 we can show that any solution u ( x , t ) of Problem (1.1) vanishes in finite time.

(iii) Finally we consider the case q = m < 1 r . First we construct a non-extinction sub-solution of (1.1). Set v ( x , t ) = h 0 e α t φ 1 m ( x ) , where h 0 , α are two positive constants to be determined. Noticing that a μ = 1 , it is easily verified that when r = 1 , v ( x , t ) is a sub-solution of (1.1) if α b and if h 0 is so small such that h 0 φ 1 m ( x ) u 0 ( x ) . When r > 1 , for v ( x , t ) to be sub-solution of (1.1) it is reasonable to choose first h 0 so small such that h 0 φ 1 m ( x ) u 0 ( x ) and then α b h 0 r 1 M r 1 m . Next, since r > q and v ( x , t ) is bounded, we can choose a sufficiently large constant L v ( x , t ) to be a sup-solution of (1.1). Therefore, by monotonicity iteration, we can obtain a solution of (1.1) satisfying v ( x , t ) u ( x , t ) L . Since v ( x , t ) does not vanish at any finite time, neither does u ( x , t ) . The proof of Theorem 1.6 is complete. □

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

All authors contributed equally to the manuscript and read and approved the final manuscript.

Acknowledgements

The authors would like to thank the referees for their valuable comments and suggestions which improve the original manuscript. The authors would also like to express their sincere gratitude to Professor Wenjie Gao for his enthusiastic guidance and constant encouragement. The project was supported by NSFC (11271154).

References

  1. Anderson, JR, Deng, K: Global existence for degenerate parabolic equations with a nonlocal forcing. Math. Methods Appl. Sci.. 20, 1069–1087 (1997). Publisher Full Text OpenURL

  2. Vázquez, JL: The Porous-Medium Equation: Mathematical Theory, Oxford University Press, Oxford (2007)

  3. Berryman, JG, Holland, CJ: Stability of the separable solution for fast diffusion. Arch. Ration. Mech. Anal.. 74, 379–388 (1980)

  4. Bonforte, M, Grillo, G, Vázquez, JL: Behaviour near extinction for the fast diffusion equation on bounded domains. J. Math. Pures Appl.. 97, 1–38 (2012). Publisher Full Text OpenURL

  5. Galaktionov, VA, Peletier, LA, Vazquez, JL: Asymptotics of fast-diffusion equation with critical exponent. SIAM J. Math. Anal.. 31, 1157–1174 (2000). Publisher Full Text OpenURL

  6. Galaktionov, VA, Vazquez, JL: Asymptotic behavior of nonlinear parabolic equations with critical exponents. A dynamical system approach. J. Funct. Anal.. 100, 435–462 (1991). Publisher Full Text OpenURL

  7. Galaktionov, VA, Vazquez, JL: Extinction for a quasilinear heat equation with absorption I. Technique of intersection comparison. Commun. Partial Differ. Equ.. 19, 1075–1106 (1994). Publisher Full Text OpenURL

  8. Galaktionov, VA, Vazquez, JL: Extinction for a quasilinear heat equation with absorption II. A dynamical system approach. Commun. Partial Differ. Equ.. 19, 1107–1137 (1994). Publisher Full Text OpenURL

  9. Han, YZ, Gao, WJ: Extinction for a fast diffusion equation with a nonlinear nonlocal source. Arch. Math.. 97, 353–363 (2011). Publisher Full Text OpenURL

  10. Han, YZ, Gao, WJ: Extinction and non-extinction for a polytropic filtration equation with a nonlocal source. Appl. Anal.. 92(3), 636–650 (2013). Publisher Full Text OpenURL

  11. Leoni, G: A very singular solution for the porous media equation u t = Δ u m u p when 0 < m < 1 . J. Differ. Equ.. 132, 353–376 (1996). Publisher Full Text OpenURL

  12. Wang, YF, Yin, JX: Critical extinction exponents for a polytropic filtration equation with absorption and source. Math. Methods Appl. Sci. (2012). Publisher Full Text OpenURL

  13. Xu, XH, Fang, ZB, Yi, S: Extinction and decay estimates of solutions for a porous medium equation with nonlocal source and strong absorption. Bound. Value Probl.. 2013, (2013) Article ID 24

  14. Yin, JX, Li, J, Jin, CH: Non-extinction and critical exponent for a polytropic filtration equation. Nonlinear Anal.. 71, 347–357 (2009). Publisher Full Text OpenURL

  15. Yin, JX, Jin, CH: Critical extinction and blow-up exponents for fast diffusive polytropic filtration equation with sources. Proc. Edinb. Math. Soc.. 52, 419–444 (2009). Publisher Full Text OpenURL

  16. Zheng, P, Mu, CL: Extinction and decay estimates of solutions for a polytropic filtration equation with the nonlocal source and interior absorption. Math. Methods Appl. Sci. (2012). Publisher Full Text OpenURL

  17. Liu, WJ, Wang, MX, Wu, B: Extinction and decay estimates of solutions for a class of porous medium equations. J. Inequal. Appl.. 2007, (2007) Article ID 087650

  18. Sacks, PE: Continuity of solutions of a singular parabolic equation. Nonlinear Anal.. 7, 387–409 (1983). Publisher Full Text OpenURL

  19. Anderson, JR: Local existence and uniqueness of solutions of degenerate parabolic equations. Commun. Partial Differ. Equ.. 16, 105–143 (1991). Publisher Full Text OpenURL