[论文解读] Approximation by (p,q)-Lorentz polynomials on a compact disk

M. ‎Mursaleen, Faisal Khan+1 more|arXiv (Cornell University)|Apr 20, 2015

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

一句话总结

本文通过 (p,q)-微积分将经典 Lorentz 算子推广为复变量下的 (p,q)-Lorentz 多项式，建立了解析函数在复平面上紧致圆盘上的定量 Voronovskaja 型逼近定理与精确收敛阶。关键结果表明，逼近误差以 $\frac{mp^n}{[n]_{p,q}}$ 的形式衰减，当 $\frac{m_np^n}{[n]_{p,q}} \to 0$ 时收敛性得以保证。该框架统一并扩展了逼近论中先前基于 q-类比的结果。

ABSTRACT

In this paper, we introduce a new analogue of Lorentz polynomials based on (p,q)-integers and we call it as (p,q)-Lorentz polynomials. We obtain quantitative estimate in the Voronovskaja's type thoerem and exact orders in simultaneous approximation by the complex (p,q)-Lorentz polynomials of degree n, where q > p > 1 attached to analytic functions in compact disks of the complex plane.

研究动机与目标

• 基于 (p,q)-微积分构建一类新的复多项式算子，以推广经典的 Lorentz 算子。
• 在复平面上紧致圆盘内，为解析函数建立 Voronovskaja 意义下的定量逼近估计。
• 确定 (p,q)-Lorentz 算子迭代的同步逼近与收敛速率的精确阶。
• 将现有基于 q-微积分的逼近结果扩展至更一般的 (p,q)-框架，尤其针对解析函数。

提出的方法

• 利用 (p,q)-整数、(p,q)-二项式系数与 (p,q)-导数定义 (p,q)-Lorentz 多项式算子 $L_{n,p,q}(f;z)$。
• 将算子表示为解析函数 $f(z) = \sum c_k z^k$ 的泰勒系数 $c_k$ 的级数展开形式。
• 通过柯西估计与 $[n]_{p,q}$ 的界，推导出在紧致圆盘 $|z| \leq r$ 上的上确界范数下的误差估计。
• 应用恒等式 $1 - A^n \leq n(1 - A)$（其中 $0 \leq A \leq 1$）以控制算子迭代的衰减。
• 通过分析 $\frac{m_n p^n}{[n]_{p,q}}$ 在 $n \to \infty$ 时的渐近行为，建立收敛性。
• 运用复分析工具，包括围道积分与系数估计，推导逼近误差的精确上界。

实验结果

研究问题

• RQ1 如何在复平面上将经典 Lorentz 算子推广至 (p,q)-微积分框架？
• RQ2 对于紧致圆盘上的解析函数，(p,q)-Lorentz 多项式的精确收敛速率为何？
• RQ3 (p,q)-Lorentz 算子的迭代在渐近行为上如何表现？在何种条件下可实现一致收敛？
• RQ4 (p,q)-Lorentz 多项式在 Voronovskaja 型定理中的精确定量形式为何？

主要发现

• 逼近误差满足 $\left|L_{n,p,q}(f)(z) - f(z)\right| \leq \frac{p^n}{[n]_{p,q}} M_{r_1,p,q}(f)$，其中 $|z| \leq r$，且 $M_{r_1,p,q}(f) = \frac{p(q-p+1)}{(q-p)^2} \sum_{k=0}^\infty |c_k|(k+1)r_1^k$。
• 对于同步逼近，误差界为 $\left|L_{n,p,q}^{(m)}(f)(z) - f^{(m)}(z)\right| \leq \frac{p^n}{[n]_{p,q}} M_{r_1,p,q}(f) \frac{m! r^*}{(r^* - r)^{m+1}}$。
• 对于迭代情形，误差被控制为 $\left\|L_{n,p,q}^{(m)}(f) - f\right\|_r \leq \frac{mp^n}{[n]_{p,q}} \frac{q-p+1}{(q-p)^2} \sum_{k=0}^\infty |c_k|(k+1)r_1^k$。
• 当 $\lim_{n \to \infty} \frac{m_n p^n}{[n]_{p,q}} = 0$ 时，迭代收敛，确保 $\left\|L_{n,p,q}^{(m_n)}(f) - f\right\|_r \to 0$。
• 结果推广了 Gal 的 q-类比结果，并将其扩展至更广泛的 (p,q)-框架，适用于解析函数。
• 该框架实现了逼近的精确阶，收敛速度取决于 $p^n / [n]_{p,q}$，当 $p > 1$ 时该量呈指数衰减。