Open Access

Numerical solution of nonlinear fuzzy Fredholm integral equations of the second kind using hybrid of block-pulse functions and Taylor series

Advances in Difference Equations20152015:51

https://doi.org/10.1186/s13662-015-0389-7

Received: 3 November 2014

Accepted: 27 January 2015

Published: 24 February 2015

Abstract

The main purpose of this paper is to introduce a method of successive approximations in terms of a hybrid of Taylor series and a block-pulse function, which is given for solving nonlinear fuzzy Fredholm integral equations of the second kind and the error estimate of the approximation solution. Finally, two numerical examples are presented to show the accuracy of the proposed method.

Keywords

nonlinear fuzzy Fredholm integral equationhybrid of block-pulse function and Taylor series

1 Introduction

The study of fuzzy integral equations (FIE) from both theoretical and numerical points of view has been developed in recent years after a distinct study of the existence of a unique solution for fuzzy Fredholm integral equations had been carried out in [1]. The Banach fixed point theorem is the main tool in studying the existence and uniqueness of the solution for fuzzy integral equations which can be found in [24]. Numerical procedures for solving fuzzy integral equations of the second kind, based on the method of successive approximations and other iterative techniques, have been investigated in [59]. The Adomian decomposition method is used in [1012], as well as quadrature rules, fuzzy Bernstein polynomials, fuzzy wavelet, and Nystorm techniques were applied to fuzzy integral equations of the second kind in [1318].

Recently, Bica and Popescu [19, 20] applied the method of successive approximations for the fuzzy Hammerstein integral equation. Ezzati and Ziari [21] proved the convergence of the method of successive approximations for solving nonlinear fuzzy Fredholm integral equations of the second kind, and they proposed an iterative procedure based on the trapezoidal quadrature. Mirzaee [22] obtained an approximate solution for the linear Fredholm fuzzy integral equations of the second kind by the hybrid of block-pulse function and Taylor series (HBT).

In this paper, we approximate the fuzzy function by the hybrid Taylor and block-pulse functions (HBT) and estimate the error approximation. Also, an iterative procedure is constructed based on HBT for solving nonlinear Fredholm fuzzy integral equations,
$$ F(t)=f(t)\oplus(FR)\int^{b}_{a} k(s,t)\odot G \bigl(F(s) \bigr)\,ds, \quad t\in[a,b]. $$
(1.1)

We prove the convergence of this successive approximation method, and for demonstrating the accuracy of the proposed method we solve some numerical examples.

2 Preliminaries

Firstly, we present the basic concepts for fuzzy numbers and fuzzy-number-valued functions.

Definition 2.1

[23]

A fuzzy number is a function \(u:{\mathbb{R}}\to[0,1]\) satisfying the following properties:
  1. (i)

    u is normal, i.e. \(\exists x_{0}\in{\mathbb{R}}\) with \(u (x_{0} )=1\).

     
  2. (ii)

    u is a convex fuzzy set, i.e. \(u(\lambda x+(1-\lambda) y)\geq\min\{u(x),u(y)\}\), \(\forall x,y \in{\mathbb{R}}\), \(\lambda\in[0,1]\).

     
  3. (iii)

    u is upper semi-continuous on .

     
  4. (iv)

    \([u]_{0}=\overline{\{x\in{\mathbb{R}}: u(x)>0\}}\) is a compact interval, where \(\overline{A}\) is the closure of the set A.

     

The set of all fuzzy real numbers is denoted by \({{\mathbb{R}}}_{{\mathcal{F}}}\). Any real number \(a\in{\mathbb{R}}\) can be interpreted as a fuzzy number \(\tilde{a}={\chi}_{\{a\}}\) and therefore \({\mathbb{R}}\subset{{\mathbb{R}}}_{{\mathcal{F}}}\).

For \(0< r\leq1\), we denote \({[u]}_{r}=\{x\in{\mathbb{R}}:u(x)\geq r\}\) the r-level (or simply the r-cut) set of u which is a closed interval (see [24]) and \({[u]}_{r}=[{\underline{u}}_{r},{\overline {u}}_{r}]\), \(\forall r\in[0,1]\). This leads to the usual parametric representation of a fuzzy number.

Proposition 2.1

[25]

A fuzzy number u is completely determined by any ordered pair \(u=(\underline{u}(r),\overline{u}(r))\) of functions \(\underline{u},\overline{u}:[0,1]\to{\mathbb{R}}\) defining the three conditions:
  1. (i)

    \(\underline{u} :r\to{\underline{u}}_{r}\in{\mathbb{R}}\) is a bounded monotonic non-decreasing left-continuous function \(\forall r\in\,]0,1]\) and right-continuous for \(r=0\);

     
  2. (ii)

    \(\overline{u} :r\to{\overline{u}}_{r}\in{\mathbb{R}} \) is a bounded monotonic non-increasing left-continuous function \(\forall r \in\,]0,1]\) and right-continuous for \(r=0\);

     
  3. (iii)

    \({\underline{u}}_{1}\le{\overline{u}}_{1}\) for \(r=1\), which implies \({\underline{u}}_{r}\le{\overline{u}}_{r}\), \(\forall r\in [0,1]\).

     
For \(u,v\in{{\mathbb{R}}}_{{\mathcal{F}}}\), \(k\in{\mathbb{R}}\), the addition and the scalar multiplication are defined as follows:
  1. (1)

    \({[u\oplus v]}_{r}={[u]}_{r}+{[v]}_{r}=[{\underline {u}}_{r}+{\underline{v}}_{r},{\overline{u}}_{r}+{\overline{v}}_{r}]\), \(\forall r\in[0,1]\),

     
  2. (2)

    \({[k\odot u]}_{r}=k\cdot{[u]}_{r}= \bigl\{ \scriptsize{\begin{array}{@{}l@{\quad}l} {[}k{\underline{u}}_{r},k{\overline{u}}_{r}],& \mbox{if }k\geq0, \\ {[}k{\overline{u}}_{r},k{\underline{u}}_{r}],& \mbox{if } k<0. \end{array}} \)

     

The subtraction of fuzzy numbers \(u\ominus v\) is defined as the addition \(u\oplus (-v )\) where \((-v )= (-1 )\odot v\).

The standard Hukuhara difference (H-difference \({\ominus}_{H}\)) is defined by \(u\ominus_{H}v=w\Longleftrightarrow u=v\oplus w\); if \(u\ominus_{H}v\) exists, its r-cuts are \({ [u\ominus _{H}v ]}_{r}= [{\underline{u}}_{r}-{\underline{v}}_{r},{\overline {u}}_{r}-{\overline{v}}_{r} ]\). It is well known that \(u\ominus _{H}u=\tilde{0}\) for all fuzzy numbers u, but \(u\ominus u\ne \tilde{0}\).

Definition 2.2

[26]

Let \(u= (\underline{u}(r),\overline {u}(r) )\), \(v= (\underline{v}(r),\overline{v}(r) )\in {{\mathbb{R}}}_{{\mathcal{F}}}\) be fuzzy numbers with positive support (i.e. \(\underline{u}(0)>0\), \(\underline{v}(0)>0\)). The product \(c=u\otimes v= (\underline{ (u\otimes v )}(r),\overline { (u\otimes v )}(r) ) \in C[0,1]\times C[0,1]\) is defined by \(\underline{ (u\otimes v )}(r)=\underline{u}(r)\cdot \underline{v}(r)\) and \(\overline{ (u\otimes v )}(r)=\overline {u}(r)\cdot\overline{v}(r)\), \(\forall r\in[0,1]\).

Lemma 2.1

[5, 24]

The following algebraic properties hold:
  1. (i)

    \(u\oplus (v\oplus w )= (u\oplus v )\oplus w\) and \(u\oplus v=v\oplus u\) for any \(u,v,w\in{{\mathbb{R}}}_{{\mathcal{F}}}\),

     
  2. (ii)

    \(u\oplus\tilde{0}=\tilde{0}\oplus u=u\) for any \(u\in {{\mathbb{R}}}_{{\mathcal{F}}}\),

     
  3. (iii)

    with respect to \(\tilde{0}\), none of \(u\in{{\mathbb{R}}}_{{\mathcal{F}}}\backslash{\mathbb{R}}\), \(u\ne\tilde{0}\) has an opposite in \(({{\mathbb{R}}}_{{\mathcal{F}}},\oplus )\),

     
  4. (iv)

    for any \(a,b\in{\mathbb{R}}\) with \(a,b\ge0\) or \(a,b\le 0\), and any \(u\in{{\mathbb{R}}}_{{\mathcal{F}}}\) we have \((a+b )\odot u=a\odot u\oplus b\odot u\),

     
  5. (v)

    for any \(a\in{\mathbb{R}}\) and any \(u,v\in{{\mathbb{R}}}_{{\mathcal{F}}}\) we have \(a\odot (u\oplus v )=a\odot u\oplus a\odot v\),

     
  6. (vi)

    for any \(a,b\in{\mathbb{R}}\) and any \(u\in{{\mathbb{R}}}_{{\mathcal{F}}}\) we have \(a\odot (b\odot u )= (ab )\odot u\) and \(1\odot u=u\).

     
As a distance between fuzzy numbers, we use the Hausdorff metric (see [13]) defined by
$$D(u,v)=\sup_{r\in[0,1]} \bigl\{ {\max \bigl(\vert {\underline {u}}_{r}-{\underline{v}}_{r}\vert ,\vert { \overline{u}}_{r}- {\overline {v}}_{r}\vert \bigr)} \bigr\} $$
for any \(u,v\in{{\mathbb{R}}}_{{\mathcal{F}}}\).

Lemma 2.2

[24]

The Hausdorff metric has the following properties:
  1. (i)

    \(({{\mathbb{R}}}_{{\mathcal{F}}},D )\) is a complete metric space,

     
  2. (ii)

    \(D (u\oplus w,v\oplus w )=D (u,v )\), \(\forall u ,v,w\in{{\mathbb{R}}}_{{\mathcal{F}}}\),

     
  3. (iii)

    \(D (u\oplus v,w\oplus e )\le D (u,w )+D (v,e )\), \(\forall u ,v,w,e\in{{\mathbb{R}}}_{{\mathcal{F}}}\),

     
  4. (iv)

    \(D (u\oplus v,\tilde{0} )\le D (u,\tilde {0} )+D (v,\tilde{0} )\), \(\forall u ,v\in{{\mathbb{R}}}_{{\mathcal{F}}}\),

     
  5. (v)

    \(D (k\odot u,k\odot v )=\vert k\vert D (u,v )\), \(\forall u ,v\in{{\mathbb{R}}}_{{\mathcal{F}}}\), \(\forall k\in{\mathbb{R}}\).

     

Lemma 2.3

[27]

For any \(k_{1},k_{2}\in\mathbb{R}\) with \(k_{1}\cdot k_{2}\ge0\) and any \(u\in{{\mathbb{R}}}_{{\mathcal{F}}}\) we have
$$D (k_{1}\odot u,k_{2}\odot u )=\vert k_{1}-k_{2} \vert D (u,\tilde {0} ). $$

Remark 2.1

The properties (iv) in Lemma 2.2 suggest the definition of a function \(\Vert \cdot \Vert :{{\mathbb{R}}}_{{\mathcal{F}}}\to {\mathbb{R}}\) by \(\Vert u\Vert =D (u,\tilde{0} )\), which has the properties of the usual norms. In [5] the properties of this function are presented as follows:
  1. (i)

    \(\Vert u\Vert \ge0\), \(\forall u\in{{\mathbb{R}}}_{{\mathcal{F}}}\), and \(\Vert u\Vert =0\) iff \(u=\tilde{0}\),

     
  2. (ii)

    \(\Vert \lambda\odot u\Vert =\vert \lambda \vert \cdot \Vert u\Vert \) and \(\Vert u\oplus v\Vert \le \Vert u\Vert +\Vert v\Vert \), \(\forall u ,v\in{{\mathbb{R}}}_{{\mathcal{F}}} \), \(\forall\lambda\in{\mathbb{R}}\),

     
  3. (iii)

    \(\vert \Vert u\Vert -\Vert v\Vert \vert \le D (u,v )\) and \(D (u,v )\le \Vert u\Vert +\Vert v\Vert \), \(\forall u ,v\in{{\mathbb{R}}}_{{\mathcal{F}}}\).

     

We see that \(({{\mathbb{R}}}_{{\mathcal{F}}},\oplus,\odot, \Vert \cdot \Vert )\) is not a normed space because \(({{\mathbb{R}}}_{{\mathcal{F}}},\oplus )\) is not a group.

Definition 2.3

[25]

Given two fuzzy numbers \(u ,v\in{{\mathbb{R}}}_{{\mathcal{F}}}\), the generalized Hukuhara difference (gH-difference for short) is the fuzzy number w, if it exists, such that
$$ u\ominus_{gH}v=w\quad\Longleftrightarrow\quad \begin{cases} (\mathrm{i})& u=v\oplus w, \mbox{ or}\\ (\mathrm{ii})& v=u\ominus w. \end{cases} $$

It is easy to show that (i) and (ii) are both valid if and only if w is a crisp number.

In terms of r-cuts we have \({ [u\ominus_{gH}v ]}_{r}= [\min\{{\underline{u}}_{r}-{\underline{v}}_{r},{\overline {u}}_{r}-{\overline{v}}_{r}\},\max\{{\underline{u}}_{r}-{\underline {v}}_{r},{\overline{u}}_{r}-{\overline{v}}_{r}\} ]\), and if the H-difference exists, then \(u\ominus_{H}v=u\ominus_{gH}v\); the conditions for the \(w=u\ominus_{gH}v\in\mathbb{R}_{{\mathcal{F}}}\) are
$$ \begin{aligned} &\mbox{case (i) }\quad \begin{cases} {\underline{w}}_{r}={\underline{u}}_{r}-{\underline{v}}_{r} \mbox{ and } {\overline{w}}_{r}={\overline{u}}_{r}-{\overline{v}}_{r} \\ \mbox{with } { \underline{w}}_{r} \mbox{ increasing}, {\overline{w}}_{r} \mbox{ decreasing}, {\underline{w}}_{r}\leq{\overline{w}}_{r},\quad \forall r\in[0,1], \end{cases} \\ &\mbox{case (ii)}\quad \begin{cases} {\underline{w}}_{r}={\overline{u}}_{r}-{\overline{v}}_{r} \ \mbox{ and } {\overline{w}}_{r}={\underline{u}}_{r}-{\underline{v}}_{r} \\ \mbox{with } { \underline{w}}_{r} \mbox{ increasing}, {\overline{w}}_{r} \mbox{ decreasing}, {\underline{w}}_{r}\leq{\overline{w}}_{r},\quad \forall r\in[0,1]. \end{cases} \end{aligned} $$
(2.1)

Proposition 2.2

[28]

Let \(u ,v\in{{\mathbb{R}}}_{{\mathcal{F}}}\) be two fuzzy numbers; then
  1. (a)

    if the gH-difference exists, it is unique,

     
  2. (b)

    \(u\ominus_{gH}v=u\ominus_{H}v\) or \(u\ominus _{gH}v=- (v\ominus_{H}u )\) whenever the expressions on the right exist; in particular, \(u\ominus_{gH}u=u\ominus_{H}u=\tilde{0}\),

     
  3. (c)

    if \(u\ominus_{gH}v\) exists in the sense of (i), then \(v\ominus_{gH}u\) exists in the sense of (ii) and vice versa,

     
  4. (d)

    \((u\oplus v )\ominus_{gH}v=u\),

     
  5. (e)

    \(\tilde{0}\ominus_{gH} (u\ominus_{gH}v )=v\ominus_{gH}u\),

     
  6. (f)

    \(u\ominus_{gH}v=v\ominus_{gH}u=w\) if and only if \(w=-w\); furthermore, \(w=\tilde{0}\) if and only if \(u=v\).

     

Definition 2.4

For any fuzzy-number-valued function \(f:I\subset {\mathbb{R}}\longrightarrow{{\mathbb{R}}}_{{\mathcal{F}}}\) we can define the functions \({\underline{f}}_{r},{\overline{f}}_{r}:I\subset{\mathbb{R}}\longrightarrow{\mathbb{R}}\), \(r\in[0,1]\) by \({\underline{f}}_{r} (t )={\underline{ (f(t) )}}_{r}\), \({\overline{f}}_{r} (t )={\overline{ (f(t) )}}_{r}\), \(\forall t\in[0,1]\). These functions are the left and right r-level functions of f.

Definition 2.5

[29]

A fuzzy-number-valued function \(f:[a,b]\longrightarrow{{\mathbb{R}}}_{{\mathcal{F}}}\) is said to be continuous at \(t_{0}\in[a,b]\) if for each \(\varepsilon>0\) there is \(\delta>0\) such that \(D (f (t ),f (t_{0} ) )<\varepsilon\) whenever \(\vert t-t_{0}\vert <\delta\). If f is continuous for each \(t\in[a,b]\) then we say that f is fuzzy continuous on \([a,b]\). A fuzzy number \(u\in{{\mathbb{R}}}_{{\mathcal{F}}}\) is upper bound for a fuzzy-number-valued function \(f:[a,b]\longrightarrow{{\mathbb{R}}}_{{\mathcal{F}}}\) if \({\underline { (f(t) )}}_{r}\le{\underline{u}}_{r}\) and \({\overline{ (f(t) )}}_{r}\le{\overline{u}}_{r}\) for all \(t\in[a,b]\). A fuzzy number \(u\in{{\mathbb{R}}}_{{\mathcal{F}}}\) is a lower bound for a fuzzy-number-valued function \(f:[a,b]\longrightarrow{{\mathbb{R}}}_{{\mathcal{F}}}\) if \({\underline{u}}_{r}\le{\underline{ (f(t) )}}_{r}\) and \({\overline{u}}_{r}\le{\overline{ (f(t) )}}_{r}\) for all \(t\in[a,b]\). A fuzzy-number-valued function \(f:[a,b]\longrightarrow{{\mathbb{R}}}_{{\mathcal{F}}}\) is said to be bounded if it has a lower and an upper bound.

Remark 2.2

The above definition of the boundedness of a fuzzy-number-valued function can be expressed in the following equivalent form: \(f:[a,b]\longrightarrow{{\mathbb{R}}}_{{\mathcal{F}}}\) is bounded iff there is \(M\ge0\) such that \(D (f (t ),\tilde{0} )\le M\) for all \(t\in[a,b]\). The constant M can be chosen as \(M\ge{\max \{\vert {\underline{u}}_{0}\vert ,\vert {\overline{u}}_{0}\vert \} }\).

Lemma 2.4

[29]

If \(f:[a,b]\longrightarrow{{\mathbb{R}}}_{{\mathcal{F}}}\) is continuous then it is bounded and its supremum \(\sup_{t\in[a,b]} f(t)\) must exist and is determined by \(u\in{{\mathbb{R}}}_{{\mathcal{F}}}\) with \({\underline{u}}_{r}= \sup_{t\in[a,b]} {\underline{f}}_{r} (t )\) and \({\overline {u}}_{r}=\sup_{t\in[a,b]} {\overline{f}}_{r} (t ) \). A similar conclusion for the infimum is also true.

Let \(C_{{\mathcal{F}}}[a,b]\), be the space of fuzzy continuous functions with the metric
$$D^{*}(f,g)=\sup_{a\le t\le b} D \bigl(f(t),g(t) \bigr), \quad \forall f,g\in C_{{\mathcal{F}}}[a,b], $$
which is called the uniform distance between fuzzy-number-valued functions. We see that \((C_{{\mathcal{F}}}[a,b],D^{*} )\) is a complete metric space and using Lemma 2.2 and Lemma 2.3 we can derive the corresponding properties of the metric \(D^{*}\).

Definition 2.6

[30]

A fuzzy-number-valued function \(f:[a,b]\longrightarrow{{\mathbb{R}}}_{{\mathcal{F}}}\) is said to be uniformly continuous on \([a,b]\), if for each \(\varepsilon>0\) there is \(\delta>0\) such that \(D(f(t),f(t'))<\varepsilon\) whenever \(t,t'\in [a,b]\) with \(|t-t'|<\delta\).

Definition 2.7

[30]

A fuzzy-number-valued function \(f:[a,b]\longrightarrow{{\mathbb{R}}}_{{\mathcal{F}}}\) is said to level-continuous at \(t_{0}\in[a,b]\), if \(\lim_{t\to t_{0}} {\underline{ (f(t) )}}_{r} ={\underline{ (f(t_{0}) )}}_{r}\) and \(\lim_{t\to t_{0}} {\overline{ (f(t) )}}_{r} ={\overline{ (f(t_{0}) )}}_{r}\) for all \(r\in[0,1]\). If f is level-continuous at each \(t\in[a,b]\), then we say that f is level-continuous on \([a,b]\).

It is obvious that the continuity of a fuzzy-number-valued function implies the level-continuity, but the converse does not hold. However, the boundedness property holds for both types of continuity.

Definition 2.8

[5]

Let \(f:[a,b]\longrightarrow{{\mathbb{R}}}_{{\mathcal{F}}}\) be a bounded mapping. Then the function \({\omega }_{[a,b]}(f,\cdot):{{\mathbb{R}}}_{+}\cup{0}\to{{\mathbb{R}}}_{+}\)
$${\omega}_{[a,b]} (f,\delta )={\sup \bigl\{ D \bigl(f(x),f(y) \bigr):x,y \in[a,b],\vert x-y\vert \le\delta \bigr\} } $$
is said to be the modulus of oscillation of f on \([a,b]\).

If \(f\in C_{{\mathcal{F}}}[a,b]\), then \({\omega}_{[a,b]} (f,\delta )\) is called uniform modulus of continuity of f.

Some properties of the modulus of oscillation are given below.

Proposition 2.3

[5]

The following statements are true:
  1. (i)

    \(D (f(x),f(y) )\le{\omega}_{[a,b]} (f,\vert x-y\vert )\) for any \(x,y\in[a,b]\),

     
  2. (ii)

    \({\omega}_{[a,b]} (f,\delta )\) is a non-decreasing mapping in δ,

     
  3. (iii)

    \({\omega}_{[a,b]} (f,0 )=0\),

     
  4. (iv)

    \({\omega}_{[a,b]} (f,{\delta}_{1}+{\delta}_{2} )\le {\omega}_{[a,b]} (f,{\delta}_{1} )+{\omega}_{[a,b]} (f,{\delta}_{2} )\) for any \({\delta}_{1},{\delta}_{2}\ge0\),

     
  5. (v)

    \({\omega}_{[a,b]} (f,n\delta )\le n{\omega}_{[a,b]} (f,\delta )\) for any \(\delta\ge0\) and \(n\in{\mathbb{N}}\),

     
  6. (vi)

    \({\omega}_{[a,b]} (f,\lambda\delta )\le (\lambda+1 ){\omega}_{[a,b]} (f,\delta )\) for any \(\delta,\lambda\ge0\),

     
  7. (vii)

    If \([c,d ]\subseteq[a,b]\) then \({\omega }_{[c,d]} (f,\delta )\le{\omega}_{[a,b]} (f,\delta )\).

     

Based on the gH-difference, we obtain the following definition.

Definition 2.9

[25]

Let \(x_{0}\in\,]a,b[\) and h be such that \(x_{0}+h\in\,]a,b[\), then the gH-derivative of a function \(f:\,]a,b[\,\to{{\mathbb{R}}}_{{\mathcal{F}}}\) at \(x_{0}\) is defined as
$$ f'_{gH} (x_{0} )=\lim _{h\to0} \frac{1}{h} \bigl[f (x_{0}+h ) \ominus_{gH}f (x_{0} ) \bigr] . $$
(2.2)

If \(f'_{gH} (x_{0} )\in{{\mathbb{R}}}_{{\mathcal{F}}}\) satisfying Eq. (2.2) exists, we say that f is generalized Hukuhara differentiable (gH-differentiable for short) at \(x_{0}\).

Definition 2.10

[25]

Let \(x_{0}\in\,]a,b[\) and h be such that \(x_{0}+h\in\,]a,b[\), then the level-wise gH-derivative (LgH-derivative for short) of a function \(f:\,]a,b[\,\to{{\mathbb{R}}}_{{\mathcal{F}}}\) at \(x_{0}\) is defined as the set of interval-valued gH-derivatives, if they exist,
$$ f'_{LgH}{ (x_{0} )}_{r}=\lim_{h\to0} \frac{1}{h} \bigl({ \bigl[f (x_{0}+h ) \bigr]}_{r}\ominus_{gH}{ \bigl[f (x_{0} ) \bigr]}_{r} \bigr). $$
(2.3)

If \(f'_{LgH}{ (x_{0} )}_{r}\) is a compact interval for all \(r\in [0,1]\), we say that f is level-wise generalized Hukuhara differentiable (LgH-differentiable for short) at \(x_{0}\) and the family of intervals \(\{f'_{LgH}{ (x_{0} )}_{r}:r\in[0,1] \}\) is the LgH-derivative of f at \(x_{0}\), denoted by \(f'_{LgH} (x_{0} )\).

Consequently, LgH-differentiability, as is level-wise continuity, is a necessary condition for gH-differentiability; but from Eq. (2.1), it is not sufficient.

The next result gives the analogous expression of the fuzzy gH-derivative in terms of the derivatives of the endpoints of the level sets. This result extends the result given in [31, Theorem 5] and it is a characterization of the gH-differentiability for an important class of fuzzy functions.

Proposition 2.4

[25]

Let \(f:\,]a,b[\,\to{{\mathbb{R}}}_{{\mathcal{F}}}\) be such that \({ [f(x) ]}_{r}= [{\underline{f}}_{r}(x),{\overline{f}}_{r}(x) ]\). Suppose that the functions \({\underline{f}}_{r}(x)\) and \({\overline{f}}_{r}(x)\) are real-valued functions, differentiable w.r.t. x, uniformly w.r.t. \(r\in [0,1]\). Then the function \(f(x)\) is gH-differentiable at a fixed \(x\in \,]a,b[\) if and only if one of the following two cases holds:
  1. (a)

    \({ ({\underline{f}}_{r} )}'(x)\) is increasing, \({ ({\overline{f}}_{r} )}'(x)\) is decreasing as a function of r, and \({ ({\underline{f}}_{1} )}'(x)\le{ ({\overline {f}}_{1} )}'(x)\), or

     
  2. (b)

    \({ ({\underline{f}}_{r} )}'(x)\) is decreasing, \({ ({\overline{f}}_{r} )}'(x)\) is increasing as a function of r, and \({ ({\overline{f}}_{1} )}'(x)\le{ ({\underline{f}}_{1} )}'(x)\).

     
Also, \(\forall r\in[0,1]\) we have
$$ { \bigl[f'_{gH}(x) \bigr]}_{r}= \bigl[{\min \bigl\{ { ({\underline {f}}_{r} )}'(x),{ ({ \overline{f}}_{r} )}'(x) \bigr\} ,{\max \bigl\{ { ({ \underline{f}}_{r} )}'(x),{ ({\overline {f}}_{r} )}'(x) \bigr\} } } \bigr]. $$
(2.4)

Definition 2.11

[25]

Let \(f: [a,b ]\to{{\mathbb{R}}}_{{\mathcal{F}}}\) and \(x_{0}\in\,]a,b[\) with \({\underline {f}}_{r} (x )\) and \({\overline{f}}_{r}(x)\) both differentiable at \(x_{0}\).

We say that
  • f is (i)-gH-differentiable at \(x_{0}\) if
    $$ (\mathrm{i})\quad{ \bigl[f'_{gH}(x_{0}) \bigr]}_{r}= \bigl[{ ({\underline{f}}_{r} )}'(x_{0}),{ ({\overline{f}}_{r} )}'(x_{0}) \bigr], \quad \forall r\in[0,1], $$
    (2.5)
  • f is (ii)-gH-differentiable at \(x_{0}\) if
    $$ (\mathrm{ii}) \quad { \bigl[f'_{gH}(x_{0}) \bigr]}_{r}= \bigl[{ ({\overline{f}}_{r} )}'(x_{0}),{ ({\underline{f}}_{r} )}'(x_{0}) \bigr], \quad \forall r\in[0,1]. $$
    (2.6)

It is possible that \(f:[a,b]\to{{\mathbb{R}}}_{{\mathcal{F}}}\) is gH-differentiable at \(x_{0}\) and not (i)-gH-differentiable nor (ii)-gH-differentiable, as illustrated by Example 27 in [2].

Here \(C^{n}_{{\mathcal{F}}} [a,b ]\), \(n\ge1\), denotes the space of n-times fuzzy continuously gH-differentiable functions from \([a,b ]\) into \({{\mathbb{R}}}_{{\mathcal{F}}}\). (That is, there exist \(f^{ (k+1 )}(x)\in {{\mathbb{R}}}_{{\mathcal{F}}}\) such that the limits in D-distance exist and
$$f^{(k+1)}(x)=\lim_{h\to0} \frac{1}{h} \bigl[f^{(k)}(x+h)\ominus_{gH}f^{(k)}(x) \bigr] $$
for all \(k=0,1,\ldots,n-1\).)

Denote the set of all functions \(f\in C^{n}_{{\mathcal{F}}} [a,b ]\), \(n\ge1\), such that \(f^{ (k )} [a,b ]\to{{\mathbb{R}}}_{{\mathcal{F}}}\) (\(k=0,1,\ldots,n-1 \)) is (i)-gH-differentiable on the interval \([a,b]\) by \(C^{n,1}_{{\mathcal{F}}}[a,b]\).

By Theorem 5.2 of [21], for \(f\in C^{n,1}_{{\mathcal{F}}}[a,b]\) we obtain
$${ \bigl[f^{(k)}_{gH}(x) \bigr]}_{r}= \bigl[{ ({ \underline{f}}_{r} )}^{(k)}(x),{ ({\overline{f}}_{r} )}^{(k)}(x) \bigr],\quad k=0,1,\ldots,n\ \forall r\in[0,1], \forall x \in(a,b). $$

Proposition 2.5

[25]

If \(f: [a,b ]\to{{\mathbb{R}}}_{{\mathcal{F}}}\) is gH-differentiable (or right or left gH-differentiable) at \(x_{0}\in[a,b]\) then it is level-wise continuous (or right or left level-wise continuous) at \(x_{0}\).

Proposition 2.6

[25]

The (i)-gH-derivative and (ii)-gH-derivative are additive operators, i.e., if f and g are both (i)-gH-differentiable or both (ii)-gH-differentiable then
  1. (i)

    \({ (f\oplus g )'}_{ (i )-gH}=f'_{ (i )-gH}\oplus{g'}_{ (i )-gH}\),

     
  2. (ii)

    \({ (f\oplus g )'}_{ (ii )-gH}=f'_{ (ii )-gH}\oplus{g'}_{ (ii )-gH}\).

     

In [24] the notion of a Henstock integral for fuzzy-number-valued functions is defined as follows.

Definition 2.12

[5]

Let \(f: [a,b ]\to{{\mathbb{R}}}_{{\mathcal{F}}}\). For \({\triangle}_{n}:a=x_{0}< x_{1}<\cdots <x_{n-1}<x_{n}=b\) a partition of the interval \([a,b]\), we consider the points \({\xi}_{i}\in [x_{i-1},x_{i} ]\), \(i=1,\ldots,n\), and the function \(\delta: [a,b ]\to{{\mathbb{R}}}_{+}\). The partition \(P= \{ ( [x_{i-1},x_{i} ];{\xi}_{i} );i=1,\ldots,n \}\) denoted by \(P= ({\triangle}_{n},\xi )\) is called δ-fine iff \([x_{i-1},x_{i} ]\subseteq ({\xi}_{i}-\delta ({\xi}_{i} ),{\xi}_{i}+\delta({\xi}_{i}) )\). For \(I\in{{\mathbb{R}}}_{{\mathcal{F}}}\), the function f is fuzzy Henstock integrable on \([a,b]\) if for any \(\varepsilon>0\) there is a function \(\delta: [a,b ]\to{{\mathbb{R}}}_{+}\) such that for any partition δ-fine P, \(D (\sum^{n}_{i=1}{ (x_{i}-x_{i-1} )\odot f ({\xi}_{i} ),I} )<\varepsilon \). The fuzzy number I is named the fuzzy Henstock integral of f and will be denoted by \((FH)\int^{b}_{a}{f (t )\,dt}\).

When the function \(\delta:[a,b]\to{{\mathbb{R}}}_{+}\) is constant, then we obtain the Riemann integrability for fuzzy-number-valued functions (see [32]). In this case, \(I\in{{\mathbb{R}}}_{{\mathcal{F}}}\) is called the fuzzy Riemann integral of f on the interval \([a,b]\), denoted by \((FR)\int^{b}_{a}{f(t)\,dt}\). Consequently, the fuzzy Riemann integrability is a particular case of the fuzzy Henstock integrability, and therefore the properties of the integral (FH) will be valid for the integral (FR), too.

Lemma 2.5

[33]

Let \(f: [a,b ]\to{{\mathbb{R}}}_{{\mathcal{F}}}\). Then f is (FH) integrable if and only if \({\underline{f}}_{r}\) and \({\overline{f}}_{r}\) are Henstock integrable for any \(r\in[0,1]\). Furthermore, for any \(r\in[0,1]\),
$${ \biggl[(FH)\int^{b}_{a}{f(t)\,dt} \biggr]}_{r}= \biggl[(H)\int^{b}_{a}{ { \underline {f}}_{r}(t)\,dt},(H)\int^{b}_{a}{ {\overline{f}}_{r}(t)\,dt} \biggr]. $$

Remark 2.3

If \(f: [a,b ]\to{{\mathbb{R}}}_{{\mathcal{F}}}\) is fuzzy continuous, then \({\underline{f}}_{r}\) and \({\overline{f}}_{r}\) are continuous for any \(r\in[0,1]\) and consequently, they are Henstock integrable. According to Lemma 2.5 we infer that f is (FH) integrable.

Lemma 2.6

[5]

If f and g are fuzzy Henstock integrable functions and if the function given by \(D (f (t ),g(t) )\) is Lebesgue integrable, then
$$D \biggl((FH)\int^{b}_{a}{f(t)\,dt},(FH)\int ^{b}_{a}{g(t)\,dt} \biggr)\le(L)\int ^{b}_{a}{D \bigl(f(t),g(t) \bigr)\,dt}. $$

Theorem 2.1

[32]

If \(f,g:[a,b]\to{{\mathbb{R}}}_{{\mathcal{F}}}\) are (FR) integrable fuzzy functions, and α, β are real numbers, then
$$(FR)\int^{b}_{a}{ \bigl(\alpha\odot f(t)\oplus \beta\odot g(t) \bigr)\,dt}=\alpha\odot(FR)\int^{b}_{a}{f(t)\,dt} \oplus\beta\odot(FR)\int^{b}_{a}{g(t)\,dt}. $$

Remark 2.4

If \(f: [a,b ]\to{{\mathbb{R}}}_{{\mathcal{F}}}\) is fuzzy continuous, for a partition \(\triangle:a=x_{0}< x_{1}<\cdots <x_{n-1}<x_{n}=b\), according to [24], the fuzzy-Riemann integral has the property
$$(FR )\int^{b}_{a}{f (t )\,dt}=\sum _{i=0}^{n-1}{}^{*}{(FR)\int^{t_{i+1}}_{t_{i}}{f (t )\,dt}}, $$
where ∑ means addition with respect to in \({{\mathbb{R}}}_{{\mathcal{F}}}\).

Definition 2.13

[5]

For \(L\ge0\), a function \(f:[a,b]\to {{\mathbb{R}}}_{{\mathcal{F}}}\) is L-Lipschitz if
$$D \bigl(f(x),f(y) \bigr)\le L\vert x-y\vert $$
for any \(x,y\in[a,b]\).

We present the following fuzzy Taylor theorem in one dimension.

Theorem 2.2

(see [34, p.51])

Let \(f\in C^{n,1}_{{\mathcal{F}}}[a,b]\), \(n\ge1\), \([\alpha,\beta]\subseteq[a,b]\subseteq{\mathbb{R}}\). Then
$$\begin{aligned} f(\beta)={}&f(\alpha)\oplus(\beta-\alpha)\odot f'( \alpha)\oplus\cdots \oplus\frac{{(\beta-\alpha)}^{n-1}}{(n-1)!}\odot f^{(n-1)}(\alpha) \\ &{}\oplus\frac{1}{(n-1)!}\odot(FR)\int^{\beta}_{\alpha}{{( \beta -t)}^{n-1}\odot f^{(n)}(t)\,dt}. \end{aligned}$$
(2.7)

The integral remainder is a fuzzy continuous function in β.

3 Review of HBT

Now, we recall some definitions, notations, and facts of the hybrid Taylor series and block-pulse functions and we generalize them to the fuzzy setting.

Definition 3.1

[35]

Block-pulse functions \({\varphi}_{i}(t)\), \(i=1,2,\ldots,N\), on the interval \([0,1)\), are defined as
$${\varphi}_{i}(t)=\left \{ \begin{array}{@{}l@{\quad}l} 1, & \frac{i-1}{N}\le t< \frac{i}{N} ,\\ 0, & \mbox{otherwise}, \end{array} \right . $$
where N is an arbitrary positive integer.

The block-pulse functions on \([0,1)\) are disjoint, so for \(i,j=1,2,\ldots,N\), we have \({\varphi}_{i} (t ){\varphi }_{j} (t )={\delta}_{i,j}{\varphi}_{i} (t )\), where \({\delta}_{i,j}\) is the Kronecker delta, also these functions have the property of orthogonality on \([0,1)\). For more details see [36].

Consider the set of Taylor polynomials \(T_{m} (t )=t^{m}\), \(m=0,1,2,\ldots \) . For M being an arbitrary positive integer, hybrid Taylor block-pulse functions are defined as follows.

Definition 3.2

[36, 37]

The set of hybrid Taylor block-pulse functions \(h_{ij} (t )\), \(i=1,\ldots,N\); \(j=0,1,\ldots,M\), on the interval \([0,1)\) is defined as
$$ h_{ij}(t)=\left \{ \begin{array}{@{}l@{\quad}l} T_{j} (Nt-(i-1) ), & \frac{i-1}{N}\le t< \frac{i}{N},\\ 0, & \mbox{otherwise}, \end{array} \right . $$
(3.1)
where i and j are the order of block-pulse functions and Taylor polynomials, respectively.

3.1 Function approximation

For f in \(C^{M,1}_{{\mathcal{F}}} [0,1 ]\), let us consider a fuzzy hybrid polynomial of degree \(M-1\),
$$ T^{{\mathcal{F}}}_{M}(f) (t)=\sum ^{N}_{i=1}{}^{*}{\sum^{M-1}_{j=0}{}^{*}{f_{ij} \odot h_{ij}(t)}}=F^{T}\odot H(t), $$
(3.2)
where \(h_{ij}(t)\) is defined in Eq. (3.1) and \(f_{ij}\) are given by
$$ f_{ij}=\frac{1}{N^{j}j!} f^{(j)}(t) \Big|_{t=\frac{i-1}{N}}. $$
(3.3)
Also, we have
$$\begin{aligned}& F={ [f_{10},\ldots,f_{1(M-1)},f_{20}, \ldots,f_{2(M-1)},\ldots ,f_{N0},\ldots,f_{N(M-1)} ]}^{T}, \\& H(t)={ \bigl[h_{10}(t),\ldots,h_{1(M-1)}(t),h_{20}(t), \ldots ,h_{2(M-1)}(t),\ldots,h_{N0}(t),\ldots,h_{N(M-1)}(t) \bigr]}^{T}. \end{aligned}$$

Theorem 3.1

If \(f\in C^{l,1}_{{\mathcal{F}}} [0,1 ]\) and there exists \(K>0\), with \(K=\sup_{0\le t\le1} {\Vert f^{ (l )} (t )\Vert }_{{\mathcal{F}}}\), then
$$ D^{*} \bigl(T^{{\mathcal{F}}}_{l} (f ),f \bigr)\le \frac{K}{l!N^{l}}. $$
(3.4)

Proof

Let \(t\in[0, 1[\), so there exists \(i\in {1,2,\ldots,N} \) such that \(t\in [\frac{i-1}{N},\frac{i}{N} [\). Then from Eqs. (3.1)-(3.3), we observe that
$$\begin{aligned} D \bigl(T^{{\mathcal{F}}}_{l}(f) (t),f(t) \bigr)&=D \Biggl(\sum ^{N}_{i=1}{}^{*}{\sum ^{l-1}_{j=0}{}^{*}{f_{ij}\odot h_{ij}(t)}},f(t) \Biggr) \\ &=D \Biggl(\sum^{l-1}_{j=0}{}^{*}{ \frac{1}{N^{j}j!} f^{(j)}(t)\Big| _{t=\frac{i-1}{N}}\odot T_{j} \bigl(Nt-(i-1) \bigr)},f(t) \Biggr) \\ &=D \Biggl(\sum^{l-1}_{j=0}{}^{*}{ \frac{1}{j!}{ \biggl(t-\frac{i-1}{N} \biggr)}^{j}\odot f^{(j)} \biggl(\frac{i-1}{N} \biggr)},f(t) \Biggr) \\ &=D \biggl(\frac{1}{ (l-1 )!}\odot(FR)\int^{t}_{\frac {i-1}{N}}{{(t-s)}^{l-1} \odot f^{(l)}(s)\,ds},\tilde{0} \biggr) \\ & \le\frac{1}{(l-1)!}\int^{t}_{\frac{i-1}{N}}{D \bigl(f^{(l)}(s),\tilde {0} \bigr){(t-s)}^{l-1}\,ds}. \end{aligned}$$
Hence
$$D \bigl(T^{{\mathcal{F}}}_{l} (f ) (t ),f(t) \bigr)\le \frac{K}{l!}{ \biggl(t-\frac{i-1}{N} \biggr)}^{l}\le \frac{K}{l!N^{l}}, $$
therefore
$$D^{*} \bigl(T^{{\mathcal{F}}}_{l} (f ),f \bigr)\le\frac {K}{l!N^{l}}. $$
 □

Remark 3.1

This shows that \(\lim_{l,N\to\infty} D^{*} (T^{{\mathcal{F}}}_{l} (f ),f ) =0\).

4 Fuzzy integral equations

We consider the nonlinear fuzzy Fredholm integral Eq. (1.1), where \(k (s,t )\) is a positive crisp kernel function over the square \(a\le s,t\le b\), \(F (t )\) is a fuzzy-number-valued function and \(G:R_{F}\to R_{F}\) is continuous. We assume that k is continuous and therefore it is uniformly continuous with respect to t and there exists \(M>0\), such that \(M=\max_{a\le s,t\le b} \vert k (s,t )\vert \).

Theorem 4.1

[21]

Let the function \(k(s,t)\) be continuous and positive for \(a\le s,t\le b\), and function \(f(t)\) be a fuzzy continuous in \([a,b]\).

Moreover, assume that there exists \(L>0\), with
$$D \bigl(G\bigl(F_{1}(u)\bigr),G\bigl(F_{2}(v)\bigr) \bigr) \le L\cdot D \bigl(F_{1} (u ),F_{2} (v ) \bigr), \quad \forall u,v \in[a,b]. $$
If \(C=ML (b-a )<1\) then the fuzzy integral Eq. (1.1) has a unique solution \(F^{*}\in X\), and it can be obtained by the following successive approximations method:
$$\begin{aligned} F_{0}(t)&=f(t), \\ F_{m}(t)&=f(t)\oplus(FR)\int^{b}_{a}{k(s,t) \odot G \bigl(F_{m-1}(s) \bigr)\,ds}, \quad \forall t\in[a,b], m\ge1. \end{aligned}$$
(4.1)
Moreover, the sequence of successive approximations, \({(F_{m})}_{m\ge 1}\), converges to the solution  \(F^{*}\). Furthermore, the following error bound holds:
$$ D \bigl(F^{*}(t),F_{m}(t) \bigr)\le\frac{C^{m+1}}{L(1-C)}M_{0},\quad \forall t\in[a,b], m\ge1, $$
(4.2)
where \(M_{0}=\sup_{a\le t\le b} {\Vert G (f (t ) )\Vert }_{F} \).
Now, we introduce the numerical method to find the approximate solution of the nonlinear fuzzy Fredholm integral equation as
$$ F(t)=f(t)\oplus(FR)\int^{1}_{0}{k(s,t) \odot G \bigl(F(s) \bigr)\,ds},\quad t\in[0,1]. $$
(4.3)
In this way, we consider the uniform partition of the interval \([0,1]\):
$$ \triangle: 0=t_{0}< t_{1}< \cdots<t_{N-1}<t_{N}=1, $$
(4.4)
with \(t_{i}=ih\), where \(h=\frac{1}{N}\). Then the following iterative procedure gives the approximate solution of Eq. (4.3) in the point \(t\in[0,1]\):
$$\begin{aligned} y_{0}(t)&=f(t), \\ y_{m}(t)&=f(t)\oplus(FR)\int^{1}_{0}{k(s,t) \odot T^{{\mathcal{F}}}_{l} \bigl(G( y_{m-1}) \bigr) (s)\,ds}, \quad\forall t\in[0,1], m\ge1. \end{aligned}$$
(4.5)
The above recursive relation can be written in compact form as follows:
$$ \begin{aligned}[b] y_{0}(t)&=f(t),\\ y_{m}(t)&=f(t)\oplus\sum^{N}_{i=1}{}^{*}{ \sum^{l-1}_{j=0}{}^{*}{H_{ij}(t)\odot g^{(m-1)}_{ij}}},\quad \forall t\in [0,1], m\ge1, \end{aligned} $$
(4.6)
where \(g^{ (m-1 )}_{ij}\) is a fuzzy number defined by
$$g^{(m-1)}_{ij}=\frac{1}{N^{j}j!} \biggl(\frac{d^{j}G (y_{m-1} (t ) )}{dt^{j}} \biggr)\Big|_{t={{\frac{i-1}{N}}}} ,\quad i=1,2,\ldots,N, j=0,1,\ldots,l-1, $$
and
$$H_{ij}(t)=\int^{1}_{0}{k(s,t)}h_{ij}(s)\,ds. $$

5 Convergence analysis

In this section, we analyze the convergence of the iterative procedure proposed for the solution of Eq. (4.3).

Theorem 5.1

Assume that Eq. (4.3) satisfies the following conditions:
  1. (i)

    \(f: [a,b ]\to R_{F}\) is fuzzy continuous.

     
  2. (ii)

    \(k: [0,1 ]\times [0,1 ]\to R^{+}\) is continuous and there exists \(M>0\), such that \(M=\max_{0\le s,t\le1} \vert k (s,t )\vert \).

     
  3. (iii)
    \(G:R_{F}\to R_{F}\) is fuzzy differentiable of order l, for positive integer number l. In addition, there exists \(L>0\) such that
    $$D \bigl(G \bigl(F_{1}(u) \bigr),G \bigl(F_{2}(v) \bigr) \bigr)\le L\cdot D \bigl(F_{1}(u),F_{2}(v) \bigr),\quad \forall u,v \in[0,1], $$
     
where \(L< M^{-1}\) and \(F_{1},F_{2}:[0,1]\to R_{{\mathcal{F}}}\).
Then the iterative procedure Eq. (4.5) converges to the unique solution of Eq. (4.3) F, and its error estimate is as follows:
$$D^{*} (F,y_{m} )\le\frac{M}{1-ML} \biggl(M_{0}{(ML)}^{m}+ \frac{K}{N^{l}l!} \biggr), $$
where \(M_{0}=\sup_{0\le t\le1} {\Vert G (f(t) )\Vert }_{{\mathcal{F}}}\),
$$ K=\max \biggl\{ \sup_{0\le t\le1}\biggl\Vert \frac {d^{l}G (y_{n}(t) )}{dt^{l}}\biggr\Vert _{{\mathcal{F}}} ; 0\le n\le m-1 \biggr\} . $$
(5.1)

Proof

Since \(F_{1}(t)=f(t)\oplus(FR)\int^{1}_{0}{k(s,t)\odot G (F_{0}(s) )\,ds}\), we have
$$\begin{aligned} &D \bigl(F_{1}(t),y_{1}(t) \bigr) \\ &\quad=D \bigl(f(t),f(t) \bigr) \\ &\qquad{}+D \biggl((FR)\int^{1}_{0}{k(s,t)\odot G \bigl(F_{0}(s) \bigr)\,ds},(FR)\int^{1}_{0}{k(s,t) \odot T^{{\mathcal{F}}}_{l} \bigl(G( y_{0}) \bigr) (s)\,ds} \biggr) \\ &\quad\le\int^{1}_{0}{D \bigl(k(s,t)\odot G \bigl(f(s) \bigr),k(s,t)\odot T^{{\mathcal{F}}}_{l} \bigl(G(f) \bigr) (s) \bigr)\,ds} \\ &\quad\le M\int^{1}_{0}{D \bigl(G \bigl(f (s ) \bigr),T^{{\mathcal{F}}}_{l} \bigl(G (f ) \bigr) (s ) \bigr)\,ds}. \end{aligned}$$
From Eq. (5.1) and Theorem 3.1, we obtain
$$ D \bigl(F_{1}(t),y_{1}(t) \bigr)\le \frac{MK}{N^{l}l!}. $$
(5.2)
Now, since \(F_{2} (t )=f (t )\oplus (FR )\int^{1}_{0}{k (s,t )\odot G (F_{1} (s ) )\,ds}\), we conclude that
$$\begin{aligned} &D \bigl(F_{2}(t),y_{2}(t) \bigr) \\ &\quad=D \biggl((FR)\int^{1}_{0}{k(s,t)\odot G \bigl(F_{1}(s) \bigr)\,ds},(FR)\int^{1}_{0}{k(s,t) \odot T^{{\mathcal{F}}}_{l} \bigl(G( y_{1}) \bigr) (s)\,ds } \biggr) \\ &\quad\le M\int^{1}_{0}{D \bigl(G \bigl(F_{1}(s) \bigr),T^{{\mathcal{F}}}_{l} \bigl(G( y_{1}) \bigr) (s) \bigr)\,ds} \\ &\quad\le M\int^{1}_{0}{D \bigl(G \bigl(F_{1}(s) \bigr),G \bigl(y_{1}(s) \bigr) \bigr)\,ds}+M\int ^{1}_{0}{D \bigl(G \bigl(y_{1}(s) \bigr),T^{{\mathcal{F}}}_{l} \bigl(G( y_{1}) \bigr) (s) \bigr)\,ds}. \end{aligned}$$
By using Eq. (5.2), Theorem 3.1, and the condition (iii), we obtain
$$D \bigl(F_{2}(t),y_{2}(t) \bigr)\le\frac{M^{2}LK}{N^{l}l!}+ \frac{MK}{N^{l}l!}. $$
By induction, it is proven that
$$D \bigl(F_{m}(t),y_{m}(t) \bigr)\le \bigl(M^{m-1}L^{m-1}+M^{m-2}L^{m-2}+ \cdots+ML+1 \bigr)\frac{MK}{N^{l}l!} $$
for each \(t\in[0,1]\). Therefore
$$D^{*} (F_{m},y_{m} )\le\frac{1-{ (ML )}^{m}}{1-ML} \biggl( \frac {MK}{N^{l}l!} \biggr). $$
Since \(ML<1\), according to \(\frac{1-{ (ML )}^{m}}{1-ML}\le\frac {1}{1-ML}\), for each \(m\in N\), we get
$$D^{*} (F_{m},y_{m} )\le\frac{1}{1-ML} \biggl( \frac{MK}{N^{l}l!} \biggr). $$
Using Eq. (4.2), we obtain
$$D \bigl(F(t),F_{m}(t) \bigr)\le\frac{{ (ML )}^{m+1}}{L (1-ML )}M_{0}, \quad \forall t\in[0,1], m\ge1, $$
where \(M_{0}=\sup_{0\le t\le1} {\Vert G (f(t) )\Vert }_{{\mathcal{F}}} \). So we have
$$\begin{aligned} D^{*} (F,y_{m} )&\le D^{*} (F,F_{m} )+D^{*} (F_{m},y_{m} ) \\ &\le\frac{{ (ML )}^{m+1}}{L (1-ML )}M_{0}+\frac {1}{1-ML} \biggl( \frac{MK}{N^{l}l!} \biggr) \\ &\le\frac{M}{1-ML} \biggl(M_{0}{ (ML )}^{m}+ \frac{K}{N^{l}l!} \biggr). \end{aligned}$$
 □

Remark 5.1

Since \(ML<1\), it is easy to show that
$$\mathop{\mathop{\lim_{m\to\infty}}_{N\to\infty}}_{ l\to\infty} D^{*} (F,y_{m} )=0. $$

That shows the convergence of the method.

6 Numerical examples

In this section, we apply the presented method in Section 4 for solving the fuzzy integral Eq. (4.3) in two examples. The approximate solution is calculated for different values of N, l and m. Also, we compare the numerical solution obtained by using the proposed method with the exact solution. The computations associated with the examples were performed using Mathematica 7.

Example 6.1

[21]

Consider the following nonlinear fuzzy Fredholm integral equation:
$$F(t)=f(t)\oplus(FR)\int^{1}_{0}{ \frac{ts}{3}\odot{ \bigl(F(s) \bigr)}^{2}\,ds}, $$
where
$$\begin{aligned}& k(s,t)=\frac{ts}{3} , \quad s,t\in[0,1], \\& \underline{f}(t,r)=\frac{11}{12}t-\frac{1}{6} (1-r )+ \frac {1}{27}t (1-r )-\frac{1}{216}t{ (1-r )}^{2}, \quad t,r \in[0,1], \\& \overline{f}(t,r)=\frac{11}{12}t+\frac{1}{6} (1-r )- \frac {1}{27}t (1-r )-\frac{1}{216}t{ (1-r )}^{2},\quad t,r \in[0,1]. \end{aligned}$$
The exact solution is
$$\bigl(\underline{F}(t,r),\overline{F}(t,r) \bigr)= \biggl(t-\frac {1}{6} (1-r ),t+\frac{1}{6} (1-r ) \biggr). $$
The comparison of the HBT solution and the exact solution is shown in Table 1.
Table 1

The accuracy on the level sets for Example 6.1 in \(\pmb{t=0.5}\)

r-level

N  = 20, l  = 3, m  = 3

N  = 20, l  = 3, m  = 6

\(\boldsymbol {|\underline{F}-{\underline{y}}_{m}|}\)

\(\boldsymbol {|\overline {F}-{\overline{y}}_{m}|}\)

\(\boldsymbol {|\underline{F}-{\underline{y}}_{m}|}\)

\(\boldsymbol {|\overline{F}-{\overline{y}}_{m}|}\)

0.00

5.3401E−5

4.95336E−4

1.16313E−7

4.18483E−6

0.25

7.4791E−5

3.93359E−4

2.00359E−7

2.89065E−6

0.50

1.02649E−4

3.08908E−4

3.33720E−7

1.96110E−6

0.75

1.38345E−4

2.39642E−4

5.39466E−7

0.30447E−6

1.00

1.83431E−4

1.83431E−4

8.49032E−7

8.49032E−7

Example 6.2

Consider the following nonlinear fuzzy Fredholm integral equation:
$$F(t)=f(t)\oplus(FR)\int^{1}_{0}{s^{3} \exp(-t)\odot{ \bigl(F(s) \bigr)}^{2}\,ds}, $$
where
$$\begin{aligned}& k(s,t)=s^{3} \exp(-t),\quad s,t\in[0,1], \\& \begin{aligned}[b] \underline{f}(t,r)={}&\cosh t+\exp(-t) \biggl( \frac{475\exp(-2)}{512}-\frac{\exp (2)}{32}-\frac{139}{512}+\frac{19\exp(-2)r}{128} \\ &{} +\frac{9r}{640}+\frac{19\exp(-2)r^{2}}{3{,}200}-\frac {3r^{2}}{3{,}200}\biggr), \quad t,r \in[0,1], \end{aligned} \\& \begin{aligned}[b] \overline{f}(t,r)={}&\cosh t+\exp(-t) \biggl( \frac{15{,}979\exp(-2)}{12{,}800}-\frac {\exp(2)}{32}-\frac{3{,}163}{12{,}800}-\frac{551\exp(-2)r}{3{,}200} \\ &{} -\frac{33r}{3{,}200}+\frac{19\exp(-2)r^{2}}{3{,}200}-\frac {3r^{2}}{3{,}200}\biggr), \quad t,r \in[0,1]. \end{aligned} \end{aligned}$$
The exact solution in this case is given by
$$\bigl(\underline{F}(t,r),\overline{F}(t,r) \bigr)= \biggl(\cosh t+ \frac {1}{40}(5+2r)\exp(-t),\cosh t+\frac{1}{40}(9-2r)\exp(-t) \biggr). $$
The comparison of the HBT solution and the exact solution is shown in Table 2.
Table 2

The accuracy on the level sets for Example 6.2 in \(\pmb{t=0.5}\)

r-level

N  = 20, l  = 4, m  = 6

N  = 20, l  = 4, m  = 12

\(\boldsymbol {|\underline{F}-{\underline{y}}_{m}|}\)

\(\boldsymbol {|\overline {F}-{\overline{y}}_{m}|}\)

\(\boldsymbol {|\underline{F}-{\underline{y}}_{m}|}\)

\(\boldsymbol {|\overline{F}-{\overline{y}}_{m}|}\)

0.00

2.72812E−4

3.5242E−4

5.40018E−7

7.09831E−7

0.25

2.81818E−4

3.41478E−4

5.57681E−7

6.84684E−7

0.50

2.9108E−4

3.30832E−4

5.76266E−7

6.60765E−7

0.75

3.00607E−4

3.20476E−4

5.95818E−7

6.38016E−7

1.00

3.10403E−4

3.10403E−4

6.16384E−7

6.16384E−7

7 Conclusion

In this paper, we have suggested an iterative procedure by utilizing fuzzy HBT to solve the nonlinear Ferdholm fuzzy integral Eq. (4.3). The error estimate of the approximated function was obtained by using the fuzzy Taylor theorem [34] for the function which is (i)-gH-differentiable. The error estimate of the present method is proved; for getting the best approximating solution of the equation, the number N and the degree of the fuzzy hybrid polynomial l must be chosen sufficiently large. The analyzed example illustrates the ability and reliability of the fuzzy HBT method for Eq. (4.3).

Declarations

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

Authors’ Affiliations

(1)
Department of Mathematics, Science and Research Branch, Islamic Azad University
(2)
Department of Mathematics, Karaj Branch, Islamic Azad University

References

  1. Mordeson, J, Newman, W: Fuzzy integral equations. Inf. Sci. 87, 215-229 (1995) View ArticleMATHMathSciNetGoogle Scholar
  2. Balachandran, K, Kanagarajan, K: Existence of solutions of general nonlinear fuzzy Volterra-Fredholm integral equations. J. Appl. Math. Stoch. Anal. 3, 333-343 (2005) View ArticleMathSciNetGoogle Scholar
  3. Park, JY, Han, HK: Existence and uniqueness theorem for a solution of fuzzy Volterra integral equations. Fuzzy Sets Syst. 105, 481-488 (1999) View ArticleMATHMathSciNetGoogle Scholar
  4. Subrahmanyam, PV, Sudarsanam, SK: A note on fuzzy Volterra integral equations. Fuzzy Sets Syst. 81, 237-240 (1996) View ArticleMATHMathSciNetGoogle Scholar
  5. Bede, B, Gal, SG: Quadrature rules for integrals of fuzzy-number-valued functions. Fuzzy Sets Syst. 145, 359-380 (2004) View ArticleMATHMathSciNetGoogle Scholar
  6. Bica, AM: Error estimation in the approximation of the solution of nonlinear fuzzy Fredholm integral equations. Inf. Sci. 178, 1279-1292 (2008) View ArticleMATHMathSciNetGoogle Scholar
  7. Friedman, M, Ma, M, Kandel, A: Numerical solutions of fuzzy differential and integral equations. Fuzzy Sets Syst. 106, 35-48 (1999) View ArticleMATHMathSciNetGoogle Scholar
  8. Friedman, M, Ma, M, Kandel, A: Solutions to fuzzy integral equations with arbitrary kernels. Int. J. Approx. Reason. 20, 249-262 (1999) View ArticleMATHMathSciNetGoogle Scholar
  9. Wu, C, Song, S, Wang, H: On the basic solutions to the generalized fuzzy integral equation. Fuzzy Sets Syst. 95, 255-260 (1998) View ArticleMATHMathSciNetGoogle Scholar
  10. Abbasbandy, S, Allahviranloo, T: The Adomian decomposition method applied to the fuzzy system of Fredholm integral equations of the second kind. Int. J. Uncertain. Fuzziness Knowl.-Based Syst. 14, 101-110 (2006) View ArticleMATHMathSciNetGoogle Scholar
  11. Babolian, E, Sadeghi Goghary, H, Abbasbandy, S: Numerical solution of linear Fredholm fuzzy integral equations of the second kind by Adomian method. Appl. Math. Comput. 161, 733-744 (2005) View ArticleMATHMathSciNetGoogle Scholar
  12. Rouhparvar, H, Allahviranloo, T, Abbasbandy, S: Existence and uniqueness of fuzzy solution for linear Volterra fuzzy integral equations proved by Adomian decomposition method. ROMAI J. 5(2), 153-161 (2009) MATHMathSciNetGoogle Scholar
  13. Abbasbandy, S, Babolian, E, Alavi, M: Numerical method for solving linear Fredholm fuzzy integral equations of the second kind. Chaos Solitons Fractals 31(1), 138-146 (2007) View ArticleMATHMathSciNetGoogle Scholar
  14. Khezerloo, M, Allahviranloo, T, Salahshour, S, Khorasani Kiasari, M, Haji Ghasemi, S: Application of Gaussian quadratures in solving fuzzy Fredholm integral equations. In: Information Processing and Management of Uncertainty in Knowledge-Based Systems. Applications. Communications in Computer and Information Science, vol. 81, pp. 481-490 (2010) View ArticleGoogle Scholar
  15. Salehi, P, Nejatiyan, M: Numerical method for nonlinear fuzzy Volterra integral equations of the second kind. Int. J. Ind. Math. 3(3), 169-179 (2011) Google Scholar
  16. Mokhtarnejad, F, Ezzati, R: The numerical solution of nonlinear Hammerstein fuzzy integral equations by using fuzzy wavelet like operator. J. Intell. Fuzzy Syst. doi:10.3233/IFS-141446
  17. Ziari, S, Ezzati, R, Abbasbandy, S: Numerical solution of linear fuzzy Fredholm integral equations of the second kind using fuzzy Haar wavelet. In: Advances in Computational Intelligence. Communications in Computer and Information Science, vol. 299 (2012) View ArticleGoogle Scholar
  18. Ezzati, R, Ziari, S: Numerical solution and error estimation of fuzzy Fredholm integral equation using fuzzy Bernstein polynomials. Aust. J. Basic Appl. Sci. 5(9), 2072-2082 (2011) Google Scholar
  19. Bica, AM, Popescu, C: Approximating the solution of nonlinear Hammerstein fuzzy integral equations. Fuzzy Sets Syst. 245, 1-17 (2014) View ArticleMathSciNetGoogle Scholar
  20. Bica, AM, Popescu, C: Numerical solutions of the nonlinear fuzzy Hammerstein-Volterra delay integral equations. Inf. Sci. 223, 236-255 (2013) View ArticleMATHMathSciNetGoogle Scholar
  21. Ezzati, R, Ziari, S: Numerical solution of nonlinear fuzzy Fredholm integral equations using iterative method. Appl. Math. Comput. 225, 33-42 (2013) View ArticleMathSciNetGoogle Scholar
  22. Mirzaee, F: Numerical solution of Fredholm fuzzy integral equations of the second kind using hybrid of block-pulse-functions and Taylor series. Ain Shams Eng. J. 5, 631-636 (2014) View ArticleMathSciNetGoogle Scholar
  23. Dubois, D, Prade, H: Fuzzy numbers: an overview. In: Analysis of Fuzzy Information, vol. 1, pp. 3-39. CRC Press, Boca Raton (1987) Google Scholar
  24. Wu, C, Gong, Z: On Henstock integral of fuzzy-number-valued functions (I). Fuzzy Sets Syst. 120, 523-532 (2001) View ArticleMATHMathSciNetGoogle Scholar
  25. Bede, B, Stefanini, L: Generalized differentiability of fuzzy-valued functions. Fuzzy Sets Syst. 230, 119-141 (2013) View ArticleMathSciNetGoogle Scholar
  26. Bica, AM: Algebraic structures for fuzzy numbers from categorial point of view. Soft Comput. 11, 1099-1105 (2007) View ArticleMATHGoogle Scholar
  27. Gal, SG: Approximation theory in fuzzy setting. In: Anastassiou, GA (ed.) Handbook of Analytic-Computational Methods in Applied Mathematics, pp. 617-666. Chapman & Hall/CRC Press, Boca Raton (2000) Google Scholar
  28. Stefanini, L: A generalization of Hukuhara difference and division for integral and fuzzy arithmetic. Fuzzy Sets Syst. 161, 1564-1584 (2010) View ArticleMATHMathSciNetGoogle Scholar
  29. Congxin, W, Cong, W: The supremum and infimum of the set of fuzzy numbers and its applications. J. Math. Anal. Appl. 210, 499-511 (1997) View ArticleMATHMathSciNetGoogle Scholar
  30. Fang, J-X, Xue, Q-Y: Some properties of the space fuzzy-valued continuous functions on a compact set. Fuzzy Sets Syst. 160, 1620-1631 (2009) View ArticleMATHMathSciNetGoogle Scholar
  31. Chalco-Cano, Y, Roman-Flores, H: On new solutions of fuzzy differential equations. Chaos Solitons Fractals 38, 112-119 (2008) View ArticleMATHMathSciNetGoogle Scholar
  32. Goetschel, R, Voxman, W: Elementary fuzzy calculus. Fuzzy Sets Syst. 18, 31-43 (1986) View ArticleMATHMathSciNetGoogle Scholar
  33. Gong, Z, Wu, C: Bounded variation absolute continuity and absolute integrability for fuzzy-number-valued functions. Fuzzy Sets Syst. 129, 83-94 (2002) View ArticleMATHMathSciNetGoogle Scholar
  34. Anastassiou, GA: Fuzzy Mathematics: Approximation Theory. Springer, Berlin (2010) View ArticleGoogle Scholar
  35. Jung, ZH, Schanfelberger, W: Block-Pulse Functions and Their Applications in Control Systems. Springer, Berlin (1992) View ArticleGoogle Scholar
  36. Maleknejad, K, Mahmoudi, Y: Numerical solution of linear Fredholm integral equation by using hybrid Taylor and Block-pulse functions. Appl. Math. Comput. 149, 799-806 (2004) View ArticleMATHMathSciNetGoogle Scholar
  37. Mirzaee, F, Hoseini, AA: Numerical solution of nonlinear Volterra-Fredholm integral equations using hybrid of block-pulse functions and Taylor series. Alex. Eng. J. 52, 551-555 (2013) View ArticleGoogle Scholar

Copyright

© Baghmisheh and Ezzati; licensee Springer. 2015