马库斯·罗森克兰兹;乔治·雷根斯堡;Tec,Loredana公司;布赫伯格,布鲁诺 线性边界问题操作的符号框架。 (英语) Zbl 1260.68484号 Gerdt,Vladimir P.(编辑)等人,《科学计算中的计算机代数》。2009年9月13日至17日,在日本神户举行的2009年中国社会科学院第11届国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-04102-0/pbk)。计算机科学课堂讲稿5743,269-283(2009)。 摘要:我们描述了一个符号框架,用于在Theorema系统中使用通用实现来处理线性边界问题。对于常微分方程,实现的操作包括计算格林算子、组合边界问题和积分微分算子以及分解边界问题。基于我们的因式分解方法,我们还提出了符号计算常系数偏微分方程简单边界问题格林算子的一些第一步。在总结了抽象边界问题的理论背景之后,我们概述了部分积分微分算子的代数结构。最后,我们描述了Theorema中的实现,它依赖于函子来建立计算域,并且我们用一些示例计算来说明它,包括无界波动方程。关于整个系列,请参见[Zbl 1175.68009号]. 引用于1审查引用于6文件 MSC公司: 68瓦30 符号计算和代数计算 34个B05 常微分方程的线性边值问题 35G15型 线性高阶偏微分方程的边值问题 关键词:线性边界问题;格林的操作员;积分微分算子;常微分方程;波动方程 软件:枣灰蝶属 PDF格式BibTeX公司 XML格式引用 \textit{M.Rosenkranz}等人,Lect。注释计算。科学。5743、269--283(2009年;Zbl 1260.68484) 全文: 内政部 参考文献: [1] Stakgold,I.:格林函数和边值问题。John Wiley&Sons,纽约(1979年)·兹比尔0421.34027 [2] Rosenkranz,M.,Buchberger,B.,Engl,H.W.:通过非交换Gröbner基求解线性边值问题。申请。分析。 82, 655–675 (2003) ·Zbl 1042.34030号 ·网址:10.1080/000368103100118981 [3] Rosenkranz,M.:在算子水平上解决线性两点边值问题的一种新符号方法。J.符号计算。 39, 171–199 (2005) ·Zbl 1126.68104号 ·doi:10.1016/j.jsc.2004.09.004 [4] Rosenkranz,M.,Regensburger,G.:微分代数中线性常微分方程边界问题的求解和分解。J.符号计算。 43, 515–544 (2008) ·兹比尔1151.34008 ·doi:10.1016/j.jsc.2007.11.007 [5] Regensburger,G.,Rosenkranz,M.:分解线性边界问题的代数基础。Ann.Mat.Pura应用。 188(4), 123–151 (2009) ·Zbl 1181.47014号 ·doi:10.1007/s10231-008-0068-3 [6] Buchberger,B.、Craciun,A.、Jebelean,T.、Kovacs,L.、Kutsia,T.,Nakagawa,K.、Piroi,F.、Popov,N.、Robu,J.、Rosenkranz,M.、Windsteiger,W.:理论:走向计算机辅助数学理论探索。J.应用。日志。 4, 359–652 (2006) ·Zbl 1107.68095号 ·doi:10.1016/j.jal.2005.10.006 [7] Buchberger,B.:求模为零维多项式理想的剩余类环的基元的算法(德语)。因斯布鲁克大学博士论文(1965年);英语翻译J.符号计算。 41(3-4), 475–511 (2006) [8] Buchberger,B.:Gröbner碱简介。In:Buchberger,B.,Winkler,F.(eds.)Gröbner bases and applications,剑桥大学出版社,剑桥(1998)·Zbl 0941.13017号 ·doi:10.1017/CBO9780511565847 [9] Mora,T.:交换和非交换Gröbner基简介。理论。计算。科学。 134, 131–173 (1994) ·Zbl 0824.68056号 ·doi:10.1016/0304-3975(94)90283-6 [10] Köthe,G.:拓扑向量空间,第一卷。纽约州施普林格市(1969年)·Zbl 0179.17001号 [11] Brown,R.C.,Krall,A.M.:Stieltjes边界条件下的常微分算子。事务处理。阿默尔。数学。Soc.198、73–92(1974)·Zbl 0295.34010号 ·doi:10.1090/S0002-9947-1974-0358436-2 [12] Kamke,E.:差异化。Lösungsmethoden和Lösungen。Teil I:Gewöhnliche Differentialgleichungen。莱比锡Akademische Verlagsgesellschaft(1967) [13] Coddington,E.A.,Levinson,N.:常微分方程理论。纽约麦格劳-希尔图书公司(1955)·Zbl 0064.33002号 [14] Rosenkranz,M.,Regensburger,G.:积分微分多项式和算子。摘自:Jeffrey,D.(编辑)ISSAC 2008年会议记录,第261-268页。ACM,纽约(2008)·Zbl 1151.34008号 [15] 范德普特,M.,辛格,M.F.:线性微分方程的伽罗瓦理论。施普林格,柏林(2003)·兹比尔1036.12008 ·doi:10.1007/978-3-642-55750-7 [16] Schwarz,F.:线性常微分方程的分解算法。摘自:《1989年国际社会科学院院刊》,第17-25页。ACM,纽约(1989) [17] Tsarev,S.P.:线性常微分算子所有因式分解的完全枚举算法。摘自:《1996年国际社会科学院院刊》,第226-231页。ACM,纽约(1996)·Zbl 0953.34025号 [18] Grigoriev,D.,Schwarz,F.:D-模的Loewy分解和主分解。申请中的预付款。数学。 38, 526–541 (2007) ·Zbl 1126.35008号 ·doi:10.1016/j.aam.2005.12.004 [19] Tsarev,S.P.:线性偏微分算子的因式分解和非线性偏微分方程的Darboux可积性。SIGSAM牛市。 32, 21–28 (1998) ·Zbl 1097.35503号 ·doi:10.1145/307733.307740 [20] Regensburger,G.,Rosenkranz,M.,Middeke,J.:积分微分算子的斜多项式方法。摘自:ISSAC 2009年会议记录。ACM,纽约(将于2009年上市)·Zbl 1237.16023号 [21] 科恩,P.M.:进一步的代数和应用。施普林格,伦敦(2003)·Zbl 1006.00001号 ·数字对象标识代码:10.1007/978-1-4471-0039-3 [22] Buchberger,B.,Regensburger,G.,Rosenkranz,M.,Tec,L.:定理函子的一般多项式约简:在积分微分算子和多项式中的应用。ACM通信。计算。代数42135-137(2008) [23] Buchberger,B.:Groebner环和模块。收录于:Maruster,S.、Buchberger,B.、Negru,V.、Jebelean,T.(编辑)《2001年SYNASC会议录》,第22–25页(2001) [24] Buchberger,B.:定理中使用函子的Groebner基。摘自:Faugere,J.,Wang,D.(编辑)《2008年SCC会议记录》,第1-15页。LMIB北京航空航天大学出版社(2008) [25] Windsteiger,W.:使用定理中的函子构建层次化数学域。选举人。注释Theor。计算。科学。 23, 401–419 (1999) ·Zbl 0958.68158号 ·doi:10.1016/S1571-0661(05)80612-7 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。