Employing the Laplace Residual Power Series Method to Solve (1+1)- and (2+1)-Dimensional Time-Fractional Nonlinear Differential Equations (2024)

1. Introduction

Fractional calculus (FC) extends classical calculus to explore derivatives and integrals of non-integer order, allowing for a wide range of applications and real-life phenomena. Furthermore, FC has become a crucial tool in several fields, including engineering, solid-state physics, signal and image processing, chemistry, biology, ecology, stochastic-based finance, economics, control theory, fiber optics, and viscoelasticity [1,2,3,4,5]. Although many of these problems have been studied using fractional ordering in the literature, many models using fractional differential operators remain to be solved. Therefore, fractional differential equations (FDEs) have drawn the attention of several researchers in developing several analytical and numerical methods for linear and nonlinear problems and discussing dynamical systems. [6,7,8]. Sene and Fall [9] proposed the hom*otopy perturbation Laplace transform method of obtaining the approximate solution of the fractional diffusion equations. Tamsir and Srivastava [10] suggested the fractional reduced differential transform method to study analytically linear and nonlinear time-fractional order Klein–Gordon equations. Sahu and Jena [11] employed the Laplace Adomian decomposition technique to analyze a numerical study with the SDIQR mathematical model of COVID-19 for infected migrants in Odisha. Owolabi et al. [12] proposed the Laplace transform–hom*otopy perturbation method to simulate the time-dependent predator–prey model of Lotka–Volterra. Jawarneh et al. [13] introduced the new transform iteration method and the residual power series transform method to solve fractional nonlinear system Korteweg–de Vries (KdV) equations.

The Laplace residual power series (LRPS) approach is a highly efficient and accurate method for approximating solutions of nonlinear fractional-order partial differential equations (NFPDEs). This approach combines residual power series analysis with the Laplace transformation to provide a practical and fast convergence solution for linear and nonlinear problems. In this approach, the given equations are transferred into Laplace space, constructing fractional power series solutions to the new form of the equations and then using the inverse Laplace transform to obtain the solutions of the original equations. This method has been successfully applied to various equations, yielding accurate and convergent solutions, such as neutral fractional pantograph equations [14], temporal-fractional Drinfeld–Sokolov–Wilson systems [15], coupled fractional neutron diffusion equations [16], time-fractional reaction–diffusion models [17], nonlinear time-fractional Kolmogorov and Rosenau–Hyman models [18], three-dimensional fractional Helmholtz equations [19], fractional Riccati differential equations [20], and nonlinear time-fractional coupled Boussinesq–Burger equations [21].

In this work, we aim to accomplish three primary objectives. Firstly, we aim to develop the LRPS method to derive the analytical solution for a general form of (1+1)-dimensional NFPDEs and use it to solve various time-fractional coupled differential equations. Secondly, we aim to expand the application of the proposed approach to address (2+1)-dimensional time-fractional nonlinear coupled Navier–Stokes equations. Lastly, we aim to provide numerical and graphical solutions for different λ values to demonstrate the effectiveness of LRPS solutions compared to other methodologies, such as Laplace Adomian decomposition (LADM), the Laplace variational iteration method (LVIM), the residual differential transformation method (RDTM), and the Chebyshev method. Our findings highlight the simplicity, accuracy, and practical applicability of the proposed method.

The paper is organized as follows: in Section 2, we define key concepts and terminology. In Section 3, we present the proposed method and demonstrate its applicability to find analytical solutions of some nonlinear time-fractional coupled differential equations. Then, we explain the generalized LRPS method for the (2+1)-dimensional time-fractional coupled Navier–Stokes equations Section 4. Finally, we summarize our findings in Section 5.

2. BasicConcepts

In this section, we will present some basic concepts of the fractional derivative of order λ, where λ > 0 . Although there are various definitions of fractional derivatives available, Riemann–Liouville and Caputo fractional derivatives are the most commonly used ones in the literature. So, the fractional derivative used in this study is in the Caputo meaning.

Definition1

([1]). The Riemann–Liouville fractional integral operator of order λ 0 is defined by

J t λ ψ ( z , t ) = 1 Γ ( λ ) 0 t ( t τ ) λ 1 ψ ( z , τ ) d τ , λ > 0 , ψ ( z , t ) , λ = 0 . ,

Definition2

([1]). For n to be the smallest integer that exceeds λ, the Caputo time-fractional derivative operator of order λ > 0 , n 1 < λ 1 , n N is defined as

D t λ ψ ( z , t ) = J n λ D n ψ ( z , t ) = 1 Γ ( n λ ) 0 t ( t τ ) n λ 1 n ψ ( z , t ) t n d τ , n 1 < λ < n , n ψ ( z , t ) t n , λ = n N .

Definition3

([16]). Let ψ ( z , t ) be a continuous function on I × [ 0 , ) and of exponential order δ. Then, the Laplace transform of the function ψ ( z , t ) is denoted and defined as follows:

Ψ ( z , s ) = L [ ψ ( z , t ) ] : = 0 e s t ψ ( z , t ) d t , s > δ ,

whereas the inverse Laplace transform of the function Ψ ( z , s ) is defined as follows:

ψ ( z , t ) = L 1 [ Ψ ( z , s ) ] : = c i c + i e s t Ψ ( z , s ) d s , c = Re ( s ) > c 0 ,

where c 0 lies in the right half plane of the absolute convergence of the Laplace integral.

Assuming Ψ ( z , s ) = L [ ψ ( z , t ) ] , Φ ( z , s ) = L [ Φ ( z , t ) ] , ζ 1 , ζ 2 R , we summarize the Laplace transform and its inverse below, highlighting their most prominent features.

1.

L ζ 1 ψ ( z , t ) + ζ 2 ϕ ( z , t ) = ζ 1 Ψ ( z , s ) + ζ 2 Φ ( z , s ) .

2.

L 1 ζ 1 Ψ ( z , s ) + ζ 2 Φ ( z , s ) = ζ 1 ψ ( z , t ) + ζ 2 ϕ ( z , t ) .

3.

L e a t ψ ( z , t ) = Ψ ( z , s a ) ,

4.

L t m λ = Γ ( m λ + 1 ) s m λ + 1 , λ > 1 .

In the following lemma, we introduce several essential characteristics of the Laplace transform and the fractional derivative in the Caputo sense.

Lemma1

([16]). Let ψ ( z , t ) be a continuous function on I × [ 0 , ) and of exponential orders δ, and Ψ ( z , s ) = L [ ψ ( z , t ) ] . Then,

(i)-

lim s s Ψ ( z , s ) = ψ ( z , 0 ) , z I ;

(ii)-

L J t λ ψ ( z , t ) = s λ 1 Ψ ( z , s ) , λ > 0 ;

(iii)-

L D t λ ψ ( z , t ) = s λ Ψ ( z , s ) k = 0 n 1 s λ k 1 t k ψ ( z , 0 ) , n 1 < λ < n ;

(iv)-

L D t m λ ψ ( z , t ) = s m λ Ψ ( z , s ) k = 0 m 1 s ( m k ) λ 1 D t k λ ψ ( z , 0 ) , 0 < λ < 1 .

where D t m λ = D t λ · D t λ D t λ (m-times).

Theorem1.

Let ψ ( z , t ) be continuous on I × [ 0 , ) and of exponential order δ. Suppose that the function Ψ ( z , s ) = L [ ψ ( z , t ) ] has the following fractional expansion:

Ψ ( z , s ) = n = 0 f n ( z ) s n λ + 1 , 0 < λ 1 , z I , s > δ ,

then f n ( z ) = D t n λ ψ ( z , 0 ) .

3. Derivation LRPSMethod

In this section, we discuss how to construct the solutions to some nonlinear coupled fractional partial differential equations using the LRPS method. The main algorithm of this method for solving nonlinear NFPDEs can be summarized by applying the Laplace transform to the mentioned equation and using the expansion as given in Theorem 1 to represent the solution of Laplace NFPDEs. Then, the coefficients of this expansion are determined similarly to the RPS method but with a new vision and a new analysis. Finally, we apply the inverse Laplace transform and obtain a solution to this problem in the original space.

3.1. The (1+1)-Dimensional Time-Fractional Coupled Differential Equation

Consider the following coupled fractional equation in the general form

D t λ u ( z , t ) = R 1 u , v , D z u , D z v , D z 2 u , D z 2 v , + N 1 u , v , D z u , D z v , D z 2 u , D z 2 v , ,

D t λ v ( z , t ) = R 2 u , v , D z u , D z v , D z 2 u , D z 2 v , + N 2 u , v , D z u , D z v , D z 2 u , D z 2 v , .

Subject to the initial conditions

u ( z , 0 ) = f 0 ( z ) ,

v ( z , 0 ) = g 0 ( z ) ,

where D t λ = λ t λ is the Caputo derivative, D z n = n z n , n = 1 , 2 , , and R 1 , R 2 and N 1 , N 2 are linear and nonlinear operators, respectively, and 0 < λ 1 .

By utilizing the Laplace transform on Equations (6)–(9), we obtain

L D t λ u ( z , t ) = L R 1 u , v , D z u , D z v , D z 2 u , D z 2 v , + L N 1 u , v , D z u , D z v , D z 2 u , D z 2 v , ,

L D t λ v ( z , t ) = L R 2 u , v , D z u , D z v , D z 2 u , D z 2 v , + L N 2 u , v , D z u , D z v , D z 2 u , D z 2 v , .

Using the fact that L [ D t λ u ( z , t ) ] = s λ L [ u ( z , t ) ] s λ 1 u ( z , 0 ) = s λ L [ u ( z , t ) ] s λ 1 f 0 ( z ) and L [ D t λ v ( z , t ) ] = s λ L [ v ( z , t ) ] s λ 1 v ( z , 0 ) = s λ L [ v ( z , t ) ] s λ 1 g 0 ( z ) , we can write Equations (10) and (11) as

U ( z , s ) = f 0 ( z ) s + 1 s λ R 1 U , V , D z U , D z V , D z 2 U , D z 2 V , + 1 s λ L N 1 L 1 [ U ] , L 1 [ V ] , L 1 D z U , L 1 D z V , L 1 D z 2 U , L 1 D z 2 V , ,

V ( z , t ) = g 0 ( z ) s + 1 s λ R 2 U , V , D z U , D z V , D z 2 U , D z 2 V , + 1 s λ L N 2 L 1 [ U ] , L 1 [ V ] , L 1 D z U , L 1 D z V , L 1 D z 2 U , L 1 D z 2 V , .

where U ( z , s ) = L [ u ( z , t ) ] , V ( z , s ) = L [ v ( z , t ) ] . Now, we assume that both U ( z , s ) and V ( z , s ) have fractional power series representations as follows:

U ( z , s ) = n = 0 f n ( z ) s n λ + 1 ,

V ( z , s ) = n = 0 g n ( z ) s n λ + 1 .

The k-th truncated series of Equations (14) and (15) take the forms

U k ( z , s ) = n = 0 k f n ( z ) s n λ + 1 ,

V k ( z , s ) = n = 0 k g n ( z ) s n λ + 1 ,

where f 0 ( z ) nd g 0 ( z ) are the initial conditions given in Equations (8) and (9). To find the unknown coefficients of the series in Equations (12) and (13), we define the Laplace residual functions for the coupled equations in Equations (16) and (17) as follows:

L R e s U ( z , s ) = U ( z , s ) f 0 ( z ) s 1 s λ R 1 U , V , D z U , D z V , D z 2 U , D z 2 V , 1 s λ L N 1 L 1 [ U ] , L 1 [ V ] , L 1 D z U , L 1 D z V , L 1 D z 2 U , L 1 D z 2 V , ,

L R e s V ( z , s ) = V ( z , t ) g 0 ( z ) s 1 s λ R 2 U , V , D z U , D z V , D z 2 U , D z 2 V , 1 s λ L N 2 L 1 [ U ] , L 1 [ V ] , L 1 D z U , L 1 D z V , L 1 D z 2 U , L 1 D z 2 V , .

For the k-th Laplace residual function, we have

L R e s U k ( z , s ) = U k ( z , s ) f 0 ( z ) s 1 s λ R 1 U k , V k , D z U k , D z V k , D z 2 U k , D z 2 V k , 1 s λ L N 1 L 1 [ U k ] , L 1 [ V k ] , L 1 D z U k , L 1 D z V k , L 1 D z 2 U k , L 1 D z 2 V k , ,

L R e s V k ( z , s ) = V k ( z , t ) g 0 ( z ) s 1 s λ R 2 U k , V k , D z U k , D z V k , D z 2 U k , D z 2 V k , 1 s λ L N 2 L 1 [ U k ] , L 1 [ V k ] , L 1 D z U k , L 1 D z V k , L 1 D z 2 U k , L 1 D z 2 V k , .

Substituting Equations (16) and (17) into Equations (20) and (21), we obtain

L R e s U k ( z , s ) = n = 1 k f n ( z ) s n λ + 1 1 s λ R 1 n = 0 k f n ( z ) s n λ + 1 , n = 0 k g n ( z ) s n λ + 1 , n = 0 k f n ( z ) s n λ + 1 , n = 0 k g n ( z ) s n λ + 1 , n = 0 k f n ( z ) s n λ + 1 , n = 0 k g n ( z ) s n λ + 1 , 1 s λ L N 1 L 1 n = 0 k f n ( z ) s n λ + 1 , L 1 n = 0 k g n ( z ) s n λ + 1 , L 1 n = 0 k f n ( z ) s n λ + 1 , L 1 n = 0 k g n ( z ) s n λ + 1 , L 1 n = 0 k f n ( z ) s n λ + 1 , L 1 n = 0 k g n ( z ) s n λ + 1 , ,

L R e s V k ( z , s ) = n = 1 k g n ( z ) s n λ + 1 1 s λ R 2 n = 0 k f n ( z ) s n λ + 1 , n = 0 k g n ( z ) s n λ + 1 , n = 0 k f n ( z ) s n λ + 1 , n = 0 k g n ( z ) s n λ + 1 , n = 0 k f n ( z ) s n λ + 1 , n = 0 k g n ( z ) s n λ + 1 , 1 s λ L N 2 L 1 n = 0 k f n ( z ) s n λ + 1 , L 1 n = 0 k g n ( z ) s n λ + 1 , L 1 n = 0 k f n ( z ) s n λ + 1 , L 1 n = 0 k g n ( z ) s n λ + 1 , L 1 n = 0 k f n ( z ) s n λ + 1 , L 1 n = 0 k g n ( z ) s n λ + 1 , .

Using L 1 n = 0 k f n ( z ) s n λ + 1 = n = 0 k t n λ f n ( z ) Γ ( n λ + 1 ) in Equations (22) and (23), we obtain

L R e s U k ( z , s ) = n = 1 k f n ( z ) s n λ + 1 1 s λ R 1 n = 0 k f n ( z ) s n λ + 1 , n = 0 k g n ( z ) s n λ + 1 , n = 0 k f n ( z ) s n λ + 1 , n = 0 k g n ( z ) s n λ + 1 , n = 0 k f n ( z ) s n λ + 1 , n = 0 k g n ( z ) s n λ + 1 , 1 s λ L N 1 n = 0 k t n λ f n ( z ) Γ ( n λ + 1 ) , n = 0 k t n λ g n ( z ) Γ ( n λ + 1 ) , n = 0 k t n λ f n ( z ) Γ ( n λ + 1 ) , n = 0 k t n λ g n ( z ) Γ ( n λ + 1 ) , n = 0 k t n λ f n ( z ) Γ ( n λ + 1 ) , n = 0 k t n λ g n ( z ) Γ ( n λ + 1 ) , ,

L R e s V k ( z , s ) = n = 1 k g n ( z ) s n λ + 1 1 s λ R 2 n = 0 k f n ( z ) s n λ + 1 , n = 0 k g n ( z ) s n λ + 1 , n = 0 k f n ( z ) s n λ + 1 , n = 0 k g n ( z ) s n λ + 1 , n = 0 k f n ( z ) s n λ + 1 , n = 0 k g n ( z ) s n λ + 1 , 1 s λ L N 2 n = 0 k t n λ f n ( z ) Γ ( n λ + 1 ) , n = 0 k t n λ g n ( z ) Γ ( n λ + 1 ) , n = 0 k t n λ f n ( z ) Γ ( n λ + 1 ) , n = 0 k t n λ g n ( z ) Γ ( n λ + 1 ) , n = 0 k t n λ f n ( z ) Γ ( n λ + 1 ) , n = 0 k t n λ g n ( z ) Γ ( n λ + 1 ) , .

The next step is to solve the following system to calculate f k ( z ) and g k ( z ) , k = 1 , 2 ,

lim s s k λ + 1 L R e s U k ( z , s ) = 0 ,

lim s s k λ + 1 L R e s V k ( z , s ) = 0 .

Finally, by substituting the series solution f k ( z ) and g k ( z ) obtained from Equations (26) and (27) into Equations (16) and (17) and taking the inverse Laplace transform, we obtain the solutions of system (6)–(9) as follows:

u ( z , t ) = n = 0 t n λ f n ( z ) Γ ( n λ + 1 ) ,

v ( z , t ) = n = 0 t n λ g n ( z ) Γ ( n λ + 1 ) .

3.2. IllustrativeExamples

This section presents three important examples of the LRPS method to demonstrate its performance and efficiency. Throughout this paper, we used the Wolfram Mathematica 14 software package to compute numerical results.

Example1.

Consider the following coupled time-fractional Burger equations [22,23,24]:

D t λ u ( z , t ) = a D z 2 u ( z , t ) + b u ( z , t ) D z u ( z , t ) c u ( z , t ) D z v ( z , t ) c v ( z , t ) D z u ( z , t ) ,

D t λ v ( z , t ) = ρ D z 2 v ( z , t ) + γ v ( z , t ) D z v ( z , t ) ϵ u ( z , t ) D z v ( z , t ) ϵ v ( z , t ) D z u ( z , t ) .

Subject to the initial conditions

u ( z , 0 ) = f 0 ( z ) = v ( z , 0 ) = g 0 ( z ) .

In this system, we have

R 1 u , v , D z u , D z v , D z 2 u , D z 2 v , = a D z 2 u ( z , t ) , R 2 u , v , D z u , D z v , D z 2 u , D z 2 v , = ρ D z 2 v ( z , t ) , N 1 u , v , D z u , D z v , D z 2 u , D z 2 v , = b u ( z , t ) D z u ( z , t ) c u ( z , t ) D z v ( z , t ) c v ( z , t ) D z u ( z , t ) , N 2 u , v , D z u , D z v , D z 2 u , D z 2 v , = γ v ( z , t ) D z v ( z , t ) ϵ u ( z , t ) D z v ( z , t ) ϵ v ( z , t ) D z u ( z , t ) .

Applying system (24) and (25), we obtain

L R e s U k ( z , s ) = n = 1 k f n ( z ) s n λ + 1 a s λ n = 0 k f n ( z ) s n λ + 1 1 s λ L b n = 0 k t n λ f n ( z ) Γ ( n λ + 1 ) n = 0 k t n λ f n ( z ) Γ ( n λ + 1 ) c n = 0 k t n λ f n ( z ) Γ ( n λ + 1 ) n = 0 k t n λ g n ( z ) Γ ( n λ + 1 ) c n = 0 k t n λ g n ( z ) Γ ( n λ + 1 ) n = 0 k t n λ f n ( z ) Γ ( n λ + 1 ) ,

L R e s V k ( z , s ) = n = 1 k g n ( z ) s n λ + 1 ρ s λ n = 0 k g n ( z ) s n λ + 1 1 s λ L γ n = 0 k t n λ g n ( z ) Γ ( n λ + 1 ) n = 0 k t n λ g n ( z ) Γ ( n λ + 1 ) ϵ n = 0 k t n λ f n ( z ) Γ ( n λ + 1 ) n = 0 k t n λ g n ( z ) Γ ( n λ + 1 ) ϵ n = 0 k t n λ g n ( z ) Γ ( n λ + 1 ) n = 0 k t n λ f n ( z ) Γ ( n λ + 1 ) .

If we take k = 1 , we obtain

L R e s U 1 ( z , s ) = f 1 ( z ) s λ + 1 a s λ f 0 ( z ) s + f 1 ( z ) s λ + 1 1 s λ L b f 0 ( z ) + t λ f 1 ( z ) Γ ( λ + 1 ) f 0 ( z ) + t λ f 1 ( z ) Γ ( λ + 1 ) c f 0 ( z ) + t λ f 1 ( z ) Γ ( λ + 1 ) g 0 ( z ) + t λ g 1 ( z ) Γ ( λ + 1 ) c g 0 ( z ) + t λ g 1 ( z ) Γ ( λ + 1 ) f 0 ( z ) + t λ f 1 ( z ) Γ ( λ + 1 ) ,

L R e s V k ( z , s ) = g 1 ( z ) s λ + 1 1 s λ g 0 ( z ) s + g 1 ( z ) s λ + 1 ρ s λ L γ g 0 ( z ) + t λ g 1 ( z ) Γ ( λ + 1 ) g 0 ( z ) + t λ g 1 ( z ) Γ ( λ + 1 ) ϵ f 0 ( z ) + t λ f 1 ( z ) Γ ( λ + 1 ) g 0 ( z ) + t λ g 1 ( z ) Γ ( λ + 1 ) ϵ g 0 ( z ) + t λ g 1 ( z ) Γ ( λ + 1 ) f 0 ( z ) + t λ f 1 ( z ) Γ ( λ + 1 ) .

Next, by solving the system lim s s λ + 1 L R e s U 1 ( z , s ) = 0 , lim s s λ + 1 L R e s V 1 ( z , s ) = 0 , for f 1 ( z ) , g 1 ( z ) , one can obtain:

f 1 ( z ) = a f 0 ( z ) + b f 0 ( z ) f 0 ( z ) c f 0 ( z ) g 0 ( z ) c g 0 ( z ) f 0 ( z ) ,

g 1 ( z ) = ρ g 0 ( z ) + γ g 0 ( z ) g 0 ( z ) ϵ g 0 ( z ) f 0 ( z ) ϵ f 0 ( z ) g 0 ( z ) .

In the same way, continuing to solve (26) and (27) for every f k ( z ) , g k ( z ) , k = 2 , 3 , and as a special case when a = 1 , b = 2 , c = 1 , ρ = 1 , γ = 2 , ϵ = 1 and f 0 ( z ) = g 0 ( z ) = s i n ( z ) , we obtain

f 1 ( z ) = s i n ( z ) , g 1 ( z ) = s i n ( z ) , f 2 ( z ) = s i n ( z ) , g 2 ( z ) = s i n ( z ) , f 3 ( z ) = s i n ( z ) , g 3 ( z ) = s i n ( z ) , f 4 ( z ) = s i n ( z ) , g 4 ( z ) = s i n ( z ) , .

Substituting in Equations (28) and (29), we obtain

u ( z , t ) = sin ( z ) t λ sin ( z ) Γ ( λ + 1 ) + t 2 λ sin ( z ) Γ ( 2 λ + 1 ) t 3 λ sin ( z ) Γ ( 3 λ + 1 ) + t 4 λ sin ( z ) Γ ( 4 λ + 1 ) t 5 λ sin ( z ) Γ ( 5 λ + 1 ) +

v ( z , t ) = sin ( z ) t λ sin ( z ) Γ ( λ + 1 ) + t 2 λ sin ( z ) Γ ( 2 λ + 1 ) t 3 λ sin ( z ) Γ ( 3 λ + 1 ) + t 4 λ sin ( z ) Γ ( 4 λ + 1 ) t 5 λ sin ( z ) Γ ( 5 λ + 1 ) +

Table 1 compares the results of the proposed method with the results of other existing methods at λ = 1 , 5 z 5 . In comparison with the other methods, this method is more accurate.

Example2.

Consider the time-fractional coupled KdV equation [25,26,27,28]

D t λ u ( z , t ) = a 1 D z 3 u ( z , t ) + 6 a 1 u ( z , t ) D z u ( z , t ) + 2 b 1 v ( z , t ) D z v ( z , t ) , D t λ v ( z , t ) = D z 3 v ( z , t ) 3 u ( z , t ) D z v ( z , t ) ,

with the initial conditions

u ( z , 0 ) = f 0 ( z ) = ρ 2 1 + a 1 3 + 6 a 1 + 4 ρ 2 e ρ z 1 + e ρ z 2 , v ( z , 0 ) = g 0 ( z ) = d e ρ z 1 + e ρ z 2 , a z b ,

where c = a 1 ρ 2 1 + 2 a 1 , d = ρ 2 24 a 1 b 1 , a 1 b 1 < 0 , and ρ is a constant. The exact solutions of this system at λ = 1 are given sa u ( z , t ) = ρ 2 1 + a 1 3 + 6 a 1 + 4 ρ 2 e ρ ( z + c t ) 1 + e ρ ( z + c t ) 2 , v ( z , t ) = d e ρ ( z + c t ) 1 + e ρ ( z + c t ) 2 .

In this system, we have

R 1 u , v , D z u , D z v , D z 2 u , D z 2 v , = a 1 D z 3 u ( z , t ) , R 2 u , v , D z u , D z v , D z 2 u , D z 2 v , = D z 3 v ( z , t ) , N 1 u , v , D z u , D z v , D z 2 u , D z 2 v , = 6 a 1 u ( z , t ) D z u ( z , t ) + 2 b 1 v ( z , t ) D z v ( z , t ) , N 2 u , v , D z u , D z v , D z 2 u , D z 2 v , = 3 u ( z , t ) D z v ( z , t ) .

So, the system (24) and (25) for Equations (41) and (42) can be written as follows:

L R e s U k ( z , s ) = n = 1 k f n ( z ) s n λ + 1 a 1 s λ n = 0 k f n ( 3 ) ( z ) s n λ + 1 1 s λ L 6 a 1 n = 0 k t n λ f n ( z ) Γ ( n λ + 1 ) n = 0 k t n λ f n ( z ) Γ ( n λ + 1 ) + 2 b 1 n = 0 k t n λ g n ( z ) Γ ( n λ + 1 ) n = 0 k t n λ g n ( z ) Γ ( n λ + 1 ) ,

L R e s V k ( z , s ) = n = 1 k g n ( z ) s n λ + 1 + 1 s λ n = 0 k g n ( 3 ) ( z ) s n λ + 1 + 3 s λ L n = 0 k t n λ f n ( z ) Γ ( n λ + 1 ) n = 0 k t n λ g n ( z ) Γ ( n λ + 1 ) .

For k = 1 , we get

L R e s U 1 ( z , s ) = f 1 ( z ) s λ + 1 a 1 s λ f 0 ( 3 ) ( z ) s + f 1 ( 3 ) ( z ) s λ + 1 1 s λ L 6 a 1 f 0 ( z ) + t λ f 1 ( z ) Γ ( λ + 1 ) × f 0 ( z ) + t λ f 1 ( z ) Γ ( λ + 1 ) + 2 b 1 g 0 ( z ) + t λ g 1 ( z ) Γ ( λ + 1 ) g 0 ( z ) + t λ g 1 ( z ) Γ ( λ + 1 ) ,

L R e s V 1 ( z , s ) = g 1 ( z ) s λ + 1 + 1 s λ g 0 ( 3 ) ( z ) s + g 1 ( 3 ) ( z ) s λ + 1 + 3 s λ L f 0 ( z ) + t λ f 1 ( z ) Γ ( λ + 1 ) g 0 ( z ) + t λ g 1 ( z ) Γ ( λ + 1 ) .

Solving the system lim s s λ + 1 L R e s U 1 ( z , s ) = 0 lim s s λ + 1 L R e s V 1 ( z , s ) = 0 for f 1 ( z ) , g 1 ( z ) , we obtain

f 1 ( z ) = a 1 f 0 ( 3 ) ( z ) + 6 a 1 f 0 ( z ) f 0 ( z ) + 2 b 1 g 0 ( z ) g 0 ( z ) , g 1 ( z ) = g 0 ( 3 ) ( z ) 3 f 0 ( z ) g 0 ( z ) .

Similarly, we can obtain both f k ( z ) and g k ( z ) for each k = 2 , 3 . As a particular case, if we substitute by the initial conditions f 0 ( z ) , g ( z ) and a 1 = 1.5 , b 1 = 0.1 , ρ = 0.1 , in obtained solutions, we obtain

f 1 ( z ) = 0.00003 e 0.1 z + e 0.2 z e 0.3 z e 0.4 z 1 + e 0.1 z 5 ,

g 1 ( z ) = 0.000142302 e 0.1 z + e 0.2 z e 0.3 z e 0.4 z 1 + e 0.1 z 5 ,

f 2 ( z ) = 9 4 e 0.1 z + e z + 3 e 0.2 z + e 0.9 z 6 e 0.3 z + e 0.8 z 42 e 0.4 z + e 0.7 z 84 e 0.5 z + e 0.6 z × 10 8 1 + e 0.1 z 11 ,

g 2 ( z ) = 1.07 e 0.1 z + e z + 3.2 e 0.2 z + e 0.9 z 6.4 e 0.3 z + e 0.8 z 44.8 e 0.4 z + e 0.7 z 89.7 e 0.5 z + e 0.6 z × 10 7 1 + e 0.1 z 11 .

To obtain the solutions, we substitute the values of f k ( z ) and g k ( z ) , k = 1 , 2 , into Equations (28) and (29):

u ( z , t ) = 0.000833333 + 0.04 e 0.1 ( z + 0 . ) e 0.1 ( z + 0 . ) + 1 2 0.00003 t λ e 0.1 z + e 0.2 z e 0.3 z e 0.4 z Γ ( λ + 1 ) 1 + e 0.1 z 5 + 9 4 × 10 8 t 2 λ e 0.1 z + e z + 3 e 0.2 z + e 0.9 z 6 e 0.3 z + e 0.8 z 42 e 0.4 z + e 0.7 z 84 e 0.5 z + e 0.6 z Γ ( λ + 1 ) 1 + e 0.1 z 11 + v ( z , t ) = 0.189737 e 0.1 ( z + 0 . ) e 0.1 ( z + 0 . ) + 1 2 0.000142302 t λ e 0.1 z + e 0.2 z e 0.3 z e 0.4 z Γ ( λ + 1 ) 1 + e 0.1 z 5 + 10 7 t 2 λ 1.07 e 0.1 z + e z + 3.2 e 0.2 z + e 0.9 z 6.4 e 0.3 z + e 0.8 z 44.8 e 0.4 z + e 0.7 z 89.7 e 0.5 z + e 0.6 z Γ ( λ + 1 ) 1 + e 0.1 z 11 +

Table 2 displays the error norms computed at different space and time levels, indicating acceptable accuracy with the current method at λ = 1 .

Since the exact solutions do not exist for varied values of λ, we need to confirm the validity of our method by measuring absolute two-step errors | U n U n 1 | and | V n V n 1 | . For the sake of comparison, the constants have been assumed to be a 1 = 1 , b 1 = 3 2 , t = 0.1 and λ = 0.5 , 0.3 , and the results are listed in Table 3 in comparison to the results of the Chebyshev method [25]. Figure 1 shows the surface graphs of the approximate LRPS and the exact solutions for Equations (41) and (42) when z [ 5 , 5 ] , t [ 0 , 1 ] and λ = 1 . These subfigures clearly show that the approximate solutions U ( z , t ) and V ( z , t ) are close to the exact solutions.

Example3.

Consider the nonlinear time-fractional coupled Whitham–Broer–Kaup equations [29,30,31]:

D t λ u ( z , t ) = u ( z , t ) D z u ( z , t ) D z v ( z , t ) ξ D z 2 u ( z , t ) , D t λ v ( z , t ) = u ( z , t ) D z v ( z , t ) v ( z , t ) D z u ( z , t ) + ξ D z 2 v ( z , t ) η D z 3 u ( z , t ) , 0 < λ 1 .

Subject to the initial conditions

u ( z , 0 ) = f 0 ( z ) = 1 2 ( 1 16 tanh ( 2 z ) ) , v ( z , 0 ) = g 0 ( z ) = 16 1 tanh 2 ( 2 z ) , z [ a , b ] .

The linear and nonlinear parts of this system are

R 1 u , v , D z u , D z v , D z 2 u , D z 2 v , = D z v ( z , t ) ξ D z 2 u ( z , t ) , R 2 u , v , D z u , D z v , D z 2 u , D z 2 v , = ξ D z 2 v ( z , t ) η D z 3 u ( z , t ) , N 1 u , v , D z u , D z v , D z 2 u , D z 2 v , = u ( z , t ) D z u ( z , t ) , N 2 u , v , D z u , D z v , D z 2 u , D z 2 v , = u ( z , t ) D z v ( z , t ) v ( z , t ) D z u ( z , t ) .

So, applying the system (24) and (25) for Equations (51) and (52), we obtain

L R e s U k ( z , s ) = n = 1 k f n ( z ) s n λ + 1 + 1 s λ n = 0 k g n ( z ) s n λ + 1 + ξ n = 0 k f n ( z ) s n λ + 1 + 1 s λ L n = 0 k t n λ f n ( z ) Γ ( n λ + 1 ) n = 0 k t n λ f n ( z ) Γ ( n λ + 1 ) ,

L R e s V k ( z , s ) = n = 1 k g n ( z ) s n λ + 1 + 1 s λ ξ n = 0 k g n ( z ) s n λ + 1 η n = 0 k f n ( 3 ) ( z ) s n λ + 1 + 1 s λ L n = 0 k t n λ f n ( z ) Γ ( n λ + 1 ) n = 0 k t n λ g n ( z ) Γ ( n λ + 1 ) + n = 0 k t n λ g n ( z ) Γ ( n λ + 1 ) n = 0 k t n λ f n ( z ) Γ ( n λ + 1 ) .

To determine f 1 ( z ) and g 1 ( z ) , we consider k = 1 , which yields to

L R e s U 1 ( z , s ) = f 1 ( z ) s λ + 1 + 1 s λ g 0 ( z ) s + g 1 ( z ) s λ + 1 + ξ f 0 ( z ) s + ξ f 1 ( z ) s λ + 1 + 1 s λ L f 0 ( z ) + t λ f 1 ( z ) Γ ( λ + 1 ) f 0 ( z ) + t λ f 1 ( z ) Γ ( λ + 1 ) ,

L R e s V 1 ( z , s ) = g 1 ( z ) s λ + 1 + 1 s λ ξ g 0 ( z ) s + ξ g 1 ( z ) s λ + 1 η f 0 ( 3 ) ( z ) s η f 1 ( 3 ) ( z ) s λ + 1 + 1 s λ L f 0 ( z ) + t λ f 1 ( z ) Γ ( λ + 1 ) g 0 ( z ) + t λ g 1 ( z ) Γ ( λ + 1 ) + g 0 ( z ) + t λ g 1 ( z ) Γ ( λ + 1 ) f 0 ( z ) + t λ f 1 ( z ) Γ ( λ + 1 ) .

Now, to determine f 1 ( z ) and g 1 ( z ) , we multiply the Equations (55) and (56) by s λ + 1 and s λ + 1 , respectively, and then solve recursively the the system lim s s λ + 1 L R e s U 1 ( z , s ) = 0 , lim s s λ + 1 L R e s V 1 ( z , s ) = 0 , for f 1 ( z ) and g ( z ) , we obtain

f 1 ( z ) = f 0 ( z ) f 0 ( z ) g 0 ( z ) ξ f 0 ( z ) , g 1 ( z ) = g 0 ( z ) f 0 ( z ) f 0 ( z ) g 0 ( z ) + ξ g 0 ( z ) η f 0 ( 3 ) ( z ) .

Similarly, we determine f k ( z ) and g k ( z ) , k = 2 , 3 , . The following are the first few elements of the sequence f k ( z ) , g k ( z ) when ξ = 1 , η = 3 .

f 1 ( z ) = 8 s e c h 2 ( 2 z ) , g 1 ( z ) = 32 s e c h 2 ( 2 z ) tanh ( 2 z ) , f 2 ( z ) = 16 s e c h 2 ( 2 z ) tanh ( 2 z ) , g 2 ( z ) = 32 ( cosh ( 4 z ) 2 ) s e c h 4 ( 2 z ) , f 3 ( z ) = 16 s e c h 4 ( 2 z ) 2 cosh ( 4 z ) 32 tanh ( 2 z ) + 4 λ + 2 Γ ( λ + 1 2 ) tanh ( 2 z ) π Γ ( λ + 1 ) , g 3 ( z ) = 16 s e c h 6 ( 2 z ) 128 cosh ( 4 z ) 10 sinh ( 4 z ) + sinh ( 8 z ) 192 + 32 ( 3 2 cosh ( 4 z ) ) Γ ( 2 λ + 1 ) Γ ( λ + 1 ) 2 ,

Consequently, by substituting in Equations (28) and (29), one can write the approximate solutions for the system (51) and (52) as the following expansion:

u ( z , t ) = 1 2 ( 1 16 tanh ( 2 z ) ) + 8 t λ s e c h 2 ( 2 z ) Γ ( λ + 1 ) + 16 t 2 λ s e c h 2 ( 2 z ) tanh ( 2 z ) Γ ( 2 λ + 1 ) + 16 s e c h 4 ( 2 z ) 2 cosh ( 4 z ) 32 tanh ( 2 z ) Γ ( 3 λ + 1 ) + 4 λ + 2 Γ ( λ + 1 2 ) tanh ( 2 z ) π Γ ( λ + 1 ) Γ ( 3 λ + 1 ) + , v ( z , t ) = 16 1 tanh 2 ( 2 z ) + 32 t λ s e c h 2 ( 2 z ) tanh ( 2 z ) Γ ( λ + 1 ) + 32 t 2 λ ( cosh ( 4 z ) 2 ) s e c h 4 ( 2 z ) Γ ( 2 λ + 1 ) + 16 s e c h 6 ( 2 z ) 128 cosh ( 4 z ) 10 sinh ( 4 z ) + sinh ( 8 z ) 192 Γ ( 3 λ + 1 ) + 32 ( 3 2 cosh ( 4 z ) ) Γ ( 2 λ + 1 ) Γ ( λ + 1 ) 2 Γ ( 3 λ + 1 ) + .

Table 4 summarizes the maximum absolute errors for the obtained solutions of system (51) and (52) computed at different values of z and t. Additionally, Figure 2 shows the behavior of the approximate solutions and compares them with the exact solution. The numerical and graphical results demonstrate the harmony and convergence between the approximate and exact solutions.

4. The (2+1)-Dimensional Time-Fractional Coupled Differential Equation

In this section, we applied the LRPS method to solve the two dimensional coupled fractional Navier–Stokes equations of the form

D t λ u ( z , w , t ) + u ( z , w , t ) u z ( z , w , t ) + v ( z , w , t ) u w ( z , w , t ) = ρ 0 u zz ( z , w , t ) + u ww ( z , w , t ) , D t λ v ( z , w , t ) + u ( z , w , t ) v z ( z , w , t ) + v ( z , w , t ) v w ( z , w , t ) = ρ 0 v zz ( z , w , t ) + v ww ( z , w , t ) , 0 < λ 1 .

Subject to the initial conditions

v ( z , w , 0 ) = f 0 ( z , w ) , u ( z , w , 0 ) = g 0 ( z , w ) .

Applying the Laplace transform to Equations (57) and (58), we obtain

L D t λ u ( z , w , t ) = ρ 0 L u zz ( z , w , t ) + u ww ( z , w , t ) L u ( z , w , t ) u z ( z , w , t ) + v ( z , w , t ) u w ( z , w , t ) ,

L D t λ v ( z , w , t ) = ρ 0 L v ( z , w , t ) + v ww ( z , w , t ) L u ( z , w , t ) v z ( z , w , t ) + v ( z , w , t ) v w ( z , w , t ) .

Using L [ D t λ u ( z , w , t ) ] = s λ L [ u ( z , w , t ) ] s λ 1 u ( z , w , 0 ) = s λ L [ u ( z , w , t ) ] s λ 1 f 0 ( z , w ) and L [ D t λ v ( z , w , t ) ] = s λ L [ v ( z , w , t ) ] s λ 1 v ( z , w , 0 ) = s λ L [ v ( z , w , t ) ] s λ 1 g 0 ( z , w ) , we can write Equations (59) and (60) as

U ( z , w , s ) = f 0 ( z , w ) s + ρ 0 s λ D z 2 U ( z , w , s ) + D w 2 U ( z , w , s ) 1 s λ L L 1 [ U ( z , w , s ) ] L 1 [ D z U ( z , w , s ) ] + L 1 V ( z , w , s ) L 1 D w U ( z , w , s ) ,

V ( z , w , t ) = g 0 ( z , w ) s + ρ 0 s λ D z 2 V ( z , w , s ) + D w 2 V ( z , w , s ) 1 s λ L L 1 [ U ( z , w , s ) ] L 1 [ D z V ( z , w , s ) ] + L 1 V ( z , w , s ) L 1 D w V ( z , w , s ) ,

where U ( z , w , s ) = L [ u ( z , w , t ) ] , V ( z , w , s ) = L [ v ( z , w , t ) ] . By writing transformed functions U ( z , w , s ) and V ( z , w , s ) as fractional power series representations, we obtain

U ( z , w , s ) = n = 0 f n ( z , w ) s n λ + 1 ,

V ( z , w , s ) = n = 0 g n ( z , w ) s n λ + 1 .

The k-th truncated series of Equations (63) and (64) take the forms

U k ( z , w , s ) = n = 0 k f n ( z , w ) s n λ + 1 ,

V k ( z , w , s ) = n = 0 k g n ( z , w ) s n λ + 1 ,

where f 0 ( z , w ) nd g 0 ( z , w ) are the initial conditions. To find the unknown coefficients of the series in Equations (61) and (62), we define the Laplace residual functions for the coupled equations in Equations (65) and (66) as follows:

L R e s U ( z , w , s ) = U ( z , w , s ) f 0 ( z , w ) s ρ 0 s λ D z 2 U ( z , w , s ) + D w 2 U ( z , w , s ) + 1 s λ L L 1 [ U ( z , w , s ) ] L 1 [ D z U ( z , w , s ) ] + L 1 V ( z , w , s ) L 1 D w U ( z , w , s ) ,

L R e s V ( z , w , s ) = V ( z , w , t ) g 0 ( z , w ) s ρ 0 s λ D z 2 V ( z , w , s ) + D w 2 V ( z , w , s ) + 1 s λ L L 1 [ U ( z , w , s ) ] L 1 [ D z V ( z , w , s ) ] + L 1 V ( z , w , s ) L 1 D w V ( z , w , s ) .

For the k-th Laplace residual function, we have

L R e s U k ( z , w , s ) = U k ( z , w , s ) f 0 ( z , w ) s ρ 0 s λ D z 2 U k ( z , w , s ) + D w 2 U k ( z , w , s ) + 1 s λ L L 1 [ U k ( z , w , s ) ] L 1 [ D z U k ( z , w , s ) ] + L 1 V k ( z , w , s ) L 1 D w U k ( z , w , s ) ,

L R e s V k ( z , w , s ) = V k ( z , w , t ) g 0 ( z , w ) s ρ 0 s λ D z 2 V k ( z , w , s ) + D w 2 V k ( z , w , s ) + 1 s λ L L 1 [ U k ( z , w , s ) ] L 1 [ D z V k ( z , w , s ) ] + L 1 V k ( z , w , s ) L 1 D w V k ( z , w , s ) .

By substituting Equations (65) and (66) into Equations (69) and (70), we obtain

L R e s U k ( z , w , s ) = n = 1 k f n ( z , w ) s n λ + 1 ρ 0 s λ n = 0 k f n ( z , w ) s n λ + 1 + n = 0 k f n ww ( z , w ) s n λ + 1 + 1 s λ L L 1 n = 0 k f n ( z , w ) s n λ + 1 L 1 n = 0 k f n z ( z , w ) s n λ + 1 + L 1 n = 0 k g n ( z , w ) s n λ + 1 L 1 n = 0 k f n w ( z , w ) s n λ + 1 ,

L R e s V k ( z , w , s ) = n = 1 k g n ( z , w ) s n λ + 1 ρ 0 s λ n = 0 k g n zz ( z , w ) s n λ + 1 + n = 0 k g n ww ( z , w ) s n λ + 1 1 s λ L L 1 n = 0 k f n ( z , w ) s n λ + 1 L 1 n = 0 k g n z ( z , w ) s n λ + 1 + L 1 n = 0 k g n ( z , w ) s n λ + 1 L 1 n = 0 k g n w ( z , w ) s n λ + 1 .

The last system can be written as

L R e s U k ( z , w , s ) = n = 1 k f n ( z , w ) s n λ + 1 ρ 0 s λ n = 0 k f n zz ( z , w ) s n λ + 1 + n = 0 k f n ww ( z , w ) s n λ + 1 + 1 s λ L n = 0 k t n λ f n ( z , w ) Γ ( n λ + 1 ) n = 0 k t n λ f n z ( z , w ) Γ ( n λ + 1 ) + n = 0 k t n λ g n ( z , w ) Γ ( n λ + 1 ) n = 0 k t n λ f n w ( z , w ) Γ ( n λ + 1 ) ,

L R e s V k ( z , w , s ) = n = 1 k g n ( z , w ) s n λ + 1 ρ 0 s λ n = 0 k g n zz ( z , w ) s n λ + 1 + n = 0 k g n ww ( z , w ) s n λ + 1 1 s λ L n = 0 k t n λ f n ( z , w ) Γ ( n λ + 1 ) n = 0 k t n λ g n z ( z , w ) Γ ( n λ + 1 ) + n = 0 k t n λ g n ( z , w ) Γ ( n λ + 1 ) n = 0 k t n λ g n w ( z , w ) Γ ( n λ + 1 ) .

To determine f 1 ( z , w ) and g 1 ( z , w ) , we consider k = 1 in Equations (73) and (74) and obtain

L R e s U 1 ( z , w , s ) = f 1 ( z , w ) s λ + 1 ρ 0 s λ f 0 zz ( z , w ) s + f 1 zz ( z , w ) s λ + 1 + f 0 ww ( z , w ) s + f 1 ww ( z , w ) s λ + 1 + 1 s λ L f 0 ( z , w ) f 0 z ( z , w ) + t λ f 1 ( z , w ) f 0 z ( z , w ) + f 0 ( z , w ) f 1 z ( z , w ) Γ ( λ + 1 ) + t 2 λ f 1 ( z , w ) f 1 z ( z , w ) Γ ( λ + 1 ) 2 + g 0 ( z , w ) f 0 w ( z , w ) + t λ g 1 ( z , w ) f 0 w ( z , w ) Γ ( λ + 1 ) + t λ g 0 ( z , w ) f 1 w ( z , w ) Γ ( λ + 1 ) + t λ + λ g 1 ( z , w ) f 1 w ( z , w ) Γ ( λ + 1 ) 2 ,

L R e s V 1 ( z , w , s ) = g 1 ( z , w ) s λ + 1 ρ 0 s λ g 0 zz ( z , w ) s + g 1 zz ( z , w ) s λ + 1 + g 0 ww ( z , w ) s + g 1 ww ( z , w ) s λ + 1 1 s λ L f 0 ( z , w ) g 0 z ( z , w ) + t λ f 1 ( z , w ) g 0 z ( z , w ) Γ ( λ + 1 ) + t λ f 0 ( z , w ) g 1 z ( z , w ) Γ ( λ + 1 ) + t λ + λ f 1 ( z , w ) g 1 z ( z , w ) Γ ( λ + 1 ) 2 + g 0 ( z , w ) f 0 w ( z , w ) + t λ g 1 ( z , w ) f 0 w ( z , w ) + g 0 ( z , w ) g 1 w ( z , w ) Γ ( λ + 1 ) + t 2 λ g 1 ( z , w ) g 1 w ( z , w ) Γ ( λ + 1 ) 2 .

Solving the system lim s s λ + 1 L R e s U 1 ( z , w , s ) = 0 , lim s s λ + 1 L R e s V 1 ( z , w , s ) = 0 , for f 1 ( z , w ) and g 1 ( z , w ) , we obtain

f 1 ( z , w ) = g 0 ( z , w ) f 0 ( z , w ) w + ρ 2 f 0 ( z , w ) w 2 f 0 ( z , w ) f 0 ( z , w ) z + ρ 2 f 0 ( z , w ) z 2 ,

g 1 ( z , w ) = g 0 ( z , w ) g 0 ( z , w ) w + ρ 2 g 0 ( z , w ) w 2 f 0 ( z , w ) g 0 ( z , w ) z + ρ 2 g 0 ( z , w ) z 2 .

Continuing in that manner to calculate f k ( z , w ) and g k ( z , w ) , k = 2 , 3 , , we solve the following system for each k = 2 , 3 ,

lim s s k λ + 1 L R e s U k ( z , w , s ) = 0 ,

lim s s k λ + 1 L R e s V k ( z , w , s ) = 0 .

Finally, by substituting the series solution f k ( z , w ) and g k ( z , w ) , k = 1 , 2 , obtained from Equations (77)–(80) into Equations (65) and (66) and taking the inverse Laplace transform, we obtain the solutions of system (57) and (58) as follows:

u ( z , w , t ) = n = 0 t n λ f n ( z , w ) Γ ( n λ + 1 ) ,

v ( z , w , t ) = n = 0 t n λ g n ( z , w ) Γ ( n λ + 1 ) .

Example4.

Let us assume two-dimensional incompressible time-fractional Navier–Stokes equations as [32,33]

D t λ u + u u z + v u w = 1 2 2 u z 2 + 2 u w 2 , D t λ v + u v z + v v w = 1 2 2 v z 2 + 2 v w 2 , , 0 < λ 1 .

Subject to the initial conditions

v ( z , w , 0 ) = sin ( z + w ) , u ( z , w , 0 ) = sin ( z + w ) .

According to the discussion and obtained results in Section 4, Equations (77)–(80), the series coefficients are as follows:

f 1 ( z , w ) = sin ( z + w ) , g 1 ( z , w ) = sin ( z + w ) , f 2 ( z , w ) = sin ( z + w ) , g 2 ( z , w ) = sin ( z + w ) , f 3 ( z , w ) = sin ( z + w ) , g 3 ( z , w ) = sin ( z + w ) , f 4 ( z , w ) = sin ( z + w ) , g 4 ( z , w ) = sin ( z + w ) , f 5 ( z , w ) = sin ( z + w ) , g 5 ( z , w ) = sin ( z + w ) .

Using Equations (81) and (82), we obtain

U ( z , w , t ) = sin ( z + w ) + t λ sin ( z + w ) Γ ( λ + 1 ) t 2 λ sin ( z + w ) Γ ( 2 λ + 1 ) + t 3 λ sin ( z + w ) Γ ( 3 λ + 1 ) t 4 λ sin ( z + w ) Γ ( 4 λ + 1 ) + t 5 λ sin ( z + w ) Γ ( 5 λ + 1 ) V ( z , w , t ) = sin ( z + w ) t λ sin ( z + w ) Γ ( λ + 1 ) + t 2 λ sin ( z + w ) Γ ( 2 λ + 1 ) t 3 λ sin ( z + w ) Γ ( 3 λ + 1 ) + t 4 λ sin ( z + w ) Γ ( 4 λ + 1 ) t 5 λ sin ( z + w ) Γ ( 5 λ + 1 ) +

The efficiency of the proposed algorithm for Example 4 is shown in Figure 3. These subfigures depict surfaces of approximate and exact solutions for systems (83) and (84) at t = 0.1 , λ = 1 and z , w [ 5 , 5 ] .

5. Conclusions

In the present study, the LRPS method is successfully applied to find the analytical solution of the (1+1)- and (2+1)-dimensional time-fractional coupled differential equations. The obtained results demonstrate the reliability and simplicity of the method. The proposed technique has the advantage of reducing the size of computation needed to figure out the coefficients in a power series form. The proposed expansion in our study allowed us to obtain a series solution for the equations in Laplace transform space. In comparison with other techniques, LRPS method is a competent tool to obtain the analytical solution of coupled nonlinear time-fractional partial differential equations.

Author Contributions

Conceptualization, A.R.H., A.A.M.R. and T.R.; Methodology, A.R.H., A.A.M.R. and T.R.; Software, A.R.H., A.A.M.R. and T.R.; Validation, A.R.H., A.A.M.R. and T.R.; Formal analysis, A.R.H., A.A.M.R. and T.R.; Investigation, A.R.H., A.A.M.R. and T.R.; Resources, A.R.H., A.A.M.R. and T.R.; Data curation, A.R.H., A.A.M.R. and T.R.; Writing—original draft, A.R.H., A.A.M.R. and T.R.; Writing—review & editing, A.R.H., A.A.M.R. and T.R.; Visualization, A.R.H., A.A.M.R. and T.R.; Supervision, A.R.H., A.A.M.R. and T.R.; Project administration, A.R.H., A.A.M.R. and T.R.; Funding acquisition, T.R. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Data Availability Statement

Data are contained within the article.

Acknowledgments

The Researchers would like to thank the Deanship of Graduate Studies and Scientific Research at Qassim University for financial support (QU-APC-2024-9/1).

Conflicts of Interest

The authors declare no potential conflicts of interest.

References

  1. Podlubny, I. Fractional Differential Equations: An Introduction to Fractional Derivatives, Fractional Differential Equations, to Methods of Their Solution and Some of Their Applications; Elsevier: Amsterdam, The Netherlands, 1998. [Google Scholar]
  2. Hadhoud, A.R.; Rageh, A.A. Redefined Quintic B-Spline Collocation Method to Solve the Time-Fractional Whitham-Broer-Kaup Equations. Comput. Math. Methods 2024, 2024, 7326616. [Google Scholar] [CrossRef]
  3. Hadhoud, A.R.; Rageh, A.A.; Radwan, T. Computational solution of the time-fractional Schrödinger equation by using trigonometric B-spline collocation method. Fractal Fract. 2022, 6, 127. [Google Scholar] [CrossRef]
  4. Kilbas, A.A.; Srivastava, H.M.; Trujillo, J.J. Theory and Applications of Fractional Differential Equations; Elsevier: Amsterdam, The Netherlands, 2006; Volume 204. [Google Scholar]
  5. Oldham, K.; Spanier, J. The Fractional Calculus Theory and Applications of Differentiation and Integration to Arbitrary Order; Elsevier: Amsterdam, The Netherlands, 1974. [Google Scholar]
  6. Al-Smadi, M.; Arqub, O.A.; Hadid, S. An attractive analytical technique for coupled system of fractional partial differential equations in shallow water waves with conformable derivative. Commun. Theor. Phys. 2020, 72, 085001. [Google Scholar] [CrossRef]
  7. Hadhoud, A.R.; Agarwal, P.; Rageh, A.A. Numerical treatments of the nonlinear coupled time-fractional Schrödinger equations. Math. Methods Appl. Sci. 2022, 45, 7119–7143. [Google Scholar] [CrossRef]
  8. Hadhoud, A.R.; Rageh, A.A.; Agarwal, P. Numerical method for solving two-dimensional of the space and space–time fractional coupled reaction-diffusion equations. Math. Methods Appl. Sci. 2023, 46, 6054–6076. [Google Scholar] [CrossRef]
  9. Sene, N.; Fall, A.N. hom*otopy perturbation ρ-laplace transform method and its application to the fractional diffusion equation and the fractional diffusion-reaction equation. Fractal Fract. 2019, 3, 14. [Google Scholar] [CrossRef]
  10. Tamsir, M.; Srivastava, V.K. Analytical study of time-fractional order Klein–Gordon equation. Alex. Eng. J. 2016, 55, 561–567. [Google Scholar] [CrossRef]
  11. Sahu, I.; Jena, S.R. SDIQR mathematical modelling for COVID-19 of Odisha associated with influx of migrants based on Laplace Adomian decomposition technique. Model. Earth Syst. Environ. 2023, 9, 4031–4040. [Google Scholar] [CrossRef]
  12. Owolabi, K.M.; Pindza, E.; Karaagac, B.; Oguz, G. Laplace transform-hom*otopy perturbation method for fractional time diffusive predator–prey models in ecology. Partial Differ. Equ. Appl. Math. 2024, 9, 100607. [Google Scholar] [CrossRef]
  13. Jawarneh, Y.; Alsheekhhussain, Z.; Al-Sawalha, M.M. Fractional View Analysis System of Korteweg–de Vries Equations Using an Analytical Method. Fractal Fract. 2024, 8, 40. [Google Scholar] [CrossRef]
  14. Eriqat, T.; El-Ajou, A.; Moa’ath, N.O.; Al-Zhour, Z.; Momani, S. A new attractive analytic approach for solutions of linear and nonlinear neutral fractional pantograph equations. Chaos Solitons Fractals 2020, 138, 109957. [Google Scholar] [CrossRef]
  15. Alquran, M.; Ali, M.; Alsukhour, M.; Jaradat, I. Promoted residual power series technique with Laplace transform to solve some time-fractional problems arising in physics. Results Phys. 2020, 19, 103667. [Google Scholar] [CrossRef]
  16. Shqair, M.; Ghabar, I.; Burqan, A. Using Laplace Residual Power Series Method in Solving Coupled Fractional Neutron Diffusion Equations with Delayed Neutrons System. Fractal Fract. 2023, 7, 219. [Google Scholar] [CrossRef]
  17. Oqielat, M.N.; Eriqat, T.; Ogilat, O.; El-Ajou, A.; Alhazmi, S.E.; Al-Omari, S. Laplace-Residual Power Series Method for Solving Time-Fractional Reaction–Diffusion Model. Fractal Fract. 2023, 7, 309. [Google Scholar] [CrossRef]
  18. Aljarrah, H.; Alaroud, M.; Ishak, A.; Darus, M. Approximate solution of nonlinear time-fractional PDEs by Laplace residual power series method. Mathematics 2022, 10, 1980. [Google Scholar] [CrossRef]
  19. Albalawi, W.; Shah, R.; Nonlaopon, K.; El-Sherif, L.S.; El-Tantawy, S.A. Laplace Residual Power Series Method for Solving Three-Dimensional Fractional Helmholtz Equations. Symmetry 2023, 15, 194. [Google Scholar] [CrossRef]
  20. Burqan, A.; Sarhan, A.; Saadeh, R. Constructing Analytical Solutions of the Fractional Riccati Differential Equations Using Laplace Residual Power Series Method. Fractal Fract. 2022, 7, 14. [Google Scholar] [CrossRef]
  21. Sarhan, A.; Burqan, A.; Saadeh, R.; Al-Zhour, Z. Analytical Solutions of the Nonlinear Time-Fractional Coupled Boussinesq-Burger Equations Using Laplace Residual Power Series Technique. Fractal Fract. 2022, 6, 631. [Google Scholar] [CrossRef]
  22. Heydari, M.H.; Avazzadeh, Z. Numerical study of non-singular variable-order time fractional coupled Burgers’ equations by using the Hahn polynomials. Eng. Comput. 2022, 38, 101–110. [Google Scholar] [CrossRef]
  23. Albuohimad, B.; Adibi, H. On a hybrid spectral exponential Chebyshev method for time-fractional coupled Burgers equations on a semi-infinite domain. Adv. Differ. Equ. 2017, 2017, 85. [Google Scholar] [CrossRef]
  24. Ahmed, H.F.; Bahgat, M.; Zaki, M. Analytical approaches to space-and time-fractional coupled Burgers’ equations. Pramana 2019, 92, 38. [Google Scholar] [CrossRef]
  25. Albuohimad, B.; Adibi, H.; Kazem, S. A numerical solution of time-fractional coupled Korteweg-de Vries equation by using spectral collection method. Ain Shams Eng. J. 2018, 9, 1897–1905. [Google Scholar] [CrossRef]
  26. Alomari, A.; Massoun, Y. Numerical Solution of Time Fractional Coupled Korteweg-de Vries Equation with a Caputo Fractional Derivative in Two Parameters. IAENG Int. J. Comput. Sci. 2023, 50, 388–393. [Google Scholar]
  27. Khater, A.; Temsah, R.; Callebaut, D. Numerical solutions for some coupled nonlinear evolution equations by using spectral collocation method. Math. Comput. Model. 2008, 48, 1237–1253. [Google Scholar] [CrossRef]
  28. Bhrawy, A.; Doha, E.; Ezz-Eldien, S.; Abdelkawy, M. A numerical technique based on the shifted Legendre polynomials for solving the time-fractional coupled KdV equations. Calcolo 2016, 53, 1–17. [Google Scholar] [CrossRef]
  29. Yasmin, H. Numerical analysis of time-fractional Whitham-Broer-Kaup equations with exponential-decay kernel. Fractal Fract. 2022, 6, 142. [Google Scholar] [CrossRef]
  30. Chen, S.; Li, M.; Guan, B.; Li, Y.; Wang, Y.; Lin, X.; Liu, T. Abundant variant wave patterns by coupled Boussinesq–Whitham–Broer–Kaup equations. Chin. J. Phys. 2022, 78, 485–494. [Google Scholar] [CrossRef]
  31. Shah, R.; Khan, H.; Baleanu, D. Fractional Whitham–Broer–Kaup equations within modified analytical approaches. Axioms 2019, 8, 125. [Google Scholar] [CrossRef]
  32. Prakash, A.; Veeresha, P.; Prakasha, D.; Goyal, M. A new efficient technique for solving fractional coupled Navier–Stokes equations using q-hom*otopy analysis transform method. Pramana 2019, 93, 6. [Google Scholar] [CrossRef]
  33. Singh, B.K.; Kumar, P. FRDTM for numerical simulation of multi-dimensional, time-fractional model of Navier–Stokes equation. Ain Shams Eng. J. 2018, 9, 827–834. [Google Scholar] [CrossRef]

Employing the Laplace Residual Power Series Method to Solve (1+1)- and (2+1)-Dimensional Time-Fractional Nonlinear Differential Equations (1)

Figure 1. Comparison between the exact solutions (a,c) and the approximate solutions (b,d) of u ( z , t ) and v ( z , t ) for Example 2 at λ = 1 , z [ 5 , 5 ] and t [ 0 , 1 ] .

Figure 1. Comparison between the exact solutions (a,c) and the approximate solutions (b,d) of u ( z , t ) and v ( z , t ) for Example 2 at λ = 1 , z [ 5 , 5 ] and t [ 0 , 1 ] .

Employing the Laplace Residual Power Series Method to Solve (1+1)- and (2+1)-Dimensional Time-Fractional Nonlinear Differential Equations (2)

Employing the Laplace Residual Power Series Method to Solve (1+1)- and (2+1)-Dimensional Time-Fractional Nonlinear Differential Equations (3)

Figure 2. Comparison between the exact solutions (a,c) and the approximate solutions (b,d) of u ( z , t ) and v ( z , t ) for Example 3 at λ = 1 , z [ 5 , 5 ] and t [ 0 , 1 ] .

Figure 2. Comparison between the exact solutions (a,c) and the approximate solutions (b,d) of u ( z , t ) and v ( z , t ) for Example 3 at λ = 1 , z [ 5 , 5 ] and t [ 0 , 1 ] .

Employing the Laplace Residual Power Series Method to Solve (1+1)- and (2+1)-Dimensional Time-Fractional Nonlinear Differential Equations (4)

Employing the Laplace Residual Power Series Method to Solve (1+1)- and (2+1)-Dimensional Time-Fractional Nonlinear Differential Equations (5)Employing the Laplace Residual Power Series Method to Solve (1+1)- and (2+1)-Dimensional Time-Fractional Nonlinear Differential Equations (6)

Figure 3. Comparison between the exact solutions (a,c) and the approximate solutions (b,d) of u ( z , t ) and v ( z , t ) for Example 4 at t = 0.1 , λ = 1 , and z , w [ 5 , 5 ] .

Figure 3. Comparison between the exact solutions (a,c) and the approximate solutions (b,d) of u ( z , t ) and v ( z , t ) for Example 4 at t = 0.1 , λ = 1 , and z , w [ 5 , 5 ] .

Employing the Laplace Residual Power Series Method to Solve (1+1)- and (2+1)-Dimensional Time-Fractional Nonlinear Differential Equations (7)Employing the Laplace Residual Power Series Method to Solve (1+1)- and (2+1)-Dimensional Time-Fractional Nonlinear Differential Equations (8)

Employing the Laplace Residual Power Series Method to Solve (1+1)- and (2+1)-Dimensional Time-Fractional Nonlinear Differential Equations (9)

Table 1. The L 2 -norm errors for the suggested methods when 5 z 5 of u ( z , t ) = v ( z , t ) for Example 1 in comparison with the results of [24].

Table 1. The L 2 -norm errors for the suggested methods when 5 z 5 of u ( z , t ) = v ( z , t ) for Example 1 in comparison with the results of [24].

t LADM[24]LVIM[24]RDTM[24]Present Method
0.01 1.9098963 × 10 12 1.9098963 × 10 12 1.9098875 × 10 12 1.22125 × 10 15
0.05 5.9294056 × 10 9 5.9294056 × 10 9 5.9294056 × 10 9 1.81315 × 10 11
0.10 1.8818028 × 10 7 1.8818029 × 10 7 1.8818029 × 10 7 1.15222 × 10 9
0.50 5.5141181 × 10 4 5.5139119 × 10 4 5.5141181 × 10 4 1.70339 × 10 5
1.00 1.6348008 × 10 2 1.6094187 × 10 2 1.6348008 × 10 2 1.02052 × 10 3

Employing the Laplace Residual Power Series Method to Solve (1+1)- and (2+1)-Dimensional Time-Fractional Nonlinear Differential Equations (10)

Table 2. Maximum error norms for different values of z and t of the suggested methods for u ( z , t ) and v ( z , t ) corresponds to Example 2 at λ = 1 .

Table 2. Maximum error norms for different values of z and t of the suggested methods for u ( z , t ) and v ( z , t ) corresponds to Example 2 at λ = 1 .

z t E u E v
−50.1 2.966377 × 10 16 1.408595 × 10 15
0.4 1.885471 × 10 14 8.94354 × 10 14
0.7 1.010737 × 10 13 4.79429 × 10 13
1 2.946948 × 10 13 1.397861 × 10 12
−2.50.1 1.700029 × 10 16 8.049117 × 10 16
0.4 1.076743 × 10 14 5.106332 × 10 14
0.7 5.771252 × 10 14 2.737463 × 10 13
1 1.68289 × 10 13 7.982642 × 10 13
00.1 1.734723 × 10 18 6.938894 × 10 18
0.4 5.20417 × 10 18 2.081668 × 10 17
0.7 3.122502 × 10 17 1.457168 × 10 16
1 1.301043 × 10 16 6.175616 × 10 16
2.50.1 1.682682 × 10 16 7.979728 × 10 16
0.4 1.075875 × 10 14 5.102863 × 10 14
0.7 5.765353 × 10 14 2.734757 × 10 13
1 1.6806 × 10 13 7.971679 × 10 13
50.1 2.94903 × 10 16 1.401657 × 10 15
0.4 1.885644 × 10 14 8.944234 × 10 14
0.7 1.01039 × 10 13 4.792694 × 10 13
1 2.945543 × 10 13 1.397195 × 10 12

Employing the Laplace Residual Power Series Method to Solve (1+1)- and (2+1)-Dimensional Time-Fractional Nonlinear Differential Equations (11)

Table 3. Comparison of error norms | U n U n 1 | = | V n V n 1 | with the result obtained by Chebyshev method [25] for Example 2 with t = 0.1 .

Table 3. Comparison of error norms | U n U n 1 | = | V n V n 1 | with the result obtained by Chebyshev method [25] for Example 2 with t = 0.1 .

z Present MethodChebyshev Method[25]
λ = 0 . 5 λ = 0 . 3 λ = 0 . 5 λ = 0 . 3
| U 2 U 1 | | U 5 U 4 | | U 2 U 1 | | V 5 V 4 |
0.1 4.9995 × 10 10 1.406 × 10 9 1.73826 × 10 5 1.90199 × 10 5
0.2 4.998 × 10 10 1.405 × 10 9 6.64154 × 10 5 7.24797 × 10 5
0.3 4.9955 × 10 10 1.404 × 10 9 1.140569 × 10 4 1.234857 × 10 4
0.4 4.992 × 10 10 1.403 × 10 9 1.090816 × 10 4 1.150670 × 10 4
0.5 4.9875 × 10 10 1.402 × 10 9 6.6253 × 10 6 2.4281 × 10 6
0.6 4.982 × 10 10 1.4 × 10 9 2.072694 × 10 4 2.439404 × 10 4
0.7 4.9755 × 10 10 1.399 × 10 9 4.911051 × 10 4 5.623051 × 10 4
0.8 4.968 × 10 10 1.397 × 10 9 7.233840 × 10 4 8.208567 × 10 4
0.9 4.9596 × 10 10 1.394 × 10 9 6.78061 × 10 4 7.66036 × 10 4

Employing the Laplace Residual Power Series Method to Solve (1+1)- and (2+1)-Dimensional Time-Fractional Nonlinear Differential Equations (12)

Table 4. Maximum error norms for different values of z and t for u ( z , t ) and v ( z , t ) corresponds to Example 3 at ξ = 1 , η = 3 and λ = 1 .

Table 4. Maximum error norms for different values of z and t for u ( z , t ) and v ( z , t ) corresponds to Example 3 at ξ = 1 , η = 3 and λ = 1 .

z t E u E v
−50.1 1.776357 × 10 15 1.052059 × 10 14
0.2 1.758593 × 10 13 7.095397 × 10 13
0.3 1.965539 × 10 12 7.866877 × 10 12
0.4 1.075939 × 10 11 4.304191 × 10 11
−20.1 4.541549 × 10 10 1.778161 × 10 9
0.2 2.828785 × 10 8 1.108183 × 10 7
0.3 3.137571 × 10 7 1.229783 × 10 6
0.4 1.717497 × 10 6 6.734969 × 10 6
10.1 7.134204 × 10 10 7.901643 × 10 8
0.2 4.941075 × 10 9 5.45743 × 10 6
0.3 4.701765 × 10 7 6.711423 × 10 5
0.4 5.989914 × 10 6 4.071898 × 10 5
40.1 1.634248 × 10 13 6.577691 × 10 13
0.2 1.085887 × 10 11 4.34379 × 10 11
0.3 1.274785 × 10 10 5.099124 × 10 10
0.4 7.386944 × 10 10 2.954758 × 10 9

Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.


© 2024 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (https://creativecommons.org/licenses/by/4.0/).
Employing the Laplace Residual Power Series Method to Solve (1+1)- and (2+1)-Dimensional Time-Fractional Nonlinear Differential Equations (2024)

References

Top Articles
Latest Posts
Article information

Author: Tuan Roob DDS

Last Updated:

Views: 5872

Rating: 4.1 / 5 (42 voted)

Reviews: 89% of readers found this page helpful

Author information

Name: Tuan Roob DDS

Birthday: 1999-11-20

Address: Suite 592 642 Pfannerstill Island, South Keila, LA 74970-3076

Phone: +9617721773649

Job: Marketing Producer

Hobby: Skydiving, Flag Football, Knitting, Running, Lego building, Hunting, Juggling

Introduction: My name is Tuan Roob DDS, I am a friendly, good, energetic, faithful, fantastic, gentle, enchanting person who loves writing and wants to share my knowledge and understanding with you.