1. Introduction
The first examples of convergence methods come from the study of divergent series and go back to Euler, Abel and Poisson. Convergence methods continued to be developed in the nineteenth century, and a remarkable contribution was made by Cesàro and some of his contemporaries, such as Frobenius, Hölder and Borel (see [
1] for historical background). The term statistical convergence was first presented by Fast [
2] and Steinhaus [
3] independently in the same year, 1951. A root of the notion of statistical convergence can be detected in the book by Zygmund [
4], where he used the term “almost convergence”, which turned out to be equivalent to the concept of statistical convergence. These works laid the foundation for summability theory, which is currently a very active field of research involving many researchers (see [
5]) and which shows no signs of abatement.
We say that a sequence
in a normed space
X is said to be statistically convergent to
L if, for any
subset,
has zero density on
. On the other hand, a sequence
on a normed space
is said to be strongly Cesàro convergent to
L if
Both convergence methods were introduced by different authors and at different times. Although these convergence methods are different, they are intimately related (for instance, for bounded sequences, they are equivalent) thanks to a result discovered by Jeff Connor [
6].
A function is said to be a modulus function if it satisfies the following:
- (a)
if and only if .
- (b)
for every .
- (c)
f is increasing.
- (d)
f is continuous from the right at 0.
From Nakano’s work [
7], it is known that using modulus functions, it is possible to modulate, in a certain sense, statistical convergence and strong Cesàro convergence in such a way that such convergence methods are more precise. Specifically, fewer elements of the sequence are neglected. The results obtained by F. León et al. [
8,
9] suggest that only a class of modulus functions, namely, the non-compatible modulus functions, are worthy of study, since with convergence methods, compatible modulus functions are basically the classical ones.
Natural extensions of the classical summability methods have been developed by means of lacunary sequences and for double sequences. Interest in summability methods using lacunary sequences first arose with the work of Freeman and Sember [
10] and that of Fridy and Orhan [
11]. These works were later continued by [
12,
13,
14]. One of the pioneering results on double sequences is due to Mursaleen ([
15]), and his work was later continued by many others ([
16,
17,
18]).
In [
19], Hacer Şenül, Mikail Et and Yavuz Altin made a great effort to understand the relationship between lacunary
f-statistical convergence and
f-strong Cesàro convergence for double sequences. In this note, we continue the work started in [
19] by exploring the role of compatibility in modulus functions, and we fully characterize such connections in terms of the so-called
-compatible modulus functions (where
denotes a double lacunary sequence).
This paper is structured as follows: In
Section 2, we introduce the notation and some basic notions that will be central to the discussion. For instance, we define the concepts of compatible and
-compatible modulus functions and their connections. Two other elements crucial to the discussion are also analyzed: lacunary
f-statistical convergence and lacunary
f-strong Cesàro convergence for double sequences (introduced in [
19]). In
Section 3, we explore the connections among several convergence methods for double sequences.
2. Basic Definitions and Preliminary Results
To avoid trivialities, throughout the paper, we assume that
f is an unbounded modulus function. Following Patterson and Savaş [
20], double sequence
is called double lacunary if there exist two increasing sequences of integers
and
such that
- (a)
.
- (b)
as .
- (c)
as .
We denote and . Moreover, the following intervals are determined by : , and . Ratios , and .
Let us set
, a double lacunary sequence, and let
X be a normed space. We denote with
the cardinality of a finite subset
A. A double sequence
in
X is said to be
-lacunary convergent to
if, for any
,
The above limit is defined in the Pringsheim sense. Let us recall that a double sequence is convergent to M in the Pringsheim sense if, for any , there exists such that for all . Let us denote with the set of all -lacunary convergent double sequences.
Moreover, sequence
is said to be
-strongly Cesàro convergent to
L if
Let us denote with the set of all -strongly Cesàro convergent double sequences.
For any unbounded modulus function, following [
19], let us define subsets
and
.
Definition 1. A double sequence in X is said to be -lacunary convergent to if, for any , Let us denote with the set of all -lacunary convergent sequences.
Following [
8,
9,
21], to obtain a nice structure between
f-statistical convergence and
f-strong Cesàro convergence, a slight modification of the
f-strong Cesàro convergence introduced by Nakano [
7] is needed. For double sequences, such slight modification gives the following definition.
Definition 2. A double sequence in X is said to be -strongly Cesàro convergent to if, for any , Let us denote with the set of all -strongly Cesàro convergent sequences.
In [
8], we introduced the notion of compatible modulus function, which plays a central role in this discussion. The compatible modulus function notion has helped to understand different existing mathematical structures and has been used in different research programs (see [
9,
21,
22,
23,
24,
25,
26,
27]).
Definition 3. Let us denote . A modulus function f is said to be compatible if .
Remark 1. Functions , , and are modulus functions that are compatible. Moreover, and (where W is the W-Lambert function restricted to , that is, the inverse of ) are modulus functions that are not compatible. By taking inverses, there are plenty of non-compatible modulus functions. For instance, we consider the inverse of functions , which are generalized W-Lambert functions.
Indeed, let us show that is compatible. On the other hand, if , sincewe obtain that is not compatible. Let us assume that
is a double lacunary sequence. Let us denote
Definition 4. We say that f is -compatible if .
Clearly, when f is compatible, f is -compatible.
3. -Statistical Convergence and -Strong Cesàro Convergence for Double Sequences
Let us see the connections between the and spaces.
Theorem 1. Let us assume that is a double lacunary sequence:
- (a)
For any modulus function f, .
- (b)
If f is -compatible, then
Proof. To prove
, let us assume that
is a sequence that is
-statistically convergent to
L. Then, for any
and for any
, there exists
such that if
, then
but since
f is increasing, we obtain
Since p is arbitrary, we obtain that is -statistically convergent to L, as we desired to prove.
To show , let us assume that f is compatible and is -statistically convergent to L. Given , since f is -compatible, there exists such that if , then .
Then, for any
, there exists a natural number, which we abusively denote with
, such that if
, then
By using the fact that
f is increasing and dividing by
, we obtain
which yields the desired result. □
A similar result is true for the and spaces.
Theorem 2. Let us assume that is a double lacunary sequence.
- (a)
For any modulus function f, .
- (b)
If f is -compatible, then
Proof. To show
, let us assume that
is
-strongly Cesàro convergent to
L. Then, for any
, there exists
such that if
, then
Again, since
f is increasing,
which yields the desired result.
To show
, let us assume that
f is
-compatible. Thus, for any
, there exists
such that if
, then
On the other hand, if
is
-strongly Cesàro convergent to
L, there exists a natural number, which we abusively denote with
, such that if
, then
By using the fact that
f is increasing and dividing by
, we obtain
that is,
is
-strongly Cesàro convergent to
L, as we desired to prove. □
Next, we will see that the hypothesis on -compatibility is necessary to obtain such structure.
Theorem 3. Let f be a modulus function and a lacunary sequence.
- (a)
If , then f must be -compatible.
- (b)
If , then f must be -compatible.
Proof. Let us assume that f is not a -compatible modulus function. Let us construct, on normed space , a sequence . An easy modification provides a counterexample on any normed space.
Since is an increasing function, if f is not -compatible, then there exists such that, for any , .
Let us fix
. Thus, for each
k, there exist
and
large enough such that
. Moreover, since
and
are increasing, we can suppose that
and
Let us denote with
the integer part of
x. We set
and
. According to Equations (
1) and (
2), we obtain that
and
. Let us define subset
, with
. If we denote with
the characteristic function of
A, we claim that sequence
is
-statistically convergent to 0 but not
-statistically convergent, which is a contradiction.
Indeed, if
for any
k, then
Moreover, for
,
as
.
On the other hand,
which proves part (a). To show part (b), let us see that if
f is not
-compatible, the previously constructed sequence
satisfies that
, but
is a contradiction. □
Next, we will obtain Connor–Khan–Orhan-type results by relating -lacunary strong Cesàro convergence () with -lacunary statistical convergence ().
Theorem 4. Let us assume that is a double lacunary sequence and f is a modulus function. Then, .
Proof. First of all, in order to prove that
is
-lacunary
f-statistically convergent to
L, it is sufficient to show that for all
,
Indeed, let us fix
and let us consider
m such that
. Then, we obtain
therefore, since
f is increasing
thus by taking the limits as
, we obtain what we desired.
Therefore, let
, and let us show Equation (
3).
Since
is
-lacunary
f-strongly Cesàro convergent to
L, we have that
therefore, by dividing by
Equation (
4) and taking the limits as
, we obtain that for each
,
which implies that
is
-lacunary
f-statistically convergent to
L, as we desired. □
For classical convergences, it is known that statistical convergence implies strong Cesàro convergence in the realm of all bounded sequences. This is the 1988 result obtained by Connor [
6]. This result was improved by Khan and Orhan [
28] by proving that a sequence is statistically convergent if and only if it is strongly Cesàro convergent and uniformly integrable.
The reader should take into account that a sequence that is convergent to L in the Pringsheim sense is not necessarily bounded. Therefore, a weakening of the boundedness notion is needed for double sequences.
Next, we can obtain a result analogous to that of Khan and Orhan, which is new for -lacunary statistical convergence. Here, it is crucial to optimally measure the integrability (in a -lacunary form) of a sequence.
Definition 5. Let be a double lacunary sequence. A sequence is said to be -lacunary uniformly integrable if Let us denote with the space of all lacunary uniformly integrable sequences. Let us observe that if a sequence is bounded, then is -lacunary uniformly integrable, that is, . On the other hand, if a sequence is uniformly integrable, then any translation is also uniformly integrable for every .
Theorem 5. Let us assume that is a double lacunary sequence and f is a -compatible modulus function. Then, . Moreover, if for some modulus function f we have , then modulus f must be -compatible.
Proof. Let us assume that
is a sequence such that
is
-lacunary
f-statistically convergent to
L and
-lacunary uniformly integrable. Let us consider
. Since
f is
-compatible, there exists
such that
for all
.
Now, since
is
-lacunary uniformly integrable, there exists a natural number
large enough satisfying
, and for all
,
Moreover, since
is
-lacunary
f-statistically convergent to
L, there exists a natural number, which we abusively denote with
, such that for all
,
Since
f is increasing, according to (
9), we obtain that for all
, the first term of (
10) is
On the other hand, let us estimate the second summand of inequality (
10). By using the fact that
f is increasing and applying inequality (
8) first and inequality (
7) afterwards, we have that for
,
Finally, for the third summand in (
10), by applying inequality (
7), we obtain that if
,
Thus, by using inequalities (
11), (
12) and (
13) in inequality (
10), we obtain that if
,
that is,
is
-lacunary
f-strongly Cesàro convergent to
L, as we desired.
For the converse, let us assume that f is not -compatible. We can construct, without loss, a counterexample normed space . Since f is not -compatible, given , a decreasing sequence converging to zero, there exist subsequences and such that for some . We consider .
Sequence
. Sequence
is clearly bounded, and since
is decreasing, an easy check shows that
is
-lacunary
f-statistically convergent to 0. On the other hand,
which proves that
is not
-lacunary
f-strongly Cesàro convergent, as we desired to prove. □
4. Concluding Remarks and Open Questions
The novelty of this paper lies in discovering new compatible modulus functions, namely, lacunary compatible modulus functions, which allows us to understand the existing structure between two convergence methods: lacunary f-statistical convergence and f-strong Cesàro convergence for double sequences.
Paraphrasing Theorems 4 and 5, one of the main result of this paper is the following: Given each double lacunary sequence and any modulus function f, if a sequence is -lacunary f-strongly Cesàro convergent, then is -lacunary f-strongly statistically convergent. However, the converse is not true, even for bounded sequences.
Efforts were then directed to determine when -lacunary f-strongly statistically convergent functions are -lacunary f-strongly Cesàro convergent. Moreover, this is true when sequence is bounded and f is -compatible. Additionally, we can relax the hypothesis on boundedness on using the weaker condition of -lacunary uniformly integrable.
Finally, surprisingly enough, the above result is quite appropriate, in the sense that the condition on -compatibility is necessary.
Although compatible modulus functions do not allow us to establish or clarify the relationship between f-strong Cesàro convergence and f-statistical convergence for double sequences, we would like to clarify the relationship between compatible modulus functions and -lacunary compatible modulus functions.