R E S E A R C H
Open Access
On
λ-statistical convergence and strongly
λ-summable functions of order
α
Mikail Et
1, Syed Abdul Mohiuddine
2*and Abdullah Alotaibi
2*Correspondence: mohiuddine@gmail.com 2Department of Mathematics, Faculty of Science, King Abdulaziz University, P.O. Box 80203, Jeddah, 21589, Saudi Arabia
Full list of author information is available at the end of the article
Abstract
In this study, using the notion of (V,
λ
)-summability andλ
-statistical convergence, we introduce the concepts of strong (V,λ
,p)-summability andλ
-statistical convergence of orderα
of real-valued functions which are measurable (in the Lebesgue sense) in the interval (1,∞). Also some relations betweenλ
-statistical convergence of orderα
and strong (V,
λ
,p)-summability of orderβ
are given. MSC: 40A05; 40C05; 46A45Keywords: statistical convergence; measurable function; (V,
λ
)-summability1 Introduction
The idea of statistical convergence was given by Zygmund [] in the first edition of his monograph published in Warsaw in . The concept of statistical convergence was in-troduced by Steinhaus [] and Fast [] and then reinin-troduced by Schoenberg [] inde-pendently. Over the years and under different names, statistical convergence has been discussed in the theory of Fourier analysis, ergodic theory, number theory, measure the-ory, trigonometric series, turnpike theory and Banach spaces. Later on it was further in-vestigated from the sequence space point of view and linked with summability theory by Alotaibi and Alroqi [], Belen and Mohiuddine [], Connor [], Duttaet al.[–], Etet al.[–], Fridy [], Güngöret al.[, ], Kolk [], Mohiuddineet al.[–], Mur-saleenet al.[–], Nuray [], Rath and Tripathy [], Salat [], Savaşet al.[, ], Tripathy [] and many others. In recent years, generalizations of statistical convergence have appeared in the study of strong integral summability and the structure of ideals of bounded continuous functions on locally compact spaces. Statistical convergence and its generalizations are also connected with subsets of the Stone-Čech compactification of the natural numbers. Moreover, statistical convergence is closely related to the concept of convergence in probability.
2 Definition and preliminaries
The definitions of statistical convergence and strongp-Cesàro convergence of a sequence of real numbers were introduced in the literature independently of one another and fol-lowed different lines of development since their first appearance. It turns out, however, that the two definitions can be simply related to one another in general and are equiva-lent for bounded sequences. The idea of statistical convergence depends on the density of
subsets of the setNof natural numbers. The density of a subsetEofNis defined by
δ(E) =lim n→∞
n
n
k=
χE(k) provided the limit exists,
whereχEis the characteristic function ofE. It is clear that any finite subset ofNhas zero
natural density andδ(Ec) = –δ(E).
A sequencex= (xk) is said to be statistically convergent toLif for everyε> ,δ({k∈N:
|xk–L| ≥ε}) = . In this case we writexk
stat
−→LorS-limxk=L. The set of all statistically
convergent sequences will be denoted byS.
The order of statistical convergence of a sequence of numbers was given by Gadjiev
and Orhan in [] and after then statistical convergence of orderαand strongp-Cesàro
summability of order α were studied by Çolak [, ] and generalized by Çolak and
Bektaş [].
Letλ= (λn) be a non-decreasing sequence of positive real numbers tending to∞such
thatλn+≤λn+ ,λ= . The generalized de la Vallée-Poussin mean is defined bytn(x) =
λn
k∈Inxk, whereIn= [n–λn+ ,n] forn= , , . . . . A sequencex= (xk) is said to be (V,λ
)-summable to a numberLiftn(x)→Lasn→ ∞[]. Ifλn=n, then (V,λ)-summability is
reduced to Cesàro summability. Bywe denote the class of all non-decreasing sequence
of positive real numbers tending to∞such thatλn+≤λn+ ,λ= .
In [] Borwein introduced and studied strongly summable functions. A real-valued function x(t), measurable (in the Lebesgue sense) in the interval (,∞), is said to be strongly summable toL=Lxif
lim
n→∞
n
n
x(t) –Lpdt= , ≤p<∞.
[Wp] will denote the space of real-valued functionx, measurable (in the Lebesgue sense)
in the interval (,∞). The space [Wp] is a normed space with the norm
x=sup
n≥
n
n
x(t)pdt
p
.
In this paper, using the notion of (V,λ)-summability andλ-statistical convergence, we introduce and study the concepts of strong (V,λ,p)-summability andλ-statistical conver-gence of orderαof real-valued functionsx(t), measurable (in the Lebesgue sense) in the interval (,∞).
Throughout the paper, unless stated otherwise, by ‘for alln∈Nno’ we mean ‘for alln∈
Nexcept finite numbers of positive integers’ whereNno={no,no+ ,no+ , . . .}for some
no∈N={, , , . . .}.
3 Main results
the interval (,∞). In Theorem . we give the relationship between the strong [Wλβp
]-summability and [Sα
λ]-statistical convergence of real-valued functions which are measur-able (in the Lebesgue sense) in the interval (,∞).
Definition . Let the sequenceλ= (λn) be as above,α∈(, ] andx(t) be a real-valued
function which is measurable (in the Lebesgue sense) in the interval (,∞). A real-valued functionx(t) is said to be strongly (V,λ,p)-summable of orderα(or [Wα
λp]-summable) if
there is a numberL=Lxsuch that
lim
n→∞
λα
n
n
n–λn+
x(t) –Lpdt= , ≤p<∞,
where In= [n–λn+ ,n] andλαn denote theαth power (λn)α ofλn, that is,λα= (λαn) =
(λα,λα, . . . ,λα
n, . . .). In this case we write [W
α
λp]-limx(t) =L. The set of all strongly (V,λ,p
)-summable functions of orderαwill be denoted by [Wλαp]. Forλn=nfor alln∈N, we shall
write [Wα
p] instead of [Wλαp] and in the special caseα= we shall write [Wλp] instead of
[Wα
λp], and also in the special caseα= andλn=nfor alln∈Nwe shall write [Wp] instead
of [Wα λp].
Definition . Let the sequenceλ= (λn) be as above,α∈(, ] andx(t) be a real-valued
function which is measurable (in the Lebesgue sense) in the interval (,∞). A real-valued functionx(t) is said to beλ-statistically convergent of orderα(or [Sλα]-statistical conver-gence) to a numberL=Lxfor everyε> ,
lim
n
λα
n
t∈In:x(t) –L≥ε = .
The set of allλ-statistically convergent functions of orderαwill be denoted by [Sα λ]. In this case we write [Sα
λ]-limx(t) =L. Forλn=n, for alln∈N, we shall write [S
α] instead of [Sα λ] and in the special caseα= , we shall write [Sλ] instead of [Sα
λ].
Theλ-statistical convergence of orderαis well defined for <α≤, but it is not well defined forα> in general. For this letλn=nfor alln∈Nandx(t) be defined as follows:
x(t) =
ift= n,
ift= n, n= , , , . . . ,
then both
lim
n→∞
λα
n
t∈In:x(t) – ≥ε ≤ lim n→∞
[λn] +
λα
n
=
and
lim
n→∞
λα
n
t∈In:x(t) – ≥ε ≤ lim n→∞
([λn] + )
λα
n
=
forα> , and soλ-statistically converges of orderαboth to and ,i.e., [Sαλ]-limx(t) = and [Sα
λ]-limx(t) = . But this is impossible.
Theorem . Let <α≤and x(t)and y(t)be real-valued functions which are measur-able(in the Lebesgue sense)in the interval(,∞),then
(i) If[Sλα]-limx(t) =Landc∈R,then[S α
λ]-limcx(t) =cL; (ii) If[Sα
λ]-limx(t) =Land[Sαλ]-limy(t) =L,then[Sαλ]-lim(x(t) +y(t)) =L+L.
Theorem . Letλ= (λn)∈( <α≤β≤)and x(t)be a real-valued function which is
measurable(in the Lebesgue sense)in the interval(,∞),then[Sα λ]⊆[S
β λ].
From Theorem . we have the following.
Corollary . If x(t)isλ-statistically convergent of orderα to L,then it is statistically convergent to L for eachα∈(, ].
Theorem . Letλ= (λn)∈( <α≤)and x(t)be a real-valued function which is
measurable(in the Lebesgue sense)in the interval(,∞),then[Sα]⊆[Sα λ]if
lim
n→∞inf
λα
n
nα > . ()
Proof For givenε> , we have
t≤n:x(t) –L≥ε ⊃t∈In:x(t) –L≥ε ,
and so
nαt≤n:x(t) –L≥ε ≥ λα
n
nα λα
n
t∈In:x(t) –L≥ε .
Taking the limit asn→ ∞and using (), we get [Sα]-limx
k=L⇒[Sαλ]-limxk=L.
From Theorem . we have the following result.
Corollary . Letλ= (λn)∈( <α≤)and x(t)be a real-valued function which is
measurable(in the Lebesgue sense)in the interval(,∞),then[S]⊆[Sα λ]if
lim
n→∞inf
λαn
n > .
Theorem . Letλ= (λn)∈, <α≤β≤,p be a positive real number and x(t)be a
real-valued function which is measurable(in the Lebesgue sense)in the interval(,∞),then
[Wα λp]⊆[W
β λp].
Proof Omitted.
From Theorem . we have the following result.
Corollary . Letλ= (λn)∈and p be a positive real number and x(t)be a real-valued
function which is measurable(in the Lebesgue sense)in the interval(,∞),then[Wα λp]⊆
Theorem . Letλ= (λn)∈, <α≤β≤,p be a positive real number and x(t)be a
real-valued function which is measurable(in the Lebesgue sense)in the interval(,∞).If a function x(t)is[Wα
λp]-summable,then it isλ-statistically convergent of orderβ.
Proof For any sequencex(t)∈[Wλαp] andε> , we have
n
n–λn+
x(t) –Lpdt=
n
n–λn+ |x(t)–L|≥ε
x(t) –Lpdt+
n
n–λn+ |x(t)–L|<ε
x(t) –Lpdt
≥
n
n–λn+ |x(t)–L|≥ε
x(t) –Lpdt
≥t∈In:x(t) –L≥ε ·εp
and so that
λα
n
n
n–λn+
x(t) –Lpdt≥
λβn
t∈In:x(t) –L≥ε ·εp.
From this it follows that ifx(t) is [Wα
λp]-summable, then it isλ-statistically convergent of
orderβ.
From Theorem . we have the following results.
Corollary . Letαbe a fixed real number such that <α≤and <p<∞.The fol-lowing statements hold:
(i) Ifx(t)is strongly[Wα
λp]-summable of orderα,then it isλ-statistically convergent of
orderα.
(ii) Ifx(t)is strongly[Wα
λp]-summable of orderα,then it isλ-statistically convergent.
Theorem . Letλ= (λn)andμ= (μn)be two sequences insuch thatλn≤μnfor all
n∈Nno( <α≤β≤),and let x(t)be a real-valued function which is measurable(in the Lebesgue sense)in the interval(,∞).If
lim inf
n→∞
λα
n
μβn
> , ()
then[Sβ
μ]⊆[Sαλ].
Proof Suppose thatλn≤μnfor alln∈Nnoand let () be satisfied. ThenIn⊂Jnand so that
ε> we may write
t∈Jn:x(t) –L≥ε ⊃
t∈In:x(t) –L≥ε
and so
μβn
t∈Jn:x(t) –L≥ε ≥
λαn μβn
λα
n
for alln∈Nno, whereJn= [n–μn+ ,n]. Now, taking the limit asn→ ∞in the last
in-equality and using (), we get [Sβ
μ]⊆[Sαλ].
From Theorem . we have the following results.
Corollary . Letλ= (λn)andμ= (μn)be two sequences insuch thatλn≤μnfor all
n∈Nno,and let x(t)be a real-valued function which is measurable(in the Lebesgue sense) in the interval(,∞).If()holds,then
(i) [Sα μ]⊆[S
α
λ]for eachα∈(, ], (ii) [Sμ]⊆[Sαλ]for eachα∈(, ], (iii) [Sμ]⊆[Sλ].
Theorem . Letλ= (λn)andμ= (μn)be two sequences insuch thatλn≤μnfor all
n∈Nno( <α≤β≤),and let x(t)be a real-valued function which is measurable(in the Lebesgue sense)in the interval(,∞).If()holds,then[Wμβp]⊆[Wλαp].
Proof Omitted.
Corollary . Letλ= (λn)andμ= (μn)be two sequences insuch thatλn≤μnfor all
n∈Nno,and let x(t)be a real-valued function which is measurable(in the Lebesgue sense) in the interval(,∞).If()holds,then
(i) [Wα
μp]⊆[Wλαp]for eachα∈(, ],
(ii) [Wμp]⊆[Wλαp]for eachα∈(, ],
(iii) [Wμp]⊆[Wλp].
Theorem . Letλ= (λn)andμ= (μn)be two sequences insuch thatλn≤μnfor all
n∈Nno( <α≤β≤),and let x(t)be a real-valued function which is measurable(in the Lebesgue sense)in the interval(,∞)and()holds.If a real-valued function x(t)is strongly
(V,μ,p)-summable of orderβto L,then it isλ-statistically convergent of orderαto L.
Proof Letx(t) be a real-valued function such thatx(t) is strongly (V,μ,p)-summable of orderβtoLandε> . Then we have
t∈Jn
x(t) –Lpdt=
t∈Jn |x(t)–L|≥ε
x(t) –Lpdt+
t∈Jn |x(t)–L|<ε
x(t) –Lpdt
≥
t∈In |x(t)–L|≥ε
x(t) –Lpdt
≥t∈In:x(t) –L≥ε ·εp
and so that
μβn
t∈Jn
x(t) –Lpdt≥ λ
α
n
μβn
λα
n
t∈In:x(t) –L≥ε ·εp.
Since () holds, it follows that ifx(t) is strongly (V,μ,p)-summable of orderβtoL, then
Corollary . Letλ= (λn)andμ= (μn)be two sequences insuch thatλn≤μnfor all
n∈Nno,and let x(t)be a real-valued function which is measurable(in the Lebesgue sense) in the interval(,∞).If()holds,then
(i) A real-valued functionx(t)is strongly(V,μ,p)-summable of orderαtoL,then it is
λ-statistically convergent of orderαtoL;
(ii) A real-valued functionx(t)is strongly(V,μ,p)-summable toL,then it is
λ-statistically convergent of orderαtoL;
(iii) A real-valued functionx(t)is strongly(V,μ,p)-summable toL,then it is
λ-statistically convergent toL.
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
The authors contributed equally and significantly in writing this paper. All the authors read and approved the final manuscript.
Author details
1Department of Mathematics, Firat University, Elazıg, 23119, Turkey.2Department of Mathematics, Faculty of Science, King Abdulaziz University, P.O. Box 80203, Jeddah, 21589, Saudi Arabia.
Acknowledgements
The authors gratefully acknowledge the financial support from King Abdulaziz University, Jeddah, Saudi Arabia.
Received: 22 March 2013 Accepted: 16 October 2013 Published:07 Nov 2013
References
1. Zygmund, A: Trigonometric Series. Cambridge University Press, Cambridge (1979)
2. Steinhaus, H: Sur la convergence ordinaire et la convergence asymptotique. Colloq. Math.2, 73-74 (1951) 3. Fast, H: Sur la convergence statistique. Colloq. Math.2, 241-244 (1951)
4. Schoenberg, IJ: The integrability of certain functions and related summability methods. Am. Math. Mon.66, 361-375 (1959)
5. Alotaibi, A, Alroqi, AM: Statistical convergence in a paranormed space. J. Inequal. Appl.2012, Article ID 39 (2012) 6. Belen, C, Mohiuddine, SA: Generalized weighted statistical convergence and application. Appl. Math. Comput.219,
9821-9826 (2013)
7. Connor, JS: The statistical and strongp-Cesàro convergence of sequences. Analysis8, 47-63 (1988)
8. Dutta, H, Ba¸sar, F: A generalization of Orlicz sequence spaces by Cesàro mean of order one. Acta Math. Univ. Comen.
80(2), 185-200 (2011)
9. Dutta, H, Bilgin, T: Strongly (Vλ,A, n
vm,p)-summable sequence spaces defined by an Orlicz function. Appl. Math. Lett.
24(7), 1057-1062 (2011)
10. Karakaya, V, Dutta, H: On some vector valued generalized difference modular sequence spaces. Filomat25(3), 15-27 (2011)
11. Tripathy, BC, Dutta, H: On some lacunary difference sequence spaces defined by a sequence of Orlicz functions and
q-lacunary n
mstatistical convergence. An. Univ. “Ovidius” Constan¸ta, Ser. Mat.20(1), 417-430 (2012)
12. Et, M: Strongly almost summable difference sequences of ordermdefined by a modulus. Studia Sci. Math. Hung.
40(4), 463-476 (2003)
13. Et, M: Spaces of Cesàro difference sequences of orderrdefined by a modulus function in a locally convex space. Taiwan. J. Math.10(4), 865-879 (2006)
14. Et, M, Altin, Y, Choudhary, B, Tripathy, BC: On some classes of sequences defined by sequences of Orlicz functions. Math. Inequal. Appl.9(2), 335-342 (2006)
15. Fridy, J: On statistical convergence. Analysis5, 301-313 (1985)
16. Güngör, M, Et, M, Altın, Y: Strongly (Vσ,λ,q)-summable sequences defined by Orlicz functions. Appl. Math. Comput.
157(2), 561-571 (2004)
17. Güngör, M, Et, M: m-strongly almost summable sequences defined by Orlicz functions. Indian J. Pure Appl. Math.
34(8), 1141-1151 (2003)
18. Kolk, E: The statistical convergence in Banach spaces. Acta Comment. Univ. Tartu Math.928, 41-52 (1991) 19. Mohiuddine, SA, Aiyub, M: Lacunary statistical convergence in random 2-normed spaces. Appl. Math. Inform. Sci.
6(3), 581-585 (2012)
20. Mohiuddine, SA, Alghamdi, MA: Statistical summability through a lacunary sequence in locally solid Riesz spaces. J. Inequal. Appl.2012, Article ID 225 (2012)
21. Mohuiddine, SA, Alotaibi, A, Alsulami, SM: Ideal convergence of double sequences in random 2-normed spaces. Adv. Differ. Equ.2012, Article ID 149 (2012)
23. Mohiuddine, SA, Alotaibi, A, Mursaleen, M: A new variant of statistical convergence. J. Inequal. Appl.2013, Article ID 309 (2013)
24. Mohiuddine, SA, Alotaibi, A, Mursaleen, M: Statistical convergence through de la Vallée-Poussin mean in locally solid Riesz spaces. Adv. Differ. Equ.2013, Article ID 66 (2013)
25. Mohiuddine, SA, Hazarika, B, Alotaibi, A: Double lacunary density and some inclusion results in locally solid Riesz spaces. Abstr. Appl. Anal.2013, Article ID 507962 (2013)
26. Mohiuddine, SA, Lohani, QMD: On generalized statistical convergence in intuitionistic fuzzy normed space. Chaos Solitons Fractals42, 1731-1737 (2009)
27. Mohiuddine, SA, ¸Sevli, H, Cancan, M: Statistical convergence of double sequences in fuzzy normed spaces. Filomat
26(4), 673-681 (2012)
28. Mohiuddine, SA, ¸Sevli, H, Cancan, M: Statistical convergence in fuzzy 2-normed space. J. Comput. Anal. Appl.12(4), 787-798 (2010)
29. Mursaleen, M:λ-statistical convergence. Math. Slovaca50(1), 111-115 (2000)
30. Mursaleen, M, Alotaibi, A: Statistical summability and approximation by de la Vallée-Poussin mean. Appl. Math. Lett.
24(3), 320-324 (2011)
31. Mursaleen, M, Mohiuddine, SA: Statistical convergence of double sequences in intuitionistic fuzzy normed spaces. Chaos Solitons Fractals41, 2414-2421 (2009)
32. Mursaleen, M, Mohiuddine, SA: On lacunary statistical convergence with respect to the intuitionistic fuzzy normed space. J. Comput. Appl. Math.233, 142-149 (2009)
33. Nuray, F:λ-strongly summable andλ-statistically convergent functions. Iran. J. Sci. Technol., Trans. A, Sci.34(4), 335-338 (2010)
34. Rath, D, Tripathy, BC: On statistically convergent and statistically Cauchy sequences. Indian J. Pure Appl. Math.25(4), 381-386 (1994)
35. Šalát, T: On statistically convergent sequences of real numbers. Math. Slovaca30, 139-150 (1980)
36. Sava¸s, E: Strong almost convergence and almostλ-statistical convergence. Hokkaido Math. J.29(3), 531-536 (2000) 37. Sava¸s, E, Mohiuddine, SA:λ¯-statistically convergent double sequences in probabilistic normed spaces. Math. Slovaca
62(1), 99-108 (2012)
38. Tripathy, BC: On generalized difference paranormed statistically convergent sequences. Indian J. Pure Appl. Math.
35(5), 655-663 (2004)
39. Gadjiev, AD, Orhan, C: Some approximation theorems via statistical convergence. Rocky Mt. J. Math.32(1), 129-138 (2002)
40. Çolak, R: Statistical Convergence of Orderα. Modern Methods in Analysis and Its Applications, pp. 121-129. Anamaya Pub., New Delhi (2010)
41. Çolak, R: Onλ-statistical convergence. In: Conference on Summability and Applications, May 12-13, 2011, Istanbul, Turkey (2011)
42. Çolak, R, Bekta¸s, ÇA:λ-statistical convergence of orderα. Acta Math. Sci.31(3), 953-959 (2011)
43. Leindler, L: Über die la Vallee-Pousinsche Summierbarkeit Allgemeiner Orthogonalreihen. Acta Math. Acad. Sci. Hung.
16, 375-387 (1965)
44. Borwein, D: Linear functionals connected with strong Cesàro summability. J. Lond. Math. Soc.40, 628-634 (1965) 10.1186/1029-242X-2013-469