×

使用MAPLE软件包DESOLVI寻找微分方程的更高对称性。 (英文) Zbl 1308.35002号

摘要:我们通过示例介绍和描述了MAPLE计算机代数包DESOLVI,它是DESOLV的主要升级。DESOLVII现在包括了新的程序,允许确定普通和偏微分方程系统的更高对称性(接触和Lie-Bäcklund)。

MSC公司:

35-04 偏微分方程相关问题的软件、源代码等
35A30型 PDE背景下的几何理论、特征和变换
35C05型 封闭式PDE解决方案
68瓦30 符号计算和代数计算
84年第35季度 福克-普朗克方程
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Baumann,G.,《微分方程的对称性分析与数学》(2000),Springer-Verlag:Springer-Verlag纽约·Zbl 0898.34003号
[2] 布鲁曼,G.W。;Kumei,S.,《对称与微分方程》(1989),Springer-Verlag公司:纽约Springer-Verlag公司·Zbl 0718.35003号
[3] Butcher,J。;Carminia,J。;Vu,K.T.,确定微分方程李点对称性的一些计算机代数包的比较研究,计算机物理通讯,155,92-114(2003)·Zbl 1196.65136号
[4] Carminia,J。;Vu,K.T.,符号计算和微分方程:李对称性,符号计算杂志,295-116(2000)·Zbl 0958.68543号
[5] Cheb-Terrab,E.S。;von Bullow,K.,偏微分方程解析解的计算方法,计算机物理通信,90,102-116(1995)·Zbl 0888.65127号
[6] A.F.Cheviakov,::GeM::-对称性和守恒定律分析模块。2010年10月24日检索自http://math.usask.ca/契维亚科夫/gem/;A.F.Cheviakov,::GeM::-对称性和守恒定律分析模块。2010年10月24日检索自http://math.usask.ca/契维亚科夫/宝石/
[7] Cheviakov,A.F.,用于计算微分方程对称性和守恒定律的GeM软件包,计算机物理通信,176,48-61(2007)·Zbl 1196.34045号
[8] Fokas,A.S。;Yortsos,Y.C.,关于多孔介质中两相流中发生的精确可解方程\(S_t=[(bS+g)^{-2}S_x]_x+a(bS+g)^{-2}S_x\),SIAM应用数学杂志,42318-332(1982)·Zbl 0488.76099号
[9] A.K.Head,IBM型PC上微分方程LIE分析程序LIE,用户手册,2000年。;A.K.Head,IBM型PC上微分方程LIE分析程序LIE,用户手册,2000年。
[10] A.K.Head,IBM型PC上微分方程Lie分析程序BIGLIE,用户手册,2000年。;A.K.Head,IBM型PC上微分方程Lie分析程序BIGLIE,用户手册,2000年。
[11] Hereman,W.,《李对称分析符号软件评论》。非线性系统符号分析的算法和软件,数学和计算机建模,25115-132(1997)·Zbl 0898.34002号
[12] Hydon,P.E.,《微分方程的对称方法——初学者指南》(2000),剑桥大学出版社:剑桥大学出版社·Zbl 0991.39005号
[13] Ibragimov,N.,《基本李群分析和常微分方程》(1999),John Wiley&Sons:John Willey&Sons Chichester·Zbl 1047.34001号
[14] (Ibragimov,N.H.,CRC微分方程李群分析手册,第1卷(1994年),CRC出版社:CRC出版社,佛罗里达州博卡拉顿)·Zbl 0864.35001号
[15] (Ibragimov,N.H.,《CRC微分方程李群分析手册》,第2卷(1995),CRC出版社:佛罗里达州博卡拉顿CRC出版社)·Zbl 0864.35002号
[16] (Ibragimov,N.H.,《CRC微分方程李群分析手册》,第3卷(1996),CRC出版社:CRC出版社,佛罗里达州博卡拉顿)·Zbl 0864.35003号
[17] Momoniat,E.,一类非线性波动方程承认的真接触变换,《非线性力学国际期刊》,36705-708(2001)·Zbl 1345.35064号
[18] Nucci,M.C.,《计算非经典Lie点、Lie-Bäcklund和微分方程近似对称性的交互式REDUCE程序:手动和软盘》,(Ibragimov,N.H.,CRC微分方程李群分析手册,第3卷(1996),CRC出版社:CRC出版社Boca Raton),415-481·Zbl 0864.35003号
[19] Olver,P.,李群在微分方程中的应用(1986),Springer-Verlag:Springer-Verlag纽约·Zbl 0588.22001
[20] 普奇,E。;Saccomandi,G.,《接触对称性与偏微分方程简化解》,《物理学杂志A:数学与一般》,27177-184(1994)·Zbl 0812.35005号
[21] Rocha Filho,T.M。;Figueiredo,A.,[SADE]微分方程对称性分析的Maple包,计算机物理通信,182467-476(2010)·Zbl 1217.65165号
[22] J.Sherring,A.K.Head,G.E.Prince,DIMSYM和LIE:对称性测定包,数学研究论文第95-10号,拉筹伯大学数学学院,维多利亚州本杜拉,1995年7月。;J.Sherring,A.K.Head,G.E.Prince,DIMSYM和LIE:对称性测定包,数学研究论文第95-10号,维多利亚州本杜拉拉筹伯大学数学学院,1995年7月·兹比尔0918.34007
[23] Steeb,W.-H.,《连续对称性,李代数,微分方程和计算机代数》(2007),世界科学出版有限公司:新加坡世界科学出版公司·Zbl 0916.34001号
[24] (Stephani,H.;MacCallum,M.,《微分方程:使用对称性的解》(1989),剑桥大学出版社:剑桥大学出版社)·Zbl 0704.34001号
[25] Tamizhmani,K.M。;Lakshmanan,M.,拟线性演化方程的无限多Lie-Bäcklund对称性,《物理学快报》a,90,159-161(1982)
[26] M.I.Timoshin,《接触对称性和有限接触变换》,载于:2000年MOGRAN国际会议,新千年的现代群分析,俄罗斯乌法,2000年9月27日至10月3日。;M.I.Timoshin,《接触对称性和有限接触变换》,载于:2000年MOGRAN国际会议,新千年的现代群分析,俄罗斯乌法,2000年9月27日至10月3日。
[27] Vu,K.T。;Butcher,J。;Carminia,J.,使用DESOLV的偏微分方程的相似解,计算机物理通信,176682-693(2007)·Zbl 1196.35028号
[28] 滑铁卢枫叶公司,Maple 13.02:枫叶13帮助“pdsolve”,2009年。;Waterloo Maple Inc.,Maple 13.02:Maple 13帮助“pdsolve”,2009年。
[29] T.Wolf,A.Brand,计算机代数软件包CRACK,用户手册,2001年4月29日。;T.Wolf,A.Brand,计算机代数软件包CRACK,用户手册,2001年4月29日。
[30] T.Wolf,手册LIEPDE,2001年4月29日。;T.Wolf,手册LIEPDE,2001年4月29日。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。