Chebyshev nodes

In numerical analysis, Chebyshev nodes are specific real algebraic numbers, namely the roots of the Chebyshev polynomials of the first kind. They are often used as nodes in polynomial interpolation because the resulting interpolation polynomial minimizes the effect of Runge's phenomenon.^[1]

Definition

Zeros of the first fifty Chebyshev polynomials of the First Kind

For a given natural number n, Chebyshev nodes in the interval (−1, 1) are

x_{k}=\cos \left({\frac {2k-1}{2n}}\pi \right){\mbox{ , }}k=1,\ldots ,n.

These are the roots of the Chebyshev polynomial of the first kind of degree n. For nodes over an arbitrary interval [a, b] an affine transformation can be used:

{x}_{k}={\frac {1}{2}}(a+b)+{\frac {1}{2}}(b-a)\cos \left({\frac {2k-1}{2n}}\pi \right){\mbox{ , }}k=1,\ldots ,n.

Approximation

The Chebyshev nodes are important in approximation theory because they form a particularly good set of nodes for polynomial interpolation. Given a function ƒ on the interval $[-1,+1]$ and $n$ points $x_{1},x_{2},\ldots ,x_{n},$ in that interval, the interpolation polynomial is that unique polynomial $P_{n-1}$ of degree at most $n-1$ which has value $f(x_{i})$ at each point $x_{i}$ . The interpolation error at $x$ is

f(x)-P_{{n-1}}(x)={\frac {f^{{(n)}}(\xi )}{n!}}\prod _{{i=1}}^{n}(x-x_{i})

for some $\xi$ in [−1, 1].^[2] So it is logical to try to minimize

\max _{{x\in [-1,1]}}\left|\prod _{{i=1}}^{n}(x-x_{i})\right|.

This product Π is a monic polynomial of degree n. It may be shown that the maximum absolute value of any such polynomial is bounded below by 2¹⁻ⁿ. This bound is attained by the scaled Chebyshev polynomials 2¹⁻ⁿ T_n, which are also monic. (Recall that |T_n(x)| ≤ 1 for x ∈ [−1, 1].^[3]). Therefore, when interpolation nodes x_i are the roots of T_n, the interpolation error satisfies

\left|f(x)-P_{{n-1}}(x)\right|\leq {\frac {1}{2^{{n-1}}n!}}\max _{{\xi \in [-1,1]}}\left|f^{{(n)}}(\xi )\right|.

For an arbitrary interval [a, b] a change of variable shows that

\left|f(x)-P_{n-1}(x)\right|\leq {\frac {1}{2^{n-1}n!}}\left({\frac {b-a}{2}}\right)^{n}\max _{\xi \in [a,b]}\left|f^{(n)}(\xi )\right|.

Notes

↑ Fink, Kurtis D., and John H. Mathews. Numerical Methods using MATLAB. Upper Saddle River, NJ: Prentice Hall, 1999. 3rd ed. pp. 236-238.
↑ Stewart (1996), (20.3)
↑ Stewart (1996), Lecture 20, §14

References

Stewart, Gilbert W. (1996), Afternotes on Numerical Analysis, SIAM, ISBN 978-0-89871-362-6 .

Algebraic numbers

Algebraic integer Chebyshev nodes Constructible number Conway's constant ³√2 Eisenstein integer Gaussian integer $φ$ Kummer ring Perron number Pisot–Vijayaraghavan number Quadratic irrational number ℚ Root of unity Salem number $δ$ _$S$ √2 √3 √5 ¹²√2		ℚ

Chebyshev nodes

Definition

Approximation

Notes

References

Further reading