Solution of fuzzy singular integral equation with Abel’s type kernel using a novel hybrid method

Abstract

In this paper, we are applying a novel analytical hybrid method to find the solution of a fuzzy Volterra Abel’s integral equation of the second kind. The fuzzy number is used in its parametric form under which the fuzzy Volterra Abel’s integral equation will be converted into a system of integral equations as in a crisp case. Moreover, to solve the general fuzzy Volterra integral equation with Abel’s type kernel, and to show that the proposed method is efficient, a few accurate and simple examples are given for the demonstration of our results.

1 Introduction

There are many fields in real life which face uncertainty in data, like environmental sciences, medical sciences, economics, social sciences, and so on. To study these problems, the fuzzy set theory is one of the most important theories introduced by Zadeh in 1965 [1]. The fuzzy set theory has been used in various other fields, i.e., fuzzy fixed-point theory, fuzzy topology, fuzzy control systems, fuzzy automata, etc. Chang and Zadeh further extended the concept of a fuzzy set and introduced fuzzy mapping and control [2]. On the basis of fuzzy mapping and control, many researchers generalized this concept to introduce elementary fuzzy calculus [3–6]. Fuzzy logic has many applications in daily life, like vacuum cleaner, washing machine, robotics, stock trading, etc. [7]. The contrast enhancement algorithm based on fuzzy contextual information of the images is discussed by Parihar et al. in [8]. In the last few decades, fuzzy integral equations received considerable interest in studying the field of physical sciences. Dobius and Prade were among those who introduced the basic idea of fuzzy integral equations [6]. Further, extensions of fuzzy integral equations were made by Matloka and Nanda [9, 10]. In applied sciences, fuzzy integral equations have vast applications in geography, relational physics, biology, medical sciences and many more. However, to deal with such types of problems, where information is vague and imprecise rather than crisp, the parameters are represented by fuzzy numbers. Such problems can be modeled using fuzzy integral equations. Therefore, many researchers worked on these models to investigate the solutions of fuzzy integral equations.

Recently, many analytical and numerical approaches were proposed to solve fuzzy integral and differential equations, for example, Jafarian and Nia applied Taylor expansion method for the system of fuzzy Volterra integral equations [11]. Ghanbari and Allahviranloo, and also Matinfar and Saeidy, proposed the Homotopy Perturbation Method (HPM) and Homotopy Analysis Method (HAM) for solving fuzzy integral equations [12, 13]. For the solution of fuzzy Fredholm integral equations of the second kind, Ezzati and Ziari discussed an approach which is based on Bernstein polynomials [14]. Similarly to generalized differentiability of fuzzy differential equations, hybrid retarded delay differential equations were solved numerically by Runge–Kutta method [15, 16]. For noninteger order, the interval differential equations were solved in [17]. Numerical simulation of two viscoelastic systems based on differential equations of noninteger order under uncertainty were studied in [18]. The authors investigate fuzzy fractional differential equations and optimal control of nonlocal evolution equations in [19]. Fuzzy linear integral equations were further generalized to nonlinear fuzzy integral equations [20]. Shafiee et al. proposed a numerical algorithm based on the predictor–corrector method for nonlinear fuzzy integral equations [21]. The existence and uniqueness of solutions of fuzzy integral equations, especially, the solutions of fuzzy Volterra integro-differential equations of the second kind with a fuzzy kernel and linear Fredholm fuzzy integral equations of the second kind in artificial neural networks, were established by many researchers [22–25].

During the last decades, the subject of fractional calculus, and its potential applications, have gained increasing importance, mainly because it has become a powerful tool with accurate and successful results in modeling several complex phenomena in numerous seemingly diverse and widespread fields of science and engineering [26–29]. Fractional calculus is not only a productive and emerging field, it also represents a new philosophy how to construct and apply a certain type of nonlocal operators to real world problems. Those possessing both nonlocal effects as well as uncertainty behaviors represent interesting phenomena. Abel’s singular integral equation is a particular type of singular integral equation where in the range of integration the kernel has a singularity. Abel investigated such equations for the first time during his study of mathematical physics [30, 31].

Abel’s singular integral equations occur in various areas of scientific fields, such as seismology, microscopy, radio astronomy, electron emission, radar ranging, atomic scattering, plasma diagnostics, optical fiber evaluation, and X-ray radiography [32, 33]. In the biomedical branch, Abel’s equations are mostly used in X-ray CT (computerized tomography), which has revolutionized diagnostic radiology since its introduction [34]. Abel’s type kernel integral equations are very important for several models in solid mechanics, physics, and applied sciences which rely on this type of integral equation.

Thus, there are many techniques already in the literature which are a little bit complicated and in the solution an error term is produced. This motivates us to solve Abel’s singular integral equation by an alternative method in order to overcome such difficulties. Therefore, the method of LADM is used to find the solution with more accuracy and to reduce the error term as much as possible.

In HAM the convergence of a series solution depends upon four factors, i.e., the initial guess, auxiliary linear operator, auxiliary function which we define for homotopy, and auxiliary parameter ħ. Further, if we select $\hbar =-1$, and the auxiliary function also equal to 1, we get HPM. Hence HPM is a spacial case of HAM whose convergence [35] is only dependent upon two factors, the auxiliary linear operator and the initial guess. So, given the initial guess and the auxiliary linear operator, HPM approach cannot provide other ways to ensure that the solution is convergent. On the other hand, LADM solutions for both linear and nonlinear problems are obtained in series form showing higher convergence order of the method. Among all other analytical methods, LADM is an efficient analytical method to solve nonlinear problems with differential or integral equations. This is a hybrid method form employing a combination of two powerful methods, Laplace transform and Adomian decomposition method. The mentioned method does not need any discretization or linearization. It also does not need a predefined parameter as in HAM which controls this method. Therefore LADM [36] is considered as an efficient analytical technique for treating those equations that represent nonlinear models. Here we remark that LADM without initial condition converges towards a particular solution [37].

This paper is organized as follows: In Sect. 2, some basic results and definitions are presented. In Sect. 3, we establish a scheme for solving a general fuzzy Volterra singular integral equation with Able’s type kernel. Several examples are given in Sect. 4, and conclusions are drawn in Sect. 5.

2 Preliminaries

We recall some definitions needed through the paper.

Definition 1

([38])

Let $f(x)$ be acontinuous fuzzy-valued function and suppose $e^{-px}\odot f(x)$ is improperly fuzzy Riemann integrable on $[0,\infty )$, then $\int _{0}^{\infty }e^{-px}\odot f(x)\,dx$ is said to be a fuzzy Laplace transform, denoted as

$$ L\bigl[f(x)\bigr]= \int _{0}^{\infty }e^{-px}\odot f(x)\,dx \quad (p>0 \text{ and is an integer}). $$

(1)

Definition 2

([31])

Adomian Decomposition Method is defined for the unknown function $u(x,t)$ by an infinite series as $u(x,t)=\sum_{i=0}^{\infty }{u_{i}(x,t)}$ where the components $u_{i}(x,t)$ will be determined recursively.

Definition 3

([39])

Let $g_{1}$ and $g_{2}$ be two fuzzy-valued functions. Then the fuzzy convolution is defined for $x>0$ by

$$ (g_{1}*g_{2}) (x)= \int _{0}^{x}g_{1}(\tau )\cdot g_{2}(x-\tau )\,d\tau $$

(2)

which exists if $g_{1}$ and $g_{2}$ are, say, piecewise continuous. Putting $v=x-\tau$ gives

$$ (g_{1}*g_{2}) (x)= \int _{0}^{x}{g_{2}(v)\cdot g_{1}(x-v)\,dv}=(g_{2} \ast g_{1}) (x) ,$$

(3)

that is, the fuzzy convolution is commutative.

Definition 4

([40])

The Mittag-Leffler function $E_{\alpha }(z)$ with one parameter is defined as

$$ E_{\alpha }(z)=\sum_{n=0}^{\infty } \frac{z^{n}}{\varGamma (\alpha n +1)} $$

(4)

where $\alpha >0$, z is a complex number, and Γ is the gamma function which is defined for $\operatorname{Re} z>0$ as

$$ \varGamma (z)= \int _{0}^{\infty }x^{z-1}e^{x}\,dx. $$

Definition 5

([4])

A mapping $\nu :\mathbb{R}\rightarrow [0,1]$ is said to be a fuzzy number if the following conditions are satisfied:

$(i)$:

ν is upper semi-continuous;

$(\mathit{ii})$:

ν$\{{\mu (y_{1})+\mu (y_{2})}\}\geq \min \{{\nu (y_{1}),\nu (y_{2})}\}$;

$(\mathit{iii})$:

there exist $y_{0} \in \mathbb{R}$ such that $\nu (y_{0})=1$, i.e., ν is normal;

$(\mathit{iv})$:

$cl\{y \in \mathbb{R}, \nu (y)>0\}$ is compact.

Here we denote the set of all fuzzy numbers by E.

Definition 6

([41])

The parametric form of a fuzzy number can be written in the form of an ordered pair as $(\underline{\nu }(\kappa ),\overline{\nu }(\kappa ))$ such that $0\leq \kappa \leq 1$ and the following conditions hold:

$(i)$:

$\underline{\nu }(\kappa )$ is a bounded left-continuous nondecreasing function on $[0,1]$;

$(\mathit{ii})$:

$\overline{\nu }(\kappa )$ is bounded right-continuous nonincreasing function on $[0,1]$;

$(\mathit{iii})$:

$\underline{\nu }(\kappa )\leq \overline{\nu }( \kappa )$.

Also κ is called a crisp number if $\underline{\nu }(\kappa )=\overline{\nu }(\kappa )=\kappa$.

Definition 7

([42])

Let $\widetilde{\phi }:[\theta _{1},\theta _{2}]\rightarrow E$ be a fuzzy-valued function, for every partition $Q=\{y_{0},y_{1},\dots ,y_{m}\}$ of $[\theta _{1},\theta _{2}]$, and for every $\eta _{\hbar }\in [y_{j-1},y_{j}]$, $1\leq \hbar \leq m$, we define

$$ S_{q}=\sum_{j=0}^{m}\widetilde{ \phi }(\eta _{\hbar }) (y_{j}-y_{j-1}). $$

Now let $\triangle _{j}=\max {|y_{j}-y_{j-1}|, j=1,2,\dots ,m}$, then for $\widetilde{\phi }(y)$, the definite integral over $[\theta _{1},\theta _{2}]$ can be written as

$$ \lim_{\Delta j\rightarrow 0} S_{q}= \int _{\theta _{1}}^{\theta _{2}} \widetilde{\phi }(y)\,dy, $$

and the parametric form can be written as

$$ \int _{\theta _{1}}^{\theta _{2}}\widetilde{\phi }(y)\,dy= \biggl( \int _{ \theta _{1}}^{\theta _{2}}{\underline{\widetilde{\phi }}(y,\kappa )\,dy}, \int _{\theta _{1}}^{\theta _{2}}{\overline{\widetilde{\phi }}(y, \kappa )\,dy} \biggr). $$

(5)

Theorem 1

(Fuzzy convolution theorem, [39])

Letψandϕbe fuzzy-valued functions on$[0,\infty )$, whereψandϕare piecewise continuous and of exponential orderq, then

$$ L\bigl[(\psi *\phi ) (x)\bigr]=L\bigl[\psi (x)\bigr]\cdot L\bigl[ \phi (x)\bigr], $$

(6)

where L represents the Laplace transform.

3 Fuzzy Volterra singular integral equation with Abel’s type kernel

The standard form of a Volterra linear integral equation, where the integration has a variable limit rather than a constant, is of the form

$$ \rho (y)\psi (y)=\phi (y)+\lambda \int _{0}^{y}K(y,t)\psi (t)\,dt, $$

(7)

where $\phi (y)$, $k(y,t)$ are known functions and $\psi (y)$ is an unknown to be determined and enters linearly. If $\rho (y)=0$ then Eq. (7) is said to be a Volterra integral equation of the first kind, and when $\rho (y)=1$ then Eq. (7) is said to be a Volterra integral equation of the second kind and has been studied widely in [31].

Here we discuss the singular fuzzy Volterra linear integral equation with Abel’s type kernel which can be written in a general form as

$$ \psi (y)=\phi (y)+ \int _{0}^{y}\frac{\psi (t)}{\sqrt{y-t}}\,dt, $$

(8)

where $\phi (y)$ is a fuzzy-valued function which is predefined on the interval $[\theta _{1},\theta _{2}]$ and we seek to find a fuzzy solution $\psi (y)$, which is unknown, and $(y-t)^{-1/2}$ is said to be the kernel of Abel’s integral equation. We can rewrite Eq. (8) as follows:

$$ \textstyle\begin{cases} \underline{\psi }(y,\kappa )={\underline{\phi }}(y,\kappa )+\int _{0}^{y} \frac{\underline{\psi }(t,\kappa )}{\sqrt{y-t}}\,dt, \\ \overline{\psi }(y,\kappa )={\overline{\phi }}(y,\kappa )+\int _{0}^{y} \frac{\overline{\psi }(t,\kappa )}{\sqrt{y-t}}\,dt, \end{cases} $$

(9)

where $\kappa ,y \in [0,1]$.

In the following, we provide a basic idea of LADM to solve Eq. (8) in its parametric form given in Eq. (9).

To solve Eq. (8), applying Laplace transform to both sides of Eq. (9), we have

$$ \textstyle\begin{cases} L[\underline{\psi }(y,\kappa )]=L[\underline{\phi }(y,\kappa )]+L[ \int _{0}^{y}\frac{\underline{\psi }(t,\kappa )}{\sqrt{y-t}}\,dt], \\ L[\overline{\psi }(y,\kappa )]=L[\overline{\phi }(y,\kappa )]+L[\int _{0}^{y} \frac{\overline{\psi }(t,\kappa )}{\sqrt{y-t}}\,dt]. \end{cases} $$

(10)

In view of Theorem 1, Eq. (10) yields

$$\begin{aligned}& \begin{gathered} \textstyle\begin{cases} L[\underline{\psi }(y,\kappa )]=L[\underline{\phi }(y,\kappa )]+L[y^{-1/2}] \cdot L[\underline{\psi }(y,\kappa )], \\ L[\overline{\psi }(y,\kappa )]=L[\overline{\phi }(y,\kappa )]+L[y^{-1/2}] \cdot L[\overline{\psi }(y,\kappa )], \end{cases}\displaystyle \\ \textstyle\begin{cases} L[\underline{\psi }(y,\kappa )]=L[\underline{\phi }(y,\kappa )]+\sqrt{ \frac{\pi }{t}}L[\underline{\psi }(y,\kappa )], \\ L[\overline{\psi }(y,\kappa )]=L[\overline{\phi }(y,\kappa )]+\sqrt{ \frac{\pi }{t}}L[\overline{\psi }(y,\kappa )]. \end{cases}\displaystyle \end{gathered} \end{aligned}$$

(11)

Upon using inverse the Laplace transform on both sides of Eq. (11), we obtain

$$ \textstyle\begin{cases} {\underline{\psi }}(y,\kappa )={\underline{\phi }}(y,\kappa )+L^{-1}[ \sqrt{\frac{\pi }{t}}L[\underline{\psi }(y,\kappa )]], \\ {\overline{\psi }}(y,\kappa )={\overline{\phi }}(y,\kappa )+L^{-1}[ \sqrt{\frac{\pi }{t}}L[\overline{\psi }(y,\kappa )]]. \end{cases} $$

(12)

Let the solution of Eq. (12) be in the form of an infinite series as

$$ \textstyle\begin{cases} \underline{\psi }(y,\kappa )=\sum_{j=0}^{\infty }\underline{u}_{j}(y, \kappa ), \\ \overline{\psi }(y,\kappa )=\sum_{j=0}^{\infty }\overline{u}_{j}(y, \kappa ), \end{cases} $$

(13)

where ${(\underline{u}_{j},\overline{u}_{j}), \forall j=0,1,2,\dots }$ are unknown functions to be determined.

Putting Eq. (13) into Eq. (12), we have

$$ \textstyle\begin{cases} \sum_{j=0}^{\infty }\underline{u}_{j}(y,\kappa )={\underline{\phi }}(y, \kappa )+L^{-1}[\sqrt{\frac{\pi }{t}}L[{\sum_{j=0}^{\infty } \underline{u}_{j}(y,\kappa )}]], \\ \sum_{j=0}^{\infty }\overline{u}_{j}(y,\kappa )={\overline{\phi }}(y, \kappa )+L^{-1}[\sqrt{\frac{\pi }{t}} L[\sum_{j=0}^{\infty } \overline{u}_{j}(y,\kappa )]]. \end{cases} $$

(14)

Comparing termwise both sides of Eq. (14), we get

$$\begin{aligned}& \begin{gathered} \textstyle\begin{cases} \underline{u}_{0}(y,\kappa )=\underline{\phi }(y,\kappa ), \\ \overline{u}_{0}(y,\kappa )=\overline{\phi }(y,\kappa ), \end{cases}\displaystyle \\ \textstyle\begin{cases} \underline{u}_{1}(y,\kappa )=L^{-1}[\sqrt{\frac{\pi }{t}}L[ \underline{u}_{0}(y,\kappa )]], \\ \overline{u}_{1}(y,\kappa )=L^{-1}[\sqrt{\frac{\pi }{t}}L[ \overline{u}_{0}(y,\kappa )]], \end{cases}\displaystyle \\ \vdots \\ \textstyle\begin{cases} \underline{u}_{n+1}(y,\kappa )=L^{-1}[\sqrt{\frac{\pi }{t}}L[ \underline{u}_{n}(y,\kappa )]], \\ \overline{u}_{n+1}(y,\kappa )=L^{-1}[\sqrt{\frac{\pi }{t}}L[ \overline{u}_{n}(y,\kappa )]], \end{cases}\displaystyle \end{gathered} \end{aligned}$$

(15)

where $n\geq 0$. Putting all the values of lower and upper term solution into Eq. (13), we get the solution of the fuzzy Abel’s singular integral equation in Eq. (8) in parametric form.

In the above iterative scheme the initial guess $u_{0}(y,\kappa )$ is very important since the initial guess either gives the exact solution directly by producing noise terms or gives the solution in closed form which shows the simplicity and accuracy of the said scheme.

4 Numerical examples

A few examples are solved in this section by applying the proposed method to show the simplicity, accuracy of the method, and why the given scheme is more applicable.

Example 1

([43])

Let the fuzzy singular Volterra integral equation of the second kind with Abel’s type kernel in parametric form be given by

$$ \textstyle\begin{cases} \underline{\psi }(y,\kappa )={\underline{\phi }}(y,\kappa )+\int _{0}^{y} \frac{\underline{\psi }(t,\kappa )}{\sqrt{y-t}}\,dt, \\ \overline{\psi }(y,\kappa )={\overline{\phi }}(y,\kappa )+\int _{0}^{y} \frac{\overline{\psi }(t,\kappa )}{\sqrt{y-t}}\,dt, \end{cases} $$

(16)

where the lower and upper nonhomogenous terms are

$$ \textstyle\begin{cases} \underline{\phi }(y,\kappa )=\frac{\kappa }{15}(15y^{2}+16y^{5/2}), \\ \overline{\phi }(y,\kappa )=\frac{1}{15}((2-\kappa )y^{2}-(32-16 \kappa )y^{5/2}), \end{cases} $$

and the exact solution is $(\kappa y^{2},(2-\kappa )y^{2})$.

To solve the given example using LADM proceed as follows:

First, we solve for the lower limit solution of Eq. (16) such that

$$ \underline{\psi }(y,\kappa )={\underline{\phi }}(y,\kappa )- \int _{0}^{y} \frac{\underline{\psi }(t,\kappa )}{\sqrt{y-t}}\,dt, $$

(17)

where

$$ \underline{\phi }(y,\kappa )=\frac{\kappa }{15}\bigl(15y^{2}+16y^{5/2} \bigr). $$

Applying Laplace transform and Theorem 1 and then using the inverse Laplace transform on Eq. (17), we have

$$ \underline{\psi }(y,\kappa )={\underline{\phi }}(y,\kappa )-L^{-1}\biggl[ \sqrt{\frac{\pi }{t}}L\bigl[\underline{\psi }(y, \kappa )\bigr]\biggr], $$

(18)

the solution of Eq. (18) will be in the form of an infinite series. So let

$$ \underline{\psi }(y,\kappa )=\sum_{j=o}^{\infty } \underline{u}_{j}(y, \kappa ). $$

(19)

Putting Eq. (19) in Eq. (18), we get

$$ \begin{gathered} \sum_{j=o}^{\infty } \underline{u}_{j}(y,\kappa ) = { \underline{\phi }}(y,\kappa )-L^{-1}\Biggl[\sqrt{\frac{\pi }{t}}L\Biggl[\sum _{j=0}^{ \infty }\underline{u}_{j}(y,\kappa ) \Biggr]\Biggr], \\ \underline{u}_{0}(y,\kappa )+\underline{u}_{1}(y,\kappa )+ \cdots = \frac{\kappa }{15}\bigl(15y^{2} + 16y^{5/2} \bigr)-L^{-1}\biggl[\sqrt{\frac{\pi }{t}}L\bigl[ \underline{u}_{0}(y, \kappa )\bigr]\biggr]-\cdots . \end{gathered} $$

(20)

Comparing Eq. (20) termwise and then solving, we get

$$ \textstyle\begin{cases} \underline{u}_{o}(y,\kappa )=\frac{\kappa }{15}(15y^{2}+16y^{5/2}), \\ \underline{u}_{1}(y,\kappa )=-L^{-1}[\sqrt{\frac{\pi }{t}}L[ \underline{u}_{0}(y,\kappa )]]=-\frac{\kappa }{15}[16y^{5/2}+5\pi y^{3}], \\ \underline{u}_{2}(y,\kappa )=L^{-1}[\sqrt{\frac{\pi }{t}}L[ \underline{u}_{1}(y,\kappa )]]=\frac{\kappa }{15}[5\pi y^{3}+ \frac{32}{7}\pi y^{7/2}], \\ \underline{u}_{3}(y,\kappa )=-L^{-1}[\sqrt{\frac{\pi }{t}}L[ \underline{u}_{2}(y,\kappa )]]=-\frac{\kappa }{15}[\frac{32}{7}\pi y^{7/2}+ \frac{5}{4}\pi ^{2}y^{4}], \\ \underline{u}_{4}(y,\kappa )=-L^{-1}[\sqrt{\frac{\pi }{t}}L[ \underline{u}_{3}(y,\kappa )]]=\frac{\kappa }{15}[\frac{5}{4}\pi ^{2}y^{4}+ \frac{64}{63}\pi ^{2}y^{9/2}], \\ \underline{u}_{5}(y,\kappa )=-L^{-1}[\sqrt{\frac{\pi }{t}}L[ \underline{u}_{4}(y,\kappa )]]=-\frac{\kappa }{15}[\frac{64}{63}\pi ^{2}y^{9/2}+ \frac{1}{4}\pi ^{3}y^{5}], \\ \vdots \end{cases} $$

(21)

then putting Eq. (21) termwise into Eq. (19) on the right-hand side, which produces noise term, by cancelation we get

$$ \underline{\psi }(y,\kappa )=\kappa y^{2}. $$

Now for the upper limit solution, applying Laplace transform, Theorem 1, and the inverse Laplace transform on upper limit equation in Eq. (16), we get

$$ \overline{\psi }(y,\kappa )={\overline{\phi }}(y,\kappa )-L^{-1}\biggl[ \sqrt{\frac{\pi }{t}}L\bigl[\overline{\psi }(y, \kappa )\bigr]\biggr]. $$

(22)

Let the solution of Eq. (22) be in the form of an infinite series as

$$ \overline{\psi }(y,\kappa )=\sum_{j=0}^{\infty } \overline{u}_{j}(y, \kappa ). $$

(23)

Putting Eq. (23) in Eq. (22), we have

$$ \begin{gathered} \sum_{j=o}^{\infty } \overline{u}_{j}(y,\kappa ) = {\overline{\phi }}(y, \kappa )-L^{-1}\Biggl[\sqrt{\frac{\pi }{t}}L\Biggl[\sum _{j=0}^{\infty } \overline{u}_{j}(y,\kappa ) \Biggr]\Biggr], \\ \overline{u}_{0}(y,\kappa )+\overline{u}_{1}(y,\kappa )+ \cdots \\ \quad = \frac{1}{15}\bigl((2- \kappa )y^{2}-(32-16\kappa )y^{5/2}\bigr)-L^{-1}\biggl[\sqrt{\frac{\pi }{t}}L\bigl[ \overline{u}_{0}(y,\kappa )\bigr]\biggr]-\cdots . \end{gathered} $$

(24)

Comparing Eq. (24) termwise and then solving, we get

$$ \textstyle\begin{cases} \overline{u}_{0}(y,\kappa )=\frac{1}{15}((2-\kappa )y^{2}-(32-16 \kappa )y^{5/2}), \\ \overline{u}_{1}(y,\kappa )=-L^{-1}[\sqrt{\frac{\pi }{t}}L[ \overline{u}_{0}(y,\kappa )]]=-(2-\kappa )[\frac{16}{15}y^{5/2}+ \frac{1}{3}\pi y^{3}], \\ \overline{u}_{2}(y,\kappa )=-L^{-1}[\sqrt{\frac{\pi }{t}}L[ \overline{u}_{1}(y,\kappa )]]=(2-\kappa )[\frac{1}{3}{\pi y^{3}}+ \frac{32}{105}\pi y^{7/2}], \\ \overline{u}_{3}(y,\kappa )=-L^{-1}[\sqrt{\frac{\pi }{t}}L[ \overline{u}_{2}(y,\kappa )]]=-(2-\kappa )[\frac{32}{105}\pi y^{7/2}+ \frac{1}{12}\pi ^{2}y^{4}], \\ \overline{u}_{4}(y,\kappa )=-L^{-1}[\sqrt{\frac{\pi }{t}}L[ \overline{u}_{3}(y,\kappa )]]=(2-\kappa )[\frac{1}{12}\pi ^{2}y^{4}+ \frac{64}{945}\pi ^{2}y^{9/2}], \\ \overline{u}_{5}(y,\kappa )=-L^{-1}[\sqrt{\frac{\pi }{t}}L[ \overline{u}_{4}(y,\kappa )]]=-(2-\kappa )[\frac{64}{945}\pi ^{2}y^{9/2}+ \frac{1}{60}\pi ^{3}y^{5}], \\ \vdots \end{cases} $$

(25)

then putting Eq. (25) termwise into Eq. (23) on the right-hand side and canceling the noise terms, we get

$$ \overline{\psi }(y,\kappa )=(2-\kappa )y^{2}. $$

Thus the lower and upper limit solution of Eq. (16) is

$$ \bigl(\underline{\psi }(y,\kappa ),\overline{\psi }(y,\kappa )\bigr)=\bigl( \kappa y^{2},(2- \kappa )y^{2}\bigr), $$

which is the exact solution. Here we remark that the solution we obtain via LADM is in complete agreement with the solution in [34] by HPM and modified HPM. Here we claim that LADM is simple and needs no extra parameter on which the convergence of the solution depends.

Example 2

([43])

Consider the fuzzy singular integral equation with Abel’s type kernel in parametric form given by

$$ \textstyle\begin{cases} \underline{\psi }(y,\kappa )=(y+\frac{4}{3}y^{3/2})(4+\kappa )-\int _{0}^{y} \frac{\underline{f}(t,\kappa )}{\sqrt{y-t}}\,dt, \\ \overline{\psi }(y,\kappa )=(y+\frac{4}{3}y^{5/2})(6-\kappa )-\int _{0}^{y} \frac{\underline{\psi }(t,\kappa )}{\sqrt{y-t}}\,dt, \end{cases} $$

(26)

where the exact solution is

$$ \bigl((4+\kappa )y,(6-\kappa )y\bigr). $$

Applying Laplace transform, Theorem 1, and the inverse Laplace transform of Eq. (26) to the lower limit equation, we get

$$ \underline{\psi }(y,\kappa )=\biggl(y+\frac{4}{3}y^{3/2} \biggr) (4+\kappa )-L^{-1}\biggl[ \sqrt{\frac{\pi }{t}}L\bigl[ \underline{\psi }(y,\kappa )\bigr]\biggr]. $$

(27)

Consider the lower limit solution of Eq. (27) in the form of an infinite series as

$$ \underline{\psi }(y,\kappa )=\sum_{j=0}^{\infty } \underline{u}_{j}(y, \kappa ). $$

(28)

Putting Eq. (28) into Eq. (27), we have

$$ \sum_{j=0}^{\infty } \underline{u}_{j}(y,\kappa )=\biggl(y+\frac{4}{3}y^{3/2} \biggr) (4+ \kappa )-L^{-1}\Biggl[\sqrt{\frac{\pi }{t}}L\Biggl[\sum _{j=0}^{\infty } \underline{u}_{j}(y, \kappa )\Biggr]\Biggr]. $$

(29)

Comparing Eq. (29) termwise and solving, we get

$$ \textstyle\begin{cases} \underline{u}_{0}(y,\kappa )=(4+\kappa )[y+\frac{4}{3}y^{3/2}], \\ \underline{u}_{1}(y,\kappa )=-L^{-1}[\sqrt{\frac{\pi }{t}}L[ \underline{u}_{0}(y,\kappa )]]=-(4+\kappa )[\frac{4}{3}y^{3/2}+ \frac{1}{2}\pi y^{2}], \\ \underline{u}_{2}(y,\kappa )=-L^{-1}[\sqrt{\frac{\pi }{t}}L[ \underline{u}_{1}(y,\kappa )]]=(4+\kappa )[\frac{1}{2}\pi y^{2}+ \frac{8}{15}\pi y^{5/2}], \\ \underline{u}_{3}(y,\kappa )=-L^{-1}[\sqrt{\frac{\pi }{t}}L[ \underline{u}_{2}(y,\kappa )]]=-(4+\kappa )[\frac{8}{15}\pi y^{5/2}+ \frac{1}{6}\pi ^{2}y^{3}], \\ \vdots \end{cases} $$

(30)

then putting all the values of Eq. (30) termwise into Eq. (28) on the right-hand side and simplifying, we obtain

$$ \underline{\psi }(y,\kappa )=(4+\kappa )y. $$

Then for the upper limit solution, take the upper limit equation of Eq. (26) and have

$$ \overline{\psi }(y,\kappa )=\biggl(y+\frac{4}{3}y^{5/2} \biggr) (6-\kappa )- \int _{0}^{y} \frac{\underline{\psi }(t,\kappa )}{\sqrt{y-t}}\,dt. $$

(31)

Applying Laplace transform, Theorem 1, and the inverse Laplace transform, we get

$$ \overline{\psi }(y,\kappa )=\biggl(y+\frac{4}{3}y^{5/2} \biggr) (6-\kappa )-L^{-1}\biggl[ \sqrt{\frac{\pi }{t}}L\bigl[ \overline{\psi }(y,\kappa )\bigr]\biggr]. $$

(32)

Let the solution of Eq. (32) be in the form of an infinite series as

$$ \underline{\psi }(y,\kappa )=\sum_{j=0}^{\infty } \underline{u}_{j}(y, \kappa ). $$

(33)

Putting Eq. (33) into Eq. (32) gives

$$ \sum_{j=0}^{\infty } \overline{u}_{j}(y,\kappa )=\biggl(y+\frac{4}{3}y^{5/2} \biggr) (6- \kappa )-L^{-1}\Biggl[\sqrt{\frac{\pi }{t}}L\Biggl[\sum _{j=0}^{\infty } \overline{u}_{j}(y, \kappa )\Biggr]\Biggr]. $$

(34)

Now comparing Eq. (34) termwise and solving, we obtain

$$ \textstyle\begin{cases} \overline{u}_{0}(y,\kappa )=(6-\kappa )[y+\frac{4}{3}y^{5/2}], \\ \overline{u}_{1}(y,\kappa )=-L^{-1}[\sqrt{\frac{\pi }{t}}L[ \overline{u}_{0}(y,\kappa )]]=-(6-\kappa )[\frac{4}{3}y^{3/2}+ \frac{1}{2}\pi y^{2}], \\ \overline{u}_{2}(y,\kappa )=-L^{-1}[\sqrt{\frac{\pi }{t}}L[ \overline{u}_{1}(y,\kappa )]]=(6-\kappa )[\frac{1}{2}\pi y^{2}+ \frac{8}{15}\pi y^{5/2}], \\ \overline{u}_{3}(y,\kappa )=-L^{-1}[\sqrt{\frac{\pi }{t}}L[ \overline{u}_{2}(y,\kappa )]]=-(6-\kappa )[\frac{8}{15}\pi y^{5/2}+ \frac{1}{6}\pi ^{2}y^{3}], \\ \vdots \end{cases} $$

(35)

then putting all the values of Eq. (35) termwise on the right-hand side into Eq. (33) and canceling all the noise terms, we get

$$ \overline{\psi }(y,\kappa )=(6-\kappa )y, $$

thus the parametric solution of Eq. (26) is

$$ (\underline{\psi }(y,\kappa ),\overline{\psi }(y,\kappa )=\bigl((4+\kappa )y,(6- \kappa )y\bigr), $$

which is the exact solution. Hence the solution is in close agreement with the solution computed in [34] by HPM and modified HPM.

Example 3

([43])

Considered the fuzzy singular Volterra integral equation with Abel’s type kernel

$$ \psi (y,\kappa )=\bigl(2\sqrt{y}(\kappa -1),2\sqrt{y}(1-\kappa ) \bigr)- \int _{0}^{y} \frac{\underline{\psi }(t,\kappa ),\overline{\psi }(t,\kappa )}{\sqrt{y-t}}\,dt, $$

(36)

whose exact solution is $((1-(\exp )^{\pi y}\mathrm{erfc}\sqrt{\pi y})(\kappa -1),(1-(\exp )^{ \pi y}\mathrm{erfc}\sqrt{\pi y})(1-\kappa ))$.

The parametric form of Eq. (36) is written as

$$ \textstyle\begin{cases} \underline{\psi }(y,\kappa )=&2\sqrt{y}(\kappa -1)-\int _{0}^{y} \frac{\underline{\psi }(t,\kappa )}{\sqrt{y-t}}\,dt, \\ \overline{\psi }(y,\kappa )=&2\sqrt{y}(1-\kappa ))-\int _{0}^{y} \frac{\overline{\psi }(t,\kappa )}{\sqrt{y-t}}\,dt. \end{cases} $$

(37)

For the lower limit solution, taking the lower limit equation of Eq. (37) and applying Laplace transform, Theorem 1, and the inverse Laplace transform, we obtain

$$ \underline{\psi }(y,\kappa )=2\sqrt{y}(\kappa -1)-L^{-1}\biggl[\sqrt{ \frac{\pi }{t}}L\bigl[\underline{\psi }(y, \kappa )\bigr]\biggr]. $$

(38)

Let the solution of Eq. (38) be in the form of an infinite series as

$$ \underline{\psi }(y,\kappa )=\sum_{j=0}^{\infty } \underline{u}_{j}(y, \kappa ). $$

(39)

Putting Eq. (39) into Eq. (38), we get

$$ \sum_{j=0}^{\infty } \underline{u}_{j}(y,\kappa )=2\sqrt{y}(\kappa -1)-L^{-1} \Biggl[ \sqrt{\frac{\pi }{t}}L\Biggl[\sum_{j=0}^{\infty } \underline{\psi }(y, \kappa )\Biggr]\Biggr]. $$

(40)

Now comparing Eq. (40) termwise and solving, we obtain

$$ \textstyle\begin{cases} \underline{u}_{0}(y,\kappa )=2\sqrt{y}(\kappa -1), \\ \underline{u}_{1}(y,\kappa )=-L^{-1}[\sqrt{\frac{\pi }{t}}L[ \underline{u}_{0}(y,\kappa )]]=-\pi y(\kappa -1), \\ \underline{u}_{2}(y,\kappa )=-L^{-1}[\sqrt{\frac{\pi }{t}}L[ \underline{u}_{1}(y,\kappa )]]=\frac{4}{3}\pi y^{3/2}(\kappa -1), \\ \underline{u}_{3}(y,\kappa )=-L^{-1}[\sqrt{\frac{\pi }{t}}L[ \underline{u}_{2}(y,\kappa )]]=-\frac{1}{2}\pi ^{2}y^{2}(\kappa -1), \\ \vdots \end{cases} $$

(41)

then putting Eq. (41) into Eq. (39) on right-hand side and simplifying, as well as using the Mittag-Leffler function defined in Eq. (4), we get

$$\begin{aligned} \underline{\psi }(y,\kappa ) =&(\kappa -1) \frac{\sum_{j=0}^{\infty }(-1)^{j-1}(\pi ^{3}y)^{\frac{j}{2}}}{\varGamma (j/2+1)} \\ =&1-E_{1/2}\bigl(-\sqrt{\pi y}(\kappa -1)\bigr) \\ =&\bigl(1-(\exp )^{\pi y}\mathrm{erfc}\sqrt{\pi y}\bigr) (\kappa -1). \end{aligned}$$

Now for the upper limit solution, taking the upper limit equation of Eq. (36), we have

$$ \overline{\psi }(y,\kappa )=2\sqrt{y}(1-\kappa )-L^{-1} \biggl[\sqrt{ \frac{\pi }{t}}L\bigl[\overline{\psi }(y,\kappa )\bigr]\biggr]. $$

(42)

Let the solution of Eq. (42) be in the form of an infinite series as

$$ \underline{\psi }(y,\kappa )=\sum_{j=0}^{\infty } \underline{u}_{j}(y, \kappa ). $$

(43)

Putting Eq. (43) into Eq. (42), we get

$$ \sum_{j=0}^{\infty }\overline{\psi }_{j}(y,\kappa )=2\sqrt{y}(1- \kappa )-L^{-1}\Biggl[\sqrt{ \frac{\pi }{t}}L\Biggl[\sum_{j=0}^{\infty } \overline{\psi }_{j}(y,\kappa )\Biggr]\Biggr]. $$

(44)

Comparing Eq. (44) termwise and simplifying, we obtain

$$ \textstyle\begin{cases} \overline{u}_{0}(y,\kappa )=2\sqrt{y}(1-\kappa ), \\ \overline{u}_{1}(y,\kappa )=-L^{-1}[\sqrt{\frac{\pi }{t}}L[ \overline{u}_{0}(y,\kappa )]]=-\pi y(1-\kappa ), \\ \overline{u}_{2}(y,\kappa )=-L^{-1}[\sqrt{\frac{\pi }{t}}L[ \overline{u}_{1}(y,\kappa )]]=\frac{4}{3}\pi y^{3/2}(1-\kappa ), \\ \overline{u}_{3}(y,\kappa )= -L^{-1}[\sqrt{\frac{\pi }{t}}L[ \overline{u}_{2}(y,\kappa )]]=-\frac{1}{2}\pi ^{2}y^{2}(1-\kappa ), \\ \vdots \end{cases} $$

(45)

then putting all the values of Eq. (45) termwise into Eq. (43) into the right-hand side and simplifying, using the Mittag-Leffler function defined in Eq. (4), we obtain

$$\begin{aligned} \overline{\psi }(y,\kappa ) =&(1-\kappa ) \frac{\sum_{j=0}^{\infty }(-1)^{j-1}(\pi ^{3}y)^{\frac{j}{2}}}{\varGamma (j/2+1)} \\ =&1-E_{1/2}(-\sqrt{\pi y}) (1-\kappa ) \\ =&1-\bigl((\exp )^{\pi y}\mathrm{erfc}\sqrt{\pi y}\bigr) (1-\kappa ). \end{aligned}$$

Thus the parametric solution of Eq. (36) is given by

$$ \bigl(\underline{\psi }(y,\kappa ),\overline{\psi }(y,\kappa )\bigr)=\bigl( \bigl(1-(\exp )^{ \pi y}\mathrm{erfc}\sqrt{\pi y}\bigr) (\kappa -1), \bigl(1-(\exp )^{\pi y} \mathrm{erfc}\sqrt{\pi y}\bigr) (1-\kappa )\bigr). $$

Clearly, the solution is the same as computed by HPM in [34].

5 Conclusion

In the present research, the main purpose is to establish an efficient algorithm for solving fuzzy convolution Volterra integral equation with Abel’s type kernel by applying the LADM. The proposed algorithm is a combination of the Laplace transformation and the ADM. First, we apply the Laplace transformation and then, by expanding the unknown function in a series, we find the solution of the given problem. Further the efficiency, simplicity, and accuracy of the proposed algorithm are illustrated by giving some numerical examples which show the exactness of the proposed method. In the literature, the existing methods, like HPM, depend upon parameters and give approximate solutions while LADM is easier and more convenient. For a future work, we will investigate an efficient algorithm to solve both linear and nonlinear fuzzy Volterra integral equations and fuzzy Fredholm integral equation with separable type kernel using the LADM.