第二章多项式插值.doc

多项式插值 引言： 本章和下章的内容属于函数逼近论。 函数逼近论的基本思想： 用一个简单函数 SKIPIF 1 0 去近似(逼近)复杂的函数 SKIPIF 1 0 。 简单函数：如 代数多项式 SKIPIF 1 0 三角多项式 SKIPIF 1 0 ， 分段（对高维：分片）多项式 有理函数 SKIPIF 1 0 为多项式 本章主要内容 在插值方式（意义）下作函数逼近 插值问题：已知 SKIPIF 1 0 在离散点 SKIPIF 1 0 上的值 SKIPIF 1 0 ，求简单函数 SKIPIF 1 0 使得： SKIPIF 1 0 . 插值节点: SKIPIF 1 0 （彼此相异） （这时 SKIPIF 1 0 : 被插值函数, SKIPIF 1 0 : 插值函数） 针对以下两种逼近函数空间： 代数多项式空间 分段代数多项式空间 讨论三类插值（逼近）问题。 (1) Lagrange插值仅与函数值有关 (2) Hermite插值与函数和导函数值均有关 (3)样条（或分段）插值满足一定光滑（连接）条件的分段低次多项式插值 每类插值问题所涉及的基本内容 问题提法 问题的适定性（解的存在、唯一性） 误差分析（逼近度刻化） 问题解（插值函数）的常用算法 §1 代数多项式插值 1.1 插值多项式的存在惟一性 给出 SKIPIF 1 0 求： SKIPIF 1 0 ， (1) 使得： SKIPIF 1 0 . (2) SKIPIF 1 0 ， SKIPIF 1 0 SKIPIF 1 0 ， SKIPIF 1 0 SKIPIF 1 0 可写成一个关于 SKIPIF 1 0 的线性代数方程组: SKIPIF 1 0 SKIPIF 1 0 SKIPIF 1 0 定理1 多项式插值问题的解是存在惟一的. 证明：关于 SKIPIF 1 0 的线性代数方程组系数行列式为： SKIPIF 1 0 由于 SKIPIF 1 0 ，所以上式的右端不为零，从而方程组的解存在且惟一.□ 如： SKIPIF 1 0 ， SKIPIF 1 0 SKIPIF 1 0 ， SKIPIF 1 0 误差估计: (Rolle中值定理: 假设 SKIPIF 1 0 于 SKIPIF 1 0 上连续， SKIPIF 1 0 在 SKIPIF 1 0 内存在，又 SKIPIF 1 0 则在 SKIPIF 1 0 内至少有1个点 SKIPIF 1 0 ，使得 SKIPIF 1 0 . 定理2 假设 SKIPIF 1 0 于 SKIPIF 1 0 上连续， SKIPIF 1 0 在 SKIPIF 1 0 存在，又 SKIPIF 1 0 是 SKIPIF 1 0 上互异的数.记插值问题（1），（2）的截断误差为 SKIPIF 1 0 那么当 SKIPIF 1 0 时有 SKIPIF 1 0 . (3) 其中 SKIPIF 1 0 且 SKIPIF 1 0 依赖于 SKIPIF 1 0 . 证明 当 SKIPIF 1 0 为任何一个插值节点时，(3)的两边为零结论显然成立.现设 SKIPIF 1 0 ，这时 SKIPIF 1 0 不等于零.以下对于固定的 SKIPIF 1 0 作定义在 SKIPIF 1 0 上的辅助函数 SKIPIF 1 0 ， SKIPIF 1 0 ， (4) 选择 SKIPIF 1 0 ，使得： SKIPIF 1 0 即取 SKIPIF 1 0 （5） 于是 SKIPIF 1 0 利用Rolle中值定理， SKIPIF 1 0 SKIPIF 1 0 内至少有 SKIPIF 1 0 个零点.进一步对 SKIPIF 1 0 应用Rolle中值定理可知 SKIPIF 1 0 SKIPIF 1 0 内至少有 SKIPI