[论文解读] Geometric series of positive linear operators and inverse Voronovskaya theorem

Ulrich Abel, Mircea Ivan+1 more|arXiv (Cornell University)|Apr 21, 2013

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

一句话总结

本文在一类新定义的算子类 Λ 中引入了正线性算子的几何级数，建立了收敛性并推导了逆 Voronovskaya 定理。证明了对于 Λ 中的算子，其几何级数在 $ C_\psi[0,1] $ 范数下收敛，并将结果应用于 Bernstein 算子、Bernstein-Durrmeyer 型算子以及对称 Meyer-König 和 Zeller 算子，得到了精确的渐近展开式与误差估计。

ABSTRACT

We define the associated geometric series for a large class of positive linear operators and study the convergence of the series in the case of sequences of admissible operators. We obtain an inverse Voronovskaya theorem and we apply our results to the Bernstein operators, the Bernstein-Durrmeyer-type operators, and the symmetrical version of Meyer-König and Zeller operators.

研究动机与目标

• 定义并研究一类广义逼近算子类中保持线性函数的正线性算子的几何级数。
• 为属于类 $ \Lambda $ 的算子建立几何级数 $ G_L = \sum_{k=0}^\infty L^k $ 的收敛性，其中 $ \|L(\psi)\|_\psi < 1 $。
• 证明一个逆 Voronovskaya 定理，以刻画此类算子迭代的渐近行为。
• 将一般结果应用于具体算子：Bernstein 算子、Bernstein-Durrmeyer 型算子以及对称 Meyer-König 和 Zeller 算子。
• 推导算子迭代及其几何级数的精确渐近展开式与误差估计。

提出的方法

• 定义 $ \Lambda $ 类，即 $ C[0,1] $ 上保持线性函数、满足 $ \|L(\psi)\|_\psi < 1 $ 且非一阶 Bernstein 算子 $ B_1 $ 的正线性算子 $ L $。
• 引入空间 $ C_\psi[0,1] $，赋予范数 $ \|f\|_\psi = \sup_{x\in(0,1)} |f(x)/\psi(x)| $，其中 $ \psi(x) = x(1-x) $，以控制端点附近的性质。
• 证明若 $ L \in \Lambda $，则 $ L(C_\psi[0,1]) \subset C_\psi[0,1] $ 且 $ \|L\|_{\mathcal{L}(C_\psi)} = \|L(\psi)\|_\psi $。
• 在 $ \|\cdot\|_\psi $ 范数下建立几何级数 $ G_L = \sum_{k=0}^\infty L^k $ 对于 $ L \in \Lambda $ 的收敛性。
• 通过分析 $ Z_n(e_r)(x) $ 的渐近展开，推导出逆 Voronovskaya 定理，表明 $ Z_n(e_r)(x) = x^r + \frac{1}{n}\binom{r}{2}x^{r-1}(1-x)^2 + \varepsilon_{n,r}(x) $，其中 $ |\varepsilon_{n,r}(x)| \leq \frac{x(1-x)}{n(n-1)} C_r $。
• 利用组合恒等式与生成函数分析算子的矩，特别是 $ m_n^r(x) $，并推导出涉及 $ \alpha_n(x) $ 与误差项的界。

实验结果

研究问题

• RQ1 在何种条件下，正线性算子 $ L $ 的几何级数 $ \sum_{k=0}^\infty L^k $ 收敛？
• RQ2 能否在一般类中为正线性算子的几何级数建立逆 Voronovskaya 定理？
• RQ3 Bernstein、Bernstein-Durrmeyer 型以及对称 Meyer-König 和 Zeller 算子的迭代在渐近意义上如何表现？
• RQ4 $ Z_n(e_r)(x) $ 的精确渐近展开式是什么？其误差界如何？
• RQ5 能否在 $ C_\psi[0,1] $ 范数下以显式估计控制几何级数的收敛性？

主要发现

• 对于所有 $ L \in \Lambda $，几何级数 $ G_L = \sum_{k=0}^\infty L^k $ 在 $ \|\cdot\|_\psi $ 范数下收敛，其中 $ \|L(\psi)\|_\psi < 1 $。
• 对于算子 $ Z_n $，$ r $ 阶矩满足 $ Z_n(e_r)(x) = x^r + \frac{1}{n}\binom{r}{2}x^{r-1}(1-x)^2 + \varepsilon_{n,r}(x) $，且 $ |\varepsilon_{n,r}(x)| \leq \frac{x(1-x)}{n(n-1)} C_r $，其中 $ C_r $ 仅依赖于 $ r $。
• 当 $ r=2 $ 时，二阶矩满足 $ m_n^2(x) = x(1-x)^2\left[\frac{1}{n} - \frac{1-2x}{n(n-1)} + \rho_n(x)\right] $，且 $ |\rho_n(x)| \leq \frac{12}{n(n^2-1)} $。
• 算子 $ Z_n^\star $ 满足 $ Z_n^\star(\psi|\alpha_n - \alpha_n(x)e_0|)(x) \leq \frac{\psi(x)}{n(n-1)}\left[\sqrt{\|\alpha_n\|} + \frac{12}{n+1}\right] $，证实了在所需范数下的收敛性。
• 定理 4 和定理 5 的条件对 $ (Z_n^\star)_{n \geq 3} $ 成立，确保了逆 Voronovskaya 结果的有效性。
• 结果被应用于 Bernstein 算子、Bernstein-Durrmeyer 型算子以及对称 Meyer-König 和 Zeller 算子，得到了显式的渐近展开式与误差估计。