Efficient and generic algorithm for rigorous integration forward in time of dPDEs : part I

2014
journal article
article
cris.lastimport.scopus2024-04-07T17:16:06Z
cris.lastimport.wos2024-04-09T23:17:11Z
dc.abstract.enWe propose an efficient and generic algorithm for rigorous integration forward in time of partial differential equations written in the Fourier basis. By rigorous integration we mean a procedure which operates on sets and return sets which are guaranteed to contain the exact solution. The presented algorithm generates, in an efficient way, normalized derivatives which are used by the Lohner algorithm to produce a rigorous bound. The algorithm has been successfully tested on several partial differential equations (PDEs) including the Burgers equation, the Kuramoto-Sivashinsky equation, and the Swift-Hohenberg equation. The problem of rigorous integration in time of partial differential equations is a problem of large computational complexity and efficient algorithms are required to deal with PDEs on higher dimensional domains, like the Navier-Stokes equation. Technicalities regarding the various optimization techniques implemented in the software used in this paper will be reported elsewhere.pl
dc.affiliationWydział Matematyki i Informatyki : Katedra Teorii Optymalizacji i Sterowaniapl
dc.contributor.authorCyranka, Jacek - 102918 pl
dc.date.accessioned2015-03-04T12:12:58Z
dc.date.available2015-03-04T12:12:58Z
dc.date.issued2014pl
dc.date.openaccess0
dc.description.accesstimew momencie opublikowania
dc.description.number1pl
dc.description.physical28-52pl
dc.description.versionostateczna wersja wydawcy
dc.description.volume59pl
dc.identifier.doi10.1007/s10915-013-9749-1pl
dc.identifier.eissn1573-7691pl
dc.identifier.issn0885-7474pl
dc.identifier.urihttp://ruj.uj.edu.pl/xmlui/handle/item/3522
dc.languageengpl
dc.language.containerengpl
dc.rightsUdzielam licencji. Uznanie autorstwa 3.0 Polska*
dc.rights.licenceCC-BY
dc.rights.urihttp://creativecommons.org/licenses/by/3.0/pl/legalcode*
dc.share.typeinne
dc.subject.endissipative PDEpl
dc.subject.enrigorous numericspl
dc.subject.enautomatic differentiationpl
dc.subject.enfast fourier transformpl
dc.subject.enFFTpl
dc.subject.eninterval arithmeticpl
dc.subtypeArticlepl
dc.titleEfficient and generic algorithm for rigorous integration forward in time of dPDEs : part Ipl
dc.title.journalJournal of Scientific Computingpl
dc.typeJournalArticlepl
dspace.entity.typePublication

* The migration of download and view statistics prior to the date of April 8, 2024 is in progress.

Views
0
Views per month