{"id":"arxiv/2610.36216","url":"https://arxiv.org/abs/2610.36216","tags":["math.DS"],"score":0,"title":"Computer-assisted proofs of periodic solutions of state-dependent delay equations beyond perturbative regimes","domain":"math.DS","source":"arxiv","authors":["Jan Bouwe van den Berg","Maxime Breden","Matthieu Cadiot","Kevin E. M. Church","Jean-Philippe Lessard"],"reviews":0,"subject":"math.DS","summary":"Rigorous existence results for periodic solutions of state-dependent delay differential equations (SDDEs) are scarce outside perturbative regimes, where the equation is close to an ordinary or constant-delay differential equation. We develop a computer-assisted framework that proves the existence of periodic solutions of SDDEs directly. The numerical approximation is a trigonometric polynomial, and a true periodic solution nearby is obtained by a Newton--Kantorovich argument in the space of $C^1$ periodic functions. The main difficulty lies in the terms in which the solution is evaluated at…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-26","reactions":{}}