Persistence of Periodic Orbits under State-dependent Delayed Perturbations: Computer-assisted Proofs
DOI10.1137/22m1499418zbMath1522.34094arXiv2111.06391OpenAlexW3213279295MaRDI QIDQ6112545
Jiaqi Yang, Jean-Philippe Lessard, Joan Gimeno, Jason D. Mireles James
Publication date: 7 August 2023
Published in: SIAM Journal on Applied Dynamical Systems (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2111.06391
periodic orbitsvariational equationsChebyshev seriesstate-dependent delay equationsvalidated numerics
Fixed-point theorems (47H10) Periodic solutions to functional-differential equations (34K13) Perturbations of functional-differential equations (34K27) Computer assisted proofs of proofs-by-exhaustion type (68V05) Functional-differential equations with state-dependent arguments (34K43)
Related Items (1)
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
- Construction of quasi-periodic solutions of state-dependent delay differential equations by the parameterization method. II: Analytic case.
- Finite element boundary value integration of Wheeler-Feynman electrodynamics
- Semiflows for differential equations with locally bounded delay on solution manifolds in the space \(C^1 ((-\infty, 0, {\mathbb R}^n)\)]
- A method for numerical integration on an automatic computer
- 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
- Analytic enclosure of the fundamental matrix solution.
- A two-body problem of classical electrodynamics: the one-dimensional case
- The solution manifold and \(C^{1}\)-smoothness for differential equations with state-dependent delay.
- Construction of quasi-periodic solutions of state-dependent delay differential equations by the parameterization method. I: Finitely differentiable, hyperbolic case
- Rigorous numerics for ill-posed PDEs: periodic orbits in the Boussinesq equation
- An a posteriori KAM theorem for whiskered tori in Hamiltonian partial differential equations with applications to some ill-posed equations
- Computing discrete convolutions with verified accuracy via Banach algebras and the FFT.
- Delay equations. Functional-, complex-, and nonlinear analysis
- On polynomial forms of nonlinear functional differential equations
- Rigorous numerics for ODEs using Chebyshev series and domain decomposition
- Automatic differentiation for Fourier series and the radii polynomial approach
- CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems
- Solution manifolds which are almost graphs
- Validated integration of differential equations with state-dependent delay
- The Laurent-Horner method for validated evaluation of Chebyshev expansions
- Stable manifolds to bounded solutions in possibly ill-posed PDEs
- Intricate structure of the analyticity set for solutions of a class of integral equations
- The parameterization method for invariant manifolds. III: Overview and applications
- Equations of motion for variational electrodynamics
- Persistence and smooth dependence on parameters of periodic orbits in functional differential equations close to an ODE or an evolutionary PDE
- Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach
- Rigorous Numerics in Dynamics
- Solutions of the Wheeler-Feynman equations with discontinuous velocities
- Verification methods: Rigorous results using floating-point arithmetic
- Analyticity and Nonanalyticity of Solutions of Delay-Differential Equations
- Smoothness issues in differential equations with state-dependent delay
- Response Solutions to Quasi-Periodically Forced Systems, Even to Possibly Ill-Posed PDEs, with Strong Dissipation and any Frequency Vectors
- A delayed-advanced model for the electrodynamics two-body problem
- Electromagnetic two-body problem: recurrent dynamics in the presence of state-dependent delay
- The parameterization method for invariant manifolds I: Manifolds associated to non-resonant subspaces
- The parameterization method for invariant manifolds II: regularity with respect to parameters
- Arb: Efficient Arbitrary-Precision Midpoint-Radius Interval Arithmetic
- Mathematically rigorous global optimization in floating-point arithmetic
- Parameterization Method for State-Dependent Delay Perturbation of an Ordinary Differential Equation
- Expansions in the delay of quasi-periodic solutions for state dependent delay equations
- A Parameterization Method for the Computation of Invariant Tori and Their Whiskers in Quasi‐Periodic Maps: Explorations and Mechanisms for the Breakdown of Hyperbolicity
- Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations
- Rigorous Numerics for Nonlinear Differential Equations Using Chebyshev Series
- Classical Electrodynamics in Terms of Direct Interparticle Action
- Free Vibrations in a Wave Equation Modeling MEMS
- Computational error bounds for multiple or nearly multiple eigenvalues
- Persistence of Periodic Orbits under State-dependent Delayed Perturbations: Computer-assisted Proofs
This page was built for publication: Persistence of Periodic Orbits under State-dependent Delayed Perturbations: Computer-assisted Proofs