[論文レビュー] 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

ひとこと要約

本稿は、任意の固定された $ q > 0 $ に対して、Lupaús の Bernstein 演算子の $ q $-類似物 $ 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}$

研究の動機と目的

• 任意の固定された $ q > 0 $ に対して、Lupaús の Bernstein 演算子の $ q $-類似物 $ R_{n,q} $ の収束速度を分析すること。
• $ R_{n,q} $ に対して、定量的ヴァリアントの Voronovskaja の定理を確立し、明示的な誤差推定を提供すること。
• 特に $ q > 1 $ の場合の正性と収束性に注目して、$ R_{n,q} $ の近似挙動を古典的および Phillips の $ q $- Bernstein 演算子と比較すること。
• 関数 $ 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) $ の表現を導出し、誤差伝播解析を可能にする。
• 有界な第二導関数を持つ関数 $ g $ に対して、$ |g''(t)| $ をモジュラス連続性 $ \omega(f'', \delta) $ を用いて評価することで、剰余項 $ L_{n,q}(g,x) $ を推定する。
• 凸性を保証するように、$ S(t) \pm g(t) $ が凸となるような比較関数 $ S(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 の Bernstein 演算子の $ q $-類似物の収束速度は $ q $ にどのように依存するか？
• RQ2 $ R_{n,q} $ に対して、定量的ヴァリアントの Voronovskaja の定理を確立でき、明示的な誤差境界を含めることができるか？
• RQ3 $ f \in C^2[0,1] $ に対して、$ n \to \infty $ のときの剰余項 $ 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]$ 上で一様に成り立つ。