The Relationships Between Chebyshev, Legendre and Jacobi Polynomials: The Generic Superiority of Chebyshev Polynomials and Three Important Exceptions

Abstract

We analyze the asymptotic rates of convergence of Chebyshev, Legendre and Jacobi polynomials. One complication is that there are many reasonable measures of optimality as enumerated here. Another is that there are at least three exceptions to the general principle that Chebyshev polynomials give the fastest rate of convergence from the larger family of Jacobi polynomials. When $$f(x)$$ f ( x ) is singular at one or both endpoints, all Gegenbauer polynomials (including Legendre and Chebyshev) converge equally fast at the endpoints, but Gegenbauer polynomials converge more rapidly on the interior with increasing order $$m$$ m . For functions on the surface of the sphere, associated Legendre functions, which are proportional to Gegenbauer polynomials, are best for the latitudinal dependence. Similarly, for functions on the unit disk, Zernike polynomials, which are Jacobi polynomials in radius, are superior in rate-of-convergence to a Chebyshev---Fourier series. It is true, as was conjectured by Lanczos 60 years ago, that excluding these exceptions, the Chebyshev coefficients $$a_{n}$$ a n usually decrease faster than the Legendre coefficients $$b_{n}$$ b n by a factor of $$\sqrt{n}$$ n . We calculate the proportionality constant for a few examples and restrictive classes of functions. The more precise claim that $$b_{n} \sim \sqrt{\pi /2} \sqrt{n} a_{n}$$ b n ~ ? / 2 n a n , made by Lanczos and later Fox and Parker, is true only for rather special functions. However, individual terms in the large $$n$$ n asymptotics of Chebyshev and Legendre coefficients usually do display this proportionality.