Abstract
In this paper, by using the local one-dimensional (LOD) method, Taylor series expansion and correction for the third derivatives in the truncation error remainder, two high-order compact LOD schemes are established for solving the two- and three- dimensional advection equations, respectively. They have the fourth-order accuracy in both time and space. By the von Neumann analysis method, it shows that the two schemes are unconditionally stable. Besides, the consistency and convergence of them are also proved. Finally, numerical experiments are given to confirm the accuracy and efficiency of the present schemes.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Consider the high-dimensional advection equations as follows
![](http://media.springernature.com/lw225/springer-static/image/art%3A10.1007%2Fs40314-021-01483-w/MediaObjects/40314_2021_1483_Equ1_HTML.png)
with the initial conditions
and the following periodic boundary condition
For the two-dimensional (2D) advection equation, \(X = (x,y)\) are spatial variables, are the advection coefficients, \(u=u(x,y,t)\) is the unknown function, D is a 2D spatial domain. And for the three-dimensional (3D) advection equation, \(X = (x,y,z)\),
, D is a 3D spatial domain.
Advection equation is one of the very important hyperbolic partial differential equations (PDEs), which is widely used in many fields, such as biomathematics, energy development, and aerodynamics, etc. However, because practical problems are usually very complicated, it is often difficult to obtain the exact solutions of them, therefore, it is very necessary and valuable to solve them with numerical methods.
In the past few decades, many scholars have devoted to the development of accurate and stable numerical methods for solving advection equations. Vabishchevich (2019), Vabishchevich (2018) established an unconditionally stable implicit three-level scheme with the second-order accuracy and proposed several two-level schemes for solving the advection equations. Wei and Zhang (2010) proposed a two-parameter display difference scheme for the advection equation and discussed the stability and the calculation accuracy by using Miller theorem, the scheme is stable when the two parameters are non-negative. Erdogan (2014) used exponential fitting method to present a difference scheme. Bourchtein and Bourchtein (2012) constructed a three-level, five-point central leapfrog scheme for the advection equation, but this scheme is conditionally stable. Kim (2003) proposed an upwind leapfrog approach for solving the advection equations, which is non-dissipative and very accurate, and then was extended to higher-order and multiple dimensions. Abarbanel and Chertock (2000) developed a class of finite difference schemes for the hyperbolic initial boundary value problems in one and two space dimensions. They possess the property of strict stability. Sheu and Lee (2003) presented a class of Taylor–Galerkin (TG) finite-element models for solving the first-order hyperbolic equation which admits discontinuities, in which, five parameters were introduced for purposes of controlling stability, monotonicity and accuracy. Sarra (2008) explored the accuracy and eigenvalue stability of symmetric, asymmetric radial basis functions (RBF) collocation methods for solving some model hyperbolic initial boundary value problems in one and two dimensions. Hou and Ge (2019) constructed an unconditionally stable high-order compact difference scheme with the truncation error is \(O({\tau ^4} + {\tau ^2}{h^2} + {h^4})\) to solve the one-dimensional advection equation. Fan (2015) proposed a box scheme of the variable coefficient advection equation and the energy analysis method was used to verify the unconditional stability of the scheme. Montmollin (2000) employed the space-time integrated least squares (STILS) method to solve the pure advection equation and proposed a time-marching method.
For high-dimensional differential equations, using fully implicit difference methods to get a solution, usually, a large linear system at each time step has to be resolved, which would be too expensive to be used in practice. To overcome this difficulty, operator splitting methods were proposed, such as the alternating direction implicit (ADI) (Peaceman and Rechford 1955; Douglas and Kimy 2011) and the local one-dimensional (LOD) (Samarskii 1964) methods. These methods can transfer the high-dimensional problems to some low-dimensional problems, which makes the algorithm much simpler and reduces the amount of calculation. Among splitting methods, various LOD schemes have been developed. For instance, Wang (2011) used the LOD method to obtain a scheme for the 2D non-homogeneous parabolic equations with the second-order accuracy in time direction and the fourth-order accuracy in space direction and temporal accuracy was improved to the fourth-order by using the Richardson extrapolation technique. Wang and Wang (2014) used the Richardson extrapolation algorithms and LOD method to propose two schemes for solving the 2D non-homogeneous diffusion reaction equations. Based on the LOD strategy, Chen and Ge (2018) proposed two kinds high-order finite difference schemes for solving the 2D linear parabolic equation, whose truncation errors are \( O({\tau ^4} + {h^4})\) and \( O({\tau ^6} + {h^6})\), respectively. Xu (2016) constructed two improved LOD schemes for the nonlinear parabolic equations, and gave out the error and stability analysis. Karaa (2005) constructed a high-order LOD difference scheme for solving the 2D parabolic equations with Dirichlet boundary conditions. Zhao et al. (2017) developed two sets of high-order LOD difference schemes to solve the 2D and 3D heat problems with Neumann boundary conditions. On the other hand, ADI method is another commonly used operator splitting method, which has been developed extensively by many authors to solve the parabolic and hyperbolic equations. For more details, readers are referred to Tian (2011), Ge et al. (2018), Sun and Sun (2020), Karaa and Zhang (2004), Karaa (2006), You (2006), Liao and Sun (2013), Dai and Nassar (1998) and the references therein.
In this paper, based on the LOD method, a class of high-order compact difference schemes are introduced for solving the high-dimensional advection equations. In Sect. 2, we propose a high-order compact LOD difference scheme for solving the 2D advection equation, the consistency, stability and convergence are proved. In Sect. 3, we extend the present method to the 3D case. In Sect. 4, numerical experiments are given to demonstrate the accuracy and reliability of the present method. In Sect. 5, some conclusions are given.
2 2D advection equation
Now we consider the 2D advection equation as following
with initial condition
and periodic boundary condition
where u(x, y, t) is the unknown function and is assumed to have sufficient smoothness, a and b are the advection coefficients in x and y directions, respectively, \({\varphi _2}(x,y)\) is a smooth known function, \({D_2} = \{ \left. {x,y} \right| c \le x,y \le d\}\), \(\partial {D_2}\) is the boundary of \(D_2\).
2.1 High-order compact LOD scheme
We divide the domain \({D_2} \times (0,T]\) into an \({N^2} \times M\) mesh, with \( h = \frac{{d - c}}{N}\) and \(\tau = \frac{T}{M}\), respectively. \({x_i} = c + ih, {y_j} = c + jh\), for \(i,j = 0,1, \ldots N\) are the ith and jth mesh node. In temporal dimension, the uniform step size \(\tau \) is used, and \({t_n} = n\tau \) is the nth time level. The quantity \(u({x_i},{y_j},{t_n})\) represents the exact solution, while \(u_{i,j}^n\) denotes its approximate solution.
Applying the LOD strategy, we split Eq. (4) into the following one-dimensional equations ideally:
To advance the solution from \({t^n}\) to \({t^{n + 1}}\), we assume that Eq. (7) holds from \({t^n}\) to \({t^{n + \frac{1}{2}}}\) , and Eq. (8) holds from \({t^{n + \frac{1}{2}}}\) to \({t^{n + 1}}\).
Firstly, the points \(u_{i,j}^{n + \frac{1}{2}}\) and \(u_{i,j}^n\) are expanded with Taylor series at the grid point \(({x_i},{y_j},{t_{n + \frac{1}{4}}})\) as follows:
Combining Eqs. (9) and (10), we can get
Similarly, we can obtain
Substituting Eqs. (11) and (12) into Eq. (7), we can obtain
In which, \({\delta _t}u_{i,j}^{n + \frac{1}{4}} = \frac{{u_{i,j}^{n + \frac{1}{2}} - u_{i,j}^n}}{{\tau /2}}\), \({\delta _x}u_{i,j}^{n + \frac{1}{4}} = \frac{{u_{i + 1,j}^{n + \frac{1}{4}} - u_{i - 1,j}^{n + \frac{1}{4}}}}{{2h}}\). In order to achieve the fourth-order accuracy in both time and space directions, the third derivatives of t and x in Eq. (13) must be discretized with the second-order. And at the same time, in order to ensure the compactness of the scheme, we make the following deformations of Eq. (7):
Substituting the expressions of \(\frac{{{\partial ^3}u}}{{\partial {t^3}}}\) and \(\frac{{{\partial ^3}u}}{{\partial {x^3}}}\) above into Eq. (13), we have
For Eq. (15), if using the arithmetic average in \({\delta _x}u_{i,j}^{n + \frac{1}{4}}\), namely, \({\delta _x}u_{i,j}^{n + \frac{1}{4}} = {\delta _x}\frac{{u_{i,j}^{n + \frac{1}{2}} + u_{i,j}^n}}{2}\), it will degenerate accuracy of the scheme to be the second-order in time direction. In order to improve the temporal accuracy to be the fourth-order, we use Eqs. (9) and (10) to get
Then, we can get
Substituting Eq. (17) into Eq. (15), we have
Noticing that \( {\delta _x}( \frac{{{\partial ^2}u}}{{\partial {t^2}}})_{i,j}^{n + \frac{1}{4}} = (\frac{{{\partial ^3}u}}{{\partial x\partial {t^2}}})_{i,j}^{n + \frac{1}{4}} + O({h^2})\) , we can obtain
Then, because of \(\frac{{{\partial ^3}u}}{{\partial x\partial {t^2}}}_{i,j}^{n + \frac{1}{4}} = - 2a(\frac{{{\partial ^3}u}}{{\partial {x^2}\partial t}})_{i,j}^{n + \frac{1}{4}}\) , we have
Using the definitions of \({\delta _t}\) and \({\delta _x}\) , and the Crank–Nicolson method for time derivative in the mixed derivative term \(\frac{{{\partial ^3}u}}{{\partial {x^2}\partial t}}\), we get
Discarding \(O({\tau ^4} + {\tau ^2}{h^2} + {h^4})\) and multiplying Eq. (21) by \(\tau \) , we can get the high-order compact scheme in x direction,
In which, \(\lambda = \frac{\tau }{h}\). Similarly, we can obtain the high-order compact scheme for Eq. (8) in y direction
So the high-order compact LOD scheme for the 2D advection equation (4) is written as follows
Remark 1
The scheme (24) is the fourth-order accuracy in both time and space and is a two-step scheme. Only the value of the initial time step requires to be known, so it does not need to construct the scheme for the computation of start-up time step, like the three-level schemes in Vabishchevich (2018, 2019) and Bourchtein and Bourchtein (2012).
Remark 2
The scheme (24) has only three unknown points and the coefficient matrices of the scheme are tridiagonal, so we can solve the scheme (24) by using the efficient tridiagonal matrix algorithm (TDMA). However, this method requires that the main diagonal elements of the coefficient matrices can not be zero, so we let \(a\lambda ,b\lambda \ne 2\).
2.2 Theory analysis
Theorem 2.1
High-order compact LOD scheme (24) is the fourth-order consistent.
Proof
For the first equation in the scheme (24), using the Taylor series expansions of \(u_{i,j}^{n + \frac{1}{2}}\),\(u_{i + 1,j}^{n + \frac{1}{2}}\),\(u_{i - 1,j}^{n + \frac{1}{2}}\) and \(u_{i - 1,j}^n\) at point \(({x_i},{y_j},{t_n})\), we get
Substituting Eqs. (25)–(28) into Eq.(24), we can obtain
Making use of the relationships in Eqs. (14), (30) is equivalent to
Similarly, we can get
Combining Eqs. (31) and (32), we can get
Thus, the scheme (24) is the fourth-order consistent to the original differential equation (4). In other words, the scheme is the fourth-order accurate in both time and space. Therefore, Theorem 1 is proved. \(\square \)
Theorem 2.2
High-order compact LOD scheme (24) is unconditionally stable.
Proof
In the following, we use the von Neumann method to analyze the stability of the scheme (24).
Let \(u_{i,j}^n = {\eta ^n}{e^{I{\sigma _1}{x_i}}}{e^{I{\sigma _2}{y_j}}}\),\(u_{i,j}^{n + \frac{1}{2}} = {\eta ^{n + \frac{1}{2}}}{e^{I{\sigma _1}{x_i}}}{e^{I{\sigma _2}{y_j}}}\), where \(I = \sqrt{ - 1}\) is imaginary unit, \(\eta \) is the amplitude. \({\sigma _1}\) and \({\sigma _2}\) are the wave numbers in x and y directions, respectively.
For x direction, substituting \(u_{i,j}^n = {\eta ^n}{e^{I{\sigma _1}{x_i}}}{e^{I{\sigma _2}{y_j}}}\) ,\(u_{i,j}^{n + \frac{1}{2}} = {\eta ^{n + \frac{1}{2}}}{e^{I{\sigma _1}{x_i}}}{e^{I{\sigma _2}{y_j}}}\) into Eq. (24), and eliminating \({e^{I{\sigma _1}{x_i}}}{e^{I{\sigma _2}{y_j}}}\) on both sides of the equation, we have
Using the Euler formulas, \({e^{I{\sigma _1}h}} = \cos {\sigma _1}h + I\sin {\sigma _1}h, {e^{ - I{\sigma _1}h}} = \cos {\sigma _1}h - I\sin {\sigma _1}h\), we get
Similarly, we can draw
Substituting Eq. (35) into Eq. (36), we can obtain
Then, we can get the error amplification factor
According to the von Neumann stability theorem, when \(\left| G \right| \le 1\), the scheme is stable. We can draw the error amplification factor of the scheme is \(\left| {{G}} \right| = 1\), so the scheme is unconditionally stable. \(\square \)
Theorem 2.3
High-order compact LOD scheme (24) is unconditionally convergent.
Proof
From Theorem 2.1 and Theorem 2.2, we can get the scheme (24) is unconditionally convergent by the Lax equivalence theorem (Smith 1985). \(\square \)
3 Extension to the 3D case
Next, we consider the 3D advection equation as following:
with initial condition
and periodic boundary condition
Where u(x, y, z, t) is the unknown function, which is assumed to have sufficient smoothness. a, b and c are the advection coefficients in x, y and z directions, respectively. \({\varphi _3}(x,y,z)\) is a smooth known function, \({D_3} = \{ \left. {x,y,z} \right| d \le x,y,z \le e\}\), \(\partial {D_3}\) is the boundary of \(D_3\).
Applying the LOD strategy, we split Eq. (39) into the following one-dimensional equations ideally:
To advance the solution from \({t^n}\) to \({t^{n + 1}}\), we assume that Eq. (42) holds from \({t^n}\) to \({t^{n + \frac{1}{3}}}\), Eq. (43) holds from \({t^{n + \frac{1}{3}}}\) to \({t^{n + \frac{2}{3}}}\) and Eq. (44) holds from \({t^{n + \frac{2}{3}}}\) to \({t^{n + 1}}\).
Using the method similar to the 2D advection equation, a high-order compact LOD scheme for the 3D advection equation can be obtained as follows:
Remark 3
The scheme (45) is the fourth-order accuracy in both time and space and is a two-step scheme. It involves three unknowns for each time step. We can solve three tridiagonal linear equations by the TDMA algorithm for each time step according to Eq. (45). Because it requires that the main diagonal elements of the coefficient matrices can not be zero, we set \(a\lambda ,b\lambda ,c\lambda \ne 2\).
Remark 4
In Sect. 2, we have proved the consistency, stability and convergence of the 2D high-order compact LOD scheme (24). Similarly, we can proved the scheme (45) is also the fourth-order consistent, unconditionally stable and convergent by using the same method.
4 Numerical experiments
In order to verify the accuracy and reliability of the present method in this article, we select the following five examples to conduct numerical experiments and compare them with the calculated results in the existing literature. All calculations in the article are programmed in Fortran 77 language. We conduct our computations with double precision arithmetic and perform them on a Intel IV/Dual-Core/2.6 GHz private computer with 8 GB memory. The convergence rate can be got by the following formula:
In which, \({E_{{\infty }}} = \mathop {\max }\nolimits _{i,j} \left| {u_{i,j}^M - u({x_i},{y_j},{t_M})} \right| \) for 2D, and \({E_{{\infty }}} = \mathop {\max }\nolimits _{i,j,k} \left| {u_{i,j,k}^M - u({x_i},{y_j},{z_k},{t_M})} \right| \) for 3D.
5 Problem 1
We consider the 2D advection equation
with the initial and periodic boundary conditions
The exact solution is
The exact solution (a), the absolute error from the LOD scheme (24) (b), the RHOC scheme (c), the Beam–Warming scheme (d) and comparison of the numerical solutions of the three schemes with the exact solution (e) on \(x=0.5\) when \(\tau =0.05\), \(t=1\), \(N=20\) for Problem 1
Table 1 gives the maximum absolute errors and the convergence rate of the Beam–Warming scheme (Beam and Warming 1976), the RHOC-ADI scheme (Tian 2011) and the LOD scheme (24) with \(\tau = 0.5h,t=0.2,a=b=1\) for Problem 1. Because the RHOC-ADI scheme is the second-order in time and the fourth-order in space, we also compute it with \(\tau ={h^2}\). The data in Table 1 show that the present LOD scheme (24) is the fourth-order in both space and time, which is consistent with our theoretical analysis. While the RHOC-ADI scheme achieves spatial fourth-order accuracy only if \(\tau =O({h^2})\). Otherwise, spatial accuracy is just the second-order if \(\tau =O({h})\). And the computed results(the maximum absolute errors) of the LOD scheme (24) is better (smaller errors) than that of the Beam–Warming scheme and the RHOC-ADI scheme. In Fig. 1(a) gives the exact solution, b–d give the absolute error of the LOD scheme (24), the RHOC-ADI scheme and the Beam–Warming scheme when \(N = 20,t = 1,\tau = 0.05\) for Problem 1. We can see that the absolute error of the LOD scheme (24) is smaller than that of the RHOC-ADI scheme and the Beam–Warming scheme. Figure 1(e) gives comparison of the numerical solutions of the three schemes with the exact solution when \(x=0.5,N = 20,t = 1,\tau = 0.05\) for Problem 1. It shows that the LOD scheme (24) is the closest to the exact solution.
6 Problem 2
We consider the 2D advection equation
with the initial and periodic boundary conditions
The exact solution is
Table 2 gives the maximum absolute errors, the convergence rate and the CPU time of the Beam–Warming scheme, the RHOC-ADI scheme and the LOD scheme (24) when \(\tau = 0.5,a=1,b=\frac{1}{2}\) for Problem 2. It is easy to find the computed results of the LOD scheme (24) is superior to the Beam–Warming scheme when \(\tau = 0.5h\) and the RHOC-ADI scheme with \(\tau = {h^2}\). The CPU time of the LOD scheme (24) is less than that of the RHOC-ADI scheme. Because the Beam–Warming scheme is second-order in time and space, its CPU time is less than that of the LOD scheme (24). Figure 2 gives the exact solution (a), the absolute error (b,c,d) when \(N=64,t=1,\tau = 0.01\) and comparison (e) of the numerical solutions of the three schemes with the exact solution when \(x=1,N = 20,t = 2,\tau = 0.05\) for Problem 2. It is not difficult to observe that the error of the LOD scheme (24) is the minimal under the same condition. Besides, we can also see more directly that the numerical solution of the LOD scheme (24) is the closest to the exact solution compared to other two schemes from Fig. 2(e).
The exact solution (a), the absolute error from the LOD scheme (24) (b), the RHOC scheme (c), the Beam–Warming scheme (d) when \(\tau =0.01\), \(t=1\), \(N=64\) and the numerical solutions of the three schemes with the exact solution (e) on \(N=20,t=2,\tau =0.05,x=1\) for Problem 2
7 Problem 3
We consider the 2D advection equation
with the initial condition
The exact solution is
The problem 3 is a Gauss wave case. In fact, it is an initial value problem, so we set the boundary value to be zero in a enough big spatial domain. Table 3 gives the maximum absolute error of the Beam–Warming scheme, the RHOC-ADI scheme and the LOD scheme(24) when \(t = 5,a=0.1,b= 0.1,p=0,q=20,\sigma = 1,\tau = 0.025,(\overline{x} ,\overline{y} )=(4,4)\) for Problem 3. It is easy to find the computed results of the RHOC-ADI scheme and the LOD scheme(24) is better than that of the Beam–Warming scheme. Figure 3 gives the numerical solution of the LOD scheme(24) on \( t=10\) (a, b), \(t=50\) (c, d), \(t=80\) (e, f), \(t=120\) (g, h) when \(N=100,\tau =0.0025,a=0.1,b=0.1,p=0,q=20,\sigma = 1,(\overline{x} ,\overline{y} )=(4,4)\) and compared with the exact solution for Problem 3. Figure 4 gives the numerical solution of the LOD scheme (24) on \( t=100\) (a, b), \(t=200\) (c, d), \(t=400\) (e, f) when \(N=200,\tau =0.1,a=0.1,b=0.1,c=0,d=100,\sigma = 10,(\overline{x} ,\overline{y} )=(30,30)\) and compared with the exact solution for Problem 3. It is not difficult to see that the movement track of the wave. It also can be seen from these figures that the simulation result is well in terms of phase and amplitude. In other words, the numerical solution of the LOD scheme (24) is consistent with the exact solution.
8 Problem 4
We consider the 3D advection equation
with the initial and periodic boundary conditions
The exact solution is
Table 4 gives the maximum absolute errors and the convergence rate of the Beam–Warming scheme, the RHOC scheme and the LOD scheme(45) with \(\tau = 0.5h\) and the RHOC scheme with \(\tau = {h^2}\) when \(t = 0.2,a = \frac{1}{2},b = \frac{1}{3},c = \frac{1}{4}\) for Problem 4. It is known that the LOD scheme(45) is the fourth-order accurate in time and space, so it has higher-order accuracy in time direction compared to the RHOC scheme and the Beam–Warming scheme. In addition, the computed results of the LOD scheme (45) are also better than that of the RHOC scheme and the Beam–Warming scheme. Figure 5 gives the exact solution (a), the absolute error and the contours of Problem 4 from the Beam–Warming scheme (d, g), the RHOC scheme (c, f) and the LOD scheme (45) (b, e) with \(N = 32,t = 1,\tau = 0.1\). It is easy to obverse that the error of the scheme (45) is less than that of the Beam–Warming scheme and the RHOC scheme from Fig. 5(b–d). From Fig. 5(e–g), we can find that the numerical solution of the LOD scheme (45) is consistent with the exact solution, while the RHOC scheme and the Beam–Warming scheme produce relatively big errors.
9 Problem 5
We consider the 3D advection equation
with the initial and periodic boundary conditions
The exact solution is
Table 5 gives the maximum absolute errors, convergence rate and CPU time by using the Beam–Warming scheme, the RHOC scheme and the LOD scheme (45) with \(t = 0.5,a = 1,b = 1,c = 1\). It is easy to see that the accuracy and the CPU time of the scheme (45) are better than that of the RHOC scheme. Figure 6 gives the exact solution (a), numerical solution, absolute error and contours of the LOD scheme (b, e, h), the RHOC scheme (c, f, i) and the Beam–Warming scheme (d, g, j) with \(N = 20,t = 1,\tau = 0.05\). It can find that the numerical solution of the LOD scheme (45) is in good agreement with the exact solution through obverse Fig. 6(b–d, h–j). For Fig. 6(e–g), the error of the LOD scheme (45) can achieve \({10^{ - 2}}\), but for the Beam–Warming scheme, and the RHOC scheme, the errors just achieve \({10^{ 0}}\) and \({10^{ - 1}}\). Therefore, the LOD scheme (45) is better in the accuracy compared with the RHOC scheme and the Beam–Warming scheme. Besides, the CPU time of the LOD scheme (45) is less than that of the RHOC scheme.
10 Concluding remarks
In this study, we have proposed two high-order compact LOD difference schemes for solving the 2D and 3D advection equations, respectively. The scheme are two-step, unconditionally stable and have the fourth-order accuracy in both time and space. Firstly, based on the LOD strategy, we separate the 2D equations into two 1D equations. Then, for the 1D equations, the Taylor series expansion and correction for the third derivative in the truncation error remainder of the central difference scheme are used for discretization of time and space. Besides, the consistency, stability and convergence are proved. Afterwards, we extend the present method to the 3D case. At last, the accuracy, convergence and efficiency of the present schemes are validated by some numerical experiments. It shows that the present schemes are more accurate and efficient than those schemes from Tian (2011), Ge et al. (2018) and the Beam–Warming scheme.
During the establishment of the present high-order compact schemes, for the constant coefficient problems, time derivative is approximated with the Crank–Nicolson method combined with its correction of the truncation error remainder. Objective differential equations, e.g., Eqs. (7), (8), (42), (43), are used to treat the higher derivatives in the truncation error terms. However, if we extend the present high-order scheme to the variable coefficient problems, e.g., \(\frac{1}{2}\frac{{\partial u}}{{\partial t}} + a(x,t)\frac{{\partial u}}{{\partial x}} = 0\), we need to approximate the \((\frac{{{\partial ^2}a}}{{\partial {t^2}}})_{i,j}^{n + \frac{1}{2}}\) to the fourth-order. This cannot be achieved with the two-level and three-point stencil. In another words, the scheme would be the second-order instead of the fourth-order in time. Therefore, the method cannot be extended to the variable coefficient problems. On the other hand, the present method requires the unknown function to be sufficiently smooth, at least the third derivatives are continuous. But for the shock wave problems, we know, it does not meet this condition, So the present method also can not be used to catch shocks waves. For this problem, the conservation law should be considered and some special numerical methods should be selected and used. Concerning these two problems, we will continue to study in our follow-up work through using other effective methods.
![](http://media.springernature.com/lw568/springer-static/image/art%3A10.1007%2Fs40314-021-01483-w/MediaObjects/40314_2021_1483_Fig6b_HTML.png)
References
Abarbanel SS, Chertock AE (2000) Strict stability of high-order compact implicit finite-difference schemes: the role of boundary conditions for hyperbolic PDEs. J Comput Phys 160(1):42–66
Beam RM, Warming RF (1976) An implicit finite-difference algorithm for hyperbolic systems in conservation-law form. J Comput Phys 22:87–110
Bourchtein A, Bourchtein L (2012) Explicit finite difference schemes with extended stability for advection equations. J Comput Appl Math 236(15):3591–3604
Chen J, Ge Y (2018) High order locally one-dimensional methods for solving two-dimensional parabolic equations. Adv Differ Equ 361:1–17
Dai W, Nassar R (1998) A second-order ADI scheme for three-dimensional parabolic differential equations. Numer Methods Partial Differ Equ 14(2):159–168
Douglas J, Kimy S (2011) Improved accuracy for locally one-dimensional methods for parabolic equations. Math Models Methods Appl Sci 11:1563–1579
Erdogan U (2014) Improved upwind discretization of the advection equation. Numer Methods Partial Differ Equ 30(3):773–787
Fan XF (2015) High order difference schemes for the forst order hyperbolic equations with variable coefficients. Southeast University Master Degree Thesis (In Chinese)
Ge Y, Zhao F, Wei J (2018) A high order compact ADI method for solving 3D unsteady convection diffusion problems. Appl Comput Math 7(1):1–10
Hou B, Ge Y (2019) A high-order compact difference scheme for solving the 1D convection equation. Math Appl 32(3):635–642 (In Chinese)
Karaa S (2005) An accurate LOD scheme for two-dimensional parabolic problems. Appl Math Comput 27:209–224
Karaa S (2006) A high-order compact ADI method for solving three-dimensional unsteady convection–diffusion problems. Numer Methods Partial Differ Equ 22:983–993
Karaa S, Zhang J (2004) High order ADI method for solving unsteady convection–diffusion problems. J Comput Phys 198:1–9
Kim C (2003) Accurate multi-level schemes for advection. Int J Numer Methods Fluids 41:471–494
Liao HL, Sun ZZ (2013) A two-level compact ADI method for solving second-order wave equations. Int J Comput Math 90(7):1471–1488
Montmollin GD (2000) Stils method for pure convection equation: time-marching approach and numerical comparisons. Eur Congr Comput Methods Appl Sci Eng 11–14
Peaceman DW, Rechford HH (1955) The numerical solution of parabolic and elliptic equation. J Soc Ind Appl Math 3:28–41
Samarskii AA (1964) Local one dimensional difference schemes for multi-dimensional hyperbolic equations in an arbitrary region. USSR Comput Math Phys 4:21–35
Sarra SA (2008) A numerical study of the accuracy and stability of symmetric and asymmetric RBF collocation methods for hyperbolic PDEs. Numer Methods Partial Differ Equ 24:670–686
Sheu TWH, Lee PH (2003) A theoretical Taylor–Galerkin model for first-order hyperbolic equation. Int J Numer Methods Fluids 42(4):439–463
Smith GD (1985) Numerical solution of partial differential equations: finite difference methods, 3rd edn. Oxford University Press, London
Sun HW, Sun ZZ (2020) A fast temporal second-order compact ADI difference scheme for the 2D multi-term fractional wave equation. Numer Algorithms. https://doi.org/10.1007/s11075-020-00910-z
Tian ZF (2011) A rational high-order compact ADI method for unsteady convection–diffusion equations. Comput Phys Commun 182:649–662
Vabishchevich PN (2018) Three-level schemes for the convection equation. J Comput Phys 36(3):158–177
Vabishchevich PN (2019) Three-level schemes for the advection equation. Differ Equ 55(7):940–948
Wang YM (2011) Error and extrapolation of a compact LOD method for parabolic differential equations. J Comput Appl Math 235:1367–1382
Wang T, Wang YM (2014) A higher compact LOD method and its extrapolations for non-homogeneous parabolic differential equations. Appl Math Comput 237:512–530
Wei HY, Zhang ZG (2010) A high accuracy difference scheme of the convection equation. In: 2010 international conference on computing, control and industrial engineering. https://doi.org/10.1109/CCIE.2010.65
Xu Y (2016) Locally one-dimensional methods for solving a class of nonlinear parabolic equations. Dalian University of Technology Master Degree Thesis (In Chinese)
You D (2006) A high-order pade ADI method for unsteady convection–diffusion equations. J Comput Phys 214:1–11
Zhao J, Dai W, Zhang SY (2017) Fourth order compact schemes for solving multi-dimensional heat conduction problems with Neumann boundary conditions. Numer Methods Partial Differ Equ 41(1):35–38
Acknowledgements
The authors would like to thank the anonymous referees for their constructive comments and suggestions to improve the quality of this paper. This work is also supported by National Natural Science Foundation of China (11772165, 11961054, 11902170), National Natural Science Foundation of Ningxia (2020AAC03059) and National Youth Top-notch Talent Support Program of Ningxia.
Author information
Authors and Affiliations
Contributions
YG defined the research theme and designed numerical method. BH conducted the theory analysis, numerical experiments, interpreted the results and wrote the paper. All authors have seen and approved the final version of the manuscript.
Corresponding author
Additional information
Communicated by Cassio Oishi.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Hou, B., Ge, Y. High-order compact LOD methods for solving high-dimensional advection equations. Comp. Appl. Math. 40, 102 (2021). https://doi.org/10.1007/s40314-021-01483-w
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s40314-021-01483-w