■直交多項式入門(その7)

 第1種チェビシュフ多項式

  T0(x)=1,T1(x)=x,T2(x)=2x^2−1,T3(x)=4x^3−3x,T4(x)=8x^4−8x^2+1,・・・

また,Tn(x)=0の根はcos(kπ/2n),k=1,3,5,・・・,2n−1と表される.

  Tn(x)=2^n-1Π(x−cos((2k−1)π/2n))

  Tn’(x)=2^n-1nΠ(x−cos(kπ/2n))

 sinの場合には番号をひとつずらせて,sin(n+1)θ/sinθを考えると,第2種チェビシュフ多項式

  U0(x)=1,U1(x)=2x,U2(x)=4x^2−1,U3(x)=8x^3−4x,U4(x)=16x^4−12x^2+1,・・・

また,Un(x)=0の根はcos(kπ/(n+1)),k=1,2,3,・・・,nと表される.

===================================

【1】チェビシェフ多項式の性質

[1]最良近似

  f(x)=x^n+p1x^n-1+・・・+pn

  L=max|f(x)|

とおく.そのとき,区間[−1,1]上でLを最小にするのは

  f(x)=Tn(x)/2^n-1

ただひとつで,L=1/2^n-1が成立する.

[2]漸化式

  Tn(x)=2xTn-1(x)−Tn-2(x)

  Un(x)=2xUn-1(x)−Un-2(x)

[3]直交性

  ∫(-1,1)Tm(x)Tn(x)/(1−x^2)^1/2dx

 =0     (m≠n)

 =π     (m=n=0)

 =π/2   (m=n≠0)

[4]母関数

  T0(x)+2ΣTn(x)t^n=(−t^2+1)/(t^2−2xt+1)

[5]合成

  Tm(Tn(x))=Tmn(x)

[6]多項式近似定理(ワイエルシュトラス)

 閉区間[a,b]で連続な関数をf(x)とする.このとき

  |f(x)−g(x)|<ε

を満たす多項式g(x)が常に存在し,それはただひとつである.

[7]微分方程式

  (1−x^2)Tn”(x)=xTn’(x)−n^2Tn(x)

===================================