Computer assisted Fourier analysis in sequence spaces of varying regularity. This work treats a functional analytic framework for computer assisted Fourier analysis which can be used to obtain mathematically rigorous error bounds on numerical approximations of solutions of differential equations. An abstract a posteriori theorem is employed in order to obtain existence and regularity results for C k problems with 0<k≤∞ or k=ω. The main tools are certain infinite sequence spaces of rapidly decaying coefficients: we employ sequence spaces of algebraic and exponential decay rates in order to characterize the regularity of our results. We illustrate the implementation and effectiveness of the method in a variety of regularity classes. We also examine the effectiveness of spaces of algebraic decays for studying solutions of problems near the breakdown of analyticity.

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element