2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




 
 Монотонность многочленов Бернштейна
Сообщение10.11.2013, 11:45 
Как доказать следующие свойство многочленов Бернштейна? Если $f$ - монотонна на $[0,1]$ то соответствующий многочлен Бернштейна $B_n(x,f)=\sum\limits_{k=0}^nf(\frac k n)C ^k_n x^k (1-x)^{n-k}$ также монотонен на $[0,1]$.
Пробовал продифференцировать многочлен. Но это ничем не помогло.

 
 
 
 Re: Монотонность многочленов Бернштейна
Сообщение10.11.2013, 12:03 
А почему не помогло? После очевидного преобразования двух сумм, получающихся после дифференцирования, выходит $B'_n(x,f)=n\sum\limits_{k=0}^{n-1}\left(f(\frac {k+1} n)-f(\frac k n)\right)C ^k_{n-1} x^k (1-x)^{n-1-k}$.

 
 
 
 Re: Монотонность многочленов Бернштейна
Сообщение10.11.2013, 13:28 
Потому что минус потерял между суммами и немедленно забросил это дело :?
$B'_n(x,f)=\sum\limits_{k=0}^nf(\frac k n)C_n^k k x^{k-1}(1-x)^{n-k} - \sum\limits_{k=0}^nf(\frac k n)C_n^k (n-k)x^k(1-x)^{n-k-1} = $
$ = \sum\limits_{k=1}^nf(\frac k n)C_n^k k x^{k-1}(1-x)^{n-k} - \sum\limits_{k=0}^{n-1}f(\frac k n)C_n^k (n-k)x^k(1-x)^{n-k-1} = $
$ = \sum\limits_{k=0}^{n-1}f(\frac {k+1} n)C_n^{k+1} (k+1) x^k(1-x)^{n-k-1}  - \sum\limits_{k=0}^{n-1}f(\frac k n)C_n^k (n-k)x^k(1-x)^{n-k-1} = $
$ = n\sum\limits_{k=0}^{n-1}f(\frac {k+1} n)C_{n-1}^k x^k(1-x)^{n-k-1} - n\sum\limits_{k=0}^{n-1}f(\frac k n)C_{n-1}^k x^k(1-x)^{n-k-1} = $
$  = n\sum\limits_{k=0}^{n-1}(f(\frac {k+1} n) - f(\frac k n))C_{n-1}^k x^k(1-x)^{n-k-1}$.
$x^k(1-x)^{n-k-1} \ge 0, \forall x \in [0,1]$ т.е. знак производной зависит от $(f(\frac {k+1} n) - f(\frac k n))$. А в следствии монотонности самой функции эта разность имеет одинаковый знак или равна 0.

 
 
 [ Сообщений: 3 ] 


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group