In this paper, we show under which conditions the limit of the distance between nth term of a sequence of fuzzy numbers and nth term of its Cesàro mean of order one tends to zero. As corollaries we prove several Tauberian theorems for Cesàro summability of sequences of fuzzy numbers.
Let D denote the set of all closed and bounded intervals on the real line .
For A, B ∈ D, we define
where and . It is known that (D, d) is a complete metric space.
A function which is normal and fuzzy convex is called a fuzzy number. Let E1 denote the set of all fuzzy numbers which are upper semi-continuous and have a compact support.
For 0 < α ≤ 1, the α-level set of a fuzzy number u denoted by uα is defined by
The set u0 is defined as the closure of the set .
We define by
The following properties [4] will be needed in the sequel.
for all u, v, w ∈ E1
for all
for all u, v, w, z ∈ E1
for all u, v ∈ E1
A sequence u = (un) of fuzzy numbers is a function u from the set of all positive integer into E1.
A sequence (un) of fuzzy numbers is said to be convergent to L, written as , if for every ɛ > 0 there exists a positive integer N0 such that
for n > N0.
The arithmetic means σn of (un) are defined by for all . A sequence (un) of fuzzy numbers is said to be Cesàro summable to L if
If the limit
exists, then the limit (1) also exists ([16]).
Subrahmanyam [16] showed by an example of a sequence of fuzzy numbers that the converse of this implication was not held. The existence of the limit (1) with some suitable condition may imply (2). Such a condition is called a Tauberian condition and the resulting theorem is called a Tauberian theorem.
A fuzzy analogue of a classical two-sided Tauberian theorem of Hardy [12] for Cesàro summability method is given by Subrahmanyam [16] and it states that if (1) is satisfied and there exists a positive constant C such that
then (un) is convergent to L.
Fuzzy analogue of the concept of slowly oscillating sequence is introduced by Subrahmanyam [16].
A sequence (un) of fuzzy numbers is said to be slowly oscillating if
Note that the slow oscillation is introduced by Schmidt [14] for sequences of real numbers. It is clear that (3) implies (3).
It is also proved by Subrahmanyam [16] that if (1) is satisfied and (un) is slowly oscillating, then (un) is convergent to L. Talo and Çakan [18] have given necessary and sufficient Tauberian conditions, under which convergence follows from Cesàro convergence of sequences of fuzzy numbers. Altın et al. [2] have studied the concept of statistical summability (C, 1) for sequences of fuzzy real numbers and obtained a Tauberian theorem. Recently, Çanak [5–7] have established some Tauberian theorems for Cesàro summability of sequences of fuzzy numbers. Furthermore, Çanak [8] and Önder et al. [13] have proved some Tauberian type theorems for the weighted mean method of summability of sequences of fuzzy numbers. In addition, sequences of fuzzy numbers have been discussed by Altınok and Mursaleen [3], Çolak et al. [9], Alotaibi et al. [1] and many others.
The fuzzy analogue of the concept of slow oscillation defined by Schmidt may not be operational to handle in some cases. For this reason we use the following fuzzy analogue of the concept of slow oscillation given in [15] and used in [10, 11].
A sequence (un) of fuzzy numbers is slowly oscillating if
Here, [λn] denotes the integer part of λn. An equivalent reformulation of (5) is the following:
For every ɛ > 0 there exist n1 > 0 and λ > 1 such that
whenever n1 < n < k ≤ [λn].
In this paper we show that the limit of the distance between nth term of a sequence of fuzzy numbers and nth term of its Cesàro mean of order is zero under the conditions (12) and (13) (resp. (14) and (15)). As corollaries we prove several Tauberian theorems for Cesàro summability of sequences of fuzzy numbers.
Lemmas
For the proof of Theorems 3.1 and 3.2, we need the following Lemmas.
Lemma 2.1. [17] Let (un) be a sequence of fuzzy numbers. Then,
(i) For λ > 1 and sufficiently large n,
(ii) For 0 < λ < 1 and sufficiently large n,
Lemma 2.2.Let (un) be a sequence of fuzzy numbers. Then, (i) For λ > 1 and sufficiently large n,
(ii) For 0 < λ < 1 and sufficiently large n,
Proof. (i) For λ > 1 and sufficiently large n, we have
which is equivalent to (8).
(ii) For 0 < λ < 1 and sufficiently large n, we have
which is equivalent to (9). □
Lemma 2.3.Let (un) be a sequence of fuzzy numbers. Then, (i) For λ > 1 and sufficiently large n,
(ii) For 0 < λ < 1 and sufficiently large n,
Proof. (i) We have
It follows by Lemma 2.2 (i) that
(ii) We have
It follows by Lemma 2.2 (ii) that
Main results
We prove the following theorems.
Theorem 3.1.For a sequence (un) of fuzy numbers, let
If
is satisfied for some constant C and some α > 1, then
Theorem 3.2.For a sequence (un) of fuzzy numbers, let
If
holds for some constant K and some β > 1, then
In Theorems 3.1 and 3.2, and are de la Vallée Poussin means of (un) and are defined by
for λ > 1 and sufficiently large n, and
for 0 < λ < 1 and sufficiently large n, respectively.
Proof of Theorem 3.1
Suppose that the condition (13) is satisfied. Taking the lim sup of both sides of (10) as n→ ∞, we obtain, for each λ > 1,
By condition (13), we have
Taking the lim inf of both sides of (16) as λ → 1+, we get
By (12), we have, from (17),
This completes the proof of Theorem 3.1.
Proof of Theorem 3.2
Suppose that the condition (13) is satisfied. Taking the lim sup of both sides of (10) as n→ ∞, we obtain, for each 0 < λ < 1,
By the condition (15), we have
Taking the lim inf of both sides of (19) as λ → 1-, we get
By (14), we have, from (20),
This completes the proof of Theorem 3.2.
Corollaries
As corollaries we have the following classical Tauberian theorems for Cesàro summability of fuzzy numbers.
Corollary 6.1.Let (un) be Cesàro summable to L. If the condition (12) is satisfied, then (un) is convergent to L.
Proof. We show that the condition (13) is satisfied. Assume that (un) is Cesàro summable to L and the condition (12) is satisfied. We have, for λ > 1,
It follows from (22) that
This shows that the condition (13) is satisfied.
By Theorem 3.1, we have Since (un) is Cesàro summable to L, we have, by the triangle inequality,
This implies that (un) is convergent to L. □
Corollary 6.2.Let (un) be Cesàro summable to L. If the condition (12) is satisfied, then (un) is convergent to L.
Proof. We show that the condition (15) is satisfied. Assume that (un) is Cesàro summable to L and the condition (14) is satisfied. We have, for 0 < λ < 1,
It follows from (23) that
This shows that the condition (15) is satisfied.
By Theorem 3.1, we have Since (un) is Cesàro summable to L, we have
This implies that (un) is convergent to L. □
In the next corollary, it is shown that slow oscillation of a sequence is a Tauberian condition for Cesàro summability of sequences of fuzzy numbers.
Corollary 6.3.Let (un) be Cesàro summable to L. If (un) is slowly oscillating, then (un) is convergent to L.
Proof. Suppose that (un) is slowly oscillating. Then we have
Taking the lim sup of both sides of (24) as n→ ∞, we get
It follows from (23) that
By Corollary 6.1, we have that (un) converges to L. □
As a special case of Corollary 6.3 we have the following result.
Corollary 6.4.Let (un) be Cesàro summable to L. If
then (un) is convergent to L.
Proof. The proof easily follows from the implication (refc3) ⇒ (refC) . □
An example
We now present an example defined by Talo and Çakan [18] for different purposes as an application of Theorem 3.1. Consider the fuzzy sequence u = (un) defined by , where
We first show that u = (un) is slowly oscillating. Indeed, for all n1 < k ≤ [λn] with 1 < λ ≤ 1 + ɛ, we have
We conclude by Corollary 6.3 that (un) satisfies condition (12). It is easy to show that (un) is not convergent. It follows by Corollary 6.3 that (σn) is not convergent. We now show that (13) is satisfied. For λ > 1, we have
for some constant C. Taking the lim sup of both sides of (27) as n→ ∞, we get
Since conditions (12) and (13) of Theorem 3.1 are satisfied, we have
References
1.
AlotaibiA., MursaleenM., SharmaS.K. and MohiuddineS.A., Sequence spaces of fuzzy numbers defined by a Musielak-Orlicz function, Filomat29(7) (2015), 1461–1468.
2.
AltinY., MursaleenM. and AltinokH., Statistical summability (C, 1) for sequences of fuzzy real numbers and a Tauberian theorem, J Intell Fuzzy Syst21(6) (2010), 379–384.
3.
AltinokH. and MursaleenM., Δ-statistically boundedness for sequences of fuzzy numbers, Taiwanese J Math15(5) (2011), 2081–2093.
4.
BedeB. and GalS.G., Almost periodic fuzzy-number-valued functions, Fuzzy Sets Syst147(3) (2004), 385–403.
5.
Çanakİ., Tauberian theorems for Cesàro summability of sequences of fuzzy numbers, J Intell Fuzzy Systems27(2) (2014), 937–942.
6.
Çanakİ., Hölder summability method of fuzzy numbers and a Tauberian theorem, Iran J Fuzzy Syst11(4) (2014), 87–93.
7.
Çanakİ., Some conditions under which slow oscillation of a sequence of fuzzy numbers follows from Cesaro summability of its generator sequence, Iran J Fuzzy Syst11(4) (2014), 15–22.
8.
Çanakİ., On the Riesz mean of sequences of fuzzy real numbers, J Intell Fuzzy Systems26(6) (2014), 2685–2688.
9.
ÇolakR., AltinY. and MursaleenM., On some sets of difference sequences of fuzzy numbers, Soft Comput15 (2011), 787–793.
10.
DikF., Tauberian theorems for convergence and subsequential convergence with controlled oscillatory behavior, Math Morav5 (2001), 19–56.
11.
DikM., Tauberian theorems for sequences with moderately oscillatory control modulo, Math Morav5 (2001), 57–94.
12.
HardyG.H., Divergent series, Oxford University Press,
1949.
13.
ÖnderZ., SezerS.A. and Çanakİ., A Tauberian theorem for the weighted mean method of summability of sequences of fuzzy numbers, J Intell Fuzzy Systems28(3) (2015), 1403–1409.
14.
SchmidtR., Über divergente Folgen und lineare Mittelbildungen, Math Z22 (1925), 89–152.
15.
StanojevićČ.V.,
Analysis of Divergence: Control and Management of Divergent Process, edited by İ Çanak, Graduate
Research Seminar Lecture Notes, University of Missouri-Rolla, Rolla, MO, USA, 1998.
16.
SubrahmanyamP.V., Cesàro summability of fuzzy real numbers, J Anal7 (1999), 159–168.
17.
TaloÖ. and BaşarF., On the slowly decreasing sequences of fuzzy numbers, Abstr Appl Anal2013 (2013), 1–7. Article ID 891986.
18.
TaloÖ. and ÇakanC., On the Cesàro convergence of sequences of fuzzy numbers, Appl Math Lett25 (2012), 676–681.