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