Abstract
We describe the behaviour of solutions of a scalar Delay Differential Equation (DDE) with delay that periodically switches between two constant values. Such an equation arises naturally from structured vector populations involved in a range of vector-borne diseases spreading in a periodically varying environment. We examine if and how the two different time lags and the switching time influence the existence and patterns of periodic solutions. We pay particular attention to the patterns involving multi-cycles within the prime period of the periodic solutions.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
Introduction
We consider the following scalar differential equation
with a piecewise nonlinear feedback
and a temporally varying delay that periodically switches between two values \(\tau _2\) and \(\tau _1\):
Here d, \(\tau _2\), \(\beta >0\); \(T> \gamma > 0\) are given constants. We denote by \(\tau _{\max } := \max (\beta \tau _2, \tau _2)\) and \(\tau _{\min } := \min (\beta \tau _2, \tau _2)\).
Our study on such a scalar delay differential equation with periodically switching delays is motivated by the issue of development diapause [1] in tick population dynamics and its implication for tick-borne disease transmission dynamics. In [2], we proposed and examined a mechanistic model for reproduced egg population dynamics, where two constant time lags were involved, one stood for the normal development delay and another for the diapause development delay. In reality, tick lifecycle is sensitive to the environmental conditions such as the temperature and humidity, which are normally seasonal but can also be periodically interrupted by other climate cycles such as El Ni\({\tilde{n}}\)o [3, 4]. The seasonal variation of the temperature has been commonly reflected in the periodicity of development rates in tick population and tick-borne disease transmission dynamics in ordinary differential equation (ODE) models [5,6,7,8,9]. The influence of seasonal variation of temperature on development delays was modelled in the paper [10]. Here, for the first time to our best knowledge, we use a delay differential equation with periodic switching delay to model the temporally periodic switching from normal to diapause development. In our formulation, we have already normalized the system so the nonlinearity represents a negative feedback at the normalized equilibrium. Our focus here is to see if this format of simplified model can generate complicated patterns of oscillations in the vector (tick) population.
Model Overview
We consider model (1) subject to an initial condition
Due to the nonlinearity of f, this initial value problem (IVP) (1) and (3) can be solved iteratively by connecting solutions of the linear ODEs
and
along the time sequences when the solution of the ODEs changes their signs.
For the sake of reference, we note that the IVP
admits the unique solution
Note also that the solution of (1) satisfies
from which and using a comparison argument, we obtain that the solution of (1) uniquely exists for all \(t \ge 0\) and it is bounded (\(\limsup _{t \rightarrow \infty }|x(t)| \le 1/d\)).
We also note that due to the symmetry of f, if we let \(x^\pm (t)\) be the solutions for (1) with the initial conditions
and
then \(x^+(t)= - x^-(t)\) for \(t \ge 0\).
Note the nature of the negative feedback:
This means that the solution will start decreasing at \(t=0\) at least until it reaches the x-axis faster than the line \(y=-x\) as shown below:
These properties, together with non-zero initial conditions, guarantee that the solution x(t) of (1) will oscillate around the only equilibrium \(x=0\) of the model.
Behaviours of Solutions
We start by introducing relevant notations to be used throughout the remaining part of the paper.
For a given solution x(t) of (1), we consider the set S containing the non-negative times when the solution crosses the x-axis:
We introduce the following notations:
-
(i)
\(t_i^*\) represents the i-th ordered element of S (i.e. the i-th time in which the solution intersects with the x-axis).
-
(ii)
\(\hat{t_i}\): for a given \(t_i^*\) so that \(x(t_i^*)=0\), the IVP of ODE
$$\begin{aligned} {\left\{ \begin{array}{ll} x'(t) = - d x(t) - 1 \\ x(t_i^*)=0, \end{array}\right. } \end{aligned}$$(4)has the solution \(x(t)=\frac{1}{d}(e^{-d (t-t_i^*)}-1)\). We define \(\hat{t_i} \in (t_i^*,t_{i+1}^*)\) such that the IVP
$$\begin{aligned} {\left\{ \begin{array}{ll} x'(t) = - d x(t) + 1 \\ x(\hat{t_i})= \frac{1}{d}(e^{-d (\hat{t_i}-t_i^*)}-1), \end{array}\right. } \end{aligned}$$(5)satisfies \(x(t_{i+1}^*)=0\). Note that in the case of a single monotonicity change of the solution x(t) to ODE (1) in \((t_i^*,t_{i+1}^*)\), \(\hat{t_i}\) is the time corresponding to the local maximum or minimum.
-
(iii)
\(\mathring{t_i} := \hat{t_i} - t_i^*\).
-
(iv)
the cycle and cycle length: we call the restriction of x(t) on \([t_{2i-1}^*, t_{2i+1}^*]\) the i-th cycle, the length of the i-th cycle is denoted by \(T_i:=t_{2i+1}^* - t_{2i-1}^*\).
In order to study how the solution x(t) to (1) starts oscillating around \(x=0\), we search for the possible values of \(t_i^*\) and \(\mathring{t_i}\) in a simplified case in which the parameters satisfy three conditions:
-
(C1)
\(\beta <1\);
-
(C2)
\((1-\beta ) \tau _2 < \min (\gamma , T-\gamma )\);
-
(C3)
\(\beta > \frac{{\tiny }\left[ \ln (1+e^{d \tau _2}) - \ln (2)\right] }{d \tau _2}\).
(C1) is natural as \(\tau _{\text {min}}=\beta \tau _2\) and \(\tau _{\text {max}}=\tau _2\). (C2) is necessary to avoid multiple switchings of delay in \([t_i^*+\beta \tau _2, t_i^*+\tau _2]\) and (C3) will be used to guarantee \(t_i^*+\tau _2<t_{i+1}^*\). Note that (C1) and (C2) are satisfied in case \(\tau _{\max } - \tau _{\min } < \min (\gamma , T - \gamma )\) and (C3) is satisfied if \(d\tau _{\max }=d\tau _2\) is sufficiently large. These conditions can be equivalently rewritten in terms of \(\tau _1\) and \(\tau _2\) since \(\beta =\tau _1/\tau _2\) as:
-
(C1*)
\(\tau _1 < \tau _2\);
-
(C2*)
\(\tau _1 > \tau _2 - \min (\gamma , T-\gamma )\);
-
(C3*)
\(\tau _1 > \frac{1}{d} [\ln (1+e^{d\tau _2}) - \ln (2)]\).
In Fig. 1 there is an example of delays that satisfy these three conditions where parameter values are chosen to be constant: \(\beta =0.6\), \(\tau _2=3\), \(d=0.1\), \(T=8.6295\).
We have shown that the value of function f determines the monotonicity of the solution x(t) of (1). In this case, (3) guarantees that \(f(x(t-\tau (t)))\) would be negative and solution will be decreasing in \([0,\tilde{t_1}]\) with
which is equivalent to asking
Therefore \(\tilde{t_1} \in [t_1^*+ \beta \tau _2, t_1^*+ \tau _2]\). Adopting the method of steps, we note that solving (1) in \([0,\tilde{t_1}]\) is equivalent to solving the following IVP of the ODE
We know that the unique solution of (6) is given by
It is possible to extract the value of \(t_1^*\) by considering \(y^-(t_1^*)=0\) in Eq. (7). Therefore,
We note that \(t_1^*\) is independent from the parameters T, \(\tau _2\), \(\alpha \), \(\beta \) and consider \(t_1^*=0\) whenever \(k_0=0\).
At this point, we would like to analyse \(\hat{t_1} \in [t_1^*,t_2^*]\). We know the solution continues decreasing after \(t_1^*\), it follows directly that
and \(x(\hat{t_1})<0\).
Lemma 1
If \((1 - \beta ) \tau _2 < \min (\gamma , T-\gamma )\) , then for every i we have that \(\tau (t)\) defined in (2) cannot change value more than once in \([t_i^* + \beta \tau _2, t_i^* + \tau _2]\).
Proof
We prove this by way of contradiction. Suppose that \(\tau (t)\) changes value at least twice in \([t_i^* + \beta \tau _2, t_i^* + \tau _2]\) and we want to reach a contradiction by using (C2). The length of the interval aforementioned is \(t_1=(1-\beta ) \tau _2\). We know from (2) that \(\tau (t)\) changes value periodically and alternately after \(\gamma \) and \(T-\gamma \). This means that both time intervals above have to be smaller than or equal to \(t_1\). In other words,
This completes the proof. \(\square \)
Lemma 2
If \(\beta > \frac{{\tiny }\left[ \ln (1+e^{d \tau _2}) - \ln (2)\right] }{d \tau _2}\), then for every i we have \(t_i^* + \tau _2 <t_{i+1}^*\).
Proof
We prove this statement by induction; first we show that it is true for \(i=1\). The basic idea is to consider the case in which solution changes monotonicity at the earliest moment possible \(\hat{t_1}=t_1^*+\beta \tau _2\) and impose the condition \(x(t_1^* + \tau _2)<0\). Using the method of steps, we consider the IVP of ODE (6) in \([t_1^*,t_1^* + \beta \tau _2]\) and we compute \(x(t_1^* + \beta \tau _2)\) by substituting \(\hat{t_1}= t_1^* + \beta \tau _2\), which yields
Then we compute the solution to (5) to obtain
Imposing \(x(t_1^* + \tau _2)<0\), we have
By solving the inequality, we have
which is exactly what we need in order for \(t_1^*+\tau _2<t_2^*\).
Now let \(t_i^* + \tau _2 <t_{i+1}^*\) be true for i. We aim to prove it holds also for \(i+1\) or in other words that
Since \(t_i^* + \tau _2 <t_{i+1}^*\) holds, x(t) has the same monotonicity for t in \([t_{i+1}^*,t_{i+1}^* + \beta \tau _2)\). This leads to two possible cases:
Case 1-x(t) is decreasing in the aforementioned interval, therefore
Case 2-x(t) is increasing in the aforementioned interval, therefore
Similarly to \(i=1\), we consider the case in which the solution changes monotonicity at the earliest moment possible \(t=t_i^*+\beta \tau _2\).
Case 1 : (8) holds if \(x(t_i^* + \tau _2) < 0\), when the solution increases in \([t_i^* + \beta \tau _2, t_i^* + \tau _2]\). This is analogous as the case for \(i=1\). Therefore
Case 2 : (8) holds if \(x(t_i^* + \tau _2) > 0\), when solution decreases in \([t_i^* + \beta \tau _2 ,t_i^* + \tau _2]\).
Let \(y(t)=-x(t)\) and note that conditions on y(t) are equivalent as in the case above. \(\square \)
Note that Lemma 2 guarantees that for all \(t \in (0,\tau _2]\)
This is a really important property since it guarantees that the changes of monotonicity can be confined to the interval \([t_i^* + \beta \tau _2, t_i^* + \tau _2]\) and
Now we start computing \(\mathring{t_i}\) for (1) with parameters satisfying (C1), (C2) and (C3). Using (9) and the symmetry of the system we can consider, without loss of generality, i to be odd which yields:
Lemma 2 guarantees that the solution x(t) of (1), and therefore \(\mathring{t_i}\), depend on the value of \(\tau (t)\) for \(t \in [t_i^* + \beta \tau _2, t_i^* + \tau _2]\). In addition Lemma 1 shows that \(\tau (t)\) can change value maximum once in the aforementioned interval.
This leads to four possible different scenarios:
-
(S1)
\(\tau (t_i^* + \beta \tau _2) = \tau _2 \Longleftrightarrow \mod (t_i^* + \beta \tau _2, T) \ge \gamma \).
-
(S1a)
\(\tau (t_i^* + t) = \tau _2, \quad \forall t \in [\beta \tau _2, \tau _2]\).
-
(S1b)
\(\exists \tilde{t_i} \in (\beta \tau _2, \tau _2)\) such that
\(\tau (t_i^* + t) = \tau _2, \quad \forall t \in [\beta \tau _2, \tilde{t_i})\),
\(\tau (t_i^* + t) = \beta \tau _2, \quad \forall t \in (\tilde{t_i}, \tau _2]\).
-
(S1a)
-
(S2)
\(\tau (t_i^* + \beta \tau _2) = \beta \tau _2 \Longleftrightarrow \mod (t_i^* + \beta \tau _2, T) < \gamma \).
-
(S2a)
\(\tau (t_i^* + t) = \beta \tau _2, \quad \forall t \in [\beta \tau _2, \tau _2]\).
-
(S2b)
\(\exists \tilde{t_i} \in (\beta \tau _2, \tau _2)\) such that
\(\tau (t_i^* + t) = \beta \tau _2, \quad \forall t \in [\beta \tau _2, \tilde{t_i})\),
\(\tau (t_i^* + t) = \tau _2, \quad \forall t \in (\tilde{t_i}, \tau _2]\).
-
(S2a)
We study the monotonicity of x(t) for \(t \in [t_i^*+\beta \tau _2,t_i^*+\tau _2]\) which depends on the sign of \(f(x(t-\tau (t)))=- \text {sgn} (x(t-\tau (t)))\).
In case (S1a),
x(t) is thus decreasing in \([t_i^*,t_i^* + \tau _2)\) and then increasing in \((t_i^*+\tau _2,t_{i+1}^*]\). There is a unique change of monotonicity so \({\hat{t}}_i=t_i^* + \tau _2\) and \(\mathring{t}_i=\tau _2\).
In case (S1b), x(t) decreases in \([t_i^* + \beta \tau _2, \tilde{t_i}]\) and in the delay changing point, it starts increasing since
Moreover \(\mathring{t}_i=\tilde{t_i}-t_i^*\), since it is the time when the unique monotonicity change occurs and \(\hat{t_i}= cT\) for some natural number c.
In case (S2a),
x(t) is thus increasing in \([t_i^*+\beta \tau _2 ,t_{i+1}^*)\). The change of monotonicity occurs in \(\hat{t_i}=t_i^* + \beta \tau _2\) and \(\mathring{t}_i=\beta \tau _2\).
In these three cases, we can use the method of steps and consider the IVP of the ODE (4) in \([t_i^*,t_i^* + \mathring{t}_i]\) and we substitute \(\hat{t_i}= t_i^* + \mathring{t}_i\) to yield:
In case (S2b), there is a triple change of monotonicity since
Let \(\breve{t_i}:= \tilde{t_i}-t_i^*\). As in case (S2a), the first monotonicity change of x(t) occurs at \(t = t_i^* + \beta \tau _2\) where the solution increases until it reaches \({\tilde{t}}_i\). At this point, \(\tau ({\tilde{t}}_i)=\tau _2\) and this change in delay forces the solution to decrease again until it reaches \(t_i^* + \tau _2\) and then finally increases in \([t_i^* + \tau _2, t_{i+1}^*]\).
We aim to calculate \(\hat{t_i}\) in this scenario. The first step consists of calculating \(t_{i+1}^*\). We note that, similarly as in case (S2a), we have \(x(t_i^* + \beta \tau _2) = \frac{1}{d} \left( e^{-d \beta \tau _2} - 1\right) \). Then we consider the IVP below in \([t_i^* + \beta \tau _2, \tilde{t_i}]\):
which yields the solution
So
Now consider the following system in \([{\tilde{t}}_i, t_i^* + \tau _2]\):
Its solution is given by
and
where we omit the details of the computation.
Finally, we consider the increasing system in \([t_i^*+ \tau _2,t_{i+1}^*]\):
with its solution given by
By imposing \(x(t_{i+1}^*)=0\) in the above equation, we get
At this point, we solve for \({\hat{t}}_i\) by considering the increasing system for t in \([\hat{t_i},t_{i+1}^*]\) described in (5). The solution of
is given by
In the same way, we impose \(x(t_{i+1}^*)=0\) to yield
Now we can find \(\mathring{t}_i\) by equaling the two quantities derived for \(t_{i+1}^*\).
Note that the equation above (11) includes scenarios (S1a) when \(\breve{t_i}=\beta \tau _2\), and (S2a) when \(\breve{t_i}=\tau _2\).
Proposition 1
Let x(t) be the solution to (1) where the parameters satisfy the following assumption:
Then
Moreover,
-
(1)
If \(\beta <1\), \(\mathring{t}_k\) can be calculated exactly if and only if \(\check{t}=cT+\gamma \) is not in \([t_k^*+\beta \tau _2, t_k^* + \tau _2], \; \; \forall c \in {\mathbb {N}}\).
-
(2)
If \(\beta >1\), \(\mathring{t}_k\) can be calculated exactly if and only if \(\check{t}=dT\) is not in \([t_k^*+ \tau _2, t_k^* + \beta \tau _2], \; \; \forall d \in {\mathbb {N}}\).
Proof
Condition (12) guarantees that \(\hat{t_i}<t_{i+1}^*\) for all i. The first inequality derives directly from lemma 2 when \(\beta <1\) since
while the second part of the inequality occurs when \(\beta >1\) and is computed in a similar way. Condition (14) is enough to guarantee equality (10); therefore we apply (10) iteratively \(i-j\) times and end up with (13).
Moreover, there is a single change of monotonicity in \([t_k^*,t_{k+1}^*]\) when the delay \(\tau (t)\) defined in (2) does not change from \(\tau _{\min }\) to \(\tau _{\max }\) in the interval \([t_k^*+\tau _{\min },t_k^*+ \tau _{\max }]\). Only when this happens, we can calculate \(\mathring{t}_k\) analytically (i.e. this corresponds to scenarios (S1) or (S2a) in case \(\beta <1\)), otherwise we should adopt a procedure similar to scenario (S2b) to calculate it numerically. \(\square \)
Searching for Periodic Solutions
In this section, we use the method of steps to solve (1) with initial condition (3) where \(k_0=0\) without loss of generality, and find its periodic solutions.
We define an m-cycle periodic solution of period P of (1) to be a periodic solution of period \(P=t_{j+2m+1}^*-t_{j+1}^*\) for all natural j. We are searching for the periodic solutions that complete m cycles in one period.
Theorem 1
Consider the following Delay Differential Equation:
where
and
for d, \(\tau _2\), \(\beta >0\); \(T> \gamma > 0\) where \(\tau _{\max } := \max (\beta \tau _2, \tau _2)\) and \(\tau _{\min } := \min (\beta \tau _2, \tau _2)\).
Moreover, let \(\tau _2, \beta , d, \gamma \) satisfy inequality (12) and let \(l \in {\mathbb {Q}}\) be such that \(l=\frac{m}{n}\) and \(\text {gcd}(m,n)=1\) for \(m, n \in {\mathbb {N}}\) and suppose the parameters satisfy
Then there exists a T such that (15) yields an m-cycle periodic solution of period nT.
Before proving the Theorem, we analyse the two conditions assumed and explain why they are relevant.
As seen in Proposition 1, the first condition (12) guarantees that \(\hat{t_i}<t_{i+1}^*\) for all i. Note that this condition limits the values of \(\beta \) which should be “close enough” to one; this can be translated by asking that the two switching delays should not differ by much.
Lemma 3
If condition (16) is not satisfied, then there is no m -cycle periodic solution of period nT for the system (15).
Proof
Suppose that condition (16) does not hold or equivalently
In this case \(\tau (t)=\beta \tau _2\) for all \(t \in [0,2 l \, (\beta \tau _2 + \frac{1}{d} \ln (2 - e^{-d \beta \tau _2}))]\) which yields:
This choice of T contradicts with the assumption \((\gamma <T)\), thus there is no m-cycle periodic solution of period nT for the system (15). \(\square \)
Proof
of Theorem 1—Since condition (12) holds, we can apply Proposition 1 to obtain
If there exists a T that satisfies (17), we know that \(\tau (t_{2m+1}^*+t)=\tau (t_1^*+t)\) for all \(t \ge 0\) so it is an m-cycle periodic solution of period \(t_{2m+1}^* - t_{1}^* = nT\).
This is equivalent to showing that the function
contains at least one root.
We analyse the periodic solutions separately if l is natural or not. a) Periodic solutions for \(l \in {\mathbb {N}}\) (i.e. \(n=1\)). It is important to note that \(\mathring{t}_k\) does not depend on T for \(k \le 2m\), thus we can study each of the \(\mathring{t}_k\) separately. This leads to the possibility of simplifying (17) into
and the choice of T would be unique since the right hand side is a constant given all the other parameters.
The calculation of \(\mathring{t_k}\) depends on the choice of \(\gamma \):
-
(1)
\(\gamma \ge \tau _2 + (k-1)\beta \tau _2 + \frac{k-1}{d} \ln (2-e^{-d\beta \tau _2}) \Longrightarrow \mathring{t}_k = \beta \tau _2\).
-
(2)
\(\gamma \le k \beta \tau _2 + \frac{k-1}{d} \ln (2-e^{-d\beta \tau _2}) \Longrightarrow \mathring{t}_k = \tau _2\).
-
(3)
Otherwise \(\mathring{t}_k \in (\tau _{\min }, \tau _{\max })\) and this can be branched into two further cases:
-
(a)
\(\beta >1 \rightarrow \mathring{t}_k = \gamma - t_k^*\).
-
(b)
\(\beta <1 \rightarrow \mathring{t}_k\) is calculated numerically using (11).
-
(a)
Note that there is a maximum \(\mathring{t}_k\) that falls into 3) and happens if \(\gamma \in [\mathring{t_k}+\beta \tau _2, \mathring{t_k}+\tau _2]\). We are able to predict in this case all the other \(\mathring{t}_k\) without further calculations since:
\(j<k \Longrightarrow \mathring{t_j}=\beta \tau _2\); \(k<j<2m+1 \Longrightarrow \mathring{t_j}= \tau _2\).
(b) Periodic solutions in all other cases \((l \in {\mathbb {Q}} \setminus {\mathbb {N}})\). This time \(\mathring{t_k}\) are functions of T which complicates the problem of searching for a root of (18).
We first consider the continuity of \(\mathring{t_1}(T)\) with respect to T. We want to prove that given \(T>0\) and for \(\epsilon >0\),
If no change of delay occurs in \([\beta \tau _2, \tau _2]\), there always exists a small enough \(\epsilon \) such that
and continuity is verified easily.
We now study the subcase in which \(\beta <1\) and there is exactly one change in delay in \([\beta \tau _2, \tau _2]\), given T. This can be further subdivided into scenarios (S1b) and (S2b) of Sect. 3:
(S1b) occurs when \(\mathring{t}_1(T) = \mu T\) for some \(\mu \in {\mathbb {N}}\). We can always find a small enough \(\epsilon \) such that \(\mathring{t}_1(T-\epsilon ) = \mu (T - \epsilon )\) and \(\mathring{t}_1(T + \epsilon ) = \mu (T + \epsilon )\). So the continuity holds as \(\epsilon \rightarrow 0\).
(S2b) occurs when there is a change of monotonicity at \(\mu T + \gamma \) for some \(\mu \in {\mathbb {N}}\). We can always find a small enough \(\epsilon \) such that \({\tilde{t}}_1(T - \epsilon ) = \mu (T-\epsilon ) + \gamma \) and \({\tilde{t}}_1(T + \epsilon ) = \mu (T+\epsilon ) + \gamma \). Let
and
Note that \(h_1(x)\) and \(h_2({\tilde{t}})\) are continuous functions with respect to x and \({\tilde{t}}\) respectively. But \(\mu \) is finite, therefore if \(\epsilon \rightarrow 0\),
Using (11), we get the following three equations:
Since the right hand side of all equations converges to the same quantity as \(\epsilon \rightarrow 0\) and \(h_1(x)\) is continuous, then \(\mathring{t_1}(T)\) is also a continuous function. At this point, it is clear that the continuity can be generalized for multiple delay changes, for cases where \(\beta >1\) and for \(\mathring{t_k}(T)\) with \(k \in \{1,\ldots ,2m\}\).
In particular, g(T) defined in (18) is a continuous function with respect to T since it is a composition of continuous functions. Moreover, condition (12) guarantees that \(\tau _{\min } \le \mathring{t_k}(T) \le \tau _{\max }\) so we can consider the following:
-
(1)
\(T_{\min }=2l \left[ \tau _{\min } + \frac{1}{d} \ln \left( 2 - e^{-d \tau _{\min }}\right) \right] \),
-
(2)
\(T_{\max }=2l \left[ \tau _{\max } + \frac{1}{d} \ln \left( 2 - e^{-d \tau _{\max }}\right) \right] \).
Note that the continuous function g satisfies \(g(T_{\min }) \le 0\) and \(g(T_{\max }) \ge 0\). Therefore we can apply the Intermediate Value Theorem which states that there exists at least one \({\hat{T}} \in [T_{\min },T_{\max }]\) such that \(g({\hat{T}})=0\).
This \({\hat{T}}\) will yield an m-cycle periodic solution of period nT we are searching for and this proves the Theorem. \(\square \)
The delay-change period T can be approximated numerically by considering a grid of values for \(I=[T_{\min },T_{\max }]\) and choosing the value that minimizes |g(T)|.
Theorem 2
Consider equation (15) with known parameters \(\tau _2\) , \(\beta \) , d and T satisfying condition (12) of Theorem 1and the following condition:
Then there exists a \(\gamma \) such that (15) yields an m -cycle periodic solution of period nT.
The proof is similar to Theorem 1 where the main step is to show that \(\mathring{t}_k(\gamma )\) is a continuous function for \(k \in \{1,\ldots ,2m\}\) and we choose to omit it.
Theorems 1 and 2 show that under certain conditions, it is possible to find coexisting periodic solutions with different periods and cycles by varying just one of the switching-delay related parameters.
Numerical Experiments
In this section we provide some simulations using Matlab to obtain different multi-cycle periodic solutions using Theorem 1 as explained above.
We assume in all the plots that three of the parameters are always fixed: \(\beta =0.6\), \(\tau _2=3\), \(d=0.1\). Then we choose \(\gamma \) satisfying condition (16); in the first two cases \(\gamma =3\), in the rest we choose a larger \(\gamma =8\) to demonstrate interesting dynamics. We also introduce dashed lines at \(y=nT\) to show the period of each solution.
The parameters that vary throughout these plots are m and n which regulate the behaviour of solutions since we aim to search for an m-cycle periodic solution of period nT. In these simulations T is computed numerically and our method proves to be rather stable in identifying multi-cycle periodic solutions.
The two plots in Fig. 2 show two of the possible 1-cycle periodic solutions of (15) which are obtained by choosing \(n=1\) and \(n=2\) respectively. Important to notice is that the two solutions yield different behaviours since the solution in the right panel presents two extrema in every period with the same absolute value but this does not occur in the left panel because the maxima presents a higher absolute value.
The two plots in Fig. 3 show examples of 2-cycle periodic solutions of (15). In this case, it is interesting to note how the two solutions present similar behaviour and their period is just slightly different.
The two plots in Fig. 4 represent different 3-cycle periodic solutions of (15) where \(\gamma =8\). Note that the peaks of the solutions are the same since all parameters are the same; the only thing that differs are the peak patterns since the former presents two global maxima and minima in every period while the latter just one of both. The two plots in Fig. 5 represent different 5-cycle periodic solutions of (15). Interesting to note is the fact that the plot on the right presents additional oscillations since one of the local peaks undergoes periodically through a triple change of monotonicity. This happens since that special case identifies with scenario (S2b) of Sect. 3 (Fig. 5).
Conclusion
We have introduced a DDE model with periodic switching delays and described the behaviour of some solutions induced by its negative feedback. In particular, we know that the solutions are always bounded and, under relevant conditions on the parameters, the existence of multi-cycle periodic solutions can occur. The main condition requires that the two switching delays, which can be considered for example in the tick population egg dynamics in [2] as the normal and diapause delay, should be close enough to each other. This guarantees that its dynamics can be studied analytically and in the case where the two delays tend to coincide, we can approximate their dynamics to a single-delay population model which has already been analysed by [11].
The model studied in this paper can be used in several applications in different fields [12], so it would be useful to study the implications of its dynamics case by case. It is though necessary in first place to expand our research on these examples of periodic delay-switching DDEs as studied by [13] and have a better understanding of its theoretical results. In this direction, we would like to further analyse this model by considering the effects of perturbation on these periodic solutions and dropping some of the simplifying assumptions on the model (for example considering f to be continuous).
References
Gray, J.S., Kahl, O., Lane, R.S., Levin, M.L., Tsao, J.I.: Diapause in ticks of the medically important Ixodes ricinus species complex. Ticks Tick-borne Dis. 7, 992–1003 (2016)
Zhang, X., Wu, J.: Critical diapause portion for oscillations: parametric trigonometric functions and their applications for Hopf bifurcation analyses. Math. Methods Appl. Sci. 42(5), 1363–1376 (2015)
Maloney, E.D.: The moist static energy budget of a composite tropical intraseasonal oscillation in a climate model. J. Clim. 22(3), 711–729 (2009)
Ghil, M., Zaliapin, I., Thompson, S.: A delay differential model of ENSO variability: parametric instability and the distribution of extremes. Nonlinear Process. Geophys. 15, 417–433 (2008)
Wu, X., Duvvuri, V.R., Lou, Y., Ogden, N.H., Pelcat, Y., Wu, J.: Developing a temperature-driven map of the basic reproductive number of the emerging tick vector of Lyme disease Ixodes scapularis in Canada. J. Theor. Biol. 319, 50–61 (2013)
Zhang, Y., Zhao, X.: A reaction-diffusion Lyme disease model with seasonality. SIAM J. Appl. Math. 73(6), 2077–2099 (2013)
Wang, X., Zhao, X.: Dynamics of a time-delayed Lyme disease model with seasonality. SIAM J. Appl. Dyn. Syst. 16(2), 853–881 (2017)
Nah, K., Magpantay, F.M.G., Bede-Fazekas, Á., Röst, G., Trájer, A.J., Wu, X., Zhang, X., Wu, J.: Assessing systemic and non-systemic transmission risk of tick-borne encephalitis virus in Hungary. PLoS ONE 14(6), e0217206 (2019)
Li, S., Gilbert, L., Harrison, P.A., Rounsevell, M.D.A.: Modelling the seasonality of Lyme disease risk and the potential impacts of a warming climate within the heterogeneous landscapes of Scotland. J. R. Soc. Interface 13(116), 20160140 (2016)
Wu, X., Magpantay, F.M.G., Wu, J., Zou, X.: Stage-structured population systems with temporally periodic delay. Math. Methods Appl. Sci. 38(16), 3464–3481 (2015)
Mackey, M.C., Tyran-Kaminska, M., Walther, H.O.: Response of an oscillatory differential delay equation to a single stimulus. J. Math. Biol. 74, 1139–1196 (2017)
Freedman, H.I., Wu, J.: Periodic solutions of single-species models with periodic delay. SIAM J. Math. Anal. 23(3), 689–701 (1992)
De Souza, D.C., Mackey, M.C.: Response of an oscillatory differential delay equation to a periodic stimulus. J. Math. Biol. 78, 1637–1679 (2019)
Acknowledgements
This research has been supported by the Natural Science Foundation of China Grant (11701072) and the Canada Research Chair Program (230720).
Author information
Authors and Affiliations
Corresponding author
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
Tosato, M., Zhang, X. & Wu, J. Multi-cycle Periodic Solutions of a Differential Equation with Delay that Switches Periodically. Differ Equ Dyn Syst 31, 529–546 (2023). https://doi.org/10.1007/s12591-020-00536-6
Published:
Issue Date:
DOI: https://doi.org/10.1007/s12591-020-00536-6