About this Journal Submit a Manuscript Table of Contents 
Abstract and Applied Analysis
Volume 2014 (2014), Article ID 419064, 10 pages
http://dx.doi.org/10.1155/2014/419064
Research Article

Some Paranormed Double Difference Sequence Spaces for Orlicz Functions and Bounded-Regular Matrices

S. A. Mohiuddine,1 Kuldip Raj,2 and Abdullah Alotaibi1

1Department of Mathematics, Faculty of Science, King Abdulaziz University, P.O. Box 80203, Jeddah 21589, Saudi Arabia
2School of Mathematics, Shri Mata Vaishno Devi University, Katra, Jammu and Kashmir 182320, India

Received 23 November 2013; Accepted 14 January 2014; Published 10 March 2014

Academic Editor: M. Mursaleen

Copyright © 2014 S. A. Mohiuddine et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract

The aim of this paper is to introduce some new double difference sequence spaces with the help of the Musielak-Orlicz function and four-dimensional bounded-regular (shortly, RH-regular) matrices . We also make an effort to study some topological properties and inclusion relations between these double difference sequence spaces.

1. Introduction, Notations, and Preliminaries

In [1], Hardy introduced the concept of regular convergence for double sequences. Some important work on double sequences is also found by Bromwich [2]. Later on, it was studied by various authors, for example, Móricz [3], Móricz and Rhoades [4], Başarır and Sonalcan [5], Mursaleen and Mohiuddine [6–8], and many others. Mursaleen [9] has defined and characterized the notion of almost strong regularity of four-dimensional matrices and applied these matrices to establish a core theorem (also see [10, 11]). Altay and Başar [12] have recently introduced the double sequence spaces , , , , , and consisting of all double series whose sequence of partial sums are in the spaces , , , , , and , respectively. Başar and Sever [13] extended the well-known space from single sequence to double sequences, denoted by , and established its interesting properties. The authors of [14] defined some convex and paranormed sequences spaces and presented some interesting characterization. Most recently, Mohiuddine and Alotaibi [15] introduced some new double sequences spaces for -convergence of double sequences and invariant mean and also determined some inclusion results for these spaces. For more details on these concepts, one can be referred to [16–18].

The notion of difference sequence spaces was introduced by Kızmaz [19], who studied the difference sequence spaces , , and . The notion was further generalized by Et and Çolak [20] by introducing the spaces , , and .

Let be the space of all complex or real sequences and let and be two nonnegative integers. Then for , we have the following sequence spaces: where and for all , which is equivalent to the following binomial representation:

We remark that for and , we obtain the sequence spaces which were introduced and studied by Et and Çolak [20] and Kızmaz [19], respectively. For more details about sequence spaces see [21–27] and references therein.

An Orlicz function is continuous, nondecreasing, and convex such that , for and as . If convexity of Orlicz function is replaced by , then this function is called modulus function. Lindenstrauss and Tzafriri [28] used the idea of Orlicz function to define the following sequence space: which is known as an Orlicz sequence space. The space is a Banach space with the norm

Also it was shown in [28] that every Orlicz sequence space contains a subspace isomorphic to . An Orlicz function can always be represented in the following integral form: where is known as the kernel of , is a right differentiable for is nondecreasing, and as .

A sequence of Orlicz functions is said to be a Musielak-Orlicz function (see [29, 30]). A sequence is defined by which is called the complementary function of a Musielak-Orlicz function . For a given Musielak-Orlicz function , the Musielak-Orlicz sequence space and its subspace are defined as follows: where is a convex modular defined by

We consider equipped with the Luxemburg norm or equipped with the Orlicz norm

A Musielak-Orlicz function is said to satisfy if there exist constants and a sequence (the positive cone of ) such that the inequality holds for all and , whenever .

A double sequence is said to be bounded if . We denote by the space of all bounded double sequences.

By the convergence of double sequence we mean the convergence in the Pringsheim sense; that is, a double sequence is said to converge to the limit in Pringsheim sense (denoted by, ) provided that given there exists such that whenever (see [31]). We will write more briefly as -convergent. If, in addition, , then is said to be boundedly P-convergent to . We will denote the space of all bounded convergent double sequences (or boundedly -convergent) by .

Let and let be given. By , we denote the characteristic function of the set .

Let be a four-dimensional infinite matrix of scalers. For all , where , the sum is called the - of the double sequence . A double sequence is said to be - to the limit if the -means exist for all in the sense of Pringsheim’s convergence:

A four-dimensional matrix is said to be bounded-regular (or RH-regular) if every bounded -convergent sequence is -summable to the same limit and the -means are also bounded.

The following is a four-dimensional analogue of the well-known Silverman-Toeplitz theorem [32].

Theorem 1 (Robison [33] and Hamilton [34]). The four-dimensional matrix is RH-regular if and only if (RH1) for each and ,(RH2),(RH3) for each ,(RH4) for each ,(RH5) for all .

2. The Double Difference Sequence Spaces

In this section, we define some new paranormed double difference sequence spaces with the help of Musielak-Orlicz functions and four-dimensional bounded-regular matrices. Before proceeding further, first we recall the notion of paranormed space as follows.

A linear topological space over the real field (the set of real numbers) is said to be a paranormed space if there is a subadditive function such that , , and scalar multiplication is continuous; that is, and imply for all ’s in and all ’s in , where is the zero vector in the linear space .

The linear spaces , , and were defined by Maddox [35] (also, see Simons [36]).

Let be a Musielak-Orlicz function; that is, is a sequence of Orlicz functions and let be a nonnegative four-dimensional bounded-regular matrix. Then, we define the following: where is a double sequence of real numbers such that for , , and is a double sequence of strictly positive real numbers.

Remark 2. If we take in and , then we have the following spaces:

Remark 3. Let for all . Then and are reduced to respectively.

Remark 4. Let for all . Then, the spaces and are reduced to respectively.

Remark 5. If we take in and , then we have the following spaces:

Remark 6. If we take and in and , then we have the following spaces:

Remark 7. Let for all . If, in addition, and , then the spaces and are reduced to and which were introduced and studied by Yurdakadim and Tas [37] as below:
Throughout the paper, we will use the following inequality: let and be two double sequences. Then where and (see [15]). We will also assume throughout this paper that the symbol will denote the sublinear Musielak-Orlicz function.

3. Main Results

Theorem 8. Let be a sublinear Musielak-Orlicz function, a nonnegative four-dimensional -regular matrix, a bounded sequence of positive real numbers, and a sequence of strictly positive real numbers. Then and are linear spaces over the complex field .

Proof. Let and . Then there exist integers and such that and .
Since is a nondecreasing function, so by inequality (21), we have
Thus . This proves that is a linear space. Similarly we can prove that is also a linear space.

Theorem 9. Let be a sublinear Musielak-Orlicz function, a nonnegative four-dimensional -regular matrix, a bounded sequence of positive real numbers, and a sequence of strictly positive real numbers. Then and are paranormed spaces with the paranorm where and .

Proof. We will prove the result for . Let . Then for each , exists. Also it is clear that , and .
We now show that the scalar multiplication is continuous. First observe the following: where denotes the integer part of . It is also clear that if and implies . For fixed , if , then . We need to show that for fixed implies . Let . Thus
Then, for there exists such that for . Also, for each with , since there exists an integer such that
Let . We have for each with
Also from (26), for , we have
Thus is an integer independent of such that
Since , therefore
For each and by the continuity of as , we have the following: in Pringsheim’s sense. Now choose such that implies
In the same manner, we have
It follows from (31), (34), (35), and (36) that
Thus as . Therefore is a paranormed space. Similarly, we can prove that is a paranormed space. This completes the proof.

Theorem 10. Let be a sublinear Musielak-Orlicz function, a nonnegative four-dimensional -regular matrix, a bounded sequence of positive real numbers, and a sequence of strictly positive real numbers. Then and are complete topological linear spaces.

Proof. Let be a Cauchy sequence in ; that is, as . Then, we have
Thus for each fixed and as , since is nonnegative, we are granted that and by continuity of , is a Cauchy sequence in for each fixed and .
Since is complete as , we have for each . Now from (36), we have that, for , there exists a natural number such that
Since for any fixed natural number , from (38) we have By letting in the above expression we obtain
Since is arbitrary, by letting we obtain
Thus as . This proves that is a complete topological linear space.
Now we will show that is a complete topological linear space. For this, since is also a sequence in by definition of , for each , there exists with whence from the fact that and from the definition of Musielak-Orlicz function, we have as and so converges to . Thus
Hence and this completes the proof.

Theorem 11. Let be a sublinear Musielak-Orlicz function which satisfies the -condition. Then .

Proof. Let ; that is,
Let and choose with such that for . Write and consider
For , we use the fact that . Hence
Since satisfies the -condition, we have and hence
Since is -regular and , we get .

Theorem 12. Let be a sublinear Musielak-Orlicz function and let be a nonnegative four-dimensional RH-regular matrix. Suppose that . Then

Proof. In order to prove that , it is sufficient to show that . Now, let . By definition of , we have for all . Since , we have for all . Let . Thus, we have which implies that . This completes the proof.

Theorem 13. (i) Let . Then
(ii) Let . Then

Proof. (i) Let . Then since , we obtain the following:
Thus .
(ii) Let for each and and . Let . Then for each there exists a positive integer such that
This implies that
Therefore . This completes the proof.

Lemma 14. Let be a sublinear Musielak-Orlicz function which satisfies the -condition and let be a nonnegative four-dimensional -regular matrix. Then is an ideal in .

Proof. Let and . We need to show that . Since , there exists such that . In this case for all . Since is nondecreasing and satisfies -condition, we have for all and . Therefore . Thus . This completes the proof.

Lemma 15. Let be an ideal in and let . Then is in the closure of in if and only if for all .

Proof. Let be in the closure of and let be given. Suppose that such that and observe that . Define a double sequence by
Clearly . Since and , hence .
Conversely, if then . It follows that for all ; then is in the closure of .

Lemma 16. If is a nonnegative four-dimensional -regular matrix, then is a closed ideal in .

Proof. We have and it is clear that . For , we get . Now, we have by the -condition and the convexity of . Since where , so .
Let and . Thus, there exists a positive integer , so that, for every , we have . Therefore and so
Hence . So is an ideal in for a Musielak-Orlicz function which satisfies the -condition.
Now, we have to show that is closed. Let ; there exists such that . For every there exists such that, for all , . Now, for , we have
Since and is RH-regular, we get so . This completes the proof.

Theorem 17. Let be a bounded sequence, a sublinear Musielak-Orlicz function which satisfies the -condition, and a nonnegative four-dimensional -regular matrix. Then .

Proof. Without loss of generality we may take and establish
Since , therefore . We need to show that . Notice that if , then for all . Observe that whenever by Lemmas 14 and 15, so
The proof is complete.

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

Acknowledgment

The authors gratefully acknowledge the financial support from King Abdulaziz University, Jeddah, Saudi Arabia.

References

  1. G. H. Hardy, “On the convergence of certain multiple series,” Proceedings of the Cambridge Philosophical Society, vol. 19, pp. 86–95, 1917. View at Google Scholar
  2. T. J. Bromwich, An Introduction to the Theory of Infinite Series, Macmillan and co. Ltd, New York, NY, USA, 1965.
  3. F. Móricz, “Extensions of the spaces c and c0 from single to double sequences,” Acta Mathematica Hungarica, vol. 57, no. 1-2, pp. 129–136, 1991. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  4. F. Móricz and B. E. Rhoades, “Almost convergence of double sequences and strong regularity of summability matrices,” Mathematical Proceedings of the Cambridge Philosophical Society, vol. 104, no. 2, pp. 283–294, 1988. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  5. M. Başarır and O. Sonalcan, “On some double sequence spaces,” Indian Academy of Mathematics, vol. 21, no. 2, pp. 193–200, 1999. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  6. M. Mursaleen and S. A. Mohiuddine, “Regularly σ-conservative and σ-coercive four dimensional matrices,” Computers & Mathematics with Applications, vol. 56, no. 6, pp. 1580–1586, 2008. View at Publisher · View at Google Scholar · View at MathSciNet
  7. M. Mursaleen and S. A. Mohiuddine, “On σ-conservative and boundedly σ-conservative four-dimensional matrices,” Computers & Mathematics with Applications, vol. 59, no. 2, pp. 880–885, 2010. View at Publisher · View at Google Scholar · View at MathSciNet
  8. Mursaleen and S. A. Mohiuddine, “Double σ-multiplicative matrices,” Journal of Mathematical Analysis and Applications, vol. 327, no. 2, pp. 991–996, 2007. View at Publisher · View at Google Scholar · View at MathSciNet
  9. M. Mursaleen, “Almost strongly regular matrices and a core theorem for double sequences,” Journal of Mathematical Analysis and Applications, vol. 293, no. 2, pp. 523–531, 2004. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  10. M. Mursaleen and O. H. H. Edely, “Almost convergence and a core theorem for double sequences,” Journal of Mathematical Analysis and Applications, vol. 293, no. 2, pp. 532–540, 2004. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  11. S. A. Mohiuddine and A. Alotaibi, “Almost conservative four-dimensional matrices through de la Vallée-Poussin mean,” Abstract and Applied Analysis, vol. 2014, Article ID 412974, 6 pages, 2014. View at Publisher · View at Google Scholar
  12. B. Altay and F. Başar, “Some new spaces of double sequences,” Journal of Mathematical Analysis and Applications, vol. 309, no. 1, pp. 70–90, 2005. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  13. F. Başar and Y. Sever, “The space Lq of double sequences,” Mathematical Journal of Okayama University, vol. 51, pp. 149–157, 2009. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  14. M. Mursaleen and S. A. Mohiuddine, “Some matrix transformations of convex and paranormed sequence spaces into the spaces of invariant means,” Journal of Function Spaces and Applications, vol. 2012, Article ID 612671, 10 pages, 2012. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  15. S. A. Mohiuddine and A. Alotaibi, “Some spaces of double sequences obtained through invariant mean and related concepts,” Abstract and Applied Analysis, vol. 2013, Article ID 507950, 11 pages, 2013. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  16. K. Demirci, “Strong A-summability and A-statistical convergence,” Indian Journal of Pure and Applied Mathematics, vol. 27, no. 6, pp. 589–593, 1996. View at Google Scholar · View at MathSciNet
  17. M. Mursaleen and S. A. Mohiuddine, “Some new double sequence spaces of invariant means,” Glasnik Matematički, vol. 45, no. 1, pp. 139–153, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  18. S. D. Parashar and B. Choudhary, “Sequence spaces defined by Orlicz functions,” Indian Journal of Pure and Applied Mathematics, vol. 25, no. 4, pp. 419–428, 1994. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  19. H. Kızmaz, “On certain sequence spaces,” Canadian Mathematical Bulletin, vol. 24, no. 2, pp. 169–176, 1981. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  20. M. Et and R. Çolak, “On some generalized difference sequence spaces,” Soochow Journal of Mathematics, vol. 21, no. 4, pp. 377–386, 1995. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  21. M. Et, “Spaces of Cesàro difference sequences of order r defined by a modulus function in a locally convex space,” Taiwanese Journal of Mathematics, vol. 10, no. 4, pp. 865–879, 2006. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  22. M. Et, “Generalized Cesàro difference sequence spaces of non-absolute type involving lacunary sequences,” Applied Mathematics and Computation, vol. 219, no. 17, pp. 9372–9376, 2013. View at Publisher · View at Google Scholar · View at MathSciNet
  23. K. Raj, A. K. Sharma, and S. K. Sharma, “A sequence space defined by Musielak-Orlicz function,” International Journal of Pure and Applied Mathematics, vol. 67, no. 4, pp. 475–484, 2011. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  24. K. Raj, S. Jamwal, and S. K. Sharma, “New classes of generalized sequence spaces defined by an Orlicz function,” Journal of Computational Analysis and Applications, vol. 15, no. 4, pp. 730–737, 2013. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  25. K. Raj and S. K. Sharma, “Some generalized difference double sequence spaces defined by a sequence of Orlicz-functions,” Cubo, vol. 14, no. 3, pp. 167–190, 2012. View at Publisher · View at Google Scholar · View at MathSciNet
  26. B. C. Tripathy, “Generalized difference paranormed statistically convergent sequences defined by Orlicz function in a locally convex space,” Soochow Journal of Mathematics, vol. 30, no. 4, pp. 431–446, 2004. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  27. M. Et, Y. Altin, B. Choudhary, and B. C. Tripathy, “On some classes of sequences defined by sequences of Orlicz functions,” Mathematical Inequalities & Applications, vol. 9, no. 2, pp. 335–342, 2006. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  28. J. Lindenstrauss and L. Tzafriri, “On Orlicz sequence spaces,” Israel Journal of Mathematics, vol. 10, pp. 379–390, 1971. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  29. L. Maligranda, Orlicz Spaces and Interpolation, vol. 5 of Seminars in Mathematics, Polish Academy of Science, 1989. View at MathSciNet
  30. J. Musielak, Orlicz Spaces and Modular Spaces, vol. 1034 of Lecture Notes in Mathematics, Springer, Berlin, Germany, 1983. View at MathSciNet
  31. A. Pringsheim, “Zur Theorie der zweifach unendlichen Zahlenfolgen,” Mathematische Annalen, vol. 53, no. 3, pp. 289–321, 1900. View at Publisher · View at Google Scholar · View at MathSciNet
  32. R. G. Cooke, Infinite Matrices and Sequence Spaces, Macmillan & Co., London, UK, 1950. View at MathSciNet
  33. G. M. Robison, “Divergent double sequences and series,” Transactions of the American Mathematical Society, vol. 28, no. 1, pp. 50–73, 1926. View at Publisher · View at Google Scholar · View at MathSciNet
  34. H. J. Hamilton, “Transformations of multiple sequences,” Duke Mathematical Journal, vol. 2, no. 1, pp. 29–60, 1936. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  35. I. J. Maddox, Elements of Functional Analysis, Cambridge University Press, Cambridge, UK, 2nd edition, 1988. View at MathSciNet
  36. S. Simons, “The sequence spaces l(pν) and m(pν),” Proceedings of the London Mathematical Society, vol. 15, pp. 422–436, 1965. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  37. T. Yurdakadim and E. Tas, “Double sequences and Orlicz functions,” Periodica Mathematica Hungarica, vol. 67, no. 1, pp. 47–54, 2013. View at Publisher · View at Google Scholar · View at MathSciNet