How small perturbations split families of periodic streamlines in the ABC flow and rule out nearby smooth integrals
This paper studies a classic three-dimensional model called the Arnold–Beltrami–Childress (ABC) flow. The ABC flow is an incompressible steady flow that can show both regular and chaotic motion. The authors examine what happens near special parameter values where the system is “integrable” in simple ways: there the flow contains continuous families of periodic streamlines. They show that when the parameters are nudged away from those integrable axes, those continuous families break up into isolated periodic orbits, and they use that breakup to prove that no nearby smooth conserved quantity (a nonconstant C^1 first integral whose gradient does not vanish on the orbit) can exist in a neighborhood of each new orbit.
The main analytical tool is first-order averaging. Averaging replaces the original fast three-dimensional motion by a simpler two-dimensional “averaged” system that captures the slow drift of trajectories. For each integrable axis the averaged system has two simple fixed points (equilibria). One has elliptic character and the other hyperbolic character depending on the sign of a ratio of parameters. Each equilibrium in the averaged system corresponds to one isolated periodic orbit of the full ABC flow after the perturbation. By symmetry of the ABC vector field, the same picture appears near each of the three integrable axes, giving three perturbative regimes.
A key point is how the authors connect the averaged picture to stability and to integrability. They use the eigenvalues of the Jacobian matrix of the averaged system to predict, at leading order, the nontrivial characteristic multipliers of the bifurcating periodic orbits. Characteristic multipliers are numbers that describe the stability of a periodic orbit. Once these transverse multipliers are shown to be different from 1 (the trivial multiplier coming from motion along the orbit), the authors apply a Poincaré–Llibre–Valls criterion: this rules out the existence of any nonconstant C^1 first integral that is regular (nondegenerate) along the periodic orbit. In short, the breakup of the degenerate periodic families produces spectral information that yields a local obstruction to smooth integrability.