Description:

• WARNING: chebyshevform is a certified command, not difficult to use but not completely straightforward to use either. In order to be sure to use it correctly, the reader is invited to carefully read this documentation entirely.
• chebyshevform computes an approximation polynomial and an interval error bound for a given function f.
  More precisely, it returns a list L=[p, coeffErrors, Delta, chebCoeffs] where:
  • p is an approximation polynomial of degree n which is roughly speaking a numerical Chebyshev interpolation polynomial of f over I represented in monomial basis.
  • coeffsErrors is a list of n+1 intervals. Each interval coeffsErrors[i] contains an enclosure of all the errors accumulated when computing the i-th coefficient of p.
  • Delta is an interval that provides a bound for the approximation error between p and f. See details below.
  • chebCoeffs is a list of n+1 intervals. These are the interval coefficients obtained for the representation of interpolation polynomial considered in Chebyshev basis. See details below.
• The polynomial p and the bound Delta are obtained using Chebyshev Models principles.
• More formally, the mathematical property ensured by the algorithm may be stated as follows:
  Using monomial basis representation given by p: there exist (small) values eps[i] in coeffsErrors[i] such that: for all x in I, there exists delta in Delta such that f(x) - p(x) = sum{i=0...n} eps[i]*x^i + delta.
  Using Chebyshev basis representation given by chebCoeffs: there exist values alpha[i] in chebCoeffs[i] such that: for all x in I, there exists delta in Delta such that f(x) - sum{i=0...n} alpha[i]*T_i(y) = delta, where [a,b]=I, y=(2*x-b-a)/(b-a) and T_i(y) is the i-th Chebyshev polynomial over [-1,1].
• The algorithm does not guarantee that by increasing the degree of the approximation, the remainder bound will become smaller. Moreover, it may even become larger due to the dependency phenomenon present with interval arithmetic. In order to reduce this phenomenon, a possible solution is to split the definition domain I into several smaller intervals.