6.7. The Weierstrass Approximation Theorem
In part 4.5. we already used the Lagrange interpolating polynomials to connect given points in the xy-plane. The main issue then however was to capture finitely many values exactly. If these values are values of a function we normally have no idea how acurate its other values are hit..
This part now will prove that polynomials are able to match any continuous function on a closed interval with arbitrary acuracy within the whole range. K. Weierstrass proved this approximation behaviour in 1886, the constructive proof presented here however is due to S. N. Bernstein and originates from 1912.
Theorem (Weierstrass approximation theorem): For any and any there is a polynomial p such that
|
[6.7.1] |
|
At first we only consider the interval . It will be sufficient to carry out the essential prove for this special interval. To this end we construct a sequence of polynomials which converges on uniformly to f, thus a sequence which allows an for each such that
|
[6.7.2] |
for example would then be a polynomial to prove the Weierstrass theorem.
We now introduce the approximating polynomials using the binomial coefficients .
Definition: Let be any function. For an arbitrary we call
|
[6.7.3] |
the n-th Bernstein polynomial of f.
|
The first Bernstein polynomials for an arbitrary f are easily calculated:
-
With the function e.g. we have and .
To prove [6.7.2] we need some conclusions from the generalized binomial theorem:
Proposition: For all and each we have
-
|
[6.7.4] |
-
|
[6.7.5] |
-
|
[6.7.6] |
-
|
[6.7.7] |
-
|
[6.7.8] |
Proof:
1. ► The assertion results immediately from the generalized binomial theorem:
2. ► If there is nothing to show in essence. If we quote [6.7.4] with and calculate as follows (note the index shift):
3. ► Only is non trivial and in that case we proceed similar as before:
4. ► We just need to join [6.7.5] and [6.7.6]:
5. ► For all x we have . Thus:
This estimate and the results obtained so far now yield:
|
Now we are prepared to prove version [6.7.2] of the Weierstrass theorem. For any and any we have to find an such that
We may abbreviate as f is bounded on according to [6.6.4]. As f is uniformly continuous on (see [6.5.5]) there is a such that
[1]
Using the equality (see [6.7.4]) as well as the triangle inequality we see that every n holds the estimate
[2]
For a fixed x we now split the addends involved into two disjoint lots:
If we have due to [1] For we thus may estimate as follows (In case [3] is valid as well as the empty sum's value equals 0):
[3]
If the equivalence allows to employ [6.7.8]:
[4]
Choosing now a natural number and employing [3] and [4] we may, for , extend the estimate [2] to
Thus the Weierstrass theorem is valid for the interval . The general case is easily reduced to this special one:
For an arbitrary interval we consider the linear (and thus continuous) function . It is a bijection from to with being equivalent to . Thus for any there is a polynomial p such that
[5]
As the inverse of g is linear the function is a polynomial as well. The equivalence of and now allows to restate [5] as follows:
The applet below creates and illustrates the Bernstein polynomials for three selected functions.
|