浅谈切比雪夫多项式

苏州大学本科生毕业设计（论文）1浅谈切比雪夫多项式数学与应用数学（师范）2008级石晓萌0807402049指导老师刘长剑摘要本文通过三角函数和复数方法得到切比雪夫多项式，对两类切比雪夫多项式的定义和性质做了全面而又简练的概括和说明．除此之外，本文也研究了两类切比雪夫多项式之间的关系，并进一步讨论了切比雪夫多项式在处理实际问题的应用．关键词：切比雪夫多项式三角函数复数正交性最小偏差插值苏州大学本科生毕业设计（论文）2DiscussiononthechebyshevpolynomialsMathematicsandAppliedMathematics(normalschool)ShiXiaomeng0807402049SupervisorLiuChangjianAbstractThispaperthroughthetrianglefunctionandcomplexmethodobtainschebyshevpolynomialanddescribestwogroupsofchebyshevpolynomialofthedefinitionsandpropertiesindetail.Inaddition，thispaperalsostudiesrelationshipsbetweenthetwogroupsofchebyshevpolynomialandfurtherdiscussestheapplicationofhechebyshevpolynomialindealingwithpracticalproblems.Keyword:chebyshevpolynomialtrigonometricfunctionPluralorthogonalityminimumdeviationinterpolation苏州大学本科生毕业设计（论文）3目录1问题的来源及起源…………………………………………………………………11.1前言…………………………………………………………………………...41.2切比雪夫多项式的来源……………………………………………………..42切比雪夫多项式的概念及性质…………………………………………………....82.1第一类切比雪夫多项式及性质……………………………………………...82.2第二类切比雪夫多项式及性质……………………………………………103两类切比雪夫多项式的关系……………………………………………………...114切比雪夫多项式的应用…………………………………………………………...134.1切比雪夫多项式插值………………………………………………………134.2幂级数项数的节约…………………………………………………………14结束语……………………………………………………………………………….15参考文献…………………………………………………………………………….16苏州大学本科生毕业设计（论文）41问题的来源及起源1.1前言以俄国著名数学家切比雪夫(Tschebyscheff，又译契贝雪夫等，182l一1894)的名字命名的重要的特殊函数第一类和第二类切比雪夫多项式()nTx和()nUx(简称切比雪夫多项式)，源起于多倍角的余弦函数和正弦函数的展开式，是与棣美弗定理有关、以递归方式定义的多项式序列，是计算数学中的一类特殊函数，对于注入连续函数逼近问题，阻抗变换问题等等的数学、物理学、技术科学中的近似计算有着非常重要的作用[2]．在大学的数学中，在数学分析的习题里提到过切比雪夫多项式，对于该多项式并未有过多的了解．详细探讨了解切比雪夫多项式对即将毕业的我来说是一件不可多得的再次学习机会，因此着手写这篇论文．本文追溯切比雪夫多项式的起源，从三角函数和复数两个方面导出切比雪夫多项式，研究两类切比雪夫多项式的性质、关系以及应用．1.2切比雪夫多项式的源来我们用以下几种方法来求得切比雪夫多项式．方法一：余弦倍角公式是由余弦的幂整系数线性组合来表示倍角的余弦．这样就产生余弦的n倍角能否用余弦的幂次的整系数线性组合表示等问题．通过研究，发现cosn都是关于2cos的首项系数为1的、次数等于的倍数的、系数符号正负相间的整系数多项式，还进一步得到cosn的一些性质．应用此性质，可以得到一些求和公式及解决许多数学问题．进一步研究，发现此多项式可以转化为切比雪夫多项式．在初等数学中，三角函数是一个十分有用的工具，余弦cosn是众所周知的偶函数，它的倍角公式如：2cos22cos1，(1)3cos34cos3cos．(2)它们都是由余弦cos的幂整系数线性组合来表倍角的余弦．这样就自然产生了余弦的n倍角能否用余弦cos的幂次的整系数线性组合表示问题，稍作计算可以得42cos48cos8cos1，(3)53cos516cos20cos5cos．(4)观察公式(1—4)，可以发现．如果公式两端同乘以2，则公式右边都是关于2cos的首系数为1的、次数等于公式左边的倍数的、系数符号正负相间的整系数多项式．由此猜测2cosn也具有这一性质，下面用数学归纳法加以证明．猜想2,02cos(1)(2cos)mnmnmmna，(;nNmN)(5)苏州大学本科生毕业设计（论文）5显然，n=1时猜想成立;由公式(1—4)知，n≤5时猜想成立(mn/2时,20nm)．假定n≤k(kN且k2)时猜想成立，下证1nk时猜想也成立．cos(1)coscossinsinkkksinsinsin(1)sincos(1)sinsinkkk2sin(1)sincoscos(1)sinkk2cos(1)coscoscoscos(1)(1cos)kkkcoscoscos(1)kk．故cos(1)2coscoscos(1)kkk．因此2cos(1)2cos2cos2cos(1)kkk2,0(1)(2cos)2cosmkmkmm121,0(1)(2cos)mkmkmm12,0(1)(2cos)mkmkmm121,11(1)(2cos)mkmkmm1,01(2cos)(1)kmkm12,1,1()(2cos)kmkmkm．记1,,1,kmkmkm，那么121,02cos(1)(1)(2cos)mkmkmmk．即当1nk时猜想也成立．从而对任意正整数n，猜想成立．以上不仅证明了(5)式对任意正整数n成立，而且得到了(5)式中系数,nm的递推公式：1,02,02,11,1,2，1,0,0nn(2n)，(6)1,,1,1nmnmnm(2,1/2nmn)．(7)由此易得1,11,m0;,1m/2;0,mn/2.mnmnmnCnm当当当上式可由数学归纳法证明．从而(5)式可改写为：n/312112cos(2cos)(1)(2cos)entnmmnmnmmnnCm，(9)苏州大学本科生毕业设计（论文）6(9)式称为n倍角余弦公式．12424cos2(cos)(cos)(cos)nnnnnnn…，其中i为正整数．因为余弦cos在0,上单调，对应值为1降到1，即cos1,1，0,．因此存在反函数，若令cosx，则arccosx，1,1x，0,．因此，在余弦n倍角公式中令arccosx，0,，1,1x，则倍角公式为24124cos(arccos)2cos(arccos)cos(arccos)cos(arccos)nnnnnnnxxxx…124242nnnnnnxxx…．于是cos(arccos)nx首项系数为12n的多项式，各项系数是整数，符号依次变化，x的幂依次递减2次，若递减到最后，幂次为负，则该项取零．若记cos(arccos)nx=()nTx，则()nTx满足，12()2()()nnnTxxTxTx，()nTx称为切比雪夫多项式．从递推关系可以得到：0()1Tx，1()Txx，22()21Txx，33()43Txxx，424()88+1Txxx，535()1620+5Txxxx，6426()3248+181Txxxx．这是第一类切比雪夫多项式，第二类切比雪夫多项式可由n倍角余弦公式得到[4]．方法二：用复数的方法[4]．cossiniei，cossiniei，两边相加可以得cos的复数表示cos2iiee，进一步以n代替得1cos22ininnniieenee，也就是1coscossincossin2nnnii．若考虑cosx，2sin1x，于是苏州大学本科生毕业设计（论文）7221()cos(arccos)112nnnPxnxixxix，此时1,1x．而对1x时，上式也有意义．由于2211xix，因此221()112nnnPxxxxx．我们又得到()nPx的表达式()cos(arccos)nPxn221112nnxxxx．苏州大学本科生毕业设计（论文）82切比雪夫多项式的概念及性质方程[1]222210dydyxxnydxdx（n为正整数）称为切比雪夫方程．如今令cosx，则方程可变形为2220dynyd，于是求得通解为12cos(arccos)sin(arccos)yCnxCnx．2.1第一类切比雪夫多项式的定义及性质[1][2]定义1第一类切比雪夫多项式序列()nTx定义为：()cos(arccos)nTxnx，其中nN(自然数集)，x∈R(实数集)，且1x．该定义也拓广为：220()(1)(1)2knkknknTxxxk，其中2nk表示组合数!(2)(2)!(2)!nnkknk或0()nm,,nmN；xC(复数集)．()nTx称为第n个第一类切比雪夫多项式，前７个第一类切比雪夫多项式为：0()1Tx，1()Txx，22()21Txx，33()43Txxx，424()88+1Txxx，535()1620+5Txxxx，6426()3248+181Txxxx．第一类切比雪夫多项式有许多良好的性质，例如：1．(cos)cos(),,nTnRnN．(分析：令cosx，arccosx)2．()(1)()nnnTxTx，,xCnN．这表明()nTx当n为奇(偶)数时是奇(偶)函数．3．()1,,1nTxxRx．苏州大学本科生毕业设计（论文）94．21(0)0mT，2(0)(1),mmTmN．5．函数列()nTx的生成函数为201(),,112nnnxtTxttRtxtt．（分析：生成函数又叫母函数，在数学中，某个序列的母函数是一种形式幂级数，其每一项的系数可以提供关于这个序列的信息．使用母函数解决问题的方法称为母函数方法．母函数的思想就是把离散数列和幂级数一一对应起来，把离散数列间的相互结合关系对应成为幂级数间的运算关系，最后由幂级数形式来确定离散数列的构造．母函数是解决组合计数问题的有效工具之一，其思想方法是把组合问题的加法法则和幂级数的乘幂的相加对应起来．）6．函数列(