我们在研究贝塞尔曲线的时候,首先遇到的就是伯恩斯坦多项式(Bernstein polynomial),为此,有必要专门开出一篇文章来探讨伯恩斯坦多项式的性质。
从定义出发,伯恩斯坦多项式的第n阶项有如下形式:
$$
b_{i,n}(t) = \binom{n}{i}\cdot t^{i} \cdot (1-t)^{(n-i)}, \quad t\in[0, 1]
$$
其中 $i=0, 1, …, n$, 而
$$
\binom{n}{i} = \frac{n!}{i!(n-i)!}
$$
是二项式系数。伯恩斯坦 n 阶多项式可以形成一组 n 阶指数多项式的基底。一般伯恩斯坦多项式可以表示为:
$$
B_n(t) = \sum_{i=0}^{n}\beta_i \cdot b_{i, n}(t)
$$
其中,$\beta_i$ 叫做伯恩斯坦系数。读者看到这个形式可能一下子就联想到贝塞尔曲线了。是的,这就是贝塞尔曲线的函数形式。不过,贝塞尔曲线我们会在下一篇文章中去详细论述,本篇只探讨伯恩斯坦多项式的特性。
目录
性质
伯恩斯坦多项式满足如下性质:
对称性
$$
b_{i,n}(t) = b_{n-i,n}(1-t)
$$
正性
$$
b_{i,n}(t) \geqslant 0
$$
归一化
$$
\sum_{i=0}^{n}b_{i, n}(t) = 1
$$
极值
当 $i\neq 0, n$ 时,$b_{i,n}(t)$ 有且只有一个极大值点,位于 $t=\frac{i}{n}$,值为
$$
b_{i,n}(\frac{i}{n}) = i^i\cdot n^{-n} \cdot (n-i)^{n-i} \binom{n}{i}
$$
临近项关系
伯恩斯坦多项式的项总是可以表示为两个比他高一阶项的线性组合
$$
b_{i,n-1}(t) = \frac{n-i}{n}b_{i,n}(t) + \frac{i+1}{n}b_{i+1,n}(t)
$$
而其导数可以表示为两个低一阶项的线性组合
$$
b_{i,n}^{‘}(t) = n\cdot[b_{i-1,n-1}(t)-b_{i,n-1}(t)]
$$
当然这里需要考虑到一个约定,即当 $i<0$ 或 $i>n$ 时,
$$
\binom{n}{i} = 0
$$
这是很容易理解的。二阶项系数的含义是在不考虑顺序的情况下,从 $n$ 中挑选出子集大小为 $i$ 的可能性有多少。当 $i<0$ 或 $i>n$ 时,其可能性当然为零。
由此,我们也知道,当 $i<0$ 或 $i>n$ 时,
$$
b_{i,n}(t) = 0
$$
端点
当 $t=0$ 或 $t=1$ 时,其结果满足
$$
\begin{align}
b_{i,n}(0) &= \delta_{i, 0} \newline
b_{i,n}(1) &= \delta_{i, n}
\end{align}
$$
其中
$$
\delta_{i,j} =
\begin{cases}
0, &i \neq j \newline
1, &i = j
\end{cases}
$$
是 Kronecker $\delta$ 函数。
积分
$$
\int_{0}^{1} b_{i,n}(t) dt = \frac{1}{n+1}
$$
多项式前几阶结果
通过求取多项式的前几阶结果,并画出相应的函数图,可以很直观地验证上述伯恩斯坦多项式的几个性质。
零阶
$$
\begin{align}
b_{0,0}(t) &= 1
\end{align}
$$
一阶
$$
\begin{align}
b_{0,1}(t) &= 1-t \newline
b_{1,1}(t) &= t
\end{align}
$$
二阶
$$
\begin{align}
b_{0,2}(t) &= (1-t)^2 \newline
b_{1,2}(t) &= 2(1-t)t \newline
b_{2,2}(t) &= t^2
\end{align}
$$
三阶
$$
\begin{align}
b_{0,3}(t) &= (1-t)^3 \newline
b_{1,3}(t) &= 3(1-t)^2t \newline
b_{2,3}(t) &= 3(1-t)t^2 \newline
b_{3,3}(t) &= t^3
\end{align}
$$
四阶
$$
\begin{align}
b_{0, 4}(t) &= (1-t)^4 \newline
b_{1, 4}(t) &= 4(1-t)^3t \newline
b_{2, 4}(t) &= 6(1-t)^2t^2 \newline
b_{3, 4}(t) &= 4(1-t)t^3 \newline
b_{4, 4}(t) &= t^4
\end{align}
$$
五阶
$$
\begin{align}
b_{0, 5}(t) &= (1-t)^5 \newline
b_{1, 5}(t) &= 5(1-t)^4t \newline
b_{2, 5}(t) &= 10(1-t)^3t^2 \newline
b_{3, 5}(t) &= 10(1-t)^2t^3 \newline
b_{4, 5}(t) &= 5(1-t)t^4 \newline
b_{5, 5}(t) &= t^5
\end{align}
$$
《伯恩斯坦多项式》有1条留言