A Strongly Consistent Finite Difference Scheme for Steady Stokes Flow and its Modified Equations
We construct and analyze a strongly consistent second-order finite difference scheme for the steady two-dimensional Stokes flow. The pressure Poisson equation is explicitly incorporated into the scheme. Our approach suggested by the first two authors is based on a combination of the finite volume method, difference elimination, and numerical integration. We make use of the techniques of the differential and difference Janet/Gröbner bases. In order to prove strong consistency of the generated scheme we correlate the differential ideal generated by the polynomials in the Stokes equations with the difference ideal generated by the polynomials in the constructed difference scheme. Additionally, we compute the modified differential system of the obtained scheme and analyze the scheme’s accuracy and strong consistency by considering this system. An evaluation of our scheme against the established marker-and-cell method is carried out.
KeywordsComputer algebra Difference elimination Finite difference approximation Janet basis Modified equations Stokes flow Strong consistency
The authors are grateful to Daniel Robertz for his help with respect to the use of the packages Janet and LDA and to the anonymous referees for their suggestions. This work has been partially supported by the King Abdullah University of Science and Technology (KAUST baseline funding), the Russian Foundation for Basic Research (16-01-00080) and the RUDN University Program (5-100).
- 1.Adams, W.W., Loustanau, P.: Introduction to Gröbner Bases. Graduate Studies in Mathematics, vol. 3, American Mathematical Society, Providence (1994)Google Scholar
- 2.Amodio, P., Blinkov, Y., Gerdt, V., La Scala, R.: On consistency of finite difference approximations to the Navier-Stokes equations. In: Gerdt, V.P., Koepf, W., Mayr, E.W., Vorozhtsov, E.V. (eds.) CASC 2013. LNCS, vol. 8136, pp. 46–60. Springer, Cham (2013). https://doi.org/10.1007/978-3-319-02297-0_4CrossRefGoogle Scholar
- 4.Blinkov, Y.A., Cid, C.F., Gerdt, V.P., Plesken, W., Robertz, D.: The MAPLE package Janet: II. Linear partial differential equations. In: Ganzha, V.G., Mayr, E.W., Vorozhtsov, E.V. (eds.) Proceedings of 6th International Workshop on Computer Algebra in Scientific Computing, CASC 2003, pp. 41–54. Technische Universität München (2003). Package Janet is freely available on the web pagehttp://wwwb.math.rwth-aachen.de/Janet/
- 10.Gerdt, V.P.: Involutive algorithms for computing Gröbner bases. In: Cojocaru, S., Pfister, G., Ufnarovski, V. (eds.) Computational Commutative and Non-Commutative Algebraic Geometry, NATO Science Series, pp. 199–225. IOS Press (2005)Google Scholar
- 11.Gerdt, V.P., Robertz, D.: Computation of difference Gröbner bases. Comput. Sci. J. Moldova 20 2(59), 203–226 (2012). Package LDA is freely available on the web page http://wwwb.math.rwth-aachen.de/Janet/
- 12.Gerdt, V.P., Robertz, D.: Consistency of finite difference approximations for linear PDE systems and its algorithmic verification. In: Watt, S.M. (ed.) ISSAC 2010, pp. 53–59. Association for Computing Machinery, New York (2010)Google Scholar
- 14.Kohr, M., Pop, I.: Viscous Incompressible Flow for Low Reynolds Numbers. Advances in Boundary Elements, vol. 16. WIT Press, Sauthampton (2004)Google Scholar
- 16.Milne-Tompson, L.M.: Theoretical Hydrodynamics, 5th edn. Macmillan Education LTD, Banjul (1968)Google Scholar
- 17.Moin, P.: Fundamentals of Engineering Numerical Analysis, 2nd edn. Cambridge University Press, Cambridge (2010)Google Scholar