Volume 2022, Issue 1 2779479
Research Article
Open Access

A Note on Lacunary Sequence Spaces of Fractional Difference Operator of Order (α, β)

Qing-Bo Cai

Qing-Bo Cai

Fujian Provincial Key Laboratory of Data-Intensive Computing, Key Laboratory of Intelligent Computing and Information Processing, School of Mathematics and Computer Science, Quanzhou Normal University, Quanzhou 362000, China qztc.edu.cn

Search for more papers by this author
Sunil K. Sharma

Sunil K. Sharma

Department of Mathematics, Central University of Jammu, Bagla Suchani, Samba 181143, Jammu & Kashmir, India cujammu.ac.in

Search for more papers by this author
Mohammad Ayman Mursaleen

Corresponding Author

Mohammad Ayman Mursaleen

School of Information and Physical Sciences, The University of Newcastle, Callaghan, New South Wales 2308, Australia newcastle.edu.au

Department of Mathematics and Statistics, Faculty of Science, Universiti Putra Malaysia, 43400 Serdang, Selangor, Malaysia upm.edu.my

Search for more papers by this author
First published: 15 March 2022
Citations: 2
Academic Editor: Mahmut isik

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 ([319]) and references therein.

The sequence ξ = (ξk) is statistically convergent of order α to (see Çolak) if there is a complex number such that
(1)
Let 0 < αβ ≤ 1. We define the (α, β)-density of the subset E of by
(2)
provided the limit exists, where |{kn : kE}|β denotes the βth power of number of elements of E not exceeding n ([2022]).
By a lacunary sequence θ = (θr), we mean a sequence of positive integers such that θ0 = 0, 0 < θr < θr+1, and ϕr = θrθr−1⟶∞ as r⟶∞. The intervals determined by θ will be denoted by Jr = (θr−1, θr] and tr = θr/θr−1. Freedman et al. [23] defined the space of lacunary strongly convergent sequences by
(3)

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

(4)
where Jr = (θr−1, θr] and denotes the αth power of ϕr, that is, . In this case, we write The set of all -statistically convergent sequences is denoted by . If α = β = 1 and θ = (2r), then, we will write S instead of .

A family of subsets of a nonempty set X is said to be an ideal in X if

  • (1)

  • (2)

    imply

  • (3)

    , BA imply

while an admissible ideal of X further satisfies for each ξX (see [24]).

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 ([2537]) 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:

Let ξ = (ξk) ∈ w and γ be a real number, then, the fractional difference operator Δ(γ) is defined by
(5)
where (−γ)i denotes the Pochhammer symbol defined as
(6)

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 [4150]) and references therein. For details about n-normed spaces, we refer to ([5155]), difference sequence spaces ([38, 39]), Orlicz function ([5658]). Ideal convergence and fractional difference operator Δα has been studied in [59, 60]. We continue in this connection and construct new sequence spaces as follows.

Let be a Musielak-Orlicz function, u = (uk) be a bounded sequence of positive real numbers, and 0 < αβ ≤ 1. We define the following sequence spaces in the present paper
(7)
(8)
(9)

If we take , the above spaces reduces to , , and .

If we take u = (uk) = 1, the above spaces reduces to , , and .

The following inequality will be used in the proceeding results. If 0 ≤ uk ≤ supuk = H, D = max(1, 2H−1), then
(10)
for all k and rk, sk. Also for all r.

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

(11)
(12)

Let ρ3 = max{2|μ|ρ1, 2|ν|ρ2} and by inequality (1), we have

(13)

Now by (11) and (12), we get

(14)

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

(15)

We put ρ = 2ρ1 and is a Musielak-Orlicz function, we have

(16)

Suppose that rB1. Hence by above inequality and (1), we have

(17)

By using , we have

(18)

Put It follows that

(19)
This shows that , which completes the proof.

Theorem 4. The space is a paranormed space with paranorm defined by

(20)

Proof. Since g(ξ) = g(−ξ) and , we have g(0) = 0. Let . Let

(21)
(22)

Let ρ1B(ξ1) and ρ2B(ξ2) and ρ = ρ1 + ρ2, we have

(23)

Thus, and

(24)

Let σsσ where σ, σs and let g(ξsξ)⟶0 as s⟶∞. We have to show that g(σsξsσξ)⟶0 as s⟶∞. Let

(25)
(26)

If ρsB(ξs) and ; then, we have

(27)

From the above inequality, it follows that

(28)
and consequently,
(29)
which completes the proof.

Theorem 5. Let and be Musielak-Orlicz functions that satisfy the Δ2-condition. Then

(30)
(31)
(32)

Proof. (i) Let . Then, there exists K1 > 0 such that

(33)
for ρ > 0. Since is a Musielak-Orlicz function which satisfies Δ2-condition, we have
(34)
for K ≥ 1. By continuity of , we have
(35)

Suppose rB1. Then, by using (34) and (35), we have

(36)
Hence, and so B2B1 which implies . This shows that . Hence, . Similarly, we can prove (ii) and (iii) part.

Corollary 6. Let satisfy Δ2-condition. Then,

(37)
(38)
(39)

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,

(40)
(41)
(42)

Proof. (i) Let . Then, there exists K1 > 0 and K2 > 0 such that

(43)
(44)
for some ρ > 0. Let rB1B2. Then, we have
(45)

. We have and so BB1B2 which implies . This shows that . Hence, . Similarly, we can prove (ii) and (iii) part of the theorem.

Theorem 8. Let 0 < ukvk and (vk/uk) be bounded. Then, the following inclusions hold

(46)
(47)

Proof. (i) Let . Write and λk = uk/vk, so that 0 < λ < λk ≤ 1. By using Hölder inequality, we have

(48)

Hence, for every ε > 0, we have

(49)

This implies that and so . Hence, . Similarly, we can prove .

Corollary 9. If 0 < infuk ≤ 1. Then, the following inclusions hold:

(50)
(51)

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.

    Data Availability

    No data were used to support this study.

      The full text of this article hosted at iucr.org is unavailable due to technical difficulties.