arXiv subjects

M. C. Muñoz-Lecanda

Publications and source records attributed to M. C. Muñoz-Lecanda.

17 recordsLinked to original sources

arXiv2018

Multisymplectic structures and invariant tensors for Lie systems

A Lie system is the non-autonomous system of differential equations describing the integral curves of a non-autonomous vector field taking values in a finite-dimensional Lie algebra of vector fields, a so-called Vessiot--Guldberg Lie algebra. This work pioneers the analysis of Lie systems admitting a Vessiot--Guldberg Lie algebra of Hamiltonian vector fields relative to a multisymplectic structure: the multisymplectic Lie systems. Geometric methods are developed to consider a Lie system as a multisymplectic one. By attaching a multisymplectic Lie system via its multisymplectic structure with a tensor coalgebra, we find methods to derive superposition rules, constants of motion, and invariant tensor fields relative to the evolution of the multisymplectic Lie system. Our results are illustrated with examples occurring in physics, mathematics, and control theory.

math-ph↗

arXiv2018

Connections and jet fields

In this review paper we discuss the different interpretations of the concept of connection in a fiber bundle and in a jet bundle, and relate it with first and second-order systems of partial differential equations (PDE's) and multivector fields. As particular cases we analyze the concepts of linear connections and connections in a manifold.

math.DG↗

arXiv2014

A Hamiltonian Study Of The Stability and Bifurcations For The Satellite Problem

We study the dynamics of a rigid body in a central gravitational field modeled as a Hamiltonian system with continuous rotational symmetries following the geometrical framework of Wang et al. Novelties of our work are the use the Reduced Energy Momentum for the stability analysis and the treatment of axisymmetric bodies. We explicitly show the existence of new relative equilibria and study their stability and bifurcation patterns.

math.DS↗

arXiv2013

Invariant Forms and Automorphisms of Locally Homogeneous Multisymplectic Manifolds

It is shown that the geometry of locally homogeneous multisymplectic manifolds (that is, smooth manifolds equipped with a closed nondegenerate form of degree > 1, which is locally homogeneous of degree k with respect to a local Euler field) is characterized by their automorphisms. Thus, locally homogeneous multisymplectic manifolds extend the family of classical geometries possessing a similar property: symplectic, volume and contact. The proof of the first result relies on the characterization of invariant differential forms with respect to the graded Lie algebra of infinitesimal automorphisms, and on the study of the local properties of Hamiltonian vector fields on locally multisymplectic manifolds. In particular it is proved that the group of multisymplectic diffeomorphisms acts (strongly locally) transitively on the manifold. It is also shown that the graded Lie algebra of infinitesimal automorphisms of a locally homogeneous multisymplectic manifold characterizes their multisymplectic diffeomorphisms.

math.DG↗

arXiv2012

Presymplectic high order maximum principle

Pontryagin's Maximum Principle is an outstanding result for solving optimal control problems by means of optimizing a specific function on some particular variables, the so called controls. However, this is not always enough for solving all these problems. A high order maximum principle (Krener, 1977) must be used in order to obtain more necessary conditions for optimality. These new conditions determine candidates to be optimal controls for a wider range of optimal control problems. Here, we focus on control-affine systems. Krener's high order perturbations are redefined following the notions introduced in Aguilar-Lewis (2008). A weaker version of Krener's high order maximum principle is stated in the framework of presymplectic geometry. As a result, the presymplectic constraint algorithm in the sense of Gotay-Nester-Hinds (1979) can be used. We establish the connections between the presymplectic constraint algorithm and the candidates to be optimal curves obtained from the necessary conditions in Krener's high order maximum principle. In this paper we obtain weaker geometric necessary conditions for optimality of abnormal solutions than the ones in Krener (1977) and the ones in the weak high order maximum principle. These new necessary conditions are more useful, computationally speaking, for finding curves candidate to be optimal. The theory is supported by describing specifically some of the above-mentioned conditions for some mechanical control systems.

math.OC↗

arXiv2009

Geometric Hamilton-Jacobi Theory for Nonholonomic Dynamical Systems

The geometric formulation of Hamilton--Jacobi theory for systems with nonholonomic constraints is developed, following the ideas of the authors in previous papers. The relation between the solutions of the Hamilton--Jacobi problem with the symplectic structure defined from the Lagrangian function and the constraints is studied. The concept of complete solutions and their relationship with constants of motion, are also studied in detail. Local expressions using quasivelocities are provided. As an example, the nonholonomic free particle is considered.

math-ph↗

arXiv2007

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 Pontryagin's 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).

math-ph↗

arXiv2004

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 PDE's.

math-ph↗

arXiv2003

On the construction of K-operators in field theories as sections along Legendre maps

The ``time-evolution operator'' 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 non-regular 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 also 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 first relevant property, we use these geometrical objects to obtain the solutions of the Lagrangian and Hamiltonian field equations, and the equivalence among them (specially for non-regular field theories).

math-ph↗

arXiv2003

Geometric reduction in optimal control theory with symmetries

A general study of symmetries in optimal control theory is given, starting from the presymplectic description of this kind of system. Then, Noether's 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.

math-ph↗

arXiv2001

Time-dependent Lagrangians invariant by a vector field

We study the reduction of non-autonomous regular Lagrangian systems by symmetries, which are generated by vector fields associated with connections in the configuration bundle of the system $Q\times\real\to\real$. These kind of symmetries generalize the idea of ``time-invariance'' (which corresponds to taking the trivial connection in the above trivial bundle).

math-ph↗

arXiv2001

A geometrical analysis of the field equations in field theory

In this review paper we give a geometrical formulation of the field equations in the Lagrangian and Hamiltonian formalisms of classical field theories (of first order) in terms of multivector fields. This formulation enables us to discuss the existence and non-uniqueness of solutions, as well as their integrability.

math-ph↗

arXiv2001

Singular Lagrangian Systems on Jet Bundles

The jet bundle description of time-dependent mechanics is revisited. The constraint algorithm for singular Lagrangians is discussed and an exhaustive description of the constraint functions is given. By means of auxiliary connections we give a basis of constraint functions in the Lagrangian and Hamiltonian sides. An additional description of constraints is also given considering at the same time compatibility, stability and second-order condition problems. Finally, a classification of the constraints in first and second class is obtained using a cosymplectic geometry setting. Using the second class constraints, a Dirac bracket is introduced, extending the well-known construction by Dirac.

math-ph↗

arXiv2000

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.

math-ph↗

arXiv1999

Reduction of Presymplectic Manifolds with Symmetry

Actions of Lie groups on presymplectic manifolds are analyzed, introducing the suitable comomentum and momentum maps. The subsequent theory of reduction of presymplectic dynamical systems with symmetry is studied. In this way, we give a method of reduction which enables us to remove gauge symmetries as well as non-gauge ``rigid'' symmetries at once. This method is compared with other step-by-step reduction procedures. As particular examples in this framework, we discuss the reduction of time-dependent dynamical systems with symmetry, the reduction of a mechanical model of field theories with gauge and non-gauge symmetries, and the gauge reduction of the system made of a conformal particle.

math-ph↗

arXiv1999

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 {\sl Cartan-Noether symmetries} and {\sl 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.

math-ph↗

arXiv1995

Non-standard connections in classical mechanics

In the jet-bundle description of first-order classical field theories there are some elements, such as the lagrangian energy and the construction of the hamiltonian formalism, which require the prior choice of a connection. Bearing these facts in mind, we analyze the situation in the jet-bundle description of time-dependent classical mechanics. So we prove that this connection-dependence also occurs in this case, although it is usually hidden by the use of the ``natural'' connection given by the trivial bundle structure of the phase spaces in consideration. However, we also prove that this dependence is dynamically irrelevant, except where the dynamical variation of the energy is concerned. In addition, the relationship between first integrals and connections is shown for a large enough class of lagrangians.

dg-ga↗