×

由(分圆)调和和生成的序列的代数独立性。 (英语) Zbl 1444.11153号

设(mathbb A)是多项式环,(sigma)是自同构。设置\(\mathbb K=\{c\in\mathbbA;\sigma(c)=c\}\)和\[A={(A,b,c,z);A,c\in\mathbb N,b\in\mathbb N_0,z\in\mathbb K\setminus\{0},b<A,\gcd(A,c)=1\}。\] 设\(H\)为\(A\cap(\{1\},\{0\},\ mathbb N,\{1\})\)或\。然后,作者证明了对于每一个\(d\in\mathbbN\),我们都有\(\ mathbbE_d^H\)和\(\ MathbbE_d ^H=\mathbb K(N)[x][t1^{(1)},\ dots,t_{m_1}^{,\西格玛)\)。

MSC公司:

11J85型 代数独立性;盖尔芬德方法
33层10 特殊函数的符号计算(Gosper和Zeilberger算法等)
68瓦30 符号计算和代数计算
11公里31 特殊序列
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] Ablinger,J.:与粒子物理有关的调和和的计算机代数工具箱。林茨约翰内斯·开普勒大学硕士论文(2009)·兹比尔1039.11007
[2] Ablinger,J.:粒子物理中特殊函数的计算机代数算法。林茨J.开普勒大学博士论文(2012)·Zbl 1147.33006号
[3] Ablinger,J;Blümlein,J(编辑);Marquard,P(编辑);Riemann,T(编辑),《包调和:计算机代数和嵌套和的分析方面》,1-10,(2014),Zeuthen
[4] Ablinger,J;贝林,A;Blümlein,J;弗雷塔斯,A;Haßelhuhn,A;Manteuffel,A;圆形,M;施耐德,C;Wißbrock,F,结构函数(F_2(x,q^2))和横截性的三环路非单一重味贡献和反常维数,Nucl。物理学。B、 886733-823(2014)·Zbl 1325.81168号 ·doi:10.1016/j.nuclphysb.2014.07.010
[5] Ablinger,J;贝林,A;Blümlein,J;弗雷塔斯,A;Manteuffel,A;Schneider,C,3环纯单线重味对结构函数(f_2(x,q^2))和反常维数的贡献,Nucl。物理学。B、 89048-151(2015)·Zbl 1326.81234号 ·doi:10.1016/j.nuclephysb.2014.10.008
[6] Ablinger,J;贝林,A;Blümlein,J;弗雷塔斯,A;曼特菲尔,A;Schneider,C,《利用计算机代数计算活算子矩阵元素的三环路梯形和V拓扑》,计算。物理学。通信,202,33-112,(2016)·Zbl 1348.81034号 ·doi:10.1016/j.cpc.2016.01.002
[7] Ablinger,J;Blümlein,J;拉布,CG;Schneider,C,《二项式迭代和及其相关的迭代积分》,J.Math。物理。,55, 112301, (2014) ·Zbl 1306.81141号 ·doi:10.1063/1.4900836
[8] Ablinger,J;Blümlein,J;Schneider,C,分圆多项式生成的调和和和多对数,J.Math。物理。,52, 102301, (2011) ·Zbl 1272.81127号 ·数字对象标识代码:10.1063/1.3629472
[9] Ablinger,J;Blümlein,J;Schneider,C,《广义调和和和多对数的分析和算法方面》,J.Math。物理。,54, 082301, (2013) ·Zbl 1295.81071号 ·数字对象标识代码:10.1063/1.4811117
[10] Abramov,SA,《有理函数求和》,Zh。维奇塞尔。材料Fiz。,11, 1071-1074, (1971) ·Zbl 0243.65076号
[11] Abramov,SA,线性微分方程和多项式系数差分方程的有理解。美国S.R,计算。数学。数学。物理。,29, 7-12, (1989) ·Zbl 0719.65063号 ·doi:10.1016/S0041-5553(89)80002-3
[12] Abramov,S.A.,Petkovšek,M.:线性微分方程和差分方程的D’Alembertian解。收录人:von zur Gathern,J.(编辑)Proc。ISSAC’94,第169-174页。ACM出版社,纽约州纽约市(1994年)·兹伯利0919.34013
[13] Blümlein,J,梅林变换到两圈阶的解析延拓,计算。物理学。社区。,133, 76-104, (2000) ·Zbl 0977.65120号 ·doi:10.1016/S0010-4655(00)00156-9
[14] Blümlein,J,调和和和相关量之间的代数关系,计算。物理学。社区。,159, 19-54, (2004) ·Zbl 1097.11063号 ·doi:10.1016/j.cpc.2003.12004
[15] Blümlein,J,调和和的结构关系和Mellin变换到权重\(w=5\),计算。物理学。公社,1802218-2249,(2009)·Zbl 1197.81036号 ·doi:10.1016/j.cpc.2009.07.004
[16] Blümlein,J;Carey,A(编辑);Ellwood,D(编辑);Paycha,S(编辑);Rosenberg,S(ed.),重量下调和和和Mellin变换的结构关系,第12期,167-187,(2010),普罗维登斯,RI·Zbl 1218.81103号
[17] Blümlein,J;Kurth,S,Harmonic和和,Mellin变换到两个循环阶,Phys。D版,60014018,(1999)·doi:10.1103/PhysRevD.60.014018
[18] Blümlein,J;Moch,S,3环路反常维调和和的解析延拓,Phys。莱特。B、 61453-61(2005)·doi:10.1016/j.physletb.2005.03.073
[19] Bronstein,M,关于线性常差分方程在其系数域中的解,J.符号计算。,29, 841-877, (2000) ·Zbl 0961.12004号 ·doi:10.1006/jsco.2000.0368
[20] 科恩,R.M.:差分代数。Interscience Publishers,John Wiley&Sons,纽约伦敦Sydeny(1965)·Zbl 0127.26402号
[21] Costermans,C.,Enjalbert,J.Y.,Minh,H.N.,Petitot,M.:多重调和和的结构和渐近展开。收录:Kauers,M.(编辑)Proc。2005年IßAC第100-107页。ACM,纽约(2005)·Zbl 1360.11086号
[22] 达维迪切夫,AI;Kalmykov,MY,Maßive Feynman图和反二项式和,Nucl。物理学。B、 699,3-64,(2004)·Zbl 1123.81388号 ·doi:10.1016/j.nuclphysb.2004.08.020
[23] 弗莱舍,J;科蒂科夫,AV;Veretin,OL,具有一个非零ma的自能型和顶点型图的分析双环结果,核物理。B、 547343-74(1999)·doi:10.1016/S0550-3213(99)00078-4
[24] 宾夕法尼亚州亨德里克斯;Singer,MF,求解有限项差分方程,符号计算杂志。,27, 239-259, (1999) ·Zbl 0930.39004号 ·doi:10.1006/jsco.1998.0251
[25] 霍夫曼,M,多谐级数,太平洋数学杂志。,152, 275-290, (1992) ·Zbl 0763.11037号 ·doi:10.2140/pjm.1992.152.275
[26] 霍夫曼,M,多重调和级数的代数,J.代数,194477-495,(1997)·Zbl 0881.11067号 ·doi:10.1006/jabr.1997.7127
[27] 霍夫曼,M,拟洗牌积,J.代数组合,11,49-68,(2000)·Zbl 0959.16021号 ·doi:10.1023/A:1008791603281
[28] Karr,M,《有限项求和》,J.ACM,28,305-350,(1981)·Zbl 0494.68044号 ·doi:10.1145/322248.322255
[29] Karr,M,有限项求和理论,J.符号计算。,1, 303-315, (1985) ·Zbl 0585.68052号 ·doi:10.1016/S0747-7171(85)80038-9
[30] 莫赫,S;乌尔(Uwer),P;Weinzierl,S,嵌套和,超越函数的展开,多尺度多回路积分,J.Math。物理。,43, 3363-3386, (2002) ·Zbl 1060.33007号 ·doi:10.1063/1.1471366
[31] Nemes,I.,Paule,P.:符号求和的规范形式指南。In:Miola,A.,Temperini,M.(编辑)《符号计算系统设计进展》,Texts Monogr。符号。计算。,第84-110页。施普林格,威恩纽约(1997)·Zbl 0884.68064号
[32] Paule,P;Schneider,C,调和数恒等式新族的计算机证明,Adv.Appl。数学。,31, 359-378, (2003) ·Zbl 1039.11007号 ·doi:10.1016/S0196-8858(03)00016-2
[33] Petkovšek,M.,Wilf,H.S.,Zeilberger,D.:(A=B\)。A K Peters Ltd,马萨诸塞州韦尔斯利(1996)·Zbl 0848.05002号
[34] Petkovšek,M.,Zakrajšek.,H.:求解多项式系数线性递归方程。收录:Schneider,C.,Blümlein,J.(编辑)《量子场论中的计算机代数:积分、求和和和特殊函数》,TextsMonogr。符号。计算。,第259-284页。施普林格,维也纳(2013)·Zbl 1312.65212号
[35] 普罗丁格,H;施耐德,C;Wagner,S,《不公平排列》,《欧洲联合杂志》,第32期,第1282-1298页,(2011年)·Zbl 1231.05003号 ·doi:10.1016/j.ejc.2011.04.002
[36] 雷米迪,E;Vermaseren,JAM,Harmonic多对数,国际。现代物理学杂志。A、 15725-754(2000)·Zbl 0951.33003号 ·doi:10.1142/S0217751X00000367
[37] Schneider,C,解({∏∑})-扩张中参数化线性差分方程的分母界集合。蒂米什·奥拉塞大学。垫,通知。,42, 163-179, (2004) ·Zbl 1112.68139号
[38] Schneider,C.:符号求和是组合学。塞姆·洛塔尔。组合56,第B56b条(2006/07)·Zbl 1188.05001号
[39] 施耐德,C,符号求和的精细差分场理论,J.符号计算。,43, 611-644, (2008) ·Zbl 1147.33006号 ·doi:10.1016/j.jsc.2008.01.001
[40] Schneider,C,《参数化伸缩证明和的代数独立性》,《Ann.Combin》,第14期,第533-552页,(2010年)·Zbl 1232.33034号 ·doi:10.1007/s00026-011-0076-7
[41] Schneider,C,符号求和的结构定理,应用。代数工程师通信计算。,21, 1-32, (2010) ·Zbl 1191.68891号 ·doi:10.1007/s00200-009-0115-3
[42] 施耐德,C;Carey,A(编辑);Ellwood,D(编辑);Paycha,S(编辑);Rosenberg,S(ed.),寻找最佳嵌套和表示的符号求和方法,第12期,285-308,(2010),普罗维登斯,RI·Zbl 1225.33031号
[43] Schneider,C.:简化不同字段中的多个和。收录于:Schneider,C.,Blümlein,J.(编辑)《量子场论中的计算机代数:积分、求和和和特殊函数》,文本专著。符号。计算。,第325-360页。施普林格-弗拉格-维恩,维也纳(2013)·Zbl 1315.68294号
[44] 施耐德,C;Winkler,F(编辑);等。,流线型差分环理论:不定嵌套和、交替符号和参数化伸缩问题,26-33,(2014),华盛顿特区
[45] 施耐德,C;Gutierrez,J(编辑);Schicho,J(编辑);Weimann,M(ed.),差分场精细参数化望远镜的快速算法,第8942号,第157-191页,(2015),纽约·Zbl 1434.39004号
[46] Schneider,C,符号求和的差环理论,J.symbolic。计算。,72, 82-127, (2016) ·Zbl 1328.12015年 ·doi:10.1016/j.jsc.2015.02.002
[47] Schneider,C,求和理论II:\({Rπ∑}\)-扩展的特征和算法方面,符号学杂志。计算。,80, 616-664, (2017) ·Zbl 1403.12002号 ·doi:10.1016/j.jsc.2016.07.028
[48] 施耐德,C;Osburn,R,Gaußian超几何级数和超几何级数,数学。压缩机。,78, 275-292, (2009) ·Zbl 1209.11049号
[49] 施耐德,C;Pemantle,R,0.999…何时等于1?,阿默尔。数学。月刊,114344-350,(2007年)·Zbl 1226.11134号 ·doi:10.1080/00029890-2007.11920423
[50] van der Put,M.,Singer,M.F.:差分方程的伽罗瓦理论。数学课堂笔记。,第1666卷。柏林施普林格-弗拉格出版社(1997年)·Zbl 0930.12006号
[51] Vermaseren,JAM,调和和,梅林变换和积分,国际。现代物理学杂志。A、 2037-2076年(1999)·兹伯利0939.65032 ·doi:10.1142/S0217751X99001032
[52] Weinzierl,S,《关于半整数值、二项式和和反二项式的展开》,J.Math。物理。,45, 2656-2673, (2004) ·Zbl 1071.33018号 ·doi:10.1063/1.1758319
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。