数值分析稿4.ppt

第三章 函数逼近与计算§1 引言与预备知识 ; 函数逼近: 求一个简单的函数 , 比如, 低次多项式, 不要求 通过已知的这n＋1个 点, 而是要求在整体上“尽量好”地逼近原函数. 此时, 在每个已知点上就会有误差 , 函数逼近就是从整体上使这些误差尽量的小一些. 2. 数学描述 “对函数类A中给定的函数 ,要求在另一类较 简单的便于计算的函数类B中, 求函数 使 与 之差在某种度量意义下最小.”;; 函数类A通常是区间上的连续函数；函数类B 通常是代数多项式，分式有理函数或三角多项式. : 区间 上的所有实连续函数构成 的空间. 的 - 范数定义为: 它满足范数的三个性质： 1) ， 当且仅当 ； 2) 对任意 及任意 成立； 3） 对任意 成立.;一致逼近(均匀逼近): 在 度量下的函数逼近； 平方逼近(均方逼近): 在 度量下的函数逼近. 本章主要研究在这两种度量标准下用代数多 项式 逼近 .;3. 维尔斯特拉斯定理 用 一致逼近 , 首先要解决存在性问题. 维尔斯特拉斯(Weierstrass)给出了下面定理： 定理1 设 , 则对任何 , 总存在 一个代数多项式 ，使得 在 上一致成立。 证明：略。（伯恩斯坦构造性证明） ; 假定函数的定义区间是[0,1],可通过线性代换: 把 映射到 . 伯恩斯坦多项式: 给定 其中, ，且 . 并证 明了 . 这不但证明了定理1，而且给出了 的一个逼近 多项式 .多项式 有良好的逼近性质， 但它收敛太慢，比三次样条逼近效果差得多，实 际中很少被使用. ;§2 最佳一致逼近多项式2-1 最佳一致逼近多项式的存在性; 称之为最佳一致逼近或切比雪夫逼近问题 ; 为了说明这一概念，先给出以下定义。 定义1. ，称 为 与 在 上的偏差. 显然 的全体组成一个集合， 记为 ,它有下界0. 若记集合的下确界为 则称之为 在 上的最小偏差.; 定义2. 假定 ，若存在 则称 是 在 上的最佳一致逼近多项 式或最小偏差逼近多项式，简称最佳逼近多项式. 注意，定义并未说明最佳逼近多项式是否存 但是可以证得下面的存在性定理. 定理2. 若 ,则总存在 , 使 证明略.;2-2 切比雪夫定理;也就是, 说 的偏差点总是存在的。下面讨论 最佳逼近多项式的偏差点性质。 ;定理3. 若 是 的最佳逼近多 项式，则 同时存在正负偏差点. 证明: 因 是 的最佳逼近多项式,故 由于 在 上总有偏差点存在,用反证法， 无妨假定只有正偏差点，没有负偏差点，于是对 一切 都有 因 在 上连续,故有最小值大于 用