逼近与正交多项式

逼近与正交多项式1第一页，共三十二页，2022年，8月28日§1

函数逼近的基本概念

：1.数值计算中经常要计算函数值，如计算机中计算基本初等函数及其他特殊函数；2.当函数只在有限点集上给定函数值，要在包含该点集的区间上用公式给出函数的简单表达式.问题

这些都涉及到在区间上用简单函数逼近已知复杂函数的问题，这就是函数逼近问题.2第二页，共三十二页，2022年，8月28日

插值法就是函数逼近问题的一种.

记作，

本章讨论的函数逼近，是指“对函数类中给定的函数中求函数，使与的误差在某种度量要在另一类简单的便于计算的函数类意义下最小”.

函数类通常是区间上的连续函数，记作，称为连续函数空间.3第三页，共三十二页，2022年，8月28日

§2正交多项式

1.定义

4第四页，共三十二页，2022年，8月28日

定义1设是有限或无限区间，在上的函数满足条件：（2）存在且为有限值（3）对上的非负连续函数，如果则称为上的一个权函数.则(1)5第五页，共三十二页，2022年，8月28日

设是上给定的权函数,定义26第六页，共三十二页，2022年，8月28日

内积的性质7第七页，共三十二页，2022年，8月28日

定义3则称与在上带权正交.若上的权函数且满足为8第八页，共三十二页，2022年，8月28日

若函数族满足关系则称是上带权的正交函数族.

若，则称之为标准正交函数族.9第九页，共三十二页，2022年，8月28日

三角函数族就是在区间上的正交函数族.

定义3设是上首项系数的次多项式，为上权函数，满足正交关系式，则称多项式序列为在上带权正交，称为上带权的次正交多项式.如果多项式序列10第十页，共三十二页，2022年，8月28日

只要给定区间及权函数，均可由一族线性无关的幂函数利用逐个正交化手续构造出正交多项式序列：11第十一页，共三十二页，2022年，8月28日

例1

12第十二页，共三十二页，2022年，8月28日

13第十三页，共三十二页，2022年，8月28日

（1）是具有最高次项系数为1的次多项式.正交多项式序列有以下性质：（2）任何次多项式均可表示为的线性组合.14第十四页，共三十二页，2022年，8月28日

2.正交多项式的性质15第十五页，共三十二页，2022年，8月28日

16第十六页，共三十二页，2022年，8月28日

17第十七页，共三十二页，2022年，8月28日

定理3设是在上带权的正交多项式序列，则的个根都是在区间内的单重实根.18第十八页，共三十二页，2022年，8月28日

19第十九页，共三十二页，2022年，8月28日3.

勒让德多项式

罗德利克(Rodrigul）给出了简单的表达式

当区间为，权函数时，并用表示.正交化得到的多项式就称为勒让德(Legendre)多项式，由20第二十页，共三十二页，2022年，8月28日由于是次多项式，所以对其求阶导数后得

最高项系数为1的勒让德多项式为于是得首项的系数21第二十一页，共三十二页，2022年，8月28日

勒让德多项式重要性质：

性质1

证明令，设是在区间上阶连续可微的函数，由分部积分知正交性则22第二十二页，共三十二页，2022年，8月28日

下面分两种情况讨论:

（1）若是次数小于的多项式，则故得23第二十三页，共三十二页，2022年，8月28日则

（2）若于是24第二十四页，共三十二页，2022年，8月28日由于故25第二十五页，共三十二页，2022年，8月28日

性质2

由于是偶次多项式，经过偶次求导仍为偶次多项式，经过奇次求导则为奇次多项式，故为偶数时为偶函数，为奇数时为奇函数，于是性质2成立.奇偶性26第二十六页，共三十二页，2022年，8月28日由递推公式利用上述递推公式就可推出

性质327第二十七页，共三十二页，2022年，8月28日图3-1

图3-1给出了的图形.28第二十八页，共三十二页，2022年，8月28日在区间内有个不同的实零点.性质429第二十九页，共三十二页，2022年，8月28日

4.

切比雪夫多项式

当权函数，区间为时，由序列正交化得到的正交多项式就是切比雪夫(Chebyshev)多项式.

它可表示为若令，则30第三十页，共三十二页，2022年，8月28日

性质5

切比雪夫多项式有很多重要性质：