A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations
From MaRDI portal
Publication:5278036
DOI10.1137/16M1073777zbMath1370.65046arXiv1605.01086OpenAlexW2964050520MaRDI QIDQ5278036
Jordi-Lluís Figueras, Rafael de la Llave, Marcio Gameiro, Jean-Philippe Lessard
Publication date: 13 July 2017
Published in: SIAM Journal on Applied Dynamical Systems (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1605.01086
fixed pointsperiodic orbitsequilibrium pointsevolution equationinterval analysisinvariant manifoldstraveling wavespreconditionerscomputer-assisted proofsrigorous computationscontraction mappingsemilinear
Nonlinear parabolic equations (35K55) General methods in interval analysis (65G40) Periodic orbits of vector fields and flows (37C27) Preconditioners for iterative methods (65F08) Numerical solution of discretized equations for initial value and initial-boundary value problems involving PDEs (65M22)
Related Items (21)
A general method for computer-assisted proofs of periodic solutions in delay differential problems ⋮ Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation ⋮ Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits ⋮ Parameterization method for unstable manifolds of delay differential equations ⋮ Persistence and smooth dependence on parameters of periodic orbits in functional differential equations close to an ODE or an evolutionary PDE ⋮ Efficient approaches for verifying the existence and bound of inverse of linear operators in Hilbert spaces ⋮ Smooth self-similar imploding profiles to 3D compressible Euler ⋮ Rigorous numerics for ill-posed PDEs: periodic orbits in the Boussinesq equation ⋮ Analytic Continuation of Local (Un)Stable Manifolds with Rigorous Computer Assisted Error Bounds ⋮ An a posteriori KAM theorem for whiskered tori in Hamiltonian partial differential equations with applications to some ill-posed equations ⋮ Computer-assisted proofs for radially symmetric solutions of PDEs ⋮ An alternative approach to norm bound computation for inverses of linear operators in Hilbert spaces ⋮ Homoclinic dynamics in a spatial restricted four-body problem: blue skies into Smale horseshoes for vertical Lyapunov families ⋮ A Posteriori Verification of Invariant Objects of Evolution Equations: Periodic Orbits in the Kuramoto--Sivashinsky PDE ⋮ Constructive error estimates for full discrete approximation of periodic solution for heat equation ⋮ Computing Invariant Sets of Random Differential Equations Using Polynomial Chaos ⋮ Rigorous numerical computations for 1D advection equations with variable coefficients ⋮ Computer-assisted proofs in PDE: a survey ⋮ A geometric method for infinite-dimensional chaos: symbolic dynamics for the Kuramoto-Sivashinsky PDE on the line ⋮ Rigorous FEM for One-Dimensional Burgers Equation ⋮ Numerical Computations and Computer Assisted Proofs of Periodic Orbits of the Kuramoto--Sivashinsky Equation
Uses Software
Cites Work
- The parameterization method for invariant manifolds. From rigorous results to effective computations
- Global bifurcation diagrams of steady states of systems of PDEs via rigorous numerics: a 3-component reaction-diffusion system
- Polynomial approximation of one parameter families of (un)stable manifolds with rigorous computer assisted error bounds
- Rigorous numerics for dissipative PDEs. III: An effective algorithm for rigorous integration of dissipative PDEs
- Analytic estimates and rigorous continuation for equilibria of higher-dimensional PDEs
- Computer-assisted methods for the study of stationary solutions in dissipative systems, applied to the Kuramoto-Sivashinski equation
- A smooth center manifold theorem which applies to some ill-posed partial differential equations with unbounded nonlinearities
- Computer assisted error bounds for linear approximation of (un)stable manifolds and rigorous validation of higher dimensional transverse connecting orbits
- Rigorous numerics for the Cahn-Hilliard equation on the unit square
- A numerical verification method of bifurcating solutions for 3-dimensional Rayleigh-Bénard problems
- Covering relations, cone conditions and the stable manifold theorem
- Universal properties of maps on an interval
- Geometric theory of semilinear parabolic equations
- Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models
- Invariant manifolds associated to nonresonant spectral subspaces
- A numerically based existence theorem for the Navier-Stokes equations
- Multiple solutions for a semilinear boundary value problem: a computational multiplicity proof.
- Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation
- Rigorous numerics for ill-posed PDEs: periodic orbits in the Boussinesq equation
- An a posteriori KAM theorem for whiskered tori in Hamiltonian partial differential equations with applications to some ill-posed equations
- Perturbation theory for linear operators.
- \(C^1\) Lohner algorithm.
- Rigorous numerics for dissipative partial differential equations. II: Periodic orbit for the Kuramoto-Sivashinsky PDE -- a computer-assisted proof
- Computer assisted proof of transverse saddle-to-saddle connecting orbits for first order vector fields
- Recent advances about the uniqueness of the slowly oscillating periodic solutions of Wright's equation
- A method for the study of whiskered quasi-periodic and almost-periodic solutions in finite and infinite dimensional Hamiltonian systems
- An efficient approach to the numerical verification for solutions of elliptic differential equations
- Rigorous computation of smooth branches of equilibria for the three dimensional Cahn-Hilliard equation
- A numerical method to verify the invertibility of linear elliptic operators with applications to nonlinear problems
- A topological method for rigorously computing periodic orbits using Fourier modes
- The parameterization method for invariant manifolds. III: Overview and applications
- NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS
- Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach
- A posteriori estimates of inverse operators for boundary value problems in linear elliptic partial differential equations
- Constructive A Priori Error Estimates for a Full Discrete Approximation of the Heat Equation
- Efficient Rigorous Numerics for Higher-Dimensional PDEs via One-Dimensional Estimates
- Rigorous A Posteriori Computation of (Un)Stable Manifolds and Connecting Orbits for Analytic Maps
- A Unified Framework for a posteriori Error Estimation in Elliptic and Parabolic Problems with Application to Finite Volumes
- Reliable Computation of Robust Response Tori on the Verge of Breakdown
- Chebfun: A New Kind of Numerical Computing
- Integration of Dissipative Partial Differential Equations: A Case Study
- Rigorous Numerics for Symmetric Connecting Orbits: Even Homoclinics of the Gray–Scott Equation
- A computer-assisted proof of universality for area-preserving maps
- A method to rigorously enclose eigendecompositions of interval matrices
- Validated Continuation for Equilibria of PDEs
- Nonlinear analysis of hydrodynamic instability in laminar flames—I. Derivation of basic equations
- A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem
- The parameterization method for invariant manifolds I: Manifolds associated to non-resonant subspaces
- Coexistence of nontrivial solutions of the one-dimensional Ginzburg-Landau equation: A computer-assisted proof
- 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
- Rigorous Computation of a Radially Symmetric Localized Solution in a Ginzburg--Landau Problem
- Stationary Coexistence of Hexagons and Rolls via Rigorous Computations
- Numerical Computations and Computer Assisted Proofs of Periodic Orbits of the Kuramoto--Sivashinsky Equation
- Computer assisted proofs for nonsymmetric planar choreographies and for stability of the Eight
- A Priori and A Posteriori Analysis of Mixed Finite Element Methods for Nonlinear Elliptic Equations
- Rigorous Computation of the Global Dynamics of Integrodifference Equations with Smooth Nonlinearities
- Rigorous Numerics for Nonlinear Differential Equations Using Chebyshev Series
- A Posteriori Verification of Invariant Objects of Evolution Equations: Periodic Orbits in the Kuramoto--Sivashinsky PDE
- Computer-assisted enclosure methods for elliptic differential equations
- Dynamics of evolutionary equations
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations
