彼得·奥尔弗（Peter J.Olver）。;弗朗西斯·瓦利奎特 李伪群的递归移动帧。 （英语） Zbl 1403.53016号 结果。数学。 73，第2号，第57号论文，64页（2018年）。 本文介绍了一种新的递归算法，避免了繁琐的符号表达式，以计算与李伪群动作相关的运动帧和微分不变量。此外，该方法对部分运动框架、结构方程和新的微分算子产生了新的结果。因此，为了确定有限维李群作用的运动框架和微分不变量，产生了一种简化的计算算法。审核人：萨文·特伦塔（布加勒斯特） 引用于6文件 MSC公司： 53页A55 微分不变量（局部理论），几何对象 58甲15 外部微分系统（Cartan理论） 58A20个 全球分析中的喷气式飞机 关键词：微分不变量;李伪群;Maurer-Cartan形式;移动机架;递推公式。 PDF格式BibTeX公司 XML格式引用 \textit{P.J.Olver}和\textit{F.Valiquette}，结果。数学。73，第2号，第57号文件，第64页（2018年；Zbl 1403.53016） 全文： 内政部 参考文献： [1] 安德森，I.M.：变分双复数。犹他州技术报告（1989）。http://math.usu.edu/fg _ mp（前景_最大值） [2] 阿纳尔德森（Arnaldsson）：渐开线移动框架。明尼苏达大学博士论文（2017） [3] 阿纳尔德森（Arnaldsson）：多项式理想的简化Cartan特征和Cartan等价方法的终止（预印本）。冰岛雷克雅未克大学（2017） [4] 本森，J；Valiquette，F，使用移动框架对普通有限差分方程进行对称约简，J.Phys。A、 50，195201，（2017）·兹比尔1366.39001 ·doi:10.1088/1751-8121/aa65f1 [5] IA Berchenko；Olver，PJ，《多项式的对称性》，J.Symb。计算。，29, 485-514, (2000) ·Zbl 0970.15023号 ·doi:10.1006/S0747-7171（99）90307-3 [6] 比赫罗，A；Santos Cardoso-Bihlo，E；Popovych，RO，β平面上的不变参数化和湍流建模，Phys。D非线性现象。，269, 48-62, (2014) ·Zbl 1302.76078号 ·doi:10.1016/j.physd.2013.1010 [7] 博伊科，V；帕特拉，J；Popovych，R，通过移动框架计算李代数不变量，J.Phys。A、 395749-5762（2006）·Zbl 1106.17040号 ·doi:10.1088/0305-4470/39/20/009 [8] 卡拉比，E；PJ Olver；沙基班，C；Tannenbaum，A；Haker，S，《应用于物体识别的微分和数字不变特征曲线》，国际计算机杂志。视觉。，26, 107-135, (1998) ·doi:10.1023/A:1007992709392 [9] 坎特威尔，B.J.：《对称分析导论》。剑桥大学出版社，剑桥（2003）·Zbl 1082.34001号 [10] Cartan女士：《移动代表团之路》、《集团之路》（La Théorie des Groupes Continuous）、《法国国家空间》（Espaces Généralisés）和《法国国家展览》（Exposés de Géométrie No.5）。赫尔曼，巴黎（1935）·Zbl 0010.39501号 [11] Cartan女士：Sur-la结构des groupes infinis de transformations。收录于：《完整行动》，第二部分，第2卷，第571-714页。巴黎戈蒂尔·维拉斯（1953年） [12] 埃卡坦：内脏群结构。收录于：《完整行动》，第二部分，第2卷，第1335-1384页。巴黎戈蒂尔·维拉斯（1953年） [13] 香槟，B；Winternitz，P，关于Davey-Stewartson方程的无穷维对称群，J.Math。物理。，29, 1-8, (1988) ·Zbl 0643.35097号 ·doi:10.1063/1.528173 [14] Cheh，J；奥尔弗，PJ；Pohjanpelto，J，微分方程对称组微分不变量的算法，发现。计算。数学。，8, 501-532, (2008) ·Zbl 1183.58016号 ·doi:10.1007/s10208-005-0206-x [15] 大卫·D；卡姆兰，N；列维，D；Winternitz，P，环代数的子代数和Kadomtsev-Petviashvili方程的对称性，物理学。修订稿。，55, 2111-2113, (1985) ·doi:10.1103/PhysRevLett.55.2111 [16] RJ Deeley；霍伍德，JT；McLenaghan，RG公司；Smirnov，RG，Killing张量向量空间的代数不变量理论：基本不变量的计算方法，Proc。Inst.数学。NAS乌克兰，501079-1086，（2004）·Zbl 1094.53025号 [17] 费尔斯，M；Olver，PJ，《移动框架》。二、。规范化和理论基础，《应用学报》。数学。，55, 127-208, (1999) ·Zbl 0937.53013号 ·doi:10.1023/A:1006195823000 [18] Gonçalves，TMN；Mansfield，EL，《关于运动框架和noether守恒定律》，Stud.Appl。数学。，128, 1-29, (2012) ·Zbl 1332.37047号 ·文件编号：10.1111/j.1467-9590.2011.00522.x [19] 贡萨尔维斯，TMN；Mansfield，EL，欧几里德不变拉格朗日运动框架和守恒定律，Stud.Appl。数学。，130, 134-166, (2013) ·Zbl 1308.37030号 ·doi:10.1111/j.1467-9590.2012.00566.x [20] Gonçalves，TMN；Mansfield，EL，移动框架和noether守恒定律——一般情况，论坛数学。西格玛，4，e29，（2016）·Zbl 1362.70030号 ·doi:10.1017/fms.2016.24 [21] 古根海默，H.W.：微分几何。McGraw-Hill，纽约（1963年）·Zbl 0116.13402号 [22] Guillemin，V.，Sternberg，S.：伪群结构的变形理论，美国数学学会回忆录，第64卷。普罗维登斯，AMS（1966）·Zbl 0169.53001号 [23] 汉恩，CE；Hickman，MS，射影曲率和积分不变量，应用学报。数学。，74, 177-193, (2002) ·Zbl 1035.53026号 ·doi:10.1023/A:1020617228313 [24] 休伯特，E；科根，IA，群作用的有理不变量。构建和重写，J.Symb。计算。，42, 203-217, (2007) ·Zbl 1121.13010号 ·doi:10.1016/j.jsc.2006.03.005 [25] 休伯特，E；Kogan，IA，群作用的光滑不变量和代数不变量。当地和全球建筑，发现。计算。数学。，7, 455-493, (2007) ·Zbl 1145.53006号 ·doi:10.1007/s10208-006-0219-0 [26] 伊茨科夫，V；PJ Olver；Valiquette，F，伪群的Lie补全，变换。集团，16，161-173，（2011）·Zbl 1257.22004号 ·doi:10.1007/s00031-010-9118-1 [27] Jensen，G.R.：齐次空间子流形的高阶接触。数学课堂讲稿，第610卷。纽约州施普林格市（1977年）·Zbl 0356.53005号 ·doi:10.1007/BFb0068415 [28] Johnson，HH，《经典微分不变量及其在偏微分方程中的应用》，数学。安，148308-329，（1962）·Zbl 0171.06301号 ·doi:10.1007/BF01451139 [29] 金，P；Olver，PJ，《通过多空间进行几何整合》，Regul。混沌动力学。，9, 213-226, (2004) ·Zbl 1068.65092号 ·doi:10.1070/RD2004v009n03ABEH000277 [30] Kogan，IA，移动框架的感应结构，Contemp。数学。，285, 157-170, (2001) ·Zbl 1006.53011号 ·doi:10.1090/conm/285/04741 [31] Kogan，I.A.，Moreno Maza，M.：三元立方的标准形计算。摘自：Mora，T.（编辑）《2002年符号和代数计算国际研讨会论文集》，纽约计算机械协会，第151-160页（2002）·Zbl 1072.68629号 [32] 爱荷华州科根；Olver，PJ，不变欧拉-拉格朗日方程和不变变分双复数，应用学报。数学。，76, 137-193, (2003) ·Zbl 1034.53015号 ·doi:10.1023/A:1022993616247 [33] 爱荷华州科根；Olver，PJ，满射图下物体及其图像的不变量，Lobachevskii J.Math。，36, 260-285, (2015) ·Zbl 1332.53021号 ·doi:10.1134/S1995080215030063 [34] 克鲁格利科夫，B；Lychagin，V，整体Lie-tresse定理，Sel。数学。，22, 1357-1411, (2016) ·Zbl 1347.53015号 ·doi:10.1007/s00029-015-0220-z [35] Kumpera，A，不变量différentiels d’un pseudo-groupe de Lie，J.diff.Geom。，10289-416，（1975年）·Zbl 0319.58018号 ·doi:10.4310/jdg/1214432795 [36] Kumpera，A.，Spencer，D.：李方程。普林斯顿大学出版社，普林斯顿（1972）·Zbl 0258.58015号 [37] Kuranishi，M，关于连续无限伪群的局部理论I，名古屋数学。J.，第15卷，第225-260页，（1959年）·Zbl 0212.56501号 ·doi:10.1017/S0027763000006747 [38] Kuranishi，M，关于连续无限伪群的局部理论II，名古屋数学。J.，19，55-91，（1961）·Zbl 0212.56501号 ·doi:10.1017/S0027763000002403 [39] Lisle，IG；GJ，Reid，《来自无穷小定义系统的李伪群的几何和结构》，J.Symb。计算。，26, 355-379, (1998) ·Zbl 0926.58014号 ·doi:10.1006/jsco.1998.0218 [40] Mackenzie，K.：李群胚和李代数胚的一般理论，伦敦数学学会讲义系列，第213卷。剑桥大学出版社，剑桥（2005）·Zbl 1078.58011号 ·doi:10.1017/CBO9781107325883 [41] 曼斯菲尔德，E.L.：不变量微积分实用指南。剑桥大学出版社，剑桥（2010）·Zbl 1203.37041号 ·doi:10.1017/CBO9780511844621 [42] 玛丽·贝法，G；Mansfield，EL，《晶格变体上的离散移动框架和基于晶格的多空间》，Found。计算。数学。，18, 181-247, (2018) ·Zbl 1390.14101号 ·doi:10.1007/s10208-016-9337-5 [43] 曼斯菲尔德，E；玛丽·贝法，G；Wang，JP，离散运动框架和微分-微分可积系统，Found。计算。数学。，13, 545-582, (2013) ·Zbl 1279.14045号 ·doi:10.1007/s10208-013-9153-0 [44] 马里-贝法，G；Olver，PJ，半简单齐次空间上几何曲线流的泊松结构，Regul。混沌动力学。，15, 532-550, (2010) ·Zbl 1229.22018号 ·网址：10.1134/S156035471004009X [45] RG麦克莱纳汉；斯米尔诺夫，RG；《D，经典代数不变量理论对伪黎曼几何和哈密顿力学的扩展》，J.Math。物理。，45, 1079-1120, (2004) ·Zbl 1070.37036号 ·doi:10.1063/1.1644902文件 [46] Morozov，O，《移动坐标系和微分方程的对称性》，J.Phys。A、 352965-2977（2002）·Zbl 1040.35003号 ·doi:10.1088/0305-4470/35/12/317 [47] Morozov，OI，通过cartan方法构建对称群：四种方法综述，SIGMA对称积分。地理。方法应用。，1, 006, (2005) ·Zbl 1092.58017号 [48] Olver，P.J.：《李群在微分方程中的应用》，数学研究生教材，第107卷，第2版。施普林格，纽约（1993）·Zbl 0785.58003号 ·doi:10.1007/978-1-4612-4350-2 [49] Olver，P.J.：等价、不变量和对称。剑桥大学出版社，剑桥（1995）·Zbl 0837.58001号 ·doi:10.1017/CBO9780511609565 [50] Olver，P.J.：《经典不变量理论》，伦敦数学学会学生教材，第44卷。剑桥大学出版社，剑桥（1999）·Zbl 0971.13004号 ·doi:10.1017/CBO9780511623660 [51] Olver，PJ，联合不变签名，Found。计算。数学。，1, 3-67, (2001) ·Zbl 1001.53004号 ·doi:10.1007/s10208001001 [52] Olver，PJ，《数值算法和对称性的几何基础》，应用。代数工程通讯。计算。，11, 417-436, (2001) ·Zbl 0982.65135号 ·doi:10.1007/s002000000053 [53] 奥尔弗，PJ，不变子流形流，物理学杂志。A、 41344017（2008）·Zbl 1146.53040号 ·doi:10.1088/1751-8113/41/34/344017 [54] PJ Olver；Levi，D（编辑）；Olver，P（编辑）；Thomova，Z（编辑）；Winternitz，P（编辑），《移动框架讲座》，第381207-246号，（2011），剑桥·Zbl 1235.53016号 ·doi:10.1017/CBO9780511997136.010 [55] Olver，PJ，递归移动框架，结果数学。，60, 423-452, (2011) ·Zbl 1254.22014年 ·doi:10.1007/s00025-011-0153-6 [56] PJ Olver；Pohjanpelto，J，Maurer-Cartan形式和李伪群结构，选择数学。，11, 99-126, (2005) ·Zbl 1091.58014号 ·doi:10.1007/s00029-005-0008-7 [57] PJ Olver；Pohjanpelto，J，《李伪群的移动框架》，加拿大。数学杂志。，60, 1336-1386, (2008) ·兹比尔1160.53006 ·doi:10.4153/CJM-2008-057-0 [58] PJ Olver；Pohjanpelto，J，李伪群的微分不变代数，高等数学。，222, 1746-1792, (2009) ·Zbl 1194.58018号 ·doi:10.1016/j.aim.2009.06.016 [59] PJ Olver；Pohjanpelto，J，《伪群行为的自由持久性》，Arkiv Mat.，50，165-182，（2012）·Zbl 1260.58010号 ·doi:10.1007/s11512-010-0133-1 [60] PJ Olver；Pohjanpelto，J；Valiquette，F，关于李伪群的结构，SIGMA，5077，（2009）·Zbl 1241.58008号 [61] Olver，P.J.，Polat，G.G.：二元和三元形式的联合微分不变量。明尼苏达大学（预印本）（2017年）·Zbl 0643.35097号 [62] Rebelo，R；Valiquette，F，偏微分方程的保对称数值格式及其数值试验，J.Differ。埃克。应用。，19, 738-757, (2013) ·Zbl 1267.65111号 ·doi:10.1080/10236198.2012.685470 [63] Seiler，W.M.：《对合：微分方程的形式理论及其在计算机代数、数学算法和计算中的应用》，第24卷。施普林格，纽约（2010）·Zbl 1205.35003号 ·doi:10.1007/978-3642-01287-7 [64] Shemyakova，E.，Mansfield，E.L.：拉普拉斯不变量的移动框架。摘自：Jeffrey，D.（编辑）ISSAC2008会议记录。ACM，纽约，第295-302页（2008年）·Zbl 1489.35005号 [65] 歌手，IM；Sternberg，S，《Lie和Cartan的无限群》，第一部分，（传递群），J.Anal。数学。，15, 1-114, (1965) ·Zbl 0277.58008号 ·doi:10.1007/BF02787690 [66] Stormark，O.：李的PDE系统结构方法。数学百科全书及其应用。剑桥大学出版社，剑桥（2000）·Zbl 0959.35004号 ·doi:10.1017/CBO9780511569456 [67] Tondeur，P.：叶状体几何学。Birkhäuser，波士顿（1997年）·Zbl 0905.53002号 ·doi:10.1007/978-3-0348-8914-8 [68] 汤普森，R；Valiquette，F，关于不变Euler-Lagrange复数的上同调，Acta Appl。数学。，116, 199-226, (2011) ·Zbl 1251.49048号 ·doi:10.1007/s10440-011-9638-2 [69] 汤普森，R；Valiquette，F，使用移动框架的微分方程组叶理，论坛数学。西格玛，3，e22，（2015）·Zbl 1329.35031号 ·doi:10.1017/fms.2015.24 [70] Thompson，R.，Valiquette，F.：有限差分方程的群Foliation（预印本）。纽约州立大学、纽帕尔茨分校（2015年）·Zbl 1329.35031号 [71] Valiquette，F，用等变移动框架法求解局部等价问题，SIGMA对称积分。地理。方法应用。，9, 029, (2013) ·Zbl 1277.58004号 [72] Wears，T.H.：多项式函数的特征变量。北卡罗来纳州立大学博士论文（2011年） [73] Weinstein，A，群胚：内外对称的统一。浏览一些示例，注意Am.Math。《社会学杂志》，43，744-752，（1996）·Zbl 1044.20507号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。