The IBM Power4 processor uses series approximation to calculate square root. We formally verified the correctness of this algorithm using the ACL2(r) theorem prover. The proof requires the analysis of the approximation error on a Chebyshev series. This is done by proving Taylor’s theorem, and then analyzing the Chebyshev series using Taylor series. Taylor’s theorem is proved by way of non-stand...

In this paper, by the Chebyshev-type inequalities we define three mappings, investigate their main properties, give some refinements for Chebyshev-type inequalities, obtain some applications.

In this talk, we are concerned with embedded formulae of the Chebyshev collocation methods [1] developed recently. We introduce two Chebyshev collocation methods based on generalized Chebyshev interpolation polynomials [2], which are used to make an automatic integration method. We apply an elegant algorithm of generalized Chebyshev interpolation increasing the node points to make an error esti...

We show that every two-bridge knot K of crossing number N admits a polynomial parametrization x = T3(t), y = Tb(t), z = C(t) where Tk(t) are the Chebyshev polynomials and b + degC = 3N . If C(t) = Tc(t) is a Chebyshev polynomial, we call such a knot a harmonic knot. We give the classification of harmonic knots for a ≤ 3. Most results are derived from continued fractions and their matrix represe...

A fast, simple, and numerically stable transform for converting between Legendre and Chebyshev coefficients of a degree N polynomial in O(N(logN)2/ log logN) operations is derived. The basis of the algorithm is to rewrite a well-known asymptotic formula for Legendre polynomials of large degree as a weighted linear combination of Chebyshev polynomials, which can then be evaluated by using the di...

in this paper we introduce a type of fractional-order polynomials basedon the classical chebyshev polynomials of the second kind (fcss). also we construct the operationalmatrix of fractional derivative of order $ gamma $ in the caputo for fcss and show that this matrix with the tau method are utilized to reduce the solution of some fractional-order differential equations.

We discuss Lagrange interpolation on two sets of nodes in two dimensions where the coordinates of the nodes are Chebyshev points having either the same or opposite parity. We use a formula of Xu for Lagrange polynomials to obtain a general interpolation theorem for bivariate polynomials at either set of Chebyshev nodes. An extra term must be added to the interpolation formula to handle all poly...

This paper reviews the notion of interpolation of a smooth function by means of Chebyshev polynomials, and the well-known associated results of spectral accuracy when the function is analytic. The rate of decay of the error is proportional to ρ−N , where ρ is a bound on the elliptical radius of the ellipse in which the function has a holomorphic extension. An additional theorem is provided to c...

In this paper, we study the asymptotics of the discrete Chebyshev polynomials tn(z,N) as the degree grows to infinity. Global asymptotic formulas are obtained as n → ∞, when the ratio of the parameters n/N = c is a constant in the interval (0, 1). Our method is based on a modified version of the Riemann-Hilbert approach first introduced by Deift and Zhou.