# Blow up problems for a degenerate parabolic equation with nonlocal source and nonlocal nonlinear boundary condition

## Abstract

This article deals with the blow-up problems of the positive solutions to a nonlinear parabolic equation with nonlocal source and nonlocal boundary condition. The blow-up and global existence conditions are obtained. For some special case, we also give out the blow-up rate estimate.

## 1. Introduction

In this article, we consider the positive solution of the following degenerate parabolic equation

$\begin{array}{c}{u}_{t}=f\left(u\right)\left(\mathrm{\Delta }u+a{\int }_{\mathrm{\Omega }}u\left(x,t\right)dx\right),\phantom{\rule{1em}{0ex}}x\in \mathrm{\Omega },\phantom{\rule{1em}{0ex}}t>0,\hfill \\ u\left(x,t\right)={\int }_{\mathrm{\Omega }}g\left(x,y\right){u}^{l}\left(y,t\right)dy,\phantom{\rule{1em}{0ex}}x\in \partial \mathrm{\Omega },\phantom{\rule{1em}{0ex}}t>0,\hfill \\ u\left(x,0\right)={u}_{0}\left(x\right),\phantom{\rule{1em}{0ex}}x\in \mathrm{\Omega },\hfill \end{array}$
(1.1)

where a, l > 0 and Ω is a bounded domain in RN (N ≥ 1) with smooth boundary ∂Ω.

There have been many articles dealing with properties of solutions to degenerate parabolic equations with homogeneous Dirichlet boundary condition (see  and references therein). For example, Deng et al.  studied the parabolic equation with nonlocal source

${u}_{t}=f\left(u\right)\left(\mathrm{\Delta }u+a{\int }_{\mathrm{\Omega }}udx\right),$
(1.2)

which is subjected to homogeneous Dirichlet boundary condition. It was proved that there exists no global positive solution if and only if ${}_{\int }^{\infty }1/\left(sf\left(s\right)\right)ds<\infty$ and ${\int }_{\mathrm{\Omega }}\phi \left(x\right)dx>1/a$, where φ(x) is the unique positive solution of the linear elliptic problem

$-\mathrm{\Delta }\phi =1,x\in \mathrm{\Omega };\phi \left(x\right)=0,x\in \partial \mathrm{\Omega }.$
(1.3)

However, there are some important phenomena formulated into parabolic equations which are coupled with nonlocal boundary conditions in mathematical modeling such as thermoelasticity theory (see [6, 7]). Friedman  studied the problem of nonlocal boundary conditions for linear parabolic equations of the type

$\begin{array}{ll}{u}_{t}-Au=c\left(x\right)u,\hfill & x\in \mathrm{\Omega },t>0,\hfill \\ u\left(x,t\right)={\int }_{\mathrm{\Omega }}K\left(x,y\right)u\left(y,t\right)dy,\hfill & x\in \partial \mathrm{\Omega },t>0,\hfill \\ u\left(x,0\right)={u}_{0}\left(x\right),\phantom{\rule{0.5em}{0ex}}\phantom{\rule{0.5em}{0ex}}\hfill & x\in \mathrm{\Omega },\hfill \end{array}$
(1.4)

with uniformly elliptic operator $A=\sum _{i,j=1}^{n}{a}_{ij}\left(x\right)\frac{{\partial }^{2}}{\partial {x}_{i}\partial {x}_{j}}+\sum _{i=1}^{n}{b}_{i}\left(x\right)\frac{\partial }{\partial {x}_{i}}+c\left(x\right)$ and c(x)≤ 0. It was proved that the unique solution of (1.4) tends to 0 monotonically and exponentially as t →+∞ provided that ${\int }_{\mathrm{\Omega }}\left|\phi \left(x,y\right)\right|dy\le \rho <1,x\in \partial \mathrm{\Omega }.$

Parabolic equations with both nonlocal sources and nonlocal boundary conditions have been studied as well (see ). Lin and Liu  considered the problem of the form

$\begin{array}{c}{u}_{t}=\mathrm{\Delta }u+{\int }_{\mathrm{\Omega }}g\left(u\right)dx,\phantom{\rule{1em}{0ex}}\phantom{\rule{1em}{0ex}}\phantom{\rule{1em}{0ex}}\phantom{\rule{0.5em}{0ex}}x\in \mathrm{\Omega },t>0,\hfill \\ u\left(x,t\right)={\int }_{\mathrm{\Omega }}K\left(x,y\right)u\left(y,t\right)dy,x\in \partial \mathrm{\Omega },t>0,\hfill \\ u\left(x,0\right)={u}_{0}\left(x\right),\phantom{\rule{6em}{0ex}}x\in \mathrm{\Omega }.\hfill \end{array}$
(1.5)

They established local existence, global existence, and nonexistence of solutions, and discussed the blow-up properties of solutions.

Chen and Liu  considered the following nonlinear parabolic equation with a localized reaction source and a weighted nonlocal boundary condition

$\begin{array}{c}{u}_{t}=f\left(u\right)\left(\mathrm{\Delta }u+au\left({x}_{0},t\right)\right),\phantom{\rule{3em}{0ex}}x\in \mathrm{\Omega },t>0,\hfill \\ u\left(x,t\right)={\int }_{\mathrm{\Omega }}g\left(x,y\right)u\left(y,t\right)dy,\phantom{\rule{2em}{0ex}}x\in \partial \mathrm{\Omega },t>0,\hfill \\ u\left(x,0\right)={u}_{0}\left(x\right),\phantom{\rule{7.5em}{0ex}}x\in \mathrm{\Omega }.\hfill \end{array}$
(1.6)

Under certain conditions, they obtained blow-up criteria. Furthermore, they derived the uniform blow-up estimate for some special f(u).

In recent few years, reaction-diffusion problems coupled with nonlocal nonlinear boundary conditions have also been studied. Gladkov and Kim  considered the following problem for a single semilinear heat equation

$\begin{array}{c}{u}_{t}=\mathrm{\Delta }u+c\left(x,t\right){u}^{p},\phantom{\rule{6em}{0ex}}x\in \mathrm{\Omega },t>0,\hfill \\ u\left(x,t\right)={\int }_{\mathrm{\Omega }}\phi \left(x,y,t\right){u}^{l}\left(y,t\right)dy,\phantom{\rule{0.8em}{0ex}}x\in \partial \mathrm{\Omega },t>0,\hfill \\ u\left(x,0\right)={u}_{0}\left(x\right),\phantom{\rule{7.5em}{0ex}}x\in \mathrm{\Omega },\hfill \end{array}$
(1.7)

where p, l > 0. They obtained some criteria for the existence of global solution as well as for the solution to blow-up in finite time.

For other works on parabolic equations and systems with nonlocal nonlinear boundary conditions, we refer readers to  and the references therein.

Motivated by those of works above, we will study the problem (1.1) and want to understand how the function f(u) and the coefficient a, the weight function g(x, y) and the nonlinear term ul (y, t) in the boundary condition play substantial roles in determining blow-up or not of solutions.

(H1) ${u}_{0}\left(x\right)\in {C}^{2+\alpha }\left(\mathrm{\Omega }\right)\cap C\left(\overline{\mathrm{\Omega }}\right)$ for α(0,1),u0(x) > 0 in Ω, ${u}_{0}\left(x\right)={\int }_{\mathrm{\Omega }}g\left(x,y\right){u}_{0}^{l}\left(y\right)dy$ on ∂Ω.

(H2) g(x, y)0 is a nonnegative and continuous function defined for $x\in \partial \mathrm{\Omega },y\in \overline{\mathrm{\Omega }}$.

(H3) fC([0,∞))∩C1(0,∞), f > 0, f' ≥ 0 in (0,∞).

Theorem 1.1. Assume that 0 < l ≤ 1 and ${\int }_{\mathrm{\Omega }}g\left(x,y\right)dy<1$ for all x∂Ω.

1. (1)

If a is sufficiently small, then the solution of (1.1) exists globally;

2. (2)

If a is sufficiently large, then the solution of (1.1) also exists globally provided that ${\int }_{\delta }^{+\infty }1/\left(sf\left(s\right)\right)ds=+\infty$ for some δ > 0.

Theorem 1.2. Assume that l > 1 and ${\int }_{\mathrm{\Omega }}g\left(x,y\right)dy<1$ for all x∂Ω. Then the solution of (1.1) exists globally provided that a and u0(x) are sufficiently small. While the solution blows up in finite time if a,u0(x) are sufficiently large and ${\int }_{\delta }^{+\infty }1/\left(sf\left(s\right)\right)ds<+\infty$ for some δ > 0.

Theorem 1.3. Assume that l > 1 and ${\int }_{\mathrm{\Omega }}g\left(x,y\right)dy\ge 1$ for all x∂Ω. If ${\int }_{\delta }^{+\infty }1/\left(sf\left(s\right)\right)ds<+\infty$ for some δ > 0, then the solution of (1.1) blows up in finite time provided that u0(x) is large enough.

Theorem 1.4. If ${\int }_{\delta }^{+\infty }1/\left(sf\left(s\right)\right)ds<+\infty$ for some δ > 0 and $a>{\left({\int }_{\mathrm{\Omega }}\phi \left(x\right)dx\right)}^{-1}$, where φ(x) is the solution of (1.3), then there exists no global positive solution of (1.1).

To describe conditions for blow-up of solutions, we need an additional assumption on the initial data u 0 .

(H4) There exists a constant ε > ε1 > 0 such that $\mathrm{\Delta }{u}_{0}+a{\int }_{\mathrm{\Omega }}{u}_{0}\left(x\right)dx\ge \epsilon {u}_{0}$, where ε1 will be given later.

Theorem 1.5. Assume u0(x) satisfies (H1), (H2), and (H4), Δu0 ≤ 0 in Ω holds, and let f(u) = up, 0 < p ≤ 1, l = 1, then the following limits converge uniformly on any compact subset of Ω:

1. (1)

If 0 < p < 1, $\underset{t\to {T}^{*}}{\text{lim}}u\left(x,t\right){\left({T}^{*}-t\right)}^{1/p}={\left(ap\left|\mathrm{\Omega }\right|\right)}^{-1/p}$.

2. (2)

If p = 1, $\underset{t\to {T}^{*}}{\text{lim}}{\left|\text{ln}\left({T}^{*}-t\right)\right|}^{-1}\text{ln}u\left(x,t\right)=1$.

This article is organized as follows. In Section 2, we establish the comparison principle and the local existence. Some criteria regarding to global existence and finite time blow-up for problem (1.1) are given in Section 3. In Section 4, the global blow-up result and the blow-up rate estimate of blow-up solutions for the special case of f (u) = up , 0 < p ≤ 1 and l = 1 are obtained.

## 2. Comparison principle and local existence

First, we start with the definition of subsolution and supersolution of (1.1) and comparison principle. Let Q T = Ω × (0, T), S T = ∂Ω × (0, T), and ${\overline{Q}}_{T}=\overline{\mathrm{\Omega }}×\left[0,T\right)$.

Definition 2.1. A function u(x, t) is called a subsolution of (1.1) on Q T , if $\underset{¯}{u}\in {C}^{2,1}\left({Q}_{T}\right)\cap C\left({\overline{Q}}_{T}\right)$ satisfies

$\begin{array}{ll}{\underset{¯}{u}}_{t}\le f\left(\underset{¯}{u}\right)\left(\Delta \underset{¯}{u}+a{\int }_{\mathrm{\Omega }}\underset{¯}{u}dx\right)\phantom{\rule{0.5em}{0ex}}\phantom{\rule{0.5em}{0ex}}\phantom{\rule{0.5em}{0ex}},\hfill & \phantom{\rule{0.5em}{0ex}}x\in \mathrm{\Omega },t>0,\hfill \\ \underset{¯}{u}\left(x,t\right)\le {\int }_{\mathrm{\Omega }}g\left(x,y\right){\underset{¯}{u}}^{l}\left(y,t\right)dy,\phantom{\rule{0.5em}{0ex}}\phantom{\rule{0.5em}{0ex}}\phantom{\rule{0.5em}{0ex}}\phantom{\rule{0.5em}{0ex}}\phantom{\rule{0.5em}{0ex}}\phantom{\rule{0.5em}{0ex}}\phantom{\rule{0.5em}{0ex}}\phantom{\rule{0.5em}{0ex}}\phantom{\rule{0.5em}{0ex}}\phantom{\rule{0.5em}{0ex}}\hfill & x\in \partial \mathrm{\Omega },\phantom{\rule{0.5em}{0ex}}t>0,\hfill \\ \underset{¯}{u}\left(x,0\right)\le {u}_{0}\left(x\right),\hfill & x\in \mathrm{\Omega }.\hfill \end{array}$
(2.1)

Similarly, a supersolution ū(x, t) of (1.1) is defined by the opposite inequalities.

A solution of problem (1.1) is a function which is both a subsolution and a supersolution of problem (1.1).

The following comparison principle plays a crucial role in our proofs which can be obtained by similar arguments as  and its proof is therefore omitted here.

Lemma 2.2. Suppose that $w\left(x,t\right)\in {C}^{2,1}\left({Q}_{T}\right)\cap C\left({\overline{Q}}_{T}\right)$ and satisfies

$\begin{array}{c}{w}_{t}-d\left(x,t\right)\mathrm{\Delta }w\ge {c}_{1}\left(x,t\right)w+{c}_{2}\left(x,t\right){\int }_{\mathrm{\Omega }}{c}_{3}\left(x,t\right)w\left(x,t\right)dx,\left(x,t\right)\in {Q}_{T},\hfill \\ w\left(x,t\right)\ge {c}_{4}\left(x,t\right){\int }_{\mathrm{\Omega }}{c}_{5}\left(x,y\right){w}^{l}\left(y,t\right)dy,\phantom{\rule{7.5em}{0ex}}\left(x,t\right)\in {S}_{T},\hfill \end{array}$
(2.2)

where d(x, t), c i (x, t)(i = 1,2,3,4) are bounded functions and d(x, t)≥ 0, c i (x, t)≥ 0 (i = 2,3,4) in Q T , c5 (x, y)≥ 0 for x∂Ω, yΩ and is not identically zero. Then, w(x, 0) > 0 for $x\in \overline{\mathrm{\Omega }}$ implies w(x, t) > 0 in Q T . Moreover, c5 (x, y) ≡ 0 or if ${c}_{4}\left(x,t\right){\int }_{\mathrm{\Omega }}{c}_{5}\left(x,y\right)dy\le 1$ on S T , then w(x, 0) ≥ 0 for $x\in \overline{\mathrm{\Omega }}$ implies w(x, t) ≥ 0 in Q T .

On the basis of the above lemmas, we obtain the following comparison principle of (1.1).

Lemma 2.3. Let u and v be nonnegative subsolution and supersolution of (1.1), respectively, with u(x, 0) ≤ v(x, 0) for $x\in \overline{\mathrm{\Omega }}$. Then, uv in Q T if uη or vη for some small positive constant η holds.

Local in time existence of positive classical solutions of (1.1) can be obtained by using fixed point theorem , the representation formula and the contraction mapping principle as in . By the above comparison principle, we get the uniqueness of solution to the problem. The proof is more or less standard, so is omitted here.

## 3. Global existence and blow-up in finite time

In this section, we will use super- and subsolution techniques to derive some conditions on the existence or nonexistence of global solution.

Proof of Theorem 1.1. (1) Let ψ(x) be the unique positive solution of the linear elliptic problem

$\begin{array}{cc}\hfill -\mathrm{\Delta }\mathit{\psi }& ={\epsilon }_{0},\phantom{\rule{4.5em}{0ex}}x\in \mathrm{\Omega },\hfill \\ \hfill \mathit{\psi }\left(x\right)& ={\int }_{\mathrm{\Omega }}g\left(x,y\right)dy,x\in \partial \mathrm{\Omega },\hfill \end{array}$
(3.1)

where ε0 is a positive constant such that 0 < ψ(x) < 1 (since ${\int }_{\mathrm{\Omega }}g\left(x,y\right)dy<1$, there exists such ε0). Let $\overline{K}={\text{max}}_{x\in \overline{\mathrm{\Omega }}}\mathit{\psi }\left(x\right)$, $\underset{¯}{K}={\text{min}}_{x\in \overline{\mathrm{\Omega }}}\mathit{\psi }\left(x\right)$.

We define a function w(x, t) as following:

$w\left(x,t\right)=M\mathit{\psi }\left(x\right),$
(3.2)

where M ≥ 1 is a constant to be determined later. Then, we have

$\begin{array}{cc}\hfill w{|}_{\partial \mathrm{\Omega }}& =M{\int }_{\mathrm{\Omega }}g\left(x,y\right)dy\ge M{\int }_{\mathrm{\Omega }}g\left(x,y\right){\mathit{\psi }}^{l}\left(x\right)dy={M}^{1-l}{\int }_{\mathrm{\Omega }}g\left(x,y\right){w}^{l}\left(y,t\right)dy\hfill \\ \ge {\int }_{\mathrm{\Omega }}g\left(x,y\right){w}^{l}\left(y,t\right)dy.\hfill \end{array}$
(3.3)

On the other hand, we have for x Ω, t > 0,,

${w}_{t}-f\left(w\right)\left(\mathrm{\Delta }w+a{\int }_{\mathrm{\Omega }}w\left(x,t\right)dx\right)\ge f\left(M\mathit{\psi }\left(x\right)\right)M\left({\epsilon }_{0}-a\left|\mathrm{\Omega }\right|\overline{K}\right).$
(3.4)

We choose $M=\text{max}\left\{{\underset{¯}{K}}^{-1}{\text{max}}_{x\in \overline{\mathrm{\Omega }}}{u}_{0}\left(x\right),1\right\}$ and set ${a}_{0}={\epsilon }_{0}{\left(\left|\mathrm{\Omega }\right|\overline{K}\right)}^{-1}$, then it is easy to verify that w(x, t) is a supersolution of (1.1) provided that aa0. By comparison principle, u(x, t) ≤ w(x, t), then u(x, t) exists globally.

1. (2)

Consider the following problem

$\begin{array}{cc}\hfill {z}^{\prime }\left(t\right)& ={b}_{1}f\left(\overline{K}z\left(t\right)\right)z\left(t\right),t>0,\hfill \\ \hfill z\left(0\right)& ={z}_{0},\hfill \end{array}$
(3.5)

where ${z}_{0}>\text{max}\left\{{\underset{¯}{K}}^{-1}{\text{max}}_{x\in \overline{\mathrm{\Omega }}}{u}_{0}\left(x\right),1\right\}$, b1 is a positive constant to be fixed later. It follows from hypothesis (H3) and the theory of ordinary differential equation (ODE) that there exists a unique solution z (t) to problem (3.5) and z (t) is increasing. If ${\int }_{\delta }^{+\infty }1/\left(sf\left(s\right)\right)ds=+\infty$ for some positive δ, we know that z (t) exists globally and z (t) ≥ z0.

Let v(x, t) = z (t) ψ (x), where ψ (x) is given by (3.1), then for x Ω, t > 0, we obtain

$\begin{array}{cc}\hfill {v}_{t}& -f\left(v\right)\left(\mathrm{\Delta }v+a{\int }_{\mathrm{\Omega }}v\left(x,t\right)dx\right)\hfill \\ ={z}^{\prime }\left(t\right)\mathit{\psi }\left(x\right)-f\left(z\left(t\right)\mathit{\psi }\left(x\right)\right)\left(z\left(t\right)\mathrm{\Delta }\mathit{\psi }\left(x\right)+a{\int }_{\mathrm{\Omega }}z\left(t\right)\mathit{\psi }\left(x\right)dx\right)\hfill \\ \ge {z}^{\prime }\left(t\right)\underset{¯}{K}-f\left(\overline{K}z\left(t\right)\right)z\left(t\right)\left(a\overline{K}\left|\mathrm{\Omega }\right|-{\epsilon }_{0}\right)\hfill \\ =f\left(\overline{K}z\left(t\right)\right)z\left(t\right)\left({b}_{1}\underset{¯}{K}-\left(a\overline{K}\left|\mathrm{\Omega }\right|-{\epsilon }_{0}\right)\right).\hfill \end{array}$
(3.6)

Set ${a}_{1}={\epsilon }_{0}{\left(\overline{K}\left|\mathrm{\Omega }\right|\right)}^{-1}$, if a is sufficiently large such that a > a1, then we can choose

${b}_{1}={\underset{¯}{K}}^{-1}\left(a\overline{K}\left|\mathrm{\Omega }\right|-{\epsilon }_{0}\right)>0$. Thus,

${v}_{t}-f\left(v\right)\left(\mathrm{\Delta }v+a{\int }_{\mathrm{\Omega }}v\left(x,t\right)dx\right)\ge 0.$
(3.7)

On the other hand, for x ∂Ω, t > 0, we get

$\begin{array}{cc}\hfill v\left(x,t\right)& =z\left(t\right){\int }_{\mathrm{\Omega }}g\left(x,y\right)dy>z\left(t\right){\int }_{\mathrm{\Omega }}g\left(x,y\right){\mathit{\psi }}^{l}\left(y\right)dy\hfill \\ >{\int }_{\mathrm{\Omega }}g\left(x,y\right){z}^{l}\left(t\right){\mathit{\psi }}^{l}\left(y\right)dy={\int }_{\mathrm{\Omega }}g\left(x,y\right){v}^{l}\left(y,t\right)dy.\hfill \end{array}$
(3.8)

Here, we use the conclusions 0 < ψ (x) < 1 and z(t) > 1.

Also for $x\in \overline{\mathrm{\Omega }}$, we have

$v\left(x,0\right)=z\left(0\right)\mathit{\psi }\left(x\right)={z}_{0}\mathit{\psi }\left(x\right)\ge {z}_{0}\underset{¯}{K}\ge {u}_{0}\left(x\right).$
(3.9)

And the inequalities (3.5)-(3.9) show that v(x, t) is a supersolution of (1.1). Again by using the comparison principle, we obtain the global existence of u(x, t). The proof is complete.

Proof of Theorem 1.2. The proof of global existence part is similar to the first case of Theorem 1.1. For any given positive constant M ≤ 1, w (x) = (x) is a supersolution of problem (1.1) provided that u0 (x) ≤ ψ (x) < 1 and $a<{\epsilon }_{0}{\left(\left|\mathrm{\Omega }\right|\overline{K}\right)}^{-1}$, so the solution of (1.1) exists globally by using the comparison principle.

To prove the bow-up result, we introduce the elliptic problem

$-\mathrm{\Delta }\phi \left(x\right)=1,x\in \mathrm{\Omega };\phantom{\rule{0.3em}{0ex}}\phi \left(x\right)={\int }_{\mathrm{\Omega }}g\left(x,y\right)\phi \left(y\right)dy,x\in \partial \mathrm{\Omega }.$

Under the hypothesis (H2) and ${\int }_{\mathrm{\Omega }}g\left(x,y\right)dy<1$, we know that it exists a unique positive solution φ(x). Let ${K}_{*}={\text{min}}_{x\in \overline{\mathrm{\Omega }}}\phi \left(x\right)$, ${K}^{{}_{*}}={\text{max}}_{x\in \overline{\mathrm{\Omega }}}\phi \left(x\right)$, and z(t) be the solution of the following ODE

$\begin{array}{cc}\hfill {z}^{\prime }\left(t\right)& =f\left({K}_{*}z\left(t\right)\right)z\left(t\right),t>0,\hfill \\ \hfill z\left(0\right)& ={z}_{1}>1.\hfill \end{array}$
(3.10)

Then, z(t) is increasing and z (t) ≥ z1. Due to the condition ${\int }_{\delta }^{+\infty }1/\left(sf\left(s\right)\right)ds<+\infty$ for some positive constant δ, we know that z (t) of problem (3.10) blows up in finite time.

If a and u0 (x) are so large that $a\ge {\left({K}^{*}\right)}^{l-1}\left({K}^{*}+l\right){\left|\mathrm{\Omega }\right|}^{-1}{{K}_{*}}^{-l},$u0 (x) ≥ z1 (K*) l , then we set v1(x, t) = z(t)φl (x). For x Ω, t > 0, we obtain

$\begin{array}{c}{{v}_{1}}_{t}-f\left({v}_{1}\right)\left(\mathrm{\Delta }{v}_{1}+a{\int }_{\mathrm{\Omega }}{v}_{1}\left(x,t\right)dx\right)\hfill \\ ={z}^{\prime }\left(t\right){\phi }^{l}\left(x\right)-f\left(z\left(t\right){\phi }^{l}\left(x\right)\right)z\left(t\right)\left(l\left(l-1\right){\phi }^{l-2}\left(x\right){\left|\nabla \phi \right|}^{2}+l{\phi }^{l-1}\left(x\right)\mathrm{\Delta }\phi \left(x\right)+a{\int }_{\mathrm{\Omega }}{\phi }^{l}\left(x\right)dx\right)\hfill \\ \le {z}^{\prime }\left(t\right){\left({K}^{*}\right)}^{l}-f\left({{K}_{*}}^{l}z\left(t\right)\right)z\left(t\right)\left(a{{K}_{*}}^{l}\left|\mathrm{\Omega }\right|-l{\left({K}^{*}\right)}^{l-1}\right)\le 0.\hfill \end{array}$
(3.11)

For x ∂Ω, t > 0, by Jensen's inequality, we get

$\begin{array}{cc}\hfill {v}_{1}\left(x,t\right)& =z\left(t\right){\phi }^{l}\left(x\right)=z\left(t\right){\left({\int }_{\mathrm{\Omega }}g\left(x,y\right)\phi \left(y\right)dy\right)}^{l}\hfill \\ \le z\left(t\right){\left({\int }_{\mathrm{\Omega }}g\left(x,y\right)dy\right)}^{l-1}\left({\int }_{\mathrm{\Omega }}g\left(x,y\right){\phi }^{l}\left(y\right)dy\right)\hfill \\ \le {\int }_{\mathrm{\Omega }}g\left(x,y\right){z}^{l}\left(t\right){\phi }^{l}\left(y\right)dy={\int }_{\mathrm{\Omega }}g\left(x,y\right){v}_{1}^{l}\left(y\right)dy.\hfill \end{array}$
(3.12)

Also for $x\in \overline{\mathrm{\Omega }}$, we have

${v}_{1}\left(x,0\right)=z\left(0\right){\phi }^{l}\left(x\right)={z}_{1}{\phi }^{l}\left(x\right)\le {z}_{1}{\left({K}^{*}\right)}^{l}\le {u}_{0}\left(x\right).$
(3.13)

The inequalities (3.10)-(3.13) show that v1(x, t) is a subsolution of problem (1.1). Since v1(x, t) blows up in finite time, u(x, t) also blows up in finite time by comparison principle.

Proof of Theorem 1.3. Let z(t) be the solution of the following ODE

$\begin{array}{cc}\hfill {z}^{\prime }\left(t\right)& ={b}_{2}f\left(z\left(t\right)\right)z\left(t\right),\phantom{\rule{1em}{0ex}}t>0,\hfill \\ \hfill z\left(0\right)& ={z}_{2}.\hfill \end{array}$
(3.14)

where 0 < b2 < a |Ω|. If u0(x) is large enough, we can set $1<{z}_{2}<{\text{min}}_{x\in \overline{\mathrm{\Omega }}}{u}_{0}\left(x\right)$. Then, z (t) is increasing and satisfies z (t) ≥ z2 > 1. Moreover, z (t) of problem (3.14) blows up in finite time.

Set s (x, t) = z (t), then we have for x Ω, t > 0,

$\begin{array}{c}{s}_{t}-f\left(s\right)\left(\mathrm{\Delta }s+a{\int }_{\mathrm{\Omega }}s\left(x,t\right)dx\right)\hfill \\ ={z}^{\prime }\left(t\right)-af\left(z\left(t\right)\right)\left|\mathrm{\Omega }\right|z\left(t\right)=\left({b}_{2}-a\left|\mathrm{\Omega }\right|\right)f\left(z\left(t\right)\right)z\left(t\right)<0.\hfill \end{array}$
(3.15)

For x ∂Ω, t > 0,

$s\left(x,t\right)=z\left(t\right)\le {\int }_{\mathrm{\Omega }}g\left(x,y\right)z\left(t\right)dy<{\int }_{\mathrm{\Omega }}g\left(x,y\right){z}^{l}\left(t\right)dy={\int }_{\mathrm{\Omega }}g\left(x,y\right){s}^{l}\left(y,t\right)dy.$
(3.16)
$s\left(x,0\right)=z\left(0\right)={z}_{2}<{u}_{0}\left(x\right),\phantom{\rule{1em}{0ex}}x\in \overline{\mathrm{\Omega }}.$
(3.17)

From (3.14)-(3.17), we see that s (x, t) is a subsolution of (1.1). Hence, u (x, t) ≥ s (x, t) by comparison principle, which implies u (x, t) blows up in finite time. This completes the proof.

Proof of Theorem 1.4. Consider the following equation

$\begin{array}{c}{v}_{t}=f\left(v\right)\left(\mathrm{\Delta }v+a{\int }_{\mathrm{\Omega }}vdx\right),\phantom{\rule{1.5em}{0ex}}x\in \mathrm{\Omega },t>0,\hfill \\ v\left(x,t\right)=0,\phantom{\rule{6.7em}{0ex}}x\in \partial \mathrm{\Omega },t>0,\hfill \\ v\left(x,0\right)={v}_{0}\left(x\right),\phantom{\rule{5em}{0ex}}x\in \mathrm{\Omega },\hfill \end{array}$
(3.18)

and let v (x, t) be the solution to problem (3.18). It is obvious that v (x, t) is a subsolution of (1.1). By Theorem 1 in , we can obtain the result immediately.

## 4. Blow-up rate estimate

Now, we consider problem (1.1) with f (u) = up , 0 < p ≤ 1 and l = 1, i.e.,

$\begin{array}{c}{u}_{t}={u}^{p}\left(\mathrm{\Delta }u+a{\int }_{\mathrm{\Omega }}u\left(x,t\right)dx\right),\phantom{\rule{1em}{0ex}}x\in \mathrm{\Omega },t>0,\hfill \\ u\left(x,t\right)={\int }_{\mathrm{\Omega }}g\left(x,y\right)u\left(y,t\right)dy,\phantom{\rule{0.5em}{0ex}}x\in \partial \mathrm{\Omega },t>0,\hfill \\ u\left(x,0\right)={u}_{0}\left(x\right),\phantom{\rule{6em}{0ex}}x\in \mathrm{\Omega },\hfill \end{array}$
(4.1)

where ${\int }_{\mathrm{\Omega }}g\left(x,y\right)dy\le 1$ for all x ∂Ω, and suppose that the solution of (4.1) blows up in finite time T*.

Set $U\left(t\right)=\underset{x\in \overline{\mathrm{\Omega }}}{\text{max}}u\left(x,t\right)$, then U(t) is Lipschitz continuous.

Lemma 4.1. Suppose that u0 satisfies (H1), (H2), and (H4), then there exists a positive constant c0 such that

$U\left(t\right)\ge {c}_{0}{\left({T}^{*}-t\right)}^{-1/p}.$
(4.2)

Proof. By the first equation in (4.1), we have (see )

${U}^{\prime }\left(t\right)\le a\left|\mathrm{\Omega }\right|{U}^{1+p}\left(t\right),\phantom{\rule{1em}{0ex}}\phantom{\rule{1em}{0ex}}a.e.t\in \left(0,{T}^{*}\right),$
(4.3)

Hence,

$-{\left({U}^{-p}\left(t\right)\right)}^{\prime }\le ap\left|\mathrm{\Omega }\right|.$
(4.4)

Integrating (4.3) over (t, T*), we can get

$U\left(t\right)\ge {\left(ap\left|\mathrm{\Omega }\right|\right)}^{-1/p}{\left({T}^{*}-t\right)}^{-1/p}.$
(4.5)

Setting c0 = (ap |Ω| p)-1/p, then we draw the conclusion.

Lemma 4.2. Under the conditions of Lemma 4.1, there exists a constant ε1, which will be given below, such that

${u}_{t}-{\epsilon }_{1}{u}^{p+1}\ge 0,\phantom{\rule{1em}{0ex}}\phantom{\rule{1em}{0ex}}\left(x,t\right)\in \mathrm{\Omega }×\left(0,{T}^{*}\right).$
(4.6)

Proof. Let J(x, t) = u t -ε1up+1for (x, t) Ω × (0, T*), a series of computations yields

$\begin{array}{c}{J}_{t}-{u}^{p}\mathrm{\Delta }J-2p{\epsilon }_{1}{u}^{p}J-a{u}^{p}{\int }_{\mathrm{\Omega }}Jdx\hfill \\ =p{u}^{-1}{J}^{2}+{\epsilon }_{1}\left(p+1\right)p{u}^{2p-1}{\left|\nabla u\right|}^{2}+p{{\epsilon }_{1}}^{2}{u}^{2p+1}+a{\epsilon }_{1}{u}^{p}{\int }_{\mathrm{\Omega }}{u}^{p+1}dx-a{\epsilon }_{1}\left(p+1\right){u}^{2p}{\int }_{\mathrm{\Omega }}udx\hfill \\ \ge p{{\epsilon }_{1}}^{2}{u}^{2p+1}+a{\epsilon }_{1}{u}^{p}{\int }_{\mathrm{\Omega }}{u}^{p+1}dx-a{\epsilon }_{1}\left(p+1\right){u}^{2p}{\int }_{\mathrm{\Omega }}udx.\hfill \end{array}$
(4.7)

By virtue of Hölder inequality, we have

${\int }_{\mathrm{\Omega }}udx\le {\left|\mathrm{\Omega }\right|}^{p/\left(p+1\right)}{\left({\int }_{\mathrm{\Omega }}{u}^{p+1}dx\right)}^{1/\left(p+1\right)}.$

Furthermore, by Young's inequality, for any θ > 0, the following inequality holds

$\begin{array}{cc}\hfill {u}^{2p}{\int }_{\mathrm{\Omega }}udx& \le {\left|\mathrm{\Omega }\right|}^{p/\left(p+1\right)}{u}^{p}\cdot {u}^{p}{\left({\int }_{\mathrm{\Omega }}{u}^{p+1}dx\right)}^{1/\left(p+1\right)}\hfill \\ \le {\left|\mathrm{\Omega }\right|}^{p/\left(p+1\right)}{u}^{p}\left(p/\left(p+1\right){\left(\theta {u}^{p}\right)}^{\left(p+1\right)/p}+1/\left(p+1\right){\theta }^{-\left(p+1\right)}{\int }_{\mathrm{\Omega }}{u}^{p+1}dx\right)\hfill \\ =\left(1/\left(p+1\right)\right){\left|\mathrm{\Omega }\right|}^{p/\left(p+1\right)}\left(p{\theta }^{\left(p+1\right)/p}{u}^{2p+1}+{\theta }^{-\left(p+1\right)}{u}^{p}{\int }_{\mathrm{\Omega }}{u}^{p+1}dx\right).\hfill \end{array}$
(4.8)

Using (4.8) and taking $\theta ={\left|\mathrm{\Omega }\right|}^{p/{\left(p+1\right)}^{2}}$, ε1 = a|Ω|, then (4.7) becomes

${J}_{t}-{u}^{p}\mathrm{\Delta }J-2p{\epsilon }_{1}{u}^{p}J-a{u}^{p}{\int }_{\mathrm{\Omega }}Jdx\ge p{\epsilon }_{1}\left({\epsilon }_{1}-a\left|\mathrm{\Omega }\right|\right){u}^{2p+1}=0,$
(4.9)

Fix (x, t) ∂Ω × (0, T*), then we have

$J\left(x,t\right)={u}_{t}-{\epsilon }_{1}{u}^{p+1}={\int }_{\mathrm{\Omega }}g\left(x,y\right){u}_{t}\left(y,t\right)dy-{\epsilon }_{1}{\left({\int }_{\mathrm{\Omega }}g\left(x,y\right)u\left(y,t\right)dy\right)}^{p+1}.$

Since u t (y, t) = J(y, t) + ε1up+1(y, t), we have

$\begin{array}{c}{\int }_{\mathrm{\Omega }}g\left(x,y\right){u}_{t}\left(y,t\right)dy-{\epsilon }_{1}{\left({\int }_{\mathrm{\Omega }}g\left(x,y\right)u\left(y,t\right)dy\right)}^{p+1}\hfill \\ ={\int }_{\mathrm{\Omega }}g\left(x,y\right)J\left(y,t\right)dy+{\epsilon }_{1}\left({\int }_{\mathrm{\Omega }}g\left(x,y\right){u}^{p+1}\left(y,t\right)dy-{\left({\int }_{\mathrm{\Omega }}g\left(x,y\right)u\left(y,t\right)dy\right)}^{p+1}\right).\hfill \end{array}$

Noticing that p > 0, $0, we can apply Jensen's inequality to the last integral in the above inequality,

$\begin{array}{c}{\int }_{\mathrm{\Omega }}g\left(x,y\right){u}^{p+1}\left(y,t\right)dy-{\left({\int }_{\mathrm{\Omega }}g\left(x,y\right)u\left(y,t\right)dy\right)}^{p+1}\hfill \\ \ge F\left(x\right){\left({\int }_{\mathrm{\Omega }}g\left(x,y\right)u\left(y,t\right)dy/F\left(x\right)\right)}^{p+1}-{\left({\int }_{\mathrm{\Omega }}g\left(x,y\right)u\left(y,t\right)dy\right)}^{p+1}\ge 0.\hfill \end{array}$

Hence, for (x, t) ∂Ω × (0, T*), we have

$J\left(x,t\right)\ge {\int }_{\mathrm{\Omega }}g\left(x,y\right)J\left(y,t\right)dy.$
(4.10)

On the other hand, (H4) implies that

$J\left(x,0\right)>0,x\in \mathrm{\Omega }.$
(4.11)

Owing to u(x, t) is a positive continuous function for $\left(x,t\right)\in \overline{\mathrm{\Omega }}×\left[0,{T}^{*}\right)$, it follows from (4.9)-(4.11) and Lemma 2.2 that J(x, t) ≥ 0 for $\left(x,t\right)\in \overline{\mathrm{\Omega }}×\left[0,{T}^{*}\right)$, i.e., u t ε1up+1. This completes the proof.

Integrating (4.6) from t to T*, we conclude that

$u\left(x,t\right)\le {c}_{2}{\left({T}^{*}-t\right)}^{-1/p},$
(4.12)

where c2 = (ε1p)-1/pis a positive constant independent of t. Combining (4.2) with (4.12), we obtain the following result.

Theorem 4.3. Under the conditions of Lemma 4.1, if u (x, t) is the solution of (4.1) and blows up in finite time T*, then there exist positive constants c1, c2, such that

${c}_{1}{\left({T}^{*}-t\right)}^{-1/p}\le \underset{x\in \overline{\mathrm{\Omega }}}{\text{max}}u\left(x,t\right)\le {c}_{2}{\left({T}^{*}-t\right)}^{-1/p}.$

Lemma 4.4. Assume that u0(x) satisfies (H1), (H2), and (H4), Δu0 ≤ 0 in Ω. u(x, t) is the solution of problem (4.1). Then, Δu ≤ 0 in any compact subsets of Ω × (0, T*).

The proof is similar to that of Lemma 1.1 in .

Denote

$g\left(t\right)=a{\int }_{\mathrm{\Omega }}udx,\phantom{\rule{1em}{0ex}}G\left(t\right)={\int }_{0}^{t}g\left(s\right)ds.$

Lemma 4.5. Under the conditions of Lemma 4.4, it holds that

$\underset{t\to {T}^{*}}{\text{lim}}g\left(t\right)=\infty ,\phantom{\rule{1em}{0ex}}\phantom{\rule{1em}{0ex}}\underset{t\to {T}^{*}}{\text{lim}}G\left(t\right)=\infty .$
(4.13)

Proof. From Lemma 4.3, we have

${u}_{t}\le {u}^{p}g\left(t\right),\phantom{\rule{1em}{0ex}}\phantom{\rule{1em}{0ex}}\phantom{\rule{1em}{0ex}}a.e.t\in \left[0,{T}^{*}\right).$
(4.14)

Integrating (4.14) over (0, t), we obtain

$\frac{1}{1-p}{u}^{1-p}\left(x,t\right)\le {\int }_{0}^{t}g\left(s\right)ds+\frac{1}{1-p}{{u}_{0}}^{1-p}\left(x\right),\phantom{\rule{1em}{0ex}}0
(4.15)
$\text{ln}u\left(x,t\right)\le {\int }_{0}^{t}g\left(s\right)ds+\text{ln}{u}_{0}\left(x\right),\phantom{\rule{1em}{0ex}}p=1.$
(4.16)

In view of $\underset{t\to {T}^{*}}{\text{lim}}u\left(x,t\right)=\infty$, $\underset{t\to {T}^{*}}{\text{lim}}G\left(t\right)=\infty$. Noting that u t ≥ 0 by the assumption of the initial function, then we see that g(t) is monotone nondecreasing. Therefore, $\underset{t\to {T}^{*}}{\text{lim}}g\left(t\right)=\infty$.

Lemma 4. 6. Under the conditions of Lemma 4.4, then we have

$\left(1\right)\phantom{\rule{1em}{0ex}}\underset{t\to {T}^{*}}{\text{lim}}\frac{{u}^{1-p}\left(x,t\right)}{\left(1-p\right)G\left(t\right)}=\underset{t\to {T}^{*}}{\text{lim}}\frac{{∥u\left(\cdot ,t\right)∥}_{\infty }^{1-p}}{\left(1-p\right)G\left(t\right)}=1,\phantom{\rule{1em}{0ex}}0
(4.17)
$\left(2\right)\phantom{\rule{0.3em}{0ex}}\phantom{\rule{1em}{0ex}}\underset{t\to {T}^{*}}{\text{lim}}\frac{\text{ln}u\left(x,t\right)}{G\left(t\right)}=\underset{t\to {T}^{*}}{\text{lim}}\frac{{∥\text{ln}u\left(\cdot ,t\right)∥}_{\infty }}{G\left(t\right)}=1,\phantom{\rule{1em}{0ex}}p=1,$
(4.18)

uniformly on any compact subsets of Ω.

Proof. Let λ > 0 be the principal eigenvalue of -Δ in Ω with the null Dirichlet boundary condition, and ϕ(x) be the corresponding eigenfunction satisfying ϕ(x) > 0, ${\int }_{\mathrm{\Omega }}\varphi \left(x\right)dx=1$.

In case of (1). Define z1(x, t) = G (t) - u1-p/(1-p), ${\gamma }_{1}\left(t\right)={\int }_{\mathrm{\Omega }}{z}_{1}\left(y,t\right)\varphi \left(y\right)dy$. A direct computation shows

where ${z}_{1}^{-}=\text{max}\left\{-{z}_{1},0\right\}$ and using the equality ${\int }_{\partial \mathrm{\Omega }}\left(\partial \varphi /\partial n\right)dS=-\lambda <0$. From (4.15), we know that

$\underset{\mathrm{\Omega }}{\text{inf}}{z}_{1}\left(y,t\right)\ge -{C}^{\prime },$
(4.19)

which means ${z}_{1}^{-}\le {C}^{\prime }$. Then,

${\gamma }_{1}^{\prime }\left(t\right)\le {C}_{2}{G}^{1/\left(1-p\right)}\left(t\right)+{C}_{3},$
(4.20)

Integrate (4.20) from 0 to t,

${\gamma }_{1}\left(t\right)\le {C}_{4}\left(1+{\int }_{0}^{t}{G}^{1/\left(1-p\right)}\left(s\right)ds\right),$
(4.21)

Thus, (4.19) and (4.21) imply

${\int }_{\mathrm{\Omega }}\left|{z}_{1}\left(y,t\right)\right|\varphi \left(y\right)dy\le {C}_{5}\left(1+{\int }_{0}^{t}{G}^{1/\left(1-p\right)}\left(s\right)ds\right).$

Define K ρ = {y Ω: dist(y, ∂Ω)≥ ρ}. Since -Δz1 ≤ 0 in Ω × (0, T*). Using Lemma 4.5 in , we obtain

$\underset{{K}_{\rho }}{\text{sup}}{z}_{1}\left(x,t\right)\le \frac{{C}_{6}}{{\rho }^{N+1}}\left(1+{\int }_{0}^{t}{G}^{1/\left(1-p\right)}\left(s\right)ds\right).$
(4.22)

It follows from (4.22) and (4.15) that

$-\frac{{k}_{1}}{G\left(t\right)}\le 1-\frac{{u}^{1-p}\left(x,t\right)}{\left(1-p\right)G\left(t\right)}\le \frac{{K}_{1}}{{\rho }^{N+1}}\frac{1+{\int }_{0}^{t}{G}^{1/\left(1-p\right)}\left(s\right)ds}{G\left(t\right)},$
(4.23)

for any x K ρ and t (0,T*), where k1 and K1 are positive constants.

We know from Theorem 4.3 that

${\int }_{0}^{t}{G}^{1/\left(1-p\right)}\left(s\right)ds\le {C}_{7}{\int }_{0}^{t}{\left({T}^{*}-s\right)}^{-1/p}ds.$
(4.24)

In view of (4.15) and Theorem 4.3, it follows that

$G\left(t\right)\ge {C}_{8}{u}^{1-p}\ge {C}_{9}{\left({T}^{*}-t\right)}^{-\left(1-p\right)/p}.$
(4.25)

From (4.23)-(4.25), we get

$-\frac{{k}_{1}}{G\left(t\right)}\le 1-\frac{{u}^{1-p}\left(x,t\right)}{\left(1-p\right)G\left(t\right)}\le \frac{{C}_{10}}{{\rho }^{N+1}}\frac{1+{\int }_{0}^{t}{\left({T}^{*}-s\right)}^{-1/p}ds}{{\left({T}^{*}-t\right)}^{-\left(1-p\right)/p}}.$
(4.26)

It is obvious that

$\underset{t\to {T}^{*}}{\text{lim}}\frac{{\int }_{0}^{t}{\left({T}^{*}-s\right)}^{-1/p}ds}{{\left({T}^{*}-t\right)}^{-\left(1-p\right)/p}}=0.$

Thus,

$\underset{t\to {T}^{*}}{\text{lim}}\frac{{u}^{1-p}\left(x,t\right)}{\left(1-p\right)G\left(t\right)}=\underset{t\to {T}^{*}}{\text{lim}}\frac{{∥u\left(\cdot ,t\right)∥}_{\infty }^{1-p}}{\left(1-p\right)G\left(t\right)}=1.$

In case of (2). We define z2 (x, t) = G (t) - ln u(x, t), ${\gamma }_{2}\left(t\right)={\int }_{\mathrm{\Omega }}{z}_{2}\left(y,t\right)\varphi \left(y\right)dy$. Then,

From (4.16), we know that

$\underset{\mathrm{\Omega }}{\text{inf}}{z}_{2}\left(y,t\right)\ge -{C}^{″},$
(4.27)

Then,

${\gamma }_{2}^{\prime }\left(t\right)\le {C}_{11}\text{exp}\left\{G\left(t\right)\right\},$
(4.28)

Integrate (4.28) from 0 to t yields

${\gamma }_{2}\left(t\right)\le {C}_{12}\left(1+{\int }_{0}^{t}\text{exp}\left\{G\left(s\right)\right\}ds\right),$
(4.29)

Thus, (4.29) and (4.27) imply

${\int }_{\mathrm{\Omega }}\left|{z}_{2}\left(y,t\right)\right|\varphi \left(y\right)dy\le {C}_{13}\left(1+{\int }_{0}^{t}\text{exp}\left\{G\left(s\right)\right\}ds\right).$

Define K ζ = {y Ω: dist(y, ∂Ω)≥ ζ}. Since -Δz2 ≤ 0 in Ω × (0, T*), we obtain

$\underset{{K}_{\zeta }}{\text{sup}}{z}_{2}\left(x,t\right)\le \frac{{C}_{14}}{{\zeta }^{N+1}}\left(1+{\int }_{0}^{t}\text{exp}\left\{G\left(s\right)\right\}ds\right).$
(4.30)

It follows from (4.30) and (4.27) that

$-\frac{{k}_{2}}{G\left(t\right)}\le 1-\frac{\text{ln}u\left(x,t\right)}{G\left(t\right)}\le \frac{{K}_{2}}{{\zeta }^{N+1}}\frac{1+{\int }_{0}^{t}\text{exp}\left\{G\left(s\right)\right\}ds}{G\left(t\right)},$
(4.31)

for any x K ζ and t (0,T*).

By Theorem 4.3, we have

$\begin{array}{cc}\hfill G\left(t\right)& ={\int }_{0}^{t}g\left(s\right)ds\le a{\int }_{0}^{t}\left({\int }_{\mathrm{\Omega }}\left|U\left(s\right)\right|dx\right)ds\hfill \\ \le a\left|\mathrm{\Omega }\right|{\left({\epsilon }_{1}\right)}^{-1}{\int }_{0}^{t}{\left({T}^{*}-s\right)}^{-1}ds\le \text{ln}{\left({T}^{*}-t\right)}^{-1}+\text{ln}{T}^{*}.\hfill \end{array}$
(4.32)

On the other hand, we know form (4.16) and Theorem 4.3 that

$G\left(t\right)\ge {C}_{16}\left|\text{ln}\left({T}^{*}-t\right)\right|.$
(4.33)

From (4.31)-(4.33), we get

$-\frac{{k}_{2}}{G\left(t\right)}\le 1-\frac{\text{ln}u\left(x,t\right)}{G\left(t\right)}\le \frac{{C}_{17}}{{\zeta }^{N+1}}\frac{1+{T}^{*}{\int }_{0}^{t}{\left({T}^{*}-s\right)}^{-1}ds}{\left|\text{ln}\left({T}^{*}-t\right)\right|}.$

It is easy to derive

$\underset{t\to {T}^{*}}{\text{lim}}\frac{1+{T}^{*}{\int }_{0}^{t}{\left({T}^{*}-s\right)}^{-1}ds}{\left|\text{ln}\left({T}^{*}-t\right)\right|}=0.$

Thus,

$\underset{t\to {T}^{*}}{\text{lim}}\frac{\text{ln}u\left(x,t\right)}{G\left(t\right)}=\underset{t\to {T}^{*}}{\text{lim}}\frac{{∥\text{ln}u\left(\cdot ,t\right)∥}_{\infty }}{G\left(t\right)}=1.$

This completes the proof.

Proof of Theorem 1.5. Case 1: 0 < p < 1. Form (4.17), we have

$u\left(x,t\right)~{\left(\left(1-p\right)G\left(t\right)\right)}^{1/\left(1-p\right)}\phantom{\rule{0.3em}{0ex}}\text{as}\phantom{\rule{0.3em}{0ex}}t\to {T}^{*},$

where the notation u ~ v means $\underset{t\to {T}^{*}}{\text{lim}}u\left(t\right)/v\left(t\right)=1$.

Furthermore,

${G}^{\prime }\left(t\right)=g\left(t\right)=a{\int }_{\mathrm{\Omega }}udx~a\left|\mathrm{\Omega }\right|{\left(\left(1-p\right)G\left(t\right)\right)}^{1/\left(1-p\right)}\phantom{\rule{0.3em}{0ex}}\text{as}\phantom{\rule{0.3em}{0ex}}t\to {T}^{*}.$
(4.34)

Integrating (4.34) over (t, T*) yields

(4.35)

So, we can get our conclusion by using (4.17) and (4.35).

Case 2: p = 1. In this case, for any given σ: 0 < σ 1. By (4.18), there exists 0 < t0 < T* such that

$\left(1-\sigma \right)G\left(t\right)\le \text{ln}u\left(x,t\right)\le \left(1+\sigma \right)G\left(t\right),\phantom{\rule{1em}{0ex}}x\in \mathrm{\Omega },t\in \left[{t}_{0},{T}^{*}\right).$

Therefore,

$a\left|\mathrm{\Omega }\right|\text{exp}\left\{\left(1-\sigma \right)G\left(t\right)\right\}\le {G}^{\prime }\left(t\right)=a{\int }_{\mathrm{\Omega }}udx\le a\left|\mathrm{\Omega }\right|\text{exp}\left\{\left(1+\sigma \right)G\left(t\right)\right\},\phantom{\rule{1em}{0ex}}{t}_{0}\le t\le {T}^{*}.$
(4.36)

In view of the right-hand side of the (4.36), we have

$\text{exp}\left\{-\left(1+\sigma \right)G\left(t\right)\right\}dG\left(t\right)\le a\left|\mathrm{\Omega }\right|dt,\phantom{\rule{1em}{0ex}}\phantom{\rule{0.3em}{0ex}}{t}_{0}\le t\le {T}^{*}.$

Integrating the above inequality from t to T* yields that

$\text{exp}\left\{-\left(1+\sigma \right)G\left(t\right)\right\}\le a\left(1+\sigma \right)\left|\mathrm{\Omega }\right|\left({T}^{*}-t\right),\phantom{\rule{1em}{0ex}}{t}_{0}\le t\le {T}^{*}.$

Namely,

$G\left(t\right)\ge \left(-1/\left(1+\sigma \right)\right)\text{ln}\left[a\left(1+\sigma \right)\left|\mathrm{\Omega }\right|\left({T}^{*}-t\right)\right],\phantom{\rule{1em}{0ex}}{t}_{0}\le t\le {T}^{*}.$
(4.37)

Similar arguments to the left-hand side of (3.36) yield that

$G\left(t\right)\le \left(-1/\left(1-\sigma \right)\right)\text{ln}\left[a\left(1-\sigma \right)\left|\mathrm{\Omega }\right|\left({T}^{*}-t\right)\right],\phantom{\rule{1em}{0ex}}{t}_{0}\le t\le {T}^{*}.$
(4.38)

Consequently, (4.37) and (4.38) guarantee that for t0tT*,

$\left(-1/\left(1+\sigma \right)\right)\text{ln}\left[a\left(1+\sigma \right)\left|\mathrm{\Omega }\right|\left({T}^{*}-t\right)\right]\le G\left(t\right)\le \left(-1/\left(1-\sigma \right)\right)\text{ln}\left[a\left(1-\sigma \right)\left|\mathrm{\Omega }\right|\left({T}^{*}-t\right)\right].$
(4.39)

Letting σ → 0, we have

$\underset{t\to {T}^{*}}{\text{lim}}G\left(t\right){\left|\text{ln}\left({T}^{*}-t\right)\right|}^{-1}=1,$
(4.40)

because of $\underset{t\to {T}^{*}}{\text{lim}}G\left(t\right)=\infty$. Due to ln u(x, t) ~ G(t) uniformly on any compact subset of Ω, the proof is complete.

## References

1. Souple P: Uniform blow-up profiles and boundary for diffusion equations with nonlocal nonlinear source. J Diff Equ 1999, 153: 374-406. 10.1006/jdeq.1998.3535

2. Weissler FB: An Lblow-up estimate for a nonlinear heat equation. Commun Pure Appl Math 1985, 38: 291-296. 10.1002/cpa.3160380303

3. Galaktionov VA: On asymptotic self-similar behavior for a quasilinear heat equation: single point blow-up. SIAM J Math Anal 1995, 26: 675-693. 10.1137/S0036141093223419

4. Giga Y, Umeda N: Blow-up directions at space infinity for solutions of semilinear heat equations. Bol Soc Parana Mat 2005, 23: 9-28.

5. Deng W, Li Y, Xie C: Existence and nonexistence of global solutions of some nonlocal degenerate parabolic equations. Appl Math Lett 2003, 16: 803-808. 10.1016/S0893-9659(03)80118-0

6. Day WA: Extensions of property of heat equation to linear thermoelasticity and other theories. Q Appl Math 1982, 40: 319-330.

7. Day WA: A decreasing property of solutions of parabolic equations with applications to thermoelasticity. Q Appl Math 1983, 40: 468-475.

8. Friedman A: Monotonic decay of solutions of parabolic equations with nonlocal boundary conditions. Q Appl Math 1986, 44: 401-407.

9. Cui ZJ, Yang ZD: Roles of weight functions to a nonlinear porous medium equation with nonlocal source and nonlocal boundary condition. J Math Anal Appl 2008, 342: 559-570. 10.1016/j.jmaa.2007.11.055

10. Deng K: Comparison principle for some nonlocal problems. Q Appl Math 1992, 50: 517-522.

11. Pao CV: Asymptotic behavior of solutions of reaction diffusion equations with nonlocal boundary conditions. J Comput Appl Math 1998, 88: 225-238. 10.1016/S0377-0427(97)00215-X

12. Wang Y, Mu C, Xiang Z: Properties of positive solution for nonlocal reaction-diffusion equation with nonlocal boundary. Boundary Value Problems Article ID 64579 2007, 1-12.

13. Lin Z, Liu Y: Uniform blowup profiles for diffusion equations with nonlocal source and nonlocal boundary. Acta Mathematica Scientia (Series B) 2004, 24: 443-450.

14. Chen YP, Liu LH: Global blow-up for a localized nonlinear parabolic equation with a nonlocal boundary condition. J Math Anal Appl 2011, 384: 421-430. 10.1016/j.jmaa.2011.05.079

15. Gladkov A, Kim KI: Blow-up of solutions for semilinear heat equation with nonlinear nonlocal boundary condition. J Math Anal Appl 2008, 338: 264-273. 10.1016/j.jmaa.2007.05.028

16. Gladkov A, Kim KI: Uniqueness and nonuniqueness for reaction-diffusion equation with nonlinear nonlocal boundary condition. Adv Math Sci Appl 2009, 19: 39-49.

17. Gladkov A, Guedda M: Blow-up problem for semilinear heat equation with absorption and a nonlocal boundary condition. Nonlinear Anal 2011, 74: 4573-4580. 10.1016/j.na.2011.04.027

18. Liang J, Wang HY, Xiao TJ: On a comparison principle for delay coupled systems with nonlocal and nonlinear boundary conditions. Nonlinear Anal 2009, 71: 359-365. 10.1016/j.na.2008.11.012

19. Liu DM, Mu CL: Blowup properties for a semilinear reaction-diffusion system with nonlinear nonlocal boundary conditions. Abstr Appl Anal Article ID 148035 2010, 1-17.

20. Mu CL, Liu DM, Zhou SM: Properties of positive solutions for a nonlocal reaction diffusion equation with nonlocal nonlinear boundary condition. J Kor Math Soc 2011, 47: 1317-1328.

21. Yin HM: On a class of parabolic equations with nonlocal boundary conditions. J Math Anal Appl 2004, 294: 712-728. 10.1016/j.jmaa.2004.03.021

22. Friedman A, Mcleod J: Blow-up of positive solutions of semilinear heat equations. Indiana Univ Math 1985, 34: 425-447. 10.1512/iumj.1985.34.34025

## Author information

Authors

### Corresponding author

Correspondence to Guangsheng Zhong.

### Competing interests

The authors declare that they have no competing interests.

### Authors' contributions

The main results in this article were derived by GZ and LT. All authors read and approved the final manuscript.

## Rights and permissions

Reprints and Permissions

Zhong, G., Tian, L. Blow up problems for a degenerate parabolic equation with nonlocal source and nonlocal nonlinear boundary condition. Bound Value Probl 2012, 45 (2012). https://doi.org/10.1186/1687-2770-2012-45

• Accepted:

• Published:

• DOI: https://doi.org/10.1186/1687-2770-2012-45

### Keywords

• parabolic equation
• nonlocal source
• nonlocal nonlinear boundary condition
• existence
• blow-up 