Validated numerical approximation of stable manifolds for parabolic partial differential equations
DOI10.1007/s10884-022-10146-1zbMath1530.65105arXiv2004.14830OpenAlexW3020902858WikidataQ114225738 ScholiaQ114225738MaRDI QIDQ6142331
Jonathan Jaquette, Jason D. Mireles James, Jan Bouwe Van Den Berg
Publication date: 21 December 2023
Published in: Journal of Dynamics and Differential Equations (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2004.14830
parabolic partial differential equationsstable manifoldrigorous numericsLyapunov-Perron methodparameterization methodcomputer assisted proof
Asymptotic behavior of solutions to PDEs (35B40) Nonlinear parabolic equations (35K55) PDEs in connection with fluid mechanics (35Q35) Stability problems for infinite-dimensional dissipative dynamical systems (37L15) Error bounds for initial value and initial-boundary value problems involving PDEs (65M15) Invariant manifold theory for dynamical systems (37D10) Special approximation methods (nonlinear Galerkin, etc.) for infinite-dimensional dissipative dynamical systems (37L65) Inertial manifolds (35B42) Inertial manifolds and other invariant attracting sets of infinite-dimensional dissipative dynamical systems (37L25) Computer assisted proofs of proofs-by-exhaustion type (68V05) Computational methods for invariant manifolds of dynamical systems (37M21)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The parameterization method for invariant manifolds. From rigorous results to effective computations
- Computing (un)stable manifolds with validated error bounds: non-resonant and resonant spectra
- Parameterization of slow-stable manifolds and their invariant vector bundles: theory and numerical implementation
- Existence and stability of traveling pulse solutions of the FitzHugh-Nagumo equation
- Geometric proof for normally hyperbolic invariant manifolds
- Cone conditions and covering relations for topologically normally hyperbolic invariant manifolds
- Explicit construction of an inertial manifold for a reaction diffusion equation
- Invariant manifolds for flows in Banach spaces
- Non-symmetric low-index solutions for a symmetric boundary value problem
- Fixed points of a destabilized Kuramoto-Sivashinsky equation
- Computer-assisted methods for the study of stationary solutions in dissipative systems, applied to the Kuramoto-Sivashinski equation
- Rigorous model reduction for a damped-forced nonlinear beam model: an infinite-dimensional analysis
- A geometric method for infinite-dimensional chaos: symbolic dynamics for the Kuramoto-Sivashinsky PDE on the line
- Stability analysis of nonlinear systems
- Computation of maximal local (un)stable manifold patches by the parameterization method
- Covering relations, cone conditions and the stable manifold theorem
- A shorter proof of the existence of the Feigenbaum fixed point
- Computer-assisted proofs in analysis
- Inertial manifolds for nonlinear evolutionary equations
- Geometric theory of semilinear parabolic equations
- Computer-assisted existence proofs for two-point boundary value problems
- A rigorous ODE solver and Smale's 14th problem
- Parameterization of invariant manifolds for periodic orbits. II: A posteriori analysis and computer assisted error bounds
- Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation
- Parameterization method for unstable manifolds of delay differential equations
- Fourier-Taylor approximation of unstable manifolds for compact maps: numerical implementation and computer-assisted error bounds
- A complete proof of the Feigenbaum conjectures
- Global dynamics in nonconservative nonlinear Schrödinger equations
- Optimal periodic structures with general space group symmetries in the Ohta-Kawasaki problem
- Parameterization of unstable manifolds for DDEs: formal series solutions and validated error bounds
- Rigorous numerics for nonlinear heat equations in the complex plane of time
- Stable manifolds to bounded solutions in possibly ill-posed PDEs
- Computer-assisted proofs in PDE: a survey
- Normally hyperbolic invariant manifolds. The noncompact case
- Nonlinear normal modes and spectral submanifolds: existence, uniqueness and use in model reduction
- A note on the convergence of parametrised non-resonant invariant manifolds
- Rigorous computation of smooth branches of equilibria for the three dimensional Cahn-Hilliard equation
- The parameterization method for invariant manifolds. III: Overview and applications
- Accurate Computations on Inertial Manifolds
- Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach
- Rigorous Numerics in Dynamics
- Connecting Orbits for Compact Infinite Dimensional Maps: Computer Assisted Proofs of Existence
- Inertial Manifolds and Multigrid Methods
- A computer-assisted proof of universality for area-preserving maps
- A numerical approach to the proof of existence of solutions for elliptic problems
- Chaotic Braided Solutions via Rigorous Numerics: Chaos in the Swift–Hohenberg Equation
- Existence and persistence of invariant manifolds for semiflows in Banach space
- The Lorenz attractor exists
- Chaos in the Lorenz equations: a computer-assisted proof
- Positive Topological Entropy of Chua's Circuit: A Computer Assisted Proof
- Chaos in the Lorenz equations: A computer assisted proof. Part II: Details
- The parameterization method for invariant manifolds I: Manifolds associated to non-resonant subspaces
- The parameterization method for invariant manifolds II: regularity with respect to parameters
- Introduction to rigorous numerics in dynamics: General functional analytic setup and an example that forces chaos
- Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits
- Explicit backbone curves from spectral submanifolds of forced-damped nonlinear mechanical systems
- Nonlinear model identification and spectral submanifolds for multi-degree-of-freedom mechanical vibrations
- Computer-Assisted Proof of Heteroclinic Connections in the One-Dimensional Ohta--Kawasaki Model
- Rigorously Computing Symmetric Stationary States of the Ohta--Kawasaki Problem in Three Dimensions
- Rigorous Numerics for Global Dynamics: A Study of the Swift--Hohenberg Equation
- A unified approach to compute foliations, inertial manifolds, and tracking solutions
- Chaos in the Lorenz equations: A computer assisted proof. III: Classical parameter values
- Rigorous numerics for partial differential equations: The Kuramoto-Sivashinsky equation
- Dynamics of evolutionary equations
This page was built for publication: Validated numerical approximation of stable manifolds for parabolic partial differential equations
