有理重心插值中Lebesgue函数的最值性质5.docVIP

有理重心插值中Lebesgue函数的最值性质 摘要：Floater和Hormann提出的有理重心插值具有很好的性质，在逼近论及相关领域中有重要的应用。对Floater和Hormann的插值方法，当d=2时， 证明了插值节点等距时，其对应的Lebesgue函数的最大值在区间的两个端点处取到。 关键词：有理重心插值；Lebesgue函数；逼近 1引言 Floater和Hormann[1]提出的重心有理插值具有很好的性质，在逼近论及相关领域中有重要的应用。有理插值对应的Lebesgue函数在区间[a,b]上的最大值称为Lebesgue常数[2]，它反映了有理插值的稳定性。Hormann等研究过等距节点下Floater-Hormann有理重心插值的Lebesgue常数的上界和下界[3]。他们绘制的图形表明，对于不同的d，Lebesgue函数的最值所在的区间也不一样。当d=0及d=1时，Lebesgue函数在[a,b]的中点或中点附近取得最值。当d2时，Lebesgue函数应该在[a,b]的区间的两端取得最值，并且随着d值的增大，Lebesgue函数在两端取得最值的趋势越明显[3]，但他们没有从理论上证明这一现象。本文证明了当d=2时， Floater和Hormann重心有理插值所对应的最大值确实在端区间取到。 2主要的结果和证明 Floater-Hormann[1]有理重心插值的基函数为 (1) 相应的Lebesgue函数定义为 (2) （2）中的权重由下面的组合数给出 考虑到对称性我们假定 k[n/2]-1其中[x]代表不超过x的最大整数。 当时,,令 , 从而Lebesgue函数可以表示为 (3) Kai Hormann[1]证明了（3）没有奇点，也就是说，。 对于d=2，我们有： 定理1.当d=2且k是正偶数时, 并且。 证明. 由(3)我们得到 当 k 为偶数，n 是奇数时, n 是奇数时 ，那么显然有。 当k 和n都是偶数时 , 同样有 。 所以，对于偶数k，对任意的n，都有.类似地我们可以证明，k是偶数时, 。证毕。 下面我们证明本文的主要结论: 定理2.当d=2时，Floater-Hormann有理重心插值对应的Lebesgue函数在两个端区间上取得最值。 证明.当n 是奇数时 , = 显然，因为是一个上的连续函数，所以在处取得最大值。 当是奇数的时候, (4) 对于(4),令 , 又 , 如前所述，近似在区间的中间部分取得最大值，所以我们考虑处获得的一个下界。 (5) 其中 仿（4）式给出。 那么 , 然而 因此 ， 假令 ,从而 , 类似的，我们可以得出 由于,因此 从而 这也即说明 采用同样的方法，当是偶数的时候，我们可以得出同样的结论。 对于定理2的第二部分，当n是偶数的时候， = = (6) = 可见当n较大时，有 略去较小的误差，我们近似可以看做.从而有，所以在处取得最大值。 当是偶数的时候， (7) (8) 其中，，，以及，，，仿（4）式给出。 采用定理2第一部分同样的分析方法，我们可以得出： 且. 因为 ,所以有 也即是有, 这样我们就证明了定理2。 3 数值算例 图1 时的 Lebesgue函数的个等距节点在时的图像 图2 时的 Lebesgue函数在处的图像 4 数据分析 令，它表示和之间的逼近程度，类似地可以定义: 表3 取不同的值，（5）和（6）式中和值的变化趋势 49 3.9991 3.7131 3.7144 -0.04% 1.9997 3.2019 3.1849 0.53% 79 3.9050 4.0239 4.0236 0.01% 1.9400 3.5959 3.5822 0.38% 99 3.9418 4.1696 4.1689 0.02% 1.9625 3.7393 3.7276 0.31% 199 3.9538 4.6177 4.6166 0.02% 1.9700 4.1825 4.1753 0.17% 499 3.9772 5.2046 5.2038 0.02% 1.9850 4.7661 4.7625 0.08% 999 3.9910 5.6489 5.6463 0.05% 1.994