中的最佳一致逼近元p3x.pptVIP

函数逼近:用比较简单的函数代替复杂的函数 误差为最小，即距离最小（不同的度量意义） 解 ①按插值法，以x0＝0, x1＝１为插值节点对f(x) 作一次插值所得形如(1)式的p1(x)是p1(x)=x. 2-1 最佳逼近多项式的存在性 定理 对任意的f(x)∈C［a,b］,在Pn［a,b］中都存在对f(x)的最佳一致逼近元,记为p*n(x),即 ‖f(x)-p*n(x)‖∞=inf{‖f(x)-pn(x)‖∞} 成立. 证明略 定理 (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)‖∞. 定理在Pn［a,b］中,若存在对函数f(x)∈C［a,b］的最佳一致逼近多项式，则惟一. 2-3 最佳一致逼近多项式 （1） 当f(x)为［－１，１］上的n+1次多项式时，求f(x)在Pn［－１,１］中的最佳一致逼近多项式. （利用Chebyshev多项式最小模性质，就比较容易） 不妨记f(x)=b0+b1x+…+ bn+1xn+1,|x|≤1,且设bn+1≠0 ，p*n(x)为最佳一致逼近元. 由于首项系数为1的n+1次Chebyshev多项式Tn+1(x)无穷模最小， 例1 设f(x)=4x4＋2x３－５x２＋8x-5/2， |x|≤1. 求f(x)在P3［-1,1］中的最佳一致逼近元p3(x). 定理 设X为线性内积空间，由线性无关组?０，?1, …， ?n张成的线性空间?为X的子空间，任意g∈X，存在S*∈?为对g的最佳平方逼近元. 定理S*∈? =span{?０，?1, …， ?n}为对g∈X (线性内积空间)的最佳平方逼近元的充要条件是g- S*与一切?j(j=0，1，…，n)正交.其中?０，?1, …， ?n为X的n+1个线性无关元 注意： 定理5.4.2中所说的g-s*与一切?j正交，是指g-S*与一切?j的内积等于零， 即 (g-S*, ?j)=0, j=0,1，…，n. (5) 定理 线性内积空间X的子空间?中若存在对g∈X的最佳平方逼近元，则惟一. 证 用反证法. 设s1*为除s*外另一个任意的对g∈X的最佳平方逼近元. 由定理5.4.2可知 当p∈?时, (g-s*,p)=0, (g-s1*,p)=0 而 ‖s*-s1*‖２２=(s*-s1*, s*-s1*) ＝ (s*-g+g-s1*, s*-s1*) =（s*-g,s*-s1*)+ (g-s1*, s*-s1*) 由于s*-s1* ∈? ，因此 （s*-g,s*-s1*) ＝0，（g－s1*,s*-s1*)＝0 由内积定义1中内积必须满足①的条件可知 s*－s1*≡０，即s*=s1*. 现假定线性内积空间X上的内积已定义，并且X的子空间的一组基底｛?0,?1,…,?n｝也确定，对具体的被逼近元g∈X，求s*∈?为对g的最佳平方逼近元. 由最佳平方逼近元充要条件，若假定 s*＝∑cj*?j，则可以得出 (g- ∑cj*?j,?i) = 0, i=0,1,…，n. 其中cj*，j=0，1，…,n为待定系数 此方程恒等变形为 (∑cj*?j,?i) =(?i,g), i=0,1，…，n. 用矩阵式表示这个方程组为 此方程组称为法方程组。 几种情形的最佳平方逼近 1. C［a,b］中的最佳平方逼近 讨论最佳平方逼近，首先确定逼近类以及内积的定义. 现设逼近类为Pn［a,b］，内积用积分或带权的积分