Abstract
The present study demonstrates a very helpful role of computer algebra systems (CAS) for deriving and testing new numerical methods. We use CAS to construct and test a new numerical method for solving boundary – value problems for the 2D Navier — Stokes equations governing steady incompressible viscous flows. We firstly describe the core of the method and the algorithm of its construction, then we describe the implementation in CAS for deriving formulas of the method and for testing them, and finally we give some numerical results and concluding remarks.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Semin, L.G., Sleptsov, A.G., Shapeev, V.P.: Collocation and least - squares method for Stokes equations. Computational technologies 1(2), 90–98 (1996) (in Russian)
Valiullin, A.N., Shapeev, V.P., et al.: Symbolic manipulations in the methods of mathematical physics. In: Symposium: Mathematics for Computer Science, Paris, pp. 431–438 (1982)
Steinberg, S.: A problem solving environment for numerical partial differential equations. In: 6th IMACS Conference on Application of Computer Algebra, St. Petersburg, June 25–28, pp. 98–99 (2000)
Karasözen, B., Tsybulin, V.G.: Conservative finite difference schemes for cosymmetric systems. Computer Algebra in Scientific Computing, pp. 363–375. Springer, Berlin (2001)
Schacht, W., Vorozhtsov, E.V.: Implementation of Roe’s method for numerical solution of three-dimensional fluid flow problems with the aid of computer algebra systems. In: 7th workshop on Computer Algebra in Scientific Computing, St. Petersburg, July 12–19, pp. 409–422 (2004)
Ascher, U., Christiansen, J., Russell, R.D.: A collocation solver for mixed order systems of boundary value problems. Mathematics of Computation 33, 659–679 (1979)
Barton, I.E.: The entrance effect of laminar flow over a backward - facing step geometry. Int. J. for Numerical Methods in Fluids 25, 633–644 (1997)
Kim, J., Moin, P.: Application of a fractional - step method to incompressible Navier — Stokes equations. J. Comput. Phys. 59, 308–323 (1985)
Armaly, B.F., Durst, F., Pereira, J.C.F., Schönung, B.: Experimental and theoretical investigation of backward - facing step flow. J. Fluid Mech. 127, 473–496 (1983)
Oosterlee, C.W.: A GMRES - based plane smoother in multigrid to solve 3D anisotropic fluid flow problems. J. Comput. Phys. 130, 41–53 (1997)
Pan, F., Acrivos, A.: Steady flows in rectangular cavities. J. Fluid Mech. 28(4), 643–655 (1967)
Bozeman, J.D., Dalton, C.: Numerical study of viscous flow in a cavity. J. of Comput. Phys. 12, 348–363 (1973)
Bruneau, C.H., Jouron, C.: An efficient scheme for solving steady incompressible Navier — Stokes equations. J. Comput. Phys. 89, 389–413 (1990)
Ghia, U., Ghia, K.N., Shin, C.T.: High – Re solutions for incompressible flow using the Navier — Stokes equations and a multigrid method. J. Comput. Phys. 48, 387–411 (1982)
Deng, G.B., Piquet, J., Queutey, P., Visonneau, M.: A new fully coupled solution of the Navier — Stokes equations. Int. J. Numer. Methods in Fluids 19, 605–639 (1994)
Chen, C.J., Chen, H.J.: Finite analytic numerical method for unsteady two-dimensional Navier — Stokes equations. J. Comput. Phys. 53, 209–226 (1984)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Semin, L., Shapeev, V. (2005). Constructing the Numerical Method for Navier — Stokes Equations Using Computer Algebra System. In: Ganzha, V.G., Mayr, E.W., Vorozhtsov, E.V. (eds) Computer Algebra in Scientific Computing. CASC 2005. Lecture Notes in Computer Science, vol 3718. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11555964_31
Download citation
DOI: https://doi.org/10.1007/11555964_31
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-28966-1
Online ISBN: 978-3-540-32070-8
eBook Packages: Computer ScienceComputer Science (R0)