[論文レビュー] 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$ を用いた級数展開として作用素を表現する。
• コンパクトな円板 $|z| \leq r$ における上限ノルムでの誤差推定を、Cauchy の推定と $[n]_{p,q}$ の有界性を用いて導出する。
• $0 \leq A \leq 1$ のとき $1 - A^n \leq n(1 - A)$ という恒等式を用いて、作用素の反復の減衰を制御する。
• $n \to \infty$ のときの $\frac{m_n p^n}{[n]_{p,q}}$ の漸近的挙動を分析することで収束を確立する。
• 線形積分や係数推定を含む複素解析の道具を用いて、近似誤差の鋭い上限を得る。

実験結果

リサーチクエスチョン

• RQ1 古典的 Lorentz 演算子は、複素平面における (p,q)-微積分枠組みへどのように一般化できるか？
• RQ2 コンパクトな円板上での解析関数に対する (p,q)-Lorentz 多項式の収束の正確な速度は何か？
• RQ3 (p,q)-Lorentz 演算子の反復は漸近的にどのように振る舞い、どのような条件下で一様収束するか？
• RQ4 (p,q)-Lorentz 多項式に対する Voronovskaja 型定理の正確な定量的形は何か？

主な発見

• $|z| \leq r$ に対して、近似誤差は $\left|L_{n,p,q}(f)(z) - f(z)\right| \leq \frac{p^n}{[n]_{p,q}} M_{r_1,p,q}(f)$ を満たし、ここで $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$ のとき指数的に減少する。