§34正交多项式.pptVIP

* ? 2009, Henan Polytechnic University * §4 正交多项式 第三章 函数逼近与计算 * 第四节 正交多项式 定义1 设 是 上首项系数 的 次多项式， 为 上权函数， 称 为 上带权 的 次正交多项式. 如果多项式序列 满足 3.4.1 正交化手续 则称多项式序列 为在 上带权 正交 欧氏空间中标准正交基的构造方法 给定区间 及权函数 ，可由一组线性无关的 幂函数 利用Schemite正交化过程构造 出正交多项式序列 ： 在C[a,b]中构造正交多项式 按Schemite正交化方法构造正交多项式的性质 (1) 最高次项系数为1.  (2) 任何 均可表示为 的线性组合. 即 (3) 与任一次数小于 的多项式 正交. 即 这里 其中 设 是 上带权 的首项系数为1的正交多项式，对 成立关系 (4) 设 是 上带权 的正交多项式， 则 在区间 内有 个不同的零点. (5) 证明： 故 在 内的零点不可能全是偶数重的。 则 在 处变号. 证明 现设 为 在 内的奇数重零点， 不妨设 令 于是 在 上不变号，则得 设 是 上带权 的正交多项式， 则 在区间 内有 个不同的零点. (5) 由 若 ，由 的正交性可知 , 0 ) ( ) ( ) ( ) , ( = = ò dx x q x x q b a n n j r j 矛盾 例1 求区间[-1,1]上,权函数?(x)=1的正交多项式. 解 p0(x)=1, 按Schemite正交化过程有 3.4.2 勒让德多项式 表达式 最高项系数为1的勒让德多项式为 正交化 由于 是 次多项式， 所以对其求 阶导数后得 首项系数 罗德里格形式 勒让德多项式的性质 性质1 证明 正交性 令 ，则 设 是在区间 上 阶连续可微的函数，由分部 积分知 （1） 若 是次数小于 的多项式， 则 故得 （2） 若 由于 故 性质2 奇偶性 则 于是 性质3 递推关系 考虑 次多项式 可表示为 利用偶（奇）函数求导的奇偶性即可得证 两边乘 并从-1到1积分， 故得 当 时， 次数小于等于 ， 为0， 上式左端积分 当 时， 左端积分仍为0， 故 为奇函数， 其中 于是 递推公式 由 可推出 图3-1  在区间 内有 个不同的实零点. 性质5 性质4 在所有最高项系数为1的n次多项式中，Legendre多项式 于是 当且仅当 时等号才成立， 即当 时平方误差最小。 3.4.3 切比雪夫多项式 若令 ， 则 性质1 递推关系 三角恒等式 表达式 切比雪夫多项式的性质 图3-2 的最高次项系数是 的函数图形见右. 在[-1，1]上有n+1个极值点 性质2 切比雪夫多项式 在区间 上带权 正交，且 令 ， 则 ， 于是 性质3 只含 的偶次幂， 只含 的奇次幂. 性质4 在区间 上有 个零点 性质5 的首项 的系数为 记 为所有次数小于等于 的首项系数为1的多项式集合， 定理3.7 设 是首项系数为1的切比雪夫多项式，则 且 首项系数为1的切比雪夫多项式及其性质 是 中最大值最小的多项式，即 —最小零偏差多项式 在区间[-1,1]上， n次首1的