Abstract
In this article, we present an algorithm for computing analytical solutions of linear fuzzy advection-diffusion equations and one-dimensional fuzzy heat equations involving an external source. The fuzzy problems can be solved by using the natural transform and Adomian decomposition method. The results obtained through the natural Adomian decomposition method are calculated in a series form that converges rapidly to the exact solution. To enhance the practicality of our work, we provide examples to illustrate our findings.
Similar content being viewed by others
Introduction
Zadeh1 introduced the concept of fuzzy sets. Chang and Zadeh utilized fuzzy sets to introduce fuzzy mappings and control2. The foundation of elementary fuzzy calculus was laid by the work of several researchers on fuzzy mappings3,4,5,6. In the recent years, there has been growing interest among researchers in applying these concepts to fuzzy differential and integral equations in the field of physical sciences. While studying natural phenomena, partial differential equations (PDEs) are more relevant as compared to ordinary differential equations because they deal with multiple variables simultaneously. The significant role of PDEs can be observed in the important fields like physics, biology, engineering etc. However, in certain cases, the fuzziness of real-life problems, such as the initial values of partial differential dynamical systems makes PDEs less suitable. Buckley and Feuring7 addressed this limitation by incorporating fuzzy set theory into partial differential equations, by introducing fuzzy partial differential equations. Allahviranloo8 solved fuzzy partial differential equations(FPDEs) using difference methods based on the Taylor series. Pownuk9 obtained solutions for FPDEs through sensitivity analysis and the finite element method. Various methods, such as integral transforms (Fourier, Laplace, Sumudu, etc.) iterative procedures, series solution methods (Homotopy, Adomian decomposition, Laplace Adomian decomposition methods, etc.) and Taylor’s series method have been employed to address fuzzy problems. However, to the best of our knowledge these methods have not been extensively utilized to tackle FPDEs. Integral transform methods pose challenges when the fuzzy function is (i)-differentiable with respect to one variable and (ii)-differentiable with respect to the second variable. Adomian decomposition method(ADM) was introduced by George Adomian10. To solve nonlinear ordinary differential equations and PDEs. The solution of ADM is in the form of infinite series which rapidly converges to an accurate solution. For the solutions of differential equations, a lot of mathematicians used ADM and various modifications of ADM see Refs.11,12,13,14,15,16,17,18,19. The natural transforms, was first introduced by Khan and Khan20, which have the unique ability to converge to both Laplace and Sumudu transforms by simply changing the variables. Therefore natural transform is used as a checker on the Laplace and Sumudu transforms. For basic concept of natural transform method intrusted readers can see Refs.21,22,23,24. The advection equations and advection-diffusion equations have been solved by the authors of Refs.25,26,27,28 with different methods. While, heat equations has been extensively investigated by various authors using different dimensions and techniques, as detailed in Refs.29,30,31,32,33,34,35,36.
In the current study, we use the natural Adomian decomposition method to compute the solutions of fuzzy partial differential equations(FPDEs). By addressing the complexities associated with integral transforms used for the solutions of FPDEs, specifically, we apply the natural Adomian decomposition method to solve fuzzy advection-diffusion equations and heat equations involving an external source.
Preliminaries
In the sequel, we need the following definitions and results from the existing literature.
Let \(R_F\) be the class of fuzzy subsets. The membership functions, \(k:R \rightarrow [0,1],\) satisfying the following conditions
-
(i)
k is upper semi continuous;
-
(ii)
k \(\{{\mu y_1 + (1-\mu )y_2}\}\ge min\{{k(y_1),k(y_2)\}}, y_1, y_2 \in R\ \hbox {and}\ \mu \in [0,1]\);
-
(iii)
k is normal, so \(\exists\) \(y_{0}\) \(\in R\) such that \(k (y_0)=1\);
-
(iv)
\(cl\{y \ \in R\), \(k(y)>0\}\) is compact where cl denotes the closure of a subset.
Then \(R_F\) is called the space of fuzzy numbers.
Let \([v]^\alpha = \{a\in R \ | v(a)\ge \alpha \}\) is \(\alpha -\)level set where \([v]^\alpha \in R_F,\) for all \(0\le \alpha \le 1.\) The following Remark shows that the notation of \(\alpha -\)level set \([v]^\alpha = [{\underline{v}}^{\alpha }, {\overline{v}}^{\alpha }]\) is a valid \(\alpha -\)level set for some \([v]^\alpha \in R_F.\)
Remark 1.137
The fuzzy interval \([{\underline{v}}^{\alpha }, {\overline{v}}^{\alpha }]\) is parametric form if the following conditions holds with \(0\le \alpha \le 1.\)
-
(i)
non-decreasing bounded function, \({\underline{v}}^{\alpha }\) is left-continuous in [0, 1] and right-continuous for \(\alpha =0\);
-
(ii)
non-increasing bounded function, \({\overline{v}}^{\alpha }\) is left-continuous in [0, 1] and right-continuous for \(\alpha =0\);
-
(iii)
\({\underline{v}}^{\alpha }\le {\overline{v}}^{\alpha }.\)
Let \(x, y\in R_{F}\) and \(\lambda \in R\) then the usual addition and product are defined with \([x + y]^\alpha = [x]^\alpha + [y]^\alpha\) and \([\lambda x]^\alpha = \lambda [x]^\alpha\) for all \(\alpha \in [0,1].\)
Definition 2.138
The function \(d_{F}:R_{F}\times R_{F} \rightarrow R^{+}\cup \{0\},\) define by
It is well known that \((d_{F},R_{F})\) is complete metric space. Moreover, \(d_{F}\) satisfy the following properties, \(\forall\) \(x,\ y,\ z, a \in R_{F}.\)
\(D_1 ) \ d_{F}(x+z,y+z) = d_{F}(x,y);\)
\(D_2) \ d_{F}(\alpha x, \alpha y) = \alpha d_{F}(x,y);\)
\(D_3) \ d_{F}(x+a,y+z) \le d_{F}(x,y) + d_{F}(a,z).\)
Definition 2.239
Let \(x,\ y,\ z \in R_{F}\) such that \(x = y + z\) then z is \(H-\)difference of x, y and denoted by \(x\ominus y.\)
Definition 2.339, 40
Let \(\chi :I \rightarrow R_{F},\) where \(I = [a,b]\) and \(y \in I,\) is generalized differentiable at y if there exist, \(\chi ^{'}(y)\in R_{F}\) such that either
-
(i)
For sufficiently small \(r>0,\) the Hukuhara difference, \({\chi (y+r)\ominus \chi (y)},\) \({\chi (y)\ominus \chi (y-r)}\) and limits exist in \((d_{F},R_{F}).\)
$$\begin{aligned} \lim _ {r \rightarrow 0} \frac{\chi (y)\ominus \chi (y+h)}{r}= & {} \lim _ {r \rightarrow 0} \frac{\chi (y-r)\ominus \chi (y)}{r} = \chi ^{'}(y) \end{aligned}$$ -
(ii)
For sufficiently small \(r>0,\) the Hukuhara difference, \({\chi (y)\ominus \chi (y+r)},\) \({\chi (y-r)\ominus \chi (y)}\) and limits exist in \((d_{F},R_{F}).\)
$$\begin{aligned} \lim _ {r \rightarrow 0} \frac{\chi (y+r)\ominus \chi (y)}{(-r)}= & {} \lim _ {r \rightarrow 0} \frac{\chi (y)\ominus \chi (y-r)}{(-r)} = \chi ^{'}(y) \end{aligned}$$The first one is referred to \((i)-\)differentiable and second one to \((ii)-\)differentiable.
Theorem 2.435, 41
Let the continuous fuzzy function, \(\chi :[a,b] \rightarrow R_{F},\) such that \([\chi (s)]^\alpha = \big [{\underline{\chi }}^\alpha (s), {\overline{\chi }}^\alpha (s)\big ]\), and \(0\le \alpha \le 1\).
-
(i)
If \([\chi (s)]^\alpha\) is \((i)-\)differentiable then \({\underline{\chi }}^\alpha (s), {\overline{\chi }}^\alpha (s)\) are differentiable and \([\chi ^{'}(s)]^\alpha = \big [({\underline{\chi }}^\alpha )^{'}(s), ({\overline{\chi }}^\alpha )^{'} (s)\big ].\)
-
(ii)
If \([\chi (s)]^\alpha\) is \((ii)-\)differentiable then \({\underline{\chi }}^\alpha (s), {\overline{\chi }}^\alpha (s)\) are differentiable and \([\chi ^{'}(s)]^\alpha = \big [({\overline{\chi }}^\alpha )^{'}(s), ({{\underline{\chi }}}^\alpha )^{'} (s)\big ].\)
Definition 2.539, 40
Let \(\chi ^{'}:I \rightarrow R_{F},\) where \(I = [a,b]\) and \(y \in I,\) is generalized differentiable at y if there exist, \(\chi ^{''}(y)\in R_{F}\) such that either
-
(i)
For sufficiently small \(r>0,\) the Hukuhara difference, \({\chi ^{'}(y+r)\ominus \chi ^{'}(y)},\) \({\chi ^{'}(y)\ominus \chi ^{'}(y-r)}\) and limits exist in \((d_{F},R_{F}).\)
$$\begin{aligned} \lim _ {r \rightarrow 0} \frac{\chi ^{'}(y)\ominus \chi ^{'}(y+h)}{r}= & {} \lim _ {r \rightarrow 0} \frac{\chi ^{'}(y-r)\ominus \chi ^{'}(y)}{r} = \chi ^{''}(y) \end{aligned}$$ -
(ii)
For sufficiently small \(r>0,\) the Hukuhara difference, \({\chi ^{'}(y)\ominus \chi ^{'}(y+r)},\) \({\chi ^{'}(y-r)\ominus \chi ^{'}(y)}\) and limits exist in \((d_{F},R_{F}).\)
$$\begin{aligned} \lim _ {r \rightarrow 0} \frac{\chi ^{'}(y+r)\ominus \chi ^{'}(y)}{(-r)}= & {} \lim _ {r \rightarrow 0} \frac{\chi ^{'}(y)\ominus \chi ^{'}(y-r)}{(-r)} = \chi ^{''}(y) \end{aligned}$$The first one is referred to \((i)-\)differentiable and second one to \((ii)-\)differentiable.
Now we present partial generalized Hukuhara derivative for fuzzy function35, 41
Definition 2.6
Let \(\chi : [a,b]\times [c,d]\rightarrow R_{F},\) is generalized differentiable with respect to t at \((t_{0}, z_{0}) \in [a,b]\times [c,d],\) if there exist, \(\chi _{t}(t_{0}, z_{0})\in R_{F}\) such that either
-
(i)
For sufficiently small \(r>0,\) the Hukuhara difference \({\chi (t_{0}+r, z_{0})\ominus \chi (t_{0}, z_{0})},\) \({\chi (t_{0}, z_{0})\ominus \chi (t_{0}-r, z_{0})}\) and limits exist in \((d_{F},R_{F}).\)
$$\begin{aligned} \lim _ {r \rightarrow 0} \frac{\chi (t_{0}+r, z_{0})\ominus \chi (t_{0}, z_{0})}{r}= & {} \lim _ {r \rightarrow 0} \frac{\chi (t_{0}, z_{0})\ominus \chi (t_{0}-r, z_{0})}{r} = \chi _{t}(t_{0}, z_{0}). \end{aligned}$$ -
(ii)
For sufficiently small \(r>0,\) the Hukuhara difference, \({\chi (t_{0}, z_{0})\ominus \chi (t_{0}+r, z_{0})},\) \({\chi (t_{0}-r, z_{0})\ominus \chi (t_{0}, z_{0})}\) \({\chi (y)\ominus \chi (y+r)},\) \({\chi (y-r)\ominus \chi (y)}\) and limits exist in \((d_{F},R_{F}).\)
$$\begin{aligned} \lim _ {r \rightarrow 0} \frac{\chi (t_{0}, z_{0})\ominus \chi (t_{0}+r, z_{0})}{(-r)}= & {} \lim _ {r \rightarrow 0} \frac{\chi (t_{0}-r, z_{0})\ominus \chi (t_{0}, z_{0})}{(-r)} = \chi _{t}(t_{0}, z_{0}). \end{aligned}$$
Definition 2.7
Let \(\chi _{t}: [a,b]\times [c,d]\rightarrow R_{F},\) is generalized differentiable with respect to t at \((t_{0}, z_{0}) \in [a,b]\times [c,d],\) if there exist, \(\chi _{tt}(t_{0}, z_{0})\in R_{F}\) such that either
-
(i)
For sufficiently small, \(r>0,\) the Hukuhara difference \({\chi _{t}(t_{0}+r, z_{0})\ominus \chi _{t}(t_{0}, z_{0})},\) \({\chi _{t}(t_{0}, z_{0})\ominus \chi _{t}(t_{0}-r, z_{0})}\) and limits exist in \((d_{F},R_{F}).\)
$$\begin{aligned} \lim _ {r \rightarrow 0} \frac{\chi _{t}(t_{0}+r, z_{0})\ominus \chi _{t}(t_{0}, z_{0})}{r}= & {} \lim _ {r \rightarrow 0} \frac{\chi _{t}(t_{0}, z_{0})\ominus \chi _{t}(t_{0}-r, z_{0})}{r} = \chi _{tt}(t_{0}, z_{0}). \end{aligned}$$ -
(ii)
For \(r>0,\) sufficiently small, the Hukuhara difference \({\chi _{t}(t_{0}, z_{0})\ominus \chi _{t}(t_{0}+r, z_{0})},\) \({\chi _{t}(t_{0}-r, z_{0})\ominus \chi (t_{0}, z_{0})}\) and limits exist in \((d_{F},R_{F}).\)
$$\begin{aligned} \lim _ {r \rightarrow 0} \frac{\chi _{t}(t_{0}, z_{0})\ominus \chi _{t}(t_{0}+r, z_{0})}{(-r)}= & {} \lim _ {r \rightarrow 0} \frac{\chi _{t}(t_{0}-r, z_{0})\ominus \chi _{t}(t_{0}, z_{0})}{(-r)} = \chi _{tt}(t_{0}, z_{0}). \end{aligned}$$
According to Theorem 2.4 we have the following theorem
Theorem 2.8
Let a continuous fuzzy function \(\chi :[a,b]\times [c,d] \rightarrow R_{F},\) such that, \([\chi (x,y)]^\alpha = [{\underline{\chi }}^\alpha (x,y), {\overline{\chi }}^\alpha (x,y)]\), and \(0\le \alpha \le 1\). Then for all \((x,y)\in [a,b]\times [c,d]\) we have
-
(i)
If \([D_{x}\chi (x,y)]^\alpha\) is \((i)-\)differentiable with respect to x then \(D_{x}{\underline{\chi }}^\alpha (x,y), D_{x}{\overline{\chi }}^\alpha (x,y)\) are differentiable with respect to x and \(\big [D_{x}\chi (x,y)\big ]^\alpha = \Big [D_{x}{\underline{\chi }}^\alpha (x,y), D_{x}{\overline{\chi }}^\alpha (x,y)\Big ].\)
-
(ii)
If \([D_{y}\chi (x,y)]^\alpha\) is \((i)-\)differentiable with respect to y then \(D_{y}{\underline{\chi }}^\alpha (x,y), D_{y}{\overline{\chi }}^\alpha (x,y)\) are differentiable with respect to y and \(\big [D_{y}\chi (x,y)\big ]^\alpha = \Big [D_{y}{\underline{\chi }}^\alpha (x,y), D_{y}{\overline{\chi }}^\alpha (x,y)\Big ].\)
-
(iii)
If \([D_{x}\chi (x,y)]^\alpha\) is \((ii)-\)differentiable with respect to x then \(D_{x}{\underline{\chi }}^\alpha (x,y), D_{x}{\overline{\chi }}^\alpha (x,y)\) are differentiable with respect to x and \(\big [D_{x}\chi (x,y)\big ]^\alpha = \Big [D_{x}{\overline{\chi }}^\alpha (x,y), D_{x}{\underline{\chi }}^\alpha (x,y)\Big ].\)
-
(iv)
If \([D_{}\chi (x,y)]^\alpha\) is \((ii)-\)differentiable with respect to y then \(D_{y}{\underline{\chi }}^\alpha (x,y), D_{y}{\overline{\chi }}^\alpha (x,y)\) are differentiable with respect to y and \(\big [D_{y}\chi (x,y)\big ]^\alpha = \Big [D_{y}{\overline{\chi }}^\alpha (x,y), D_{y}{\underline{\chi }}^\alpha (x,y)\Big ].\)
Natural transform of second order partial derivative
The commonly used integral transform for the solutions of differential equations are Laplace and Sumudu transform. But natural transform easily converges to these transforms. This specialty of natural transform provided the opportunity to use it as a checker on these transforms. The applications of the natural transform method turn out well for solutions of differential equations. Therefore in the current work, we propose natural transform to study second order partial differential equations
Theorem 3.1
Let fuzzy valued function \(\big [\chi (t,y)\big ]^\alpha\) be continuous such that, \(e^{-st} \big [\chi (ut,y)\big ]^\alpha\), \(e^{-st} \big [\chi _{t}(ut,y)\big ]^\alpha\) and \(e^{-st} \big [\chi _{tt}(ut,y)\big ]^\alpha\) exists and continuous. Moreover they are Riemann integrable on, \([0,\infty )\) then
-
(A)
If \(\big [\chi (t,y)\big ]^\alpha\) and \(\big [\chi _t(t,y)\big ]^\alpha\) are \((i)-\)differentiable, then
$$\begin{aligned} {\mathcal {N}}\big [\chi _{tt}(t,y)\big ]^\alpha = \bigg [\frac{s^2}{u^2} {\widehat{R}}^\alpha (s, u, y) \ominus \frac{s}{u^2}\chi ^\alpha (0,y)\bigg ] \ominus \frac{1}{u}{\chi _t}^\alpha (0,y). \end{aligned}$$ -
(B)
If \(\big [\chi (t,y)\big ]^\alpha\) is \((i)-\)differentiable and \(\big [\chi _t(t,y)\big ]^\alpha\) is \((ii)-\)differentiable, then
$$\begin{aligned} {\mathcal {N}}\big [\chi _{tt}(t,y)\big ]^\alpha = \left(-\frac{1}{u}{\chi _t}^\alpha (0,y)\right)\ominus \bigg [\left(-\frac{s^2}{u^2} {\widehat{R}}^\alpha (s, u, y)\right) \ominus \left(-\frac{s}{u^2}\chi ^\alpha (0,y)\right)\bigg ]. \end{aligned}$$ -
(C)
If \(\big [\chi (t,y)\big ]^\alpha\) is \((ii)-\)differentiable and \(\big [\chi _t(t,y)\big ]^\alpha\) is \((i)-\)differentiable, then
$$\begin{aligned} {\mathcal {N}}\big [\chi _{tt}(t,y)\big ]^\alpha = \bigg [\left(- \frac{s}{u^2}\chi ^\alpha (0,y)\right) \ominus \left(-\frac{s^2}{u^2} {\widehat{R}}^\alpha (s, u, y)\right)\bigg ]\ominus \frac{1}{u}{\chi _t}^\alpha (0,y). \end{aligned}$$ -
(D)
If, \(\big [\chi (t,y)\big ]^\alpha\) and \(\big [\chi _t(t,y)\big ]^\alpha\) are \((ii)-\)differentiable, then
$$\begin{aligned} {\mathcal {N}}\big [\chi _{tt}(t,y)\big ]^\alpha = \left(-\frac{1}{u}{\chi _t}^\alpha (0,y)\right)\ominus \bigg [\frac{s}{u^2}\chi ^\alpha (0,y) \ominus \frac{s^2}{u^2} {\widehat{R}}^\alpha (s, u, y)\bigg ]. \end{aligned}$$
Proof
-
(A)
Assume that \(\big [\chi (t,y)\big ]^\alpha\) and \(\big [\chi _t(t,y)\big ]^\alpha\) are \((i)-\)differentiable, then
$$\begin{aligned} {\mathcal {N}} \big [\chi _t(t,y)\big ]^\alpha= & {} \frac{s}{u}\big [ {\widehat{R}}^\alpha (s, u, y)\big ] \ominus \frac{1}{u}\chi ^\alpha (0,y), \ \ \ \hbox {and}\nonumber \\ {\mathcal {N}}\big [\chi _{tt}(t,y)\big ]^\alpha= & {} \frac{s}{u}\big [ {\mathcal {N}}\{{\chi _{t}}^\alpha (t,y)\}\big ] \ominus \frac{1}{u}{\chi _{t}}^\alpha (0,y), \ \ \hbox {Using}\, 3.1\, \hbox {this identity yields},\nonumber \\ {\mathcal {N}}\big [\chi _{tt}(t,y)\big ]^\alpha= & {} \frac{s}{u}\bigg [ \frac{s}{u}\big [ {\widehat{R}}^\alpha (s, u, y)\big ] \ominus \frac{1}{u}\chi ^\alpha (0,y) \bigg ] \ominus \frac{1}{u}{\chi _{t}}^\alpha (0,y),\nonumber \\ {\mathcal {N}}\big [\chi _{tt}(t,y)\big ]^\alpha= & {} \bigg [ \frac{s^2}{u^2} {\widehat{R}}^\alpha (s, u, y) \ominus \frac{s}{u^2}\chi ^\alpha (0,y) \bigg ] \ominus \frac{1}{u}{\chi _{t}}^\alpha (0,y). \end{aligned}$$(3.1) -
(B)
If \(\big [\chi (t,y)\big ]^\alpha\) and \(\big [\chi _t(t,y)\big ]^\alpha\) are \((i)-\)differentiable and \((ii)-\)differentiable respectively, then
$$\begin{aligned} {\mathcal {N}}\big [\chi _t(t,y)\big ]^\alpha= & {} \frac{s}{u}\big [ {\widehat{R}}^\alpha (s, u, y)\big ] \ominus \frac{1}{u}\chi ^\alpha (0,y) \ \ \ \hbox {and}\nonumber \\ {\mathcal {N}}\big [\chi _{tt}(t,y)\big ]^\alpha= & {} \left(- \frac{1}{u}{\chi _{t}}^\alpha (0,y)\right) \ominus \left(-\frac{s}{u}\big [ {\mathcal {N}}\{{\chi _{t}}^\alpha (t,y)\}\big ]\right), \ \ \hbox {Using}\, 3.2 \,\hbox {this identity yields}, \nonumber \\ {\mathcal {N}}\big [\chi _{tt}(t,y)\big ]^\alpha= & {} \left(-\frac{1}{u}{\chi _{t}}^\alpha (0,y)\right) \ominus \bigg [-\frac{s}{u} \bigg ( \frac{s}{u}\big [{\widehat{R}}^\alpha (s, u, y)\big ] \ominus \frac{1}{u}\chi ^\alpha (0,y)\bigg ) \bigg ],\nonumber \\ {\mathcal {N}}\big [\chi _{tt}(t,y)\big ]^\alpha= & {} \left(- \frac{1}{u}{\chi _{t}}^\alpha (0,y)\right) \ominus \bigg [ \left(-\frac{s^2}{u^2} {\widehat{R}}^\alpha (s, u, y)\right) \ominus \left(-\frac{s}{u^2}\chi ^\alpha (0,y)\right) \bigg ]. \end{aligned}$$(3.2) -
(C)
If \(\big [\chi (t,y)\big ]^\alpha\) and \(\big [\chi _t(t,y)\big ]^\alpha\) are \((ii)-\)differentiable and \((i)-\)differentiable respectively, then
$$\begin{aligned} {\mathcal {N}}\big [\chi _t(t,y)\big ]^\alpha= & {} \left(-\frac{1}{u}\chi ^\alpha (0,y)\right) \ominus \bigg (-\frac{s}{u}\big [ {\widehat{R}}^\alpha (s, u, y)\big ]\bigg ) \ \ \ \hbox {and}\nonumber \\ {\mathcal {N}}\big [\chi _{tt}(t,y)\big ]^\alpha= & {} \frac{s}{u}\left[ {\mathcal {N}}\{{\chi _{t}}^\alpha (t,y)\}\right] \ominus \frac{1}{u}\chi ^\alpha (0,y), \ \ \hbox {Using} \,3.3\, \hbox {this identity yields},\nonumber \\ {\mathcal {N}}\big [\chi _{tt}(t,y)\big ]^\alpha= & {} \left(-\frac{s}{u^2}{\chi _{t}}^\alpha (0,y)\right) \ominus \bigg (-\frac{s^2}{u^2}\big [{\widehat{R}}^\alpha (s, u, y)\big ]\bigg ) \ominus \frac{1}{u}\chi ^\alpha (0,y)\big ),\nonumber \\ {\mathcal {N}}\big [\chi _{tt}(t,y)\big ]^\alpha= & {} \bigg [\left(-\frac{1}{u}\chi ^\alpha (0,y)\right)\ominus \left(-\frac{s^2}{u^2} {\widehat{R}}^\alpha (s, u, y)\right)\bigg ]\ominus \frac{1}{u}{\chi _{t}}^\alpha (0,y). \end{aligned}$$(3.3) -
(D)
If \(\big [\chi (t,y)\big ]^\alpha\) and \(\big [\chi _t(t,y)\big ]^\alpha\) are \((ii)-\)differentiable, then
$$\begin{aligned} {\mathcal {N}}\big [\chi _t(t,y)\big ]^\alpha= & {} \left(-\frac{1}{u}\chi ^\alpha (0,y)\right) \ominus \bigg (-\frac{s}{u}\big [ {\widehat{R}}^\alpha (s, u, y)\big ]\bigg ) \ \ \ \hbox {and}\nonumber \\ {\mathcal {N}}\big [\chi _{tt}(t,y)\big ]^\alpha= & {} \left(-\frac{1}{u}{\chi _{t}}^\alpha (0,y)\right) \ominus \left(-\frac{s}{u}\big [ {\mathcal {N}}\{{\chi _{t}}^\alpha (t,y)\}\big ]\right), \ \ \hbox {Using}\,3.4\, \hbox {this identity yields}, \nonumber \\ {\mathcal {N}}\big [\chi _{tt}(t,y)\big ]^\alpha= & {} \left(-\frac{1}{u}{\chi _{t}}^\alpha (0,y)\right) \ominus \bigg [-\frac{s}{u}\bigg (\left(-\frac{1}{u}{\chi _{t}}^\alpha (0,y)\right) \ominus \left(-\frac{s}{u}[{\widehat{R}}^\alpha (s, u, y)]\right)\bigg )\bigg ],\nonumber \\ {\mathcal {N}}\big [\chi _{tt}(t,y)\big ]^\alpha= & {} \left(-\frac{1}{u}{\chi _{t}}^\alpha (0,y)\right)\ominus \bigg [\frac{s}{u^2}\chi ^\alpha (0,y)\ominus \frac{s^2}{u^2} {\widehat{R}}^\alpha (s, u, y))\bigg ]. \end{aligned}$$(3.4)
\(\square\)
Theorem 3.2
Let the fuzzy function, \(\chi :[0,\infty [\times [0,\infty [\rightarrow R_{F},\) be continuous and \(e^{-st} \big [\chi _y(ut,y)\big ]^\alpha ,\) is improper fuzzy Riemann integrable in the interval, \([0,\infty ),\) then for natural transform, \({\mathcal {N}}\big [\chi _y(t,y)\big ]^\alpha ,\) with respect to t, hold the following identity.
Proof
The fuzzy Natural transform is define, as
\(\square\)
Fuzzy advection-diffusion equations with natural transform and adomian decomposition
First we discuss the following linear advection-diffusion fuzzy partial differential equations with constant diffusion coefficient \(a>0\) and constant advection velocity b.
Where, \(p_{0}(y,\alpha ),\) \(q_{0}(y,\alpha )\) and \(r_{0}(t,\alpha )\) are the initial values and fuzzy function, \(\chi :[0,\infty [\times [0,\infty [\rightarrow R_F,\) is define on \(y,t\ge 0\) while \([g(t,y)]^\alpha\) is fuzzy function.
The fuzzy solutions of 4.1, can be discussed in the following four cases.
Case 1: The natural transform of following two cases are in the form
The following two cases can be solved by using appropriate integrating factor.
Case (a): Let \(\frac{\partial }{\partial y}\big [\chi (t,y)\big ]^\alpha\), \(\frac{\partial }{\partial t}\big [\chi (t,y)\big ]^\alpha\) and \(\frac{\partial ^2}{\partial t^2}\big [\chi (t,y)\big ]^\alpha\) are \((i)-\)differentiable (OR) \((ii)-\)differentiable, then using Theorem (3.1), in Eq. (4.2), one can get
Using Theorem (3.2) and initial conditions in Eq. (4.3), one can get
Solving Eq. (4.4) satisfying the initial conditions, assume that solution is obtained as follows
Taking inverse natural transform of Eq. (4.5) one can find \({\underline{\chi }}(t,y)\) and \({\overline{\chi }}(t,y),\) as follows.
The solutions of Eq. (4.6) is valid only if \({\underline{\chi }}^\alpha (t,y)\le {\overline{\chi }}^\alpha (t,y),\) \({{\underline{\chi }}_{y}}^\alpha (t,y)\le {{\overline{\chi }}_{y}}^\alpha (t,y),\) \({{\underline{\chi }}_{t}}^\alpha (t,y)\le {{\overline{\chi }}_{t}}^\alpha (t,y)\) and \({{\underline{\chi }}_{tt}}^\alpha (t,y)\le {{\overline{\chi }}_{tt}}^\alpha (t,y).\)
Case (b): Let \(\frac{\partial }{\partial y}\big [\chi (t,y)\big ]^\alpha\), \(\frac{\partial }{\partial t}\big [\chi (t,y)\big ]^\alpha\) are \((i)-\)differentiable and \(\frac{\partial ^2}{\partial t^2}\big [\chi (t,y)\big ]^\alpha\) is \((ii)-\)differentiable (OR) \(\frac{\partial }{\partial y}\big [\chi (t,y)\big ]^\alpha\), \(\frac{\partial }{\partial t}\big [\chi (t,y)\big ]^\alpha\) are \((ii)-\)differentiable and \(\frac{\partial ^2}{\partial t^2}\big [\chi (t,y)\big ]^\alpha\) is \((i)-\)differentiable then using Theorem (3.1), in Eq.(4.2) one can get
Using Theorem (3.2) and initial conditions in Eq.(4.7), one can get
Solving Eq. (4.8) and using initial conditions, assume that solution is obtained as follows
Taking inverse natural transform of Eq. (4.9) one can get \({\underline{\chi }}^\alpha (t,y)\) and \({\overline{\chi }}^\alpha (t,y),\) as follows
The solutions of Eq. (4.10), is valid only if \({\underline{\chi }}^\alpha (t,y)\le {\overline{\chi }}^\alpha (t,y),\) \({{\underline{\chi }}_{y}}^\alpha (t,y)\le {{\overline{\chi }}_{y}}^\alpha (t,y),\) \({{\underline{\chi }}_{t}}^\alpha (t,y)\le {{\overline{\chi }}_{t}}^\alpha (t,y)\) and \({{\underline{\chi }}_{tt}}^\alpha (t,y)\le {{\overline{\chi }}_{tt}}^\alpha (t,y).\)
Case 2: The natural transform of following two cases are in the form
The right and left side of these equations have \({\underline{\chi }}^\alpha (t,y)\) and \({\overline{\chi }}^\alpha (t,y)\) therefore fuzzy solutions of the following two cases can be obtain by natural Adomian decomposition method.
Case (a): Let \(\frac{\partial }{\partial y}\big [\chi (t,y)\big ]^\alpha\) is \((i)-\)differentiable and \(\frac{\partial }{\partial t}\big [\chi (t,y)\big ]^\alpha\) and \(\frac{\partial ^2}{\partial t^2}\big [\chi (t,y)\big ]^\alpha\) are \((ii)-\)differentiable (OR) \(\frac{\partial }{\partial y}\big [\chi (t,y)\big ]^\alpha\) is \((ii)-\)differentiable and \(\frac{\partial }{\partial t}\big [\chi (t,y)\big ]^\alpha\) and \(\frac{\partial ^2}{\partial t^2}\big [\chi (t,y)\big ]^\alpha\) are \((i)-\)differentiable then using Theorem (3.1) in Eq. (4.11), one can get
Rearranged Eq. (4.12) for series solutions and using initial conditions, one can get
Taking inverse natural transform of Eq. (4.13), one can get
The right and left side of these equations have opposite cases \({\underline{\chi }}^\alpha (t,y)\) and \({\overline{\chi }}^\alpha (t,y)\) therefore we decompose it be Adomiam decomposition method to obtain recursive relations, with
Evaluating, \(\big [\chi _{0}\big ]^\alpha =\big [{{\underline{\chi }}_{0}}^\alpha , {{\overline{\chi }}_{0}}^\alpha \big ],\) \(\big [\chi _{1}\big ]^\alpha =\big [{{\underline{\chi }}_{1}}^\alpha , {{\overline{\chi }}_{1}}^\alpha \big ],\) \(\big [\chi _{2}\big ]^\alpha =\big [{{\underline{\chi }}_{2}}^\alpha , {{\overline{\chi }}_{2}}^\alpha \big ],\)... the required solution is obtained, as
The series fuzzy solutions of Eq. (4.1), can be obtained, as
The solutions is valid only if \({\underline{\chi }}^\alpha (t,y)\le {\overline{\chi }}^\alpha (t,y),\) \({{\underline{\chi }}_{y}}^\alpha (t,y)\le {\overline{\chi }}_{y}(t,y),\) \({{\underline{\chi }}_{t}}^\alpha (t,y)\le {{\overline{\chi }}_{t}}^\alpha (t,y)\) and \({{\underline{\chi }}_{tt}}^\alpha (t,y)\le {{\overline{\chi }}_{tt}}^\alpha (t,y).\)
Case (b): Let \(\frac{\partial }{\partial y}\big [\chi (t,y)\big ]^\alpha\) and \(\frac{\partial ^2}{\partial t^2}\big [\chi (t,y)\big ]^\alpha ,\) are \((i)-\)differentiable and \(\frac{\partial }{\partial t}\big [\chi (t,y)\big ]^\alpha\) is \((ii)-\)differentiable (OR) \(\frac{\partial }{\partial y}\chi ^\alpha (t,y)\) and \(\frac{\partial ^2}{\partial t^2}\big [\chi (t,y)\big ]^\alpha\) are \((ii)-\)differentiable and \(\frac{\partial }{\partial t}\big [\chi (t,y)\big ]^\alpha\) is \((i)-\)differentiable then using Theorem (3.1) in Eq. (4.11), one can get
Rearranged Eq. (4.17) for series solutions and using initial conditions, one can get
Taking inverse natural transform of Eq. (4.18), one can get
The right and left side of these equations have opposite cases \({\underline{\chi }}^\alpha (t,y)\) and \({\overline{\chi }}^\alpha (t,y)\) therefore we decompose it with Adomiam decomposition method to obtain recursive relations, with
Evaluating, \(\big [\chi _{0}\big ]^\alpha =\big [{{\underline{\chi }}_{0}}^\alpha , {{\overline{\chi }}_{0}}^\alpha \big ],\) \(\big [\chi _{1}\big ]^\alpha =\big [{{\underline{\chi }}_{1}}^\alpha , {{\overline{\chi }}_{1}}^\alpha \big ],\) \(\big [\chi _{2}\big ]^\alpha =\big [{{\underline{\chi }}_{2}}^\alpha , {{\overline{\chi }}_{2}}^\alpha \big ],\)... the required solution is obtained, as
The series fuzzy solutions of Eq. (4.1), can be obtained, as
The solutions is valid only if \({\underline{\chi }}^\alpha (t,y)\le {\overline{\chi }}^\alpha (t,y),\) \({{\underline{\chi }}_{y}}^\alpha (t,y)\le {\overline{\chi }}_{y}(t,y),\) \({{\underline{\chi }}_{t}}^\alpha (t,y)\le {{\overline{\chi }}_{t}}^\alpha (t,y)\) and \({{\underline{\chi }}_{tt}}^\alpha (t,y)\le {{\overline{\chi }}_{tt}}^\alpha (t,y).\)
Example 4.1
Here we discuss the following linear advection-diffusion fuzzy partial differential equations.
Where, \(y\ge 0\) and \(0\le t < 2.\)
Case (1): For the fuzzy solutions the following two cases can be solved by using appropriate integrating factor.
Case (a): Let \(\frac{\partial }{\partial y}\big [\chi (t,y)\big ]^\alpha\), \(\frac{\partial }{\partial t}\big [\chi (t,y)\big ]^\alpha\) and \(\frac{\partial ^2}{\partial t^2}\big [\chi (t,y)\big ]^\alpha\) are \((i)-\)differentiable (OR) \((ii)-\)differentiable then substituting, \(a=2, b=1\) and initial condition in Eq. (4.4), one can get
Rearranged Eq. (4.23) and using initial conditions, one can get
Solving Eq. (4.24), by using integrating factor \(I.F = e^{-\frac{2s^2-us}{u^2}y}\) and initial condition
\(\big [\chi (t,0)\big ]^\alpha = e^{t}(\alpha -1,1-\alpha ),\) one can easily obtain the fuzzy solutions, \(\begin{aligned} \left\{ \begin{aligned} {\underline{\chi }}^\alpha (t,y)= & {} \ e^{t+y}(\alpha -1),\\ {\overline{\chi }}^\alpha (t,y)= & {} \ e^{t+y}(1-\alpha ). \end{aligned}\right. \end{aligned}\)
Case (b): Let \(\frac{\partial }{\partial y}\big [\chi (t,y)\big ]^\alpha\), \(\frac{\partial }{\partial t}\big [\chi (t,y)\big ]^\alpha\) are \((i)-\)differentiable and \(\frac{\partial ^2}{\partial t^2}\big [\chi (t,y)\big ]^\alpha\) is \((ii)-\)differentiable (OR) \(\frac{\partial }{\partial y}\big [\chi (t,y)\big ]^\alpha\), \(\frac{\partial }{\partial t}\big [\chi (t,y)\big ]^\alpha\) are \((ii)-\)differentiable and \(\frac{\partial ^2}{\partial t^2}\big [\chi (t,y)\big ]^\alpha\) is \((i)-\)differentiable then substituting \(a=2, b=1\) and initial condition in Eq. (4.8), one can get
Rearranged Eq. (4.25) and using initial conditions one can get
Solving Eq. (4.26), by using integrating factor \(I.F = e^{-\frac{2s^2-us}{u^2}y},\)
Take inverse natural transform and using initial condition, \(\big [\chi (t,0)\big ]^\alpha = e^t (\alpha -1,1-\alpha ),\) one can easily obtain fuzzy solutions,
Case (2): The following two cases are difficult to solved by integrating factor therefore, we apply Adomiam decomposition method.
Case (a): Let \(\frac{\partial }{\partial y}\big [\chi (t,y)\big ]^\alpha\) is \((i)-\)differentiable and \(\frac{\partial }{\partial t}\big [\chi (t,y)\big ]^\alpha\) and \(\frac{\partial ^2}{\partial t^2}\big [\chi (t,y)\big ]^\alpha\) are \((ii)-\)differentiable (OR) \(\frac{\partial }{\partial y}\big [\chi (t,y)\big ]^\alpha\) is \((ii)-\)differentiable and \(\frac{\partial }{\partial t}\big [\chi (t,y)\big ]^\alpha\) and \(\frac{\partial ^2}{\partial t^2}\big [\chi (t,y)\big ]^\alpha\) are \((i)-\)differentiable. Using Eq. (4.15) and Eq. (4.16) with \(a=2, b=1\) and initial conditions, one can get the following series
The series solution is obtained as follow
The series of Eq. (4.30) is infinite geometric series, therefore solution is obtained as follow
Case (b): Let \(\frac{\partial }{\partial y}\big [\chi (t,y)\big ]^\alpha\) and \(\frac{\partial ^2}{\partial t^2}\big [\chi (t,y)\big ]^\alpha\) are \((i)-\)differentiable and \(\frac{\partial }{\partial t}\big [\chi (t,y)\big ]^\alpha\) is \((ii)-\)differentiable (OR) \(\frac{\partial }{\partial y}\big [\chi (t,y)\big ]^\alpha\) and \(\frac{\partial ^2}{\partial t^2}\big [\chi (t,y)\big ]^\alpha\) are \((ii)-\)differentiable and \(\frac{\partial }{\partial t}\big [\chi (t,y)\big ]^\alpha\) is \((i)-\)differentiable. Using Eq. (4.20) and Eq. (4.21) with \(a=2, b=1\) and initial conditions, one can get the following series
The series of Eq. (4.32) is infinite geometric series, therefore solution is obtained as follow
Fuzzy heat equations with natural transform and adomian decomposition
Now we have to discuss the solutions of fuzzy heat equations with the help of natural Adomian decomposition method.
Where, \(p_{0}(y,\alpha ),\) \(q_{0}(y,\alpha )\) and \(r_{0}(t,\alpha )\) are initial values and fuzzy function, \(\chi :[0,\infty [\times [0,\infty [\rightarrow R_F,\) is define on \(y,t\ge 0\) while \([g(t,y)]^\alpha\) is fuzzy function.
The fuzzy solutions of Eq (5.1), can be discussed in the following four cases.
Case 1: The natural transform of following two cases are in the form
The following two cases can be solved by using appropriate integrating factor.
Case (a): Let \(\frac{\partial }{\partial y}\big [\chi (t,y)\big ]^\alpha\), \(\frac{\partial }{\partial t}\big [\chi (t,y)\big ]^\alpha\) and \(\frac{\partial ^2}{\partial t^2}\big [\chi (t,y)\big ]^\alpha\) are \((i)-\)differentiable (OR) \((ii)-\)differentiable, then using, Theorem (3.1), in Eq. (5.2), one can get
Using Theorem (3.2) and initial conditions in Eq. (5.3), one can get
Solving Eq. (5.4) satisfying the initial conditions, assume that solution is obtained as follows
Taking inverse natural transform of Eq. (5.5) one can find \({\underline{\chi }}(t,y)\) and \({\overline{\chi }}(t,y),\) as follows.
The solutions of Eq. (5.6) is valid only if \({\underline{\chi }}^\alpha (t,y)\le {\overline{\chi }}^\alpha (t,y),\) \({{\underline{\chi }}_{y}}^\alpha (t,y)\le {{\overline{\chi }}_{y}}^\alpha (t,y),\) \({{\underline{\chi }}_{t}}^\alpha (t,y)\le {{\overline{\chi }}_{t}}^\alpha (t,y)\) and \({{\underline{\chi }}_{tt}}^\alpha (t,y)\le {{\overline{\chi }}_{tt}}^\alpha (t,y).\)
Case (b): Let \(\frac{\partial }{\partial y}\big [\chi (t,y)\big ]^\alpha\), \(\frac{\partial }{\partial t}\big [\chi (t,y)\big ]^\alpha\) are \((i)-\)differentiable and \(\frac{\partial ^2}{\partial t^2}\big [\chi (t,y)\big ]^\alpha\) is \((ii)-\)differentiable (OR) \(\frac{\partial }{\partial y}\big [\chi (t,y)\big ]^\alpha\), \(\frac{\partial }{\partial t}\big [\chi (t,y)\big ]^\alpha\) are \((ii)-\)differentiable and \(\frac{\partial ^2}{\partial t^2}\big [\chi (t,y)\big ]^\alpha\) is \((i)-\)differentiable then using Theorem (3.1), in Eq. (5.2), one can get
Using Theorem (3.2) and initial conditions in Eq.(5.7), one can get
Solving Eq. (5.8) and using initial conditions, assume that solution is obtained as follows
Taking inverse natural transform of Eq. (5.9) one can find \({\underline{\chi }}^\alpha (t,y)\) and \({\overline{\chi }}^\alpha (t,y),\) as follows.
The solutions of Eq. (5.10) is valid only if \({\underline{\chi }}^\alpha (t,y)\le {\overline{\chi }}^\alpha (t,y),\) \({{\underline{\chi }}_{y}}^\alpha (t,y)\le {{\overline{\chi }}_{y}}^\alpha (t,y),\) \({{\underline{\chi }}_{t}}^\alpha (t,y)\le {{\overline{\chi }}_{t}}^\alpha (t,y)\) and \({{\underline{\chi }}_{tt}}^\alpha (t,y)\le {{\overline{\chi }}_{tt}}^\alpha (t,y).\)
Case 2: The natural transform of following two cases are in the form
The right and left side of these equations have \({\underline{\chi }}^\alpha (t,y)\) and \({\overline{\chi }}^\alpha (t,y)\) therefore fuzzy solutions of the following two cases can be obtained by natural Adomian decomposition method.
Case (a): Let \(\frac{\partial }{\partial y}\big [\chi (t,y)\big ]^\alpha\) is \((i)-\)differentiable and \(\frac{\partial }{\partial t}\big [\chi (t,y)\big ]^\alpha\) and \(\frac{\partial ^2}{\partial t^2}\big [\chi (t,y)\big ]^\alpha\) are \((ii)-\)differentiable (OR) \(\frac{\partial }{\partial y}\big [\chi (t,y)\big ]^\alpha\) is \((ii)-\)differentiable and \(\frac{\partial }{\partial t}\big [\chi (t,y)\big ]^\alpha\) and \(\frac{\partial ^2}{\partial t^2}\big [\chi (t,y)\big ]^\alpha\) are \((i)-\)differentiable then using Theorem (3.1) in Eq. (5.11), one can get
Rearranged Eq. (5.12) for series solutions and using initial conditions, one can get
Taking inverse natural transform of Eq. (5.13), one can get
The right and left side of these equations have opposite cases \({\underline{\chi }}^\alpha (t,y)\) and \({\overline{\chi }}^\alpha (t,y)\) therefore we decompose it with Adomiam decomposition method to obtain recursive relations, with
Evaluating, \(\big [\chi _{0}\big ]^\alpha =\big [{{\underline{\chi }}_{0}}^\alpha , {{\overline{\chi }}_{0}}^\alpha \big ],\) \(\big [\chi _{1}\big ]^\alpha =\big [{{\underline{\chi }}_{1}}^\alpha , {{\overline{\chi }}_{1}}^\alpha \big ],\) \(\big [\chi _{2}\big ]^\alpha =\big [{{\underline{\chi }}_{2}}^\alpha , {{\overline{\chi }}_{2}}^\alpha \big ],\)... the required solution is obtained, as
The series fuzzy solutions of Eq.(5.1), can be obtained, as
The solutions is valid only if \({\underline{\chi }}^\alpha (t,y)\le {\overline{\chi }}^\alpha (t,y),\) \({{\underline{\chi }}_{y}}^\alpha (t,y)\le {\overline{\chi }}_{y}(t,y),\) \({{\underline{\chi }}_{t}}^\alpha (t,y)\le {{\overline{\chi }}_{t}}^\alpha (t,y)\) and \({{\underline{\chi }}_{tt}}^\alpha (t,y)\le {{\overline{\chi }}_{tt}}^\alpha (t,y).\)
Case (b): Let \(\frac{\partial }{\partial y}\big [\chi (t,y)\big ]^\alpha\) and \(\frac{\partial ^2}{\partial t^2}\big [\chi (t,y)\big ]^\alpha ,\) are \((i)-\)differentiable and \(\frac{\partial }{\partial t}\big [\chi (t,y)\big ]^\alpha\) is \((ii)-\)differentiable (OR) \(\frac{\partial }{\partial y}\chi ^\alpha (t,y)\) and \(\frac{\partial ^2}{\partial t^2}\big [\chi (t,y)\big ]^\alpha\) are \((ii)-\)differentiable and \(\frac{\partial }{\partial t}\big [\chi (t,y)\big ]^\alpha\) is \((i)-\)differentiable then using Theorem (3.1) in Eq.(5.11), one can get
Rearranged, Eq. (5.17) for series solutions and using initial conditions, one can get
Taking inverse natural transform of Eq. (5.18), one can get
The right and left side of these equations have opposite cases \({\underline{\chi }}^\alpha (t,y)\) and \({\overline{\chi }}^\alpha (t,y)\) therefore we decompose it with Adomiam decomposition method to obtain recursive relations, with
Evaluating, \(\big [\chi _{0}\big ]^\alpha =\big [{{\underline{\chi }}_{0}}^\alpha , {{\overline{\chi }}_{0}}^\alpha \big ],\) \(\big [\chi _{1}\big ]^\alpha =\big [{{\underline{\chi }}_{1}}^\alpha , {{\overline{\chi }}_{1}}^\alpha \big ],\) \(\big [\chi _{2}\big ]^\alpha =\big [{{\underline{\chi }}_{2}}^\alpha , {{\overline{\chi }}_{2}}^\alpha \big ],\)... the required solution is obtained, as
The series fuzzy solutions of Eq. (5.1), can be obtained, as
The solutions is valid only if \({\underline{\chi }}^\alpha (t,y)\le {\overline{\chi }}^\alpha (t,y),\) \({{\underline{\chi }}_{y}}^\alpha (t,y)\le {\overline{\chi }}_{y}(t,y),\) \({{\underline{\chi }}_{t}}^\alpha (t,y)\le {{\overline{\chi }}_{t}}^\alpha (t,y)\) and \({{\underline{\chi }}_{tt}}^\alpha (t,y)\le {{\overline{\chi }}_{tt}}^\alpha (t,y).\)
Example 5.1
Here we discuss the following heat problems as an example.
Where, the fuzzy function \(\chi ^\alpha :[0,\infty )\times [0,\infty )\rightarrow R_F,\) is define on \(y,t\ge 0.\)
Case (1): For the fuzzy solutions the following two cases can be solved by using appropriate integrating factor.
Case (a): Let \(\frac{\partial }{\partial y}\big [\chi (t,y)\big ]^\alpha\), \(\frac{\partial }{\partial t}\big [\chi (t,y)\big ]^\alpha\) and \(\frac{\partial ^2}{\partial t^2}\big [\chi (t,y)\big ]^\alpha\) are \((i)-\)differentiable (OR) \((ii)-\)differentiable then substituting, \(g(t,y) = y^2 + yt,\) and initial condition in Eq. (5.4), one can get
Solving Eq. (5.23), by using integrating factor \(I.F = e^{-\frac{s^2}{u^2}y}\) and using initial condition
\(\big [\chi (t,0)\big ]^\alpha = (\frac{t^2}{2!} + \frac{t^3}{3!}) (\alpha -1,1-\alpha ),\) one can easily obtain fuzzy solutions as follows.
Case (b): Let \(\frac{\partial }{\partial y}\big [\chi (t,y)\big ]^\alpha\), \(\frac{\partial }{\partial t}\big [\chi (t,y)\big ]^\alpha\) are \((i)-\)differentiable and \(\frac{\partial ^2}{\partial t^2}\big [\chi (t,y)\big ]^\alpha\) is \((ii)-\)differentiable (OR) \(\frac{\partial }{\partial y}\big [\chi (t,y)\big ]^\alpha\), \(\frac{\partial }{\partial t}\big [\chi (t,y)\big ]^\alpha\) are \((ii)-\)differentiable and \(\frac{\partial ^2}{\partial t^2}\big [\chi (t,y)\big ]^\alpha\) is \((i)-\)differentiable then substituting \(g(t,y) = y^2 + yt\) and initial conditions in Eq. (5.4), one can get
Solving Eq. (5.23) by using integrating factor, \(I.F = e^{-\frac{s^2}{u^2}y}\) and initial condition
\(\big [\chi (t,0)\big ]^\alpha = (\frac{t^2}{2!} + \frac{t^3}{3!})(\alpha -1, 1-\alpha ),\) one can easily obtain the fuzzy solutions, as follows.
Case (2): The following two cases are difficult to solved by integrating factor therefore, we apply Adomiam decomposition method.
Case(a): Let \(\frac{\partial }{\partial y}\big [\chi (t,y)\big ]^\alpha\) is \((i)-\)differentiable and \(\frac{\partial }{\partial t}\big [\chi (t,y)\big ]^\alpha\) and \(\frac{\partial ^2}{\partial t^2}\big [\chi (t,y)\big ]^\alpha\) are \((ii)-\)differentiable (OR) \(\frac{\partial }{\partial y}\big [\chi (t,y)\big ]^\alpha\) is \((ii)-\)differentiable and \(\frac{\partial }{\partial t}\big [\chi (t,y)\big ]^\alpha\) and \(\frac{\partial ^2}{\partial t^2}\big [\chi (t,y)\big ]^\alpha\) are \((i)-\)differentiable then using initial conditions in Eq. (5.15) in Eq. (5.16) one can get easily the following series
The right and left side of these equations have opposite cases \({\underline{\chi }}^\alpha (t,y)\) and \({\overline{\chi }}^\alpha (t,y)\) therefore we decompose it with Adomiam decomposition method to obtain recursive relations, with
The fuzzy solutions of Eq.(5.22), can be obtained as
Case (b): Let \(\frac{\partial }{\partial y}\big [\chi (t,y)\big ]^\alpha\) and \(\frac{\partial ^2}{\partial t^2}\big [\chi (t,y)\big ]^\alpha\) are \((i)-\)differentiable and \(\frac{\partial }{\partial t}\big [\chi (t,y)\big ]^\alpha\) is \((ii)-\)differentiable (OR) \(\frac{\partial }{\partial y}\big [\chi (t,y)\big ]^\alpha\) and \(\frac{\partial ^2}{\partial t^2}\big [\chi (t,y)\big ]^\alpha\) are \((ii)-\)differentiable and \(\frac{\partial }{\partial t}\big [\chi (t,y)\big ]^\alpha\) is \((i)-\)differentiable then using initial conditions in Eq. (5.20) and Eq. (5.21), one can get easily the following fuzzy solutions by the similar procedure.
Conclusion and future direction
Fuzzy functions may have two possible generalized differentiability. FPDEs may have the possibility that the function is (i)-differentiable with respect to one variable and (ii)-differentiable with respect to the second variable. Therefore, even a FPDEs is linear may have complexities to solve it with integral transforms. By addressing the complexities associated with integral transforms used for the solutions of FPDEs, specifically, we apply the natural Adomian decomposition method to solve fuzzy advection-diffusion equations and fuzzy heat equations. This procedure is effective in dealing with first and second order linear and non-linear fuzzy partial differential equations such as advection equations, convection-diffusion equations, equations of Oscillators, nonlinear coupled partial differential equations etc.
Data availability
All data generated or analysed during this study are included in this published article [and its supplementary information files].
References
Zadeh, L. A. Fuzzy sets. Inf. Control 8(3), 338–353 (1965).
Chang, S. S. & Zadeh, L. A. On Fuzzy Mapping and Control. In Fuzzy sets, fuzzy logic, and fuzzy systems: Selected papers by Lotfi A Zadeh (eds Chang, S. S. & Zadeh, L. A.) (World Scientific, 1996).
Prade, H. & Dubois, D. Towards fuzzy differential calculus. Fuzzy Sets Syst. 8, 225–233 (1982).
Goetschel, J. R. & Voxman, W. Elementary fuzzy calculus. Fuzzy Sets Syst. 18(1), 31–43 (1986).
Kaleva, O. Fuzzy differential equations. Fuzzy Sets Syst. 24(3), 301–317 (1987).
Abdeljawad, T., Al-Mdallal, Q. M. & Jarad, F. Fractional logistic models in the frame of fractional operators generated by conformable derivatives. Chaos Solitons Fractals 119, 94–101 (2019).
Buckley, J. J. & Feuring, T. Introduction to fuzzy partial differential equations. Fuzzy Sets Syst. 105, 241–248 (1999).
Allahviranloo, T. Difference methods for fuzzy partial differential equations. Comput. Methods Appl. Math. 2, 233–242 (2002).
Pownuk, A. Numerical solutions of fuzzy partial differential equations and applications in computattional mechanics. Stud. Fuzziness Soft Comput. 142, 308–347 (2004).
Adomian, G. & Rach, R. Inversion of nonlinear stochastic operators. J. Math. Anal. Appl. 91, 39–46 (1983).
Choi, H. W. & Shin, J. G. Symbolic implementation of the algorithm for calculating Adomian polynomials. Appl. Math. Comput. 146, 257–271 (2003).
Duan, J. S., Rach, R. & Lin, S. M. Analytic approximation of the blow-up time for nonlinear differential equations by the ADM-Padé technique. Math. Methods Appl. Sci. 36(13), 1790–804 (2013).
Az-Zo’bi, E. A., Khaled, K. A. & Darweesh, A. Numeric-analytic solutions for nonlinear oscillators via the modified multi-stage decomposition method. Mathematics 7, 550 (2019).
Az-Zo’bi, E. A. Construction of solutions for mixed hyperbolic elliptic Riemann initial value system of conservation laws. Appl. Math. Modell. 37, 6018–6024 (2013).
Z. Ullah, A. Ullah, K. Shah, D. Baleanu, Computation of semi-analytical solutions of fuzzy nonlinear integral equations Advances in Difference Equations. Adv. Diff. Eq. (2020) 1-11.
Osman, M., Xia, Y., Omer, O. A. & Hamoud, A. On the fuzzy solution of linear-nonlinear partial differential equations. Mathematics 10, 2295 (2022).
Fatoorehchi, H., Abolghasemi, H., Zarghami, R. & Rach, R. Feedback control strategies for a cerium-catalized Belousov-Zhabotinsky chemical reaction system. Can. J. Chem. Eng. 93, 1212–1221 (2015).
Duan, J. S. New ideas for decomposing nonlinearities in differential equations. Appl. Math. Comput. 218, 1774–1784 (2011).
Fatoorehchi, H., Abolghasemi, H. & Zarghami, R. Analytical approximate solutions for a general nonlinear resistor-nonlinear capacitor circuit model. Appl. Math. Modell. 39(19), 6021–31 (2015).
Khan, Z. H. & Khan, W. A. N-transform properties and application. Nust. J. Eng. Sci. 1, 127–133 (2008).
Shah, K., Junaid, M. & Ali, N. Extraction of laplace, Sumudu, Fourier and Mellin transform from the natural transform. J. Appl. Environ. Biol. Sci. 5(9), 1–8 (2015).
Georgieva, A. Application of double fuzzy natural transform for solving fuzzy partial equations. AIP Conf. Proc. 2333, 080006 (2021).
Georgieva, A. & Spasova, M. Solution of partial fuzzy integro-differential equations by double natural transform. AIP Conf. Proc. 2459, 030012 (2022).
Jamal, N., Sarwar, M. & Khashan, M. M. Hyers-Ulam stability and existence criteria for the solution of second-order fuzzy differential equations. J. Funct. Sp. 2021, 1–13 (2021).
Boztosun, I. & Charafi, A. An analysis of the linear advection-diffusion equation using mesh-free and mesh-dependent methods. Eng. Anal. Bound. Elem. 26, 889–895 (2002).
Mojtabi, A. & Deville, M. O. One-dimensional linear advection-diffusion equation: Analytical and finite element solutions. Comput. Fluids 107, 189–195 (2015).
Saelao, J. & Kamdee, K. Solving advection equation by using the natural decomposition method. AIP Conf. Proc. 2183, 090009 (2019).
Al-Refai, M. & Abdeljawad, T. Analysis of the fractional diffusion equations with fractional derivative of non-singular kernel. Adv. Differ. Equ. 2017, 1–12 (2017).
Zureigat, H., Tashtoush, M. A., Jassar, A. F. A., Az-Zo’bi, E. A. & Alomari, M. W. A solution of the complex fuzzy heat equation in terms of complex Dirichlet conditions using a modified Crank-Nicolson method. Adv. Math. Phy. (2023).
Pirzada, U. M. & Vakaskkar, D. C. Solution of fuzzy heat equations using Adomaim decomposition method. Int. J. Adv. Appl. Math. Mech. 3(1), 87–91 (2015).
Barkhordari Ahmadi, M. & Kiani, N. A. Solving two dimentional fuzzy partial differential equations by alternating direction implicit method. Int. J. Ind. Math. 2(1), 105–120 (2009).
Eltayeb, H. & Kiliçman, A. A note on solutions of wave, Laplace’s and heat equations with convolution terms by using a double Laplace transform. Appl. Math. Lett. 21(12), 1324–1329 (2008).
Allahviranloo, T. & Taheri, N. An analytic approximation to the solution of fuzzy heat equation by Adomian decomposition method. Int. J. Contemp. Math. Sci. 4(3), 105–114 (2009).
Richard, H. Elementary Applied Partial Differential Equations (Prentice Hall, 1983).
Allahviranloo, T., Gouyandeh, Z., Armand, A. & Hasanoglu, A. On fuzzy solutions for heat equation based on generalized Hukuhara differentia-bility. Fuzzy Sets Syst. 265, 1–23 (2015).
Arfan, M. et al. Numerical computations and theoretical investigations of a dynamical system with fractional order derivative. Alexandria Eng. J. 61(3), 1982–1994 (2022).
Bede, B. Mathematics of Fuzzy Sets and Fuzzy Logic (Springer, 2013).
Diamond, P. & Kloeden, P. Metric Spaces of Fuzzy Sets (World Scientific, 1994).
Bede, B. & Gal, S. G. Generalization of the differentiability of fuzzy-number-valued functions with applications to fuzzy differential equations. Fuzzy Sets Syst. 151, 581–599 (2005).
Bede, B., Rudas, I. J. & Bencsic, A. L. first order linear fuzzy partial differential equations under generalized differentiability. Inf. Sci. 177, 1648–1662 (2007).
Bahrami, F., Alikhani, R. & Khastan, A. Transport equation with fuzzy data. Iran. J. Fuzzy Syst. 15, 67–78 (2018).
Acknowledgements
The authors N.Mlaiki and A. ALoqaily would like to thank Prince Sultan University for paying the APC and for the support through the TAS research lab.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Competing interests
The authors declare no competing interests.
Additional information
Publisher's note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
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/.
About this article
Cite this article
Jamal, N., Sarwar, M., Agarwal, P. et al. Solutions of fuzzy advection-diffusion and heat equations by natural adomian decomposition method. Sci Rep 13, 18565 (2023). https://doi.org/10.1038/s41598-023-45207-y
Received:
Accepted:
Published:
DOI: https://doi.org/10.1038/s41598-023-45207-y
- Springer Nature Limited