Massey Documents by Type

Permanent URI for this communityhttps://mro.massey.ac.nz/handle/10179/294

Browse

Filters

1994 - 199912010 - 20161

Settings

Has files: YesSubject: search.filters.subject.Lie groups

Search Results

Now showing 1 - 2 of 2
  • Thumbnail Image
    Item
    Point and Lie Bäcklund symmetries of certain partial differential equations : a thesis presented in partial fulfilment of the requirements for the degree of MA in Mathematics at Massey University
    (Massey University, 1994) Pigeon, David Leslie
    The aim of this thesis is to: (1) Explore the use of differential forms in obtaining point and contact symmetries of particular partial differential equations (PDEs) and hence their corresponding similarity solutions. [1] and [4]. (2) Explore the generalized or Lie-Bäcklund symmetries of particular PDEs with particular reference to the Korteweg-de Vries-Burgers (KdVB) equation [3]. Finding point symmetries of a PDE H = 0 with independent variables (x1,x2 ) which we take to represent space and time and dependent variable (u) means finding the transformation group that takes the variables (x1, x2, u) to the system (x´1, x´2 , u´ ) and maps solutions of H = 0 into solutions of the same equation. The form of H = 0 remains invariant. The transformation group is usually expressed in terms of its infinitesimal generator (X) where using the tensor summation convention. X can be considered as a differential vector operator with components (ξ1 , ξ2 , η) operating in a three dimensional manifold (space) with coordinates (x1 , x2 , u). The invariance of H = 0 under the transformation group is expressed in terms of a suitable prolongation or extension of X (denoted by X(pr) ) to cover the effect of the transformations on the derivatives of u in H = 0. The invariance condition for H = 0 under the action of the transformation group is (Pr) [H] = 0 whenever H = 0. We consider x1 , x2 , u and the derivatives of u to be independent variables. In practical terms, finding point symmetries of H = 0 means finding the components (ξ1 , ξ2 , η) of the infinitesimal generator (X). There are two general methods for finding ξ1 , ξ2 η. [From Introduction] [NB: Mathematical/chemical formulae or equations have been omitted from the abstract due to website limitations. Please read the full text PDF file for a complete abstract.]
  • Thumbnail Image
    Item
    Image registration using finite dimensional lie groups : a thesis presented in partial fulfilment of the requirements for the degree of Doctor of Philosophy in Mathematics at Massey University, Palmerston North, New Zealand
    (Massey University, 2016) Zarredooghabadi, Raziyeh
    D'Arcy Thompson was a biologist and mathematician who, in his 1917 book `On Growth and Form', posited a `Theory of Transformations', which is based on the observation that a smooth, global transformation of space may be applied to the shape of an organism so that its transformed shape corresponds closely to that of a related organism. Image registration is the computational task of finding such transformations between pairs of images. In modern applications in areas such as medical imaging, the transformations are often chosen from the infinite-dimensional diffieomorphism group. However, this differs from Thompson's approach where the groups are chosen to be as simple as possible, and are generally finite-dimensional. The main exception to this is the similarity group of translation, rotation, and scaling, which is used to pre-align images. In this thesis the set of planar Lie groups are investigated and applied to image registration of the types of images that Thompson considered. As these groups are smaller, successful registration in these groups provides more specific information about the relationship between the images than diffeomorphic registration does, as well as providing faster implementations. We build a lattice of the Lie groups showing which are subgroups of each other, and the groups are used to perform image registration by minimizing the L2-norm of the difference between the group-transformed source image and the target image. A robust, practical, and efficient algorithm for registration in Lie groups is developed and tested on a variety of image types. Each successful registration returns a point in a Lie group. Given several related images (such as the hooves of several animals) it is possible to find smooth curves that pass through the Lie group elements used to relate the various images. These curves can then be employed to interpolate points between the set of images or to extrapolate to new images that have not been seen before. We discuss the mathematics behind this and demonstrate it on the images that Thompson used, as well as other datasets of interest. Finally, we consider using a sequence of the planar Lie groups to perform registration, with the output from one group being used as the input to the next. We call this multiregistration, and have identified two types: where the smallest group is a subgroup of the next smallest, and so on up a chain, and where the groups are not directly related, i.e., separated on the lattice. We demonstrate experimentally that multiregistration can provide more information about the relationship between images than simple registration. In addition, we show that transformations that cannot be obtained by a single registration in any of the groups considered can be successfully reached.