伊芙琳·休伯特;乔治·拉巴恩 动力系统的尺度不变量和对称性约简。 (英语) Zbl 1284.34045号 已找到。计算。数学。 13,第4期,479-516(2013). 本文展示了如何确定标度对称性,并用算法合理地使用标度对称性来减少动力系统。该方法被应用于一些显著的数学生物学模型中参数的减少。使用的主要工具是指数矩阵的Hermite正规形式及其模乘数。本文中的所有算法都是用作者提供的代码在计算机代数系统Maple中实现的。审核人:Mircea Crâşmăreanu(伊阿西) 引用于11文件 MSC公司: 34立方厘米 对称性,常微分方程的不变量 15-04 线性代数相关问题的软件、源代码等 34-04 常微分方程相关问题的软件、源代码等 34C20美元 常微分方程和系统的变换和约简,正规形式 92D25型 人口动态(一般) 关键词:组操作;有理不变量;矩阵范式;模型简化;量纲分析;对称性减缩;等变运动框架 软件:MABS系统;枫树 PDF格式BibTeX公司 XML格式引用 \textit{E.Hubert}和\textit{G.Labahn},已找到。计算。数学。13,第4号,479--516(2013;Zbl 1284.34045) 全文: 内政部 哈尔 参考文献: [1] I.M.Anderson,M.E.Fels,《对称外部微分系统》,《应用学报》。数学87(1-3),3-31(2005)·Zbl 1078.58002号 ·doi:10.1007/s10440-005-1136-y [2] R.L.Anderson,V.A.Baikov,R.K.Gazizov,W.Hereman,N.H.Ibragimov,F.M.Mahomed,S.V.Meleshko,M.C.Nucci,P.J.Olver,M.B.Sheftel,A.V.Turbiner,E.M.Vorob'ev,CRC微分方程李群分析手册,第3卷(CRC出版社,博卡拉顿,1996)·Zbl 0864.35003号 [3] B.Beckermann,G.Labahn,G.Villard,一般多项式矩阵的范式,J.Symb。计算41(6),708-737(2006)·Zbl 1128.15005号 ·doi:10.1016/j.jsc.20006.02.001 [4] G.Birkhoff,《流体动力学:逻辑、事实和相似性研究》(普林斯顿大学出版社,普林斯顿,1960年)·Zbl 0095.20303号 [5] P.Bridgeman,《维度分析》(耶鲁大学出版社,耶鲁,1931年)。 [6] P.Chossat,R.Lauterbach,等变分岔和动力系统的方法。非线性动力学高级系列,第15卷(世界科学,River Edge,2000)·兹比尔0968.37001 ·doi:10.1142/4062 [7] H.Cohen,计算代数数论课程(Springer,柏林,1993)·Zbl 0786.11071号 ·doi:10.1007/978-3-662-02945-9 [8] M.Fels,P.Olver,《移动框架》。二、。规范化和理论基础,应用学报。数学55(2),127-208(1999)·兹伯利0937.53013 ·doi:10.1023/A:1006195823000 [9] M.E.Fels,带对称性积分标量常微分方程重访,Found。计算。数学7(4),417-454(2007)·Zbl 1147.34002号 ·doi:10.1007/s10208-005-0207-9 [10] K.Gatermann,等变动力系统的计算机代数方法。数学课堂讲稿,第1728卷(施普林格,柏林,2000年)·Zbl 0944.65131号 ·doi:10.1007/BFb0104059 [11] G.Havas,B.Majewski,K.Matthews,通过格基归约的扩展gcd和Hermite范式算法,实验数学7(2),125-136(1998)·Zbl 0922.11112号 ·doi:10.1080/10586458.1998.10504362 [12] E.Hubert,Maurer-Cartan不变量的生成性质,预印本http://hal.iria.fr/inia-00194528 (2007). [13] E.Hubert,I.Kogan,群作用的有理不变量。《建构与重写》,J.Symb。计算42(1-2),203-217(2007)·Zbl 1121.13010号 ·doi:10.1016/j.jsc.206.03005 [14] E.Hubert,I.Kogan,群作用的光滑不变量和代数不变量。发现本地和全球建筑。计算。数学7(4),455-493(2007)·Zbl 1145.53006号 ·doi:10.1007/s10208-006-0219-0 [15] 休伯特,E。;Labahn,G.,《Hermite范式标度的有理不变量》,219-226(2012),纽约·Zbl 1323.68605号 ·doi:10.1145/2442829.2442862 [16] H.E.Huntley,维度分析(Dover,New York,1967)·Zbl 0189.45802号 [17] Y.Ishida,物理系统的公式处理,复杂系统11(2),141-160(1997)·Zbl 0926.68112号 [18] G.Kemper,不变场的计算和Rosenlicht定理的新证明,变换。第12组,657-670(2007年)·Zbl 1220.13003号 ·doi:10.1007/s00031-007-0056-5 [19] Khanin,R.,计算机代数中的维度分析,201-208(2001),纽约 [20] Lemaire,F。;U rgüplü,A.,利用线性代数的标度型李点对称性对半校正代数和微分系统的方法,ISSAC’10,纽约·Zbl 1321.68537号 [21] C.Lin,L.Segel,《自然科学中确定性问题的数学应用》。工业和应用数学学会(1988年)·Zbl 0664.00026号 ·doi:10.1137/1.9781611971347 [22] E.Mansfield,《不变量微积分实用指南》(剑桥大学出版社,剑桥,2010年)·Zbl 1203.37041号 ·doi:10.1017/CBO9780511844621 [23] 穆勒·奎德,J。;Beth,T.,线性代数群不变域的计算生成器,第1719号(1999),柏林·Zbl 0959.14029号 [24] J.D.Murray,数学生物学。跨学科应用数学,第17卷(Springer,柏林,2002)·Zbl 1006.92001号 [25] P.J.Olver,李群在微分方程中的应用。数学研究生教材,第107卷(施普林格,纽约,1986年)·Zbl 0588.22001 ·doi:10.1007/978-1-4684-0274-2 [26] 波波夫,V.L。;文伯格,E.B.,不变量理论(1994),柏林 [27] A.Schrijver,《线性和整数规划理论》(Wiley,纽约,1986年)·Zbl 0665.90063号 [28] Sedoglavic,A.,通过校正仿射扩展李对称来简化代数参数系统,第4545号,277-291(2007),柏林·Zbl 1333.34055号 ·数字对象标识代码:10.1007/978-3-540-73433-8_20 [29] A.Storjohann,矩阵规范形式的算法。瑞士联邦理工学院计算机科学系博士论文(2000年)。 [30] Storjohann,A。;Labahn,G.,整数矩阵Hermite正规形式的渐近快速计算,259-266(1996),纽约·Zbl 0915.65033号 [31] B.Sturmfels,Gröbner基底和凸多面体(美国数学学会,普罗维登斯,1996)·Zbl 0856.13020号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。