第六章函数最佳逼近ppt课件.ppt

《第六章函数最佳逼近ppt课件.ppt》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、第6章函数最佳逼近/*OptimalApproximation*/6.1正交多项式/*OrthogonalPolynomials*/1.正交函数族/*orthogonalfunctionfamily*/定义权函数/*weightfunction*/设义在（有限或无限）上，如果满足条件（1）；（2）存在；（3）对非负连续函数，若，则在上一定有，那么称是区间上的权函数。。权函数的一种解释是物理上的密度函数，相应的表示总质量，当权函数常数时，表示质量分布是均匀的。定义对于任意给定的函数表达式称为它们关于权函数

2、的内积。注意与维欧氏空间中内积的定义作比较OKOK,Ithinkit’spositivedefiniteness,nonnegativity,homogeneity,distributivelaw…定义函数的范数由内积定义可得上的一个度量由内积诱导出的范数注只是一个范数定义式，当然还需验证其是否满足范数的定义。根据函数的2-范数，能否推测出函数的1-范数？定义正交函数族若函数族满足关系则称是上带权的正交函数族；若则称为标准正交函数族。定义正交多项式设是上首项系数的次多项式，为上的权函数，如果多项式序列满

3、足如下关系式则称多项式序列在上带权正交，称为上带权的次正交多项式。我们曾经接触过的多项式：代数多项式，三角多项式…一种常用的正交化方法：施密特变换如果给定区间和权，可以通过对线性无关的函数族作施密特正交化变化那得到正交多项式序列。例如对函数族作施密特变换，令则即为正交多项式序列。那么权函数该如何选择？如此得到的正交多项式序列又有什么样的性质呢？性质1-3请同学自行证明，性质4请先自行查阅相关资料。性质1是最高次项系数为1的次多项式。性质2任何次多项式均可表示为的线性组合。性质3当时，，且与任一次数小于的

4、多项式正交。性质4有如下递推关系式其中性质5设是在上带权的正交多项式序列，则的个根都是区间上的单根。证明不妨考虑首项系数为1的正交多项式？假定（若为其他情况？）则与正交多项式定义矛盾于是至少存在一使根的存在性再假设是的二重零点，即则是次多项式，由性质3另一方面这说明只能是的单零点。多少个？假设在内只有个单零点，于是2.几个常用的正交多项式勒让德多项式/*Legendrepolynomials*/当区间为，权函数时，由正交化得到的多项式称为Legendre多项式，用表示。其简单的表达式为思考:的最高次项

5、系数为？最高次项系数为1的Legendre多项式有什么样的形式？Pn的重要性质：正交性奇偶性满足递推关系是如下微分方程的满足条件的多项式解。切比雪夫多项式/*Chebyshevpolynomials*/当区间为，权函数时，由正交化得到的多项式称为Chebyshev多项式，用表示。其简单的表达式为关于Chebyshev多项式的具体内容，将在6.2中进一步讨论。6.2最佳一致逼近/*OptimalUniformApproximation*/在插值问题中容易产生Runge现象，得不到理想的结果，而所

6、谓的“一致逼近”可以使逼近函数与被逼函数在整个区间上都很接近，同时克服插值逼近的缺陷。定义对任意的，在范数的意义下定义两个函数的距离通常称在度量下的逼近问题为一致逼近问题。偏差/*deviation*/定理设，则对任意给定的，存在多项式使得下式成立证明略。在意义下，使得最小。也称为minimaxproblem。若，则称x0为偏差点。v1.0最佳一致逼近多项式/*optimaluniformapproximatingpolynomial*/的构造：求n阶多项式Pn(x)使得

7、

8、Pny

9、

10、最小。直接构

11、造OUAP的确比较困难，不妨换个角度，先考察它应该具备的性质。有如下结论：OUAP存在，且必同时有偏差点。证明：存在性证明略。后者用反证法，设只有正偏差点。设而对于所有的x[a,b]都有是n阶多项式是误差更小的多项式（Chebyshev定理）Pn是y的OUAPPn关于y在定义域上至少有n+2个交错的偏差点。即存在点集at1<…

12、有2个OUAP’s，分别是Pn和Qn。则它们的平均函数也是一个OUAP。2)()()(xQxPxRnnn+=对于Rn有Chebyshev交错组{t1,…,tn+2}使得nkknkknkknnEtytQtytPtytRE-+--=

13、)()(

14、21

15、)()(

16、21

17、)()(

18、nkknkknEtytQtytP=-=-

19、)()(

20、

21、)()(

22、则至少在一个点上必须有)()()()(knkkkntQtytytP-=-0)()(=-kkntyt