Show simple item record

dc.contributor.authorGerdt, VP
dc.contributor.authorRobertz, D
dc.date.accessioned2019-05-11T17:53:21Z
dc.date.issued2019-07-08
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.

dc.format.extent163-170
dc.language.isoen
dc.publisherACM
dc.subjectcs.SC
dc.subjectcs.SC
dc.subjectmath.AP
dc.subjectmath.NA
dc.subjectmath.RA
dc.titleAlgorithmic approach to strong consistency analysis of finite difference approximations to PDE systems
dc.typejournal-article
dc.typeProceedings Paper
plymouth.author-urlhttp://arxiv.org/abs/1904.12912v1
plymouth.publisher-urlhttp://dx.doi.org/10.1145/3326229.3326255
plymouth.publication-statusPublished
plymouth.journalProceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC
dc.identifier.doi10.1145/3326229.3326255
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/Users by role
plymouth.organisational-group/Plymouth/Users by role/Academics
dcterms.dateAccepted2019-04-02
dc.rights.embargodate2023-7-19
dc.rights.embargoperiodNot known
rioxxterms.versionofrecord10.1145/3326229.3326255
rioxxterms.licenseref.urihttp://www.rioxx.net/licenses/all-rights-reserved
rioxxterms.typeJournal Article/Review


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 
Atmire NV