Non-simultaneous blow-up of a reaction-diffusion system with inner absorption and coupled via nonlinear boundary flux

Si Xu

doi:10.1186/s13661-015-0483-5

Research

Open Access

Non-simultaneous blow-up of a reaction-diffusion system with inner absorption and coupled via nonlinear boundary flux

Si Xu¹Email author

Boundary Value Problems20152015:213

https://doi.org/10.1186/s13661-015-0483-5

Received: 13 August 2015

Accepted: 11 November 2015

Published: 21 November 2015

Abstract

This paper deals with a parabolic reaction-diffusion system with a nonlinear absorption term, meanwhile the two equations of the system coupled via nonlinear boundary flux which obey different laws. Under the hypothesis condition of the initial data, we get the sufficient and necessary conditions under which there exist initial data such that non-simultaneous blow-up occurs.

Keywords

reaction-diffusion systemblow-upnon-simultaneous blow-upnonlinear absorptionnonlinear boundary flux

MSC

35B3335K6535K55

1 Introduction and main results

In this paper, we focus our attention on the non-simultaneous blow-up phenomenon of the following reaction-diffusion system with two parabolic equations coupled via nonlinear boundary flux, and one equation with a nonlinear absorption term:

$$ \left \{ \textstyle\begin{array}{l@{\quad}l} {u_{t}=u_{xx}-\lambda u^{m},\qquad v_{t}=v_{xx}}, & (x,t)\in (0,1)\times(0,T), \\ {u_{x}(1,t)=e^{pv(1,t)}u^{\alpha}(1,t),\qquad v_{x}(1,t)=u^{q}(1,t)e^{\beta v(1,t)}}, & t\in(0,T), \\ {u_{x}(0,t)=0, \qquad v_{x}(0,t)=0}, & t\in(0,T), \\ {u(x,0)=u_{0}(x),\qquad v(x,0)=v_{0}(x)}, & x\in[0,1], \end{array}\displaystyle \right . $$

(1.1)

where the parameters $p,q,\alpha,\beta,\lambda,m\geq0$. Assume the initial data $u_{0}$, $v_{0}$ are increasing, positive continuous functions and satisfy

$$\left \{ \textstyle\begin{array}{l} u'_{0}(1)=e^{pv_{0}(1)}u^{\alpha}_{0}(1), \\ v'_{0}(1)=u^{q}_{0}(1)e^{\beta v_{0}(1)}, \\ u'_{0}(0)=0,\qquad v'_{0}(0)=0, \end{array}\displaystyle \right . $$

which are the compatibility conditions of the initial data. Furthermore $u''_{0}-\lambda u^{m}_{0}\geq0$, $v''_{0}\geq0$, for $x\in[0,1]$.

Remark 1.1

Under the above assumptions, in the light of the comparison principle, we can get $u_{x},v_{x},u_{t},v_{t}\geq0$ immediately.

The nonlinear reaction-diffusion systems like (1.1) originate from the description of chemical reactions, heat transfer, etc.; see [1, 2]. The Neumann boundary conditions with cross-nonlinear terms can be made explicit as the boundary fluxes in heat transfer. The system (1.1) physically describes heat transfer in a mixed medium with an absorption and nonlinear boundary flux which obeys different laws, a power law and an exponential law; see [3–8]. In recent years, phenomena of non-simultaneous blow-up for nonlinear parabolic systems were widely studied [9–19].

When $\lambda=0$, the system (1.1) without absorption term has been considered by many authors. In [7], Song gave the blow-up conditions and blow-up rates. Liu and Li [11] got the parameter regions, in which non-simultaneous blow-ups may occur.

Inspired by the above work, we will focus on the simultaneous and non-simultaneous blow-up conditions to system (1.1), and list our main results as follows.

Theorem 1.1

Let $\mu=\max(\frac{m+1}{2},1)$, if any of the following conditions holds:

$$\begin{aligned} (1)&\quad \alpha>\mu, \\ (2)&\quad \beta>0, \\ (3)&\quad pq>\beta(\alpha-\mu), \end{aligned}$$

the solutions of (1.1) may blow up with proper initial data.

If the blow-up conditions of (1.1) in Theorem 1.1 are already satisfied, actually the blow-up occurs, then we get the requirement under which simultaneous or non-simultaneous blow-up occurs.

Theorem 1.2

Non-simultaneous blow-up may occur if and only if

$$\left \{ \textstyle\begin{array}{l} {\alpha>q+1}, \\ {\alpha>\mu\quad \textit{or} \quad \alpha=\mu>1} \end{array}\displaystyle \right . \quad \textit{or} \quad \beta>p. $$

On the basis of the above theorem, we get a corollary straightforwardly, as follows.

Corollary 1.1

Any blow-up is simultaneous if and only if

$$\left \{ \textstyle\begin{array}{l} {\beta\leq p}, \\ {\alpha\leq q+1\quad \textit{or} \quad \alpha< \mu}. \end{array}\displaystyle \right . $$

We organize the rest of this paper as follows. In the next section, we address the blow-up conditions of system (1.1), and we give the proof of Theorem 1.1. In Section 3 we will consider the sufficient and necessary conditions of u blowing up while v keeps bounded, which will be written as a lemma. In Section 4, the sufficient and necessary conditions of v blowing up while u remains bounded will be researched, in order to complete the proof of Theorem 1.2.

2 Blow-up

In this section, we consider the blow-up condition of system (1.1). In the light of the comparison principle, we structure sub-solutions of this system, as derived from Hu and Yin [20].

Proof of Theorem 1.1

Under the parametric assumption, we can get

$$e^{pv}\geq v^{p}, \qquad e^{\beta v}\geq\biggl( \frac{\beta}{\beta+1}\biggr)^{\beta +1}\cdot v^{\beta+1}. $$

Assume $(\underline{u},\underline{v})$ is a pair of solutions of the following system:

$$ \left \{ \textstyle\begin{array}{l@{\quad}l} \underline{u}_{t}=\underline{u}_{xx}-\lambda\underline {u}^{m}, \qquad \underline{v}_{t}=\underline{v}_{xx}, & (x,t)\in (0,1)\times (0,T), \\ \underline{u}_{x}(1,t)=\underline{v}^{p}(1,t)\underline {u}^{\alpha}(1,t), & t\in(0,T), \\ \underline{v}_{x}(1,t)=\underline{u}^{q}(1,t)(\frac{\beta }{\beta+1})^{\beta+1}\cdot\underline{v}^{\beta+1}(1,t), & t\in(0,T), \\ \underline{u}_{x}(0,t)=0, \qquad \underline{v}_{x}(0,t)=0, & t\in(0,T), \\ \underline{u}(x,0)=u_{0}(x), \qquad \underline {v}(x,0)=v_{0}(x),& x\in[0,1]. \end{array}\displaystyle \right . $$

(2.1)

According to the conclusions of [21], let $\mu=\max(\frac {m+1}{2},1)$, if any of the following conditions holds:

$$\begin{aligned} (1) &\quad \alpha>\mu, \\ (2) &\quad \beta>0, \\ (3) &\quad pq>\beta(\alpha-\mu), \end{aligned}$$

the solutions of system (2.1) may blow up with suitable initial data. It is easy to check that $(\underline{u},\underline{v})$ is a pair sub-solution of (1.1), which indicates the solutions of (1.1) also blow up by the comparison principle. □

3 u blows up while v remains bounded

In the next two sections, we prove Theorem 1.2 with five lemmas. This section deals with the conditions of u blowing up while v remains bounded.

First of all, we consider the single equation problem

$$ \left \{ \textstyle\begin{array}{l@{\quad}l} u_{t}=u_{xx}-\lambda u^{m}, & (x,t)\in(0,1)\times(0,T), \\ u_{x}(1,t)=u^{\alpha}(1,t)e^{ph(t)},\qquad u_{x}(0,t)=0, & t\in(0,T), \\ u(x,0)=u_{0}(x), & x\in[0,1], \end{array}\displaystyle \right . $$

(3.1)

where the parameters m, p, α, λ agree with system (1.1), and $h(t)$ is a continuous, bounded, and non-decreasing function, with $h(t)\geq\delta>0$.

Now we prove a lemma, using similar steps to Theorem 1.2 in [16]. C is a positive constant independent of t, and it may change during the proof and at different places.

Lemma 3.1

Assume u is a solution of (3.1), and one of the following conditions holds:

$$\begin{aligned} \begin{aligned} (\mathrm{i}) &\quad \alpha>\mu, \\ (\mathrm{ii}) &\quad \alpha=\mu>1\quad \textit{with} \quad \delta>\frac{1}{2p}\log \biggl(\frac{\lambda}{\alpha}\biggr). \end{aligned} \end{aligned}$$

Then u may blow up for sufficient large initial value, and furthermore

$$ u(1,t)=\max_{[0,1]}u(\cdot,t)\leq C(T-t)^{\frac{-1}{2(\alpha-1)}}, \quad 0< t< T, $$

(3.2)

where T is the blow-up time.

Proof

Assume w is a solution of the following problem:

$$ \left \{ \textstyle\begin{array}{l@{\quad}l} {w_{t}=w_{xx}-\lambda w^{m}}, & (x,t)\in(0,1)\times(0,T), \\ {w_{x}(1,t)=w^{\alpha}(1,t)e^{p\delta}}, \qquad w_{x}(0,t)=0, & t\in(0,T), \\ {w(x,0)=u_{0}(x)}, & x\in[0,1]. \end{array}\displaystyle \right . $$

(3.3)

In the light of the comparison principle, $w\leq u$, in $(0,1)\times [0,T)$. Obviously the two parameter conditions in the lemma are, respectively, the same as

$$\begin{aligned} (\mathrm{i})&\quad \left \{ \textstyle\begin{array}{l} m\leq1, \\ \alpha>1 \end{array}\displaystyle \right . \quad \text{or}\quad \left \{ \textstyle\begin{array}{l} m>1, \\ \alpha>\frac{m+1}{2} \end{array}\displaystyle \right . \end{aligned}$$

and

$$\begin{aligned} (\mathrm{ii})&\quad \left \{ \textstyle\begin{array}{l} m>1, \\ \alpha=\frac{m+1}{2}, \\ \delta>(\frac{\lambda}{\alpha})^{\frac{1}{2p}}. \end{array}\displaystyle \right . \end{aligned}$$

From Theorem 4.2 in [22], there exist initial data $u_{0}$ such that w blows up. Thus, u blows up at a finite time T.

Similarly to [20, 23], we utilize the scaling method to obtain the blow-up rate estimate (3.2). Let $M(t)=\max_{[0,1]}u(\cdot ,t)=u(1,t)$, for $t\in(0,T)$, and assume

$$\varphi_{k}(y,s)=\frac{1}{M(t)}u\bigl(ky+1,k^{2}s+t \bigr), \quad [-1/k,0]\times\bigl(-t/k^{2},0 \bigr], $$

it is easy to check

$$0\leq\varphi_{k}\leq1, \qquad (\varphi_{k})_{s} \geq0, \qquad \varphi_{k}(0,0)=1. $$

Let $k=M^{-\alpha+1}(t)$, $\varphi_{k}$ solves the following problem:

$$ \left \{ \textstyle\begin{array}{l@{\quad}l} {(\varphi_{k})_{s}=(\varphi_{k})_{yy}-\lambda M^{m-2\alpha +1}(t)(\varphi_{k})^{m}}, & (y,s)\in(-1/k,0)\times(-t/k^{2},0], \\ {(\varphi_{k})_{y}(0,s)=(\varphi_{k})^{\alpha}(0,s)\cdot e^{ph(k^{2} s+t)}}, & s\in(-t/k^{2},0], \\ {(\varphi_{k})_{y}(-1/k,s)=0}, & s\in(-t/k^{2},0]. \end{array}\displaystyle \right . $$

(3.4)

Now we will prove that there exist constants $c>0$ and $C>0$, such that

$$ c\leq(\varphi_{k})_{s}(0,0)\leq C, $$

(3.5)

for every k small.

First of all, we prove case (i), when $\alpha>\mu$, it easy to check $M^{m-2\alpha+1}\rightarrow0 $ as $t\rightarrow T$. For given $\{\varphi _{k_{j}}\}$, there exist a continuous function φ and, maybe, a subsequence of it, which is also denoted by $\{\varphi_{k_{j}}\}$, such that $\varphi_{k_{j}}\rightarrow\varphi$, $k_{j}\rightarrow0$, as $M\rightarrow\infty$.

As $h(t)$ is bounded, we conclude that $\varphi_{k_{j}}$ is uniformly bounded. Using the Schauder estimates

$$\|\varphi_{k_{j}}\|_{C^{2+\alpha,1+\alpha/2}}\leq C. $$

The upper estimate in (3.5) follows immediately.

To get the lower bound of (3.5), and prove it by contradiction, we assume that the lower bound does not hold and that there is a sequence $\varphi_{k_{j}}$ such that $(\varphi_{k_{j}})_{s}(0,0)\rightarrow0$. As $\varphi_{k_{j}}\rightarrow\varphi$, $0\leq\varphi\leq1$, $\varphi (0,0)=1$, $\varphi_{s}\geq0$, $\varphi_{s}(0,0)=0$, and φ satisfies

$$ \left \{ \textstyle\begin{array}{l@{\quad}l} {\varphi_{s}=\varphi_{yy}}, & (y,s)\in(-\infty,0)\times (-\infty,0], \\ {\varphi_{y}(0,s)=\varphi^{\alpha}(0,s)\cdot e^{ph(T)}}, & s\in (-\infty,0]. \end{array}\displaystyle \right . $$

(3.6)

Set $\psi=\varphi_{s}$, thus ψ satisfies

$$ \left \{ \textstyle\begin{array}{l@{\quad}l} {\psi_{s}=\psi_{yy}}, & (y,s)\in(-\infty,0)\times(-\infty ,0], \\ {\psi_{y}(0,s)=\alpha\cdot\varphi^{\alpha-1}(0,s)\cdot e^{ph(T)}\cdot\varphi_{s}(0,s)\geq0}, & s\in(-\infty,0]. \end{array}\displaystyle \right . $$

(3.7)

Meanwhile $(\varphi_{k_{j}})_{s}(0,0)\rightarrow\varphi_{s}(0,0)$, thus $\psi (0,0)=\varphi_{s}(0,0)=0$, as $\psi=\varphi_{s}\geq0$, hence ψ has a minimum at $(0,0)$. By Hopf’s lemma $\psi\equiv0$, that is to say, ψ is independent of s. Thus φ satisfies the ODE problem

$$ \left \{ \textstyle\begin{array}{l} {\varphi_{yy}=0}, \\ {\varphi_{y}(0)=e^{ph(T)}\geq e^{\delta p}}, \\ {\varphi(0)=1}, \end{array}\displaystyle \right . $$

(3.8)

then $\varphi(y)\geq e^{\delta p}\cdot y+1$, which make a contradiction of the fact that $0\leq\varphi\leq1$, hence (3.5) holds, and (3.2) follows immediately.

Now, we prove case (ii). The proof of upper bound in (3.5) is similar, we omit it. The main difference of case (ii) is the critical case $\alpha=\frac {m+1}{2}>1$. Thus (3.6) becomes

$$ \left \{ \textstyle\begin{array}{l@{\quad}l} {\varphi_{s}=\varphi_{yy}-\lambda\varphi^{m}}, & (y,s)\in (-\infty,0)\times(-\infty,0], \\ {\varphi_{y}(0,s)=\varphi^{\alpha}(0,s)\cdot e^{ph(T)}}, & s\in (-\infty,0]. \end{array}\displaystyle \right . $$

(3.9)

To obtain a contradiction, we set $\psi=\varphi_{s}$, thus

$$\left \{ \textstyle\begin{array}{l@{\quad}l} {\psi_{s}=\psi_{yy}-\lambda\cdot m \cdot\varphi^{m-1}\cdot \psi}, & (y,s)\in(-\infty,0)\times(-\infty,0], \\ {\psi_{y}(0,s)=\alpha\cdot\varphi^{\alpha-1}(0,s)\cdot e^{ph(T)}\cdot\varphi_{s}(0,s)\geq0}, & s\in(-\infty,0]. \end{array}\displaystyle \right . $$

By Hopf’s lemma, $\psi\equiv0$, φ satisfies

$$ \left \{ \textstyle\begin{array}{l@{\quad}l} {\varphi_{yy}-\lambda\varphi^{m}=0}, \\ {\varphi_{y}(0)=e^{ph(T)}\geq e^{\delta p}}, \\ {\varphi(0)=1}. \end{array}\displaystyle \right . $$

(3.10)

The first equation in (3.10) we multiply by $\varphi_{y}$, and we integrate from 0 to y. Since $\alpha=\frac{m+1}{2}$, we derive

$$\varphi_{y}^{2}=\varphi_{y}^{2}(0)+ \frac{\lambda}{\alpha}\varphi^{2\alpha}-\frac {\lambda}{\alpha}, $$

so

$$\varphi_{y}=\biggl[\varphi_{y}^{2}(0)+ \frac{\lambda}{\alpha}\varphi^{2\alpha}-\frac {\lambda}{\alpha}\biggr]^{\frac{1}{2}}, $$

where $\varphi_{y}\geq0$. Furthermore

$$y= \int_{0}^{y}\varphi_{y}\biggl[ \varphi_{y}^{2}(0)+\frac{\lambda}{\alpha}\varphi ^{2\alpha}- \frac{\lambda}{\alpha}\biggr]^{-\frac{1}{2}}\, dy= \int_{\varphi (0)}^{\varphi(y)}\biggl[e^{2ph(T)}+ \frac{\lambda}{\alpha}\varphi^{2\alpha }-\frac{\lambda}{\alpha}\biggr]^{-\frac{1}{2}}\, d\varphi. $$

Noticing $\delta>\frac{1}{2p}\log(\frac{\lambda}{\alpha})$, we deduce

$$y\geq-\biggl(e^{2\delta p}-\frac{\lambda}{\alpha}\biggr)^{-\frac{1}{2}}, $$

which contradicts $y\in(-\infty,0)$. We conclude (3.5) is true, and (3.2) follows. □

Lemma 3.2

Let u be a solution of following problem:

$$ \left \{ \textstyle\begin{array}{l@{\quad}l} {u_{t}=u_{xx}-\lambda u^{m}}, & (x,t)\in(0,1)\times(0,T), \\ {u_{x}(1,t)\leq Lu^{\alpha}(1,t)}, \qquad u_{x}(0,t)=0, & t\in(0,T), \\ {u(x,0)=u_{0}(x)}, & x\in[0,1], \end{array}\displaystyle \right . $$

(3.11)

with $\lambda>0$, α, $m\geq0$. If u blows up at a finite time T, then either $\alpha>\mu$ or $\alpha=\mu>1$, and there exists a positive constant C, such that

$$u(1,t)=\max_{[0,1]}u(\cdot,t)\geq C(T-t)^{\frac{-1}{2(\alpha-1)}}, \quad \textit{as } t\rightarrow T. $$

Proof

The proof of Lemma 3.2 is similar to Lemma 3.1 in [23], and we omit it here. □

Lemma 3.3

There exist initial data such that u blows up while v remains bounded if and only if

$$\left \{ \textstyle\begin{array}{l} {\alpha>q+1}, \\ {\alpha>\mu \quad \textit{or} \quad \alpha=\mu>1}. \end{array}\displaystyle \right . $$

Proof

We first prove the sufficient condition.

To find suitable initial data $(u_{0}, v_{0})$, such that u blows up while v remains bounded, fix $v_{0}$ so that $v_{0}(x)\geq\delta>\frac {1}{2p}\log(\frac{\lambda}{\alpha})$, and denote $K=\max_{[0,1]}v_{0}=v_{0}(1)$, $N=\frac{e^{2\beta K}}{K}+3$. Assume $w(x,t)$ is a solution of (3.3), then $w(x,t)$ is a sub-solution of u. There must exist sufficiently large initial data $u_{0}$ such that w blows up at a finite time $T\leq\varepsilon$, under the assumption $\delta>\frac {1}{2p}\log(\frac{\lambda}{\alpha})$.

We claim that there exists $u_{0}$ large enough such that $v<2K$. If it is not true, there must exist $t_{0}< T$, which is the first time $\max_{[0,1]}v(\cdot,t_{0})=v(1,t_{0})=2K$. We denote the cutoff function

$$ \tilde{v}(x,t)= \left \{ \textstyle\begin{array}{l@{\quad}l} {v(x,t)}, & (x,t)\in[0,1]\times[0,t_{0}], \\ {2K}, & (x,t)\in[0,1]\times[t_{0} ,T]. \end{array}\displaystyle \right . $$

(3.12)

Meanwhile, assume $\tilde{u}(x,t)$ solves

$$ \left \{ \textstyle\begin{array}{l@{\quad}l} {\tilde{u}_{t}=\tilde{u}_{xx}-\lambda\tilde {u}^{m}}, & (x,t)\in(0,1)\times(0,\widetilde{T}), \\ {\tilde{u}_{x}(1,t)=\tilde{u}^{\alpha }(1,t)e^{p\tilde{v}(1,t)}}, \qquad \tilde{u}_{x}(0,t)=0, & t\in (0,\widetilde{T}), \\ {\tilde{u}(x,0)=u_{0}(x) }, & x\in[0,1], \end{array}\displaystyle \right . $$

(3.13)

then the blow-up time of ũ, which is denoted by T̃, is later than T. We conclude by Lemma 3.1

$$\tilde{u}(1,t)=\max_{[0,1]}\tilde{u}(\cdot,t)\leq C(\widetilde {T}-t)^{\frac{-1}{2(\alpha-1)}}, \quad 0< t< \widetilde{T}. $$

Thus,

$$ u(1,t)=\tilde{u}(1,t)\leq C(\widetilde{T}-t)^{\frac{-1}{2(\alpha -1)}}\leq C(T-t)^{\frac{-1}{2(\alpha-1)}}, \quad 0< t< t_{0}. $$

(3.14)

Let $\Gamma(x,t)$ be the fundamental solution of the heat equation in $[0,1]$, so

$$\Gamma(x,t)=\frac{1}{2\sqrt{\pi t}}\exp\biggl\{ \frac{-x^{2}}{4t}\biggr\} . $$

From the classical theory of the heat equation, we know that Γ satisfies (see [24])

$$\begin{aligned}& \int^{1}_{0} \Gamma(x-y,t-z)\, dy\leq1, \\& \int^{t}_{z} \Gamma(0,t-\tau)\, d\tau= \frac{1}{\sqrt{\pi}}\sqrt{t-z},\qquad \int ^{t}_{z} \Gamma(1,t-\tau)\frac{1}{2(t-\tau)}\, d \tau\leq C^{*}\sqrt{t-z}, \\& \frac{\partial\Gamma}{\partial\eta_{y}}(x-y,t-\tau)=\frac{x-y}{2(t-\tau )}\Gamma(x-y,t-\tau), \quad x,y \in[0,1], 0\leq z< t. \end{aligned}$$

We deduce from the Green’s identity of (1.1) for v that

$$\begin{aligned} v(x,t) =& { \int^{1}_{0}\Gamma(x-y,t-z)v(y,z)\, dy+ \int^{t}_{z}\frac{\partial v}{\partial x}(1,\tau)\Gamma(x-1,t- \tau)\, d\tau} \\ &{}- { \int^{t}_{z}\frac{\partial\Gamma}{\partial\eta_{y}}(x-1,t-\tau )v(1,\tau) \, d\tau+ \int^{t}_{z}\frac{\partial\Gamma}{\partial\eta_{y}}(x,t-\tau )v(0,\tau)\, d\tau}, \end{aligned}$$

(3.15)

with $0\leq z< t< T$, $0< x<1$. Set $z=0$, and $x\rightarrow1$, one derives that

$$\begin{aligned} \begin{aligned} v(1,t)={}& { \int^{1}_{0}\Gamma(1-y,t)v(y,0)\, dy+ \int^{t}_{0} u^{q}(1,\tau )e^{\beta v(1,\tau)}\Gamma(0,t-\tau)\,d\tau} \\ &{}+ { \int^{t}_{0} v(0,\tau)\Gamma(1,t-\tau) \frac{1}{2(t-\tau)}\,d\tau}. \end{aligned} \end{aligned}$$

Combining with (3.14), we have

$$ v(1,t_{0})\leq v_{0}(1)+C_{0} e^{\beta v(1,t_{0})} \int_{0}^{t_{0}}(t_{0}-\tau)^{-\frac {q}{2(\alpha-1)}-\frac{1}{2}}\, d\tau+C^{*} \sqrt{t_{0}}\cdot v(1,t_{0}). $$

(3.16)

As $q<\alpha-1$,

$$\int_{0}^{t_{0}}(t_{0}-\tau)^{-\frac{q}{2(\alpha-1)}-\frac{1}{2}}\, d\tau< \frac{1}{NC_{0}}, $$

and we can choose enough large $u_{0}$ such that T sufficiently small, it implies $\sqrt{t_{0}}\leq\sqrt{T}\leq\frac{1}{NC^{*}}$. Therefore

$$\frac{N-1}{N}v(1,t_{0})\leq v_{0}(1)+ \frac{1}{N}e^{\beta v(1,t_{0})}. $$

Thus

$$\frac{2N-1}{N}K\leq K+\frac{1}{N}e^{2K\beta}, $$

so

$$N\leq\frac{e^{2K\beta}}{K}+2, $$

which is a contradiction.

Next, we prove the necessary condition.

If u blows up, v remains bounded. Then $v\leq K$ for $(x,t)\in [0,1]\times[0,T)$, so

$$\left \{ \textstyle\begin{array}{l@{\quad}l} {u_{t}=u_{xx}-\lambda u^{m}}, & (x,t)\in(0,1)\times(0,T), \\ {u_{x}(1,t)\leq u^{\alpha}(1,t)e^{pK}}, \qquad u_{x}(0,t)=0, & t\in(0,T), \\ {u(x,0)=u_{0}(x)}, & x\in[0,1]. \end{array}\displaystyle \right . $$

Thus we can conclude from Lemma 3.2 that $\alpha>\mu$ or $\alpha=\mu >1$. Furthermore,

$$u(1,t)=\max_{[0,1]}u(\cdot,t)\geq C(T-t)^{\frac{-1}{2(\alpha-1)}}, \quad \text{as } t\rightarrow T. $$

Now, we will show the requirement of $q<\alpha-1$. Let $x\rightarrow1$ in (3.15), we deduce

$$v(1,t)\geq \int_{z}^{t} u^{q}(1,\tau)\cdot e^{\beta v(1,\tau)}\Gamma(0,t-\tau )\,d\tau\geq C_{1} \int_{z}^{t}(T-\tau)^{-\frac{q}{2(\alpha-1)}-\frac{1}{2}}\,d\tau. $$

Then we get $q<\alpha-1$, in order to ensure the boundedness of $v(1,t)$ as $t\rightarrow T$. □

4 v blows up while u remains bounded

This section focuses on the conditions of v blowing up while u remains bounded, in order to complete the proof of Theorem 1.2.

Lemma 4.1

There exists $\varepsilon>0$, such that

$$ v(1,t)\leq-\frac{1}{2\beta}\log\bigl[2\beta\cdot\varepsilon\cdot u_{0}^{2q}(1) (T-t)\bigr]. $$

(4.1)

Proof

Let $J(x,t)=v_{t}-\varepsilon v_{x}^{2}$, where ε is a constant to be determined. For any initial data $v_{0}$, we can take small $\varepsilon<\frac{\beta}{2}$, such that

$$\left \{ \textstyle\begin{array}{l@{\quad}l} {J_{t}-J_{xx}=2\varepsilon\cdot v^{2}_{xx}\geq0}, & (x,t)\in (0,1)\times(0,T), \\ {J_{x}(1,t)=[q\cdot u^{q-1}\cdot u_{t}\cdot e^{\beta v}+(\beta-2\varepsilon)u^{q}\cdot e^{\beta v}\cdot v_{t}](1,t)\geq0}, & t\in (0,T), \\ {J_{x}(0,t)=0}, & t\in(0,T), \\ {J(x,0)\geq0}, & x\in[0,1]. \end{array}\displaystyle \right . $$

By the comparison principle $J\geq0$, thus $v_{t}(1,t)\geq\varepsilon v^{2}_{x}(1,t)$, in $t\in[0,T)$. Then

$$v_{t}(1,t)\cdot e^{-2\beta v(1,t)}\geq\varepsilon u^{2q}(1,t). $$

Integrate the above inequality on $(t,T)$ to obtain

$$\int_{t}^{T} e^{-2\beta v(1,\xi)}v_{\xi}\, d\xi \geq \int_{t}^{T} \varepsilon\cdot u^{2q}(1,\xi) \, d\xi\geq\varepsilon\cdot u_{0}^{2q}(1)\cdot(T-t). $$

Hence (4.1) follows. □

Lemma 4.2

There exist initial data such that v blows up while u remains bounded up to blow-up time T, if and only if $p<\beta$.

Proof

First, we prove the sufficient condition.

We denote a set of initial data as follows:

$$\begin{aligned} V =&\bigl\{ u_{0}(x)=u_{0}(1)+\bigl(\sqrt{M^{2}+4}-M \bigr)/2-\sqrt{1-M\bigl(\sqrt {M^{2}+4}-M^{2}\bigr)\cdot x^{2}/2}, \\ &v_{0}(x)=v_{0}(1)+\bigl(\sqrt{N^{2}+4}-N \bigr)/2-\sqrt{1-N\bigl(\sqrt {N^{2}+4}-N^{2}\bigr)\cdot x^{2}/2}, x\in[0,1] \bigr\} \end{aligned}$$

with $M=e^{pv_{0}(1)}u_{0}^{\alpha}(1)$, $N=u_{0}^{q}(1)e^{\beta v_{0}(1)}$. Set one $\varepsilon=\varepsilon_{0}=\frac{\beta}{2}$, uniformly in Lemma 4.1 for any initial data in V.

Fix $u_{0}(1)=\xi_{0}>0$, with $N_{0}>2\xi_{0}$. Meanwhile, we can set the initial data $v_{0}$ large enough such that T satisfies

$$N_{0}\geq2\xi_{0}+\frac{2\beta}{\beta-p}\cdot\overline{C}\cdot N_{0}^{\alpha}\cdot\bigl(2\beta\varepsilon_{0} \xi_{0}^{2q}\bigr)^{-\frac{p}{2\beta}}\cdot T^{\frac {\beta-p}{2\beta}}. $$

Consider the scalar problem as follows:

$$\left \{ \textstyle\begin{array}{l@{\quad}l} {\overline{u}_{t}=\overline{u}_{xx}-\lambda\overline {u}^{m}}, & (x,t)\in(0,1)\times(0,T), \\ {\overline{u}_{x}(1,t)=N_{0}^{\alpha}(2\beta\varepsilon_{0}\xi _{0}^{2q})^{-\frac{p}{2\beta}}(T-t)^{-\frac{p}{2\beta}}}, \qquad \overline {u}_{x}(0,t)=0, & t\in(0,T), \\ {\overline{u}(x,0)=\overline{u}_{0}(x)}, & x\in[0,1], \end{array}\displaystyle \right . $$

where $\overline{u}_{0}$ satisfies $\overline{u}'_{0}(1)=N_{0}^{\alpha}(2\beta \varepsilon_{0}\xi_{0}^{2q}\cdot T)^{-\frac{p}{2\beta}}$, $\overline {u}_{0}(1)=2\xi_{0}$, $\overline{u}'_{0}(x), \overline{u}''_{0}(x)\geq0$, $\overline{u}_{0}(x)\geq u_{0}(x)$.

Since $\beta>p$, by Green’s identity,

$$\begin{aligned} \begin{aligned} \overline{u} &\leq {2\xi_{0}+\overline{C}\cdot N_{0}^{\alpha}\cdot\bigl(2\beta \varepsilon_{0}\xi_{0}^{2q} \bigr)^{-\frac{p}{2\beta}}\cdot \int_{0}^{t} (t-\tau )^{-\frac{1}{2}}(T- \tau)^{-\frac{p}{2\beta}}\,d\tau} \\ &\leq {2\xi_{0}+\frac{2\beta}{\beta-p}\cdot\overline{C}\cdot N_{0}^{\alpha}\cdot\bigl(2\beta\varepsilon_{0} \xi_{0}^{2q}\bigr)^{-\frac{p}{2\beta}}\cdot T^{\frac{\beta-p}{2\beta}}\leq N_{0}}, \end{aligned} \end{aligned}$$

so u̅ satisfies

$$\overline{u}_{x}(1,t)\geq\bigl(2\beta\varepsilon_{0} \xi_{0}^{2q}\bigr)^{-\frac {p}{2\beta}}(T-t)^{-\frac{p}{2\beta}}\cdot \overline{u}^{\alpha}(1,t). $$

It follows from Lemma 4.1 that u satisfies

$$\left \{ \textstyle\begin{array}{l@{\quad}l} {u_{t}=u_{xx}-\lambda u^{m}}, & (x,t)\in(0,1)\times(0,T), \\ {u_{x}(1,t)\leq u^{\alpha}(1,t)\cdot(2\beta\varepsilon _{0}\xi_{0}^{2q})^{-\frac{p}{2\beta}}(T-t)^{-\frac{p}{2\beta}}}, \qquad u_{x}(0,t)=0, & t\in(0,T), \\ {u(x,0)=u_{0}(x)}, & x\in[0,1]. \end{array}\displaystyle \right . $$

In the light of the comparison principle, $u\leq\overline{u}\leq N_{0}$, and hence v blows up alone.

Next, we prove the necessary condition.

Since $u\leq C$, by Green’s identity,

$$v(1,t)\geq\log\bigl[C(T-t)\bigr]^{-\frac{1}{2\beta}}, \quad t\in(0,T). $$

Then

$$\frac{1}{2}u(1,t)\geq C \int_{0}^{t}(T-\tau)^{-\frac{p}{2\beta}}(t-\tau )^{-\frac{1}{2}}\,d\tau. $$

Thus, $\beta>p$ must hold to ensure the boundedness of u. □

Declarations

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided 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.

Authors’ Affiliations

(1)

Department of Mathematics, Jiangxi Vocational College of Finance and Economics, Jiujiang, P.R. China

References

Bebernes, J, Eberly, D: Mathematical Problem from Combustion Theory. Appl. Math. Sci., vol. 83. Springer, Berlin (1989) View ArticleGoogle Scholar
Lieberman, GM: Second Order Parabolic Differential Equations. World Scientific, Singapore (1996) MATHView ArticleGoogle Scholar
Deng, K: Blow-up rates for parabolic systems. Z. Angew. Math. Phys. 47, 132-143 (1996) MATHMathSciNetView ArticleGoogle Scholar
Lin, ZG, Xie, CH: The blow-up rate for a system of heat equations with nonlinear boundary conditions. Nonlinear Anal. 34, 767-778 (1998) MATHMathSciNetView ArticleGoogle Scholar
Pedersen, M, Lin, ZG: Blow-up estimates of the positive solution of a parabolic system. J. Math. Anal. Appl. 255, 551-563 (2001) MATHMathSciNetView ArticleGoogle Scholar
Rossi, JD: The blow-up rate for a system of heat equations with non-trivial coupling at the boundary. Math. Methods Appl. Sci. 20, 1-11 (1997) MATHMathSciNetView ArticleGoogle Scholar
Song, XF: Blow-up analysis for a system of heat equations with nonlinear flux which obey different laws. Nonlinear Anal. 69, 1971-1980 (2008) MATHMathSciNetView ArticleGoogle Scholar
Zhao, LZ, Zheng, SN: Blow-up estimates for system of heat equations coupled via nonlinear boundary flux. Nonlinear Anal. 54, 251-259 (2003) MATHMathSciNetView ArticleGoogle Scholar
Brändle, C, Quirós, F, Rossi, JD: Non-simultaneous blow-up for a quasilinear parabolic system with reaction at the boundary. Commun. Pure Appl. Anal. 4(3), 523-536 (2005) MATHMathSciNetView ArticleGoogle Scholar
Brändle, C, Quirós, F, Rossi, JD: The role of non-linear diffusion in non-simultaneous blow-up. J. Math. Anal. Appl. 308, 92-104 (2005) MATHMathSciNetView ArticleGoogle Scholar
Liu, BC, Li, FJ: A complete classification for non-simultaneous blow-up. Appl. Math. Lett. 22, 548-552 (2009) MATHMathSciNetView ArticleGoogle Scholar
Liu, BC, Li, FJ: Non-simultaneous blow-up and blow-up rates for reaction-diffusion equations. Nonlinear Anal. 13, 764-778 (2012) MATHView ArticleGoogle Scholar
Pinasco, JP, Rossi, JD: Simultaneous versus non-simultaneous blow-up. N.Z. J. Math. 29, 55-59 (2000) MATHMathSciNetGoogle Scholar
Quirós, F, Rossi, JD: Non-simultaneous blow-up in a semilinear parabolic system. Z. Angew. Math. Phys. 52(2), 342-346 (2001) MATHMathSciNetView ArticleGoogle Scholar
Quirós, F, Rossi, JD: Non-simultaneous blow-up in a nonlinear parabolic system. Adv. Nonlinear Stud. 3(3), 397-418 (2003) MATHMathSciNetGoogle Scholar
Rossi, JD: The blow-up rate for a semilinear parabolic equation with a nonlinear boundary condition. Acta Math. Univ. Comen. 67, 343-350 (1998) MATHGoogle Scholar
Zheng, SN, Qiao, L: Non-simultaneous blow-up in a reaction-diffusion system. Appl. Math. Comput. 180, 309-317 (2006) MATHMathSciNetView ArticleGoogle Scholar
Zheng, SN, Liu, BC, Li, FJ: Non-simultaneous blow-up for a multi-coupled reaction-diffusion system. Nonlinear Anal. 64, 1189-1202 (2006) MATHMathSciNetView ArticleGoogle Scholar
Rossi, JD, Souplet, P: Coexistence of simultaneous and non-simultaneous blow-up in a semilinear parabolic system. Differ. Integral Equ. 18, 405-418 (2005) MATHMathSciNetGoogle Scholar
Hu, B, Yin, HM: The profile near blowup time for solution of the heat equation with a nonlinear boundary condition. Trans. Am. Math. Soc. 346(1), 117-135 (1994) MATHMathSciNetView ArticleGoogle Scholar
Zheng, SN, Wang, W: Critical exponents for a nonlinear diffusion system. Nonlinear Anal. 67, 1190-1210 (2007) MATHMathSciNetView ArticleGoogle Scholar
Chipot, M, Fila, M, Quittner, P: Stationary solutions, blow up and convergence to stationary solutions for semilinear parabolic equations with nonlinear boundary conditions. Acta Math. Univ. Comen. 60(1), 35-103 (1991) MATHMathSciNetGoogle Scholar
Zheng, SN, Qiao, L: Non-simultaneous blow-up in a reaction-diffusion system. Appl. Math. Comput. 180, 309-317 (2006) MATHMathSciNetView ArticleGoogle Scholar
Friedman, A: Partial Differential Equations of Parabolic Type. Prentice Hall, Englewood Cliffs (1964) MATHGoogle Scholar

Boundary Value Problems

Non-simultaneous blow-up of a reaction-diffusion system with inner absorption and coupled via nonlinear boundary flux

Abstract

Keywords

MSC

1 Introduction and main results

Remark 1.1

Theorem 1.1

Theorem 1.2

Corollary 1.1

2 Blow-up

Proof of Theorem 1.1

3 u blows up while v remains bounded

Lemma 3.1

Proof

Lemma 3.2

Proof

Lemma 3.3

Proof

4 v blows up while u remains bounded

Lemma 4.1

Proof

Lemma 4.2

Proof

Declarations

Authors’ Affiliations

References

Copyright