[論文レビュー] 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 $ を決定すること。
• 多項的および非多項的関数（例：7次多項式、ヘヴィサイドのステップ関数）の数値的近似を、$ 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 ギブス現象は両方の近似法に及ぼす影響は何か？不連続性付近での誤差挙動はどのように異なるのか？

主な発見

• 7次多項式の補間において、$ N = 7 $ 項のチェビシェフ多項式補間は正確な補間を達成するが、同等の定性的な精度を得るにはフーリエ級数が少なくとも $ N = 10 $ 項を必要とする。
• 多項的関数に対しては、$ N $ 項のチェビシェフ近似は誤差ゼロを示し、正確な補間が達成される。一方、フーリエ級数では同程度の精度を得るにはより多くの項が必要である。
• ヘヴィサイドのステップ関数などの非多項的関数に対しては、$ N = 10 $ 項のフーリエ級数が、$ N = 20 $ 項のチェビシェフ補間と同等の精度に達する。これは、フーリエ級数の収束が速いことを示している。
• 両方の近似法においてギブス現象が発生し、不連続性付近で振動が生じるが、オーバーシュートの振幅と幅は両者で類似している。
• チェビシェフ多項式は次数 $ n $ に応じて偶関数または奇関数であり、特に奇関数では偶数番目の係数が消えるため、展開における係数のスパarsityに影響を与える。
• 複素指数関数と幾何級数の和を用いて、生成関数 $ \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