×

具有有限维解空间的线性偏微分方程分解系统。 (英语) Zbl 1086.12002号

D-有限系统是一组线性齐次偏微分方程在几个独立变量和因变量中的有限集,其解空间是有限维的。作者考虑域(mathbb{K}=\overline{Q}(x{1},dots,x{n}))中系数为D的有限系统。他们首先给出了一个算法来计算这样一个系统的所有超指数解,即所有对数偏导数都位于\(\mathbb{K}\)中的解。然后,他们对用于分解线性微分算子的Beke-Schlesinger算法的PDE进行了某种扩展。

MSC公司:

12H20型 抽象微分方程
35C05型 封闭式PDE解决方案
35G05型 线性高阶偏微分方程

软件:

所有类型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Beke,E.,Die Irruduzibilität der homen linearen Differentialgleichungen,数学。安,45,278-294(1894)·JFM 25.0518.01号
[2] Borel,A。;Grivel,P.P。;卡普,B。;Haefliger,A。;Malgrange,B。;Ehlers,F.,代数D-模(1987),学术出版社,波士顿
[3] Boulier,F。;拉扎德,D。;Ollivier,F。;Petitot,M.,有限生成微分理想根的表示,(Levet,a.H.M.,ISSAC’95,《符号和代数计算国际会议论文汇编》(1995),ACM出版社:加拿大蒙特利尔ACM出版社),158-166·Zbl 0911.13011号
[4] Bronstein,M.,《线性常微分方程:突破二阶障碍》,(Wang,P.,ISSAC’92,Proc.Int.Symp.on Symbolic and Algebraic Computation(1992),ACM出版社:ACM Press Berkeley),42-48·Zbl 0978.65507号
[5] Bronstein,M.,《线性常微分算子因式分解的改进算法》,(Giesbrecht,M.、ISSAC’94,《符号和代数计算国际研讨会论文集》(1994),ACM出版社:ACM出版社牛津),336-340·Zbl 0964.68583号
[6] Bronstein,M.,《符号整合I:超越功能》(1997),Springer-Verlag·Zbl 0880.12005号
[7] Chyzak,F.,Zeilberger快速算法对一般完整函数的扩展,离散数学。,217, 115-134 (2000) ·Zbl 0968.33011号
[8] Chyzak,F。;Salvy,B.,《Ore代数中的非交换消去证明多元恒等式》,J.符号计算。,26, 187-227 (1998) ·Zbl 0944.05006号
[9] 加利戈,A.,1985年。微分算子理想的一些算法问题。在:Buchberger B.(编辑)欧洲'85。施普林格计算机科学讲义,第204卷。第413-421页;加利戈,A.,1985年。微分算子理想的一些算法问题。在:Buchberger B.(编辑)欧洲'85。施普林格计算机科学讲义,第204卷。第413-421页·Zbl 0634.16001号
[10] Geddes,K。;捷克共和国。;Labahn,G.,《计算机代数算法》(1992),Kluwer学术出版社·Zbl 0805.68072号
[11] Janet,M.,Les syséms d’équations aux dérivées partielles,J.de matiques,83,65-123(1920)·JFM 47.0440.03号
[12] Kandru-Rody,A。;魏斯芬宁,V.,可解型代数中的非交换Gröbner基,J.符号计算。,9, 1-26 (1990) ·Zbl 0715.16010号
[13] Kolchin,E.,微分代数和代数群(1973),学术出版社:纽约学术出版社·Zbl 0264.12102号
[14] 李,Z。;Schwarz,F.,类Riccati偏微分方程的有理解,J.符号计算。,31, 691-716 (2001) ·Zbl 0985.34007号
[15] 李,Z。;施瓦兹,F。;Tsarev,S.P.,线性偏微分算子的分解零维理想,(Mora,T.,ISSAC’02,符号和代数计算国际研讨会(2002),ACM出版社:法国里尔ACM出版社),168-175·Zbl 1072.68682号
[16] Lie,S.Klassifikation und Integration von gewöhnlichen Differentialgleichungen zwischen(xy);Lie,S.Klassifikation与积分von gewöhnlichen Differentialgleichungen zwischen(xy)·肯尼迪机场15.0751.03
[17] 奥库,T。;北高山。;蔡,H.,完整系统的多项式和有理解,J.Pure Appl。代数,164199-220(2001)·Zbl 0990.35031号
[18] 罗森菲尔德,A.,微分代数专业,Trans。阿默尔。数学。Soc,90,394-407(1959年)·Zbl 0192.14001号
[19] 齐藤,M。;Sturmfels,B。;Takayama,N.,超几何微分方程的Gröbner变形(2000),Springer-Verlag·兹伯利0946.13021
[20] Schlesinger,L.,Handbuch der Theory der linearen Differentialgleichungen(1895),Teubner,Leipzig·JFM 26.0329.01号
[21] Schwarz,F.,线性常微分方程的分解算法,(Gonnet,G.,ISSAC’89,符号代数计算国际研讨会(1989),ACM出版社:ACM Press Protland),17-25
[22] Schwarz,F.,《偏微分方程的约简和补全算法》,(Wang,P.,ISSAC’92,符号代数计算国际研讨会(1992),ACM出版社:ACM出版社伯克利),49-56·兹比尔0978.65515
[23] Schwarz,F.,ALLTYPES:一种代数语言和类型系统,(Calmet,J.;Plaza,J..,《人工智能和符号计算》,人工智能讲义,第1476卷(1998年),Springer),270-283
[24] Singer,M.,Liouvillian系数线性微分方程的Liouvillien解,J.符号计算。,11, 251-273 (1991) ·Zbl 0776.12002号
[25] Tsarev,S.,具有有限维解空间的线性偏微分方程超定系统的因子分解,(Ganzha,V.;Mayr,E.;Vorozhtsov,V.,CASC-2001,Proc.4th Int.Workshop Computer Algebrage Scient.Comput.(2001),Springer Verlag),529-539·Zbl 0999.35062号
[26] 范德普特,M。;Singer,M.,Galois线性微分方程理论。Galois线性微分方程理论,Grundleheren der mathematischen Wissenschaften,第328卷(2003),Springer·Zbl 1036.12008年
[27] Wu,W.-t.,在代数微分几何的基础上,系统。科学。数学。科学。,2, 289-312 (1989) ·Zbl 0739.14001号
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。