Abstract
In this paper, we provide sharp criteria of global attraction for a class of non-autonomous reaction–diffusion equations with delay and Neumann conditions. Our methodology is based on a subtle combination of some dynamical system tools and the maximum principle for parabolic equations. It is worth mentioning that our results are achieved under very weak and verifiable conditions. We apply our results to a wide variety of classical models, including the non-autonomous variants of Nicholson’s equation or the Mackey–Glass model. In some cases, our technique gives the optimal conditions for the global attraction.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In the last decades, delay differential equations have been largely employed in the study of population dynamics, infectious diseases, or neural networks [4, 16, 19, 21, 22]. The use of time delays naturally arises to describe the maturation time of biological species, the incubation time of some diseases, or the maturation time of blood cells. One of the most celebrated equations is the Nicholson’s blowfly equation
In (1), u(t) is the size of the mature blowfly population at time t, p is the maximum per-capita daily egg production rate, \(\frac{1}{q}\) is the size at which the fly reproduces at its maximum rate, \(\tau \) is the maturation time and r is a per-capita death rate. With remarkable precision, Gurney et al. [7] used model (1) to explain the oscillations recorded in Nicholson’s laboratory experiments [12]. A remarkable fact is that (1) can be derived from the classical McKendrick–von Forester equations
with
see [16]. In (2), b(M(t)) is the birth rate function, and M(t) denotes the total population size of mature individuals. This remark indicates that (1) is a solid modeling framework, not restricted to the evolution of blowflies. However, when (1) is employed to study a population in a non-laboratory ecosystem, the introduction of diffusion terms associated with the movement of individuals seems a natural modification of (1), see [18, 24,25,26,27]. In this context, if the immature individuals do not diffuse but the mature ones do, we arrive at the model
for all \(t\ge 0\) where \(\Omega \subset \mathbb {R}^{N}\) is a connected and bounded domain with smooth boundary. We stress that the Neumann boundary condition indicates that the individuals of the population do not cross the boundary of the domain. It is worth noting that equations of the form
with a general \(f:[0,+\infty )\longrightarrow [0,+\infty )\) are of paramount importance in many contexts, see, for instance, the celebrated Mackey–Glass equation [5, 19]. For (4), we can introduce diffusion terms as we did with (1) and we arrive at model
A key issue associated with (5) is to provide sharp sufficient conditions for the existence of a globally attracting non-trivial equilibrium. When f is increasing, the powerful theory of monotone systems can be employed and (5) typically exhibits simple dynamics [19, 20]. However, when f is non-monotone, the theory of monotone dynamical systems does not work, and the study of (5) becomes more subtle. In a series of papers, Yi and Zou [24,25,26,27] focused on this problem by combining dynamical systems arguments and some sharp inequalities. Their approach allows us to deduce nice results on the global dynamical picture of model (3), (see also [28] and the references therein). For example, it was shown that the best delay-independent condition of global attraction in (1) is also valid in (3). From this analysis, the model exhibits a transcritical bifurcation at the origin. If \(\frac{p}{q}<1\), there is global extinction, whereas if \(\frac{p}{q}\in (1,e^2)\), there is a globally attracting non-trivial equilibrium.
It is well-known that interactive populations often live in fluctuating environments. For example, biological conditions such as temperature, humidity, or the availability of food resources play a critical role in the evolution of the species and they vary in time in a seasonal or daily manner [1, 10, 13, 17]. On the other hand, seasonality has been observed in the incidence of many infectious diseases, such as measles, chickenpox, etc, [2]. Actually, it is becoming clear the importance of considering nonautonomous variants of (5) in any biological model, see [9, 11] and the references therein. However, the introduction of seasonality adds many difficulties in the mathematical analysis of (5). In particular, the arguments given by Yi and Zou [24,25,26,27] are not valid for nonautonomous equations. At first sight, it is very hard to establish a connection with a discrete equation as they did in [25].
Given the importance of reaction–diffusion equations with delay in practical problems, the literature on this topic is vast, see [6, 10, 11, 21, 22, 24,25,26,27, 30] and the references therein. However, to the best of our knowledge, there is no general and systematic methodology in the literature concerning criteria of global attractivity in (5) with periodic coefficients. To fill this gap, the main objective of this paper is to extend to non-autonomous equations the research conducted by Yi and Zou [24,25,26,27]. Here, there are the four leading ideas:
-
Providing sufficient conditions for the permanence in the non-autonomous counterpart of equation (5).
-
Identifying a class of amenable nonlinearities. This class has been already mentioned by Yi and Zou [24, 27].
-
Employing suitable changes of variables.
-
Using the maximum principle for parabolic equations subtly.
Our results are achieved under very weak and verifiable assumptions. Moreover, the results in [24, 25] are recovered by our general methodology when applied to autonomous equations. From a practical point of view, this paper allows us to investigate the effects of seasonal forcing on classical reaction–diffusion models.
The structure of the paper is as follows. In Sect. 2, we provide some preliminary and basic results. In Sect. 3, we focus on the permanence and global extinction in the nonautonomous counterpart of equation (5). We give the proof of the main results in Sect. 4. Finally, we conclude the paper with the application of our results in classical models. We stress that our approach includes the results deduced from the theory of monotone equations.
2 Mathematical framework, global well-posedness and dissipativity
Consider
for all \(t\ge 0\) where \(\Omega \subset \mathbb {R}^{N}\) is a connected and bounded domain with smooth boundary. The constants d and \(\tau \) are strictly positive. The functions \(a,b:\mathbb {R}\longrightarrow (0,+\infty )\) are continuous, T-periodic and strictly positive. Moreover, \(h:[0,+\infty )\longrightarrow [0,+\infty )\) is a bounded function of class \(\mathcal {C}^{1}\) of the form \(h(x)=xf(x)\) with \(f:[0,+\infty )\longrightarrow (0,+\infty )\) decreasing and \(\lim _{x\rightarrow +\infty } f(x)=0.\) The last line in (6) refers to the homogeneous Neumann boundary condition. Throughout the paper, we will assume the previous conditions without further mention.
Let \(\mathbb {R}_{+}=[0,+\infty )\). We define \(X=\{u:\overline{\Omega }\rightarrow \mathbb {R}:u\;\textrm{continuous}\}\), \(X_{+}=\{u\in X:u(x)\ge 0\;\;\mathrm{for\;all}\;x\in \overline{\Omega }\}\) and \(X_{++}=\{u\in X:u(x)> 0\;\;\mathrm{for\;all}\;x\in \overline{\Omega }\}\). The space X is a Banach space equipped with the max norm \(\Vert \cdot \Vert _{\infty }\). Next we consider \(\mathcal {D}=\{v\in X:\nabla ^2 v\in X\;\;\textrm{and}\;\;n(x).\nabla v(x)=0\;\;\textrm{on}\;x\in \partial \Omega \}\). Given I an interval, \(\mathcal {C}(I,X_{+})\) and \(\mathcal {C}(I,X_{++})\) will denote the space of the continuous functions taking values on \(X_{+}\) and \(X_{++}\), respectively.
Consider the family of operators \(A(t)=d \nabla ^2-a(t) id_{X}\) defined on \(\mathcal {D}\) with \(id_{X}\) the identity in X. Let \(\{U(t)\}\) be the evolution family on X generated by \(\{A(t)\}_{t\in \mathbb {R}}\). By basic results on parabolic equations, see Refs. [15, 29], we have the following properties:
- (P1):
-
U(t) is an analytical and strongly continuous operator for all \(t\ge 0\).
- (P2):
-
\(U(t)(K)=Ke^{-\mathop {\int }\limits _{0}^{t}a(s)ds}\) for any \(K\in \mathbb {R}\) and \(t\ge 0\).
- (P3):
-
\(U(t)(X_{+}\backslash \{0\})\subset X_{++}\) for all \(t>0\).
For any \(\phi ,\psi \in X\), we work with the next ordering relations:
-
If \(\phi -\psi \in X_{+}\), we write \(\phi \ge \psi \).
-
If \(\phi \ge \psi \) and \(\phi \not =\psi \), we write \(\phi >\psi \).
-
If \(\phi -\psi \in X_{++}\), then \(\phi \gg \psi \).
We note that (P3) implies that if \(\phi >\psi \), then \(U(t)\phi \gg U(t)\psi \) for all \(t>0\).
Given an initial data \(\phi \in \mathcal {C}([-\tau ,0],X_{+})\), we consider the integral equation
with \(u^{\phi }(t,\cdot )=\phi (t,\cdot )\) for all \(t\in [-\tau ,0]\). It is well-known that if u is a solution of (6) then u is a solution of (7) as well. Conversely, if u is a solution of (7) and u is of class \(\mathcal {C}^{1}\) in t and of class \(\mathcal {C}^{2}\) in x, then u is a solution of (6). In general, we say that a solution of (7) is a mild solution of (6).
Using that \(b(t)>0\) and \(h(u)\ge 0\) with \(h(u)=0\) if, and only if, \(u=0\), we deduce from (7) (see also (P3)) that any mild solution \(u^{\phi }(t,x)\) with initial data \(\phi \in \mathcal {C}([-\tau ,0],X_{+})\) satisfies that \(u^{\phi }(t,x)\ge 0\) for all \(t\in [-\tau , T_{max})\), \(x\in \overline{\Omega }\) with \([-\tau , T_{max})\) the maximal (right) interval of definition of \(u^{\phi }\). Even more, if \(\phi \in \mathcal {C}([-\tau ,0],X_{++})\), then \(u^{\phi }(t,x)> 0\) for all \(t\in [-\tau , T_{max})\) and \(x\in \overline{\Omega }\). We refer to these last solutions as positive solutions of (6).
Next we check that the solutions of (7) cannot blow up. Take \(\phi \in \mathcal {C}([-\tau ,0],X_{+})\) and three positive constants \(\beta _{1},\beta _{2}\) and \(\beta _{3}\) so that
and
for all \(t,u\in [0,+\infty )\). Using (P2) and (P3), expression (7) implies that
Now, it is clear that the solution \(u^{\phi }(t,x)\) cannot blow up. In addition, for each \(x\in \overline{\Omega }\),
On the other hand, by Corollary 2.2.5 in [29], we have that any mild solution of (6) is a classical solution for \(t> \tau \). From now on, we will simply use the term solution. Collecting the above discussion, we obtain the following result:
Theorem 2.1
For any \(\phi \in \mathcal {C}([-\tau ,0],X_{+})\), Eq. (6) admits a unique classical solution \(u^{\phi }\in \mathcal {C}([\tau ,+\infty ),X_{+})\cap \mathcal {C}^{1}((\tau ,+\infty ),\mathcal {D})\). Moreover, for each \(x\in \overline{\Omega }\), \(\limsup _{t\rightarrow +\infty } u^{\phi }(t,x)\le \beta _{2}\beta _{3}\) with \(\beta _{2}\) and \(\beta _{3}\) satisfying (9).
3 Permanence and global extinction
In this section, we prove that the positive solutions of (6) are separated from zero. To this goal, we introduce an additional condition:
- (C1):
-
$$\begin{aligned} \frac{\min \{b(t):t\in [0,T]\}}{\max \{a(t):t\in [0,T]\}}f(0)>1. \end{aligned}$$
Theorem 3.1
Assume that (C1) holds. Given u(t, x) a positive solution of (6), there exists a constant \(\Lambda >0\) so that
for all \((t,x)\in [-\tau ,+\infty )\times \overline{\Omega }\).
Proof
By Theorem 2.1, we know that u(t, x) is a bounded function. Let M be an upper bound of u. On the other hand, by (C1), we can find two constants \(1>c>0\) and \(\eta >1\) so that
for all \(u\in (0,c]\), or equivalently,
for all \(u\in (0,c]\). Using that f is continuous and strictly positive with \(h(u)=uf(u)\), there exists \(K>0\) so that
for all \(u\in [c,M]\). Now we define
We stress that if \(u\in [\Lambda ,M]\), then
for all \(t\in [0,T]\). To see this claim, we distinguish between two cases:
- Case 1:
-
If \(u\in [\Lambda ,c]\), we know that \(\min \{b(t):t\in [0,T]\} u f(u)>\eta \max \{a(t):t\in [0,T]\} u\) by (11). Since \(\eta >1\), we conclude that \(\min \{b(t):t\in [0,T]\} u f(u)>\max \{a(t):t\in [0,T]\}\Lambda \).
- Case 2:
-
If \(u\in [c,M]\), we have that \(\min \{b(t):t\in [0,T]\} h(u)>K \max \{a(t):t\in [0,T]\}\) as a direct consequence of (12). We deduce that \(\min \{b(t):t\in [0,T]\} h(u)>\Lambda \max \{a(t):t\in [0,T]\}\) by (13).
After these preliminary comments, we prove that u(t, x) cannot reach the value \(\Lambda \). Assume, by contradiction, that there is a first instant \(t_{0}>0\) so that
for some \(x_{0}\in \overline{\Omega }\). With the notation of Sect. 2,
Thus, \(u(t_{0},\cdot )\gg \Lambda \). This is a contradiction. \(\square \)
Remark 3.1
In the previous result, (13) is an explicit lower bound of u(x, t). This bound has three elements: \(\min \left\{ \frac{u(t,x)}{2}:(t,x)\in [-\tau ,\tau ]\times \overline{\Omega }\right\} \), \(\frac{c}{2}\) and K. Informally speaking, condition (11) says that (0, c) is a repulsion region for the origin. We introduce K to avoid returns caused by the delay, see (12).
The next result shows that condition (C1) is close to be a sufficient condition in Theorem 3.1. From a biological point of view, the following result says that if the natality rate is lower than the mortality rate, the population goes to extinction.
Theorem 3.2
Assume that
for all \(t\in [0,T]\). Then, given u(t, x) a positive solution of (6), for each \(x\in \overline{\Omega }\), \(\lim _{t\rightarrow +\infty }u(t,x)=0\).
Proof
First, we pick two constants \(\Gamma _{1},\Gamma _{2}\) so that
and \(\Gamma _{1}<\Gamma _{2}<1\). Fix u(t, x) a positive solution of (6). By Theorem 2.1, we can take \(M>0\) so that \(u(t,x)\le M\) for all \(t\ge -\tau \) and \(x\in \overline{\Omega }\). Let us prove that for each \(n\in \mathbb {N}\), there is \(t_{n}>0\) with \(t_{n}\rightarrow +\infty \) so that \(u(t,x)\le M\Gamma _{2}^{n}\) for all \(t\ge t_{n}\) and \(x\in \overline{\Omega }\). By (7),
Using (P2), (P3), and f strictly decreasing, we have that
Notice that \(\lim _{t\rightarrow +\infty }Me^{-\mathop {\int }\limits _{0}^{t}a(s)\text {d}s}+ (1-e^{-\mathop {\int }\limits _{0}^{t}a(s)\text {d}s})M\Gamma _{1}=M\Gamma _{1}\). Thus, there is \(t_{1}>0\) so that \(u(t,x)\le M\Gamma _{2}\) for all \(t\ge t_{1}\) and \(x\in \overline{\Omega }\). Recall that \(\Gamma _{1}<\Gamma _{2}\). Arguing similarly and using this new information, we deduce that
for all \(t>t_{1}+\tau \). Since \(\lim _{t\rightarrow +\infty } M\Gamma _{2} e^{-\mathop {\int }\limits _{t_{1}+\tau }^{t}a(s)\text {d}s}+ (1-e^{-\mathop {\int }\limits _{t_{1}+\tau }^{t}a(s)\text {d}s})M\Gamma _{2}\Gamma _{1}=M\Gamma _{2}\Gamma _{1}\), we can find \(t_{2}\) large enough so that \(u(t,x)\le M\Gamma _{2}^2\) for all \(t\ge t_{2}\) and \(x\in \overline{\Omega }\). Reiterating this argument, we conclude the proof of the theorem. \(\square \)
Remark 3.2
The theorems of this section can be applied in delay differential equations without diffusion. However, in this context, one can find better conditions for the permanence and extinction of the population in [3, 17]. Specifically, (C1) and (15) can be replaced by \(\min \{\frac{b(t)}{a(t)}:t\in [0,+\infty )\}f(0)>1\) and \(\max \{\frac{b(t)}{a(t)}:t\in [0,+\infty )\}f(0)<1\), respectively.
4 Global attractivity
As a direct consequence of Corollary 3.1 in [3], the equation
admits a T-periodic solution \(y_{*}(t)\) with \(y_{*}(t)>0\) when (C1) is satisfied. To avoid misleading conclusions in the literature, we mention that in [3], the author considered functions satisfying \(h(0)=0\), \(h'(0)=1\) and \(\frac{b(t)}{a(t)}>1\) for all \(t\in [0,T]\). However, Corollary 3.1 in [3] also holds under (C1). Notice that in Theorem 3.1 in [3], she really used a condition weaker than (C1), [see second step (page 519 in [3]) and lines above (3.8) in page 521 in [3]].
In this section we analyze when \(y_{*}(t)\) is globally attracting in (6). First we employ the change of variable
After some straightforward computations, we arrive at
(in the first line \((t,x)\in [0,+\infty )\times \Omega \) and the second line \((t,x)\in [0,+\infty )\times \partial \Omega \)).
The solutions of this problem are defined for all \(t\ge 0\) and are bounded. Moreover, given an initial data \(\varphi \in \mathcal {C}([-\tau ,0]\times \overline{\Omega },(0,+\infty ))\), by Theorem 3.1, there is \(\widetilde{\Lambda }>0\) with \(v^{\varphi }(t,x)>\widetilde{\Lambda }\) for all \((t,x)\in [0,+\infty )\times \overline{\Omega }\). In terms of problem (18), given v(t, x) a positive solution, we prove that for each \(x\in \overline{\Omega }\), \(\lim _{t\rightarrow +\infty }v(t,x)=1\). Notice that this is equivalent to say that, given u(t, x) a positive solution of (6), for each \(x\in \overline{\Omega }\), \(\lim _{t\rightarrow +\infty }[u(t,x)-y_{*}(t)]=0\). Observe that
and \(y_{*}(t)\) is bounded and bounded away from zero.
Let \(Y=\mathcal {C}([-\tau ,0]\times \overline{\Omega },[0,+\infty )))\) be the Banach space with the maximum norm. For convenience, we assume that \(\tau >T\). Otherwise we choose some \(\overline{\tau }>\tau \) and insert Y in \(\mathcal {C}([-\overline{\tau },0]\times \overline{\Omega },[0,+\infty ))\) but we do not alter the delay in (18). We define the Poincaré operator
with \(v_{T}^{\varphi }:[-\tau ,0]\times \overline{\Omega }\rightarrow [0,+\infty )\) given by \(v_{T}^{\varphi }(t,x)=v^{\varphi }(t+T,x)\) for all \((t,x)\in [-\tau ,0]\times \overline{\Omega }\) and \(v^{\varphi }(t,x)\) the solution of (18) with initial condition \(\varphi \). For each \(\varphi \in Y\),
This set is compact and \(P(\omega (\varphi ))=\omega (\varphi )\). Moreover, for every \(\Psi \in \omega (\varphi )\), there is \(v:\mathbb {R}\times \overline{\Omega }\longrightarrow [0,+\infty )\) with \(v_{0}=\Psi \) and \(v_{nT}\in \omega (\varphi )\) for all \(n\in \mathbb {Z}\), see Ref. [8, 23]. In this section, we prove that for each \(\varphi \in \mathcal {C}([-\tau ,0]\times \overline{\Omega }, (0,+\infty ))\), \(\omega (\varphi )=\{1\}\). Notice that if \(\omega (\varphi )=\{1\}\), then, for each \(x\in \overline{\Omega }\),
Indeed, take \(t_{n}\rightarrow +\infty \). Since \(\tau >T\), we can find a sequence \(\{n_{t_{n}}\}\subset \mathbb {N}\) with \(n_{t_{n}}\rightarrow +\infty \) so that
with \(\widetilde{t}_{n}\in [-\tau ,0]\). Using that \(\omega (\varphi )=\{1\}\), we conclude that \(P^{n_{t_{n}}}(\varphi )\rightarrow 1\). In particular, (19) holds.
Next we state a useful lemma in our analysis, (see Ref. [14]).
Lemma 4.1
Let \(T>0\) and \(W\subset \overline{\Omega }\) be an open domain with a smooth boundary \(\partial W\). Let u(t, x) be a continuous function on \([0,T]\times \overline{\Omega }\) with derivatives \(\frac{\partial u}{\partial x_{i}}\), \(\frac{\partial ^2 u}{\partial x_{j} \partial x_{i}}\) and \(\frac{\partial u}{\partial t}\) existing and being continuous on \((0,T]\times \Omega \). Let \(L u(t,x)=d\nabla u^{2}(t,x)-u_{t}(t,x)\). Then, the following claims are satisfied:
- (i):
-
If \(Lu(t,x)>0\) (resp. \(<0\)) for all \((t,x)\in (0,T)\times W\), then u cannot attain a local maximum in \((0,T)\times W\) (resp. local minimum).
- (ii):
-
Suppose that the first derivatives of u with respect to the \(x_{i}\) variable exist and are continuous on \((0,T]\times \overline{\Omega }\). Let \(Lu(t,x)\ge 0\) (resp. \(\le 0\)) for all \((t,x)\in (0,T)\times W\). If there exist \((t^*,x^*)\in (0,T)\times \partial W\) and \(\varepsilon ^*\in (0,T)\) and an open ball \(S^*\subset W\) with \(\partial S^* \cap \partial W= \{x^*\}\) and \(u(t^*,x^*)>u(t,x)\) (resp. \(u(t^*,x^*)<u(t,x)\)) for all \((t,x)\in [t^*-\varepsilon ,t^*+\varepsilon ]\cap S^*\) then \(n(x^*).\nabla u(t^*,x^*)>0\), (resp. \(n(x^*).\nabla u(t^*,x^*)<0\)).
Inspired by Ref. [24, 27], we introduce conditions on f to guarantee the global attraction to 1 in (18). With these assumptions, we are able to derive sharp criteria in considering the classical Nicholson’s blowfly equation or the Mackey–Glass model.
Let \(\theta \) be a positive constant with \(y_*(t)\le \theta \) for all \(t\ge 0\).
- (C2):
-
If \(a,b\ge 0\) satisfy that \(a-1\ge |b-1|\) then,
$$\begin{aligned} \frac{b f(\lambda b)}{f(\lambda )}\le a \end{aligned}$$for all \(\lambda \in (0,\theta ]\). Moreover, \(\frac{bf(\lambda b)}{f(\lambda )}=a\) for some \(\lambda \in (0,\theta ]\) \( \Longleftrightarrow a=b=1\).
- (C3):
-
If \(a,b\ge 0\) satisfy that \(1-a\ge |b-1|\) then,
$$\begin{aligned} \frac{b f(\lambda b)}{f(\lambda )}\ge a \end{aligned}$$for all \(\lambda \in (0,\theta ]\). Moreover, \(\frac{bf(\lambda b)}{f(\lambda )}=a\) for some \(\lambda \in (0,\theta ]\) \( \Longleftrightarrow a=b=1\) or \(a=b=0\).
Now we are ready to give the main result of this section:
Theorem 4.1
Assume that (C1)-(C3) hold. Given \(\phi \in \mathcal {C}([-\tau ,0]\times \overline{\Omega }, (0,+\infty ))\) and \(x\in \overline{\Omega }\), \(\lim _{t\rightarrow +\infty } v^{\phi }(t,x)-1=0\).
Proof
Let
Since \(\omega (\phi )\) is compact, there are \((t_{0},x_{0})\in [-\tau ,0]\times \overline{\Omega }\) and \(\widetilde{\Psi }\in \omega (\phi )\) so that
We recall that \(v^{\widetilde{\Psi }}\) is a solution of (18) in the classical sense defined on \(\mathbb {R}\times \overline{\Omega }\). Moreover, by Theorem 3.1, there exists \(\widetilde{\Gamma }>0\) so that
for all \((t,x)\in \mathbb {R}\times \overline{\Omega }\). Our goal is to prove that \(\Delta =0\). Assume, by contradiction, that \(\Delta >0\). We distinguish among four cases:
Case 1 \(\widetilde{\Psi }(t_{0},x_{0})-1>0\) and \((t_{0},x_{0})\in [-\tau ,0]\times \Omega \).
Notice that \(\widetilde{\Psi }\) attains at \((t_{0},x_{0})\) a local maximum. By the definition of \(\Delta \),
Observe that by \(\tau >T\), \(v^{\widetilde{\Psi }}(t_{0}-\tau ,x_{0})=v^{\widetilde{\Psi }}(t^*-mT,x_{0})\) for suitable \(t^*\in [-\tau ,0]\) and \(m\in \mathbb {N}\). We stress that \(v_{-mT}^{\widetilde{\Psi }}\in \omega (\phi )\) with \(v_{-mT}^{\widetilde{\Psi }}(t,x)=v^{\widetilde{\Psi }}(t-mT,x)\) for \((t,x)\in [-\tau ,0]\times \overline{\Omega }\). Using that \(\widetilde{\Psi }(t_{0},x_{0})\not =1\) and taking \(a=\widetilde{\Psi }(t_{0},x_{0})\), \(b=v^{\widetilde{\Psi }}(t_{0}-\tau ,x_{0})\) and \(\lambda =y_{*}(t_{0}-\tau )\), we deduce by (C2) that
Using this inequality in (18), we have that
In particular, we can achieve this inequality in a neighborhood of \((t_{0},x_{0})\) by continuity. This is a contradiction with Lemma 4.1 because \(v^{\widetilde{\Psi }}(t,x)\) attains a local maximum at \((t_{0},x_{0})\).
Case 2 \(\widetilde{\Psi }(t_{0},x_{0})-1<0\) and \((t_{0},x_{0})\in [-\tau ,0]\times \Omega \).
The argument is the same as in Case 1 replacing local maximum by local minimum.
Case 3 \(\widetilde{\Psi }(t_{0},x_{0})-1>0\) and \((t_{0},x_{0})\in [-\tau ,0]\times \partial \Omega \).
Arguing as in Case 1, we have that \(\widetilde{\Psi }(t_{0},x_{0})\ge v^{\widetilde{\Psi }}(t,x)\) for all \((t,x)\in \mathbb {R}\times \overline{\Omega }\). Moreover,
By continuity and the smoothness of \(\partial \Omega \), there exist \(\varepsilon >0\) and an open ball \(S^{*}\subset \Omega \) such that \(\partial S^{*}\cap \partial \Omega =\{x_{0}\}\) and
for all \((t,x)\in [t_{0}-\varepsilon ,t_{0}+\varepsilon ]\times S^{*}\). From the expression of (18), we obtain that
In particular, we can achieve this inequality in a neighborhood of \((t_{0},x_{0})\) by continuity. This is a contradiction because, by Lemma 4.1, \(n(x_{0})\nabla v^{\widetilde{\Psi }}(t_{0},x_{0})>0\).
Case 4 \(\widetilde{\Psi }(t_{0},x_{0})-1<0\) and \((t_{0},x_{0})\in [-\tau ,0]\times \partial \Omega \).
The argument is the same as Case 3 replacing local maximum by local minimum. \(\square \)
The previous criterion was obtained in periodic delay differential equations without diffusion in Ref. [17]. It is worth noting that the arguments developed in that paper cannot be adapted to (6).
5 Applications
The main goal of this section is to translate the abstract framework of Theorem 4.1 into a more applied one. The next analysis will suggest two important facts:
-
The conditions required in Theorem 4.1 are normally satisfied in classical models.
-
Our approach typically leads to sharp criteria of global attractivity.
In Sect. 5.1, we show that Theorem 4.1 always works when \(h(x)=xf(x)\) is strictly increasing. In particular, our approach includes some powerful results developed from the theory of monotone flows. In Sects. 5.2 and 5.3, we apply Theorem 4.1 when \(h(x)=xe^{-x}\) and \(h(x)=\frac{x}{1+x^2}\), respectively. In our arguments, the derivation of a sharp upper bound for \(y_{*}(t)\) in (17) plays a critical role.
5.1 Monotone growth rates and global attraction
Consider
where \(\Omega \subset \mathbb {R}^{N}\) is a connected and bounded domain with smooth boundary. The constants d and \(\tau \) are strictly positive. The functions \(a,b:\mathbb {R}\longrightarrow (0,+\infty )\) are continuous, T-periodic and strictly positive. The next result shows that when \(h(u)=uf(u)\) is strictly increasing, we expect simple dynamics in (20).
Theorem 5.1
Consider \(u^{\phi }(t,x)\) a solution of (20) with \(\phi \in \mathcal {C}([-\tau ,0],X_{++})\). Assume that h is strictly increasing.
- (i):
-
If (C1) holds, then there is a T-periodic solution \(y_{*}(t)>0\) of
$$\begin{aligned} y'(t)=-a(t)y(t)+b(t)h(y(t-\tau )) \end{aligned}$$(21)so that, for each \(x\in \overline{\Omega }\), \(\lim _{t\rightarrow +\infty }[ u^{\phi }(t,x)-y_{*}(t)]=0\).
- (ii):
-
If (15) holds, then, for each \(x\in \overline{\Omega }\), \(\lim _{t\rightarrow +\infty } u^{\phi }(t,x)=0\).
Proof
To prove this theorem, we realize that f(x) always satisfies conditions (C2) and (C3) for any value of \(\theta \) when \(h(x)=xf(x)\) is strictly increasing. Let us check property (C2). The proof of (C3) is analogous and we omit the details. Take \(a,b\ge 0\) and \(\lambda >0\) with \(a-1\ge |b-1|\). We distinguish between two cases:
Case 1 \(b\ge 1\).
In this case, \(a-1\ge |b-1|\) implies that \(a\ge b\ge 1\). It is clear that
because f is strictly decreasing. Since \(b\le a\), we conclude that
Let us prove the property regarding the equality. Assume that \(bf(\lambda b)=a f(\lambda )\) for some \(\lambda >0\). Let us prove that \(a=b\). Suppose, by contradiction, that \(a>b\). Then, \(bf(\lambda b)=a f(\lambda )\) implies that \(f(\lambda b)>f(\lambda )\). Using that f is strictly decreasing, we deduce that \(\lambda b<\lambda \). This is a contradiction with \(b\ge 1\). Since \(a=b\), we have that \(bf(\lambda b)=bf(\lambda )\). Thus, \(b=1\).
Case 2 \(b\le 1\).
In this case, the condition \(a-1\ge |b-1|\) implies that \(a\ge 2-b\). Let us prove that
or, equivalently,
Using that \(h(x)=xf(x)\) is strictly increasing and \(b\le 1\), we have that \(\lambda bf(\lambda b)\le \lambda f(\lambda ).\) This implies that \( bf(\lambda b)\le f(\lambda )\). Thus,
Now, we focus on the property regarding the equality. Assume that \(bf(\lambda b)=a f(\lambda )\) for some \(\lambda \in (0,\theta ]\). Let us prove that \(a=1\) and \(b=1\). Suppose, by contradiction, that either \(a\not =1\) or \(b\not =1\). Notice that if \(a=1\), then \(b=1\). Analogously, if \(b=1\), \(a=1\). Thus, it is not restrictive to suppose that \(b<1<a\). Since xf(x) is strictly increasing, we have that \(bf(\lambda b)\le a f(\lambda a).\) Hence, \(af(\lambda )\le a f(\lambda a)\). Using that f is strictly decreasing, we obtain that \(a\le 1\), a contradiction.
After the check of (C2) and (C3), the proof of the theorem is a direct consequence of Theorems 3.2 and 4.1. \(\square \)
Remark 5.1
The property regarding the equality discussed in case 1 is valid for any strictly decreasing function f.
A prototype of growth rate for which Theorem 5.1 can be applied is the classical Beverton-Holt function \(h(y)=\frac{y}{k+y}\) with \(k>0\).
5.2 Nicholson blowfly equation with periodic coefficients and diffusion
Consider
where \(\Omega \subset \mathbb {R}^{N}\) is a connected and bounded domain with smooth boundary. The constants d and \(\tau \) are strictly positive. The functions \(a,b:\mathbb {R}\longrightarrow (0,+\infty )\) are continuous, T-periodic and strictly positive. Model (22) can be perceived as the natural extension of the classical Nicholson blowfly equation
when we have into account diffusion and seasonal fluctuations of the environment, see Ref. [3, 17].
Lemma 5.1
For \(\theta =2\), \(f(x)=e^{-x}\) satisfies conditions (C2) and (C3).
Proof
We focus on the proof of (C2). To deduce (C3), we have to repeat the same arguments. Take \(a,b\ge 0\) with \(a-1\ge |b-1|\) and \(\lambda \in (0,2]\). We distinguish between two cases:
Case 1 \(b\ge 1\).
In this case, \(a-1\ge |b-1|\) implies that \(a\ge b\ge 1\). It is clear that
because \(be^{\lambda (1-b)}\le b\) for all \(b\ge 1\).
To check the property regarding the equality for this case, we invoke to Remark 5.1.
Case 2 \(b\le 1\).
In this case, the condition \(a-1\ge |b-1|\) implies that \(a\ge 2-b\). On the other hand,
is equivalent to \(\lambda (1-b)+\ln b\le \ln a\). To guarantee this last inequality, we observe that \(\ln b+\lambda (1-b)\le \ln (2-b)\). Note that \(\varphi (x)=\lambda (1-x)+\ln x-\ln (2-x)\) is strictly increasing in (0, 1) with \(\varphi (1)=0\).
Let us check the property regarding the equality. Assume that \(be^{-\lambda b}=a e^{-\lambda }\) for some \(\lambda \in (0,2]\) with \(a\ge 2-b\). We have to prove that \(a=b=1\). By the previous analysis, if \(be^{-\lambda b}\ge (2-b)e^{-\lambda }\) with \(b\in (0,1]\) then \(b=1\). Now, from \(be^{-\lambda b}=ae^{-\lambda }\) and \(b=1\), we conclude that \(a=1\). \(\square \)
Now we are ready to give the main result of this section:
Theorem 5.2
Consider \(u^{\phi }(t,x)\) a solution of (22) with \(\phi \in \mathcal {C}([-\tau ,0],X_{++})\). Assume that
for all \(t\in [0,T]\).
- (i):
-
If (C1) holds, then there is a T-periodic solution \(y_{*}(t)>0\) of
$$\begin{aligned} y'(t)=-a(t)y(t)+b(t)y(t-\tau )e^{-y(t-\tau )} \end{aligned}$$(24)so that, for each \(x\in \overline{\Omega }\), \(\lim _{t\rightarrow +\infty }[ u^{\phi }(t,x)-y_{*}(t)]=0\).
- (ii):
-
If (15) holds, then, for each \(x\in \overline{\Omega }\), \(\lim _{t\rightarrow +\infty } u^{\phi }(t,x)=0\).
Proof
Let us prove that under (23), \(y_{*}(t)\le 2\) for all \(t\in [0,T]\). Indeed, take \(t_{0}\in [0,T]\) so that
Then,
In particular,
because \(h(y)=ye^{-y}\le e^{-1}\) for all \(y\in [0,+\infty )\). By condition (23), we conclude that \(y_{*}(t)\le 2\) for all \(t\in \mathbb {R}\). Now, the proof of the theorem is a direct consequence of Theorem 3.2, Lemma 5.1 and Theorem 4.1. \(\square \)
The next result shows that a better estimate for an upper bound of \(y_{*}(t)\) leads to a better criterion.
Theorem 5.3
Assume that \(\tau =n T\) with \(n\in \mathbb {N}\) and
for all \(t\in [0,T]\). If (C1) holds, then there is a T-periodic solution \(y_{*}(t)>0\) of
so that, for each \(x\in \overline{\Omega }\), \(\lim _{t\rightarrow +\infty }[ u^{\phi }(t,x)-y_{*}(t)]=0\).
Proof
Let us prove that \(y_{*}(t)\le 2\) for all \(t\in [0,T]\). Take \(t_{0}\in [0,T]\) so that
Then,
Using that \(y_{*}(t)\) is T-periodic and \(\tau =nT\), we conclude that
Thus, \(y_{*}(t_{0})=\ln \frac{b(t_{0})}{a(t_{0})}\). Using (25), we conclude that \(y_{*}(t_{0})\le 2\). The rest of the proof is the same as that in Theorem 5.2\(\square \)
It is worth mentioning that the optimal delay-independent condition of global attraction toward a positive equilibrium in the classical Nicholson’s blowfly equation
is \(a,b>0\) and
Informally speaking, Theorem 5.3 recovers the optimal results of global attraction in (22) in the absence of seasonal fluctuations and diffusion.
5.3 Mackey Glass equations with periodic coefficients and diffusion
Consider
where \(\Omega \subset \mathbb {R}^{N}\) is a connected and bounded domain with smooth boundary. The constants d and \(\tau \) are strictly positive. The functions \(a,b:\mathbb {R}\longrightarrow (0,+\infty )\) are continuous, T-periodic and strictly positive.
Theorem 5.4
Consider \(u^{\phi }(t,x)\) a solution of (27) with \(\phi \in \mathcal {C}([-\tau ,0],X_{++})\).
- (i):
-
If (C1) holds, then there is a T-periodic solution \(y_{*}(t)>0\) of
$$\begin{aligned} y'(t)=-a(t)y(t)+b(t)\frac{y(t-\tau )}{1+y(t-\tau )^2} \end{aligned}$$(28)so that, for each \(x\in \overline{\Omega }\), \(\lim _{t\rightarrow +\infty }[ u^{\phi }(t,x)-y_{*}(t)]=0\).
- (ii):
-
If (15) holds, then, for each \(x\in \overline{\Omega }\), \(\lim _{t\rightarrow +\infty } u^{\phi }(t,x)=0\).
Proof
To prove this theorem we simply observe that \(f(x)=\frac{1}{1+x^2}\) satisfies conditions (C2) and (C3) for any value of \(\theta \). Let us check property (C2). The proof of (C3) is analogous and we omit the details. Take \(a,b\ge 0\) and \(\lambda >0\) with \(a-1\ge |b-1|\). We distinguish between two cases:
Case 1 \(b\ge 1\).
In this case, \(a-1\ge |b-1|\) implies that \(a\ge b\ge 1\). It is clear that
because f is strictly decreasing. Since \(b\le a\), we conclude that
To check the property regarding the equality for this case, we invoke to Remark 5.1.
Case 2 \(b\le 1\).
In this case, the condition \(a-1\ge |b-1|\) implies that \(a\ge 2-b\). Let us prove that
or, equivalently,
To see this claim, we define the function \(g(x)=\frac{x}{1+\lambda ^2 x^2}-\frac{(2-x)}{1+\lambda ^2}.\) Notice that \(g(1)=0\) and g is increasing in (0, 1) for any value of \(\lambda >0\). The proof of the property of the equality is a direct consequence of this analysis. Since \(a\ge 2-b\) and \(b\frac{f(\lambda b)}{f(\lambda )}=2-b\) is satisfied if and, only if, \(b=1\). We deduce that \(b\frac{f(\lambda b)}{f(\lambda )}=a\) if, and only, if \(a=b=1\). \(\square \)
References
Amine, Z., Ortega, R.: A periodic prey-predator system. J. Math. Anal. Appl. 185, 477–489 (1994)
Barrientos, P.G., Rodríguez, J.A., Ruiz-Herrera, A.: Chaotic dynamics in the seasonally forced SIR epidemic model. J. Math. Biol. 75, 1655–1668 (2017)
Faria, T.: Periodic solutions for a non-monotone family of delayed differential equations with applications to Nicholson systems. J. Differ. Equ. 263, 509–533 (2017)
El-Morshedy, H.A., Ruiz-Herrera, A.: Asymptotic convergence in delay differential equations arising in epidemiology and physiology. SIAM J. Appl. Math. 81, 1781–1798 (2021)
El-Morshedy, H.A., Ruiz-Herrera, A.: Geometric methods of global attraction in systems of delay differential equations. J. Differ. Equ. 263, 5968–5986 (2017)
Fang, J., Peng, R., Zhao, X.Q.: Propagation dynamics of a reaction-diffusion equation in a time-periodic shifting environment. J. Math. Pures Appl. 147, 1–28 (2021)
Gurney, W.S.C., Blythe, S.P., Nisbet, R.M.: Nicholson’s blowflies revisited. Nature 287, 17–21 (1980)
Hale, J.K.: Asymptotic Behavior of Dissipative Systems (No. 25). American Mathematical Society, Providence (2010)
Li, F., Zhao, X.-Q.: Global dynamics of a reaction-diffusion model of Zika virus transmission with seasonality. Bull. Math. Biol. 83, 43 (2021)
Lou, Y., Zhao, X.Q.: A theoretical approach to understanding population dynamics with seasonal developmental durations. J. Nonlinear Sci. 27, 573–603 (2017)
Luo, Y., Teng, Z., Zhao, X.-Q.: Transmission dynamics of a general temporal-spatial vector-host epidemic model with an application to the dengue fever in Guangdong, China. Discret. Cont. Dyn. Syst. Ser. B 28, 134–169 (2023)
Nicholson, A.J.: An outline of the dynamics of animal populations. Aust. J. Zool. 2, 9–65 (1954)
Ortega, R.: Variations on Lyapunov’s stability criterion and periodic prey-predator systems. Electron. Res. Arch. 29, 3995–4008 (2021)
Protter, M.H., Weinberger, H.F.: Maximum Principles in Differential Equations. Springer Science and Business Media, Cham (2012)
Pazy, A.: Semigroups of Linear Operators and Applications to Partial Differential Equations. Springer-Verlag, New York (1983)
Ruiz-Herrera, A., Pérez, P., Luis, AM San.: Global stability and oscillations for mosquito population models with diapausing stages. J. Differ. Equ. 337, 483–506 (2022)
Ruiz-Herrera, A.: Non-autonomous differential systems with delays: a global attraction analysis. J. Nonlinear Sci. 32, 47 (2022)
Ruiz-Herrera, A.: Delay reaction-diffusion systems via discrete dynamics. SIAM J. Math. Anal. 52, 6297–6312 (2020)
Smith, H.L.: An introduction to delay differential equations with applications to the life sciences, vol. 57. Springer, New York (2011)
Smith, H.L.: Monotone Dynamical Systems: An Introduction to the Theory of Competitive and Cooperative Systems. American Mathematical Society, New York (2008)
Touaoula, T.M.: Global stability for a class of functional differential equations (application to Nicholson’s blowflies and Mackey–Glass models). Discret. Cont. Dyn. Syst. 38, 4391–4419 (2018)
Touaoula, T.M.: Global dynamics for a class of reaction-diffusion equations with distributed delay and Neumann condition. Commun. Pure Appl. Anal. 19, 2473–2490 (2020)
Travis, C.C., Webb, G.: Existence and stability for partial functional differential equations. Trans. Am. Math. Soc. 200, 395–418 (1974)
Yi, T., Zou, X.: Global attractivity of the diffusive Nicholson blowflies equation with Neumann boundary condition: a non-monotone case. J. Differ. Equ. 245, 3376–3388 (2008)
Yi, T., Zou, X.: Map dynamics versus dynamics of associated delay reaction-diffusion equations with a Neumann condition. Proc. R. Soc. A Math. Phys. Eng. Sci. 466, 2955–2973 (2010)
Yi, T., Zou, X.: Asymptotic behavior, spreading speeds, and traveling waves of nonmonotone dynamical systems. SIAM J. Math. Anal. 47, 3005–3034 (2015)
Yi, T., Chen, Y., Wu, J.: Threshold dynamics of a delayed reaction diffusion equation subject to the Dirichlet condition. J. Biol. Dyn. 3, 331–341 (2009)
Wang, X., Li, Z.: Dynamics for a type of general reaction-diffusion model. Nonlinear Anal. Theory Methods Appl. 67, 2699–2711 (2007)
Wu, J.: Theory and applications of partial functional differential equations. Applied Mathematical Sciences, vol. 119. Springer, New York, NY
Zhang, Z.Y., Liu, Z.H., Miao, X.J., Chen, Y.Z.: Stability analysis of heat flow with boundary time-varying delay effect. Nonlinear Anal. Theory Methods Appl. 73, 1878–1889 (2010)
Funding
Open Access funding provided thanks to the CRUE-CSIC agreement with Springer Nature.
Author information
Authors and Affiliations
Contributions
Both authors made the mathematical analysis and wrote the manuscript.
Corresponding author
Ethics declarations
Conflict of interest
The authors declare no Conflict of interest.
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 licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Ruiz-Herrera, A., Touaoula, T.M. Global attractivity for reaction–diffusion equations with periodic coefficients and time delays. Z. Angew. Math. Phys. 75, 98 (2024). https://doi.org/10.1007/s00033-024-02236-5
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00033-024-02236-5