Abstract
In this paper, we introduce the concept of complete-closed time scales under translational and non-translational shifts and propose new definitions of special functions arising from dynamic equations on time scales including the concepts of almost periodic functions, almost automorphic functions and Stepanov almost automorphic functions. All the functions introduced in the paper are not only effective on periodic time scales under translations but are also valid on irregular time scales like \(\overline{q^{\mathbb{Z}}}\), \(\overline{(-q)^{\mathbb{Z}}}\) and \(\mathbb{N}^{\frac{1}{2}}_{\pm }\), etc.
Similar content being viewed by others
1 Introduction
Classical periodic functions, almost periodic functions and almost automorphic functions defined by shifts (see [2, 4, 6, 7, 13, 15, 21,22,23, 31, 32]) and their applications to dynamic equations were studied in the literature (see [5, 8,9,10,11, 16,17,18,19, 32]). Using time scales calculus, one can study these functions on periodic time scales under translations since periodic time scales have a very nice closedness property under translations and we find that all periodic time scales under translations have a bounded graininess function μ (see [3, 12, 14, 20, 24,25,26,27,28,29,30]). However, there are many irregular time scales that have no translational closedness. For example, consider the time scale \(\overline{q^{\mathbb{Z}}}:=\overline{\{q^{n}:q>1,n\in \mathbb{Z}\}}\), which arises when one considers q-difference equations. This time scale is irregular and it is not a periodic time scale under translations and its graininess function μ is unbounded. Also consider the time scales \(-\overline{q^{\mathbb{Z}}}\cup \{1\}=\overline{ \{-q^{n}:q>1,n\in \mathbb{Z} \}}\cup \{1\}\) and \(\overline{(-q)^{\mathbb{Z}}}= \{(- q)^{n}:q>1,n\in \mathbb{Z} \}\cup \{0\}\) and \(\mathbb{N}^{\frac{1}{2}}_{\pm }=\{\pm \sqrt{n}:n\in \mathbb{N}\}\). Is it possible to consider almost periodic, almost automorphic and generalized problems on these irregular time scales?
We introduce the concept of complete-closed time scales under translational and non-translational shifts (T-CCTSs and S-CCTSs) and propose new definitions of special functions.
In 2013, Adıvar introduced a new concept of periodic time scales and studied some periodic solutions for differential equations on irregular time scales which includes q-difference equations so one could consider periodic problem on \(q^{\mathbb{Z}}\) (see [1, 2]). Motivated by the above, based on results of shift operators proposed in [1], we introduce a concept of complete-closed time scales under shifts which is more general than the concept of periodic time scales in [1]. Then we construct almost periodic functions and almost automorphic functions and propose definitions and generalizations including Stepanov almost periodic and Stepanov almost automorphic functions, etc.
2 Complete-closed time scales under shifts (S-CCTSs)
Throughout the paper, we assume that \(\delta _{\pm }\) are shift operators satisfying Definition 3 from [1] and \(\tilde{\mathcal{D}}_{\pm }:=\{(s,t)\in [t_{0},\infty )_{\mathbb{T}}\times \mathbb{T}^{*}:\delta _{\pm }(s,t)\in \mathbb{T}^{*}\}\), where \(\mathbb{T}^{*}\) is the largest subset of the time scale \(\mathbb{T}\), i.e., \(\overline{\mathbb{T}^{*}}=\mathbb{T}\).
Definition 2.1
([1])
Let \(\mathbb{T}\) be a time scale with the shift operators \(\delta _{\pm }\) associated with the initial point \(t_{0}\in \mathbb{T}^{*}\). The time scale \(\mathbb{T}\) is said to be periodic in shifts \(\delta _{\pm }\) if there exists a \(p\in (t_{0},\infty )_{\mathbb{T}^{*}}\) such that \((p,t)\in \tilde{\mathcal{D}}_{\mp }\) for all \(t\in \mathbb{T}^{*}\). Furthermore, if
then P is called the period of the time scale \(\mathbb{T}\), where \(\tilde{\mathcal{D}}_{\pm }= \{(s,t)\in [t_{0},\infty )_{\mathbb{T}}\times \mathbb{T}^{*}:\delta _{\pm }(s,t)\in \mathbb{T}^{*} \}\).
Now, we give an example to show that Definition 2.1 is not appropriate for certain time scales.
Example 2.1
Let a time scale be
then \(\mathbb{T}^{*}= \{-q^{n}:q>1,n\in \mathbb{Z} \}\cup \{1\}\). Take the initial point \(t_{0}=1\) and attach the shift operators \(\delta _{-}(s,t)=-st,\quad \delta _{+}(s,t)=-\frac{t}{s}\). Let \(\varPi ^{-}= \{-q^{n}:q>1,n\in \mathbb{Z}^{+} \}\). We obtain \(\delta _{\pm }(s,t)\in \mathbb{T}^{*}\) for any \(s\in \varPi ^{-}\). However, by Definition 2.1, \(\mathbb{T}\) cannot be regarded as a periodic time scale under shifts \(\delta _{\pm }\) since there is no number \(P\in (1,+\infty )_{\mathbb{T}^{*}}\) satisfying (1). In fact, this time scale is the opposite number set of the time scale \(\overline{q^{\mathbb{Z}}}= \{q^{n}:q>1,n\in \mathbb{Z} \}\cup \{0\}\), and the time scale (2) also plays an important role in q-difference equations. Moreover, from (2), it is easy to observe that, for any \(t\in \mathbb{T}^{*}\), we have \(-(-q)t\in \mathbb{T}^{*}\) but \(-q\notin [1,+\infty )\).
For convenience, we introduce the notations. Let
For any \(s\in \mathbb{T}^{*}\), denote
Next, we introduce a concept related with S-CCTSs.
Definition 2.2
Let \(\mathbb{T}\) be a time scale with the shift operators \(\delta _{\pm }\) associated with the initial point \(t_{0}\in \mathbb{T}^{*}\). We say the time scale \(\mathbb{T}\) is a bi-direction S-CCTS in shifts \(\delta _{\pm }\) if
Remark 2.2
Note that by using (3) and (4), the set Π in (5) can be written in the equivalent form
Next, from (5), we introduce a concept of S-CCTS attached with shift direction. For convenience, we will use the notations
Definition 2.3
Let \(\mathbb{T}\) be a S-CCTS. Then:
-
(i)
we say S-CCTS is with positive-direction if \(\varPi ^{+}\notin \{\{t_{0}\},\emptyset \}\);
-
(ii)
we say S-CCTS is with negative-direction if \(\varPi ^{-}\notin \{\{t_{0}\},\emptyset \}\);
-
(iii)
we say S-CCTS is with bi-direction if \(\varPi ^{\pm }\notin \{\{t_{0}\},\emptyset \}\).
Remark 2.3
From Definition 2.3, one observes that a bi-direction S-CCTS also comes with a positive-direction and a negative-direction.
Remark 2.4
In (iii) of Definition 2.3, let \(\delta _{\pm }(p,t)=t\pm p\), then it follows that \(\mathbb{T}\) is a periodic time scale with period p (see [3] and Definitions 2.2–2.3 of [30]).
Remark 2.5
Note that if \(\mathbb{T}\) is a S-CCTS with positive-direction, then \(\varPi ^{+}\cap \mathbb{T}\in \{\{t_{0}\},\emptyset \}\) may hold. For example, consider the time scale \(\mathbb{T}=\bigcup_{k=0}^{+\infty }[3k,3k+1]\), if we take \(\delta _{+}(p,t)=t-p\), then \(\varPi ^{+}=\{3n,n\in \mathbb{Z}^{-}\}\), which indicates that \(\varPi ^{+}\cap \mathbb{T}=\emptyset \); if we take \(\delta _{+}(p,t)=t+p\), then \(\varPi ^{+}=\{3n,n\in \mathbb{Z}^{+}\}\), which indicates that \(\varPi ^{+}\subset \mathbb{T}\). Hence, for the time scale attached with shift directions, whether \(\varPi ^{+}\) is a subset of \(\mathbb{T}\) is determined by the choice of \(\delta _{+}\). Similarly, for the negative-direction S-CCTS, there may appear the same situation.
Example 2.6
From Definitions 2.2 and 2.3, we provide some examples of S-CCTS.
-
(1)
Let \(\mathbb{T}=-\overline{q^{\mathbb{Z}}}\cup \{1\}=\overline{ \{-q^{n}:q>1,n\in \mathbb{Z} \}}\cup \{1\}\). For such a time scale, take \(t_{0}=1\), we attach the shift operators
$$ \delta _{-}(s,t)=-st,\qquad \delta _{+}(s,t)=- \frac{t}{s},\qquad \varPi ^{\pm }= \bigl\{ -q^{n}:q>1, n\in \mathbb{Z}^{+} \bigr\} . $$Hence, there exists \(-q\in \varPi ^{\pm }\) such that \(\varPi ^{\pm }\notin \{\{1\},\emptyset \}\). From Definition 2.3, \(\mathbb{T}\) is a S-CCTS with bi-direction.
-
(2)
Let \(\mathbb{T}=\overline{q^{\mathbb{Z}}}= \{q^{n}:q>1,n\in \mathbb{Z} \}\cup \{0\}\). For such a time scale, take \(t_{0}=1\), we attach the shift operators
$$ \delta _{+}(s,t)=st,\qquad \delta _{-}(s,t)= \frac{t}{s},\qquad \varPi ^{\pm }= \bigl\{ q^{n}:q>1,n \in \mathbb{Z}^{+} \bigr\} . $$Hence, there exists \(q\in \varPi ^{\pm }\) such that \(\varPi ^{\pm }\notin \{\{1\},\emptyset \}\). From Definition 2.3, \(\mathbb{T}\) is a S-CCTS with bi-direction.
-
(3)
Let \(\mathbb{T}=\overline{(-q)^{\mathbb{Z}}}= \{(-q)^{n}:q>1,n\in \mathbb{Z} \}\cup \{0\}\). We obtain \(\varPi ^{\pm }= \{(-q)^{2n}:q>1,n\in \mathbb{Z}^{+} \}\). For such a time scale, for any \(t\in \mathbb{T}^{*}\), take \(t_{0}=1\), we attach the shift operators
$$ \delta _{+}(s,t)= \textstyle\begin{cases} st,&t>0, \\ \frac{t}{s},&t< 0, \end{cases}\displaystyle \qquad \delta _{-}(s,t)= \textstyle\begin{cases} \frac{t}{s},&t>0, \\ st,&t< 0. \end{cases} $$Hence, there exists \(q^{2}\in \varPi ^{\pm }\) such that \(\delta _{\pm }(q^{2},t)\in \mathbb{T}^{*}\) for all \(t\in \mathbb{T}^{*}\), i.e., \(\varPi ^{\pm }\notin \{\{1\},\emptyset \}\). From Definition 2.3, \(\mathbb{T}\) is a S-CCTS with bi-direction.
-
(4)
Consider \(\mathbb{T}= \{q^{n}:q>1,n\in \mathbb{Z} \}\cup \{-q^{n}:q>1,n\in \mathbb{Z} \}\cup \{0\}\). For such a time scale, for any \(t\in \mathbb{T}^{*}\), take \(t_{0}=1\), we attach the shift operators
$$ \delta _{+}(s,t)= \textstyle\begin{cases} st,&t>0, \\ \frac{t}{s},&t< 0, \end{cases}\displaystyle \qquad \delta _{-}(s,t)= \textstyle\begin{cases} \frac{t}{s},&t>0, \\ st,&t< 0. \end{cases} $$We obtain \(\varPi ^{\pm }= \{q^{n}:q>1,n\in \mathbb{Z}^{+} \}\). Hence, there exists \(q\in \varPi ^{\pm }\) such that \(\delta _{\pm }(q,t)\in \mathbb{T}^{*}\) for all \(t\in \mathbb{T}^{*}\), i.e., \(\varPi ^{\pm }\notin \{\{1\},\emptyset \}\). From Definition 2.3, \(\mathbb{T}\) is a S-CCTS with bi-direction.
-
(5)
Consider \(\mathbb{N}^{\frac{1}{2}}_{\pm }= \{\pm \sqrt{n},n\in \mathbb{N} \}\), For such a time scale, for any \(t\in \mathbb{T}^{*}\), take \(t_{0}=0\), we attach the shift operators
$$ \delta _{+}(s,t)= \textstyle\begin{cases} \sqrt{s^{2}+t^{2}},&t>0, \\ -\sqrt{t^{2}-s^{2}},&t< 0, \end{cases}\displaystyle \qquad \delta _{-}(s,t)= \textstyle\begin{cases} \sqrt{t^{2}-s^{2}},&t>0, \\ -\sqrt{t^{2}+s^{2}},&t< 0. \end{cases} $$We obtain \(\varPi ^{\pm }=\mathbb{N}^{\frac{1}{2}}= \{\sqrt{n}:n\in \mathbb{N} \}\). Hence, there exists \(1\in \varPi ^{\pm }\) such that \(\delta _{\pm }(1,t)\in \mathbb{T}^{*}\) for all \(t\in \mathbb{T}^{*}\), i.e., \(\varPi ^{\pm }\notin \{\{0\},\emptyset \}\). From Definition 2.3, \(\mathbb{T}\) is a S-CCTS with bi-direction.
-
(6)
Let \(\mathbb{T}_{1}= \{q^{n}:q>1,n\in \mathbb{Z}^{+} \}\cup \{1\}\) and \(\mathbb{T}_{2}= \{q^{n}:q>1,n\in \mathbb{Z}^{-} \}\cup \{0,1\}\). For these two time scales, take \(t_{0}=1\) and
$$\begin{aligned}& \varPi _{1}^{+}= \bigl\{ q^{n}:q>1,n\in \mathbb{Z}^{+} \bigr\} \subseteq \mathbb{T}_{1}^{*}, \\& \varPi _{2}^{-}= \bigl\{ q^{n}:q>1,n\in \mathbb{Z}^{-} \bigr\} \subseteq \mathbb{T}_{2}^{*}. \end{aligned}$$It is clear that, for any \(s_{1}\in \varPi _{1}^{+},s_{2}\in \varPi _{2}^{-}\), we obtain
$$\begin{aligned}& \delta _{+}(s_{1},t_{1})=s_{1}t_{1} \in \mathbb{T}^{*}_{1}\quad \mbox{for all }t_{1} \in \mathbb{T}_{1}^{*}, \\& \delta _{-}(s_{1},t_{1})=\frac{t_{1}}{s_{1}} \notin \mathbb{T}_{1}^{*}\quad \mbox{for }t_{1}=q, s_{1}=q^{2}, \end{aligned}$$and
$$\begin{aligned}& \delta _{-}(s_{2}, t_{2})=s_{2}t_{2} \in \mathbb{T}^{*}_{2}\quad \mbox{for all }t_{2} \in \mathbb{T}_{2}^{*}, \\& \delta _{+}(s_{2},t_{2})=\frac{t_{2}}{s_{2}} \notin \mathbb{T}_{2}^{*}\quad \mbox{for }t_{2}= \frac{1}{q},s_{2}=\frac{1}{q^{2}}. \end{aligned}$$Hence, for the shift operator \(\delta _{+}(s,t)=st\), it follows that \(\mathbb{T}_{1}\) is a positive-direction S-CCTS. For the shift operator \(\delta _{-}(s,t)=st\), we see that \(\mathbb{T}_{2}\) is a negative-direction S-CCTS.
In the literature [30], the authors proposed some periodic time scales attached with translation direction. In fact, they are complete-closed time scales under translations (i.e., T-CCTSs) .
Definition 2.4
([30])
We say \(\mathbb{T}\) is a complete-closed time scale T-CCTS if \(\varPi _{0}:=\{\tau \in \mathbb{R}:\mathbb{T}^{\tau }\subseteq \mathbb{T}\}\neq \{0\}\). We say \(\varPi _{0}\) is the complete-closed translation number set of T-CCTS. Furthermore, we can describe it in detail as follows:
-
(a)
if for any \(p>0\), there exists a number \(P>p\) and \(P\in \varPi _{0}\), we say \(\mathbb{T}\) is a positive-direction T-CCTS;
-
(b)
if for any \(q<0\), there exists a number \(Q< q\) and \(Q\in \varPi _{0}\), we say \(\mathbb{T}\) is a negative-direction T-CCTS;
-
(c)
if \(\pm \tau \in \varPi _{0}\), we say \(\mathbb{T}\) is a bi-direction T-CCTS;
-
(d)
we say \(\mathbb{T}\) is an oriented-direction T-CCTS if \(\mathbb{T}\) is a positive-direction T-CCTS or a negative-direction T-CCTS.
Example 2.7
Let an oriented-direction T-CCTS be
then \(\mathbb{T}_{1}\) is a positive-direction T-CCTS and \(\mathbb{T}_{2}\) is a negative-direction T-CCTS with the translation number \(a+b\), but they have no invariance under translations in the sense of Definition 1.1 of [13] because \(\inf \mathbb{T}_{1}=\sup \mathbb{T}_{2}=0\).
Remark 2.8
We attached the translation direction to the time scales in [30] and now introduce the concept of T-CCTS. We also introduced the concepts of some special functions arising from differential and difference equations on T-CCTS including almost periodic functions and almost automorphic functions. However, these results will be invalid on some irregular time scales like \(\overline{(-q)^{\mathbb{Z}}}\), \(\overline{q^{\mathbb{Z}}}\) and \(\pm \mathbb{N}^{\frac{1}{2}}\), etc.
Remark 2.9
Note that if \(\mathbb{T}\) is a periodic time scales under translations and \(\varPi ^{\pm }\subseteq \mathbb{T}^{*}\), then the shift operators will satisfy \(\delta _{\pm }(\tau ,t)=t\pm \tau \in \mathbb{T}\) with the initial point \(t_{0}=0\). Hence, if \(\varPi ^{\pm }\subseteq \mathbb{T}^{*}\), then T-CCTS is included in S-CCTS.
3 Related functions on S-CCTS
In this section, based on S-CCTS, we introduce the definitions of some special functions involving almost periodic functions, almost automorphic functions and their generalizations so that it is possible to study almost periodic problems, almost automorphic problems and their related general problems of dynamic equations on irregular time scales which include quantum-like time scales and more.
3.1 Almost periodic functions on S-CCTS
In this subsection, we introduce the concepts of almost periodic functions and Δ-almost periodic functions on S-CCTS based on the shift operators \(\delta _{\pm }\) of time scales. Throughout the paper, we assume that \(\mathbb{X}\) is a Banach space and \(D\subseteq \mathbb{X}\) is an open set. In what follows, we introduce the concepts of relatively dense sets attached with directions under S-CCTS.
Definition 3.1
On S-CCTS, the relatively dense sets attached with directions are defined as follows:
-
(a)
Let \(\mathbb{T}\) be a S-CCTS with the shift operator \(\delta _{+}\) associated with the initial point \(t_{0}\in \mathbb{T}^{*}\). A subset S of \(\mathbb{R}\) is called positive-direction relatively dense under the pair \((\mathbb{T}^{*},\delta _{+})\) if there exists a number \(L\in \varPi ^{+}\) (\(L>t_{0}\)) such that \([a,\delta _{+}(L,a)]_{\mathbb{T}^{*}}\cap S\neq \emptyset \) for all \(a\in \mathbb{T}^{*}\). The number \(\vert L \vert \) is called the inclusion length with respect to the pair \((\mathbb{T}^{*},\delta _{+})\).
-
(b)
Let \(\mathbb{T}\) be a S-CCTS with the shift operator \(\delta _{-}\) associated with the initial point \(t_{0}\in \mathbb{T}^{*}\). A subset S of \(\mathbb{R}\) is called positive-direction relatively dense under the pair \((\mathbb{T}^{*},\delta _{-})\) if there exists a number \(L\in \varPi ^{-}\) (\(L< t_{0}\)) such that \([\delta _{-}(L,a),a]_{\mathbb{T}^{*}}\cap S\neq \emptyset \) for all \(a\in \mathbb{T}^{*}\). The number \(\vert L \vert \) is called the inclusion length with respect to the pair \((\mathbb{T}^{*},\delta _{-})\).
-
(c)
Let \(\varPi ^{\pm }\notin \{\{t_{0}\},\emptyset \}\). A subset S of \(\mathbb{R}\) is called bi-direction relatively dense under the pair \((\mathbb{T}^{*},\delta _{\pm })\) if there exists a number \(L\in \varPi ^{\pm }\) (\(L>t_{0}\)) such that \([a,\delta _{+}(L,a)]_{\mathbb{T}^{*}}\cap S\neq \emptyset \) and \([\delta _{-}(L,a),a]_{\mathbb{T}^{*}}\cap S\neq \emptyset \) for all \(a\in \mathbb{T}^{*}\). The number \(\vert L \vert \) is called the inclusion length with respect to the pair \((\mathbb{T}^{*},\delta _{\pm })\).
Remark 3.1
From cases (a)–(c), let \(\mathbb{T}_{1}=\bigcup_{k=0}^{+\infty }[2k,2k+1]\), \(\mathbb{T}_{2}=\bigcup_{k=-\infty }^{0}[2k-1,2k]\) and \(\mathbb{T}_{3}=\bigcup_{k=-\infty }^{+\infty }[2k,2k+1]\), then \(\varPi _{1}^{+}=\{2n:n\in \mathbb{Z}^{+}\}\), \(\varPi _{2}^{-}=\{2n,n\in \mathbb{Z}^{-}\}\) and \(\varPi _{3}^{\pm }=\{2n:n\in \mathbb{Z}^{+}\}\). It is obvious that \(\delta _{+}(p,t)=t+p\) for \(t\in \mathbb{T}_{1}, p\in \varPi _{1}^{+}\); \(\delta _{-}(p,t)=t+p\) for \(t\in \mathbb{T}_{2}, p\in \varPi _{2}^{-}\); and \(\delta _{\pm }(p,t)=t\pm p\) for \(t\in \mathbb{T}_{3}, p\in \varPi _{3}^{\pm }\). If \(S\subset \mathbb{R}\) is relatively dense attached with directions according to Definition 3.1, then in case (a), we can take \(L=2\in \varPi _{1}^{+}\) such that \([a,a+2]_{\mathbb{T}_{1}}\cap S\neq \emptyset \); in case (b), there exists \(L=-2\in \varPi _{2}^{-}\) such that \([a-2,a]_{\mathbb{T}_{2}}\cap S\neq \emptyset \); similarly, in case (c), there exists \(L=2\in \varPi _{3}^{+}\) such that \([a,a+2]_{\mathbb{T}_{3}}\cap S\neq \emptyset \) and \([a-2,a]_{\mathbb{T}_{3}}\cap S\neq \emptyset \).
To introduce the concept of almost periodic functions under S-CCTS conveniently, we introduce the following definition.
Definition 3.2
Let \(\mathbb{T}\) be a S-CCTS, and we say \((\mathbb{T},\bar{\delta },\bar{\varPi })\) is compatible,
-
(i)
if \(\mathbb{T}\) is a positive-direction S-CCTS, then \(\bar{\delta }(s,t)=\delta _{+}(s,t)\) and \(\bar{\varPi }=\varPi ^{+}\);
-
(ii)
if \(\mathbb{T}\) is a negative-direction S-CCTS, then \(\bar{\delta }(s,t)=\delta _{-}(s,t)\) and \(\bar{\varPi }=\varPi ^{-}\);
-
(iii)
if \(\mathbb{T}\) is a bi-direction S-CCTS, then
$$ \bar{\delta }(s,t)= \textstyle\begin{cases} \delta _{+}(s,t),& s\in \varPi ^{+}, \\ \delta _{-}(s,t),& s\in \varPi ^{-}, \end{cases}\displaystyle \quad \text{and} \quad \bar{\varPi }=\varPi^{\pm }. $$
Remark 3.2
Because of the Remark 2.5, for convenience, we always choose a suitable Π̄ satisfying \(\bar{\varPi }\subset \mathbb{T}^{*}\) such that \(\bar{\delta }(s,t)\in \mathbb{T}\), where \((s,t)\in \bar{\varPi }\times \mathbb{T}^{*}\).
Based on Definition 3.2, we introduce the concept of almost periodic functions on S-CCTS as follows:
Definition 3.3
Let \(\mathbb{T}\) be a S-CCTS under shifts and \((\mathbb{T},\bar{\delta },\bar{\varPi })\) be compatible. A function \(f\in C(\mathbb{T}\times D,\mathbb{X})\) is called an almost periodic function with shift operators in \(t\in \mathbb{T}\) uniformly for \(x\in D\) if the ε-shift set of f
is a relatively dense set with respect to the pair \((\bar{\varPi },\bar{\delta })\) for all \(\varepsilon >0\) and for each compact subset S of D; that is, for any given \(\varepsilon >0\) and each compact subset S of D, there exists a constant \(l(\varepsilon ,S)>0\) such that each interval of length \(l(\varepsilon ,S)\) contains a \(\tau (\varepsilon ,S)\in E\{\varepsilon ,f,S\}\) such that
Now τ is called the ε-shift number of f and \(l(\varepsilon ,S)\) is called the inclusion length of \(E\{\varepsilon ,f,S\}\).
Remark 3.3
From Definitions 3.2 and 3.3, we obtain:
-
(1)
if \(\mathbb{T}\) is a positive-direction S-CCTS, we say f is a positive-direction almost periodic function;
-
(2)
if \(\mathbb{T}\) is a negative-direction S-CCTS, we say f is a negative-direction almost periodic function;
-
(3)
if \(\mathbb{T}\) is a bi-direction S-CCTS, we say f is a bi-direction almost periodic function.
Remark 3.4
We can easily obtain the classical almost periodic functions on \(\mathbb{R}\) and \(\mathbb{Z}\) from Definition 3.3 by letting \(\mathbb{T}=\mathbb{R}\) or \(\mathbb{T}=\mathbb{Z}\), where \(\bar{\delta }(\tau ,t)=\delta _{\pm }(\tau ,t)=t\pm \tau \). Note that Definition 3.3 is also suitable for irregular time scales like \(\overline{q^{\mathbb{Z}}}, \overline{(-q)^{\mathbb{Z}}}\) and \(\mathbb{N}_{\pm }^{\frac{1}{2}}\), etc.
Remark 3.5
We demonstrate some concrete examples of Definition 3.3 under different irregular time scales.
-
(i)
Let \(\mathbb{T}=\{q^{n}:q>1,n\in \mathbb{Z}^{-}\}\cup \{0,1\}\), we take \(\varPi ^{-}=\{q^{n}:q>1,n\in \mathbb{Z}^{-}\}\subset \mathbb{T}^{*}\) and \(\bar{\delta }(s,t)=\delta _{-}(s,t)=st\), then Definition 3.3 turns into the following.
A function \(f\in C(\mathbb{T}\times D,\mathbb{X})\) is called a negative almost periodic function with shift operator in \(t\in \mathbb{T}\) uniformly for \(x\in D\) if the ε-shift set of f
$$ E\{\varepsilon ,f,S\}= \bigl\{ \tau \in \varPi ^{-}: \bigl\Vert f ( \tau t,x)-f(t,x) \bigr\Vert < \varepsilon , \text{for all $t\in \mathbb{T}^{*}$ and $x\in S$} \bigr\} $$is a relatively dense set with respect to the pair \((\varPi ^{-},\delta _{-})\) for all \(\varepsilon >0\) and for each compact subset S of D.
-
(ii)
Let \(\mathbb{T}=\{\sqrt{n}:n\in \mathbb{Z}^{+}\}\), we take \(\varPi ^{+}=\mathbb{T}^{*}=\mathbb{T}\) and \(\bar{\delta }(s,t)=\delta _{+}(s,t)=\sqrt{s^{2}+t^{2}}\), then Definition 3.3 turns into the following.
A function \(f\in C(\mathbb{T}\times D,\mathbb{X})\) is called a positive almost periodic function with shift operator in \(t\in \mathbb{T}\) uniformly for \(x\in D\) if the ε-shift set of f
$$ E\{\varepsilon ,f,S\}= \bigl\{ \tau \in \varPi ^{+}: \bigl\Vert f \bigl(\sqrt{\tau ^{2}+t^{2}},x \bigr)-f(t,x) \bigr\Vert < \varepsilon, \text{for all } t\in \mathbb{T}^{*}\mbox{ and }x\in S \bigr\} $$is a relatively dense set with respect to the pair \((\varPi ^{+},\delta _{+})\) for all \(\varepsilon >0\) and for each compact subset S of D.
Now, we will construct some examples of almost periodic functions on S-CCTS through periodic functions on S-CCTS.
Example 3.6
Let \(\mathbb{T}=\mathbb{R}\) and \(\varPi =(0,+\infty )\), and we define the following shift operators:
Under the shifts \(\delta _{\pm }\), the function
is periodic under shifts with the period \(\tau =P^{2}\), \(P>1\) since
Example 3.7
Based on the time scale in Example 3.6, consider the function
where \(P_{1}\neq P_{2}, P_{1},P_{2}>1\) and \(t\in \mathbb{T}^{*}=\mathbb{R}\backslash \{0\}\). One can observe that \(\tilde{F}(t)\) is almost periodic under shifts \(\delta _{\pm }\). From Example 3.6, let
we obtain \(\tilde{F}(t)=f_{P_{1}^{2}}(\sqrt{2}t)+f_{P_{2}^{2}}(\sqrt{3}t)\), and note that \(f_{P_{1}^{2}}\) and \(f_{P_{2}^{2}}\) are periodic with different periods \(P_{1}^{2}, P_{2}^{2}\), respectively (see Fig. 1).
We can extend Definition 3.3 to Δ-almost periodic functions.
Definition 3.4
Let \(\mathbb{T}\) be a S-CCTS under shifts and \((\mathbb{T},\bar{\delta },\bar{\varPi })\) be compatible, the shift \(\bar{\delta }(\tau ,t)\) is Δ-differentiable in its second argument with rd-continuous bounded derivatives \(\bar{\delta }^{\Delta }(\tau ,t)\) for all \(t\in \mathbb{T}^{*}\). A function \(f\in C(\mathbb{T}\times D,\mathbb{X})\) is called a Δ-almost periodic function with shift operators in \(t\in \mathbb{T}\) uniformly for \(x\in D\) if the ε-shift set of f
is a relatively dense set with respect to the pair \((\bar{\varPi },\bar{\delta })\) for all \(\varepsilon >0\) and for each compact subset S of D; that is, for any given \(\varepsilon >0\) and each compact subset S of D, there exists a constant \(l(\varepsilon ,S)>0\) such that each interval of length \(l(\varepsilon ,S)\) contains a \(\tau (\varepsilon ,S)\in E\{\varepsilon ,f,S\}\) such that
Now τ is called the ε-shift number of f and \(l(\varepsilon ,S)\) is called the inclusion length of \(E\{\varepsilon ,f,S\}\).
Remark 3.8
From Definitions 3.2 and 3.4, we obtain:
-
(1)
if \(\mathbb{T}\) is a positive-direction S-CCTS, we say f is a positive-direction Δ-almost periodic function;
-
(2)
if \(\mathbb{T}\) is a negative-direction S-CCTS, we say f is a negative-direction Δ-almost periodic function;
-
(3)
if \(\mathbb{T}\) is a bi-direction S-CCTS, we say f is a bi-direction Δ-almost periodic function.
In what follows, we will construct some examples of Δ-almost periodic functions on S-CCTS through Δ-periodic functions on S-CCTS.
Example 3.9
For any \(a\in \mathbb{R}\backslash \{0\}\), the real valued function \(f(t)=a/t\) defined on \((\sqrt{5})^{\mathbb{Z}}=\{(\sqrt{5})^{n}, n\in \mathbb{Z}\}\) is Δ-periodic under the shifts \(\delta _{\pm }\) with the period \(\tau =\sqrt{5}\) since
Example 3.10
On the time scale \(5^{\mathbb{Z}}=\{5^{n}, n\in \mathbb{Z}\}\), let \(a,b\in \mathbb{R}\backslash \{0\}, a\neq b\) and
From Example 3.9, one observes that \(g_{1} (\delta _{\pm }(\sqrt{5},t) )\delta _{\pm }^{\Delta }(\sqrt{5},t)=g_{1}(t)\) and we note that
Hence, \(\tilde{G}(t)\) is a Δ-almost periodic function under the shifts \(\delta _{\pm }\). Note that the periods of \(g_{1}\) and \(g_{2}\) are completely different.
Remark 3.11
We demonstrate a few concrete examples of Definition 3.4 under different irregular time scales:
Let \(\mathbb{T}=\{(-q)^{n}:q>1,n\in \mathbb{Z}\}\cup \{0\}\), then \(\varPi ^{\pm }= \{(-q)^{2n}: q>1, n\in \mathbb{Z}^{+} \}\) and \(\mathbb{T}^{*}= \{(-q)^{n}: q>1, n\in \mathbb{Z} \}\). Let
A function \(f\in C(\mathbb{T}\times D,\mathbb{X})\) is called a positive-direction Δ-almost periodic function with shift operators in \(t\in \mathbb{T}\) uniformly for \(x\in D\) if the ε-shift set of f
is a relatively dense set with respect to the pair \((\varPi ^{\pm },\delta _{+})\) for all \(\varepsilon >0\) and for each compact subset S of D.
3.2 Stepanov almost periodic functions on S-CCTS
In this subsection, based on Sect. 3.1, we introduce the concept of Stepanov almost periodic functions (\(S_{L}^{p}\)-almost periodic function) on S-CCTS.
For \(h>0\), denote
Let \(-\frac{\pi }{h}<\omega \leq \frac{\pi }{h}\) and denote the Hilger purely imaginary number \(\mathring{\iota }\omega =\frac{e^{i\omega h-1}}{h}\).
Throughout this subsection, we assume that \((\mathbb{T},\bar{\delta },\bar{\varPi })\) is compatible and \(L^{p}_{\mathrm{loc}}(\mathbb{T},\mathbb{X})\) denotes the set of all pth power local-integrable functions in \(\mathbb{X}\) \((p\geq 1)\), i.e.,
For \(L^{p}_{\mathrm{loc}}(\mathbb{T},\mathbb{C}^{n})\), from the theory of Stepanov almost periodic functions introduced by V.V. Stepanov (see [22]), we can introduce a class of functions \(S_{L}^{p}\) that are measurable and summable together with their pth power \((p\geq 1)\) on every finite interval \(\widehat{[t,\bar{\delta }(L,t)]}_{\mathbb{T}^{*}}\) and that can be approximated in the metric of the Stepanov space by finite sums \(\sum_{n=1}^{N}a_{n}e^{\mathring{\iota }\lambda _{n}t}\), where \(a_{n}\in \mathbb{C}_{h}\) are Hilger complex coefficients and \(-\frac{\pi }{h}<\lambda _{n}\leq \frac{\pi }{h}\). The distance in the Stepanov space is defined by the formula
where
and \(f,g:\mathbb{T}\rightarrow \mathbb{R}^{n}\).
Now, based on the above idea, we consider a Stepanov space on time scales whose distance is defined by the following:
where \(f,g:\mathbb{T}\rightarrow \mathbb{X}\) and \(\mathbb{X}\) is a Banach space. From (7), we can obtain the following definition.
Definition 3.5
We say \(f\in L^{p}_{\mathrm{loc}}(\mathbb{T},\mathbb{X})\) is \(S_{L}^{p}\)-bounded if
where \(\widehat{[t,\bar{\delta }(L,t)]}_{\mathbb{T}^{*}}\) is defined in (6). Denote \(BS_{L}^{p}(\mathbb{T},\mathbb{X})\) the set of all \(S_{L}^{p}\)-bounded functions from \(\mathbb{T}\) to \(\mathbb{X}\).
Remark 3.12
According to Definition 3.5, let \(\mathbb{T}=\{\sqrt{n}:n\in \mathbb{N}\}\), then we have \(L=1\) and \(\bar{\delta }(L,t)=\delta _{+}(L,t)=\sqrt{t^{2}+1}\), we say \(f\in L^{p}_{\mathrm{loc}}(\mathbb{T},\mathbb{X})\) is \(S_{L}^{p}\)-bounded if
Now, we introduce the concept of \(S_{L}^{p}\)-almost periodic functions on S-CCTS.
Definition 3.6
A function \(f\in L^{p}_{\mathrm{loc}}(\mathbb{T}\times D,\mathbb{X})\) is called a \(S_{L}^{p}\)-almost periodic function with shift operators in \(t\in \mathbb{T}\) uniformly for \(x\in D\) if the ε-shift set of f
is a relatively dense set with respect to the pair \((\bar{\varPi },\bar{\delta })\) for all \(\varepsilon >0\) and for each compact subset S of D; that is, for any given \(\varepsilon >0\) and each compact subset S of D, there exists a constant \(l(\varepsilon ,S)>0\) such that each interval of length \(l(\varepsilon ,S)\) contains a \(\tau (\varepsilon ,S)\in E\{\varepsilon ,f,S\}\) such that
Now τ is called the ε-shift number of f and \(l(\varepsilon ,S)\) is called the inclusion length of \(E\{\varepsilon ,f,S\}\), where
Remark 3.13
From Definitions 3.2 and 3.6, we obtain:
-
(1)
if \(\mathbb{T}\) is a positive-direction S-CCTS, we say f is a positive-direction \(S_{L}^{p}\)-almost periodic function;
-
(2)
if \(\mathbb{T}\) is a negative-direction S-CCTS, we say f is a negative-direction \(S_{L}^{p}\)-almost periodic function;
-
(3)
if \(\mathbb{T}\) is a bi-direction S-CCTS, we say f is a bi-direction \(S_{L}^{p}\)-almost periodic function.
Remark 3.14
Note that Definition 3.6 is a general definition of an \(S_{L}^{p}\)-almost periodic function on any arbitrary closed subset of \(\mathbb{R}\). One can obtain the classical \(S_{L}^{p}\)-almost periodic functions easily on \(\mathbb{R}\) and \(\mathbb{Z}\) from Definition 3.6 by letting \(\mathbb{T}=\mathbb{R}\) or \(\mathbb{T}=\mathbb{Z}\), where \(\vert L \vert =1\), \(\bar{\delta }(\tau ,t)=\delta _{\pm }(\tau ,t)=t\pm \tau \). We emphasize that Definition 3.6 is also suitable for irregular time scales like \(\overline{q^{\mathbb{Z}}}, \overline{(-q)^{\mathbb{Z}}}\) and \(\mathbb{N}_{\pm }^{\frac{1}{2}}\), etc. Therefore, it is new to consider \(S_{L}^{p}\)-almost periodic problems for dynamic equations on time scales under Definition 3.6.
Remark 3.15
Let \(\mathbb{T}=\overline{q^{\mathbb{Z}}}\), then we have \(\varPi ^{\pm }=\{q^{n}:q>1,n\in \mathbb{Z}^{+}\}\) and \(\delta _{+}(\tau ,t)=\tau t\), \(\delta _{-}(\tau ,t)=t/\tau \), \(\tau \in \varPi ^{\pm }\). Then a function \(f\in L^{p}_{\mathrm{loc}}(\mathbb{T}\times D,\mathbb{X})\) is called a positive-direction \(S_{L}^{p}\)-almost periodic function with shift operators in \(t\in \mathbb{T}\) uniformly for \(x\in D\) if the ε-shift set of f
is a relatively dense set with respect to the pair \((\varPi ^{\pm },\delta _{+})\) for all \(\varepsilon >0\) and for each compact subset S of D, where
We can extend Definition 3.6 to Δ-\(S_{L}^{p}\)-almost periodic functions.
Definition 3.7
Let \(\mathbb{T}\) be a S-CCTS under shifts and \((\mathbb{T},\bar{\delta },\bar{\varPi })\) be compatible, the shift \(\bar{\delta }(\tau ,t)\) is Δ-differentiable in its second argument with rd-continuous bounded derivatives \(\bar{\delta }^{\Delta }(\tau ,t)\) for all \(t\in \mathbb{T}^{*}\). A function \(f\in C(\mathbb{T}\times D,\mathbb{X})\) is called a Δ-\(S_{L}^{p}\)-almost periodic function with shift operators in \(t\in \mathbb{T}\) uniformly for \(x\in D\) if the ε-shift set of f
is a relatively dense set with respect to the pair \((\bar{\varPi },\bar{\delta })\) for all \(\varepsilon >0\) and for each compact subset S of D; that is, for any given \(\varepsilon >0\) and each compact subset S of D, there exists a constant \(l(\varepsilon ,S)>0\) such that each interval of length \(l(\varepsilon ,S)\) contains a \(\tau (\varepsilon ,S)\in E\{\varepsilon ,f,S\}\) such that
Now τ is called the ε-shift number of f and \(l(\varepsilon ,S)\) is called the inclusion length of \(E\{\varepsilon ,f,S\}\).
Remark 3.16
From Definitions 3.2 and 3.7, we obtain:
-
(1)
if \(\mathbb{T}\) is a positive-direction S-CCTS, we say f is a positive-direction Δ-\(S_{L}^{p}\)-almost periodic function;
-
(2)
if \(\mathbb{T}\) is a negative-direction S-CCTS, we say f is a negative-direction Δ-\(S_{L}^{p}\)-almost periodic function;
-
(3)
if \(\mathbb{T}\) is a bi-direction S-CCTS, we say f is a bi-direction Δ-\(S_{L}^{p}\)-almost periodic function.
3.3 Almost automorphic functions on S-CCTS
In this subsection, we introduce the concepts of almost automorphic functions and Δ-almost automorphic functions on S-CCTS.
Definition 3.8
Let \(\mathbb{T}\) be a S-CCTS under shifts and \((\mathbb{T},\bar{\delta },\bar{\varPi })\) be compatible.
-
(i)
Let \(f:\mathbb{T}\rightarrow \mathbb{X}\) be a bounded continuous function. We say that f is almost automorphic if, from every sequence \(\{s_{n}\}\subset \bar{\varPi }\), we can extract a subsequence \(\{\tau _{n}\}_{n=1}^{\infty }\) such that
$$ g(t)=\lim_{n\rightarrow \infty }f \bigl(\bar{\delta }(\tau _{n},t) \bigr), $$(8)is well defined for each \(t\in \mathbb{T}^{*}\). Denote by \(AA_{\bar{\delta }}(\mathbb{T},\mathbb{X})\) the set of all such functions.
-
(ii)
A continuous function \(f:\mathbb{T}\times \mathbb{X}\rightarrow \mathbb{X}\) is said to be almost automorphic if \(f(t,x)\) is almost automorphic in \(t\in \mathbb{T}^{*}\) uniformly in \(x\in B\), where B is any bounded subset of \(\mathbb{X}\). Denote by \(AA_{\bar{\delta }}(\mathbb{T}\times \mathbb{X},\mathbb{X})\) the set of all such functions.
Remark 3.17
From Definitions 3.2 and 3.8, we obtain:
-
(1)
if \(\mathbb{T}\) is a positive-direction S-CCTS, we say f is a positive-direction almost automorphic function;
-
(2)
if \(\mathbb{T}\) is a negative-direction S-CCTS, we say f is a negative-direction almost automorphic function;
-
(3)
if \(\mathbb{T}\) is a bi-direction S-CCTS, we say f is a bi-direction almost automorphic function.
Remark 3.18
In (3) from Remark 3.17, if \(\mathbb{T}\) is a bi-direction S-CCTS, then, by (8), from every sequence \(\{s_{n}\}\subset \varPi ^{\pm }\), we can extract a subsequence \(\{\tau _{n}\}_{n=1}^{\infty }\) such that
is well defined for each \(t\in \mathbb{T}^{*}\). We can also have
is also well defined for each \(t\in \mathbb{T}^{*}\).
In fact, if \(\varPi ^{\pm }\notin \{\{t_{0}\},\emptyset \}\), according to (9), we have
is well defined for each \(t\in \mathbb{T}^{*}\), then, for each \(s\in \mathbb{T}^{*}\), let \(t=\delta _{-}(\tau _{n},s)\in \mathbb{T}^{*} (n\in \mathbb{N})\), we can obtain
is also well defined for each \(s\in \mathbb{T}^{*}\). In fact from (10), for any \(\varepsilon >0\), there exists \(N_{1}>0\) such that \(n>N_{1}\) implies \(\vert g(t)-f (\delta _{+}(\tau _{N_{1}},t) ) \vert <\varepsilon \) for each \(t\in \mathbb{T}^{*}\). Let \(s=\delta _{+}(\tau _{N_{1}},t)\), and we obtain \(\vert g (\delta _{-}(\tau _{N_{1}},s) )-f(s) \vert <\varepsilon \). For \(\varPi \notin \{\{t_{0}\},\emptyset \}\), we have
which shows that \(\vert g (\delta _{-}(\tau _{N_{1}},s) )-f(s) \vert <\varepsilon \) for each \(s\in \mathbb{T}^{*}\), i.e., (11) holds.
Example 3.19
Recall Example 3.7, and consider the function
where \(P_{1}\neq P_{2}, P_{1},P_{2}>1\) and \(t\in \mathbb{T}^{*}=\mathbb{R}\backslash \{0\}\). One can observe that \(\hat{F}(t)\) is almost automorphic under the shift operators. From Example 3.7, we obtain \(\hat{F}(t)=\frac{1}{f_{P_{1}^{2}}(\sqrt{2}t)+f_{P_{2}^{2}}(\sqrt{3}t)}\) (see Fig. 2).
Remark 3.20
Let \(\mathbb{T}=\{\pm \sqrt{n}:n\in \mathbb{N}\}\), then \(\varPi ^{\pm }=\{\sqrt{n}:n\in \mathbb{Z}^{+}\}\), according to Definition 3.8, we say that f is a bi-direction almost automorphic if, from every sequence \(\{s_{n}\}\subset \varPi ^{\pm }\), we can extract a subsequence \(\{\tau _{n}\}_{n=1}^{\infty }\) such that
and
are well defined for each \(t\in \mathbb{T}^{*}\).
We can extend Definition 3.8 to Δ-almost automorphic functions.
Definition 3.9
Let \(\mathbb{T}\) be a S-CCTS under shifts and \((\mathbb{T},\bar{\delta },\bar{\varPi })\) be compatible.
-
(i)
Let \(f:\mathbb{T}\rightarrow \mathbb{X}\) be a bounded continuous function and the shift \(\bar{\delta }(\tau ,t)\) is Δ-differentiable with rd-continuous bounded derivatives \(\bar{\delta }^{\Delta }(\tau ,t)\) for all \(t\in \mathbb{T}^{*}\). We say that f is Δ-almost automorphic under shifts if, from every sequence \(\{s_{n}\}\subset \bar{\varPi }\), we can extract a subsequence \(\{\tau _{n}\}_{n=1}^{\infty }\) such that
$$ g(t)=\lim_{n\rightarrow \infty }f \bigl(\bar{\delta }(\tau _{n},t) \bigr)\bar{\delta }^{\Delta }(\tau _{n},t), $$is well defined for each \(t\in \mathbb{T}^{*}\). Denote by \(\Delta -AA_{\bar{\delta }}(\mathbb{T},\mathbb{X})\) the set of all such functions.
-
(ii)
A continuous function \(f:\mathbb{T}\times D\rightarrow \mathbb{X}\) is said to be Δ-almost automorphic if \(f(t,x)\) is Δ-almost automorphic in \(t\in \mathbb{T}^{*}\) uniformly in \(x\in D\). Denote by \(\Delta -AA_{\bar{\delta }}(\mathbb{T}\times D,\mathbb{X})\) the set of all such functions.
Remark 3.21
From Definitions 3.2 and 3.9, we obtain:
-
(1)
if \(\mathbb{T}\) is a positive-direction S-CCTS, we say f is a positive-direction Δ-almost automorphic function;
-
(2)
if \(\mathbb{T}\) is a negative-direction S-CCTS, we say f is a negative-direction Δ-almost automorphic function;
-
(3)
if \(\mathbb{T}\) is a bi-direction S-CCTS, we say f is a bi-direction Δ-almost automorphic function.
Remark 3.22
By (3) of Remark 3.21 and a similar discussion in Remark 3.18, we can obtain the following definition.
Let \(\mathbb{T}\) be a bi-direction S-CCTS under shifts \(\delta _{\pm }\). Assume \(f:\mathbb{T}\rightarrow \mathbb{X}\) is a bounded continuous function and the shifts \(\delta _{\pm }(\tau ,t)\) are Δ-differentiable with rd-continuous bounded derivatives \(\delta ^{\Delta }_{\pm }(\tau ,t)\) for all \(t\in \mathbb{T}^{*}\). We say that f is bi-direction Δ-almost automorphic if, from every sequence \(\{s_{n}\}\subset \varPi ^{\pm }\), we can extract a subsequence \(\{\tau _{n}\}_{n=1}^{\infty }\) such that
is well defined for each \(t\in \mathbb{T}^{*}\) and
for each \(t\in \mathbb{T}^{*}\).
Example 3.23
Recall Example 3.10, and on the time scale \((\sqrt{5})^{\mathbb{Z}}=\{(\sqrt{5})^{n}, n\in \mathbb{Z}\}\), consider the following function:
One can observe that \(\hat{G}(t)\) is Δ-almost automorphic under the shifts \(\delta _{\pm }\). From Example 3.10, we obtain \(\hat{G}(t)=\frac{1}{\tilde{G}(t)}\).
3.4 Stepanov almost automorphic functions on S-CCTS
In this subsection, by considering the Stepanov space on time scales with the distance (7), we introduce the concept of Stepanov almost automorphic functions (\(S_{L}^{p}\)-almost automorphic functions) on S-CCTS.
Definition 3.10
Let \(\mathbb{T}\) be a S-CCTS under shifts and \((\mathbb{T},\bar{\delta },\bar{\varPi })\) be compatible.
-
(i)
We say \(f\in L^{p}_{\mathrm{loc}}(\mathbb{T},\mathbb{X})\) \(S_{L}^{p}\)-almost automorphic function under shifts operators if, from every sequence \(\{s_{n}\}\subset \bar{\varPi }\), we can extract a subsequence \(\{\tau _{n}\}_{n=1}^{\infty }\) such that
$$ \lim_{n\rightarrow \infty } \biggl(\frac{1}{\vert L \vert } \int _{\widehat{[t,\bar{\delta }(L,t)]}_{\mathbb{T}^{*}}} \bigl\Vert f \bigl(\bar{\delta }(\tau _{n},s) \bigr)-g(s) \bigr\Vert ^{p}\Delta s \biggr)^{\frac{1}{p}}=0, $$(12)is well defined for each \(t\in \mathbb{T}^{*}\). Denote by \(S_{L}^{p}AA_{\bar{\delta }}(\mathbb{T},\mathbb{X})\) the set of all such functions.
-
(ii)
A continuous function \(f\in L^{p}_{\mathrm{loc}}(\mathbb{T}\times D,\mathbb{X})\) is said to be almost automorphic if \(f(t,x)\) is almost automorphic in \(t\in \mathbb{T}^{*}\) uniformly in \(x\in D\). Denote by \(S_{L}^{p}AA_{\bar{\delta }}(\mathbb{T}\times D,\mathbb{X})\) the set of all such functions.
Remark 3.24
From Definitions 3.2 and 3.10, we obtain:
-
(1)
if \(\mathbb{T}\) is a positive-direction S-CCTS, we say f is a positive-direction \(S_{L}^{p}\)-almost automorphic function;
-
(2)
if \(\mathbb{T}\) is a negative-direction S-CCTS, we say f is a negative-direction \(S_{L}^{p}\)-almost automorphic function;
-
(3)
if \(\mathbb{T}\) is a bi-direction S-CCTS, we say f is a bi-direction \(S_{L}^{p}\)-almost automorphic function.
Remark 3.25
By (3) of Remark 3.24 and a similar discussion in Remark 3.18, we can obtain the following definition.
Let \(\mathbb{T}\) be a bi-direction S-CCTS under shifts \(\delta _{\pm }\) and \(f\in L^{p}_{\mathrm{loc}}(\mathbb{T},\mathbb{X})\). We say that f is bi-direction \(S_{L}^{p}\)-almost automorphic if, from every sequence \(\{s_{n}\}\subset \varPi ^{\pm }\), we can extract a subsequence \(\{\tau _{n}\}_{n=1}^{\infty }\) such that
is well defined for each \(t\in \mathbb{T}^{*}\) and
for each \(t\in \mathbb{T}^{*}\).
Remark 3.26
Let \(\mathbb{T}=\overline{q^{\mathbb{Z}}}\), then \(\varPi ^{\pm }=\{q^{n},q>1,n\in \mathbb{Z}^{+}\}\). We say that f is bi-direction \(S_{L}^{p}\)-almost automorphic if, from every sequence \(\{s_{n}\}\subset \varPi ^{\pm }\), we can extract a subsequence \(\{\tau _{n}\}_{n=1}^{\infty }\) such that
is well defined for each \(t\in \mathbb{T}^{*}\) and
for each \(t\in \mathbb{T}^{*}\).
We can extend Definition 3.10 to Δ-\(S_{L}^{p}\)-almost automorphic functions.
Definition 3.11
Let \(\mathbb{T}\) be a S-CCTS under shifts and \((\mathbb{T},\bar{\delta },\bar{\varPi })\) be compatible.
-
(i)
Let \(f\in L^{p}_{\mathrm{loc}}(\mathbb{T},\mathbb{X})\) and the shift \(\bar{\delta }(\tau ,t)\) be Δ-differentiable with rd-continuous bounded derivatives \(\bar{\delta }^{\Delta }(\tau ,t)\) for all \(t\in \mathbb{T}^{*}\). We say that f is Δ-\(S_{L}^{p}\)-almost automorphic under shifts if, from every sequence \(\{s_{n}\}\subset \bar{\varPi }\), we can extract a subsequence \(\{\tau _{n}\}_{n=1}^{\infty }\) such that
$$ \lim_{n\rightarrow \infty } \biggl(\frac{1}{\vert L \vert } \int _{\widehat{[t,\bar{\delta }(L,t)]}_{\mathbb{T}^{*}}} \bigl\Vert f \bigl(\bar{\delta }(\tau _{n},s) \bigr)\bar{\delta }^{\Delta }(\tau _{n},s)-g(s) \bigr\Vert ^{p}\Delta s \biggr)^{\frac{1}{p}}=0 $$is well defined for each \(t\in \mathbb{T}^{*}\). Denote by \(\Delta -S_{L}^{p}AA_{\bar{\delta }}(\mathbb{T},\mathbb{X})\) the set of all such functions.
-
(ii)
A continuous function \(f\in L^{p}_{\mathrm{loc}}(\mathbb{T}\times D,\mathbb{X})\) is said to be Δ-\(S_{L}^{p}\)-almost automorphic if \(f(t,x)\) is Δ-\(S_{L}^{p}\)-almost automorphic in \(t\in \mathbb{T}^{*}\) uniformly in \(x\in D\). Denote by \(\Delta -S_{L}^{p}AA_{\bar{\delta }}(\mathbb{T}\times D,\mathbb{X})\) the set of all such functions.
Remark 3.27
From Definitions 3.2 and 3.11, we obtain:
-
(1)
if \(\mathbb{T}\) is a positive-direction S-CCTS, we say f is a positive-direction Δ-\(S_{L}^{p}\)-almost automorphic function;
-
(2)
if \(\mathbb{T}\) is a negative-direction S-CCTS, we say f is a negative-direction Δ-\(S_{L}^{p}\)-almost automorphic function;
-
(3)
if \(\mathbb{T}\) is a bi-direction S-CCTS, we say f is a bi-direction Δ-\(S_{L}^{p}\)-almost automorphic function.
Remark 3.28
By (3) from Remark 3.24 and a similar discussion as in Remark 3.18, we can obtain the following definition.
Let \(\mathbb{T}\) be a bi-direction S-CCTS under shifts \(\delta _{\pm }\). Assume \(f\in L^{p}_{\mathrm{loc}}(\mathbb{T},\mathbb{X})\) and the shift \(\delta _{\pm }(\tau ,t)\) is Δ-differentiable with rd-continuous bounded derivatives \(\delta ^{\Delta }_{\pm }(\tau ,t)\) for all \(t\in \mathbb{T}^{*}\). We say that f is bi-direction Δ-\(S_{L}^{p}\)-almost automorphic if, from every sequence \(\{s_{n}\}\subset \varPi ^{\pm }\), we can extract a subsequence \(\{\tau _{n}\}_{n=1}^{\infty }\) such that
is well defined for each \(t\in \mathbb{T}^{*}\) and
for each \(t\in \mathbb{T}^{*}\).
Remark 3.29
Let \(\mathbb{T}=\overline{q^{\mathbb{Z}}}\), then \(\varPi ^{\pm }=\{q^{n},q>1,n\in \mathbb{Z}^{+}\}\). We say that f is bi-direction Δ-\(S_{L}^{p}\)-almost automorphic if, from every sequence \(\{s_{n}\}\subset \varPi ^{\pm }\), we can extract a subsequence \(\{\tau _{n}\}_{n=1}^{\infty }\) such that
is well defined for each \(t\in \mathbb{T}^{*}\) and
for each \(t\in \mathbb{T}^{*}\).
4 Conclusion
In the paper, we introduced the concept of S-CCTS to guarantee the closedness of time scales under translational and non-translational shifts. Based on this, we introduced several concepts of some special functions arising from dynamic equations including almost periodic functions, almost automorphic functions and their generalizations in the Stepanov sense. The concepts are suitable for irregular time scales like \(q^{\mathbb{Z}}, (-q)^{\mathbb{Z}}\) and \(\pm \mathbb{N}^{\frac{1}{2}}\), etc. Properties of these functions and their application to dynamic equations will be considered in future work.
References
Adıvar, M.: A new periodic concept for time scales. Math. Slovaca 63, 817–828 (2013)
Adıvar, M., Raffoul, Y.N.: Existence of resolvent for Volterra integral equations on time scales. Bull. Aust. Math. Soc. 82, 139–155 (2010)
Agarwal, R.P., O’Regan, D.: Some comments and notes on almost periodic functions and changing-periodic time scales. Electron. J. Math. Anal. Appl. 6, 125–136 (2018)
Besicovitch, A.S.: On generalized almost periodic functions. Proc. Lond. Math. Soc. 25, 495–512 (1926)
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)
Bohr, H.: Zur Theorie der fastperiodischen Funktionen I. Acta Math. 45, 127–129 (1925)
Casarino, V.: Characterization of almost automorphic groups and semigroups. Rend. Accad. Naz. Sci. XL Mem. Mat. Appl. 5, 219–235 (2000)
Diagana, T.: Stepanov-like pseudo almost periodic functions and their applications to differential equations. Commun. Math. Anal. 3, 9–18 (2007)
Diagana, T., Mophou, G.M., N’Guérékata, G.M.: Existence of weighted pseudo-almost periodic solutions to some classes of differential equations with \(S^{p}\)-weighted pseudo-almost periodic coefficients. Nonlinear Anal. TMA 72, 430–438 (2010)
Diagana, T., N’Guérékata, G.M.: Stepanov-like almost automorphic functions and applications to some semilinear equations. Appl. Anal. 86, 723–733 (2007)
Ezzinbi, K., N’Guérékata, G.M.: Massera type theorem for almost automorphic solutions of functional differential equations of neutral type. J. Math. Anal. Appl. 316, 707–721 (2006)
Ji, D., Yang, L., Zhang, J.: Almost periodic functions on Hausdorff almost periodic time scales. Adv. Differ. Equ. 2017, Article ID 103 (2017). https://doi.org/10.1186/s13662-017-1159-5
Kaufmann, E.R., Raffoul, Y.N.: Periodic solutions for a neutral nonlinear dynamical equation on a time scale. J. Math. Anal. Appl. 319, 315–325 (2006)
Kéré, M., N’Guérékata, G.M.: Almost automorphic dynamic systems on time scales. Panam. Math. J. 28, 19–37 (2018)
Lassoued, D., Shah, R., Li, T.: Almost periodic and asymptotically almost periodic functions: part I. Adv. Differ. Equ. 2018, Article ID 47 (2018). https://doi.org/10.1186/s13662-018-1487-0
Liang, J., N’Guérékata, G.M., Xiao, T., Zhang, J.: Some properties of pseudo-almost automorphic functions and applications to abstract differential equations. Nonlinear Anal., Theory Methods Appl. 70, 2731–2735 (2009)
Liang, J., Zhang, J., Xiao, T.J.: Composition of pseudo almost automorphic and asymptotically almost automorphic functions. J. Math. Anal. Appl. 340, 1493–1499 (2008)
N’Guérékata, G.M.: Topics in Almost Automorphy. Springer, New York (2005)
N’Guérékata, G.M.: Stepanov-like almost automorphic functions and monotone evolution equations. Nonlinear Anal. 68, 2658–2667 (2008)
N’Guérékata, G.M., Milce, A., Mado, J.C.: Asymptotically almost automorphic functions of order n and applications to dynamic equations on time scales. Nonlinear Stud. 23, 305–322 (2016)
Stepanov, V.: Üeber einige Verallgemeinerungen der fastperiodischen Funktionen. Math. Ann. 95, 473–498 (1926). https://doi.org/10.1007/BF01206623
Stepanov, W.: Sur quelques généralizations des fonctions presque-périodiques. C. R. Acad. Sci., Paris 181, 90–94 (1925)
Stepanov, W.: Über einige verallgemeinerungen der fastperiodischen funktionen. Math. Ann. 90, 473–492 (1925)
Wang, C., Agarwal, R.P.: Weighted piecewise pseudo almost automorphic functions with applications to abstract impulsive ∇-dynamic equations on time scales. Adv. Differ. Equ. 2014, Article ID 153 (2014). https://doi.org/10.1186/1687-1847-2014-153
Wang, C., Agarwal, R.P.: 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). https://doi.org/10.1186/s13662-015-0633-1
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, 271–292 (2015)
Wang, C., Agarwal, R.P.: Relatively dense sets, corrected uniformly almost periodic functions on time scales, and generalizations. Adv. Differ. Equ. 2015, Article ID 312 (2015). https://doi.org/10.1186/s13662-015-0650-0
Wang, C., Agarwal, R.P.: 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, R.P.: Almost periodic solution for a new type of neutral impulsive stochastic Lasota-Wazewska timescale model. Appl. Math. Lett. 70, 58–65 (2017)
Wang, C., Agarwal, R.P., O’Regan, D.: Periodicity, almost periodicity for time scales and related functions. Nonautonom. Dyn. Syst. 3(1), 24–41 (2016). https://doi.org/10.1515/msds-2016-0003
Weyl, H.: Integralgleichungen und fastperiodische Funktionen. Math. Ann. 97, 338–356 (1927)
Xiao, T., Liang, J., Zhang, J.: Pseudo almost automorphic solutions to semilinear differential equations in Banach spaces. Semigroup Forum 76, 518–524 (2008)
Acknowledgements
The authors wish to express their gratitude for all the reviewers’ insightful comments and suggestions to improve this manuscript.
Funding
This work is supported by Youth Fund of NSFC (No. 11601470), Tian Yuan Fund of NSFC (No. 11526181) and Dong Lu youth excellent teachers development program of Yunnan University (No. wx069051).
Author information
Authors and Affiliations
Contributions
All authors contributed equally to the manuscript and typed, 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.
Ravi P. Agarwal, Donal O’Regan and Gaston M. N’Guérékata contributed equally to this work.
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. et al. Complete-closed time scales under shifts and related functions. Adv Differ Equ 2018, 429 (2018). https://doi.org/10.1186/s13662-018-1885-3
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-018-1885-3