|                                                             | Academy of Mathematics and Systems Science, CAS
 Colloquia & Seminars
 
 
 |                                                              | Speaker: | Dr. Xiaojing Zhang,ICMSEC,LSEC 
 |                          | Inviter: |  |                          | Title: 
 | Application of Difference              Algebra in Difference Scheme for Nonlinear Differential Equations |                          | Time & Venue: 
 | 2021.10.12 10:00-11:00              南楼202教室 |                          | Abstract: 
 | We construct a strongly-consistent explicit finite difference scheme                for 3D constant 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 Grobner basis algorithm is correct.                By using of difference Gro ?bner basis computation method, an element                in Gr ?obner basis of difference scheme for momentum equations is                a difference scheme for pressure Poisson equation. We prove that,                for strongly consistent difference scheme, each element in the difference                Gro 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 difference                scheme, the differential Thomas decomposition theorem for nonlinear                differential equations and difference Grobner basis theorems for                difference equations are applied. Numerical test certifies that                strongly consistent difference scheme is effective. 
 |                          |  | 
 |  |