Reduction by group symmetry of second order variational problems on a semidirect product of Lie groups with positive definite riemannian metric

Claudio Altafini

ESAIM: Control, Optimisation and Calculus of Variations (2004)

  • Volume: 10, Issue: 4, page 526-548
  • ISSN: 1292-8119

Abstract

top
For a riemannian structure on a semidirect product of Lie groups, the variational problems can be reduced using the group symmetry. Choosing the Levi-Civita connection of a positive definite metric tensor, instead of any of the canonical connections for the Lie group, simplifies the reduction of the variations but complicates the expression for the Lie algebra valued covariant derivatives. The origin of the discrepancy is in the semidirect product structure, which implies that the riemannian exponential map and the Lie group exponential map do not coincide. The consequence is that the reduced equations look more complicated than the original ones. The main scope of this paper is to treat the reduction of second order variational problems (corresponding to geometric splines) on such semidirect products of Lie groups. Due to the semidirect structure, a number of extra terms appears in the reduction, terms that are calculated explicitely. The result is used to compute the necessary conditions of an optimal control problem for a simple mechanical control system having invariant lagrangian equal to the kinetic energy corresponding to the metric tensor. As an example, the case of a rigid body on the Special euclidean group is considered in detail.

How to cite

top

Altafini, Claudio. "Reduction by group symmetry of second order variational problems on a semidirect product of Lie groups with positive definite riemannian metric." ESAIM: Control, Optimisation and Calculus of Variations 10.4 (2004): 526-548. <http://eudml.org/doc/245160>.

@article{Altafini2004,
abstract = {For a riemannian structure on a semidirect product of Lie groups, the variational problems can be reduced using the group symmetry. Choosing the Levi-Civita connection of a positive definite metric tensor, instead of any of the canonical connections for the Lie group, simplifies the reduction of the variations but complicates the expression for the Lie algebra valued covariant derivatives. The origin of the discrepancy is in the semidirect product structure, which implies that the riemannian exponential map and the Lie group exponential map do not coincide. The consequence is that the reduced equations look more complicated than the original ones. The main scope of this paper is to treat the reduction of second order variational problems (corresponding to geometric splines) on such semidirect products of Lie groups. Due to the semidirect structure, a number of extra terms appears in the reduction, terms that are calculated explicitely. The result is used to compute the necessary conditions of an optimal control problem for a simple mechanical control system having invariant lagrangian equal to the kinetic energy corresponding to the metric tensor. As an example, the case of a rigid body on the Special euclidean group is considered in detail.},
author = {Altafini, Claudio},
journal = {ESAIM: Control, Optimisation and Calculus of Variations},
keywords = {Lie group; semidirect product; second order variational problems; reduction; group symmetry; geometric splines; optimal control},
language = {eng},
number = {4},
pages = {526-548},
publisher = {EDP-Sciences},
title = {Reduction by group symmetry of second order variational problems on a semidirect product of Lie groups with positive definite riemannian metric},
url = {http://eudml.org/doc/245160},
volume = {10},
year = {2004},
}

TY - JOUR
AU - Altafini, Claudio
TI - Reduction by group symmetry of second order variational problems on a semidirect product of Lie groups with positive definite riemannian metric
JO - ESAIM: Control, Optimisation and Calculus of Variations
PY - 2004
PB - EDP-Sciences
VL - 10
IS - 4
SP - 526
EP - 548
AB - For a riemannian structure on a semidirect product of Lie groups, the variational problems can be reduced using the group symmetry. Choosing the Levi-Civita connection of a positive definite metric tensor, instead of any of the canonical connections for the Lie group, simplifies the reduction of the variations but complicates the expression for the Lie algebra valued covariant derivatives. The origin of the discrepancy is in the semidirect product structure, which implies that the riemannian exponential map and the Lie group exponential map do not coincide. The consequence is that the reduced equations look more complicated than the original ones. The main scope of this paper is to treat the reduction of second order variational problems (corresponding to geometric splines) on such semidirect products of Lie groups. Due to the semidirect structure, a number of extra terms appears in the reduction, terms that are calculated explicitely. The result is used to compute the necessary conditions of an optimal control problem for a simple mechanical control system having invariant lagrangian equal to the kinetic energy corresponding to the metric tensor. As an example, the case of a rigid body on the Special euclidean group is considered in detail.
LA - eng
KW - Lie group; semidirect product; second order variational problems; reduction; group symmetry; geometric splines; optimal control
UR - http://eudml.org/doc/245160
ER -

References

top
  1. [1] C. Altafini, Geometric motion control for a kinematically redundant robotic chain: Application to a holonomic mobile manipulator. J. Rob. Syst. 20 (2003) 211-227. Zbl1047.70024
  2. [2] V.I. Arnold, Math. methods of Classical Mechanics. 2nd ed., Grad. Texts Math. 60 (1989). 
  3. [3] L. Berard-Bergery, Sur la courbure des métriques Riemanniennes invariantes des groupes de Lie et des espaces homogènes. Ann. Sci. Ecole National Superior 11 (1978) 543. Zbl0426.53038MR533067
  4. [4] F. Bullo, N. Leonard and A. Lewis, Controllability and motion algorithms for underactuates Lagrangian systems on Lie groups. IEEE Trans. Autom. Control 45 (2000) 1437-1454. Zbl0990.70019MR1797397
  5. [5] F. Bullo and R. Murray, Tracking for fully actuated mechanical systems: a geometric framework. Automatica 35 (1999) 17-34. Zbl0941.93014MR1827788
  6. [6] M. Camarinha, F. Silva Leite and P. Crouch, Second order optimality conditions for an higher order variational problem on a Riemannian manifold, in Proc. 35th Conf. on Decision and Control. Kobe, Japan, December (1996) 1636-1641. 
  7. [7] E. Cartan, La géométrie des groupes de transformations, in Œuvres complètes 2, part I. Gauthier-Villars, Paris, France (1953) 673-792. JFM53.0388.01
  8. [8] H. Cendra, D. Holm, J. Marsden and T. Ratiu, Lagrangian reduction, the Euler-Poincaré equations and semidirect products. Amer. Math. Soc. Transl. 186 (1998) 1-25. Zbl0989.37052MR1732406
  9. [9] M. Crampin and F. Pirani, Applicable differential geometry. London Mathematical Society Lecture notes. Cambridge University Press, Cambridge, UK (1986). Zbl0606.53001MR892315
  10. [10] P.E. Crouch and F. Silva Leite, The dynamic interpolation problem on Riemannian manifolds, Lie groups and symmetric spaces. J. Dynam. Control Syst. 1 (1995) 177-202. Zbl0946.58018MR1333770
  11. [11] M. do Carmo, Riemannian geometry. Birkhäuser, Boston (1992). Zbl0752.53001MR1138207
  12. [12] L. Eisenhart, Riemannian geometry. Princeton University Press, Princeton (1966). Zbl0174.53303MR35081
  13. [13] V. Jurdjevic, Geometric Control Theory. Cambridge Stud. Adv. Math. Cambridge University Press, Cambridge, UK (1996). Zbl0940.93005MR1425878
  14. [14] S. Kobayashi and K. Nomizu, Foundations of differential geometry I and II. Interscience Publisher, New York (1963) and (1969). Zbl0119.37502MR152974
  15. [15] J. Lee, Riemannian manifolds. An introduction to curvature. Springer, New York, NY (1997). Zbl0905.53001MR1468735
  16. [16] A. Lewis and R. Murray, Configuration controllability of simple mechanical control systems. SIAM J. Control Optim. 35 (1997) 766-790. Zbl0870.53013MR1444338
  17. [17] A. Lewis and R. Murray, Decompositions for control systems on manifolds with an affine connection. Syst. Control Lett. 31 (1997) 199-205. Zbl0901.93014MR1475667
  18. [18] J. Marsden, Lectures on Mechanics. Cambridge University Press, Cambridge (1992). Zbl0744.70004MR1171218
  19. [19] J. Marsden and T. Ratiu, Introduction to mechanics and symmetry, Springer-Verlag, 2nd ed., Texts Appl. Math. 17 (1999). Zbl0933.70003MR1723696
  20. [20] J. Milnor, Curvature of left invariant metrics on Lie groups. Adv. Math. 21 (1976) 293-329. Zbl0341.53030MR425012
  21. [21] R. Murray, Z. Li and S. Sastry, A Mathematical Introduction to Robotic Manipulation. CRC Press (1994). Zbl0858.70001MR1300410
  22. [22] L. Noakes, G. Heinzinger and B. Paden, Cubic splines on curved spaces. IMA J. Math. Control Inform. 12 (1989) 465-473. Zbl0698.58018MR1036158
  23. [23] K. Nomizu, Invariant affine connections on homogeneous spaces. Amer. J. Math. 76 (1954) 33-65. Zbl0059.15805MR59050
  24. [24] F. Park and B. Ravani, Bézier curves on Riemannian manifolds and Lie groups with kinematic applications. ASME J. Mech. design 117 (1995) 36-40. 
  25. [25] J. M. Selig, Geometrical methods in Robotics. Springer, New York, NY (1996). Zbl0861.93001MR1411680
  26. [26] M. Zefran, V. Kumar and C. Croke, On the generation of smooth three-dimensional rigid body motions. IEEE Trans. Robot. Automat. 14 (1998) 576-589. 

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

                
Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.