Section VII.3

Bernstein Polynomials

[23/100%]
Show
LaTeX
Problem VII.3.1

Let n∈N,r=0,1,2,…n \in \mathbb {N}, r=0,1,2, \ldots For x∈Rx \in \mathbb {R} set

Sn,r(x)=∑0⩽k⩽nCnkxk(1−x)n−k(k−nx)r. S_{n, r}(x)=\sum _{0 \leqslant k \leqslant n} C_{n}^{k} x^{k}(1-x)^{n-k}(k-n x)^{r} .

Prove that

?
(a)

Sn,r+1(x)=x(1−x)(Sn,r′(x)+nrSn,r−1(x)),r∈NS_{n, r+1}(x)=x(1-x)\left(S_{n, r}^{\prime }(x)+n r S_{n, r-1}(x)\right), r \in \mathbb {N};

(b)
Sn,0(x)=1;Sn,1(x)=0;Sn,2(x)=nx(1−x);Sn,3(x)=nx(1−x)(1−2x);Sn,4(x)=nx(1−x)(1+3(n−2)x(1−x)). \begin{aligned} & S_{n, 0}(x)=1 ; \quad S_{n, 1}(x)=0 ; \quad S_{n, 2}(x)=n x(1-x) ; \\ & S_{n, 3}(x)=n x(1-x)(1-2 x) ; \\ & S_{n, 4}(x)=n x(1-x)(1+3(n-2) x(1-x)) . \end{aligned}
Problem VII.3.2

Let n∈N,δ>0n \in \mathbb {N}, \delta >0. For x∈[0,1]x \in [0,1] set

σn,δ(x)=∑0⩽k⩽n∣k/n−x∣⩾δCnkxk(1−x)n−k. \sigma _{n, \delta }(x)=\sum _{\substack {0 \leqslant k \leqslant n \\ |k / n-x| \geqslant \delta }} C_{n}^{k} x^{k}(1-x)^{n-k} .

Prove that

?
(a)

σn,δ(x)⩽14δ2n\sigma_{n, \delta }(x) \leqslant \frac{1}{4 \delta^{2} n};

(b)

σn,δ(x)⩽14δ4n2\sigma_{n, \delta }(x) \leqslant \frac{1}{4 \delta^{4} n^{2}};

(c)

σn,δ(x)⩽17δne−2nδ2\sigma_{n, \delta }(x) \leqslant \frac{17}{\delta \sqrt{n}} e^{-2 n \delta^{2}}.

Problem VII.3.3

Let n∈N,f:[0,1]→Rn \in \mathbb {N}, f:\left[0,1\right] \rightarrow \mathbb {R}. The polynomial

Bn(f,x)=∑0⩽k⩽nCnkf(kn)xk(1−x)n−k B_{n}(f, x)=\sum _{0 \leqslant k \leqslant n} C_{n}^{k} f\left(\frac{k}{n}\right) x^{k}(1-x)^{n-k}

is called the Bernstein polynomial of the function ff.

Find the Bernstein polynomials of the following functions:

?
(a)

fm(x)=xm,m=0,1,2f_{m}(x)=x^{m}, \quad m=0,1,2;

(b)

f(x)=ax,a>0f(x)=a^{x}, a>0.

Problem VII.3.4

Let n∈N,f:[0,1]→Rn \in \mathbb {N}, f:\left[0,1\right] \rightarrow \mathbb {R}. The polynomial

Bn(f,x)=∑0⩽k⩽nCnkf(kn)xk(1−x)n−k B_{n}(f, x)=\sum _{0 \leqslant k \leqslant n} C_{n}^{k} f\left(\frac{k}{n}\right) x^{k}(1-x)^{n-k}

is called the Bernstein polynomial of the function ff.

Let the function ff be defined on the interval [0,1],n∈N\left[0,1\right], n \in \mathbb {N}. Prove that

?
(a)

Bn(f,0)=f(0)B_{n}(f, 0)=f(0) and Bn(f,1)=f(1)B_{n}(f, 1)=f(1);

(b)

Bn(f2,x)⩾Bn2(f,x)B_{n}\left(f^{2}, x\right) \geqslant B_{n}^{2}(f, x) for all x∈[0,1]x \in [0,1].

Problem VII.3.5

Let n∈N,f:[0,1]→Rn \in \mathbb {N}, f:\left[0,1\right] \rightarrow \mathbb {R}. The polynomial

Bn(f,x)=∑0⩽k⩽nCnkf(kn)xk(1−x)n−k B_{n}(f, x)=\sum _{0 \leqslant k \leqslant n} C_{n}^{k} f\left(\frac{k}{n}\right) x^{k}(1-x)^{n-k}

is called the Bernstein polynomial of the function ff.

Prove that

?
(a)

if the function ff is increasing (decreasing) on the interval [0,1]\left[0,1\right], then the Bernstein polynomial Bn(f)B_{n}(f) is increasing (decreasing) on [0,1]\left[0,1\right];

(b)

if the function ff is convex (concave) on [0,1]\left[0,1\right], then Bn(f)B_{n}(f) is a convex (concave) polynomial on [0,1]\left[0,1\right].

Problem VII.3.6

Let n∈N,f:[0,1]→Rn \in \mathbb {N}, f:\left[0,1\right] \rightarrow \mathbb {R}. The polynomial

Bn(f,x)=∑0⩽k⩽nCnkf(kn)xk(1−x)n−k B_{n}(f, x)=\sum _{0 \leqslant k \leqslant n} C_{n}^{k} f\left(\frac{k}{n}\right) x^{k}(1-x)^{n-k}

is called the Bernstein polynomial of the function ff.

Let the function ff be defined and bounded above on the interval [0,1]\left[0,1\right]. Prove that

?
(a)

Bn(f,x)⩽sup⁡[0,1]fB_{n}(f, x) \leqslant \sup_{\left[0,1\right]} f for all n∈Nn \in \mathbb {N} and x∈[0,1]x \in [0,1];

(b)

if the interval Δ\Delta is contained in the interval [0,1]\left[0,1\right], then lim‾⁡n→+∞Bn(f,x)⩽sup⁡Δf\varlimsup_{n \rightarrow +\infty } B_{n}(f, x) \leqslant \sup_{\Delta } f for all x∈Δx \in \Delta;

(c)

if the intervals Δ\Delta and Δ′\Delta^{\prime } are such that Δˉ⊂Δ′⊂[0,1]\bar{\Delta } \subset \Delta^{\prime } \subset [0,1] and sup⁡Δ′\Δf<sup⁡Δf\sup_{\Delta^{\prime } \backslash \Delta } f<\sup_{\Delta } f, then one can specify a sufficiently large number N=N(f,Δ,Δ′)N=N\left(f, \Delta , \Delta^{\prime }\right) such that Bn(f,x)<sup⁡ΔfB_{n}(f, x)<\sup_{\Delta } f for all x∈Δx \in \Delta and n>Nn>N.

Problem VII.3.7

Let n∈N,f:[0,1]→Rn \in \mathbb {N}, f:\left[0,1\right] \rightarrow \mathbb {R}. The polynomial

Bn(f,x)=∑0⩽k⩽nCnkf(kn)xk(1−x)n−k B_{n}(f, x)=\sum _{0 \leqslant k \leqslant n} C_{n}^{k} f\left(\frac{k}{n}\right) x^{k}(1-x)^{n-k}

is called the Bernstein polynomial of the function ff.

Let the functions ff and gg be bounded on the interval [0,1]\left[0,1\right] and coincide in a neighborhood of the point x0∈[0,1]x_{0} \in [0,1]. Prove that the sequences {Bn(f,x0)}\left\{ B_{n}\left(f, x_{0}\right)\right\} and {Bn(g,x0)}\left\{ B_{n}\left(g, x_{0}\right)\right\} converge or diverge simultaneously, and in case of convergence have a common limit.

?
Problem VII.3.8

Let n∈N,f:[0,1]→Rn \in \mathbb {N}, f:\left[0,1\right] \rightarrow \mathbb {R}. The polynomial

Bn(f,x)=∑0⩽k⩽nCnkf(kn)xk(1−x)n−k B_{n}(f, x)=\sum _{0 \leqslant k \leqslant n} C_{n}^{k} f\left(\frac{k}{n}\right) x^{k}(1-x)^{n-k}

is called the Bernstein polynomial of the function ff.

Let the function ff be bounded on the interval [0,1]\left[0,1\right]. Prove that

?
(a)

if ff is continuous at the point x0∈[0,1]x_{0} \in [0,1], then Bn(f,x0)→f(x0)B_{n}\left(f, x_{0}\right) \rightarrow f\left(x_{0}\right);

(b)

if ff is continuous at every point of the closed interval Δ\Delta, Δ⊂[0,1]\Delta \subset [0,1], then Bn(f)⇉fB_{n}(f) \rightrightarrows f on Δ\Delta;

(c)

if x0∈(0,1)x_{0} \in (0,1) is a point of discontinuity of the first kind of the function ff, then

Bn(f,x0)→12(f(x0+0)+f(x0−0)). B_{n}\left(f, x_{0}\right) \rightarrow \frac{1}{2}\left(f\left(x_{0}+0\right)+f\left(x_{0}-0\right)\right) .
Problem VII.3.9

Let f∈C([0,1])f \in C(\left[0,1\right]). Prove that

?
(a)

if ∫01f(x)xndx=0\int_{0}^{1} f(x) x^{n} d x=0 for n=0,1,2,…n=0,1,2, \ldots, then f≡0f \equiv 0;

(b)

if ∫01f(x)(xn+1(1−x)2)′′dx=0\int_{0}^{1} f(x)\left(x^{n+1}(1-x)^{2}\right)^{\prime \prime } d x=0 for all n∈Nn \in \mathbb {N}, then ff is a linear function.

Problem VII.3.10

Let f∈C([0,1])f \in C(\left[0,1\right]) and ∫01f(x)g′′(x)dx=0\int_{0}^{1} f(x) g^{\prime \prime }(x) d x=0 for every function g∈C2([0,1])g \in C^{2}(\left[0,1\right]) vanishing in neighborhoods of the points 0 and 1. Prove that ff is a linear function.

?
Problem VII.3.11

Let f∈C([0,π])f \in C(\left[0, \pi \right]) and ε>0\varepsilon >0. Prove that there exists a trigonometric polynomial TT of the form T(t)=∑0⩽n⩽Nancos⁡ntT(t)=\sum_{0 \leqslant n \leqslant N} a_{n} \cos n t such that ∣f(t)−T(t)∣<ε\left|f(t)-T(t)\right|<\varepsilon for all t∈[0,π]t \in [0, \pi ].

?
Problem VII.3.12
?
(a)

Let f∈C([0,1]2)f \in C\left(\left[0,1\right]^{2}\right). For n∈Nn \in \mathbb {N} and x,y∈Rx, y \in \mathbb {R} set

Bn(f,x,y)=∑0⩽k⩽n0⩽j⩽nCnkCnjf(kn,jn)xkyj(1−x)n−k(1−y)n−j \mathscr {B}_{n}(f, x, y)=\sum _{\substack {0 \leqslant k \leqslant n \\ 0 \leqslant j \leqslant n}} C_{n}^{k} C_{n}^{j} f\left(\frac{k}{n}, \frac{j}{n}\right) x^{k} y^{j}(1-x)^{n-k}(1-y)^{n-j}

Prove that Bn(f)⇉f\mathscr {B}_{n}(f) \rightrightarrows f on [0,1]2\left[0,1\right]^{2} as n→+∞n \rightarrow +\infty.

(b)

Let f∈C([0,π]2)f \in C\left(\left[0, \pi \right]^{2}\right) and ε>0\varepsilon >0. Prove that there exists a trigonometric polynomial TT of the form

T(u,v)=∑0⩽k⩽N0⩽j⩽Nak,jcos⁡kucos⁡jv, T(u, v)=\sum _{\substack {0 \leqslant k \leqslant N \\ 0 \leqslant j \leqslant N}} a_{k, j} \cos k u \cos j v,

such that ∣f(u,v)−T(u,v)∣<ε\left|f(u, v)-T(u, v)\right|<\varepsilon for all u,v∈[0,π]u, v \in [0, \pi ].

Problem VII.3.13

Let n∈N,f:[0,1]→Rn \in \mathbb {N}, f:\left[0,1\right] \rightarrow \mathbb {R}. The polynomial

Bn(f,x)=∑0⩽k⩽nCnkf(kn)xk(1−x)n−k B_{n}(f, x)=\sum _{0 \leqslant k \leqslant n} C_{n}^{k} f\left(\frac{k}{n}\right) x^{k}(1-x)^{n-k}

is called the Bernstein polynomial of the function ff.

Let f∈Cr([0,1])f \in C^{r}(\left[0,1\right]). Prove that Bn(r)(f)⇉f(r)B_{n}^{(r)}(f) \rightrightarrows f^{(r)} on [0,1]\left[0,1\right].

?
Problem VII.3.14

Let n∈N,f:[0,1]→Rn \in \mathbb {N}, f:\left[0,1\right] \rightarrow \mathbb {R}. The polynomial

Bn(f,x)=∑0⩽k⩽nCnkf(kn)xk(1−x)n−k B_{n}(f, x)=\sum _{0 \leqslant k \leqslant n} C_{n}^{k} f\left(\frac{k}{n}\right) x^{k}(1-x)^{n-k}

is called the Bernstein polynomial of the function ff.

?
(a)

Let f∈Lip⁡α[0,1]f \in \operatorname {Lip}_{\alpha }\left[0,1\right]. Prove that for all n∈Nn \in \mathbb {N} and x∈[0,1]x \in [0,1] the inequality

∣Bn(f,x)−f(x)∣⩽M(x(1−x)n)α/2 \left|B_{n}(f, x)-f(x)\right| \leqslant M\left(\frac{x(1-x)}{n}\right)^{\alpha / 2}

holds, where MM is some positive constant depending only on the function ff.

(b)

Let α∈(0,1]\alpha \in (0,1] and fα(x)=∣x−12∣αf_{\alpha }(x)=\left|x-\frac{1}{2}\right|^{\alpha }. Prove that for all n∈Nn \in \mathbb {N} the inequality

∣Bn(fα,12)−fα(12)∣⩾14n−α/2. \left|B_{n}\left(f_{\alpha }, \frac{1}{2}\right)-f_{\alpha }\left(\frac{1}{2}\right)\right| \geqslant \frac{1}{4} n^{-\alpha / 2} .

holds.

Problem VII.3.15

Let n∈N,f:[0,1]→Rn \in \mathbb {N}, f:\left[0,1\right] \rightarrow \mathbb {R}. The polynomial

Bn(f,x)=∑0⩽k⩽nCnkf(kn)xk(1−x)n−k B_{n}(f, x)=\sum _{0 \leqslant k \leqslant n} C_{n}^{k} f\left(\frac{k}{n}\right) x^{k}(1-x)^{n-k}

is called the Bernstein polynomial of the function ff.

?
(a)

Let the function ff be convex on the interval [0,1]\left[0,1\right]. Prove that Bn(f,x)↓f(x)B_{n}(f, x) \downarrow f(x) for all x∈[0,1]x \in [0,1].

(b)

Let f∈C([0,1])f \in C(\left[0,1\right]) and Bn(f,x)⩾f(x)B_{n}(f, x) \geqslant f(x) for all n∈Nn \in \mathbb {N} and x∈[0,1]x \in [0,1]. Prove that ff is convex on [0,1]\left[0,1\right].

Problem VII.3.16

Let n∈N,f:[0,1]→Rn \in \mathbb {N}, f:\left[0,1\right] \rightarrow \mathbb {R}. The polynomial

Bn(f,x)=∑0⩽k⩽nCnkf(kn)xk(1−x)n−k B_{n}(f, x)=\sum _{0 \leqslant k \leqslant n} C_{n}^{k} f\left(\frac{k}{n}\right) x^{k}(1-x)^{n-k}

is called the Bernstein polynomial of the function ff.

Let f∈C2([0,1])f \in C^{2}(\left[0,1\right]). Prove that

Bn(f,x)−f(x)=x(1−x)2n(f′′(x)+εn(x)), B_{n}(f, x)-f(x)=\frac{x(1-x)}{2 n}\left(f^{\prime \prime }(x)+\varepsilon _{n}(x)\right),

where the sequence of functions {εn}\left\{ \varepsilon_{n}\right\} converges to zero uniformly on [0,1]\left[0,1\right] (E. V. Voronovskaya's formula).

?
Problem VII.3.17

Let n∈N,f:[0,1]→Rn \in \mathbb {N}, f:\left[0,1\right] \rightarrow \mathbb {R}. The polynomial

Bn(f,x)=∑0⩽k⩽nCnkf(kn)xk(1−x)n−k B_{n}(f, x)=\sum _{0 \leqslant k \leqslant n} C_{n}^{k} f\left(\frac{k}{n}\right) x^{k}(1-x)^{n-k}

is called the Bernstein polynomial of the function ff.

Let f∈C([0,1]),g∈C2([0,1])f \in C(\left[0,1\right]), g \in C^{2}(\left[0,1\right]) and let the function gg be zero outside the interval (a,ba, b), where 0<a<b<10<a<b<1. Prove that

∑0⩽k⩽n(Bn(f,kn)−f(kn))g(kn)→12∫01f(x)(x(1−x)g(x))′′dx \sum _{0 \leqslant k \leqslant n}\left(B_{n}\left(f, \frac{k}{n}\right)-f\left(\frac{k}{n}\right)\right) g\left(\frac{k}{n}\right) \rightarrow \frac{1}{2} \int _{0}^{1} f(x)(x(1-x) g(x))^{\prime \prime } d x
?
Problem VII.3.18

Let n∈N,f:[0,1]→Rn \in \mathbb {N}, f:\left[0,1\right] \rightarrow \mathbb {R}. The polynomial

Bn(f,x)=∑0⩽k⩽nCnkf(kn)xk(1−x)n−k B_{n}(f, x)=\sum _{0 \leqslant k \leqslant n} C_{n}^{k} f\left(\frac{k}{n}\right) x^{k}(1-x)^{n-k}

is called the Bernstein polynomial of the function ff.

Prove that the function f[0,1]→Rf\left[0,1\right] \rightarrow \mathbb {R} is linear if

sup⁡0⩽x⩽1∣Bn(f,x)−f(x)∣=o(1n). \sup _{0 \leqslant x \leqslant 1}\left|B_{n}(f, x)-f(x)\right|=o\left(\frac{1}{n}\right) .
?
Problem VII.3.19

Let f∈C([0,1])f \in C(\left[0,1\right]). Prove that f(0)f(0) and f(1)f(1) being integers is equivalent to the function ff being the limit of a uniformly convergent (on [0,1]\left[0,1\right]) sequence of algebraic polynomials with integer coefficients.

?
Problem VII.3.20

Let n∈N,f:[0,1]→Rn \in \mathbb {N}, f:\left[0,1\right] \rightarrow \mathbb {R}. The polynomial

Bn(f,x)=∑0⩽k⩽nCnkf(kn)xk(1−x)n−k B_{n}(f, x)=\sum _{0 \leqslant k \leqslant n} C_{n}^{k} f\left(\frac{k}{n}\right) x^{k}(1-x)^{n-k}

is called the Bernstein polynomial of the function ff.

Let the function ff be defined on the interval [0,1]\left[0,1\right]. Prove that

Bn(f,x)=f(0)+∑1⩽k⩽nxkCnkΔknf(0), B_{n}(f, x)=f(0)+\sum _{1 \leqslant k \leqslant n} x^{k} C_{n}^{k} \Delta _{k}^{n} f(0),

where Δ1nf(y)=f(y+1n)−f(y),Δk+1nf(y)=Δ1n(Δknf(y)),k∈N\quad \Delta_{1}^{n} f(y)=f\left(y+\frac{1}{n}\right)-f(y), \quad \Delta_{k+1}^{n} f(y)=\Delta_{1}^{n}\left(\Delta_{k}^{n} f(y)\right), \quad k \in \mathbb {N}. In particular, if ff is a polynomial, then the degree of Bn(f)B_{n}(f) does not exceed the degree of ff.

?
Problem VII.3.21

Let n∈N,f:[0,1]→Rn \in \mathbb {N}, f:\left[0,1\right] \rightarrow \mathbb {R}. The polynomial

Bn(f,x)=∑0⩽k⩽nCnkf(kn)xk(1−x)n−k B_{n}(f, x)=\sum _{0 \leqslant k \leqslant n} C_{n}^{k} f\left(\frac{k}{n}\right) x^{k}(1-x)^{n-k}

is called the Bernstein polynomial of the function ff.

Let f(x)=xm(x∈R),m=0,1,2,…f(x)=x^{m}(x \in \mathbb {R}), m=0,1,2, \ldots Prove that

?
(a)

Bn(f)⇉fB_{n}(f) \rightrightarrows f on any finite interval;

(b)

∣Bn(f,x)∣⩽max⁡(1,∣x∣m)\left|B_{n}(f, x)\right| \leqslant \max \left(1,\left|x\right|^{m}\right) for any x∈Rx \in \mathbb {R}.

Problem VII.3.22

Let n∈N,f:[0,1]→Rn \in \mathbb {N}, f:\left[0,1\right] \rightarrow \mathbb {R}. The polynomial

Bn(f,x)=∑0⩽k⩽nCnkf(kn)xk(1−x)n−k B_{n}(f, x)=\sum _{0 \leqslant k \leqslant n} C_{n}^{k} f\left(\frac{k}{n}\right) x^{k}(1-x)^{n-k}

is called the Bernstein polynomial of the function ff.

Let f(x)=∑m⩾0cmxmf(x)=\sum_{m \geqslant 0} c_{m} x^{m} for x∈(−R,R)x \in (-R, R), where R>1R>1. Prove that

?
(a)

Bn(f)⇉fB_{n}(f) \rightrightarrows f on any interval [−r,r]\left[-r, r\right], if 0<r<R0<r<R;

(b)

if cm⩾0c_{m} \geqslant 0 for every mm, then Bn(f)⩾fB_{n}(f) \geqslant f on [0,1]\left[0,1\right] and Bn(f)⩽fB_{n}(f) \leqslant f on [1,R)[1, R).

Problem VII.3.23
?
(a)

Prove that for fixed n∈Nn \in \mathbb {N} the polynomials xk(1−x)n−k,k=0,1,…,nx^{k}(1-x)^{n-k}, k=0,1, \ldots , n, form a basis in the space of polynomials of degree not exceeding nn.

(b)

Prove that the coefficients anka_{n}^{k} of the expansion of a polynomial PP of degree mm with respect to such bases for n⩾mn \geqslant m, forming the table

am0am1…amm−1ammam+10am+11am+1mam+1m+1……an0an1ann−1ann…… \begin{array}{ccccccc} a_{m}^{0} & a_{m}^{1} & \ldots & a_{m}^{m-1} & a_{m}^{m} & & \\ a_{m+1}^{0} & a_{m+1}^{1} & & & a_{m+1}^{m} & a_{m+1}^{m+1} & \\ \ldots & & & & & & \ldots \\ a_{n}^{0} & a_{n}^{1} & & & & a_{n}^{n-1} & a_{n}^{n} \\ \ldots & & & & & & \ldots \end{array}

satisfy the equalities

an+10=an0,an+1n+1=ann,an+1k=ank−1+ank(k=1,2,…,n) a_{n+1}^{0}=a_{n}^{0}, \quad a_{n+1}^{n+1}=a_{n}^{n}, \quad a_{n+1}^{k}=a_{n}^{k-1}+a_{n}^{k} \quad (k=1,2, \ldots , n)

(compare with the equalities for the binomial coefficients CnkC_{n}^{k}).

(c)

Prove that the condition P(x)>0P(x)>0 for x∈(0,1)x \in (0,1) is necessary and sufficient for the numbers anka_{n}^{k}, k=0,1,…,nk=0,1, \ldots , n, to be, for sufficiently large nn, not simultaneously zero and nonnegative.