چندجمله‌ای‌های برنشتاین

چپ|بندانگشتی| چند جمله ای های برنشتاین تقریب منحنی
در زمینه ریاضی تجزیه و تحلیل عددی ، **چند جمله ای برنشتاین** ، که به نام سرگئی ناتانوویچ برنشتاین نامگذاری شده است، چند جمله ای در **فرم برنشتاین** ترکیبی خطی از **چند جمله ای** های **برنشتاین است** .

روش عددی پایدار برای ارزیابی چند جمله ای ها به شکل برنشتاین به نام الگوریتم de Casteljau وجود دارد.

چند جمله ای های برنشتاین برای اولین بار توسط برنشتاین در اثبات سازنده قضیه تقریب Weierstrass استفاده شد. با ظهور گرافیک رایانه ای ، چند جمله های برنشتاین ، محدود به فاصله [0 ،&nbsp;1] ، به شکل منحنی های بزیر شناخته شدند.
بندانگشتی| چند جمله ای برنشتاین برای ترکیب منحنی درجه 4

## تعریف
*n*+ **چند جمله ای** های درجه 1 **برنشتاین** به عنوان *n* تعریف می شوند

: b_{\nu,n}(x) = \binom{n}{\nu} x^{\nu} \left( 1 - x \right)^{n - \nu}, \quad \nu = 0, \ldots, n,

جایی که \tbinom{n}{\nu} ضریب دوجمله ای است . به عنوان مثال ، b_{2,5}(x) = \tbinom{5}{2}x^2(1-x)^3 = 10x^2(1-x)^3.

اولین چند جمله های اساسی برنشتاین برای ترکیب مقدارهای 1 ، 2 ، 3 یا 4 با هم عبارتند از:

: 
\begin{align}
b_{0,0}(x) & = 1, \\
b_{0,1}(x) & = 1 - x, & b_{1,1}(x) & = x \\
b_{0,2}(x) & = (1 - x)^2, & b_{1,2}(x) & = 2x(1 - x), & b_{2,2}(x) & = x^2 \\
b_{0,3}(x) & = (1 - x)^3, & b_{1,3}(x) & = 3x(1 - x)^2, & b_{2,3}(x) & = 3x^2(1 - x), & b_{3,3}(x) & = x^3
\end{align}

:

چند جمله ای های پایه برنشتاین درجه *n حداکثر* مبنایی را برای فضای برداری *P n* از چند جمله ای های درجه &nbsp;*n* با ضرایب واقعی تشکیل می دهد. ترکیبی خطی از چند جمله ای مبتنی برنشتاین

: B_n(x) = \sum_{\nu=0}^{n} \beta_{\nu} b_{\nu,n}(x)

**در فرم** درجه **Bernnstein چند جمله ای** یا **چند جمله ای Bernstein** از درجه &nbsp;*n*  نامیده می شود. ضرایب \beta_\nu **ضرایب برنشتاین** یا **ضرایب بزیر** نامیده می شوند.

از اولین چند جمله ای های مبتنی برنشتاین در زیر آمده است که از بالا، دارای فقط یک جمله هستند:

: 
\begin{align}
b_{0,0}(x) & = 1, \\
b_{0,1}(x) & = 1 - 1x, & b_{1,1}(x) & = 0 + 1x \\
b_{0,2}(x) & = 1 - 2x + 1x^2, & b_{1,2}(x) & = 0 + 2x - 2x^2, & b_{2,2}(x) & = 0 + 0x + 1x^2 \\
b_{0,3}(x) & = 1 - 3x + 3x^2 - x^3, & b_{1,3}(x) & = 0 + 3x - 6x^2 + 3x^3, & b_{2,3}(x) & = 0 + 0x + 3x^2 - 3x^3, & b_{3,3}(x) & = 0 + 0x + 0x^2 + 1x^3
\end{align}

:

## خواص
چند جمله ای های برنشتاین دارای ویژگی های زیر است:

* b_{\nu, n}(x) = 0 ، اگر \nu  یا \nu > n.

* b_{\nu, n}(x) \ge 0 برای x \in [0,\ 1].

* b_{\nu, n}\left( 1 - x \right) = b_{n - \nu, n}(x).

* b_{\nu, n}(0) = \delta_{\nu, 0} و b_{\nu, n}(1) = \delta_{\nu, n} جایی که \delta تابع دلتا Kronecker است: \delta_{ij} = \begin{cases}
0 &\text{if } i \neq j,  \\
1 &\text{if } i=j.  \end{cases}

* b_{\nu, n}(x) ریشه ای با کثرت \nu در نقطه x = 0  دارد.(توجه داشته باشید: اگر \nu = 0 ، هیچ ریشه ای در 0 وجود ندارد).

* b_{\nu, n}(x) ریشه ای با کثرت دارد \left( n - \nu \right) در نقطه x = 1 (توجه داشته باشید: اگر \nu = n ، در 1 ریشه وجود ندارد).

* مشتق را می توان به عنوان ترکیبی از دو چند جمله ای درجه پایین نوشت:
*: b'_{\nu, n}(x) = n \left( b_{\nu - 1, n - 1}(x) - b_{\nu, n - 1}(x) \right).

* تبدیل چند جمله ای برنشتاین به یک جمله است
*: b_{\nu,n}(x) = \binom{n}{\nu}\sum_{k=0}^{n-\nu} \binom{n-\nu}{k}(-1)^{n-\nu-k} x^{\nu+k} = \sum_{\ell=\nu}^n \binom{n}{\ell}\binom{\ell}{\nu}(-1)^{\ell-\nu}x^\ell,

: و تحول دوجمله ای معکوس توسط تبدیل معکوس،  عبارت است از: 
: x^k=\sum_{i=0}^{n-k}\binom{n-k}{i}\frac{1}{\binom{n}{i}}b_{n-i,n}(x) = \frac{1}{\binom{n}{k}} \sum_{j=k}^n \binom{j}{k}b_{j,n}(x).

* انتگرال نامعین توسط داده می شود
*: \int b_{\nu, n}(x)dx = \frac{1}{n+1} \sum_{j=\nu+1}^{n+1} b_{j, n+1}(x).

* انتگرال مشخص، برای *n* مشخص شده به صورت زیر تعریف میشود:
*: \int_{0}^{1}b_{\nu, n}(x)dx = \frac{1}{n+1} \quad\ \, \text{for all } \nu = 0,1, \dots, n.

* اگر n \ne 0 ، سپس b_{\nu, n}(x) در این فاصله حداکثر محلی منحصر به فرد دارد [0,\ 1] در x = \frac{\nu}{n} . این حداکثر مقدار زیر را می گیرد:
*: \nu^\nu n^{-n} \left( n - \nu \right)^{n - \nu} {n \choose \nu}.

* چند جمله ای های درجه برنشتاین n تقسیم وحدت را تشکیل دهید :
*: \sum_{\nu = 0}^n b_{\nu, n}(x) = \sum_{\nu = 0}^n {n \choose \nu} x^\nu \left(1 - x\right)^{n - \nu} = \left(x + \left( 1 - x \right) \right)^n = 1.

* با گرفتن اولین مشتق x  از (x+y)^n ، و تلقی y به عنوان ثابت ، سپس با جایگزین کردن y = 1-x ، می توان نشان داد که
*: \sum_{\nu=0}^{n}\nu b_{\nu, n}(x) = nx.

* به همین ترتیب چ مشتق دوم  x  از (x+y)^n ، با   جایگزین شدن دوباره y با عبارت ،y = 1-x ، نشان میدهد که
*: \sum_{\nu=1}^{n}\nu(\nu-1) b_{\nu, n}(x) = n(n-1)x^2.

* یک چند جمله ای برنشتاین را همیشه می توان به صورت ترکیبی خطی از چند جمله ای های درجه بالاتر نوشت:
*: b_{\nu, n - 1}(x) = \frac{n - \nu}{n} b_{\nu, n}(x) + \frac{\nu + 1}{n} b_{\nu + 1, n}(x).

* گسترش چندجملهای چبیشف نوع اول به مبنای برنشتاین 
*: T_n(u) = (2n-1)!!\sum_{k=0}^n \frac{(-1)^{n-k}}{(2k-1)!!(2n-2k-1)!!} b_{k,n}(u).

## تقریب توابع مداوم
*&#x192;* را به عنوان یک تابع پیوسته در بازه [0،&nbsp;1] چند جمله ای برنشتاین را در نظر بگیرید

: B_n(f)(x) = \sum_{\nu = 0}^n f\left( \frac{\nu}{n} \right) b_{\nu,n}(x).

می توان نشان داد که

: \lim_{n \to \infty}{ B_n(f) } = f 

به طور یکنواخت در فاصله&nbsp;[0 ،&nbsp;1]    

چند جمله ای های برنشتاین یک روش برای اثبات قضیه تقریب Weierstrass ارائه می دهد که هر تابع مداوم با ارزش واقعی در یک بازه واقعی [ *a* ،&nbsp;*b* ] را می توان با توابع چند جمله ای \mathbb Rبیش از یکنواخت تقریب زد&nbsp; . 

در بیانی عمومی تر برای یک تابع با *K* مستمر هفتم مشتق

: {\left\| B_n(f)^{(k)} \right\|}_\infty \le \frac{ (n)_k }{ n^k } \left\| f^{(k)} \right\|_\infty \quad\ \text{and} \quad\ \left\| f^{(k)}- B_n(f)^{(k)} \right\|_\infty \to 0,

علاوه بر این

: \frac{ (n)_k }{ n^k } = \left( 1 - \frac{0}{n} \right) \left( 1 - \frac{1}{n} \right) \cdots \left( 1 - \frac{k - 1}{n} \right)

یک مقدار ویژه *B* *n است* ؛ عملکرد ویژه مربوط به آن چند جمله ای درجه است&nbsp;*ک*

### اثبات احتمالی
این اثبات از اثبات اصلی برنشتاین در سال 1912 پیروی می کند.  همچنین به فلر (1966) یا کورالوف و سینا (2007) مراجعه کنید.  

فرض کنید *K* است متغیر تصادفی به عنوان تعداد موفقیتها در *n را* مستقل توزیع برنولی با احتمال *x* از موفقیت در هر آزمایش به؛ به عبارت دیگر ، *K* دارای توزیع دوجمله ای با پارامترهای *n* و&nbsp;*x* سپس مقدار مورد انتظار را داریم \operatorname{\mathcal E}\left[\frac{K}{n}\right] = x\  و

:: (1+t)^n = \sum_k {n \choose k} t^k,

طبق قانون ضعیف تعداد زیادی نظریه احتمال ،

:  b_{k,n}(x) = {n\choose k} x^k (1-x)^{n-k},

برای هر *&#x3B4;*&nbsp;>&nbsp;0 علاوه بر این، این رابطه دارای یکنواخت در *X،* که می توان از اثبات آن از طریق دیده نابرابری چبیشف ، با توجه به که واریانس &nbsp;*K،*  برابر&nbsp;*×* (1 &#x2212; *X)* است، از بالا توسط  از *x* محدود بدون در نظر گرفتن.

از آنجا *&#x192;* مستمر بودن در یک فاصله زمانی بسته و کراندار، باید یکنواخت پیوسته در آن بازه، یک نوشتار بیانیه ای از فرم

: f_n(x) - f(x) = \sum_k [f(k/n) - f(x)] \,b_{k,n}(x), 

بصورت یکنواخت در *x* . با در نظر گرفتن اینکه *ƒ* محدود است (در فاصله زمانی مشخص) فرد می تواند انتظار را بدست آورد

: |f_n(x) - f(x)| \le  \sum_k |f(k/n) - f(x)| \, b_{k,n}(x).

بصورت یکنواخت در *x* . بدین منظور یکی مجموع انتظار را به دو قسمت تقسیم می کند. در یک قسمت تفاوت از *ε* فراتر نمی رود. این بخش نمی تواند بیش از *ε کمک کند* . در قسمت دیگر این اختلاف از *ε* فراتر می رود ، اما از 2 *M* فراتر نمی رود ، جایی که *M* حد بالایی برای | است *&#x192;* (x) | این قسمت نمی تواند بیش از 2 *M* برابر احتمال کوچک اختلاف بیش از *ε باشد* .

سرانجام ، یکی مشاهده می کند که مقدار مطلق تفاوت بین انتظارات هرگز از انتظار مقدار مطلق اختلاف فراتر نمی رود و

:  f_n(x) = \sum_k f(k/n)\, b_{k,n}(x).

### اثبات ابتدایی
اثبات احتمال را می توان به روش ابتدایی ، با استفاده از ایده های احتمالی اساسی ، اما با تأیید مستقیم ادامه داد:     

هویت های زیر را می توان تأیید کرد:

(3)  \sum_k \left( x -{k\over n}\right)^2 {n \choose k} x^k (1-x)^{n-k} = {x(1-x)\over n}. 

: ("احتمال")

(2)  \sum_k {k\over n} {n \choose k} x^k (1-x)^{n-k} = x

: ("میانگین")

(3)  \sum_k \left( x -{k\over n}\right)^2 {n \choose k} x^k (1-x)^{n-k} = {x(1-x)\over n}. 

: ("واریانس")

در واقع ، با قضیه دو جمله ای

:: (1+t)^n = \sum_k {n \choose k} t^k,

و این معادله را می توان دو بار به t\frac{d}{dt} . هویت (1) ، (2) و (3) با استفاده از تعویض به راحتی دنبال می شود t = x/ (1 - x) .

در این سه هویت ، از علامت چند جمله ای مبانی فوق استفاده کنید

:  |f_n(x) - f(x)| \le \sum_{|x -{k\over n}|

و اجازه دهید

:  f_n(x) = \sum_k f(k/n)\, b_{k,n}(x).

بنابراین ، توسط هویت (1)

: \sum_{|x - k/n|\ge \delta} b_{k,n}(x) \le \sum_k \delta^{-2} \left(x -{k\over n}\right)^2 b_{k,n}(x) = \delta^{-2} {x(1-x)\over n} 

به طوری که

: |f_n(x) - f(x)| \le  \sum_k |f(k/n) - f(x)| \, b_{k,n}(x).

از آنجا که *f* یکنواخت پیوسته است ، داده می شود \varepsilon > 0 ، وجود دارد \delta > 0 به طوری که |f(a) - f(b)|  هر زمان که |a-b|  . علاوه بر این ، با تداوم ، M= \sup |f|  . اما بعد

: \sum_{i_1} \sum_{i_2} \cdots \sum_{i_k} {n_1\choose i_1} {n_2\choose i_2} \cdots {n_k\choose i_k}
f({i_1\over n_1}, {i_2\over n_2}, \dots, {i_k\over n_k}) 
x_1^{i_1} (1-x_1)^{n_1-i_1} 
x_2^{i_2} (1-x_2)^{n_2-i_2} 
\cdots x_k^{i_k} (1-x_k)^{n_k - i_k}


اولین جمع کمتر از ε است. از طرف دیگر ، با هویت (3) در بالا ، و از آن زمان |x - k/n| \ge \delta ، جمع دوم با 2 *M* بار محدود می شود

: \sum_{|x - k/n|\ge \delta} b_{k,n}(x) \le \sum_k \delta^{-2} \left(x -{k\over n}\right)^2 b_{k,n}(x) = \delta^{-2} {x(1-x)\over n} 

: ( نابرابری چبیشف )

که آن را زیر چند جمله ای *f* *N* تمایل به *F* یکنواخت.

## تعمیم به بعد بالاتر
چند جمله ای های Bernstein را می توان به ابعاد  تعمیم داد. چند جمله ای های بدست آمده به شکل      در ساده ترین حالت فقط محصولات فاصله واحد  در نظر گرفته می شوند. اما ، با استفاده از تبدیل های آفینی خط ، چندین جمله های برنشتاین را می توان برای محصولات  . برای یک تابع مداوم  روی محصول برابر  برابر واحد ، اثبات اینکه  می تواند به طور یکسان تقریب شود

: \sum_{i_1} \sum_{i_2} \cdots \sum_{i_k} {n_1\choose i_1} {n_2\choose i_2} \cdots {n_k\choose i_k}
f({i_1\over n_1}, {i_2\over n_2}, \dots, {i_k\over n_k}) 
x_1^{i_1} (1-x_1)^{n_1-i_1} 
x_2^{i_2} (1-x_2)^{n_2-i_2} 
\cdots x_k^{i_k} (1-x_k)^{n_k - i_k}


گسترش مستقیم اثبات برنشتاین در یک بعد است. 

## همچنین ببینید

* درون یابی چند جمله ای
* فرم نیوتن
* فرم لاگرانژ
* Binomial QMF


## منابع

* , English translation
* 
* , Russian edition first published in 1940
* 
* 
* 
*  
*  
* 
* 

## لینک های خارجی

* 
* 
*  
* 
* 
*  from University of California, Davis. Note the error in the summation limits in the first formula on page 9.
* 
*  Feature Column from American Mathematical Society
* 
* 
* 
* 
* Weisstein, Eric W. "Bernstein Polynomial". MathWorld.
* This article incorporates material from properties of Bernstein polynomial on PlanetMath, which is licensed under the Creative Commons Attribution/Share-Alike License.
رده:چندجمله‌ای‌ها
رده:محاسبات عددی
رده:صفحات با ترجمه بازبینی‌نشده