A Linearized Spectral-Galerkin Method for Three-Dimensional Riesz-Like Space Fractional Nonlinear Coupled Reaction-Diffusion Equations

In this paper, we establish a novel fractional model arising in the chemical reaction and develop an efficient spectral method for the three-dimensional Riesz-like space fractional nonlinear coupled reaction-diffusion equations. Based on the backward difference method for time stepping and the Legendre-Galerkin spectral method for space discretization, we construct a fully discrete numerical scheme which leads to a linear algebraic system. Then a direct method based on the matrix diagonalization approach is proposed to solve the linear algebraic system, where the cost of the algorithm is of a small multiple of $N^4$ ($N$ is the polynomial degree in each spatial coordinate) flops for each time level. In addition, the stability and convergence analysis are rigorously established. We obtain the optimal error estimate in space, and the results also show that the fully discrete scheme is unconditionally stable and convergent of order one in time. Furthermore, numerical experiments are presented to confirm the theoretical claims. As the applications of the proposed method, the fractional Gray-Scott model is solved to capture the pattern formation with an analysis of the properties of the fractional powers.     

Time step selection for the numerical solution of boundary value problems for parabolic equations

An algorithm is proposed for selecting a time step for the numerical solution of boundary value problems for parabolic equations. The solution is found by applying unconditionally stable implicit schemes, while the time step is selected using the solution produced by an explicit scheme. Explicit computational formulas are based on truncation error estimation at a new time level. Numerical results for a model parabolic boundary value problem are presented, which demonstrate the performance of the time step selection algorithm.     

Convergence of compact ADI method for solving linear Schrödinger equations

A compact ADI scheme of second‐order in time and fourth‐order in space is proposed for solving linear Schrödinger equations with periodic boundary conditions. By using the recently suggested discrete energy method, it is shown that the stable compact ADI method is unconditionally convergent in the maximum norm. Numerical experiments, including the comparisons with the second‐order ADI scheme and the time‐splitting Fourier pseudospectral method, are presented to support the theoretical results and show the effectiveness of our method. © 2011 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq 2012     

An accurate LOD scheme for two-dimensional parabolic problems

We propose a high order locally one-dimensional scheme for solving parabolic problems. The method is fourth-order in space and second-order in time, and provides a computationally efficient implicit scheme. It is shown through a discrete Fourier analysis that the method is unconditionally stable. Numerical experiments are conducted to test its high accuracy and to compare it with other schemes.     

A Fast Conservative Scheme for the Space Fractional Nonlinear Schrödinger Equation with Wave Operator

A new efficient compact difference scheme is proposed for solving a space fractional nonlinear Schrödinger equation with wave operator. The scheme is proved to conserve the total mass and total energy in a discrete sense. Using the energy method, the proposed scheme is proved to be unconditionally stable and its convergence order is shown to be of $ \mathcal{O}( h^6 + \tau^2) $ in the discrete $ L_2 $ norm with mesh size $ h $ and the time step $ \tau $. Moreover, a fast difference solver is developed to speed up the numerical computation of the scheme. Numerical experiments are given to support the theoretical analysis and to verify the efficiency, accuracy, and discrete conservation laws.     

On a finite difference scheme for Burgers’ equation

In this paper we study properties of numerical solutions of Burger’s equation. Burgers’ equation is reduced to the heat equation on which we apply the Douglas finite difference scheme. The method is shown to be unconditionally stable, fourth order accurate in space and second order accurate in time. Two test problems are used to validate the algorithm. Numerical solutions for various values of viscosity are calculated and it is concluded that the proposed method performs well.     

Alternating triangular schemes for convection–diffusion problems

Explicit–implicit approximations are used to approximate nonstationary convection–diffusion equations in time. In unconditionally stable two-level schemes, diffusion is taken from the upper time level, while convection, from the lower layer. In the case of three time levels, the resulting explicit–implicit schemes are second-order accurate in time. Explicit alternating triangular (asymmetric) schemes are used for parabolic problems with a self-adjoint elliptic operator. These schemes are unconditionally stable, but conditionally convergent. Three-level modifications of alternating triangular schemes with better approximating properties were proposed earlier. In this work, two- and three-level alternating triangular schemes for solving boundary value problems for nonstationary convection–diffusion equations are constructed. Numerical results are presented for a two-dimensional test problem on triangular meshes, such as Delaunay triangulations and Voronoi diagrams.     

Energy-conserved splitting FDTD methods for Maxwell’s equations

In this paper, two new energy-conserved splitting methods (EC-S-FDTDI and EC-S-FDTDII) for Maxwell’s equations in two dimensions are proposed. Both algorithms are energy-conserved, unconditionally stable and can be computed efficiently. The convergence results are analyzed based on the energy method, which show that the EC-S-FDTDI scheme is of first order in time and of second order in space, and the EC-S-FDTDII scheme is of second order both in time and space. We also obtain two identities of the discrete divergence of electric fields for these two schemes. For the EC-S-FDTDII scheme, we prove that the discrete divergence is of first order to approximate the exact divergence condition. Numerical dispersion analysis shows that these two schemes are non-dissipative. Numerical experiments confirm well the theoretical analysis results.     

非线性分数阶反应扩散方程组的间断时空有限元方法

利用时间间断空间连续的时空有限元方法构造了空间分数阶反应扩散方程组的可以逐时间层求解的全离散格式.在时间离散区间上,采用Radau积分公式,将插值理论与有限元理论相结合,给出了全离散格式解的存在唯一性结果,并证明了所给格式是无条件稳定的,进而详细给出最优阶L~∞(L~2)模误差估计过程.最后用数值算例验证了理论分析的正确性.     

An unconditionally stable uncoupled scheme for a triphasic Cahn–Hilliard/Navier–Stokes model

We propose an original scheme for the time discretization of a triphasic Cahn–Hilliard/Navier–Stokes model. This scheme allows an uncoupled resolution of the discrete Cahn–Hilliard and Navier‐Stokes system, which is unconditionally stable and preserves, at the discrete level, the main properties of the continuous model. The existence of discrete solutions is proved, and a convergence study is performed in the case where the densities of the three phases are the same. © 2012 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq. 2013     

Maximum norm error analysis of an unconditionally stable semi‐implicit scheme for multi‐dimensional Allen–Cahn equations

In this paper, a linearized finite difference scheme is proposed for solving the multi‐dimensional Allen–Cahn equation. In the scheme, a modified leap‐frog scheme is used for the time discretization, the nonlinear term is treated in a semi‐implicit way, and the central difference scheme is used for the discretization in space. The proposed method satisfies the discrete energy decay property and is unconditionally stable. Moreover, a maximum norm error analysis is carried out in a rigorous way to show that the method is second‐order accurate both in time and space variables. Finally, numerical tests for both two‐ and three‐dimensional problems are provided to confirm our theoretical findings.     

A modified Crank-Nicolson scheme with incremental unknowns for convection dominated diffusion equations

A modified Crank-Nicolson scheme based on one-sided difference approximations is proposed for solving time-dependent convection dominated diffusion equations in two-dimensional space. The modified scheme is consistent and unconditionally stable. A priori L² error estimate for the fully discrete modified scheme is derived. With the use of the incremental unknowns preconditioner at each time step, a comparison among several classical numerical schemes has been made and numerical results confirm stability and efficiency of the modified Crank-Nicolson scheme.     

A fourth-order compact ADI method for solving two-dimensional unsteady convection–diffusion problems

In this article, an exponential high-order compact (EHOC) alternating direction implicit (ADI) method, in which the Crank–Nicolson scheme is used for the time discretization and an exponential fourth-order compact difference formula for the steady-state 1D convection–diffusion problem is used for the spatial discretization, is presented for the solution of the unsteady 2D convection–diffusion problems. The method is temporally second-order accurate and spatially fourth order accurate, which requires only a regular five-point 2D stencil similar to that in the standard second-order methods. The resulting EHOC ADI scheme in each ADI solution step corresponds to a strictly diagonally dominant tridiagonal matrix equation which can be inverted by simple tridiagonal Gaussian decomposition and may also be solved by application of the one-dimensional tridiagonal Thomas algorithm with a considerable saving in computing time. The unconditionally stable character of the method was verified by means of the discrete Fourier (or von Neumann) analysis. Numerical examples are given to demonstrate the performance of the method proposed and to compare mostly it with the high order ADI method of Karaa and Zhang and the spatial third-order compact scheme of Note and Tan.     

Numerical study of a regularized barotropic vorticity model of geophysical flow

We study a Crank–Nicolson in time, finite element in space, numerical scheme for a Bardina regularization of the barotropic vorticity (BV) model. We derive the regularized model from the simplified Bardina model in primitive variables, present a numerical algorithm for it, and prove the algorithm is unconditionally stable with respect to the timestep size and optimally convergent in both space and time. Numerical experiments are provided that verify the theoretical convergence rates, and also that test the model/scheme on a benchmark double‐gyre wind forcing experiment. For the latter test, we find the proposed model/scheme gives a good coarse mesh approximation to the highly resolved direct numerical simulation of the BV model, and compares favorably to related regularization model results. © 2015 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq 31: 1492–1514, 2015     

A high‐order compact ADI method for solving three‐dimensional unsteady convection‐diffusion problems

We derive a high‐order compact alternating direction implicit (ADI) method for solving three‐dimentional unsteady convection‐diffusion problems. The method is fourth‐order in space and second‐order in time. It permits multiple uses of the one‐dimensional tridiagonal algorithm with a considerable saving in computing time and results in a very efficient solver. It is shown through a discrete Fourier analysis that the method is unconditionally stable in the diffusion case. Numerical experiments are conducted to test its high order and to compare it with the standard second‐order Douglas‐Gunn ADI method and the spatial fourth‐order compact scheme by Karaa. © 2005 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq, 2006     

Analysis of a meshless method for the time fractional diffusion-wave equation

In this paper a numerical technique is proposed for solving the time fractional diffusion-wave equation. We obtain a time discrete scheme based on finite difference formula. Then, we prove that the time discrete scheme is unconditionally stable and convergent using the energy method and the convergence order of the time discrete scheme is \(\mathcal {O}(\tau ^{3-\alpha })\). Firstly, we change the main problem based on Dirichlet boundary condition to a new problem based on Robin boundary condition and then, we consider a semi-discrete scheme with Robin boundary condition and show when \(\beta \rightarrow +\infty \) solution of the main semi-discrete problem with Dirichlet boundary condition is convergent to the solution of the new semi-discrete problem with Robin boundary condition. We consider the new semi-discrete problem with Robin boundary condition and use the meshless Galerkin method to approximate the spatial derivatives. Finally, we obtain an error bound for the new problem. We prove that convergence order of the numerical scheme based on Galekin meshless is \(\mathcal {O}(h)\). In the considered method the appeared integrals are approximated using Gauss Legendre quadrature formula. The main aim of the current paper is to obtain an error estimate for the meshless Galerkin method based on the radial basis functions. Numerical examples confirm the efficiency and accuracy of the proposed scheme.     

Second order unconditionally convergent and energy stable linearized scheme for MHD equations

In this paper, we propose an efficient numerical scheme for magnetohydrodynamics (MHD) equations. This scheme is based on a second order backward difference formula for time derivative terms, extrapolated treatments in linearization for nonlinear terms. Meanwhile, the mixed finite element method is used for spatial discretization. We present that the scheme is unconditionally convergent and energy stable with second order accuracy with respect to time step. The optimal L ² and H ¹ fully discrete error estimates for velocity, magnetic variable and pressure are also demonstrated. A series of numerical tests are carried out to confirm our theoretical results. In addition, the numerical experiments also show the proposed scheme outperforms the other classic second order schemes, such as Crank-Nicolson/Adams-Bashforth scheme, linearized Crank-Nicolson’s scheme and extrapolated Gear’s scheme, in solving high physical parameters MHD problems.     

EFFICIENT LINEAR SCHEMES WITH UNCONDITIONAL ENERGY STABILITY FOR THE PHASE FIELD MODEL OF SOLID-STATE DEWETTING PROBLEMS

In this paper, we study linearly first and second order in time, uniquely solvable and unconditionally energy stable numerical schemes to approximate the phase field model of solid-state dewetting problems based on the novel "scalar auxiliary variable" (SAV) approach, a new developed efficient and accurate method for a large class of gradient flows. The schemes are based on the first order Euler method and the second order backward differential formulas (BDF2) for time discretization, and finite element methods for space discretization. The proposed schemes are proved to be unconditionally stable and the discrete equations are uniquely solvable for all time steps. Various numerical experiments are presented to validate the stability and accuracy of the proposed schemes.     

A non-overlapping domain decomposition dual reciprocity method for solving the forward–backward heat equation in two-dimension

We apply a boundary element dual reciprocity method (DRBEM) to the numerical solution of the forward–backward heat equation in a two-dimensional case. The method is employed for the spatial variable via the fundamental solution of the Laplace equation and the Crank–Nicolson finite difference scheme is utilized to treat the time variable. The physical domain is divided into two non-overlapping subdomains resulting in two standard forward and backward parabolic equations. The subproblems are then treated by the underlying method assuming a virtual boundary in the interface and starting with an initial approximate solution on this boundary followed by updating the solution by an iterative procedure. In addition, we show that the time discrete scheme is unconditionally stable and convergent using the energy method. Furthermore, some computational aspects will be suggested to efficiently deal with the formulation of the proposed method. Finally, two forward–backward problems, for which the exact solution is available, will be numerically solved for two different domains to demonstrate the efficiency of the proposed approach.     

A linearized and second‐order unconditionally convergent scheme for coupled time fractional Klein‐Gordon‐Schrödinger equation

In this work, we study finite difference scheme for coupled time fractional Klein‐Gordon‐Schrödinger (KGS) equation. We proposed a linearized finite difference scheme to solve the coupled system, in which the fractional derivatives are approximated by some recently established discretization formulas. These formulas approximate the solution with second‐order accuracy at points different form the grid points in time direction. Taking advantage of this property, our proposed linearized scheme evaluates the nonlinear terms on the previous time level. As a result, iterative method is dispensable. The coupled terms in the scheme bring difficulties in analysis. By carefully studying these effects, we proved that the proposed scheme is unconditionally convergent and stable in discrete norm with energy method. Numerical results are included to justify the theoretical statements.