제1종 제2종 체비셰프 다항함수의 관계
정리
제1종 체비셰프 다항함수 $T_{n} (x) = \cos \left( n \cos^{-1} x \right)$ 과 제2종 체비셰프 다항함수 $\displaystyle U_{n} (x) = {{1} \over {n+1} } T_{n+1} ’ (X)$ 은 다음의 관계를 가진다.
- [1]: $$U_{n} (x) - U_{n-2} (x) = 2 T_{n} (X)$$
- [2]: $$T_{n} (x) - T_{n-2} (x) = 2( x^2 - 1 ) U_{n-2} (x)$$
- 보통 $0 \le \theta \le \pi$ 에 대해 $\theta := \cos^{-1} x $ 라고 둔다.
증명
위 등식들을 증명하는 데에는 아래의 팩트가 필수적이다.
제2종 체비셰프 다항함수의 다른 표현: $$U_{n} (x) = {{\sin \left( ( n +1 ) \theta \right)} \over { \sin \theta }}$$
[1]
삼각함수의 합차공식에 의해 $$ \begin{align*} & U_{n} (x) - U_{n-2} (x) \\ =& {{1} \over { \sin \theta }} \left[ \sin (n+1) \theta - \sin (n-1) \theta \right] \\ =& {{1} \over { \sin \theta }} 2 \cos \left( {{ (n+1) + (n-1) } \over {2}} \theta \right) \sin \left( {{ (n+1) - (n-1) } \over {2}} \theta \right) \\ =& {{2} \over { \sin \theta }} \cos n \theta \sin \theta \\ =& 2 \cos n \theta \\ =& 2 T_{n} (x) \end{align*} $$
■
[2]
삼각함수의 덧셈정리에 의해 $$ T_{n \pm 1} (x) = \cos (n \pm 1) \theta = \cos (n \theta ) \cos \theta \mp \sin ( n \theta ) \sin \theta $$ 이다. 따라서 $$ \begin{align*} & T_{n-1} (x) - T_{n+1} (x) \\ =& 2 \sin (n \theta ) \sin \theta \\ =& 2 \sin^2 \theta {{ \sin (n \theta ) } \over { \sin \theta}} \\ =& 2 \sin^2 \theta U_{n-1} (x) \\ =& 2 (1-x^2) U_{n-1} (x) \end{align*} $$
■