VII.3

Многочлены Бернштейна

[23/100%]
Показать
LaTeX
Задача VII.3.1

Пусть n∈N,r=0,1,2,…n \in \mathbb {N}, r=0,1,2, \ldots Для x∈Rx \in \mathbb {R} положим

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} .

Докажите, что

  1. 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};

\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}

?
Задача VII.3.2

Пусть n∈N,δ>0n \in \mathbb {N}, \delta >0. Для x∈[0,1]x \in [0,1] положим

σ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} .

Докажите, что

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

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

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

Пусть n∈N,f:[0,1]→Rn \in \mathbb {N}, f:\left[0,1\right] \rightarrow \mathbb {R}. Многочлен

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}

называется многочленом Бернштейна функции ff.

?
Задача VII.3.3

Найдите многочлены Бернштейна следующих функций:

?
(а)

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

(б)

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

Задача VII.3.4

Пусть функция ff определена на промежутке [0,1],n∈N\left[0,1\right], n \in \mathbb {N}. Докажите, что

?
(а)

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

(б)

Bn(f2,x)⩾Bn2(f,x)B_{n}\left(f^{2}, x\right) \geqslant B_{n}^{2}(f, x) для всех x∈[0,1]x \in [0,1].

Задача VII.3.5

Докажите, что

?
(а)

если функция ff возрастает (убывает) на промежутке [0,1]\left[0,1\right], то многочлен Бернштейна Bn(f)B_{n}(f) возрастает (убывает) на [0,1]\left[0,1\right];

(б)

если функция ff выпукла (вогнута) на [0,1]\left[0,1\right], то Bn(f)B_{n}(f) - выпуклый (вогнутый) на [0,1]\left[0,1\right] многочлен.

Задача VII.3.6

Пусть функция ff определена и ограничена сверху на промежутке [0,1]\left[0,1\right]. Докажите, что

?
(а)

Bn(f,x)⩽sup⁡[0,1]fB_{n}(f, x) \leqslant \sup_{\left[0,1\right]} f для всех n∈Nn \in \mathbb {N} и x∈[0,1]x \in [0,1];

(б)

если интервал Δ\Delta содержится в промежутке [0,1]\left[0,1\right], то lim‾⁡n→+∞Bn(f,x)⩽sup⁡Δf\varlimsup_{n \rightarrow +\infty } B_{n}(f, x) \leqslant \sup_{\Delta } f для всех x∈Δx \in \Delta;

(в)

если интервалы Δ\Delta и Δ′\Delta^{\prime } таковы, что Δˉ⊂Δ′⊂[0,1]\bar{\Delta } \subset \Delta^{\prime } \subset [0,1] и sup⁡Δ′\Δf<sup⁡Δf\sup_{\Delta^{\prime } \backslash \Delta } f<\sup_{\Delta } f, то можно указать столь большой номер N=N(f,Δ,Δ′)N=N\left(f, \Delta , \Delta^{\prime }\right), что Bn(f,x)<sup⁡ΔfB_{n}(f, x)<\sup_{\Delta } f для всех x∈Δx \in \Delta и n>Nn>N.

Задача VII.3.7

Пусть функции ff и gg ограничены на промежутке [0,1]\left[0,1\right] и совпадают в окрестности точки x0∈[0,1]x_{0} \in [0,1]. Докажите, что последовательности {Bn(f,x0)}\left\{ B_{n}\left(f, x_{0}\right)\right\} и {Bn(g,x0)}\left\{ B_{n}\left(g, x_{0}\right)\right\} сходятся или расходятся одновременно и в случае сходимости имеют общий предел.

?
Задача VII.3.8

Пусть функция ff ограничена на промежутке [0,1]\left[0,1\right]. Докажите, что

?
(а)

если ff непрерывна в точке x0∈[0,1]x_{0} \in [0,1], то Bn(f,x0)→f(x0)B_{n}\left(f, x_{0}\right) \rightarrow f\left(x_{0}\right);

(б)

если ff непрерывна в каждой точке замкнутого промежутка Δ\Delta, Δ⊂[0,1]\Delta \subset [0,1], то Bn(f)⇉fB_{n}(f) \rightrightarrows f на Δ\Delta;

(в)

если x0∈(0,1)x_{0} \in (0,1) - точка разрыва первого рода функции ff, то

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) .
Задача VII.3.9

Пусть f∈C([0,1])f \in C(\left[0,1\right]). Докажите, что

?
(а)

если ∫01f(x)xndx=0\int_{0}^{1} f(x) x^{n} d x=0 для n=0,1,2,…n=0,1,2, \ldots, то f≡0f \equiv 0;

(б)

если ∫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 для всех n∈Nn \in \mathbb {N}, то ff - линейная функция.

Задача VII.3.10

Пусть f∈C([0,1])f \in C(\left[0,1\right]) и ∫01f(x)g′′(x)dx=0\int_{0}^{1} f(x) g^{\prime \prime }(x) d x=0 для любой функции g∈C2([0,1])g \in C^{2}(\left[0,1\right]), равной нулю в окрестностях точек 0 и 1 . Докажите, что ff - линейная функция.

?
Задача VII.3.11

Пусть f∈C([0,π])f \in C(\left[0, \pi \right]) и ε>0\varepsilon >0. Докажите, что существует такой тригонометрический многочлен TT вида T(t)=∑0⩽n⩽Nancos⁡ntT(t)=\sum_{0 \leqslant n \leqslant N} a_{n} \cos n t, что ∣f(t)−T(t)∣<ε\left|f(t)-T(t)\right|<\varepsilon для всех t∈[0,π]t \in [0, \pi ].

?
Задача VII.3.12

а) Пусть f∈C([0,1]2)f \in C\left(\left[0,1\right]^{2}\right). Для n∈Nn \in \mathbb {N} и x,y∈Rx, y \in \mathbb {R} положим

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}

Докажите, что Bn(f)⇉f\mathscr {B}_{n}(f) \rightrightarrows f на [0,1]2\left[0,1\right]^{2} при n→+∞n \rightarrow +\infty. б) Пусть f∈C([0,π]2)f \in C\left(\left[0, \pi \right]^{2}\right) и ε>0\varepsilon >0. Докажите, что существует такой тригонометрический многочлен TT вида

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,

что ∣f(u,v)−T(u,v)∣<ε\left|f(u, v)-T(u, v)\right|<\varepsilon для всех u,v∈[0,π]u, v \in [0, \pi ].

?
Задача VII.3.13

Пусть f∈Cr([0,1])f \in C^{r}(\left[0,1\right]). Докажите, что Bn(r)(f)⇉f(r)B_{n}^{(r)}(f) \rightrightarrows f^{(r)} на [0,1]\left[0,1\right].

?
Задача VII.3.14
  1. Пусть f∈Lip⁡α[0,1]f \in \operatorname {Lip}_{\alpha }\left[0,1\right]. Докажите, что для всех n∈Nn \in \mathbb {N} и x∈[0,1]x \in [0,1] справедливо неравенство

    ∣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}

    где MM- некоторая положительная постоянная, зависящая только от функции ff.

  2. Пусть α∈(0,1]\alpha \in (0,1] и fα(x)=∣x−12∣αf_{\alpha }(x)=\left|x-\frac{1}{2}\right|^{\alpha }. Докажите, что для всех n∈Nn \in \mathbb {N} справедливо неравенство

    ∣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} .
?
Задача VII.3.15
?
(а)

Пусть функция ff выпукла на промежутке [0,1]\left[0,1\right]. Докажите, что Bn(f,x)↓f(x)B_{n}(f, x) \downarrow f(x) для всех x∈[0,1]x \in [0,1].

(б)

Пусть f∈C([0,1])f \in C(\left[0,1\right]) и Bn(f,x)⩾f(x)B_{n}(f, x) \geqslant f(x) для всех n∈Nn \in \mathbb {N} и x∈[0,1]x \in [0,1]. Цокажите, что ff выпукла на [0,1]\left[0,1\right].

Задача VII.3.16

Пусть f∈C2([0,1])f \in C^{2}(\left[0,1\right]). Докажите, что

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),

где последовательность функций {εn}\left\{ \varepsilon_{n}\right\} равномерно на [0,1]\left[0,1\right] сходится к нулю (формула Е. В. Вороновской).

?
Задача VII.3.17

Пусть f∈C([0,1]),g∈C2([0,1])f \in C(\left[0,1\right]), g \in C^{2}(\left[0,1\right]) и функция gg равна нулю вне интервала (a,ba, b), где 0<a<b<10<a<b<1. Докажите, что

∑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
?
Задача VII.3.18

Докажите, что функция f[0,1]→Rf\left[0,1\right] \rightarrow \mathbb {R} линейна, если

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) .
?
Задача VII.3.19

Пусть f∈C([0,1])f \in C(\left[0,1\right]). Докажите, что целочисленность f(0)f(0) и f(1)f(1) равносильна тому, что функция ff является пределом равномерно сходящейся на [0,1]\left[0,1\right] последовательности алгебраических многочленов с целыми коэффициентами.

?
Задача VII.3.20

Пусть функция ff определена на промежутке [0,1]\left[0,1\right]. Докажите, что

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),

где Δ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}. В частности, если ff - многочлен, то степень Bn(f)B_{n}(f) не превосходит степени ff.

?
Задача VII.3.21

Пусть f(x)=xm(x∈R),m=0,1,2,…f(x)=x^{m}(x \in \mathbb {R}), m=0,1,2, \ldots Докажите, что

  1. Bn(f)⇉fB_{n}(f) \rightrightarrows f на любом конечном промежутке;

  2. ∣Bn(f,x)∣⩽max⁡(1,∣x∣m)\left|B_{n}(f, x)\right| \leqslant \max \left(1,\left|x\right|^{m}\right) при любом x∈Rx \in \mathbb {R}.

?
Задача VII.3.22

Пусть f(x)=∑m⩾0cmxmf(x)=\sum_{m \geqslant 0} c_{m} x^{m} для x∈(−R,R)x \in (-R, R), где R>1R>1. Докажите, что

  1. Bn(f)⇉fB_{n}(f) \rightrightarrows f на любом промежутке [−r,r]\left[-r, r\right], если 0<r<R0<r<R;

  2. если cm⩾0c_{m} \geqslant 0 для любого mm, то Bn(f)⩾fB_{n}(f) \geqslant f на [0,1]\left[0,1\right] и Bn(f)⩽fB_{n}(f) \leqslant f на [1,R)[1, R).

?
Задача VII.3.23
  1. Докажите, что при фиксированном n∈Nn \in \mathbb {N} многочлены xk(1−x)n−k,k=0,1,…,nx^{k}(1-x)^{n-k}, k=0,1, \ldots , n, образуют базис в пространстве многочленов, степень которых не превышает nn.

  2. Докажите, что коэффициенты anka_{n}^{k} разложения многочлена PP степени mm по таким базисам при n⩾mn \geqslant m, образующие таблицу

    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}

    удовлетворяют равенствам

    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)

    (сравните с равенствами для биномиальных коэффициентов CnkC_{n}^{k}).

  3. Докажите, что условие P(x)>0P(x)>0 при x∈(0,1)x \in (0,1) необходимо и достаточно для того, чтобы при достаточно большом nn числа anka_{n}^{k}, k=0,1,…,nk=0,1, \ldots , n, не обращались одновременно в нуль и были неотрицательны.

?