Skip to main content

Theory and Modern Applications

Study of hybrid orthonormal functions method for solving second kind fuzzy Fredholm integral equations

Abstract

The approximate numerical solution of the linear second kind of fuzzy integral Fredholm equations is discussed in this article. A new approach uses hybrid functions, and some useful properties of these functions are proposed to transform linear second type fuzzy integral Fredholm equations into an algebraic equation. The new approach is a mixture of Bernstein polynomials (BPs) and enhanced block-pulse functions (IBPFs) at interval \([0, 1)\). The approach is appealing and very easy to implement computationally. Some numerical tests show the reliability and exactness of the suggested scheme.

1 Introduction

There are many fuzzy mathematical models for the analysis of fuzzy systems with applications. The main objective of these models is to focus on how to use the model of a fuzzy system to solve fuzzy mathematics problems. Some mathematical models are based on fuzzy set theory; see [1]. In various cases of data collection one may identify situations, where measurements in a data sample are only partially associated with their underlying population. The presence of such data imposes challenges to any statistical procedure of the comparison of distributions or numerical characteristics of variables. Some work presents procedures to test the identity of distributions on the basis of one key, the so-called fuzzy samples; see for example [2]. Moreover, fuzzy systems and neural network techniques seem very well suited for typical technical problems; for example, see [3, 4] where the generalized net model is addressed to the appraisal of lecturers with intuitionistic fuzzy estimations that represent a model of a digital university.

Integral fuzzy forms equations in applied mathematics are necessary to research and solve a large proportion of the problems in different topics. Fuzzy integral equations (FIEs) topics have been of increasing interest for some time, particularly in physics, geography, medicine, biology, and fuzzy control, and have grown rapidly in recent years. Some of the parameters for our problems are usually set for several applications that are typically defined by fuzzy numbers rather than smooth, and therefore it is important to establish mathematical models and computational methods for appropriate care and resolution of general fuzzy integral equations. Those were studied in particular by Nanda [5], Kaleva [6], Ralescu and Adams [7], Goetschel and Voxman [8], Wang [9], and Bede and Gal [10]. Molabahrami et al. [11] recently used the parametric shape of a fuzzy number and in the crisp case they transformed a linear fuzzy integral Fredholm equation to two linear systems of second type integral equations. These equations are usually analytically difficult to solve. Therefore approximate solutions need to be found. A variety of computational methods for solving linear fuzzy Fredholm integral equations have recently been investigated. Block-pulse functions [1217], hair functions [18], triangular functions [1921], Chebyshev hybrids with functions of block-pulse form [22, 23], Legendre hybrid with functions of block-pulse form [2426], hybrid Taylor, block-pulse functions [27], Fourier hybrid with functions of block-pulse form [28] and Bernstein polynomials hybrid with functions of block-pulse form [2931]. Harmuth first introduced block-pulse functions to electrical engineering, and other scholars addressed the block pulse [3235]. Bernstein polynomials play a prominent role in various mathematical fields. These polynomials were also used to solve integral equations, differentials and in approximation theory [3640]. The improved block-pulse function is introduced by Farshid Mirzaee [41]. These modified block-pulse functions are applied to numerical solution of stochastic Volterra integral equations [42]. The Bernstein polynomials (BPs) and improved block-pulse functions (IBPFs) are introduced in [43].

The purpose of this article is the application of the HBIBP method, for the first time, to get an approximate solution for the second kind of linear Fredholm fuzzy equations. Finally, we test the system on a few examples to demonstrate its accuracy and effectiveness.

The paper is organized as follows: Several notes and theorems on fuzzy set structures and analysis of integral equations of fuzzy Fredholm type, improved block-pulse function and polynomials of Bernstein and its properties are briefly discussed in Sect. 2. In Sect. 3, we are launching a new blend of the Bernstein and enhanced block-pulse functions. The linear integral Fredholm equation is solved using a new basis in Sect. 4. The error estimate is given in Sect. 5 for the proposed method. Test problems to demonstrate the reliability and accuracy of the proposed scheme are considered in Sect. 6. Finally, we make our closing remarks.

2 Preliminaries

2.1 Bernstein-type polynomials

Definition

([44])

The Mth degree Bernstein polynomials are defined on the interval \([0, 1]\) by

$$ B_{i,M} ( x ) = \binom{M}{i} x^{i} ( 1-x )^{M-i}, \quad i=0,1,\ldots,M, $$

where \(\binom{M}{i} = \frac{M!}{i!(M-i)!}\).

By binomial expansion of \((1-x)^{M-i}\), we get

$$ \binom{M}{i} x^{i} ( 1- x )^{M - i} = \sum _{k =0}^{M - i} ( -1 )^{k} \binom{M}{i} \binom{M - i}{k} x^{i + k}, $$

and we normally set for mathematical convenience \(B_{i, M} =0\) if \(i < 0\) or \(i > M\). One can also use a recursive description to generate the Bernstein polynomials over \([0,1]\) so that the ith Bernstein polynomial of Mth degree takes the form

$$ B_{i, M} ( x ) = ( 1- x ) B_{i, M -1} ( x ) + x B_{i -1, M -1} ( x ). $$

The Bernstein polynomials can be proved to be positive and the sum of all the Bernstein polynomials is unity, for all real \(x \in [0,1]\), i.e., \(\sum_{i =0}^{M} B_{i, M} ( x ) =1\) (unity partition property). We can easily prove that every Mth degree polynomial can be extended in terms of these basis functions.

2.2 Improved block-pulse function

Definition

An \(( n+1 ) \)-set of IBPFs consists of \((n+1)\) functions that are specified over a region D, with a slight change in the definition of function, as follows [41]:

$$\begin{aligned}& \varphi _{1} ( x ) = \textstyle\begin{cases} 1,&x\in [ 0, \frac{h}{2} ),\\ 0,&\text{otherwise}, \end{cases}\displaystyle \\& \varphi _{i} ( x ) = \textstyle\begin{cases} 1, &x\in [ ( i-2 ) h+ \frac{h}{2}, ( i-1 ) h+ \frac{h}{2} ),\\ 0, &\text{otherwise}, \end{cases}\displaystyle \quad i=2,3,\ldots,n, \\& \varphi _{n+1} (x)= \textstyle\begin{cases} 1, &x\in [ 1- \frac{h}{2},1 ),\\ 0, &\text{otherwise}. \end{cases}\displaystyle \end{aligned}$$

Here n is an arbitrary positive integer, and \(h= \frac{1}{n} \).

The most important properties for these functions are disjointness, orthogonality, and completeness.

Lemma

Let a set of improved block-pulse functions (IBPFs) \(\varphi _{ {i}} ( {x} )\), \(i =1,2,\ldots, N+1 \)be defined on the interval \([0, 1)\)such that

$$\begin{aligned}& \varphi _{1} (x)= \textstyle\begin{cases} 1,&x\in [ 0, \frac{h}{2} ),\\ 0,&\textit{otherwise}, \end{cases}\displaystyle \\& \varphi _{i} ( x ) = \textstyle\begin{cases} 1, &x\in [ ( i-2 ) h+ \frac{h}{2}, ( i-1 ) h+ \frac{h}{2} ),\\ 0, &\textit{otherwise}, \end{cases}\displaystyle \quad i=2,3,\ldots,n, \\& \varphi _{n+1} (x)= \textstyle\begin{cases} 1, &x\in [ 1- \frac{h}{2},1 ),\\ 0, &\textit{otherwise}. \end{cases}\displaystyle \end{aligned}$$

The properties of such functions correspond to the following:

  1. (i)

    disconnectedness,

  2. (ii)

    orthogonality,

  3. (iii)

    completeness.

Proof

Using the definition of an improved block pulse, the disjointness property can be obtained as follows:

$$ \varphi _{i} ( x ) \varphi _{j} ( x ) = \textstyle\begin{cases} \varphi _{i} ( x ), &i=j,\\ 0, &\text{otherwise}. \end{cases} $$

The other property of IBPFs is mutual orthogonality, where \(x\in D\),

$$ \int _{0}^{1} \varphi _{i} ( x ) \varphi _{j} ( x ) \,dx= \textstyle\begin{cases} \frac{h}{2}, &i=j\in \{ 1,n+1 \} ,\\ h, &i=j\in \{ 2,3,\ldots,n \} ,\\ 0, &\text{otherwise}. \end{cases} $$

For the completeness property: every \(f \in L^{2} [0, 1]\). If n goes to infinity, Parseval’s identity holds:

$$ \int _{0}^{1} f^{2} (x)\,dx = \sum _{i = 0}^{\infty } f_{i}^{2} \bigl\Vert \phi _{i}(x) \bigr\Vert ^{2},\quad \text{where } f_{i} = \frac{1}{h} \int _{0}^{1} f(x) \phi _{i} (x)\,dx. $$

 □

2.2.1 Vector forms of IBPFS

Consider the first \((n+1)\) terms of IBPFs and write them concisely as \((n+1)\)-vector

$$ \Phi _{n} ( x ) = \bigl[ \varphi _{1} ( x ),\varphi _{2} ( x ),\ldots, \varphi _{n+1} ( x ) \bigr]^{T},\quad x\in D, $$
(2.1)

from disjointness

$$ \Phi _{n} ( x ) \Phi _{n}^{T} ( x ) = \begin{pmatrix} \varphi _{1} ( x ) & 0 &\dots & 0\\ 0 & \varphi _{2} ( x ) &\dots & 0\\ \vdots & \vdots& \ddots & \vdots \\ 0 & 0 &\dots & \varphi _{n+1} ( x ) \end{pmatrix} =\operatorname{diag} \bigl( \Phi _{n} ( x ) \bigr). $$

2.2.2 IBPFs expansions

A continuous function \(f(x)\in L^{2} (D )\) may be expanded by the IBPFs as

$$ f ( x ) \simeq f_{n} ( x ) = \sum_{i=1}^{n+1} f_{i} \varphi _{i} ( x ) = F_{n}^{T} \Phi _{n} ( x ) = \Phi _{n}^{T} ( x ) F_{n}, $$

where \(F_{n}\) is a \(( n+1 ) \times 1\) vector given by

$$ F_{n} = [ f_{1}, f_{2},\ldots, f_{n+1} ]^{T}, $$

and \(\Phi _{n} ( x )\) is defined in (2.1) and \({f}_{ {i}}\) is obtained as

$$ f_{i} = \textstyle\begin{cases} 2n \int _{0}^{\frac{h}{2}} f(x) \,dx, &i=1,\\ n \int _{ ( i-2 ) h+ \frac{h}{2}}^{ ( i-1 ) h+ \frac{h}{2}} f ( x ) \,dx, &i=2,\ldots,n,\\ 2n \int _{1- \frac{h}{2}}^{1} f ( x ) \,dx, &i=n+1. \end{cases} $$

Similarly a function of two variables \(K(x,y)\in L^{2} (D\times D)\) can be approximated by IBPFs as follows:

$$ K(x,y)\simeq \Phi _{n+1}^{T} (x) K_{n} \Phi _{n+1} (y). $$

Here \(\Phi _{n} (x)\) and \(\Phi _{n} (y)\) are IBPFs vector of dimension \((n+1)\) and \(K_{n} =[ k_{i,j} ]\) is the \(( n+1 ) \times (n+1)\) IBPFs coefficient matrix of \({k}( {x}, {y})\).

2.3 Fuzzy functions

Now recall the following definitions needed throughout the paper.

Definition

([45])

A fuzzy number is a fuzzy set u: \(R^{1}\rightarrow [0, 1]\) that satisfies following condition:

  • u is upper semi-continuous.

  • \(u ( x ) =0\) outside the interval \([c, d]\).

  • Here the real numbers a and b: \(c \leq a \leq b \leq d\) for which

    • \(u(x)\) shows rising monotony on \([c, a]\),

    • \(u(x)\) is monotonously declining on \([b, d]\),

    • \(u ( x ) =1\), \(a \leq x \leq b\).

Definition

([45])

A fuzzy number u is a pair \(( \underline{u} (r), \overline{u} (r))\) of functions \(\underline{u} (r)\) and \(\overline{u} (r)\), \(0 \leq r \leq 1\), that satisfy the following requirements:

  • \(\underline{u} (r)\) is a bounded monotonic, continuous increasing left function,

  • \(\overline{u} ( r )\) is a bounded monotonous decreasing continuous left function,

  • \(\underline{u} ( r ) \leq \ \overline{u} (r)\), \(0 \leq r \leq 1\).

For arbitrary \(u=( \underline{u} (r), \overline{u} (r))\), \(v=( \underline{v} (r), \overline{v} (r))\) and \(k>0\) we describe adding \((u+v)\) and multiplication by k as follows:

  • \(u=v\) if and only if \(\underline{u} ( r ) = \underline{v} (r)\) and \(\overline{u} (r)+ \overline{v} (r)\),

  • \(u\oplus v=( \underline{u} ( r ) + \underline{v} (r), \overline{u} ( r ) + \overline{v} ( r ) )\),

  • $$\begin{aligned}& ( \lambda \otimes u ) = \textstyle\begin{cases} ( \lambda \underline{u} ( r ),\lambda \overline{u} ( r ) ) & \lambda \geq 0,\\ ( \lambda \overline{u} ( r ),\lambda \underline{u} ( r ) ) & \lambda < 0. \end{cases}\displaystyle \end{aligned}$$

2.4 Fredholm integral equations of fuzzy form

The Fredholm fuzzy second form integral equation is

$$ \tilde{u} ( x ) = \tilde{f} ( x ) +\lambda \int _{a}^{b} k ( x,t ) \tilde{u} (t) {dt}, $$
(2.2)

where >0, \({k}( {x}, {t})\) is an arbitrary kernel function and \(\tilde{ {f}} ( {x} )\) and \(\tilde{ {u}} ( {x} )\) are fuzzy functions over \([a,b]\).

The solution of Eq. (2.2) is crisp where \(\tilde{ {f}} ( {x} )\) is a crisp function. However, if \(\tilde{ {f}} ( {x} )\) is a fuzzy function, then Eq. (2.2) can possess only fuzzy solutions. For the implementation of the numerical method for solving Eq. (2.2), we rewrite it as

$$\begin{aligned}& \underline{u} ( x,r ) = \underline{f} ( x, r ) +\lambda \int _{a}^{b} \underline{U} ( t,r ) {dt}, \\& \overline{u} ( x, r ) = \overline{f} ( x, r ) +\lambda \int _{a}^{b} \overline{U} ( t, r ) {dt}, \end{aligned}$$

where

$$\begin{aligned}& \underline{U} ( t,r ) = \textstyle\begin{cases} k ( x,t ) \underline{u} ( t,r ), &k(x,t)\geq 0,\\ k ( x,t ) \overline{u} ( t, r ), &k(x,t)< 0, \end{cases}\displaystyle \\& \overline{U} ( t, r ) = \textstyle\begin{cases} k ( x,t ) \overline{u} ( t,r ), &k(x,t)\geq 0,\\ k ( x,t ) \underline{u} ( t, r ), &k(x,t)< 0. \end{cases}\displaystyle \end{aligned}$$

Theorem 1

Let \(k ( x, t )\)be continuous for \(a\leq x, t\leq b\)and \(\tilde{f} ( x )\)be a fuzzy continuous of x, \(a\leq x\leq b\). If \(\lambda < \frac{1}{M ( b-a )}\), where \(M = \max_{a\leq x, t\leq b} \vert k ( x, t ) \vert \), then the iterative procedure

$$\begin{aligned}& \tilde{u}_{0} ( x ) = \tilde{f} ( x ), \\& \vdots \\& \tilde{u}_{k} ( x ) = \tilde{f} ( x ) + \lambda \int _{a}^{b} k ( x, t ) \tilde{u}_{k- 1} ( t ) {dt},\quad k\geq 1, \end{aligned}$$

converges to the unique solution of (2.2). Specially,

$$ \sup_{a\leq x\leq b} D \bigl( \tilde{u} ( x ), \tilde{u}_{k} ( x ) \bigr) \leq \frac{L^{k}}{1 -L} \sup_{a\leq x\leq b} D \bigl( \tilde{u}_{0} ( x ), \tilde{u}_{1} ( x ) \bigr), $$

where \(L = \lambda M ( b-a )\).

3 New hybrid Bernstein improved block-pulse functions (HBIBPFs) method

Definition

([43])

\(\mathit{HBIBP}_{i, j} ( x )\) is the combination of Bernstein polynomials and improved block-pulse functions where both are complete and orthogonal, then the set is a complete orthogonal complete system. Hybrid orthonormal Bernstein and improved block-pulse functions where \(j =0,1,\ldots, M\), \(i =1,2,\ldots, N+1\), \(\mathit{HBIBP}_{i, j} ( x )\) have two arguments; i and j are the order of IBPFs and degree of BPs, respectively. \(\mathit{HBIBP} ( x )\) is defined on the interval \([0, 1)\) as follows:

$$\begin{aligned}& \mathit{HBIBP}_{i,j} ( x ) = \textstyle\begin{cases} B_{j,M} ( \frac{2x}{h} ), &x \in [ 0, \frac{h}{2} ),\\ 0, &\text{otherwise}, \end{cases}\displaystyle \quad \text{for } i=1, j=0,1,\ldots,M , \end{aligned}$$
(3.1)
$$\begin{aligned}& \begin{aligned}[b] &\mathit{HBIBP}_{i,j} ( x ) = \textstyle\begin{cases} B_{j,M} ( \frac{x}{h} + \frac{3}{2} - i ),&x \in [ ( i - 2 ) h + \frac{h}{2}, ( i - 1 ) h + \frac{h}{2} ),\\ 0, &\text{otherwise}, \end{cases}\displaystyle \\ &\quad \text{for } i=2,3,\ldots,N,j=0,1,\ldots,M , \end{aligned} \end{aligned}$$
(3.2)
$$\begin{aligned}& \mathit{HBIBP}_{i,j} ( x ) = \textstyle\begin{cases} B_{j,M} ( \frac{2x}{h} - \frac{2}{h} +1 ), & x \in [ 1 - \frac{h}{2},1 ),\\ 0, &\text{otherwise}, \end{cases}\displaystyle \quad \text{for } i=N+1, j=0,1,\ldots,M . \end{aligned}$$
(3.3)

Thus, our new basis is \(\{\mathit{HBIBP}_{1,0},\mathit{HBIBP}_{1,1},\ldots, \mathit{HBIBP}_{ {N}+1, {M}} \} \). The following section demonstrates the problem of approximating these functions.

3.1 Function approximation by HBIBPFs

In terms of the HBIBP basis a function \(u(x)\) can be expressed as follows:

$$ u ( x ) = \sum_{i=1}^{N+1} \sum _{j=0}^{M} c_{i,j}. \mathit{HBIBP}_{i,j} ( x ) = C^{T} \mathit{HBIBP} ( x ), $$
(3.4)

where

$$ \mathit{HBIBP} ( x ) = [ \mathit{HBIBP}_{1,0}, \mathit{HBIBP}_{1,1},\ldots, \mathit{HBIBP}_{N+1, M} ]^{T} $$

and

$$ C = [ c_{1,0}, c_{1,1},\ldots, c_{N+1,M} ]^{T}, $$

we have

$$ C^{T} \bigl\langle \mathit{HBIBP} ( x ), \mathit{HBIBP} ( x ) \bigr\rangle = \bigl\langle u ( x ), \mathit{HBIBP} ( x ) \bigr\rangle , $$

then

$$ C = L^{-1} \bigl\langle u ( x ), \mathit{HBIBP} \bigr\rangle , $$
(3.5)

where \(\langle \cdot,\cdot \rangle \) is the standard inner product and L is an \(( ( N +1 ) ( M +1 ) \times ( N +1 ) ( M +1 ) )\) matrix that is said to be the dual matrix; that is,

$$\begin{aligned} L&= \bigl\langle \mathit{HBIBP} ( x ), \mathit{HBIBP} ( x ) \bigr\rangle \\ &= \int _{0}^{1} \mathit{HBIBP} ( x ). \mathit{HBIBP}^{T} ( x ) \,dx \\ &= \begin{pmatrix} L_{1} & 0 & 0 & \cdots & 0\\ 0 & L_{2} & 0 & \cdots & 0\\ 0 & 0 & L_{3}& \cdots & 0 \\ \vdots & \vdots & \vdots &\ddots & \vdots \\ 0 & 0 & 0 &\cdots & L_{n +1} \end{pmatrix} , \end{aligned}$$
(3.6)

\(L_{i}\) (\(i =1,2,\ldots, n +1\)) is defined as follows:

$$\begin{aligned}& \begin{aligned} ( L_{1} )_{i +1, j +1} &= \int _{0}^{\frac{h}{2}} B_{i, M} \biggl( \frac{2 x}{h} \biggr) B_{j, M} \biggl( \frac{2 x}{h} \biggr) \,dx = \frac{h}{2} \int _{0}^{1} B_{i, M} ( x ) B_{j, M} ( x ) \,dx \\ &= \frac{h \binom {M}{ i} \binom {M}{ j} }{2 ( 2 M +1 ) \binom {2 M}{ i + j} }, \quad \text{for } i, j =0,\ldots, M, \end{aligned} \\& \begin{aligned} ( L_{r} )_{i+1,j+1} &= \int _{ ( i - 2 ) h + \frac{h}{2}}^{ ( i - 1 ) h + \frac{h}{2}} B_{i,M} \biggl( \frac{x}{h} + \frac{3}{2} - i \biggr) B_{j,M} \biggl( \frac{x}{h} + \frac{3}{2} - i \biggr) \,dx,\quad \text{for } r=2,\ldots,N \\ &= h \int _{0}^{1} B_{i, M} ( x ) B_{j, M} ( x ) \,dx = \frac{h \binom {M}{ i} \binom {M}{ j} }{ ( 2 M +1 ) \binom {2 M}{ i + j} }, \quad \text{for } i, j =0,\ldots, M, \end{aligned} \\& \begin{aligned} ( L_{N +1} )_{i +1, j +1} &= \int _{1 - \frac{h}{2}}^{1} B_{i, M} \biggl( \frac{2 x}{h} - \frac{2}{h} +1 \biggr) B_{j, M} \biggl( \frac{2 x}{h} - \frac{2}{h} +1 \biggr) \,dx \\ &= \frac{h}{2} \int _{0}^{1} B_{i, M} ( x ) B_{j, M} ( x ) \,dx = \frac{h \binom {M}{ i} \binom {M}{ j} }{2 ( 2 M +1 ) \binom {2 M}{ i + j} }, \quad \text{for } i, j =0,\ldots, M. \end{aligned} \end{aligned}$$

We can also approximate the function \(k ( x, t ) \in L^{2} ( [ 0,1 ] \times [0,1])\) as follows:

$$ k ( x, t ) = \mathit{HBIBP}^{T} ( x ). K. \mathit{HBIBP} ( t ) , $$
(3.7)

where K is an \(( M +1)( N +1)\) matrix that we can obtain as follows:

$$ K = L^{- 1} \bigl\langle \mathit{HBIBP} ( x ), \bigl\langle k ( x, t ), \mathit{HBIBP} ( t ) \bigr\rangle \bigr\rangle L^{- 1}. $$

4 Solving integral Fredholm equation of second kind via HBIBP function

In this section, a HBIBPF method is presented to transform the fuzzy Fredholm integral equation of the second kind that is linear (FFIE-2) to two crisp coupled systems. First we consider the fuzzy Fredholm case as the integral Eq. (2.2) in this article with \(a=0\), \(b=1\) and \(\lambda =1\), where \(\tilde{u} ( x ),\ \tilde{f} ( x ) \in L^{2} ( [ 0,1 ) )\) and \(k(x,t)\in L^{2} ( [ 0,1 ) \times [ 0,1 ) )\). Our task is to evaluate HBIBP coefficients from the information functions and kernel within the interval \([0, 1)\). So, we can add the FFIE-2 parametric form as follows:

$$\begin{aligned}& \underline{u} ( x,r ) = \underline{f} ( x, r ) +\lambda \int _{a}^{b} \underline{U} ( t,r ) {dt}, \end{aligned}$$
(4.1)
$$\begin{aligned}& \overline{u} ( x, r ) = \overline{f} ( x, r ) +\lambda \int _{a}^{b} \overline{U} ( t, r ) {dt}. \end{aligned}$$
(4.2)

Let us expand \(\underline{u} ( x,r )\), \(\overline{u} ( x,\ r )\), \(\underline{f} ( x,r )\), \(\overline{f} ( x,\ r )\) and \(k(x,t)\) by HBIBPFs (3.1)–(3.7) as follows:

$$\begin{aligned}& {k ( x, t ) = \mathit{HBIBP}^{T} ( x ). K. \mathit{HBIBP} ( t )},\\& \underline{u} ( x, r ) = \mathit{HBIBP}^{T} ( x ). U1. \mathit{HBIBP} ( r ) , \quad\quad \overline{u} ( x, r ) = \mathit{HBIBP}^{T} ( x ). U2. \mathit{HBIBP} ( r ) , \\& \underline{f} ( x, r ) = \mathit{HBIBP}^{T} ( x ). F1. \mathit{HBIBP} ( r ) , \quad\quad \overline{f} ( x, r ) = \mathit{HBIBP}^{T} ( x ). F2. \mathit{HBIBP} ( r ). \end{aligned}$$

Substituting the above equations into Eq. (4.1) yields

$$\begin{aligned}& \mathit{HBIBP}^{T} ( x ) .U1.\mathit{HBIBP} ( r ) \\& \quad = \mathit{HBIBP}^{T} ( x ) .F1.\mathit{HBIBP} ( r ) \\& \quad\quad{} +\lambda \int _{0}^{1} \mathit{HBIBP}^{T} ( x ) .K.\mathit{HBIBP} ( t ). \mathit{HBIBP}^{T} ( t ) .U1.\mathit{HBIBP} ( r ) \,dt, \\& \mathit{HBIBP}^{T} ( x ) .U1.\mathit{HBIBP} ( r ) \\& \quad = \mathit{HBIBP}^{T} ( x ) .F1.\mathit{HBIBP} ( r ) \\& \quad\quad{} +\lambda . \mathit{HBIBP}^{T} ( x ) .K \biggl( \int _{0}^{1} .\mathit{HBIBP} ( t ). \mathit{HBIBP}^{T} ( t ) \,dt \biggr) U1.\mathit{HBIBP} ( r ) \end{aligned}$$

manipulating Eq. (3.6) and the above equation yields

$$\begin{aligned}& \mathit{HBIBP}^{T} ( x ). U 1. \mathit{HBIBP} ( r ) \\& \quad = \mathit{HBIBP}^{T} ( x ). F 1. \mathit{HBIBP} ( r ) + \lambda . \mathit{HBIBP}^{T} ( x ). K. D. U 1. \mathit{HBIBP} ( r ). \end{aligned}$$

Then

$$ U1=F1+\lambda .K.D.U1 \quad \Rightarrow \quad ( I-\lambda .K.D ) U1=F1. $$

Here I is the \((N+1)(M+1)\) identity matrix, then the above equation can be written as follows:

$$ U 1= ( I - \lambda . K. D )^{-1} F 1. $$

For the solution of the above matrix, we can find the matrix U1. So \(\underline{u} ( x, r ) = \mathit{HBIBP}^{T} ( x ). U 1. \mathit{HBIBP} ( r )\). The same pattern is true of Eq. (4.2).

5 The convergence characteristics of the proposed method

This section estimates the error regarding the proposed number method.

Theorem 2

The Fredholm fuzzy integral equation solution using HBIBPFs converges if \(M <1\); where \({M} = \max_{0 \leq {x}, {t} \leq 1} \vert {k} ( {x}, {t} ) \vert \).

Proof

Assume \(\tilde{ {u}}_{ {E}} ( {x} )\) and \(\tilde{ {u}} ( {x} )\) are the exact and approximate solutions of Eq. (2.2), respectively. Then

$$\begin{aligned}& \begin{aligned} D \bigl( \tilde{u} ( x ), \tilde{u}_{E} ( x ) \bigr) &=D \Biggl( \int _{0}^{1} k ( x, t ) \tilde{u} ( t ) {dt}, \int _{0}^{1} k ( x, t ) \sum _{i=1}^{N+1} \sum_{j=0}^{M} c_{i,j}. \mathit{HBIBP}_{i,j} ( x ) {dt} \Biggr) \\ &\leq M \int _{0}^{1} D \Biggl( \tilde{u} ( x ), \sum _{i=1}^{N+1} \sum _{j=0}^{M} c_{i,j}. \mathit{HBIBP}_{i,j} ( x ) \Biggr) \,dt, \end{aligned} \\& D \bigl( \tilde{u} ( x ), \tilde{u}_{E} ( x ) \bigr) \leq M \int _{0}^{1} D \bigl( \tilde{u} ( x ), \tilde{u}_{E} ( x ) \bigr) \,dt, \\& \sup_{0 \leq x \leq 1} D \bigl( \tilde{u} ( x ), \tilde{u}_{E} ( x ) \bigr) \leq M \sup_{0 \leq x \leq 1} D \bigl( \tilde{u} ( x ), \tilde{u}_{E} ( x ) \bigr). \end{aligned}$$

Therefore if \(M <1\), we will have

$$ \lim_{ ( n +1 ) ( m +1) \rightarrow \infty } \Bigl( \sup_{0 \leq x \leq 1} D \bigl( \tilde{u} ( x ), \tilde{u}_{E} ( x ) \bigr) \Bigr) =0. $$

 □

6 Numerical examples

The accuracy of the proposed solution is demonstrated by solving the following test problems, where all the computations were carried out using the Matlab program (R2018b).

Example 1

Consider the following Fredholm integral linear fuzzy equation [45, 46]:

$$\begin{aligned}& \underline{f} ( x,r ) =- \frac{1}{3} x^{2} +r x^{2} + \frac{1}{3} x+ \frac{1}{4} r- \frac{1}{12},\\& \overline{f} ( x,r ) = \frac{1}{3} x- x^{2} r- \frac{1}{4} r+ \frac{5}{3} x^{2} + \frac{5}{12}, \end{aligned}$$

and

$$ k ( x,t ) = ( 2t-1 )^{2} ( 1-2x ),\quad 0\leq x,t\leq 1 \text{ and } \lambda =1. $$

The exact solution in this case is given by

$$\begin{aligned}& \underline{u} ( x,r ) =rx, \\& \overline{u} ( x,r ) = ( 2-r ) x. \end{aligned}$$

Table 1 shows the comparison of the approximate solution for presented method, block-pulse functions [46] for \(m=32\), hybrid block-pulse functions and Taylor series (HBT) with \(M=4\), \(N=2\) (N and M are the order of block-pulse functions and Taylor polynomials, respectively) [45] and the exact solution.

Table 1 The numerical results for Example 1 with \({x}=0.5\), \({M} =2\), \({N} =3\)

Example 2

Consider the following linear Fredholm integral fuzzy equation [47]:

$$\begin{aligned}& \underline{f} ( x,r ) = \frac{4}{3} rx- \frac{1}{6} r,\\& \overline{f} ( x,r ) = \frac{8}{3} x- \frac{4}{3} rx+ \frac{1}{6} r- \frac{1}{3}, \end{aligned}$$

and

$$ k ( x,t ) = ( 2t-1 )^{2} ( 1-2x ),\quad 0\leq x,t\leq 1 \text{ and } \lambda =1. $$

The exact solution in this case is given by

$$\begin{aligned}& \underline{u} ( x,r ) =rx, \\& \overline{u} ( x,r ) =(2-r)x. \end{aligned}$$

Table 2 shows the comparison of the approximate solution for presented method, two methods in [47] (hybrid block-pulse functions and Bernoulli polynomials (HBPBPs) and Bernoulli polynomials (BPs)) with \(M =10\), \(N =10\) where N and M are the order of block-pulse functions and Bernoulli polynomials, respectively and the exact solution.

Table 2 The numerical results for Example 2 with \({x}=0.5\), \({M} =2\), \({N} =3\)

Example 3

Consider the linear fuzzy Fredholm integral equation

$$\begin{aligned}& \underline{f} ( x,r ) = \biggl( \frac{x}{2} - \frac{1}{3} \biggr)r, \\& \overline{f} ( x,r ) = \biggl( \frac{x}{2} - \frac{1}{3} \biggr) (2-r), \end{aligned}$$

and

$$ k ( x,t ) =x+t,\quad 0\leq x,t\leq 1 \text{ and } \lambda =1. $$

The exact solution in this case is given by

$$\begin{aligned}& \underline{u} ( x,r ) =rx, \\& \overline{u} ( x,r ) = ( 2-r ) x. \end{aligned}$$

Table 3 shows the comparison of the approximate solution for presented method and the exact solution.

Table 3 The numerical results for Example 3 with \({x}=0.5\), \({M} =2\), \({N} =3\)

Example 4

Consider the linear fuzzy Fredholm integral equation

$$\begin{aligned}& \underline{f} ( x,r ) = \biggl( \frac{38}{39} x^{2} - \frac{1}{65} + \frac{2}{39} \biggr) r, \\& \overline{f} ( x,r ) = \biggl( \frac{38}{39} x^{2} - \frac{1}{65} + \frac{2}{39} \biggr) (2-r), \end{aligned}$$

and

$$ k ( x,t ) = \frac{x^{2} + t^{2} -2}{13},\quad 0\leq x,t\leq 1 \text{ and } \lambda =1. $$

The exact solution in this case is given by

$$\begin{aligned}& \underline{u} ( x,r ) =r x^{2}, \\& \overline{u} ( x,r ) =(2-r) x^{2}. \\& \bigl( \underline{u} ( x,r ), \overline{u} ( x,r ) \bigr). \end{aligned}$$

Table 4 shows the comparison of the approximate solution for presented method and the exact solution.

Table 4 The numerical results for Example 4 with \({x}=0.5\), \({M} =2\), \({N} =3\)

7 Conclusion

Studying many problems in the applied mathematical many topics requires are required for the solution of the fuzzy integral equations (FIEs). This proposed work introduced a new hybrid method for numerically solving the linear fuzzy integral Fredholm equation. The new hybrid method is based on the combination of Bernstein and improved block-pulse functions. The results obtained from the application of the new method illustrate the superior performance and strong precision of the technique proposed as opposed to other approaches such as HBP, BPFs, HBPBP and BP. Finally, the technique presented in the paper would be of the interest of scientists to solve and study many applied science mathematical problems.

References

  1. Atanassov, K.T., Rangasamy, P.: Intuitionistic fuzzy sets and interval valued intuitionistic fuzzy sets. Adv. Stud. Contemp. Math. (Kyungshang) 18(1), 1–8 (2009)

    MathSciNet  MATH  Google Scholar 

  2. Nikolova, N., Ivanova, S., Chin, C., Tenekedjiev, K.: Calculation of the Kolmogorov–Smirnov and Kuiper statistics over fuzzy samples. Proc. Jangjeon Math. Soc. 20(2), 269–311 (2017)

    MathSciNet  MATH  Google Scholar 

  3. Shannon, A., Dimitrakiev, D., Sotirova, E., Krawczak, M., Kim, T.: Towards a model of the digital university: generalized net model of appraisal of lecturers with intuitionistic fuzzy estimations. Cybern. Inf. Technol. 9(2), 69–78 (2009)

    MathSciNet  Google Scholar 

  4. Fidanova, S., Marinov, P., Atanassov, K.: Generalized net models of the process of ant colony optimization with different strategies and intuitionistic fuzzy estimations. Proc. Jangjeon Math. Soc. 13(1), 1–12 (2010)

    MathSciNet  MATH  Google Scholar 

  5. Nanda, S.: On integration of fuzzy mappings. Fuzzy Sets Syst. 32(1), 95–101 (1989)

    Article  MathSciNet  MATH  Google Scholar 

  6. Kaleva, O.: Fuzzy differential equations. Fuzzy Sets Syst. 24, 301–317 (1987)

    Article  MathSciNet  MATH  Google Scholar 

  7. Ralescu, D., Adams, G.: The fuzzy integrals. J. Math. Anal. Appl. 75, 562–570 (1980)

    Article  MathSciNet  MATH  Google Scholar 

  8. Goetschel, R., Voxman, W.: Elementary fuzzy calculus. Fuzzy Sets Syst. 18, 31–43 (1986)

    Article  MathSciNet  MATH  Google Scholar 

  9. Wang, Z.: The autocontinuity of set-function and the fuzzy integral. J. Math. Anal. Appl. 99, 195–218 (1984)

    Article  MathSciNet  MATH  Google Scholar 

  10. Bede, B., Gal, S.G.: Generalizations of the differentiability of fuzzy number-valued function with applications to fuzzy differential equations. Fuzzy Sets Syst. 151, 581–599 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  11. Molabahrami, A., Shidfar, A., Ghyasi, A.: An analytical method for solving linear Fredholm fuzzy integral equations of the second kind. Appl. Comput. Math. 61, 2754–2761 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  12. Maleknejad, K., Shahrezaee, M., Khatami, H.: Numerical solution of integral equations system of the second kind by block-pulse functions. Appl. Math. Comput. 166, 15–24 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  13. Babolian, E., Masouri, Z.: Direct method to solve Volterra integral equation of the first kind using operational matrix with block-pulse functions. Appl. Math. Comput. 220, 51–57 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  14. Maleknejad, K., Sohrabi, S., Berenji, B.: Application of D-BPFs to nonlinear integral equations. Commun. Nonlinear Sci. Numer. Simul. 15, 527–535 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  15. Maleknejad, K., Mahdiani, K.: Solving nonlinear mixed Volterra–Fredholm integral equations with two dimensional block-pulse functions using direct method. Commun. Nonlinear Sci. Numer. Simul. 16, 3512–3519 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  16. Maleknejad, K., Rahimi, B.: Modification of block pulse functions and their application to solve numerically Volterra integral equation of the first kind. Commun. Nonlinear Sci. Numer. Simul. 16, 2469–2477 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  17. Maleknejad, K., Mordad, M., Rahimi, B.: A numerical method to solve Fredholm–Volterra integral equations I two dimensional spaces using block pulse functions and operational matrix. J. Comput. Appl. Math. (2010)

  18. Ordokhani, Y.: Solution of nonlinear Volterra–Fredholm–Hammerstein integral equations via rationalized Haar functions. Appl. Math. Comput. 180, 436–443 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  19. Babolian, E., Maleknejad, K., Roodaki, M., Almasieh, H.: Two dimensional triangular functions and their applications to nonlinear 2D Volterra–Fredholm integral equations. Comput. Math. Appl. 60, 1711–1722 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  20. Maleknejad, K., Almasieh, H., Roodaki, M.: Triangular functions (TF) method for the solution of nonlinear Volterra–Fredholm integral equations. Commun. Nonlinear Sci. Numer. Simul. 15, 3293–3298 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  21. Mirzaee, F., Piroozfar, S.: Numerical solution of the linear two dimensional Fredholm integral equations of the second kind via two dimensional triangular orthogonal functions. J. King Saud Univ., Sci. 22, 185–193 (2010)

    Article  Google Scholar 

  22. Kajani, M.T., Vencheh, A.H.: Solving second kind integral equations with hybrid Chebyshev and block-pulse functions. Appl. Math. Comput. 163, 71–77 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  23. Wang, X.T., Li, Y.M.: Numerical solutions of integro-differential systems by hybrid of general block-pulse functions and the second Chebyshev polynomials. Appl. Math. Comput. 209, 266–272 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  24. Maleknejad, K., Kajani, M.T.: Solving second kind integral equations by Galerkin methods with hybrid Legendre and block-pulse functions. Appl. Math. Comput. 145, 623–629 (2003)

    Article  MathSciNet  MATH  Google Scholar 

  25. Hashemzadeh, E., Maleknejad, K., Basirat, B.: Hybrid functions approach for the nonlinear Volterra–Fredholm integral equations. Proc. Comput. Sci. 3, 1189–1194 (2011)

    Article  Google Scholar 

  26. Marzban, H.R., Tabrizidooz, H.R., Razzaghi, M.: A composite collection method for the nonlinear mixed Volterra–Fredholm–Hammerstein integral equation. Commun. Nonlinear Sci. Numer. Simul. 16, 1186–1194 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  27. 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)

    Article  MathSciNet  MATH  Google Scholar 

  28. Asady, B., Kajani, M.T., Vencheh, A.H., Heydari, A.: Solving second kind integral equations with hybrid Fourier and block-pulse functions. Appl. Math. Comput. 160, 517–522 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  29. Maleknejad, K., Mohsenyzadeh, M., Hashemizadeh, E.: Hybrid orthonormal Bernstein and block-pulse functions for solving Fredholm integral equations. In: Proceedings of the World Congress on Engineering, vol. 1, pp. 91–94 (2013)

    Google Scholar 

  30. Masouri, Z.: Numerical expansion-iterative method for solving second kind Volterra and Fredholm integral equations using block-pulse functions. Adv. Comput. Tech. Electromagn. 20, 7–17 (2012)

    Google Scholar 

  31. Alipour, M., Baleanu, D., Babaei, F.: Hybrid Bernstein block-pulse functions method for second kind integral equations with convergence analysis. Abstr. Appl. Anal. 2014, Article ID 623763 (2014)

    Article  MathSciNet  MATH  Google Scholar 

  32. Rao, G.P.: Piecewise Constant Orthogonal Functions and Their Application to System and Control. Springer, Berlin (1983)

    Book  Google Scholar 

  33. Mohan, B.M., Datta, K.B.: Orthogonal Function in Systems and Control (1995)

    MATH  Google Scholar 

  34. Chen, C.F., Tsay, Y.T., Wu, T.T.: Walsh operational matrices or fractional calculus and their application to distributed systems. J. Franklin Inst. 303, 267–284 (1977)

    Article  MATH  Google Scholar 

  35. Sannuti, P.: Analysis and synthesis of dynamic systems via block pulse functions. Proc. IEEE 124, 569–571 (1977)

    Google Scholar 

  36. Maleknejad, K., Hashemzadeh, E., Ezzati, R.: A new approach to the numerical solution of Volterra integral equations by using Bernstein approximation. Commun. Nonlinear Sci. Numer. Simul. 16, 647–655 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  37. Doha, E.H., Bhrawy, A.H., Saker, M.A.: Integrals of Bernstein polynomials: an application for the solution of high even-order differential equations. Appl. Math. Lett. 24, 559–565 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  38. Mandal, B.N., Bhattacharya, S.: Numerical solution of some classes of integral equations using Bernstein polynomials. Appl. Math. Comput. 190, 1707–1716 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  39. Maleknejad, K., Hashemizadeh, E., Basirat, B.: Computational method based on Bernestein operational matrices for nonlinear Volterra–Fredholm–Hammerstein integral equations. Commun. Nonlinear Sci. Numer. Simul. 17(1), 52–61 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  40. Maleknejad, K., Basirat, B., Hashemizadeh, E.: A Bernstein operational matrix approach for solving a system of high order linear Volterra–Fredholm integro-differential equations. Math. Comput. Model. 55, 1363–1372 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  41. Mirzaee, F.: Numerical solution of system of linear integral equations via improvement of block-pulse functions. J. Math. Model. 4(2), 133–159 (2016)

    MathSciNet  MATH  Google Scholar 

  42. Maleknejad, K., Khodabin, M., Hosseini Shekarabi, F.: Modified block pulse functions for numerical solution of stochastic Volterra integral equations. J. Appl. Math. 2014, Article ID 469308 (2014)

    MathSciNet  MATH  Google Scholar 

  43. Ramadan, M.A., Osheba, H.S.: A new hybrid orthonormal Bernstein and improved block-pulse functions method for solving mathematical physics and engineering problems. Alex. Eng. J. (2020). In press. https://doi.org/10.1016/j.aej.2020.06.014

    Article  Google Scholar 

  44. Mirzaee, F., Paripour, M., Komak Yari, M.: Numerical solution of Fredholm fuzzy integral equations of the second kind via direct method using triangular functions. J. Hyperstruct. 1(2), 46–60 (2012)

    MATH  Google Scholar 

  45. Ghanbari, M., Toushmalni, R., Kamrani, E.: Numerical solution of linear Fredholm fuzzy integral equation of the second kind by block-pulse functions. Aust. J. Basic Appl. Sci. 3(3), 2637–2642 (2009)

    Google Scholar 

  46. Baghmisheh, M., Ezzati, R.: Numerical solution of nonlinear fuzzy Fredholm integral equations of the second kind using hybrid of block-pulse functions and Taylor series. Adv. Differ. Equ. 2015, 51 (2015)

    Article  MathSciNet  MATH  Google Scholar 

  47. Ezzati, R., Sadatrasoul, S.M.: Two hybrid and non-hybrid methods for solving fuzzy integral equations based on Bernoulli polynomials. J. Fuzzy Set Valued Anal. 2016, 31–42 (2016)

    Article  MATH  Google Scholar 

Download references

Acknowledgements

This work was supported by the Natural Science Foundation of China (Grant Nos. 61673169, 11701176, 11626101, 11601485). Praveen Agarwal was very thankful to the SERB (project TAR/2018/000001), DST(project DST/INT/DAAD/P-21/2019, and INT/RUS/RFBR/308) for their necessary support.

Availability of data and materials

All authors declare that no data were used to support this study.

Funding

This work was supported by the Natural Science Foundation of China (Grant Nos. 61673169, 11701176, 11626101, 11601485).

Author information

Authors and Affiliations

Authors

Contributions

The authors contributed equally to the writing of this paper. They read and approved the final manuscript.

Corresponding author

Correspondence to Yu-Ming Chu.

Ethics declarations

Competing interests

The authors declare that they have no competing interests.

Rights and permissions

Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Agarwal, P., Ramadan, M., Osheba, H.S. et al. Study of hybrid orthonormal functions method for solving second kind fuzzy Fredholm integral equations. Adv Differ Equ 2020, 533 (2020). https://doi.org/10.1186/s13662-020-02985-3

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13662-020-02985-3

MSC

Keywords