矩阵论第3部分34部分学习课件.pptVIP

3.3 最佳一致逼近多项式 3.3.2 最佳一次逼近多项式 3.4 最佳平方逼近 3.4.2 用正交函数族作最佳平方逼近 由（4.5）可得均方误差为 （4.10） 由此可得贝塞尔(Bessel)不等式 （4.11） （4.5） 若 ， 按正交函数族 展开， （4.12） 称这个级数为 的广义傅里叶(Foureir)级数， 讨论特殊情况.设 是正交多 项式， 可由 正交化得到，则有下面的收敛定理. 得级数 系数 按（4.8）计算， 系数 称为广义傅里叶系数. 它是傅里叶级数的直接推广. （4.8） * 3.3.1 基本概念及其理论 设 在 中求多项式 这就是最佳一致逼近或切比雪夫逼近问题. 使其误差 显然 ， 记为 ， 定义7 为 与 在 上的偏差. 若记集合的下确界为 则称之为 在 上的最小偏差. 设 称 其下界为0. 的全体组成一个集合， （3.1） （3.2） 定义8 （3.3） 则称 是 在 上的最佳一致逼近多项式 定理4 则总存在 ， 这个定理是最佳逼近多项式的存在性定理. 假定 若存在 使得 简称最佳逼近多项式. 若 使 或最小偏差逼近多项式， 定义9 若在 上有 就称 是 的偏差点. 若 称 为“正”偏差点. 若 称 为“负”偏差点. 所以说 的偏差点总是存在的. 设 由于函数 在 上连续， 在一个点 因此，至少存 使 要证明的是 这样的点组称为切比雪夫交错点组. 证明 假定在 上有 个点使（3.4）成立， 定理5 即有 个点 ， “负”的偏差点， 在 上至少有 个轮流为“正”、 是 的最佳逼近多项式 的充分必要条件是 使 是 在 上的最佳逼近多项式. 只证充分性. （3.4） 用反证法， 若存在 ， 由于 故 也在 个点上轮流取“+”、“-”号. 使 由连续函数性质， 它在 内有 个零点，但因 是不超过 次的多项式， 不能超过 . 所以它的零点个数 在点 上的符号与 一致， 这说明假设不对， 故 就是所求最佳逼近多项式. 必要性证明略. 推论1 若 ， 充分性得证. 则在 中存在惟一的最佳逼近 多项式. 证明 且点 是 的切比雪夫交错点组， 定理6 在区间 上所有最高次项系数为1的 次多 项式中， 与零的偏差最小， 其偏差为 由于 由定理5可知， 即 是与零的偏差最小的多项式. 区间 上 在 中最佳逼近多项式 为 定理得证. 由定理6可知， 多项式 与零偏差最小， 解 由题意，所求最佳逼近多项式 应满足 当 时， 故 例3 求 在 上的最佳2次逼 近多项式. 就是 在 上的最佳2次逼近多项式. 定理5给出了 的特性，这里讨论具体求法. 先讨论 的情形. 假定 且 在 内不变号， 根据定理5可知, 至少有3个点 求最佳一次逼近多项式 . 我们要 使 即 . 由于 在 上不变号， 故 单调， 在 内只有一个零点，记为 ， 另外两个偏差点必是区间端点， 即 且 由此得到 于是 满足 解出 代入（3.5）得 （3.5） （3.6） 这就得到最佳一次逼近多项式 ，其几何意义如图3-3. （3.7） 直线