17

チェビシェフ多項式の漸化式と母関数

4713
0
$$\newcommand{A}[0]{\mathbb{A}} \newcommand{abs}[1]{\lvert#1\rvert} \newcommand{Algs}[0]{{\rm Algs}} \newcommand{Art}[0]{{\rm Art}} \newcommand{Aut}[0]{Aut} \newcommand{B}[0]{\mathbb{B}} \newcommand{bB}[0]{\mathbf{B}} \newcommand{bH}[0]{\mathbf{H}} \newcommand{Br}[0]{\mathrm{Br}} \newcommand{C}[0]{\mathbb{C}} \newcommand{cF}[0]{\mathcal{F}} \newcommand{cG}[0]{\mathcal{G}} \newcommand{cH}[0]{\mathcal{H}} \newcommand{cI}[0]{\mathcal{I}} \newcommand{cJ}[0]{\mathcal{J}} \newcommand{colim}[0]{colim} \newcommand{Cone}[0]{{\rm Cone}} \newcommand{Conj}[0]{{\rm Conj}} \newcommand{dimtot}[0]{{\rm dimtot}} \newcommand{End}[0]{End} \newcommand{Ext}[0]{{\rm Ext}} \newcommand{F}[0]{\mathbb{F}} \newcommand{fa}[0]{\mathfrak{a}} \newcommand{fb}[0]{\mathfrak{b}} \newcommand{fg}[0]{\mathfrak{g}} \newcommand{fh}[0]{\mathfrak{h}} \newcommand{Frob}[0]{\mathrm{Frob}} \newcommand{Fun}[0]{Fun} \newcommand{fZ}[0]{\mathfrak{Z}} \newcommand{G}[0]{\mathbb{G}} \newcommand{Gal}[0]{{\rm Gal}} \newcommand{GL}[0]{GL} \newcommand{Gm}[0]{\mathbb{G}m} \newcommand{grad}[0]{grad} \newcommand{Hom}[0]{Hom} \newcommand{id}[0]{\mathrm{id}} \newcommand{im}[0]{im} \newcommand{Ind}[0]{Ind} \newcommand{inpr}[1]{\langle #1 \rangle} \newcommand{inv}[0]{\mathrm{inv}} \newcommand{leng}[0]{{\rm leng}} \newcommand{li}[0]{{\rm li}} \newcommand{Monoids}[0]{{\rm Monoids}} \newcommand{N}[0]{\mathbb{N}} \newcommand{norm}[1]{\lvert\lvert#1\rvert\rvert} \newcommand{Ob}[0]{{\rm Ob}} \newcommand{ord}[0]{{\rm ord}} \newcommand{p}[0]{\mathfrak{p}} \newcommand{Posets}[0]{{\rm Posets}} \newcommand{pr}[0]{{\rm pr}} \newcommand{Prim}[0]{{\rm Prim}} \newcommand{Proj}[0]{\mathbb{P}} \newcommand{Q}[0]{\mathbb{Q}} \newcommand{quat}[3]{\left(\frac{#1,#2}{#3}\right)} \newcommand{R}[0]{\mathbb{R}} \newcommand{rank}[0]{\mathrm{rank}} \newcommand{rec}[0]{\mathrm{rec}} \newcommand{Res}[0]{Res} \newcommand{res}[0]{\mathrm{res}} \newcommand{sB}[0]{\mathscr{B}} \newcommand{Sch}[0]{Sch} \newcommand{Set}[0]{{\rm Set}} \newcommand{Sets}[0]{{\rm Set}} \newcommand{SL}[0]{SL} \newcommand{SO}[0]{SO} \newcommand{spa}[1]{{\rm Spa}(#1)} \newcommand{Spec}[0]{\mathrm{Spec}} \newcommand{spf}[1]{{\rm Spf}(#1)} \newcommand{Sw}[0]{{\rm Sw}} \newcommand{Tr}[0]{Tr} \newcommand{tr}[0]{\mathrm{tr}} \newcommand{trace}[0]{trace} \newcommand{vect}[1]{\overrightarrow{#1}} \newcommand{Vect}[0]{{\rm Vect}} \newcommand{Vir}[0]{Vir} \newcommand{vol}[0]{\mathrm{vol}} \newcommand{Xb}[0]{\overline{X}} \newcommand{Z}[0]{\mathbb{Z}} $$

チェビシェフ多項式とは

三角関数の倍角の公式と三倍角の公式 $$\begin{eqnarray} \cos2\theta&=&2\cos^2\theta\\ \cos3\theta&=&4\cos^3\theta-3\cos\theta\end{eqnarray}$$の右辺はいずれも$\cos\theta$の多項式となっている。

つまり、 $$\begin{eqnarray} T_2(x)&=&2x^2-1\\ T_3(x)&=&4x^3-3x\end{eqnarray}$$とすると $$\begin{eqnarray} T_2(\cos\theta)&=&2\cos^2\theta-1\\ &=&\cos2\theta\\ T_3(\cos\theta)&=&4\cos^3\theta-3\cos\theta\\ &=&\cos3\theta\end{eqnarray}$$となる。 これは一般化できる。

$0$以上の整数$k$に対し、ある多項式$T_k(x)$が存在して $$\begin{eqnarray} T_k(\cos\theta)=\cos k\theta\end{eqnarray}$$ が成立する。

この多項式$T_k(x)$をチェビシェフ多項式と呼ぶ。
この記事では上の事実を証明し、チェビシェフ多項式の漸化式と母関数を導出する。

上の$T_k(x)$は第一種チェビシェフ多項式と呼ばれるもので、$\sin\theta$についても同様の事実が成り立ちそちらは第二種チェビシェフ多項式と呼ばれる。

漸化式の導出

上の定理を漸化式を用いて証明しよう。

加法定理から $$\begin{eqnarray} \cos(k+1)\theta&=&\cos k\theta\cos\theta-\sin k\theta\sin\theta\\ \cos(k+2)\theta&=&\cos k\theta\cos2\theta-\sin k\theta\sin2\theta\\\end{eqnarray}$$となる。

第一式の両辺を$2\cos\theta$倍して$\sin2\theta=2\sin\theta\cos\theta$を用いると
$$\begin{eqnarray} 2\cos\theta\cos(k+1)\theta&=&2\cos k\theta\cos^2\theta-2\sin k\theta\sin\theta\cos\theta\\ &=&2\cos k\theta\cos^2\theta-\sin k\theta\sin2\theta\end{eqnarray}$$となり、二式の差をとることで $$\begin{eqnarray} \cos(k+2)\theta-2\cos\theta\cos(k+1)\theta &=&\cos k\theta\cos2\theta-2\cos k\theta\cos^2\theta\\ &=&\cos k\theta(2\cos^2\theta-1)-2\cos k\theta\cos^2\theta\\ &=&-\cos k\theta\end{eqnarray}$$ となる。 よって、 $$\begin{eqnarray} \cos(k+2)\theta=2\cos\theta\cos(k+1)\theta-\cos k\theta\end{eqnarray}$$となり、$\cos0\theta=1, \cos1\theta=\cos\theta$であることから$k$について帰納的に$\cos k\theta$$\cos\theta$の多項式であることが従う。
証明終。

証明で得られた多項式を$T_k(x)$と書くと、上の漸化式は $$\begin{eqnarray} T_{k+2}(\cos\theta)=2\cos\theta T_{k+1}(\cos\theta)-T_k(\cos\theta)\end{eqnarray}$$であり、これを$x$についての式にすることでチェビシェフ多項式の漸化式
$$\begin{eqnarray} T_{k+2}(x)=2xT_{k+1}(x)-T_k(x)\end{eqnarray}$$が得られる。

$T_0(x)=1, T_1(x)=x$であるので、 $$\begin{eqnarray} T_2(x)&=&2x\times x-1\\ &=&2x^2-1\\ T_3(x)&=&2x(2x^2-1)-x\\ &=&4x^3-3x\end{eqnarray}$$ となる。

これは冒頭に述べた倍角、三倍角の公式である。

母関数

上で導いた漸化式を用いて、チェビシェフ多項式の母関数を求めよう。以下では、$T_k(x)$$(x)$は省略する。漸化式を整理して
$$\begin{eqnarray} T_{k+2}-2xT_{k+1}+T_k=0\end{eqnarray}$$と書く。

母関数は$t$を形式的な変数として $$\begin{eqnarray} F(t)=T_0+T_1t+T_2t^2+T_3t^3+\cdots\end{eqnarray}$$により定義される形式的な冪級数である。これを漸化式を用いてより簡単な形に変形する。
$$\begin{eqnarray} F(t)&=&T_0&+&T_1t&+&T_2t^2&+&T_3t^3&+&\cdots\\ 2xtF(t)&=&~&&2xT_0t&+&2xT_1t^2&+&2xT_2t^3&+&2xT_3t^4&+&\cdots\\ t^2F(t)&=&~&&~&&T_0t^2&+&T_1t^3&+&T_2t^4&+&T_3t^5+\cdots\\\end{eqnarray}$$となるので、第一式から第二式を引いて第三式を足すと
$$\begin{eqnarray} (1-2xt+t^2)F(t)&=T_0+(T_1-2xT_0)t+(T_2-2xT_1+T_0)t^2+(T_3-2xT_2+T_1)t^3+\cdots\end{eqnarray}$$となる。ここで$T_k$の漸化式を用いることで$t^2$以上の項は全て$0$になり、$$\begin{eqnarray} (1-2xt+t^2)F(t)&=&T_0+(T_1-2xT_0)t\\ &=&1-tx\end{eqnarray}$$となる。これを整理して

$$\begin{eqnarray} F(t)=\frac{1-tx}{1-2xt+t^2}\end{eqnarray}$$

となることがわかった。

次回はチェビシェフ多項式が満たす微分方程式を導く。

投稿日:2020128
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

投稿者

数学が好きです。

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中