Star-shaped periodic solutions of a system of delay differential equations: A computer-assisted proof
Abstract
In this paper, we consider a planar system of nonlinear delay differential equations and prove the existence of the star-shaped periodic solutions conjectured by Hara (Nonlinear Analysis: Theory, Methods \& Applications, 30:4555--4563 (1997)) for seven parameter values. These solutions cannot be obtained by a direct application of the standard Fourier spectral method, since the corresponding linearized operator is degenerate. From numerical observations of the Fourier coefficients, we derive an ansatz that writes a star-shaped periodic solution as a periodic profile in a rotating frame. Restricting the profile to real Fourier coefficients, we show that the resonance between the delay and the period of the profile fixes the rotation frequency exactly. We then validate a zero of the resulting real system with the radii polynomial approach and interval arithmetic, with bounds that cover all Fourier modes. For each parameter value, we also determine the fundamental period and the winding number of the solution.
Related
- Computer-assisted proofs of periodic solutions of state-dependent delay equations beyond perturbative regimes
- Multiple non-collision periodic solutions for second order singular differential systems with parameters
- Three thresholds and a computer-assisted phase diagram for the spectral stability of periodic hydroelastic Whitham waves
- Hyperbolic, Trigonometric and Periodic Solutions of Local and Nonlocal Fokas-Lennels Equations
- Weyl Pseudo Almost Periodic Type Solutions to Semilinear Stochastic Evolution Equations Driven by Fractional Brownian Motion
BibTeX
@misc{motonaga2026starshaped,
title = {{Star-shaped periodic solutions of a system of delay differential equations: A computer-assisted proof}},
author = {Shoya Motonaga and Akitoshi Takayasu},
howpublished = {arXiv},
year = {2026},
month = nov,
doi = {10.48550/arxiv.2611.04530},
eprint = {2611.04530},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2611.04530},
}
RIS
TY - UNPB
TI - Star-shaped periodic solutions of a system of delay differential equations: A computer-assisted proof
AU - Shoya Motonaga
AU - Akitoshi Takayasu
PY - 2026
DA - 2026/11/03
PB - arXiv
DO - 10.48550/arxiv.2611.04530
UR - https://arxiv.org/abs/2611.04530
AB - In this paper, we consider a planar system of nonlinear delay differential equations and prove the existence of the star-shaped periodic solutions conjectured by Hara (Nonlinear Analysis: Theory, Methods \& Applications, 30:4555--4563 (1997)) for seven parameter values. These solutions cannot be obtained by a direct application of the standard Fourier spectral method, since the corresponding linearized operator is degenerate. From numerical observations of the Fourier coefficients, we derive an ansatz that writes a star-shaped periodic solution as a periodic profile in a rotating frame. Restricting the profile to real Fourier coefficients, we show that the resonance between the delay and the period of the profile fixes the rotation frequency exactly. We then validate a zero of the resulting real system with the radii polynomial approach and interval arithmetic, with bounds that cover all Fourier modes. For each parameter value, we also determine the fundamental period and the winding number of the solution.
ER -