Efficient Rigorous Numerics for Higher-Dimensional PDEs via One-Dimensional Estimates

DOI10.1137/110836651zbMath1277.65084OpenAlexW2005353159MaRDI QIDQ2855098

Marcio Gameiro, Jean-Philippe Lessard

Publication date: 24 October 2013

Published in: SIAM Journal on Numerical Analysis (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/20.500.11824/612

zbMATH Keywords

algorithm error estimates numerical examples fast Fourier transform interval arithmetic collocation rigorous numerics Cahn-Hillard equation computer assisted proofs equilibria of PDEs higher-dimensional PDEs

Mathematics Subject Classification ID

PDEs in connection with fluid mechanics (35Q35) Interval and finite arithmetic (65G30) Numerical methods for discrete and fast Fourier transforms (65T50) Spectral, collocation and related methods for initial value and initial-boundary value problems involving PDEs (65M70) Error bounds for initial value and initial-boundary value problems involving PDEs (65M15)

Related Items (18)

A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations ⋮ Computation of smooth manifolds via rigorous multi-parameter continuation in infinite dimensions ⋮ Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation ⋮ Connecting Orbits for Compact Infinite Dimensional Maps: Computer Assisted Proofs of Existence ⋮ Introduction to rigorous numerics in dynamics: General functional analytic setup and an example that forces chaos ⋮ Rigorous computation of non-uniform patterns for the 2-dimensional Gray-Scott reaction-diffusion equation ⋮ Validation of the bifurcation diagram in the 2D Ohta–Kawasaki problem ⋮ Coexistence of nontrivial solutions of the one-dimensional Ginzburg-Landau equation: A computer-assisted proof ⋮ Fourier-Taylor approximation of unstable manifolds for compact maps: numerical implementation and computer-assisted error bounds ⋮ Computation of maximal local (un)stable manifold patches by the parameterization method ⋮ Computer Assisted Fourier Analysis in Sequence Spaces of Varying Regularity ⋮ Rigorous numerics for ill-posed PDEs: periodic orbits in the Boussinesq equation ⋮ An alternative approach to norm bound computation for inverses of linear operators in Hilbert spaces ⋮ Computer-assisted equilibrium validation for the diblock copolymer model ⋮ Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach ⋮ Rigorous FEM for One-Dimensional Burgers Equation ⋮ Stationary Coexistence of Hexagons and Rolls via Rigorous Computations ⋮ Rigorous numerics for nonlinear operators with tridiagonal dominant linear part

This page was built for publication: Efficient Rigorous Numerics for Higher-Dimensional PDEs via One-Dimensional Estimates