Stability and uniqueness of slowly oscillating periodic solutions to Wright's equation (Q2407127)

In this paper by using a computer-assisted proof it is shown that, for any \(\alpha\) in the interval \([1.9, 6.0]\), Wright's equation \[ y'(t)=-\alpha y(t-1)[1+y(t)] \] admits a unique slowly oscillating periodic solution \(y\), i.e., a continuous periodic function \(y(t)\) with the following property: There exist \(q\), \(\overline{q}>1\) such that up to a time translation, \(y(t)>0\) for \(0<t<q\), \(y(t)<0\), for \(q<t<q+\overline{q}\), and \(y(t+q+\overline{q})=y(t)\), for all \(t\).