ConceptComplete

Chebyshev Approximation

Chebyshev polynomials provide optimal approximations by minimizing maximum error, and Chebyshev nodes mitigate Runge oscillations in polynomial interpolation through strategic point placement.

DefinitionChebyshev Polynomials

The Chebyshev polynomials of the first kind are defined by: Tn(x)=cos⁑(narccos⁑x),x∈[βˆ’1,1]T_n(x) = \cos(n \arccos x), \quad x \in [-1,1]

They satisfy the recurrence relation: T0(x)=1,T1(x)=x,Tn+1(x)=2xTn(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)

The Chebyshev polynomials are orthogonal on [βˆ’1,1][-1,1] with weight (1βˆ’x2)βˆ’1/2(1-x^2)^{-1/2} and satisfy ∣Tn(x)βˆ£β‰€1|T_n(x)| \leq 1 for ∣xβˆ£β‰€1|x| \leq 1.

The minimax property of Chebyshev polynomials makes them fundamental in approximation theory. Among all monic polynomials of degree nn, 21βˆ’nTn(x)2^{1-n}T_n(x) has the smallest maximum absolute value on [βˆ’1,1][-1,1], equal to 21βˆ’n2^{1-n}.

DefinitionChebyshev Nodes

The Chebyshev nodes of the first kind on [βˆ’1,1][-1,1] are: xk=cos⁑(2k+12(n+1)Ο€),k=0,1,…,nx_k = \cos\left(\frac{2k+1}{2(n+1)}\pi\right), \quad k = 0, 1, \ldots, n

These are the zeros of Tn+1(x)T_{n+1}(x). For an arbitrary interval [a,b][a,b], transform via: xk=a+b2+bβˆ’a2cos⁑(2k+12(n+1)Ο€)x_k = \frac{a+b}{2} + \frac{b-a}{2}\cos\left(\frac{2k+1}{2(n+1)}\pi\right)

ExampleInterpolation Error Comparison

Interpolating f(x)=11+25x2f(x) = \frac{1}{1+25x^2} (Runge's example) on [βˆ’1,1][-1,1] with n=10n=10 points:

Equally-spaced nodes: Maximum error β‰ˆ2.5\approx 2.5 near x=Β±1x = \pm 1 (wild oscillations)

Chebyshev nodes: Maximum error β‰ˆ0.04\approx 0.04 (well-behaved approximation)

The error improvement is dramatic: Chebyshev nodes cluster near endpoints where interpolation error is typically largest, balancing error across the interval.

Remark

Interpolation Error Bound: For polynomial interpolation at Chebyshev nodes, the error satisfies: ∣f(x)βˆ’pn(x)βˆ£β‰€12nn!max⁑ξ∈[a,b]∣f(n+1)(ΞΎ)∣|f(x) - p_n(x)| \leq \frac{1}{2^n n!} \max_{\xi \in [a,b]} |f^{(n+1)}(\xi)|

This is nearly optimal (within a factor of 2) among all possible node choices. The product ∏i=0n∣xβˆ’xi∣\prod_{i=0}^n |x - x_i| achieves its minimum maximum value when the xix_i are Chebyshev nodes, a consequence of the minimax property of Chebyshev polynomials.

Chebyshev approximations extend to best approximation theory. The Chebyshev expansion of ff on [βˆ’1,1][-1,1] is: f(x)β‰ˆβˆ‘k=0nakTk(x)f(x) \approx \sum_{k=0}^n a_k T_k(x) where coefficients aka_k are computed via orthogonality. This expansion converges rapidly for smooth functions and forms the basis of spectral methods in numerical PDE solving.

The Remez exchange algorithm constructs the polynomial of degree nn that minimizes max⁑x∈[a,b]∣f(x)βˆ’pn(x)∣\max_{x \in [a,b]} |f(x) - p_n(x)| (best uniform approximation). This polynomial oscillates between Β±\pm maximum error at n+2n+2 points, characterized by the equioscillation theorem. Chebyshev interpolation provides a near-optimal approximation that is computationally simpler than the exact minimax polynomial.