[论文解读] Modified Bernstein Polynomials and Jacobi Polynomials in q-Calculus

Derriennic, Marie-Madeleine|ArXiv.org|Oct 7, 2004

Approximation Theory and Sequence Spaces参考文献 3被引用 3

一句话总结

本文引入了使用 q-Bernstein 基多项式对 Jacobi 权重的修正 Bernstein-Durrmeyer 算子的 q-类比，将经典逼近论扩展至 q-微积分。研究建立了收敛性、形状保持性以及 Voronovskaya 型定理，关键结果包括一致逼近和具有有界二阶导数函数的二阶收敛性。

ABSTRACT

We introduce here a generalization of the modified Bernstein polynomials for Jacobi weights using the $q$-Bernstein basis proposed by G.M. Phillips to generalize classical Bernstein Polynomials. The function is evaluated at points which are in geometric progression in $]0,1[$. Numerous properties of the modified Bernstein Polynomials are extended to their $q$-analogues: simultaneous approximation, pointwise convergence even for unbounded functions, shape-preserving property, Voronovskaya theorem, self-adjointness. Some properties of the eigenvectors, which are $q$-extensions of Jacobi polynomials, are given.

研究动机与目标

• 使用 q-Bernstein 基多项式在 q-微积分中推广针对 Jacobi 权重的修正 Bernstein-Durrmeyer 算子。
• 将经典逼近性质（如同时逼近、逐点收敛性和形状保持性）扩展至 q-类比框架。
• 研究这些算子在无界函数和端点处的行为，特别是当 α = β = -1 时。
• 在 q 设置下建立二阶收敛性的 Voronovskaya 型定理。
• 分析算子的谱性质，特别是其特征向量为 Jacobi 多项式的 q-推广。

提出的方法

• 本文通过 q-Bernstein 基多项式 $ b_{n,k,q}(x) = \binom{n}{k}_q x^k (1-x)_q^{n-k} $ 定义了 Bernstein-Durrmeyer 算子的 q-类比 $ M_{n,q}^{eta,eta} $，其中 $ (1-x)_q^a $ 为 q-Pochhammer 符号。
• 通过 Jackson q-积分定义了系数 $ f_{n,k,q}^{eta,eta} $，从而能够在 (0,1) 中的几何网格上计算函数的平均值。
• 引入了一个正的双线性形式 $ \big\bra f,g \big\rra_q^\beta,\beta $，以分析内积结构和算子的自伴性。
• 通过分析其系数序列的完全正性，研究算子的形状保持性质，如单调性和凸性保持性。
• 利用 q-导数 $ D_q $ 和 q-积分推导递推关系和微分恒等式，特别针对 $ \beta = \beta = -1 $ 的情形，将算子与缩放后的 q-导数联系起来。
• 通过一致范数估计和连续模，推导出收敛性结果，显式界中包含 $ \frac{1}{\big[n\big]_q} $。

实验结果

研究问题

• RQ1 如何在保持关键逼近性质的前提下，将修正的 Bernstein-Durrmeyer 算子推广至 q-微积分？
• RQ2 对于无界函数和端点处，q-类比算子的收敛性如何，特别是当 $ \alpha = \beta = -1 $ 时？
• RQ3 q-算子在多大程度上保持函数的形状（如单调性和凸性），这与完全正性有何关联？
• RQ4 算子 $ M_{n,q}^\beta,\beta $ 到 $ f $ 的收敛速率如何，当 $ q_n \to 1 $ 时其行为如何？
• RQ5 算子的二阶渐近行为是什么，q-设置下是否存在 Voronovskaya 型定理？

主要发现

• 算子 $ M_{n,q}^{\text{-1,-1}} $ 具有表示式 $ M_{n,q}^{\text{-1,-1}}f(x) = \bigsum_{j=0}^{\biginfty} \bigPhi_{j,n,q}^{\text{-1,-1}}(x) f(q^j) $，其中系数 $ \bigPhi_{j,n,q}^{\text{-1,-1}} $ 构成一个完全正序列。
• 由于其系数序列的完全正性，该算子保持单调性并减少符号变化次数。
• 对于 [0,1] 上的连续函数，一致误差满足 $ \big\| M_{n,q}^{\text{-1,-1}}f - f \big\|_{\infty} \leq C \cdot \omega\big(f; \frac{1}{\sqrt{[n]_q}}\big) $，建立了最优阶逼近。
• 当 $ n \to \infty $ 且 $ q_n \to 1 $ 时，$ M_{n,q_n}^{\text{-1,-1}}f(x) \to f(x) $ 在 $ x \in (0,1) $ 上逐点收敛，即使对于无界函数也成立。
• 对于在 $ x \in (0,1) $ 处具有二阶导数的函数，二阶 Voronovskaya 定理成立：$ \lim_{n\to\infty} [n]_{q_n} \big( M_{n,q_n}^{\text{-1,-1}}f(x) - f(x) \big) = f''(x) $。
• 算子的 q-导数满足 $ D_q M_{n,q}^{\text{-1,-1}}f(x) = M_{n-1,q}^{0,0} \big( D_q f(\cdot / q) \big)(qx) $，将算子与缩放后的 q-导数联系起来。