arXiv subjects

Jerrold E. Marsden

Publications and source records attributed to Jerrold E. Marsden.

43 records · Page 3Linked to original sources

arXiv2000

Symmetry reduction of discrete Lagrangian mechanics on Lie groups

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.

math.NA↗

arXiv1999

Discrete Euler-Poincaré and Lie-Poisson Equations

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$.

math.NA↗

arXiv1999

The Euler-Poincare Equations in Geophysical Fluid Dynamics

Recent theoretical work has developed the Hamilton's-principle analog of Lie-Poisson Hamiltonian systems defined on semidirect products. The main theoretical results are twofold: (1) Euler-Poincaré equations (the Lagrangian analog of Lie-Poisson Hamiltonian equations) are derived for a parameter dependent Lagrangian from a general variational principle of Lagrange d'Alembert type in which variations are constrained; (2) an abstract Kelvin-Noether theorem is derived for such systems. By imposing suitable constraints on the variations and by using invariance properties of the Lagrangian, as one does for the Euler equations for the rigid body and ideal fluids, we cast several standard Eulerian models of geophysical fluid dynamics (GFD) at various levels of approximation into Euler-Poincaré form and discuss their corresponding Kelvin-Noether theorems and potential vorticity conservation laws.

chao-dyn↗

arXiv1999

A Nonlinear Analysis of the Averaged Euler Equations

This paper develops the geometry and analysis of the averaged Euler equations for ideal incompressible flow in domains in Euclidean space and on Riemannian manifolds, possibly with boundary. The averaged Euler equations involve a parameter $α$; one interpretation is that they are obtained by ensemble averaging the Euler equations in Lagrangian representation over rapid fluctuations whose amplitudes are of order $α$. The particle flows associated with these equations are shown to be geodesics on a suitable group of volume preserving diffeomorphisms, just as with the Euler equations themselves (according to Arnold's theorem), but with respect to a right invariant $H^1$ metric instead of the $L^2$ metric. The equations are also equivalent to those for a certain second grade fluid. Additional properties of the Euler equations, such as smoothness of the geodesic spray (the Ebin-Marsden theorem) are also shown to hold. Using this nonlinear analysis framework, the limit of zero viscosity for the corresponding viscous equations is shown to be a regular limit, {\it even in the presence of boundaries}.

chao-dyn↗

arXiv1998

Multisymplectic geometry, covariant Hamiltonians, and water waves

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.

math.DG↗

arXiv1998

Multisymplectic geometry, variational integrators, and nonlinear PDEs

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.

math.DG↗

arXiv1993

Dissipation Induced Instabilities

The main goal of this paper is to prove that if the energy-momentum (or energy-Casimir) method predicts formal instability of a relative equilibrium in a Hamiltonian system with symmetry, then with the addition of dissipation, the relative equilibrium becomes spectrally and hence linearly and nonlinearly unstable. The energy-momentum method assumes that one is in the context of a mechanical system with a given symmetry group. Our result assumes that the dissipation chosen does not destroy the conservation law associated with the given symmetry group---thus, we consider internal dissipation. This also includes the special case of systems with no symmetry and ordinary equilibria. The theorem is proved by combining the techniques of Chetaev, who proved instability theorems using a special Chetaev-Lyapunov function, with those of Hahn, which enable one to strengthen the Chetaev results from Lyapunov instability to spectral instability. The main achievement is to strengthen Chetaev's methods to the context of the block diagonalization version of the energy momentum method given by Lewis, Marsden, Posbergh, and Simo. However, we also give the eigenvalue movement formulae of Krein, MacKay and others both in general and adapted to the context of the normal form of the linearized equations given by the block diagonal form, as provided by the energy-momentum method. A number of specific examples, such as the rigid body with internal rotors, are provided to illustrate the results.

chao-dyn↗