×
马克·梅扎罗巴;布鲁诺·萨尔维

P-递归序列的有效界。 （英语） Zbl 1201.65219号

J.塞姆。计算。 45，第10号，1075-1096（2010）.
作者摘要：我们描述了一种算法，该算法将由多项式系数和初值的线性递推关系给出的复数序列（u_n）作为输入，并输出一个简单的显式上界（（v_n），使得（u_n|leq-v_n\）适用于所有（n）。一般来说，这个界是紧的，因为它的渐近行为与\（u_n\）的渐近行为相匹配。我们讨论了在保证精度的幂级数计算中的应用。
审核人：科斯蒂克·莫罗沙努（Iaši）

引用于12文件

MSC公司：

65季度30 递归关系的数值方面
65B10型 级数的数值求和

关键词：

算法;边界;科希·科瓦列夫斯卡娅（Cauchy-Kovalevskaya）;经认证的评估;完整函数;线性递推关系;渐近行为;幂级数的评价

软件：

无精打采;钠20;gfun公司;ACETAF公司
PDF格式BibTeX公司 XML格式引用
\textit{M.Mezzarobba}和\textit{B.Salvy}，J.Symb。计算。45，第10号，1075--1096（2010；Zbl 1201.65219）
全文： 内政部

参考文献：

[1] 阿布拉莫维茨，M。；Stegun，I.A.，《数学函数手册》（1972年），多佛出版社：纽约多佛出版社·Zbl 0515.33001号
[2] Apéry，R.，《非理性》（第2章）和（第3章），《阿斯特里斯克》，第61期，第11-13页（1979年）·Zbl 040110049号
[3] 比尼，D。；佛罗伦萨，G.，《多精度多项式寻根器的设计、分析和实现》，《数值算法》，23，2，127-173（2000）·Zbl 1018.65061号
[4] Bronstein，M.，《符号整合》。I、 （《数学中的算法与计算》，第1卷（2005年），施普林格出版社：施普林格出版社，柏林）·Zbl 0880.12005号
[5] Buslaev，V.I。；Buslaeva，S.F.，差分方程的庞加莱定理，《数学笔记》，78，5-6，877-882（2005），（翻译自Matematicheskie Zametki 78（6）（2005）第943-947页）·Zbl 1108.39015号
[6] 丘德诺夫斯基，D.V。；Chudnovsky，G.V.，《计算机辅助数论及其应用》（《数论》，纽约，1984-1985）。数论（纽约，1984-1985），数学课堂讲稿，第1240卷（1987），施普林格：施普林格柏林），1-68·Zbl 0617.10001号
[7] 丘德诺夫斯基。；Chudnovsky，G.V.，《根据Ramanujan的近似和复数乘法》（Ramanujian Revisited（1988），学术出版社：马萨诸塞州波士顿学术出版社），375-472·Zbl 0647.10002号
[8] 杜，Z。；Yap，C.，用绝对误差逼近超几何函数的一致复杂性，（Pae，S.-I.；Park，H.，第七届亚洲计算机数学研讨会论文集，ASCM，2005（2005），韩国高等研究院），246-249
[9] 埃布尔，I。；Neher，M.，ACETAF:计算分析函数泰勒系数有效边界的软件包，ACM数学软件汇刊，29，3，263-286（2003）·Zbl 1070.65540号
[10] 弗拉乔莱特，P。；Salvy，B。；Zimmermann，P.，算法的自动平均案例分析，理论计算机科学，A辑，79，1，37-109（1991）·Zbl 0768.68041号
[11] 弗拉乔莱特，P。；Sedgewick，R.，《分析组合数学》（2009），剑桥大学出版社，网址：http://algo.inria.fr/flajolet/Publications/book.pdf ·Zbl 1165.05001号
[12] 古尔登，X。；Salvy，B.，有理系数线性递归的有效渐近性，离散数学，153，1-3，145-163（1996）·Zbl 0852.68075号
[13] 格雷厄姆·R·L。；Knuth，D.E。；Patashnik，O.，《混凝土数学》（1989），Addison-Wesley·兹比尔0668.00003
[14] A.O.Guelfond，1963年。差异计算完成。数学大学收藏，XII。巴黎杜诺德（译自俄语）。；A.O.Guelfond，1963年。差异计算结束。数学大学收藏，XII。杜诺德，巴黎（翻译自俄语）·Zbl 0108.27503号
[15] 霍夫肯斯，J.，2001年。采用高阶泰勒模型进行严格的数值分析。密歇根州立大学博士论文。；Hoefkens，J.，2001年。采用高阶泰勒模型进行严格的数值分析。密歇根州立大学博士论文。
[16] Ince，E.L.，《常微分方程》（1956），多佛：纽约多佛·Zbl 0063.02971号
[17] Karatsuba，E.A.，1999年。通过FEE快速评估超几何函数。收录：Papamichael，N.、Ruscheweyh，S.、Saff，E.B.（编辑），《第三届CMFT计算方法与函数理论会议论文集》。第303-314页。；Karatsuba，E.A.，1999年。用FEE快速计算超几何函数。收录：Papamichael，N.、Ruscheweyh，S.、Saff，E.B.（编辑），《第三届CMFT计算方法与函数理论会议论文集》。第303-314页·Zbl 1017.65014号
[18] Knuth，D.E.，（《半数值算法：半数值算法，计算机编程艺术》，第2卷（1997），Addison-Wesley：Addison-Whesley Reading，马萨诸塞州）·Zbl 0191.18001号
[19] 库曼，R。；Tijdeman，R.，线性递归序列的收敛性，Nieuw Archief voor Wiskunde，Ser。，4, 4, 13-25 (1990) ·Zbl 0713.11010号
[20] Kreuser，P.，1914年。U ber das Verhalten der Integrale均质线性器Differenzengleclichungen im Unendlichen。博尔纳莱比锡图宾根大学博士论文。；Kreuser，P.，1914年。U ber das Verhalten der Integrale均质线性器Differenzengleclichungen im Unendlichen。博尔纳莱比锡图宾根大学博士论文。
[21] Lipshitz，L.，（D）-有限幂级数，代数杂志，122，2，353-373（1989）·Zbl 0695.12018号
[22] Makino，K。；Berz，M.，Taylor模型和其他经验证的函数包含方法，《国际纯粹与应用数学杂志》，4，4，379-456（2003），网址：http://bt.pa.msu.edu/pub/papers/TMIJPAM03/TMIJPAM 03.pdf ·Zbl 1022.65051号
[23] Malgrange，B.，Sur les points singuliers deséquations différentielles，《经济学》，XX，1-2，147-176（1974）·Zbl 0299.34011号
[24] Meschkowski，H.、Differenzengleichungen（1959）、Vandenhoeck和Ruprecht·Zbl 0084.29202号
[25] 梅齐诺，M。；平斯基，M.，莱布尼茨公式，柯西优势和线性微分方程，《数学杂志》，71，5，360-368（1998）·Zbl 1016.34009号
[26] Neher，M.，泰勒系数和泰勒余数系列的改进验证边界，计算与应用数学杂志，152393-404（2003），网址：http://iamlasun8.mathematik.uni-karlsruhe.de/ae16/prepnts/neher_2003_improved_taylor_JCAM152.pdf·Zbl 1018.65030号
[27] 尼赫尔，M。；Jackson，K.R。；Nedialkov，N.S.，《关于基于泰勒模型的ODE集成》，SIAM数值分析杂志，45，1，236-262（2007），网址：http://www.cs.toronto.edu/NA/reports.html#TM_ODE_2005（http://www.cs.toronto.edu/NA/reports.html#TM_ODE_2005） ·Zbl 1141.65056号
[28] Neumaier，A.，Taylor表单-使用和限制，可靠计算，9，1，43-79（2003）·兹比尔1071.65070
[29] Odlyzko，A.M.，《渐近枚举方法》（Graham，R.L.；Groetschel，M.；Lovasz，L.，《组合数学手册》，第2卷（1995），Elsevier），1063-1229，网址：http://www.dtc.umn.edu/odlyzko/doc/sumplistic.enum.pdf·Zbl 0845.0505号
[30] Perron，O.，《庞加莱谢线性差异》，《Reine和Angewandte Mathematik杂志》，137，6-64（1909）
[31] Perron，O.，Un ber ein Satz des Herrn Poincaré，《Reine und Angewandte Mathematik杂志》，136，17-37（1909）
[32] Perron，O.，《数学学报》，第34期，第109-137页（1910年）
[33] Perron，O.，《Summenglichungen und Poincarésche Differenzengliechungen》，《数学年鉴》，84，1-15（1921）
[34] Pituk，M.，Poincaré递归系统的渐近行为，逼近理论杂志，91，2，226-243（1997）·Zbl 0892.39008号
[35] Poincaré，H.，《线性微分方程与微分精细化》，《美国数学杂志》，第7期，第3期，第203-258页（1885年）
[36] Rihm，R.，ODE初值问题的区间方法，（Herzberger，J.，验证计算主题：奥尔登堡大学IMACS-GAMM验证计算国际研讨会论文集。验证计算主题：奥尔登堡大学IMACS-GAMM验证计算国际研讨会论文集，爱思唯尔计算数学研究（1994），爱思惟尔，173-207·Zbl 0815.65095号
[37] Salvy，B。；Zimmermann，P.，Gfun:用于操作一个变量中的生成函数和完整函数的Maple包，ACM数学软件汇刊，20，2，163-177（1994）·Zbl 0888.65010号
[38] Schäfke，F.W。，Lösungstypen von Differenzenglechichungen und Summengleichungen in normierten abelschen Gruppen，Mathematische Zeitschrift，88，1，61-104（1965）·Zbl 0134.06401号
[39] Schönhage，A.，1982年。计算复杂性方面的代数基本定理。图宾根大学数学研究所技术代表。；Schönhage，A.，1982年。计算复杂性方面的代数基本定理。图宾根大学数学研究所技术代表。
[40] Stanley，R.P.，可微有限幂级数，欧洲组合数学杂志，1,2175-188（1980）·Zbl 0445.05012号
[41] Stanley，R.P.，《枚举组合数学》，第2卷（1999），剑桥大学出版社·兹宝利0928.005001
[42] Tournier，E.，1987年。解形成了不同的方程。格勒诺布尔科技与医学大学博士学位。网址：http://tel.archives-ouvertes.fr/tel-00323706/fr/。; Tournier，E.，1987年。解形成了不同的方程。格勒诺布尔科技与医学大学博士学位。网址：http://tel.archives-ouvertes.fr/tel-00323706/fr/。
[43] van der Hoeven，J.，完整函数的快速评估，理论计算机科学，210，1，199-216（1999），URL:网址：http://www.math.u-psud.fr/vdhoeven/Publs/1997/TCS.ps.gz·Zbl 0912.68081号
[44] van der Hoeven，J.，《正则奇点附近和正则奇点中完整函数的快速评估》，《符号计算杂志》，31，6，717-743（2001），URL:http://www.math.u-psud.fr/vdhoeven/Publs/2000/singhol.ps.gz·Zbl 0982.65024号
[45] van der Hoeven，J.，2003年。正式权力序列的多数。技术代表2003-15，法国奥赛巴黎大学。网址：http://www.math.u-psud.fr/vdhoeven/Publs/2003/maj.ps.gz。；van der Hoeven，J.，2003年。正式权力序列的多数。技术代表2003-15，法国奥赛巴黎大学。网址：http://www.math.u-psud.fr/vdhoeven/Publs/2003/maj.ps.gz。
[46] van der Hoeven，J.，《论有效分析延拓》，《计算机科学中的数学》，第1期，第111-175页（2007年）·Zbl 1154.68574号
[47] Wimp，J。；Zeilberger，D.，恢复线性回归的渐近性，数学分析与应用杂志，111162-176（1985）·Zbl 0579.05007号
[48] Zeilberger，D.，《特殊函数恒等式的完整系统方法》，《计算与应用数学杂志》，32，3，321-368（1990）·Zbl 0738.33001号
[49] Zeilberger，D.，2008年。Asyrec：用于计算多项式系数线性递归方程解的渐近性的Maple包。网址：http://www.math.rutgers.edu/zeilberg/mamarim/mamarimhtml/asy.html。；Zeilberger，D.，2008年。Asyrec：用于计算多项式系数线性递归方程解的渐近性的Maple包。网址：http://www.math.rutgers.edu/zeilberg/mamarim/mamarimhtml/asy.html。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。