预备知识及最佳一致逼近.pptVIP

函数逼近与计算 函 数 逼 近 范数与赋范线性空间 赋范线性空间 赋 范 线 性 空 间C[a, b] * * 数值分析及计算软件 3.1 引言与预备知识 能否找到一个简单易算的 p(x) ，使得 p(xi) = yi ？ （插值问题） 已知数据表 yn xn y1 x1 … y0 y … x0 x 问题二：函数 f(x) 的表达式很复杂，能否找到一个简单易算的 p(x) ，使得 p(x) 是 f(x) 的一个合理逼近？ （最佳平方与最佳一致逼近） 问题三：上面的数据表中的数值带有误差，能否找到一 个简单易算的 p(x) ，能近似地表示这些数据？ （最小二乘问题） 问题一： 定义 设 S 为线性空间，x，y?S，若存在映射|| · ||： 满足 正定性：||x|| ? 0，当且仅当 x = 0 时等号成立 齐次性：||?x|| = |?| · ||x||， ??R 三角不等式：|| x+y || ? || x || + || y || 则称 || · || 为 S 上的范数，(S, || · ||) 称为赋范线性空间 线性空间 Rn，x = (x1, x2, ? , xn)T?Rn 1-范数： 2-范数： ?-范数： （最大模范数） 线性空间 C[a, b] ，f(x)?C[a, b] （1） 1-范数： （2） 2-范数： （3）?-范数： 问 题 的 提 出 对函数类A中给定的函数f(x) ，希望在另一类较简单的便于计算的函数类B中，求函数 使P(x)与f(x)之差在某种意义下最小 函数类A：C[a,b] 函数类B：代数多项式，分式有理函数或 三角多项式 常用度量标准 (1) 一致逼近或均匀逼近 （2） 均方逼近或平方逼近 Th 3.1 设 f(x)?C[a, b] ，则对 ? ? 0，总存在一个多项式 p(x) ，使得 在 [a, b] 上一致成立。 Weierstrass 定理 Bernstein的构造性证明：Bernstein多项式 Bernstein多项式的特点：稳定，收敛慢 3.2 最佳一致逼近多项式 最佳一致逼近多项式或Chebyshev逼近问题 记 为[a,b]上次数不大于n的多项式的集合 最佳一致逼近多项式问题：要在 中寻找 逼近 ，使其误差满足 最佳一致逼近多项式的存在性 两个概念：偏差，最小偏差 定义3.2 设 ，若存在 则称 是f(x) 在[a,b]上的最佳一致逼近多项式或最小偏差逼近多项式，简称最佳逼近多项式 Th 3.2 如果 ，则存在 使 Chebyshev定理 偏差点：正负偏差点 Th 3.3 若 是f(x)的最佳逼近多项式， 则P(x)同时存在正、负偏差点 证明:反证法 Th 3.3的几何解释