×

计算微分伽罗瓦群的李代数:可约情形。 (英语) Zbl 1493.34233号

小结:在本文中,我们解释了如何计算可约线性微分系统的微分Galois群的李代数。我们通过演示如何将块三角线性微分系统转换为Kolchin-Kovacic约化形式来实现这一点。我们将此结果与其他约化结果相结合,提出了计算一般线性微分系统约化形式的通用算法。特别是,这直接提供了微分Galois群的李代数,而无需对此Galois组进行先验计算。

MSC公司:

3.4亿03 复域中的线性常微分方程和系统
34米15 复域中常微分方程的代数方面(微分代数、超平移、群理论)
34米25 复域常微分方程的形式解和变换技术
17个B45 线性代数群的李代数
68瓦30 符号计算和代数计算

软件:

伊索尔德
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] Eli Amzallag;安德烈·明琴科;Pogudin,Gleb,线性代数群复曲面包络的度界,数学。计算。(2021)
[2] 阿帕里西奥·蒙福特(Aparicio-Monforte),艾因霍亚(Ainhoa);复合物,埃利;Weil,Jacques Arthur,线性微分系统降阶形式的刻画,J.Pure Appl。代数,217,81504-1516(2013)·Zbl 1272.12016年
[3] 阿帕里西奥·蒙福特,艾诺哈;托马斯·德雷福斯(Thomas Dreyfus);Weil,Jacques-Arthur,Liouville可积性:一个有效的Morales-Ramis-Simó定理,J.Symb。计算。,74, 537-560 (2016) ·Zbl 1418.37092号
[4] 阿帕里西奥·蒙福特(Aparicio-Monforte),艾因霍亚(Ainhoa);Weil,Jacques-Arthur,哈密顿系统高阶变分方程的简化方法,(微分方程和差分方程中的对称性和相关主题。微分方程和差异方程中的不对称性和相关话题,当代数学,第549卷(2011年9月),Amer。数学。Soc.:美国。数学。Soc.Providence,RI),1-15年·Zbl 1243.37048号
[5] 阿帕里西奥·蒙福特(Aparicio-Monforte),艾因霍亚(Ainhoa);Weil,Jacques-Arthur,线性微分系统的简化形式及其在哈密顿系统可积性中的应用,J.Symb。计算。,47, 2, 192-213 (2012) ·Zbl 1269.37026号
[6] Barkatou,Moulay A.,《关于线性微分方程组的有理解》,J.Symb。计算。,28, 4-5, 547-567 (1999) ·Zbl 0943.34008号
[7] Barkatou,Moulay A.,《使用特征环的线性函数方程因子分解系统》(Computer Algebra 2006(2007),《世界科学》。出版物:世界科学。出版物。新泽西州哈肯萨克),22-42
[8] 穆雷·巴卡图;托马斯·克鲁索(Thomas Cluzeau);露西亚·迪维齐奥;Weil,Jacques-Arthur,计算线性微分系统微分Galois群的李代数,(ACM符号和代数计算国际研讨会论文集(2016)),63-70·Zbl 1364.12003年
[9] 穆雷·A·巴卡图。;托马斯·克鲁索(Thomas Cluzeau);卡罗尔·巴哈(Carole El Bacha);雅克·亚瑟·威尔,可积连接项目(2022年)
[10] 穆雷·A·巴卡图。;托马斯·克鲁索(Thomas Cluzeau);卡罗尔·巴哈(Carole El Bacha);Weil,Jacques-Arthur,《可积联系的计算闭式解》,第36届符号与代数计算国际研讨会论文集,ISSAC’12卷(2012),ACM:ACM纽约,纽约,美国·兹比尔1323.68580
[11] 穆雷·A·巴卡图。;托马斯·克鲁索(Thomas Cluzeau);Weil,Jacques-Arthur,《正特征分解偏微分系统》(带符号计算的微分方程,带符号计算微分方程,趋势数学(2005),Birkhäuser:Birkháuser Basel),213-238,附有Marius van der Put的附录·Zbl 1097.68151号
[12] 穆雷·A·巴卡图。;埃克哈特·普弗莱格尔,伊索尔德(线性常微分方程组集成)项目(2022年)
[13] 穆雷·A·巴卡图。;Saade、Joelle;Weil,Jacques-Arthur,使用特征环对奇异线性微分系统进行形式化约简:一种改进的方法,J.Symb。计算。(2019) ·Zbl 1457.12004年
[14] Peter Berman,计算完全可约的Galois群,J.Symb。计算。,33, 6, 887-898 (2002) ·Zbl 1027.12003年
[15] 彼得·伯曼(Peter Berman);Singer,Michael F.,计算\(L_1(L_2(y))=0,L_1,L_2\)完全可约算子的伽罗瓦群,代数几何中的有效方法。《代数几何中的有效方法》,圣马洛出版社,1998年。代数几何中的有效方法。代数几何中的有效方法,圣马洛,1998,纯粹应用杂志。代数,139,1-3,3-23(1999)·Zbl 0931.12009
[16] Bertrand,Daniel,微分Galois群的Unipower根和非齐次方程解的积分,数学。年鉴,321,3645-666(2001)·Zbl 1016.12007年
[17] 大卫·巴兹奎兹·桑斯;Morales-Ruiz,Juan José,代数Lie-Vessiot系统的微分伽罗瓦理论,(微分代数,复分析和正交多项式,微分代数,复数分析和正交多边形,Contemp.Math.,第509卷(2010),Amer。数学。Soc.:美国。数学。佛罗里达州普罗维登斯Soc.Providence),1-58·Zbl 1200.34109号
[18] 大卫·巴兹奎兹·桑斯;莫拉莱斯·鲁伊斯,胡安·何塞,李约化方法和复杂分析背景下的微分伽罗瓦理论,离散Contin。动态。系统。,32, 2, 353-379 (2012) ·Zbl 1242.12003年
[19] Alin Bostan;萨拉赫·布卡拉;萨乌德哈萨尼;Jean-Marie Maillard;雅克·亚瑟·威尔;Zenine,Nadjah,《全局幂零微分算子和平方伊辛模型》,J.Phys。A、 第42、12条,第125206页(2009年)·Zbl 1167.82005年
[20] Alin Bostan;萨拉赫·布卡拉;萨乌德哈萨尼;van Hoeij,Mark;Jean-Marie Maillard;雅克·亚瑟·威尔;Zenine,Nadjah,《伊辛模型:从椭圆曲线到模形式和Calabi-Yau方程》,J.Phys。A、 44,4,第045204条pp.(2011)·Zbl 1208.82006年
[21] Casale,Guy,《通过Malgrange伪群的Morales-Ramis定理》,《傅里叶协会年鉴》(格勒诺布尔),59,7,2593-2610(2009)·Zbl 1232.12005年
[22] 盖·卡萨莱;Weil,Jacques-Arthur,检验二阶非线性微分方程不可约性的Galosian方法,Pac。数学杂志。,297、2、299-337(2018),MR 3893430·Zbl 1406.34104号
[23] Chevalley、Claude和Théorie des Groupes de Lie。汤姆二世。阿尔及布里克斯集团,现状科学。印第安纳州,第1152卷(1951年),赫尔曼与西:赫尔曼与西巴黎,MR 0051242·Zbl 0054.01303号
[24] 复合物,埃利;Singer,Michael,Relations linéaires entre solutions d’uneéquation différentielle,Ann。科学。图卢兹数学。(6), 7, 4, 659-670 (1998) ·邮编:1041.12500
[25] 复合物,埃利;Singer,Michael F.,计算完全可约微分方程的Galois群,微分代数和微分方程。微分代数和微分方程,J.Symb。计算。,28, 4-5, 473-494 (1999) ·Zbl 0997.12009
[26] 复合物,埃利;Weil,Jacques-Arthur,微分算子和Galois群的绝对可约性,J.代数,275,177-105(2004)·兹比尔1084.12003
[27] 大卫·考克斯;小约翰;O'Shea,Donal,理想、多样性和算法,(计算代数几何和交换代数导论。计算代数几何与交换代数导言,数学本科生教材(2007),Springer:Springer New York)·Zbl 1118.13001号
[28] 克雷斯波、特蕾莎;Hajto,Zbigniew,代数群和微分伽罗瓦理论,数学研究生课程,第122卷(2011),美国数学学会:美国数学学会普罗维登斯,RI·Zbl 1215.12001年
[29] de Graaf,Willem A.,从李代数构造代数群,J.Symb。计算。,44, 9, 1223-1233 (2009) ·Zbl 1180.20038号
[30] 德克森,哈姆;伊曼纽尔·詹德尔;Koiran,Pascal,量子自动机和代数群,J.Symb。计算。,39, 3-4, 357-371 (2005) ·Zbl 1124.81004号
[31] 露西亚·迪维齐奥;Hardouin、Charlotte、Courbures、Galois génériques和D-groupo ie de Galois D'un système aux q-différences、C.R.Math。阿卡德。科学。巴黎,348,17-18,951-954(2010)·Zbl 1245.12006年
[32] 托马斯·德雷福斯(Thomas Dreyfus);Weil,Jacques Arthur,Maple工作表以及本文的示例(2020)
[33] 托马斯·德雷福斯(Thomas Dreyfus);Weil,Jacques-Arthur,微分伽罗瓦理论与积分,(Bluemlein,J.;Schneider,C.,《反微分与费曼振幅的计算》(2021)一书中的综述章节,施普林格:施普林格-海德堡),145-171·Zbl 1489.12019年
[34] Feng,Ruyong,Hrushovski计算线性微分方程Galois群的算法,Adv.Appl。数学。,65, 1-37 (2015) ·Zbl 1361.12002号
[35] 菲克尔,克劳斯;de Graaf,Willem A.,《寻找代数数和代数李代数的积分线性依赖性》,LMS J.Compute。数学。,10,271-287(2007),MR 2320832·兹比尔1222.11122
[36] Hrushovski,Ehud,计算线性微分方程的Galois群,(微分Galois理论。微分Galoi理论,Bedlewo,2001。微分伽罗瓦理论。微分伽罗瓦理论,Bedlewo,2001,巴纳赫中心出版社。,第58卷(2002),波兰学院。科学:波兰学院。科学。华沙),97-138·Zbl 1099.12003年
[37] Ellis R.Kolchin,《微分代数与代数群》,《纯粹与应用数学》,第54卷(1973年),学术出版社:纽约学术出版社·Zbl 0264.12102号
[38] Ellis R.Kolchin,《Ellis Kolchinn作品选集及其评论》(1999),美国数学学会:美国数学学会普罗维登斯,RI,Armand Borel,Michael F.Singer,Bruno Poizat,Alexandru Buium和Phyllis J.Cassidy的评论,Hyman Bass,Buium and Cassidy编辑并附有前言·Zbl 0930.12004号
[39] Jerald J.Kovacic,《伽罗瓦微分场理论中的反问题》,《数学年鉴》。(2), 89, 583-608 (1969) ·Zbl 0188.33801号
[40] Jerald J.Kovacic,《关于微分场伽罗瓦理论中的反问题》。二、 安。数学。(2), 93, 269-284 (1971) ·Zbl 0214.06004号
[41] Kovacic,Jerald J.,求解二阶线性齐次微分方程的算法,J.Symb。计算。,2, 1, 3-43 (1986) ·Zbl 0603.68035号
[42] Lam,Tsit Y.,《非交换环的第一门课程》,数学研究生教材,第131卷(2001),Springer-Verlag:Springer-Verlag纽约,MR 1838439·Zbl 0980.16001号
[43] Maddah,Suzy,线性奇异微分系统的形式化约简:奇异摄动线性微分系统和具有正交点的完全可积Pfaffian系统(2015),利摩日大学博士论文
[44] McCoy,Barry M.,《高级统计力学》,《国际物理学专著丛书》,第146卷(2010年),牛津大学出版社:牛津大学出版社·Zbl 1198.82001号
[45] 克劳德·米茨基;Singer,Michael F.,可解-有限群作为微分Galois群,Ann.Fac。科学。图卢兹数学。(6) ,第11页,第3页,第403-423页(2002年)·Zbl 1066.12003年
[46] Nguyen,Khuong A。;范德普特,马吕斯,解线性微分方程,专刊:纪念约翰·泰特。第2部分。特刊:纪念约翰·泰特。第2部分,纯应用。数学。第6页,第173-208页(2010年)·Zbl 1219.12007年
[47] 彼得森、凯尔·勃兰特;Pedersen,Michael Syskind,《矩阵食谱》,丹麦理工大学,第7、5、510期(2008年)
[48] Singer,Michael F.,具有Liouvillian系数的线性微分方程的Liouvillien解,J.Symb。计算。,11, 3, 251-273 (1991) ·Zbl 0776.12002号
[49] Michael F.Singer,《测试线性微分算子的可约性:群论视角》,应用。代数工程通讯。计算。,7, 2, 77-104 (1996) ·Zbl 0999.12007号
[50] Singer,Michael F.,线性微分方程伽罗瓦理论简介,微分方程代数理论,伦敦数学。Soc.课堂讲稿Ser。,第357卷,1-82(2009),剑桥大学出版社:剑桥大学出版社·Zbl 1176.12005年
[51] 歌手Michael F。;Ulmer,Felix,Galois二阶和三阶线性微分方程组,J.Symb。计算。,16, 1, 9-36 (1993) ·Zbl 0802.12004年
[52] 歌手Michael F。;Ulmer,Felix,Liouvillian和二阶和三阶线性微分方程的代数解,J.Symb。计算。,16, 1, 37-73 (1993) ·Zbl 0802.12005
[53] 歌手Michael F。;Ulmer,Felix,线性微分方程和线性形式的乘积,(代数算法。代数算法,埃因霍温,1996。代数算法。代数算法,埃因霍温,1996,J.Pure Appl。《代数》,第117/118卷(1997年),549-563·Zbl 0908.12003号
[54] 孙梦晓,Hrushovski算法计算线性微分方程Galois群的一个新界,Commun。代数,47,9,3553-3566(2019)·Zbl 1425.12007年
[55] van der Hoeven,Joris,《关于微分伽罗瓦群的数字符号计算》,J.Symb。计算。,42, 1-2, 236-264 (2007) ·兹比尔1396.34054
[56] 范德普特,马吕斯;Singer,Michael F.,Galois线性微分方程理论,Grundlehren der Mathematischen Wissenschaften,第328卷(2003),Springer-Verlag:Springer-Verlag Berlin·Zbl 1036.12008年
[57] van Hoeij,Mark;Weil,Jacques-Arthur,用Klein定理求解二阶微分方程(ISSAC 2005)。ISSAC 2005,北京(2005),ACM:ACM纽约)·Zbl 1360.34178号
[58] James Wei;Norman,Edward,线性微分方程的李代数解,J.Math。物理。,5755-581(1963年)·Zbl 0133.34202号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。