[论文解读] Properties of Chebyshev polynomials

N. Karjanto|arXiv (Cornell University)|Feb 3, 2020

Mathematical functions and polynomials被引用 5

一句话总结

本文研究了切比雪夫多项式作为切比雪夫微分方程解的性质，该方程是斯特姆-刘维尔边值问题的一个特例。研究表明，当逼近多项式函数时，切比雪夫多项式插值在精度和收敛速度上优于傅里叶级数，能够以 N 项精确插值 N 次多项式，而傅里叶级数则需更多项才能在非多项式函数上达到相近精度。

ABSTRACT

Ordinary differential equations and boundary value problems arise in many aspects of mathematical physics. Chebyshev differential equation is one special case of the Sturm-Liouville boundary value problem. Generating function, recursive formula, orthogonality, and Parseval's identity are some important properties of Chebyshev polynomials. Compared with a Fourier series, an interpolation function using Chebyshev polynomials is more accurate in approximating polynomial functions. -------- Des équations différentielles ordinaires et des problèmes de valeurs limites se posent dans de nombreux aspects de la physique mathématique. L'équation différentielle de Chebychev est un cas particulier du problème de la valeur limite de Sturm-Liouville. La fonction génératrice, la formule récursive, l'orthogonalité et l'identité de Parseval sont quelques propriétés importantes du polynôme de Chebyshev. Par rapport à une série de Fourier, une fonction d'interpolation utilisant des polynômes de Chebyshev est plus précise dans l'approximation des fonctions polynomiales.

研究动机与目标

• 研究切比雪夫微分方程作为斯特姆-刘维尔边值问题的特例。
• 分析切比雪夫多项式的关键性质，包括生成函数、递推公式、正交性和帕塞瓦尔恒等式。
• 比较切比雪夫多项式插值与傅里叶级数在逼近多项式和非多项式函数时的收敛性和精度。
• 展示切比雪夫逼近在多项式函数上的优越性，以及傅里叶级数在非多项式函数上的更快收敛性。

提出的方法

• 通过特定区间和权函数，从斯特姆-刘维尔形式推导出切比雪夫微分方程。
• 利用三角恒等式 $ T_n(x) = \cos(n \cos^{-1}x) $ 定义切比雪夫多项式，建立其正交性和递推结构。
• 使用复指数级数和欧拉公式，证明生成函数恒等式 $ \frac{1 - zx}{1 - 2zx + z^2} = \sum_{n=0}^\infty T_n(x) z^n $。
• 通过 $ L^2 $-范数最小化，确定插值 $ P_N(x) = \sum_{n=0}^N C_n T_n(x) $ 中最优系数 $ C_n $。
• 通过改变 $ N $，比较多项式与非多项式函数（如七次多项式、海维赛德阶跃函数）在切比雪夫级数与傅里叶级数下的数值逼近。
• 分析两种逼近方法中的吉布斯现象，注意其在不连续点附近的出现。

Figure 2: Plot of a seventh-order polynomial $y=f(x)=x^{7}-14x^{5}+49x^{3}-36x$ (blue curve) approximated by interpolation functions corresponding to the Chebyshev polynomials with $N=7$ (red curve on the left panel) and a Fourier series with $N=20$ (red curve on the right panel). We observe that fo

实验结果

研究问题

• RQ1 切比雪夫多项式如何作为斯特姆-刘维尔边值问题的解出现？
• RQ2 切比雪夫多项式的关键分析性质是什么，例如生成函数、递推公式和正交性？
• RQ3 为何切比雪夫插值能以 $ N $ 项实现多项式的精确表示，而傅里叶级数需要更多项才能达到相近精度？
• RQ4 对于非多项式函数，切比雪夫插值的收敛速度与傅里叶级数相比如何？
• RQ5 吉布斯现象在两种逼近方法中影响程度如何？它们在不连续点附近的误差行为有何不同？

主要发现

• 当 $ N = 7 $ 时，切比雪夫多项式插值可对七次多项式实现精确插值，而傅里叶级数至少需要 $ N = 10 $ 项才能达到相似的定性精度。
• 对于多项式函数，使用 $ N $ 项的切比雪夫逼近可实现零误差，表明其为精确插值；而傅里叶级数则需更多项才能达到类似精度。
• 对于非多项式函数（如海维赛德阶跃函数），使用 $ N = 10 $ 项的傅里叶级数可达到与 $ N = 20 $ 项切比雪夫插值相当的精度，表明傅里叶级数收敛更快。
• 两种逼近方法中均出现吉布斯现象，表现为不连续点附近的振荡，但其过冲的幅度和宽度在两种方法中相似。
• 切比雪夫多项式根据次数 $ n $ 的奇偶性为偶函数或奇函数，这影响展开中系数的稀疏性，尤其对奇函数而言，偶数索引的系数为零。
• 生成函数 $ \frac{1 - zx}{1 - 2zx + z^2} = \sum_{n=0}^\infty T_n(x) z^n $ 通过复指数和几何级数求和被严格推导得出。

Figure 3: A step function (blue curve) approximated by interpolation functions corresponding to the Chebyshev polynomials with $N=20$ (red curve on the left panel) and a Fourier series with $N=10$ (red curve on the right panel). For non-polynomial functions, more terms are required in the interpolat