Lacunary statistical boundedness on time scales

In this paper, we introduce the concept of lacunary statistical boundedness of Δ-measurable real-valued functions on an arbitrary time scale. We also give the relations between statistical boundedness and lacunary statistical boundedness on time scales.


Introduction
The idea of statistical convergence was formally introduced by Fast [1] and Steinhaus [2], independently. This concept is a generalization of the classical convergence, and it depends on the density of subsets of the natural numbers N. Let K ⊆ N and K n = {k ≤ n : k ∈ K}. Then the natural density of K is defined by δ(K) = lim n n -1 |K n | if the limit exists, where |K n | indicates the cardinality of K n . A sequence x = (x k ) is said to be statistically convergent to L if, for every ε > 0, the set K ε := {k ∈ N : |x k -L| ≥ ε} has natural density zero, i.e., for each ε > 0, lim n 1 n k ≤ n : |x k -L| ≥ ε = 0, and written as st -lim x = L. Statistical convergence has become very active in different fields of mathematics over the years and has been studied by many researchers, see [3][4][5][6][7][8][9][10][11][12][13][14][15][16][17][18][19][20][21].
Before moving on to the main results of the study, we need to give a brief introduction to time scale theory. A time scale is an arbitrary closed subset of the real numbers R in the usual topology which is denoted by T. The calculus of time scales has been constructed by Hilger [22]. This theory is an efficient tool to unify continuous and discrete analyses in one theory as it allows integration and differentiation of the independent domain used. Therefore, it has received much attention in different branches of science and engineering. The readers can find basic calculus of time scales in [23][24][25]. Moreover, the idea of statistical convergence was first studied on time scales in [26] and [27], independently. Since then, many concepts related to statistical convergence and summability theory have been applied to time scales by various researchers in the literature [28][29][30][31][32][33][34][35][36].
The forward jump operator σ : T → T is defined by for t ∈ T, and also the graininess function μ : Open intervals or half-open intervals are defined accordingly.
In this paper, we use the Lebesgue -measure by μ introduced by Guseinov [24]. In this case, it is known that if a ∈ T\{max T}, then the single point set {a} is -measurable and [24].
We now recall some of the concepts defined using the time scale calculus on the summability theory: Throughout this paper, we consider that T is a time scale satisfying inf T = t 0 > 0 and sup T = ∞.
Let θ = (k r ) be an increasing sequence of nonnegative integers with k 0 = 0 and σ (k r )σ (k r-1 ) → ∞ as r → ∞. Then θ is called a lacunary sequence with respect to T [29]. Definition 1.2 ([29]) Let θ be a lacunary sequence on T. A -measurable function f : T → R is said to be lacunary statistically convergent to a number L if, for every ε > 0, If f : T → R is a function such that f (t) satisfies a property P for all t except a set which has zero lacunary density on time scale, then it is said that f (t) has the property P almost all t with respect to θ .
The set of all statistically bounded functions on T is denoted by S T (B).
The aim of this study is to introduce and examine the concept of lacunary statistical boundedness on time scales.

Main results
In this part, we begin by presenting a new definition, namely lacunary statistical boundedness on time scale. We then give some results related to this concept. Definition 2.1 Let θ = (k r ) be a lacunary sequence on T and f : T → R be a -measurable function. Then f is said to be lacunary statistically bounded on T if there exists a number M > 0 such that i.e., |f (s)| ≤ M (almost all s with respect to θ ). The set of all lacunary statistically bounded functions on T is denoted by S θ-T (B).
From the fact that For the converse, we consider the following example: Let f (s) = (-1) s be a function where s ∈ T = N. Then f is lacunary statistically bounded, but it is not a lacunary statistically convergent function.
It is clear that g is a -measurable bounded function, and f (s) = g(s) almost all s with respect to θ . Conversely, since g is bounded, there exists L ≥ 0 such that |g(s)| ≤ L for all s ∈ T. Let D = {s ∈ T : f (s) = g(s)}. As δ θ-T (D) = 0, so |f (s)| ≤ L almost all s with respect to θ . This means that f is lacunary statistically bounded.

Theorem 2.3
Let θ = (k r ) be a lacunary sequence on T. Then we have Proof Sufficiency. The sufficiency part of this theorem can be proved using a similar technique to Lemma 3.1 of [30].
Necessity. Conversely, assume that lim inf r→∞ σ (k r-1 ) = 1. Let us now select a subsequence (k r(j) ) of θ = (k r ) satisfying Indeed, for any sufficiently t ∈ T, we can find a unique j ∈ N for which k r(j)-1 < t ≤ k r(j+1)-1 , and we can write Since t → ∞ implies j → ∞, we have f ∈ S T (B). Therefore, we find S T (B) ⊂ S θ-T (B), which is a contradiction.
2 The function f : T → R given in the necessity part of Theorem 2.3 is an example of a statistically bounded function which is not lacunary statistically bounded.

Theorem 2.4
Let θ = (k r ) be a lacunary sequence on T such that μ(t) ≤ Kt for some K > 0 and for all t ∈ T. Then we have Proof Sufficiency. The sufficiency part of this theorem can be proved using a similar technique to Lemma 3.2 of [30]. Necessity. Conversely, assume that lim sup r→∞ σ (k r ) σ (k r-1 ) = ∞. By the hypothesis, we can get and so lim sup Let us select a subsequence (k r(j) ) of θ = (k r ) such that If r = r(j), then we can easily see that τ r = 0. If r = r(j), then we get Here, there are two possible cases: 2σ (k r(j)-1 ) ∈ T and 2σ (k r(j)-1 ) / ∈ T. Let us now examine these: If 2σ (k r(j)-1 ) ∈ T, then we find and so If 2σ (k r(j)-1 ) / ∈ T, then we can write where α j := max{s ∈ T : s < 2σ (k r(j)-1 )}. Therefore, using the hypothesis, we get and so Thus, we get that f ∈ S θ-T (B). On the other hand, for any real M > 0, there exists some j 0 ∈ N such that k r(j)-1 > M for all j ≥ j 0 . Then we have .
Therefore, we get that f / ∈ S T (B). Consequently, we find that S θ-T (B) ⊂ S T (B), which is a contradiction.
3 The function f : T → R given in the necessity part of Theorem 2.4 is an example of a lacunary statistically bounded function which is not statistically bounded.

Theorem 2.5
Let θ = (k r ) and θ = (l r ) be two lacunary sequences on T such that (k r-1 , k r ] T ⊂ (l r-1 , l r ] T for all r ∈ N. Then we have the following: Proof (i) Suppose that (k r-1 , k r ] T ⊂ (l r-1 , l r ] T for all r ∈ N and lim inf r→∞