 Research
 Open Access
 Published:
fStatistical convergence of order α and strong Cesàro summability of order α with respect to a modulus
Journal of Inequalities and Applications volume 2015, Article number: 332 (2015)
Abstract
In this paper, following a very recent and new approach of Aizpuru et al. (Quaest. Math. 37:525530, 2014), we further generalize a concept of αdensity to that of \(f_{\alpha}\)density, where f is an unbounded modulus and \(0 < \alpha\leq1\). As a consequence, we obtain a new nonmatrix convergence method, namely fstatistical convergence of order α or \(S_{\alpha}^{f}\)convergence, which is intermediate between the ordinary convergence and the statistical convergence of order α. We also introduce a new concept of strong Cesàro summability of order α with respect to a modulus function f, and finally we investigate the relationship between the set \(S_{\alpha}^{f}\) of all fstatistically convergent sequences of order α and the set \(w_{\alpha}^{f}\) of all strongly Cesàro summable sequences of order α with respect to f.
Introduction and historical background
The credit of introducing the idea of statistical convergence, which is in fact a generalization of the usual notion of convergence, goes to Zygmund [1]. Formally the concept of statistical convergence was introduced by Steinhaus [2] and Fast [3] and later reintroduced by Schoenberg [4]. Statistical convergence also arises as an example of ‘convergence in density’ as introduced by Buck in [5].
Statistical convergence has emerged as one of the most active areas of research in summability theory after the pioneering works of Šalát [6] and Fridy [7]. Later on statistical convergence was further investigated from the sequence space point of view and linked with summability theory by Connor [8], Çinar et al. [9], Et et al. [10], Savas [11], Sengül and Et [12], and many others.
Let \(\mathbb{N}\) denote the set of all natural numbers. The number sequence \(x=(x_{k})\) is said to be statistically convergent to the number l if for each \(\varepsilon>0\) the set \(\{k \in\mathbb{N}:  x_{k}  l \geq\varepsilon\}\) has natural density zero, where the natural density of a subset \(K \subset\mathbb{N}\) (see [13], Chapter 11) is defined by
where \(\vert \{ k\leq n : k \in K \}\vert \) denotes the number of elements of K not exceeding n. Obviously we have \(d(K) =0\) provided that K is a finite set of positive integers. If a sequence is statistically convergent to l, then we write it as \(S\mbox{}\!\lim x_{k} = l\). The set of all statistically convergent sequences is denoted by S.
The idea of a modulus function was structured by Nakano [14] in 1953. Following Ruckle [15] and Maddox [16], we recall that a modulus f is a function from \([ 0, \infty)\) to \([ 0, \infty)\) such that (i) \(f(x) = 0\) if and only if \(x = 0\), (ii) \(f(x + y) \leq f(x) + f(y)\) for \(x \geq0\), \(y \geq0\), (iii) f is increasing, (iv) f is continuous from the right at 0. Hence f must be continuous everywhere on \([ 0, \infty)\). A modulus may be unbounded or bounded. For example, \(f(x) = x^{p}\) where \(0 < p \leq1\), is unbounded, but \(f(x) = \frac{x}{ 1+ x}\) is bounded.
Connor [17], Ghosh and Srivastava [18], Bhardwaj and Singh [19–21], Çolak [22], Altin and Et [23] and some others have used a modulus function to construct some sequence spaces.
In the year 2014, Aizpuru et al. [24] defined a new concept of density with the help of an unbounded modulus function and, as a consequence, they obtained a new concept of nonmatrix convergence which is intermediate between the ordinary convergence and the statistical convergence, and agrees with the statistical convergence when the modulus function is the identity mapping.
Quite recently, Bhardwaj et al. [25] have introduced and studied a new concept of fstatistical boundedness by using the approach of Aizpuru et al. [24]. It is shown that the concept of fstatistical boundedness is intermediate between the ordinary boundedness and the statistical boundedness. It is also proved that bounded sequences are precisely those sequences which are fstatistically bounded for every unbounded modulus f.
We now recall some definitions that will be needed in the sequel.
Definition 1.1
[24]
Let f be an unbounded modulus function. The fdensity of a set \(A \subset\mathbb{N}\) is defined by
in case this limit exists.
Remark 1.2
The concept of fdensity reduces to that of natural density when \(f(x) = x \). In case of natural density, it is well known that \(d(A) + d(\mathbb{N}  A) = 1\). But this result remains no longer true in case of fdensity, i.e., \(d^{f}(A) + d^{f}(\mathbb{N}  A) = 1\) does not hold, in general. For example, if we take \(f(x) = \log{(x + 1)}\) and \(A = \{ 2n : n \in\mathbb{N}\}\), then \(d^{f}(A) = d^{f}(\mathbb{N}  A) = 1\). However, in case of fdensity, we can assert that if \(d^{f}(A) = 0\) then \(d^{f}(\mathbb{N}  A) = 1\). As in the case of natural density, finite sets also have zero fdensity and so for any finite set A, \(d^{f}(A) + d^{f}(\mathbb{N}  A) = 1\).
Note that Aizpuru et al. [24] have used the notation \(d_{f}(A)\) to denote the fdensity of A.
Remark 1.3
For any unbounded modulus f and \(A \subset\mathbb{N}\), \(d^{f}(A) =0\) implies that \(d(A) = 0\). But converse need not be true in the sense that a set having zero natural density may have nonzero fdensity with respect to some unbounded modulus f. For example, if we take \(f(x)= \log{(x+1)}\) and \(A = \{ 1,4,9,\ldots\}\), then \(d(A) = 0\) but \(d^{f}(A) = 1/2 \). However, in view of Remark 1.2, \(d(A)=0\) implies \(d^{f}(A)=0\) is always true in case of any finite set \(A \subset\mathbb{N}\), irrespective of the choice of unbounded modulus f.
Definition 1.4
[24]
Let f be an unbounded modulus function. A number sequence \(x=(x_{k})\) is said to be fstatistically convergent to l, or \(S^{f}\)convergent to l, if for each \(\varepsilon > 0\),
and we write it as \(S^{f}\mbox{}\!\lim x_{k} = l\). The set of all fstatistically convergent sequences is denoted by \(S^{f}\).
In view of Definition 1.4 and Remark 1.3, it follows that every fstatistically convergent sequence is statistically convergent, but a statistically convergent sequence need not be fstatistically convergent for every unbounded modulus f.
Statistical convergence of order α (\(0<\alpha\leq1\)) was introduced by Çolak [26], and also independently by Bhunia et al. [27], using the notion of natural density of order α (where n is replaced by \(n^{\alpha}\) in the denominator in the definition of natural density). It was observed in [26, 27] that the behavior of this new kind of convergence was not exactly parallel to that of statistical convergence. For a detailed account of many more interesting investigations concerning statistical convergence of order α, one may refer to [9, 10, 28–31] and [12].
Definition 1.5
[26]
Let α be any real number such that \(0 < \alpha\leq1\). The αdensity of a set \(A \subset\mathbb{N}\) is defined by
in case this limit exists. Note that αdensity of any set reduces to its natural density in case \(\alpha= 1\). As we have earlier seen, the relation \(d(A) + d(\mathbb{N}  A) = 1\) is no longer true if we replace natural density by fdensity, same is the case if natural density is replaced by αdensity for \(\alpha \in( 0,1 )\). Moreover, as in the case of fdensity, αdensity of finite sets is also zero.
Remark 1.6
If A has zero αdensity for some \(\alpha\in( 0,1 ]\), then it has zero natural density. But converse need not be true, in the sense that a set having zero natural density may have nonzero αdensity for some \(\alpha\in( 0,1 )\). For example, if we take \(A = \{ 1, 4, 9, \ldots\}\) then \(d(A)= 0\) but \(d_{\alpha}(A) = \infty\) for any \(\alpha \in( 0,\frac{1}{2})\).
Definition 1.7
[26]
Let \(0 < \alpha\leq1\). A number sequence \(x = (x_{k})\) is said to be statistically convergent of order α to l, or \(S_{\alpha}\)convergent to l, if for each \(\varepsilon > 0\),
and we write it as \(S_{\alpha}\mbox{}\!\lim x_{k} = l\). The set of all statistically convergent sequences of order α is denoted by \(S_{\alpha}\). In case \(\alpha= 1\), the statistical convergence of order α reduces to the statistical convergence.
Throughout this paper s, \(l_{\infty} \) and c will denote the space of all, bounded and convergent sequences of complex numbers, respectively, and \(\mathbb{C}\) will denote the set of all complex numbers. Moreover, we shall be concerned only with the sequences of scalars.
Spaces of strongly summable sequences were discussed by Kuttner [32], Maddox [33, 34] and others. The wellknown spaces \(w_{o}\), w and \(w_{\infty}\) of strongly Cesàro summable sequences are defined as:
Maddox [35] extended the definition of strong Cesàro summability to that of strong Cesàro summability with respect to a modulus and, consequently, introduced and studied the sequence spaces \(w_{o}(f)\), \(w(f)\) and \(w_{\infty}(f)\) which generalized the classical sequence spaces \(w_{o}\), w and \(w_{\infty}\), respectively. Recently, Çolak [26] extended the definition of strong Cesàro summability to that of strong pCesàro summability of order α, where \(0< \alpha\leq1\) and p is a positive real number. The space of strongly pCesàro summable sequences of order α is denoted by \(w_{p}^{\alpha}\).
In this paper, we first extend the notion of αdensity to that of \(f_{\alpha}\)density in the same way as natural density was extended to fdensity by Aizpuru et al. [24] and then introduce a new and more general nonmatrix summability method, namely fstatistical convergence of order α, where f is an unbounded modulus function and α is a real number such that \(0 < \alpha\leq1\). The set of all fstatistically convergent sequences of order α is denoted by \(S_{\alpha}^{f}\). In the second section, we establish inclusion relations among the set of all fstatistically convergent sequences of order α for different values of α and, in particular, we get an inclusion relation between the set of fstatistically convergent sequences of order α and the set of fstatistically convergent sequences. We also study inclusion relations between the newly introduced space \(S_{\alpha}^{f}\) and the already existing spaces \(S_{\alpha}\) and S. In the third section, we extend the notion of strong Cesàro summability of order α to that of strong Cesàro summability of order α (\(\alpha> 0\)) with respect to a modulus f, in the same way as the notion of strong Cesàro summability was extended to that of strong Cesàro summability with respect to a modulus f by Maddox [35] and, consequently, we obtain the sequence spaces \(w_{\alpha,o}^{f}\), \(w_{\alpha}^{f}\) and \(w_{\alpha, \infty}^{f}\) which generalize and unify the corresponding earlier spaces of Maddox [35] and Çolak [26]. We establish inclusion relations between the newly introduced spaces \(w_{\alpha,o}^{f}\), \(w_{\alpha}^{f}\), \(w_{\alpha, \infty}^{f}\) and finally obtain a condition under which the notions of strong Cesàro summability of order α with respect to a modulus f and strong Cesàro summability of order α are equivalent. Some information on multipliers for \(w_{\alpha, \infty}^{f}\) is also given. In the last section, we study inclusion relations between the space \(S_{\alpha}^{f}\) of all fstatistically convergent sequences of order α and the space \(w_{\alpha}^{f}\) of all strongly Cesàro summable sequences of order α with respect to a modulus f.
fStatistical convergence of order α
We begin this section by introducing a new concept of \(f_{\alpha}\)density of a subset of \(\mathbb{N}\).
Definition 2.1
Let f be an unbounded modulus function and α be any real number such that \(0< \alpha\leq1\). We define the \(f_{\alpha}\)density of the subset A of \(\mathbb{N}\) by
in case this limit exists, where \(\vert \{ k \leq n : k \in A\}\vert \) denotes the number of elements of A not exceeding n.
Remark 2.2
For \(\alpha= 1\) and \(f(x) = x\), the \(f_{\alpha}\)density reduces to the natural density and when \(\alpha= 1\), \(f_{\alpha}\)density becomes the fdensity. In case \(f(x) = x\), \(f_{\alpha}\)density is the αdensity.
The equality \(d_{\alpha}^{f}(A) + d_{\alpha}^{f}(\mathbb{N}A) = 1\) does not hold, in general, where \(\alpha\in( 0,1 ]\) and f is any unbounded modulus. For example, if we take \(f(x) = x^{p}\), \(0 < p \leq1\), \(\alpha\in( 0,1 )\) and \(A = \{ 2n : n \in\mathbb{N}\}\), then \(d_{\alpha}^{f}(A) = \infty= d_{\alpha}^{f}(\mathbb{N}A)\).
As expected, finite sets have zero \(f_{\alpha}\)density for any unbounded modulus f and \(\alpha\in( 0,1 ]\).
Remark 2.3
For any unbounded modulus f and \(\alpha\in( 0,1 ]\), if \(d_{\alpha}^{f}(A)=0\) then, by the definition of limit and the fact that f being modulus is subadditive, for every \(p \in\mathbb{N}\), there exists \(n_{o} \in\mathbb{N}\) such that for \(n \geq n_{o}\) we have
and since f is increasing, we have
In view of Remark 2.3 and Remark 1.6, we have the following.
Remark 2.4
If \(A \subset\mathbb{N}\) has zero \(f_{\alpha}\)density for some unbounded modulus f and for some \(\alpha\in( 0,1 ]\), then it has zero αdensity and hence zero natural density.
Remark 2.5
Converse of Remark 2.3 need not be true in the sense that a set having zero αdensity for some \(\alpha\in ( 0,1 ]\) may have nonzero \(f_{\alpha}\)density for some unbounded modulus f with the same α. Similarly, a set having zero natural density may have nonzero \(f_{\alpha}\)density for some unbounded modulus f and \(\alpha\in( 0,1]\). This can be verified by the following example.
Example 2.6
Let \(f(x)=\log(x+1)\) and \(A=\{1,4,9,\ldots\}\)= the set of squares of natural numbers. Then \(d(A)=0\) and \(d_{\alpha}(A)=0\) for \(\alpha\in( \frac{1}{2},1 ]\) but \(d_{\alpha}^{f}(A)\geq d^{f}(A)=1/2\). Therefore \(d_{\alpha}^{f}(A) \neq0\).
Lemma 2.7
For any unbounded modulus f and \(A \subset\mathbb{N}\), \(d_{\beta}^{f}(A) \leq d_{\alpha}^{f}(A)\) for \(0< \alpha \leq\beta\leq1\).
Thus, for any unbounded modulus f and \(0< \alpha\leq\beta\leq 1\), if A has zero \(f_{\alpha}\)density then it has zero \(f_{\beta}\)density. In particular, a set having zero \(f_{\alpha}\)density for some \(\alpha\in( 0,1 ]\) has zero fdensity. However, the converse is not true as the following example demonstrates.
Example 2.8
Let \(f(x) = x^{p}\), where \(0 < p \leq1 \) and \(A=\{1,4,9,\ldots\}\). It is easy to see that \(d^{f}(A) =0 \). But \(d_{\alpha}^{f}(A) \neq0\) for any \(\alpha\in( 0,1/2 )\) since
and hence, taking limit as \(n \to\infty\) on both sides, we get \(d_{\alpha}^{f}(A) = \infty\) as \(\lim_{n \to \infty} \frac{([\sqrt{n} ])^{p}}{(\sqrt{n})^{p}}\) is finite.
We now introduce a new concept of fstatistical convergence of order α as follows.
Definition 2.9
Let f be an unbounded modulus and \(0 < \alpha\leq1\). A sequence \(x=(x_{k})\) is said to be fstatistically convergent of order α to l or \(S_{\alpha}^{f}\)convergent to l if for each \(\varepsilon > 0\),
In this case, we write \(S_{\alpha}^{f}\mbox{}\!\lim x_{k} = l\). The set of all sequences which are fstatistically convergent of order α is denoted by \(S_{\alpha}^{f}\). We write \(S_{\alpha, 0}^{f}\) to denote the set of all fstatistically null sequences of order α. It is clear that \(S_{\alpha, 0}^{f} \subset S_{\alpha}^{f}\) for any unbounded modulus f and \(\alpha\in( 0,1 ]\).
On specifying f and α in \(S_{\alpha}^{f}\)convergence, we obtain some wellknown nonmatrix convergence methods.
For \(\alpha= 1\), \(S_{\alpha}^{f}\)convergence is the same as fstatistical convergence.
For \(f(x) = x\), \(S_{\alpha}^{f}\)convergence becomes statistical convergence of order α.
For \(f(x) = x\) and \(\alpha= 1\), \(S_{\alpha}^{f}\)convergence reduces to statistical convergence.
Remark 2.10
In Definition 2.1, and hence in Definition 2.9 also, we have not allowed α to exceed 1, since in case \(\alpha> 1\), the fstatistical limit of order α may not be unique as is clear from the following example.
Example 2.11
Let f be an unbounded modulus such that \(\lim_{t \to \infty}\frac{f(t)}{t} > 0\). The existence of such a modulus is guaranteed, as Maddox [16] proved that for any modulus f, \(\lim_{t \to\infty} \frac{f(t)}{t}\) exists.
Let \(x = (x_{k})\) be a sequence defined as follows:
Then we have
and
Since \(\lim_{t \to\infty}\frac{f(t)}{t} > 0\), we have
and
for \(\alpha>1\) and for each \(\varepsilon> 0\). Hence \(x= (x_{k})\) is \(S_{\alpha}^{f}\)convergent to both 1 and 0, i.e., \(S_{\alpha}^{f}\mbox{}\!\lim x_{k} = 1\) as well as \(S_{\alpha}^{f}\mbox{}\!\lim x_{k} = 0\).
It is easy to see that every convergent sequence is \(S_{\alpha}^{f}\)convergent, i.e., \(c \subset S_{\alpha}^{f}\), for any unbounded modulus f and \(\alpha \in( 0,1 ]\). But, as is clear from the following example, the converse need not hold always good.
Example 2.12
Consider the sequence \(x= (x_{k})\) defined by
and take \(f(x) = x^{p}\), \(0 < p \leq1\). Then the sequence \(x = (x_{k}) \in S_{\alpha}^{f}\) for \(\alpha \in( \frac{1}{2},1 ]\) although it is not convergent.
Theorem 2.13
Let f be an unbounded modulus and \(0 < \alpha\leq1\). Let \(x=(x_{k})\), \(y=(y_{k})\) be any two sequences. Then

(i)
If \(S_{\alpha}^{f}\mbox{}\!\lim x_{k}= l\) and \(c \in \mathbb{C}\), then \(S_{\alpha}^{f}\mbox{}\!\lim cx_{k}= cl\).

(ii)
If \(S_{\alpha}^{f}\mbox{}\!\lim x_{k}= l_{1}\) and \(S_{\alpha}^{f}\mbox{}\!\lim y_{k}= l_{2}\), then \(S_{\alpha}^{f}\mbox{}\!\lim(x_{k}+y_{k})=l_{1}+l_{2}\).
Theorem 2.14
Let f be an unbounded modulus and α, β be such that \(0 < \alpha\leq \beta\leq1\). Then \(S_{\alpha}^{f} \subset S_{\beta}^{f}\) and the strict inclusion may occur.
Proof
The inclusion follows readily in view of the fact that f is increasing and \(0 < \alpha\leq \beta\leq1\). To show that the strict inclusion may occur, consider the sequence \(x= (x_{k})\) defined by
and take \(f(x) = x^{p}\), \(0 < p \leq1\). Then \(x \in S_{\beta}^{f}\) for \(\beta\in( \frac{1}{3}, 1 ]\), but \(x \notin S_{\alpha}^{f}\) for \(\alpha\in( 0, \frac{1}{3}) \). □
Corollary 2.15
If a sequence is fstatistically convergent of order α to l for some unbounded modulus f and \(0 < \alpha\leq1\), then it is fstatistically convergent to l, i.e., \(S_{\alpha}^{f} \subset S^{f}\) and the strict inclusion may occur.
In view of Remarks 2.3 and 2.4 we have the following.
Theorem 2.16
Let f be an unbounded modulus and \(0 < \alpha\leq1\). Then

(i)
\(S_{\alpha}^{f} \subset S_{\alpha}\) and the strict inclusion may occur.

(ii)
\(S_{\alpha}^{f} \subset S\) and the strict inclusion may occur.
Proof
To show that the strict inclusion may occur, consider the sequence \(x= (x_{k})\) defined as follows:
Let \(f(x) = \log(x+1)\). Then \(x \in S_{\alpha}\) for \(\alpha \in(\frac{1}{2} ,1]\) and hence \(x \in S\). But \(x \notin S_{\alpha}^{f}\) as \(d_{\alpha}^{f} (\{ k \in\mathbb{N} :  x_{k}  0 \geq \varepsilon\} ) \geq d^{f} (\{ k \in\mathbb{N} :  x_{k}  0 \geq\varepsilon\} ) = \frac{1}{2}\) (≠0). □
To summarize, the overall picture regarding inclusions among the already existing spaces c, S, \(S_{\alpha}\), \(S^{f}\) and the newly introduced space \(S_{\alpha}^{f}\) is as shown below:
Strong Cesàro summability of order α with respect to a modulus
We begin this section by introducing the generalizations of the spaces of strongly Cesàro summable sequences of order α.
Definition 3.1
Let f be a modulus and α be a positive real number. We define
Some wellknown spaces are obtained by specializing f and α.
For example, if \(\alpha= 1\) then the sequence spaces defined above become \(w_{o}(f)\), \(w(f) \) and \(w_{\infty}(f)\) of Maddox [35], respectively.
If we take \(f(x) =x\), then the first two spaces are the same as the spaces \(w_{p}^{\alpha}\) and \(w_{op}^{\alpha}\) of Çolak [26] for \(p =1\). In case \(f(x)=x\), we shall denote the space \(w_{\alpha, \infty}^{f}\) by \(w_{\alpha, \infty}\).
As a final illustration taking \(f(x)=x\) and \(\alpha=1\), we obtain the familiar spaces \(w_{o}\), w and \(w_{\infty}\) of strongly Cesàro summable sequences, respectively.
Remark 3.2
In the spaces \(w_{p}^{\alpha}\) and \(w_{op}^{\alpha}\) of Çolak [26], α is a positive real number less than or equal to 1, whereas in our spaces \(w_{\alpha, o}^{f}\) and \(w_{\alpha}^{f}\), α is any positive real, i.e., there is no upper ceiling of α.
Moreover, we have used the symbols \(w_{o}^{f}\), \(w^{f}\), \(w_{\infty}^{f}\), \(w_{\alpha,o}\) and \(w_{\alpha}\) in place of \(w_{o}(f)\), \(w(f)\), \(w_{\infty}(f)\), \(w_{op}^{\alpha}\) (for \(p=1\)) and \(w_{p}^{\alpha} \) (for \(p=1\)), respectively, for the sake of notational convenience.
It is easy to see that \(w_{\alpha,o}^{f}\), \(w_{\alpha}^{f}\) and \(w_{\alpha,\infty}^{f}\) are linear spaces over the complex field \(\mathbb{C}\).
We now establish some inclusion relations between the spaces \(w_{\alpha,o}^{f}\), \(w_{\alpha}^{f}\) and \(w_{\alpha,\infty}^{f}\).
Theorem 3.3

(i)
For any modulus f and positive α, \(w_{\alpha,o}^{f} \subset w_{\alpha,\infty}^{f}\).

(ii)
For any modulus f and \(\alpha\geq1\), \(w_{\alpha}^{f} \subset w_{\alpha,\infty}^{f}\).
Proof
We establish only the second inclusion, the first being obvious. Let \(x \in w_{\alpha}^{f}\). By definition of modulus function (iii) and (ii), we have
and since \(\alpha\geq1\) and \(x \in w_{\alpha}^{f}\), we have \(x \in w_{\alpha,\infty}^{f}\), which completes the proof. □
Our next theorem is a generalization of Theorem 4 of Maddox [35].
Theorem 3.4
For any modulus f and \(\alpha\geq 1\), we have \(w_{\alpha} \subset w_{\alpha}^{f}\), \(w_{\alpha,o} \subset w_{\alpha,o}^{f}\) and \(w_{\alpha,\infty} \subset w_{\alpha,\infty}^{f}\).
Proof
The first two inclusions are easily proved, so we consider only the last inclusion. Let \(x \in w_{\alpha,\infty}\) so that
Let \(\varepsilon> 0\) and choose δ with \(0 < \delta<1\) such that \(f(t) < \varepsilon\) for \(0 < t \leq\delta\). Consider \(\frac{1}{n^{\alpha}}\sum_{k=1}^{n} f( x_{k}) = \sum_{1} + \sum_{2} \), where the first summation is over \( x_{k} \leq \delta\) and the second is over \(x_{k} > \delta\). Then \(\sum_{1} \leq\varepsilon\frac{1}{n^{\alpha1}}\), and for \( x_{k} > \delta\) we use the fact that
where \([t]\) denotes the integral part of t. By definition of modulus function (iii) and (ii), we have, for \( x_{k} > \delta\),
Hence \(\sum_{2} \leq 2f(1)\delta^{1}\frac{1}{n^{\alpha}}\sum_{k=1}^{n}  x_{k}\), which together with \(\sum_{1} \leq\varepsilon\frac{1}{n^{\alpha 1}}\) yields
Since \(\alpha \geq1\) and \(x \in w_{\alpha,\infty}\), we have \(x \in w_{\alpha,\infty}^{f}\) and the proof is complete. □
Theorem 3.5
Let f be a modulus and α be a positive real number. If \(\lim_{t \to\infty} \frac{f(t)}{t} >0 \), then \(w_{\alpha}^{f} \subset w_{\alpha}\).
Proof
Following the proof of Proposition 1 of Maddox [16], we have \(\beta= \lim_{t \to\infty} \frac{f(t)}{t} = \inf\{f(t)/t ; t >0\}\). By definition of β, we have \(f(t) \geq\beta t \) for all \(t \geq0\). Since \(\beta>0\), we have \(t \leq\beta^{1} f(t)\) for all \(t \geq0\) and so
from where it follows that \(x \in w_{\alpha}\) whenever \(x \in w_{\alpha}^{f}\). □
Remark 3.6
We have just seen in Theorem 3.4 that the inclusion \(w_{\alpha} \subset w_{\alpha}^{f}\) is true in case \(\alpha\geq 1\), without any restriction on the modulus f, whereas in Theorem 3.5 we have established that \(w_{\alpha}^{f} \subset w_{\alpha}\) is true only for such a modulus function f for which \(\lim_{t \to\infty}\frac{f(t)}{t} > 0\), there being no restriction on α.
Combining these two results we have the following.
Theorem 3.7
Let f be any modulus such that \(\lim_{t \to\infty}\frac{f(t)}{t} > 0\) and \(\alpha\geq1\). Then \(w_{\alpha}^{f} = w_{\alpha}\).
Theorem 3.8
Let f be a modulus and \(\beta \geq\alpha>0\). Then \(w_{\alpha}^{f} \subset w_{\beta}^{f}\) and the strict inclusion may occur.
Proof
To show that the strict inclusion may occur, let f be a modulus and consider the sequence \(x =(x_{k})\) defined by
Using the fact that \(f(0) =0\), it is easy to see that
Since \(\frac{1}{n^{\beta1/2}} f(1) \to0\) as \(n \to\infty\) for \(\beta> 1/2\), so \(x \in w_{\beta}^{f}\) for \(\beta> 1/2\). Also
and \(\frac{\sqrt{n}1}{n^{\alpha}} f(1) \to\infty\) as \(n \to\infty\) for \(0 < \alpha <1/2\), which implies that \(x \notin w_{\alpha}^{f}\) for \(0 < \alpha <1/2\). □
Some information on multipliers for \(w_{\alpha,\infty}^{f}\) is given below. For any set E of sequences, the space of multipliers of E, denoted by \(M(E)\), is given by
Theorem 3.9
Let f be a modulus and α be a positive real number. Then

(i)
\(l_{\infty} \subset M(w_{\alpha,\infty}^{f})\),

(ii)
\(M(w_{\alpha,\infty}^{f}) \subset w_{\alpha,\infty}^{f}\) if \(\alpha\geq1\),

(iii)
If f is bounded and \(\alpha\geq1\), then
$$M\bigl(w_{\alpha,\infty}^{f}\bigr) = w_{\alpha,\infty}^{f} =s. $$
Proof
(i) \(b \in l_{\infty}\) implies that \(b_{k} < 1+[H]\) for some \(H>0\) and for all k, and so
which gives the first inclusion.
(ii) The second inclusion follows from the fact that \(e = (1,1,1,\ldots)\in w_{\alpha,\infty}^{f}\) for \(\alpha \geq1\).
(iii) If f is bounded and \(\alpha\geq1\), then for any \(x =(x_{k}) \in s\),
so that \(w_{\alpha,\infty}^{f} =s\). Similarly, by part (ii) and the above argument, we have \(M(w_{\alpha,\infty}^{f}) = w_{\alpha,\infty}^{f}\). □
Recall [36] that a sequence space E is called

1.
normal if \(y= (y_{k}) \in E\) whenever \(y_{k} \leqx_{k}\), \(k \geq 1\), for some \(x = (x_{k}) \in E\),

2.
monotone if it contains the canonical preimages of all its stepspaces.
Theorem 3.10
[37]
If E is a sequence space, the following are equivalent.

(i)
E is normal,

(ii)
\(l_{\infty} \subset M(E)\),

(iii)
\(M(E)\) is normal.
Lemma 3.11
[36]
Every normal sequence space is monotone.
In view of Theorems 3.9, 3.10 and Lemma 3.11, we have the following.
Theorem 3.12
For any modulus f and positive real number α, the spaces \(w_{\alpha,\infty}^{f}\) and \(M(w_{\alpha,\infty}^{f})\) are normal as well as monotone.
Relation between fstatistical convergence of order α and strong Cesàro summability of order α with respect to a modulus
It was shown by Çolak [26] that for \(\alpha\in ( 0,1 ]\), if a sequence is strongly Cesàro summable of order α to l, then it is statistically convergent of order α to l. We now wish to find some condition on f, if any, so that strong Cesàro summability of order α with respect to a modulus f to l of a sequence implies its fstatistical convergence of order α to l. We also wish to obtain some condition on f, if any, under which strong Cesàro summability of order α with respect to a modulus f to l of a sequence implies its statistical convergence of order α to l.
Maddox [35] showed the existence of an unbounded modulus f for which there exists a positive constant c such that \(f( xy)\geq cf(x)f(y)\) for all \(x\geq0\), \(y\geq0\). Using this we have the following.
Theorem 4.1
Let \(0 < \alpha\leq\beta\leq1\). Let f be an unbounded modulus such that there is a positive constant c such that \(f( xy)\geq cf(x)f(y)\) for all \(x\geq0\), \(y\geq 0\) and \(\lim_{t \to\infty} \frac{f(t)}{t} > 0\). If a sequence is strongly Cesàro summable of order α with respect to f to l, then it is fstatistically convergent of order β to l.
Proof
For any sequence \(x=(x_{k})\) and \(\varepsilon> 0\), by the definition of modulus function (ii) and (iii), we have
and since \(\alpha\leq\beta\),
From where, using the fact that \(\lim_{t \to\infty}\frac{f(t)}{t} > 0\) and \(x \in w_{\alpha}^{f}\), it follows that \(x \in S_{\beta}^{f}\) and the proof is complete. □
If we take \(\beta= \alpha\) in Theorem 4.1, we have the following.
Corollary 4.2
Let f be an unbounded modulus such that there is a positive constant c such that \(f( xy)\geq cf(x)f(y)\) for all \(x\geq0\), \(y\geq0\) and \(\lim_{t \to\infty} \frac{f(t)}{t} > 0\). Let \(0< \alpha\leq1\). If a sequence is strongly Cesàro summable of order α with respect to f to l, then it is fstatistically convergent of order α to l.
If we take \(\alpha= 1\) in Corollary 4.2, then we have the following.
Corollary 4.3
Let f be an unbounded modulus such that there is a positive constant c such that \(f( xy)\geq cf(x)f(y)\) for all \(x\geq0\), \(y\geq0\) and \(\lim_{t \to\infty} \frac{f(t)}{t} > 0\). If a sequence is strongly Cesàro summable with respect to f to l, then it is fstatistically convergent to l.
Remark 4.4
If we take \(f(x) = x\) in Theorem 4.1, we obtain Theorem 3.8 of Çolak [26] for the case \(p = 1\).
Theorem 4.5
Let f be a modulus function such that \(\lim_{t \to \infty}\frac{f(t)}{t} >0 \) and \(\alpha\in( 0,1 ]\). If a sequence is strongly Cesàro summable of order α with respect to f to l, then it is statistically convergent of order α to l.
Taking \(\alpha= 1\) in Theorem 4.5 we obtain the following result which is a particular case of part (a) of Theorem 8 of Connor [17].
Corollary 4.6
Let f be a modulus function such that \(\lim_{t \to \infty}\frac{f(t)}{t} >0 \). If a sequence is strongly Cesàro summable with respect to f to l, then it is statistically convergent to l.
Taking \(f(x)= x\) and \(\alpha=1\) in Theorem 4.5, we obtain the following result, which is contained in Theorem 2.1 of Connor [8], for the case \(q = 1\).
Corollary 4.7
If a sequence is strongly Cesàro summable to l, then it is statistically convergent to l.
References
 1.
Zygmund, A: Trigonometric Series, 2nd edn. Cambridge University Press, London (1979)
 2.
Steinhaus, H: Sur la convergence ordinaire et la convergence asymptotique. Colloq. Math. 2, 7374 (1951)
 3.
Fast, H: Sur la convergence statistique. Colloq. Math. 2, 241244 (1951)
 4.
Schoenberg, IJ: The integrability of certain functions and related summability methods. Am. Math. Mon. 66, 361375 (1959)
 5.
Buck, RC: Generalized asymptotic density. Am. J. Math. 75, 335346 (1953)
 6.
Šalát, T: On statistically convergent sequences of real numbers. Math. Slovaca 30(2), 139150 (1980)
 7.
Fridy, JA: On statistical convergence. Analysis 5, 301313 (1985)
 8.
Connor, JS: The statistical and strong pCesàro convergence of sequences. Analysis 8, 4763 (1988)
 9.
Çinar, M, Karakaş, M, Et, M: On pointwise and uniform statistical convergence of order α for sequences of functions. Fixed Point Theory Appl. 2013, Article ID 33 (2013)
 10.
Et, M, Alotaibi, A, Mohiuddine, SA: On \((\Delta^{m}, \mathcal{I})\)statistical convergence of order α. Sci. World J. 2014, Article ID 535419 (2014). doi:10.1155/2014/535419
 11.
Savas, E: Double almost lacunary statistical convergence of order α. Adv. Differ. Equ. 2013, Article ID 254 (2013)
 12.
Sengül, H, Et, M: On lacunary statistical convergence of order α. Acta Math. Sci. 34(2), 473482 (2014)
 13.
Niven, I, Zuckerman, HS: An Introduction to the Theory of Numbers, 4th edn. Wiley, New York (1980)
 14.
Nakano, H: Concave modulars. J. Math. Soc. Jpn. 5, 2949 (1953)
 15.
Ruckle, WH: FK spaces in which the sequence of coordinate vectors is bounded. Can. J. Math. 25, 973978 (1973)
 16.
Maddox, IJ: Inclusion between FK spaces and Kuttner’s theorem. Math. Proc. Camb. Philos. Soc. 101, 523527 (1987)
 17.
Connor, J: On strong matrix summability with respect to a modulus and statistical convergence. Can. Math. Bull. 32(2), 194198 (1989)
 18.
Ghosh, D, Srivastava, PD: On some vector valued sequence spaces defined using a modulus function. Indian J. Pure Appl. Math. 30(8), 819826 (1999)
 19.
Bhardwaj, VK, Singh, N: On some sequence spaces defined by a modulus. Indian J. Pure Appl. Math. 30(8), 809817 (1999)
 20.
Bhardwaj, VK, Singh, N: Some sequence spaces defined by \(\bar{N}, p_{n}\) summability and a modulus function. Indian J. Pure Appl. Math. 32(12), 17891801 (2001)
 21.
Bhardwaj, VK, Singh, N: Banach space valued sequence spaces defined by a modulus. Indian J. Pure Appl. Math. 32(12), 18691882 (2001)
 22.
Çolak, R: Lacunary strong convergence of difference sequence spaces with respect to a modulus function. Filomat 17, 914 (2003)
 23.
Altin, Y, Et, M: Generalized difference sequence spaces defined by a modulus function in a locally convex space. Soochow J. Math. 31(2), 233243 (2005)
 24.
Aizpuru, A, ListànGarcìa, MC, RamblaBarreno, F: Density by moduli and statistical convergence. Quaest. Math. 37, 525530 (2014)
 25.
Bhardwaj, VK, Dhawan, S, Gupta, S:. Density by moduli and statistical boundedness (communicated)
 26.
Çolak, R: Statistical convergence of order α. In: Modern Methods in Analysis and Its Applications, pp. 121129. Anamaya Publishers, New Delhi (2010)
 27.
Bhunia, S, Das, P, Pal, S: Restricting statistical convergence. Acta Math. Hung. 134(12), 153161 (2012)
 28.
Çolak, R, Bektaş, CA: λStatistical convergence of order α. Acta Math. Sci. 31(3), 953959 (2011)
 29.
Das, P, Savas, E: On \(\mathcal{I}\)statistical and \(\mathcal{I}\)lacunary statistical convergence of order α. Bull. Iran. Math. Soc. 40(2), 459472 (2014)
 30.
Das, P, Ghosal, S, Som, S: Statistical convergence of order α in probability. Arab J. Math. Sci. (2014). doi:10.1016/j.ajmsc.2014.06.002
 31.
Et, M, Çinar, M, Karakaş, M: On λstatistical convergence of order α of sequences of functions. J. Inequal. Appl. 2013, Article ID 204 (2013)
 32.
Kuttner, B: Note on strong summability. J. Lond. Math. Soc. 80(2), 118122 (1946)
 33.
Maddox, IJ: Spaces of strongly summable sequences. Q. J. Math. 8(2), 345355 (1967)
 34.
Maddox, IJ: On Kuttner’s theorem. J. Lond. Math. Soc. 43, 285290 (1968)
 35.
Maddox, IJ: Sequence spaces defined by a modulus. Math. Proc. Camb. Philos. Soc. 100, 161166 (1986)
 36.
Kamthan, PK, Gupta, M: Sequence Spaces and Series. Dekker, New York (1981)
 37.
Rath, D: Multiplier sets and orthogonal duals of sequence spaces. J. Anal. 4, 2333 (1996)
Acknowledgements
The authors wish to thank the referees for their valuable suggestions, which have improved the presentation of the paper.
Author information
Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
VKB and SD contributed equally. All authors 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
Bhardwaj, V.K., Dhawan, S. fStatistical convergence of order α and strong Cesàro summability of order α with respect to a modulus. J Inequal Appl 2015, 332 (2015). https://doi.org/10.1186/s136600150850x
Received:
Accepted:
Published:
MSC
 40A35
 40C05
 46A45
Keywords
 modulus function
 density
 statistical convergence
 strong Cesàro summability