我们先给出两类Chebyshev多项式的定义:
第一类Chebyshev多项式:由递推式
第二类Chebyshev多项式:由递推式
在本专题中,我们主要研究第一类Chebyshev多项式.
一个比较简陋的目录:
- 第一类Chebyshev多项式的相关简单性质
- Chebyshev逼近理论(简)
- 第一类Chebyshev多项式的相关性质(比1深一点)及常用引理
- 练习
第一类Chebyshev多项式的相关简单性质
这里我们来研究第一类Chebyshev多项式的性质.
注意第一类Chebyshev多项式的三角形式:
由此我们知道这类多项式满足的重要性质(其实也可以作为定义):
性质1:
由上面的递推式归纳我们可以得出:
性质2:Chebyshev多项式
性质3:Chebyshev多项式
归纳易证,这里给出一种非归纳的证明.
记
证毕.
性质4:
下面的性质给出了这类多项式的根的分布.
性质5:
其实由性质1也是平凡的.
性质6:
其实由性质1还是平凡的.
性质7:当n为奇数时,
仍然由性质1平凡.
Chebyshev逼近理论(简)
下面来阐述一些Chebyshev逼近的相关理论:
在这之前,我们先对一些基本的概念作一定了解,这些概念包括:线性空间的定义,线性无关组和线性相关组的定义,线性空间模的定义,
对这些概念有基本了解的可以继续往下读,不了解这些基本概念则可先转到文章马康哲:对Chebyshev多项式专题的几个概念的解释对这些概念进行一定了解再往下读.
下面是正文:
我们介绍一个关于Chebyshev逼近的一个重要定理:
定理1:在
证明:反证法.
若存在另一n次首一多项式
由于
因此
由零点存在性定理知:
但由于
注:1.由定理1推知所有n次首一多项式在区间[-1,1]的最大值满足:
2.注意定理1证明的手法,在后面的定理证明中我们经常会使用这种手法.
定理2:如果
证略.
定理3:假设
这里我们只证充分性.
假设
若
按照模的定义
我们有:
由上我们可知
推论一:如果
推论二:如果
推论三:如果函数
三个推论的证明:
推论一的证明:假设
并记:
那么:
从而
满足
由上式对于
易知所有不等号取等.
从而有
这意味着有n+2个根,而只有
推论二的证明:令
推论三的证明:反证法.
设a或b不属于
由Rolle定理容易明白在
但是
从而推出有一数
而这跟
关于Chebyshev逼近理论的内容到此为止,我们来探究Chebyshev多项式的其他美妙性质.
第一类Chebyshev多项式的相关性质(比1深一点)及常用引理
1.
表示1:
表示2:
两种表示的证明:
表示1的证明:由多项式恒等定理,我们只需证明
此时令
则:
从而表示1得证.
表示2只需通过表示1二项式展开.
实际上,第二类Chebyshev多项式也有类似的拓广形式,即:
此处不赘述证明.
2.
用开头的递推式易证.
3.函数列
证明:令
4.重要引理:
其中
证明:数学归纳法.
归纳奠基平凡.假设结论对n-1,n成立.
由开头给出的递推式易知:
于是
所以n+1的情形也成立,由归纳法原理引理得证.
5.一个特殊形式的Chebyshev多项式(
相比于
即:它们都首一!
由此多项式我们可以仿照
1)
2)
...
还有一些根的分布的性质,此处不再赘述(因为完全可以换元转化为
好像差不多了,下面是练习
练习
1.求出一个最大的A,对于A存在一个实系数多项式
2.(高考题)函数
3.用非代数数论方法证明:马康哲:一个经典结论
4.将16个数:
正式更完w