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 (17)
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
This page was built for publication: Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation
