Law of the wall

The Remez algorithm or Remez exchange algorithm, published by Evgeny Yakovlevich Remez in 1934, 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 X 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.

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 L_n(f), it can be shown that this initial approximation is bounded by

$\Vert f-L_n(f){\Vert }_{\mathrm{\infty }}\le (1+\Vert L_n{\Vert }_{\mathrm{\infty }}){\inf }_{p\in P_n}\Vert f-p\Vert$

with the norm or Lebesgue constant of the Lagrange interpolation operator L_n of the nodes (t₁, ..., t_n + 1) being

$\Vert L_n{\Vert }_{\mathrm{\infty }}={\bar{\mathrm{\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}|l_j(x)|,l_j(x)=\prod _{\stackrel{i=1}{i\ne j}}^{n+1}\frac{(x-t_i)}{(t_j-t_i)}.$

Theodore A. Kilgore, Carl de Boor, and Allan Pinkus proved that there exists a unique t_i for each L_n, although not known explicitly for (ordinary) polynomials. Similarly, ${\underset{\_}{\mathrm{\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 ${\bar{\mathrm{\Lambda }}}_n-{\underset{\_}{\mathrm{\Lambda }}}_n\ge 0.$

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

${\bar{\mathrm{\Lambda }}}_n(T)=\frac{2}{\pi }\log (n+1)+\frac{2}{\pi }(\gamma +\log \frac{8}{\pi })+{\alpha }_{n+1}$

(γ being the Euler-Mascheroni constant) with

$0<{\alpha }_n<\frac{\pi }{72n^2}$ for $n\ge 1,$

and upper bound

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

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

${\bar{\mathrm{\Lambda }}}_n(\hat{T})-{\underset{\_}{\mathrm{\Lambda }}}_n(\hat{T})<{\bar{\mathrm{\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 obtained from a sharper estimate for $n\ge 40$

${\bar{\mathrm{\Lambda }}}_n(\hat{T})-{\underset{\_}{\mathrm{\Lambda }}}_n(\hat{T})<0.0196.$

Detailed Discussion

Here we provide more information on the steps outlined above. In this section we let the index i run 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,\dots ,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_{1}x+\dots +b_n{x}^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_{1}x+...+b_n{x}^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 ${\overline{x}}_i$ and in each N-region $x_i$ is replaced with the local minimizer. (Expect ${\overline{x}}_0$ at A, the ${\overline{x}}_i$ near $x_i$, and ${\overline{x}}_{n+1}$ at B.) No high precision is required here, the standard line search with a couple of quadratic fits should suffice. (See )

Let $z_i:=p({\overline{x}}_i)-f({\overline{x}}_i)$. Each amplitude $\left|z_i\right|$ 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|\}\ge 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

• Approximation theory

Notes

43 year old Petroleum Engineer Harry from Deep River, usually spends time with hobbies and interests like renting movies, property developers in singapore new condominium and vehicle racing. Constantly enjoys going to destinations like Camino Real de Tierra Adentro.

External links

• Intro to DSP
• 
  
  I had like 17 domains hosted on single account, and never had any special troubles. If you are not happy with the service you will get your money back with in 45 days, that's guaranteed. But the Search Engine utility inside the Hostgator account furnished an instant score for my launched website. Fantastico is unable to install WordPress in a directory which already have any file i.e to install WordPress using Fantastico the destination directory must be empty and it should not have any previous installation files. When you share great information, others will take note. Once your hosting is purchased, you will need to setup your domain name to point to your hosting. Money Back: All accounts of Hostgator come with a 45 day money back guarantee. If you have any queries relating to where by and how to use Hostgator Discount Coupon, you can make contact with us at our site. If you are starting up a website or don't have too much website traffic coming your way, a shared plan is more than enough. Condition you want to take advantage of the worldwide web you prerequisite a HostGator web page, -1 of the most trusted and unfailing web suppliers on the world wide web today. Since, single server is shared by 700 to 800 websites, you cannot expect much speed.
  
  
  
  Hostgator tutorials on how to install Wordpress need not be complicated, especially when you will be dealing with a web hosting service that is friendly for novice webmasters and a blogging platform that is as intuitive as riding a bike. After that you can get Hostgator to host your domain and use the wordpress to do the blogging. Once you start site flipping, trust me you will not be able to stop. I cut my webmaster teeth on Control Panel many years ago, but since had left for other hosting companies with more commercial (cough, cough) interfaces. If you don't like it, you can chalk it up to experience and go on. First, find a good starter template design. When I signed up, I did a search for current "HostGator codes" on the web, which enabled me to receive a one-word entry for a discount. Your posts, comments, and pictures will all be imported into your new WordPress blog.