Computer assisted Fourier analysis in sequence spaces of varying regularity
From MaRDI portal
Recommendations
- A collocation method for the numerical Fourier analysis of quasi-periodic functions. II: Analytical error estimates
- Approximation error in regularized SVD-based Fourier continuations
- Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach
- scientific article; zbMATH DE number 1432037
- Computation of Invariant Tori by the Fourier Methods
Cites work
- scientific article; zbMATH DE number 1694909 (Why is no real title available?)
- A Parameterization Method for the Computation of Invariant Tori and Their Whiskers in Quasi‐Periodic Maps: Explorations and Mechanisms for the Breakdown of Hyperbolicity
- A Rigorous Numerical Method for the Global Analysis of Infinite-Dimensional Discrete Dynamical Systems
- A complete proof of the Feigenbaum conjectures
- A computer-assisted proof of the Feigenbaum conjectures
- A computer-assisted proof of universality for area-preserving maps
- A numerically accessible criterion for the breakdown of quasi-periodic solutions and its rigorous justification
- A rigorous ODE solver and Smale's 14th problem
- Analytic estimates and rigorous continuation for equilibria of higher-dimensional PDEs
- Analyticity and nonanalyticity of solutions of delay-differential equations
- Computation of the breakdown of analyticity in statistical mechanics models: Numerical results and a renormalization group explanation
- Computer-Assisted Proofs in Analysis and Programming in Logic: A case Study
- Computer-assisted enclosure methods for elliptic differential equations
- Computer-assisted equilibrium validation for the diblock copolymer model
- Computer-assisted proofs in analysis
- Efficient rigorous numerics for higher-dimensional PDEs via one-dimensional estimates
- Explicit \(H_ 2\)-estimates and pointwise bounds for solutions of second- order elliptic boundary value problems
- Free energy of a nonuniform system. I: Interfacial free energy
- Global bifurcation diagrams of steady states of systems of PDEs via rigorous numerics: a 3-component reaction-diffusion system
- Multiple solutions for a semilinear boundary value problem: a computational multiplicity proof.
- Non-symmetric low-index solutions for a symmetric boundary value problem
- Numerical verifications for solutions to elliptic equations using residual iterations with a higher order finite element
- Reliable computation of robust response tori on the verge of breakdown
- Rigorous Numerics for Global Dynamics: A Study of the Swift--Hohenberg Equation
- Rigorous computation of smooth branches of equilibria for the three dimensional Cahn-Hilliard equation
- Rigorous computer-assisted application of KAM theory: a modern approach
- Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach
- Rigorous numerics for localized patterns to the quintic Swift-Hohenberg equation
- Rigorous numerics for nonlinear differential equations using Chebyshev series
- Rigorous numerics for partial differential equations: The Kuramoto-Sivashinsky equation
- Rigorous numerics for the Cahn-Hilliard equation on the unit square
- Rigorous numerics in dynamics
- STRUCTURE OF THE ATTRACTOR OF THE CAHN–HILLIARD EQUATION ON A SQUARE
- Some symmetric boundary value problems and non-symmetric solutions
- Stationary coexistence of hexagons and rolls via rigorous computations
- Steady state bifurcations for the Kuramoto-Sivashinsky equation: a computer assisted proof
- The Lorenz attractor exists
- The Newton-Kantorovich Theorem
- Validated Continuation for Equilibria of PDEs
- Validated numerics. A short introduction to rigorous computations.
Cited in
(20)- Rigorous continuation of bifurcation points in the diblock copolymer equation
- Parameterized stable/unstable manifolds for periodic solutions of implicitly defined dynamical systems
- A rigorous implicit \(C^1\) Chebyshev integrator for delay equations
- Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation
- Computer-assisted proofs of existence of fiberwise hyperbolic invariant tori in quasi-periodic systems via Fourier methods
- Rigorous computation of solutions of semilinear PDEs on unbounded domains via spectral methods
- A general method for computer-assisted proofs of periodic solutions in delay differential problems
- A Posteriori Validation of Generalized Polynomial Chaos Expansions
- Rigorous numerical computations for 1D advection equations with variable coefficients
- A general framework for validated continuation of periodic orbits in systems of polynomial ODEs
- Computer assisted proof of homoclinic chaos in the spatial equilateral restricted four-body problem
- Torus knot choreographies in the \(n\)-body problem
- Rigorous enclosures of solutions of Neumann boundary value problems
- Computing discrete convolutions with verified accuracy via Banach algebras and the FFT.
- Traveling wave oscillatory patterns in a signed Kuramoto-Sivashinsky equation with absorption
- Toward computational Morse-Floer homology: forcing results for connecting orbits by computing relative indices of critical points
- A collocation method for the numerical Fourier analysis of quasi-periodic functions. II: Analytical error estimates
- Rigorous verification of Hopf bifurcations via desingularization and continuation
- Computer assisted existence proofs for parameterized cycle-to-cycle connections
- A proof of Jones' conjecture
This page was built for publication: Computer assisted Fourier analysis in sequence spaces of varying regularity
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2967914)
