• Corpus ID: 243985793

Persistence of Periodic Orbits under State-dependent Delayed Perturbations: Computer-assisted Proofs

  title={Persistence of Periodic Orbits under State-dependent Delayed Perturbations: Computer-assisted Proofs},
  author={Joan Gimeno and Jean‐Philippe Lessard and Jason D. Mireles-James and Jiaqi Yang},
A computer-assisted argument is given, which provides existence proofs for periodic orbits in state-dependent delayed perturbations of ordinary differential equations (ODEs). Assuming that the unperturbed ODE has an isolated periodic orbit, we introduce a set of polynomial inequalities whose successful verification leads to the existence of periodic orbits in the perturbed delay equation. We present a general algorithm, which describes a way of computing the coefficients of the polynomials and… 

Figures and Tables from this paper

High-order Lohner-type algorithm for rigorous computation of Poincaré maps in systems of Delay Differential Equations with several delays

We present a Lohner-type algorithm for rigorous integration of systems of Delay Differential Equations (DDEs) with multiple delays and its application in computation of Poincaré maps to study the



Parameterization Method for State-Dependent Delay Perturbation of an Ordinary Differential Equation

This work considers state-dependent delay equations (SDDE) obtained by adding delays to a planar ordinary differential equation with a limit cycle and shows that the SDDE admits solutions which resemble the solutions of the ODE.

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

This work derives the radii polynomials for some specific application problems, and gives a number of computer assisted proofs in the analytic framework on studying periodic solutions in Cartesian products of infinite sequence spaces.

Expansions in the delay of quasi-periodic solutions for state dependent delay equations

We consider several models of state dependent delay differential equations (SDDEs), in which the delay is affected by a small parameter. This is a very singular perturbation since the nature of the

Rigorous Numerics for ill-posed PDEs: Periodic Orbits in the Boussinesq Equation

In this paper, we develop computer-assisted techniques for the analysis of periodic orbits of ill-posed partial differential equations. As a case study, our proposed method is applied to the

An A Posteriori KAM Theorem for Whiskered Tori in Hamiltonian Partial Differential Equations with Applications to some Ill-Posed Equations

  • R. LlaveY. Sire
  • Mathematics
    Archive for Rational Mechanics and Analysis
  • 2018
The goal of this paper is to develop a KAM theory for tori with hyperbolic directions, which applies to Hamiltonian partial differential equations, even to some ill-posed ones. The main result has an

On polynomial forms of nonlinear functional differential equations

In this paper we study nonlinear autonomous retarded functional differential equations; that is, functional equations where the time derivative may depend on the past values of the variables. When