1 / 9

一、 最佳逼近元的存在性

一、 最佳逼近元的存在性. 定理 5.3.1 对任意的 f(x)∈C [ a,b ] , 在 P n [ a,b ]中都存在对 f(x) 的最佳一致逼近元 , 记为 p * n (x), 即 ‖f(x)-p * n (x)‖ ∞ =inf{‖f(x)-p n (x)‖ ∞ } 成立 . 证明略. 2 最佳一致逼近元的充要条件.

Download Presentation

一、 最佳逼近元的存在性

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. 一、 最佳逼近元的存在性 定理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. 2 最佳一致逼近元的充要条件 定理5.3.2 (Chebyshev定理)pn*(x)∈P[a,b]对f(x)∈C[a,b]的最佳一致逼近元的充要条件是误差曲线函数f(x)- pn*(x)在区间[a,b]上存在一个至少由n+2个点组成的交错点组. 即存在点集 a  t1 <…< tn+2  b 使得

  3. 证明充分性 用反证法. 设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. 由(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. 则它们的平均函数 也是一个最佳一致逼近元。 三、 最佳一致逼近元的惟一性 定理5.3.3在Pn[a,b]中,若存在对函数f(x)∈C[a,b]的最佳一致逼近元,则惟一. 证明:反证,设有2个最佳一致逼近元,分别是pn*(x)和 qn(x)。 

  6. 现设误差曲线函数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,从而

  7. 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). 

  8. (2)所求的逼近多项式为低次多项式 关于交错点组的定理  设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]上交错点组中的点. 定理5.3.4

  9. 证明:用反证法. 若点a (点b类似)不属于交错点组,那么在区间(a,b)内至少存在n+1个点属于交错点组. 若f(x)足够光滑,由交错点组的定义,可以推出 (a,b)内的交错点必为误差曲线函数f(x)-pn*(x)的驻点 即区间(a,b)内n+1个交错点上, f(x)-pn*(x) 的一阶导数等于零. 这样,由Rolle定理便可推得在(a,b)内至少存在一点,使得f (n+1) ( )=0. 这与f(n+1)(x)在[a,b]上不变号矛盾 故点x=a属于交错点组.

More Related