[论文解读] On convergence of partial derivatives of multivariate Bernstein polynomials

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

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阶有限差分的加权和。
• 使用归一化有限差分算子 Δ^k_f(x) = n^|k| Δ_{1/n}^k f(x)，其在 n → ∞ 时一致收敛于k阶偏导数。
• 应用多元大数定律，证明伯恩斯坦多项式导数在紧集上一致收敛。
• 通过多指标k的归纳法建立收敛性，证明该导数公式对所有阶数的微分均成立。
• 依赖涉及多项式系数的组合恒等式与重索引技巧，推导导数表达式的递归结构。

实验结果

研究问题

• RQ1 当导数连续时，多元伯恩斯坦多项式逼近是否保持偏导数的收敛性？
• RQ2 经典的一元伯恩斯坦多项式导数收敛结果能否推广至多变量函数？
• RQ3 多元伯恩斯坦多项式偏导数在定义域的紧子集上是否一致收敛？
• RQ4 有限差分逼近在多元伯恩斯坦多项式导数收敛中起何作用？
• RQ5 多元伯恩斯坦算子如何保持导数信息？为何这对随机分析至关重要？

主要发现

• 若导数连续，则多元伯恩斯坦多项式一致收敛于原函数及其所有阶数不超过k的偏导数。
• 伯恩斯坦多项式k阶偏导数可表示为涉及函数k阶有限差分的和，其系数为多项式系数。
• 归一化有限差分 Δ_{1/n}^k f(x) 在 n → ∞ 时一致收敛于k阶偏导数 ∂^k f / ∂x^k。
• 多项式导数的收敛性在 ℝ^d 中标准单形的紧子集上一致成立。
• 该结果为伯恩斯坦多项式在证明多维伊藤公式中的应用提供了构造性与概率性依据。
• 证明方法通过将一元情形下的大数定律推广至多元设置，利用多项分布实现。