第二章多项式插值.docVIP

多项式插值 引言： 本章和下章的内容属于函数逼近论。 函数逼近论的基本思想： 用一个简单函数去近似(逼近)复杂的函数。 简单函数：如 代数多项式 三角多项式 ， 分段（对高维：分片）多项式 有理函数 为多项式 本章主要内容 在插值方式（意义）下作函数逼近 插值问题：已知在离散点上的值，求简单函数使得： . 插值节点: （彼此相异） （这时 : 被插值函数, : 插值函数） 针对以下两种逼近函数空间： 代数多项式空间 分段代数多项式空间 讨论三类插值（逼近）问题。 (1) Lagrange插值仅与函数值有关 (2) Hermite插值与函数和导函数值均有关 (3)样条（或分段）插值满足一定光滑（连接）条件的分段低次多项式插值 每类插值问题所涉及的基本内容 问题提法 问题的适定性（解的存在、唯一性） 误差分析（逼近度刻化） 问题解（插值函数）的常用算法 §1 代数多项式插值 1.1 插值多项式的存在惟一性 给出 求： ， (1) 使得： . (2) ， ， 可写成一个关于的线性代数方程组: 定理1 多项式插值问题的解是存在惟一的. 证明：关于的线性代数方程组系数行列式为： 由于，所以上式的右端不为零，从而方程组的解存在且惟一.□ 如： ， ， 误差估计: (Rolle中值定理: 假设于上连续，在内存在，又则在内至少有1个点，使得. 定理2 假设于上连续，在存在，又是 上互异的数.记插值问题（1），（2）的截断误差为那么当时有 . (3) 其中且依赖于. 证明 当为任何一个插值节点时，(3)的两边为零结论显然成立.现设，这时 不等于零.以下对于固定的作定义在上的辅助函数， ， (4) 选择，使得：即取 （5） 于是利用Rolle中值定理，内至少有个零点.进一步对应用Rolle中值定理可知内至少有个零点.继续上述讨论就可推得在插值区间内至少有一个， ， 使得即 ， 结合（5）式从而得 . □ 1.2 拉格朗日（Lagrange）插值公式 基函数方法：作（为次多项式），使得： ， 这时： 由，得： 于是： (6) 记：，则： 故： (7) 称为次多项式插值的Lagrange公式. 例设在的值顺次为 0.904837,0.860708,0.778801,0.740818,利用插值公式求在0.20的近似值. 令依(6)得 于是由（7）得 又由插值多项式的余项估计式（3）有： 由于，故应于0.904837与0.740818之间，于是 这个估计说明差不多是第六位小数上一个单位，事实上在的值为0.8187308. 1.3 多项式插值的Neville方法 逐次线性插值方法（略） §2 差商、牛顿（Newton）插值多项式 设为任意个不同的节点，取： 作为多项式空间的基底，作多项式： 将依次代入得： 算得： , 2.1 差商及其性质 给出离散变量函数（函数表） … … 我们称： 为于点的一阶差商. 注意：由于 因此：. 以下归纳法定义高阶差商，特别记： 零阶差商： ， 二阶差商： [] 阶差商的差商称为阶差商： 差商性质类似于微商，例如： 1.若（线性运算），则： 2.若，则： 性质1 阶差商可表示为函数值, 的线性组合，即 其中: . 性质2 差商关于所含节点是对称的，即有 . 性质3 如果是一个依赖于的次代数多项式，那么 是一个关于的次代数多项式. 事实上，由差商的定义有 性质4 设在含的区间上有阶导数，则在这一区间内至少有一点 使得 2.2 Newton插值多项式 由差商的定义有 …………………… . 代入有： 其中 , . 由于： ， 因此称为Newton插值多项式 , 为插值余项.有： 下面证明性质4： ， 若：，则： 故： ，. 这就证明了性质4. 性质1的证明：由于，即： 比较的系数的系数，可得： . 差商概念的推广——重节点差商. 定义 ， 一般地定义 . 又： 例：求 2.3 差分、等距节点下的Newton插值多项式 若，——步长 这时：Newton插值多项式中： … 另外：均可以简化. （1）差分 记：， （半分点） 定义：一阶差分： 我们知道： 二阶差分：一阶差分的差分： 一般地： 定理3 各阶差分与函数值之间的关系如下 其