正交多项式相关.docxVIP

上的正交多项式 由最佳平方逼近的一般理论知， 上的最佳平方逼近完全可以转化为正交系的讨论。因为若 是 f 的最佳平方逼近元，则系数向量 满足方程组： ，而当{φ }为规范 i 正交时，该方程组的解立即可以写为： 。 正交多项式的性质 假设ω (x),ω (x),…是空间 0 1 的正交多项式系，则它有如下性质 ω (x)是 n 次代数多项式； n 上的幂函数系1,x,x2,…经正交化手续得到 任一不高于 n 次的多项式都可以表示成 ; ω (x)在 中与所有次数低于 n 的多项式正交，也即 n 以下假设则 是 ω 的首一化多项式，也即 ，且 的最高次项系数为 1， n 仍然是一正交系，且有如下递推关系。 定理 1 ，其中： ， 。 证明 由于 是 k+1 次多项式，因此可由 线性表出，即 （1） 其中 c j 是适当常数，将（1）式两边同乘以 并积分， 有 上式左端当 s=0,1,…,k-2 时， 的次数小于 k，从而积分值为 0，同样右端第一个积分也为 0。于是，当 s=0,1,…,k-2 时，上式变为 令 s=0，上式变为 从而 c =0。同理，当 s 依次为 1,…,k-2 时，可推出 c =0。于是（1）式可简化 0 s 为 （2） 下面我们来确定 c ,c ，在（2）式两边乘以 并积分，得 k k-1 （3） 由于 ，代入（3）式两端得 同理，用 乘（2）式两端并积分，可得 将 c ,c 代入（2）式两端并加以整理即得定理结论。 k k-1 如果设 ω (x)的首项系数为α ，则对规范正交系 ω (x),ω (x),…可以得到如下 k k 0 1 递推关系 （4） 注：（4）式可通过令 代入定理 1 得到。 定理 2 n 次正交多项式 ω (x)有 n 个互异零点，并且都包含在(a,b)中。 n 证明 令 n≥1,假定 ω (x)在(a,b)不变号，则 n 这与正交性相矛盾。于是至少有一个点 x1∈ (a,b)使 ω (x )=0，若 x 是重根， n 1 1 则 ω (x)/( x - x )2 是一 n-2 次多项式，由正交性知 n 1 但另一方面有 从而推出 x 只能是单根。 1 今假设 ω (x)在(a,b)内只有 j 个单根 x , x ,…, x (jn)，则 n 1 2 j ω (x)( x- x ) ( x- x ) …( x- x )=q(x)( x- x )2 ( x- x ) 2 …( x- x ) 2 n 1 2 j 1 2 j 现将上式两端乘以 ρ(x)并积分，则对于左端来说，由于(x-x )(x- x )…(x- x ) 1 2 j 的次数小于 n，因此积分值等于零；但对右端来说，由于 q(x)在(a,b)不变号， 所以积分值不为零。由这个矛盾推出 j=n。定理证毕。 定理 3 假设 a=x x …x =b 是正交多项式 ω (x)的 n 个根，那么在每个区间( a, 1 2 n n x ) ,( x , x ) …(x ,b)内都有 ω (x)的一个零点。 1 1 2 n n+1 常用的正交多项式 自然，根据ρ(x)的不同选择，我们可以构造许许多多的正交多项式，这只要分别利用施密特正交化过程就可以完成，然而在这些正交多项式类中，真正有用的是如下几个具有代表性的正交多项式系。 其一是勒让德（Legendre）多项式，它是L2[-1,1]上的正交多项式，并且可以表示成如下形式： （5） 由于单项式 是 2n 次多项式，所以 P (x) 是 n 次多项式，其最高次项系数与 n 的系数相同。可以证明勒让德多项式具有如下性质： （1） （2）P (x)=(-1)n P (-x). n n （3） 其二是第一类契比雪夫多项式，由引理 3 不难发现，它是在区间[-1,1]上关于权函数 的正交多项式。 其三是取 ，则 上的正交多项式定义为 它满足如下的递推公式 和正交性条件