62最佳一致逼近1.pptVIP

* * 6.2 最佳一致逼近 最佳一致逼近 1、算例 最佳一致逼近 最佳一致逼近 最佳一致逼近 最佳一致逼近 最佳一致逼近 6.2.1 一致逼近的概念 目标函数集合 简单函数集合 何为”逼近”? 如何逼近？ 最佳一致逼近 为此引进下面的概念 定义6.5 对于任意的函数 ，在范数 的意义下定义两个函数的距离： 定义6.6 若函数序列 在上述定义的距离的意义 下满足： 则称 在区间 上一致收敛于 一致逼近 定理 6.1（维尔斯特拉斯定理） 若f (x)是区间[a, b]上的连续函数，则对于任意? 0， 总存在多项式 ， 使对一切a ≤x ≤b 有 成立 证明：略。（伯恩斯坦构造性证明） 定义6.7 设 对任意给定的自然数n 称为伯恩斯坦多项式 伯恩斯坦多项式的一些性质 引理6.1 引理6.2 对于任意的 有 定理 6.1（维尔斯特拉斯定理） 若f (x)是区间[a, b]上的连续函数，则对于任意? 0， 总存在多项式 ， 使对一切a ≤x ≤b 有 成立 证明：略。（伯恩斯坦构造性证明） 通过线性代换: 把 映射成 这不但证明了定理6.1，而且给出了 的一个逼近 多项式 。多项式 有良好的逼近 性质，但它收敛太慢，比三次样条逼近效果差得 多，实际中很少被使用。 Bernstein多项式 且 一致成立 1912年构造 引理6.2 引理6.3 若函数r阶可导 m=r 引理6.4 如果函数 并且是凸函数，则 也是凸函数 6.2.2 最佳一致逼近多项式 相关的概念 定义6.8 上的偏差。 则称 为 与 在 若 注： ， 集合，记作 显然， 的全体组成一个 称 的最小偏差 为 对于 表示由所有次数不超过n的代数多项式 构成的线性空间。 的最佳一致逼近 ，使得 其中， 定义6.9 若存在一个 则称 是函数 多项式 2、 上最佳一致逼近多项式的存在性 定理6.2（Borel定理) 在 中都存在对 的最佳一致逼近多项式,记为 的n次最佳一致逼近多项式。 称 为 简称最佳逼近多项式。 ,使得 成立. 对任意的 3. 最佳一致逼近多项式的唯一性 定义6.10 设 若在 上有 则称 是 的偏差点。 若 若 则称 则称 为“正”偏差点。 为“负”偏差点。 若函数 定义6.11 在其定义域的某一区间 个点 上存在 使得 则称点集 为函数 在区间 上的一个交错点组， 称为交错点。 点 其中 定理 6.3 （ Chebyshev定理） 是区间 上的连续函数， 设 则 是 的n次最佳一致逼近多项式的充要条件是: 在区间 上存在一个至少由 组。 个点组成的交错点 定理6.4 推论 1 中,若存在对函数 的最佳一致逼近元，则惟一. 在 是区间 上的连续函数， 的 次最佳一致逼近多项式是 的某个 次插值多 项式。 设 则 推论2 是区间 上的连续函数， 是 的n次最佳一致逼近多项式， 在 内存在且保号， 在区间 个点组成的交错点组， 端点 都在交错点组中。 上恰好存在一个由 设 若 则 且两 补充 以最佳一次逼近多项式为例 存在 使得 且 不变号, 设 令 即 得 由 由Chebyshev定理 得 即 再由 ? 令 唯一 所以 由Chebyshev定理可知 是 的极值点 令 则 单调增（减） 不变号， 又 补充