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

From MaRDI portal
Publication:2855098

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




Related Items (18)

A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution EquationsComputation of smooth manifolds via rigorous multi-parameter continuation in infinite dimensionsFourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validationConnecting Orbits for Compact Infinite Dimensional Maps: Computer Assisted Proofs of ExistenceIntroduction to rigorous numerics in dynamics: General functional analytic setup and an example that forces chaosRigorous computation of non-uniform patterns for the 2-dimensional Gray-Scott reaction-diffusion equationValidation of the bifurcation diagram in the 2D Ohta–Kawasaki problemCoexistence of nontrivial solutions of the one-dimensional Ginzburg-Landau equation: A computer-assisted proofFourier-Taylor approximation of unstable manifolds for compact maps: numerical implementation and computer-assisted error boundsComputation of maximal local (un)stable manifold patches by the parameterization methodComputer Assisted Fourier Analysis in Sequence Spaces of Varying RegularityRigorous numerics for ill-posed PDEs: periodic orbits in the Boussinesq equationAn alternative approach to norm bound computation for inverses of linear operators in Hilbert spacesComputer-assisted equilibrium validation for the diblock copolymer modelRigorous numerics for analytic solutions of differential equations: the radii polynomial approachRigorous FEM for One-Dimensional Burgers EquationStationary Coexistence of Hexagons and Rolls via Rigorous ComputationsRigorous 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