Rigorous continuation of periodic solutions for impulsive delay differential equations

作者：

Highlights：

• Presents periodic solution continuation for impulsive delay differential equations.

• Method is based on boundary-value problem and Chebyshev series expansion.

• Leads to computer-assisted proofs of branches of periodic orbits.

• Proves a global branch of periodic solutions of pulse-harvested Hutchinson equation.

摘要

•Presents periodic solution continuation for impulsive delay differential equations.•Method is based on boundary-value problem and Chebyshev series expansion.•Leads to computer-assisted proofs of branches of periodic orbits.•Proves a global branch of periodic solutions of pulse-harvested Hutchinson equation.

论文关键词：

论文评审过程：Received 3 October 2020, Revised 4 October 2021, Accepted 6 October 2021, Available online 23 October 2021, Version of Record 23 October 2021.

论文官网地址：https://doi.org/10.1016/j.amc.2021.126733