arXiv subjects

Joris Vankerschaver

Publications and source records attributed to Joris Vankerschaver.

36 records · Page 2Linked to original sources

arXiv2013

A novel formulation of point vortex dynamics on the sphere: geometrical and numerical aspects

In this paper, we present a novel Lagrangian formulation of the equations of motion for point vortices on the unit 2-sphere. We show first that no linear Lagrangian formulation exists directly on the 2-sphere but that a Lagrangian may be constructed by pulling back the dynamics to the 3-sphere by means of the Hopf fibration. We then use the isomorphism of the 3-sphere with the Lie group SU(2) to derive a variational Lie group integrator for point vortices which is symplectic, second-order, and preserves the unit-length constraint. At the end of the paper, we compare our integrator with classical fourth-order Runge--Kutta, the second-order midpoint method, and a standard Lie group Munthe-Kaas method.

math-ph↗

arXiv2013

Generating Functionals and Lagrangian PDEs

We introduce the concept of Type-I/II generating functionals defined on the space of boundary data of a Lagrangian field theory. On the Lagrangian side, we define an analogue of Jacobi's solution to the Hamilton-Jacobi equation for field theories, and we show that by taking variational derivatives of this functional, we obtain an isotropic submanifold of the space of Cauchy data, described by the so-called multisymplectic form formula. We also define a Hamiltonian analogue of Jacobi's solution, and we show that this functional is a Type-II generating functional. We finish the paper by defining a similar framework of generating functions for discrete field theories, and we show that for the linear wave equation, we recover the multisymplectic conservation law of Bridges.

math-ph↗

arXiv2013

The Hamilton-Pontryagin Principle and Multi-Dirac Structures for Classical Field Theories

We introduce 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 Euler-Lagrange equations for fields obtained from the Hamilton-Pontryagin principle can be described intrinsically using multi-Dirac structures. Lastly, we show a number of illustrative examples, including time-dependent mechanics, nonlinear scalar fields, Maxwell's equations, and elastostatics.

math-ph↗

arXiv2013

Relative Geodesics in the Special Euclidean Group

We propose a notion of distance between two parametrized planar curves, called their discrepancy, and defined intuitively as the minimal amount of deformation needed to deform the source curve into the target curve. A precise definition of discrepancy is given as follows. A curve of transformations in the special Euclidean group SE(2) is said to be admissible if it maps the source curve to the target curve under the point-wise action of SE(2) on the plane. After endowing the group SE(2) with a left-invariant metric, we define a relative geodesic in SE(2) to be a critical point of the energy functional associated to the metric, over all admissible curves. The discrepancy is then defined as the value of the energy of the minimizing relative geodesic. In the first part of the paper, we derive a scalar ODE which is a necessary condition for a curve in SE(2) to be a relative geodesic, and we discuss some of the properties of the discrepancy. In the second part of the paper, we consider discrete curves, and by means of a variational principle, we derive a system of discrete equations for the relative geodesics. We finish with several examples.

math.DG↗

arXiv2013

The motion of the 2D hydrodynamic Chaplygin sleigh in the presence of circulation

We consider the motion of a planar rigid body in a potential flow with circulation and subject to a certain nonholonomic constraint. This model is related to the design of underwater vehicles. The equations of motion admit a reduction to a 2-dimensional nonlinear system, which is integrated explicitly. We show that the reduced system comprises both asymptotic and periodic dynamics separated by a critical value of the energy, and give a complete classification of types of the motion. Then we describe the whole variety of the trajectories of the body on the plane.

nlin.SI↗

arXiv2012

Nonholonomic LL systems on central extensions and the hydrodynamic Chaplygin sleigh with circulation

We consider nonholonomic systems whose configuration space is the central extension of a Lie group and have left invariant kinetic energy and constraints. We study the structure of the associated Euler-Poincare-Suslov equations and show that there is a one-to-one correspondence between invariant measures on the original group and on the extended group. Our results are applied to the hydrodynamic Chaplygin sleigh, that is, a planar rigid body that moves in a potential flow subject to a nonholonomic constraint modeling a fin or keel attached to the body, in the case where there is circulation around the body.

math-ph↗

arXiv2011

Routh Reduction by Stages

This paper deals with the Lagrangian analogue of symplectic or point reduction by stages. We develop Routh reduction as a reduction technique that preserves the Lagrangian nature of the dynamics. To do so we heavily rely on the relation between Routh reduction and cotangent symplectic reduction. The main results in this paper are: (i) we develop a class of so called magnetic Lagrangian systems and this class has the property that it is closed under Routh reduction; (ii) we construct a transformation relating the magnetic Lagrangian system obtained after two subsequent Routh reductions and the magnetic Lagrangian system obtained after Routh reduction w.r.t. to the full symmetry group.

math-ph↗

arXiv2011

On the Geometry of Multi-Dirac Structures and Gerstenhaber Algebras

In a companion paper, we introduced a notion of multi-Dirac structures, a graded version of Dirac structures, and we discussed their relevance for classical field theories. In the current paper we focus on the geometry of multi-Dirac structures. After recalling the basic definitions, we introduce a graded multiplication and a multi-Courant bracket on the space of sections of a multi-Dirac structure, so that the space of sections has the structure of a Gerstenhaber algebra. We then show that the graph of a k-form on a manifold gives rise to a multi-Dirac structure and also that this multi-Dirac structure is integrable if and only if the corresponding form is closed. Finally, we show that the multi-Courant bracket endows a subset of the ring of differential forms with a graded Poisson bracket, and we relate this bracket to some of the multisymplectic brackets found in the literature.

math.DG↗

arXiv2010

Multi-Dirac Structures and Hamilton-Pontryagin Principles for Lagrange-Dirac Field Theories

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.

math-ph↗

arXiv2010

Stokes-Dirac Structures through Reduction of Infinite-Dimensional Dirac Structures

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.

math.DG↗

arXiv2010

The Dynamics of a Rigid Body in Potential Flow with Circulation

We consider the motion of a two-dimensional body of arbitrary shape in a planar irrotational, incompressible fluid with a given amount of circulation around the body. We derive the equations of motion for this system by performing symplectic reduction with respect to the group of volume-preserving diffeomorphisms and obtain the relevant Poisson structures after a further Poisson reduction with respect to the group of translations and rotations. In this way, we recover the equations of motion given for this system by Chaplygin and Lamb, and we give a geometric interpretation for the Kutta-Zhukowski force as a curvature-related effect. In addition, we show that the motion of a rigid body with circulation can be understood as a geodesic flow on a central extension of the special Euclidian group SE(2), and we relate the cocycle in the description of this central extension to a certain curvature tensor.

math-ph↗

arXiv2010

Unambiguous Formalism for Higher-Order Lagrangian Field Theories

The aim of this paper is to propose an unambiguous intrinsic formalism for higher-order field theories which avoids the arbitrariness in the generalization of the conventional description of field theories, which implies the existence of different Cartan forms and Legendre transformations. We propose a differential-geometric setting for the dynamics of a higher-order field theory, based on the Skinner and Rusk formalism for mechanics. This approach incorporates aspects of both, the Lagrangian and the Hamiltonian description, since the field equations are formulated using the Lagrangian on a higher-order jet bundle and the canonical multisymplectic form on its dual. As both of these objects are uniquely defined, the Skinner-Rusk approach has the advantage that it does not suffer from the arbitrariness in conventional descriptions. The result is that we obtain a unique and global intrinsic version of the Euler-Lagrange equations for higher-order field theories. Several examples illustrate our construction.

math.DG↗

arXiv2008

The Geometry and Dynamics of Interacting Rigid Bodies and Point Vortices

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.

math.DS↗

arXiv2007

Euler-Poincare reduction for discrete field theories

In this note, we develop a theory of Euler-Poincare reduction for discrete Lagrangian field theories. We introduce the concept of Euler-Poincare equations for discrete field theories, as well as a natural extension of the Moser-Veselov scheme, and show that both are equivalent. The resulting discrete field equations are interpreted in terms of discrete differential geometry. An application to the theory of discrete harmonic mappings is also briefly discussed.

math-ph↗

arXiv2007

A class of nonholonomic kinematic constraints in elasticity

We propose a first example of a simple classical field theory with nonholonomic constraints. Our model is a straightforward modification of a Cosserat rod. Based on a mechanical analogy, we argue that the constraint forces should be modeled in a special way, and we show how such a procedure can be naturally implemented in the framework of geometric field theory. Finally, we derive the equations of motion and we propose a geometric integration scheme for the dynamics of a simplified model.

math-ph↗

arXiv2006

Discrete Lagrangian field theories on Lie groupoids

We present a geometric framework for discrete classical field theories, where fields are modeled as "morphisms" defined on a discrete grid in the base space, and take values in a Lie groupoid. We describe the basic geometric setup and derive the field equations from a variational principle. We also show that the solutions of these equations are multisymplectic in the sense of Bridges and Marsden. The groupoid framework employed here allows us to recover not only some previously known results on discrete multisymplectic field theories, but also to derive a number of new results, most notably a notion of discrete Lie-Poisson equations and discrete reduction. In a final section, we establish the connection with discrete differential geometry and gauge theories on a lattice.

math-ph↗

arXiv2006

Geometric aspects of nonholonomic field theories

A geometric model for nonholonomic Lagrangian field theory is studied. The multisymplectic approach to such a theory as well as the corresponding Cauchy formalism are discussed. It is shown that in both formulations, the relevant equations for the constrained system can be recovered by a suitable projection of the equations for the underlying free (i.e. unconstrained) Lagrangian system.

math-ph↗

arXiv2005

The momentum map for nonholonomic field theories with symmetry

In this note, we introduce a suitable generalization of the momentum map for nonholonomic field theories and prove a covariant form of the nonholonomic momentum equation. We show that these covariant objects coincide with their counterparts in mechanics by making the transition to the Cauchy formalism.

math-ph↗