论文部分内容阅读
This paper constructs a strongly-consistent explicit finite difference scheme for 3D con-stant viscosity incompressible Navier-Stokes equations by using of symbolic algebraic computation.The difference scheme is space second order accurate and temporal first order accurate.It is proved that difference Gr?bner basis algorithm is correct.By using of difference Gr?bner basis computation method,an element in Gr?bner basis of difference scheme for momentum equations is a difference scheme for pressure Poisson equation.The authors find that the truncation errors expressions of differ-ence scheme is consistent with continuous errors functions about modified version of above difference equation.The authors prove that,for strongly consistent difference scheme,each element in the differ-ence Gr?bner basis of such difference scheme always approximates a differential equation which vanishes on the analytic solutions of Navier-Stokes equations.To prove the strongly-consistency of this differ-ence scheme,the differential Thomas decomposition theorem for nonlinear differential equations and difference Gr?bner basis theorems for difference equations are applied.Numerical test certifies that strongly-consistent difference scheme is effective.