IJMMS 国际数学和数学科学杂志》上 1687 - 0425 0161 - 1712 Hindawi出版公司 873078年 10.1155 / 2012/873078 873078年 研究文章 多项式近似封闭公式贝塞尔的0 坎波斯 拉斐尔·G。 卡尔德隆 玛莉索L。 Samko Stefan 1 Facultad de Ciencias Fisico-Matematicas 大学就 莫雷利亚城58060、锰 墨西哥 umich.mx 2012年 4 10 2012年 2012年 11 06 2012年 10 09年 2012年 23 09年 2012年 2012年 版权©2012拉斐尔·g·坎波斯和玛莉索·l·卡尔德隆。 这是一个开放的文章在知识共享归属许可下发布的,它允许无限制的使用,分布和繁殖在任何媒介,提供最初的工作是正确的引用。

我们发现近似表达式 x ̃ ( k , n , 一个 ) y ̃ ( k , n , 一个 ) 的实部和虚部 k th零 z k = x k + y k 贝塞尔的多项式 y n ( x ; 一个 ) 。获得这些封闭公式我们使用定义良好的曲线在复平面上的点是零的极限点的归一化贝塞尔多项式。因此,这些零通过静电的实现首先计算数值解释公式,然后,一个合适的函数的实部和虚部 k , n 一个 是获得。结果表明,由此产生的复数 x ̃ ( k , n , 一个 ) + y ̃ ( k , n , 一个 ) O ( 1 / n 2 ) 收敛到 z k 固定 k

1。介绍

的多项式解微分方程 (1.1) z 2 y ′′ ( z ) + ( 一个 z + 2 ) y ( z ) - - - - - - n ( n + 一个 - - - - - - 1 ) y ( z ) = 0 , 一个 > 0 , z , 系统地研究了在 1通过第一次)。他们命名(广义)贝塞尔多项式,给出明确 (1.2) y n ( z ; 一个 ) = k = 0 n n ! ( n + 一个 - - - - - - 1 ) k ( n - - - - - - k ) ! k ! ( z 2 ) k , 因为它可以显示在 2]。在这里, ( x ) k Pochhammer符号和吗 n = 0 1 , 。许多属性以及相关的应用程序这个方程;旅行波在径向方向上的解决方案,在球坐标中波动方程可以写成多项式的解决方案( 1.1)。同时,这个方程在网络应用程序和滤波器的设计,各向同性湍流场等等(见专著[ 2]或[ 3- - - - - - 14)和引用其中一些其他的结果)。其中,一些结果的重要的问题关于取得了零的位置( 8- - - - - - 11)和( 12),显式表达式和规则和同质产品和对称函数的零多项式。另一方面,这些零平衡配置的静电解释在复杂平面对数电势和偶极子在原点已在 13],在[ 14]表明,这种均衡配置是不稳定的。因此,这些情况表明,需要获得新的分析了解贝塞尔的零多项式的位置。

在本文中,我们给出近似显式公式的实部和虚部 k th零 z k = x k + y k y n ( z ; 一个 ) 和显示这些新公式的近似阶贝塞尔的确切零多项式 O ( 1 / n 2 ) 固定 k

遵循本文的方法很简单,基于三项。第一个是静电的解释零多项式满足二阶微分方程的 15- - - - - - 17),第二个是一个简单的曲线拟合的数值数据,第三个是已知的事实,定义良好的曲线在复平面上的点是零的极限点的归一化贝塞尔多项式( 8- - - - - - 11]。公式产生的静电解释贝塞尔的零多项式用于数值找到它们,因为它已经完成之前点的这些和其他集( 7- - - - - - 19]。几套以这种方式计算的零和实数和虚数的集值拟合多项式根据索引 k 的系数取决于 n 一个

2。0的渐近表达式

z k = x k + y k , k = 1、2 , , n 贝塞尔的零多项式 y n ( z ; 一个 ) 下令根据虚部。然后,从( 1.1),(程序获取这种非线性方程组的零多项式满足第二并给出高阶微分方程( 19]。) (2.1) k = 1 n 1 z j - - - - - - z k + ( 一个 z j + 2 ) 2 z j 2 = 0 , 在哪里 j = 1、2 , , n ,即零的实部和虚部应该满足静电方程 (2.2) k = 1 n x j - - - - - - x k ( x j - - - - - - x k ) 2 + ( y j - - - - - - y k ) 2 + 一个 x j 3 + 2 x j 2 + 一个 x j y j 2 - - - - - - 2 y j 2 2 ( x j 2 + y j 2 ) 2 = 0 , k = 1 n y j - - - - - - y k ( x j - - - - - - x k ) 2 + ( y j - - - - - - y k ) 2 + y j ( 一个 x j 2 + 4 x j + 一个 y j 2 ) 2 ( x j 2 + y j 2 ) 2 = 0 这一组非线性方程可以通过标准方法来解决。我们使用一个牛顿法来解决这些问题 n = 500年 一个 = One hundred.

ω k = μ k + ν k k 规范化的贝塞尔多项式零点 y n ( 2 z / ( 2 n + 一个 - - - - - - 2 ) ; 一个 ) ,也就是说, μ k = ( 2 n + 一个 - - - - - - 2 ) x k / 2 ν k = ( 2 n + 一个 - - - - - - 2 ) x k / 2 。因为它是图所示 1分段线性插值的实部和虚部 ω k 可以通过多项式拟合指数的第二个和第三个学位吗 k

实部和虚部的零规范化贝塞尔多项式 y n ( 2 z / ( 2 n + 一个 - - - - - - 2 ) ; 一个 ) 一个 = 2,40100 。他们绘制的功能 k n = 100200300400500年 在灰度强度,从低到高,根据的价值 n

因此,我们提出以下表达式 (2.3) μ ~ ( k , n , 一个 ) = 一个 2 ( n , 一个 ) k 2 + 一个 1 ( n , 一个 ) k + 一个 0 ( n , 一个 ) , ν ~ ( k , n , 一个 ) = b 3 ( n , 一个 ) k 3 + b 2 ( n , 一个 ) k 2 + b 1 ( n , 一个 ) k + b 0 ( n ) , 的近似为零 ω ~ k = μ ~ ( k , n , 一个 ) + ν ~ ( k , n , 一个 ) 符合我们的数据。找到这些多项式的系数的依赖 n 一个 我们考虑到数值行为数据的中间和结束点。

我们首先发现的系数二阶多项式拟合值的实部 μ ~ ( k , n , 一个 ) k = 1 k = n / 2 。在图 2我们的依赖性 μ ~ ( 1 , n , 一个 ) μ ~ ( n / 2 , n , 一个 ) n 一些值的 一个

的依赖关系 μ ~ ( 1 , n , 一个 ) μ ~ ( n / 2 , n , 一个 ) n 一个 = 10年,20年,30,40100年 。的情节所示灰度强度,从低到高,根据的价值 一个

这些数据的模型 - - - - - - 一个 / ( n + B ) - - - - - - 一个 / ( n + B ) - - - - - - 3 / 2 收益率 (2.4) μ ~ ( 1 , n , 一个 ) = - - - - - - 54 一个 + 860年 One hundred. n + 50 一个 + 715年 , μ ~ ( n 2 , n , 一个 ) = - - - - - - 75年 n - - - - - - 2 一个 + 400年 50 n + 11 一个 + 220年 这些条件的对称 μ ~ ( k , n , 一个 ) 对中间点导致以下系数: (2.5) 一个 2 ( n , 一个 ) = p 2 ( n , 一个 ) r ( n , 一个 ) , 一个 1 ( n , 一个 ) = p 1 ( n , 一个 ) r ( n , 一个 ) , 一个 0 ( n , 一个 ) = p 0 ( n , 一个 ) r ( n , 一个 ) , 在哪里 (2.6) p 2 ( n , 一个 ) = 4 ( 7500年 n 2 + 50625年 n + 850年 一个 n - - - - - - 694年 一个 2 - - - - - - 2770年 一个 + 96800年 ) , p 1 ( n , 一个 ) = - - - - - - 4 ( n + 1 ) ( 7500年 n 2 + 50625年 n + 850年 一个 n - - - - - - 694年 一个 2 - - - - - - 2770年 一个 + 96800年 ) , p 0 ( n , 一个 ) = - - - - - - One hundred. ( 130年 n 2 - - - - - - 993年 n - - - - - - 7656年 ) - - - - - - 20. ( 135年 n 2 + 627年 n - - - - - - 1580年 ) 一个 - - - - - - 2 ( 297年 n + 794年 ) 一个 2 , r ( n , 一个 ) = 5 n ( n - - - - - - 2 ) ( 50 n + 11 一个 + 220年 ) ( 20. n + 10 一个 + 143年 ) 现在,找到三阶多项式的系数虚部我们遵循类似的过程。的实部的依赖 ν ~ ( 1 , n , 一个 ) ν ~ ( k , n , 一个 ) / k | k = n / 2 n 一些值的 一个 如图 3

的依赖关系 ν ~ ( 1 , n , 一个 ) ν ~ ( k , n , 一个 ) / k | k = n / 2 n 一个 = 10年,20年,30,40100年 。的情节所示灰度强度,从低到高,根据的价值 一个

再一次,这些数据的模型 一个 / ( n + B ) - - - - - - 1 一个 / n 收益率 (2.7) ν ~ ( 1 , n , 一个 ) = - - - - - - 25 n - - - - - - 一个 - - - - - - 50 25 ( n - - - - - - 1 ) , ν ~ ( k , n , 一个 ) k | k = n / 2 = 96年 n ( 一个 + 25 ) 此外,我们有 (2.8) ν ~ ( n 2 , n , 2 ) = 0 , ν ~ ( n , n , 2 ) = - - - - - - ν ~ ( 1 , n , 2 ) , 因此,给出了系数 (2.9) b 3 ( n , 一个 ) = 3 ( n , 一个 ) 年代 ( n , 一个 ) , b 2 ( n , 一个 ) = 2 ( n , 一个 ) 年代 ( n , 一个 ) , b 1 ( n , 一个 ) = 1 ( n , 一个 ) 年代 ( n , 一个 ) , b 0 ( n , 一个 ) = 0 ( n , 一个 ) 年代 ( n , 一个 ) , 在哪里 (2.10) 3 ( n , 一个 ) = - - - - - - 200年 ( 23 n 3 - - - - - - 92年 n 2 + 90年 n + 4 ) + 200年 ( n 3 - - - - - - 5 n 2 + 8 n - - - - - - 6 ) 一个 - - - - - - 8 ( n 2 - - - - - - 2 n + 2 ) 一个 2 , 2 ( n , 一个 ) = One hundred. ( 69年 n 4 - - - - - - 255年 n 3 + 186年 n 2 + 92年 n + 8 ) - - - - - - One hundred. ( 3 n 4 - - - - - - 12 n 3 + 9 n 2 + 4 n - - - - - - 12 ) 一个 + 4 ( 3 n 3 - - - - - - 3 n 2 + 4 ) 一个 2 , 1 ( n , 一个 ) = 50 ( 21 n 4 + 54 n 3 - - - - - - 522年 n 2 + 748年 n - - - - - - 176年 ) - - - - - - 50 ( 3 n 4 - - - - - - 9 n 3 - - - - - - 6 n 2 + 26 n - - - - - - 24 ) 一个 + 2 ( 3 n 3 - - - - - - 6 n + 8 ) 一个 2 , 0 ( n , 一个 ) = - - - - - - 25 ( 25 n 4 - - - - - - 217年 n 3 + 618年 n 2 - - - - - - 660年 n + 184年 ) - - - - - - 25 ( n 4 - - - - - - 2 n 3 - - - - - - 7 n 2 + 16 n - - - - - - 12 ) 一个 + ( n 3 + n 2 - - - - - - 4 n + 4 ) 一个 2 年代 ( n , 一个 ) = 25 ( n - - - - - - 1 ) 2 ( n - - - - - - 2 ) 2 ( 一个 + 25 ) 因此,替换( 2.10),( 2。9),( 2。6)和( 2。5),分别在( 2。3)收益率近似封闭表达式 (2.11) z ~ k = x ~ ( k , n , 一个 ) + y ~ ( k , n , 一个 ) = 2 μ ~ ( k , n , 一个 ) 2 n + 一个 - - - - - - 2 + 2 ν ~ ( k , n , 一个 ) 2 n + 一个 - - - - - - 2 , 在哪里 k = 1、2 , , n 非规范贝塞尔的零多项式 y n ( z ; 一个 ) 。中给出的表达式( 2.11收敛到零 z k 这些多项式,当我们将显示在下面。

3所示。收敛

后( 9),我们定义 (3.1) W ( z ) = e 1 + 1 / z 2 z ( 1 + 1 + 1 / z 2 ) , 和表示 Γ 定义的曲线 (3.2) Γ = { z : | W ( z ) | = 1 , | 参数 z | π 2 } , 它包含的极限点 ω ^ k 0的规范化贝塞尔多项式 y n ( 2 z / ( 2 n + 一个 - - - - - - 2 ) ; 一个 ) 。然后,事实证明在 8),零 ω k y n ( 2 z / ( 2 n + 一个 - - - - - - 2 ) ; 一个 ) 订单的方法 O ( 1 / n ) 极限的值 ω ^ k ,也就是说, (3.3) | ω k - - - - - - ω ^ k | = O ( 1 n ) , 作为 n

因此,如果我们显示 | ω ~ k - - - - - - ω ^ k | = O ( 1 / n ) ,我们将证明 (3.4) | ω k - - - - - - ω ~ k | = O ( 1 n ) , 因此,考虑到这一点 ω k = ( 2 n + 一个 - - - - - - 2 ) z k / 2 显式表达式( 2.11)方法 O ( 1 / n 2 ) z k 贝塞尔的多项式 y n ( z ; 一个 )

为了这个目的,我们只是用表达式代替 ω ~ k = μ ~ ( k , n , 一个 ) + ν ~ ( k , n , 一个 ) 由( 2。3)( 3所示。1)获得,经过长时间的计算,这的扩张 W ( ω ~ k ) 而言, 1 / n (3.5) W ( ω ~ k ) = 1 + ( 2 一个 2 - - - - - - One hundred. 一个 ( 3 k - - - - - - 2 ) - - - - - - 50 ( 42 k - - - - - - 67年 ) 25 ( 一个 + 25 ) + h ( k , 一个 ) 25 ( 一个 + 25 ) ( 因为 2 ( t ( k , 一个 ) ) - - - - - - 2 ( t ( k , 一个 ) ) ) ] 1 n + O ( 1 n 3 / 2 ) , 在哪里 (3.6) h ( k , 一个 ) = ( 25 + 一个 ) 2 ( 130年 + 27 一个 + 300年 k ) 2 + ( 2 一个 2 - - - - - - One hundred. 一个 ( 3 k - - - - - - 2 ) - - - - - - 50 ( 42 k - - - - - - 67年 ) ) 2 , t ( k , 一个 ) = ( 25 + 一个 ) ( 130年 + 27 一个 + 300年 k ) 4 ( 1675年 - - - - - - One hundred. 一个 + 一个 2 - - - - - - 1050年 k + 150年 一个 k ) 这意味着 (3.7) | W ( ω ~ k ) | = 1 + O ( 1 n ) , 固定 k 一个 。因此, ω ~ k 订单的方法 O ( 1 / n ) Γ 曲线和( 3所示。4)。从这里我们有 (3.8) | z k - - - - - - z ~ k | = O ( 1 n 2 ) , 作为 n 。数值计算证实和扩展这个结果。图 4显示了最大值的行为 | z k - - - - - - z ~ k | k 因为他们依靠 n 的具体情况 一个 = 2 。数字计算( 2。2)作为确切的0 z k 。这些数据的 1 / n 一个 一个 = 1.7

块的值 马克斯 k = 1 n | z k - - - - - - z ~ k | n 的情况下 一个 = 2

4所示。一些测试

为了让示例应用的近似表达式( 2.11),我们考虑下面的情况。

4.1。真正的零

一个真正独特的封闭公式为零 α n ( 一个 ) 贝塞尔的多项式 y n ( z ; 一个 ) 可以获得的替代吗 k = ( n + 1 ) / 2 在现实的一部分( 2.11), x ~ ( k , n ) 。这给了 (4.1) α ~ n ( 一个 ) = - - - - - - 4 n 3 + 1 75年 ( 50 - - - - - - 71年 一个 ) + ( - - - - - - 707年 一个 2 + 5900年 一个 + 35000年 ) 7500年 n + O ( 1 n 2 ) , 作为我们的新结果。在[ 2, 11非常精确的表达式 α n ( 一个 ) 给出了。特别是,以下公式: (4.2) 2 α n ( 一个 ) = - - - - - - 1.325486838 n - - - - - - 1.00628995 一个 + 1.349836480 + O ( 1 2 n + 一个 - - - - - - 2 ) , 给出了在 11]。扩大 2 / α ~ n ( 一个 ) 的权力 n 我们发现 (4.3) 2 α ~ n ( 一个 ) - - - - - - 1.33333 n - - - - - - 0.946667 一个 + 0.666667 , 表明良好的相对两个结果之间的协议。

4.2。权力和

这里我们进行相应的乘法和使用某些情况下Faulhaber的公式。然后我们比较我们的结果和精确的。

(1) 的和零。简单的总和 z ~ k (cf。 2.11)给出了一个复杂的实部的表达式。然而,扩大这个总和的实部和虚部 (4.4) 年代 ~ 1 ( n ) = k = 1 n z ~ k = - - - - - - 1 + ( 53 一个 One hundred. - - - - - - 71年 30. + 32 一个 + 25 ) 1 n + O ( 1 n 2 ) 确切的结果 年代 1 ( n ) = - - - - - - 1 我们可以看到从( 1.2)。

(2) 零的平方之和。在这种情况下我们的具体情况 一个 = 1 。为我们获得这个值 (4.5) 年代 ~ 2 ( n ) = k = 1 n z ~ k 2 = 3469年 5915年 n + O ( 1 n 2 ) 确切的数目 (4.6) 年代 2 ( n ) = 1 2 n - - - - - - 1 = 1 2 n + O ( 1 n 2 ) 可以找到其他地方( 12]。

使用近似公式( 2.11)获得的更高权力的这些零预计不会给出令人满意的结果,因为权力和放大和总误差。

5。最后的评论

的近似公式 z k 鉴于以上远非是独一无二的。存在许多其他的功能以适应零通过静电方程( 2。2),还有其他条件对极端和中间点的拟合区间。例如,虚部 y ~ ( k , n ) 可以安装一个多项式的学位,但这并不能提高收敛速度,另一方面,计算变得更加复杂。

承认

作者感谢Consejo Nacional de Ciencia y Tecnologia金融支持这个项目。

克劳尔 h·L。 Frink O。 正交多项式的一个新类:贝塞尔多项式 事务的美国数学学会 1949年 65年 One hundred. 115年 0028473 10.1090 / s0002 - 9947 - 1949 - 0028473 - 1 ZBL0031.29701 Grosswald E。 贝塞尔多项式 1978年 698年 柏林,德国 施普林格 数学课堂笔记 520397年 斯利瓦斯塔瓦 h . M。 一些正交多项式表示的能量谱函数为各向同性湍流场的家庭 Zeitschrift毛皮Angewandte Mathematik Mechanik 1984年 64年 6 255年 257年 10.1002 / zamm.19840640612 751232年 ZBL0509.33008 洛佩兹 j·L。 Temme n·M。 很大程度上渐近的广义多项式贝塞耳 《数学分析和应用程序 2011年 377年 1 30. 42 10.1016 / j.jmaa.2010.10.030 2754806 ZBL1213.33011 Eğecioğlu O。 贝塞尔多项式和指数的部分和系列 暹罗在离散数学》杂志上 2010年 24 4 1753年 1762年 10.1137 / 090760337 2746721 ZBL1238.05007 伯格 C。 Vignat C。 贝塞尔的线性化系数多项式和属性的学生 t 分布 建设性的近似 2008年 27 1 15 32 10.1007 / s00365 - 006 - 0643 - 6 2336416 Pasquini l 准确计算广义贝塞尔的零多项式 Numerische Mathematik 2000年 86年 3 507年 538年 10.1007 / s002110000166 1785420 ZBL0965.65045 卡彭特 a·J。 渐近零的广义多项式贝塞耳 Numerische Mathematik 1992年 62年 4 465年 482年 10.1007 / BF01396239 1174469 ZBL0782.33003 Olver f·w·J。 贝塞尔函数的渐近展开的大订单 英国伦敦皇家学会哲学学报系列 1954年 247年 328年 368年 0067250 10.1098 / rsta.1954.0021 Runckel 周宏儒。 无游离抛物线地区与复系数多项式 美国数学学会学报》上 1983年 88年 2 299年 304年 10.2307 / 2044720 695262年 ZBL0521.30005 de熊先生 m·G。 Saff e . B。 巴尔加 r S。 广义的零Besselpolynomials I, II 调查Mathematicae 1981年 84年 1 25 10.1016 / 1385 - 7258 (81)90013 - 5 Galvez F。 Dehesa j·S。 一些普遍的贝塞尔多项式的开放问题 物理学杂志》的一个 1984年 17 14 2759年 2766年 771763年 ZBL0583.33007 10.1088 / 0305 - 4470/17/14/019 Hendriksen E。 van Rossum H。 居多 M。 Dehesa j·S。 Marcellan f·J。 卢比奥地区 j·L。 Vinuesa J。 静电的解释零 正交多项式和他们的应用程序 1988年 1329年 柏林,德国 施普林格 241年 250年 数学课堂笔记 10.1007 / BFb0083363 973431年 ZBL0685.33009 化合价的 G。 范典藏 W。 斯蒂尔吉斯的影响的工作继续分数和正交多项式:额外的材料 计算和应用数学杂志》上 1995年 65年 1 - 3 419年 447年 2 - s2.0 - 0003807917 Szegő G。 正交多项式 1975年 普罗维登斯,美国国际扶轮 讨论会的出版物,美国数学学会 0372517 Marcellan F。 Martinez-Finkelshtein 一个。 Martinez-Gonzalez P。 静电模型零多项式的:旧的,新的,和一些开放的问题 计算和应用数学杂志》上 2007年 207年 258年 272年 坎波斯 r·G。 摄动零经典正交多项式 Boletin de la皇家社会Matematica墨西哥 1999年 5 1 143年 153年 1692518 ZBL0958.33005 坎波斯 r·G。 解决奇异非线性两点边值问题 Boletin de la皇家社会Matematica墨西哥 1997年 3 2 279年 297年 1679307 坎波斯 r·G。 阿维拉 l。 一些性质的正交多项式满足四阶微分方程 格拉斯哥数学杂志 1995年 37 1 105年 113年 10.1017 / S0017089500030445 1316970 ZBL0820.33005