群作用下子流形的微分不变量和Monge-Taylor形式  

Differential invariants and the Monge-Taylor forms for submanifolds under group actions

作　　者：姚若侠[1] 王伟[1,2] 杨晓博[1] YAO RuoXia WANG Wei YANG XiaoBo

机构地区：[1]陕西师范大学计算机科学学院,西安710119 [2]西安财经学院信息与教育技术中心,西安710062

出　　处：《中国科学：数学》2016年第12期1829-1844,共16页Scientia Sinica：Mathematica

基　　金：国家自然科学基金(基金号:11471004和11071278)资助项目

摘　　要：通过对等价活动标架方法及群作用下无穷小生成子的高阶延拓和微分不变量全局递推公式的研究,本文给出可自动获取无穷小生成子高阶延拓的定理,并基于符号计算及确定的规范化微分不变量基本集,给出可自动构造无穷多高阶规范化微分不变量的精确递推公式及描述高阶微分不变量之间关系的无穷多syzygies的系统化方法.最后,基于所获高阶微分不变量,构造了群作用下一般子流形的显式Monge-Taylor形式.Motivated by the equivariant moving frame method and starting from the study about the prolonga- tion of the infinitesimal generators of transformation groups and the universal recurrence formulae for differential invariants, we present some theories which make it possible for the systematic determination of the higher order prolongation of the infinitesimal generators. Farthermore, based on the symbolic computation and the fundamen- tal sets of the determined normalized differential invariants, we give the exact recurrence formulae to construct the infinitely many higher order normalized differential invariants and syzygies which show the relationships be- tween them. In addition, by the obtained normalized differential invariants, the explicit Monge-Taylor forms are obtained extensively for submanifolds under group actions.

关 键 词：等价活动标架 微分不变量 SYZYGY Monge—Taylor形式 Euclid群 等仿射群 

分 类 号：O186.12[理学—数学]