A Note on Lacunary Sequence Spaces of Fractional Difference Operator of Order (α, β)
Abstract
In the present paper, we defined lacunary sequence spaces of fractional difference operator of order (α, β) over n-normed spaces via Musielak-Orlicz function . Our aim in this paper is to study some topological properties and inclusion relation between the spaces , , and .
1. Introduction and Preliminaries
The concept of statistical convergence was introduced by Fast [1] and Schoenberg [2] independently. Many authors studied the concept of statistical convergence from the past few years we may refer to ([3–19]) and references therein.
Definition 1. Let θ = (θr) be a lacunary sequence. The sequence ξ = (ξk) is -statistically convergent (or lacunary statistically convergent of order (α, β)) (see [20]) if there is a real number L such that
A family of subsets of a nonempty set X is said to be an ideal in X if
- (1)
- (2)
imply
- (3)
, B ⊂ A imply
A sequence in X is said to be -convergent to ξ ∈ X (see [24]), if for each ε > 0.
A sequence in X is said to be -bounded to ξ ∈ X if there exists an K > 0 such that . Many authors studied the topological properties and applications of ideal, we refer to ([25–37]) and references therein.
The concept of difference sequence spaces was introduced in [38] and further generalized in [39].
In [40], Baliarsingh defined the fractional difference operator as follows:
The concept of difference sequences, Orlicz function, Musielak-Orlicz function, and n-normed spaces was used by many authors and proves some topological properties (see [41–50]) and references therein. For details about n-normed spaces, we refer to ([51–55]), difference sequence spaces ([38, 39]), Orlicz function ([56–58]). Ideal convergence and fractional difference operator Δα has been studied in [59, 60]. We continue in this connection and construct new sequence spaces as follows.
If we take , the above spaces reduces to , , and .
If we take u = (uk) = 1, the above spaces reduces to , , and .
2. Main Results
In this section, we study topological properties and prove some inclusion relations. In what follows, we will take a Musielak-Orlicz function and u = (uk) a bounded sequence of positive real numbers.
Theorem 2. The spaces , , and are linear spaces.
Proof. Let and let μ, ν be scalars. Then, there exist two positive numbers ρ1 and ρ2 for ε > 0
Let ρ3 = max{2|μ|ρ1, 2|ν|ρ2} and by inequality (1), we have
Therefore, . Hence, is a linear space. On a similar way, we can prove that and are linear spaces.
Theorem 3. The inclusions hold.
Proof. The inclusion is obvious. We prove . For this, let . Then, there exists ρ1 > 0 such that for every ε > 0
We put ρ = 2ρ1 and is a Musielak-Orlicz function, we have
Suppose that r ∉ B1. Hence by above inequality and (1), we have
By using , we have
Put It follows that
Theorem 4. The space is a paranormed space with paranorm defined by
Proof. Since g(ξ) = g(−ξ) and , we have g(0) = 0. Let . Let
Let ρ1 ∈ B(ξ1) and ρ2 ∈ B(ξ2) and ρ = ρ1 + ρ2, we have
Thus, and
Let σs⟶σ where σ, σs ∈ ℂ and let g(ξs − ξ)⟶0 as s⟶∞. We have to show that g(σsξs − σξ)⟶0 as s⟶∞. Let
If ρs ∈ B(ξs) and ; then, we have
From the above inequality, it follows that
Theorem 5. Let and be Musielak-Orlicz functions that satisfy the Δ2-condition. Then
Proof. (i) Let . Then, there exists K1 > 0 such that
Suppose r ∉ B1. Then, by using (34) and (35), we have
Corollary 6. Let satisfy Δ2-condition. Then,
Proof. If we put and in Theorem 5, the result follows.
Theorem 7. Let and be Musielak-Orlicz functions that satisfy the Δ2-condition. Then,
Proof. (i) Let . Then, there exists K1 > 0 and K2 > 0 such that
. We have and so B ⊂ B1 ∪ B2 which implies . This shows that . Hence, . Similarly, we can prove (ii) and (iii) part of the theorem.
Theorem 8. Let 0 < uk ≤ vk and (vk/uk) be bounded. Then, the following inclusions hold
Proof. (i) Let . Write and λk = uk/vk, so that 0 < λ < λk ≤ 1. By using Hölder inequality, we have
Hence, for every ε > 0, we have
This implies that and so . Hence, . Similarly, we can prove .
Corollary 9. If 0 < infuk ≤ 1. Then, the following inclusions hold:
Proof. The proof follows from Theorem 8.
Conflicts of Interest
The authors declare that they have no conflicts of interest.
Authors’ Contributions
All authors contributed equally to writing this paper. All authors read and approved the manuscript.
Acknowledgments
Corresponding author is supported by JADD program (by UPM-UoN) while the first author is supported by the Natural Science Foundation of Fujian Province of China (Grant no. 2020J01783), the Project for High-level Talent Innovation and Entrepreneurship of Quanzhou (Grant no. 2018C087R), and the Program for New Century Excellent Talents in Fujian Province University.
Open Research
Data Availability
No data were used to support this study.