Arturo Echeverría-Enríquez

Geometry of multisymplectic Hamiltonian first-order field theories

In the jet bundle description of field theories (multisymplectic models, in particular), there are several choices for the multimomentum bundle where the covariant Hamiltonian formalism takes place. As a consequence, several proposals for this formalism can be stated, and, on each one of them, the differentiable structures needed for setting the formalism are obtained in different ways. In this work we make an accurate study of some of these Hamiltonian formalisms, showing their equivalence. In particular, the geometrical structures (canonical or not) needed for the Hamiltonian formalism, are introduced and compared, and the derivation of Hamiltonian field equations from the corresponding variational principle is shown in detail. Furthermore, the Hamiltonian formalism of systems described by Lagrangians is performed, both for the hyper-regular and almost-regular cases. Finally, the role of connections in the construction of Hamiltonian field theories is clarified.

Multivector field formulation of Hamiltonian field theories: equations and symmetries

We state the intrinsic form of the Hamiltonian equations of first-order Classical Field theories in three equivalent geometrical ways: using multivector fields, jet fields and connections. Thus, these equations are given in a form similar to that in which the Hamiltonian equations of mechanics are usually given. Then, using multivector fields, we study several aspects of these equations, such as the existence and non-uniqueness of solutions, and the integrability problem. In particular, these problems are analyzed for the case of Hamiltonian systems defined in a submanifold of the multimomentum bundle. Furthermore, the existence of first integrals of these Hamiltonian equations is considered, and the relation between Cartan-Noether symmetries and general symmetries of the system is discussed. Noether’s theorem is also stated in this context, both the “classical” version and its generalization to include higher-order Cartan-Noether symmetries. Finally, the equivalence between the Lagrangian and Hamiltonian formalisms is also discussed.

MULTIVECTOR FIELDS AND CONNECTIONS. SETTING LAGRANGIAN EQUATIONS IN FIELD THEORIES

The integrability of multivector fields in a differentiable manifold is studied. Then, given a jet bundle J1E→E→M, it is shown that integrable multivector fields in E are equivalent to integrable connections in the bundle E→M (that is, integrable jet fields in J1E). This result is applied to the particular case of multivector fields in the manifold J1E and connections in the bundle J1E→M (that is, jet fields in the repeated jet bundle J1J1E), in order to characterize integrable multivector fields and connections whose integral manifolds are canonical lifting of sections. These results allow us to set the Lagrangian evolution equations for first-order classical field theories in three equivalent geometrical ways (in a form similar to that in which the Lagrangian dynamical equations of nonautonomous mechanical systems are usually given). Then, using multivector fields, we discuss several aspects of these evolution equations (both for the regular and singular cases); namely, the existence and nonuniqueness o...

Lagrangian-Hamiltonian unified formalism for field theory

The Rusk–Skinner formalism was developed in order to give a geometrical unified formalism for describing mechanical systems. It incorporates all the characteristics of Lagrangian and Hamiltonian descriptions of these systems (including dynamical equations and solutions, constraints, Legendre map, evolution operators, equivalence, etc.). In this work we extend this unified framework to first-order classical field theories, and show how this description comprises the main features of the Lagrangian and Hamiltonian formalisms, both for the regular and singular cases. This formulation is a first step toward further applications in optimal control theory for partial differential equations.

Skinner?Rusk unified formalism for optimal control systems and applications

A geometric approach to time-dependent optimal control problems is proposed. This formulation is based on the Skinner and Rusk formalism for Lagrangian and Hamiltonian systems. The corresponding unified formalism developed for optimal control systems allows us to formulate geometrically the necessary conditions given by a weak form of Pontryagins maximum principle, provided that the differentiability with respect to controls is assumed and the space of controls is open. Furthermore, our method is also valid for implicit optimal control systems and, in particular, for the so-called descriptor systems (optimal control problems including both differential and algebraic equations).

Geometric reduction in optimal control theory with symmetries

Abstract A general study of symmetries in optimal control theory is given, starting from the presymplectic description of this kind of systems. Then, Noethers theorem, as well as the corresponding reduction procedure (based on the application of the Marsden-Weinstein theorem adapted to the presymplectic case) are stated both in the regular and singular cases, which are previously described.

Extended Hamiltonian systems in multisymplectic field theories

We consider Hamiltonian systems in first-order multisymplectic field theories. We review the properties of Hamiltonian systems in the so-called restricted multimomentum bundle, including the variational principle which leads to the Hamiltonian field equations. In an analogous way to how these systems are defined in the so-called extended (symplectic) formulation of nonautonomous mechanics, we introduce Hamiltonian systems in the extended multimomentum bundle. The geometric properties of these systems are studied, the Hamiltonian equations are analyzed using integrable multivector fields, the corresponding variational principle is also stated, and the relation between the extended and the restricted Hamiltonian systems is established. All these properties are also adapted to certain kinds of submanifolds of the multimomentum bundles in order to cover the case of almost-regular field theories.

Unified formalism for nonautonomous mechanical systems

We present a unified geometric framework for describing both the Lagrangian and Hamiltonian formalisms of regular and non-regular time-dependent mechanical systems, which is based on the approach of Skinner and Rusk [18]. The dynamical equations of motion and their compatibility and consistency are carefully studied, making clear that all the characteristics of the Lagrangian and the Hamiltonian formalisms are recovered in this formulation. As an example, it is studied a semidiscretization of the nonlinear wave equation proving the applicability of the proposed formalism.

On the multimomentum bundles and the Legendre maps in field theories

Abstract We study the geometrical background of the Hamiltonian formalism of first-order classical field theories. In particular, different proposals of multimomentum bundles existing in the usual literature (including their canonical structures) are analyzed and compared. The corresponding Legendre maps are introduced. As a consequence, the definition of regular and almost-regular Lagrangian systems is reviewed and extended in different but equivalent ways.

On the Construction of K-Operators in Field Theories as Sections Along Legendre Maps

The ‘time-evolution K-operator’ (or ‘relative Hamiltonian vector field’) in mechanics is a powerful tool which can be geometrically defined as a vector field along the Legendre map. It has been extensively used by several authors for studying the structure and properties of the dynamical systems (mainly the nonregular ones), such as the relation between the Lagrangian and Hamiltonian formalisms, constraints, and higher-order mechanics. This paper is devoted to defining a generalization of this operator for field theories, in a covariant formulation. In order to do this, we use sections along maps, in particular multivector fields (skew-symmetric contravariant tensor fields of order greater than 1), jet fields and connection forms along the Legendre map. As a relevant result, we use these geometrical objects to obtain the solutions of the Lagrangian and Hamiltonian field equations, and the equivalence among them (specially for nonregular field theories).