[Truncated abstract] This thesis is concerned with geometrically-defined curves that can be used for interpolation in Riemannian or, more generally, semi-Riemannian manifolds. As in much of the existing literature on such curves, emphasis is placed on manifolds which are important in computer graphics and engineering applications, namely the unit 3-sphere S3 and the closely related rotation group SO(3), as well as other Lie groups and spheres of arbitrary dimension. All geometrically-defined curves investigated in the thesis are either higher order variational curves, namely critical points of cost functionals depending on (covariant) derivatives of order greater than 1, or defined by geometrical algorithms, namely generalisations to manifolds of algorithms from the field of computer aided geometric design. Such curves are needed, especially in the aforementioned applications, since interpolation methods based on applying techniques of classical approximation theory in coordinate charts often produce unnatural interpolants. However, mathematical properties of higher order variational curves and curves defined by geometrical algorithms are in need of substantial further investigation: higher order variational curves are solutions of complicated nonlinear differential equations whose properties are not well-understood; it is usually unclear how to impose endpoint derivative conditions on, or smoothly piece together, curves defined by geometrical algorithms. This thesis addresses these difficulties for several classes of curves. ... The geometrical algorithms investigated in this thesis are generalisations of the de Casteljau and Cox-de Boor algorithms, which define, respectively, polynomial B'ezier and piecewise-polynomial B-spline curves by dividing, in certain ratios and for a finite number of iterations, piecewise-linear control polygons corresponding to finite sequences of control points. We show how the control points of curves produced by the generalised de Casteljau algorithm in an (almost) arbitrary connected finite-dimensional Riemannian manifold M should be chosen in order to impose desired endpoint velocities and (covariant) accelerations and, thereby, piece the curves together in a C2 fashion. A special case of the latter construction simplifies when M is a symmetric space. For the generalised Cox-de Boor algorithm, we analyse in detail the failure of a fundamental property of B-spline curves, namely C2 continuity at (certain) knots, to carry over to M.
| Identifer | oai:union.ndltd.org:ADTP/221394 |
| Date | January 2007 |
| Creators | Popiel, Tomasz |
| Publisher | University of Western Australia. School of Mathematics and Statistics |
| Source Sets | Australiasian Digital Theses Program |
| Language | English |
| Detected Language | English |
| Rights | Copyright Tomasz Popiel, http://www.itpo.uwa.edu.au/UWA-Computer-And-Software-Use-Regulations.html |
Page generated in 0.0021 seconds