logo

제1종 제2종 체비셰프 다항함수의 관계 📂수치해석

제1종 제2종 체비셰프 다항함수의 관계

정리

제1종 체비셰프 다항함수 Tn(x)=cos⁡(ncos⁡−1x)T_{n} (x) = \cos \left( n \cos^{-1} x \right) 과 제2종 체비셰프 다항함수 Un(x)=1n+1Tn+1’(X)\displaystyle U_{n} (x) = {{1} \over {n+1} } T_{n+1} ’ (X) 은 다음의 관계를 가진다.

  • [1]: Un(x)−Un−2(x)=2Tn(X)U_{n} (x) - U_{n-2} (x) = 2 T_{n} (X)
  • [2]: Tn(x)−Tn−2(x)=2(x2−1)Un−2(x)T_{n} (x) - T_{n-2} (x) = 2( x^2 - 1 ) U_{n-2} (x)
  • 보통 0≤θ≤π0 \le \theta \le \pi 에 대해 θ:=cos⁡−1x\theta := \cos^{-1} x 라고 둔다.

증명

위 등식들을 증명하는 데에는 아래의 팩트가 필수적이다.

제2종 체비셰프 다항함수의 다른 표현: Un(x)=sin⁡((n+1)θ)sin⁡θU_{n} (x) = {{\sin \left( ( n +1 ) \theta \right)} \over { \sin \theta }}

[1]

삼각함수의 합차공식에 의해 Un(x)−Un−2(x)=1sin⁡θ[sin⁡(n+1)θ−sin⁡(n−1)θ]=1sin⁡θ2cos⁡((n+1)+(n−1)2θ)sin⁡((n+1)−(n−1)2θ)=2sin⁡θcos⁡nθsin⁡θ=2cos⁡nθ=2Tn(x) \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]

삼각함수의 덧셈정리에 의해 Tn±1(x)=cos⁡(n±1)θ=cos⁡(nθ)cos⁡θ∓sin⁡(nθ)sin⁡θ T_{n \pm 1} (x) = \cos (n \pm 1) \theta = \cos (n \theta ) \cos \theta \mp \sin ( n \theta ) \sin \theta 이다. 따라서 Tn−1(x)−Tn+1(x)=2sin⁡(nθ)sin⁡θ=2sin⁡2θsin⁡(nθ)sin⁡θ=2sin⁡2θUn−1(x)=2(1−x2)Un−1(x) \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*}

■

같이보기