第二章 第一节 正交多项式.ppt

* * 第一节 正交多项式 一、 正交函数系与正交多项式 二、 正交多项式的性质 六、小结 三、 Legendre 多项式 四、 Chebyshey 多项式 五、其它常用的正交多项式 一、 正交函数系与正交多项式 定义1 给定函数 若 满足: (1) (2) 权函数 的一种解释是物理上的密度函数,相应的 表示总质量. =常量,表示质量分布是均匀的. (3) 积分 存在,n=0,1,…. 则称 为[a,b]上的权函数 为函数f 与g在[a,b]上的内积. 内积具有下列简单性质: 我们知道,一个向量的长度的几何概念,对于函数空间及逼近有许多自然的应用.正如在通常的二维或三维空间中,我们有一种度量两个向量u 及v之间距离的方法,我们也想用长度来度量一个逼近的好坏.在这一点上常用范数这个词. 定义2 给定 , 是[a,b]上的权函数,称 (1) (2) (3) (4) 当 定义3 一个实值函数称为一个函数空间的范数,如果它在空间处处有定义并满足条件: (1) 最大值范数: (2) 欧氏范数(L2范数): (1) (2) 为任意常数 (3) 在闭区间上连续的函数 的最常见范数有: (1.1) (1.2) 定义4 若内积 则称{ 是[a,b]上带权 的正交函数系.当 是代数多 项式时,称为正交多项式. 下面我们列举几个最常见的正交函数系. 满足: 则称 与 在区间 上带权 ，若函数 正交 例 1、 三角函数系 1， 在区间[-π, π] 上两两正交,因为 二、 正交多项式的性质 若记 则 的最高次项的系数为1，并且 也是在 上带 权正交的 次多项式。 设 是在 上带权正交的多项式序列，其中 表示 次正交多项式： 性质1 关于权函数 的任意正交函数系 都是线性 无关的。 特别地有 事实上，要是 则以 乘等式 的两边并积分，得到 由此可知 推论1 任何次数不超过 的多项式 可由正交多项 式 线性表出，即 推论2 任何次数不超过 的多项式 必定同 带权 正交,即 其中 性质2 对于最高次项系数为1的正交多项式 存 在着递推关系 证明 由于 是 次多项式，因此可由 线性表出，即存在 使 并积分 比较 两边的系数，可见 。两边乘以 有 从而 而 故 ，所以 当 时，因为 是 次多项式， 当 时 于是有 把这些结果代入（1.11）式，得到 即 证毕。 当 时，则有 其中 推论 对于最高次项系数为 的正交多项式 ,有递推 关系式 性质3 次正交多项式 有 个互异的实根，并且全 部位于区间 内。 证明： 取固定的 ,假定 则 此与正交多项式的定义相矛盾。于是至少有某一数 使 现假设 是 的重根，即 则 另一方面却有 是 次多项式，由正交多项式的定义有 或写成 两端乘以 ,并在 上积分，对于左端来说，由于 的次数低于 ,所以由正交多项式定义，积分 值为零，对于右端来说，由于 在 上不变号，所以 积分值不为零，由此矛盾推出 k 必须等于 。即 在 内恒有 个互异实根。 这就推出 只能是 的单根。现假设 在区间 内只有 个根 于是 三、 Legendre 多项式 即多项式: 即多项