Some basic properties of infinite dimensional Hamiltonian systems

We consider some fundamental properties of infinite dimensional Hamiltonian systems, both linear and nonlinear. For exemple, in the case of linear systems, we prove a symplectic version of the teorem of M. Stone. In the general case we establish conservation of energy and the moment function for system with symmetry. (The moment function was introduced by B. Kostant and J .M. Souriau). For infinite dimensional systems these conservation laws are more delicate than those for finite dimensional systems because we are dealing with partial as opposed to ordinary differential equations

The flow over delta wings at low speeds with leading edge separation

A low speed investigation of the flow over a 40 degree apex angle delta wing with sharp leading edges had been made in order to ascertain details of the flow in the viscous region near the leading edge of the suction surface of the wing. A physical picture of the flow was obtained from the surface flow and a smoke technique of flow visualization, combined with detailed measurements of total head, dynamic pressure, flow directions and vortex core positions in the flow above the wing

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

Nonsmooth Lagrangian mechanics and variational collision integrators

Variational techniques are used to analyze the problem of rigid-body dynamics with impacts. The theory of smooth Lagrangian mechanics is extended to a nonsmooth context appropriate for collisions, and it is shown in what sense the system is symplectic and satisfies a Noether-style momentum conservation theorem. Discretizations of this nonsmooth mechanics are developed by using the methodology of variational discrete mechanics. This leads to variational integrators which are symplectic-momentum preserving and are consistent with the jump conditions given in the continuous theory. Specific examples of these methods are tested numerically, and the long-time stable energy behavior typical of variational methods is demonstrated

Generalized poisson brackets and nonlinear Liapunov stability application to reduces mhd

A method is presented for obtaining Liapunov functionals (LF) and proving nonlinear stability. The method uses the generalized Poisson bracket (GPB) formulation of Hamiltonian dynamics. As an illustration, certain stationary solutions of ideal reduced MHD (RMHD) are shown to be nonlinearly stable. This includes Grad-Shafranov and Alfven solutions

Routhian reduction for quasi-invariant Lagrangians

In this paper we describe Routhian reduction as a special case of standard symplectic reduction, also called Marsden-Weinstein reduction. We use this correspondence to present a generalization of Routhian reduction for quasi-invariant Lagrangians, i.e. Lagrangians that are invariant up to a total time derivative. We show how functional Routhian reduction can be seen as a particular instance of reduction of a quasi-invariant Lagrangian, and we exhibit a Routhian reduction procedure for the special case of Lagrangians with quasi-cyclic coordinates. As an application we consider the dynamics of a charged particle in a magnetic field.Comment: 24 pages, 3 figure

Hamiltonian systems with symmetry, coadjoint orbits and plasma physics

The symplectic and Poisson structures on reduced phase spaces are reviewed, including the symplectic structure on coadjoint orbits of a Lie group and the Lie-Poisson structure on the dual of a Lie algebra. These results are applied to plasma physics. We show in three steps how the Maxwell-Vlasov equations for a collisionless plasma can be written in Hamiltonian form relative to a certain Poisson bracket. First, the Poisson-Vlasov equations are shown to be in Hamiltonian form relative to the Lie-Poisson bracket on the dual of the (nite dimensional) Lie algebra of innitesimal canonical transformations. Then we write Maxwell's equations in Hamiltonian form using the canonical symplectic structure on the phase space of the electromagnetic elds, regarded as a gauge theory. In the last step we couple these two systems via the reduction procedure for interacting systems. We also show that two other standard models in plasma physics, ideal MHD and two- uid electrodynamics, can be written in Hamiltonian form using similar group theoretic techniques