文档详情

一最佳逼近元的存在性.ppt

发布:2017-02-15约1.54千字共9页下载文档
文本预览下载声明
一、 最佳逼近元的存在性 定理5.3.1 对任意的f(x)∈C[a,b],在Pn[a,b]中都存在对f(x)的最佳一致逼近元,记为p*n(x),即 ‖f(x)-p*n(x)‖∞=inf{‖f(x)-pn(x)‖∞} 成立. 证明略 2 最佳一致逼近元的充要条件 定理5.3.2 (Chebyshev定理)pn*(x)∈P[a,b]对f(x)∈C[a,b]的最佳一致逼近元的充要条件是误差曲线函数f(x)- pn*(x)在区间[a,b]上存在一个至少由n+2个点组成的交错点组. 证明充分性 用反证法. 设f(x)- pn*(x)在[a,b]上存在一个至少由n+2个点组成的交错点组,但pn*(x)不是最佳一致逼近元. 不妨设Pn[a,b]中的元素qn(x)为最佳一致逼近元,即 ‖f(x)-qn(x)‖∞‖f(x)-pn*(x)‖∞. (4) 令Q(x)=pn*(x)- qn(x) =〔f(x)-qn(x)〕-〔f(x)-pn*(x)〕 记{x1*, x2*,…, xn+2*}为误差曲线函数f(x)- pn*(x)在[a,b]上的交错点组, 由(4)式可知n次多项式Q(x)在点集{x1*, x2*,…, xn+2*}上的符号完全由f(x)- pn*(x)在这些点上的符号所决定, {x1*, x2*,…, xn+2*} 为f(x)-pn*(x)的交错点组,即f(x)- pn*(x) 在这n+2个点上正负(或负正)相间至少n+1次,从而至少n+1次改变符号, 故Q(x)也至少n+1次改变符号, 说明n次多项式Q(x)至少在[a,b]上有n+1个根,矛盾. 即必有 ‖f(x)- pn*(x)‖∞≤‖f(x)-qn(x)‖∞. 三、 最佳一致逼近元的惟一性 定理5.3.3在Pn[a,b]中,若存在对函数f(x)∈C[a,b]的最佳一致逼近元,则惟一. (2)所求的逼近多项式为低次多项式 关于交错点组的定理 * 即存在点集 a ? t1 … tn+2 ? b 使得 证明:反证,设有2个最佳一致逼近元,分别是pn* (x) 和 qn(x) 。 则它们的平均函数 也是一个最佳一致逼近元。 ? 现设误差曲线函数f(x)-?pn(x)在区间[a,b]上的一个交错点组为{x1, x2,…, xn+2} ,为此 En=|f(xk)-?pn(xk)| =1/2|(f(xk)-pn*(xk))+(f(xk)-qn(xk) ) |. 若对某一个k,1≤k≤n+2,f(xk)-pn*(xk)≠f(xk)-qn(xk) 那么上式两个差中至少有一个达不到En或-En,从而 ? En=|f(xk)-?pn(xk)| ≤ 1/2 (| f(xk)-pn*(xk)|)+|f(xk)-qn(xk)|) 1/2(‖f(x)- pn*(x)‖∞+‖f(x)-qn(x)‖∞) = 1/2(En+En)=En. 这是不可能的,因此只有: f(xk)-pn*(xk)= f(xk)-qn(xk), k=1,2,…,n+2  即pn*(xk)=qn(xk), k=1,2,…,n+2. 而pn*(xk),qn(xk)∈Pn[a,b],故必有pn(x)=qn(x). 定理5.3.4  设pn*(x)∈Pn[a,b]为对f(x)∈C[a,b]的最佳一致逼近元. 若f(n+1)(x)在区间[a,b]上不变号,则x=a和b为误差曲线函数f(x)-pn(x)在区间[a,b]上交错点组中的点. *
显示全部
相似文档