Moving frames for Lie symmetries reduction of nonholonomic systems

Given a Lie group of finite-dimensional transformations acting on a manifold, there is always an action known as a long-acting group action. This action describes the fundamental basis of the Lie theory connecting groups of symmetry in differential equations. Differential invariants emerge as consta...

Full description

Saved in:
Bibliographic Details
Published in:Acta mechanica 2019-08, Vol.230 (8), p.2963-2978
Main Authors: Basquerotto, Cláudio H. C. Costa, Ruiz, Adrián, Righetto, Edison, da Silva, Samuel
Format: Article
Language:English
Subjects:
Classical and Continuum Physics
Conservation laws
Constraints
Control
Differential equations
Dynamical Systems
Engineering
Engineering Fluid Dynamics
Engineering Thermodynamics
Environmental law
Frames
Heat and Mass Transfer
Invariants
Lie groups
Mechanical systems
Model reduction
Original Paper
Prolongation
Solid Mechanics
Theoretical and Applied Mechanics
Vibration
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Given a Lie group of finite-dimensional transformations acting on a manifold, there is always an action known as a long-acting group action. This action describes the fundamental basis of the Lie theory connecting groups of symmetry in differential equations. Differential invariants emerge as constants of the action of the prolongation of a group. Élie Cartan extended this in the twentieth century involving the geometry of the action of this group, grounding the so-called moving frame theory. With this theory, various applications are possible and detailed in the literature, such as symmetries of variational problems, conservation laws, invariant differential forms, and group invariant solutions. In order to demonstrate the approach, two nonholonomic constrained mechanical systems are exemplified to obtain either the general closed-solution in explicit form, when possible, or an order reduction provided by the Lie symmetries via moving frames. The first example is a coin with mass m rolling without slipping and takes on an inclined plane ( x ,  y ) with angle α and nonlinear constraint. The second example is a Chetaev type described by a dog pursuing a man in a plane surface with a nonholonomic restriction. A full detailed analysis is addressed to define the Lie symmetries and the corresponding moving frames obtained in both examples.
ISSN:0001-5970
1619-6937
DOI:10.1007/s00707-019-02445-4