Skip to main content

Advertisement

On statistical convergence and strong Cesàro convergence by moduli

Article metrics

  • 184 Accesses

Abstract

In this paper we will establish a result by Connor, Khan and Orhan (Analysis 8:47–63, 1988; Publ. Math. (Debr.) 76:77–88, 2010) in the framework of the statistical convergence and the strong Cesàro convergence defined by a modulus function f. Namely, for every modulus function f, we will prove that a f-strongly Cesàro convergent sequence is always f-statistically convergent and uniformly integrable. The converse of this result is not true even for bounded sequences. We will characterize analytically the modulus functions f for which the converse is true. We will prove that these modulus functions are those for which the statistically convergent sequences are f-statistically convergent, that is, we show that Connor–Khan–Orhan’s result is sharp in this sense.

Introduction

A sequence \((x_{k})\) on a normed space \((X,\|\cdot \|) \) is said to be strongly Cesàro convergent to L if

$$ \lim_{n\to \infty } \frac{1}{n}\sum _{k=1}^{n} \Vert x_{k}-L \Vert =0. $$

The strong Cesàro convergence for real numbers was introduced by Hardy–Littlewood [14] and Fekete [12] in connection with the convergence of Fourier series (see [35], for historical notes, and the most recent monograph [5]).

A sequence \((x_{n})\) is statistically convergent to L if for any \(\varepsilon >0\) the subset \(\{k: |x_{k}-L|<\varepsilon \}\) has density 1 on the natural numbers. The term statistical convergence was first presented by Fast [11] and Steinhaus [34] independently in the same year 1951. Actually, a root of the notion of statistical convergence can be detected in [36], where he used the term almost convergence which turned out to be equivalent to the concept of statistical convergence.

Both concepts were developed independently and surprisingly enough, both are related thanks to a result by Connor ([6]) which was sharpened by Khan and Orhan ([15]). Among other results, Khan and Orhan show that a sequence is strongly Cesàro convergent if and only if it is statistically convergent and uniformly integrable. In this circle of ideas, a significant number of deep and beautiful results have been obtained by Connor, Fridy, Khan, Mursaleen, Orhan... and many others (see [2, 9, 13, 26, 27, 31,32,33]). Moreover, the convergence methods are an active research area with important applications (see the recent monograph by Mursaleen [24]). For instance, there are applications in many fields, such as approximation theory [3, 10, 22, 23, 25, 28]. On the other hand, from the point of view of infinite dimensional spaces, there are interesting results that characterize properties of normed spaces by means of some convergence types (see for instance [8, 16,17,18]).

Let us recall that \(f: \mathbb{R}^{+}\to \mathbb{R}^{+}\) is said to be a modulus function if it satisfies:

  1. (1)

    \(f(x)=0 \) if and only if \(x=0\).

  2. (2)

    \(f(x+y)\leq f(x)+f(y)\) for every \(x,y\in \mathbb{R}^{+}\).

  3. (3)

    f is increasing.

  4. (4)

    f is continuous from the right at 0.

In [19, 29, 30] the authors extended the notion of strong Cesàro convergence with respect to a modulus function, and in [1] it was introduced the concept of f-statistical convergence in which underlies a new concept of f-density of subsets of natural numbers (where f is a modulus function). A modulus function f was used by Maddox ([20]) to obtain a representation of statistical convergence in terms of strong summability. Later, it was used by Connor ([7]) to study the concepts of strong matrix summability with respect to a modulus. In this paper we will consider only unbounded modulus functions, since the bounded case is reduced only to trivial examples.

In [4] the authors studied the relationship between the f-statistical convergence and other Cesàro convergence types defined with respect to a modulus f. It has been observed that there is not enough structure to establish Connor–Khan–Orhan’s result in any direction. The aim of this paper is to establish, for the f-statistical convergence and a suitable f-strong Cesàro convergence that will be introduced in Sect. 2, equivalences analogous to those obtained in Connor–Khan–Orhan’s result.

The notion of f-strong Cesàro convergence that we introduce is very handy to use, and it fits as a glove to the f-statistical convergence. In fact, we will prove that if a sequence \((x_{n})\) is f-strongly Cesàro convergent to L then \((x_{n})\) is f-statistically convergent to L and it is uniformly integrable.

However, the converse of the above result, is not always true, even for bounded sequences. Thus, the following questions arises:

For which modulus functions f it is possible to obtain the converse of Connor–Khan–Orhan’s result. That is, for which modulus functions do we find that all uniformly integrable and f-statistically convergent sequences are f-strongly Cesàro convergent?

We answer the above question by characterizing analytically such modulus functions, which will be called compatible modulus functions. And surprisingly, we can show that such compatible modulus functions are those for which all statistically convergent sequences are f-statistically convergent, that is, in some sense Connor–Khan–Orhan’s result is quite sharp. The paper concludes with a brief section devoted to related issues, references and open questions.

Preliminary results

Let X be a normed space. A sequence \((x_{n})\subset X\) is said to be uniformly integrable if

$$ \lim_{c\to \infty }\sup_{n} \frac{1}{n} \mathop{\sum_{k=1 }}_{ \Vert x_{k} \Vert \geq c}^{n} \Vert x_{k} \Vert =0. $$

If a sequence \((x_{n})\) is uniformly integrable then \((x_{n}-L)\) is also uniformly integrable for every \(L\in X\). If we consider \(L_{\mu }^{1}[0,1]\) where μ is the Lebesgue measure, a sequence \((x_{n})\) is uniformly integrable if and only if the set of simple functions

$$ g_{n}(s)=\sum_{k=0}^{n} \Vert x_{k+1} \Vert \chi _{ [\frac{k}{n},\frac{k+1}{n} )}(s) $$

is uniformly integrable in \(L^{1}_{\mu }[0,1]\) (here \(\chi _{A}(\cdot )\) denotes the characteristic function of A). This measure theoretic approach was used by Khan and Orhan in [15], providing an answer to a problem posed by Connor [7] in the A-statistical-convergence setting and to another open question posed by Miller ([21]).

Next we define f-strong Cesàro convergence:

Definition 2.1

Let f be a modulus function. A sequence \((x_{n})\) is said to be f-strongly Cesàro convergent to L if

$$ \lim_{n\to \infty } \frac{f (\sum_{k=1}^{n} \Vert x_{k}-L \Vert )}{f(n)}=0. $$

Let us observe that if f is bounded, then the constant sequence \(x_{n}=L\) is the only sequence which is f-strongly Cesàro convergent to L. Indeed, if for some k, \(\|x_{k}-L\|=c> 0\) then

$$ \frac{f(c)}{ \Vert f \Vert _{\infty }}\leq \frac{f (\sum_{k=1}^{n} \Vert x_{k}-L \Vert )}{f(n)}, $$

which gives the desired result.

In [1], by means of a new concept of density of a subset of \(\mathbb{N}\), it is defined the following non-matrix concept of convergence.

Definition 2.2

A sequence \((x_{n})\) is said to be f-statistically convergent to L if for every \(\varepsilon >0\).

$$ \lim_{n\to \infty }\frac{f(\#\{ k\leq n: \Vert x_{k}-L \Vert >\varepsilon \})}{f(n)}=0. $$

Analogously, if f is bounded, the only sequences \((x_{n})\) that converge f-statistically are the constant sequences. Thus, in what follows we will suppose that f is an unbounded modulus function.

Let us observe that if f is a modulus function, for all \(x\in \mathbb{R}^{+}\) and \(m\in \mathbb{N}\) we have \(f (\frac{x}{m} ) \geq \frac{1}{m} f(x)\). Indeed, \(f(x)=f(\frac{1}{m}mx)\leq mf( \frac{x}{m})\). As a consequence, it was pointed out in [1] that if \(x_{n}\) is f-statistically convergent to L, then \((x_{n})\) is statistically convergent to L. A similar result remains true for the f-strong Cesàro convergence.

Proposition 2.3

Letfbe a modulus function. If \((x_{n})\)isf-strongly Cesàro convergent toL, then \((x_{n})\)is strongly Cesàro convergent toL.

Proof

Indeed, for all \(p\geq 1\), there exists \(n_{0}\), such that

$$ \frac{f (\sum_{k=1}^{n} \Vert x_{k}-L \Vert )}{f(n)}\leq \frac{1}{p} $$

for all \(n\geq n_{0}\). That is,

$$ f \Biggl(\sum_{k=1}^{n} \Vert x_{k}-L \Vert \Biggr)\leq \frac{1}{p}f(n) \leq f \biggl( \frac{n}{p} \biggr) $$

and since f is increasing, we have

$$ \sum_{k=1}^{n} \Vert x_{k}-L \Vert \leq \frac{n}{p} $$

for all \(n\geq n_{0}\), that is, \((x_{n})\) is strongly Cesàro convergent to L. □

However, the converse of the above statement is not true, as it is shown in the following example.

Example 2.4

Let us consider the modulus function \(f(x)=\log (x+1)\) and the sequence \((x_{k})\) defined as:

$$ x_{k}= \textstyle\begin{cases} 1, & k=n^{2}, \\ 0, & k\neq n^{2}. \end{cases} $$

Then \((x_{k})\) is strongly Cesàro convergent to 0, indeed

$$ \lim_{n\to \infty }\frac{\sum_{k=1}^{n} \Vert x_{k} \Vert }{n}\leq \lim _{n\to \infty } \frac{\sqrt{n}}{n}=0. $$

However, \((x_{n})\) is not f-strongly Cesàro convergent to 0:

$$ \lim_{n\to \infty } \frac{\log (\sum_{k=1}^{n^{2}} \Vert x_{k} \Vert )}{ \log (n^{2})}=\frac{1}{2}. $$

Definition 2.5

A modulus function f is said to be compatible if for any \(\varepsilon >0\) there exist \(\varepsilon '>0\) and \(n_{0}(\varepsilon )\in \mathbb{N}\) such that \(\frac{f(n\varepsilon ')}{f(n)}<\varepsilon \) for all \(n\geq n _{0}\).

Example 2.6

The functions \(f(x)=x^{p}+x^{q}\), \(0< p,q\leq 1\), \(f(x)=x^{p}+\log (x+1)\), \(f(x)=x+\frac{x}{x+1}\) are modulus functions which are compatible. And \(f(x)=\log (x+1)\), \(f(x)=W(x)\) where W is the W-Lambert function restricted to \(\mathbb{R}^{+}\) (that is, the inverse of \(xe^{x}\)) are modulus functions which are not compatible. Indeed, let us show that \(f(x)=x+\log (x+1)\) is compatible.

$$ \lim_{n\to \infty }\frac{f(n\varepsilon ')}{f(n)}=\lim_{n\to \infty } \frac{n \varepsilon '+\log (1+n\varepsilon ')}{n+\log (n+1)}=\varepsilon '. $$

On the other hand if \(f(x)=\log (x+1)\), since

$$ \lim_{n\to \infty }\frac{\log (1+n\varepsilon ')}{\log (1+n)}=1 $$

we find that \(f(x)=\log (x+1)\) is not compatible.

Proposition 2.7

Letfbe a compatible modulus function. If \((x_{n})\)is statistically convergent toLthen \((x_{n})\)isf-statistically convergent toL.

Proof

Let us fix \(\varepsilon >0\) arbitrarily small. Since f is compatible, there exist \(\varepsilon ' >0\) and \(n_{0}(\varepsilon )\) such that if \(n\geq n_{0}\) then

$$ \frac{f(n\varepsilon ')}{f(n)}< \varepsilon. $$

Let \(c>0\) and let us fix \(\varepsilon '>0\). Since \((x_{n})\) is statistically convergent to L then there exists \(m_{0}(\varepsilon )\) (since \(\varepsilon '\) depends on ε we find that \(m_{0}\) depends actually on ε) such that if \(n\geq m_{0}\)

$$ \#\bigl\{ k\leq n: \Vert x_{k}-L \Vert >c\bigr\} \leq n \varepsilon '. $$

Since f is increasing we have

$$ \frac{f(\#\{ k\leq n: \Vert x_{k}-L \Vert > c\})}{f(n)}\leq \frac{f(n \varepsilon ')}{f(n)}< \varepsilon, $$

for all \(n\geq \max \{m_{0},n_{0}\}\), which gives the desired result. □

For f-strong Cesàro convergence, we obtain a similar result.

Proposition 2.8

Letfbe a compatible modulus function. Then, if \((x_{n})\)is strongly Cesàro convergent toLthen \((x_{n})\)isf-strongly Cesàro convergent toL.

Proof

Let us suppose that \((x_{n})\) is strongly Cesàro convergent to L. Then for any \(\varepsilon '>0\) there exists \(n\geq n_{0}\) such that

$$ \sum_{k=1}^{n} \Vert x_{k}-L \Vert \leq n\varepsilon ' $$

and since f is increasing, then

$$ f \Biggl(\sum_{k=1}^{n} \Vert x_{k}-L \Vert \Biggr)\leq f\bigl( n\varepsilon ' \bigr); $$

thus

$$ \frac{f (\sum_{k=1}^{n} \Vert x_{k}-L \Vert )}{f(n)}\leq \frac{f( n \varepsilon ')}{f(n)} $$

then by applying the same argument as above we get the desired result. □

Proposition 2.9

Letfbe a modulus function.

  1. (1)

    If all statistically convergent sequences aref-statistically convergent, thenfmust be compatible.

  2. (2)

    If all strongly Cesàro convergent sequences aref-strongly Cesàro convergent, thenfmust be compatible.

Proof

Let \((x_{n})\) be a sequence which is statistically convergent to L but not f-statistically convergent to L. There exist \(\varepsilon _{0}>0\), a constant \(c>0\) and a subsequence \((n_{k})\) such that

$$ 0< c\leq \frac{f (\#\{i\leq n_{k}: \Vert x_{i}-L \Vert >\varepsilon _{0} \} )}{f(n_{k})}. $$

On the other hand, since \(x_{n}\to L\) statistically, for all \(\varepsilon >0\) there exists \(n_{0}(\varepsilon )\) such that

$$ \#\bigl\{ i\leq n: \Vert x_{i}-L \Vert >\varepsilon _{0}\bigr\} < \varepsilon n $$

for all \(n\geq n_{0}(\varepsilon )\). And since f is increasing

$$ f\bigl(\#\bigl\{ i\leq n: \vert x_{i}-L \vert >\varepsilon _{0}\bigr\} \bigr)\leq f(n\varepsilon ). $$

In particular for all \(n_{k}\geq n_{0}(\varepsilon )\)

$$ 0< c\leq \frac{f (\#\{i\leq n_{k}: \Vert x_{i}-L \Vert >\varepsilon _{0} \} )}{f(n_{k})}\leq \frac{f(n_{k}\varepsilon )}{f(n_{k})} $$

that is, the modulus f is not compatible. Hence, we have proved (1).

The proof of (2) follows by a similar argument and is left to the reader. □

Main results

Let us recall Connor–Khan–Orhan’s result.

Theorem 3.1

(Connor–Khan–Orhan [6, 15])

A sequence is strongly Cesàro convergent toLif and only if it is statistically convergent toLand uniformly integrable.

This result connects two concepts that were introduced historically in different times and by different authors. Sometimes, it is easier to verify that a sequence is strongly convergent than to verify that it is statistically convergent. Conversely, if our sequence is uniformly integrable, we do not know if it has limit and we want to check that the sequence is strongly Cesàro convergent, it is usually simpler to check that the sequence is statistically Cauchy. This great advantage so useful pushes us to know what happens in the f-statistical-convergence setting.

Theorem 3.2

Let \((x_{n})\)be a sequence, then if \((x_{n})\)isf-strongly Cesàro convergent toLthen \((x_{n})\)isf-statistically convergent toLand \((x_{n})\)is uniformly integrable.

Proof

In order to prove that \((x_{n})\) is f-statistically convergent to L, it is sufficient to show that, for all \(m\in \mathbb{N}\),

$$ \lim_{n\to \infty } \frac{f(\#\{k\leq n: \Vert x_{k}-L \Vert > \frac{1}{m}\})}{f(n)} =0. $$
(1)

Indeed, let \(\varepsilon >0\) and let us consider m such that \(\frac{1}{m+1}\leq \varepsilon \leq \frac{1}{m}\). Then we get

$$ \#\bigl\{ k\leq n: \Vert x_{k}-L \Vert >\varepsilon \bigr\} \leq \# \biggl\{ k\leq n: \Vert x_{k}-L \Vert >\frac{1}{m+1} \biggr\} , $$

therefore, since f is increasing

$$ \lim_{n\to \infty } \frac{f (\#\{k\leq n: \Vert x_{k}-L \Vert >\varepsilon \} )}{f(n)} \leq \lim _{n\to \infty } \frac{f (\#\{k\leq n : \Vert x_{k}-L \Vert >\frac{1}{m+1} \} )}{f(n)} $$

thus taking limits on n we obtain what we desired.

Therefore, let \(m\in \mathbb{N}\), and let us show Eq. (1). We have

$$\begin{aligned} f \Biggl(\sum_{k=1}^{n} \Vert x_{k}-L \Vert \Biggr) & \geq f \biggl(\mathop{\sum _{k=1 }}_{ \Vert x_{k}-L \Vert \geq \frac{1}{m}}^{n} \Vert x _{k}-L \Vert \biggr) \end{aligned}$$
(2)
$$\begin{aligned} & \geq f \biggl(\mathop{\sum_{k=1 }}_{ \Vert x_{k}-L \Vert \geq \frac{1}{m}} ^{n} \frac{1}{m} \biggr) \geq \frac{1}{m} f \biggl(\mathop{\sum_{k=1 }}_{ \Vert x_{k}-L \Vert \geq \frac{1}{m}}^{n} 1 \biggr) \end{aligned}$$
(3)
$$\begin{aligned} &= \frac{1}{m} f \biggl(\# \biggl\{ k\leq n: \Vert x-L \Vert > \frac{1}{m} \biggr\} \biggr). \end{aligned}$$
(4)

Since \((x_{n})\) is f-strongly Cesàro convergent to L, we have

$$ \lim_{n\to \infty } \frac{f (\sum_{k=1}^{n} \Vert x_{k}-L \Vert )}{f(n)}=0, $$

therefore dividing Eq. (2) by \(f(n)\), and taking the limit as \(n\to \infty \) we obtain for each \(m\in \mathbb{N}\)

$$ \lim_{n\to \infty } \frac{f(\#\{k\leq n: \Vert x_{k}-L \Vert > \frac{1}{m}\})}{f(n)} =0, $$

which implies that \((x_{n})\) is f-statistically convergent to L.

On the other hand, since \((x_{n})\) is f-strongly Cesàro convergent to L then by applying Proposition 2.3 and Connor–Khan–Orhan’s result, we find that \((x_{n})\) is uniformly integrable as we desired. □

Let us denote by \(c_{0}(X)\) the sequences on X which are convergent to 0, and \(\ell _{1}(X)\) the sequences \((x_{n})\subseteq X\) such that \(\sum_{n} \|x_{n}\|<\infty \). From the theorem above we deduce that if \((x_{n}) \subseteq X\), and

  1. (1)

    for every f modulus \((x_{n})\) is f-strongly Cesáro convergent to L

then

  1. (2)

    for every f modulus \((x_{n})\) is f-statistically convergent to L.

Moreover in [1] it was proved that the statement (2) is equivalent to \((x_{n} - L) \in c_{0} (X)\), i.e., the sequence converges to zero. Analogously we have the following.

Theorem 3.3

A sequence \((x_{n}) \subseteq X\)satisfies (1) if and only if the sequence \((x_{n} - L)\)belongs to \(\ell _{1} (X)\).

Proof

It is trivial to see that if \(\sum_{n\in \mathbb{N}} \|x_{n} - L\| < +\infty \) then for every f modulus \((x_{n})\) is f-strongly Cesáro convergent to L.

Conversely, let us suppose that for every f modulus the sequence \((x_{n})\) is f-strongly Cesáro convergent to L but \((x_{n} - L) \notin \ell _{1}(X)\).

We consider the set of natural numbers A defined by

$$ \#\{i \in A: i \leq n\} = \min \Biggl\{ n, \Biggl\lfloor \sum _{k=1} ^{n} \Vert x_{n} - L \Vert \Biggr\rfloor \Biggr\} , $$

(where \(\lfloor x \rfloor \) means the greatest integer smaller than x) it is clear that A is infinite, so using Lemma 3.4 in [1] there exists g an unbounded modulus such that

$$ \lim_{n \rightarrow \infty } \frac{g(\#\{i \in A: i \leq n\})}{g(n)} = 1, $$

but this is a contradiction. □

Theorem 3.4

Let us suppose thatfis a compatible modulus function and \((x_{n})\)is a uniformly integrable sequence. Then if \((x_{n})\)isf-statistically convergent toLthen \((x_{n})\)isf-strongly Cesàro convergent toL. Moreover, iffis a modulus such that all uniformly integrable andf-statistically convergent sequences \((x_{n})\)aref-strongly Cesàro convergent, then the modulusfmust be compatible.

Proof

Let \((x_{n}) \) be a bounded sequence such that \((x_{n}) \) is f-statistically convergent to L and uniformly integrable.

Let us consider \(\varepsilon > 0\). Since f is compatible there exists \(\varepsilon '>0\) such that

$$ \frac{f (n\varepsilon ' )}{f(n)}< \frac{\varepsilon }{3} $$
(5)

for all \(n\geq n_{0}(\varepsilon )\).

Now, since \((x_{n})\) is uniformly integrable, there exists a natural number \(M>0\) large enough satisfying \(\frac{1}{M}<\varepsilon '\) and for all \(n\in \mathbb{N}\)

$$ \frac{1}{n} \mathop{\sum _{k=1 }}_{ \Vert x_{k}-L \Vert \geq M}^{n} \Vert x_{k}-L \Vert < \varepsilon '. $$
(6)

And since \((x_{n})\) is f-statistically convergent to L, there exists a natural number, which we abusively denote by \(n_{0}(\varepsilon )\), such that for all \(n\geq n_{0}(\varepsilon )\)

$$ \frac{1}{f(n)} f\bigl(\#\bigl\{ k : \Vert x_{k}-L \Vert >\varepsilon '\bigr\} \bigr)< \frac{\varepsilon }{3M}. $$
(7)

Therefore

$$\begin{aligned} \frac{f (\sum_{k=1}^{n} \Vert x_{k}-L \Vert )}{f(n)} \leq{}& \frac{1}{f(n)} f \biggl( \mathop{\sum_{k=1 }}_{ M> \Vert x_{k}-L \Vert \geq \varepsilon '}^{n} \Vert x_{k}-L \Vert \biggr) \\ &{}+\frac{1}{f(n)} f \biggl( \mathop{\sum_{k=1 }}_{ \Vert x_{k}-L \Vert \geq M }^{n} \Vert x_{k}-L \Vert \biggr) \\ &{} +\frac{1}{f(n)} f \biggl(\mathop{ \sum_{k=1 }}_{ \Vert x_{k}-L \Vert < \varepsilon '}^{n} \Vert x_{k}-L \Vert \biggr) . \end{aligned}$$
(8)

Since f is increasing, according to (7) we find that for all \(n\geq n_{0}(\varepsilon )\) the first term of (8) is

$$\begin{aligned} \frac{1}{f(n)} f \biggl( \mathop{\sum _{k=1 }}_{ M> \Vert x_{k}-L \Vert \geq \varepsilon '}^{n} \Vert x_{k}-L \Vert \biggr) &< \frac{f ( \#\{k\leq n: \Vert x_{k}-L \Vert >\varepsilon '\}\cdot M )}{f(n)} \\ &\leq M \frac{1}{f(n)} f \bigl( \#\bigl\{ k\leq n: \Vert x_{k}-L \Vert > \varepsilon '\bigr\} \bigr) \\ &< M\frac{\varepsilon }{3M}=\frac{\varepsilon }{3}. \end{aligned}$$
(9)

On the other hand, let us estimate the second summand of the inequality (8). Using that f is increasing and by applying firstly the inequality (6) and later inequality (5) we have for \(n\geq n_{0}(\varepsilon )\)

$$\begin{aligned} \frac{1}{f(n)} f \biggl( \mathop{\sum _{k=1 }}_{ \Vert x_{k}-L \Vert \geq M } ^{n} \Vert x_{k}-L \Vert \biggr) &=\frac{1}{f(n)} f \biggl( n \frac{1}{n} \mathop{\sum_{k=1 }}_{ \Vert x_{k}-L \Vert \geq M }^{n} \Vert x_{k}-L \Vert \biggr) \\ &\leq \frac{1}{f(n)} f \bigl( n \varepsilon ' \bigr) \leq \frac{ \varepsilon }{3}. \end{aligned}$$
(10)

Finally, for the third summand in (8) by applying inequality (5) we obtain if \(n\geq n_{0}(\varepsilon )\)

$$ \frac{1}{f(n)} f \biggl( \mathop{\sum _{k=1 }}_{ \Vert x_{k}-L \Vert \leq \varepsilon '}^{n} \Vert x_{k}-L \Vert \biggr) \leq \frac{1}{f(n)} f \biggl(n \frac{1}{M} \biggr)< \frac{\varepsilon }{3}. $$
(11)

Thus, by using inequalities (9), (10), and (11) into inequality (8) we obtain if \(n\geq n_{0}(\varepsilon )\)

$$ \frac{f (\sum_{k=1}^{n} \Vert x_{k}-L \Vert )}{f(n)} \leq \varepsilon , $$

that is, \((x_{n})\) is f-strongly Cesàro convergent to L as we desired.

Now, let us suppose that there exists a uniformly integrable sequence \((x_{n})\) which is f-statistically convergent to L and \((x_{n})\) is not f-strongly Cesàro convergent to L. We want to show that in such a case f is not compatible.

Let \(\varepsilon >0\), we wish to prove that there exist \(c'>0\) and an increasing subsequence \(\{n_{k}\}\) such that \(c'\leq \frac{f(n_{k} \varepsilon )}{f(n_{k})}\), for all k.

Since \((x_{n})\) is uniformly integrable, given \(\varepsilon '>0\) there exist integers \(M>0\) and \(n_{0}(\varepsilon ')\) large enough such that

$$ \frac{1}{n}\mathop{\sum_{i=1}}_{ \Vert x_{i}-L \Vert \geq M }^{n} \Vert x_{i}-L \Vert \leq \varepsilon ', $$

for all \(n\geq n_{0}(\varepsilon ')\). Therefore

$$ \frac{1}{f(n)}f \biggl(\mathop{\sum _{i=1 }}_{ \Vert x_{i}-L \Vert \geq M }^{n} \Vert x_{i}-L \Vert \biggr)\leq \frac{f(n\varepsilon ')}{f(n)}, $$
(12)

for all \(n\geq n_{0}(\varepsilon ')\). On the other hand, since \((x_{n})\) is f-statistically convergent to L, there exists an integer which we denote abusively by \(n_{0}(\varepsilon ')\) such that

$$\begin{aligned} \frac{1}{f(n)} f \biggl(\mathop{\sum _{ i=1 }}_{ \varepsilon < \Vert x_{i}-L \Vert < M }^{n} \Vert x_{i}-L \Vert \biggr) & \leq \frac{1}{f(n)}f \bigl(\#\bigl\{ k\leq n: \Vert x_{k}-L \Vert >\varepsilon \bigr\} \cdot M \bigr) \\ &\leq M \frac{f (\#\{k\leq n: \Vert x_{k}-L \Vert >\varepsilon \} )}{f(n)} \\ & < \varepsilon ' \end{aligned}$$
(13)

for all \(n\geq n_{0}(\varepsilon )\).

Therefore, by using inequalities (12) and (13) we have shown that, for every \(\varepsilon >0\) and \(\varepsilon '>0\), there exist integers \(M>0\) and \(n_{0}(\varepsilon ')\) such that for all \(n\geq n_{0}\) we have

$$ \frac{1}{f(n)} f \biggl(\mathop{\sum_{i=1}}_{ \Vert x_{i}-L \Vert \geq \varepsilon }^{n} \Vert x_{i}-L \Vert \biggr)\leq \frac{ \varepsilon '}{2} + \frac{f(n\varepsilon ')}{f(n)} $$
(14)

for all \(n\geq n_{0}(\varepsilon ')\).

Now, let us observe that if \((x_{n})\) does not converge f-strongly Cesàro to L, there exist a subsequence \(n_{k}\) and \(c>0\) such that \(c\leq h_{n_{k}}\) for all k. Thus, for all \(\varepsilon >0\) and \(\varepsilon '>0\) there exists \(n_{1}(\varepsilon ')>0\) such that if \(n_{k}\geq n_{1}(\varepsilon ')\) we have

$$\begin{aligned} c< h_{n_{k}} & =\frac{f( (\sum_{i=1}^{n_{k}} \Vert x_{i}-L \Vert )}{f(n _{k})} \\ & \leq \frac{1}{f(n_{k})} f \biggl( \mathop{\sum _{i=1 }}_{ \Vert x_{i}-L \Vert \geq \varepsilon }^{n_{k}} \Vert x_{i}-L \Vert \biggr) + \frac{1}{f(n_{k})} f \biggl( \mathop{ \sum_{i=1 }}_{ \Vert x_{i}-L \Vert < \varepsilon }^{n_{k}} \Vert x_{i}-L \Vert \biggr) \\ & < \varepsilon '+\frac{2f(n_{k}\varepsilon )}{f(n_{k})}. \end{aligned}$$

Since the first term, \(\varepsilon '>0\), of the above inequality is arbitrarily small, there exists a subsequence of \(n_{k}\) such that \(0<\frac{c}{2}\leq \frac{f(n_{k}\varepsilon )}{f(n_{k})}\) as we desired. □

Remark 3.5

Let us observe that uniform integrability in Theorem 3.4 is necessary. Set \(n_{j}=j^{2}\) and let us define

$$ x_{k}= \textstyle\begin{cases} 0, & k\neq j^{2}\text{ for all }j, \\ j^{2}, & k=j^{2}\text{ for some }j. \end{cases} $$

The sequence \((x_{k})\) is not uniformly integrable, it is statistically convergent to 0, and it is not strongly Cesàro summable.

Remark 3.6

Let us observe that the first part of Theorem 3.4 can be obtained directly by using several results. Namely, the converse of Proposition 2.7, Connor–Khan–Orhan’s result and Proposition 2.8. Indeed, if \((x_{n})\) is f-statistically convergent, then \((x_{n})\) is statistically convergent. By Connor–Khan–Orhan’s result, since \((x_{n})\) is uniformly bounded, we find that \((x_{n})\) is strongly Cesàro convergent. And finally, since f is a compatible modulus, we find that \((x_{n})\) is f-strongly Cesàro convergent.

Concluding remarks and open questions

Given a modulus function f, if \(A\subset \mathbb{N}\), the f-density of A; \(d_{f}(A)\) is defined by

$$ d_{f}(A)=\lim_{n\to \infty } \frac{f (\#\{k\leq n: k\in A\} )}{f(n)} $$

whenever this limit exists. When \(f(x)=x\) then we have the usual density of natural numbers. It is well known that if \(d_{f}(A)=0\) then \(d(A)=0\); the converse in general is not true. Using Proposition 2.7 we can get the following result.

Corollary 4.1

Iffis an unbounded modulus, the following conditions are equivalent:

  1. (1)

    For every \((x_{n}) \subset X\)and \(x \in X\), if \((x_{n})\)is statistically convergent toxthen it is alsof-statistically convergent to the samex.

  2. (2)

    For every \(A \subset \mathbb{N}\), if \(d(A) = 0\)then \(d_{f}(A) = 0\).

  3. (3)

    fis compatible.

While the usual density works well with complements, that is, \(d(\mathbb{N}\setminus A)=1-d(A)\), however, this property fails for f-density. The importance of this property is that it allows us to define statistically convergence by looking at the complement. For this reason, it will be interesting to characterize the modulus function f for which the following property is satisfied: For any \(A\subset N\) if \(d_{f}(\mathbb{N}\setminus A)=1\) then \(d_{f}(A)=0\). As was pointed out in [1] if \(f(x)=\log (1+x)\) then the last property is not satisfied. Is it possible to find a counterexample for a compatible module function?

References

  1. 1.

    Aizpuru, A., Listán-García, M.C., Rambla-Barreno, F.: Density by moduli and statistical convergence. Quaest. Math. 37, 525–530 (2014)

  2. 2.

    Alotaibi, A., Mursaleen, M.: Korovkin type approximation theorems via lacunary equistatistical convergence. Filomat 13, 3641–3647 (2016)

  3. 3.

    Belen, C., Mohiuddine, S.A.: Generalized weighted statistical convergence and application. Appl. Math. Comput. 219(8), 9821–9826 (2013)

  4. 4.

    Bhardwaj, V.K., Dhawan, S.: Application of f-lacunary statistical convergence to approximation theorems. J. Inequal. Appl. 25, 281 (2018)

  5. 5.

    Boos, J.: Classical and Modern Methods in Summability. Oxford University Press, Oxford (2000)

  6. 6.

    Connor, J.: The statistical and strong p-Cesàro convergence of sequences. Analysis 8, 47–63 (1988)

  7. 7.

    Connor, J.: On strong matrix summability with respect to a modulus and statistical convergence. Can. Math. Bull. 32, 194–198 (1989)

  8. 8.

    Connor, J., Ganichev, M., Kadets, V.: A characterization of Banach spaces with separable duals via weak statistical convergence. J. Math. Anal. Appl. 244, 251–261 (2000)

  9. 9.

    Connor, J., Savaş, E.: Lacunary statistical and sliding window convergence for measurable functions. Acta Math. Hung. 145, 416–432 (2015)

  10. 10.

    Edely, O.H.H., Mohiuddine, S.A., Noman, A.K.: Korovkin type approximation theorems obtained through generalized statistical convergence. Appl. Math. Lett. 23, 1382–1387 (2010)

  11. 11.

    Fast, H.: Sur la convergence statistique. Colloq. Math. 2, 241–244 (1951)

  12. 12.

    Fekete, M.: Viszgálatok a Fourier–Sorokról (research on Fourier series). Math. és termész. 34, 759–786 (1916)

  13. 13.

    Fridy, J.A., Orhan, C.: Lacunary statistical convergence. Pac. J. Math. 1, 43–51 (1993)

  14. 14.

    Hardy, G.H., Littlewood, J.E.: Sur la série de Fourier d’une fonction á carré sommable. C. R. Acad. Sci. Paris 156, 1307–1309 (1913)

  15. 15.

    Khan, M.K., Orhan, C.: Characterizations of strong and statistical convergences. Publ. Math. (Debr.) 76, 77–88 (2010)

  16. 16.

    Kolk, E.: The statistical convergence in Banach spaces. Tartu Ül. Toimetised. 928, 41–52 (1991)

  17. 17.

    León-Saavedra, F., Moreno-Pulido, S., Sala, A.: Completeness of a normed space via strong p-Cesàro summability. Filomat 1, 1–10 (2019)

  18. 18.

    León-Saavedra, F., Moreno-Pulido, S., Sala, A.: Orlicz–Pettis type theorems via strong p-Cesàro convergence. Numer. Funct. Anal. Optim. 1, 1–5 (2019)

  19. 19.

    Maddox, I.J.: Sequence spaces defined by a modulus. Math. Proc. Camb. Philos. Soc. 100, 161–166 (1986)

  20. 20.

    Maddox, I.J.: Statistical convergence in a locally convex space. Math. Proc. Camb. Philos. Soc. 32, 194–198 (1989)

  21. 21.

    Miller, H.I.: A measure theoretical subsequence characterization of statistical convergence. Trans. Am. Math. Soc. 347, 1811–1819 (1995)

  22. 22.

    Mohiuddine, S.A., Alamri, B.A.S.: Generalization of equi-statistical convergence via weighted lacunary sequence with associated Korovkin and Voronovskaya type approximation theorems. Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat. 113, 1955–1973 (2019)

  23. 23.

    Mohiuddine, S.A., Asiri, A., Hazarika, B.: Weighted statistical convergence through difference operator of sequences of fuzzy numbers with application to fuzzy approximation theorems. Int. J. Gen. Syst. 48(5), 492–506 (2019)

  24. 24.

    Mursaleen, M.: Applied Summability Methods. Springer Briefs in Mathematics (2014)

  25. 25.

    Mursaleen, M., Alotaibi, A.: Statistical summability and approximation by de la Vallée–Poussin mean. Appl. Math. Lett. 24, 320–324 (2011)

  26. 26.

    Mursaleen, M., Belen, C.: On statistical lacunary summability of double sequences. Filomat 2, 231–239 (2014)

  27. 27.

    Mursaleen, M., Debnath, S., Rakshit, D.: I-statistical limit superior and I-statistical limit inferior. Filomat 7, 2103–2108 (2017)

  28. 28.

    Mursaleen, M., Karakaya, V., Ertürk, M., Gürsoy, F.: Weighted statistical convergence and its application to Korovkin type approximation theorem. Appl. Math. Comput. 218, 9132–9137 (2012)

  29. 29.

    Nakano, H.: Concave modulars. J. Math. Soc. Jpn. 5, 29–49 (1953)

  30. 30.

    Ruckle, W.H.: FK spaces in which the sequence of coordinate vectors is bounded. Can. J. Math. 25, 973–978 (1973)

  31. 31.

    Savaş, E.: On \(\mathcal{I}\)-lacunary statistical convergence of weight g of sequences of sets. Filomat 16, 5315–5322 (2017)

  32. 32.

    Savaş, E.: Generalized asymptotically I-lacunary statistical equivalent of order α for sequences of sets. Filomat 6, 1507–1514 (2017)

  33. 33.

    Savaş, E.: \(\mathcal{I}_{\lambda }\)-statistically convergent functions of order α. Filomat 2, 523–528 (2017)

  34. 34.

    Steinhaus, H.: Sur la convergence ordinaire et la convergence asymptotique. Colloq. Math. 2, 73–74 (1951)

  35. 35.

    Zeller, K., Beekmann, W.: Theorie der Limitierungsverfahren. Springer, Berlin-New York (1970)

  36. 36.

    Zygmund, A.: Trigonometrical Series. Monogr. Mat. 5, (1935)

Download references

Acknowledgements

The authors are supported by Ministerio de Ciencia, Innovación y Universidades under PGC2018-101514-B-100, by Junta de Andalucía FQM-257 and Plan Propio de la Universidad de Cádiz.

Funding

All authors are supported by Junta de Andalucía FQM-257 and Plan Propio de la Universidad de Cádiz. F. León-Saavedra, M.C. Listán-García and F.J. Pérez Fernández are supported by FEDER/Ministerio de Ciencia, Innovación y Universidades - Agencia Estatal de Investigación PGC2018-101514-B-100.

Author information

The authors contributed equally and significantly in writing this paper. All the authors read and approved the final manuscript.

Correspondence to M. del Carmen Listán-García.

Ethics declarations

Competing interests

The authors declare that they have no competing interests.

Additional information

Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

León-Saavedra, F., Listán-García, M.d.C., Pérez Fernández, F.J. et al. On statistical convergence and strong Cesàro convergence by moduli. J Inequal Appl 2019, 298 (2019) doi:10.1186/s13660-019-2252-y

Download citation

Keywords

  • Statistical convergence
  • Strong Cesàro convergence
  • Modulus function
  • Uniformly bounded sequence