×

动力系统的尺度不变量和对称性约简。 (英语) Zbl 1284.34045号

本文展示了如何确定标度对称性,并用算法合理地使用标度对称性来减少动力系统。该方法被应用于一些显著的数学生物学模型中参数的减少。使用的主要工具是指数矩阵的Hermite正规形式及其模乘数。本文中的所有算法都是用作者提供的代码在计算机代数系统Maple中实现的。

MSC公司:

34立方厘米 对称性,常微分方程的不变量
15-04 线性代数相关问题的软件、源代码等
34-04 常微分方程相关问题的软件、源代码等
34C20美元 常微分方程和系统的变换和约简,正规形式
92D25型 人口动态(一般)

软件:

MABS系统;枫树
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

参考文献:

[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的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。