arXiv subjects

J. W. Burby

Publications and source records attributed to J. W. Burby.

At least 37 records · Page 2Linked to original sources

arXiv2020

Nontrivial topology in the continuous spectrum of a magnetized plasma

Classification of matter through topological phases and topological edge states between distinct materials has been a subject of great interest recently. While lattices have been the main setting for these studies, a relatively unexplored realm for this physics is that of continuum fluids. In the typical case of a fluid model with a point spectrum, nontrivial topology and associated edge modes have been observed previously. However, another possibility is that a continuous spectrum can coexist with the point spectrum. Here we demonstrate that a fluid plasma model can harbor nontrivial topology within its continuous spectrum, and that there are boundary modes at the interface between topologically distinct regions. We consider the ideal magnetohydrodynamics (MHD) model. In the presence of magnetic shear, we find nontrivial topology in the Alfvén continuum. For strong shear, the Chern number is $\pm 1$, depending on the sign of the shear. If the magnetic shear changes sign within the plasma, a topological phase transition occurs, and bulk-boundary correspondence then suggests a mode localized to the layer of zero magnetic shear. We confirm the existence of this mode numerically. Moreover, this reversed-shear Alfvén eigenmode (RSAE) is well known within magnetic fusion as it has been observed in several tokamaks. In examining how the MHD model might be regularized at small scales, we also consider the electron limit of Hall MHD. We show that the whistler band, which plays an important role in planetary ionospheres, has nontrivial topology. More broadly, this work raises the possibility that fusion devices could be carefully tailored to produce other topological states with potentially useful behavior.

physics.plasm-ph↗

arXiv2020

Slow manifold reduction for plasma science

The classical Chapman-Enskog procedure admits a substantial geometrical generalization known as slow manifold reduction. This generalization provides a paradigm for deriving and understanding most reduced models in plasma physics that are based on controlled approximations applied to problems with multiple timescales. In this Review we develop the theory of slow manifold reduction with a plasma physics audience in mind. In particular we illustrate (a) how the slow manifold concept may be used to understand \emph{breakdown} of a reduced model over sufficiently-long time intervals, and (b) how a discrete-time analogue of slow manifold theory provides a useful framework for developing implicit integrators for temporally-stiff plasma models. For readers with more advanced mathematical training we also use slow manifold reduction to explain the phenomenon of inheritance of Hamiltonian structure in dissipation-free reduced plasma models. Various facets of the theory are illustrated in the context of the Abraham-Lorentz model of a single charged particle experiencing its own radiation drag. As a culminating example we derive the slow manifold underlying kinetic quasineutral plasma dynamics up to first-order in perturbation theory. This first-order result incorporates several physical effects associated with small deviations from exact charge neutrality that lead to slow drift away from predictions based on the leading-order approximation $n_e = Z_i \,n_i$.

physics.plasm-ph↗

arXiv2020

General formulas for adiabatic invariants in nearly-periodic Hamiltonian systems

While it is well-known that every nearly-periodic Hamiltonian system possesses an adiabatic invariant, extant methods for computing terms in the adiabatic invariant series are inefficient. The most popular method involves the heavy intermediate calculation of a non-unique near-identity coordinate transformation, even though the adiabatic invariant itself is a uniquely-defined scalar. A less well-known method, developed by S. Omohundro, avoids calculating intermediate sequences of coordinate transformations but is also inefficient as it involves its own sequence of complex intermediate calculations. In order to improve the efficiency of future calculations of adiabatic invariants, we derive generally-applicable, readily computable formulas for the first several terms in the adiabatic invariant series. To demonstrate the utility of these formulas, we apply them to charged particle dynamics in a strong magnetic field and magnetic field-line dynamics when the field lines are nearly closed.

physics.plasm-ph↗

arXiv2020

Time-dependent relaxed magnetohydrodynamics -- inclusion of cross helicity constraint using phase-space action

A new formulation of time-dependent Relaxed Magnetohydrodynamics (RxMHD) is derived variationally from Hamilton's Action Principle using microscopic conservation of mass, and macroscopic conservation of total magnetic helicity, cross helicity and entropy, as the only constraints on variations of density, pressure, fluid velocity, and magnetic vector potential over a relaxation domain. A novel phase-space version of the MHD Lagrangian is derived, which gives Euler--Lagrange equations consistent with previous work on exact ideal and relaxed MHD equilibria with flow, but generalizes the relaxation concept from statics to dynamics. The application of the new dynamical formalism is illustrated for short-wavelength linear waves, and the interface connection conditions for Multiregion Relaxed MHD (MRxMHD) are derived. The issue of whether $\vec{E} + \vec{u}\times\vec{B} = 0$ should be a constraint is discussed.

physics.plasm-ph↗

arXiv2019

Guiding center dynamics as motion on a formal slow manifold in loop space

Since the late 1950's, the dynamics of a charged particle's ``guiding center" in a strong, inhomogeneous magnetic field have been understood in terms of near-identity coordinate transformations. The basic idea has been to approximately transform away the coupling between the fast gyration around magnetic fields lines and the remaining slow dynamics. This basic understanding now serves as a foundation for describing the kinetic theory of strongly magnetized plasmas. I present a new way to understand guiding center dynamics that does not involve complicated coordinate transformations. Starting from a dynamical systems formulation of the motion of parameterized loops in a charged particle's phase space, I identify a formal slow manifold in loop space. Dynamics on this formal slow manifold are equivalent to guiding center dynamics to all orders in perturbation theory. After demonstrating that loop space dynamics comprises an infinite-dimensional noncanonical Hamiltonian system, I recover the well-known Hamiltonian formulation of guiding center motion by restricting the (pre-) symplectic structure on loop space to the finite-dimensional guiding center formal slow manifold.

math-ph↗

arXiv2019

Variational nonlinear WKB in the Eulerian frame

Nonlinear WKB is a multiscale technique for studying locally-plane-wave solutions of nonlinear partial differential equations (PDE). Its application comprises two steps: (1) replacement of the original PDE with an extended system separating the large scales from the small, and (2) reduction of the extended system to its slow manifold. In the context of variational fluid theories with particle relabeling symmetry, nonlinear WKB in the mean Eulerian frame is known to possess a variational structure. This much has been demonstrated using, for instance, the theoretical apparatus known as the generalized Lagrangian mean. On the other hand, the variational structure of nonlinear WKB in the conventional Eulerian frame remains mysterious. By exhibiting a variational principle for the extended equations from step (1) above, we demonstrate that nonlinear WKB in the Eulerian frame is in fact variational. Remarkably, the variational principle for the extended system admits loops of relabeling transformations as a symmetry group. Noether's theorem therefore implies that the extended Eulerian equations possess a family of circulation invariants parameterized by $S^1$. As an illustrative example, we use our results to systematically deduce a variational model of high-frequency acoustic waves interacting with a larger-scale compressible isothermal flow.

math-ph↗

arXiv2019

Gauge-free electromagnetic gyrokinetic theory

A new gauge-free electromagnetic gyrokinetic theory is developed, in which the gyrocenter equations of motion and the gyrocenter phase-space transformation are expressed in terms of the perturbed electromagnetic fields, instead of the usual perturbed potentials. Gyrocenter polarization and magnetization are derived explicitly from the gyrocenter Hamiltonian, up to first order in the gyrocenter perturbation expansion. Expressions for the sources in Maxwell's equations are derived in a form that is suitable for simulation studies, as well as kinetic-gyrokinetic hybrid modeling.

physics.plasm-ph↗

arXiv2018

Hamiltonian structure of the guiding center plasma model

The guiding center plasma model (also known as kinetic MHD) is a rigorous sub-cyclotron-frequency closure of the Vlasov-Maxwell system. While the model has been known for decades, and it plays a fundamental role in describing the physics of strongly-magnetized collisionless plasmas, its Hamiltonian structure has never been found. We provide explicit expressions for the model's Poisson bracket and Hamiltonian, and thereby prove that the model is an infinite-dimensional Hamiltonian system. The bracket is derived in a manner that ensures it satisfies the Jacobi identity. We also report on several previously-unknown circulation theorems satisfied by the guiding center plasma model. Without knowledge of the Hamiltonian structure, these circulation theorems would be difficult to guess.

physics.plasm-ph↗

arXiv2017

Toroidal regularization of the guiding center Lagrangian

In the Lagrangian theory of guiding center motion, an effective magnetic field $\mathbf{B}^* = \mathbf{B}+(m/e)v_\parallel\nabla \times {\mathbf{b}}$ appears prominently in the equations of motion. Because the parallel component of this field can vanish, there is a range of parallel velocities where the Lagrangian guiding center equations of motion are either ill-defined or very badly behaved. Moreover, the velocity dependence of $\mathbf{B}^*$ greatly complicates the identification of canonical variables, and therefore the formulation of symplectic integrators for guiding center dynamics. This Letter introduces a simple coordinate transformation that alleviates both of these problems simultaneously. In the new coordinates, the Liouville volume element is equal to the toroidal cotravariant component of the magnetic field. Consequently, the large-velocity singularity is completely eliminated. Moreover, passing from the new coordinate system to canonical coordinates is extremely simple, even if the magnetic field is devoid of flux surfaces. We demonstrate the utility of this approach to regularizing the guiding center Lagrangian by presenting a new and stable one-step variational integrator for guiding centers moving in arbitrary time-dependent electromagnetic fields.

physics.plasm-ph↗

arXiv2017

Magnetohydrodynamic motion of a two-fluid plasma

The two-fluid Maxwell system couples frictionless electron and ion fluids via Maxwell's equations. When the frequencies of light waves, Langmuir waves, and single-particle cyclotron motion are scaled to be asymptotically large, the two-fluid Maxwell system becomes a fast-slow dynamical system. This fast-slow system admits a formally-exact single-fluid closure that may be computed systematically with any desired order of accuracy through the use of a functional partial differential equation. In the leading order approximation, the closure reproduces magnetohydrodynamics (MHD). Higher order truncations of the closure give an infinite hierarchy of extended MHD models that allow for arbitrary mass ratio, as well as perturbative deviations from charge neutrality. The closure is interpreted geometrically as an invariant slow manifold in the infinite-dimensional two-fluid phase space, on which two-fluid motions are free of high-frequency oscillations. This perspective shows that the full closure inherits a Hamiltonian structure from two-fluid theory. By employing infinite-dimensional Lie transforms, the Poisson bracket for the all-orders closure may be obtained in closed form. Thus, conservative truncations of the single-fluid closure may be obtained by simply truncating the single-fluid Hamiltonian. Moreover, the closed-form expression for the all-orders bracket gives explicit expressions for a number of the full closure's conservation laws. Notably, the full closure, as well as any of its Hamiltonian truncations, admits a pair of independent circulation invariants.

physics.plasm-ph↗

arXiv2016

Lifting of the Vlasov-Maxwell Bracket by Lie-transform Method

The Vlasov-Maxwell equations possess a Hamiltonian structure expressed in terms of a Hamiltonian functional and a functional bracket. In the present paper, the transformation ("lift") of the Vlasov-Maxwell bracket induced by the dynamical reduction of single-particle dynamics is investigated when the reduction is carried out by Lie-transform perturbation methods. The ultimate goal of this work is to derive explicit Hamiltonian formulations for the guiding-center and gyrokinetic Vlasov-Maxwell equations that have important applications in our understanding of turbulent magnetized plasmas. Here, it is shown that the general form of the reduced Vlasov-Maxwell equations possesses a Hamiltonian structure defined in terms of a reduced Hamiltonian functional and a reduced bracket that automatically satisfies the standard bracket properties.

physics.plasm-ph↗

arXiv2016

Finite-dimensional collisionless kinetic theory

A collisionless kinetic plasma model may often be cast as an infinite-dimensional noncanonical Hamiltonian system. I show that, when this is the case, the model can be discretized in space and particles while preserving its Hamiltonian structure, thereby producing a finite-dimensional Hamiltonian system that approximates the original kinetic model. I apply the general theory to two example systems: the relativistic Vlasov-Maxwell system with spin, and a gyrokinetic Vlasov-Maxwell system.

physics.plasm-ph↗

arXiv2015

The initial value problem in Lagrangian drift kinetic theory

Existing high-order variational drift kinetic theories contain unphysical rapidly varying modes that are not seen at low-orders. These unphysical modes, which may be rapidly oscillating, damped, or growing, are ushered in by a failure of conventional high-order drift kinetic theory to preserve the structure of its parent model's initial value problem (Vlasov-Poisson for electrostatics, Vlasov-Darwin or Vlasov-Maxwell for electromagnetics.) In short, the system phase space is unphysically enlarged in conventional high-order variational drift kinetic theory. I present an alternative, "renormalized" variational approach to drift kinetic theory that manifestly respects the parent model's initial value problem. The basic philosophy underlying this alternate approach is that high-order drift kinetic theory ought to be derived by truncating the all-orders system phase space Lagrangian instead of the usual "field+particle" Lagrangian. For the sake of clarity, this story is told first through the lens of a finite-dimensional toy model of high-order variational drift kinetics, the analogous full-on drift kinetic results are discussed subsequently. The renormalized drift kinetic system, while just as accurate as conventional formulations, does not support the troublesome rapidly varying mode.

physics.plasm-ph↗

arXiv2015

Chasing Hamiltonian structure in gyrokinetic theory

Hamiltonian structure is pursued and uncovered in collisional and collisionless gyrokinetic theory. A new Hamiltonian formulation of collisionless electromagnetic theory is presented that is ideally suited to implementation on modern supercomputers. The method used to uncover this structure is described in detail and applied to a number of examples, where several well-known plasma models are endowed with a Hamiltonian structure for the first time. The first energy- and momentum-conserving formulation of full-F collisional gyrokinetics is presented. In an effort to understand the theoretical underpinnings of this result at a deeper level, a \emph{stochastic} Hamiltonian modeling approach is presented and applied to pitch angle scattering. Interestingly, the collision operator produced by the Hamiltonian approach is equal to the Lorentz operator plus higher-order terms, but does not exactly conserve energy. Conversely, the classical Lorentz collision operator is provably not Hamiltonian in the stochastic sense.

math-ph↗

arXiv2015

Comment on "Symplectic integration of magnetic systems": a proof that the Boris algorithm is not variational

The Boris algorithm for integrating charged particle trajectories in electric and magnetic fields is popular due to its simple implementation, rapid iteration, and observed long-term numerical fidelity. The underlying cause of this long-term fidelity has become a matter of controversy, with one article claiming the method to be symplectic [S. D. Webb, J. Comput. Phys. 270 (2014) 570], and others claiming the method to be volume preserving but not symplectic [e.g. H. Qin et al., Phys. Plasmas 20 (2013) 084503]. To resolve the discrepancy, this letter leverages a discrete Helmholtz condition to demonstrate that no variational formulation of the Boris algorithm exists, indicating that the long-term fidelity should be attributed to the volume-preserving properties of the algorithm.

physics.comp-ph↗

arXiv2015

Energetically-consistent collisional gyrokinetics

We present a formulation of collisional gyrokinetic theory with exact conservation laws for energy and canonical toroidal momentum. Collisions are accounted for by a nonlinear gyrokinetic Landau operator. Gyroaveraging and linearization do not destroy the operator's conservation properties. Just as in ordinary kinetic theory, the conservation laws for collisional gyrokinetic theory are selected by the limiting collisionless gyrokinetic theory.

physics.plasm-ph↗

arXiv2015

Field theory and weak Euler-Lagrange equation for classical particle-field systems

It is commonly believed as a fundamental principle that energy-momentum conservation of a physical system is the result of space-time symmetry. However, for classical particle-field systems, e.g., charged particles interacting through self-consistent electromagnetic or electrostatic fields, such a connection has only been cautiously suggested. It has not been formally established. The difficulty is due to the fact that the dynamics of particles and the electromagnetic fields reside on different manifolds. We show how to overcome this difficulty and establish the connection by generalizing the Euler-Lagrange equation, the central component of a field theory, to a so-called weak form. The weak Euler-Lagrange equation induces a new type of flux, called the weak Euler-Lagrange current, which enters conservation laws. Using field theory together with the weak Euler-Lagrange equation developed here, energy-momentum conservation laws that are difficult to find otherwise can be systematically derived from the underlying space-time symmetry.

physics.plasm-ph↗

arXiv2015

Spectral and structural stability properties of charged particle dynamics in coupled lattices

It has been realized in recent years that coupled focusing lattices in accelerators and storage rings have significant advantages over conventional uncoupled focusing lattices, especially for high-intensity charged particle beams. A theoretical framework and associated tools for analyzing the spectral and structural stability properties of coupled lattices are formulated in this paper, based on the recently developed generalized Courant-Snyder theory for coupled lattices. It is shown that for periodic coupled lattices that are spectrally and structurally stable, the matrix envelope equation must admit matched solutions. Using the technique of normal form and pre-Iwasawa decomposition, a new method is developed to replace the (inefficient) shooting method for finding matched solutions for the matrix envelope equation. Stability properties of a continuously rotating quadrupole lattice are investigated. The Krein collision process for destabilization of the lattice is demonstrated.

physics.acc-ph↗