Searcharxiv⌕ Search

arXiv subjects

Jerrold E. Marsden

Publications and source records attributed to Jerrold E. Marsden.

At least 37 records · Page 2Linked to original sources
arXiv2007

Parametrization and Stress-Energy-Momentum Tensors in Metric Field Theories

We give an exposition of the parametrization method of Kuchar [1973] in the context of the multisymplectic approach to field theory, as presented in Gotay and Marsden [2008a]. The purpose of the formalism developed herein is to make any classical field theory, containing a metric as a sole background field, generally covariant (that is, "parametrized," with the spacetime diffeomorphism group as a symmetry group) as well as fully dynamic. This is accomplished by introducing certain "covariance fields" as genuine dynamic fields. As we shall see, the multimomenta conjugate to these new fields form the Piola-Kirchhoff version of the stress-energy-momentum tensor field, and their Euler-Lagrange equations are vacuously satisfied. Thus, these fields have no additional physical content; they serve only to provide an efficient means of parametrizing the theory. Our results are illustrated with two examples, namely an electromagnetic field and a Klein-Gordon vector field, both on a background spacetime.

math-ph↗
arXiv2007

The Lie-Poisson Structure of the Euler Equations of an Ideal Fluid

This paper provides a precise sense in which the time t map for the Euler equations of an ideal fluid in a region in R^n (or a smooth compact n-manifold with boundary) is a Poisson map relative to the Lie-Poisson bracket associated with the group of volume preserving diffeomorphism group. This is interesting and nontrivial because in Eulerian representation, the time t maps need not be C^1 from the Sobolev class H^s to itself (where s > (n/2) + 1). The idea of how this difficulty is overcome is to exploit the fact that one does have smoothness in the Lagrangian representation and then carefully perform a Lie-Poisson reduction procedure.

math.AP↗
arXiv2007

Concatenating Variational Principles and the Kinetic Stress-Energy-Momentum Tensor

We show how to "concatenate" variational principles over different bases into one over a single base, thereby providing a unified Lagrangian treatment of interacting systems. As an example we study a Klein-Gordon field interacting with a mesically charged particle. We employ our method to give a novel group-theoretic derivation of the kinetic stress-energy-momentum tensor density corresponding to the particle.

math-ph↗
arXiv2007

Controlled Lagrangians and Stabilization of Discrete Mechanical Systems I

Controlled Lagrangian and matching techniques are developed for the stabilization of relative equilibria and equilibria of discrete mechanical systems with symmetry as well as broken symmetry. Interesting new phenomena arise in the controlled Lagrangian approach in the discrete context that are not present in the continuous theory. In particular, to make the discrete theory effective, one can make an appropriate selection of momentum levels or, alternatively, introduce a new parameter into the controlled Lagrangian to complete the kinetic matching procedure. Specifically, new terms in the controlled shape equation that are necessary for potential matching in the discrete setting are introduced. The theory is illustrated with the problem of stabilization of the cart-pendulum system on an incline. The paper also discusses digital and model predictive controllers.

math.OC↗
arXiv2006

Controlled Lagrangians and Potential Shaping for Stabilization of Discrete Mechanical Systems

The method of controlled Lagrangians for discrete mechanical systems is extended to include potential shaping in order to achieve complete state-space asymptotic stabilization. New terms in the controlled shape equation that are necessary for matching in the discrete context are introduced. The theory is illustrated with the problem of stabilization of the cart-pendulum system on an incline. We also discuss digital and model predictive control.

math.OC↗
arXiv2006

A Class of Integrable Geodesic Flows on the Symplectic Group and the Symmetric Matrices

This paper shows that the left-invariant geodesic flow on the symplectic group relative to the Frobenius metric is an integrable system that is not contained in the Mishchenko-Fomenko class of rigid body metrics. This system may be expressed as a flow on symmetric matrices and is bi-Hamiltonian. This analysis is extended to cover flows on symmetric matrices when an isomorphism with the symplectic Lie algebra does not hold. The two Poisson structures associated with this system, including an analysis of its Casimirs, are completely analyzed. Since the system integrals are not generated by its Casimirs it is shown that the nature of integrability is fundamentally different from that exhibited in the Mischenko-Fomenko setting.

math-ph↗
arXiv2006

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.

math.NA↗
arXiv2005

A Discrete Theory of Connections on Principal Bundles

Connections on principal bundles play a fundamental role in expressing the equations of motion for mechanical systems with symmetry in an intrinsic fashion. A discrete theory of connections on principal bundles is constructed by introducing the discrete analogue of the Atiyah sequence, with a connection corresponding to the choice of a splitting of the short exact sequence. Equivalent representations of a discrete connection are considered, and an extension of the pair groupoid composition, that takes into account the principal bundle structure, is introduced. Computational issues, such as the order of approximation, are also addressed. Discrete connections provide an intrinsic method for introducing coordinates on the reduced space for discrete mechanics, and provide the necessary discrete geometry to introduce more general discrete symmetry reduction. In addition, discrete analogues of the Levi-Civita connection, and its curvature, are introduced by using the machinery of discrete exterior calculus, and discrete connections.

math.DG↗
arXiv2005

Discrete Exterior Calculus

We present a theory and applications of discrete exterior calculus on simplicial complexes of arbitrary finite dimension. This can be thought of as calculus on a discrete space. Our theory includes not only discrete differential forms but also discrete vector fields and the operators acting on these objects. This allows us to address the various interactions between forms and vector fields (such as Lie derivatives) which are important in applications. Previous attempts at discrete exterior calculus have addressed only differential forms. We also introduce the notion of a circumcentric dual of a simplicial complex. The importance of dual complexes in this field has been well understood, but previous researchers have used barycentric subdivision or barycentric duals. We show that the use of circumcentric duals is crucial in arriving at a theory of discrete exterior calculus that admits both vector fields and forms.

math.DG↗
arXiv2004

Momentum Maps and Classical Relativistic Fields. Part II: Canonical Analysis of Field Theories

With the covariant formulation in hand from the first paper of this series (physics/9801019), we begin in this second paper to study the canonical (or ``instantaneous'') formulation of classical field theories. The canonical formluation works with fields defined as time-evolving cross sections of bundles over a Cauchy surface, rather than as sections of bundles over spacetime as in the covariant formulation. In Chapter 5 we begin to relate these approaches to classical field theory; in particular, we show how covariant multisymplectic geometry induces the instantaneous symplectic geometry of cotangent bundles of sections of fields over a Cauchy surface. In Chapter 6, we proceed to consider field dynamics. A crucial feature of our discussion here is the degeneracy of the Lagrangian functionals for the field theories of interest. As a consequence of this degeneracy, we have constraints on the choice of initial data, and gauge freedom in the evolution of the fields. Chapter 6 considers the role of initial value constraints and gauge transformations in Hamiltonian field dynamics. In Chapter 7, we then describe how covariant momentum maps defined on the multiphase space induce "energy-momentum maps'' on the instantaneous phase spaces. We show that for a group action which leaves the Cauchy surface invariant, this energy-momentum map coincides with the usual notion of a momentum map. We also show, when the gauge group"includes'' the spacetime diffeomorphism group, that one of the components of the energy-momentum map corresponding to spacetime diffeomorphisms can be identified (up to sign) with the Hamiltonian for the theory.

math-ph↗
arXiv2004

Momentum Maps and Classical Relativistic Fields. Part I: Covariant Field Theory

This is the first paper of a five part work in which we study the Lagrangian and Hamiltonian structure of classical field theories with constraints. Our goal is to explore some of the connections between initial value constraints and gauge transformations in such theories (either relativistic or not). To do this, in the course of these four papers, we develop and use a number of tools from symplectic and multisymplectic geometry. Of central importance in our analysis is the notion of the ``energy-momentum map'' associated to the gauge group of a given classical field theory. We hope to demonstrate that many different and apparently unrelated facets of field theories can be thereby tied together and understood in an essentially new way. In Part I we develop some of the basic theory of classical fields from a spacetime covariant viewpoint. We begin with a study of the covariant Lagrangian and Hamiltonian formalisms, on jet bundles and multisymplectic manifolds, respectively. Then we discuss symmetries, conservation laws, and Noether's theorem in terms of ``covariant momentum maps.''

math-ph↗
arXiv2003

Momentum Maps and Measure-valued Solutions (Peakons, Filaments and Sheets) for the EPDiff Equation

We study the dynamics of measure-valued solutions of what we call the EPDiff equations, standing for the {\it Euler-Poincaré equations associated with the diffeomorphism group (of $\mathbb{R}^n$ or an $n$-dimensional manifold $M$)}. Our main focus will be on the case of quadratic Lagrangians; that is, on geodesic motion on the diffeomorphism group with respect to the right invariant Sobolev $H^1$ metric. The corresponding Euler-Poincaré (EP) equations are the EPDiff equations, which coincide with the averaged template matching equations (ATME) from computer vision and agree with the Camassa-Holm (CH) equations in one dimension. The corresponding equations for the volume preserving diffeomorphism group are the well-known LAE (Lagrangian averaged Euler) equations for incompressible fluids. We first show that the EPDiff equations are generated by a smooth vector field on the diffeomorphism group for sufficiently smooth solutions. This is analogous to known results for incompressible fluids--both the Euler equations and the LAE equations--and it shows that for sufficiently smooth solutions, the equations are well-posed for short time. In fact, numerical evidence suggests that, as time progresses, these smooth solutions break up into singular solutions which, at least in one dimension, exhibit soliton behavior. With regard to these non-smooth solutions, we study measure-valued solutions that generalize to higher dimensions the peakon solutions of the (CH) equation in one dimension. One of the main purposes of this paper is to show that many of the properties of these measure-valued solutions may be understood through the fact that their solution ansatz is a momentum map. Some additional geometry is also pointed out, for example, that this momentum map is one leg of a natural dual pair.

nlin.CD↗
arXiv2001

The Complex Geometry of Weak Piecewise Smooth Solutions of Integrable Nonlinear PDE's of Shallow Water and Dym Type

An extension of the algebraic-geometric method for nonlinear integrable PDE's is shown to lead to new piecewise smooth weak solutions of a class of $N$-component systems of nonlinear evolution equations. This class includes, among others, equations from the Dym and shallow water equation hierarchies. The main goal of the paper is to give explicit theta-functional solutions of these nonlinear PDE's, which are associated to nonlinear subvarieties of hyperelliptic Jacobians. The main results of the present paper are twofold. First, we exhibit some of the special features of integrable PDE's that admit piecewise smooth weak solutions, which make them different from equations whose solutions are globally meromorphic, such as the KdV equation. Second, we blend the techniques of algebraic geometry and weak solutions of PDE's to gain further insight into, and explicit formulas for, piecewise-smooth finite-gap solutions.

nlin.CD↗
arXiv2001

Dissipation induced Instabilities and the Mechanical Laser

We study the 1:1 resonance for perturbed Hamiltonian systems with small dissipative and energy injection terms. These perturbations of the 1:1 resonance exhibit dissipation induced instabilities. This mechanism allow us to show that a slightly pumping optical cavity is unstable when one takes into account the dissipative effects. The Maxwell-Bloch equations are the asymptotic normal form that describe this instability when energy is injected through forcing at zero frequency. We display a simple mechanical system, close to the 1:1 resonance, which is a mechanical analog of the Laser.

nlin.CD↗
arXiv2000

Abstract mechanical connection and Abelian reconstruction for almost Kahler manifolds

When the phase space P of a Hamiltonian G-system (P, ω, G, J, H) has an almost Kahler structure a preferred connection, called abstract mechanical connection, can be defined by declaring horizontal spaces at each point to be metric orthogonal to the tangent to the group orbit. Explicit formulas for the corresponding connection one-form A are derived in terms of the momentum map, symplectic and complex structures. Such connection can play the role of the reconstruction connection (see A. Blaom, Reconstruction phases via Poisson reduction. Diff. Geom. Appl., 12:231--252, 2000.), thus significantly simplifying computations of the corresponding dynamic and geometric phases for an Abelian group G. These ideas are illustrated using the example of the resonant three-wave interaction. Explicit formulas for the connection one-form and the phases are given together with some new results on the symmetry reduction of the Poisson structure.

math.DS↗
arXiv2000

The anisotropic averaged Euler equations

The purpose of this paper is to derive the anisotropic averaged Euler equations and to study their geometric and analytic properties. These new equations involve the evolution of a mean velocity field and an advected symmetric tensor that captures the fluctuation effects. Besides the derivation of these equations, the new results in the paper are smoothness properties of the equations in material representation, which gives well-posedness of the equations, and the derivation of a corrector to the macroscopic velocity field. The numerical implementation and physical implications of this set of equations will be explored in other publications.

math.AP↗
arXiv2000

Variational methods, multisymplectic geometry and continuum mechanics

This paper presents a variational and multisymplectic formulation of both compressible and incompressible models of continuum mechanics on general Riemannian manifolds. A general formalism is developed for non-relativistic first-order multisymplectic field theories with constraints, such as the incompressibility constraint. The results obtained in this paper set the stage for multisymplectic reduction and for the further development of Veselov-type multisymplectic discretizations and numerical algorithms. The latter will be the subject of a companion paper.

math.DG↗