バーンスタイン多項式

テンプレート:簡易区別テンプレート:読み仮名はバーンスタイン基底関数の線形結合で与えられる多項式である。テンプレート:読み仮名^[1]、ベルンシュタイン多項式とも。

概要

バーンスタイン多項式はバーンスタイン基底関数の線形結合で与えられる多項式である（⇒#定義）。テンプレート:Math 次のバーンスタイン多項式は任意の[[多項式#高々 n 次の多項式|高々テンプレート:Mvar 次の多項式]]を表現できるため^[2]、バーンスタイン多項式は多項式の別形式での表現であるといえる（⇒#特性）^[1]。

バーンスタイン形式の数値的に安定な手法は、テンプレート:Illとして知られている。

バーンスタイン多項式はセルゲイ・ベルンシュテインが確率論を用いてワイエルシュトラスの近似定理の別証明をする際に初めて導入された（テンプレート:Harvnb）。のちに彼の名を取ってバーンスタイン多項式と呼ばれるようになった。

コンピュータ・グラフィックスの出現により、テンプレート:Math の範囲におけるバーンスタイン多項式は、ベジェ曲線の重要な要素となった。

定義

バーンスタイン基底関数

$n$ 次のテンプレート:読み仮名 $b_{ν, n} (x)$ は以下で定義される^[3]^{[注 1]}：

b_{ν, n} (x) = (\binom{n}{ν}) x^{ν} (1 - x)^{n - ν}, ν = 0, \dots, n .

$n$ 次のバーンスタイン基底関数は、[[多項式#高々 n 次の多項式|高々テンプレート:Mvar 次の多項式]]からなるベクトル空間の基底をなす^[2]。

バーンスタイン多項式

$n$ 次のバーンスタイン多項式 $B_{n} (x)$ は以下で定義される：

B_{n} (x) = \sum_{ν = 0}^{n} β_{ν} b_{ν, n} (x)

すなわちバーンスタイン基底関数の線形結合であり、その係数 β_ν はバーンスタイン係数あるいはベジェ係数と呼ばれる。

例

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

\begin{matrix} 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) = 2 x (1 - x) & b_{2, 2} (x) = x^{2} \end{matrix}

特性

バーンスタイン基底関数の特性

バーンスタイン基底関数は以下のような特性を持つ。

$b_{ν, n} (x) = 0$ , if ν < 0 or ν > テンプレート:Math
$b_{ν, n} (0) = δ_{ν, 0}$ and $b_{ν, n} (1) = δ_{ν, n}$ （ここで $δ$ はクロネッカーのデルタ関数）
テンプレート:Math ≠ 0 の時、 $b_{ν, n} (x) = 0$ はテンプレート:Math = 0 に解を持つ
テンプレート:Math ≠ n の時、 $b_{ν, n} (x) = 0$ はテンプレート:Math = 1 に解を持つ
$b_{ν, n} (1 - x) = b_{n - ν, n} (x)$
導関数は2つの低次な多項式により与えられる

b'_{ν, n} (x) = n (b_{ν - 1, n - 1} (x) - b_{ν, n - 1} (x))

テンプレート:Math ≠ 0 の時、 $b_{ν, n} (x)$ はテンプレート:Math = ν/テンプレート:Math に極大値を持ち、その値は　 $ν^{ν} n^{- n} (n - ν)^{n - ν} (\binom{n}{ν})$ となる

高次のバーンスタイン基底関数の和としても記述可能

b_{ν, n - 1} (x) = \frac{n - ν}{n} b_{ν, n} (x) + \frac{ν + 1}{n} b_{ν + 1, n} (x) .

二項分布と区間同値

バーンスタイン基底関数は閉区間 $[0, 1]$ （単位区間）において二項分布の確率質量関数 $(\binom{n}{k}) p^{k} (1 - p)^{n - k}$ と同値である。

区間正値

バーンスタイン基底関数は開区間 $(0, 1)$ において正の値のみをとる。すなわち $b_{ν, n} (x) > 0 f o r x \in (0, 1)$ 。

区間非負

バーンスタイン基底関数は閉区間 $[0, 1]$ （単位区間）において非負の値のみをとる。すなわち $b_{ν, n} (x) \geq 0 f o r x \in [0, 1]$ 。

これは $0 \leq x, 0 \leq (1 - x) f o r x \in [0, 1]$ かつ二項係数が非負より明らかである。またこの関数がこの閉区間において二項分布と同値であることからも明らかである（⇒#二項分布と区間同値）。

1の分割

テンプレート:Math 次のバーンスタイン基底関数は1の分割をなす特性をもつ^[4]。

この特性は以下で示される：

$\sum_{ν = 0}^{n} b_{ν, n} (x) = \sum_{ν = 0}^{n} (\binom{n}{ν}) x^{ν} (1 - x)^{n - ν} = (x + (1 - x))^{n} = 1 .$

また、バーンスタイン基底関数が二項分布の確率質量関数と同じ形であることからもこの特性がわかる（⇒#二項分布と区間同値）。

バーンスタイン多項式の特性

バーンスタイン多項式は以下のような特性を持つ。

高々 n 次の多項式と同値

テンプレート:Math 次のバーンスタイン多項式は[[多項式#高々 n 次の多項式|高々テンプレート:Mvar 次の多項式]]と同値である。言い換えれば、高々テンプレート:Math 次の多項式からなるベクトル空間の任意の元を表現できる^[2]。

テンプレート:Math を例にとると、1次バーンスタイン多項式 $B (x)$ は次のように展開できる：

$B (x) = \sum_{ν = 0}^{1} β_{ν} b_{ν, 1} (x) = β_{0} (1 - x) + β_{1} x = (β_{1} - β_{0}) x + β_{0}$

ここで傾き $a$ ・切片 $b$ の高々1次の多項式 $p (x) = a x + b$ を $B (x)$ が表現できるか考える。 $β_{0} = b$ , $β_{1} = a + b$ とすると $B (x)$ は、

$B (x) = (a + b - b) x + b = a x + b = p (x)$

となる。ゆえに1次バーンスタイン多項式は高々1次の多項式と同値であるといえる。

この特性のためバーンスタイン多項式は多項式のバーンスタイン形式とも呼ばれる^[1]。

連続関数の近似

[0, 1] の範囲において連続な関数テンプレート:Math を用いたバーンスタイン多項式

B_{n} (f) (x) = \sum_{ν = 0}^{n} f (\frac{ν}{n}) b_{ν, n} (x) .

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

\lim_{n \to \infty} B_{n} (f) (x) = f (x)

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

\lim_{n \to \infty} \sup_{0 \leq x \leq 1} | f (x) - B_{n} (f) (x) | = 0 .

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

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

‖ B_{n} (f)^{(k)} ‖_{\infty} \leq \frac{(n)_{k}}{n^{k}} ‖ f^{(k)} ‖_{\infty} and ‖ f^{(k)} - B_{n} (f)^{(k)} ‖_{\infty} \to 0,

であることが示せる。ここで $\frac{(n)_{k}}{n^{k}} = (1 - \frac{0}{n}) (1 - \frac{1}{n}) \dots (1 - \frac{k - 1}{n})$ は $B_{n}$ の固有値である。

$\lim_{n \to \infty} B_{n} (f) (x) = f (x)$ であることの初等的な説明

b_{ν, n} (x) = (\binom{n}{ν}) x^{ν} (1 - x)^{n - ν}

は確率テンプレート:Math で事象テンプレート:Math が起こる試行をテンプレート:Math 回繰り返したとき、事象テンプレート:Math がちょうどテンプレート:Math回起こる確率を表す。試行をn回繰り返す場合において、テンプレート:Math がテンプレート:Math 回起こったときに得られる確率変数をテンプレート:Mathとすると、

B_{n} (f) (x) = \sum_{ν = 0}^{n} f (\frac{ν}{n}) b_{ν, n} (x) .

は期待値を表す。一方、テンプレート:Math 回試行を繰り返す場合、事象テンプレート:Math が起こる回数は平均してテンプレート:Math である。よって、平均して得られる確率変数、すなわち期待値はテンプレート:Math であると考えられる。今テンプレート:Math やテンプレート:Math は整数で、テンプレート:Math はテンプレート:Math を分母とする有理数とは限らないのでテンプレート:Mathとテンプレート:Math の誤差もテンプレート:Math とは限らないが、テンプレート:Math を大きくしていくと両者の誤差はテンプレート:Math に近づいていくと考えられるので、

\lim_{n \to \infty} B_{n} (f) (x) = f (x)

が成り立つ。

脚注

注釈

テンプレート:Reflist

出典

テンプレート:Reflist

参考文献

テンプレート:Cite journal（参考英訳）
テンプレート:Citation

外部リンク

テンプレート:PlanetMath attribution

↑ ^1.0 ^1.1 ^1.2 "In computer aided geometric design, polynomials are usually expressed in Bernstein form. ... Let p(t) ... be a polynomial in the Bernstein form" p.744,746 より引用。テンプレート:Cite journal
↑ ^2.0 ^2.1 ^2.2 テンプレート:Cite book
↑ "バーンスタイン基底関数 $x_{i}^{n} =_{n} C_{i} t^{i} (1 - t)^{n - i}$ n は次数を表す" テンプレート:Harvnb より引用。
↑ " $P (t) = \sum_{i = 0}^{n} B_{i}^{n} P_{i} B_{i}^{n} =_{n} C_{i} t^{i} (1 - t)^{n - i}$ ある比率で各制御点の座標を混ぜ合わせる ... 混合比（和は 1 になる）混合比を関数で表したものを「基底関数」とよぶ" テンプレート:Harvnb より引用。

引用エラー: 「注」という名前のグループの <ref> タグがありますが、対応する <references group="注"/> タグが見つかりません

[:0-1] 1.0 ^1.1 ^1.2 "In computer aided geometric design, polynomials are usually expressed in Bernstein form. ... Let p(t) ... be a polynomial in the Bernstein form" p.744,746 より引用。テンプレート:Cite journal

[:1-2] 2.0 ^2.1 ^2.2 テンプレート:Cite book

[3] "バーンスタイン基底関数 $x_{i}^{n} =_{n} C_{i} t^{i} (1 - t)^{n - i}$ n は次数を表す" テンプレート:Harvnb より引用。

[5] " $P (t) = \sum_{i = 0}^{n} B_{i}^{n} P_{i} B_{i}^{n} =_{n} C_{i} t^{i} (1 - t)^{n - i}$ ある比率で各制御点の座標を混ぜ合わせる ... 混合比（和は 1 になる）混合比を関数で表したものを「基底関数」とよぶ" テンプレート:Harvnb より引用。

[1]

[2]

[3]

[注 1]

[4]

バーンスタイン多項式

目次

概要

定義

バーンスタイン基底関数

バーンスタイン多項式

例

特性

バーンスタイン基底関数の特性

二項分布と区間同値

区間正値

区間非負

1の分割

バーンスタイン多項式の特性

高々 n 次の多項式と同値

連続関数の近似

$\lim_{n \to \infty} B_{n} (f) (x) = f (x)$ であることの初等的な説明

脚注

注釈

出典

参考文献

関連項目

外部リンク

ナビゲーションメニュー

バーンスタイン多項式

概要

定義

バーンスタイン基底関数

バーンスタイン多項式

例

特性

バーンスタイン基底関数の特性

二項分布と区間同値

区間正値

区間非負

1の分割

バーンスタイン多項式の特性

高々 n 次の多項式と同値

連続関数の近似

limn→∞Bn(f)(x)=f(x)であることの初等的な説明

脚注

注釈

出典

参考文献

関連項目

外部リンク

ナビゲーション メニュー

検索

$\lim_{n \to \infty} B_{n} (f) (x) = f (x)$ であることの初等的な説明

ナビゲーションメニュー