第一種チェビシェフ多項式を連続化する

チェビシェフ多項式,一般化

218

はじめに

この記事では第一種チェビシェフ多項式を非整数に一般化します。

第一種チェビシェフ多項式について

さて、第一種チェビシェフ多項式とは次のようなものです。

第一種チェビシェフ多項式
$T_{0} (x) = 1$
$T_{1} (x) = x$
$T_{2} (x) = 2 x^{2} - 1$
$T_{3} (x) = 4 x^{3} - 3 x$
$T_{4} (x) = 8 x^{4} - 8 x^{2} + 1$
$⋮$

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

この多項式は

$T_{n} (\cos (t)) = \cos (n t),$

と見ることで、 $\cos$ の倍角公式そのものになる性質を持っています。

このことは、下図のように立体グラフ化することで視覚的に捉えることができます。

!FORMULA[10][-1671491758][0] の立体グラフ1 $T_{6} (x)$ の立体グラフ1
!FORMULA[11][-1671491758][0] の立体グラフ2 $T_{6} (x)$ の立体グラフ2

!FORMULA[12][-1671491758][0] の立体グラフ1 $T_{6} (x)$ の立体グラフ1

動画へのリンク
「y=32x⁶-48x⁴+18x²-1は円周を5等分し、7等分もするの図」-Twitter

サインカーブをいい感じに円柱に巻き付けたものを横から見ると第一種チェビシェフ多項式のグラフと一致することがおわかりいただけましたでしょうか。

非整数への一般化を考える

第一種チェビシェフ多項式 $T_{n} (x)$ の $n$ は当然ながら非負整数です。この記事では、この $n$ を任意の実数に一般化する方法を考えます。

なぜそんなことを考えるのか？それを説明するために、このグラフをみてください。

!FORMULA[16][-424226515][0]のグラフ $y = T_{4} (x) と y = \cos (4 \cos^{- 1} (x))$ のグラフ

$y = T_{4} (x) と y = \cos (4 \cos^{- 1} (x))$ 　のグラフは $| x | \leq 1$ の範囲で完全に一致していますね？
このように、 $y = T_{n} (x) と y = \cos (n \cos^{- 1} (x))$ 　のグラフは $| x | \leq 1$ の範囲で一般に一致します。このことは、 $T_{n} (\cos (t)) = \cos (n t)$ に $t = \cos^{- 1} x$ を代入すればわかります。

ここで、 $y = \cos (n \cos^{- 1} (x))$ の方は $n$ を実数に一般化してもグラフを書くことができ、 $n$ を連続的に変化させることができます。そのことから、 $T_{n} (x)$ の方も同様に連続的に変化させることができるような表現を見つけることがこの記事の目的です。

準備

この記事では複素数の対数や三角関数の逆関数を扱います。
指数関数の逆関数として複素数の対数を定義したり、三角関数の逆関数を定義したりする際には値域が多価にならないように制限しないとうまく議論できないので、この記事ではそれぞれ次のように制限します。

・　この記事での複素数の対数を次のように定義します。

　 $Log (z) = \log | z | + i Arg (z)$

　ここで $Arg (z)$ は偏角の主値といい、値域を $- π < Arg (z) \leq π$ とします。このとき

$e^{Log (z)} = z$

となることに注意します。

・この記事では $\cos$ の逆関数を $\cos^{- 1}$ と表記し、アークコサインと呼びます。定義域・値域を次のように制限します。

　 $y = \cos^{- 1} x$ $\Leftrightarrow$ $x = \cos y$ 　　 $(- 1 \leq x \leq 1, 0 \leq y \leq π)$

連続化した式の導出

$T_{n} (\cos (t)) = \cos (n t)$
に
$t = \cos^{- 1} x$
を代入すると、 $(| x | \leq 1)$

$T_{n} (x) = \cos (n \cos^{- 1} x)$

次に

$e^{i θ} = \cos θ + i \sin θ$
に

$θ = \cos^{- 1} x$
を代入すると

$\begin{aligned} e^{i \cos^{- 1} x} & = \cos (\cos^{- 1} x) + i \sin (\cos^{- 1} x) \\ = x + i \sqrt{1 - x^{2}} \end{aligned}$

ここで両辺の $Log$ をとります。

$i \cos^{- 1} x = Log (x + i \sqrt{1 - x^{2}})$
$\cos^{- 1} x = - i Log (x + i \sqrt{1 - x^{2}})$
$n \cos^{- 1} x = - i \cdot n Log (x + i \sqrt{1 - x^{2}})$
$\begin{aligned} \cos (n \cos^{- 1} x) & = \cos (- i \cdot n Log (x + i \sqrt{1 - x^{2}})) \\ = \frac{1}{2} (e^{- i^{2} \cdot n Log (x + i \sqrt{1 - x^{2}})} + e^{i^{2} \cdot n Log (x + i \sqrt{1 - x^{2}})}) \\ = \frac{1}{2} ((x + i \sqrt{1 - x^{2}})^{n} + (x + i \sqrt{1 - x^{2}})^{- n}) \\ = \frac{1}{2} ((x + i \sqrt{1 - x^{2}})^{n} + (x - i \sqrt{1 - x^{2}})^{n}) \end{aligned}$