[論文レビュー] Global approximation theorems for general gamma type operators

Alok Kumar|arXiv (Cornell University)|Aug 21, 2015

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

ひとこと要約

本稿では、Lupas や Mazhar や Karsli のような既存の作用素を一般化する一般型のガンマ作用素 $ M_{n,k} $ について、グローバル近似定理を確立する。重み付き空間 $ C_p $ とモジュラスの連続性を用いて、$ \omega_p^2(f; x/\sqrt{n}) $ および $ \omega_p^1(f; (1-k)/n \cdot x) $ の形で収束速度を証明し、$ p $ および $ k $ に依存する明示的な定数を用いることで、$ [0,\infty) $ 上での一様近似を保証する。

ABSTRACT

In this paper, we obtained some global approximation results for general Gamma type operators.

研究の動機と目的

• 一般型のガンマ作用素 $ M_{n,k} $ の族を統一的かつ拡張的に扱う、グローバル近似結果を確立すること。
• $ M_{n,k} $ の多項式的重み付き空間 $ C_p $ における収束挙動を分析し、これらの空間上で作用素の有界性と連続性を保証すること。
• 近似誤差 $ w_p(x)|M_{n,k}(f;x) - f(x)| $ の定量的評価を、第二階のモジュラスの連続性 $ \omega_p^2(f; \delta) $ および第一階のモジュラス $ \omega_p^1(f; \delta) $ を用いて導出すること。

提案手法

• 研究は、ガンマ関数と階乗を含む核 $ K_{n,k}(x,t) $ を用いた二重積分で定義される一般型ガンマ作用素の形を採用する。
• 解析には重み付き空間 $ C_p $ を用い、関数は重み $ w_p(x) = 1/(1+x^p) $ の下で有界かつ一様連続であり、ノルム $ \|f\|_p = \sup_x w_p(x)|f(x)| $ を定義する。
• 主要な補題では、$ m = 0,1,2,3,4 $ についてのモーメント $ M_{n,k}(\varphi_{x,m};x) $ を計算し、作用素のバイアスおよび分散に類似した振る舞いを示す。
• 証明戦略は、テイラー展開とスティルボフ平均を組み合わせ、$ f $ を $ C_p^2 $ 関数で近似することで、第二階微分の制御を可能にする。
• 主な不等式は、誤差を $ |M_{n,k}(f;x) - f(x)| \leq |H_{n,k}(f;x) - f(x)| + |f(x + \frac{1-k}{n}x) - f(x)| $ に分解することにより導出され、$ H_{n,k} $ はバイアス補正を行う。
• 重要な推定では、$ w_p(x)M_{n,k}(\varphi_{x,2}/w_p(t);x) \leq N_{p,k} \cdot x^2/n $ が成立し、最終的な収束速度の導出を可能にする。

実験結果

リサーチクエスチョン

• RQ1 一般型ガンマ作用素 $ M_{n,k} $ は重み付き空間 $ C_p $ において、どの程度のグローバル近似速度を示すか？
• RQ2 近似誤差は、関数の滑らかさ $ \omega_p^2(f; \delta) $ および $ \omega_p^1(f; \delta) $ を用いて、どのように依存するか？
• RQ3 作用素 $ M_{n,k} $ が $ C_p $ において有界性と一様連続性を保存することが示せるか？
• RQ4 パrameter $ k $ は、シフト項 $ \frac{1-k}{n}x $ の収束速度にどのような役割を果たすか？
• RQ5 結果は、リプシッツクラス $ Lip_p^2\alpha $ に属する関数へどのように拡張可能か？

主な発見

• 作用素 $ M_{n,k} $ は $ C_p[0,\infty) $ を自身に写像し、$ \|M_{n,k}(f;\cdot)\|_p \leq N_{p,k}\|f\|_p $ を満たす。これにより、有界性と連続性が保証される。
• すべての $ f \in C_p[0,\infty) $ に対して、誤差は $ w_p(x)|M_{n,k}(f;x) - f(x)| \leq N_{p,k} \omega_p^2(f; x/\sqrt{n}) + \omega_p^1(f; \frac{1-k}{n}x) $ を満たし、定量的グローバル推定が得られる。
• 関数 $ f \in Lip_p^2\alpha $ に属する場合、誤差の上界は $ w_p(x)|M_{n,k}(f;x) - f(x)| \leq N_{p,k} \left(\frac{x^2}{n}\right)^{\alpha/2} + \omega_p^1(f; \frac{1-k}{n}x) $ に簡略化され、代数的収束が示される。
• 定数 $ N_{p,k} $ は $ p $ および $ k $ のみに依存し、明示的に $ \max\left\{ \sup_n \frac{(n-p)!(n-k+p)!}{n!(n-k)!}, 1 \right\} $ として定義される。これにより一様性が保証される。
• 第二モーメント $ M_{n,k}(\varphi_{x,2};x) $ が $ O(n^{-1}) $ であることが示され、$ x^2/n $ の収束速度の根拠となる。
• バイアス補正のための作用素 $ H_{n,k}(f;x) = M_{n,k}(f;x) - f(x + \frac{1-k}{n}x) + f(x) $ が導入され、$ g \in C_p^2 $ に対して誤差が $ N_{p,k} \|g''\|_p \frac{x^2}{n} $ で抑えられることを示す。