基于Chebyshev展开的D有限函数的严格一致逼近
AMS MathViewer支持的HTML文章
摘要：
工具书类
C.雷蒙德·亚当斯 , 关于线性常微分方程的不规则情形 , 事务处理。 阿默尔。 数学。 索克。 30 (1928), 3号 , 507–541. 先生 1501443 ，内政部 10.1090/S0002-9947-1928-1501443-6 沃纳·巴勒（Werner Balser） 和 托马斯·博特纳 , 线性差分方程组形式解的计算 高级动态。 系统。 申请。 5 （2010），第1期，第29–47页。 先生 2771315 A.Benoit， 切比雪夫急流算法 ，《博士学位》，埃科尔理工学院，2012年。 亚历山大·本诺特 和 布鲁诺·萨维 , 线性微分方程解的Chebyshev展开式 ，ISSAC 2009-2009年符号和代数计算国际研讨会进展，ACM，纽约，2009年，第23-30页。 先生 2742688 ，内政部 10.1145/1576702.1576709 W·G·比克利 , L.J.科姆里 , J.C.P.米勒 , D.H.萨德勒 、和 A.J.汤普森 , 贝塞尔函数。 第二部分。 正整数阶函数 ，英国科学促进会，《数学表格》，第10卷，剑桥大学出版社，1952年。 先生 0050973 乔治·D·伯克霍夫 , 不规则线性差分方程的形式化理论 《数学学报》。 54 （1930年），第1期，205-246。 先生 1555307 ，内政部 2007年10月10日/BF02547522 乔治·D·伯克霍夫 和 W.J.Trjitzinsky先生 , 奇异差分方程的解析理论 《数学学报》。 60 （1933年），第1期，第1-89页。 先生 1555364 ，内政部 2007年10月10日/BF02398269 阿林·博斯坦 , 布鲁诺·萨维 、和 埃里克·斯科斯特 , 幂级数组成和基数变化 ，ISSAC 2008，ACM，纽约，2008，第269-276页。 先生 2513515 ，内政部 10.1145/1390768.1390806 理查德·布伦特 和 保罗·齐默尔曼 , 现代计算机算术 《剑桥应用和计算数学专著》，第18卷，剑桥大学出版社，剑桥，2011年。 先生 2760886 尼古拉·布里斯巴雷 和 米奥拉·乔尔德斯 , 基于切比雪夫插值多项式的严格计算工具 ，ISSAC 2010《2010符号与代数计算国际研讨会论文集》，美国计算机学会，纽约，2010年，第147-154页。 先生 2920548 ，内政部 10.1145/1837934.1837966 M.Bronstein和B.Salvy， 有理函数的全部分分式分解 ，编辑M.Bronstein， ISSAC’93 ACM，1993年，第157-160页。 E.W.切尼 , 近似理论简介 ，AMS Chelsea Publishing，普罗维登斯，RI，1998年。 重印第二版（1982年）。 先生 1656150 S.Chevillard公司 , J.哈里森 , 乔尔德斯 、和 Lauter先生 , 近似误差上界的高效精确计算 ，理论。 计算。 科学。 412 （2011），第16期，1523–1543。 先生 2798728 ，内政部 2016年10月10日/j.tcs.2010.11.052 S.Chevillard、M.Joldeš和C.Lauter， Sollya：数字代码开发环境 ，K.Fukuda、J.van der Hoeven、M.Joswig和N.Takayama编辑， 数学软件-ICMS 2010 《计算机科学讲义》，第6327卷，施普林格，海德堡，德国，2010年9月，第28-31页。 C.W.克伦肖 , 关于Chebyshev级数求和的一个注记 , 数学。 表格有助于计算。 9 (1955), 118–120. 先生 71856 ，内政部 10.1090/S0025-5718-1955-0071856-0 C.W.克伦肖 , 切比雪夫级数线性微分方程的数值解 ，程序。 剑桥菲洛斯。 索克。 53 (1957), 134–149. 先生 82196 ，内政部 10.1017/s030500410032072 托宾·A·德里斯科尔 , 福克马尔·博内曼 、和 劳埃德·N·特雷费滕 , 微分方程自动求解的chebop系统 ，比特币 48 （2008），第4期，701-723。 先生 2465699 ，内政部 2007年10月10日/10543-008-0198-4 T.H.Einwohner和R.J.Fateman， 用于生成和操作切比雪夫级数的MACSYMA包 ，编辑G.H.Gonnet， ISSAC’89 ACM，1989年，第180–185页。 M.K.El Daou先生 , E.L.奥尔蒂斯 、和 H.萨马拉 , tau方法和Chebyshev级数展开技术的统一方法 ，计算。 数学。 申请。 25 （1993），第3期，73-82。 先生 1199893 ，内政部 10.1016/0898-1221（93）90145-L C.爱泼斯坦 , W.L.米兰克尔 、和 T.J.里夫林 , 超算术。 一、功能数据类型 ，数学。 计算。 模拟 24 （1982），第1期，第1-18页。 先生 654650 ，内政部 10.1016/0378-4754(82)90045-3 C.爱泼斯坦 , W·L·米兰克 、和 T.J.里夫林 , 超算术。 二、。 多项式的区间 ，数学。 计算。 模拟 24 （1982），第1期，第19–29页。 先生 654651 ，内政部 10.1016/0378-4754(82)90046-5 L.福克斯 , 常微分方程的Chebyshev方法 ，计算。 J。 4 (1961/62), 318–331. 先生 136521 ，内政部 1993年10月10日/月4日/4.4.318 L.福克斯 和 I.B.帕克 , 数值分析中的切比雪夫多项式 《牛津大学出版社》，伦敦-纽约-多伦多，安大略省，1968年。 先生 0228149 K.O.Geddes， 线性常微分方程切比雪夫级数解递推方程的符号计算 《1977年MACSYMA用户会议记录》，1977年7月，第405-423页。 泽维尔·古尔登 和 布鲁诺·萨维 , 有理系数线性递归的有效渐近性 ，《形式幂级数和代数组合学第五届会议论文集》（佛罗伦萨，1993年），1996年，第145–163页。 先生 1394951 ，内政部 10.1016/0012-365X（95）00133-H A.O.Guelfond公司 , 差别罚款计算 《数学大学收藏》，第十二卷，巴黎杜诺德，1963年（法语）。 Traduit par G.里多。 先生 0157139 G.K.伊明克 , 线性差分方程理论中的标准形约简与Stokes现象 ，SIAM J.数学。 分析。 22 （1991），第1期，238–259。 先生 1080156 ，内政部 10.1137/0522014 G.K.伊明克 , 线性差分的整体性质与多项式系数微分方程之间的关系。 二 ，J.微分方程 128 （1996），第1168-205号。 先生 1392400 ，内政部 2006年10月10日/jdeq.1996.0093 乔尔德斯先生， 严格多项式逼近及其应用 ，《医生之家》，《里昂高等师范学院》，2011年。 埃德加·W·考彻 和 威拉德·L·米兰克 , 函数空间问题的自验证数值 《计算机科学和应用数学笔记与报告》，第9卷，学术出版社，佛罗里达州奥兰多，1984年。 保证微分和积分方程的计算。 先生 772203 埃德加·考彻 和 威拉德·L·米兰克 , 在函数空间中验证计算 《计算可靠性展望》。 计算。， 第19卷，学术出版社，马萨诸塞州波士顿，1988年，第403-425页。 先生 988472 M.Kauers，完整工具包， 量子场论中的计算机代数：积分、求和和和特殊函数 《符号计算中的文本和专著》，2013年。 C.兰索斯， 经验和分析函数的三角插值 ，《数学物理杂志》 17 (1938), 123–199. 科尼利厄斯·兰佐斯 , 应用分析 ，Prentice-Hall，Inc.，新泽西州恩格尔伍德克利夫斯，1956年。 先生 0084175 S.勒瓦诺维奇 , Gegenbauer级数系数最低阶递推关系的构造 扎斯托斯。 材料。 15 （1976年），第3期，345–396页（英语，含波兰语摘要）。 先生 418488 S.勒瓦诺维奇 , 雅可比系数递推关系构造问题的一种新方法 扎斯托斯。 材料。 21 （1991），第2期，303–326。 先生 1145485 牧野京子 和 马丁·贝尔茨 , 泰勒模型和其他经验证的函数包含方法 ，《国际法学杂志纯粹应用》。 数学。 4 （2003），第4期，379–456。 先生 1962787 Maplesoft（滑铁卢枫叶公司），枫叶，1980年。 J.C.梅森 和 直流手梳 , 切比雪夫多项式 查普曼和霍尔/CRC，佛罗里达州博卡拉顿，2003年。 先生 1937591 理查德·马塔尔 , 逆多项式的切比雪夫级数展开 ，J.计算。 申请。 数学。 196 （2006），第2期，596–607页。 先生 2249448 ，内政部 2016年10月10日/j.cam.2005.10.013 赫伯特·梅施科夫斯基 , Differenzengleichungen差异 Studia Mathematica，Bd.XIV，Vandenhoeck&Ruprecht，哥廷根，1959年（德语）。 先生 0109264 M.Mezzarobba， 功能D-finies的自动估价 2011年11月，埃科尔理工大学博士学位。 L.M.Milne-Thomson先生 , 有限差分的微积分 ，麦克米伦公司，伦敦，1951年。 先生 0043339 拉蒙·摩尔 , 区间分析方法及应用 《SIAM应用数学研究》，第2卷，工业和应用数学学会（SIAM），宾夕法尼亚州费城，1979年。 先生 551212 阿诺德·纽梅尔 , 泰勒公式的使用和限制 、Reliab。 计算。 9 （2003），第1期，43–79。 先生 1952128 ，内政部 10.1023/A:1023061927787 希恩·奥尔弗 和 亚历克斯·汤森 , 一种快速且条件良好的光谱方法 SIAM版本。 55 （2013），第3期，462–489。 先生 3089410 ，内政部 10.1137/120865458年 V.Y.潘 , 多项式零点逼近的最优和近似最优算法 ，计算。 数学。 申请。 31 （1996），第12期，97–138。 先生 1418708 ，内政部 10.1016/0898-1221(96)00080-6 V.Y.潘 , 切比雪夫节点集多项式插值和求值的新快速算法 ，计算。 数学。 申请。 35 （1998），第3期，第125–129页。 先生 1605567 ，内政部 10.1016/S0898-1221（97）00283-6 斯特凡·帕斯科夫斯基 , Zastosowania numeryczne wielomianów i szeregów-Czebyszewa扎斯托索瓦尼亚 ，Podstawowe Algoritmy Numeryczne。 [基本数值算法]，Państwowe Wydawnictwo Naukowe，华沙，1975年（波兰语）。 先生 0455295 加勒 , 苏尔方程线性辅助微分Ordinaires和辅助微分Finies 阿默尔。 数学杂志。 7 （1885），编号3，203–258（法语）。 先生 1505385 ，内政部 10.2307/2369270 路易·B·拉尔 , 非线性算子方程的计算解 ，John Wiley&Sons，Inc.，纽约-朗登-悉尼，1969年。 随附Ramon E.Moore的附录。 先生 0240944 莱比拉德， Etude-théorique et algorithmique des séries de Chebyshev解d’équations différentielles全等式 1998年，格勒诺布尔国立理工学院博士学位。 西奥多·里夫林 , 切比雪夫多项式 《纯粹与应用数学》，威利国际科学[John Wiley&Sons]，纽约-朗登-悉尼，1974年。 先生 0450850 B.Salvy， D-有限性：算法和应用 ，编辑M.Kauers， ISSAC’05年 ACM，2005年，第2–3页。 F.W.Schäfke先生 , 诺米尔滕·阿贝尔申·格鲁彭的Lösungstypen von Differenzenglechichungen und Summengleichungen ，数学。 Z。 88 （1965），61-104（德语）。 先生 176247 ，内政部 2007年10月10日/BF01112693 R.P.斯坦利 , 可微有限幂级数 ，欧洲J.Combin。 1 （1980），第2期，175–188。 先生 587530 ，内政部 10.1016/S0195-6698（80）80051-5 É. 托尼尔， 微分方程的解 1987年，格勒诺布尔科学大学技术与医学博士。 劳埃德·N·特雷费滕 , 用函数代替数字进行数值计算 ，数学。 计算。 科学。 1 （2007），第1期，第9–19页。 先生 2384813 ，内政部 10.1007/s11786-007-0001-y Lloyd N.Trefethen公司 , 近似理论与近似实践 工业和应用数学学会（SIAM），宾夕法尼亚州费城，2013年。 先生 3012510 沃里克塔克 , 验证的数字 普林斯顿大学出版社，新泽西州普林斯顿，2011年。 关于严格计算的简短介绍。 先生 2807595 H.L.Turritin公司 , 不规则齐次线性差分和微分方程组的形式理论 ，波尔。 墨西哥Soc.Mat.Mexicana（2） 5 (1960), 255–264. 先生 136888 马吕斯·范德普特 和 迈克尔·辛格 , 伽罗瓦差分方程理论 《数学讲义》，第1666卷，施普林格-弗拉格出版社，柏林，1997年。 先生 1480919 ，内政部 2007年10月10日/BFb0096118 约阿希姆·冯·祖尔·盖森 和 尤尔根·格哈德 , 现代计算机代数 ，第2版，剑桥大学出版社，剑桥，2003年。 先生 2001757 J.Wimp， 关于递归计算 ，技术报告ARL 69-0186，航空航天研究实验室，1969年。 喷气机枪 , 使用递归关系进行计算 《应用数学系列》，皮特曼（高级出版计划），马萨诸塞州波士顿，1984年。 先生 727118 R.V.M.扎哈尔 , 米勒算法的数学分析 ，数字。 数学。 27 （1976/77），编号427–447。 先生 440969 ，内政部 2007年10月10日/BF01399606 多伦·齐尔伯格 , 特殊函数恒等式的完整系统方法 ，J.计算。 申请。 数学。 32 （1990），第3期，321-368。 先生 1090884 ，内政部 10.1016/0377-0427（90）90042-X
其他信息
亚历山大·本诺特 附属机构：法国国家教育局 电子邮件： alexandrebenoit@yahoo.fr 米奥拉·乔尔德斯 附属公司：法国Cedex 4，图卢兹，31077，罗氏上校大道7号，LAAS，CNRS MR作者ID： 931466 电子邮件： joldes@laas.fr 马克·梅扎罗巴 附属机构：CNRS，UMR 7606，LIP6，F-75005，法国巴黎–和–索邦大学，UPMC Univ Paris 06，UMR 7706，LIP 6，F-7505，法国法国巴黎 MR作者ID： 904789 电子邮件： marc@mezzarobba.net 编辑接收日期：2014年7月10日 编辑收到修订版：2015年11月7日和2015年11月月22日 电子发布：2016年10月20日 附加说明：这项研究得到了奥地利科学基金的部分支持( FWF公司 )授予P22748-N18和Y464-N18，之前由MSR-Inria联合研究中心授予 这项工作属于公共领域。 因此，它不受版权保护。 在无法将本作品视为已公开的司法管辖区，作者授予任何实体无条件出于任何目的使用本作品的权利，除非法律要求此类条件。 ©版权所有2016 作者 期刊：数学。 公司。 86 (2017), 1303-1341 MSC（2010）：初级68W30、33C45、65L05、65G20 内政部： https://doi.org/10.1090/mcom/3135 MathSciNet评论： 3614019