- Research
- Open access
- Published:
Global dynamics for a class of non-monotone time-delayed reaction-diffusion equations
Advances in Difference Equations volume 2018, Article number: 55 (2018)
Abstract
This paper deals with a large class of non-monotone time-delayed reaction-diffusion equations in which the reaction term can be spatially nonlocal. Nonexistence, existence, uniqueness and global attractivity of positive equilibriums to the equation are addressed. In particular, developed is a technique that combines the method of super-sub solutions, the variation-of-constants formula for the delay differential equation and the estimation of integral kernels, which enables us to obtain some sufficient conditions for the global attractiveness of the unique positive equilibrium. Two examples are given to illustrate the obtained results.
1 Introduction
Consider the following non-monotone reaction-diffusion equation with time delay:
Here, \(d>0\), \(\mu>0\), \(\eta\geq0\), \(\tau>0\). Δ is the Laplacian operator on \(\mathbb{R}^{m}\), where \(m\geq1\) and \(\mathbb{R}=(-\infty ,+\infty)\). Ω is a bounded, open and convex domain with a smooth boundary ∂Ω in \(\mathbb{R}^{m}\). Ω̅ is the closure of Ω. \(x\in\Omega\) denotes x belonging to Ω. Either \(Bu=u\) or \(Bu=\partial u/\partial\mathbf{n}\), where \(\partial /\partial\mathbf{n}\) denotes the differentiation in the direction of the outward normal n to ∂Ω. And the kernel function \(\rho(\eta,x,y)\) is the fundamental solution associated with the operator \(\partial_{\eta}-\Delta_{x}\) and boundary condition \(Bu=0\). Such an equation arises from the interaction of intrinsic dynamics and the spatial diffusion in a structured population [1]. When u in (1.1) is regarded as the density of the mature population in a two-stage population (mature and immature, with a fixed maturation time τ), then \(g(u)\) and \(f(u)\) are the death function and the birth function of mature individuals, respectively, and the term \(\int _{\overline{\Omega}}\rho(\eta,x,y)f(u(t-\tau,y))\,dy\) is exactly the maturation rate of those immature individuals born at time τ ago. For the model derivation and historical accounts of the development, see Gourley and Wu’s survey article [2] and the references therein.
To make clear of the global dynamics to (1.1), a central question is to investigate existence, uniqueness and global attractivity of positive equilibriums. If the birth function \(f(u)\) always increases with \(u>0\), the monotone dynamical system approach can be applied, and this central question has been solved very well [3]. However, in the real world, the birth function \(f(u)\) is often non-monotone. It has been more common to assume that \(f(u)\) decreases for sufficiently large u. For example, researchers often assume that \(f(u)=pu(q-u)\) in the most prevailing logistic model, \(f(u)=\frac{pu}{q+u^{\beta}}\) in the Mackey-Glass model and \(f(u)=pue^{-qu}\) in the Nicholson’s blowflies model, where \(p, q, \beta >0\). For non-monotone \(f(u)\), the theory of monotone dynamical systems may not be adequate, and this question becomes very subtle. This motivates many authors to investigate this central question for some special cases of (1.1) [4–11]. For example, Zhao [11] established the global attractivity of the positive constant steady state for the special case of \(Bu=\partial u/\partial\mathbf{n}\) and \(g(u)=\alpha u\) of (1.1) by using a fluctuation method [12], where \(\alpha>0\). Guo et al. [4] studied the special case of \(Bu=u\), \(\Omega=(0,\pi )\), \(g(u)=\alpha u\) and \(\eta>0\). By employing the method of super-sub solution, combined with the careful analysis for \(\rho(\eta,x,y)\), they obtained some sufficient conditions for nonexistence, existence and uniqueness of positive equilibriums [4]. At the same time, Yi and Zou [7] analyzed the special case of \(Bu=u\), \(g(u)=\alpha u\) and \(\eta>0\). By using the comparison technique and the theory of monotone dynamical systems, they found some sufficient conditions for the existence and global attractiveness of positive equilibriums [7]. For the general case of (1.1), this central question remained unsettled.
These observations motivate us to study the global asymptotic behavior for (1.1). For convenience, we consider the following version:
where \(\varphi: [-\tau,0]\times\Omega\rightarrow\mathbb{R}\) is a bounded, continuous and positive initial function. By the derivation in [3], the kernel function \(\rho(\eta,x,y)\) is given by
Here, \(0\leq\xi_{1}<\xi_{2}\leq\cdots\leq\xi_{n}\leq\cdots\) with \(\lim_{n\to\infty} \xi_{n}=+\infty\) are the eigenvalues of the operator −Δ subject to the homogeneous Neumann (or Dirichlet) boundary condition on ∂Ω. The function \(\psi_{n}\) is the eigenvector corresponding to \(\xi_{n}\). \(\{ \psi_{n} \}_{n=1}^{+\infty}\) is a complete orthonormal system in the Banach space \(L^{2}(\overline{\Omega})\). \(\psi_{1}(x)>0 \) for all \(x\in\Omega\). And \(\delta(x)\) is the Dirac function on \(\mathbb {R}^{m}\) [11, 13]. For any function \(a(x)\), we always denote by \(a'(x)\) the derivative with respect to x of the function \(a(x)\). Throughout this paper, we assume that:
-
(A1)
\(f\in C^{1}(\mathbb{R}^{+},\mathbb{R}^{+})\), \(f(u)=uh_{1}(u)\), \(h_{1}(u)>0\) and \(h_{1}'(u) < 0\) for all \(u\geq0\), where \(\mathbb {R}^{+}=[0,+\infty)\).
-
(A2)
Both \(f(u)\) and \(f'(u)\) are bounded for \(u\geq0\).
-
(A3)
\(g\in C^{1}(\mathbb{R}^{+},\mathbb{R}^{+})\), \(g(u)=uh_{2}(u)\), \(h_{2}(u)>0\) and \(h_{2}'(u)\geq0\) for all \(u\geq0\).
-
(A4)
There exists a real number \(M>0\) such that \(\hat{f}(u)< g(u)\) for all \(u>M\), where \(\hat{f}(u)=\max_{v\in[0,u]}f(v)\).
-
(A5)
There exists a positive real number \(M_{0}\) such that \(h_{2}(M_{0})\geq h_{1}(M_{0})\alpha_{0}\), where \(\alpha_{0}=\max_{x\in\overline {\Omega}}\int_{\Omega}\rho(\eta,x,y)\,dy\).
It is easily seen that Assumptions (A1)-(A5) are satisfied by \(g(u)=\alpha u\) in the most population models and \(f(u)=pue^{-qu}\) in the Nicholson’s blowflies model [14], where \(p,q,\alpha>0\).
The rest of this paper is organized as follows. We present some preliminary results in Section 2. Our main results are presented and proved in Sections 3 and 4. In Section 3, we obtain some sufficient conditions for nonexistence, existence and uniqueness of positive equilibriums to (1.2) by employing the method of super-sub solutions. In Section 4, developed is a technique that combines the method of super-sub solutions, the variation-of-constants formula for the delay differential equation and the estimation of integral kernels, which enables us to obtain some sufficient conditions for the global attractivity of the unique positive equilibrium. Finally, we present two examples in Section 5 to illustrate the obtained results.
Remark 1.1
If we let \(\eta=0\), then (1.2) reduces to the following local time-delayed reaction-diffusion equation:
Yi and Zou [6] analyzed the special case of \(Bu=\partial u/\partial\mathbf{n}\), \(g(u)=\alpha u\) and \(f(u)=pue^{-qu}\) in (1.4), where \(\alpha,p,q>0\). They obtained some sufficient conditions for the global attractiveness of the unique positive steady state by combining a dynamical systems argument and some subtle inequalities [6].
Remark 1.2
If we let \(d\rightarrow0^{+}\) in (1.2), then we obtain the following nonlocal time-delayed differential equation:
Yuan and Guo [9] considered this equation. By employing the method of super-sub solutions, combined with the careful analysis for \(\rho(\eta,x,y)\), they proved nonexistence, existence and uniqueness of positive equilibriums to (1.5). With the help of the comparison principle, they employed the theory of dissipative systems to obtain the global asymptotic stability of the unique positive equilibrium to (1.5).
Remark 1.3
If we let \(\eta=0\) and \(d\rightarrow0^{+}\), then (1.2) reduces to the following delay differential equation:
Its dynamics have been extensively and intensively studied for the case of \(g(u)=\alpha u\), where \(\alpha>0\); see, e.g., [14–24] and the references therein.
2 Preliminaries
Let \(\mathbb{Y}=C(\overline{\Omega},\mathbb{R})\) and \(\mathbb{Y}^{+}= \{\varphi\in\mathbb{Y}|\varphi(x)\geq0 \mbox{ for all } x\in\overline{\Omega} \}\). Then \((\mathbb{Y},\mathbb{Y}^{+})\) is a strongly ordered Banach space. It is well known that the operator dΔ generates a \(C^{0}\)-semigroup \(S(t)\) on \(\mathbb {Y}\). Moreover, the standard parabolic maximum principle (see, e.g., Corollary 7.2.3 of [25]) implies that \(S(t): \mathbb{Y}\rightarrow\mathbb{Y}\) is strongly positive in the sense that \(S(t)(\mathbb{Y}^{+}\setminus\{0\})\subset \operatorname{int}(\mathbb{Y}^{+})\) for all \(t>0\).
Let \(\mathbb{C}=C([-\tau,0],\mathbb{Y})\) and \(\mathbb{C}^{+}=C([-\tau,0],\mathbb{Y}^{+})\). For any continuous function \(u(\cdot): [-\tau, \varrho)\rightarrow \mathbb{Y}\), where \(\varrho>0\), define \(u_{t}\in\mathbb{C}\), \(t\in[0,\varrho)\) by \(u_{t}(\theta)=u(t+\theta)\) for all \(\theta\in[-\tau,0]\) and its norm
where we denote \(u(t,x)=u(t)(x)\), \(t\in[-\tau,\varrho)\), \(x\in\overline {\Omega}\). Define \(G: \mathbb{C}^{+}\rightarrow\mathbb{Y}\) by
Then equation (1.2) can be rewritten as the following integral equation:
whose solution is called a mild solution to (1.2).
Since \(S(t): \mathbb{Y}\rightarrow\mathbb{Y}\) is strongly positive, we obtain that
By [26] (Corollary 8.1.3) (see also Proposition 3 and Remark 2.4 of [27]), for any \(\varphi\in\mathbb{C}^{+}\), equation (1.2) has a unique non-continuable mild solution \(u(t,\varphi)\) with \(u_{0}=\varphi\), and \(u(t,\varphi)\in\mathbb{Y}^{+}\) for all \(t\in (0,\varrho_{\varphi})\). Moreover, \(u(t,\varphi)\) is also a classical solution of (1.2) for all \(t>\tau\) (see Corollary 2.2.5 of [26]).
By similar arguments as in the proof of [3] (Theorem 2.1), we obtain the following lemma.
Lemma 2.1
If (A1)-(A4) hold, then for any \(\varphi\in\mathbb{C}^{+}\), a unique solution \(u(t,\varphi)\) for (1.2) globally exists on \([-\tau,\infty)\), \(\limsup_{t\rightarrow +\infty}u(t,x,\varphi)\leq M\) uniformly for all \(x\in\overline{\Omega}\), and the solution semiflow \(\Psi(t)=u_{t}(\cdot): \mathbb{C}^{+}\rightarrow\mathbb{C}^{+}\), \(t\geq0\), admits a connected global attractor.
Next, we consider the following elliptic eigenvalue problem:
By similar arguments as in the proof of Theorem 7.6.1 in [25], it follows that the eigenvalue problem (2.2) has a principal eigenvalue \(\xi_{0}\). In fact, one can easily determine \(\xi_{0}\) as
Similar to the arguments as in the proof of [3] (Theorem 3.1), we obtain the following threshold type results on the global attractivity of the zero solution and uniform persistence for (1.2).
Lemma 2.2
Let \(\psi^{*}\in \operatorname{int}(\mathbb{Y}^{+})\) be fixed and (A1)-(A4) hold. For any \(\varphi\in\mathbb{C}^{+}\), denote by \(u(t,x,\varphi)\) or \(u(t,\varphi)\) the solution to (1.2). Then the following statements are valid.
-
(i)
If \(h_{1}(0)e^{-\eta\xi_{1}}< d\xi_{1}+h_{2}(0)\), then \(\lim_{t\rightarrow+\infty}\| u(t,\varphi)\|_{\mathbb {Y}}=0\) for all \(\varphi\in\mathbb{C}^{+}\).
-
(ii)
If \(h_{1}(0)e^{-\eta\xi_{1}}>d\xi_{1}+h_{2}(0)\), then (1.2) admits at least one equilibrium solution \(u^{*}\) with \(u^{*}(x)\in(0,M]\) for all \(x\in\Omega\), and there exists \(\delta>0\) such that for any \(\varphi\in\mathbb{C}^{+}\) with \(\varphi(0,\cdot)\not\equiv0\), there is \(t_{0}=t_{0}(\varphi)>0\) such that \(u(t,x,\varphi)\geq\delta\psi ^{*}(x)\) for all \(x\in\overline{\Omega}\) and \(t\geq t_{0}\).
3 Existence and uniqueness of positive steady states
In this section, we consider existence and uniqueness of positive equilibriums to (1.2). The equilibriums are also positive solutions to the following boundary value problem:
By the famous Krein-Rutman theorem [28] and similar arguments as in the proof of Theorem 2.3 in [9] (or Theorem 2.6 in [10]), we can obtain the following theorem which provides a sufficient condition for nonexistence of positive equilibriums to (1.2).
Theorem 3.1
If (A1) and (A3) hold, and
then (3.1) has no positive solution.
Next, we will employ a technique developed in [4] to analyze the existence and uniqueness of positive equilibriums to (1.2), that is, the existence and uniqueness of positive solutions to (3.1).
It is easy to see from Assumption (A2) that \(f'(u)\) is bounded from below. Thus, we can let \(\widetilde{\gamma}=\inf_{u\geq0}f'(u)\). Furthermore, we let \(g_{0}(u)=\alpha u-g(u)\) and \(f_{0}(u)=f(u)+\gamma u\), where \(\alpha=\max_{u\in[0,M_{1}]}g'(u)\), \(M_{1}=\max\{1+M,M_{0}\}\) and
So, \(f_{0}'(u)\geq0\) for all \(u\geq0\). Define \(F: \mathbb{Y}\rightarrow \mathbb{Y}\) by
Then boundary value problem (3.1) can be rewritten as
For any constant C, we always denote by Ĉ a constant function on Ω̅ taking the value C. Then, by Lemma 2.3 of [10], the operator F is positive and monotone in the order interval \([\widehat{0},\widehat{M_{1}}]\). Now, we consider the following integral equation:
where
Motivated by [10] (Section 2), we assume that the constant γ satisfies
-
(A6)
$$ \gamma\in \textstyle\begin{cases} \{\lambda\in\mathbb{R}|0\leq\lambda\leq\frac{d}{\eta}e^{-(\frac{\alpha \eta}{d}+1)}\},& \mbox{if } \eta>0, \\ \{\lambda\in\mathbb{R}|0\leq\lambda< +\infty\},& \mbox{if } \eta=0, \end{cases} $$(3.8)
where γ∈ denotes the real number γ belonging to the next set of real numbers. By similar arguments as in the proof of [10] (Lemmas 2.7, 2.8 and Theorem 2.9), we obtain the following results.
Lemma 3.1
If \(u\in\mathbb{Y}\) is a solution to (3.5), then it is also a solution to (3.6) and vice versa.
Lemma 3.2
If (A6) holds, then \(k(\eta,x,y)>0\) for all \(x,y\in\Omega\).
Theorem 3.2
If (A1)-(A6) hold, and
then (3.1) has a unique positive solution.
4 Global attractivity
In this section, we establish the global attractivity of the positive equilibrium \(u^{*}\) to (1.2) by developing a new approach.
Lemma 4.1
Assume that (A1)-(A4) hold, and let \(u(t,x)\equiv u(t,x,\varphi)\) be the solution to (1.2) with \(\varphi\in\mathbb{C}^{+}\). Then \(u(t,x)\) satisfies
Here, we have extended \(\varphi(t)\) to \([-\tau,\infty)\) by making it zero for \(t>0\). The real numbers α and γ are defined in Section 3. The operator F is given in (3.4), that is, for any \(t>0\),
And the kernel functions \(\mathcal{K}(t,x,y)\) and \(\mathcal {K}_{1}(t,x,y)\) are given by
and
where
and
Proof
Since \(\mathbb{Y}\subset L^{2}(\overline{\Omega})\), for each \(t\geq0\), there exist real numbers \(a_{n}(t)\) and \(b_{n}(t)\), \(n=1,2,\ldots \) , such that
and
Therefore, by (4.7), (4.8) and (1.2), we have
and
By using the variation-of-constants formula for the nonhomogeneous linear delay differential equation (see, e.g., Section 4.2 of [29]), we obtain
Here, \(K_{n}(t)\) and \(\widetilde{\gamma}_{n}\) are given in (4.5) and (4.6), respectively, and
Thus, by (4.7), (4.9), (4.10), (4.12) and (4.13), we have
Therefore, (4.1) follows immediately from (4.3), (4.4) and (4.14). The proof is completed. □
Lemma 4.2
Let
where \(\gamma_{1}>0\), \(\theta\in[0,1]\) and \(l=0,1,2,\ldots\) . If \(\gamma_{1}\leq e^{-1}\), then \(\mathfrak{L}_{l}(\theta)>0\).
Proof
Let
Then \(\Gamma_{0}(\theta)=e^{\theta}\) is positive and monotone nondecreasing in the interval \([0,1]\). Assume that \(\Gamma_{l}(\theta)\) is positive and monotone nondecreasing for all \(\theta\in[0,1]\). Next, we will prove that \(\Gamma_{l+1}(\theta)\) is positive and monotone nondecreasing for all \(\theta\in[0,1]\). In fact, since
and
we have
that is,
It follows from (4.18) and the monotonicity of \(\Gamma_{l}(\theta)\) that
Thus, \(\Gamma_{l+1}(\theta)\) increases with \(\theta\in[0,1]\). Moveover, by (4.17), we know that \(\Gamma_{l+1}(\theta)>0\) for all \(\theta\in[0,1]\). It follows from induction that \(\Gamma_{l}(\theta)>0\) for all \(\theta\in [0,1]\) and \(l=0,1,2,\ldots\) . So, \(\mathfrak{L}_{l}(\theta)>0\) for all \(\theta\in[0,1]\) and \(l=0,1,2,\ldots\) . The proof is completed. □
Lemma 4.3
Assume that \(\mathcal{K}(s,x,y)\) and \(k(\eta,x,y)\) are given by (4.3) and (3.7), respectively. Then
Proof
By (4.3), we have
where \(l\tau\leq s<(l+1)\tau\), \(l=0,1,2,\ldots \) . Let
where \(l,j=0,1,2,\ldots \) . Then
It follows from (4.20) and (4.22) that
The proof is completed. □
Lemma 4.4
If
and \(\eta=d\tau\), then
for all \(t\in(0,+\infty)\) and \(x,y\in\Omega\).
Proof
Let \(t=(l+\theta)\tau\). Then, by (4.5), we have \(\theta\in[0,1)\). By (4.3), (4.15) and \(\eta=d\tau\), we obtain that
where \(\gamma_{1}=\gamma\tau e^{\alpha\tau}\). Thus, (4.25) follows immediately from (4.24), (4.26) and Lemma 4.2. The proof is completed. □
By Lemma 4.4, we have the following lemma.
Lemma 4.5
If (4.24) holds, then there exist two constants \(\overline{\varepsilon}>0\) and \(\underline{\varepsilon}>0\) such that (4.25) holds for all \(-\underline{\varepsilon}<\eta-d\tau<\overline{\varepsilon}\).
Let
where \(\theta\in[0,1)\), \(\varepsilon\in\mathbb{R}\), \(n=1,2,\ldots \) and \(l=0,1,2,\ldots \) . By Lemma 4.5, we can define
and
where \(\mathbb{N}\) is the set of natural numbers. Furthermore, we assume that
-
(A7)
γ and η satisfy (4.24) and \(d\tau-\underline {\varepsilon}_{0}<\eta<d\tau+\overline{\varepsilon}_{0}\), respectively.
Then, by Lemmas 4.3 and 4.5, we have the following lemma.
Lemma 4.6
If (A7) holds, then \(\mathcal{K}(t,x,y)>0\) and \(k(\eta,x,y)>0\) for all \(t>0\) and \(x,y\in \Omega\).
Next, we prove our main result in this section.
Theorem 4.1
Assume that \(h_{1}(0)e^{-\eta\xi_{1}}>d\xi_{1}+h_{2}(0)\). If (A1)-(A5) and (A7) hold, then (1.2) admits a unique positive equilibrium \(u^{*}\) and
for every \(\varphi\in\mathbb{C}^{+}\) with \(\varphi(0,\cdot)\not\equiv0\), where \(u(t,\varphi)\) is the solution to (1.2).
Proof
By Lemma 4.6 and Theorem 3.2, we know that (1.2) has a unique positive equilibrium \(u^{*}\). By Lemma 2.1, it is sufficient to prove that the unique positive equilibrium \(u^{*}\) is globally attractive in \(\mathbb{C}_{[0,M+1]}\setminus\{0\}\), where
For any given \(\varphi\in\mathbb{C}_{[0,M+1]}\setminus\{0\}\), (4.1) holds. Let
Then, by Lemmas 2.1 and 2.2, there exists a constant \(\delta>0\) such that
where \(\psi^{*}\) is given in Lemma 2.2. On the other hand, note that \(F(u)\) is nondecreasing in \(u\in[0,M+1]\). Thus, by Fatou’s lemma, Lemmas 4.3 and 4.6, we further get
Thus, \(u^{\infty}(x)\) is a sub-solution to (3.6). Similarly, \(u_{\infty}(x)\) is a super-solution to (3.6). Let \(\underline{u}(x)=\epsilon\psi_{1}(x)\) and \(\overline{u}(x)=\widehat {M_{1}}\), where \(M_{1}\) is given in Section 3 and ϵ is a sufficiently small positive number such that \(\epsilon \psi_{1}(x)\leq\delta\psi^{*}(x)\) for all \(x\in\Omega\). By similar arguments as in the proof of [10] (Theorem 2.9), we obtain that \(\underline{u}\) and u̅ are the sub-solution and super-solution of (3.6), respectively. Furthermore, by employing a standard super- and sub-solution argument, we know that (3.6) has at least one positive solution \(\underline{u}^{*}\) in the order interval \([\underline{u}, u_{\infty}]\). Similarly, (3.6) admits at least one positive solution \(\overline {u}^{*}\) in the order interval \([u^{\infty}, \overline{u}]\). By Lemmas 3.1, 4.6 and Theorem 3.2, \(\underline{u}^{*}=\overline{u}^{*}=u^{*}\). Thus, \(u_{\infty}=u^{\infty}=u^{*}\). This implies that
It remains to prove that \(\lim_{t\rightarrow+\infty}u(t,x)=u^{*}(x)\) uniformly for \(x\in\overline{\Omega}\). For any \(\phi\in\omega(\varphi)\), there exists a sequence \(t_{n}\rightarrow +\infty\) such that \(\Psi(t_{n})\varphi\rightarrow\phi\) in \(\mathbb{C}_{[0,M+1]}\) as \(n\rightarrow\infty\). Then we obtain that
uniformly for \((\theta,x)\in[-\tau,0]\times\overline{\Omega}\). It follows from (4.32) that \(\phi(\theta,x)=u^{*}(x)\) for all \((\theta,x)\in[-\tau,0]\times\overline{\Omega}\). Thus, we obtain that \(\omega(\varphi)=\{u^{*}\}\), which implies that \(u(t,\cdot,\varphi)\) converges to \(u^{*}\) in \(\mathbb{Y}\) as \(t\rightarrow+\infty\). The proof is completed. □
5 Examples
In this section, we present two examples to illustrate our main results.
First we consider the following local Nicholson’s blowfly equation:
Here, \(d>0\), \(\alpha>0\) and \(f_{1}(w)=\varepsilon pue^{-qu}\) which is referred to as Ricker’s birth function in population dynamics (see, e.g., [5–11, 30–33]), where \(\varepsilon>0\), \(p>0\) and \(q>0\).
By Lemma 2.2, Theorems 3.1, 3.2 and 4.1, we have the following.
Proposition 5.1
-
(i)
If \(\varepsilon p\leq\alpha\), then (5.1) has no positive steady state.
-
(ii)
If \(\varepsilon p>\alpha\), then (5.1) has a unique positive steady state \(u^{*}\).
Proposition 5.2
-
(i)
If \(\varepsilon p<\alpha\), then \(\lim_{t\rightarrow+\infty}\| u(t,\varphi)\|_{\mathbb{Y}}=0\) for every \(\varphi\in\mathbb{C}^{+}\), where \(u(t,\phi)\) is the solution to (5.1).
-
(ii)
If \(\alpha<\varepsilon p\leq\tau^{-1}e^{1-\alpha\tau}\) and \(0< d< d_{0}\), where
$$\begin{aligned}& d_{0}=\sup \Biggl\{ \lambda\in\mathbb{R}^{+}\Big|\sum _{n=1}^{+\infty}\mathfrak {L}_{0ln}(\lambda, \theta)\psi_{n}(x)\psi_{n}(y)>0, \forall x,y\in\Omega,l\in \mathbb{N},\theta\in[0,1) \Biggr\} , \end{aligned}$$(5.2)$$\begin{aligned}& \mathfrak{L}_{0ln}(\lambda,\theta)=\sum_{j=0}^{l} \frac {1}{j!}\bigl(-\varepsilon p\tau e^{\alpha\tau-2}\bigr)^{j}(l+ \theta-j)^{j}e^{-\lambda \tau(l+\theta-j)\xi_{n}} \end{aligned}$$(5.3)and \(\mathbb{N}\) is the set of natural numbers, then (5.1) admits a unique positive steady state \(u^{*}\) and \(\lim_{t\rightarrow+\infty}\|u(t,\varphi)-u^{*}\|_{\mathbb{Y}}=0\) for every \(\varphi\in\mathbb{C}^{+}\) with \(\varphi(0,\cdot)\not\equiv0\).
Remark 5.1
When \(\tau\rightarrow0^{+}\), (5.1) reduces to the following local reaction-diffusion equation:
By Propositions 5.1 and 5.2, we obtain a threshold type result, that is, if \(\varepsilon p<\alpha\), then \(\lim_{t\rightarrow+\infty}\|u(t,\varphi )\|_{\mathbb{Y}}=0\) for every \(\varphi\in\mathbb{Y}^{+}\), and if \(\varepsilon p>\alpha\), then (5.4) admits a unique positive steady state \(u^{*}\) and \(\lim_{t\rightarrow+\infty}\|u(t,\varphi)-u^{*}\|_{\mathbb{Y}}=0\) for every \(\varphi\in\mathbb{Y}^{+}\) with \(\varphi(\cdot)\not\equiv0\), where \(u(t,\varphi)\) is the solution to (5.4).
The second example is the following nonlocal Mackey-Glass equation:
Here, \(d>0\), \(\alpha>0\), \(\eta>0\), \(f_{2}(u)=\frac{pu}{q+u^{\beta}}\), \(p>0\), \(q>0\), \(\beta>0\) and
This nonlinear function \(f_{2}(u)\) was used as the production function for blood cells in [34], and has since been widely adapted; see, e.g., [7–11, 30, 33] and the references therein.
By Lemma 2.2, Theorems 3.1, 3.2 and 4.1, we have the following.
Proposition 5.3
-
(i)
If \(\frac{p}{q}\leq(d+\alpha)e^{\eta}\), then (5.5) has no positive steady state.
-
(ii)
If
$$ \frac{p}{q}\in \textstyle\begin{cases} \{\lambda\in\mathbb{R}|(d+\alpha)e^{\eta}< \lambda< +\infty \},& \textit{if } 0< \beta\leq1, \\ \{\lambda\in\mathbb{R}|(d+\alpha)e^{\eta}< \lambda\leq\frac{4d\beta }{\eta(\beta-1)^{2}}e^{-(\frac{\eta}{d}\alpha+1)} \},& \textit{if } \beta>1, \end{cases} $$(5.6)then (5.5) has a unique positive steady state \(u^{*}\).
Proposition 5.4
-
(i)
If \(\frac{p}{q}<(d+\alpha)e^{\eta}\), then \(\lim_{t\rightarrow +\infty}\|u(t,\varphi)\|_{\mathbb{Y}}=0\) for every \(\varphi\in\mathbb {C}^{+}\), where \(u(t,\varphi)\) is the solution to (5.5).
-
(ii)
Let
$$\begin{aligned}& \underline{\varepsilon}_{1}=\sup \Biggl\{ \varepsilon\in\mathbb{R}^{+} \Big| \sum_{n=1}^{+\infty}\mathfrak{L}_{1ln}( \theta,-\varepsilon)\sin nx\sin ny>0, \\& \hphantom{\underline{\varepsilon}_{1}={}}{}\forall x,y\in[0,\pi], l\in\mathbb{N}, \theta\in[0,1) \Biggr\} , \end{aligned}$$(5.7)$$\begin{aligned}& \overline{\varepsilon}_{1}=\sup \Biggl\{ \varepsilon\in\mathbb{R}^{+}\Big| \sum_{n=1}^{+\infty}\mathfrak{L}_{1ln}( \theta,\varepsilon)\sin nx\sin ny>0, \\& \hphantom{\overline{\varepsilon}_{1}={}}{} \forall x,y\in[0,\pi], l\in\mathbb{N}, \theta \in[0,1) \Biggr\} , \end{aligned}$$(5.8)where
$$ \mathfrak{L}_{1ln}(\theta,\varepsilon)=\sum _{j=0}^{l}\frac {1}{j!}(-\tau p)^{j}(l+\theta-j)^{j}(\beta-1)^{2j}(4q \beta)^{-j}e^{\alpha \tau j} e^{-(\varepsilon j+d\tau(l+\theta))n^{2}}, $$(5.9)and \(\mathbb{N}\) is the set of natural numbers. If
$$ \frac{p}{q}\in \textstyle\begin{cases} \{\lambda\in\mathbb{R}|(d+\alpha)e^{\eta}< \lambda< +\infty \},& \textit{if } 0< \beta\leq1, \\ \{\lambda\in\mathbb{R}|(d+\alpha)e^{\eta}< \lambda\leq\frac{4\beta }{\tau(\beta-1)^{2}}e^{-(\alpha\tau+1)} \},& \textit{if } \beta>1, \end{cases} $$(5.10)and
$$ \eta\in \textstyle\begin{cases} \mathbb{R},&\textit{if } 0< \beta\leq1, \\ \{\lambda\in\mathbb{R}|d\tau-\underline{\varepsilon}_{1}< \lambda < d\tau+\overline{\varepsilon}_{1} \},& \textit{if } \beta>1, \end{cases} $$(5.11)then (5.5) admits a unique positive steady state \(u^{*}\) and \(\lim_{t\rightarrow+\infty}\|u(t,\varphi)-u^{*}\|_{\mathbb{Y}}=0\) for every \(\varphi\in\mathbb{C}^{+}\) with \(\varphi(0,\cdot)\not\equiv0\).
6 Conclusion
In this paper, we have proved the nonexistence, existence, uniqueness and global attractivity of positive steady state for (1.1). Our results extend almost all the related existing studies on the non-monotone time-delayed reaction-diffusion equations. In particular, developed is a technique that combines the method of super-sub solutions, the variation-of-constants formula for the delay differential equation and the estimation of integral kernels, which enables us to obtain some sufficient conditions for the global attractiveness of the unique positive steady state for (1.1). Furthermore, it seems that the above technique can also be applied to the case of general delayed differential systems. Thus, the results obtained in this paper are interesting, and the approaches used to prove the main results are novel. In the future, we will consider the global dynamics for a large class of delayed differential systems with spatial non-locality by using the above technique.
References
Metz, JAJ, Diekmann, O (eds.): The Dynamics of Physiologically Structured Populations. Springer, New York (1986)
Gourley, SA, Wu, J: Delayed non-local diffusive systems in biological invasion and disease spread. In: Brunner, H, Zhao, X-Q, Zou, X (eds.) Nonlinear Dynamics and Evolution Equations. Fields Inst. Commun., vol. 48, pp. 137-200 (2006)
Xu, D, Zhao, X-Q: A nonlocal reaction-diffusion population model with stage structure. Can. Appl. Math. Q. 11, 303-319 (2003)
Guo, Z, Yang, ZC, Zou, X: Existence and uniqueness of positive solution to a non-local differential equation with homogeneous Dirichlet boundary condition: a non-monotone case. Commun. Pure Appl. Anal. 11, 1825-1838 (2012)
Liang, D, So, JW-H, Zhang, F, Zou, X: Population dynamic models with nonlocal delay on bounded fields and their numerical computations. Differ. Equ. Dyn. Syst. 11, 117-139 (2003)
Yi, T, Zou, X: Global attractivity of the diffusive Nicholson blowflies equation with Neumann boundary condition: a nonmonotone case. J. Differ. Equ. 245, 3376-3388 (2008)
Yi, T, Zou, X: On Dirichlet problem for a class of delayed reaction-diffusion equations with spatial non-locality. J. Dyn. Differ. Equ. 25, 959-979 (2013)
Yuan, Y, Guo, Z: Global asymptotic stability in a class of reaction-diffusion equations with time delay. Abstr. Appl. Anal. 2014, Article ID 378172 (2014)
Yuan, Y, Guo, Z: Global dynamics of a nonlocal population model with age structure in a bounded domain: a non-monotone case. Sci. China Math. 58, 2145-2166 (2015)
Yuan, Y, Guo, Z, Tang, M: A nonlocal diffusion population model with age structure and Dirichlet boundary condition. Commun. Pure Appl. Anal. 14, 2095-2115 (2015)
Zhao, X-Q: Global attractivity in a class of nonmonotone reaction diffusion equations with time delay. Can. Appl. Math. Q. 17, 271-281 (2009)
Thieme, HR, Zhao, X-Q: A non-local delayed and diffusive predator-prey model. Nonlinear Anal., Real World Appl. 2, 145-160 (2001)
Evans, LC: Partial Differential Equations. Graduate Studies in Mathematics, vol. 19. Am. Math. Soc., Providence (1998)
Gurney, WSC, Blythe, SP, Nisbet, RM: Nicholson’s blowflies revisited. Nature 287, 17-21 (1980)
Cooke, K, van den Driessche, P, Zou, X: Interaction of maturation delay and nonlinear birth in population and epidemic models. J. Math. Biol. 39, 332-352 (1999)
Faria, T: Asymptotic stability for delayed logistic type equations. Math. Comput. Model. 43, 433-445 (2006)
Györi, I, Trofimchuk, S: Global attractivity in \(x'(t)=-\delta x(t)+pf(x(t-\tau))\). Dyn. Syst. Appl. 8, 197-210 (1999)
Ivanov, AF, Sharkovsky, AN: Oscillations in singularly perturbed delay equations. Dyn. Rep. 1, 164-224 (1992)
Krisztin, T: Global dynamics of delay differential equations. Period. Math. Hung. 56, 83-95 (2008)
Krisztin, T, Walther, H-O, Wu, J: Shape, Smoothness and Invariant Stratification of an Attracting Set for Delayed Monotone Positive Feedback. Am. Math. Soc., Providence (1999)
Liz, E: Four theorems and one conjecture on the global asymptotic stability of delay differential equations. In: The First 60 Years of Nonlinear Analysis of Jean Mawhin, pp. 117-129. World Scientific, Singapore (2004)
Liz, E, Rost, G: On the global attractivity of delay differential equations with unimodel feedback. Discrete Contin. Dyn. Syst. 24, 1215-1224 (2009)
Röst, G, Wu, J: Domain-decomposition method for the global dynamics of delay differential equations with unimodal feedback. Proc. R. Soc. Lond. Ser. A 463, 2655-2669 (2007)
Walther, H-O: The 2-dimensional attractor of \(x'(t)=-x(t)+f(x(t-1))\). Mem. Am. Math. Soc. 113, 554 (1995)
Smith, HL: Monotone Dynamical Systems: An Introduction to the Theory of Competitive and Cooperative Systems. Mathematical Surveys and Monographs, vol. 41. Am. Math. Soc., Providence (1995)
Wu, J: Theory and Applications of Partial Functional Differential Equations. Appl. Math. Sci., vol. 119. Springer, New York (1996)
Martin, RH, Smith, HL: Abstract functional differential equations and reaction-diffusion systems. Trans. Am. Math. Soc. 321, 1-44 (1990)
Amann, H: Fixed point equations and nonlinear eigenvalue problems in ordered Banach space. SIAM Rev. 18, 620-709 (1976)
Smith, H: An Introduction to Delay Differential Equations with Applications to the Life Sciences. Texts in Applied Mathematics, vol. 57. Springer, New York (2011)
Chern, I-L, Mei, M, Yang, X, Zhang, Q: Stability of non-monotone critical traveling waves for reaction-diffusion equations with time-delay. J. Differ. Equ. 259, 1503-1541 (2015)
Liu, Y, Yu, Z, Xia, J: Exponential stability of traveling waves for non-monotone delayed reaction-diffusion equations. Electron. J. Differ. Equ. 2016, 86 (2016)
So, JW-H, Wu, J, Zou, X: A reaction diffusion model for a single species with age structure - I. Traveling wave fronts on unbounded domains. Proc. R. Soc. Lond. A 457, 1841-1853 (2001)
Yi, T, Chen, Y, Wu, J: Unimodal dynamical systems: comparison principles, spreading speeds and travelling waves. J. Differ. Equ. 254, 3538-3572 (2013)
Mackey, MC, Glass, L: Oscillation and chaos in physiological control systems. Science 197, 287-289 (1977)
Acknowledgements
The first author was partially supported by the National Natural Science Foundation of China (No. 11561068) and China Postdoctoral Science Foundation (2016M592442). The second author was partially supported by the National Natural Science Foundation of China (No. 11671403) and Mathematics and Interdisciplinary Sciences project of CSU.
Author information
Authors and Affiliations
Contributions
All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
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.
About this article
Cite this article
Yuan, Y., Chen, H. Global dynamics for a class of non-monotone time-delayed reaction-diffusion equations. Adv Differ Equ 2018, 55 (2018). https://doi.org/10.1186/s13662-018-1496-z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-018-1496-z