-
Regular Reduction of Controlled Hamiltonian System with Symplectic Structure and Symmetry
Authors:
Jerrold E. Marsden,
Hong Wang,
Zhen-Xing Zhang
Abstract:
In this paper, our goal is to study the regular reduction theory of regular controlled Hamiltonian (RCH) systems with symplectic structure and symmetry, and this reduction is an extension of regular symplectic reduction theory of Hamiltonian systems under regular controlled Hamiltonian equivalence conditions. Thus, in order to describe uniformly RCH systems defined on a cotangent bundle and on the…
▽ More
In this paper, our goal is to study the regular reduction theory of regular controlled Hamiltonian (RCH) systems with symplectic structure and symmetry, and this reduction is an extension of regular symplectic reduction theory of Hamiltonian systems under regular controlled Hamiltonian equivalence conditions. Thus, in order to describe uniformly RCH systems defined on a cotangent bundle and on the regular reduced spaces, we first define a kind of RCH systems on a symplectic fiber bundle. Then introduce regular point and regular orbit reducible RCH systems with symmetry by using momentum map and the associated reduced symplectic forms. Moreover, we give regular point and regular orbit reduction theorems for RCH systems to explain the relationships between RpCH-equivalence, RoCH-equivalence for reducible RCH systems with symmetry and RCH-equivalence for associated reduced RCH systems. Finally, as an application we regard rigid body and heavy top as well as them with internal rotors as the regular point reducible RCH systems on the rotation group $\textmd{SO}(3)$ and on the Euclidean group $\textmd{SE}(3)$,as well as on their generalizations, respectively, and discuss their RCH-equivalence. We also describe the RCH system and RCH-equivalence from the viewpoint of port Hamiltonian system with a symplectic structure.
△ Less
Submitted 5 February, 2018; v1 submitted 16 February, 2012;
originally announced February 2012.
-
Space-time FLAVORS: finite difference, multisymlectic, and pseudospectral integrators for multiscale PDEs
Authors:
Molei Tao,
Houman Owhadi,
Jerrold E. Marsden
Abstract:
We present a new class of integrators for stiff PDEs. These integrators are generalizations of FLow AVeraging integratORS (FLAVORS) for stiff ODEs and SDEs introduced in [Tao, Owhadi and Marsden 2010] with the following properties: (i) Multiscale: they are based on flow averaging and have a computational cost determined by mesoscopic steps in space and time instead of microscopic steps in space an…
▽ More
We present a new class of integrators for stiff PDEs. These integrators are generalizations of FLow AVeraging integratORS (FLAVORS) for stiff ODEs and SDEs introduced in [Tao, Owhadi and Marsden 2010] with the following properties: (i) Multiscale: they are based on flow averaging and have a computational cost determined by mesoscopic steps in space and time instead of microscopic steps in space and time; (ii) Versatile: the method is based on averaging the flows of the given PDEs (which may have hidden slow and fast processes). This bypasses the need for identifying explicitly (or numerically) the slow variables or reduced effective PDEs; (iii) Nonintrusive: A pre-existing numerical scheme resolving the microscopic time scale can be used as a black box and easily turned into one of the integrators in this paper by turning the large coefficients on over a microscopic timescale and off during a mesoscopic timescale; (iv) Convergent over two scales: strongly over slow processes and in the sense of measures over fast ones; (v) Structure-preserving: for stiff Hamiltonian PDEs (possibly on manifolds), they can be made to be multi-symplectic, symmetry-preserving (symmetries are group actions that leave the system invariant) in all variables and variational.
△ Less
Submitted 1 April, 2011;
originally announced April 2011.
-
Variational integrators for electric circuits
Authors:
Sina Ober-Blöbaum,
Molei Tao,
Mulin Cheng,
Houman Owhadi,
Jerrold E. Marsden
Abstract:
In this contribution, we develop a variational integrator for the simulation of (stochastic and multiscale) electric circuits. When considering the dynamics of an electrical circuit, one is faced with three special situations: 1. The system involves external (control) forcing through external (controlled) voltage sources and resistors. 2. The system is constrained via the Kirchhoff current (KCL) a…
▽ More
In this contribution, we develop a variational integrator for the simulation of (stochastic and multiscale) electric circuits. When considering the dynamics of an electrical circuit, one is faced with three special situations: 1. The system involves external (control) forcing through external (controlled) voltage sources and resistors. 2. The system is constrained via the Kirchhoff current (KCL) and voltage laws (KVL). 3. The Lagrangian is degenerate. Based on a geometric setting, an appropriate variational formulation is presented to model the circuit from which the equations of motion are derived. A time-discrete variational formulation provides an iteration scheme for the simulation of the electric circuit. Dependent on the discretization, the intrinsic degeneracy of the system can be canceled for the discrete variational scheme. In this way, a variational integrator is constructed that gains several advantages compared to standard integration tools for circuits; in particular, a comparison to BDF methods (which are usually the method of choice for the simulation of electric circuits) shows that even for simple LCR circuits, a better energy behavior and frequency spectrum preservation can be observed using the developed variational integrator.
△ Less
Submitted 8 March, 2011;
originally announced March 2011.
-
Stokes-Dirac Structures through Reduction of Infinite-Dimensional Dirac Structures
Authors:
Joris Vankerschaver,
Hiroaki Yoshimura,
Melvin Leok,
Jerrold E. Marsden
Abstract:
We consider the concept of Stokes-Dirac structures in boundary control theory proposed by van der Schaft and Maschke. We introduce Poisson reduction in this context and show how Stokes-Dirac structures can be derived through symmetry reduction from a canonical Dirac structure on the unreduced phase space. In this way, we recover not only the standard structure matrix of Stokes-Dirac structures, bu…
▽ More
We consider the concept of Stokes-Dirac structures in boundary control theory proposed by van der Schaft and Maschke. We introduce Poisson reduction in this context and show how Stokes-Dirac structures can be derived through symmetry reduction from a canonical Dirac structure on the unreduced phase space. In this way, we recover not only the standard structure matrix of Stokes-Dirac structures, but also the typical non-canonical advection terms in (for instance) the Euler equation.
△ Less
Submitted 12 October, 2010;
originally announced October 2010.
-
Multi-Dirac Structures and Hamilton-Pontryagin Principles for Lagrange-Dirac Field Theories
Authors:
Joris Vankerschaver,
Hiroaki Yoshimura,
Jerrold E. Marsden
Abstract:
The purpose of this paper is to define the concept of multi-Dirac structures and to describe their role in the description of classical field theories. We begin by outlining a variational principle for field theories, referred to as the Hamilton-Pontryagin principle, and we show that the resulting field equations are the Euler-Lagrange equations in implicit form. Secondly, we introduce multi-Dirac…
▽ More
The purpose of this paper is to define the concept of multi-Dirac structures and to describe their role in the description of classical field theories. We begin by outlining a variational principle for field theories, referred to as the Hamilton-Pontryagin principle, and we show that the resulting field equations are the Euler-Lagrange equations in implicit form. Secondly, we introduce multi-Dirac structures as a graded analog of standard Dirac structures, and we show that the graph of a multisymplectic form determines a multi-Dirac structure. We then discuss the role of multi-Dirac structures in field theory by showing that the implicit field equations obtained from the Hamilton-Pontryagin principle can be described intrinsically using multi-Dirac structures. Furthermore, we show that any multi-Dirac structure naturally gives rise to a multi-Poisson bracket. We treat the case of field theories with nonholonomic constraints, showing that the integrability of the constraints is equivalent to the integrability of the underlying multi-Dirac structure. We finish with a number of illustrative examples, including time-dependent mechanics, nonlinear scalar fields and the electromagnetic field.
△ Less
Submitted 21 October, 2010; v1 submitted 2 August, 2010;
originally announced August 2010.
-
Temperature and Friction Accelerated Sampling of Boltzmann-Gibbs Distribution
Authors:
Molei Tao,
Houman Owhadi,
Jerrold E. Marsden
Abstract:
This paper is concerned with tuning friction and temperature in Langevin dynamics for fast sampling from the canonical ensemble. We show that near-optimal acceleration is achieved by choosing friction so that the local quadratic approximation of the Hamiltonian is a critical damped oscillator. The system is also over-heated and cooled down to its final temperature. The performances of different co…
▽ More
This paper is concerned with tuning friction and temperature in Langevin dynamics for fast sampling from the canonical ensemble. We show that near-optimal acceleration is achieved by choosing friction so that the local quadratic approximation of the Hamiltonian is a critical damped oscillator. The system is also over-heated and cooled down to its final temperature. The performances of different cooling schedules are analyzed as functions of total simulation time.
△ Less
Submitted 6 July, 2010;
originally announced July 2010.
-
From efficient symplectic exponentiation of matrices to symplectic integration of high-dimensional Hamiltonian systems with slowly varying quadratic stiff potentials
Authors:
Molei Tao,
Houman Owhadi,
Jerrold E. Marsden
Abstract:
We present a multiscale integrator for Hamiltonian systems with slowly varying quadratic stiff potentials that uses coarse timesteps (analogous to what the impulse method uses for constant quadratic stiff potentials). This method is based on the highly-non-trivial introduction of two efficient symplectic schemes for exponentiations of matrices that only require O(n) matrix multiplications operatio…
▽ More
We present a multiscale integrator for Hamiltonian systems with slowly varying quadratic stiff potentials that uses coarse timesteps (analogous to what the impulse method uses for constant quadratic stiff potentials). This method is based on the highly-non-trivial introduction of two efficient symplectic schemes for exponentiations of matrices that only require O(n) matrix multiplications operations at each coarse time step for a preset small number n. The proposed integrator is shown to be (i) uniformly convergent on positions; (ii) symplectic in both slow and fast variables; (iii) well adapted to high dimensional systems. Our framework also provides a general method for iteratively exponentiating a slowly varying sequence of (possibly high dimensional) matrices in an efficient way.
△ Less
Submitted 13 April, 2011; v1 submitted 23 June, 2010;
originally announced June 2010.
-
Structure preserving Stochastic Impulse Methods for stiff Langevin systems with a uniform global error of order 1 or 1/2 on position
Authors:
Molei Tao,
Houman Owhadi,
Jerrold E. Marsden
Abstract:
Impulse methods are generalized to a family of integrators for Langevin systems with quadratic stiff potentials and arbitrary soft potentials. Uniform error bounds (independent from stiff parameters) are obtained on integrated positions allowing for coarse integration steps. The resulting integrators are explicit and structure preserving (quasi-symplectic for Langevin systems).
Impulse methods are generalized to a family of integrators for Langevin systems with quadratic stiff potentials and arbitrary soft potentials. Uniform error bounds (independent from stiff parameters) are obtained on integrated positions allowing for coarse integration steps. The resulting integrators are explicit and structure preserving (quasi-symplectic for Langevin systems).
△ Less
Submitted 23 June, 2010;
originally announced June 2010.
-
Structure-Preserving Discretization of Incompressible Fluids
Authors:
Dmitry Pavlov,
Patrick Mullen,
Yiying Tong,
Eva Kanso,
Jerrold E. Marsden,
Mathieu Desbrun
Abstract:
The geometric nature of Euler fluids has been clearly identified and extensively studied over the years, culminating with Lagrangian and Hamiltonian descriptions of fluid dynamics where the configuration space is defined as the volume-preserving diffeomorphisms, and Kelvin's circulation theorem is viewed as a consequence of Noether's theorem associated with the particle relabeling symmetry of flui…
▽ More
The geometric nature of Euler fluids has been clearly identified and extensively studied over the years, culminating with Lagrangian and Hamiltonian descriptions of fluid dynamics where the configuration space is defined as the volume-preserving diffeomorphisms, and Kelvin's circulation theorem is viewed as a consequence of Noether's theorem associated with the particle relabeling symmetry of fluid mechanics. However computational approaches to fluid mechanics have been largely derived from a numerical-analytic point of view, and are rarely designed with structure preservation in mind, and often suffer from spurious numerical artifacts such as energy and circulation drift. In contrast, this paper geometrically derives discrete equations of motion for fluid dynamics from first principles in a purely Eulerian form. Our approach approximates the group of volume-preserving diffeomorphisms using a finite dimensional Lie group, and associated discrete Euler equations are derived from a variational principle with non-holonomic constraints. The resulting discrete equations of motion yield a structure-preserving time integrator with good long-term energy behavior and for which an exact discrete Kelvin's circulation theorem holds.
△ Less
Submitted 25 March, 2010; v1 submitted 20 December, 2009;
originally announced December 2009.
-
Discrete Lie Advection of Differential Forms
Authors:
P. Mullen,
A. McKenzie,
D. Pavlov,
L. Durant,
Y. Tong,
E. Kanso,
J. E. Marsden,
M. Desbrun
Abstract:
In this paper, we present a numerical technique for performing Lie advection of arbitrary differential forms. Leveraging advances in high-resolution finite volume methods for scalar hyperbolic conservation laws, we first discretize the interior product (also called contraction) through integrals over Eulerian approximations of extrusions. This, along with Cartan's homotopy formula and a discrete e…
▽ More
In this paper, we present a numerical technique for performing Lie advection of arbitrary differential forms. Leveraging advances in high-resolution finite volume methods for scalar hyperbolic conservation laws, we first discretize the interior product (also called contraction) through integrals over Eulerian approximations of extrusions. This, along with Cartan's homotopy formula and a discrete exterior derivative, can then be used to derive a discrete Lie derivative. The usefulness of this operator is demonstrated through the numerical advection of scalar fields and 1-forms on regular grids.
△ Less
Submitted 12 August, 2010; v1 submitted 7 December, 2009;
originally announced December 2009.
-
Non-intrusive and structure preserving multiscale integration of stiff ODEs, SDEs and Hamiltonian systems with hidden slow dynamics via flow averaging
Authors:
Molei Tao,
Houman Owhadi,
Jerrold E. Marsden
Abstract:
We introduce a new class of integrators for stiff ODEs as well as SDEs. These integrators are (i) {\it Multiscale}: they are based on flow averaging and so do not fully resolve the fast variables and have a computational cost determined by slow variables (ii) {\it Versatile}: the method is based on averaging the flows of the given dynamical system (which may have hidden slow and fast processes)…
▽ More
We introduce a new class of integrators for stiff ODEs as well as SDEs. These integrators are (i) {\it Multiscale}: they are based on flow averaging and so do not fully resolve the fast variables and have a computational cost determined by slow variables (ii) {\it Versatile}: the method is based on averaging the flows of the given dynamical system (which may have hidden slow and fast processes) instead of averaging the instantaneous drift of assumed separated slow and fast processes. This bypasses the need for identifying explicitly (or numerically) the slow or fast variables (iii) {\it Nonintrusive}: A pre-existing numerical scheme resolving the microscopic time scale can be used as a black box and easily turned into one of the integrators in this paper by turning the large coefficients on over a microscopic timescale and off during a mesoscopic timescale (iv) {\it Convergent over two scales}: strongly over slow processes and in the sense of measures over fast ones. We introduce the related notion of two-scale flow convergence and analyze the convergence of these integrators under the induced topology (v) {\it Structure preserving}: for stiff Hamiltonian systems (possibly on manifolds), they can be made to be symplectic, time-reversible, and symmetry preserving (symmetries are group actions that leave the system invariant) in all variables. They are explicit and applicable to arbitrary stiff potentials (that need not be quadratic). Their application to the Fermi-Pasta-Ulam problems shows accuracy and stability over four orders of magnitude of time scales. For stiff Langevin equations, they are symmetry preserving, time-reversible and Boltzmann-Gibbs reversible, quasi-symplectic on all variables and conformally symplectic with isotropic friction.
△ Less
Submitted 13 April, 2010; v1 submitted 9 August, 2009;
originally announced August 2009.
-
Covariant Balance Laws in Continua with Microstructure
Authors:
Arash Yavari,
Jerrold E. Marsden
Abstract:
The purpose of this paper is to extend the Green-Naghdi-Rivlin balance of energy method to continua with microstructure. The key idea is to replace the group of Galilean transformations with the group of diffeomorphisms of the ambient space. A key advantage is that one obtains in a natural way all the needed balance laws on both the macro and micro levels along with two Doyle-Erickson formulas.
The purpose of this paper is to extend the Green-Naghdi-Rivlin balance of energy method to continua with microstructure. The key idea is to replace the group of Galilean transformations with the group of diffeomorphisms of the ambient space. A key advantage is that one obtains in a natural way all the needed balance laws on both the macro and micro levels along with two Doyle-Erickson formulas.
△ Less
Submitted 13 November, 2008;
originally announced November 2008.
-
The Geometry and Dynamics of Interacting Rigid Bodies and Point Vortices
Authors:
Joris Vankerschaver,
Eva Kanso,
Jerrold E. Marsden
Abstract:
We derive the equations of motion for a planar rigid body of circular shape moving in a 2D perfect fluid with point vortices using symplectic reduction by stages. After formulating the theory as a mechanical system on a configuration space which is the product of a space of embeddings and the special Euclidian group in two dimensions, we divide out by the particle relabelling symmetry and then b…
▽ More
We derive the equations of motion for a planar rigid body of circular shape moving in a 2D perfect fluid with point vortices using symplectic reduction by stages. After formulating the theory as a mechanical system on a configuration space which is the product of a space of embeddings and the special Euclidian group in two dimensions, we divide out by the particle relabelling symmetry and then by the residual rotational and translational symmetry. The result of the first stage reduction is that the system is described by a non-standard magnetic symplectic form encoding the effects of the fluid, while at the second stage, a careful analysis of the momentum map shows the existence of two equivalent Poisson structures for this problem. For the solid-fluid system, we hence recover the ad hoc Poisson structures calculated by Shashikanth, Marsden, Burdick and Kelly on the one hand, and Borisov, Mamaev, and Ramodanov on the other hand. As a side result, we obtain a convenient expression for the symplectic leaves of the reduced system and we shed further light on the interplay between curvatures and cocycles in the description of the dynamics.
△ Less
Submitted 8 October, 2008;
originally announced October 2008.
-
Discrete Mechanics and Optimal Control: an Analysis
Authors:
S. Ober-Bloebaum,
O. Junge,
J. E. Marsden
Abstract:
The optimal control of a mechanical system is of crucial importance in many realms. Typical examples are the determination of a time-minimal path in vehicle dynamics, a minimal energy trajectory in space mission design, or optimal motion sequences in robotics and biomechanics. In most cases, some sort of discretization of the original, infinite-dimensional optimization problem has to be performe…
▽ More
The optimal control of a mechanical system is of crucial importance in many realms. Typical examples are the determination of a time-minimal path in vehicle dynamics, a minimal energy trajectory in space mission design, or optimal motion sequences in robotics and biomechanics. In most cases, some sort of discretization of the original, infinite-dimensional optimization problem has to be performed in order to make the problem amenable to computations. The approach proposed in this paper is to directly discretize the variational description of the system's motion. The resulting optimization algorithm lets the discrete solution directly inherit characteristic structural properties from the continuous one like symmetries and integrals of the motion. We show that the DMOC approach is equivalent to a finite difference discretization of Hamilton's equations by a symplectic partitioned Runge-Kutta scheme and employ this fact in order to give a proof of convergence.
The numerical performance of DMOC and its relationship to other existing optimal control methods are investigated.
△ Less
Submitted 8 October, 2008;
originally announced October 2008.
-
Variational Integrators for Maxwell's Equations with Sources
Authors:
Ari Stern,
Yiying Tong,
Mathieu Desbrun,
Jerrold E. Marsden
Abstract:
In recent years, two important techniques for geometric numerical discretization have been developed. In computational electromagnetics, spatial discretization has been improved by the use of mixed finite elements and discrete differential forms. Simultaneously, the dynamical systems and mechanics communities have developed structure-preserving time integrators, notably variational integrators t…
▽ More
In recent years, two important techniques for geometric numerical discretization have been developed. In computational electromagnetics, spatial discretization has been improved by the use of mixed finite elements and discrete differential forms. Simultaneously, the dynamical systems and mechanics communities have developed structure-preserving time integrators, notably variational integrators that are constructed from a Lagrangian action principle. Here, we discuss how to combine these two frameworks to develop variational spacetime integrators for Maxwell's equations. Extending our previous work, which first introduced this variational perspective for Maxwell's equations without sources, we also show here how to incorporate free sources of charge and current.
△ Less
Submitted 13 March, 2008;
originally announced March 2008.
-
Hamilton-Pontryagin Integrators on Lie Groups: Introduction and Structure-Preserving Properties
Authors:
Nawaf Bou-Rabee,
Jerrold E. Marsden
Abstract:
In this paper structure-preserving time-integrators for rigid body-type mechanical systems are derived from a discrete Hamilton-Pontryagin variational principle. From this principle one can derive a novel class of variational partitioned Runge-Kutta methods on Lie groups. Included among these integrators are generalizations of symplectic Euler and Störmer-Verlet integrators from flat spaces to L…
▽ More
In this paper structure-preserving time-integrators for rigid body-type mechanical systems are derived from a discrete Hamilton-Pontryagin variational principle. From this principle one can derive a novel class of variational partitioned Runge-Kutta methods on Lie groups. Included among these integrators are generalizations of symplectic Euler and Störmer-Verlet integrators from flat spaces to Lie groups. Because of their variational design, these integrators preserve a discrete momentum map (in the presence of symmetry) and a symplectic form.
In a companion paper, we perform a numerical analysis of these methods and report on numerical experiments on the rigid body and chaotic dynamics of an underwater vehicle. The numerics reveal that these variational integrators possess structure-preserving properties that methods designed to preserve momentum (using the coadjoint action of the Lie group) and energy (for example, by projection) lack.
△ Less
Submitted 7 January, 2008;
originally announced January 2008.
-
The Lie-Poisson Structure of the Euler Equations of an Ideal Fluid
Authors:
Sergiy Vasylkevych,
Jerrold E. Marsden
Abstract:
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…
▽ More
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.
△ Less
Submitted 30 November, 2007;
originally announced November 2007.
-
Geometric Computational Electrodynamics with Variational Integrators and Discrete Differential Forms
Authors:
Ari Stern,
Yiying Tong,
Mathieu Desbrun,
Jerrold E. Marsden
Abstract:
In this paper, we develop a structure-preserving discretization of the Lagrangian framework for electromagnetism, combining techniques from variational integrators and discrete differential forms. This leads to a general family of variational, multisymplectic numerical methods for solving Maxwell's equations that automatically preserve key symmetries and invariants.
In doing so, we demonstrate…
▽ More
In this paper, we develop a structure-preserving discretization of the Lagrangian framework for electromagnetism, combining techniques from variational integrators and discrete differential forms. This leads to a general family of variational, multisymplectic numerical methods for solving Maxwell's equations that automatically preserve key symmetries and invariants.
In doing so, we demonstrate several new results, which apply both to some well-established numerical methods and to new methods introduced here. First, we show that Yee's finite-difference time-domain (FDTD) scheme, along with a number of related methods, are multisymplectic and derive from a discrete Lagrangian variational principle. Second, we generalize the Yee scheme to unstructured meshes, not just in space but in 4-dimensional spacetime. This relaxes the need to take uniform time steps, or even to have a preferred time coordinate at all. Finally, as an example of the type of methods that can be developed within this general framework, we introduce a new asynchronous variational integrator (AVI) for solving Maxwell's equations. These results are illustrated with some prototype simulations that show excellent energy and conservation behavior and lack of spurious modes, even for an irregular mesh with asynchronous time stepping.
△ Less
Submitted 27 May, 2009; v1 submitted 30 July, 2007;
originally announced July 2007.
-
Controlled Lagrangians and Stabilization of Discrete Mechanical Systems I
Authors:
Anthony M. Bloch,
Melvin Leok,
Jerrold E. Marsden,
Dmitry V. Zenkov
Abstract:
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 ma…
▽ More
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.
△ Less
Submitted 30 April, 2007;
originally announced April 2007.
-
Moving from Data-Constrained to Data-Enabled Research: Experiences and Challenges in Collecting, Validating and Analyzing Large-Scale e-Commerce Data
Authors:
Ravi Bapna,
Paulo Goes,
Ram Gopal,
James R. Marsden
Abstract:
Widespread e-commerce activity on the Internet has led to new opportunities to collect vast amounts of micro-level market and nonmarket data. In this paper we share our experiences in collecting, validating, storing and analyzing large Internet-based data sets in the area of online auctions, music file sharing and online retailer pricing. We demonstrate how such data can advance knowledge by fac…
▽ More
Widespread e-commerce activity on the Internet has led to new opportunities to collect vast amounts of micro-level market and nonmarket data. In this paper we share our experiences in collecting, validating, storing and analyzing large Internet-based data sets in the area of online auctions, music file sharing and online retailer pricing. We demonstrate how such data can advance knowledge by facilitating sharper and more extensive tests of existing theories and by offering observational underpinnings for the development of new theories. Just as experimental economics pushed the frontiers of economic thought by enabling the testing of numerous theories of economic behavior in the environment of a controlled laboratory, we believe that observing, often over extended periods of time, real-world agents participating in market and nonmarket activity on the Internet can lead us to develop and test a variety of new theories. Internet data gathering is not controlled experimentation. We cannot randomly assign participants to treatments or determine event orderings. Internet data gathering does offer potentially large data sets with repeated observation of individual choices and action. In addition, the automated data collection holds promise for greatly reduced cost per observation. Our methods rely on technological advances in automated data collection agents. Significant challenges remain in developing appropriate sampling techniques integrating data from heterogeneous sources in a variety of formats, constructing generalizable processes and understanding legal constraints. Despite these challenges, the early evidence from those who have harvested and analyzed large amounts of e-commerce data points toward a significant leap in our ability to understand the functioning of electronic commerce.
△ Less
Submitted 5 September, 2006;
originally announced September 2006.
-
Controlled Lagrangians and Potential Shaping for Stabilization of Discrete Mechanical Systems
Authors:
Anthony M. Bloch,
Melvin Leok,
Jerrold E. Marsden,
Dmitry V. Zenkov
Abstract:
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…
▽ More
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.
△ Less
Submitted 15 September, 2006; v1 submitted 26 February, 2006;
originally announced February 2006.
-
Discrete Exterior Calculus
Authors:
Mathieu Desbrun,
Anil N. Hirani,
Melvin Leok,
Jerrold E. Marsden
Abstract:
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…
▽ More
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.
△ Less
Submitted 18 August, 2005; v1 submitted 18 August, 2005;
originally announced August 2005.
-
A Discrete Theory of Connections on Principal Bundles
Authors:
Melvin Leok,
Jerrold E. Marsden,
Alan D. Weinstein
Abstract:
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 representa…
▽ More
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.
△ Less
Submitted 18 August, 2005; v1 submitted 18 August, 2005;
originally announced August 2005.
-
Discrete Routh Reduction
Authors:
Sameer M. Jalnapurkar,
Melvin Leok,
Jerrold E. Marsden,
Matthew West
Abstract:
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 feat…
▽ More
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.
△ Less
Submitted 5 January, 2006; v1 submitted 17 August, 2005;
originally announced August 2005.
-
Abstract mechanical connection and Abelian reconstruction for almost Kahler manifolds
Authors:
Sergey Pekarsky,
Anthony D. Blaom,
Jerrold E. Marsden
Abstract:
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 c…
▽ More
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.
△ Less
Submitted 3 September, 2000;
originally announced September 2000.
-
Variational methods, multisymplectic geometry and continuum mechanics
Authors:
Jerrold E. Marsden,
Sergey Pekarsky,
Steve Shkoller,
Matthew West
Abstract:
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 red…
▽ More
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.
△ Less
Submitted 3 May, 2000;
originally announced May 2000.
-
The anisotropic averaged Euler equations
Authors:
Jerrold E. Marsden,
Steve Shkoller
Abstract:
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 materia…
▽ More
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.
△ Less
Submitted 8 May, 2000; v1 submitted 3 May, 2000;
originally announced May 2000.
-
Symmetry reduction of discrete Lagrangian mechanics on Lie groups
Authors:
Jerrold E. Marsden,
Sergey Pekarsky,
Steve Shkoller
Abstract:
For a discrete mechanical system on a Lie group $G$ determined by a (reduced) Lagrangian $\ell$ we define a Poisson structure via the pull-back of the Lie-Poisson structure on the dual of the Lie algebra ${\mathfrak g}^*$ by the corresponding Legendre transform. The main result shown in this paper is that this structure coincides with the reduction under the symmetry group $G$ of the canonical d…
▽ More
For a discrete mechanical system on a Lie group $G$ determined by a (reduced) Lagrangian $\ell$ we define a Poisson structure via the pull-back of the Lie-Poisson structure on the dual of the Lie algebra ${\mathfrak g}^*$ by the corresponding Legendre transform. The main result shown in this paper is that this structure coincides with the reduction under the symmetry group $G$ of the canonical discrete Lagrange 2-form $ω_\mathbb{L}$ on $G \times G$. Its symplectic leaves then become dynamically invariant manifolds for the reduced discrete system. Links between our approach and that of groupoids and algebroids as well as the reduced Hamilton-Jacobi equation are made. The rigid body is discussed as an example.
△ Less
Submitted 4 April, 2000;
originally announced April 2000.
-
Discrete Euler-Poincaré and Lie-Poisson Equations
Authors:
Jerrold E. Marsden,
Sergey Pekarsky,
Steve Shkoller
Abstract:
In this paper, discrete analogues of Euler-Poincaré and Lie-Poisson reduction theory are developed for systems on finite dimensional Lie groups $G$ with Lagrangians $L:TG \to {\mathbb R}$ that are $G$-invariant. These discrete equations provide ``reduced'' numerical algorithms which manifestly preserve the symplectic structure. The manifold $G \times G$ is used as an approximation of $TG$, and a…
▽ More
In this paper, discrete analogues of Euler-Poincaré and Lie-Poisson reduction theory are developed for systems on finite dimensional Lie groups $G$ with Lagrangians $L:TG \to {\mathbb R}$ that are $G$-invariant. These discrete equations provide ``reduced'' numerical algorithms which manifestly preserve the symplectic structure. The manifold $G \times G$ is used as an approximation of $TG$, and a discrete Langragian ${\mathbb L}:G \times G \to {\mathbb R}$ is construced in such a way that the $G$-invariance property is preserved. Reduction by $G$ results in new ``variational'' principle for the reduced Lagrangian $\ell:G \to {\mathbb R}$, and provides the discrete Euler-Poincaré (DEP) equations. Reconstruction of these equations recovers the discrete Euler-Lagrange equations developed in \cite{MPS,WM} which are naturally symplectic-momentum algorithms. Furthermore, the solution of the DEP algorithm immediately leads to a discrete Lie-Poisson (DLP) algorithm. It is shown that when $G=\text{SO} (n)$, the DEP and DLP algorithms for a particular choice of the discrete Lagrangian ${\mathbb L}$ are equivalent to the Moser-Veselov scheme for the generalized rigid body. %As an application, a reduced symplectic integrator for two dimensional %hydrodynamics is constructed using the SU$(n)$ approximation to the volume %preserving diffeomorphism group of ${\mathbb T}^2$.
△ Less
Submitted 17 September, 1999;
originally announced September 1999.
-
The geometry and analysis of the averaged Euler equations and a new diffeomorphism group
Authors:
J. E. Marsden,
T. S. Ratiu,
S. Shkoller
Abstract:
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…
▽ More
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.
△ Less
Submitted 19 August, 1999;
originally announced August 1999.
-
Multisymplectic geometry, covariant Hamiltonians, and water waves
Authors:
Jerrold E. Marsden,
Steve Shkoller
Abstract:
This paper concerns the development and application of the multisymplectic Lagrangian and Hamiltonian formalism for nonlinear partial differential equations.
In this theory, solutions of a PDE are sections of a fiber bundle $Y$ over a base manifold $X$ of dimension $n$$+$1, typically taken to be spacetime. Given a connection on $Y$, a covariant Hamiltonian density ${\mathcal H}$ is then intrin…
▽ More
This paper concerns the development and application of the multisymplectic Lagrangian and Hamiltonian formalism for nonlinear partial differential equations.
In this theory, solutions of a PDE are sections of a fiber bundle $Y$ over a base manifold $X$ of dimension $n$$+$1, typically taken to be spacetime. Given a connection on $Y$, a covariant Hamiltonian density ${\mathcal H}$ is then intrinsically defined on the primary constraint manifold $P_{\mathcal L}$, the image of the multisymplectic version of the Legendre transformation. One views $P_{\mathcal L}$ as a subbundle of $J^1(Y)^\star$, the affine dual of $J^1(Y)$, the first jet bundle of $Y$. A canonical multisymplectic ($n$$+$2)-form $Ω_{\mathcal H}$ is then defined, from which we obtain a multisymplectic Hamiltonian system of differential equations that is equivalent to both the original PDE as well as the Euler-Lagrange equations of the corresponding Lagrangian. We show that the $n$$+$1 2-forms $ω^{(μ)}$ defined by Bridges [1997] are a particular coordinate representation for a single multisymplectic ($n$$+$2)-form, and in the presence of symmetries, can be assembled into $Ω_{\mathcal H}$. A generalized Hamiltonian Noether theory is then constructed which recovers the vanishing of the divergence of the vector of $n$$+$1 distinct momentum mappings defined in Bridges [1997] and, when applied to water waves, recovers Whitham's conservation of wave action. We also show the utility of this theory in the study of periodic pattern formation and wave instability.
△ Less
Submitted 16 July, 1998;
originally announced July 1998.
-
Multisymplectic geometry, variational integrators, and nonlinear PDEs
Authors:
Jerrold E. Marsden,
George W. Patrick,
Steve Shkoller
Abstract:
This paper presents a geometric-variational approach to continuous and discrete mechanics and field theories. Using multisymplectic geometry, we show that the existence of the fundamental geometric structures as well as their preservation along solutions can be obtained directly from the variational principle. In particular, we prove that a unique multisymplectic structure is obtained by taking…
▽ More
This paper presents a geometric-variational approach to continuous and discrete mechanics and field theories. Using multisymplectic geometry, we show that the existence of the fundamental geometric structures as well as their preservation along solutions can be obtained directly from the variational principle. In particular, we prove that a unique multisymplectic structure is obtained by taking the derivative of an action function, and use this structure to prove covariant generalizations of conservation of symplecticity and Noether's theorem. Natural discretization schemes for PDEs, which have these important preservation properties, then follow by choosing a discrete action functional. In the case of mechanics, we recover the variational symplectic integrators of Veselov type, while for PDEs we obtain covariant spacetime integrators which conserve the corresponding discrete multisymplectic form as well as the discrete momentum mappings corresponding to symmetries. We show that the usual notion of symplecticity along an infinite-dimensional space of fields can be naturally obtained by making a spacetime split. All of the aspects of our method are demonstrated with a nonlinear sine-Gordon equation, including computational results and a comparison with other discretization schemes.
△ Less
Submitted 15 July, 1998;
originally announced July 1998.
