Algebraic construction of a strongly consistent, permutationally symmetric and conservative difference scheme for 3D steady Stokes flow. (English) Zbl 1416.76196
Summary: By using symbolic algebraic computation, we construct a strongly-consistent second-order finite difference scheme for steady three-dimensional Stokes flow and a Cartesian solution grid. The scheme has the second order of accuracy and incorporates the pressure Poisson equation. This equation is the integrability condition for the discrete momentum and continuity equations. Our algebraic approach to the construction of difference schemes suggested by the second and the third authors combines the finite volume method, numerical integration, and difference elimination. We make use of the techniques of the differential and difference Janet/Gröbner bases for performing related computations. To prove the strong consistency of the generated scheme, we use these bases to 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. As this takes place, our difference scheme is conservative and inherits permutation symmetry of the differential Stokes flow. For the obtained scheme, we compute the modified differential system and use it to analyze the scheme’s accuracy.
MSC:
| 76M20 | Finite difference methods applied to problems in fluid mechanics |
| 76D07 | Stokes and related (Oseen, etc.) flows |
Keywords:
steady Stokes flow; finite difference approximation; difference elimination; computer algebra; Janet/Gröbner basis; strong consistency; modified equation; symmetry; conservativitySoftware:
JanetReferences:
| [1] | Blinkov, Y.A.; Gerdt, V.P.; Lyakhov, D.A.; Michels, D.L.; A Strongly Consistent Finite Difference Scheme for Steady Stokes Flow and its Modified Equations; Computer Algebra in Scientific Computing, Proceedings of the 20th International Workshop on Computer Algebra in Scientific Computing, Lille, France, 17-21 September 2018: Cham, Switzerland 2018; ,67-81. · Zbl 1453.76122 |
| [2] | Milne-Tompson, L.M.; ; Theoretical Hydrodynamics: Houndmills, UK 1968; . · Zbl 0164.55802 |
| [3] | Kohr, M.; Pop, I.; ; Viscous Incompressible Flow for Low Reynolds Numbers, Advances in Boundary Elements: Southampton, UK 2004; Volume Volume 16 . · Zbl 1064.76001 |
| [4] | Koren, B.; Abgral, R.; Bochev, P.; Frank, J.; Physics—Compatible numerical methods; J. Comput. Phys. B: 2014; Volume 257 ,1039-1526. |
| [5] | Strikwerda, J.C.; ; Finite Difference Schemes and Partial Differential Equations: Philadelphia, PA, USA 2004; . · Zbl 1071.65118 |
| [6] | Gerdt, V.P.; Robertz, D.; Consistency of finite difference approximations for linear PDE systems and its algorithmic verification; Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation: New York, NY, USA 2010; ,53-59. · Zbl 1321.65161 |
| [7] | Gerdt, V.P.; Consistency analysis of finite difference approximations to PDE Systems; Mathematical Modelling and Computational Science, Proceedings of International Conference on Mathematical Moddeling and Computational Physics, Stará Lesná, Slovakia, 4-8 July 2011: Berlin, Germany 2012; ,28-42. |
| [8] | Levin, A.; ; Difference Algebra. Algebra and Applications: New York, NY, USA 2008; Volume Volume 8 . · Zbl 1209.12003 |
| [9] | Seiler, W.M.; ; Involution: The Formal Theory of Differential Equations and its Applications in Computer Algebra. Algorithms and Computation in Mathematics: Heidelberg, Germany 2010; Volume Volume 24 . · Zbl 1205.35003 |
| [10] | Gerdt, V.P.; Blinkov, Y.A.; Mozzhilkin, V.V.; Gröbner Bases and Generation of Difference Schemes for Partial Differential Equations; SIGMA: 2006; Volume 2 ,051. · Zbl 1094.68125 |
| [11] | Amodio, P.; Blinkov, Y.A.; Gerdt, V.P.; La Scala, R.; On Consistency of Finite Difference Approximations to the Navier-Stokes Equations; Computer Algebra in Scientific Computing, Proceedings of the 15th International Workshop on Computer Algebra in Scientific Computing, Berlin, Germany, 9-13 September 2013: Cham, Switzerland 2013; ,46-60. · Zbl 1412.65063 |
| [12] | Amodio, P.; Blinkov, Y.A.; Gerdt, V.P.; La Scala, R.; Algebraic construction and numerical behavior of a new s-consistent difference scheme for the 2D Navier-Stokes equations; Appl. Math. Comput.: 2017; Volume 314 ,408-421. · Zbl 1426.76449 |
| [13] | Gerdt, V.P.; Involutive algorithms for computing Gröbner Bases; Computational Commutative and Non-Commutative Algebraic Geometry, Proceedings of the NATO Advanced Research Workshop on Computational Commutative and Non-Commutative Algebraic Geometry, Chisinau, Moldova, 6-11 June 2004: Amsterdam, The Netherlands 2004; ,199-225. · Zbl 1104.13012 |
| [14] | Blinkov, Y.A.; Cid, C.F.; Gerdt, V.P.; Plesken, W.; Robertz, D.; The MAPLE Package Janet: II. Linear Partial Differential Equations; Computer Algebra in Scientific Computing, Proceedings of the 6th International Workshop on Computer Algebra in Scientific Computing, Passau, Germany, 20-26 September 2003: München, Germany 2003; ,41-54. |
| [15] | Gerdt, V.P.; Robertz, D.; Computation of difference Gröbner bases; Comput. Sc. J. Moldova: 2012; Volume 20 ,203-226. · Zbl 1318.68203 |
| [16] | Shokin, Y.I.; ; The Method of Differential Approximation: Berlin, Germany 1983; . · Zbl 0511.65067 |
| [17] | Ganzha, V.G.; Vorozhtsov, E.V.; ; Computer-aided Analysis of Difference Schemes for Partial Differential Equations: New York, NY, USA 1996; . · Zbl 0861.65069 |
| [18] | Moin, P.; ; Fundamentals of Engineering Numerical Analysis: New York, NY, USA 2010; . · Zbl 1228.65003 |
| [19] | Adams, W.W.; Loustanau, P.; ; Introduction to Gröbner Bases. Graduate Studies in Mathematics: Providence, RI, USA 1994; Volume Volume 3 . · Zbl 0803.13015 |
| [20] | Petersson, N.A.; Stability of Pressure Boundary Conditions for Stokes and Navier-Stokes Equations; J. Comput. Phys.: 2001; Volume 172 ,40-70. · Zbl 1014.76064 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
