번스타인 다항식

Bernstein polynomial
곡선에 가까운 번스타인 다항식

수치해석수학적 분야에서 번스타인 다항식은 번스타인 기초 다항식의 선형 결합다항식이다.이 아이디어의 이름은 세르게이 나타노비치 번스타인의 이름을 따서 지어졌다.

번스타인 형태로 다항식을 평가하는 수적으로 안정된 방법은 드 카스텔자의 알고리즘이다.

번스타인 형태의 다항식들은 처음에 베이어스트라스 근사 정리를 위한 건설적인 증거에서 번스타인에 의해 사용되었다.컴퓨터 그래픽의 출현과 함께 [0, 1] 주기로 제한된 번스타인 다항식들은 베지에 곡선 형태로 중요해졌다.

4도 곡선 혼합을 위한 번스타인 기반 다항식

정의

n +1 번스타인의 기초 다항식 n은 다음과 같이 정의된다.

여기서( ) 은(는) 이항 계수.

따라서 예를 b, () =( ) ( - ) = x ( - x) 3. ,5{5}}x^{

1, 2, 3, 4개의 값을 함께 혼합하기 위한 처음 몇 개의 번스타인 기준 다항식은 다음과 같다.

번스타인의 기준 n 다항식은 실제 계수를 가진 최대 n 도 다항식의 벡터 공간 기초를 형성한다.번스타인 기반 다항식의 선형 조합

번스타인의 도 n형태번스타인 다항식 또는 다항식이라고 불린다.[1]계수 을(를) 번스타인 계수 또는 베지에 계수라고 한다.

위에서 단항 형태로 처음 몇 개의 번스타인 기초 다항식은 다음과 같다.

특성.

번스타인 기초 다항식에는 다음과 같은 특성이 있다.

  • , ( )= 인 경우 < {\ < 또는 > {\
  • ( ) x[ . x 1의 경우
  • and where is the Kronecker delta function:
  • , n( ) = x 다중성 을(참고: root= = , 0을 가진 루트가 없다.
  • , ( ) 는)x = 1 {\ 지점에 -)이있는 루트가 있음: = 1에 루트가 없음).
  • 파생상품은 낮은 수준의 두 다항식의 조합으로 작성할 수 있다.
  • k:th 파생상품 0:

  • k:th 파생상품은 1:

  • 번스타인의 다항식을 단항식으로 변환하는 것은
역이항 변환에 의해 역이항 변환은[2]
  • 무기한 적분은 다음과 같다.
  • 정해진 적분은 주어진 n에 대해 일정하다.
  • 0인 경우, , (x ) = x의 간격에대해 고유한 로컬 최대값을 갖는다이 최대값은 값을 사용한다.
  • n {\의 번스타인 기본 다항식은 통합의 분할을 형성한다.
  • + y) {\ (x+y의 첫 번째 x {\을(를상수로 처리한 다음 = - 값을 대체하여 보여 줄 수 있다
  • (+ ) 의 두 번째 와) y= - 을(를) 함께 사용한이 표시됨
  • 번스타인 다항식은 항상 더 높은 수준의 다항식의 선형 조합으로 쓸 수 있다.
  • 제1종류의 체비셰프 폴리노미알이 번스타인의 기초로 확장된 것은[3],

근사 연속 함수

0, 1】 주기로 연속함수가 되게 한다.번스타인 다항식 고려

라는 것을 알 수 있다.

균일하게 [0, 1][4][1][5][6] 간격으로

따라서 번스타인 다항식은 실제 간격[a, b]의 모든 실제 값진 연속함수를 에 걸쳐 다항함수로 균일하게 근사치를 계산할 수 있다는 Weierstrass 근사치 정리를 증명하는 한 가지 방법을 제공한다[7]

연속 kth 파생상품이 있는 함수에 대한 보다 일반적인 설명은 다음과 같다.

추가적으로

Bn 고유값이며, 해당 고유함수는 도 k의 다항식이다.

확률론적 증거

이 증거는 번스타인의 1912년 원본 증명서를 따른다.[8]Feller(1966) 또는 Koralov & Sinai(2007)도 참조하십시오.[9][10]

K가 각 시험의 성공 확률 x를 가진 n개의 독립 베르누이 시험의 성공 횟수로 분포하는 랜덤 변수라고 가정하자. 즉, K는 변수 nx를 가진 이항 분포를 가지고 있다.그러면 [ = x (가) 있고

많은 확률 이론약한 법칙에 의해

Δ > 0마다. 더구나 이 관계는 x로 균일하게 유지되는데, 이는 체비셰프의 불평등을 통해 그 증거에서 볼 수 있으며, 이는 의 분산이 고려되어 있다. ½nk(1-x)x에 관계 없이 ½nx(4n)씩 위로부터 경계한다.

ƒ은 폐쇄된 경계 간격으로 연속되어야 하며, 그 간격에 대해 균일하게 연속되어야 하기 때문에, 형식에 대한 진술이 주입된다.

x로 균일하게. ƒ이 경계(주기의 간격에 따라)되어 있다는 것을 참작하여 기대치에 대해 얻게 된다.

x로 균일하게이를 위해 기대치에 대한 합계를 두 부분으로 나눈다.어떤 부분에서 차이는 ε을 초과하지 않는다; 이 부분은 ε보다 더 기여할 수 없다.다른 부분에서는 차이가 ε을 초과하지만 2M을 초과하지 않는다. 여기서 M은 ƒ(x)의 상한이다. 이 부분은 차이가 ε을 초과할 확률의 2M 배 이상을 기여할 수 없다.

마지막으로 기대 차이의 절대값이 절대 차이의 절대값의 기대치를 결코 초과하지 않는다고 관찰하고,

기초 교정쇄

확률론적 증거는 기초적인 확률론적 아이디어를 사용하되 직접 검증으로 진행할 수 있다.[11][12][13][14][15]

다음과 같은 신원을 확인할 수 있다.

(1) ( k) k( - ) - = 1 k}(}

("실제")

(2) ( ) ( 1- ) x k ( - x ) = n \n 선택 k^{

("실제")

(3) ( x- k ) ( ) x ( - x) = (- x) n. n)^{2 \n 선택 k(1-x) \c.}}\

("실제")

사실, 이항 정리에 의해

그리고 이 방정식은 에 두 번 적용할 수 있다ID(1), (2) 및 (3)은 치환 = /( - x )을 사용하여 쉽게 따라온다

이 세 가지 정체성 내에서 위의 기준 다항식 표기법을 사용한다.

그리고 내버려두다

그러므로, 정체성에 의해 (1)

하도록

이후 f평등 연속, 0{\displaystyle \varepsilon>0}aδ하다;0{\displaystyle \delta>0}가 f(를)− f(b)<>ε{\displaystyle f(를)-f(b)<>\varepsilon} 때마다 − b<>δ{\displaystyle a-b<>\delta}. 게다가, 연속성에 의해, M= sε한를 f<>∞{\dis M 그런데 그때

첫 번째 합은 ε보다 적다.한편, 위의 ID (3)에 의해, - k/ n 이후 두 번째 합은 2M배 경계가 된다.

(체비셰프의 불평등)

다항식 fn 균일하게 f하는 경향이 있다.

상위 차원에 대한 일반화

번스타인 다항식들은 k차원으로 일반화될 수 있다 – 결과 다항식들i1 B(x1) Bi2(x2) ... B(xikk) 형태를 갖는다.[16]가장 간단한 경우, 단위 간격[0,1]의 제품만 고려되지만, 선의 아핀 변환을 사용하여 [a1, b1] × [a2, b2] × ... 제품에 대해 번스타인 다항식도 정의할 수 있다. × [ak, bk]단위 간격의 k-폴드 제품에 대한 연속 함수 f의 경우 f(x1, x2, ..., x)k 다음과 같이 균일하게 근사할 수 있다는 증거

번스타인의 증거를 한 차원 확대한 거야[17]

참고 항목

메모들

  1. ^ a b 로렌츠 1953
  2. ^ Mathar, R. J. (2018). "Orthogonal basis function over the unit circle with the minimax property". Appendix B. arXiv:1802.09518 [math.NA].
  3. ^ Rababah, Abedallah (2003). "Transformation of Chebyshev-Bernstein Polynomial Basis". Comp. Meth. Appl. Math. 3 (4): 608–622. doi:10.2478/cmam-2003-0038. S2CID 120938358.
  4. ^ 나탄슨(1964) 페이지 6
  5. ^ 펠러 1966
  6. ^ 벨스 2004
  7. ^ 나탄슨(1964) 페이지 3
  8. ^ 번스타인 1912년
  9. ^ Koralov, L.; Sinai, Y. (2007). ""Probabilistic proof of the Weierstrass theorem"". Theory of probability and random processes (2nd ed.). Springer. p. 29.
  10. ^ 펠러 1966
  11. ^ 로렌츠 1953, 페이지 5-6
  12. ^ 벨스 2004
  13. ^ 골드버그 1964
  14. ^ 악히저 1956년
  15. ^ 버킬 1959년
  16. ^ 로렌츠 1953
  17. ^ Hildebrandt, T. H.; Schoenberg, I. J. (1933), "On linear functional operations and the moment problem for a finite interval in one or several dimensions", Annals of Mathematics, 34 (2): 327, doi:10.2307/1968205, JSTOR 1968205

참조

외부 링크