Stability Analysis of Inverse Lax-Wendroff Procedure for a High order Compact Finite Difference Schemes

This paper considers the finite difference(FD)approximations of diffusion operators and the boundary treatments for different boundary conditions.The proposed schemes have the compact form and could achieve arbitrary even order of accuracy.The main idea is to make use of the lower order compact schemes recursively,so as to obtain the high order compact schemes formally.Moreover,the schemes can be implemented efficiently by solving a series of tridiagonal systems recursively or the fast Fourier transform(FFT).With mathematical induction,the eigenvalues of the proposed differencing operators are shown to be bounded away from zero,which indicates the positive definiteness of the operators.To obtain numerical boundary conditions for the high order schemes,the simplified inverse Lax-Wendroff(SILW)procedure is adopted and the stability analysis is performed by the Godunov-Ryabenkii method and the eigenvalue spectrum visualization method.Various numerical experiments are provided to demonstrate the effectiveness and robustness of our algorithms.

Crank-Nicolson Quasi-Compact Scheme for the Nonlinear Two-Sided Spatial Fractional Advection-Diffusion Equations

The higher-order numerical scheme of nonlinear advection-diffusion equations is studied in this article, where the space fractional derivatives are evaluated by using weighted and shifted Grünwald difference operators and combining the compact technique, in the time direction is discretized by the Crank-Nicolson method. Through the energy method, the stability and convergence of the numerical scheme in the sense of L2-norm are proved, and the convergence order is . Some examples are given to show that our numerical scheme is effective.

THE THREE-POINT FIFTH-ORDER ACCURATE GENERALIZED COMPACT SCHEME AND ITS APPLICATIONS

A three-point fifth-order accurate generalized compact scheme (GC scheme) with a spectral-like resolution is constructed in a general way. The scheme satisfies the principle of stability and the principle about suppression of the oscillations, therefore numerical errors can decay automatically and no spurious oscillations are generated around shocks. The third-order TVD type Runge-Kutta method is employed for the time integration, thus making the GC scheme best suited for unsteady problems. Numerical results show that the GC scheme is shock-capturing. The time-dependent boundary conditions proposed by Thompson are well employed when the algorithm is applied to the Euler equations of gas dynamics.

High-order maximum-principle-preserving and positivity-preserving weighted compact nonlinear schemes for hyperbolic conservation laws

In this paper,the maximum-principle-preserving(MPP)and positivitypreserving(PP)flux limiting technique will be generalized to a class of high-order weighted compact nonlinear schemes(WCNSs)for scalar conservation laws and the compressible Euler systems in both one and two dimensions.The main idea of the present method is to rewrite the scheme in a conservative form,and then define the local limiting parameters via case-by-case discussion.Smooth test problems are presented to demonstrate that the proposed MPP/PP WCNSs incorporating a third-order Runge-Kutta method can attain the desired order of accuracy.Other test problems with strong shocks and high pressure and density ratios are also conducted to testify the performance of the schemes.

Stabilized seventh-order dissipative compact scheme for two-dimensional Euler equations

We derive in this paper a time stable seventh-order dissipative compact finite difference scheme with simultaneous approximation terms(SATs) for solving two-dimensional Euler equations. To stabilize the scheme, the choice of penalty coefficients for SATs is studied in detail. It is demonstrated that the derived scheme is quite suitable for multi-block problems with different spacial steps. The implementation of the scheme for the case with curvilinear grids is also discussed.Numerical experiments show that the proposed scheme is stable and achieves the design seventh-order convergence rate.

A CLASS OF COMPACT UPWIND TVD DIFFERENCE SCHEMES

A new method was proposed for constructing total variation diminishing （TVD） upwind schemes in conservation forms. Two limiters were used to prevent nonphysical oscillations across discontinuity. Both limiters can ensure the nonlinear compact schemes TVD property. Two compact TVD （CTVD） schemes were tested, one is thirdorder accuracy, and the other is fifth-order. The performance of the numerical algorithms was assessed by one-dimensional complex waves and Riemann problems, as well as a twodimensional shock-vortex interaction and a shock-boundary flow interaction. Numerical results show their high-order accuracy and high resolution, and low oscillations across discontinuities.

New optimized flux difference schemes for improving high-order weighted compact nonlinear scheme with applications

To improve the spectral characteristics of the high-order weighted compact nonlinear scheme(WCNS),optimized flux difference schemes are proposed.The disadvantages in previous optimization routines,i.e.,reducing formal orders,or extending stencil widths,are avoided in the new optimized schemes by utilizing fluxes from both cell-edges and cell-nodes.Optimizations are implemented with Fourier analysis for linear schemes and the approximate dispersion relation(ADR)for nonlinear schemes.Classical difference schemes are restored near discontinuities to suppress numerical oscillations with use of a shock sensor based on smoothness indicators.The results of several benchmark numerical tests indicate that the new optimized difference schemes outperform the classical schemes,in terms of accuracy and resolution for smooth wave and vortex,especially for long-time simulations.Using optimized schemes increases the total CPU time by less than 4%.

Stabilized seventh-order dissipative compact scheme using simultaneous approximation terms

To ensure time stability of a seventh-order dissipative compact finite difference scheme, fourth-order boundary closures are used near domain boundaries previously. However, this would reduce the global convergence rate to fifth-order only. In this paper, we elevate the boundary closures to sixth-order to achieve seventh-order global accuracy. To keep the improved scheme time stable, the simultaneous approximation terms (SATs) are used to impose boundary conditions weakly. Eigenvalue analysis shows that the improved scheme is time stable. Numerical experiments for linear advection equations and one-dimensional Euler equations are implemented to validate the new scheme.

Comments on Three-point explicit compact difference scheme with arbitrary order of accuracy and its application in CFD

The explicit compact difference scheme, proposed in Three-point explicit compact difference scheme with arbitrary order of accuracy and its application in CFD by Lin et al., published in Applied Mathematics and Mechanics （English Edition）, 2007, 28（7）, 943-953, has the same performance as the conventional finite difference schemes. It is just another expression of the conventional finite difference schemes. The proposed expression does not have the advantages of a compact difference scheme. Nonetheless, we can more easily obtain and implement compared with the conventional expression in which the coefficients can only be obtained by solving equations, especially for higher accurate schemes.

Compact finite difference schemes for the backward fractional Feynman–Kac equation with fractional substantial derivative

The fractional Feynman-Kac equations describe the distributions of functionals of non-Brownian motion, or anomalous diffusion, including two types called the forward and backward fractional Feynman-Kac equations, where the nonlocal time-space coupled fractional substantial derivative is involved. This paper focuses on the more widely used backward version. Based on the newly proposed approximation operators for fractional substantial derivative, we establish compact finite difference schemes for the backward fractional Feynman-Kac equation. The proposed difference schemes have the q-th(q = 1, 2, 3, 4) order accuracy in temporal direction and fourth order accuracy in spatial direction, respectively. The numerical stability and convergence in the maximum norm are proved for the first order time discretization scheme by the discrete energy method, where an inner product in complex space is introduced. Finally, extensive numerical experiments are carried out to verify the availability and superiority of the algorithms. Also, simulations of the backward fractional Feynman-Kac equation with Dirac delta function as the initial condition are performed to further confirm the effectiveness of the proposed methods.

WEIGHTED COMPACT SCHEME FOR SHOCK CAPTURING

A new class of finite difference schemes--the weighted compact schemes are proposed. According to the idea of the WENO schemes, the weighted compact scheme is constructed by a combination of the approximations of derivatives on candidate stencils with properly assigned weights so that the non oscillatory property is achieved when discontinuities appear. The primitive function reconstruction method of ENO schemes is applied to obtain the conservative form of the weighted compact scheme. This new scheme not only preserves the characteristic of standard compact schemes and achieves high order accuracy and high resolution using a compact stencil, but also can accurately capture shock waves and discontinuities without oscillation. Numerical examples show that the new scheme is very promising and successful.

A High-Order Compact Scheme with Square-Conservativity

In order to improve the accuracy of forecasts of atmospheric and oceanic phenomena which possess a wide range of space and time scales, it is crucial to design the high-order and stable schemes. On the basis of the explicit square-conservative scheme, a high-order compact explicit square-conservative scheme is proposed in this paper. This scheme not only keeps the square-conservative characteristics, but also is of high accuracy. The numerical example shows that this scheme has less computing errors and better computational stability, and it could be considered to be tested and used in many atmospheric and oceanic problems.

Optimization of a global seventh-order dissipative compact finite-difference scheme by a genetic algorithm

A global seventh-order dissipative compact finite-difference scheme is optimized in terms of time stability. The dissipative parameters appearing in the boundary closures are assumed to be different, resulting in an optimization problem with several parameters determined by applying a generic algorithm. The optimized schemes are analyzed carefully from the aspects of the eigenvalue distribution, the ε-pseudospectra, the short time behavior, and the Fourier analysis. Numerical experiments for the Euler equations are used to show the effectiveness of the final recommended scheme.

Three-point explicit compact difference scheme with arbitrary order of accuracy and its application in CFD

Based on the successive iteration in the Taylor series expansion method, a three-point explicit compact difference scheme with arbitrary order of accuracy is derived in this paper. Numerical characteristics of the scheme are studied by the Fourier analysisl Unlike the conventional compact difference schemes which need to solve the equation to obtain the unknown derivatives in each node, the proposed scheme is explicit and can achieve arbitrary order of accuracy in space. Application examples for the convectiondiffusion problem with a sharp front gradient and the typical lid-driven cavity flow are given. It is found that the proposed compact scheme is not only simple to implement and economical to use, but also is effective to simulate the convection-dominated problem and obtain high-order accurate solution in coarse grid systems.

A Compact Explicit Difference Scheme of High Accuracy for Extended Boussinesq Equations

Presented here is a compact explicit difference scheme of high accuracy for solving the extended Boussinesq equations. For time discretization, a three-stage explicit Runge-Kutta method with TVD property is used at predicting stage, a cubic spline function is adopted at correcting stage, which made the time discretization accuracy up to fourth order; For spatial discretization, a three-point explicit compact difference scheme with arbitrary order accuracy is employed. The extended Boussinesq equations derived by Beji and Nadaoka are solved by the proposed scheme. The numerical results agree well with the experimental data. At the same time, the comparisons of the two numerical results between the present scheme and low accuracy difference method are made, which further show the necessity of using high accuracy scheme to solve the extended Boussinesq equations. As a valid sample, the wave propagation on the rectangular step is formulated by the present scheme, the modelled results are in better agreement with the experimental data than those of Kittitanasuan.

Overlapping Domain Decomposition Finite Difference Algorithm for Compact Difference Scheme of the Heat Conduction Equation

In this paper, a modified additive Schwarz finite difference algorithm is applied in the heat conduction equation of the compact difference scheme. The algorithm is on the basis of domain decomposition and the subspace correction. The basic train of thought is the introduction of the units function decomposition and reasonable distribution of the overlap of correction. The residual correction is conducted on each subspace while the computation is completely parallel. The theoretical analysis shows that this method is completely characterized by parallel.

High Order Compact Difference Scheme and Multigrid Method for 2D Elliptic Problems with Variable Coefficients and Interior/Boundary Layers on Nonuniform Grids

In this paper, a high order compact difference scheme and a multigrid method are proposed for solving two-dimensional (2D) elliptic problems with variable coefficients and interior/boundary layers on nonuniform grids. Firstly, the original equation is transformed from the physical domain (with a nonuniform mesh) to the computational domain (with a uniform mesh) by using a coordinate transformation. Then, a fourth order compact difference scheme is proposed to solve the transformed elliptic equation on uniform girds. After that, a multigrid method is employed to solve the linear algebraic system arising from the difference equation. At last, the numerical experiments on some elliptic problems with interior/boundary layers are conducted to show high accuracy and high efficiency of the present method.

Characteristic Analysis of Exponential Compact Higher Order Schemes for Convection-Diffusion Equations

This paper looks at the development of a class of Exponential Compact Higher Order (ECHO) schemes and attempts to comprehend their behaviour by introducing different combinations of discrete source function and its derivatives. The characteristic analysis is performed for one-dimensional schemes to understand the efficiency of the scheme and a similar analysis has been introduced for higher dimensional schemes. Finally, the developed schemes are used to solve several example problems and compared the error norms and rates of convergence.

High Resolution Compact Finite Difference Schemes for Convection Dominated Problems

In this short article, the upwind and central compact finite difference schemes for spatial discretization of the first-order derivative are analyzed. Comparison of the schemes is provided and the best discretization scheme for convection dominated problems is suggested.

A Compact Difference Scheme for Multi-point Boundary Value Problems of Heat Equations

In this paper,a compact difference scheme is established for the heat equations with multi-point boundary value conditions.The truncation error of the difference scheme is O(τ2+h^4),where t and h are the temporal step size and the spatial step size.A prior estimate of the difference solution in a weighted norm is obtained.The unique solvability,stability and convergence of the difference scheme are proved by the energy method.The theoretical statements for the solution of the difference scheme are supported by numerical examples.