1.
Introduction
In the past decade, many researchers have studied many fractional partial differential equations (FPDEs) types. Since the beginning of fractional calculus history in 1695, when L'Hospital raised the question: what is the meaning of dnydxn if n=12? That is, what if n is fractional? [1] Even for new researchers, the fractional derivatives were complicated-although it appears in many parts of sciences such as physics, engineering, bioengineering, COVID-19 studies, and many other branches of sciences [2,3,4,5,6,7,8,9]. In addition, many definitions of fractional derivatives have been given [10,11]. Fractional order derivatives of a given function involve the entire function history where the following state of a fractional order system is dependent on its current state and all its historical states [4,5,6,7,8,9,10,11].
There are several analytical and numerical techniques for handling fractional problems, B-spline functions, Bernoulli polynomials, Adomian decomposition, variational iteration, Homotopy analysis, and many others [12,13,14,15,16,17]. On top of that, some applicable analytical methods are developed to address nonlinear problems with fractional derivatives. One of these approaches is the Laplace residual power series method (LRPSM) [18,19,20,21,22,23,24,25,26,27,28,29], which shows its efficiency and applicability in solving nonlinear problems.
The LRPSM is a very modern technique, and it is a hybrid method of two approaches, the Laplace transform (LT) and the idea of the residual power series method (RPSM) [30,31,32,33]. In 2020, the authors in the article [18] were able to adapt the LT to solve nonlinear neutral fractional pantograph equations using the residual function and the RPSM idea. The LT, usually, is implemented to solve linear equations only, but the LRPSM can overcome this disadvantage and thus adapts it to solve nonlinear equations of different types. The LRPSM presents an approximate analytical solution with a series form using the concept of the Laurent series and the power series [18,19,20,21,22,23,24,25]. What distinguishes LRPSM from RPSM is the use of the idea of limit at infinity in getting the coefficients of a series solution rather than the concept of a fractional derivative as in RPSM. Many articles used the proposed method to treat several types of differential equations of fractional orders. In 2021, El-Ajou adapted LRPSM to establish solitary solutions of nonlinear dispersive FPDEs [19] and to present series solutions for systems of Caputo FPDEs with variable coefficients [20]. Newly, the LRPSM is used for solving Fuzzy Quadratic Riccati Differential Equations [21], time-fractional nonlinear water wave PDE [22], fractional Lane-Emden equations [23], Fisher's equation and logistic system model [24], and nonlinear fractional reaction-diffusion for bacteria growth model [25].
Claude Louis Navier and Gabriel Stokes have created the so-called Navier-Stokes equations (NSEs). A French mechanical engineer Claude was affiliated in continuum mechanics with a physicist specializing and the French government, whose main contribution was the Navier-Stokes equations (1822). This famous equation made his name among the several names incised on the Eiffel Tower. Moreover, Newton's second law for fluid substance, which is central to fluid mechanics has been used in describing many physical phenomena in many applied sciences [34,35,36,37]. For example, the study of airflow around a wing and water flow in pipes and used as one of the continuity equations needed to build microscopic models in 1985 and also as a special case considered to establish the relationship between external and pressure forces on the fluid to the responses of fluid flow [38].
The motivation of this work is to adapt the LRPSM to provide analytical solutions for a multi-dimensional time-fractional Navier-Stokes (M-DT-FNS) system which takes the following form [39]:
where Dαt is the Caputo fractional-derivative operator of order α, p=p(χ,ς,ζ,t) is the pressure, ρ is the density, u is a vector field that represents the flow velocity vector, υ=μρ is the kinematic viscosity (μ is the dynamic viscosity), and ∇ & ∇2 are the gradient and Laplacian operators, respectively, subject to the initial conditions (ICs) at the initial velocity:
If the density is constant throughout the fluid domain, then the vector Eq (1.1) is an incompressible NSEs.
The vector Eqs (1.1) and (1.2) can be separated in a system form as follows [39,40]:
subject to the initial conditions (ICs):
where u=⟨u1,u2,u3⟩ and φ=⟨f,h,g⟩ such that u1, u2, u3, and p are analytical functions of four variables χ,ς,ζ & t.
In this equation, the solution represents the fluid velocity and pressure. It is commonly used to describe the motion of fluids in models relevant to weather, ocean currents, water flow in pipes, etc.
The novelty of this study is obvious in the proposed method when dealing with the Navier-Stokes problem, we show the simplicity and the applicability of the method, and we mention also that the method needs no differentiation, linearization, or discretization, the only mathematical step we need after taking the LT and defining the residual functions, is taking the limit at infinity which is much easier compared to other analytical techniques. Moreover, in this research, we obtain a general formula of the solution that neither researcher has, allowing us to compute as many possible terms of the series solution directly.
This study is prepared as follows: After the introduction section, a few fundamental principles and theories are reviewed for constructing an analytic series solution to the M-DT-FNS system using LRPSM. In Section 3, we constructed a Laplace residual power series (LRPS) solution to the goal problem. Three interesting examples are presented to explain the technique's simplicity and accuracy, which are displayed in Section 4. Finally, some conclusions are made about the features of the method used and its applicability in solving other types of problems.
2.
Basic concepts
This part presents fundamental definitions and properties of fractional operators and power series.
Definition 2.1. [1] The time Caputo fractional-derivative of order α of the multivariable function u(χ,ς,ζ,t), is defined by
Lemma 2.1. [1] The operator Dαt, t≥0, n−1<α≤n satisfies the following properties:
1) Dαtc=0, c∈R.
2) Dαttq={ 0 , q<α,q is integerΓ(q+1)Γ(q−α+1)tq−α, otherwise, for q>−1.
Definition 2.2. [18] The time-LT for the multivariable function u(χ,ς,ζ,t) is defined by:
We denote the inverse LT of the function U(χ,υ,ζ,s) and define it as
The most popular properties of the LT are mentioned below.
Lemma 2.2. [18,19] Assume that U(χ,ς,ζ,s)=L[u(χ,ς,ζ,t)] and V(χ,ς,ζ,s)=L[v(χ,ς,ζ,t)]. Then
1) lims→∞sU(χ,ς,ζ,s)=u(χ,ς,ζ,0).
2) L[atiαΓ(iα+1)]=asiα+1,a∈R,i=0,1,⋯.
3) L[Dmαtu(χ,ς,ζ,t)]=smαU(χ,ς,ζ,s)−∑m−1n=0s(m−n)α−1Dnαtu(χ,ς,ζ,0),0<α≤1,
where Dmαt=DαtDαt…Dαt (m-times).
Theorem 2.1. [19] The power series expansion of the multivariable function u(χ,ς,ζ,t) can be expressed as
where fi(χ,ς,ζ)=Diαtu(χ,ς,ζ,0), i=0,1,⋯.
Thus, the LT of Eq (2.4) is a Laurent expansion in the Laplace space of the following form:
Theorem 2.2. [19] Assume that
on 0≤s≤q,0<α≤1 and M=M(χ,ς,ζ) for some χ, ς, and ζ∈I. Then the remainder Rm(χ,ς,ζ,s) of the new fractional Laurent series (2.5) satisfies the following inequality
It is known that the LT cannot be distributed in the case of multiplication. Therefore, the following Lemma is introduced to simplify the calculations at the application of LRPSM, based on the characteristics of the powers of the power series.
Lemma 2.3. Assume that U(χ,ς,ζ,s)=L[u(χ,ς,ζ,t)](s) and V(χ,ς,ζ,s)=L[v(χ,ς,ζ,t)](s). Assume that the functions U(χ,ς,ζ,s) and V(χ,ς,ζ,s) have Laurent expansions as:
Then, L[u(χ,ς,ζ,t)v(χ,ς,ζ,t)](s) can be expanded in a Laurent series form, as follows
Proof. Directly, we can prove the Lemma as follows:
It is noteworthy, that we can express the kth-truncated series of the Laurent series (2.7) as follows:
which we will use extensively throughout our work on the next pages.
3.
The Laplace residual power series method
We employ the LRPSM to establish a series solution for the M-DT-FNS system (1.1) in this part of this article. This technique is mainly based on applying the LT on the target equations, assuming solutions of the generated equations have Laurent expansions, and then using the idea of the limit at infinity with the residual functions to get the unknown coefficients in expansions. Finally, we run the inverse LT to obtain the solution of the given equations in the original space.
To get the LRPS solution of the system (1.1), we first apply the LT to each equation in the system (1.1) and use the third part of Lemma 2.2 with the ICs (1.2). Then, after some simplification, we get the following algebraic system in Laplace:
where U1=L[u1], U2=L[u2], U3=L[u3] and P=L[p].
Suppose that the solution of the system (3.1), U1, U2, and U3, has the following fractional Laurent expansions as follows:
Assume that also P has the following Laurent expansion:
According to Theorem 2.1 and using the ICs (1.2), the expansions in Eq (3.2) can be rewritten as follows:
The kth-truncated series of the expansions in Eqs (3.3) and (3.4) are given by:
To find the coefficients in the series expansions of Eq (3.4), we establish the Laplace residual functions (LRF) of the equations in the system (3.1) as follows:
and the kth-LRF for k=1,2,…, as follows:
Using Lemma 2.3 and substituting the expansions in Eq (3.5) into Eq (3.7) gives the Laurent series form to the kth-LRFs as follows:
El-Ajou in [19] proved the validity of the following formula, which is considered the essential tool of LRPSM:
To find the first coefficients in the expansions in Eq (3.4), consider the first truncated series of the Laurent expansions of Eq (3.5) as follows:
Substituting Eq (3.10) into the first-LRes, multiplying each equation by sα+1, and taking the limit as s→∞, we have truth in Eq (3.9):
Therefore, the first coefficients of the expansions of Eq (3.4) become known and take the following forms:
Now, to obtain the second coefficients of the series expansions in Eq (3.4), we substitute the following second truncated series:
into the 2nd-LRF, multiply each equation by s2α+1, and use Eq (3.9), we obtain the forms of required coefficients as follows:
We can repeat the previous steps to find the third and the fourth coefficients of the expansions (3.4) as:
Also, one can get
Now, we can get the form of the unknown kth-coefficients in the expansions of Eq (3.4) as follows:
Thus, the solution of the algebraic system (3.1) can be expressed as:
Finally, to get the LRPS solution of the M-DT-FNS systems (1.1) and (1.2) in the original space, we apply the inverse LT on the solution in Eq (3.18), to get
4.
Numerical application
In this section, we present some numerical examples that explain the working mechanism of the LRPSM. Comparisons and graphical illustrations are made to demonstrate the accuracy and efficiency of the technique.
Example 4.1. [35,36] Consider the following two-DT-FNSEs:
with the ICs:
where υ∈R, and u1 and u2 are two functions of three variables χ,ς, and t.
Note that, when α=1 the exact solution of the systems (4.1) and (4.2) is
Based on the algorithm of the solution obtained in Section 3 and the result in Eq (3.19), we can obtain the LRPS solution of the systems (4.1) and (4.2) as follows:
where the coefficients fk, hk, k=1,2,…, are given by the general formula obtained in Eq (3.17) which in the two dimensions will be as follows:
Thus, we conclude that
Hence, we can express the LRPS solution of Eqs (4.1) and (4.2) as:
Table 1 shows the stability of the results obtained, where the solution is stable with various values of t.
This solution is the same as that obtained by the Laplace decomposition method [36] and the variational iteration transform method [35]. In a special case, taking α=1 gives the exact solution in terms of elementary functions as follows:
The behavior of the velocity field of the two-DT-FNSEs (4.1) and (4.2) is depicted in Figure 1 for various values of α at t=0.5 and υ=0.5. The 10th-truncated series of Eq (4.6) is plotted in Figure 1(a-c) for α=0.6, α=0.8, and α=1, respectively, whereas, the exact solution at α=1 is plotted in Figure 1(d). The graphics indicate consistency in the behavior of the solution at various values of α, as well as the convention of the exact solution with the obtained solution in Figure 1(c, d).
Figure 2 shows the action of the 10th approximate analytical solution of the initial value problems (IVP) (4.1) and (4.2) along the line ς=χ and in the region D={(χ,t):−3≤χ≤3,0≤t<1} for distinct values of α, and at υ=0.5. The 10th approximate solution is plotted in Figure 2(a-c) for α=0.6, α=0.8, and α=1, respectively, whereas, the exact solution at α=1 is plotted in (d). Also, the graphics indicate consistency in the action of the solution at distinct values of α, the accord nation of the exact solution with the approximate solution in Figure 2(c, d) as well as the region of convergence of the series solution.
Example 4.2. [35,36] Consider the following two-DT-FNSEs:
with the ICs:
where υ∈R and u1 and u2 are two functions of three variables χ,ς, and t.
The exact solution to problems (4.8) and (4.9) can be obtained, when putting α=1, to be u1=−e−2υt+χ+ς and u2=e−2υt+χ+ς. Applying the same procedure in Example 4.1, one can obtain the following recurrence relations:
Thus, we conclude that
Thus, the LRPS solution of the systems (4.8) and (4.9) can be expressed as follows:
For α=1, the solution in Eq (4.11) has the form:
Figure 3 shows the velocity field behavior of the two-DT-FNSEs (4.8) and (4.9) for distinct values of α at t=0.5 and υ=0.5. The 10th LRPS approximate analytical solution of the IVP (4.8) and (4.8) plotted in Figure 3(a-c) for α=0.6, α=0.8, and α=1 respectively, while the exact solution at α=1 is plotted in (d). The graphics indicate the consistency in the solution behavior at various values of α, as well as the exact solution agreement with the proposed analytical solution in Figure 3(c, d).
Figure 4 illustrates the behavior of the 10th approximate solution of the IVP (4.8) and (4.9) along the line ς=χ and in the region D={(χ,t):−1≤χ≤1,0≤t<1} for different values of α, and at υ=0.5. The 10th approximate solution is plotted in Figure 4(a-c) for α=0.6, α=0.8, and α=1, respectively, whereas, the exact solution at α=1 is plotted in (d). Also, the graphics indicate consistency in the action of the solution at distinct values of α, the coordination between the exact solution and the approximate analytical solution as illustrated in Figure 4(c, d) as well as the determination of the region of convergence for the series solution, is clear.
Example 4.3. [36,41] Consider the following three-DT-FNSEs:
where v∈R, and with the ICs:
and the exact solution, when α=1, is
The general formula (3.12) for the systems (4.12) and (4.13) will be as follows:
Thus, we conclude that
So, the LRPS solution of the systems (4.12) and (4.13) has the following series form:
The sum of the series in Eq (4.14) at α=1 has the following rational forms:
The behavior of the velocity field of the Three-DT-FNSEs (4.12) and (4.13) is depicted in Figure 5 for various values of at and. The th-truncated series of Eq (4.10) is plotted in Figure 5(a-c) for, and, respectively, whereas, the exact solution at is plotted in (d). The graphics indicate consistency in the behavior of the solution at various values of, as well as the agreement of the exact solution with the approximate solution in Figure 5(c, d).
5.
Mathematical reviews
This article presents the LRPSM in a new scheme. We proposed the method and used it to solve the M-DT-FNS system. In the following, we state the advantages of using the presented method and the disadvantages of treating the M-DT-FNS.
5.1. Advantages of the method
1) The method is simple to apply to solve linear and non-linear FPDE compared to other techniques, other power series methods are based on finding derivatives and the calculations are usually complex, but LRPSM mainly depends on computing the limit at infinity which is much easier.
2) The proposed method is applicable in finding approximate solutions for physical applications, and in finding many terms of the analytical series solutions.
3) The method is accurate and gives approximate solutions close to the exact ones.
5.2. Disadvantages of the method
LRPSM needs first to find the LT of the target equations and finally to run the inverse LT to obtain the solution in the original space. So, if we have nonhomogeneous equations, the source functions need to be piecewise continuous and of exponential order, and after the computations, the inverse LT must exist.
6.
Conclusions
In this article, we have introduced the LRPSM in a new scheme and simplified the technique to present series solutions for the M-DT-FNS system in the sense of the Caputo derivative. It is worth noting here that we obtained a general formula for an analytic solution of M-DT-FN, which other researchers have not previously obtained by other methods. We tested three examples by solving them in the proposed technique and then analyzing the results. In the future, we will use LRPSM to solve more problems and make new modifications to address the flaws of the presented technique.
Acknowledgments
The authors express their gratitude to the dear referees, who wish to remain anonymous, and the editor for their helpful suggestions, which improved the final version of this paper.
Conflict of interest
The authors declare no conflicts of interest.