Geodesic
Computing discrete convolutions with verified accuracy via Banach algebras and the FFT
Applications of Mathematics, Tome 63 (2018) no. 3, pp. 219-235

Voir la notice de l'article provenant de la source Czech Digital Mathematics Library

We introduce a method to compute rigorous component-wise enclosures of discrete convolutions using the fast Fourier transform, the properties of Banach algebras, and interval arithmetic. The purpose of this new approach is to improve the implementation and the applicability of computer-assisted proofs performed in weighed $\ell ^1$ Banach algebras of Fourier/Chebyshev sequences, whose norms are known to be numerically unstable. We introduce some application examples, in particular a rigorous aposteriori error analysis for a steady state in the quintic Swift-Hohenberg PDE.
DOI : 10.21136/AM.2018.0082-18
Classification : 42B05, 46B45, 46J15, 65G40, 65R10, 65T50
Keywords: discrete convolutions; Banach algebras; fast Fourier transform; interval arithmetic; rigorously verified numerics; quintic Swift-Hohenberg PDE 
@article{10_21136_AM_2018_0082_18,
     author = {Lessard, Jean-Philippe},
     title = {Computing discrete convolutions with verified accuracy via {Banach} algebras and the {FFT}},
     journal = {Applications of Mathematics},
     pages = {219--235},
     publisher = {mathdoc},
     volume = {63},
     number = {3},
     year = {2018},
     doi = {10.21136/AM.2018.0082-18},
     mrnumber = {3833658},
     zbl = {06945730},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.21136/AM.2018.0082-18/}
}
TY  - JOUR
AU  - Lessard, Jean-Philippe
TI  - Computing discrete convolutions with verified accuracy via Banach algebras and the FFT
JO  - Applications of Mathematics
PY  - 2018
SP  - 219
EP  - 235
VL  - 63
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.21136/AM.2018.0082-18/
DO  - 10.21136/AM.2018.0082-18
LA  - en
ID  - 10_21136_AM_2018_0082_18
ER  - 
%0 Journal Article
%A Lessard, Jean-Philippe
%T Computing discrete convolutions with verified accuracy via Banach algebras and the FFT
%J Applications of Mathematics
%D 2018
%P 219-235
%V 63
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.21136/AM.2018.0082-18/
%R 10.21136/AM.2018.0082-18
%G en
%F 10_21136_AM_2018_0082_18
Lessard, Jean-Philippe. Computing discrete convolutions with verified accuracy via Banach algebras and the FFT. Applications of Mathematics, Tome 63 (2018) no. 3, pp. 219-235. doi: 10.21136/AM.2018.0082-18

Cité par Sources :