# On Fourier Series of Fuzzy-Valued Functions

Authors: Uğur Kadak; Feyzi Başar
Journal: The Scientific World Journal
 (2014)

---

## Abstract

Fourier analysis is a powerful tool for many problems, and especially for solving various differential equations of interest in science and engineering. In the present paper since the utilization of Zadeh’s Extension principle is quite difficult in practice, we prefer the idea of level sets in order to construct a fuzzy-valued function on a closed interval via related membership function. We derive uniform convergence of a fuzzy-valued function sequences and series with level sets. Also we study Hukuhara differentiation and Henstock integration of a fuzzy-valued function with some necessary inclusions. Furthermore, Fourier series of periodic fuzzy-valued functions is defined and its complex form is given via sine and cosine fuzzy coefficients with an illustrative example. Finally, by using the Dirichlet kernel and its properties, we especially examine the convergence of Fourier series of fuzzy-valued functions at each point of discontinuity, where one-sided limits exist.


---

## Body

## 1. Introduction

Fourier series were introduced by Joseph Fourier (1768–1830) for the purpose of solving the heat equation in a metal plate and it has long provided one of the principal methods of analysis for mathematical physics, engineering, and signal processing. While the original theory of Fourier series applies to the periodic functions occurring in wave motion, such as with light and sound, its generalizations often relate to wider settings, such as the time-frequency analysis underlying the recent theories of wavelet analysis and local trigonometric analysis. Additionally, the idea of Fourier was to model a complicated heat source as a superposition (or linear combination) of simple sine and cosine waves and to write the solution as a superposition of the corresponding eigen solutions. This superposition or linear combination is called the Fourier series.Due to the rapid development of the fuzzy theory, however, some of these basic concepts have been modified and improved. One of them set mapping operations to the case of interval valued fuzzy sets. To accomplish this, we need to introduce the idea of the level sets of interval fuzzy sets and the related formulation of a representation of an interval valued fuzzy set in terms of its level sets. Once having these structures, we can then provide the desired extension to interval valued fuzzy sets. The effectiveness of level sets comes from not only their required memory capacity for fuzzy sets, but also from their two valued nature. This nature contributes to an effective derivation of the fuzzy-inference algorithm based on the families of the level sets. Besides, the definition of fuzzy sets by level sets offers advantages over membership functions, especially when the fuzzy sets are in universes of discourse with many elements.Furthermore, we also study the Fourier series of periodic fuzzy-valued functions. Using a different approach, it can be shown that the Fourier series with fuzzy coefficients converges. Applying this idea, we establish some connections between the Fourier series and Fourier series of fuzzy-valued functions with the level sets. Quite recently, by using Zadeh’s Extension Principle, M. Stojaković and Z. Stojaković investigated the convergence of series of fuzzy numbers in [1] and they gave some results which complete their previous results in [2]. Additionally, Talo and Başar [3] have extended the main results related to the sequence spaces and matrix transformations on the real or complex field to the fuzzy numbers with the level sets. Also, Kadak and Başar [4, 5] have recently studied the power series of fuzzy numbers and examined on some sets of fuzzy-valued sequences with the level sets and gave some properties of the level sets together with some inclusion relations in [6].The rest of this paper is organized as follows. In Section2, we give some required definitions and consequences related to the fuzzy numbers, sequences, and series of fuzzy numbers. We also report the most relevant and recent literature in this section. In Section 3, first, the definition of periodic fuzzy-valued function is given which will be used in the proof of our main results. In this section, Hukuhara differentiation and Henstock integration are presented according to fuzzy-valued functions which depend on x,t∈[a,b]. This section is terminated with the condensation of the results on uniform convergence of fuzzy-valued sequences and series. In the final section of the paper, we assert that the Fourier series of a fuzzy-valued function with 2π period converges and especially prove the convergence about a discontinuity point by using Dirichlet kernel and one-sided limits.


## 2. Preliminaries, Background, and Notation

Afuzzy number is a fuzzy set on the real axis; that is, a mapping u:ℝ→[0,1] which satisfies the following four conditions.(i)
u is normal; that is, there exists an x0∈ℝ such that u(x0)=1.(ii)
u is fuzzy convex; that is, u[λx+(1-λ)y]≥min⁡⁡{u(x),u(y)} for all x,y∈ℝ and for all λ∈[0,1].(iii)
u is upper semicontinuous.(iv)
The set[u]0={x∈ℝ:u(x)>0}¯ is compact (cf. Zadeh [7]), where {x∈ℝ:u(x)>0}¯ denotes the closure of the set {x∈ℝ:u(x)>0} in the usual topology of ℝ.We denote the set of all fuzzy numbers on ℝ by E1 and called itthe space of fuzzy numbers. λ-level set[u]λ of u∈E1 is defined by
(1)[u]λ≔{{t∈ℝ:u(t)≥λ},0<λ≤1,{t∈ℝ:u(t)>λ}¯,λ=0.
The set [u]λ is closed, bounded and, nonempty interval for each λ∈[0,1] which is defined by [u]λ≔[u-(λ),u+(λ)]. ℝ can be embedded in E1, since each r∈ℝ can be regarded as a fuzzy number r¯ defined by
(2)r¯(x)≔{1,x=r,0,x≠r.Representation Theorem (see [8]).Let[u]λ=[u-(λ),u+(λ)]foru∈E1for eachλ∈[0,1]. Then the following statements hold.(i)
u-is a bounded and nondecreasing left continuous function on]0,1].(ii)
u+is a bounded and nonincreasing left continuous function on]0,1].(iii)
The functionsu-andu+are right continuous at the pointλ=0.(iv)
u-(1)≤u+(1).Conversely, if the pair of functions
u
-
and
u
+
satisfies the conditions (i)–(iv), then there exists a unique
u
∈
E
1
such that
[
u
]
λ
≔
[
u
-
(
λ
)
,
u
+
(
λ
)
]
for each
λ
∈
[
0,1
]
. The fuzzy number
u
corresponding to the pair of functions
u
-
and
u
+
is defined by
u
:
ℝ
→
[
0,1
]
,
u
(
x
)
≔
sup
⁡
{
λ
:
u
-
(
λ
)
≤
x
≤
u
+
(
λ
)
}
.Definition 1 ((trapezoidal fuzzy number) [9, Definition, p. 145]).
We can define trapezoidal fuzzy numberu as u=(u1,u2,u3,u4); the membership function μ(u) of this fuzzy number will be interpreted as follows:
(3)μ(u)(x)≔{x-u1u2-u1,u1≤x≤u2,1,u2≤x≤u3,u4-xu4-u3,u3≤x≤u4,0,u4<x<u1.
Then, the result [u]λ≔[u-(λ),u+(λ)]=[(u2-u1)λ+u1,-(u4-u3)λ+u4] holds for each λ∈[0,1].Letu,v,w∈E1 and α∈ℝ. Then the operations addition, scalar multiplication and product defined on E1 by
(4)u⊕v=w⟺[w]λ=[u]λ⊕[v]λ∀λ∈[0,1],⟺w-(λ)=u-(λ)+v-(λ),w+(λ)=u+(λ)+v+(λ)∀λ∈[0,1],[αu]λ=α[u]λ∀λ∈[0,1],uv=w⟺[w]λ=[u]λ[v]λ∀λ∈[0,1],
where it is immediate that
(5)w-(λ)=min⁡⁡{u-(λ)v-(λ),u-(λ)v+(λ),u+(λ)v-(λ),u+(λ)v+(λ)},w+(λ)=max⁡⁡{u-(λ)v-(λ),u-(λ)v+(λ),u+(λ)v-(λ),u+(λ)v+(λ)}
for all λ∈[0,1]. Let W be the set of all closed bounded intervals A of real numbers with endpoints A_ and A¯; that is, A≔[A_,A¯]. Define the relation d on W by
(6)d(A,B)≔max⁡⁡{|A_-B_|,|A¯-B¯|}.
Then it can easily be observed that d is a metric on W (cf. Diamond and Kloeden [10]) and (W,d) is a complete metric space (cf. Nanda [11]). Now, we can define the metric D on E1 by means of the Hausdorff metric d as
(7)D(u,v)≔sup⁡λ∈[0,1]d([u]λ,[v]λ)≔sup⁡λ∈[0,1]max⁡⁡{|A_-B_||u-(λ)-v-(λ)|,|u+(λ)-v+(λ)|}.Definition 2 (see [12], Definition 2.1).
u
∈
E
1 is said to be a nonnegative fuzzy number if and only if u(x)=0 for all x<0. It is immediate that u⪰0¯ if u is a nonnegative fuzzy number.
One can see that(8)D(u,0¯)=sup⁡λ∈[0,1]max⁡⁡{|u-(λ)|,|u+(λ)|}=max⁡⁡{|u-(0)|,|u+(0)|}.Proposition 3 (see [13]).
Letu,v,w,z∈E1 and α∈ℝ. Then, (i)
(E1,D)is a complete metric space, (cf. Puri and Ralescu [14]).(ii)
D(αu,αv)=|α|D(u,v).(iii)
D(u⊕v,w⊕v)=D(u,w).(iv)
D(u⊕v,w⊕z)≤D(u,w)+D(v,z).(v)
|D(u,0¯)-D(v,0¯)|≤D(u,v)≤D(u,0¯)+D(v,0¯).Definition 4.
The following basic statements hold.(i)
[12, Definition 2.7] A sequence u=(uk) of fuzzy numbers is a function u from the set ℕ into the set E1. The fuzzy number uk denotes the value of the function at k∈ℕ and is called as the general term of the sequence. By ω(F), we denote the set of all sequences of fuzzy numbers.(ii)
[12, Definition 2.9] A sequence (un)∈ω(F) is called convergent with limit u∈E1  if and only if for every ε>0 there exists n0=n0(ε)∈ℕ such that D(un,u)<ε for all n≥n0.(iii)
[12, Definition 2.11] A sequence (un)∈ω(F) is called bounded if and only if the set of fuzzy numbers consisting of the terms of the sequence (un) is a bounded set; that is to say, a sequence (un)∈ω(F) is bounded if and only if there exist two fuzzy numbers m and M such that m⪯un⪯M for all n∈ℕ. This means that m-(λ)≤un-(λ)≤M-(λ) and m+(λ)≤un+(λ)≤M+(λ) for all λ∈[0,1].Remark 5 (see [12]).
According to Definition4, the following remarks can be given.(a)
Obviously the sequence(un)∈ω(F) converges to a fuzzy number u if and only if {un-(λ)} and {un+(λ)} converge uniformly to u-(λ) and u+(λ) on [0,1], respectively.(b)
The boundedness of the sequence(un)∈ω(F) is equivalent to the fact that
(9)sup⁡n∈ℕ⁡D(un,0¯)=sup⁡n∈ℕsup⁡λ∈[0,1]max⁡⁡{|un-(λ)|,|un+(λ)|}<∞.If the sequence(uk)∈ω(F) is bounded then the sequences of functions {uk-(λ)} and {uk+(λ)} are uniformly bounded in [0,1].Definition 6 (see [12]).
Let(uk)∈ω(F). Then the expression ∑k‍uk⊕ is called a series of fuzzy numbers with the level summation ∑⊕. Define the sequence (sn) via nth partial level sum of the series by
(10)sn=u0⊕u1⊕u2⊕⋯⊕un
for all n∈ℕ. If the sequence (sn) converges to a fuzzy number u then we say that the series ∑k‍uk⊕ of fuzzy numbers converges to u and write ∑k‍uk⊕ which implies that
(11)lim⁡n→∞∑k=0nuk-(λ)=u-(λ),lim⁡n→∞∑k=0nuk+(λ)=u+(λ),
where the summation is in the sense of classical summation and converges uniformly in λ∈[0,1]. Conversely, if
(12)∑kuk-(λ)=u-(λ),∑kuk+(λ)=u+(λ)
converge uniformly in λ, then u={(u-(λ),u+(λ)):λ∈[0,1]} defines a fuzzy number such that u=∑kuk⊕.Definition 7 (see [12, Definition 2.14]).
Let{fk(λ)} be a sequence of functions defined on [a,b] and λ0∈]a,b]. Then, {fk(λ)} is said to be eventually equi-left-continuous at λ0 if for any ε>0 there exist n0∈ℕ and δ>0 such that |fk(λ)-fk(λ0)|<ε whenever λ∈]λ0-δ,λ0] and k≥n0. Similarly, eventually equi-right-continuity at λ0∈[a,b[ of {fk(λ)} can be defined.Theorem 8 (see [12, Theorem 2.15]).
Let(uk)∈ω(F) such that uk-(λ)→u-(λ) and uk+(λ)→u+(λ), as k→∞ for each λ∈[0,1]. Then, the pair of functions u- and u+ determines a fuzzy number if and only if the sequences of functions {uk-(λ)} and {uk+(λ)} are eventually equi-left-continuous at each λ∈]0,1] and eventually equi-right-continuous at λ=0.Thus, it is deduced that the series∑k=0∞uk-(λ)=u-(λ) and ∑k=0∞uk+(λ)=u+(λ) define a fuzzy number if the sequences
(13){sn-(λ)}={∑k=0nuk-(λ)},{sn+(λ)}={∑k=0nuk+(λ)}
satisfy the conditions of Theorem 8.Theorem 9 (cf. [13]).
The following statements for level addition⊕ of fuzzy numbers and classical addition + of real scalars are valid.(i)
0¯ is neutral element with respect to ⊕; that is, u⊕0¯=0¯⊕u=u for all u∈E1.(ii)
With respect to0¯, none of u≠r¯,r∈ℝ has opposite in E1.(iii)
For anyα,β∈ℝ with α,β≥0 or α,β≤0, and any u∈E1, we have (α+β)u=αu⊕βu.For generalα,β∈ℝ, the above property does not hold.(iv)
For anyα∈ℝ and any u,v∈E1, we have α(u⊕v)=αu⊕αv.(v)
For anyα,β∈ℝ and any u∈E1, we have α(βu)=(αβ)u.


### 2.1. Generalized Hukuhara Difference

Let𝒦 be the space of nonempty compact and convex sets in the n-dimensional Euclidean space ℝn. If n=1, denote by I the set of (closed bounded) intervals of the real line. Given two elements A,B∈𝒦 and α∈ℝ, the usual interval arithmetic operations, that is, addition and scalar multiplication, are defined by A+B={a+b:a∈A,b∈B} and αA={αa:a∈A}. It is well known that addition is associative and commutative and with neutral element {0}. If α=-1, scalar multiplication gives the opposite -A=(-1)A={-a:a∈A} but, in general, A+(-A)≠0; that is, the opposite of A is not the inverse of A in addition unless A is a singleton. A first consequence of this fact is that, in general, additive simplification is not valid.To partially overcome this situation, theHukuhara difference, H-difference for short, has been introduced as a set C for which A⊖B⇔A=B+C and an important property of ⊖ is that A⊖A={0} for all A∈𝒦 and (A+B)⊖B=A for all A,B∈𝒦. The H-difference is unique, but it does not always exist. A necessary condition for A⊖B to exist is that A contains a translation {c}+B of B.A generalization of the Hukuhara difference proposed in [15] aims to overcome this situation.Definition 10 (see [15, Definition 1]).
The generalized Hukuhara differenceA⊖B of two sets A,B∈𝒦 is defined as follows:
(14)A⊖B=C⟺{A=B+C,B=A+(-1)C.Proposition 11 (see [15]).
The following statements hold.(a)
LetA,B∈𝒦be two compact convex sets. Then, we have that
(i)
if the H-difference exists, it is unique and is a generalization of the usual Hukuhara difference sinceA⊖B=A-B, wheneverA⊖Bexists.(ii)
A+(-A)≠0.(iii)
(A+B)⊖B=A.(iv)
A⊖B=B⊖A=C⇔C={0}andA=B.(b)
The H-difference of two intervalsA=[a-,a+]andB=[b-,b+]always exists and(15)[a-,a+]⊖[b-,b+]=[c-,c+],wherec-=min⁡{a--b-,a+-b+},c+=max⁡{a--b-,a+-b+}which hold in Definition10 are satisfied simultaneously if and only if the two intervals have the same length andc-=c+.Proposition 12 (see [16]).
The following statements hold.(a)
IfAandBare two closed intervals, thenD(A,B)=D(A⊖B,{0}).(b)
Letu:[a,b]→Ibe such thatu(x)=[u-(x),u+(x)]. Then, we have(16)lim⁡x→x0u(x)=ℓ⟺lim⁡x→x0(u(x)⊖ℓ)={0},lim⁡x→x0u(x)=u(x0)⟺lim⁡x→x0(u(x)⊖u(x0))={0},where the limits are in the Hausdorff metricdfor intervals.


## 2.1. Generalized Hukuhara Difference

Let𝒦 be the space of nonempty compact and convex sets in the n-dimensional Euclidean space ℝn. If n=1, denote by I the set of (closed bounded) intervals of the real line. Given two elements A,B∈𝒦 and α∈ℝ, the usual interval arithmetic operations, that is, addition and scalar multiplication, are defined by A+B={a+b:a∈A,b∈B} and αA={αa:a∈A}. It is well known that addition is associative and commutative and with neutral element {0}. If α=-1, scalar multiplication gives the opposite -A=(-1)A={-a:a∈A} but, in general, A+(-A)≠0; that is, the opposite of A is not the inverse of A in addition unless A is a singleton. A first consequence of this fact is that, in general, additive simplification is not valid.To partially overcome this situation, theHukuhara difference, H-difference for short, has been introduced as a set C for which A⊖B⇔A=B+C and an important property of ⊖ is that A⊖A={0} for all A∈𝒦 and (A+B)⊖B=A for all A,B∈𝒦. The H-difference is unique, but it does not always exist. A necessary condition for A⊖B to exist is that A contains a translation {c}+B of B.A generalization of the Hukuhara difference proposed in [15] aims to overcome this situation.Definition 10 (see [15, Definition 1]).
The generalized Hukuhara differenceA⊖B of two sets A,B∈𝒦 is defined as follows:
(14)A⊖B=C⟺{A=B+C,B=A+(-1)C.Proposition 11 (see [15]).
The following statements hold.(a)
LetA,B∈𝒦be two compact convex sets. Then, we have that
(i)
if the H-difference exists, it is unique and is a generalization of the usual Hukuhara difference sinceA⊖B=A-B, wheneverA⊖Bexists.(ii)
A+(-A)≠0.(iii)
(A+B)⊖B=A.(iv)
A⊖B=B⊖A=C⇔C={0}andA=B.(b)
The H-difference of two intervalsA=[a-,a+]andB=[b-,b+]always exists and(15)[a-,a+]⊖[b-,b+]=[c-,c+],wherec-=min⁡{a--b-,a+-b+},c+=max⁡{a--b-,a+-b+}which hold in Definition10 are satisfied simultaneously if and only if the two intervals have the same length andc-=c+.Proposition 12 (see [16]).
The following statements hold.(a)
IfAandBare two closed intervals, thenD(A,B)=D(A⊖B,{0}).(b)
Letu:[a,b]→Ibe such thatu(x)=[u-(x),u+(x)]. Then, we have(16)lim⁡x→x0u(x)=ℓ⟺lim⁡x→x0(u(x)⊖ℓ)={0},lim⁡x→x0u(x)=u(x0)⟺lim⁡x→x0(u(x)⊖u(x0))={0},where the limits are in the Hausdorff metricdfor intervals.


## 3. Fuzzy-Valued Functions with the Level Sets

In this chapter, we consider sequences and series of fuzzy-valued function and develop uniform convergence, Hukuhara differentiation, and Henstock integration. In addition, we present characterizations of uniform convergence signs in sequences of fuzzy-valued functions.Definition 13 (see [6]).
Consider a functionft from [a,b] into E1 with respect to a membership function μft which is called trapezoidal fuzzy number and is interpreted as follows:
(17)μft(x)≔{x-f1(t)f2(t)-f1(t),f1(t)≤x≤f2(t),1,f2(t)≤x≤f3(t),f4(t)-xf4(t)-f3(t),f3(t)≤x≤f4(t),0,f4(t)<x<f1(t).
Then, the membership function turns out to be ft(x) = [fλ-(t),fλ+(t)] = [(f2(t)-f1(t))λ+f1(t),f4(t)-(f4(t)-f3(t))λ]∈E1 consisting of each of the functions fλ-,fλ+ depending on t∈[a,b] for all λ∈[0,1]. Then, the function ft is said to be a fuzzy-valued function on [a,b] for all x,t∈[a,b].Remark 14.
The functionsfi with i∈{1,2,3,4} given in Definition 13 are also defined for all t∈[a,b] as fi(t)=k, where k is any constant.Now, following Kadak [17], we give the classical sets CF[a,b] and BF[a,b] consisting of the continuous and bounded fuzzy-valued functions; that is,
(18)CF[a,b]≔{ft∣ft:[a,b]⟶E1∋ftcontinuousfuzzy-valuedfunction∀x,t∈[a,b]{ft∣ft:[a,b]⟶E1∋ftcontinuous},BF[a,b]≔{ft∣ft:[a,b]⟶E1∋ftboundedfuzzy-valuedfunction∀x,t∈[a,b]{ft∣ft:[a,b]⟶E1∋ftbounded}.
Obviously, from Representation Theorem, each of the functions fλ-,fλ+ which depend on t∈[a,b] is left continuous on λ∈(0,1] and right continuous at λ=0. It was shown that CF[a,b] and BF[a,b] are complete with the metric DF∞ on E1 defined by means of the Hausdorff metric d as
(19)DF∞(ft,gt)≔sup⁡x∈[a,b]{D(ft(x),gt(x))}=sup⁡x∈[a,b]{sup⁡λ∈[0,1]d([ft(x)]λ,[gt(x)]λ)}≔max⁡⁡{sup⁡λ∈[0,1]sup⁡t∈[a,b]|fλ-(t)-gλ-(t)|,sup⁡λ∈[0,1]sup⁡t∈[a,b]|fλ+(t)-gλ+(t)|},
where ft=ft(x) and gt=gt(x) are the elements of the sets CF[a,b] or BF[a,b] with x,t∈[a,b].


### 3.1. Generalized Hukuhara Differentiation

The concept of fuzzy differentiability comes from a generalization of the Hukuhara difference for compact convex sets. We prove several properties of the derivative of fuzzy-valued functions considered here. As a continuation of Hukuhara derivatives for real fuzzy-valued functions [18], we can define H-differentiation of a fuzzy-valued function ft with respect to level sets. For short, throughout the paper, we write H instead of “Hukuhara sense.”Definition 15.
A fuzzy-valued functionft:[a,b]→E1 is said to be generalized H-differentiable with respect to the level sets at x,t∈[a,b] if(1)
(ft)′(x)∈E1 exists such that, for all h>0 sufficiently near to 0, the H-difference ft(x+h)⊖ft(x) exists; then the H-derivative (ft)′(x) is given as follows:
(20)(ft)′(x)=lim⁡h→0+[ft(x+h)⊖ft(x)h]λ=[lim⁡h→0+fλ-(t+h)-fλ-(t)h,lim⁡h→0+fλ+(t+h)-fλ+(t)h]=[(fλ-(t))′,(fλ+(t))′],or (2)
(ft)′(x)∈E1 exists such that, for all h<0 sufficiently near to 0, the H-difference ft(x+h)⊖ft(x) exists; then the H-derivative (ft)′(x) is given as follows:
(21)(ft)′(x)=lim⁡h→0-[ft(x+h)⊖ft(x)h]λ=[lim⁡h→0-fλ+(t+h)-fλ+(t)h]lim⁡h→0-fλ-(t+h)-fλ-(t)h,lim⁡h→0-fλ+(t+h)-fλ+(t)h]=[(fλ-)′(t),(fλ+)′(t)]for all x,t∈[a,b] and λ∈[0,1].From here, we remember that the H-derivative offt at x,t∈[a,b] depends on the value t and the choice of a constant λ∈[0,1].Corollary 16.
A fuzzy-valued functionft is H-differentiable if and only if fλ- and fλ+ are differentiable functions in the usual sense.Definition 17 (periodicity).
A fuzzy-valued functionft is called periodic if there exists a constant P>0 for which ft(x+P)=ft(x) for any x,t∈[a,b]. Thus, it can easily be seen that the conditions fλ-(t+P)=fλ-(t) and fλ+(t+P)=fλ+(t) hold for all t∈[a,b] and λ∈[0,1]. Such a constant P>0 is called a period of the function ft.


### 3.2. Generalized Fuzzy-Henstock Integration

Definition 18 (see [19, Definition 8.7]).
A fuzzy valued functionft is said to be fuzzy-Henstock, in short FH-integrable, if for any ϵ>0, there exists δ>0 such that
(22)D(∑P(v-u)ft(ξ),I)=sup⁡λ∈[0,1]max⁡⁡{∑12|∑P(v-u)fλ-(t)-Iλ-|,|∑P(v-u)fλ+(t)-Iλ+|∑12}<ϵ
for any division P={[u,v];ξ} of [a,b] with the norms Δ(P)<δ, where I≔(FH)∫ab‍ft(x)dx and t∈[a,b], and ft is FH-integrable. One can conclude that ∑P‍ in (22) denotes the usual Riemann sum for any division P of [a,b].Theorem 19 (see [19, Theorem 8.8]).
Letft∈CF[a,b] and FH-integrable on [a,b]. If there exists x0∈[a,b] such that fλ-(x0)=fλ+(x0)=1, then
(23)[(FH)∫ab‍ft(x)dx]λ=[∫ax0‍fλ-(t)dt,∫x0b‍fλ+(t)dt].Remark 20.
We remark that the integrals∫abfλ±(t)dt in (23) exist in the usual sense for all λ∈[0,1] and t∈[a,b]. It is easy to see that the pair of functions fλ±:[a,b]→ℝ are continuous.Remark 21.
Note that ifft is periodic fuzzy-valued function and FH-integrable on any interval of length P, then it is FH-integrable on any other of the same length, and the value of the integral is the same; that is,
(24)[(FH)∫aa+Pft(x)dx]λ=[(FH)∫bb+Pft(x)dx]λ
for all x,t∈[a,b] and λ∈[0,1].This property is an immediate consequence of the interpretation of an integral as an area. In fact, each integral (24) equals the area bounded by the curves f±(t), the straight lines x=a and x=b, and the closed interval [a,b] of x-axis. In the present case, the areas represented by two integrals are the same because of the periodicity of ft. Hereafter, when we say that a fuzzy-valued function ft with period P is FH-integrable, we mean that it is FH-integrable on an interval of length P. It follows from the property just proved that ft is also FH-integrable on any interval of finite length.Definition 22 (see [6] (uniform convergence)).
Let{fnt(x)} be a sequence of fuzzy-valued functions defined on a set A⊆ℝ. We say that {fnt(x)} converges pointwise on A if for each x∈A the sequence {fnt(x)} converges for all x,t∈A and λ∈[0,1]. If a sequence {fnt(x)} converges pointwise on a set A, then we can define ft:A→E1 by
(25)lim⁡n→∞fnt(x)=ft(x)foreachx,t∈A.In other words,{fnt(x)} converges to ft on A if and only if for each x∈A and for an arbitrary ϵ>0, there exists an integer N=N(ϵ,x) such that D(fnt(x),ft(x))<ϵ whenever n>N. The integer N in the definition of pointwise convergence may, in general, depend on both ϵ>0 and x∈A. If, however, one integer can be found that works for all points in A, then the convergence is said to be uniform. That is, a sequence of fuzzy-valued functions {fnt(x)} converges uniformly to ft on a set A if, for each ϵ>0, there exists an integer N(ϵ) such that
(26)D(fnt(x),ft(x))<ϵwhenevern>N(ϵ),∀x,t∈A.
Obviously, the sequence (fnt) of fuzzy-valued functions converges to a fuzzy valued-function ft if and only if {(fλ-)n(t)} and {(fλ+)n(t)} converge uniformly to fλ-(t) and fλ+(t) in λ∈[0,1], respectively. Often, we say that ft is the uniform limit of the sequence {fnt(x)} on A and write fnt→ft, n→∞, uniformly on A.Now, as a consequence of Definition22, the following theorem determines the characterization of uniform convergence of fuzzy-valued sequences.Theorem 23 (see [6]).
Letx,t∈A and λ∈[0,1]. Then, the following statements are valid.(i)
A sequence of fuzzy-valued functions{fnt(x)} defined on a set A⊆ℝ converges uniformly to a fuzzy-valued function ft on A if and only if
(27)δn=sup⁡x∈[a,b]D(fnt(x),ft(x))=sup⁡x∈[a,b]{sup⁡λ∈[0,1]d([fnt(x)]λ,[ft(x)]λ)}withlim⁡n→∞δn=0¯.(ii)
The limit of a uniformly convergent sequence of continuous fuzzy-valued functions{fnt} on a set A is continuous. That is, for each a∈A,
(28)lim⁡x→a[lim⁡n→∞fnt(x)]=lim⁡n→∞[lim⁡x→afnt(x)].Theorem 24 (interchange of limit and integration).
Suppose thatfnt(x)∈CF[a,b] for all n∈ℕ such that {fnt(x)} converges uniformly to ft(x) on [a,b]. By combining this and the inclusion (28), the equalities
(29)lim⁡n→∞[(FH)∫abfnt(x)dx]λ=[(FH)∫ablim⁡n→∞fnt(x)dx]λ=[(FH)∫abft(x)dx]λ
hold, where the integral (FH)∫abft(x)dx exists for all x,t∈[a,b] and λ∈[0,1]. Also, for each p∈[a,b], it is trivial that
(30)lim⁡n→∞[(FH)∫apfnt(x)dx]λ=[(FH)∫apft(x)dx]λ=[∫apfλ-(t)dt,∫apfλ+(t)dt]
and the convergence is uniform on [a,b].Proof.
Note that by Part (ii) of Theorem23, ft is continuous on [a,b], so that (FH)∫abft(x)dx exists. Let ε>0 be given. Then, since fnt→ft uniformly on [a,b], there is an integer N=N(ε) such that
(31)D[fnt(x),ft(x)]=max⁡⁡{sup⁡λ∈[0,1]sup⁡t∈[a,b]|fn(t)λ--fλ-(t)|,sup⁡λ∈[0,1]sup⁡t∈[a,b]|fn(t)λ+-fλ+(t)|}<ε(b-a)
for n>N(ε). Again, since the distance function D(fnt,ft) is continuous on [a,b], it follows
(32)D[(FH)∫abfnt(x)dx,(FH)∫abft(x)dx]=sup⁡λ∈[0,1]d([(FH)∫abfnt(x)dx]λ,[(FH)∫abft(x)dx]λ)
and the equality on rigt-hand side in (32) is evaluated as
(33)sup⁡λ∈[0,1]max⁡{|∫ab[fn(t)λ--f(t)λ-]dt|,|∫ab[fn(t)λ+-f(t)λ+]dt|}≤∫abmax⁡{sup⁡λ∈[0,1]sup⁡t∈[a,b]|fn(t)λ--f(t)λ-|,sup⁡λ∈[0,1]sup⁡t∈[a,b]|fn(t)λ+-f(t)λ+|}dt<εb-a(b-a)=ε
for n>N(ε). Since ε is arbitrary, this step completes the proof.The hypothesis of Theorem24 is sufficient for our purposes and may be used to show the nonuniform convergence of the sequence {fnt(x)} on [a,b]. Also, it is important to point out that a direct analogue of Theorem 24 for H-derivatives is not true.Remark 25.
The uniform convergence of{fnt(x)} is sufficient but is not necessary. In other words the conclusion of Theorem 24 holds without {fnt(x)} being convergent uniformly on [a,b].Definition 26.
The series∑k=1∞fkt(x)⊕ is said to be uniformly convergent to a fuzzy-valued function ft(x) on A if the partial level sum {Snt(x)} converges uniformly to ft(x) on A. That is, the series converges uniformly to ft(x) if, given any ε>0, there exists an integer n0(ε) such that
(34)D[∑k=1∞fkt(x),ft(x)⊕]=max⁡⁡{sup⁡λ∈[0,1]sup⁡t∈[a,b]|∑k=1∞fk(t)λ--f(t)λ-|,sup⁡λ∈[0,1]sup⁡t∈[a,b]|∑k=1∞fk(t)λ+-f(t)λ+|}<ε
for all x,t∈A and λ∈[0,1] whenever n≥n0(ε).Corollary 27.
If{fkt(x)} is a continuous fuzzy-valued function on A⊆ℝ for each k≥1 and ∑k≥1fkt(x)⊕ is uniformly convergent to ft(x) on A, then ft is continuous on A for all x,t∈A.Corollary 28 (interchange of summation and integration).
Suppose that{fkt(x)} is a sequence in CF[a,b] and ∑k=0∞fkt(x)⊕ converges uniformly to ft(x) on [a,b]. Then,
(35)[(FH)∑⊕∑k=0∞∫abfkt(x)dx]λ=[(FH)∫ab∑⊕∑k=0∞ft(x)dx]λ=[(FH)∫abfkt(x)dx]λ,
where (FH)∫abft(x)dx exists for all x,t∈[a,b] and λ∈[0,1].Now, we give an important trigonometric system whose special case of one of the systems of functions is applying to the well-known inequalities.By a trigonometric system we mean the system of2π periodic cosine and sine functions which is given by
(36)1,cos⁡⁡(x),sin⁡(x),cos⁡⁡(2x),sin⁡(2x),…,cos⁡⁡(nx),sin⁡(nx),…,
for all n∈ℕ. We now prove some auxiliary formulas for any positive integer n such that ∫-ππcos⁡⁡(nx)dx=∫-ππsin⁡(nx)dx=0. Therefore, one can see by using trigonometric identities that
(37)∫-ππcos⁡⁡mxcos⁡⁡nxdx={0,m≠n,2π,m=n=0,π,m=n≠0,∫-ππsin⁡mxsin⁡nxdx={0,m≠n,π,m=n≠0.It is known that the integral of a periodic function is the same over any interval whose length equals its period. Therefore, the formulas are valid not only for the interval[-π,π] but also for any interval [a,a+2π]; that is, the system (36) is orthogonal on every such interval, where a∈ℝ.


## 3.1. Generalized Hukuhara Differentiation

The concept of fuzzy differentiability comes from a generalization of the Hukuhara difference for compact convex sets. We prove several properties of the derivative of fuzzy-valued functions considered here. As a continuation of Hukuhara derivatives for real fuzzy-valued functions [18], we can define H-differentiation of a fuzzy-valued function ft with respect to level sets. For short, throughout the paper, we write H instead of “Hukuhara sense.”Definition 15.
A fuzzy-valued functionft:[a,b]→E1 is said to be generalized H-differentiable with respect to the level sets at x,t∈[a,b] if(1)
(ft)′(x)∈E1 exists such that, for all h>0 sufficiently near to 0, the H-difference ft(x+h)⊖ft(x) exists; then the H-derivative (ft)′(x) is given as follows:
(20)(ft)′(x)=lim⁡h→0+[ft(x+h)⊖ft(x)h]λ=[lim⁡h→0+fλ-(t+h)-fλ-(t)h,lim⁡h→0+fλ+(t+h)-fλ+(t)h]=[(fλ-(t))′,(fλ+(t))′],or (2)
(ft)′(x)∈E1 exists such that, for all h<0 sufficiently near to 0, the H-difference ft(x+h)⊖ft(x) exists; then the H-derivative (ft)′(x) is given as follows:
(21)(ft)′(x)=lim⁡h→0-[ft(x+h)⊖ft(x)h]λ=[lim⁡h→0-fλ+(t+h)-fλ+(t)h]lim⁡h→0-fλ-(t+h)-fλ-(t)h,lim⁡h→0-fλ+(t+h)-fλ+(t)h]=[(fλ-)′(t),(fλ+)′(t)]for all x,t∈[a,b] and λ∈[0,1].From here, we remember that the H-derivative offt at x,t∈[a,b] depends on the value t and the choice of a constant λ∈[0,1].Corollary 16.
A fuzzy-valued functionft is H-differentiable if and only if fλ- and fλ+ are differentiable functions in the usual sense.Definition 17 (periodicity).
A fuzzy-valued functionft is called periodic if there exists a constant P>0 for which ft(x+P)=ft(x) for any x,t∈[a,b]. Thus, it can easily be seen that the conditions fλ-(t+P)=fλ-(t) and fλ+(t+P)=fλ+(t) hold for all t∈[a,b] and λ∈[0,1]. Such a constant P>0 is called a period of the function ft.


## 3.2. Generalized Fuzzy-Henstock Integration

Definition 18 (see [19, Definition 8.7]).
A fuzzy valued functionft is said to be fuzzy-Henstock, in short FH-integrable, if for any ϵ>0, there exists δ>0 such that
(22)D(∑P(v-u)ft(ξ),I)=sup⁡λ∈[0,1]max⁡⁡{∑12|∑P(v-u)fλ-(t)-Iλ-|,|∑P(v-u)fλ+(t)-Iλ+|∑12}<ϵ
for any division P={[u,v];ξ} of [a,b] with the norms Δ(P)<δ, where I≔(FH)∫ab‍ft(x)dx and t∈[a,b], and ft is FH-integrable. One can conclude that ∑P‍ in (22) denotes the usual Riemann sum for any division P of [a,b].Theorem 19 (see [19, Theorem 8.8]).
Letft∈CF[a,b] and FH-integrable on [a,b]. If there exists x0∈[a,b] such that fλ-(x0)=fλ+(x0)=1, then
(23)[(FH)∫ab‍ft(x)dx]λ=[∫ax0‍fλ-(t)dt,∫x0b‍fλ+(t)dt].Remark 20.
We remark that the integrals∫abfλ±(t)dt in (23) exist in the usual sense for all λ∈[0,1] and t∈[a,b]. It is easy to see that the pair of functions fλ±:[a,b]→ℝ are continuous.Remark 21.
Note that ifft is periodic fuzzy-valued function and FH-integrable on any interval of length P, then it is FH-integrable on any other of the same length, and the value of the integral is the same; that is,
(24)[(FH)∫aa+Pft(x)dx]λ=[(FH)∫bb+Pft(x)dx]λ
for all x,t∈[a,b] and λ∈[0,1].This property is an immediate consequence of the interpretation of an integral as an area. In fact, each integral (24) equals the area bounded by the curves f±(t), the straight lines x=a and x=b, and the closed interval [a,b] of x-axis. In the present case, the areas represented by two integrals are the same because of the periodicity of ft. Hereafter, when we say that a fuzzy-valued function ft with period P is FH-integrable, we mean that it is FH-integrable on an interval of length P. It follows from the property just proved that ft is also FH-integrable on any interval of finite length.Definition 22 (see [6] (uniform convergence)).
Let{fnt(x)} be a sequence of fuzzy-valued functions defined on a set A⊆ℝ. We say that {fnt(x)} converges pointwise on A if for each x∈A the sequence {fnt(x)} converges for all x,t∈A and λ∈[0,1]. If a sequence {fnt(x)} converges pointwise on a set A, then we can define ft:A→E1 by
(25)lim⁡n→∞fnt(x)=ft(x)foreachx,t∈A.In other words,{fnt(x)} converges to ft on A if and only if for each x∈A and for an arbitrary ϵ>0, there exists an integer N=N(ϵ,x) such that D(fnt(x),ft(x))<ϵ whenever n>N. The integer N in the definition of pointwise convergence may, in general, depend on both ϵ>0 and x∈A. If, however, one integer can be found that works for all points in A, then the convergence is said to be uniform. That is, a sequence of fuzzy-valued functions {fnt(x)} converges uniformly to ft on a set A if, for each ϵ>0, there exists an integer N(ϵ) such that
(26)D(fnt(x),ft(x))<ϵwhenevern>N(ϵ),∀x,t∈A.
Obviously, the sequence (fnt) of fuzzy-valued functions converges to a fuzzy valued-function ft if and only if {(fλ-)n(t)} and {(fλ+)n(t)} converge uniformly to fλ-(t) and fλ+(t) in λ∈[0,1], respectively. Often, we say that ft is the uniform limit of the sequence {fnt(x)} on A and write fnt→ft, n→∞, uniformly on A.Now, as a consequence of Definition22, the following theorem determines the characterization of uniform convergence of fuzzy-valued sequences.Theorem 23 (see [6]).
Letx,t∈A and λ∈[0,1]. Then, the following statements are valid.(i)
A sequence of fuzzy-valued functions{fnt(x)} defined on a set A⊆ℝ converges uniformly to a fuzzy-valued function ft on A if and only if
(27)δn=sup⁡x∈[a,b]D(fnt(x),ft(x))=sup⁡x∈[a,b]{sup⁡λ∈[0,1]d([fnt(x)]λ,[ft(x)]λ)}withlim⁡n→∞δn=0¯.(ii)
The limit of a uniformly convergent sequence of continuous fuzzy-valued functions{fnt} on a set A is continuous. That is, for each a∈A,
(28)lim⁡x→a[lim⁡n→∞fnt(x)]=lim⁡n→∞[lim⁡x→afnt(x)].Theorem 24 (interchange of limit and integration).
Suppose thatfnt(x)∈CF[a,b] for all n∈ℕ such that {fnt(x)} converges uniformly to ft(x) on [a,b]. By combining this and the inclusion (28), the equalities
(29)lim⁡n→∞[(FH)∫abfnt(x)dx]λ=[(FH)∫ablim⁡n→∞fnt(x)dx]λ=[(FH)∫abft(x)dx]λ
hold, where the integral (FH)∫abft(x)dx exists for all x,t∈[a,b] and λ∈[0,1]. Also, for each p∈[a,b], it is trivial that
(30)lim⁡n→∞[(FH)∫apfnt(x)dx]λ=[(FH)∫apft(x)dx]λ=[∫apfλ-(t)dt,∫apfλ+(t)dt]
and the convergence is uniform on [a,b].Proof.
Note that by Part (ii) of Theorem23, ft is continuous on [a,b], so that (FH)∫abft(x)dx exists. Let ε>0 be given. Then, since fnt→ft uniformly on [a,b], there is an integer N=N(ε) such that
(31)D[fnt(x),ft(x)]=max⁡⁡{sup⁡λ∈[0,1]sup⁡t∈[a,b]|fn(t)λ--fλ-(t)|,sup⁡λ∈[0,1]sup⁡t∈[a,b]|fn(t)λ+-fλ+(t)|}<ε(b-a)
for n>N(ε). Again, since the distance function D(fnt,ft) is continuous on [a,b], it follows
(32)D[(FH)∫abfnt(x)dx,(FH)∫abft(x)dx]=sup⁡λ∈[0,1]d([(FH)∫abfnt(x)dx]λ,[(FH)∫abft(x)dx]λ)
and the equality on rigt-hand side in (32) is evaluated as
(33)sup⁡λ∈[0,1]max⁡{|∫ab[fn(t)λ--f(t)λ-]dt|,|∫ab[fn(t)λ+-f(t)λ+]dt|}≤∫abmax⁡{sup⁡λ∈[0,1]sup⁡t∈[a,b]|fn(t)λ--f(t)λ-|,sup⁡λ∈[0,1]sup⁡t∈[a,b]|fn(t)λ+-f(t)λ+|}dt<εb-a(b-a)=ε
for n>N(ε). Since ε is arbitrary, this step completes the proof.The hypothesis of Theorem24 is sufficient for our purposes and may be used to show the nonuniform convergence of the sequence {fnt(x)} on [a,b]. Also, it is important to point out that a direct analogue of Theorem 24 for H-derivatives is not true.Remark 25.
The uniform convergence of{fnt(x)} is sufficient but is not necessary. In other words the conclusion of Theorem 24 holds without {fnt(x)} being convergent uniformly on [a,b].Definition 26.
The series∑k=1∞fkt(x)⊕ is said to be uniformly convergent to a fuzzy-valued function ft(x) on A if the partial level sum {Snt(x)} converges uniformly to ft(x) on A. That is, the series converges uniformly to ft(x) if, given any ε>0, there exists an integer n0(ε) such that
(34)D[∑k=1∞fkt(x),ft(x)⊕]=max⁡⁡{sup⁡λ∈[0,1]sup⁡t∈[a,b]|∑k=1∞fk(t)λ--f(t)λ-|,sup⁡λ∈[0,1]sup⁡t∈[a,b]|∑k=1∞fk(t)λ+-f(t)λ+|}<ε
for all x,t∈A and λ∈[0,1] whenever n≥n0(ε).Corollary 27.
If{fkt(x)} is a continuous fuzzy-valued function on A⊆ℝ for each k≥1 and ∑k≥1fkt(x)⊕ is uniformly convergent to ft(x) on A, then ft is continuous on A for all x,t∈A.Corollary 28 (interchange of summation and integration).
Suppose that{fkt(x)} is a sequence in CF[a,b] and ∑k=0∞fkt(x)⊕ converges uniformly to ft(x) on [a,b]. Then,
(35)[(FH)∑⊕∑k=0∞∫abfkt(x)dx]λ=[(FH)∫ab∑⊕∑k=0∞ft(x)dx]λ=[(FH)∫abfkt(x)dx]λ,
where (FH)∫abft(x)dx exists for all x,t∈[a,b] and λ∈[0,1].Now, we give an important trigonometric system whose special case of one of the systems of functions is applying to the well-known inequalities.By a trigonometric system we mean the system of2π periodic cosine and sine functions which is given by
(36)1,cos⁡⁡(x),sin⁡(x),cos⁡⁡(2x),sin⁡(2x),…,cos⁡⁡(nx),sin⁡(nx),…,
for all n∈ℕ. We now prove some auxiliary formulas for any positive integer n such that ∫-ππcos⁡⁡(nx)dx=∫-ππsin⁡(nx)dx=0. Therefore, one can see by using trigonometric identities that
(37)∫-ππcos⁡⁡mxcos⁡⁡nxdx={0,m≠n,2π,m=n=0,π,m=n≠0,∫-ππsin⁡mxsin⁡nxdx={0,m≠n,π,m=n≠0.It is known that the integral of a periodic function is the same over any interval whose length equals its period. Therefore, the formulas are valid not only for the interval[-π,π] but also for any interval [a,a+2π]; that is, the system (36) is orthogonal on every such interval, where a∈ℝ.


## 4. Fourier Series for Fuzzy-Valued Functions of Period2π

Definition 29.
Letft be a 2π-periodic fuzzy-valued function on a set A. The Fourier series of fuzzy-valued function ft of period 2π is defined as follows:
(38)ft(x)≅a0⊕∑⊕∑n=1∞(ancos⁡⁡nx⊕bnsin⁡nx)
with respect to the fuzzy coefficients an and bn, which converges uniformly in λ∈[0,1] for all n∈ℕ and x,t∈A.Now, we can calculate the Fourier coefficientsa0, an, and bn with respect to the level sets; that is, an=[(an)λ-,(an)λ+]. We derive from (38) by FH-integrating over [-π,π] that
(39)[(FH)∫-ππ‍ft(x)dx]λ=[(FH)∫-ππ‍a0dx]λ⊕∑⊕∑n=1∞[(FH)∫-ππ(ancos⁡⁡nx⊕bnsin⁡nx)dx]λ.
As an extension of the relation (39) to write with level sets, we have
(40)[∫-ππfλ-(t)dt,∫-ππfλ+(t)dt]=[∫-ππ(a0)λ-(t)dt,∫-ππ(a0)λ+(t)dt]⊕∑n=1∞[∫-ππ(an)λ-(t)cos⁡⁡ntdt,∫-ππ(an)λ+(t)cos⁡⁡ntdt]⊕∑n=1∞[∫-ππ(bn)λ-(t)sin⁡ntdt,∫-ππ(bn)λ+(t)sin⁡ntdt]
for each λ∈[0,1] and x,t∈[a,b]. By taking into account the formulas of orthogonal system in (36) for each m,n∈ℕ with m≠n, to get an, and by multiplying (39) by cos⁡⁡mx, we obtain by FH-integrating it over [-π,π] that
(41)[(FH)∫-ππ‍ft(x)dx]λ=[(FH)∫-ππ‍a0dx]λ⊕∑⊕∑n=1∞[(FH)∫-ππ{ancos⁡⁡mxcos⁡⁡nx⊕bnsin⁡nxcos⁡⁡mx}dx[(FH)∫-ππ{ancos⁡⁡mxcos⁡⁡nx]λ.Similarly to getbn, multiplying (39) by sin⁡mx and we present by FH-integrating it over [-π,π] that the coefficients a0, an, and bn with respect to the level sets are derived that
(42)an=1π[(FH)∫-ππft(x)cos⁡⁡nxdx]λ=1π[∫-ππ‍fλ-(t)cos⁡⁡ntdt,∫-ππfλ+(t)cos⁡⁡ntdt],(n≥0),bn=1π[(FH)∫-ππft(x)sin⁡nxdx]λ=1π[∫-ππfλ-(t)sin⁡ntdt,∫-ππfλ+(t)sin⁡ntdt],(n≥1).
Combining the trigonometric identity cos⁡⁡(a-b)=cos⁡⁡acos⁡⁡b+sin⁡asin⁡b with a=ns and b=nx and substituting the formulas (42) in (38), one can observe that
(43)ft(x)≅12π[(FH)∫-ππft(x)dx]λ⊕∑⊕∑n=1∞1π[(FH)∫-ππft(x)cos⁡⁡(ns-nx)dx]λ
which is the desired alternate form of the Fourier series of fuzzy-valued function ft on the interval [-π,π] for each λ∈[0,1].Therefore, in looking for a trigonometric series of fuzzy-valued functions whose level sum is a given fuzzy-valued functionft, it is natural to examine first the series whose coefficients are given by (42). The trigonometric series with these coefficients is called the Fourier series of fuzzy-valued function ft. Incidentally, we note that fuzzy coefficients involve FH-integrating of a fuzzy-valued function of period 2π. Therefore, the interval of integration can be replaced by any other interval of length 2π.Remark 30.
Letft be any fuzzy-valued function defined only on [-π,π] in trigonometric series. In this case, nothing at all is said about the periodicity of ft. In fact, if the Fourier series of fuzzy-valued functions turns out to converge to ft, then, since it is a periodic function, the level sum of this automatically gives us the required periodic extension of ft.Example 31.
Letft be 2π-periodic fuzzy valued function and FH-integrable on [-π,π] with trapezoidal form defined by
(44)ft(x)≔{x+πt+π,-π≤x≤t,1,t≤x≤π-t,π-xtπ-t≤x≤π,0,x<-π,x>π
which is FH-integrable on [-π,π] for each x,t∈[a,b] and λ∈[0,1]. By using Definition 1, the level set [ft]λ of the membership function ft can be written as follows:
(45)[ft]λ≔[fλ-(t),fλ+(t)]=[tλ+π(λ-1),π-tλ].
Therefore, we calculate the fuzzy Fourier coefficients a0, an, and bn as follows:
(46)a0=12π[∫-ππ[tλ+π(λ-1)]dt,∫-ππ[π-tλ]dt]=[π(λ-1),π],an=1π[∫-ππ[tλ+π(λ-1)]cos⁡⁡ntdt,∫-ππ[π-tλ]cos⁡⁡ntdt]=[0,0]=[0]λ,bn=1π[∫-ππ[tλ+π(λ-1)]sin⁡ntdt,∫-ππ[π-tλ]sin⁡ntdt]=(-1)n[-2λn,2λn].
By considering above coefficients in (38) and the condition k[uλ-,uλ+]=[kuλ+,kuλ-] if k<0, we have
(47)ft(x)≅[π(λ-1),π]⊕∑⊕∑n=1∞(-1)n[-2λn,2λn]sin⁡nx=[λsin⁡2x-2λ3sin⁡3x+⋯]π(λ-1)+2λsin⁡x-λsin⁡2x+2λ3sin⁡3x-⋯,π-2λsin⁡x+λsin⁡2x-2λ3sin⁡3x+⋯].Definition 32 (complex form).
Letft be a fuzzy-valued function and FH-integrable on [-π,π], and its Fourier series is in the form (38). By substituting Euler’s well-known formulas related to the trigonometric and exponential functions: eix=cos⁡⁡x+isin⁡x and cos⁡⁡nx=(einx+e-inx)/2, sin⁡nx=(einx-e-inx)/2i in (38), the complex form of Fourier series of fuzzy-valued function ft is given by
(48)ft(x)≅12a0⊕∑⊕∑n=1∞[12(an⊕ibn)einx⊕12(an⊖ibn)e-inx],
where the H-difference (an⊖ibn) exists for all n∈ℕ and x,t∈A.
If we set(49)c0=12a0,cn=12(an⊕ibn),c-n=12(an⊖ibn),and then theMth partial sum of the series (48) and hence of the series (38), can be written in the form
(50)stM(x)=c0⊕∑⊕∑n=1M(cneinx⊕c-ne-inx).
Therefore, it is natural to write
(51)ft(x)≅∑⊕∑n=-∞∞cneinx.
The coefficients cn are given by (49) called the complex Fourier fuzzy coefficients and satisfy the following relation:
(52)cn=12π[(FH)∫-ππft(x)e-inxdx]λ.Definition 33.
Letft be any fuzzy-valued function on [a,b], defined either on the whole x-axis or on some intervals. Then, ft is said to be an even function if ft(-x)=f(x) for every x. Thus, the conditions fλ-(-t)=fλ-(t) and fλ+(-t)=fλ+(t) hold for all t∈[a,b] and λ∈[0,1].Definition 34.
Letft be an even function on [-π,π], or else an even periodic function. Then, the Fourier fuzzy coefficients of ft are
(53)an=1π[(FH)∫-ππft(x)cos⁡⁡nxdx]λ=2π[(FH)∫0πft(x)cos⁡⁡nxdx]λ
and bn=[0]λ. Therefore, Fourier series of an ft consists of cosines; that is,
(54)ft(x)≅a0⊕∑⊕∑n=1∞ancos⁡⁡nx.Remark 35.
By taking into account Definition13, one can conclude that a fuzzy valued function can not be odd. Because the functions f- and f+ that are given in Representation Theorem can not be odd functions. Therefore, the Fourier series of fuzzy valued function do not consist of the sines. However, we can define the sines without using the oddness property as follows.Definition 36.
Letft be a periodic fuzzy-valued function on an closed interval. Then, if the fuzzy Fourier coefficient an=0¯, then fuzzy Fourier series consists of sines, that is,
(55)ft(x)≅∑⊕∑n=1∞bnsin⁡nx.Definition 37 (one-sided H-derivatives).
Letft be any fuzzy-valued function on A and continuous except possibly for a finite number of finite jumps. This means that ft is permitted to be discontinuous at a finite number of points in each period, but at these points we assume that both of the one-sided limits exist and are finite. For convenience, we introduce this notation for these limits,
(56)ft(x0-)=[lim⁡t→t0-0fλ-(t),lim⁡t→t0-0fλ+(t)]=[fλ-(t0-),fλ+(t0-)]=lim⁡x→x0-0ft(x),ft(x0+)=[lim⁡t→t0+0fλ-(t),lim⁡t→t0+0fλ+(t)]=[fλ-(t0+),fλ+(t0+)]=lim⁡x→x0+0ft(x)
for all x,t∈A. In addition, we suppose that the generalized left-hand H-derivative (fLt)′(x0) exists and is defined by
(57)(fLt)′(x0)=lim⁡h→0[ft(x0+h)⊖ft(x0-)h]λ=lim⁡u→0[ft(x0-u)⊖ft(x0-)-u]λ.
Thus, we can write
(58)(fLt)′(x0)=[lim⁡h→0-fλ+(t0+h)-fλ+(t0-)h]lim⁡h→0-fλ-(t0+h)-fλ-(t0-)h,lim⁡h→0-fλ+(t0+h)-fλ+(t0-)h]=[(fλ-)′(t0),(fλ+)′(t0)].
If ft is continuous at x0, this coincides with the usual left-hand derivative; if ft has a discontinuity at x0, we take care to use the left-hand instead of just writing ft(x0).
Symmetrically, we shall also assume that the generalized right-hand H-derivative(fRt)′(x0) exists and is defined by
(59)(fRt)′(x0)=lim⁡h→0[ft(x0+h)⊖ft(x0+)h]λ=[lim⁡h→0+fλ-(t0+h)-fλ-(t0+)h,lim⁡h→0+fλ+(t0+h)-fλ+(t0+)h].We begin with quoting the following lemmas which are needed in proving the convergence of a Fourier series of fuzzy-valued functions at each point of discontinuity.Lemma 38 (see [20, Lemma 2.11.3] (Dirichlet kernel)).
The Dirichlet kernelDN is defined by
(60)DN(u)=12+∑n=1Ncos⁡⁡nu,
where n is a positive integer. The Dirichlet kernel DN has the following two properties. The first involves the definite integral of DN(u) on the interval [0,π]. That is,
(61)∫0πDN(u)du=∫0π[12+∑n=1Ncos⁡⁡nu]du=π2
and the second property is
(62)DN(u)=sin((2N+1)u/2)2sin⁡(u/2).Lemma 39.
Letgt∈CF[0,π] and FH-integrable on [0,π[; then
(63)lim⁡n→∞[(FH)∫0πgt(u)sin⁡(nu+u2)du]λ=[0]λ,
where n is a positive integer.Proof.
By taking into account FH-integration and the Dirichlet kernel defined in Lemma38, the integral in (63) can be evaluated as
(64)[∫0πgλ-(t)[sin⁡(t2)cos⁡⁡nt+cos⁡⁡(t2)sin⁡nt]dt,∫0πgλ+(t)[sin(t2)cos⁡⁡nt+cos⁡⁡(t2)sin⁡nt]dt]=π2[(an)λ-+(bn)λ-,(an)λ++(bn)λ+]=π2an⊕π2bn,
where (an)λ- and (an)λ+ are the Fourier cosine coefficients of gλ-(t)sin⁡(t/2) and gλ+(t)sin⁡(t/2) on the interval ]0,π[ in Definition 34. Similarly, (bn)λ- and (bn)λ+ are the Fourier sine coefficients of gλ-(t)cos⁡⁡(t/2) and gλ+(t)cos⁡⁡(t/2) on the interval ]0,π[ in Definition 36, respectively. Taking the limit on both sides and using orthogonal formulas, we have lim⁡n→∞an=0¯ and lim⁡n→∞bn=0¯; then we have
(65)lim⁡n→∞[(FH)∫0πgt(u)sin⁡(nu+u2)du]λ=lim⁡n→∞(π2an⊕π2bn)=[0]λ
for all u,t∈[0,π].Lemma 40.
Suppose thatgt∈CF[0,π] and (gRt)′(0) exists. Then,
(66)lim⁡N→∞[(FH)∫0πgt(u)DN(u)du]λ=π2gt(0+).Proof.
Letgt∈CF[0,π] and let (gRt)′(0) exist. Then, we have from (66) that
(67)[(FH)∫0πgt(u)DN(u)du]λ=[∫0π[gλ-(t)-gλ-(0+)+gλ-(0+)]DN(t)dt,∫0π‍[gλ+(t)-gλ+(0+)+gλ+(0+)]DN(t)dt]
and this equality turns out to be
(68)[∫0π‍[gλ-(t)-gλ-(0+)]DN(t)dt+∫0π‍gλ-(0+)DN(t)dt,∫0π‍[gλ+(t)-gλ+(0+)]DN(t)dt+∫0π‍gλ+(0+)DN(t)dt]
for all t∈[0,π] and λ∈[0,1]. Each of the integrals on the right-hand side will be considered individually. First, using the second property of the Dirichlet kernel in (62), we get
(69)∫0π[gλ±(t)-gλ±(0+)]DN(t)dt=∫0π[gλ±(t)-gλ±(0+)]sin⁡(nt+(t/2))2sin⁡(t/2)dt=∫0π‍gλ±(t)-gλ±(0+)2(t/2)t/2sin⁡(t/2)sin⁡(nt+t2)dt=∫0π‍gλ±(t)-gλ±(0+)t-0t/2sin⁡(t/2)sin⁡(nt+t2)dt.
Let ht be a fuzzy-valued function defined by ht(u)=[gλ±(t)-gλ±(0+)]t/[2(t-0)sin(t/2)] and continuous on ]0,π]. For the sake of argument, it must be established that hλ±(t) is piecewise continuous on (0,π). The piecewise continuity of hλ±(t) hinges on the right-side limit at t=0.
Consider(70)lim⁡t→0+ht(u)=lim⁡⁡t→0+gλ±(t)-gλ±(0+)t-0t/2sin⁡(t/2).
Provided that the individual limits at (68) exist. The continuity of ht allows the application of Lemma 39, so that
(71)lim⁡N→∞∫0π[gλ±(t)-gλ±(0+)]DN(t)dt=lim⁡N→∞[ht(u)sin⁡(nu+u2)du]λ=[0]λ.
As for the second integral on (68), it follows that
(72)lim⁡N→∞∫0πgλ±(0+)DN(t)dt=π2gλ±(0+).
Combining the results, it follows that
(73)lim⁡N→∞[(FH)∫0πgt(u)DN(u)du]λ=[lim⁡N→∞∫0π[gλ-(t)-gλ-(0+)]DN(t)dt+lim⁡N→∞∫0πgλ-(0+)DN(t)dt,lim⁡N→∞∫0π[gλ+(t)-gλ+(0+)]DN(t)dt+lim⁡N→∞∫0πgλ+(0+)DN(t)dt]=[π2gλ-(0+),π2gλ+(0+)]=π2gt(0+).Theorem 41.
Letft be any 2π-periodic continuous fuzzy-valued function and H-differentiable on [-π,π]. The Fourier series of fuzzy-valued function converges to (i)
ft(x) for every value x, where ft∈CF[-π,π] for each λ∈[0,1],(ii)
the arithmetic mean of the right-hand and left-hand limitsft(x-) and ft(x+) which are given in Definition 37, where the one-sided limits at each point of discontinuity exist.Proof.
(i) Firstly, continuity and the existence of one-sided H-derivatives are sufficient for convergence. Secondly, ifft∈CF[-π,π] at x, it follows that ft(x+)=ft(x)=ft(x-), so the Fourier series of fuzzy-valued function converges to ft(x) for all x,t∈[-π,π] and for each λ∈[0,1].
(ii) The continuity means that Fourier fuzzy coefficientsan and bn exist for all appropriate values of n, and the corresponding Fourier series for ft is given by (43). The Nth partial level sum SN of the series in (43) is
(74)ft(x)≅12π[(FH)∫-ππ‍ft(x)dx]λ⊕∑⊕∑n=1N1π[(FH)∫-ππft(x)cos⁡⁡(ns-nx)dx]λ.
Since the first property of Dirichlet kernel DN(s-x)=(1/2)+∑n=1N‍cos⁡⁡(ns-nx), using the partial level sum in (74), we get
(75)SNt(x)=1π[(FH)∫-ππft(x)DN(s-x)dx]λ=1π[∫-ππfλ-(t)DN(s-t)dt,∫-ππ‍fλ+(t)DN(s-t)dt]
for x,t∈[-π,π] and s∈ℝ. By using 2π-periodicity of ft and the Dirichlet kernel in Lemma 38, we have
(76)SNt(x)=1π[∫t-πt+πfλ-(t)DN(s-t)dt,∫t-πt+πfλ+(t)DN(s-t)dt].
The integral in (76) splits into the two following integrals:
(77)SNt(x)=1π∫t-πt[fλ-(t)DN(s-t)dt,fλ+(t)DN(s-t)dt]+1π∫tt+π[fλ-(t)DN(s-t)dt,fλ+(t)DN(s-t)dt].
Each integral on the right-hand side can be simplified using Lemma 40, after making an appropriate change of variable. For the first integral, the change of variable will be u=-t+s so that
(78)∫t-πtfλ±(t)DN(s-t)dt=-∫π0fλ±(s-u)DN(u)du=∫0πfλ±(s-u)DN(u)du.
Suppose that [fλ-(s-u),fλ+(s-u)]=[fs-u(t0)]λ=[gu(t0)]λ=[gλ-(u),gλ+(u)] for all t0∈[0,π] in (78). Since the functions gλ± are piecewise continuous on ]0,π[ and gRu(0) exists, to establish the existence of the right-hand H-derivative of gu(t0) at t0=0, we have
(79)(gu)R′(0)=lim⁡t→0+[gu(t)⊖gu(0+)t⊖0+]λ,
where gu(0+)=lim⁡t→0+[gu(t)]λ=lim⁡t→0+[fs-u(t)]λ=lim⁡s→uft(s-u)=ft(x-). Consequently, we derive that
(80)lim⁡N→∞∫t-πtfλ±(t)DN(s-t)dt=lim⁡N→∞∫0πfλ±(s-u)DN(u)du=lim⁡N→∞∫0πgλ±(u)DN(u)du=π2gu(0+)=π2ft(x-).
The second integral on the right-hand side of (77) is analysed in a similar way. In this case, the change of variable is u=t-s. Suppose that if we take [fλ-(s+u),fλ+(s+u)]=[gλ-(u),gλ+(u)], then
(81)lim⁡N→∞∫tt+πfλ±(t)DN(t-s)dt=lim⁡N→∞∫0πgλ±(u)DN(u)du=π2gu(0+)=π2ft(x+).
By taking into account (80) and (81), and if we let N→∞ in (77), then we have
(82)lim⁡N→∞1π[∫t-πt[fλ-(t)DN(s-t)dt,fλ+(t)DN(s-t)dt]+∫tt+π[fλ-(t)DN(s-t)dt,fλ+(t)DN(s-t)dt]∫t-πt[fλ-(t)DN(s-t)dt,]=12(ft(x-)+ft(x+)).
This completes the proof.We assume that the above results hold with respect to2π-periodic fuzzy-valued functions. The similar results can be obtained for a continuous H-differentiable periodic fuzzy-valued function of an arbitrary period P>0.


## 5. Conclusion

As conventional hardware systems have been based on membership functions, a membership grade has been assigned to each element in the universe of discourse [21]. In this way, a wide variety of membership-function forms are being implemented and may reduce the number of conditional propositions for fuzzy inference to generate complex nonlinear surfaces, such as those used in fuzzy control and fuzzy modeling. More complex surfaces can be generated with a limited number of conditional propositions, with increasing types of membership-function forms. This is an advantage over approximating membership functions, especially with triangular or trapezoidal forms. Indeed, some useful results have been obtained by using level sets for defining series of fuzzy-valued functions like Fourier series. The potential applications of the obtained results include the generalization of sequences and series of fuzzy-valued functions.One of the purposes of this work is to extend the classical analysis to the fuzzy level set analysis dealing with fuzzy-valued functions. Some of the analogies are demonstrated by theoretical examples between classical and level set calculus. Of course, several possible applications on Fourier series over real or complex field can be extended to the fuzzy number space. We should record from now on that the main results given in Section4 of the present paper will be based on examining Fourier analysis of fuzzy-valued functions. Future work will be dedicated to find some applications on Fourier series of these functions.



---

*Source: 782652-2014-04-10.xml*