- Research
- Open Access
- Published:

# High order locally one-dimensional methods for solving two-dimensional parabolic equations

*Advances in Difference Equations*
**volume 2018**, Article number: 361 (2018)

## Abstract

Based on the locally one-dimensional strategy, we propose two high order finite difference schemes for solving two-dimensional linear parabolic equations. In the first method, fourth order approximation in space and \((2,2)\) Padé formula in time are considered. These lead to a fourth order finite difference scheme in both space and time. For the second method, we employ sixth order approximation in space and \((3,3)\) Padé formula in time. This yields a novel sixth order scheme in both space and time. The methods are proved to be unconditionally stable, and the Sheng–Suzuki barrier is successfully avoided. Numerical experiments are given to illustrate our conclusions as well as computational effectiveness.

## Introduction

Consider the following two-dimensional linear parabolic equation:

together with the initial condition

and boundary conditions

where \(\Omega= [0,l] \times[0,l]\) is a spatial domain and *l* is a positive real number. \(\phi_{0}\) is a sufficiently smooth function and \(g_{0}\), \(g_{1}\), \(d_{0}\), \(d_{1}\) are constants.

Many efforts have been made to the development of accurate and stable methods for the numerical solution of (1) [1–19]. Various high order methods [1–4, 6–9, 11–19] have been proposed. Among them, splitting strategies including alternating direction implicit (ADI) and locally one-dimensional (LOD) methods have been extensively explored for high order difference schemes [4, 6–9, 11–17]. These methods are extremely efficient for solving multi-dimensional equations by converting multi-dimensional equations to successions of one-dimensional equations. Subsequently, only sequences of linear tri-diagonal systems need to be solved.

Recently, Dai and Nassar [15], Karra [16], developed a high order ADI difference scheme and a high order LOD difference scheme, respectively, for solving the two-dimensional parabolic equations with Dirichlet boundary conditions. Zhao et al. [17] proposed two sets of high order LOD difference schemes to solve the two- and three-dimensional heat problems with Neumann boundary conditions. Qin [7] proposed a family of ADI methods for the three-dimensional nonhomogeneous parabolic equation. All these schemes obtain fourth order accuracy in space, but only second order accuracy in time, since the Crank–Nicolson implicit method is employed for time discretization. Very recently, a semi-discrete method and Padé approximations or the Runge–Kutta methods were exploited to increase the temporal accuracy [19–24]. Vu and Alexander [19] developed a series of explicit exponential Runge–Kutta methods of high order for parabolic problems. For the one-dimensional hyperbolic equation, Gao and Chi [20] used semi-discrete method to transform it into a system consisting of ordinary differential equations with respect to time, whose exact solution containing an infinite matrix series was approximated by \((1,1)\) and \((2,2)\) Padé approximations. They obtained two schemes with third and fifth order accuracy in time, respectively. Liu et al. [21] used a similar strategy, \((2,2)\) and \((3,3)\) Padé approximations for the time discretization and \(C^{3}\) quartic spline approximation for space discretization, to get two higher order difference schemes for the one-dimensional linear hyperbolic equation. Zhang [23] provided a \((3,3)\) Padé approximation method for solving space fractional Fokker–Planck equations. Liu et al. [25] developed a series of compact implicit schemes of fourth and sixth orders for solving differential equations involved in geodynamics simulations. And Liu et al. [26] proposed a sixth order accuracy solution to a system of nonlinear differential equations with coupled compact method.

This paper targets at the development of two high order LOD finite difference schemes for solving two-dimensional parabolic equations. Sheng–Suzuki accuracy barrier [27] is avoided. To achieve high order accuracies in both time and space, we successfully combine high order approximations in the spatial discretization with techniques of semi-discrete and high order Padé approximations in the temporal discretization [20, 21, 23]. The outline of this paper is as follows: Sect. 2 presents two splitting methods for solving (1). Their stabilities are analyzed in Sect. 3. Numerical verification is carried out in Sect. 4. Further comments and conclusions are given in Sect. 5.

## High order difference methods

We superimpose the space-time domain \(\Omega\times[0,T]\) by an \(N \times N \times M\) mesh, where *N*, *M* are positive integers. Let \(h = l/N\) denote the step size of space and \(\tau= T/M\) for step size of time. We further define

Applying an LOD strategy, we split Eq. (1) to the following one-dimensional equations ideally:

To advance the solution from \(t^{k}\) to \(t^{k + 1}\), we assume that Eq. (2) holds from \(t^{k}\) to \(t^{k + \frac{1}{2}}\), and Eq. (3) holds from \(t^{k + \frac{1}{2}}\) to \(t^{k + 1}\), respectively. We will investigate several high order semi-discretization methodologies for dealing with (2) and (3), respectively.

### \(O(\tau^{4} + h^{4})\) finite difference method

Firstly, we build the fourth order scheme in space for Eq. (2). To this end, we employ a fourth order compact formula in [28] to discrete the second spatial derivative in *x*:

where \(\delta_{x}^{2}\) is the second order central difference operator in the *x*-direction, which is defined as \(\delta_{x}^{2}u_{ij} = (u_{i + 1j} - 2u_{ij} + u_{i - 1j})/h^{2}\). Substituting Eq. (4) into Eq. (2) and dropping the truncated error \(O(h^{4})\), we acquire the following relation:

This semi-discrete scheme is of fourth order accuracy in space. Consider the initial and boundary conditions. The above can be rewritten into the following:

which is a system of ordinary differential equations with an unknown function at each spatial grid point, where \(U(t) = [u_{1j},u_{2j}, \ldots,u_{N - 1j}]^{T}\), \(G = \frac{a}{h^{2}}[g_{0},0, \ldots,0,g_{1}]^{T}\), \(j = 1,2, \ldots,N - 1\), and the matrices *A* and *B* of order \(N - 1\) are given by

and

Eq. (6) can be comprised to

The exact solution to (7) is

Discretizing Eq. (8) in temporal variable *t*, we get

After rearranging the above, we arrive at

Namely

where *I* is an identify matrix of order \(N - 1\). Now, approximate \(e^{\frac{\tau}{2}A^{ - 1}B}\) to get the numerical solution of fourth order in time is the key issue. The \((2,2)\) Padé approximation [29] is an efficient approximation to \(e^{Z}\) of fourth order, i.e.,

Replacing the \(e^{\frac{\tau}{2}A^{ - 1}B}\) by the \((2,2)\) Padé approximation, we get

Substituting Eq. (13) into Eq. (11), we acquire the following difference scheme:

This recurrence relation is used to calculate *U* from \(t^{k}\) to \(t^{k + \frac{1}{2}}\). We can easily find that Eq. (14) gets fourth order accuracy in both time and space. A similar approach is used to tackle Eq. (3) to obtain a recurrence relation which can calculate from \(t^{k + \frac{1}{2}}\) to \(t^{k + 1}\). Fourth order approximation for the second spatial derivative of *y* is given by

where \(\delta_{y}^{2}\) is the second order central difference operator in the *y*-direction which is defined as \(\delta_{y}^{2}u_{ij} = (u_{ij + 1} - 2u_{ij} + u_{ij - 1})/h^{2}\). Substituting Eq. (15) into Eq. (3) and dropping the truncated errors \(O(h^{4})\), we obtain the following semi-discrete scheme of fourth order accuracy in space:

Consider the initial and boundary conditions, they can be rewritten as a system of ordinary differential equations:

where \(U(t) = [u_{i1},u_{i2}, \ldots,u_{iN - 1}]^{T}\), \(F = \frac{a}{h^{2}}[d_{0},0, \ldots,0,d_{1}]^{T}\), \(i = 1,2, \ldots,N - 1\), and the matrices *A* and *B* are defined as before. The exact solution of Eq. (17) is

We discretize Eq. (18) in time and receive

Rearranging Eq. (19) leads to

Replacing the \(e^{\frac{\tau}{2}A^{ - 1}B}\) by the \((2,2)\) Padé approximation, we obtain

Combining Eq. (14) with Eq. (21), we obtain a fourth-order difference scheme in both time and space for solving Eq. (1) as follows:

Applying Eq. (22), we may complete the entire calculation from \(t^{k}\) to \(t^{k + 1}\). Due to the use of fourth order scheme for discretizing the space variables and \((2,2)\) Padé approximation for the temporal variable, it is not difficult to find that equations in (22) are of fourth order accuracy in both time and space.

### \(O(\tau^{6} + h^{6})\) finite difference method

In [2], the authors presented a sixth order approximation for the second order derivative together with the constant boundary conditions. To this end, we have

and

Based on the above, we discrete the second order spatial derivative of *x* in Eq. (2). This gives the following system of ordinary differential equations:

Matrix *B* is defined as before. And matrix *C* is defined as follows:

where \(U(t) = [u_{1j},u_{2j}, \ldots,u_{N - 1j}]^{T}\), \(P = \frac{a}{h^{2}}[g_{0},0, \ldots,0,g_{1}]^{T}\), and \(j = 1,2, \ldots,N - 1\). The exact solution to the system of ordinary differential equations can be formed as follows:

We discretize Eq. (27) in time and rearrange it, we obtain

The \((3,3)\) Padé approximation [29] is employed to get sixth order accuracy for temporal variable

So \(e^{\frac{\tau}{2}C^{ - 1}B}\) can be written as

Substituting Eq. (30) into Eq. (28) and rearranging it, we gain

Similarly, combining the \(O(h^{6})\) approximation method for discretizing the space variable with *y* the \((3,3)\) Padé approximation for discretizing the temporal variable *t* to solve Eq. (3), we can get a recurrence relation which can accomplish the calculation from \(t^{k + \frac{1}{2}}\) to \(t^{k + 1}\), i.e.,

The matrices *B* and *C* are defined as before, and the vector *Q* can be easily got. To achieve recurrence calculation from \(t^{k}\) to \(t^{k + 1}\), combining Eq. (31) with Eq. (32), we obtain

Because of the use of the \(O(h^{6})\) approximation method in space and the \((3,3)\) Padé approximation in time, it is easy to see local truncation errors of the two equations in (33) to be \(O(\tau^{6} + h^{6})\).

## Stability and convergence analysis

### Proposition 1

*Assume that*
*λ*
*is an eigenvalue of matrix*
\(A^{ - 1}B\), *and*
*x⃗*, *a vector of dimension*
\(N - 1\), *is a corresponding eigenvector*. *Then*
*λ*
*is real*, *and furthermore*, \(\lambda\le0\).

### Proof

Let *λ* and *x* be eigenvalues and corresponding eigenvector of matrix \(A^{ - 1}B\), respectively. They satisfy the following condition:

or

Since

hence

and

Hence

The above two results indicate that *λ* is real and \(\lambda\le 0\). □

### Proposition 2

*Assume that*
*μ*
*is an eigenvalue of matrix*
\(C^{ - 1}B\), *and*
*x⃗*, *a vector of dimension*
\(N - 1\), *is a corresponding eigenvector*. *Then*
*μ*
*is real and satisfies*
\(\mu\le0\).

### Proof

For matrix *C*, we get

Applying the inequalities

and

we obtain

and we also have proved that \(\vec{x}^{T}B\vec{x} < 0\). According to the two results, we obtain that the eigenvalue *μ* of matrix \(C^{ - 1}B\) is real and satisfies \(\mu\le0\). □

### Theorem 1

*Finite difference schemes* (22) *and* (33) *are unconditionally stable*, *respectively*.

### Proof

Let \(\lambda_{i}\) (\(i = 1,2, \ldots,N - 1\)) be eigenvalues of matrix \(A^{ - 1}B\), then

and thus

Let \(\mu_{i}\) (\(i = 1,2, \ldots,N - 1\)) be eigenvalues of matrix \(C^{ - 1}B\), then

we get

where

\(\rho(H_{1})\) and \(\rho(H_{2})\) are the spectral radii of \(H_{1}\) and \(H_{2}\), respectively. This shows that the new developed schemes (22) and (33) are unconditionally stable bypassing the accuracy barrier theorem [27]. □

### Theorem 2

*Difference schemes* (22) *and* (33) *are unconditionally convergent*, *respectively*.

### Proof

From the derivation process of the schemes, it is readily seen that local truncation errors of (22) and (33) are \(O(\tau^{4} + h^{4})\) and \(O(\tau^{6} + h^{6})\), respectively. So, they are consistent with the initial-boundary problem considered. And in Theorem 1, we have proved that the two schemes are unconditionally stable, therefore we can naturally declare that the difference schemes (22) and (33) are unconditionally convergent by the Lax equivalence theorem [30] regardless of the Courant number. □

## Numerical experiments

In this section, we consider two problems whose exact solutions are given to numerically illustrate the validity and effectiveness of our schemes as compared with those of the Peaceman–Rachford (P–R) method [11]. All computations are completed on a P4/2.4G private computer using double precision arithmetic.

We estimate the rate of convergence of each method through the asymptotic formula

in which \(\operatorname{Error}(h_{1})\) and \(\operatorname{Error}(h_{2})\) are \(L^{2}\)-norm errors based on different mesh sizes \(h = h_{1}\) and \(h = h_{2}\), respectively.

### Problem 1

together with proper initial-boundary conditions. The exact solution of this problem is

Table 1 gives the \(L^{2}\)-norm errors (Error) and the convergence rate (Rate) by using scheme (22), scheme (33), and the P–R scheme with \(h = \tau = 1/10,1/20,1/30,1/40\) at \(T = 1\). The data in Table 1 show that scheme (22) and scheme (33) have overall fourth order and sixth order accuracy, respectively.

To verify the accuracy in time, we fix spatial grid size \(h = 0.02\) and decrease the temporal sizes from \(1/10\) to \(1/40\) in Table 2. It shows that scheme (22) and scheme (33) achieve the expected fourth order and sixth order accuracy in time, respectively. Table 3 shows the \(L^{2} \)-norm error at \(T = 1\) when we fix temporal grid size \(\tau= 0.001\) and decrease the spatial grid sizes from \(1/10\) to \(1/40\). The results in Table 3 confirm that scheme (22) and scheme (33) are fourth order and sixth order accuracy in space, respectively. These computed results are in full agreement with the theoretical accuracy order. Figure 1 depicts the absolute error obtained from scheme (22) and scheme (33) with \(h = \tau= 1/20\) at \(T = 1\). It indicates that the present schemes indeed achieve a very high accuracy on comparably coarse mesh, as compared to conventional P–R splitting methods.

### Problem 2

The exact solution of this problem is

We design this problem to let the solution *u* change much faster in *x* direction than in *y* direction. To evaluate the overall convergence rate of the present two schemes for solving Problem 2, we choose \(h = \tau= 1/10,1/20,1/30,1/40\) at \(T = 1\) in Table 4. The data show that the present scheme (22) has an overall fourth order convergence rate and scheme (33) has an overall sixth order convergence rate. In order to verify the unconditional stability and unconditional convergence of the present methods, we choose the different mesh ratios *r*, which is defined as \(r = \tau/h\) at \(T = 1\) in Table 5. It is easy to observe that the present methods are unconditionally stable. The exact solution and the absolute error obtained from the P–R scheme, the fourth order scheme, and the sixth order scheme with \(h = \tau= 1/20\) at \(T = 1\) are plotted in Fig. 2 for Problem 2. It shows that our splitting methods can still produce very accurate solution via significantly coarse grid in the situation bypassing the accuracy barrier successfully.

## Conclusion

In this paper, we propose two types of high order splitting finite difference schemes for solving the two-dimensional parabolic equation. Based on the LOD strategy, we separate the two-dimensional equation into two one-dimensional equations to construct the new schemes. Traditional splitting accuracy barrier is bypassed naturally. Semi-discretized formulas are utilized to get high order finite difference schemes without any influence of Courant numbers. We apply the fourth order and the sixth order approximation to discrete the spatial variables, \((2,2)\) Padé and \((3,3)\) Padé approximation to discrete the temporal variable, respectively. We obtain two splitting schemes being fourth order and sixth order accuracy in both time and space, respectively. By rigorous matrix analysis, we show that all finite difference schemes involved are unconditionally stable. Two testing experiments are carried out to demonstrate the high accuracies and efficiencies of our new LOD schemes. It is worthy of being pointed out that the present methods can be straightforwardly extended to the three, or more, dimensional linear parabolic equations. Higher order and stable splitting methods can also be constructed in similar ways. We plan to report results from forthcoming research in this aspect in the near future.

## References

Sun, H.W., Zhang, J.: A high-order compact boundary value method for solving one-dimensional heat equations. Numer. Methods Partial Differ. Equ.

**9**, 846–857 (2003)Lin, Y.X., Gao, J., Xiao, M.Q.: A high-order finite difference method for 1D nonhomogeneous heat equation. Numer. Methods Partial Differ. Equ.

**25**, 327–346 (2009)Zhao, J., Dai, W., Niu, T.C.: Fourth order compact schemes of a heat conduction problem with Neumann boundary conditions. Numer. Methods Partial Differ. Equ.

**23**, 949–959 (2007)Li, J., Chen, Y., Liu, G.: High order compact ADI methods for parabolic equations. Comput. Math. Appl.

**52**, 1343–1356 (2006)Bialecki, B., De Frutos, J.: ADI spectral collocation methods for parabolic problems. J. Comput. Phys.

**229**, 5182–5193 (2010)Zhou, H., Wu, Y.J., Tian, W.: Extrapolation algorithm of compact ADI approximation for two-dimensional parabolic equations. Appl. Math. Comput.

**219**, 2875–2884 (2012)Qin, J.: The new alternating direction implicit difference methods for solving three-dimensional parabolic equations. Appl. Math. Model.

**34**, 890–897 (2010)Wang, Y.M.: Error and extrapolation of a compact LOD method for parabolic differential equations. J. Comput. Appl. Math.

**235**, 1367–1382 (2011)Wang, T., Wang, Y.M.: A higher-order compact LOD method and its extrapolations for nonhomogeneous parabolic differential equations. Appl. Math. Comput.

**237**, 512–530 (2014)Wang, T.: Alternating direction finite volume element methods for 2D parabolic partial difference differential equations. Numer. Methods Partial Differ. Equ.

**24**, 24–40 (2008)Peaceman, D.W., Rachford, H.H.: The numerical solution of parabolic and elliptic differential equation. J. Soc. Ind. Appl. Math.

**3**, 28–41 (1955)Dehghan, M.: A new ADI technique for two-dimensional parabolic equation with an integral condition. Comput. Math. Appl.

**43**, 1477–1488 (2002)Daoud, D.S.: On the numerical solution of multi-dimensional parabolic problem by the additive splitting up method. Appl. Math. Comput.

**162**, 197–210 (2005)Douglas, J., Kimy, S.: Improved accuracy for locally one-dimensional methods for parabolic equations. Math. Models Methods Appl. Sci.

**11**, 1563–1579 (2001)Dai, W., Nasar, R.: Compact finite difference scheme for solving parabolic differential equations. Numer. Methods Partial Differ. Equ.

**18**, 129–141 (2002)Karaa, S.: An accurate LOD scheme for two-dimensional parabolic problems. Appl. Math. Comput.

**27**, 209–224 (2005)Zhao, J., Dai, W.Z., Zhang, S.Y.: Fourth order compact schemes for solving multi-dimensional heat conduction problems with Neumann boundary conditions. Numer. Methods Partial Differ. Equ.

**24**, 165–178 (2008)Hiroaki, N.: First-, second-, and third-order finite-volume schemes for diffusion. J. Comput. Phys.

**256**, 791–805 (2014)Vu, T.L., Alexander, O.: Explicit exponential Runge–Kutta methods of high order for parabolic problems. J. Comput. Appl. Math.

**259**, 262–361 (2014)Gao, F., Chi, C.M.: Unconditionally stable difference schemes for a one-space-dimensional linear hyperbolic equation. Appl. Math. Comput.

**187**, 1272–1276 (2007)Liu, H.W., Liu, L.B., Chen, Y.P.: A semi-discretization method based on quartic splines for solving one-space-dimensional hyperbolic equations. Appl. Math. Comput.

**210**, 508–514 (2009)Piao, X.F., Choi, H., Kim, S.D.: A fast singly diagonally implicit Runge–Kutta method for solving 1D unsteady convection-diffusion equations. Numer. Methods Partial Differ. Equ.

**30**, 788–812 (2013)Zhang, Y.X.: \([3, 3]\) Padé approximation method for solving space fractional Fokker–Planck equations. Appl. Math. Lett.

**35**, 109–114 (2014)Hao, W., Zhu, S.: Domain decomposition schemes with high-order accuracy and unconditional stability. Appl. Math. Comput.

**219**, 6170–6181 (2013)Liu, D., Kuang, W., Tangborn, A.: High-order compact implicit difference methods for parabolic equations in geodynamo simulation. Adv. Math. Phys.

**2009**, Article ID 568296 (2009). https://doi.org/10.1155/2009/568296Liu, D., Chen, Q., Wang, Y.: A sixth order accuracy solution to a system of nonlinear differential equations with coupled compact method. J. Comput. Eng.

**2013**, Article ID 432192 (2013). https://doi.org/10.1155/2013/432192Sheng, Q.: Solving linear partial differential equations by exponential splitting. IMA J. Numer. Anal.

**9**, 199–212 (1989)Hirsh, R.S.: High order accurate difference solutions of fluid mechanics problem by a compact differencing technique. J. Comput. Phys.

**19**, 90–109 (1975)Cuyt, A.: Padé Approximants for Operators: Theory and Applications. Lecture Notes in Mathematics. Springer, Berlin (1984)

Smith, G.D.: Numerical Solution of Partial Differential Equations: Finite Difference Methods, 3rd edn. Oxford University Press, London (1985)

### Availability of data and materials

Not applicable.

### Authors’ information

Not applicable.

## Funding

This work has been partially supported by the National Natural Science Foundation of China under Grant 11772165, the National Natural Science Foundation of Ningxia under Grant 2018AAC02003, and the Key Research and Development Program of Ningxia under Grant 2018BEE03007.

## Author information

### Authors and Affiliations

### Contributions

JC deduced the two high order difference schemes in this paper, analyzed their stability and convergence, and conducted the numerical experiments. YG presented the idea of this work and wrote this manuscript. All authors read and approved the final manuscript.

### Corresponding author

## Ethics declarations

### Competing interests

The authors declare that they have no competing interests.

## Additional information

### Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

## Appendix

### Appendix

A sixth order finite difference for the one-dimensional steady diffusion equation

with the boundary condition

Let \(h = \frac{1}{N}\) denote the step size of space, and define \(x_{i} = ih\), \(i = 0,1,2, \ldots,N\). Based on Taylor’s series expansion of continuous functions, we get

For \(i = 2,3, \ldots,N - 1\), we obtained

At the grid point 1, the sixth order formula is expressed as follows:

Similarly, we can construct the sixth order formula at grid point \(N - 1\):

We can see more details in Ref. [2]. For the sake of completeness, we repeated the above deduction here.

## Rights and permissions

**Open Access** This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

## About this article

### Cite this article

Chen, J., Ge, Y. High order locally one-dimensional methods for solving two-dimensional parabolic equations.
*Adv Differ Equ* **2018**, 361 (2018). https://doi.org/10.1186/s13662-018-1825-2

Received:

Accepted:

Published:

DOI: https://doi.org/10.1186/s13662-018-1825-2

### Keywords

- Parabolic equations
- Locally one-dimensional strategy
- Padé approximations
- High order methods
- Unconditional stability