Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation
From MaRDI portal
Publication:1629118
DOI10.1016/j.indag.2018.08.003zbMath1419.35131arXiv1601.00307OpenAlexW2962727207WikidataQ129399249 ScholiaQ129399249MaRDI QIDQ1629118
Christian Reinhardt, Jason D. Mireles James
Publication date: 11 December 2018
Published in: Indagationes Mathematicae. New Series (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1601.00307
parabolic partial differential equationsconnecting orbitcomputer-assisted proofunstable manifoldparameterization method
Invariant manifold theory for dynamical systems (37D10) Heat and other parabolic equation methods for PDEs on manifolds (58J35) Semilinear parabolic equations with Laplacian, bi-Laplacian or poly-Laplacian (35K91)
Related Items
A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations, Microscopic patterns in the 2D phase-field-crystal model, Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits, Parameterization method for unstable manifolds of delay differential equations, The parameterization method for center manifolds, A functional analytic approach to validated numerics for eigenvalues of delay equations, Validated numerical approximation of stable manifolds for parabolic partial differential equations, Dynamics of waves and patterns. Abstracts from the workshop held August 8--14, 2021 (hybrid meeting), Analytic Continuation of Local (Un)Stable Manifolds with Rigorous Computer Assisted Error Bounds, 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, Parameterization Method for Unstable Manifolds of Standing Waves on the Line, Singularities and heteroclinic connections in complex-valued evolutionary equations with a quadratic nonlinearity, Global dynamics in nonconservative nonlinear Schrödinger equations, Multiple timescales and the parametrisation method in geometric singular perturbation theory, Rigorous FEM for One-Dimensional Burgers Equation, Finite element approximation of invariant manifolds by the parameterization method
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- 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
- 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
- Existence and stability of traveling pulse solutions of the FitzHugh-Nagumo equation
- Steady state bifurcations for the Kuramoto-Sivashinsky equation: a computer assisted proof
- Computer-assisted equilibrium validation for the diblock copolymer model
- Geometric proof of strong stable/unstable manifolds with application to the restricted three body problem
- Non-symmetric low-index solutions for a symmetric boundary value problem
- Computer-assisted methods for the study of stationary solutions in dissipative systems, applied to the Kuramoto-Sivashinski equation
- Computer-assisted proofs for semilinear elliptic boundary value problems
- A parameterization method for the computation of invariant tori and their whiskers in quasi-periodic maps: rigorous results
- A parametrization method for the computation of invariant tori and their whiskers in quasi-periodic maps: numerical algorithms
- Computation of maximal local (un)stable manifold patches by the parameterization method
- Computer assisted error bounds for linear approximation of (un)stable manifolds and rigorous validation of higher dimensional transverse connecting orbits
- Covering relations, cone conditions and the stable manifold theorem
- Explicit solutions of Fisher's equation for a special wave speed
- Computer-assisted existence proofs for two-point boundary value problems
- Fourier-Taylor approximation of unstable manifolds for compact maps: numerical implementation and computer-assisted error bounds
- Rigorous numerics for ill-posed PDEs: periodic orbits in the Boussinesq equation
- Existence and instability of steady states for a triangular cross-diffusion system: a computer-assisted proof
- Rigorous numerics for NLS: bound states, spectra, and controllability
- Computer assisted proof of transverse saddle-to-saddle connecting orbits for first order vector fields
- Some symmetric boundary value problems and non-symmetric solutions
- A note on the convergence of parametrised non-resonant invariant manifolds
- The parameterization method for invariant manifolds. III: Overview and applications
- 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
- Verification methods: Rigorous results using floating-point arithmetic
- Families of Periodic Solutions for Some Hamiltonian PDEs
- Computer Assisted Fourier Analysis in Sequence Spaces of Varying Regularity
- Rigorous Numerics for Symmetric Connecting Orbits: Even Homoclinics of the Gray–Scott Equation
- A Computer-Assisted Uniqueness Proof for a Semilinear Elliptic Boundary Value Problem
- Connecting Orbits for Compact Infinite Dimensional Maps: Computer Assisted Proofs of Existence
- A computer-assisted proof of universality for area-preserving maps
- Validated Continuation for Equilibria of PDEs
- INFINITE DIMENSIONAL KRAWCZYK OPERATOR FOR FINDING PERIODIC ORBITS OF DISCRETE DYNAMICAL SYSTEMS
- Global smooth solution curves using rigorous branch following
- Chaotic Braided Solutions via Rigorous Numerics: Chaos in the Swift–Hohenberg Equation
- A computer-assisted proof of the Feigenbaum conjectures
- Application of brownian motion to the equation of kolmogorov-petrovskii-piskunov
- A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem
- One-Parameter Semigroups for Linear Evolution Equations
- The parameterization method for invariant manifolds I: Manifolds associated to non-resonant subspaces
- Introduction to rigorous numerics in dynamics: General functional analytic setup and an example that forces chaos
- Computer-Assisted Proof of Heteroclinic Connections in the One-Dimensional Ohta--Kawasaki Model
- Coexistence of nontrivial solutions of the one-dimensional Ginzburg-Landau equation: A computer-assisted proof
- A Homoclinic Solution for Excitation Waves on a Contractile Substratum
- Computer Assisted Existence Proofs of Lyapunov Orbits at $L_2$ and Transversal Intersections of Invariant Manifolds in the Jupiter--Sun PCR3BP
- Stationary Coexistence of Hexagons and Rolls via Rigorous Computations
- A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations
- 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
- Eigenvalue excluding for perturbed-periodic one-dimensional Schrödinger operators
- Validation of the bifurcation diagram in the 2D Ohta–Kawasaki problem
- Existence of a Center Manifold in a Practical Domain around $L_1$ in the Restricted Three-Body Problem
- Rigorous Numerics for Nonlinear Differential Equations Using Chebyshev Series
- Verified Computations of Eigenvalue Exclosures for Eigenvalue Problems in Hilbert Spaces
- Computer-assisted enclosure methods for elliptic differential equations
- Rigorous numerics for partial differential equations: The Kuramoto-Sivashinsky equation
- Dynamics of evolutionary equations
