Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits (Q4557492): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: An operator representation for weighted spaces of vector valued homomorphic functions / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Homoclinic Solution for Excitation Waves on a Contractile Substratum / rank
 
Normal rank
Property / cites work
 
Property / cites work: Periodic orbits, symbolic dynamics and topological entropy for the restricted 3-body problem / rank
 
Normal rank
Property / cites work
 
Property / cites work: Branches of periodic orbits for the planar restricted 3-body problem / rank
 
Normal rank
Property / cites work
 
Property / cites work: A new branch of mountain pass solutions for the choreographical 3-body problem / rank
 
Normal rank
Property / cites work
 
Property / cites work: Integration of Dissipative Partial Differential Equations: A Case Study / rank
 
Normal rank
Property / cites work
 
Property / cites work: Existence and stability of traveling pulse solutions of the FitzHugh-Nagumo equation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Symbolic dynamics for the Hénon-Heiles Hamiltonian on the critical level / rank
 
Normal rank
Property / cites work
 
Property / cites work: The H non–Heiles Hamiltonian near the critical energy level—some rigorous results / rank
 
Normal rank
Property / cites work
 
Property / cites work: Chaos in the Duffing equation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Numerical Computation of Connecting Orbits in Dynamical Systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Computation of maximal local (un)stable manifold patches by the parameterization method / rank
 
Normal rank
Property / cites work
 
Property / cites work: The parameterization method for invariant manifolds I: Manifolds associated to non-resonant subspaces / rank
 
Normal rank
Property / cites work
 
Property / cites work: The parameterization method for invariant manifolds II: regularity with respect to parameters / rank
 
Normal rank
Property / cites work
 
Property / cites work: The parameterization method for invariant manifolds. III: Overview and applications / rank
 
Normal rank
Property / cites work
 
Property / cites work: Collision of invariant bundles of quasi-periodic attractors in the dissipative standard map / rank
 
Normal rank
Property / cites work
 
Property / cites work: A KAM theory for conformally symplectic systems: efficient algorithms and their validation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Local behavior near quasi-periodic solutions of conformally symplectic systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Parameterization Method for Computing Quasi-periodic Reducible Normally Hyperbolic Invariant Tori / rank
 
Normal rank
Property / cites work
 
Property / cites work: Covering relations and the existence of topologically normally hyperbolic invariant sets / rank
 
Normal rank
Property / cites work
 
Property / cites work: Computer Assisted Existence Proofs of Lyapunov Orbits at $L_2$ and Transversal Intersections of Invariant Manifolds in the Jupiter--Sun PCR3BP / rank
 
Normal rank
Property / cites work
 
Property / cites work: Geometric proof of strong stable/unstable manifolds with application to the restricted three body problem / rank
 
Normal rank
Property / cites work
 
Property / cites work: Cone conditions and covering relations for topologically normally hyperbolic invariant manifolds / rank
 
Normal rank
Property / cites work
 
Property / cites work: A method to rigorously enclose eigendecompositions of interval matrices / rank
 
Normal rank
Property / cites work
 
Property / cites work: Parameterization of Invariant Manifolds for Periodic Orbits I: Efficient Numerics via the Floquet Normal Form / rank
 
Normal rank
Property / cites work
 
Property / cites work: Transversal connecting orbits from shadowing / rank
 
Normal rank
Property / cites work
 
Property / cites work: A computable criterion for the existence of connecting orbits in autonomous dynamics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Efficient and generic algorithm for rigorous integration forward in time of dPDEs. I / rank
 
Normal rank
Property / cites work
 
Property / cites work: Existence of globally attracting fixed points of viscous Burgers equation with constant forcing. A computer assisted proof / rank
 
Normal rank
Property / cites work
 
Property / cites work: Existence of Globally Attracting Solutions for One-Dimensional Viscous Burgers Equation with Nonautonomous Forcing---A Computer Assisted Proof / rank
 
Normal rank
Property / cites work
 
Property / cites work: KAM theory without action-angle variables / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Parameterization of invariant manifolds by reducibility for volume preserving and symplectic maps / rank
 
Normal rank
Property / cites work
 
Property / cites work: CONTINUATION OF CONNECTING ORBITS IN 3D-ODEs (I): POINT-TO-CYCLE CONNECTIONS / rank
 
Normal rank
Property / cites work
 
Property / cites work: CONTINUATION OF CONNECTING ORBITS IN 3D-ODEs (II) : CYCLE-TO-CYCLE CONNECTIONS / rank
 
Normal rank
Property / cites work
 
Property / cites work: Numerical computation of heteroclinic orbits / rank
 
Normal rank
Property / cites work
 
Property / cites work: A computer-assisted proof of universality for area-preserving maps / rank
 
Normal rank
Property / cites work
 
Property / cites work: Relativistic stability of matter. I / rank
 
Normal rank
Property / cites work
 
Property / cites work: Reliable Computation of Robust Response Tori on the Verge of Breakdown / rank
 
Normal rank
Property / cites work
 
Property / cites work: A method for the study of whiskered quasi-periodic and almost-periodic solutions in finite and infinite dimensional Hamiltonian systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Numerical Computation and Continuation of Invariant Manifolds Connecting Fixed Points / rank
 
Normal rank
Property / cites work
 
Property / cites work: Computational methods for global analysis of homoclinic and heteroclinic orbits: A case study / rank
 
Normal rank
Property / cites work
 
Property / cites work: Computer assisted proof of chaos in the Lorenz equations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4536844 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Quadratic volume-preserving maps: (Un)stable manifolds, hyperbolic dynamics, and vortex-bubble bifurcations / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Computational and Geometric Approach to Phase Resetting Curves and Surfaces / rank
 
Normal rank
Property / cites work
 
Property / cites work: A parametrization method for the computation of invariant tori and their whiskers in quasi-periodic maps: numerical algorithms / rank
 
Normal rank
Property / cites work
 
Property / cites work: A parameterization method for the computation of invariant tori and their whiskers in quasi-periodic maps: rigorous results / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Parameterization Method for the Computation of Invariant Tori and Their Whiskers in Quasi‐Periodic Maps: Explorations and Mechanisms for the Breakdown of Hyperbolicity / rank
 
Normal rank
Property / cites work
 
Property / cites work: The parameterization method for invariant manifolds. From rigorous results to effective computations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Construction of quasi-periodic solutions of state-dependent delay differential equations by the parameterization method. II: Analytic case. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Computation of Limit Cycles and Their Isochrons: Fast Algorithms and Their Convergence / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the Stable Manifold Theorem / rank
 
Normal rank
Property / cites work
 
Property / cites work: Parameterization of slow-stable manifolds and their invariant vector bundles: theory and numerical implementation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5426859 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A computer-assisted proof of the Feigenbaum conjectures / rank
 
Normal rank
Property / cites work
 
Property / cites work: Recent advances about the uniqueness of the slowly oscillating periodic solutions of Wright's equation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Computer assisted proof of transverse saddle-to-saddle connecting orbits for first order vector fields / rank
 
Normal rank
Property / cites work
 
Property / cites work: Rigorous Numerics for Nonlinear Differential Equations Using Chebyshev Series / rank
 
Normal rank
Property / cites work
 
Property / cites work: Construction of quasi-periodic solutions of delay differential equations via KAM techniques / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4036851 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Computer assisted error bounds for linear approximation of (un)stable manifolds and rigorous validation of higher dimensional transverse connecting orbits / rank
 
Normal rank
Property / cites work
 
Property / cites work: Rigorous A Posteriori Computation of (Un)Stable Manifolds and Connecting Orbits for Analytic Maps / rank
 
Normal rank
Property / cites work
 
Property / cites work: Polynomial approximation of one parameter families of (un)stable manifolds with rigorous computer assisted error bounds / rank
 
Normal rank
Property / cites work
 
Property / cites work: Chaos in the Lorenz equations: a computer-assisted proof / rank
 
Normal rank
Property / cites work
 
Property / cites work: Chaos in the Lorenz equations: A computer assisted proof. Part II: Details / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Test for Existence of Solutions to Nonlinear Systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5566070 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4011815 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3831754 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Computer-assisted existence proofs for two-point boundary value problems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Numerical existence proofs and explicit bounds for solutions of nonlinear elliptic boundary value problems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4226356 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Verification methods: Rigorous results using floating-point arithmetic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4942670 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Homoclinic Orbit in a Planar Singular ODE---A Computer Assisted Proof / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Lorenz attractor exists / rank
 
Normal rank
Property / cites work
 
Property / cites work: A rigorous ODE solver and Smale's 14th problem / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5198996 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Computing (un)stable manifolds with validated error bounds: non-resonant and resonant spectra / rank
 
Normal rank
Property / cites work
 
Property / cites work: Stationary Coexistence of Hexagons and Rolls via Rigorous Computations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Global smooth solution curves using rigorous branch following / rank
 
Normal rank
Property / cites work
 
Property / cites work: Rigorous Numerics for Symmetric Connecting Orbits: Even Homoclinics of the Gray–Scott Equation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Chaos in the Kuramoto-Sivashinsky equations -- a computer-assisted proof. / rank
 
Normal rank
Property / cites work
 
Property / cites work: The existence of Shilnikov homoclinic orbits in the Michelson system: A computer assisted proof / rank
 
Normal rank
Property / cites work
 
Property / cites work: Symmetric homoclinic solutions to the periodic orbits in the Michelson system / rank
 
Normal rank
Property / cites work
 
Property / cites work: Heteroclinic connections between periodic orbits in planar restricted circular three-body problem -- a computer-assisted proof / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem / rank
 
Normal rank
Property / cites work
 
Property / cites work: \(C^1\) Lohner algorithm. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Rigorous numerics for dissipative PDEs. III: An effective algorithm for rigorous integration of dissipative PDEs / rank
 
Normal rank
Property / cites work
 
Property / cites work: Attracting Fixed Points for the Kuramoto--Sivashinsky Equation: A Computer Assisted Proof / rank
 
Normal rank

Latest revision as of 12:30, 17 July 2024

scientific article; zbMATH DE number 6984502
Language Label Description Also known as
English
Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits
scientific article; zbMATH DE number 6984502

    Statements

    Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits (English)
    0 references
    23 November 2018
    0 references
    invariant manifolds
    0 references
    nonlinear systems
    0 references
    ordinary differential equations
    0 references
    Taylor methods
    0 references
    connecting orbits
    0 references
    numerical analysis
    0 references
    global analysis
    0 references
    Lorenz system
    0 references
    equilibrium solutions
    0 references
    dynamics
    0 references
    projected boundaries
    0 references
    Newton-Kantorovich
    0 references
    homoclinic solutions
    0 references
    heteroclinic solutions
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references