×

一种计算平面多项式向量场Liouvillian第一积分的有效方法。 (英语) Zbl 1485.34007号

作者提出了一种计算平面上多项式向量场的达布多项式的有效方法。该方法仅限于呈现Liouvillian第一积分的多项式向量场。实际上,该方法确定了构成具有Liouvillian第一积分的平面多项式向量场积分因子的Darboux多项式。该方法基于将求解(非线性)代数系统的过程从定义Darboux多项式的方程中分离为一些可行步骤(需要较少内存消耗的过程)由于计算过程较小,为了获得更有效的方法,可以在合理的时间内完成该程序。
作者还对所开发的算法进行了分析。他们通过比较每个步骤的内存使用量和CPU处理时间以及与待定系数法的比较来讨论其性能。

MSC公司:

34A05型 显式解,常微分方程的第一积分
34二氧化碳 积分曲线、奇点、常微分方程极限环的拓扑结构
68瓦30 符号计算和代数计算
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] Darboux,G.,Mémoire sur leséquations differentielles algébriques du premier ordre et du preimer degre(梅兰热),布尔。科学。数学。,2, 60-96 (1878), 2, 123-144, 2, 151-200
[2] 普雷尔,M。;Singer,M.,微分方程初等第一积分,Trans。美国数学。《社会学杂志》,279215(1983)·Zbl 0527.12016号
[3] Singer,M.,Liouvillian第一积分,Trans。美国数学。《社会》,333673-688(1992)·Zbl 0756.12006号
[4] Man,Y.K.,《使用Prelle-Singer程序计算一阶常微分方程的闭式解》,J.Symb。计算。,16, 423-443 (1993) ·Zbl 0793.34002号
[5] Man,Y.K。;MacCallum,M.A.H.,Prele-Singer算法的理性方法,J.Symb。计算。,24, 31-43 (1997) ·Zbl 0922.12007
[6] Christopher,C.,二阶多项式微分方程的Liouvillian第一积分,电子。J.差异。Equ.、。,49,7(1999),(电子版)·Zbl 0939.34002号
[7] Duarte,L.G.S。;杜阿尔特,S.E.S。;da Mota,L.A.C.P.,分析解中含有Liouvillian函数的一阶常微分方程积分因子的结构,J.Phys。A、 数学。将军,351001-1006(2002)·Zbl 1002.34002号
[8] Avellar,J。;杜阿尔特,L.G.S。;杜阿尔特,S.E.S。;da Mota,L.A.C.P.,通过求积将一阶微分方程与Liouvillian解集成:一种半算法方法,J.Compute。申请。数学。,182, 327-332 (2005) ·Zbl 1071.65095号
[9] Avellar,J。;Duarte,L.G.S。;杜阿尔特,S.E.S。;da Mota,L.A.C.P.,确定平面内动力系统的Liouvillian第一积分,计算。物理学。社区。,177, 584-596 (2007) ·Zbl 1196.34001号
[10] Llibre,J.,多项式微分系统的可积性,(Cañada,A.;Drábek,P.;Fonda,A.,微分方程手册,常微分方程,第1卷(2004),Elsevier B.V.),437-531,第5章·Zbl 1088.34022号
[11] 利伯里,J。;Zhang,X.,关于多项式微分系统的Darboux可积性,Qual。理论动力学。系统。,11, 129-144 (2012) ·Zbl 1266.34002号
[12] 南卡罗来纳州库蒂尼奥。;Schechter,L.M.,平面向量场的代数解,J.Pure Appl。代数,213144-153(2009)·Zbl 1155.37035号
[13] 克里斯托弗,C。;利伯里,J。;Pantazi,C。;Zhang,X.,平面多项式系统的Darboux可积性和不变代数曲线,J.Phys。A、 352457-2476(2002)·Zbl 1012.34035号
[14] 查瓦里加,J。;Giacomini,H。;Giné,J。;Llibre,J.,Darboux可积性和逆积分因子,J.Differ。Equ.、。,194116-139(2003年)·Zbl 1043.34001号
[15] 克里斯托弗,C。;利伯里,J。;Pantazi,C。;Walcher,S.,多不变曲线的逆问题,Proc。爱丁堡皇家学会。,137A,1197-1226(2007)·Zbl 1144.34003号
[16] 克里斯托弗,C。;利伯里,J。;Pereira,J.V.,多项式向量场中不变代数曲线的多重性,Pac。数学杂志。,229, 63-117 (2007) ·Zbl 1160.34003号
[17] 克里斯托弗,C。;利伯里,J。;潘塔齐,C。;Walcher,S.,不变代数曲线的反问题:显式计算,Proc。爱丁堡皇家学会。,139, 287-302 (2009) ·兹比尔1170.34012
[18] 克里斯托弗,C。;利伯里,J。;Pantazi,C。;Walcher,S.,Darboux积分因子:逆问题,J.Differ。Equ.、。,250, 1-25 (2011) ·Zbl 1214.34014号
[19] 克里斯托弗,C。;利伯里,J。;Pantazi,C。;Walcher,S.,《达布可积性理论中的反问题》,《应用学报》。数学。,120, 101-126 (2012) ·Zbl 1286.34002号
[20] Zhang,X.,多项式微分系统的Liouvillian可积性,Trans。美国数学。Soc.,368,607-620(2016)·Zbl 1331.34006号
[21] 费拉古特,A。;Giacomini,H.,求多项式向量场有理第一积分的新算法,Qual。理论动力学。系统。,9, 89-99 (2010) ·Zbl 1216.34001号
[22] Chèze,G.,Darboux多项式和有理第一积分的多项式时间有界计算,J.Complex。,27, 246-262 (2011) ·Zbl 1215.65040号
[23] Bostan,A。;Chèze,G。;克鲁索,T。;Weil,J.-A.,计算平面多项式向量场有理第一积分和Darboux多项式的高效算法,数学。计算。,85, 1393-1425 (2016) ·Zbl 1335.34002号
[24] 费拉古特,A。;Gasull,A.,《寻找达布多项式》,《应用学报》。数学。,139167-186(2015年)·Zbl 1365.34060号
[25] 费拉古特,A。;加林多,C。;Monserrat,F.,关于一类平面多项式向量场的Darboux第一积分的计算,J.Math。分析。申请。,478, 743-763 (2019) ·Zbl 1450.34005号
[26] Chèze,G。;Combot,T.,多项式向量场第一积分的符号计算,Found。计算。数学。(2019)
[27] Pereira,J.V.,向量场、不变变种和线性系统,Ann.Inst.Fourier,511385-1405(2001)·Zbl 1107.37038号
[28] Davenport,J.H。;西雷特,Y。;Tournier,E.,《计算机代数:代数计算的系统和算法》(1993),学术出版社:英国学术出版社·兹比尔0865.68064
[29] Duarte,L.G.S。;杜阿尔特,S.E.S。;达莫塔,L.A.C.P。;Skea,J.E.F.,Prelle-Singer方法的扩展和Maple实现,计算。物理学。社区。,144, 46-62 (2002) ·Zbl 0994.65082号
[30] Kamke,E.,Differentialgleichungen:Lösungsmethoden und Lösongen(1959),切尔西出版公司:切尔西出版公司纽约
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。