Abstract
In this paper, for affine periodic systems on time scales, we establish LaSalle stationary oscillation theorem to obtain the existence and asymptotic stability of affine periodic solutions on time scales. As applications, we present the existence and asymptotic stability of affine periodic solutions on time scales via Lyapunov’s method.
Similar content being viewed by others
1 Introduction and statement of the main result
The research of periodic phenomena has a long history that started with Kepler and Newton when they studied orbits of planets in the solar system. The definition of periodic solution was first introduced by Poincaré in the study of celestial mechanics. As we know, periodicity is a very important property when people study differential equations, but not all the natural phenomena can be described by periodicity only. In fact, some differential equations not only show periodicity in time but also exhibit symmetry in space. Therefore, the concept of affine periodicity was introduced by Li et al. in [9, 20,21,22, 33, 34, 36]. The affine periodicity is a generalization of pure periodicity. Some results had been proved to be similar to periodic systems. In 1892, Lyapunov introduced the concept of stability of a dynamic system and created Lyapunov’s second method in the study of stability. Many authors have developed and applied Lyapunov’s method during the past century. One of the important developments in this direction is LaSalle’s stationary oscillation theorem [15, 16] which can guarantee the existence of periodic solutions. Li et al. discussed similar LaSalle’s stationary oscillation theorem for affine periodic systems and gave more general stationary oscillation conditions (see [35]).
The theory of time scales was initiated by Stefan Hilger in his PhD thesis in 1988 [14] as a means of a unifying structure for the study of continuous and discrete hybrid systems. Time scale is any closed nonempty subset of \(\mathbb{R}\) denoted by \(\mathbb{T}\). For instance, if \(\mathbb{T}=\mathbb{Z}\), dynamic equations are just usual difference equations, while, taking \(\mathbb{T}=\mathbb{R}\), they are usual differential equations. Since the theory of time scales can also describe continuous and discrete hybrid processes, it has some important applications, for instance, in the study of option-pricing and stock dynamics in finance, the frequency of markets and duration of market trading in economics, insect population models, neural networks, quantum calculus, among others. See [2, 7, 8, 10, 28] for more details.
Recently, the theory of dynamic equations on time scales has been paid high attention by a lot of mathematicians [1, 3, 4, 11,12,13, 17, 18, 23, 26, 27, 31, 37]. The existence of solutions of dynamic equations on time scales has been extensively investigated, especially concerning periodicity. On the other hand, almost periodicity on time scales was introduced by Li and Wang in [19, 29, 30]. The theory of almost automorphic functions on time scales was introduced by Lizama and Mesquita (see [24]). After that, Wang and Li considered nonlinear dynamic equations and proved the existence of affine periodic solutions via topological degree theory in [32].
Motivated by these facts, the main goal of this paper is to discuss the existence of affine periodic solutions and asymptotic stability of affine periodic systems on time scales by LaSalle-type stationary oscillation principle. More precisely, we consider the following dynamic system on time scales:
where \(f:\mathbb{T}\times {\mathbb{R}^{n}}\to {\mathbb{R}^{n}}\) is an rd-continuous function, \(\mathbb{T}\) is a T-periodic time scale.
System (1.1) is said to be a \((Q,T)\)-affine-periodic system on time scales if there exists a nonsingular \(n\times n\) matrix Q such that
for all \((t, x)\in \mathbb{T}\times {\mathbb{R}^{n}}\). Obviously, when \(Q=I\) (identity), system (1.1) is just usual T-periodic. When \(Q=-I\), system (1.1) is anti-periodic. When Q is an orthogonal matrix, system (1.1) is quasi-periodic.
In this paper, we will discuss the existence of \((Q,T)\)-affine-periodic solutions and asymptotic stability of \((Q,T)\)-affine-periodic systems on time scales by constructing a Poincaré map for the solutions of (1.1). The proof is inspired by [35], but some technical details on time scales are more complicated. As applications, the existence and asymptotic stability of \((Q, T)\)-affine-periodic solutions on time scales are obtained via Lyapunov’s method.
The present paper is organized as follows. In Sect. 2, we present the preliminary results concerning the theory of time scales. In Sect. 3, we prove the existence of \((Q,T)\)-affine-periodic solutions and asymptotic stability of \((Q,T)\)-affine-periodic systems on time scales. Finally, the last section is devoted to some applications via Lyapunov’s method, and an example is given.
2 Preliminaries
In this section, we present some basic definitions, concepts, and results concerning time scales which will be essential to proving our main results. For more details about time scales, see [5, 6]. Let \(\mathbb{T}\) be a time scale, that is, a closed and nonempty subset of \(\mathbb{R}\).
Definition 2.1
For \(t\in \mathbb{T}\), we define the forward jump operator and backward jump operator \(\sigma , \rho :\mathbb{T}\rightarrow \mathbb{T}\), respectively, as follows:
In this definition, we put \(\inf \emptyset =\sup \mathbb{T}\) and \(\sup \emptyset =\inf \mathbb{T}\). If \(\sigma (t)>t\), we say that t is right-scattered. If \(\sigma (t)=t\), then t is called right-dense. Analogously, if \(\rho (t)< t\), we say that t is left-scattered. If \(\rho (t)=t\), then t is called left-dense.
Definition 2.2
We define the graininess function \(\mu :\mathbb{T}\rightarrow [0, \infty )\) by
For \(a,b\in \mathbb{R}\), we use \([a,b]_{\mathbb{T}}\) to denote a closed interval in \(\mathbb{T}\), that is, \([a,b]_{\mathbb{T}}=\{t\in \mathbb{T};a\leqslant t \leqslant b\}\). We denote \({\mathbb{T}}_{+}= \{t\in \mathbb{T},\mathbb{T}>0\}\). We define the set \({\mathbb{T}} ^{\kappa }\) derived from \(\mathbb{T}\) as follows. If \(\mathbb{T}\) has a left-scattered maximum m, then \(\mathbb{T}^{\kappa }=\mathbb{T}- \{m\}\). Otherwise, \({\mathbb{T}}^{\kappa }=\mathbb{T}\).
Definition 2.3
Assume that f is an \({\mathbb{R}}^{n}\)-valued function on time scale \(\mathbb{T}\) and \(t\in {\mathbb{T}}^{\kappa }\). A vector \(f^{\Delta }(t)\) (provided it exists) is said to be the delta (or Hilger) derivative of f at t provided that, for any \(\varepsilon >0\), there is a neighborhood U of t such that
for all \(s\in U\).
Similarly, we can define the nabla-derivative of the function \(f:\mathbb{T}\to {\mathbb{R}}^{n}\), for details, see [5] and [6].
Definition 2.4
A function \(f: \mathbb{T}\to {\mathbb{R}}^{n}\) is called rd-continuous provided it is continuous at right-dense points in \(\mathbb{T}\) and its left-sided limits exist (finite) at all left-dense points in \(\mathbb{T}\). The set of rd-continuous functions \(f:\mathbb{T}\to {\mathbb{R}}^{n}\) is denoted by
Next we will introduce the definition of periodic time scale.
Definition 2.5
Let \(T>0\) be a real number. A time scale \(\mathbb{T}\) is called T-periodic if \(t\in \mathbb{T}\) implies \(t+T\in \mathbb{T}\) and \(\mu (t)=\mu (t+T)\).
The following lemma shows some useful relationships concerning the delta derivative and continuity. For details, see [5] and [6].
Lemma 2.1
Assume that \(f:\mathbb{T}\rightarrow {\mathbb{R}}^{n}\) is a function, and let \(t\in {\mathbb{T}}^{\kappa }\). Then we have the following results.
-
(i)
If f is differentiable at t, then f is continuous at t.
-
(ii)
If f is continuous at t and t is right-scattered, then f is differentiable at t with
$$ f^{\Delta }(t)=\frac{f(\sigma (t))-f(t)}{\mu (t)}. $$ -
(iii)
If t is right-dense, then f is differentiable at t provided that the limit
$$ \lim_{s\to t}\frac{f(t)-f(s)}{t-s} $$exists as a finite vector. In this case,
$$ f^{\Delta }(t)=\lim_{s\to t}\frac{f(t)-f(s)}{t-s}. $$ -
(iv)
If f is differentiable at t, then
$$ f \bigl(\sigma (t) \bigr)=f(t)+\mu (t)f^{\Delta }(t). $$
Theorem 2.1
(See [5], Theorem 1.70)
Any rd-continuous function \(f: \mathbb{T}\to {\mathbb{R}}^{n}\) has an anti-derivative, i.e., \(F^{\Delta }=f\) on \({\mathbb{T}}^{\kappa }\).
Definition 2.6
Let \(f\in C_{rd}\) and let F be any function such that \(F^{\Delta }(t)=f(t)\) for all \(t\in {\mathbb{T}}^{\kappa }\). Then the Cauchy integral by
In this sequel, we present the definition of Riemann Δ-integrals. For more details, see [5, 6].
Definition 2.7
A partition of \([a, b]_{\mathbb{T}}\) is a finite sequence of points
Given such a partition, we put \(\Delta t_{i}=t_{i}-t_{i-1}\). A tagged partition consists of a partition and a sequence of tags \(\{{\xi } _{1}, \dots , {\xi }_{m}\}\) such that \({\xi }_{i}\in [t_{i-1}, t_{i})\) for every \(i\in \{1, \dots , m\}\). The symbol \(D(a, b)\) denotes the set of all tagged partitions of \([a, b]_{\mathbb{T}}\). If \(\delta >0\), then the set of all tagged partitions of \([a,b]_{\mathbb{T}}\) such that, for every \(i\in \{1, \dots , m\}\), either \(\Delta t_{i}\leq \delta \) or \(\Delta t_{i}>\delta \) and \(\sigma (t_{i-1})=t_{i}\) will be denoted by the symbol \(D_{\delta }(a, b)\). For the last case, the only way to choose a tag in \([t_{i-1}, t_{i})\) is to take \({\xi }_{i}=t_{i-1}\).
Definition 2.8
We say that a function f is Riemann Δ-integrable on \([a, b]_{\mathbb{T}}\) if there exists a number I satisfying that, for every \(\varepsilon >0\), there exists \(\delta >0\) such that
for every \(P\in D_{\delta }(a, b)\) independently of \({\xi }_{i}\in {[t_{i-1}, t_{i})}_{\mathbb{T}}\) for \(1\leq i\leq m\). It is clear that such a number I is unique and is the Riemann Δ-integral of f from a to b.
Definition 2.9
We say that a function \(p: \mathbb{T}\to {\mathbb{R}}\) is a regressive one provided
holds. The set of all regressive and rd-continuous functions will be denoted by \(\mathcal{R}=\mathcal{R(\mathbb{T})}=\mathcal{R}( \mathbb{T}, \mathbb{R})\).
In what follows, we present the definition of the generalized exponential function \(e_{p}(t, s)\). For more details, see [5, 6].
Definition 2.10
If \(p\in \mathcal{R}\), then we define the exponential function by
where the cylinder transformation \({\xi }_{h}(z): {\mathbb{C}}_{h} \to {\mathbb{Z}}_{h}\) is given by
where log is the principal logarithm function.
The following lemma shows Gronwall’s inequality on time scales. It can be found in [5].
Lemma 2.2
Let \(y, f\in C_{rd}\) and \(p\in {\mathbb{R}}_{+}\) and satisfy the inequality
Then
The following lemma shows the chain rule on time scales (see [25]).
Lemma 2.3
Let \(f: {\mathbb{R}}^{1}\to {\mathbb{R}}^{1}\) be continuous differentiable and suppose that \(g: \mathbb{T}\to {\mathbb{R}}^{1}\) is delta differentiable. Then \(f\circ g: \mathbb{T}\to {\mathbb{R}}^{1}\) is delta differentiable and the formula
holds.
3 LaSalle-type stationary oscillation theorem for dynamic equations on time scales
Consider the \((Q,T)\)-affine-periodic dynamic system on time scales
where \(f: \mathbb{T}\times {\mathbb{R}^{n}}\to {\mathbb{R}^{n}}\) is rd-continuous, \(\mathbb{T}\) is a T-periodic time scale and ensures the uniqueness of solutions with respect to the initial value (for more details, see Sect. 8.3 in [6]). We always assume Q is an orthogonal matrix in this paper.
Definition 3.1
A function \(x:\mathbb{T}\to {\mathbb{R}^{n}}\) is called a solution of (3.1) if \(x\in \{y:y\in C(\mathbb{T}, {\mathbb{R}} ^{n}), y^{\Delta }\in C_{rd}({\mathbb{T}, {\mathbb{R}}^{n}}) \}\) and \(x(t)\) satisfies (3.1) for all \(t\in {\mathbb{T}}\).
Definition 3.2
A function \(x:{\mathbb{T}}\to {\mathbb{R}^{n}}\) is said to be an affine periodic solution of (Q,T)-affine-periodic system (3.1) if \(x(\sigma (t))\) is a solution of (3.1) and, for any \(t\in \mathbb{T}\),
Remark 3.1
If t is right-dense, then function \(x:{\mathbb{T}}\to {\mathbb{R} ^{n}}\) is an affine periodic solution of (Q,T)-affine-periodic system (3.1) if \(x(t)\) is a solution of (3.1) and, for any \(t\in \mathbb{T}\),
Definition 3.3
The solution \(x(t, x_{0})\) of (3.1) is said to be an asymptotically stable \((Q, T)\)-affine-periodic solution provided that it is stable and if there is \(\delta >0\) such that \(|x_{0}-y_{0}|< \delta \) implies that
Now we will state the following LaSalle-type stationary oscillation theorem on time scales for system (3.1). Without loss of generality, we can always assume \(0\in \mathbb{T}\) in this paper.
Theorem 3.1
Consider (Q,T)-affine-periodic system (3.1) and assume that the following hypotheses hold for system (3.1).
- (H1):
-
There exists a solution \(z(t)\) of system (3.1) defined on \([0,T]_{\mathbb{T}}\).
- (H2):
-
There is an rd-continuous function \(a:{\mathbb{T}} _{+}\to {\mathbb{R}}_{+}\setminus \{0\}\) with \(r={\varlimsup }_{k \to \infty }a(kT)<1\). Any two solutions \(x(t)\) and \(y(t)\) satisfy
$$ \bigl\vert x(t)-y(t) \bigr\vert \leq a(t) \bigl\vert x(0)-y(0) \bigr\vert $$whenever they exist.
Then system (3.1) has a unique asymptotically stable (Q,T)-affine-periodic solution.
To prove Theorem 3.1, we need the following lemma.
Lemma 3.1
Assume that (Q,T)-affine-periodic system (3.1) admits the uniqueness with respect to initial value problems. Assume that \(x(t,x_{0})\) is a solution of (3.1) with the initial value condition \(x(0)=x_{0}\) defined on \({\mathbb{T}}_{+}\). Then
Proof
For \(t\in {\mathbb{T}}_{+}\),
The uniqueness of solutions to the initial value problem implies that
□
Remark 3.2
If t is right-dense, then
Now we prove Theorem 3.1.
Proof
We divide our proof in three steps.
First, we need to verify that \(z(t)\) is extensible on \({\mathbb{T}} _{+}\). Once done, according to (H2), it follows that
Therefore, all the solutions \(x(t,x_{0})\) of system (3.1) are defined on \({\mathbb{T}}_{+}\). By (H2), \(x(t,x_{0})\) is uniquely determined by the initial value \(x_{0}\). By the Peano-type theorem and (H2), system (3.1) has a unique solution \(w(t)\) with the initial value condition \(w(0)=Q^{-1}z(T)\), and \(w(t)\) exists on \([0, T]_{\mathbb{T}}\). Let \(u(t)=Qw(t-T)\), by Lemma 2.1:
-
(a)
if t is a right-dense point, then we have
$$\begin{aligned} u^{\Delta }(t) &=\lim_{\Delta t\to 0}\frac{u(t+\Delta t)-u(t)}{\Delta t} \\ &=\lim_{\Delta t\to 0}\frac{Qw(t+\Delta t-T)-Qw(t-T)}{\Delta t} \\ &=Qw^{\Delta }(t-T) \\ &=Qf \bigl(t-T, w(t-T) \bigr) \\ &=Qf \bigl(t-T,Q^{-1}u(t) \bigr) \\ &=f \bigl(t,u(t) \bigr); \end{aligned}$$ -
(b)
if t is a right-scattered point, then we have
$$\begin{aligned} u^{\Delta }(t) &=\frac{u(\sigma (t))-u(t)}{\mu (t)} \\ &=\frac{Qw(\sigma (t)-T)-Qw(t-T)}{\mu (t)} \\ &=Qw^{\Delta }(t-T) \\ &=f \bigl(t,u(t) \bigr) . \end{aligned}$$By (a) and (b), we see that \(u(t)\) is the solution of (3.1) with the initial value condition \(z(T)\) on \([T, 2T]_{\mathbb{T}}\).
Define
Thus \(z(t)\) exists on \([T,2T]_{\mathbb{T}}\). Repeating this procedure, we know that \(z(t)\) exists on \({\mathbb{T}}_{+}\).
The next thing is to prove that equation (3.1) has \((Q,T)\)-affine-periodic solutions. We define the Poincaré map \(P(x_{0}): {\mathbb{R}}^{n}\to {\mathbb{R}}^{n}\) by
and P is well-defined. Now we prove P is a contraction mapping.
Note that
Therefore,
By Lemma 3.1, we obtain
From (3.3) and (3.4), we can see
By induction and the uniqueness of solutions to the initial value problem, we have
By the definition of r, there exist positive integer K and \(\tilde{r}\in (r,1)\) such that
Thus,
It follows that P is an r̃-contraction mapping of order K, then by Banach’s contraction mapping fixed point theorem, P has a unique fixed point \(x_{\ast }\in {\mathbb{R}^{n}}\), that is,
Again by the uniqueness of solutions to the initial value problem, we have
Therefore, system (3.1) has a unique \((Q,T)\)-affine-periodic solution.
Finally, we show the stability and the asymptotic stability. We need to prove the following estimate inductively:
The frame of the proof is the same as the one of Theorem 2.1 in [3] and so is proved briefly. Let \(t\in {\mathbb{T}}_{+}\) be right-scattered. Firstly, for \(m=1\), by Lemma 3.1 and assumption (H2), we have
Secondly, we claim that, for \(k=m-1\), the assumption holds. Then, for \(k=m\), according to Lemma 3.1 and (ii), we have
If t is a right-dense point, then we have
At last, we take \(t\in [0,T]_{\mathbb{T}}\). By the arbitrariness of m and \(\tilde{r}\in (0,1)\), we can obtain the stability and the asymptotic stability by inequality (3.6), which completes the proof of Theorem 3.1. □
4 Applications
In this section, we give Lyapunov’s method to discuss the existence and asymptotic stability of \((Q, T)\)-affine-periodic solutions of (3.1).
Theorem 4.1
Let (H1) hold. Consider the \((Q,T)\)-affine-periodic system (3.1). Moreover, suppose that there exists a Lyapunov function \(V: {\mathbb{T}_{+}}\times {\mathbb{R}}^{n}\times {\mathbb{R}} ^{n}\) satisfying the following hypotheses:
- (H3):
-
\(V(\sigma (t), x, y) \) is a \(C_{rd}^{1}\) function with
$$\begin{aligned} & V \bigl(\sigma (t), x, y \bigr)=V \bigl(\sigma (t), Q^{\pm 1}x, Q^{\pm 1}y \bigr), \\ &V \bigl(\sigma (t), x, y \bigr)=V \bigl(\sigma (t)+kT, x, y \bigr) \quad \forall k \in \mathbb{N}, \\ &a \bigl( \vert x-y \vert \bigr)\leq V \bigl(\sigma (t), x, y \bigr)\leq b \bigl( \vert x-y \vert \bigr), \end{aligned}$$where \(a, b: {\mathbb{R}}^{n}\to {\mathbb{R}}^{n}\) are strictly increasing continuous functions with \(a(0)=b(0)=0\), \(a(\infty )=b( \infty )=\infty \) and constant C satisfies that, for some \(\beta \in (0,1)\),
$$ \inf_{r>0}\frac{a(\beta r)}{Cb(r)}>0. $$(4.1) - (H4):
-
For any two solutions \(x(t)\) and \(y(t)\) of (3.1),
$$ V^{\Delta } \bigl(\sigma (t), x, y \bigr)|_{(x, y)=(x(t), y(t))}\leq \alpha V \bigl( \sigma (t), x, y \bigr)|_{(x, y)=(x(t), y(t))} \quad \forall t\in { \mathbb{T}_{+}}, $$(4.2)where \(\alpha : {\mathbb{T}}_{+}\to {\mathbb{R}}^{1}\) is locally Δ-integrable and satisfies
$$ \int _{0}^{kT}{\xi }_{\mu (\tau )} \bigl(\alpha ( \tau ) \bigr)\Delta \tau \leq - \eta\quad (\eta >0) $$for any integer \(k\geq k_{0}>0\).
Then system (3.1) admits a unique asymptotically stable \((Q, T)\)-affine-periodic solution.
Proof
Firstly, we prove that \(z(\sigma (t))\) is extensible on \({\mathbb{T}} _{+}\). Let \(x(t)=z(\sigma (t))\), \(y(t)=Q^{-1}z(\sigma (t)+T)\). If \(x(t)\equiv y(t)\), \(z(\sigma (t))\) is a \((Q, T)\)-affine-periodic solution of (1.1), then \(z(\sigma (t))\) exists on \({\mathbb{T}}\). If \(x(t)\neq y(t)\). According to (H3), (H4), and Lemma 2.2, we have
which shows that
In the same way as Step 1 in the proof of Theorem 3.1, we can obtain that \(z(\sigma (t))\) exists on \({\mathbb{T}}_{+}\). Repeating the above arguments, we can prove that all the solutions of (3.1) exist on \({\mathbb{T}}_{+}\).
Next we show that the \((Q, T)\)-affine-periodic solution of (3.1) is asymptotically stable. By Lemma 3.1, definition of the exponential function on time scales, and the properties of V, similar to the proof of Theorem 3.1, for any \(m\geq 1\), \(t\in {\mathbb{T}}_{+}\) and \(x_{0}, y_{0}\in {\mathbb{R}} ^{n}\), we have
By (H4), there is a constant C such that
then
That is, fixing integers \(K\geq k_{0}\) and \(m=N\in {\mathbb{N}}^{+}\) such that
then
Next, by the definition of P in Theorem 3.1, we show that
is a contraction map. According to the assumptions and (4.3), we derive that
which implies \(P^{NK}\) is a contraction map. Thus, we can get desired stability and asymptotic stability by the above inequality. This completes the proof. □
Remark 4.1
Li et al. in [35] studied the existence of affine periodic solutions for affine periodic (functional) differential systems. We prove analogously a result for dynamic equations on time scales. Comparing with their results, condition (H4) in Theorem 4.1 is a little bit different from the conditions of Theorem 4.2 in [35]. In fact, the condition with respect to function \(\alpha (t)\) in Theorem 4.1 is more complex than the one in continuous systems. Choosing \(\mathbb{T}=\mathbb{R}\) in Theorem 4.1, we obtain the continuous result in [35].
Example 4.1
Let \(\mathbb{T}\) be a 1-periodic time scale. Consider the following system:
where \(a: \mathbb{T}\to \mathbb{R}\) is rd-continuous satisfying \(a(\sigma (t)+1)=a(\sigma (t))\) and
Set
Let
Then
Thus, (4.4) is a \((Q, 1)\)-affine-periodic system on time scales. Choose a Lyapunov function
It is easy to verify that condition (H3) holds for (4.4).
By Lemma 2.3, for any two solutions \(x(\sigma (t))\) and \(y(\sigma (t))\) of system (4.4), we have
Let \(\alpha (t)=-2a(t)+\mu (t)a^{2}(t)\). By Gronwall’s inequality on time scales, we obtain
By (4.5), we have
This means that condition (H4) is fulfilled. Hence, (4.4) has a unique asymptotically stable \((Q,T)\)-affine-periodic solution by Theorem 4.1.
5 Conclusion
The main goal of this paper is to discuss the existence of affine periodic solutions and asymptotic stability of affine periodic systems on time scales by LaSalle-type stationary oscillation principle. As applications, we present the existence and asymptotic stability of affine periodic solutions on time scales via Lyapunov’s method. Comparing with continuous systems, some technical details on time scales are more complicated.
References
Agarwal, R.P., Bohner, M., Li, T.: Oscillatory behavior of second-order half-linear damped dynamic equations. Appl. Math. Comput. 254, 408–418 (2015)
Atici, F.M., Biles, D.C., Lebedinsky, A.: An application of time scales to economics. Math. Comput. Model. 43, 718–726 (2006)
Bohner, M., Hassan, T.S., Li, T.: Fite–Hille–Wintner-type oscillation criteria for second-order half-linear dynamic equations with deviating arguments. Indag. Math. 29, 548–560 (2018)
Bohner, M., Li, T.: Kamenev-type criteria for nonlinear damped dynamic equations. Sci. China Math. 58, 1445–1452 (2015)
Bohner, M., Peterson, A.: Dynamic Equations on Time Scales, an Introduction with Applications. Birkhäuser, Boston (2001)
Bohner, M., Peterson, A.: Advances in Dynamic Equations on Time Scales. Birkhäuser, Boston (2003)
Bohner, M., Wintz, N.: The Kalman filter for linear systems on time scales. J. Math. Anal. Appl. 406, 419–436 (2013)
Brigo, D., Mercurio, F.: Discrete time vs continuous time stock-price dynamics and implications for option pricing. Finance Stoch. 4, 147–159 (2000)
Chang, X., Li, Y.: Rotating periodic solutions of second order dissipative dynamical systems. Discrete Contin. Dyn. Syst. 36, 643–652 (2016)
Christiansen, F.B., Fenchel, T.M.: Theories of Populations in Biological Communities. Lecture Notes in Ecological Studies, vol. 20. Springer, Berlin (1977)
DaCunha, J.J., Jeffrey, J., Davis, J.M.: A unified Floquet theory for discrete, continuous, and hybrid periodic linear systems. J. Differ. Equ. 251, 2987–3027 (2011)
Federson, M., Mesquita, J.G., Slavík, A.: Measure functional differential and functional dynamic equations on time scales. J. Differ. Equ. 252, 3816–3847 (2012)
Guo, R., Li, Y., Xing, J., Yang, X.: Existence of periodic solutions of dynamic equations on time scales by averaging. Discrete Contin. Dyn. Syst., Ser. S 10(5), 959–971 (2017)
Hilger, S.: Ein Maßkettenkalkül mit Anwendung auf Zentrumsmanningfaltigkeiten. PhD thesis, Universität Wüzburg (1988)
LaSalle, J., Lefschetz, S.: Stability by Lyapunov’s Direct Method, with Application. Mathematics in Science and Engineering, vol. 4. Academic Press, New York (1961)
LaSalle, J.P.: Stability theory of ordinary differential equations. J. Differ. Equ. 4, 57–65 (1968)
Lassoued, D., Shah, R., Li, T.: Almost periodic and asymptotically almost periodic functions: part I. Adv. Differ. Equ. 2018, 47 (2018)
Li, T., Saker, S.H.: A note on oscillation criteria for second-order neutral dynamic equations on isolated time scales. Commun. Nonlinear Sci. Numer. Simul. 19, 4185–4188 (2014)
Li, Y., Wang, C.: Almost periodic functions on time scales and applications. Discrete Dyn. Nat. Soc. 2011, Article ID 727068 (2011)
Liu, G., Li, Y., Yang, X.: Rotating periodic solutions for asymptotically linear second-order Hamiltonian systems with resonance at infinity. Math. Methods Appl. Sci. 40, 7139–7150 (2017)
Liu, G., Li, Y., Yang, X.: Existence and multiplicity of rotating periodic solutions for resonant Hamiltonian system. J. Differ. Equ. 265, 1324–1352 (2018)
Liu, G., Li, Y., Yang, X.: Rotating periodic solutions for super-linear second order Hamiltonian systems. Appl. Math. Lett. 79, 73–79 (2018)
Lizama, C., Mesquita, J., Ponce, R., Toon, E.: Almost automorphic solutions of Volterra equations on time scales. Differ. Integral Equ. 309–10, 667–694 (2017)
Lizama, C., Mesquita, J.G.: Almost automorphic solutions of dynamic equations on time scales. J. Funct. Anal. 265, 2267–2311 (2013)
Pötzsche, C.: Chain rule and invariance principle on measure chains. J. Comput. Appl. Math. 141(1), 249–254 (2001)
Slavík, A.: Averaging dynamic equations on time scales. J. Math. Anal. Appl. 388, 996–1012 (2012)
Sun, H.R., Li, W.T.: Existence theory for positive solutions to one-dimensional p-Laplacian boundary value problems on time scales. J. Differ. Equ. 240(2), 217–248 (2007)
Tisdell, C.C., Zaidi, A.: Basic qualitative and quantitative results for solutions to nonlinear dynamic equations on time scales with an application to economic modeling. Nonlinear Anal. 68(11), 3504–3524 (2008)
Wang, C., Agarwal, R.P.: Relative dense sets, corrected uniformly almost periodic functions on time scales, and generalizations. Adv. Differ. Equ. 2015, 312 (2015)
Wang, C., Agarwal, R.P.: Uniformly rd-piecewise almost periodic functions with applications to the analysis of impulsive Δ-dynamic system on time scales. Appl. Math. Comput. 259(15), 271–292 (2015)
Wang, C., Agarwal, R.P.: A classification of time scales and analysis of the general delays on time scales with applications. Math. Methods Appl. Sci. 39(6), 1568–1590 (2016)
Wang, C., Li, Y.: Affine-periodic solutions for nonlinear differential equations on time scales. Adv. Differ. Equ. 2015, 286 (2015)
Wang, C., Yang, X., Li, Y.: Affine-periodic solutions for nonlinear differential equations. Rocky Mt. J. Math. 46, 1717–1737 (2016)
Wang, H., Yang, X., Li, Y.: Rotating-symmetric solutions for nonlinear systems with symmetry. Acta Math. Appl. Sin. 31(2), 307–312 (2015)
Wang, H., Yang, X., Li, Y.: LaSalle type stationary oscillation theorems for affine-periodic systems. Discrete Contin. Dyn. Syst., Ser. B 22, 2907–2921 (2017)
Xing, J., Yang, X., Li, Y.: Affine-periodic solutions by averaging methods. Sci. China Math. 61, 439–452 (2018)
Zhang, C., Agarwal, R.P., Bohner, M., Li, T.: Oscillation of fourth-order delay dynamic equations. Sci. China Math. 58, 143–160 (2015)
Acknowledgements
The authors are grateful to the anonymous referees for their valuable suggestions and comments.
Availability of data and materials
Data sharing not applicable to this article as no datasets were generated or analysed during the current study.
Funding
This work was supported by the new entry doctoral research project of Jilin University of Finance and Economics (No. 2017B2012).
Author information
Authors and Affiliations
Contributions
All authors contributed equally to this paper. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Guo, R., Jiang, X. & Wang, H. LaSalle stationary oscillation theorem for affine periodic dynamic systems on time scales. Bound Value Probl 2019, 5 (2019). https://doi.org/10.1186/s13661-019-1117-0
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-019-1117-0