×
陈少石;歌手Michael F。

二元有理函数的留数和伸缩器。 （英语） Zbl 1248.33042号

高级申请。数学。 49，第2期，111-133（2012）.
摘要：我们给出了连续、离散和（q）-离散设置下两个变量有理函数存在伸缩器的充分必要条件，并刻画了哪些算子可以作为伸缩器出现。使用后一个特征，我们重现了H.福斯滕贝格[J.代数7，271–277（1967；Zbl 0175.03903号)]和D.泽尔伯格[J.Symb.计算11，第3期，195-204（1991；Zbl 0738.33002号)]关于有理函数幂级数的对角线。这些考虑背后的关键概念是将连续情况下的留数概念推广到离散和（q）-离散情况下的类似概念。

引用于19文件

MSC公司：

33层10 特殊函数的符号计算（Gosper和Zeilberger算法等）
68瓦30 符号计算和代数计算

关键词：

残留物;望远镜;Zeilberger方法

引文：

兹标0175.03903;Zbl 0738.33002号

软件：

GJSAW公司;戴维_安;NAIVE公司;SYMGJ公司;SPGJ公司;JODO公司;DE工具;GJsqfree公司;毛毯;GJ系列
PDF格式BibTeX公司 XML格式引用
\textit{S.Chen}和\textit{M.F.Singer}，高级应用程序。数学。49，No.2，111--133（2012；Zbl 1248.33042）
全文： 内政部 arXiv公司

参考文献：

[1] 新罕布什尔州阿贝尔（Abel，N.H.），《尼尔斯·亨利克·阿贝尔》（Compleètes de Niels Henrik Abel）。托梅二世（1981年），《Gröndahl&Son即兴演奏：Gróndahl&Son Christiania即兴演奏》
[2] Abramov，S.A.，有理右手边一阶线性递推关系解的有理分量。维奇岛。Mat.i Mat.Fiz.公司。，15, 1035-1039 (1990) ·Zbl 0326.65069号
[3] Abramov，S.A.，线性微分方程和多项式系数差分方程的有理解，苏联计算机。数学。数学。物理。，29, 7-12 (1998) ·Zbl 0719.65063号
[4] Abramov，S.A.，有理函数的不定和，（ISSAC？95:1995年符号和代数计算国际研讨会论文集，ACM:ACM纽约），303-308·Zbl 0914.65133号
[5] Abramov，S.A.，带多项式系数的线性差分和（q）-差分方程的有理解，（ISSAC？95:1995年符号和代数计算国际研讨会论文集（1995），ACM:ACM纽约），285-289·Zbl 0914.65131号
[6] Abramov，S.A.，Zeilberger算法何时成功？，申请中的预付款。数学。，30, 424-441 (2003) ·Zbl 1030.33011号
[7] 阿布拉莫夫，S.A。；Kvansenko，K.Y.，搜索多项式系数线性微分方程有理解的快速算法，（ISSAC’91：1991年符号和代数计算国际研讨会论文集（1991），ACM:ACM纽约），267-270·Zbl 0919.65045号
[8] 阿布拉莫夫，S.A。；Le，H.Q.，Zeilberger算法适用于有理函数的标准，离散数学。，259, 1-17 (2002) ·Zbl 1023.33017号
[9] 阿尔姆克维斯特，G。；Zeilberger，D.，积分符号下的微分方法，J.符号计算。，10, 571-591 (1990) ·Zbl 0717.33004号
[10] 阿什，J.M。；Catoiu，S.，《伸缩、有理值级数和zeta函数》，Trans。阿默尔。数学。《社会学杂志》，3573339-3358（2005）·兹伯利1117.11039
[11] 贝尔，J.P。；Gerhold，S。；Klazar，M。；Luca，F.，通过初等函数定义的序列的非正交性，Ann.Comb。，12, 1-16 (2008) ·Zbl 1189.11007号
[12] Benzaghou，B。；Bézivin，J.-P.，Propriétés algébriques de suites differentiellement finies，公牛。社会数学。法国，120，327-346（1992）·Zbl 0785.11007号
[13] Bostan，A。；Chyzak，F。；Salvy，B。；Lecerf，G。；埃利桑那州斯科斯特。，代数函数微分方程，（ISSAC’07:2007年符号与代数计算国际研讨会论文集，ACM:ACM纽约），25-32·Zbl 1190.68085号
[14] Bronstein，M.，《符号集成I：超越函数，算法计算》。数学。，第1卷（2005年），《柏林春天》·Zbl 1059.12002号
[15] 陈，S。；Chyzak，F。；冯·R。；Li，Z.，超指数超几何函数望远镜的存在性，MM-Res.预印本，29239-267（2010）
[16] 陈，S。；考尔斯，M。；Singer，M.F.，《通过留数实现有理函数和代数函数的望远镜》（2012年）·Zbl 1323.68592号
[17] 陈，W.Y.C。；侯庆华。；Mu，Y.-P.，Zeilberger算法（q）模拟的适用性，符号计算杂志。，39, 155-170 (2005) ·Zbl 1126.33008号
[18] Chevalley，C.，《一元代数函数理论导论》，数学。调查，第六卷（1951年），美国数学学会：美国数学学会纽约·Zbl 0045.32301号
[19] 丘德诺夫斯基，D.V。；Chudnovsky，G.V.，《关于幂级数和Puiseux级数中代数函数的展开》。一、 J.复杂性，2271-294（1986）·兹比尔0629.68038
[20] 丘德诺夫斯基。；Chudnovsky，G.V.，《关于幂代数函数的展开和Puiseux级数》，II，J.Complexity，3，1-25（1987）·Zbl 0656.34003号
[21] Cockle，J.，《关于超越和代数解》，Philos。Mag.，XXI，379-383（1891年）
[22] Comtet，L.，Calcul pratique des coefficients de Taylor d’une foction algébrique，恩塞。数学。，10, 267-270 (1964) ·Zbl 0166.41702号
[23] 科米尔，O。；辛格，M.F。；Trager，B.M。；Ulmer，F.，多项式方程的线性微分算子，J.符号计算。，34, 355-398 (2002) ·Zbl 1030.12002号
[24] Di Vizio，L。；Hardouin，C.，差分方程汇合和q依赖微分伽罗瓦理论的下降（2011）
[25] 埃哈德，S.B。；Zeilberger，D.，Richard Stanley’s Amer的自动解决方案。数学。月度问题#11610和任何此类问题（2011年）
[26] 弗拉乔莱特，P。；Sedgewick，R.，分析组合数学（2009），剑桥大学出版社：剑桥大学出版社·Zbl 1165.05001号
[27] M.弗利斯（Fliess，M.），《南部潜水员》（Sur divers produts de séries formelles），《公牛》（Bull）。社会数学。法国，102，181-191（1974）·Zbl 0313.13021号
[28] Fulton，W.，《代数曲线》（1989），Addison-Wesley出版公司：Addison-Whesley出版公司Redwood City·兹比尔0181.23901
[29] Furstenberg，H.，有限域上的代数函数，J.代数，7271-277（1967）·Zbl 0175.03903号
[30] Gessel，I.M.，《形式Laurent级数的因式分解和格路枚举》，J.Combination Theory Ser。A、 28、321-337（1980）
[31] 古尔登，I.P。；Jackson，D.M.，具有可分辨子序列的序列簇分解的反演定理，J.Lond。数学。《社会学杂志》（2），20567-576（1979）·兹比尔0467.05008
[32] Haiman，M.，《非交换有理幂级数与代数生成函数》，《欧洲组合杂志》，第14期，第335-339页（1993年）·Zbl 0783.05003号
[33] 哈杜因，C。；辛格，M.F.，线性差分方程微分伽罗瓦理论，数学。年鉴，342，333-377（2008）·Zbl 1163.12002年
[34] Harley，R.，《关于代数方程超越解的理论》，Quart。J.纯应用。数学。，5, 337-361 (1862)
[35] Hermite，C.，《定量分数研究》，《科学年鉴》。Éc.公司。标准。超级的。(2), 1, 215-218 (1872)
[36] Horowitz，E.，部分分式分解和有理函数积分算法，（SYMSAC’71（1971），ACM:ACM纽约），441-457
[37] Le，H.Q.，关于Zeilberger算法对有理函数的（Q）-模拟，程序。计算。软质。，27, 35-42 (2001) ·Zbl 0985.33014号
[38] Matusevich，L.F.，有理函数的有理求和，Beiträge代数几何。，41, 531-536 (2000) ·Zbl 1007.12007年
[39] Nahay，J.M.，微分方程代数解之间的线性关系，J.微分方程，191，323-347（2003）·Zbl 1030.12006号
[40] Noonan，J。；Zeilberger，D.，《Goulden-Jackson集群方法：扩展、应用和实现》，J.Difference Eqn。申请。，5, 355-377 (1999) ·Zbl 0935.05003号
[41] Ostrogradskiĭ，M.V.，《合理分配分数的解释》，公牛。学术物理数学类。圣佩特斯堡科学院，4145-167（1845），286-300
[42] Paule，P.，最大阶乘分解与符号求和，J.符号计算。，20, 235-268 (1995) ·Zbl 0854.68047号
[43] Piratu，R.，maple中有理函数的不定求和算法，MapleTech，2，29-38（1995）
[44] 比拉斯图，R。；斯特雷尔，V.，有理求和与Gosper-Petkovšek表示，符号计算杂志。，20, 617-635 (1995) ·Zbl 0851.68050号
[45] Rothstein，M.，《指数函数和对数函数积分的新算法》（1977年MACSYMA用户会议论文集。1977年MACS YMA用户大会论文集，加州伯克利（1997），NASA:NASA华盛顿特区），263-274
[46] Schneider，C.，参数化伸缩证明了和的代数独立性，Ann.Comb。，14, 533-552 (2010) ·兹比尔1232.33034
[47] Stanley，R.，《问题与解决方案：问题11610》，美国。数学。月刊，118937（2011）
[48] Stanley，R.P.，枚举组合数学，第2卷（1999年），剑桥大学出版社：剑桥大学出版社·Zbl 0928.05001号
[49] Trager，B.M.，代数因式分解与有理函数积分，（SYMSAC？76:第三届ACM符号与代数计算研讨会论文集（1976），ACM:ACM纽约），219-226·Zbl 0498.12005号
[50] van der Put，M.，Grothendieck关于Risch方程的猜想，Indag。数学。（N.S.），第12期，第113-124页（2001年）·Zbl 1004.12005年
[51] 范德普特，M。；辛格，M.F.，伽罗瓦差分方程理论，数学课堂讲稿。（1997），《施普林格·弗拉格：柏林施普林格尔·弗拉格》·Zbl 0930.12006号
[52] Wilf，H.S。；Zeilberger，D.，有理函数证明组合恒等式，J.Amer。数学。《社会学杂志》，3147-158（1990）·Zbl 0695.05004号
[53] Wilf，H.S。；Zeilberger，D.，《走向计算机身份证明》，布尔。阿默尔。数学。Soc.（N.S.），23，77-83（1990）·Zbl 0718.05010号
[54] Wilf，H.S。；Zeilberger，D.，超几何（普通和“（q）”）多和/积分恒等式的算法证明理论，发明。数学。，108, 575-633 (1992) ·Zbl 0739.05007号
[55] Zeilberger，D.，《特殊函数恒等式的完整系统方法》，J.Compute。申请。数学。，32, 321-368 (1990) ·Zbl 0738.33001号
[56] Zeilberger，D.，《创造性伸缩方法》，J.符号计算。，195-204年11月（1991年）·Zbl 0738.33002号
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。