【NA】函数最佳逼近(三)切比雪夫多项式

切比雪夫多项式.

• 切比雪夫，俄文原名 $Пафн\acute{у}тийЛьв\acute{о}вичЧебышёв$ ，俄罗斯数学家、力学家。初次接触是在概率论中，他提出了切比雪夫不等式。

设随机变量 $X$ 具有数学期望 $E[X]=\mu$ 与方差 $D(X)={\sigma }^2$，则对任意正数 $ϵ>0$，有不等式 P { ∣ X − μ ∣ < ϵ } ≥ 1 − ( σ ϵ ) 2 . P\{|X-\mu|<\epsilon\}≥1-(\frac{\sigma}{\epsilon})^2. P{∣X−μ∣<ϵ}≥1−(ϵσ​)2.

---

• 【定义】多项式序列 $T_n(x)=cos(n\cdot arccosx),x\in [-1,1]$ 称为切比雪夫多项式。

---

• { T n ( x ) } \{T_n(x)\} {Tn​(x)} 在区间 $[-1,1]$ 上带权函数 $\rho (x)=(\sqrt{1-x^2}{)}^{-1}$ 正交。
• $$(T_n,T_m)={\int }_{-1}^1\frac{1}{\sqrt{1-x^2}}cos(n\cdot arccosx)cos(m\cdot arccosx)dx=\{\begin{array}{rl}& 0,n\ne m\\ & \frac{\pi }{2},n=m>0\\ & \pi ,n=m=0\end{array};n,m=0,1,2,...$$
• 【证明】进行代换 $x=cos\theta$，则 $\theta =arccosx$，因此上式中的积分可以写为 ${\int }_{-1}^1\frac{1}{sin\theta }\cdot cosn\theta \cdot cosm\theta \cdot d(cos\theta )={\int }_0^{\pi }cosn\theta \cdot cosm\theta \cdot d\theta .$

---

• 和勒让德多项式一样，当 $n$ 为偶数时，$T_n(x)$ 是偶函数；当 $n$ 为奇数时，$T_n(x)$ 是奇函数，即 $T_n(-x)=(-1{)}^n{T}_n(x).$
• 【证明】$T_n(-x)=cos[n\cdot arccos(-x)]=cos[n\cdot (\pi -arccosx)]=cos(n\pi )cos(n\cdot arccosx)+sin(n\pi )sin(n\cdot arccosx)=cos(n\pi )cos(n\cdot arccosx)=(-1{)}^{n}cos(n\cdot arccosx).$

---

• 切比雪夫多项式可以由如下递推式定义：$$\{\begin{array}{rl}& T_0(x)=1\\ & T_1(x)=x\\ & T_{n+1}(x)=2x{T}_n(x)-T_{n-1}(x),n=1,2,...\end{array}$$
• 【证明】依旧使用代换 $x=cos\theta$，那么 $T_n(x)=cos(n\theta )$，由于 $cos[(n+1)\theta ]=cos(n\theta )cos\theta -sin(n\theta )sin\theta ;cos[(n-1)\theta ]=cos(n\theta )cos\theta +sin(n\theta )sin\theta$，两式相加得到$$cos[(n+1)\theta ]+cos[(n-1)\theta ]=2cos(n\theta )cos\theta .$$即 $T_{n+1}(x)=2x{T}_n(x)-T_{n-1}(x).$

带权内积.

• 在区间 $[-1,1]$ 定义带权函数 $\rho (x)=\frac{1}{\sqrt{1-x^2}}$ 的内积：$$(f,g)={\int }_{-1}^1\frac{f(x)\cdot g(x)}{\sqrt{1-x^2}}dx.$$相应地，诱导出范数 $$||f|{|}^2={\int }_{-1}^1\frac{f^2(x)}{\sqrt{1-x^2}}dx.$$
• 例如求解如下问题：尝试确定参数 $a,b,c$ 使得$$I(x;a,b,c)={\int }_{-1}^1[\sqrt{1-x^2}-a{x}^2-bx-c{]}^2\cdot \frac{1}{\sqrt{1-x^2}}dx$$取得最小值。
• 上述问题的本质就是在 $[-1.1]$ 上求 $f(x)=\sqrt{1-x^2}$ 关于权函数 $\frac{1}{\sqrt{1-x^2}}$ 的二次最佳平方多项式。