Abstract
In the current paper, we define Borel summability of sequences of fuzzy numbers and investigate Tauberian conditions under which Borel summable sequences of fuzzy numbers are convergent. Also, we give analogous Tauberian results for Borel summability method of series of fuzzy numbers.
Introduction
A sequence (s
k
) of complex numbers is said to be Borel summable to s if the series converges for all and
Many studies have been done on power series methods of summability of sequences of complex numbers [6–8, 53], and particularly on the Borel summability method [9, 48]. On the other hand, besides the developments in various branches of fuzzy mathematics [10, 59], the theory of sequences of fuzzy numbers has become a recent research area. The concept of sequence of fuzzy numbers was defined in [35] and different classes of sequences of fuzzy numbers have been introduced followingly [3, 50–52]. Furthermore, various weighted mean methods of summability for sequences of fuzzy numbers have been defined and studied recently [2, 49]. Also, as a power series method, Abel summability method of sequences of fuzzy numbers has been introduced in [54]. In the light of the studies above, in this study we define Borel summability method for sequences and series of fuzzy numbers and give Tauberian conditions for the Borel summability method.
Before continuing with main results, we give some definitions and theorems which are necessary.
A fuzzy number is a fuzzy set on the real axis, i.e. a mapping which satisfies the following four conditions: u is normal, i.e. there exists an such that u (t0) =1. u is fuzzy convex, i.e. u [λx + (1 - λ) y] ≥ min {u (x) , u (y)} for all and for all λ ∈ [0, 1]. u is upper semi-continuous. The set is compact [55], where denotes the closure of the set in the usual topology of .
We denote the set of all fuzzy numbers on by E1 and call it the space of fuzzy numbers.
λ-level set [u]
λ of u ∈ E1 is defined by
The set [u]
λ is closed, bounded and non-empty interval for each λ ∈ [0, 1] which is defined by [u]
λ : = [u- (λ) , u+ (λ)]. , the set of real numbers, can be embedded in E1, since each can be regarded as a fuzzy number defined by
Following theorem is very useful to represent a fuzzy number by means of an interval of real numbers.
u- (λ) is a bounded and non-decreasing left continuous function on (0, 1]. u+ (λ) is a bounded and non-increasing left continuous function on (0, 1]. The functionsu- (λ) andu+ (λ) are right continuous at the point λ = 0. u- (1) ≤ u+ (1).
Conversely, if the pair of functions α and β satisfies the conditions (i)-(iv), then there exists a unique u ∈ E1 such that [u] λ : = [α (λ) , β (λ)] for each λ ∈ [0, 1]. The fuzzy number u corresponding to the pair of functions α and β is defined by , u (t) : = sup {λ : α (λ) ≤ t ≤ β (λ)}.
Let u, v, w ∈ E1 and . Then the operations addition and scalar multiplication are defined on E1 as
is neutral element with respect to +, i.e.,for allu ∈ E1. With respect to, none of, has opposite inE1 . For anywitha, b ≥ 0 or a, b ≤ 0 and anyu ∈ E1, we have (a + b) u = au + bu. For general, the above property does not hold. For anyand anyu, v ∈ E1, we havea (u + v) = au + av . For anyand anyu ∈ E1, we havea (bu) = (ab) u .
Let W be the set of all closed bounded intervals A of real numbers with endpoints and , i.e. . Define the relation d on W by
Then it can easily be observed that d is a metric on W (cf. Diamond and Kloeden [18]) and (W, d) is a complete metric space ([37]). Now, we may define the metric D on E1 by means of the Hausdorff metric d as
One may also see [27] for another recent metric defined by means of λ-level set concept.
(E1, D) is a complete metric space. D (ku, kv) = |k|D (u, v). D (u + v, w + v) = D (u, w). D (u + v, w + z) ≤ D (u, w) + D (v, z). .
A sequence u = (u k ) of fuzzy numbers is a function u from the set , the set of natural numbers, into the set E1.
A sequence (u k ) of fuzzy numbers is said to be bounded if there exists M > 0 such that for all . We denote the set of all bounded sequences of fuzzy numbers by ℓ∞ (F).
A sequence (u k ) of fuzzy numbers is said to be convergent to μ ∈ E1 if for every ɛ > 0 there exists an such that D (u k , μ) < ɛ forall k ≥ k0 .
The fuzzy number L ∈ E1 is called the limit of fuzzy-valued function as x approaches a if for every ɛ > 0 there exists δ > 0 such that D (f (x) , L) < ɛ whenever |x - a| < δ.
Now we introduce the series of fuzzy numbers. We note that, throughout this paper, we mean by ∑u k .
We say otherwise the series of fuzzy numbers diverges. Additionally, if the sequence (s n ) is bounded then we say that the series ∑u k of fuzzy numbers is bounded. We denote the set of all bounded series of fuzzy numbers by bs (F).
Main results
The following example shows that a Borel summable sequence does not have to converge.
Then λ-level set of u
k
is
Now since
converge uniformly in λ, converges by Definition 1 and
Since
This shows that sequence (u k ) is Borel summable to fuzzy number , but not convergent. □
Now, we give the conditions under which Borel summable sequences of fuzzy numbers are also convergent and bounded.
Since 2M (n1 + 1) e-nnn1+1/2 → 0, and (u
k
) is Borel summable to μ, the followings hold: sep 5pt There exists such that whenever n > n2. There exists such that whenever n > n3. There exists such that whenever n > n4.
This means that there exists n0 = max {n1, n2, n3, n4} such that for n > n0 we have D (u n , μ) < ɛ, which completes the proof.□
In view of the results obtained above for the sequences of fuzzy numbers, as corollaries, we may define Borel summability method of series of fuzzy numbers and give related Tauberian results.
Conclusion
In this paper, we have introduced the Borel summability method for sequences of fuzzy numbers and given some conditions for sequences of fuzzy numbers under which convergence follows from Borel summability. Also, as corollaries, we have obtained similar results for Borel summability of series of fuzzy numbers. Advantage of the Borel summability method is that one can handle fast-growing divergent series of fuzzy numbers even with factorially growing terms. Such divergent series are remarkably ubiquitous in the classical analysis and researchers used Borel type summability methods as a tool to sum these series occuring as solutions of problems on the theory of differential equations [4, 36]. On the other hand, the theory of fuzzy differential equations has been introduced recently and some concepts known from the classical case have been extended to the theory [1, 58]. At this point, current paper, pioneering the concept of Borel type summability methods on fuzzy number space, is likely to help researchers who deal with fuzzy analogues of above mentioned problems on the theory of fuzzy differential equations.
Footnotes
Acknowledgments
The authors would like to express their gratitude to associate editor and referees for many helpful and detailed suggestions on the main results and presentation of the paper.
