Two-level finite difference scheme of improved accuracy order for time-dependent problems of mathematical physics

In the theory of finite difference schemes, the most complete results concerning the accuracy of approximate solutions are obtained for two- and three-level finite difference schemes that converge with the first and second order with respect to time. When the Cauchy problem is numerically solved for a system of ordinary differential equations, higher order methods are often used. Using a model problem for a parabolic equation as an example, general requirements for the selection of the finite difference approximation with respect to time are discussed. In addition to the unconditional stability requirements, extra performance criteria for finite difference schemes are presented and the concept of SM stability is introduced. Issues concerning the computational implementation of schemes having higher approximation orders are discussed. From the general point of view, various classes of finite difference schemes for time-dependent problems of mathematical physics are analyzed.     

Minimal dissipation hybrid bicompact schemes for hyperbolic equations

New monotonicity-preserving hybrid schemes are proposed for multidimensional hyperbolic equations. They are convex combinations of high-order accurate central bicompact schemes and upwind schemes of first-order accuracy in time and space. The weighting coefficients in these combinations depend on the local difference between the solutions produced by the high- and low-order accurate schemes at the current space-time point. The bicompact schemes are third-order accurate in time, while having the fourth order of accuracy and the first difference order in space. At every time level, they can be solved by marching in each spatial variable without using spatial splitting. The upwind schemes have minimal dissipation among all monotone schemes constructed on a minimum space-time stencil. The hybrid schemes constructed has been successfully tested as applied to a number of two-dimensional gas dynamics benchmark problems.     

Arbitrary-order difference schemes for solving linear advection equations with constant coefficients by the Godunov method with antidiffusion

An approach to the construction of second-and higher order accurate difference schemes in time and space is described for solving the linear one-and multidimensional advection equations with constant coefficients by the Godunov method with antidiffusion. The differential approximations for schemes of up to the fifth order are constructed and written. For multidimensional advection equations with constant coefficients, it is shown that Godunov schemes with splitting over spatial variables are preferable, since they have a smaller truncation error than schemes without splitting. The high resolution and efficiency of the difference schemes are demonstrated using test computations.     

Spectral problems with mixed Dirichlet–Neumann boundary conditions: Isospectrality and beyond

In this study, an implicit semi-discrete higher order compact (HOC) scheme, with an averaged time discretization, has been presented for the numerical solution of unsteady two-dimensional (2D) Schrödinger equation. The scheme is second order accurate in time and fourth order accurate in space. The results of numerical experiments are presented, and are compared with analytical solutions and well established numerical results of some other finite difference schemes. In all cases, the present scheme produces highly accurate results with much better computational efficiency.     

解三维抛物型方程的一个高精度显式差分格式

提出了求解三维抛物型方程的一个高精度显式差分格式.首先,推导了一个特殊节点处一阶偏导数(■u)/(■/t)的一个差分近似表达式,利用待定系数法构造了一个显式差分格式,通过选取适当的参数使格式的截断误差在空间层上达到了四阶精度和在时间层上达到了三阶精度.然后,利用Fourier分析法证明了当r1/6时,差分格式是稳定的.最后,通过数值试验比较了差分格式的解与精确解的区别,结果说明了差分格式的有效性.     

A high order accurate numerical method for solving two‐dimensional dual‐phase‐lagging equation with temperature jump boundary condition in nanoheat conduction

Dual‐phase‐lagging (DPL) equation with temperature jump boundary condition (Robin's boundary condition) shows promising for analyzing nanoheat conduction. For solving it, development of higher‐order accurate and unconditionally stable (no restriction on the mesh ratio) numerical schemes is important. Because the grid size may be very small at nanoscale, using a higher‐order accurate scheme will allow us to choose a relative coarse grid and obtain a reasonable solution. For this purpose, recently we have presented a higher‐order accurate and unconditionally stable compact finite difference scheme for solving one‐dimensional DPL equation with temperature jump boundary condition. In this article, we extend our study to a two‐dimensional case and develop a fourth‐order accurate compact finite difference method in space coupled with the Crank–Nicolson method in time, where the Robin's boundary condition is approximated using a third‐order accurate compact method. The overall scheme is proved to be unconditionally stable and convergent with the convergence rate of fourth‐order in space and second‐order in time. Numerical errors and convergence rates of the solution are tested by two examples. Numerical results coincide with the theoretical analysis. © 2015 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq 31: 1742–1768, 2015     

High‐order difference schemes for 2D elliptic and parabolic problems with mixed derivatives

We propose a 9‐point fourth‐order finite difference scheme for 2D elliptic problems with a mixed derivative and variable coefficients. The same approach is extended to derive a class of two‐level high‐order compact schemes with weighted time discretization for solving 2D parabolic problems with a mixed derivative. The schemes are fourth‐order accurate in space and second‐ or lower‐order accurate in time depending on the choice of a weighted average parameter μ. Unconditional stability is proved for 0.5 ≤ μ ≤ 1, and numerical experiments supporting our theoretical analysis and confirming the high‐order accuracy of the schemes are presented. © 2006 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq 23: 366–378, 2007     

High-order accurate monotone compact running scheme for multidimensional hyperbolic equations

Monotone absolutely stable conservative difference schemes intended for solving quasilinear multidimensional hyperbolic equations are described. For sufficiently smooth solutions, the schemes are fourth-order accurate in each spatial direction and can be used in a wide range of local Courant numbers. The order of accuracy in time varies from the third for the smooth parts of the solution to the first near discontinuities. This is achieved by choosing special weighting coefficients that depend locally on the solution. The presented schemes are numerically efficient thanks to the simple two-diagonal (or block two-diagonal) structure of the matrix to be inverted. First the schemes are applied to system of nonlinear multidimensional conservation laws. The choice of optimal weighting coefficients for the schemes of variable order of accuracy in time and flux splitting is discussed in detail. The capabilities of the schemes are demonstrated by computing well-known two-dimensional Riemann problems for gasdynamic equations with a complex shock wave structure.     

设计多层差分格式的一种有效途径

本文推广了传统的余项裣方法并将其应用于多层差分格式的设计中。由此不仅可以设计出高精度的多层差分格式,并且能有效的控制格式的耗散与色散效应以满足不同数值模拟的需要。     

Maximum norm error bounds of ADI and compact ADI methods for solving parabolic equations

Alternating direction implicit (ADI) schemes are computationally efficient and widely utilized for numerical approximation of the multidimensional parabolic equations. By using the discrete energy method, it is shown that the ADI solution is unconditionally convergent with the convergence order of two in the maximum norm. Considering an asymptotic expansion of the difference solution, we obtain a fourth‐order, in both time and space, approximation by one Richardson extrapolation. Extension of our technique to the higher‐order compact ADI schemes also yields the maximum norm error estimate of the discrete solution. And by one extrapolation, we obtain a sixth order accurate approximation when the time step is proportional to the squares of the spatial size. An numerical example is presented to support our theoretical results. © 2008 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq 2010     

Higher order finite difference schemes for the magnetic induction equations

We describe high order accurate and stable finite difference schemes for the initial-boundary value problem associated with the magnetic induction equations. These equations model the evolution of a magnetic field due to a given velocity field. The finite difference schemes are based on Summation by Parts (SBP) operators for spatial derivatives and a Simultaneous Approximation Term (SAT) technique for imposing boundary conditions. We present various numerical experiments that demonstrate both the stability as well as high order of accuracy of the schemes.      

一类时空二阶精度高分辨率MmB差分格式的构造及数值试验

1．引言考虑如下二维双曲型守恒律初值问题的数值解．H．M．Wu和S．L．Yang在文山中给出了MmB差分格式的定义如下：给定（．1）M差分格式定义．若则称格式（1．2）为MmB差分格式．这里BmB表示局部MaximumandminimumBounds．由定义可知，若差分格式（1．2）可写为形式且。＼P’三0，＞。：r’一1．则格式（1．4）为MmB差分格式．j＝l文山构造了二维双曲型守恒律的二类二阶精度的MmB差分格式，使构造二维高分辨格式有了新的突破，但他们是从标量线性双曲型守恒律出发，然后把结果推广到非线性情形．本文直接从二维非线性双曲型守恒律…     

Two-stage complex Rosenbrock schemes for stiff systems

New two-stage Rosenbrock schemes with complex coefficients are proposed for stiff systems of differential equations. The schemes are fourth-order accurate and satisfy enhanced stability requirements. A one-parameter family of L1-stable schemes with coefficients explicitly calculated by formulas involving only fractions and radicals is constructed. A single L2-stable scheme is found in this family. The coefficients of the fourth-order accurate L4-stable scheme previously obtained by P.D Shirkov are refined. Several fourth-order schemes are constructed that are high-order accurate for linear problems and possess the limiting order of L-decay. The schemes proposed are proved to converge. A symbolic computation algorithm is developed that constructs order conditions for multistage Rosenbrock schemes with complex coefficients. This algorithm is used to design the schemes proposed and to obtain fifth-order accurate conditions.     

High‐order finite difference schemes for numerical solutions of the generalized Burgers–Huxley equation

In this article, up to tenth‐order finite difference schemes are proposed to solve the generalized Burgers–Huxley equation. The schemes based on high‐order differences are presented using Taylor series expansion. To establish the numerical solutions of the corresponding equation, the high‐order schemes in space and a fourth‐order Runge‐Kutta scheme in time have been combined. Numerical experiments have been conducted to demonstrate the high‐order accuracy of the current algorithms with relatively minimal computational effort. The results showed that use of the present approaches in the simulation is very applicable for the solution of the generalized Burgers–Huxley equation. The current results are also seen to be more accurate than some results given in the literature. The proposed algorithms are seen to be very good alternatives to existing approaches for such physical applications. © 2010 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq 27: 1313‐1326, 2011     

A Survey of High Order Schemes for the Shallow Water Equations

In this paper, we survey our recent work on designing high order positivity-preserving well-balanced finite difference and finite volume WENO (weighted essentially non-oscillatory) schemes, and discontinuous Galerkin finite element schemes for solving the shallow water equations with a non-flat bottom topography. These schemes are genuinely high order accurate in smooth regions for general solutions, are essentially non-oscillatory for general solutions with discontinuities, and at the same time they preserve exactly the water at rest or the more general moving water steady state solutions. A simple positivity-preserving limiter, valid under suitable CFL condition, has been introduced in one dimension and reformulated to two dimensions with triangular meshes, and we prove that the resulting schemes guarantee the positivity of the water depth.     

High‐order Padé and singly diagonally Runge‐Kutta schemes for linear ODEs,application to wave propagation problems

In this article, we address the problem of constructing high‐order implicit time schemes for wave equations. We consider two classes of one‐step A‐stable schemes adapted to linear Ordinary Differential Equation (ODE). The first class, which is not dissipative is based on the diagonal Padé approximant of exponential function. For this class, the obtained schemes have the same stability function as Gauss Runge‐Kutta (Gauss RK) schemes. They have the advantage to involve the solution of smaller linear systems at each time step compared to Gauss RK. The second class of schemes are constructed such that they require the inversion of a unique linear system several times at each time step like the Singly Diagonally Runge‐Kutta (SDIRK) schemes. While the first class of schemes is constructed for an arbitrary order of accuracy, the second‐class schemes is given up to order 12. The performance assessment we provide shows a very good level of accuracy for both classes of schemes, and the great interest of considering high‐order time schemes that are faster. The diagonal Padé schemes seem to be more accurate and more robust.     

一维非线性Schrödinger 方程的两个无条件收敛的守恒紧致差分格式

本文对一维非线性 Schrödinger 方程给出两个紧致差分格式, 运用能量方法和两个新的分析技 巧证明格式关于离散质量和离散能量守恒, 而且在最大模意义下无条件收敛. 对非线性紧格式构造了 一个新的迭代算法, 证明了算法的收敛性, 并在此基础上给出一个新的线性化紧格式. 数值算例验证 了理论分析的正确性, 并通过外推进一步提高了数值解的精度.     

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.     

An inverse problem of finding a source parameter in a semilinear parabolic equation

An inverse problem concerning diffusion equation with source control parameter is considered. Several finite-difference schemes are presented for identifying the control parameter. These schemes are based on the classical forward time centred space (FTCS) explicit formula, and the 5-point FTCS explicit method and the classical backward time centred space (BTCS) implicit scheme, and the Crank–Nicolson implicit method. The classical FTCS explicit formula and the 5-point FTCS explicit technique are economical to use, are second-order accurate, but have bounded range of stability. The classical BTCS implicit scheme and the Crank–Nicolson implicit method are unconditionally stable, but these schemes use more central processor (CPU) times than the explicit finite difference mehods. The basis of analysis of the finite difference equations considered here is the modified equivalent partial differential equation approach, developed from the 1974 work of Warming and Hyett. This allows direct and simple comparison of the errors associated with the equations as well as providing a means to develop more accurate finite difference schemes. The results of a numerical experiment are presented, and the accuracy and CPU time needed for this inverse problem are discussed.     

A new conservative finite difference scheme for Boussinesq paradigm equation

A family of nonlinear conservative finite difference schemes for the multidimensional Boussinesq Paradigm Equation is considered. A second order of convergence and a preservation of the discrete energy for this approach are proved. Existence and boundedness of the discrete solution on an appropriate time interval are established. The schemes have been numerically tested on the models of the propagation of a soliton and the interaction of two solitons. The numerical experiments demonstrate that the proposed family of schemes is about two times more accurate than the family of schemes studied in [Kolkovska N., Two families of finite difference schemes for multidimensional Boussinesq paradigm equation, In: Application of Mathematics in Technical and Natural Sciences, Sozopol, June 21–26, 2010, AIP Conf. Proc., 1301, American Institute of Physics, Melville, 2010, 395–403].