Remez algorithm

The Remez algorithm or Remez exchange algorithm, published by Evgeny Yakovlevich Remez in 1934,[1] is an iterative algorithm used to find simple approximations to functions, specifically, approximations by functions in a Chebyshev space that are the best in the uniform norm L sense.

A typical example of a Chebyshev space is the subspace of Chebyshev polynomials of order n in the space of real continuous functions on an interval, C[a, b]. The polynomial of best approximation within a given subspace is defined to be the one that minimizes the maximum absolute difference between the polynomial and the function. In this case, the form of the solution is precised by the equioscillation theorem.

Procedure

The Remez algorithm starts with the function f to be approximated and a set X of n + 2 sample points  x_1, x_2, ...,x_{n+2} in the approximation interval, usually the Chebyshev nodes linearly mapped to the interval. The steps are:

  1. Solve the linear system of equations
 b_0 + b_1 x_i+ ... +b_n x_i ^ n + (-1)^ i E = f(x_i) (where  i=1, 2, ... n+2 ),
for the unknowns b_0, b_1...b_n and E.
  1. Use the  b_i as coefficients to form a polynomial P_n.
  2. Find the set M of points of local maximum error |P_n(x) - f(x)| .
  3. If the errors at every  m \in M are of equal magnitude and alternate in sign, then P_n is the minimax approximation polynomial. If not, replace E with M and repeat the steps above.

The result is called the polynomial of best approximation, the Chebyshev approximation, or the minimax approximation.

A review of technicalities in implementing the Remez algorithm is given by W. Fraser.[2]

On the choice of initialization

The Chebyshev nodes are a common choice for the initial approximation because of their role in the theory of polynomial interpolation. For the initialization of the optimization problem for function f by the Lagrange interpolant Ln(f), it can be shown that this initial approximation is bounded by

\lVert f - L_n(f)\rVert_\infty \le (1 + \lVert L_n\rVert_\infty) \inf_{p \in P_n} \lVert f - p\rVert

with the norm or Lebesgue constant of the Lagrange interpolation operator Ln of the nodes (t1, ..., tn + 1) being

\lVert L_n\rVert_\infty = \overline{\Lambda}_n(T) = \max_{-1 \le x \le 1} \lambda_n(T; x),

T being the zeros of the Chebyshev polynomials, and the Lebesgue functions being

\lambda_n(T; x) = \sum_{j = 1}^{n + 1} \left| l_j(x) \right|, \quad l_j(x) = \prod_{\stackrel{i = 1}{i \ne j}}^{n + 1} \frac{(x - t_i)}{(t_j - t_i)}.

Theodore A. Kilgore,[3] Carl de Boor, and Allan Pinkus[4] proved that there exists a unique ti for each Ln, although not known explicitly for (ordinary) polynomials. Similarly, \underline{\Lambda}_n(T) = \min_{-1 \le x \le 1} \lambda_n(T; x), and the optimality of a choice of nodes can be expressed as \overline{\Lambda}_n - \underline{\Lambda}_n \ge 0.

For Chebyshev nodes, which provides a suboptimal, but analytically explicit choice, the asymptotic behavior is known as[5]

\overline{\Lambda}_n(T) = \frac{2}{\pi} \log(n + 1) + \frac{2}{\pi}\left(\gamma + \log\frac{8}{\pi}\right) + \alpha_{n + 1}

(γ being the Euler-Mascheroni constant) with

0 < \alpha_n < \frac{\pi}{72 n^2} for n \ge 1,

and upper bound[6]

\overline{\Lambda}_n(T) \le \frac{2}{\pi} \log(n + 1) + 1

Lev Brutman[7] obtained the bound for n \ge 3, and \hat{T} being the zeros of the expanded Chebyshev polynomials:

\overline{\Lambda}_n(\hat{T}) - \underline{\Lambda}_n(\hat{T}) < \overline{\Lambda}_3 - \frac{1}{6} \cot \frac{\pi}{8} + \frac{\pi}{64} \frac{1}{\sin^2(3\pi/16)} - \frac{2}{\pi}(\gamma - \log\pi)\approx 0.201.

Rüdiger Günttner[8] obtained from a sharper estimate for n \ge 40

\overline{\Lambda}_n(\hat{T}) - \underline{\Lambda}_n(\hat{T}) < 0.0196.

Detailed discussion

This section provides more information on the steps outlined above. In this section, the index i runs from 0 to n+1.

Step 1: Given x_0, x_1, ... x_{n+1}, solve the linear system of n+2 equations

 b_0 + b_1 x_i+ ... +b_n x_i ^ n + (-1) ^ i E = f(x_i) (where  i=0, 1, ... n+1 ),
for the unknowns b_0, b_1, ...b_n and E.

It should be clear that (-1)^i E in this equation makes sense only if the nodes x_0, ...,x_{n+1} are ordered, either strictly increasing or strictly decreasing. Then this linear system has a unique solution. (As is well known, not every linear system has a solution.) Also, the solution can be obtained with only O(n^2) arithmetic operations while a standard solver from the library would take O(n^3) operations. Here is the simple proof:

Compute the standard n-th degree interpolant p_1(x) to f(x) at the first n+1 nodes and also the standard n-th degree interpolant p_2(x) to the ordinates (-1)^i

p_1(x_i) = f(x_i), p_2(x_i) = (-1)^i, i = 0, ..., n.

To this end, use each time Newton's interpolation formula with the divided differences of order 0, ...,n and O(n^2) arithmetic operations.

The polynomial p_2(x) has its i-th zero between x_{i-1} and x_i,\ i=1, ...,n, and thus no further zeroes between x_n and x_{n+1}: p_2(x_n) and p_2(x_{n+1}) have the same sign (-1)^n.

The linear combination p(x) := p_1 (x) - p_2(x)\!\cdot\!E is also a polynomial of degree n and

p(x_i) = p_1(x_i) - p_2(x_i)\!\cdot\! E \ = \ f(x_i) - (-1)^i E,\ \ \ \  i =0, \ldots, n.

This is the same as the equation above for i = 0, ... ,n and for any choice of E. The same equation for i = n+1 is

p(x_{n+1}) \ = \ p_1(x_{n+1}) - p_2(x_{n+1})\!\cdot\!E \ = \ f(x_{n+1}) - (-1)^{n+1} E and needs special reasoning: solved for the variable E, it is the definition of E:
E \ := \ \frac{p_1(x_{n+1}) - f(x_{n+1})}{p_2(x_{n+1}) + (-1)^n}.

As mentioned above, the two terms in the denominator have same sign: E and thus p(x) \equiv b_0 + b_1x + \ldots + b_nx^n are always well-defined.

The error at the given n+2 ordered nodes is positive and negative in turn because

p(x_i) - f(x_i) \ = \ -(-1)^i E,\ \ i = 0, ... , n\!+\!1.

The theorem of de La Vallée Poussin states that under this condition no polynomial of degree n exists with error less than E. Indeed, if such a polynomial existed, call it \tilde p(x), then the difference p(x)-\tilde p(x) = (p(x) - f(x)) - (\tilde p(x) - f(x)) would still be positive/negative at the n+2 nodes x_i and therefore have at least n+1 zeros which is impossible for a polynomial of degree n. Thus, this E is a lower bound for the minimum error which can be achieved with polynomials of degree n.

Step 2 changes the notation from b_0 + b_1x + ... + b_nx^n to p(x).

Step 3 improves upon the input nodes x_0, ..., x_{n+1} and their errors \pm E as follows.

In each P-region, the current node x_i is replaced with the local maximizer \bar{x}_i and in each N-region x_i is replaced with the local minimizer. (Expect \bar{x}_0 at A, the \bar {x}_i near x_i, and \bar{x}_{n+1} at B.) No high precision is required here, the standard line search with a couple of quadratic fits should suffice. (See [9])

Let z_i := p(\bar{x}_i) - f(\bar{x}_i). Each amplitude |z_i| is greater than or equal to E. The Theorem of de La Vallée Poussin and its proof also apply to z_0, ... ,z_{n+1} with \min\{|z_i|\} \geq E as the new lower bound for the best error possible with polynomials of degree n.

Moreover, \max\{|z_i|\} comes in handy as an obvious upper bound for that best possible error.

Step 4: With \min\,\{|z_i|\} and \max\,\{|z_i|\} as lower and upper bound for the best possible approximation error, one has a reliable stopping criterion: repeat the steps until \max\{|z_i|\} - \min\{|z_i|\} is sufficiently small or no longer decreases. These bounds indicate the progress.

Variants

Sometimes more than one sample point is replaced at the same time with the locations of nearby maximum absolute differences.

Sometimes relative error is used to measure the difference between the approximation and the function, especially if the approximation will be used to compute the function on a computer which uses floating point arithmetic.

See also

Notes

  1. E. Ya. Remez, "Sur la détermination des polynômes d'approximation de degré donnée", Comm. Soc. Math. Kharkov 10, 41 (1934);
    "Sur un procédé convergent d'approximations successives pour déterminer les polynômes d'approximation, Compt. Rend. Acad. Sc. 198, 2063 (1934);
    "Sur le calcul effectiv des polynômes d'approximation des Tschebyscheff", Compt. Rend. Acade. Sc. 199, 337 (1934).
  2. Fraser, W. (1965). "A Survey of Methods of Computing Minimax and Near-Minimax Polynomial Approximations for Functions of a Single Independent Variable". J. ACM 12: 295. doi:10.1145/321281.321282.
  3. Kilgore, T. A. (1978). "A characterization of the Lagrange interpolating projection with minimal Tchebycheff norm". J. Approx. Theory 24: 273. doi:10.1016/0021-9045(78)90013-8.
  4. de Boor, C.; Pinkus, A. (1978). "Proof of the conjectures of Bernstein and Erdös concerning the optimal nodes for polynomial interpolation". Journal of Approximation Theory 24: 289. doi:10.1016/0021-9045(78)90014-X.
  5. Luttmann, F. W.; Rivlin, T. J. (1965). "Some numerical experiments in the theory of polynomial interpolation". IBM J. Res. Develop. 9: 187. doi:10.1147/rd.93.0187.
  6. T. Rivlin, "The Lebesgue constants for polynomial interpolation", in Proceedings of the Int. Conf. on Functional Analysis and Its Application, edited by H. G. Garnier et al. (Springer-Verlag, Berlin, 1974), p. 422; The Chebyshev polynomials (Wiley-Interscience, New York, 1974).
  7. Brutman, L. (1978). "On the Lebesgue Function for Polynomial Interpolation". SIAM J. Numer. Anal. 15: 694. doi:10.1137/0715046.
  8. Günttner, R. (1980). "Evaluation of Lebesgue Constants". SIAM J. Numer. Anal. 17: 512. doi:10.1137/0717043.
  9. David G. Luenberger: Introduction to Linear and Nonlinear Programming, Addison-Wesley Publishing Company 1973.

External links

This article is issued from Wikipedia - version of the Thursday, September 03, 2015. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.