Fourier-Taylor approximation of unstable manifolds for compact maps: numerical implementation and computer-assisted error bounds (Q1692132): Difference between revisions

Latest revision as of 01:12, 15 July 2024

scientific article

Language	Label	Description	Also known as
English	Fourier-Taylor approximation of unstable manifolds for compact maps: numerical implementation and computer-assisted error bounds	scientific article

Statements

instance of

scholarly article

0 references

title

Fourier-Taylor approximation of unstable manifolds for compact maps: numerical implementation and computer-assisted error bounds (English)

0 references

zbMATH Open document ID

1383.37066

0 references

DOI

10.1007/s10208-016-9325-9

0 references

published in

Foundations of Computational Mathematics

0 references

publication date

26 January 2018

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

0 references

0 references

unstable manifold

0 references

compact map

0 references

infinite-dimensional dynamical system

0 references

parameterization method

0 references

computer-assisted proof

0 references

author

Jason D. Mireles James

0 references

describes a project that uses

Matlab

0 references

INTLAB

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1007/s10208-016-9325-9

0 references

OpenAlex ID

W2516244933

0 references

cites work

Computer-assisted methods for the study of stationary solutions in dissipative systems, applied to the Kuramoto-Sivashinski equation

0 references

Integration of Dissipative Partial Differential Equations: A Case Study

0 references

Symbolic dynamics for the Hénon-Heiles Hamiltonian on the critical level

0 references

Computation of maximal local (un)stable manifold patches by the parameterization method

0 references

The parameterization method for invariant manifolds I: Manifolds associated to non-resonant subspaces

0 references

The parameterization method for invariant manifolds II: regularity with respect to parameters

0 references

The parameterization method for invariant manifolds. III: Overview and applications

0 references

A Rigorous Numerical Method for the Global Analysis of Infinite-Dimensional Discrete Dynamical Systems

0 references

Rigorous Computation of the Global Dynamics of Integrodifference Equations with Smooth Nonlinearities

0 references

Validated Continuation for Equilibria of PDEs

0 references

Connecting Orbits for Compact Infinite Dimensional Maps: Computer Assisted Proofs of Existence

0 references

Combination laws for scaling exponents and relation to the geometry of renormalization operators

0 references

A computer-assisted proof of universality for area-preserving maps

0 references

A numerical study of infinitely renormalizable area-preserving maps

0 references

Period doubling in area-preserving maps: an associated one-dimensional problem

0 references

PERIOD DOUBLING RENORMALIZATION FOR AREA-PRESERVING MAPS AND MILD COMPUTER ASSISTANCE IN CONTRACTION MAPPING PRINCIPLE

0 references

INFINITE DIMENSIONAL KRAWCZYK OPERATOR FOR FINDING PERIODIC ORBITS OF DISCRETE DYNAMICAL SYSTEMS

0 references

Analytic estimates and rigorous continuation for equilibria of higher-dimensional PDEs

0 references

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

0 references

Validated continuation over large parameter ranges for equilibria of PDEs

0 references

Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach

0 references

Perturbation theory for linear operators.

0 references

Verification methods: Rigorous results using floating-point arithmetic

0 references

Computer-Assisted Proofs in Analysis and Programming in Logic: A case Study

0 references

A computer-assisted proof of the Feigenbaum conjectures

0 references

Polynomial approximation of one parameter families of (un)stable manifolds with rigorous computer assisted error bounds

0 references

Computer assisted error bounds for linear approximation of (un)stable manifolds and rigorous validation of higher dimensional transverse connecting orbits

0 references

Rigorous A Posteriori Computation of (Un)Stable Manifolds and Connecting Orbits for Analytic Maps

0 references

0 references

0 references

0 references

0 references

Computing (un)stable manifolds with validated error bounds: non-resonant and resonant spectra

0 references

Chaos in the Kuramoto-Sivashinsky equations -- a computer-assisted proof.

0 references

Symmetric Heteroclinic Connections in the Michelson System: A Computer Assisted Proof

0 references

The existence of Shilnikov homoclinic orbits in the Michelson system: A computer assisted proof

0 references

Symmetric homoclinic solutions to the periodic orbits in the Michelson system

0 references

Heteroclinic connections between periodic orbits in planar restricted circular three-body problem -- a computer-assisted proof

0 references

Period doubling in the Rössler system -- a computer assisted proof

0 references

A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem

0 references

\(C^1\) Lohner algorithm.

0 references

Covering relations, cone conditions and the stable manifold theorem

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:1692132

@@ Property / cites work @@
+Computer-assisted methods for the study of stationary solutions in dissipative systems, applied to the Kuramoto-Sivashinski equation
+Normal rank
@@ Property / cites work @@
+Integration of Dissipative Partial Differential Equations: A Case Study
+Normal rank
@@ Property / cites work @@
+Symbolic dynamics for the Hénon-Heiles Hamiltonian on the critical level
+Normal rank
@@ Property / cites work @@
+Computation of maximal local (un)stable manifold patches by the parameterization method
+Normal rank
@@ Property / cites work @@
+The parameterization method for invariant manifolds I: Manifolds associated to non-resonant subspaces
+Normal rank
@@ Property / cites work @@
+The parameterization method for invariant manifolds II: regularity with respect to parameters
+Normal rank
@@ Property / cites work @@
+The parameterization method for invariant manifolds. III: Overview and applications
+Normal rank
@@ Property / cites work @@
+A Rigorous Numerical Method for the Global Analysis of Infinite-Dimensional Discrete Dynamical Systems
+Normal rank
@@ Property / cites work @@
+Rigorous Computation of the Global Dynamics of Integrodifference Equations with Smooth Nonlinearities
+Normal rank
@@ Property / cites work @@
+Validated Continuation for Equilibria of PDEs
@@ Property / cites work: Validated Continuation for Equilibria of PDEs / rank @@
+Normal rank
@@ Property / cites work @@
+Connecting Orbits for Compact Infinite Dimensional Maps: Computer Assisted Proofs of Existence
+Normal rank
@@ Property / cites work @@
+Combination laws for scaling exponents and relation to the geometry of renormalization operators
+Normal rank
@@ Property / cites work @@
+A computer-assisted proof of universality for area-preserving maps
+Normal rank
@@ Property / cites work @@
+A numerical study of infinitely renormalizable area-preserving maps
+Normal rank
@@ Property / cites work @@
+Period doubling in area-preserving maps: an associated one-dimensional problem
+Normal rank
@@ Property / cites work @@
+PERIOD DOUBLING RENORMALIZATION FOR AREA-PRESERVING MAPS AND MILD COMPUTER ASSISTANCE IN CONTRACTION MAPPING PRINCIPLE
+Normal rank
@@ Property / cites work @@
+INFINITE DIMENSIONAL KRAWCZYK OPERATOR FOR FINDING PERIODIC ORBITS OF DISCRETE DYNAMICAL SYSTEMS
+Normal rank
@@ Property / cites work @@
+Analytic estimates and rigorous continuation for equilibria of higher-dimensional PDEs
+Normal rank
@@ Property / cites work @@
+Efficient Rigorous Numerics for Higher-Dimensional PDEs via One-Dimensional Estimates
+Normal rank
@@ Property / cites work @@
+Validated continuation over large parameter ranges for equilibria of PDEs
+Normal rank
@@ Property / cites work @@
+Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach
+Normal rank
@@ Property / cites work @@
+Perturbation theory for linear operators.
@@ Property / cites work: Perturbation theory for linear operators. / rank @@
+Normal rank
@@ Property / cites work @@
+Verification methods: Rigorous results using floating-point arithmetic
+Normal rank
@@ Property / cites work @@
+Computer-Assisted Proofs in Analysis and Programming in Logic: A case Study
+Normal rank
@@ Property / cites work @@
+A computer-assisted proof of the Feigenbaum conjectures
+Normal rank
@@ Property / cites work @@
+Polynomial approximation of one parameter families of (un)stable manifolds with rigorous computer assisted error bounds
+Normal rank
@@ Property / cites work @@
+Computer assisted error bounds for linear approximation of (un)stable manifolds and rigorous validation of higher dimensional transverse connecting orbits
+Normal rank
@@ Property / cites work @@
+Rigorous A Posteriori Computation of (Un)Stable Manifolds and Connecting Orbits for Analytic Maps
+Normal rank
@@ Property / cites work @@
+Q5566070
@@ Property / cites work: Q5566070 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4011815
@@ Property / cites work: Q4011815 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4949347
@@ Property / cites work: Q4949347 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5198996
@@ Property / cites work: Q5198996 / rank @@
+Normal rank
@@ Property / cites work @@
+Computing (un)stable manifolds with validated error bounds: non-resonant and resonant spectra
+Normal rank
@@ Property / cites work @@
+Chaos in the Kuramoto-Sivashinsky equations -- a computer-assisted proof.
+Normal rank
@@ Property / cites work @@
+Symmetric Heteroclinic Connections in the Michelson System: A Computer Assisted Proof
+Normal rank
@@ Property / cites work @@
+The existence of Shilnikov homoclinic orbits in the Michelson system: A computer assisted proof
+Normal rank
@@ Property / cites work @@
+Symmetric homoclinic solutions to the periodic orbits in the Michelson system
+Normal rank
@@ Property / cites work @@
+Heteroclinic connections between periodic orbits in planar restricted circular three-body problem -- a computer-assisted proof
+Normal rank
@@ Property / cites work @@
+Period doubling in the Rössler system -- a computer assisted proof
+Normal rank
@@ Property / cites work @@
+A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem
+Normal rank
@@ Property / cites work @@
+\(C^1\) Lohner algorithm.
@@ Property / cites work: \(C^1\) Lohner algorithm. / rank @@
+Normal rank
@@ Property / cites work @@
+Covering relations, cone conditions and the stable manifold theorem
+Normal rank