Skip to main content

A generalization on -asymptotically lacunary statistical equivalent sequences

Abstract

In this study we extend the concept of -asymptotically lacunary statistical equivalent sequences by using the sequence p=( p k ) which is the sequence of positive real numbers where θ is a lacunary sequence and is an ideal of the subset of positive integers.

MSC:40G15, 40A35.

1 Introduction

The concept of -convergence was introduced by Kostyrko et al. in a metric space [1]. Later it was further studied by Dems [2], Das and Savaş [3], Savaş [47] and many others. -convergence is a generalization form of statistical convergence, which was introduced by Fast (see [8]) and that is based on the notion of an ideal of the subset of positive integers .

Definition 1.1 A family I 2 N is said to be an ideal of if the following conditions hold:

  1. (a)

    A,BI implies ABI,

  2. (b)

    AI, BA implies BI.

An ideal is called non-trivial if NI, and a non-trivial ideal is called admissible if {n}I for each nN.

Definition 1.2 A family of sets F 2 N is a filter in if and only if:

  1. (i)

    F.

  2. (ii)

    For each A,BF, we have ABF.

  3. (iii)

    For each AF and each BA, we have BF.

Proposition 1.1 is a non-trivial ideal in if and only if

F=F(I)={M=NA:AI}

is a filter in (see [1]).

Definition 1.3 A real sequence x=( x k ) is said to be -convergent to LR if and only if for each ε>0 the set

A ε = { k N : | x k L | ε }

belongs to . The number L is called the -limit of the sequence x (see [1]).

Remark 1 If we take I= I f ={AN:A is a finite subset}. Then I f is a non-trivial admissible ideal of N and the corresponding convergence coincides with the usual convergence.

A lacunary sequence is an increasing integer sequence θ=( k r ) such that k 0 =0 and h r = k r k r 1 as r. The intervals determined by θ are denoted I r =( k r 1 , k r ] and the ratio k r k r 1 is denoted by q r .

In 1993, Marouf presented definitions for asymptotically equivalent sequences and asymptotic regular matrices.

Definition 1.4 [9]

Two nonnegative sequences x=( x k ) and y=( y k ) are said to be asymptotically equivalent if

lim k x k y k =1

and it is denoted by xy.

Definition 1.5 (Fridy [10])

The sequence x=( x k ) has statistic limit L, denoted by st-limx=L, provided that for every ϵ>0,

lim n 1 n { the number of  k n : | x k L | ϵ } =0.

In 2003, Patterson defined asymptotically statistical equivalent sequences by using the definition of statistical convergence as follows.

Definition 1.6 (Patterson [11])

Two nonnegative sequences x=( x k ) and y=( y k ) are said to be asymptotically statistical equivalent of multiple L provided that for every ϵ>0,

lim n 1 n { the number of  k < n : | x k y k L | ϵ } =0

(denoted by x S L y), and simply asymptotically statistical equivalent if L=1.

In 2006, Patterson and Savaş presented definitions for asymptotically lacunary statistical equivalent sequences (see [12]).

Definition 1.7 Let θ=( k r ) be a lacunary sequence, two nonnegative sequences [x] and [y] are said to be asymptotically lacunary statistical equivalent of multiple L provided that for every ε>0

lim r 1 h r | { k I r : | x k y k L | ε } |=0,

where the vertical bars indicate the number elements in the enclosed set.

Definition 1.8 Let θ=( k r ) be a lacunary sequence, two number sequences x=( x k ) and y=( y k ) are said to be strong asymptotically lacunary equivalent of multiple L provided that

lim r 1 h r k I r | x k y k L|=0.

In 2008, Savaş and Patterson gave an extension on asymptotically lacunary statistical equivalent sequences, and they investigated some relations between strongly asymptotically lacunary equivalent sequences and strongly Cesáro asymptotically equivalent sequences. More applications of the asymptotically statistical equivalent sequences can be seen in [1316].

Definition 1.9 [17]

Let θ=( k r ) be a lacunary sequence and let p=( p k ) be a sequence of positive real numbers. Two number sequences x=( x k ) and y=( y k ) are said to be strongly asymptotically lacunary equivalent of multiple L provided that

lim r 1 h r k I r | x k y k L | p k =0

(denoted by x N θ L ( p ) y) and simply strongly asymptotically lacunary equivalent if L=1.

Definition 1.10 Let p=( p k ) be a sequence of positive real numbers. Two number sequences x=( x k ) and y=( y k ) are said to be strongly Cesáro asymptotically equivalent to L provided that

lim n 1 n k = 1 n | x k y k L | p k =0

(denoted by x σ ( p ) y) and simply strongly Cesáro asymptotically equivalent if L=1.

The following definitions are given in [3].

Definition 1.11 A sequence x=( x k ) is said to be -statistically convergent to L or S(I)-convergent to L if, for any ε>0 and δ>0,

{ n N : 1 n | { k n : | x k L | ε } | δ } I.

In this case, we write x k L(S(I)). The class of all -statistically convergent sequences will be denoted by S(I).

Definition 1.12 Let θ be a lacunary sequence. A sequence x=( x k ) is said to be -lacunary statistically convergent to L or S θ (I)-convergent to L if, for any ε>0 and δ>0,

{ r N : 1 h r | { k I r : | x k L | ε } | δ } I.

In this case, we write x k L( S θ (I)). The class of all -lacunary statistically convergent sequences will be denoted by S θ (I).

Definition 1.13 Let θ be a lacunary sequence. A sequence x=( x k ) is said to be strong -lacunary convergent to L or N θ (I)-convergent to L if, for any ε>0,

{ r N : 1 h r k I r | x k L | ε } I.

In this case, we write x k L( N θ (I)). The class of all strong -lacunary statistically convergent sequences will be denoted by N θ (I).

Throughout will stand for a proper admissible ideal of , and by sequence we always mean sequences of real numbers.

Recently, Savaş defined -asymptotically lacunary statistical equivalent sequences by using the definitions -convergence and asymptotically lacunary statistical equivalent sequences together.

Definition 1.14 [18]

Let θ=( k r ) be a lacunary sequence; the two nonnegative sequences x=( x k ) and y=( y k ) are said to be -asymptotically lacunary statistical equivalent of multiple L provided that for every ε>0 and δ>0,

{ r N : 1 h r | { k I r : | x k y k L | ε } | δ } I.

In this case we write x S θ L ( I ) y.

2 Main results

In this section we shall give some new definitions and also examine some inclusion relations.

Definition 2.1 Let θ=( k r ) be a lacunary sequence and let p=( p k ) be a sequence of positive real numbers. Two number sequences x=( x k ) and y=( y k ) are said to be strongly -asymptotically lacunary equivalent of multiple L for the sequence p provided that

{ r N : 1 h r k I r | x k y k L | p k ε } I.

In this situation we write x N θ L ( p ) ( I ) y.

If we take p k =p for all kN, we write x N θ L p ( I ) y instead of x N θ L ( p ) ( I ) y.

Definition 2.2 Let θ=( k r ) be a lacunary sequence and let p=( p k ) be a sequence of positive real numbers. Two number sequences x=( x k ) and y=( y k ) are said to be strongly Cesáro -asymptotically equivalent of multiple L provided that

{ n N : 1 n k = 1 n | x k y k L | p k ε } I

(denoted by x σ ( p ) ( I ) y) and simply strongly Cesáro -asymptotically equivalent if L=1.

Theorem 2.1 Let θ=( k r ) be a lacunary sequence. Then:

  1. (a)

    If x N θ L p ( I ) y, then x S θ L ( I ) y;

  2. (b)

    If x,y l and x S θ L ( I ) y, then x N θ L p ( I ) y;

  3. (c)

    (x S θ L ( I ) y) l =(x N θ L p ( I ) y) l .

Proof (a) Let x N θ L p ( I ) y and ε>0 be given. Then

k I r | x k y k L | p k I r & | x k y k L | ε | x k y k L | p ε p | { k I r : | x k y k L | ε } |

and so

1 ε p h r k I r | x k y k L | p 1 h r | { k I r : | x k y k L | ε } |.

Then, for any δ>0,

{ r N : 1 h r | { k I r : | x k y k L | ε } | δ } { r N : 1 h r k I r | x k y k L | p ε p δ } I .

Therefore x S θ L ( I ) y.

  1. (b)

    Let x and y be bounded sequences and x S θ L ( I ) y. Then there is an M such that | x k y k L|M for all k. For each ε>0,

    1 h r k I r | x k y k L | p = 1 h r k I r & | x k y k L | ε | x k y k L | p + 1 h r k I r & | x k y k L | < ε | x k y k L | p 1 h r M p | { k I r : | x k y k L | ε } | + 1 h r ε p | { k I r : | x k y k L | < ε } | M p h r | { k I r : | x k y k L | ε } | + ε p .

Then, for any δ>0,

{ r N : 1 h r k I r | x k y k L | p ε } { r N : 1 h r | { k I r : | x k y k L | ε } | ε p M p } I .

Therefore x N θ L p ( I ) y.

  1. (c)

    This follows from (a) and (b). □

Theorem 2.2 Let θ=( k r ) be a lacunary sequence, inf k p k =h and sup k p=H. Then

x N θ L ( p ) ( I ) yimpliesx S θ L ( I ) y.

Proof Assume that x N θ L ( p ) ( I ) y and ε>0. Then

1 h r k I r | x k y k L | p k = 1 h r k I r & | x k y k L | ε | x k y k L | p k + 1 h r k I r & | x k y k L | < ε | x k y k L | p k 1 h r k I r & | x k y k L | ε | x k y k L | p k 1 h r k I r & | x k y k L | ε ( ε ) p k 1 h r k I r & | x k y k L | ε min { ( ε ) h , ( ε ) H } 1 h r min { ( ε ) h , ( ε ) H } | { k I r : | x k y k L | ε } |

and

{ r N : 1 h r | { k I r : | x k y k L | ε } | δ } { r N : 1 h r k I r | x k y k L | p k δ min { ( ε ) h , ( ε ) H } } I .

Thus we have x S θ L ( I ) y. □

Theorem 2.3 Let x and y be bounded sequences, inf k p k =h and sup k p=H. Then

x S θ L ( I ) yimpliesx N θ L ( p ) ( I ) y.

Proof Suppose that x and y are bounded and ε>0. Then there is an integer K such that | x k y k L|K for all k,

1 h r k I r | x k y k L | p k = 1 h r k I r & | x k y k L | ε | x k y k L | p k + 1 h r k I r & | x k y k L | < ε | x k y k L | p k 1 h r | { k I r : | x k y k L | ε 2 } | max { K h , K H } + 1 h r | { k I r : | x k y k L | < ε 2 } | max ( ε ) p k 2 max { K h , K H } 1 h r | { k I r : | x k y k L | ε 2 } | + max { ε h , ε H } 2

and

{ r N : 1 h r k I r | x k y k L | p k ε } { r N : 1 h r | { k I r : | x k y k L | ε 2 } | 2 ε max { ε h , ε H } 2 max { K h , K H } } I .

Thus we have x N θ L ( p ) ( I ) y. □

Theorem 2.4 Let θ=( k r ) be a lacunary sequence with lim inf r q r >1, then

x σ ( p ) ( I ) yimpliesx N θ L ( p ) ( I ) y.

Proof If lim inf r q r >1, then there exists δ>0 such that q r 1+δ for all r1. Since h r = k r k r 1 , we have k r h r 1 + δ δ and k r 1 h r 1 δ . Let ε>0 and define the set

S= { k r N : 1 k r k = 1 k r | x k y k L | p k < ε } .

We can easily say that SF(I), which is the filter of the ideal ,

1 h r k I r | x k y k L | p k = 1 h r k = 1 k r | x k y k L | p k 1 h r k = 1 k r 1 | x k y k L | p k = k r h r 1 k r k = 1 k r | x k y k L | p k k r 1 h r 1 k r 1 k = 1 k r 1 | x k y k L | p k ( 1 + δ δ ) ε 1 δ ε

for each k r S. Choose η=( 1 + δ δ )ε 1 δ ε . Therefore,

{ r N : 1 h r k I r | x k y k L | p k < η } F(I)

and it completes the proof. □

For the next result, we assume that the lacunary sequence θ satisfies the condition that for any set CF(I), {n: k r 1 <n< k r ,rC}F(I).

Theorem 2.5 Let θ=( k r ) be a lacunary sequence with limsup q r <, then

x N θ L ( p ) ( I ) yimpliesx σ ( p ) ( I ) y.

Proof If limsup q r <, then there exists B>0 such that q r <B for all r1. Let x N θ L ( p ) ( I ) y and define the sets T and R such that

T= { r N : 1 h r k I r | x k y k L | p k < ε 1 }

and

R= { n N : 1 n k = 1 n | x k y k L | p k < ε 2 } .

Let

A j = 1 h j k I j | x k y k L | p k < ε 1

for all jT. It is obvious that TF(I). Choose n is any integer with k r 1 <n< k r , where rT,

1 n k = 1 n | x k y k L | p k 1 k r 1 k = 1 k r | x k y k L | p k = 1 k r 1 ( k I 1 | x k y k L | p k + k I 2 | x k y k L | p k + + k I r | x k y k L | p k ) = k 1 k r 1 ( 1 h 1 k I 1 | x k y k L | p k ) + k 2 k 1 k r 1 ( 1 h 2 k I 2 | x k y k L | p k ) + + k r k r 1 k r 1 ( 1 h r k I r | x k y k L | p k ) = k 1 k r 1 A 1 + k 2 k 1 k r 1 A 2 + + k r k r 1 k r 1 A r ( sup j T A j ) k r k r 1 < ε 1 B .

Choose ε 2 = ε 1 B and in view of the fact that {n: k r 1 <n< k r ,rT}R, where TF(I), it follows from our assumption on θ that the set R also belongs to F(I) and this completes the proof of the theorem. □

References

  1. Kostyrko P, S̆alát T, Wilezyński W: -Convergence. Real Anal. Exch. 2000/2001, 26(2):669–686.

    Google Scholar 

  2. Dems K: On I -Cauchy sequences. Real Anal. Exch. 2004–2005, 30: 123–128.

    MathSciNet  Google Scholar 

  3. Das P, Savaş E, Ghosal SK: On generalizations of certain summability methods using ideals. Appl. Math. Lett. 2011, 24(9):1509–1514. 10.1016/j.aml.2011.03.036

    Article  MathSciNet  Google Scholar 

  4. Savaş E: m -Strongly summable sequences spaces in 2-normed spaces defined by ideal convergence and an Orlicz function. Appl. Math. Comput. 2010, 217: 271–276. 10.1016/j.amc.2010.05.057

    Article  MathSciNet  Google Scholar 

  5. Savaş E: A -Sequence spaces in 2-normed space defined by ideal convergence and an Orlicz function. Abstr. Appl. Anal. 2011., 2011: Article ID 741382

    Google Scholar 

  6. Savaş E: On some new sequence spaces in 2-normed spaces using ideal convergence and an Orlicz function. J. Inequal. Appl. 2010., 2010: Article ID 482392. doi:10.1155/2010/482392

    Google Scholar 

  7. Savaş E, Das P: A generalized statistical convergence via ideals. Appl. Math. Lett. 2011, 24: 826–830. 10.1016/j.aml.2010.12.022

    Article  MathSciNet  Google Scholar 

  8. Fast H: Sur la convergence statistique. Colloq. Math. 1951, 2: 241–244.

    MathSciNet  Google Scholar 

  9. Marouf MS: Asymptotic equivalence and summability. Int. J. Math. Math. Sci. 1993, 16(4):755–762. 10.1155/S0161171293000948

    Article  MathSciNet  Google Scholar 

  10. Fridy JA: On statistical convergence. Analysis 1985, 5: 301–313.

    Article  MathSciNet  Google Scholar 

  11. Patterson RF: On asymptotically statistical equivalent sequences. Demonstr. Math. 2003, XXXVI(1):1–7.

    Google Scholar 

  12. Patterson RF, Savaş E: On asymptotically lacunary statistical equivalent sequences. Thai J. Math. 2006, 4(2):267–272.

    MathSciNet  Google Scholar 

  13. Savaş E: On asymptotically lacunary statistical equivalent sequences of fuzzy numbers. J. Fuzzy Math. 2009, 17(3):527–533.

    MathSciNet  Google Scholar 

  14. Savaş E, Patterson RF: An extension asymptotically lacunary statistical equivalent sequences. Aligarh Bull. Math. 2008, 27(2):109–113.

    MathSciNet  Google Scholar 

  15. Savaş E: On asymptotically λ -statistical equivalent sequences of fuzzy numbers. New Math. Nat. Comput. 2007, 3(3):301–306. 10.1142/S1793005707000781

    Article  MathSciNet  Google Scholar 

  16. Savaş E, Patterson RF: Generalization of two asymptotically statistical equivalent theorems. Filomat 2006, 20(2):81–86. 10.2298/FIL0602086S

    Article  Google Scholar 

  17. Savaş E, Patterson RF: An extension asymptotically lacunary statistical equivalent sequences. Aligarh Bull. Math. 2008, 27(2):109–113.

    MathSciNet  Google Scholar 

  18. Savaş E: On -asymptotically lacunary statistical equivalent sequences. Adv. Differ. Equ. 2013., 2013: Article ID 111. doi:10.1186/1687–1847–2013–111

    Google Scholar 

Download references

Acknowledgements

Dedicated to Professor Hari M Srivastava.

We would like to thanks the referees for their valuable comments.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Ekrem Savaş.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

Both authors completed the paper together. Both authors read and approved the final manuscript.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Reprints and permissions

About this article

Cite this article

Savaş, E., Gumuş, H. A generalization on -asymptotically lacunary statistical equivalent sequences. J Inequal Appl 2013, 270 (2013). https://doi.org/10.1186/1029-242X-2013-270

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/1029-242X-2013-270

Keywords