Abstract

In this study, we introduce new -spaces and derived by the domain of -analogue of the binomial matrix in the spaces and respectively. We study certain topological properties and inclusion relations of these spaces. We obtain a basis for the space and obtain Köthe-Toeplitz duals of the spaces and We characterize certain classes of matrix mappings from the spaces and to space Finally, we investigate certain geometric properties of the space

1. Introduction and Preliminaries

The -calculus has been a wide and interesting area of research in recent times. Several researchers have worked in the field of -calculus due to its vast applications in mathematics, physics, and engineering sciences. In the field of mathematics, it is widely used by researchers in operator theory, approximation theory, hypergeometric functions, special functions, quantum algebras, combinatorics, etc. By -analogue of a known mathematical expression, we mean the generalization of that expression using two independent variables and rather than a single variable as in -calculus. If we put in the -analogue of a known mathematical expression, we get -analogue of that expression. Furthermore, when we receive the original expression. Chakrabarti and Jagannathan [1] introduced -number to generalize several forms of -oscillator algebras. Since then, several researchers used -theory in different fields of mathematics to extend the theory of single parameter -calculus. We strictly refer to [18] for studies in -calculus and [9] in -calculus.

1.1. Notations and Definitions on -Calculus

Definition 1 (see [5]). Let Then, twin basic number or -number is defined by Clearly, when reduces to its version .

Definition 2 (see [4]). The -analogue of binomial coefficient or -binomial coefficient is defined by where -factorial of is given by

Lemma 3. The -binomial formula is defined by

1.2. Sequence Spaces

Let denote the set of all real-valued sequences. Any linear subspace of is called sequence space. The following are some sequence spaces which we shall be frequently used throughout this paper: and denotes the space of all bounded series.

Here, denotes the set of all natural numbers including zero. The sequence spaces and are Banach spaces equipped with the norms respectively.

Let and be two sequence spaces and be an infinite matrix of real entries. By we denote the row of the matrix We say that defines a matrix mapping from to if for every where is -transform of the sequence The notation will denote the family of all matrices that map from to

The matrix domain of the matrix in the space is defined by which itself is a sequence space. Using this notation, several authors in the past have constructed sequence spaces using some special matrices. For relevant literature, we refer to the papers [1015] and textbooks [1618]. For some recent publications dealing with the domain of triangles in classical spaces, we refer [1928].

1.3. Literature Review

We give a short survey of literature concerning Euler sequence spaces. Altay and Başar [10] introduced Euler sequence space and obtained their -, -, -, and continuous duals, and characterized certain class of matrix mappings on the space where denotes the Euler matrix of order and is defined by for all and The Euler matrix is regular for and is invertible with

Altay et al. [11] introduced the Euler space and obtained certain inclusion relations, Schauder basis and Köthe-Toeplitz duals of the space As a natural continuation of [11], Mursaleen et al. [14] characterized various classes of matrix mappings from the space to other spaces and examined certain geometric properties of the space Further, Altay and Polat [29] introduced Euler difference spaces and where is backward difference operator defined by for all Extending these spaces, Polat and Başar [30] studied Euler difference spaces , and of order defined as the set of all sequences whose order backward differences are in the spaces , and respectively. Kadak and Baliarsingh [31] further generalized these spaces by introducing Euler difference spaces , and of fractional order where is the backward fractional difference operator defined by Kara et al. [32] introduced paranormed Euler space and studied its topological and geometric properties. Aftermore, Karakaya and Polat [33] studied paranormed Euler difference sequence spaces , and Extending these spaces, Karakaya et al. [34] studied paranormed Euler backward difference spaces , and of order. Besides, Demiriz and Çakan [35] introduced paranormed Euler difference spaces and Furthermore, Kirisci [36] introduced Euler almost null and Euler almost convergent sequence spaces. Later on, Kara and Başar [37] introduced generalized difference Euler spaces and where is a generalized difference matrix defined by and characterized certain classes of compact operators on the spaces and Meng and Mei [38] gave a further generalization of [37] by introducing Euler difference spaces and where the difference operator is defined by where is a fixed sequence of nonzero real numbers. Recently, Bisgin [39, 40] introduced more generalized Euler space by defining binomial spaces , and and is the binomial matrix defined by

Meng and Song [41] further generalized these spaces by introducing binomial -difference sequence spaces , and Meng and Mei [42] studied binomial backward difference sequence spaces , and of fractional order . Besides, Yaying and Hazarika [27] also studied binomial backward difference spaces of fractional order

For the -Cesàro matrix [43, 44] is defined by

Demiriz and Sahin [45] studied the domain of -Cesàro mean in the spaces and . Very recently, Yaying et al. [28] studied Banach sequence spaces and defined as the domain of -Cesàro mean in the spaces and respectively, and studied associated operator ideals.

Motivated by the above studies, we generalize Euler mean and Binomial mean in the sense of -theory to and study its domain and in the spaces and respectively. We investigate some topological properties and inclusion relations of the spaces and and obtain a basis for the space In Section 3, we obtain the Köthe-Toeplitz duals (-, -, and -duals) of the spaces and . In Section 4, we characterize some matrix mappings from and spaces to space Section 5 is devoted to investigation of certain geometric properties like Banach-Saks of type and modulus of convexity of the space

In the rest of the paper, unless stated otherwise.

2. Generalized Euler Sequence Spaces and

In this section, we introduce sequence spaces and study their topological properties and some inclusion relations, and obtain a basis for the space

Let be nonnegative real numbers and holds, then the generalized -Euler matrix of order is defined by

One can clearly observe that the matrix reduces to the binomial matrix when Thus, generalizes binomial matrix We may call the matrix as the -analogue of the binomial matrix We also realise that when the matrix reduces to its -version with entries if and otherwise. We call as the -analogue of the binomial matrix Moreover, when then the matrix reduces to with entries if and otherwise. The generalized -Euler sequence spaces and are defined by

The above sequence spaces can be redefined in the notation of (7) by

The spaces and reduce to the following classes of spaces in the special cases of and : (1)When the spaces and reduce to -binomial sequence spaces and respectively, which further reduce to binomial sequence spaces and respectively, when as studied by Bigin [40](2)When and the spaces and reduce to -Euler space and respectively, which further reduce to well known Euler sequence spaces and respectively, when as studied by Altay et al. [11](3)When the spaces and reduce to -Euler sequence spaces and

Let us define a sequence in terms of sequence by for each The sequence is called -transform of the sequence . Further, on using (16), we write for each

It is known that if is a -space and is a triangle then the domain of the matrix in the space is also a -space equipped with the norm In the light of this, we have the following result.

Theorem 4. The sequence spaces and are -spaces equipped with the norms defined by respectively.

Proof. The proof is a routine exercise and hence omitted.☐

Theorem 5. The sequence spaces and are linearly isomorphic to and respectively.

Proof. We provide the proof for the space Define the mapping by for all It is easy to observe that is linear and one to one. Let and is as defined in (17). Then, we have Thus, and the mapping is onto and norm preserving. Hence, the space is linearly isomorphic to This completes the proof.☐

Theorem 6. The space is not a Hilbert space, except for the case

Proof. Define the sequences and by We realise that and Then Thus, norm violates the parallelogram identity. Hence, is not a Hilbert space, except for the case

Now we give certain inclusion relations related to the spaces and

Theorem 7. The inclusion strictly holds.

Proof. We provide proof of the inclusion Let for Applying Hölder’s inequality, we have Thus, where provided exists. This yields the fact that Thus, Similarly, we can show that
Now consider the sequence then it is easy to see that Hence, the inclusion is strict. This completes the proof.☐

Theorem 8. The inclusion strictly holds.

Proof. It is known that inclusion holds for and the mapping is isomorphic, therefore, the inclusion holds. To prove the strictness part, we recall that the inclusion strictly holds for We choose and as defined in (17). Then, This implies that Hence, the inclusion is strict.☐

Theorem 9. The inclusion strictly holds.

Proof. The proof is similar to the proof of Theorem 8. To show the strictness part, we consider the sequence Then, it is clear that Hence, the inclusion strictly holds.☐

We recall that domain of a triangle in space has a basis if and only if has a basis. This statement together with Theorem 5 gives us the following result.

Theorem 10. Let for each Define the sequence of elements of the space for every fixed byThen, the sequence forms a basis for the space and every can be uniquely expressed in the form for each

3. Köthe-Toeplitz Duals

In this section, we obtain Köthe-Toeplitz duals (-, -, and -duals) of the spaces and We omit the proofs for cases and as these can be obtained by analogy and provide proofs for only the case in the current section. First, we recall the definitions of Köthe-Toeplitz duals.

Definition 11. The Köthe-Toeplitz duals or , and -duals of subset are defined by respectively.

Quite recently, Talebi [25] obtained Köthe-Toeplitz duals of the domain of an arbitrary invertible summability matrix in space. We follow his approach to find the Köthe-Toeplitz duals of the spaces and In the rest of the paper, will denote the family of all finite subsets of and is the complement of

Theorem 12. Define the sets and by Then, and

Proof. Let Let and be the -transform of sequence Then, from the equality (17), we have for all where the matrix is defined by Applying Theorem 2.1 of [25], we immediately obtained that This completes the proof.☐

Theorem 13. Define the sets , and by Then, and

Proof. Let and be the -transform of sequence Then, from the equality (17), we get for each where the matrix is defined by for all
Thus, by applying Theorem 2.2 of [25], we straightly get This completes the proof.☐

Theorem 14. Define the set by Then, and

Proof. The proof is similar to the previous theorem except that Theorem 2.3 of [25] is employed instead of Theorem 2.2 of [25].☐

4. Matrix Mappings

In this section, we characterize a certain class of matrix mappings from the spaces and to space . The following theorem is fundamental in our investigation.

Theorem 15. Let and be an arbitrary subset of Then, if and only if for each and where for all

Proof. The proof is similar to the proof of Theorem 4.1 of [13]. Hence, we omit details.☐

Now, using the results presented in Stielglitz and Tietz [46] together with Theorem 15, we obtain the following results:

Corollary 16. The following statements hold: (1) if and only if (2) if and only if (35) and (36) hold, and (37) and also hold(3) if and only if (35) and (36) hold, and (37) and also hold(4) if and only if (35) and (36) hold, and also holds(5) if and only if (35) and (36) hold, and (37) also holds with instead of where (6) if and only if (35) and (36) hold, and (37) and (38) also hold with instead of where (7) if and only if (35) and (36) hold, and (37) and (39) also hold with instead of where

Corollary 17. The following statements hold: (1) if and only if (35) holds, andalso hold (2) if and only if (35) and (41) hold, and (38) and (42) also hold(3) if and only if (35) and (41) hold, (39) and (42) also hold(4) if and only if (35) and (41) hold, andalso holds (5) if and only if (35) and (41) hold, and (42) also holds with instead of where (6) if and only if (35) and (41) hold, and (38) and (42) also hold(7) if and only if (35) and (41) hold, and (39) and (42) also hold with instead of where

Corollary 18. The following statements hold: (1) if and only if (35) and hold, and (42) also holds with (2) if and only if (35) and (44) hold, and (38) and also hold(3) if and only if (35) and (44) hold, and also holds(4) if and only if (35) and (44) hold, and (43) also holds with (5) if and only if (35) and (44) hold, and (42) also hold with and instead of where (6) if and only if (35) and (44) hold, and (45) also holds with instead of where (7) if and only if (35) and (44) hold, and (46) also holds with instead of where We recall a basic lemma due to Baar and Altay [47] that will help in characterizing certain classes of matrix mappings from the spaces and to any arbitrary space

Lemma 19 (see [47]). Let and be any two sequence spaces, be an infinite matrix and be a triangular matrix. Then, if and only if

Now, by combining Lemma 19 with Corollaries 16, 17, and 18, we derive the following classes of matrix mappings:

Corollary 20. Let be an infinite matrix and define the matrix by for all Then, the necessary and sufficient conditions that belongs to any one of the classes , and can be obtained from the respective ones in Corollaries 16, 17, and 18, by replacing the entries of the matrix by those of matrix where and are generalized Cesàro sequence spaces of order defined by Roopaei et al. [48].

Corollary 21. Let be an infinite matrix and define the matrix bywhere is the sequence of Catalan numbers. Then, the necessary and sufficient conditions that belongs to any one of the classes , and can be obtained from the respective ones in Corollaries 16, 17, and 18, by replacing the entries of the matrix by those of matrix where and are Catalan sequence spaces defined by lkhan [49].

Corollary 22. Let be an infinite matrix and define the matrix by where is the -analogue of Then, the necessary and sufficient conditions that belongs to any one of the classes and can be obtained from the respective ones in Corollaries 16, 17, and 18, by replacing the entries of the matrix by those of matrix where and are -Cesàro sequence spaces defined by Yaying et al. [28].

5. Geometric Properties

In this section, we examine some geometric properties of the space Before proceeding, we recall some notions in Banach spaces which are necessary for this investigation. We use the notation for unit ball in

Definition 23 (see [50]). A Banach space has the weak Banach-Saks property if every weakly null sequence in has a subsequence whose Cesàro means sequence is norm convergent to zero, that is, Further, has the Banach-Saks property if every bounded sequence in has a subsequence whose Cesàro means sequence is norm convergent.

Definition 24 (see [51]). A Banach space has the Banach-Saks type if every weakly null sequence has a subsequence such that, for some for all

Theorem 25. The sequence space is of Banach-Saks type

Proof. Let be a sequence of positive numbers satisfying Let be a weakly null sequence in We set and Then, there exists such that Since is a weakly null sequence, we realise that coordinatewise. Thus, there exists an such that when We again set Then, there exists such that We again use the fact that coordinatewise, which implies that there exists such that when
Continuing this process will lead us to two increasing sequences and such that for all and where Thus Now, since and we realise that Therefore, we have Now using the fact that for all and we obtain Thus, we conclude that is of the Banach-Saks type

Definition 26. The Gurarii’s modulus of convexity of a normed linear space is defined by

Theorem 27. The Gurarii’s modulus of convexity of the normed space is

Proof. Let Then Let and consider the following two sequences: where the matrix is the inverse of the matrix Then, we observe that Finally, for we have Consequently, This completes the proof.☐

Corollary 28. The following results hold: (1)If then Hence, is strictly convex(2)If then Hence, is uniformly convex

6. Conclusion

The -Euler matrix of order generalizes some of the well-known matrices presented in the literature, for instance, Binomial matrix of order [39, 40], Euler matrix of order [10, 11], etc. Thus, the results presented in this paper strengthen the results of [11, 14, 40, 5255]. As for future scope, we shall study the domain of the matrix in the spaces and of convergent and null sequences, respectively.

Data Availability

All the data are included within the article.

Conflicts of Interest

The authors declare that they have no competing interests.

Authors’ Contributions

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

Acknowledgments

The authors are grateful to the anonymous reviewers for careful reading and making necessary corrections which have improved the readability of the paper. The first author (T. Yaying) is thankful to Dr. M.Q. Khan, Principal, Dera Natung Government College, Itanagar, for constant encouragement and administrative supports. The research of the first author (T. Yaying) is supported by SERB, DST (Department of Science and Technology), New Delhi, India, under the grant number EEQ/2019/000082.