This thesis is devoted to algorithmic aspects of the implementation of Cartan's moving frame method to the problem of the equivalence of submanifolds under a Lie group action. We adopt a general definition of a moving frame as an equivariant map from the space of submanifolds to the group itself and introduce two algorithms, which simplify the construction of such maps. The first algorithm is applicable when the group factors as a product of two subgroups G = BA, allowing us to use moving frames and differential invariants for the groups A and B in order to construct a moving frame and differential invariants for G. This approach not only simplifies the computations, but also produces the relations among the invariants of G and its subgroups. We use the groups of the projective, the affine and the Euclidean transformations on the plane to illustrate the algorithm. We also introduce a recursive algorithm, allowing, provided the group action satisfies certain conditions, to construct differential invariants order by order, at each step normalizing more and more of the group parameters, at the end obtaining a moving frame for the entire group. The development of this algorithm has been motivated by the applications of the moving frame method to the problems of the equivalence and symmetry of polynomials under linear changes of variables. In the complex or real case these problems can be reduced and, in theory, completely solved as the problem of the equivalence of submanifolds. Its solution however involves algorithms based on the Gröbner basis computations, which due to their complexity, are not always feasible. Nevertheless, some interesting new results were obtained, such as a classification of ternary cubics and their groups of symmetries, and the necessary and sufficient conditions for a homogeneous polynomial in three variables to be equivalent to xn + yn + zn.
|Advisor:||Olver, Peter J.|
|School:||University of Minnesota|
|School Location:||United States -- Minnesota|
|Source:||DAI-B 61/06, Dissertation Abstracts International|
|Keywords:||Cartan's moving frame, Classical invariant theory, Differential invariants, Symmetry|
Copyright in each Dissertation and Thesis is retained by the author. All Rights Reserved
The supplemental file or files you are about to download were provided to ProQuest by the author as part of a
dissertation or thesis. The supplemental files are provided "AS IS" without warranty. ProQuest is not responsible for the
content, format or impact on the supplemental file(s) on our system. in some cases, the file type may be unknown or
may be a .exe file. We recommend caution as you open such files.
Copyright of the original materials contained in the supplemental file is retained by the author and your access to the
supplemental files is subject to the ProQuest Terms and Conditions of use.
Depending on the size of the file(s) you are downloading, the system may take some time to download them. Please be