Next Article in Journal
Water Detection in Satellite Images Based on Fractal Dimension
Previous Article in Journal
Inflation and Fractional Quantum Cosmology
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Novel Approaches for Solving Fuzzy Fractional Partial Differential Equations

College of Mathematics and Computer Science, Zhejiang Normal University, Jinhua 321004, China
*
Author to whom correspondence should be addressed.
Fractal Fract. 2022, 6(11), 656; https://doi.org/10.3390/fractalfract6110656
Submission received: 15 September 2022 / Revised: 16 October 2022 / Accepted: 17 October 2022 / Published: 7 November 2022
(This article belongs to the Section General Mathematics, Analysis)

Abstract

:
In this paper, we present a comparison of several important methods to solve fuzzy partial differential equations (PDEs). These methods include the fuzzy reduced differential transform method (RDTM), fuzzy Adomian decomposition method (ADM), fuzzy Homotopy perturbation method (HPM), and fuzzy Homotopy analysis method (HAM). A distinguishing practical feature of these techniques is administered without the need to use discretion or restricted assumptions. Moreover, we investigate the fuzzy ( n + 1 ) -dimensional fractional RDTM to obtain the solutions of fuzzy fractional PDEs. The much more distinctive element of this method is that it requires no predetermined assumptions, and reduces the computational effort. We apply the suggested techniques to a set of initial valued problems and get approximate numerical solutions for linear and nonlinear time-fractional PDEs. It is demonstrated that the fuzzy ( n + 1 ) -dimensional fractional RDTM is both accurate and simple to use. The methods are based on gH-differentiability and fuzzy fractional derivatives. Some illustrative numerical examples are given to demonstrate the effectiveness of our proposed methods. The results show that the methods are powerful mathematical tools for solving fuzzy partial differential equations.

1. Introduction

One of the most important areas of study in the fuzzy analysis is the differential and integral theory of fuzzy valued function, which is grounded in the idea of fuzzy number space. In particular, the fuzzy differential and integral equations, that are extensively used in engineering technology and social science, have piqued the interest of scholars from a variety of disciplines. The study of fuzzy differential equations is mostly based on the following three approaches; the first is based on the H-derivative and the generalized derivative of Bede. The second is considered under Zadeh’s extension principle. The third is predicated on differential inclusion theory and fuzzy differential equations theory. These three explanations are different from one another.
In this work, we consider the H-derivative and the generalized derivative of Bede. We summarize the contributions and novelty as follows:
We present the comparison for a fuzzy ( n + 1 ) -dimensional RDTM, ADM, VIM [1], and fuzzy HPM [2] demonstrates that even though the results of these approaches when implemented to the fuzzy wave-like and heat-like equations are the same. But, the fuzzy ( n + 1 ) -dimensional RDTM, like fuzzy HPM, does not require specific algorithms and complex calculations such as fuzzy ADM or construction of correction functionals using general Lagranges multipliers in the fuzzy variational iteration method. In particular, the fuzzy RDTM and HPM are simple to apply and represent two successful techniques to obtain the solution of fuzzy PDEs.
We investigated the comparison of fuzzy ( n + 1 ) -dimensional RDTM, ADM, HPM, and fuzzy HAM to obtain the solutions of fuzzy wave-like, heat-like and Zakharov-Kuznetsov equations. Although the results of these methods are the same when applied to problems. Moreover, the fuzzy ( n + 1 ) -dimensional RDTM, HPM, and HAM don’t require complex techniques and computations as fuzzy ADM. The results recall that the fuzzy RDTM, HPM, and HAM are easy to use for solving fuzzy partial differential equations.
We propose the solutions of fuzzy fractional wave-like, heat-like, and Zakharov-Kuznetsov equations using ( n + 1 ) -dimensional fuzzy fractional RDTM. The method is flexible and can solve problems without calculating complicated Adomian polynomials or making unrealistic assumptions about nonlinear behavior. The provided technique is thus an influential way of solving fuzzy fractional PDEs and fractional order problems in physics, engineering, and other areas.
Fuzzy analysis and fuzzy differential equations have been proposed to deal with uncertainty due to incomplete information that appears in several mathematical or computer models of certain deterministic real-world phenomena. This theory has developed a large number of applications in which fuzzy fractional differential equations and fractional differential equations have emerged as important topics. Stefanini and Bede [3] proposed the generalized Hukuhara differentiation of interval-valued functions and interval differential equations. Also, Bede and Stefanini [4] introduced the generalized differentiation of fuzzy-valued functions. Gomes and Barros [5] discussed the generalized difference and the generalized differentiability. Hong et al. [6] presented an exhaustive review of various modern fractional calculus applications.
The concept of the fuzzy-type Riemann-Liouville differentiability based on Hukuhara differentiability was introduced in [7,8] using the Hausdorff measure of non-compactness, the researchers presented some fuzzy integral equations using appropriate compression-type conditions. In literature various approaches and techniques, based on Hukuhara differentiability or generalized Hukuhara differentiability [4], can be studied for the references introduced in some of the works in the literature; see [9,10,11,12,13,14,15,16,17,18].
The fuzzy partial differential equations (FPDEs) have attracted great interest because of their practical applications in many fields such as physics, social science, and other areas of science and engineering. The FPDEs have been studied by many authors using different methods. Keshavarza et al. [19] presented the fuzzy solution to the mathematical model of a cancer tumor under Caputo-generalized Hukuhara partial differentiability by using fuzzy integral transforms. Keshavarz and Allahviranloo [20] studied the fuzzy fundamental triangular solution of the fractional diffusion equation under Caputo generalized Hukuhara partial differentiability by using the fuzzy Laplace transform and the fuzzy Fourier transform. Furthermore; see [1,21,22,23,24]. The authors [25,26] presented the various transport/diffusion problem and an overview of the corresponding numerical solution approaches.
The differential transform method (DTM) was originally discussed by Zhou [27] in 1986, this technique adopts an analytic solution in polynomial form, which is different from the traditional higher-order Taylor formula technique. After that, many researchers have proposed this method to solve many problems [19,24,28,29,30]. To overcome the demerits of complex computation of DTM, the RDTM was introduced by Keskin et al. [31,32] the method is based on reputable semi-analytical technique and can be applied to find approximate solutions of PDEs, also there are several significant implementations employing RDTM; see [32,33,34,35,36,37,38,39,40,41].
The Adomian decomposition method (ADM) is a well-known and effective approach for solving any type of problem. It is efficient not just for linear but also for nonlinear issues. This technique is famous for fast convergence and achieving the desired appropriate precision in just a few iterations. Several authors have already contributed their works via this technique; for example, see [1,24,42,43,44].
He [45,46,47] is considered as the pioneer of HPM by combining HAM [48,49] and the perturbation method [50]. This method has been used to solve a wide range of problems with forwarding. Kashkari et al. [51] studied dissipative nonplanar solitons in an electronegative complex plasma by using the HPM. The HPM is used to solve both linear and nonlinear higher-order boundary value problems numerically by Kanth and Aruna [52]. This method was used by Biazar et al. [53] to solve nonlinear systems of integro differential equations. Osman et al. [24] compared the fuzzy HPM and other techniques applied to solving the fuzzy ( 1 + n ) -dimensional Burgers equation. Xu [54] proposed a perturbational approach to construct analytical approximations based on the double-parameter transformation perturbation expansion method. Ahmad et al. [55] studied the nonlinear fractional order KdV and Burger equation with exponential-Decay Kernel using HPM.
The HAM [56,57] was introduced by Liao in 1992. HAM was further developed and improved by Liao in various subjects [58,59,60]. Several researchers have applied the HAM for solving differential equations. Saratha et al. [61] studied the notion of a fractional generalized integral transform under a modified Riemann-Liouville derivative with the Mittag-Leffler function as a kernel. Li et al. [62] presented the time-delay feedback control of a cantilever beam with concentrated mass based on the HAM. Naika et al. [48] studied the estimating an approximate analytical solution of the HIV viral dynamic model via HAM.
This paper is structured as follows. In Section 2, we recall some basic definitions. In Section 3, we applied the fuzzy ( n + 1 ) -dimensional RDTM, ADM, HPM, and fuzzy HAM to obtain the solutions of fuzzy partial differential equations. In Section 4, we present the solution of fuzzy fractional partial differential equations via fuzzy ( n + 1 ) -dimensional fractional RDTM. Finally, a conclusion is given in Section 5.

2. Preliminaries

In this paper, we will denote the set of fuzzy numbers by E 1 , that are, normal, fuzzy convex, upper semi-continuous and compactly supported fuzzy sets defined over the real line. For 0 < λ 1 , set [ u ] λ = { ϑ R | u ( ϑ ) λ } , and [ u ] 0 = c l { ϑ R | u ( ϑ ) > 0 } . We explain [ u ] σ = [ u ̲ σ , u ¯ σ ] , consequently if u E 1 , the σ -level set [ u ] σ is a closed interval for all σ [ 0 , 1 ] (see in [63,64]). Let u , v E 1 and k R , the addition and scalar multiplication are defined as
  • [ u + v ] σ = [ u ] σ + [ v ] σ ,
  • [ k u ] σ = k [ u ] σ .
The triangular fuzzy number defined as a fuzzy set in E 1 , determined by u = ( a , b , c ) R and a b c such that u ̲ σ = a + ( b a ) σ and u ¯ σ = c ( c b ) σ are the endpoints of σ -level sets for all σ [ 0 , 1 ] . A support of fuzzy number u is given as
sup p ( u ) = c l { ϑ R | u ( ϑ ) > 0 } ,
where c l is the closure of set { ϑ R | u ( ϑ ) > 0 } .
The Hausdorff distance D : E 1 × E 1 R + { 0 } between fuzzy numbers is defined as in [65]
D ( u , v ) = sup σ [ 0 , 1 ] d H [ u ] σ , [ v ] σ = sup σ [ 0 , 1 ] max | u ̲ σ v ̲ σ | , | u ¯ σ v ¯ σ | ,
where d H is the Hausdorff metric.
The metric space E 1 , D is complete, locally compact and the following properties from [65] for metric D are valid
  • D ( u w , v w ) = D ( u , v ) , u , v , w E 1 ,
  • D ( u v , w e ) D ( u , w ) + D ( v , e ) , u , v , w , e E 1 ,
  • D ( w ˜ v ˜ , 0 ˜ ) D ( w ˜ , 0 ˜ ) + D ( v ˜ , 0 ˜ ) , w ˜ , v ˜ E 1 ,
  • D ( k u , k v ) = | k | D ( u , v ) , u , v E 1 , k R ,
  • D ( k 1 u , k 2 u ) = | k 1 k 2 | D ( u , 0 ) , u E 1 , k 1 , k 2 R , with k 1 · k 2 0 ,
  • D ( u v , w e ) D ( u , w ) + D ( v , e ) , a s l o n g a s u v , a n d w e u , v , w , e E 1 ,
where ⊖ is the H-difference, it means that w v = u if and only if u v = w .
Definition 1 ([4,66]).
The gH-difference between two fuzzy numbers u , v E 1 is defined as
u g H v = e ( i ) u = v e , or ( i i ) v = u ( e ) .
In terms of σ levels, we get [ u g H v ] = [ min { w ̲ σ v ̲ σ , w ¯ σ v ¯ σ } , max { w ̲ σ v ̲ σ , w ¯ σ v ¯ σ } ] and if the H-difference exists, then u v = u g H v ; the conditions for the existence of e = u g H v E 1 are
C a s e ( i ) e ̲ σ = w ̲ σ v ̲ σ a n d e ¯ σ = w ¯ σ v ¯ σ , λ [ 0 , 1 ] , w i t h e ̲ σ i n c r e a s i n g , e ¯ σ d e c r e a s i n g , e ̲ σ e ¯ σ .
C a s e ( i i ) e ̲ σ = w ¯ σ v ¯ σ a n d e ¯ σ = w ̲ σ v ̲ σ , λ [ 0 , 1 ] , w i t h e ̲ σ i n c r e a s i n g , e ¯ σ d e c r e a s i n g , e ̲ σ e ¯ σ .
It is easy to show that (i) and (ii) are both valid if and only if e is a crisp number.
Proposition 1
([67]). Let u , v E 1 are two fuzzy numbers. Then
  • If the g H -difference exists, it is unique.
  • u g H v = u v or u g H v = ( v u ) whenever the statement on the right exists, especially, u g H u = u u = 0 .
  • If u g H v exists in sense (i), then v g H u exists in sense (ii) and vice versa.
  • ( u + v ) g H v = u .
  • 0 g H u g H v = v g H u .
  • u g H v = v g H u = k if and only if k = k ; moreover, k = 0 if and only if u = v .
Definition 2 ([4]).
Let f : [ a , b ] E 1 and ϑ 0 ( a , b ) , with f ̲ ( ϑ ; σ ) and f ¯ ( ϑ ; σ ) both differentiable at ϑ 0 , then
  • f is [ i g H ] -differentiable at ϑ 0 if
    f i g H ϑ 0 ; σ = f ̲ ϑ 0 ; σ , f ¯ ϑ 0 ; σ , 0 σ 1 ,
  • f is [ i i g H ] -differentiable at ϑ 0 if
    f i i g H ϑ 0 ; σ = f ¯ ϑ 0 ; σ , f ̲ ϑ 0 ; σ , 0 σ 1 .
Definition 3 ([3]).
We say that a point ϑ 0 ( a , b ) is a switching point for the differentiability of a function f if in any neighborhood V of ϑ 0 there exist points ϑ 1 < ϑ 0 < ϑ 2 such that
  • type I at ϑ 1 (4) holds while (5) does not hold and at ϑ 2 (5) holds and (4) does not hold, or
  • type II at ϑ 1 (5) holds while (4) does not hold and at ϑ 2 (4) holds and (5) does not hold.
Definition 4 ([63]).
Let f : [ a , b ] E 1 and f g H ( ϑ ) be gH-differentiable at ϑ 0 ( a , b ) and there is no switching point on ( a , b ) , with f ̲ ( ϑ ; σ ) and f ¯ ( ϑ ; σ ) are both differentiable at ϑ 0 . Then
  • f g H ( x ) is [ i g H ] -differentiable whenever the type of g H -differentiability f ( ϑ ) and f g H ( ϑ ) is the same:
    f i g H ϑ 0 ; σ = f ̲ ϑ 0 ; σ , f ¯ ϑ 0 ; σ , 0 σ 1 ,
  • f g H ( ϑ ) is [ i i g H ] -differentiable if the type of g H -differentiability f ( ϑ ) and f g H ( ϑ ) is different:
    f i i g H ϑ 0 ; σ = f ¯ ϑ 0 ; σ , f ̲ ϑ 0 ; σ , 0 σ 1 .
Definition 5 ([68]).
Let us suppose a function f : [ a , b ] E 1 be fuzzy Riemann integrable in I R F if for any ε > 0 there exists δ > 0 such that for any division P = { [ u , v ] ; ξ } with the norm Δ ( P ) < δ
D p * ( v u ) f ( ξ ) , I < ε ,
where p * denotes the fuzzy summation and I indicates a b f ( ϑ ) d x .
Definition 6 ([69]).
A fuzzy-number-valued function f : [ a , b ] E 1 is said to be continuous at t 0 [ a , b ] if for each ε > 0 there exist δ > 0 such that D f ( t ) , f t 0 < ε whenever t t 0 < δ . If f is continuous for each t [ a , b ] then we say that f is fuzzy continuous on [ a , b ] .
Definition 7 ([70]).
A fuzzy-number-valued function f : [ a , b ] E 1 is said to bounded iff there is M 0 such that D ( f ( t ) , 0 ) = f ( u ) M for all t [ a , b ] .
Definition 8 ([63]).
A fuzzy-valued function f ˜ of two variables is a rule that assigns to each ordered pair of real numbers, ( ϑ , t ) , in a set D a unique fuzzy number denoted by f ˜ ( ϑ , t ) . The set D is the domain of f ˜ and its range is the set of values taken by f ˜ , i.e., { f ˜ ( ϑ , t ) | ( ϑ , t ) D } .
The fuzzy-valued function f ˜ : D E 1 can also be expressed in the parametric representation as f ˜ ( ϑ , t ; σ ) = [ f ̲ ( ϑ , t ; σ ) , f ¯ ( ϑ , t ; σ ) ] , for all ( ϑ , t ) D and σ [ 0 , 1 ] .

3. Fuzzy Partial Differential Equations

In this section, we present the solution of fuzzy partial differential equations. We considered the following fuzzy ( n + 1 ) -dimensional reduced differential transform.

3.1. Fuzzy ( n + 1 ) -Dimensional Reduced Differential Transform

We propose the fuzzy ( n + 1 ) -dimensional reduced differential transform for solving fuzzy partial q-differential equations, the theory of ( n + 1 ) -dimensional RDTM with uncertainty represented by using fuzzy concepts is explained as follows.
Definition 9.
Let us consider X = ( ϑ 1 , ϑ 2 , , ϑ n ) be a vector of ( n + 1 ) -dimensional reduced differential transformed form of ϑ ς ( t ) = ( x 1 , x 2 , , x n ) , respectively, where ϑ ς ( t ) be differentiable of order l over time domain T, then
X ̲ ς ( l ; σ ) = l ϑ ̲ ς ( t ; σ ) t l t = 0 , l K = { 0 , 1 , 2 , 3 , . . . } , X ¯ ς ( l ; σ ) = l ϑ ¯ ς ( t ; σ ) t l t = 0 , l K = { 0 , 1 , 2 , 3 , . . . } ,
when ϑ ς ( t ) is (i)-differentiable and
X ̲ ς ( l ; σ ) = l ϑ ¯ ς ( t ; σ ) t l t = 0 , l i s   o d d , X ¯ ς ( l ; σ ) = l ϑ ̲ ς ( t ; σ ) t l t = 0 , l i s   o d d ,
and
X ̲ ς ( l ; σ ) = l ϑ ̲ ς ( t ; σ ) t l t = 0 , l i s   e v e n , X ¯ ς ( l ; σ ) = l ϑ ¯ ς ( t ; σ ) t l t = 0 , l i s   e v e n ,
when ϑ ς ( t ) is (ii)-differentiable.
Notice that X ̲ ς ( l ; σ ) and X ¯ ς ( l ; σ ) denote the lower and upper spectrum of ϑ ς ( t ) at t = 0 , respectively.
Thus, if ϑ ς ( t ) be (i)-differentiable, then ϑ ς ( t ) can be expressed as:
ϑ ̲ ς ( t ; σ ) = l = 0 X ̲ ( l ; σ ) t l l ! , l K , 0 σ 1 ,
ϑ ¯ ς ( t ; σ ) = l = 0 X ¯ ( l ; σ ) t l l ! , l K , 0 σ 1 ,
and if ϑ ς ( t ) be (ii)-differentiable, then ϑ ς ( t ) can be expressed as:
ϑ ̲ ς ( t ; σ ) = l = 1 , o d d X ¯ ( l ; σ ) t l l ! + l = 0 , e v e n X ̲ ( l ; σ ) t l l ! , 0 σ 1 ,
ϑ ¯ ς ( t ; σ ) = l = 1 , o d d X ̲ ( l ; σ ) t l l ! + l = 0 , e v e n X ¯ ( l ; σ ) t l l ! , 0 σ 1 .
The mentioned equations are known as the inverse transformation of X ( l ; σ ) , which can be defined as
X ̲ ( l ; σ ) = P ( l ) l ϑ ς ( t ; σ ) ̲ t l t = 0 , l K , X ¯ ( l ; σ ) = P ( l ) l ϑ ς ( t ; σ ) ¯ t l t = 0 , l K ,
when ϑ ς ( t ) is (i)-differentiable then, we have
X ̲ ( l ; σ ) = P ( l ) l ( ϑ ς ( t ; σ ) ) ¯ t l t = 0 , l i s   o d d , X ¯ ( l ; σ ) = P ( l ) l ( ϑ ς ( t ; σ ) ) ̲ t l t = 0 , l i s   o d d ,
and
X ̲ ( l ; σ ) = P ( l ) l ( ϑ ς ( t ; σ ) ) ̲ t l t = 0 , l i s   e v e n , X ¯ ( l ; σ ) = P ( l ) l ( ϑ ς ( t ; σ ) ) ¯ t l t = 0 , l i s   e v e n ,
when ϑ ς ( t ) is (ii)-differentiable, then, the function ϑ ς ( t ) can be expressed as:
ϑ ̲ ς ( t ; σ ) = l = 0 t l l ! X ̲ ( l ; σ ) P ( l ) , l K , 0 σ 1 ,
ϑ ¯ ς ( t ; σ ) = l = 0 t l l ! X ¯ ( l ; σ ) P ( l ) , l K , 0 σ 1 ,
when ϑ ς ( t ) are (i)-differentiable, and if ϑ ς ( t ) be (ii)-differentiable, we obtain
ϑ ̲ ς ( t ; σ ) = l = 1 , o d d t l l ! X ¯ ( l ; σ ) P ( l ) + l = 0 , e v e n t l l ! X ̲ ( l ; σ ) P ( l ) , 0 σ 1 ,
ϑ ¯ ς ( t ; σ ) = l = 1 , o d d t l l ! X ̲ ( l ; σ ) P ( l ) + l = 0 , e v e n t l l ! X ¯ ( l ; σ ) P ( l ) , 0 σ 1 ,
where P ( l ) > 0 , P ( l ) denoted the weighting factor. In this work P ( l ) = C l l ! is applied, where C is the time horizon on interest. Consequently, if ϑ ς ( t ) be (i)-differentiable, then
X ̲ ( l ; σ ) = C l l ! l ϑ ̲ ς ( t ; σ ) t l , l K , 0 σ 1 ,
X ¯ ( l ; σ ) = C l l ! l ϑ ¯ ς ( t ; σ ) t l , l K , 0 σ 1 ,
and if ϑ ς ( t ) be (ii)-differentiable, then
X ̲ ( l ; σ ) = C l l ! l ϑ ¯ ς ( t ; σ ) t l , l i s   o d d , 0 σ 1 , X ¯ ( l ; σ ) = C l l ! l ϑ ̲ ς ( t ; σ ) t l , l i s   o d d , 0 σ 1 ,
and
X ̲ ( l ; σ ) = C l l ! l ϑ ̲ ς ( t ; σ ) t l , l i s   e v e n , 0 σ 1 , X ¯ ( l ; σ ) = C l l ! l ϑ ¯ ς ( t ; σ ) t l , l i s   e v e n , 0 σ 1 .
Unitizing the fuzzy ( n + 1 ) -dimensional RDTM, the fuzzy PDEs in the particular domain is transformed into an algebraic equation in the domain K , and ϑ ς ( t ) is provided as the finite-term Taylor series plus a reminder as:
ϑ ̲ ς ( t ; σ ) = l = 0 n t l l ! X ̲ ( l ; σ ) P ( l ) + R n + 1 ( t ) = l = 0 n t C l X ̲ ( l ; σ ) P ( l ) + R n + 1 ( t ) , l K , 0 σ 1 ,
ϑ ¯ ς ( t ; σ ) = l = 0 n t l l ! X ¯ ( l ; σ ) P ( l ) + R n + 1 ( t ) = l = 0 n t C l X ¯ ( l ; σ ) P ( l ) + R n + 1 ( t ) , l K , 0 σ 1 ,
when ϑ ς ( t ) is (i)-differentiable and
ϑ ̲ ς ( t ; σ ) = l = 0 , o d d n t C l X ¯ ( l ; σ ) P ( l ) + R n + 1 ( t ) + l = 0 , e v e n t C l X ̲ ( l ; σ ) P ( l ) + R n + 1 ( t ) , 0 σ 1 ,
ϑ ¯ ς ( t ; σ ) = l = 0 , o d d t C l X ̲ ( l ; σ ) P ( l ) + R n + 1 ( t ) + l = 0 , e v e n t C l X ¯ ( l ; σ ) P ( l ) + R n + 1 ( t ) , 0 σ 1 ,
when ϑ ς ( t ) is (ii)-differentiable.
In this section, we present the solution of fuzzy PDEs at the equally spaced grid points [ t 0 , t 1 , , t n ] where t ς = a + ς l * for each ( ς = 0 , 1 , 2 , . . . n ) , and l * = b a n . That is, the domain of interest are proved to n is sub-domain, and the fuzzy approximation functions in each sub-domain are ϑ ς ( t ; σ ) for ς = 0 , 1 , 2 , , n 1 , respectively.
Taking the initial conditions, we obtain
X ̲ ( 0 ; σ ) = ϑ ̲ ς ( 0 ; σ ) , X ¯ ( 0 ; σ ) = ϑ ¯ ς ( 0 ; σ ) , 0 σ 1 .
In the first sub-domain, ϑ ̲ ς ( t ; σ ) and ϑ ¯ ς ( t ; σ ) can be described by ϑ ̲ ς ( 0 ; σ ) = ϑ ̲ ς , 0 ( σ ) and ϑ ¯ ς ( 0 ; σ ) = ϑ ¯ ς , 0 ( σ ) , respectively. They can be expressed in terms of their n-th order bivariate Taylor series with respect to t 0 = 0 . That is
ϑ ̲ ς ( t 0 ; σ ) = X ̲ 0 ( 0 ; σ ) + X ̲ 0 ( 1 ; σ ) t + X ̲ 0 ( 2 ; σ ) t 2 + + X ̲ 0 ( n ; σ ) t n ,
and
ϑ ¯ ς ( t 0 ; σ ) = X ¯ 0 ( 0 ; σ ) + X ¯ 0 ( 1 ; σ ) t + X ¯ 0 ( 2 ; σ ) t 2 + + X ¯ 0 ( n ; σ ) t n .
Additionally, using Taylor series for ϑ ς ( t ς ; λ ) , the solution on the grid points t ς + 1 can be expressed as:
ϑ ̲ ς ( t ς + 1 ; σ ) = X ̲ ς ( t ς + 1 ; σ ) = X ̲ ς ( 0 ; σ ) + X ̲ ς ( 1 ; σ ) ( t ς + 1 t ς ) + X ̲ ς ι ( 2 ; σ ) ( t ς + 1 t ς ) 2 + + X ̲ ς ( n ; σ ) ( t ς + 1 t ς ) n = i = 0 n X ̲ ς ( i ; σ ) h i ,
and
ϑ ¯ ς ( t ς + 1 ; σ ) = X ¯ ς ( t ς + 1 ; σ ) = X ¯ ς ( 0 ; σ ) + X ¯ ς ( 1 ; σ ) ( t ς + 1 t ς ) + X ¯ ς ι ( 2 ; σ ) ( t ς + 1 t ς ) 2 + + X ¯ ς ( n ; σ ) ( t ς + 1 t ς ) n = i = 0 n X ¯ ς ( i ; σ ) h i .

3.1.1. The Properties of Fuzzy ( N + 1 ) -Dimensional Reduced Differential Transform

We present some mathematical operations of fuzzy ( n + 1 ) -dimensional RDTM as following.
Proposition 2.
Let u ( X , t ) and v ( X , t ) are fuzzy-valued functions and their fuzzy ( n + 1 ) -dimensional reduced differential transformations denoted by U l ( X ) and V l ( X ) , respectively. Then
  • If f ( X , t ) = u ( X , t ) v ( X , t ) , then F l ( X ) = U l ( X ) V l ( X ) , l K
  • If f ( X , t ) = u ( X , t ) g H v ( X , t ) , then F l ( X ) = U l ( X ) g H V l ( X ) , l K
  • If f ( X , t ) = c u ( X , t ) , then F l ( X ) = c U l ( X ) , l K , where c is a constant.
provided the generalized Hukuhara difference (gH-difference) exists.
Proof. 
By using definition (9), the proof is obvious. □
Proposition 3.
Let us consider the fuzzy-valued function w E 1 and f ( X , t ) = w ( X , t ) t , then we can obtain F l ( X ) = ( l + 1 ) ! l ! W l + 1 ( X ) , l 1 where F l ( X ) and W l ( X ) are the fuzzy ( n + 1 ) -dimensional reduced differential transformations of fuzzy-valued functions f and w, respectively.
Proof. 
Using Definition (9), we obtain for 0 σ 1
F l ( X ; σ ) = 1 l ! l t l t w ̲ ( X , t ; σ ) ; t w ¯ ( X , t ; σ ) t = 0 = 1 l ! l + 1 t l + 1 w ̲ ( X , t ; σ ) ; l + 1 t l + 1 w ¯ ( X , t ; σ ) t = 0 = ( l + 1 ) 1 [ l + 1 ] ! l + 1 t l + 1 w ̲ ( X , t ; σ ) ; l + 1 t l + 1 w ¯ ( X , t ; σ ) t = 0 .
Using definition of fuzzy ( n + 1 ) -dimensional RDTM, we have
F l ( X ; σ ) = ( l + 1 ) ! l ! W l + 1 ( X ; σ ) , 0 σ 1 ,
the proof is completed. □
Lemma 1.
Suppose w E 1 and f ( X , t ) = w ( X , t ) ϑ ς , then we can obtain F l ( X ) = W l ( X ) ϑ ς , l 1 where F l ( X ) and W l ( X ) are the fuzzy ( n + 1 ) -dimensional reduced differential transformations of fuzzy-valued functions f and w, respectively.
Proof. 
Using definition (9), we can obtain the following equation for σ [ 0 , 1 ]
f ( X , t ; σ ) = w ( X , t ; σ ) ϑ ς = w ̲ ( X , t ; σ ) ϑ ς , w ¯ ( X , t ; σ ) ϑ ς .
Similarly, in view of definition (9) the fuzzy RDTM function can be written as:
F l ( X ; σ ) = 1 l ! l w ̲ ( X , t ; σ ) t l ; l w ¯ ( X , t ; σ ) t l t = 0 .
We achieve the result by differentiating the right side of the preceding equality with consideration to ϑ ς ,
F l ( X ; σ ) ϑ ς = 1 l ! l w ̲ ( X , t ; σ ) t l ; l w ¯ ( X , t ; σ ) t l t = 0 ϑ ς = 1 l ! l w ̲ ( X , t ; σ ) ϑ ς ; w ¯ ( X , t ; σ ) ϑ ς t l t = 0 = F l ( X ; σ ) 0 σ 1 ,
Hence, the proof is completed by achieving our desired result. □
Lemma 2.
Let us consider w E 1 and f ( X , t ) = 1 + + n + η w ( X , t ) ϑ 1 1 , , ϑ n n t η , then we have
F l ( X ) = l + η ! l ! 1 + + n W l + η ( X ) ϑ 1 1 , , ϑ n n , l n where F l ( X ) and W l ( X ) are the fuzzy ( n + 1 ) -dimensional reduced differential transformations of fuzzy-valued functions f and w, respectively.
Proof. 
Using definition (9), we obtain for 0 σ 1
f ( X , t ; σ ) = 1 + + n + η w ( X , t ; σ ) ϑ 1 1 , , ϑ n n t η = 1 + + n + η w ̲ ( X , t ; σ ) ϑ 1 1 , , ϑ n n t η , 1 + + n + η w ¯ ( X , t ; σ ) ϑ 1 1 , , ϑ n n t η ,
we have
F l ( X ; σ ) = 1 l ! l t l 1 + + n + η w ̲ ( X , t ; σ ) ϑ 1 1 , , ϑ n n t η , 1 + + n + η w ¯ ( X , t ; σ ) ϑ 1 1 , , ϑ n n t η | t = 0 .
From the calculus, one can obtain
F l ( X ; σ ) = 1 l ! 1 + + n ϑ 1 1 ϑ n n l + η w ̲ ( X , t ; σ ) t l + η , l + η w ¯ ( X , t ; σ ) t l + η | t = 0 .
Consequently, the fuzzy ( n + 1 ) -dimensional RDTM of fuzzy-valued function w ( X , t ; σ ) = [ w ̲ ( X , t ; σ ) , w ¯ ( X , t ; σ ) ] , as follows
F l + η ( X ; σ ) = 1 ( l + η ) ! l + η w ̲ ( X , t ; σ ) t l + η , l + η w ¯ ( X , t ; σ ) t l + η | t = 0 ,
thus, we get
F l ( X ; σ ) = ( l + η ) ! l ! 1 + + n W l + η ( X ; σ ) ϑ 1 1 , , ϑ n n , 0 σ 1 .
the proof is completed. □
Theorem 1.
Let W l ( X ) and G l ( X ) are the ( n + 1 ) -dimensional fuzzy RDTM of w ( X , t ) is a positive real-valued function and g ( X , t ) is a fuzzy-valued function. Also let us suppose that if f ( X , t ) = w ( X , t ) g ( X , t ) , then
F l ( X ; σ ) = = 0 l W ( X ) G l ( X ; σ ) , 0 σ 1 .
Proof. 
Using definition (9), we get
f ( X ; σ ) l = 0 n W l ( X ) t l l = 0 n G l ( X ; σ ) t l = W 0 ( X ) + W 1 ( X ) t + W 2 ( X ) t 2 + + W n ( X ) t n G 0 ( X ; σ ) + G 1 ( X ; σ ) t + G 2 ( X ; σ ) t 2 + + G n ( X ; σ ) t n = W 0 ( X ) G 0 ( X ; σ ) + W 0 ( X ) G 1 ( X ; σ ) + W 1 ( X ) G 0 ( X ; σ ) t + W 0 ( X ) G 2 ( X ; σ ) + W 1 ( X ) G 1 ( X ; σ ) + W 2 ( X ) G 0 ( X ; σ ) t 2 + + W 0 ( X ) G n ( X ; σ ) + W 1 ( X ) G n 1 ( X ; σ ) + + W n 1 ( X ) G 1 ( X ; σ ) + W n ( X ) G 0 ( X ; σ ) t n .
In general, we obtain
f ( X ; σ ) l = 0 n = 0 l W ( X ) G l ( X ; σ ) t l ,
and from the definition of ( n + 1 ) -dimensional RDTM, we obtain
F l ( X ; σ ) = = 0 l W ( X ) G l ( X ; σ ) , 0 σ 1 .
This completes our required proof. □
Lemma 3.
Assume that f E 1 , if f ( X , t ) = ϑ 1 ı 1 , ϑ 2 ı 2 , , ϑ n ı n t η , then F l ( X ) = ϑ 1 ı 1 , ϑ 2 ı 2 , , ϑ n ı n δ ( l η ) , where
δ ( l η ) = 1 , l = η , 0 , o t h e r w i s e ,
are the fuzzy ( n + 1 ) -dimensional reduced differential transformations of f.
Proof. 
From definition (9), for any σ [ 0 , 1 ] , we obtain
F l ( X ; σ ) = 1 l ! l f ̲ ( X , t ; σ ) t l , l f ¯ ( X , t ; σ ) t l t = 0 = 1 l ! ϑ 1 ı 1 , ϑ 2 ı 2 , , ϑ n ı n l t η t l t = 0 .
This means
  • If l < η or η < l , then F l ( X ; σ ) = 0 ˜ ,
  • If l = η , then F l ( X ; σ ) = ϑ 1 ı 1 , ϑ 2 ı 2 , , ϑ n ı n ,
the required proof is completed. □
Lemma 4.
Let g E 1 and f ( X , t ) = ϑ 1 ı 1 , ϑ 2 ı 2 , , ϑ n ı n t η g ( X , t ) , where η l , then F l ( X ) = ϑ 1 ı 1 , ϑ 2 ı 2 , , ϑ n ı n G l η ( X ) , are the fuzzy ( n + 1 ) -dimensional RDTM of fuzzy-valued functions f and g, respectively.
Proof. 
From Definition (9), for any σ [ 0 , 1 ] . Assume that w ( X , t ) = ϑ 1 ı 1 , ϑ 2 ı 2 , , ϑ n ı n t η , i.e., f ( X , t ) = w ( X , t ) g ( X , t ) . According to Theorem (1), the RDTM real-valued function of f ( X , t ) is
F ̲ l ( X ; σ ) = = 0 l W ( X ) · G ̲ l + ( X ; σ ) , 0 σ 1 , F ¯ l ( X ; σ ) = = 0 l W ( X ) · G ¯ l + ( X ; σ ) , 0 σ 1 .
Using Lemma (3), it follows
W ( X ) = ϑ 1 ı 1 , ϑ 2 ı 2 , , ϑ n ı n t η δ ( η ) .
Since η l , and using (35), we get
F l ( X ; σ ) = W η ( X ) · G l + η ( X ; σ ) = ϑ 1 ı 1 , ϑ 2 ı 2 , , ϑ n ı n G l η ( X ; σ ) , 0 σ 1 ,
the proof is completed. □
Theorem 2.
Let us consider the real-valued function w R and f ( X , t ) = w ( X ) · g ( X , t ) , then F l ( X ) = w ( X ) · G l ( X ) , where F l ( X ) and G l ( X ) are ( n + 1 ) -dimensional RDTM of real-valued functions f and g, respectively.
Proof. 
Using definition (9) for σ [ 0 , 1 ] , we obtain
F l ( X ; σ ) = 1 l ! l w ( X ) · g ̲ ( X , t ; σ ) t l , l w ( X ) · g ¯ ( X , t ; σ ) t l t = 0 = w ( X ) 1 l ! l g ̲ ( X , t ; σ ) t l , l g ¯ ( X , t ; σ ) t l t = 0 ,
thus, we obtain
F l ( X ; σ ) = w ( X ) · G l ( X ; σ ) , 0 σ 1 ,
which is our required result. □

3.1.2. Applications

In this section, we propose some examples in [1,2] to illustrate the applicability of the alternative approach of fuzzy ( n + 1 ) -dimensional RDTM to obtain the solutions of fuzzy heat-like and wave-like equations with variable coefficients.
Example 1.
We consider the following fuzzy ( 2 + 1 ) -dimensional heat-like equation [1,2]
w t = 1 2 θ 2 2 w ϑ 2 ϑ 2 2 w θ 2 , 0 < ϑ , θ < 1 , t > 0 ,
with the initial condition
w ( ϑ , θ , 0 ) = ( 1 + 2 σ ) n , ( 5 2 σ ) n g H θ 2 ,
where n = 1 , 2 , 3 ,
Applying the fuzzy reduced differential transform to (36), we get
( l + 1 ) W ̲ l + 1 ( σ ) = θ 2 2 2 W ̲ l ( σ ) ϑ 2 + ϑ 2 2 2 W ̲ l ( σ ) θ 2 , 0 σ 1 ,
( l + 1 ) W ¯ l + 1 ( σ ) = θ 2 2 2 W ¯ l ( σ ) ϑ 2 + ϑ 2 2 2 W ¯ l ( σ ) θ 2 , 0 σ 1 .
Similarly, applying fuzzy reduced differential transformation on the initial condition (37) to achieve
W 0 ( σ ) = ( 1 + 2 σ ) n , ( 5 2 σ ) n g H θ 2 .
Putting Equations (40) into (38), we obtain
w ̲ ( ϑ , θ , t ; σ ) = l = 0 W ̲ l t l = ( 1 + 2 σ ) n θ 2 1 + t 2 2 ! + t 4 4 ! + + ϑ 2 t + t 3 3 ! + t 5 5 ! +
and
w ¯ ( ϑ , θ , t ; σ ) = l = 0 W ¯ l t l = ( 5 2 σ ) n θ 2 1 + t 2 2 ! + t 4 4 ! + + ϑ 2 t + t 3 3 ! + t 5 5 ! +
thus, we can achieve the solution of w ( ϑ , θ , t ; σ ) as follows:
w ( ϑ , θ , t ; σ ) = ( 1 + 2 σ ) n , ( 5 2 σ ) n g H θ 2 cosh ( t ) + ϑ 2 sinh ( t ) , 0 σ 1 .
Example 2.
Consider the following fuzzy ( 3 + 1 ) -dimensional heat-like equation [1,2]
w t = Ψ ( ϑ , θ , ϕ ) 1 36 ϑ 2 2 w ϑ 2 θ 2 2 w θ 2 ϕ 2 2 w ϕ 2 , 0 < ϑ , θ , ϕ < 1 , t > 0 ,
subject to the initial condition
w ( ϑ , θ , ϕ , 0 ) = 0 ˜ ,
where
Ψ ( ϑ , θ , ϕ ; σ ) = ( 1 , 0 , 1 ) n ( ϑ θ ϕ ) 4 = ( σ 1 ) n , ( 1 σ ) n ( ϑ θ ϕ ) 4 , 0 σ 1 , n = 1 , 2 , 3 , , 0 ˜ E 1 .
Applying the fuzzy ( n + 1 ) -dimensional reduced differential transform on (41) to get
( l + 1 ) W ̲ l + 1 ( σ ) = ( σ 1 ) n ( ϑ θ ϕ ) 4 + 1 36 ϑ 2 2 w ̲ ϑ 2 + θ 2 2 w ̲ θ 2 + ϕ 2 2 w ̲ ϕ 2 ( σ ) , t > 0 ,
( l + 1 ) W ¯ l + 1 ( σ ) = ( 1 σ ) n ( ϑ θ ϕ ) 4 + 1 36 ϑ 2 2 w ¯ ϑ 2 + θ 2 2 w ¯ θ 2 + ϕ 2 2 w ¯ ϕ 2 ( σ ) , t > 0 .
Using the initial condition (42), we obtain
W ̲ 0 ( σ ) = 0 ˜ ,
W ¯ 0 ( σ ) = 0 ˜ .
Substituting (46) into (43), we obtain the series solution as
w ̲ ( ϑ , θ , ϕ , t ; σ ) = ( σ 1 ) n ( ϑ θ ϕ ) 4 t + t 2 2 ! + t 3 3 ! + t 4 4 ! + , w ¯ ( ϑ , θ , ϕ , t ; σ ) = ( 1 σ ) n ( ϑ θ ϕ ) 4 t + t 2 2 ! + t 3 3 ! + t 4 4 ! + ,
we can obtain the exact solution as:
w ( ϑ , θ , ϕ , t ; σ ) = ( σ 1 ) n , ( 1 σ ) n ( ϑ θ ϕ ) 4 exp ( t ) 1 , 0 σ 1 .
Example 3.
Consider the following fuzzy ( 2 + 1 ) -dimensional wave-like equation [1,2]
2 w t 2 = 1 12 ϑ 2 2 w ϑ 2 θ 2 2 w θ 2 , 0 < ϑ , θ < 1 , t > 0 ,
subject to the initial conditions
w ( ϑ , θ , 0 ) = ( 0.2 + 0.2 σ ) n , ( 0.6 0.2 σ ) n ϑ 4 , w t t = 0 = ( 0.2 + 0.2 σ ) n , ( 0.6 0.2 σ ) n θ 4 ,
where n = 1 , 2 , 3 ,
Using the fuzzy RDTM for (47), we get
( l + 1 ) ( l + 2 ) W ̲ l + 2 ( σ ) = 1 12 ϑ 2 2 W ̲ l ( λ ) ϑ 2 + θ 2 2 W ̲ l ( σ ) θ 2 ( σ ) , t > 0 ,
( l + 1 ) ( l + 2 ) W ¯ l + 2 ( σ ) = 1 12 ϑ 2 2 W ¯ l ( σ ) ϑ 2 + θ 2 2 W ¯ l ( σ ) θ 2 ( σ ) , t > 0 .
From initial conditions (48), we obtain
W ̲ 0 ( σ ) = ( 0.2 + 0.2 λ ) n ϑ 4 , W ̲ 1 ( σ ) = ( 0.2 + 0.2 λ ) n θ 4 ,
W ¯ 0 ( σ ) = ( 0.6 0.2 λ ) n ϑ 4 , W ¯ 1 ( σ ) = ( 0.6 0.2 λ ) n θ 4 .
Substituting (52) into (49), we get the series solution as:
w ̲ ( ϑ , θ , t ; σ ) = ( 0.2 + 0.2 σ ) n ϑ 4 1 + t 2 2 ! + t 4 4 ! + + θ 4 t + t 3 3 ! + t 5 5 ! + , w ¯ ( ϑ , θ , t ; σ ) = ( 0.6 0.2 σ ) n ϑ 4 1 + t 2 2 ! + t 4 4 ! + + θ 4 t + t 3 3 ! + t 5 5 ! + ,
We can obtain the exact solution as:
w ˜ ( ϑ , θ , t ; σ ) = ( 0.2 + 0.2 σ ) n , ( 0.6 0.2 σ ) n ϑ 4 cosh ( t ) + θ 4 sinh ( t ) , 0 σ 1 .
Example 4.
Consider the following fuzzy ( 3 + 1 ) -dimensional wave-like equation [1,2]
2 w t 2 = ϑ 2 + θ 2 + ϕ 2 1 2 ϑ 2 2 w ϑ 2 θ 2 2 w θ 2 ϕ 2 2 w ϕ 2 , 0 < ϑ , θ , ϕ < 1 , t > 0 ,
with the initial conditions
w ( ϑ , θ , ϕ , 0 ) = 0 ˜ , w t t = 0 = ( 0.5 σ ) n , ( 1 0.5 σ ) n ϑ 2 + θ 2 ϕ 2 ,
where n = 1 , 2 , 3 ,
Applying (53), we get
( l + 1 ) ( l + 2 ) W ̲ l + 2 ( σ ) = ϑ 2 + θ 2 + ϕ 2 + 1 2 ϑ 2 2 W ̲ l ϑ 2 + θ 2 2 W ̲ l θ 2 + ϕ 2 2 W ̲ l ϕ 2 , t > 0 ,
( l + 1 ) ( l + 2 ) W ¯ l + 2 ( σ ) = ϑ 2 + θ 2 + ϕ 2 + 1 2 ϑ 2 2 W ¯ l ϑ 2 + θ 2 2 W ¯ l θ 2 + ϕ 2 2 W ¯ l ϕ 2 , t > 0 .
Taking Equation (54) yields
W ̲ 0 ( σ ) = ( 0.5 σ ) n , W ̲ 1 ( σ ) = ( 0.5 σ ) n + ϑ 2 + θ 2 ϕ 2 ,
W ¯ 0 ( σ ) = ( 1 0.5 σ ) n , W ¯ 1 ( σ ) = ( 1 0.5 σ ) n + ϑ 2 + θ 2 ϕ 2 .
Using (58) into (55), we get the series solution as:
w ̲ ( ϑ , θ , t ; σ ) = ( 0.5 σ ) n + ( ϑ 2 + θ 2 ) 1 + t + t 2 2 ! + + ϕ 2 1 t + t 2 2 ! + ϑ 2 + θ 2 + ϕ 2 w ¯ ( ϑ , θ , t ; σ ) = ( 1 0.5 σ ) n + ( ϑ 2 θ 2 ) 1 + t + t 2 2 ! + + ϕ 2 1 t + t 2 2 ! + ϑ 2 + θ 2 + ϕ 2
We can find the exact solution as:
w ( ϑ , θ , t ; σ ) = ( 0.5 σ ) n , ( 1 0.5 σ ) n ϑ 2 + θ 2 exp ( t ) + ϕ 2 exp ( t ) ϑ 2 + θ 2 + ϕ 2 , 0 σ 1 .
When this method is compared to other methods in [1,2], it shows that when these methods are used to solve fuzzy heat-like and wave-like equations, they all lead to the same proposed solution. In addition, fuzzy ( n + 1 ) -dimensional RDTM like HPM doesn’t always involve specific algorithms and complex calculations like fuzzy ADM or the development of correction functionals utilizing general Lagranges multipliers in the fuzzy VIM. So, the fuzzy ( n + 1 ) -dimensional RDTM is a better way to solve fuzzy partial differential equations and is also simple and easy to use.

3.2. Fuzzy Zakharov-Kuznetsov Equations

In this part, we present the nonlinear fuzzy Zakharov-Kuznetsov equations as follows:
w t Υ 1 ( w m ) ϑ Υ 2 ( w n ) ϑ ϑ ϑ Υ 3 ( w l ) θ θ ϑ = 0 , m n l 0 , Υ 1 , Υ 2 , Υ 3 0 ,
subject to the initial condition
w ( ϑ , θ , t ) = f ( ϑ , θ , t ) ,
where Υ 1 , Υ 2 , Υ 3 are the arbitrary constants and m , n , l are integrals.

3.3. Fuzzy Adomian Decomposition Method

Consider the following formal nonlinear fuzzy differential equation as:
L w R w N w = 0 ,
where L is a linear differential operator, R denotes the linear operator’s remainder, and N w denotes the nonlinear terms. We can obtain (61) using the inverse operator L 1 on both sides
L 1 L w L 1 ( R w ) L 1 ( N w ) = 0 ,
Firstly, (59) can be represented as
L w = N w ,
where
L = t ,
and
N w = Υ 1 w m ϑ g H Υ 2 w n ϑ ϑ ϑ g H Υ 3 w l θ θ ϑ .
Suppose that L 1 and an integral operator defined by
L 1 ( · ) = 0 t ( · ) d t .
Using the integral operator L 1 on both sides of (59), we get
w ( ϑ , θ , t ; σ ) = w ( ϑ , θ , 0 ) ( σ ) g H L 1 Υ 1 w m ϑ Υ 2 w n ϑ ϑ ϑ Υ 3 w l θ θ ϑ .
The fuzzy decomposition method assumes a series solution for w ˜ ( ϑ , θ , t ; σ ) given by an infinite sum of components as:
w ( ϑ , θ , t ; σ ) = l = 0 w l ( ϑ , θ , t ; σ )
where w 0 , w 1 , w 2 , are obtained sequentially.
The nonlinear terms
F ( w ( ϑ , θ , t ; σ ) ) = ( w m ( ϑ , θ , t ; σ ) ) ϑ G ( w ( ϑ , θ , t ; σ ) ) = ( w n ( ϑ , θ , t ; σ ) ) ϑ ϑ ϑ H ( w ( ϑ , θ , t ; σ ) ) = ( w l ( ϑ , θ , t ; σ ) ) θ θ ϑ
are decomposed into three infinite polynomial series
F ( w ( ϑ , θ , t ; σ ) ) = ( w m ( ϑ , θ , t ; σ ) ) ϑ = l = 0 A l G ( w ( ϑ , θ , t ; σ ) ) = ( w n ( ϑ , θ , t ; σ ) ) ϑ ϑ ϑ = l = 0 B l H ( w ( ϑ , θ , t ; σ ) ) = ( w l ( ϑ , θ , t ; σ ) ) θ θ ϑ = l = 0 C l ,
where A l , B l , and C l are Adomian polynomials, which can be used to determine all types of nonlinearities using fuzzy Adomian’s techniques. The analytical formulae for Adomian polynomials are:
A l = 1 l ! d l d μ l F ς = 0 μ ς w ς ( ϑ , θ , t ; σ ) μ = 0 B l = 1 l ! d l d μ l G ς = 0 μ ς w ς ( ϑ , θ , t ; σ ) μ = 0 C l = 1 l ! d l d μ l H ς = 0 μ ς w ς ( ϑ , θ , t ; σ ) μ = 0 .
For the nonlinear operators (69), we provide the first few Adomian polynomials
A 0 = w 0 m ϑ A 1 = m w 1 w 0 m 1 ϑ
and
B 0 = w 0 n ϑ ϑ ϑ B 1 = n w 1 w 0 n 1 ϑ ϑ ϑ
and
C 0 = w 0 l θ θ ϑ C 1 = l w 1 w 0 l 1 θ θ ϑ .
Using (70) into (68), we obtain
l = 0 w l ( ϑ , θ , t ; σ ) = w ( ϑ , θ , 0 ) ( σ ) g H L 1 Υ 1 l = 0 A l Υ 2 l = 0 B l Υ 3 l = 0 C l .
We use the recursive relation to identifying the components w l ( ϑ , θ , t ) , l 0 , as
w 0 ( ϑ , θ , t ; σ ) = w ( ϑ , θ , 0 ) ( σ ) , w l + 1 ( ϑ , θ , t ; σ ) = L 1 Υ 1 A l Υ 2 B l Υ 3 C l , l 0 .
We assume that all of the components w ς ( ϑ , θ , t ; σ ) are calculated in light of (75) into (71) and
w ( ϑ , θ , t ; σ ) = ς = 0 w ς ( ϑ , θ , t ; σ ) .
Convergence analysis of the fuzzy ADM can be found in (Theorem 3.3, 24]).

3.4. The Fuzzy Homotopy Perturbation Method

We consider the following general nonlinear fuzzy differential equation
A ( w ) = f ˜ ( ) , Φ ,
under the boundary condition
B w , w = 0 , Φ ,
where B denotes the boundary operator, Φ denotes the boundary of the domain Φ , w ˜ ( ) denotes the analytical function, and A is a general differential operator. The fuzzy operator A ˜ can be broken into fuzzy linear L and nonlinear N parts. Hence, Equation (76) can be rewritten as:
L ( w ̲ ) ( σ ) + N ( w ̲ ) ( σ ) f ̲ ( ; σ ) = 0 ˜ ,
L ( w ¯ ) ( σ ) + N ( w ¯ ) ( σ ) f ¯ ( ; σ ) = 0 ˜ .
We generate a homotopy using the fuzzy homotopy technique:
v ˜ ( , ϱ ) : Φ × [ 0 , 1 ] R
which satisfies
H ( v ̲ ( σ ) , ϱ ) = ( 1 ϱ ) L ( v ̲ ) ( σ ) L w ̲ 0 ( σ ) + ϱ [ A ( v ) ̲ ( σ ) f ̲ ( ; σ ) ] = 0 ˜ , H ( v ¯ ( σ ) , ϱ ) = ( 1 ϱ ) L ( v ¯ ) ( σ ) L w ¯ 0 ( σ ) + ϱ [ A ( v ) ¯ ( σ ) f ¯ ( ; σ ) ] = 0 ˜ ,
where ϱ [ 0 , 1 ] denote the embedding parameter, and for w ˜ 0 ( ) denote the initial approximation to (76) which satisfies the boundary conditions. Clearly, from (80), we obtain
H ( v ̲ ( σ ) , 0 ) = [ L ( v ̲ ) ( σ ) L ( w ̲ 0 ( σ ) ) ] = 0 ˜ ,
H ( v ̲ ( σ ) , 1 ) = [ A ( v ) ̲ ( σ ) f ̲ ( ; σ ) ] = 0 ˜ ,
and
H ( v ¯ ( σ ) , 0 ) = [ L ( v ¯ ) ( σ ) L ( w ¯ 0 ( σ ) ) ] = 0 ˜ ,
H ( v ¯ ( σ ) , 1 ) = [ A ( v ) ¯ ( σ ) f ¯ ( ; σ ) ] = 0 ˜ ,
and the changing process of ϱ from zero to unity is just that v ˜ ( , ϱ ; σ ) from w 0 ( ; σ ) to w ( ; σ ) . Applying the Homotopy parameter ϱ as an extending parameter to obtain
v ̲ ( σ ) = n = 0 ϱ n v ̲ n ( σ ) ,
v ¯ ( σ ) = n = 0 ϱ n v ¯ n ( σ ) .
As a result of ϱ 1 , the approximate solution of (76) is given as
w ̲ ( σ ) = lim ϱ 1 v ̲ ( σ ) = n = 0 v ̲ n ( σ ) ,
w ¯ ( σ ) = lim ϱ 1 v ¯ ( σ ) = n = 0 v ¯ n ( σ ) .
Convergence analysis of the fuzzy HPM can be found in (Theorem 3.4, 24]).

3.5. The Fuzzy Homotopy Analysis Method

We consider the following fuzzy differential equation as:
N w ˜ ( , t ) = 0 ˜ ,
where 0 ˜ E 1 , N is a nonlinear operator, and t were independent variables, and w ( , t ; σ ) denote the unknown fuzzy-valued function, respectively. For simplicity, we disregard all boundary or initial conditions, that can be handled in a similar manner. Constructions for the so-called zero-order deformation equation are made possible through the generalization of the classical homotopy technique.
( 1 ϱ ) L φ ̲ ( , t , ϱ ; σ ) w ̲ 0 ( , t ; σ ) = p H ( , t ) N φ ̲ ( , t , ϱ ; σ ) ,
( 1 ϱ ) L φ ¯ ( , t , ϱ ; σ ) w ¯ 0 ( , t ; σ ) = p H ( , t ) N φ ¯ ( , t , ϱ ; σ ) ,
for σ [ 0 , 1 ] denotes the fuzzy number, ϱ [ 0 , 1 ] denotes the embedding parameter, 0 denotes a non-zero auxiliary parameter, H ( , t ) 0 denotes the non-zero auxiliary function, and L denotes the auxiliary linear operator with the follows:
L φ ̲ ( , t ; σ ) = 0 ˜ , φ ̲ ( , t ; σ ) = 0 ˜ ,
L φ ¯ ( , t ; σ ) = 0 ˜ , φ ¯ ( , t ; σ ) = 0 ˜ ,
w ˜ 0 ( , t ; σ ) shows an initial guess for w ˜ ( , t ; σ ) , and w ˜ ( , t , ϱ ; σ ) = [ w ̲ ( , t , ϱ ; σ ) , w ¯ ( , t , ϱ ; σ ) ] presents an unknown fuzzy-valued function. It the important to note that HAM provides a large amount of flexibility in choosing auxiliary items. Clearly, this is accurate for ϱ = 0 and ϱ = 1 ,
φ ̲ ( , t ; 0 ) ( σ ) = w ̲ 0 ( , t ; σ ) , φ ̲ ( , t ; 1 ) ( σ ) = w ̲ ( , t ; σ ) ,
φ ¯ ( , t ; 0 ) ( σ ) = w ¯ 0 ( , t ; σ ) , φ ¯ ( , t ; 1 ) ( σ ) = w ¯ ( , t ; σ ) ,
when the quantity ϱ increases from 0 to 1, the solution φ ˜ ( , t , ϱ ) , changes from the initial guesses, w ˜ 0 ( , t ; σ ) = [ w ̲ 0 ( , t ; σ ) , w ¯ 0 ( , t ; σ ) ] , to the solution, w ˜ ( , t ; σ ) = [ w ̲ ( , t ; σ ) , w ¯ ( , t ; σ ) ] . Taylor series can be extended with respect to ϱ :
φ ̲ ( , t , ϱ ; σ ) = w ̲ 0 ( , t ; σ ) + μ = 1 + w ̲ μ ( , t ; σ ) ϱ μ ,
φ ¯ ( , t , ϱ ; σ ) = w ¯ 0 ( , t ; σ ) + μ = 1 + w ¯ μ ( , t ; σ ) ϱ μ ,
where
w ̲ μ ( , t ; σ ) = 1 μ ! μ φ ̲ ( , t , ϱ ; σ ) ϱ μ | ϱ = 0 ,
w ¯ μ ( , t ; σ ) = 1 μ ! μ φ ¯ ( , t , ϱ ; σ ) ϱ μ | ϱ = 0 .
If such auxiliary linear operator, the initial approximation, the auxiliary parameter , and the auxiliary fuzzy-valued function are all appropriately determined, and the series (96) and (97) converges at ϱ = 1 . Then, we obtain the following result:
w ̲ μ ( , t ; σ ) = w ̲ 0 ( , t ; σ ) + μ = 1 + w ̲ μ ( , t ; σ ) ,
w ¯ μ ( , t ; σ ) = w ¯ 0 ( , t ; σ ) + μ = 1 + w ¯ μ ( , t ; σ ) .
As = 1 and H ( , t ; σ ) = 1 the expression (90) and (91) yields
( 1 ϱ ) L φ ̲ ( , t , ϱ ; σ ) w ̲ 0 ( , t ; σ ) + ϱ N φ ̲ ( , t , ϱ ; σ ) = 0 ˜ ,
( 1 ϱ ) L φ ¯ ( , t , ϱ ; σ ) w ¯ 0 ( , t ; σ ) + ϱ N φ ¯ ( , t , ϱ ; σ ) = 0 ˜ .
According to (98) and (99), the governing equation can be deduced from the zero-order deformation Equations (90) and (91). Define the vector
w ̲ n ( σ ) = w ̲ 0 ( , t , ϱ ; σ ) , w ̲ 1 ( , t , ϱ ; σ ) , w ̲ 2 ( , t , ϱ ; σ ) , w ̲ n ( , t , ϱ ; σ ) ,
w ¯ n ( σ ) = w ¯ 0 ( , t , ϱ ; σ ) , w ¯ 1 ( , t , ϱ ; σ ) , w ¯ 2 ( , t , ϱ ; σ ) , w ¯ n ( , t , ϱ ; σ ) .
The m t h order deformation equation is obtained by differentiating Equations (90) and (91) times with respect to parameter ϱ at ϱ = 0
L w ̲ μ ( , t ; σ ) χ μ w ̲ μ 1 ( , t ; σ ) = H ( , t ) R μ w ̲ μ 1 ( , t ; σ ) ,
L w ¯ μ ( , t ; σ ) χ μ w ¯ μ 1 ( , t ; σ ) = H ( , t ) R μ w ¯ μ 1 ( , t ; σ ) ,
where
R μ ( w ̲ μ 1 ( , t ; σ ) ) = 1 ( μ 1 ) ! μ 1 N [ φ ̲ ( , t , ϱ ; σ ) ] ϱ μ 1 | ϱ = 0
R μ ( w ¯ μ 1 ( , t ; σ ) ) = 1 ( μ 1 ) ! μ 1 N [ φ ¯ ( , t , ϱ ; σ ) ] ϱ μ 1 | ϱ = 0
and
χ μ = 0 , μ 1 , 1 , μ > 1 .

3.6. Applications

In this section, we present examples 5 and 6 to illustrate the discussed methods for effectiveness by solving Zakharov-Kuznetsov equations.
Example 5.
We consider the following fuzzy Z K ( 2 , 2 , 2 ) equation
w t ( w 2 ) ϑ 1 8 ( w 2 ) ϑ ϑ ϑ 1 8 ( w 2 ) θ θ ϑ = 0 ,
subject to the initial condition
w ( ϑ , θ , 0 ) = [ ( 2 + 0.4 σ ) n , ( 2.8 0.4 σ ) n ] 4 3 ρ sinh 2 ( ϑ + θ ) ,
where n = 1 , 2 , 3 , , for ρ is an arbitrary constant.
Case [A]. Fuzzy Adomian decomposition method.
Applying the fuzzy ADM to (111) and the initial condition (112), we have
w ̲ ( ϑ , θ , t ; σ ) = ( 2 + 0.4 σ ) n 4 3 ρ sinh 2 ( ϑ + θ ) L 1 ( w ̲ 2 ) ϑ + 1 8 ( w ̲ 2 ) ϑ ϑ ϑ + 1 8 ( w ̲ 2 ) θ θ θ ,
w ¯ ( ϑ , θ , t ; σ ) = ( 2.8 0.4 σ ) n 4 3 ρ sinh 2 ( ϑ + θ ) L 1 ( w ¯ 2 ) ϑ + 1 8 ( w ¯ 2 ) ϑ ϑ ϑ + 1 8 ( w ¯ 2 ) θ θ ϑ .
The decomposition series (68) is substituted for w ( ϑ , θ , t ; σ ) into (113) and (114) to produce
j = 0 w ̲ j ( ϑ , θ , t ; σ ) = ( 2 + 0.4 σ ) n 4 3 ρ sinh 2 ( ϑ + θ )
L 1 j = 0 A ̲ j + 1 8 j = 0 B ̲ j + 1 8 j = 0 C ̲ j , j = 0 w ¯ j ( ϑ , θ , t ; σ ) = ( 2.8 0.4 σ ) n 4 3 ρ sinh 2 ( ϑ + θ ) ,
L 1 j = 0 A ¯ j + 1 8 j = 0 B ¯ j + 1 8 j = 0 C ¯ j .
The nonlinear terms ( w 2 ) ϑ , ( w 2 ) ϑ ϑ ϑ and ( w 2 ) θ θ ϑ , are represented by Adomian polynomials A l , B l and C l , respectively. We can derive the recursive relation from (115) as:
w ̲ 0 ( ϑ , θ , t ; σ ) = ( 2 + 0.4 σ ) n 4 3 ρ sinh 2 ( ϑ + θ ) w ̲ 1 ( ϑ , θ , t ; σ ) = L 1 A ̲ 0 + 1 8 B ̲ 0 + 1 8 C ̲ 0 w ̲ j + 1 ( ϑ , θ , t ; σ ) = L 1 A ̲ j + 1 8 B ̲ j + 1 8 C ̲ j , j 1 .
We assume m = n = j = 2 in (73) into (71) to get Adomian polynomials A j , B j and C j , we have
A ̲ 0 = w ̲ 0 2 ϑ , A ̲ 1 = 2 w ̲ 1 w ̲ 0 ϑ , A ̲ 2 = 2 w ̲ 2 w ̲ 0 + w ̲ 1 2 ϑ , , B ̲ 0 = w ̲ 0 2 ϑ ϑ ϑ , B ̲ 1 = 2 w ̲ 1 w ̲ 0 ϑ ϑ ϑ , B ̲ 2 = 2 w ̲ 2 w ̲ 0 + w ̲ 1 2 ϑ ϑ ϑ , , C ̲ 0 = w ̲ 0 2 θ θ ϑ , C ̲ 1 = 2 w ̲ 1 w ̲ 0 θ θ ϑ , C ̲ 2 = 2 w ̲ 2 w ̲ 0 + w ̲ 1 2 θ θ ϑ , ,
Substituting (118) into (117), we obtain
w ̲ 0 ( ϑ , θ , t ; σ ) = ( 2 + 0.4 σ ) n 4 3 ρ sinh 2 ( ϑ + θ ) w ̲ 1 ( ϑ , θ , t ; σ ) = ( 2 + 0.4 σ ) n 8 3 ρ 2 t cosh ( ϑ + θ ) sinh ( ϑ + θ ) w ̲ 2 ( ϑ , θ , t ; σ ) = ( 2 + 0.4 σ ) n 4 3 ρ 3 t 2 cosh 2 ( ϑ + θ ) + sinh 2 ( ϑ + θ ) w ̲ 3 ( ϑ , θ , t ; σ ) = ( 2 + 0.4 σ ) n 16 9 ρ 4 t 3 cosh ( ϑ + θ ) sinh ( ϑ + θ ) .
The solution in a series form as
w ̲ ( ϑ , θ , t ; σ ) = ( 2 + 0.4 σ ) n 4 3 ρ sinh 2 ( ϑ + θ ) 8 3 ρ 2 t cosh ( ϑ + θ ) sinh ( ϑ + θ ) + 4 3 ρ 3 t 2 cosh 2 ( ϑ + θ ) + sinh 2 ( ϑ + θ ) 16 9 ρ 4 t 3 cosh ( ϑ + θ ) sinh ( ϑ + θ ) + · · · .
Similarly, the series solution of w ¯ ( ϑ , θ , t ; σ ) on the Formula (116) can be determined as follows:
w ¯ ( ϑ , θ , t ; σ ) = ( 2.8 0.4 σ ) n 4 3 ρ sinh 2 ( ϑ + θ ) 8 3 ρ 2 t cosh ( ϑ + θ ) sinh ( ϑ + θ ) + 4 3 ρ 3 t 2 cosh 2 ( ϑ + θ ) + sinh 2 ( ϑ + θ ) 16 9 ρ 4 t 3 cosh ( ϑ + θ ) sinh ( ϑ + θ ) + · · · .
Thus, we have obtained the exact solution w ( ϑ , θ , t ; σ ) of (111) as
w ( ϑ , θ , t ; σ ) = [ ( 2 + 0.4 σ ) n , ( 2.8 0.4 σ ) n ] 4 3 ρ sinh 2 ( ϑ + θ ρ t ) , 0 σ 1 .
Case [B]. Fuzzy Homotopy perturbation method.
Applying the fuzzy HPM, we construct a homotopy as follows
H ̲ ( v , p ; σ ) = ( 1 p ) v ̲ t w ̲ 0 t + p v ̲ t + v ̲ 2 ϑ + 1 8 3 v ̲ 2 ϑ 3 + 1 8 ϑ 2 v ̲ 2 θ 2 = 0 ˜ ,
H ¯ ( v , p ; σ ) = ( 1 p ) v ¯ t w ¯ 0 t + p v ¯ t + v ¯ 2 ϑ + 1 8 3 v ¯ 2 ϑ 3 + 1 8 ϑ 2 v ¯ 2 θ 2 = 0 ˜ ,
We consider the initial approximation that satisfies the initial condition
w ( ϑ , θ , 0 ) = [ ( 2 + 0.4 σ ) n , ( 2.8 0.4 σ ) n ] 4 3 ρ sinh 2 ( ϑ + θ ) .
Substituting (85) and (86), with (122), and equating the terms of identical powers of p is
p 0 : v ̲ 0 t = w ̲ 0 t , v ̲ 0 ( ϑ , θ , 0 ) ( σ ) = ( 2 + 0.4 σ ) n 4 3 ρ sinh 2 ( ϑ + θ ) p 1 : v ̲ 1 t = t w ̲ 0 ϑ v ̲ 0 2 1 8 3 ϑ 3 v ̲ 0 2 1 8 ϑ 2 θ 2 v ̲ 0 2 , v ̲ 1 ( ϑ , θ , 0 ) ( σ ) = 0 , p 2 : v ̲ 2 t = 2 ϑ v 0 v 1 1 4 3 ϑ 3 v 0 v ̲ 1 1 4 ϑ 2 θ 2 v ̲ 0 v ̲ 1 , v ̲ 2 ( ϑ , θ , 0 ) ( σ ) = 0 , .
The solution of successively calculating (125) gives
v ̲ 0 ( ϑ , θ , t ; σ ) = ( 2 + 0.4 σ ) n 4 3 ρ sinh 2 ( ϑ + θ ) v ̲ 1 ( ϑ , θ , t ; σ ) = ( 2 + 0.4 σ ) n 224 9 ρ 2 sinh 3 ( ϑ + θ ) cosh ( ϑ + θ ) t 32 3 ρ 2 sinh ( ϑ + θ ) cosh 3 ( ϑ + θ ) t v ̲ 2 ( ϑ , θ , t ; σ ) = ( 2 + 0.4 σ ) n 64 27 ρ 3 1200 cosh 6 ( ϑ + θ ) 2080 cosh 4 ( ϑ + θ ) + 968 cosh 2 ( ϑ + θ ) 79 t 2 .
Consequently, the solution to (111) for p 1 , as follows:
v ̲ ( ϑ , θ , t ; σ ) = ( 2 + 0.4 σ ) n 4 3 ρ sinh 2 ( ϑ + θ ) 224 9 ρ 2 sinh 3 ( ϑ + θ ) cosh ( ϑ + θ ) t 32 3 ρ 2 sinh ( ϑ + θ ) cosh 3 ( ϑ + θ ) t + 64 27 ρ 3 1200 cosh 6 ( ϑ + θ ) 2080 cosh 4 ( ϑ + θ ) + 968 cosh 2 ( ϑ + θ ) 79 t 2 .
Similarly, we can obtain the series solution of v ¯ ( ϑ , θ , t ; σ ) for Equation (123) as follows:
v ¯ ( ϑ , θ , t ; σ ) = ( 2.8 0.4 σ ) n 4 3 ρ sinh 2 ( ϑ + θ ) 224 9 ρ 2 sinh 3 ( ϑ + θ ) cosh ( ϑ + θ ) t 32 3 ρ 2 sinh ( ϑ + θ ) cosh 3 ( ϑ + θ ) t + 64 27 ρ 3 1200 cosh 6 ( ϑ + θ ) 2080 cosh 4 ( ϑ + θ ) + 968 cosh 2 ( ϑ + θ ) 79 t 2 .
Thus, we have obtained the exact solution w ( ϑ , θ , t ; σ ) of (111) as
w ( ϑ , θ , t ; σ ) = [ ( 2 + 0.4 σ ) n , ( 2.8 0.4 σ ) n ] 4 3 ρ sinh 2 ( ϑ + θ ρ t ) , 0 σ 1 .
Case [C]. Fuzzy Homotopy analysis method
Using the linear operator to determine the exact solution of (111) as
L [ ( ϑ , θ , t , q ) ] = ( ϑ , ϑ , t , q ) t
with the property
L [ c 1 + c 2 ] = 0 ,
where c 1 and c 2 are integral constants. The inverse operator L 1 is given by
L 1 ( · ) = 0 t ( · ) d t ,
from (111), we define the nonlinear operator as
N [ ( ϑ , θ , t , q ) ] = ( ϑ , θ , t , q ) t + ( ( ϑ , θ , t , q ) 2 ) ϑ + 1 8 ( ( ϑ , θ , t , q ) ) ϑ ϑ ϑ 2 + 1 8 ( ( ϑ , θ , t , q ) ) θ θ ϑ 2 .
Using above definition, we construct the zeroth-order deformation equation:
( 1 q ) L [ ψ ̲ ( ϑ , θ , t , q ; σ ) w ̲ 0 ( ϑ , θ , t ; σ ) ] = q H ( ϑ , θ , t ) [ ψ ̲ ( ϑ , θ , t , q ; σ ) ] ,
( 1 q ) L [ ψ ¯ ( ϑ , θ , t , q ; σ ) w ¯ 0 ( ϑ , θ , t ; σ ) ] = q H ( ϑ , θ , t ) [ ψ ¯ ( ϑ , θ , t , q ; σ ) ] ,
where ℏ is an auxiliary parameter.
Obviously
ψ ̲ ( ϑ , θ , t , 0 ) ( σ ) = w ̲ 0 ( ϑ , θ , t ; σ ) , ψ ̲ ( ϑ , θ , t , 1 ) ( σ ) = w ̲ ( ϑ , θ , t ; σ ) ,
ψ ¯ ( ϑ , θ , t , 0 ) ( σ ) = w ¯ 0 ( ϑ , θ , t ; σ ) , ψ ¯ ( ϑ , θ , t , 1 ) ( σ ) = w ¯ ( ϑ , θ , t ; σ ) ,
thus we get the m t h order deformation:
L w ̲ m ( ϑ , θ , t , q ; σ ) χ m w ̲ m 1 ( ϑ , θ , t , q ; σ ) = H ( ϑ , θ , t ) R m ( w ̲ m 1 ( ϑ , θ , t , q ; σ ) ) , m 1 ,
L w ¯ m ( ϑ , θ , t , q ; σ ) χ m w ¯ m 1 ( ϑ , θ , t , q ; σ ) = H ( ϑ , θ , t ) R m ( w ¯ m 1 ( ϑ , θ , t , q ; σ ) ) , m 1 ,
where
w ̲ m 1 ( ϑ , θ , t , q ; σ ) = w ̲ 0 ( t ) , w ̲ 1 ( t ) , , w ̲ n ( t ) ,
w ¯ m 1 ( ϑ , θ , t , q ; σ ) = w ¯ 0 ( t ) , w ¯ 1 ( t ) , , w ¯ n ( t ) ,
and
R ( w ̲ m 1 ( ϑ , θ , t , q ; σ ) ) = w ̲ m 1 ( t ; σ ) + = 0 m 1 ( w ̲ ) ϑ ( w ̲ m 1 ) ϑ
+ 1 8 = 0 m 1 ( w ̲ ) ϑ ϑ ϑ ( w ̲ m 1 ) ϑ ϑ ϑ + 1 8 = 0 m 1 ( w ̲ ) θ θ ϑ ( w ̲ m 1 ) θ θ ϑ , R ( w ¯ m 1 ( ϑ , θ , t , q ; σ ) ) = w ¯ m 1 ( t ; σ ) + = 0 m 1 ( w ¯ ) ϑ ( w ¯ m 1 ) ϑ
+ 1 8 = 0 m 1 ( w ¯ ) ϑ ϑ ϑ ( w ¯ m 1 ) ϑ ϑ ϑ + 1 8 = 0 m 1 ( w ¯ ) θ θ ϑ ( w ¯ m 1 ) θ θ ϑ ,
thus the solution of m t h order deformation (139) for m 1 becomes
w ̲ m ( ϑ , θ , t ; σ ) = χ m w ̲ m 1 ( ϑ , θ , t ; σ ) + H ( ϑ , θ , t ) L 1 R m ( w ̲ m 1 ( ϑ , θ , t ; σ ) ) .
We choose the initial step w 0 ( ϑ , θ , t ; σ ) = [ ( 2 + 0.4 σ ) n , ( 2.8 0.4 σ ) n ] 4 3 ρ sinh 2 ( ϑ + θ ) which makes boundary condition (111). First, we consider the solution of (111) with the boundary condition
w ̲ 0 ( ϑ , θ , t ; σ ) = ( 2 + 0.4 σ ) n 4 3 ρ sinh 2 ( ϑ + θ ) .
Now, we have
w ̲ 1 ( ϑ , θ , t ; σ ) = ( 2 + 0.4 σ ) n 80 9 ρ 2 sinh 2 2 ( ϑ + θ ) t w ̲ 2 ( ϑ , θ , t ; σ ) = ( 2 + 0.4 σ ) n 10880 27 ρ 3 sinh 2 ( ϑ + θ ) sinh 4 ( ϑ + θ ) t 2 .
Next, we can achieve the series solutions as
w ̲ ( ϑ , θ , t ; σ ) = ( 2 + 0.4 σ ) n 4 3 ρ sinh 2 ( ϑ + θ ) 80 9 ρ 2 sinh 2 2 ( ϑ + θ ) t + 10880 27 ρ 3 sinh 2 ( ϑ + θ ) sinh 4 ( ϑ + θ ) t 2 + .
Similarly, the series solution of w ¯ ( ϑ , θ , t ; σ ) on the Formula (140) can be calculated as follows:
w ¯ ( ϑ , θ , t ; σ ) = ( 2.8 0.4 σ ) n 4 3 ρ sinh 2 ( ϑ + θ ) 80 9 ρ 2 sinh 2 2 ( ϑ + θ ) t + 10880 27 ρ 3 sinh 2 ( ϑ + θ ) sinh 4 ( ϑ + θ ) t 2 + .
Thus, we have obtained the exact solution w ( ϑ , θ , t ; σ ) of (111) as
w ( ϑ , θ , t ; σ ) = [ ( 2 + 0.4 σ ) n , ( 2.8 0.4 σ ) n ] 4 3 ρ sinh 2 ( ϑ + θ ρ t ) , 0 σ 1 .
Example 6.
We consider the Zakharov-Kuznetsov ( Z K ( 3 , 3 , 3 ) ) equation
w t ( w 3 ) ϑ 2 ( w 3 ) ϑ ϑ ϑ 2 ( w 3 ) θ θ ϑ = 0 ,
subject to the initial condition
w ( ϑ , θ , 0 ) = [ ( 3.1 + 0.3 σ ) n , ( 3.8 0.4 σ ) n ] 3 2 ρ sinh 1 6 ( ϑ + θ ) ,
where n = 1 , 2 , 3 , , for ρ is an arbitrary constant.
Case [A]. Fuzzy reduced differential transform method
Applying the fuzzy RDTM to (146) with the initial condition (147), we get
( l + 1 ) W ̲ l + 1 ( σ ) + = 0 l s = 0 W ̲ l W ̲ s W ̲ s ( σ ) ϑ + 2 3 = 0 l s = 0 W ̲ l W ̲ s W ̲ s ( σ ) ϑ 3 + 2 3 = 0 l s = 0 W ̲ l W ̲ s W ̲ s ( σ ) θ 2 ϑ = 0 W ̲ 0 ( σ ) = ( 3.1 + 0.3 σ ) n 3 2 ρ sinh 1 6 ( ϑ + θ ) ,
and
( l + 1 ) W ¯ l + 1 ( σ ) + = 0 l s = 0 W ¯ l W ¯ s W ¯ s ( σ ) ϑ + 2 3 = 0 l s = 0 W ¯ l W ¯ s W ¯ s ( σ ) ϑ 3 + 2 3 = 0 l s = 0 W ¯ l W ¯ s W ¯ s ( σ ) θ 2 ϑ = 0 W ¯ 0 ( σ ) = ( 3.8 0.4 σ ) n 3 2 ρ sinh 1 6 ( ϑ + θ ) .
Utilizing (147) allows for iteratively obtaining the values of W j with fewer and simpler computations. Consequently, the ( n + 1 ) -term numerical solution of (145) can be expressed as follows:
w ̲ n * ( ϑ , θ , t ; σ ) = j = 0 n W ̲ j t j ,
and the analytical solution is
w ̲ ( ϑ , θ , t ; σ ) = lim n w ̲ n * ( ϑ , θ , t ; σ ) = j = 0 n W ̲ j t j .
Particularly, the 4-term numerical solution of (145) can be obtained as:
w ̲ 3 * ( ϑ , θ , t ; σ ) = j = 0 3 W ̲ j t j ( σ ) = ( 3.1 + 0.3 σ ) n 1 4096 ρ 6144 ρ 2 t sinh ϑ + θ 6 13824 cosh 3 ϑ + θ 6 + 12288 ρ 2 t cosh ϑ + θ 6 + 146880 ρ 4 t 2 sinh ϑ + θ 6 cosh 4 ϑ + θ 6 139968 ρ 4 t 2 sinh ϑ + θ 6 cosh 2 ϑ + θ 6 + 17472 ρ 4 t 2 sinh ϑ + θ 6 + 6116688 ρ 6 t 3 cosh 5 ϑ + θ 6 3010896 ρ 6 t 3 cosh 7 ϑ + θ 6 3751488 ρ 6 t 3 cosh 3 ϑ + θ 6 + 637616 ρ 9 t 3 cosh ϑ + θ 6 .
Similarly, we can represent the series solution of w ¯ ( ϑ , θ , t ; σ ) in Equation (148) as:
w ¯ 3 * ( ϑ , θ , t ; σ ) = j = 0 3 W ¯ j t j ( σ ) = ( 3.8 0.4 σ ) n 1 4096 ρ 6144 ρ 2 t sinh ϑ + θ 6 13824 cosh 3 ϑ + θ 6 + 12288 ρ 2 t cosh ϑ + θ 6 + 146880 ρ 4 t 2 sinh ϑ + θ 6 cosh 4 ϑ + θ 6 139968 ρ 4 t 2 sinh ϑ + θ 6 cosh 2 ϑ + θ 6 + 17472 ρ 4 t 2 sinh ϑ + θ 6 + 6116688 ρ 6 t 3 cosh 5 ϑ + θ 6 3010896 ρ 6 t 3 cosh 7 ϑ + θ 6 3751488 ρ 6 t 3 cosh 3 ϑ + θ 6 + 637616 ρ 9 t 3 cosh ϑ + θ 6 .
Using Taylor series into (150) and (151), we obtained the closed form solution
w ( ϑ , θ , t ; σ ) = [ ( 3.1 + 0.3 σ ) n , ( 3.8 0.4 σ ) n ] 3 2 ρ sinh 1 6 ( ϑ + θ ρ t ) , 0 σ 1 .
Case [B]. Fuzzy Adomian decomposition method
Applying to (146) and the initial condition (147), we have
w ̲ ( ϑ , θ , t ; σ ) = ( 3.1 + 0.3 σ ) n 3 2 ρ sinh 1 6 ( ϑ + θ ) L 1 w ̲ 3 ϑ + 2 w ̲ 3 ϑ ϑ ϑ + 2 w ̲ 3 θ θ ϑ ( σ ) ,
w ¯ ( ϑ , θ , t ; σ ) = ( 3.8 0.4 σ ) n 3 2 ρ sinh 1 6 ( ϑ + θ ) L 1 w ¯ 3 ϑ + 2 w ¯ 3 ϑ ϑ ϑ + 2 w ¯ 3 θ θ ϑ ( σ ) .
From the decomposition series for w ˜ ( ϑ , θ , t ; σ ) , with (152) and (153), we get
j = 0 w ̲ j ( ϑ , θ , t ; σ ) = ( 3.1 + 0.3 σ ) n 3 2 ρ sinh 1 6 ( ϑ + θ )
L 1 j = 0 A ̲ j ( σ ) + 2 j = 0 B ̲ j ( σ ) + 2 j = 0 C ̲ j ( σ ) , j = 0 w ¯ j ( ϑ , θ , t ; σ ) = ( 3.8 0.4 σ ) n 3 2 ρ sinh 1 6 ( ϑ + θ )
L 1 j = 0 A ¯ j ( σ ) + 2 j = 0 B ¯ j ( σ ) + 2 j = 0 C ¯ j ( σ ) .
The nonlinear terms ( w 2 ) ϑ , ( w 2 ) ϑ ϑ ϑ and ( w 2 ) θ θ ϑ , are represented by Adomian polynomials A j , B j and C j , respectively. We can derive the recursive relation from (154) as follows
w ̲ 0 ( ϑ , θ , t ; σ ) = ( 3.1 + 0.3 σ ) n 3 2 ρ sinh 1 6 ( ϑ + θ ) w ̲ 1 ( ϑ , θ , t ; σ ) = L 1 A ̲ 0 + 2 B ̲ 0 + 2 C ̲ 0 ( σ ) , w ̲ j + 1 ( ϑ , θ , t ; σ ) = L 1 A ̲ j + 2 B ̲ j + 2 C ̲ j ( σ ) , j 1 .
Assume m = n = j = 2 and substitute (73) into (71) to get Adomian polynomials A j , B j and C j , as follows
A ̲ 0 ( σ ) = w ̲ 0 3 ϑ , A ̲ 1 ( σ ) = 3 w ̲ 1 w ̲ 0 2 ϑ , A ̲ 2 ( σ ) = 3 w ̲ 2 w ̲ 0 2 + 3 w ̲ 0 w 1 2 ϑ , , B ̲ 0 ( σ ) = w ̲ 0 3 ϑ ϑ ϑ , B ̲ 1 ( σ ) = 3 w ̲ 1 w ̲ 0 2 ϑ ϑ ϑ , B ̲ 2 ( σ ) = 3 w ̲ 2 w ̲ 0 2 + 3 w ̲ 0 w 1 2 ϑ ϑ ϑ , , C ̲ 0 ( σ ) = w ̲ 0 3 θ θ ϑ , C ̲ 1 ( σ ) = 3 w ̲ 1 w ̲ 0 2 θ θ ϑ , C ̲ 2 ( σ ) = 3 w ̲ 2 w ̲ 0 2 + 3 w ̲ 0 w 1 2 θ θ ϑ ,
Substituting (157) into (156) gives
w ̲ 0 ( ϑ , θ , t ; σ ) = ( 3.1 + 0.3 σ ) n 3 2 ρ sinh ϑ + θ 6 w ̲ 1 ( ϑ , θ , t ; σ ) = ( 3.1 + 0.3 σ ) n 1 4 ρ 2 t cosh ϑ + θ 6 w ̲ 2 ( ϑ , θ , t ; σ ) = ( 3.1 + 0.3 σ ) n 1 48 ρ 3 t 2 sinh ϑ + θ 6 w ̲ 3 ( ϑ , θ , t ; σ ) = ( 3.1 + 0.3 σ ) n 1 864 ρ 4 t 3 cosh ϑ + θ 6 .
Next, we can get the series solutions
w ¯ ( ϑ , θ , t ; σ ) = ( 3.1 + 0.3 σ ) n 3 2 ρ sinh ϑ + θ 6 1 4 ρ 2 t cosh ϑ + θ 6 + 1 48 ρ 3 t 2 sinh ϑ + θ 6 1 864 ρ 4 t 3 cosh ϑ + θ 6 + .
Similarly, the series solution of w ¯ ( ϑ , θ , t ; σ ) on Formula (155) can be derived as follows:
w ¯ ( ϑ , θ , t ; σ ) = ( 3.8 0.4 σ ) n 3 2 ρ sinh ϑ + θ 6 1 4 ρ 2 t cosh ϑ + θ 6 + 1 48 ρ 3 t 2 sinh ϑ + θ 6 1 864 ρ 4 t 3 cosh ϑ + θ 6 + .
According to Taylor series into (158), we obtain
w ( ϑ , θ , t ; σ ) = [ ( 3.1 + 0.3 σ ) n , ( 3.8 0.4 σ ) n ] 3 2 ρ sinh 1 6 ( ϑ + θ ρ t ) , 0 σ 1 .
Case [C]. Fuzzy Homotopy perturbation method
Taking the fuzzy HPM to (145), we get
H ( v ̲ ( σ ) , p ) = ( 1 p ) v ̲ ( σ ) t w ̲ 0 ( σ ) t + p v ̲ ( σ ) t + ϑ v ̲ 3 ( σ ) + 2 3 ϑ 3 v ̲ 3 ( σ ) + 2 ϑ 2 θ 2 v ̲ 3 ( σ ) = 0 ˜ ,
H ( v ¯ ( σ ) , p ) = ( 1 p ) v ¯ ( σ ) t w ¯ 0 ( σ ) t + p v ¯ ( σ ) t + ϑ v ¯ 3 ( σ ) + 2 3 ϑ 3 v ¯ 3 ( σ ) + 2 ϑ 2 θ 2 v ¯ 3 ( σ ) = 0 ˜ .
Consider the initial approximation that satisfies the initial condition
w ( ϑ , θ , 0 ) ( σ ) = [ ( 3.1 + 0.3 σ ) n , ( 3.8 0.4 σ ) n ] 3 2 ρ sinh 1 6 ( ϑ + θ ) .
Substituting (85) and (86) into Equations (161) and (162) and equating the terms with identical powers of p, we have
p 0 : v ̲ 0 ( σ ) t = w ̲ 0 ( σ ) t , v ̲ 0 ( ϑ , θ , 0 ) ( σ ) = ( 3.1 + 0.3 σ ) n 3 2 ρ sinh 1 6 ( ϑ + θ ) p 1 : v ̲ 1 ( σ ) t = ϑ v ̲ 0 3 ( σ ) 2 3 ϑ 3 v ̲ 0 3 ( σ ) 2 ϑ 2 θ 2 v ̲ 0 3 ( σ ) , v ̲ 1 ( ϑ , θ , 0 ) ( σ ) = 0 ˜ p 2 : v ̲ 2 ( σ ) t = 3 ϑ v ̲ 0 2 v ̲ 1 ( σ ) 6 3 ϑ 3 v ̲ 0 2 v ̲ 1 ( σ ) 6 ϑ 2 θ 2 v ̲ 0 2 v ̲ 1 ( σ ) , v ̲ 2 ( ϑ , θ , 0 ) ( σ ) = 0 ˜ ,
and
p 0 : v ¯ 0 ( σ ) t = w ¯ 0 ( σ ) t , v ¯ 0 ( ϑ , θ , 0 ) ( σ ) = ( 3.8 0.4 σ ) n 3 2 ρ sinh 1 6 ( ϑ + θ ) p 1 : v ¯ 1 ( σ ) t = ϑ v ¯ 0 3 ( σ ) 2 3 ϑ 3 v ¯ 0 3 ( σ ) 2 ϑ 2 θ 2 v ¯ 0 3 ( σ ) , v ¯ 1 ( ϑ , θ , 0 ) ( σ ) = 0 ˜ p 2 : v ¯ 2 ( σ ) t = 3 ϑ v ¯ 0 2 v ¯ 1 ( σ ) 6 3 ϑ 3 v ¯ 0 2 v ¯ 1 ( σ ) 6 ϑ 2 θ 2 v ¯ 0 2 v ¯ 1 ( σ ) , v ¯ 2 ( ϑ , θ , 0 ) ( σ ) = 0 ˜ .
Successive solution of (163) yields
v ̲ 0 ( ϑ , θ , t ; σ ) = ( 3.1 + 0.3 σ ) n 3 2 ρ sinh 1 6 ( ϑ + θ ) , v ̲ 1 ( ϑ , θ , t ; σ ) = ( 3.1 + 0.3 σ ) n 3 ρ 3 sinh 2 1 6 ( ϑ + θ ) cosh 1 6 [ ( ϑ + θ ) ] t 3 8 ρ 3 cosh 3 1 6 ( ϑ + θ ) t , v ̲ 2 ( ϑ , θ , t ; σ ) = ( 3.1 + 0.3 σ ) n × 9 128 t ρ 3 135 t ρ 2 sinh 1 6 ( ϑ + θ ) cosh 4 1 6 ( ϑ + θ ) 153 t ρ 2 sinh 1 6 ( ϑ + θ ) cosh 2 1 6 ( ϑ + θ ) + 24 t ρ 2 sinh 1 6 ( ϑ + θ ) 72 cosh 3 1 6 ( ϑ + θ ) + 56 cosh 1 6 ( ϑ + θ ) , .
Consequently, the solution of (145) when p 1 , yields
v ̲ ( ϑ , θ , t ; σ ) = ( 3.1 + 0.3 σ ) n 3 2 ρ sinh 1 6 ( ϑ + θ ) 3 ρ 3 sinh 2 1 6 ( ϑ + θ ) cosh 1 6 ( ϑ + θ ) t 3 8 ρ 3 cosh 3 1 6 ( ϑ + θ ) t + 9 128 t ρ 3 135 t ρ 2 sinh 1 6 ( ϑ + θ ) cosh 4 1 6 ( ϑ + θ ) 153 t ρ 2 sinh 1 6 ( ϑ + θ ) cosh 2 1 6 ( ϑ + θ ) + 24 t ρ 2 sinh 1 6 ( ϑ + θ ) 72 cosh 3 1 6 ( ϑ + θ ) + 56 cosh 1 6 ( ϑ + θ ) .
Similarly, the series solution of v ¯ ( ϑ , θ , t ; σ ) on equation (164) can be obtained as:
v ¯ ( ϑ , θ , t ; σ ) = ( 3.8 0.4 σ ) n 3 2 ρ sinh 1 6 ( ϑ + θ ) 3 ρ 3 sinh 2 1 6 ( ϑ + θ ) cosh 1 6 ( ϑ + θ ) t 3 8 ρ 3 cosh 3 1 6 ( ϑ + θ ) t + 9 128 t ρ 3 135 t ρ 2 sinh 1 6 ( ϑ + θ ) cosh 4 1 6 ( ϑ + θ ) 153 t ρ 2 sinh 1 6 ( ϑ + θ ) cosh 2 1 6 ( ϑ + θ ) + 24 t ρ 2 sinh 1 6 ( ϑ + θ ) 72 cosh 3 1 6 ( ϑ + θ ) + 56 cosh 1 6 ( ϑ + θ ) .
Thus, we obtained the closed form solution as:
w ( ϑ , θ , t ; σ ) = [ ( 3.1 + 0.3 σ ) n , ( 3.8 0.4 σ ) n ] 3 2 ρ sinh 1 6 ( ϑ + θ ρ t ) , 0 σ 1 .
Case [D]. Fuzzy Homotopy analysis method
To analyze the exact solution of (145), we use the linear operator
L [ ( ϑ , θ , t , q ) ] = ( ϑ , θ , t , q ) t ,
with the property
L [ c 1 + t c 2 ] = 0 ,
where c 1 and c 2 are integral constants. The expression for the inverse operator L 1 is defined by
L 1 ( · ) = 0 t ( · ) d t ,
depending on (145), we derive the nonlinear operator as
N [ ( ϑ , θ , t , q ) ] = ( ϑ , θ , t , q ) t ( ( ϑ , θ , t , q ) 3 ) ϑ 2 ( ( ϑ , θ , t , q ) 3 ) ϑ ϑ ϑ 2 ( ( ϑ , θ , t , q ) 3 ) θ θ ϑ .
To use the preceding formulation, we develop the zeroth-order deformation equation:
( 1 q ) L [ ψ ̲ ( ϑ , θ , t , q ; σ ) w ̲ 0 ( ϑ , θ , t ; σ ) ] = q H ( ϑ , θ , t ) [ ψ ̲ ( ϑ , θ , t , q ; σ ) ] ,
( 1 q ) L [ ψ ¯ ( ϑ , θ , t , q ; σ ) w ¯ 0 ( ϑ , θ , t ; σ ) ] = q H ( ϑ , θ , t ) [ ψ ¯ ( ϑ , θ , t , q ; σ ) ] ,
Clearly, we have
ψ ̲ ( ϑ , θ , t , 0 ) ( σ ) = w ̲ 0 ( ϑ , θ , t ; σ ) , ψ ̲ ( ϑ , θ , t , 1 ) ( σ ) = w ̲ ( ϑ , θ , t ; σ ) ,
ψ ¯ ( ϑ , θ , t , 0 ) ( σ ) = w ¯ 0 ( ϑ , θ , t ; σ ) , ψ ¯ ( ϑ , θ , t , 1 ) ( σ ) = w ¯ ( ϑ , θ , t ; σ ) .
Consequently, we obtain the m-th order deformation:
L w ̲ m ( ϑ , θ , t , q ; σ ) N m w ̲ m 1 ( ϑ , θ , t , q ; σ ) = H ( ϑ , θ , t ) R m ( w ̲ m 1 ( ϑ , θ , t , q ; σ ) ) , m 1 ,
L w ¯ m ( ϑ , θ , t , q ; σ ) N m w ¯ m 1 ( ϑ , θ , t , q ; σ ) = H ( ϑ , θ , t ) R m ( w ¯ m 1 ( ϑ , θ , t , q ; σ ) ) , m 1 ,
where
w ̲ m 1 ( ϑ , θ , t , q ; σ ) = w ̲ 0 ( t ) , w ̲ 1 ( t ) , , w ̲ n ( t ) ,
w ¯ m 1 ( ϑ , θ , t , q ; σ ) = w ¯ 0 ( t ) , w ¯ 1 ( t ) , , w ¯ n ( t ) ,
with
R w ̲ m 1 ( ϑ , θ , t , q ; σ ) = w ̲ m 1 ( ϑ , θ , t , q ; σ ) + j = 0 m 1 j = 0 w ̲ ϑ w ̲ j ϑ w ̲ m 1 ϑ ( σ ) + 2 j = 0 m 1 j = 0 w ̲ ϑ ϑ ϑ w ̲ j ϑ ϑ ϑ w ̲ m 1 ϑ ϑ ϑ ( σ ) + 2 j = 0 m 1 j = 0 w ̲ θ θ ϑ w ̲ j θ θ ϑ w ̲ m 1 θ θ ϑ ( σ ) ,
and
R w ¯ m 1 ( ϑ , θ , t , q ; σ ) = w ¯ m 1 ( ϑ , θ , t , q ; σ ) + j = 0 m 1 j = 0 w ¯ c ϑ w ¯ j ϑ w ¯ m 1 ϑ ( σ ) + 2 j = 0 m 1 j = 0 w ¯ ϑ ϑ ϑ w ¯ j ϑ ϑ ϑ w ¯ m 1 ϑ ϑ ϑ ( σ ) + 2 j = 0 m 1 j = 0 w ¯ θ θ ϑ w ¯ j θ θ ϑ w ¯ m 1 θ θ ϑ ( σ ) .
Consequently, the solution of m t h order deformation (178) for m 1 , yields
w ̲ m ( ϑ , θ , t ; σ ) = χ m w ̲ m 1 ( ϑ , θ , t ; σ ) + H ( ϑ , θ , t ) L 1 R m w ̲ m 1 ( ϑ , θ , t ; σ ) ,
we choose the initial step w 0 ( ϑ , θ , t ; σ ) = [ ( 3.1 + 0.3 σ ) n , ( 3.8 0.4 σ ) n ] 3 2 ρ sinh 1 6 ( ϑ + θ ) this causes a specific boundary condition to (145). First, we investigate the solution to (145) with the boundary condition:
w 0 ( ϑ , θ , t ; σ ) = [ ( 3.1 + 0.3 σ ) n , ( 3.8 0.4 σ ) n ] 3 2 ρ sinh 1 6 ( ϑ + θ ) .
Putting (181) into (180), we obtain
w ̲ 1 ( ϑ , θ , t ; σ ) = ( 3.1 + 0.3 σ ) n 0.01562547116 ρ 3 cosh 3 1 6 ( ϑ + θ ) t w ̲ 2 ( ϑ , θ , t ; σ ) = ( 3.1 + 0.3 σ ) n ρ 5 0.07812735578 sinh 1 6 ( ϑ + θ ) cosh 4 1 6 ( ϑ + θ ) + 0.1259803612 sinh 3 1 6 ( ϑ + θ ) cosh 2 1 6 ( ϑ + θ ) + 0.002929775842 sinh 5 1 6 ( ϑ + θ ) t 2 2 ! .
Next, we can obtain the series solutions as
w ̲ 1 ( ϑ , θ , t ; σ ) = ( 3.1 + 0.3 σ ) n 3 2 ρ sinh 1 6 ( ϑ + θ ) 0.01562547116 ρ 3 cosh 3 1 6 ( ϑ + θ ) t + ρ 5 0.07812735578 sinh 1 6 ( ϑ + θ ) cosh 4 1 6 ( ϑ + θ ) + 0.1259803612 sinh 3 1 6 ( ϑ + θ ) cosh 2 1 6 ( ϑ + θ ) + 0.002929775842 sinh 5 1 6 ( ϑ + θ ) t 2 2 ! .
Similarly, we can achieve the series solution of w ¯ ( ϑ , θ , t ; σ ) on (179) as:
w ¯ 1 ( ϑ , θ , t ; σ ) = ( 3.8 0.4 σ ) n 3 2 ρ sinh 1 6 ( ϑ + θ ) 0.01562547116 ρ 3 cosh 3 1 6 ( ϑ + θ ) t + ρ 5 0.07812735578 sinh 1 6 ( ϑ + θ ) cosh 4 1 6 ( ϑ + θ ) + 0.1259803612 sinh 3 1 6 ( ϑ + θ ) cosh 2 1 6 ( ϑ + θ ) + 0.002929775842 sinh 5 1 6 ( ϑ + θ ) t 2 2 ! .
Thus, we obtained the closed form solution as follows:
w ( ϑ , θ , t ; σ ) = [ ( 3.1 + 0.3 σ ) n , ( 3.8 0.4 σ ) n ] 3 2 ρ sinh 1 6 ( ϑ + θ ρ t ) , 0 σ 1 .
The experience of applying ADM, as well as results reported in the literature, indicate that ADM may generate divergent sequences when the time moment is large, so the issue of convergence of the ADM for large t is, in general, rather delicate. In this work, we also get that the solution of example 5 for ADM shows convergence till time t = 414 but for t > 414 , the solutions tend to infinity and show divergence. Similarly, in example 6, we also get a convergent solution for ADM till t = 4354.
In Figure 1, we plotted 2 D and 3 D graphs of the Z K ( 2 , 2 , 2 ) equation. Figure 1a shows that for ϑ = 30 , θ = 45 and ρ = 1 using n = 1 at t = 0.001 the Z K ( 2 , 2 , 2 ) equation is bounded and closed. Furthermore, the blue + sign shows increasing functions and red * presents decreasing functions on the σ -level set of w in example 5. To discuss the concept of the σ -level set, one can see Figure 2a, which shows that the σ -level set of ZK(2,2,2) equation is bounded and closed for ϑ = 30 and 0 < θ 2 π . Similarly, in Figure 2, we can observe the same explanation of σ -level set closedness and boundedness for example 6.

4. Fuzzy Fractional Partial Differential Equations

In this section, we present the solution of fuzzy fractional partial differential equations via fuzzy ( n + 1 ) -dimensional fractional RDTM.

4.1. Fuzzy Fractional Calculus

We regard to C F [ a , b ] as the space of all continuous fuzzy-valued functions on [ a , b ] . Also, we denote the space of all Lebesgue integrable fuzzy-valued functions on the bounded interval [ a , b ] R by L F [ a , b ] , refs. [71].
Definition 10 ([71]).
Let f ( ϑ ) C F [ a , b ] L F [ a , b ] . The fuzzy Riemann-Liouville integral of fuzzy function f is defined as:
I a + α f ( ϑ ) = 1 Γ ( α ) a ϑ f ( t ) d t ( ϑ t ) 1 α , ϑ > a , 0 < α 1 .
Assume that the σ-level expression of a fuzzy-valued function f as f ( ϑ ; σ ) = [ f ̲ ( ϑ ; σ ) , f ¯ ( ϑ ; σ ) ] , for 0 σ 1 .
Definition 11 ([71]).
Let f ( ϑ ) C F [ a , b ] L F [ a , b ] , then the fuzzy Riemann-Liouville integral of fuzzy-valued function f is defined as:
( I a + α f ) ( ϑ ; σ ) = [ ( I a + α f ̲ ) ( ϑ ; σ ) , ( I a + α f ¯ ) ( ϑ ; σ ) ] ,
where 0 σ 1 and
( I a + α f ̲ ) ( ϑ ; σ ) = 1 Γ ( α ) a ϑ f ̲ ( t ; σ ) d t ( ϑ t ) 1 α , 0 σ 1 , ( I a + α f ¯ ) ( ϑ ; σ ) = 1 Γ ( α ) a ϑ f ¯ ( t ; σ ) d t ( ϑ t ) 1 α , 0 σ 1 .
Definition 12 ([28,71]).
Let f ˜ C 1 [ a , b ] be fuzzy-valued function and 0 < α 1 . Then f ˜ is said to be Caputo’s gH-differentiable at ϑ when
C D a α f ˜ ( ϑ ; σ ) = 1 Γ ( 1 α ) ϑ 0 ϑ ( ϑ t ) α f ˜ ( t ; σ ) d t .
Note that later we indicate C D 0 α f ˜ ( t ; σ ) using C D α f ˜ ( t ; σ ) .
Theorem 3
([28]). Let f ˜ C F [ a , b ] L F [ a , b ] , ϑ 0 ( a , b ) and 0 < α 1 . Then
(i)
if f ˜ is (i)-differentiable fuzzy-valued function, then
i C D ϑ 0 α f ( ϑ ; σ ) = C D ϑ 0 α f ̲ ( ϑ ; σ ) , C D ϑ 0 α f ¯ ( ϑ ; σ ) , 0 σ 1 ,
(ii)
if f ˜ is (ii)-differentiable fuzzy-valued function, then
i i C D ϑ 0 α f ( ϑ ; σ ) = C D ϑ 0 α f ¯ ( ϑ ; σ ) , C D ϑ 0 α f ̲ ( ϑ ; σ ) , 0 σ 1 .

4.2. Fuzzy ( N + 1 ) -Dimensional Fractional Reduced Differential Transform

We consider the theory of fuzzy ( n + 1 ) -dimensional fractional RDTM, at which uncertainty can be expressed by fuzzy concepts.
Definition 13.
Let us consider X = ( ϑ 1 , ϑ 2 , , ϑ n ) be a vector of fuzzy ( n + 1 ) -dimensional fractional reduced differential transformed form of ϑ ς ( t ) = ( x 1 , x 2 , , x n ) , respectively, where ϑ ς ( t ) be differentiable of order α l over time domain T, then
X ̲ ς ( l ; σ ) = α l ϑ ̲ ς ( t ; σ ) t α l t = 0 , α l K = { 0 , 1 , 2 , 3 , . . . } , X ¯ ς ( l ; σ ) = α l ϑ ¯ ς ( t ; σ ) t α l t = 0 , α l K = { 0 , 1 , 2 , 3 , . . . } ,
when x ( t ) is (i)-differentiable with
X ̲ ς ( l ; σ ) = α l ϑ ¯ ς ( t ; σ ) t α l t = 0 , α l i s   o d d , X ¯ ς ( l ; σ ) = α l ϑ ̲ ς ( t ; σ ) t α l t = 0 , α l i s   o d d ,
and
X ̲ ς ( l ; σ ) = α l ϑ ̲ ς ( t ; σ ) t α l t = 0 , α l i s   e v e n , X ¯ ς ( l ; σ ) = α l ϑ ¯ ς ( t ; σ ) t α l t = 0 , α l i s   e v e n ,
when ϑ ς ( t ) is (ii)-differentiable.
Notice that X ̲ ς ( l ; σ ) and X ¯ ς ( l ; σ ) denote the lower and upper spectrum of ϑ ς ( t ) at t = 0 , respectively.
Thus, if ϑ ς ( t ) be (i)-differentiable, then ϑ ς ( t ) can be expressed as:
ϑ ̲ ς ( t ; σ ) = l = 0 X ̲ ( l ; σ ) t α l Γ ( α l + 1 ) , α l K , 0 σ 1 ,
ϑ ¯ ς ( t ; σ ) = l = 0 X ¯ ( l ; σ ) t α l Γ ( α l + 1 ) , α l K , 0 σ 1 ,
and if ϑ ς ( t ) be (ii)-differentiable, then ϑ ς ( t ) can be expressed as:
ϑ ̲ ς ( t ; σ ) = l = 1 , o d d X ¯ ( l ; σ ) t α l Γ ( α l + 1 ) + l = 0 , e v e n X ̲ ( l ; σ ) t α l Γ ( α l + 1 ) , 0 σ 1 ,
ϑ ¯ ς ( t ; σ ) = l = 1 , o d d X ̲ ( l ; σ ) t α l Γ ( α l + 1 ) + l = 0 , e v e n X ¯ ( l ; σ ) t α l Γ ( α l + 1 ) , 0 σ 1 .
The mentioned equations are considered as the inverse transformation of X ( l ; σ ) . If X ( l ; σ ) is defined as
X ̲ ( l ; σ ) = P ( l ) α l ϑ ς ( t ; σ ) ̲ t α l t = 0 , α l K , X ¯ ( l ; σ ) = P ( l ) α l ϑ ς ( t ; σ ) ¯ t α l t = 0 , α l K ,
when ϑ ς ( t ) (i)-differentiable with
X ̲ ( l ; σ ) = P ( l ) α l ( ϑ ς ( t ; σ ) ¯ ) t α l t = 0 , α l i s   o d d X ¯ ( l ; σ ) = P ( l ) α l ( ϑ ς ( t ; σ ) ̲ ) t α l t = 0 , α l i s   o d d
and
X ̲ ( l ; σ ) = P ( l ) α l ( ϑ ς ( t ; σ ) ̲ ) t α l t = 0 , α l i s   e v e n X ¯ ( l ; σ ) = P ( l ) α l ( ϑ ς ( t ; σ ) ¯ ) t α l t = 0 , α l i s   e v e n
then ϑ ς ( t ) is (ii)-differentiable.
The function ϑ ς ( t ) can be expressed as:
ϑ ̲ ς ( t ; σ ) = l = 0 t α l Γ ( α l + 1 ) X ̲ ( l ; σ ) P ( l ) , α l K , 0 σ 1 ,
ϑ ¯ ς ( t ; σ ) = l = 0 t α l Γ ( α l + 1 ) X ¯ ( l ; σ ) P ( l ) , α l K , 0 σ 1 ,
moreover if ϑ ς ( t ) is (i)-differentiable then, the function ϑ ς ( t ) can be (ii)-differentiable. Hence we get
ϑ ̲ ς ( t ; σ ) = l = 1 , o d d t α l Γ ( α l + 1 ) X ¯ ( l ; σ ) P ( l ) + l = 0 , e v e n t α l Γ ( α l + 1 ) X ̲ ( l ; σ ) P ( l ) , 0 σ 1 ,
ϑ ¯ ς ( t ; σ ) = l = 1 , o d d t α l Γ ( α l + 1 ) X ̲ ( l ; σ ) P ( l ) + l = 0 , e v e n t α l Γ ( α l + 1 ) X ¯ ( l ; σ ) P ( l ) , 0 σ 1 ,
where P ( l ) > 0 , P ( l ) denote the weighting factor. In this work P ( l ) = C α l Γ ( α l + 1 ) is implemented where C is the time horizon on interest. Consequently, if ϑ ς ( t ) be (i)-differentiable, then
X ̲ ( l ; σ ) = C α l Γ ( α l + 1 ) α l ϑ ̲ ς ( t ; σ ) t α l , α l K , 0 σ 1 ,
X ¯ ( l ; σ ) = C α l Γ ( α l + 1 ) α l ϑ ¯ ς ( t ; σ ) t α l , α l K , 0 σ 1 ,
and if ϑ ς ( t ) be (ii)-differentiable, then
X ̲ ( l ; σ ) = C α l Γ ( α l + 1 ) α l ϑ ¯ ς ( t ; σ ) t α l , α l i s o d d , 0 σ 1 , X ¯ ( l ; σ ) = C α l Γ ( α l + 1 ) α l ϑ ̲ ς ( t ; σ ) t α l , α l i s o d d , 0 σ 1 ,
and
X ̲ ( l ; σ ) = C α l Γ ( α l + 1 ) α l ϑ ̲ ς ( t ; σ ) t l , α l i s o d d , 0 σ 1 , X ¯ ( l ; σ ) = C α l Γ ( α l + 1 ) α l ϑ ¯ ς ( t ; σ ) t l , α l i s o d d , 0 σ 1 .
Unitizing the fuzzy ( n + 1 ) -dimensional fractional RDTM, a fuzzy fractional PDEs within the domain of interest can be transformed to an algebraic equation in the domain K and ϑ ς ( t ) can be expressed as the finite-term Taylor series plus a reminder as:
ϑ ̲ ς ( t ; σ ) = l = 0 n t α l Γ ( α l + 1 ) X ̲ ( l ; σ ) P ( l ) + R n + 1 ( t ) = l = 0 n t C α l X ̲ ( l ; σ ) P ( l ) + R n + 1 ( t ) , α l K , 0 σ 1 ,
ϑ ¯ ς ( t ; σ ) = l = 0 n t α l Γ ( α l + 1 ) X ¯ ( l ; σ ) P ( l ) + R n + 1 ( t ) = l = 0 n t C α l X ¯ ( l ; σ ) P ( l ) + R n + 1 ( t ) , α l K , 0 σ 1 ,
when ϑ ς ( t ) is (i)-differentiable and
ϑ ̲ ς ( t ; σ ) = l = 0 , o d d t C α l X ¯ ( l ; σ ) P ( l ) + R n + 1 ( t ) + l = 0 , e v e n t C α l X ̲ ( l ; σ ) P ( l ) + R n + 1 ( t ) , 0 σ 1 ,
ϑ ¯ ς ( t ; σ ) = l = 0 , o d d t C α l X ̲ ( l ; σ ) P ( l ) + R n + 1 ( t ) + l = 0 , e v e n t C α l X ¯ ( l ; σ ) P ( l ) + R n + 1 ( t ) , 0 σ 1 ,
when ϑ ς ( t ) is (ii)-differentiable.
In this section, we will give the solution of fuzzy fractional PDEs at the equally spaced grid points [ t 0 , t 1 , , t n ] where t ς = a + ς l * for each ( ς = 0 , 1 , 2 , . . . n ) , and l * = b a n . That is, the domain of interest are divided to n is sub-domain, and the fuzzy approximation functions in each sub-domain are ϑ ς ( t ; σ ) for ς = 0 , 1 , 2 , , n 1 , respectively. Taking the initial conditions, we obtain
X ̲ ( 0 ; σ ) = ϑ ̲ ς ( 0 ; σ ) , X ¯ ( 0 ; σ ) = ϑ ¯ ς ( 0 ; σ ) , 0 σ 1 .
In the first sub-domain, ϑ ̲ ς ( t ; σ ) and ϑ ¯ ς ( t ; σ ) can be described by ϑ ̲ ς ( 0 ; σ ) = ϑ ̲ 0 ( σ ) and ϑ ¯ ς ( 0 ; σ ) = ϑ ¯ 0 ( σ ) , respectively. They can be expressed in terms of their n-th order bivariate Taylor series with respect to t 0 = 0 . That is
ϑ ̲ ς ( t 0 ; σ ) = X ̲ 0 ( 0 ; σ ) + X ̲ 0 ( 1 ; σ ) t + X ̲ 0 ( 2 ; σ ) t 2 + + X ̲ 0 ( n ; σ ) t n ,
and
ϑ ¯ ς ( t 0 ; σ ) = X ¯ 0 ( 0 ; σ ) + X ¯ 0 ( 1 ; σ ) t + X ¯ 0 ( 2 ; σ ) t 2 + + X ¯ 0 ( n ; σ ) t n .
Additionally, using Taylor series for ϑ ς ( t ς ; σ ) , the solution on the grid points t ς + 1 can be obtained as:
ϑ ̲ ς ( t ς + 1 ; σ ) = X ̲ ς ( t ς + 1 ; σ ) = X ̲ ς ( 0 ; σ ) + X ̲ ς ( 1 ; σ ) ( t ς + 1 t ς ) + X ̲ ς ι ( 2 ; σ ) ( t ς + 1 t ς ) 2 + + X ̲ ς ( n ; σ ) ( t ς + 1 t ς ) n = i = 0 n X ̲ ς ( i ; σ ) h i ,
and
ϑ ¯ ς ( t ς + 1 ; σ ) = X ¯ ς ( t ς + 1 ; σ ) = X ¯ ς ( 0 ; σ ) + X ¯ ς ( 1 ; σ ) ( t ς + 1 t ς ) + X ¯ ς ι ( 2 ; σ ) ( t ς + 1 t ς ) 2 + + X ¯ ς ( n ; σ ) ( t ς + 1 t ς ) n = i = 0 n X ¯ ς ( i ; σ ) h i .

The Properties of Fuzzy ( N + 1 ) -Dimensional Fractional Reduced Differential Transform

We investigate some mathematical operations of fuzzy ( n + 1 ) -dimensional fractional reduced differential transform.
Lemma 5.
Let us consider u ( X , t ) and v ( X , t ) are fuzzy-valued functions and their fuzzy ( n + 1 ) -dimensional fractional RDTM denoted by U α l ( X ) and V α l ( X ) , respectively. Then
  • If f ( X , t ) = u ( X , t ) v ( X , t ) , then F α l ( X ) = U α l ( X ) V α l ( X ) , α l K
  • If f ( X , t ) = u ( X , t ) g H v ( X , t ) , then F α l ( X ) = U α l ( X ) g H V α l ( X ) , α l K
  • If f ( X , t ) = c u ( X , t ) , then F α l ( X ) = c U α l ( X ) , α l K , where c is a constant,
proposed the generalized Hukuhara difference (gH-difference) exists.
Proof. 
According to Definition (13), the proof is obvious. □
Lemma 6.
Let w E 1 and f ( X , t ) = α w ( X , t ) t α , then we obtain F α l ( X ) = Γ ( α ( l + 1 ) + 1 ) Γ ( α l + 1 ) W α l ( X ) , l 1 where F α l ( X ) and W α l ( X ) are the fuzzy ( n + 1 ) -dimensional fractional reduced differential transformations of fuzzy-valued functions f and w, respectively.
Proof. 
Using Definition (13), we obtain for 0 σ 1
F α l ( X ; σ ) = 1 Γ ( α + 1 ) α l t α l α t α w ̲ ( X , t ; σ ) ; α t α w ¯ ( X , t ; σ ) t = 0 = 1 Γ ( α + 1 ) α ( l + 1 ) t α ( l + 1 ) w ̲ ( X , t ; σ ) ; α ( l + 1 ) t α ( l + 1 ) w ¯ ( X , t ; σ ) t = 0 = Γ ( α ( l + 1 ) + 1 ) Γ ( α l + 1 ) Γ ( α ( l + 1 ) + 1 ) α ( l + 1 ) t α ( l + 1 ) w ̲ ( X , t ; σ ) ; α ( l + 1 ) t α ( l + 1 ) w ¯ ( X , t ; σ ) t = 0 .
Using definition of fuzzy fractional RDTM, we obtain
F α l ( X ; σ ) = Γ ( α ( l + 1 ) + 1 ) Γ ( α l + 1 ) W α l ( X ; σ ) , 0 σ 1 ,
the proof is completed. □
Theorem 4.
Let us consider f ( X , t ) = ϑ 1 1 . ϑ 2 2 ϑ n n . t s , then F α l ( X ) = ϑ 1 1 . ϑ 2 2 ϑ n n . δ ( α l s ) where
δ ( α l s ) = 1 , i f α l = s , 0 , i f α l s ,
is the ( n + 1 ) -dimensional fuzzy fractional RDTM of f.
Proof. 
According to definition of ( n + 1 ) -dimensional fuzzy fractional RDTM, for any σ [ 0 , 1 ] ,
F α l ( X ; σ ) = 1 Γ ( α l + 1 ) D α l f ̲ ( X , t ; σ ) , D α l f ¯ ( X , t ; σ ) t = 0 = 1 Γ ( α l + 1 ) ϑ 1 1 . ϑ 2 2 ϑ n n t s α l t α l t = 0 ,
this implies that
  • If α l > s or α l < s , then F α l ( X ; σ ) = 0 .
  • If α l = s , then F α l ( X ; σ ) = ( ϑ 1 1 . ϑ 2 2 ϑ n n ) ( σ ) .
This implies F α l ( X ; σ ) = ϑ 1 1 . ϑ 2 2 ϑ n n δ ( α l s ) ( σ ) .
Lemma 7.
Let us consider g E 1 and f ( X , t ) = g ( X , t ) ϑ ς , then we obtain F α l ( X ) = G α l ( X ) ϑ ς , l 1 where F α l ( X ) and G α l ( X ) are ( n + 1 ) -dimensional fuzzy fractional reduced differential transformations of fuzzy-valued functions f and g, respectively.
Proof. 
From definition (13), we obtain for 0 σ 1
f ( X , t ; σ ) = g ( X , t ; σ ) ϑ ς = g ̲ ( X , t ; σ ) ϑ ς , g ¯ ( X , t ; σ ) ϑ ς .
The ( n + 1 ) -dimensional fuzzy fractional RDTM function is written as:
G α l ( X ; σ ) = 1 Γ ( α l + 1 ) α l g ̲ ( X , t ; σ ) t α l , α l g ¯ ( X , t ; σ ) t α l t = 0 .
Using differentiating the right side of the mentioned equality with respect to ϑ ς , we obtain
G α l ( X ; σ ) ϑ ς = 1 Γ ( α l + 1 ) α l g ̲ ( X , t ; σ ) t α l , α l g ¯ ( X , t ; σ ) t α l t = 0 ϑ ς = 1 Γ ( α l + 1 ) α l g ̲ ( X , t ; σ ) t , g ¯ ( X , t ; σ ) t ϑ ς t = 0 = F α l ( X ; σ ) , 0 σ 1 ,
the proof is completed. □
Lemma 8.
Let us consider g E 1 and f ( X , t ) = 1 + 2 + + n + η g ( X , t ) ϑ 1 1 , ϑ 2 2 , , ϑ n n t η , s 1 < η s then we obtain F α l ( X ) = Γ ( α l + η + 1 ) Γ ( α l + 1 ) 1 + 2 + + n G α l + η ( X ) ϑ 1 1 , ϑ 2 2 , , ϑ n n , l n where F α l ( X ) and G α l ( X ) are the fuzzy ( n + 1 ) -dimensional fractional reduced differential transformations of fuzzy-valued functions f and g, respectively.
Proof. 
Using definition (13), we obtain for 0 σ 1
F α l ( X ; σ ) = 1 Γ ( α l + 1 ) α l t α l 1 + 2 + + n + η g ̲ ( X , t ; σ ) ϑ 1 1 , ϑ 2 2 , , ϑ n n t η , 1 + 2 + + n + η g ¯ ( X , t ; σ ) ϑ 1 1 , ϑ 2 2 , , ϑ n n t η t = 0 .
Applying the calculus, we derive
F α l ( X ; σ ) = 1 Γ ( α l + 1 ) 1 + 2 + + n ϑ 1 1 ϑ 1 1 ϑ n n α l + η g ̲ ( X , t ; σ ) t α l + η , α l + η g ¯ ( X , t ; σ ) t α l + η t = 0 .
Using definition of fuzzy fractional RDTM on η t η g ̲ ( X , t ; σ ) and η t η g ¯ ( X , t ; σ ) are
F α l ( X ; σ ) = 1 Γ ( α l + η + 1 ) α l + η g ̲ ( X , t ; σ ) t α l + η , α l + η g ¯ ( X , t ; σ ) t α l + η t = 0 ,
thus, we obtain
F α l ( X ; σ ) = Γ ( α l + η + 1 ) Γ ( α l + 1 ) 1 + 2 + + n G α l + η ( X ; σ ) ϑ 1 1 , ϑ 2 2 , , ϑ n n , 0 σ 1 .
the proof is completed. □
Note: Assuming η = n α , then the expression above can be represented as follows:
F α l ( X ; σ ) = Γ ( α ( l + n ) + 1 ) Γ ( α l + 1 ) 1 + 2 + + n G α ( l + n ) ( X ; σ ) ϑ 1 1 , ϑ 2 2 , , ϑ n n , 0 σ 1 .
Lemma 9.
Let g E 1 and f ( X , t ) = ϑ 1 1 , ϑ 2 2 , , ϑ n n t η g ( X ; t ) , then F α l ( X ) = ϑ 1 1 , ϑ 2 2 , , ϑ n n = 0 l δ ( α η ) G α ( l ) ( X ) , where F α l ( X ) and G α l ( X ) are the fuzzy ( n + 1 ) -dimensional fractional RDTM of f and g, respectively.
Proof. 
Suppose that w ( X , t ) = ϑ 1 1 , ϑ 2 2 , , ϑ n n t η , i . e . , f ( X , t ) = w ( X , t ) g ( X , t ) then by Definition (13) of f ( X , t ) , we have
F ̲ α l ( X ; σ ) = = 0 l W α ( X ) · G ̲ α ( l ) ( X ; σ ) , F ¯ α l ( X ; σ ) = = 0 l W α ( X ) · G ¯ α ( l ) ( X ; σ ) ,
Hence, using Theorem (4), we get
W α l ( X ) = ϑ 1 1 , ϑ 2 2 , , ϑ n n δ ( α η ) ,
where
δ ( α c η ) = 1 , i f α = η , 0 , i f α η ,
so, we obtain
F α l ( X ; σ ) = ϑ 1 1 , ϑ 2 2 , , ϑ n n = 0 l δ ( α η ) G α ( l ) ( X ; σ ) ,
This completes our desired result. □
Theorem 5.
Let us consider u R and f ( X , t ) = u ( X ) g ( X , t ) , then F α l ( X ) = u ( X ) G α l ( X ) , where F α l ( X ) and G α l ( X ) are the fuzzy ( n + 1 ) -dimensional fractional reduced differential transformations of real-valued functions f and g, respectively.
Proof. 
Using definition (13), we obtain for 0 σ 1
F α l ( X ; σ ) = 1 Γ ( α l + 1 ) α l u ( X ) · g ̲ ( X , t ; σ ) t α l , α l u ( X ) · g ¯ ( X , t ; σ ) t α l t = 0 = u ( X ) 1 Γ ( α l + 1 ) α l g ̲ ( X , t ; σ ) t α l , α l g ¯ ( X , t ; σ ) t α l t = 0
thus, we obtain
F α l ( X ; σ ) = u ( X ) · G α l ( X ; σ ) , 0 σ 1 ,
the proof is accomplished. □

4.3. Examples

We propose some examples to illustrate this method is a powerful mathematical tool for solving fuzzy fractional partial differential equations.
Example 7.
We take into account the fuzzy ( 3 + 1 ) -dimensional time-fractional wave-like equations [1,2]
β w t β = ( ϑ 2 + θ 2 + ϕ 2 ) 1 2 ϑ 2 w ϑ ϑ θ 2 w θ θ ϕ 2 w ϕ ϕ , t > 0 , 1 < β 2 ,
with the initial conditions
w ( ϑ , θ , ϕ , 0 ) = 0 ˜ , w t ( ϑ , θ , ϕ , 0 ) = ( 0.5 σ ) n , ( 1 0.5 σ ) n ( ϑ 2 + θ 2 ϕ 2 ) ,
where n = 1 , 2 , 3 , , β = n α , and 0 ˜ E 1 .
Using the properties of fuzzy ( n + 1 ) -dimensional fractional RDTM, we have
W ̲ α ( l + n ) ( ϑ , θ , ϕ ; σ ) = Γ ( α l + 1 ) Γ ( α ( l + n ) + 1 ) ϑ 2 + θ 2 + ϕ 2 δ ( α l ) + 1 2 ϑ 2 2 W ̲ α l ϑ 2 + θ 2 2 W ̲ α l θ 2 + ϕ 2 2 W ̲ α l ϕ 2 ,
and
W ¯ α ( l + n ) ( ϑ , θ , ϕ ; σ ) = Γ ( α l + 1 ) Γ ( α ( l + n ) + 1 ) ϑ 2 + θ 2 + ϕ 2 δ ( α l ) + 1 2 ϑ 2 2 W ¯ α l ϑ 2 + θ 2 2 W ¯ α l θ 2 + ϕ 2 2 W ¯ α l ϕ 2 .
Taking the initial conditions (213), we have
W ̲ 0 = 0 ˜ , W ̲ α l = ( 0.5 σ ) n + ϑ 2 + θ 2 ϕ 2 , if α l = 1 0 , if α l 1 , l = 0 , 1 , 2 , , n 1 ,
and
W ¯ 0 = 0 ˜ , W ¯ α l = ( 1 0.5 σ ) n + ϑ 2 + θ 2 ϕ 2 , if α l = 1 0 , if α l 1 , l = 0 , 1 , 2 , , n 1 ,
for β = 1.5 , i.e., n = 3 , α = 1 2 , and l = 0 , 1 , 2 , 3 , (214) into (211), we have
w ̲ ( ϑ , θ , ϕ , t ; σ ) = ( 0.5 σ ) n + ϑ 2 + θ 2 t + t 3 / 2 Γ ( ( 3 / 2 ) + 1 ) + Γ ( 2 ) t 5 / 2 Γ ( ( 5 / 2 ) + 1 ) + t 3 Γ ( 4 ) + + ϕ 2 t + t 3 / 2 Γ ( ( 3 / 2 ) + 1 ) + Γ ( 2 ) t 5 / 2 Γ ( ( 5 / 2 ) + 1 ) + t 3 Γ ( 4 ) + ,
and
w ¯ ( ϑ , θ , ϕ , t ; σ ) = ( 1 0.5 σ ) n + ϑ 2 + θ 2 t + t 3 / 2 Γ ( ( 3 / 2 ) + 1 ) + Γ ( 2 ) t 5 / 2 Γ ( ( 5 / 2 ) + 1 ) + t 3 Γ ( 4 ) + + ϕ 2 t + t 3 / 2 Γ ( ( 3 / 2 ) + 1 ) + Γ ( 2 ) t 5 / 2 Γ ( ( 5 / 2 ) + 1 ) + t 3 Γ ( 4 ) + .
For β = 2 , i.e., n = 2 , α = 1 , and l = 0 , 1 , 2 , 3 , (217) into (214), we have
w ̲ ( ϑ , θ , ϕ , t ; σ ) = ( 0.5 σ ) n + ϑ 2 + θ 2 t + t 2 Γ ( 3 ) + Γ ( 2 ) t 3 Γ ( 4 ) + t 4 Γ ( 5 ) + + ϕ 2 t + t 2 Γ ( 3 ) Γ ( 2 ) t 3 Γ ( 4 ) + t 4 Γ ( 5 ) + ,
and
w ¯ ( ϑ , θ , ϕ , t ; σ ) = ( 1 0.5 σ ) n + ϑ 2 + θ 2 t + t 2 Γ ( 3 ) + Γ ( 2 ) t 3 Γ ( 4 ) + t 4 Γ ( 5 ) + + ϕ 2 t + t 2 Γ ( 3 ) Γ ( 2 ) t 3 Γ ( 4 ) + t 4 Γ ( 5 ) + .
thus, we can obtained the exact solution as:
w ( ϑ , θ , ϕ , t ; σ ) = ( 0.5 σ ) n , ( 1 0.5 σ ) n ϑ 2 + θ 2 + ϕ 2 + ϑ 2 + θ 2 e t + ϕ 2 e t , 0 σ 1 .
The results corresponding to example 7 are shown in Figure 3 at different values of β. But, if we compare it with others methods in [1,2] shows that although the result of these methods implemented the same at β = 2 . But, unlike fuzzy ADM or the generation of correction functionals using general Lagranges multiplication in fuzzy VIM. The fuzzy ( n + 1 ) -dimensional fractional RDTM does not call for additional algorithms and complicated calculations.
Table 1 shows the error term between exact and approximate solutions of example 7 for σ between 0 and 1. We have also checked and verified the convergence for time t in this example, which shows that example 7 exhibit convergent solutions till time t = 709 and as the value of t exceeds 709, the solutions tend to infinity and show divergence.
In Figure 3a, we have compared solutions of fuzzy wave-like equations based on integer as well as fractional order derivatives. It can be seen that red and blue colored are for exact solution using β = 2 , while orange and purple colored dashed-dotted lines are for fractional order at β = 1.5 . For specific values of ϑ = 0.02 , θ = 0.002 , ϕ = 0.03 the solution of fuzzy fractional wave-like equations at β = 1.5 and 2 are same. Therefore, for a detailed study, we plot a three-dimensional Figure 3b in which we fix all the parameters except θ. Here, one can observe in detail that at the start there exists an error in the exact and approximate solution which reduces time and finally the approximate solution overlaps the exact solution.
Example 8.
Consider the following fuzzy time-fractional Z K ( 2 , 2 , 2 ) equation
α w t α ( w 2 ) ϑ 1 8 ( w 2 ) ϑ ϑ ϑ 1 8 ( w 2 ) θ θ ϑ = 0 , 0 < α 1 ,
subject to the initial condition
w ( ϑ , θ , 0 ) = [ ( 2 + 0.4 σ ) n , ( 2.8 0.4 σ ) n ] g H 4 3 ρ cosh 2 ( ϑ + θ ) ,
where n = 1 , 2 , 3 , , and ρ is an arbitrary constant.
Using the properties of fuzzy ( n + 1 ) -dimensional fractional RDTM, we have
W ̲ α ( l + 1 ) ( ϑ , θ ; σ ) = Γ ( α l + 1 ) Γ ( α ( l + 1 ) + 1 ) = 0 l W ̲ α W ̲ α ( l ) ( ϑ , θ ; σ ) ϑ + 1 8 = 0 l 3 W ̲ α W ̲ α ( l ) ( ϑ , θ ; σ ) ϑ 3 + 1 8 = 0 l 3 W ̲ α W ̲ α ( l ) ( ϑ , θ ; σ ) θ 2 ϑ ,
and
W ¯ α ( l + 1 ) ( ϑ , θ ; σ ) = Γ ( α l + 1 ) Γ ( α ( l + 1 ) + 1 ) = 0 l W ¯ α W ¯ α ( l ) ( ϑ , θ ; σ ) ϑ + 1 8 = 0 l 3 W ¯ α W ¯ α ( l ) ( ϑ , θ ; σ ) ϑ 3 + 1 8 = 0 l 3 W ¯ α W ¯ α ( l ) ( ϑ , θ ; σ ) θ 2 ϑ .
From the initial condition (218), we obtain
W 0 ( ϑ , θ , 0 ) ( σ ) = [ ( 2 + 0.4 σ ) n , ( 2.8 0.4 σ ) n ] g H 4 3 ρ cosh 2 ( ϑ + θ ) ,
for l = 0 , 1 , 2 , . . . to using (221) into (219), we get
w m * ( ϑ , θ , t ; σ ) = l = 0 m 1 W α l t α l ,
and the exact solution can be obtain as
w ( ϑ , θ , t ; σ ) = lim m w m * ( ϑ , θ , t ; σ ) = l = 0 W α l t α l ,
i.e., the 3-term approximate result to (217) can obtain as:
w ( ϑ , θ , t ; σ ) l = 0 2 W α l t α l .
The solution of Equation (217) is represented as follows:
w ( ϑ , θ , t ; σ ) = [ ( 2 + 0.4 σ ) n , ( 2.8 0.4 σ ) n ] g H 4 3 ρ cosh 2 ( ϑ + θ ρ t ) , 0 σ 1 .
Similar to previous examples, here we have also checked the convergence for time t, which shows that example 8 exhibit convergent solutions till time t = 355 and as the value of t exceeds 355, the solutions tend to infinity and show divergence.
In Figure 4, we plotted 2 D and 3 D graphs of the Z K ( 2 , 2 , 2 ) equation but with different initial condition. Figure 4a shows that for ϑ = 0.0001 , θ = 0.05 , ϕ = 0.6 and ρ = 1 using n = 1 at t = 0.07 the Z K ( 2 , 2 , 2 ) equation become bounded and closed. Furthermore, the pink colored sign shows increasing functions and blue colored presents decreasing functions on the σ-level set of w. To discuss the concept of the σ-level set, one can see Figure 4b, which shows that the σ-level set of ZK(2,2,2) equation is bounded and closed for ϑ = 0.0001 , 0 < θ < 1 and ϕ = 0.6 .
Example 9.
We take into account the following fuzzy fractional Z K ( 3 , 3 , 3 ) equation
α w t α ( w 3 ) ϑ 1 8 ( w 3 ) ϑ ϑ ϑ 1 8 ( w 3 ) θ θ ϑ = 0 , 0 < α 1 ,
subject to the initial condition
w ( ϑ , θ , 0 ) = [ ( 3.1 + 0.3 σ ) n , ( 3.8 0.4 σ ) n ] 3 2 ρ cosh ϑ + θ 6 ,
where n = 1 , 2 , 3 , , for ρ is an arbitrary constant.
Using the properties of fuzzy ( n + 1 ) -dimensional fractional RDTM, we have
W ̲ α ( l + 1 ) ( ϑ , θ ; σ ) = Γ ( α l + 1 ) Γ ( α ( l + 1 ) + 1 ) = 0 l s = 0 W ̲ α s W ̲ α ( s ) W ̲ α ( l ) ( ϑ , θ ; σ ) ϑ + 1 8 = 0 l s = 0 3 W ̲ α s W ̲ α ( s ) W α ( l ) ( ϑ , θ ; σ ) ϑ 3 + 1 8 = 0 l s = 0 3 W ̲ α s W ̲ α ( s ) W ̲ α ( l ) ( ϑ , θ ; σ ) θ 2 ϑ ,
and
W ¯ α ( l + 1 ) ( ϑ , θ ; σ ) = Γ ( α l + 1 ) Γ ( α ( l + 1 ) + 1 ) = 0 l s = 0 W ¯ α s W ¯ α ( s ) W ¯ α ( l ) ( ϑ , θ ; σ ) ϑ + 1 8 = 0 l s = 0 3 W ¯ α s W ¯ α ( s ) W ¯ α ( l ) ( ϑ , θ ; σ ) ϑ 3 + 1 8 = 0 l s = 0 3 W ¯ α s W ¯ α ( s ) W ¯ α ( l ) ( ϑ , θ ; σ ) θ 2 ϑ .
From the initial condition (226), we obtain
W 0 ( ϑ , θ ; σ ) = [ ( 3.1 + 0.3 σ ) n , ( 3.8 0.4 σ ) n ] 3 2 ρ cosh ϑ + θ 6 ,
for l = 0 , 1 in (229) into (227), and using (226), yields
w ( ϑ , θ , t ; σ ) l = 0 2 W α l t α l ( σ ) .
The solution of Equation (225) is obtained as follows:
w ( ϑ , θ , t ; σ ) = [ ( 3.1 + 0.3 σ ) n , ( 3.8 0.4 σ ) n ] 3 2 ρ cosh 1 6 ( ϑ + θ ρ t ) , 0 σ 1 .
Finally, the convergence for example 9 shows that their solutions are convergent till time t = 4254 .
Figure 5 also satisfies the condition of σ-level set in both (two and three dimensional) cases for example 9.

5. Conclusions

In this paper, we have successfully compared ( n + 1 ) -dimensional fuzzy RDTM, ADM, HPM, and fuzzy HAM to obtain the solutions of fuzzy heat-like and wave-like equations, and fuzzy Zakharov-Kuznetsov equations. Furthermore, we investigated the fuzzy ( n + 1 ) -dimensional fractional RDTM to apply the solution of fuzzy fractional heat-like and wave-like equations, and fuzzy Zakharov-Kuznetsov equations. The RDTM is applied in an uncomplicated approach, without discretization or limiting assumptions. Previous numerical studies demonstrated that the RDTM is occasionally more effective than other techniques. We demonstrated that the suggested methods are highly accurate and efficient by applying them to some of the initial value problems. Hence, we have obtained several new results to solve the above problems when these methods have been applied. Moreover, we observed that our methods are strong mathematical tools for solving PDEs and issues in physics, engineering, and other fields. In future, we are trying our best to present new techniques for solving fuzzy fractional diffusion equations, and the numerical technique for solving fuzzy fractional Cauchy reaction-diffusion equations as well.

Author Contributions

Conceptualization, M.O. and Y.X.; Validation, M.O., Y.X. and M.M.; writing— original draft, M.O.; Writing—review and editing, M.O., O.A.O., M.M.; Funding acquisition, M.O. and Y.X. All authors have read and agreed to the published version of the manuscript.

Funding

The research was supported by Zhejiang Normal University Research Fund under Grant ZC304022909, and National Natural Science Foundation of China: 11671176.

Institutional Review Board Statement

Not applicable.

Informed Consent Statement

Not applicable.

Data Availability Statement

No data was used for the research in this article.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Osman, M.; Gong, Z.T.; Mustafa, A.M. Comparison of fuzzy Adomian decomposition method with fuzzy VIM for solving fuzzy heat-like and wave-like equations with variable coefficients. Adv. Diff. Equ. 2020, 2020, 327. [Google Scholar] [CrossRef]
  2. Osman, M.; Xia, Y.; Omer, O.A.; Hamoud, A. On the fuzzy solution of linear-nonlinear partial differential equations. Mathematics 2022, 10, 2295. [Google Scholar] [CrossRef]
  3. Stefanini, L.; Bede, B. Generalized Hukuhara differentiability of interval-valued functions and interval differential equations. Nonlinear Anal. 2009, 71, 1311–1328. [Google Scholar] [CrossRef] [Green Version]
  4. Bede, B.; Stefanini, L. Generalized differentiability of fuzzy-valued functions. Fuzzy Sets Syst. 2013, 230, 119–141. [Google Scholar] [CrossRef] [Green Version]
  5. Gomes, L.T.; Barros, L.C. A note on the generalized difference and the generalized differentiability. Fuzzy Sets Syst. 2015, 280, 142–145. [Google Scholar] [CrossRef]
  6. Suna, H.G.; Zhang, Y.; Baleanua, D. A new collection of real world applications of fractional calculus in science and engineering. Commun. Nonlinear Sci. Numer. Simul. 2018, 64, 213–231. [Google Scholar] [CrossRef]
  7. Agarwal, R.P.; Lakshmikantham, V.; Nieto, J.J. On the concept of solution for fractional differential equations with uncertainty. Nonlinear Anal. 2010, 72, 2859–2862. [Google Scholar] [CrossRef]
  8. Agarwal, R.P.; Arshad, S.; O’Regan, D.; Lupulescu, V. Fuzzy fractional integral equations under compactness type condition. Fract. Calc. Appl. Anal. 2012, 15, 572–590. [Google Scholar] [CrossRef]
  9. Alikhani, R.; Bahrami, F. Global solutions for nonlinear fuzzy fractional integral and integro differential equations. Commun. Nonlinear Sci. Numer. Simul. 2013, 18, 2007–2017. [Google Scholar] [CrossRef]
  10. Allahviranloo, T.; Gouyandeh, Z.; Armand, A. Fuzzy fractional differential equations under generalized fuzzy Caputo derivative. J. Intell. Fuzzy Syst. 2014, 26, 1481–1490. [Google Scholar] [CrossRef]
  11. Hoa, N.V.; Lupulescu, V.; O’Regan, D. Solving interval-valued fractional initial value problems under Caputo gH-fractional differentiability. Fuzzy Sets Syst. 2017, 309, 1–34. [Google Scholar] [CrossRef]
  12. Long, H.V.; Son, N.T.K.; Hoa, N.V. Fuzzy fractional partial differential equations in partially ordered metric spaces. Iran. J. Fuzzy Syst. 2017, 14, 107–126. [Google Scholar]
  13. Lupulescu, V. Fractional calculus for interval-valued functions. Fuzzy Sets Syst. 2015, 265, 63–85. [Google Scholar] [CrossRef]
  14. Lupulescu, V.; Hoa, N.V. Interval Abel integral equation. Soft Comput. 2017, 21, 2777–2784. [Google Scholar] [CrossRef]
  15. Mazandarani, M.; Kamyad, A.V. Modified fractional Euler method for solving fuzzy fractional initial value problem. Commun. Nonlinear Sci. Numer. Simul. 2013, 18, 12–21. [Google Scholar] [CrossRef]
  16. Prakash, P.; Nieto, J.J.; Senthilvelavan, S.; Priya, G.S. Fuzzy fractional initial value problem. J. Intell. Fuzzy Syst. 2015, 28, 2691–2704. [Google Scholar] [CrossRef]
  17. Salahshour, S.; Allahviranloo, T.; Abbasbandy, S.; Baleanu, D. Existence and uniqueness results for fractional differential equations with uncertainty. Adv. Differ. Equ. 2012, 2012, 1311–1328. [Google Scholar] [CrossRef] [Green Version]
  18. Siryk, S.V.; Salnikov, N.N. Numerical solution of Burgers’ equation by Petrov-Galerkin method with adaptive weighting functions. J. Autom. Inf. Sci. 2012, 44, 50–67. [Google Scholar] [CrossRef]
  19. Keshavarz, M.; Qahremani, E.; Allahviranloo, T. Solving a fuzzy fractional diffusion model for cancer tumor by using fuzzy transforms. Fuzzy Sets Syst. 2022, 443, 198–220. [Google Scholar] [CrossRef]
  20. Keshavarz, M.; Allahviranloo, T. Fuzzy fractional diffusion processes and drug release. Fuzzy Sets Syst. 2022, 436, 82–101. [Google Scholar] [CrossRef]
  21. Allahviranloo, T. Difference methods for fuzzy partial differential equations. Comput. Methods Appl. Math. 2022, 2, 233–242. [Google Scholar] [CrossRef]
  22. Alihani, R.; Bahram, F. Fuzzy partial differential equations under the cross product of fuzzy numbers. Inf. Sci. 2019, 494, 80–99. [Google Scholar] [CrossRef]
  23. Buckley, J.J.; Feuring, T. Introduction to fuzzy partial differential equations. Fuzzy Sets Syst. 1999, 105, 241–248. [Google Scholar] [CrossRef]
  24. Osman, M.; Gong, Z.T.; Mustafa, A.M.; Yang, H. Solving fuzzy (1+n)-dimensional Burgers equation. Adv. Diff. Equ. 2021, 219, 1–51. [Google Scholar] [CrossRef]
  25. Stynes, M.; Stynes, D. Convection Diffusion Problems: An Introduction to Their Analysis and Numerical Solution. Am. Math. Soc. 2018, 196, 156. [Google Scholar]
  26. John, V.; Knobloch, P.; Novo, J. Finite elements for scalar convection-dominated equations and incompressible flow problems: A neverending story? Comput. Vis. Sci. 2018, 19, 47–63. [Google Scholar] [CrossRef] [Green Version]
  27. Zhou, J.K. Differential Transformation and Its Applications for Electrical Circuits (in Chinese); Huazhong University Press: Wuhan, China, 1986. [Google Scholar]
  28. Rivaz, A.; Fard, O.S.; Bidgoli, T.A. Solving fuzzy fractional differential equations by generalized differential transform method. SeMA J. 2016, 73, 149–170. [Google Scholar] [CrossRef]
  29. Salahshour, S.; Allahviranloo, T. Application of fuzzy differential transform method for solving fuzzy Volterra integral equations. Appl. Math. Model. 2013, 37, 1016–1027. [Google Scholar] [CrossRef]
  30. Allahviranloo, T.; Kiani, N.A.; Motamedi, N. Solving fuzzy differential equations by differential transform method. Inf. Sci. 2009, 170, 956–966. [Google Scholar] [CrossRef]
  31. Abazari, R.; Ganji, M. Extended two-dimensional DTM and its application on nonlinear PDEs with proportional delay. Int. J. Comput. Math. 2011, 88, 1749–1762. [Google Scholar] [CrossRef]
  32. Keskin, Y.; Oturanc, G. Reduced differential transform method for partial diferential equations. Int. J. Nonlinear Sci. Numer. Simul. 2009, 10, 741–749. [Google Scholar] [CrossRef]
  33. Keskin, Y.; Oturanc, G. Reduced differential transform method for fractional partial diferential equations. Nonlinear Sci. Lett. A 2010, 1, 61–72. [Google Scholar]
  34. Abazari, R.; Abazari, M. Numerical simulation of generalized Hirota-Satsuma coupled KdV equation by RDTM and comparison with DTM. Commun. Nonli. Sci. Numer. Simul. 2012, 17, 619–629. [Google Scholar] [CrossRef]
  35. Saadatmandi, A.; Dehghan, M. Numerical solution of hyperbolic telegraph equation using the ChebyshevTau Method. Meth. Part. Diff. Equ. 2010, 26, 239–252. [Google Scholar] [CrossRef]
  36. Aloy, R.; Casaban, M.C.; Caudillo-Mata, L.A.; Jodar, L. Computing the variable coefficient telegraph equation using a discrete eigenfunctions method. Comput. Math. Appl. 2007, 54, 448–458. [Google Scholar] [CrossRef] [Green Version]
  37. Owyed, S.; Abdou, M.A.; Abdel-Aty, A.H.; Alharbi, W.; Nekhili, R. Numerical and approximate solutions for coupled time fractional nonlinear evolutions equations via reduced differential transform method. Chaos Solitons Fractals 2020, 131, 109474. [Google Scholar] [CrossRef]
  38. Osman, M.; Gong, Z.; Mustafa, A.M. A fuzzy solution of nonlinear partial differential equations. Open J. Math. Anal. 2021, 5, 51–63. [Google Scholar] [CrossRef]
  39. Srivastava, V.K.; Awasthi, M.K.; Chaurasia, R.K. Reduced differential transform method to solve two and three dimensional second order hyperbolic telegraph equations. J. King Saud Univ. Engin. Sci. 2017, 29, 166–171. [Google Scholar] [CrossRef] [Green Version]
  40. Tamboli, V.K.; Tandel, P.V. Solution of the time-fractional generalized Burger-Fisher equation using the fractional reduced differential transform method. J. Ocean. Eng. Sci. 2022, 7, 399–407. [Google Scholar] [CrossRef]
  41. Siryk, S.V.; Salnikov, N.N. Accuracy and stability of the Petrov-Galerkin method for solving the stationary convection-diffusion equation. Cybern. Syst. Anal. 2014, 50, 278–287. [Google Scholar] [CrossRef]
  42. Saelao, J.; Yokchoo, N. The solution of Klein-Gordon equation by using modified Adomian decomposition method. Math. Compu. Simul. 2020, 171, 94–102. [Google Scholar] [CrossRef]
  43. Lu, T.T.; Zheng, W.Q. Adomian decomposition method for first order PDEs with unprescribed data. Alex. Eng. J. 2021, 60, 2563–2572. [Google Scholar] [CrossRef]
  44. Siryk, S.V.; Salnikov, N.N. Analysis of lumped approximations in the finite-element method for convection-diffusion problems Cybern. Syst. Anal. 2013, 49, 774–784. [Google Scholar] [CrossRef]
  45. He, J.H. Homotopy perturbation technique. Comput. Methods Appl. Mech. Eng. 1999, 178, 257–262. [Google Scholar] [CrossRef]
  46. He, J.H. A coupling method of a homotopy technique and a perturbation technique for non-linear problems. Int. J. Non-Linear Mech. 2000, 35, 37–43. [Google Scholar] [CrossRef]
  47. He, J.H. Homotopy perturbation method: A new nonlinear analytical technique. Appl. Math. Comput. 2003, 135, 73–79. [Google Scholar] [CrossRef]
  48. Naik, P.A.; Zu, J.; Ghoreishi, M. Estimating the approximate analytical solution of HIV viral dynamic model by using homotopy analysis method. Chaos Solitons Fractal 2020, 131, 109500. [Google Scholar] [CrossRef]
  49. Fadugba, S.E. Homotopy analysis method and its applications in the valuation of European call options with time-fractional Black-Scholes equation. Chaos Solitons Fractals 2020, 141, 110351. [Google Scholar] [CrossRef]
  50. Deniz, S. Optimal perturbation iteration method for solving fractional FitzHugh-Nagumo equation. Chaos Solitons Fractals 2021, 142, 110417. [Google Scholar] [CrossRef]
  51. Kashkari, B.S.; El-Tantawy, S.A.; Salas, A.H.; El-Sherif, L.S. Homotopy perturbation method for studying dissipative nonplanar solitons in an electronegative complex plasma. Chaos Solitons Fractals 2020, 130, 109457. [Google Scholar] [CrossRef]
  52. Kanth, A.S.V.R.; Aruna, K. He’s homotopy-perturbation method for solving higher-order boundary value problems. Chaos Solitons Fractals 2009, 41, 1905–1909. [Google Scholar] [CrossRef]
  53. Biazar, J.; Ghazvini, H.; Eslami, M. He’s homotopy perturbation method for systems of integro-differential equations. Chaos Solitons Fractals 2020, 39, 1253–1258. [Google Scholar] [CrossRef]
  54. Xu, Y. Similarity solution and heat transfer characteristics for a class of nonlinear convection-diffusion equation with initial value conditions. Math. Probl. Eng. 2019, 2019, 3467276. [Google Scholar] [CrossRef]
  55. Ahmad, S.; Ullah, A.; Akgul, A.; De la Sen, M. A Novel Homotopy Perturbation Method with Applications to Nonlinear Fractional Order KdV and Burger Equation with Exponential-Decay Kernel. J. Funct. Spaces 2021, 2021, 8770488. [Google Scholar] [CrossRef]
  56. Liao, S.J. The Proposed Homotopy Analysis Technique for the Solution of Nonlinear Problems. Ph.D. Thesis, Shanghai Jiao Tong University, Shanghai, China, 1992. [Google Scholar]
  57. Liao, J.S. Beyond Perturbation: Introduction to the Homotopy Analysis Method; Chapman and Hall/CRC Press: Boca Raton, FL, USA, 2003. [Google Scholar]
  58. Liao, J.S. Notes on the homotopy analysis method: Some definitions and theorems. Commun. Nonlinear Sci. Numer. Simul. 2009, 14, 983–997. [Google Scholar] [CrossRef]
  59. Xu, H.; Liao, S.J.; You, X.C. Analysis of nonlinear fractional partial differential equations with the homotopy analysis method. Commun. Nonlinear Sci. Numer. Simul. 2009, 14, 1152–1156. [Google Scholar] [CrossRef]
  60. Cang, J.; Tan, Y.; Xu, H.; Liao, S.J. Series solutions of non-linear Riccati differential equations with fractional order. Chaos Solitons Fractals 2009, 40, 1–9. [Google Scholar] [CrossRef]
  61. Saratha, S.R.; Krishnan, G.S.S.; Bagyalakshmi, M. Analysis of a fractional epidemic model by fractional generalised homotopy analysis method using modified Riemann-Liouville derivative. Appl. Math. Modell. 2021, 92, 525–545. [Google Scholar] [CrossRef]
  62. Li, J.X.; Yan, Y.; Wang, W.Q. Time-delay feedback control of a cantilever beam with concentrated mass based on the homotopy analysis method. Appl. Math. Model. 2022, 108, 629–645. [Google Scholar] [CrossRef]
  63. Allahviranloo, T.; Gouyandeh, Z.; Armand, A.; Hasanoglu, A. On fuzzy solutions for heat equation based on generalized Hukuhara differentiability. Fuzzy Sets Syst. 2015, 265, 1–23. [Google Scholar] [CrossRef]
  64. Negoita, C.V.; Ralescu, D. Applications of Fuzzy Sets to Systems Analysis; Wiley: New York, NY, USA, 1975. [Google Scholar]
  65. Lakshmikantham, V.; Bhaskar, T.; Devi, J. Theory of Set Diffenerntial Equations in Metric Spaces; Cambridge Scientific Publishers: Cottenham, UK, 2006. [Google Scholar]
  66. Gong, Z.T.; Yang, H. lll-Posed fuzzy initial-boundary value problems based on generalized differentiability and regularization. Fuzzy Sets Syst. 2016, 295, 99–113. [Google Scholar] [CrossRef]
  67. Stefanini, L. A generalization of Hukuhara difference and division for interval and fuzzy arithmetic. Fuzzy Sets Syst. 2010, 161, 1564–1584. [Google Scholar] [CrossRef]
  68. Congxin, W.; Ming, M. Embedding problem of fuzzy number space: Part III. Fuzzy Sets Syst. 1992, 46, 281–286. [Google Scholar] [CrossRef]
  69. Yang, H.; Gong, Z. I11-Posedness for fuzzy Fredholm integral equations of the first kind and regularization methods. Fuzzy Sets Syst. 2019, 358, 132–149. [Google Scholar] [CrossRef]
  70. Anastassiou, G.A. Fuzzy Mathematics: Approximation Theory; Springer: Berlin/Heidelberg, Germany, 2010. [Google Scholar]
  71. Salahshour, S.; Allahviranloo, T.; Abbasbandy, S. Solving fuzzy fractional differential equations by fuzzy Laplace transforms. Commun. Nonlinear Sci. Numer. Simul. 2012, 17, 1372–1381. [Google Scholar] [CrossRef]
Figure 1. The exact lower and upper solutions of Equation (111) at ϑ = 30 , θ = 45 , t = 60 , ρ = 1 , n = 1 (a) 2D figure for exact solution of fuzzy ZK(2, 2, 2) equation of w in Example 5. (b) 3D figure for exact solution of fuzzy ZK(2,2,2) equation of w in Example 5.
Figure 1. The exact lower and upper solutions of Equation (111) at ϑ = 30 , θ = 45 , t = 60 , ρ = 1 , n = 1 (a) 2D figure for exact solution of fuzzy ZK(2, 2, 2) equation of w in Example 5. (b) 3D figure for exact solution of fuzzy ZK(2,2,2) equation of w in Example 5.
Fractalfract 06 00656 g001
Figure 2. The exact lower and upper solutions of Equation (146) at ϑ = 60 , θ = 90 , t = 200 , ρ = 1 , n = 2 (a) 2D figure for exact solution of fuzzy ZK(3, 3, 3) equation of w in Example 6. (b) 3D figure for exact solution of fuzzy ZK(3, 3, 3) equation of w in Example 6.
Figure 2. The exact lower and upper solutions of Equation (146) at ϑ = 60 , θ = 90 , t = 200 , ρ = 1 , n = 2 (a) 2D figure for exact solution of fuzzy ZK(3, 3, 3) equation of w in Example 6. (b) 3D figure for exact solution of fuzzy ZK(3, 3, 3) equation of w in Example 6.
Fractalfract 06 00656 g002
Figure 3. Comparison of exact and approximate solution of fuzzy fractional wave-like equation for ϑ = 0.02 , θ = 0.002 , ϕ = 0.03 , t = 0.007 , n = 5 . (a) 2 D figure for the comparison of exact and approximate solutions of w in Example 7. (b) 3 D figure for the comparison of exact and approximate solutions of w in Example 7.
Figure 3. Comparison of exact and approximate solution of fuzzy fractional wave-like equation for ϑ = 0.02 , θ = 0.002 , ϕ = 0.03 , t = 0.007 , n = 5 . (a) 2 D figure for the comparison of exact and approximate solutions of w in Example 7. (b) 3 D figure for the comparison of exact and approximate solutions of w in Example 7.
Fractalfract 06 00656 g003
Figure 4. The exact lower and upper solutions of Equation (222) at ϑ = 0.0001 , θ = 0.05 , t = 0.07 , n = 1 (a) 2D figure for the exact solutions of fuzzy time-fractional ZK(2, 2, 2) equation of w in Example 8. (b) 3D figure for the exact solutions of w in Example 8.
Figure 4. The exact lower and upper solutions of Equation (222) at ϑ = 0.0001 , θ = 0.05 , t = 0.07 , n = 1 (a) 2D figure for the exact solutions of fuzzy time-fractional ZK(2, 2, 2) equation of w in Example 8. (b) 3D figure for the exact solutions of w in Example 8.
Fractalfract 06 00656 g004
Figure 5. The exact lower and upper solutions of Equation (230) at ϑ = 0.1 , θ = 0.4 , ϕ = 0.9 , t = 3 , n = 1 (a) 2D figure for the exact solutions of fuzzy fractional ZK(3, 3, 3) equation of w in Example 9. (b) 3D figure for the exact solutions of w in Example 9.
Figure 5. The exact lower and upper solutions of Equation (230) at ϑ = 0.1 , θ = 0.4 , ϕ = 0.9 , t = 3 , n = 1 (a) 2D figure for the exact solutions of fuzzy fractional ZK(3, 3, 3) equation of w in Example 9. (b) 3D figure for the exact solutions of w in Example 9.
Fractalfract 06 00656 g005
Table 1. Table for the error term between exact solutions (ES) and approximate solutions (AS).
Table 1. Table for the error term between exact solutions (ES) and approximate solutions (AS).
σ Lower ESLower ASLower ErrorUpper ESUpper ASUpper Error
0−3.1552 × 10 5 0.00011003−0.000141580.999971.0001−0.00014158
0.1−3.124 × 10 5 0.00011034−0.000141580.773750.77389−0.00014158
0.2−2.1552 × 10 5 0.00012003−0.000141580.590460.5906−0.00014158
0.34.4385 × 10 5 0.00018597−0.000141580.443670.44382−0.00014158
0.40.000288450.00043003−0.000141580.327650.32779−0.00014158
0.50.000945010.0010866−0.000141580.237270.23741−0.00014158
0.60.00239840.00254−0.000141580.168040.16818−0.00014158
0.70.00522060.0053622−0.000141580.1160.11614−0.00014158
0.80.0102080.01035−0.000141580.0777280.07787−0.00014158
0.90.0184210.018563−0.000141580.0502970.050438−0.00014158
10.0312180.03136−0.000141580.0312180.03136−0.00014158
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

Osman, M.; Xia, Y.; Marwan, M.; Omer, O.A. Novel Approaches for Solving Fuzzy Fractional Partial Differential Equations. Fractal Fract. 2022, 6, 656. https://doi.org/10.3390/fractalfract6110656

AMA Style

Osman M, Xia Y, Marwan M, Omer OA. Novel Approaches for Solving Fuzzy Fractional Partial Differential Equations. Fractal and Fractional. 2022; 6(11):656. https://doi.org/10.3390/fractalfract6110656

Chicago/Turabian Style

Osman, Mawia, Yonghui Xia, Muhammad Marwan, and Omer Abdalrhman Omer. 2022. "Novel Approaches for Solving Fuzzy Fractional Partial Differential Equations" Fractal and Fractional 6, no. 11: 656. https://doi.org/10.3390/fractalfract6110656

APA Style

Osman, M., Xia, Y., Marwan, M., & Omer, O. A. (2022). Novel Approaches for Solving Fuzzy Fractional Partial Differential Equations. Fractal and Fractional, 6(11), 656. https://doi.org/10.3390/fractalfract6110656

Article Metrics

Back to TopTop