The De Casteljau Algorithm on Lie Groups and Spheres

Springer Science and Business Media LLC - Tập 5 - Trang 397-429 - 1999
P. Crouch1, G. Kun2, F. Silva Leite3
1Center for Systems Science and Engineering, Arizona State University, Tempe, USA
2Lehrstuhl C für Mathematik, RWTH Aachen, Aachen, Germany
3Departamento de Matemática Universidade de Coimbra Coimbra, Portugal

Tóm tắt

We examine the De Casteljau algorithm in the context of Riemannian symmetric spaces. This algorithm, whose classical form is used to generate interpolating polynomials in $$\mathbb{R}^n $$ , was also generalized to arbitrary Riemannian manifolds by others. However, the implementation of the generalized algorithm is difficult since detailed structure, such as boundary value expressions, has not been available. Lie groups are the most simple symmetric spaces, and for these spaces we develop expressions for the first and second order derivatives of curves of arbitrary order obtained from the algorithm. As an application of this theory we consider the problem of implementing the generalized De Casteljau algorithm on an m-dimensional sphere. We are able to fully develop the algorithm for cubic splines with Hermite boundary conditions and more general boundary conditions for arbitrary m.

Tài liệu tham khảo

A. Barr, B. Currin, S. Gabriel, and J. Hughes, Smooth interpolation of orientations with angular velocity constraints using quaternions. In: Proc. Computer Graphics (SIGRAPH 92) 26 (1992), No. 2, 313–320. P. Bézier, The mathematical basis of the UNISURF CAD System. Butterworths, London, 1986. W. M. Boothby, An introduction to differential manifolds and Riemannian geometry. Academic Press, Pure and Appl. Math. Series of Monographs and Textbooks, Vol. 63, New York, 1975. M. Camarinha, F. Silva Leite, and P. Crouch, Splines of class C k on non-Euclidean spaces. J. Math. Control and Inform. 12 (1995), 399–410. _____, Second order optimality conditions for a higher order variational problem on a Riemannian manifold. In: Proc. 35th IEEE CDC, Kobe-Japan, 11–13 December (1996), Vol. II, 1636–1641. _____, Sufficient conditions for an optimization problem on a Riemannian manifold. In: Proc. CONTROLO-96, Porto-Portugal, 11–13 September (1996), Vol. I, 127–131. J. Cardoso and F. Silva Leite, Logarithms and exponentials for the Lie group of P-orthogonal matrices. Submitted in 1998. Chao-Chi Chen, Interpolation of orientation matrices using sphere splines in computer animation. Master of Science Thesis, Arizona State University (1990). P. Crouch and F. Silva Leite, The dynamic interpolation problem on riemannian manifolds, Lie groups and symmetric spaces, J. Dynam. Control Syst. 1 (1995), No. 2, 177–202. _____, Geometry and the dynamic interpolation problem, In: Proc. Am. Control Confer. Boston, 26–29 July (1991). _____, Closed forms for the exponential mapping on matrix Lie groups based on Putzer's method. To appear in: J. Math. Physics. P. Crouch, G. Kun, and F. Silva Leite, De Casteljau algorithm for cubic polynomials on the rotation group. In: Proc. CONTROLO-96, 11–13 September (1996), Vol. II, 547–552. _____, Geometric splines. To appear in: Proc. 14 th IFAC World Congress, 5–9 July (1999). Beijing, P. R. China. P. Crouch and J. Jackson, A non-holonomic dynamic interpolation problem. In: Proc. Confer. Anal. Control Dynam. Syst. Lion-France, 1990, Birkhäuser, series Progress in Systems and Control, 1991, 156–166. _____, Dynamic interpolation and application to flight control. To appear in: Proc. IEEE Decision and Control Confer. Honolulu, Hawaii (1990). _____, Dynamic interpolation and application to flight control To appear in: J. Guidance, Control and Dynam. J. Jackson, Dynamic interpolation and application to flight control. Ph D thesis, Arizona State University, 1990. P. De Casteljau, Outillages Méthodes Calcul. Technical Report, A. Citroen, Paris, 1959. G. Farin, Curves and surfaces for CAGD. Academic Press, Third Edition, 1993. Q. J. Ge and B. Ravani, Computer aided geometric design of motion interpolants. In: Proc. ASME Design Automation Conf. Miami, Fl, September, 1991, 33–41. _____, Computational geometry and mechanical design synthesis, In: Proc. 13th IMACS World Congress on Computation and Applied Mathematics, Dublin, Ireland, 1991, 1013–1015. _____, Geometric construction of Bezier motions. ASME J. Mechan. Design 116 (1994), 749–755. R. Hirschorn, Curves in homogeneous spaces. Can. J. Math. 29 (1977), No. 1, 77–83. B. Jutler, Visualization of moving objects using dual quaternion curves. Computers and Graphics 18 (1994), No. 3, 315–326. M. J. Kim, M. S. Kim, and S. Y. Shin, A general construction scheme for unit quaternion curves with simple high order derivatives. In: Computer Graphics Proc., Annual Conf. Series, (SIGRAPH 95), Los Angeles, CA., 1995, 369–376. J. Milnor, Morse theory. Ann. Math. Stud. 51 (1969), Princeton University Press. G. Nielson and R. Heiland, Animated rotations using quaternions and splines on a 4D sphere. In: Programmirovanie (Russia) Springer Verlag, English edition. Programming and Computer Software, Plenum Pub. NY 17–27 (1992). G. Nielson, Smooth interpolation of orientations. Models and Techniques in Computer Animation (N. Magnenat Thalmann and D. Thalmann Eds.), Springer Verlag, Tokyo, 1993, 75–93. L. Noakes, G. Heinzinger and B. Paden, Cubic splines on curved spaces. IMA J. Math. Control Inform. 6 (1989), 465–473. K. Nomizu, Foundations of differential geometry. In: Interscience Tracts in Pure and Applied Mathematics, John Willey and Sons, Vol. I,II (1969). F. Park and B. Ravani, Bézier curves on Riemannian manifolds and Lie groups with kinematic applications. ASME J. Mechan. Design 117 (1995), 36–40. D. Sattinger and O. Weaver, Lie groups and algebras with applications to physics, geometry and mechanics. Appl. Math. Sci. 61, Springer Verlag, 1986. K. Shoemake, Animating rotations with quaternion curves. ACM SIGRAPH 85 19 245–254 (1985).