[논문 리뷰] On convergence of partial derivatives of multivariate Bernstein polynomials

A. Yu. Veretennikov, Evguenia Veretennikova|arXiv (Cornell University)|2015. 07. 18.

Approximation Theory and Sequence Spaces참고 문헌 2인용 수 3

한 줄 요약

이 논문은 다변수 베르슈타인 다항식이 도함수가 연속일 경우 함수와 그 편미분으로 수렴함을 증명하며, 고전적인 단변수 결과를 고차원으로 확장한다. 증명은 유한차분 근사와 다변수 대수의 법칙을 활용하여, 특히 다차원 이토의 공식 유도와 같은 스토크라스틱 미적분학 응용 분야에 엄밀한 기초를 제공한다.

ABSTRACT

It is be shown that the sequence of Bernstein polynomials for a function of several variables converges to this function uniformly along with every partial derivative of any order, provided that the latter derivative is well defined and continuous. This may be interesting in some questions of stochastic calculus, in particular, in a methodical proof of multidimensional Ito's formula based on the product rule.

연구 동기 및 목표

• 함수의 진짜 편미분으로 다변수 베르슈타인 다항식의 편미분 수렴성을 확립하는 것.
• 함수와 그 도함수에 대해 유효한 고전적 단변수 베르슈타인 다항식 수렴 결과를 다변수 경우로 확장하는 것.
• 다차원 이토의 공식 맥락에서 이阶 도함수 근사화에 대해 엄밀한 증명을 제공하는 것.
• 다변수 베르슈타인 다항식의 도함수 수렴에 대해 문헌에서 명시적인 참조가 부족한 문제를 다루는 것.

제안 방법

• 다중지수 표기법과 유한차분을 사용하여 단변수 베르슈타인 다항식 도함수 공식의 다변수 일반화를 유도하는 것.
• k차 편미분은 함수의 k차 유한차분의 가중합으로 표현된다는 항등식을 활용하는 것.
• n → ∞ 일 때 균일 수렴하는 정규화된 유한차분 연산자 Δ^k_f(x) = n^|k| Δ_{1/n}^k f(x)를 사용하는 것.
• 다변수 대수의 법칙을 적용하여, 표준 단체의 컴act 부분집합에서 베르슈타인 다항식 도함수가 균일 수렴함을 보이는 것.
• 다중지수 k에 대한 귀납법을 통해 도함수 공식이 모든 미분 순서에서 성립함을 증명하는 것.
• 다항계수의 조합적 항등식과 재인덱싱을 활용하여 도함수 표현식의 재귀적 구조를 유도하는 것.

실험 결과

연구 질문

• RQ1 도함수가 연속일 경우 다변수 베르슈타인 다항식 근사가 편미분의 수렴을 유지하는가?
• RQ2 베르슈타인 다항식의 도함수 수렴에 대한 고전적 단변수 결과를 여러 변수 함수로 일반화할 수 있는가?
• RQ3 다변수 베르슈타인 다항식의 편미분 수렴은 정의역의 컴act 부분집합에서 균일한가?
• RQ4 유한차분 근사는 다변수 베르슈타인 다항식 도함수 수렴에 어떤 역할을 하는가?
• RQ5 다변수 베르슈타인 연산자는 도함수 정보를 어떻게 유지하며, 이는 스토크라스틱 미적분학에서 왜 중요한가?

주요 결과

• 도함수가 연속일 경우, 다변수 베르슈타인 다항식은 원래 함수와 그 차수 k 이하의 모든 편미분으로 균일 수렴한다.
• 베르슈타인 다항식의 k차 편미분은 다항계수로 스케일링된 함수의 k차 유한차분을 포함하는 합으로 표현된다.
• 정규화된 유한차분 Δ_{1/n}^k f(x)는 n → ∞ 일 때 k차 편미분 ∂^k f / ∂x^k 로 균일 수렴한다.
• 다항식 도함수의 수렴은 ℝ^d 내 표준 단체의 컴act 부분집합에서 균일하다.
• 이 결과는 다차원 이토의 공식을 증명하는 데 베르슈타인 다항식을 사용하는 데 대해 구성적이고 확률론적 근거를 제공한다.
• 증명 기법은 단변수의 대수의 법칙 접근을 다항분포를 활용하여 다변수 환경으로 확장한다.