On the stability of Rotating States in Second-Order Self-Propelled Multi-Particle Systems
Carl Kolon, Constantine Medynets, Irina Popovici
TL;DR
This work analyzes the long-time behavior of a planar system of $n$ identical self-propelled particles with second-order dynamics and quadratic, rotationally symmetric coupling. By introducing rotating-frame coordinates and exploiting center-manifold techniques tailored to non-isolated fixed points, the authors prove that all rotating states are stable and that nearby trajectories converge to nearby rotating states, with exponential rates for odd $n$ and exponential or $1/\sqrt t$ rates for even $n$. The analysis handles both non-degenerate and degenerate ring states, and exposes limitations of standard Taylor-based center-manifold approximations, motivating a novel approximation scheme anchored by a continuum of equilibrium points. These results rigorously characterize the asymptotic ring-like patterns (mill/ring states) observed in swarming models and establish a principled framework for the convergence to coherent rotational patterns in second-order swarm systems.
Abstract
In this paper, we study the dynamics of a system of $n$ coupled, self-propelled particles: $\ddot r_k = (α-β|\dot r_k|^2)\dot r_k - \fracγ{n}\sum_{m=1}^n(r_k-r_m)$, $r_k\in \mathbb R^2.$ Numerical experiments indicate that, for a large set of initial conditions, after an initial drift, the center of mass converges to a stationary point, with each particle eventually rotating around it with constant angular velocity. The distribution of particles on the circle need not be uniform. These limit configurations, where all particles rotate in the same direction, are termed {\it rotating states} . We prove that rotating states are stable and that every solution that starts sufficiently close, asymptotically approaches a rotating state, exponentially fast if $n$ is odd, or at a rate that may be exponential or $\frac{1}{\sqrt t} $ if $n$ is even. The proof uses a new approximation technique for the flow on the center manifold in the presence of non-isolated fixed points.
