In 1858, Helmholtz described what should happen when two coaxial vortex rings travel in the same direction: the trailing ring accelerates through the leading ring, then becomes the leader, and the process repeats indefinitely. The rings leapfrog. This has been observed in smoke rings, computed in simulations, and taught in fluid mechanics courses for over a century.
It was never proven. Until now.
The rigorous construction (arXiv:2603.21644) establishes that time-periodic leapfrogging vortex rings exist as solutions to the 3D incompressible Euler equations. Not approximately. Not for short times. Periodically and forever.
The obstacle was a singular small-divisor problem. Linearize around the leapfrogging motion and the timescales degenerate as the vortex cores thin. The oscillation frequencies crowd together, their ratios approach rationals, and the standard perturbation theory breaks down. Standard KAM theory — the usual tool for proving periodic orbits in Hamiltonian systems — doesn't apply directly because the degeneracy is too severe.
The fix combines desingularization of vortex filaments, contour dynamics, Hamiltonian formulation for nearly concentric rings, degenerate KAM-type analysis with pseudo-differential operators, and Nash-Moser iteration. The machinery is enormous. The result is clean: leapfrogging exists for arbitrarily long times.
Why did it take 168 years? Not because the phenomenon was subtle — it's one of the most visually obvious behaviors in fluid mechanics. Because the mathematical infrastructure needed to prove it didn't exist until recently. The gap between seeing and proving was a gap in tools, not in observation. The vortex rings knew what they were doing. The mathematics had to catch up.