Analytic Continuation of Local (Un)Stable Manifolds with Rigorous Computer Assisted Error Bounds (Q4608082)

scientific article; zbMATH DE number 6850558

Language	Label	Description	Also known as
English	Analytic Continuation of Local (Un)Stable Manifolds with Rigorous Computer Assisted Error Bounds	scientific article; zbMATH DE number 6850558

Statements

instance of

scholarly article

0 references

title

Analytic Continuation of Local (Un)Stable Manifolds with Rigorous Computer Assisted Error Bounds (English)

0 references

zbMATH Open document ID

0 references

0 references

0 references

0 references

Jason D. Mireles James

0 references

published in

SIAM Journal on Applied Dynamical Systems

0 references

publication date

15 March 2018

0 references

full work available at URL

https://arxiv.org/abs/1706.10107

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

computer assisted proof

0 references

parametrization method

0 references

invariant manifolds

0 references

analytic continuation

0 references

radii polynomials

0 references

heteroclinic connections

0 references

describes a project that uses

INTLAB

0 references

MaRDI profile type

MaRDI publication profile

0 references

0 references

0 references

A Homoclinic Solution for Excitation Waves on a Contractile Substratum

0 references

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

0 references

Existence and stability of traveling pulse solutions of the FitzHugh-Nagumo equation

0 references

Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models

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

Computer Assisted Existence Proofs of Lyapunov Orbits at $L_2$ and Transversal Intersections of Invariant Manifolds in the Jupiter--Sun PCR3BP

0 references

Geometric proof of strong stable/unstable manifolds with application to the restricted three body problem

0 references

Parameterization of Invariant Manifolds for Periodic Orbits I: Efficient Numerics via the Floquet Normal Form

0 references

Validated Continuation for Equilibria of PDEs

0 references

A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations

0 references

Computer assisted proof of chaos in the Lorenz equations

0 references

Rigorous computation of smooth branches of equilibria for the three dimensional Cahn-Hilliard equation

0 references

A Posteriori Verification of Invariant Objects of Evolution Equations: Periodic Orbits in the Kuramoto--Sivashinsky PDE

0 references

A Computational and Geometric Approach to Phase Resetting Curves and Surfaces

0 references

The parameterization method for invariant manifolds. From rigorous results to effective computations

0 references

A parametrization method for the computation of invariant tori and their whiskers in quasi-periodic maps: numerical algorithms

0 references

A parameterization method for the computation of invariant tori and their whiskers in quasi-periodic maps: rigorous results

0 references

A Parameterization Method for the Computation of Invariant Tori and Their Whiskers in Quasi‐Periodic Maps: Explorations and Mechanisms for the Breakdown of Hyperbolicity

0 references

Computation of Limit Cycles and Their Isochrons: Fast Algorithms and Their Convergence

0 references

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

0 references

The existence of simple choreographies for the<i>N</i>-body problem—a computer-assisted proof

0 references

Automatic differentiation for Fourier series and the radii polynomial approach

0 references

Computer assisted proof of transverse saddle-to-saddle connecting orbits for first order vector fields

0 references

Q4036851

0 references

Q5437369

0 references

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

0 references

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

0 references

Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits

0 references

Computation of Heteroclinic Arcs with Application to the Volume Preserving Hénon Family

0 references

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

0 references

Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation

0 references

A study of rigorous ODE integrators for multi-scale set-oriented computations

0 references

Q4949347

0 references

Verification methods: Rigorous results using floating-point arithmetic

0 references

Stationary Coexistence of Hexagons and Rolls via Rigorous Computations

0 references

Chaotic Braided Solutions via Rigorous Numerics: Chaos in the Swift–Hohenberg Equation

0 references

Global smooth solution curves using rigorous branch following

0 references

Parameterization of slow-stable manifolds and their invariant vector bundles: theory and numerical implementation

0 references

Rigorous Numerics for Symmetric Connecting Orbits: Even Homoclinics of the Gray–Scott Equation

0 references

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

0 references

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

0 references

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

0 references

Rigorous and accurate enclosure of invariant manifolds on surfaces

0 references

$C^1$ Lohner algorithm.

0 references

OpenAlex ID

W2727020437

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:4608082