Abstract
Fractional Burgers-type equations are essential mathematical models for describing the cumulative effect of wall friction through the boundary layer, along with the unidirectional propagation of weakly nonlinear acoustic waves. It is a major challenge to develop efficient, stable, and accurate numerical schemes that simulate the corresponding complex physical phenomena due to the nonlinearity and nonlocality properties in these equations. The objective of this article is to design a linearized modified fractional explicit group method for solving the two-dimensional time-fractional Burgers equation with suitable initial and boundary conditions. For the construction of the proposed method, the discretization formula is used to handle the fractional temporal derivative, whereas a linearized difference scheme on a coarse mesh is employed to approximate the spatial derivatives. Meanwhile, a linearized Crank–Nicolson difference method (LCNDM) is formulated for checking the efficiency of the proposed method. The stability and convergence of the presented methods are rigorously studied and proven. Numerical simulations are performed, and the results are reported in terms of error norm and CPU time, demonstrating that the linearized grouping method reduces computation time by 70%–90% while maintaining comparable accuracy to the linearized Crank–Nicolson method in solving the time-fractional Burgers model.
1 Introduction
In recent years, the interest in the fractional calculus (FC), dealing with differential and integral operators of arbitrary orders, has witnessed a remarkable mutation. In contrast to the classical differential operator, the fractional differential operator considers not only the immediate past of the relevant function but also its historical values. The memory and history dependence properties of fractional differential operators are considered the golden features of FC, which make it favorable for describing numerous real-life complex phenomena. Fractional differential equations are the basic tools of FC for handling the anomalous phenomena in diverse complex systems. For extra information on the definitions and properties of FC, the reader can refer to [1–3]. Fractional differential equations can be divided into fractional ordinary differential equations (FODEs) and fractional partial differential equations (FPDEs). In the past few years, many researchers and scholars from different scientific backgrounds have utilized fractional differential equations (FODEs and FPDEs) as efficient mathematical models for dealing with numerous real-world complex problems. For instance, among recent applications, fractional differential equations have been used for describing several phenomena, including COVID-19 transmission [4], regulation of atmospheric carbon dioxide levels, and battery temperature estimation [5]. Other interesting works highlighting the importance and applications of FC can be found in [6–9].
In line with the wide-ranging applications of FC and to better understand complex real-life systems, solving fractional differential equations has become indispensable. This study is concerned with the solution of an important type of FPDEs, namely, the time-fractional Burgers equation. An overview of the general form and significance of the aforementioned mathematical model is provided in the next section. Due to the unusual properties of fractional differential operators, such as the violation of the chain rule, Leibniz rule, and semigroup property, explicit analytic solutions of FPDEs cannot be easily obtained [10]. As a result, approximate analytical and numerical methods for solving FPDEs have received significant attention. The homotopy analysis method [11], variational iterative method [12, 13], perturbation analysis method [14], and differential transform method [14] are examples of approximate analytical methods that have been applied for solving the fractional Burgers equation. One drawback of the aforementioned analytical methods is that most of them consider only the initial condition and neglect the spatial boundary conditions of the fractional Burgers model. However, boundary conditions are of great importance for characterizing and modeling real-world processes. To surmount this issue, numerical methods capable of solving the fractional Burgers model with suitable initial and boundary conditions can be developed, which is the first motivation of this work.
In the literature, several research articles are devoted to solving the time-fractional Burgers equation numerically. In this study, we recall some of them. [15] introduced an implicit spectral collocation method for solving the one-dimensional time-fractional Burgers equation. The unconditional stability and convergence are proved theoretically and affirmed through numerical experiments. [16] established a second-order linearized difference scheme to solve the one-dimensional time-fractional Burgers equation. The theoretical analysis shows that the scheme is unconditionally stable and convergent. [17] combined the finite integration method with the shifted Chebyshev polynomials to solve the one- and two-dimensional time-fractional Burgers equations. [18] scrutinized an implicit difference scheme for the solution of the one-dimensional time-fractional Burgers equation. [19] utilized the L1 scheme on a temporal graded mesh and the Legendre–Galerkin spectral approach in space to account for the solution of the one-dimensional time-fractional Burgers equation. [20] derived a Crank–Nicolson difference scheme to deal with the one-dimensional time-fractional Burgers equation. The stability and convergence of the proposed scheme are not discussed. A computational scheme based on a finite difference in time and a cubic trigonometric B-spline in space for the one-dimensional time-fractional Burgers equation was suggested by [21]. [22] constructed a non-standard finite difference method for the one-dimensional complex-order Burgers equation. [23] suggested a finite difference scheme for the one-dimensional fractional Burgers equation involving the Atangana–Baleanu temporal derivative. [24] used the finite difference technique in time and the extended cubic B-spline approach in space for the solution of the one-dimensional time-fractional Burgers equation. [25] developed a space–time spectral collocation method to solve the one-dimensional time-fractional Burgers equation. [26] introduced a linear implicit difference scheme for the one-dimensional fractional Burgers equation, including the generalized temporal Atangana–Baleanu derivative. An explicit decoupled group method for the two-dimensional time-fractional Burgers equation was introduced by [27]. [28] designed a finite difference scheme for the one-dimensional time-fractional Burgers model subject to artificial boundary conditions on unbounded domains. [29] proposed a differential quadrature method based on a modified hybrid B-spline basis function for the one-dimensional time-fractional Burgers equation. [30] developed a local projection stabilization virtual element method for the solution of the two-dimensional time-fractional Burgers equation. Other recent numerical treatments of the time-fractional Burgers equation can be found in [31–33]. We note that the mentioned research work is almost limited to one-dimensional problems, while the numerical treatment of two-dimensional Burgers models is limited in the literature. This is our second motivation for finding the numerical solution of the two-dimensional time-fractional Burger model presented in the next section.
The definition of the time-fractional derivative has an integral form, which leads to the non-locality of the fractional differential operator. This means that the storage of the solution values at all previous time levels is crucial for computing the solution at the current time level. Such a phenomenon causes several difficulties and challenges related to the computational complexity and theoretical analysis of time FPDEs. For instance, a two-dimensional time-fractional model with mesh size in the temporal direction and mesh points in the spatial direction requires a computational cost of and a storage requirement of . The implementation process of a long-time or large-domain simulation is still very difficult, even with high-performance computers. Consequently, the development of unconditionally stable, accurate, and computationally efficient numerical schemes for solving multi-dimensional time FPDEs is considered one of the open problems in this field [34]. This is the third motivation for our work.
In the last few years, explicit group methods have gained popularity in the numerical research field. These methods can be established based on finite difference approximations, where the solution is computed iteratively on a group of spatial mesh points rather than on a single point in the point-wise iterative schemes. Fractional diffusion equations [35–38], fractional cable equations [39–41], fractional mobile/immobile equations [42, 43], and fractional telegraph equations [44, 45] are solved successfully using these methods. Explicit group iterative methods can effectively refine the spectral properties of the iteration matrix and accelerate the rate of convergence of numerical algorithms. In addition, they can be implemented on parallel computers, making them a favored choice for simulation purposes. Moreover, since they rely on the finite difference method, explicit group methods inherit simplicity and universal applicability to a wide range of fractional problems. The primary goal of this paper is to propose an explicit group approach, namely, the linearized modified fractional explicit group method (LMFEGM), for the numerical solution of the two-dimensional time-fractional Burgers model. For the construction of the LMFEGM, we deal with the time-fractional derivative using the L1 discretization formula, while a linearized difference scheme based on double mesh spacing is used for the partial space derivatives. To evaluate the computational efficiency of the proposed method for solving the fractional Burgers equation, a linearized Crank–Nicolson difference method (LCNDM) is established as a reference method. The stability and convergence of the presented methods are analyzed in detail using the Fourier method. Furthermore, several numerical experiments are carried out to verify our considerations. The corresponding numerical results show the efficiency of the LMFEGM in terms of accuracy and reduction of computing effort compared to the LCNDM. To our knowledge, the current work, driven by the stated motivations, is novel as no attempt to solve the fractional Burgers equation using the LMFEGM has been reported in the literature.
In summary, the contributions of this work are listed as follows:
the development of the LMFEGM for efficiently solving the two-dimensional time fractional Burgers equation;
the derivation of the LCNDM as a reference method for verifying accuracy and computational efficiency;
the analysis of the stability and convergence properties of the proposed scheme; and
the execution and discussion of several numerical simulations.
The remainder of this article is arranged as follows. Section 2 provides an overview of the considered time-fractional Burgers model. Section 3 is devoted to the formulation of the proposed linearized numerical schemes. The stability and convergence properties of the presented methods are discussed in complete detail in Sections 4, 5, respectively. In Section 6, we implement several numerical experiments to test the performance and validate the theoretical statements. Finally, a brief conclusion is provided in Section 7.
2 Time-fractional Burgers model
The Burgers equation, named after J. M. Burgers (1895–1981), is one of the basic partial differential equations (PDEs) with numerous applications in science and engineering. In the literature, the solution and analysis of PDEs are one of the major topics in applied mathematics, due to their significant role in describing numerous phenomena in physics, chemistry, finance, biology, viscoelasticity, fluid mechanics, etc. In particular, the Burgers mathematical model has been applied in various disciplines such as gas dynamics, turbulent flows, shock wave theory, longitudinal elastic waves in isotropic solids, nonlinear wave propagation, growth of molecular interfaces, sedimentation of polydispersive suspensions and colloids, cosmology, and traffic flow. Furthermore, Burgers-type equations can be utilized as a reference for solving the Navier–Stokes equations as they share a similar structure but lack a pressure gradient. For details on applications of the Burgers equation, readers can refer to [46]. The general form of the one-dimensional Burgers equation is as follows:
The abovementioned integer-order Burgers equation is a mathematical model involving nonlinear propagation effects along with diffusion effects. Due to the fact that integer-order derivatives cannot describe the memory and hereditary properties of complex systems compared to fractional-order derivatives, many researchers have extended Equation 1 to its fractional-order counterpart. This can be achieved by replacing the integer-order derivatives in Equation 1 with time and/or space fractional derivatives to capture the true behavior of physical phenomena. In this work, we consider the following two-dimensional time-fractional Burgers model:where , , is the Laplacian operator, and . In this equation, is a rectangular bounded domain included in , and is its boundary. , where is the Reynolds number used to describe the transport properties of a fluid or a particle moving in a fluid [47], and , , and are known smooth functions. is the Caputo-type fractional temporal derivative, which is defined as follows:
The involvement of the Caputo fractional temporal derivative in the Burgers model (Equation 2) makes it suitable for describing the cumulative effect of wall friction through the boundary layer, along with the unidirectional propagation of weakly nonlinear acoustic waves [19, 48]. Due to the added complexity of handling the fractional derivative and nonlinear convection term, exact analytic solutions of the fractional Burgers equation are not easy to obtain. Consequently, the development of efficient, accurate, and stable numerical schemes for solving such equations is of utmost importance. In the next section, we propose the LCNDM and the LMFEGM for solving the model problem (Equation 2).
3 Formulation of the linearized schemes
3.1 Linearized Crank–Nicolson difference scheme
In order to establish a discrete form of the fractional Burgers model (Equation 2), its appearing integer and fractional derivatives can be replaced with their corresponding finite difference approximations. We introduce some notations to facilitate our formulation. We assume that , , and are some spatial and temporal increments, where , , and are the given positive integers. A spatial mesh is defined as , where , and , where , and a temporal mesh is given by , where .
The grid functions are defined as follows:
We assume that is a grid function. The following notations are introduced:
We adopt the technique for linearizing nonlinear convection terms from [49], where the following identities are used:
Accordingly, the nonlinear terms and can be discretized as follows:
To approximate the fractional temporal derivative in the Caputo sense, we use the discretization scheme [50] as follows:whereand the truncation error satisfies the following inequality:
Given the definition of the Caputo fractional derivative, weak regularity may exist in the exact solution of the time-fractional model (Equation 2) at the initial time. Nevertheless, we assume that the considered problem has a unique and sufficiently smooth exact solution without loss of this constraint.
Substituting Equations 3–7 into Equation 2 yields the following:
By dropping higher-order small error terms and replacing with its numerical approximation , we obtain the LCNDM:where .
3.2 Linearized grouping scheme
In this section, we introduce the linearized modified fractional explicit group method (LMFEGM) for the Burgers model (Equation 2). The idea of this method is to branch the spatial mesh points at each time level into small, fixed-size groups of points. After that, the numerical solution is computed at each group using an iterative process that involves only a quarter of the entire mesh, which efficiently reduces the computational complexity. For the construction of the LMFEGM, we consider a coarse mesh with spatial spacing and . On this coarse mesh, the finite difference operators (Equations 3–6) can be redefined as follows:
By combining Equations 10–13 and Equation 7 into Equation 2, we derive the following:Neglecting the higher-order small error terms and replacing with its numerical approximation lead to the fully discrete scheme:
Now, at each time level, groups of four mesh points are considered (as shown in Figure 1) with spatial locations , , , and . Applying Equation 14 to any of these groups will result in the following linear system of equations:
FIGURE 1
Here, , , , , and are grid functions, which are defined as follows:
By inverting the coefficient matrix in Equation 15, the linear system can be rewritten as follows:whereand
For the sake of the numerical implementation of the LMFEGM, we derive a new linearized difference scheme for the considered problem (Equation 2). To this end, we consider a skewed mesh designed by rotating the standard mesh 45 clockwise. Applying Taylor series expansion on the skewed mesh for spatial derivatives and utilizing Equation 7 for the fractional temporal derivative, we obtain the following:
After rearrangement and omission of the higher-order small error terms, the following linearized skewed difference method (LSDM) is obtained:
Figure 1 shows the distribution of the mesh points for the LMFEGM. It can be observed that the mesh points are divided into three types, denoted by , □, and ○. The implementation of the LMFEGM comprises the computation of the solution values at points iteratively using Equation 16. After convergence is achieved, the solution values at the remaining □ and ○ points are computed directly using the LSDM (Equation 17) and LCNDM (Equation 11), respectively. The evaluated solution values are then used as the initial guess for the next time level, and the described solution process continues until the targeted time level is reached. Numerical implementation and comprehensive comparison between the LCNDM and LMFEGM is provided in Section 7. Prior to that, the subsequent two sections are focus on the stability and convergence of the proposed methods.
4 Stability analysis
The stability of a numerical scheme guarantees that round-off errors do not amplify and remain bounded as the computation process progresses from one time level to the next. In this section, we analyze the stability of the proposed methods using the Fourier method. In this regard, it is advantageous to recall that the nonlinear convection term has been linearized by replacing with a local constant . As a result, the model problem (Equation 2) now takes the following form:
For stability analysis, we linearize the nonlinear term by regarding as a locally constant function . This simplification allows us to apply Fourier techniques but assumes that is invariant in space and time during the analysis. We emphasize that this is a theoretical construct for proving stability; numerical experiments in Section 6 confirm that the methods remain robust under the actual variable system. For strongly nonlinear regimes, other techniques can be used.
For later uses, the following lemma is introduced:
Lemma 1
4.1 Stability of the -spaced linearized difference scheme
To prove the stability of the -spaced linearized difference scheme (Equation 9), we need some notations. Let be the approximate solution of the discrete scheme (Equation 9). The round-off error is defined asSubstituting Equation 17 into Equation 9 leads to the following round-off error equation:
Without loss of generality, we assume that ; then, the grid function is given byand its Fourier expansion is in the form:where
From the norm definition,
Applying Parseval’s equality,we obtain
We can assume that the solution of is expressed as follows:
where and . Now, we prove the next result.
Lemma 2For , if , then it holds that .Proof: Substituting Equation 20 into Equation 18 and carrying out simplifications lead towhereBy substituting in Equation 21 and since , we obtainNow, we assume thatFrom Equation 21, Equation 22, and lemma 1, we obtainAs increases, , , and approach 0, which yieldsIf , thenIf , thenIn such a case,
If , then the difference scheme (Equation 9) is stable.
Proof: By considering lemma 2 and applying Parseval’s equality, we obtain
4.2 Stability of the -spaced linearized difference scheme
In this section, we examine the stability of the -spaced linearized difference scheme (Equation 14) and introduce some necessary notations. Let be the approximate solution of the discrete scheme (Equation 14). The round-off error is expressed as follows:By substituting Equation 23 into Equation 14, we obtain the following round-off error equation:
The grid function can be defined as in the previous subsection, while its Fourier expansion is given by
where
The norm definition provides
Applying Parseval’s equality,we obtain
Again, we can assume that the solution of Equation 29 is expressed as follows:
which leads us to the next result.
Lemma 3For , if , it holds that .Proof: Substituting Equation 25 into Equation 24 and performing some rearrangements lead towhereSubstituting in Equation 26 and since , we obtainNow, we assume thatFrom Equations 26, 27 and lemma 1, we obtainAs increases, , , and approach 0, which yieldsFrom lemma 2, it immediately follows that
If , then the difference scheme (Equation 15) is stable.
Proof: By considering lemma 3 and applying Parseval’s equality, we obtain
5 Convergence analysis
In this section, we analyze the convergence of the difference scheme (Equation 9). Some preliminaries are introduced first to prove our final result. We start by subtracting Equation 9 from Equation 8, which results in the following error equation:where denotes the local truncation error, and
Hereafter, will denote a generic positive constant that may vary from one location to another. For , the grid functions and can be defined as follows:and
The Fourier expansions of and can be written as follows:where and are the Fourier coefficients, and the following norms are introduced:
It should be noted that from Equation 8, there exists a positive constant such that
In addition, from the convergence of the right-hand side of Equation 30, we can obtain a positive constant such that
Prior to the next result, we now suppose that
Lemma 4For , if , it holds that .Proof: Substituting Equation 31 into Equation 28 and simplifying yieldwhere and are as defined before. For in Equation 33 and noting that , we obtainNow, we assume thatFrom Equations 31, 33, 34 and lemma 1, we obtainAs increases, , , , and approach 0, which yieldsFrom lemma 2, we obtainwhich completes the proof.
The difference scheme (Equation 9) is -convergent with a convergence order of .
Proof: Using Equations 29, 30 and lemma 4, we obtainwhich completes the proof.
The difference scheme (Equation 14) is -convergent with a convergence order of .
Proof: The proof can be established in a similar fashion to the proof of theorem 3.
It is worth pointing out that the discussions in Sections 4, 5 describe asymptotic stability and convergence analyses. A non-asymptotic analysis can be considered in future extensions of this work.
6 Numerical simulations and discussion of results
In this section, five numerical simulations corresponding to five test problems are carried out. The discussions are mainly based on the comparison of the numerical results for the LCNDM and LMFEGM in solving the time-fractional Burgers model. The maximum absolute error and CPU time (in seconds) of the aforementioned methods are selected to validate the accuracy and computational efficiency, respectively. We assume that refers to the exact solution of the time-fractional Burgers model, indicate the numerical solutions of the LCNDM and LMFEGM, respectively. The corresponding maximum absolute errors are computed using the following formulas:
Based on the structure of the proposed methods, a new linearized system of equations needs to be solved at each time level. In this study, the proposed numerical schemes are combined with the Gauss–Seidel iterative solver to account for numerical results. In practice, the initial approximations are given by = and = , where denotes the iteration’s number. In addition, the stopping criteria are set as and . Unless stated otherwise, the numerical results are obtained by considering , , and . All numerical simulations are performed using MATLAB R2018B on a Windows 64-bit system with an Intel(R) Core(TM) i7-8550 CPU and 8 GB of RAM.
Example 1We consider the time-fractional Burgers model (Equations 2) with the following exact solution:
The initial and boundary conditions, in addition to the forcing term, can be extracted from the exact solution. The maximum error and CPU time of the LCNDM and LMFEGM, when the Reynolds number , in solving Example 1, are listed in Table 1. For different values of , it can be observed that both numerical methods converge well to the exact solution of the model problem. This is also apparent from Figure 2, which depicts the plots of the numerical and exact solutions when , , , and . On the other hand, it is also evident that the LMFEGM takes much less CPU time than the LCNDM in solving the considered problem. For instance, when and , 46.90 s are required by the LCNDM, while only 3.78 s are needed by the LMFEGM for computing the numerical solutions.
TABLE 1
| LCNDM | LMFEGM | LCNDM | LMFEGM | |||||
|---|---|---|---|---|---|---|---|---|
| CPU time | CPU time | CPU time | CPU time | |||||
| 0.1 | 6.26 | 6.6960E-03 | 1.14 | 6.3845E-03 | 46.90 | 1.2191E-03 | 3.78 | 8.2737E-04 |
| 0.2 | 5.42 | 6.8316E-03 | 0.95 | 6.5300E-03 | 38.17 | 1.2652E-03 | 4.41 | 8.0608E-04 |
| 0.3 | 5.85 | 7.1042E-03 | 1.12 | 6.7689E-03 | 30.36 | 1.3010E-03 | 3.93 | 7.9778E-04 |
| 0.4 | 4.35 | 7.4706E-03 | 0.98 | 7.0856E-03 | 24.47 | 1.3490E-03 | 3.74 | 8.1432E-04 |
| 0.5 | 2.55 | 7.9086E-03 | 0.90 | 7.4526E-03 | 13.74 | 1.4068E-03 | 3.55 | 8.4262E-04 |
| 0.6 | 3.13 | 8.3185E-03 | 0.89 | 7.7985E-03 | 14.78 | 1.4647E-03 | 2.90 | 8.9557E-04 |
| 0.7 | 2.39 | 8.5077E-03 | 0.73 | 7.9388E-03 | 11.93 | 1.5353E-03 | 3.40 | 9.5032E-04 |
| 0.8 | 2.30 | 8.2061E-03 | 0.90 | 7.5727E-03 | 10.12 | 1.5513E-03 | 2.64 | 9.6686E-04 |
| 0.9 | 1.92 | 6.8906E-03 | 0.84 | 6.2303E-03 | 6.97 | 1.4082E-03 | 3.30 | 8.2508E-04 |
Maximum error, iteration count, and CPU time obtained for Example 1 when .
FIGURE 2
Example 2We consider the time-fractional Burgers model (Equation 2) with the following exact solution:
We solve this model problem subject to the initial and boundary conditions that can be drawn from the exact solution. The numerical results of the LCNDM and LMFEGM for the solution of Example 2, when , are recorded in Table 2, through which we can observe that decreasing values of lead to better convergent solutions. The graph of the numerical and exact solutions for Example 2 when , , , , and is highlighted in Figure 3. Based on the data in these representations, there is no significant difference between the proposed methods in terms of accuracy; however, the LMFEGM converges much faster than the LCNDM, making it more efficient in solving the considered problem.
TABLE 2
| LCNDM | LMFEGM | LCNDM | LMFEGM | |||||
|---|---|---|---|---|---|---|---|---|
| CPU time | CPU time | CPU time | CPU time | |||||
| 0.1 | 3.87 | 8.6786E-03 | 0.60 | 8.7828E-03 | 23.43 | 5.2165E-04 | 2.12 | 4.8456E-04 |
| 0.2 | 3.20 | 9.6751E-03 | 0.56 | 9.6622E-03 | 17.94 | 6.4543E-04 | 1.66 | 5.3179E-04 |
| 0.3 | 3.22 | 1.0888E-02 | 0.45 | 1.0797E-02 | 13.11 | 8.3767E-04 | 1.43 | 6.3357E-04 |
| 0.4 | 3.02 | 1.2369E-02 | 0.48 | 1.2183E-02 | 9.23 | 1.1114E-03 | 1.39 | 7.8019E-04 |
| 0.5 | 1.27 | 1.3918E-02 | 0.31 | 1.3607E-02 | 5.25 | 1.4514E-03 | 1.12 | 9.8853E-04 |
| 0.6 | 1.56 | 1.5175E-02 | 0.44 | 1.4732E-02 | 4.91 | 1.8027E-03 | 1.16 | 1.2423E-03 |
| 0.7 | 1.27 | 1.5643E-02 | 0.32 | 1.5097E-02 | 3.64 | 2.0984E-03 | 1.06 | 1.4828E-03 |
| 0.8 | 1.13 | 1.4653E-02 | 0.37 | 1.4038E-02 | 2.88 | 2.1825E-03 | 0.98 | 1.6039E-03 |
| 0.9 | 1.00 | 1.1251E-02 | 0.28 | 1.0604E-02 | 2.31 | 1.8907E-03 | 1.00 | 1.3272E-03 |
Maximum error, iteration count, and CPU time obtained for Example 2 when .
FIGURE 3
Example 3Here, we consider the time-fractional Burgers model (Equation 2), which has the following exact solution:
Table 3 shows the numerical results in terms of maximum error and CPU time for Example 3 when . Figure 4 shows the sketch of the exact and numerical solutions for Example 3 when , , , , and . Again, it can be observed that the numerical solutions of the proposed methods are compatible with the exact solution. In addition, the LMFEGM results in economic simulations since it requires less computational effort than the LCNDM. This illustrates that the LMFEGM is more efficient than the LCNDM when dealing with the time-fractional Burgers model.
TABLE 3
| LCNDM | LMFEGM | LCNDM | LMFEGM | |||||
|---|---|---|---|---|---|---|---|---|
| CPU time | CPU time | CPU time | CPU time | |||||
| 0.1 | 2.73 | 2.71E-03 | 0.53 | 2.64E-03 | 15.04 | 2.17E-04 | 1.67 | 1.09E-04 |
| 0.2 | 2.3 | 3.04E-03 | 0.47 | 2.96E-03 | 14.02 | 2.95E-04 | 1.71 | 1.40E-04 |
| 0.3 | 2.01 | 3.56E-03 | 0.43 | 3.44E-03 | 7.22 | 4.03E-04 | 1.43 | 1.82E-04 |
| 0.4 | 1.83 | 4.21E-03 | 0.39 | 4.03E-03 | 5.24 | 5.20E-04 | 1.29 | 2.43E-04 |
| 0.5 | 1.28 | 4.89E-03 | 0.35 | 4.64E-03 | 3.24 | 6.38E-04 | 1.23 | 3.24E-04 |
| 0.6 | 1.48 | 5.45E-03 | 0.35 | 5.15E-03 | 3.08 | 7.55E-04 | 1.1 | 4.23E-04 |
| 0.7 | 1.35 | 5.66E-03 | 0.41 | 5.35E-03 | 2.52 | 8.46E-04 | 1.01 | 5.24E-04 |
| 0.8 | 1.22 | 5.29E-03 | 0.35 | 4.97E-03 | 2.23 | 8.65E-04 | 1.11 | 5.75E-04 |
| 0.9 | 1.14 | 3.93E-03 | 0.39 | 3.64E-03 | 1.79 | 7.53E-04 | 0.96 | 4.82E-04 |
Maximum error and CPU time obtained for Example 3 when .
FIGURE 4
Example 4We consider the time-fractional Burgers model (Equation 2) whose exact solution is in the following form:
Table 4 presents the computational outcomes for Example 4 at with various values of fractional-order . From this table, one can note the similarity between the exact solution and numerical solutions obtained by the LCNDM and LMFEGM, where the maximum errors decrease as the time increments decrease. By fixing all other parameters, we plot the CPU time of the proposed methods against different values of mesh size , and 74 in Figure 5. Based on this figure, it is not surprising that the LMFEGM is computationally superior to the LCNDM, where the former reduces the computing time significantly compared to that of the latter. The reason for this is that the LMFEGM comprises only a quarter of the mesh points in the iterative process, which reduces the computational cost effectively, as discussed in Section 3. Hence, the results are in good agreement with our stated considerations.
TABLE 4
| LCNDM | LMFEGM | LCNDM | LMFEGM | |||||
|---|---|---|---|---|---|---|---|---|
| CPU time | CPU time | CPU time | CPU time | |||||
| 0.1 | 6.23 | 1.1752E-03 | 1.56 | 1.1237E-03 | 49.44 | 6.7750E-04 | 8.71 | 4.6742E-04 |
| 0.2 | 5.83 | 9.9615E-04 | 1.76 | 1.0512E-03 | 47.26 | 6.9165E-04 | 8.14 | 4.5949E-04 |
| 0.3 | 5.38 | 1.0012E-03 | 1.50 | 1.0201E-03 | 45.02 | 6.9416E-04 | 7.84 | 4.5884E-04 |
| 0.4 | 5.27 | 1.0028E-03 | 1.50 | 1.0276E-03 | 38.36 | 6.9912E-04 | 5.92 | 4.5896E-04 |
| 0.5 | 3.25 | 9.7666E-04 | 1.40 | 1.0666E-03 | 26.16 | 6.9704E-04 | 6.17 | 4.6009E-04 |
| 0.6 | 4.53 | 9.4223E-04 | 1.66 | 1.1075E-03 | 26.66 | 7.0252E-04 | 6.02 | 4.6356E-04 |
| 0.7 | 4.12 | 9.0576E-04 | 1.41 | 1.1296E-03 | 23.85 | 7.1451E-04 | 5.87 | 4.6741E-04 |
| 0.8 | 3.87 | 8.9979E-04 | 1.57 | 1.1216E-03 | 19.39 | 7.3459E-04 | 6.12 | 4.7323E-04 |
| 0.9 | 3.49 | 9.2733E-04 | 1.30 | 1.0590E-03 | 13.67 | 7.7279E-04 | 4.95 | 4.6739E-04 |
Maximum error and CPU time obtained for Example 4 when .
FIGURE 5
Example 5We consider the time-fractional Burgers model (Equation 2) whose exact solution is given by
For this example, we apply the proposed methods to solve the time-fractional Burgers equation using , , and the three final times , , and . The corresponding results are tabulated in Table 5, from which we observe that the numerical solutions of the methods are close to the exact solution for different values of . The computational times of the LCNDM are greater than those of the LMFEGM, which indicates the efficiency of the latter. Figure 6 displays the three-dimensional error profile when , , , , and , which shows the accuracy of the proposed methods. All numerical simulations demonstrate the viability of the proposed methods and stress the computational superiority of the LMFEGM over the LCNDM in solving the time-fractional Burgers model.
TABLE 5
| LCNDM | LMFEGM | LCNDM | LMFEGM | LCNDM | LMFEGM | |||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| CPU time | CPU time | CPU time | CPU time | CPU time | CPU time | |||||||
| 0.1 | 117.99 | 1.1216E-04 | 4.92 | 9.9614E-05 | 93.86 | 1.3370E-04 | 4.88 | 1.5774E-04 | 69.63 | 3.2602E-04 | 5.40 | 3.2422E-04 |
| 0.2 | 93.53 | 1.3835E-04 | 4.64 | 1.0258E-04 | 78.98 | 7.7544E-05 | 4.40 | 1.7416E-04 | 61.58 | 1.1466E-04 | 5.30 | 2.5541E-04 |
| 0.3 | 68.49 | 1.9991E-04 | 4.09 | 1.0200E-04 | 64.36 | 9.4386E-05 | 3.92 | 1.7468E-04 | 53.30 | 1.0233E-04 | 4.92 | 2.4846E-04 |
| 0.4 | 50.98 | 3.1131E-04 | 3.54 | 1.0475E-04 | 50.05 | 1.1453E-04 | 3.65 | 1.7564E-04 | 42.59 | 1.0221E-04 | 4.42 | 2.5012E-04 |
| 0.5 | 26.30 | 4.1922E-04 | 2.94 | 1.1163E-04 | 29.92 | 1.5324E-04 | 3.03 | 1.7682E-04 | 24.46 | 1.0296E-04 | 3.77 | 2.5234E-04 |
| 0.6 | 23.94 | 5.3962E-04 | 2.96 | 1.1893E-04 | 26.92 | 1.7852E-04 | 3.16 | 1.7831E-04 | 26.23 | 1.0335E-04 | 3.79 | 2.5467E-04 |
| 0.7 | 17.21 | 6.5031E-04 | 3.07 | 1.2849E-04 | 19.84 | 2.1522E-04 | 3.18 | 1.8005E-04 | 20.43 | 1.0394E-04 | 3.64 | 2.5690E-04 |
| 0.8 | 13.23 | 7.5954E-04 | 2.85 | 1.4142E-04 | 15.60 | 2.5077E-04 | 2.98 | 1.8202E-04 | 15.63 | 1.0421E-04 | 3.25 | 2.5912E-04 |
| 0.9 | 8.70 | 8.2057E-04 | 2.60 | 1.5696E-04 | 12.02 | 2.8731E-04 | 2.68 | 1.8418E-04 | 12.59 | 1.0524E-04 | 3.05 | 2.6118E-04 |
Maximum error and CPU time obtained for Example 5 with and .
FIGURE 6
7 Conclusion
In this article, the LMFEGM is proposed for solving the two-dimensional time-fractional Burgers equation. The method employs the discretization formula for the fractional temporal derivative and a linearized difference scheme on a coarse mesh for the spatial derivatives. The LCNDM is also developed for comparison purposes. The stability and convergence of both methods are rigorously studied and proven via Fourier analysis. Five numerical simulations are carried out, and the obtained data are represented in Tables 1–5 along with Figures 2–6. Numerical results demonstrate that the LMFEGM is accurate and a good CPU time reducer; hence, it is computationally superior to the LCNDM in dealing with the time-fractional Burgers model. This is particularly useful when simulating complex physical problems governed by multi-dimensional, nonlinear, and nonlocal fractional models. In this regard, the LMFEGM can be extended for handling other high-dimensional fractional Burgers-type models [51] in the future. The combination of the LMFEGM with two-gird methods [52, 53, 53] is also a potential subject of further research. Finally, the extension of the proposed method to deal with fractional models that exhibit weak singularity at the initial time is another interesting avenue for future research.
Statements
Data availability statement
The original contributions presented in the study are included in the article/supplementary material; further inquiries can be directed to the corresponding author.
Author contributions
FS: Writing – original draft, Writing – review and editing.
Funding
The author(s) declare that financial support was received for the research and/or publication of this article. The author acknowledges the funding support provided by the Deanship of Research at the King Fahd University of Petroleum and Minerals (KFUPM), Kingdom of Saudi Arabia.
Acknowledgments
The author would like to thank the reviewers for their insightful comments that helped improve the article.
Conflict of interest
The authors declare that the research was conducted in the absence of any commercial or financial relationships that could be construed as a potential conflict of interest.
Generative AI statement
The author(s) declare that no Generative AI was used in the creation of this manuscript.
Publisher’s note
All claims expressed in this article are solely those of the authors and do not necessarily represent those of their affiliated organizations, or those of the publisher, the editors and the reviewers. Any product that may be evaluated in this article, or claim that may be made by its manufacturer, is not guaranteed or endorsed by the publisher.
References
1.
Sales TeodoroGMachadoJTDe OliveiraEC. A review of definitions of fractional derivatives and other operators. J Comput Phys (2019) 388:195–208. 10.1016/j.jcp.2019.03.008
2.
LuchkoY. Fractional derivatives and the fundamental theorem of fractional calculus. Fractional Calculus Appl Anal (2020) 23(4):939–966. 10.1515/fca-2020-0049
3.
VasilyET. Handbook of fractional calculus with applications, volume 5. Berlin: de Gruyter (2019).
4.
PartohaghighiMAkgülA. Fractional study of the covid-19 model with different types of transmissions. Kuwait J Sci (2023) 50:153–162. 10.1016/j.kjs.2023.02.021
5.
LiuSSunHYuHMiaoJCaoZZhangX. A framework for battery temperature estimation based on fractional electro-thermal coupling model. J Energ Storage (2023) 2063:107042. 10.1016/j.est.2023.107042
6.
IonescuCLopesACopotDMachadoJTBatesJHT. The role of fractional calculus in modeling biological phenomena: a review. Commun Nonlinear Sci Numer Simulation (2017) 51:141–159. 10.1016/j.cnsns.2017.04.001
7.
ZhangYSunHGStowellHHZayernouriMHansenSE. A review of applications of fractional calculus in earth system dynamics. Chaos, Solitons and Fractals (2017) 102:29–46. 10.1016/j.chaos.2017.03.051
8.
SunHGZhangYBaleanuDChenWChenYQ. A new collection of real world applications of fractional calculus in science and engineering. Commun Nonlinear Sci Numer Simulation (2018) 64:213–231. 10.1016/j.cnsns.2018.04.019
9.
VasilyET. Mathematical economics: application of fractional calculus (2020).
10.
PriyendhuKSPrakashPLakshmananM. Invariant subspace method to the initial and boundary value problem of the higher dimensional nonlinear time-fractional pdes. Commun Nonlinear Sci Numer Simulation (2023) 122:107245. 10.1016/j.cnsns.2023.107245
11.
SongLZhangH. Application of homotopy analysis method to fractional kdv–burgers–kuramoto equation. Phys Lett A (2007) 367(1-2):88–94. 10.1016/j.physleta.2007.02.083
12.
MustafaI. The approximate and exact solutions of the space-and time-fractional burgers equations with initial conditions by variational iteration method. J Math Anal Appl (2008) 345(1):476–484. 10.1016/j.jmaa.2008.04.007
13.
SaadKMAl-SharifEHF. Analytical study for time and time-space fractional burgers’ equation. Adv Difference Equations (2017) 2017(1):1–15. 10.1186/s13662-017-1358-0
14.
Alam KhanNAraAMahmoodA. Numerical solutions of time-fractional burgers equations: a comparison between generalized differential transformation technique and homotopy perturbation method. Int J Numer Methods Heat and Fluid Flow (2012) 22(2):175–193. 10.1108/09615531211199818
15.
MohebbiA. Analysis of a numerical method for the solution of time fractional burgers equation. Bull Iranian Math Soc (2018) 44:457–480. 10.1007/s41980-018-0031-z
16.
VongSLyuP. Unconditional convergence in maximum-norm of a second-order linearized scheme for a time-fractional burgers-type equation. J Scientific Comput (2018) 76:1252–1273. 10.1007/s10915-018-0659-0
17.
DuangpanABoonklurbRTreeyaprasertT. Finite integration method with shifted Chebyshev polynomials for solving time-fractional burgers’ equations. Mathematics (2019) 7(12):1201. 10.3390/math7121201
18.
QiuWChenHZhengX. An implicit difference scheme and algorithm implementation for the one-dimensional time-fractional burgers equations. Mathematics Comput Simulation (2019) 166:298–314. 10.1016/j.matcom.2019.05.017
19.
LiLLiD. Exact solutions and numerical study of time fractional burgers’ equations. Appl Maths Lett (2020) 100:106011. 10.1016/j.aml.2019.106011
20.
OnalMEsenA. A crank-nicolson approximation for the time fractional burgers equation. Appl Maths Nonlinear Sci (2020) 5(2):177–184. 10.2478/amns.2020.2.00023
21.
YaseenMAbbasM. An efficient computational technique based on cubic trigonometric b-splines for time fractional burgers’ equation. Int J Comput Maths (2020) 97(3):725–738. 10.1080/00207160.2019.1612053
22.
SweilamNHAl-MekhlafiSMBaleanuD. Nonstandard finite difference method for solving complex-order fractional burgers’ equations. J Adv Res (2020) 25:19–29. 10.1016/j.jare.2020.04.007
23.
YadavSPandeyRK. Numerical approximation of fractional burgers equation with atangana–baleanu derivative in caputo sense. Chaos, Solitons and Fractals (2020) 133:109630. 10.1016/j.chaos.2020.109630
24.
AkramTAbbasMRiazMBIsmailAIAliNM. An efficient numerical technique for solving time fractional burgers equation. Alexandria Eng J (2020) 59(4):2201–2220. 10.1016/j.aej.2020.01.048
25.
HuangYMohammadi ZadehFSkandariMHNTehraniHATohidiE. Space–time Chebyshev spectral collocation method for nonlinear time-fractional burgers equations based on efficient basis functions. Math Methods Appl Sci (2021) 44(5):4117–4136. 10.1002/mma.7015
26.
VieruDFetecauCAli ShahNChungJD. Numerical approaches of the generalized time-fractional burgers’ equation with time-variable coefficients. J Funct Spaces (2021) 2021:1–14. 10.1155/2021/8803182
27.
AbdiNAminikhahHRefahi SheikhaniAHAlaviJTaghipourM. An efficient explicit decoupled group method for solving two–dimensional fractional burgers’ equation and its convergence analysis. Adv Math Phys (2021) 2021:1–20. 10.1155/2021/6669287
28.
LiHWuY. Artificial boundary conditions for nonlinear time fractional burgers’ equation on unbounded domains. Appl Maths Lett (2021) 120:107277. 10.1016/j.aml.2021.107277
29.
Sadiq HashmiMWajihaMYaoS-WGhaffarAMustafaI. Cubic spline based differential quadrature method: a numerical approach for fractional burger equation. Results Phys (2021) 26:104415. 10.1016/j.rinp.2021.104415
30.
ZhangYFengM. A local projection stabilization virtual element method for the time-fractional burgers equation with high Reynolds numbers. Appl Maths Comput (2023) 436:127509. 10.1016/j.amc.2022.127509
31.
WangYSunT. Two linear finite difference schemes based on exponential basis for two-dimensional time fractional burgers equation. Physica D: Nonlinear Phenomena (2024) 459:134024. 10.1016/j.physd.2023.134024
32.
MajiSSrinivasanN. Error analysis for discontinuous galerkin method for time-fractional burgers’ equation. Math Methods Appl Sci (2024) 47(12):9703–9717. 10.1002/mma.10089
33.
XingZSunWZhuX. A fast l1 formula on tanh meshes for time fractional burgers equations. Int J Geometric Methods Mod Phys (2024). 10.1142/s0219887824400413
34.
DiethelmKKiryakovaVLuchkoYMachadoJATTarasovVE. Trends, directions for further research, and some open problems of fractional calculus. Nonlinear Dyn (2022) 107(4):3245–3270. 10.1007/s11071-021-07158-9
35.
SalamaFMHamidNNAAliNHMAliU. An efficient modified hybrid explicit group iterative method for the time-fractional diffusion equation in two space dimensions. AIMS Maths (2022) 7(2):2370–2392. 10.3934/math.2022134
36.
SalamaFMHamidNNAAliUAliNHM. Fast hybrid explicit group methods for solving 2d fractional advection-diffusion equation. AIMS Maths (2022) 7(9):15854–15880. 10.3934/math.2022868
37.
SalamaFMBalasimATAliUKhanMA. Efficient numerical simulations based on an explicit group approach for the time fractional advection–diffusion reaction equation. Comput Appl Maths (2023) 42(4):157. 10.1007/s40314-023-02278-x
38.
SalamaFMFairagF. On numerical solution of two-dimensional variable-order fractional diffusion equation arising in transport phenomena. AIMS Math (2024) 9(1):340–370. 10.3934/math.2024020
39.
SalamaFMNorhashidahHHamidNNA. Efficient hybrid group iterative methods in the solution of two-dimensional time fractional cable equation. Adv Difference Equations (2020) 2020(1):1–20. 10.1186/s13662-020-02717-7
40.
Asim KhanMAliNHMHamidNNA. The design of new high-order group iterative method in the solution of two-dimensional fractional cable equation. Alexandria Eng J (2021) 60(4):3553–3563. 10.1016/j.aej.2021.01.008
41.
FouadMS. On numerical simulations of variable-order fractional cable equation arising in neuronal dynamics. Fractal and Fractional (2024) 8(5):282. 10.3390/fractalfract8050282
42.
SalamaFMAliUAliA. Numerical solution of two-dimensional time fractional mobile/immobile equation using explicit group methods. Int J Appl Comput Maths (2022) 8(4):188. 10.1007/s40819-022-01408-z
43.
SalamaFMFairagF. A numerical algorithm with parallel implementation for variable-order fractional mobile/immobile equation. J Appl Maths Comput (2025) 71(2):2433–2471. 10.1007/s12190-024-02321-y
44.
AbdiNAminikhahHSheikhaniAHR. High-order rotated grid point iterative method for solving 2d time fractional telegraph equation and its convergence analysis. Comput Appl Maths (2021) 40:54–26. 10.1007/s40314-021-01451-4
45.
AliAAbdeljawadTIqbalAAkramTAbbasM. On unconditionally stable new modified fractional group iterative scheme for the solution of 2d time-fractional telegraph model. Symmetry (2021) 13(11):2078. 10.3390/sym13112078
46.
BonkileMPAwasthiALakshmiCMukundanVAswinVS. A systematic literature review of burgers’ equation with recent advances. Pramana (2018) 90:69–21. 10.1007/s12043-018-1559-4
47.
BastianER. Microfluidics: modeling, mechanics and mathematics. Amsterdam: Elsevier (2017).
48.
PengXXuDQiuW. Pointwise error estimates of compact difference scheme for mixed-type time-fractional burgers’ equation. Maths Comput Simulation (2023) 208:702–726. 10.1016/j.matcom.2023.02.004
49.
KongDXuYZhengZ. A hybrid numerical method for the kdv equation by finite difference and sinc collocation method. Appl Maths Comput (2019) 355:61–72. 10.1016/j.amc.2019.02.031
50.
KaratayIKaleNBayramogluS. A new difference scheme for time fractional heat equations based on the crank-nicholson method. Fractional Calculus Appl Anal (2013) 16(4):892–910. 10.2478/s13540-013-0055-2
51.
PengXQiuWHendyASZakyMA. Temporal second-order fast finite difference/compact difference schemes for time-fractional generalized burgers’ equations. J Scientific Comput (2024) 99(2):52. 10.1007/s10915-024-02514-4
52.
PengXQiuWWangJMaL. A novel temporal two-grid compact finite difference scheme for the viscous burgers’ equation. Adv In Appl Maths Mech (2024) 16(6):1358–1380. 10.4208/aamm.oa-2022-0302
53.
ChenHQiuWZakyMAAhmedSH. A two-grid temporal second-order scheme for the two-dimensional nonlinear volterra integro-differential equation with weakly singular kernel. Calcolo (2023) 60(1):13. 10.1007/s10092-023-00508-6
Summary
Keywords
Burgers equation, Caputo fractional derivative, explicit group methods, finite differences, stability and convergence, numerical simulation
Citation
Salama FM (2025) An efficient explicit group method for time fractional Burgers equation. Front. Phys. 13:1631259. doi: 10.3389/fphy.2025.1631259
Received
19 May 2025
Accepted
23 June 2025
Published
29 July 2025
Volume
13 - 2025
Edited by
Jisheng Kou, Shaoxing University, China
Reviewed by
Tao Sun, Shanghai Lixin University of Accounting and Finance, China
Xiangyi Peng, Xiangtan University, China
Updates
Copyright
© 2025 Salama.
This is an open-access article distributed under the terms of the Creative Commons Attribution License (CC BY). The use, distribution or reproduction in other forums is permitted, provided the original author(s) and the copyright owner(s) are credited and that the original publication in this journal is cited, in accordance with accepted academic practice. No use, distribution or reproduction is permitted which does not comply with these terms.
*Correspondence: Fouad Mohammad Salama, fuadmohd321@gmail.com
Disclaimer
All claims expressed in this article are solely those of the authors and do not necessarily represent those of their affiliated organizations, or those of the publisher, the editors and the reviewers. Any product that may be evaluated in this article or claim that may be made by its manufacturer is not guaranteed or endorsed by the publisher.