[理学]第三章1 函数逼近与快速Fourier变换3132.ppt

* 可以用 的线性组合表示 ， 性质8 在区间 上有 个零点 性质7 只含 的偶次幂， 只含 的奇次幂. 这个性质由递推关系直接得到. 其公式为 * 时的结果如下： （2.13） 这里规定 * * 3.2.5 其他常用的正交多项式 区间 及权函数 不同，则得到的正交多项式也 不同. 除上述两种最重要的正交多项式外，下面是三种较常 用的正交多项式. 1. 第二类切比雪夫多项式 在区间 上带权 的正交多项式 称为第二类切比雪夫多项式. * 表达式为 （2.16） 令 ， 即 是 上带权 的正交多项式族. 可得 * 递推关系 * 2. 拉盖尔(Laguerre)多项式 在区间 上带权 的正交多项式称为拉 盖尔(Laguerre)多项式. 其表达式为 （2.17） 正交性质 * 递推关系 * 表达式 （2.18） 正交关系 在区间 上带权 的正交多项式称 为埃尔米特多项式. 3. 埃尔米特(Hermite)多项式 * 递推关系 * * * 相应的范数为 （1.13） 若给定实数 称 为权系数， 当 时， 上的加权内积为 （1.13）就是前面定义的内积. * 如果 ， （1.14） 这里 仍为正实数序列， 为 的共轭. 在 上也可以类似定义带权内积. 带权内积定义为 * 定义4 设 是有限或无限区间，在 上的非负 函数 满足条件： （1）  存在且为有限值 （2） 对 上的非负连续函数 ，如果 则称 为 上的一个权函数. 则 * 例2 设 是 上给定的权函数 （1.15） 由此内积导出的范数为 称（1.15）和（1.16）为带权 的内积和范数. 上的内积. 则可定义内积 （1.16） * 常用的是 的情形，即 * 若 是 中的线性无关函数族， （1.17） 根据定理3可知 线性无关的充要条件是 它的格拉姆矩阵为 记 * 3.1.4 最佳逼近 函数逼近主要讨论，对给定 ，求它的 最佳逼近多项式. 若 使误差 则称 是 在 上的最佳逼近多项式. * 常用的三种最佳逼近多项式： 1.最佳一致逼近多项式 2.最佳平方逼近多项式 3.最小二乘拟合 * 3.2 正交多项式 3.2.1 正交函数族与正交多项式 定义5 若 （2.1） 则称 与 在 上带权 正交. 上的权函数且满足 为 * 若函数族 满足关系 则称 是 上带权 的正交函数族. 若 ，则称之为标准正交函数族. （2.2） * 满足关系式(2.2)， 三角函数族  就是在区间 上的正交函数族. 定义6 设 是 上首项系数 的 次多 项式， 为 上权函数， 则称多项式序列 为在 上 带权 正交，称 为 上带权 的 次正交多项式. 如果多项式序列 * （2.3） 只要给定区间 及权函数 ，均可由一族线性 无关的幂函数 利用逐个正交化手续构造 出正交多项式序列 ： * （1） 是具有最高次项系数为1的 次多项式.  （2） 任何 次多项式 均可表示为 （3） 当 时， 与任一次数小于 的多项式正交. 得到的正交多项式序列有以下性质： 的线性组合. 且 * 其中 这里 （2.4） （4） 成立递推关系 * （5） 设