数值分析正交多项式

1、2 2 正交多项式正交多项式一、正交函数族与正交多项式一、正交函数族与正交多项式.,)()(2.1) 0d)()()(),( ,)(,)(),( 带权带权(x)正交(x)正交定义5定义5上上在在与与则称则称，且且上的权函数上的权函数为为若若baxgxfxxgxfxgfbaxbaCxgxfba . ,1 ,.,)(2.2) ), 2 , 1 , 0,( , , , 0)(),( ,),(,),(),(,10 标准正交函数族标准正交函数族 数族数族带权带权(x)的正交函(x)的正交函则称该函数系为则称该函数系为时时当当特别地特别地上上为为则称函数族则称函数族且满足且满足给定函数族给定函数族设在设在

2、 knkkinAbaxkikiAkixxxxxba ,2sin,2cos,sin,cos, 1 上的正交函数族上的正交函数族为为例如，三角函数族例如，三角函数族 xxxx. 0,)sin,(sin)cos,(cos,2)1 , 1( 其他内积其他内积 kxkxkxkx.,)()( .,)()(2.2),)( ,)(,0,)( 00交交多多项项式式次次正正上上的的为为权权函函数数的的为为以以称称多多项项式式序序列列上上的的正正交交为为权权函函数数的的为为以以，则则称称满满足足正正交交性性若若多多项项式式序序列列上上的的权权函函数数为为次次多多项项式式的的上上首首项项系系数数是是设设nbaxxpb

3、axxpxpbaxnabaxpnnnnn 定定义义6 6 , ( ), 1, ,:na bxxx只要给定上的权函数由利用逐个正交化手续立得正交多项式序列(2.3) ., 2 , 1 ,),(),()( , 0)(100 nppppxxxpxpjnjjjjnnn. )(, 0),( )3(.)(,),(),()()2(. 1)()(110项项式式正正交交的的多多与与任任一一次次数数小小于于且且时时，当当的的线线性性组组合合均均可可表表为为的的首首项项系系数数为为性性质质：kxpppjkxpxpxpHxQxpkkjnnnn 注意：注意：这些多项这些多项式是线性无关的式是线性无关的 , 2 , 1)

4、,/(),( ),/(),( 0 )(1)( (2.4) , 1 , 0 ),()()()( 4111011 npppppppxpxpxpnxpxpxxpnnnnnnnnnnnnnnn，其其中中）有有递递推推关关系系（ ;),()1)( .,)()(50内的单重实根内的单重实根个根都是在个根都是在的的则则序列序列上的正交多项式上的正交多项式为权函数的为权函数的为以为以）设）设（bannxpbaxxpnn 二、勒让德多项式二、勒让德多项式. . 式式L Le eg ge en nd dr re e多多项项 次次称称为为的的正正交交多多项项式式上上带带权权区区间间n(2.5) ), 2 , 1 ,

5、 0( ,)1(dd!21)( 1)(1 , 12 nxxnxPxnnnnn .) !(2)!2(!2)1()12(22nnnnnnannn 其其首首项项系系数数(2.6) ), 2 , 1 , 0( ,)1(dd)!2(!)(12 nxxnnxPnnnn 勒让德多项式为为的的首首项项系系数数为为:勒让让德多项式性xxxxxnmxxPxPmnmnmnnnmmmnmnmd ) 1(dd) 1(dd!21d )()( ., i)( 112211次分部积分做不妨时当证：(2.7) . ,122, , 0d )()( 11 nmnnmxxPxPnm正交性正交性(1)xxxxxnmxxxxnmnnnmm

6、mnmnnnmmmnmd )1(dd)1(dd!21 )1(dd)1(dd!2111211211112112 xxxxxnmnmnmnmmmnmmd )1(dd)1(dd!21)1(112222 . 0)1(dd!2)!2()1(11211 nmnmnnmmxxnmmxxnnxxPnmnnnnd)1() !(2)!2()1(d )( . ii)(11222112 时时当当ttnnnntxdcos) !2()!2(2/2/122sin .122 3)12)(12(2)22)(2(2) !2()!2(2 nnnnnnnn(2.8) . )()1()( xPxPnnn 奇偶性奇偶性(2).n)1 ,

7、 1()( 个个互互异异的的实实零零点点内内部部有有在在 xPn(3)(2.9) ), 2 , 1( ),(1)(112)(,)( , 1)( 1110 nxPnnxxPnnxPxxPxPnnn递推关系递推关系(4) ),35(21)( ),13(21)( 3322xxxPxxP 可得可得三、切比雪夫多项式三、切比雪夫多项式切比雪夫多项式.切比雪夫多项式.次次称为称为正交化所得正交多项式正交化所得正交多项式，序列，序列权函数为权函数为区间为区间为n, 111)(,1 , 12nxxxx .0),cos()(cos(2.10) ), 2 , 1 , 0, 11( ),arccoscos()( n

8、xTxnxxnxTnn，则则若若令令可可表表为为 ,34)(, 12)arccos2cos()(,)cos(arccos)(, 1)0cos()(332210 xxxTxxxTxxxTxT :切切比比雪雪夫夫多多项项式式的的性性质质(2.11) ).()(2)( ,)( , 1)( )1(1110 xTxxTxTxxTxTnnn递推关系递推关系1).(n,2)(1 nnnxxT的的系系数数为为的的最最高高次次幂幂 . ,cos . 1 ,)1cos(coscos2)1(cos 即得递推关系式即得递推关系式代入代入事实上，只需由事实上，只需由 xnnnn(2.12) . 0 , 0 , 2/ ,

9、 , 0d)()(11 )2(112 nmnmnmxxTxTxnm 正正交交性性. ;)( )3(的偶次幂的偶次幂只含只含为偶数时为偶函数，且为偶数时为偶函数，且当当的奇次幂的奇次幂只含只含为奇数时为奇函数，且为奇数时为奇函数，且当当奇偶性奇偶性xnxnxTn ), 2 , 1( ,2)12(cos n1 , 1)( )4(nknkxxTkn 个个不不同同的的零零点点上上有有在在四、切比雪夫多项式零点插值四、切比雪夫多项式零点插值五、其他常用正交多项式五、其他常用正交多项式第第二二类类切切比比雪雪夫夫多多项项式式 1 1. . . 多多项项式式第第二二类类切切比比雪雪夫称称为为的的正正交交多多项项式式上上带带权权区区间间(2.14) ,1arccos)1sin()( 1)(1 , 122xxnxUxxn . , 2/, , 0d1)()( 112 nmnmxxxUxUnm ).()(2)( ,2)( , 1)( 1110 xUxxUxUxxUxUnnn拉拉盖盖尔尔多多项项式式 2 2. . . 拉盖尔多项式拉盖尔多项式称为称为的正交多项式的正交多项式上带权上带权区间区间(2.15) ),(dd)( )(), 0 xnnnxnxexxexLex . ,) !(, , 0d )()( 20 nmnnmxxL