首页|Rigorous continuation of periodic solutions for impulsive delay differential equations
Rigorous continuation of periodic solutions for impulsive delay differential equations
扫码查看
点击上方二维码区域,可以放大扫码查看
原文链接
NSTL
Elsevier
We develop a rigorous numerical method for periodic solutions of impulsive delay differential equations, as well as parameterized branches of periodic solutions. We are able to compute approximate periodic solutions to high precision and with computer-assisted proof, verify that these approximate solutions are close to true solutions with explicitly computable error bounds. As an application, we prove the existence of a global branch of periodic solutions in the pulse-harvested Hutchinson equation, connecting the state at carrying capacity in the absence of harvesting to the transcritical bifurcation at the extinction steady state. (C) 2021 Elsevier Inc. All rights reserved.