-
Nearly-periodic maps and geometric integration of noncanonical Hamiltonian systems
Authors:
J. W. Burby,
E. Hirvijoki,
M. Leok
Abstract:
M. Kruskal showed that each continuous-time nearly-periodic dynamical system admits a formal $U(1)$ symmetry, generated by the so-called roto-rate. When the nearly-periodic system is also Hamiltonian, Noether's theorem implies the existence of a corresponding adiabatic invariant. We develop a discrete-time analoue of Kruskal's theory. Nearly-periodic maps are defined as parameter-dependent diffeom…
▽ More
M. Kruskal showed that each continuous-time nearly-periodic dynamical system admits a formal $U(1)$ symmetry, generated by the so-called roto-rate. When the nearly-periodic system is also Hamiltonian, Noether's theorem implies the existence of a corresponding adiabatic invariant. We develop a discrete-time analoue of Kruskal's theory. Nearly-periodic maps are defined as parameter-dependent diffeomorphisms that limit to rotations along a $U(1)$-action. When the limiting rotation is non-resonant, these maps admit formal $U(1)$ symmetries to all orders in perturbation theory. For Hamiltonian nearly-periodic maps on exact presymplectic manifolds, we prove that the formal $U(1)$ symmetry gives rise to a discrete-time adiabatic invariant using a discrete-time extension of Noether's theorem. When the unperturbed $U(1)$-orbits are contractible, we also find a discrete-time adiabatic invariant for mappings that are merely presymplectic, rather than Hamiltonian. As an application of the theory, we use it to develop a novel technique for geometric integration of non-canonical Hamiltonian systems on exact symplectic manifolds.
△ Less
Submitted 15 December, 2021;
originally announced December 2021.
-
Normal stability of slow manifolds in nearly-periodic Hamiltonian systems
Authors:
J. W. Burby,
E. Hirvijoki
Abstract:
M. Kruskal showed that each nearly-periodic dynamical system admits a formal $U(1)$ symmetry, generated by the so-called roto-rate. We prove that such systems also admit nearly-invariant manifolds of each order, near which rapid oscillations are suppressed. We study the nonlinear normal stability of these slow manifolds for nearly-periodic Hamiltonian systems on barely symplectic manifolds -- mani…
▽ More
M. Kruskal showed that each nearly-periodic dynamical system admits a formal $U(1)$ symmetry, generated by the so-called roto-rate. We prove that such systems also admit nearly-invariant manifolds of each order, near which rapid oscillations are suppressed. We study the nonlinear normal stability of these slow manifolds for nearly-periodic Hamiltonian systems on barely symplectic manifolds -- manifolds equipped with closed, non-degenerate $2$-forms that may be degenerate to leading order. In particular, we establish a sufficient condition for long-term normal stability based on second derivatives of the well-known adiabatic invariant. We use these results to investigate the problem of embedding guiding center dynamics of a magnetized charged particle as a slow manifold in a nearly-periodic system. We prove that one previous embedding, and two new embeddings enjoy long-term normal stability, and thereby strengthen the theoretical justification for these models.
△ Less
Submitted 5 April, 2021;
originally announced April 2021.
-
Energy and momentum conservation in the Euler-Poincaré formulation of local Vlasov-Maxwell-type systems
Authors:
Eero Hirvijoki,
Joshua W. Burby,
David Pfefferlé,
Alain J. Brizard
Abstract:
The action principle by Low [Proc. R. Soc. Lond. A 248, 282--287] for the classic Vlasov-Maxwell system contains a mix of Eulerian and Lagrangian variables. This renders the Noether analysis of reparametrization symmetries inconvenient, especially since the well-known energy- and momentum-conservation laws for the system are expressed in terms of Eulerian variables only. While an Euler-Poincaré fo…
▽ More
The action principle by Low [Proc. R. Soc. Lond. A 248, 282--287] for the classic Vlasov-Maxwell system contains a mix of Eulerian and Lagrangian variables. This renders the Noether analysis of reparametrization symmetries inconvenient, especially since the well-known energy- and momentum-conservation laws for the system are expressed in terms of Eulerian variables only. While an Euler-Poincaré formulation of Vlasov-Maxwell-type systems, effectively starting with Low's action and using constrained variations for the Eulerian description of particle motion, has been known for a while [J. Math. Phys., 39, 6, pp. 3138-3157], it is hard to come by a documented derivation of the related energy- and momentum-conservation laws in the spirit of the Euler-Poincaré machinery. To our knowledge only one such derivation exists in the literature so far, dealing with the so-called guiding-center Vlasov-Darwin system [Phys. Plasmas 25, 102506]. The present exposition discusses a generic class of local Vlasov-Maxwell-type systems, with a conscious choice of adopting the language of differential geometry to exploit the Euler-Poincaré framework to its full extent. After reviewing the transition from a Lagrangian picture to an Eulerian one, we demonstrate how symmetries generated by isometries in space lead to conservation laws for linear- and angular-momentum density and how symmetry by time translation produces a conservation law for energy density. We also discuss what happens if no symmetries exist. Finally, two explicit examples will be given -- the classic Vlasov-Maxwell and the drift-kinetic Vlasov-Maxwell -- and the results expressed in the language of regular vector calculus for familiarity.
△ Less
Submitted 29 April, 2020; v1 submitted 13 December, 2019;
originally announced December 2019.
-
Exact collisional moments for plasma fluid theories
Authors:
David Pfefferlé,
Eero Hirvijoki,
Manasvi Lingam
Abstract:
The velocity-space moments of the often troublesome nonlinear Landau collision operator are expressed exactly in terms of multi-index Hermite-polynomial moments of the distribution functions. The collisional moments are shown to be generated by derivatives of two well-known functions, namely the Rosenbluth-MacDonald-Judd-Trubnikov potentials for a Gaussian distribution. The resulting formula has a…
▽ More
The velocity-space moments of the often troublesome nonlinear Landau collision operator are expressed exactly in terms of multi-index Hermite-polynomial moments of the distribution functions. The collisional moments are shown to be generated by derivatives of two well-known functions, namely the Rosenbluth-MacDonald-Judd-Trubnikov potentials for a Gaussian distribution. The resulting formula has a nonlinear dependency on the relative mean flow of the colliding species normalised to the root-mean-square of the corresponding thermal velocities, and a bilinear dependency on densities and higher-order velocity moments of the distribution functions, with no restriction on temperature, flow or mass ratio of the species. The result can be applied to both the classic transport theory of plasmas, that relies on the Chapman-Enskog method, as well as to deriving collisional fluid equations that follow Grad's moment approach. As an illustrative example, we provide the collisional ten-moment equations with exact conservation laws for momentum- and energy-transfer rate.
△ Less
Submitted 14 March, 2017; v1 submitted 27 January, 2017;
originally announced January 2017.
-
Fluid moments of the Landau collision operator
Authors:
Eero Hirvijoki,
Manasvi Lingam,
David Pfefferlé,
Luca Comisso,
Jeff Candy,
Amitava Bhattacharjee
Abstract:
One important problem in plasma physics is the lack of an accurate and complete description of Coulomb collisions in associated fluid models. To shed light on the problem, this Letter introduces an integral identity involving the multi-dimensional Hermite tensor polynomials and presents a method for computing exact expressions for the fluid moments of the nonlinear Landau collision operator. The p…
▽ More
One important problem in plasma physics is the lack of an accurate and complete description of Coulomb collisions in associated fluid models. To shed light on the problem, this Letter introduces an integral identity involving the multi-dimensional Hermite tensor polynomials and presents a method for computing exact expressions for the fluid moments of the nonlinear Landau collision operator. The proposed methodology provides a systematic and rigorous means of extending the validity of fluid models that have an underlying inverse-square force particle dynamics to weakly collisional and strong flow regimes.
△ Less
Submitted 24 May, 2016;
originally announced May 2016.
