-
From Euler-Jacobi to Bogoyavlensky and back
Authors:
Davide Murari,
Nicola Sansonetto
Abstract:
This work focuses on two notions of non-Hamiltonian integrable systems: B-integrability and Euler-Jacobi integrability. We first show that the first notion is stronger. We then investigate which possible "non-evident" properties one can add to the Euler-Jacobi Theorem to make the dynamics B-integrable.
This work focuses on two notions of non-Hamiltonian integrable systems: B-integrability and Euler-Jacobi integrability. We first show that the first notion is stronger. We then investigate which possible "non-evident" properties one can add to the Euler-Jacobi Theorem to make the dynamics B-integrable.
△ Less
Submitted 27 March, 2025;
originally announced March 2025.
-
Symplectization of certain Hamiltonian systems in fibered almost-symplectic manifolds
Authors:
Francesco Fassò,
Nicola Sansonetto
Abstract:
There is an important difference between Hamiltonian-like vector fields in an almost-symplectic manifold $(M,σ)$, compared to the standard case of a symplectic manifold: in the almost-symplectic case, a vector field such that the contraction iXσ is closed need not be a symmetry of $σ$. We thus call partially-Hamiltonian those vector fields which have the former property and fully-Hamiltonian those…
▽ More
There is an important difference between Hamiltonian-like vector fields in an almost-symplectic manifold $(M,σ)$, compared to the standard case of a symplectic manifold: in the almost-symplectic case, a vector field such that the contraction iXσ is closed need not be a symmetry of $σ$. We thus call partially-Hamiltonian those vector fields which have the former property and fully-Hamiltonian those which have both properties. We consider 2n-dimensional almost symplectic manifolds with a fibration $π: M \longrightarrow B$ by Lagrangian tori. Trivially, all vertical partially-Hamiltonian vector fields are fully-Hamiltonian. We investigate the existence and the properties of non-vertical fully-Hamiltonian vector fields. We show that this class is non-empty, but under certain genericity conditions that involve the Fourier spectrum of their Hamiltonian, these vector fields reduce, under a (possibly only semi-globally defined, if $n \ge 4$) torus action, to families of standard symplectic-Hamiltonian vector fields.
△ Less
Submitted 15 December, 2024;
originally announced December 2024.
-
On some aspects of the dynamics of a ball in a rotating surface of revolution and of the kasamawashi art
Authors:
Francesco Fassò,
Nicola Sansonetto
Abstract:
We study some aspects of the dynamics of the nonholonomic system formed by a heavy homogeneous ball constrained to roll without sliding on a steadily rotating surface of revolution. First, in the case in which the figure axis of the surface is vertical (and hence the system is $\textrm{SO(3)}\times\textrm{SO(2)}$-symmetric) and the surface has a (nondegenerate) maximum at its vertex, we show the e…
▽ More
We study some aspects of the dynamics of the nonholonomic system formed by a heavy homogeneous ball constrained to roll without sliding on a steadily rotating surface of revolution. First, in the case in which the figure axis of the surface is vertical (and hence the system is $\textrm{SO(3)}\times\textrm{SO(2)}$-symmetric) and the surface has a (nondegenerate) maximum at its vertex, we show the existence of motions asymptotic to the vertex and rule out the possibility of blow up. This is done passing to the 5-dimensional $\textrm{SO(3)}$-reduced system. The $\textrm{SO(3)}$-symmetry persists when the figure axis of the surface is inclined with respect to the vertical -- and the system can be viewed as a simple model for the Japanese kasamawashi (turning umbrella) performance art -- and in that case we study the (stability of the) equilibria of the 5-dimensional reduced system.
△ Less
Submitted 5 July, 2022;
originally announced July 2022.
-
On the dynamics of a heavy symmetric ball that rolls without sliding on a uniformly rotating surface of revolution
Authors:
Marco Dalla Via,
Francesco Fassò,
Nicola Sansonetto
Abstract:
We study the class of nonholonomic mechanical systems formed by a heavy symmetric ball that rolls without sliding on a surface of revolution, which is either at rest or rotates about its (vertical) figure axis with uniform angular velocity. The first studies of these systems go back over a century, but a comprehensive understanding of their dynamics is still missing. The system has an…
▽ More
We study the class of nonholonomic mechanical systems formed by a heavy symmetric ball that rolls without sliding on a surface of revolution, which is either at rest or rotates about its (vertical) figure axis with uniform angular velocity. The first studies of these systems go back over a century, but a comprehensive understanding of their dynamics is still missing. The system has an $SO(3) \times SO(2)$ symmetry and reduces to four dimensions. We extend in various directions, particularly from the case $Ω= 0$ to the case $Ω\ne 0$, a number of previous results and give new results. In particular, we prove that the reduced system is Hamiltonizable even if $Ω\ne 0$ and, exploiting the recently introduced `moving energy', we give sufficient conditions on the profile of the surface that ensure the periodicity of the reduced dynamics and hence the quasi-periodicity of the unreduced dynamics on tori of dimension up to three. Furthermore, we determine all the equilibria of the reduced system, which are classified in three distinct families, and determine their stability properties. In addition to this, we give a new form of the equations of motion of nonholonomic systems in quasi-velocities which, at variance from the well known Hamel equations, use any set of quasi-velocities and explicitly contain the reaction forces.
△ Less
Submitted 1 September, 2021;
originally announced September 2021.
-
First Integrals and symmetries of nonholonomic systems
Authors:
Paula Balseiro,
Nicola Sansonetto
Abstract:
In nonholonomic mechanics, the presence of constraints in the velocities breaks the well-under\-stood link between symmetries and first integrals of holonomic systems, expressed in Noether's Theorem. However there is a known special class of first integrals of nonholonomic systems generated by vector fields tangent to the group orbits, called {\it horizontal gauge momenta}, that suggest that some…
▽ More
In nonholonomic mechanics, the presence of constraints in the velocities breaks the well-under\-stood link between symmetries and first integrals of holonomic systems, expressed in Noether's Theorem. However there is a known special class of first integrals of nonholonomic systems generated by vector fields tangent to the group orbits, called {\it horizontal gauge momenta}, that suggest that some version of this link should still hold. In this paper we prove that, under certain conditions on the symmetry Lie group, the (nonholonomic) momentum map is conserved along the nonholonomic dynamics, thus extending Noether Theorem to the nonholonomic framework. Our analysis leads to a constructive method, with fundamental consequences to the integrability of some nonholonomic systems as well as their hamiltonization. We apply our results to three paradigmatic examples: the snakeboard, a solid of revolution rolling without sliding on a plane and a heavy homogeneous ball that rolls without sliding inside a convex surface of revolution. In particular, for the snakeboard we show the existence of a new horizontal gauge momentum that reveals new aspects of its integrability.
△ Less
Submitted 10 February, 2022; v1 submitted 4 January, 2021;
originally announced January 2021.
-
Dynamic Movement Primitives: Volumetric Obstacle Avoidance Using Dynamic Potential Functions
Authors:
Michele Ginesi,
Daniele Meli,
Andrea Roberti,
Nicola Sansonetto,
Paolo Fiorini
Abstract:
Obstacle avoidance for DMPs is still a challenging problem. In our previous work, we proposed a framework for obstacle avoidance based on superquadric potential functions to represent volumes. In this work, we extend our previous work to include the velocity of the trajectory in the definition of the potential. Our formulations guarantee smoother behavior with respect to state-of-the-art point-lik…
▽ More
Obstacle avoidance for DMPs is still a challenging problem. In our previous work, we proposed a framework for obstacle avoidance based on superquadric potential functions to represent volumes. In this work, we extend our previous work to include the velocity of the trajectory in the definition of the potential. Our formulations guarantee smoother behavior with respect to state-of-the-art point-like methods. Moreover, our new formulation allows to obtain a smoother behavior in proximity of the obstacle than when using a static (i.e. velocity independent) potential. We validate our framework for obstacle avoidance in a simulated multi-robot scenario and with different real robots: a pick-and-place task for an industrial manipulator and a surgical robot to show scalability; and navigation with a mobile robot in dynamic environment.
△ Less
Submitted 1 July, 2020;
originally announced July 2020.
-
Autonomous task planning and situation awareness in robotic surgery
Authors:
Michele Ginesi,
Daniele Meli,
Andrea Roberti,
Nicola Sansonetto,
Paolo Fiorini
Abstract:
The use of robots in minimally invasive surgery has improved the quality of standard surgical procedures. So far, only the automation of simple surgical actions has been investigated by researchers, while the execution of structured tasks requiring reasoning on the environment and the choice among multiple actions is still managed by human surgeons. In this paper, we propose a framework to impleme…
▽ More
The use of robots in minimally invasive surgery has improved the quality of standard surgical procedures. So far, only the automation of simple surgical actions has been investigated by researchers, while the execution of structured tasks requiring reasoning on the environment and the choice among multiple actions is still managed by human surgeons. In this paper, we propose a framework to implement surgical task automation. The framework consists of a task-level reasoning module based on answer set programming, a low-level motion planning module based on dynamic movement primitives, and a situation awareness module. The logic-based reasoning module generates explainable plans and is able to recover from failure conditions, which are identified and explained by the situation awareness module interfacing to a human supervisor, for enhanced safety. Dynamic Movement Primitives allow to replicate the dexterity of surgeons and to adapt to obstacles and changes in the environment. The framework is validated on different versions of the standard surgical training peg-and-ring task.
△ Less
Submitted 19 April, 2020;
originally announced April 2020.
-
Overcoming Some Drawbacks of Dynamic Movement Primitives
Authors:
Michele Ginesi,
Nicola Sansonetto,
Paolo Fiorini
Abstract:
Dynamic Movement Primitives (DMPs) is a framework for learning a point-to-point trajectory from a demonstration. Despite being widely used, DMPs still present some shortcomings that may limit their usage in real robotic applications. Firstly, at the state of the art, mainly Gaussian basis functions have been used to perform function approximation. Secondly, the adaptation of the trajectory generat…
▽ More
Dynamic Movement Primitives (DMPs) is a framework for learning a point-to-point trajectory from a demonstration. Despite being widely used, DMPs still present some shortcomings that may limit their usage in real robotic applications. Firstly, at the state of the art, mainly Gaussian basis functions have been used to perform function approximation. Secondly, the adaptation of the trajectory generated by the DMP heavily depends on the choice of hyperparameters and the new desired goal position. Lastly, DMPs are a framework for `one-shot learning', meaning that they are constrained to learn from a unique demonstration. In this work, we present and motivate a new set of basis functions to be used in the learning process, showing their ability to accurately approximate functions while having both analytical and numerical advantages w.r.t. Gaussian basis functions. Then, we show how to use the invariance of DMPs w.r.t. affine transformations to make the generalization of the trajectory robust against both the choice of hyperparameters and new goal position, performing both synthetic tests and experiments with real robots to show this increased robustness. Finally, we propose an algorithm to extract a common behavior from multiple observations, validating it both on a synthetic dataset and on a dataset obtained by performing a task on a real robot.
△ Less
Submitted 20 July, 2021; v1 submitted 28 August, 2019;
originally announced August 2019.
-
Moving energies as first integrals of nonholonomic systems with affine constraints
Authors:
Francesco Fassò,
Luis C. García-Naranjo,
Nicola Sansonetto
Abstract:
In nonholonomic mechanical systems with constraints that are affine (linear nonhomogeneous) functions of the velocities, the energy is typically not a first integral. It was shown in [Fassò and Sansonetto, JNLS, 26, (2016)] that, nevertheless, there exist modifications of the energy, called there moving energies, which under suitable conditions are first integrals. The first goal of this paper is…
▽ More
In nonholonomic mechanical systems with constraints that are affine (linear nonhomogeneous) functions of the velocities, the energy is typically not a first integral. It was shown in [Fassò and Sansonetto, JNLS, 26, (2016)] that, nevertheless, there exist modifications of the energy, called there moving energies, which under suitable conditions are first integrals. The first goal of this paper is to study the properties of these functions and the conditions that lead to their conservation. In particular, we enlarge the class of moving energies considered in [Fassò and Sansonetto, JNLS, 26, (2016)]. The second goal of the paper is to demonstrate the relevance of moving energies in nonholonomic mechanics. We show that certain first integrals of some well known systems (the affine Veselova and LR systems), which had been detected on a case-by-case way, are instances of moving energies. Moreover, we determine conserved moving energies for a class of affine systems on Lie groups that include the LR systems, for a heavy convex rigid body that rolls without slipping on a uniformly rotating plane, and for an $n$-dimensional generalization of the Chaplygin sphere problem to a uniformly rotating hyperplane.
△ Less
Submitted 7 April, 2018; v1 submitted 25 November, 2016;
originally announced November 2016.
-
Nearly-integrable almost-symplectic Hamiltonian systems
Authors:
Francesco Fasso,
Nicola Sansonetto
Abstract:
Integrable Hamiltonian systems on almost-symplectic manifolds have recently drawn some attention. Under suitable properties, they have a structure analogous to those of standard symplectic-Hamiltonian completely integrable systems. Here we study small Hamiltonian perturbations of these systems. Preliminarily, we investigate some general properties of these systems. In particular, we show that if t…
▽ More
Integrable Hamiltonian systems on almost-symplectic manifolds have recently drawn some attention. Under suitable properties, they have a structure analogous to those of standard symplectic-Hamiltonian completely integrable systems. Here we study small Hamiltonian perturbations of these systems. Preliminarily, we investigate some general properties of these systems. In particular, we show that if the perturbation is `strongly Hamiltonian' (namely, its Hamiltonian vector field is also a symmetry of the almost-Hamiltonian structure) then the system reduces, under an almost-symplectic version of symplectic reduction, to a family of nearly integrable standard symplectic-Hamiltonian vector fields on a reduced phase space, of codimension not less than 3. Therefore, we restrict our study to non-strongly Hamiltonian perturbations. We will show that KAM theorem on the survival of strongly nonresonant quasi-periodic tori does non apply, but that a weak version of Nekhoroshev theorem on the stability of actions is instead valid, even though for a time scale which is polynomial (rather than exponential) in the inverse of the perturbation parameter.
△ Less
Submitted 4 January, 2016;
originally announced January 2016.
-
A Geometric Characterization of Certain First Integrals for Nonholonomic Systems with Symmetries
Authors:
Paula Balseiro,
Nicola Sansonetto
Abstract:
We study the existence of first integrals in nonholonomic systems with symmetry. First we define the concept of $\mathcal{M}$-cotangent lift of a vector field on a manifold $Q$ in order to unify the works [Balseiro P., Arch. Ration. Mech. Anal. 214 (2014), 453-501, arXiv:1301.1091], [Fassò F., Ramos A., Sansonetto N., Regul. Chaotic Dyn. 12 (2007), 579-588], and [Fassò F., Giacobbe A., Sansonetto…
▽ More
We study the existence of first integrals in nonholonomic systems with symmetry. First we define the concept of $\mathcal{M}$-cotangent lift of a vector field on a manifold $Q$ in order to unify the works [Balseiro P., Arch. Ration. Mech. Anal. 214 (2014), 453-501, arXiv:1301.1091], [Fassò F., Ramos A., Sansonetto N., Regul. Chaotic Dyn. 12 (2007), 579-588], and [Fassò F., Giacobbe A., Sansonetto N., Rep. Math. Phys. 62 (2008), 345-367]. Second, we study gauge symmetries and gauge momenta, in the cases in which there are the symmetries that satisfy the so-called vertical symmetry condition. Under such condition we can predict the number of linearly independent first integrals (that are gauge momenta). We illustrate the theory with two examples.
△ Less
Submitted 21 February, 2016; v1 submitted 28 October, 2015;
originally announced October 2015.
-
Conservation of energy and momenta in nonholonomic systems with affine constraints
Authors:
Francesco Fassò,
Nicola Sansonetto
Abstract:
We characterize the conditions for the conservation of the energy and of the components of the momentum maps of lifted actions, and of their `gauge-like' generalizations, in time-independent nonholonomic mechanical systems with affine constraints. These conditions involve geometrical and mechanical properties of the system, and are codified in the so-called reaction-annihilator distribution.
We characterize the conditions for the conservation of the energy and of the components of the momentum maps of lifted actions, and of their `gauge-like' generalizations, in time-independent nonholonomic mechanical systems with affine constraints. These conditions involve geometrical and mechanical properties of the system, and are codified in the so-called reaction-annihilator distribution.
△ Less
Submitted 5 May, 2015;
originally announced May 2015.
-
Conservation of `moving' energy in nonholonomic systems with affine constraints and integrability of spheres on rotating surfaces
Authors:
Francesco Fassò,
Nicola Sansonetto
Abstract:
Energy is in general not conserved for mechanical nonholonomic systems with affine constraints. In this article we point out that, nevertheless, in certain cases, there is a modification of the energy that is conserved. Such a function coincides with the energy of the system relative to a different reference frame, in which the constraint is linear. After giving sufficient conditions for this to h…
▽ More
Energy is in general not conserved for mechanical nonholonomic systems with affine constraints. In this article we point out that, nevertheless, in certain cases, there is a modification of the energy that is conserved. Such a function coincides with the energy of the system relative to a different reference frame, in which the constraint is linear. After giving sufficient conditions for this to happen, we point out the role of symmetry in this mechanism. Lastly, we apply these ideas to prove that the motions of a heavy homogeneous solid sphere that rolls inside a convex surface of revolution in uniform rotation about its vertical figure axis, are (at least for certain parameter values and in open regions of the phase space) quasi-periodic on tori of dimension up to three.
△ Less
Submitted 23 March, 2015;
originally announced March 2015.
-
Twisted isotropic realisations of twisted Poisson structures
Authors:
Nicola Sansonetto,
Daniele Sepe
Abstract:
Motivated by the recent connection between nonholonomic integrable systems and twisted Poisson manifolds made in \cite{balseiro_garcia_naranjo}, this paper investigates the global theory of integrable Hamiltonian systems on almost symplectic manifolds as an initial step to understand Hamiltonian integrability on twisted Poisson (and Dirac) manifolds. Non-commutative integrable Hamiltonian systems…
▽ More
Motivated by the recent connection between nonholonomic integrable systems and twisted Poisson manifolds made in \cite{balseiro_garcia_naranjo}, this paper investigates the global theory of integrable Hamiltonian systems on almost symplectic manifolds as an initial step to understand Hamiltonian integrability on twisted Poisson (and Dirac) manifolds. Non-commutative integrable Hamiltonian systems on almost symplectic manifolds were first defined in \cite{fasso_sansonetto}, which proved existence of local generalised action-angle coordinates in the spirit of the Liouville-Arnol'd theorem. In analogy with their symplectic counterpart, these systems can be described globally by twisted isotropic realisations of twisted Poisson manifolds, a special case of symplectic realisations of twisted Dirac structures considered in \cite{bursztyn_crainic_weinstein_zhu}. This paper classifies twisted isotropic realisations up to smooth isomorphism and provides a cohomological obstruction to the construction of these objects, generalising the main results of \cite{daz_delz}.
△ Less
Submitted 16 July, 2012;
originally announced July 2012.
-
Hamiltonian monodromy via geometric quantization and theta functions
Authors:
Nicola Sansonetto,
Mauro Spera
Abstract:
In this paper, Hamiltonian monodromy is studied from the point of view of geometric quantization abd theta functions, and various differential geometric aspects thereof are dealt with, all related to holonomies of suitable flat connections.
In this paper, Hamiltonian monodromy is studied from the point of view of geometric quantization abd theta functions, and various differential geometric aspects thereof are dealt with, all related to holonomies of suitable flat connections.
△ Less
Submitted 23 July, 2008;
originally announced July 2008.
