- Research
- Open Access
- Published:
Compactness criteria and new impulsive functional dynamic equations on time scales
Advances in Difference Equations volume 2016, Article number: 197 (2016)
Abstract
In this paper, we introduce the concept of Δ-sub-derivative on time scales to define ε-equivalent impulsive functional dynamic equations on almost periodic time scales. To obtain the existence of solutions for this type of dynamic equation, we establish some new theorems to characterize the compact sets in regulated function space on noncompact intervals of time scales. Also, by introducing and studying a square bracket function \([x(\cdot),y(\cdot) ]:\mathbb{T}\rightarrow\mathbb{R}\) on time scales, we establish some new sufficient conditions for the existence of almost periodic solutions for ε-equivalent impulsive functional dynamic equations on almost periodic time scales. The final section presents our conclusion and further discussion of this topic.
1 Introduction
The theory of calculus on time scales (see [1, 2] and references cited therein) was initiated by Stefan Hilger in 1988 (see [3]) to unify continuous and discrete analysis. In particular time the theory of scales unifies the study of differential and difference equations, and the qualitative analysis of dynamic equations on time scales is of particular importance (see [4–7]).
Time scales can be used to describe different natural phenomena in our real world and most changes in nature are inundated with periodic and almost periodic natural phenomena, so almost periodic problems of functional dynamic equations are important (see [8–13]) (typical examples are time intervals around a celestial body motion, the climate change during a year, the frequency of a tidal flood or an earthquake, etc.). We always study periodic or almost periodic problems assuming that the time scale \(\mathbb{T}\) is periodic, that is, we always suppose the functions that describe the status of the object are periodic or almost periodic on periodic time scales (i.e., the status of the object is the same or almost the same after an accurately chosen interval; see [14] and its references). However, this is not always the case. Since the status of the object is frequently disturbed by its immediate state, the object’s status is not always the same or almost the same after a precisely equal time interval. In fact frequently the object’s status with periodicity or almost periodicity will be always the same or almost the same after ‘an almost equivalent time interval’, and we say the object has ‘double almost periodicity’. To describe such a situation, recently, the authors introduced a type of time scales called ‘almost periodic time scales’ which can be adopted to accurately describe the status of the assigned object which is almost the same after an almost equivalent time interval (see [15–17]), and the authors studied the almost periodic dynamical behavior of impulsive delay dynamic models on almost periodic time scales.
Although the authors have this effective way to describe ‘double almost periodicity’, the models proposed in [16, 17]) can be generalized with delays. In this paper, we investigate a new general type of impulsive functional dynamic equation and obtain some sufficient conditions for the existence of solutions. We now recall some ideas in [18] that will be used and improved in this paper. Using measure theory on time scales, the authors obtained some properties of almost periodic time scales, and they established a new class of delay dynamic equations which includes all almost periodic dynamic equations on periodic time scales if we assume that almost periodic time scales are equal to periodic time scales (see [18], Section 5). Let \(\Pi_{\varepsilon}=E\{\mathbb{T},\varepsilon\}, \mathbb{T}^{\Pi _{\varepsilon}}= \{\mathbb{T}^{-\tau}:-\tau\in E\{\mathbb{T},\varepsilon\} \}\), where \(E\{\mathbb{T},\varepsilon\}\) is ε-translation number set of \(\mathbb{T}\). Consider two types of delay dynamic equations.
Type I. For \(t\in\mathbb{T}\cap(\cup_{-\tau}\mathbb{T}^{\Pi_{\varepsilon}})\),
Type II. For \(t\in\mathbb{T}\cap(\cup_{-\tau}\mathbb{T}^{\Pi_{\varepsilon}})\),
Observe that if \(\mathbb{T}\) is a periodic time scale, \(\Pi_{\varepsilon}\) will turn into the periodicity set of \(\mathbb{T}\), and then the dynamic equations (1.1) and (1.2) will include all delay dynamic equations in Section 4 from [18]. As a result the above two types of dynamic equations are more general than in the literature. Moreover, (1.1) and (1.2) are ‘shaky slightly’ since ε is arbitrary, which is motivated by almost periodic time scales, and such a ‘shake’ occurs in the time variable. As a result this type of delay dynamic equation can describe the ‘double periodicity’ of the status of the object. Therefore, the existence of solutions for such a new type of dynamic equations with ‘sight vibration’ is significant not only for the theory of dynamic equations on time scales but also for practical applications.
Motivated by the above theoretical and practical significance, in this paper, we propose a general type of ε-equivalent impulsive functional dynamic equations with ‘sight vibration’ on almost periodic time scales as follows:
and obtain the existence of solutions (including almost periodic solutions) on almost periodic time scales.
This paper is organized as follows. In Section 2, we recall some necessary definitions of almost periodic time scales and introduce the concept of a Δ-sub-derivative on time scales to define ε-equivalent impulsive functional dynamic equations on almost periodic time scales. In Section 3, we establish some new theorems to characterize the compact sets in regulated function space on noncompact intervals of time scales, which play an important role in establishing the existence of solutions for ε-equivalent impulsive functional dynamic equations with such a ‘sight vibration’. In Section 4, we propose a type of function \([x(\cdot),y(\cdot) ]\) (see Definition 4.1) on time scales and obtain some basic properties of it. Using this function \([x(\cdot),y(\cdot) ]\), we establish some sufficient conditions for the existence of almost periodic solutions for such a class of ε-equivalent impulsive functional dynamic equations on almost periodic time scales. In Section 5, we present conclusions and further discussion of this topic.
2 Preliminaries
In this section, we first recall some basic definitions and lemmas, which will be used.
Let \(\mathbb{T}\) be a nonempty closed subset (time scale) of \(\mathbb{R}\). The forward and backward jump operators \(\sigma, \rho : \mathbb{T}\rightarrow\mathbb{T}\) and the graininess \(\mu: \mathbb{T}\rightarrow\mathbb{R}^{+}\) are defined, respectively, by
A point \(t\in\mathbb{T}\) is called left-dense if \(t>\inf{\mathbb{T}}\) and \(\rho(t)=t\), left-scattered if \(\rho(t)< t\), right-dense if \(t<\sup{\mathbb{T}}\) and \(\sigma(t)=t\), and right-scattered if \(\sigma(t)>t\). If \(\mathbb{T}\) has a left-scattered maximum M, then \(\mathbb{T}^{k}=\mathbb{T}\backslash\{M\}\); otherwise \(\mathbb{T}^{k}=\mathbb{T}\). If \(\mathbb{T}\) has a right-scattered minimum m, then \(\mathbb{T}_{k}=\mathbb{T}\backslash\{m\}\); otherwise \(\mathbb{T}_{k}=\mathbb{T}\).
Definition 2.1
A function \(f : \mathbb{T}\rightarrow\mathbb{R}\) is right-dense continuous provided it is continuous at right-dense point in \(\mathbb{T}\) and its left-side limits exist at left-dense points in \(\mathbb{T}\). If f is continuous at each right-dense point and each left-dense point, then f is said to be a continuous function on \(\mathbb{T}\).
Definition 2.2
For \(y: \mathbb{T}\rightarrow\mathbb{R}\) and \(t\in\mathbb{T}^{k}\), we define the delta derivative of \(y(t), y^{\Delta}(t)\), to be the number (if it exists) with the property that, for a given \(\varepsilon>0\), there exists a neighborhood U of t such that
for all \(s \in U\). Let y be right-dense continuous, and if \(Y^{\Delta}(t) = y(t)\), then we define the delta integral by
Definition 2.3
A function \(p: \mathbb{T}\rightarrow\mathbb{R}\) is called regressive provided \(1+\mu(t)p(t)\neq0\) for all \(t\in \mathbb{T}^{k}\). The set of all regressive and rd-continuous functions \(p:\mathbb{T} \rightarrow\mathbb{R}\) will be denoted by \(\mathcal{R}=\mathcal{R}(\mathbb{T})=\mathcal{R}(\mathbb{T}, \mathbb{R})\). We define the set \(\mathcal{R}^{+}=\mathcal{R}^{+}(\mathbb{T}, \mathbb{R})=\{p\in \mathcal{R}:1+\mu(t)p(t)>0, \forall t\in\mathbb{T}\}\).
An \(n\times n\)-matrix-valued function A on a time scale \(\mathbb{T}\) is called regressive provided
and the class of all such regressive and rd-continuous functions is denoted, similar to the above scalar case, by \(\mathcal {R}=\mathcal{R}(\mathbb{T})=\mathcal {R}(\mathbb{T},\mathbb{R}^{n\times n})\).
Definition 2.4
If r is a regressive function, then the generalized exponential function \(e_{r}\) is defined by
for all \(s,t\in \mathbb{T}\), with the cylinder transformation
For more details as regards dynamic equations on time scales, we refer the reader to [1–3].
In the following, we give some basic definitions and results of almost periodic time scales. For more details, one may consult [15–18].
Let τ be a number, and we set the time scales:
Define the distance between two time scales, \(\mathbb{T}\) and \(\mathbb{T}^{\tau}\) by
where
Let
Next, for an arbitrary time scale \(\mathbb{T}\), we can introduce the following new definition.
Definition 2.5
Let \(S=\{\tilde{s}\in\mathbb{T}: \tilde{s}\mbox{ is a right- or left-scattered point in }\mathbb{T}\}\). For any \(s\in\Pi\) and any right-scattered point t in \(\mathbb{T}\cap\mathbb{T}^{s}\), define \(d_{t}=\inf_{\tilde{s}\in S}\vert t-\tilde{s}\vert \). Let the forward jump operator \(\sigma_{s}(t)=\inf\{\hat{s}\in\mathbb{T}\cap\mathbb{T}^{s}:\hat {s}>t\}, t\in\mathbb{T}\cap\mathbb{T}^{s}\). We introduce a piecewise graininess function \(\mu_{s}:\mathbb{T}\cap\mathbb{T}^{s}\rightarrow\mathbb{R}^{+}\) as follows:
We say \(\varphi:\mathbb{T}\rightarrow\mathbb{T}\) has a sub-derivative \(\varphi^{\Delta_{s}}(\hat{t})\) on \(\mathbb{T}\cap\mathbb{T}^{s}\) if
exists for \(t,\hat{t}\in\mathbb{T}\cap\mathbb{T}^{s}\) (see Figures 1-4).
In the following, we introduce some basic definitions of almost periodic time scales.
Definition 2.6
A subset S of Π is called relatively dense if there exists a positive number \(L\in\Pi\) such that \([a,a+L]_{\Pi}\cap S\neq\emptyset\) for all \(a\in\Pi\). The number L is called the inclusion length.
Then we can introduce the concept of almost periodic time scales as follows.
Definition 2.7
We say \(\mathbb{T}\) is an almost periodic time scale if for any give \(\varepsilon>0\), there exists a constant \(l(\varepsilon)>0\) such that each interval of length \(l(\varepsilon)\) contains a \(\tau(\varepsilon)\in\Pi\) such that
i.e., for any \(\varepsilon>0\), the set
is relatively dense in Π. Now τ is called the ε-translation number of \(\mathbb{T}\) and \(l(\varepsilon)\) is called the inclusion length of \(E\{\mathbb{T},\varepsilon\}\), \(E\{\mathbb{T},\varepsilon\}\) is called the ε-translation set of \(\mathbb{T}\), and for simplicity, we use the notation \(E\{\mathbb{T},\varepsilon\}:=\Pi_{\varepsilon}\). Note that \(\sup\mathbb{T}=+\infty,\inf\mathbb{T}=-\infty\).
According to Definition 2.7, we obtain the following useful lemmas.
Lemma 2.1
Let \(\mathbb{T}\) be an almost periodic time scale. If \(\tau_{1},\tau_{2}\in\Pi_{\varepsilon}\), then there exists \(\xi_{0}\in\hat{(\tau_{1},\tau_{1}+\tau_{2}]}\) such that \(\xi_{0}\in\Pi_{\varepsilon}\), where
Proof
From the condition of the lemma, we obtain
Case I. If \(d(\mathbb{T},\mathbb{T}^{\tau_{1}+\tau_{2}})<\varepsilon\), then \(\xi_{0}=\tau_{1}+\tau_{2}\), and we get the desired result.
Case II. Let \(2\varepsilon>d(\mathbb{T},\mathbb{T}^{\tau_{1}+\tau _{2}})>\varepsilon\). Note (2.1), let
and note \(f(x)\) is continuous on \(\mathbb{R}\). Now, let \(F(x)=f(x)-\varepsilon\), and we obtain
so, there exists some \(\xi\in\hat{(\tau_{1},\tau_{1}+\tau_{2})}\) such that \(F(\xi)=0\). From the continuity of F, we see that there exists some \(\xi_{0}\in\hat{(\tau_{1},\xi)}\) such that \(F(\xi_{0})<0\), i.e., \(f(\xi_{0})<\varepsilon\). This completes the proof. □
Remark 2.1
From Lemma 2.1, we can see that \(\Pi_{\varepsilon}\) is an infinite number set.
Lemma 2.2
For any \(\varepsilon>0\) and \(\tau_{1}\in\Pi_{\varepsilon}\), if \(t_{0}\in\mathbb{T}\cap\mathbb{T}^{\tau_{1}}\), then there exists \(\tau_{2}\in\Pi_{\varepsilon}\) with \(\tau_{2}>\tau_{1}\) such that \(t_{0}\in\mathbb{T}\cap\mathbb{T}^{\tau_{2}}\).
Proof
From Lemma 2.1, there exists \(\xi>\tau_{1}\) such that \(d(\mathbb{T},\mathbb{T}^{\xi})<\varepsilon\).
Case I. If for \(t_{0}\in\mathbb{T}\cap\mathbb{T}^{\tau_{1}}\), we have \(t_{0}\in\mathbb{T}\cap\mathbb{T}^{\xi}\), and then \(\tau_{2}=\xi\in\Pi_{\varepsilon}\).
Case II. If for \(t_{0}\in\mathbb{T}\cap\mathbb{T}^{\tau_{1}}\), we have \(t_{0}\notin\mathbb{T}\cap\mathbb{T}^{\xi}\), then \(t_{0}\notin\mathbb{T}^{\xi}\) and
Then we denote \(\gamma_{0}=\inf_{t\in\mathbb{T}^{\xi}} \vert t-t_{0}\vert +\varepsilon\), and we get
so we have \(\gamma_{0}<2\varepsilon\). Therefore, by (2.3), we obtain
so
and so we obtain
Hence,
Hence, we have \(\xi+\gamma_{0}\in\Pi_{\varepsilon}\) and \(t_{0}\in\mathbb{T}\cap\mathbb{T}^{\xi+\gamma_{0}}\). Hence, we can take \(\tau_{2}=\xi+\gamma_{0}>\tau_{1}\) such that \(t_{0}\in\mathbb{T}\cap\mathbb{T}^{\tau_{2}}\). This completes the proof. □
Remark 2.2
From Lemma 2.2, one see that if \(\tau_{1}\in\Pi_{\varepsilon}\) and \(t_{0}\in\mathbb{T}\cap\mathbb{T}^{\tau_{1}}\), then the set \(\{\tau\in\Pi_{\varepsilon}:t_{0}\in\mathbb{T}\cap\mathbb {T}^{\tau}\} \) is an infinite number set.
Let \(\mu_{\tau}:\mathbb{T}^{\tau}\rightarrow\mathbb{R}^{+}\) be the graininess function of \(\mathbb{T}^{\tau}\), and we obtain
Thus, from (2.4), we can simplify Definition 2.7 as follows.
Definition 2.8
Let \(\mu:\mathbb{T}\rightarrow\mathbb{R}^{+}\) be a graininess function of \(\mathbb{T}\). We say \(\mathbb{T}\) is an almost periodic time scale if for any \(\varepsilon>0\), the set
is relatively dense in Π.
Definition 2.9
Let \(\mathbb{T}\) be an almost periodic time scale, i.e., \(\mathbb{T}\) satisfies Definition 2.7. A function \(f\in C(\mathbb{T}\times D,\mathbb{E}^{n})\) is called an almost periodic function in \(t\in\mathbb{T}\) uniformly for \(x\in D\) if the \(\varepsilon_{2}\)-translation set of f
is a relatively dense set in \(\Pi_{\varepsilon_{1}}\) for all \(\varepsilon_{2}>\varepsilon_{1}>0\) and for each compact subset S of D; that is, for any given \(\varepsilon_{2}>\varepsilon_{1}>0\) and each compact subset S of D, there exists a constant \(l(\varepsilon_{2},S)>0\) such that each interval of length \(l(\varepsilon_{2},S)\) contains a \(\tau(\varepsilon_{2},S)\in E\{\varepsilon_{2},f,S\}\) such that
This τ is called the \(\varepsilon_{2}\)-translation number of f and \(l(\varepsilon_{2},S)\) is called the inclusion length of \(E\{\varepsilon_{2},f,S\}\).
Remark 2.3
Note that Definition 5.5 from [18] is equivalent to Definition 2.9. For Definition 5.5 from [18], we note the following:
-
(i)
for all \(t\in\mathbb{T}\cap (\cup\mathbb{T}^{\Pi_{\varepsilon _{1}}} )\), there exists \(-\tau\in\Pi_{\varepsilon_{1}}\) such that \(t\in\mathbb{T}\cap\mathbb{T}^{-\tau}\). From Remark 2.2, we know that the set \(\{-\tau\in\Pi_{\varepsilon_{1}}:t\in\mathbb{T}\cap\mathbb {T}^{-\tau}\}\) is an infinite number set.
-
(ii)
\(d (\mathbb{T}\cap (\cup\mathbb{T}^{\Pi _{\varepsilon_{1}}} ),\mathbb{T} )<\varepsilon_{1}\).
-
(iii)
According to (i) from Remark 2.3, for all \(t\in\mathbb{T}\cap (\cup\mathbb{T}^{\Pi_{\varepsilon _{1}}} )\), there exists an infinite number set \(\bar{\Pi}\subset\Pi_{\varepsilon_{1}}\) such that \(t+\tau\in\mathbb{T}\).
Definition 2.10
Let \(\mathbb{T}\) be an almost periodic time scale and assume that \(\{\tau_{i}\}\subset\mathbb{T}\) satisfying the derived sequence \(\{\tau_{i}^{j}\}\), \(i,j\in\mathbb{Z}\), is equipotentially almost periodic. We call a function \(\varphi\in PC_{rd}(\mathbb{T},\mathbb{R}^{n})\) almost periodic if:
-
(i)
for any \(\varepsilon>0\), there is a positive number \(\delta=\delta(\varepsilon)\) such that if the points \(t^{\prime}\) and \(t^{\prime\prime}\) belong to the same interval of continuity and \(\vert t^{\prime}-t^{\prime\prime} \vert <\delta\), then \(\Vert \varphi(t^{\prime})-\varphi(t^{\prime\prime})\Vert <\varepsilon\);
-
(ii)
for any \(\varepsilon_{2}>\varepsilon_{1}>0\), there is a relative dense set Γ of \(\varepsilon_{2}\)-almost periods such that if \(\tau\in\Gamma\subset\Pi_{\varepsilon_{1}}\), then \(\Vert \varphi (t+\tau)-\varphi(t)\Vert <\varepsilon_{2}\) for all \(t\in\mathbb{T}\cap(\cup\mathbb{T}^{\Pi_{\varepsilon _{1}}})\) which satisfy the condition \(\vert t-\tau_{i}\vert >\varepsilon_{2}\), \(i\in\mathbb{Z}\).
Remark 2.4
From Definition 2.5, if \(\mathbb{T}\) is a periodic time scale, then one can take a periodicity set \(\tilde{\Pi}\subset\Pi\) of \(\mathbb{T}\), such that \(\mu_{s}(t)=\mu(t)\) for all \(t\in\mathbb{T}\cap\mathbb{T}^{s}=\mathbb{T}, s\in\tilde{\Pi}\), \(d_{t}=d_{\sigma(t)}=0\). If \(\mathbb{T}\) is an almost periodic time scale from [15], then one can take a ε-translation number set \(\Pi_{\varepsilon}\subset\Pi \)of \(\mathbb{T}\), such that \(\vert \mu_{s}(t)-\mu(t)\vert <\varepsilon\) for all \(t\in\mathbb{T}\cap\mathbb{T}^{s}\), \(s\in\Pi_{\varepsilon}\), i.e., for all right-scattered and right-dense points \(t\in\mathbb{T}\cap\mathbb{T}^{s}\), one can obtain \(d_{t},d_{\sigma(t)}<\varepsilon\).
According to Definition 2.5 and Remark 2.4, we can introduce a concept of ε-equivalent impulsive functional dynamic equations on almost periodic time scales as follows.
Definition 2.11
Let \(\mathbb{T}\) be an almost periodic time scale. Consider the following impulsive functional dynamic equations with sub-derivative \(x^{\Delta_{-s}}(t)\) on \(\mathbb{T}\cap\mathbb{T}^{-s}\):
where \(-s\in\Pi\), \(x_{t}(s)=x(t+s)\). We say the functional dynamic equations
are ε-equivalent impulsive functional dynamic equations for (2.5) if \(-s\in\Pi_{\varepsilon}\subset\Pi\). Note that (2.6) can also be written as
where \(t\in\mathbb{T}\cap (\cup\mathbb{T}^{\Pi_{\varepsilon}})\).
Remark 2.5
Let \(\mathbb{T}\) be an almost periodic time scale. According to Theorem 5.2 and Remark 5.7 from [18], one can observe that we say the dynamic equations
have an almost periodic solution on the almost periodic time scale \(\mathbb{T}\) if (2.7) has an almost periodic solution on \(\mathbb{T}\cap\mathbb{T}^{-s}\) for any \(-s\in\Pi_{\varepsilon}\).
Remark 2.6
According to Theorems 5.5 and 5.6 from [18], for (2.7), if we let \(x_{t} (\tau(t) )=x (t-\tau(t) ), \tau:\mathbb {T}\rightarrow\Pi_{\varepsilon}\), then it becomes
if we let \(x_{t}(\theta)=\int_{a}^{b}x(t+\theta)\Delta_{\Pi_{\varepsilon}}\theta\), and then it becomes
Lemma 2.3
([19])
Let A be a compact convex subset of a locally convex (linear topological) space and f be a continuous map of A into itself. Then f has a fixed point.
3 Characterizations of compact sets in a regulated functional space on time scales
In this section, we introduce some new definitions and establish new characterization results of compact sets in functional spaces on time scales which will play an important role in studying abstract discontinuous dynamic equations on time scales.
First, let \(\delta_{L}^{+\infty},\delta_{R}^{+\infty}:[T_{0},+\infty )_{\mathbb{T}}\rightarrow\mathbb{R}^{+}\cup\{0\}\). Similar to [20], we can extend the Δ-gauge for \([a,b]_{\mathbb{T}}\) to \([T_{0},+\infty)_{\mathbb{T}}\).
Definition 3.1
We say \(\delta^{+\infty}=(\delta_{L}^{+\infty},\delta_{R}^{+\infty})\) is a Δ-gauge for \([T_{0},+\infty)_{\mathbb{T}}\) provided \(\delta_{L}^{+\infty}(t)>0\) on \((T_{0},+\infty)_{\mathbb{T}}\) and \(\delta_{L}^{+\infty}(T_{0})\geq0\), \(\delta_{R}^{+\infty}(t)>0\) on \([T_{0},+\infty)_{\mathbb{T}}\) and \(\delta_{R}^{+\infty}(t)\geq\mu(t)\) for all \(t\in[T_{0},+\infty)_{\mathbb{T}}\).
For a Δ-gauge, \(\delta^{+\infty}\), we always assume \(\delta_{L}^{+\infty}(T_{0})\geq0\) (we will sometimes not even point this out).
For \(T_{0}\in\mathbb{T}\) and a Banach space \((X, \Vert \cdot \Vert )\), let
Endow \(\mathfrak{G} ([T_{0},+\infty)_{\mathbb{T}}, X )\) with the norm \(\Vert x\Vert _{\infty}=\sup_{t\in[T_{0},+\infty)_{\mathbb{T}}}\Vert x(t)\Vert \).
Lemma 3.1
\((\mathfrak{G} ([T_{0},+\infty)_{\mathbb{T}}, X ),\Vert \cdot \Vert _{\infty} )\) is a Banach space.
Proof
Let \(\{x_{n}\}\) be an arbitrary Cauchy sequence in \(\mathfrak{G}\), i.e., for any \(\varepsilon>0\), there exists N such that \(n,m>N\) implies
Since X is a Banach space, for each \(t\in[T_{0},+\infty)_{\mathbb{T}}\), \(\{x_{n}(t)\}\subset X\) is a Cauchy sequence so \(x_{n}(t)\rightarrow x(t)\). Hence, let \(m\rightarrow+\infty\) in (3.1), and we have
Furthermore, since \(\{x_{n}\}\subset\mathfrak{G}\), for any \(\varepsilon>0\) and \(t_{0}\in[T_{0},+\infty)_{\mathbb{T}}\), there exists \(\delta>0\), \(t\in (t_{0}-\delta_{L}^{+\infty}(t_{0}),t_{0} )_{\mathbb{T}}\) with
Hence, we obtain
Similarly, for \(t\in (t_{0},t_{0}+\delta_{R}^{+\infty}(t_{0}) )_{\mathbb{T}}\), we also obtain
Therefore, from (3.2) and (3.3), we obtain \(x\in\mathfrak{G}\). Hence, \(\mathfrak{G}\) is a Banach space. □
In the following, we will introduce the definition of a partition \(\mathcal{P}\) for \([T_{0},+\infty)_{\mathbb{T}}\).
Definition 3.2
A partition \(\mathcal{P}\) for \([T_{0},+\infty)_{\mathbb{T}}\) is a division of \([T_{0},+\infty)_{\mathbb{T}}\) denoted by
with \(t_{i}^{\mathcal{P}}>t_{i-1}^{\mathcal{P}}\) for \(i=1,2,\ldots\) and \(t_{i},\eta_{i}\in\mathbb{T}\). We call the points \(\eta_{i}\) tag points and the points \(t_{i}\) end points.
Definition 3.3
If \(\delta^{+\infty}\) is a Δ-gauge for \([T_{0},+\infty)_{\mathbb{T}}\), then we say a partition \(\mathcal {P}\) is \(\delta^{+\infty}\)-fine if
for \(i=1,2,\ldots\) .
Remark 3.1
From Definition 3.3, one can observe that if a partition \(\mathcal{P}\) is \(\delta^{+\infty}\)-fine for \([T_{0},+\infty)_{\mathbb{T}}\), then for any closed interval \([a,b]_{\mathbb{T}}\subset[T_{0},+\infty)_{\mathbb{T}}\), there must exist a δ-fine partition \(\mathcal{P}^{*}\) and \(\mathcal {P}^{*}\subset\mathcal{P}\).
Definition 3.4
A set \(\mathfrak{A}\subset\mathfrak{G} ([T_{0},+\infty)_{\mathbb {T}},X )\) is called uniformly equi-regulated, if it has the following property: for every \(\varepsilon>0\) and \(t_{0}\in[T_{0},+\infty)_{\mathbb{T}}\), there is a \(\delta^{+\infty}=(\delta_{L}^{+\infty},\delta_{R}^{+\infty})\) such that
-
(a)
If \(x\in\mathfrak{A}\), \(t^{\prime}\in[T_{0},+\infty )_{\mathbb{T}}\) and \(t_{0}-\delta_{L}^{+\infty}(t_{0})< t^{\prime}< t_{0}\), then \(\Vert x(t_{0}^{-})-x(t^{\prime})\Vert <\varepsilon\).
-
(b)
If \(x\in\mathfrak{A}\), \(t^{\prime\prime}\in[T_{0},+\infty )_{\mathbb{T}}\) and \(t_{0}< t^{\prime\prime}< t_{0}+\delta_{R}^{+\infty}(t_{0})\), then \(\Vert x(t_{0}^{+})-x(t^{\prime\prime})\Vert <\varepsilon\).
From Definition 3.4, we obtain the following theorem.
Theorem 3.1
A set \(\mathfrak{A}\subset\mathfrak{G} ([T_{0},+\infty)_{\mathbb {T}},X )\) is uniformly equi-regulated, if and only if, for every \(\varepsilon>0\), there is a \(\delta^{+\infty}\)-fine partition \(\mathcal{P}\):
such that
for every \(x\in\mathfrak{A}\) and \([t,t^{\prime}]_{\mathbb{T}}\subset(t_{j-1}^{\mathcal {P}},t_{j}^{\mathcal{P}})_{\mathbb{T}}, j=1,2,\ldots\) .
Proof
Let \(\varepsilon>0\) be given and let
such that there is a partition \(\mathcal{P}\):
for which (3.4) holds with \(j=1,2,\ldots,k\).
(i) If \(\mathfrak{A}\subset\mathfrak{G} ([T_{0},+\infty)_{\mathbb {T}},X )\) is uniformly equi-regulated, then there is a \(\delta_{R}^{+\infty}(T_{0})>0\) such that
for every \(x\in\mathfrak{A}\) and \(t\in (T_{0},T_{0}+\delta_{R}^{+\infty}(T_{0}) )_{\mathbb{T}}\). Denote \(\xi_{1}=T_{0}+\delta_{R}^{+\infty}(T_{0}), T_{0}=t_{0}^{\mathcal {P}}< t_{1}^{\mathcal{P}}=\xi_{1}\). Thus, for \([t,t^{\prime}]_{\mathbb{T}}\subset(T_{0},\xi_{1})_{\mathbb{T}}\) and \(x\in\mathfrak{A}\), the inequalities
holds and we have \(\xi_{1}\in\mathfrak{D}\).
Let \(\xi_{2}>\xi_{1}>T_{0}\). Since \(x\in\mathfrak{A}\), then there is a \(\delta_{L}^{+\infty}(\xi_{2})\) such that
for every \(x\in\mathfrak{A}\) and \(t\in (\xi_{2}-\delta_{L}^{+\infty}(\xi_{2}),\xi_{2} )_{\mathbb{T}}\cap[T_{0},+\infty)_{\mathbb{T}}\).
Let \(\tilde{\xi}\in (\xi_{2}-\delta_{L}(\xi_{2}),\xi_{2} )_{\mathbb{T}}\) and a partition \(T_{0}=t_{0}^{\mathcal{P}}< t_{1}^{\mathcal {P}}< t_{2}^{\mathcal{P}}<\cdots<t_{k}^{\mathcal{P}}=\tilde{\xi}\) be such that (3.4) holds with \(j=1,2,\ldots,k\). Denote \(t_{k+1}^{\mathcal{P}}=\xi_{2}\). Then for \([t,t^{\prime}]_{\mathbb{T}}\subset(t_{k}^{\mathcal {P}},t_{k+1}^{\mathcal{P}})_{\mathbb{T}}\) and \(x\in\mathfrak{A}\), we have
which implies \(\xi_{2}\in\mathfrak{D}\). Thus we use the same argument as before to find that \(\xi_{i}\in(\xi_{i-1},+\infty)_{\mathbb{T}}\) such that \(\xi_{i}\in\mathfrak{D}, i=1,2,\ldots\) . Hence \(\xi_{\infty}=\sup\mathfrak{D}=+\infty\) and we are finished.
(ii) Reciprocally, for any given \(\varepsilon>0\), there is a \(\delta^{+\infty}\)-fine partition \(\mathcal{P}\): \(T_{0}=t_{0}^{\mathcal{P}}< t_{1}^{\mathcal{P}}< t_{2}^{\mathcal {P}}<\cdots<t_{k}^{\mathcal{P}}<\cdots<\cdots\) such that
for every \(x\in\mathfrak{A}\) and \([t,t^{\prime}]_{\mathbb{T}}\subset(t_{j-1}^{\mathcal {P}},t_{j}^{\mathcal{P}})_{\mathbb{T}}, j=1,2,\ldots\) .
Let \(\eta_{j}\) be a tag of \((t_{j-1},t_{j})_{\mathbb{T}}\). Since this partition is \(\delta^{+\infty}\)-fine, we have \((t_{j-1}^{\mathcal{P}},t_{j}^{\mathcal {P}})_{\mathbb{T}}\subset (\eta_{j}-\delta_{L}^{+\infty}(\eta _{j}),\eta_{j}+\delta_{R}^{+\infty}(\eta_{j}) )_{\mathbb{T}}\). Therefore, the inequality (3.5) holds, for \(t,t^{\prime}\in (\eta_{j}-\delta_{L}^{+\infty}(\eta_{j}),\eta _{j}+\delta_{R}^{+\infty}(\eta_{j}) )_{\mathbb{T}}\). Taking \(t=\eta_{j}^{-}\) and \(t^{\prime}\in (\eta_{j}-\delta_{L}^{+\infty}(\eta_{j}),\eta_{j} ]_{\mathbb{T}}\), then the inequality (3.5) remains true. Also, if \(t=\eta_{j}^{+}\) and \(t^{\prime}\in [\eta_{j},\eta_{j}+\delta_{R}^{+\infty}(\eta_{j}) )_{\mathbb{T}}\), the inequality (3.5) is fulfilled. Then, from Definition 3.4, it follows that \(\mathfrak{A}\) is uniformly equi-regulated. This completes the proof. □
Definition 3.5
Let \(\mathfrak{A}\subset\mathfrak{G} ([T_{0},+\infty)_{\mathbb {T}},X )\). We say \(\mathfrak{A}\) is uniformly Cauchy if for any \(\varepsilon>0\), there exist \(T_{1}\in(T_{0},+\infty)_{\mathbb{T}}\) and a \(\delta^{+\infty}=(\delta_{L}^{+\infty},\delta_{R}^{+\infty})\)-fine partition \(\mathcal{P}\):
such that:
-
(a)
If \(x\in\mathfrak{A}\), \(t^{\prime},t_{0}\in[T_{1},+\infty )_{\mathbb{T}}\) and \(t_{0}-\delta_{L}^{+\infty}(t_{0})< t^{\prime}< t_{0}\), then \(\Vert x(t_{0}^{-})-x(t^{\prime})\Vert <\varepsilon\).
-
(b)
If \(x\in\mathfrak{A}\), \(t^{\prime\prime},t_{0}\in[T_{1},+\infty )_{\mathbb{T}}\) and \(t_{0}< t^{\prime\prime}< t_{0}+\delta_{R}^{+\infty}(t_{0})\), then \(\Vert x(t_{0}^{+})-x(t^{\prime\prime})\Vert <\varepsilon\).
-
(c)
If \(x\in\mathfrak{A}\), \(t^{\prime}\in[a^{\prime},b^{\prime}]_{\mathbb{T}}\subset(t_{j-1}^{\mathcal {P}},t_{j}^{\mathcal {P}})_{\mathbb{T}}, t^{\prime\prime}\in[a^{\prime\prime},b^{\prime\prime}]_{\mathbb{T}}\subset (t_{i-1}^{\mathcal {P}},t_{i}^{\mathcal{P}})_{\mathbb{T}}\), \(i,j=1,2,\ldots\) , then \(\Vert x(t^{\prime})-x(t^{\prime\prime})\Vert <\varepsilon\).
Remark 3.2
From Definition 3.5, one can observe that if \(\mathfrak{A}\subset\mathfrak{G} ([T_{0},+\infty)_{\mathbb {T}},X )\) is uniformly Cauchy, then there exists \(T_{1}\in(T_{0},+\infty)_{\mathbb{T}}\) such that \(\mathfrak{A}\) is uniformly equi-regulated on \([T_{1},+\infty)_{\mathbb{T}}\).
Theorem 3.2
Assume that a set \(\mathfrak{A}\subset\mathfrak{G} ([T_{0},+\infty)_{\mathbb {T}},X )\) is uniformly equi-regulated and uniformly Cauchy, and for any \(t\in[T_{0},+\infty)_{\mathbb{T}}\), there is a number \(\beta_{t}\) such that, for \(x\in\mathfrak{A}\),
Then there is a constant \(K>0\) such that \(\Vert x(t)-x(T_{0})\Vert \leq K\), for every \(x\in\mathfrak{A}\) and \(t\in[T_{0},+\infty)_{\mathbb{T}}\).
Proof
Since \(\mathfrak{A}\) is uniformly Cauchy, according to Definition 3.5, there exists \(T_{1}\in(T_{0},+\infty)_{\mathbb{T}}\) such that
Let \(\mathfrak{C}\) be the set of all \(\tau\in(T_{0},T_{1}]_{\mathbb{T}}\) such that there exists \(K_{\tau}>0\) such that
for any \(x\in\mathfrak{A}\) and \(t\in[T_{0},\tau]_{\mathbb{T}}\).
Since \(\mathfrak{A}\) is uniformly equi-regulated, there is a \(\delta_{R}^{+\infty}(T_{0})\) such that
for every \(x\in\mathfrak{A}\) and \(t\in (T_{0},T_{0}+\delta_{R}^{+\infty}(t_{0}) ]_{\mathbb{T}}\). This fact together with the hypothesis implies that
for every \(t\in (T_{0},T_{0}+\delta_{R}(T_{0}) ]_{\mathbb{T}}\) and \(x\in\mathfrak{A}\). Hence, \((T_{0},T_{0}+\delta_{R}(T_{0}) ]_{\mathbb{T}}\subset \mathfrak{C}\).
Denote \(\tau_{0}=\sup\mathfrak{C}\). As a consequence of the uniformly equi-regulatedness of \(\mathfrak{A}\), there is a \(\delta_{L}^{+\infty}(\tau_{0})>0\) such that \(\Vert x(t)-x(\tau_{0}^{-})\Vert \leq1\) for \(x\in\mathfrak{A}\) and \(t\in [\tau_{0}-\delta_{L}^{+\infty}(\tau_{0}),\tau_{0} )_{\mathbb{T}}\).
Let \(\tau\in\mathfrak{C}\cap [\tau_{0}-\delta_{L}^{+\infty}(\tau _{0}),\tau_{0} )_{\mathbb{T}}\). Then
for every \(x\in\mathfrak{A}\) and \(t\in(\tau,\tau_{0})_{\mathbb{T}}\). Also,
These inequalities and this hypothesis imply that
Thus \(\tau_{0}\in\mathfrak{C}\), where \(K_{\tau_{0}}=\beta_{\tau_{0}}+1+K_{\tau}\).
If \(\tau_{0}< T_{1}\), then, since \(\mathfrak{A}\) is uniformly equi-regulated, there is a \(\delta_{R}^{+\infty}(\tau_{0})>0\) such that
which implies
for \(t\in (\tau_{0},\tau_{0}+\delta_{R}^{+\infty}(\tau_{0}) ]_{\mathbb{T}}\) and \(x\in\mathfrak{A}\). Thus \(\tau_{0}+\delta_{R}^{+\infty}(\tau_{0})\in\mathfrak{C}\), which contradicts the fact that \(\tau_{0}=\sup\mathfrak{C}\). Therefore, \(\tau_{0}=T_{1}\). Hence, by (3.8), we have
Combining with (3.7), we have
for \(t\in(T_{1},+\infty)_{\mathbb{T}}\). Then we can get the desired result. □
Now, we give some sufficient conditions to guarantee that \(\mathfrak{A}\) is relatively compact in \(\mathfrak{G} ([T_{0},+\infty)_{\mathbb{T}},X )\).
Theorem 3.3
Let \(\mathfrak{A}\subset\mathfrak{G} ([T_{0},+\infty)_{\mathbb {T}},X )\) be uniformly equi-regulated and uniformly Cauchy, for every \(t\in[T_{0},+\infty)_{\mathbb{T}}\), and let the set \(\{x(t);x\in\mathfrak{A}\}\) be relatively compact in X. Then the set \(\mathfrak{A}\) is relatively compact in \(\mathfrak{G} ([T_{0},+\infty)_{\mathbb{T}},X )\).
Proof
Since \(\mathfrak{A}\) is uniformly Cauchy, \(\forall x\in\mathfrak{A}\), by (a), (b) from Definition 3.5, for any \(\varepsilon>0\), there exists \(T_{1}\in(T_{0},+\infty)_{\mathbb{T}}\), there is a \(\delta^{+\infty}=(\delta_{L}^{+\infty},\delta_{R}^{+\infty})\)-fine partition \(\mathcal{P}_{1}\):
such that
for each \(j=0,1,2,\ldots\) . From (c) in Definition 3.5, we have
and
From (3.10) and (3.12), we have
for each \(j=0,1,2,\ldots\) . Similarly, from (3.9), (3.11), and (3.13), we also have
for each \(j=0,1,2,\ldots\) . Hence, from (3.12), we obtain
From (3.10) and (3.14), we get
Similarly, from (3.11) and (3.15), we also obtain
so we obtain
Further, since \(\mathfrak{A}\) is uniformly equi-regulated on \([T_{0},+\infty)_{\mathbb{T}}\), given \(\varepsilon>0\), there is a \(\delta^{+\infty}\)-fine partition \(\mathcal{P}_{2}\):
such that
for every \([t,t^{\prime}]_{\mathbb{T}}\subset(t_{j-1}^{\mathcal {P}_{2}},t_{j}^{\mathcal {P}_{2}})_{\mathbb{T}}, j\in\{1,2,\ldots,K\}\). Obviously, \(\mathcal {P}=\mathcal{P}_{1}\cup\mathcal{P}_{2}\) is a \(\delta^{+\infty}\)-fine partition for \([T_{0},+\infty)_{\mathbb{T}}\).
Let \(\{x_{n};n\in\mathbb{N}\}\) be a given sequence. By assumption, the set
is relatively compact in X for every \(j=0,1,2,\ldots,K\). Therefore, we can find a subsequence of indices \(\{n_{k};k\in\mathbb{N}\}\subset\{n;n\in\mathbb{N}\}\) such that the set
is also relatively compact in X for every \(j=0,1,\ldots,K\). Using this fact, we can find the elements \(\{y_{j};j=0,1,2,\ldots,K,K+1,K+2\}\subset X\) such that \(y_{j}=\lim_{k\rightarrow\infty}x_{n_{k}}(t_{j}^{\mathcal {P}_{2}})\), \(y_{K+1}=\lim_{k\rightarrow\infty}x_{n_{k}} (T_{1}+\delta _{R}^{+\infty}(T_{1}) )\) and \(y_{K+2}=\lim_{k\rightarrow\infty}x_{n_{k}}(T_{1}^{+})\). Therefore, there exists \(N\in\mathbb{N}\) such that, for every \(k>N\), we have
Let \(q>k\), and then
for any \(j=0,1,\ldots,K\). Similarly, we also have
Now, let \(t\in[T_{0},T_{1}]_{\mathbb{T}}\) and \(q\in\mathbb{N}\) such that \(q>k\). Then \(t=t_{j}^{\mathcal{P}_{2}}\) for some \(j\in\{0,1,\ldots,K\}\) and, in this case, we have
or \(t\in(t_{j-1}^{\mathcal{P}_{2}},t_{j}^{\mathcal {P}_{2}})_{\mathbb{T}}\) for some \(j\in\{1,2,\ldots,K\}\) and, in this case, we have
Moreover, from (3.16), let \(t\in[T_{1},+\infty)_{\mathbb{T}}\), we also obtain
for \(t\in [t_{j-1}^{\mathcal {P}_{1}}+\delta_{R}^{+\infty}(t_{j-1}^{\mathcal {P}_{1}}),t_{j}^{\mathcal{P}_{1}}-\delta_{L}^{+\infty}(t_{j}^{\mathcal {P}_{1}}) ]_{\mathbb{T}}, j\in\{1,2,\ldots\}\).
Similarly, from (3.17), we also obtain
for \(t\in [t_{j}^{\mathcal {P}_{1}}-\delta_{L}^{+\infty}(t_{j}^{\mathcal{P}_{1}}),t_{j}^{\mathcal {P}_{1}} )_{\mathbb{T}}, j\in\{0,1,2,\ldots\}\).
From (3.18), we have
for \(t\in (t_{j}^{\mathcal{P}_{1}},t_{j}^{\mathcal {P}_{1}}+\delta_{R}^{+\infty}(t_{j}^{\mathcal {P}_{1}}) ]_{\mathbb{T}}, j\in\{0,1,2,\ldots\}\).
Thus, for \(t\in[T_{0},+\infty)_{\mathbb{T}}\), the sequence
is a Cauchy sequence. Since X is complete, \(\lim_{k\rightarrow\infty}x_{n_{k}}(t)\) exists. Hence, any \(\{x_{n}\}\subset\mathfrak{A}\) has a convergent subsequence which means that \(\mathfrak{A}\) is a relatively compact set. The proof is complete. □
In the following, let \(X=\mathbb{R}^{n}\); we will give some sufficient conditions to guarantee that \(\mathfrak{A}\subset\mathfrak{G} ([T_{0},+\infty)_{\mathbb {T}},\mathbb{R}^{n} )\) is relatively compact.
Theorem 3.4
Let a set \(\mathfrak{A}\subset\mathfrak{G} ([T_{0},+\infty)_{\mathbb {T}},\mathbb{R}^{n} )\). If \(\mathfrak{A}\) is relatively compact in the sup-norm topology, then it is uniformly equi-regulated. If \(\mathfrak{A}\) is uniformly equi-regulated and uniformly Cauchy, satisfying (3.6), then \(\mathfrak{A}\) is relatively compact in \(\mathfrak{G} ([T_{0},+\infty)_{\mathbb{T}},\mathbb{R}^{n} )\).
Proof
A subset A of a Banach space X is relatively compact if and only if it is totally bounded, i.e., for every \(\varepsilon>0\), there is a finite ε-net F for A, i.e., such a subset \(F=\{x_{1},x_{2},\ldots,x_{k}\}\) of X that, for every \(x\in A\), there is \(x_{n}\in F\) satisfying \(\Vert x-x_{n}\Vert \leq\varepsilon\).
(i) Assume that \(\mathfrak{A}\) is relatively compact. Then it is bounded by a constant C, and evidently (3.6) is satisfied with \(\beta_{t}=2C\) for every \(t\in[T_{0},+\infty)_{\mathbb{T}}\).
Let \(t_{0}\in[T_{0},+\infty)_{\mathbb{T}}\) and ε be given. Let \(\{x_{1},x_{2},\ldots,x_{k}\}\subset\mathfrak{G} ([T_{0},+\infty )_{\mathbb{T}},\mathbb{R}^{n} )\) be a finite \(\varepsilon/3\)-net for \(\mathfrak{A}\). For every \(n=1,2,\ldots,k\), there is a \(\delta_{n}^{+\infty}= (\delta_{L}^{+\infty, n},\delta_{R}^{+\infty, n} )\) such that
and
Denote \(\delta^{+\infty}= (\min_{1\leq n\leq k} (\delta_{L}^{+\infty,n}(t_{0}) ),\min_{1\leq n\leq k} (\delta_{R}^{+\infty,n}(t_{0}) ) )= (\delta _{L}^{+\infty}(t_{0}),\delta_{R}^{+\infty}(t_{0}) )\).
For arbitrary \(x\in\mathfrak{A}\), we can find \(x_{n}\) such that \(\Vert x-x_{n}\Vert _{\infty}\leq\varepsilon/3\) for every \(t\in (t_{0},t_{0}+\delta_{R}^{+\infty}(t_{0}) )_{\mathbb {T}}\cap[T_{0},+\infty)_{\mathbb{T}}\), and we have the inequality
and similarly, \(\vert x(t_{0}^{-})-x(t)\vert <\varepsilon\) for \(t\in (t_{0}-\delta_{L}^{+\infty}(t_{0}),t_{0} )_{\mathbb{T}}\).
(ii) Assume that \(\mathfrak{A}\) is uniformly equi-regulated, (3.6) holds, i.e., there exists \(\tilde{\alpha}>0\) such that \(\vert x(T_{0})\vert \leq\tilde{\alpha}\) for every \(x\in\mathfrak{A}\).
From Theorem 3.2, there is K such that \(\vert x(t)-x(T_{0})\vert \leq K\) for any \(x\in\mathfrak{A}\) and \(t\in[T_{0},+\infty)_{\mathbb{T}}\). Hence, \(\vert x(t)\vert \leq \vert x(t)+x(T_{0})\vert +\vert x(T_{0})\vert \leq K+\tilde{\alpha}\). If we denote \(\tilde{\gamma}=K+\tilde{\alpha}\), then \(\Vert x\Vert \leq\tilde{\gamma}\) for \(x\in\mathfrak{A}\). Since \(\mathfrak{A}\) is uniformly bounded in \(\mathbb{R}^{n}\), \(\mathfrak{A}\) is a sequentially compact closed set in \(\mathbb{R}^{n}\), i.e., \(\mathfrak{A}\) is relatively compact in \(\mathbb{R}^{n}\). From Theorem 3.3, one can obtain \(\mathfrak{A}\) is a relatively compact set in \(\mathfrak{G} ([T_{0},+\infty)_{\mathbb{T}},\mathbb{R}^{n} )\). This completes the proof. □
Remark 3.3
If \(\tilde{\mathfrak{A}}\) is uniformly bounded, equi-continuous and uniformly Cauchy, then \(\tilde{\mathfrak{A}}\subset\mathfrak{A}\). Hence, one can observe that Lemma 4 from [21] is just a particular case of Theorem 3.4.
Remark 3.4
For \(a,b\in\mathbb{T}\), let
and according to each \(x\in\mathfrak{G}_{1}\), we can construct the set \(\mathfrak{G}_{2} ([a,+\infty)_{\mathbb{T}}, X )\), satisfying, for each \(\tilde{x}\in\mathfrak{G}_{2}\):
One can immediately see that \(\mathfrak{G}_{1}\) and \(\mathfrak{G}_{2}\) are topological homeomorphic, i.e., there exists a homeomorphic mapping \(f: \mathfrak{G}_{1}\rightarrow\mathfrak{G}_{2}\) such that \(f(x)=\tilde{x}\) and \(f^{-1}(\tilde{x})=x\). Since for any set \(\mathfrak{A}\subset\mathfrak{G}_{1}\), according to the construction of the set \(\mathfrak{G}_{2}\), one can see that \(f(\mathfrak{A})\) is uniformly Cauchy. If the set \(\{f(x);x\in\mathfrak{A}\}\) is relatively compact in X, then, by Theorem 3.3, the relative compactness of \(f(\mathfrak{A})\) is decided by the uniformly equi-regulatedness of \(f(\mathfrak{A})\). However, for all \(t\in(b,+\infty)_{\mathbb{T}}\), obviously, \(f(\mathfrak{A})\) is uniformly equi-regulated. Thus the uniformly equi-regulatedness of \(f(\mathfrak{A})\) on \([a,+\infty)_{\mathbb{T}}\) is actually decided by the equi-regulatedness of \(\mathfrak{A}\) on \([a,b]_{\mathbb{T}}\). Therefore, if \(\mathfrak{A}\) is equi-regulated on \([a,b]_{\mathbb{T}}\), then \(f(\mathfrak{A})\subset\mathfrak{G}_{2}\) is relatively compact, i.e., \(\mathfrak{A}\) is relatively compact in \(\mathfrak{G}_{1}\).
From Theorem 3.4 and Remark 3.4, we can obtain the following corollaries.
Corollary 3.1
Let \(X=\mathbb{R}^{n}\). A set \(\mathfrak{A}\subset\mathfrak{G}_{1}\) is relatively compact if and only if it is equi-regulated and for every \(t\in[a,b]_{\mathbb{T}}\), the set \(\{x(t);x\in\mathfrak{A}\}\) is bounded in \(\mathbb{R}^{n}\).
Proof
If \(\mathfrak{A}\subset\mathfrak{G}_{1}\) is relatively compact, then \(\mathfrak{A}\) is totally bounded in \(\mathbb{R}^{n}\), and then for every \(t\in[a,b]_{\mathbb{T}}\), \(\{x(t);x\in\mathfrak{A}\}\) is bounded in \(\mathbb{R}^{n}\). Moreover, by Remark 3.4, there exists a homeomorphic mapping \(f: \mathfrak{G}_{1}\rightarrow\mathfrak{G}_{2}\) such that \(f(\mathfrak{A})\subset\mathfrak{G}_{2}\) is relatively compact, which means that \(f(\mathfrak{A})\subset\mathfrak{G}_{2}\) is equi-regulated on \([a,b]_{\mathbb{T}}\) according to Theorem 3.4. Since f is continuous and a one-to-one mapping, \(\mathfrak{A}\) is equi-regulated on \([a,b]_{\mathbb{T}}\).
If \(\mathfrak{A}\subset\mathfrak{G}_{1}\) is equi-regulated and for every \(t\in[a,b]_{\mathbb{T}}\), the set \(\{x(t);x\in\mathfrak{A}\}\) is bounded in \(\mathbb{R}^{n}\), then \(f(\mathfrak{A})\subset\mathfrak{G}_{2}\) is equi-regulated and for every \(t\in[a,+\infty)_{\mathbb{T}}\), the set \(\{f(x); f(x)\in f(\mathfrak{A})\}\) is bounded in \(\mathbb{R}^{n}\), according to Theorem 3.3, \(f(\mathfrak{A})\) is relatively compact in \(\mathfrak{G}_{2}\), i.e., \(\mathfrak{A}\) is relatively compact in \(\mathfrak{G}_{1}\). This completes the proof. □
Corollary 3.2
Let \(\mathfrak{A}\subset\mathfrak{G}_{1}\) be equi-regulated, and for every \(t\in[a,b]_{\mathbb{T}}\), let the set \(\{x(t);x\in\mathfrak{A}\}\) be relatively compact in X. Then the set \(\mathfrak{A}\) is relatively compact in \(\mathfrak{G}_{1} ([a,b]_{\mathbb{T}},X )\).
Proof
From the assumption of this corollary and Remark 3.4, by Theorem 3.3, we can see that the set \(f(\mathfrak{A})\) is relatively compact in \(\mathfrak{G}_{2} ([a,+\infty)_{\mathbb{T}},X )\), i.e., the set \(\mathfrak{A}\) is relatively compact in \(\mathfrak{G}_{1} ([a,b]_{\mathbb{T}},X )\). This completes the proof. □
Remark 3.5
In fact, if we let \(\mathbb{T}=\mathbb{R}\), Corollaries 3.1 and 3.2 can include Corollary 2.4 from [22] and Theorem 1.13 from [23], respectively.
Similarly, for \(\bar{T}_{0}\in\mathbb{T}\) and a Banach space \((X, \Vert \cdot \Vert )\), let
From Definition 3.1, we can also introduce a \(\delta^{-\infty}\) and extend the Δ-gauge for \([a,b]_{\mathbb{T}}\) to \((-\infty,\bar{T_{0}}]_{\mathbb{T}}\), and then we can repeat the same above discussion, and the following theorems can also be obtained (we omit the proofs).
Theorem 3.5
Assume that a set \(\mathfrak{A}\subset\mathfrak{G} ((-\infty,\bar{T}_{0} ]_{\mathbb{T}}, X )\) is uniformly equi-regulated and uniformly Cauchy, and for any \(t\in(-\infty,\bar{T}_{0}]_{\mathbb{T}}\), there is a number \(\beta_{t}\) such that, for \(x\in\mathfrak{A}\),
Then there is a constant \(K>0\) such that \(\Vert x(t)-x(\bar{T}_{0})\Vert \leq K\), for every \(x\in\mathfrak{A}\) and \(t\in(-\infty,\bar{T}_{0}]_{\mathbb{T}}\).
Theorem 3.6
Let \(\mathfrak{A}\subset\mathfrak{G} ((-\infty,\bar{T}_{0} ]_{\mathbb{T}}, X )\) be uniformly equi-regulated and uniformly Cauchy, for every \(t\in(-\infty,\bar{T}_{0}]_{\mathbb{T}}\), let the set \(\{x(t);x\in\mathfrak{A}\}\) be relatively compact in X. Then the set \(\mathfrak{A}\) is relatively compact in \(\mathfrak{G} ((-\infty,\bar{T}_{0} ]_{\mathbb{T}}, X )\).
Theorem 3.7
Let a set \(\mathfrak{A}\subset\mathfrak{G} ((-\infty,\bar{T}_{0} ]_{\mathbb{T}},\mathbb{R}^{n} )\). If \(\mathfrak{A}\) is relatively compact in the sup-norm topology, then it is uniformly equi-regulated. If \(\mathfrak{A}\) is uniformly equi-regulated and uniformly Cauchy, satisfying (3.19), then \(\mathfrak{A}\) is relatively compact in \(\mathfrak{G} ((-\infty,\bar{T}_{0} ]_{\mathbb{T}},\mathbb {R}^{n} )\).
For the more general case, for a Banach space \((X, \Vert \cdot \Vert )\), let
From Definition 3.1, we can also introduce a \(\delta^{\pm\infty}\) and extend the Δ-gauge for \([a,b]_{\mathbb{T}}\) to \((-\infty,+\infty)_{\mathbb{T}}\), since for any \(T_{0}>\bar{T}_{0}\), \((-\infty,+\infty)_{\mathbb{T}}=(-\infty,\bar{T}_{0}]_{\mathbb {T}}\cup[\bar{T}_{0},T_{0}]_{\mathbb{T}}\cup[T_{0},+\infty )_{\mathbb{T}}\), and then we can repeat the above discussion, and the above similar theorems can also be obtained (we omit these similar statements here).
Let
where \(PC_{rd} ([T_{0},+\infty)_{\mathbb{T}},\mathbb{R}^{n} )\) is the set formed by all rd-piecewise continuous functions (one can consult Definition 2.4 from [24]). Endow \(\mathfrak{G}_{0}\) with the norm \(\Vert x\Vert =\sup_{t\in[T_{0},+\infty)_{\mathbb{T}}}\vert x(t)\vert \), and note \((\mathfrak{G}_{0},\Vert \cdot \Vert )\) is a Banach space.
Next, we will establish some theorems to guarantee that \(\mathfrak{A}\subset\mathfrak{G}_{0} ([T_{0},+\infty)_{\mathbb {T}},\mathbb{R}^{n} )\) is uniformly Cauchy and uniformly equi-regulated.
Now, we give a new definition called ‘equi-absolutely continuity’ for the function set \(\mathfrak{A}\subset\mathfrak{G}_{0}\), which will be used in the following lemma’s proof.
Definition 3.6
Let \(\mathfrak{A}\subset\mathfrak{G}_{0}\). We say \(\mathfrak{A}\) is equi-absolutely continuous if for any \(f\in\mathfrak{A}\) and \(\varepsilon>0\), there exists \(\delta>0\), such that for any finite mutually disjoint open interval \((x_{i},y_{i})_{\mathbb{T}}\subset[T_{0},+\infty)_{\mathbb{T}} \) (\(i=1,2,\ldots,n\))
implies
Lemma 3.2
Let \(\mathfrak{A}\subset\mathfrak{G}_{0} ([T_{0},+\infty)_{\mathbb {T}},\mathbb{R}^{n} )\) be uniformly bounded and
and \(\mu_{\Delta}(\mathscr{Z})=0\) for all \(x\in\mathfrak{A}\), i.e., x is Δ-differentiable at \([T_{0},+\infty)_{\mathbb{T}}\backslash\mathscr{Z}\) and there exists \(M>0\) such that \(\vert x^{\Delta}(t)\vert \leq M\) for all \(x\in\mathfrak{A}\). Then \(\mathfrak{A}\) is uniformly equi-regulated, and for any \(\varepsilon>0\), there exists \(T_{1}>0\) such that, for any \(x\in\mathfrak{A}\), the following is fulfilled:
Proof
From the condition of the theorem, since x is Δ-differentiable at \([T_{0},+\infty)_{\mathbb{T}}\backslash\mathscr{Z}\) and there exists \(M>0\) such that \(\vert x^{\Delta}(t)\vert \leq M\), according to Corollary 1.68 from [1], we can obtain for all \(t\in[T_{0},+\infty)_{\mathbb{T}}\backslash\mathscr{Z}\), \(x(t)\) satisfies the Lipschitz condition
So for each \(N_{0}\in\mathbb{Z}^{+}\), we can obtain
which implies
i.e., \(\mathfrak{A}\) is equi-absolutely continuous on \([T_{0},+\infty)_{\mathbb{T}}\backslash\mathscr{Z}\). Hence, from (3.20) and (3.21), for all \(t\in[T_{0},+\infty)_{\mathbb{T}}\backslash\mathscr{Z}\), \(\mathfrak{A}\) is uniformly equi-regulated. For all \(t_{0}\in\mathscr{Z}\), since \(\mu_{\Delta}(\mathscr{Z})=0\), from (3.20) and (3.21), we can take \(\delta^{+\infty}= (\delta^{+\infty}_{L},\delta^{+\infty }_{R} )\) and \(\delta_{L},\delta_{R}<\frac{\varepsilon}{M}\), so
and
and thus \(\mathfrak{A}\) is uniformly equi-regulated on \([T_{0},+\infty)_{\mathbb{T}}\). According to Theorem 3.1, for any closed interval \([a_{\mathcal{P}_{1}},b_{\mathcal {P}_{1}}]_{\mathbb{T}}\), there is a \(\delta_{1}^{+\infty}\)-fine partition \(\mathcal{P}_{1}\):
such that
for every \(x\in\mathfrak{A}\) and \([t^{\prime},t^{\prime\prime}]_{\mathbb{T}}\subset(t_{j-1}^{\mathcal {P}_{1}},t_{j}^{\mathcal{P}_{1}})_{\mathbb{T}}, j=1,2,\ldots,N\). Hence, we have
where \(t^{\prime}\in (t_{j}^{{\mathcal {P}_{1}}}-\delta_{L}^{+\infty}(t_{j}^{{\mathcal {P}_{1}}}),t_{j}^{{\mathcal {P}_{1}}} )_{\mathbb{T}}, t^{\prime\prime}\in (t_{j-1}^{{\mathcal {P}_{1}}},t_{j-1}^{{\mathcal {P}_{1}}}+\delta_{R}^{+\infty}(t_{j-1}^{{\mathcal {P}_{1}}}) )_{\mathbb{T}}\).
Similarly, for any closed interval \([a_{\mathcal{P}_{2}},b_{\mathcal {P}_{2}}]_{\mathbb{T}}\), there is a \(\delta_{2}^{+\infty}\)-fine partition \(\mathcal{P}_{2}\):
such that
for every \(x\in\mathfrak{A}\) and \([t^{\prime},t^{\prime\prime}]_{\mathbb{T}}\subset(t_{j-1}^{\mathcal {P}_{2}},t_{j}^{\mathcal{P}_{2}})_{\mathbb{T}}, j=1,2,\ldots,N\). Hence, we have
where \(t^{\prime}\in (t_{j}^{{\mathcal {P}_{2}}}-\delta_{L}^{+\infty}(t_{j}^{{\mathcal {P}_{2}}}),t_{j}^{{\mathcal {P}_{2}}} )_{\mathbb{T}}, t^{\prime\prime}\in (t_{j-1}^{{\mathcal {P}_{2}}},t_{j-1}^{{\mathcal {P}_{2}}}+\delta_{R}^{+\infty}(t_{j-1}^{{\mathcal {P}_{2}}}) )_{\mathbb{T}}\).
We can repeat the above process, then for each \(i=2,3,\ldots\) , we can see that, for any closed interval \([a_{\mathcal{P}_{i}},b_{\mathcal {P}_{i}}]_{\mathbb{T}}\), there is a \(\delta_{i}^{+\infty}\)-fine partition \(\mathcal{P}_{i}\):
such that
for every \(x\in\mathfrak{A}\) and \([t^{\prime},t^{\prime\prime}]_{\mathbb{T}}\subset(t_{j-1}^{\mathcal {P}_{i}},t_{j}^{\mathcal{P}_{i}})_{\mathbb{T}}\), \(j=1,2,\ldots,N\). Hence, we have
where \(t^{\prime}\in (t_{j}^{{\mathcal {P}_{i}}}-\delta_{L}^{+\infty}(t_{j}^{{\mathcal {P}_{i}}}),t_{j}^{{\mathcal {P}_{i}}} )_{\mathbb{T}}, t^{\prime\prime}\in (t_{j-1}^{{\mathcal {P}_{i}}},t_{j-1}^{{\mathcal {P}_{i}}}+\delta_{R}^{+\infty}(t_{j-1}^{{\mathcal {P}_{i}}}) )_{\mathbb{T}}\). Thus, from (3.22), we obtain
which implies that, for any \(\varepsilon>0\), there exists \(i_{0}>0\) such that
which implies that, for any \(\varepsilon>0\), there exists \(T_{1}\geq t_{0}^{\mathcal{P}_{i_{0}}}\) and a partition
i.e., \(t_{0}^{\mathcal{P}_{i_{0}}}=t_{0}^{\mathcal {P}}< t_{1}^{\mathcal{P}_{i_{0}}}=t_{1}^{\mathcal {P}}< t_{2}^{\mathcal{P}_{i_{0}}}=t_{2}^{\mathcal {P}}<\cdots<t_{N}^{\mathcal{P}_{i_{0}}}=t_{N}^{\mathcal {P}}<t_{0}^{\mathcal{P}_{i_{0}+1}}=t_{N+1}^{\mathcal {P}}<t_{1}^{\mathcal{P}_{i_{0}+1}}=t_{N+2}^{\mathcal {P}}<\cdots<\cdots\) such that
Moreover, since x is Δ-differentiable almost everywhere on \([T_{0},+\infty)_{\mathbb{T}}\), we obtain
This completes the proof. □
Theorem 3.8
Let \(\mathfrak{A}\subset\mathfrak{G}_{0} ([T_{0},+\infty)_{\mathbb {T}},\mathbb{R}^{n} )\) be uniformly bounded and
and \(\mu_{\Delta}(\mathscr{Z})=0\) for all \(x\in\mathfrak{A}\), i.e., x is Δ-differentiable at \([T_{0},+\infty)_{\mathbb{T}}\backslash\mathscr{Z}\) and there exists \(M>0\) such that \(\vert x^{\Delta}(t)\vert \leq M\) for all \(x\in\mathfrak{A}\). Then there exists \(T_{1}>0\) such that \(\mathfrak{A}\) is uniformly Cauchy on \([T_{1},+\infty)_{\mathbb{T}}\).
Proof
According to Lemma 3.2, for any \(\varepsilon>0\), there exists \(T_{1}>0\) such that, for any \(x\in\mathfrak{A}\), the following is fulfilled:
Hence, for any \(t_{1},t_{2}\notin\mathscr{Z}, t_{1},t_{2}>T_{1}\), we obtain
This completes the proof. □
In the following, we will give the following useful corollaries.
Corollary 3.3
Let \(\mathfrak{A}\subset\mathfrak{G}_{0} ([T_{0},+\infty)_{\mathbb {T}},\mathbb{R}^{n} )\) be uniformly bounded and
and \(\mu_{\Delta}(\mathscr{Z})=0\) for all \(x\in\mathfrak{A}\), and there exists \(M>0\) such that \(\vert x^{\Delta}(t)\vert \leq M\) for all \(x\in\mathfrak{A}\). Then \(\mathcal{A}\) is relatively compact in \(\mathfrak{G}_{0}\).
Proof
According to Theorem 3.8, \(\mathfrak{A}\) is uniformly equi-regulated, uniformly Cauchy. Further, since \(\mathfrak{A}\) is uniformly bounded, so it satisfies (3.6), by Theorem 3.4, we get the desired result immediately. □
Let
where \(BC([T_{0},+\infty)_{\mathbb{T}},\mathbb{R}^{n})\) denotes the set of all bounded continuous functions on \([T_{0}, +\infty)_{\mathbb{T}}\). Then we can obtain the following corollary.
Corollary 3.4
Let \(\mathfrak{A}\subset\mathcal{B}\mathcal {C}[T_{0},+\infty)_{\mathbb{T}}\) be uniformly bounded and for all \(x\in\mathfrak{A}\), x is Δ-differentiable and there exists \(M>0\) such that \(\vert x^{\Delta}(t)\vert < M\). Then \(\mathfrak{A}\) is relatively compact in \(\mathcal{B}\mathcal{C}\).
Proof
Since x is Δ-differentiable on \([T_{0},+\infty)_{\mathbb{T}}\), \(\mathfrak{A}\) is equi-absolutely continuous on \([T_{0},+\infty)_{\mathbb{T}}\), for any \(t_{1},t_{2}\in[T_{0},+\infty)_{\mathbb{T}}\), we can obtain
which means that
Thus, for any \(\varepsilon>0\), there exists \(T_{1}>0\), and we have \(t_{2}^{\prime}>t_{1}^{\prime}>T_{1}\) implies
i.e., \(\mathfrak{A}\) is uniformly Cauchy. According to Theorem 3.4, \(\mathfrak{A}\) is relatively dense in \(\mathcal {B}\mathcal{C}\). This completes the proof. □
Remark 3.6
Note that if for all \(x\in\mathfrak{A}\subset\mathcal{B}\mathcal {C}\), x has uniformly bounded Δ-derivatives, then one can see that \(\mathfrak{A}\) is equi-absolutely continuous, which will lead to that \(\mathfrak{A}\) is uniformly Cauchy. Hence, the uniformly boundedness of \(\mathfrak{A}\) and the uniformly boundedness of Δ-derivatives functions of \(\mathfrak{A}\) can guarantee \(\mathfrak{A}\) is relatively compact.
4 Existence of solutions for impulsive functional dynamic equations
In this section, we introduce some new definitions and give some new methods to obtain some sufficient conditions for the existence of solutions for a class of ε-equivalent impulsive functional dynamic equations on almost periodic time scales. We always assume that \(\sup\mathbb{T}=+\infty\) and \(\inf\mathbb{T}=-\infty\).
Definition 4.1
For arbitrary functions \(x,y:\mathbb{T}\rightarrow\mathbb{R}^{n}\), we define the function \([x(\cdot),y(\cdot)]_{\mu}:\mathbb{T}\rightarrow\mathbb{R}\) to be the number (provided it exists) with the property that, for any given \(\varepsilon>0\), there exists a neighborhood U of t (i.e., \(U=(t-\delta,t+\delta)_{\mathbb{T}}\) for some \(\delta>0\)) such that
Remark 4.1
In Definition 4.1, if t is a right-dense point, \(\mu(t)=0\), then one can obtain
let \(s-t=h\rightarrow0^{+}\), and (4.1) can be written as
If t is a right-scattered point, \(\mu(t)>0\), then one can get
In the following, we will consider the following impulsive system:
where \(A\in PC_{rd}(\mathbb{T}\times\mathbb{R}^{n},\mathbb{R}^{n}), g\in PC_{rd}(\mathbb{T},\mathbb{R}^{n}), \tilde{I}_{k}\in C(\mathbb{R}^{n},\mathbb{R}^{n})\).
Next, we will give the following theorem to guarantee that (4.3) has a unique global solution.
Theorem 4.1
Let \(\mathbb{T}\) be a time scale with the bounded graininess function μ. In the system (4.3), if for any \(\varepsilon>0\), there exists a neighborhood U of t such that
for all \((t,x)\in(t_{k-1},t_{k})_{\mathbb{T}}\times B_{r}(0), k\in\mathbb{Z}\), where \(\tilde{d} (z,B_{r}(0) )\) denotes the distance from z to \(B_{r}(0)\) and \(B_{r}(0)=\{x\in PC_{rd}(\mathbb{T},\mathbb{R}^{n}):\Vert x\Vert \leq r, r\textit{ is a constant}\}\). Then for each \(t_{0}^{n}\in\mathbb{T} \) (\(n\in\mathbb{N}\)), the Cauchy problem with the initial value \(x(t_{0}^{n})=u_{n}\) for (4.3) has a unique global solution \(x(t)\) on \(\mathbb{T}\) such that \(x\in B_{r}(0)\) for all \(t\in\mathbb{T}\).
Proof
Consider the following form of (4.3):
where \(\tilde{A}=A(t,\mathbf{0})\). From Theorem 2.77 from [1], for any \(t_{0}\in\mathbb{T}\), we can find \(k\in\mathbb{Z}, t_{k-1}< t_{0}\leq t_{k}\), for \(t\in[t_{0},t_{k})_{\mathbb{T}}\), there is a unique solution
and by using \(x(t_{k}^{+})-x(t_{k}^{-})=\tilde{I}_{k} (x(t_{k}) )\), we obtain
and then we have
Repeating this procedure, we get
Hence, for \(t\geq t_{0}\), we know that (4.5) has a unique solution satisfying
Therefore, (4.3) has a unique global solution \(u_{n}(t)\) on \(\mathbb{T}\). Furthermore, combining with (4.3), for all \(t\in(t_{k-1},t_{k})_{\mathbb{T}}, k\in\mathbb{Z}\), i.e., \(t\neq t_{k}\), (4.4) can be changed into the following:
Case 1. If t is a right-dense point, from (4.7), we obtain
that is,
Case 2. If t is a right-scattered point, from (4.7), we get
that is,
Thus, if \(\rho(t)< t\), that is, \(\rho(t)\) is a right-scattered point, we have \(\sigma(\rho(t))=t\), by (4.9), one has
If \(\rho(t)=t\), that is, t is a left-dense point, so there must exist a right-dense point s, for any \(\varepsilon>0\), there exists a \(\delta_{L}^{+\infty}>0\) such that \(s\in (t-\delta_{L}^{+\infty}(t),t )_{\mathbb{T}}\) implies
Hence, by (4.8), we can easily get
For the impulsive points \(t_{k}, k\in\mathbb{Z}\), since \((t_{k}-\delta_{L}^{+\infty}(t_{k}),t_{k} )_{\mathbb {T}}\subset (t-\delta_{L}^{+\infty}(t),t+\delta_{R}^{+\infty }(t) )_{\mathbb{T}}\), where \(\vert t-t_{k}\vert <\min \{\delta_{L}^{+\infty}(t),\delta_{R}^{+\infty }(t) \}\), then
where \(s\in (t_{k}-\delta_{L}^{+\infty}(t_{k}),t_{k} )_{\mathbb {T}}\subset (t-\delta_{L}^{+\infty}(t),t+\delta_{R}^{+\infty }(t) )_{\mathbb{T}}, k\in\mathbb{Z}\). This completes the proof. □
Lemma 4.1
Let functions \(x,y,z:\mathbb{T}\rightarrow\mathbb{R}^{n}\). Then for any \(a\in\mathbb{R}^{+}\cup\{0\}\), the function \([x(\cdot),y(\cdot) ]_{\mu}\) has the following properties:
-
(i)
\(\vert [x(t),y(t) ]_{a\mu} \vert \leq \vert y(t)\vert \).
-
(ii)
\([x(t),y(t)+z(t) ]_{a\mu}\leq [x(t),y(t) ]_{2a\mu}+ [x(t),z(t) ]_{2a\mu}\).
-
(iii)
Let \(u(t)\) be a function from an interval \(J\subset \mathbb{T}\) into \(\mathbb{R}^{n}\) such that \(u^{\Delta}(t_{0})\) exists for an interior point \(t_{0}\) of J. Then \(D_{+} \vert u(t_{0}) \vert ^{\Delta}\) exists and
$$ D_{+} \bigl\vert u(t_{0}) \bigr\vert ^{\Delta}= \bigl[u(t_{0}),u^{\Delta }(t_{0}) \bigr]_{\mu}, $$where \(D_{+} \vert u(t_{0}) \vert ^{\Delta}\) denotes the right derivative of \(\vert u(t)\vert \) at \(t_{0}\). Further, for any \(a\in\mathbb{R}^{+}\cup\{0\}\), we have \([u(t_{0}),u^{\Delta}(t_{0}) ]_{\mu}\leq D_{+} \vert u(t_{0}) \vert ^{\Delta}\).
Proof
If \(a=0\), then \(a\mu=0\), from Remark 4.1, the results (i)-(iii) are obvious. If \(a\in\mathbb{R}^{+}\), we can conclude the following:
-
(i)
In fact, if t is a right-dense point, by (4.2), the result is obvious. Let t be a right-scattered point, then
$$\begin{aligned} \bigl\vert \bigl[x(t),y(t) \bigr]_{a\mu} \bigr\vert =& \biggl| \frac{\vert x(t)+a\mu (t)y(t)\vert -\vert x(t)\vert }{a\mu(t)} \biggr| \\ \leq& \biggl|\frac{\vert x(t)+a\mu(t)y(t)-x(t)\vert }{a\mu(t)} \biggr| =\bigl\vert y(t)\bigr\vert . \end{aligned}$$ -
(ii)
If t is a right-dense point, by (4.2), the result is obvious. Let t be a right-scattered point, then
$$\begin{aligned} \bigl[x(t),y(t)+z(t) \bigr]_{a\mu} =&\frac{ \vert x(t)+a\mu(t) (y(t)+z(t) ) \vert -\vert x(t)\vert }{a\mu(t)} \\ =&\frac{ \vert \frac{1}{2}x(t)+a\mu(t)y(t)+\frac{1}{2}x(t)+a\mu (t)z(t) \vert -\vert x(t)\vert }{a\mu(t)} \\ \leq&\frac{\frac{1}{2} \vert x(t)+2a\mu(t)y(t) \vert +\frac {1}{2} \vert x(t)+2a\mu(t)z(t) \vert -\vert x(t)\vert }{a\mu(t)} \\ =&\frac{ (\vert x(t)+2a\mu(t)y(t)\vert -\vert x(t)\vert )+ (\vert x(t)+2a\mu (t)z(t)\vert -\vert x(t)\vert )}{2a\mu(t)} \\ =&\frac{\vert x(t)+2a\mu(t)y(t)\vert -\vert x(t)\vert }{2a\mu(t)}+\frac{\vert x(t)+2a\mu (t)z(t)\vert -\vert x(t)\vert }{2a\mu(t)} \\ =& \bigl[x(t),y(t) \bigr]_{2a\mu}+ \bigl[x(t),z(t) \bigr]_{2a\mu}. \end{aligned}$$ -
(iii)
If \(t_{0}\) is a right-dense point, by (4.2), the result is obvious. Let \(t_{0}\) be a right-scattered point, then
$$\begin{aligned} \bigl[u(t_{0}),u^{\Delta}(t_{0}) \bigr]_{\mu} =&\frac{\vert u(t_{0})+\mu (t_{0})u^{\Delta}(t_{0})\vert -\vert u(t_{0})\vert }{\mu(t_{0})} \\ =&\frac{ \vert u(t_{0})+\mu(t_{0})\frac{u (\sigma(t_{0}) )-u(t_{0})}{\mu(t_{0})} \vert -\vert u(t_{0})\vert }{\mu(t_{0})} \\ =&\frac{ \vert u (\sigma(t_{0}) ) \vert -\vert u(t_{0})\vert }{\mu(t_{0})} =D_{+}\bigl\vert u(t_{0})\bigr\vert ^{\Delta}. \end{aligned}$$Further, for \(a\in\mathbb{R}^{+}\), we can obtain
$$\begin{aligned} \bigl[u(t_{0}),u^{\Delta}(t_{0}) \bigr]_{a\mu} =&\frac{\vert u(t_{0})+a\mu (t_{0})u^{\Delta}(t_{0})\vert -\vert u(t_{0})\vert }{a\mu(t_{0})} \\ =&\frac{ \vert u(t_{0})+a\mu(t_{0})\frac{u (\sigma(t_{0}) )-u(t_{0})}{\mu(t_{0})} \vert -\vert u(t_{0})\vert }{a\mu(t_{0})} \\ =&\frac{ \vert au (\sigma(t_{0}) )-au(t_{0})+u(t_{0}) \vert -\vert u(t_{0})\vert }{a\mu(t_{0})} \\ \leq& \frac{ \vert au (\sigma(t_{0}) )-au(t_{0})+u(t_{0})-u(t_{0}) \vert }{a\mu(t_{0})}=D_{+}\bigl\vert u(t_{0})\bigr\vert ^{\Delta}. \end{aligned}$$
This completes the proof. □
From Definition 4.1, we obtain the following theorem, which guarantees that (4.3) has a unique global solution on \(\mathbb{T}\).
Theorem 4.2
Let \(A\in PC_{rd}(\mathbb{T}\times\mathbb{R}^{n},\mathbb{R}^{n}), g\in PC_{rd}(\mathbb{T},\mathbb{R}^{n})\) be bounded, \(A(t,\mathbf{0})=\mathbf{0}\) for all \(t\in\mathbb{T}\) and \(I_{k}(\mathbf{0})=\mathbf{0}\), Π be relatively dense in \(\mathbb{R}\). Suppose that there exist positive numbers \(p>M>0,r>0\) such that \(\vert g(t)\vert \leq M, p>\frac{M}{r}\) and
for \(t\in(t_{k-1},t_{k}), k\in\mathbb{Z}, -p\in\mathcal {R}^{+}, a\in\mathbb{R}^{+}\cup\{0\}\), \(\vert x(t)\vert \leq r, \vert y(t)\vert \leq r\), and
and \(\tilde{h}=\inf(t_{k}-t_{k-1})>\frac{\ln(1+\tilde{I})}{M}\), Ĩ is a Lipschitz constant. Then (4.3) has a unique solution \(u(t)\) with respect to the set of solution of (4.3) in \(C_{r}\), where \(C_{r}=\{\varphi\in PC_{rd}(\mathbb{T},\mathbb{R}^{n}):\vert \varphi(t)\vert \leq r\textit{ for all }t\in\mathbb{T}\}\). Moreover, if \(v(t)\) is any solution of (4.3) such that, for some \(t_{0}\in\mathbb{T}, \vert v(t_{0})\vert \leq\frac{M}{p}\), then \(\vert v(t)\vert \leq r\) and
for all \(t\geq t_{0}\).
Proof
We fix a vector \(u_{0}\in\mathbb{R}^{n}\) with \(\vert u_{0}\vert \leq\frac{M}{p}\). For each positive \(t_{0}^{n}\in\mathbb{T}(n\in\mathbb{N})\), we consider the Cauchy problem for (4.3) with the initial value \(x(t_{0}^{n})=u_{0}\).
For each \(x\in\mathbb{R}^{n}\) with \(\vert x\vert =r\), for \(t\in(t_{k-1},t_{k})_{\mathbb{T}}, k\in\mathbb{Z}\), (4.10) and (ii) in Lemma 4.1 imply
So for any \(\varepsilon>0\), there exists a neighborhood of U such that
which implies that
by Theorem 4.1, and we see that (4.3) has a unique global solution \(u_{n}(t)\) on \(\mathbb{T}\) such that \(u_{n}\in B_{r}(0)\) for all \(t\in\mathbb{T}\). Moreover, we can show that \(\vert u_{n}(t)\vert \leq r\) for all \(t\in\mathbb{T}\). In fact, (4.10) and (iii) from Lemma 4.1 imply
for \(t\in(t_{k-1},t_{k})_{\mathbb{T}}, k\in\mathbb{Z}\). By (4.11), solving the differential inequality (4.12), we obtain
for all \(t\in\mathbb{T}\), we always denote that \(\sup_{k}e_{\ominus p}(t_{k+1},t_{k}):=e_{\ominus p}(\theta,0)\). According to Corollary 3.3, there exists a subsequence \(\{u_{n_{k}}\}\) such that \(u_{n_{k}}\rightarrow u\) on \(\mathbb{T}\) as \(k\rightarrow+\infty\). Therefore, there exists a solution \(u(t)\) of (4.3) such that \(\vert u(t)\vert \leq r\) for all \(t\in\mathbb{T}\).
We next show that this solution \(u(t)\) is unique with respect to the set of solutions of (4.3) in \(C_{r}\). Let \(v(t)\) be another solution of (4.3) in \(C_{r}\) and let \(w(t)=\vert u(t)-v(t)\vert \) for \(t\in\mathbb{T}\). Then by (iii) from Lemma 4.1 and (4.10), we have
for \(t\in(t_{k-1},t_{k})_{\mathbb{T}}\). This implies that \(w(t)\) is a nonincreasing function on \((t_{k-1},t_{k})_{\mathbb{T}}\). Hence, for \(t_{0}\in\mathbb{T}, t\geq t_{0}\), we obtain
and by Gronwall-Bellman’s inequality on time scales, from (4.13), we obtain
Suppose, for contradiction, that \(w(t_{0})>0\) for some \(t_{0}\in\mathbb{T}\). Since \(w(t)\) is bounded and is increasing as t decreases, \(\lim_{t\rightarrow-\infty}w(t)\) exists. For Π is relatively dense in \(\mathbb{R}\), which implies that, for each \(\varepsilon>0\) and \(h_{1}>0, -h_{1}\in\Pi\), there exists \(t_{1}\leq0, t_{1}\in\mathbb{T}\cap\mathbb{T}^{-h_{1}}\) such that \(t_{1}+h_{1}< t_{0}\) and
Set \(h_{2}\leq\frac{h_{1}}{2}\) and \(-h_{2}\in\Pi\) such that \(t_{1}\in\mathbb{T}\cap\mathbb{T}^{-h_{2}}\). Then we have either
or
Hence there exists \(t_{2}\in\mathbb{T}\cap\mathbb{T}^{-h_{2}} \) (\(t_{2}=t_{1}\) or \(t_{1}+h_{2}\)) such that \(t_{2}, t_{2}+h_{2}\in[t_{1},t_{1}+h_{1}]_{\mathbb{T}}\) and
Repeating this procedure, we have sequences \(\{t_{n}\}, \{t_{n}+h_{n}\}\) such that \(t_{n}, t_{n}+h_{n}\in[t_{1},t_{1}+h_{1}]_{\mathbb{T}}\) and
On the other hand, by (4.14), we have
for \(n\geq1\). Therefore, it follows that
Next, we will show that
Case I. If \([t_{n},t_{n}+h_{n}]_{\mathbb{T}}\) does not contain any \(t_{k}, k\in\mathbb{Z}\), then \(t_{k+1}-t_{k}>h_{n}\), (4.16) becomes
Case II. If \([t_{n},t_{n}+h_{n}]_{\mathbb{T}}\) contains \(n_{0}\) impulsive points \(t_{k}, k\in\mathbb{S}=\{0,1,\ldots,n_{0}\}\), then
Hence, from (4.15), let \(n\rightarrow\infty\), we have \(w(t_{0})=0\). This leads to a contradiction. The last assertion of this theorem follows easily from the preceding argument. The proof is complete. □
In the following, let \(\mathbb{T}\) be an almost periodic time scale. For convenience, we give some notation, BC denotes the set of \(\mathbb{R}^{n}\)-valued functions that is continuous and bounded on \((-\infty,s_{0}]_{\Pi_{\varepsilon}}, s_{0}\in\Pi_{\varepsilon}\); for each \(\phi\in BC\) we define \(\Vert \phi \Vert _{\varepsilon}=\sup_{s\in(-\infty,s_{0}]_{\Pi _{\varepsilon}}} \vert \phi(s)\vert \). Then \((BC,\Vert \cdot \Vert _{\varepsilon})\) is a real Banach space for any fixed \(\varepsilon>0\).
Remark 4.2
From the definition of \(\Vert \phi \Vert _{\varepsilon}\), if we introduce a set
then for \(\forall\phi\in\tilde{\Omega}\), one can immediately obtain that \(\Vert \phi \Vert _{\varepsilon_{1}}\leq \Vert \phi \Vert _{\varepsilon_{2}}\leq r\) if \(\varepsilon_{1}<\varepsilon_{2}\).
Let \(x(t)\) be an \(\mathbb{R}^{n}\)-valued function that is continuous and bounded on \(\mathbb{T}\), we define for each \(t\in\mathbb{T}\cap(\cup\mathbb{T}^{\Pi_{\varepsilon}})\), \(x_{t}(s)=x(t+s)\) for \(-s\in\Pi_{\varepsilon}\). Clearly, \(x_{t}\in BC\) for each \(t\in\mathbb{T}\cap(\cup\mathbb{T}^{\Pi_{\varepsilon}})\).
We now consider the ε-equivalent impulsive functional dynamic equation
\(F(t,x,\phi)\) is the \(\mathbb{R}^{n}\)-valued function defined on \(\mathbb{T}\times\mathbb{R}^{n}\times BC\) which satisfies the following conditions:
- (H1):
-
for each \(r>0\), there exists \(M(r)>0\) and \(N(r)>0\) such that
$$ \bigl\vert F(t,0,\phi)\bigr\vert \leq M(r) \quad\mbox{and}\quad \bigl\vert F(t,x,\phi)\bigr\vert \leq N(r) $$for all \(t\in\mathbb{T}, \vert x\vert \leq r\) and \(\Vert \phi \Vert _{\varepsilon }\leq r(\phi\in BC)\). Moreover, for any \(x,y\in\mathbb{R}^{n}\),
$$\bigl\vert I_{k}(x)-I_{k}(y)\bigr\vert \leq \tilde{N}(r)\vert x-y\vert , \qquad I_{k}(\mathbf{0})=\mathbf{0}, $$and \(\tilde{h}=\inf(t_{k}-t_{k-1})>\frac{\ln (1+\tilde {N}(r) )}{M(r)}\);
- (H2):
-
if for \(x(t)\) that is piecewise continuous and bounded on \(\mathbb{T}\), \(F(t,y,x_{t})\) is piecewise continuous in \((t,y)\) on \(\mathbb{T}\times\mathbb{R}^{n}\);
- (H3):
-
if there exist positive numbers \(p,r,L\) such that \(p>\max \{\frac{M(r)}{r},L \}\), where \(M(r)\) is as in (H1), such that
-
(i)
\([x-y,F(t,x,\phi)-F(t,y,\phi) ]_{a\mu}\leq -p\vert x-y\vert \) for \(t\in\mathbb{T}, \vert x\vert \leq r, \vert y\vert \leq r, \Vert \phi \Vert _{\varepsilon }\leq r(\phi\in BC), a\in\mathbb{R}^{+}\);
-
(ii)
\([\phi(0)-\phi^{*}(0),F (t,\phi(0),\phi )-F (t,\phi^{*}(0),\phi^{*} ) ]_{a\mu}\leq-p\vert \phi(0)-\phi ^{*}(0)\vert +L\Vert \phi-\phi^{*}\Vert _{\varepsilon}\) for \(t\in\mathbb{T}, \Vert \phi \Vert _{\varepsilon}\leq r, \Vert \phi^{*}\Vert _{\varepsilon}\leq r(\phi,\phi^{*}\in BC), a\in\mathbb{R}^{+}\cup\{0\}\);
-
(iii)
\(\frac{\tilde{N}(r)}{1-e_{- p}(\theta,0)}+\frac {L}{p}<1\), where \(\sup_{k}e_{- p}(t_{k+1},t_{k}):=e_{-p}(\theta,0)\);
-
(i)
- (H4):
-
if for \(x^{k}(t),y^{k}(t),x(t)\) and \(y(t)\) are piecewise continuous such that \(\vert x^{k}(t)\vert \leq r, \vert y^{k}(t)\vert \leq r\) for all \(t\in\mathbb{T}\), \(k\geq1\) and \(x^{k}(t)\rightarrow x(t), y^{k}(t)\rightarrow y(t)\) as \(k\rightarrow\infty\) for \(t\in\mathbb{T}\), we have
$$ F \bigl(t,x^{k}(t),y_{t}^{k} \bigr) \rightarrow F \bigl(t,x(t),y_{t} \bigr) \quad\mbox{as }k\rightarrow \infty\mbox{ for } t\in\mathbb{T}\cap\bigl(\cup\mathbb{T}^{\Pi_{\varepsilon}}\bigr). $$
Remark 4.3
In (H2), piecewise continuity of \(F(t,y,x_{t})\) in \((t,y)\) on \(\mathbb{T}\times\mathbb{R}^{n}\) implies piecewise continuity of \(F (t,x(t),x_{t} )\) in t on \(\mathbb{T}\). Moreover, if F is Lipschitz continuous in x uniformly for \(t\in\mathbb{T}, \phi\in BC(\Vert \phi \Vert _{\varepsilon}\leq r)\) with Lipschitz constant K, then we can take \(N(r)=Kr+M(r)\).
Theorem 4.3
Suppose that (H1)-(H4) are satisfied and
where K is a Lipschitz constant. Then there exists a solution \(u(t)\) of (4.17) such that \(\vert u(t)\vert \leq r\) for all \(t\in\mathbb{T}\cap(\cup\mathbb{T}^{\Pi_{\varepsilon}})\), and this solution is unique in \(C_{r}^{*} |_{\mathbb{T}\cap(\cup\mathbb{T}^{\Pi_{\varepsilon}})}\). Here r is as in (H3), \(C_{r}^{*}=\{\varphi\in PC_{rd}(\mathbb{T},\mathbb{R}^{n}): \varphi(t)\textit{ is piecewise continuous and }\vert \varphi(t)\vert \leq r\textit{ for all }t\in\mathbb{T}\}\), and \(C_{r}^{*} \vert _{\mathbb{T}\cap(\cup\mathbb{T}^{\Pi_{\varepsilon }})}= \{\varphi \vert _{\mathbb{T}\cap(\cup\mathbb{T}^{\Pi _{\varepsilon}})}:\forall\varphi\in C_{r}^{*} \}\).
Proof
Let \(N(r)\) be as in (H1) and set \(S_{r}=\{f\in PC_{rd}(\mathbb{T},\mathbb{R}^{n}):\vert f(t)\vert \leq r \mbox{ and } \vert f^{\Delta}(t)\vert \leq Kr+M(r)\}\). Obviously, \(S_{r}\) is a compact convex subset of \(PC_{rd}(\mathbb{T},\mathbb{R}^{n})\). We set
Define a mapping \(T:S_{r}\rightarrow S_{r}\) as follows: \(x(t)=Tf(t)\) is the unique solution in \(C_{r}\) of
where \(C_{r}\) is as in Theorem 4.2 and \(f\in S_{r}\). Such a solution \(x(t)\) exists by Theorem 4.2 and satisfies \(\vert x(t)\vert \leq r\) for all \(t\in\mathbb{T}\). Since
it follows that \(x\in S_{r}\).
We show next that T is continuous on \(S_{r}\). Let \(f^{k}\) and f be in \(S_{r}\) such that \(f^{k}\rightarrow f\) as \(k\rightarrow\infty\). Put \(x^{k}=Tf^{k}\) and \(x=Tf\). We show that each sequence of \(\{x^{k}\}\) contains a subsequence which converges to x. This will show that T is continuous at \(f\in S_{r}\). Let us denote this arbitrary subsequence again by \(\{x^{k}\}\) for simplicity. Since \(x^{k}\in S_{r}, \{x^{k}\}\) is Δ-differentiable almost everywhere on \(\mathbb{T}\) and uniformly bounded on \(\mathbb{T}\). According to Corollary 3.3, there exists a subsequence \(\{x^{k_{j}}\}\) of \(\{x^{k}\}\) and a \(w\in S_{r}\) such that \(x^{k_{j}}(t)\rightarrow w(t)\) as \(j\rightarrow\infty\) uniformly on \(\mathbb{T}\). Let \(t_{0}\in\mathbb{T}\cap(\cup\mathbb{T}^{\Pi_{\varepsilon}})\) and let
Then we have
for \(t\in\mathbb{T}\cap(\cup\mathbb{T}^{\Pi_{\varepsilon}})\). By (H1), (H2), (H4), and the Lebesgue dominated convergence theorem we can see that \(x^{k_{j}}(t)\rightarrow w^{*}(t)\) as \(j\rightarrow\infty\) for \(t\in\mathbb{T}\), i.e., \(w^{*}(t)=w(t)\) for \(t\in\mathbb{T}\cap(\cup\mathbb{T}^{\Pi_{\varepsilon}})\). Hence, w is a solution for (4.18) on \(C_{r}^{*} |_{\mathbb{T}\cap(\cup\mathbb{T}^{\Pi_{\varepsilon}})}\). By the uniqueness of solutions of (4.18), it follows that \(w(t)=x(t)\) for \(t\in\mathbb{T}\cap(\cup\mathbb{T}^{\Pi_{\varepsilon}})\). Thus we conclude that T is continuous at each \(f\in S_{r}\). From Lemma 2.3, there exists a \(u\in S_{r}\) such that \(Tu=u\), i.e.,
To prove the uniqueness of the solution of (4.17), let \(v\in C_{r}^{*} |_{\mathbb{T}\cap(\cup\mathbb{T}^{\Pi_{\varepsilon}})}\) be another solution of (4.17). By (ii), (iii) in (H3), and (iii) in Lemma 4.1, we have
for all \(t\in(t_{k-1},t_{k})_{\mathbb{T}}\cap(\cup\mathbb{T}^{\Pi _{\varepsilon}}), k\in\mathbb{Z}\). Let \(\psi(t)=\vert u(t)-v(t)\vert \), then we obtain
Then for \(t\in[t_{k},t_{k+1})_{\mathbb{T}}\cap(\cup\mathbb{T}^{\Pi _{\varepsilon}}), k\in\mathbb{Z}\), we get
thus we obtain
Note that \(u(t)-v(t)=u_{t}(0)-v_{t}(0)\), from (4.20) and (4.21), for \(t\in[t_{0}+s,t+s)_{\mathbb{T}}\cap(\cup\mathbb{T}^{\Pi _{\varepsilon}})\), solving the differential inequality (4.19), we have
for all \(t\in[t_{0},+\infty)_{\mathbb{T}}\cap(\cup\mathbb{T}^{\Pi _{\varepsilon}}), -s\in\Pi_{\varepsilon}\). Note \(\Vert \psi_{\theta} \Vert _{\varepsilon}=\Vert u_{\theta}-v_{\theta} \Vert _{\varepsilon}\) is nondecreasing function of θ. It therefore follows that
for all \(t\in[t_{0},+\infty)_{\mathbb{T}}\cap(\cup\mathbb{T}^{\Pi _{\varepsilon}})\), and this implies
for all \(t\in[t_{0},+\infty)_{\mathbb{T}}\cap(\cup\mathbb{T}^{\Pi _{\varepsilon}})\), where
Consequently, for each \(t_{0}\in\mathbb{T}\cap(\cup\mathbb{T}^{\Pi_{\varepsilon}})\), we have
for all \(t\in[t_{0},+\infty)_{\mathbb{T}}\cap(\cup\mathbb{T}^{\Pi _{\varepsilon}})\). Letting \(t\rightarrow+\infty\) we have \(\Vert u_{t_{0}}-v_{t_{0}}\Vert _{\varepsilon}=0\) and this implies in particular \(u(t_{0})=v(t_{0})\). The proof is complete. □
We next consider the existence of almost periodic solutions of (4.17) when F satisfies the following condition:
- (H5):
-
\(F(t,x,\phi)\) is almost periodic in t uniformly for \((x,\phi)\) in bounded closed subsets of \(\mathbb{R}^{n}\times BC\).
Theorem 4.4
Suppose (H1)-(H5) are satisfied and the following are fulfilled:
-
(i)
\(\vert F(t,x,\phi)-F(t,y,\phi)\vert \leq K\vert x-y\vert , \forall x,y\in\mathbb{R}^{n}\), where K is a Lipschitz constant;
-
(ii)
the impulsive operator sequence \(\{I_{k}\}\) is an almost periodic sequence;
-
(iii)
\(\frac{3(p-L) (1-e_{-p}(\theta,0) )}{p (3-2e_{-p}(\theta,0) )}<1\), where \(\sup_{k}e_{-p}(t_{k+1},t_{k}):=e_{-p}(\theta,0)\).
Then (4.17) has a unique almost periodic solution \(u(t)\) in \(C_{r}^{*} |_{\mathbb{T}\cap(\cup\mathbb{T}^{\Pi_{\varepsilon}})}\) for \(0< r<1\). Moreover, if \(p-L\geq\frac{pLr+2M(r)}{r}\) and \(v(t)\) is any solution of (4.17) with \(\Vert v_{t_{0}}\Vert _{\varepsilon}\leq\frac{M(r)}{p}\) for some \(t_{0}\in\mathbb{T}\cap(\cup\mathbb{T}^{\Pi_{\varepsilon}})\), then \(\Vert v_{t}\Vert _{\varepsilon}\leq r\) and
for all \(t\in[t_{0},+\infty)_{\mathbb{T}}\cap(\cup\mathbb{T}^{\Pi _{\varepsilon}}), -s\in\Pi_{\varepsilon}\).
Proof
Let \(u(t)\) be the unique solution of (4.17) in \(C_{r}^{*} |_{\mathbb{T}\cap(\cup\mathbb{T}^{\Pi_{\varepsilon}})}\) obtained in Theorem 4.3. For each \(\varepsilon_{1}>0\), there exists a positive number \(l(\varepsilon_{1})\) such that any interval of length \(l(\varepsilon)\) contains a \(\tau=\tau(\varepsilon _{1})\in E\{\varepsilon_{2},F\}\) for which
for all \(t\in(t_{k-1},t_{k})_{\mathbb{T}}\cap\mathbb{T}^{-\tau}, \tau\in \Pi_{\varepsilon_{1}}, k\in\mathbb{Z}\). By (iii) in Lemma 4.1 and (i), (ii) in (H3), we have
for all \(t\in(t_{k-1},t_{k})_{\mathbb{T}}\cap\mathbb{T}^{-\tau}, -\tau \in\Pi_{\varepsilon_{1}}, k\in\mathbb{Z}\).
For all \(t\in\mathbb{T}\cap\mathbb{T}^{-s}, -s\in(-\infty,0]_{\Pi _{\varepsilon_{1}}}\). From Lemma 2.1, we can find \(\beta>0\) and \(\beta\in\Pi_{\varepsilon_{1}}\) such that \(-s+\beta\in\Pi_{2\varepsilon_{1}}\). Thus we obtain
Let \(\tilde{\varphi}(t)=\vert u(t+\tau)-u(t)\vert \), (4.23) can be written in the form
Moreover, since \(\{I_{k}\}\) is an almost periodic sequence, there exists a \(q>0\) such that \(\vert I_{k+q}-I_{k}\vert <\varepsilon_{2}\). Hence, we obtain
Then for \(t\in[t_{k},t_{k+1})_{\mathbb{T}}\cap(\cup\mathbb{T}^{\Pi _{3\varepsilon_{1}}}), k\in\mathbb{Z}\), we get
thus we obtain
Under (4.24), for all \(t\in\mathbb{T}\cap(\cup\mathbb{T}^{\Pi_{3\varepsilon_{1}}})\), using (4.25) and (4.26), we can solve the differential inequality (4.23) and obtain
for all \(t\in\mathbb{T}\cap(\cup\mathbb{T}^{\Pi_{3\varepsilon_{1}}})\). Note \(\Vert \tilde{\varphi}_{\theta} \Vert _{3\varepsilon_{1}}=\Vert u_{\theta+\tau }-u_{\theta} \Vert _{3\varepsilon_{1}}\) is nondecreasing in θ and \(u\in C_{r}^{*} |_{\mathbb{T}\cap(\cup\mathbb{T}^{\Pi_{3\varepsilon _{1}}})}\). It follows from this that
so we can obtain
Hence, for \(0< r<1\), we can choose a sufficiently large \(\beta_{0}>0\) such that
Then
Since \(\varepsilon_{1}\) is arbitrary and \(\varepsilon_{2}>\varepsilon_{1}>0\), from the condition (iii) from Theorem 4.4, we obtain
by Definition 2.10, \(u(t)\) is an almost periodic function on the almost periodic time scale \(\mathbb{T}\).
Next, we assume that \(p-L\geq\frac{pLr+2M(r)}{r}\). Let \(v(t)\) be any solution of (4.17) such that \(\Vert v_{t_{0}}\Vert _{\varepsilon_{1}}\leq\frac{M(r)}{p}\) for some \(t_{0}\in\mathbb{T}\cap(\cup\mathbb{T}^{\Pi_{\varepsilon_{1}}})\). Then, by (ii), (iii) in Lemma 4.1, and (ii) in (H3), for \(t\in(t_{k},t_{k+1})_{\mathbb{T}}\cap(\cup\mathbb{T}^{\Pi _{\varepsilon_{1}}})\), we have
Moreover, note \(I_{k}\) satisfies the Lipschitz condition for each k. Hence, we can obtain
Then for \(t\in[t_{k},t_{k+1})_{\mathbb{T}}\cap(\cup\mathbb{T}^{\Pi _{\varepsilon_{1}}}), k\in\mathbb{Z}\), we get
thus we obtain
Using (4.28) and (4.29), we can solve the differential inequality (4.27) and obtain
for all \(t\in\mathbb{T}\cap(\cup\mathbb{T}^{\Pi_{\varepsilon_{1}}}), -s\in(-\infty,0]_{\Pi_{\varepsilon_{1}}}\), which implies that
and thus
Consequently, \(\Vert v_{t}\Vert _{\varepsilon_{1}}\leq r\) for all \(t\in\mathbb{T}\cap(\cup\mathbb{T}^{\Pi_{\varepsilon_{1}}})\). The estimate (4.22) follows from the same argument as in the proof of Theorem 4.3. The proof is complete. □
Example 4.1
Let \(\mathbb{T}\) be an almost periodic time scale with \(\mathbb{Z}\subset\mathbb{T}\) and \(c\in PC_{rd}(\mathbb{T},\mathbb{R}^{+})\). Consider the following ε-equivalent impulsive dynamic equation:
Obviously,
One can check that (4.30) is equivalent to the following impulsive dynamic equation:
Hence, by (iii) from Lemma 4.1 in this paper and using Lemma 4.2 from [25], for \(t\in\mathbb{T}\cap(\cup\mathbb{T}^{\Pi_{\varepsilon}})\), we can calculate that
Therefore, we can obtain
Also, for \(\vert x\vert \leq r\), we can easily obtain
and
Further, we can obtain
and
Thus we can take \(L=\frac{2}{\inf_{t\in\mathbb{T}\cap(\cup\mathbb{T}^{\Pi _{\varepsilon}})}1+c(t)\mu(t)}<2\) such that there exists
such that
In addition, we can obtain
Therefore, all the conditions from Theorem 4.4 are satisfied, then (4.30) has a unique almost periodic solution \(u(t)\) in \(C_{r}^{*} |_{\mathbb{T}\cap(\cup\mathbb{T}^{\Pi_{\varepsilon}})}\) for \(0< r<1\).
5 Conclusion and further discussion
Since impulsive dynamic equations with ‘slight vibration’ can be established on almost periodic time scales and describe many natural phenomena precisely, we propose a new type of ε-equivalent impulsive dynamic equations on almost periodic time scales to reflect such a ‘slight vibration’, which will contribute to the theory of dynamic equations on time scales and practical applications in the real world. From this paper, one can observe that ε-equivalent impulsive dynamic equations are ‘little fuzzy’ in time variables, thus there is a theoretical and practical significance to obtain the existence of solutions for this type of dynamic equations.
To study the existence of solutions for ε-equivalent impulsive functional dynamic equations on almost periodic time scales, we established several theorems in the paper (see Sections 3 and 4) to obtain some new existence results for solutions. These results are also new when \(\mathbb{T}=\mathbb{R}\) and \(\mathbb{T}=\mathbb{Z}\). This is the first investigation for this new type of functional dynamic equations with ‘slight vibration’ and several new methods are provided. However, many problems remain to be studied. From Definition 2.5, we introduce the concept of Δ-sub-derivatives on time scales, which means that (2.5) is the most general functional dynamic equations with ‘arbitrary vibration’ in time variables. In Theorem 4.2, we provide sufficient conditions to guarantee the existence of solutions for (4.3) with ‘arbitrary vibration’. Nevertheless, since this type of dynamic equations has complicated Δ-sub-derivatives.
References
Bohner, M, Peterson, A: Dynamic Equations on Time Scales. An Introduction with Applications. Birkhäuser, Boston (2001)
Agarwal, RP, Bohner, M: Basic calculus on time scales and some of its applications. Results Math. 35, 3-22 (1999)
Hilger, S: Ein Maßkettenkalkül mit Anwendung auf Zentrumsmannigfaltigkeiten. Ph.D. Thesis, Universität. Würzburg (1988). (in German)
Atici, FM, Eloe, PW, Kaymakcalan, B: The quasilinearization method for boundary value problems on time scales. J. Math. Appl. 276, 357-372 (2002)
Bohner, M, Wintz, N: The Kalman filter for linear systems on time scales. J. Math. Anal. Appl. 406, 419-436 (2013)
Akhmet, MU, Turan, M: The differential equations on time scales through impulsive differential equations. Nonlinear Anal. 65, 2043-2060 (2006)
Wang, C, Agarwal, RP: Changing-periodic time scales and decomposition theorems of time scales with applications to functions with local almost periodicity and automorphy. Adv. Differ. Equ. 2015, Article ID 296 (2015)
Stamov, GT, Stamova, IM: Almost periodic solutions for impulsive neural networks with delay. Appl. Math. Model. 31, 1263-1270 (2007)
Deysach, LG, Sell, GR: On the existence of almost periodic motions. Mich. Math. J. 12, 87-95 (1965)
Bochner, S: A new approach to almost periodicity. Proc. Natl. Acad. Sci. USA 48, 2039-2043 (1962)
Kato, S: Almost periodic solutions of functional differential equations with infinite delays. Funkc. Ekvacioj 38, 505-517 (1995)
Kato, S, Imai, M: On the existence of periodic and almost periodic solutions for nonlinear systems. Nonlinear Anal. TMA 24, 1183-1192 (1995)
Fink, AM: Almost Periodic Differential Equations. Springer, Berlin (1974)
Wang, C, Agarwal, RP: Relatively dense sets, corrected uniformly almost periodic functions on time scales, and generalizations. Adv. Differ. Equ. 2015, Article ID 312 (2015)
Wang, C, Agarwal, RP: A further study of almost periodic time scales with some notes and applications. Abstr. Appl. Anal. 2014, Article ID 267384 (2014)
Wang, C, Agarwal, RP: Almost periodic dynamics for impulsive delay neural networks of a general type on almost periodic time scales. Commun. Nonlinear Sci. Numer. Simul. 36, 238-251 (2016)
Wang, C, Agarwal, RP, O’Regan, D: Matrix measure on time scales and almost periodic analysis of the impulsive Lasota-Wazewska model with patch structure and forced perturbations. Math. Methods Appl. Sci. (2016). doi:10.1002/mma.3951
Wang, C, Agarwal, RP: A classification of time scales and analysis of the general delays on time scales with applications. Math. Methods Appl. Sci. 39, 1568-1590 (2016)
Morris, SA, Noussair, ES: The Schauder-Tychonoff fixed point theorem and applications. Math. Slovaca 25(2), 165-172 (1975)
Peterson, A, Thompson, B: Henstock-Kurzweil delta and nabla integrals. J. Math. Anal. Appl. 323, 162-178 (2006)
Zhu, ZQ, Wang, QR: Existence of nonoscillatory solutions to neutral dynamic equations on time scales. J. Math. Anal. Appl. 335, 751-762 (2007)
Fran̆ková, D: Regulated functions. Math. Bohem. 116, 20-59 (1991)
Mesquita, JG: Measure functional differential equations and impulsive functional dynamic equations on time scales. Doctoral dissertation. Instituto de Ciências Matemáticas e de Computação (2012)
Wang, C: Almost periodic solutions of impulsive BAM neural networks with variable delays on time scales. Commun. Nonlinear Sci. Numer. Simul. 19, 2828-2842 (2014)
Li, Y, Wang, C: Almost periodic solutions to dynamic equations on time scales and applications. J. Appl. Math. 2012, Article ID 463913 (2012)
Acknowledgements
This work is supported by Tian Yuan Fund of NSFC (No. 11526181), Yunnan Province Education Department Scientific Research Fund Project of China (No. 2014Y008), and Yunnan Province Science and Technology Department Applied Basic Research Project of China (No. 2014FB102).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally to the manuscript and typed, read and approved the final manuscript.
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
Wang, C., Agarwal, R.P. & O’Regan, D. Compactness criteria and new impulsive functional dynamic equations on time scales. Adv Differ Equ 2016, 197 (2016). https://doi.org/10.1186/s13662-016-0921-4
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-016-0921-4
MSC
- 34N05
- 34A37
- 39A24
- 46B50
Keywords
- relatively compact
- existence
- impulsive functional dynamic equations
- almost periodic time scales