-
Kirillov structures and reduction of Hamiltonian systems by scaling and standard symmetries
Authors:
A. Bravetti,
S. Grillo,
J. C. Marrero,
E. Padron
Abstract:
In this paper, we discuss the reduction of symplectic Hamiltonian systems by scaling and standard symmetries which commute. We prove that such a reduction process produces a so-called Kirillov Hamiltonian system. Moreover, we show that if we reduce first by the scaling symmetries and then by the standard ones or in the opposite order, we obtain equivalent Kirillov Hamiltonian systems. In the parti…
▽ More
In this paper, we discuss the reduction of symplectic Hamiltonian systems by scaling and standard symmetries which commute. We prove that such a reduction process produces a so-called Kirillov Hamiltonian system. Moreover, we show that if we reduce first by the scaling symmetries and then by the standard ones or in the opposite order, we obtain equivalent Kirillov Hamiltonian systems. In the particular case when the configuration space of the symplectic Hamiltonian system is a Lie group G, which coincides with the symmetry group, the reduced structure is an interesting Kirillov version of the Lie-Poisson structure on the dual space of the Lie algebra of G. We also discuss a reconstruction process for symplectic Hamiltonian systems which admit a scaling symmetry. All the previous results are illustrated in detail with some interesting examples.
△ Less
Submitted 19 October, 2023; v1 submitted 9 July, 2023;
originally announced July 2023.
-
Error analysis of forced discrete mechanical systems
Authors:
Javier Fernández,
Sebastián Elías Graiff Zurita,
Sergio Grillo
Abstract:
The purpose of this paper is to perform an error analysis of the variational integrators of mechanical systems subject to external forcing. Essentially, we prove that when a discretization of contact order $r$ of the Lagrangian and force are used, the integrator has the same contact order. Our analysis is performed first for discrete forced mechanical systems defined over $TQ$, where we study the…
▽ More
The purpose of this paper is to perform an error analysis of the variational integrators of mechanical systems subject to external forcing. Essentially, we prove that when a discretization of contact order $r$ of the Lagrangian and force are used, the integrator has the same contact order. Our analysis is performed first for discrete forced mechanical systems defined over $TQ$, where we study the existence of flows, the construction and properties of discrete exact systems and the contact order of the flows (variational integrators) in terms of the contact order of the original systems. Then we use those results to derive the corresponding analysis for the analogous forced systems defined over $Q\times Q$.
△ Less
Submitted 12 November, 2021; v1 submitted 19 March, 2021;
originally announced March 2021.
-
Extended Hamilton-Jacobi theory, contact manifolds and integrability by quadratures
Authors:
S. Grillo,
E. Padrón
Abstract:
A Hamilton-Jacobi theory for general dynamical systems, defined on fibered phase spaces, has been recently developed. In this paper we shall apply such a theory to contact Hamiltonian systems, as those appearing in thermodynamics and on geodesic flows in fluid mechanics. We first study the partial and complete solutions of the Hamilton-Jacobi Equation (HJE) related to these systems. Then we show t…
▽ More
A Hamilton-Jacobi theory for general dynamical systems, defined on fibered phase spaces, has been recently developed. In this paper we shall apply such a theory to contact Hamiltonian systems, as those appearing in thermodynamics and on geodesic flows in fluid mechanics. We first study the partial and complete solutions of the Hamilton-Jacobi Equation (HJE) related to these systems. Then we show that, for a given contact system, the knowledge of what we have called a complete pseudo-isotropic solution ensures the integrability by quadratures of its equations of motion. This extends to contact manifolds a recent result obtained in the context of general symplectic and Poisson manifolds.
△ Less
Submitted 25 September, 2019;
originally announced September 2019.
-
Variational reduction of Hamiltonian systems with general constraints
Authors:
Sergio Grillo,
Leandro Salomone,
Marcela Zuccalli
Abstract:
In the Hamiltonian formalism, and in the presence of a symmetry Lie group, a variational reduction procedure has already been developed for Hamiltonian systems without constraints. In this paper we present a procedure of the same kind, but for the entire class of the higher order constrained systems (HOCS), described in the Hamiltonian formalism. Last systems include the standard and generalized n…
▽ More
In the Hamiltonian formalism, and in the presence of a symmetry Lie group, a variational reduction procedure has already been developed for Hamiltonian systems without constraints. In this paper we present a procedure of the same kind, but for the entire class of the higher order constrained systems (HOCS), described in the Hamiltonian formalism. Last systems include the standard and generalized nonholonomic Hamiltonian systems as particular cases. When restricted to Hamiltonian systems without constraints, our procedure gives rise exactly to the so-called Hamilton-Poincaré equations, as expected. In order to illustrate the procedure, we study in detail the case in which both the configuration space of the system and the involved symmetry define a trivial principal bundle.
△ Less
Submitted 25 April, 2019;
originally announced April 2019.
-
Explicit solutions of the kinetic and potential matching conditions of the energy shaping method
Authors:
Sergio D. Grillo,
Leandro M. Salomone,
Marcela Zuccalli
Abstract:
In this paper we present a procedure to integrate, up to quadratures, the matching conditions of the energy shaping method. We do that in the context of underactuated Hamiltonian systems defined by simple Hamiltonian functions. For such systems, the matching conditions split into two decoupled subsets of equations: the kinetic and potential equations. First, assuming that a solution of the kinetic…
▽ More
In this paper we present a procedure to integrate, up to quadratures, the matching conditions of the energy shaping method. We do that in the context of underactuated Hamiltonian systems defined by simple Hamiltonian functions. For such systems, the matching conditions split into two decoupled subsets of equations: the kinetic and potential equations. First, assuming that a solution of the kinetic equation is given, we find integrability and positivity conditions for the potential equation (because positive-definite solutions are the interesting ones), and we find an explicit solution of the latter. Then, in the case of systems with one degree of underactuation, we find in addition a concrete formula for the general solution of the kinetic equation. An example is included to illustrate our results.
△ Less
Submitted 1 October, 2018;
originally announced October 2018.
-
Non-commutative integrability, exact solvability and the Hamilton-Jacobi theory
Authors:
Sergio D. Grillo
Abstract:
The non-commutative integrability (NCI) is a property fulfilled by some Hamiltonian systems that ensures, among other things, the exact solvability of their corresponding equations of motion. The latter means that an "explicit formula" for the trajectories of these systems can be constructed. Such a construction rests mainly on the so-called Lie theorem on integrability by quadratures. It is worth…
▽ More
The non-commutative integrability (NCI) is a property fulfilled by some Hamiltonian systems that ensures, among other things, the exact solvability of their corresponding equations of motion. The latter means that an "explicit formula" for the trajectories of these systems can be constructed. Such a construction rests mainly on the so-called Lie theorem on integrability by quadratures. It is worth mentioning that, in the context of Hamiltonian systems, the NCI has been for around 40 years, essentially, the unique criterium for exact solvability expressed in the terms of first integrals (containing the usual Liouville-Arnold integrability criterium as a particular case). Concretely, a Hamiltonian system with $n$ degrees of freedom is said to be non-commutative integrable if a set of independent first integrals $F_{1},...,F_{l}$ are known such that: the kernel of the $l\times l$ matrix with coefficients $\left\{ F_{i},F_{j}\right\} $, where $\left\{ \cdot,\cdot\right\} $ denotes the canonical Poisson bracket, has dimension $2n-l$ (isotropy); and each bracket $\left\{ F_{i},F_{j}\right\} $ is functionally dependent on $F_{1},...,F_{l}$ (closure). In this paper, we develop two procedures for constructing the trajectories of a Hamiltonian system which only require isotropic first integrals (closure condition is not needed). One of them is based on an extended version of the geometric Hamilton-Jacobi theory, and does not rely on the above mentioned Lie's theorem. We do all that in the language of functions of several variables.
△ Less
Submitted 25 October, 2018; v1 submitted 29 April, 2018;
originally announced April 2018.
-
Finite dimensional thermo-mechanical systems and second order constraints
Authors:
Hernán Cendra,
Sergio Grillo,
Maximiliano Palacios Amaya
Abstract:
In this paper we study a class of physical systems that combine a finite number of mechanical and thermodynamic observables. We call them finite dimensional thermo-mechanical systems. We introduce these systems by means of simple examples. The evolution equations of the involved observables are obtained in each example by using, essentially, the Newton's law and the First Law of Thermodynamics onl…
▽ More
In this paper we study a class of physical systems that combine a finite number of mechanical and thermodynamic observables. We call them finite dimensional thermo-mechanical systems. We introduce these systems by means of simple examples. The evolution equations of the involved observables are obtained in each example by using, essentially, the Newton's law and the First Law of Thermodynamics only. We show that such equations are similar to those defining certain mechanical systems with higher order constraints. Moreover, we show that all of the given examples can be described in a variational formalism in terms of second order constrained systems.
△ Less
Submitted 28 September, 2016; v1 submitted 16 September, 2016;
originally announced September 2016.
-
Discrete second order constrained Lagrangian systems: first results
Authors:
Nicolas Borda,
Javier Fernandez,
Sergio Grillo
Abstract:
We briefly review the notion of second order constrained (continuous) system (SOCS) and then propose a discrete time counterpart of it, which we naturally call discrete second order constrained system (DSOCS). To illustrate and test numerically our model, we construct certain integrators that simulate the evolution of two mechanical systems: a particle moving in the plane with prescribed signed cu…
▽ More
We briefly review the notion of second order constrained (continuous) system (SOCS) and then propose a discrete time counterpart of it, which we naturally call discrete second order constrained system (DSOCS). To illustrate and test numerically our model, we construct certain integrators that simulate the evolution of two mechanical systems: a particle moving in the plane with prescribed signed curvature, and the inertia wheel pendulum with a Lyapunov constraint. In addition, we prove a local existence and uniqueness result for trajectories of DSOCSs. As a first comparison of the underlying geometric structures, we study the symplectic behavior of both SOCSs and DSOCSs.
△ Less
Submitted 6 December, 2013;
originally announced December 2013.
-
FRT Construction and Equipped Quantum Linear Spaces
Authors:
Sergio D. Grillo
Abstract:
We show there exists a rigid monoidal category formed out by quantum linear spaces with an additional structure, such that FRT bialgebras and corresponding rectangular generalizations are its internal coEnd and coHom objects, respectively. This enable us to think of them as the coordinate rings of a quantum space of homomorphisms that preserve the mentioned structure. The well known epimorphisms…
▽ More
We show there exists a rigid monoidal category formed out by quantum linear spaces with an additional structure, such that FRT bialgebras and corresponding rectangular generalizations are its internal coEnd and coHom objects, respectively. This enable us to think of them as the coordinate rings of a quantum space of homomorphisms that preserve the mentioned structure. The well known epimorphisms between FRT bialgebras and quantum semigroups (defined by Manin) translate into `inclusions' of quantum spaces, as the space of endomorphisms of a metric linear space V is included in gl(V). Our study is developed for conic quantum spaces.
△ Less
Submitted 15 February, 2003; v1 submitted 31 May, 2002;
originally announced May 2002.
-
Generalized twisted coHom objects
Authors:
Sergio D. Grillo
Abstract:
A generalization of the concept of twisted internal coHom object in the category of conic quantum spaces (c.f. math.QA/0112233) was outlined in math.QA/0202205. The aim of this article is to discuss in more detail this generalization.
A generalization of the concept of twisted internal coHom object in the category of conic quantum spaces (c.f. math.QA/0112233) was outlined in math.QA/0202205. The aim of this article is to discuss in more detail this generalization.
△ Less
Submitted 27 June, 2003; v1 submitted 19 April, 2002;
originally announced April 2002.
-
Twisting of quantum spaces and twisted coHom objects
Authors:
Sergio D. Grillo
Abstract:
Twisting process for quantum linear spaces is defined. It consists in a particular kind of globally defined deformations on finitely generated algebras. Given a quantum space (A_1,A), a multiplicative cosimplicial quasicomplex C[A_1] in the category Grp is associated to A_1, in such a way that for every n a subclass of linear automorphisms of A^{\otimes n} is obtained from the groups C^n[A_1]. A…
▽ More
Twisting process for quantum linear spaces is defined. It consists in a particular kind of globally defined deformations on finitely generated algebras. Given a quantum space (A_1,A), a multiplicative cosimplicial quasicomplex C[A_1] in the category Grp is associated to A_1, in such a way that for every n a subclass of linear automorphisms of A^{\otimes n} is obtained from the groups C^n[A_1]. Among the elements of this subclass, the counital 2-cocycles are those which define the twist transformations. In these terms, the twisted internal coHom objects, constructed in a previous paper (cf. math.QA/0112233), can be described as twisting of the proper coHom objects, enabling us in turn to generalize the mentioned construction. The quasicomplexes C[V], V a vector space, are studied in detail, showing for instance that, when V is a coalgebra, the quasicomplexes related to Drinfeld twisting, corresponding to bialgebras generated by V, are subobjects of C[V].
△ Less
Submitted 27 June, 2003; v1 submitted 20 February, 2002;
originally announced February 2002.
-
Twisted Internal coHom Objects in the Category of Quantum Spaces
Authors:
S. Grillo,
H. Montani
Abstract:
Adapting the idea of twisted tensor products to the category of finitely generated algebras, we define on its opposite, the category QLS of quantum linear spaces, a family of objects hom(B,A)^{op}, one for each pair A^{op},B^{op} there, with analogous properties to its internal Hom ones, but representing spaces of transformations whose coordinate rings hom(B,A) and the ones of their respective d…
▽ More
Adapting the idea of twisted tensor products to the category of finitely generated algebras, we define on its opposite, the category QLS of quantum linear spaces, a family of objects hom(B,A)^{op}, one for each pair A^{op},B^{op} there, with analogous properties to its internal Hom ones, but representing spaces of transformations whose coordinate rings hom(B,A) and the ones of their respective domains B^{op} do not commute among themselves. The mentioned non commutativity is controlled by a collection of twisting maps τ_{A,B}. We show that the (bi)algebras end(A)=hom(A,A), under certain circumstances, are 2-cocycle twistings of the quantum semigroups end(A) in the untwisted case. This fact generalizes the twist equivalence (at a semigroup level) between, for instance, the quantum groups GL_{q}(n) and their multiparametric versions GL_{q,φ}(n).
△ Less
Submitted 27 June, 2003; v1 submitted 20 December, 2001;
originally announced December 2001.
