Show simple item record

dc.contributor.authorGerdt, VPen
dc.contributor.authorRobertz, Den
dc.date.accessioned2019-05-11T17:53:21Z
dc.identifier.urihttp://hdl.handle.net/10026.1/13826
dc.description.abstract

For a wide class of polynomially nonlinear systems of partial differential equations we suggest an algorithmic approach to the s(trong)-consistency analysis of their finite difference approximations on Cartesian grids. First we apply the differential Thomas decomposition to the input system, resulting in a partition of the solution set. We consider the output simple subsystem that contains a solution of interest. Then, for this subsystem, we suggest an algorithm for verification of s-consistency for its finite difference approximation. For this purpose we develop a difference analogue of the differential Thomas decomposition, both of which jointly allow to verify the s-consistency of the approximation. As an application of our approach, we show how to produce s-consistent difference approximations to the incompressible Navier-Stokes equations including the pressure Poisson equation.

en
dc.language.isoenen
dc.subjectcs.SCen
dc.subjectcs.SCen
dc.subjectmath.APen
dc.subjectmath.NAen
dc.subjectmath.RAen
dc.titleAlgorithmic approach to strong consistency analysis of finite difference approximations to PDE systemsen
dc.typeJournal Article
plymouth.author-urlhttp://arxiv.org/abs/1904.12912v1en
plymouth.journalProceedings of the International Symposium on Symbolic and Algebraic Computation, ISSACen
plymouth.organisational-group/Plymouth
plymouth.organisational-group/Plymouth/Faculty of Science and Engineering
plymouth.organisational-group/Plymouth/Faculty of Science and Engineering/School of Engineering, Computing and Mathematics
plymouth.organisational-group/Plymouth/REF 2021 Researchers by UoA
plymouth.organisational-group/Plymouth/REF 2021 Researchers by UoA/UoA10 Mathematical Sciences
plymouth.organisational-group/Plymouth/Users by role
plymouth.organisational-group/Plymouth/Users by role/Academics
dcterms.dateAccepted2019-04-02en
dc.rights.embargodate9999-12-31en
dc.rights.embargoperiodNot knownen
rioxxterms.licenseref.urihttp://www.rioxx.net/licenses/all-rights-reserveden
rioxxterms.typeJournal Article/Reviewen


Files in this item

Thumbnail
Thumbnail

This item appears in the following Collection(s)

Show simple item record


All items in PEARL are protected by copyright law.
Author manuscripts deposited to comply with open access mandates are made available in accordance with publisher policies. Please cite only the published version using the details provided on the item record or document. In the absence of an open licence (e.g. Creative Commons), permissions for further reuse of content should be sought from the publisher or author.
Theme by 
@mire NV