チェビシェフ多項式

最初の5つの第一種チェビシェフ多項式 T_n(x), (−1≤x≤+1, n=0,...,4)

第一種チェビシェフ多項式（テンプレート:Lang-en-short）は、以下の式で定義される:

$T_n(x)=\cos (nt),$ ただし x = cos t

これは三角多項式（テンプレート:En）、直交多項式の一例である。

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

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

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

$\begin{array}{cc}{T}_0(x)& =1,\\ T_1(x)& =x,\\ T_2(x)& =2x^2-1,\\ T_3(x)& =4x^3-3x,\dots \end{array}$

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

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

最初の5つの第二種チェビシェフ多項式 U_n(x), (−1≤x≤+1, n=0,...,4)

第二種チェビシェフ多項式（テンプレート:Lang-en-short）は$U_{n-1}(\cos t)=\sin nt/\sin t$によって定義される。 これは先ほどと同様の議論または$n{U}_{n-1}(t)=T{\text{'}}_n(t)$ の関係を用いれば類似した多項式と見ることができる。

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

$\begin{array}{cc}{U}_0(x)& =1,\\ U_1(x)& =2x,\\ U_2(x)& =4x^2-1,\\ U_3(x)& =8x^3-4x,\dots \end{array}$

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

$U_{n+1}(x)=2x{U}_n(x)-U_{n-1}(x)$ （ただしn = 1, 2, …）

となる。

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

性質

• 次の母関数により定義される：

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

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

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

$(1-x^2)y^{″}-x{y}^{\prime }+n^{2}y=0\text{ for }y=T_n(x)$

$(1-x^2)y^{″}-3x{y}^{\prime }+n(n+2)y=0\text{ for }y=U_n(x)$

多項式

チェビシェフ多項式はゲーゲンバウアー多項式の特別な場合である。 テンプレート:Indent 特に、$T_n$ は $n$ 次多項式であり、最高次の項の係数は $n\ge 1$ のとき $2^{n-1}$ である。また偶奇性 テンプレート:Indent を持つ。

零点と極値

第1種チェビシェフ多項式 $T_n(x)$ は区間 $(-1,+1)$ に $n$ 個の零点を持つ。その座標は テンプレート:Indent である。これをテンプレート:Illと呼ぶ。

$T_n(x)$ ($n\ge 1$) は区間 $[-1,+1]$ に $n+1$ 個の極値点を持ち（そのうちの二点は区間の両端）、その座標は テンプレート:Indent である。またその極点値は $T_n(x{\text{'}}_k)=(-1{)}^k$ を満たす。従ってチェビシェフ多項式の区間 $[-1,+1]$ での一様ノルムは $1$ である。

直交性

第1種チェビシェフ多項式は区間 $[-1,1]$, 重み $w(x)=1/\sqrt{1-x^2}$ に関する直交多項式である。すなわち、直交関係 テンプレート:Indent を満足する。ただし $N_0=\pi$, $N_n=\pi /2$ ($n\ge 1$) である。同様に、第2種チェビシェフ多項式は区間 $[-1,1]$, 重み $w(x)=\sqrt{1-x^2}$ に関する直交多項式であり、直交関係 テンプレート:Indent を満足する。

また、第1種チェビシェフ多項式について離散的な直交関係が知られている。$x_k$ を $T_n(x)$ ($n\ge 1$) の $n$ 個の零点とするとき, $i,j<n$ に対して離散直交関係 テンプレート:Indent が成立する。ただし $K_0=n$, $K_i=n/2$ ($i\ge 1$) である。この性質はチェビシェフ補間において有用である。

漸化式

微分を含む漸化式 テンプレート:Indent 乗法関係

テンプレート:Indent

応用

共役勾配法の誤差限界

テンプレート:Main 数値線形代数における共役勾配法の誤差限界はチェビシェフ多項式を用いて表されることが示されている。

ガウス-チェビシェフ公式

テンプレート:Main ガウス-チェビシェフ公式はチェビシェフ多項式の零点を用いる数値積分公式であり、ガウス求積の一種である。

クレンショ―＝カーティス求積

テンプレート:Main チェビシェフ多項式を用いる数値積分法の一種である。

参考文献

• テンプレート:Cite book
• テンプレート:Cite book
• テンプレート:Cite book

関連項目

• 楕円有理関数
• ディクソン多項式

外部リンク

• テンプレート:高校数学の美しい物語
• チェビシェフ多項式の計算法
• チェビシェフの多項式とn倍角の公式
• チェビシェフの多項式
• チェビシェフの多項式の実装
• テンプレート:MathWorld
• テンプレート:MathWorld
• J. C. Mason: "Chebyshev polynomials of the second, third and fourth kinds in approximation, indefinite integration, and integral transforms", Journal of Computational and Applied Mathematics vol.49 (1993) pp.169-178.

テンプレート:Normdaten