Charged particle motion in a strong magnetic field: The first order expansion
This paper provides a mathematically rigorous derivation of the first-order expansion for charged particle motion in strong magnetic fields, demonstrating that standard physical assumptions—such as a small gyroradius—are actually consequences of the field strength rather than necessary prerequisites, thereby justifying the use of the guiding center approximation even in complex scenarios like magnetic mirrors.