Abstract
It is well known that differential equations with piecewise constant arguments is a class of functional differential equations, which has fascinated many scholars in recent years. These delay differential equations have been successfully applied to diverse models in real life, especially in biology, physics, economics, etc. In this work, we are interested in the existence and uniqueness of asymptotically almost periodic solution for certain differential equation with piecewise constant arguments. Due to the particularity of the equations, we cannot use the traditional method to convert it into the difference equation with exponential dichotomy. Through constructing Cauchy matrix of the investigated system to find the corresponding Green matrix of the difference equation, we need the concept of exponential dichotomy and the Banach contraction fixed point theorem of the corresponding system. Then we give some sufficient conditions to obtain the existence and uniqueness of asymptotically almost periodic solutions for these systems.
Similar content being viewed by others
1 Introduction
In recent years, the delay differential equations have been successfully applied to various models in many fields, especially in biology, physics, and economy.
In 1977, Myshkis [29] proposed a differential equation with noncontinuous variables
where h is a deviated function with piecewise constant arguments such as \(h(t)=[t]\) or \(h(t)=2[\frac{t+1}{2}]\), \([\cdot]\) denotes the largest integer function. These equations are called differential equations with piecewise constant arguments, abbreviated as DEPCA. The research work on DEPCA was first initiated by Shah and Wiener in 1983 [39]. A year later, Cooke and Wiener studied DEPCA with time delay in their work [13]. Because the differential equation with piecewise constant arguments describes the hybrid dynamical system (continuous and discrete combination) and combines the properties of differential equations and difference equations, so the differential equation with piecewise constant arguments is more abundant than general ordinary differential equation, and it is more difficult to study. DEPCA has shown important applications in medicine, physics, and other scientific fields, which is why DEPCA has attracted so much attention (see [5, 7, 12, 14, 15, 24, 28, 32, 37, 38, 43, 45, 48, 50] and the references therein). Most of these works focused on some qualitative properties of the solutions, such as the existence, uniqueness, boundedness, periodicity, almost periodicity, pseudo-almost periodicity, stability, oscillation, and so on. (see [1, 5, 6, 8–11, 18, 22, 23, 25–27, 30–33, 44, 50, 53, 56, 60, 62, 63, 66] and the references therein).
Compared with the almost periodic solution of the differential equation, the corresponding results of the asymptotically almost periodic solutions are very few. In recent years, the existence of asymptotically almost periodic solution is one of the topics with great interest to many mathematicians in the theory of differential equations (see [16, 17, 19, 32, 35, 40–42, 52, 54, 55, 57–59, 61, 67] and the references therein). Moreover, asymptotically almost periodic function is a generalization of almost periodic function, so it is more general to discuss the asymptotically almost periodic solutions of differential equations in practical problems.
In 2015, Samuel Castillo [8] studied the following systems:
and
where
\(\gamma^{p_{i}}(t)\), \(i=1, 2, \ldots, l\), denotes step functions. Equations (1.1) and (1.2) can be regarded a perturbation of the following linear homogeneous equation:
where the matrices \(A, B: R\rightarrow R^{q\times q}\) and \(f: R\rightarrow R^{q}\) is a continuous function, \(F: R\times R^{q}\rightarrow R^{q}\) is a continuous function and satisfies the Lipschitz condition (see \((H_{5})\)). For \(p\in Z\), let \(\gamma^{p}: R\rightarrow R\) be a step function such that \(\frac{\gamma ^{p}}{J_{n}}=t_{n-p}\), where \(J_{n}=[t_{n}, t_{n+1}]\) for all \(n\in Z\). The author Samuel Castillo [8] gave some sufficient conditions to obtain the existence and uniqueness of the almost periodic solutions for systems (1.1) and (1.2).
Motivated by the paper of Castillo [8], we study the above linear nonhomogeneous system (1.1) and nonlinear nonhomogeneous system (1.2) and get some sufficient conditions of the existence and uniqueness for asymptotically almost periodic solutions. Our results generalize the results in [8].
In order to study equation (1.1), we first study the linear inhomogeneous DEPCA
\(A(\cdot)\) is an almost periodic matrix-valued function, \(B(\cdot)\) is an almost periodic matrix-valued function or an asymptotically almost periodic matrix-valued function, f is an asymptotically almost periodic function.
By the variation of constants formula, a solution y of equation (1.4) is defined on R and satisfies the following equation:
where \(\varPhi(t, s)=\varPhi(t)\varPhi^{-1}(s)\), and \(\varPhi(t)\) is a fundamental matrix of the following system:
in \([n, n+1]\) for all \(n\in Z\). Furthermore, it satisfies \(\varPhi (0)=I\), where I is an identity matrix.
The solution y is continuous on R, and by taking \(t\rightarrow(n+1)^{-}\), we get the difference system
where
By (1.5), \(y=y(t)\) is a solution of (1.4) defined on R if and only if the matrix
is invertible for all \(n\in Z\) and \(t, \tau\in[n, n+1]\), where I is an identity matrix (see [4, 5, 35, 36]). We can obtain the following fundamental matrix:
which is also invertible for all \(n\in Z\) and \(t\in[n, n+1]\). Therefore
is also invertible.
Note that the discrete system
can be obtained by the linear homogeneous system
The discrete solution of (1.7) is the restriction on Z of the continuous solution of (1.4), so these two equations are closely related, which reflects the mixed characteristics of DEPCA. Papaschinopoulos [32, 33] studied the DEPCA and obtained the result on the discrete system with exponential dichotomy and the concept of the corresponding exponential dichotomy. This is a traditional method for studying almost periodic solution or asymptotically almost periodic solution of differential equation.
In this work, we consider a more general \(y_{\gamma}\) and emphasize the behavior of solutions on the points \(t_{n}\). In this case, the concept of traditional exponential dichotomy cannot be directly extended to (1.3). Therefore, we can only define the concept of the corresponding exponential dichotomy of (1.3) by other methods. After that, we can further prove the existence and uniqueness of asymptotically almost periodic solution for linear inhomogeneous system (1.1) (see Theorem 3.3). In addition, by using exponential dichotomy and the Banach contraction fixed point theorem, some sufficient conditions for the existence and uniqueness of asymptotically almost periodic solution for nonlinear nonhomogeneous system (1.2) are obtained (see Theorem 3.5).
The rest of this article is organized as follows: Sect. 2 provides the main definitions, assumptions, propositions, and lemmas that will be used. Section 3 is devoted to the main results of this work, that is, the existence and uniqueness of asymptotically almost periodic solution for system (1.1) and system (1.2).
2 Some definitions and lemmas
In this section, we present some useful definitions, propositions, and lemmas. Before that, the main assumptions of this section are given:
- \((H_{1})\):
-
A and B are almost periodic functions.
- \((H_{2})\):
-
A is an almost periodic function and B is an asymptotically almost periodic function.
- \((H_{3})\):
-
Fix a real-valued sequence \(\{t_{n}\}_{n=-\infty}^{+\infty}\) such that \(t_{n}< t_{n+1}\) and \(t_{n}\rightarrow\pm\infty\) as \(n\rightarrow\pm \infty\). And \(\{t_{n}^{(k)}\}_{n=-\infty}^{+\infty}\) is equipotentially almost periodic for all \(k\in Z\), where \(t_{n}^{(k)}=t_{n+k}-t_{n}\) (see Definition 2.6).
- \((H_{4})\):
-
f is a piecewise asymptotically almost periodic function, namely
$$T(f, \varepsilon)=\biggl\{ \tau\in R: \bigl\vert f(t+\tau)-f(t) \bigr\vert \leq\varepsilon, \forall t\in R-\biggl(\bigcup_{n\in Z}[t_{n}- \varepsilon, t_{n}+\varepsilon]\biggr)\biggr\} $$is relatively dense on R for all \(\varepsilon>0\). And there is \(\delta _{\varepsilon}>0\) such that \(|f(t{'}+\tau{'})-f(t{'})|\leq\varepsilon \) if \(\tau{'}\in R: |\tau{'}|\leq\delta_{\varepsilon}\) and \(t{'}, t{'}+\tau{'}\) is in one of the intervals \([t_{n}, t_{n+1}]\).
- \((H_{5})\):
-
F is uniformly almost periodic on W and satisfies the Lipschitz condition, that is, there is \(L>0\) such that
$$ \bigl\vert F(t, x_{1},\ldots,x_{l})-F(t, y_{1},\ldots,y_{l}) \bigr\vert \leq L\sum _{j=1}^{l} \vert x_{j}-y_{j} \vert $$(2.1)for all \(t\in R\) and \((x_{1},\ldots,x_{l}), (y_{1},\ldots,y_{l})\in W\), where W is a compact subset in \(R^{q}\).
Definition 2.1
([20])
The set \(E\subseteq R\) is called relatively dense if there is a real number \(l>0\) such that \(E\cap[m, m+l]\neq\varnothing\) for all \(m\in R\).
Definition 2.2
([20])
The \(f: R^{q} \rightarrow R^{q}\) is said to be an almost periodic function if the ε-translation set of f
is relatively dense on R for all \(\varepsilon>0\), where τ is ε-period of f. We use \(\operatorname{AP}(R^{q}, R^{q})\) to represent all of these functions.
We use \(C_{0}(R^{q})\) to represent the following set:
Definition 2.3
([65])
The \(f: R^{q} \rightarrow R^{q}\) is said to be an asymptotically almost periodic function if \(f=g+\varphi\), where \(g\in \operatorname{AP}(R^{q}, R^{q})\), \(\varphi\in C_{0}(R^{q})\). We use \(\operatorname{AAP}(R^{q}, R^{q})\) to represent all of these functions.
We use \(C_{0}S(Z, R^{q})\) to represent the following set:
Definition 2.4
([65])
A sequence \(x: Z\rightarrow R^{q}\) is said to be almost periodic if the ε-translation set of x
is relatively dense on Z for all \(\varepsilon>0\), where Z denotes the set of integers. We use \(\operatorname{APS}(Z, R^{q})\) to represent all of these sequences.
Definition 2.5
([65])
The bounded sequence \(x: Z\rightarrow R^{q}\) is said to be asymptotically almost periodic if \(x=x_{1}+x_{2}\), where \(x_{1}\in \operatorname{APS}(Z, R^{q})\), \(x_{2}\in C_{0}S(Z, R^{q})\). We use \(\operatorname{AAPS}(Z, R^{q})\) to represent all of these sequences.
Definition 2.6
([8])
We say that \(\{t_{n}^{(k)}\}_{n=-\infty}^{+\infty}\) is equipotentially almost periodic for all \(k\in Z\) if the set
is relatively dense for all \(\varepsilon>0\).
Definition 2.7
([32])
Let \(C(n)\) be a \(q\times q\) matrix and invertible, we say that the linear difference equation
with exponential dichotomy on Z for all \(n\in Z\). If there are positive constants \(K, \alpha>0\) and projection P (\(P^{2}=P\)) such that
where \(Y(n)\) is a fundamental matrix of (2.2) and satisfies \(Y(0)=I\).
Lemma 2.1
([64])
Assume that\(A(t)\in \operatorname{AP}(R^{q}, R^{q})\), \(B(t)\in \operatorname{AAP}(R^{q}, R^{q})\), \(f(t)\in \operatorname{AAP}(R^{q})\), and the following equation
with exponential dichotomy holds. Then the equation has a unique solution\(y(t)\in \operatorname{AAP}(R^{q})\).
Lemma 2.2
([64])
If\(A(t)\), \(B(t)\), \(f(t)\)are almost periodic functions, then there is a positive number\(M>0\)such that\(\max\{|A(t)|, |B(t)|, |f(t)|\}\leq M\),
-
(1)
there exists\(k_{0}>0\)such that
$$\bigl\vert X(t)X^{-1}(s) \bigr\vert \leq k_{0},\quad 0< t-s\leq1; $$ -
(2)
if\(\tau\in T(A, \varepsilon)\), then
$$\bigl\vert X(t+\tau)X^{-1}(s+\tau)-X(t)X^{-1}(s) \bigr\vert \leq k_{0}\varepsilon e^{M},\quad 0< t-s\leq1, $$where\(X(t)\)is a fundamental matrix of the equation
$$ x{'}=A(t)x $$and satisfies\(X(0)=I\), \(A=A(t)\).
Lemma 2.3
([64])
Let\(A(t)\)be an almost periodic function, \(X(t)\)is a fundamental matrix of the equation\(x{'}=A(t)x\), then\(\{X(n+1)X^{-1}(n): n\in Z\}\)is an almost periodic sequence.
Lemma 2.4
([8])
Ifθis defined as\(\theta=\sup_{n\in Z}(t_{n+1}-t_{n})\), and\(K_{0}=\exp(|A|_{\infty}\theta)\), then\(|X(t, s)|\leq\sqrt{q}K_{0}\)for all\(t, s\in R\)satisfying\(|s-t|\leq \theta\).
Lemma 2.5
([34])
Assume that\((H_{3})\)holds. Let\(\varepsilon>0\), \(\varGamma\subseteq \varGamma_{\varepsilon}\), \(\varGamma\neq\emptyset\)and\(P\subseteq\bigcup_{r\in\varGamma}P_{r}(\varepsilon)\)be such that\(P\cap P_{r}(\varepsilon)\neq\emptyset\)for all\(r\in\varGamma\). Then the setΓis relatively dense if and only ifPis relatively dense.
Lemma 2.6
([8])
-
(a)
If\(f_{1}\), \(f_{2}\)are functions satisfying\((H_{4})\), then given arbitrarily\(\varepsilon>0\), \(\varGamma_{\varepsilon}\cap T(f_{1}, \varepsilon)\cap T(f_{2}, \varepsilon)\)is relatively dense.
-
(b)
If\(\{g_{1}(n)\}_{n=-\infty}^{+\infty}\)and\(\{g_{2}(n)\}_{n=-\infty }^{+\infty}\)are almost periodic sequences, then given arbitrarily\(\varepsilon>0\), \(P_{\varepsilon}\cap T(g_{1}, \varepsilon)\cap T(g_{2}, \varepsilon)\)is relatively dense.
Lemma 2.7
([8])
Considerθdefined in Lemma2.4. Let\(\varepsilon>0\), \(\tau \in\varGamma_{\varepsilon}\cap T(A, \varepsilon)\), and\(p\in P_{\tau}(\varepsilon)\). Then there is\(K'>0\)such that, for all\(n\in Z\),
-
(a)
\(|X(t_{n+p+1}, u+\tau)-X(t_{n+1}, u)|\leq K'\varepsilon\)for all\(u\in[t_{n}, t_{n+1}]\);
-
(b)
\(|X(t+\tau, t_{n+p})-X(t, t_{n})|\leq K'\varepsilon\)for all\(t\in [t_{n}, t_{n+1}]\);
-
(c)
\(|X(t+\tau, s+\tau)-X(t, s)|\leq K'\varepsilon\)for all\(s, t\in R: |t-s|\leq\theta\);
-
(d)
\(|X(t_{n+p+1}, t_{n+p})-X(t_{n+1}, t_{n})|\leq K'\varepsilon\).
3 Main results
3.1 The existence and uniqueness of the asymptotically almost periodic solution for system (1.1)
In this section, we consider a more general \(y_{\gamma}\), where
\(\gamma^{p_{i}}(t)\), \(i=1, 2, \ldots, l\), denotes step functions. This definition of exponential dichotomy has been adapted from (1.3) (Definition2.2) in the paper of Papashinopoulos [32], there \(\gamma=[\cdot]\). Here, it is an exponential dichotomy for (2.2), which is not obvious to be extended for (1.3) in [32] in terms of \(Z(t, s)\) except for the cases where the projection for exponential dichotomy commutes with \(A(t)\) and \(B(t)\). Therefore, we try to convert the exponential dichotomy of the corresponding (1.3) in [32] by other methods.
Next, we study a Cauchy operator for the linear part of (1.3).
Let X be a fundamental matrix of the following linear homogeneous system:
and \(X(t, s)=X(t)X(s)^{-1}\). Now we follow [4] to say what is the Cauchy matrix for (1.3).
For \(n\in Z\), \(t\in J_{n}\) satisfies \(t\geq s\). Let \(Z_{n}(t)=X(t, t_{n})J_{n}(t)\), where
Assume that \((A)\): \(J_{n}(t)\) is invertible for all \(n\in Z\) and \(t\in [t_{n}, t_{n+1}]\). Let
for all \(n\in Z\). For \(\tau\in R\), let \(k(\tau)\in Z\) such that \(\tau \in J_{k(\tau)}\). Consider \(t>s\) such that \(k(t)>k(s)\). Then we define
If \(t\leq s\), by condition \((A)\), \(Z(t, s)=Z(s, t)^{-1}\) is well defined. Therefore, \(Z(t, s)\) is the Cauchy matrix for (1.3) and bounded (see [2, 3, 36, 39, 46, 47, 49–51]).
In fact,
for all \(t, s\in J_{n}\). Consequently, \(Z(t, s)\) is bounded.
Consider the difference equation
Notice that if \(z: R\rightarrow C\), and z is a solution of (1.3), then \(\phi(n)=z(t_{n})\) is a solution of (3.4).
- \((H_{6})\):
-
Assume that (3.4) has an exponential dichotomy.
According to Definition 2.1, assumption \((H_{6})\) is equivalent to that there are a projection \(\varPi: R^{q}\rightarrow R^{q}\) and positive constants \(\rho, K>0\) with \(\rho<1\) such that
for all \(n, k\in Z: \pm(n-k)\leq0\), where
and Π is a projection operator (\(\varPi=\varPi^{2}\)), Φ is a fundamental matrix for system (3.4). In particular it will be said that system (3.4) is exponentially stable as \(n\rightarrow +\infty\) if it has an exponential dichotomy with \(\varPi=I\).
If c is the bounded solution of the discrete system
then
where the Green matrix \(G(n, k)\) is given by (3.6), h is given by
By the variation of constants formula (see [4, 36]) and (3.8), (3.9), we obtain that
for all \(t\in R\), where c is the solution of discrete system (3.7). And (3.10) is a unique bounded solution of (1.1).
Theorem 3.1
Assume that\((H_{1})\), \((H_{3})\), and\((H_{4})\)hold. Then the sequence\(H=\{ H(n)\}_{n=-\infty}^{+\infty}\)given by (3.2) and the sequence\(h=\{ h(n)\}_{n=-\infty}^{+\infty}\)given by (3.9) are asymptotically almost periodic.
Proof
Firstly, we prove that \(\{h(n)\}_{n=-\infty}^{+\infty}\) is asymptotically almost periodic.
By \((H_{4})\), \(f(t)\in \operatorname{AAP}(R^{q})\), let \(f(t)=f_{1}(t)+f_{2}(t)\), where
Then
Now, we prove that
In fact, by Lemma 2.7(a), we obtain that \(\{X(t_{n+1}, u)\}\) is an almost periodic sequence. Set
By Lemma 2.6, \(\varGamma=T(A, \varepsilon)\cap T(B, \varepsilon )\cap\varGamma_{\varepsilon}\) is relatively dense for any \(\varepsilon >0\). Let \(p\in P=\bigcup_{\tau\in\varGamma}P_{\tau}(\varepsilon)\), where \(P_{\tau}(\varepsilon)=\{k\in Z|\sup_{n\in Z}|t_{n}^{(k)}-\tau|\leq \varepsilon\}\).
Consequently, there is \(\tau\in\varGamma\) such that \(p\in P_{\tau }(\varepsilon)\). Then we have
for all \(n\in Z\).
By Lemma 2.7, there are positive constants C and \(K'\) such that
Therefore,
for all \(n\in Z\).
Hence, \(p\in T(h_{1}, [2C+K']\varepsilon)\). Since p is taken arbitrarily in P, so \(P\subseteq T(h_{1}, [2C+K']\varepsilon)\), by Lemma 2.5, P is relatively dense. Consequently, \(T(h_{1}, [2C+K']\varepsilon)\) is also relatively dense. Because \(\varepsilon>0\) is arbitrary, hence \(h_{1}\in \operatorname{APS}(Z, R^{q})\).
According to Lemmas 2.2–2.4, we have
And because \(f_{2}(t)\in C_{0}(R^{q})\), that is, as \(n\rightarrow\infty\), one has \(u\rightarrow\infty\), \(f_{2}(u)\rightarrow0\).
Hence,
Then
Notice that
for all \(n\in Z\). Lemma 2.3 implies that \(X(t_{n+1}, t_{n})\in \operatorname{APS}(Z, R^{q})\), and using a method similar to the method of proving \(\{h(n)\}_{n=-\infty }^{+\infty}\), we get
From all the above, we have \(\{H(n)\}_{n=-\infty}^{+\infty} \in \operatorname{AAPS}(Z, R^{q})\). □
Theorem 3.2
Assume that\((H_{1})\), \((H_{3})\), \((H_{4})\), and\((H_{6})\)hold. Namely, we have linear difference equation (3.4) with exponential dichotomy onZ. Then the solution for linear inhomogeneous difference system (3.7) is an asymptotically almost periodic sequence.
Proof
We know that the solution of equation (3.7) is
In terms of Theorem 3.1, we obtain that \(h(k)\) is an asymptotically almost periodic sequence. Thus, let \(h(k)=h_{1}(k)+h_{2}(k)\), where \(h_{1}(k)\in \operatorname{APS}(Z, R^{q})\), \(h_{2}(k)\in C_{0}S(Z, R^{q})\). Then
Set
Notice that, \(\forall\tau\in T(h_{1}, \varepsilon)\), we have
where \(K>0\), \(\rho<1\). Therefore, \(I_{1}\in \operatorname{APS}(Z, R^{q})\).
Next, we just need to prove that \(I_{2}\in C_{0}S(Z, R^{q})\). First, it will be proved that \({\lim_{n\rightarrow+\infty}I_{2}=0}\).
Notice that
Due to \(\lim_{n\rightarrow+\infty}\rho^{-(n-1)}=0\), then \(\forall \varepsilon>0\), there exists \(N_{1}>0\) such that \(|\rho ^{-(n-1)}|<\varepsilon\) as \(n>N_{1}\). And because \(\lim_{n\rightarrow +\infty}h_{2}(n)=0\), that is, for the above \(\varepsilon>0\), there is \(N_{2}>0\) such that \(|h_{2}(n)|<\varepsilon\) as \(n>N_{2}\). By taking \(N=\max\{N_{1}, N_{2}\}\), as \(n>N\), one has
We estimate the first part of the above expression:
Then we estimate the second part:
Hence, \(\lim_{n\rightarrow+\infty}I_{2}=0\). In a similar way, \(\lim_{n\rightarrow-\infty}I_{2}=0\). In conclusion, \(\lim_{|n|\rightarrow \infty}I_{2}=0\); in other words, \(I_{2}\in C_{0}S(Z, R^{q})\).
From all the above, \(c(n)\in \operatorname{AAPS}(Z, R^{q})\). □
Theorem 3.3
If\((H_{1})\), \((H_{3})\), \((H_{4})\), and\((H_{6})\)hold, then equation (1.1) has a unique asymptotically almost periodic solution.
Proof
The solution of equation (1.1) is
where \(t\in R\), \(t_{n}< t< t_{n+1}\). Obviously, \(\{y(t_{n}): n\in Z\}\) satisfies inhomogeneous difference equation (3.7). By Theorem 3.2, inhomogeneous difference equation (3.7) has a solution \(\{ y_{0}(t_{n}): n\in Z\}\)\(\in \operatorname{AAPS}(Z, R^{q})\) satisfying \(|y_{0}(t_{n})|\leq\beta\) for all \(n\in Z\), and the unique for \(\{y_{0}(t_{n}): n\in Z\}\) ensures the solution \(y(t)\) of equation (1.1) satisfying \(y(t_{n})=y_{0}(t_{n})\) for all \(n\in Z\) (see Lemma 2.1).
The following proof shows that \(y(t)\) is an asymptotically almost periodic solution for equation (1.1).
Obviously, \(y(t)\) is a bounded continuous function. Next, we will prove that
By \((H_{1})\) and \((H_{4})\), we have
Then let
Thus,
Provided that
From Lemma 2.3, similar to the method of proving (3.11), one has
Let
Taking \(\tau\in T(X(t, t_{n}), \frac{\varepsilon}{2})\cap T(y_{1}(t_{n}), \frac{\varepsilon}{2})\), for all \(n\in Z\), we get
Therefore, \(\tau\in T(X(t, t_{n})y_{1}(t_{n}), \varepsilon_{1})\), where \(T(X(t, t_{n})y_{1}(t_{n}), \varepsilon_{1})\) is relatively dense on Z and \(X(t, t_{n})y_{1}(t_{n})\) is almost periodic. In the same way, \(\int_{t_{n}}^{t}X(t, u)B(u)\,du y_{1}(t_{n})\) is also almost periodic. Hence, \(z(t)\) is almost periodic.
Now, we prove that the following function
is continuous on \(R^{q}\); we will proceed as in the proof of the continuity of \(y(t)\).
According to \(|B(t)|\leq M\) (by condition \((H_{1})\), \(B(t)\in \operatorname{AP}(R^{q}, R^{q})\)), we know that if
then
By Lemma 2.2, we have
as \(|n|\rightarrow\infty\).
And because \(y_{2}(t_{n})\in C_{0}S(Z, R^{q})\), then \(\varPi_{1}(t)\rightarrow0\), so \(\varPi_{1}(t)\in C_{0}(R^{q})\). On the other hand, for \(f_{2}(t)\in C_{0}(R^{q})\), then \(\forall\varepsilon>0\), \(\exists t_{1}>0\), we have \(|f_{2}(t)|<\varepsilon\) as \(|t|>t_{1}\). Hence,
That is, \(\varPi_{2}(t)\in C_{0}(R^{q})\). Thus, \(\varPi(t)\in C_{0}(R^{q})\).
Consequently, \(y(t)=z(t)+\varPi(t)\) is obtained if \(A(t), B(t)\in \operatorname{AP}(R^{q}, R^{q})\), \(f(t)\in \operatorname{AAP}(R^{q})\). On the basis of \(z(t)\in \operatorname{AP}(R^{q})\), \(\varPi(t)\in C_{0}(R^{q})\), so \(y(t)\in \operatorname{AAP}(R^{q})\).
Because the uniqueness of \(y(n)\) implies that \(y(t)\) is unique, hence \(y(t)\) is a unique asymptotically almost periodic solution of equation (1.1). □
Remark 3.1
If \((H_{2})\) holds, in other words, if \(B(t)\in \operatorname{AAP}(R^{q}, R^{q})\) with the other conditions unchanged, then the conclusion remains true. The method of proving this conclusion is similar to the previous processes for proving Theorem 3.3, so it is omitted.
3.2 The existence and uniqueness of asymptotically almost periodic solution for system (1.2)
In order to study the existence of asymptotically almost periodic solution for (1.2), by \((H_{5})\), W is an arbitrary nonempty compact subset on \(R^{q}\), and the set
is relatively dense for all \(\varepsilon>0\).
Theorem 3.4
Let\(y: R\rightarrow R^{q}\)be an asymptotically almost periodic solution of (1.1). Assume that\((H_{3})\)holds andFsatisfies\((H_{5})\). Then\(F(t, y_{\gamma}(t))\)satisfies\((H_{4})\), where
\(\gamma^{p_{i}}(t)\), \(i=1, 2, \ldots, l\), denotes step functions.
Proof
Since y is asymptotically almost periodic, so for the almost periodic part of y, one has that \(\forall\varepsilon>0\), \(\tau\in T(y, \varepsilon)\cap T(F, \varepsilon , W)\) and F is uniformly continuous. Thus, there is \(\delta>0\) such that \(|s-t|\leq\delta\) for all \(s, t\in R\), we know that \(|y(t)-y(s)|\leq\varepsilon\). In terms of \(P_{\tau}(\delta)=\{k\in Z|\sup_{n\in Z}|t_{n}^{(k)}-\tau|\leq\delta\}\) for all \(k\in Z\), so \(|\gamma^{p_{j}}(t+\tau)-(\gamma^{p_{j}}(t)+\tau)|\leq\delta\) for all \(j=1,\ldots, l\). Moreover,
Since \(\varepsilon>0\) is taken arbitrarily, hence \(F(t, y_{\gamma}(t))\) satisfies \((H_{4})\). □
Theorem 3.5
Let\((H_{1})\), \((H_{3})\), \((H_{4})\), and\((H_{6})\)hold. Suppose thatFsatisfies\((H_{5})\). If
then equation (1.2) has a unique asymptotically almost periodic solution.
Proof
Set
where
and \(G(n, k)\) is given in (3.6) and \(\hat{c}(n)=(c(n-p_{1}),\ldots, c(n-p_{l}))\).
If c is a fixed point of the operator defined by (3.14), from Theorem 3.2, we know that c is an asymptotically almost periodic solution of the following difference equation:
In what follows, we prove it in three steps: for \(c\in \operatorname{AAPS}(Z, R^{q})\), one has \(Tc\in \operatorname{AAPS}(Z, R^{q})\), that is, \(T: \operatorname{AAPS}(Z, R^{q})\rightarrow \operatorname{AAPS}(Z, R^{q})\).
Firstly, we prove \(F(s, \hat{c}(n))\in \operatorname{AAPS}(Z, R^{q})\).
According to \(\hat{c}(n)\in \operatorname{AAPS}(Z, R^{q})\), provided that \(\hat {c}(n)=\hat{c}_{\mathrm{ap}}(n)+\hat{c}_{c_{0}}(n)\), where
and
Then from \((H_{5})\), F satisfies the Lipschitz condition, we have
Therefore,
Meanwhile, for F satisfies the Lipschitz condition, hence \(F(s, \hat {c}_{\mathrm{ap}}(n))\in \operatorname{APS}(Z, R^{q})\). Consequently,
Secondly, we prove \(h(n, \hat{c}(n))\in \operatorname{AAPS}(Z, R^{q})\).
Because \(F(s, \hat{c}(n))\in \operatorname{AAPS}(Z, R^{q})\), let
where
Then
Now, we prove
In fact, by Lemma 2.7(a), we know that \(\{X(t_{n+1}, s)\}\) (\(s\in R\)) is an almost periodic sequence. Set
By Lemma 2.6, \(\varGamma=T(A, \varepsilon)\cap T(B, \varepsilon )\cap\varGamma_{\varepsilon}\) is relatively dense for any \(\varepsilon >0\), where
Suppose that \(p\in P=\bigcup_{\tau\in\varGamma}P_{\tau}(\varepsilon)\), where
Thus, there is \(\tau\in\varGamma\) such that \(p\in P_{\tau}(\varepsilon )\), for all \(n\in Z\), we have
For Lemma 2.7, there are positive constants C and \(K'\) such that
Then, for all \(n\in Z\), we have
Therefore, \(p\in T(h_{1},2[C+K']\varepsilon)\). And because p is taken arbitrarily in P, where
we get \(P\subseteq T(h_{1}, 2[C+K']\varepsilon)\). By Lemma 2.5, P is relatively dense, thus, \(T(h_{1},2[C+K']\varepsilon)\) is also relatively dense. Since \(\varepsilon>0\) is arbitrary, so \(h_{1}\in \operatorname{APS}(Z, R^{q})\).
By Lemmas 2.2–2.4, we know that \(X(t_{n+1}, s)\) is bounded. Therefore,
And since \(F_{2}(s, \hat{c}(n))\in C_{0}S(Z, R^{q})\), we have that
Hence, \(h(n, \hat{c}(n))\in \operatorname{AAPS}(Z, R^{q})\).
Thirdly, we prove \(T(c)\in \operatorname{AAPS}(Z, R^{q})\).
Since \(h(n, \hat{c}(n))\in \operatorname{AAPS}(Z, R^{q})\), let
where \(f(k, \hat{c}(k))\in \operatorname{APS}(Z, R^{q})\), \(g(k, \hat{c}(k))\in C_{0}S(Z, R^{q})\). Then
Set
\(\forall\tau\in T(f, \frac{\varepsilon}{2})\), one has
where \(K>0\), \(\rho<1\). Consequently, \(I_{1}\in \operatorname{APS}(Z, R^{q})\).
In the following, we prove that \(I_{2}\in C_{0}S(Z, R^{q})\). First of all, we prove \(\lim_{k\rightarrow+\infty}I_{2}=0\).
Because \(\lim_{k\rightarrow+\infty}\rho^{-(n-k-1)}=0\), then for any \(\varepsilon>0\) there exists \(N_{1}>0\), one has \(|\rho ^{-(n-k-1)}|<\varepsilon\) as \(k>N_{1}\), and because \(\lim_{k\rightarrow +\infty}g(k, \hat{c}(k))=0\), namely, for the above \(\varepsilon>0\), there is \(N_{2}>0\), we get \(|g(k, \hat{c}(k))|<\varepsilon\) as \(k>N_{2}\). By taking \(N=\max\{N_{1}, N_{2}\}\) as \(k>N\), we have
Because the two part estimations of \(I_{2}\) in Theorem 3.5 (that is, \(\lim_{|k|\rightarrow\infty}I_{2}=0\)) are similar to the two part estimations of \(I_{2}\) in Theorem 3.2 (that is, \(\lim_{|n|\rightarrow \infty}I_{2}=0\)), we just need to replace \(h_{2}(k)\) with \(g(k, \hat{c}(k))\).
In conclusion, \(\lim_{k\rightarrow+\infty}I_{2}=0\) is obtained; similarly, \(\lim_{k\rightarrow-\infty}I_{2}=0\). Therefore, \(\lim_{|k|\rightarrow\infty}I_{2}=0\), that is, \(I_{2}\in C_{0}S(Z, R^{q})\).
From all the above, we have \(T: \operatorname{AAPS}(Z, R^{q})\rightarrow \operatorname{AAPS}(Z, R^{q})\).
Moreover,
If (3.13) holds, then \(T: \operatorname{AAPS}(Z, R^{q})\rightarrow \operatorname{AAPS}(Z, R^{q})\) is a contracting mapping. By the Banach contraction fixed point theorem, there is \(c\in \operatorname{AAPS}(Z, R^{q})\), which is a unique fixed point for T. Therefore, equation (3.15) has an asymptotically almost periodic solution c. Similar to Theorem 3.3, we can construct a solution of (1.2):
Moreover, we can prove that \(y(t)\) is a unique asymptotically almost periodic solution of equation (1.2). □
References
Aftabizadeh, A.R., Wiener, J., Xu, J.M.: Oscillatory and periodic solutions of delay differential equations with piecewise constant argument. Proc. Am. Math. Soc. 99, 673–679 (1987)
Akhmet, M.U.: Integral manifolds of differential equations with piecewise constant argument of generalized type. Nonlinear Anal. 66(2), 367–383 (2007)
Akhmet, M.U.: Almost periodic solutions of differential equations with piecewise constant argument of generalized type. Nonlinear Anal. Hybrid Syst. 2, 456–467 (2008)
Akhmet, M.U.: Stability of differential equations with piecewise constant arguments of generalized type. Nonlinear Anal. 68, 794–803 (2008)
Akhmet, M.U.: Nonlinear Hybrid Continuous/Discrete-Time Models. Atlantis Press, Paris (2011)
Barbashin, E.A.K.: On the global stability of motion. Sov. Math. Dokl. 86, 453–456 (1952)
Busenberg, S., Cooke, K.L.: Models of vertically transmitted diseases with sequential continuous dynamics. In: Nonlinear Phenomena in Mathematical Sciences. Academic Press, New York (1982)
Castillo, S., Pinto, M.: Existence and stability of almost periodic solutions of differential equations with generalized piecewise constant arguments. Electron. J. Differ. Equ. 2015, Article ID 58 (2015)
Chatzarakis, G.E., Li, T.: Oscillation criteria for delay and advanced differential equations with nonmonotone arguments. Complexity 2018, Article ID 8237634 (2018)
Chiu, K.-S.: Exponential stability and periodic solutions of impulsive neural network models with piecewise constant argument. Acta Appl. Math. 151, 199–226 (2017)
Chiu, K.-S., Li, T.: Oscillatory and periodic solutions of differential equations with piecewise constant generalized mixed arguments. Math. Nachr. 292, 2153–2164 (2019)
Chiu, K.-S., Pinto, M., Jeng, J.C.: Existence and global convergence of periodic solutions in recurrent neural network models with a general piecewise alternately advanced and retarded argument. Acta Appl. Math. 133, 133–152 (2014)
Cooke, K.L., Wiener, J.: A survey of differential equations with piecewise constant argument. In: Delay Differential Equations and Dynamical Systems. Lecture Notes in Math., vol. 1475, pp. 1–15. Springer, Berlin (1991)
Dai, L.: Nonlinear Dynamics of Piecewise Constant Systems and Implementation of Piecewise Constant Arguments. World Scientific, Hackensack (2008)
Dimbour, W.: Almost automorphic solutions for differential equations with piecewise constant argument in a Banach space. Nonlinear Anal. 74, 2351–2357 (2011)
Feng, Z.H., Li, F.Y., Liu, J.X.: Notes on a boundary value problem with a periodic nonlinearity. Optik, Int. J. Light Electron Opt. 156, 439–446 (2018)
Feng, Z.H., Li, F.Y., Lv, Y., Zhang, S.Q.: A note on Cauchy–Lipschitz–Picard theorem. J. Inequal. Appl. 2016(1), Article ID 271 (2016)
Feng, Z.H., Wu, X., Li, H.X.: Multiple solutions for a modified Kirchhoff-type equation in \(R^{N}\). Math. Methods Appl. Sci. 38(4), 708–725 (2015)
Feng, Z.H., Wu, X.X., Yang, L.: Stability of a mathematical model with piecewise constant arguments for tumor-immune interaction under drug therapy. Int. J. Bifurc. Chaos 29(1), Article ID 1950009 (2019)
Fink, A.M.: Almost Periodic Differential Equation. Lecture Notes in Math., vol. 377. Springer, Berlin (1974)
Hong, J., Obaya, R., Sanz, A.: Almost periodic type solutions of some differential equations with piecewise constant argument. Nonlinear Anal. 45, 661–688 (1997)
Lassoued, D., Shah, R., Li, T.: Almost periodic and asymptotically almost periodic functions: part I. Adv. Differ. Equ. 2018, Article ID 47 (2018)
Liu, S.T., Zhang, L., Xing, Y.F.: Dynamics of a stochastic heroin epidemic model. J. Comput. Appl. Math. 351, 260–269 (2020)
Liu, S.T., Zhang, L., Zhang, X.B., Li, A.B.: Dynamics of a stochastic heroin epidemic model with bilinear incidence and varying population size. Int. J. Biomath. 12(1), Article ID 1950005 (2019)
Ma, X., Wu, W.Q., Wang, Y., Zeng, B., Cai, W.: Predicting primary energy consumption using \(\mathrm{NDGM}(1, 1,k,c)\) model with Simpson formula. Sci. Iran. (2020). https://doi.org/10.24200/SCI.2019.51218.2067
Ma, X., Wu, W.Q., Zeng, B., Wang, Y., Wu, X.X.: The conformable fractional grey system model. ISA Trans. 96, 255–271 (2020)
Ma, X., Xie, M., Wu, W.Q., Zeng, B., Wang, Y., Wu, X.X.: The novel fractional discrete multivariate grey system model and its applications. Appl. Math. Model. 70, 402–424 (2019)
Matsunaga, H., Hara, T., Sakata, S.: Global attractivity for a logistic equation with piecewise constant argument. Nonlinear Differ. Equ. Appl. 8, 45–52 (2001)
Myshkis, A.D.: On certain problems in the theory of differential equations with deviating arguments. Russ. Math. Surv. 32, 181–213 (1977)
Palmer, K.J.: Exponential dichotomies, the shadowing lemma and transversal homoclinic points. Dyn. Rep. 1, 265–306 (1988)
Pankov, A.A.: Bounded and Almost Periodic Solutions of Nonlinear Operator Differential Equations pp. 5–43. Kluwer Academic, Dordrecht (1990)
Papaschinopoulos, G.: Exponential dichotomy, topological equivalence and structural stability for differential equations with piecewise constant argument. Analysis 14(2–3), 239–247 (1994)
Papaschinopoulos, G.: Some results concerning a class of differential equations with piecewise constant argument. Math. Nachr. 166, 193–206 (1994)
Perestyuk, N.A., Samoilenko, A.M.: Impulsive Differential Equations. World Scientific, Singapore (1995)
Pinto, M.: Asymptotic equivalence of nonlinear and quasi linear differential equations with piecewise constant arguments. Math. Comput. Model. 49, 1750–1758 (2009)
Pinto, M.: Cauchy and Green matrices type and stability in alternately advanced and delayed differential systems. J. Differ. Equ. Appl. 17(2), 235–254 (2011)
Pinto, M.: Existence and stability of almost periodic solutions to differential equations with piecewise constant arguments. Electron. J. Differ. Equ. 2015, Article ID 58 (2015)
Pinto, M., Robledo, G.: Controllability and observability for a linear time varying system with piecewise constant delay. Acta Appl. Math. 136(1), 193–216 (2015)
Shah, S.M., Wiener, J.: Advanced differential equations with piecewise constant argument deviations. Int. J. Math. Sci. 6, 671–703 (1983)
Tian, D.H., Wang, Y., Yu, T.: Fuzzy risk assessment based on interval numbers and assessment distributions. Int. J. Fuzzy Syst. (2020). https://doi.org/10.1007/s40815-020-00837-6
Tian, D.H., Yang, B.W., Chen, J.H., Zhao, Y.: A multi-experts and multi-criteria risk assessment model for safety risks in oil and gas industry integrating risk attitudes. Knowl.-Based Syst. 156, 62–73 (2018)
Tian, D.H., Zhao, C.L., Wang, B., Zhou, M.: A MEMCIF-IN method for safety risk assessment in oil and gas industry based on interval numbers and risk attitudes. Eng. Appl. Artif. Intell. 85, 269–283 (2019)
Veloz, T., Pinto, M.: Existence computability and stability for solutions of the diffusion equation with general piecewise constant argument. J. Math. Anal. Appl. 426(1), 330–339 (2015)
Wang, P., Lassoued, D., Abbas, S., Zada, A., Li, T.: On almost periodicity of solutions of second-order differential equations involving reflection of the argument. Adv. Differ. Equ. 2019, Article ID 4 (2019)
Wang, Y., Tao, Z.W., Chen, L., Ma, X.: The nonlinear oil–water two-phase flow behavior for a horizontal well in triple media carbonate reservoir. Acta Geophys. 65(5), 977–989 (2017)
Wang, Y., Tao, Z.W., Tian, D.H., Ma, X., Li, M.J., Feng, Z.H.: Some novel results of T-periodic solutions for Rayleigh type equation with double deviating arguments. UPB Sci. Bull., Ser. A, Appl. Math. Phys. 82(1), 55–68 (2020)
Wang, Y., Tao, Z.W., Yang, K., Ma, X., Tian, D.H., Feng, Z.H.: Dynamic analysis of oil–water two-phase flow for a multiple-fractured horizontal well with multiple finite-conductivity fractures in triple media carbonate reservoir. Z. Angew. Math. Mech. 100, Article ID e201900046 (2020). https://doi.org/10.1002/zamm.201900046
Wang, Y., Yi, X.Y.: Flow modeling of well test analysis for a multiple-fractured horizontal well in triple media carbonate reservoir. Int. J. Nonlinear Sci. Numer. Simul. 19(5), 439–457 (2018)
Wang, Y., Zhang, C., Chen, T., Ma, X.: Modeling the nonlinear flow for a multiple-fractured horizontal well with multiple finite-conductivity fractures in triple media carbonate reservoir. J. Porous Media 21(12), 1283–1305 (2018)
Wiener, J.: Differential equations with piecewise constant delays. In: Trends in Theory and Practice of Nonlinear Differential Equations. Lecture Notes in Pure and Appl. Math., vol. 90, pp. 547–552. Dekker, New York (1984)
Wiener, J., Cooke, K.L.: Oscillations in systems of differential equations with piecewise constant argument. J. Math. Anal. Appl. 137, 221–239 (1989)
Wu, W.Q., Ma, X., Wang, Y., Zhang, Y.Y., Zeng, B.: Research on a novel fractional \(\mathrm{GM}(\alpha, n)\) model and its applications. Grey Syst. Theory Appl. 9, 356–373 (2019)
Wu, W.Q., Ma, X., Zeng, B., Lv, W.Y., Wang, Y., Li, W.P.: A novel Grey Bernoulli model for short-term natural gas consumption forecasting. Appl. Math. Model. 84, 393–404 (2020)
Wu, W.Q., Ma, X., Zeng, B., Wang, Y., Cai, W.: Application of the novel fractional grey model \(\mathrm{FAGMO}(1, 1,k)\) to predict China’s nuclear energy consumption. Energy 165, 223–234 (2018)
Wu, W.Q., Ma, X., Zeng, B., Wang, Y., Cai, W.: Forecasting short-term renewable energy consumption of China using a novel fractional nonlinear grey Bernoulli model. Renew. Energy 140, 70–87 (2019)
Wu, W.Q., Ma, X., Zhang, Y.Y., Li, W.P., Wang, Y.: A novel conformable fractional non-homogeneous grey model for forecasting carbon dioxide emissions of BRICS countries. Sci. Total Environ. 707, Article ID 135447 (2020). https://doi.org/10.1016/j.scitotenv.2019.135447
Wu, W.Q., Ma, X., Zhang, Y.Y., Wang, Y., Wu, X.X.: Analysis of novel \(\mathrm{FAGM}(1, 1, t^{\alpha})\) model to forecast health expenditure of China. Grey Syst. Theory Appl. 9, 232–250 (2019)
Xiao, J.Y., Wen, S.P., Yang, X.J., Zhong, S.M.: New approach to global Mittag-Leffler synchronization problem of fractional-order quaternion-valued BAM neural networks based on a new inequality. Neural Netw. 122, 320–337 (2020)
Xiao, J.Y., Zhong, S.M.: Synchronization and stability of delayed fractional-order memristive quaternion-valued neural networks with parameter uncertainties. Neurocomputing 363, 321–338 (2019)
Xing, Y.F., Zhang, L., Wang, X.H.: Modelling and stability of epidemic model with free-living pathogens growing in the environment. J. Appl. Anal. Comput. 10(1), 55–70 (2020)
Yang, X.T.: The existence and uniqueness of positive periodic solutions for certain differential equations with piecewise constant argument. Acta Math. Appl. Sin. 29(6), 984–994 (2006)
Yuan, R.: The existence of almost periodic solutions of retarded differential equations with piecewise constant argument. Nonlinear Anal. 7, 1013–1032 (2002)
Yuan, R., Hong, J.: The existence of almost periodic solutions for a class of differential equations with piecewise constant argument. Nonlinear Anal. 28, 1439–1450 (1997)
Zhang, C.: Pseudo almost periodic functions and their applications. Thesis, University of Western Ontario (1992)
Zhang, C.: Almost Periodic Type Functions and Ergodicity pp. 1–86, 174–179. Science Press, Beijing (2003)
Zhang, L., Liu, S.T., Zhang, X.B.: Asymptotic behavior of a stochastic virus dynamics model with intracellular delay and humoral immunity. J. Appl. Anal. Comput. 9(4), 1425–1442 (2019)
Zhang, L., Xing, Y.F.: Extremal solutions for nonlinear first-order impulsive integro-differential dynamic equations. Math. Notes 105(1–2), 123–131 (2019)
Acknowledgements
We thank the editor and referees for their careful reading and valuable suggestions to make the article reader-friendly.
Availability of data and materials
There is no additional data required for the finding of results of this paper.
Funding
This work was supported by the Program of Science and Technology of Sichuan Province of China (No. 20QYCX0030).
Author information
Authors and Affiliations
Contributions
All authors have equal contribution in this article. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
It is declared that the authors have no competing interests.
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
Feng, Z., Wang, Y. & Ma, X. Asymptotically almost periodic solutions for certain differential equations with piecewise constant arguments. Adv Differ Equ 2020, 242 (2020). https://doi.org/10.1186/s13662-020-02699-6
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-020-02699-6