Gauge Theory for Finite-Dimensional Dynamical Systems

Gauge theory is a well-established concept in quantum physics, electrodynamics, and cosmology. This theory has recently proliferated into new areas, such as mechanics and astrodynamics. In this paper, we discuss a few applications of gauge theory in finite-dimensional dynamical systems with implications to numerical integration of differential equations. We distinguish between rescriptive and descriptive gauge symmetry. Rescriptive gauge symmetry is, in essence, re-scaling of the independent variable, while descriptive gauge symmetry is a Yang-Mills-like transformation of the velocity vector field, adapted to finite-dimensional systems. We show that a simple gauge transformation of multiple harmonic oscillators driven by chaotic processes can render an apparently "disordered" flow into a regular dynamical process, and that there exists a remarkable connection between gauge transformations and reduction theory of ordinary differential equations. Throughout the discussion, we demonstrate the main ideas by considering examples from diverse engineering and scientific fields, including quantum mechanics, chemistry, rigid-body dynamics and information theory

Stability of Relative Equilibria of Point Vortices on a Sphere and Symplectic Integrators

This paper analyzes the dynamics of N point vortices moving on a sphere from the point of view of geometric mechanics. The formalism is developed for the general case of N vortices, and the details are provided for the (integrable) case N = 3. Stability of relative equilibria is analyzed by the energy-momentum method. Explicit criteria for stability of different configurations with generic and non-generic momenta are obtained. In each case, a group of transformations is specied, such that motion in the original (unreduced) phase space is stable modulo this group. Finally, we outline the construction of a symplectic-momentum integrator for vortex dynamics on a sphere

Resonant Geometric Phases for Soliton Equations

The goal of the present paper is to introduce a multidimensional generalization of asymptotic reduction given in a paper by Alber and Marsden [1992], to use this to obtain a new class of solutions that we call resonant solitons, and to study the corresponding geometric phases. The term "resonant solitons" is used because those solutions correspond to a spectrum with multiple points, and they also represent a dividing solution between two different types of solitons. In this sense, these new solutions are degenerate and, as such, will be considered as singular points in the moduli space of solitons

Nonlinear Stability in Fluids and Plasmas

N/

Complex geometric asymptotics for nonlinear systems on complex varieties

N/

The geometry and analysis of the averaged Euler equations and a new diffeomorphism group

We present a geometric analysis of the incompressible averaged Euler equations for an ideal inviscid fluid. We show that solutions of these equations are geodesics on the volume-preserving diffeomorphism group of a new weak right invariant pseudo metric. We prove that for precompact open subsets of ${\mathbb R}^n$, this system of PDEs with Dirichlet boundary conditions are well-posed for initial data in the Hilbert space $H^s$, $s>n/2+1$. We then use a nonlinear Trotter product formula to prove that solutions of the averaged Euler equations are a regular limit of solutions to the averaged Navier-Stokes equations in the limit of zero viscosity. This system of PDEs is also the model for second-grade non-Newtonian fluids

Discrete Routh Reduction

This paper develops the theory of abelian Routh reduction for discrete mechanical systems and applies it to the variational integration of mechanical systems with abelian symmetry. The reduction of variational Runge-Kutta discretizations is considered, as well as the extent to which symmetry reduction and discretization commute. These reduced methods allow the direct simulation of dynamical features such as relative equilibria and relative periodic orbits that can be obscured or difficult to identify in the unreduced dynamics. The methods are demonstrated for the dynamics of an Earth orbiting satellite with a non-spherical $J_2$ correction, as well as the double spherical pendulum. The $J_2$ problem is interesting because in the unreduced picture, geometric phases inherent in the model and those due to numerical discretization can be hard to distinguish, but this issue does not appear in the reduced algorithm, where one can directly observe interesting dynamical structures in the reduced phase space (the cotangent bundle of shape space), in which the geometric phases have been removed. The main feature of the double spherical pendulum example is that it has a nontrivial magnetic term in its reduced symplectic form. Our method is still efficient as it can directly handle the essential non-canonical nature of the symplectic structure. In contrast, a traditional symplectic method for canonical systems could require repeated coordinate changes if one is evoking Darboux' theorem to transform the symplectic structure into canonical form, thereby incurring additional computational cost. Our method allows one to design reduced symplectic integrators in a natural way, despite the noncanonical nature of the symplectic structure.Comment: 24 pages, 7 figures, numerous minor improvements, references added, fixed typo

Reduction, Symmetry and Phases in Mechanics

Various holonomy phenomena are shown to be instances of the reconstruction procedure for mechanical systems with symmetry. We systematically exploit this point of view for fixed systems (for example with controls on the internal, or reduced, variables) and for slowly moving systems in an adiabatic context. For the latter, we obtain the phases as the holonomy for a connection which synthesizes the Cartan connection for moving mechanical systems with the Hannay-Berry connection for integrable systems. This synthesis allows one to treat in a natural way examples like the ball in the slowly rotating hoop and also non-integrable mechanical systems

Normalizing connections and the energy-momentum method

The block diagonalization method for determining the stability of relative equilibria is discussed from the point of view of connections. We construct connections whose horizontal and vertical decompositions simultaneosly put the second variation of the augmented Hamiltonian and the symplectic structure into normal form. The cotangent bundle reduction theorem provides the setting in which the results are obtained

Binary Asteroid Observation Orbits from a Global Dynamical Perspective

We study spacecraft motion near a binary asteroid by means of theoretical and computational tools from geometric mechanics and dynamical systems. We model the system assuming that one of the asteroids is a rigid body (ellipsoid) and the other a sphere. In particular, we are interested in finding periodic and quasi-periodic orbits for the spacecraft near the asteroid pair that are suitable for observations and measurements. First, using reduction theory, we study the full two body problem (gravitational interaction between the ellipsoid and the sphere) and use the energy-momentum method to prove nonlinear stability of certain relative equilibria. This study allows us to construct the restricted full three-body problem (RF3BP) for the spacecraft motion around the binary, assuming that the asteroid pair is in relative equilibrium. Then, we compute the modified Lagrangian fixed points and study their spectral stability. The fixed points of the restricted three-body problem are modified in the RF3BP because one of the primaries is a rigid body and not a point mass. A systematic studydepending on the parameters of the problem is performed in an effort to understand the rigid body effects on the Lagrangian stability regions. Finally, using frequency analysis, we study the global dynamics near these modified Lagrangian points. From this global picture, we are able to identify (almost-) invariant tori in the stability region near the modified Lagrangian points. Quasi-periodic trajectories on these invariant tori are potentially convenient places to park the spacecraft while it is observing the asteroid pair