체비쇼프 다항식

편집 역사 토론
수치해석 계산물리 마지막 수정: 2026-08-20 04:48:09

1. 개요[편집]

체비쇼프 다항식
Chebyshev Polynomials
분야근사이론 × 수치해석
정의$T_n(\cos\theta) = \cos(n\theta)$
점화식$T_{n+1} = 2x\,T_n - T_{n-1}$
간판 성질최소최대(minimax) · 등리플
대표 응용근사·보간, 스펙트럴 방법, 구적

코사인을 다항식으로 변장시킨 것. 그런데 그 변장이 근사이론 전체를 지배한다.

체비쇼프 다항식(Chebyshev polynomials, 제1종 TnT_n)은 삼각 항등식 Tn(cos⁡θ)=cos⁡(nθ)T_n(\cos\theta) = \cos(n\theta)로 정의되는 다항식 열이다. x=cos⁡θx = \cos\theta로 치환하면 cos⁡(nθ)\cos(n\theta)가 xx에 대한 nn차 다항식이 된다는, 언뜻 믿기지 않는 사실에서 출발한다. 예를 들어 cos⁡2θ=2cos⁡2θ−1\cos 2\theta = 2\cos^2\theta - 1이므로 T2(x)=2x2−1T_2(x) = 2x^2 - 1이고, cos⁡3θ=4cos⁡3θ−3cos⁡θ\cos 3\theta = 4\cos^3\theta - 3\cos\theta에서 T3(x)=4x3−3xT_3(x) = 4x^3 - 3x가 나온다.

체비쇼프 다항식은 직교다항식 계열의 한 식구([−1,1][-1,1]에서 가중함수 w(x)=1/1−x2w(x)=1/\sqrt{1-x^2}에 대해 직교)이지만, 이 문서는 직교성 일반론 대신 체비쇼프만의 특별한 성질 — 최소최대 최적성과 그 실용적 후예인 체비쇼프 절점·보간·구적 — 에 집중한다. 직교다항식의 공통 골격(3항 점화식, 가우스 구적)은 직교다항식 문서에 정리돼 있다.

2. 정의와 점화식[편집]

핵심 정의는 딱 하나, x=cos⁡θx=\cos\theta일 때

Tn(x)=cos⁡(nθ)=cos⁡(narccos⁡x)T_n(x) = \cos(n\theta) = \cos(n \arccos x)

이다. 여기서 삼각 항등식 cos⁡((n+1)θ)+cos⁡((n−1)θ)=2cos⁡θcos⁡(nθ)\cos((n{+}1)\theta) + \cos((n{-}1)\theta) = 2\cos\theta\cos(n\theta)를 그대로 옮기면 3항 점화식이 떨어진다.

T0(x)=1,T1(x)=x,Tn+1(x)=2x Tn(x)−Tn−1(x)T_0(x) = 1,\quad T_1(x) = x,\quad T_{n+1}(x) = 2x\,T_n(x) - T_{n-1}(x)

계수가 전부 정수라 손으로도 몇 개는 금방 쓴다. 이 정의에서 즉시 따라오는 두 사실이 뒤의 모든 마법의 씨앗이다.

  • 유계성 — ∣cos⁡(nθ)∣≤1|\cos(n\theta)| \le 1이므로 [−1,1][-1,1]에서 항상 ∣Tn(x)∣≤1|T_n(x)| \le 1.
  • 등진동 — TnT_n은 [−1,1][-1,1] 안에서 ±1\pm 1을 정확히 n+1n+1번 번갈아 찍는다(θ=kπ/n\theta = k\pi/n에서). 이 균등한 물결이 “등리플(equiripple)“의 정체다.

3. 최소최대(minimax) 성질[편집]

체비쇼프 다항식이 근사이론의 왕좌에 앉은 이유는 최소최대 성질 때문이다. 최고차항 계수가 1인(xnx^n으로 시작하는) 모든 nn차 다항식(모닉 다항식) 중에서, [−1,1][-1,1]에서의 최댓값(무한대 노름)을 가장 작게 만드는 것이 바로 21−nTn(x)2^{1-n}T_n(x)이고, 그 최솟값은 21−n2^{1-n}이다.

min⁡p monic, deg⁡p=n max⁡x∈[−1,1]∣p(x)∣=max⁡x∈[−1,1]∣21−nTn(x)∣=21−n\min_{p \text{ monic},\ \deg p = n}\ \max_{x\in[-1,1]} |p(x)| = \max_{x\in[-1,1]} \left| 2^{1-n} T_n(x)\right| = 2^{1-n}

말로 풀면 “정해진 차수와 선두 계수로 구간 위에서 가장 얌전하게 진동하는 다항식은 체비쇼프뿐”이다. 앞서의 등진동 성질이 바로 이 최적성의 증거다 — 체비쇼프의 이런 등진동은 미니맥스 근사의 등리플 최적해가 갖는 특징(체비쇼프의 등진동 정리: 최적 근사는 n+2n+2개 점에서 부호를 바꾸며 최대 오차를 번갈아 찍는다)의 원형이다. 함수 라이브러리 내부의 sin⁡\sin·exp⁡\exp 다항식 근사가 조용히 이 성질을 착취한다.1

4. 체비쇼프 절점과 룽게 현상 회피[편집]

최소최대 성질의 가장 실용적인 열매가 체비쇼프 절점(Chebyshev nodes)이다. 등간격 점으로 고차 다항식 보간을 하면 양 끝에서 곡선이 미친 듯이 진동하는 룽게 현상이 터진다(보간과 근사 참고). 그 원흉은 등간격 절점에서 보간 오차를 지배하는 절점 다항식 ∏(x−xk)\prod(x-x_k)의 최댓값이 끝단에서 폭발한다는 데 있다.

그런데 이 절점 다항식을 최소화하는 배치가 바로 앞의 최소최대 정리가 답하는 문제다. TnT_n의 근

xk=cos⁡ ⁣(2k−12nπ),k=1,…,nx_k = \cos\!\left(\frac{2k-1}{2n}\pi\right),\qquad k = 1,\dots,n

에 절점을 잡으면 절점 다항식이 정확히 21−nTn2^{1-n}T_n이 되어 오차 상한이 최소가 된다. 이 점들은 θ\theta가 등간격일 때 x=cos⁡θx=\cos\theta의 상이므로, 구간 양 끝에 촘촘히 몰리는 분포다. 끝에 점을 몰아 넣어 룽게 진동을 눌러버리는 것. 실제로 체비쇼프 절점 보간은 매끄러운 함수에 대해 차수를 올릴수록 균등 수렴하며, 이것이 스펙트럴 방법의 정확도로 이어진다.

5. 스펙트럴 방법과 클렌쇼-커티스 구적[편집]

유한 구간의 스펙트럴 방법에서 체비쇼프 기저가 표준으로 쓰이는 이유는 두 가지다. 첫째, 방금 본 대로 체비쇼프 절점 배치가 룽게 없이 균등 수렴을 준다. 둘째, x=cos⁡θx=\cos\theta 치환으로 체비쇼프 전개가 코사인 급수가 되어, 계수 계산이 고속 푸리에 변환(정확히는 이산 코사인 변환)으로 O(nlog⁡n)O(n\log n)에 끝난다. 매끄러운 해에 대해 오차가 지수적으로 감소하는 스펙트럴 정확도가 여기서 나온다.

같은 아이디어를 적분에 적용한 것이 클렌쇼-커티스 구적(클렌쇼-커티스 구적)이다. 피적분함수를 체비쇼프 절점(정확히는 체비쇼프-가우스-로바토 극점 xk=cos⁡(kπ/n)x_k=\cos(k\pi/n))에서 값을 따 체비쇼프 급수로 전개한 뒤 항별 적분한다. 노드·가중치를 FFT로 뽑을 수 있고, 대다수 실전 함수에서 직교다항식 기반 가우스 구적에 필적하는 정확도를 훨씬 싼 비용에 낸다는 것이 매력이다.2

한편 급수 ∑kckTk(x)\sum_k c_k T_k(x)를 값으로 평가할 때는 점화식을 거꾸로 접는 클렌쇼 알고리즘(Clenshaw algorithm)을 쓴다. 각 Tk(x)T_k(x)를 따로 구해 더하는 순진한 방식보다 수치적으로 안정하고 빠르다 — 직교다항식의 3항 점화식이 있으면 어떤 계열에든 통하는 범용 기법이다.

6. 제1종과 제2종[편집]

체비쇼프에는 짝이 있다. 제2종 체비쇼프 다항식 UnU_n은

Un(cos⁡θ)=sin⁡((n+1)θ)sin⁡θU_n(\cos\theta) = \frac{\sin\big((n+1)\theta\big)}{\sin\theta}

로 정의된다. U0=1U_0 = 1, U1=2xU_1 = 2x에서 시작하되 점화식은 TnT_n과 똑같이 Un+1=2x Un−Un−1U_{n+1} = 2x\,U_n - U_{n-1}이다. 둘은 미분으로 이어진다.

ddxTn(x)=n Un−1(x)\frac{d}{dx}T_n(x) = n\,U_{n-1}(x)

제1종 TnT_n이 균등(무한대 노름) 최적화에 특화됐다면, 제2종 UnU_n은 가중함수 1−x2\sqrt{1-x^2}에 대한 직교성을 가져 두 번째 종류의 구적이나 삼각적분에서 등장한다. 실무에서 “체비쇼프”라고 하면 압도적으로 제1종 TnT_n을 가리키지만, 미분·적분 관계 때문에 제2종도 함께 딸려 온다. 역사적으로는 르장드르 다항식과 함께 19세기 파프누티 체비쇼프의 최적 근사 연구에서 태어났다.3

7. 관련 문서[편집]

8. Footnotes[편집]

  1. “왜 굳이 체비쇼프냐, 그냥 테일러 급수 쓰면 안 되냐”는 질문이 국룰인데, 테일러는 전개점 근처만 정확하고 구간 끝에서 오차가 커진다. 체비쇼프는 구간 전체에 오차를 균등하게 뿌려 최악 오차를 낮춘다. 같은 차수로 최악 정밀도를 벌려면 테일러보다 체비쇼프가 압도적이라, 수학 라이브러리의 초월함수 근사는 대부분 체비쇼프(또는 그 사촌 미니맥스 렘즈 알고리즘)로 계수를 뽑는다. ↩

  2. 오랫동안 “가우스 구적이 클렌쇼-커티스보다 두 배 정확하니 무조건 우월”이라 여겨졌는데, 트레페슨(Trefethen)이 2008년에 “실제 함수에서는 둘의 수렴 속도가 사실상 같다”는 걸 정리해 통념을 뒤집었다. 노드를 FFT로 뽑을 수 있는 클렌쇼-커티스가 오히려 실용적으로 이득인 경우가 많다는 것. Chebfun 프로젝트가 이 철학의 결정판이다. ↩

  3. 이름의 로마자 표기가 Chebyshev·Tschebyscheff·Tchebycheff 등으로 난무하는 탓에, 기호가 하필 TT인 것이 “Tschebyscheff”의 T라는 설이 유력하다. 키릴 문자 Чебышёв를 각 나라가 제멋대로 옮긴 결과라, 논문 검색할 때 철자 하나 때문에 헤매는 것이 이 분야 통과의례. ↩