数值分析第四版第三章函数逼近与计算.ppt

2.曲线拟合的步骤： 于是得到关于c1,c2,…,cn的方程组 四、连续函数的最佳平方逼近 1. 对于给定的函数 要求函数 使 若这样的 存在， 上的最佳平方逼近函数。 则称为 在区间 特别地，若 则称 为 在 上的 次最佳平方逼近多项式。 求最佳平方逼近函数 的问题 可归结为求它的系数 ,使多元函数 取得极小值。 由于 是关于 的二次函数， 故利用多元函数取得极值的必要条件，可得 (k = 0, 1, 2, …, n) 于是可得方程组 即 如采用函数内积记号，记 则方程组可以简写为 写成矩阵形式为 法方程组！ 由于?0, ?1, …, ?n线性无关，故Gn ? 0，于是上述方程组 存在唯一解 。 从而肯定了函数 f (x) 在?中如果存在最佳平方逼近函数， 则必为 注记： 3.举例 求 在 中的最佳平方逼近元，并估计误差。 这是 上的最佳平方逼近问题. 解： 取 记 因为 且同样可求得 所以，关于 的法方程组为 解得 即 为 中对 的最佳平方逼近元。 平方误差： 1、正交化手续 一般来说，当权函数 及区间 给定以后，可以由幂函数系 利用正交化方法构造出正交多项式系。 正交多项式 2、正交多项式的性质 (1) 是最高次项系数为1的 次多项式. (2)任一 次多项式 均可表示为 的线性组合. (3)当 时, 且 与任一次数小于 的多项式正交. (4)递推性 其中 这里 且都在区间 内. (5) 设 是在 上带权 项式序列, 的正交多 则 的 个根都是单重实根, 六、常用的正交多项式 1、第一类切比雪夫多项式 (1)定义 递推关系 ? (2)性质 正交性： 由Tn (x) 所组成的序列{ Tn (x)}是在区间[-1, 1]上带权 的正交多项式序列。 ? 且 2、Legendre(勒让德)多项式 (1)定义 多项式 称为n 次勒让德多项式。 (2)性质 正交性 勒让德多项式序列 是[-1, 1]上带权 的正交多项式序列。即 ? 递推关系 相邻的三个勒让德多项式具有如下递推关系式： ? 奇偶性： 当n为偶数时， 为偶函数； 当n为奇数时， 为奇函数。 在区间[-1, 1]内部存在n个互异的实零点。 ? ? ? 的最高次项系数为 (5) 在所有首项系数为1的 次多项式中， 多项式 在 上与零的平方误差最小。 勒让德 证明： 设 是任意一个最高项系数为1的 次多项式， 它可表示为 于是 当且仅当 时等号才成立， 即当 时平方误差最小。 3、其他常用的正交多项式 (1) 第二类Chebyshev(切比雪夫)多项式 定义： 称 为第二类切比雪夫多项式。 ② 相邻的三项具有递推关系式： 第二类切比雪夫多项式的性质： ① 是区间[-1, 1]上带权 的正交多项式序列。 (2) 拉盖尔(Laguerre)多项式 定义： 称多项式 为拉盖尔多项式。 ① 是在区间[0, +∞]上带权 的正交多项式序列。 ② 相邻的三项具有递推关系式： 拉盖尔多项式的性质： (3) 埃尔米特(Hermite)多项式 定义： 称多项式 为埃尔米特多项式。 的正交多项式序列。 ① 是区间(-?, +?)上带权 ② 相邻的三项具有递推关系式： 埃尔米特多项式的性质： 五.函数按正交多项式展开 设 为 其中 上带权 的正交多项式系， 给定 若 为 在 上的 次最佳平方逼近多项式， 则由 正交多项式的性质， 于是 其均方误差 例： 求 在 上的三次最佳平方逼近多项式。 解： 先计算 即 (3)应用 ? 多项式的降阶（最小零偏差问题） 在所有次数为 的多项式中求多项式 , 在给定的有界闭区间上与零的偏差最小。 使其 最小零偏差多项式问题。 这一问题被称为 不失一般性，可设 的首项系数为1， 有界闭区间为 . 所讨论的