[论文解读] Some approximation properties of Lupa\cs $q$-analogue of Bernstein operators

Nazım I. Mahmudov, Pembe Sabancıgil|arXiv (Cornell University)|Dec 20, 2010

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

一句话总结

本文研究了Lupaús的$q$-型Bernstein算子$R_{n,q}$的收敛速率，为任意固定的$q > 0$建立了定量的Voronovskaja型定理。它推导出渐近展开中余项的显式估计，表明逼近误差以$O(q^n / [n])$的速率衰减，且依赖于函数的二阶模连续性，$q > 1$与$0 < q < 1$时表现出不同的行为。结果将经典的Voronovskaja理论扩展至$q$-Lupaús框架，并给出了精确的误差界。

ABSTRACT

In this paper, we discuss rates of convergence for the Lupaş $q$-analogue of Bernstein polynomials $R_{n,q}$. We prove a quantitative variant of Voronovskaja's theorem for $R_{n,q}$

研究动机与目标

• 分析Lupaús的$q$-型Bernstein算子$R_{n,q}$在任意固定的$q > 0$下的收敛速率。
• 为$R_{n,q}$建立Voronovskaja定理的定量变体，提供显式的误差估计。
• 比较$R_{n,q}$与经典及Phillips的$q$-Bernstein算子的逼近行为，特别是针对$q > 1$时的正性和收敛性。
• 推导$R_{n,q}(f,x)$在$R_{\infty, q}(f,x)$（极限算子）附近的渐近展开中余项的显式公式。

提出的方法

• 作者使用$q$-整数和$q$-二项式系数定义了$q$-Lupaús算子$R_{n,q}(f,x)$，其中涉及权重函数$v(q,x) = \frac{qx}{1-x+qx}$。
• 他们引入了极限算子$R_{\infty,q}(f,x)$，即当$n \to \infty$时$R_{n,q}(f,x)$的逐点极限，并定义误差算子$L_{n,q}(f,x) = R_{n,q}(f,x) - R_{\infty,q}(f,x)$。
• 通过使用矩$R_{n,q}(t^m,x)$与$R_{\infty,q}(t^m,x)$的递推关系，他们推导出$L_{n,q}(t^m,x)$的表达式，从而实现误差传播分析。
• 通过利用模连续性$\omega(f'', \delta)$有界$|g''(t)|$，他们估计了$g$（具有有界二阶导数）的余项$L_{n,q}(g,x)$。
• 构造了一个比较函数$S(t)$，使得$S(t) \pm g(t)$均为凸函数，从而保证$|L_{n,q}(g,x)| \leq L_{n,q}(S,x)$，使得可通过二阶矩来界定误差。
• 最终通过估计$L_{n,q}((t-x)^4,x) \leq K_1 \frac{q^n}{[n]^2} x(1 - v(q,x))$导出定量的Voronovskaja公式。

实验结果

研究问题

• RQ1 对于固定的$q > 0$，Lupaús的$q$-型Bernstein算子的收敛速率如何依赖于$q$？
• RQ2 能否为$R_{n,q}$建立Voronovskaja定理的定量版本，包括显式的误差界？
• RQ3 当$n \to \infty$时，对于$f \in C^2[0,1]$，余项$R_{n,q}(f,x) - R_{\infty,q}(f,x)$的行为如何？
• RQ4 $q > 1$与$0 < q < 1$时的逼近误差有何不同？$v(q,x)$在误差表达式中起什么作用？

主要发现

• 本文为$R_{n,q}$建立了定量的Voronovskaja型定理，表明当$q > 1$时，有$\left| q^n [n]_{1/q} (R_{n,q}(f,x) - R_{\infty,q}(f,x)) - \frac{f''(1-x)}{2} v(q,x)(1-x) \right| \leq K v(q,x)(1-x) \omega(f'', [n]_{1/q}^{-1/2})$，其中$K$为绝对常数。
• 当$0 < q < 1$时，余项满足$\left| R_{n,q}(f,x) - R_{\infty,q}(f,x) \right| \leq C \frac{q^n}{[n]} \omega(f'', [n]^{-1/2})$，其中$C$为某常数，表明误差随$n$呈指数衰减。
• 极限算子$R_{\infty,q}(f,x)$能精确重现线性函数，且对所有$q > 0$均有定义，而Phillips的$q$-Bernstein算子仅在$q \in (0,1)$时保持正性。
• 当$0 < q < 1$时，恒等式$[n]_{q} (R_{n,q}(t^2,x) - R_{\infty,q}(t^2,x)) = x(1 - v(q,x))$成立；但当$q > 1$时，有$q^n [n]_{1/q} (R_{n,q}(t^2,x) - R_{\infty,q}(t^2,x)) = v(q,x)(1-x)$。
• 误差界依赖于二阶模连续性$\omega(f'', \delta)$，表明函数越光滑，收敛越快。
• 当$q_n \to 1$时，经典Voronovskaja公式被恢复：$\lim_{n \to \infty} [n]_{q_n} (R_{n,q_n}(f,x) - f(x)) = \frac{f''(x)}{2} x(1-x)$，在$[0,1]$上一致成立。