Neutral Entry--Exit Cycles with Quadratic Grazing: Uniform Return Reduction and Local Two-Parameter Bifurcations

Haibo Lu

Abstract

We study planar continuous piecewise-smooth slow--fast return circuits in which an invariant-line entry--exit passage is followed by a separated quadratic grazing and the reference cycle has unit multiplier. We first prove that the physical entry--exit map for positive slow parameter extends, uniformly to any prescribed finite order, to the singular parameter, including nonvertical endpoint fibers. In the exact moving penetration coordinate, composition with the grazing passage gives the extended Poincare displacement $Δ(q,p)=S(q,p)+q_+^{3/2}K(\sqrt{q_+},q,p)$. Under a rank-two unfolding, we use the exact constant and linear coefficients of $Δ$ as parameters and construct, for every sufficiently small fixed positive slow parameter, a unique nonpenetrating fold, a unique penetrating fold, and the grazing-incidence stratum. We give the complete marked chamber decomposition by nonpenetrating, grazing, and penetrating cycles and determine their stability from the Poincare multiplier. The open chambers contain zero or two cycles when the smooth and grazing coefficients have the same sign, and one or three when their signs are opposite; the corresponding cyclicity bounds are sharp corollaries. A compact polynomial family realizes both sign classes. In a cutoff-Gause family, interval certificates isolate one singular balanced-neutral point in each of two parameter boxes and verify the required signs and rank; an analytic local pullback transfers the diagram to the response parameters. Thus one local classification records cycle number, itinerary, and stability across the grazing and fold boundaries.

Disclosure

“d the commands and environment information used to reproduce the computations. Declarations Funding. The author received no funding for this work. Competing interests. The author declares no competing interests. Declaration of generative AI and AI-assisted technologies in the writing process. During the development and preparation of this work, the author used OpenAI Codex to assist with literature discovery, proof stress-testing, symbolic and numerical code review, manuscrip”

PDF page 41
Classification
Proof ideas or individual proof-step assistance
Multiplier
8
Verified

Structural counts

Pages 43 pdf
Theorems 4 source
Lemmas 7 source
Propositions 9 source
Corollaries 4 source
Definitions 2 source
Displayed equations 220 source
Bibliography entries 30 source
Appendix pages 0 estimated

Count notes

  • Source counts use the expanded primary TeX file main.tex.
  • Appendix pages include the first PDF page with an explicit Appendix heading through the final page.