Computer Assisted Fourier Analysis in Sequence Spaces of Varying Regularity
From MaRDI portal
Publication:2967914
DOI10.1137/16M1056006zbMath1362.42007MaRDI QIDQ2967914
Jason D. Mireles James, Jean-Philippe Lessard
Publication date: 9 March 2017
Published in: SIAM Journal on Mathematical Analysis (Search for Journal in Brave)
65N35: Spectral, collocation and related methods for boundary value problems involving PDEs
42A16: Fourier coefficients, Fourier series of functions with special properties, special Fourier series
Related Items
Rigorous Verification of Hopf Bifurcations via Desingularization and Continuation, Torus knot choreographies in the n-body problem, Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation, Rigorous continuation of bifurcation points in the diblock copolymer equation, A proof of Jones' conjecture, A general framework for validated continuation of periodic orbits in systems of polynomial ODEs, A general method for computer-assisted proofs of periodic solutions in delay differential problems, Traveling wave oscillatory patterns in a signed Kuramoto-Sivashinsky equation with absorption, Rigorous numerical computations for 1D advection equations with variable coefficients, A rigorous implicit \(C^1\) Chebyshev integrator for delay equations
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Global bifurcation diagrams of steady states of systems of PDEs via rigorous numerics: a 3-component reaction-diffusion system
- Steady state bifurcations for the Kuramoto-Sivashinsky equation: a computer assisted proof
- Computer-assisted equilibrium validation for the diblock copolymer model
- Computation of the breakdown of analyticity in statistical mechanics models: Numerical results and a renormalization group explanation
- Non-symmetric low-index solutions for a symmetric boundary value problem
- Analytic estimates and rigorous continuation for equilibria of higher-dimensional PDEs
- Rigorous numerics for the Cahn-Hilliard equation on the unit square
- Computer-assisted proofs in analysis
- Explicit \(H_ 2\)-estimates and pointwise bounds for solutions of second- order elliptic boundary value problems
- Multiple solutions for a semilinear boundary value problem: a computational multiplicity proof.
- A rigorous ODE solver and Smale's 14th problem
- Rigorous computer-assisted application of KAM theory: a modern approach
- Rigorous numerics for localized patterns to the quintic Swift-Hohenberg equation
- A complete proof of the Feigenbaum conjectures
- Numerical verifications for solutions to elliptic equations using residual iterations with a higher order finite element
- Some symmetric boundary value problems and non-symmetric solutions
- Rigorous computation of smooth branches of equilibria for the three dimensional Cahn-Hilliard equation
- Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach
- Rigorous Numerics in Dynamics
- Efficient Rigorous Numerics for Higher-Dimensional PDEs via One-Dimensional Estimates
- Reliable Computation of Robust Response Tori on the Verge of Breakdown
- Analyticity and Nonanalyticity of Solutions of Delay-Differential Equations
- A computer-assisted proof of universality for area-preserving maps
- STRUCTURE OF THE ATTRACTOR OF THE CAHN–HILLIARD EQUATION ON A SQUARE
- Validated Continuation for Equilibria of PDEs
- A computer-assisted proof of the Feigenbaum conjectures
- The Lorenz attractor exists
- A Rigorous Numerical Method for the Global Analysis of Infinite-Dimensional Discrete Dynamical Systems
- Rigorous Numerics for Global Dynamics: A Study of the Swift--Hohenberg Equation
- A numerically accessible criterion for the breakdown of quasi-periodic solutions and its rigorous justification
- Free Energy of a Nonuniform System. I. Interfacial Free Energy
- Stationary Coexistence of Hexagons and Rolls via Rigorous Computations
- Computer-Assisted Proofs in Analysis and Programming in Logic: A case Study
- A Parameterization Method for the Computation of Invariant Tori and Their Whiskers in Quasi‐Periodic Maps: Explorations and Mechanisms for the Breakdown of Hyperbolicity
- Rigorous Numerics for Nonlinear Differential Equations Using Chebyshev Series
- The Newton-Kantorovich Theorem
- Computer-assisted enclosure methods for elliptic differential equations
- Rigorous numerics for partial differential equations: The Kuramoto-Sivashinsky equation
