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

* * 第6章 函数最佳逼近 /* Optimal Approximation */ 6.1 正交多项式/*Orthogonal Polynomials */ 1.正交函数族/*orthogonal function family */ 定义 权函数/*weight function */ 设 义在 （有限或无限）上，如果满足条件 （1） ； （2） 存在； （3）对非负连续函数 ，若 ，则在上 一定有 ，那么称 是区间 上的权函数。 。 权函数的一种解释是物理上的密度函数，相应的 表示 总质量，当权函数常数时，表示质量分布是均匀的。 定义 对于任意给定的函数 表达式 称为它们关于权函数 的内积。 注意与维欧氏空间中内积的定义 作比较 OKOK, I think it’s positive definiteness, nonnegativity, homogeneity, distributive law… 定义 函数的范数 由内积定义可得 上的一个度量 由内积诱导出的范数 注 只是一个范数定义式，当然还需验证其是否 满足范数的定义。 根据函数的2-范数，能否推测出函数的1-范数？ 定义 正交函数族 若函数族 满足关系 则称 是 上带权 的正交函数族；若 则称为标准正交函数族。 定义 正交多项式 设 是 上首项系数 的 次多项式， 为 上的权函数，如果多项式序列 满足如下关系式 则称多项式序列 在 上带权 正交，称 为 上带权 的 次正交多项式。 我们曾经接触过的多项式：代数多项式，三角多项式… 一种常用的正交化方法：施密特变换 如果给定区间和权，可以通过对线性无关的函数族作施 密特正交化变化那得到正交多项式序列。 例如对函数族 作施密特变换，令 则 即为正交多项式序列。 那么权函数该如何选择？如此得到的正交多项式序列又有 什么样的性质呢？ 性质1-3请同学自行证明，性质4请先自行查阅相关资料。 性质1 是最高次项系数为1的 次多项式。 性质2 任何 次多项式均可表示为 的线性组合。 性质3 当 时， ，且 与任一次数小于 的 多项式正交。 性质4 有如下递推关系式 其中 性质5 设 是在 上带权 的正交多项式序列，则 的 个根都是区间 上的单根。 证明 不妨考虑首项系数为1的正交多项式 ？ 假定 （若为其他情况？）则 与正交多项 式定义矛盾 于是至少存在一 使 根的存在性 再假设 是 的二重零点，即 则 是 次多项式，由性质3 另一方面 这说明 只能是 的单零点。 多少个？ 假设 在 内只有 个单零点 ，于是 2.几个常用的正交多项式 ? 勒让德多项式/* Legendre polynomials */ 当区间为 ，权函数 时，由 正交化得到的多项式称为Legendre多项式，用 表示。 其简单的表达式为 思考: 的最高次项系数为？ 最高次项系数为1的Legendre 多项式有什么样的形式？ ? Pn 的重要性质： ? 正交性 ? 奇偶性 ? 满足递推关系 是如下微分方程的满足条件 的多项式解。 ? 切比雪夫多项式 /* Chebyshev polynomials */ 当区间为 ，权函数