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

2014
journal article
article
16
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
cris.lastimport.wos
2024-04-09T23:17:11Z
dc.abstract.enpl
We 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.
dc.affiliationpl
Wydział Matematyki i Informatyki : Katedra Teorii Optymalizacji i Sterowania
dc.contributor.authorpl
Cyranka, Jacek - 102918
dc.date.accessioned
2015-03-04T12:12:58Z
dc.date.available
2015-03-04T12:12:58Z
dc.date.issuedpl
2014
dc.date.openaccess
0
dc.description.accesstime
w momencie opublikowania
dc.description.numberpl
1
dc.description.physicalpl
28-52
dc.description.version
ostateczna wersja wydawcy
dc.description.volumepl
59
dc.identifier.doipl
10.1007/s10915-013-9749-1
dc.identifier.eissnpl
1573-7691
dc.identifier.issnpl
0885-7474
dc.identifier.uri
http://ruj.uj.edu.pl/xmlui/handle/item/3522
dc.languagepl
eng
dc.language.containerpl
eng
dc.rights*
Udzielam licencji. Uznanie autorstwa 3.0 Polska
dc.rights.licence
CC-BY
dc.rights.uri*
http://creativecommons.org/licenses/by/3.0/pl/legalcode
dc.share.type
inne
dc.subject.enpl
dissipative PDE
dc.subject.enpl
rigorous numerics
dc.subject.enpl
automatic differentiation
dc.subject.enpl
fast fourier transform
dc.subject.enpl
FFT
dc.subject.enpl
interval arithmetic
dc.subtypepl
Article
dc.titlepl
Efficient and generic algorithm for rigorous integration forward in time of dPDEs : part I
dc.title.journalpl
Journal of Scientific Computing
dc.typepl
JournalArticle
dspace.entity.type
Publication
Affiliations

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

Views
5
Views per month
Views per city
Ashburn
2
Downloads
cyranka_efficient_and_generic_algorithm_for_rigorous_integration_forward_2014.pdf
6