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,¹ Kuldip Raj,² and Abdullah Alotaibi¹

¹Department of Mathematics, Faculty of Science, King Abdulaziz University, P.O. Box 80203, Jeddah 21589, Saudi Arabia

²School 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

(RH₁) for each and ,(RH₂),(RH₃) for each ,(RH₄) for each ,(RH₅) 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

G. H. Hardy, “On the convergence of certain multiple series,” Proceedings of the Cambridge Philosophical Society, vol. 19, pp. 86–95, 1917.

T. J. Bromwich, An Introduction to the Theory of Infinite Series, Macmillan and co. Ltd, New York, NY, USA, 1965.

F. Móricz, “Extensions of the spaces and from single to double sequences,” Acta Mathematica Hungarica, vol. 57, no. 1-2, pp. 129–136, 1991.

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.

M. Başarır and O. Sonalcan, “On some double sequence spaces,” Indian Academy of Mathematics, vol. 21, no. 2, pp. 193–200, 1999.

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.

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.

Mursaleen and S. A. Mohiuddine, “Double -multiplicative matrices,” Journal of Mathematical Analysis and Applications, vol. 327, no. 2, pp. 991–996, 2007.

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.

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.

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.

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.

F. Başar and Y. Sever, “The space of double sequences,” Mathematical Journal of Okayama University, vol. 51, pp. 149–157, 2009.

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.

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.

K. Demirci, “Strong -summability and -statistical convergence,” Indian Journal of Pure and Applied Mathematics, vol. 27, no. 6, pp. 589–593, 1996.

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.

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.

H. Kızmaz, “On certain sequence spaces,” Canadian Mathematical Bulletin, vol. 24, no. 2, pp. 169–176, 1981.

M. Et and R. Çolak, “On some generalized difference sequence spaces,” Soochow Journal of Mathematics, vol. 21, no. 4, pp. 377–386, 1995.

M. Et, “Spaces of Cesàro difference sequences of order defined by a modulus function in a locally convex space,” Taiwanese Journal of Mathematics, vol. 10, no. 4, pp. 865–879, 2006.

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.

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.

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.

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.

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.

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.

J. Lindenstrauss and L. Tzafriri, “On Orlicz sequence spaces,” Israel Journal of Mathematics, vol. 10, pp. 379–390, 1971.

L. Maligranda, Orlicz Spaces and Interpolation, vol. 5 of Seminars in Mathematics, Polish Academy of Science, 1989.

J. Musielak, Orlicz Spaces and Modular Spaces, vol. 1034 of Lecture Notes in Mathematics, Springer, Berlin, Germany, 1983.

A. Pringsheim, “Zur Theorie der zweifach unendlichen Zahlenfolgen,” Mathematische Annalen, vol. 53, no. 3, pp. 289–321, 1900.

R. G. Cooke, Infinite Matrices and Sequence Spaces, Macmillan & Co., London, UK, 1950.

G. M. Robison, “Divergent double sequences and series,” Transactions of the American Mathematical Society, vol. 28, no. 1, pp. 50–73, 1926.

H. J. Hamilton, “Transformations of multiple sequences,” Duke Mathematical Journal, vol. 2, no. 1, pp. 29–60, 1936.

I. J. Maddox, Elements of Functional Analysis, Cambridge University Press, Cambridge, UK, 2nd edition, 1988.

S. Simons, “The sequence spaces and ,” Proceedings of the London Mathematical Society, vol. 15, pp. 422–436, 1965.

T. Yurdakadim and E. Tas, “Double sequences and Orlicz functions,” Periodica Mathematica Hungarica, vol. 67, no. 1, pp. 47–54, 2013.