×

通货紧缩与多元化结构。 (英语) Zbl 1387.13063号

应用数值方法求解多项式系统的一个重要障碍是牛顿法在奇异解附近的条件不成立和表现不佳。在多重奇异根的情况下,应用压缩技术将系统转换为另一个具有较小重数甚至重数相等根的系统。在本文中,作者提出了关于多项式系统奇异解的两个新的“精确”构造。他们首先给出了一种新的孤立奇异根的通缩方法,使用一个线性微分形式,通过将该微分形式应用于原始系统,得到所需的通缩系统。应该注意的是,这种新的通货紧缩并没有引入新的变量,方程的数量在每次迭代中都会线性增加。此外,它减少了奇异根的多重性和深度。第二种构造给出了一个新的多元多项式系统,它在奇异根处定义了多重性结构,一步就完全缩小了系统。更准确地说,多重结构以及奇点的坐标被描述为新系统的根。此外,(在新系统中)与奇异根相对应的根的重数为1。

MSC公司:

第13页第15页 求解多项式系统;结果
68瓦30 符号计算和代数计算
2014年第20季度 代数几何的有效性、复杂性和计算方面
65小时04 多项式方程根的数值计算
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] Akoglu,T.A。;Hauenstein,J.D。;Szanto,A.,《超定和奇异多项式系统的证明解》(Q(2014)),预印本
[2] 阿尔贝蒂,L。;穆兰,B。;Wintz,J.,半代数平面曲线的拓扑和排列计算,计算。辅助Geom。设计。,25, 8, 631-651 (2008) ·Zbl 1172.14343号
[3] 卡普拉斯,H。;德马雷,J。;Schrüfer,E.,EXCALC能否用于研究具有非线性拉格朗日函数的高维宇宙模型?,(符号和代数计算国际研讨会论文集。符号和代数运算国际研讨会论文录,ISSAC’88(1988),ACM:ACM纽约),116-124
[4] Corless,R.M。;詹尼,P.M。;Trager,B.M.,《具有多个根的零维多项式系统的重排序Schur因式分解方法》,(符号和代数计算国际研讨会论文集。符号和代数计算机国际会议论文集,ISSAC’97(1997),ACM:ACM纽约),133-140·Zbl 0917.65048号
[5] 代顿,B.H。;Li,T.-Y。;曾,Z.,非线性系统的多重零点,数学。计算。,80, 276, 2143-2168 (2011) ·Zbl 1242.65102号
[6] Dayton,B.H。;Zeng,Z.,求解多项式系统中的多重结构计算,(符号和代数计算国际研讨会论文集。符号和代数运算国际研讨会论文集中,ISSAC’05(2005),ACM:ACM纽约),116-123·Zbl 1360.65151号
[7] 艾森巴德,D。;Levine,H.,(C^)映射芽度的代数公式,《数学年鉴》。,106, 19-44 (1977) ·Zbl 0398.57020号
[8] 弗里德曼,A。;Hu,B.,肿瘤模型中自由边界问题从稳定性到不稳定性的分岔,Arch。定额。机械。分析。,180, 2, 293-330 (2006) ·Zbl 1087.92039号
[9] 郝伟(Hao,W.)。;Hauenstein,J.D。;胡,B。;刘,Y。;Sommese,A.J。;Zhang,Y.-T.,带坏死核心的肿瘤模型沿着分支的延续,科学杂志。计算。,53, 2, 395-413 (2012) ·Zbl 1328.92032号
[10] Giusti,M。;Lecerf,G。;Salvy,B。;Yakoubsohn,J.-C.,《关于零簇的位置和近似:嵌入维1的情况》,Found。计算。数学。,7, 1-58 (2007) ·Zbl 1124.65047号
[11] Giusti,M。;Yakoubsohn,J.-C.,多项式系统的多重性搜索和逼近多重根,Contemp。数学。,604, 105-128 (2013) ·兹比尔1320.13034
[12] Grailat,S.(格拉拉特,S.)。;Trébuchet,P.,计算零维系统根的认证数值近似的新算法,(符号和代数计算国际研讨会论文集。符号和代数运算国际研讨会论文集中,ISSAC’09(2009),ACM:ACM纽约),167-173·Zbl 1237.65046号
[13] Hauenstein,J.D。;穆兰,B。;Szanto,A.,《证明孤立奇点及其多重性结构》,(符号和代数计算国际研讨会论文集。符号和代数计算机国际研讨会论文,ISSAC’15(2015),ACM:ACM纽约),213-220·Zbl 1345.68286号
[14] Hauenstein,J.D。;Wampler,C.,等奇异集合与通货紧缩,发现。计算。数学。,13, 3, 371-403 (2013) ·兹比尔1276.65029
[15] 郝伟(Hao,W.)。;Sommese,A.J。;Zeng,Z.,Algorithm 931:一种计算非线性系统零点多重结构的算法和软件,ACM-Trans。数学。软质。,40,1,第5条pp.(2013)·Zbl 1295.65058号
[16] Lecerf,G.,具有多重性系统的二次牛顿迭代,Found。计算。数学。,2, 247-293 (2002) ·Zbl 1030.65050号
[17] Leykin,A.,数值初级分解,(符号和代数计算国际研讨会论文集。符号和代数计算机国际研讨会论文,ISSAC’08(2008),ACM:ACM纽约),165-172·Zbl 1410.68412号
[18] 莱金,A。;Verschelde,J。;赵,A.,多项式系统孤立奇点的带通缩的牛顿方法,Theor。计算。科学。,359, 1-3, 111-122 (2006) ·Zbl 1106.65046号
[19] 莱金,A。;Verschelde,J。;Zhao,A.,具有孤立奇异解的多项式系统的高阶通缩,(Dickenstein,A.;Schreyer,F.-O.;Sommese,A.,代数几何中的算法。代数几何的算法,数学及其应用中的IMA卷,第146卷(2008),Springer:Springer New York),79-97·Zbl 1138.65038号
[20] 李,N。;Zhi,L.,计算多项式系统的孤立奇异解:宽度一的情况,SIAM J.Numer。分析。,50, 1, 354-372 (2012) ·Zbl 1247.65065号
[21] 李,N。;Zhi,L.,计算孤立奇异解的多重结构:宽度为1的情况,J.Symb。计算。,47, 6, 700-710 (2012) ·Zbl 1239.13038号
[22] 李,N。;Zhi,L.,多项式系统孤立奇异解的验证误差界:宽度为1的情况,Theor。计算。科学。,479, 163-173 (2013) ·Zbl 1291.65161号
[23] 李,N。;Zhi,L.,多项式系统孤立奇异解的误差界验证,SIAM J.Numer。分析。,52, 4, 1623-1640 (2014) ·Zbl 1310.65056号
[24] 麦考利,F.S.,《模块系统的代数理论》(1916),剑桥大学出版社·兹比尔0802.13001
[25] Mantzaflaris,A。;Mourrain,B.,《多项式系统奇异零点的收缩和认证隔离》,(符号和代数计算国际研讨会论文集。符号和代数计算机国际会议论文集,ISSAC’11(2011),ACM:ACM纽约),249-256·Zbl 1323.65054号
[26] Marinari,M.G。;莫拉·T。;Möller,H.,Gröbner二重性和多项式系统求解中的多重性,(符号和代数计算国际研讨会论文集。符号和代数运算国际研讨会论文集中,ISSAC’95(1995),ACM:ACM纽约),167-179·Zbl 0919.12005号
[27] Möller,H.M。;Stetter,H.J.,矩阵特征值问题求解的多零点多元多项式方程,数值。数学。,7011-329(1995年)·Zbl 0851.65029号
[28] Mourrain,B.,孤立点,对偶性和剩余,J.Pure Appl。代数,117-118469-493(1997)·Zbl 0896.13020号
[29] Mourrain,B.,《范式算法的新标准》,(Fossorier,M.;Imai,H.;Lin,S.;Poli,A.,《第十三届应用代数、代数算法和纠错码国际研讨会论文集》,AAECC-13。第十三届应用代数、代数算法和纠错码国际研讨会论文集。第十三届应用代数、代数算法和纠错码国际研讨会论文集,AAECC-13,LNCS,第1719卷(1999)),430-443·Zbl 0976.12005号
[30] 穆兰,B。;Trébuchet,P.,广义正规形式和多项式系统求解,(Kauers,M.,《符号和代数计算国际研讨会论文集》,ISSAC’05(2005),ACM:ACM纽约),253-260·Zbl 1360.68947号
[31] Ojika,T.,解决奇异问题的改进通缩算法。非线性代数方程组,J.Math。分析。申请。,123, 1, 199-221 (1987) ·Zbl 0625.65043号
[32] Ojika,T。;渡边,S。;Mitsui,T.,非线性方程组多重根的通缩算法,J.Math。分析。申请。,96, 2, 463-479 (1983) ·Zbl 0525.65027号
[33] Pope,S。;Szanto,A.,具有给定根重数的最近多元系统,J.Symb。计算。,44, 6, 606-625 (2009) ·Zbl 1168.65347号
[34] Stetter,H.J.,多元多项式系统中零簇的分析,(符号和代数计算国际研讨会论文集。符号和代数计算机国际研讨会论文集中,ISSAC’96(1996),ACM:ACM纽约),127-136·Zbl 0914.65053号
[35] Traverso,C.,《posso测试套件》(1993),由D.Bini和B.Mourrain补充
[36] 吴,X。;Zhi,L.,通过符号数字化简为几何对合形式确定多项式系统的奇异解,J.Symb。计算。,27, 104-122 (2008)
[37] Yamamoto,N.,奇异雅可比矩阵非线性方程解的正则化,J.Inf.过程。,7, 1, 16-21 (1984) ·Zbl 0564.65036号
[38] 曾,Z.,计算不精确多项式的多重根,数学。计算。,74869-903(2005年)·兹比尔1079.12007
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。