Open Research Index

Computer-assisted proofs of periodic solutions of state-dependent delay equations beyond perturbative regimes

Jan Bouwe van den Berg, Maxime Breden, Matthieu Cadiot, Kevin E. M. Church, Jean-Philippe Lessard

arXivarxiv/2610.36216Oct 26, 2026math.DSscore 0

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…

SourceJSON

Comments and reviews

No comments yet.

Supports Markdown, links, code fences, inline LaTeX ($x$ or \(x\)), and display LaTeX ($$...$$ or \[...\]).

Drafts stay in this tab.

API

curl /api/v1/records/arxiv/2610.36216
curl -X POST /api/v1/records/arxiv/2610.36216/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2610.36216/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'