On the periodic orbits of C0-typical impulsive semiflows
Jaqueline Siqueira, Maria Joana Torres, Paulo Varandas
TL;DR
This work investigates impulsive semiflows formed by a Lipschitz flow on a compact manifold together with a (continuous) impulsive map, focusing on how typical (i.e., $C^0$-generic) perturbations influence the density of periodic orbits. The authors develop a Poincaré-map framework tailored to impulsive dynamics and prove two parallel generic-density results: (i) for fixed Lipschitz flows, a $C^0$-generic impulse yields dense periodic orbits on the impulsive non-wandering set within the impulsive region; (ii) for fixed impulses, a $C^0$-generic Lipschitz flow yields dense periodic orbits in the non-wandering set. Central to the proofs are $C^0$-perturbation lemmas—one for impulses (closing lemma) and one for vector fields (flowbox-based perturbations)—and a permanence notion ensuring robustness of periodic points under perturbations. The results unify and extend previous $C^1$-type findings by showing similar density phenomena under $C^0$ perturbations, with substantial differences between perturbing impulses and perturbing vector fields due to their distinct impact on the dynamics. The paper also provides concrete examples (e.g., impulsive Anosov flows and minimal flows) and discusses potential extensions to volume-preserving settings and shadowing properties, highlighting avenues for further research in impulsive topological dynamics.
Abstract
Impulsive semiflows modeled by a Lipschitz continuous vector field and continuous impulse functions, defined over an impulsive region, are piece-wise Lipschitz continuous semiflows with piecewise smooth trajectories. In this paper we contribute to the topological description of typical impulsive semi-flows, parameterized by both vector fields and impulses. We prove that $C^0$-generic Lipschitz vector fields generate impulsive semiflows with denseness of periodic orbits on the non-wandering set. Additionally, we show that $C^0$-generic impulses generate impulsive semiflows with denseness of periodic orbits on the impulsive non-wandering set.
