バーンスタイン多項式

出典: フリー百科事典『ウィキペディア(Wikipedia)』
移動: 案内検索

バーンスタイン多項式(-たこうしき、Bernstein polynomial)は、バーンスタイン基底関数 (Bernstein basis polynomials) の線形結合で与えられるバーンスタイン形式の多項式。セルゲイ・ベルンシュテインにちなむ。

バーンスタイン形式の数値的に安定な手法は、ド・カステリョのアルゴリズム (en:de Casteljau's algorithm) として知られている。

バーンスタイン形式の多項式は、ベルンシュテインによりストーン=ワイエルシュトラスの定理の構成的な証明において初めて使用された。コンピュータ・グラフィックスの出現により、 x ∈ [0, 1] の範囲におけるバーンスタイン多項式は、ベジェ曲線の重要な要素となった。

定義[編集]

n 次のバーンスタイン基底関数

b_{\nu,n}(x) = {n \choose \nu} x^{\nu} (1-x)^{n-\nu}, \qquad \nu=0,\ldots,n.

(ここで {n \choose \nu}二項係数)として与えられる。

n 次のバーンスタイン基底関数は、n 次の多項式空間であるベクトル空間 \Pi_n の基底をなす。

バーンスタイン基底関数の線形結合によって与えられる

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

は、n 次のバーンスタイン多項式と呼ばれる。また係数 βνバーンスタイン係数、またはベジェ係数と呼ばれる。

[編集]

バーンスタイン基底関数は以下のような式となる。

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_{\nu,n}(x) = 0, if ν < 0 or ν > n
  • b_{\nu,n}(0) = \delta_{\nu,0} and b_{\nu,n}(1) = \delta_{\nu,n}(ここで \deltaクロネッカーのデルタ関数)
  • ν ≠ 0 の時、b_{\nu,n}(x) = 0x = 0 に解を持つ
  • ν ≠ n の時、b_{\nu,n}(x) = 0x = 1 に解を持つ
  • b_{\nu,n}(x) ≥ 0 for x in [0,1]
  • b_{\nu,n}(1 - x) = b_{n-\nu,n}(x)
  • 導関数は2つの低次な多項式により与えられる
b'_{\nu,n}(x) = n\left(b_{\nu-1,n-1}(x) - b_{\nu,n-1}(x)\right)
  • n ≠ 0 の時、b_{\nu,n}(x)x = ν/n に極大値を持ち、その値は \nu^{\nu}n^{-n}(n-\nu)^{n-\nu}{n\choose \nu} となる
  • n 次のバーンスタイン基底関数は1の分割をなす
\sum_{\nu=0}^n b_{\nu,n}(x) = \sum_{\nu=0}^n {n \choose \nu} x^{\nu}(1-x)^{n-\nu} = (x+(1-x))^n = 1.
  • 高次のバーンスタイン基底関数の和としても記述可能
b_{\nu,n-1}(x)=\frac{n-\nu}{n}b_{\nu,n}(x)+\frac{\nu+1}{n}b_{\nu+1,n}(x).

連続関数の近似[編集]

[0, 1] の範囲において連続な関数 f(x) を用いたバーンスタイン多項式

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

は、[0, 1] の範囲で以下のように、一様に収束する。

\lim_{n\rightarrow\infty} B_n(f)(x)=f(x)

このことは、各点収束するが一様収束はしないという命題に比べ、より強い命題である。この一様収束は、以下のように明確に示される。

\lim_{n\rightarrow\infty} \sup\{\,\left|f(x)-B_n(f)(x)\right|:0\leq x\leq 1\,\}=0.

上述のように、バーンスタイン多項式はストーン=ワイエルシュトラスの定理の証明にも用いられる。

また、より一般的に、連続な k 次導関数についても、

\| B_n(f)^{(k)} \|_\infty \le {(n)_k \over n^k} \| f^{(k)} \|_\infty\text{ and }\|f^{(k)}- B_n(f)^{(k)} \|_\infty \rightarrow 0,

であることが示せる。ここで {(n)_k \over n^k}= \left(1-{0 \over n}\right)\left(1-{1 \over n}\right) \cdots \left(1-{k-1 \over n}\right)B_n固有値である。

\lim_{n\rightarrow\infty} B_n(f)(x)=f(x)であることの初等的な説明[編集]

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

は確率xで事象pが起こる試行をn回繰り返したとき、事象pがちょうどν回起こる確率を表す。試行をn回繰り返す場合において、pがν回起こったときに得られる確率変数をf(ν/n)とすると、

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

は期待値を表す。 一方、n回試行を繰り返す場合、事象pが起こる回数は平均してnxである。よって、平均して得られる確率変数、すなわち期待値はf(nx/n)=f(x)であると考えられる。今、νやnは整数で、xはnを分母とする有理数とは限らないのでB_n(f)(x)f(x)の誤差は0とは限らないが、nを大きくしていくと両者の誤差は0に近づいていくと考えられるので、

\lim_{n\rightarrow\infty} B_n(f)(x)=f(x)

が成り立つ。

関連[編集]

外部リンク[編集]

この記事は、クリエイティブ・コモンズ・ライセンス 表示-継承 3.0 非移植のもと提供されているオンライン数学辞典『PlanetMath』の項目properties of Bernstein polynomialの本文を含む