チェビシェフ多項式

この項目「チェビシェフ多項式」は翻訳されたばかりのものです。不自然あるいは曖昧な表現などが含まれる可能性があり、このままでは読みづらいかもしれません。（原文：planetmath chebyshevpolynomial v11 (2013-03-22)より翻訳） 修正、加筆に協力し、現在の表現をより自然な表現にして下さる方を求めています。ノートページや履歴も参照してください。（2013年7月）

第一種チェビシェフ多項式（英: Chebyshev polynomials of the first kind）は、以下の式で定義される^[1]:

${\displaystyle T_{n}(x)=\cos(nt),}$ ただし x = cos t

これは三角多項式（trigonometric polynomial）、直交多項式の一例である^[1]。

これはcos(kt)をコサインの加法定理を用いてcos(t)の多項式で表したものと見ることができる。

${\displaystyle {\begin{aligned}\cos 1t&=\cos t,\\\cos 2t&=2\cos ^{2}t-1,\\\cos 3t&=4\cos ^{3}t-3\cos t,\dots \end{aligned}}}$

従って、以下の式を得る。

${\displaystyle {\begin{aligned}T_{0}(x)&=1,\\T_{1}(x)&=x,\\T_{2}(x)&=2x^{2}-1,\\T_{3}(x)&=4x^{3}-3x,\dots \end{aligned}}}$

これらの多項式は次の三項漸化式に従うことがわかる。

${\displaystyle T_{n+1}(x)=2xT_{n}(x)-T_{n-1}(x)}$ （ただしn = 1, 2, …）

第二種チェビシェフ多項式（英: Chebyshev polynomials of the second kind）は${\displaystyle U_{n-1}(\cos t)=\sin nt/\sin t}$によって定義される。 これは先ほどと同様の議論または${\displaystyle nU_{n-1}(t)=T'_{n}(t)}$ の関係を用いれば類似した多項式と見ることができる。

従って、最初の数個を列挙すれば以下のようになる。

${\displaystyle {\begin{aligned}U_{0}(x)&=1,\\U_{1}(x)&=2x,\\U_{2}(x)&=4x^{2}-1,\\U_{3}(x)&=8x^{3}-4x,\dots \end{aligned}}}$

T と同じ三項漸化式が U にも成りたち、

${\displaystyle U_{n+1}(x)\;=\;2xU_{n}(x)-U_{n-1}(x)}$ （ただしn = 1, 2, …）

となる。

この記事は、クリエイティブ・コモンズ・ライセンス 表示-継承 3.0 非移植のもと提供されているオンライン数学辞典『PlanetMath』の項目Chebyshev polynomialの本文を含む

性質[編集]

• 次の母関数により定義される^[1]：

${\displaystyle \sum _{n=0}^{\infty }T_{n}(x)t^{n}={\frac {1-tx}{1-2tx+t^{2}}}}$

${\displaystyle \sum _{n=0}^{\infty }U_{n}(x)t^{n}={\frac {1}{1-2tx+t^{2}}}}$

• 次の常微分方程式（チェビシェフの微分方程式）を満たす^[1]：

${\displaystyle (1-x^{2})\,y''-x\,y'+n^{2}\,y=0\quad {\text{ for }}y=T_{n}(x)}$

${\displaystyle (1-x^{2})\,y''-3x\,y'+n(n+2)\,y=0\quad {\text{ for }}y=U_{n}(x)}$

多項式[編集]

チェビシェフ多項式はゲーゲンバウアー多項式の特別な場合である^[2]。

特に、${\displaystyle T_{n}}$ は ${\displaystyle n}$ 次多項式であり、最高次の項の係数は ${\displaystyle n\geq 1}$ のとき ${\displaystyle 2^{n-1}}$ である^[3]。また偶奇性

を持つ^[4]。

零点と極値[編集]

第1種チェビシェフ多項式 ${\displaystyle T_{n}(x)}$ は区間 ${\displaystyle (-1,+1)}$ に ${\displaystyle n}$ 個の零点を持つ。その座標は

である^[3]。これをチェビシェフノード（英語版）と呼ぶ。

${\displaystyle T_{n}(x)}$ (${\displaystyle n\geq 1}$) は区間 ${\displaystyle [-1,+1]}$ に ${\displaystyle n+1}$ 個の極値点を持ち（そのうちの二点は区間の両端）、その座標は

である^[3]。またその極点値は ${\displaystyle T_{n}(x'_{k})=(-1)^{k}}$ を満たす^[3]。従ってチェビシェフ多項式の区間 ${\displaystyle [-1,+1]}$ での一様ノルムは ${\displaystyle 1}$ である。

直交性[編集]

第1種チェビシェフ多項式は区間 ${\displaystyle [-1,1]}$, 重み ${\displaystyle w(x)=1/{\sqrt {1-x^{2}}}}$ に関する直交多項式である。すなわち、直交関係

を満足する^[5]。ただし ${\displaystyle N_{0}=\pi }$, ${\displaystyle N_{n}=\pi /2}$ (${\displaystyle n\geq 1}$) である。同様に、第2種チェビシェフ多項式は区間 ${\displaystyle [-1,1]}$, 重み ${\displaystyle w(x)={\sqrt {1-x^{2}}}}$ に関する直交多項式であり、直交関係

を満足する^[6]。

また、第1種チェビシェフ多項式について離散的な直交関係が知られている。${\displaystyle x_{k}}$ を ${\displaystyle T_{n}(x)}$ (${\displaystyle n\geq 1}$) の ${\displaystyle n}$ 個の零点とするとき, ${\displaystyle i,j<n}$ に対して離散直交関係

が成立する^[7]。ただし ${\displaystyle K_{0}=n}$, ${\displaystyle K_{i}=n/2}$ (${\displaystyle i\geq 1}$) である。この性質はチェビシェフ補間において有用である^[8]。

漸化式[編集]

微分を含む漸化式^[9]

乗法関係^[9]

${\displaystyle 2T_{n}(x)T_{m}(x)=T_{n+m}(x)+T_{|n-m|}(x)}$

応用[編集]

チェビシェフ補間[編集]

共役勾配法の誤差限界[編集]

数値線形代数における共役勾配法の誤差限界はチェビシェフ多項式を用いて表されることが示されている^[10]。

ガウス-チェビシェフ公式[編集]

ガウス-チェビシェフ公式はチェビシェフ多項式の零点を用いる数値積分公式であり、ガウス求積の一種である^[11]。

クレンショ―＝カーティス求積[編集]

チェビシェフ多項式を用いる数値積分法の一種である^[12][13][14]。

出典[編集]

参考文献[編集]

• 森口繁一、宇田川銈久、一松信『岩波数学公式III 特殊函数』岩波書店、1987年。ISBN 4-00-005509-7。 
• Gil, Amparo; Segura, Javier; Temme (2007). Numerical Methods for Special Functions. Society for Industrial and Applied Mathematics. doi:10.1137/1.9780898717822. ISBN 978-0-89871-634-4 
• Mason, John; Handscomb, David (2003). Chabyshev Polynomials. Chapman & Hall/CRC. ISBN 0-8493-0355-9 

関連項目[編集]

外部リンク[編集]

• 『チェビシェフ多項式』 - 高校数学の美しい物語
• チェビシェフ多項式の計算法
• チェビシェフの多項式とn倍角の公式
• チェビシェフの多項式
• チェビシェフの多項式の実装
• Weisstein, Eric W. "Chebyshev Polynomial of the First Kind". mathworld.wolfram.com (英語).
• Weisstein, Eric W. "Chebyshev Polynomial of the Second Kind". mathworld.wolfram.com (英語).
• J. C. Mason: "Chebyshev polynomials of the second, third and fourth kinds in approximation, indefinite integration, and integral transforms", Journal of Compuational and Applied Mathematics vol.49 (1993) pp.169-178.