Periodicity in delayed self-regulation is a predator-prey process

The paper’s Theorem 2.3 states exactly the existence of a C^k first integral α and a C^k map g on the planar cyclicity component O with the predator–prey sign condition ∂1 g(u,v) ∂2 f(u,v) < 0, and that along each periodic orbit (u̇, v̇) = r(α(u,v))(f(u,v), g(u,v))^T holds; its proof derives the sign by showing a positive ratio of determinants det DG(τ−1,α)/det DG(τ,α) and hence ∂1 g · ∂2 f < 0 (see Theorem 2.3 statement and proof) . The candidate solution reconstructs the same objects via the time–amplitude chart and the conjugacy of the unit-time left shift, using DL = Dπ(t−1,a)(Dπ(t,a))^{-1} to conclude det DL > 0 and thus ∂1σ < 0, which yields the same sign condition and ODE; this is the same core determinant-ratio argument recast in the left-shift language and relies on the same branch-projection (Theorem 2.1) and time–amplitude parametrization (Theorem 2.2) .